[论文解读] On the differentiability of the solution to the Hamilton-Jacobi equation with critical fractional diffusion

Luís Silvestre|arXiv (Cornell University)|Nov 26, 2009

Nonlinear Partial Differential Equations参考文献 9被引用 5

一句话总结

该论文建立了临界分数阶扩散（$s=1/2$）的哈密顿-雅可比方程解的经典 $C^{1,\beta}$ 正则性，即使哈密顿量 $H$ 仅为局部利普希茨连续且未必凸。其关键创新在于提出了一类针对有界、非散度自由向量场的新型非变分霍尔德估计，适用于对流-扩散方程，从而在速度场 $w = DH(\nabla u)$ 不满足散度为零的假设下，仍能证明解的可微性。

ABSTRACT

We prove that the Hamilton Jacobi equation for an arbitrary Hamiltonian $H$ (locally Lipschitz but not necessarily convex) and fractional diffusion of order one (critical) has classical $C^{1,α}$ solutions. The proof is achieved using a new Hölder estimate for solutions of advection diffusion equations of order one with bounded vector fields that are not necessarily divergence free.

研究动机与目标

• 建立哈密顿-雅可比方程在临界分数阶扩散（$s=1/2$）下的经典 $C^{1,\alpha}$ 正则性，即使 $H$ 不是凸函数。
• 解决临界情形 $s=1/2$ 下的正则性开放问题，此时非线性项与扩散项在所有尺度上达到平衡。
• 为具有有界但未必散度为零的向量场的对流-扩散方程，发展一种新的霍尔德估计，扩展先前的变分方法。
• 提供线性化方程霍尔德正则性的非变分证明，与德 Giorgi 风格的变分技术形成对比。

提出的方法

• 引入一种针对一阶对流-扩散方程的新型非变分霍尔德估计，适用于有界向量场，且无需满足散度为零的条件。
• 以线性化方程 $v_t + w \cdot \nabla v + (-\Delta)^{1/2}v = 0$ 为核心研究对象，其中 $w = DH(\nabla u)$。
• 建立一个关键的振幅衰减引理（引理 5.1），用于控制解在时空柱体中的振幅。
• 将霍尔德估计应用于解的各个方向导数 $v = u_e$，证明 $\nabla u$ 是霍尔德连续的。
• 利用粘性解理论来验证线性化方程的推导过程，并处理解在先验上缺乏经典可微性的困难。
• 采用庞佩乌方法构造粘性解，并通过障碍函数与比较原理验证 $t=0$ 处的连续性。

实验结果

研究问题

• RQ1 能否证明临界分数阶扩散（$s=1/2$）的哈密顿-雅可比方程解在 $H$ 非凸情况下的 $C^{1,\alpha}$ 正则性？
• RQ2 能否使用非变分方法证明具有有界、非散度自由向量场的对流-扩散方程的霍尔德正则性？
• RQ3 当 $w = DH(\nabla u)$ 不满足散度为零时，是否阻碍了德 Giorgi 型正则性理论的应用？若如此，能否通过新方法克服这一障碍？
• RQ4 尽管非线性项与扩散项在所有尺度上平衡，临界情形 $s=1/2$ 是否仍可获得与超临界情形 $s>1/2$ 相同的正则性结果？
• RQ5 在超临界情形 $s<1/2$ 下解的正则性如何？其与临界和超临界情形是否存在本质差异？

主要发现

• 即使 $H$ 仅为局部利普希茨连续且未必凸，哈密顿-雅可比方程在 $s=1/2$ 情况下的解 $u$ 在空间和时间上均为 $C^{1,\alpha}$ 光滑。
• 为方程 $v_t + w \cdot \nabla v + (-\Delta)^{1/2}v = 0$ 建立了新型非变分霍尔德估计，其中 $w \in L^\infty$，且无需要求 $\operatorname{div} w = 0$，这是对先前结果的重要推广。
• 证明依赖于一个新提出的振幅衰减引理（引理 5.1），该引理控制了解在时空柱体中的振幅，从而实现了 $\nabla u$ 的霍尔德连续性。
• 结果确认了在 $s=1/2$ 情况下方程在经典意义下是适定的，解决了早期工作中遗留的开放问题，包括一维情形。
• 在超临界情形 $s<1/2$ 下，解可能产生奇点，这一结论由基于 Kiselev、Nazarov 和 Shterenberg 构造的推论得出。
• 通过庞佩乌方法建立了连续粘性解的存在性，初始数据的连续性由障碍构造与比较原理确保。