1. 적분법의 의미
2. 테일러 급수
3. 미분 방정식의 의미
4. 지수 적분
![](https://upload.wikimedia.org/wikipedia/commons/thumb/9/9c/Sine_integral.svg/500px-Sine_integral.svg.png)
[그림 1] 사인 적분(출처: wikipedia.org)
피적분 함수가 사인 함수(sine function)로 구성된 적분(integration) 중에서 가장 유명한 적분은 아마 다음의 사인 적분 $\text{Si}(\cdot)$(Sine integral)이다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjitV4wgOe1ZI9lShirL-NqxnwhD-dl_AiGK-A0xGUVQH66aF4RKR_CNKLBrR-lL6gnOdyBaFrYenFXd39ehUnkLtBFNj1ymnPy2wqSiHNIONBcIP8M4xBNUrJZSRwHGarzDk0xQIqCcFS9/s1600/si1.png)
사인 적분이 중요한 이유는 피적분 함수가 표본화 함수(sampling function) $\text{Sa}(x)$이기 때문이다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEg45Vas8U7jtxgHmtMVzSPZo-5CscymerjwQr1Q3VY259IfqdtAiDOoy8fOnD1ZilkJpEphw5tjycHfxlstzNk98osvlOu-WdJCElo7Jxo1RvubHeYbJEtWO9CkkhW4zpC_nrgcbFIiPyiT/s1600/si9.png)
사인 적분의 의미를 찾기 위해 표본화 함수로 만든 다음 적분을 고려한다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgbYBfyTJoID1ZvIYBMT6itgJp5B5GrNAp6iwbl3meWraw9zijo9GyKu6HgWt0iX-AKhyxINwrhlWvMQt7bDYudFFCB2Y9FoKVS_O8TjXCP8es9mtrGW6jxLAFhVRgqe4AqsYZAYI3sdv924rFp-8XDCdmKuqwLdmiKxC5QNSsMijC67ulgtgMy3OG1kw/s16000/ft1.png)
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhvAq6GkDO06ZykbfTHz6ZCbzyi4mB53c2cvq_eQusGJGMMotNaXFZDtsMs5rx7QDUVPEvWDxpCWbSbuTmi0I9n2PIPSHfZKg6jdXVjSH1dKWwFHg17th-kP44kyfEgo9yDPk1J96IwPgoY/s1600/si3.png)
여기서 $\operatorname{rect}(\cdot)$는 구형 함수(rectangular function) 혹은 사각 함수, $\mathfrak{F}[f(t)]$는 $f(t)$의 푸리에 변환(Fourier transform)이다. 식 (3)과 (4)처럼 표본화 함수의 적분 구간이 무한대이면 적분값을 정확히 구할 수 있다. 다만 식 (3)의 증명에는 고급 개념인 푸리에 변환의 쌍대성(duality)이 필요하다. 만약 적분 구간이 식 (1)처럼 유한하다면 어떻게 될까? 여기에 대한 답이 바로 식 (1)의 사인 적분이다. 식 (1)의 적분값은 사인 함수의 테일러 급수(Taylor series)를 이용해 쉽게 구할 수 있다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiW1BfyWWJNvD2SOmgysQs6xFCGolCUZiA3jf6WoYoL03NrZom0FsEBTMjgCM6EYlXlLRNqDYJFsLLm041tX_QiIzJxtxOO3twhfpfPLwQdCA_a_g2yAbK-etT3eK0EK_pD8xbiIUWeSow/s320/ts15.png)
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjBP_X09MFHcWgXFaoGOTR3-fuOAaO4UlMqxiA_SpZNF8r9xNdcpTzC02VouIowCLSovvOB7QlcgkJB5spdjkVizF4r3Xy3I9VjDPokXNIiho92PcHs9kB6goPp_XRDxnVwc7zsa_usQGpa/s1600/si4.png)
식 (6)은 사인 함수에 대한 적분 결과이므로 식 (6)의 무한 급수(infinite series)는 모든 영역에서 수렴한다. 하지만 이 부분은 수학적으로만 맞는 말이고 실제 수치 계산에서는 맞지 않다. $x$가 커지면 무한 급수의 항이 빠르게 커져 매우 많은 항을 합쳐 주어야 수렴하게 된다. 그래서 수치 계산을 효율적으로 하려면 사인 적분의 점근식(asymptote)이 필요하다. 사인 적분의 점근식을 구하기 위해 식 (4)와 부분 적분(integration by parts)을 이용한다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgsKExtPAUahziOTZYRv1tQRDn1ndLatQGKy_6NbXSd985Y6YbIxVfzlYVu9bWNRK-KC_dyO884B0k9VH3yDwV2_v72UjZiD8kEvmzxN8MgF4_29zNfGN3t15b4nPJBBpTjD6-jgSi7xBCK/s1600/si5.png)
식 (7)의 과정을 계속 반복하면 다음 결과식을 얻을 수 있다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiNw7tE3QBzfg4YdaINWpcOZZ40X0Rx4nEsy-ZyHJyJbXORoDuDqqFMY26hrOCUmOH3wE99AcYb8y2urGZ9KhGMA_b8JwXMd5Ocr1f1afQBIIKZ68-SljlDdyTaP1s6y_i4u3rTwDWGspKv/s1600/si6.png)
다음으로 사인 적분이 만족하는 미분 방정식(differential equation)을 찾아본다. 찾는 법은 비교적 간단하다. 사인 적분을 미분하여 계수를 서로 비교하면 쉽게 관계되는 미분 방정식을 만들 수 있다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEh_umpZTD1xppY4P9Wphve-7I35ZB9lh8EftQuOKRdTDPYmHCL_mXWEPRI-9F4WDnqOzJksRFexfeXMltxZYRE4ILJw_I-o6Lw4iOv-FC_QUlgHQXebieu0vEEm4ZzPELNrSe4U7-HHx0BZ/s1600/si7.png)
세 번 미분한 관계식을 한 번과 두 번 미분한 관계식과 연립할 수 있어서 다음 미분 방정식의 해는 사인 적분이 된다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEivmTHCfNUNKfwQwt9OWf18dbMSb8X-0HkKrjJaG8BHs9k1o-DoDmEtSrzqblQxlEJlBoCz-dPmxr3sa2Kls4Rrosjwd5HY_rLplMVxrEm4BbKKTnrxtP2FGJQ6VdCHqLUhCw5Qjue4Ar9S/s1600/si8.png)
어차피 적분해서 식 (2)의 표본화 함수가 나오면 식 (10)의 미분 방정식을 만족하므로, 새로운 사인 적분을 다음처럼 정의할 수 있다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEih3ETuHkBEayP0zhfTyFLL-omWpB2MiB82jYMUZT6Cm1goB__kmaIG5OLc-7Cy2LUEv6RVjZOhOfqq6IwbB3J8zts89hLatAQG9yoO6ktodwuYFS5PuaalYJdmYfjaKGlXqQOrCRNrj37l/s1600/si10.png)
식 (7)을 참고하면 식 (11)의 정의는 점근식 유도에 매우 유용하다. 사인 적분 간의 관계식은 다음과 같다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEi4lT4vqazpXmMPC2PkNc3Zxc0Kg0Y1ayVWkjlANHho2SbQCe7DPifDr1Rqw-1SFoJPybR5scaS6t-PIGuw6-gjMhnEcXYwGZj-Wwqe2NVSjk7cFNjarYzYZstYg7qwcAhDFVVHuAejlFjG/s1600/si11.png)
식 (4)에 소개한 이상 적분(improper integral)은 신기하게도 수렴한다. 하지만 아래 절대값을 가진 적분은 발산한다[2]. 식 (4)와 (5)의 예는 절대값 유무에 따라 적분값이 수렴 혹은 발산하는 좋은 예이다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiVUk5WvPV-HiWWZRhe3NC4ynYMj8JCO1LdW3YQoRlWWaZKHK_3fDI77D0oFtUiHbmeXmQ7Bdr-ai3dXmA4JHjv5ZbcuGnYq5RM8-yTi0qOufojf79i5VE-BwYneN8BICGzb5fbNEBDvBC_/s1600/si12.png)
식 (13)의 증명은 의외로 간단하다. 식 (13)의 적분 구간 일부를 다음과 같은 수열로 표현한다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgkbvwXJ0BYaLZyWSciQ_ezlmAWpfE3_U2X39Te-8myYPAvWX6RI4Pd9VRIleoTBc4HDsrjfASqey4Gk5682_3HMRvTnQZd_uH5a7JcjCk34756h0nY3XJLvSUNSwVImV98RF1IGcyVWwAD/s1600/si13.png)
수열 $a_n$은 조화 급수(harmonic series)의 항보다 항상 크고 조화 급수는 발산하므로 식 (13)은 발산한다.
1. 기본(basics)
[대칭성(symmetry)]
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgabzvRjR98TXGrXN97wKhBOd9c6JOHAaHxKdrqPS3-1HnW4P3nKvbXCfTptCCpTmGrRGnGKGINb3FDhepggPi1wjqoGn0szfUCyYMpwCGhn2jdsIDoB1Xtw4CeFrf_JYNhnU3hVB-PFl2j/s0/si1.png)
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgIe3gcX7mhXo8BMPoOiIRYlgAJgOynCO-GcByv-xFiJ-TcC7mfUICxkqusMQrRmPcGofb_yxSFAkOeAbqEw28iL26mYiY6k2qEIilyG8U4myewqYU4I-qkJ6MTERNkLMm_DtXE9MvZ3RnS/s16000/si2.png)
[증명]
식 (11)에서 적분 구간을 바꾸면 다음과 같다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgM99aGogIWY-FRx05tAWem5VNRylB-piytBfY0oxzgPhmVTfgh-27NcpIQ3JUri9fZ2tMnjzFdA0lumjeg-eTxll2LD91NcIvOYuu1XyqaG9qQs-Zd3tovMNu7yxcNvQYMoGHb1-MIK3_c/s16000/si3.png)
______________________________
2. 특정값(specific value)과 극한(limit)
[표본화 함수(sampling function)]
사인 적분의 피적분 함수인 표본화 함수의 영점(zero)은 $x$ = $0$을 제외한 $\sin(x)$ = $0$에서 구한다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEi9El7bx6AzxM_h4M18SpHC7CwXX4jYYVWP6E0zWIYb2HWO3MrUilc_Qe9eFBQpc0AljgkATn1Kjk0JgXeCNGMxujco39r0CTOM8QFlTu08_y27-wTviWpNm666ha_5423eOAwjtzKEPfJ5iGc-96r_OV7z_xcnuErB_RYrNJrz4x94mR_AvjI9xq6g3Q/s16000/si3.png)
비슷하게 표본화 함수의 극값이 나오는 극단점(極端點, extreme point or local extremum point)은 다음과 같다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjxnd1nW_WVY0mOWxtcO72V9EoOAMQH4-CJXlirIEuKUcAAq89iJ-l9JaAyC24C9IQ358tG2MUDhXtvLHux17VLS2P64UTUQSENnU_1dtnkWZ_JBo9CHX_qVB0sBO41dPVts6hu9d_AuzCcHnLavkvA-4UUR39LGjsANjbFaoWGpYLBURYNkJmNiPaBlQ/s16000/si4.png)
[표 2.1] 표본화 함수의 극단점, $p_m$(출처: wolframalpha.com)
극단점, $p_m$ | 극단점의 계산값 |
---|---|
$p_0$ | 0 |
$p_1$ | 4.49340945790906417530788092728032208222$\cdots$ |
$p_2$ | 7.72525183693770716419506893306298662638$\cdots$ |
$p_3$ | 10.9041216594288998271487027901886838721$\cdots$ |
표본화 함수의 극단점은 $x$ = $0$을 제외하고는 쉽게 구할 수 없어서, 수치 해석으로 근 찾기(root searching or finding)를 해야 한다. 우함수(even function) 특성으로 인해 극단점은 $x$ = $\pm p_m$에서 생긴다. 또한 $x$가 커짐에 따라 $p_m$ = $\pi/2 + m \pi$에 수렴한다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgH3_z0SdlKWLCxig3OCw6f7Ryi6L7w41XITQWZH4W6FkNpBxCOHp_JGBUmKc2ugfMaF1MwjJDTNppB6tTvpINEhGMTPOjvHrXKtUh6MpAtu8FKmeSX2xODnMFUNEIvbJ0hmomI30yNNaQB21RFCWWlv09Mos-QBX88lrksxPFW37KklFBuJK2QHs83Vw/s16000/rp16.gif)
[그림 2.1] 표본화 함수의 제곱이 1/2(출처: wolframalpha.com)
표본화 함수의 제곱이 1/2로 나오는 $x$값은 공학 분야에 빈번하게 쓰인다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjIUlQhBnzAK15aIaCjOlG5oA9yHslMlCd7oRhviuFHjQGTRM8gmkLwW8biewO0cEx-aCzX0Z8FAtfJXGwVp8toNxOwPoOhGD6CpqZpHeHZsI0NyrMIN8Nc1TjYKjkIrkdfvQgP6nvvPwGBOUjI7OBYb4dOMf7gUmQPRlGPdYCw237j9-ZnfNUR8_aEwg/s16000/si5.png)
예를 들면, 안테나의 복사 패턴을 수치로 보여주는 빔폭(beamwidth) 정의에 식 (2.3)이 유용하게 사용된다.
3. 이상 적분(improper integration)
[표본화 함수(sampling function)]
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEi6BkV4xBZdaf_2KN5sPUtzfic-a1juH_4FZ5wbm3EoZZe2K6wHGJ3JAjAzVoGw2lwAbhjKXr9jYVnIqbFZCIpdpgAueVXQJ5Gnw6vmmC9oCzoQmUCRmE1NvxX7YEgEvU1S3GU7ZqUVocjvYKh6kJpI0VtW2iSafNVkEtko0OtJLBdVYROAUTQz4ASmjg/s16000/si1.png)
[증명]
부분 적분을 먼저 적용한 후에 식 (4)를 가져온다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhO6oZm-EWzQQxVLuuPKpIi3OuRdC1c7AlBWbmhAbcWHdsZ_IB5HC7hWv2WQLfDz2oUbRpF7RmBgKYKuMWkCekx2wADHKxOeka4dWf1uMviV03mqUBy791IP5sCaMRMNigUwWn_z6PikkY81u_XrKlCfLy1Rhz05l6zmhFsiQiQGdxr2tewIVcmoGF5bQ/s16000/si2.png)
______________________________
표본화 함수는 특이하게도 자기 자신의 적분과 제곱한 적분의 결과가 서로 동일하다.
[참고문헌]
[다음 읽을거리]
1. 코사인 적분
[2] Andrés Caicedo, "175 - The sine integral," Teaching Blog, 2008.
[3] J. D. Mahony, "On alternative evaluation of the integrals $\text{Cin}(z)$ and $\text{Si}(z)$," IEEE Antennas Propag. Mag., vol. 56, no. 2, pp. 156–160, April 2014.
[다음 읽을거리]
1. 코사인 적분
식 3번에 rect라는 말은 뭔가요..? 글고 식3번 어떻게 되는지 하나하나 설명해줄 수 있나여? 참고로 전 고졸입니당
답글삭제이이잉님, 설명을 더 추가했어요. 정확하게 이해하려면 아래 링크에 있는 푸리에 변환을 먼저 보셔야 합니다.
삭제http://ghebook.blogspot.com/2012/08/fourier-transform.html
저도 식(3) 에서 2번째 줄에서 3번째 줄로 넘어가는 이유를 모르겠네요.
답글삭제내용을 조금 더 추가했어요.
삭제냅 감사헙니다.
삭제