すむーずぷりん商店

Navier–Stokes 方程式の有限時間爆発解は、どのような数学によって構成されるのか。 本書は、OpenAI の論文『Finite Time Blowup for Navier–Stokes』で用いられる構成的証明を理解するために必要な数学を、一冊の体系として組み直した入門・準備巻です。 対象論文の証明では、Sobolev 評価や Riesz 変換、熱方程式といった解析の道具だけでなく、自己相似変数、円筒座標、多重スケール解析、振動場による応力の実現、パラメータの選択順序、形式級数から滑らかな場を構成する手法など、多数の技法が緊密に組み合わされます。個々の定理を知っているだけでは、長大な構成の中で「なぜこの道具がここで必要なのか」を見失いがちです。 そこで本書では、一般論を網羅するのではなく、下巻で実際に使われる形に焦点を絞って数学的道具を整備します。Fourier 規約や平滑化から始まり、Sobolev 評価、圧力の復元とフラックス評価、パラメータ依存 ODE、自己相似変数での熱流、エネルギー評価、円筒場の中心軸正則性へと進みます。さらに後半では、多重スケール構成の核心となる二進分解、輸送される位相とパルス、発散ゼロの振動場、共分散による応力の実現、局所的な修復、解析的係数空間、形式ジェットの滑らかな実現までを扱います。 本書が重視するのは、計算だけではありません。「どの量がすでに決まり、どの量がまだ選べるのか」「どの評価が次のパラメータ選択を可能にするのか」「有限次数の制御と全次数での平坦性はどう違うのか」といった、巨大な構成的証明を読み解くための論理の管理そのものを明示します。 想定する読者は、数学科の学部課程を修了した程度の数学的素養を持つ方です。測度・Lebesgue 積分、初等的な \(L^p\) 理論、Fourier 解析、超関数、Banach・Hilbert 空間、多変数解析、ベクトル解析、局所 ODE 理論、縮小写像の原理などを前提とします。一方、Navier–Stokes 方程式の専門知識や高度な PDE・調和解析の知識は前提とせず、下巻に必要となる専門的な道具を本巻で順に準備します。 原論文に挑戦したい方はもちろん、現代的な解析学のさまざまな技法が、一つの大規模な証明の中でどのように接続されるのかを学びたい方にも向けた一冊です。 【主な内容】 ・解析の基礎と圧力評価 ・時間発展と自己相似座標 ・エネルギーと解の延長判定 ・円筒座標と中心軸正則性 ・多重スケール解析と二進分解 ・輸送位相、パルス、発散ゼロ振動場 ・共分散による応力の実現 ・有限制約と局所修復 ・解析的係数空間 ・形式ジェットから滑らかな場への実現 下巻『解の構成』では、本巻で準備した道具を用いて、対象論文の構成的証明を主定理まで具体的に追います。