[论文解读] Uniform bounds via regularity estimates for elliptic PDE with critical growth in the gradient

Boyan Sirakov|arXiv (Cornell University)|Sep 15, 2015

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

一句话总结

本文通过新颖的边界增长引理与半哈纳克不等式，为具有临界梯度二次增长的均匀椭圆完全非线性PDE的粘性解建立了统一的先验界。关键贡献在于一种稳健的方法，避免了重标度或反证法，即使系数不连续，也能得到存在性与非唯一性结果，将先前结果推广至一般Isaacs算子，而不仅限于拉普拉斯算子。

ABSTRACT

We prove non-uniqueness and study the behaviour of viscosity solutions of a class of uniformly elliptic fully nonlinear equations of Hamilton-Jacobi-Bellman-Isaacs type, with quadratic growth in the gradient. The crucial a priori bound for the solutions is proved through an argument which uses a boundary growth lemma, and consequences such as boundary "half"-Harnack inequalities, which are of independent interest. Our results are new even for linear equations.

研究动机与目标

• 为具有梯度临界二次增长的均匀椭圆PDE的粘性解建立统一先验界，该情况为临界情形，因一阶与二阶项之间尺度匹配。
• 解决当零阶系数c(x)为正时Dirichlet问题中非唯一性的开放问题，将先前仅限于拉普拉斯算子或严格正μ(x)的结果推广。
• 发展一种不依赖拉普拉斯结构的方法，仅依赖于统一椭圆性与系数有界性，从而将结果推广至一般Isaacs算子。
• 在最小正则性假设下（包括不连续的主系数），通过避免重标度与反证法，证明解的存在性与非唯一性。

提出的方法

• 使用边界增长引理控制解在边界附近的行为，建立解与到边界距离之比的下界。
• 推导半哈纳克不等式（边界‘半’哈纳克）作为关键技术工具，提供解在边界附近局部控制。
• 将边界弱哈纳克不等式（BWHI）与边界强最大值原理（BQSMP）应用于由原PDE导出的两个单边不等式系统。
• 通过变换v = μ⁻¹(1 - e^{μu})将原不等式转化为右侧有界的形态，从而在边界处可应用标准Lipschitz估计。
• 论证避免了重标度、反证法或极限过程，转而依赖加权勒贝格空间中的积分估计与插值。
• 该方法应用于包含v₁与v₂的系统，其中v₁控制梯度项，v₂控制零阶项，关键步骤是利用对数增长通过v₁控制v₂。

实验结果

研究问题

• RQ1 能否在不假设系数连续性或拉普拉斯结构的前提下，为具有临界梯度二次增长的均匀椭圆PDE的粘性解建立统一先验界？
• RQ2 当c(x) > 0时，此类方程的Dirichlet问题在何种条件下允许多个解？
• RQ3 对于先验界而言，必要条件——即c(x)与μ(x)的支集在球内相交——是否在一般情形下也充分，而不仅限于此前研究的特例？
• RQ4 能否在不重标度解或使用反证法的前提下证明先验界？该方法是否可推广至一般Isaacs算子？
• RQ5 在不等式−Δv₂ ≤ f₂(x,v₂)中，系数d(x) = c(x)u(x)的最优正则性阈值为何，以确保v₂有界？

主要发现

• 在系数的最小假设下，为一般均匀椭圆Isaacs算子的Dirichlet问题的粘性解建立了统一先验界，该算子具有梯度的二次增长。
• 该界仅依赖于椭圆常数、系数的L∞范数，以及∫_B c^ε dx的下界，其中ε > 0依赖于维数。
• 当c(x) ≡ c₀ > 0且M(x) = μ₀I（μ₀ > 0）时，证明了解的非唯一性，将先前结果推广至一般算子。
• 该方法避免了重标度、反证法或极限过程，提供了有界性的直接且稳健的证明。
• 从[15]中得出的必要条件——即supp(c) ∩ supp(μ)包含一个球——在n ≤ 4维或在边界附近满足额外增长条件时，被证明对先验界也充分。
• Vazquez的强最大值原理排除了负μ情形下无界次解的存在，证明不存在无界次解序列，从而确保了有界性。