フーリエ変換の諸性質

フーリエ変換の諸性質フーリエ変換の性質や公式について有名なものを書き並べておくことにしよう . 少し退屈な話ではあるが , 後回しにする理由もない . ざっと飛ばし読みしておいて , もし必要になることがあればじっくり読み直せばいいだろう . 関数をフーリエ変換したものをのように , カリグラフ書体の F を使って表す . F はフーリエの頭文字である . 同様に関数

フーリエ変換の性質や公式について有名なものを書き並べておくことにしよう . 少し退屈な話ではあるが , 後回しにする理由もない . ざっと飛ばし読みしておいて , もし必要になることがあればじっくり読み直せばいいだろう .

関数をフーリエ変換したものをのように , カリグラフ書体の F を使って表す . F はフーリエの頭文字である . 同様に関数をフーリエ変換したものはと書く . こういう決まりを作っておけばわざわざをフーリエ変換したものをとするだとか , をフーリエ変換したものをとするだとかいう具合に予め決めておく必要もないので記号を節約できるし , 別の利点もある . それはもうすぐ分かるだろう .

フーリエ逆変換についてはという記号を使う . 関数の逆変換は , 関数の逆変換はといった具合に書く . 今回は使わないかも知れない . これらの記法で変数名が指定されていないのが気になるかも知れないが , 付けなくても分かる場合には省略するし , どうしても付けたい場合には , などのように表すことにする . ほら , 付けるとややこしく見えるだろ？うーん , 付いてた方が安心するかもな . そこらへんは , 慣れだ .

一覧

まずは今回紹介する性質を列挙しておこう . ほとんどは試しに計算してみれば簡単に導けるものばかりである . 簡単にコメントを付けておけば十分だろう .

線形性

最も基本的で重要なのはフーリエ変換の線形性だ . 「重ね合わせの原理」とも呼ばれる .

ある関数を定数倍した関数をフーリエ変換するのは , フーリエ変換してから定数倍するのと同じである . また , 二つの関数を足してからフーリエ変換するのは , フーリエ変換してから足し合わせるのと同じである . これらのことを式でひとまとめに表したのが (1) 式である .

少し前に , 「関数はベクトルである」という話をした . そこでは , 例えば微分などは線形写像の一種であるという話もした . そして , フーリエ変換もまた線形写像の一種であるという知識が今回加わったわけだ .

変数の定数倍

をフーリエ変換する時には , を変換した結果であるのをに置き換え , 全体をで割るだけで同じ結果が出せるという公式が (2) 式である .

これは変数変換をするだけで簡単に導ける . の場合には次のようにすればいい . なぜ公式では絶対値の付いたが出てくるかというと , の場合には変数変換したときに積分範囲の正負が反転するからである .

物理的なイメージはこうだ . というのは元のよりも早く変化する波であり , 周波数が高い . それをフーリエ変換すると , 元のではなくになり , 左右に広がった分布になる . 要するに , 成分の分布が高い周波数領域にまで広がったことを意味するわけだ .

時間シフトと周波数シフト

(3) 式と (4) 式の内容は見た目よりはずっと簡単である . 関数をフーリエ変換する時には , を変換した結果であるさえ知っていれば , それにをかけるだけで同じ結果が得られる , というのが (3) 式である .

また , (4) 式は少し見方を変えると分かりやすい . をフーリエ変換した結果がになるとすると , を逆変換したものはになると言っているのである . (3) 式とは対称的な法則だ .

これらの物理的なイメージは専門的な経験がないと少し難しいかも知れない . 工学的には信号処理でよく使うので , を時間によって変化する波形としてとらえ , それをフーリエ変換した関数であるについては波形を周波数成分ごとに分解して表したスペクトルとしてとらえることが多い . だから記号を変えてとで表して話した方がイメージしやすいだろう . それで (3) 式の方を「時間シフトの法則」 , (4) 式を「周波数シフトの法則」と呼んだりする .

まず (3) 式の解釈から行こう . 関数が関数になるということは , 波形が時間的にシフトしていると解釈できる . フーリエ変換というのは波形を正弦波に分解して , それぞれの波の振幅をグラフに表しているようなものだった . つまり , 元の波が時間的にシフトすれば , 全ての正弦波も時間的にシフトして , 結果として位相が変化するわけだが , それぞれの波で周波数が違うのだから同じ時間内でも位相のズレ方に違いが出てくる . 周波数の波が秒だけ待たされれば位相はだけ変化するだろう . を掛ければ , その時の振幅が複素形式で計算できることになる . これを掛けても位相が変化するだけであってスペクトルの振幅の絶対値が変化するわけではないから , ちょっと抽象的なイメージではある .

(4) 式はこれよりはイメージしやすい法則だ . 信号に別の正弦波であるを掛けたものをフーリエ変換すると周波数成分がシフトしているというのだ . この場合のは時間ではなくて正弦波の周波数を意味していることになる . これには良い実例がある . 音声信号であるに , ラジオ周波数である一定の周波数の波を掛け合わせると , AM ラジオの信号になる . 足し合わせるのではなく掛け合わせるという点が大事である . ラジオの基本周波数が例えばで , その信号の形がだとすると , であることから , 音声信号にラジオ周波数を掛け合わせるというのは , にを掛け合わせたものとを掛け合わせたものを足し合わせたことに等しい . つまり音声信号は元の周波数分布からだけシフトした分布を持つ信号となってラジオ電波として運ばれるのである .

微分

以前にフーリエ級数の各係数にを掛けるだけでの微分が表せるというルールを紹介したことがある . フーリエ変換にも同様のルールが存在している .

のフーリエ変換後の関数にを掛けるだけで , それはをフーリエ変換したのと等しいというのである . 証明は部分積分を使えば簡単である . 2 行目の第 1 項がなぜ消えるかというと・・・それはまだ話していなかったな . フーリエ変換が可能であるためにはの形が無限遠で 0 になっていなくてはならないからだ . そうでないとフーリエ変換を求めるときの積分値が無限大になってしまうからである . 詳しくは後の別の記事で話そう .

この (5) 式の法則を繰り返し使えば (6) 式が成り立つことも簡単に分かる . (7) 式は , (5) 式の対称的な法則である . 関数を微分したものを逆変換すると , になるというだけのことである . 証明方法は指数関数のところの符号が違うだけだから何も難しくはない .

フーリエ変換の対称性

私がここで採用している流儀ではフーリエ逆変換は次のように表せるのだった . この式で , もしの符号を変えたら次のようになるだろう . この形はもはやフーリエ逆変換というよりはフーリエ変換に近い . 両辺を倍してやればもっと意味がはっきりする . はをフーリエ変換したものであり , それを再度フーリエ変換するとになるというのだ . もっと簡単に言えば , を 2 回フーリエ変換するとになるということである . この性質は「フーリエ変換の対称性」と呼ばれている .

(9) 式は今使っている流儀の場合だけで成り立つ公式である . フーリエ変換とフーリエ逆変換の形が対称になるようになるような流儀を採用している場合には (9) 式の右辺のが要らなくなる . 見方を変えれば , ある関数をフーリエ変換して出来た関数と逆変換して出来た関数は , 変数の符号が異なるだけだと言えるだろう . それが「フーリエ変換と逆変換の対称性」という表現の真意であろう . 残念ながら今の流儀ではそれほどまでには対称的ではない .

逆変換を 2 回したときにどうなるかについては , 必要になれば読者が自分で確かめることができるだろう .

内積の保存

(10) 式の左辺にあるというのは関数の内積のことであり , 次のような意味であった . 積分範囲は状況によって違うが , ここでは無限の範囲での積分である .

関数をフーリエ変換したものを , 関数をフーリエ変換したものをだとすると , 次の関係が成り立っているというのが (10) 式の意味である . これは次のような計算で示すことができる . もしフーリエ変換と逆変換の形が対称になるようになるような流儀を採用していれば , は消えていただろう . そして「フーリエ変換の前後で内積は保存する」と宣言できたはずだ . 残念ながら今の流儀ではフーリエ変換後に内積の値は倍になる . そういうわけで , (10) 式は今使っている流儀の場合だけで成り立つ公式であることに気を付けよう .

さて , 上の式でとしたなら , 次の式が成り立つはずだ . これはこれまでも出てきている「パーセバルの等式」のフーリエ変換の場合における形である . もしフーリエ変換と逆変換の形が対称になるようになるような流儀を採用していればは必要なくて , 「フーリエ変換の前後でノルムは保存する」と宣言できたことだろう . 違う流儀の教科書ではそのように表現されていたりする .