すむーずぷりん商店

有限時間爆発解は、実際にどのように組み立てられるのか。 本書は、OpenAI の論文『Finite Time Blowup for Navier–Stokes』の構成的証明を、最初の設定から最終的な解と外力の構成まで詳細に追う解説書です。 原論文を単に節ごとになぞるのではなく、「いま何を構成しているのか」「その条件は後のどこで必要になるのか」「残された誤差を次の段階でどう処理するのか」が見えるよう、論理の流れを再構成しています。原論文を横に置きながら逐語的に解読するのではなく、本書だけでも証明の連鎖を追えることを目標としています。 まず、有限時間で \(L^\infty\) ノルムが非有界となる速度場を構成するという到達点を明確にし、自己相似変数を導入して、証明全体を支配する構成変数と残差を整理します。 そこから、外部の熱プロファイルと中心軸近傍の解析的プロファイルを構成し、両者を厳密に接続します。さらに、形式係数を全次数にわたって決定し、それを平坦な残差を持つ滑らかな基本場として実現します。 続いて証明は、多重スケールの振動構成へ進みます。時空を二進的な領域に分割し、輸送される位相とパルスを配置し、発散ゼロの振動場を構成。その平均的な効果によって必要な応力を実現します。しかし、主要項を作るだけでは証明は閉じません。厳密に回転を取った際に生じる誤差、共分散誤差、方位角平均、モーメント条件、台の条件などを一つずつ修復し、残差を改善するサイクルを組み立てていきます。 最終段階では、得られた局所場を全空間へ局所化し、発散ゼロ条件を保ちながらコンパクトな外力を構成します。そして \(L^2\) エネルギーの一様有界性と、特異時刻に向かう \(L^\infty\) ノルムの増大を確認し、比較原理と粘性のスケーリングを通じて主定理へ到達します。 本書の特徴は、個々の計算だけでなく、大規模な構成を成立させる「依存関係」を追跡することにあります。展開次数、補正の深さ、二進バンド、高調波という性質の異なる添字を区別し、どの段階で何が確定し、何を次に選択できるのかを明示します。数百ページ規模の証明を、局所的な計算の集積ではなく、一つの設計された構成として理解することを目指します。 本書は上巻『数学的準備』の続巻です。数学科の学部課程を修了した程度の基礎知識を想定し、証明で繰り返し用いる解析的道具については上巻を参照できる構成になっています。 【主な内容】 ・主定理と証明全体の見取り図 ・自己相似変数と主要プロファイル方程式 ・外部熱プロファイルの構成 ・中心軸近傍の解析的プロファイルと厳密接続 ・全次数の基本場と平坦残差 ・二進分解と振動領域 ・輸送位相と主要パルス ・振動場による応力の実現 ・厳密な発散ゼロ化と共分散誤差 ・方位角平均の修復 ・残差改善サイクルと有限反復 ・局所場の滑らかな実現 ・全空間への局所化 ・エネルギー評価、内部増大、比較論証 ・粘性スケーリングと主定理 現代の Navier–Stokes 方程式研究に現れる長大な構成的証明を、その設計図から最後の閉じ方まで追いたい読者のための一冊です。