리만-르벡 보조 정리

리만-르벡 보조 정리

the riemann lebesgue lemma

정리1

$f \in L^{1}$이라고 하자. 그러면 다음의 식이 성립한다.

$$ \lim \limits_{n \to \pm \infty} \hat{f}(\xi) = 0 $$

증명

step 1에서 계단 함수 $f$에 대해서 증명하고, step 2에서 일반화한다. step 1step 2의 $f$가 같지 않음에 주의하라.

  • case 1

    $f$를 아래와 같은 계단 함수라고 가정하자.

    $$ f(x) = \sum \limits_{j=1}^n c_{j} \chi_{j}(x) $$

    $c_{j}$는 상수이고 $\chi_{j}(x)=\chi_{ [-x_{j}-a_{j} ,\ x_{j}+a_{j}] }(x)$이다. 여기서 $\mathcal{F} \left[ f(x-a) \right] ( \xi ) = e^{-ia\xi}\hat{f}(\xi)$, $\chi_{[-x_{j} - a_{j},\ x_{j} + a_{j}]}(x)=\chi_{[-a_{j} ,\ a_{j}]}(x-x_{j})$, $\mathcal{F} \left[ \chi_{[-a,a]}(x) \right] = \dfrac{2 \sin(a\xi) }{\xi}$임을 이용하면

    $$ \begin{align*} \mathcal{F}\left[ \chi_{[-x_{j}-a_{j} ,\ x_{j}+a_{j}]} (x)\right] (\xi) &= \mathcal{F}\left[ \chi_{ [-a_{j} ,\ a_{j}]} (x-x_{j})\right] (\xi) \\ &= e^{-i\xi x_{j}} \mathcal{F} \left[ \chi_{[-a_{j},\ a_{j}]}(x)\right] (\xi) \\ &= e^{-i\xi x_{j}}\dfrac{2\sin (a_{j}\xi) }{\xi} \end{align*} $$

    따라서 $f$의 푸리에 변환은

    $$ \hat{f} (\xi) = \sum \limits_{j=1}^n2 c_{j}e^{-i\xi x_{j}} \dfrac{ \sin (a_{j} \xi) }{\xi} \rightarrow 0 \quad \mathrm{as}\ \ \xi \rightarrow \pm \infty $$

  • step 2

    $f \in L^{1}$이라 가정하자. 그러면 아래의 식을 만족하는 계단 함수의 수열 $\left\{ f_n \right\}$이 존재한다.

    $$ \int |f_n(x) -f(x)| dx \rightarrow 0 $$

    이를 이용하면

    $$ \begin{align*} \sup \limits_{\xi}| \hat{f_n}(\xi) - \hat{f}(\xi)| &= \sup \limits_{\xi} \left| \int \big( f_n(x)-f(x) \big) e^{-i\xi x} dx \right| \\ &\le \sup \limits_{\xi} \int \left| f_n(x)-f(x) \right| dx \rightarrow 0 \end{align*} $$

    따라서 $\hat{f_n}(\xi)$는 $\hat{f}(\xi)$로 균등수렴한다. 그리고 step 1의 결과로부터 $\hat{f_n}(\xi) \rightarrow 0 \quad \mathrm{as} \ \ \xi \rightarrow \pm \infty$이므로

    $$ \hat{f}(\xi) \rightarrow 0 \quad \mathrm{as} \ \ \xi \rightarrow \pm \infty $$


  1. Gerald B. Folland, Fourier Analysis and Its Applications (1992), p217 ↩︎

댓글