変分法

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

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

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

歴史 
変分法はヨハン・ベルヌーイ (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) であるとは、適当な定数  が存在して、任意の  に対し  を満たすときに言う。

 極小値の十分条件
 汎函数  が  において極小となるには、 において一次変分が  かつ二次変分  が強く正となることが十分である

関連項目 

 
 変分原理
 
 
 
 
 
 摂動法
 
 最適制御
 変分法における直接法
 ネーターの定理
 有限要素法
 ド・ドンデ-ワイル理論

注釈

出典

関連文献 
 Dacorogna, Bernard. Introduction to the Calculus of Variations (3rd Edition), 2014, World Scientific Publishing, ISBN 978-1-78326-551-0. Introduction
 Bolza, O.: Lectures on the Calculus of Variations. Chelsea Publishing Company, 1904, available on Digital Mathematics library . 2nd edition republished in 1961, paperback in 2005, ISBN 978-1-4181-8201-4.
 Cassel, Kevin W.: Variational Methods with Applications in Science and Engineering, Cambridge University Press, 2013.
 Clegg, J.C.: Calculus of Variations, Interscience Publishers Inc., 1968.
 Courant, R.: Dirichlet's principle, conformal mapping and minimal surfaces. Interscience, 1950.
 Elsgolc, L.E.: Calculus of Variations, Pergamon Press Ltd., 1962.
 Forsyth, A.R.: Calculus of Variations, Dover, 1960.
 Fox, Charles: An Introduction to the Calculus of Variations, Dover Publ., 1987.
 Jost, J. and X. Li-Jost: Calculus of Variations. Cambridge University Press, 1998.
 Lebedev, L.P. and Cloud, M.J.: The Calculus of Variations and Functional Analysis with Optimal Control and Applications in Mechanics, World Scientific, 2003, pages 1–98.
 Logan, J. David: Applied Mathematics, 3rd Ed. Wiley-Interscience, 2006
 Roubicek, T.: Calculus of variations. Chap.17 in: Mathematical Tools for Physicists. (Ed. M. Grinfeld) J. Wiley, Weinheim, 2014, ISBN 978-3-527-41188-7, pp. 551–588.
 Sagan, Hans: Introduction to the Calculus of Variations, Dover, 1992.
 Weinstock, Robert: Calculus of Variations with Applications to Physics and Engineering, Dover, 1974 (reprint of 1952 ed.).
Chapter 8: Calculus of Variations, from Optimization for Engineering Systems, by Ralph W. Pike, Louisiana State University.

外部リンク 
 
 
 
 Calculus of variations example problems.
 Selected papers on Geodesic Fields, Part I, trans. and edited by D. H. Delphenich
 Selected papers on Geodesic Fields, Part II
 加藤晃史, 微分・積分の先にあるもの― 変分法入門 ―2016年2月5日, 高校生のための金曜特別講座

作用素論
数学に関する記事