[論文レビュー] Schrödinger operators and unique continuation. Towards an optimal result

Damir Kinzebulatov, Leonid Shartser|ArXiv.org|Feb 3, 2009

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

ひとこと要約

本稿は、$L^{d/2,∞}_{{\rm loc}}(\mathbb{R}^d)$ を含む広範なクラスに属するポテンシャル $V$ を持つ微分不等式 $|\Delta u| \leq |V u|$ の解について、弱いおよび強い一意拡張性の性質を確立する。解が開集合上で消えている、あるいは無限階に消失するならば、その解は恒等的にゼロであることを証明する。主な貢献は、リーマン積分と作用素ノルムを用いた $V$ に関する鋭い条件であり、補間および最大関数推定を用いて、従来の結果を最適な $L^{d/2,\infty}$-型ポテンシャルへ拡張する。

ABSTRACT

In this article we prove the property of unique continuation (also known for C^\infty functions as quasianalyticity) for solutions of the differential inequality |Δu| \leq |Vu| for V from a wide class of potentials (including L^{d/2,\infty}_{\loc}(R^d) class) and u in a space of solutions Y_V containing all eigenfunctions of the corresponding self-adjoint Schrödinger operator. Motivating question: is it true that for potentials V, for which self-adjoint Schrödinger operator is well defined, the property of unique continuation holds?

研究の動機と目的

• 自己随伴シュレーディンガー作用素が広範なポテンシャルクラスに属する場合に、一意拡張が成り立つかどうかという長年の未解決問題を解消すること。
• 最適なポテンシャルクラス $\mathcal{F}^{d}_{\beta,{\rm loc}}$ において、$|\Delta u| \leq |V u|$ の解の弱いおよび強い一意拡張性を確立すること。
• 既知の結果を $L^{d/2}$ や $L^{d/2,\infty}$ ポテンシャルを超えて拡張するために、リーマン積分ノルムを用いた新たな鋭いポテンシャル条件を導入すること。
• 一意拡張結果を応用し、形式和の条件を満たすポテンシャルを持つシュレーディンガー作用素に対して正の固有値が存在しないことを証明すること。

提案手法

• 作用素ノルムの $L^2$ 上での一様有界性を満たす新しいポテンシャルクラス $\mathcal{F}^{d}_{\beta,{\rm loc}}$ を、$\mathbf{1}_{B_K(x_0,\rho)}|W|^{\frac{d-1}{4}}(-\Delta)^{-\frac{d-1}{2}}|W|^{\frac{d-1}{4}}\mathbf{1}_{B_K(x_0,\rho)}$ の定義によって導入する。
• スティンの複素補間定理を用いて、$V$ を含むリーマン積分型作用素の $L^p \to L^2$ 作用素ノルムを推定する。
• 重み付き最大関数推定と、切断関数 $\eta$ を用いた極限議論を適用し、$u$ が消失する点付近での挙動を制御する。
• $Y_V^{\rm weak} = \{f \in \mathcal{L}^{2,1}_{{\rm loc}} : |V|^{1/2}f \in L^2_{{\rm loc}}\}$ の空間を用いて固有関数を含み、$Vu$ の可積分性を保証する。
• $L^1$ 上での作用素ノルムの一様有界性を用いて、$\|K_2\|_1 \leq \hat{C}\|\Delta u_\eta\|_1$ という重要な推定を得る。
• これらの推定を組み合わせ、$\|\mathbf{1}_{B(\rho)}\rho^N \varphi_N u\|_1 \to 0$ ($N \to \infty$) を示し、近傍で $u \equiv 0$ であることを示す。

実験結果

リサーチクエスチョン

• RQ1 ポテンシャル $V$ が $L^{d/2,\infty}_{{\rm loc}}(\mathbb{R}^d)$ のクラスに属する場合、微分不等式 $|\Delta u| \leq |V u|$ は弱い一意拡張性を有するか？
• RQ2 リーマン積分ノルムを用いた鋭い条件のもとで、$H^1_{{\rm loc}} \cap Y_V^{\rm weak}$ 内の解に対して強い一意拡張性が確立可能か？
• RQ3 リーマン積分と作用素ノルムを用いた新しい内在的条件を導入することで、一意拡張に関する既存の結果を統合的かつ拡張可能か？
• RQ4 一意拡張性は、形式和の条件を満たすポテンシャルを持つシュレーディンガー作用素に対して正の固有値が存在しないことを示唆するか？

主な発見

• $\beta < 1$ の場合、すべての $V \in \mathcal{F}^{d}_{\beta,{\rm loc}}$ に対して弱い一意拡張性が成り立つ。このクラスは $L^{d/2,\infty}_{{\rm loc}}(\mathbb{R}^d)$ を含む。
• 同じクラス $\mathcal{F}^{d}_{\beta,{\rm loc}}$ に対して、$Y_V^{\rm str} = Y_V^{\rm weak} \cap H^1_{{\rm loc}}(\Omega)$ 内で強い一意拡張性が成り立つ。
• $\|\mathbf{1}_{B_K(x_0,\rho)}|W|^{\frac{d-1}{4}}(-\Delta)^{-\frac{d-1}{2}}|W|^{\frac{d-1}{4}}\mathbf{1}_{B_K(x_0,\rho)}\|_{2\to 2} \leq \beta$ という条件は、一意拡張性に対して鋭く最適である。
• 証明では、$\|\mathbf{1}_{B(\rho)}\rho^N \varphi_N u\|_1 \to 0$ ($N \to \infty$) を示すことにより、$u$ が無限階に消失する点の近傍で恒等的にゼロであることを示している。
• この結果は、$\inf_{\lambda>0}\|V_{-}^{1/2}(H_0 + \lambda)^{-1}V_{-}^{1/2}\|_{2\to 2} < 1$ を満たす場合、シュレーディンガー作用素 $H = H_0 + V$ に正の固有値が存在しないことを示唆する。
• 複素補間、最大関数推定、および切断関数を用いた極限議論を組み合わせることで、最適な結果が達成されている。