物理数学：フーリエ級数の基本

驚くべき公式！

まずは 0≦x≦2π の範囲で定義された連続な関数 f(x) を考える.この関数がどんな形をしていようとも三角関数の足し合わせで表現できそうだという驚くべき内容をフランスの学者フーリエが論文中で使い,それが本当なのかどうかを巡って議論が沸き起こったのであった.19 世紀初めのことである. 波長がの sin 波と cos 波,その 1/2 の波長の sin 波と cos 波, 1/3 の波長の sin 波と cos 波,・・・というように,どんどん細かく上下するようになる波を次々と色んな振幅で重ね合わせていくのである.

そんなことで本当に「どんな形でも」表せるのだろうか？

いや,そうはいくまい. sin 波も cos 波も上下に同じだけ振動していて平均すれば 0 なので,そのようなものをどれだけ重ね合わせたとしても平均は 0 だろう.だから平均が 0 になるような形の関数しか表せないことになる.しかしそのような弱点を補うために (1) 式には平均値であるを入れておいた.それならどうだろう？

それが本当であることを実感してもらえるようにウェブアプリを用意してみた.

自由に波形を描いてみて欲しい.どんな形でも最終的にはかなり正確に再現してくれるはずだ.

係数を求める方法

なぜこのようなことが可能なのかという証明は放っておくことにしよう.それよりも (1) 式に出てくる係数 a_n と b_n をどのように決めたら (1) 式が成り立つように出来るのかを説明したい.

その前に,は関数 f(x) の平均値なので次のように計算すれば良いことは分かるはずだ. 係数 a_n や b_n もこれに少し似ていて,次のようにして求めるのである. なぜで割る？で割るのではないの？なぜ sin や cos を掛けて積分する？色んな疑問が出るかも知れないが,徐々に解決してゆこう.

この計算を見ていると,例えば a_n を求めるときには cos(nx) と f(x) を掛けたものを積分している.つまり, 0≦x≦2π の範囲内で f(x) が cos(nx) と似た動きをしていれば結果は大きめに出て,合わない動き方をしていれば,結果は打ち消されて小さめに出てきそうだと想像できる.要するにこれは, f(x) の中から cos(nx) に似た成分がどれだけあるかを抜き出してくる操作なのであろう.そのために 0≦x≦2π の範囲に渡って積分したので,それを平均するためにで割るというのなら何となく意味は繋がる気がするのだが,なぜかだけで割っている.結果を 2 倍せねばならぬ事情がありそうだ. b_n についても同じようなものである.

(2) 式と (3) 式は形式が似ている.(3) 式の a_n の式で n=0 とすれば, cos0=1 であるので積分のところは同じ形になる.すると $a_{0}$ ととは係数が違うだけであり, $c=a_{0}/2$ だと言えそうだ.だから (1) 式を次のように表しておけば (2) 式は不要になるだろう. 意味は分かりにくくなるが,式の数を一つ減らせて,公式を書くためのスペースと手間を節約できるという利点がある.

関数を (1) 式や (1') 式のように無限に続く三角関数の和の形で表したものを「フーリエ級数」と呼ぶ.関数の形によっては有限項で終わる場合もあり,その場合でもフーリエ級数と呼んで構わない.

公式が成り立つ理由

しかし (3) 式で係数が求められるというのはなぜだろうか.この辺りのことを理解するために,次のような公式を知っていると助けになる. ただしとは正の整数であるとする.右辺の $δ_{mn}$ は「クロネッカーのデルタ」というもので,とが等しければ 1 で,それ以外は 0 であることを意味している.この公式は三角関数の積和の公式を使えば簡単に導けるので説明を省略したいところだが, m=n となる場合と m≠n となる場合とで状況が異なることに気付かないと混乱する可能性があるので一つだけ例を示しておこう. この計算は m≠n の場合には問題ないが, m=n では分母が 0 になってしまうところがあって正しくない.実は m=n の場合には積分する前に cos(m-n)x=cos0=1 となっている.そのことに気付けばこの問題は回避できて,違った結果が得られることになるだろう.

(4) 式はとても重要なことに気付かせてくれる. $\{cosx,cos2x,cos3x,…,sinx,sin2x,sin3x,…\}$ という関数は,互いに掛け合わせて積分した時,どの組み合わせを取ってみても 0 にしかならない！ただ自分自身と掛け合わせた時に限ってになるのである！

この知識を利用しよう.(3) 式の右辺には f(x) が入っている. f(x) は (1) 式のように表されるというのを仮定だと考えてやって,これを (3) 式の右辺に代入してやると,その計算結果はどうなるだろうか？(4) 式を利用してやれば,ほとんどの項は消え去ることが分かるだろう.残る項は一つだけであって,その係数部分しか残らない.このようにして (3) 式が正しいことが示されることになる.先ほどの「全体をで割るべきところがで割られているのはなぜか」という疑問はあまり意味がなくて,ただ (4) 式がそういう形になっているから,というだけの事だったようだ.

何か騙されたような気がするかもしれないし,循環論法的に感じるかも知れない.これではどうも説明になっていない感じがする.実際その通りだ.今のところ,関数 f(x) が (1) 式のように表せると仮定すれば,そこで使われている係数は (3) 式のようであるべきだということを説明しただけであって,どんな関数の場合にでも (1) 式のように等式が成り立つという点についてはまだ解決していない.この点については昔の学者たちもすぐには認めることができなかったのである.

本当にこんなものであらゆる関数を表すことができるのだろうか？

周期を変えて公式を作ってみる

ここまでは 0≦x≦2π の範囲だけで考えていたが, sin 関数も cos 関数も周期関数なのでこの範囲外であっても全く同じ振る舞いを何度も繰り返すだけである.(1) 式のように表された関数 f(x) についても周期で同じ動きを繰り返すのである.

ここまでに出てきた公式では全て 0≦x≦2π の範囲で積分していたのだが,一つの周期に渡って積分すれば結果は同じなのだから,例えば -π≦x≦π のような範囲で積分しても同じことである.

しかし周期がに限られているのはどうにも不自由さを感じる.周期を好きに設定できるように公式を改造できないだろうか.例えば (1) 式を次のように変更すれば,周期がで繰り返すようにできそうだ. x=L の時にどうなるかを考えてみれば納得が行くだろう. (2) 式の代わりには次のようなものを計算すればいいだろう. では a_n や b_n はどうなるだろうか？それを探るために,(4) 式に代わるものを計算してみよう.やることは大して変わらないので結果だけ書くことにする. なるほど,先ほどの話と比べてほとんど変更はない.そんなに難しいことを考える必要は無さそうだ.係数 a_n と b_n を次のように決めておけば話が合うだろう. はやはり $c=a_{0}/2$ とすることで (6) 式に吸収できそうである.(5) 式を書き直しておこう. この (5') 式と (6) 式が,周期がになるように拡張したフーリエ級数の公式である.

教科書によっては [-L,L] の範囲で積分してあるものがあるが,その場合,周期はになるので上の公式のをに置き換えれば同じ形になり,話は合うだろう.積分範囲については周期と同じ幅になっていればどう選んだって構わないのである.

フーリエ級数は,積分した範囲の f(x) の形と同じ形を周期で何度も何度も繰り返すような関数を再現してくれることになる.

偶関数と奇関数

sin 関数は奇関数であり, cos 関数は偶関数である.もしどんな関数でもフーリエ級数のように表せるとしたならば,どんな関数でも,偶関数と奇関数に分けて表せるということになる.

まぁ,それについてはフーリエ級数に頼らなくてもいつでも言えることではある. としておけば, g(-x)=-g(x) となるので g(x) は奇関数だし, h(-x)=h(x) となるので h(x) は偶関数だし, なので, f(x) は偶関数と奇関数に分けて表せたことになるからである.

本当に言いたいのはそのことではないのだった. f(x) が偶関数なら cos 関数だけの項で表せるし, f(x) が奇関数なら sin 関数だけの和で表せるだろうということを記憶に留めておいてもらいたいのである. f(x) が偶関数なら全ての b_n は 0 になるし, f(x) が奇関数なら全ての a_n は 0 になる.なぜちゃんとそんなことになるのかを考えるのは読者に任せよう.偶関数と奇関数の積は奇関数になるとか,奇関数と奇関数の積は偶関数になるだとかはちゃんと知ってるだろうか？その辺りを使えばいい.

a_n が全て 0 で sin 関数ばかりの項で出来たフーリエ級数のことを「フーリエ正弦級数」と呼び, b_n が全て 0 で,定数 $a_{0}$ と cos 関数ばかりの項で出来たフーリエ級数のことを「フーリエ余弦級数」と呼ぶ.

基礎知識として知っておけばいいことはだいたいこれくらいだろうと思う.