싱크함수의 오일러 표현 증명 📂함수

싱크함수의 오일러 표현 증명

Proof of Euler's representation of sinc Function

정리

싱크함수의 정의

다음의 함수 $\text{sinc} : \mathbb{R} \to \mathbb{R}$ 을 싱크 함수Sinc Function라 한다.

$$ \text{sinc} x := \begin{cases} \displaystyle {{\sin x} \over {x}} & , \text{if } x \ne 0 \\ 1 & , \text{if } x = 0 \end{cases} $$

오일러 표현

$$ \text{sinc} x = \prod_{n=1}^{\infty} \left( 1 - {{x^2} \over { \pi^2 n^2}} \right) $$

설명

싱크함수란 $\sin x$ 을 $x$로 나눈 함수로써, 별도의 이름이 붙은만큼 유용한 구석이 많은 함수다. 교과 과정부터 그 이름만 모를 뿐 극한이나 연속 파트에 종종 등장하기도 한다.

한편 정규화된 싱크함수Normalized Sinc Function는 아래와 같이 정의된다. $$ \text{sinc} x = {{\sin \pi x} \over {\pi x}} = \prod_{n=1}^{\infty} \left( 1 - {{x^2} \over { n^2}} \right) $$ 이런 경우 오히려 $\displaystyle \text{Sa}(x) := {{\sin x} \over {x}}$ 를 비정규화된 싱크함수로 부르기도 한다는데, 본질적으로 둘은 그냥 같은 함수기 때문에 엄격하게 구분하진 않고 보통 그 때 그 때 용도에 맞게 재정의한다고 보면 된다.

참고로 싱크함수의 이상적분은 $\displaystyle \int_{- \infty}^{\infty} {{\sin x} \over {x} } dx = \pi$ 로 구해진다.

증명

전략: 소개할 증명은 직관적이지 않고 테크니컬한 부분이 많아서 이해하기가 상당히 어렵다. 하지지만 개중에서 그나마 쉬운편인데다 복소해석을 쓰지 않는다는 장점이 있는 증명이다.


$$ I_{n} (c) := \int_{0}^{ { {\pi} \over {2} } } \cos ^{n} t \cos ct dt $$ 를 정의하자. 그러면 $$ I_{0} (0) = \int_{0}^{ { {\pi} \over {2} } } \cos 0 dt = { {\pi} \over {2} } \\ I_{0} (2x) = \int_{0}^{ { {\pi} \over {2} } } \cos 2xt dt = \left[ {{\sin 2xt} \over {2x}} \right]_{0}^{{ {\pi} \over {2} }} = {{\sin \pi x} \over {2 x}} $$ 따라서 $$ {{I_{0} (2x)} \over {I_{0} (0)}}= {{\sin \pi x} \over {\pi x}} = \text{sinc} x $$ 고로 $$ {{I_{0} (2x)} \over {I_{0} (0)}}= \prod_{n=1}^{\infty} \left( 1 - {{x^2} \over { n^2}} \right) $$ 임을 보이면 된다. 우선 $ I_{n} (c)$ 을 점화식으로 나타내보자. $$ \begin{align*} I_{n} (c) =& \int_{0}^{ { {\pi} \over {2} } } \cos ^{n} t \cos ct dt \\ =& \left[ {1 \over c} \cos^{n} t \sin c t \right]_{0}^{{ {\pi} \over {2} }} - \int_{0}^{ { {\pi} \over {2} } } {1 \over c} n \cos ^{n-1} t (-\sin t) \sin ct dt \\ =& {n \over c} \int_{0}^{ { {\pi} \over {2} } } \cos ^{n-1} t \sin t \sin ct dt \\ =& {n \over c} \left[ {1 \over c} \cos^{n-1} t \sin t (-\cos c t ) \right]_{0}^{{ {\pi} \over {2} }} \\ & - {n \over c} \int_{0}^{ { {\pi} \over {2} } } {1 \over c} \left\{ (n-1) \cos ^{n-2} t (-\sin^2 t) + \cos ^{n} t \right\} (-\cos ct) dt \\ =& {n \over {c^2} } \int_{0}^{ { {\pi} \over {2} } } \left\{ (n-1) \cos ^{n-2} t (\cos^2 t - 1) + \cos ^{n} t \right\} \cos ct dt \\ =& {n \over {c^2} } \int_{0}^{ { {\pi} \over {2} } } \left\{ n \cos ^{n} t - (n-1) \cos^{n-2} t \right\} \cos ct dt \\ =& {n \over {c^2} } \left\{ n I_{n}(c) - (n-1) I_{n-2}(c) \right\} \end{align*} $$ 잘 정리하면 $$ (n^2 - c^2) I_{n} (c) = ( n^{2} - n) I_{n-2} (c) $$ 여기에 $c=0$ 을 대입해 얻은 식으로 각 변을 나누면 새로운 점화식 $$ { {(n^2 - c^2)} \over {n^2} } {{I_{n} (c)} \over {I_{n} (0)}} = { {I_{n-2} (c)} \over {I_{n-2} (0)} } $$ 를 얻는다. 새로운 점화식에서 우변이 $\displaystyle { {I_{0} (c)} \over {I_{0} (0)} }$ 가 될때까지 반복해보면 $$ \prod_{k=1}^{m} { {(2k)^2 - c^2} \over {(2k)^2} } {{I_{2m} (c)} \over {I_{2m} (0)}} = { {I_{0} (c)} \over {I_{0} (0)} } $$ 여기에 $c=2x$ 를 대입하면 $$ \prod_{k=1}^{m} { {(2k)^2 - (2x)^2} \over {(2k)^2} } {{I_{2m} (2x)} \over {I_{2m} (0)}} = {{I_{2m} (2x)} \over {I_{2m} (0)}} \prod_{k=1}^{m} { {k^2 - x^2} \over {k^2} } = {{I_{0} (2x)} \over {I_{0} (0)}} $$ $\displaystyle {{I_{0} (2x)} \over {I_{0} (0)}}= \prod_{n=1}^{\infty} \left( 1 - {{x^2} \over { n^2}} \right)$ 이므로 $\displaystyle \lim_{m \to \infty} {{I_{m} (2x)} \over {I_{m} (0)}}=1$임을 보이면 증명은 끝난다. 이제 $$ I_{m} (2x) = \int_{0}^{ { {\pi} \over {2} } } \cos ^{m} t \cos 2xt dt $$ 를 생각해보자. 이 수열을 $x$ 에 대한 함수로 보면 주기가 $1$ 이고 우함수이므로 $\displaystyle 0<x \le {1 \over 2}$ 만 고려하면 된다. $\cos 0 >\cos 2x t$ 이므로 $$ I_{m} (0)> I_{m} (2x) \\ \cos 2xt >\cos^{2} t $$ 이고, $ I_{m} (2x)> I_{m+2} (0)$ 이다. 따라서 $$ I_{m} (0)> I_{m} (2x)> I_{m+2} (0) $$ 인데, 각 변을 $ I_{m} (0)$ 으로 나누면 $$ 1 > {{I_{m} (2x)} \over {I_{m} (0)} }> {{I_{m+2} (0)} \over {I_{m} (0)}} $$ 여기서 $$ (m+2)^2 I_{m+2}(0) = (m^2 + 3m + 2) I_{m}(0) $$ 이므로 $$ \lim_{m \to \infty} {{I_{m+2} (0)} \over {I_{m} (0)}} = \lim_{m \to \infty} { {m+1} \over {m+2} } = 1 $$ 따라서 $$ {{\sin \pi x} \over {\pi x}} = \prod_{n=1}^{\infty} \left( 1 - {{x^2} \over { n^2}} \right) $$

실제 결과는 굉장히 유용하지만 증명 자체는 외워뒀다가 어디 다른데 써먹을만한 방법이 못 된다. 차근차근 이해하고 숙지하는 것보단 아 이런 증명도 있구나 하고 넘어가는 걸 추천한다.

따름정리

댓글