[论文解读] Fully nonlinear parabolic equations in two space variables

Ben Andrews|ArXiv.org|Feb 14, 2004

Advanced Mathematical Modeling in Engineering参考文献 6被引用 40

一句话总结

该论文为两个空间变量的完全非线性抛物方程解的二阶空间导数和时间导数建立了 Hölder 估计，采用受二维椭圆正则性启发的技术。关键贡献是在不假设 $ F $ 凹性的情况下，实现了完整的 $ C^{2,\beta} $ 正则性结果，将理论扩展至二维更广泛的方程类，并在 $ F $ 的凸水平集条件下将其推广至高维。

ABSTRACT

Hölder estimates for second derivatives are proved for solutions of fully nonlinear parabolic equations in two space variables. Related techniques extend the regularity theory for fully nonlinear parabolic equations in higher dimensions.

研究动机与目标

• 为两个空间变量的完全非线性抛物方程解的二阶空间导数和时间导数建立 Hölder 估计。
• 将此类方程的正则性理论扩展至非凹情形，消除对 $ F $ 的凹性假设。
• 将二维椭圆正则性技术适应到抛物设置中，利用低维中解的结构。
• 通过在 Hessian 分析中以 $ F $ 的水平集的凸性替代凹性，将结果推广至高维。
• 在 $ F $ 的结构假设最小化的前提下，为解提供完整的 $ C^{2,\beta} $ 正则性估计。

提出的方法

• 基于指数变换 $ \tilde{G} = -\exp(-KG) $ 的扰动论证，将 $ F $ 的凸水平集条件转化为凹算子 $ \tilde{G} $，从而可应用已知的凹正则性理论。
• 对差分商 $ \delta_h u $ 应用抛物最大值原理，将其与上解 $ \Psi_+ $ 比较，推导出一阶导数在时间上的 Hölder 连续性。
• 通过在抛物柱体中与次解和上解比较，利用方程的结构和强椭圆性界，建立二阶导数在空间上的 Hölder 连续性。
• 将二阶导数差分解为空间和时间分量，结合一阶导数的时间正则性和二阶导数的空间正则性，推导出 $ D^2u $ 的时间 Hölder 连续性。
• 依赖于在二维中 Hessian 的结构和 $ \dot{F}^{ij} $ 的一致椭圆性，使得正则性估计强于高维情形。
• 在抛物柱体 $ Q_1 $ 上使用缩放和局部化论证，通过紧致性和爆破技术将问题约化为局部的 $ C^{2,\beta} $ 估计。

实验结果

研究问题

• RQ1 能否在不假设 $ F $ 关于 $ D^2u $ 凹性的情况下，为两个空间变量的完全非线性抛物方程建立二阶导数的 Hölder 估计？
• RQ2 如何将 Morrey 和 Nirenberg 的二维椭圆正则性技术适应到抛物设置中？
• RQ3 在高维中，$ F $ 的何种结构条件可使 $ C^{2,\beta} $ 正则性成立而无需凹性？
• RQ4 能否以空间-时间 Hölder 范数量化一阶和二阶空间导数的时间正则性？
• RQ5 Hölder 常数对椭圆常数 $ \lambda, \Lambda $ 以及 $ u $ 和 $ F $ 的范数的最优依赖关系是什么？

主要发现

• 对于具有一致椭圆性 $ F $ 的两个空间变量的完全非线性抛物方程，二阶空间导数 $ D^2u $ 在空间和时间上具有 Hölder 连续性，指数 $ \alpha $ 依赖于 $ \lambda/\Lambda $，且无需假设凹性。
• 时间导数 $ u_t $ 在空间-时间上具有指数为 $ \alpha/2 $ 的 Hölder 连续性，一阶导数 $ Du $ 在时间上具有指数为 $ (1+\alpha)/2 $ 的 Hölder 连续性。
• 估计在紧子集 $ \Omega' \subset\subset \Omega $ 和 $ t \geq \tau > 0 $ 上一致成立，常数依赖于 $ \lambda, \Lambda $、$ \sup(|D^2u| + |Du|) $、$ \sup|u_t| $ 以及到边界距离。
• 在高维中，$ F $ 的凹性假设被替换为更弱的条件：$ F $ 在 $ D^2u $ 上的水平集为凸集，从而可实现相同的 $ C^{2,\beta} $ 估计。
• 变换 $ \tilde{G} = -\exp(-KG) $ 产生一个具有相同椭圆性界且为凹的算子，使得可应用已知的凹正则性理论，推导出 $ D^2u $ 的空间 Hölder 连续性。
• 通过结合 $ D^2u $ 的空间正则性、$ Du $ 的时间正则性以及分解论证，控制 $ D^2u $ 的时间变化，最终建立完整的抛物 $ C^{2,\beta} $ 估计，得到 $ |D^2u(x,t) - D^2u(x,s)| \leq C|t-s|^{\alpha/2} $。