Noetheri teoreem

Noetheri teoreemi järgi vastab igale mõju sümmeetriale mingi jäävusseadus. Teoreemi tõestas matemaatik Emmy Noether 1915. aastal Mõju on lagranžiaani integraal üle aja, üldisemal juhul lagranžiaani tiheduse integraal üle aegruumi. Süsteemi liikumisvõrrandid saab tuletada mõjust vähima mõju printsiibi abil.
Noetheri teoreemi kasutatakse laialdaselt teoreetilises füüsikas. See üldistab mehaanikast tuntud jäävaid suurusi ja võimaldab neid tuletada üldisematest printsiipidest, üldiselt sümmeetriatest. Kui süsteem ei ole täielikult kirjeldatud lagranžiaaniga, siis ei saa sellele Noetheri teoreemi rakendada. Näiteks kadudega süsteemides võivad olla erinevad sümmeetriad, aga jäävusseadused ei pruugi kehtida.
Sissejuhatavad näited.
Lagranžiaani abil kirjeldatakse paljusid süsteeme. Näiteks mehaanilise süsteemi liikumist või elementaarseid välju teoreetilises füüsikas. Noetheri teoreemi saab rakendada üldiste lagranžiaanide kohta, mis iganes konkreetset süsteemi kirjeldatakse.
Kui lagranžiaan on sümmeetriline pöörete suhtes, siis vastavalt Noetheri teoreemile kehtib impulsimomendi jäävus. Sümmeetrilisus pöörete suhtes tähendab, et süsteemi areng ei sõltu sellest, mis nurga all ta on ümbritseva maailma suhtes. Teisiti öeldes: lagranžiaan ei muutu pöördele vastava koordinaatteisendusega. Pöördsümmeetriline ei pea olema mitte füüsiline süsteem ise, vaid süsteemi arengut kirjeldav lagranžiaan. Sõltumatus orientatsioonist tähendab, et võime süsteemi keerata ümbritsevate kehade suhtes, ja süsteemi käitumist kirjeldavad võrrandid jäävad samale kujule. Sisuliselt võimaldab Noetheri teoreem tuletada impulsimomendi jäävuse omadusest, et süsteemi pöörates jäävad võrrandid samale kujule.
Kui süsteemi areng ei sõltu ruumi ja aja siiretest, siis Noetheri teoreemi järgi peavad kehtima vastavalt energia- ja impulsijäävus. Sõltumatus aja ja ruumi nihetest tähendab, et näiteks pendli liikumine ei sõltu sellest, kas me liigutame kogu süsteemi teatud vahemaa võrra edasi mingis suunas ja paneme ta seal liikuma, või paneme pendli liikuma mõnel teisel ajahetkel, aga samas algseisundis. Noetheri teoreem nihetele rakendatuna võimaldab järeldada energia- ja impulsijäävuse küllaltki mõistlikust eeldusest, et süsteemi käitumine ei sõltu sellest, et me seda liigutame näiteks mõned meetrid edasi või teeme sellega katseid mõnel teisel päeval.
Noetheri teoreem võimaldab süstematiseeritult jäävusseadusi tuletada. Teistpidi võimaldab ta leida antud jäävusseadustele vastavaid lagranžiaane. Näiteks oletame, et on teooria, mille järgi on teatud suurus konstantne. Selle konstantse suuruse ja Noetheri teoreemi abil saab uurida, millist tüüpi lagranžiaanid võiksid sobida seda konkreetset teooriat kirjeldama.
Noetheri teoreemist on eri versioone ja neid saab erinevalt kirja panna.
Teoreemi mitteformaalne sõnastus.
Noetheri teoreemi võib sõnastada järgnevalt:
Teoreemi tõestuses kasutatakse vähima mõju printsiipi. Sisuliselt võetakse mingi teisendus, arvutatakse lagranžiaani muutus selle teisenduse mõjul ja kasutades süsteemi liikumisvõrrandeid, on võimalik avaldada suurus, mille täisdivergents on null (kasutusel väljateoorias) või mille ajaline tuletis on null (kasutusel analüütilises mehaanikas). Mitmedimensionaalse juhu korral kutsutakse tänapäeva terminoloogias jäävat suurust Noetheri laenguks ja laengut kannab Noetheri vool. See on analoogne näiteks elektrilaengu jäävusega, laengu muutust mingis punktis peab põhjustama vool, mis kannab laengut ümbritsevatesse punktidesse.
Ajalugu.
Mingi suuruse jäävus tähendab, et ta ei muutu ajas:
formula_1
Selliseid suurusi nimetatakse liikumisintegraalideks. Näiteks kui energia on jääv, siis energia ei muutu ajas ehk tema tuletis aja järgi on null. Esimesteks täheldatud liikumisintegraalideks olid energia ja impulss, mida täheldasid 17. sajandil René Descartes ja Gottfried Leibniz, uurides kehade kokkupõrkeid ja seda, kuidas kiirused ja kehade liikumissuunad põrgetel muutusid. Isaac Newton pani esimest korda impulsijäävuse kirja sellisel kujul, nagu me seda tänapäeval tunneme.
Liikumisintegraalide teoorias oluline lagranžiaan võeti kasutusele analüütilise mehaanika arenguga 1788. aastal. Lagranžiaaniga seostub väga oluline vähima mõju printsiip. Üheks eeliseks tavapäraste Newtoni seadustega võrreldes on, et lagranžiaan võib olla kirja pandud suvaliste üldistatud koordinaatide abil ja vähima mõju printsiibi abil on võimalik leida nendele koordinaatidele vastavad liikumisvõrrandid. Mõjuks kutsutakse lagranžiaani integraali üle aja:
formula_2
Vähima mõju printsiip (täpsemini öeldes statsionaarse mõju printsiip) väidab, et süsteemi areng on selline, mis hoiab lagranžiaani statsionaarsena infinitesimaalsete variatsioonide suhtes. Kasutades vähima mõju printsiipi, saadakse Euleri-Lagrange'i võrrandid:
formula_3
Kui lagranžiaan ei sõltu koordinaadist "q", siis Euleri-Lagrange'i võrrandi järgi on liikumisintegraaliks järgnev avaldis:
formula_4
Kokkuvõttes saime jääva suuruse Euleri-Lagrange'i võrranditest, arvestades omadust, et lagranžiaan ei sõltunud selles näites koordinaadist "q". Noetheri teoreemi põhimõte on analoogne, aga jääva suuruse avaldist on üldistatud, võrreldes eelnevaga.
Matemaatiline kirjeldus.
Noetheri teoreem üldistab juhtu, kus lagranžiaan ei sõltu mingist koordinaadist. Oletame, et järgneval moel koordinaate muutes lagranžiaan ei muutu:
formula_5
formula_6
kus "δt" ja "δ"q on väikesed suurused. Üldisel juhul võib olla "N" sellist teisendust, mis kõik jätavad lagranžiaani samaks. Eri teisendused tähistame indeksiga "r" = 1, 2, 3, …, "N".
Kõik väikesed koordinaatide teisendused saame kokku panna ja summaarseteks teisendusteks tulevad:
formula_7
formula_8
kus ε"r" on infinitesimaalsed suurused, mis näitavad, et tegemist on infinitesimaalse teisendusega, ja "Tr" ning "Qr" on teisenduse generaatorid, mis kirjeldavad vastavalt aja- ja ruumikoordinaatide teisendust. Iga "Tr" ja "Qr" kirjeldab ühte konkreetset teisendust, mida üksi rakendades kehtiks:
formula_9
formula_10
Seda tähistust kasutades tõestas Noether, et järgnevad "N" suurust on jäävad ehk liikumisintegraalid:
formula_11
Näited.
Oletame, et lagranžiaan ei sõltu ajast. Koordinaatide teisenduseks on seega "t" → "t" + δ"t" ja see on ainus teisendus, ehk "N" = 1, "Tr" = 1 ja "Qr" = 0. Noetheri teoreemi järgi on jääv suurus:
formula_12
kus "H" on süsteemi koguenergia.
Kui lagranžiaan ei sõltu ruumikoordinaadist, siis ta on teisenduse "q" → "q" + δ"q" all invariantne. Generaatorid on sellisel juhul "Tr" = 0 ja "Qr" = 1. Noetheri teoreemi järgi on liikumisintegraaliks
formula_13
mida nimetatakse üldistatud impulsiks.
Impulsimomendi jäävuse saab tuletada lagranžiaani invariantsusest pöörete suhtes. Pöördele ümber telje n vastab koordinaatide teisendus
formula_14
Generaatoriks on formula_15 ja liikumisintegraaliks saame
formula_16
See tähendab, et impulsimomendi komponent on jääv selle telje suhtes, mille ümber pöörates lagranžiaan on invariantne.
Kui n võib olla suvaline, siis impulsimomendi suvaline komponent on jääv ehk impulsimoment on üldiselt jääv.
Noetheri teoreem väljateoorias.
Väljateoorias kasutatakse Noetheri teoreemi tihti neljas aegruumi dimensioonis jääva voolu leidmiseks, kuna suur osa füüsika teooriatest kirjeldavad maailma neljamõõtmelisena. Väljateooriates on lagranžiaanid tihti kasutusel ja järgnev Noetheri teooria versioon on küllalt levinud.
Väljateoorias on aegruumis defineeritud väljad formula_17, millel on igas aegruumi punktis defineeritud mingi väärtus. Näiteks võib väljaks olla temperatuur formula_18, mis on igas ruumi punktis defineeritud igal ajahetkel.
Väljateoorias on mõjuks lagranžiaani tiheduse integraal üle aegruumi:
formula_19
Noetheri teoreemi tuletamiseks varieerime välju formula_17:
formula_21.
Vastavalt vähima mõju printsiibile peab mõju jääma statsionaarseks ehk võib muutuda ainult täisdivergentsi võrra, sest täisdivergentsi integreerides saame avaldise väärtused integreerimisradadel ehk lõpmatuses, mis on nullid, sest eelduste kohaselt variatsioon on lõplik. Seega välja varieerimise tõttu muutub lagranžiaan järgnevalt:
formula_22,
Välja variatsioone võib olla mitu ja üldjuhul võime kirjutada
formula_23
millele vastab lagranžiaani muutus
formula_24
Sissetoodud tähistust kasutades on Noetheri teoreemi järgi jäävaks vooluks:
formula_25
Voolu jäävus tähendab, et kehtib
formula_26
Voolu esimene komponent formula_27 tähistab laengut ja ruumilised komponendid formula_28 tähistavad voolu, mis seda laengut kannavad.
Koordinaadi nihetest energia-impulsi tensori tuletamine.
Illustreeriva näitena vaatame nihkeid väljateooria kontekstis. Koordinaatide teisenduseks võtame formula_29. Suurused formula_30 on nihkevektori komponendid. Kui nihutame koordinaate ühele poole ja hoiame välju paigal, või hoiame koordinaadistikku paigal ja liigutame välju teisele poole, saame väljade ja koordinaadistiku omavahelises suhtelises liikumises lõppkokkuvõttes sama tulemuse. Seega väljad teisenevad nagu formula_31. Kuna nihe on infinitesimaalne, siis väljendame muutuse Taylori reana kuni esimese järguni: formula_32. Eelnevat tähistust kasutades:
formula_33
Samamoodi teiseneb lagranžiaani tihedus nagu formula_34 ja saame:
formula_35
Tähistades Noetheri teoreemist tuleneva jääva suuruse formula_36, saame:
formula_37
Suurus formula_36 nimetatakse energia-impulsi tensoriks.
Laengu jäävus.
Elektrilaengu jäävuse tuletamisel võetakse välja variatsioon võrdeliseks välja endaga. Kvantmehaanikas ei ole lainefunktsioon ise otseselt mõõdetav, vaid mõõdetavad on tõenäosused, mille annab lainefunktsiooni amplituudi ruut formula_39. Kuna kompleksarvu amplituud ei sõltu faasist, siis võime valida sümmeetriateisenduseks faasiteisenduse:
formula_40
Infinitesimaalsel kujul kehtib kuni esimese järguni:
formula_41
Selle teisenduse abil saame Noetheri teoreemi järgi laengu jäävuse seaduse lagranžiaaniga teooriale. Näiteks Kleini-Gordoni lagranžiaani
formula_42
korral on jäävaks vooluks:
formula_43
Kui korrutada voolu nullis komponent läbi vastava teooria laengu konstandiga, siis oleme saanud laengu avaldise lainefunktsiooni kaudu.