[論文レビュー] Unique continuation for fractional Schrödinger operators in three and higher dimensions

Ihyeok Seo|arXiv (Cornell University)|Aug 31, 2013

Nonlinear Partial Differential Equations参考文献 8被引用数 4

ひとこと要約

本稿は、次元 $n \geq 3$ において、分数階シュレーディンガー不等式 $|(-\Delta)^{\alpha/2}u| \leq |V(x)u|$ の解について、$V \in L^{n/\alpha,\infty}_{\text{loc}}$ かつ $V$ の局所弱 $L^{n/\alpha}$ ノルムが十分に小さいとき、任意の開集合上で消える解は恒等的にゼロであるという一意的続行性を確立する。この結果は、$\alpha=2$ の古典的結果（ラプラシアンの場合）を $0 < \alpha < n$ の全範囲に拡張したものであり、精密化されたカルレマン推定とローレンツ空間上の複素補間を用いている。

ABSTRACT

We prove the unique continuation property for the differential inequality $|(-Δ)^{α/2}u|\leq|V(x)u|$, where $0

研究の動機と目的

• 次元 $n \geq 3$ において $0 < \alpha < n$ の分数階シュレーディンガー作用素について、既知の $\alpha=2$ の結果を拡張して一意的続行性を確立すること。
• 次元 $n \geq 3$ において $0 < \alpha < n-1$ の範囲で、文献にギャップが生じていた部分を埋めること。
• 解 $|(-\Delta)^{\alpha/2}u| \leq |V(x)u|$ が任意の開集合上で消えるならば、$V$ の局所弱 $L^{n/\alpha}$ ノルムが十分に小さいという小さな条件のもとで、恒等的にゼロであることを証明すること。
• ローレンツ空間の推定と複素補間を用いて、ジェリソンとケニグ、およびシュタインの古典的結果を非局所的分数階シュレーディンガー設定に一般化すること。

提案手法

• 解析的作用素族 $T_z$ を用いて、$0 < \alpha < n$ かつ $n \geq 3$ の条件下で、ローレンツ空間上における分数階ラプラシアン $(-\Delta)^{\alpha/2}$ のための新しいカルレマン推定を導出する。
• 端点推定値 $\text{Re}(z) = 0$ と $\text{Re}(z) = \beta \in (n-1, n - \delta_t)$ の間でシュタインの複素補間定理を適用し、目的の重み付き $L^{p,q}$ 推定を得る。
• 2つの中間推定値の間で実補間を適用し、最終的なカルレマン不等式（特に $\||x|^{-t-n/p}f\|_{L^{p,q}} \leq C\||x|^{-t+\alpha-n/q}(-\Delta)^{\alpha/2}f\|_{L^q}$）をローレンツノルムで導出する。
• $C_0^\infty$ 近似を用いた極限的議論により、$u \in L^1 \cap L^{p,q}$ かつ $(-\Delta)^{\alpha/2}u \in L^q$（$p = 2n/(n-\alpha)$, $q = 2n/(n+\alpha)$）を満たす解 $u$ に対してもカルレマン推定を拡張する。
• 条件 $\sup_a \lim_{r \to 0} \|V\|_{L^{n/\alpha,\infty}(B(a,r))}$ の小さな条件により、推定式における $V$ 項を吸収でき、$u$ が開集合上で消えるならば $u \equiv 0$ でなければならないことを示す。
• 連続性の標準的議論を適用し、有界な $\delta_{t_i}$ を持つ $t_i \to \infty$ の列をとることで、原点の近傍で $u = 0$ となり、結果として全体で $u = 0$ となる。

実験結果

リサーチクエスチョン

• RQ1 次元 $n \geq 3$ において、$0 < \alpha < n$ の分数階シュレーディンガー作用素 $(-\Delta)^{\alpha/2} + V(x)$ について、一意的続行性が確立可能か？
• RQ2 次元 $n \geq 3$ において $0 < \alpha < n-1$ のとき、$V \in L^{n/\alpha,\infty}_{\text{loc}}$ かつ局所弱ノルムが小さいという条件が、一意的続行性に十分か？
• RQ3 スケーリングの観点から、分数階シュレーディンガー方程式において、臨界指数 $n/\alpha$ が自然にどのように現れるか？
• RQ4 $\alpha = 2$ の場合に用いられた手法を、ローレンツ空間と複素補間を用いて非整数 $\alpha$ に拡張可能か？
• RQ5 高次元における分数階シュレーディンガー作用素の一意的続行性を証明するための最適なローレンツ空間フレームワークは何か？

主な発見

• 次元 $\mathbb{R}^n$（$n \geq 3$）において、$|(-\Delta)^{\alpha/2}u| \leq |V(x)u|$ の解について、$V \in L^{n/\alpha,\infty}_{\text{loc}}$ かつ $V$ の局所弱 $L^{n/\alpha}$ ノルムが十分に小さいとき、一意的続行性が成り立つ。
• この結果は、古典的一意的続行定理（ジェリソンとケニグ：$\alpha = 2$、$V \in L^{n/2}$、シュタイン：$V \in L^{n/2,\infty}$ かつノルムが小さい）を、$0 < \alpha < n$ の全範囲に拡張したものである。
• 臨界指数 $n/\alpha$ はスケーリング不変である。なぜなら、$u_\varepsilon(x) = u(\varepsilon x)$ のスケーリングのもとで $V$ の $L^{n/\alpha,\infty}$ ノルムは不変のままである。
• 証明は、端点推定値の間での複素補間と中間推定値の間での実補間を用いた、ローレンツ空間上での新しいカルレマン推定に依拠している。
• 局所弱 $L^{n/\alpha}$ ノルムが小さいとき、カルレマン推定式における $V$ 項を吸収でき、$u$ が開集合上で消えるならば、$u \equiv 0$ でなければならないという矛盾が生じる。
• 定数 $E \in \mathbb{C}$ を持つ定常方程式 $((- abla)^{\alpha/2} + V(x))u = Eu$ に対しても、$E$ が自明に小さな条件を満たすため、この結果は適用可能である。