[論文レビュー] The algebra of harmonic functions for a matrix-valued transfer operator

Dorin Ervin Dutkay, Kjetil Røysland|ArXiv.org|Nov 17, 2006

Mathematical Analysis and Transform Methods参考文献 19被引用数 4

ひとこと要約

この論文は、行列値移転作用素の調和関数の空間が、最小射影がカスケードアルゴリズムによるスケーリング関数の相関として特定される有限次元C*-代数をなすことを確立する。低 pass 条件の下で、この代数は $ M_l(\mathbb{C}) $ に同型であり、固定点は強い収束でスケーリング関数の相関に収束する。

ABSTRACT

We analyze matrix-valued transfer operators. We prove that the fixed points of transfer operators form a finite dimensional $C^*$-algebra. For matrix weights satisfying a low-pass condition we identify the minimal projections in this algebra as correlations of scaling functions, i.e., limits of cascade algortihms.

研究の動機と目的

• 動的システムおよびウェーブレット理論における行列値移転作用素から生じる調和関数を分析すること。
• このような作用素の固定点の構造を有限次元C*-代数として特徴づけること。
• この代数内の最小射影をカスケードアルゴリズムからのスケーリング関数の相関として同定すること。
• この代数が $ M_l(\mathbb{C}) $ に同型となる条件を確立することにより、マルチレゾリューション解析と関連付けること。
• 移転作用素のスペクトル性質をエルゴディック理論およびウェーブレット理論的応用と結びつけること。

提案手法

• コンパクトなハウスドルフ空間 $ X $ 上に、値が $ d \times d $ 正定値行列にとる重み $ W $ を持つ行列値移転作用素 $ R_W $ を定義する。
• 周辺スペクトルを分析し、固値 1 とその固有空間（調和関数）に注目する。
• $ R = T_1 + S $ の分解（$ T_1 $ はランク1、$ S $ は準コンパクト）を用いて、反復の収束を研究する。
• スペクトル半径の公式と $ M^k W $ の強収束を適用し、$ M^k W_{s_j} $ が $ \mathcal{W}_{v_j} $ に $ \text{Hom}(S, \Xi) $ 内で収束することを示す。
• $ R $ に不変な関数型 $ \tau_{i,j} $ を構成し、調和空間内の点を分離し、$ M_l(\mathbb{C}) $ への同型を証明する。
• $ E(l) $ 条件と低 pass フィルタの性質を用いて、$ m(x_0) $ が $ l $ 次元部分空間を固定することを保証し、最小射影の同定を可能にする。

実験結果

リサーチクエスチョン

• RQ1 行列値移転作用素の固定点がなす代数的構造は何か？
• RQ2 調和空間内の最小射影は、マルチレゾリューション解析におけるスケーリング関数とどのように関係するか？
• RQ3 調和空間が $ M_l(\mathbb{C}) $ に同型となる条件は何か？
• RQ4 カスケードアルゴリズムは、行列重み付き設定において、どのようにスケーリング関数の相関に収束するか？
• RQ5 どのようなスペクトル的条件が、調和 $ C^* $-代数の一意性と構造的性質を保証するか？

主な発見

• 行列値移転作用素の連続的調和写像の空間は、有限次元 $ C^* $-代数をなす。
• 低 pass 条件と $ E(l) $ 条件の下で、この代数は $ M_l(\mathbb{C}) $ に同型であり、$ l $ は $ m(x_0) $ の固定空間の次元である。
• この代数内の最小射影は $ h_{v_j,v_j} = T_1(W_{s_j}^* W_{s_j}) $ で与えられ、これらはスケーリング関数の相関である。
• $ M^k W_{s_j} $ の列は $ \text{Hom}(S, \Xi) $ 内で強く $ \mathcal{W}_{v_j} $ に収束し、ノルム推定とスペクトル分解により収束が証明された。
• 最小射影の和 $ h_{v_1} + \cdots + h_{v_l} = 1 $ が成り立ち、代数内での完全な恒等分解が確認された。
• $ M^k W $ の収束が $ \text{Hom}_{C(X)}(S, \Xi) $ 内でコーシー列であることが示され、$ \| (M^k W - W)^* (M^k W - W) \|_1 $ の一様有界性と $ \|S^n\|_L $ の消滅に依拠している。