Perfect fluids revisited: an action principle approach

Este artículo revisita el principio variacional para fluidos perfectos relativistas utilizando un formalismo de formas diferenciales manifiestamente covariante para aclarar las condiciones de contorno para flujos de tipo tiempo y demuestra que la extensión de este principio a flujos nulos fuerza dinámicamente a que la densidad de entalpía se anule, resultando en un tensor de energía-impulso compuesto por energía de vacío variable y polvo nulo.

Lo esencial

Imagina que estás intentando escribir un libro de reglas sobre cómo se mueve un fluido (como el agua o el aire) a través del universo. En física, solemos hacer esto usando algo llamado "principio de acción". Piensa en el principio de acción como una receta maestra: si sigues los pasos correctamente, el universo "elige" naturalmente el camino que requiere el menor esfuerzo, tal como un río encuentra el camino más fácil para bajar de una montaña.

Durante mucho tiempo, los físicos tuvieron una gran receta para fluidos que se mueven más lento que la luz (flujos temporales o timelike). Sin embargo, tuvieron dificultades para escribir una receta para fluidos que se mueven a la velocidad de la luz (flujos nulos o null), como un rayo de luz o una corriente de partículas sin masa. Las viejas recetas fallaban, como intentar medir la velocidad de una sombra.

En este artículo, el autor, Kostas Tzanavaris, reescribe la receta utilizando un nuevo lenguaje geomético (formas diferenciales) que funciona tanto para fluidos lentos como rápidos. Aquí está el desglose de lo que encontró:

1. Las nuevas herramientas de cocina: Mantener los ingredientes separados

En muchas recetas antiguas, el chef mezclaba la "velocidad" del fluido con la "cantidad" de fluido. Si el fluido dejaba de moverse o se movía a la velocidad de la luz, las matemáticas se volvían complicas porque no podías separar la velocidad de la cantidad.

Tzanavaris decidió mantener los ingredientes separados sobre la encimera. Trata la velocidad, el número de partículas y la entropía (una medida del desorden o el calor) como tres variables distintas e independientes.

• La analogía: Imagina que estás horneando un pastel. Las recetas antiguas decían: "La cantidad de harina depende de qué tan rápido bates". Si dejas de batir, las matemáticas fallan. Tzanavaris dice: "Vamos a medir la harina, los huevos y la velocidad del batido por separado". De esta manera, incluso si la velocidad del batido es cero o infinita (velocidad de la luz), la receta sigue teniendo sentido.

2. Las reglas de los bordes: El problema "Dirichlet"

Cuando resuelves un rompecabezas, necesitas saber cómo son los bordes. En física, esto se llama "datos de contorno" (boundary data).

• La analogía: Imagina que intentas predecir el clima. No puedes simplemente adivinar; necesitas saber la temperatura y la velocidad del viento en los bordes de tu mapa.
• Tzanavaris muestra que su nueva receta establece naturalmente las reglas para estos bordes. Nos dice exactamente qué debe fijarse en el borde del fluido para que las matemáticas funcionen perfectamente. Es como si la receta dijera explícitamente: "Debes sujetar los bordes de la tela antes de empezar a coser".

3. La gran sorpresa: El fluido a la "velocidad de la luz" es especial

La parte más emocionante del artículo es lo que sucede cuando aplican esta receta a fluidos que se mueven a la velocidad de la luz (flujos nulos).

El autor esperaba que un "fluido a la velocidad de la luz" fuera simplemente un fluido normal moviéndose muy rápido. En cambio, las matemáticas forzaron una regla muy específica y extraña: la energía y la presión del fluido deben cancelarse entre sí perfectamente.

• La analogía: Imagina un globo. Normalmente, el aire en su interior empuja hacia afuera (presión) y la goma tira hacia adentro (energía). En un fluido normal, estas son diferentes. Pero para un fluido a la velocidad de la luz, las matemáticas dicen que el "empuje" y el "tirón" deben ser exactamente iguales y opuestos, de modo que la "pesadez" total (entalpía) del fluido sea cero.
• El resultado: Esto no es solo un fluido extraño; es un híbrido. El artículo muestra que un fluido a la velocidad de la luz es en realidad una mezcla de dos cosas:
  1. Energía del vacío: Como la misteriosa energía que hace que el universo se expanda (una constante cosmológica), pero con una presión que puede cambiar.
  2. Polvo nulo (Null dust): Una corriente de partículas sin masa (como un rayo láser) que no interactúa consigo misma.

4. Por qué esto es importante

El autor señala que este fallo al no ser un "fluido normal" no es un error en las matemáticas; es una ley fundamental de la naturaleza. El universo simplemente no permite que un fluido genérico se mueva a la velocidad de la luz. Si intentas forzarlo, las leyes de la física automáticamente le quitan su "fluidez" hasta que se convierte en este híbrido específico de energía del vacío y corrientes de partículas.

Resumen

Tzanavaris ha construido un nuevo y robusto marco matemático para fluidos que funciona ya sea que se muevan lentamente o a la velocidad de la luz.

• Para fluidos lentos: Es una versión geométrica y sofisticada de una receta antigua y confiable (la acción de Schutz).
• Para fluidos a la velocidad de la luz: Revela que tal cosa no puede ser un "fluido normal". Debe ser un objeto muy específico y restringido que se comporta como una mezcla de la energía del espacio vacío y un rayo de partículas.

La belleza de este trabajo es que no depende de las reglas específicas de la gravedad (Relatividad General) para funcionar. Es una descripción pura del fluido en sí, lo que significa que podría usarse para comprender fluidos en cualquier teoría de la gravedad, incluso en aquellas que aún no hemos descubierto.

Resumen técnico

Resumen Técnico: Revisión de los fluidos perfectos: un enfoque basado en el principio de acción

Planteamiento del Problema
El principio variacional para fluidos perfectos relativistas se ha formulado históricamente ya sea mediante un enfoque de Lagrangiano (línea de mundo de partículas), que oscurece la covarianza, o mediante un enfoque Euleriano covariante (p. ej., Schutz), que a menudo trata la corriente de partículas como la variable fundamental. Este último enfoque se vuelve degenerado cuando el flujo del fluido es nulo, ya que la densidad de partículas no puede recuperarse a partir de la norma de una corriente nula. Además, las formulaciones estándar suelen oscurecer los datos de contorno específicos requeridos para un principio de acción bien planteado. Este artículo aborda la necesidad de una formulación manifiestamente covariante basada en formas diferenciales que trate los flujos temporales y nulos de manera uniforme, maneje explícitamente los términos de contorno y clarifique las restricciones dinámicas impuestas a los fluidos nulos.

Metodología
El autor emplea una formulación geométrica utilizando formas diferenciales en una variedad lorentziana de cuatro dimensiones $(M, g)$ con firma $(-,+,+,+)$.

1. Variables Independientes: A diferencia de los tratamientos estándar que derivan la velocidad y la densidad a partir de una corriente de partículas, este trabajo trata la velocidad del fluido $u$, la densidad de número de partículas $n$ y la densidad de entropía $s$ como variables escalares independientes sujetas a restricciones.
2. Coordenadas Lagrangianas: El flujo del fluido se describe utilizando etiquetas Lagrangianas $a_i$ (constantes a lo largo de las líneas de flujo) y un parámetro $\tau$ (que satisface $\mathcal{L}_u \tau = 1$). El Teorema 1 establece la existencia local de estas coordenadas para campos vectoriales causales.
3. Principio de Acción: La acción se construye utilizando formas diferenciales para imponer restricciones mediante multiplicadores de Lagrange. La densidad de Lagrangiano total es:
   $$\mathcal{L} = -[\star(\rho + A) + C \wedge \star u^\flat]$$
   donde $A$ impone la condición de normalización $g(u,u)=c$ (con $c=-1$ para flujos temporales y $c=0$ para nulos), y $C = n d\Phi + s d\Theta + b_i da_i$ impone las leyes de conservación y la constancia de las etiquetas Lagrangianas. Aquí, $\Phi, \Theta$ son potenciales de velocidad, y $b_i$ son multiplicadores para las etiquetas.
4. Análisis Variacional: La acción se varía con respecto a todos los campos no métricos ($u, n, s, a_i, \Phi, \Theta, b_i$) y el co-marco $e^\alpha$. El análisis rastrea explícitamente los términos de contorno para determinar los datos de Dirichlet necesarios (fijar los potenciales y las etiquetas en el contorno).
5. Derivación del Tensor de Energía-Momento: El tensor de energía-momento se deriva al variar el co-marco en lugar de la métrica directamente, lo que permite que el formalismo sea aplicable a teorías de la gravedad de primer orden y no métricas (p. ej., Einstein-Palatini).

Contribuciones Clave y Resultados

• Bien Planteamiento y Datos de Contorno: La formulación demuestra que el problema variacional corresponde a un problema de Dirichlet donde los potenciales de velocidad ($\Phi, \Theta$) y las etiquetas Lagrangianas ($a_i$) se fijan en el contorno. Esto clarifica las condiciones de contorno requeridas para un principio de acción consistente.
• Simetrías y Leyes de Conservación: La acción posee simetrías internas correspondientes al reetiquetado de los potenciales internos y las etiquetas Lagrangianas. Estas simetrías generan corrientes de Noether de la forma $J_X = F \star u^\flat$, donde $F$ es una función generadora de la redefinición.
• Flujos Temporales: Para $c=-1$, las ecuaciones de movimiento reproducen el principio de acción de Schutz. El sistema produce la conservación del número de partículas y de la entropía, la descomposición de Clebsch de la velocidad y el tensor de energía-momento estándar de un fluido perfecto $T_{\alpha\beta} = P g_{\alpha\beta} + (\rho+P)u_\alpha u_\beta$.
• Flujos Nulos: Para $c=0$, la extensión del principio variacional revela una restricción dinámica significativa. Las ecuaciones de movimiento fuerzan a la densidad de entalpía a desvanecerse:
  $$\rho + P = 0$$
  Consecuentamente, el tensor de energía-momento se descompone en un término de tipo energía de vacío con presión variable y una contribución de polvo nulo:
  $$T_{\alpha\beta} = P g_{\alpha\beta} - f u_\alpha u_\beta$$
  La presión es constante a lo largo del flujo ($\mathcal{L}_u P = 0$), y el gradiente de presión mide la obstrucción para que el flujo sea pre-geodésico. Si $dP=0$, el modelo se reduce al principio de acción para polvo nulo (Bicak y Kuchar).
• Acoplamiento a Gravedad Generalizada: Debido a que la acción de la materia se formula independientemente de las ecuaciones de campo gravitatorio (vía la variación del co-marco), la construcción es aplicable a teorías de la gravedad no métricas y de primer orden, no solo a la Relatividad General.

Significación
El artículo afirma que la obstrucción para extender ingenuamente las acciones de fluidos perfectos a flujos nulos es dinámica en lugar de cinemática. Mientras que los enfoques previos fallaron debido a la degeneración cinemática de definir la velocidad a partir de una corriente nula, esta formulación muestra que incluso con variables independientes, el principio de acción fuerza dinámicamente la entalpía a cero para los flujos nulos.

La significación de este trabajo radica en:

1. Claridad Geométrica: Proporcionar una reformulación del principio de Schutz, manifiestamente covariante y basada en formas diferenciales, que maneja explícitamente los términos de contorno.
2. Marco Unificado: Permitir que un único ansatz variacional cubra tanto flujos temporales como nulos sin que se degrade la definición de la velocidad.
3. Perspectiva Física: Identificar que un "fluido perfecto nulo" no es un fluido genérico, sino un sistema altamente restringido con entalpía evanescente, que interpola entre una fuente de constante cosmológica y polvo nulo.
4. Amplia Aplicabilidad: Establecer una acción de materia adecuada para acoplarse a una amplia clase de teorías de la gravedad, incluyendo aquellas con torsión y no-metricidad.