[论文解读] A note on higher regularity boundary Harnack inequality

Daniela De Silva, Ovidiu Savin|arXiv (Cornell University)|Mar 11, 2014

Nonlinear Partial Differential Equations参考文献 2被引用 8

一句话总结

本文在 $C^{k,\beta}$ 域中建立了调和函数的高阶边界哈纳克不等式，证明了在边界上消失的两个正调和函数的商在边界附近属于 $C^{k,\beta}$。关键结果表明，此类商的正则性比一般的 $C^{k,\beta}$ 函数多一个导数，这是通过使用参考调和函数 $u$ 对商进行多项式逼近实现的，且估计结果为最优，仅依赖于维度、$k$ 和 $\alpha$。该结果改进了经典边界哈纳克理论，并可应用于自由边界问题，包括经典的障碍问题。

ABSTRACT

We show that the quotient of two positive harmonic functions vanishing on the boundary of a $C^{k,α}$ domain is of class $C^{k,α}$ up to the boundary.

研究动机与目标

• 在 $C^{k,\alpha}$ 域中建立调和函数的高阶边界哈纳克不等式，将 $k=0$ 时的经典 $C^{\alpha}$ 结果推广至 $k \geq 1$ 的情形。
• 证明在边界上消失的两个正调和函数的商 $v/u$ 在边界附近属于 $C^{k,\alpha}$，其正则性比一般的 $C^{k,\alpha}$ 函数高一个导数。
• 提出一种新方法，用于证明椭圆PDE中自由边界的更高正则性，特别是在经典障碍问题中，无需依赖霍多格罗夫变换。
• 将结果推广至具有 $C^{k,\alpha}$ 系数和边界数据的线性椭圆方程解。
• 证明域 $\partial\Omega$ 的正则性不会限制商的正则性增益，只要参考函数 $u$ 在 $\partial\Omega$ 上消失即可。

提出的方法

• 使用在 $\partial\Omega$ 上消失的参考调和函数 $u \in C^{k,\alpha}$，通过在逼近方案中用 $u$ 替代 $x_n$，构造商 $v/u$ 的 $k$ 次多项式逼近 $uP$。
• 应用尺度变换：对给定的 $r$，将 $v = uP + r^{k+1+\alpha} \tilde{v}(x/r)$，然后通过缩放得到单位球内具有有界误差的新问题。
• 利用 $\tilde{v}$ 满足具有小右端项 $\tilde{w} \in C^{k-2,\alpha}$ 和小低阶系数的扰动椭圆方程的事实，通过紧致性与收敛性论证，得到一个调和极限。
• 通过使用与 $\tilde{v}$ 主导行为匹配的调和多项式 $Q$ 来修正先前的 $P$，在尺度 $\rho r$ 上构造新的逼近多项式 $\bar{P}$，以确保新误差更小。
• 求解线性系统 (3.6) 以确定新多项式 $\bar{P}$ 的系数，确保 $\mathcal{L}(u\bar{P})$ 的首项与 $f = \mathcal{L}v$ 的泰勒展开至 $k-1$ 阶一致，利用椭圆算子的结构。
• 利用紧致性与扰动论证控制差值 $\|P - \bar{P}\|_{L^\infty(B_r)} \leq C r^{k+\alpha}$，确保逼近序列的收敛性。

实验结果

研究问题

• RQ1 能否证明在 $C^{k,\alpha}$ 域边界上消失的两个正调和函数的商在边界附近属于 $C^{k,\alpha}$，而不仅限于经典的 $C^{k-1,\alpha}$ 估计？
• RQ2 只要域的 $C^{k,\alpha}$ 范数有界，商 $v/u$ 的正则性增益是否能一致成立，与域的 $C^{k,\alpha}$ 范数无关？
• RQ3 该高阶正则性结果能否推广至具有 $C^{k,\alpha}$ 系数的一般线性椭圆方程解，而不仅限于调和函数？
• RQ4 能否仅通过商估计，不使用霍多格罗夫变换，证明经典障碍问题中自由边界的更高正则性？
• RQ5 满足 $\|v - uP\|_{L^\infty} \leq r^{k+1+\alpha}$ 的逼近多项式 $P$ 的精确结构是什么？它们如何被迭代改进？

主要发现

• 在 $C^{k,\alpha}$ 域中，两个在边界上消失的正调和函数的商 $v/u$ 属于 $C^{k,\alpha}(\Omega \cap B_{1/2})$，其范数被 $C \|v\|_{L^\infty}$ 控制，其中常数 $C$ 仅依赖于 $n$、$k$ 和 $\alpha$。
• 该结果改进了经典边界哈纳克估计：一般在边界上消失的 $C^{k,\alpha}$ 函数的商属于 $C^{k-1,\alpha}$，而调和函数的商属于 $C^{k,\alpha}$。
• 证明依赖于构造一列逼近多项式 $P$，使得 $\|v - uP\|_{L^\infty(\Omega \cap B_r)} \leq r^{k+1+\alpha}$，且在每个尺度上通过线性系统更新多项式系数。
• 关键步骤是：若 $v - uP$ 在 $L^\infty$ 范数下很小，则存在一个新的逼近多项式 $\bar{P}$，使得 $\|v - u\bar{P}\|_{L^\infty(\Omega \cap B_{\rho r})} \leq (\rho r)^{k+1+\alpha}$，且 $\|P - \bar{P}\|_{L^\infty(B_r)} \leq C r^{k+\alpha}$。
• 该方法对所有满足 $\|g\|_{C^{k,\alpha}} \leq 1$ 的 $C^{k,\alpha}$ 域均适用，且估计中的常数 $C$ 为通用常数（仅依赖于 $n$、$k$、$\alpha$）。
• 作为推论，若经典障碍问题中自由边界属于 $C^{1,\alpha}$ 且 $\Delta u = 1$，则 $\partial\Omega \in C^{\infty}$，通过反复应用商估计于 $u_i / u_n$。