[论文解读] Sharp Regularity for Weak Solutions to the Porous Medium Equation

Ugo Gianazza, Juhana Siljander|arXiv (Cornell University)|Jul 23, 2016

Nonlinear Partial Differential Equations参考文献 17被引用 3

一句话总结

本文建立了非负弱解在 $ m \geq 2 $ 条件下对多孔介质方程的精确 Hölder 正则性，证明了在以 $ t_0 + a^{1-m}r^2 $ 为中心的时间平移柱体中，$ |\nabla u^{m-1}| $ 局部有界，其中 $ a $ 是时间 $ t_0 $ 时 $ u $ 的空间平均值。这给出了 $ u $ 的最优 Hölder 连续性指数 $ \alpha = \frac{1}{m-1} $，并量化了即使在自由边界处可能出现奇点的情况下，解的瞬时正则化行为。

ABSTRACT

Let $u$ be a nonnegative, local, weak solution to the porous medium equation for $m\ge2$ in a space-time cylinder $Ω_T$. Fix a point $(x_o,t_o)\inΩ_T$: if the average \[ a{\buildrel\mbox{def}\over{=}}\frac1{|B_r(x_o)|}\int_{B_r(x_o)}u(x,t_o)\,dx>0, \] then the quantity $| abla u^{m-1}|$ is locally bounded in a proper cylinder, whose center lies at time $t_o+a^{1-m}r^2$. This implies that in the same cylinder the solution $u$ is Hölder continuous with exponent $α=\frac1{m-1}$, which is known to be optimal. Moreover, $u$ presents a sort of instantaneous regularisation, which we quantify.

研究动机与目标

• 建立多孔介质方程在 $ m \geq 2 $ 条件下弱解的精确正则性估计，特别关注最优 Hölder 指数。
• 量化解在自由边界处可能出现奇点后仍具有的瞬时正则化行为，即使存在 Aronson–Graveleau 型反例。
• 证明 $ |\nabla u^{m-1}| $ 在时间平移抛物柱体中局部有界，从而推出 $ u $ 的最优 Hölder 连续性。
• 提供完全基于内部的估计，无需依赖全局或初始数据假设，与文献中已有的等待时间结果形成对比。
• 通过从内部论证建立精确的梯度估计，为未来自由边界的正则性分析奠定基础。

提出的方法

• 利用内在 Harnack 不等式与弱 Harnack 不等式，控制抛物柱体中解的行为。
• 应用定量 $ L^\infty $ 估计，以固定时间下 $ u $ 的空间平均值来界定解。
• 通过正则化与截断构造比较函数 $ u_{\epsilon,r} $，以从上方控制解。
• 采用时间平移柱体 $ (x_0,t_0) + Q_{r/2}^-(\bar{\theta}) $，其中 $ \bar{\theta} = a^{1-m} $，$ a $ 为 $ t_0 $ 时刻 $ u $ 的平均值。
• 利用定义 $ \nabla u = \frac{2}{m+1} \mathbf{1}_{\{u>0\}} u^{\frac{1-m}{2}} \nabla u^{\frac{m+1}{2}} $ 处理方程中的退化性。
• 在 $ \epsilon \to 0 $ 时取极限，从正则化解过渡到原始弱解，同时保持估计不变。

实验结果

研究问题

• RQ1 对于多孔介质方程在 $ m \geq 2 $ 条件下的解 $ u $，即使在自由边界处出现奇点，其在内部是否仍能达到最优 Hölder 连续性指数 $ \alpha = \frac{1}{m-1} $？
• RQ2 在以 $ t_0 + a^{1-m}r^2 $ 为中心、$ a $ 为 $ t_0 $ 时刻 $ u $ 的空间平均值的时间平移抛物柱体中，梯度 $ |\nabla u^{m-1}| $ 是否局部有界？
• RQ3 是否存在可量化的瞬时正则化形式，即使在存在 Aronson–Graveleau 型奇异行为的情况下？
• RQ4 能否仅通过内部论证推导出精确的正则性估计，而独立于初始数据或全局行为？
• RQ5 该精确正则性结果是否支持多孔介质方程中自由边界的正则性？

主要发现

• 在柱体 $ (x_0,t_0) + Q_{r/2}^-(M^{1-m}) $ 中，梯度 $ |\nabla u^{m-1}| $ 局部有界，其中 $ M $ 为 $ t_0 $ 时刻 $ u $ 的空间平均值，且满足 $ M \geq \gamma r^{1/(m-1)} $。
• 解 $ u $ 在同一柱体中具有指数 $ \alpha = \frac{1}{m-1} $ 的 Hölder 连续性，该指数为最优且精确。
• 存在仅依赖于 $ \{m,N\} $ 的常数 $ \kappa $，使得估计 $ \sup_{(x_0,t_0)+Q_{r/2}^-(M^{1-m})} u(x,t) \leq \kappa(\gamma + 2)r^{1/(m-1)} $ 成立。
• 结果量化了瞬时正则化：即使解在自由边界处奇异，其在时间平移柱体中仍能立即恢复正则性。
• 证明依赖于内在 Harnack 不等式、定量 $ L^\infty $ 估计与比较原理，且不依赖初始数据或全局行为。
• 该方法可推广至形如 $ u_t - \operatorname{div}(m|u|^{m-1}|\nabla u|^{p-2}\nabla u) = 0 $ 的双非线性方程，提示最优 Hölder 指数可能为 $ \alpha = \frac{p-1}{m+p-3} $。