内積の本質
この記事は 日曜数学 Advent Calendar 2015の 9日目の記事です。(8日目:「3の100乗を19で割ったあまりは?」を4通りの方法で計算する )
フーリエ解析は非常に話題に富む数学のトピックである.そのため様々なフーリエ解析の本が本屋に売られ,またインターネット上にもたくさんの解説が存在している.面白いのは,これらの解説の仕方には多様性があるということである.あるものは実際に高調波を合成して望みの波形に近似させる様子を見せたり,またあるものは最小二乗法の観点からフーリエ解析を述べている.これらフーリエ解析の解説書はまさにその著者のフーリエ解析の理解の仕方を表しているのだろう.
私はというと内積を関数に拡張してフーリエ級数展開を説明するというやり方が好きである.それまで幾何学的な意味しかわからなかったベクトルの内積が関数にも定義され,しかもそれが大いに効果を発揮するというところに内積の本質を感じたからである.今日はフーリエ解析の話と絡めて内積について語ろうと思う.
私が人にフーリエ解析を教えるときは,まず次のような問題を出す:
は何でしょう?
まあただの連立方程式とみなせるので地道にやれば求まるのだが,それがわざわざしたいことではない.注意すべきべきは,右辺のベクトルを順にとしたとき,これらが正規直交系になっていることである.つまり,これら4つのベクトルから異なるもの2つを取ってくると,その内積はとなり,また同じベクトル同士の内積は全て1になっているのである.この性質を利用し,問題の式の両辺にとの内積をとってみると,
となって,(は転置を表す)というふうにが求まる.残りについてもベクトルととの内積をとることで求めることができる.
フーリエ級数展開において各係数を求めるというのも全く同じようなものである.まず問題としては,区間で定義された関数が,
というように書き表せるとき,は何かということである.
先の例でいうに対応するものは定数関数および三角関数となっている.これらに内積的なものがあって正規直交基底的なものになっていればベクトルの場合と同じ方針で解くことができる.さて,「内積的なもの」とは何か.
実は数学でいうと内積は,何か線型空間で定義された実数値あるいは複素数値の2変数関数であって,以下の条件を満たすものと定義される:
1.であって,
2.(線型性)
3.(複素共役)
ベクトルの内積は当然これを満たす.「関数にも内積的なものがあれば」というのは,関数2つに対してある値を定める方法で,これら3条件を満たすようなものがあればいいということである.そこで,関数に対してこういう値への対応を考えてみよう:
すると,これが上の条件1,2,3を満たすことが確認できるだろう.なので,数学的にはもうこれを「内積」と呼んでも構わないのである.
これで関数に内積が定義できた.次に考えるべくは定数関数および三角関数が正規直交系を成しているかである.手始めに定数関数ととの内積を取ってみよう.
とでも同様の結果になる.つまり,この内積でいうと定数関数と三角関数は直交している.次に,三角関数同士の内積であるが,異なる自然数について,
となることが高校程度の数学で確認できる.また,任意の自然数について
となる.つまり,三角関数同士も直交している.では,「正規直交系」の「正規」(ここでいう自身との内積が1)についてはどうだろうか?計算してみると,
となって全然1ではない.だが,正規化は係数をいじくれば何とかなる.定数関数についてはの代わりにを使うことにすれば
となる.ここで,内積の定義を
というふうに書き換えよう.内積の条件はこれでも満たされるのでこれも内積と呼んで問題ない.こうすれば
となって正規化される.
フーリエ級数の問題に戻ると,問題は
のを求めるということであった.上で定数関数としての代わりにを使ったので,として
と書き換えておこう.さて,準備はそろったのであとはベクトルの問題と同様にやればよい.
こうして教科書に載っているフーリエ級数展開の公式が得られる.
以上の流れを見るとむしろ三角関数が現れたことが唐突に思える.この議論で必要だったのは結局いい感じの内積とそれに対応するいい感じの正規直交系である.その正規直交系としてここで三角関数が選ばれた理由は特にない.なので,別の正規直交系を選んでくることも可能であり,例えばルジャンドル多項式系という多項式の系列で同様に級数展開することも可能である.このように一般的な正規直交系を成す関数系を用いた級数展開を一般フーリエ級数展開という.
元はといえば,ベクトルの問題からスタートしたのであった.そしてその内積の本質を3つの条件として抜き出し,他の対象にも応用すると,議論の対象が異なるにもかかわらず同じ方針で問題が解けるようになる.なんと素晴らしい再利用システムであろうか.