[论文解读] Convergence of solutions to the $p$-Laplace evolution equation as $p$ goes to 1

Jonas M. Tölle|arXiv (Cornell University)|Mar 1, 2011

Advanced Mathematical Modeling in Engineering参考文献 19被引用 5

一句话总结

该论文建立了抛物型 p-Laplace 方程在 $L^2(\Omega)$ 中关于时间一致的强收敛性，当 $p \to 1$ 时，包括奇异情形 $p=1$。通过凸势能的 Mosco 收敛性与希尔伯特空间中的变分方法，证明了解对参数 $p$ 和初始数据的连续依赖性，将理论扩展至总变差流（1-Laplace）极限。

ABSTRACT

We prove that the set of solutions to the parabolic singular $p$-Laplace equation with Dirichlet boundary conditions on a bounded Lipschitz domain $Ω$ for all space dimensions is continuous in the parameter $p\in [1,+\infty)$ and the initial data. The highly singular limit case p=1 is included. In particular, we show that the solutions $u_p$ converge strongly in $L^2(Ω)$, uniformly in time, to the solution $u_1$ of the parabolic 1-Laplace equation as $p o 1$.

研究动机与目标

• 建立抛物型 p-Laplace 方程解对参数 $p \in [1, \infty)$ 的连续依赖性，包括奇异情形 $p=1$。
• 证明当 $p \to 1$ 时，解 $u_p$ 在 $L^2(\Omega)$ 中关于时间一致强收敛于抛物型 1-Laplace 方程的解 $u_1$。
• 将收敛性分析扩展至 Dirichlet 与 Neumann 两种边界条件。
• 为极限情形 $p=1$ 提供严格的变分框架，通过总变差流与次微分微积分对之建模。
• 证明关联凸势能的 Mosco 收敛性可推出演化设定下解对 $p$ 的连续依赖性。

提出的方法

• 利用希尔伯特空间中非线性半群与次微分演化方程的理论，特别应用 Attouch 的 Mosco 收敛定理。
• 通过 Yosida 正则化定义弱变分解，并将 $p$-Laplacian 视为 $L^2(\Omega)$ 上凸泛函 $\Phi_p$ 的梯度。
• 应用 Mosco 收敛准则于序列 $\Phi_p$ 当 $p \to 1$ 时，确保关联次微分流的收敛性。
• 采用对有界变差函数的逼近技术，包括光滑化与零延拓，以处理奇异极限 $p=1$。
• 使用对角线论证（引理 A.1）提取子列 $u_{m_n}$，使得 $\Phi_n(u_{m_n}) \to \|Du\|_{\text{TV}}$，即 $u$ 的总变差。
• 通过将测试函数修改为 $C_0^\infty(\Omega; \mathbb{R}^d)$ 并调整收敛估计中的对偶范数，将 Neumann 边界条件下的证明策略进行适应。

实验结果

研究问题

• RQ1 当 $p \to 1$ 时，抛物型 p-Laplace 方程的解 $u_p$ 是否在 $L^2(\Omega)$ 中关于时间一致强收敛？
• RQ2 解映射 $p \mapsto u_p$ 在 $L^2(\Omega)$ 中是否对 $p \in [1, \infty)$ 连续，包括奇异情形 $p=1$？
• RQ3 是否可建立凸势能 $\Phi_p$ 的 Mosco 收敛性，以推出解对 $p$ 的连续依赖性？
• RQ4 与 Dirichlet 条件相比，解在 Neumann 边界条件下的收敛行为如何？
• RQ5 总变差流（1-Laplace 方程）是否为 $p \to 1$ 时 p-Laplace 演化过程的正确变分极限？

主要发现

• 对于 Dirichlet 边界条件，抛物型 p-Laplace 方程的解 $u_p$ 在 $L^2(\Omega)$ 中关于时间一致强收敛于 $p=1$ 时的 1-Laplace 方程解 $u_1$。
• 当初始数据 $x_p \to x_1$ 在 $L^2(\Omega)$ 中时，该收敛性成立，从而确立了解对 $p$ 和初始数据的连续依赖性。
• 证明了凸势能 $\Phi_p$ 到 $\Phi_1$ 的 Mosco 收敛性，结合 Attouch 定理，可推出解对 $p$ 的连续依赖性。
• 对于 Neumann 情形，通过在 $C_0^\infty(\Omega; \mathbb{R}^d)$ 中使用适当的测试函数，对 Mosco 收敛性证明进行适应，同样建立了收敛结果。
• 在 $p=1$ 时的极限方程被严格识别为总变差流，其次微分 $\partial \Phi_1$ 对应于梯度符号的散度。
• 使用对角线论证（引理 A.1）提取出序列 $m_n \uparrow \infty$，使得 $\Phi_n(u_{m_n}) \to \|Du\|_{\text{TV}}$，确认能量泛函收敛于总变差。