[论文解读] Overdetermined boundary value problems for the $\infty$-Laplacian

Giuseppe Buttazzo, Bernd Kawohl|arXiv (Cornell University)|Nov 13, 2009

Nonlinear Partial Differential Equations参考文献 13被引用 5

一句话总结

本文研究了 ℝⁿ 中区域 Ω 上 ∞-Laplacian 的超定边界值问题，表明当解为网函数（web-function）时，若存在 −Δ∞u=1 的粘性解，且满足零 Dirichlet 条件与常数 Neumann 条件，则 Ω 必为球形。关键结果为：到边界的距离函数 u∞(x)=d(x,∂Ω) 是极限问题的唯一粘性解，满足在 Ω∖ℛ(Ω) 中 |Du|−1=0 与 −Δ∞u=0，且在 ∂Ω 上满足 u=0 与 −∂u/∂ν=1。

ABSTRACT

We consider overdetermined boundary value problems for the $\infty$-Laplacian in a domain $Ω$ of $\R^n$ and discuss what kind of implications on the geometry of $Ω$ the existence of a solution may have. The classical $\infty$-Laplacian, the normalized or game-theoretic $\infty$-Laplacian and the limit of the $p$-Laplacian as $p o \infty$ are considered and provide different answers.

研究动机与目标

• 确定当 ∞-Laplacian 的超定边界值问题存在解时，对 ℝⁿ 中区域 Ω 的几何含义。
• 考察 ∞-Laplacian 的不同定义（经典、归一化、p-Laplacian 的极限）以及解的概念（粘性解与弱解）如何影响区域 Ω 的几何结构。
• 在假设解为网函数（即 u 仅依赖于到 ∂Ω 的距离）的前提下，证明唯一可能的区域为球形。
• 证明距离函数 d(x,∂Ω) 是极限问题的唯一粘性解，且在 Ω∖ℛ(Ω) 中以粘性意义满足 |Du|−1=0 与 −Δ∞u=0。

提出的方法

• 使用 ∞-Laplacian 的粘性解理论，其定义为 −Δ∞u = ⟨D²u Du, Du⟩，通过在接触点处的次解与超解条件来解释解。
• 分析球形区域中的径向解，推导出显式形式 u(r) = (3⁴ᐟ³/4)(R⁴ᐟ³−r⁴ᐟ³)，并证明 Neumann 条件 −∂u/∂ν = a 意味着 R = a³/3。
• 对 p-Laplacian 方程进行渐近分析（p→∞），证明粘性解 uₚ 收敛于距离函数 u∞(x)=d(x,∂Ω)。
• 通过在 p-Laplacian 不等式中取极限，证明 u∞ 是 min{|Du|−1, −⟨D²u Du, Du⟩}=0 的粘性次解与超解。
• 利用 Cauchy-Kowalewski 定理与沿最陡上升路径的轨迹分析，证明在一般区域中网函数假设的合理性。
• 依赖比较原理与收敛性论证，证明极限方程同时捕捉了 eikonal 方程 |Du|=1 与 ∞-调和方程 −Δ∞u=0 在正则集中的本质特征。

实验结果

研究问题

• RQ1 当 −Δ∞u=1 在 ∂Ω 上满足 u=0 与 −∂u/∂ν=a 的粘性解存在时，对区域 Ω 施加了何种几何约束？
• RQ2 在超定问题中，∞-Laplacian 的解结构与 p-Laplacian 的解结构有何不同，特别是在正则性与解的唯一性方面？
• RQ3 距离函数 d(x,∂Ω) 是否可作为包含 eikonal 方程与 ∞-调和方程的极限超定问题的粘性解？
• RQ4 在何种条件下，距离函数是 ∞-Laplacian 的唯一特征函数？ridge 集 ℛ(Ω) 如何影响这一唯一性？
• RQ5 网函数假设在将解结构与区域几何联系起来时起什么作用？该假设在一般区域中是否合理？

主要发现

• 距离函数 u∞(x)=d(x,∂Ω) 是 Ω 中 min{|Du|−1, −⟨D²u Du, Du⟩}=0 的粘性解，且在 Ω∖ℛ(Ω) 中同时满足 eikonal 方程 |Du|=1 与 ∞-调和方程 −Δ∞u=0。
• 该解满足在 ∂Ω 上 u=0，且在 ∂Ω 的可微部分满足 −∂u/∂ν=1，因此是高度超定边界值问题的解。
• 若 ridge 集 ℛ(Ω) 等于中轴 M(Ω)，则 u∞ 是 ∞-Laplacian 的唯一特征函数，满足特征值方程 min{−⟨D²u Du, Du⟩, −|Du|+Λ∞u}=0 在 Ω 中成立。
• 对于经典 ∞-Laplacian，半径为 R=a³/3 的球形区域中的径向解同时满足 Dirichlet 与 Neumann 边界条件，表明仅球形区域可容纳此类解。
• 粘性解方法允许分析非光滑解，尤其在 |Du|=0 或 Hessian 矩阵退化处，通过与从上方或下方接触的光滑函数进行测试。
• 通过粘性解理论证明了 p-Laplacian 解 uₚ 沿 p→∞ 收敛于 u∞，且极限方程捕捉了超定问题的本质特征。