logo

도함수의 푸리에 계수 📂푸리에해석

도함수의 푸리에 계수

공식

구간 [−L, L)[-L,\ L)에서 정의된 함수 ff가 연속이고, 조각마다 매끄럽다 고 하자.그러면 f′f^{\prime}의 푸리에 계수는 다음과 같다.

an′=nπLbn a^{\prime}_{n}=\dfrac{n\pi}{L}b_{n}

bn′=−nπLan b^{\prime}_{n}=-\dfrac{n\pi}{L}a_{n}

cn′=inπLcn c^{\prime}_{n}=\dfrac{in\pi}{L}c_{n} 이 때, an, bna_{n},\ b_{n}은 ff의 푸리에 계수 , cnc_{n}은 ff의 복소 푸리에 계수 이다.

증명

cn′=12L∫−LLf′(t)e−inπtLdt=12L[f(t)e−inπtL]−LL+inπL12L∫−LLf(t)e−inπLtdt=12Lf(t)[e−inπ−einπ]+inπLcn=12Lf(t)[(−1)−n−(−1)n]+inπLcn=12Lf(t)(−1)n[(−1)−2n−1]+inπLcn=inπLcn \begin{align*} c^{\prime}_{n} &=\dfrac{1}{2L}\int _{-L}^{L} f^{\prime}(t)e^{-i\frac{n\pi t}{L}}dt \\ &= \dfrac{1}{2L}\left[ f(t)e^{-i\frac{n\pi t}{L}} \right]_{-L}^{L} +\dfrac{in \pi}{L}\dfrac{1}{2L}\int_{-L}^{L} f(t)e^{-i\frac{n \pi}{L}t} dt \\ &= \dfrac{1}{2L}f(t)\left[ e^{-in\pi} -e^{in\pi}\right] +\dfrac{in \pi}{L}c_{n} \\ &= \dfrac{1}{2L}f(t)\left[ (-1)^{-n} -(-1)^{n}\right] +\dfrac{in \pi}{L}c_{n} \\ &= \dfrac{1}{2L}f(t)(-1)^{n}\left[ (-1)^{-2n} -1 \right] +\dfrac{in \pi}{L}c_{n} \\ &= \dfrac{in \pi}{L}c_{n} \end{align*}

두번째 등호는 부분적분에 의해 성립한다.

an′=1L∫−LLf′(t)cos⁡nπtLdt=1L[f(t)cos⁡nπtL]−LL+nπL1L∫−LLf(t)sin⁡nπtLdt=1Lf(t)(cos⁡nπ−cos⁡nπ)+nπLbn=nπLbn \begin{align*} a^{\prime}_{n} &= \dfrac{1}{L}\int _{-L}^{L} f^{\prime}(t)\cos \frac{n\pi t}{L} dt \\ &= \dfrac{1}{L}\left[ f(t)\cos \dfrac{n\pi t}{L} \right]_{-L}^{L} +\dfrac{n\pi}{L}\dfrac{1}{L}\int _{-L}^{L} f(t)\sin \dfrac{n\pi t}{L} dt \\ &= \dfrac{1}{L}f(t)\left( \cos n\pi -\cos n\pi \right) +\dfrac{n\pi}{L}b_{n} \\ &= \dfrac{n\pi}{L}b_{n} \end{align*}

두번째 등호는 부분적분에 의해 성립한다.

bn′=1L∫−LLf′(t)sin⁡nπtLdt=1L[f(t)sin⁡nπtL]−LL−nπL1L∫−LLf(t)cos⁡nπtLdt=1Lf(t)(sin⁡nπ+sin⁡nπ)−nπLan=−nπLan\begin{align*} b^{\prime}_{n} &= \dfrac{1}{L}\int _{-L}^{L} f^{\prime}(t)\sin \dfrac{n\pi t}{L} dt \\ &= \dfrac{1}{L}\left[ f(t)\sin \dfrac{n\pi t}{L} \right]_{-L}^{L} -\dfrac{n\pi}{L}\dfrac{1}{L}\int _{-L}^{L} f(t)\cos \dfrac{n\pi t}{L} dt \\ &= \dfrac{1}{L}f(t)\left( \sin n\pi + \sin n\pi \right) -\dfrac{n\pi}{L}a_{n} \\ &= -\dfrac{n\pi}{L}a_{n} \end{align*}

두번째 등호는 부분적분에 의해 성립한다.

■