[論文レビュー] Deviations of Riesz projections of Hill operators with singular potentials

Plamen Djakov, Boris Mityagin|ArXiv.org|Feb 15, 2008

Spectral Theory in Mathematical Physics参考文献 8被引用数 4

ひとこと要約

本稿では、$ H^{-1} $-正則な特異ポテンシャルを持つヒル作用素のリエス射影が、$ n \to \infty $ の際に $ L^1 \to L^\infty $作用素ノルムで収束することを確立しており、これにより対応するリエス部分空間上でのすべての $ L^p $-ノルムが一様に同値であることが示される。この結果は摂動論および積分核に関する推定を用いて証明され、$ L^2 $ よりも特異なポテンシャルに対してもスペクトル安定性の結果が拡張される。

ABSTRACT

It is shown that the deviations $P_n -P_n^0$ of Riesz projections $$ P_n = \frac{1}{2πi} \int_{C_n} (z-L)^{-1} dz, \quad C_n=\{|z-n^2|= n\}, $$ of Hill operators $L y = - y^{\prime \prime} + v(x) y, x \in [0,π],$ with zero and $H^{-1}$ periodic potentials go to zero as $n o \infty $ even if we consider $P_n -P_n^0$ as operators from $L^1$ to $L^\infty. $ This implies that all $L^p$-norms are uniformly equivalent on the Riesz subspaces $Ran P_n. $

研究の動機と目的

• 特異な $ H^{-1} $-正則周期的ポテンシャルを持つヒル作用素のスペクトル的挙動を分析すること、特にリエス射影の安定性に焦点を当てる。
• ポテンシャルが $ L^2 $ に属さない場合でさえも、差 $ \|P_n - P_n^0\|_{L^1 \to L^\infty} \to 0 $ が $ n \to \infty $ の際に収束することを確立すること。
• リエス部分空間 $ \text{Ran}\,P_n $ 上ですべての $ L^p $-ノルムが一様に同値であることを示し、これによりスペクトル分解における量子カオスの一種が示唆されること。
• 標準的な $ L^2 $-に基づく技法が失敗する $ H^{-1} $-ポテンシャルの状況においても、フーリエ法およびスペクトル射影解析の有効性を拡張すること。

提案手法

• 著者たちは、円 $ C_n = \{ |z - n^2| = n \} $ を周回する contour 積分を用いて、摂動された作用素および自由作用素のリエス射影 $ P_n $ と $ P_n^0 $ を定義する。
• 摂動論を用いて差 $ \|P_n - P_n^0\|_{L^1 \to L^\infty} $ を推定し、積分核推定とリゾルベント展開に依存する。
• 重要な推定では、$ \|K_\lambda: L^1 \to L^\infty\| \leq \sum_k \frac{4}{|\lambda - k^2|} $ を満たす積分作用素 $ K_\lambda $ のノルムを抑え込む。
• 核の $ \ell^\infty \to \ell^2 $ および $ \ell^2 \to \ell^1 $ 作用素ノルムを用いて、$ \|K_\lambda\| \leq \sum_k \frac{1}{|\lambda - k^2|} $ を導出する。
• 不等式 $ \sum_k \frac{1}{|n^2 - k^2| + b} \leq C_1 \frac{\log b}{\sqrt{b}} $（$ b \geq 2 $）を適用し、リゾルベントノルムの成長を制御する。
• 領域 $ \partial\Pi(H) $ に沿って積分し、$ H = N^2 $ を選ぶことで、$ \|S_N - S_N^0\|_{L^1 \to L^\infty} \leq C_6 N \log N $ を導出し、主な収束結果に至る。

実験結果

リサーチクエスチョン

• RQ1 ヒル作用素の $ H^{-1} $-ポテンシャルに対して、リエス射影 $ P_n $ が $ n \to \infty $ の際に自由作用素の射影へ $ L^1 \to L^\infty $ 作用素ノルムで収束するか？
• RQ2 特異な $ H^{-1} $-ポテンシャルに対し、スペクトル部分空間 $ \text{Ran}\,P_n $ 上での $ L^p $-ノルムの一致同値性を確立できるか？
• RQ3 標準的な $ L^2 $-有界性の失敗にもかかわらず、$ H^{-1} $-正則ポテンシャルに対して、スペクトル分解のためのフーリエ法が有効かつ安定であるか？
• RQ4 偏差 $ \|P_n - P_n^0\|_{L^1 \to L^\infty} $ の減衰速度は何か？ そして極限において消えるか？

主な発見

• $ H^{-1} $-正則ポテンシャルが $ L^2 $ に属さない場合でさえも、$ n \to \infty $ の際に $ \|P_n - P_n^0\|_{L^1 \to L^\infty} \to 0 $ が成り立つ。
• 絶対定数 $ C_6 \leq 600 $ を用いて、推定 $ \|S_N - S_N^0\|_{L^1 \to L^\infty} \leq C_6 N \log N $ が成り立つ。これは偏差に対する定量的バインディングを提供する。
• リエス部分空間 $ \text{Ran}\,P_n $ 上ですべての $ L^p $-ノルムが一様に同値である。これは $ L^1 \to L^\infty $ 収束による結果である。
• 結果はディリクレ境界条件および $ \text{Per}^{\pm} $ 境界条件の両方に対して成り立ち、特異ポテンシャルへのスペクトル安定性の拡張が達成される。
• 証明は contour 積分、リゾルベント推定、および核作用素の $ \ell^p $-ノルム制御に依存しており、$ L^2 $-有界性に依存しない。
• 著者たちは、[12]における「$ \sup_x |\psi_k(x)| \in \ell^2 $」という主張の欠陥を特定し、[13]が示すのは $ \psi_k $ の $ \ell^2 $-有界性ではなく、点wise に $ \sum_k |\psi_k(x)|^2 < \infty $ が成り立つだけであることを示している。