[论文解读] Comparison principles by monotonicity and duality for constant coefficient nonlinear potential theory and PDEs

Marco Cirant, F. Reese Harvey+2 more|arXiv (Cornell University)|Sep 3, 2020

Geometric Analysis and Curvature Flows参考文献 40被引用 4

一句话总结

本文通过对偶性和单调性，为常系数非线性势论和完全非线性PDE建立了比较原理，引入了一种对应原理，统一了势论与算子理论。关键贡献是为每个约束集 $ \mathcal{F} $ 构造了一个典范算子 $ F $，使得在存在 $ C^2 $ 严格 $ \mathcal{M} $-次调和函数的定义域上，比较原理成立，其中 $ \mathcal{M} $ 是 $ \mathcal{F} $ 的单调性子方程。该框架简化并加强了退化椭圆方程与粘性解的分析。

ABSTRACT

We prove comparison principles for nonlinear potential theories in euclidian spaces in a very straightforward manner from duality and monotonicity. We shall also show how to deduce comparison principles for nonlinear differential operators, a program seemingly different from the first. However, we shall marry these two points of view, for a wide variety of equations, under something called the correspondence principle. In potential theory one is given a constraint set F on the 2-jets of a function, and the boundary of F gives a differential equation. There are many differential operators, suitably organized around F, which give the same equation. So potential theory gives a great strengthening and simplification to the operator theory. Conversely, the set of operators associated to F can have much to say about the potential theory. An object of central interest here is that of monotonicity, which explains and unifies much of the theory. We shall always assume that the maximal monotonicity cone for a potential theory has interior. This is automatic for gradient-free equations where monotonicity is simply the standard degenerate ellipticity and properness assumptions. We show that for each such potential theory F there is an associated canonical operator, defined on the entire 2-jet space and having all the desired properties. Furthermore, comparison holds for this operator on any domain which admits a regular strictly M-subharmonic function, where M is a monotonicity subequation for F. On the operator side there is an important dichotomy into the unconstrained cases and constrained cases, where the operator must be restricted to a proper subset of 2-jet space. These two cases are best illustrated by the canonical operators and Dirichlet-Garding operators, respectively. The article gives many, many examples from pure and applied mathematics, and also from theoretical physics.

研究动机与目标

• 通过偶性和单调性，为常系数非线性势论建立比较原理。
• 通过将约束集 $ \mathcal{F} $ 与微分算子关联的对应原理，统一势论与算子论。
• 为每个约束集 $ \mathcal{F} $ 在整个二阶 jet 空间上定义一个典范算子 $ F $，确保所有期望性质均满足。
• 证明该典范算子 $ F $ 在满足存在 $ C^2 $ 严格 $ \mathcal{M} $-次调和函数的定义域 $ \Omega \subset \subset \mathbb{R}^n $ 上满足比较原理。
• 展示单调性和偶性为退化椭圆方程与粘性解提供统一且简化的分析框架。

提出的方法

• 本文利用子方程的偶性理论，通过在二阶 jet 上的约束集定义 $ \mathcal{F} $-次调和函数。
• 引入单调性锥 $ \mathcal{M} $ 的概念，假设最大单调性锥具有内点，以确保结构稳定性。
• 在完整二阶 jet 空间 $ \mathbb{R} \times \mathbb{R}^n \times \mathcal{S}(n) $ 上构造一个由 $ \mathcal{F} $ 导出的典范算子 $ F $，以捕捉本质的非线性PDE结构。
• 通过双对偶单调性锥的零最大值原理以及粘性理论中上测试 jet 的使用，证明比较原理。
• 证明依赖于反证法，利用满足 $ J_k \in \mathcal{F} $ 且收敛于 $ J \notin \mathcal{F} $ 的 jet 序列，利用 $ \mathcal{F} $ 的闭性。
• 对应原理将多个算子与单一 $ \mathcal{F} $ 关联，表明势论可简化并加强算子理论分析。

实验结果

研究问题

• RQ1 如何直接从偶性和单调性推导出非线性势论中的比较原理？
• RQ2 典范算子 $ F $ 在统一常系数方程的势论与算子论中起到什么作用？
• RQ3 在定义域 $ \Omega \subset \subset \mathbb{R}^n $ 的何种几何条件下，典范算子 $ F $ 的比较原理成立？
• RQ4 对应原理如何弥合约束集 $ \mathcal{F} $ 与产生相同PDE的微分算子集合之间的鸿沟？
• RQ5 为何最大单调性锥具有内点对确保比较原理的有效性具有重要意义？

主要发现

• 在任意定义域 $ \Omega \subset \subset \mathbb{R}^n $ 上，若存在 $ C^2 $ 严格 $ \mathcal{M} $-次调和函数，则比较原理对典范算子 $ F $ 成立，其中 $ \mathcal{M} $ 是 $ \mathcal{F} $ 的单调性子方程。
• 对于凸函数的势论，典范算子 $ F $ 在 $ C^2 $ 情形下即为 Hessian $ D^2u $ 的最小特征值。
• 在常系数情形下，对于具有严格边界强凸性的 $ C^2 $ 光滑定义域，Dirichlet 问题的解存在；唯一性等价于比较原理。
• 典范算子 $ F $ 在整个二阶 jet 空间上有定义，并从 $ \mathcal{F} $ 继承所有期望性质，确保一致性和鲁棒性。
• 比较原理的证明依赖于反证法，利用满足 $ J_k \in \mathcal{F} $ 且收敛于 $ J \notin \mathcal{F} $ 的 jet 序列，这与 $ \mathcal{F} $ 的闭性矛盾。
• 该框架统一了无约束与有约束情形：典范算子代表无约束情形，而 Dirichlet-Gårding 算子代表有约束情形。