複素フーリエ級数
複素フーリエ級数
周期\(2\pi\)の区分的に滑らかな関数\(f\left(x\right)\)を、
\[ f\left(x\right)=\sum_{m=-\infty}^{\infty}c_{m}e^{imx} \] \[ c_{m}=\frac{1}{2\pi}\int_{-\pi}^{\pi}f\left(x\right)e^{-imx}dx \] と表したものを複素フーリエ級数という。
係数\(c_{m}\)を複素フーリエ係数という。
周期\(2\pi\)の区分的に滑らかな関数\(f\left(x\right)\)を、
\[ f\left(x\right)=\sum_{m=-\infty}^{\infty}c_{m}e^{imx} \] \[ c_{m}=\frac{1}{2\pi}\int_{-\pi}^{\pi}f\left(x\right)e^{-imx}dx \] と表したものを複素フーリエ級数という。
係数\(c_{m}\)を複素フーリエ係数という。
周期\(L\)の関数\(f\left(x\right)\)の場合は、
\[ f\left(x\right)=\sum_{m=-\infty}^{\infty}c_{m}e^{i\frac{2\pi}{L}mx} \] \[ c_{m}=\frac{1}{L}\int_{-\frac{L}{2}}^{\frac{L}{2}}f\left(x\right)e^{-i\frac{2\pi}{L}mx}dx \] となる。
また、周期\(L\)の関数\(f\left(x\right)\)は、任意の\(a\in\mathbb{R}\)に対し、
\[ f\left(x\right)=\sum_{m=-\infty}^{\infty}c_{m}e^{i\frac{2\pi}{L}mx} \] \[ c_{m}=\frac{1}{L}\int_{a}^{a+L}f\left(x\right)e^{-i\frac{2\pi}{L}mx}dx \] となる。
\[ f\left(x\right)=\sum_{m=-\infty}^{\infty}c_{m}e^{i\frac{2\pi}{L}mx} \] \[ c_{m}=\frac{1}{L}\int_{-\frac{L}{2}}^{\frac{L}{2}}f\left(x\right)e^{-i\frac{2\pi}{L}mx}dx \] となる。
また、周期\(L\)の関数\(f\left(x\right)\)は、任意の\(a\in\mathbb{R}\)に対し、
\[ f\left(x\right)=\sum_{m=-\infty}^{\infty}c_{m}e^{i\frac{2\pi}{L}mx} \] \[ c_{m}=\frac{1}{L}\int_{a}^{a+L}f\left(x\right)e^{-i\frac{2\pi}{L}mx}dx \] となる。
複素フーリエ級数
\[ f\left(x\right)=\sum_{k=-\infty}^{\infty}c_{m}e^{imx} \] の両辺に\(e^{-im'x}\)をかけて\(x:-\pi\rightarrow\pi\)まで積分すると、
\begin{align*} \int_{-\pi}^{\pi}f\left(x\right)e^{-im'x}dx & =\sum_{m=-\infty}^{\infty}\left(c_{m}\int_{-\pi}^{\pi}e^{imx}e^{-im'x}dx\right)\\ & =\sum_{m=-\infty}^{\infty}\left(c_{m}\int_{-\pi}^{\pi}e^{i\left(m-m'\right)x}dx\right)\\ & =\sum_{m=-\infty}^{\infty}2\pi c_{m}\delta_{m,m'}\\ & =2\pi c_{m'} \end{align*} となるので、
\[ c_{m'}=\frac{1}{2\pi}\int_{-\pi}^{\pi}f\left(x\right)e^{-im'x}dx \] となる。
\[ f\left(x\right)=\sum_{k=-\infty}^{\infty}c_{m}e^{imx} \] の両辺に\(e^{-im'x}\)をかけて\(x:-\pi\rightarrow\pi\)まで積分すると、
\begin{align*} \int_{-\pi}^{\pi}f\left(x\right)e^{-im'x}dx & =\sum_{m=-\infty}^{\infty}\left(c_{m}\int_{-\pi}^{\pi}e^{imx}e^{-im'x}dx\right)\\ & =\sum_{m=-\infty}^{\infty}\left(c_{m}\int_{-\pi}^{\pi}e^{i\left(m-m'\right)x}dx\right)\\ & =\sum_{m=-\infty}^{\infty}2\pi c_{m}\delta_{m,m'}\\ & =2\pi c_{m'} \end{align*} となるので、
\[ c_{m'}=\frac{1}{2\pi}\int_{-\pi}^{\pi}f\left(x\right)e^{-im'x}dx \] となる。
ページ情報
| タイトル | 複素フーリエ級数 |
| URL | https://www.nomuramath.com/brghfo8m/ |
| SNSボタン |
実フーリエ級数
\[
f\left(x\right)=\frac{a_{0}}{2}+\sum_{n=1}^{\infty}\left(a_{n}\cos\left(nx\right)+b_{n}\sin\left(nx\right)\right)
\]
ディリクレの収束定理
\[
F\left(x\right)=\lim_{\epsilon\rightarrow0}\frac{f\left(x+\epsilon\right)+f\left(x-\epsilon\right)}{2}
\]
簡単な関数のフーリエ級数展開
\[
F\left(x\right)=\sum_{k=1}^{\infty}\frac{4}{\pi\left(2k-1\right)}\sin\left(\left(2k-1\right)x\right)
\]
複素フーリエ係数の関係
\[
c_{-n}=\overline{c_{n}}
\]