[论文解读] Quantitative uniqueness of solutions to second order elliptic equations with singular potentials in two dimensions

Blair Davey, Jiuyi Zhu|arXiv (Cornell University)|Apr 3, 2017

Advanced Mathematical Modeling in Engineering参考文献 15被引用 5

一句话总结

本文通过为二维拉普拉斯算子建立一种新型的 $L^p$-$L^q$ 卡莱曼估计，为二维空间中具有奇异低阶项的二阶椭圆方程的解建立了定量的消失阶估计。关键结果给出了小球内解大小的下界，该下界以势能项和漂移项的勒贝格范数表示，从而推导出在无穷远处的精确衰减估计，并将此前关于奇异系数下唯一性延续性的结果推广至复值奇异系数情形。

ABSTRACT

In this article, we study the vanishing order of solutions to second order elliptic equations with singular lower order terms in the plane. In particular, we derive lower bounds for solutions on arbitrarily small balls in terms of the Lebesgue norms of the lower order terms for all admissible exponents. Then we show that a scaling argument allows us to pass from these vanishing order estimates to estimates for the rate of decay of solutions at infinity. Our proofs rely on a new $L^p - L^q$ Carleman estimate for the Laplacian in $\mathbb{R}^2$.

研究动机与目标

• 量化二维空间中具有奇异低阶项的二阶椭圆方程解的强唯一性延续性质。
• 基于势能项和漂移项的勒贝格范数，推导解在小球内大小的显式下界。
• 将已知的消失阶估计推广至 $\mathbb{R}^2$ 中复值、奇异系数的情形。
• 通过将消失阶估计应用于缩放论证，建立解在无穷远处的衰减估计。
• 发展并应用一种专为二维拉普拉斯算子设计的新型 $L^p$-$L^q$ 卡莱曼估计。

提出的方法

• 为 $\mathbb{R}^2$ 中的拉普拉斯算子推导一种新型 $L^p$-$L^q$ 卡莱曼估计，以控制具有奇异低阶项的解。
• 利用霍尔德不等式与索伯列夫嵌入，将低阶项 $W \cdot \nabla u$ 和 $V u$ 用 $L^s$ 与 $L^t$ 范数估计。
• 使用截断函数 $\eta$ 局域化问题，并通过分部积分推导出类似卡奇奥波利的不等式。
• 通过选择截断参数 $M_0$ 与 $K_0$，优化截断大小与系数增长之间的平衡，以吸收低阶项。
• 利用缩放论证，将局部消失阶估计转化为无穷远处的全局衰减估计。
• 建立消失阶界 $\|u\|_{L^\infty(B_r(x_0))} \geq c r^{C\beta}$，其中 $\beta$ 依赖于 $V$ 与 $W$ 的 $L^t$ 与 $L^s$ 范数。

实验结果

研究问题

• RQ1 在 $\mathbb{R}^2$ 中，方程 $\Delta u + W \cdot \nabla u + V u = 0$ 在小球内的解大小的最优定量下界是什么？
• RQ2 解的消失阶如何依赖于奇异势能与漂移项的 $L^t$ 与 $L^s$ 范数？
• RQ3 在二维空间中，强唯一性延续性质能否以解在无穷远处的衰减速率来量化？
• RQ4 当 $V$ 与 $W$ 为复值且无界时，消失阶对奇异系数的最优依赖关系是什么？
• RQ5 如何在二维空间中构造并应用 $L^p$-$L^q$ 卡莱曼估计，以获得此类定量估计？

主要发现

• 本文建立了形如 $\|u\|_{L^\infty(B_r(x_0))} \geq c r^{C\beta}$ 的消失阶估计，对所有充分小的 $r$ 成立，其中 $\beta$ 依赖于 $V$ 与 $W$ 的 $L^t$ 与 $L^s$ 范数。
• 该估计表明任意点处的最大消失阶受 $C\beta$ 限制，从而为强唯一性延续性质提供了定量版本。
• 通过缩放，消失阶估计可导出无穷远处的衰减估计：$\inf_{|x_0|=R} \|u\|_{L^\infty(B_1(x_0))} \geq c \exp(-C R^{\Pi} \log R)$，其中 $\Pi$ 依赖于算子 $L$。
• 作者为 $\mathbb{R}^2$ 中的拉普拉斯算子构造了一种新型 $L^p$-$L^q$ 卡莱曼估计，这是控制具有奇异低阶项的解的关键。
• 结果改进了此前 Bourgain-Kenig 与 Kenig-Wang 的工作，将精确估计推广至二维空间中复值、奇异系数的情形。
• 该方法对系数实现了最优依赖关系，其中 $\beta$ 的增长速度为 $\|V\|_{L^t}^{t/(t-1)}$ 与 $\|W\|_{L^s}^{s/(s-2)}$，与文献中已知的最优性结果一致。