[论文解读] Non linear elliptic theory and the Monge-Ampere equation

Luis Caffarelli|ArXiv.org|Dec 1, 2002

Geometry and complex manifolds被引用 11

一句话总结

本文在非线性椭圆PDE理论中建立了基础性结果，聚焦Monge-Ampère方程作为核心模型。通过证明De Giorgi型定理的Hölder正则性，统一了变分法、椭圆型方程与几何视角，并将其应用于全局Liouville定理、均匀化及最优传输问题，揭示了分析学、微分几何与数学物理之间的深层联系。

ABSTRACT

The Monge-Ampere equation, plays a central role in the theory of fully non linear equations. In fact we will like to show how the Monge-Ampere equation, links in some way the ideas comming from the calculus of variations and those of the theory of fully non linear equations.

研究动机与目标

• 通过Monge-Ampère方程统一完全非线性椭圆方程理论与变分法、几何分析。
• 利用非散度型方程的De Giorgi型定理，建立Monge-Ampère方程解的Hölder正则性。
• 研究周期性与随机介质中Monge-Ampère方程的全局解，导出均匀化与Liouville型定理。
• 探讨Monge-Ampère方程与最优传输之间的联系，尤其在涡度动力学与无维度浓度不等式背景下的应用。
• 将最优传输映射的几何与分析理解从二次型代价情形推广至更一般情形，包括Euler-Lagrange方程的Lagrangian表述。

提出的方法

• 将De Giorgi定理应用于具有有界可测系数 $ A_{ij}(x) = F_{ij}(D^2u) $ 的非散度型方程，证明一阶导数的Hölder连续性。
• 利用比较原理与 $ F(M) = \text{trace}(M) $ 或 $ \text{det}(M) $ 在正定矩阵 $ M $ 上的单调性，建立Monge-Ampère方程的正则性。
• 采用缩放与二次变换 $ u_\varepsilon = \varepsilon^2 u(x/\varepsilon) $ 分析渐近行为，并推导Liouville型定理。
• 对周期性或随机的右端项 $ f(x) $ 应用均匀化技术，证明存在校正项 $ w $，使得 $ \det D^2(P + w) = f(x) $。
• 通过方程 $ \det(I + D^2\psi) = \rho $ 分析二维涡度输运，将流函数与速度场及守恒律联系起来。
• 通过研究 $ \det(I + D(F_j(\nabla\psi))) $，将最优传输理论推广至非二次型代价函数，在线性化极限下恢复Laplacian算子。

实验结果

研究问题

• RQ1 当 $ f $ 周期且平均值为 $ a $ 时，全局凸解 $ u $ 满足 $ \det D^2u = f(x) $ 是否可分解为二次多项式加周期性校正项？
• RQ2 对于具有有界可测系数 $ A_{ij}(x) $ 的非散度型Monge-Ampère方程，其解是否仍具有Hölder连续性，如De Giorgi定理所述？
• RQ3 由 $ \rho_t + \text{div}(v\rho) = 0 $ 控制的涡度块在长时间尺度下的行为如何，其中 $ v = -(\psi_y, \psi_x) $ 且 $ \det(I + D^2\psi) = \rho $？
• RQ4 具有严格凸代价 $ C(X-Y) $ 的最优传输如何推广经典二次型情形？其对应的Euler-Lagrange方程为何？
• RQ5 Monge-Ampère方程对高维概率中的测度集中与无维度不等式有何启示？

主要发现

• 任意满足 $ \det D^2u = f(x) $ 的全局凸解 $ u $，当 $ f $ 周期且平均值为 $ a $ 时，必可表示为 $ u = P + w $，其中 $ P $ 为满足 $ \det D^2P = a $ 的二次多项式，$ w $ 为周期性校正项。
• 当 $ f $ 周期时，存在唯一的周期函数 $ w $，使得 $ \det D^2(P + w) = f(x) $，从而确立了Monge-Ampère方程的均匀化结果。
• 具有有界可测系数 $ A_{ij}(x) $ 的方程 $ D_i A_{ij}(x) D_j w = 0 $ 的解为Hölder连续，将De Giorgi定理推广至非散度型方程。
• 方程 $ \det(I + D^2\psi) = \rho $（$ \rho $ 周期）生成的速度场 $ v = -(\psi_y, \psi_x) $ 保持 $ \rho $ 不变，当 $ \rho = F(\psi) $ 时存在平稳解。
• 对具有代价 $ C(X-Y) $ 的Monge-Ampère方程进行线性化，得到 $ \det(I + \varepsilon D(F_j(\nabla\psi))) = 1 + \varepsilon \text{div}(F_j(\nabla\psi)) + O(\varepsilon^2) $，在极限下恢复Laplacian算子。
• 具有严格凸代价的最优传输导致Euler-Lagrange方程的Lagrangian表述，推广了经典二次型情形，并支持无穷维变量变换公式。