毎度のことですが、まず、フーリエ級数を、下に書いておきました。
a0
f(x)=----+a1cos(x)+b1sin(x)+a2cos(2x)+b2sin(2x)+........+ancos(nx)+bnsin(nx)+........
2
π 1 π
∫f(x)dx=π・a0 ∴a0=----∫f(x)dx
−π π −π
π 1 π
∫f(x)cos(nx)dx=π・an ∴an=----∫f(x)cos(nx)dx
−π π −π
π 1 π
∫f(x)sin(nx)dx=π・bn ∴bn=----∫f(x)sin(nx)dx
−π π −π
オイラーの公式(下)をつかって、フーリエ級数を変形していきます。下準備に、いくつか、関係式を求めておきます。
e^(ix)=cosx+isinx
e^(−ix)=e^{i(−x)}=cos(−x)+isin(−x)=cosx−isinx
e^(ix)+e^(−ix) e^(ix)−e^(−ix)
---------------=cosx, ----------------=sinx
2 2i
フーリエ級数の一般項を変形していきます。
e^(inx)+e^(−inx) e^(inx)−e^(−inx)
ancos(nx)+bnsin(nx)=an------------------+bn------------------
2 2i
e^(inx)+e^(−inx) e^(inx)−e^(−inx)
=an------------------−ibn------------------
2 2
an−ibn an+ibn
=--------e^(inx)+--------e^(−inx)
2 2
複素フーリエ級数の係数を、次のように決めると、
an−ibn an+ibn a0
cn=-------- (nが正の場合), cn=-------- (nが負の場合), c0=----
2 2 2
複素フーリエ級数は、次のようになりました。
∞
f(x)= 狽モ獅^(inx)
n=−∞
確かに、cn、は、こう決めていいのか、確認のために計算してみると、普通のフーリエ級数の係数は、次のようになりますから、
1 π 1 π
an=----∫f(x)cos(nx)dx, bn=----∫f(x)sin(nx)dx
π −π π −π
n、が正の場合は、当然、
an−ibn 1 π 1 π
cn=--------=----∫f(x){cos(nx)−isin(nx)}dx=----∫f(x)e^(−nx)dx
2 2π −π 2π −π
n、が負の場合は、
an+ibn 1 π 1 π
cn=--------=----∫f(x){cos(nx)+isin(nx)}dx=----∫f(x)e^(nx)dx
2 2π −π 2π −π
たしかに、これは、n、が正の場合の、n、を、−n、に置き換えたものですし、n=0、の場合は、b0、は存在しませんが、あるとして計算してみると、
a0−ib0 1 π 1 π
c0=--------=----∫f(x){cos(0x)−isin(0x)}dx=----∫f(x)dx
2 2π −π 2π −π
となり、複素フーリエ級数の、係数の決め方が、理にかなっている事がわかります。複素フーリエ級数と、その係数を、整理して、書いておきました。
∞
f(x)= 狽モ獅^(inx) (nは整数)
n=−∞
1 π
cn=----∫f(x)e^(−nx)dx
2π −π
複素フーリエ級数は、単に、フーリエ級数を、複素数をつかって、書き換えたに過ぎませんが、さらに、フーリエ変換を考えるときに、威力を発揮します。