함수의 푸리에 급수가 함수로 절대수렴 균등수렴할 충분 조건 📂푸리에해석

함수의 푸리에 급수가 함수로 절대수렴 균등수렴할 충분 조건

sufficient condition that fourier series of f converges to f absolutely and uniformly

정리

$[L, -L)$에서 정의된 함수 $f$가 연속이고, 조각마다 매끄럽다 고 하자. 그러면 $f$의 푸리에 급수는 $f$로 절대수렴, 균등수렴한다.


$f$가 조각마다 매끄러울 때 $f$의 푸리에 급수가 $f$에 점마다 수렴한다. 여기에 조건이 강화되어 $f$의 불연속점이 사라진다면, $f$가 연속이라면 $f$의 푸리에 급수는 $f$로 절대수렴, 균등수렴한다. 증명에는 코시-슈바르츠 부등식바이어슈트라스 M- 정법 이 사용된다.

바이어슈트라스 M-판정법

함수 $f_{n}$ 와 $z \in A$ 에 대해 $|f_{n}(z)| \le M_{n}$ 을 만족하는 양수의 수열 $M_{n}$ 이 존재하고 $\displaystyle \sum_{n=1}^{\infty} M_{n}$ 이 수렴하면 $\displaystyle \sum_{n=1}^{\infty} f_{n}(z)$ 은 절대수렴하고 $A$에서 균등수렴한다.

증명

$f$의 푸리에 급수는 $\sum c_{n}e^{i\frac{n\pi t}{L}}$이므로 이보다 크거나 같은 어떤 $a_{n}$에 대해서 $a_{n} < \infty$인 것을 보일 것이다.


$f$의 푸리에 계수와 도함수의 푸리에 계수의 관계에 의해

$$ c_{n}=\frac{L}{in\pi}c_{n'} \quad n\ne 0 \\ \implies |c_{n}|=|\frac{L}{n\pi} c_{n'}| $$

그리고 베셀 부등식에 의해

$$ \begin{equation} \sum \limits_{n= -\infty}^{\infty} |c_{n'}| \le \dfrac{1}{2L}\int_{-L}^{L}|f^{\prime}(t)|^2dt < \infty \label{eq1} \end{equation} $$

이제 $\sum |c_{n}|$을 $c_{n'}$으로 나타내면

$$ \begin{align*} \sum \limits_{n= -\infty}^{\infty} |c_{n}| &= |c_0| + \sum _{n \ne 0} |c_{n}| \\ &= |c_0| + \sum _{n \ne 0} \left| \dfrac{L}{n\pi}c_{n'} \right| \\ & \le & |c_0| + \left( \sum \limits_{n \ne 0} \dfrac{L^2}{n^2 \pi ^2} \right)^\frac{1}{2} \left( \sum \limits_{n \ne 0} |c_{n'}|^2 \right)^{\frac{1}{2}} \\ &=|c_0| + \left( \dfrac{L^2}{\pi ^2}\sum \limits_{n \ne 0} \dfrac{1}{n^2 } \right)^\frac{1}{2} \left( \sum \limits_{n \ne 0} |c_{n'}|^2 \right)^{\frac{1}{2}} \end{align*} $$

두번째줄은 코시-슈바르츠 부등식에 의해 성립한다. $\sum _{n=1}^{\infty} \frac{1}{n^2}=\frac{\pi^2}{6} <\infty$, 식 $\eqref{eq1}$을 이용하면 마지막줄은

$$ |c_0| + \left( \dfrac{L^2}{\pi ^2}\sum \limits_{n \ne 0} \dfrac{1}{n^2 } \right)^\frac{1}{2} \left( \sum \limits_{n \ne 0} |c_{n'}|^2 \right)^{\frac{1}{2}} < \infty $$

따라서 바이어슈트라스 M-판정법에 의해 $\sum \limits_{-\infty}^{\infty}c_{n}$은 $f$로 절대수렴, 균등수렴한다.

댓글