[论文解读] On Landis' conjecture in the plane when the potential has an exponentially decaying negative part

Blair Davey, Carlos E. Kenig+1 more|arXiv (Cornell University)|Aug 28, 2018

Nonlinear Partial Differential Equations参考文献 6被引用 6

一句话总结

本文为 $ ^2$ 中满足 $-Δ u + Vu = 0$ 的解建立了定量唯一延拓估计，其中势能 $V_-$ 在无穷远处呈指数衰减。通过引入一个正乘子对应的向量值 Beltrami 系统，并证明一个带有界的新相似性原理，作者导出了一个消失阶估计，进而得到大圆上 $u$ 的 $L^\infty$ 范数的精确下界，从而在这些条件下确认了 Landis 猜想的定量形式。

ABSTRACT

In this article, we continue our investigation into the unique continuation properties of real-valued solutions to elliptic equations in the plane. More precisely, we make another step towards proving a quantitative version of Landis' conjecture by establishing unique continuation at infinity estimates for solutions to equations of the form $- Δu + V u = 0$ in $\mathbb{R}^2$, where $V = V_+ - V_-$, $V_+ \in L^\infty$, and $V_-$ is a non-trivial function that exhibits exponential decay at infinity. The main tool in the proof of this theorem is an order of vanishing estimate in combination with an iteration scheme. To prove the order of vanishing estimate, we establish a similarity principle for vector-valued Beltrami systems.

研究动机与目标

• 为 $ ^2$ 中满足 $-\Delta u + Vu = 0$ 的解建立 Landis 猜想的定量版本，当 $V_-$ 在无穷远处呈指数衰减时。
• 通过引入具有指数衰减的非平凡负势能，扩展此前假设 $V_- \equiv 0$ 的结果。
• 为处理乘子方法中正则性丧失的问题，为向量值 Beltrami 系统发展一个新的相似性原理。
• 在缩放区域中证明解的消失阶估计，从而支持迭代方案，最终导出下界。

提出的方法

• 引入一个平移势能方程的正解，构造一个乘子，将原偏微分方程转化为类似高维系统形式的散度型方程。
• 通过引入一个向量值流函数，将偏微分方程约化为向量值 Beltrami 系统，从而可应用复分析工具。
• 利用 Cartan 引理、Wiener-Masani 定理以及文献 [2] 中的技术，为向量值 Beltrami 系统证明一个带有定量界的新相似性原理。
• 对 Beltrami 系统的每个分量应用 Hadamard 三圆定理，推导出解的三球不等式。
• 基于缩放和消失阶估计，采用迭代方案，将小尺度的下界传播至大尺度。
• 通过将消失阶估计与缩放论证相结合，最终导出下界 $\inf_{|z_0|=R} \|u\|_{L^\infty(B_1(z_0))} \geq \exp(-R^{1+\varepsilon})$，适用于大 $R$。

实验结果

研究问题

• RQ1 当势能的负部分在无穷远处呈指数衰减时，Landis 猜想能否在 $ ^2$ 中被定量验证？
• RQ2 当 $V_-$ 非平凡且衰减时，标准乘子方法如何调整，因为此时乘子的正则性会失效？
• RQ3 对于具有衰减负势能的薛定谔方程解，其消失阶的定量估计是什么？
• RQ4 能否为向量值 Beltrami 系统建立一个带有界的新相似性原理，以支持三球不等式？
• RQ5 在 $V_-$ 指数衰减且 $u$ 的增长受指数控制的条件下，解在大圆上的 $L^\infty$ 范数的最优下界是什么？

主要发现

• 本文证明了一个定量唯一延拓估计：对任意 $\varepsilon > 0$，存在 $R_0 = R_0(C_0, c_0, \varepsilon_0, \varepsilon)$，使得对所有 $R \geq R_0$，有 $\inf_{|z_0|=R} \|u\|_{L^\infty(B_1(z_0))} \geq \exp(-R^{1+\varepsilon})$，在给定假设下成立。
• 消失阶估计导出小 $r$ 下的下界 $\|u\|_{L^\infty(B_r)} \geq r^{C\lambda^q F(\lambda)}$，其中 $q = \max\{1,p\}$，$C$ 依赖于 $c_0, C_1, c_1$，且 $F(\lambda) \in [1, \lambda]$。
• 通过 Cartan 引理和 Wiener-Masani 定理，为向量值 Beltrami 系统建立了一个新的带有界的相似性原理，克服了向量情形下缺乏此类工具的问题。
• 为平移势能构造正乘子，使得偏微分方程可约化为类似高维散度自由方程的系统，从而可应用复分析技术。
• 通过 Hadamard 三圆定理对 Beltrami 系统的每个分量逐项应用，推导出三球不等式，实现了解在不同尺度间下界的传播。
• 最终结果通过允许非平凡的 $V_-$，优于先前工作，从而推进了二维薛定谔算子在定量唯一延拓方面的研究前沿。