1. 감마 함수
2. 불완전 감마 함수
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhYMa4SbMQ8ua5yxrpG0cWbDGlBHTV8pb-8oeD6OGloaDZysn-k3gHPkkKuQKhMsOADpOp5VNDxOYvuddeCRUiVACbGJIv2kTNMAIVBqsjPV6WK_0ybjwY2svztau855tPI2KurAPzCAG_J/s16000/ei5.png)
(1)
(2)
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhYMa4SbMQ8ua5yxrpG0cWbDGlBHTV8pb-8oeD6OGloaDZysn-k3gHPkkKuQKhMsOADpOp5VNDxOYvuddeCRUiVACbGJIv2kTNMAIVBqsjPV6WK_0ybjwY2svztau855tPI2KurAPzCAG_J/s16000/ei5.png)
[그림 1] 지수 적분 $E_1(x)$와 $\operatorname{Ei}(x)$(출처: wikipedia.org)
감마 함수(gamma function)의 성공으로 새롭게 정의된 적분이 다음의 제$n$차 지수 적분(exponential integral of the $n$th order)이다. 지수 적분은 불완전 감마 함수(incomplete gamma function)를 차별화되게 표현한 특수 함수이다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjivtvBNf27rN5pkF20FhkVbd8iJPuLGCS7Q_awGtGMEVdsXLBJrHziSNh_awk-RybGmbjhQdZ08ZDV8UWwDIvfM_e4lffZ-1OJ4xZ1pAA9HDkByE4boI70oIt565Ed7M-YuGwt3lcdH6fM/s1600/ei1.png)
식 (1)은 변수 치환을 통해 상단 불완전 감마 함수(upper incomplete gamma function)로 변형할 수 있다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgdT1imA0nS6mz1RVMZZiUe0MkWZ6Ro2PCDxlQOxYUCPP2GAJmDsLboN7s9znAjTkJogpFvBEFZG3Q6FGRmCd-NGM3d242ewMQ-t5aijOO-RJLeslmlbEwverpsCuqO_Jj3HZr_4aVPbl9b/s1600/gam55.png)
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEg3Wu-j6IWescAfSNkagQDCfKJIP5RMOKBBRYX2tHBct60FVFCZcUCQVKVh2mzptajtPvCSS_Dc4-BvG9QH6LuwzvM22CSaWo2XWQJTtT6_iEr-nqXUXrfNdpeQoyblpYS3wPQE1R6QNM4n/s16000/ei1.png)
지수 적분 중에서 다음에 제시한 제1차 지수 적분이 가장 많이 쓰인다. 그래서 보통 지수 적분(exponential integral)이라고 하면 제1차 지수 적분을 가리킨다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjhVkhDKzG209uASo_S3xbv8NOjoJbFLIbxj7c9DZjqRwisA4rhh7yJyh_Jxm9ocOn8eQLGFEsUvQM0wIoJfQp7zBAXlumyKh9pFq99slHYy-NaQO1dn8vFfbRN-hOm7YUAonbnxzoRzHqX/s1600/ei3.png)
여기서 $x > 0$을 만족해야 한다. 식 (4)에 $x$ = $0$을 대입하면 $E_1 (0)$은 무한대로 발산한다.[식 (10)을 봐도 $E_1(x)$는 로그 함수 특성을 가진다.] 식 (4)를 부분 적분(部分積分, integration by parts)하여 지수 적분의 점근식(asymptote)을 구할 수 있다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgLZCSniXuDeYOyebrx5KGXKywvGsbClGUhKMH3i3ovAA80khS3TZF0Zz_UCBIA3iICgz9W8Y6Vo-WYj7RWpntxZxo3c4d1yc2Pti6VIyQJEd6stNx2zKRZqgC6vNxrjwqMqdCcfcx7NmsG/s1600/ei4.png)
그러면 지수 적분의 최종 점근식은 다음과 같다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhrVQexTZ35x6XtB7kzRL8LQxiENxQHYL9j9Omc9M2MeSa1LbUuzXkm7kInf7i0OppjiPfq15QjWV8oJtbrrid2MYRzGvvRPgx3Rnv2hkUMKHGGZ6uImNPMAylxzlMmabdDjQg0Iu1Z_UGE/s1600/ei5.png)
식 (4)는 $x$에서 무한대로 가는 적분으로 지수 적분을 정의하고 있다. 동일한 적분을 0에서 $x$로 가는 적분으로 바꿀 수는 없을까? 예를 들면 불완전 감마 함수는 감마 함수[적분 구간은 0에서 무한대]에서 상단 적분[적분 구간은 $x$에서 무한대]을 빼서 하단 적분[적분 구간은 0에서 $x$]을 쉽게 만들어낸다. 지수 적분의 적분 구간을 변경하는 방법은 매우 간단하다. 지수 적분을 미분하면 식 (4)의 피적분 함수이므로 다음이 성립한다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjgKonwKUNHjeiJzzNzbYF0Kak2pdWlff6jmr77kROwuXdpQF2CICaA9sEZ7l-45TJ-dUPr-_vib9GjcD2a6zJel18nx7EhoGB3Oetbz0tTaz_l91WrNs6FG2d9x9eMN8dds73dRFGzhD8s/s1600/ei9.png)
여기서 $C$는 적분 상수이다. $x \ne 0$일 때 식 (4)의 지수 적분은 수렴하므로 적분 상수 $C$는 유한하다. $x \to 0$일 때의 극한을 이용해 적분 상수 $C$를 결정해보자. 먼저 오일러–마스케로니 상수(Euler–Mascheroni constant)의 적분 표현식에서 출발하자.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEi1eUc8MFTJ02CTG8CwFmCRv7Us0ObVIOT7c2BA4mpNsmRaefm-DjbtMr7T4kAOZbEIkt1BOyRzhSflpMpjc-kbfYG0D5OTPtl8o6fS066A-UvVpgtPmGCooU8itstdoQ3jS1aVunbyromk/s1600/emc2.png)
식 (8)을 이용하면 적분 상수 $C$는 다음처럼 표현된다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjHE-x8d7BwjV8GxW2qWQyaYGKN-BsVH423vw5pdBSSf3uZVnV70gj5R_6XvOzQIdfIAdQKIOuKEeQnWAgaRO6UKsNrC7B0f7X6pG2swj4TwVd3Q6oOfk4s7RQTvySaO0-UPENHmQCC7hAh/s1600/ei7.png)
그러면 지수 적분의 새로운 표현식은 다음과 같다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhY5liZF_cL6kyy07pzBIa19H84WFA1NIvcmxL3dgrPtntd9-xe-9YaN3QgMFNdCHmkkA9J2siVEh-uz0zY33kThgfImy0ulMOXpnyZBpah58UqRtsuPLs5jfV_0ozvlhd6b-BQm4jdxSNO/s1600/ei10.png)
식 (10)에 있는 멱급수(power series)를 다음과 같이 뜯어보자.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiSq9uSD7I-7XGX5YwHoum6dx8g7dWNVIF4ByJYm-E49JIyOKc3tGzcNsskIz38RfH7iQa5DB_8iWQLd3xy84ObZN19My1AafipEHBZHHOL-lmll4fbzeR5s70vbxou4aHJAVuXNyB0JfPo/s1600/ei11.png)
지수 적분의 적분 구간을 바꾸면서 출현한 식 (11)의 적분도 지수 적분의 일종이다. 이 적분의 이름도 지수 적분이지만, 식 (4)와 구별하기 위해 다음과 같이 $\text{Ein}(\cdot)$(Exponential integral)으로 표기한다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEi88vC-LzIM6ar7oLL5QYTm31SCBrF1TUOv8D8mT853MmFpEpngA1H-J-15R85tGuN-AHXQS8UfQsDEzAR9M4jeoHyyHr6wGPuxY9k2tN3vHvuBuJNJMfTp7tOzE88bl59OXh-IotzV9CGg/s1600/ei12.png)
식 (12)를 이용하면 식 (10)은 다음처럼 간단해질 수 있다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEg5TRkUC-krDQB0t7dGKWOa2E_uObPdwtuHAiMAujIl2SdeMBKOKgvfULXs96AIxlUIlZhyphenhyphenM-kvWDpNP8xQctBKsjyzx41uXIZAr7aVCah5V8jwqeVhZ-7x10eF2RnX8B59m8CpFgP-Copl/s1600/ei13.png)
여기서 $x > 0$이다. 식 (12)와 또 다른 형태의 지수 적분 $\operatorname{Ei}(x)$도 존재한다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgQ9UeP4FbSpm1NLT6NoJ6PMXFG7zfH_y_PrvynwgYNJc00zOF3wT5quRYyChX2eC1UsPJNh-D51DRSRW8UYbt-SEEiXJz5Vdy__DDnXLLCbUFdBznSnEzw8wn3fUlpVTSHIFTNz5GJElUO/s16000/ei3.png)
여기서 $x < 0$이다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEixqQZrI74b74oDXw4iBfnxudrYgSUqcZTciPTVcTXQTBvUL2ZPB63Ud5XM-5KUWeRZn5w1roNoJaOvW16Dgv1tOd5HZfeU_PM3ULp_wzVcuxHIxfaOt8r8Noamsqs5R2g6Utre0Ul6FcdR/s320/ca44.png)
[그림 2] 로그 함수를 위한 가지 자름
식 (4) 혹은 (14)에서 $x$가 원점을 지나게 되면 복소 함수론(complex analysis)을 이용한 특별한 조치가 필요하다. 바로 로그 함수에 가지 자름(branch cut)을 [그림 2]처럼 정의해서 해석 함수(analytic function)로 만든다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhf5BmO4fg9CSJimEOJTYUSLK6iORP2IpkzjdhaVIMGlXEspkBZGswvJqBkXXVbQ1ZX4wxgP9lgnuW-O7-RcLJtgtve4TviOK3rFpTR0AtUpk5wWJYt-EyEFGNGGXugvvZxkROYiRpwZhhX/s16000/ca45.png)
그러면 모든 $x$에 대해 식 (13)을 확장할 수 있다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgW9-QFEj2k50EG6Whyphenhyphend0BRvdjiDg_tTFeB9g0y66R0n3zzUc3mm7MnJjuPWx5n1YE5w-0C2RatOuZP8ndJ4dTXLYWFCmTXjpAnPGCutaf4dR3EZzyCEFjz7wM3xEszsnZeJ63pSvFOD210/s16000/ei9.png)
여기서 $u(x)$는 단위 계단 함수(unit step function)이다. 지수 적분 $\operatorname{Ei}(x)$는 $E_1(x)$와 다르게 모든 $x$에서 함수값이 실수가 되도록 한다. 모든 $x$에 대해 성립하도록 식 (14)를 참고해서 정의한 $\operatorname{Ei}(x)$는 다음과 같다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhlVrAOqltGZCfQe8YTynyFxXqCoSt8R5SmP_GX78pX-AwafnyRLMAGWuz4IyNcC5G_trCHZsL-vI4JDd-aMD2_qX0GPM4jDN4mLxag64q6mYcU9M4NpuP97riwdHMTt84SIHgR1Zil5p2R/s16000/ei7.png)
식 (16)과 식 (17)을 합쳐서 지수 적분 $E_1(x)$와 $\operatorname{Ei}(x)$의 관계를 구한다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiLG2GutAb18eSKUVu9aTY257Iofz5qZ5LerFKNvmdKkLIFZYCMgdJ3BK03CePn2R7LecGma6UcfESsEul7H_7joJXvLG1XuUDAvAm3D8eJTTELTQLrOgcM50zqjnJrwDBipvqKV8k272Mb/s16000/ei8.png)
따라서 지수 적분 $E_1(x)$와 $\operatorname{Ei}(x)$는 거의 비슷하지만, $E_1(x)$는 음의 $x$에서 허수부가 있고 $\operatorname{Ei}(x)$는 $x$에 관계없이 항상 실수값만 가진다. 혹은 $E_1(x)$의 실수부는 항상 $-\operatorname{Ei}(-x)$가 되도록 식 (17)처럼 $\operatorname{Ei}(x)$를 정의한다.
1. 기본(basics)
[미분(differentiation)]
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEji_-hkIu-1mcyn-tVDYRjB_zha32BEpCShiCrmL5cmAUTPgaNS4k5AOtf8mpw_tAXU_o2mbPNd2xnkCTJdAwL1Z_LQkUquVCRnkefdP_1CY1YN8nBTyUnvQ7OFZlShZtSwBcO9w2KpIuQN/s16000/ei2.png)
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjMIkZdDWFCdzFgj_nYKbrpAyefoGf9M8XA5PJwZ6dwFZHsSAv3b2MFN0Zed197fyM74aUJhqEY-L7iUzIa1vX1oOBic2GyjYZXAY_JAkF8hibf325jZgwHE7ii6IDDKJvf2oP4j1ZYokni/s16000/ei4.png)
[증명]
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEifl4ppeSNU-IEOWXUyglsGis0DbdT-b2wsJ5YgFWKG2Hql_o8qKzqnS0MLqxvp-WmnXvPIQGjeGVBHQChjMFftrbdohQlA-rfVyFtCvdQ80TXEa9k0aOUSSX1e6Ks6MpNy8ShrUShsrrHx/s16000/ci9.png)
만약 $x < 0$라고 해도 식 (1.3)과 유사한 방식으로 증명할 수 있다.
______________________________
값 $x$의 부호에 따라 식 (1.2)와 같이 허수부의 부호가 바뀌는 이유는 로그 함수의 가지 자름(branch cut) 때문이다.
2. 함수 표현식(function representation)
[복소 함수론(complex analysis)]
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEj9FqeyGXCg5dOn8glQ03hK5SIEGUt7XytHHTjwlSBWMjjq6wxbUcKqK_2i6_V2oGVhp557txNYi5AIqFuBmBAK4YxXosfJi0fP1TsZOfjEfWMu63gA2437LOff9G0GjINRF5RZCVoCPWAU/s16000/ei10.png)
[그림 2.1] 지수 적분 $E_1(x)$를 위한 닫힌 경로
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgorgguf2Fx6skqzJoIgFCTXw3BHdXxeeAwW85XLOU-4nY0H0fcTJe2GkMixulabA_CvPifQeTMaQyLCuB9Yp3n_7qSbZX3XEt5HrIKp8aBVeBzP0pYcV8gbOH0KlSy_4nCgv6V-JTWcuPt/s16000/ei11.png)
여기서 $x > 0$이다.
[증명]
[그림 2.1]에 있는 닫힌 경로에 대해 코쉬의 적분 정리(Cauchy's integral theorem)를 적용한다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgyatdcTWlFvEUS_VjGdW4zykzP-FlCQrmSsXjxE9bX-XyMewH-8nsDyU8rVvyErgIcvQQOvPyMv9EnaV1KKwpZE8R5qhv83eH42qPUuAGDi74CqRSuD8_0s06Zd6_bXqQWoEBEb8vwcsas/s16000/ei12.png)
여기서 $R \to \infty$이면 $c_2$ 상의 적분은 $0$으로 수렴한다. 식 (2.2)를 정리해서 식 (2.1)을 얻을 수 있다.
______________________________
[푸리에 변환(Fourier transform)]
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiW4ns3dqfDdhUdASAdGhmI2_1xaeXX_pRCjV72_tL6xr0Qlnz4HZ19aRibVC6VAGa_pqJ9yY1HNqsz2Q4C3es0cmfJ85sQyT8MCljwzfj7RE7eQ10Sc5P3cagj72OB_nOXTAJ6ZB2lJtGI/s16000/ei13.png)
[증명]
식 (2.3)에서 $u$ = $\sqrt{x^2 + a^2} + x$로 변수 치환하여 적분한다[2].
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjacvXCJxniGd9ZorEa-41kH4tkNW_KOTfkJ4595AHDS2XElGB_Ti4wjL08ZhXDnvosRKKIaS0Qhl9m3Ez7IzC38KhK-VqEGbDbJSIfF7RDNNXIGFvrUS_Xo9wxdUfy4YtbgVphbAC9aEPw/s16000/ei14.png)
______________________________
[참고문헌]
[1] C. M. Bender and S. A. Orszag, Advanced Mathematical Methods for Scientists and Engineers I: Asymptotic Methods and Perturbation Theory, Springer, 1999.
[2] H. Haase, Full-wave Field Interactions of Non-uniform Transmission Lines, Ph.D. Thesis, Otto von Guericke University, Germany, 2005.
[다음 읽을거리]
댓글 없음 :
댓글 쓰기
욕설이나 스팸글은 삭제될 수 있습니다. [전파거북이]는 선플운동의 아름다운 인터넷을 지지합니다.