フーリエ変換の複数の定義について

September 1, 2024

フーリエ変換の定義

フーリエ変換の定義は、書籍によって微妙に異なっている。

フーリエ変換を扱うときにはどうしても、 $\sqrt{2 π} ≒ 2.5$ の定数倍がついて回るので、それをどこに押し付けるかというので、流儀があるのである。

ここでは(よく使われると思われる)3つの定義について述べる。

この定義は以下のようになる。

$X (ω) = \int_{- \infty}^{\infty} x (t) e^{- i ω t} d t$

この定義では、フーリエ変換の定義式には一切定数が出てこない。そのかわりに他のところ(例えばフーリエ逆変換)に定数を押し付ける。

入力を時間領域の信号とすると、出力は角周波数領域の信号となる。

私は、基本的にはこの流儀を取る。(覚えやすいので)。

この定義は以下のようになる。

$X (f) = \int_{- \infty}^{\infty} x (t) e^{- 2 π i f t} d t$

この定義では、積分の中に定数を含める。

入力を時間領域の信号とすると、出力は(通常の)周波数領域の信号となる。

通信工学などの分野の本ではこの流儀が用いられることがある。

実際、電波や音の周波数に言及するときは、何Hzという言い方をし、何rad/sという角周波数の言い方はしないので、これは自然な表し方のようである。

この定義は以下のようになる。

$X (ω) = \frac{1}{\sqrt{2 π}} \int_{- \infty}^{\infty} x (t) e^{- i ω t} d t$

この定義では、積分の外に定数を含める。

入力を時間領域の信号とすると、出力は角周波数領域の信号となる。

1の定義を定数倍しただけであるが、これにより、フーリエ逆変換とも対称的になる。

数学の本ではこの流儀が用いられることがある。

フーリエ変換の重要な定理に、パーセバルの定理(Parseval’s theorem)がある。

定義1, 2, 3におけるパーセバルの定理は、それぞれ次のようになる。

関数 $x (t)$ , $y (t)$ の定義1, 2, 3におけるフーリエ変換をそれぞれ、 $X_{1} (ω), Y_{1} (ω), X_{2} (f), Y_{2} (f), X_{3} (ω), Y_{3} (ω)$ とする。このとき、

$\int_{- \infty}^{\infty} X_{1} (ω) Y_{1}^{*} (ω) d ω = 2 π \int_{- \infty}^{\infty} x (t) y^{*} (t) d t$

$\int_{- \infty}^{\infty} X_{2} (f) Y_{2}^{*} (f) d f = \int_{- \infty}^{\infty} x (t) y^{*} (t) d t$

$\int_{- \infty}^{\infty} X_{3} (ω) Y_{3}^{*} (ω) d ω = \int_{- \infty}^{\infty} x (t) y^{*} (t) d t$

となる。

定義1の場合にのみ定数がついている。

このことから、定義2, 3の場合、フーリエ変換はユニタリ性を持つが、定義1を採用した場合にはフーリエ変換はユニタリ変換ではなくなるということがわかる。

ユニタリ変換は2つのベクトル空間で長さを保つため便利な性質であるため、この性質を利用した議論を行いたい場合は、定義2, 3を採用するのが良い。