変分法

解析学の一分野、変分法（へんぶんほう、英: calculus of variations, variational calculus; 変分解析学）は、汎函数（函数の集合から実数への写像）の最大化や最小化を扱う。汎函数はしばしば函数とその導函数を含む定積分として表される。この分野の主な興味の対象は、与えられた汎函数を最大・最小とするような「極値」函数、あるいは汎函数の変化率を零とする「停留」函数である。

そのような問題のもっとも単純な例は、二点を結ぶ最短の曲線を求める問題である。何の制約も無ければ二点を結ぶ直線が明らかにその解を与えるが、例えば空間上の特定の曲面上にある曲線という制約が与えられていれば、解はそれほど明らかではないし、複数の解が存在し得る。この問題の解は測地線と総称される。関連する話題としてフェルマーの原理は「光は二点を結ぶ最短の光学的長さを持つ経路を通る。ただし光学的長さは間にある物質によって決まる」ことを述べる。これは力学における最小作用の原理に対応する。

重要な問題の多くが多変数函数を含む。ラプラス方程式の境界値問題の解はディリクレの原理を満足する。プラトーの問題（英語版）は空間内の与えられた周回路の張る面積が最小の曲面（極小曲面）を求める問題であり、しばしばその解を石鹸水に浸した枠が張る石鹸膜として見つけるデモンストレーションを目にする。こうした経験は比較的容易に実験できるけれども、その数学的解釈は簡単とはほど遠い（局所的に最小化する曲面は複数存在し得るし、非自明な位相を持ち得る）。

歴史

変分法はヨハン・ベルヌーイ (1696) のとり挙げた最速降下曲線問題に始まるといわれる^[1] それはすぐにヤコブ・ベルヌーイおよびギヨーム・ド・ロピタルの目に留まるが、この主題について初めて詳しく述べたのはレオンハルト・オイラーであった。オイラーの成果は1733年に始まり、著書 Elementa Calculi Variationum はこの分野の名の由来となった。ジョゼフ＝ルイ・ラグランジュはこの理論の拡張に貢献し、アドリアン＝マリ・ルジャンドル (1786) は最大および最小を判別する方法を（十分とまではいかなくとも）確立した。アイザック・ニュートンとゴットフリート・ライプニッツもまたこの主題に対して先駆的な注目を与えている^[2]。この判別法に対して、Brunacci（英語版） (1810), カール・フリードリヒ・ガウス (1829), シメオン・ポワソン (1831), ミハイル・オストログラツキー (1834), カール・グスタフ・ヤコブ・ヤコビ (1837) など多くの貢献がある。重要な一般論はピエール・フレデリック・サラス (1842) によるものをオーギュスタン＝ルイ・コーシー (1844) が精密化および改善した。その他にも重要な研究論文や回顧録が Strauch（英語版） (1849), Jellett（英語版） (1850), ルートヴィヒ・オットー・ヘッセ (1857), Clebsch（英語版） (1858), Carll (1885) など書かれているが、19世紀のおそらくもっとも重要な成果はカール・ヴァイヤストラスによる。その高名な講座は画期的なものであり、それにより確固たる疑いようのない基礎の上に立つ第一人者であったと言えるだろう。1900年に出されたヒルベルトの23の問題の20番目（英語版）と23番目（英語版）はこの分野の更なる発展を促した^[2]。20世紀にはダフィット・ヒルベルト、エミー・ネーター、レオニダ・トネリ（英語版）、アンリ・ルベーグ、ジャック・アダマールらの著しい貢献が成された^[2]。マーストン・モース（英語版）は変分法を今日モース理論と呼ばれるものに応用した^[3]。レフ・ポントリャーギン、ラルフ・ロッカフェラー（英語版）および F. H. Clarke は最適制御理論において変分法に対する新しい数学的な道具を開発した^[3]。リチャード・ベルマンの動的計画法は変分法の代替となるもののひとつである^[4]^[5]^[6]。

極値

変分法は汎函数の極大と極小（総称して「極値」と呼ばれる）に注目する。函数が数値的な変数に依存して決まるのとある意味同じように、汎函数は函数に依存して決まり、またその意味で函数の函数としても記述される。固定された定義域の上で定義された函数からなる函数空間が与えられたとき、その元を動く函数変数 $y$ に関して汎函数は極値を持つ。汎函数 $J [y]$ が函数 $f$ において極値を持つとは、増分 $Δ J = J [y] - J [f]$ が $f$ の任意に小さな近傍に属する任意の $y$ に対して同じ符号を持つときに言う^{[Note 1]}。このとき函数 $f$ は極値函数あるいは極値点 (extremal) と呼ばれる。極値 $J [f]$ が極大であるとは $f$ の任意に小さな近傍の各点において $Δ J \leq 0$ を満たすときに言う。また極小であるとは同様に $Δ J \geq 0$ であるときに言う。連続函数の空間に対して、対応する汎函数の極値は、連続函数の一階導函数が全て連続となるかまたは否かに従って、それぞれ弱極値 (weak extrema) または強極値 (strong extrema) と呼ばれる^[8]。

汎函数の強極値・弱極値はともに連続函数の空間に対するものだが、弱極値はその空間に属する函数の一階導函数が連続という追加の要件を持つ。強極値は弱極値でもあるが、逆は真ではない。強極値を求めることは弱極値を求めることよりも困難である^[9]。弱極値を求めるために用いる必要条件の一つの例として、オイラー＝ラグランジュ方程式がある^[10] ^{[Note 2]}。

変分および極小値に関するある十分条件

変分法は、汎函数の引数である函数のわずかな変化によって生じる小さな変動としての汎函数の変分に注目する。一次変分^{[Note 3]}は汎函数の増分の一次成分（線型部分）として定義され、二次変分^{[Note 4]}は汎函数の増分の二次成分として定義される^[11]。

例えば $J [y]$ は函数 $y = y (x)$ を引数とする汎函数とし、 $h = h (x)$ は $y$ と同じ函数空間に属する函数として引数を $y$ から $y + h$ へわずかに変化させるとき、対応する汎函数の増分は $Δ J [h] = J [y + h] - J [y]$ で与えられる^{[Note 5]}。

汎函数 $J [y]$ が微分可能であるとは、線型汎函数 $φ [h]$ が存在して^{[Note 6]} $Δ J [h] = φ[h] + ε‖ h ‖$ とできるときに言う。ただし、 $‖ h ‖$ は $h$ のノルム^{[Note 7]}であり、 $ε$ は $‖ h ‖ \to 0$ のとき $ε \to 0$ を満たすものとする。このとき、線型汎函数 $φ$ を $J [y]$ の一次変分（英語版）とよび $δJ$ と表す^[15]:

{\mathit {\delta J}}[h]:=\phi [h].

また汎函数 $J [y]$ が二回微分可能とは、一次変分 $φ 1 [h]$ および二次汎函数^{[Note 8]} $φ 2 [h]$ が存在して $Δ J [h] = φ 1 [h] + φ 2 [h] + ε‖ h ‖ 2$ とできるときに言う。ただし、 $ε$ は $‖ h ‖ \to 0$ のとき $ε \to 0$ である。二次汎函数 $φ 2$ を $J [y]$ の二次変分と呼び、 $δ 2 J$ と書く^[17]:

\delta ^{2}\!J[h]:=\phi _{2}[h].

二次変分 $δ 2 J [h]$ が強く正 (strongly positive) であるとは、適当な定数 $k > 0$ が存在して、任意の $h$ に対し $δ 2 J [h] \geq k ‖ h ‖ 2$ を満たすときに言う^[18]。

極小値の十分条件: 汎函数 $J [y]$ が $y = ŷ$ において極小となるには、 $y = ŷ$ において一次変分が $δJ [h] = 0$ かつ二次変分 $δ 2 J [h]$ が強く正となることが十分である^[19] ^{[Note 9]}

注釈

^ $f$ の近傍とは、与えられた函数空間の元 $y$ で定義域の全体において $| y - f | < h$ を満たすもの全体の成す部分集合を言う。ここで正の数 $h$ は近傍の大きさを決める定数である^[7]。
^ 十分条件は後述
^ 一次変分 (first variation) は、変分、微分、一次の微分などとも呼ばれる。
^ 二次変分もまた二次の微分などとも呼ばれる。
^ 増分 $Δ J [h]$ および以下に現れる変分は $y$ および $h$ の双方に依存することに注意せよ。記述の簡素化のために、引数 $y$ は省略されているが、例えば $Δ J [h]$ は $Δ J [y; h]$ のように書くのが意味の上では自然である^[12]。
^ 汎函数 $φ [h]$ が線型とは、汎函数 $h, h 1, h 2$ と実数 $α$ に関して、 $φ [αh] = αφ [h]$ および $φ [h 1 + h 2] = φ [h 1] + φ [h 2]$ を満たすことを言う^[13]。
^ 函数 $h = h (x)$ は実数 $a, b$ に対して区間 $a \leq x \leq b$ 上で定義されているものとすると、 $h$ のノルムはその最大の絶対値 $‖ h ‖ = max{| h (x)| : a \leq x \leq b}$ ^[14]
^ 汎函数が二次 (quadratic) であるとは、それが双線型汎函数の二つの引数を等しいと置いて得られることをいう。双線型汎函数は一方の変数について（他方の変数は固定して）それぞれ線型であることをいう^[16]。
^ 他の十分条件については Gelfand & Fomin 2000 を参照。弱極小値に対する十分条件は Chapter 5: "The Second Variation. Sufficient Conditions for a Weak Extremum". p. 116. の定理、強極小値に対する十分条件は Chapter 6: "Fields. Sufficient Conditions for a Strong Extremum". p. 148. の定理で与えられている。

参考文献

^ Gelfand, I. M.; Fomin, S. V. (2000). Silverman, Richard A.. ed. Calculus of variations (Unabridged repr. ed.). Mineola, New York: Dover Publications. p. 3. ISBN 978-0486414485
^ ^a ^b ^c van Brunt, Bruce (2004). The Calculus of Variations. Springer. ISBN 0-387-40247-0
^ ^a ^b Ferguson, James (2004). "Brief Survey of the History of the Calculus of Variations and its Applications". arXiv:math/0402357。
^ Dimitri Bertsekas. Dynamic programming and optimal control. Athena Scientific, 2005.
^ Bellman, Richard E. (1954). “Dynamic Programming and a new formalism in the calculus of variations”. Proc. Nat. Acad. Sci. 40 (4): 231–235. PMC 527981. PMID 16589462.
^ Kushner, Harold J. (2004年). “Richard E. Bellman Control Heritage Award”. American Automatic Control Council 2013年7月28日閲覧。 See 2004: Harold J. Kushner: regarding Dynamic Programming, "The calculus of variations had related ideas (e.g., the work of Caratheodory, the Hamilton-Jacobi equation). This led to conflicts with the calculus of variations community."
^ Courant, R; Hilbert, D (1953). Methods of Mathematical Physics. Vol. I (First English ed.). New York: Interscience Publishers, Inc. p. 169. ISBN 978-0471504474
^ Gelfand & Fomin 2000, pp. 12–13
^ Gelfand & Fomin 2000, p. 13
^ Gelfand & Fomin 2000, pp. 14–15
^ Gelfand & Fomin 2000, pp. 11–12, 99
^ Gelfand & Fomin 2000, p. 12, footnote 6
^ Gelfand & Fomin 2000, p. 8
^ Gelfand & Fomin 2000, p. 6
^ Gelfand & Fomin 2000, pp. 11–12
^ Gelfand & Fomin 2000, pp. 97–98
^ Gelfand & Fomin 2000, p. 99
^ Gelfand & Fomin 2000, p. 100
^ Gelfand & Fomin 2000, p. 100, Theorem 2

外部リンク

[8] $f$ の近傍とは、与えられた函数空間の元 $y$ で定義域の全体において $| y - f | < h$ を満たすもの全体の成す部分集合を言う。ここで正の数 $h$ は近傍の大きさを決める定数である^[7]。

[SectionVarSuffCond-12] 十分条件は後述

[AltFirst-13] 一次変分 (first variation) は、変分、微分、一次の微分などとも呼ばれる。

[AltSecond-14] 二次変分もまた二次の微分などとも呼ばれる。

[SimplifyNotation-17] 増分 $Δ J [h]$ および以下に現れる変分は $y$ および $h$ の双方に依存することに注意せよ。記述の簡素化のために、引数 $y$ は省略されているが、例えば $Δ J [h]$ は $Δ J [y; h]$ のように書くのが意味の上では自然である^[12]。

[Linear-19] 汎函数 $φ [h]$ が線型とは、汎函数 $h, h 1, h 2$ と実数 $α$ に関して、 $φ [αh] = αφ [h]$ および $φ [h 1 + h 2] = φ [h 1] + φ [h 2]$ を満たすことを言う^[13]。

[Norm-21] 函数 $h = h (x)$ は実数 $a, b$ に対して区間 $a \leq x \leq b$ 上で定義されているものとすると、 $h$ のノルムはその最大の絶対値 $‖ h ‖ = max{| h (x)| : a \leq x \leq b}$ ^[14]

[Quadratic-24] 汎函数が二次 (quadratic) であるとは、それが双線型汎函数の二つの引数を等しいと置いて得られることをいう。双線型汎函数は一方の変数について（他方の変数は固定して）それぞれ線型であることをいう^[16]。

[sufficient-28] 他の十分条件については Gelfand & Fomin 2000 を参照。弱極小値に対する十分条件は Chapter 5: "The Second Variation. Sufficient Conditions for a Weak Extremum". p. 116. の定理、強極小値に対する十分条件は Chapter 6: "Fields. Sufficient Conditions for a Strong Extremum". p. 148. の定理で与えられている。

[GelfandFominP3-1] Gelfand, I. M.; Fomin, S. V. (2000). Silverman, Richard A.. ed. Calculus of variations (Unabridged repr. ed.). Mineola, New York: Dover Publications. p. 3. ISBN 978-0486414485

[brunt-2] van Brunt, Bruce (2004). The Calculus of Variations. Springer. ISBN 0-387-40247-0

[ferguson-3] Ferguson, James (2004). "Brief Survey of the History of the Calculus of Variations and its Applications". arXiv:math/0402357。

[4] Dimitri Bertsekas. Dynamic programming and optimal control. Athena Scientific, 2005.

[bellman-5] Bellman, Richard E. (1954). “Dynamic Programming and a new formalism in the calculus of variations”. Proc. Nat. Acad. Sci. 40 (4): 231–235. PMC 527981. PMID 16589462.

[Kushner2004-6] Kushner, Harold J. (2004年). “Richard E. Bellman Control Heritage Award”. American Automatic Control Council 2013年7月28日閲覧。 See 2004: Harold J. Kushner: regarding Dynamic Programming, "The calculus of variations had related ideas (e.g., the work of Caratheodory, the Hamilton-Jacobi equation). This led to conflicts with the calculus of variations community."

[CourHilb1953P169-7] Courant, R; Hilbert, D (1953). Methods of Mathematical Physics. Vol. I (First English ed.). New York: Interscience Publishers, Inc. p. 169. ISBN 978-0471504474

[GelfandFominPP12to13-9] Gelfand & Fomin 2000, pp. 12–13

[GelfandFominP13-10] Gelfand & Fomin 2000, p. 13

[GelfandFominPP14to15-11] Gelfand & Fomin 2000, pp. 14–15

[GelfandFominP11–12,99-15] Gelfand & Fomin 2000, pp. 11–12, 99

[GelfandFominP12FN6-16] Gelfand & Fomin 2000, p. 12, footnote 6

[GelfandFominP8-18] Gelfand & Fomin 2000, p. 8

[GelfandFominP6-20] Gelfand & Fomin 2000, p. 6

[GelfandFominP11–12-22] Gelfand & Fomin 2000, pp. 11–12

[GelfandFominP97–98-23] Gelfand & Fomin 2000, pp. 97–98

[GelfandFominP99-25] Gelfand & Fomin 2000, p. 99

[GelfandFominP100-26] Gelfand & Fomin 2000, p. 100

[GelfandFominP100Theorem2-27] Gelfand & Fomin 2000, p. 100, Theorem 2

[1]

[2]

[3]

[4]

[5]

[6]

[Note 1]

[8]

[9]

[10]

[Note 2]

[Note 3]

[Note 4]

[11]

[Note 5]

[Note 6]

[Note 7]

[15]

[Note 8]

[17]

[18]

[19]

[Note 9]

[7]

[12]

[13]

[14]

[16]

表話編歴解析学の主要なトピックス
微分積分学: 積分法微分法微分方程式 (常 - 偏) 基本定理変分法ベクトル解析テンソル解析積分一覧導関数一覧（英語版）
実解析複素解析関数解析フーリエ解析調和解析測度論表現論関数連続関数特殊関数極限級数無限
ポータル・カテゴリ

変分法

歴史

極値

変分および極小値に関するある十分条件

関連項目

注釈

参考文献

関連文献

外部リンク