A derivation of the Einstein Lagrangian density from the conservation of a well-defined global energy-momentum tensor

Dit artikel presenteert een nieuwe afleiding van de Einstein-lagrangedichtheid door te tonen dat de eis van behoud van de totale energie-impulstensor in een Minkowski-achtergrond alleen wordt vervuld als de veldlagrangedichtheid evenredig is met de Einstein-lagrangedichtheid.

De kern

Stel je voor dat het heelal een enorm, onzichtbaar tapijt is. In de natuurkunde noemen we dit de "ruimte-tijd". Albert Einstein heeft ons jaren geleden geleerd dat zware objecten, zoals sterren of planeten, dit tapijt doen vervormen, net zoals een bowlingbal een trampoline doet verzakken. Die vervorming is wat we "zwaartekracht" noemen.

Maar hoe hebben we dit eigenlijk ontdekt? Meestal zeggen wetenschappers: "Kijk, als we wiskundige regels volgen die met geometrie te maken hebben, dan komen we bij Einsteins theorie uit."

Deze nieuwe paper van Satoshi Nakajima en Antonio López-Pinto probeert het echter andersom te doen. Ze zeggen: "Laten we niet kijken naar de geometrie, maar naar energie."

Hier is de uitleg in simpele taal, met een paar creatieve vergelijkingen:

1. De Grote Regel: Energie mag niet verdwijnen

Stel je voor dat je een bankrekening hebt. Je kunt geld overmaken, maar het totaalbedrag op je rekening plus de portemonnee in je hand mag nooit zomaar verdwijnen of uit het niets ontstaan. Dat noemen we behoud van energie.

In de fysica geldt dit ook voor "impuls" (beweging). Als je een bal gooit, moet de totale beweging van het systeem behouden blijven. De auteurs van dit paper stellen een heel simpele vraag: "Als we eisen dat de totale energie en beweging in het universum altijd behouden blijven, wat moet er dan gebeuren met de regels van de zwaartekracht?"

2. Het Probleem met de "Grijze" Energie

In de wereld van deeltjes en velden (zoals licht of zwaartekracht) is het lastig om precies te zeggen waar de energie zit.

• De Canonele Energie: Dit is de eerste schatting van de energie. Maar deze is vaak "scheef". Het is alsof je probeert een vierkante steen in een ronde doos te stoppen; het past niet goed en de hoeken steken eruit. In de natuurkunde betekent dit dat de energie niet symmetrisch is, wat problemen geeft met het draaien van objecten (impuls).
• De Belinfante-oplossing: De auteurs gebruiken een slimme truc (de "Belinfante-tensor"). Stel je voor dat je die vierkante steen schuurt en polijst tot hij perfect rond is. Dan past hij wel in de doos. Dit is de gesymmetriseerde Belinfante-tensor. Het is de enige manier om de energie van een veld zo te beschrijven dat het logisch blijft, zelfs als het veld met andere dingen (zoals materie) in wisselwerking staat.

3. De Experimentele Opstelling

De auteurs doen alsof ze in een leeg universum zitten (een vlakke achtergrond, zoals een leeg zwembad) en ze gooien een nieuw soort "veld" in het water. Dit veld is een symmetrische golf (noem het $h$). Ze vragen zich af: "Welke vorm moet het 'recept' (de Lagrangiaan) van deze golf hebben, zodat de totale energie van het zwembad + de golf + de deeltjes die erin zwemmen, altijd behouden blijft?"

Ze proberen verschillende recepten uit:

• Recept A: Misschien is de golf een beetje anders?
• Recept B: Misschien zijn de regels voor de golf anders?

4. Het Grote Resultaat: Er is maar één oplossing

Wat ze ontdekken, is verrassend en mooi: Er is maar één enkel recept dat werkt.

Als je eist dat de energie altijd behouden blijft (niet verdwijnt, niet uit het niets komt), dan dwingt de wiskunde je om precies dat ene recept te kiezen dat Einstein al heeft bedacht.

• Als je een ander recept kiest, "lekt" de energie. De natuurkunde zou dan niet meer kloppen; energie zou verdwijnen of ontstaan uit het niets, wat onmogelijk is.
• Het enige recept dat de energie "dicht" houdt, is de Einstein-Lagrangiaan. Dit is de wiskundige formule die beschrijft hoe de ruimte-tijd kromt.

5. Waarom is dit speciaal? (De Vergelijking met Licht)

Om te laten zien hoe uniek dit is, kijken ze ook naar licht (elektrische velden).

• Bij licht (elektrische velden) kun je veel verschillende recepten kiezen en blijft de energie toch behouden. Het is alsof je bij een auto kunt kiezen tussen een V6- of een V8-motor; beide werken en verbruiken brandstof op een logische manier.
• Bij zwaartekracht (het symmetrische veld) is het anders. Het is alsof je probeert een auto te bouwen die op water rijdt. Er is maar één specifieke motorconstructie die überhaupt werkt. Als je ook maar één schroefje anders zet, stopt de auto en verdwijnt de energie.

Conclusie

De boodschap van dit paper is als volgt:
Je hoeft niet te zeggen "Het universum is een geometrisch tapijt" om Einsteins theorie te krijgen. Je kunt ook zeggen: "Het universum is een plek waar energie nooit verdwijnt." Als je die ene simpele regel strikt toepast op een veld dat zwaartekracht beschrijft, moet je per ongeluk Einsteins theorie uitvinden.

Het is alsof je probeert een puzzel te maken waarbij je alleen de randstukken (de behoudswet van energie) mag gebruiken, en plotseling blijkt dat er maar één manier is om de rest van de puzzel in te vullen, en dat die manier precies het plaatje van Einstein is.

Kortom: De wet van behoud van energie is zo streng en machtig, dat het de vorm van de zwaartekracht zelf dicteert. Er is geen andere keuze.

Technische samenvatting

Titel: Afleiding van de Einstein-Lagrangedichtheid uit behoud van een goed gedefinieerde globale energie-impulstensor

1. Het Probleem

De algemene relativiteitstheorie (ART) heeft zijn oorsprong in geometrische rechtvaardigingen. Sinds de tweede helft van de 20e eeuw hebben diverse auteurs echter geprobeerd Einstein's theorie af te leiden vanuit een veldtheoretisch perspectief, uitgaande van een lineair spin-2 veld $h_{\mu\nu}$ in een Minkowski-ruimtetijd.

De bestaande aanpak, geïnitieerd door Feynman, baseert zich op het behoud van totale energie en impuls. Echter, deze methode gebruikt geen specifiek en goed gedefinieerde energie-impulstensor. In plaats daarvan bouwt ze iteratief hogere-orde termen toe aan de Fierz-Pauli-Lagrangedichtheid en dwingt ze consistentie af door een specifieke voorwaarde op te leggen die voortkomt uit de gelijktijdige toepassing van bewegings- en veldvergelijkingen.

Het centrale vraagstuk in dit artikel is of het behoud van de totale energie-impulstensor (waarbij de bijdrage van het veld wordt gegeven door de gesymmetriseerde Belinfante-tensor) voldoende is om de vorm van de Lagrangedichtheid voor een symmetrisch rang-2 tensorveld uniek te bepalen, zonder voorafgaande aannames over de geometrische structuur van de ruimtetijd.

2. Methodologie

De auteurs hanteren een benadering die gebaseerd is op veldtheorie in een achtergrond van Minkowski-ruimtetijd met Poincaré-invariantie. De methodologie omvat de volgende stappen:

• Definitie van de Energie-Impulstensor: In plaats van de canonieke tensor te gebruiken (die vaak niet symmetrisch is), definiëren de auteurs de gesymmetriseerde Belinfante-energie-impulstensor ($U^{\mu\nu}$). Deze tensor wordt afgeleid via Noether's theorema en is gerelateerd aan de Poincaré-invariantie van de actie.

  • Ze tonen aan dat de canonieke tensor $\Theta^{\mu}_{\nu}$ voldoet aan behoudswetten voor vrije velden, maar faalt in symmetrie ($\Theta^{\mu\nu} \neq \Theta^{\nu\mu}$).
  • Door een divergentievrije term toe te voegen (de Belinfante-correctie), verkrijgen ze een tensor $T^{\mu\nu}$ die symmetrisch is in het vrije geval.
  • Ze definiëren vervolgens $U^{\mu\nu}$ zodanig dat deze ook symmetrisch blijft in het interactiegeval, wat essentieel is voor de correcte generatie van impulsmoment.

• Opzet van het Systeem: Ze beschouwen een systeem bestaande uit:

  1. Een puntdeeltje met massa $m$.
  2. Een symmetrisch veld $h_{\mu\nu}$ dat de gravitatie interactie beschrijft.
  3. Een interactieterm $S_I$ die lineair is in $h_{\mu\nu}$ en de energie-impulstensor van de materie $\tau^{\mu\nu}$.
     De totale actie is $S = S_P + S_I + \int L(h) d^4x$.

• De Behoudsvoorwaarde: De kern van de afleiding is het opleggen van de voorwaarde dat de totale energie-impulstensor behouden is:
  $$\partial_\mu (U^{\mu\nu}(L(h)) + \tau^{\mu\nu}) = 0$$
  Hierbij is $U^{\mu\nu}$ de Belinfante-tensor die voortkomt uit de onbekende Lagrangedichtheid $L(h)$.

• Afleiding van de Consistentievoorwaarde: Door de veldvergelijkingen en de uitdrukking voor de divergentie van de Belinfante-tensor te combineren, leiden de auteurs een differentiaalvergelijking af die de Lagrangedichtheid moet voldoen. Dit leidt tot de voorwaarde:
  $$g_{\beta\nu} \partial_\mu \left( \frac{\delta L}{\delta h_{\mu\nu}} \right) + [\mu\nu, \beta] \frac{\delta L}{\delta h_{\mu\nu}} = 0$$
  Waarbij $g_{\mu\nu} = \eta_{\mu\nu} + 2\lambda h_{\mu\nu}$ en $[\mu\nu, \beta]$ een term is die afhangt van de afgeleiden van $h$.

3. Belangrijkste Bijdragen en Resultaten

• Herleiden van Feynman's Voorwaarde: De auteurs tonen aan dat het opleggen van het behoud van de totale energie-impulstensor (met de Belinfante-tensor) exact leidt tot dezelfde consistentievoorwaarde (vergelijking 1.1 in het artikel) die Feynman eerder had afgeleid via een iteratieve procedure. Dit bevestigt dat beide methoden fundamenteel equivalent zijn, maar de huidige aanpak is meer direct gebaseerd op een fysiek goed gedefinieerde grootheid (de tensor).

• Uniciteit van de Einstein-Lagrangedichtheid: Het meest cruciale resultaat is het bewijs dat de Einstein-Lagrangedichtheid de enige oplossing is die voldoet aan deze behoudsvoorwaarde.

  • Ze analyseren de vergelijking als een machtreeksontwikkeling in $h_{\mu\nu}$.
  • De tweede-orde term wordt de Fierz-Pauli-Lagrangedichtheid.
  • Voor hogere orde termen ($j \geq 3$) tonen ze aan dat elke afwijking van de Einstein-Lagrangedichtheid ($\Delta^{(j)}$) moet voldoen aan $\partial_\mu [\Delta^{(j)}]^{\mu\nu} = 0$.
  • Via een gauge-invariantie-argument (Appendix D) bewijzen ze dat de enige oplossing voor deze vergelijking de triviale oplossing is ($\Delta^{(j)} = 0$).
  • Conclusie: De enige Lagrangedichtheid die consistent is met het behoud van de totale energie-impulstensor is die welke leidt tot de Einstein-vergelijkingen (of equivalent, de Ricci-schaal $R$).

• Contrast met Vectorvelden: In Appendix B tonen ze aan dat deze methode niet werkt voor een vectorveld $A_\mu$ (elektromagnetisme). Voor een vectorveld wordt de behoudsvoorwaarde identiek voldaan voor elke Lagrangedichtheid, zolang de ladingsbehoudswet geldt. Dit benadrukt dat de unieke bepaling van de gravitatie-Lagrangedichtheid specifiek voortkomt uit de tensoriële aard van het veld en de koppeling aan de energie-impulstensor van materie.

4. Betekenis en Conclusie

De studie biedt een fundamenteel nieuw inzicht in de oorsprong van de algemene relativiteitstheorie:

1. Fysieke Basis: Het toont aan dat de geometrische structuur van de ruimtetijd (de Einstein-tensor) niet noodzakelijk een postulaat is, maar een noodzakelijke consequentie is van het behoud van energie en impuls in een relativistische veldtheorie met een spin-2 veld.
2. Rol van de Belinfante-tensor: Het artikel onderstreept het belang van het gebruik van de gesymmetriseerde Belinfante-tensor als de "ware" representant van energie en impuls in interactiesystemen, in tegenstelling tot de canonieke tensor.
3. Uniciteit: Het bewijst dat er geen alternatieve theorieën zijn voor een massaloos spin-2 veld die consistent zijn met globale energie-impulsbehoud, tenzij ze equivalent zijn aan de algemene relativiteitstheorie.

Samenvattend: Door strikt vast te houden aan het behoud van een goed gedefinieerde globale energie-impulstensor, dwingt men de natuurwetten zo dat de enige mogelijke interactie voor een symmetrisch tensorveld de Einstein-gravitatie is.