Lorentzinvariantie
Speciale relativiteitstheorie | |
---|---|
(de massa-energierelatie) | |
Achtergrond | |
Fundamentele begrippen | |
Gevorderde onderwerpen | |
Experimenten | |
In de relativiteitstheorie is lorentzinvariantie het verschijnsel dat een bepaalde eigenschap niet afhangt van het inertiaalstelsel waarin men werkt. Dit betekent dat wanneer men een lorentztransformatie uitvoert om naar een ander inertiaalstelsel over te gaan, de uitdrukking in kwestie niet essentieel verandert. Onder lorentztransformaties rekent men in deze context alle symmetrieën van de ruimtetijd die de oorsprong invariant laten: lorentzboosts (overgang op een ander inertiaalstelsel) en rotaties van de ruimte. De postulaten van de speciale relativiteitstheorie komen neer op de eis van lorentzinvariantie van de natuurwetten.
Lorentzcovariantie van een grootheid
[bewerken | brontekst bewerken]Een begrip zeer nauw verwant met de invariantie is lorentzcovariantie of de manier waarop een grootheid transformeert onder de lorentztransformaties. Hierin onderscheidt men lorentzscalairen, viervectoren, spinoren en meer algemeen tensoren.
Scalaire grootheden
[bewerken | brontekst bewerken]Lorentzscalairen zijn scalaire grootheden die niet veranderen onder invloed van lorentztransformaties. Een voorbeeld hiervan is de minkowskitensor toegepast op het verschil van twee ruimtetijdposities en zichzelf:
Deze tensor is niet alleen nul bij gelijke ruimtetijdposities, maar ook als ze lichtachtig gescheiden zijn. In de overige gevallen is het product van het kwadraat van de lichtsnelheid en de eigentijd, of het tegengestelde van het kwadraat van de eigenafstand. Men noemt wel het ruimtetijdinterval tussen de ruimtetijdposities.
Een ander voorbeeld van een scalaire grootheid die niet verandert onder invloed van lorentztransformaties is de rustmassa van een deeltje.
Lorentztransformatie
[bewerken | brontekst bewerken]![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/ee/1rightarrow_blue.svg/15px-1rightarrow_blue.svg.png)
De lorentztransformatie met snelheid in de -richting is gegeven door:
De transformatie wordt vaak genoteerd als
met
de zogeheten lorentzfactor, waarin
- .
Daarbij geven en positie en tijd aan in een stelsel en en in een stelsel dat met constante snelheid langs de -as beweegt ten opzichte van . Als twee gebeurtenissen en gescheiden zijn door een afstand , vindt men voor de afstand in :
Daaruit blijkt dat de afstand een voorbeeld is van een invariante grootheid.
Viervectoren
[bewerken | brontekst bewerken]![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/ee/1rightarrow_blue.svg/15px-1rightarrow_blue.svg.png)
Een viervector is elke grootheid die zich gedraagt als de positievector zelf. Deze positievector wordt kort als genoteerd. Andere viervectoren zijn de viersnelheid: de afgeleide van de positie-viervector naar de eigentijd:
en de vierimpuls: de viersnelheid vermenigvuldigd met de rustmassa:
Spinoren
[bewerken | brontekst bewerken]Spinoren zijn grootheden die worden gebruikt om fermionen te beschrijven. De golffunctie van een elektron is bijvoorbeeld een spinor.
Tensoren
[bewerken | brontekst bewerken]Als we de transformatie van viervectoren noteren (in einsteinnotatie) als:
met een zekere matrix, dan wordt een algemene tensor (met een zeker aantal indices) gedefinieerd als een grootheid die onder lorentztransformaties transformeert als
Hierin is de inverse matrix van Viervectoren zijn speciale gevallen van tensoren met slechts één index (zij zijn dus tensoren van de orde 1), en scalairen zijn tensoren zonder indices (tensoren van de orde 0). Als tensoren van de orde 2 is er bijvoorbeeld de minkowskitensor:
Een ander voorbeeld is de elektromagnetische tensor
Een voorbeeld van een tensor van rang 4 is de riemanntensor die de kromming van de ruimtetijd beschrijft.
De positie van de indices (boven- of onderaan) duidt aan of de grootheid covariant of contravariant transformeert.
Contracties
[bewerken | brontekst bewerken]De contractie van twee tensoren is weer een tensor. Een contractie bestaat eruit dat een covariante en een contravariante index gelijk worden gesteld, waarna erover wordt gesommeerd. Dit gebeurt met de Minkowskitensor als men een covariante index contravariant wil maken of omgekeerd:
Hier wordt in het rechterlid de index gecontraheerd. Op deze manier associeert men een scalair met elke viervector:
waarin een scalair is.
Lorentzcovariantie van een gelijkheid
[bewerken | brontekst bewerken]De natuurwetten horen lorentzinvariant te zijn. Dit betekent dat, als we de natuurwetten neerschrijven in één referentiestelsel, ze dezelfde moeten blijven na lorentztransformatie naar een ander referentiestelsel. Om dit te bereiken, horen beide leden van elke gelijkheid hetzelfde transformatiegedrag te hebben.
De wet van behoud van lading kan covariant geschreven worden. Ten eerste hebben we de viervector van de ladingsstroomdichtheid met de ladingsdichtheid en de stroomvector. Ten tweede is ook de afgeleide naar de positie een viervector:
De wet van behoud van lading kan dan worden geschreven als
waarin nu beide leden scalairen zijn.
Een ander voorbeeld zijn de Maxwellvergelijkingen, die de vorm hebben:
In beide leden staat een viervector.
Lorentz-schending
[bewerken | brontekst bewerken]Schending van de lorentz-invariantie refereert aan theorieën die bij benadering relativistisch zijn als het gaat om daadwerkelijke experimenten (er zijn een heel aantal van dergelijke experimentele tests uitgevoerd), maar toch kleine of verborgen lorentz-schendende correcties bevatten. Er zijn hiervoor verschillende scenario's:
- De natuurwetten zijn op een fundamenteel niveau wel lorentzinvariant, maar deze symmetrie is spontaan gebroken. Dit zou er onder andere toe leiden dat het graviton niet massaloos meer is en dat gravitatie zich trager dan het licht voortplant.
- De natuurwetten zijn invariant onder een variant van de lorentz-groep. Deze variant moet zich tot de gewone lorentz-groep herleiden voor lage energieën.
Tot op heden zijn nog geen schendingen van de lorentz-symmetrie waargenomen, zodat deze modellen slechts speculatief zijn.