三次元Navier–Stokes方程式の全域滑らか性を主張する二部構成の証明(軸対称回転流の閉じ込みと全系還元)
この論文は、三次元非圧縮Navier–Stokes方程式の滑らかな有限エネルギー解が時間無限まで続く(有限時間で特異点を作らない)ことを示すと主張します。主張は二つの部分から成ります。第I部は「軸対称回転流(axisymmetric with swirl)」という特別な流れの場合の全域継続を厳密に示します。第II部は任意の三次元解を解析して、仮に特異点が起きるとすると最終的に第I部で扱った軸対称回転流か古典的な二次元の場合に還元されると主張します。両方が矛盾するため特異点は生じない、という筋書きです。論文はarXivに報告されています。
第I部では、軸対称な量をそのまま四次元の球対称関数として表す「五次元リフト」という表現を用います。これは新しい物理モデルではなく,軸対称スカラーを正確に書き換えたものです。中心となる変数は次の三つです。G は「渦度比」(角成分の渦度を半径で割ったもの),F は「回転成分の正則化された微分」(角速度を半径で割ったもの),そして H は F の二乗です。これらを使うと、G の方程式に現れる「微分型の源項」と、復元されるひずみ U = u^r/r による圧縮的なフィードバックが一対の「ペア転送機構」として結び付けられます。証明では局所的なエネルギー恒等式やHardy–Littlewood–Sobolev(ハーディ–リトルウッド–ソボレフ)不等式、ソボレフ補間、コンパクト性論法、Pohozaev–Morawetz型の厳格性識別など、多くの解析的道具が使われます。
論証の大まかな流れは二段階です。まず「ソフトブリッジ」と呼ぶ従来型の不等式で、局所的な質量が十分に小さいパケット(部分)を吸収して取り除きます。これで残るのはスケールで正規化された臨界的なパケットだけです。その臨界パケットに対しては時間的子孫解析と局所的な逆ポテンシャル推定で強いエンドポイントのコンパクト性を得ます。そこで得られるエンドポイントの剛性(振幅と空間拡張に関する二つの異なる均質性)と、零誤差のPohozaev–Morawetz恒等式が矛盾を生じさせます。この矛盾が「厳格な橋渡し」すなわち係数θ<1のゲインを生み、軸対称回転流の場合に滑らかな継続が成り立つと結論づけます。
第II部は任意の三次元解に対するフロントエンド還元です。仮に時間T*での特異点を仮定すると、著者は最終的障害(terminal packet)を有限個の「チャネル」に分解して扱います。これらは漏洩、殻(シェル)、圧力項、尾部、断片化、受動的ひずみ、角位相のロックなどの可能性を含みます。各チャネルは「有限オーバーラップの子孫」か「厳格な終端損失」によって除去されます。最終的に残る活性フレーム測度がゼロ欠陥を示すと、局所的に二次元化するか一つの軸まわりの物理的な周回(軸対称回転流)に限られます。前者は古典的な二次元Navier–Stokes理論で除外され、後者は第I部で扱われるため、どちらも特異点を生じないことになります。
注意点と不確実性もあります。論文の主張は極めて長く技術的な推論に依るものです。多くの詳細な不等式、コンパクト性の段階、端点の厳密性などを組み合わせています。ここに記したのは提供された本文抜粋に基づく要約です。数学の大きな主張は通常、専門家による精査と検証を経て受け入れられます。したがってこの報告は「著者が証明を提示した」と述べるものであり,コミュニティによる独立検証が必要です。