[論文レビュー] Combining Riesz bases

Gady Kozma, Shahaf Nitzan|arXiv (Cornell University)|Oct 23, 2012

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

ひとこと要約

本稿は、ℝ 内の任意の有限個の区間の合併が指数関数のリース基底を有することを証明し、調和解析における長年の未解決問題を解決した。著者らは、単一の区間への新たな還元と、ペーリー＝ウイーナー安定性定理の活用により、Λ ⊂ ℝ である離散的集合によってインデックス付けられた指数関数が、L²(S) においてリース基底をなすことを示した。S ⊆ [0, 2π] のとき、Λ ⊆ ℤ ととれる。

ABSTRACT

We show that any finite union of intervals supports a Riesz basis of exponentials

研究の動機と目的

• ℝ 内の任意の有限個の区間の合併に対して指数関数のリース基底の存在を確立すること。これは調和解析における長年の未解決問題である。
• 特に正規直交基底が不可能である場合に、このような集合がリース基底を有するかどうかの理解のギャップを解消すること。
• 指数関数系の安定性および分離性の性質に基づく構成的技法を提供すること。
• 二つの区間、等長の区間、整数の端点を持つ場合など、先行する部分的な結果（例：二つの区間、等長、整数の端点）を、一般の任意の有限個の区間の合併の場合にまで拡張すること。
• 互いに分離されていない個別の区間のリース基底の合併が、適切な摂動のもとでその合併集合のリース基底を形成することを示すこと。これは、直感的な合併構成法が失敗する既知の反例があるにもかかわらず成立する。

提案手法

• 双対性の議論を用いて、有限個の区間の合併に対するリース基底の構成問題を、単一の区間に対する問題に還元する。
• ペーリー＝ウイーナー安定性定理を適用し、既存のリース系列を摂動して、依然としてリース基底を保つ分離系に変換する。
• 和 $ S_K = \sum_{N=1}^K |\sum e(Na_j) - \sum e(Nb_j)|^2 $ の漸近的成長を用いた背理法的議論を展開し、これが K に対して線形に増加することを示す。
• 分数部分 $\{Na_j\}$ と $\{Nb_j\}$ の入れ違いの挙動を分析し、入れ違いが成立すれば $s_N = |\sum e(Na_j) - \sum e(Nb_j)|^2$ が小さくなることを証明する。
• 入れ違いがほとんどすべての N に対して成立できないことを示す。具体的には、$S_K$ が $2LK + O(1)$ のように増加することから、入れ違いの下での $s_N \leq 4$ の境界と矛盾する。
• 臨界的ケース $L=2$（二つの区間）に対しては、ディリクレ近似を用いて $n \approx N$ となる $n$ を見つけ、$\|na_j\|$ および $\|nb_j\|$ が小さくなるようにし、$s_n \leq C\epsilon$ を得る。$\epsilon$ が十分小さければ $C\epsilon < 1$ となり、境界を強化できる。

実験結果

リサーチクエスチョン

• RQ1 ℝ 内の任意の有限個の区間の合併は、指数関数のリース基底を有するか？
• RQ2 互いに交わらない区間のリース基底の合併が、それらの合併集合のリース基底を形成できるか、特に個々の集合が分離されていない場合でも成立するか？
• RQ3 無理数比の長さを持つ二つの集合の分数部分 $\{Na_j\}$ と $\{Nb_j\}$ が、ほとんどすべての N に対して入れ違いになることは可能か？
• RQ4 ペーリー＝ウイーナー安定性定理は、単純な系を摂動することで、複雑な集合に対してもリース基底を構成するために効果的に利用できるか？
• RQ5 指数関数系の合併がリース基底を保つための条件は何か？ また、このような系を摂動に対して安定化するにはどのような条件が必要か？

主な発見

• 任意の有限個の区間の合併 $S \subset \mathbb{R}$ に対して、$\Lambda \subset \mathbb{R}$ が存在し、$\{e^{i\lambda t}\}_{\lambda \in \Lambda}$ が $L^2(S)$ においてリース基底をなす。
• S ⊆ [0, 2π] のとき、リース基底は $\Lambda \subseteq \mathbb{Z}$ ととれる。これは離散的かつ整数インデックス付きの基底を提供する。
• 証明により、分数部分 $\{Na_j\}$ と $\{Nb_j\}$ の入れ違いがほとんどすべての $N$ に対して成立しないことが示され、指数関数系の退化を避ける鍵となる。
• 和 $S_K = \sum_{N=1}^K |\sum e(Na_j) - \sum e(Nb_j)|^2$ は $2LK + O(1)$ のように線形に増加する。これは、入れ違いの下での $s_N \leq 4$ の境界と矛盾し、したがって正の密度の $N$ に対して入れ違いが成立しないことを示す。
• $L=2$ の場合、ディリクレ近似により $n \approx N$ となる $n$ を構成でき、$s_n \leq C\epsilon < 1$ となる。これにより背理法の議論が強化され、一般の場合のギャップが埋められる。
• 本結果により、正規直交基底が存在しない場合でも、すべての有限個の区間の合併に対して指数関数のリース基底が存在することが示され、指数関数基底理論における主要な空白が埋められた。