フーリェ級数のための準備
次の三角関数の概形はどうなるかを考えてみよう。
[math]\cos { x }[/math], [math]\cos { 2x }[/math], [math]\cos { 3x }[/math], ・・・
[math]\sin { x }[/math], [math]\sin { 2x }[/math], [math]\sin { 3x }[/math], ・・・
無限個の関数の系；
[math]\cos { 0x }[/math]=1, [math]\cos { x }[/math], [math]\cos { 2x }[/math], [math]\cos { 3x }[/math], ・・・,[math]\cos { nx }[/math], ・・・
[math]\sin { x } [/math], [math]\sin { 2x } [/math], [math]\sin { 3x } [/math],・・・, [math]\sin { nx } [/math], ・・・,
について、次のことが成り立つ。
①関数系から異なる二つの関数を選び、その積を－πからπまで積分すると、その値は０になる。
②関数系から定数１以外の関数を選び、その２乗を－πからπまで積分すると、その値はπになる。
[math]\int _{ -\pi }^{ \pi }{ \cos { nx } dx=\begin{cases} 0\quad \left( n=1,2,3\cdot \cdot \cdot \right) \\ 2\pi \quad \left( n=0 \right) \end{cases} \quad \quad \quad \left( 1-1 \right) } [/math]
[math]\int _{ -\pi }^{ \pi }{ \sin { nx } dx=0\quad \quad \left( n=1,2,3\cdot \cdot \cdot \right) \quad \quad \quad \quad \left( 1-2 \right) } [/math]
[math]\int _{ -\pi }^{ \pi }{ \cos { mx } \sin { nx } dx=0\quad \quad \quad \quad \quad \quad \quad \quad \quad \left( 1-3 \right) } [/math]
[math]\int _{ -\pi }^{ \pi }{ \cos { mx\cos { nxdx=\pi { \delta }_{ m,n } } } \quad \quad \quad \quad \quad \quad \quad \quad \left( 1-4 \right) }[/math]
[math]\int _{ -\pi }^{ \pi }{ \sin { mx } \sin { nx } dx=\pi { \delta }_{ m,n }\quad \quad \quad \quad\quad \quad \quad \quad \left( 1-5 \right) } [/math]
－πからπの範囲で定義された正則な関数[math]f\left( x \right)\quad \quad [/math] が上記の関数系で展開できるとき、すなわち、
[math]f\left( x \right) =\cfrac { { a }_{ 0 } }{ 2 } +{ a }_{ 1 }\cos { x+{ a }_{ 2 } } \cos { 2x+{ a }_{ 3 } } \cos { 3x+\cdot \cdot \cdot } [/math]
[math]+{ b }_{ 1 }\sin { x+{ b }_{ 2 } } \sin { 2x+{ b }_{ 3 } } \sin { 3x+\cdot \cdot \cdot \quad \quad \left( 1-6 \right) } [/math]
と表わすことができるとき、[math]\cos { nx\quad \quad \left( n=0,1,2,3,\cdot \cdot \cdot \cdot \cdot \right) } [/math]および、[math]\sin { nx } \quad \quad \left( n=1,2,3,\cdot \cdot \cdot \cdot \cdot \right)[/math]の関数からなる関数系は完全系であるという。定数と余弦関数および正弦関数からなる上記の関数系が完全系であるという前提のもとに議論を進めることにする。
（1-6）式の両辺を[math]{x}[/math]で、[math]-\pi [/math]から[math]\pi[/math]まで積分すれば、右辺は定数項だけが残るので、
[math]{ a }_{ 0 }=\cfrac { 1 }{ \pi } \int _{ -\pi }^{ \pi }{ f\left( x \right) dx\quad \quad \quad \quad \quad \left( 1-7 \right) } [/math]
と表わされる。次に、（1-6）式の両辺に[math]{ \cos { nx\quad \quad \left( n\neq 0 \right) } }[/math]をかけて積分すれば、右辺は[math] { { a }_{ n } }[/math]の項以外はすべて消えるので、
[math]{ a }_{ n }=\cfrac { 1 }{ \pi } \int _{ -\pi }^{ \pi }{ f\left( x \right) \cos { nxdx\quad \quad \left( n=1,2,3,\cdot \cdot \cdot \right) } } \quad \quad \left( 1-8 \right) [/math]
となる。同様にして、正弦項の係数も
[math]{ b }_{ n }=\cfrac { 1 }{ \pi } \int _{ -\pi }^{ \pi }{ f\left( x \right) \sin { nx } dx\quad } \quad \quad \quad \quad \left( 1-9 \right) [/math]
となる。（1-6）を関数[math]f\left( x \right)[/math]のフーリェ級数展開と呼び、各項の展開係数はそれぞれ、（1-7）（1-8）（1-9）で表わされる。関数[math]f\left( x \right)[/math]が偶関数または奇関数の場合のフーリェ級数展開はもう少し簡単になる。
偶関数のフーリェ級数展開
[math]f\left( x \right)[/math]が偶関数のとき、（1-９）式の右辺の被積分項[math]f\left( x \right) \cos { nx } [/math]は偶関数と奇関数の積であるから奇関数となり、それを－πからπの範囲で積分すれば、整数[math]{n}[/math]に関係なく0となる。よつて、この場合のフーリェ級数は定数項と余弦項だけで表わされる。
[math]f\left( x \right) =\cfrac { { a }_{ 0 } }{ 2 } +\sum _{ n=1 }^{ \infty }{ { a }_{ n } } \cos { nx }[/math] （1-10）
と表わされる。フーリェ係数はそれぞれ
[math]{ a }_{ 0 }=\cfrac { 2 }{ \pi } \int _{ 0 }^{ \pi }{ f\left( x \right) dx } [/math] （1-11）
[math]{ a }_{ n }=\cfrac { 2 }{ \pi } \int _{ 0 }^{ \pi }{ f\left( x \right) \cos { nxdx } } [/math] （1-12）
となる。
奇関数のフーリェ級数展開
奇関数と奇関数の積は偶関数、奇関数と偶関数の積は奇関数だから、この場合は正弦関数だけが残る。
[math]f\left( x \right) =\sum _{ n=1 }^{ \infty }{ { b }_{ n } } \sin { nx } [/math] （1-13）
[math]{ b }_{ n }=\cfrac { 2 }{ \pi } \int _{ 0 }^{ \pi }{ f\left( x \right) \sin { nx } } dx[/math] （1-14）
となる。
例題次の関数[math]f\left( x \right)[/math]を区間[math]-\pi
フーリエ解析1
数学
コメント