[論文レビュー] Non-uniqueness of smooth solutions to the Navier-Stokes equations on torus $\TTT^2$

Changxing Miao, Yao Nie+1 more|arXiv (Cornell University)|Feb 22, 2026

Navier-Stokes equation solutions被引用数 0

ひとこと要約

要約: 2D Navier–Stokes 方程式をトーラス 𝕋² 上で解の存在を証明する。初期データを BMO^{-1} で共有する2つの異なるグローバルな滑らかな解が存在し、熱支配的なフーリエモード流と反カスケードを用いた反復スキームで得られる。

ABSTRACT

The local well-posedness theory for the incompressible Navier-Stokes equations in $\BMO^{-1}$ has attracted considerable attention over the past two decades. In a recent breakthrough, Coiculescu and Palasek (Invent. Math., 2025) settled the three-dimensional case by demonstrating the existence of two distinct global solutions, both smooth for $t>0$, evolving from a common initial datum in ${ m BMO}^{-1}(\mathbb{T}^3)$. However, the two-dimensional case remains open. In this paper, we solve the two-dimensional problem. Unlike its three-dimensional counterpart, the two-dimensional setting presents additional difficulties stemming from the geometric intersections of two-dimensional Mikado flows. To overcome these difficulties, we develop a heat-dominated Fourier mode flow built upon steady two-dimensional Euler flows, and present the proof using a new iterative scheme.

研究の動機と目的

• 2D 不可約不可換性の初期値問題に関するwell-posedness vs. 非一意性を、臨界空間 BMO^{-1} で問うことを動機付ける。
• 3Dで知られる非一意性の結果を2Dのトーラス設定へ拡張し、Mikado流の幾何学的困難に対処する。
• 初期データからの解を、熱支配的フーリエモード流と逆カスケード成分を加えて頑健な反復系で構築し、誤差を制御する。
• 振動性のある流れ（Mikado-like）と圧力の delicate な相互作用を扱い、同じ初期データから2つの異なる極限を確保する。

提案手法

• 𝕋² 上の NS の近似解の交互に絡み合う列 { (u_j, p_j) } を構築する。
• 新しい摂動 w_m を三部に分解する: w^{(p)}_m (熱支配的フーリエモード流), w^{(s)}_m (逆カスケード流), w^{(ns)}_m (準臨界空間での強制 NS を解く不可压縮摂動)。
• λ_m の周波数と振幅 a_{(k,2q)} を用いて w^{(p)}_m を Mikado 型ブロックとして構成し、幾何的交差を管理する。
• w^{(p)}_m も熱方程式の解である性質を利用し、特定の二次誤差を圧力項へ吸収させる。
• 摂動 w^{(ns)}_m を用いて低位項を吸収させるため、空間 L^{∞}_t B^{-1/2}_{∞,1} ∩ L^{1}_t B^{3/2}_{∞,1} での強制 NS を解き、BMO^{-1} の制御を維持する。
• 同じ初期データから2つの異なる極限を生み出すため、二つの交互に入れ替わる解列 (u_{odd}, u_{even}) を導入する。

実験結果

リサーチクエスチョン

• RQ1 2D Navier–Stokes 方程式をトーラス 𝕋² 上で、同じ初期データを BMO^{-1} で共有する2つの異なるグローバル滑らかな解が存在しうるか？
• RQ2 2D Mikado-flow 幾何学の追加的困難を踏まえ、2D における非一意性を導く機構は何か？
• RQ3 熱支配的フーリエモード流と逆カスケードを反復スキームで組み合わせ、2つの異なる解を構築できるか？
• RQ4 構築された解はどの程度 BMO^{-1} の正則性を維持し、関連するグローバル積分空間に属し得るか？
• RQ5 摂動成分は低位項をどのように吸収しつつ全体の解をなお distinctに保てるか？

主な発見

• 存在する2つの異なるグローバル滑らかな解 u と er u が BMO^{-1}(𝕋²) の初期データを共有する（R_+ × 𝕋² 上）。
• 両方の解は C^{∞}_{t,x}(R_+ × 𝕋²) にあり、かつ L^{∞}([0,∞); BMO^{-1}(𝕋²)) ∩ L^{2}([0,∞); L^{r}(𝕋²)) ∩ L^{1}([0,∞); W^{1,r}(𝕋²))（すべての 1 ≤ r < ∞） に属する。
• 構築は熱支配的フーリエモード流と逆カスケード流に依存して、振動と二次相互作用を制御する。
• 補助的な摂動 w^{(ns)}_m は低位項を吸収するよう設計され、subcritical な汎関数枠組みで BMO^{-1} 内を小さく保つ。
• 非一意性に導く初期データは、u^{odd}(0, x) ≡ u^{even}(0, x) が分布論的には等しいが、t>0 で発展は発散するように配置される。
• 2つの解の分岐は、3D で用いられる戦略を2Dトーラス設定に適応させた交互かつ絡み合う反復によって生成される。