[论文解读] The Cauchy problem for fully nonlinear parabolic systems on manifolds

Hong Huang|arXiv (Cornell University)|Jun 16, 2015

Nonlinear Partial Differential Equations参考文献 15被引用 4

一句话总结

本文建立了在闭黎曼流形上，对完全非线性、偶数阶抛物型系统在初始数据处强抛物的柯西问题的短时间存在性与唯一性。证明方法采用系统线性化与不动点论证，核心分析工具为线性强抛物型系统上的Schauder估计。

ABSTRACT

We show the short time existence and uniqueness of solutions to the Cauchy problem for fully nonlinear systems of arbitrary even order on closed manifolds which are strongly parabolic at the initial values. The proof uses a linearization procedure and a fixed-point argument, and the key ingredient is the well known Schauder estimates for linear, strongly parabolic systems.

研究动机与目标

• 建立在闭黎曼流形上完全非线性、偶数阶抛物型系统柯西问题的短时间存在性与唯一性。
• 将欧氏空间中抛物型系统的标准存在性理论推广至无边界的紧致流形。
• 为非必然拟线性但具有抛物性的几何演化方程提供严谨的分析框架。
• 消除先前关于完全非线性抛物型系统研究中所施加的限制性对称性假设。
• 将现有结果推广至任意偶数阶系统在流形上的情形，包括高阶几何流。

提出的方法

• 在初始数据处对完全非线性抛物型系统进行线性化，得到一个线性强抛物型系统。
• 应用线性强抛物型系统上的Schauder估计，以控制线性化算子解的霍尔德范数。
• 在霍尔德空间 $ C^{r+eta, 1+rac{eta}{r}} $ 中使用不动点论证，构造非线性问题的解。
• 利用局部坐标系与单位分解，将局部估计推广至整个流形的全局设定。
• 通过在初始时刻假设强抛物性，隐式应用De Turck技巧以确保可解性。
• 采用归纳法（bootstrap）从霍尔德正则性逐步提升至光滑解，利用初始的 $ C^{r+eta, 1+rac{eta}{r}} $ 正则性。

实验结果

研究问题

• RQ1 能否在闭流形上为完全非线性、偶数阶抛物型系统建立短时间存在性与唯一性？
• RQ2 欧氏空间中抛物型系统标准存在性理论是否可推广至紧致黎曼流形？
• RQ3 在初始时刻的强抛物性条件是否足以保证局部可解性，而无需线性化算子具有对称性？
• RQ4 Schauder估计在流形上非线性系统存在性证明中起何种作用？
• RQ5 在非线性演化下，解的正则性如何从初始数据传播？

主要发现

• 存在时间 $ \tau > 0 $，使得在闭流形上完全非线性、偶数阶、强抛物型系统柯西问题在 $ C^{r+eta, 1+rac{eta}{r}}(M \times [0,\tau]) $ 中存在唯一解。
• 解在时间区间 $ [0,\tau] $ 上存在且唯一，其长度仅依赖于初始数据与强抛物性常数。
• 该证明无需对线性化算子施加对称性假设，与文献中早期结果不同。
• 该方法不依赖平凡丛或特殊几何结构，适用于一般向量丛上的闭流形。
• 解继承初始数据与系数的霍尔德正则性，时间导数与空间导数由Schauder估计控制。
• 结果对小扰动具有鲁棒性，并支持通过归纳法将正则性提升至 $ C^\nu $（任意 $ \nu $），意味着当 $ t > 0 $ 时解为光滑的。