[論文レビュー] Exponential spectra in $L^2(μ)$

Xing‐Gang He, Chun‐Kit Lai+1 more|arXiv (Cornell University)|Oct 7, 2011

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

ひとこと要約

本稿は、$L^2(\mu)$におけるフーリエフレームが純粋型測度を意味することを確立し、指数関数的リース基底を備える離散的および特異的連続測度を分類する。整数タイルと畳み込みを用いて、スフラル測度における調和解析とスペクトル理論を結びつけることで、特異的連続測度に指数関数的リース基底を備えるが指数関数的正規直交基底を備えない最初の既知の例を構成した。

ABSTRACT

Let $μ$ be a Borel probability measure with compact support. We consider exponential type orthonormal bases, Riesz bases and frames in $L^2(μ)$. We show that if $L^2(μ)$ admits an exponential frame, then $μ$ must be of pure type. We also classify various $μ$ that admits either kind of exponential bases, in particular, the discrete measures and their connection with integer tiles. By using this and convolution, we construct a class of singularly continuous measures that has an exponential Riesz basis but no exponential orthonormal basis. It is the first of such kind of examples.

研究の動機と目的

• コンパクトに台を持つボレル確率測度 $\mu$ on $\mathbb{R}^d$ が $L^2(\mu)$ で指数関数的フレーム、リース基底、または正規直交基底を備えるための条件を特定すること。
• 離散的および特異的連続測度がこのような基底を備えるための構造的条件を同定すること。
• 特異的連続測度に指数関数的リース基底を備えるが指数関数的正規直交基底を備えない例を構成するという未解決問題を解決すること。
• F-スペクトル測度の純粋型法則を確立し、それが離散的、特異的連続的、または絶対連続的でなければならないことを示すこと。

提案手法

• フレーム不等式および下位ベルリン密度を用いて、F-スペクトル測度が純粋型でなければならないことを証明する。
• デ・ブランジの整関数論を応用して、単位区間の場合のF-スペクトルを分類する。
• マスク多項式と二重零点集合を用いて、$\mathbb{Z}^+$ 上の有限離散測度における正規直交基底を特徴付ける。
• シクロトミック多項式および整数タイルの性質を用いて、加法的タイリング条件からスペクトル集合を構成する。
• 畳み込みとスケーリングを用いて、離散スペクトル測度から特異的連続測度にリース基底を生成する。
• $\mathcal{A} \oplus \mathcal{B} = \mathbb{N}_n$ ならば、$\delta_\mathcal{A}$ は $\frac{1}{n}\mathbb{Z}$ にスペクトルを備えるスペクトル測度であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 コンパクトに台を持つボレル確率測度 $\mu$ が $L^2(\mu)$ で指数関数的フーリエフレームを備えるための条件は何か？
• RQ2 特異的連続測度が指数関数的リース基底を備えるが指数関数的正規直交基底を備えないことは可能か？
• RQ3 整数タイリング集合と離散測度のスペクトル的性質との関係は何か？
• RQ4 マスク多項式の代数的性質およびその零点集合がスペクトル構造をどのように決定するか？
• RQ5 F-スペクトル測度に対して、$L^2(\mu)$ における純粋型分類はどのようなものか？

主な発見

• $L^2(\mu)$ が指数関数的フレームを備えるならば、$\mu$ は純粋型でなければならない：離散的、特異的連続的、または絶対連続的。
• $\mathbb{Z}^+$ 上の有限離散確率測度で $0 \in \mathcal{C}$ を満たすものは、すべてR-スペクトル測度である。
• 離散測度 $\mu = \sum_{c \in \mathcal{C}} p_c \delta_c$ がスペクトル測度であるための必要十分条件は、マスク多項式 $m_\mu(x)$ の二重零点集合 $\Lambda$ が存在し、$|\Lambda| = |\mathcal{C}|$ であり、すべての $p_c$ が等しいことである。
• 本稿は、畳み込みと整数タイリングを用いて、指数関数的リース基底を備えるが指数関数的正規直交基底を備えない最初の既知の特異的連続測度の例を構成した。
• $\mathcal{A} \oplus \mathcal{B} = \mathbb{N}_n$ ならば、$\delta_\mathcal{A}$ は $\frac{1}{n}\mathbb{Z}$ にスペクトルを備えるスペクトル測度である。
• 有限集合 $\mathcal{A} \subset \mathbb{Z}^+$ に対して条件(T1)および(T2)が成り立つならば、$\delta_\mathcal{A}$ は $\frac{1}{n}\mathbb{Z}$ に明示的なスペクトルを備えるスペクトル測度である。