ウェーブレット変換
ウェーブレット変換は、フーリエ変換のように、時間座標を持つ関数 を基底関数の和で表現する方法です。しかし、フーリエ変換とは異なり、ウェーブレット変換では時間方向に局在した基底関数を用います。それによって、時間領域に応じて変化する関数の振る舞いを解析できます。
フーリエ変換と同様に、連続ウェーブレット変換を離散化すると離散ウェーブレット変換になりますが、離散ウェーブレット変換では、正規直交基底を選ぶことができるほか、周波数に応じて基底展開の「解像度」が上がっていくといった便利な性質を持ちます。それによって、関数 を、振る舞いの周波数に応じて解像度を変えながら分解していく「多重解像度解析」を行うことができます。
そのため、今回は先に離散ウェーブレット変換について説明します。また、ウェーブレット変換は再生核ヒルベルト空間を構成する表現になっているので、その点にも簡単に触れます。
フーリエ変換とウェーブレット変換
フーリエ変換の場合、基底関数は周波数が異なる多数の波でした。基底関数の一つを としたとき、基底関数全体は、 に対して、 に定数項を加えたものです。各基底関数の周波数は です。
フーリエ変換では、基底関数が時間方向に対して一様に広がっているので、各時間領域に応じて振る舞いが変化するような関数の特徴を抽出することが困難でした。 を一定区間ごとに窓関数で区切って、各々でフーリエ変換を行うこともできますが、そうすると窓関数のスケールより小さいスケールの振る舞いは平均化されてしまいますし、窓関数より大きいスケールの振る舞いは分断されてしまいます。
ウェーブレット変換では、基底関数として、 のように、時間に対して一様ではなく、中心付近に局在しているようなものをベースに選びます。そして、基底関数全体を に対して のように取ります。
フーリエ変換の場合と比較して、 方向のシフト量 が追加されています。フーリエ変換では基底関数が一様だったので、時間方向にシフトさせた基底関数を別に考える意味はありませんでした。実際、フーリエ変換における時間方向のシフトは、展開の係数の位相成分にしか現れません。
ウェーブレット変換では基底関数が局在しているので、時間方向のある領域に局在した特徴を捉えることができるようになります。 スケール因子 と時間シフト因子 の組み合わせによって、関数 が持つ様々なスケールと時間領域の振る舞いを解析することができます。
離散ウェーブレット変換
関数 を、整数 でラベル付けた正規直交基底 によって次のように級数展開することを考えます。
基底の正規直交条件は次のように表せます。
基底関数 は、ある関数 を使って次のように構成します。
基底関数系 を生成する元になる関数 は、マザーウェーブレットと呼ばれます。 は正規化係数です。マザーウェーブレットは、直流成分を含まない、次のような条件を満たすべきとされています。その理由は、連続ウェーブレット変換の項目で説明します。
の級数展開の係数 は、式(1)、式(2) より、次のように表すことができます。これが、離散ウェーブレット変換です。
式(1) は、離散ウェーブレット変換に対する逆変換になっています。
マザーウェーブレットの最も簡単な例として、ハール・ウェーブレット があります。
これが式(2) を満たしていることはすぐに分かります。
多重解像度解析
関数 を級数展開するにあたって、先程はマザーウェーブレット を元にして基底関数系を構成しました。これでも級数展開は可能なのですが、マザーウェーブレットは式(4) の条件に拘束されているため、非効率な級数表現になっている可能性があります。また、周波数に対応する値 が大きくなるほどに、解像度が高くなっていく( をより細かく表現できるようになる)べきですが、そのことが明示されていません。そのような性質を持つ表現は、多重解像度表現と呼ばれます。
そこで、上記の に応じて解像度が高くなっていくという条件、すなわち多重解像度表現を満たしつつ、マザーウェーブレットを補助して効率的な表現を得られるような追加の基底関数系を考えます。追加の基底関数系を生成するベースの関数を、ファーザーフェーブレット(またはスケーリング関数)と呼びます。
ファーザーウェーブレット を用いて、マザーウェーブレットの場合と同じように基底関数系を生成します。
正規直交条件もマザーウェーブレットと同じように定義します。さらに、マザーウェーブレットが生成する基底関数系とフェーザーウェーブレットが生成する基底関数系の間にも、正規直交条件を課します。すなわち、
となります。
関数空間と多重解像度表現
多重解像度表現を定義するために、ファーザーウェーブレットによる基底関数系の をある値に固定した場合に表現可能な関数 全体の集合を とします。 は次のように表せます。 は2乗可積分関数全体です。
これから、多重解像度表現は次のように定義できます。
ある に対して、基底 の に関する和で表せる関数は全て、 の和でも表せるということを意味しています。逆は成り立ちません。 が大きくなるほどよりたくさんの関数を表現できて、 が小さくなるとほとんど表現できなくなってしまうということです。その極限として、、 というものも多重解像度表現の条件です。
フェーザーウェーブレットのもう一つの条件は、マザーウェーブレットに関係します。上記と同様に、 を固定した場合にマザーウェーブレットが生成する基底 の張る空間を とするとき、次の関係が成り立つようにします。
ファーザーウェーブレットが張る空間とマザーウェーブレットが張る空間が直交し、その和空間が、一つ上の においてファーザーウェーブレットが張る空間に等しくなります。つまり、マザーウェーブレットは、解像度が一段階変化したときの表現能力の差分とみなせます。式(11) と から、
が成り立ちます。これから、マザーウェーブレットとファーザーウェーブレットを用いた多重解像度表現が得られます。
関数 の概形が で抑えられるので、式(1) のマザーウェーブレットによる級数展開と比べて少数の係数で表現ができ、 の値を大きくするたびに、解像度が高くなっていく表現になっています。
2スケール方程式
最後に、ファーザーウェーブレットを構成する条件をまとめます。 が直交するので、式(8) 等の直交条件が必要です。また、式(10) と式(11) を合わせて次のように書けます。
式(14) は、2スケール方程式と呼ばれます。係数は次の式で決まります。
また、式(11) を満たすためには、例えば のように、 が と の和で表せることが必要です。ハール・ウェーブレット( は式(6) で与えられ、 は、 でのみ値 1 を取り、他では 0 とする)やシャノン・ウェーブレット は、これらの条件を全て満たしています。
連続ウェーブレット変換
連続ウェーブレット変換は、マザーウェーブレット によって、次のように定義します。 の がスケール方向、 が時間方向の成分を表します。
は正規化係数です。マザーウェーブレットが であることによります。逆変換は、下記のようになります。
ただし、
で、 は のフーリエ変換です(変換基底を とした場合の表現)。式(17) の逆変換が存在するためには、 が有限の値を持たなければなりません。このことを、アドミッシブル条件と言います。 自体は2乗可積分なので、アドミッシブル条件は、 とほとんど同じことです。これは、式(4) でみた条件 になっています。
式(17) が連続ウェーブレット変換の逆変換になっていることを確認します。式(16) を式(17) の右辺に代入し、右辺を直接計算した結果が に戻ってくることを見ます。
計算の途中で、フーリエ変換と逆フーリエ変換を何度か行っています。積分の交換をはじめとして、このような式変形ができるのは、フビニの定理によります。従って、積分の中の関数を多変数関数とみたときに、(絶対)可積分である必要があります。
再生核ヒルベルト空間(RKHS)
ヒルベルト空間
再生核ヒルベルト空間は、ヒルベルト空間の一つです。ヒルベルト空間 は、内積が定義された完備距離空間でした。関数空間の場合、 の内積は
で、距離は となります。 距離空間なので、任意のコーシー列が 自身に収束すれば完備です。
再生核ヒルベルト空間の概要
さて、集合 でラベル付けたヒルベルト空間上の線形汎関数 を考えます。 です。 となっています。
この が任意の に対して 上で連続写像になっているとき、 を再生核ヒルベルト空間(RKHS)と呼びます。*1
関数 が近ければ、各点での値 も近くならなければなりません。例えば、ある測度0の点 でだけ で、他の点では となっているような場合は、 は連続写像になっておらず、再生核ヒルベルト空間にはなりません。
再生核ヒルベルト空間では、 は連続線形汎関数になっています。すると、リースの表現定理(後述)より、任意の に対して次の式が成り立つような が、各々の に対してただ一つずつ存在します。
明示的に書き直すと、次のようになります。
が再生核で、カーネル関数とも呼ばれます。 です。`
式(22) から、次のように再生核の一意性を直接確認することもできます。
再生核を とおいて、 として再生核自身 を与えれば、 となりますが、二項目は に等しく、三項目は に等しいので、 となります。
また、式(22) から、任意の に対して なので、カーネル関数 は半正定値を取ることが分かります。
リースの表現定理
再生核ヒルベルト空間の構成に必要な、リースの表現定理を証明します。リースの表現定理は、関数を実数に移す汎関数による写像は、実は特別な一つの関数との内積による写像として表現できることを示しています。これは、汎関数の具体的な表現方法を与える、非常に有用な定理です。*2
リースの表現定理は次のようなものです。簡単のため、実数の空間を考えます。
【リースの表現定理】
【証明】
全ての に対して恒等的に である場合、 とすれば良いです。以下、そうでない場合を考えます。
とします。
で は閉部分空間、 は連続写像なので、 も閉部分空間です。直交分解定理より、 であって、 の全ての元と直交する(内積が0になる)ような が存在します。
ここで、次のような を考えます。
が線形汎関数であることから、 となります。従って、 です。すると、 となっています。
これが0になるので、式(24) の が次の形で得られます。
一意性については、もし なら、全ての に対して が成立します。このような場合、最初の仮定より となります。