[论文解读] The comparsion principle for viscosity solutions of fully nonlinear subelliptic equations in Carnot groups

Changyou Wang|ArXiv.org|Sep 4, 2003

Nonlinear Partial Differential Equations参考文献 14被引用 7

一句话总结

本文在Carnot群的子黎曼几何背景下，建立了完全非线性次椭圆方程粘性解的比较原理，将欧氏空间中Jensen的唯一性定理推广至子黎曼设置。通过利用Carnot群的结构和粘性解技术，证明了在退化次椭圆或一致次椭圆条件下，且解变量具有单调性时的唯一性。

ABSTRACT

For any Carnot group $\bf G$ and a bounded domain $Ω\subset \bf G$, we prove that viscosity solutions in $C(\bar\Om)$ of the fully nonlinear subelliptic equation $F(u, abla_h u, abla^2_h u)=0$ are unique when $F\in C(R imes R^m imes {\Cal S}(m))$ satisfies (i) $F$ is degenerate subelliptic and decreasing in $u$ or (ii) $F$ is uniformly subelliptic and nonincreasing in $u$. This extends Jensen's uniqueness theorem from the Euclidean space to the sub-Riemannian setting of the Carnot group.

研究动机与目标

• 在Carnot群的子黎曼几何背景下，建立完全非线性次椭圆方程粘性解的比较原理。
• 将原本仅在欧氏空间中成立的Jensen唯一性定理，推广至子黎曼环境下的粘性解。
• 在以下两种条件下证明粘性解的唯一性：(i) 退化次椭圆且关于u递减，或 (ii) 一致次椭圆且关于u非增。
• 将粘性解理论扩展至非欧几里得、分层李群设置下的完全非线性方程，具有内在几何结构。
• 为Carnot群上次椭圆PDE的存在性、唯一性和紧致性结果提供基础，类似于欧氏情况。

提出的方法

• 采用适用于Carnot群中水平导数和Hessian的粘性解概念，通过水平梯度∇hu和水平Hessian∇²hu定义。
• 应用扰动法，考虑一族函数uρ(x) = u(x₀ + ρx)，并分析其在ρ → 0时的缩放行为。
• 利用[CIL]中的粘性次/超解的紧致性定理，取极限并推导出上半连续包络的极限不等式(4.7)。
• 使用Jensen的半凸函数最大值原理，提取一个点使得Hessian差为负半定，从而实现二阶项的比较。
• 通过在缩放PDE(4.10)中取ρ → 0，推导出极限方程(4.7)和(4.8)，其中涉及矩阵Akl^ij及由水平向量场导出的系数。
• 依赖于Carnot群结构的不变性与齐次性，特别是非各向同性伸缩δλ和伪距离dG，以在缩放下保持次椭圆结构。

实验结果

研究问题

• RQ1 粘性解的比较原理能否从欧氏空间推广至Carnot群的子黎曼几何？
• RQ2 在何种算子F的结构条件下，粘性解在次椭圆设置下具有唯一性？
• RQ3 F的退化性或一致次椭圆性，结合关于u的单调性，如何影响解的唯一性？
• RQ4 Jensen唯一性定理在非欧几里得、分层李群设置下能多大程度上被推广？
• RQ5 水平Hessian和Carnot群的内在几何在粘性解的稳定性和比较中起何种作用？

主要发现

• 比较原理对任意有界区域Ω ⊂ G上的C(Ω̄)中完全非线性次椭圆方程F(u, ∇hu, ∇²hu) = 0的粘性解成立，其中G为Carnot群。
• 在以下两种条件下建立了粘性解的唯一性：(i) F为退化次椭圆且关于u递减，或 (ii) F为一致次椭圆且关于u非增。
• 证明依赖于通过缩放函数uρ和粘性解的紧致性进行的爆破论证，导出矛盾的极限不等式(4.7)。
• 通过矩阵Akl^ij = aik(x₀)ajl(x₀)推导出Hessian项的极限行为，该矩阵在缩放下捕捉了水平二阶结构。
• 矛盾源于次解条件给出F ≥ 0，而超解条件给出F ≤ −cδ < 0，违反了比较原理。
• 该结果将Jensen唯一性定理由R^n推广至任意Carnot群，为次椭圆PDE的存在性、唯一性和稳定性研究奠定了基础工具。