|
|||||||||||||
|
|||||||||||||
|
周期2πの周期関数f(x) は
a0+∞∑n=1(ancosnx+bnsinnx)
a0=12π∫π−πf(x)dx ・・・・・・(1)
an=1π∫π−πf(x)cosnxdx (n=1,2,3 · · · ) ・・・・・・(2)
bn=1π∫π−πf(x)sinnxdx (n=1,2,3 · · · ) ・・・・・・(3)
のようり三角関数の級数として表される.この級数のことを関数f(x) のフーリエ級数といい,a0, an,bn のことをフーリエ係数という.
関数 f(x) が不連続となる x などでは f(x) の 値とフーリエ級数の値が一致しない場合があるので, f(x) のフーリエ級数を表す場合
f(x)=a0+∞∑n=1(ancosnx+bnsinnx) ・・・・・・(4)
のように「=」を使わず,「~」を使い
f(x)∼a0+∞∑n=1(ancosnx+bnsinnx) ・・・・・・(5)
と表すのが一般的である.
∫π−πf(x)dx=∫π−πa0dx+∞∑n=1∫π−πancosnxdx+∞∑n=1∫π−πbnsinnxdx
∫π−πf(x)dx=a0∫π−πdx+∞∑n=1an∫π−πcosnxdx+∞∑n=1bn∫π−πsinnxdx
ここで
∫π−πdx=[x]π−π=π+π=2π
∫π−πcosnxdx=[1nsinnx]π−π=1nsinnπ−1nsinn(−π)=0−0=0
∫π−πsinnxdx=[−1ncosnx]π−π=−1ncosnπ+1ncosn(−π)=1−1=0
以上より
∫π−πf(x)dx=2πa0
これより,(1)の
a0=12π∫π−πf(x)dx
が得られる.
(4)の両辺にcosmx を掛けてから両辺を [−π,π] で積分する.
∫π−πf(x)cosmxdx
=∫π−πa0cosmxdx+∞∑n=1∫π−πancosnxcosmxdx+∞∑n=1∫π−πbnsinnxcosmxdx
∫π−πf(x)cosmxdx
=a0∫π−πcosmxdx+∞∑n=1an∫π−πcosnxcosmxdx+∞∑n=1bn∫π−πsinnxcosmxdx
ここで
∫π−πcosmxdx=[1msinmx]π−π=1msinmπ−1msinm(−π)=0
∫π−πcosnxcosmxdx の計算は,n≠m のとき, 積和の公式を利用して
n=m のとき,半角の公式を利用して
=∫π−πcos2mxdx=∫π−π12(1+cos2mx)dx=[12(x+12msin2mx)]π−π=π
∫π−πsinnxcosmxdxの計算は,sinnxcosmx が奇間数であることより,0となる.
以上より
∫π−πf(x)cosmxdx=πan
となり,mをn に書き換えて(2)の
an=1π∫π−πf(x)cosnxdx (n=0,1,2,⋅⋅⋅⋅⋅⋅⋅)
が得られる.
(4)の両辺に sinmx を掛けてから両辺を [−π,π] で積分する.
∫π−πf(x)sinmxdx
=∫π−πa0sinmxdx+∞∑n=1∫π−πancosnxsinmxdx+∞∑n=1∫π−πbnsinnxsinmxdx
∫π−πf(x)sinmxdx
=a0∫π−πsinmxdx+∞∑n=1an∫π−πcosnxsinmxdx+∞∑n=1bn∫π−πsinnxsinmxdx
ここで
∫π−πsinmxdx=[−1mcosmx]π−π
=−1mcosmπ+1mcosm(−π)
=1−1=0
∫π−πcosnxsinmxdx の計算は,cosnxsinmx が奇間数より,0となる.
∫π−πsinnxsinmxdx の計算は,n≠mのとき
n=m のとき
=∫π−πsin2mxdx=∫π−π12(1−cos2mx)dx=[12(x−12msin2mx)]π−π=π
以上より
∫π−πf(x)sinmxdx=πbm
となり,mをn に書き換えて(3)の
bn=1π∫π−πf(x)sinnxdx (n=1,2,3,⋅⋅⋅⋅⋅⋅⋅)
が得られる.
ホーム>>カテゴリー分類>>数列>>級数展開>>周期2πのフーリエ級数
最終更新日: 2023年6月29日