Perfect fluids revisited: an action principle approach

Technische Samenvatting: Perfecte vloeistoffen herzien: een benadering vanuit het actieprincipe

Probleemstelling
Het variationele principe voor relativistische perfecte vloeistoffen is historisch gezien ofwel geformuleerd via een Lagrangiaanse benadering (wereldlijnen van deeltjes), die covariantie vertroebelt, of via een covariante Eulerische benadering (bijv. Schutz), die vaak de deeltjesstroom als de fundamentele variabele behandelt. Dit laatste type benadering wordt degeneratief wanneer de vloeistofstroom nul is (null flow), aangezien de deeltjesdichtheid niet kan worden teruggevonden uit de norm van een nul-stroom. Bovendien verhullen standaardformuleringen vaak de specifieke randgegevens die vereist zijn voor een goed ingesteld (well-posed) actieprincipe. Dit artikel adresseert de noodzaak voor een manifest covariante formulering gebaseerd op differentiaalvormen, die zowel tijdachtige als nul-stromen uniform behandelt, expliciet randtermen afhandelt en de dynamische beperkingen oplegt aan nul-vloeistoffen.

Methodologie
De auteur maakt gebruik van een geometrische formulering met behulp van differentiaalvormen op een vierdimensionale Lorentziaanse variëteit $(M, g)$ met signatuur $(-,+,+,+)$.

1. Onafhankelijke Variabelen: In tegenstelling tot standaardbehandelingen die snelheid en dichtheid afleiden uit een deeltjesstroom, behandelt dit werk de vloeistofsnelheid $u$, de deeltjesgetalsdichtheid $n$ en de entropiedichtheid $s$ als onafhankelijke scalaire variabelen onderworpen aan beperkingen.
2. Lagrangiaanse Coördinaten: De vloeistofstroom wordt beschreven met behulp van Lagrangiaanse labels $a_i$ (constant langs de stroomlijnen) en een parameter $\tau$ (die voldoet aan $\mathcal{L}_u \tau = 1$). Stelling 1 vestigt de lokale existentie van deze coördinaten voor causale vectorenvelden.
3. Actieprincipe: De actie wordt geconstrueerd met behulp van differentiaalvormen om beperkingen af te dwingen via Lagrange-multiplicatoren. De totale Lagrangiaanse dichtheid is:
   $$\mathcal{L} = -[\star(\rho + A) + C \wedge \star u^\flat]$$
   waarbij $A$ de normalisatievoorwaarde $g(u,u)=c$ afdwingt (met $c=-1$ voor tijdachtig en $c=0$ voor nul) en $C = n d\Phi + s d\Theta + b_i da_i$ de behoudswetten en de constantheid van de Lagrangiaanse labels afdwingt. Hierbij zijn $\Phi, \Theta$ de snelheidspotentialen en $b_i$ de multiplicatoren voor de labels.
4. Variationele Analyse: De actie wordt gevarieerd met betrekking tot alle niet-metrische velden ($u, n, s, a_i, \Phi, \Theta, b_i$) en de co-frame $e^\alpha$. De analyse volgt expliciet de randtermen om de noodzakelijke Dirichlet-data te bepalen (het vastleggen van potentialen en labels op de rand).
5. Afleiding Stress-Energie-tensor: De stress-energie-tensor wordt afgeleid door de co-frame te variëren in plaats van de metriek direct, waardoor het formalisme toepasbaar is op eerste-orde en niet-metrische zwaartekrachttheorieën (bijv. Einstein-Palatini).

Belangrijkste Bijdragen en Resultaten

• Goed Gesteldheid en Randgegevens: De formulering toont aan dat het variationele probleem overeenkomt met een Dirichlet-probleem waarbij de snelheidspotentialen ($\Phi, \Theta$) en de Lagrangiaanse labels ($a_i$) op de rand worden vastgelegd. Dit verheldert de randvoorwaarden die vereist zijn voor een consistent actieprincipe.
• Symmetrieën en Behoudswetten: De actie bezit interne symmetrieën die overeenkomen met het heretiketteren (relabeling) van interne potentialen en Lagrangiaanse labels. Deze symmetrieën genereren behouden Noether-stromen van de vorm $J_X = F \star u^\flat$, waarbij $F$ een genererende functie is van de herdefiniëring.
• Tijdachtige Stromen: Voor $c=-1$ reproduceren de bewegingsvergelijkingen het standaard Schutz-actieprincipe. Het systeem levert de behoud van deeltjesgetal en entropie op, de Clebsch-decompositie van de snelheid, en de standaard perfecte vloeistof stress-energie-tensor $T_{\alpha\beta} = P g_{\alpha\beta} + (\rho+P)u_\alpha u_\beta$.
• Nul-stromen: Voor $c=0$ onthult de uitbreiding van het variationele principe een significante dynamische restrictie. De bewegingsvergelijkingen dwingen de enthalpie-dichtheid tot nul:
  $$\rho + P = 0$$
  Bijgevolg decomponeert de stress-energie-tensor in een vacuümenergie-achtige term met variabele druk en een nul-stof (null dust) bijdrage:
  $$T_{\alpha\beta} = P g_{\alpha\beta} - f u_\alpha u_\beta$$
  De druk is constant langs de stroom ($\mathcal{L}_u P = 0$), en de gradiënt van de druk is een maat voor de obstructie voor de stroom om pre-geodetisch te zijn. Indien $dP=0$, reduceert het model tot het actieprincipe voor nul-stof (Bicak en Kuchar).
• Gegeneraliseerde Zwaartekrachtkoppeling: Omdat de materie-actie onafhankelijk van de gravitationele veldvergelijkingen is geformuleerd (via variatie van de co-frame), is de constructie toepasbaar op niet-metrische en eerste-orde zwaartekrachttheorieën, niet alleen op de Algemene Relativiteitstheorie.

Betekenis
Het artikel beweert dat de obstructie om naïef actieprincipes voor perfecte vloeistoffen uit te breiden naar nul-stromen dynamisch dan wel kinematisch is. Terwijl eerdere benaderingen faalden door de kinematische degeneratie bij het definiëren van snelheid vanuit een nul-stroom, laat deze formulering zien dat zelfs met onafhankelijke variabelen het actieprincipe zelf dynamisch de enthalpie naar nul dwingt voor nul-stromen.

De betekenis van dit werk ligt in:

1. Geometrische Helderheid: Het bieden van een manifest covariante, op differentiaalvormen gebaseerde herformulering van het Schutz-principe die de randtermen expliciet afhandelt.
2. Verenigd Kader: Het mogelijk maken van een enkele variationele ansatz die zowel tijdachtige als nul-stromen dekt zonder dat de definitie van snelheid degradeert.
3. Fysisch Inzicht: Het identificeren dat een "nul-perfecte vloeistof" geen generieke vloeistof is, maar een zeer beperkt systeem met een verdwenen enthalpie, dat interporeert tussen een kosmologische constante-bron en nul-stof.
4. Brede Toepasbaarheid: Het vaststellen van een materie-actie die geschikt is voor koppeling aan een brede klasse van zwaartekrachttheorieën, inclusen die met torsie en niet-metriciteit.