大学の電気科に入ったりすると、フーリエ展開(又はフーリエ級数)とか、フーリエ変換を学びます。
その授業はこのような感じです。

時間で変化する波形はと
に分解して表すことができます。その係数はこの積分で求めることができます。
そうすると、時間領域の波形は周波数領域で解析できます。なので、伝達関数が・・・
全然分かりません。まぁ、卒業できたから、今さらどうでもいいけどね。
フーリエ展開、フーリエ変換は、まさに天からの啓示といった感じでした。訳が分からないまま、例題を何問か解くことにより、肌感覚で覚えるといったシロモノでした。
でも、フーリエさんも人間です。おそらく順を追ってこれらの考えにたどり着いたのだろうと思います。
本記事は、その経過を想像して書いてみました。いわば、吉川英治や司馬遼太郎の歴史小説みたいな試みです。本人に確認を取っていないので、ウソを書いてしまうかもしれません。そこのところは大目に見てやって下さい。
熱伝導方程式
熱伝導方程式って難しそう
フーリエは19世紀の初めころ、熱伝導方程式を研究していました。
熱伝導方程式は、熱容量を、温度を
、時間を
、熱伝導率を
とすると、
と表せます。なんじゃこりゃ。(参考までに、は「ナブラ」、
は「ラプラシアン」と読みます。知らなくても本記事は読めます。僕も分かっちゃいません)
少し簡単にするため、、
として、さらに一次元で表すと、
となります。
だいぶ分かりやすくなりましたか?
少しは分かりやすくなったかもしれませんが、依然として式としてのイメージは湧きませんよね。
トーストの上のハチミツ
僕も良く分かっていません。でも、多分こういうことです。
あなたはトーストの上にハチミツをたらしたことがありますか?
今、幅が決まっているトーストの上にハチミツをたらすこととします。
はじめは、のような形状をしていたハチミツは、時間が経つとトーストの縁からこぼれて、
では平らに近づきますよね?この方程式はそういうことを表しています。
もう少し詳しくお話ししましょう。
図は、t=0におけるプロットの右側部分の拡大です。
今、縦に黒い線を引いた地点のことを考えます。
この地点では、時間と共にハチミツが左から右に流れますよね?
方程式は、時間当たりに流れるハチミツの量が、表面の形状の傾きに関係するということを意味しています。
今、ハチミツの高さを、横方向の位置を
とします。すると、
は傾き(3次元なら
すなわち
(グラジエント、勾配))となり、注目している点では右下がりなので負の値になります。
でも、移動方向として正方向(右)を向かせたいので、負号を付けます。
これをとすると、
になります。
このはハチミツの流れの密度で、3次元で考えればベクトルになります。このベクトルと偏微分ベクトルとの内積を取ると、流れ出す量というスカラになります。ここでは
成分だけ考えることとして、
(3次元なら
すなわち
(ダイバージェンス、発散))となります。一方、(熱伝導方程式の)左辺の
は、ハチミツの高さの時間当たりの変化を示していて、ハチミツが流れ出してしまうと低くなるので負号を付けます。結局、
(1)
となります。
ハチミツ形状の変化を温度分布の時間的変化と考えれば、これはフーリエの思考対象そのものです。
熱伝導方程式の解に三角関数が現れる!
フーリエは、これを解いてみました。
例えば、トーストの大きさをとして、その両端の高さを常に
とします。つまり、境界条件を
とすると、解は、
となります。ただし、は初期条件で決まる定数です。(解き方は後述しますのでご安心ください)
そうなると、ほら、右辺に三角関数が現れているではありませんか。
フーリエは、右辺が三角関数(と減衰項の積)で表すことができたことに気を良くして、波長が1のsin波に波長が1/3のsin波を半分の振幅にして加えてみました。解の線形結合も元の微分方程式の解になりますからね。すると、図のようにちょっと複雑な温度形状を示すことができました。
そこで、フーリエは考え方を発展させて、三角関数を無限に重ね合わせれば、どのようなハチミツの形状も解析できるのではないかと考えました。
すなわち、当初は、時間軸波形を周波数軸に直そうと考えた訳ではなく、空間上の複雑な形状を正弦波の重ね合わせで表そうと考えたのです。
1次元の熱伝導方程式を解いてみる
ではここで、(1)をなる境界条件で解いてみます。
は、
と
に関する微分方程式の解なので、
とおくことができます。これを(1)に代入して偏微分すると、
となります。よって、
のとき
のとき
のとき
となります。これらを場合分けして考えます。
まず、のとき、
の地点で考えると、
であり、なので、
という自明解です。
次に、のとき、
なので、これも
という自明解です。
最後に、のとき、2つの解の線形結合を作ります。すなわち、
(2)
です。変形の途中ではオイラーの公式を使っています。
ここで、境界条件を考えると、
です。これを(2)に代入します。虚数を外しても微分方程式の解となることができるので、結局、
となります。ここで、境界条件を考慮すると、
となります。ただし、は非負の整数です。(負の整数の場合は、絶対値が等しい正の整数のもとで、
の符号を反転させることと等価なので、省くことができます)
フーリエ級数の発見
フーリエ、オイラーの公式と出会う
19世紀の初めころ、フーリエは、1748年に発表されていたオイラーの公式と出会います。オイラーの公式とは、
です。右辺には三角関数が出てきます。
フーリエは、複雑な波形を三角関数の重ね合わせで表そうとする自分の考えと通じるものがあると感じました。
オイラーの式は、マクローリン展開によって、証明されていました。
すなわち、
です。ここで、左辺のを無視し、
の代わりに
を用いることとし、さらに虚数を取り除いて並べ替えれば、
です。
ここで、フーリエは、三角関数の重ね合わせで複雑な波形を表現したかったので、
の重ね合わせで表せると仮定しました。つまり、それぞれの係数を
とすると、
となります。フーリエは、この式がマクローリン展開とほぼ同じであるため、がぜん元気が出てきました。マクローリン展開の式は、
です。
今は、未知の係数として8個しか考えていません(しかもそのうちは役に立っていません)が、
や
の
を
まで拡張したとして、係数を比較すると、
となります。つまり、これらの無限の連立方程式を解けば、や
の値が解けるはずなんです。
でも、そんなことしてたら、一生のうちに、係数を1つとして解くことができません。
フーリエは直交という考え方にたどり着くまで、再び悩むことになりました。
直交とは
そこで、救世主として現れたのが直交という考え方です。
直交にはいろいろな定義ができますが、ここでは、内積が0ということが重要です。
いま、ここに、と
があったとします。
また、余弦定理は自明だとします。すなわち、
です。これを成分で表すと、
よって、成分同士の積の和はベクトルの内積と等しくなります。特に直交している場合は、
です。
この証明方法の良いところは、3次元でも4次元でも同じように証明できるところです。つまり、多次元であっても、成分同士の積の和がなら直交しています。
では、ここで、と
が直交することを近似で示します。
上段はを近似した図であり、左から順に
という値です。下段は
を近似した図であり、左から順に
という値です。
これらをそれぞれ4次元のベクトルとみなし、その内積を取ると、
となります。成分同士の積の和がなので、直交していますね。
一般的なと
直交性は次のようにして調べます。
ほら、直交しています。
え?ちょっと待ってください。この式では、暗黙のうちに、と
という仮定が入っています。それらの仮定が成り立たない場合も大丈夫でしょうか?
そこで、の場合を考えると、積分の中の第1項目が
となって消え、
の場合を考えると、積分の中の第2項目が
となって消えます。結局、積分結果は恒等的に
になります。すなわち、
と
は必ず直交します。
次に、同士の場合の直交性も考えてみます。
ただし、ここではと
を仮定しています。つまり、周期が異なれば直交します。
ところが、すなわち、
の場合は違ってきます。このとき、
となり、値が残ります。
次に、であって、
の場合を考えます。
となります。これは、自分自身を掛け合わせていることと同じなので、当然直交せずに積分値が残ります。積分した結果は、一定値()の場合の半分ということに気を付ける必要があります。
の場合もほぼ同様に計算できます。
と
の場合は上記と同様に積分値は
になります。
すなわち、
の場合は、積分の中が
なので、積分結果は
になります。
であって、
の場合は
の場合とほぼ同様の計算過程をたどり、
となります。
フーリエは、こうして、未知の波形に対して、
または
をかけて、未知の波形の1周期分だけ積分することで、その係数を求めることができるようになりました。すなわち、
の場合は積分値を
倍し、それ以外の
または
の場合は、積分値を
倍すれば係数が求まります。
フーリエ係数の計算
フーリエ級数は、上述の係数を得る手順において、
と置くことで、求めることができます。ここで、は周期です。また、途中の式変形で、
を使います。
まず、
となります。ここで、は単なる定数なので、
と置き換えています。
次に、
です。ここで、は周期
に対する周波数であり、
は
に対する角周波数です。
最後に、
となります。
フーリエ級数
以上のことを清書するとフーリエ級数又はフーリエ展開が得られます。
まず、関数は、
と
の重ね合わせで次のように書くことができます。
ここで、フーリエ係数は次のようになります。
おつかれさまでした。これで、フーリエ級数を導くことに成功しました。
コメント