Tento článek má stručně shrnout variační počet tak, aby si je člověk, který jej již někdy používal mohl připomenout, nebo člověk, který se jej učí odjinud, utřídit. Článek se záměrně vyhýbá příliš formálnímu zavedení a soustředí se spíše na praktické použití variačního počtu.
Variace funkcionálu S (tedy zobrazení z dostatečně hladkých funkcí s příslušnou podmínkou na hranici do reálných nebo komplexních čísel), kterou značíme jako δ S nebo δ S / δ φ(x) je taková distribuce, která pro všechny testovací funkce f splňuje:
![{\displaystyle \left\langle \delta S[\phi ],f\right\rangle =\left.{\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}S[\phi +\varepsilon f]\right|_{\varepsilon =0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/df399ed046da86372cf2b848a7603f2b26f9bc1e)
Zvláštní význam přitom hrají funkcionály ve tvaru:
![{\displaystyle S[\phi ]=\int _{a}^{b}{F\left({\vec {x}},\phi ({\vec {x}}),\phi '({\vec {x}}),\dots ,\phi ^{(n)}({\vec {x}})\right)}\,\mathrm {d} {\vec {x}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d17ab932e405bbd22f9209f51d951a654b10a880)
pro které lze následujícím postupem snadno převést problém hledání nulové variace na řešení Euler-Lagrangeovy rovnice.
Předpokládejme nyní, že hledáme řešení problému
![{\displaystyle \delta S[\phi ]=0\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2aeecd4443017be39e835877746c9f8d45bdbb79)
a že S má integrální tvar výše. Pro jednoduchost nyní předpokládejme, že
je jen jednorozměrná proměnná x. Připouštíme malé změny funkce φ(x) značené jako δφ(x) (o nichž předpokládáme, že jsou příslušně hladké), které indukují i příslušné změny jejích derivací. Navíc předpokládáme, že řešíme tzv. úlohu s pevnými konci, tedy, že ať už je variace δφ(x) jakákoliv, platí δφ(a) = δφ(b) = 0.
Jelikož jsou δφ(x) dostatečně hladké, můžeme prohazovat variaci s integrálem a s derivací. (Což plyne např. z faktu, že variace je definována pomocí derivace a limity, které jsou při dostatečné hladkosti funkcí záměnné.) Proto tedy
![{\displaystyle 0=\delta S[\phi ]=\int _{a}^{b}\delta {F\left(x,\phi (x),\phi '(x),\dots ,\phi ^{(n)}(x)\right)}\,\mathrm {d} x=\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/66ffc13c1e0c469453f6401973aa05c69e09da98)
![{\displaystyle =\int _{a}^{b}{F\left(x,\phi +\delta \phi ,\left(\phi +\delta \phi \right)',\dots ,\left(\phi +\delta \phi \right)^{(n)}\right)-F\left(x,\phi ,\phi ',\dots ,\phi ^{(n)}\right)}\,\mathrm {d} x=\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ff71d56c8d7fa86646bd0f0fa5400bf387a92fa)
![{\displaystyle =\int _{a}^{b}{{\frac {\partial F}{\partial \phi }}\delta \phi +{\frac {\partial F}{\partial \phi '}}(\delta \phi )'+\dots +{\frac {\partial F}{\partial \phi '}}(\delta \phi )^{(n)}}\,\mathrm {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/76beeb6cfb6d8a465f3cc8c33dbcad4522b0a2ff)
V posledním kroku jsme využili faktu, že změny v argumentech funkce F jsou malé a tedy můžeme výraz rozvinout v Taylorův rozvoj. Nyní integrál napíšeme jako součet integrálů dílčích členů.
![{\displaystyle =\int _{a}^{b}{\frac {\partial F}{\partial \phi }}\delta \phi \,\mathrm {d} x+\int _{a}^{b}{\frac {\partial F}{\partial \phi '}}(\delta \phi )'\,\mathrm {d} x+\dots +\int _{a}^{b}{\frac {\partial F}{\partial \phi '}}(\delta \phi )^{(n)}\,\mathrm {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/33953010ac1610bd9361b1c217fb6bd28a9defec)
Neumíme sice explicitně vyjádřit derivace δφ, ale můžeme derivace odstranit pomocí per partes. Následně využijeme toho, že jde o řešení úlohy s pevnými okraji, což znamená, že tzv. povrchový člen
vymizí. Derivace δφ vyšších řádů odstraníme analogicky několikanásobným per partes - v dalším odvození členy vyšších řádů vynecháváme.
![{\displaystyle \delta S[\phi ]=\int _{a}^{b}{\frac {\partial F}{\partial \phi }}\delta \phi \,\mathrm {d} x+\left[{\frac {\partial F}{\partial \phi '}}\delta \phi \right]_{a}^{b}-\int _{a}^{b}{\frac {\mathrm {d} }{\mathrm {d} x}}{\frac {\partial F}{\partial \phi '}}\delta \phi \,\mathrm {d} x+\dots =}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0f55a6e06d35692ce86e7c47facaf82d66f42601)
![{\displaystyle =\int _{a}^{b}{\frac {\partial F}{\partial \phi }}\delta \phi \,\mathrm {d} x-\int _{a}^{b}{\frac {\mathrm {d} }{\mathrm {d} x}}{\frac {\partial F}{\partial \phi '}}\delta \phi \,\mathrm {d} x+\dots =}](https://wikimedia.org/api/rest_v1/media/math/render/svg/88d9ea2acdbcd9aebe49a27dd47c666fa5a3348d)
![{\displaystyle =\int _{a}^{b}{\left({\frac {\partial F}{\partial \phi }}-{\frac {\mathrm {d} }{\mathrm {d} x}}{\frac {\partial F}{\partial \phi '}}+\dots \right)\delta \phi }\,\mathrm {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8bf4074400ec477f6aa283673dc56783ca6eb771)
Má-li tento integrál být nulový pro libovolnou hladkou variaci δφ, pak musí platit
![{\displaystyle {\frac {\partial F}{\partial \phi }}-{\frac {\mathrm {d} }{\mathrm {d} x}}{\frac {\partial F}{\partial \phi '}}+\dots =0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a32c0a73976e0fac1b6560bb1e2e719bc8a1977b)
což je znění Euler-Lagrangeovy rovnice.
Připustíme-li navíc variaci v horní a dolní mezi (což odpovídá infinitesimálnímu posunu krajních bodů), má variace funkcionálu tvar:
![{\displaystyle \delta S[\phi ]=\int _{a+\delta a}^{b+\delta b}{F\left(x,\phi (x)+\delta \phi (x),\phi '(x)+\delta \phi '(x)\right)}\,\mathrm {d} x\,-\int _{a}^{b}{F\left(x,\phi (x),\phi '(x)\right)}\,\mathrm {d} x\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87a3e044a73f24ddf99a0f7a74c6b153dd4787a8)
(Variaci funkce uvnitř explicitně rozepisujeme, protože zde nemá tak jasný tvar jako výše. Odvození rozepíšeme pro derivace prvního řádu v φ, vyšší se odvodí analogicky.)
![{\displaystyle \delta S[\phi ]=\int _{a}^{b}{F\left(x,\phi (x)+\delta \phi (x),\phi '(x)+\delta \phi '(x)\right)}\,-{F\left(x,\phi (x),\phi '(x)\right)}\,\mathrm {d} x\,+\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bdc857d5d71b0432e463671d3d2419a6c810074a)
![{\displaystyle \int _{b}^{b+\delta b}{F\left(x,\phi (x)+\delta \phi (x),\phi '(x)+\delta \phi '(x)\right)}\,\mathrm {d} x-\int _{a}^{a+\delta a}{F\left(x,\phi (x)+\delta \phi (x),\phi '(x)+\delta \phi '(x)\right)}\,\mathrm {d} x\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/afdf246db67dd06d2d3d4d9d3a56c395f9753e45)
Již známým způsobem převedeme první integrál na Euler-Lagrangeovu rovnici, tj. rozvineme do Taylorova rozvoje (viz výše) a derivaci variace odstraníme per partes.
Protože v této variaci měníme horní a dolní mez integrálu, nejsou variace δφ na okrajích intervalu již rovny nule!
Přibude tedy povrchový člen za všechny integrály per-partes provedené v odvození E-L rovnice. Poslední dva integrály se v integrační mezi mění jen o veličinu prvního řádu, proto můžeme funkci F považovat na tomto intervalu za konstantní. Tyto úpravy dohromady dají následující tvar:
![{\displaystyle \delta S[\phi ]=\int _{a}^{b}{\left({\frac {\partial F(x,\phi |_{x},\phi '|_{x})}{\partial \phi }}-{\frac {\mathrm {d} }{\mathrm {d} x}}{\frac {\partial F(x,\phi |_{x},\phi '|_{x})}{\partial \phi '}}\right)\delta \phi }\,\mathrm {d} x\,+\left[{\frac {\partial F(x,\phi |_{x},\phi '|_{x})}{\partial \phi '}}\delta \phi \right]_{a}^{b}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3338f1a88e04fabe184b00e9c3651cf405a760c3)
![{\displaystyle +F(b,\phi (b),\phi '(b))\delta b-F(a,\phi (a),\phi '(a))\delta a\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b784407e0594d1a1ce73f7559cc0cd6163dfc52)
Symbol
vyznačuje funkci φ v bodě x - nelze však psát φ(x), neboť v tomto výrazu F není funkcí x, ale funkcí x,φ,φ'. Rozdíl posledních dvou členů se v tomto případě derivací φ jen prvního řádu dá zahrnout do povrchového členu vyšlého z integrování per-partes jako
![{\displaystyle \delta S[\phi ]=\int _{a}^{b}{\left({\frac {\partial F(x,\phi |_{x},\phi '|_{x})}{\partial \phi }}-{\frac {\mathrm {d} }{\mathrm {d} x}}{\frac {\partial F(x,\phi |_{x},\phi '|_{x})}{\partial \phi '}}\right)\delta \phi }\,\mathrm {d} x\,+}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c499736fcd51f57da09b81e0ee2248192be960bc)
![{\displaystyle \left[{\frac {\partial F(x,\phi |_{x},\phi '|_{x})}{\partial \phi '}}\delta \phi \,+F(x,\phi |_{x},\phi '|_{x})\delta x\right]_{a}^{b}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/24c2e81ef91cf92d32e4608bfc47fd7f46707f15)
Řešíme problém s funkcionálem
![{\displaystyle S[\phi ]=\int _{a}^{b}{F\left(\phi (x),\phi '(x),\dots ,\phi ^{(n)}(x)\right)}\,\mathrm {d} x,\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b54bd59ce2d35373bf105c6b2de5efb17d75051)
ale připouštíme jen řešení svázaná nějakou podmínkou, např. v integrálním tvaru:
![{\displaystyle \int _{c}^{d}{G\left(\phi (x),\phi '(x),\dots ,\phi ^{(n)}(x)\right)}\,\mathrm {d} x=\mathrm {konst.} \,\ \ \ (\spadesuit )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/59fcc48b65243a6810178df28151b20c0b5535da)
Potom se problém řeší metodou Lagrangeových multiplikátorů. Problém spočívá v tom, že máme málo volných parametrů: jako příklad můžeme vzít problém hledání prověšení provázku. Pokud bychom hledali funkci vyjadřující průhyb provázku tak, že je upevněn ve dvou bodech a chceme, aby byla potenciální energie nulová, pak (odhlédneme-li od toho, že problém řešení ve tvaru funkce nemá - provázek bude mít snahu se „nekonečně prohnout směrem dolů“) nemáme možnost specifikovat jeho délku. Pokud totiž z řešení Euler-Lagrangeovy rovnice (druhého řádu) vyjdou dvě integrační konstanty, musí se stanovit tak, aby provázek byl ukotven ve dvou krajních bodech. Proto je třeba jeden stupeň volnosti dodat.
Změníme integrační meze podmínky (♠) tak, aby byly rovny a,b (což lze vždy udělat vhodnou substitucí), zavedeme nový funkcionál ve tvaru
![{\displaystyle {\tilde {S}}[\phi ]=\int _{a}^{b}{F\left(\phi (x),\phi '(x),\dots ,\phi ^{(n)}(x)\right)}\,\mathrm {d} x-\lambda \left(\int _{b}^{a}{G\left(\phi (x),\phi '(x),\dots ,\phi ^{(n)}(x)\right)}\,\mathrm {d} x-C\right)\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/71391aaa9263ae7c156aca36d74a20fc84bce983)
Povšimněme si, že pro všechny funkce, pro něž je splněna podmínka (♠) je nový funkcionál roven funkcionálu S pro každé λ, neboť jsme k němu jen přičetli nulu.
Nyní stejným postupem jako v první podkapitole přejdeme pro tento funkcionál k Euler-Lagrangeově rovnici, která bude mít tvar
![{\displaystyle {\frac {\partial F}{\partial \phi }}-{\frac {\mathrm {d} }{\mathrm {d} x}}{\frac {\partial F}{\partial \phi '}}+\dots +\lambda \left({\frac {\partial G}{\partial \phi }}-{\frac {\mathrm {d} }{\mathrm {d} x}}{\frac {\partial G}{\partial \phi '}}+\dots \right)=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e9e7ef7f847a3fa812f5c50dfec93471a870cb1f)
Řešení této rovnice již má příslušný počet volných parametrů.