Global well-posedness for the incompressible Euler equations in an endpoint Sobolev space

技术摘要：不可压缩欧拉方程在端点 Sobolev 空间中的全局适定性

问题陈述
本文研究了 $\mathbb{R}^d$ ($d=2,3$) 中不可压缩欧拉方程的初值问题，特别关注涡度形式在临界 Sobolev 空间 $W^{d,1}(\mathbb{R}^d)$ 中的表现。该空间是“端点”临界空间，因为它是所有临界 Sobolev 空间 $W^{d/p,p}$ 家族中，唯一能保证涡度 $\omega \in W^{d/p,p}$ 蕴含速度场 $u$ 属于 Lipschitz 空间 $C^{0,1}$ 的空间。

在此项工作之前，已知欧拉方程在临界 Sobolev 空间 $W^{d/p,p}$ ($1 < p < \infty$) 中的适定性是失效的（强非适定），这是由 Bourgain 和 Li 的研究证实的。他们的非适定性结果依赖于构造使得速度梯度在 $C^{0,1}$ 中变得无界的初值数据。然而，由于 $p=1$ 的端点情况中，条件 $\omega \in W^{d,1}$ 本身就保证了 $u \in C^{0,1}$，使得 Bourgain 和 Li 的策略无法适用，因此该端点情况一直处于开放状态。虽然 Cozzi 和 Harrison 最近建立了 $W^{2,1}(\mathbb{R}^2)$ 中的局部适定性，但该空间中正则性的全局传播以及对应的 3D 情况尚未得到证明。

方法论
作者结合了输运估计、Lorentz 空间与 Besov 空间中的调和分析，以及轴对称流的特定结构性质。

1. 函数框架： 证明过程高度依赖于 $W^{d,1}(\mathbb{R}^d)$ 到 Besov 空间 $\dot{B}^0_{\infty,1}(\mathbb{R}^d)$ 的连续嵌入。控制 $\dot{B}^0_{\infty,1}$ 范数对于控制速度的 Lipschitz 范数至关重要。
2. 二维情况： 分析利用了在 2D 中涡度仅被流场输运（$\partial_t \omega + u \cdot \nabla \omega = 0$）的事实。作者结合了：
   • $\dot{B}^0_{\infty,1}$ 正则性的全局传播（基于 Vishik 的结果）；
   • 高阶导数在 $L^1$ 和 Lorentz 空间 ($L^{2,1}$) 中的输运估计；
   • 对数插值不等式和 Grönwall 引理来限制范数的增长。
3. 三维轴对称情况（无旋）： 3D 欧拉方程包含涡拉伸项 ($\omega \cdot \nabla u$)，这通常会带来困难。作者将问题限制在轴对称无旋流中。在柱坐标系下，涡度具有形式 $\omega = \omega_\theta e_\theta$，且量 $\alpha = \omega_\theta/r$ 满足纯输运方程 ($\partial_t \alpha + u \cdot \nabla \alpha = 0$)。
   • 这种结构使得 $\alpha$ 在 $L^{3,1}$（一种 Lorentz 空间）中是守恒的。
   • 作者建立 $\omega_0 \in W^{3,1}$ 蕴含 $\alpha_0 \in L^{3,1}$ 且 $\nabla \omega_0 \in L^{3,1}$。
   • 通过对输运方程求导并仔细估计非线性项，作者推导了 $\nabla \omega$、$\nabla^2 \omega$ 和 $\nabla^3 \omega$ 的先验估计（例如，通过交换子公式处理诸如 $\partial_r(r^{-1}u_r)$ 之类的项）。

核心贡献与结果

1. 二维情况下的全局适定性 ($W^{2,1}$):
   作者证明，若初始涡度 $\omega_0 \in W^{2,1}(\mathbb{R}^2)$，则存在唯一的全局解 $\omega \in C(\mathbb{R}_+; W^{2,1}(\mathbb{R}^2))$。

   • 解保持 $\dot{B}^0_{\infty,1}$ 正则性，且 $\nabla \omega \in C(\mathbb{R}_+; L^{2,1})$。
   • 其范数随时间至多呈指数级增长，而二阶导数的 $L^1$ 范数 ($\|\nabla^2 \omega\|_{L^1}$) 以及梯度的 Lorentz 范数 ($\|\nabla \omega\|_{L^{2,1}}$) 则表现出双指数增长。

2. 三维轴对称无旋情况下的全局适定性 ($W^{3,1}$):
   对于轴对称无旋流，若 $\omega_0 \in W^{3,1}(\mathbb{R}^3)$，本文证明了存在唯一的全局解。

   • 解保持正则性 $\omega \in C(\mathbb{R}_+; \dot{B}^0_{\infty,1})$，$\nabla \omega \in C(\mathbb{R}_+; L^{3,1})$，$\nabla^2 \omega \in C(\mathbb{R}_+; L^{3/2,1})$，以及 $\nabla^3 \omega \in C(\mathbb{R}_+; L^1)$。
   • 与 2D 情况类似，其范数随时间至多呈双指数增长。

意义与主张
本文声称这些结果与已知对于 $1 < p < \infty$ 时 $W^{d/p,p}$ 的强非适定性结果形成了“鲜明对比”：

• 非适定性策略的失效： 作者表明，Bourgain 和 Li 用于证明非适定性的策略（依赖于速度梯度在 $C^{0,1}$ 中变得无界）无法应用于端点空间 $W^{d,1}$，因为在该空间中速度本质上是 Lipschitz 连续的。
• Lorentz 空间的锐度： 在 3D 轴对称情况下，结果强调了 Lorentz 空间 $L^{3,1}$ 的关键作用。论文指出，Bang 和 Cheskidov 最近的工作表明，如果将条件放宽到 $L^{3,q}$ ($q > 1$)，强非适定性会回归。因此，$L^{3,1}$ 假设对于该设定下的全局正则性是锐利的。
• 开放问题： 作者谦虚地指出，关于一般（非轴对称）$W^{3,1}(\mathbb{R}^3)$ 涡度的适定性问题仍然是一个开放问题。虽然他们可以建立局部强解并保持 Besov 正则性，但传播一般 3D 流的 $\nabla^3 \omega$ 的 $L^1$ 正则性是一个具有挑战性的开放问题，他们计划在未来的工作中解决这一问题。此外，速度方程在 $W^{d+1,1}$ 中的适定性也被指出是一个独立于涡度问题的开放问题。

总之，本文确立了端点临界 Sobolev 空间 $W^{d,1}$ 是一个使得不可压缩欧拉方程在 2D 流和 3D 轴对称无旋流中全局适定的机制，克服了导致其他临界空间非适定的困难。