1. Introduction
A shock is a hydrodynamic concept (see, e.g. Landau & Lifshitz Reference Landau and Lifshitz1987). A shock in plasma is a concept of magnetohydrodynamics (MHD) (de Hoffmann & Teller Reference de Hoffmann and Teller1950). In both cases, a shock is a discontinuity through which a fluid flows, from upstream to downstream, and at which the density increases and the velocity decreases. The mass, momentum and energy are conserved, and at an MHD shock, the tangential component of the electric field is continuous. These conservation laws are used to establish the relation between the upstream and downstream parameters. It is also required that the entropy of the fluid (plasma in what follows) at the downstream side be higher than the entropy at the upstream side, in accordance with the second law of thermodynamics (Landau & Lifshitz Reference Landau and Lifshitz1987). Real shocks are transition layers of finite width. In a collision-dominated plasma, where the binary Coulomb collisions play an important role, the width is determined by the dissipative processes related to collisions. In a collisionless plasma, the behaviour of the plasma within the transition layer is determined by the electromagnetic fields generated self-consistently by the plasma species. The MHD requirement of the entropy increase is valid both for collisional and collisionless plasmas, and is generally thought to be related to dissipative processes. The search for such dissipative processes remains one of the central problems of collisionless shock physics.
Modern high-resolution measurements at the Earth’s bow shock allow in-depth, detailed studies of the behaviour of particle distributions across the shock (Schwartz et al. Reference Schwartz2022; Agapitov et al. Reference Agapitov, Krasnoselskikh, Balikhin, Bonnell, Mozer and Avanov2023). Analysis of the entropy production within the shock requires the usage of the appropriate quantity (Parks et al. Reference Parks2012; Liang et al. Reference Liang2019; Du et al. Reference Du, Zank, Li and Guo2020). Typically, the entropy density or the entropy per particle (see below) is used, and an increase of the parameter is interpreted as a result of some dissipative process occurring in the shock. Here, we show that, in a collisionless shock, the entropy flux density is conserved, while the entropy density and the entropy per particle may change either way upon shock crossing. Accordingly, any conclusion about entropy production should be made on the basis of the measurements of the variation of the entropy flux density across the shock.
2. Entropy in non-equilibrium open systems with flows
The standard definitions of entropy in statistical mechanics, such as
$\ln \varGamma$
in an isolated system, where
$\varGamma$
is the number of available microscopic states, or as the sum over all available microscopic states
$-\sum _a p_a\ln p_a$
, where
$p_a$
is the probability of the microscopic state
$a$
, are applicable in the standard static statistical ensembles (Reichl Reference Reichl2009). The extension of the definition of entropy in non-equilibrium open systems with flows should be consistent with the standard definitions. For completeness, we briefly outline here the procedure of such an extension. Consider an ideal gas in a thermodynamic equilibrium. The entropy per particle is (Reichl Reference Reichl2009)
where
$N$
is the number of particle,
$V$
is the volume,
$h$
is the Planck constant,
$m$
is the particle mass,
$T$
is the temperature and
$n$
is the number density. Let
where we used
$\int \text{d}^3\boldsymbol{r}=N$
. Note that
Consider now the expression
which is the entropy density and
$w=-\mathcal{P}(\ln \mathcal{P}-1)/h^3$
is the phase-space entropy density.
Let now
$f(\boldsymbol{r},\boldsymbol{p},t)$
be a single-particle distribution function such that
The distribution function
$f(\boldsymbol{r},\boldsymbol{p},t)$
is the generalisation of the equilibrium
$\mathcal{P}(\boldsymbol{p})$
.
Then the phase-space entropy density
$w$
and the entropy density
$s$
in a non-equilibrium system, described by a single-particle distribution function
$f$
, can be defined as follows:
Accordingly, the entropy per particle would be
These expressions are more precise definitions of the usually used Boltzmann entropy (Parks et al. Reference Parks2012; Liang et al. Reference Liang2019; Du et al. Reference Du, Zank, Li and Guo2020; Agapitov et al. Reference Agapitov, Krasnoselskikh, Balikhin, Bonnell, Mozer and Avanov2023). The total entropy within a certain volume is
3. Conservation of Boltzmann entropy
The collisionless Vlasov equation is
which alternatively reads
along the trajectory
$\dot {\boldsymbol{r}}=\boldsymbol{v}$
,
$\dot {p}=q(\boldsymbol{E}+({1}/{c})\boldsymbol{v}\times \boldsymbol{B})$
. For each function
$F(f)$
such that
$F(f=0)=0$
we get
that is
Taking the lowest moment one has
In the stationary one-dimensional case, where everything depends only on the
$x$
-coordinate, one has
In particular, if
$F=-f(\ln (h^3f)-1)$
, the corresponding moment
is the entropy density and
is the entropy flux density. Conservation of entropy means
Entropy production would mean the appearance of a positive source term on the right-hand side of (3.9)
with
$(\text{d}s/\text{d}t)_{source}\gt 0$
, as required by the second law of thermodynamics. If the shock is one-dimensional and stationary,
$(\partial /\partial t)=0$
and
$ (\partial /\partial y)=(\partial /\partial z)=0$
, then (3.9) means
$j_{s,x}=\text{const}$
, in the absence of entropy production. The entropy flux density is constant throughout.
Let
$(\boldsymbol{r},\boldsymbol{p},t)$
be a solution of the equations of motion
with the initial conditions
$(\boldsymbol{r}_0,\boldsymbol{p}_0,t_0)$
. For a one-dimensional time-independent shock
$f(\boldsymbol{p},x)=f_0(\boldsymbol{p}_0,x_0)$
.
Consider a thin tube of particles starting at
$x_0$
with the velocities in the infinitesimal momentum volume
$\text{d}\boldsymbol{p}_0$
around
$\boldsymbol{p}_0$
, corresponding to
$\boldsymbol{v}_0$
. Let this infinitesimal region be Liouville mapped to
$\text{d}\boldsymbol{p}$
around
$\boldsymbol{p}$
, corresponding to
$\boldsymbol{v}$
, at
$x$
. The infinitesimal incident flux at
$x_0$
is
The flux conservation means that the same flux crosses
$x$
which gives
and therefore, for each function
$F(f)$
one has
$F(f(\boldsymbol{p},x))=F(f_0(\boldsymbol{p}_0,x_0))$
and
The entropy conservation requires
$j_x=\text{const}$
throughout In general,
and, therefore,
$s_d/n_d\ne s_u/n_u$
. In the above integrals
$\boldsymbol{p}$
and
$\boldsymbol{v}$
are functions of
$\boldsymbol{p}_0$
.
Often, analysis is done in dimensionless variables. The distribution function is also dimensionless then. Let the number density be normalised with
$n_0$
, and the velocity with
$v_0$
, that is,
Then the entropy density is
The difference of the entropy densities
$S_d-S_u$
may appear positive or negative depending on the normalisation. Therefore, it is less informative than the entropy per particle
The second term is constant and can be safely omitted when the variations of the entropy per particle are analysed. Similarly, the entropy flux is
Thus, the normalisation adds a constant term to the entropy per particle and a term proportional to the particle flux density to the entropy flux. Note that, in a local thermodynamic equilibrium, described by the shifted Maxwellian
where
$n$
,
$\boldsymbol{V}$
and
$T$
depend on
$\boldsymbol{r}$
and
$t$
, the entropy density and the entropy flux density are related by
$\boldsymbol{j}_{s}=s\boldsymbol{V}$
. In the general case, however,
$\boldsymbol{j}_{s}\ne s\boldsymbol{V}$
.
In the one-dimensional stationary case, the particle flux density is constant. Since we are interested in the changes across the shock front, in the subsequent numerical analysis, we address only the variable parts, that is,
where we reversed the notation to the more convenient lower case. The normalisation here is arbitrary. Only the difference
$s_d/n_d-s_u/n_u$
is meaningful. A non-zero difference
$j_{sxd}-j_{sxu}$
would mean entropy production. In a collisionless shock
$j_{sx}=\text{const}$
throughout the shock, so that
$j_{sxd}=j_{sxu}$
. The standard Rankine–Hugoniot relations assume that the upstream and downstream plasmas are in local thermodynamic equilibrium and require
$s_d/n_d\gt s_u/n_u$
(Landau, Lifshitz & Pitaevskiĭ Reference Landau, Lifshitz and Pitaevskiĭ1984; Landau & Lifshitz Reference Landau and Lifshitz1987).
4. An analytic example: electrostatic shock
An electrostatic shock is a one-dimensional jump in the potential, through which a plasma flows. If the potential is
$\phi (x)$
, the energy of a particle
$\epsilon ={mv^2}/{2}+q\phi$
is conserved in the collisionless regime. For each species
$f=f(\epsilon )$
. Let the upstream distribution be a one-dimensional shifted Maxwellian
We use the freedom in normalisation to avoid keeping unnecessary constants. The energy conservation is
therefore
\begin{align} &f(x,v)=\exp \left (-\frac {(\sqrt {v^2 +2q\phi /m}-V_u)^2}{2v_T^2}\right ) \end{align}
and
\begin{align} &\sigma =\frac {1}{N} \int \left (\frac {(\sqrt {v^2 +2q\phi /m}-V_u)^2}{2v_T^2}\right )\exp \left (-\frac {(\sqrt {v^2 +2q\phi /m}-V_u)^2}{2v_T^2}\right ) \text{d}v \end{align}
\begin{align} N =\frac {n}{n_0}=\int \exp \left (-\frac {(\sqrt {v^2 +2q\phi /m}-V_u)^2}{2v_T^2}\right ) \text{d}v \\[-28pt] \nonumber \end{align}
If
$v_T\ll V_u$
then
For
$q\phi \lt 0$
one would have
$\sigma \lt \sigma _0$
.
5. Test particle analysis
The equations of motion inside the shock transition are not integrable analytically, and there is no closed analytical expression, neither for
$f(\boldsymbol{p},x)$
nor for
$v_x(x,v_{0x,}x_0)$
. Instead, we trace ions across a model shock front by numerically solving the ion equations of motion in prescribed stationary electric and magnetic fields. The fields depend only on the coordinate
$x$
along the shock normal. The Maxwellian distributed incident ions are traced across the shock front. There is a set of layers
$x_i\lt x\lt x_i+\Delta x$
,
$x_i=x_l+(i-1)\Delta x$
,
$i=1,\ldots , N$
, for the numerical derivation of the moments of the distribution function. Each ion contributes to the moment in a layer as many times as it is found in the layer, which is
$\Delta x/|v_x|$
for sufficiently narrow layers (the staying time method). Multiplying by the weight
$|v_{0x}|$
accounts for the Jacobian
$|v_{0x}|/|v_{x}|$
. In the numerical calculation of the moments, the staying time method accounts for the denominator
$1/|v_x|$
, since each ion contributes
$\Delta x/ |v_x|$
times, provided
$\Delta x$
is sufficiently small. The incident flux is taken into account by the weight
$|v_{0x}|$
assigned to each particle. The additional factor is simply
\begin{align} &\ln f_0=-\left (\frac {(v_{0x}-1)^2+v_{0y}^2+v_{0z}^2}{2v_T^2}\right )\! .\end{align}
The focus of the study is the effect of the macroscopic stationary fields on the entropy, so that the shock model does not have to be self-consistent. We chose the model fields as follows:
Here, the magnetic field
$\boldsymbol{B}$
is normalised with the upstream magnetic field
$B_u$
, the electric field
$\boldsymbol{E}$
is normalised with
$V_uB_u/c$
and the coordinate is normalised with the upstream convective gyroradius
$V_u/\varOmega _u$
,
$\varOmega _u=eB_u/m_pc$
. The coefficient
$l_E$
is obtained from the condition
$-\int E_x\,\text{d}x=\phi$
, where
$\phi$
is the cross-shock potential normalised with
$m_pV_u^2/2$
. The parameter
$R$
is related to the magnetic compression ratio as follows:
The magnitude of the model magnetic field.

Left: the entropy flux density. Right: the entropy per particle.

The Alfvénic Mach number
$M_A=V_u/v_A$
, where
$v_A=B_u/\sqrt {4\pi n_um_p}$
is the Alfvén speed, the ramp width
$D$
, the magnetic compression ratio
$B_d/B_u$
, the shock angle
$\theta _{Bn}$
and the cross-shock potential
$\phi$
are the variable parameters of the model. In the following analysis
$M_A=2$
,
$B_d/B_u=1.9$
,
$\theta _{Bn}=60^\circ$
and
$D=1/M_A$
. The cross-shock potential
$\phi$
and the incident ion
$\beta _i=8\pi n_uT_u/B_u^2$
are varied. Figure 1 shows the magnitude of the model magnetic field. Figure 2 shows the entropy flux density
$j_{sx}$
and the entropy per particle
$s/n$
as a function of the coordinate along the shock normal, for
$\beta _i=0.1$
and the normalised cross-shock potential
$\phi =0.45$
. The flux is conserved, as expected. The entropy per particle also remains constant,
$s_d/n_d=s_u/n_u$
. This may make an impression that the heating is adiabatic, in the sense that
$n/T^{3/2}=\text{const}$
. However, adiabaticity implies thermodynamic equilibrium, while the downstream distribution is not Maxwellian. The amount of ion heating is roughly determined by
$|\sqrt {1-\phi }-V_d|$
. The conservation of
$s/n$
in this case is coincidental and due to the choice of the parameters.
Figure 3 shows the entropy flux density
$j_{sx}$
and the entropy density
$s$
as a function of the coordinate along the shock normal, for
$\beta _i=0.1$
and the normalised cross-shock potential
$\phi =0.65$
. The entropy flux is conserved. However,
$s_d/n_d\gt s_u/n_u$
, although the difference is small. The larger cross-shock potential increases the dispersion of
$|v_x|$
in the denominator of (3.27). Since the ions are decelerated at the shock crossing, this increase of the velocity dispersion causes the weak increase in
$s/n$
.
Left: the entropy flux density. Right: the entropy per particle.

Figure 4 shows the entropy flux density
$j_{sx}$
and the entropy density
$s$
as a function of the coordinate along the shock normal, for
$\beta _i=0.5$
and the normalised cross-shock potential
$\phi =0.45$
. The entropy flux is conserved. In this case,
$s_d/n_d\gt s_u/n_u$
noticeably. This change occurs due to the larger dispersion of
$|v_x|$
in the denominator of (3.27) for the higher initial thermal speed of the ions.
Left: the entropy flux density. Right: the entropy per particle.

Figure 5 shows the results of a similar electron tracing across the same model shock. In contrast with ions, electrons are accelerated across the shock by the cross-shock potential. In addition, because of their small mass, the ratio of their upstream thermal speed to the shock speed
$v_{Te}/V_u=\sqrt {m_i/m_e}\sqrt {\beta /2}/M_A$
is by the factor
$\sqrt {m_i/m_e}$
larger than that of ions with the same
$\beta$
. To reduce computational time, the mass ratio in the electron tracing was set to
$m_e/m_i=1/100$
. In figure 5 the electron
$\beta =0.05$
and
$\phi =0.45$
. Figure 6 shows the results of another electron tracing across the same model shock. The electron
$\beta =0.05$
and
$\phi =0.65$
. Figure 7 shows the results of yet another electron tracing across the same model shock. This time the electron
$\beta =0.025$
and
$\phi =0.45$
. The entropy flux is conserved, while the entropy per particle decreases. The decrease in this case is related to the acceleration of the electrons across the shock front and small dispersion of
$|v_x|$
in the denominator of (3.27).
Left: the entropy flux density. Right: the entropy per particle.

Left: the entropy flux density. Right: the entropy per particle.

Left: the entropy flux density. Right: the entropy per particle.

Top: the electron density and the magnetic field. Middle: the entropy per particle. Bottom: the entropy flux density. Left column: electrons. Right column: ions. Upstream is on the right, downstream is on the left.

6. Simulations
The above test particle analysis shows that entropy is strictly conserved in a time-independent planar shock. This conservation takes the form
$\text{d}j_{s,x}/\text{d}x=0$
. On the other hand, the entropy per particle may increase or decrease, depending on the particle charge sign, cross-shock potential and the temperature of the upstream incident distribution. The test particle analysis does not take into account the field fluctuations, produced self-consistently by the charged particles. To understand the role of these fluctuations, we performed particle-in-cell (PIC) simulations.
The two-dimensional PIC simulation of a low-Mach-number shock presented here was performed using the VPIC code (Bowers et al. Reference Bowers, Albright, Yin, Bergen and Kwan2008). The shock is created by the reflection of plasma flowing in the negative
$x$
direction from a rigid, perfectly conducting wall. The upstream distributions for both electrons and ions are Maxwellian, with density
$n_0$
and temperatures
$T_e$
and
$T_i$
, respectively. The angle between the upstream magnetic field
$B_0$
and the
$x$
-axis is
$\theta _{Bn} = 111^\circ$
. The upstream magnetic field is in the
$xy$
plane. The plasma is injected from the right boundary of the domain at
$x=L_x$
with the inflow speed
$V_{in} = 1 V_A$
, where
$V_A = B_0/\sqrt {4 \pi n_0 m_i}$
is the Alfvén speed. The shock moves in the positive
$x$
direction with the average speed
$V_{sh} = 1.42 V_A$
, such that the upstream flow in the shock frame
$V_0$
is characterised by the Mach number
$M_A = V_0/V_A = 2.42$
. The upstream
$\beta _i = 0.3$
and
$\beta _e=2.6$
, where
$\beta _s = 8 \pi n_0 T_s/B_0^2$
and
$s=e,i$
denotes plasma species. The simulation domain has dimensions
$L_x \times L_y = (50 \times 5) d_i$
, where
$d_s = c/\omega _{ps}$
,
$c$
is the speed of light and
$\omega _{ps} = ( 4 \pi n_0 e^2/m_s)^{1/2}$
. The domain is resolved by a uniform Cartesian grid with resolution
$N_x \times N_y = 18\,816 \times 1984$
cells, such the cell size is approximately one Debye length in the upstream plasma. The mass ratio is
$m_i/m_e=1836$
. The ratio between the electron plasma frequency
$\omega _{pe}$
and the electron cyclotron frequency
$\varOmega _{ce}$
is
$\omega _{pe}/\varOmega _{ce}=10$
, where
$\varOmega _{cs} = e B_0/(m_s c)$
. The simulation time step is
$\delta t \omega _{pe} \approx 0.06$
.
To compute the entropy,
$y$
-averaged distribution functions were accumulated on a three-dimensional velocity grid at regular intervals. The distributions were further averaged over a small interval
$\delta x \approx 0.05 d_i$
. The velocity grid resolution was approximately
$0.4V_A$
for electrons and
$8.5\times 10^{-3} V_A$
for ions. The entropy density and the entropy flux were obtained by numerical integration of the reconstructed distribution over this grid. We have verified that the results are converged with respect to the resolution of the velocity-space grid. Figure 8 shows the results for the electrons (left column) and ions (right column) at time
$t=19\varOmega _{ci}^{-1}$
. The top panel shows profiles of the density and magnetic field. The middle panel is the entropy density per particle, normalised to the upstream reference value
$S_{0i} = n_0 [ 3/2 - \log n_0 + 3 \log (\sqrt \pi v_{ts}) ]$
, where
$v_{ts}^2 = 2 T_s/m_s$
. Finally, the bottom panel shows the entropy flux for each species normalised to
$V_0 S_{0s}$
. Multiple relatively small amplitude instabilities are present in the simulation, especially in the vicinity of the ramp. The influence of these fluctuations on the evolution of entropy per particle and entropy flux density is self-consistently accounted for. There is no substantial effect of the fluctuations on the entropy flux density, so that no significant entropy production is found.
7. Discussion
The electromagnetic fields in the collisionless Vlasov equation (3.1) are completely arbitrary. They may include small-scale fast fluctuations which do not break the entropy conservation (3.9). Entropy in collisionless systems is known to be produced due to the coarse graining of the distribution when the inhomogeneity in the velocity space proceeds toward smaller and smaller scales, as occurs in the Landau damping (Mouhot & Villani Reference Mouhot and Villani2011) and, in general, in the resonant wave–particle interactions, where the information about the wave phases is lost. This interaction adds a diffusion-type term to the kinetic equation for the coarse-grained distribution function (see, e.g. Sarazin et al. Reference Sarazin, Dif-Pradalier, Zarzoso, Garbet, Ghendrih and Grandgirard2009). Non-resonant wave–particle interactions retain the phase information and cannot contribute to the coarse-grained entropy production. Thus, ion reflection cannot be a dissipative process resulting in entropy production. The test particle analysis, even with small-scale features included, cannot take into account resonant interactions. Simulations necessarily include coarse graining due to the discretisation. However, PIC simulations of a low-Mach-number shock have not revealed entropy production at a sufficiently significant level.
8. Conclusions
The entropy in a collisionless shock, which is an open collisionless system with a flow, is conserved in the absence of processes that involve phase randomisation or unless coarse graining is applied. This conservation in a stationary planar shock takes the form
$j_{sx}=-\int v_xf\ln f\text{d}^3\boldsymbol{v}=\text{const}$
. The upstream and downstream entropy densities
$s=-\int f\ln f\text{d}^3\boldsymbol{v}$
and entropies per particle
$s/n$
may be different. The downstream values may be larger or smaller than the upstream values. If the upstream and downstream plasmas were in local thermodynamic equilibrium, the second law of thermodynamics would require
$s_d/n_d\gt s_u/n_u$
. In a collisionless shock, the downstream plasma may not reach thermodynamic equilibrium even well beyond the shock transition, and the above requirement does not hold. The search for irreversible processes in the observed collisionless shock front using the entropy variation across the shock should focus on the variation of the entropy flux rather than on the entropy density or entropy per particle.
Acknowledgements
Editor Antoine C. Bret thanks the referees for their advice in evaluating this article.
Funding
The work performed at SSI was supported by NSF grant 2512084. Computational resources were provided by the NASA High-End Computing (HEC) Program through the NASA Advanced Supercomputing (NAS) Division at Ames Research Center and by Texas Advanced Computing Center (TACC) at the University of Texas at Austin. Access to TACC resources was provided by the Frontera Pathways allocation PHY23034. M.G. was supported by BSF grant 2024801. This work was partially supported by the International Space Science Institute (ISSI) in Bern through International Team project no. 23-575.
Declaration of interests
The authors report no conflict of interest.

