[論文レビュー] A Simple Crystalline Measure

Alexander Olevskiı̆, Alexander Ulanovskii|arXiv (Cornell University)|Jun 22, 2020

Crystallization and Solubility Studies参考文献 11被引用数 6

ひとこと要約

本稿では、虚数周波数をもつ指数多項式の対を用いて、非自明な結晶的測度の簡単な構成を提示する。このような多項式のゼロ集合から導かれるポアソン型和公式を活用することで、著者らは、無限等差数列を含まない、ある種の指数多項式が生成する結晶的測度の存在を証明する。これは調和解析における準結晶的構造の明示的かつ構成可能な例を提供する。

ABSTRACT

We prove that every pair of exponential polynomials with imaginary frequencies generates a Poisson-type formula.

研究の動機と目的

• 無限等差数列を含まない、非自明な結晶的測度の明示的例の構成。
• 虚数周波数をもつ指数多項式のゼロ集合として得られる一様離散集合に対して、ポアソン型和公式を確立すること。
• このような測度が、純粋に離散的であるフーリエ変換をもつことの証明。結晶的測度の定義を満たす。
• 係数が有界な $\mathrm{Exp}$ および $\mathrm{Exp}_s$ 内の指数多項式の対から、結晶的測度を体系的に生成する方法の提供。
• ゼロ集合の解析と整関数のフーリエ解析に基づく、より単純で直感的な枠組みを用いた、既存の構成の拡張。

提案手法

• 本手法は、$\mathrm{Exp}$ に属する $\psi$ と $\mathrm{Exp}_s$ に属する $\varphi$ の対に依存しており、$\varphi$ は単純なゼロを持ち、そのゼロ集合 $\Lambda_\varphi$ は一様離散である。
• ポアソン型公式が導出される：$\sum_{\lambda \in \Lambda_\varphi} c_\lambda f(\lambda) = \sum_{s \in S} a_s \hat{f}(s)$、ここで $c_\lambda = \psi(\lambda)/\varphi'(\lambda)$ かつ $S \subset \mathbb{R}$ は多項式的成長を満たす。
• この公式は、固定された $y$ に対して $f(x+iy) \in \mathcal{S}(\mathbb{R})$ を満たす整関数 $f$ に対して成り立ち、両辺の絶対収束を保証する。
• $\varphi \in \mathrm{Exp}_r$（実ゼロ集合）の場合、係数 $a_s$ は有界であり、公式は $f \in \mathcal{S}(\mathbb{R})$ に対して拡張可能となる。これにより、標準的なフーリエ解析が可能になる。
• ゼロの分布と成長条件の検証には、複素解析の道具、特に線積分とローチェの定理が用いられる。
• $a_s$ の有界性の証明には、ベッセルの不等式と、コンパクトな台を持つフーリエ変換を持つテスト関数 $\psi_{\beta,s}$ を用いて、$L^1$ ノルムを制御し、個々の項を分離する。

実験結果

リサーチクエスチョン

• RQ1 虚数周波数をもつ指数多項式のゼロ集合に対して、ゼロ集合が等差数列でない場合でも、ポアソン型和公式を構成できるか？
• RQ2 $\psi$ と $\varphi$ にどのような条件下で、公式 $\sum_{\lambda \in \Lambda_\varphi} c_\lambda f(\lambda) = \sum_{s \in S} a_s \hat{f}(s)$ が有界係数と局所有限な $S$ をもって成り立つか？
• RQ3 このような公式が、フーリエ変換が純粋に離散的である結晶的測度 $\mu = \sum_{\lambda \in \Lambda_\varphi} c_\lambda \delta_\lambda$ を生成できるか？
• RQ4 基本的な指数多項式のみを用いて、無限等差数列を含まない結晶的測度を構成可能か？
• RQ5 $\Lambda_\varphi \subset \mathbb{R}$ であると仮定したとき、フーリエ係数 $a_s$ の有界性をどのように確立できるか？

主な発見

• 任意の $\psi \in \mathrm{Exp}$、$\varphi \in \mathrm{Exp}_s$ で $\Lambda_\varphi \not\subset \Lambda_\psi$ であるような対は、有界係数 $c_\lambda = \psi(\lambda)/\varphi'(\lambda)$ をもつポアソン型公式を生成する。
• $\varphi \in \mathrm{Exp}_r$ の場合、公式はすべての $f \in \mathcal{S}(\mathbb{R})$ に対して成り立ち、フーリエ係数 $a_s$ は有界である。
• 測度 $\mu = \sum_{\lambda \in \Lambda_\varphi} \delta_\lambda$ は、$\varphi \in \mathrm{Exp}_r$ ならば常に結晶的である。なぜなら、そのフーリエ変換が局所有限集合に台を持つ純粋に離散的測度であるからである。
• 関数 $\varphi(z) = \sin \pi z + \delta \sin z$（$0 < \delta \leq 1/2$）に対して、ゼロ集合 $\Lambda_\varphi = \{k + \delta_k : k \in \mathbb{Z}\}$（$|\delta_k| \leq 1/6$）は一様離散であり、無限等差数列を含まない。
• ゼロ集合 $\Lambda_\varphi$ が等差数列を含まないことは背理法で示される。もし $\alpha + \beta \mathbb{Z} \subset \Lambda_\varphi$ ならば、$\beta$ は無理数（稠密な射影）または有理数（周期的ゼロ集合）でなければならないが、いずれも $\varphi$ の構造に矛盾する。
• この構成は、$\varphi(z) = \sin \pi z + \sum_{j=1}^n d_j \sin \alpha_j z$（$\sum |d_j| \leq 1/2$ かつ少なくとも一つの $\pi/\alpha_j$ が無理数）に対して一般化可能であり、同様の結晶的測度が得られ、その台は等差数列でない。