物理を解説 ♪
ツイッター用のシェアボタン フェイスブック用のシェアボタン はてなブックマーク用のシェアボタン ライン用のシェアボタン
ツイッター用のシェアボタン フェイスブック用のシェアボタン はてなブックマーク用のシェアボタン ライン用のシェアボタン

フーリエ変換

フーリエ級数の適用幅を無限に広げると、こうなる。
作成:2013/1/23

さっさと導出

フーリエ級数では一定周期で繰り返すような関数しか再現できないのだった.しかしその周期は好きなだけ広げて使えるのだから実用上はそんなに困ったりはしないだろう.

とは言うものの,どこまでも無限に広げたらどんな公式が出来上がるのかという点については気になる.それを試してみよう.

複素フーリエ級数はこのような形だった. 数式 ここで使われている係数c_nは次のように求めるのだった. 数式 これまでは積分範囲を0≦x≦Lの範囲にして書いてきたが,本当は周期Lと同じ幅になっていればどんな範囲で積分しても良いのだというのはこれまでも言ってきた.今回は積分範囲をプラスとマイナスの両方に向かって広げたいので,準備として-L/2≦x≦L/2という範囲に変更してある.

これらの式でL→∞としてやれば良さそうなのだが,Lが (1) 式と (2) 式のどちらにもあって,別々に眺めていてもよく分からない.ひとまず (1) 式に (2) 式を放り込んで一つの式にしてみよう. 数式 ごちゃごちゃしている.式の見た目をすっきりさせるためにh=2π/Lと置いてみよう.逆に書けばL=2π/hであるからh→0としてやれば目的は果たせることになる. 数式 少しだけ状況が見えてきた.カッコで括っておいた(nh)に注目すると,この式はこんな構造になっている. 数式 ただし,ここで仮に導入した関数Fは次のようなものである.後で使うからメモしておこう. 数式 (3) 式はさらに次のような構造になっている. 数式 ここで導入した関数Gの定義はわざわざ書くまでもないだろう.この式はつまり,関数G(p)の変数pnhというとびとびの幅で変化してゆくわけだが,そのときどきの関数の値に幅hを掛けたものの合計値を出しているわけだ.グラフで言えば,hの多数の短冊の面積の合計である.今我々はその幅hを極限にまで狭めようとしている.それは「積分そのもの」ではないだろうか要するに,こうだ. 数式 この式のG(k)を元の形に書き戻すと次のようになる. 数式 そういえば,(4) 式で定義した関数F(p)の右辺にはまだhが含まれていた.これももうこの段階では極限を取ったものを使うべきであるから,F(k)の定義は次のように変わるべきだろう. 数式 これで出来たあとはこの結果をどのようにまとめるかだ.



色々な流儀がある

複素フーリエ級数の場合には関数f(x),とびとびのnごとに決まる複素数値c_nに変換するのだった.しかし今はそれはなくなってしまい,代わりにF(k)という連続した関数に変換される式が得られることになった.関数f(x)だったものを,別の関数F(k)へと変換する (6) 式のことを「フーリエ変換」と呼ぶ.

あるいは,変換された関数F(k)のことを関数f(x)のフーリエ変換と呼ぶこともある.

さて,その関数F(k)を (5) 式に当てはめてやると,元通りの関数f(x)が再現されるのである.それで (5) 式のことを「フーリエ逆変換」と呼ぶ.

今や (5) 式と (6) 式は非常に対称的な形になった.ただ惜しいのは1/2πという係数が一方にだけ付いていることだ.フーリエ級数の時には1/Lというちょっと邪魔な係数が付いていたのは (2) 式の方だったが,その名残が変形の都合でたまたま (5) 式の側に取り残されただけのことである.

もう一度 (5) 式に (6) 式を代入したものを見つめてみよう. 数式 (5) 式で使っているxと (6) 式で使っているxとが被ってしまうので,仕方なく一方をx'と書く必要があった.本来,この式が成り立っているのであり,フーリエ変換と逆変換はこれを二つの部分に分けて表現してあるわけだ.この1/2πというのは本当はどちらに負わせても良かったことが分かるだろう.それで,対称性を重んじる流儀ではフーリエ変換と逆変換を次のように紹介することもある. 数式 1/2πを仲良く両方に分けたのである.

この係数が先頭に出てくること自体が気に入らないと思うなら,(7) 式においてk=2πsとでも変数変換すれば良いのだ.そうすればdk=2π dsだから係数は消えて,フーリエ変換と逆変換を次のように表せるだろう. 数式 うーん,すっきりしたと言うべきか,かえってややこしくなったというべきか・・・.

これらのどれも正しい.どれを使うかはその時の都合次第である.


フーリエ変換の意味

ここまでの内容は数学的に成り立っていることである.そこに意味を当てはめるのは後でもいいと思ったのだが,気になる人のために少しだけメモしておこう.

例えば,(5),(6) 式,あるいは (8) 式のような流儀の場合.その式の中にはe^{ikx}という形が出てくる.つまりcoskxという波を考えているようなイメージである.

例えばロープが波打つ光景を観察しているとしよう.このロープがx軸にそって続いており,変数xが位置を表しており,f(x)というのがロープが振動するときの見たままの波形を表しているのだとしたら,それをF(k)にフーリエ変換した時の変数kは何を意味しているだろうか.

高校物理では単純な波の形をcos(2π x/λ )のように表すのだった.するとkというのはk=2π/λに相当することになる.物理学ではこのkのことを「波数」と呼び,波長λや振動数fなどと同じように普通によく使う.その意味は「2πメートル中に,波長が幾つ分存在しているか」ということになる.慣れるまでは受け入れにくい概念だが,そのうち細かいことは気にならなくなる.「波長の逆数に係数が付いたものだな」くらいの感覚でいい.

つまりこの場合のフーリエ変換は,座標で表された波の形f(x)を波数で表した関数F(k)に変換しているのである.F(k)というのは,f(x)がどんな波数を持つ波の重ね合わせで構成されているかという分布を表している.

しかし式の応用の仕方によってはこれとは別の意味に解釈出来る場合もある.

例えば,音波や電子回路の中の電気信号をオシロスコープなどで観察している場合には,その波形はf(t)と表される.変数tは時間経過を意味している.こういう状況に当てはめて使うにはフーリエ変換の式を次のように別の記号を使って表しておいた方がイメージしやすい. 数式 x→t,k→ωという書き換えをしただけだ.このe^{iωt}というのはcosωtという波を考えているようなものであり,ωなら高校物理でも使うことがあるだろう.fを振動数だとするとω=2πfであり,ωは「角振動数」あるいは「角周波数」と呼ばれるものである.時間で変動する波f(t)を角振動数ごとに分解したときの分布であるF(ω)に変換していることになる.

このように,フーリエ変換自体は数学的に成り立つ道具であり,使い方次第である.そこには固定した物理的な意味などはないのだ.

では (9) 式の流儀を採用した場合にはどのような解釈ができるだろうかcos(2πsx)という波を想定していることになるのだから,cos(2π x/λ )という高校での表現と比較すると変数s1/λに相当する.物理では1/λよりも先ほど話した「波数」の方をよく使うのでこちらの流儀はあまり便利とは思えない.しかし物理以外の分野ではこちらの方が受け入れやすかったりするだろう.

時間によって変動する波を成分ごとに分解することを考える場合にはこの流儀はさらに受け入れやすい.(9) 式のf(x)の部分をf(t)に置き換えたものを考えることになる.xtに置き換えると,cos(2πst)という形の波を考えていることになる.高校ではcos(2πft)という書き方をよく使っただろう.それと同じ形になっている.つまり (9) 式のsは波の振動数を意味することになる.物理ではあまり使わないが,工学のいくつかの分野ではこの流儀を採用することに利点があるだろう.



スペクトル

このように波f(x)をフーリエ変換してそこに含まれる成分ごとに表した関数F(k)のことを「スペクトル,あるいは「スペクトラム」と呼ぶことがある.前者の方が昔から使われていて広く普及している用語だがフランス語経由であり,後者は英語(spectrum)経由の呼び方である.近頃は学術的な知識を英語を通してやり取りする機会が増えたので,ついつい後者を使う人もよく見かけるようになってきた.

元々,プリズムで七色に分解された光の色彩をニュートンがラテン語由来の用語としてスペクトルムと名付けたのが始まりである.プリズムの七色も光が周波数ごとに分解されたものであり,その概念が他の多くの分野にも拡張使用されているのである.

応用のされかたによって,「周波数スペクトル」や「波長スペクトル」や「波数スペクトル」など,色んな風に呼ばれたりする.フーリエ変換に関係ない場面でも,分布図のことをスペクトルと呼ぶことがあるのであまり固く考えてはいけない.それぞれの分野の伝統に倣って柔軟に受け止めることにしよう.

そう言えば,フーリエ変換に限らず,前回まで話してきたフーリエ級数展開の係数についてもスペクトルと呼んだりするのだった.

フーリエ級数の係数c_nのようにとびとびの分布のものを「離散スペクトル」と呼び,今回のフーリエ変換のように連続的な分布のものを「連続スペクトル」とかいうこともある.


フーリエ変換は複素数である

さて,再び数学としてのフーリエ変換の話に戻ろう.まだ気になる部分が残っている人がいるはずだ.

フーリエ級数の係数c_nと同じように,実はF(k)というのも複素数を返す関数なのである.まぁ,あまり驚くことでもない.フーリエ級数の周期Lを広げて作っただけの話なのだからほぼ同じことが成り立っている.

例えば,f(x)が実数である場合には 数式 という関係が成り立っている.F(k)が複素数であるというのなら応用の場面ではそれをどう解釈したらいいのかと思うかもしれないが,その実数部分だけを見てやればいいのである.

(10) 式の関係が成り立っているということは,実数部分だけを表したグラフは必ず原点を挟んで左右対称,つまり偶関数になるわけだが,そのことには必ずしも物理的な意味があるわけではない.「負の波数とは何なのか」とか,「負の周波数とは」とか,そんな風に悩むことにはあまり意味がない.

イメージが分からなくなったらフーリエ級数に戻って考え直せば,応用として意味のある部分とそうではない部分とが整理できるだろう.

教科書のフーリエ変換の実例を見ると,F(k)が複素関数ではなくちゃんと実数関数として導き出されてくることがある.f(x)が実数で偶関数である場合にはそういうことが起こるだろう.F(k)が本質的に複素関数であることから来る面倒な説明を避けて,さっさとフーリエ変換の意味を図示して読者を納得させたい場合によくやるトリックなので,簡単に騙されないようにしたいものである.

さて,フーリエ変換はf(x)が複素関数であっても成り立っている.その場合には (10) 式のような関係は成り立っていないし,具体的なイメージは困難になる.それでも数学的道具として使う場面は色々とあるのである.



趣味の物理学書店

趣味で量子力学2の広告バナー