logo

푸리에 급수에 대한 베셀 부등식 📂푸리에해석

푸리에 급수에 대한 베셀 부등식

공식

구간 [−L,L)[-L,L)에서 정의된 함수 ff가 리만적분가능하면 아래의 부등식이 성립하고 이를 베셀 부등식이라 한다.

14∣a0∣2+12∑n=1∞(∣an∣2+∣bn∣2)=∑n=−∞∞∣cn∣2≤12L∫−LL∣f(t)∣2dt \dfrac{1}{4}|a_{0}|^{2} +\dfrac{1}{2}\sum\limits_{n=1}^{\infty} \left(|a_{n}|^{2} + |b_{n}|^{2} \right) =\sum \limits_{n=-\infty}^{\infty} | c_{n} |^{2} \le \dfrac{1}{2L}\int_{-L}^{L} | f(t)|^{2} dt

이때 a0, an, bna_{0},\ a_{n},\ b_{n}은 ff의 푸리에 계수, cnc_{n}은 ff의 복소 푸리에 계수이다.

증명

임의의 복소수 zz에 대해서 ∣z∣2=zz‾|z|^{2}= z \overline{z}이므로,

0≤∣f(t)−∑n=−NNcneinπtL∣2=(f(t)−∑n=−NNcneinπtL)(f(t)‾−∑n=−NNcn‾e−inπtL)=∣f(t)∣2−∑n=−NN(f(t)cn‾e−inπtL+f(t)‾cneinπtL)+∑m=−NN∑n=−NN∣cn∣2ei(m−n)πtL \begin{align*} 0 &\le \left| f(t)-\sum\limits_{n=-N}^{N}c_{n} e^{i\frac{n\pi t}{L}} \right|^{2} \\ &=\left(f(t)-\sum\limits_{n=-N}^{N}c_{n} e^{i\frac{n\pi t}{L}} \right) \left(\overline{f(t)}-\sum\limits_{n=-N}^{N} \overline{c_{n}} e^{-i\frac{n\pi t}{L}} \right) \\ &= |f(t)|^{2} - \sum \limits_{n=-N}^{N} \left( f(t) \overline{c_{n}} e^{-i\frac{n\pi t}{L}} + \overline{f(t)}c_{n} e^{i\frac{n\pi t}{L}} \right) + \sum \limits_{m=-N}^{N}\sum\limits_{n=-N}^{N} |c_{n}|^{2}e^{i\frac{(m-n)\pi t}{L}} \end{align*}

첫줄을 보면 알수 있듯이 위 식은 00보다 크거나 같기 때문에 적분한 값 역시 00보다 크거나 같다. 따라서 다음의 부등식이 성립한다.

0≤12L∫−LL∣f(t)∣2dt−∑n=−NN(cn‾12L∫−LLf(t)e−inπtLdt+cn12L∫−LLf(t)‾einπtLdt)+∑m=−NN∑n=−NN∣cn∣212L∫−LLei(m−n)πtLdt \begin{align*} 0& \le \dfrac{1}{2L}\int_{-L}^{L} |f(t)|^{2} dt - \sum \limits_{n=-N}^{N} \left(\overline{c_{n}} \dfrac{1}{2L}\int_{-L}^{L}f(t) e^{-i\frac{n\pi t}{L}}dt + c_{n}\dfrac{1}{2L}\int_{-L}^{L} \overline{f(t)} e^{i\frac{n\pi t}{L}}dt \right) \\ &\quad+ \sum \limits_{m=-N}^{N}\sum\limits_{n=-N}^{N} |c_{n}|^{2}\dfrac{1}{2L}\int_{-L}^{L}e^{i\frac{(m-n)\pi t}{L}}dt \end{align*}

이때 복소 푸리에 계수의 정의를 이용해서 두번째 항을, 지수함수의 직교성을 이용해서 세번째 항을 정리하면 다음과 같다.

0≤12L∫−LL∣f(t)∣2dt−∑n=−NN(cˉn12L∫−LLf(t)e−inπtLdt+cn12L∫−LLfˉ(t)einπtLdt)+∑m=−NN∑n=−NN∣cn∣212L∫−LLei(m−n)πLtdt=12L∫−LL∣f(t)∣2dt−∑n=−NN(cˉncn+cncˉn)+∑m=−NN∑n=−NN∣cn∣2δmn=12L∫−LL∣f(t)∣2dt−∑n=−NN2∣cn∣2+∑n=−NN∣cn∣2=12L∫−LL∣f(t)∣2dt−∑n=−NN∣cn∣2 \begin{align*} 0 &\le \dfrac{1}{2L}\int_{-L}^{L} |f(t)|^{2} dt - \sum \limits_{n=-N}^{N} \left(\bar c_{n} \dfrac{1}{2L}\int_{-L}^{L}f(t) e^{-i\frac{n\pi t}{L}}dt + c_{n}\dfrac{1}{2L}\int_{-L}^{L} \bar f(t)e^{i\frac{n\pi t}{L}}dt \right) + \sum \limits_{m=-N}^{N}\sum\limits_{n=-N}^{N} |c_{n}|^{2}\dfrac{1}{2L}\int_{-L}^{L}e^{i\frac{(m-n)\pi}{L}t}dt \\ &= \dfrac{1}{2L}\int_{-L}^{L} |f(t)|^{2} dt - \sum \limits_{n=-N}^{N} \left(\bar c_{n} c_{n} + c_{n}\bar c_{n} \right) + \sum \limits_{m=-N}^{N}\sum\limits_{n=-N}^{N} |c_{n}|^{2}\delta_{mn} \\ &= \dfrac{1}{2L}\int_{-L}^{L} |f(t)|^{2} dt - \sum \limits_{n=-N}^{N}2 |c_{n}|^{2} + \sum \limits_{n=-N}^{N}|c_{n}|^{2} \\ &= \dfrac{1}{2L}\int_{-L}^{L} |f(t)|^{2} dt - \sum \limits_{n=-N}^{N} |c_{n}|^{2} \end{align*}

마지막 식의 두번째 항을 이항해서 N→∞N \rightarrow \infty의 극한을 취하면 아래와 같다.

∑n=−∞∞∣cn∣2≤12L∫−LL∣f(t)∣2dt \sum \limits_{n=-\infty}^{\infty} |c_{n}|^{2} \le \dfrac{1}{2L}\int_{-L}^{L} |f(t)|^{2}dt

푸리에 계수와 복수 푸리에 계수의 관계에 의하여 다음의 식을 얻는다.

∣an∣2+∣bn∣2=anaˉn+bnbˉn=(cn+c−n)(cˉn+cˉ−n)+i(cn−c−n)(−i)(cˉn−cˉ−n)=2cncˉn+2c−ncˉ−n=2(∣cn∣2+∣c−n∣2) \begin{align*} |a_{n}|^{2}+|b_{n}|^{2} &= a_{n} \bar a_{n} + b_{n} \bar b_{n} \\ &= (c_{n}+c_{-n})(\bar c_{n} + \bar c_{-n})+ i (c_{n}-c_{-n})(-i)(\bar c_{n} - \bar c_{-n} ) \\ &= 2c_{n}\bar c_{n} + 2c_{-n}\bar c_{-n} \\ &= 2\left( |c_{n}|^{2} + |c_{-n}|^{2} \right) \end{align*}

  ⟹  12∑n=1∞(∣an∣2+∣bn∣2)=∑n=1∞(∣cn∣2+∣c−n∣2)=∑n=−∞n≠0∞∣cn∣2 \implies \dfrac{1}{2} \sum \limits_{n=1}^{\infty} \left( |a_{n}|^{2}+|b_{n}|^{2} \right) = \sum \limits_{n=1}^{\infty} \left ( |c_{n}|^{2} + |c_{-n}|^{2} \right) = \sum \limits_{n=-\infty \\ n\ne 0}^{\infty} | c_n |^{2}

그리고 ∣c0∣2=14∣a0∣2|c_{0}|^{2} = \dfrac{1}{4}|a_{0}|^{2}이므로

14∣a0∣2+12∑n=1∞(∣an∣2+∣bn∣2)=∑n=−∞∞∣cn∣2≤12L∫−LL∣f(t)∣2dt \dfrac{1}{4}|a_0|^{2} +\dfrac{1}{2}\sum\limits_{n=1}^{\infty} \left(|a_n|^{2} + |b_n|^{2} \right) =\sum \limits_{n=-\infty}^{\infty} | c_n |^{2} \le \dfrac{1}{2L}\int_{-L}^{L} | f(t)|^{2} dt

■