[論文レビュー] Fourier bases and Fourier frames on self-affine measures

Dorin Ervin Dutkay, Chun Kit Lai+1 more|arXiv (Cornell University)|Feb 15, 2016

Mathematical Analysis and Transform Methods参考文献 21被引用数 3

ひとこと要約

本稿は、自己同型測度上のフーリエ基底およびフレームを特定するための行列解析的手法を確立し、ハダマード三つ組が自己同型スペクトル測度を生成するという長年の予想を解決した。特異なフラクタル測度上に非自明なフーリエフレームの存在を証明し、中間三分の一分のカントール測度がフーリエフレームを有するかどうかを調査する新たな道筋を提示した。

ABSTRACT

This paper gives a review of the recent progress in the study of Fourier bases and Fourier frames on self-affine measures. In particular, we emphasize the new matrix analysis approach for checking the completeness of a mutually orthogonal set. This method helps us settle down a long-standing conjecture that Hadamard triples generates self-affine spectral measures. It also gives us non-trivial examples of fractal measures with Fourier frames. Furthermore, a new avenue is open to investigate whether the Middle Third Cantor measure admits Fourier frames.

研究の動機と目的

• ハダマード三つ組が自己同型スペクトル測度を生成するという長年の予想を解決すること。
• 自己同型測度における $L^2(\mu)$ 内の正規直交集合の完全性を検証するための行列ベースの手法を開発すること。
• スペクトルでないにもかかわらずフーリエフレームを有する非自明なフラクタル測度の例を構成すること。
• 中間三分の一分のカントール測度に対してフーリエフレームの存在を調査すること、これは分野における主要な未解決問題である。

提案手法

• 拡大的行列 $R$ と有限の数字集合 $B$ を持つIFS $(R, B)$ に関連するフーリエ行列 $\mathcal{F}_n$ を用いた行列フレームワークを導入する。
• MSS15定理を用いてカジソン＝サイモン問題の解法を応用し、ほぼ最適なフレーム境界を持つ部分行列にフーリエ行列を分割する。
• 文献[NOU14]の補題5.2を用いて、$J_n \subset \overline{L}_n$ の部分集合を抽出し、制限された行列 $F_n$ が一様なフレーム境界 $c_0 \|\mathbf{w}\|^2 \leq \|F_n \mathbf{w}\|^2 \leq C_0 \|\mathbf{w}\|^2$ を満たすようにする。
• 指数関数系 $\{e^{2\pi i \langle \lambda, x \rangle}\}_{\lambda \in J_n}$ が $L^2(\mu)$ 上で一様なフレーム境界を持つフレームを形成することを確立する。
• 整数行列 $R$ と数字集合 $B$ を持つ反復関数系によって生成される自己同型測度にこの手法を適用する。
• 正規直交系の完全性条件が、制限されたフーリエ行列における一様な下界および上界の確認に帰着できることを示す。

実験結果

リサーチクエスチョン

• RQ1 すべてのハダマード三つ組は自己同型スペクトル測度を生成するか？
• RQ2 自己同型集合上のスペクトルでない特異測度であっても、フーリエフレームを有する可能性はあるか？
• RQ3 中間三分の一分のカントール測度に対して明示的なフーリエフレームを構成することは可能か？
• RQ4 自己同型測度における $L^2(\mu)$ にパーセバルに類似たフレームの存在を保証する行列論的条件は何か？
• RQ5 有限次元行列解析を用いて、指数関数の正規直交系の完全性をどのように検証できるか？

主な発見

• 本稿は、すべてのハダマード三つ組が自己同型スペクトル測度を生成することを証明し、長年の予想を解決した。
• 特異な自己同型測度上に非自明なフーリエフレームの存在を確立した。これはスペクトルでない測度に対しても成立する。
• 本手法により、$n$ に依存しない普遍的なフレーム境界 $c_0, C_0 > 0$ が得られ、IFS近似のすべての段階にわたる一様なフレーム性質が保証される。
• 任意のIFS $(R, B)$ から生じる自己同型測度に対して、$L_n \subset \overline{L}_n$ の部分集合が存在し、$\{e^{2\pi i \langle \lambda, x \rangle}\}_{\lambda \in L_n}$ が $L^2(\mu)$ 上でフレームを形成することを示した。
• カジソン＝サイモン問題の結果を活用して、正規直交フーリエ行列からほぼタイトなフレームを構成的に抽出する手法を提供した。
• 本フレームワークは、未解決問題のままである中間三分の一分のカントール測度に対するフーリエフレームの存在を調査する新たな道筋を切り開いた。