[論文レビュー] The local trace function of shift invariant subspaces

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

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

ひとこと要約

本稿では、$L^2(\mathbb{R}^n)$ 内のシフト不変部分空間を分析するための統一的な道具として、局所的トレース関数を導入する。これは次元関数とスペクトル関数を一般化するものであり、正規化されたタイトフレームを用いてトレースを表現し、作用素論的性質を活用することで、ウェーブレット理論における基本的結果（例えば、次元関数と多重度関数の同値性、スケーリング関数とウェーブレットの間の新しい関係）の短く洗練された証明を可能にする。

ABSTRACT

We define the local trace function for subspaces of $\ltworn$ which are invariant under integer translation. Our trace function contains the dimension function and the spectral function defined by Bownik and Rzeszotnik and completely characterizes the given translation invariant subspace. It has properties such as positivity, additivity, monotony and some form of continuity. It behaves nicely under dilations and modulations. We use the local trace function to deduce, using short and simple arguments, some fundamental facts about wavelets such as the characterizing equations, the equality between the dimension function and the multiplicity function and some new relations between scaling functions and wavelets.

研究の動機と目的

• シフト不変部分空間 $L^2(\mathbb{R}^n)$ を研究するための新しい解析的道具——局所的トレース関数——を構築すること。
• Bownik と Rzeszotnik が提唱した次元関数やスペクトル関数といった既存の概念を統一・一般化すること。
• トレースに基づく議論を用いて、作用素論的性質を活用した、基本的ウェーブレット特徴付けの簡単な証明を提供すること。
• 正規化されたタイトフレームを介して、局所的トレース関数と多重度関数との関係を確立すること。
• トレース関数の双対性を用いて、スケーリング関数とウェーブレットの間の新しい関係を導出すること。

提案手法

• シフト不変部分空間 $V$ の範囲関数を用いて、局所的トレース関数 $\tau_{V,T}(\xi)$ を、作用素 $T$ を $V$ に作用させたときのトレースとして定義する。
• Helson の範囲関数形式を用いて、$V$ を $\ell^2(\mathbb{Z}^n)$ 上の可測な射影族によって表現する。
• 正規化されたタイトフレーム（NTF）に関してトレース関数が不変であることに着目し、正規直交基底に限らず、任意の NTF を用いてトレースを計算できることを示す。
• ウェーブレット系に局所的トレース関数を適用する際、2通りの方法で計算する：ウェーブレット生成子を用いる方法とスケーリング関数生成子を用いる方法。
• 強作用素収束および単調収束定理を用いて、シフト不変部分空間の極限とそれらの局所的トレース関数の極限との関係を確立する。
• 異なるフレーム分解において同一の局所的トレース関数を2通りの方法で表現し、それらを等置することで、主要なウェーブレット恒等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 シフト不変部分空間に対して、次元関数とスペクトル関数を統一する枠組みをどのように構築できるか？
• RQ2 正規化されたタイトフレームがトレース関数の計算に果たす役割は何か？ また、どのベクトル族が等価なトレース値をもたらすか？
• RQ3 局所的トレース関数は、シフト不変部分空間の等価性をどのように特徴付けるか？
• RQ4 局所的トレース関数を用いて、ウェーブレット理論における次元関数と多重度関数の等価性を証明できるか？
• RQ5 トレースに基づく双対性から、スケーリング関数とウェーブレットの間にどのような新しい関係が生じるか？

主な発見

• 局所的トレース関数は、シフト不変部分空間を完全に特徴付ける：2つの部分空間が等しいための必要十分条件は、それらの局所的トレース関数が等しいことである。
• ほとんど everywhere で $[-\pi,\pi]^n$ 上において、次元関数は多重度関数に等しい。これは、両者が恒等作用素における局所的トレース関数に等しいことにより証明される。
• 局所的トレース関数は、$T = I$ のとき次元関数、$T = P_{\delta_0}$ のときスペクトル関数に一般化され、従来の構成を統一する。
• ウェーブレット特徴付けの式 (6.1) と (6.2) は、局所的トレース関数を2通りの方法で表現することの直接的結果である。
• スケーリング関数とウェーブレットの間の新しい関係が確立された：$s \in \mathbb{Z}^n \setminus A^*\mathbb{Z}^n$ に対して、ウェーブレットのフーリエ変換の相互相関は、スケーリング関数の相互相関の負の値に等しい（式 6.11）。
• ほとんど everywhere で $\mathbb{R}^n$ 上で、$\sum_{\psi \in \Psi} |\widehat{\psi}|^2(\xi) = \sum_{\varphi \in \Phi} |\widehat{\varphi}|^2((A^*)^{-1}\xi) - \sum_{\varphi \in \Phi} |\widehat{\varphi}|^2(\xi)$ が成り立つ。これはトレース関数の双対性（式 6.10）から導出される。