[論文レビュー] The Wavelet Galerkin Operator

Dorin Ervin Dutkay|ArXiv.org|Feb 13, 2003

Mathematical Analysis and Transform Methods参考文献 17被引用数 14

ひとこと要約

この論文は、ウェーブレットフィルタ $ m_0 $ に関連するウェーブレットガラーキン作用素（別名、ルーリュ作用素または移動作用素）の周辺スペクトル解析を提供する。$ |\lambda| = 1 $ である周辺スペクトルに対応する固有関数は $ m_0 $-サイクルから生じ、固有空間はサイクル上に台を持つスペクトル測度によって特徴付けられ、固有値 $ \lambda $ が $ \lambda^{p_i} = 1 $ を満たすことが証明されている。ここで $ p_i $ はサイクル長である。

ABSTRACT

In connection to wavelet theory, we describe the peripheral spectrum of the transfer operator. The solution involves the analysis of certain representations of the algebra generated by two unitaries $U$ and $T$ that satisfy the commutation relation $UTU^{-1}=T^N$.

研究の動機と目的

• ウェーブレットガラーキン作用素 $ R_{m_0,m_0} $ の周辺スペクトルを解析する。すなわち、$ |\lambda| = 1 $ を満たす $ R_{m_0,m_0}h = \lambda h $ の解を対象とする。
• $ R_{m_0,m_0} $ の固有関数と、単位円 $ \mathbb{T} $ 上の $ m_0 $-サイクル、特に $ |m_0(z_i)| = \sqrt{N} $ を満たすものとの間の関係を確立する。
• スペクトル測度とサイクルに基づく表現を用いて、周辺固有値に対応する固有空間の構造を特徴付ける。
• 2つの古典的ウェーブレット直交性条件の同倹性を統一的かつ明確化する：ローリングの単純固有値条件とコーエンの非循環条件。
• $ C^* $-代数 $ \mathfrak{A}_N $、ウェーブレット表現、およびルーリュ作用素のスペクトル性質を結びつける表現論的枠組みを提供する。

提案手法

• 解析は、$ UVU^{-1} = V^N $ を満たすユニタリ $ U $ と $ V $ によって生成される $ C^* $-代数 $ \mathfrak{A}_N $ に依拠しており、これはウェーブレット理論におけるスケーリングおよびトランスレーションの対称性をモデル化する。
• ルーリュ作用素 $ R_{m_0,m_0} $ は $ C(\mathbb{T}) $ 上で $ R_{m_0,m_0}f(z) = \frac{1}{N}\sum_{w^N = z} |m_0(w)|^2 f(w) $ により定義され、$ m_0 \in \text{Lip}_1(\mathbb{T}) $、有限個のゼロ、$ R_{m_0,m_0}1 = 1 $、および $ m_0(1) = \sqrt{N} $ を満たす。
• 単位円 $ \mathbb{T} $ を $ m_0 $-サイクル $ C_i = \{z_{1i}, \dots, z_{p_i i}\} $ に分解し、$ z_{ki}^N = z_{(k+1)i} $ および $ |m_0(z_{ki})| = \sqrt{N} $ を満たす。
• 各サイクル $ C_i $ に対して、$ h_{m_0,C_i}^\lambda = \sum_{k=1}^{p_i} \lambda^{-k+1} g_{k,m_0,C_i} $ として固有関数が定義され、ここで $ g_{k,m_0,C_i} $ は $ z_{ki} $ の近傍に局在する特徴関数に類似した関数である。
• スペクトル測度 $ \nu_i^\lambda = \frac{1}{p_i} \sum_{k=1}^{p_i} \lambda^{k-1} \delta_{z_{ki}} $ を用いて固有空間に射影し、$ \nu_i^\lambda(R_{m_0,m_0}f) = \lambda \nu_i^\lambda(f) $ を満たす。
• 作用素 $ T_\lambda $ は、$ T_\lambda(f) = \sum_{i:\lambda^{p_i}=1} \nu_i^\lambda(f) h_{m_0,C_i}^\lambda $ として定義され、固有関数がサイクル局在関数の線形結合であることを示す。

実験結果

リサーチクエスチョン

• RQ1 ウェーブレットガラーキン作用素 $ R_{m_0,m_0} $ の、$ |\lambda| = 1 $ を満たす固有値 $ \lambda $ に対応する固有空間の構造は何か？
• RQ2 $ R_{m_0,m_0} $ の固有関数は、単位円 $ \mathbb{T} $ 上の $ m_0 $-サイクル、特に $ |m_0(z_i)| = \sqrt{N} $ を満たすものとどのように関係しているか？
• RQ3 なぜローリングの条件（固有値1が単純）とコーエンの条件（非自明なサイクルがない）は、ウェーブレット直交性において同値となるのか？
• RQ4 スペクトル測度 $ \nu_i^\lambda $ は、$ R_{m_0,m_0} $ の $ \lambda $-固有空間を特徴付ける際に果たす役割は何か？
• RQ5 どのような条件下で、$ \lambda \in \mathbb{T} $ が $ C(\mathbb{T}) $ 内に非自明な固有関数を生じるのか？

主な発見

• $ R_{m_0,m_0} $ の周辺スペクトルは $ m_0 $-サイクルによって決定される：各サイクル $ C_i $（長さ $ p_i $）に対して、$ \lambda^{p_i} = 1 $ を満たす固有値 $ \lambda $ が非自明な固有関数を与える。
• 各サイクル $ C_i $ および $ \lambda^{p_i} = 1 $ を満たす $ \lambda $ に対して、関数 $ h_{m_0,C_i}^\lambda = \sum_{k=1}^{p_i} \lambda^{-k+1} g_{k,m_0,C_i} $ は、固有値 $ \lambda $ を持つ $ R_{m_0,m_0} $ の固有関数である。
• 固有関数 $ h_{m_0,C_i}^\lambda $ は線形独立であり、双対性 $ \nu_i^\lambda(h_{m_0,C_j}^\lambda) = \delta_{ij} $ により、$ \lambda $-固有空間を張る。
• スペクトル測度 $ \nu_i^\lambda $ は $ \nu_i^\lambda(R_{m_0,m_0}f) = \lambda \nu_i^\lambda(f) $ を満たし、これは $ \nu_i^\lambda $ が $ \lambda $-固有測度であることを確認する。
• 射影作用素 $ T_\lambda(f) = \sum_{i:\lambda^{p_i}=1} \nu_i^\lambda(f) h_{m_0,C_i}^\lambda $ は、$ \lambda $-固有空間の完全な分解を与える。また $ T_\lambda $ は $ \frac{1}{n} \sum_{k=1}^n \lambda^{-k} R_{m_0,m_0}^k $ の弱収束極限である。
• $ \lambda^{p_i} = 1 $ は、サイクル $ C_i $ に関連する非ゼロ固有関数が存在するための必要十分条件であり、$ \lambda^{p_i} = 1 $ のとき、表現における $ f_{ki} $ は定数でなければならない。