[論文レビュー] Weighted exponential approximation and non-classical orthogonal spectral measures

Alexander Borichev, Mikhail Sodin|arXiv (Cornell University)|Apr 11, 2010

Advanced Mathematical Modeling in Engineering参考文献 34被引用数 16

ひとこと要約

この論文は、非負測度の摂動が $L^2(\mu)$ における関数の近似に必要な周波数帯域幅の最小幅を保存する条件を同定することで、調和解析における長年の未解決問題を解決する。その結果、有限区間上の1次元シュレーディンガー作用素の直交スペクトル測度に、局所的な構造的制約は存在しないことが示された。主な貢献は、重み付き指数関数近似と de Branges の整関数のヒルベルト空間理論を用いて、小刻みな摂動下でのスペクトル測度の安定性を証明したことにある。

ABSTRACT

A long-standing open problem in harmonic analysis is: given a non-negative measure $\\mu$ on $\\mathbb R$, find the infimal width of frequencies needed to approximate any function in $L^2(\\mu)$. We consider this problem in the "perturbative regime", and characterize asymptotic smallness of perturbations of measures which do not change that infimal width. Then we apply this result to show that there are no local restrictions on the structure of orthogonal spectral measures of one-dimensional Schrodinger operators on a finite interval. This answers a question raised by V.A.Marchenko.

研究の動機と目的

• 調和解析における長年の未解決問題を解消すること：非負測度 $\mu$ に対して、$L^2(\mu)$ に属する任意の関数を近似するために必要な周波数帯域幅の最小幅を特定すること。
• この最小幅（タイプ $T(\mu)$）を変化させない測度の摂動を同定すること。特に、小刻みな変化がタイプ $T(\mu)$ に影響を与えない「摂動的領域」に焦点を当てる。
• この同定を応用し、有限区間上の1次元シュレーディンガー作用素の直交スペクトル測度に、局所的な構造的制約が存在しないことを示すこと。
• タイプ問題と2階微分作用素のスペクトル理論との間の関係を確立すること。特に、Krein の公式と de Branges のヒルベルト空間枠組みを通じて。

提案手法

• タイプ $T(\mu)$ を、指数型が $a$ 未満である整関数からなる空間 $\mathcal{E}(a)$ が $L^2(\mu)$ で稠密であるような $a$ の下界として定義し、$L^2(\mu)$ に属する関数のスペクトルギャップと関連付ける。
• de Branges の整関数のヒルベルト空間理論を用いて、$L^2(\mu)$ をネストされた空間 $\mathcal{H}(E_t)$ の和集合として表現し、$T(\mu)$ をこれらの空間に属する関数の指数型の上界として特定する。
• Krein の公式を用いて $T(\mu)$ を2階正規系の係数に関連させ、スペクトル測度の安定性を分析可能にする。
• 関数 $X$ が $\lim_{t\to\infty}(X(t)-t) = \infty$ を満たす微分同相写像であるような具体例を構成し、それに対応する離散的スペクトル測度が安定に直交することを保証する。
• 複素平面上でのラグランジュ補間とジェンセンの公式を用いて、このような測度が $\mathcal{K}(\pi c^{-1})$ の関数のゼロ集合を含まないことを証明する。
• 振動積分 $e^{2\pi i \ell R(t)}$ を含む $L^2$-推定と漸近展開を用いて、近似における誤差項を制御し、$A(t,s)$ の多項式近似に依存する。

実験結果

リサーチクエスチョン

• RQ1 非負測度 $\mu$ のどの摂動が、$L^2(\mu)$ 近似に必要な周波数帯域幅の最小幅（タイプ $T(\mu)$）を保存するか？
• RQ2 有限区間上の1次元シュレーディンガー作用素のスペクトル測度は、任意の局所的構造を取ることができるのか、それとも隠れた制約があるのか？
• RQ3 タイプ $T(\mu)$ は $L^2(\mu)$ に属する関数のスペクトルギャップ構造とどのように関係するか？また、de Branges 理論を用いて同定可能か？
• RQ4 微分同相写像 $X$ に対して、関連する離散測度 $\mu = \sum_{n} \delta_{X(cn)}$ が安定に直交するための条件は何か？
• RQ5 $X(t) - t$ の成長が、$\mu$ が $\mathcal{K}(\pi c^{-1})$ の任意の関数のゼロ集合でないことを保証するために果たす役割は何か？

主な発見

• タイプ $T(\mu)$ は、$\mathcal{E}(a)$ が $L^2(\mu)$ で稠密でないような $a$ の上界として特徴づけられ、同値に $L^2(\mu)$ に属する関数のスペクトルギャップの最大長として特定される。
• ある $L^2$-ノルムで小さく、特定の減衰条件を満たす $\mu$ の摂動は $T(\mu)$ を変化させない。これは、近似幅の安定性を示している。
• 有限区間上の1次元シュレーディンガー作用素の直交スペクトル測度に、局所的な構造的制約は存在しない。これは V. A. Marchenko の問いに答えている。
• もし $X(t) - t \to \infty$ が $t \to \infty$ のとき成り立つならば、離散測度 $\mu = \sum_{n \in \mathbb{Z}} \delta_{X(cn)}$ は安定に直交する。つまり、$\mathcal{K}(\pi c^{-1})$ に属する任意の関数のゼロ集合を含まない。
• 証明は、$N_\Lambda(R) = \int_1^R \frac{n_\Lambda(t)}{t} dt$ が、任意の $A$ に対して $2c^{-1}R - A\log R$ よりも速く成長しないことを示すことで成り立つ。もしゼロ集合が存在すれば、ジェンセンの公式に矛盾する。
• 振動積分 $e^{2\pi i \ell R(t)}$ の漸近展開は、$A(t,s)$ の多項式近似により制御され、誤差項は $O(|t|^{-N})$（$N$ が十分に大きいとき）で有界であり、収束を保証する。