[論文レビュー] Harmonic analysis and dynamics for affine iterated function systems

Dorin Ervin Dutkay, Palle E. T. Jørgensen|ArXiv.org|Feb 13, 2005

Mathematical Dynamics and Fractals参考文献 30被引用数 5

ひとこと要約

本稿は、ヒルベルト空間の幾何学と双対性を用いて、アフィン反復関数系（IFS）の調和解析枠組みを構築し、W-サイクルと調和関数を導入して無限ベルヌーイ畳み込みを分析する。主な貢献は、関連するハッチンソン測度のフーリエ変換が指数関数的に減少することを証明し、測度が非原子的でかつ原子を持たないことを示したことである。これは、原子性に関するウィーナーの基準を強化するものである。

ABSTRACT

We introduce a harmonic analysis for a class of affine iteration models in $\br^d$. Using Hilbert-space geometry, we develop a new duality notion for affine and contractive iterated function systems (IFSs) and we construct some identities for the Fourier transform of the measure corresponding to infinite Bernoulli convolutions.

研究の動機と目的

• 従来の群に基づくフーリエ設定を超えて、アフィン反復関数系（IFS）の調和解析枠組みを構築すること。
• ヒルベルト空間の幾何学を用いて、アフィンIFSとその関連調和関数の間の双対性概念を導入すること。
• サイクル解析と遷移作用素を用いて、不変測度の構造、特に無限ベルヌーイ畳み込みの構造を特徴付けること。
• フーリエ変換の減少とウィーナーの基準を用いて、関連測度が非原子的であるための条件を確立すること。
• W-サイクルを、重み関数Wが最大値をとる極値的サイクルとして特定し、IFSにおける幾何学と力学の関係を結ぶこと。

提案手法

• アフィンIFSの吸引子Xに定義された重み関数Wを定義し、これにより遷移作用素RWとパス空間測度Pxを導出する。
• 周期性と記号空間Ω上のシフト力学を用いて、W(y) = 1をすべてのy ∈ Cに対して満たすサイクルC ⊂ XとしてW-サイクルを導入する。
• 転送作用素RWとヒルベルト空間技法を用いて、RW h = hを満たす調和関数hを構成する。
• ウィーナーの原子性基準を適用するため、区間上で∫|ν̂(t)|² dtのL²ノルムを分析する。
• 特に、νλのフーリエ変換の無限積表現 ∏k=1ⁿ cos²(2πλ⁻ᵏt) を用いて減少推定を行う。
• Cesàro平均 s(λ⁻ⁿT) = 1/(2T)∫₋Tᵀ |ν̂(t)|² dt の単調性と指数的減少を確立し、s(λ⁻ⁿT) = O(2⁻ⁿ) を示す。

実験結果

リサーチクエスチョン

• RQ1 ヒルベルト空間の幾何学を用いて、アフィンIFSの群的設定を超えた調和解析をどのように一般化できるか？
• RQ2 W-サイクルは、方程式RW h = hの解を特徴付ける上で果たす役割は何か？
• RQ3 無限ベルヌーイ畳み込み測度νλが非原子的であるための条件は何か？
• RQ4 νλのフーリエ変換はどのように減少するのか？これは原子の存在に何を示唆するか？
• RQ5 アフィンIFSとその調和関数の間の双対性は、3分割と4分割によるサブディビジョンの測度など、異なるフラクタル測度を区別するために利用可能か？

主な発見

• 無限ベルヌーイ畳み込み測度νλのフーリエ変換は指数関数的に減少し、Cesàro平均 s(λ⁻ⁿT) = O(2⁻ⁿ) である。これは、ウィーナーの公式における極限が0であることを示唆する。
• 測度νλは、ウィーナーの基準により非原子的である：limT→∞ (1/(2T))∫₋Tᵀ |ν̂(t)|² dt = 0。
• 遷移作用素RWによって誘導されるパス空間測度Pxは可算原子的であり、Ωの可算集合S ⊂ Ωに支持を持つ。
• Lemma 6.5とTheorem 6.4により、アフィンIFSの強い不変測度は原子を持たないことが示された。
• 標準的カントール集合（λ = 1/3）の場合、フーリエ変換は指数関数的に減少し、非原子的であることが確認された。
• 積∏k=1ⁿ (1 + cos(4πλ⁻ᵏt)) はコンパクトな台を持つリース積であり、|ν̂(t)|² に対する有限積分を保証する。