[论文解读] A regularizing property of the $2D$-eikonal equation

Camillo De Lellis, Radu Ignat|Zurich Open Repository and Archive (University of Zurich)|Sep 7, 2014

Navier-Stokes equation solutions参考文献 14被引用 4

一句话总结

该论文通过证明当 $ p \in [1,3] $ 时，具有 $ W^{1/p,p}_{\text{div}} $-正则性的向量场在除了孤立的一阶涡旋点外，其梯度是局部利普希茨连续的，从而为二维依C型方程及其相关的伯吉斯方程建立了正则化效应。该结果依赖于运动学公式和交换子估计，表明此类解满足隐藏的平衡律，从而排除了线状奇点和振荡行为。

ABSTRACT

We prove that any $2$-dimensional solution $ψ\in W_{loc}^{1+\frac 1 3, 3}$ of the eikonal equation has locally Lipschitz gradient $ abla ψ$ except at a locally finite number of vortices.

研究动机与目标

• 建立二维依C型方程 $ |\nabla\psi| = 1 $ 几乎处处在 $ \Omega \subset \mathbb{R}^2 $ 中的解的正则化性质，表明 $ \nabla\psi $ 除了在孤立涡旋点外是局部利普希茨连续的。
• 刻画在 $ p \in [1,3] $ 时，散度为零的 $ \mathbb{S}^1 $-值向量场 $ u \in W^{1/p,p}_{\text{div}}(\Omega, \mathbb{S}^1) $ 的奇点结构，证明其仅能具有第一阶度的点涡旋。
• 将正则性结果推广至伯吉斯方程 $ v_t + (v^2/2)_s = 0 $ 的熵解，当其满足 $ L^3(I, W^{1/3,3}(J)) $ 可积性时，表明此类解是局部利普希茨连续的。
• 展示临界正则性阈值 $ 1/3 $-霍尔德正则性（与奥恩斯格尔猜想相关）可确保此类系统中动能守恒与隐藏平衡律。

提出的方法

• 通过特征函数 $ \chi(x,\xi) = \mathbf{1}_{\{u(x)\cdot\xi > 0\}} $ 对依C型方程建立运动学公式，其在分布意义下满足 $ \xi \cdot \nabla_x \chi(x,\xi) = 0 $。
• 应用康斯坦丁、艾和蒂蒂的交换子估计，推导出 $ u \in W^{1/p,p}_{\text{div}}(\Omega, \mathbb{S}^1) $ 的隐藏平衡律，该结果仅在 $ p \in [1,3] $ 时成立。
• 利用散度为零条件与弱特征线，建立 $ u $ 在横截线段上的 $ L^\infty $-迹，从而实现对奇点的迹分析。
• 实施基于迹的论证，表明若 $ u $ 在勒贝格点处与某线段正交，则其在该线段上几乎处处正交，从而保持特征结构。
• 利用特征线上的序关系：若 $ u(x) \cdot (y - x) > 0 $，则 $ u(y) \cdot (y - x) > 0 $，以排除非物理解的交叉并强化正则性。
• 应用奥列宁克估计与无激波分析，表明在 $ L^3(I, W^{1/3,3}(J)) $ 条件下的伯吉斯方程熵解 $ v $ 是连续的，因而为局部利普希茨连续。

实验结果

研究问题

• RQ1 对于解满足 $ \psi \in W^{1+1/3,3}_{\text{loc}}(\Omega) $ 的二维依C型方程 $ |\nabla\psi| = 1 $ 几乎处处成立，其正则性特征为何？
• RQ2 当 $ p \in [1,3] $ 时，$ W^{1/p,p}_{\text{div}}(\Omega, \mathbb{S}^1) $ 解是否可能出现线状奇点或振荡行为？若不能，原因是什么？
• RQ3 散度为零条件与 $ W^{1/p,p} $ 正则性如何相互作用，以确保仅出现点状涡旋而非扩展奇点？
• RQ4 为何 $ 1/3 $-霍尔德正则性阈值在确保不可压缩欧拉方程与伯吉斯方程解中能量守恒与隐藏平衡律方面起关键作用？
• RQ5 能否利用运动学公式与迹理论，证明在临界 $ p=3 $ 情况下，弱解（尤其在光滑情形之外）的正则性？

主要发现

• 任意解 $ u \in W^{1/p,p}_{\text{div}}(\Omega, \mathbb{S}^1) $ 满足 $ p \in [1,3] $ 时，其梯度在除了局部有限个孤立涡旋点外均为局部利普希茨连续。
• 每个涡旋点 $ P \in \Omega $ 对应于一个第一阶奇点，满足在 $ P $ 的邻域内 $ u(x) = \alpha \frac{(x-P)^\perp}{|x-P|} $，其中 $ \alpha = \pm 1 $ 且 $ x \neq P $。
• 当 $ p \leq 3 $ 时的 $ W^{1/p,p} $ 正则性排除了跳跃间断与振荡线状奇点（例如由 $ \varphi(x_1) = \log|\log|x_1|| $ 引起的奇点），这归因于散度为零的约束。
• 对于伯吉斯方程的熵解 $ v \in L^4(\Omega) \cap L^3(I, W^{1/3,3}(J)) $，奥列宁克估计与无激波条件表明 $ v $ 是连续的，因而为局部利普希茨连续。
• 通过交换子估计推导出的隐藏平衡律对 $ u \in W^{1/p,p}_{\text{div}}(\Omega, \mathbb{S}^1) $ 且 $ p \in [1,3] $ 成立，但在更低正则性下不成立，凸显了该阈值的精确性。
• 该结果证实，$ 1/3 $-霍尔德正则性是流体方程中能量守恒的关键阈值，因为它确保了原本在分布解中被破坏的平衡律的有效性。