Perfect fluids revisited: an action principle approach

This paper revisits the variational principle for relativistic perfect fluids using a manifestly covariant differential forms formalism to clarify boundary conditions for timelike flows and demonstrates that extending this principle to null flows dynamically forces the enthalpy density to vanish, resulting in a stress-energy tensor composed of variable vacuum energy and null dust.

The Gist

Imagine you are trying to write a rulebook for how a fluid (like water or air) moves through the universe. In physics, we usually do this using something called an "action principle." Think of the action principle as a master recipe: if you follow the steps correctly, the universe naturally "chooses" the path that uses the least amount of effort, just like a river finding the easiest path down a mountain.

For a long time, physicists had a great recipe for fluids that move slower than light (timelike flows). However, they struggled to write a recipe for fluids moving at the speed of light (null flows), like a beam of light or a stream of massless particles. The old recipes would break down, like trying to measure the speed of a shadow.

In this paper, the author, Kostas Tzanavaris, rewrites the recipe using a new, more geometric language (differential forms) that works for both slow and fast fluids. Here is the breakdown of what he found:

1. The New Kitchen Tools: Keeping Ingredients Separate

In many old recipes, the chef mixed the "speed" of the fluid with the "amount" of fluid. If the fluid stopped moving or moved at light speed, the math got messy because you couldn't separate the speed from the amount.

Tzanavaris decided to keep the ingredients separate on the counter. He treats the speed, the number of particles, and the entropy (a measure of disorder or heat) as three distinct, independent variables.

• The Analogy: Imagine baking a cake. Old recipes said, "The amount of flour depends on how fast you stir." If you stop stirring, the math breaks. Tzanavaris says, "Let's just measure the flour, the eggs, and the stirring speed separately." This way, even if the stirring speed becomes zero or infinite (light speed), the recipe still makes sense.

2. The Boundary Rules: The "Dirichlet" Problem

When you solve a puzzle, you need to know what the edges look like. In physics, this is called "boundary data."

• The Analogy: Imagine you are trying to predict the weather. You can't just guess; you need to know the temperature and wind speed at the borders of your map.
• Tzanavaris shows that his new recipe naturally sets the rules for these borders. It tells us exactly what needs to be fixed at the edge of the fluid to make the math work perfectly. It's like the recipe explicitly saying, "You must pin the edges of the fabric down before you start sewing."

3. The Big Surprise: The "Light-Speed" Fluid is Special

The most exciting part of the paper is what happens when they apply this recipe to fluids moving at the speed of light (null flows).

The author expected that a "light-speed fluid" would just be a normal fluid moving very fast. Instead, the math forced a very specific, strange rule: The energy and pressure of the fluid must cancel each other out perfectly.

• The Analogy: Imagine a balloon. Usually, the air inside pushes out (pressure) and the rubber pulls in (energy). In a normal fluid, these are different. But for a light-speed fluid, the math says the "push" and the "pull" must be exactly equal and opposite, so the total "heft" (enthalpy) of the fluid becomes zero.
• The Result: This isn't just a weird fluid; it's a hybrid. The paper shows that a light-speed fluid is actually a mix of two things:
  1. Vacuum Energy: Like the mysterious energy that makes the universe expand (a cosmological constant), but with a pressure that can change.
  2. Null Dust: A stream of massless particles (like a laser beam) that doesn't interact with itself.

4. Why This Matters

The author points out that this failure to be a "normal" fluid isn't a mistake in the math; it's a fundamental law of nature. The universe simply doesn't allow a generic fluid to move at light speed. If you try to force it, the laws of physics automatically strip away its "fluid-ness" until it becomes this specific hybrid of vacuum energy and particle streams.

Summary

Tzanavaris has built a new, robust mathematical framework for fluids that works whether they are moving slowly or at the speed of light.

• For slow fluids: It's a fancy, geometric version of an old, trusted recipe (the Schutz action).
• For light-speed fluids: It reveals that such a thing cannot be a "normal" fluid. It must be a very specific, restricted object that behaves like a mix of empty space energy and a beam of particles.

The beauty of this work is that it doesn't rely on the specific rules of gravity (General Relativity) to work. It's a pure description of the fluid itself, meaning it could be used to understand fluids in any theory of gravity, even ones we haven't discovered yet.

Technical Summary

Technical Summary: Perfect fluids revisited: an action principle approach

Problem Statement
The variational principle for relativistic perfect fluids has historically been formulated either through a Lagrangian (particle worldline) approach, which obscures covariance, or through a covariant Eulerian approach (e.g., Schutz), which often treats the particle current as the fundamental variable. The latter approach becomes degenerate when the fluid flow is null, as the particle density cannot be recovered from the norm of a null current. Furthermore, standard formulations often obscure the specific boundary data required for a well-posed action principle. This paper addresses the need for a manifestly covariant formulation based on differential forms that treats timelike and null flows uniformly, explicitly handles boundary terms, and clarifies the dynamical constraints imposed on null fluids.

Methodology
The author employs a geometric formulation using differential forms on a four-dimensional Lorentzian manifold $(M, g)$ with signature $(-,+,+,+)$.

1. Independent Variables: Unlike standard treatments that derive velocity and density from a particle current, this work treats the fluid velocity $u$, particle number density $n$, and entropy density $s$ as independent scalar variables subject to constraints.
2. Lagrangian Coordinates: The fluid flow is described using Lagrangian labels $a_i$ (constant along flow lines) and a parameter $\tau$ (satisfying $\mathcal{L}_u \tau = 1$). Theorem 1 establishes the local existence of these coordinates for causal vector fields.
3. Action Principle: The action is constructed using differential forms to enforce constraints via Lagrange multipliers. The total Lagrangian density is:
   $$\mathcal{L} = -[\star(\rho + A) + C \wedge \star u^\flat]$$
   where $A$ enforces the normalization condition $g(u,u)=c$ (with $c=-1$ for timelike and $c=0$ for null), and $C = n d\Phi + s d\Theta + b_i da_i$ enforces conservation laws and the constancy of Lagrangian labels. Here, $\Phi, \Theta$ are velocity potentials, and $b_i$ are multipliers for the labels.
4. Variational Analysis: The action is varied with respect to all non-metric fields ($u, n, s, a_i, \Phi, \Theta, b_i$) and the co-frame $e^\alpha$. The analysis explicitly tracks boundary terms to determine the necessary Dirichlet data (fixing potentials and labels on the boundary).
5. Stress-Energy Derivation: The stress-energy tensor is derived by varying the co-frame rather than the metric directly, allowing the formalism to apply to first-order and non-metric theories of gravity (e.g., Einstein-Palatini).

Key Contributions and Results

• Well-Posedness and Boundary Data: The formulation demonstrates that the variational problem corresponds to a Dirichlet problem where the velocity potentials ($\Phi, \Theta$) and Lagrangian labels ($a_i$) are fixed on the boundary. This clarifies the boundary conditions required for a consistent action principle.
• Symmetries and Conservation Laws: The action possesses internal symmetries corresponding to the relabeling of internal potentials and Lagrangian labels. These symmetries generate conserved Noether currents of the form $J_X = F \star u^\flat$, where $F$ is a generating function of the redefinition.
• Timelike Flows: For $c=-1$, the equations of motion reproduce the standard Schutz action principle. The system yields the conservation of particle number and entropy, the Clebsch decomposition of the velocity, and the standard perfect fluid stress-energy tensor $T_{\alpha\beta} = P g_{\alpha\beta} + (\rho+P)u_\alpha u_\beta$.
• Null Flows: For $c=0$, the extension of the variational principle reveals a significant dynamical restriction. The equations of motion force the enthalpy density to vanish:
  $$\rho + P = 0$$
  Consequently, the stress-energy tensor decomposes into a vacuum energy-like term with variable pressure and a null dust contribution:
  $$T_{\alpha\beta} = P g_{\alpha\beta} - f u_\alpha u_\beta$$
  The pressure is constant along the flow ($\mathcal{L}_u P = 0$), and the gradient of pressure measures the obstruction to the flow being pre-geodesic. If $dP=0$, the model reduces to the action principle for null dust (Bicak and Kuchar).
• Generalized Gravity Coupling: Because the matter action is formulated independently of gravitational field equations (via co-frame variation), the construction is applicable to non-metric and first-order gravity theories, not just General Relativity.

Significance
The paper claims that the obstruction to naively extending perfect fluid actions to null flows is dynamical rather than kinematical. While previous approaches failed due to the kinematical degeneracy of defining velocity from a null current, this formulation shows that even with independent variables, the action principle itself dynamically forces the enthalpy to zero for null flows.

The significance of this work lies in:

1. Geometric Clarity: Providing a manifestly covariant, differential form-based reformulation of the Schutz principle that explicitly handles boundary terms.
2. Unified Framework: Allowing a single variational ansatz to cover both timelike and null flows without degenerating the definition of velocity.
3. Physical Insight: Identifying that a "null perfect fluid" is not a generic fluid but a highly restricted system with vanishing enthalpy, interpolating between a cosmological constant source and null dust.
4. Broad Applicability: Establishing a matter action suitable for coupling to a wide class of gravity theories, including those with torsion and non-metricity.