On the absence of anomalous dissipation for the Navier-Stokes equations with Navier boundary conditions: a sufficient condition

論文概要：ナビエ・ストークス方程式（ナビエ境界条件）における異常散逸の欠如に関する十分条件

1. 問題設定 (Problem)

本論文は、有界領域 $\Omega$ における 3 次元非圧縮性ナビエ・ストークス方程式の粘性消失極限 ($\nu \to 0$) を扱っています。特に、ナビエ境界条件（滑り境界条件の一般化）が課された場合の、**異常エネルギー散逸（Anomalous Dissipation）**の存在有無に焦点を当てています。

• ナビエ・ストークス方程式:
  $$\partial_t u_\nu + \nabla \cdot (u_\nu \otimes u_\nu) - \nu \Delta u_\nu + \nabla p_\nu = 0, \quad \nabla \cdot u_\nu = 0$$
• ナビエ境界条件:
  非透過性条件 $u_\nu \cdot n = 0$ と、一般化された接線方向条件 $C(u_\nu) = 0$ を課します。ここで $C(u_\nu)$ は、せん断応力と速度の線形結合（$\lambda$ 係数を含む）で定義されます。
  $$(D(u_\nu) \cdot n)_\tau + \lambda(\nu, x) \cdot u_\nu = 0$$
  ここで $D(u)$ は速度勾配の対称部分（ひずみテンソル）です。
• 異常散逸の定義:
  粘性 $\nu \to 0$ の極限において、ナビエ・ストークス方程式の解（レレイ・ホップ弱解）が持つエネルギー散逸項がゼロに収束しない現象を指します。
  $$\liminf_{\nu \to 0} \left( 2\nu \int_0^T \|D(u_\nu)\|_{L^2}^2 dt + \text{境界項} \right) > 0$$
  これは乱流理論におけるコルモゴロフのゼロ次法則やオンサーガー予想と深く関連しており、オイラー方程式の解がエネルギーを保存しない（散逸する）ことを意味します。

2. 手法と背景 (Methodology & Background)

従来の研究（特にディリクレ境界条件＝無滑り条件の場合）では、粘性消失極限の正当性は、境界層（プラントル層）の形成と密接に関連しており、オイラー方程式の強解の存在や圧力の境界での挙動に関する強い仮定が必要とされてきました。

本論文のアプローチは以下の点で革新的です：

1. 境界条件の選択: ナビエ境界条件（滑り条件）を採用することで、無滑り条件のような強い境界層（速度の不連続性）の発生を抑制します。
2. 圧力に関する仮定の排除: 従来の結果とは異なり、境界付近の圧力の正則性や振る舞いに関する仮定を一切置かないことを目指します。
3. 最新の正則性結果の活用: 著者らが最近確立した、3 次元非圧縮性オイラー方程式の弱解に対する圧力の正則性結果 [Arch. Ration. Mech. Anal., 249 (2025)] を利用します。具体的には、速度場がホルダー連続 ($C^{0,\alpha}$) である場合、対応する圧力も同様にホルダー連続になるという結果を用います。
4. 弱解の定義の再構築: オイラー方程式の弱解の定義において、標準的な強解に対する境界条件とは異なる、弱形式から厳密に導出された圧力の境界条件（$\partial_n(p + (u\cdot n)^2) = (u\otimes u):\nabla n$）を採用します。

3. 主要な結果 (Key Results)

定理 6 (Main Theorem):
領域 $\Omega$ の境界が $C^4$ 級であり、ナビエ・ストークス方程式のレレイ・ホップ弱解の列 $\{u_{\nu_k}\}$ が、以下の条件を満たす場合：

1. 初期値 $u_{\nu_k, 0}$ が $C^{0,\alpha}(\Omega)$ において強収束する。
2. 解の列が以下の一様評価を満たす（$\nu_k \to 0$ で）：
   $$\sup_k \|u_{\nu_k}\|_{L^\infty((0,T); C^{0,\alpha}(\Omega))} + \sup_k \nu_k^{1/2} \|u_{\nu_k}\|_{L^2((0,T); H^1(\Omega))} < \infty$$

このとき、以下のことが成り立ちます：

• オイラー方程式への収束: 任意の弱*極限 $u$ は、オイラー方程式の弱解（定義 4 の意味で）となります。
• エネルギー保存: もし $\alpha > 1/3$ ならば、極限解 $u$ はエネルギーを保存します（$\|u(t)\|_{L^2} = \|u_0\|_{L^2}$）。
• 異常散逸の欠如: 上記の条件下では、粘性散逸項はゼロに収束します。
  $$\lim_{\nu_k \to 0} \left( 2\nu_k \int_0^T \|D(u_{\nu_k})\|_{L^2}^2 dt + \text{境界項} \right) = 0$$
• 強解の存在仮定不要: この結果は、オイラー方程式の強解（リプシッツ連続な渦度を持つ解）の存在を仮定していません。

補論 A (Global Existence):
一般化されたナビエ境界条件に対するレレイ・ホップ弱解の大域的存在性を、ガレルキン法を用いて証明しています（既存の文献 [28] の手法を拡張）。

4. 貢献と意義 (Contributions & Significance)

1. 圧力正則性仮定の不要化:
   従来の粘性消失極限の議論では、境界付近の圧力の正則性（特に $C^1$ 以上など）が重要な役割を果たしていましたが、本論文ではナビエ境界条件の下で、圧力に関する追加的な正則性仮定なしに異常散逸の欠如を証明しました。これは、圧力の境界条件が弱解の枠組みで自然に扱えることを示しています。

2. 境界条件の重要性の再確認:
   無滑り条件（ディリクレ条件）ではプラントル境界層が形成され、異常散逸のメカニズムが複雑になりますが、ナビエ境界条件（滑り条件）では境界層が弱く、速度の連続性が保たれやすいため、$\alpha > 1/3$ というオンサーガー予想の閾値条件だけでエネルギー保存が保証されることを示しました。

3. 弱解の枠組みの厳密化:
   オイラー方程式の弱解に対して、強解とは異なる圧力の境界条件（$\partial_n(p + (u\cdot n)^2) = \dots$）が必須であることを再確認し、これを弱解の定義に組み込むことで、一貫した理論的枠組みを提供しました。

4. 乱流理論への示唆:
   異常散逸（エネルギー散逸）が境界条件の性質（滑りか無滑りか）と解の正則性（ホルダー指数 $\alpha$）にどのように依存するかを明確にしました。特に、$\alpha > 1/3$ という条件が、境界層の強さに関わらずエネルギー保存を支配する重要なパラメータであることを示唆しています。

5. 結論

本論文は、ナビエ境界条件を課したナビエ・ストークス方程式において、解の速度場が一定のホルダー正則性 ($\alpha > 1/3$) を持ち、かつ一様な評価を満たす限り、粘性消失極限において異常エネルギー散逸は発生せず、解はエネルギーを保存するオイラー方程式の弱解に収束することを示しました。この結果は、圧力の境界挙動に関する仮定を排除しつつ、乱流のエネルギー散逸メカニズムを境界条件の観点から理解する上で重要な進展です。