[论文解读] Weak Solution of a Doubly Degenerate Parabolic Equation

Di Kang, Tharathep Sangsawang+1 more|arXiv (Cornell University)|Oct 20, 2016

Fluid Dynamics and Thin Films参考文献 4被引用 7

一句话总结

本文通过引入 ε 和 δ 参数的正则化方法，证明了在球面上建模的四阶、双重退化抛物方程存在非负弱解。关键结果是在加权 Sobolev 空间 $ H^1_w((-1,1)) $ 中证明了解的存在性，且解具有收敛性和 Hölder 连续性，确保在初始数据非负时解保持非负。

ABSTRACT

This paper studies a fourth-order, nonlinear, doubly-degenerate parabolic equation derived from the thin film equation in spherical geometry. A regularization method is used to study the equation and several useful estimates are obtained. The main result of this paper is to prove the existence of a weak solution of the equation in a weighted Sobolev space.

研究动机与目标

• 建立从球面表面薄膜流动导出的双重退化抛物方程弱解存在的证明。
• 解决在 $ x = \pm 1 $ 和 $ u = 0 $ 处抛物性丧失的问题，该问题使得标准抛物理论不再适用。
• 将经典用于退化方程的正则化方法扩展至具有空间变系数的双重退化情形。
• 在加权 Sobolev 空间 $ H^1_w $ 中证明解的存在性，其中权重 $ w(x) = 1 - x^2 $ 反映球面几何结构。
• 确保解保持初始数据的非负性，与物理预期一致。

提出的方法

• 采用双重正则化：在非线性扩散项中加入 $ \epsilon > 0 $，在空间系数 $ 1 - x^2 $ 中加入 $ \delta > 0 $，从而得到一个非退化的正则化方程。
• 在正则化设定下，利用 Schauder 估计与紧致性论证，推导出 $ H^1_w $-范数与 Hölder 范数的统一有界性。
• 运用广义 Nirenberg 不等式与加权嵌入定理，控制解在边界 $ x = \pm 1 $ 附近的性质。
• 构造正则化解序列 $ u_{\epsilon,\delta} $，并利用 Arzelà-Ascoli 定理证明其在 $ C^{1/2,1/8}_{x,t,w} $-范数下等度连续。
• 令 $ \epsilon \to 0 $ 与 $ \delta \to 0 $ 取极限，利用一致有界性与收敛性，得到满足弱形式的极限函数 $ u $。
• 通过与辅助函数 $ g_\epsilon $ 和 $ G_\epsilon $ 的比较论证，证明若初始数据非负，则 $ u \geq 0 $。

实验结果

研究问题

• RQ1 当方程在 $ x = \pm 1 $ 处失去抛物性且在 $ u = 0 $ 时，球面区域上的双重退化薄膜方程是否存在弱解？
• RQ2 由于奇异权重 $ 1 - x^2 $ 的存在，是否可在加权 Sobolev 空间中证明非负弱解的存在性？
• RQ3 ε 与 δ 参数的正则化方法如何促进退化情形下解存在性的证明？
• RQ4 弱解在空间与时间上的 Hölder 连续性如何？
• RQ5 在给定方程结构下，解是否保持初始数据的非负性？

主要发现

• 在加权 Sobolev 空间 $ H^1_w((-1,1)) $ 中，双重退化抛物方程存在弱解，权重为 $ w(x) = 1 - x^2 $。
• 解 $ u $ 在空间上具有 $ \frac{1}{2} $ 阶 Hölder 连续性，在时间上具有 $ \frac{1}{8} $ 阶 Hölder 连续性，且在整个定义域内一致成立。
• 解在 $ P = \Omega \times (0,T) \setminus \{u = 0\} $ 中满足方程的弱形式，其中通量项包含 $ |u|^n(1 - x^2) $ 与 $ (1 - x^2)u_x $ 的二阶导数。
• 解保持非负性：若初始数据 $ u_0 \geq 0 $，则几乎处处有 $ u \geq 0 $。
• 正则化解 $ u_{\epsilon,\delta} $ 对 $ u $ 的收敛是 $ \Omega \times (0,T) $ 上的一致收敛，通过 Arzelà-Ascoli 定理与紧致性论证建立。
• 证明依赖于加权 $ H^1 $-范数的一致有界性，以及在 $ \epsilon, \delta \to 0 $ 时正则化项趋于零。