[論文レビュー] Direct limits, multiresolution analyses, and wavelets

Lawrence W. Baggett, Nadia S. Larsen+3 more|ArXiv.org|Sep 2, 2008

Mathematical Analysis and Transform Methods参考文献 8被引用数 6

ひとこと要約

この論文は、ヒルベルト空間の直和極限の普遍性を用いて、古典的 $L^2(\mathbf{R}^n)$、フラクタルウェーブレット、ソリノイド空間など多様な設定において一貫したウェーブレット基底を構成する。フィルタと関連する等長写像によって直和極限を特徴付けることで、$L^2(\mathbf{R}^n)$ やソリノイド空間としての極限が特定されるという統一的枠組みを提供し、マルチレゾリューション解析（MRA）における測度の台に関する未解決問題を解消する。特に、Ionescu と Muhly が提起した予想についても解決する。

ABSTRACT

A multiresolution analysis for a Hilbert space realizes the Hilbert space as the direct limit of an increasing sequence of closed subspaces. In a previous paper, we showed how, conversely, direct limits could be used to construct Hilbert spaces which have multiresolution analyses with desired properties. In this paper, we use direct limits, and in particular the universal property which characterizes them, to construct wavelet bases in a variety of concrete Hilbert spaces of functions. Our results apply to the classical situation involving dilation matrices on $L^2(\R^n)$, the wavelets on fractals studied by Dutkay and Jorgensen, and Hilbert spaces of functions on solenoids.

研究の動機と目的

• ヒルベルト空間の直和極限を用いて、古典的、フラクタル的、ソリノイド的設定におけるウェーブレット基底の構成を統一的に実現すること。
• 特に Ionescu と Muhly が提起した予想に基づく、マルチレゾリューション解析（MRA）のソリノイド的実現における測度の台に関する未解決問題を解消すること。
• フィルタに関連する等長写像 $S_m$ が純粋等長写像であるための一般的で検証可能な基準を確立し、ウェーブレットの構成を可能にすること。
• 直和極限の普遍的性質を用いて、$L^2(\mathbb{R})$ におけるマラットの定理を新たな簡潔な証明で再構成すること。
• バウムスラッグ＝ショルスタイン群のウェーブレット表現に対しても直和極限アプローチを拡張し、ヨルゲンセンの結果を回復・精緻化すること。

提案手法

• 直和極限の普遍的性質を用いて、ヒルベルト空間の系列 $V_n$ の直和極限を具体的な関数空間として特定する。
• フィルタ $m$ に関連する等長写像 $S_m$ を用いて直和系を構成する。ここで $S_m$ は、適切なコサイクル $\beta$ を用いて $S_m f = m \times (f \times \beta)$ で定義される。
• 普遍的性質を適用して、直和極限 $\varinjlim (L^2(\mathbb{T}), S_m)$ から $L^2(\mathbb{R}^n)$ や $L^2(\mathcal{S}_N)$ などの目的ヒルベルト空間への同型写像を構成する。
• ウォルド分解を用いて等長写像 $S_m$ を分析し、$S_m$ が純粋等長写像であることと、そのウォルド分解にユニタリ和項を含まないこととが同値であることを証明する。
• 波形表現のための共変関係 $D \lambda_\gamma D^* = \lambda_{\alpha(\gamma)}$ を用いて、 Baumslag-Solitar 群 $\operatorname{BS}(\Gamma, \alpha)$ の表現を特徴付ける。
• 関連写像 $R$ が等長写像に拡張され、群作用および拡大作用と可換であることを確認することで、直和極限と目的ヒルベルト空間との間に同型を確立する。

実験結果

リサーチクエスチョン

• RQ1 直和極限の構成を用いて、$L^2(\mathbb{R}^n)$、フラクタル空間、ソリノイドにおいて一貫してウェーブレット基底を特定・構成できるか？
• RQ2 フィルタ $m$ に関連する等長写像 $S_m$ が純粋等長写像であるための条件は何か？これによりウェーブレット基底の存在が保証される。
• RQ3 直和極限の構成は、Ionescu と Muhly が提起した、MRA のソリノイド的実現における測度の台に関する予想を解消できるか？
• RQ4 直和極限の普遍的性質を用いて、バウムスラッグ＝ショルスタイン群のウェーブレット表現に関する既知の結果を再導出または精緻化できるか？
• RQ5 ソリノイド的実現における直和極限は、元の構成とどのように比較できるか？特にフーリエ変換や測度の台に関する新たな知見が得られるか？

主な発見

• 論文は、フィルタ $m$ のスペクトル的性質に基づいた一般的基準（定理 3.1）を確立し、等長写像 $S_m$ が純粋であることを保証する。これによりウェーブレット基底の存在が保証される。
• フィルタ $m$ がローパassフィルタであり、拡大行列が拡張的である場合、直和極限 $\varinjlim (L^2(\mathbb{T}), S_m)$ は $L^2(\mathbb{R}^n)$ に等長同型であることが示され、マラットの定理の新たな証明が得られる。
• フラクタルウェーブレットの文脈では、直和極限の構成により、極限空間が $L^2$ 上の空間として特定される。