Variace funkcionálu nebo první variace funkcionálu je zobecněním konceptu diferenciálu funkce jedné proměnné, hlavní lineární části přírůstku funkcionálu v určitém směru. Pojem se používá v teorii extrémních problémů k získání nezbytných a postačujících podmínek pro extrém. Právě tento význam je vkládán do tohoto termínu, počínaje prací J. Lagrange z roku 1762 [1] . J. Lagrange uvažoval především o funkcionálech klasického variačního počtu ( děje ) tvaru:
Uvažujme změnu funkcionálu (*) z jednoho bodu funkčního prostoru do druhého (z jedné funkce do druhé). K tomu uděláme náhradu a náhradu ve výrazu (*). Za předpokladu spojité diferencovatelnosti existuje rovnost podobná výrazu pro diferenciál funkce:
kde zbytek je vzdálenost mezi funkcemi a , a . V tomto případě se lineární funkcionál nazývá ( první ) variace funkcionálu a značí se .
S ohledem na funkcional (*) pro první variantu nastává rovnost až do hodnoty vyššího řádu než :
kde
- generalizovaná hybnost.
Zároveň od
Rovnost k nule první variace pro všechny je nezbytnou podmínkou pro extrém funkcionálu . Pro funkcionál (*) tato nezbytná podmínka a hlavní lemma variačního počtu implikují Eulerovu rovnici:
Obdobně jsou definovány variace vyšších řádů.
Obecnou definici první variace v nekonečně-dimenzionální analýze podal francouzský matematik René Gateauv roce 1913. V podstatě je definice Gateau totožná s definicí Lagrange [2] .
První variace funkcionálu je homogenní, ale ne nutně lineární funkcionál, variace funkcionálu za dalšího předpokladu linearity a spojitosti (v ) výrazu se obvykle nazývá Gateauxova derivace . V moderní matematice jsou termíny „ Gato variace “, „ Gato derivát “, „ Gato diferenciál “ běžně používané než funkční variace [3] . Termín „funkční variace“ je přitom zachován pouze pro funkcionály klasického variačního počtu.