[论文解读] On the global regularity for nonlinear systems of the p-Laplacian type

H. Beirão da Veiga, Francesca Crispo|arXiv (Cornell University)|Aug 19, 2010

Nonlinear Partial Differential Equations参考文献 19被引用 11

一句话总结

该论文建立了非线性 $ p $-拉普拉斯系统解的二阶导数在边界处的全局 $ W^{2,q} $-正则性，涵盖全梯度与对称梯度两种情形。对于 $ p < 2 $，证明了在任意大的 $ q $ 下的 $ W^{2,q} $-正则性，即使在退化情形（$ \mu = 0 $）下也成立；对于 $ p > 2 $，在 $ \mu > 0 $ 的条件下建立了 $ W^{2,2} $-正则性，采用了一种新颖的光滑化与弱收敛方法，适用于具有狄利克雷边界条件的立方体区域。

ABSTRACT

We consider the Dirichlet boundary value problem for nonlinear systems of partial differential equations with p-structure. We choose two representative cases: the "full gradient case", corresponding to a p-Laplacian, and the "symmetric gradient case", arising from mathematical physics. The domain is either the "cubic domain" (see the definition below) or a bounded open subset of R^3 with a smooth boundary. We are interested in regularity results, up to the boundary, for the second order derivatives of the velocity field. Depending on the model and on the range of p, p&lt;2 or p&gt;2, we prove different regularity results. It is worth noting that in the full gradient case with p&lt;2 we cover the degenerate case and obtain W^{2,q}-global regularity results, for arbitrarily large values of q.

研究动机与目标

• 建立 $ p $-拉普拉斯型系统解的二阶导数在边界处的全局正则性结果。
• 解决文献中缺乏边界正则性结果的问题，特别是针对非齐次系统的情形。
• 将正则性理论推广至 $ p < 2 $ 时的退化情形（$ \mu = 0 $），此时系统变为奇异。
• 在非齐次设定下，首次提供二阶导数在边界处的完整正则性结果，且无需假设结构函数 $ S $ 的 $ C^1 $-可微性。
• 通过仅假设 $ S $ 的利普希茨连续性，而非完全可微性，推广现有结果。

提出的方法

• 分析两类代表性系统：全梯度情形 $ -\nabla \cdot S(\nabla u) = f $ 与对称梯度情形 $ -\nabla \cdot S(\mathcal{D}u) = f $，其中 $ S $ 定义为 $ (\mu + |\nabla u|)^{p-2}\nabla u $。
• 使用光滑化技术逼近解，并推导光滑化系统与原系统之间差值的弱形式。
• 应用控制收敛定理与 $ W^{2,q} $ 中的弱收敛，将极限过程传递至光滑化系统。
• 通过比较论证，令 $ V = u - w $，并利用能量估计证明 $ \Delta V = 0 $，从而得出 $ V = 0 $，即 $ w = u $。
• 依赖于一个关键的逐点估计 $ |I| \leq |\nabla v|^2 |D^2 v| |\Delta v| $，该估计通过柯西-施瓦茨不等式与向量范数不等式导出。

实验结果

研究问题

• RQ1 能否在 $ p < 2 $ 时，即使在退化情形（$ \mu = 0 $）下，建立 $ p $-拉普拉斯系统在边界处的全局 $ W^{2,q} $-正则性？
• RQ2 当 $ \mu > 0 $ 时，$ p > 2 $ 系统的正则性能达到何种程度，且是否可推广至边界？
• RQ3 能否在不假设结构函数 $ S $ 的 $ C^1 $-光滑性下获得正则性结果，仅依赖于其利普希茨连续性？
• RQ4 在 $ p < 2 $ 的全梯度情形下，是否可证明 $ W^{2,q} $-正则性对任意大的 $ q $ 成立？其精确的 $ p $ 取值范围为何？
• RQ5 系统结构——全梯度与对称梯度——如何影响二阶导数的边界正则性？

主要发现

• 对于 $ p < 2 $，论文证明了对任意 $ q \geq 2 $，均有 $ W^{2,q}(\Omega) $-正则性，即使在退化情形 $ \mu = 0 $ 下也成立，这意味着梯度在边界处具有霍尔德连续性。
• $ W^{2,q} $-正则性结果在特定区间 $ [C, 2) $ 内成立，其中常数 $ C $ 在分析中明确给出。
• 对于 $ p > 2 $，在 $ \mu > 0 $ 条件下，论文建立了 $ W^{2,2}(\Omega) $-正则性，这是对边界情形的重要推广。
• 结果在立方体区域与 $ \mathbb{R}^3 $ 中的一般有界光滑区域上均成立，且满足狄利克雷边界条件。
• 该方法避免了对 $ S $ 的 $ C^1 $-可微性的要求，仅依赖于其利普希茨连续性，从而扩大了在物理模型中的适用范围。
• 所采用的证明技术，包括光滑化与弱收敛，使作者能够完成极限过程，并得出解 $ u $ 在弱意义下满足原系统。