Uniform large deviations and long-time dynamics for the 2D anisotropic Navier-Stokes equations on the torus

技術要約：トーラス上の2次元異方性ナビエ・ストークス方程式における一様大偏差原理と長時間ダイナミクス

問題設定
本論文は、水平方向の散逸のみを受け、加法的ノイズを伴うトーラス $\mathbb{T}^2$ 上の2次元確率非圧縮ナビエ・ストークス方程式を調査している。系は次のように定義される：
$$du^\varepsilon + (u^\varepsilon \cdot \nabla)u^\varepsilon dt + \nabla p^\varepsilon dt - \partial_1^2 u^\varepsilon dt = \sqrt{\varepsilon} Q^{1/2} dW, \quad \nabla \cdot u^\varepsilon = 0,$$
ここで、散逸演算子 $A = -P\partial_1^2$ は水平方向にのみ作用する。垂直方向の散逸の欠如は、散逸メカニズムの影響を受けない定常状態（純粋な垂直せん断モード）の無限次元カーネルを生じさせる。著者らは、3つの主要な課題に取り組んでいる：指数型タイトネス（exponential tightness）に依存することなくエネルギー空間における解の軌道に対して一様大偏差原理（LDP）を確立すること、長時間の混合特性を分析すること、そしてこの退化した散逸が存在する場合の不変測度の構造を特徴付けることである。

手法
分析は、以下の3つの異なる手法的な柱を通じて進行する：

1. 一様大偏差原理 (L-LDP):
   著者らは、弱収束アプローチと一様縮小原理を組み合わせている。

• 線形解析: まず、補助空間 $G = C([0, T]; H) \cap L^2(0, T; \tilde{H}^{1,1})$ における線形オルンシュタイン＝ウーレンベック過程 $z^\varepsilon$ に対するLDPを確立する。これは、スケルトン方程式の先験的評価と、有界な制御に対する解写像のコンパクト性に依拠している。
• 非線形写像: 線形軌道を完全な確率方程式の解へと送る非線形写像 $F_x: G \to C([0, T]; H)$ の構築を行う。著者らは、有界な初期データの集合に対して、この写像の「一様リプシッツ連続性」を証明する。この評価は、非線形項 $(u \cdot \nabla)u$ を制御するための、異方性ガリヤーゴ＝ニレンバーグ不等式と発散フリー条件を用いた新しい代数的操作を利用している。
• 縮小原理: ワン（Wang）の一様縮小原理を適用することで、非線形系のLDPを導出する。このアプローチは、古典的なSPDEのLDP証明で通常必要とされる指数型タイトネスの条件を回避している。なぜなら、リプシッツ連続性が全補助空間 $G$ 上で確立されているからである。

2. 長時間ダイナミクス（指数混合）:
   著者らは、水平ストークス演算子のカーネルに含まれる特定の決定論的定常状態 $u_0 = (\sin x_2, 0)$ を特定することにより、指数混合の失敗を分析する。このモードは水平微分がゼロであるため、散逸項が消失し、かつこの特定のプロファイルに対して非線形項も消失する。その結果、この減衰しないモードとゼロ解との差の $L^2$ ノルムは、決定論的極限において一定となる。著者らは、背理法を用いて、微小なノイズが存在する場合でも、この減衰しないモードが確率系において一様な指数混合の見積もりを満たすことを妨げていることを示す。

3. 不変測度:
   決定論的な場合と確率的な場合を対比させることで、不変測度の存在と構造を調査する：

• 決定論的な場合: 演算子 $A$ の無限次元カーネル $N$ は、すべて定常状態で構成されている。したがって、すべての $u \in N$ に対するディラック測度 $\delta_u$ は不変測度となり、結果として無限個の異なる不変測度が存在する。
• 確率的な場合: 著者らは、ノイズの共分散範囲がカーネル $N$ 内に完全に含まれるような、特定の退化したノイズを構成する。彼らは、この系におけるいかなる不変測度も $N$ に対して直交しなければならない（すなわち $\mu(N) = 0$）ことを証明する。この証明は、もし不変測度が $N$ に電荷を持つならば、$N$ へのダイナミクスの制限が、無限次元空間において線形に増大する分散を持つガウス過程のように振る舞い、それは不変確率測度を持ち得ないことを示している。

主要な結果

• 一様LDP: 本論文は、$\tilde{H}^{0,1}$ における有界集合上で一様に、エネルギー空間 $C([0, T]; H)$ における解の軌道に対する一様フレドリン＝ウェントウェルLDPを証明している。これは、指数型タイトネスや追加の減衰を必要とせずに達成された、異方性ナビエ・ストークス方程式における初の成果である。
• 指数混合の失敗: 異方性ナビエ・ストークス方程式がトーラス上では指数混合を示さないことが厳密に証明された。周期境界条件によって保持される垂直せん断モードの無限次元カーネルの存在が、系が初期条件を指数関数的に忘れることを妨げている。
• 不変測度の構造:
  • 決定論的極限において、系は水平ラプラシアンのカーネルに対応する無限個のディラック不変測度を持つ。
  • カーネル内で作用する退化した加法的ノイズの下では、存在するいかなる不変測度もカーネルに対して直交しなければならない。さらに本論文は、そのようなノイズの下では、カーネル自体が不変測度を支持しないことを示している。

意義と主張
著者らは、本研究を、トーラス上の異方性方程式と、完全な散逸を持つナビエ・ストークス方程式、および滑りなし（ディリクレ）境界を持つ異方性方程式との間の鋭い区別として位置づけている。

• ディリクレ境界との対比: 有界領域における滑りなし条件の下では、異方性ポアンカレ不等式が成立し、カーネルは自明であり、一意エルゴード性（指数混合）が確立されている（Sun, Qiu, and Tangによる引用）。これに対し、トーラス上では、周期境界条件が無限次元のカーネルを保持するため、長時間の挙動を根本的に変容させる。
• 手法的な進展: 指数型タイトネスを必要としない一様LDPの導出は、補助空間 $G$ における線形過程の特定の正則性と、非線形写像の一様リプシッツ連続性に依拠した、重要な技術的貢献として強調されている。
• 概念的枠組み: 本論文は、部分的に散逸的な系の理解のための枠組みを提供し、散逸演算子のカーネルを統計的安定性の主要な障害として特定している。これは、減衰しない垂直モードが指数混合を妨げる一方で、非線形項がエネルギーを散逸的な水平モードへと転送する唯一の潜在的なメカニズムとして機能し続けることを示唆している。ただし、一般的な確率的なケースにおける大域的不変測度の存在は、このエネルギーカスケードの効率性に結びついた未解決の問題として残されている。

著者らは、結論として、これらの結果が、境界条件が異方性流体モデルの定性的な長時間ダイナミクスを決定する役割を明らかにすること、および、異方性MHDや原始方程式のような部分的に散逸的な系の将来の研究に適用可能な構造的視点を提供することを述べている。