ウェーブレット

テンプレート:Expand English ウェーブレット（テンプレート:Lang-en-short）やマザーウェーブレット（テンプレート:Lang-en-short）とは、数学において、局在する波、つまり、有限の長さの波もしくは速やかに減衰する波の事。ファーザーウェーブレット（テンプレート:Lang-en-short）とは、多重解像度解析にて使われる、マザーウェーブレット関数とセットで使われるスケーリング関数の事。waveletはwave（波）とlet（小さい）の合成語である。

ウェーブレット変換・ウェーブレット解析とは、ウェーブレットを用いて変換・解析する事。信号表現は入力信号に合致するようなウェーブレット波形の拡大縮小（スケーリング）・平行移動（シフト）により行われる。より正確には、この信号表現はウェーブレット系列と呼ばれ、これは2乗可積分関数のヒルベルト空間における完全正規直交系の基底関数集合（正規直交基底）を用いた線形基底展開である。

歴史

ウェーブレットの発展は、20世紀初頭のハンガリー人数学者ハール・アルフレッドによるいくつかの断片的な考察に基づく。ガーボル・デーネシュによるその後の研究でテンプレート:仮リンクが得られた。ガボール・アトムはウェーブレットと似た形で構成され、似た目的に応用された。ウェーブレット理論への大きな貢献のひとつは、1975年のジョージ・ツワイクによるテンプレート:仮リンク（初期には cochlear 変換と呼ばれていて、耳の音に対する反応を研究していたときに発見された。） ^[1] の発見である。

ウェーブレットの概念は、1975年にエルフで石油探査をしていたフランス人地球物理学者テンプレート:仮リンクが発見した。1981年、モーレーはクロアチア系フランス人物理学者テンプレート:仮リンクとの共同研究からテンプレート:仮リンクの定式化（Goupillaud）を行なった。彼らはフランス語で"小さい波"を意味するテンプレート:Langという言葉を用いていたが、少し後に英語に翻訳された際に"onde"は"wave"と訳されてウェーブレット(テンプレート:Lang)という用語が誕生した。

その後のウェーブレット理論における大きな貢献には、Strombergによる離散ウェーブレット変換における初期研究(1983年)、イングリッド・ドブシーによるコンパクト台を持つ直交ウェーブレット(1988年)、Mallatによる多重解像度解析に関する提案(1989年)、Delpratによる連続ウェーブレット変換における時間-周波数変換(1991年)、Newlandによるテンプレート:仮リンクなど、枚挙にいとまがない。

年表

1909年: 最初のウェーブレット (Haarによるハールウェーブレット)
1950年代以降: Jean Morlet , Alex Grossman
1980年代以降: Yves Meyer, Stephane Mallat, Ingrid Daubechies, Ronald Coifman, Victor Wickerhauser

ウェーブレット理論のアウトライン

ウェーブレット理論は、いくつかの異なる目的で応用される。全てのウェーブレット変換は、テンプレート:仮リンクであると考えられるが、調和解析とも関係がある。

ウェーブレット変換は、大きくテンプレート:仮リンク(CWT)と離散ウェーブレット変換(DWT)に分類される。これらの違いは、連続ウェーブレット変換では可能な全てのスケールとシフトが用いられるのに対して、離散ウェーブレット変換では一部分のみが使われることにある。

テンプレート:仮リンクは、ハイゼンベルクの不確定性原理に支配されている。同様に、離散ウェーブレットにおいても不確定性原理は考慮されなければならない。

多くの場合に有用である離散ウェーブレット変換は、有限インパルス応答(FIR)フィルタで構成されるフィルタバンクである。

ウェーブレット変換は３つに分類されることが多い。テンプレート:仮リンク、離散ウェーブレット変換、多重解像度解析(MRA)による離散ウェーブレット変換である。以下、この３つについて解説する。

連続ウェーブレット変換

テンプレート:仮リンクにおいては、有限なエネルギーを持った信号は、連続な周波数バンドの群（もしくは $L^{2} (ℝ)$ 関数空間の一部) として投影される。得られた周波数成分は、適切な積分によって元の信号を再構成することができる。

部分空間の群は、スケール1の部分空間を拡大縮小（スケール）して生成されたものである。この部分空間は、１つの関数すなわちマザーウェーブレット $ψ \in L^{2} (ℝ)$ をシフトすることによって生成される。一般的なマザーウェーブレットの例は以下のとおりである。

スケールaの部分空間は、以下の式で生成される。(これはベビーウェーブレットと呼ばれることがあるがあまり一般的ではない)

ψ_{a, b} (t) = \frac{1}{\sqrt{a}} ψ (\frac{t - b}{a})

ただし、aは正の実数でありスケールを決定する。bは任意の実数でありシフトを決定する。(a,b)のペアは、 $ℝ_{+} \times ℝ$ の上半面において定義される。

関数xをスケールaの部分空間へ投影すると、以下の式で示される。

x_{a} (t) = \int_{ℝ} W T_{ϕ} {x} (a, b) \cdot ψ_{a, b} (t) d b

但し、WTはウェーブレット係数である。

W T_{ϕ} {x} (a, b) = ⟨ x, ψ_{a, b} ⟩ = \int_{ℝ} x (t) \overline{ψ_{a, b} (t)} d t

.

信号xの解析のためには、ウェーブレット係数をテンプレート:仮リンクにする。

離散ウェーブレット変換

テンプレート:Main 全てのウェーブレット係数を使って信号を解析することは実用上不可能である。信号を対応するウェーブレット係数から再構成することは，上半面の離散部分集合さえ取り出せば十分可能だと思うだろう。その一つとして実数パラメータa>1，b>0によるアフィン系がある。対応する半面の離散部分集合は，全ての点 $(a^{m}, n a^{m} b)$ を含む（ $m, n \in ℤ$ ）。対応するベビーウェーブレットは以下で与えられる。

ψ_{m, n} (t) = a^{- m / 2} ψ (a^{- m} t - n b)

.

式

x (t) = \sum_{m \in ℤ} \sum_{n \in ℤ} ⟨ x, ψ_{m, n} ⟩ \cdot ψ_{m, n} (t)

による有限エネルギーを持つ任意の信号xの再構成のための十分条件は，関数群 ${ψ_{m, n} : m, n \in ℤ}$ が $L^{2} (ℝ)$ のテンプレート:仮リンクを形作ることである。

多重解像度解析による離散ウェーブレット変換

テンプレート:Main

各種あるウェーブレット変換の離散化の全ての方法において、上半面上の各有界矩形領域は有限個の係数のみを持つ。しかし、各係数を求めるためには積分の評価が必要となる。このような数値的な複雑さを避けるために、スケーリング関数（ファーザーウェーブレット）と呼ばれる補助関数 $ϕ \in L^{2} (ℝ)$ が利用される。このとき a は整数でなければならない。例えば典型的な係数として a=2、b=1 が用いられる。最も有名なファーザー・マザーウェーブレットの組としてドブシーの4タップウェーブレットがある。

マザー・ファーザーそれぞれのウェーブレットから部分空間

V_{m} = span (ϕ_{m, n} : n \in ℤ)

, where

ϕ_{m, n} (t) = 2^{- m / 2} ϕ (2^{- m} t - n)

と

W_{m} = span (ψ_{m, n} : n \in ℤ)

, where

ψ_{m, n} (t) = 2^{- m / 2} ψ (2^{- m} t - n)

.

が構成される。これらより、系列

{0} \subset \dots \subset V_{1} \subset V_{0} \subset V_{- 1} \subset \dots \subset L^{2} (ℝ)

は $L^{2} (ℝ)$ の多重解像度解析を形成することになり、また部分空間 $\dots, W_{1}, W_{0}, W_{- 1}, \dots \dots$ は上の系列の直交する差分、つまり $W_{m}$ は $V_{m - 1}$ 中にある $V_{m}$ の直交補空間となる。サンプリング定理と同様に、sampling distance $2^{m}$ の空間 $V_{m}$ は 0 から $2^{- m - 1}$ の周波数帯域をほぼカバーすることになる。また $W_{m}$ は直交補空間として帯域 $[2^{- m - 1}, 2^{- m}]$ を大まかにカバーする。

このような包含と直交の関係より，2組の恒等式

h_{n} = ⟨ ϕ_{0, 0}, ϕ_{1, n} ⟩

ϕ (t) = \sqrt{2} \sum_{n \in ℤ} h_{n} ϕ (2 t - n)

と

g_{n} = ⟨ ψ_{0, 0}, ϕ_{1, n} ⟩

ψ (t) = \sqrt{2} \sum_{n \in ℤ} g_{n} ϕ (2 t - n)

を満たす系列 $h = {h_{n}}_{n \in ℤ}$ と $g = {g_{n}}_{n \in ℤ}$ が存在することになる。

2番目の恒等式はファーザーウェーブレット $ϕ$ のテンプレート:仮リンクと呼ばれる。これらの恒等関係はテンプレート:仮リンクアルゴリズムの土台となっている。

マザーウェーブレット

実応用での効率性を考えると、マザー（プロトタイプ）ウェーブレット（関数）はコンパクトサポートの連続微分可能関数であることが望ましい。しかし、（連続ウェーブレット変換における）解析的であることの要求と、理論的な理由から、一般的にウェーブレット関数は空間 $L^{1} (ℝ) \cap L^{2} (ℝ)$ の部分空間から選ばれる。これは絶対値積分可能かつ2乗積分可能な可測関数の空間である。

\int_{- \infty}^{\infty} | ψ (t) | d t < \infty

and

\int_{- \infty}^{\infty} | ψ (t) |^{2} d t < \infty

.

この関数空間では必ずゼロ平均と二乗ノルムの条件が定式化できる。

\int_{- \infty}^{\infty} ψ (t) d t = 0

（ゼロ平均の条件）

\int_{- \infty}^{\infty} | ψ (t) |^{2} d t = 1

（二乗ノルム正規の条件）

$ψ$ がテンプレート:仮リンク（正確な議論はリンク先参照）のウェーブレットであるためには、マザーウェーブレットは安定な逆変換を持つための許容性の規範（簡単に言うとこれは半微分可能性のようなもの）を満たさなければならない。

離散ウェーブレット変換における最低限満たさなければならない条件として、ウェーブレット系列はLp空間 $L^{2} (ℝ)$ 中の単位元でなければならない。離散ウェーブレット変換のほとんどの構成は多重解像度解析を用いており、この場合ウェーブレットはスケール関数により決定される。このスケール関数自体が汎関数方程式である。

多くの場合において $ψ$ をvanishing moments を表すより大きい数字 M の連続関数、つまり全ての整数 m<M について以下の式を満たす関数に限定することは有用である。

\int_{- \infty}^{\infty} t^{m} ψ (t) d t = 0

マザーウェーブレットは、 $a$ の因数による拡大縮小（スケール）と、 $b$ の因数による平行移動（シフト）により、（Morlet によるオリジナルの定式化のように）以下のように与えられる。

ψ_{a, b} (t) = \frac{1}{\sqrt{a}} ψ (\frac{t - b}{a})

.

連続ウェーブレット変換では、(a,b) のペアは全半平面 $ℝ_{+} \times = R$ 上で変化する。また離散ウェーブレット変換では、このペアは、affine群とも呼ばれる離散部分集合上で変化する。

これらの関数はたびたび（連続）変換の基底関数という誤った捉え方をされる。事実、連続フーリエ変換にあるような基底は、連続ウェーブレット変換にはみあたらない。時間周波数解釈では少し違う定式化が使用される（Delpratによる）。

フーリエ変換との比較

ウェーブレット変換は、三角関数の級数表現のフーリエ変換としばしば比較される。主な違いは、ウェーブレット変換は時間と周波数の両方の成分を局在化するが、標準的なフーリエ変換は周波数成分だけを局在化することである。短時間フーリエ変換も時間と周波数の両方を局在化できるが、時間周波数分解能に問題がある。一方、ウェーブレット変換ではしばしば多重解像度解析という、より良い表現が用いられる。

また、離散ウェーブレット変換の計算量はO(N)であり、高速フーリエ変換のO(N log N)に比べて小さい(ここで、Nはデータの大きさである)。

ウェーブレット関数の定義方法

ウェーブレット（およびウェーブレット族）の定義の仕方には様々な方法がある。

スケーリングフィルター

ウェーブレットはもっぱらスケーリングフィルタ g により定義される。これは長さ 2N で和が 1 となる有限インパルス応答(FIR) の低域通過フィルタである。双直交ウェーブレットでは、分解と再合成のフィルタが別々に決定される。

分析では、高域通過フィルタは低域通過フィルタの QMF として計算され、再合成フィルタは分解フィルタの時間反転である。

例えば、テンプレート:仮リンクとテンプレート:仮リンクは、スケーリングフィルタで定義することができる。

スケーリング関数

ウェーブレットは、ウェーブレット関数 $ψ (t)$ (マザーウェーブレット)とスケーリング関数 $ϕ (t)$ (ファーザーウェーブレット)から定義される。

実際のところウェーブレット関数は帯域通過フィルターであり、それぞれの水準の半分の帯域幅でスケールされている。これによって、全てのスペクトルを扱うために無限の水準が必要となる問題が生じる。スケーリング関数を用いれば、最低限の水準で全てのスペクトルを扱うことができる。詳細な説明は[1]にある。

コンパクトサポートをもつウェーブレットでは、 $ϕ (t)$ は有限長であり、スケーリングフィルターgと同等である。

例えば、Meyerウェーブレットは、スケーリング関数で定義することができる。

ウェーブレット関数

ウェーブレットはウェーブレット関数 $ψ (t)$ のような時間領域表現をただ一つ持つ。

例えば、Mexican hat waveletは、ウェーブレット関数で定義することができる。いくつかのテンプレート:仮リンクのリストを参照。

応用

大まかに、離散ウェーブレット変換はデータ圧縮に使われる一方で、連続ウェーブレット変換は信号解析に使われる。その結果として、離散ウェーブレット変換は工学と計算機科学において一般的に使われ、連続ウェーブレット変換は科学研究においてもっともよく使われている。ウェーブレット変換は、現在非常に多くの様々な用途に、しばしば従来のフーリエ変換を置き換えて使用されている。分子動力学、第一原理計算、宇宙物理学、密度行列局在、地震地球物理学、光学、乱流そして量子力学を含む、物理学の多くの分野でこのパラダイムシフトが起こった。この変化が起こった他の分野は画像処理、血圧、心拍やECGの解析、DNA解析、タンパク質解析、気候学、一般的な信号処理、音声認識、コンピュータグラフィックスそしてテンプレート:仮リンクである。コンピュータビジョンや画像処理において、テンプレート:仮リンク表現やガウス微分オペレータの概念は正規化された多重解像度表現の一つであると考えられている。

JPEG 2000

ウェーブレットはデータ圧縮の分野でも用いられる。デジタル信号処理における他の時間-周波数変換と同様、ウェーブレット変換は(たとえば画像などの)圧縮されていないデータに対し適用でき、その後圧縮処理がなされることで、結果として効果的なデータ圧縮を実現できる。JPEG 2000はウェーブレットを利用した画像形式の一つである。ウェーブレットを利用したデータ圧縮についてはウェーブレット圧縮を参照されたい。

JPEG 2000で使われているウェーブレットは双直交ウェーブレットであり、ウェーブレット系列の座標は異なる2つの基底関数集合を用いて計算されるため、注意を要する。

様々なウェーブレット変換

異なる用途に応じて、多くのウェーブレット変換が存在する。以下にその一例を列挙するが、すべてのウェーブレット変換についてのリストはテンプレート:仮リンクを参照されたい。

ウェーブレット一覧

離散ウェーブレット

Beylkin (18)
Coiflet (6, 12, 18, 24, 30)
テンプレート:仮リンク (2, 4, 6, 8, 10, 12, 14, 16, 18, 20)
テンプレート:仮リンク (CDF N/PまたはDaubechies双直交ウェーブレットとして参照されることがある)
ハールウェーブレット
テンプレート:仮リンク

連続ウェーブレット

脚注

テンプレート:脚注ヘルプテンプレート:Reflist

参考文献

テンプレート:参照方法

英文参考図書

Paul S. Addison, The Illustrated Wavelet Transform Handbook, Institute of Physics, 2002, ISBN 0-7503-0692-0
Ingrid Daubechies, Ten Lectures on Wavelets, Society for Industrial and Applied Mathematics, 1992, ISBN 0-89871-274-2
P. P. Vaidyanathan, Multirate Systems and Filter Banks, Prentice Hall, 1993, ISBN 0-13-605718-7
Mladen Victor Wickerhauser, Adapted Wavelet Analysis From Theory to Software, A K Peters Ltd, 1994, ISBN 1-56881-041-5
Gerald Kaiser, A Friendly Guide to Wavelets, Birkhauser, 1994, ISBN 0-8176-3711-7

日本語参考図書

チャールズ K.チュウイ、桜井明（訳）、新井勉（訳）：「ウェーブレット入門」、東京電機大学出版局、ISBN 4-501-52060-4（1993年5月20日）。
榊原進：「ウェーブレットビギナーズガイド」、東京電機大学出版局、ISBN 4-501-52270-4（1995年5月20日）。
J.J.ベネディット（著）、M.W.フレージャー（著）、山口昌哉（訳）、山田道夫（訳）「ウェ－ブレット：理論と応用」、シュプリンガー・フェアラーウ東京、ISBN 4-431-70681-X (1995年12月12日)。
齋藤兆古：「Mathematicaによるウェーブレット変換」、朝倉書店、ISBN 4-254-22139-8 (1996年9月5日)。FD付き。
芦野隆一、山本鎮男：「ウェーブレット解析 - 誕生・発展・応用」、共立出版、ISBN 4-320-01537-1（1997年6月5日）。
チャールズ K.チュウイ、桜井明（訳）、新井勉（訳）：「ウェーブレット応用：信号解析のための数学的手法」、東京電機大学出版局、ISBN 4-501-52780-3(1997年12月10日)。
齋藤兆古：「ウェーブレット変換の基礎と応用 - Mathematicaで学ぶ」、朝倉書店、ISBN 4-254-22141-X (1998年4月10日)。FD付き。
G.ストラング、T.グエン、高橋進一（訳）、池原雅章（訳）：「ウェーブレット解析とフィルタバンク I 入門編」、培風館、ISBN 4-563-00594-0（1999年7月10日）。
G.ストラング、T.グエン、高橋進一（訳）、池原雅章（訳）：「ウェーブレット解析とフィルタバンク II 応用編」、培風館、ISBN 4-563-00595-9（1999年7月12日）。
中野宏毅、山本鎮男、吉田靖夫：「ウェーブレットによる信号処理と画像処理」、共立出版、ISBN 4-320-08549-3（1999年8月15日）。
新井康平：「ウェーブレット解析の基礎理論」、森北出版、ISBN 4-627-07511-1（2000年11月24日）．
前田肇、佐野昭、貴家仁志、原普介：「ウェーブレット変換とその応用」、朝倉書店、ISBN 4-254-20943-6 (2001年1月15日)。
G.G.ウォルター、榊原進（訳）、萬代武史（訳）、芦野隆一（訳）：「ウェーヴレットと直交関数系」、東京電機大学出版局、ISBN 4-501-61870-1(2001年4月20日)。
謝哀潔、鈴木武：「ウェーブレットと確率過程入門」、内田老鶴圃、ISBN 4-7536-0120-X (2002年3月20日)。
B.B.ハバード著、山田道夫（訳）、西野操（訳）：「ウェーブレット入門」、朝倉書店、ISBN 4-254-22146-0 (2003年2月20日)。
I. ドブシー、山田道夫（訳）、佐々木文夫（訳）：「ウェーブレット10講」（原題 Ten Lectures on Wavelets）、シュプリンガー・フェアラーク東京、ISBN 4-431-70870-7 (2003年11月26日)。
Paul S. Addison、新誠一（訳）、中野和司（監訳）：「図説ウェーブレット変換ハンドブック」、朝倉書店、ISBN 4-254-22148-7(2005年5月20日)。
電気学会編：「ウェーブレット解析の産業応用」、朝倉書店、ISBN 4-254-22042-1 (2005年9月30日)。
新井仁之：「ウェーブレット」、共立出版、ISBN 978-4-320-01698-9（2010年1月15日）。
一條博:「MATLAB/SCILABによる　ウェーブレット信号解析入門」、秀和システム、ISBN 978-4-7980-3616-8（2012年12月28日）。
山田道夫、萬代武史、芦野隆一：「応用のためのウェーブレット」、共立出版、シリーズ応用数理第5巻、ISBN 978-4-320-01954-6（2016年1月25日）。

外部リンク

Wavelet Digest
Course on Wavelets given at UC Santa Barbara, 2004
The Wavelet Tutorial by Polikar
OpenSource Wavelet C Code
Wavelets for Kids (PDF file) (introductory)
Link collection about wavelets
A really friendly guide to wavelets
Advanced Signal Processing Toolkit - Commercial software from National Instruments for wavelet-based analysis and processing in LabVIEW

↑ http://scienceworld.wolfram.com/biography/Zweig.html Zweig, George Biography on Scienceworld.wolfram.com

[1] ttp://scienceworld.wolfram.com/biography/Zweig.html Zweig, George Biography on Scienceworld.wolfram.com

[1]

ウェーブレット

目次

歴史

年表