[论文解读] Singular parabolic p-Laplacian systems under non-smooth external forces. Regularity up to the boundary

H. Beirão da Veiga|arXiv (Cornell University)|Jun 8, 2012

Nonlinear Partial Differential Equations参考文献 6被引用 4

一句话总结

该论文为具有非光滑、平方可积外力的奇异抛物 p-Laplacian 系统在边界处建立了最优正则性估计。通过利用一种新颖的对偶性论证，并将定常问题的正则性结果外推，证明了解的二阶空间导数属于 $ L^{2(p-1)}(0,T; W^{2,\tilde{q}}(\bar{\Omega})) $，且其可积性条件对 $ p $、$ n $ 和 Yudovic 常数 $ K $ 是最优的，即使在奇异情形 $ \mu = 0 $ 下亦成立。

ABSTRACT

We study the regularity of the solutions to initial-boundary value problems for N-systems of the p-Laplacian type, in $n\geq 3$ space variables, with square-integrable external forces in the space-time cylinder. So, the ellipticity coefficient remains unbounded. The singular case $μ=0 $ is covered.

研究动机与目标

• 为具有 $ L^2 $ 可积外力的奇异抛物 p-Laplacian 系统的解建立边界处的最优正则性。
• 克服由于外力项 $ f \in L^2(Q_T) $ 的可积性较低而导致的椭圆系数无界性问题。
• 将定常情形下的正则性结果推广至抛物设定，特别是针对 $ \tilde{q} < 2 $ 的情形，该情形超出了先前定理的原始适用范围。
• 针对数据范数和参数 $ \mu $，提供解的二阶空间导数的精确、定量估计。

提出的方法

• 通过利用来自 p-Laplacian 结构的函数 $ G(|\nabla u|^2) $，基于对偶性能量估计，控制时间与空间导数。
• 应用定常 p-Laplacian 问题中的关键正则性定理（[2] 中的定理 2.1），并通过验证其证明的可适配性，将其推广至 $ \tilde{q} < 2 $ 的情形，其中 $ \tilde{q} = \frac{2n(p-1)}{n - 2(2-p)} $。
• 采用不等式 $ \|D^2 v\|_q \leq C_2(q) \|\Delta v\|_q $，其中 $ C_2(q) \leq K q $ 对于 $ q > \frac{2n}{n+2} $ 成立，并施加条件 $ (2-p)C_2(\tilde{q}) < 1 $ 以闭合估计。
• 通过将方程与 $ \nabla \cdot S(\nabla u) $ 作测试，推导出先验估计，得到包含 $ \|\partial_t u\|_{L^2} $、$ \|f\|_{L^2} $ 和 $ \|\nabla u\|_{L^p} $ 的能量型不等式。
• 通过一个Bootstrap论证建立主要结果：由 $ f \in L^2(0,T; L^2) $ 和 $ \partial_t u \in L^2(0,T; L^2) $，推得 $ u \in L^{2(p-1)}(0,T; W^{2,\tilde{q}}) $，利用 $ \tilde{q} \in (1,2] $ 时扩展的正则性结果。
• 在奇异情形 $ \mu = 0 $ 下，通过证明 $ G(y^2) = \frac{2}{p} y^p $，得到与 $ \mu $ 无关的精确估计。

实验结果

研究问题

• RQ1 当外力 $ f $ 仅属于 $ L^2(Q_T) $ 时，是否能为奇异抛物 p-Laplacian 系统建立最优边界正则性，从而导致 $ |\nabla u| $ 无界？
• RQ2 当目标可积性指数 $ \tilde{q} < 2 $ 时，定常 p-Laplacian 问题的正则性理论是否可推广至抛物情形，而该情形超出了原定理的适用范围？
• RQ3 在椭圆系数无界的情况下，$ p $ 和 $ n $ 需满足何种精确条件，才能保证 $ D^2 u \in L^{2(p-1)}(0,T; W^{2,\tilde{q}}) $？
• RQ4 正则性估计如何依赖于 Yudovic 常数 $ K $？在奇异情形 $ \mu = 0 $ 下，能否推导出与 $ \mu $ 无关的条件？
• RQ5 即使 $ f \in L^2 $，是否能控制时间导数 $ \partial_t u $ 和非线性通量 $ \nabla \cdot ((\mu + |\nabla u|)^{p-2} \nabla u) $ 在 $ L^2 $ 中的范数？

主要发现

• 解 $ u $ 属于 $ L^{\infty}(0,T; W^{1,p}_0) $，$ \partial_t u \in L^2(0,T; L^2) $，且非线性通量属于 $ L^2(0,T; L^2) $，确保了解在时间和空间上的强正则性。
• 二阶空间导数满足 $ D^2 u \in L^{2(p-1)}(0,T; L^{\tilde{q}}(\Omega)) $，其中 $ \tilde{q} = \frac{2n(p-1)}{n - 2(2-p)} $，这是核心正则性结果。
• 当 $ n = 3 $ 且 $ p > \frac{3}{2} $ 时，解获得 Hölder 连续性：$ u \in L^{2(p-1)}(0,T; C^{0,\alpha}(\bar{\Omega})) $，其中 $ \alpha = \frac{p - 3/2}{p - 1} $，表明空间正则性得到提升。
• 条件 $ (2-p)C_2(\tilde{q}) < 1 $，其中 $ C_2(\tilde{q}) \leq K \tilde{q} $，确保了正则性估计的有效性，且当 $ p > 2 - \frac{n}{2nK + 2} $ 时该条件成立，从而给出一个精确且显式的临界阈值。
• 在奇异情形 $ \mu = 0 $ 下，估计式 $ \|u\|_{L^{2(p-1)}_T(W^{2,\tilde{q}})} \leq C T^{1/(2(p-1))} + C \|\partial_t u - f\|^{1/(p-1)}_{L^2_T(L^2)} $ 成立，其对数据和 $ \mu $ 的依赖关系明确，且当 $ \mu \to 0 $ 时边界是精确的。
• 证明依赖于一种对偶性论证，以及将定常正则性结果外推至 $ \tilde{q} < 2 $ 的新颖方法，尽管非平凡，但通过仔细分析常数 $ C_2(q) $ 是可行的。