[论文解读] Regularity of Solutions of the Parabolic Normalized p-Laplace Equation

Fredrik Arbo Høeg, Peter Lindqvist|arXiv (Cornell University)|Feb 13, 2018

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

一句话总结

该论文证明了抛物归一化 p-Laplace 方程的粘性解在 Sobolev 意义下时间导数的存在性，表明当 $ 1 < p < 2 $ 时，$ u_t ∈ L^2_{\text{loc}}(\Omega_T) $；当 $ \frac{6}{5} < p < \frac{14}{5} $ 时，二阶空间导数 $ u_{x_i x_j} \in L^2_{\text{loc}} $。证明方法依赖于正则化、通过分部积分获得的能量估计，以及梯度的最大值原理，避免了对边界行为的假设。

ABSTRACT

The parabolic normalized p-Laplace equation is studied. We prove that a viscosity solution has a time derivative in the sense of Sobolev belonging locally to $L^2$.

研究动机与目标

• 建立抛物归一化 p-Laplace 方程粘性解的时间导数 $ u_t $ 在 Sobolev 意义下的存在性及其局部可积性。
• 在 $ p $ 的受限范围内将此正则性扩展至二阶空间导数 $ u_{x_i x_j} $。
• 在不假设侧边界值光滑或有界的条件下证明这些结果，专注于内部正则性。
• 开发一种基于正则化与能量估计的方法，避免对时间正则性依赖于边界控制。

提出的方法

• 通过引入小参数 $ \epsilon > 0 $ 对方程进行正则化，以 $ |\nabla u|^2 + \epsilon^2 $ 替代 $ |\nabla u|^2 $，从而保证一致抛物性。
• 对正则化后的方程应用经典抛物型正则性理论，得到光滑解 $ u^\epsilon $。
• 通过将正则化方程乘以 $ \xi^2 u_t^\epsilon (V^\epsilon)^{(p-2)/2} $，进行分部积分，并利用恒等式 $ \frac{1}{p}\frac{\partial}{\partial t}(V^\epsilon)^{p/2} = (V^\epsilon)^{(p-2)/2} \langle \nabla u^\epsilon, \nabla u_t^\epsilon \rangle $ 推导能量估计。
• 利用 Young 不等式与散度结构，吸收低阶项，从而导出 $ u_t^\epsilon $ 的 $ L^2 $ 估计。
• 利用一致有界性与紧致性，令 $ \epsilon \to 0 $ 取极限，其中关键依据为 $ u^\epsilon \to u $ 局部一致收敛。
• 建立 $ |\nabla u^\epsilon| $ 的最大值原理，以实现对梯度在 $ \epsilon $ 上的一致控制，这对能量估计至关重要。

实验结果

研究问题

• RQ1 抛物归一化 p-Laplace 方程粘性解的时间导数 $ u_t $ 是否在 Sobolev 意义下存在，并属于 $ L^2_{\text{loc}} $?
• RQ2 对于哪些 $ p \in (1, \infty) $ 范围，时间导数 $ u_t $ 与二阶空间导数 $ u_{x_i x_j} $ 均属于 $ L^2_{\text{loc}} $?
• RQ3 该正则性是否可在不假设侧边界数据光滑或有界的情况下建立？
• RQ4 该正则性结果是否依赖于方法本身的局限性，特别是范围 $ \frac{6}{5} < p < \frac{14}{5} $？
• RQ5 能否将 $ u_t $ 的 $ L^2 $-正则性扩展至整个范围 $ 1 < p < \infty $？

主要发现

• 当 $ 1 < p < 2 $ 时，时间导数 $ u_t $ 在 Sobolev 意义下存在，且属于 $ L^2_{\text{loc}}(\Omega_T) $，即使在无边界假设下亦成立。
• 当 $ \frac{6}{5} < p < \frac{14}{5} $ 时，时间导数 $ u_t $ 与二阶空间导数 $ u_{x_i x_j} $ 均在 Sobolev 意义下存在，且属于 $ L^2_{\text{loc}}(\Omega_T) $。
• $ u_t $ 的 $ L^2 $-正则性通过正则化方程上的能量估计获得，利用了分部积分与涉及 $ \frac{1}{p}\frac{d}{dt}(V^\epsilon)^{p/2} $ 的时间导数恒等式。
• 该方法依赖于 $ |\nabla u^\epsilon| $ 的最大值原理，确保了梯度的一致控制，从而支持能量估计的成立。
• 所得估计与侧边界数据无关，表明正则性是方程在内部的内在性质。
• 极限值 $ \frac{6}{5} $ 与 $ \frac{14}{5} $ 是方法本身的产物，作者推测结果可能对所有 $ p \in (1, \infty) $ 成立，但当前方法尚无法覆盖该范围。