Noetherin teoreema

Kohteesta Wikipedia
Siirry navigaatioon Siirry hakuun

Noetherin (ensimmäinen) teoreema sanoo, että jokaiseen fysikaalisen systeemin aktion differentioituvaan symmetriaan liittyy jokin sitä vastaava säilymislaki. Teoreeman todisti saksalainen matemaatikko Emmy Noether vuonna 1915, ja se julkaistiin vuonna 1918.[1] Fysikaalisen systeemin aktio on jonkin sellaisen Langrangen funktion aikaintegraali, jonka avulla systeemin käyttäytyminen voidaan määrittää vähimmän vaikutuksen peri­aatteen avulla. Tällainen Lagrangen funktio itsessään voi olla jonkin Lagrangen tiheysfunktion integraali jonkin avaruuden alueen yli.

Noetherin teoreemasta on tullut perustava työväline nykyisessä teoreettisessa fysiikassa ja variaatiolaskennassa. Se on Lagrangen mekaniikan (vuodelta 1788) ja Hamiltonin mekaniikan (vuodelta 1833) liikevakioiden muotoilun yleistys, eikä se päde systeemeille, joita ei voida mallintaa pelkästään Lagrangen funktiolla, toisin sanoen systeemeillä, joihin liittyy Rayleighin dissipaatiofunktio. Erityisesti häviöllisiin systeemeihin, joilla on jatkuvia symmetrioita, ei välttämättä liity vastaavaa säilymis­lakia.

Esimerkkejä ja tausta[muokkaa | muokkaa wikitekstiä]

Noetherin teoreeman merkityksen selventämiseksi voidaan esimerkkinä mainita, että jos fysikaalinen systeemi käyttäytyy samalla tavalla riippumatta siitä, miten päin se on suunnattu avaruudessa, sen Lagrangen funktio on rotaatio­symmetrinen. Tästä symmetriasta seuraa Noetherin teoreeman mukaan, että systeemin liikelait ovat sellaiset, että liikemäärämomentti säilyy. Fysikaalisen systeemin itsessään ei tarvitse olla symmetrinen: epä­säännöllisenkin muotoisen asteroidin liike­määrä­momentti säilyy sen liikkuessa avaruudessa, vaikka se kappaleena ei ole symmetrinen — symmetrisiä ovat sen liikelait, ei itse kappale.

Toisena esimerkkinä voidaan mainita, että jos fysikaalisen prosessin tulokset ovat samat riippumatta sen paikasta ja ajasta, tapahtuipa se esimerkiksi Aasiassa tiistaina tai Amerikassa perjantaina, sen Lagrangen funktio on symmetrinen avaruudessa ja ajassa tapahtuvien siirtojen eli translaatioiden suhteen. Noetherin teoreeman mukaan näistä symmetrioista seuraavat vastaavasti liikemäärän säilymislaki ja energian säilymislaki.

Noetherin teoreema on merkittävä sekä sen näkemyksen vuoksi, jonka se antaa säilymislakeihin, että myös käytännöllisenä laskuvälineenä. Se tekee tutkijoille mahdolliseksi määrittää fysikaaliseen systeemiin liittyvät säilyvät suureet (invariantit) sen havaituista symmetrioista. Toisaalta se tekee myös mahdolliseksi käsitellä kokonaisia hypoteettisten Lagrangen funktioiden luokkaa annettujen invarianttien avulla fysikaalisen systeemin kuvaamiseksi. Kuvitellaan esimerkiksi, että löydettäisiin uusi kenttä, jossa jokin suure X säilyy. Noetherin teoreeman avulla voidaan määrittää, minkä tyyppisissä Lagrangen funktioissa X säilyy jatkuvassa symmetrisessä muunnoksessa, minkä niiden soveltuvuus voidaan arvioida muiden kriteerien perusteella.

Noetherin teoreemasta on olemassa monia versoita, joiden yleisyyden aste vaihtelee. Alkuperäinen versio koski vain tavallisia differentiaaliyhtälöitä (hiukkasia), ei osittaisdifferentiaaliyhtälöitä (kenttiä). Alkuperäisissä versioissa oletetaan myös, että Lagrangen funktio riippuu vain ensimmäisestä derivaatasta, kun taas myöhemmissä versioissa teoreema on yleistetty sellaisiinkin Lagrangen funktioihin, jotka riippuvat n:nnestä derivaatasta. Teoreemalle on olemassa luonnollisia kvantti­teoreettisia vastineita, jotka ilmaisee Ward-Takahashin identiteetti. On olemassa myös Noetherin teoreeman yleistyksiä super­avaruuteen.

Teoreeman epämuodollinen ilmaisu[muokkaa | muokkaa wikitekstiä]

Jättäen tekniset hienoudet sivuun Noetherin teoreema voidaan ilmaista epämuodollisesti.

»Jos systeemillä on jatkuva symmetriaominaisuus, on olemassa sitä vastaava suure, jonka arvo säilyy ajan kuluessa. [2]»

Teoreeman täsmällisempi, kenttiin perustuva versio kuuluu:

»Jokaista differentiaalista, paikallisten vaikutusten generoimaa symmetriaa vastaa jokin säilyvä virta.»

Tässä sana "symmetria" viittaa täsmällisemmin sanottuna sen muodon kovarianssiinselvennä, jonka fysikaalinen laki saa tietyt tekniset kriteerit täyttävien muunnosten muodostamassa yksiulotteisessa Lien ryhmässä. Fysikaalisten suureiden säilymislait ilmaistaan tavallisesti jatkuvina yhtälöinä.

Teoreeman muodollisessa todistuksessa invarianssi­ehtoja käytetään lausekkeen muodostamiseksi virtaukselle, joka liittyy säilyvään fysikaaliseen suureeseen. Viime aikoina, suunnilleen vuodesta 1980 lähtien [3] on tullut tavaksi nimittää säilyvää suuretta "Noetherin varaukseksi" ja sitä kuljettavaa virtausta "Noetherin virraksi". Noetherin virta määritellään solenoidiseksi vektorikentäksi, jonka divergenssi on 0.

Gravitaation tapauksessa Felix Klein on ilmaissut Noetherin teoreeman aktiolle I invarianttien avulla seuraavasti: [4]

»Jos integraali I on invariantti jatkuvan ryhmän Gρ suhteen ρ parametrilla, Lagrangen lausekkeella on ρ lineaarisesti riippumatonta komponenttia, jotka ovat divergenssejä.»

Historiallinen tausta[muokkaa | muokkaa wikitekstiä]

Fysikaaliset säilymis­lait sanovat, että systeemin kehityksen matemaattisessa kuvauksessa jokin suure X pysyy vakiona ajan kuluessa eli se on invariantti. Matemaattisesti X:n muutos­nopeus eli sen derivaatta ajan suhteen on nolla:

Sellaisten suureiden sanotaan säilyvän. Niitä sanotaan usein liikevakioiksi, vaikka ne eivät välttämättä liity liikkeeseen vaan voivat muullakin tavoin kuvata systeemin kehitystä ajan kuluessa. Esimerkiksi jos jonkin systeemin energia säilyy, sen energia on koko ajan yhtä suuri, mikä asettaa rajoituksia systeemin liikkeelle, ja tätä voidaan käyttää hyväksi systeemin kehitystä ennustettaessa. Sen lisäksi, millaisen näkemyksen tällaiset liike­vakiot antavat systeemin luonteesta, ne ovat hyödyllisiä laskennallisia apu­välineitä; esi­merkiksi liki­määräinen ratkaisu voidaan korjata löytämällä lähin tila, joka toteuttaa asiaan kuuluvat säilymislait.

Ensimmäiset tunnetut liikevakiot olivat liikemäärä ja energia, joita ehdottivat sellaisiksi 1600-luvulla törmäyskokeiden perusteella René Descartes ja Gottfried Leibniz ja joiden säilymisen ovat myöhemmät tutkijat vahvistaneet. Isaac Newton oli ensimmäinen, joka esitti liikemäärän säilymislain nykyisessä muodossa ja osoitti, että se on seuraus Newtonin kolmannesta laista eli voiman ja vasta­voiman laista. Yleisen suhteellisuus­teorian mukaan liikemäärän, energian ja liike­määrä­momentin säilymis­lait pitävät tarkkaan ottaen paikkansa vain, jos ne ilmaistaan jännitys-energia-tensorin (gravitaatioon liittymätön jännitys ja energia) sekä jännitys-energia-liikemäärä-pseudotensorin (gravitaatioon liittyvä jännitys-energia) avulla. Sen, että gravitaatioon liittymätön liike­määrä ja energia säilyvät vapaasti putoavassa vertailu­järjestelmässä, ilmaisee se seikka, että jännitys-energia-tensorin kovariantti divergenssi on nolla. Taivaan­mekaniikassa tärkeisiin säilyviin suureisiin kuuluu myös Laplacen-Rungen-Lenzin vektori.

Fyysikot kehittivät 1700-luvun lopulla ja 1800-luvun alussa järjestelmällisempiä keinoja invarianttien löytämiseksi. Suurta edistys­askelta merkitsi vuonna 1788 kehitetty Lagrangen mekaniikka, joka liittyy vähimmän vaikutuksen peri­aatteseen. Tässä lähestymis­tavassa systeemin tilaa voidaan kuvata millä tahansa yleisetyillä koordinaateilla q: liikelakeja ei tällöin tarvitse välttämättä esittää karteesi­silla koordi­naateilla, kuten Newtonin mekaniikassa oli tapana. Aktio eli vaikutus määritellään Lagrangen funktion L integraalina ajan suhteen

missä pilkku q:n yläpuolella merkitsee koordinaattien q muutosnopeutta ajan suhteen.

Hamiltonin periaate ilmoittaa, että systeemin todellinen liikerata q(t) on sellainen, että radan infinitesimaaliset muutokset eivät aiheuta muutosta aktioon I, ainakaan ensimmäisessä kerta­luvussa. Tämä periaate seuraa Eulerin-Lagrangen yhtälöistä,

Jos siis yksi koordinaateista, esimerkiksi qk, ei esiinny Lagrangen funktiossa, yhtälön oikea puoli on nolla ja vasemman puolen on oltava

missä liikemäärä

säilyy koko liikkeen ajan.

Jos siis koordinaatti qk voidaan pitää merki­tyksettö­mänä ja se puuttuu Lagrangen funktiosta, viimeksi mainittuun ei vaikuta qk:n muutokset. Lagrangen funktio on tällöin invariantti ja sillä sanotaan olevan fysikaalinen symmetria sellaisissa muutoksissa. Noetherin teoreema sai alkunsa tämän ajatuksen yleistyksenä.

Vaihtoehtoisia menetelmiä säilyvien suureiden löytämiseksi kehitti 1800-luvulla varsinkin William Rowan Hamilton. Hän kehitti esimerkiksi kanonisten muunnosten teorian, joka teki mahdolliseksi muuttaa koordinaatistoa siten, että jokin koordinaatti hävisi Lagrangen funktiosta, mistä edellisen mukaan seuraa kanonisen liikemäärän säilyminen. Toinen, mahdollisesti tehokkain tapa säilyvien suureiden löytämiseksi perustuu Hamiltonin-Jacobin-yhtälöön.

Matemaattinen muotoilu[muokkaa | muokkaa wikitekstiä]

Yksinkertaisin muoto häiriöiden avulla[muokkaa | muokkaa wikitekstiä]

Noetherin teoreema on perusidealtaan edellä kuvatun mitättömän pienten koordinaattien poisjättämisen yleistys.

Oletetaan, että edellä määritelty aktio I on invariantti aikamuuttujan pienissä häiriöissä (käyristymisissä ja yleistetyt koordinaatit q fysiikassa yleisesti käytetyillä merkintätavoilla,

missä häiriöt dt and dq ovat molemmat pieniä mutta muuttuvia. Yleisemmin oletetaan, että aktiolla on vaikkapa N sellaista symmetria­muunnosta, toisin sanoen muunnosta, jotka jättävät aktion ennalleen, ja käytetään niille indeksiä r = 1, 2, 3, …, N.

Tällöin häiriöiden yhteis­vaikutus voidaan kirjoittaa kaikkien eri­tyyppisten häiriöiden lineaarisena summana,

missä er ovat infinitesimaalisia parametrisia kertoimia, joista

  • generaattori Tr vastaa ajallista kehitystä
  • generaattori Qr yleistettyjä koordinaatteja.

Yhden­suuntais­siirtojen tapauksessa Qr on pituuden yksiköissä ilmaistava vakio, rotaatioiden tapauksessa lineaarinen, q:n komponenttien avulla ilmaistava lauseke, ja parametrit muodostavat kulman.

Näiden määritelmien avulla Noether osoitti, että nämä N suuretta

säilyvät eli ovat liikevakioita. Niiden dimensiot ovat [energia]·[aika] + [liikemäärä]·[pituus] = [aktio]].

Esimerkkejä[muokkaa | muokkaa wikitekstiä]

Aikainvarianssi

Esimerkkinä käsitellään Lagrangen funktiota, joka ei riipu ajasta, toisin sanoen se on invariantti (symmetrinen) muunnoksissa tt + dt, kun koordinaatit q eivät muutu. Tässä tapauksessa N = 1, T = 1 and Q = 0; vastaava säilyvä suure on kokonaisenergia H[5]

Siirtoinvarianssi

Tarkastellaan Lagrangen funktiota, joka ei riipu (edellä mainitulla tavalla merkityksettömästä) koordinaatista qk; toisin sanoen se in invariantti (symmetrinen) muunnoksissa qkqk + dqk. Tässä tapauksessa N = 1, T = 0, and Qk = 1; säilyvä suure on vastaava liikemäärä pk[6]

Erityisessä ja yleisessä suhteellisuus­teoriassa nämä näennäisesti erilliset säilymis­lait ovat saman lain, jännitys-energia-tensorin säilymis­lain, eri ilmenemis­muotoja, [7] Tämä laki johdetaan jäljempänä.

Rotaatioinvarianssi

Liikemäärämonentin L = r × p säilymislaki on analoginen liike­määrän säilymis­laille.[8] Oletetaan, että systeemin Lagrangen funktio on symmetrinen rotaatioiden suhteen, toisin sanoen se ei riipu fysikaalisen systeemin absoluuttisesta suuntautumisesta avaruudessa. Oletetaan, että Lagrangen funktio ei muutu akselin pienissä n kulman δθ suuruisissa rotaatioissa. Tällaisissa rotaatioissa karteesiset koordinaatit muuntuvat yhtälön

mukaisesti. Koska aika ei tässä muutu, on T=0. Pidetään kulmaa δθ parametrina ε ja karteesisia koordinaatteja r yleistettyinä koordinaatteina q; tällöin vastaavat muuttujat Q saadaan lausekkeella

Tällöin Noetherin teoreeman mukaan seuraava suure säilyy:

Toisin sanoen liikemäärämomentin L akselin n suuntainen komponentti säilyy.

Jos n on mieli­valtainen, eli systeemiin eivät vaikuta mitkään rotaatiot, L:n kaikki komponentit säilyvät, eli lyhyesti sanottuna liikemäärämomentti säilyy.

Kenttäteoreettinen versio[muokkaa | muokkaa wikitekstiä]

Vaikka edellä esitetty versio teoreemasta on sellaise­naan­kin käyttö­kelpoinen, se on vain erikois­tapaus Noetherin vuonna 1915 johtamasta yleisemmästä versiosta. Seuraavassa esitetään Noetherin teoreeman versio, joka koskee jatkuvia kenttiä neli­ulotteisessa aika-avaruudessa. Koska modernissa fysiikassa kenttä­teoreettiset probleemat ovat yleisempiä kuin mekaaniset, tämä kenttä­teoreettinen versio on Noetherin teoreeman yleisemmin käytetty versio.

Oletetaan joukko differentioituvia kenttiä φ, jotka on määritelty kaikkialla avaruudessa ja ajassa. Esimerkiksi lämpötilaa T(xt) voidaan pitää sellaisena kenttänä, sillä se on luku, jolla on tietty arvo jokaisessa paikassa jokaisena aikana. Vähimmän vaikutuksen periaatetta voidaan soveltaa sellaisiin kenttiin, mutta aktio on nyt integraali avaruuden ja ajan yli:

(teoreema voidaan itse asiassa yleistää sellaisiin­kin tapauksiin, joissa Lagrangen funktio riippuu n:nnestä derivaatasta.)

Oletetaan, että aktio on riippumaton tietynlaisista avaruus-aika-koordinaattien xµ muunnoksista ja kentistä φ

missä muunnokset voidaan indeksoida: r = 1, 2, 3, …, N

Tällaisilla systeemeillä on Noetherin teorian mukaan N säilyvää virran­tiheys­suuretta

Näissä tapauksissa säilymis­lait voidaan ilmaista neli­ulotteisessa muodossa

joka ilmaisee, että säilyvän suureen määrä pallo­pinnan sisä­puolella ei voi muuttua, ellei sitä virtaa vastaava määrä pallo­pinnan sisä­puolelta ulos tai päin­vastoin. Esimerkiksi sähkövaraus säilyy; varaus­määrä pallo­pinnan sisä­puolella ei voi muuttua, ellei varausta virtaa sieltä ulos tai sinne sisään.

Asian havainnol­lista­miseksi oletetaan kenttien muodostama fysikaalinen systeemi, joka edellä mainitussa mielessä käyttäytyy samoin siirrettäessä sitä ajassa ja paikassa, toisin sanoen on vakio kolmannen argumenttinsa suhteen. Siinä tapauksessa N = 4, virran­tiheys­suureita on yksi kutakin paikka­koordinaattia ja aikaa kohti. Koska vain sijainnit ajassa ja paikassa voivat vääristyä, eivät kentät, muuttujat Ψ ovat kaikki nollia ja Xµν on yhtä kuin Kroneckerin delta δµν, missä µ:tä on käytetty r:n sijasta indeksinä. Siinä tapauksessa Noetherin teoreema vastaa jännitys-energia-tensorin Tµν[7] säilymislakia:

Sähkö­varauksen säilyminen sitä vastoin voidaan johtaa olettamalla, että Xµν=0 ja Ψ on lineaarinen kentissä f itsessään.[9] Kvantti­mekaniikassa todennäköisyysamplitudi Ψ(x) sille, että hiukkanen löydetään pisteestä x, on kompleksinen kenttä φ, koska se liittää avaruuden ja ajan jokaiseen pisteeseen kompleksi­luvun. Toden­näköisyys­amplitudia sinänsä ei voida fysikaalisesti mitata, ainoastaan toden­näköisyys p = |Ψ|2 voidaan todeta mittaus­sarjan perusteella, Sen vuoksi systeemi on invariantti sellaisten kentän Ψ ja sen kompleksikonjugaattikentän Ψ* muunnosten suhteen, joissa lausekkeen |Ψ|2 arvo ei muutu, kuten kompleksisessa rotaatiossa

.

Raja­tapauksessa, kun vaihe θ tulee infini­tesi­maalisen pieneksi, δθ, sitä voidaan pitää parametrina ε, kun taas Ψ on sama kuin vastaavasti and -*. Erityisenä esi­merkkinä voidaan mainita Kleinin-Gordonin yhtälö, suhteellisuus­teorian mukaisesti korjattu versio Schrödingerin yhtälöstä spinittömille hiukkasille, missä Lagrangen funktion tiheys on

Tässä tapauksessa Noetherin teoreemasta seuraa, että säilyvä virta (∂·j = 0) on yhtä kuin

.

Kun tämä kerrotaan kyseisen hiukkaslajin varauksena, saadaan tämän hiukkas­tyypin aikaansaama sähköinen virrantiheys. Tähän "riippumattomuuteen mitta­kentästä" kiinnitti ensimmäisenä huomiota Hermann Weyl, ja se on yksi fysiikan mitta­kenttä­symmetrioiden proto­tyypeistä.

Teoreeman johtaminen[muokkaa | muokkaa wikitekstiä]

Yksi riippumaton muuttuja[muokkaa | muokkaa wikitekstiä]

Tarkastellaan yksinkertaista tapausta, systeemiä, jossa on vain yksi riippumaton muuttuja, aika. Oleteteaan, että riippuvat muuttujat q ovat sellaisia, että aktio integraalina

on invariantti lyhyissä infinitesimaalisissa riippuvien muuttujien vaihteluissa. Toisin sanoen ne toteuttavat Eulerin-Lagrangen liikeyhtälöt

Oletetaan lisäksi, että integraali on invariantti jossakin jatkuvassa symmetriassa. Matemaattisesti sellaista symmetriaa kuvaa jokin virtaus φ, joka vaikuttaa muuttujiin seuraavasti:

missä ε on reaalinen muuttuja, joka ilmaisee virtauksen määrän, ja T reaalinen vakio, joka voi olla myös nolla ja joka ilmaisee, minkä verran virtaus vaikuttaa aikaan.

Aktiointegraali muuntuu muotoon

,

mitä voidaan pitää ε:n funktiona. Laskemalla derivaatta, kun ε = 0 ja käyttämällä symmetriaa saadaan

On huomattava, että Eulerin-Lagrangen yhtälöistä seuraa

Sijoittamalla tämä edellisiin yhtälöihin saadaan

Käyttämällä jälleen Eulerin-Lagrangen yhtälöitä saadaan

Sijoittamalla tämä edellisiin yhtälöihin saadaan

Tästä voidaan nähdä, että

on liikevakio, siis säilyvä suure. Koska φ [q, 0] = q, saadaan , ja näin ollen säilyvä suure yksinkertaistuu muotoon

Jotteivät kaavat tulisi liian monimutkaisiksi, tässä johdossa on oletettu, ettei virta muutu ajan kuluessa. Samaan tulokseen päästään kuitenkin myös yleisemmässä tapauksessa.

Kenttäteoreettinen johto[muokkaa | muokkaa wikitekstiä]

Noetherin teoreema voidaan johtaa myös tensorikentille φA missä indeksin A eri arvot tarkoittavat eri tensorikenttien eri komponentteja. Nämä kenttäsuureet ovat neliulotteisessa avaruudessa määriteltyjä funktioita, ja avaruuden pisteitä merkitään koordinaateilla xµ, missä indeksin µ arvo µ=0 merkitsee aikaa ja arvot µ=1,2,3 kolmea tilaulottuvuutta. Nämä neljä koordinaattia ovat riippumattomat muuttujat ja kenttien arvot kussakin aika-avaruuden pisteessä ovat niistä riippuvia muuttujia. Infinitesimaalisissa muunnoksissa koordinaattien muunnokset voidaan kirjoittaa muodossa

kun taas kenttäsuureiden muunnokset ilmaistaan muodossa

Tämän määritelmän mukaan δφA riippuu kahdesta tekijästä: kentille itsessään ominaisista sisäisitä muutoksista ja koordinaattien muutoksista, sillä muunnettu kenttä αA riippuu muunnetuista koordinaateista ξµ. Sisäisten muutosten eristämiseksi kentän vaihtelu yksittäisessä pisteessä xµ voidaan määritellä seuraavasti:

Jos koordinaatteja muutetaan, muuttuu samalla myös sen aika-avaruuden alueen raja, jonka yli Lagrangen funktio integroidaan; alkuperäistä ja muunnettua versiota merkitään Ω ja Ω’.

Noetherin teoreema alkaa oletuksesta, että tietty koordinaattien ja kenttämuuttujien muunnos ei muuta aktiota, joka määritellään Lagrangen funktion tiheyden integraalina tietyn aika-avaruuden alueen yli. Matemaattisesti tämä oletus voidaan kirjoittaa seuraavasti:

missä muuttujien jälkeen yläpuolelle kirjoitetut pilkut tarkoittavat osittaisderivaattoja niiden koordinaattien suhteen, jotka seuraavat pilkun jälkeen, toisin sanoen

Koska ξ on pelkkä integroimisvakio ja koska rajan Ω muutos oletettiin infinitesimaaliseksi, nämä kaksi integraalia voidaan yhdistää divergenssilauseen neliulotteisen version mukaisesti seuraavaan muotoon:

Lagrangen funktioiden erotus voidaan kirjoittaa ensimmäisessä kertaluvuissa infinitesimaalisilla muutoksilla:

Koska nämä muutokset kuitenkin on määritelty samassa edellä selityssä pisteessä, muutokset ja derivoinnit voidaan suorittaa myös päinvastaisessa järjestyksessä; ne kommutoivat:

Käyttämällä Eulerin-Lagrangen kenttäyhtälöä

Lagrangen funktioiden erotus voidaan kirjoittaa yksinkertaisesti muotoon

Näin ollen aktion muutokseksi saadaan

Koska tämä pätee missä tahansa alueessa Ω, integrandin on oltava nolla

.

Mille tahansa symmetriamuunnosten yhdistelmälle tästä aiheutuva häiriö voidaan kirjoittaa muodossa

missä on funktion φA Lien derivaatta suunnassa Xµ. Kun φA on skalaari tai ,

Näistä yhtälöistä seuraa, että kentän muutos yhdessä pisteessä on

Differentioimalla tämä divergenssi ε:n suhteen pisteessä ε=0 ja muuttamalla etumerkki saadaan säilymislaki

missä säilyvä virta on


Esimerkkejä[muokkaa | muokkaa wikitekstiä]

Esimerkki 1: Energian säilyminen[muokkaa | muokkaa wikitekstiä]

Käsitellään erikoistapauksena Newtonin fysiikan mukaista hiukkastan jonka massa on m ja paikkakoordinaatit x ja joka liikkuu potentiaalin V vaikutuksesta, jonka koordinatisoi aika t. Aktio S on:

Ensimmäinen hakasuluissa oleva termi on liike-energia, jälkimmäinen potentiaalienergia. Käsitellään ajan muunnosten generaattoria Q = ∂/∂t. Toisin sanoen . On huomattava, että x riippuu eksplisiittisesti ajasta, kun taas V ei riipu; näin ollen:

ja voidaan asettaa

Silloin

.

Yhtälön oikea puoli tarkoittaa energiaa, ja Noetherin teoreeman mukaan , toisin sanoen energian säilymisen periaate seuraa invarianssista ajallisten siirtymien suhteen.

Yleisemmin, jos Lagrangen funktio ei eksplisiittisesti riipu ajasta, suure

,

jota sanotaan Hamiltonin funktioksi, säilyy.


Esimerkki 2: Liikemäärän keskuksen säilyminen[muokkaa | muokkaa wikitekstiä]

Käsitellään edelleen yksiulotteista aikaa ja olkoon

toisin sanoen on N Newtonin fysiikan mukaista hiukkasta systeemissä, jonka potentiaali riippuu vain pareittain hiukkasten suhteellisesta liikkeestä.

Käsitellään :lle määriteltyä Galilein muunnosten generaattoria, toisin sanoen vertailu­järjestelmän muutosta. Toisin sanoen

On huomattava, että

Tämä on muotoa , joten voidaan asettaa

.

Täten

missä on kokonaisliikemäärä, M kokonaismassa massakeskipiste. Noetherin teoreeman mukaan


Sovelluksia[muokkaa | muokkaa wikitekstiä]

Soveltamalla Noetherin teoreemaa fyysikot saavat tehokkaita näkemyksiä mihin tahansa fysiikan yleiseen teoriaan pelkästään analysoimalla erilaisia muunnoksia, joissa lait pysyvät muodoltaan invariantteina. Niinpä esimerkiksi:

Noetherin teoreeman kvantti­kenttä­teoreettinen vastine, Wardin-Takahashin identiteetti, johtaa vielä muihin säilymis­lakeihin. Esimerkiksi sähkövarauksen säilyminen seuraa invarianssista varauksellisten hiukkasten kompleksisten kenttien vaihekulman ja siihen liittyvien sähköisen potentiaalin ja vektori­potentiaalin mittojen suhteen.

Noetherin varausta on käytetty myös laskettaessa stationaaristen mustien aukkojen entropiaa.[10]

Käännös suomeksi
Tämä artikkeli tai sen osa on käännetty tai siihen on haettu tietoja muunkielisen Wikipedian artikkelista.
Alkuperäinen artikkeli: en:Noether's theorem

Lähteet[muokkaa | muokkaa wikitekstiä]

  • Kosmann-Schwarzbach, Yvette: The Noether theorems: Invariance and conservation laws in the twentieth century. Spriner-Verlag, 2010. ISBN 978-0-387-87867-6.
  • Olver, Peter: Applications of Lie groups to differential equations, 2. painos. Springer-Verlag, 1993. ISBN 0-387-95000-1.

Viitteet[muokkaa | muokkaa wikitekstiä]

  1. Invariante Variationsprobleme. Nachr. D. König. Gesellsch. D. Wiss. Zu Göttingen, Math-phys. Klasse, 1918, nro 1918, s. 235–257.
  2. W. J. Thompson: Angular Momentum: an illustrated guide to rotational symmetries for physical systems. Wiley, 1994. ISBN 0-471-55264-X. Teoksen verkkoversio.
  3. Termi "Noetherin varaus" esiintyy Seligmanin teoksessa Group theory and its applications in physics, 1980: Latin American School of Physics, Mexico City, American Institute of Physics, 1981. Se tuli yleisempään käyttöön 1980-luvulla, esimerkiksi G. Takedan arikkelissa Errol Gotsmanin ja Gerald Tauberin toimittamassa teoksessa From SU(3) to Gravity: Festschrift in Honor of Yuval Ne'eman, 1985, s. 196.
  4. Nina Byers (1998) "E. Noether's Discovery of the Deep Connection Between Symmetries and Conservation Laws." Bar-Ilanin yliopistossa Israelissa 2.–4.12.1996 Emmi Noetherin muistoksi järjestetyssä symposiumissa pidetty esitelmä, liite B
  5. C. Lanczos: The Variational Principles of Mechanics, 4. painos, s. 401–403. Dover Publications, 1970. ISBN 0-486-65067-7.
  6. Lanczos, s. 403–404
  7. a b Herbert Goldstein: Classical Mechanics (2. painos, s. 592–593. Reading, Massachusetts: Addison-Wesley, 1980. ISBN 0-201-02918-9.
  8. Lanczos, s. 404-405
  9. Herbert Goldstein: Classical Mechanics, s. 593–594. Reading, Massachusetts: Addison-Wesley, 1980. ISBN 0-201-02918-9.
  10. A comparison of Noether charge and Euclidean methods for Computing the Entropy of Stationary Black Holes. Physical Review D, 1995, 52. vsk, nro 8, s. 4430–4439.

Kirjallisuutta[muokkaa | muokkaa wikitekstiä]

  • Noether, Emmy & Tavel, Mort (kääntäjä): Invariant Variation Problems. Transport Theory and Statistical Physics, 1971, 1. vsk, nro 3, s. 186–207. (englanniksi)
  • Noether, Emmy: Invariante variationenprobleme. Nachr. D. König. Gesellsch. D. Wiss. Zu Göttingen, Math-phys. Klasse, 1918. Artikkelin verkkoversio. (saksaksi)
  • Neuenschwander, Dwight E.: Emmy Noether's Wonderful Theorem. Johns Hopkins University Press. ISBN 978-0-8018-9694-1.
  • Hanca, J. & Tulejab, S. & Hancova, M.: Symmetries and conservation laws: Consequences of Noether's theorem. American Journal of Physics, 2004, 72. vsk, nro 4, s. 428–435. Artikkelin verkkoversio.
  • Montesinos, Ernesto & Flores, Ernesto: Revista Mexicana de Física, 2006, nro 52.
  • Sardanashvily: Gauge conservation laws in a general setting. Superpotential. International Journal of Geometric Methods in Modern Physics, 2009, 6. vsk, nro 06.

Aiheesta muualla[muokkaa | muokkaa wikitekstiä]