1 Introduction

The physics of ultrarelativistic heavy ion collisions is to a large extent determined by that of the Little Bang – evolution of hot and dense predominantly gluon matter created at the initial stage of these collisions, see [1] for a recent review. One of the characteristic features of this early evolution is a large pressure anisotropy due to formation of glasma flux tubes [2]. A standard way of describing expansion, cooling and subsequent transformation into final hadrons is to use the framework of relativistic dissipative hydrodynamics, see e.g. [3,4,5]. The large difference between longitudinal and transverse pressure leads to a necessity of going beyond standard viscous hydrodynamics by summing over velocity gradients to all orders. A candidate theory of this sort is relativistic anisotropic hydrodynamics, see e.g. [6, 7] and the review papers [8,9,10] covering its both theoretical and phenomenological aspects. A non-additive generalisation of relativistic anisotorpic hydrodynamics was recently suggested in [11]. To analyse possible physical consequences of the pressure anisotropy it is of interest to study the anisotropic versions of specific phenomena such as sound propagation and shock waves.

Sound propagation and Mach cone formation in anisotropic relativistic hydrodynamics was considered in [12]. The present paper is devoted to the analysis of shock wave solutions. The shock wave solutions in ideal relativistic hydrodynamics are known for a long time, see e.g. [13,14,15]. As to the viscous relativistic hydrodynamics, the shock wave solutions in its Israel-Stewart version were shown to exist only for small Mach numbers, i.e. for weak shock waves [16, 17]. It is therefore interesting that shock wave solutions for anisotropic relativistic hydrodynamics (i.e. for a theory including gradients of velocity to all orders) considered in the present paper are constructed as direct generalization of the corresponding solutions in the ideal relativistic hydrodynamics and are valid for arbitrarily strong shock waves.

In applications to heavy ion physics the effects of shock waves were mostly discussed for low energy collisions [18,19,20]. An important exception is the study of [21, 22] of transverse shock waves generated in the primordial turbulent gluon/minijet medium in high energy heavy ion collisions. With modern glasma type understanding of the essentially anisotropic nature of this medium it is of interest to rethink the results of [21, 22] in terms of transverse shocks generated in anisotropic relativistic hydrodynamics. The present paper is a first step in this direction.

2 Shock waves in anisotropic relativistic hydrodynamics

2.1 Shock wave discontinuity in isotropic relativistic hydrodynamics

In this section we set the framework of subsequent analysis by reminding of the necessary information on shock wave discontinuity in isotropic relativistic hydrodynamics [13,14,15]. We focus on the shock wave solution in the ideal fluid characterised by the energy-momentum tensor

$$\begin{aligned} T_{\mu \nu } = (\varepsilon + P) U^\mu U^\nu - P g^{\mu nu} \end{aligned}$$
(1)

where \(\varepsilon \) is energy density, P is the pressure and \(U^\mu \) is the four-vector of the flow velocity satisfying \(U_\mu U^\mu = 1\). In this case, the shock wave is described by a discontinuous solution of the equations of motion such that components of energy-momentum tensor normal to the discontinuity hypersurface are discontinuous across it while tangential ones remain continuous.

The energy–momentum conservation then leads to the following matching condition linking downstream and upstream projections on the direction perpendicular to the discontinuity surface:

$$\begin{aligned} T_{\mu \nu } N^\mu = T^{'}_{\mu \nu } N^\mu , \end{aligned}$$
(2)

where \(N^\mu \) - unit vector normal to the discontinuity surface and \( T_{\mu \nu } \) and \( T^{'}_{\mu \nu } \) correspond to upstream and downstream energy–momentum tensors correspondingly.

A quantitative description of a shock wave is that of a transformation of pressure, entropy S and normal component of velocity v across the shock wave surface:

$$\begin{aligned} (P,S,v) \;\; \Rightarrow \;\; (P',S',v'). \end{aligned}$$
(3)

In this paper we will consider only the case of a compression shock wave for which \(P'>P\), \(S'>S\) and \(v'<v\) (see a detailed derivation of the expression for the velocity drop below). The ratio \(\sigma =P'/P\) will be considered as a parameter characterising the shock wave solution.

Using the explicit expression the energy–momentum tensor (1) we get

$$\begin{aligned} (\varepsilon + P)U_\mu N^\mu U_\nu - P N_\nu = (\varepsilon ^{'} + P^{'})U^{'}_\mu N^\mu U^{'}_\nu - P^{'} N_\nu . \nonumber \\ \end{aligned}$$
(4)

Taking the product of Eq. (4) with \(U^\nu \) and \(U^{'\nu }\) one can obtain the following system:

$$\begin{aligned} (\varepsilon + P^{'}) x&= (\varepsilon ^{'} + P^{'}) A x^{'}, \end{aligned}$$
(5)
$$\begin{aligned} (\varepsilon ^{'} + P) x^{'}&= (\varepsilon + P) A x , \end{aligned}$$
(6)

where we have defined \(x=U_\mu N^\mu \), \( x^{'} = U^{'}_\mu N^\mu \) and \(A = U^{'}_\nu U^\nu \). We get

$$\begin{aligned} (\varepsilon + P^{'}) (\varepsilon + P) x^2 = (\varepsilon ^{'} + P) (\varepsilon ^{'} + P^{'}) x^{'2}. \end{aligned}$$
(7)

The vector \(N^\mu \) must be space-like, \(N^\mu N_\mu <0 \), for discontinuity surface to propagate inside the light cone and thus be subluminal [14]. After multiplying equation (4) by \(N_\mu \) one finds

$$\begin{aligned} N_\nu N^\nu = \frac{1}{P - P^{'}} \Big [ (\varepsilon + P)x^2 - (\varepsilon ^{'} + P^{'}) x^{'2} \Big ], \end{aligned}$$
(8)

and, using (7) one gets

$$\begin{aligned} N_\mu N^\mu&= \frac{\varepsilon ^{'} + P^{'}}{\varepsilon + P^{'}} \Bigg [ 1 - \frac{\varepsilon - \varepsilon ^{'}}{P - P^{'}} \Bigg ] = \frac{\varepsilon + P}{\varepsilon ^{'} + P} \Bigg [ 1 - \frac{\varepsilon - \varepsilon ^{'}}{P - P^{'}} \Bigg ]. \end{aligned}$$
(9)

The subliminality condition \(N_\mu N^\mu <0\) is thus insured by the following inequality

$$\begin{aligned} \frac{\varepsilon - \varepsilon ^{'}}{P - P^{'}} > 1. \end{aligned}$$
(10)

In ultra-relativistic case, then \(\varepsilon = 3P\), the inequality (10) is trivially satisfied.

For the discussion below it is useful to remind an expression for the upstream and downstream velocities [15] in the ultrarelativistic case. Choosing \(N^\mu = (0, 1, 0, 0)\) and 4-velocity vector of the form \(U^\mu = (U^0, U_x, 0, 0)\) we get:

$$\begin{aligned} 4 P U_x U_0&= 4 P^{'} U^{'}_x U^{'}_0, \end{aligned}$$
(11)
$$\begin{aligned} - 4 P U_x^2 - P&= - 4 P^{'} U^{'2}_x - P^{'}. \end{aligned}$$
(12)

so that in terms in terms of the velocity components \(v_i = U_i/U_0\)

$$\begin{aligned} v_x = \sqrt{\frac{3\sigma + 1}{3(\sigma + 3)}}, \quad v_x^{'} = \sqrt{\frac{\sigma + 3}{3(3\sigma + 1)}}. \end{aligned}$$
(13)

A compact characterisation of the velocity transformation (13) across the shock wave front is given by relative difference between upstream and downstream velocities

$$\begin{aligned} \delta _{\mathrm{iso}} = \frac{v'_x-v_x}{v_x} =-\frac{2}{3 \sigma +1} (\sigma -1) \end{aligned}$$
(14)

For the considered case of a compression shock wave \(P'>P\) one has \(\sigma >1\) and, therefore, it follows from (14) that \(\delta _{\mathrm{iso}} <0\) so that the flow velocity indeed drops across the compression shock wave front. Let us also note that

$$\begin{aligned} \rho _{\mathrm{iso}} = v_x v'_x = \frac{1}{3}=c^2_s \end{aligned}$$
(15)

where \(c_s\) is a speed of sound.

One of the main topics of the analysis below is the one of the velocity transformation \(\mathbf{v} \rightarrow \mathbf{v'}\) in anisotropic relativistic hydrodynamics generalising the formulae (14) and (15) for the isotropic case.

2.2 Anisotropic relativistic hydrodynamics

Our treatment of anisotropic relativistic hydrodynamics will follow the kinetic theory – founded approach of [6, 23, 24] based on working with a specific ansatz for a distribution function

$$\begin{aligned} f(x,p) = f_{iso}\Bigg ( \frac{\sqrt{p^\mu \varXi _{\mu \nu }(x) p^\nu }}{\varLambda (x)}\Bigg ), \end{aligned}$$
(16)

where \(\varLambda (x)\) is a coordinate-dependent temperature-like momentum scale and \(\varXi _{\mu \nu }(x)\) quantifies coordinate-dependent momentum anisotropy. In what follows we consider one-dimensional anisotropy so that \( (p^\mu \varXi _{\mu \nu }p^\nu = {\mathbf {p}}^2 +\xi (x) p_\parallel ^2)\) in the local rest frame (LRF). To obtain a transparent parametrisation of the energy–momentum tensor in anisotropic hydrodynamics it is convenient to rewrite the four-vector \(U^\mu (x)\) in terms of the longitudinal rapidity \(\vartheta (x)\), the timelike velocity \(u_0\) and transverse velocities \(u_x, u_y\)

$$\begin{aligned} U^\mu = (u_0 \cosh \vartheta , u_x, u_y, u_0 \sinh \vartheta ) \end{aligned}$$
(17)

where \(u_0^2=1+u_x^2+u_y^2\) and define a space-like unit vector

$$\begin{aligned} Z^\mu = (\sinh \vartheta , 0,0, \cosh \vartheta ) \end{aligned}$$
(18)

such that \(Z^\mu Z_\mu = -1\) which is orthogonal to \(U^\mu \), \(Z_\mu U^\mu =0\).

Using a standard definition for energy-momentum tensor as the second moment of the distribution function

$$\begin{aligned} T^{\mu \nu } = \int \frac{d^3 p}{(2\pi )^2 p_0} p^\mu p^\nu f_{iso}\Bigg (\frac{\sqrt{p^\mu \varXi _{\mu \nu }(x)p^\nu }}{\varLambda (x)}\Bigg ) \end{aligned}$$
(19)

one can derive the following equation for the energy-momentum tensor \(T^{\mu \nu }\):

$$\begin{aligned} T^{\mu \nu } = (\varepsilon + P_\perp )U^\mu U^\nu - P_\perp g^{\mu \nu } + (P_\parallel - P_\perp )Z^\mu Z^\nu , \end{aligned}$$
(20)

\(P_\parallel \) and \(P_\perp \) is longitudinal (towards anisotropy direction) and transverse pressure respectively. In the LRF the expression (20) takes the form

$$\begin{aligned} T^{\mu \nu } = \mathrm{diag} (\varepsilon ,P_\perp ,P_\perp ,P_\parallel ) \end{aligned}$$
(21)

Let us note that in the ultra-relativistic case the condition of the tracelessness of the energy-momentum tensor leads to the relation \(\varepsilon = 2P_\perp + P_\parallel \).

The dependence on the anisotropy parameter \(\xi \) can be factorised so that

$$\begin{aligned} \varepsilon&= \int \frac{d^3 p}{(2\pi )^2} p^0 f_{iso}\Bigg (\frac{\sqrt{\mathbf{p }^2 + \xi (x) p_\parallel ^2}}{\varLambda (x)}\Bigg ) = R(\xi ) \varepsilon _{iso} (\varLambda ), \end{aligned}$$
(22)
$$\begin{aligned} P_\perp&= \int \frac{d^3 p}{(2\pi )^2} \frac{p_\perp ^2}{2 p_0}f_{iso}\Bigg (\frac{\sqrt{\mathbf{p }^2 + \xi (x) p_\parallel ^2}}{\varLambda (x)}\Bigg ) {=} R_\perp (\xi ) P_{iso} (\varLambda ), \end{aligned}$$
(23)
$$\begin{aligned} P_\parallel&= \int \frac{d^3 p}{(2\pi )^2} \frac{p_\parallel ^2}{p_0}f_{iso}\Bigg (\frac{\sqrt{\mathbf{p }^2 + \xi (x) p_\parallel ^2}}{\varLambda (x)}\Bigg ) = R_\parallel (\xi ) P_{iso} (\varLambda ), \end{aligned}$$
(24)

where the anisotropy-dependent factors \(R_\perp (\xi )\) and \(R_\parallel (\xi )\) read [23, 24]

$$\begin{aligned} R_\perp (\xi )= & {} \frac{3}{2\xi } \Bigg ( \frac{1 + (\xi ^2-1)R(\xi )}{1+\xi }\Bigg ), \nonumber \\ R_\parallel (\xi )= & {} \frac{3}{\xi } \Bigg ( \frac{(\xi +1)R(\xi ) -1}{1+\xi }\Bigg ), \end{aligned}$$
(25)

where, in turn,

$$\begin{aligned} R(\xi ) = \frac{1}{2} \Bigg ( \frac{1}{1+\xi } + \frac{\arctan \sqrt{\xi }}{\sqrt{\xi }}\Bigg ). \end{aligned}$$
(26)

Let us note that the anisotropy factors (25, 26) are related by the following useful formula:

$$\begin{aligned} 2 R_\perp (\xi ) + R_\parallel (\xi ) = 3 R(\xi ) \end{aligned}$$
(27)

In the preceding paper [12] we have derived the following equation describing propagation of sound in relativistic anisotropic hydrodynamics with longitudinal anisotropy:

$$\begin{aligned} \partial ^2_t \; n^{(1)} = \left( c^2_{s \perp } \; \partial ^2_\perp + c^2_{s \parallel } \; \partial ^2_z \right) n^{(1)} \end{aligned}$$
(28)

where \(n^{(1)}\) is a (small) density fluctuation and \(c_{s \perp }\) and \(c_{s \parallel }\) stand for anisotropy-dependent transverse and longitudinal speed of sound respectively. The explicit expressions for \(c^2_{s \perp }\) and \(c^2_{s \parallel }\) read [12]:

$$\begin{aligned} c^2_{s \perp } = \frac{R_\perp }{2 R_\perp + R_\parallel }, \quad c^2_{s \parallel } = \frac{R_\parallel }{2 R_\perp + R_\parallel }. \end{aligned}$$
(29)

Using Eq. (27) the expressions (29) can be rewritten in the following simple form:

$$\begin{aligned} c^2_{s \perp } = \frac{R_\perp }{3 R}, \quad c^2_{s \parallel } = \frac{R_\parallel }{3 R} \end{aligned}$$
(30)

2.3 Transverse and longitudinal shock waves

2.3.1 Transverse normal shock wave

Let us first consider a description of a transverse shock wave. Due to the symmetry in \(Oxy\)-plane, it sufficient to consider its propagation along the x axis and, correspondingly, choose the following basis:

$$\begin{aligned} U_\mu&= (u_0, u_x, 0, 0), \quad Z_\mu = (0, 0, 0, 1), \end{aligned}$$
(31)
$$\begin{aligned} U^{'}_\mu&= (u^{'}_0, u^{'}_x, 0, 0), \quad Z^{'}_\mu = Z_\mu = (0, 0, 0, 1). \end{aligned}$$
(32)

Similarly to the example from relativistic hydrodynamics, consider the case when the normal vector is directed along the \(Ox\)-axis \(N^\mu = (0,1,0,0 )\) (solution for the case of an arbitrary \(N^\mu \) see Appendix B). In the ultrarelativistic case The matching conditions (2) then lead to the following system of equations:

$$\begin{aligned}&(3P_\perp + P_\parallel )u_0 u_x - (3P^{'}_\perp + P^{'}_\parallel ) u^{'}_0\, u^{'}_x = 0, \end{aligned}$$
(33)
$$\begin{aligned}&(3P_\perp + P_\parallel )u_x^2 + P_\perp -(3P^{'}_\perp + P^{'}_\parallel ) (u^{'}_x)^2 - P^{'}_\perp = 0. \end{aligned}$$
(34)

From the Eqs. (3334) we find expressions for the velocities \(u_x, \ u_x^{'}\):

$$\begin{aligned} u_x&= \frac{v_x}{u_0} = \sqrt{\frac{(P_\perp - P^{'}_\perp ) (P_\parallel ^{'} + P_\perp + 2P_\perp ^{'})}{(2P_\perp - P_\parallel - 2P^{'}_\perp + P^{'}_\parallel )(P_\parallel ^{'} + 2P_\perp + P_\perp ^{'})}}, \end{aligned}$$
(35)
$$\begin{aligned} u_x^{'}&= \frac{v'_x}{u'_0} = \sqrt{\frac{(P_\perp - P^{'}_\perp )(P_\parallel ^{'} + 2P_\perp + P_\perp ^{'})}{(2P_\perp - P_\parallel - 2P^{'}_\perp + P^{'}_\parallel )(P_\parallel ^{'} + P_\perp + 2P_\perp ^{'})}}, \end{aligned}$$
(36)

It is assumed that the anisotropy parameter does not change near the shock wave, since anisotropy is related to the properties of the medium, thus \(\xi ^{'} = \xi \). Using the formulae (13)–(26) for the transverse and longitudinal pressure and anisotropy factors one gets the following expressions for the upstream and downstream velocities \(v_x\) and \(v_x^{'}\):

$$\begin{aligned} v_x (\sigma , \xi )= & {} \sqrt{\frac{R_\perp (3 \sigma R + R_\perp )}{3R(R_\perp \sigma + 3 R))}}, \nonumber \\ v_x^{'} (\sigma , \xi )= & {} \sqrt{\frac{R_\perp (R_\perp \sigma + 3 R)}{3R(3 \sigma R + R_\perp )}}, \end{aligned}$$
(37)

where, as before, \(\sigma = P^{'}_{iso} / P_{iso}\).

Using the expressions (37) we can calculate the relative difference \(\delta _\perp (\xi \vert \sigma )\) and the product \(\rho _\perp (\xi )\) of the upstream and downstream velocities

$$\begin{aligned} \delta _\perp (\xi \vert \sigma )= & {} \frac{v'_x - v_x}{v_x} = -(\sigma - 1) \frac{3R - R_\perp }{3\sigma R + R_\perp } \end{aligned}$$
(38)
$$\begin{aligned} \rho _\perp (\xi )= & {} v_x v_x^{'} = \frac{R_\perp }{3R} . \end{aligned}$$
(39)

Let us note that the dependence on \(\sigma \) of the velocities (37) cancels in their product \(\rho _\perp (\xi )\) in (39).

Recalling the fact that the product of upstream and downstream velocities in the isotropic case is equal to the speed of sound squared, see Eq. (15), one can identify such a product for the transverse shock wave with a transverse speed of sound squared

$$\begin{aligned} \rho _\perp (\xi ) = c^2_{s \perp } \end{aligned}$$
(40)

Comparing Eq. (39) and the first equation in (30) we see that this definition leads to an expression identical to that following from the equation for sound propagation in relativistic anisotropic hydrodynamics derived in [12].

In the isotropic limit \(\xi \rightarrow 0\)

$$\begin{aligned} \left. \delta _\perp (\xi \vert \sigma ) \right| _{\xi \rightarrow 0} \rightarrow \delta _{\mathrm{iso}}, \;\;\; \left. \rho _\perp (\xi ) \right| _{\xi \rightarrow 0} \rightarrow \rho _{\mathrm{iso}}, \end{aligned}$$
(41)

where \(\delta _{\mathrm{iso}}\) and \( \rho _{\mathrm{iso}}\) were defined in Eqs. (14) and (15).

In the opposite limit of \(\xi \rightarrow \infty \)

$$\begin{aligned} \left. \delta _\perp (\xi \vert \sigma ) \right| _{\xi \rightarrow \infty } \rightarrow -(\sigma -1)\frac{1}{2 \sigma +1} , \;\;\; \left. \rho _\perp (\xi ) \right| _{\xi \rightarrow \infty } \rightarrow \frac{1}{2},\nonumber \\ \end{aligned}$$
(42)

The functions \(\delta _\perp (\xi \vert \sigma )\) and \(\rho _\perp (\xi )\) are plotted in Figs. 1, and 2.

2.3.2 Longitudinal normal shock wave

Similar calculations can be carried out for the longitudinal shock wave propagating along the anisotropy axis. In this case we choose

$$\begin{aligned} U_\mu = (\cosh \vartheta , 0, 0, \sinh \vartheta ),\quad Z_\mu = (\sinh \vartheta , 0, 0, \cosh \vartheta ).\nonumber \\ \end{aligned}$$
(43)

Proceeding analogously to the previously considered case for the transverse shock wave we get

$$\begin{aligned} v_z (\sigma , \xi )= & {} \sqrt{\frac{R_\parallel (3\sigma R + R_\parallel )}{3R(R_\parallel \sigma + 3R))}}, \nonumber \\ v_z^{'} (\sigma , \xi )= & {} \sqrt{\frac{R_\parallel (R_\parallel \sigma + 3R)}{3R(3 \sigma R + R_\parallel )}}. \end{aligned}$$
(44)

The corresponding expressions for \(\delta _\parallel (\xi \vert \sigma )\) and \(\rho _\parallel (\xi )\) read

$$\begin{aligned} \delta _\parallel (\xi )= & {} \frac{v'_z - v_z}{v_z} = -(\sigma - 1) \frac{3R - R_\parallel }{3\sigma R + R_\parallel } \end{aligned}$$
(45)
$$\begin{aligned} \rho _\parallel (\xi )= & {} v_z v_z^{'} = \frac{R_\parallel }{3R} \end{aligned}$$
(46)

Defining analogously to (40)

$$\begin{aligned} \rho _\parallel (\xi ) = c^2_{s \parallel } \end{aligned}$$
(47)

and comparing Eq. (46) with the second equation in (30) we see that like in the transverse case this definition leads to an expression identical to that following from the equation for sound propagation in relativistic anisotropic hydrodynamics derived in [12].

In the isotropic limit \(\xi \rightarrow 0\)

$$\begin{aligned} \left. \delta _\parallel (\xi \vert \sigma ) \right| _{\xi \rightarrow 0} \rightarrow \delta _{\mathrm{iso}}, \;\;\; \left. \rho _\parallel (\xi ) \right| _{\xi \rightarrow 0} \rightarrow \rho _{\mathrm{iso}}. \end{aligned}$$
(48)

In the opposite limit of \(\xi \rightarrow \infty \)

$$\begin{aligned} \left. \delta _\parallel (\xi \vert \sigma ) \right| _{\xi \rightarrow \infty } \rightarrow -(\sigma -1)\frac{1}{ \sigma } , \;\;\; \left. \rho _\parallel (\xi ) \right| _{\xi \rightarrow \infty } \rightarrow 0. \end{aligned}$$
(49)

The functions \(\delta _\parallel (\xi \vert \sigma )\) and \(\rho _\parallel (\xi )\) are plotted, together with their counterparts \(\delta _\perp (\xi \vert \sigma )\) and \(\rho _\perp (\xi )\), in Figs. 1, and 2.

Fig. 1
figure 1

Plot of the relative velocity differences \(\delta _\perp (\xi \vert \sigma )\) (38) for \(\sigma =5\) (dotted line) and \(\sigma =10\) (solid line) and \(\delta _\parallel (\xi \vert \sigma )\) (45) for \(\sigma =5\) (dash-dotted line) and \(\sigma =10\) (dashed line) as functions of the anisotropy parameter \(\xi \). A decrease (increase) in \(\delta _{\perp ,\parallel }(\xi \vert \sigma )\) indicates weakening (strengthening) of the shock wave

Fig. 2
figure 2

Plots of the transverse \(c_{s\perp }\) (39) (solid) and longitudinal \(c_{s\parallel }\) (46) (dashed) speed of sound as functions of the anisotropy parameter \(\xi \) in units of the speed of light

2.3.3 Comparison between normal transverse and longitudinal shock waves

From Figs. 1, and 2 we see that the anisotropy dependence of the relative rapidity drop \(\delta _\perp (\xi \vert \sigma )\) and velocities product \(\rho _\perp (\xi )\) and that of their longitudinal counterparts \(\delta _\parallel (\xi \vert \sigma )\) and \(\rho _\parallel (\xi )\) are of different character. We see in particular that while both \(\delta _\perp (\xi \vert \sigma )\) and \(\rho _\perp (\xi )\) grow with \(\xi \), their longitudinal counterparts \(\delta _\parallel (\xi \vert \sigma )\) and \(\rho _\parallel (\xi )\) decay with increasing anisotropy.

From Fig. 1 we see that starting from the same (negative) value \(\delta _{\mathrm{iso}}\) at \(\xi =0\), the relative velocity drop \(\delta _\perp (\xi \vert \sigma )\) grows with \(\xi \) towards its asymptotic value given in (42). This means that the velocity gap for the transverse shock wave shrinks with growing \(\xi \) so that the transverse shock wave weakens with increasing anisotropy. On the contrary, the relative velocity drop \(\delta _\parallel (\xi \vert \sigma )\) decays with \(\xi \) towards it asymptotic value given in (49) with, therefore, the relative velocity gap for the longitudinal shock wave widening with growing \(\xi \) so that the longitudinal shock wave strengthens with increasing anisotropy. At asymptotically large anisotropies \(\xi \rightarrow \infty \) the gap between the transverse and longitudinal relative velocity drop reaches

$$\begin{aligned} \left. \left( \delta _\perp (\xi \vert \sigma ) - \delta _\parallel (\xi \vert \sigma ) \right) \right| _{\xi \rightarrow \infty } \;\; \rightarrow \;\; \frac{(\sigma -1)^2}{\sigma (2 \sigma +1)} \end{aligned}$$
(50)

As to the anisotropy behaviour of the velocities product or, equivalently, the corresponding speed of sound squared, from Fig. 2 we see that the transverse speed of sound \(c_{s\perp }\) grows from \(1/\sqrt{3}\) at \(\xi =0\) to \(1/\sqrt{2}\) at \(\xi \rightarrow \infty \) while the longitudinal one \(c_{s\parallel }\) decays from the same value \(1/\sqrt{3}\) at \( \xi =0 \) to 0 at \(\xi \rightarrow \infty \). Since the existence of a shock wave is possible only when the flow moves with a velocity greater than the speed of sound, a much lower flow velocity is required for the shock wave generation in the direction of anisotropy. Therefore, for larger anisotropies formation of longitudinal shock waves is becomes progressively easier while that of transverse ones is, on the contrary, becoming more difficult.

2.4 Normal shock wave at an arbitrary polar angle

In this section we develop a description of a normal shock wave incident at an arbitrary angle with respect to the anisotropy direction, i.e. in the considered case to the z (beam) axis. A major new element we are going to encounter is that, in contrast with the above-considered cases of transverse and longitudinal shock waves, in this case a transformation \(\mathbf{v} \rightarrow \mathbf{v'}\) of the upstream velocity \(\mathbf{v}\) to the downstream one \(\mathbf{v'}\) involves changes both in the absolute value of the flow velocity and the direction of its propagation, see Fig. 3.

Fig. 3
figure 3

Transformation of flow velocity by the shock wave front. Upstream flow moves with velocity \(v\) at an angle \(\alpha \) to the direction of anisotropy (beam axis) and downstream flow moves with velocity \(v^{'}\) at an angle \(\alpha ^{'}\) to the beam axis

To characterise the transformation \(\mathbf{v} \rightarrow \mathbf{v'}\) we introduce the following variables describing changes in the absolute value and direction of flow velocity across the shock wave front:

$$\begin{aligned} \delta _{\alpha \; \alpha '} (\xi ) = \frac{\vert \mathbf{v'} (\xi \vert \alpha ) \vert - \vert \mathbf{v} (\xi \vert \alpha ') \vert }{\vert \mathbf{v (\xi \vert \alpha )} \vert }, \quad \beta (\xi ) = \alpha ' (\xi ) - \alpha \end{aligned}$$
(51)

where \(\delta _{\alpha \alpha '} (\xi ) \) generalises the variables \(\delta _\perp (\xi \sigma )\) and \(\delta _\parallel (\xi \sigma )\) defined in (39) and (46) correspondinglyFootnote 1.

2.4.1 General equations

Let us consider a flow moving at an angle \(\alpha \) to the direction of the beam axis (Fig. 3). To simplify formulae due to the symmetry in the \(Oxy\) plane one can consider flow propagation in the \(Oxz\) plane. Let us express \(U_\mu \) and \(Z_\mu \) through longitudinal rapidity \(\theta \)

$$\begin{aligned} U_\mu&= (u_0 \cosh \vartheta , u_x, 0, u_0 \sinh \vartheta ), \end{aligned}$$
(52)
$$\begin{aligned} Z_\mu&= (\sinh \vartheta , 0,0, \cosh \vartheta ), \end{aligned}$$
(53)

introduce transverse rapidities \(\gamma , \gamma '\) by

$$\begin{aligned} u_x&= \sinh \gamma , \ \ u_0 = \cosh \gamma , \end{aligned}$$
(54)
$$\begin{aligned} u^{'}_x&= \sinh \gamma ^{'}, \ \ u^{'}_0 = \cosh \gamma ^{'} \end{aligned}$$
(55)

and denote the difference between angles \(\alpha ^{'}\) and \(\alpha \) denote as \(\beta \). The corresponding formulae for the components of flow velocity read

$$\begin{aligned} v_x&= \frac{u_x}{u_0} = \frac{\tanh \gamma }{\cosh \vartheta } = v \cos \alpha , \nonumber \\ v_z&= \frac{u_z}{u_0} = \tanh \vartheta = v \sin \alpha , \end{aligned}$$
(56)
$$\begin{aligned} v_x^{'}&= \frac{u_x^{'}}{u_0^{'}} = \frac{\tanh \gamma ^{'}}{\cosh \vartheta ^{'}} = v^{'} \cos \alpha ^{'}, \nonumber \\ v_z^{'}&= \frac{u_z^{'}}{u_0^{'}} = \tanh \vartheta ^{'} = v^{'} \sin \alpha ^{'} . \end{aligned}$$
(57)

From Eqs. (56, 57) one gets the following expressions for \(\vartheta , \vartheta ^{'} \):

$$\begin{aligned} \vartheta= & {} {{\,\mathrm{arctanh}\,}}\big [ \tanh \gamma \tan \alpha \big ], \nonumber \\ \vartheta ^{'}= & {} {{\,\mathrm{arctanh}\,}}\big [ \tanh \gamma ^{'} \tan \alpha ^{'} \big ]. \end{aligned}$$
(58)

Let us choose the following parametrisation for the components of the vector normal to the discontinuity surface:

$$\begin{aligned} N_\mu = (0, \sin \alpha , 0, \cos \alpha ). \end{aligned}$$
(59)

With the parametrisation (59) the matching conditions (2) take the following form:

$$\begin{aligned}&-(3P_\perp + P_\parallel )\cosh \gamma \cosh \vartheta \, \nonumber \\&\quad ( \sinh \gamma \cos \alpha + \cosh \gamma \sinh \vartheta \sin \alpha ) \nonumber \\&+ (3P^{'}_\perp + P^{'}_\parallel )\cosh \gamma ^{'} \cosh \vartheta ^{'} \, \nonumber \\&\quad ( \sinh \gamma ^{'} \cos \alpha + \cosh \gamma ^{'} \sinh \vartheta ^{'} \sin \alpha ) \nonumber \\&+ (P_\perp - P_\parallel )\sinh \vartheta \cosh \vartheta \sin \alpha \nonumber \\&- (P^{'}_\perp - P^{'}_\parallel )\sinh \vartheta ^{'} \, \cosh \vartheta ^{'} \sin \alpha = 0, \end{aligned}$$
(60)
$$\begin{aligned}&- (3P_\perp + P_\parallel )\cosh \gamma \sinh \vartheta \, \nonumber \\&\quad (\sinh \gamma \cos \alpha + \cosh \gamma \sinh \vartheta \sin \alpha ) - P_\perp \sin \alpha \nonumber \\&+ (3P^{'}_\perp + P^{'}_\parallel )\cosh \gamma ^{'} \sinh \vartheta ^{'} \, \nonumber \\&\quad (\sinh \gamma ^{'} \cos \alpha + \cosh \gamma ^{'} \sinh \vartheta ^{'} \sin \alpha ) + P^{'}_\perp \sin \alpha \nonumber \\&+ (P_\perp - P_\parallel )\cosh \vartheta \, \cosh \vartheta \sin \alpha \nonumber \\&\quad - (P^{'}_\perp - P^{'}_\parallel )\cosh \vartheta ^{'} \, \cosh \vartheta ^{'} \sin \alpha = 0, \end{aligned}$$
(61)
$$\begin{aligned}&- (3P_\perp + P_\parallel )\sinh \gamma (\sinh \gamma \cos \alpha + \cosh \gamma \sinh \eta \sin \alpha ) \nonumber \\&\quad - P_\perp \cos \alpha \nonumber \\&+(3P^{'}_\perp + P^{'}_\parallel )\sinh \gamma ^{'} (\sinh \gamma ^{'} \cos \alpha + \cosh \gamma ^{'} \sinh \vartheta ^{'} \sin \alpha ) \nonumber \\&\quad + P^{'}_\perp \cos \alpha = 0, \end{aligned}$$
(62)

The Eqs. (60)–(62) constitute a system of equations for three unknowns \(\gamma , \gamma ^{'}, \alpha ^{'}\) that depend on three parameters \(\sigma , \xi , \alpha \) that is solved numerically. The formulae (56, 57) then translate a solution for \(\gamma , \gamma ^{'}, \alpha ^{'}\) into vectors of upstream and downstream velocities.

2.4.2 Flow deflection by the shock wave front

In isotropic relativistic hydrodynamics, a normal shock wave changes only the absolute value of the incident flow velocity, but not the direction of the flow passing through it. Our analysis of transverse and longitudinal normal shock waves in Sects. 2.3.1 and 2.3.2 has shown that in these cases deflection of the incident flow is absent in anisotropic hydrodynamics as well. However, it turns out that this is no longer true for normal shock waves incident at an arbitrary polar angle. In this case the flow is deflected by the shock wave front so that in notations of Fig. 3 one has \(\alpha ^{'} \ne \alpha \).

In Fig. 4 we plot the deflection angle \(\beta = \alpha ^{'} - \alpha \) as a function of the incidence angle \(\alpha \) for several values of \(\sigma \) and anisotropy parameter \(\xi \). In all the cases the function \(\beta (\alpha )\) takes negative values and has a minimum at some \(\alpha ^*\). At fixed \(\xi \) the depth of this minimum grows with \(\sigma \). At fixed \(\sigma \) with growing \(\xi \) the minimum a) gets deeper and b) its position shifts towards smaller \(\alpha \). Let us note that for strong anisotropy, large \(\sigma \) and incidence angles \(\alpha \le \pi / 4 \) we have flow deviation from the initial direction by almost \(\pi /2\) so that the upstream flow tends to propagate along the shock wave front.

Fig. 4
figure 4

Plot of the deflection angle \(\beta = \alpha ^{'} - \alpha \) as a function of the initial angle \(\alpha \) for \(\sigma = 2\) (dashed line), \(\sigma =5\) (dotted line) and \(\sigma =10\) (dash-dotted line) for \(\xi = 5\) (top left), \(\xi = 20\) (top right), \(\xi = 100\) (bottom left), \(\xi = 1000\) (bottom right). Each plot contains the limiting curve \(\sigma \rightarrow \infty , \ \xi \rightarrow \infty \) (solid line)

Let us note that from the bottom plots of Fig. 4 we see that for large anisotropies one observes a rapid change of regimes indicating an existence of effective instability at small angles \(\alpha \).

2.4.3 Transformation \(\vert \mathbf{v (\xi )} \vert \rightarrow \vert \mathbf{v' (\xi )} \vert \)

To characterise the transformation \(\vert \mathbf{v (\xi )} \vert \rightarrow \vert \mathbf{v' (\xi )} \vert \) let us first consider the anisotropy dependence of the absolute value of upstream velocity \(v_\alpha (\xi ) \equiv \vert \mathbf{v (\xi \vert \alpha )} \vert \) at different incidence angles \(\alpha \), \(\alpha \in [0,\pi /2]\). The resulting curves are shown in Fig. 5 for two different values of \(\sigma \).

Fig. 5
figure 5

Plots of the absolute value of upstream velocity \( \vert \mathbf{v (\xi \vert \alpha )} \vert \) as a function of the anisotropy parameter \( \xi \) for \(\alpha =\pi /2\) (solid), \(\alpha =2\pi /3\) (dashed), \(\alpha =\pi /4\) (dotted), \(\alpha =\pi /6\) (dash-dotted) and \(\alpha =0\) (long dash) for \(\sigma = 5\) (left) and \(\sigma = 10\) (right)

From Fig. 5 we see, for both values of \(\sigma \), a transition from convex decaying \( v_\alpha (\xi ) \) at small incidence angles \(\alpha \) to concave growing pattern at large incidence angles. The transition between the two patterns takes place at \(\alpha _{\mathrm{crit}} \sim \pi /4\).

Second, let us analyse the anisotropy dependence of the absolute value of downstream velocity \(v'_\alpha (\xi ) \equiv \vert \mathbf{v' (\xi \vert \alpha )} \vert \) at different incidence angles \(\alpha \), \(\alpha \in [0,\pi /2]\). The resulting curves are shown in Fig. 6 for the same values of \(\sigma \) as in Fig. 5.

Fig. 6
figure 6

Plots of the absolute value of downstream velocity \( \vert \mathbf{v' (\xi \vert \alpha )} \vert \) as a function of the anisotropy parameter \( \xi \) for \(\alpha =\pi /2\) (solid), \(\alpha =2\pi /3\) (dashed), \(\alpha =\pi /4\) (dotted), \(\alpha =\pi /6\) (dashed-dotted) and \(\alpha =0\) (long dash) for \(\sigma = 5\) (left) and \(\sigma = 10\) (right)

The behaviour of \(v'_\alpha (\xi )\) is characterised by two different patterns. The transition between them, similarly to the above-considered case of upstream velocity, also takes place at \(\alpha _{\mathrm{crit}} \sim \pi /4\):

  • In the interval of incidence angles \(\alpha \in (0,\pi /4)\) a growth at large anisotropies is preceded by the minimum at some \(\xi ^*(\alpha )\) such that \(\xi ^* (\alpha ) \rightarrow 0\) at \(\alpha \rightarrow \alpha _{\mathrm{crit}}\) and \(\xi ^* (\alpha ) \rightarrow \infty \) at \(\alpha \rightarrow 0\). A detailed illustration of this pattern is presented in Fig. 7.

  • In the interval of incidence angles \(\alpha \in (\pi /4,\pi /2)\), similarly to the behaviour of \(v_\alpha (\xi )\) in the same interval of angles, the function \(v'_\alpha (\xi )\) is a concave growing one smoothly approaching the limiting curve for the transverse shock wave at at \(\alpha =\pi /2\); Let us note that at small angles the form of \(v'_\alpha (\xi )\) is extremely sensitive to the value of \(\alpha \), see Fig. 8, possibly indicating an unstable velocity transformation pattern of the “almost longitudinal” shock waves.

Fig. 7
figure 7

Plots of the absolute value of downstream velocity \( \vert \mathbf{v' (\xi \vert \alpha )} \vert \) as a function of the anisotropy parameter \( \xi \) for \(\alpha =20^{\circ }\) (solid), \(\alpha =15^{\circ }\) (dashed), \(\alpha =10^{\circ }\) (dotted), \(\alpha =5^{\circ }\) (dash-dotted) and \(\alpha =0\) (long dash) for \(\sigma = 5\) (left) and \(\sigma = 10\) (right)

Fig. 8
figure 8

Plots of the absolute value of downstream velocity \( \vert \mathbf{v' (\xi \vert \alpha )} \vert \) as a function of the anisotropy parameter \( \xi \) for small incidence angles \(\alpha =2^{\circ }30^{'}\) (solid), \(\alpha =2^{\circ }\) (dashed), \(\alpha =1^{\circ }30^{'}\) (dotted), \(\alpha =1^{\circ }\) (dash-dotted) and \(\alpha =0^{\circ }30^{'}\) (long dash) for \(\sigma = 5\) (left) and \(\sigma = 10\) (right)

2.4.4 Transformation \(\vert \mathbf{v} \vert \rightarrow \vert \mathbf{v'} \vert \): angular dependence

Let us start our analysis of the angular dependence of velocity transformation \(\vert \mathbf{v} \vert \rightarrow \vert \mathbf{v'} \vert \) with studying the angular dependence of the pattern of anisotropy dependence of the relative change of the absolute value of velocity \(\delta _{\alpha \alpha '} (\xi )\) defined in Eq. (51) induced by a superposition of the corresponding patterns for \(\vert \mathbf{v (\xi \vert \alpha )} \vert \) and \(\vert \mathbf{v' (\xi \vert \alpha )} \vert \) studied in the previous paragraph 2.4.3.

As seen at Fig. 9, for each shock wave incidence angle \(\alpha \in (0,\pi /2)\) at some critical anisotropy \(\xi ^* (\alpha )\) the relative velocity drop \(\delta _{\alpha \alpha '} (\xi ) \) changes its sign. This means that at sufficiently large anisotropies the rarefaction shock wave pattern with \(\delta _{\alpha \alpha '} (\xi ) <0\) turns into the compression shock wave one with \(\delta _{\alpha \alpha '} (\xi ) >0\) corresponding to acceleration of the flow by the shock wave so that we see a dramatic anisotropy-induced transition in the very nature of shock waves in anisotropic relativistic hydrodynamics.

Fig. 9
figure 9

Plots of the relative change of the absolute value of velocity \(\delta _{\alpha \alpha '} (\xi ) \) as a function of anisotropy parameter for \(\alpha =30^{\circ }\) (solid), \(\alpha =20^{\circ }\) (dashed), \(\alpha =10^{\circ }\) (dotted), \(\alpha =3^{\circ }\) (dash-dotted) and \(\alpha =0\) (long dash) for \(\sigma = 5\) (left) and \(\sigma = 10\) (right)

Let us now turn to the analysis the relative change of the absolute value of velocity \(\delta _{\alpha \alpha '} (\xi ) \) as a function of the incidence angle \(\alpha \) at fixed \(\xi \). In Figs. 10, 11 we plot this dependence for several relatively small (Fig. 10) and very large (Fig. 11) values of the anisotropy parameter and four different values of \(\sigma \) in Fig. 10 and \(\sigma =100\) in Fig. 11.

From Figs. 10, 10 we see that the superposition of the angular dependencies of \(\vert \mathbf{v (\xi \vert \alpha )} \vert \) and \(\vert \mathbf{v' (\xi \vert \alpha )} \vert \) leads to a hump-backed pattern for \(\delta _{\alpha \alpha '} (\xi ) \) with the hump moving from large to small angles and becoming more pronounced with increasing anisotropy.

For large \(\sigma \) and \(\xi \) there appears an interval of angles in which \(\delta _{\alpha \alpha '} (\xi ) \) changes its sign and, therefore, a shock wave pattern changes from the rarefaction to the compression one. The width of this interval grows with \(\sigma \).

Fig. 10
figure 10

Plots of the relative change of the absolute value of velocity \(\delta _{\alpha \alpha '} (\xi ) <0\) as a function of the incidence angle \(\alpha \) for \(\xi =2\) (solid), \(\xi =5\) (dashed), \(\xi =10\) (dotted), \(\xi =15\) (dash-dotted) and \(\xi =25\) (long dash) for \(\sigma = 2\) (top left), \(\sigma = 5\) (top right), \(\sigma = 10\) (bottom left) and \(\sigma = 20\) (bottom right)

Fig. 11
figure 11

Plots of the relative change of the absolute value of velocity \(\delta _{\alpha \alpha '} (\xi ) \) as a function of the incidence angle \(\alpha \) for large values of the anisotropy parameter \(\xi =30\) (solid), \(\xi =70\) (dashed), \(\xi =100\) (dotted) and \(\xi =150\) (dash-dotted)

Fig. 12
figure 12

Plot of the location of the maximum of the relative change of the absolute value of velocity \(\delta _{\alpha \alpha '} (\xi )\). Warmer tones correspond to its positive values and colder tones to the negative ones. White color corresponds to the values close to zero. For large anisotropies the white band defines three types of shock waves: weak shock wave, shock wave with deceleration of the flow, strong shock wave

Fig. 13
figure 13

Left: plots of the anisotropy dependence of the transverse momentum \(p_T (\alpha \vert \xi )\) for \(\xi =0\) (solid), \(\xi =10\) (dotted) and \(p^{'}_T (\alpha \vert \xi )\) for \(\xi =0\) (dashed), \(\xi =10\) (dashed-dotted). Right: plots of the anisotropy dependence of the transverse momentum \(p_T (\alpha \vert \xi )\) for \(\xi =40\) (solid), \(\xi =10\) (dotted) and \(p^{'}_T (\alpha \vert \xi )\) for \(\xi =40\) (dashed), \(\xi =10\) (dashed-dotted)

Fig. 14
figure 14

Left: plots of the anisotropy dependence of the longitudinal momentum \(p_L (\alpha \vert \xi )\) for \(\xi =0\) (solid), \(\xi =10\) (dotted) and \(p^{'}_L (\alpha \vert \xi )\) for \(\xi =0\) (dashed), \(\xi =10\) (dashed-dotted). Right: plots of the anisotropy dependence of the longitudinal momentum \(p_L (\alpha \vert \xi )\) for \(\xi =40\) (solid), \(\xi =10\) (dotted) and \(p^{'}_L (\alpha \vert \xi )\) for \(\xi =40\) (dashed), \(\xi =10\) (dashed-dotted)

In Fig. 12 we plot a position of the hump in the \((\xi ,\sigma )\) plane.

From Fig. 12 we see that \(\delta (\alpha ) \) touches zero for two values of \(\sigma \). For small \(\sigma \) and \(\xi \) the dependence is nonlinear. For anisotropy parameters \(\xi \) below a certain value, as \(\sigma \) grows, \(\delta \) does twice undergo a transition between negative and positive values. Thus, for such values of \(\xi \), there are two possible types of shock waves with a feature typical for compression shock waves - a deceleration of the upstream flow. The first type of waves is characterised by small values of \(\sigma \) while for the second type \(\sigma \) takes large values that grow almost linearly with increasing \(\xi \).

2.4.5 Transformation \((p_T,p_L) \rightarrow (p^{'}_T,p^{'}_L)\): angular dependence

Of particular interest for describing the effects of the downstream and upstream flows related to shock wave formation for heavy ion collisions are the associated transverse and longitudinal momenta that contribute to transverse momentum and rapidity spectra. For a shock wave incident at polar angle \(\alpha \) the corresponding transverse and longitudinal momenta for the upstream flow read

$$\begin{aligned} p_T = p \sin \alpha , \quad p_L = p \cos \alpha . \end{aligned}$$
(63)

Analogous formulae hold for the downstream flow. The resulting angular dependencies \(p_T (\alpha \vert \xi )\), \(p^{'}_T (\alpha ^{'} \vert \xi )\), \(p_L (\alpha \vert \xi )\) and \(p^{'}_L(\alpha ^{'} \vert \xi )\) are shown, for several values of \(\xi \), in Figs. 13 and 24 correspondingly.

We see from Fig. 13 that in comparison to isotropic production there takes place a reversion of \(p^{'}_T\) at small incidence angles \(\alpha < \alpha ^*_T (\xi )\) and more \(p^{'}_T\) is produced at large incidence angles \(\alpha ^*_T (\xi )< \alpha <\pi /2\) where \(\alpha ^*_T (\xi )\) is an anisotropy - dependent scale separating the regimes of transverse momentum reversal at small \(\alpha \) and its enrichment at large \(\alpha \).

As to the longitudinal momenta, in Fig. 13 we observe, in comparison to the isotropic case, a pattern of depletion of longitudinal momentum at small angles \(\alpha < \alpha ^*_L (\xi )\) and its enhancement at large angles \(\alpha ^*_L (\xi )< \alpha <\pi /2\) where \(\alpha ^*_L (\xi )\) is a regime-dividing scale different from its transverse counterpart \(\alpha ^*_L (\xi )\).

3 Conclusions

Let us summarise the main results obtained in the paper:

  • General equations describing shock waves in relativistic anisotropic hydrodynamics were derived.

  • In distinction with the second order viscous relativistic hydrodynamics these equations are valid for arbitrarily strong shock waves.

  • Solutions describing normal shock waves incident at an arbitrary angle with respect to collision axis as well as transverse and longitudinal shock waves were obtained and compared with the corresponding results for the isotropic case.

  • A new phenomenon of anisotropy – related angular deflection of the upstream flow was described.

  • Transformation of velocities and momenta by the shock wave front was analysed.

In our view among the problems worth further studies the most interesting and pressing one is an analysis of entropy transformation by the shock wave front in relativistic anisotropic hydrodynamics. It is well known that anisotropy gives rise to a new source of entropy production in anisotropic hydrodynamics so it is very interesting to see how the standard pattern of entropy production by shock waves in isotropic hydrodynamics changes in the anisotropic case. We plan to address this problem in the near future.