📂フーリエ解析

導関数のフーリエ係数

式

区間 $[-L,\ L)$で定義された関数$f$が連続で、部分的に滑らかであるとしよう。すると$f^{\prime}$のフーリエ係数は次の通りである。

$$ a^{\prime}_{n}=\dfrac{n\pi}{L}b_{n} $$

$$ b^{\prime}_{n}=-\dfrac{n\pi}{L}a_{n} $$

$$ c^{\prime}_{n}=\dfrac{in\pi}{L}c_{n} $$ この時、$a_{n},\ b_{n}$は$f$のフーリエ係数、$c_{n}$は$f$の複素フーリエ係数である。

証明

$$ \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*} $$

二番目の等号は部分積分によって成立する。

$$ \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*} $$

二番目の等号は部分積分によって成立する。

$$\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*} $$

二番目の等号は部分積分によって成立する。

■