Vinkelmomentum är en viktig dynamisk storhet som härrör från position och momentum. Det är ett mått på ett föremåls rotationsrörelse och motstånd mot förändringar i dess rotation. Också, på samma sätt som rörelsemängdsbevarande motsvarar translationssymmetri, motsvarar rörelsemängdsbevarande rotationssymmetri - kopplingen mellan symmetrier och bevarandelagar görs av Noethers sats . Även om dessa begrepp ursprungligen upptäcktes i klassisk mekanik , är de också sanna och betydelsefulla i speciell och allmän relativitet. När det gäller abstrakt algebra beskrivs invariansen av vinkelmomentum, fyramomentum och andra symmetrier i rumtid av Lorentz-gruppen , eller mer allmänt Poincaré-gruppen .
Relativistisk vinkelmomentum är mindre uppenbart. Den klassiska definitionen av vinkelmomentum är korsprodukten av position x med momentum p för att erhålla en pseudovektor x × p , eller alternativt som den yttre produkten för att erhålla en andra ordningens antisymmetrisk tensor x ∧ p . Vad förenar detta med, om något? som inte ofta diskuteras – det är det tidsvarierande massmomentet polarvektorn ( inte tröghetsmomentet ) relaterat till ökningen av systemets masscentrum , och detta kombineras med den klassiska vinkelmomentpseudovektorn att bilda en antisymmetrisk tensor av andra ordningen, på exakt samma sätt som det elektriska fältets polarvektor kombineras med magnetfältets pseudovektor för att bilda den elektromagnetiska fältets antisymmetriska tensor. För roterande mass-energifördelningar (såsom gyroskop , planeter , stjärnor och svarta hål ) istället för punktliknande partiklar, uttrycks rörelsemängdstensorn i termer av spänningsenergitensorn för det roterande föremålet.
Enbart i speciell relativitetsteori, i viloramen av ett snurrande föremål, finns det ett inneboende vinkelmomentum analogt med "snurrandet" i kvantmekaniken och den relativistiska kvantmekaniken , fastän för en utsträckt kropp snarare än en punktpartikel. I relativistisk kvantmekanik har elementarpartiklar spin och detta är ett ytterligare bidrag till den orbitala rörelsemängdsoperatorn, vilket ger den totala rörelsemängdstensoroperatorn. I vilket fall som helst kan det inneboende "snurr"-tillägget till ett objekts omloppsrörelsemängd uttryckas i termer av Pauli–Lubanski-pseudovektorn .
Det 3-vinkelmoment som en bivector (plan element) och axiell vektor , av en partikel med massan m med momentan 3-position x och 3-momentum p .
Orbital 3d rörelsemängd
För referens och bakgrund ges två närbesläktade former av rörelsemängd.
Inom klassisk mekanik definieras rörelsemängdsrörelsen för en partikel med momentan tredimensionell positionsvektor x = ( x , y , z ) och rörelsemängdsvektorn p = ( p x , p y , p z ) , som den axiella vektorn
som har tre komponenter, som systematiskt ges av cykliska permutationer av kartesiska riktningar (t.ex. ändra x till y , y till z , z till x , upprepa)
eller skriva x = ( x 1 , x 2 , x 3 ) = ( x , y , z ) och momentumvektor p = ( p 1 , p 2 , p 3 ) = ( p x , p y , p z ) , komponenter kan kompakt förkortas i tensorindexnotation
där indexen i och j tar värdena 1, 2, 3. Å andra sidan kan komponenterna systematiskt visas fullständigt i en 3 × 3 antisymmetrisk matris
Denna kvantitet är additiv, och för ett isolerat system bevaras det totala vinkelmomentet för ett system.
Dynamiskt massmoment
I klassisk mekanik, den tredimensionella storheten för en partikel med massa m som rör sig med hastigheten u
har måtten massmoment – längd multiplicerad med massa . Det är lika med massan av partikeln eller systemet av partiklar multiplicerat med avståndet från rymdens ursprung till masscentrum ( COM ) vid tidpunkten (t=0), mätt i labbramen . Det finns ingen universell symbol, inte ens ett universellt namn, för denna kvantitet. Olika författare kan beteckna det med andra symboler om några (till exempel μ ), kan beteckna andra namn och kan definiera N som negativt av det som används här. Ovanstående form har fördelen att den liknar den välbekanta galileiska transformationen för position, som i sin tur är den icke-relativistiska boosttransformationen mellan tröghetsramar.
Denna vektor är också additiv: för ett system av partiklar är vektorsumman resultanten
För ett isolerat system bevaras N i tid, vilket kan ses genom att differentiera med avseende på tid. Vinkelmomentet L är en pseudovektor, men N är en "vanlig" (polär) vektor och är därför invariant under inversion.
Den resulterande N tot för ett multipartikelsystem har den fysiska visualiseringen att, oavsett den komplicerade rörelsen för alla partiklar, de rör sig på ett sådant sätt att systemets COM rör sig i en rak linje. Detta betyder inte nödvändigtvis att alla partiklar "följer" COM, inte heller att alla partiklar alla rör sig i nästan samma riktning samtidigt, bara att alla partiklars rörelse är begränsad i förhållande till massans centrum.
I speciell relativitet, om partikeln rör sig med hastigheten u i förhållande till labbramen, då
var
är Lorentz-faktorn och m är massan (dvs vilomassan) av partikeln. Motsvarande relativistiska massmoment i termer av m , u , p , E , i samma labbram är
De kartesiska komponenterna är
Särskild relativitet
Koordinera transformationer för en boost i x-riktningen
Betrakta en koordinatram F′ som rör sig med hastigheten v = ( v , 0, 0) i förhållande till en annan ram F, längs riktningen för de sammanfallande xx′ -axlarna. Ursprunget för de två koordinatramarna sammanfaller vid tidpunkterna t = t ′ = 0 . Mass-energin E = mc 2 och momentumkomponenterna p = ( p x , p y , p z ) för ett objekt, samt positionskoordinaterna x = ( x , y , z ) och tiden t i ram F omvandlas till E ′ = m ′ c 2 , p ′ = ( p x ′, p y ′, p z ′ ) , x ′ = ( x ′, y ′, z ′) och t ′ i F′ enligt Lorentz-transformationerna
Lorentz-faktorn gäller här för hastigheten v , den relativa hastigheten mellan ramarna. Detta är inte nödvändigtvis detsamma som hastigheten u för ett föremål.
För det orbitala 3-vinkelmomentet L som en pseudovektor har vi
Härledning
För x-komponenten
y-komponenten
och z-komponent
I de andra termerna av L y ′ och L z ′ kan y- och z -komponenterna för korsprodukten v × N härledas genom att känna igen cykliska permutationer av v x = v och v y = v z = 0 med komponenterna av N ,
Nu är L x parallell med den relativa hastigheten v och de andra komponenterna L y och L z är vinkelräta mot v . Den parallell-vinkelräta överensstämmelsen kan underlättas genom att dela upp hela 3-vinkelmomentum-pseudovektorn i komponenter parallella (∥) och vinkelräta (⊥) till v , i varje bildruta,
Sedan kan komponentekvationerna samlas in i pseudovektorekvationerna
Därför förändras inte komponenterna i rörelsemängdsrörelsen längs rörelseriktningen, medan komponenterna vinkelräta ändras. I motsats till omvandlingarna av rum och tid ändras tid och rumsliga koordinater längs rörelseriktningen, medan de vinkelräta inte gör det.
Dessa transformationer är sanna för alla v , inte bara för rörelse längs xx′ -axlarna.
Med tanke på L som en tensor får vi ett liknande resultat
var
Ökningen av det dynamiska massmomentet längs x -riktningen är
Härledning
För x-komponenten
y-komponenten
och z-komponent
Samlar parallella och vinkelräta komponenter som tidigare
Återigen, komponenterna parallella med den relativa rörelsens riktning förändras inte, de som är vinkelräta ändras.
Vektortransformationer för ett lyft åt alla håll
Än så länge är dessa bara de parallella och vinkelräta nedbrytningarna av vektorerna. Transformationerna på de fullständiga vektorerna kan konstrueras från dem enligt följande (här L en pseudovektor för konkretitet och kompatibilitet med vektoralgebra).
Introducera en enhetsvektor i riktningen v , given av n = v / v . De parallella komponenterna ges av vektorprojektionen av L eller N i n
medan den vinkelräta komponenten genom vektoravstötning av L eller N från n
Eftersom det i transformationen finns en korsprodukt till vänster med n ,
sedan
4d rörelsemängd som en bivector
Inom relativistisk mekanik kombineras COM-förstärkningen och 3-rymds rörelsemängd för ett roterande objekt till en fyrdimensionell bivector i termer av fyrpositionen X och fyrmomentet P för objektet
I komponenter
som är sex oberoende storheter totalt. Eftersom komponenterna i X och P är ramberoende, så är M också det . Tre komponenter
är de av det välbekanta klassiska 3-rymds vinkelmomentet, och de andra tre
är det relativistiska massmomentet, multiplicerat med − c . Tensorn är antisymmetrisk;
Tensorens komponenter kan systematiskt visas som en matris
där, för en boost (utan rotationer) med normaliserad hastighet β = v / c , Lorentz-transformationsmatriselementen är
och de kovarianta βi- . och kontravarianta βi - komponenterna av β är desamma eftersom dessa bara är parametrar
Med andra ord kan man Lorentz-transformera fyra positioner och fyra momentum separat, och sedan antisymmetrisera de nyfunna komponenterna för att erhålla vinkelmomentumtensorn i den nya ramen.
Vektortransformationer härledda från tensortransformationerna
som inte kan överstiga en storlek på c , eftersom i SR kan translationshastigheten för något massivt föremål inte överstiga ljusets hastighet c . Matematiskt är denna begränsning 0 ≤ | u | < c , de vertikala staplarna anger storleken på vektorn. Om vinkeln mellan ω och x är θ (antas vara icke-noll, annars skulle u vara noll vilket motsvarar ingen rörelse alls), då | u | = | ω | | x | sin θ och vinkelhastigheten begränsas av
Den maximala vinkelhastigheten för ett massivt föremål beror därför på föremålets storlek. För en given | x |, den lägsta övre gränsen inträffar när ω och x är vinkelräta, så att θ = π /2 och sin θ = 1 .
För en roterande stel kropp som roterar med en vinkelhastighet ω , är u tangentiell hastighet vid en punkt x inuti objektet. För varje punkt i objektet finns en maximal vinkelhastighet.
Vinkelhastigheten (pseudovektor) är relaterad till vinkelmomentet (pseudovektor) genom tröghetsmomentet tensor I
(punkten · anger tensorkontraktion på ett index). Det relativistiska vinkelmomentet begränsas också av föremålets storlek.
Snurra i speciell relativitetsteori
Fyra snurr
En partikel kan ha en "inbyggd" rörelsemängd oberoende av dess rörelse, kallad spin och betecknad s . Det är en 3d-pseudovektor som orbital vinkelmoment L .
Utvidgningen till speciell relativitetsteori är enkel. För en del labbram F, låt F′ vara resten av partikeln och anta att partikeln rör sig med konstant 3-hastighet u . Sedan förstärks F′ med samma hastighet och Lorentz-transformationerna gäller som vanligt; det är bekvämare att använda β = u / c . Som en fyrvektor i speciell relativitet, tar fyrsnurret S i allmänhet den vanliga formen av en fyrvektor med en tidsliknande komponent s t och rumsliga komponenter s , i labbramen
även om den i partikelns viloram är definierad så att den tidsliknande komponenten är noll och de rumsliga komponenterna är de för partikelns faktiska spinnvektor, i notationen här s ′, så i partikelns ram
Att likställa normer leder till den invarianta relationen
så om storleken på spinn ges i vilobilden av partikeln och labramen för en observatör, ges storleken på den tidsliknande komponenten s t också i labramen.
Vektortransformationer härledda från tensortransformationerna
De förstärkta komponenterna i de fyra snurrarna i förhållande till labbramen är
Här γ = γ ( u ) . S ′ är i partikelns vilobild, så dess tidsliknande komponent är noll, 0 S ′ = 0 , inte S 0 . Den första är också ekvivalent med den inre produkten av fyrhastigheten (delad med c ) och fyrsnurret. Att kombinera dessa fakta leder till
som är en invariant. Sedan leder detta i kombination med transformationen på den tidsliknande komponenten till den upplevda komponenten i labbramen;
De omvända förhållandena är
Den kovarianta begränsningen på spinnet är ortogonalitet mot hastighetsvektorn,
I 3-vektors notation för explicititet är transformationerna
De omvända relationerna
är komponenterna i spin labbramen, beräknade från de i partikelns vilaram. Även om partikelns spinn är konstant för en given partikel, verkar den vara annorlunda i labbramen.
Följande är en sammanfattning från MTW . Genomgående för enkelhets skull antas kartesiska koordinater. I speciell och allmän relativitetsteori beskrivs en fördelning av massa–energi–momentum, t.ex. en vätska, eller en stjärna, av spänningsenergitensorn T βγ ( ett andra ordningens tensorfält beroende på rum och tid). Eftersom T 00 är energitätheten, är T j 0 för j = 1, 2, 3 den j :te komponenten av objektets 3d rörelsemängd per volymenhet, och T ij bildar komponenter i spänningstensorn inklusive skjuvning och normalspänningar, den orbitala vinkeln momentumdensitet kring positionen 4-vektor X β ges av en 3:e ordningens tensor
Detta är antisymmetriskt i α och β . I speciell och allmän relativitetsteori T en symmetrisk tensor, men i andra sammanhang (t.ex. kvantfältteori) kanske det inte är det.
Låt Ω vara ett område av 4d rumtid. Gränsen är en 3d rymdtidshyperyta ("rymdtidsytvolym" i motsats till "spatial ytarea"), betecknad ∂Ω där "∂" betyder "gräns" . Att integrera rörelsemängdstätheten över en 3d rymdtidshyperyta ger rörelsemängdstensorn omkring X ,
där dΣ γ är volym 1-formen som spelar rollen som en enhetsvektor vinkelrät mot en 2d yta i det vanliga 3d euklidiska rymden. Integralen tar över koordinaterna X , inte X . Integralen inom en rymdliknande yta av konstant tid är
som tillsammans bildar rörelsemängdstensorn.
Vinkelmomentum kring massans centrum
Det finns ett inneboende vinkelmomentum i masscentrumramen, med andra ord, vinkelmomentet för varje händelse
på ordlinjen för föremålets massacentrum. Eftersom T 00 är objektets energitäthet, ges de rumsliga koordinaterna för masscentrum av
Inställningen Y = X COM erhåller den orbitala vinkelmomentdensiteten kring objektets masscentrum.
där ∂ γ är fyrgradienten . (I icke-kartesiska koordinater och generell relativitetsteori skulle detta ersättas av den kovarianta derivatan ). Den totala rörelsemängdsbevarandet ges av en annan kontinuitetsekvation
Vridmomentet som verkar på en punktliknande partikel definieras som derivatan av den vinkelmomenttensor som anges ovan med avseende på korrekt tid:
eller i tensorkomponenter:
där F är den 4d kraft som verkar på partikeln vid händelsen X . Som med rörelsemängd är vridmoment additivt, så för ett utsträckt objekt summerar man eller integrerar över fördelningen av massa.
Vinkelmomentum som genererar rymdtidsförstärkningar och rotationer
där β = v / c är hastigheten för den relativa rörelsen dividerad med ljusets hastighet. Rumsliga rotationer kan parametriseras av axel-vinkelrepresentationen , vinkeln θ och en enhetsvektor a som pekar i axelns riktning, som kombineras till en "axelvinkelvektor"
Varje enhetsvektor har bara två oberoende komponenter, den tredje bestäms utifrån enhetens storlek. Sammanlagt finns det sex parametrar för Lorentz-gruppen; tre för rotationer och tre för förstärkningar. Den (homogena) Lorentz-gruppen är 6-dimensionell.
Boostgeneratorerna K och rotationsgeneratorerna J kan kombineras till en generator för Lorentz-transformationer; M den antisymmetriska rörelsemängdstensorn, med komponenter
och på motsvarande sätt samlas boost- och rotationsparametrarna in i en annan antisymmetrisk fyrdimensionell matris ω , med poster:
och summeringskonventionen har tillämpats på de upprepade matrisindexen a och β .
0 Den allmänna Lorentz-transformationen Λ är transformationslagen för alla fyra vektorer A = ( A , A 1 , A 2 , A 3 ), vilket ger komponenterna i samma 4-vektor i en annan tröghetsreferensram
Vinkelmomenttensorn bildar 6 av de 10 generatorerna i Poincaré-gruppen , de andra fyra är komponenterna i fyramomentet för rumtidsöversättningar.
Vinkelmomentum i allmän relativitetsteori
Vinkelmomentet för testpartiklar i en mjukt krökt bakgrund är mer komplicerat i GR men kan generaliseras på ett enkelt sätt. Om Lagrangian uttrycks med avseende på vinkelvariabler som de generaliserade koordinaterna , då är vinkelmomentet de funktionella derivatorna av Lagrangianen med avseende på vinkelhastigheterna . Med hänvisning till kartesiska koordinater, ges dessa vanligtvis av de off-diagonala skjuvtermerna för den rymdliknande delen av spännings-energitensorn . Om rumtiden stöder ett dödande vektorfält som tangerar en cirkel, så bevaras rörelsemängden kring axeln.
Man vill också studera effekten av en kompakt, roterande massa på dess omgivande rumtid. Prototyplösningen är av Kerr-metriken , som beskriver rumtiden runt ett axiellt symmetriskt svart hål . Det är uppenbarligen omöjligt att rita en punkt på händelsehorisonten för ett Kerr-svart hål och se det cirkla runt. Lösningen stöder dock en konstant i systemet som agerar matematiskt på samma sätt som en rörelsemängd.