Preskočiť na obsah

Lagrangeova funkcia

z Wikipédie, slobodnej encyklopédie

Lagrangeova funkcia (iné názvy: Lagrangeov výraz, lagrangeián, lagrangián, lagranžián [výslovnosť vždy "lagra(n)ž..."], značka L) dynamického systému predstavuje východiskový bod lagrangeovej formulácie klasickej mechaniky. Je pomenovaná podľa Josepha Louisa Lagrangea.

V klasickej mechanike je lagrangeián definovaný ako zovšeobecnená kinetická energia systému mínus jeho zovšeobecnená potenciálna energia [1]:

Priamou substitúciou lagrangeiánu do Eulerovej-Lagrangeovej rovnice získame systém parciálnych diferenciálnych rovníc predstavujúcich pohybové rovnice študovaného systému.

Lagrangeova formulácia

[upraviť | upraviť zdroj]

Dôležitosť

[upraviť | upraviť zdroj]

Lagrangeova formulácia mechaniky je dôležitá nielen pre jej širokú aplikáciu, ale aj pre jej úlohu v pokroku hlbšieho chápania fyziky. Hoci sa Lagrange snažil len opísať klasickú mechaniku, akčný princíp, ktorý sa používa na odvodenie Lagrangeovej rovnice sa teraz uznáva za aplikovateľný na kvantovú mechaniku.

Fyzická akcia a kvantovomechanická fáza sú prepojené prostredníctvom Planckovej konštanty, a princíp stacionárnej akcie možno pochopiť v pojmoch konštruktívnej interferencie vlnových funkcií.

Rovnaký princíp a Lagrangeov formalizmus sú úzko prepojené na Noetherovej teorému, ktorá prepája fyzickú konzervovanú kvantitu na kontinuálne symetrie fyzického systému.

Lagrangeovská mechanika a Noetherovef teoréma spolu dávajú prirodzený formalizmus pre prvú kvantizáciu prostredníctvom zahrnutia komutátorov medzi určitými pojmami lagrangeovských rovníc pre fyzikálny systém.

Výhody nad inými metódami

[upraviť | upraviť zdroj]
  • Formulácia nie je napojená na žiadnu sústavu súradníc – namiesto toho môžu byť akékoľvek vhodné premenné použité na opísanie systému; tieto premenné sa nazývajú "zovšeobecnené súradnice" a môže ísť o akúkoľvek nezávislú premennú systému (napríklad sila magnetického poľa magnetického poľa na konkrétnej pozícii; uhol ťahu; pozícia častice v priestore; alebo stupeň excitácie konkrétneho eigenmódu v komplexnom systéme). Vďaka tomu je možné ľahko zakomponovať obmedzenia do teórie definovaním súradníc, ktoré popisujú iba stavy systému, ktorý vyhovuje obmedzeniam.
  • Ak je lagrangeián invariantný na symetrii, potom výsledné rovnice pohybu sú taktiež invariantné na tejto symetrii. Toto je veľmi nápomocné pri ukazovaní, že teórie sú v súlade buď so špeciálnou relativitou alebo všeobecnou relativitou.
  • Rovnice odvodené od lagrangeiánu budú takmer určite jednoznačné a konzistentné, na rozdiel od rovníc, ktoré sú výsledkom viacerých formulácií.

"Cyklické súradnice" a konzervačné zákony

[upraviť | upraviť zdroj]

Dôležitou vlastnosťou lagrangeiánu je, že konzervačné zákony z nich možno ľahko odčítať. Napríklad, ak lagrangeián závisí od časovej derivácie zovšeobecnenej súradnice, ale nie od samotnej, potom zovšeobecnená hybnosť,

,

je konzervovanou kvantitou. toto je špeciálny prípad Noetherovej teorémy, pozri nižšie. Takéto koordinanty sa nazývajú "cyklické".

Napríklad konzerváciu zovšeobecnenej hybnosti

,

možno pozorovať, ak lagrangeián systému má formu

Rovnako, ak čas t sa neobjavuje v , potom nasleduje konzervovanie Hamiltonianu. Toto je konzervovanie energie až kým potenciálna energia nedosiahne rýchlosť ako v elektrodynamike. Viac detailov je možné nájsť v akejkoľvek učebnici týkajúcej sa teoretickej mechaniky.

Vysvetlenie

[upraviť | upraviť zdroj]

Rovnice pohybu sa získavajú prostredníctvom princípu akcie, zapísaného ako:

kde akcia, je funkciou závislých premenných spolu s ich derivátmi samotným s

a kde popisuje súbor n nezávislých premenných systému, indexovaného ako

Rovnice pohybu získané z tejto funkcionálnej derivácieEuler–Lagrangeove rovnice tohto atómu. Napríklad, v klasickej mechanike častíc, jedinou nezávislou premennou je čas t. A tak Euler-Lagrangeove rovnice sú

Dynamické systémy, ktorých rovnice pohybu je možné získať prostredníctvom akčného princípu na vhodne vybranom lagrangeiáne sú známe ako Lagrangeovské dynamické systémy. Príklady Lagrangeovských dynamických systémov siahajú od klasickej verzie Štandardného modelu po Newtonove rovnice a čisto matematickým problémom ako sú geodézne rovnice a Plateauov problém.

Príklad klasickej mechaniky

[upraviť | upraviť zdroj]

V pravouhlej sústave súradníc

[upraviť | upraviť zdroj]

Predpokladajme, že máme trojrozmerný priestor a lagrangeián

.

Potom Eulerova–Lagrangeova rovnica znie:

kde .

Derivácia dáva:

Eulerove–Lagrangeove rovnice preto možno zapísať ako:

kde derivácia času je zapísaná konvenčne ako bod nad diferencovaným objemom a je del operátor.

Použijúc tento výsledok je možno ľahko ukázať, že lagrangeovský prístup je ekvivalentný newtonovskému.

Ak je sila zapísané v pojmoch potenciálu ; výsledná rovnica je , čo je presne rovnaké rovnica ako v newtonovskom prístupe pre objekt konštantnej hmotnosti.

Veľmi podobnou dedukciou dostávame výraz , ktorý je Newtonovým druhým zákonom v jeho všeobecnej podobe.

V sústave sférických súradníc

[upraviť | upraviť zdroj]

Predpokladajme, že máme trojdimenzionálny priestor použijúc sférické súradnice s lagrangeiánom

Potom Eulerove–Lagrangeove rovnice sú:

Tu je súbor len časom , a dynamické premenné sú trajektóriami častice.

Napriek použitiu štandardných premenný ako , lagrangeián dovoľuje použitie akýchkoľvek súradníc, ktoré nemusia byť ortogonálne. Sú to "zovšeobecnené súradnice".

Lagrangeián testovacej častice

[upraviť | upraviť zdroj]

Testovacia častica je časticou, ktorej hmotnosť a náboj sú pravdepodobne tak malé, že jej vplyv na externý systém nie je dôležitý. Je to často hypoteticky zjednodušené bodová častica, ktorá má len hmotnosť a náboj. Reálne častice ako elektróny a horné kvarky sú komplexnejšie a majú dodatočné pojmy vo svojich lagrangeiánoch.

Klasická testovacie častica s Newtonovskou gravitáciou

[upraviť | upraviť zdroj]

predpokladajme, že máme časticu s hmotnosťou kilogramov a pozíciou metrov v newtonovskom gravitačnom poli s potenciálom joulov na kilogram. Línia častice je parametrizovaná časom v sekundách. Kinetická energia častice je:

a gravitačná potenciálna energia častice je:

Potom lagrangeián je joulov, kde

Variujúc v integráli (ekvivalentom Euler–Lagrangeovej diferenciálnej rovnici), dostávame

Integrujme prvý pojem po častiach and zrušme celkový integrál. Potom rozdeľme variáciu, aby sme dostali

a tak

je rovnica pohybu – dva rozdielne výrazy vyjadrujúce silu.

Špeciálna relativistická testovacia častica s elektromagnetizmom

[upraviť | upraviť zdroj]

V špeciálnej relativite, forma pojmu, ktorý vyvodzuje deriváciu hybnosti musí byť zmenená; už nejde o kinetickú energiu. Stáva sa:

(V špeciálnej relativite, energia voľnej testovacej častice je )

kde metrov za sekundu je rýchlosť svetla vo vákuu, sekúnd vo vhodnom čase (t.e. čas meraný hodinami pohybujúcimi sa s časticou) a . Druhý pojem v sérii je len klasická kinetická energia. Predpokladajme, že častica má elektrický náboj coulombov a je v elektromagnetickom poli so skalárnym potenciálom voltov (volt je joule na coulomb) a vektorový potenciál voltsekúnd za meter. Lagrangeián špeciálnej relativistickej testovacej častice je elektromagnetické pole:

Variáciami s ohľadom na , dostávame

čo je

čo je rovnica, ktorá je rovnicou pre Lorentzovu silu, kde

Všeobecná relativistická testovacia častica

[upraviť | upraviť zdroj]

Vo všeobecnej relativite, prvý pojem zovšeobecňuje ako klasickú kinetickú energiu a interakciu medzi newtonovským gravitačným potenciálom. Stáva sa:

Lagrangeián všeobecnej relativistickej testovacej častice v elektromagnetickom poli je:

A štvorrozmerné priestorovočasové súradnice sú dané v arbitrárnych jednotkách (t. j. bezjednotkových), potom metrov štvorcových je symetrické na úrovni 2 metrického tenzoru, čo je taktiež gravitačným potenciálom. Taktiež, voltsekúnd je elektromagnetický 4-vektorový potenciál. Všimnite si, že faktor c bol absorbovaný do druhej mocniny, pretože toto sa rovná

Všimnite si, že tento pojem bol vo všeobecne odvodený od špeciálnej relativity.

Lagrangeiány a hustoty lagrangeiánu v teórii poľa

[upraviť | upraviť zdroj]

Časový integrál lagrangeiánu sa nazýva akcia popísaná prostredníctvom .
V teórii poľa, rozdiel je niekedy robený medzi lagrangeiánom , ktoré je akcia integrálom času:

a hustota Lagrangeiánu , ktorý sa integruje ponad všetok časopriestor aby sa získala akcia:

Lagrangeián je potom priestorovým integrálom lagrangeiánskej hustoty. sa však takisto často nazýva lagrangeián, hlavne vo svojom modernom používaní; je oveľa užitočnejší v relativistických teóriách, keďže ide o definíciu lokálne definovanú Lorentzovým skalárnym poľom. Obe definície lagrangeiánu možno vidieť ako špeciálne prípady všeobecnej formy, v závislosti na tom, či priestorová premenná je zahrnutá do indexu alebo parametrov v . Teórie kvantového poľa v časticovej fyzike, ako kvantová elektrodynamica, sú obvykle popísané v pojmoch , a pojmy v tejto forme lagrangeiánu sa rýchlo transformujú do pravidiel používaných pri hodnotení Feynmanových diagramov.

Vybrané polia

[upraviť | upraviť zdroj]

Pre pokračovanie v sekcii o testovacích časticiach vyššie, tu sú rovnice pre polia v ktorých sa pohybujú. Rovnice nižšie sa týkajú polí, v ktorých testovacie častice popísané vyššie sa pohybujú a dovoľujú výpočet týchto polí. Tieto rovnice nedajú rovnice pohybu testovacej častice, ale dávajú potenciál (pole) vyvolaný kvantitami ako sú hmotnosť alebo hustota náboja v akomkoľvek bode . Napríklad, ak v prípade newtonovskej gravitácie je lagrangeiánska hustota integrovaná v časopriestore, dáva rovnicu, ktorá, ak je vyriešená, poskytne . Toto , keď je substituované späť v rovnici (1), Lagrangeova rovnica pre testovaciu časticu je Newtonovské gravitačné pole, pričom poskytuje informáciu potrebnú pre výpočet akcelerácie častice.

Newtonovská gravitácia

[upraviť | upraviť zdroj]

Lagrangeián (hustota) je joulov na meter 3 (kubický). Interakčný pojem je nahradený pojmom zahŕňajúcim kontinuálnu hustotu hmotnosti kilogramov na meter kubický. Toto je nevyhnutné, pretože používajúc podobný zdroj pre pole by vyústilo v matematické ťažkosti. Výsledný lagrangeián pre klasické gravitačné pole je:

kde metrov kubických na kilogram sekundu na druhú je gravitačná konštanta. Variácia integrálu s ohľadom na dáva:

Integrujte časti a zrušte celkový integrál. Potom vydeľte prostredníctvom aby ste dostali:

a tak

čo dáva Gaussov zákon pre gravitáciu.

Elektomagnetizmus v špeciálnej relativite

[upraviť | upraviť zdroj]

Interakčný pojem je nahradený pojmami zahŕňajúcimi kontinuálnu hustotu náboja coulombov na meter kubický a aktuálnu hustotu ampérov na meter štvorcový. Výsledný lagrangeián pre elektromagnetickú pole je:

Variujúc toto s ohľadom na , dostávame

čo dáva Gaussov zákon.

Variujúc namiesto toho s ohľadom na , dostávame

čo dáva Ampèrov zákon.

Elektromagnetizmus vo všeobecnej relativite

[upraviť | upraviť zdroj]

Pre lagrangeián gravitácie vo všeobecnej relativite, pozri Einstein-Hilbertova akcia. Lagrangeián elektromagnetického poľa je:

V štvorrozmerných časopriestorových súradniciach sú dané arbitrárne jednotky, potom: joulsekúnd lagrangeián, skalárna hustota; coulombov je prúd, vektorová hustota denzity; a voltsekúnd is elektromagnetický tenzor, kovariantný antisymetrický tenzor radu dva. Všimnite si, že determinant pod znakom druhej odmocniny je aplikovaný na maticu komponentov kovariantného metrického tenzoru , a je jeho inverzia. Všimnite si, že jednotky lagrangeiánu sa menia, pretože integrujeme ponad , ktoré sú bezjednotkové, a nie ponad , ktoré majú jednotky v sekundometroch kubických. Elektromagnetický tenzor poľa je formovaný antisymetrizáciou čiastkových derivácií elektromagnetického vektorového potenciálu; takže to nie je nezávislá premenná. Druhá odmocnina je potrebná na konverziu tohto pojmu na skalárnu hustotu namiesto len skalára a tiež pre kompenzáciu zmien v jednotkách premenných integrácie. Faktor vnútri druhej odmocniny je potrebný na normalizáciu, aby ho druhá odmocnina zredukovala na pojem špeciálnej relativity (keďže determinant je v špeciálnej relativity).

Lagrangeiány v kvantovej teórii poľa

[upraviť | upraviť zdroj]

Diracov lagrangeián

[upraviť | upraviť zdroj]

Lagrangeiánska hustota pre Diracove pole je:

kde je Diracov spinor, je jeho Diracova prípojka, je kalibračná kovariantná derivácia, a je Feynmanova anotácia pre .

Kvantovo elektrodynamický lagrangeián

[upraviť | upraviť zdroj]

Lagrangeiánska hustota pre QED je:

kde je elektromagnetický tenzor.

Kvantovo chromodynamický lagrangeián

[upraviť | upraviť zdroj]

Lagrangeiánska hustota pre kvantovú chromodynamiku je [1] [2] Archivované 2008-03-01 na Wayback Machine [3]:

kde je QCD kalibračná kovariantná derivácia, počíta kvarkové typy, a je gluónový tenzor silového poľa.

Matematická formalizácia

[upraviť | upraviť zdroj]

predpokladajme, že máme n-dimenzionálnu rozmanitosť, , a cieľovú rozmanitosť, . Nech je konfiguračný priestor hladkej funkcie z na .

  • V klasickej mechanike, Hamiltonianskom formalizme, je jednorozmerná rozmanitosť , reprezentujúca čas a cieľový priestor v kotangentnom zhluku priestoru zovšeobecnených pozícií.
  • V teórii poľa, je časopriestorová rozmanitosť a cieľový priestor je súbor hodnôt polí v akomkoľvek bode. Napríklad, ak existujú m reálne=číselné skalárne polia, , potom cieľová rozmanitosť je . Ak pole je reálne vektorové pole, potom cieľová rozmanitosť je izomorfná pre . V skutočnosti existuje omnoho elegantnejší spôsob použitia tangentného zhluku nad , ale budeme trvať len na tejto verzii.

Matematický vývoj

[upraviť | upraviť zdroj]

Uvažujme funkctionálne, , nazvané akcia. Fyzické dôvody určujú, že to je mapovanie na , ne .

Za účelom toho, aby akcia bola lokálna, potrebujeme dodatočné obmedzenia ohľadom akcie. Ak , predpokladáme, že je integrál nad funkcie , jej derivátov a pozície zvanej lagrangeián, . Inými slovami,

Nižšie sa na dôvažok predpokladá, že Lagreangian závisí len na hodnote poľa a jeho prvej derivácii, ale nie od ďalších derivácií.

Za predpokladu hraničných podmienok, v zásade špecifikácia hodnoty na hranici ak je kompaktný ale bo nejaký limit na keďže x pristupuje (toto pomôže urobiť integráciu po častiach), podpriestoru pozostávajúc z funkcií, , t. j. že všetky funkcionálne derivácie na pri sú nulové a uspokojujúce dané hraničné podmienky je podpriestorom na škrupine riešení.

Riešenie je dané prostredn9ctvom Euler–Lagrangeových rovníc (vďaka hraničným podmienkam),

Ľavá strana je funkcionálna derivácia akcie s ohľadom .

  1. TORBY, Bruce. Advanced Dynamics for Engineers. United States of America : CBS College Publishing, 1984. ISBN 0-03-063366-4. Energy Methods.

Referencie

[upraviť | upraviť zdroj]