[論文レビュー] A dispersive bound for three-dimensional Schroedinger operators with zero energy eigenvalues

Michael Goldberg|ArXiv.org|Sep 22, 2008

Advanced Mathematical Physics Problems参考文献 13被引用数 15

ひとこと要約

本稿は、複素数値ポテンシャルとゼロエネルギー固有値を有する3次元シュレーディンガー作用素に対して、分散推定を確立する。ゼロエネルギーにおける一般化固有空間に直交する射影を施した場合、シュレーディンガー方程式の解はL^∞ノルムで|t|^{-3/2}の速度で減衰することを証明する。主な結果は、固有関数および一般化固有関数のL^1における急速な減衰を保証する条件と、共鳴の不在を満たす場合に成立する。

ABSTRACT

We prove a dispersive estimate for the evolution of Schroedinger operators $H = -Δ+ V(x)$ in ${\mathbb R}^3$. The potential is allowed to be a complex-valued function belonging to $L^p(\R^3)\cap L^q(\R^3)$, $p < \frac32 < q$, so that $H$ need not be self-adjoint or even symmetric. Some additional spectral conditions are imposed, namely that no resonances of $H$ exist anywhere within the interval $[0,\infty)$ and that eigenfunctions at zero (including generalized eigenfunctions) decay rapidly enough to be integrable.

研究の動機と目的

• 複素数値ポテンシャルを有する3次元シュレーディンガー作用素の時間発展に対する分散推定を確立すること。ただし、作用素は自己随伴であるとは限らない。
• ゼロエネルギー固有値および一般化固有関数が分散減衰を妨げる可能性があるという挑戦に、固有関数およびそれらの一般化形態に対する可積分性条件を課すことにより対処すること。
• スペクトル射影を用いてゼロエネルギーにおける束縛状態および一般化固有状態の影響を除去することで、自由発展の場合を越えた分散境界を拡張すること。
• 非自己随伴作用素の下でも分散推定の有効性を保証するため、ゼロエネルギーにおける一般化固有空間が有限次元であり、L^1に含まれることを要請すること。

提案手法

• 本稿は、ゼロエネルギーにおける有限次元一般化固有空間へのスペクトル射影P_{pp}(H)を構成する。これは、X_kを(H)^–k Ψ ∈ X_{k-1}を満たす解として再帰的に定義することで行われる。
• 低エネルギーにおける摂動されたリゾルベント(I + VR_0^+(λ^2))^{-1}の展開に、ネウマン級数とカットオフ関数を用いてゼロエネルギー近傍の挙動を分離する。
• 低エネルギー領域におけるリゾルベントカーネルのフーリエ変換を分析し、初期データのL^1ノルムと一般化固有空間への直交性を用いて境界を導出する。
• 証明は、作用素T^+(λ) = (I + VR_0^+(λ^2))^{-1}を固有関数を含む項に分解し、固有関数の可積分性を用いてフーリエ変換のL^1ノルムを制御することに依存する。
• リゾルベントと固有関数のペアリングのフーリエ変換がλ変数に関して可積分であることを確立する。これにより、時間減衰率の制御が可能になる。
• 近似逆作用素S(λ)の像空間が一般化固有関数の双対空間に直交するように選ぶことで、危険な項が直交補空間で消えることが保証される。

実験結果

リサーチクエスチョン

• RQ1 複素ポテンシャルとゼロエネルギー固有値を有する3次元シュレーディンガー作用素に対して、||e^{-itH}(I - P_{pp}(H))f||_∞ ≤ C|t|^{-3/2}||f||_1の形の分散推定が確立可能か？
• RQ2 ゼロエネルギーにおける一般化固有関数にどのような条件が、L^∞ノルムにおける|t|^{-3/2}の減衰率を維持するために必要かつ十分か？
• RQ3 固有関数がL^2関数でない場合に、非自己随伴作用素に対して一般化固有空間への射影P_{pp}(H)をどのように構成できるか？
• RQ4 共鳴は分散推定をどのように妨げるか？また、共鳴の不在をどのように用いて境界の有効性を保証できるか？

主な発見

• X_k ⊂ L^1(R^3)（すべてのk ≥ 1に対して）かつX = ∪_k X_kが有限次元であるという仮定の下で、本稿は分散推定||e^{-itH}(I - P_{pp}(H))f||_∞ ≤ C|t|^{-3/2}||f||_1がすべてのt ≠ 0に対して成立することを証明する。
• 作用素Hが自己随伴でなくても、ポテンシャルVがL^p(R^3) ∩ L^q(R^3)に属し、p < 3/2 < qを満たし、[0, ∞)に共鳴が存在しない限り、この境界は有効である。
• ゼロエネルギーにおける一般化固有空間は有限次元でなければならない。その要素はL^1(R^3)に属するほど十分に速く減衰しなければならず、これにより時間発展における持続的成長が回避される。
• 証明は、低エネルギー領域におけるリゾルベントカーネルのフーリエ変換の可積分性に依存しており、これは初期データのL^1ノルムと一般化固有関数への直交性によって制御される。
• ネウマン級数展開における最も特異な項は、fが一般化固有空間に直交する場合に消えることが示され、これにより残りの項が||f||_1で有界になる。
• 近似逆作用素S(λ)の構成は、固有関数とのペアリングのフーリエ変換のL^1ノルムを最小化する意味で最適であることが示された。