Noetheri teoreem

Allikas: Vikipeedia
Jump to navigation Jump to search
Emmy Noether, matemaatik, kelle järgi on teoreem nime saanud.

Noetheri teoreemi järgi vastab igale mõju sümmeetriale mingi jäävusseadus. Teoreemi tõestas matemaatik Emmy Noether 1915. aastal [1] 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[muuda | muuda lähteteksti]

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 nihetest, 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[muuda | muuda lähteteksti]

Noetheri teoreemi võib sõnastada järgnevalt:

„Igale süsteemi pidevale sümmeetriale vastab jääv suurus.[2]

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.[3] See on analoogne näiteks elektrilaengu jäävusega, laengu muutust mingis punktis peab põhjustama vool, mis kannab laengut ümbritsevatesse punktidesse.

Ajalugu[muuda | muuda lähteteksti]

Mingi suuruse jäävus tähendab, et ta ei muutu ajas:

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[4]. 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:

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:

Kui lagranžiaan ei sõltu koordinaadist q, siis Euleri-Lagrange'i võrrandi järgi on liikumisintegraaliks järgnev avaldis:

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[muuda | muuda lähteteksti]

Noetheri teoreem üldistab juhtu, kus lagranžiaan ei sõltu mingist koordinaadist. Oletame, et järgneval moel koordinaate muutes lagranžiaan ei muutu:

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:

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:

Seda tähistust kasutades tõestas Noether, et järgnevad N suurust on jäävad ehk liikumisintegraalid:

Näited[muuda | muuda lähteteksti]

Aja nihe

Oletame, et lagranžiaan ei sõltu ajast. Koordinaatide teisenduseks on seega tt + δt ja see on ainus teisendus, ehk N = 1, Tr = 1 ja Qr = 0. Noetheri teoreemi järgi on jääv suurus:

kus H on süsteemi koguenergia.

Ruumi nihe

Kui lagranžiaan ei sõltu ruumikoordinaadist, siis ta on teisenduse qq + δq all invariantne. Generaatorid on sellisel juhul Tr = 0 ja Qr = 1. Noetheri teoreemi järgi on liikumisintegraaliks

mida nimetatakse üldistatud impulsiks.

Pöörded

Impulsimomendi jäävuse saab tuletada lagranžiaani invariantsusest pöörete suhtes. Pöördele ümber telje n vastab koordinaatide teisendus

Generaatoriks on ja liikumisintegraaliks saame

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[muuda | muuda lähteteksti]

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 , millel on igas aegruumi punktis defineeritud mingi väärtus. Näiteks võib väljaks olla temperatuur , mis on igas ruumi punktis defineeritud igal ajahetkel.

Väljateoorias on mõjuks lagranžiaani tiheduse integraal üle aegruumi:

Noetheri teoreemi tuletamiseks varieerime välju :

.

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:

,

Välja variatsioone võib olla mitu ja üldjuhul võime kirjutada

millele vastab lagranžiaani muutus

Sissetoodud tähistust kasutades on Noetheri teoreemi järgi jäävaks vooluks:

Voolu jäävus tähendab, et kehtib

Voolu esimene komponent tähistab laengut ja ruumilised komponendid tähistavad voolu, mis seda laengut kannavad.

Koordinaadi nihetest energia-impulsi tensori tuletamine[muuda | muuda lähteteksti]

Illustreeriva näitena vaatame nihkeid väljateooria kontekstis. Koordinaatide teisenduseks võtame . Suurused 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 . Kuna nihe on infinitesimaalne, siis väljendame muutuse Taylori reana kuni esimese järguni: . Eelnevat tähistust kasutades:

Samamoodi teiseneb lagranžiaani tihedus nagu ja saame:

Tähistades Noetheri teoreemist tuleneva jääva suuruse , saame:

Suurus nimetatakse energia-impulsi tensoriks.

Laengu jäävus[muuda | muuda lähteteksti]

Elektrilaengu jäävuse tuletamisel võetakse välja variatsioon võrdeliseks välja endaga.[5] Kvantmehaanikas ei ole lainefunktsioon ise otseselt mõõdetav, vaid mõõdetavad on tõenäosused, mille annab lainefunktsiooni amplituudi ruut . Kuna kompleksarvu amplituud ei sõltu faasist, siis võime valida sümmeetriateisenduseks faasiteisenduse:

Infinitesimaalsel kujul kehtib kuni esimese järguni:

Selle teisenduse abil saame Noetheri teoreemi järgi laengu jäävuse seaduse lagranžiaaniga teooriale. Näiteks Kleini-Gordoni lagranžiaani

korral on jäävaks vooluks:

Kui korrutada voolu nullis komponent läbi vastava teooria laengu konstandiga, siis oleme saanud laengu avaldise lainefunktsiooni kaudu.

Viited[muuda | muuda lähteteksti]

  1. Noether E (1918). "Invariante Variationsprobleme". Nachr. D. König. Gesellsch. D. Wiss. Zu Göttingen, Math-phys. Klasse 1918: 235–257. 
  2. Thompson, W.J. (1994). Angular Momentum: an illustrated guide to rotational symmetries for physical systems 1. Wiley. p. 5. ISBN 0-471-55264-X. 
  3. Group theory and its applications in physics, 1980: Latin American School of Physics, Mexico City, American Institute of Physics, 1981.
  4. Joseph-Louis Lagrange (1788). Mécanique analytique. 
  5. Goldstein 1980, pp. 593–4

Kirjandus[muuda | muuda lähteteksti]