変分法：理論、主要概念、歴史と応用

基本概念

この分野の中心となるのは、候補となる関数に加える微小な摂動である変分の考え方である。第一変分からはオイラー＝ラグランジュ方程式が導かれ、これは滑らかな極値関数が満たさなければならない微分条件である。非形式的にいえば、J[y]が関数yとその導関数に依存する汎関数であるとき、オイラー＝ラグランジュ方程式は、dJ/dy = 0という条件を微分形式で表したものである。固定端点、自由端点、周期条件などの境界条件や、たとえば等周的制約のような制約は必要方程式の形を変え、ラグランジュ乗数法によって扱うことができる。

典型的な問題と手法

• 古典的な例：最短経路（測地線）、最速降下曲線、極小曲面、弾性曲線。
• 解析的手法：オイラー＝ラグランジュ方程式、第一・第二変分、極値性に関するルジャンドル条件とヤコビ条件、ワイエルシュトラスの必要条件。
• 存在に関する手法：変分法の直接法は、コンパクト性と下半連続性を用いて最小化関数の存在を示す。現代的な定式化では、ソボレフ空間と関数解析的手法が用いられる。

歴史的発展

この分野は17～18世紀に成立し、レオンハルト・オイラーやジョゼフ＝ルイ・ラグランジュなどの数学者によって形式化された。彼らは中核となる方程式と手法を導いた。その後、アドリアン＝マリ・ルジャンドルやアルフレート・クレプシュらが安定性と凸性に関する問題を明確化し、カール・グスタフ・ヤコビとカール・ワイエルシュトラスは、より深い必要条件・十分条件および基礎の厳密化を発展させた。19世紀から20世紀にかけて、この学問は高次元の定義域や、より弱い正則性の仮定を扱うまでに拡張された。

応用と重要性

変分法は数学と科学の広い領域を支えている。幾何学では測地線と極小曲面を特徴づけ、測地学では地球上の最短経路の計算に役立つ。物理学では、停留作用の原理は運動方程式を導く変分原理である。ハミルトンの原理は古典力学における古典的な運動方程式を与え、変分的定式化は現代の場の理論および量子力学の一部において中心的な役割を果たす。物理学以外でも、変分的な考え方は最適化、材料科学、画像処理、制御理論を推進している。

重要な区別と現代的視点

変分法の問題は、未知量が一点での値ではなく関数全体である点で、点ごとの最適化とは異なる。このため、代数的条件ではなく偏微分方程式または境界値問題へとつながる。現代の扱いでは、弱解、直接的な存在証明、凸解析との関連が重視される。保存量と対称性は変分原理を通じて結び付けられ、多くの物理法則のための統一的な言語を与える。さらに学ぶ際には、通常、古典的なオイラー＝ラグランジュ理論から現代の関数解析的・幾何学的定式化へと進む。

主要な歴史的人物と古典的問題の定式化は、教育と研究の中心であり続けている。この分野は、偏微分方程式論、数値解析、応用分野との相互作用を通じて、現在も発展を続けている。

関数 — オイラー — ラグランジュ — ヤコビ — ワイエルシュトラス — 科学 — 測地学 — 古典力学 — 量子力学