Perfect fluids revisited: an action principle approach

Sintesi Tecnica: Fluidi perfetti rivisitati: un approccio basato sul principio di azione

Problema
Il principio variazionale per i fluidi perfetti relativistici è stato storicamente formulato o attraverso un approccio lagrangiano (traiettoria delle particelle), che oscura la covarianza, o attraverso un approccio euleriano covariante (ad esempio, Schutz), che spesso tratta la corrente delle particelle come la variabile fondamentale. Quest'ultimo approccio diventa degenero quando il flusso del fluido è nullo, poiché la densità delle particelle non può essere recuperata dalla norma di una corrente nulla. Inoltre, le formulazioni standard spesso oscurano i dati di contorno specifici richiesti per un principio di azione ben posto. Questo articolo affronta la necessità di una formulazione manifestamente covariante basata sulle forme differenziali che tratti i flussi temporali e nulli in modo uniforme, gestisca esplicitamente i termini di contorno e chiarisca i vincoli dinamici imposti sui fluidi nulli.

Metodologia
L'autore utilizza una formulazione geometrica mediante forme differenziali su una varietà lorentziana a quattro dimensioni $(M, g)$ con firma $(-,+,+,+)$.

1. Variabili Indipendenti: A differenza dei trattamenti standard che derivano la velocità e la densità da una corrente di particelle, questo lavoro tratta la velocità del fluido $u$, la densità numerica delle particelle $n$ e la densità di entropia $s$ come variabili scalari indipendenti soggette a vincoli.
2. Coordinate Lagrangiane: Il flusso del fluido è descritto utilizzando etichette lagrangiane $a_i$ (costanti lungo le linee di flusso) e un parametro $\tau$ (che soddisfa $\mathcal{L}_u \tau = 1$). Il Teorema 1 stabilisce l'esistenza locale di queste coordinate per campi vettoriali causali.
3. Principio di Azione: L'azione è costruita utilizzando forme differenziali per imporre i vincoli tramite moltiplicatori di Lagrange. La densità di Lagrangiana totale è:
   $$\mathcal{L} = -[\star(\rho + A) + C \wedge \star u^\flat]$$
   dove $A$ impone la condizione di normalizzazione $g(u,u)=c$ (con $c=-1$ per flussi temporali e $c=0$ per flussi nulli), e $C = n d\Phi + s d\Theta + b_i da_i$ impone le leggi di conservazione e la costanza delle etichette lagrangiane. $\Phi, \Theta$ sono potenziali di velocità, e $b_i$ sono moltiplicatori per le etichette.
4. Analisi Variazionale: L'azione viene variata rispetto a tutti i campi non metrici ($u, n, s, a_i, \Phi, \Theta, b_i$) e alla co-cornice $e^\alpha$. L'analisi traccia esplicitamente i termini di contorno per determinare i dati di Dirichlet necessari (fissando potenziali e etichette sul contorno).
5. Derivazione dello Stress-Energia: Il tensore stress-energia è derivato variando la co-cornice piuttosto che la metrica direttamente, permettendo alla formalizzazione di applicarsi a teorie della gravità del primo ordine e non metriche (ad esempio, Einstein-Palatini).

Contributi Chiave e Risultati

• Ben Posto e Dati di Contorno: La formulazione dimostra che il problema variazionale corrisponde a un problema di Dirichlet dove i potenziali di velocità ($\Phi, \Theta$) e le etichette lagrangiane ($a_i$) sono fissati sul contorno. Ciò chiarisce le condizioni al contorno richieste per un principio di azione coerente.
• Simmetrie e Leggi di Conservazione: L'azione possiede simmetrie interne corrispondenti al ridenominazione dei potenziali interni e delle etichette lagrangiane. Queste simmetrie generano correnti di Noether della forma $J_X = F \star u^\flat$, dove $F$ è una funzione generatrice della ridefinizione.
• Flussi Temporali: Per $c=-1$, le equazioni del moto riproducono il principio di azione di Schutz. Il sistema produce la conservazione del numero di particelle e dell'entropia, la decomposizione di Clebsch della velocità e il classico tensore stress-energia del fluido perfetto $T_{\alpha\beta} = P g_{\alpha\beta} + (\rho+P)u_\alpha u_\beta$.
• Flussi Nulli: Per $c=0$, l'estensione del principio variazionale rivela una significativa restrizione dinamica. Le equazioni del moto forzano la densità di entalpia a annullarsi:
  $$\rho + P = 0$$
  Di conseguenza, il tensore stress-energia si decompone in un termine simile a un'energia del vuoto con pressione variabile e un contributo di polvere nulla:
  $$T_{\alpha\beta} = P g_{\alpha\beta} - f u_\alpha u_\beta$$
  La pressione è costante lungo il flusso ($\mathcal{L}_u P = 0$), e il gradiente di pressione misura l'ostruzione al fatto che il flusso sia pre-geodetico. Se $dP=0$, il modello si riduce al principio di azione per la polvere nulla (Bicak e Kuchar).
• Accoppiamento con Gravità Generalizzata: Poiché l'azione della materia è formulata indipendentemente dalle equazioni di campo gravitazionale (tramite la variazione della co-cornice), la costruzione è applicabile a teorie della gravità non metriche e del primo ordine, non solo alla Relatività Generale.

Significato
Il lavoro sostiene che l'ostruzione all'estensione ingenua delle azioni dei fluidi perfetti ai flussi nulli sia dinamica piuttosto che cinematica. Mentre gli approcci precedenti fallivano a causa della degenerazione cinematica nella definizione della velocità da una corrente nulla, questa formulazione mostra che anche con variabili indipendenti, il principio di azione forza dinamicamente l'entalpia a zero per i flussi nulli.

La significatività di questo lavoro risiede in:

1. Chiarezza Geometrica: Fornire una riformulazione del principio di Schutz, manifestamente covariante e basata sulle forme differenziali, che gestisce esplicitamente i termini di contorno.
2. Quadro Unificato: Permettere a un singolo ansatz variazionale di coprire sia i flussi temporali che quelli nulli senza che la definizione di velocità degeneri.
3. Intuizione Fisica: Identificare che un "fluido perfetto nullo" non è un fluido generico, ma un sistema altamente ristretto con entalpia nulla, che interpola tra una sorgente di costante cosmologica e la polvere nulla.
4. Ampia Applicabilità: Stabilire un'azione di materia adatta all'accoppiamento con una vasta gamma di teorie della gravità, incluse quelle con torsione e non-metricità.