[论文解读] Uniqueness for the 2-D Euler equations on domains with corners

Christophe Lacave, Évelyne Miot+1 more|arXiv (Cornell University)|Jul 2, 2013

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

一句话总结

本论文在具有锐角（≤ π/2）的有界、单连通平面区域上，建立了有界涡度下二维欧拉方程弱解的唯一性。通过使用共形映射将区域映射到单位圆盘，作者证明了速度场的对数-Lipschitz 正则性，从而在缺乏 C^{1,1} 边界正则性的情况下，通过 Gronwall 类型估计确保了拉格朗日轨迹的唯一性。

ABSTRACT

For a large class of non smooth bounded domains, existence of a global weak solution of the 2D Euler equations, with bounded vorticity, was established by Gérard-Varet and Lacave. In the case of sharp domains, the question of uniqueness for such weak solutions is more involved due to the bad behavior of $Δ^{-1}$ close to the boundary. In the present work, we show uniqueness for any bounded and simply connected domain with a finite number of corners of angles smaller than $π/2$. Our strategy relies on a log-Lipschitz type regularity for the velocity field.

研究动机与目标

• 在非光滑边界（特别是角度属于 (0, π/2] 的角点）的区域中，建立二维欧拉方程弱解的唯一性。
• 解决由于在非 C^{1,1} 区域中 Calderón-Zygmund 估计失效而导致经典 Yudovich 唯一性论证失效的问题。
• 将唯一性结果扩展至光滑或凸区域且具有对称角度的范围之外，特别适用于具有锐角奇点的区域。
• 通过建立共形映射下的对数-Lipschitz 正则性，克服速度场在角点附近缺乏 W^{1,∞} 正则性的问题。

提出的方法

• 使用共形映射将原始具有锐角的区域映射到单位圆盘，保持欧拉方程的结构不变。
• 分析共形映射下速度场的前推，以在圆盘中导出对数-Lipschitz 正则性估计。
• 利用具有角点奇点的调和函数的行为，控制边界角点附近二阶导数的增长。
• 在角点区域的椭圆理论基础上，建立速度场在 L^∞(ℝ₊;L²(Ω)) 和 curl u 在 L^∞(ℝ₊×Ω) 中的统一估计。
• 在单位圆盘中对拉格朗日轨迹应用 Gronwall 类型论证，依赖于对数-Lipschitz 估计以闭合唯一性估计。
• 在变换后的区域中使用对称性和反射技巧，控制由速度核在角点附近产生的奇异积分。

实验结果

研究问题

• RQ1 在非 C^{1,1} 的角点区域（特别是锐角）中，能否建立二维欧拉方程弱解的唯一性？
• RQ2 当速度场仅为对数-Lipschitz 时，即使解的 L^p 估计中 Calderón-Zygmund 常数的线性 p 依赖性失效，是否仍能保证唯一性？
• RQ3 如何控制速度场在锐角附近的奇异行为，以实现对轨迹的 Gronwall 估计？
• RQ4 共形映射技术能否用于将单位圆盘中的正则性估计传递到具有锐角奇点的一般区域？
• RQ5 在缺乏 W^{1,∞} 有界性的情况下，速度场的对数-Lipschitz 正则性是否足以保证唯一性，特别是当涡度有界时？

主要发现

• 在具有角点角度 θ_k ∈ (0, π/2] 的有界、单连通平面区域上，二维欧拉方程全局弱解的唯一性得以确立。
• 在变换后的区域（单位圆盘）中，速度场被证明为对数-Lipschitz 连续，这足以闭合拉格朗日轨迹的 Gronwall 估计。
• 作者证明了在角点区域上泊松方程解的 L^p 估计中，常数满足 C(p,Ω) ≤ C(Ω)p，这对 Gronwall 论证至关重要。
• 通过 dyadic 分解和涉及 |z - x_k|^{-2α_k}（其中 α_k > 0）的估计，控制了角点附近由速度核产生的奇异积分，导出了包含 |ln d| 的界。
• 该方法避免了对涡度符号的假设，将唯一性结果推广至以往要求单符号涡度的研究之外。
• 该结果将先前针对矩形和具有对称角度的凸区域的唯一性结果，推广到更广泛的具有锐角奇点的区域类别。