Fourier展開

Aboutを更新しました。

明確にテーマを限定して書いていこうという主旨です。

一言で言えば:

Fourier展開はLaurent展開の亜種(というかしょうなりいこーる)で、Fourier変換はその係数を求める操作です。周期関数はcosとsinで表示できるという触れ込みですが、範囲を狭めて局所的な表示だけを問題にするなら周期性は落とせます。構成的にはcosとsinでなくとも全平面で解析的な、あるいは問題としてる関数の定義されている集合で解析的な関数によって係数列を作れそうです(対数関数による巾級数など)。

———————————————–

■ フーリエ級数の存在

フーリエ級数論の主張は, ある領域で有理型(有限個の極を除いて解析的)関数がsinとcos, つまり波形の周期関数による級数表示が存在し, かつ一意的なことである.

通常周期関数の周期は最初に与えられているが, 任意の周期ωを持つ関数fが領域Ωで解析的であるという設定のもと, 複素フーリエ展開を考える.

領域Ωの任意点zに対しf(z+ω)=f(z)を満たすから, Ωをωの整数倍平行移動させた領域の上でも解析的で, 特にf(0)=f(n\omega).

故に代表の領域Ωとしては, まず原点を含む単連結領域を取っておけば良い(解析関数の局所写像性質より, 開領域を開領域に写す).

解析関数\zeta(z)=e^{2\pi i z/\omega}によるΩの像は原点を含まない部分複素開領域Ω’であり, これをζ平面と呼ぶことにする.

ζは開円|z/\omega|<1と平行な帯a<{\rm Im}(2\pi z/\omega)<bをそれぞれ円環1/e^{2\pi}<|\zeta|<e^{2\pi}e^{-b}<|\zeta|<e^{-a}に写し, 全平面を原点を除いた平面に写す. 従って原点を含む単連結領域をΩとして取る以上, ζ平面としては原点を含まない円環を考えれば良い.

この状況で領域Ωにおける解析(有理型)関数fに対応し, Ω’平面上の解析(有理型)関数Fが一意的に存在し,

    \[f(z)=F(\zeta)\]

を満たすというのである.

Rendered by QuickLaTeX.com

から見るように, 同様の性質を持つΩ’上の解析関数F_1,\ F_2が与えられ, これらが同じであるためには任意の\zeta\in \Omega'に対し, 条件を満たすzが一意的に定まれば良い. これは\zeta=e^{2\pi i(z+\omega)/\omega}をzについて解いて, \displaystyle{z=\frac{\omega \log\zeta}{2\pi i}+k\omega}\ (k\in \mathbb{Z})を得るので, \log\zetaが一価になるような枝を選んでやれば, ωの整数倍を除いて成立する. 実際任意にとったΩ’上の点ζを中心に, 半径|\omega {\rm arg}\zeta/2\pi|の円の内部をU_\zeta'と書けば, U_\zeta'\cap \Omega'上そのようにとれる. fの周期性からωの整数倍は消えるので, F_1=F_2となる. ■ フーリエ展開の形 上記記号のもと, 必要なら原点を除いた円環Ω’の部分円環Η’とでも言うべきものをとり, この上でFは解析的とする. Cauchyの定理よりΗ’上Fはζの関数として原点を中心にLaurent展開できるから,

    \[F(\zeta) = \sum_{n=-\infty}^\infty c_n \zeta^n = \frac{1}{2\pi i}\sum_{n=-\infty}^\infty \zeta^n \cdot \int_\gamma \frac{F(z)}{z^{n+1}}dz\]

なる表示を得る(\gammaはΗ’内の閉曲線). \zeta=e^{2\pi iz/\omega}で変数変換して,

    \[c_n = \frac{1}{\omega} \int_a^{a+\omega} f(z) e^{-2\pi inz/\omega} dz\]

を得る.

ここでaはΩの任意点で, 道はΩ内でaからa+ωに至る任意の曲線で良い. よく知られるオイラーの公式により,

    \[\begin{array}{lcl} c_n &=& \frac{1}{\omega} \int_a^{a+\omega} (\cos(2\pi nz/\omega)-i\sin(2\pi nz/\omega)) f(z) dz \\&=& \frac{1}{\omega} (-1)^n\int_{a-\omega/2}^{a+\omega/2} (\cos(2\pi nz/\omega)-i\sin(2\pi nz/\omega)) f(z) dz \end{array}\]

である. (複素)Fourier級数は, c_nを係数として次のように定義される.

    \[f(z) = \sum_{n\in \mathbb{Z}} c_n \exp(i2\pi nz/\omega)\]

nが負の項を整理して, n\neq 0なら

    \[\begin{array}{lcl} && c_n \exp(i2\pi nz/\omega) + c_{-n} \exp(-i2\pi nz/\omega) \\ &=& (A-iB)(C+iS) + (A+iB)(C-iS) \\ &=& 2(AC+BC) \end{array}\]

の形であるから, 正確には

    \[\begin{array}{lcl} f(z) &=& \displaystyle{ c_0 + \sum_{n=1}^\infty \cos(2\pi nz/\omega)\cdot \frac{2}{\omega} \int_a^{a+\omega} \cos(2\pi nz/\omega) f(z) dz} \\ &+& \displaystyle{ \sin(2\pi nz/\omega)\cdot \frac{2}{\omega} \int_a^{a+\omega} \sin(2\pi nz/\omega) f(z) dz } \end{array}\]

という表現が得られる.

コメントする