Existence and Smoothness of the Navier-Stokes equation using the Boundary Integral Method

技術要約：境界積分法を用いたナビエ・ストークス方程式の存在と滑らかさ

問題提起
本論文は、3次元非定常非圧縮ナビエ・ストークス方程式の解の存在と滑らかさに関するミレニアム賞問題に取り組んでいる。具体的には、外部からの外力がなく、無限遠でストークレットのように減衰する滑らかな（$C^\infty$）発散ゼロの初期速度場から始まる、全空間（$\mathbb{R}^3$）を満たす流体を対象としている。中心となる課題は、滑らかな解がその後のすべての時刻 $t \ge 0$ において有限時間の爆発（特異点の形成）を起こすことなく存在することを証明することである。これは、一般化された関数（レイディシェンスカヤ）やストークレットの領域分布（ラム）を用いた従来のアプローチが、慣性による爆発や対数的な無 boundedness（有界性の欠如）に関して困難に直面してきた問題である。

手法
著者は、移動参照系および「nslet」と呼ばれる特定のクラスの基本解に基づく、新しい境界積分定式化を提案している。この手法は、以下の主要な理論的転換に基づいている。

1. 時空境界積分定式化： 問題を、初期時刻の体積、遠方場の「スフェリンダー（球状円筒）」、および流体点を取り囲む極小の境界からなる超曲面によって囲まれた、4次元時空領域（$\Sigma^+$）における問題として再定義している。
2. 移動参照系とラグランジュ・オイラーの一致： 重要な革新は、境界積分計算を、注目点の流速と共に移動する参照系に一致させることである。この極限において、境界が流体点を囲むとき、ラグランジュ的な物質微分とオイラー的な偏微分が一致する。その結果、オイラー的記述に内在する非線形性が移動参照系の物質微分に吸収されるため、境界積分定式化において非線形二次項（対流加速度 $u_j u_{i,j}$）が消失する。
3. 基本解（Nslets）： 解は、「nslet」を用いて構成される。これらはナビエ・ストークス方程式の基本解である。
   • 近傍場（Eulerlet）： 原点の近くでは、nsletは慣性項が支配的なオイラー方程式の解である「eulerlet」を近似する。eulerletは流速に沿った特異線（ストリークライン）を含んでおり、これにより速度の方向が一意に定義される。
   • 遠方場（Stokeslet）： 原点から遠く離れた場所では、nsletは減衰し、非定常ストークレット（または移動参照系におけるオセーンレット）を近似する。
4. 発散による非線形性の処理： 非線形項は、基本解の径方向のスポークに沿ったベクトル場の発散として扱われる。発弧定理を適用することで、非線形領域積分は境界積分へと変換される。論文では、流体点を囲む小さな境界の極限において、非線形項からの特異な寄与がeulerletの特異な圧力寄与と相殺され、残りの項は対称性または指数関数的な減衰によって消失すると論じている。

主要な貢献と結果

• 速度表現： 本論文は、時刻 $T$ における速度場 $u_k$ を、初期速度分布 $u_i(x', 0)$ とnslet基本解のみを用いて導出している：
  $$u_k(x, T) = -\int_V u_i(x', 0) u_{ki}(x-x', T) dV'$$
  遠方場の境界からの寄与は消失し、近傍場の境界が速度自体を与えるため、この表現は有効であるとされる。
• 存在と滑らかさの証明：
  • 著者は、十分小さな時間ステップ $T$ に対して、nsletが誤差のオーダー $O(\nu \sqrt{T})$ でeulerletを近似することを示す。
  • このプロセスを時間ステップごとに反復することにより、速度とその導関数がすべての時間において滑らか（$C^\infty$）であり続けることを論じている。
  • 証明は「アンザッツ（仮定）」を通じて行われる。すなわち、滑らかさを仮定して積分表現を導出し、次に得られた表現が実際に滑らかな解を与えることを示すことで、証明を完了させている。
• 初期速度ゼロの場合： この定式化は、初期速度がゼロであれば零解を自然に導き出し、斉次の場合の唯一性の条件を満たしている。
• カオス的動力学： 論文は、基本解の特異線（eulerlet）が局所的な流速に沿う必要があるため、このシステムが、基本解が流れ場と相互作用する力学系を構成することを指摘している。このメカニズムにより、高レイノルズ数極限における「ブリンキング・ボルテックス（点滅する渦）」モデルへの還元に代表されるような、カオス的な挙動が可能となる。

意義と主張
本論文は、「慣性爆発」の特異性を回避することで、3次元非定常ナビエ・ストークス方程式の存在と滑らかさの証明を提供したと主張している。これは、非線形対流項が境界積分定式化から消失する移動参照系へと分析をシフトさせることで達成され、これによりオセーンやレイディシェンスカヤが発展させた標準的な線形境界積分理論（グリーン関数）の使用が可能となっている。

著者は、このアプローチが以下のモデルを精度よく扱えることを主張している：

1. 低レイノルズ数流れ（オセーン近似による検証）。
2. 高レイノルズ数非線形流れ（ブラジウス理論およびトリプルデック理論による検証）。
3. カオス的流れ（ブリンキング・ボルテックス力学への還元による実証）。

結論として、初期条件が滑らかで適切に減衰する場合、得られる積分表現はすべての時間において存在し、かつ滑らかである。本研究の意義は、非線形問題を特定の参照系と基本解の選択を通じて線形境界積分問題へと変換することにより、滑らかさを証明するための構成的な手法を提示した点にある。ただし、完全発達した乱流のモデリングについては、今後の研究課題であることも認めている。