1 離散フーリエ変換
ここでの離散フーリエ変換の説明については、参考文献 [
1]を大いに
参考にした。
数学で学習するフーリエ変換は、連続的な関数を対象にする。しかし実際の測定量、例え
ば電圧などは離散データであることの方が圧倒的に多い。そこで、このような離散的なデー
タを計算機でフーリエ変換することを考える。これを離散フーリエ変換と言い、コンピュー
ターが得意とする分野である。フーリエ変換という名前が付いているが、実際には
フーリエ級数に近い。これからの説明は、フーリエ級数の展開係数を求めたことを思
い出しながら読めば理解しやすいであろう。
フーリエ級数では周期が重要であったが、離散フーリエ変換ではデータの区間がそれ
に対応する。任意の区間については後ほど述べることとし、まずは話
を簡単にするためにそれが
の場合を考える。0〜
秒の間で電圧を測定した
ようなものである。離散フーリエ変換の結果をこの区間を越えて拡張する場合2、区間
と同じ
周期が現れる。
この区間で
個の等間隔でデータが得られた考える。等間隔という
ことは重要で、それを
![$\displaystyle x_j$](img8.png) |
![$\displaystyle =\frac{2\pi}{N}j,\qquad(j=0,\,1,\,2,\,\cdots,\,N-1)$](img9.png) |
(1) |
と表す。一方、従属変数の方は、
![$\displaystyle f_j=f(x_j)$](img10.png) |
(2) |
と表現することにする。実験データでは、
![$ x_j$](img11.png)
は時刻、
![$ f_j$](img12.png)
が電圧というようになる。
オシロスコープやAD変換器を用いてデータを取得したような状況を考えればよい。
ここでは、測定量
の組は
個ある。この
個のデータを操作して、
得られる1次独立なデータ数は最大
個である。このことから、フーリエ係数は
個が限界
であることが分かる。従って、展開の基底も
個となり、それを
![$\displaystyle \left\{1,\,e^{ix},\,e^{2ix},\,e^{3ix},\,\cdots,\,e^{(N-1)ix}\right\}$](img19.png) |
(3) |
のように選ぶ。基底の線形和として、元の関数
![$ f(x)$](img20.png)
は、
として表すことができる。このように三角関数の和で表すことを、フーリエ級数と言うの
である。ここで残された問題は、測定量の
![$ x_j$](img24.png)
と
![$ f_j$](img25.png)
から
![$ c_k$](img26.png)
を決めるにはど
のようにするかである。これは比較的簡単で、
の連立方程式を解けばよろしい。この式の形が分かりにくい。それではもう少
し分かり易く書いてみよう。
![$ x_j$](img30.png)
は既知なので、この
![$ N \times N$](img31.png)
の行列は計算可能である。左辺も既知である。
従って、この連立方程式から、未知数
![$ c_k$](img32.png)
を決めれば良い。ちまたでよく使われる高
速フーリエ変換(First Fourier Transform 略してFFT)は、この
![$ c_k$](img33.png)
を高速に計算して
いる。
「なるほど、連立方程式ならば計算機は得意なので、式(6)を解
けば話は終わり」と思ってしまうかもしれないが、そんなに世の中は甘くない。
位になるとこの式を計算するのにかなりの時間がかかり実用に適さない。実際、FFTを使
いたい場面ではリアルタイム(少なくとも1秒くらい)で計測が終わる必要があるので、計
算の高速化を図らなくてはならない。そこで、計算量を減らすことを考える。
そのために、
を整数、
も整数であるがその範囲は
とした場合の
![$\displaystyle \frac{1}{N}\sum_{j=0}^{N-1}e^{i \ell x_j}= \begin{cases}0 & \ell\neq 0\text{のとき}\\ 1 & \ell=0\text{のとき}\\ \end{cases}$](img38.png) |
(7) |
を使う。この式の計算については、
3.1節を見よ。さて、ここから
が本題で、式(
5)の両辺に
ただし、![$\displaystyle \quad k^\prime=0,1,2,\cdots,N-1$](img40.png) |
(8) |
を乗じて、
![$ j$](img41.png)
について和を取る。すると、
となる。これで、
![$ c_k$](img47.png)
を求める式が得られた。もう少しきれいにまとめると、
である。この式が離散フーリエ変換(DFT)と呼ばれるものである。もう少し分
かりやすく書くと、
である。
以上をまとめると、区間
の場合の離散逆フーリエ変換が式
(4)、離散フーリエ変換が式(10)である。
これまでは区間
![$ [0,\,2\pi]$](img52.png)
での離散フーリエ変換について説明してきたが、これからは
もっと一般的な問題を取り扱うために、区間
![$ [0,\,T]$](img53.png)
について述べる。区間幅
![$ T$](img54.png)
で
![$ [t_0,t_0+T]$](img55.png)
の方がより一般的と考えるかもしれないが、これは
![$ t^\prime=t-t_0$](img56.png)
のよ
うにシフトすれば
![$ [0,\,T]$](img57.png)
となるので同じである。
独立変数を
として、区間でのデータの取得は
とする。展開の基底を、
![$\displaystyle \left\{1,\,e^{i\frac{2\pi}{T}t},\,e^{2i\frac{2\pi}{T}t}, \,e^{3i\frac{2\pi}{T}t},\,\cdots,\,e^{(N-1)i\frac{2\pi}{T}t}\right\}$](img62.png) |
(13) |
のように選ぶ。ここで、
![$ \omega=\frac{2\pi}{T}$](img63.png)
とする。もし、測定間隔が時間の場合、
この
![$ \omega$](img64.png)
は角振動数となる。このようにすると、基底は
![$\displaystyle \left\{1,\,e^{i\omega t},\,e^{2i\omega t}, \,e^{3i\omega t},\,\cdots,\,e^{(N-1)i\omega t}\right\}$](img65.png) |
(14) |
と書き改められる。ここで、
![$ 1$](img66.png)
は直流成分を表し、あとは等間隔に周波数成分が現れる
ことになる。データ点の場所では、直流成分と
![$ N\omega$](img67.png)
は区別がつかないことに注意が
必要である
3。同様に、角振動数が
![$ N\omega$](img71.png)
シフトした
場合も区別が付かない。
基底の線形和として、元の関数
は、
となる。これは、フーリエ逆変換である。今は離散データを問題としているので、
![$ f(\Delta t j)$](img76.png)
を
![$ f_j$](img77.png)
と書くのが良いだろう。すると、離散フーリエ逆変換は
と書き表せる。この
![$ C_n$](img79.png)
を求めれば良いのである。これを前節と全く同じ方法で求める。
![$ \omega t_j=\frac{2\pi}{N}j$](img80.png)
なので前節の
![$ x_j$](img81.png)
と同一である。従って、
![$\displaystyle \frac{1}{N}\sum_{j=0}^{N-1}e^{i \ell \omega t_j}= \begin{cases}0 & \ell\neq 0\text{のとき}\\ 1 & \ell=0\text{のとき}\\ \end{cases}$](img82.png) |
(17) |
である。式(
16)の両辺に
![$ \frac{1}{N}e^{-in^\prime\omega t_j}$](img83.png)
を乗じて、
![$ j$](img84.png)
で和をとると、
となる。従って、この場合の離散フーリエ変換は
![$\displaystyle c_n=\frac{1}{N}\sum_{j=0}^{N-1}f_je^{-in\omega t_j}$](img89.png) |
(19) |
となる。
これまで示した離散フーリエ変換の結果をまとめて、整理しておく。区間
![$ [0,\,2\pi]$](img90.png)
の場合は、
である。区間
![$ [0,\,T]$](img95.png)
の場合は
である。ただし、
![$ \omega=2\pi/T$](img100.png)
である。
データが
の場合の離散フーリエ変換
のプログラムを作成する式を示しておくのが良いだろう。そこで、区間
の
式を
と
を使って、
と書き改める。コンピューターで離散フーリエ変換を計算する場合は、これらの式を計算すべき
である。
![$ c_n$](img109.png)
は
![$ n\omega$](img110.png)
の振幅、
![$ f_j$](img111.png)
は
![$ j\Delta t$](img112.png)
の時の値を表している。
ホームページ:
Yamamoto's laboratory著者:
山本昌志
Yamamoto Masashi
平成19年6月29日