薄い圏の考察16-2.薄化関手の視点から見たナビエ・ストークス方程式問題。
最近、Anthropic社のClaudeに関連する言及や、OpenAIなどによるAI支援の研究を通じて、ナビエ・ストークス方程式の存在と滑らかさに関するミレニアム問題をめぐる議論が再燃している。
証明の詳細を論評する能力は筆者にはないが、本稿では薄化関手の視点から、この問題の構造を解釈することを試みる。現時点では特定条件下での有限時間爆発（blow-up）の可能性が指摘されているが、本稿では「方程式が大域的に滑らかな解を持ち続けるか、有限時間で破綻するかが未解決である」という従来の設定を基に議論を進める。
1. 問題の背景と数学者の危機感。
3次元非圧縮ナビエ・ストークス方程式について、数学者の間では「解が有限時間内に爆発する特殊なケース（反例）が存在するのではないか」という疑いが根強くあった。主な根拠は以下の通りである。
- 粘性を除いた3次元オイラー方程式において、2022年以降の研究（Houら）により、自己相似的な爆発が証明されたこと。
- Terence Taoによる「おもちゃのモデル」（平均化された方程式）で、有限時間内のエネルギー集中と爆発が示されたこと。
もし爆発する反例が確認されれば、19世紀以来用いられてきたナビエ・ストークス方程式が、極限的な乱流を記述する上で数学的に不完全であることが明らかになる。
物理的には現実の流体が無限速度に達することはない（分子スケールで前提が崩れる）が、数学的な完全性への打撃は大きい。
2. 微分方程式問題の薄化関手による定式化。
『薄い圏の考察（16）』で試みた「微分方程式を解く」行為の圏論的解釈を適用する。 なんらかの具体的な関数からなる圏を $\mathcal{C}$、解の存在や接続関係だけを抽象化した微分方程式の圏（薄い圏）を $\mathcal{D}$ とする。
「解ける」とは、薄化関手 $ T: \mathcal{C} \to \mathcal{D}$ を考えたとき、$\mathcal{D}$ 側の「解が存在する」という情報から、元の $\mathcal{C}$ へ綺麗に引き戻し（または持ち上げ）ができる状態を指す。すなわち$T$の左随伴関手が存在することである（と定義した）。
ナビエ・ストークス方程式で疑われているのは、まさにこの引き戻しが全域で定義できない可能性である。有限時間で爆発が起きれば、特異点により滑らかな関数空間の構造が維持できなくなり、薄い圏側で時間が正しく進む構造があっても、元の圏へ引き戻そうとしたときに千切れてしまう。
これを圏論的に解釈すると、3次元関数の圏からナビエ・ストークス微分方程式の圏への関手があり、その微分方程式の圏からさらに何らかの薄い圏への関手があり、その合成関手が、左随伴関手をもつかどうかという問題になる。
3. 薄化関手に対しての随伴関手定理。
圏論には、Freydの一般随伴関手定理(General Adjoint Functor Theorem 略してGAFT)など随伴関係を確認するためのいくつかの定理がある。それにならって、以下に薄化関手が左随伴をもつための必要十分条件を述べる。
定理。$\mathcal{D}$ を局所小圏、$\mathcal{P}$ を薄い圏とする（$\mathcal{P}$での射を$ \leq $であらわす）。 関手 $ G: \mathcal{D} \to \mathcal{P} $について、$ G $ が左随伴を持つのと
「任意の $ p \in \mathcal{P} $ に対して、ある対象 $ d_p \in \mathcal{D} $ が存在して、$ p \leq G(d_p) $ をみたす$ d \in \mathcal{D}$ に対して射 $ d_p \to d $ が一意に存在する）」（一点による強い解集合条件）
のとは、同値。
（証明）まず一般に随伴関手として自然であることの定義を以下で与えておく。すなわち任意の$p\in\mathcal{P}$,$d\in\mathcal{D}$に対して、ホム集合としての同型（全単射）$hom_\mathcal{D}(F(p),d)=:\mathcal{D}(F(p),d)\cong \mathcal{P}(p,G(d)):=hom_\mathcal{P}(p,G(d))
$があり、かつその同型写像を$\alpha _{p,d}:\mathcal{D}(F(p),d)\to \mathcal{P}(p,G(d))
$と置いたとき、$\mathcal{P}$ での任意の射 $f : p' \to p$（$p'\leq p$）および$\mathcal{D}$での任意の射 $g : d \to d'$に対して、次の可換図式が成立することである。
\begin{CD} \mathcal{D}(F(p), d) @>{\alpha_{p,d}}>> \mathcal{P}(p, G(d)) \\ @V{(F f)^* \circ g_*}VV @VV{f^* \circ (G g)_*}V \\ \mathcal{D}(F(p'), d') @>>{\alpha_{p',d'}}> \mathcal{P}(p', G(d')) \end{CD}
ここで、$\mathcal{P}$が薄い圏ならば
$\mathcal{D}(F(p),d)\cong \mathcal{P}(p,G(d))$は
「$ p \leq G(d) \quad \Longleftrightarrow \quad 射F(p) \to d $が存在」 と同値であることを注意しておく。
また、上記の可換図式を写像（各要素）のレベルで見なおすと、
射 $h : F(p) \to d$ を $\alpha _{p,d}$ で送った射を $\overline{h} : p \to G(d)$ と表記したとき、次の等式が成り立つこととなる。
$\overline{g\circ h\circ Ff}=Gg\circ \overline{h}\circ f.$
そこで実際に$\mathcal{P}$ での任意の射 $f : p' \to p$（$p'\leq p$）および$\mathcal{D}$での任意の射 $g : d \to d'$に対して、$\overline{g\circ h\circ Ff}$と$Gg\circ \overline{h}\circ f$を計算すると、ともに$\mathcal{P}$ における射 $p^{\prime}\to G(d^{\prime })$ が得られる。$\mathcal{P}$が薄い圏のときは、始点と終点が一致する射は等しいので、等式（そして可換図式）は自動的に成立していることを注意しておく。これをふまえたうえで、定理の証明に入る。
（十分性の証明）
$ F \dashv G $ とする。 任意の $ p \in \mathcal{P} $ に対して $ d_p := F(p) $ とおく。 随伴の定義と $\mathcal{P}$ の薄さから
「$ \text{射 } F(p) \to d \text{ が存在する} \quad \Longleftrightarrow \quad p \leq G(d) $」 が成り立つ。 特に $ d = F(p) $ とすれば $ p \leq G(F(p)) $ すなわち $ p \leq G(d_p) $ が成り立つ。 また、$ p \leq G(d) $ となる任意の $ d $ に対しては、上の同値から射 $ d_p = F(p) \to d $ が存在する。また$\mathcal{D}(F(p),d)\cong \mathcal{P}(p,G(d))$と関係$p \leq G(d)$の唯一性より、射$ d_p \to d $は存在するとしたら唯一。（十分性の証明終）
（必要性の証明）
任意の $ p \in \mathcal{P} $ に対して、解集合条件を満たす対象 $ d_p $ が存在するとする。 このとき、対応 $ F: \mathcal{P} \to \mathcal{D}, \qquad p \mapsto d_p $ を定義する。
Step 1. $ F $ が関手になることを示す。 $ p \leq p' $ とする。 条件から $ p' \leq G(d_{p'}) $ が成り立つので、$ p \leq p' $ より $ p \leq G(d_{p'}) $ となる。 再び条件を適用すると、射 $ d_p \to d_{p'} $ が存在する。 条件よりこの射は一意であり、$\leq $に対応して$ F $ は順序を保つ（すなわち関手となる）。
Step 2. 随伴関係が成り立つことを示す。
解集合条件から直接に
「任意の $ p \in \mathcal{P} $ と任意の $ d \in \mathcal{D} $ に対して $ p \leq G(d) \quad \Longleftrightarrow \quad \text{射 } F(p) = d_p \to d \text{ が存在する} $ 」 が成り立つ。 これはそのまま $ F \dashv G $ の随伴関係（薄い圏における形）を示している。 （必要性の証明終）（定理の証明終）
筆者はもともとGAFTの薄化関手版を書こうとしたのだが、試行錯誤するうちに簡単な上の形に落ち着いた。よく見ると、これは随伴関手の基本性質「一般の関手 $ G: \mathcal{D} \to \mathcal{P} $について、$ G $ が左随伴を持つのと任意の $ p \in \mathcal{P} $ に対して、コンマ圏($p \downarrow G$)が始対象を持つのは同値」で、$G$を薄化関手とした場合にすぎなかった。
系。$\mathcal{D}$ を局所小圏、$\mathcal{P}$ を半順序集合posetとする。（$\mathcal{P}$での射を$ \leq $であらわす）。 このとき、関手 $ G: \mathcal{D} \to \mathcal{P}$ が左随伴を持つならば
任意の $ p \in \mathcal{P} $ に対して、ある対象 $ d_p \in \mathcal{D} $ が存在して
$G(d_p)= inf\{G(d) \mid p \leq G(d)\} $となる。（すなわち、ある$ p \in \mathcal{P} $ をとると、どんな対象 $ d_p \in \mathcal{D} $ に対しても$G(d_p)\neq inf\{G(d) \mid p \leq G(d)\} $となるならば、$G$は左随伴を持たない。）
（証明）
上定理の十分性証明において、$ G(d_p) $は$\{ G(d) \mid p \leq G(d) \} $の下界であり、かつ自分自身がその要素となっているので$\{ G(d) \mid p \leq G(d) \} $の最小元（minimum）となる。半順序集合において最小元が存在するとき、それは下限（inf）と一致する。（証明終）
上に示した定理の枠組みによりNavier-Stokes方程式を（おおざっぱにだが分析する。
$G$を強解や弱解がなす圏$\mathcal{D}$から非負実数（エネルギーやノルム）の圏（ポセット）への関手とする。非負実数は下に有界なので、実数の完備性より任意の $ p \geq 0 $ に対して、$inf\{G(d) \mid p \leq G(d)\} $は有限値として存在することを注意しておく。
1. 弱解の構成（Leray–Hopf弱解）では解集合条件が満たされやすい
弱解（圏 $\mathcal{D}_{\mathrm{weak}}$：エネルギー空間 $ L^\infty(0,T;L^2) \cap L^2(0,T;H^1) $ などに弱位相を入れたもの）の枠組みでは、解候補に初期エネルギーなどの評価値を対応させる薄化関手$G$を取ったとき
エネルギー不等式
$ E(t) + 2\nu \int_0^t \|\nabla u\|_{L^2}^2\,d\tau \le E(0) $
により評価値は初期値で一様に抑えられ、弱コンパクト性によって $S_p:= \{G(d) \mid p \leq G(d)\} $ が閉じて最小値が得られやすく、さらにその最小値を実現する弱解 $ d_p $ の存在が示せる。
結果として（一点による）解集合条件が満たされ、左随伴が存在して大域的弱解が得られる。
2. 滑らかな解においては解集合条件が満たされにくい
一方、これらを滑らかな解の空間 $\mathcal{D}_{\mathrm{smooth}}$（例：十分な正則性を持つソボレフ空間や $C^\infty$） に移すと、状況は一変する。
高次ノルム（エンストロフィーなど）を評価値に取った場合、3次元の対流項 $(u\cdot\nabla)u$ は、高次ノルムに対して自己増幅的な項を生み出し、 $ \frac{d}{dt}\|\nabla u\|_{L^2}^2 \le C\|\nabla u\|_{L^2}^3 - \nu\|\nabla^2 u\|_{L^2}^2 $ のような不等式を与える。 $ infS_p$を滑らかな解の中で得られるとは限らなくなる。
また、たとえそれが得られても、その値を実現する滑らかな対象 $ d_p $ が全時間区間にわたって存在するかどうかがわからない。
2次元では粘性項が非線形項を十分にコントロールできるため、$ S_p $ の閉性と最小値を実現する滑らかな解の存在が示しやすいのに対し、3次元では臨界性の差が現れる。
以上が、ナビエ・ストークス方程式の困難を薄化関手でおおざっぱにとらえた解釈である。あくまで素人目だが、3次元ナビエ・ストークス方程式に大域的な滑らかな解が常に存在することを示すのは、かなり難しそうに思える。
