Variacíjski račún je področje matematične analize, ki obravnava ekstreme določenih integralov. Naloga variacijskega računa je poiskati neznano funkcijo, pri kateri ima določeni integral ekstrem. Variacijski račun se ukvarja s funkcionali, z razliko od navadnega infinitezimalnega računa, ki se ukvarja s funkcijami. Funkcionali se lahko tvorijo kot integrali, ki vsebujejo neznano funkcijo ali svoje primitivne funkcije. Pomembne so ekstremne vrednosti funkcij, pri katerih ima funkcional največjo ali najmanjšo vrednost.

Morda je najpreprostejši zgled takšnega problema poiskati krivuljo z najkrajšo dolžino, ki povezuje dve točki. Če ni omejitev, je rešitev očitno daljica med njima. Če pa krivulja na primer leži na ploskvi v prostoru, rešitev ni več tako očitna, in lahko morda obstaja več rešitev. Takšne rešitve so geodetke. Sorodni problem podaja Fermatovo načelo: pot svetlobe je najkrajša optična dolžina med dvema točkama, kjer je optična dolžina odvisna od snovi, v kateri se svetloba giblje. Ustrezen pojem iz mehanike je načelo najmanjše akcije. Teorija optimalnega krmiljenja obravnava posebno vrsto problemov variacijskega računa.

V več pomembnih problemih se pojavijo funkcije več spremenljivk. Za rešitve problemov robnih pogojev Laplaceove enačbe velja Dirichletovo načelo. Plateaujev problem išče najmanjšo površino, ki jo ima ploskev, napeta na dan obris v prostoru. Rešitev ali rešitve je moč praktično najti s potopitvijo žičnega okvirja v milnico. Čeprav so takšni poskusi preprosti, je njihov matematični zapis vse prej kot takšen. Obstaja lahko več ploskev, katerih površine so krajevno najmanjše, in imajo lahko netrivialno topologijo.

Euler-Lagrangeeva enačba

uredi

Pri idealnih pogojih se lahko maksimum ali minimum dane funkcije najdeta z iskanjem točk, kjer je odvod enak nič. Podobno se lahko rešijo gladki variacijski problemi z rešitvijo pripadajoče Euler-Lagrangeeve enačbe. Naj je problem iskanja najkrajše krivulje v ravnini, ki povezuje dve točki   in  . Dolžina loka je podana z:

 

kjer je:

 

in  ,   ter  . Funkcija   naj ima vsaj en odvod. Če je   lokalni minimum, in je   poljubna funkcija, ki je v končnih točkah   in   enaka 0, in ima vsaj en odvod, potem mora veljati:

 

za poljubno število   blizu 0. Potem je odvod   po   (prva variacija A) enak 0 pri  . Tako je:

 

za poljubno izbiro funkcije  . Ta pogoj se lahko pojasni tako da so vsi smerni odvodi   enaki nič v prostoru odvedljivih funkcij. V strogem smislu mora biti Fréchetov odvod A enak 0 v  . Če se predpostavi, da ima   dva zvezna odvoda (ali, če se upošteva šibke odvode), potem se lahko integrira po delih:

 

z uvedbo nove spremenljivke:

 

je:

 

kjer je prvi člen enak 0, saj se je izbrala takšna  , da je v   in   enaka 0, kjer se je integriralo. Zato:

 

za vsako dvakrat odvedljivo funkcijo  , ki je v mejnih točkah intervala enaka 0. To je posebni primer osnovne leme variacijskega računa:

 

za vsako odvedljivo funkcijo  , ki je v mejnih točkah intervala enaka 0. Ker je   poljubna funkcija znotraj integracijskega območja, se sklepa da je  . Zaradi tega je:

 

Iz te enačbe sledi:

 

ekstremala pa sta premici.

Podobno velja račun v splošnem, kjer je:

 

kjer mora f imeti dva zvezna odvoda. Ekstremne vrednosti   se dobijo, če se postavi  , odvaja po   in se na koncu enači  :

 

Tu se je v drugi vrstici uporabilo verižno pravilo za odvod in se v tretji integriralo po delih. Kot prej, je zadnji člen v tretji vrstici enak 0, ker se je tako izbralo  . Po osnovni lemi variacijskega računa se na koncu ugotovi, da za   velja Euler-Lagrangeeva enačba:

 

V splošnem se na ta način dobi navadna diferencialna enačba 2. reda, ki se jo lahko reši za ekstrem  . Euler-Lagrangeeva enačba je za ekstrem potreben, ne pa zadosten pogoj.

Beltramijeva enakost

uredi

Pri fizikalnih problemih je velikokrat  . V tem primeru se Euler-Lagrangeeva enačba poenostavi z Beltramijevo enakostjo:

 

kjer je   konstanta.[1]

Du Bois-Reymondov izrek

uredi

Do sedaj se je privzelo, da imajo ekstremalne funkcije dva zvezna odvoda, čeprav obstoj integrala A zahteva le prve odvode poskusnih funkcij. Pogoj, da je prva variacija v ekstremni vrednosti enaka 0, se lahko ima za šibko obliko Euler-Lagrangeeve enačbe. Du Bois-Reymondov izrek pravi, da ta šibka oblika vsebuje močno obliko. Če ima L zvezne prve in druge odvode po vseh svojih argumentih, in če velja:

 

potem ima   dva zvezna odvoda in zanjo velja Euler-Lagrangeeva enačba.

Fermatovo načelo

uredi

Po Fermatovem načelu svetloba potuje po poti, ki je lokalni minimum optične dolžine med dvema točkama. Če se izbere x-koordinato za parameter vzdolž poti in je   vzdolž poti, je optična dolžina dana z:

 

kjer je lomni količnik   odvisen od snovi. Če se poskusi z  , je prva variacija A (odvod A po  ) enaka:

 

Z integracijo po delih prvega člena znotraj oklepajev, se dobi Euler-Lagrangeeva enačba:

 

Pot svetlobnih žarkov se dobi z integracijo te enačbe.

Lomni zakon

uredi

Ko svetloba vstopa ali zapušča lečo, je lomni količnik nezvezen. Naj je:

 
 

kjer sta   in   konstanti. Potem Euler-Lagrangeeva enačba velja kot prej v območju, kjer je   ali  , in je tam pot dejansko premica, saj je lomni količinik konstanta. V   mora biti f zvezna, lahko pa je nezvezna. Z integracijo po delih v ločenih območjih in z Euler-Lagrangeevimi enačbami, ima prva variacija obliko:

 

Faktor množenja   je sinus kota vpadnega žarka z x-osjo, faktor množenja   pa je sinus kota lomljenega žarka z x-osjo. Po lomnem zakonu so ti členi enaki. Lomni zakon je enakovreden dejstvu, da je prva variacija optične poti enaka 0.

Fermatovo načelo v treh razsežnostih

uredi

Z vektorskim zapisom se dobi priročno orodje. Naj je   t parameter,   parametrična oblika krivulje C in   njen tangentni vektor. Optična dolžina krivulje je:

 

Integral je invarianta glede na spremembe parametrične oblike C. Euler-Lagrangeeve enačbe za minimalno krivuljo imajo simetrično obliko:

 

kjer je:

 

Iz definicije izhaja, da za P velja:

 

Tako se lahko integral zapiše tudi kot:

 

Ta oblika napeljuje na misel, da če se lahko najde funkcija ψ, katere gradient je dan z P, potem je integral A dan z razliko ψ v mejnih točkah integracijskega intervala. Tako se lahko problem iskanja krivulj, za katere je integral stacionaren, poveže z iskanjem nivojskih ploskev ψ. Da se najde takšna funkcija, se pogleda valovna enačba, ki opiše gibanje svetlobe.

Povezava z valovno enačbo

uredi

Valovna enačba nehomogone snovi je:

 

kjer je c hitrost, ki je v splošnem odvisna od X. Valovna čela za svetlobo so karakteristične ploskve te parcialne diferencialne enačbe. Zanje velja:

 

Rešitve bodo imele obliko:

 

V tem primeru za ψ velja:

 

kjer je  . Po teoriji parcialnih enačb 1. reda, če velja  , potem za P velja:

 

vzdolž sistema krivulj (svetlobnih žarkov), ki so podani z:

 

Te enačbe za rešitev parcialne diferencialne enačbe 1. reda so istovetne Euler-Lagrangeevim enačbam, če se postavi:

 

Vidi se, da je funkcija ψ vrednost minimalnega integrala A kot funkcije zgornje mejne točke. To pomeni, da kadar se konstruira družina minimalnih krivulj, za optične dolžine velja karakteristična enačba, ki odgovarja valovni enačbi. Zato je reševanje ustrezne parcialne difrencialne enačbe 1. reda enakovredno iskanju družine rešitev variacijskega problema. To je bistvena vsebina teorije Hamilton-Jacobijevih enačb, ki obravnava splošneješe variacijske probleme.

Sklici

uredi
  1. »Beltramijeva enakost« (v angleščini). Arhivirano iz prvotnega spletišča dne 12. decembra 2007. Pridobljeno 8. aprila 2008.