[论文解读] Anisotropic p-Laplacian Evolution of Fast Diffusion type

Filomena Feo, Juan Luís Vázquez+1 more|arXiv (Cornell University)|May 9, 2021

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

一句话总结

本文通过对称化与边界方法，建立了各向异性 p-Laplacian 方程在所有方向上具有快速扩散时自相似基本解的存在性与唯一性。在条件 $1 < p_i < 2$ 且 $∑ 1/p_i < (N+1)/2$ 下，证明了有限质量解渐近收敛于自相似轮廓，将 Barenblatt 型理论推广至非齐次各向异性扩散情形。

ABSTRACT

We study an anisotropic, possibly non-homogeneous version of the evolution $p$-Laplacian equation when fast diffusion holds in all directions. We develop the basic theory and prove symmetrization results from which we derive $L^1$ to $L^\infty$ estimates. We prove the existence of a self-similar fundamental solution of this equation in the appropriate exponent range, and uniqueness in a smaller range. We also obtain the asymptotic behaviour of finite mass solutions in terms of the self-similar solution. Positivity, decay rates as well as other properties of the solutions are derived. The combination of self-similarity and anisotropy is not common in the related literature. It is however essential in our analysis and creates mathematical difficulties that are solved for fast diffusions.

研究动机与目标

• 为所有方向上具有快速扩散的各向异性 p-Laplacian 时间演化方程建立完整的存在性与正则性理论。
• 在条件 $\sum_{i=1}^N \frac{1}{p_i} < \frac{N+1}{2}$ 下，建立自相似基本解（Barenblatt 型）的存在性，该条件确保质量有限且满足适当标度。
• 证明所有非负有限质量解均渐近收敛于自相似轮廓，刻画长期行为。
• 利用对称化与比较技术，推导出精确的 $L^1$ 到 $L^\infty$ 估计、衰减速率及正性性质。
• 将经典 Barenblatt 理论推广至各向异性、非齐次情形，其中各空间方向具有不同的 $p_i$ 指数。

提出的方法

• 形式推导自相似假设 $u(x,t) = t^{-\alpha} F(x t^{-\sigma})$，将 PDE 化为一个与时间无关的双重非线性各向异性椭圆方程。
• 应用对称化技术以推导 $L^1$ 到 $L^\infty$ 估计，并证明解的有界性。
• 构造上界与下界屏障，以控制解的衰减与正性，尤其在快速扩散区域。
• 使用反平均指数 $\bar{p} = \left(\frac{1}{N}\sum \frac{1}{p_i}\right)^{-1}$ 来刻画解存在的临界阈值。
• 通过额外的正则性与比较结果，在齐次情形（$p_i = p$）下证明基本解的唯一性。
• 在质量守恒条件下分析轮廓方程 $\sum_{i=1}^N \left[ \left(|(F^{m_i})_{y_i}|^{p_i-2}(F^{m_i})_{y_i}\right)_{y_i} + \alpha \sigma_i (y_i F)_{y_i} \right] = 0$。

实验结果

研究问题

• RQ1 在何种 $p_i$ 指数条件下，各向异性 p-Laplacian 方程在快速扩散情形下存在自相似基本解？
• RQ2 有限质量解的渐近行为如何与各向异性快速扩散区域中的自相似轮廓相关联？
• RQ3 条件 $\sum_{i=1}^N \frac{1}{p_i} < \frac{N+1}{2}$ 在确保基本解的存在性与唯一性中起何作用？
• RQ4 对称化技术是否可在非齐次各向异性情形下导出精确的 $L^\infty$ 估计？
• RQ5 在给定的各向异性快速扩散结构下，解的衰减速率与正性性质为何？

主要发现

• 当所有 $i$ 满足 $1 < p_i < 2$ 且 $\sum_{i=1}^N \frac{1}{p_i} < \frac{N+1}{2}$ 时，各向异性 p-Laplacian 方程存在自相似基本解，其显式标度指数由质量守恒与齐次性结构导出。
• 在齐次情形（$p_i = p$）下，通过额外的正则性与比较论证，证明了基本解的唯一性。
• 所有非负有限质量解均渐近收敛于自相似轮廓，确立了在 $L^1$-范数下的长期行为。
• 对称化技术可导出显式的 $L^1$ 到 $L^\infty$ 估计，其中 $L^\infty$ 有界性依赖于初始质量与指数 $\bar{p}$。
• 解轮廓满足一个涉及不同方向导数的双重非线性各向异性椭圆方程，其轮廓衰减速率与自相似标度一致。
• 条件 $\sum_{i=1}^N \frac{1}{p_i} < \frac{N+1}{2}$ 是基本解存在的必要条件；若不满足，由于可积性或有限传播速度的缺失，理论将失效。