[论文解读] On fully nonlinear elliptic and parabolic equations in domains with VMO coefficients

Xu Li, Krylov, N. V.+1 more|arXiv (Cornell University)|Aug 19, 2010

Advanced Mathematical Modeling in Engineering参考文献 17被引用 9

一句话总结

本论文通过先验估计与存在性定理，利用 $W^{1,2}_p$ 和 $W^2_p$ Sobolev 空间，建立了在有界区域中具有 VMO（消失平均振荡）系数的完全非线性抛物型与椭圆型方程的可解性。在系数的正则性假设最小的条件下，证明了存在性、唯一性以及先验估计，并将结果推广至具有 Bellman 型结构及低阶项非线性的方程。

ABSTRACT

We prove the solvability in Sobolev spaces $W^{1,2}_p$, $p>d+1$, of the terminal-boundary value problem for a class of fully nonlinear parabolic equations, including parabolic Bellman's equations, in bounded cylindrical domains with VMO ``coefficients''. The solvability in $W^{2}_p$, $p>d$, of the corresponding elliptic boundary-value problem is also obtained.

研究动机与目标

• 建立在有界圆柱形区域中具有 VMO 系数的完全非线性抛物型方程的可解性。
• 将完全非线性方程的理论推广至主导系数具有消失平均振荡（VMO）的情形，该条件弱于 Hölder 连续性或 Dini 连续性。
• 在适当的边界与终端条件之下，证明 $W^{1,2}_p$ 空间中 $p > d+1$ 及 $W^2_p$ 空间中 $p > d$ 的解的存在性与唯一性。
• 证明当系数不光滑但满足足够小的 VMO 半范数条件时，可解性理论依然成立。
• 表明先验估计与存在性结果在系数的小扰动下保持稳定，其依赖于 VMO 结构。

提出的方法

• 利用在 (H1) 与 (H2) 条件下导出的先验估计，其中假设低阶项非线性部分的凸性与利普希茨连续性。
• 应用系数冻结法：对每个点，用与时空无关的常系数矩阵场（满足 (H1)）近似系数，其误差由 VMO 半范数控制。
• 通过 $C^{1,1}$ 微分同胚与单位分解将边界平坦化，将问题局部化为半空间与全空间模型。
• 基于 Calderón-Zygmund 算子与极大函数理论，对半空间与全空间中的线性化方程使用最大 $L_p$-正则性估计。
• 应用插值不等式，以 $D^2u$ 与 $u$ 控制 $Du$，从而在 VMO 参数足够小时实现先验估计的闭合。
• 使用障碍函数与抛物型 Alexandrov 估计控制解的 $L_p$-范数，确保先验估计中的常数与时间范围 $T$ 无关。

实验结果

研究问题

• RQ1 具有 VMO 系数的完全非线性抛物型方程是否可在 Sobolev 空间 $W^{1,2}_p$ 中求解，其中 $p > d+1$？
• RQ2 在 VMO 条件下，可解性理论是否可推广至包含低阶项非线性（如 Bellman 方程）的方程？
• RQ3 在 VMO 假设下，先验估计是否可与时间范围 $T$ 无关？
• RQ4 全非线性部分的凸性条件 (H3) 是否为可解性的必要条件，或可被移除？
• RQ5 解范数对 VMO 半范数及其他参数（如 $K$、$\delta$ 与区域几何）的最优依赖关系为何？

主要发现

• 当 VMO 半范数 $\theta$ 足够小时，完全非线性抛物型方程的终端-边界值问题在 $W^{1,2}_p(\mathcal{D}_T)$ 中唯一可解，其中 $p > d+1$，且 $\theta$ 依赖于 $d$、$p$、$\delta$ 与 $\partial\mathcal{D}$ 的 $C^{1,1}$ 范数。
• 存在形式为 $\|u\|_{W^{1,2}_p(\mathcal{D}_T)} \leq N\|\bar{G}\|_{L_p(\mathcal{D}_T)} + N\|g\|_{W^{1,2}_p(\mathcal{D}_T)} + N_0$ 的先验估计，其中 $N$ 与 $T$ 无关，$N_0$ 仅依赖于 $\chi$、$T$ 与区域。
• 对于椭圆型方程，在主导系数满足相同 VMO 条件下，边界值问题在 $W^2_p(\mathcal{D})$ 中可解，其中 $p > d$。
• 先验估计中的常数 $N$ 仅依赖于 $d$、$p$、$\delta$、$K$、$R_0$、$\partial\mathcal{D}$ 的 $C^{1,1}$ 范数与 $\text{diam}(\mathcal{D})$，当 $\chi \equiv 0$ 时 $N_0 = 0$。
• 证明表明条件 (H3) —— $F + G$ 关于 $u''$ 的凸性 —— 并非先验估计所必需，尽管其在存在性证明中被使用，提示该条件或可被移除。
• 该方法允许通过先验估计与连续性方法构造解，即使系数不光滑，只要其属于 VMO 即可。