変分法

解析学の一分野、変分法（へんぶんほう、; 変分解析学）は、汎函数（函数の集合から実数への写像）の最大化や最小化を扱う。汎函数はしばしば函数とその導函数を含む定積分として表される。この分野の主な興味の対象は、与えられた汎函数を最大・最小とするような「極値」函数、あるいは汎函数の変化率を零とする「停留」函数である。
そのような問題のもっとも単純な例は、二点を結ぶ最短の曲線を求める問題である。何の制約も無ければ二点を結ぶ直線が明らかにその解を与えるが、例えば空間上の特定の曲面上にある曲線という制約が与えられていれば、解はそれほど明らかではないし、複数の解が存在し得る。この問題の解は測地線と総称される。関連する話題としてフェルマーの原理は「光は二点を結ぶ最短の光学的長さを持つ経路を通る。ただし光学的長さは間にある物質によって決まる」ことを述べる。これは力学における最小作用の原理に対応する。
重要な問題の多くが多変数函数を含む。ラプラス方程式の境界値問題の解はディリクレの原理を満足する。 は空間内の与えられた周回路の張る面積が最小の曲面（）を求める問題であり、しばしばその解を石鹸水に浸した枠が張る石鹸膜として見つけるデモンストレーションを目にする。こうした経験は比較的容易に実験できるけれども、その数学的解釈は簡単とはほど遠い（局所的に最小化する曲面は複数存在し得るし、非自明な位相を持ち得る）。
歴史.
変分法はヨハン・ベルヌーイ (1696) のとり挙げた最速降下曲線問題に始まるといわれる それはすぐにヤコブ・ベルヌーイおよびギヨーム・ド・ロピタルの目に留まるが、この主題について初めて詳しく述べたのはレオンハルト・オイラーであった。オイラーの成果は1733年に始まり、著書 "Elementa Calculi Variationum" はこの分野の名の由来となった。ジョゼフ＝ルイ・ラグランジュはこの理論の拡張に貢献し、アドリアン＝マリ・ルジャンドル (1786) は最大および最小を判別する方法を（十分とまではいかなくとも）確立した。アイザック・ニュートンとゴットフリート・ライプニッツもまたこの主題に対して先駆的な注目を与えている。この判別法に対して、 (1810), カール・フリードリヒ・ガウス (1829), シメオン・ポワソン (1831), ミハイル・オストログラツキー (1834), カール・グスタフ・ヤコブ・ヤコビ (1837) など多くの貢献がある。重要な一般論は ピエール・フレデリック・サラス (1842) によるものを オーギュスタン＝ルイ・コーシー (1844) が精密化および改善した。その他にも重要な研究論文や回顧録が (1849), (1850), ルートヴィヒ・オットー・ヘッセ (1857), (1858), Carll (1885) など書かれているが、19世紀のおそらくもっとも重要な成果はカール・ヴァイヤストラスによる。その高名な講座は画期的なものであり、それにより確固たる疑いようのない基礎の上に立つ第一人者であったと言えるだろう。1900年に出されたヒルベルトの23の問題のとはこの分野の更なる発展を促した。20世紀にはダフィット・ヒルベルト、エミー・ネーター、、アンリ・ルベーグ、ジャック・アダマールらの著しい貢献が成された。は変分法を今日モース理論と呼ばれるものに応用した。レフ・ポントリャーギン、および F. H. Clarke は最適制御理論において変分法に対する新しい数学的な道具を開発した。リチャード・ベルマンの動的計画法は変分法の代替となるもののひとつである。
極値.
変分法は汎函数の極大と極小（総称して「極値」と呼ばれる）に注目する。函数が数値的な変数に依存して決まるのとある意味同じように、汎函数は函数に依存して決まり、またその意味で函数の函数としても記述される。
固定された定義域の上で定義された函数からなる函数空間が与えられたとき、その元を動く函数変数 に関して汎函数は極値を持つ。汎函数 が函数 において極値を持つとは、増分 が の任意に小さな近傍に属する任意の に対して同じ符号を持つときに言う。このとき函数 は極値函数あるいは極値点 ("extremal") と呼ばれる。極値 が極大であるとは の任意に小さな近傍の各点において を満たすときに言う。また極小であるとは同様に であるときに言う。連続函数の空間に対して、対応する汎函数の極値は、連続函数の一階導函数が全て連続となるかまたは否かに従って、それぞれ弱極値 ("weak extrema") または強極値 ("strong extrema") と呼ばれる。
汎函数の強極値・弱極値はともに連続函数の空間に対するものだが、弱極値はその空間に属する函数の一階導函数が連続という追加の要件を持つ。強極値は弱極値でもあるが、逆は真ではない。強極値を求めることは弱極値を求めることよりも困難である。弱極値を求めるために用いる必要条件の一つの例として、オイラー＝ラグランジュ方程式がある 。
変分および極小値に関するある十分条件.
変分法は、汎函数の引数である函数のわずかな変化によって生じる小さな変動としての汎函数の変分に注目する。一次変分は汎函数の増分の一次成分（線型部分）として定義され、二次変分は汎函数の増分の二次成分として定義される。
例えば は函数 を引数とする汎函数とし、 は と同じ函数空間に属する函数として引数を から へわずかに変化させるとき、対応する汎函数の増分は で与えられる。
汎函数 が微分可能であるとは、線型汎函数 が存在して とできるときに言う。ただし、 は のノルムであり、は のとき を満たすものとする。このとき、線型汎函数 を のとよび と表す: 
また汎函数 が二回微分可能とは、一次変分 および二次汎函数 が存在して とできるときに言う。ただし、 は のとき である。二次汎函数 を の二次変分と呼び、 と書く:
二次変分 が強く正 ("strongly positive") であるとは、適当な定数 が存在して、任意の に対し を満たすときに言う。