1. Introduction
In a neutral fluid or in magnetohydrodynamics (MHD), the density, velocity or pressure jump of a shockwave can be straightforwardly determined from the conservation equations (Zel'dovich & Raizer Reference Zel'dovich and Raizer2002; Kulsrud Reference Kulsrud2005). In contrast, theoretical works dealing with shocks density profile or corrugations, are analytically more involved because they need to go beyond the conservation laws and deal with the proper dynamics of the fluid (Wouchuk Reference Wouchuk2001; Landau & Lifshitz Reference Landau and Lifshitz2013; Lemoine, Ramos & Gremillet Reference Lemoine, Ramos and Gremillet2016).
The goal of this article is to contribute to the second kind of study by proposing an analytical theory of weak shocks which could prove useful, for example, when studying the interaction of a shock with an obstacle (Chaudhuri et al. Reference Chaudhuri, Hadjadj, Sadot and Ben-Dor2013). In the theory of shockwaves, the density, velocity and pressure jumps are derived from the conservation equations, while the shock profile is secondary. Here, we work the other way around. We start from an analytical expression for the density profile, then check the fulfilment of the conservations laws and finally derive the jumps.
The theory exposed in the following is limited to weak shocks because it relies on the following premise. In a homogenous fluid of density $\rho _0$
, deviations from equilibrium of amplitude $\delta \rho \ll \rho _0$
can be analysed using linear theory. It should then be possible to consider a weak shockwave of amplitude $\delta \rho$
as a weak perturbation of the medium, hence analysable in terms of linear modes. In § 2 of this article, we show that up to a good approximation, this program can be achieved in neutral fluid. In § 3, we find it is impossible to achieve in a collisionless ion/electron plasma. In the conclusion, we stress that what is achieved here for neutral fluids can also be achieved for MHD fluids. We also discuss the possible reasons why collisionless shocks escape the procedure.
2. Weak shocks in fluids as a sum of linear modes
Consider then a fluid at rest with homogenous density $\rho _0$
. We study deviations from equilibrium of the form,
with $\rho _1 \ll \rho _0$
. Assume now that at time $t=0$
the density profile of a weak shock has,
with $\delta \rho \ll \rho _0$
. Can it be expressed as a superposition of linear acoustic modes?
The linear acoustic modes of a fluid are of the form,
where $c_s$
is the speed of sound in the medium. At $t=0$
, (2.3) reads $\rho (x,0) = \varphi (k) \, {\rm e}^{{\rm i}k x}$
so that, at this time, the possibility of expressing the profile (2.2) as a sum of linear modes simply stems for the possibility of Fourier expanding it. Fourier expansion at time $t=0$
provides $\varphi (k)=-{\rm i}/k{\rm \pi}$
. We can therefore write,
It is interesting to observe how (2.4) reconstructs the shock density profile, as an increasing number of $k$
values are accounted for. To this extent, we define,
Figure 1 plots this function for 3 values of $\kappa$
. It takes large $k$
values to reproduce the sharp front.
Reconstruction of the shock profile from (2.5) with $\delta \rho =0.1$
.

2.1. Propagating the wave packet
It is straightforward to propagate the profile defined by (2.4), replacing $x \rightarrow x + c_s t$
to obtain a leftward propagation. The result reads,
which is a superposition of normal modes of the form (2.3). In addition,
We thus find that choosing the same $\varphi (k)$
, the superposition of linear modes (2.3) produces a propagating weak shock of amplitude $\delta \rho$
.
2.2. Velocity field
To further study our weak shock we need to determine the velocity field. To this extent, consider the conservation of matter equation,
we derive at first orderFootnote 1 ,
From (2.6) we obtain the time derivative of $\rho _1$
as,
so that,
and,

Therefore, a velocity jump of amplitude $2c_s\delta \rho /\rho _0$
propagates at $c_s$
, together with the density jump (2.6). The ${\rm const.}$
in this expression reflects the fact that it holds in any frame of reference. In the following we shall work in the frame of the shock front, setting ${\rm const.}=c_s$
.
2.3. Conserved quantities
Shockwave theory usually begins with the conservation of matter, momentum and energy. Here, we built the shock from normal modes, without alluding to these laws. We now check them.
To this extent, we work in the shock frame. In this frame, we have from (2.7) and (2.12),

For the conservation of matter, momentum and energy, we therefore check the conservation of the quantities $\rho v$
, $\rho v^2 + P$
and $\rho v^2/2 + \gamma P/(\gamma -1)$
, respectively ($\gamma$
is the adiabatic index of the fluid). That is,
(a) Conservation of matter
(2.14)\begin{align} \rho v = \left\{\begin{aligned} & (\rho_0-\delta\rho)c_s\left(1+\dfrac{\delta\rho}{\rho_0}\right) =\rho_0c_s\left(1-\dfrac{\delta\rho^2}{\rho_0^2} \right), & x<0, \\ & (\rho_0+\delta\rho)c_s\left(1-\dfrac{\delta\rho}{\rho_0}\right) =\rho_0c_s\left(1-\dfrac{\delta\rho^2}{\rho_0^2} \right), & x>0. \end{aligned} \right. \end{align}Matter is therefore exactly conserved through the front. With $P=\rho c_s^2/\gamma$
(see e.g. Landau & Lifshitz (Reference Landau and Lifshitz2013), § 64) we check the conservation of momentum and energy.(b) Conservation of momentum,
(2.15)\begin{align} \rho v^2 + P = \left\{\begin{aligned} & (\rho_0 - \delta\rho)c_s^2\left(1+\dfrac{\delta\rho}{\rho_0} \right)^2 + (\rho_0 - \delta\rho)\dfrac{c_s^2}{\gamma}\\ & \quad =\rho_0c_s^2\left( \dfrac{\gamma+1}{\gamma} + \dfrac{\gamma-1}{\gamma}\dfrac{\delta\rho}{\rho_0}- \left(\dfrac{\delta\rho}{\rho_0}\right)^2-\left(\dfrac{\delta\rho}{\rho_0}\right)^3 \right), & x<0, \\ & (\rho_0 + \delta\rho)c_s^2\left(1-\dfrac{\delta\rho}{\rho_0} \right)^2 + (\rho_0 + \delta\rho)\dfrac{c_s^2}{\gamma}\\ & \quad =\rho_0c_s^2\left( \dfrac{\gamma+1}{\gamma} - \dfrac{\gamma-1}{\gamma}\dfrac{\delta\rho}{\rho_0}- \left(\dfrac{\delta\rho}{\rho_0}\right)^2+\left(\dfrac{\delta\rho}{\rho_0} \right)^3\right), & x>0. \end{aligned} \right. \end{align}Momentum is therefore conserved up to order 0 in $\delta \rho$
, save for the specific case $\gamma =1$
where it is conserved up to second order in $\delta \rho$
. This would correspond to an isothermal gas which radiates the shock energy and maintains a constant temperature. In all other cases, momentum conservation is maintained only up to order 0 in $\delta \rho$
.(c) Conservation of energy,
(2.16)\begin{align} \frac{\rho v^2}{2} + \frac{\gamma}{\gamma -1} P = \left\{\begin{aligned} & \dfrac{1}{2}\rho_0 c_s^2\left( \dfrac{\gamma+1}{\gamma-1} + \dfrac{\gamma-3}{\gamma-1}\dfrac{\delta\rho}{\rho_0} - \left(\dfrac{\delta\rho}{\rho_0}\right)^2-\left(\dfrac{\delta\rho}{\rho_0} \right)^3 \right), & x<0, \\ & \dfrac{1}{2}\rho_0 c_s^2\left( \dfrac{\gamma+1}{\gamma-1} - \dfrac{\gamma-3}{\gamma-1}\dfrac{\delta\rho}{\rho_0} - \left(\dfrac{\delta\rho}{\rho_0}\right)^2+\left(\dfrac{\delta\rho}{\rho_0} \right)^3 \right), & x>0. \end{aligned} \right. \end{align}Energy is therefore conserved up to order 0 in $\delta \rho$
for any $\gamma$
.
In summary, matter is exactly conserved while momentum and energy are conserved to order 0 in $\delta \rho$
. Such a discrepancy is due to the entropy jump, which vanishes in our case since it arises from the crossing of a structure eventually made up of linear Vlasov modes. However, since for a real weak shock, the entropy difference scales like $\delta \rho ^3$
(Landau & Lifshitz Reference Landau and Lifshitz2013, § 86), considering it is 0 does yields incorrect results for the jump of the other quantities.
2.4. Jumps and equivalent Mach number
We can write the density jump of the shock as,
Conversely, the velocity jump reads,

Finally, the pressure jump reads,
Now, according to the shockwave theory (Thorne & Blandford Reference Thorne and Blandford2017, p. 905),

where $\mathcal {M}$
is the shock Mach number. It appears that, at first order in $(\mathcal {M}-1)$
, the pressure and density jumps are equal. Noticing from (2.17) and (2.19) that our built-up shock also has the same density and pressure jumps, we can assign it an equivalent Mach number $\mathcal {M}_{\rm eq}$
by equating the Taylor expansions (2.17) and (2.20),
giving,
The shock that we just built from the superposition of linear modes mimics a weak fluid shocks with a Mach number given by (2.22).
3. Collisionless shocks
In a collisionless electron/proton plasma, ion acoustic waves (IAW) follow the dispersion,

where $T_e$
is the electronic temperature and $\lambda _D$
the Debye length. These waves are Landau damped for $k>k_m= \lambda _D^{-1}\sqrt {T_e/T_p}$
, $T_p$
being the protonic temperature (Thorne & Blandford Reference Thorne and Blandford2017, p. 1047). If the shock profile is to be given by an expression of the form,
then again, setting $t=0$
implies $\varphi (k)$
is the Fourier transform of $\rho _1(x,0)$
. Assuming for example a step function at $t=0$
as in § 2, (3.2) then propagates it for $t \neq 0$
. After some algebra we get,

where the integration is over $[-k_m,k_m]$
instead of $[-\infty,\infty ]$
to account for the Landau damping. Setting,
gives

Setting $X_s=X+\tau$
to follow the propagation, we get

with,
Equation (3.6) is plotted in figure 2(a)Footnote 2. It appears that the initial shape is not propagated without distortion. Figure 2(b) shows the same calculation, but for an initial profile given by $\arctan (x/\lambda _D)$
. Again, propagation distorts the profile.
Density profile $\rho (X_s,\tau ) = 1+0.2\rho _1(X_s,\tau )$
, for $T_e/T_p=1$
. Here, $\delta \rho$
is set to 0.2 for more clarity. (a) Initial step function at $t=0$
. (b) Initial $\arctan (x/\lambda _D)$
function at $t=0$
.

Considering the form of (3.1), the patterns match qualitatively the analysis of Krall (Reference Krall1997) (smaller wavelengths travel slower, hence trail behind the front). However, stationarity is not achieved in any frame.
Indeed we now prove that because of the form of the dispersion (3.1), it is impossible to build a IAW wave packet that does not distort when propagating.
Assume then a IAW wave packet of the form,
To see if it can result in a stationary structure in a frame moving at speed $V$
, we first operate $x \rightarrow X + Vt$
with $V\in \mathbb {R}$
, and form the time derivative of the resulting expression,
If the packet (3.8) is to be stationary in some frame at velocity $V$
then the expression above must vanish $\forall (X,t)$
. In particular, setting $t=0$
must give,
so that the Fourier transform of the function $F(u)=(uV-\omega _u) \varphi (u)$
must be 0. This implies $F(u)=0$
, that is, $\omega _u=uV$
or trivially $\varphi (u)=0$
.
Therefore, unless $\exists V \in R/\omega _u=uV$
, it is impossible to build a IAW packet which is stationary is some frame. Conversely, if $\exists V\in \mathbb {R}/\omega _u= uV$
, then any superposition of linear acoustic modes propagates without distortion since all the harmonics propagate at the same speed $V$
.
Note that the problem does not come from the limited integration domain in (3.3) imposed by Landau damping, but from the dispersive form of $\omega _k$
in (3.1).
4. Conclusion
We considered building up a weak shock from a superposition of linear modes. The attempt is successful for any medium where the dispersion relation is of the form $\omega _k = kV$
. Conservation laws are met exactly for matter, and up to order 0, in powers of the shock amplitude, for the momentum and the energy.
As long as the linear modes of the fluid are of the form (2.3), that is, enjoy an acoustic dispersion like $\omega (k) = k c, c\in \mathbb {R}$
, the reasoning above holds. In particular, the dispersion of the fast, intermediate and slow MHD modes read $\omega =k c_+$
, $\omega =k c_A$
and $\omega =k c_-$
, where $c_A$
is the Alfvén speed and $c_\pm$
the velocity of the fast and slow modes (Kulsrud Reference Kulsrud2005, ch. 5). The reasoning above applies therefore to the 3 kinds of weak MHD shocks, substituting $c_s$
by the corresponding velocity.
For collisionless plasma, the program cannot be realized, precisely because the dispersion relation is not of the suitable form. Nonlinear frequency shifts to (3.1) have been studied by Berger et al. (Reference Berger, Brunner, Chapman, Divol, Still and Valeo2013) and Affolter et al. (Reference Affolter, Anderegg, Dubin, Valentini and Driscoll2019)Footnote 3. Yet, they still do not result in a dispersionless expression for $\omega _k$
, which is a necessary condition to form a stationary profile in a moving frame, as proved in § 3.
The failure of our program for collisionless shocks can have two origins:
• Weak collisionless shocks are intrinsically nonlinear phenomena which cannot be captured by any superposition of linear modes. This would be in line with, for example, the theory of shocks in viscous fluids, where an analytical profile can be found (Landau & Lifshitz Reference Landau and Lifshitz2013, § 93) while the linear modes are all damped by viscosity (Zel'dovich & Raizer Reference Zel'dovich and Raizer2002, ch. 1, § 22). Similar considerations apply to solitons in a plasma (Tran Reference Tran1979).
Closely related is the long-known fact that collisionless shocks are possible because nonlinear wave steepening balances the spreading of the wave packet due to dispersion (see Tidman & Krall Reference Tidman and Krall1971, ch. 6, Galeev Reference Galeev and Williams1976; Kennel, Edmiston & Hada Reference Kennel, Edmiston and Hada1985; Balogh & Treumann Reference Balogh and Treumann2013, § 2.1.4). Yet, introducing such effects, be it phenomenologically, would go against the main idea of our model which is precisely to reconstruct a shock from a superposition of linear modes.
• An extremely weak collisionless shock, with Mach number $1+\varepsilon$
, cannot exist. That would be coherent with the model of Bret & Narayan (Reference Bret and Narayan2018) for collisionless shocks in pair plasmas, where no solutions could be found for Mach numbers lower than 1.34. Note that this latter model has been found correct for strong shocks (Haggerty, Bret & Caprioli Reference Haggerty, Bret and Caprioli2021).
To our knowledge, no particle-in-cell simulations of collisionless shocks for Mach number $\mathcal {M} < 2$
have been achieved so farFootnote 4. Future numerical works with $1<\mathcal {M} < 2$
could help in resolving the present issue.
Acknowledgements
Thanks are due to I. Hutchinson for enriching discussions.
Editor William Dorland thanks the referees for their advice in evaluating this article.
Funding
A.B. acknowledges support by grants ENE2016-75703-R from the Spanish Ministerio de Economía y Competitividad and SBPLY/17/180501/000264 from the Junta de Comunidades de Castilla-La Mancha. R.N. acknowledges support from the NSF Grant No. AST- 1816420. R.N. thanks the Black Hole Initiative at Harvard University for support. The BHI is funded by grants from the John Templeton Foundation and the Gordon and Betty Moore Foundation.
Declaration of interest
The authors report no conflict of interest.










