更新:2024/09/17

フーリエ級数展開の定義・フーリエ係数・例題について

はるか
はるか
フーリエ級数展開って、周期関数を正弦波とかで表す方法だよね。
ふゅか
ふゅか
うん、周期関数を無限和で表すんだよ!例えば、\( f(x) \) みたいな関数を正弦波と余弦波の組み合わせで分解するの。

1. フーリエ級数展開とは

フーリエ級数展開は、周期関数を正弦波と余弦波(または複素指数関数)の無限和として表現する方法です。

周期 \( T \) を持つ関数 \( f(x) \) のフーリエ級数は次の形で表されます。

\[ f(x) = \frac{a_0}{2} + \sum_{n=1}^{\infty} \left( a_n \cos\left(\frac{2\pi nx}{T}\right) + b_n \sin\left(\frac{2\pi nx}{T}\right) \right) \]

ここで、フーリエ係数 \( a_n \) および \( b_n \) は次の式で与えられます。

\[ a_n = \frac{2}{T} \int_{0}^{T} f(x) \cos\left(\frac{2\pi nx}{T}\right) dx \] \[ b_n = \frac{2}{T} \int_{0}^{T} f(x) \sin\left(\frac{2\pi nx}{T}\right) dx \]

フーリエ級数展開ができる条件もありますが、ここでは割愛します。実用上、基本的に大丈夫な関数が使用されます。

1.1. 角周波数ωを使ったフーリエ級数展開の表現

フーリエ級数展開を角周波数 \( \omega \) を使って表すこともよく行われます。角周波数 \( \omega \) は次のように定義されます。

\[ \omega = \frac{2\pi}{T} \]

ここで、\( T \) は関数の周期です。この定義を使うと、フーリエ級数は次のように書けます。

\[ f(t) = \frac{a_0}{2} + \sum_{n=1}^{\infty} \left( a_n \cos(n\omega t) + b_n \sin(n\omega t) \right) \]

この表現では、フーリエ係数 \( a_n \) と \( b_n \) は以下のように計算されます。\[ a_n = \frac{2}{T} \int_{0}^{T} f(t) \cos(n\omega t) dt \]\[ b_n = \frac{2}{T} \int_{0}^{T} f(t) \sin(n\omega t) dt \]

はるか
はるか
信号処理で見たことある。
ふゅか
ふゅか
流儀によって、表記が違うけど中身は同じだよ!

1.2. \( b_0 \)がない理由

正弦関数 \( \sin\left(\frac{2\pi nx}{T}\right) \) の場合、特に \( n = 0 \) とした場合を考えてみます。

\[ \sin\left(\frac{2\pi \cdot 0 \cdot x}{T}\right) = \sin(0) = 0 \]

このように、\( \sin(0) \) は常に 0 であるため、もし \( b_0 \) を導入すると、その項は必ず 0 になります。

1.3. 周期が2πの場合


周期 \( T = 2\pi \) を持つ関数 \( f(x) \) のフーリエ級数は次の形で表されます。

\[ f(x) = \frac{a_0}{2} + \sum_{n=1}^{\infty} \left( a_n \cos(nx) + b_n \sin(nx) \right) \]

ここで、フーリエ係数 \( a_n \) および \( b_n \) は次の式で与えられます。\[ a_n = \frac{1}{\pi} \int_{0}^{2\pi} f(x) \cos(nx) \, dx \]\[ b_n = \frac{1}{\pi} \int_{0}^{2\pi} f(x) \sin(nx) \, dx \]

はるか
はるか
数学の教科書だとこんな感じに書いてあったかも。

2. フーリエ級数展開の例題

2.1. 例題1 区間 \([-π, π]\) で定義された関数 \( f(x) = x \) のフーリエ級数展開

区間 \([-π, π]\) で定義された関数 \( f(x) = x \) をフーリエ級数展開しなさい。

1. \( b_n \)0 の計算

まず、\( a_0 \) を計算します。\( a_0 \) は関数の平均値を表します。

\[ a_0 = \frac{1}{\pi} \int_{-\pi}^{\pi} x \, dx \]

積分を計算すると、

\[ a_0 = \frac{1}{\pi} \left[ \frac{x^2}{2} \right]_{-\pi}^{\pi} = \frac{1}{\pi} \left( \frac{\pi^2}{2} - \frac{\pi^2}{2} \right) = 0 \]

したがって、\( a_0 = 0 \) です。

2. \( a_n \) の計算

次に、余弦項の係数 \( a_n \) を計算します。

\[ a_n = \frac{1}{\pi} \int_{-\pi}^{\pi} x \cos(nx) \, dx \]

これは奇関数と偶関数の積は奇関数であり、区間 \([-π, π]\) における積分は 0 になります。したがって、

\[ a_n = 0 \]

3. \( b_n \) の計算

最後に、正弦項の係数 \( b_n \) を計算します。

\[ b_n = \frac{1}{\pi} \int_{-\pi}^{\pi} x \sin(nx) \, dx \]

この積分を部分積分を用いて計算します。

\[ b_n = \frac{1}{\pi} \left[ -\frac{x \cos(nx)}{n} \right]_{-\pi}^{\pi} + \frac{1}{\pi} \int_{-\pi}^{\pi} \frac{\cos(nx)}{n} \, dx \]

\( \cos(n\pi) \) の積分は0 となり、残る項は次のようになる。

\[ b_n = \frac{2(-1)^{n+1}}{n} \]

4. フーリエ級数の表現

したがって、関数 \( f(x) = x \) のフーリエ級数展開は次のようになります。

\[ f(x) = \sum_{n=1}^{\infty} \frac{2(-1)^{n+1}}{n} \sin(nx) \]

2.2. 例題2 区間 \([-π, π]\) で定義された関数 \( f(x) = \sin x \) のフーリエ級数展開

関数 \( f(x) = \sin(x) \) をフーリエ級数展開しなさい。

フーリエ係数の計算

1. \( a_0 \) の計算

まず、定数項 \( a_0 \) を計算します。

\[ a_0 = \frac{1}{\pi} \int_{-\pi}^{\pi} \sin(x) \, dx \]

\(\sin(x)\) は奇関数であり、区間 \([-π, π]\) での積分は 0 になります。

\[ a_0 = 0 \]

2. \( a_n \) の計算

次に、余弦項の係数 \( a_n \) を計算します。

\[ a_n = \frac{1}{\pi} \int_{-\pi}^{\pi} \sin(x) \cos(nx) \, dx \]

ここでも、\( \sin(x) \) と \( \cos(nx) \) の積は奇関数であり、積分の結果は 0 になります。

\[ a_n = 0 \]

3. \( b_n \) の計算

最後に、正弦項の係数 \( b_n \) を計算します。

\[ b_n = \frac{1}{\pi} \int_{-\pi}^{\pi} \sin(x) \sin(nx) \, dx \]

この積分は、\( n = 1 \) の場合にのみ非ゼロの結果を持ち、それ以外の \( n \) ではゼロになります。

\( n = 1 \) のとき、

\[ b_1 = \frac{1}{\pi} \int_{-\pi}^{\pi} \sin^2(x) \, dx = \frac{1}{\pi} \cdot \frac{\pi}{2} = 1 \]

\( n \neq 1 \) のとき、

\[ b_n = \frac{1}{\pi} \int_{-\pi}^{\pi} \sin(x) \sin(nx) \, dx = 0 \]

したがって、関数 \( f(x) = \sin(x) \) のフーリエ級数展開は次のようになります。

\[ f(x) = \sin(x) \]

ふゅか
ふゅか
次の例題は \( f(x) = \sin(x) \) のフーリエ級数展開ね。これはもっとシンプル!
はるか
はるか
結局はsinとcosを足し合わせたものがフーリエ級数展開だから、\(\sin(x)\) だけでいい。
PR