[论文解读] Local Estimates for Some Fully Nonlinear Elliptic Equations

Sophie Chen|ArXiv.org|Oct 29, 2005

Nonlinear Partial Differential Equations参考文献 11被引用 13

一句话总结

本文提出一种统一方法，通过直接从C⁰估计获得Hessian界，利用具有特定代数结构的方程中的抵消现象，推导出黎曼流形上完全非线性椭圆方程的局部C²估计。关键贡献是一个通用框架，适用于如Schouten张量和高斯曲率方程等几何方程，在算子F的自然结构条件下建立内部正则性。

ABSTRACT

We present a method to derive local estimates for some classes of fully nonlinear elliptic equations. The advantage of our method is that we derive Hessian estimates directly from $C^0$ estimates. Also, the method is flexible and can be applied to a large class of equations.

研究动机与目标

• 开发一种通用且灵活的方法，用于推导黎曼流形上完全非线性椭圆方程的局部C²估计。
• 统一现有关于Monge-Ampère、Schouten张量和高斯曲率方程等方程的Hessian界结果。
• 证明Hessian估计可直接从C⁰界获得，通过利用主部项中的抵消现象。
• 在算子F的最小结构假设下（包括严格凹性、正性和单调性）提供一个有效框架。
• 通过在梯度平方项和Hessian项中引入任意系数，将已知结果推广到更广泛的方程类。

提出的方法

• 该方法通过分析 (x,ξ) ∈ (Ω, Sⁿ) 上张量 ∇²u + a du⊗du 的最大值，直接从C⁰估计推导Hessian界，避免使用间接的椭圆性假设。
• 利用包含Schouten张量和Weyl张量的曲率分解，尤其在常曲率流形中，Rijkl = K(gikgjl − gilgjk)。
• 证明依赖于在最大值点处计算量 H = Δu + a|∇u|² 的二阶导数，并应用算子F的严格凹性和单调性。
• 在计算 F^{ij}H_{ij} 时，利用关键抵消现象，通过曲率恒等式重新排列并代入含 u_{ikk} 和 u_{kij} 的项。
• 引入结构条件 (A)，其中 ∑F^{ii} ≥ μ₀(∑λᵢ/F)^μ₁，以控制低阶项并确保有界性。
• 通过证明当梯度平方系数消失时，Hessian界在区域闭包上的上确界由其边界值控制，从而应用二阶导数的最大值原理。

实验结果

研究问题

• RQ1 是否可以不依赖于一致椭圆性，直接从C⁰界推导出完全非线性椭圆方程的局部C²估计？
• RQ2 算子F的何种结构条件可确保抵消现象允许直接估计Hessian？
• RQ3 该方法如何推广以包含梯度平方项和Hessian项中具有任意系数的方程？
• RQ4 该框架在多大程度上能统一Monge-Ampère、Schouten张量和高斯曲率方程的已知结果？
• RQ5 当梯度平方项缺失时，二阶导数的最大值原理在何种条件下成立？

主要发现

• 本文在F的标准结构条件下，建立了形如 F(g⁻¹W) = f(x,u)h(x,∇u) 的完全非线性椭圆方程的局部C²估计，其中 W = ∇²u + a(x)du⊗du + b(x)|∇u|²g + B(x)。
• 通过在张量 ∇²u + a du⊗du 上应用最大值原理，直接从C⁰估计获得Hessian界，避免了对中间C¹估计的需求。
• 当系数 b(x) 消失（即无 |∇u|² 项）时，二阶导数的最大值原理成立，意味着 sup_Ω |∇²u| ≤ sup_∂Ω |∇²u|。
• 对于具有非退化梯度平方项的方程，只要满足结构条件 (S0)-(S2) 和 (A)，该方法可获得一致的Hessian界。
• 该框架适用于关键几何方程，包括共形几何中的Schouten张量方程和球面上的高斯曲率方程，恢复并推广了先前结果。
• 该方法具有鲁棒性和灵活性，可在保持抵消结构的前提下，推广至包含任意系数 a(x)、b(x) 和 B(x) 的方程。