[论文解读] Existence of solutions to degenerate parabolic equations via the Monge-Kantorovich theory

Martial Agueh|ArXiv.org|Sep 24, 2003

Geometric Analysis and Curvature Flows参考文献 17被引用 116

一句话总结

本文通过使用Monge-Kantorovich最优传输理论的变分方法，建立了退化抛物方程（如多孔介质方程、快扩散方程和Fokker-Planck方程）弱解的存在性。通过将方程解释为在Wasserstein空间中关于凸能量泛函的梯度流，该研究在远弱于以往工作的凸性假设下证明了解的存在性，消除了对通量函数一致椭圆性条件的依赖。

ABSTRACT

We obtain solutions of the nonlinear degenerate parabolic equation \[ \frac{\partial ρ}{\partial t} = {div} \Big\{ρ abla c^\star [ abla (F^\prime(ρ)+V) ] \Big\} \] as a steepest descent of an energy with respect to a convex cost functional. The method used here is variational. It requires less uniform convexity assumption than that imposed by Alt and Luckhaus in their pioneering work \cite{luckhaus:quasilinear}. In fact, their assumption may fail in our equation. This class of problems includes the Fokker-Planck equation, the porous-medium equation, the fast diffusion equation, and the parabolic p-Laplacian equation.

研究动机与目标

• 在不需一致椭圆性条件的前提下，建立双重退化抛物方程弱解的存在性。
• 将变分方法的适用范围扩展至多孔介质方程和快扩散方程（$ 1 < p < 2 $）等方程，其中经典假设失效。
• 通过用成本函数 $ c $ 的增长条件替代强椭圆性，推广Alt与Luckhaus的框架。
• 利用最优传输几何，为非线性退化扩散方程提供统一的变分处理方法。

提出的方法

• 将PDE表述为在Wasserstein空间中关于包含内能和势能的能量泛函的梯度流。
• 基于Monge-Kantorovich最优传输成本的时间离散化最小化问题，构造近似解。
• 在概率测度空间 $ \mathcal{P}_a(\Omega) $ 上应用变分法，利用紧致性和下半连续性。
• 通过一致可积性和矩估计，建立能量不等式并证明近似解的强收敛性。
• 使用Legendre-Fenchel变换定义对偶成本函数 $ c^* $，其控制PDE中的通量。
• 通过验证非线性项的弱收敛性并使用变量加倍技巧，证明离散解收敛到弱解。

实验结果

研究问题

• RQ1 当经典椭圆性条件失效时，特别是对于 $ 1 < p < 2 $ 的情形，是否可以构造退化抛物方程的弱解？
• RQ2 Monge-Kantorovich最优传输框架是否允许在弱于Alt与Luckhaus（1990）所用凸性假设下获得存在性结果？
• RQ3 在不需通量函数一致强制性条件的前提下，Wasserstein空间中的梯度流结构是否可用于证明存在性？
• RQ4 成本函数 $ c $ 的何种增长条件足以确保退化情形下解的存在性？
• RQ5 该变分方法如何处理具有非一致凸通量的快扩散方程和p-Laplacian方程？

主要发现

• 本文在增长条件 $ \beta |z|^q \leq c(z) \leq \alpha(|z|^q + 1) $ 下，证明了退化抛物方程 $ \partial_t \rho = \text{div}(\rho \nabla c^*(\nabla(F'(\rho) + V))) $ 弱解的存在性，该条件严格弱于Alt与Luckhaus所需的椭圆性条件。
• 该方法避免了对 $ c^* $ 的一致凸性或椭圆性的要求，使得 $ 1 < p < 2 $ 情形（此时标准单调性条件失效）得以处理。
• 在 $ L^1(\Omega_T) $ 中建立了时间离散近似解的强收敛性，确保极限为弱解。
• 能量不等式在极限下得以保持，证实解沿流为能量泛函的极小化子。
• 该框架适用于关键方程，包括Fokker-Planck方程、多孔介质方程、快扩散方程和抛物型p-Laplacian方程。
• 通过变量加倍法证明了唯一性，将Otto的结果推广至退化情形。