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

技術要約：非局所的Leray-$\alpha$方程式の局所的極限

問題設定
本論文は、非圧縮オイラー方程式の非局所的な正則化である、非粘性Leray-$\alpha$方程式を調査している。この系は、長さスケールパラメータ $\alpha > 0$ を伴い、領域 $\Omega \subseteq \mathbb{R}^d$ ($d=2,3$) 上で定義される。方程式は、フィルタリングされた速度 $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$ 方程式の解がオイラー方程式の解に収束することを確立することである。著者らは、以下の2つの異なるレジーム（領域）に対処している：

1. 強解 (Strong Solutions): 全空間 $\mathbb{R}^d$ における高レギュラリティのソボレフ空間 ($H^s$、ただし $s > d/2 + 1$) における収束。
2. 弱解 (Weak Solutions): 有界領域における $L^2$ における収束。これは、高次のレギュラリティを仮定せず、$L^2$ に属する初期データと、乱流理論に関連する特定の局所スケーリング特性を仮定する。

手法

パート1：強解と一般化されたカーネル
著者らは、Masmoudiによる非粘性ナビエ・ストークス方程式の非粘性極限に関する手法、およびLinshizとTitiによるEuler-$\alpha$モデルに関する手法を適応させている。主要な手法上の相違点は、Euler-$\alpha$ の証明が渦度構造に大きく依存しているのに対し、Leray-$\alpha$ モデルの証明は、渦度構造を利用せずに行われる点である。

証明戦略は、Leray-$\alpha$ の解 $v_\alpha$ とオイラーの解 $v$ の差を推定するために、3部構成の分解を用いている：

1. 初期データの正則化: 初期データ $v_0$ および $v_\alpha^0$ を、フーリエ空間におけるカットオフ（パラメータ $\delta$）を用いて平滑化し、$v_0^\delta$ および $v_\alpha^{0,\delta}$ を作成する。
2. 三角不等式: 誤差 $\|v_\alpha - v\|$ を以下の3つの項に分割する：
   • $\|v_\alpha - v_\alpha^\delta\|$: 元のデータを持つLeray-$\alpha$ 解と、平滑化されたデータを持つLeray-$\alpha$ 解との差。
   • $\|v_\alpha^\delta - v^\delta\|$: 平滑化されたLeray-$\alpha$ 解と、平滑化されたオイラー解との差。
   • $\|v^\delta - v\|$: 平滑化されたオイラー解と、元のオイラー解との差。
3. カーネルの一般化: 著者らは、収束に必要な性質（$H^l$ における有界性と単位元への収束）のみを指定しつつ、導出過程を通じて一般的なカーネル $K_\alpha$ を維持している。特定のヘルムホルツ・カーネルは、明示的な収束率を導出するための最終ステップでのみ適用される。

パート2：弱解と局所スケーリング
弱解のレジームについては、初期データが $L^2$ にあると仮定し、境界から遠く離れた場所において局所スケーリング特性（式12）を課している。この条件は、2次構造関数を以下のように制限する：
$$\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)$ である。この仮定は、コルモゴロフの1941年の乱流理論および慣性領域に基づいているが、決定的なのは、これが古典的なレギュラリティを意味するものではないという点である。

収束の証明は、[19] および [20] による消散粘性極限のアプローチに従う。非線形項 $(u_\alpha \otimes v_\alpha)$ を分解するために、テスト関数 $j(z)$ を用いたモルフィケーション（緩和）技術を利用する。証明では、誤差を、平滑化された場を用いた3つの成分（A, B, C）に分割し、$v_\alpha$ の $v_\infty$ への弱収束と、平滑化された場の強収束を利用することで、Leray-$\alpha$ とオイラーの非線形項の差が消失することを示す。

主要な貢献と結果

1. 強解の収束 (定理1):

   • 初期データが $H^s(\mathbb{R}^d)$ ($s > d/2 + 1$) にあるとき、Leray-$\alpha$ 方程式の強解は、$\alpha \to 0$ のときオイラー方程式の強解に $L^\infty(0, T; H^s)$ で収束することを証明している。
   • 明示的なレート: 著者らは、より低いノルム $H^{s'}$ ($0 \leq s' \leq s-1$) に対する収束レートを導出している。このレートは、初期データの誤差と、$\alpha^\iota t$ に比例する項（$\iota$ は $s$ と $s'$ の差に依存する）に依存する。
   • 一般化されたカーネル (系1): 特定の有界性と近似特性を満たす限り、結果は広範なクラスの正則化カーネル $K_\alpha$ に拡張される。

2. 弱解の収束 (定理2):

   • 有界領域において、一連の弱解が局所スケーリング特性 (12) を満たし、かつ $L^2$ において弱収束する場合、その極限はオイラー方程式の弱解となる。
   • 極限解 $v_\infty$ はスケーリング特性を継承する。
   • この結果は、異常エネルギー散逸を示す可能性のある「ワイルド」な弱解（コルモゴロフの第0法則と一致する）を受け入れるものであり、エネルギーを保存する強解とは区別される。

3. 手法上の相違点:

   • 本論文は、Leray-$\alpha$ の証明が渦度定式化に依存しないことを明記しており、これはEuler-$\alpha$ モデルに関する文献からの重要な逸脱である。これにより、より一般的なクラスのカーネルの調査が可能となっている。

意義と主張

著者らは、本研究を、Euler-$\alpha$ モデルや粘性Leray-$\alpha$ モデルと比較して、文献において相対的に注目されてこなかった非粘性Leray-$\alpha$ モデルに関する根本的な問いに取り組むものとして位置づけている。

• 非局所的から局所的への極限: 本論文は、非局所的なLeray-$\alpha$ 正則化と局所的なオイラー方程式との間の厳密な数学的結合を確立し、正則化スキームとしての当該モデルの妥当性を確認している。
• 他の極限との比較: 著者らは、$\alpha$ の次数に関する収束レートが、ナビエ・ストークスの非粘性極限（Masmoudi [40]）およびEuler-$\alpha$ 極限（Linshiz and Titi [34]）で見られるものと同等であることを指摘している。
• 乱流との接続: 弱解の解析において局所スケーリング特性を利用することで、本論文は数学的収束を物理的な乱流理論（コルモゴロフの構造関数）に結びつけており、滑らかでない可能性のある解の収束を可能にしている。
• 境界条件: 著者らは境界条件の扱いを明確にしており、境界層の問題（非粘性極限における既知の困難）を避けるために、スケーリングの仮定が境界から離れた場所に適用されていることを述べている。

結論として、非粘性Leray-$\alpha$ 方程式は、適切な仮定の下で、滑らかなレジームと乱流（弱）レジームの両方において収束特性を持つ、オイラー方程式の堅牢な非局所的正則化を提供すると述べている。