1. Introduction
Accretion around supermassive black holes (SMBHs) is a fundamental process that shapes galactic evolution and the growth of cosmic structures. Modelling the complex turbulent gas flow near the horizon of an SMBH remains a key problem in high-energy astrophysics (Abramowicz & Fragile Reference Abramowicz and Fragile2013; Blaes Reference Blaes2013; Yuan & Narayan Reference Yuan and Narayan2014). This problem has recently gained unprecedented attention following the pioneering horizon-scale observations of the SMBHs in M87 and Sgr A* by the Event Horizon Telescope (EHT) (Akiyama et al. Reference Akiyama2019, Reference Akiyama2022a ). Interpreting EHT images typically relies on ideal general relativistic magnetohydrodynamics (GRMHD) to model the highly magnetised and relativistic gas flow near the event horizon (Porth et al. Reference Porth2019; Akiyama et al. Reference Akiyama2022b ; Narayan et al. Reference Narayan, Chael, Chatterjee, Ricarte and Curd2022; Dhruv et al. Reference Dhruv, Prather, Wong and Gammie2025b ). However, the extreme temperatures and sub-Eddington accretion rates characteristic of these sources suggest the plasma is fundamentally weakly collisional or collisionless (Mahadevan & Quataert Reference Mahadevan and Quataert1997; Chandra et al. Reference Chandra, Gammie, Foucart and Quataert2015). In these regimes, the ideal fluid approximation breaks down as the mean free path for collisions exceeds the characteristic gravitational scale of the system, leading to significant non-ideal effects such as pressure anisotropy, heat conduction along magnetic field lines, and thermal disequilibrium in the ion and electron distribution functions (Galishnikova et al. Reference Galishnikova, Philippov, Quataert, Bacchini, Parfrey and Ripperda2023; Vos et al. Reference Vos, Cerutti, Mościbrodzka and Parfrey2025).
When flow speeds are non-relativistic and gravity is Newtonian, there are well-developed models, such as Navier–Stokes theory and kinetic magnetohydrodynamics (KMHD), which can be used to model non-ideal effects (Landau & Lifshitz Reference Landau and Lifshitz1987; Kulsrud Reference Kulsrud2004). The same situation is not true in relativity. Historically, the first approaches, such as those of Eckart (Reference Eckart1940) and Landau & Lifshitz (Reference Landau and Lifshitz1987), generalised the non-relativistic Navier–Stokes theory to include heat conduction, bulk viscosity and shear viscosity. It was realised that naively extending the non-relativistic Navier–Stokes theory to relativity leads to acausal behaviour – due to the parabolic nature of the equations – and generic instabilities (Hiscock & Lindblom Reference Hiscock and Lindblom1985). However, the recently developed Bemfica–Disconzi–Noronha–Kovtun (BDNK) theory (Bemfica, Disconzi & Noronha Reference Bemfica, Disconzi and Noronha2018; Kovtun Reference Kovtun2019; Bemfica et al. Reference Bemfica, Disconzi and Noronha2022) has demonstrated that these pathologies are not intrinsic to first-order derivative expansions, but are instead a consequence of the ill-defined choice of variables, such as velocity and temperature out of equilibrium – the so-called choice of a ‘hydrodynamic frame’. By employing a more general hydrodynamic frame than the Eckart and Landau–Lifshitz frames, BDNK showed that one could ensure causality and stability within a first-order framework.
Conversely, a more traditional route for maintaining finite propagation speeds in relativistic dissipation theories is to use a relativistic extension of Grad’s 14-moment approximation (Grad Reference Grad1949) to obtain the Mueller–Israel–Stewart (MIS) theories (Müller & Ruggeri Reference Müller and Ruggeri1993; Israel & Stewart Reference Israel and Stewart1979; Denicol et al. Reference Denicol, Niemi, Molnár and Rischke2012, Reference Denicol, Huang, Molnár, Monteiro, Niemi, Noronha, Rischke and Wang2018). As a ‘second-order’ theory, MIS promotes dissipative fluxes – such as the shear stress tensor and heat flux – to independent dynamical variables that evolve towards their Navier–Stokes values over finite relaxation time scales. In the black hole accretion context, this MIS framework has been adapted into the ‘Extended MHD’ (EMHD) model by Chandra et al. (Reference Chandra, Gammie, Foucart and Quataert2015); Foucart et al. (Reference Foucart, Chandra, Gammie and Quataert2015, Reference Foucart, Chandra, Gammie, Quataert and Tchekhovskoy2017); Dhruv et al. (Reference Dhruv, Prather, Chandra, Joshi and Gammie2025a ). EMHD uses an MIS-type to incorporate non-ideal effects such as pressure anisotropy and thermal conduction along magnetic field lines, successfully recovers the collisional Braginskii theory (Braginskii Reference Braginskii1958) in the non-relativistic limit, is causal and stable under certain conditions (Cordeiro et al. Reference Cordeiro, Speranza, Ingles, Bemfica and Noronha2024), and has been extended to include multi-species flows (Most & Noronha Reference Most and Noronha2021; Most, Noronha & Philippov Reference Most, Noronha and Philippov2022).
The dissipative theories discussed already, whether based on the first-order BDNK or second-order MIS/EMHD framework, rely on collisions to mediate non-ideal effects and require all plasma species to be close to local thermal equilibrium. This assumption can fail for sources like M87 or Sgr A* (Ho Reference Ho2009), where a more direct link to collisionless particle kinetics is needed to capture strong deviations from thermal equilibrium and to model kinetic instabilities such as the mirror and fire-hose instabilities (Gary Reference Gary1993; Howes et al. Reference Howes, Dorland, Cowley, Hammett, Quataert, Schekochihin and Tatsuno2008; Kunz et al. Reference Kunz, Schekochihin and Stone2014). The first-principles approach to modelling kinetic effects is to numerically evolve the distribution function of each species in the plasma using particle-in-cell (PIC) simulations. While such PIC simulations provide a microscopic picture of kinetic effects, the vast separation of scales between the particle gyroradius and macroscopic fluid motion makes these calculations highly computationally intensive (Galishnikova et al. Reference Galishnikova, Philippov, Quataert, Bacchini, Parfrey and Ripperda2023; Vos et al. Reference Vos, Cerutti, Mościbrodzka and Parfrey2025).
For non-relativistic fluid flows, a common macroscopic approach to model weakly collisional plasmas is to use the KMHD equations (Kulsrud Reference Kulsrud1983). In this approach, a strong magnetic field provides effective collisionality and cohesion, forcing the kinetic plasma to behave like a fluid. The strong magnetic force confines the particles to gyrate along the magnetic field lines. Assuming a large-scale separation between the particle gyroradius and the macroscopic fluid motion allows one to obtain an evolution equation for the gyroaveraged plasma distribution function. Combining conservation laws for number density, momentum and energy with quasi-neutrality yields a set of kinetic equations coupled to hydrodynamic equations that can be evolved to understand the effect of particle kinetics on the fluid flow. In practice, solving the gyroaveraged kinetic equation is almost as expensive as a PIC simulation. Moreover, determining the parallel electric field and ensuring that the firehose and mirror instabilities evolve in a consistent manner requires careful numerical treatment, see Section 5 of Juno, Hakim & TenBarge (Reference Juno, Hakim and TenBarge2025). Therefore, one usually uses the moments of the gyrokinetic equation to understand the evolution of thermodynamic variables, such as the pressure parallel and perpendicular to the magnetic fields. A consistent formulation of the moment equations for the pressure variables requires one to obtain closure relations for the heat fluxes, which can reproduce the behaviour of the kinetic equation and capture the Landau damping in the system (Hammett & Perkins Reference Hammett and Perkins1990; Snyder, Hammett & Dorland Reference Snyder, Hammett and Dorland1997; Goswami, Passot & Sulem Reference Goswami, Passot and Sulem2005; Hunana et al. Reference Hunana, Tenerani, Zank, Goldstein, Webb, Khomenko, Collados, Cally, Adhikari and Velli2019).
The main goal of this paper is to extend the KMHD framework to general relativity. We do this by analysing the Vlasov–Maxwell equations in a general curved space–time and make no approximation on the nature of the distribution function or the stress energy tensor of the fluid (Gedalin Reference Gedalin1991; Gedalin & Oiberman Reference Gedalin and Oiberman1995). Assuming a large-scale separation between particle kinetics and macroscopic fluid motion allows us to derive the drift kinetic equations for the gyrotropic distribution function directly from the Vlasov–Maxwell equations. We also analyse the linear plasma response of relativistic plasma in detail and provide definitions for the relativistic plasma response function. By matching the linear kinetic response with a fluid response (Snyder et al. Reference Snyder, Hammett and Dorland1997), we provide a consistent closure relationship for the heat fluxes parallel and perpendicular to the magnetic field. Our closure relationship is analytic in the ultra-relativistic limit and does not rely on a Chapman–Enskog-like collisional expansion of the distribution function (TenBarge, Hazeltine & Mahajan Reference TenBarge, Hazeltine and Mahajan2008).
The theoretical framework derived here should complement the PIC approach in understanding the gyrokinetic effects in black hole accretion and provide a route to understand the effects of pressure anisotropy (Sharma et al. Reference Sharma, Hammett and Quataert2003, Reference Sharma, Hammett, Quataert and Stone2006; Kunz et al. Reference Kunz, Schekochihin and Stone2014), turbulence (Schekochihin et al. Reference Schekochihin, Cowley, Dorland, Hammett, Howes, Quataert and Tatsuno2009; Kunz, Stone & Quataert Reference Kunz, Stone and Quataert2016) and magnetic immutability (Squire et al. Reference Squire, Kunz, Arzamasskiy, Johnston, Quataert and Schekochihin2023) in a relativistic context. The rest of the paper describes our results in detail and is organised as follows. In § 2, we present the derivation of the KMHD equations in general relativity, starting from the Vlasov–Maxwell equations. We also discuss the evolution equations for the moments of the distribution function and the Chew–Goldberger–Low (CGL) equations (Chew, Goldberger & Low Reference Chew, Goldberger and Low1956) in relativity. Section 3 analyses the linear response of an initially anisotropic plasma and provides analytic expressions for the evolution of the moments of the distribution function. We then present a Landau fluid closure in the ultra-relativistic limit in § 4 and show that our closure captures the Landau damping. We present our conclusions in § 5 and relegate most of the technical details to the Appendix. We use geometric units throughout the paper and use the mostly positive metric signature. A list of the most important equations in the paper is presented in table 1.
List of the most important equations in the paper.

Table 1. Long description
A table with two columns: Description and Equation number. The Description column lists various theoretical concepts such as Drift kinetic equation, Evolution of the gyroaveraged moments, Relativistic plasma response function, KMHD linear response, and Closure for heat fluxes. The Equation number column provides corresponding equation references such as Equation 2.25, Equations 2.34 and 2.40, Equation 3.17 and Appendix C, Equation 3.18, and Equation 4.3.
2. Kinetic MHD equations in general relativity
In this section, we derive the KMHD equations in relativity starting from the Vlasov–Maxwell equations. We set up our notation and recall the Vlasov–Maxwell equations in general relativity in § 2.1. Next, we perform a formal expansion in gyro-radius to obtain the kinetic-MHD equations in § 2.2. In § 2.3, we derive the evolution equations for the moments of the distribution function, focusing on the evolution equations for the pressure parallel and perpendicular to the magnetic field. We discuss the double adiabatic limit of the evolution equations in § 2.4. Readers interested in the final equations can skip directly to § 2.5, where we summarise the important equations obtained in this section. A short summary of different hydrodynamic frames and the relationship between MHD and force-free dynamics is provided in Appendix F.
Before we begin, we set up some notation. In this section, we study the Vlasov–Maxwell equations on a fixed four-dimensional space–time with metric
$g$
. We assume the plasma has
$S$
different particles. The charge, mass and one-particle distribution function of species
$s$
are denoted by
$q_{s}$
,
$m_{s} \gt 0$
and
$f_{s}$
, respectively. We denote the electromagnetic field tensor by
$F_{\alpha \beta }$
. Instead of working on the phase space
$(x,p)$
, where
$p^{\mu }$
is the momentum, we work in
$(x,k)$
space, where
$k^{\mu } = p^{\mu }/m_s$
is the velocity of the particle. Given a function
$\mathcal{I}(x,k)$
, we use
$\left \langle \mathcal{I} \right \rangle _{s}$
to denote its average with respect to the distribution function
$f_s$
,
We also sometimes use
$\left \langle \mathcal{I}\right \rangle$
without any subscript to denote the average of the function over the velocity space,
2.1. Vlasov–Maxwell equations
The Vlasov–Maxwell equations on phase space
$(x,k)$
are given by (Sarbach & Zannias Reference Sarbach and Zannias2013)
\begin{align} & \boldsymbol{\nabla} ^{\mu } F_{\mu \nu } = -4 \pi \sum _{s=1}^{S} q_{s} N_{\nu }^{s} , \end{align}
where
$\varGamma ^{\alpha }_{\mu \nu }$
are the Christoffel symbols,
$\mathcal{C}_s$
is the collision operator and
$N^{\mu }_{s}$
is the number density current,
The first and second moments of the Vlasov equations yield the conservation laws for the number density and stress–tensor of species
$s$
,
where
$T^{\mu \nu }_{s} \equiv m_{s} \left \langle k^{\mu } k^{\nu } \right \rangle _{s}$
. Given a timelike vector
$U^{\mu }$
, we decompose
$N^{\mu }_{s}$
and
$T^{\mu \nu }_{s}$
as
In terms of the moments of the distribution function, the decomposition is given by
where
$n_{s}$
is the number density,
$V_{s}^{\mu }$
is the particle diffusion current,
$\mathcal{E}_{s}$
is the energy density,
$\mathcal{P}_{s}$
is the pressure,
$\mathcal{Q}^{\mu }_{s}$
is the heat vector and
$\pi _{s}^{\mu \nu }$
is the shear tensor. The projection tensors
$\Delta _{\mu \nu }$
and
$\Delta ^{\alpha \beta }_{\mu \nu }$
are defined as
The fluid velocity vector
$U^{\mu }$
, which was used in (2.7), has been arbitrary so far. In this paper, we adopt the Eckhart frame to define
$U^{\mu }$
,
For a review of different hydrodynamic frame choices, please see Cercignani & Kremer (Reference Cercignani and Kremer2002), Bemfica et al. (Reference Bemfica, Disconzi and Noronha2022) and Kovtun (Reference Kovtun2019).
With the choice of the fluid frame specified, we can define the mass-averaged current and the stress-energy tensor of the system,
where
$m \equiv \sum _{s} m_{s}$
is a reference mass scale, equal to the sum of the particle masses of the species included in the plasma. The evolution of the mean density current and stress energy tensor can be obtained by summing (2.5a
) and (2.5b
) over all the particles,
where the electromagnetic stress energy tensor is
Observe that (2.9a ) and (2.10a ) are only valid in the Eckhart frame where particle diffusion over all the species in the plasma vanishes (2.8).
2.2. Kinetic MHD
Let us consider the characteristic scaling of each of the terms in (2.3a
) in a locally Minkowskian frame. Let
$L_{c}$
denote the characteristic scale of spatiotemporal variation at the macroscopic level,
$\tau _{c}$
the collision time scale,
$R_{c}$
the characteristic radius of particle motion and
$\omega _{c}$
the characteristic frequency. With these definitions, we can obtain scaling of the different terms in (2.3a
),
In this paper, we are interested in capturing the dynamics of diffuse accretion flow around an SMBH. Consider an accretion flow around an SMBH of mass
$M_{\mathrm{BH}}$
, with a characteristic magnetic field
$B_c$
. For simplicity, we assume the charged particles in the plasma are electrons and protons. In typical hot and diffusive black hole accretion flows,
$L_c \sim M_{\mathrm{SMBH}}$
; the characteristic radius for particle motion is the Larmor radius, the characteristic frequency is the cyclotron frequency and the collisional time scale is set by Coulomb collisions. For an M87-like system (Akiyama et al. Reference Akiyama2021), we obtain
where
$\lambda _D$
is the Debye length. Hence, for diffusive accretion flows around an SMBH, we can safely assume that
which implies that
We now implement the ordering obtained in (2.15) formally. Consider an expansion of the form (Kulsrud Reference Kulsrud1983)
\begin{align} f_{s} = \sum _{n=0}^{\infty } f_{n,s} \epsilon ^{-n} , \end{align}
where
$\epsilon \sim \mathcal{O}(|L_c/R_c|)$
. At leading order, the Vlasov equation simplifies to
We show later that this condition implies the distribution function is gyrotropic, as in the non-relativistic limit (Kulsrud Reference Kulsrud1983). Next, we analyse the stress-energy conservation equation (2.5b
) for particle
$s$
. To leading order, the Lorentz-force term on the right-hand side of (2.5b
) dominates, so that each species satisfies
Multiplying this equation by
$m_s$
, summing over species and using (2.9a
), we obtain
Thus,
is a leading-order degeneracy condition of the KMHD expansion. It does not imply that the comoving electric field vanishes at all orders. In particular, the subleading parallel electric field
$E_{\parallel }$
enters the gyroaveraged drift-kinetic equation and the corresponding moment equations; see (2.25) and (2.35).
Finally, the electromagnetic field equations (2.3c ) imply charge neutrality,
To show that the plasma is gyrotropic (2.24), we need to perform a coordinate transformation for the velocity variables. In the non-relativistic theory (Kulsrud Reference Kulsrud1983), one decomposes the velocity
$k^{\mu }$
parallel and perpendicular to the magnetic field. In relativity, we use the fact that electrogmagnetic field tensor is magnetically dominated (2.18) to pick an orthonormal basis
$(U^{\mu }, \hat {X}^{\mu }, \hat {Y}^{\mu }, \hat {b}^{\mu })$
and decompose the velocity vector
$k^{\mu }$
as [see Appendix B.6 of Chael et al. (Reference Chael, Lupsasca, Wong and Quataert2023)]
where
$b^{\mu }$
is the magnetic field in the fluid rest frame,
$\vartheta$
is the gyroangle,
$W_U$
is the Lorentz factor,
$v_{\parallel }$
is the component of the velocity parallel to the magnetic field and
$v_{\perp }$
is the component of the velocity perpendicular to the magnetic field. The covariant decomposition of these quantities is
\begin{align} &v_{\parallel } \equiv k_{\mu } \hat {b}^{\mu } ,\quad v_{\perp } = \sqrt {\big(k_{\mu } \hat {Y}^{\mu }\big)^2 + \big(k_{\mu } \hat {X}^{\mu }\big)^2} ,\quad \tan \vartheta = \frac {\big(\hat {Y}^{\mu } k_{\mu } \big)}{\big(\hat {X}^{\mu } k_{\mu } \big)}. \end{align}
As we show in Appendix A, one can change variables from
$(x^{\mu },k) \to (x,v_{\parallel }, v_{\perp }, \vartheta )$
and show that (2.17) reduces to
signifying that the plasma is gyrotropic.Footnote 1
To understand the evolution of the distribution function in
$(x,v_{\parallel }, v_{\perp })$
space, we continue the formal expansion of the distribution function (2.16) to the next order and average the Vlasov equation over
$\vartheta$
(see Appendix A for details). The result is the relativistic generalisation of the gyroaveraged kinetic equation
\begin{align} &W_{U} D_{\parallel } f_{0,s} + \frac {W_{U} v_{\perp }D_{\parallel } b }{2 b} \frac {\partial f_{0,s}}{\partial v_{\perp }} + \frac {\partial f_{0,s}}{\partial v_{\parallel }} \bigg [ \frac {q_s}{m_s} E_{\parallel } W_{U} - W_{U}^2 \hat {b}^{\beta } D_{\parallel } U_{\beta } - \frac {\hat {b}^{\alpha } v_{\perp }^2 \boldsymbol{\nabla} _{\alpha }b}{2 b} \bigg ] \nonumber \\[4pt] &= \mathcal{C}_{s}[f_{s}] , \end{align}
where
$E_{\parallel } \equiv F^{\mu \nu } U_{\nu } \hat {b}_{\mu }$
is the parallel electric field and
$D_{\parallel }$
is the derivative along the gyroaveraged particle trajectory,
To obtain the non-relativistic limit, we can set
$W_{U} = 1$
and see that (2.25) reduces to (20.90) of Schekochihin (Reference Schekochihin2015).
The gyrotropic nature of the distribution function simplifies the number density current and the stress-energy tensor. Using (2.24) in (2.6), one can show that for a gyrotropic plasma,
where the pressures parallel and perpendicular to the magnetic field are
Physically, (2.27) shows that particle and heat transport in the plasma (
$V^{\mu }_{s}$
and
$\mathcal{Q}^{\mu }_{s}$
) are always along the magnetic field in the fluid rest frame. The difference between
$p_{\parallel ,s}$
and
$p_{\perp ,s}$
drives a shear stress in the plasma through
$\pi ^{\mu \nu }_{s}$
. In the ideal MHD limit,
$p_{\parallel ,s} = p_{\perp ,s}$
and there is no anisotropic stress in the plasma.
2.3. Moments of the gyroaveraged equations
Before giving the evolution equations for the moments of the gyrotropic distribution function, we introduce some notation. We denote the most general moment of the gyrotropic distribution function as
\begin{align} &\mathcal{I}^{(P,Q,R)}_{s} \equiv \left \langle v_{\perp }^{P} v_{\parallel }^{Q} W_{U}^{R} \right \rangle _{s} \nonumber \\[4pt] & \quad = \int _{v_{\perp }=0}^{\infty }\int _{v_{\parallel }=-\infty }^{\infty }\int _{\vartheta =0}^{2\pi } \frac {v_{\perp } {\rm d}v_{\perp } {\rm d}v_{\parallel } {\rm d}\vartheta }{\sqrt {1+v_{\perp }^2+v_{\parallel }^2}} f_{0,s} v_{\perp }^{P} v_{\parallel }^{Q} \left ( 1+v_{\perp }^2+v_{\parallel }^2\right )^{R/2} . \end{align}
For example, using the above-mentioned notation, the number density, energy density and pressure (2.7) are
We also introduce short hands for certain common moments of the distribution function that appear in our equations [for definitions in the non-relativistic limit, see below (13) of Snyder et al. (Reference Snyder, Hammett and Dorland1997)],
In the above-mentioned equations, when
$k=0$
, we drop the superscript to simplify notation. For example, we denote
$\mathcal{Q}_{\parallel ,s}^{({-}0)}$
as
$\mathcal{Q}_{\parallel ,s}$
. Physically,
$\mathcal{Q}_{\parallel ,s}^{({-}k)}$
is the (Lorentz factor weighted) heat flux parallel to the magnetic field,
$\mathcal{Q}_{\perp ,s}^{({-}k)}$
is the (Lorentz factor weighted) heat flux perpendicular to the magnetic field and
$(r_{\parallel ,\perp ,s}^{({-}k)}, r_{\parallel ,\parallel ,s}^{({-}k)}, r_{\perp ,\perp ,s}^{({-}k)})$
are Lorentz factor weighted fourth-order moments of the distribution function.
Let us now introduce operators that will be used to write down the evolution equations. Define
\begin{align} &O_{c}\left [\mathcal{I}_s^{(P,Q,R)}\right ] \equiv \int \frac {v_{\perp } {\rm d}v_{\perp } {\rm d}v_{\parallel } {\rm d}\vartheta }{\sqrt {1+v_{\perp }^2+v_{\parallel }^2}} \mathcal{C}_{s}[f_{0,s}] v_{\perp }^{P} v_{\parallel }^{Q} \left ( 1+v_{\perp }^2+v_{\parallel }^2\right )^{R/2} . \end{align}
The second equality in (2.32a
) and (2.32b
) is obtained by integrating by parts in
$v_{\parallel }$
and
$v_{\perp }$
, respectively. To obtain the evolution equation for the moment
$\mathcal{I}_{s}^{(P,Q,R)}$
, we multiply the drift-kinetic equation (2.25) by
$ v_{\perp }^{P} v_{\parallel }^{Q} W_{U}^{R-1}$
and integrate over velocity space. Before we present the results of this calculation, let us define
\begin{align} &I_1 \equiv \left \langle \frac {v_{\perp }^{P +1} v_{\parallel }^{Q} W_{U}^{R}D_{\parallel } b }{2 b} \frac {\partial f_{0,s}}{\partial v_{\perp }} \right \rangle = \frac {D b}{2 b} O_{\perp } \left [\mathcal{I}^{(P+1,Q,R)}_{s}\right ] + \frac {\hat {b}^{\alpha } \boldsymbol{\nabla} _{\alpha } b}{2 b} O_{\perp } \left [\mathcal{I}^{(P+1,Q+1,R-1)}_{s}\right ] ,\\[-7pt]\nonumber \end{align}
\begin{align} &I_2 \equiv \left \langle v_{\perp }^{P} v_{\parallel }^{Q} W_{U}^{R} \frac {\partial f_{0,s}}{\partial v_{\parallel }} \bigg [ \frac {q_s}{m_s} E_{\parallel } - W_{U} \hat {b}^{\beta } D_{\parallel } U_{\beta } - \frac {\hat {b}^{\alpha } v_{\perp }{}^2 \boldsymbol{\nabla} _{\alpha }b}{2 b W_{U}} \bigg ] \right \rangle \nonumber \\[6pt] &= \frac {q_s}{m_s} E_{\parallel } O_{\parallel } \left [\mathcal{I}^{(P,Q,R)}_s\right ] - \hat {b}^{\beta } D U_{\beta } O_{\parallel } \left [\mathcal{I}^{(P,Q,R+1)}_s\right ] - \hat {b}^{\alpha } \hat {b}^{\beta } \boldsymbol{\nabla} _{(\alpha } U_{\beta )} O_{\parallel } \left [\mathcal{I}^{(P,Q+1,R)}_s\right ] \nonumber \\[6pt] & \quad - \frac {{\hat {b}}^{\alpha } \boldsymbol{\nabla} _{\alpha } b}{2 b} O_{\parallel } \left [\mathcal{I}^{(P+2,Q,R-1)}_s\right ] , \end{align}
where
$I_0$
represents the advection of the moments parallel to the velocity and magnetic fields, and
$I_1$
,
$I_2$
are the contributions from the velocity derivative of the distribution function perpendicular and parallel to the magnetic field. The moment equations are the combined sum of
$I_0$
,
$I_1$
,
$I_s$
and the contributions obtained from collisions,
The previous equations describe the evolution equation for the most general moment of the gyrotropic distribution function. In this paper, we focus only on the evolution equation for the first few moments: the number density, the stress-energy tensor, the parallel pressure and the perpendicular pressure. These equations are
\begin{align} & D p_{\parallel ,s} + \hat {b}^{\alpha } \boldsymbol{\nabla} _{\alpha } \mathcal{Q}_{\parallel ,s} -\frac {\hat {b}^{\alpha }\boldsymbol{\nabla} _{\alpha }b \left (\mathcal{Q}_{\|, s}-2 \mathcal{Q}_{\perp ,s}\right )}{b} + \frac {Db r_{\|,\perp ,s}^{({-}2)}}{b} -\hat {b}^{\alpha }\hat {b}^{\beta }\boldsymbol{\nabla} _{\alpha }U_{\beta } r_{\|,\|,s}^{({-}2)} \nonumber \\[3pt] &+E_{\|} q_s \left (\frac {\mathcal{Q}_{\|,s}^{({-}1)}}{m_s}-2 V_s\right ) +p_{\|,s} \left (3 \hat {b}^{\alpha }\hat {b}^{\beta }\boldsymbol{\nabla} _{\alpha }U_{\beta }-\frac {Db}{b}\right ) + 2 Q_s \hat {b}^{\alpha }DU_{\alpha } = m_s\kern-1.3pt O_{c}\left [ \mathcal{I}^{(0,2,-1)}_s \right ]\! ,\\[-10pt]\nonumber \end{align}
\begin{align} &D p_{\perp ,s} + \hat {b}^{\alpha } \boldsymbol{\nabla} _{\alpha }\mathcal{Q}_{\perp ,s} -\hat {b}^{\alpha }\hat {b}^{\beta }\boldsymbol{\nabla} _{\alpha }U_{\beta } r_{\|,\perp ,s}^{({-}2)} + \frac {Db r_{\perp ,\perp ,s}^{({-}2)}}{b}- \frac {2 \hat {b}^{\alpha }\boldsymbol{\nabla} _{\alpha }b \mathcal{Q}_{\perp ,s}}{b} +\frac {E_{\|} q_s \mathcal{Q}_{\perp ,s}^{({-}1)}}{m_s} \nonumber \\ &+p_{\perp ,s} \left (\hat {b}^{\alpha }\hat {b}^{\beta }\boldsymbol{\nabla} _{\alpha }U_{\beta }-\frac {2 Db}{b}\right ) = \frac {m_s}{2}O_{c}\left [ \mathcal{I}^{(2,0,-1)}_s \right ] . \end{align}
The moments required for closure of the above-mentioned equations are listed in table 2. We emphasise that (2.35b
) retains the Lorentz force on each species. Although the leading-order KMHD ordering implies
$F^{\nu}{}_{\mu }U^{\mu }=0$
and a vanishing leading-order perpendicular current, it does not imply that the full current vanishes. Indeed, summing (2.35b
) over species gives
The first non-vanishing perpendicular current arises at subleading order in the KMHD expansion and provides the usual MHD Lorentz force, see (2.40).
List of the moments needed to close (2.35).

Table 2. Long description
A table with two columns and four rows. The first column is labeled ‘Description’ and the second column is labeled ‘Moment’. The rows list different descriptions and their corresponding moments. Row 1: Description: Heat flux and particle diffusion, Moment: Q s and V s. Row 2: Description: Parallel heat flux, Moment: {Q parallel,s, Q parallel,-1,s}. Row 3: Description: Perpendicular heat flux, Moment: {Q perpendicular,s, Q perpendicular,-1,s}. Row 4: Description: Lorentz factor weighted pressure moments, Moment: {r perpendicular,-2,s, r parallel,-2,s, r parallel,-2,s}.
In the non-relativistic limit, the characteristic particle velocity
$v_{\textrm {ch}}$
is much less than the speed of light
$c$
. The higher-order moments, such as
$r^{({-}2)}_{\parallel ,\parallel ,s}$
, that appear in (2.35c
) and (2.35d
) are suppressed relative to the pressure moments by additional powers of
$v_{\textrm {ch}}/c$
, where
$v_{\textrm {ch}}$
is the characteristic flow velocity. For example, restoring factors of
$c$
,
\begin{align} r^{({-}2)}_{\parallel ,\parallel ,s} = m_s \left \langle \frac {v_{\parallel }^4}{c^2} W_U^{-2} \right \rangle _s \sim m_s \left \langle \frac {v_{\parallel }^4}{c^2} \right \rangle _s , \end{align}
where we have used
$W_U^{-2}=1+\mathcal{O}(v_{\textrm {ch}}^2/c^2)$
. Since
we have
\begin{align} \frac {r^{({-}2)}_{\parallel ,\parallel ,s}}{p_{\parallel ,s}} \sim \mathcal{O} \left ( \frac {v_{\textrm {ch}}^2}{c^2} \right ) . \end{align}
Thus, the appearance of higher powers of the particle velocity in the negative-Lorentz-factor-weighted moments makes these moments higher order in the non-relativistic expansion. Neglecting such higher-order moments and setting
$\mathcal{Q}=V=0$
in (2.35c
) results in equations identical to (16) and (17) of Snyder et al. (Reference Snyder, Hammett and Dorland1997).
We obtain the evolution equation for the species-averaged flow from (2.35) by summing over
$s$
,
\begin{align} &D p_{\parallel } + \hat {b}^{\alpha } \boldsymbol{\nabla} _{\alpha } \mathcal{Q}_{\parallel } -\frac {\hat {b}^{\alpha }\boldsymbol{\nabla} _{\alpha }b \left (\mathcal{Q}_{\|}-2 \mathcal{Q}_{\perp }\right )}{b} + \frac {Db r_{\|,\perp }^{({-}2)}}{b} -\hat {b}^{\alpha }\hat {b}^{\beta }\boldsymbol{\nabla} _{\alpha }U_{\beta } r_{\|,\|}^{({-}2)} \nonumber \\ &+E_{\|} \sum _{s} q_s \left (\frac {\mathcal{Q}_{\|,s}^{({-}1)}}{m_s}\right ) +p_{\|} \left (3 \hat {b}^{\alpha }\hat {b}^{\beta }\boldsymbol{\nabla} _{\alpha }U_{\beta }-\frac {Db}{b}\right ) + 2 \mathcal{Q} \hat {b}^{\alpha }DU_{\alpha } = \sum _{s} m_s O_{c}\left [ \mathcal{I}^{(0,2,-1)}_s \right ] , \end{align}
\begin{align} &D p_{\perp } + \hat {b}^{\alpha } \boldsymbol{\nabla} _{\alpha }\mathcal{Q}_{\perp } -\hat {b}^{\alpha }\hat {b}^{\beta }\boldsymbol{\nabla} _{\alpha }U_{\beta } r_{\|,\perp }^{({-}2)} + \frac {Db r_{\perp ,\perp }^{({-}2)}}{b}- \frac {2 \hat {b}^{\alpha }\boldsymbol{\nabla} _{\alpha }b \mathcal{Q}_{\perp }}{b} +E_{\|} \sum _{s}\frac { q_s \mathcal{Q}_{\perp ,s}^{({-}1)}}{m_s} \qquad\qquad \nonumber \\ &+p_{\perp } \left (\hat {b}^{\alpha }\hat {b}^{\beta }\boldsymbol{\nabla} _{\alpha }U_{\beta }-\frac {2 Db}{b}\right ) = \sum _{s}\frac {m_s}{2}O_{c}\left [ \mathcal{I}^{(2,0,-1)}_s \right ] . \end{align}
We now analyse the previous equations to understand their implications. Equations (2.10a ) and (2.40b ) provide the conservation laws for the number density and the stress-energy tensor averaged over all the species in the plasma. The stress-energy tensor (2.27) depends on the parallel pressure, perpendicular pressure and heat flux. The evolution of the parallel and perpendicular pressures is given by (2.40c ) and (2.40d ), which contain unknown moments listed in table 2. In § 4, we analyse possible closures to consistently evolve the above-mentioned equations in the presence of heat fluxes. For now, we ignore the heat fluxes and show that our equations reduce to the familiar CGL equations.
2.4. Double adiabatic limit
Consider a simple closure for (2.40) (Chew et al. Reference Chew, Goldberger and Low1956), and ignore the contributions of collisions, heat fluxes and Lorentz factor weighted pressure moments in table 2. With these assumptions, the stress-energy tensor does not contain contributions from the heat flux, and (2.40c) and (2.40d) reduce to
Using
$b_{\beta } \boldsymbol{\nabla} _{\alpha } (\star F^{\alpha \beta } ) = 0$
and
$\boldsymbol{\nabla} _{\mu }(n U^{\mu }) = 0$
, one can show that
Hence, (2.41) reduces to
The above-mentioned equations generalise the CGL equations of non-relativistic MHD to relativity (Gedalin & Oiberman Reference Gedalin and Oiberman1995). However, there is an important assumption underlying their derivation. While one can neglect the heat fluxes in table 2, one cannot always ignore the Lorentz factor weighted pressure moments for all equations of state. For non-relativistic flows and equations of state, these contributions can be safely ignored. For ultra-relativistic flows, however, these moments are of the same order as the parallel pressure moments and cannot be ignored (see § 4).
2.5. Summary of the important equations
The evolution of gyrotropic plasma in general relativity is described by the following equations.
-
(i) Eckhart frame choice (2.8),
(2.44)
\begin{align} \sum _{s} m_{s} V_{s} = 0. \end{align}
-
(ii) Conservation of laws for the averaged number density, stress-energy tensor across all species (2.40a ) and (2.40b ), and Gauss–Farday law (2.3b ),
(2.45)
\begin{align} \boldsymbol{\nabla} _{\alpha } \left (n U^{\alpha } \right ) = 0,\quad \boldsymbol{\nabla} _{\mu } \left (T^{\mu \nu } + T^{\mu \nu }_{\mathrm{EM}}\right ) = 0 , \quad \boldsymbol{\nabla} _{\mu } (\star F^{\mu \nu }) = 0 . \end{align}
-
(iii) A kinetic equation describing the evolution of the gyrotropic distribution function (2.25),Footnote 2
(2.46)
\begin{align} &W_{U} D_{\parallel } f_{s} + \frac {W_{U} v_{\perp }D_{\parallel } b }{2 b} \frac {\partial f_{s}}{\partial v_{\perp }} + \frac {\partial f_{s}}{\partial v_{\parallel }} \bigg [ \frac {q_s}{m_s} E_{\parallel } W_{U} - W_{U}^2 \hat {b}^{\beta } D_{\parallel } U_{\beta } - \frac {\hat {b}^{\alpha } v_{\perp }^2 \boldsymbol{\nabla} _{\alpha }b}{2 b} \bigg ] = \mathcal{C}_{s}[f_{s}]. \end{align}
-
(iv) Charge neutrality (2.21),
(2.47)
\begin{align} \sum _{s} q_{s} n_s = 0 , \quad \sum _{s} q_{s} V_{s} = 0. \end{align}
The kinetic equation derived directly couples to the macroscopic fluid equations. The general evolution equations for the moments of the gyroaveraged distribution function are listed in (2.34). Simplified evolution equations for the parallel and perpendicular pressures for species
$s$
are given in (2.35c
) and (2.35d
). The evolution equations for the parallel and perpendicular moments, averaged across species and given in (2.40c
) and (2.40d
), provide a practical approach to evolving multi-species relativistic plasmas. The higher-order moments needed to close these equations are provided in table 2.
3. Linearised KMHD equations in the absence of collisions
The discussion in the previous section was for a general plasma, with no assumptions about the number of species. Henceforth, we assume that the plasma consists of two equal and oppositely charged particles. The positively and negatively charged species will be called ions and electrons, respectively. In such a two-species plasma, the charge neutrality condition (2.21) implies that
We can combine this with the Eckhart frame choice (2.8) to show that particle diffusion vanishes for the electron and ions as in the non-relativistic theory (Snyder et al. Reference Snyder, Hammett and Dorland1997),
In this section, we analyse the linearised KMHD equations in Fourier space for an ion–electron plasma in the absence of collisions in Minkowski space–time. We describe our choice for the equilibrium distribution function in § 3.1. We then focus on deriving and examining the linearised evolution equations for plasma moments in § 3.2. Finally, we list the analytical expressions for the moments obtained using KMHD in the high-temperature and low-frequency limit in § 3.3. In the following subsections, we only present the most important equations and relegate technical calculations to Appendices B and C.
3.1. Equilibrium distribution function
Let us suppose that we are studying a gyrotropic plasma at rest, threaded by a constant magnetic field and a vanishing electric field in Minkowski space. We set up our coordinate system so the fluid velocity aligns with the time direction and the magnetic field points along the
$z$
-direction,
A global equilibrium state of the KMHD equations (2.46) without a parallel electric field is any function
$f_{s}(v_{\parallel }, v_{\perp })$
. In non-relativistic theory, a common choice for the equilibrium distribution
$f_{0,s}(v_{\parallel }, v_{\perp })$
is a bi-Maxwellian distribution function [see (23) of Snyder et al. (Reference Snyder, Hammett and Dorland1997)]
where
$T_{\parallel ,s}$
and
$T_{\perp ,s}$
are the temperatures parallel and perpendicular to the magnetic field. A bi-Maxwellian distribution function captures pressure anisotropies and one can analyse the linearised equations to obtain a closure for the heat fluxes (Snyder et al. Reference Snyder, Hammett and Dorland1997).
However, it is important to note that a bi-Maxwellian distribution function in relativity does not reduce to the equilibrium Maxwell-Juttner distribution function in the absence of pressure anisotropies. Therefore, we choose a distribution function inspired by anisotropic relativistic hydrodynamics (Alqahtani, Nopoush & Strickland Reference Alqahtani, Nopoush and Strickland2018),
where
$\alpha _{s}$
is a constant,
$z_{s} \sim m_{s}/T_{s}$
quantifies the ratio of the rest mass energy to the thermal energy
$(T_s)$
of a particle and
$\delta _{1,s}\sim T_{s}/T_{\parallel ,s}$
(
$\delta _{2,s}\sim T_{s}/T_{\perp ,s}$
) quantifies the ratio of the total temperature to the temperature parallel (perpendicular) to the magnetic field. In the non-relativistic limit, (3.5) reduces to the bi-Maxwellian distribution function (3.4).
Apart from the moments
$\mathcal{I}_{s}^{(P,Q,R)}$
(2.34), we will also need to evaluate the following moments of
$f_s$
:
where
$\tilde {W} \equiv \sqrt {1 + v_{\parallel }^2 \delta _{1,s} + v_{\perp }^2 \delta _{2,s}}$
. Strategies for numerically obtaining the moments
$\mathcal{I}^{(P,Q,R)}_s$
and
$\mathcal{I}^{({-}1)}_{(P,Q,R),s}$
for general plasma temperature are in Appendix B. In the high-temperature limit, the moments can be evaluated analytically; see Appendix B.1 for explicit expressions for the first few moments of the distribution function.
3.2. Linearised equations
The linearised gyroaveraged kinetic equation (2.46) in the absence of collisions is
Here,
$\delta U^{\mu }$
denotes the dynamical fluid four-velocity perturbation defined by our choice of Eckhart fluid frame. This arises due to the changes in the bulk-motion of the fluid 4-velocity due to inertia and magnetic pressure. Its equilibrium value is provided in (3.3). To prevent clutter, we shall use
$U^{\mu }$
to refer to its equilibrium value and
$\delta U^{\mu }$
to denote the perturbation. Note that the velocity-space variables
$v_{\parallel }$
and
$v_{\perp }$
are defined with respect to the corresponding local fluid tetrad and remain well defined under this perturbation.
Now, we Fourier transformFootnote 3 in space and time, and replace
In this section,
$k_{x,y,z}$
represent the wave numbers for the perturbations and should not be confused with the particle
$4$
-velocity in the Vlasov–Maxwell equations. In Fourier space, we simplify (3.7) as
where in Fourier space,
Integrating (3.9) over velocity space gives the linearised moments of the system
\begin{align} \delta \mathcal{I}^{(M,N,Q)}_s &= O_{\parallel }\left [ \mathcal{I}^{(M,N,Q+1)}_s \right ] \hat {b}^{\beta } \delta U_{\beta } -\frac {\delta b}{2 b} O_{\perp }\left [ \mathcal{I}^{(M+1,N,Q)}_s \right ] - \frac {q_s \mathrm{sgn}^{N}(k_z)}{m_s (i k_z)} \delta E_{\parallel } \mathcal{H}^{(M,N,Q)}_{s} \nonumber \\ & \quad + \frac {\mathrm{sgn}^N(k_z) \delta b}{2 b} \mathcal{H}^{(M+2,N,Q-1)}_{s} , \end{align}
where
$\mathrm{sgn}(\boldsymbol{\cdot })$
is the sign function
and
\begin{align} \mathcal{H}^{(P,Q,R)}_{s}(\zeta ) \equiv \left \langle \frac {v_{\perp }^{P} v_{\parallel }^{Q} W_U^{R} }{v_{\parallel } W_{U}^{-1} - \zeta }\frac {\partial \log (f_s)}{\partial v_{\parallel }} \right \rangle _s = -z_s \delta _{1,s} \left \langle \frac {v_{\perp }^{P} v_{\parallel }^{Q+1} W_U^{R} }{ \left (v_{\parallel } W_{U}^{-1} - \zeta \right ) \tilde {W}} \right \rangle _s . \end{align}
We have used (3.5) to obtain the second equality. We note that the linearised plasma must have zero particle diffusion (3.2),
\begin{align} \delta \mathcal{I}_{s}^{(0,1,0)} & = O_{\parallel }\left [ \mathcal{I}^{(0,1,1)}_s \right ] \hat {b}^{\beta } \delta U_{\beta } -\frac {\delta b}{2 b} O_{\perp }\left [ \mathcal{I}^{(1,1,0)}_s \right ] - \frac {q_s \mathrm{sgn}(k_z)}{m_s (i k_z)} \delta E_{\parallel } \mathcal{H}^{(0,1,0)}_{s} \nonumber \\ & \quad + \frac {\mathrm{sgn}(k_z) \delta b}{2 b} \mathcal{H}^{(2,1,-1)}_{s} = 0 . \end{align}
We eliminate
$\hat {b}^{\beta } \delta U_{\beta }$
using (3.14) to get
\begin{align} \delta \mathcal{I}^{(M,N,Q)}_s &= -\frac {q_s \delta E_{\parallel } \mathrm{sgn}(k_z)}{m_s (ik_z)} \bigg \{ \frac {\mathcal{H}_s^{(0,1,0)} }{n_s} O_{\parallel }\left [ \mathcal{I}^{(M,N,Q+1)}_s \right ] + \mathrm{sgn}^{N-1}(k_z) \mathcal{H}^{(M,N,Q)}_{s} \bigg \} \nonumber \\ & \quad + \frac {\delta b}{2b} \bigg \{ \mathrm{sgn}^N(k_z) \mathcal{H}^{(M+2,N,Q-1)}_{s} + \frac {\mathrm{sgn}(k_z) }{n_s} \mathcal{H}^{(2,1,-1)}_{s}O_{\parallel }\left [ \mathcal{I}^{(M,N,Q+1)}_s \right ] \nonumber \\ & \qquad\qquad\qquad\qquad\qquad\quad\qquad - O_{\perp }\left [ \mathcal{I}^{(M+1,N,Q)}_s \right ] \bigg \} . \end{align}
This equation will be used as a starting point in § 4 to obtain the closures for the moments in table 2. To evaluate the coefficients proportional to
$\delta E_{\parallel }$
and
$\delta b$
, we analyse (3.13). In the non-relativistic limit, (3.13) can be rewritten in terms of the plasma response function (Snyder et al. Reference Snyder, Hammett and Dorland1997). The same simplification applies in relativity. For integer
$Q\gt 0$
, one can show that (see Appendix C)
\begin{align} \mathcal{H}^{(P,Q,R)}_s = -z_s \delta _{1,s} \sum _{k=0}^{Q} \zeta ^k \, \mathcal{I}^{({-}1)}_{(P,Q-k,R+1+k),s} - z_s \delta _{1,s} \mathcal{Z}^{(P,Q+R+1)}_s \zeta ^{Q+1} , \end{align}
where
$\mathcal{Z}^{(P,R)}_s(\zeta )$
is a relativistic generalisation of the plasma response function
\begin{align} \mathcal{Z}^{(P,R)}_s(\zeta ) \equiv \left \langle \frac {v_{\perp }^P W^{R}}{\left (v_{\parallel } W_{U}^{-1} - \zeta \right ) \tilde {W}} \right \rangle _s . \end{align}
Given a value for
$\zeta$
, we evaluate all terms proportional to
$\delta E_{\parallel }$
and
$\delta b/b$
in (3.15) using (3.16), (2.32a
) and (2.32b
). Useful identities for numerically evaluating
$\mathcal{Z}^{(P,R)}_s(\zeta )$
, including analytical results in the high-temperature limit, are discussed in Appendix C.
3.3. High-temperature and low-frequency limit
In this section, we provide analytical expressions for the first few moments of the linearised distribution function (3.15) in the high-temperature
$z_{s}\ll 1$
and low-frequency limit
$\zeta \ll 1$
. Analytical expressions for the moments of the distribution function in this limit are given in (B7). The linearised moments from the KMHD equations in this limit can be obtained by using (3.15),
\begin{align} & \frac {\delta n_s}{n_s} = \frac {\delta b}{b } \left [-\tilde {\mu }-\frac {3}{4} i \pi \zeta (\tilde {\mu }+1)^{3/2}\right ] \nonumber \\[5pt] & + \frac {q_s z_s \delta E_{\|}}{m_s k_z} \left [\frac {1}{2} \pi \zeta (\tilde {\mu }+1)^{3/2} \sqrt {\delta _2}-\frac {i \sqrt {\tilde {\mu }+1} \sqrt {\delta _2} \big(\sqrt {\tilde {\mu }}+(\tilde {\mu }+1) \tan ^{-1}\big(\sqrt {\tilde {\mu }}\big)\big)}{2 \sqrt {\tilde {\mu }}}\right ]\! ,\nonumber\\[5pt]\end{align}
\begin{align} &\frac {\delta p_{\parallel ,s}}{p_{\parallel ,s}} = \frac {\delta b}{b } \left [ \frac {\left ({-}\tilde {\mu }^2+2 \tilde {\mu }+3\right ) \tan ^{-1}\big(\sqrt {\tilde {\mu }}\big)-\sqrt {\tilde {\mu }} (\tilde {\mu }+3)}{2 (\tilde {\mu }+1) \tan ^{-1}\big(\sqrt {\tilde {\mu }}\big)-2 \sqrt {\tilde {\mu }}} \right ] \nonumber \\[5pt] & + \frac {q_s z_s \delta E_{\|}}{m_s k_z} \left [ -\frac {2 i \tilde {\mu }^{3/2} \sqrt {\tilde {\mu }+1} \sqrt {\delta _2}}{3 (\tilde {\mu }+1) \tan ^{-1}\big(\sqrt {\tilde {\mu }}\big)-3 \sqrt {\tilde {\mu }}}\right ] ,\\[-5pt]\nonumber \end{align}
\begin{align} & \frac {\delta p_{\perp ,s}}{p_{\perp ,s}} = \frac {\delta b}{b } \bigg [ \frac {\left ({-}3 \tilde {\mu }^2+2 \tilde {\mu }-3\right ) \tan ^{-1}\big(\sqrt {\tilde {\mu }}\big)-3 (\tilde {\mu }-1) \sqrt {\tilde {\mu }}}{2 \big(\sqrt {\tilde {\mu }}+(\tilde {\mu }-1) \tan ^{-1}\big(\sqrt {\tilde {\mu }}\big)\big)} \nonumber \\[5pt] & \qquad\qquad\qquad -\frac {2 i \pi \zeta \tilde {\mu }^{3/2} (\tilde {\mu }+1)}{\sqrt {\tilde {\mu }}+(\tilde {\mu }-1) \tan ^{-1}\big(\sqrt {\tilde {\mu }}\big)} \bigg ] \nonumber \\[5pt] &+ \frac {q_s z_s \delta E_{\|}}{m_s k_z} \left [ \frac {\pi \zeta \tilde {\mu }^{3/2} (\tilde {\mu }+1) \sqrt {\delta _2}}{\sqrt {\tilde {\mu }}+(\tilde {\mu }-1) \tan ^{-1}\big(\sqrt {\tilde {\mu }}\big)}-\frac {4 i \tilde {\mu }^{3/2} \sqrt {\tilde {\mu }+1} \sqrt {\delta _2}}{3 \big(\sqrt {\tilde {\mu }}+(\tilde {\mu }-1) \tan ^{-1}\big(\sqrt {\tilde {\mu }}\big)\big)} \right ] ,\nonumber\\ \\[-10pt]\nonumber \end{align}
\begin{align} & \frac {\delta \mathcal{Q}_{\parallel ,s}}{\mathrm{sgn}(k_z)} = \frac {\delta b}{b }\frac {\pi \alpha \zeta m_s}{z_s^4} \left [ \frac {6 \left (5 \tilde {\mu }^2+14 \tilde {\mu }+9\right ) \tan ^{-1}\big(\sqrt {\tilde {\mu }}\big)}{\tilde {\mu }^{5/2} \delta _2{}^2}-\frac {6 (11 \tilde {\mu }+9)}{\tilde {\mu }^2 \delta _2{}^2} \right ] \nonumber \\[5pt] & + \frac {\pi \alpha \zeta q_s z_s E_{\|}}{k_z} \bigg [ -\frac {12 i \sqrt {\tilde {\mu }+1} \tan ^{-1}\big(\sqrt {\tilde {\mu }}\big)}{\tilde {\mu }^{3/2} \delta _2{}^{3/2} z_s^4}+\frac {18 i (\tilde {\mu }+1)^{5/2} \tan ^{-1}\big(\sqrt {\tilde {\mu }}\big)^2}{\tilde {\mu }^3 \delta _2{}^{3/2} z_s^4} \nonumber \\[5pt] & \qquad\qquad\qquad\qquad -\frac {2 i \big(4 \tilde {\mu }^2+15 \tilde {\mu }+9\big)}{\tilde {\mu }^2 \sqrt {\tilde {\mu }+1} \delta _2{}^{3/2} z_s^4} \bigg ] ,\\[-10pt]\nonumber \end{align}
\begin{align} & \frac {\delta \mathcal{Q}_{\perp ,s}}{\mathrm{sgn}(k_z)} = \frac {\delta b}{b }\frac {\pi \alpha \zeta m_s}{z_s^4} \left [ -\frac {3 (\tilde {\mu }-9) (\tilde {\mu }+1)}{\tilde {\mu }^2 \delta _2{}^2}-\frac {3 \left (\tilde {\mu }^2+2 \tilde {\mu }+9\right ) (\tilde {\mu }+1) \tan ^{-1}\big(\sqrt {\tilde {\mu }}\big)}{\tilde {\mu }^{5/2} \delta _2{}^2} \right ] \nonumber \\[5pt] & + \frac {\pi \alpha \zeta q_s z_s E_{\|}}{k_z} \bigg [ \frac {6 i (\tilde {\mu }+1)^{3/2} \tan ^{-1}\big(\sqrt {\tilde {\mu }}\big)}{\tilde {\mu }^{3/2} \delta _2{}^{3/2} z_s^4}+\frac {3 i (\tilde {\mu }-3) (\tilde {\mu }+1)^{5/2} \tan ^{-1}\big(\sqrt {\tilde {\mu }}\big)^2}{\tilde {\mu }^3 \delta _2{}^{3/2} z_s^4} \nonumber \\[5pt] & +\frac {i \left ({-}8 \tilde {\mu }^2+3 \tilde {\mu }+9\right ) \sqrt {\tilde {\mu }+1}}{\tilde {\mu }^2 \delta _2{}^{3/2} z_s^4} \bigg ] ,\\[-10pt]\nonumber \end{align}
The quantities
$\tilde {\mu }$
and
$\tilde {\Delta }$
are defined in (B6). The above-mentioned expressions will be analysed later to provide a Landau-fluid closure for the heat fluxes; observe that we have already obtained a closure for
$\mathcal{Q}_s$
in (3.18f
).
4. Landau fluid closure
In this section, we derive the closure relationship for the moments of the distribution function listed in table 2. We first outline our closure strategy in § 4.1 and present an analytical closure relationship in § 4.2. While our approach can be used to obtain the closure for different relativistic equations of state, analytical closures can only be obtained either in the non-relativistic limit
$(m \gg T)$
(Snyder et al. Reference Snyder, Hammett and Dorland1997) or in the ultra-relativistic limit
$(m\ll T)$
. This is not a serious problem, since we want to apply our models to an M87-like system, where the ultra-relativistic equation state is a reasonable assumption for electrons (Porth et al. Reference Porth2019; Akiyama et al. Reference Akiyama2021). For the ions, one can use the non-relativistic heat fluxes from Snyder et al. (Reference Snyder, Hammett and Dorland1997).
In § 4.3, we compare the linearised evolution of the energy and density response from KMHD with the MHD, CGL and Landau fluid closures. In § 4.4, we discuss how one includes the effect of collisions in the heat fluxes phenomenologically. We conclude this section with a discussion of how our model differs from other approaches in the literature. We first compare our model with the collisional models considered by Chandra et al. (Reference Chandra, Gammie, Foucart and Quataert2015) and Most & Noronha (Reference Most and Noronha2021) in § 4.5.1. In § 4.5.2, we compare our method to independent studies – which we became aware of during the final stages of submission – by Wierzchucka et al. (Reference Wierzchucka, Bilbao, Thomas, Uzdensky and Schekochihin2026) and Ley, Tran & Zweibel (Reference Ley, Tran and Zweibel2026), which derive the CGL equations for relativistic equations of state assuming spatial homogeneity and non-relativistic flows.
4.1. Closure strategy
If collisions dominate a kinetic system, then the distribution function evolves towards a local equilibrium characterised by macroscopic properties such as fluid velocity, energy density and pressure. For small departures from local equilibrium in a collisional system, there are well-developed strategies such as the Chapman–Enskog approximation (Chapman & Cowling Reference Chapman and Cowling1991) or Grad’s moment approximation (Grad Reference Grad1949) that allow one to systematically understand the evolution of the moments of the distribution functions and calculate non-equilibrium contributions such as viscous stresses in the system. For a general discussion of these techniques in the relativistic context, see Denicol et al. (Reference Denicol, Niemi, Molnár and Rischke2012, Reference Denicol, Huang, Molnár, Monteiro, Niemi, Noronha, Rischke and Wang2018) and Denicol & Rischke (Reference Denicol and Rischke2021); for numerical simulations of black hole accretion flow in the collisional Braginskii limit, see Chandra et al. (Reference Chandra, Gammie, Foucart and Quataert2015), Foucart et al. (Reference Foucart, Chandra, Gammie and Quataert2015, Reference Foucart, Chandra, Gammie, Quataert and Tchekhovskoy2017) and Dhruv et al. (Reference Dhruv, Prather, Chandra, Joshi and Gammie2025a ); for discussions of collisional closure in multi-species magnetised plasma, see Most & Noronha (Reference Most and Noronha2021) and Most et al. (Reference Most, Noronha and Philippov2022).
The plasmas studied in this paper are weakly collisional (2.14). To obtain a closure for the heat fluxes for these systems, we adopt the Landau fluid closure introduced by Hammett & Perkins (Reference Hammett and Perkins1990), Snyder et al. (Reference Snyder, Hammett and Dorland1997) and Goswami et al. (Reference Goswami, Passot and Sulem2005).
-
(i) First, define a set of master variables. In this paper, these variables will be
$(\mathcal{E}_s/n_s, p_{\perp ,s} - p_{\parallel ,s}, b, n_s )$
. -
(ii) Choose a moment of the distribution function that requires a closure. For illustration, suppose that this is
$\mathcal{Q}_{\parallel ,s}$
. -
(iii) Obtain the linearised expression for
$\delta \mathcal{Q}_{\parallel ,s}$
using (3.15) in the low-frequency limit. Schematically, this is of the form(4.1)where the coefficients
\begin{align} \delta \mathcal{Q}_{\parallel ,s} = \left [s_1 + s_2 \zeta \right ] \delta E_{\parallel } + \left [s_1 + s_2 \zeta \right ] \delta b , \end{align}
$s_{i}$
depend on the equilibrium distribution function (3.5).
-
(iv) Consider a closure of the form
(4.2)Equate (4.1) and (4.2), and determine
\begin{align} \delta \mathcal{Q}_{\parallel ,s} = i \mathrm{sgn}(k_z) \bigg [r_1 n_s \delta \left (\frac {\mathcal{E}_s}{n_s}\right ) + r_2 \delta \left (p_{\perp ,s} - p_{\parallel ,s}\right ) + r_3 \frac {\delta b}{b} \mathcal{E}_s + r_4 \mathcal{E}_s \frac {\delta n_s}{n_s} \bigg ] . \end{align}
$r_{i}$
.
In the non-relativistic limit, one can interpret this strategy as a procedure to build Padé approximations to the plasma response function, see Snyder et al. (Reference Snyder, Hammett and Dorland1997), Goswami et al. (Reference Goswami, Passot and Sulem2005) and Hunana et al. (Reference Hunana, Tenerani, Zank, Goldstein, Webb, Khomenko, Collados, Cally, Adhikari and Velli2019). This interpretation works at the linear level, mainly due to the choice of a bi-Maxwellian distribution function which allows one to rewrite all the linearised moments in terms of the plasma response function, see (36)–(38) of Snyder et al. (Reference Snyder, Hammett and Dorland1997). In relativity, we interpret this approach as a way to construct an effective field theory for heat fluxes that closely reproduces the kinetic dispersion relation and captures Landau damping.
4.2. Analytical closure in the ultra-relativistic limit
If we implement the Landau fluid closure strategy outlined previously to (3.18), we see that the heat fluxes satisfy
\begin{align} \delta \mathcal{Q}_{\parallel ,s} &= i \mathrm{sgn}(k_z) \bigg [ n_s \left ( -\frac {8}{5\pi } + f_1 \right ) \delta \left (\frac {\mathcal{E}_s}{n_s}\right ) + \left ( \frac {28}{15 \pi } + f_2 \right ) \delta (p_{\perp ,s}-p_{\parallel ,s}) \nonumber \\[7pt] & \quad + f_3 \frac {\delta b}{b} \mathcal{E}_s + f_4 \mathcal{E}_s \frac {\delta n_s}{n_s} \bigg ] ,\\[-10pt]\nonumber \end{align}
\begin{align} \delta \mathcal{Q}_{\perp ,s} &= i \mathrm{sgn}(k_z) \bigg [ n_s \left ( -\frac {8}{15\pi } + g_1 \right ) \delta \left (\frac {\mathcal{E}_s}{n_s}\right ) + \left ( -\frac {4}{15 \pi } + g_2 \right ) \delta (p_{\perp ,s}-p_{\parallel ,s}) \nonumber \\[7pt] & \quad + g_3 \frac {\delta b}{b} \mathcal{E}_s + g_4 \mathcal{E}_s \frac {\delta n_s}{n_s} \bigg ] .\\[-10pt]\nonumber \end{align}
The coefficients
$f_{1,2,3,4}$
and
$g_{1,2,3,4}$
are complicated functions of
$\tilde {\mu }$
and vanish when the initial anisotropy vanishes. We list these coefficients in the supplementary Mathematica file. One could repeat the Landau fluid procedure to obtain an accurate closure for
$r_{\perp ,\perp }^{({-}2)} , r_{\parallel ,\parallel }^{({-}2)}$
and
$r_{\parallel ,\perp }^{({-}2)}$
. However, we find that it is easier to use the equilibrium relationship for these functions. In the high-temperature limit
$(z\to 0 \implies m \ll T)$
, these are given by
where
$h_{1,2,3}$
are complicated functions of
$\tilde {\mu }$
that vanish when the pressure anisotropy is zero. These coefficients are provided in the supplementary Mathematica file.
Equations (4.3), (4.4) and (3.2) provide the closure relationship for all the moments listed in table 2 in the ultra-relativistic limit for small pressure anisotropy. These Landau fluid closures can be used to evolve the fluid equations (2.40) instead of the kinetic equations to capture weakly collisional effects; see Sharma et al. (Reference Sharma, Hammett, Quataert and Stone2006), Sharma et al. (Reference Sharma, Quataert, Hammett and Stone2007), Squire et al. (Reference Squire, Kunz, Arzamasskiy, Johnston, Quataert and Schekochihin2023) for numerical simulations in the non-relativistic limit.
Before we proceed, let us briefly compare the heat flux closure in the ultra-relativistic limit (4.3) with the non-relativistic limit from (48) and (49) of Snyder et al. (Reference Snyder, Hammett and Dorland1997),
\begin{align} &\delta \mathcal{Q}_{\parallel }^{\mathrm{non-rel}} = - \sqrt {\frac {8}{\pi }} \frac {n_s i \mathrm{sgn}(k_z) }{\sqrt {z_{\parallel ,s}} } \delta \left (\frac { p_{\parallel ,s}}{n_s}\right ) , \quad z_{\parallel } \equiv n_s/p_{\parallel ,s} ,\\[-10pt]\nonumber \end{align}
\begin{align} &\delta \mathcal{Q}_{\perp }^{\mathrm{non-rel}} = \ - \sqrt {\frac {2}{\pi }} \frac {n_s i \mathrm{sgn}(k_z) }{ \sqrt {z_{\parallel ,s}} } \bigg [ \delta \left (\frac { p_{\perp }}{n_s}\right ) + \frac {m_s (p_{\perp ,s} - p_{\parallel ,s})}{p_{\parallel ,s}} \frac {\delta b}{b z_{\perp ,s}} \bigg ] , z_{\perp } \equiv n_s/p_{\perp ,s} . \end{align}
Observe that the non-relativistic parallel (perpendicular) heat flux is driven by the gradients in the parallel (perpendicular) pressure. However, in the relativistic heat fluxes, the anisotropic distribution is spheroidal (3.5), and both parallel and perpendicular pressure gradients contribute.
In relativistic flows applicable to SMBHs, the electrons are often ultra-relativistic and one can use the ultra-relativistic closure relation in (4.4) to evolve their heat fluxes. For the ions, which are typically non-relativistic or only mildly relativistic, one can instead use the covariant form of the non-relativistic closure in (4.5). More generally, the same matching procedure used in this section can, in principle, be repeated at finite temperature (Denicol, Jeon & Gale Reference Denicol, Jeon and Gale2014). In that case, the relevant kinetic response functions and moment integrals depend on the dimensionless temperature
$z\sim m/T$
, and the closure coefficients need not take the simple analytic form found in the ultra-relativistic limit. They may instead be obtained by constructing asymptotic expansions about the non-relativistic and ultra-relativistic limits (Denicol et al. Reference Denicol, Jeon and Gale2014), or by evaluating the finite-temperature response functions numerically. Hence, the ultra-relativistic and non-relativistic closures should be viewed as limiting cases of a more general finite-temperature relativistic Landau-fluid closure.
Comparison between the linear number density (top panels) and energy response (bottom panels) between the KMHD (solid blue line), CGL (dashed purple line), MHD (dash dotted green line) and the Landau fluid closure (bold orange line). as a function of the driving speed
$\zeta = \omega /|k_z|$
. The left and right columns compare the real and imaginary parts of the response. Observe from the right column that the Landau fluid closure qualitatively models the Landau damping predicted by KMHD equations. This damping is not present in the CGL or the MHD models.

Figure 1. Long description
Panel A: The top left graph is a line graph showing the real part of the linear number density response. The x-axis is labeled with the Greek letter zeta, and the y-axis is labeled Re[delta log(ns)/delta log(b)]. Four lines represent different models: KMHD (solid blue line), CGL (dashed purple line), MHD (dash-dotted green line), and Landau fluid closure (bold orange line). Panel B: The top right graph is a line graph showing the imaginary part of the linear number density response. The x-axis is labeled with the Greek letter zeta, and the y-axis is labeled -Im[delta log(ns)/delta log(b)]. The same four lines represent the different models. Panel C: The bottom left graph is a line graph showing the real part of the energy response. The x-axis is labeled with the Greek letter zeta, and the y-axis is labeled Re[delta log(es)/delta log(b)]. The same four lines represent the different models. Panel D: The bottom right graph is a line graph showing the imaginary part of the energy response. The x-axis is labeled with the Greek letter zeta, and the y-axis is labeled -Im[delta log(es)/delta log(b)]. The same four lines represent the different models.
4.3. Comparison between kinetic and fluid response
In this section, we compare the density and energy density responses obtained from the Landau fluid closure and with the full KMHD calculation. For simplicity, as in the non-relativistic calculation (Snyder et al. Reference Snyder, Hammett and Dorland1997), we choose to compare the responses when the initial distribution function is isotropic. In this case, all the
$\Delta p$
dependent terms drop out from the Landau fluid closure relations. The linearised Landau fluid system can be obtained from (2.35) to obtain a response equation similar to the KMHD result, see (3.18). The exact results for the fluid response from the MHD, CGL and Landau fluid closures are listed in Appendix D. We also include a comparison between the fluid response and the kinetic response in case of an initially anisotropic distribution in Appendix E.
The top and bottom panels of figure 1 compare the KMHD response results with the Landau fluid closure for the number density response and the energy density, respectively, as a function of the driving speed
$\zeta = \omega /|k_z|$
. The left and right panels of each row plot the real and imaginary part of the response functions. Observe from the left column that the real part of the response functions for the number density and the energy density match the KMHD response function in the low frequency regime. The MHD (green dash dotted line) and CGL (purple dashed line) models have resonances at sound speeds
$\zeta = \sqrt {1/3}$
and
$\zeta = \sqrt {3/5}$
, respectively. This resonant behaviour is absent in the KMHD model (blue solid line) and the Landau fluid closure (bold orange line). From the right column of the figure, we see that the Landau fluid closure approximately captures the Landau damping predicted by the KMHD equations, a feature that this not present in either the CGL or the MHD equations. However, the Landau fluid closure over damps the system at
$\zeta \sim 0.65$
. This behaviour is also observed in the non-relativistic theory; compare figure 1 with figure 3 of Snyder et al. (Reference Snyder, Hammett and Dorland1997). For an initially anisotropic distribution function, we observe results qualitatively similar to figure 1, see figure 2 in Appendix E.
The results from figure 1 show that the Landau fluid closure obtained in the previous section reproduces the dissipative KMHD response in the low-frequency limit and qualitatively captures the Landau damping predicted by the kinetic equations. At intermediate and high phase speeds, however, quantitative differences between the Landau fluid closure and the exact KMHD response remain. The agreement is expected to improve as more moments are retained in the closure relationship. While this has been demonstrated in the non-relativistic limit [see figure 3 of Snyder et al. (Reference Snyder, Hammett and Dorland1997)], here, we do not explore such higher-order closures, as it is unclear at present how to incorporate them consistently into a nonlinear relativistic simulation. Moreover, in the absence of a precise order-counting scheme, improved convergence in linear theory does not necessarily imply improved behaviour in a nonlinear simulation. We therefore choose a simple closure that captures some of the essential kinetic physics while keeping the resulting fluid model tractable.
4.4. Collisional operator and phenomenological closure
Let us now include the effects of collisions using a simplified model. We ignore inter-species collisions and use a simple linear operator operator introduced by Rocha, Denicol & Noronha (Reference Rocha, Denicol and Noronha2021) to model the collisions,
\begin{align} \mathcal{C}_s^{\mathrm{RTA}}[f_s] &= -\frac {W_U}{\tau _{R,s}} \bigg [ \boldsymbol{\delta } f_s - f_{\mathrm{eq}}^{s} \frac {\left \langle W_U \delta f\right \rangle }{\left \langle W_U f_{\mathrm{eq}}^{s} \right \rangle } - P_{1} \frac {f_{\mathrm{eq}}^{s} \left \langle W_U P_{1} \boldsymbol{\delta } f_s \right \rangle }{\left \langle W_U P_{1} P_{1} f_{\mathrm{eq}}^{s} \right \rangle } \nonumber \\[4pt] & \quad - k^{\lt \mu \gt } \frac { f_{\mathrm{eq}}^{s} \left \langle W_U k_{\lt \mu \gt } \boldsymbol{\delta } f_s \right \rangle }{(1/3) \left \langle W_U k_{\lt \nu \gt } k^{\lt \nu \gt } f_{\mathrm{eq}}^{s} \right \rangle } \bigg ] , \end{align}
where
$f_{\mathrm{eq}}^{s}$
is the Maxwell–Juttner distribution function,
$\boldsymbol{\delta } f_s = f_s - f_{\mathrm{eq}}^{s}$
,
$\tau _{R,s}$
is a relaxation time and
\begin{align} P_1 &\equiv 1-\frac {\left \langle W_U f_{\mathrm{eq}}^{s} \right \rangle }{\left \langle W_U^2 f_{\mathrm{eq}}^{s} \right \rangle } W_U . \end{align}
Suppose that the plasma is ultra relativistic and choose the equilibrium function so that it satisfies
These assumptions simplify the collisional operator to
\begin{align} \mathcal{C}_s^{\mathrm{RTA}}[f_s] &= -\frac {W_U}{\tau _{R,s}} \bigg [ \boldsymbol{\delta } f_s - k^{\lt \mu \gt } \frac { f_{\mathrm{eq}}^{s} \left \langle W_U k_{\lt \mu \gt } \boldsymbol{\delta } f_s \right \rangle }{(1/3) \left \langle W_U k_{\lt \nu \gt } k^{\lt \nu \gt } f_{\mathrm{eq}}^{s} \right \rangle } \bigg ] . \end{align}
For the gyro-averaged kinetic equation, we need the gyro-averaged collisional operator which takes the form
We can use (4.11) to simply the
$O_{c}[ \mathcal{I}^{(0,2,-1)}_s ]$
and
$O_{c}[ \mathcal{I}^{(2,0,-1)}_s ]$
appearing in (2.40c) and (2.40d
),
These equations are exactly equivalent to their non-relativistic counter parts, see (16) and (17) of Snyder et al. (Reference Snyder, Hammett and Dorland1997).
It is possible to include the collisional operator in the kinetic equation to obtain a collisional closure. However, performing this exactly is not feasible because the collisional operator introduces poles in the Green’s function that are hard to treat. In the non-relativistic limit, Snyder et al. (Reference Snyder, Hammett and Dorland1997) followed an alternate approach: first deriving a collisionless closure for higher order moments of the distribution function, then taking the low-frequency limit with collisions included to obtain the closure for the heat fluxes. This procedure can also be carried out in relativity, but one typically needs to close more moments than in the non-relativistic limit. The result of this calculation will be a closure of the form
\begin{align} \delta \mathcal{Q}_{\parallel ,s} &= i \frac {|k_z|}{k_z + \tau _{R,s}^{-1} \boldsymbol{a}_{\parallel ,s}} \bigg [ n_s \left ( -\frac {8}{5\pi } + f_1 \right ) \delta \left (\frac {\mathcal{E}_s}{n_s}\right ) + \left ( \frac {28}{15 \pi } + f_2 \right ) \delta (p_{\perp ,s}-p_{\parallel ,s}) \nonumber \\[5pt]& \quad + f_3 \frac {\delta b}{b} \mathcal{E}_s + f_4 \mathcal{E}_s \frac {\delta n_s}{n_s} \bigg ] ,\\[-5pt]\nonumber \end{align}
\begin{align} \delta \mathcal{Q}_{\perp ,s} &= i \frac {|k_z|}{k_z + \tau _{R,s}^{-1} \boldsymbol{a}_{\perp ,s}} \bigg [ n_s \left ( -\frac {8}{15\pi } + g_1 \right ) \delta \left (\frac {\mathcal{E}_s}{n_s}\right ) + \left ( -\frac {4}{15 \pi } + g_2 \right ) \delta (p_{\perp ,s}-p_{\parallel ,s}) \nonumber \\[5pt] & \quad + g_3 \frac {\delta b}{b} \mathcal{E}_s + g_4 \mathcal{E}_s \frac {\delta n_s}{n_s} \bigg ] , \end{align}
where
$\boldsymbol{a}_{\parallel ,s}$
and
$\boldsymbol{a}_{\perp ,s}$
are
$\mathcal{O}(1)$
coefficients. Notice that when
$\tau _{R,s} \to \infty$
, the above-mentioned equation reduces to the collisionless closure (4.3). In a numerical implementation, one can simply treat
$\boldsymbol{a}_{\parallel ,s}$
and
$\boldsymbol{a}_{\perp ,s}$
as phenomenological parameters that decrease the pressure anisotropy (Sharma et al. Reference Sharma, Hammett, Quataert and Stone2006; Squire et al. Reference Squire, Kunz, Arzamasskiy, Johnston, Quataert and Schekochihin2023).
Before proceeding, it is useful to comment on the locality, stability and causality properties of the closure in (4.13). The closure was derived from the linearised equations in Fourier space. In the collisionless limit, the appearance of factors such as
$\mathrm{sgn}(k_z)$
implies that, when transformed back to physical space, the closure is non-local along the magnetic field. This is the familiar Hilbert-transform-like non-locality of Landau-fluid closures (Hammett & Perkins Reference Hammett and Perkins1990; Snyder et al. Reference Snyder, Hammett and Dorland1997).
This non-locality should not be interpreted as a fundamental inconsistency of the underlying relativistic kinetic theory. Rather, it reflects the fact that the closure is a low-frequency representation of collisionless phase mixing. In practical fluid simulations, one often replaces the non-local operator by a local phenomenological approximation involving a characteristic parallel wavenumber
$k_z$
, see Sharma et al. (Reference Sharma, Hammett, Quataert and Stone2006).
Even after such a replacement, the resulting equations should not be viewed as a manifestly causal, strictly hyperbolic relativistic fluid theory. This is expected, since the closure was constructed in a low-frequency approximation rather than from a relaxation-type causal theory. A practical way to handle this limitation is to use an order-reduction scheme: time derivatives appearing in the heat-flux sector are replaced using the lower-order CGL equations, thereby expressing the heat-flux corrections in terms of spatial derivatives of the leading-order variables. Such an order-reduced system can be evolved stably provided the heat-flux corrections remain perturbative, i.e. small compared with the leading CGL terms.
4.5. Comparisons with models in the literature
Before we compare our model to other relativistic flow models, let us briefly place it in the context of non-relativistic models. Historically, the description of magnetised, weakly collisional plasmas relied on the Braginskii fluid equations (Braginskii Reference Braginskii1958), which requires a viscous closure for the heat-fluxes. However, in many astrophysical environments – such as the solar wind, the intracluster medium and accretion flows – the mean free path of particles exceeds the scale lengths of interest, requiring collisionless models (Hammett & Perkins Reference Hammett and Perkins1990; Snyder et al. Reference Snyder, Hammett and Dorland1997; Schekochihin et al. Reference Schekochihin, Cowley, Dorland, Hammett, Howes, Quataert and Tatsuno2009).
In the context of accretion flows around SMBHs, several studies have used collisionless Landau-fluid models to study the impact of pressure anisotropy in a local shearing-box simulation (Sharma et al. Reference Sharma, Hammett and Quataert2003, Reference Sharma, Hammett, Quataert and Stone2006). The model developed in this paper will help generalise these studies to black hole accretion flows to understand the impact of pressure anisotropy on relativistic jets and near-horizon flow dynamics. Beyond basic transport, the model studied here should allow the investigation of plasma dynamics absent in standard ideal GRMHD, such as the firehose and mirror instabilities (Kunz et al., Reference Kunz, Schekochihin and Stone2014) and magnetic immutability (Squire et al. Reference Squire, Schekochihin, Quataert and Kunz2019, Reference Squire, Kunz, Arzamasskiy, Johnston, Quataert and Schekochihin2023; Majeski, Kunz & Squire Reference Majeski, Kunz and Squire2024).
4.5.1. Comparison to EMHD
In this section, we briefly compare the Landau fluid model presented here with the EMHD models developed by Chandra et al. (Reference Chandra, Gammie, Foucart and Quataert2015), Most & Noronha (Reference Most and Noronha2021) and Most et al. (Reference Most, Noronha and Philippov2022). Both approaches yield an identical structural form for the stress-energy tensor, where non-equilibrium contributions are driven by pressure anisotropy and magnetic-field-aligned heat fluxes (2.27). However, the underlying closure physics is fundamentally different. The original model of Chandra et al. (Reference Chandra, Gammie, Foucart and Quataert2015) was a phenomenological model for a plasma in which micro-instabilities have already relaxed plasma to a local equilibrium state. Our model, however, does not make this assumption and instead tries to capture general pressure anisotropies.
More specifically, the form of the heat flux (4.3) and the pressure evolution equations (2.40c ) and (2.40d ) differ significantly between the two models. In the EMHD approach, the system is collision-dominated and the distribution function is assumed to remain close to a local Maxwell-Juttner equilibrium. This assumption restricts the magnitude of the pressure anisotropy and heat flux, forcing these out-of-equilibrium corrections to relax towards a Braginskii-like form [see (45) and (50) of Chandra et al. (Reference Chandra, Gammie, Foucart and Quataert2015)]:
where
$\chi$
,
$\nu$
and
$\varTheta$
are the thermal transport coefficient, the viscous transport coefficients and the temperature. Unlike the EMHD model, the initial distribution function in the Landau fluid is assumed to be anisotropic and non-Maxwellian. This allows both parallel and perpendicular pressure variables to evolve dynamically. Moreover, the sources of dissipation in the two models differ. The EMHD models dissipation through local collisions, whereas in the Landau fluid model, dissipation arises from kinetic Landau damping and phase-mixing.
4.5.2. Comparison to recent weakly collisional models
During the final stages of preparing this manuscript, two recent studies by Wierzchucka et al. (Reference Wierzchucka, Bilbao, Thomas, Uzdensky and Schekochihin2026) and Ley et al. (Reference Ley, Tran and Zweibel2026) were submitted. These studies generalise the CGL equations to relativistic distribution functions with the assumptions of spatial homogeneity and non-relativistic bulk flow. Here, we briefly describe how to obtain the results from these papers using our more general approach. Consider a collisionless, homogeneous plasma with non-zero parallel electric, non-relativistic bulk flow (
$W_U \sim 1$
) in Minkowski space and assume that
$\partial _t f \gg \partial _{x,y,z} f$
. Using these assumptions, (2.46) reduces to (2.2) of Ley et al. (Reference Ley, Tran and Zweibel2026),
Equation (4.15) can be solved using the method of lines to obtain (2.5), (2.11) and (2.12) of Ley et al. (Reference Ley, Tran and Zweibel2026). Once the evolution of the distribution function is obtained, Ley et al. (Reference Ley, Tran and Zweibel2026) derive the evolution of the parallel and perpendicular pressures for different initially isotropic distribution functions such as the Maxwell–Boltzmann distribution and the Maxwell–Juttner distribution. The results of Wierzchucka et al. (Reference Wierzchucka, Bilbao, Thomas, Uzdensky and Schekochihin2026) are similar but they use general symmetry principles in phase space to obtain these results.
In contrast, our model preserves full generality by deriving the evolution equations directly from the covariant Vlasov–Maxwell system without assuming homogeneity or non-relativistic flow. Our closure relationship relies on an anisotropic distribution function and we employ relativistic linear response theory to self-consistently incorporate heat fluxes driven by Landau damping. This allows our framework to describe the dissipative kinetic effects that are not analysed by Ley et al. (Reference Ley, Tran and Zweibel2026) and Wierzchucka et al. (Reference Wierzchucka, Bilbao, Thomas, Uzdensky and Schekochihin2026).
5. Conclusions
Diffuse accretion flows are fundamentally weakly collisional or collisionless, rendering traditional models – such as the ideal MHD approximation or the collisional Braginskii regime – (formally) physically insufficient. In a weakly collisional plasma, analysing the interplay among strong magnetic fields, anisotropic pressure transport and non-local heat fluxes driven by particle kinetics is important for faithfully modelling the impact of microscopic scales on macroscopic flow dynamics. In the non-relativistic limit, a fundamental model for the macroscopic dynamics of a strongly magnetised, weakly collisional plasma is KMHD (Kulsrud Reference Kulsrud1983). In this paper, we have, for the first time, extended the KMHD framework to general relativity. Our results provide a framework for modelling the impact of ion–electron kinetics in global simulations of accretion disks in curved space–time, complementing the more fundamental but expensive PIC simulations (Galishnikova et al. Reference Galishnikova, Philippov, Quataert, Bacchini, Parfrey and Ripperda2023).
We have also presented a general strategy to obtain a Landau fluid closure model for relativistic flows (Snyder et al. Reference Snyder, Hammett and Dorland1997). In particular, we have presented analytic closure relationships for the heat flow parallel and perpendicular to the magnetic field for ultra-relativistic equation of state. The heat fluxes in the ultra-relativistic regime differ functionally from the non-relativistic heat flux due to the difference in the behaviour of the Maxwell–Juttner distribution in the ultra-relativistic regime compared with the non-relativistic regime. A comparison between the linear response of the fluid equations and that of the kinetic equations shows that our closure relationship qualitatively captures the Landau damping predicted by the kinetic equations.
The theoretical framework presented in this paper enables many interesting directions for numerical methods to explore of the impact of pressure anisotropy in weakly collisional relativistic flows. However, devising numerical schemes to evolve the pressure anisotropy model proposed in this paper will be challenging. For non-relativistic flows, the presence of the first and second adiabatic invariants helps one obtain a system of hyperbolic conservation laws for the Landau fluid system (Squire et al. Reference Squire, Kunz, Arzamasskiy, Johnston, Quataert and Schekochihin2023). This simplification is not possible in special- or general-relativistic flows. A stable numerical scheme in the relativistic regime might require adopting the techniques used in the evolution of viscous neutron star mergers (Chabanov & Rezzolla Reference Chabanov and Rezzolla2025), given the similarities in the mathematics of these two problems.
It would be interesting to compare the results from our model to the Braginskii-like model used by Chandra et al. (Reference Chandra, Gammie, Foucart and Quataert2015) and Foucart et al. (Reference Foucart, Chandra, Gammie and Quataert2015, Reference Foucart, Chandra, Gammie, Quataert and Tchekhovskoy2017), and the non-relativistic simulations of Sharma et al. (Reference Sharma, Hammett, Quataert and Stone2006, Reference Sharma, Quataert, Hammett and Stone2007) to relativistic accretion flow around a Kerr black hole. This would provide a closer comparison to kinetic particle-in-cell simulations of Galishnikova et al. (Reference Galishnikova, Philippov, Quataert, Bacchini, Parfrey and Ripperda2023) than the ideal MHD model. Our model also allows one to study the role of mirror and firehose instabilities on diffuse accretion flows. By identifying the threshold for these instabilities in the relativistic regime, our framework could offer a better understanding of how particle kinetics can dictate the rates of angular momentum transport and energy dissipation near the horizons of SMBHs. Another natural extension of this study would be to move towards higher-order moment closures (Ng et al. Reference Ng, Hakim, Wang and Bhattacharjee2020) or construct generalised parallel-kinetic and perpendicular moment models (Juno et al. Reference Juno, Hakim and TenBarge2025) to accurately match the kinetic response function. Finally, one could investigate how the inclusion of pressure anisotropy modifies the growth rates of the MRI in rotating relativistic fluids, generalising the non-relativistic study from Quataert, Dorland & Hammett (Reference Quataert, Dorland and Hammett2002) and Sharma, Hammett & Quataert (Reference Sharma, Hammett and Quataert2003).
Supplementary material
Supplementary materials are available at https://doi.org/10.1017/S0022377826102530.
Acknowledgements
The authors thank Charles Gammie, James Juno, Matthew W. Kunz, Frans Pretorius, Eliot Quataert and Jason M. TenBarge for illuminating discussions. We are grateful to Charles Gammie and James Juno for reading the draft and providing detailed comments, which improved the presentation of this paper.
Editor Alex Schekochihin thanks the referees for their advice in evaluating this article.
Declaration of interests
The authors report no conflict of interest.
Appendix A. Derivation of the drift kinetic equation
A.1. Deriving
$\partial f_{0,s}/\partial \vartheta = 0$
The first step in the analysis is to change coordinates from
$(x,k^{\mu })$
to
$(x,W_U, v_{\parallel }, v_{\perp }, \vartheta )$
. Using (2.22), we can show that
Next, we use the decomposition of the electromagnetic tensor
To leading order,
$E_{\mu } = 0$
(2.18). Hence, using (A1) and (A2), (2.17) simplifies to
A.2. Drift kinetic equation
We now derive the drift kinetic Vlasov equations. The velocity components of the Jacobian for the coordinate change were listed in (A1). The coordinate space components are
\begin{align} &\frac {\partial v_{\perp }}{\partial x^{\beta }} = \left (\! \cos (\vartheta ) k^{\mu } \frac {\partial\kern-1.3pt \hat {X}_{\mu }}{\partial x^{\beta }} + \sin (\vartheta ) k^{\mu } \frac {\partial\kern-1.3pt \hat {Y}_{\mu }}{\partial x^{\beta }} \right ) , \quad \frac {\partial \vartheta }{\partial x^{\beta }} = \frac {k^{\mu }}{v_{\perp }} \left [ \!\cos \vartheta \frac {\partial\kern-1.3pt \hat {Y}_{\mu }}{\partial x^{\beta }} - \sin \vartheta \frac {\partial\kern-1.3pt \hat {X}_{\mu }}{\partial x^{\beta }} \right ] .\nonumber\\[-5pt]\nonumber\\[-4pt] \end{align}
Using (A1) and (A4), we have that
\begin{align} &\frac {\partial f}{\partial x^{\beta }} = \frac {\partial f}{\partial x^{\beta }} + \frac {\partial f}{\partial\kern-1pt W_{U}} \frac {\partial\kern-1pt W_U}{\partial x^{\beta }} + \frac {\partial f}{\partial v_{\parallel }} \frac {\partial v_{\parallel }}{\partial x^{\beta }} + \frac {\partial f}{\partial v_{\perp }} \frac {\partial v_{\perp }}{\partial x^{\beta }} + \frac {\partial f}{\partial \vartheta } \frac {\partial \vartheta }{\partial x^{\beta }} ,\kern120pt \nonumber \\[8pt] &\overset {\mathrm{OMS}}{=} \frac {\partial f}{\partial x^{\beta }} + \frac {1}{W_U}\frac {\partial f}{\partial\kern-1pt W_U} \left [ W_U \frac {\partial\kern-1pt W_U}{\partial x^{\beta }} - v_{\parallel } \frac {\partial v_{\parallel }}{\partial x^{\beta }} - v_{\perp } \frac {\partial v_{\perp }}{\partial x^{\beta }} \right ] \nonumber \\[8pt] & + \frac {\partial f}{\partial v_{\parallel }} \left [k^{\mu } \frac {\partial \hat {b}_{\mu }}{\partial x^{\beta }} \right ] + \frac {\partial f}{\partial v_{\perp }} \left (\! \cos (\vartheta ) k^{\mu } \frac {\partial\kern-1.3pt \hat {X}_{\mu }}{\partial x^{\beta }} + \sin (\vartheta ) k^{\mu } \frac {\partial\kern-1.3pt \hat {Y}_{\mu }}{\partial x^{\beta }} \right ) \nonumber \\[8pt] & + \frac {k^{\mu }}{v_{\perp }} \frac {\partial f}{\partial \vartheta } \left [ \!\cos \vartheta \frac {\partial\kern-1.3pt \hat {Y}_{\mu }}{\partial x^{\beta }} - \sin \vartheta \frac {\partial\kern-1.3pt \hat {X}_{\mu }}{\partial x^{\beta }} \right ] ,\\[-5pt]\nonumber \end{align}
\begin{align} &\overset {\mathrm{OMS}}{=} \frac {\partial f}{\partial x^{\beta }} + \frac {\partial f}{\partial v_{\parallel }} \left [k^{\mu } \frac {\partial \hat {b}_{\mu }}{\partial x^{\beta }} \right ] + \frac {\partial f}{\partial v_{\perp }} \left (\! \cos (\vartheta ) k^{\mu } \frac {\partial\kern-1.3pt \hat {X}_{\mu }}{\partial x^{\beta }} + \sin (\vartheta ) k^{\mu } \frac {\partial {\hat {Y}}_{\mu }}{\partial x^{\beta }} \right ) \nonumber \\[4pt] & + \frac {k^{\mu }}{v_{\perp }} \frac {\partial f}{\partial \vartheta } \left [ \!\cos \vartheta \frac {\partial {\hat {Y}}_{\mu }}{\partial x^{\beta }} - \sin \vartheta \frac {\partial {\hat {X}}_{\mu }}{\partial x^{\beta }} \right ] ,\\[-5pt]\nonumber \end{align}
\begin{align}& \frac {\partial f}{\partial k^{\beta }} = \frac {\partial f}{\partial\kern-1pt W_{U}} \frac {\partial\kern-1pt W_U}{\partial k^{\beta }} + \frac {\partial f}{\partial v_{\parallel }} \frac {\partial v_{\parallel }}{\partial k^{\beta }} + \frac {\partial v_{\perp }}{\partial k^{\beta }} \frac {\partial f}{\partial v_{\perp }} + \frac {\partial \vartheta }{\partial k^{\beta }} \frac {\partial f}{\partial \vartheta } , \nonumber \\[5pt] &\overset {\mathrm{OMS}}{=} \frac {\partial f}{\partial v_{\parallel }} \hat {b}_{\beta } + \big[\big(\! \cos (\vartheta ) \hat {X}_{\mu } + \sin (\vartheta ) \hat {Y}_{\mu } \big)\big] \frac {\partial f}{\partial v_{\perp }} + \bigg [\frac {1}{v_{\perp }}\big(\! \cos \vartheta\kern-1.3pt \hat {Y}_{\mu } - \sin \vartheta\kern-1.3pt \hat {X}_{\mu } \big)\bigg ] \frac {\partial f}{\partial \vartheta } ,\\[-10pt]\nonumber\end{align}
where
$\mathrm{OMS}$
is a shorthand for on mass shell. To obtain the equations on shell, we have used
\begin{align} \left .\frac {\partial f}{\partial v_{\parallel ,\perp }}\right |_{W_{U}} = \frac {\partial f}{\partial v_{\parallel ,\perp }} - \left .\frac {\partial f}{\partial\kern-1pt W_U}\right |_{v_{\parallel ,\perp }} \frac {v_{\parallel ,\perp }}{W_U} . \end{align}
With these identities, the Vlasov equations for particle
$s$
simplify to
\begin{align} &k^{\beta } \frac {\partial f}{\partial x^{\beta }} + k^{\beta }k^{\mu }\frac {\partial f}{\partial v_{\parallel }} \frac {\partial \hat {b}_{\mu }}{\partial x^{\beta }} \nonumber \\[4pt] & + k^{\beta }k^{\mu } \left[ \frac {\partial f}{\partial v_{\perp }} \left (\! \cos (\vartheta ) \frac {\partial\kern-1.3pt \hat {X}^{\mu }}{\partial x^{\beta }} + \sin (\vartheta ) \frac {\partial\kern-1.3pt \hat {Y}^{\mu }}{\partial x^{\beta }} \right ) + \frac {1}{v_{\perp }} \frac {\partial f}{\partial \vartheta } \left [ \!\cos \vartheta \frac {\partial\kern-1.3pt \hat {Y}^{\mu }}{\partial x^{\beta }} - \sin \vartheta \frac {\partial\kern-1.3pt \hat {X}^{\mu }}{\partial x^{\beta }} \right ] \right] \nonumber \\[4pt] &+ \left [ \frac {q}{m} F^{\alpha }{}_{\mu } k^{\mu } - \varGamma ^{\alpha }{}_{\mu \nu } k^{\mu } k^{\nu } \right ] \frac {\partial f}{\partial k^{\alpha }} =C[f], \end{align}
where we have dropped the species label
$s$
for simplicity. We can replace partial derivatives by covariant derivatives to obtain
\begin{align} &k^{\beta } \frac {\partial f}{\partial x^{\beta }} + k^{\beta }k^{\mu }\frac {\partial f}{\partial v_{\parallel }} \boldsymbol{\nabla} _{\beta } \hat {b}_{\mu } \nonumber \\[4pt] & + k^{\beta }k^{\mu } \left[ \frac {\partial f}{\partial v_{\perp }} \big(\! \cos (\vartheta )\boldsymbol{\nabla} _{\beta } \hat {X}_{\mu } + \sin (\vartheta ) \boldsymbol{\nabla} _{\beta } \hat {Y}_{\mu } \big) + \frac {1}{v_{\perp }} \frac {\partial f}{\partial \vartheta } \big[\! \cos \vartheta \boldsymbol{\nabla} _{\beta } \hat {Y}_{\mu } - \sin \vartheta \boldsymbol{\nabla} _{\beta } \hat {X}_{\mu } \big] \right] \nonumber \\[7pt] &+ \left [ \frac {q}{m} F^{\alpha }{}_{\mu } k^{\mu } \right ] \frac {\partial f}{\partial k^{\alpha }} =C[f]. \end{align}
Observe that the Christoffel symbols no longer enter the equation. To obtain the gyrokinetic equation, we replace
$f\to f_0$
, use (2.24) and take the average of the above-mentioned equation over
$\vartheta$
to get
\begin{align} &\big\langle k^{\beta }k^{\mu } \big(\!\cos (\vartheta )\boldsymbol{\nabla} _{\beta } \hat {X}_{\mu } + \sin (\vartheta ) \boldsymbol{\nabla} _{\beta } \hat {Y}_{\mu } \big) \big\rangle _{\vartheta } = \frac {1}{2} \big(a_{U}^{\alpha } \hat {b}_{\alpha } - \boldsymbol{\nabla} _{\alpha } \hat {b}^{\alpha }\big) v_{||}{} v_{\perp }{} \nonumber \\ &+ \frac {1}{2} v_{\perp } W_{U} \big({-} \boldsymbol{\nabla} _{\alpha } U^{\alpha } + \hat {b}^{\alpha } \hat {b}^{\beta } \boldsymbol{\nabla} _{\beta }U_{\alpha }\big) , \end{align}
where
$a_{U}^{\alpha } = D U^{\alpha }$
is the acceleration. We can simplify this further by noting that for magnetically dominated electromagnetic field tensor, the Gauss–Faraday law yields
Therefore, we have
A.3. Volume element
The volume element over the mass shell is given by (Sarbach & Zannias Reference Sarbach and Zannias2013)
We change coordinates from
$k^{\mu } \to \boldsymbol{V} \equiv (W_U, v_{\parallel }, v_{\perp }, \vartheta )$
,
The Jacobian can be calculated using (A1). Define a tetrad
We know that
From (A1), we see that
\begin{align} \frac {\partial \boldsymbol{V}^{a}}{\partial k^{\mu }} = \boldsymbol{E}^{a}{}_{b} e^{b}{}_{\mu }, \quad \boldsymbol{E}^{a}{}_{b} = \begin{pmatrix} -1 & \quad 0 & \quad 0 & \quad 0 \\[3pt] 0 & \quad 1 & \quad 0 & \quad 0 \\[3pt] 0 & \quad 0 & \quad \cos \vartheta & \quad \sin \vartheta \\[3pt] 0 & \quad 0 & \quad - v_{\perp }^{-1}\sin \vartheta & \quad v_{\perp }^{-1}\cos \vartheta \end{pmatrix} . \end{align}
Therefore,
Combining the above-mentioned equations, we obtain that
\begin{align} {\rm d} V = \sqrt {-g} \, d^4 k = v_{\perp } {\rm d} W_U {\rm d} v_{\perp } {\rm d} v_{\parallel } {\rm d} \vartheta \overset {\mathrm{OMS}}{=} \frac {v_{\perp } {\rm d} v_{\perp } {\rm d} v_{\parallel } {\rm d}\vartheta }{\sqrt {1+ v_{\perp }^2 + v_{\parallel }^2}} . \end{align}
Appendix B. Evaluating the moments of the anisotropic distribution function
For simplicity, in this section, we drop the species label
$s$
. The moments
$\mathcal{I}^{(P,Q,R)}$
(2.29) are given by
In this paper, we are interested in the ultra-relativistic limit. This limit becomes transparent if we use the substitution
to reduce the integral to
\begin{align} \mathcal{I}^{(P,Q,R)} &= \frac {2\pi \alpha }{z^{2+P+Q+R}} \int _{w=0}^{\infty } \int _{\theta = 0}^{\pi } {\rm d}w {\rm d}\theta \, w^{P+Q+2} \sin ^{P+1}(\theta ) \cos ^Q(\theta ) (w^2+z^2)^{({R-1})/{2}} \nonumber \\[5pt] &\times e^{-\sqrt {w^2 \left (\delta _1 \cos ^2(\theta )+\delta _2 \sin ^2(\theta )\right )+z^2}} \nonumber \\[5pt] & \equiv \frac {2\pi \alpha }{z^{2+P+Q+R}} \tilde {\mathcal{I}}^{(P,Q,R)} . \end{align}
Similarly, we can reduce
$\mathcal{I}^{({-}1)}_{(P,Q,R)}$
(3.6) to
\begin{align} &\mathcal{I}^{({-}1)}_{(P,Q,R)} = \frac {2 \pi \alpha }{z^{1+P+Q+R}} \nonumber \\[5pt] &\int _{w=0}^{\infty } \int _{\theta = 0}^{\pi } {\rm d}w {\rm d}\theta \, \frac {w^{P+Q+2} \sin ^{P+1}(\theta ) \cos ^Q(\theta ) (w^2+z^2)^{({R-1})/{2}}\, e^{-\sqrt {w^2 \left (\delta _1 \cos ^2(\theta )+\delta _2 \sin ^2(\theta )\right )+z^2}}}{\sqrt {w^2 \left (\delta _1 \cos ^2(\theta )+\delta _2 \sin ^2(\theta )\right )+z^2}} \nonumber \\[5pt] & \equiv \frac {2 \pi \alpha }{z^{1+P+Q+R}} \tilde {\mathcal{I}}^{({-}1)}_{(P,Q,R)} . \end{align}
For a given value of
$(z,\delta _1,\delta _2)$
, the integrals
$\tilde {\mathcal{I}}^{(P,Q,R)}$
and
$\tilde {\mathcal{I}}^{({-}1)}_{(P,Q,R)}$
can be evaluated numerically. When
$P+Q+R\lt 0$
, it is useful to switch the integration variable to
to ensure better convergence.
B.1. Analytical expression for the moments in the high-temperature limit
Define
To yield physical values for thermodynamic variables, we require that
$\infty \gt \tilde {\mu }\gt -1$
. In the high-temperature limit, one can evaluate the moments analytically using (B1). Some useful moments are listed here:
Finally, we note that the anisotropic distribution function (3.5) contains four free parameters
$(\delta _{1,2}, \alpha , z)$
. We can fix of one of these parameters by demanding that the anisotropic distribution function satisfies the ideal gas law
which leads to the following equation for
$\tilde {\Delta }$
:
\begin{align} \tilde {\Delta } = \left (1+\tilde {\mu } \right )^{-1} \left [ \frac {1}{\frac {1}{\tilde {\mu }}-\frac {(\tilde {\mu }+1) \tan ^{-1}\big(\sqrt {\tilde {\mu }}\big)}{\tilde {\mu }^{3/2}}}+\frac {1}{\frac {(\tilde {\mu }+1) \tan ^{-1}\big(\sqrt {\tilde {\mu }}\big)}{\tilde {\mu }^{3/2}}+\frac {3}{\tilde {\mu }}}+1 \right ] . \end{align}
Observe that the relation used in (B8) is not a non-relativistic equation of state. Since
$z\sim m/T$
, the right-hand side is
$\sim n T$
. Hence, (B8) fixes the effective temperature parameter of the anisotropic distribution function.
Appendix C. Relativistic plasma response function
In this appendix, we discuss how to evaluate
$\mathcal{H}_s^{(P,Q,R)}$
. Let us start by proving (3.16). For
$n\gt 0$
, we note the following elementary factorisation identity:
Ignore the species label
$s$
for simplicity and rewrite (3.13) as
\begin{align} \mathcal{H}^{(P,Q,R)}(\zeta ) &= -z \delta _{1} \left \langle \frac {v_{\perp }^{P} v_{\parallel }^{Q+1} W_U^{R} }{ \left (v_{\parallel } W_{U}^{-1} - \zeta \right ) \tilde {W}} \right \rangle = -z \delta _{1} \left \langle \frac {v_{\perp }^{P} \left (\lambda \right )^{Q+1} W_U^{R+Q+1} }{ \left (\lambda - \zeta \right ) \tilde {W}} \right \rangle , \end{align}
where
$\lambda \equiv v_{\parallel } W_U^{-1}$
. Using (C1) and simplifying, we obtain (3.16).
C.1. Evaluating
$\mathcal{Z}^{(P,R)}$
In this section, we assume that
$P+R+1\gt 0$
. From (3.17), we have
\begin{align} \mathcal{Z}^{(P,R)} &= 2\pi \alpha \int _{v_{\perp }=0}^{\infty } v_{\perp } {\rm d} v_{\perp } \int _{v_{\parallel }=-\infty }^{\infty } \frac {{\rm d} v_{\parallel }}{W_U} \frac {v_{\perp }^P W_U^R}{\left (v_{\parallel } W_{U}^{-1} - \zeta \right ) \tilde {W} } e^{-z \tilde {W}} ,\\[-14pt]\nonumber \end{align}
\begin{align} &\overset {v = v_{\parallel } W_U^{-1}}{\Large {=}} 2 \pi \alpha \int _{v_{\perp }=0}^{\infty } v_{\perp }^{P} \left [1 + v_{\perp }^2 \right ]^{R/2} v_{\perp } {\rm d} v_{\perp } \int _{v=-1}^{1} \frac {{\rm d}v}{\left (1-v^2\right )^{R/2+1}} \frac {e^{-z \tilde {W}}}{\tilde {W}(v - \zeta )} . \end{align}
When
$\zeta$
is real, we can use Landau’s prescription to obtain
\begin{align} \mathcal{Z}^{(P,R)} &= 2 \pi \alpha \bigg [ \int _{v_{\perp }=0}^{\infty } v_{\perp }^{P} \left [1 + v_{\perp }^2 \right ]^{R/2} v_{\perp } {\rm d} v_{\perp } \mathrm{P.V.} \int _{v=-1}^{1} \frac {{\rm d}v}{\left (1-v^2\right )^{R/2+1}} \frac {e^{-z \tilde {W}}}{\tilde {W}(v - \zeta )} \bigg ] \nonumber \\[3pt] & \quad + 2 i \pi ^2 \alpha \bigg [ \int _{v_{\perp }=0}^{\infty } {\rm d} v_{\perp } v_{\perp }^{P+1} \left [1 + v_{\perp }^2 \right ]^{R/2} \frac {e^{-z \tilde {W}}}{\tilde {W}\left (1-\zeta ^2\right )^{R/2+1}} \bigg ] . \end{align}
C.1.1. Evaluation in the low-frequency limit
In the low-frequency limit only the second term in (C5) contributes. We can evaluate this by changing variables to
to obtain
\begin{align} \mathcal{Z}^{(P,R)} &= \frac {2 i \pi ^2 \alpha }{z^{P+R+1}} \int _{w=0}^{\infty } {\rm d}w\, w^{P+1} (w^2+z^2)^{R/2} \frac {e^{-\sqrt {\delta _2 w^2+z^2}}}{\sqrt {\delta _2 w^2+z^2}} + \mathcal{O}(\zeta ) \nonumber \\[3pt] &\equiv \frac {2 i \pi ^2 \alpha }{z^{P+R+1}} \tilde {\mathcal{Z}}^{(P,R)}_{I}(\zeta =0) . \end{align}
In the high-temperature limit,
$\tilde {\mathcal{Z}}^{(P,R)}_{I}(\zeta =0)$
evaluates to
$\delta _2^{-P/2-R/2-1} \varGamma (P+R+1)$
.
C.1.2. Evaluation for general a real value of
$-1\lt \zeta \lt 1$
The second integral in (C5) is purely imaginary and we can evaluate this using the transformations we have discussed so far,
\begin{align} \mathrm{Im}\big[\mathcal{Z}^{(P,R)} \big] &= \frac {2 i \pi ^2 \alpha }{z^{1+P+R} (1-\zeta ^2)^{1+R/2}} \left[\vphantom{\frac {e^{-\sqrt {\delta _2 w^2-\frac {\delta _1 \zeta ^2 (w^2+z^2)}{\zeta ^2-1}+z^2}}}{\sqrt {\delta _2 w^2-\frac {\delta _1 \zeta ^2 (w^2+z^2)}{\zeta ^2-1}+z^2}}}\int _{w=0}^{\infty } {\rm d}w \, w^{P+1} (w^2+z^2)^{R/2}\right. \nonumber \\[4pt] & \left.\times \frac {e^{-\sqrt {\delta _2 w^2-\frac {\delta _1 \zeta ^2 (w^2+z^2)}{\zeta ^2-1}+z^2}}}{\sqrt {\delta _2 w^2-\frac {\delta _1 \zeta ^2 (w^2+z^2)}{\zeta ^2-1}+z^2}} \right] \nonumber \\[2pt] &\equiv \frac {2 i \pi ^2 \alpha }{z^{1+P+R}} \tilde {\mathcal{Z}}_{I}^{(P,R)}(\zeta ) . \end{align}
In the high-temperature limit,
To obtain the real part of (C5), we analyse the principal value contribution,
\begin{align} &\mathrm{P.V} \int _{v=-1}^{1} \frac {{\rm d}v}{\left (1-v^2\right )^{R/2+1}} \frac {e^{-z \tilde {W}}}{\tilde {W}(v - \zeta )} = \frac {e^{-z \tilde {W}(v=\zeta )}}{\tilde {W}(v=\zeta ) \left (1-\zeta ^2\right )^{R/2+1}} \log \left [ \frac {|1-\zeta |}{|1+\zeta |} \right ] \nonumber \\[5pt] & \quad + \int _{v=-1}^{1} \frac {{\rm d}v}{v - \zeta } \left [ \frac {e^{-z \tilde {W}}}{\tilde {W}\left (1-v^2\right )^{R/2+1}} - \frac {e^{-z \tilde {W}(v=\zeta )}}{\tilde {W}(v=\zeta )\left (1-\zeta ^2\right )^{R/2+1}} \right ] . \end{align}
Substituting this in (C5) and simplifying, we obtain
\begin{align} &\mathrm{Re}\big[\mathcal{Z}^{(P,R)} \big] = \frac {2 \pi \alpha }{z^{1+P+R} } \log \left [ \frac {|1-\zeta |}{|1+\zeta |} \right ] \tilde {\mathcal{Z}}_{I}^{(P,R)} \nonumber \\[5pt] &+ \frac {2\pi \alpha }{z^{P+R+1}} \int _{w=0}^{\infty } {\rm d}w \int _{v=-1}^{1} {\rm d}v \left[ \frac {w^{P+1} (1-\zeta ^2)^{-\frac {R}{2}-1} (w^2+z^2)^{R/2} e^{-\sqrt {\delta _2 w^2-\frac {\delta _1 \zeta ^2 (w^2+z^2)}{\zeta ^2-1}+z^2}}}{(\zeta -v) (z \tilde {W})} \right.\nonumber \\[5pt] & \left. -\frac {w^{P+1} (1-v^2)^{-\frac {R}{2}-1} (w^2+z^2)^{R/2} \exp \left ({-}\sqrt {-\frac {\delta _1 v^2 (w^2+z^2)}{v^2-1}+\delta _2 w^2+z^2}\right )}{(\zeta -v)(z \tilde {W})} \right] . \end{align}
Define
In the high-temperature limit, the second integral in (C11) reduces to
\begin{align} &\mathrm{Re}\big[\mathcal{Z}^{(P,R)} \big] = \frac {2 \pi \alpha }{z^{1+P+R} } \log \left [ \frac {|1-\zeta |}{|1+\zeta |} \right ] \tilde {\mathcal{Z}}_{I}^{(P,R)} + \frac {2\pi \alpha }{z^{P+R+1}} \int _{v=-1}^{1} {\rm d}v \frac {y(v) - y(\zeta )}{v-\zeta } \, \nonumber \\[7pt] &= \frac {2 \pi \alpha }{z^{1+P+R} } \log \left [ \frac {|1-\zeta |}{|1+\zeta |} \right ] \tilde {\mathcal{Z}}_{I}^{(P,R)} \nonumber \\[7pt] &+ \frac {2\pi \alpha }{z^{P+R+1}} \lim _{\epsilon \to 0^{+}} \bigg [ \int _{v=-1}^{-\epsilon } {\rm d}v \frac {y(v) - y(\zeta )}{v-\zeta } + 2 \epsilon \, y'(\zeta ) + \int _{\epsilon }^{1} {\rm d}v \frac {y(v) - y(\zeta )}{v-\zeta } \bigg ] . \end{align}
Appendix D. Linearised fluid response
Here, we list the expressions for the fluid response functions plotted in figure 1. The density response functions are
The energy density response functions are
Appendix E. Comparison between kinetic and fluid responses for anisotropic initial state
Here, we provide a comparison between the fluid and kinetic response functions for an initial anisotropic state. We let
$\delta _{1} = 1.2$
and
$\delta _2 = 0.9$
for the ions and electrons, and this results in an initially anisotropy of
for both the ions and electrons. The analytical expressions for the response functions in this case are complicated and we do not provide them here.
The response functions are compared in figure 2. As in the isotropic case, the Landau fluid closure closely matches the kinetic response in the low-frequency limit and qualitatively reproduces the imaginary part of the response function. Unlike the isotropic state, the low-frequency response agreement also deteriorates slightly for the real part of the response functions. This is a consequence of the matching strategy which is designed to capture the imaginary part of the response due to Landau damping and phase mixing.
Comparison between the linear number density (top panel) and energy response (bottom panel) between the KMHD (solid blue line), CGL (dashed purple line), MHD (dash dotted green line) and the Landau fluid closure (bold orange line) as a function of the driving speed
$\zeta = \omega /|k_z|$
for an initially anisotropic distribution function. The response is qualitatively similar to the isotropic state, see figure 1.

Appendix F. Relativistic-fluid terminology
In this appendix, we briefly review some standard terminology from relativistic fluid dynamics that is used throughout this paper.
F.1. Hydrodynamic decomposition and frame choice
Most modern treatment of relativistic fluid dynamics, such as Israel & Stewart (Reference Israel and Stewart1979) and Denicol et al. (Reference Denicol, Niemi, Molnár and Rischke2012), begin by introducing an irreducible decomposition of the the particle current and stress energy tensor along a timelike fluid four-velocity
$U^\mu$
(2.6),
where
projects orthogonal to
$U^\mu$
. Here,
$n_s$
is the particle number density,
$V_s^\mu$
is the particle diffusion current,
$\mathcal{E}_s$
is the energy density,
$\mathcal{P}_s$
is the isotropic pressure,
$\mathcal{Q}_s^\mu$
is the heat-flux vector and
$\pi _s^{\mu \nu }$
is the shear-stress tensor. The terminology ‘shear stress’ refers to the symmetric, trace-free part of the spatial stress tensor and does not neccesarily imply that the stress has a collisional or viscous origin. For a gyrotropic plasma,
$\pi _s^{\mu \nu }$
contains the pressure anisotropy
$p_{\parallel ,s}-p_{\perp ,s}$
, see (2.27f
). Similarly, particle diffusion current refers to the component of the particle current, which is not parallel to
$U^{\mu }$
. This component need not be of viscous origin.
Up to this point, the time-like four velocity
$U^{\mu }$
has been arbitrary. In fact, away from local thermodynamic equilibrium, the above-mentioned decomposition does not uniquely define the fluid four-velocity
$U^\mu$
. Fundamentally, this arises because the flow of energy and rest-mass density out-of-equilibrium need not be parallel to each other (Landau & Lifshitz Reference Landau and Lifshitz1987). A ‘hydrodynamic-frame choice’ specifies how
$U^\mu$
is defined from the particle current or stress-energy tensor. It specifies a form for the stress energy tensor and the particle currents; it does not make
$U^\mu$
a fixed background vector. Any choice is purely performed to make the subsequent calculation and interpretation easier. For a survey of different hydrodynamic frame choices, see Rocha et al. (Reference Rocha, Denicol and Noronha2021).
We now briefly describe the two most common hydrodynamic frame choices. The Eckhart frame used in this paper defines
$U^{\mu }$
by demanding that the mass-weighted diffusion current vanishes,
This choice is the relativistic analogue of the usual barycentric, or centre-of-mass, velocity used in non-relativistic multi-fluid hydrodynamics. Indeed, in the non-relativistic limit, the spatial components of the above-mentioned condition reduce to
where
$\rho _s=m_s n_s$
and
$\boldsymbol{v}$
is the bulk fluid velocity. Equivalently,
so that the bulk velocity is the mass-weighted average of the species velocities.
By contrast, in the Landau frame, the fluid velocity is chosen so that the total heat-flux vector vanishes,
This frame is commonly used in relativistic heavy-ion collisions, where at high collision energies, the net conserved baryon density can be small compared with the total energy density budget. Hence, defining the fluid velocity through the particle current, as in the Eckhart frame, is less useful (Denicol et al. Reference Denicol, Niemi, Molnár and Rischke2012).
F.2. MHD and force-free electrodynamics
The ideal-MHD condition is (MacDonald & Thorne Reference MacDonald and Thorne1982)
which states that the electric field vanishes in the local fluid rest frame. In the non-relativistic limit, this reduces to
This condition does not imply that the Lorentz force on the fluid vanishes. To see this, consider the electromagnetic current
where
and
$U_\mu j^\mu =0$
. The spatial current can be further decomposed into components parallel and perpendicular to the magnetic field,
For an ideal-MHD electromagnetic field,
It follows that
Therefore, neither the charge-density contribution nor the field-aligned current contributes to the Lorentz force in ideal MHD. The Lorentz force is instead determined by the perpendicular current.
The force-free condition, by contrast, is
This distinction is particularly important in the KMHD expansion. At leading order, each species satisfies
$F^\nu {}_\mu N_s^\mu =0$
and, therefore,
$F^\nu {}_\mu J^\mu = \sum _s q_s F^\nu {}_\mu N_s^\mu = 0$
. However, this is only a leading-order statement and does not imply that the plasma is force free at every order in the KMHD expansion. At subleading order,
$F^\nu {}_\mu J^\mu$
is generally non-zero and contributes to the plasma dynamics; see (2.40).


ζ=ω/|kz|
ζ=ω/|kz|