二维外部区域中的定常欧拉流何时无旋？

结论是等价关系而非单向蕴含

论文的定理 1.1 指出，对于紧致障碍物外部区域中的定常不可压缩欧拉流，以下两个命题等价：速度 v(x) 在流体区域中每一点都非零，以及标量涡量 ω 在该区域中恒为零。障碍物边界 ∂K 上的边界条件 v·N > 0 排除了边界上的零点，因此任何驻点都必须位于流体区域 Ω = R² \ K 内。

把它读作等价关系很重要。这不仅仅是说无旋流恰好没有驻点；反过来也成立。如果某处涡量非零，流场中必然存在驻点。作者将此称为刚性结果：它限制了哪些边值问题可以在外部区域中求解，因为没有驻点的流被迫是势流。

三个假设支撑整个定理

第一个假设是边界条件 v·N > 0 在 ∂K 上成立，其中 N 从障碍物 K 指向流体 Ω。由于 Ω 在 ∂K 上的外法向是 −N，这意味着流体从障碍物边界进入 Ω，且由连续性和紧致性，存在 c₀ 使得 v·N ≥ c₀ > 0。第二个和第三个假设涉及无穷远处：存在 R₀, C > 0，使得当 |x| ≥ R₀ 时，v_r(x) = v(x)·e_r(x) > 0 且 |v(x)|²/v_r(x) ≤ C/|x|。

径向条件意味着一旦轨迹位于足够大的圆盘之外，它到原点的距离就不断增加。比值条件控制沿这类轨迹的环量，并蕴含 |v(x)| ≤ C/|x|。一个具体的充分条件是：在大圆盘之外，对某些 M, K > 0，有 0 < v_r ≤ M/|x| 且 |v_θ| ≤ K v_r。定理不要求流动或障碍物具有径向对称性，也不假设速度有正的一致下界。

无旋流由辐角原理保证无驻点

从无旋到无驻点这一方向，证明使用复速度 q(z) = v₁(z) − i v₂(z)。不可压缩性和零涡量给出 2∂_z̄ q = div v − iω = 0，因此 q 在 Ω 中全纯，且 q(z) = 0 恰好等价于 v(z) = 0。

边界条件将 q 沿 ∂K 的绕数固定为 −1，而 v_r 的正性给出沿每个足够大圆周的相同绕数 −1，两者都取逆时针方向。在障碍物与大圆之间的环形区域上应用辐角原理，q 的零点阶数之和等于 −1 − (−1) = 0。由于每个零点的重数都为正，q 在该区域中没有零点。这一方向只需要无穷远处 v_r 的正性，不需要 |v|²/v_r 的界。

无驻点迫使涡量消失

反方向用反证法证明。假设 v 处处非零，但在某点 x* 处 ω(x*) ≠ 0，作者首先证明每条轨迹在正向时间中都逃逸到无穷远。在二维情形中，定常欧拉流的涡量沿轨迹为常数，因此非零值可以沿一束轨迹传播，在这束轨迹上涡量保持固定符号且远离零。

矛盾来自用两种方式估计涡量在这段截断流管上的积分。通过每个圆形截面的通量为正且与半径无关，结合 |v(x)| ≤ C/|x|，得到流管在半径 R 处截断后面积的二次下界，从而得到涡量积分绝对值的二次下界。另一方面，斯托克斯定理用流管边界上的速度值来估计同一积分，而 |v|²/v_r 的界使沿流管的环量随 R 至多对数增长。除以 R² 并令 R → ∞，得到 δΦ_T/(2C) ≤ 0，与 δ > 0 和 Φ_T > 0 矛盾。

速度衰减阻断通常的流函数路径

以往关于定常欧拉流的刚性结果常把问题化为全局流函数的半线性椭圆方程，或使用移动平面法。这些技术在本文中无法直接使用。障碍物边界上的正通量使得无法在整个 Ω 上定义单值流函数，而速度在无穷远处衰减，并非有正下界。

论文还指出，正通量使能量无穷大：令 Φ = ∫_{∂K} v·N dℓ > 0，在 B_r \ K 上应用散度定理给出 Φ = ∫_{∂B_r} v_r dℓ，柯西不等式给出 ∫_{∂B_r} |v|² dℓ ≥ Φ²/(2πr)，因此 ∫_Ω |v|² dx 发散。有限能量流的结果因此不适用于此情形。作者还记录到，如果速度与障碍物边界相切，无驻点的流不必无旋；这类圆周型例子在每个包围障碍物的圆周上通量为零，不满足 v_r > 0。

同一结论覆盖磁流体静力学平衡

该问题可以用理想磁流体静力学的语言重写。静态磁场 B 和等离子体压力 p_m 满足 (curl B) × B = ∇p_m 且 div B = 0，在对应关系 v = B 和 p = −p_m − ½|B|² 下化为定常欧拉方程。对于二维场 B = (B₁, B₂, 0)，标量涡量对应 curl B 的第三分量，驻点对应磁场的零点。

在论文的边界条件和无穷远假设下，定理因此蕴含：具有非零电流的二维平衡必有一点使磁场为零。作者将此与 Grad 和 Rubin 提出的边值问题联系起来，那里在边界上给定磁场的法向分量，并在场进入的那部分边界上附加额外数据。在这个外部问题中，涡量的输运方程导致限制而非构造：如果场不消失，电流必须为零。

等价关系划定了什么可行什么不可行

定理的实际内容是加在可容许外部流上的约束。如果你在寻找紧致障碍物外部区域中的定常不可压缩欧拉流，且流体从每个边界点进入、在无穷远处具有所述衰减，那么你不能同时拥有非零涡量和处处远离零的速度。非零涡量迫使 Ω 中某处出现驻点。

作者指出自然的后续问题：确定在哪些最弱的无穷远条件下，无驻点仍迫使流动无旋。这就是当前结果的边界。在所述假设内，读这一定理最锐利的方式是把它看作两种可能之间的二分——要么流动无旋，要么存在驻点——其中边界条件和速度在无穷远处的衰减承担了有界区域刚性结果中速度一致下界所起的作用。

本文引用的文献