第12章 変分法の広がり

ここまで、変分法を「第一変分で方程式を立て、第二変分で最小を確かめ、直接法で存在を保証する」という一本の 物語として辿ってきました。最終章では視野を広げ、この発想が現代数学のどこまで根を張っているかを俯瞰します。 PDE との再会、石けん膜の幾何、トポロジーとの融合、工学の最適制御—— 「形を揺らして停留を探す」というたった一つのアイデアが、驚くほど遠くまで届いていることを見て、全体を総括します。

ディリクレ原理との再会：変分法と PDE は一つ

まず、偏微分方程式（発展）との再会です。ディリクレエネルギー $E[u]=\frac12\int_\Omega|\nabla u|^2\,dx$ を境界値を固定して最小化する——これは多変数版の変分問題そのものです。オイラー–ラグランジュ方程式を立てると $\Delta u=0$（ラプラス方程式）。つまり**「エネルギー最小の形」＝「調和関数」**。この対応が ディリクレ原理で、PDE の弱解の存在証明が、変分法の直接法（強圧性＋凸性＋弱下半連続性）と 完全に同じ論法で進みました。第10・11章で立てた直接法の枠組みは、そのまま楕円型 PDE の存在論です。

極小曲面：石けん膜の数学

針金の枠に張った石けん膜は、表面張力のため面積を最小にする形をとります。曲面 $u(x,y)$ の面積 $A[u]=\int_\Omega\sqrt{1+|\nabla u|^2}\,dx\,dy$ を最小化する E–L 方程式が極小曲面方程式で、「平均曲率が至るところ $0$」と同値です。カテノイド （懸垂線の回転面）やヘリコイドが古典的な解。このプラトー問題（与えられた枠を張る面積最小の曲面を 見つけよ）は、変分法・幾何学的測度論・幾何解析が交差する豊かな分野で、面積汎関数の非凸性ゆえに直接法が そのままでは効かず、電流（カレント）や変分多様体といった新しい枠組みを生みました。第4章の懸垂線（一次元の 最小エネルギー）の、二次元への壮大な発展です。

モース理論：停留点を数え上げる

第9章で、第二変分の共役点が微分位相幾何のモース理論とつながることを見ました。この つながりは、変分法を「最小化」から「停留点の数え上げ」へと拡張します。汎関数の停留点（＝ E–L 方程式の解）は 最小点だけではありません。極大も鞍点もある。モース理論は、これらの臨界点の個数とタイプ（モース指数）が、 考えている空間のトポロジーによって下から制約されることを教えます。

変分法は「いちばん良い形（最小）」を超え、「停留するすべての形」を数える理論へと育ちました。臨界点の存在が トポロジーで保証される——位相幾何と解析が握手する地点です。

最適制御：変分法の工学的な子孫

汎関数を最小化する発想は、工学にも根を下ろしています。ロケットを最小燃料で軌道に乗せる、最短時間で目標へ 到達する——これらは「制御入力」という関数を最適化する変分問題です。最適制御の中心にある ポントリャーギンの最大原理は、オイラー–ラグランジュ方程式とハミルトン形式（第8章）を、制御に不等式制約が ある状況へ拡張したもの。動的計画法（ベルマン方程式）は、最適性を時間方向に分解する別ルートで、 これは強化学習の理論的な土台にもなっています。ハミルトンの原理から工学の最適設計まで、変分の発想が一本で つながっています。

総括：変分法を貫く一本の糸

全 12 章を振り返ると、すべては一つの発想の展開でした。

貫く糸は「最適な形は、揺らしても値が動かない」という一点です。この停留原理が、幾何（測地線・極小曲面）・ 物理（最小作用・保存則）・解析（PDE・存在論）・工学（最適制御）を一つに束ねる。ライプニッツやオイラーが 「自然は最善をなす」と考えた哲学的な直感は、変分法という厳密な数学として結実し、いまも現代数学の広い領野で 生き続けています。自然界の法則の多くが「何かを最小（停留）にする」形で書けるという事実——その深さを、 変分法は私たちに教えてくれます。