フーリェ解析3

　－πからπの範囲で定義された関数[math]f\left( x \right)[/math]は(1-6)式のようにフーリェ級数に展開できる。(1-6）に[math]x[/math]→[math]x[/math]+2π と置き換えてても、右辺の級数に変化はないので、左辺の関数[math]f\left( x \right)[/math]が周期2πを持つ関数なら、 [math]x[/math]の全領域に亘って [math]f\left( x \right)[/math]はフーリェ級数に展開できることになる。それでは任意の周期を持つ関数はどのように級数展開できるだろうか。
周期2Lを持つ関数のフーリェ級数展開
　関数[math]f\left( x \right)[/math]が周期 [math]2L[/math]を持つとすると、[math]f\left( x+2L \right) =f\left( x \right)[/math]である。
ここで、変数変換 [math]x=Lv/\pi [/math]をすると、
[math]f\left( x \right) =f\left( \cfrac { L }{ \pi } v \right) [/math]
であるから、これを [math]v[/math]の関数として[math]g\left( v \right) [/math]とすれば、
[math]g\left( v+2\pi \right) =f\left( \cfrac { L }{ \pi } v+2L \right) =f\left( \cfrac { L }{ \pi } v \right) =g\left( v \right) [/math]
よつて、[math]g\left( v \right) [/math]は周期2πを持つ関数である。
　周期2πを持つ[math]v[/math]の関数[math]g\left( v \right) [/math]フーリェ級数展開し、変数をもとの [math]x[/math]に戻せば、周期[math]2L[/math]を持つ関数 [math]f\left( x \right)[/math]は次のようにフーリェ級数に展開できる。
[math]f\left( x \right) =\cfrac { { a }_{ 0 } }{ 2 } +\sum _{ n=1 }^{ \infty }{ \left( { a }_{ n }\cos { \cfrac { n\pi x }{ L } +{ b }_{ n }\sin { \cfrac { n\pi x }{ L } } } \right) } \quad \quad \quad \left( 3-1 \right) [/math]
　 [math]{ a }_{ 0 }=\cfrac { 1 }{ L } \int _{ -L }^{ L }{ f\left( x \right) dx\quad \quad \quad \quad \left( 3-2 \right) } [/math]
　[math]{ a }_{ n }=\cfrac { 1 }{ L } \int _{ -L }^{ L }{ f\left( x \right) \cos { \cfrac { n\pi x }{ L } } dx\quad \quad \quad \quad \left( 3-3 \right) } [/math]
　[math]{ b }_{ n }=\cfrac { 1 }{ L } \int _{ -L }^{ L }{ f\left( x \right) \sin { \cfrac { n\pi x }{ L } } dx\quad \quad \quad \quad \left( 3-4 \right) } [/math]