[论文解读] The growth of the vorticity gradient for the two-dimensional Euler flows on domains with corners

Tsubasa Itoh, Hideyuki Miura+1 more|arXiv (Cornell University)|Feb 2, 2016

Navier-Stokes equation solutions参考文献 6被引用 7

一句话总结

本论文研究了在具有角点的区域中二维欧拉流的涡量梯度增长问题，证明当角点角度 θ ≤ π/2 时，涡量的利普希茨范数最多呈单指数增长，且上下界均为精确的；当 θ > π/2 时，涡量可能在瞬间失去连续性。在临界角 θ = π/2 时，双指数增长是可能的，与基塞列夫-斯韦拉克在圆盘上的结果一致。

ABSTRACT

We consider the two-dimensional Euler equations in non-smooth domains with corners. It is shown that if the angle of the corner $θ$ is strictly less than $π/2$, the Lipschitz estimate of the vorticity at the corner is at most single exponential growth and the upper bound is sharp. %near the stagnation point. For the corner with the larger angle $π/2 < θ<2π$, $θ eq π$, we construct an example of the vorticity which loses continuity instantaneously. For the case $θ\le π/2$, the vorticity remains continuous inside the domain. We thus identify the threshold of the angle for the vorticity maintaining the continuity. For the borderline angle $θ=π/2$, it is also shown that the growth rate of the Lipschitz constant of the vorticity can be double exponential, which is the same as in Kiselev-Sverak's result (Annals of Math., 2014).

研究动机与目标

• 确定有界二维区域中角点几何对欧拉方程中涡量梯度正则性与增长的影响。
• 识别出涡量可能失去连续性的临界角点角度 θ，以区分涡量连续与瞬时不连续的两种情形。
• 为不同角点角度建立涡量利普希茨范数增长速率的精确上下界。
• 将已知的双指数增长结果（如基塞列夫-斯韦拉克的结果）推广至具有角点的区域，特别是 θ = π/2 时的情形。

提出的方法

• 分析采用二维欧拉方程的拉格朗日形式，通过由毕奥-萨伐尔定律导出的速度场的柯西问题追踪粒子轨迹。
• 利用区域中狄利克雷问题的格林函数表达速度场，实现在角点附近的精确控制。
• 当 θ < π/2 时，对粒子轨迹之间的相对距离应用格朗沃尔型估计，得到涡量梯度的单指数界。
• 当 θ > π/2 时，通过构造初始数据 ω₀(x) = |x| 或 x₁，证明轨迹可在有限时间内到达角点，导致涡量不连续。
• 对于 θ > π，利用对称性假设，将问题约化至角度为 θ/2 的子区域，从而构造出不连续解。
• 证明利用了边界驻点附近具有双曲流场的机制，其中粒子在有限时间内汇聚至角点，导致涡量梯度被极大放大。

实验结果

研究问题

• RQ1 在角点角度 θ < π/2 的二维欧拉流中，涡量利普希茨范数的最大可能增长速率是多少？
• RQ2 当 θ ≤ π/2 时，涡量在内部是否保持连续？若是，其梯度增长的精确界是什么？
• RQ3 当 θ > π/2 时，涡量是否可能瞬时失去连续性？在何种几何与初始数据条件下会发生这种情况？
• RQ4 在圆盘中观察到的双指数增长速率（基塞列夫-斯韦拉克结果）是否也可在角点区域的临界角 θ = π/2 时实现？
• RQ5 角点角度 θ 如何影响驱动涡量梯度放大的双曲流机制？

主要发现

• 当 0 < θ < π/2 时，涡量的利普希茨范数最多呈单指数增长，且该界是精确的：存在初始数据使得增长速率在 t > 0 时至少达到 Ce^{Ct}。
• 当 θ = π/2 时，涡量利普希茨范数可呈双指数增长，与基塞列夫-斯韦拉克在圆盘上的结果一致。
• 当 π/2 < θ < 2π 且 θ ≠ π 时，存在初始数据使得涡量在有限时间内变得不连续，即使初始数据本身是连续的。
• 当 θ > π 时，在对称性假设下，通过将问题约化至角度为 θ/2 的子区域，涡量可瞬时失去连续性。
• 涡量连续性的临界角为 θ = π/2：当 θ ≤ π/2 时涡量保持连续，但当 θ > π/2 时可能失去连续性。
• 增长机制由角点附近的双曲流驱动，其中轨迹在有限时间内汇聚至角点，导致梯度被极端放大。