[论文解读] 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

一句话总结

本文建立了微分不等式 $|\Delta u| \leq |V u|$ 的解在广义类中包含 $L^{d/2,\infty}_{{\rm loc}}(\mathbb{R}^d)$ 的势 $V$ 的弱和强唯一延拓性质，证明了若解在某个开集上为零或在某点无穷阶为零，则其必恒为零。关键贡献在于通过 Riesz 位势和算子范数提出一个关于 $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|$ 解的弱和强唯一延拓性质。
• 通过引入基于 Riesz 位势范数的新型精确条件，将已知的唯一延拓结果从 $L^{d/2}$ 和 $L^{d/2,\infty}$ 势推广至更广范围。
• 将唯一延拓结果应用于证明在形式和条件满足时，薛定谔算子不存在正的本征值。

提出的方法

• 引入一个新的势类 $\mathcal{F}^{d}_{\beta,{\rm loc}}$，其定义为：在 $L^2$ 中，对任意 $x_0$ 和 $\rho$，算子 $\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)}$ 的算子范数有统一有界性。
• 利用 Stein 的复插值定理估计涉及 $V$ 的 Riesz 位类型算子的 $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$ 的可积性。
• 通过 $\mathbf{1}_{B(2\rho)}\varphi_N V[(-\Delta)^{-1}]_N \varphi_N^{-1}$ 在 $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 微分不等式 $|\Delta u| \leq |V u|$ 在势 $V$ 属于类 $L^{d/2,\infty}_{{\rm loc}}(\mathbb{R}^d)$ 时是否具有弱唯一延拓性质？
• RQ2 在 $V$ 满足精确条件时，能否在 $H^1_{{\rm loc}} \cap Y_V^{\rm weak}$ 中建立解的强唯一延拓性质？
• RQ3 是否能够通过引入基于 Riesz 位势和算子范数的内在新条件，统一并推广先前的唯一延拓结果？
• RQ4 唯一延拓性质是否蕴含在满足形式和条件的薛定谔算子中不存在正本征值？

主要发现

• 对于所有 $V \in \mathcal{F}^{d}_{\beta,{\rm loc}}$ 且 $\beta < 1$，弱唯一延拓性质成立，该类包含 $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$ 不存在正本征值。
• 该方法通过结合复插值、极大函数估计和截断函数的极限论证，实现了最优结果。