📂푸리에해석

푸리에 급수의 상수항은 함수의 한 주기 평균과 같다

정리

주기가 $2L$인 함수 $f$의 푸리에 급수의 상수항은 함수 $f$의 한 주기 평균과 같다.

증명

정의에 의해

$f(t)$의 한 주기 적분은

$$\dfrac{1}{2L}\int_{-L}^{L} f(t)dt$$

이는 푸리에 계수의 정의에 따라 $\dfrac{1}{2}a_{0}$과 같다. 따라서 $f(t)$의 한 주기 적분은 $f(t)$의 푸리에 급수의 상수항과 같다.

■

직접계산

직접 계산을 통해 위 사실을 보일수도 있다.$f(t)$의 푸리에 급수는

$$f(t)=\dfrac{1}{2}a_{0} +\sum\limits_{n=1}^{\infty} \left( a_{n} \cos \frac{n\pi}{L}t + b_{n} \sin \frac{n\pi}{L}t \right)$$

$f(t)$의 한 주기 평균을 구하면

$$\frac{1}{2L}\int_{-L}^{L} f(t) dt= \frac{1}{2L}\int_{-L}^{L} \dfrac{a_{0}}{2} dt+\sum \limits_{n=1}^{\infty} \left( a_{n} \frac{1}{2L}\int_{-L}^{L} \cos \frac{n\pi}{L}t dt + b_{n}\frac{1}{2L}\int_{-L}^{L} \sin \frac{n\pi}{L}tdt \right)$$

삼각함수의 한 주기 평균은 $0$이므로

$$\frac{1}{2L}\int_{-L}^{L} f(t) dt= \frac{1}{2L}\int_{-L}^{L} \dfrac{a_{0}}{2} dt=\dfrac{a_{0}}{2}$$

■