The Nonlocal-to-Local Limit for the Inviscid Leray-α Equations

技术摘要：无粘性 Leray-$\alpha$ 方程的非局部到局部极限

问题陈述
本文研究了无粘性 Leray-$\alpha$ 方程，这是一种非局部正则化的不可压缩 Euler 方程。该系统定义在区域 $\Omega \subseteq \mathbb{R}^d$ ($d=2,3$) 上，具有长度尺度参数 $\alpha > 0$。方程通过 Helmholtz 算子关系将滤波速度 $u_\alpha$ 与物理速度 $v_\alpha$ 联系起来，即 $v_\alpha = u_\alpha - \alpha^2 \Delta u_\alpha$（或更广义地，$u_\alpha = K_\alpha * v_\alpha$），而动量方程为 $\partial_t v_\alpha + (u_\alpha \cdot \nabla)v_\alpha + \nabla p_\alpha = 0$。

主要目标是建立当正则化参数 $\alpha \to 0$ 时，Leray-$\alpha$ 方程解向 Euler 方程解的收敛性。作者讨论了两种不同的机制：

1. 强解 (Strong Solutions)： 在全空间 $\mathbb{R}^d$ 上高正则性 Sobolev 空间（$H^s$ 其中 $s > d/2 + 1$）中的收敛。
2. 弱解 (Weak Solutions)： 在有界区域上 $L^2$ 中的收敛，假设初始数据在 $L^2$ 中，并满足与湍流理论相关的特定局部标度性质，而不假设更高的正则性。

方法论

第一部分：强解与通用核
作者借鉴了 Masmoudi 关于 Navier-Stokes 方程无粘极限的研究以及 Linshiz 和 Titi 关于 Euler-$\alpha$ 模型的研究。一个关键的方法论区别在于，Leray-$\alpha$ 模型的证明是在不利用该系统的涡度结构的情况下进行的，这与高度依赖涡度方程的 Euler-$\alpha$ 证明不同。

证明策略涉及一个三部分分解，用于估计 Leray-$\alpha$ 解 $v_\alpha$ 与 Euler 解 $v$ 之间的差异：

1. 初始数据的正则化： 使用傅里叶空间中的截断（参数 $\delta$）对初始数据 $v_0$ 和 $v_\alpha^0$ 进行平滑处理，以创建 $v_0^\delta$ 和 $v_\alpha^{0,\delta}$。
2. 三角不等式： 将误差 $\|v_\alpha - v\|$ 分解为三个项：
   • $\|v_\alpha - v_\alpha^\delta\|$：原始数据下的 Leray-$\alpha$ 解与平滑数据下的 Leray-$\alpha$ 解之间的差异。
   • $\|v_\alpha^\delta - v^\delta\|$：平滑后的 Leray-$\alpha$ 解与平滑后的 Euler 解之间的差异。
   • $\|v^\delta - v\|$：平滑后的 Euler 解与原始 Euler 解之间的差异。
3. 核的泛化： 作者在整个推导过程中保持了一个通用的核 $K_\alpha$，仅规定了收敛所需的性质（在 $H^l$ 中的有界性和向恒等映射的收敛性）。特定的 Helmholtz 核仅在最后一步用于导出显式的收敛速率。

第二部分：弱解与局部标度
对于弱解机制，作者假设初始数据在 $L^2$ 中，并在远离边界处施加一个局部标度性质（方程 12）。该条件限制了二阶结构函数：
$$\sup_{\alpha>0} \int_0^T \int_K |v_\alpha(x+y, t) - v_\alpha(x, t)|^2 dx dt \leq E_K |y|^{2\gamma}$$
其中 $|y| \geq \eta(\alpha)$。这一假设受到 Kolmogorov 1941 年湍流理论和惯性范围的启发，但至关重要的是，它并不意味着经典的正则性。

收敛证明遵循 [19] 和 [20] 处理消失粘性极限的方法。它利用带有测试函数 $j(z)$ 的模化技术来分解非线性项 $(u_\alpha \otimes v_\alpha)$。证明通过将误差分为涉及模化场的三个组件（A, B, C），并利用 $v_\alpha$ 的弱收敛性和模化场的强收敛性，表明 Lerey-$\alpha$ 与 Euler 方程的非线性项之差趋于零。

核心贡献与结果

1. 强解的收敛性 (定理 1)：

   • 作者证明了对于初始数据在 $H^s(\mathbb{R}^d)$ ($s > d/2 + 1$) 中的情况，Leray-$\alpha$ 方程的强解在 $\alpha \to 0$ 时在 $L^\infty(0, T; H^s)$ 中收敛于 Euler 方程的强解。
   • 显式速率： 他们导出了低阶范数 $H^{s'}$ ($0 \leq s' \leq s-1$) 的收敛速率。该速率取决于初始数据误差以及与 $\alpha^\iota t$ 成正比的项，其中 $\iota$ 取决于 $s$ 与 $s'$ 之间的间隙。
   • 通用核 (推论 1)： 只要满足特定的有界性和逼近性质，其结果可扩展到一类广泛的正则化核 $K_\alpha$。

2. 弱解的收敛性 (定理 2)：

   • 在有界区域上，如果一系列弱解满足局部标度性质 (12) 并在 $L^2$ 中弱收敛，则其极限是 Euler 方程的一个弱解。
   • 极限解 $v_\infty$ 继承了该标度性质。
   • 该结果容纳了可能表现出异常能量耗散的“野蛮”弱解（与 Kolmogorov 第零定律一致），这将其与保持能量的强解区分开来。

3. 方法论区别：

   • 论文明确指出，Leray-$\alpha$ 的证明并不依赖于涡度表述，这是对 Euler-$\alpha$ 模型文献的一个显著偏离。这使得研究更广泛的一类核成为可能。

意义与主张

作者将这项工作定位为解决关于无粘性 Leray-$\alpha$ 模型的基础问题，该模型在文献中受到的关注相对较少（相比于 Euler-$\alpha$ 模型或粘性 Leray-$\alpha$ 模型）。

• 非局部到局部极限： 论文建立了非局部 Leray-$\alpha$ 正则化与局部 Euler 方程之间的严格数学联系，确认了该模型作为一种正则化方案的有效性。
• 与其他极限的比较： 作者指出，关于 $\alpha$ 阶数的收敛速率与 Navier-Stokes 的无粘极限（Masmoudi [40]）以及 Euler-$\alpha$ 极限（Linshiz 和 Titi [34]）中所发现的速率相当。
• 湍流联系： 通过在弱解分析中使用局部标度性质，论文将数学收敛性与物理湍流理论（Kolmogorov 结构函数）联系起来，从而允许收敛那些可能不光滑的解。
• 边界条件： 该工作阐明了如何处理边界条件，指出标度假设应用于远离边界的区域，以避免边界层带来的复杂性，而边界层是无粘极限中的一个已知难点。

论文得出结论，无粘性 Leray-$\alpha$ 方程提供了 Euler 方程的一种稳健的非局部正则化，其收敛性质在适当的假设下，对于光滑和湍流（弱）机制均成立。