[论文解读] Uniqueness of viscosity solutions of a geometric fully nonlinear parabolic equation

Jingyi Chen, Chao Pang|ArXiv.org|May 24, 2009

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

一句话总结

本文通过Barles-Bitoun-Ley的比较原理，建立了源自拉格朗日平均曲率流的几何全非线性抛物方程的粘性解唯一性。通过验证算子 $ F(X) = \sum \arctan \lambda_j(X) $ 的结构假设 (H1) 与 (H2)，证明了粘性次解与超解满足比较原理，从而确保在 $ \mathbb{R}^n \times [0,\infty) $ 上任意连续初值条件下存在唯一的连续粘性解。

ABSTRACT

We observe that the comparison result of Barles-Biton-Ley for viscosity solutions of a class of nonlinear parabolic equations can be applied to a geometric fully nonlinear parabolic equation which arises from the graphic solutions for the Lagrangian mean curvature flow.

研究动机与目标

• 建立源自拉格朗日平均曲率流的几何全非线性抛物方程的粘性解唯一性。
• 验证算子 $ F(X) = \sum \arctan \lambda_j(X) $ 满足Barles-Bitoun-Ley框架中比较原理所需的结构假设 (H1) 与 (H2)。
• 将一维的唯一性结果推广至一般维度 $ n \geq 1 $ 的连续初值情形。
• 确认在有界区域上零边界条件的柯西-狄利克雷问题中，比较原理的有效性。

提出的方法

• 定义算子 $ F(X) = -\frac{i}{2} \log \frac{\det(I + iX)}{\det(I - iX)} $，通过 $ D^2u $ 的对角化可知其等于 $ \sum \arctan \lambda_j(X) $。
• 通过证明函数 $ f_{XY}(t) = F(tX + (1-t)Y) $ 在 $[0,1]$ 上的单调性，验证 (H1)，即当 $ X \geq Y $ 时有 $ F(X) \geq F(Y) $。
• 通过对 $ f_{XY}(t) = -\frac{i}{2} \operatorname{tr}(\log A - \log B) $ 求导，证明 $ f_{XY}'(t) \geq 0 $，由此说明导数非负，源于 $ C^{-1} $ 的正定性。
• 通过积分表示与特征值比较，证明 (H2)：存在 $ 0 < \alpha < 1 $，使得 $ F(X) - F(Y) \leq \operatorname{tr}((X-Y)^+)^\alpha $。
• 应用Barles-Bitoun-Ley的定理2.1，得出在 $ \mathbb{R}^n \times [0,\infty) $ 上满足比较原理，从而得到粘性解的唯一性。
• 利用文献[3]中的定理8.2，将结果推广至有界区域，确认在零边界数据条件下柯西-狄利克雷问题的唯一性。

实验结果

研究问题

• RQ1 几何全非线性抛物方程 $ u_t = \sum \arctan \lambda_j(D^2u) $ 是否对 $ \mathbb{R}^n $ 上的连续初值存在唯一的粘性解？
• RQ2 能否通过验证结构假设 (H1) 与 (H2)，将Barles-Bitoun-Ley的比较原理应用于该几何方程？
• RQ3 算子 $ F(X) = \sum \arctan \lambda_j(X) $ 是否关于矩阵序单调，即 $ X \geq Y $ 是否蕴含 $ F(X) \geq F(Y) $？
• RQ4 唯一性结果是否可推广至有界区域上零边界条件的柯西-狄利克雷问题？
• RQ5 差值 $ F(X) - F(Y) $ 与 $ X - Y $ 的正部之间是否存在定量关系？

主要发现

• 算子 $ F(X) = \sum \arctan \lambda_j(X) $ 满足条件 (H1)，即当 $ X \geq Y $ 时有 $ F(X) \geq F(Y) $，其证明基于函数 $ f_{XY}(t) = F(tX + (1-t)Y) $ 的单调性。
• 条件 (H2) 成立，其中常数 $ K_1 > 0 $，$ K_2 = n\pi $，且对任意 $ \alpha \in (0,1) $，有 $ F(X) - F(Y) \leq n\pi \cdot \left( \operatorname{tr}((X-Y)^+) \right)^\alpha $。
• 比较原理成立：若 $ u $ 为上半连续的粘性次解，$ v $ 为下确界连续的粘性超解，且满足 $ u(\cdot,0) \leq v(\cdot,0) $，则在 $ \mathbb{R}^n \times [0,T) $ 上有 $ u \leq v $。
• 对任意连续初值 $ u_0 \in C(\mathbb{R}^n) $，方程在 $ \mathbb{R}^n \times [0,\infty) $ 上存在唯一的连续粘性解。
• 唯一性结果可推广至有界区域 $ \Omega \subset \mathbb{R}^n $ 上的柯西-狄利克雷问题，其中解在 $ \partial\Omega \times [0,T) $ 上满足 $ u = 0 $，且初值 $ u(0,\cdot) = \psi \in C(\overline{\Omega}) $。
• 证明依赖于关系式 $ F(X) - F(Y) \leq \operatorname{tr}((X-Y)^+) $，且由于 $ \arctan x \in (-\pi/2, \pi/2) $，差值有界于 $ n\pi $，从而在 (H2) 中实现 $ \alpha $-赫尔德型估计。