[论文解读] Quantitative uniqueness of solutions to second order elliptic equations with singular lower order terms

Blair Davey, Jiuyi Zhu|arXiv (Cornell University)|Feb 15, 2017

Advanced Mathematical Modeling in Engineering参考文献 14被引用 11

一句话总结

本文通过在 $\mathbb{R}^n$，$n \geq 3$ 中，基于 $W$ 和 $V$ 的 $L^s$-范数与 $L^t$-范数，推导出解的极大消失阶的精确界限，建立了带有奇异低阶项的二阶椭圆方程 $\Delta u + W\cdot\nabla u + Vu = 0$ 的定量唯一延拓估计。关键结果是在无穷远处的 $L^\infty$-范数的对数下界 $\mathcal{M}(R) \geq \exp(-C R^\Pi \log R)$，其中 $\Pi$ 依赖于 $s$、$t$ 和 $n$，将先前结果推广至奇异低阶系数的情形。

ABSTRACT

In this article, we study the quantitative uniqueness of solutions to second order elliptic equations with singular lower order terms. We quantify the strong unique continuation property by estimating the maximal vanishing order of solutions. That is, when $u$ is a non-trivial solution to $ riangle u + W \cdot abla u + V u = 0$ in some open, connected subset of $\mathbb R^n$, where $n \geq 3$, we characterize the vanishing order of solutions in terms of the norms of $V$ and $W$ in their respective Lebesgue spaces. Using these maximal order of vanishing estimates, we also establish quantitative unique continuation at infinity results for solutions to $ riangle u + W \cdot abla u + V u = 0$ in $\mathbb R^n$. The main tools in our work are new versions of $L^p o L^q$ Carleman estimates for a range of $p$- and $q$-values.

研究动机与目标

• 量化二阶椭圆方程在奇异低阶项 $W \in L^s$，$V \in L^t$ 下的强唯一延拓性质。
• 以 $W$ 和 $V$ 的 $L^s$-范数与 $L^t$-范数为基准，刻画解在某一点的最大消失阶。
• 在 $\mathbb{R}^n$ 中，对有界解建立无穷远处的定量唯一延拓，将结果从有界系数推广至奇异低阶系数。
• 将 Bourgain–Kenig 和 Davey 的先前结果推广至 $s,t < \infty$ 的 $L^s$ 与 $L^t$ 系数情形，包括最优指数。

提出的方法

• 推导适用于一系列 $p$ 与 $q$ 的新型 $L^p \to L^q$ 卡莱曼估计，专门用于处理奇异低阶项。
• 利用卡莱曼估计，通过 $W$ 与 $V$ 在 $L^s$ 与 $L^t$ 中的范数，界定解在某一点的最大消失阶。
• 应用尺度变换，将局部消失阶估计转化为全局无穷远唯一延拓结果。
• 对解进行尺度变换 $u_R(x) = u(x_0 + Rx)$，将局部估计推广至大半径，利用方程的齐次性。
• 通过分析尺度解在 $B_{10}$ 中的行为，建立 $|x_0| = R$ 时 $\|u\|_{L^\infty(B_1(x_0))}$ 的下界。
• 将无穷远衰减估计 $\mathcal{M}(R) \geq \exp(-C R^\Pi \log R)$ 中的指数 $\Pi$ 确定为 $s$、$t$ 与 $n$ 的函数，取决于 $W$ 与 $V$ 的相对可积性。

实验结果

研究问题

• RQ1 当 $W \in L^s$ 且 $V \in L^t$ 时，方程 $\Delta u + W\cdot\nabla u + Vu = 0$ 的解的最大消失阶的精确值是什么，其中 $s,t < \infty$？
• RQ2 消失阶如何定量依赖于 $W$ 与 $V$ 的 $L^s$-范数与 $L^t$-范数？
• RQ3 能否为 $\mathbb{R}^n$ 中具有奇异低阶项的解建立无穷远处的定量唯一延拓？
• RQ4 在衰减估计 $\mathcal{M}(R) \geq \exp(-C R^\Pi \log R)$ 中，最优指数 $\Pi$ 是什么？
• RQ5 指数 $\Pi$ 是否最优？在极限情形下（例如 $V \equiv 0$，$t > n$ 时 $\Pi = 2$）是否退化为已知情形？

主要发现

• 在原点处非平凡解 $u$ 的最大消失阶被有界于 $C(K^\kappa + M^\mu)$，其中 $K = \|W\|_{L^s(B_{10})}$，$M = \|V\|_{L^t(B_{10})}$，且 $\kappa, \mu$ 依赖于 $s$、$t$ 与 $n$。
• 当 $r \to 0$ 时，小球中 $u$ 的 $L^\infty$-范数满足 $\|u\|_{L^\infty(B_r)} \geq c r^{C(K^\kappa + M^\mu)}$，从而量化了强唯一延拓性质。
• 对于满足 $\|W\|_{L^s(\mathbb{R}^n)} \leq A_1$，$\|V\|_{L^t(\mathbb{R}^n)} \leq A_0$ 且 $|u(0)| \geq 1$ 的 $\mathbb{R}^n$ 中的解，其下确界 $\mathcal{M}(R) = \inf_{|x_0|=R} \|u\|_{L^\infty(B_1(x_0))}$ 满足 $\mathcal{M}(R) \geq \exp(-C R^\Pi \log R)$，其中 $R$ 足够大，且 $\Pi$ 依赖于 $s$、$t$ 与 $n$。
• 当 $t > \frac{sn}{s+n}$ 时，指数 $\Pi$ 显式计算为 $\frac{4(s-n)}{2s - (3n-2)}$；否则为更复杂的表达式，反映了 $s$ 与 $t$ 之间的相互作用。
• 该结果将 Davey（2018）的 $\Pi = 2$ 指数推广至 $L^s$ 与 $L^t$ 系数情形，且在复值情形下 $\Pi$ 为最优。
• 证明依赖于对解 $u_R(x) = u(x_0 + Rx)$ 的尺度技巧，将大尺度行为转化为局部消失阶估计，再通过卡莱曼估计进行界定。