# LOG#044. Hydrodynamics and SR(I).

Relativistic hydrodynamics is a branch of Relativity Theory that faces with fluids and/or molecules (“gases”) moving at relativistic speeds. Today, this area of Special Relativity has been covered with many applications. However, it has not been so since, not so long ago, the questions was:

Where could one encounter fluids or “gases” that would propagate with velocities close to the the speed of light?

It was thought that it seemed a question to be very far away from any realistic or practical use. At present time, relativistic hydrodynamics IS an importan part of Cosmology and the theory of processes going on in the sorrounding and ambient space of neutron stars (likely, of the quark stars as well), compact massive objects and black holes. When the relativistic fluid flows under strong gravitational fields existing in those extreme conditions at relativistic speeds, it drives to a big heating and X-ray emission, for instance. And then, a relativistic treatment of matter is inevitable there.

Caution note: I will use units with c=1 in this post, in general, without loss of generality.

Let me review a bit the non-relativistic hydrodynamics of ideal fluids and gases. Their dynamics is governed by the continuity equation (mass conservation) and the Euler equation:

$\boxed{\mbox{Continuity equation:\;\;}\dfrac{\partial \rho}{\partial t}+\nabla \cdot(\rho \mathbf{v})=0}$

$\boxed{\mbox{Euler equation:\;\;}\rho \dfrac{d\mathbf{v}}{dt}+\nabla p=\mathbf{f}}$

where the mass density and pressure of the fluid are respectively $\rho$ and $p$. To complete the fluid equations, these equations need to be supplemented by an equation of state:

$\boxed{\mbox{Equation of state:\;\;}p=p(\rho)}$

The continuity equation expresses the fact that mass in an invariant in classical fluid theory. The Euler equation says how the changes of pressure and forces affect to the velocity of the fluid, and finally the equation of state encodes the type of fluid we have at macroscopic level from the microscopic degrees of freedom that fluid theory itself can not see.

By the other hand, it is worth mentioning that we can not write the continuity equation into a covariant form $\partial_\mu j^\mu=0$ in such “a naive” way, with $j^\mu=\rho (x)v^\mu$. Why? It is pretty easy: it is a characteristic property of special relativity that the mass density $\rho (x)$ does not satisty such an equation, but we can derive a modified continuity equation that holds in SR. To build the right equations, we can proceed using an analogy with the electromagnetic field. Suppose we write an “stress-energy-momentum” tensor for an ideal fluid in the following way:

$T_{\mu\nu}=\begin{pmatrix}\rho & 0 & 0& 0\\ 0 & p & 0 & 0\\ 0 & 0 & p & 0\\ 0 & 0 & 0 & p \end{pmatrix}$

This tensor is written in the rest frame of a fluid. Note, then, that ideal fluids are characterized b the feature that their stress tensor $T_{ij}$ contains no shear stresses ( off-diagonal terms) and they are thus “proportional” to the Kronecker delta tensor $\delta_{\mu\nu}$.

The generalization of the above tensor (an ideal fluid) to an arbitrary reference frame, in which the fluid element moves with some 4-velocity components $u^\mu$ is given by the next natural generalization:

$T_{\mu\nu}=(\rho +p)u_\mu u_\nu-\eta_{\mu \nu}p$

where again, $\rho (x)$ represents the density, $p(x)$ is the local fluid pressure field as measured in the rest frame of the fluid element, and $\eta_{\mu\nu}$ is the Minkovski metric. Therefore, the equations of motion can be found, in the absence of external forces, from the conservation laws:

$\boxed{\mbox{Relativistic continuity equation:\;\;}\partial_\nu T^{\mu\nu}=0}$

Inserting the above tensor for the fluid, we get

$\partial_\nu \left[ \left( \rho +p\right)u^\mu u^\nu\right]-\partial^\mu p=0$

We can find this equation to the non-relativistic Euler equation. The trick is easy: we firstly multiply by $u^\mu$ and, after a short calculation, as we have that $u^\mu u_\mu=-1$, and $(\partial_\nu u^\mu) u_\mu=0$, it provides us with

$\partial_\mu(\rho u^\mu)+p\partial_\mu u^\mu=0$

This last equation shows, indeed, that mass current $\rho u^\mu$ is not conserved itself. Recall that from the spatial part of our relativist fluid equations:

$\partial_i \left[ \left( \rho +p\right)\mathbf{v} u^i\right]-\nabla p=0$

If we define the so-called “convective” or “comoving” derivative of an arbitrary tensor field T as the derivative:

$\dot{T}=\dfrac{DT}{d\lambda}=\partial_i Tu^i$

we can rewrite the spatial part of the relativistic fluid dynamics as follows:

$\boxed{\mbox{Relativistic Euler equation in 3d-space:\;}\dot{p}\mathbf{v}+(\rho+p)\dot{\mathbf{v}}+\nabla p=0}$

We can check that it effectively corresponds to the classical Euler equation moving to the comoving frame where $u^\mu=(1,\mathbf{0})^T$, excepting for a pressure term equals to $p/c^2$ if we reintroduce units with the speed of light, and then it is the generalized mass-energy density conservation law from relativistic hydrodynamics!

Remark: In the case of electromagnetic radiation, we have a pressure term equals to $p=\rho/3$ due to the tracelessneess of the electromagnetic stress-energy-momentum tensor.

Returning to our complete relativistic equation, we observe that the time component of that equation has NOT turned out to be the relativistic version of the continuity equation, as we warned before. The latter rather has to be postulated separately, using additional insights from elementary particle physics! In this way, instead of a mass density conservation, we do know, e.g., that the baryon density $n(x)$ does satisfy an equation of continuity (at least from current knowledge of fundamental physics):

$\partial_\mu (n u^\mu)=0$

and it merely says that baryon number is conserved under reasonable conditions ( of course, we do suspect at current time that baryon number conservation is not a good symmetry in the early Universe, but today it holds with good accuracy). Similarly, it can be said that for an electron gas, the baryon density has to be replaced by the so-called lepton density in the equation of continuity, where we could consider a gas with electrons, muons, tauons and their antiparticles. We could guess the neutrino density as well with suitable care. However, for phtoons and “mesons” there is NO continuity equation since tehy can be created and annihilated arbitrarily.

The relationship between n, p and $\rho$ can be obtained from the equation of state and basic thermodynamics from the definition of pressure:

$p=-\dfrac{\mbox{Energy per baryon}}{\mbox{volume per baryon}}=-\dfrac{(\rho/n)}{(1/n)}=n\dfrac{d\rho}{dn}-\rho$

or

$\int \dfrac{d\rho}{p(\rho)+\rho}=\int \dfrac{dn}{n}$

Thus, with these equations, we can know the density $n(\rho)$. The mass density $\rho$ and the baryon density $n$ differ by the density $n\epsilon$ of the inner energy ( we have defined $\epsilon$ as the specific inner energy or equivalently the inner energy per baryon):

$\rho=n(1+\epsilon)$

The inner energy is negative if energy is released at the formation of the state $\rho$, e.g. in the binding energy of a nucleus, and it is positive if energy has to be spent, e.g. if we make a compressional work onto the state.

Moreover, the specific entropy $s=S/B$ or entropy per baryon and the temperature are defined by postulating the thermodynamical equilibrium and, with that integrating factor $1/T$ coming from elementary thermodynamics, we can write

$ds=\dfrac{1}{T}\left(d\epsilon+pd\left(\dfrac{1}{n}\right)\right)$

since we have an specific volume equal to $v=1/n$. Entropy is constant along a stream line of the ideal fluid, and it follows from

$\dot{p}=\partial_\mu\left[(p+\rho)u^\mu\right]=\partial_\mu\left[(n+\epsilon n+p)u^\mu\right]=n\dot{\epsilon}+p\partial_\mu u^\mu+\dot{p}$

if we divide by n

$T\dot{s}=\dot{\epsilon}+p\left(\dfrac{1}{n}\right)$

In conclusion, we deduce that the time conservation of the relativistic conservation law of fluid hydrodynamics tell us that in the case of an ideal fluid no energy is converted into heat, and entropy itself remains constant! Isn’t it amazing? Entropy rocks!

Final remark (I): For non-ideal fluids, the ansatz for the energy-momentum-stress tensor hast to be modified into this one

$T_{\mu\nu}=(\rho+p)u_\mu u_\nu+(q_\mu u_\nu+q_\nu u_\mu)-\eta_{\mu\nu}p-\pi_{\mu\nu}$

Final remark (II): Relativistic hydrodynamics can be generalized to charged fluids and plasmas, and in that case, it is called relativistic magnetohydrodynamics. One simply adds the stress-energy-momentum tensor of the electromagnetic field to the tensor of the fluid in such a way it is conserved as well, i.e., with zero divergence. Thus, we would get an extra Lorentz-like force into the relativistic generalization of the Euler equation!

Final remark (III): The measurement of thermodynamical quantities like pressure, entropy or temperature, and its treatment with classical thermodynamics suppose that the thermodynamical equilibrium state is reached. Please, note that if it were not the case, we should handle the problem with tools of non-equilibrium thermodynamics or some other type of statistical mechanics that could describe the out-of-the equilibrium states ( there are some suggestions of such a generalization of thermodynamics, and/or statistical mechanics, from the works of I. Prigogine, C.Tsallis, C.Beck and many other physicists).