フーリエ変換は色々な分野で応用されている便利な道具です。例えば、信号の解析をするためにフーリエ変換の原理を取り込んだFFTアナライザというものが計測関係の企業で使われています。FFTアナライザの中で行われていることはググるとたくさん出てきますので興味のある人はググってみてください。
フーリエ変換はよく時間領域の信号(関数) を周波数領域に移し、逆フーリエ変換は周波数領域の関数 を時間領域の信号に戻すものだと言われ、次のような式で定義されます。
イメージ的にはこんな感じです。
上の図のようにフーリエ変換と逆フーリエ変換を使うことで時間の世界と周波数の世界を行ったり来たりできます。これは、時間の世界では解析が難しそうだったら周波数の世界に行ってみて、そこで簡単なものに変わってたら色々と信号を改良できて、改良したものを時間の世界に持ってこれるということを意味しています。
このようにフーリエ変換は便利そうなのですが、時間の信号の中にはフーリエ変換できないものがあります。この記事は、数学とは集合の性質を写像を通して調べる学問であるということを意識することで、どんな信号がフーリエ変換できるのかということや、数学的にフーリエ変換を観察してみると何が見えるのかということを説明します。
フーリエ変換しても住みかが変わらない関数空間とは?
まず、どのような関数であればフーリエ変換できるのかを考えましょう。ここで、関数 がフーリエ変換できるというのは が発散しないことを意味します。まず
という関数空間の中のすべての要素はフーリエ変換できることに注意しましょう。なぜなら、任意の に対して
が成り立つからです。しかし、フーリエ変換は の要素を へ写すとは限りません。
実際に、次のような例があります。
フーリエ変換しても元の関数空間と同じところに入るような関数の集まりはどのようなものでしょうか?
つまり、どんな関数たちがフーリエ変換ができて、かつ、フーリエ変換後も住みかが変わらないのかということを考えましょう。
フーリエ変換は 上で積分するということから直感的には無限遠での関数 が大きな値を持っているとフーリエ変換できなそうです。この直感を一般化して、すべての導関数が、無限遠において のどんな負の整数ベキ乗よりも速く減衰するような関数の空間 を数学者は考えました。
実は の中に入っている関数をフーリエ変換しても再び の中に入り、また、逆フーリエ変換しても の中に入るということが言えます。
これは関数空間 が実用上大きな集合だったら (よく使う信号をたくさん含んでいたら)嬉しそうです。ところが、下の図のように はそれほど大きな集合ではありません。
ただし、 というのは
と定義されて、色々な場面でよく利用される関数空間です。この の中の関数をフーリエ変換して の中に入ることを保障できないと応用上面倒なことがあります。
の空間がよく使われる理由
の中には と同様にノルムが定義されています。 の との大きな違いは の中には 内積 がつぎのように定義できるということです。
実は、 のノルムはこの内積を用いて
と定義されます。関数(ベクトル)の長さはノルムを使って測れますが、向きは内積を使って測ることができます。よって、 の要素は長さと向きを測ることができます。また、 は完備と言われる任意のコーシー列が収束するという性質を持っています。完備な内積空間をヒルベルト空間と言いますので、 はヒルベルト空間となります。ちなみに、完備なノルム空間をバナッハ空間と言い、 はバナッハ空間となります。ヒルベルト空間ならバナッハ空間なので はバナッハ空間でもあります。
ヒルベルト空間の方がバナッハ空間よりも内積という構造が入っている分、深く研究でき色々な性質が調べられています。この成果を を考えるときには利用できるのです。
フーリエ変換の への拡張
前述の話をまとめると、 の要素は必ずフーリエ変換できるが、フーリエ変換した後は に入るとは限らず、一方で、 の要素をフーリエ変換すると再び の中に入るが は実用上は小さな集合だということでした。
そこで、数学者はどうしたかというと、 で定義されているフーリエ変換を へ拡張することを考えました。
まず、シュワルツ空間 は に含まれていたことに注意しましょう。つまり、 の中の要素たちは の内積を使うことができます。このことに注意すると、時間の世界での内積の値と周波数の世界での内積の値の間には次の関係が成り立つことが分かります。
また、 は の中で稠密です。
プランシュレルの定理と稠密性より 上で定義されたフーリエ変換は 上に拡張できます。
上に拡張したフーリエ変換は次の性質を満たします。
同様に、逆フーリエ変換も 上に拡張されます。こうして、フーリエ変換に対する次のようなイメージを持つことができるようになりました。
周波数の世界を陽に表す
フーリエ変換が として定義できましたが、時間の世界と周波数の世界を両方とも で表現しているので少し分かりにくいです。そこで、周波数の世界を陽に表すために次の空間を定義します。
このとき、時間の世界と周波数の世界の行き来の様子を次のように表現できます。
また、プランシュレルの定理は次のように美しく書けるようになります。
合成積のフーリエ変換
前の記事で確率変数の和を考えると確率密度関数の合成積が出てきて、合成積は確率密度関数の滑らかさを上げるので確率変数の和の確率分布関数はガウス分布ぽくなるという話を書きました。実は、フーリエ変換は時間の世界での和を周波数の世界での和に変えるだけでなく、時間の世界での関数の合成積を周波数の世界での普通の積に変えて計算をかなり簡単にする効果があります。
つまり、フーリエ変換 は代数的な構造を保存し可逆なので同型写像となります。
よって、前の記事で確率変数 が独立で確率密度関数 を持つとすると、 の確率密度関数は
となると書きましたが、フーリエ変換を施して
を解析すればよくなります。中心極限定理を証明するときにこのことを使います。
参考文献
記事を書くときに参考にした文献です。
(1) 全般に渡って参考にした。難しい内容だが丁寧に書いていて分かりやすい。
ヒルベルト空間と量子力学 改訂増補版 (共立講座 21世紀の数学 16)
- 作者: 新井朝雄,木村俊房,飯高茂,西川青季,岡本和夫,楠岡成雄
- 出版社/メーカー: 共立出版
- 発売日: 2014/07/25
- メディア: 単行本
- この商品を含むブログ (1件) を見る
(2) フーリエ変換のイメージをつかむにはとても良い本だと思う。
これなら分かる応用数学教室―最小二乗法からウェーブレットまで
- 作者: 金谷健一
- 出版社/メーカー: 共立出版
- 発売日: 2003/06/01
- メディア: 単行本
- 購入: 17人 クリック: 123回
- この商品を含むブログ (109件) を見る
予告
かなり数学的にフーリエ変換をやったので、次は応用の場面でよく登場するデルタ関数なんかを含む超関数の話とそのフーリエ変換の話をしたいと思います。その次に、前の記事の続きの中心極限定理について書きたいと思います。