[论文解读] Unique continuation at the boundary for harmonic functions in $C^1$ domains and Lipschitz domains with small constant

Xavier Tolsa|arXiv (Cornell University)|Apr 22, 2020

Advanced Mathematical Modeling in Engineering参考文献 17被引用 4

一句话总结

该论文在小常数的 $C^1$ 和 Lipschitz 域中建立了调和函数在边界处的唯一连续性性质：若一个调和函数在其边界的一个相对开子集上消失，且其法向导数在该边界的一个正测度子集上也消失，则该函数恒为零。证明依赖于 Almgren 的频率函数、Logunov 和 Malinnikova 的组合技巧，以及一种概率论方法，以控制靠近边界处 $L^2$ 平均值的增长。

ABSTRACT

Let $Ω\subset\mathbb R^n$ be a $C^1$ domain, or more generally, a Lipschitz domain with small local Lipschitz constant. In this paper it is shown that if $u$ is a function harmonic in $Ω$ and continuous in $\overline Ω$ which vanishes in a relatively open subset $Σ\subset\partialΩ$ and moreover the normal derivative $\partial_νu$ vanishes in a subset of $Σ$ with positive surface measure, then $u$ is identically $0$.

研究动机与目标

• 解决关于在小常数 Lipschitz 域中调和函数在边界处唯一连续性的长期猜想。
• 将已知于 $C^{1,1}$、凸域和 Dini 域的结果推广到具有更广范围的小 Lipschitz 常数的域类。
• 建立函数及其法向导数在正测度边界集上消失意味着调和函数恒为零的结论。
• 提出一种基于频率函数分析与组合技巧的新方法，避免对频率函数一致有界的依赖。

提出的方法

• 使用 Almgren 的频率函数分析调和函数在边界附近 $L^2$ 平均值的增长。
• 应用一个关键的技术引理，该引理由 Logunov 和 Malinnikova 在节点集研究中的工作启发，以控制频率函数较大的集合。
• 采用概率论方法，证明在边界上几乎处处有 $\liminf_{r\to 0}\frac{\int_{\partial B(x,12r)}u^{2}\,d\sigma}{\int_{\partial B(x,r)}u^{2}\,d\sigma}<\infty$。
• 利用三球不等式和频率函数对数的凸性，推导出增长估计。
• 使用 Cauchy-Schwarz 不等式和 $|v|$ 的次调和性，将 $L^1$ 平均值用 $L^2$ 平均值控制。
• 依赖三球不等式和尺度变换，推导出以小参数 $\varepsilon$ 表示的衰减估计，从而得到平均比的期望衰减。

实验结果

研究问题

• RQ1 在何种条件下，调和函数及其法向导数在边界的一个正测度子集上同时消失，可推出该函数恒为零？
• RQ2 是否可以在频率函数不一致有界的情况下，对具有小局部 Lipschitz 常数的 Lipschitz 域建立边界处的唯一连续性？
• RQ3 是否可能在不假设区域为 Dini 或凸域的前提下，仅利用 Lipschitz 常数的小性来证明该猜想？
• RQ4 如何将节点集理论中的组合技巧适配到边界唯一连续性问题中？

主要发现

• 定理 1.1 中所述，当局部 Lipschitz 常数足够小时，该猜想在 Lipschitz 域中成立。
• 与先前在 Dini 或凸域中的方法不同，本证明无需频率函数一致有界。
• 概率论方法表明，对几乎所有 $x\in\Sigma$，有 $\liminf_{r\to 0}\frac{\int_{\partial B(x,12r)}u^{2}\,d\sigma}{\int_{\partial B(x,r)}u^{2}\,d\sigma}<\infty$，这意味着 $\partial_\nu u$ 不可能在正测度集上消失。
• 该结果意味着该猜想对所有 $C^1$ 域也成立，因为它们可局部近似为小 Lipschitz 常数的图像。
• 该方法避免使用将拉普拉斯算子变换为非常系数 PDE 的变量替换技术，转而依赖频率函数和几何估计。
• 关键引理利用 Logunov 和 Malinnikova 的组合技巧，界定了频率函数较大的集合，从而在无需一致有界性的情况下控制了边界附近的增长。