[论文解读] Optimal Besov differentiability for entropy solutions of the Eikonal equation

Francesco Ghiraldin, Xavier Lamy|arXiv (Cornell University)|Feb 5, 2018

Navier-Stokes equation solutionsMathematics参考文献 44被引用 21

一句话总结

本文通过证明最优Besov正则性、有限熵产生与动能形式化有效性的等价性，建立了二维空间中Eikonal方程熵解的最优Besov可微性。利用速度平均与散度-旋度估计，作者表明此类解属于端点Besov空间 $ B^{1/4}_{4,∞} $，该结果在指数上是精确的。

ABSTRACT

In this paper we study the Eikonal equation in a bounded planar domain. We prove the equivalence among optimal Besov regularity, the finiteness of every entropy production and the validity of a kinetic formulation.

研究动机与目标

• 建立平面区域中Eikonal方程熵解的最优分数阶可微性。
• 证明最优Besov正则性、所有熵产生有限性与动能形式化有效性的等价性。
• 通过识别奇异扰动Aviles-Giga能量所产生解的精确Besov空间，改进先前的Sobolev正则性结果。
• 研究Besov空间 $ B^{1/4}_{4,∞} $ 中的 $ 1/4 $-H"older 指数是否最优。

提出的方法

• 利用Eikonal方程与标量守恒律（特别是Burgers方程）之间的联系，借助熵解理论。
• 应用速度平均技术，从熵产生测度的结构推导出分数阶可微性估计。
• 对重整化通量 $ \Sigma_{e_1,e_2}(m) $ 与 $ \Sigma_{\varepsilon_1,\varepsilon_2}(m) $ 使用散度-旋度引理，这些通量被证明是局部有限测度。
• 通过关键不等式 $ \det(X-Y) \gtrsim |X-Y|^4 $ 建立这些通量差值的点态下界，将其与增量 $ |D^h_e m| $ 联系起来。
• 利用Hodge分解与位势理论，估计差分算子的散度在 $ W^{-1,p'} $ 范数下的大小。
• 应用对数尺度 $ p = -\log|h| $ 控制 $ L^p $ 及其对偶范数的增长，从而得到精确的 $ |h|\log(1/|h|) $ 连续模。

实验结果

研究问题

• RQ1 在二维空间中，Eikonal方程熵解的最优Besov空间正则性是什么？
• RQ2 所有熵产生的有限性与动能形式化的有效性如何与解的可微性相关联？
• RQ3 先前已知的 $ W^{1/3-}_{\rm loc} $ 正则性能否改进为精确的Besov空间端点？
• RQ4 在Besov空间 $ B^{1/4}_{4,\infty} $ 中，指数 $ 1/4 $ 对此类解的可微性是否最优？
• RQ5 通量映射 $ \Sigma $ 的几何结构与散度-旋度引理在正则性估计中的贡献程度如何？

主要发现

• 在 $ \Omega \subset \mathbb{R}^2 $ 中，对所有熵 $ \Phi \in ENT $ 具有有限熵产生的Eikonal方程熵解，属于局部Besov空间 $ B^{1/4}_{4,\infty;\rm loc}(\Omega) $。
• 该正则性结果是精确的，即指数 $ 1/4 $ 无法改进，尽管可积性 $ p=4 $ 的最优性仍待确认。
• 首次严格建立了有限熵产生、动能形式化与最优Besov正则性之间的等价性。
• 增量 $ D^h_e m $ 的 $ L^4 $-范数的连续模被控制在 $ |h|\log(1/|h|) $ 以内，这蕴含了 $ B^{1/4}_{4,\infty} $ 正则性。
• 该方法依赖于将散度-旋度引理由差分算子的通量映射 $ \Sigma $ 新颖地应用，利用其测度值散度的性质。
• 该结果改进了Jabin与Perthame先前得到的 $ W^{1/5-}_{\rm loc} $ 与 $ W^{1/3-}_{\rm loc} $ 正则性结果，达到了精确的端点。