[论文解读] Optimal Regularity for Degenerate Obstacle Problems

John Andersson, Erik Lindgren+1 more|arXiv (Cornell University)|Feb 20, 2014

Nonlinear Partial Differential Equations参考文献 21被引用 1

一句话总结

该论文建立了涉及 $p$-Laplace 算子的退化 $p$-障碍问题解的最优逐点正则性。证明了当障碍 $\phi$ 属于 $C^{1,1}$ 时，解在自由边界点处一致为 $C^{1,1}$，并将此结果推广至 $L^\infty$ 有界非齐次项的情形，对时空变量中抛物正则性的含义具有影响。

ABSTRACT

In this paper we discuss the obstacle problem for the $p$-Laplace operator. We prove optimal growth results for the solution. Of particular interest is the point-wise regularity of the solution at free boundary points. The most surprising result we prove is the one for the $p$-obstacle problem: Find the smallest $u$ such that $$ \hbox{div} (| abla u|^{p-2} abla u) \leq 0, \qquad u\geq \phi, \qquad \hbox{in } B_1, $$ with $\phi \in C^{1,1}(B_1)$ and given boundary datum on $\partial B_1$. We prove that the solution is uniformly $C^{1,1}$ at free boundary points. Similar results are obtained in the case of an inhomogeneity belonging to $L^\infty$. When applied to the corresponding parabolic problem, these results imply that any solution which is Lipschitz in time is $C^{1,\frac{1}{p-1}}$ in the spatial variables.

研究动机与目标

• 建立 $p$-障碍问题在自由边界点处的精确逐点正则性估计。
• 分析当障碍 $\phi$ 属于 $C^{1,1}(B_1)$ 时解的行为。
• 将正则性结果推广至 $L^\infty$ 中非齐次项的情形。
• 探讨空间正则性对相应抛物问题的影响。

提出的方法

• 通过变分不等式分析 $p$-Laplace 算子：$\mathrm{div}(|\nabla u|^{p-2}\nabla u) \leq 0$，且在 $B_1$ 中满足 $u \geq \phi$。
• 应用比较原理与爆破分析方法，研究自由边界点附近的局部行为。
• 将障碍 $\phi$ 的 $C^{1,1}$ 正则性作为关键结构假设，以推导最优增长估计。
• 采用黏性解方法与渐近分析，刻画解的逐点行为。
• 通过与二次障碍函数比较，建立自由边界点处的一致 $C^{1,1}$ 正则性。
• 通过分析在时间上为利普希茨连续的解，将结果推广至抛物情形，从而获得空间变量上的 $C^{1,\frac{1}{p-1}}$ 正则性。

实验结果

研究问题

• RQ1 当障碍为 $C^{1,1}$ 时，$p$-障碍问题解在自由边界点处的最优逐点正则性是什么？
• RQ2 $L^\infty$ 有界非齐次项的存在如何影响解的正则性？
• RQ3 自由边界点处的 $C^{1,1}$ 正则性结果能否超越齐次情形进行推广？
• RQ4 当解在时间上为利普希茨连续时，抛物 $p$-障碍问题的解继承了何种正则性？
• RQ5 自由边界附近的增长估计如何决定正则性结果的最优性？

主要发现

• 当障碍 $\phi$ 属于 $C^{1,1}(B_1)$ 时，$p$-障碍问题的解在自由边界点处一致为 $C^{1,1}$。
• 即使问题中包含 $L^\infty$ 有界非齐次项，该正则性结果依然成立。
• 解在自由边界附近的最优增长由二次控制函数刻画，从而确认了 $C^{1,1}$ 正则性。
• 对于抛物 $p$-障碍问题，任何在时间上为利普希茨连续的解，在空间变量上均为 $C^{1,\frac{1}{p-1}}$。
• $C^{1,1}$ 正则性是最优的，无法进一步改进，这一点通过极值障碍函数的构造得以证明。
• 结果通过比较原理、爆破分析与黏性方法技术的结合推导得出，确保了在不同正则性假设下的稳健性。