1. Introduction
Plasma turbulence is a defining feature of many astrophysical environments, including the solar corona and wind (Cranmer & van Ballegooijen Reference Cranmer and van Ballegooijen2005; Bruno & Carbone Reference Bruno and Carbone2013; Cranmer et al. Reference Cranmer, Asgari-Targhi, Miralles, Raymond, Strachan, Tian and Woolsey2015; Chen Reference Chen2016; Cranmer & Winebarger Reference Cranmer and Winebarger2019), the magnetospheres surrounding the Earth and the outer planets (Rakhmanova, Riazantseva & Zastenker Reference Rakhmanova, Riazantseva and Zastenker2021; Saur Reference Saur2021), the interstellar medium (Lazio et al. Reference Lazio, Cordes, de Bruyn and Macquart2004), accretion disks surrounding black holes (Quataert & Gruzinov Reference Quataert and Gruzinov1999), and within the intracluster medium between galaxy clusters (Zhuravleva et al. Reference Zhuravleva2014). Unlike a collisional fluid, where turbulent energy can be dissipated at small scales due to collisions (e.g. viscosity and resistivity), astrophysical plasmas are generally weakly collisional, which complicates turbulent energy dissipation; instead, there are multiple channels by which energy can cascade to small scales (Schekochihin et al. Reference Schekochihin, Cowley, Dorland, Hammett, Howes, Quataert and Tatsuno2009). The partitioning of turbulent energy among cascade channels and its ultimate dissipation into ion and electron heating is fundamental in determining the behaviour of such plasmas. A precise understanding of the mechanism that causes this partitioning is therefore essential to model accurately the plasma’s thermal structure, radiative efficiency and large-scale dynamical evolution.
The proximity of the solar corona and wind to Earth makes them convenient laboratories for studying the dynamics of turbulent plasmas over a wide range of spatial and temporal scales (Bruno & Carbone Reference Bruno and Carbone2013). At large scales, turbulence in the near-Sun environment is predominantly Alfvénic and highly anisotropic, with structures elongated along the magnetic field such that the ratio of field-parallel and field-perpendicular wavenumbers satisfies
$k_\| / k_\perp \ll 1$
(Belcher, Davis & Smith Reference Belcher, Davis and Smith1969; De Pontieu et al. Reference De Pontieu2007; Chen Reference Chen2016). These two properties motivate the use of the framework of reduced magnetohydrodynamics (RMHD; Strauss Reference Strauss1976; Schekochihin et al. Reference Schekochihin, Cowley, Dorland, Hammett, Howes, Quataert and Tatsuno2009; Schekochihin Reference Schekochihin2022), which captures the essential dynamics of anisotropic, incompressible Alfvénic turbulence. The equations of RMHD can be written in a physically transparent form using the Elsasser variables
$\boldsymbol{z}^\pm \equiv \boldsymbol{u}_\perp \pm \boldsymbol{b}_\perp$
(Elsasser Reference Elsasser1950):
Here, the quantities
$\boldsymbol{u}_\perp$
and
$\boldsymbol{b}_\perp \equiv (v_{\rm A}/B_0)\delta\boldsymbol{B}_\perp $
are perturbations of the velocity and magnetic field perpendicular to the background magnetic field
$\boldsymbol{B}_0=B_0\hat{\boldsymbol{z}}$
, with
$v_{\mathrm{A}}$
the Alfvén speed. The gradient
$\boldsymbol{\nabla} _\perp$
is taken in the plane perpendicular to
$\boldsymbol{B}_0$
and
$p_{\mathrm{tot}}$
is the total (thermal plus magnetic) pressure of the plasma. As the plasma is incompressible due to the RMHD ordering, we also have
$\boldsymbol{\nabla} _\perp \boldsymbol{\cdot }\boldsymbol{z}^\pm = 0$
; the pressure is then completely determined at any instant by enforcing incompressibility. Additionally, turbulence within the solar corona and wind is measured to be imbalanced, with more Alfvénic fluctuations propagating away from the Sun than towards it. A common measure of this imbalance is the normalised cross-helicity
where
$\langle \boldsymbol{\cdot }\rangle$
denotes a volume average. When the turbulence is balanced,
$\sigma _{\mathrm{c}}=0$
; fully imbalanced turbulence is denoted by
$\sigma _{\mathrm{c}}=\pm 1$
with the sign corresponding to the dominant
$\boldsymbol{z}^\pm$
fluctuations.
Protons have been observed to be heated strongly perpendicular to the magnetic field within regions of low-
$\beta _{\mathrm{i}}$
solar wind (Marsch et al. Reference Marsch, Mühlhäuser, Schwenn, Rosenbauer, Pilipp and Neubauer1982; Marsch Reference Marsch2004; Hellinger et al. Reference Hellinger, Trávníček, Kasper and Lazarus2006), with heavy ions observed to have far hotter temperatures than protons (Kohl et al. Reference Kohl1998; Esser et al. Reference Esser, Fineschi, Dobrzycka, Habbal, Edgar, Raymond, Kohl and Guhathakurta1999). Here,
$\beta _{\mathrm{i}}\equiv v_{\mathrm{th}, \textrm{i}}^2/v_{\mathrm{A}}^2$
is the plasma beta, where
$v_{\mathrm{th}, \textrm{i}} \equiv \sqrt {2k_{\mathrm{B}}T_{\mathrm{i}}/m_{\mathrm{i}}}$
is the thermal velocity of ions with mass
$m_{\mathrm{i}}$
and temperature
$T_{\mathrm{i}}$
. An understanding of the mechanisms that heat protons, as well as the partitioning of turbulent energy between protons and electrons, is critical to understanding the global properties of the heliosphere such as the heating of the solar corona and acceleration of the solar wind (Parker Reference Parker1965). Measurements of heavy ions offer additional sensitive diagnostics that help identify the heating mechanisms at work (Zhang et al. Reference Zhang, Kunz, Squire and Klein2025).
There have been many theories proposed to describe turbulent ion heating within the solar corona, of which we focus on two in this work. Stochastic heating (McChesney, Stern & Bellan Reference McChesney, Stern and Bellan1987; Chen, Lin & White Reference Chen, Lin and White2001; Johnson & Cheng Reference Johnson and Cheng2001; Chaston Reference Chaston2004; Fiksel et al. Reference Fiksel, Almagri, Chapman, Mirnov, Ren, Sarff and Terry2009; Chandran et al. Reference Chandran, Li, Rogers, Quataert and Germaschewski2010a
) arises when ions are kicked by disordered turbulent fluctuations, disrupting their smooth gyromotion, which breaks the conservation of their magnetic moment. For a single ion, this leads to a random walk in kinetic energy; for an ion velocity distribution that is monotonically decreasing with respect to
$v_\perp$
(such as a Maxwellian), this can lead to preferential perpendicular heating at low-
$\beta _{\mathrm{i}}$
. Chandran et al. (Reference Chandran, Li, Rogers, Quataert and Germaschewski2010a
) show the stochastic heating rate per unit mass can be modelled empirically as
\begin{align} Q_\perp &= c_1 \frac {\delta u^3_{\rho _{\mathrm{i}}}}{\rho _{\mathrm{i}}}e^{-c_2 / \xi _{\rho ,{\mathrm{th}}}}\nonumber \\ &= \varOmega _{\mathrm{i}}v_{\mathrm{th}, \textrm{i}}^2 c_1 \xi _{\rho ,{\mathrm{th}}}^3 e^{-c_2 / \xi _{\rho ,{\mathrm{th}}}}, \end{align}
where
$\varOmega _{\mathrm{i}}$
and
$\rho _{\mathrm{i}} = v_{\mathrm{th}, \textrm{i}}/\varOmega _{\mathrm{i}}$
are the ion gyrofrequency and thermal gyroradius,
$\delta u_\rho$
is the root mean square (r.m.s.) velocity of
$\rho _{\mathrm{i}}$
-scale
$\boldsymbol{E}{\times}\boldsymbol{B}$
fluctuations, and
$c_1$
and
$c_2$
are empirical constants that are determined by the strength of the heating. The parameter
is a measure of the amplitude of
$\rho _{\mathrm{i}}$
-scale velocity fluctuations and controls the strength of the heating. The exponential suppression captures the conservation of the magnetic moment of the ions in small-amplitude turbulence. In addition to stochastic heating, a second mechanism capable of transferring energy to ions is cyclotron-resonant heating with waves (Hollweg & Isenberg Reference Hollweg and Isenberg2002; Chandran et al. Reference Chandran, Pongkitiwanichakul, Isenberg, Lee, Markovskii, Hollweg and Vasquez2010b
; Isenberg & Vasquez Reference Isenberg and Vasquez2011, Reference Isenberg and Vasquez2019). As described by quasi-linear theory (Kennel & Engelmann Reference Kennel and Engelmann1966; Stix Reference Stix1992; Schlickeiser & Achatz Reference Schlickeiser and Achatz1993), this occurs when the waves’ Doppler-shifted frequencies are resonant with
$\varOmega _{\textrm {i}}$
, enabling a transfer of energy from waves to particles via strong ion–wave interactions and leading to ion heating. The boundary between stochastic and cyclotron-resonant heating is not always clear: in critically balanced turbulence, the frequency of turbulent fluctuations that cause stochastic heating can reach frequencies near
$\varOmega _{\mathrm{i}}$
(similarly to cyclotron-resonant heating), despite its usual association with low-frequency turbulence (Cerri, Arzamasskiy & Kunz Reference Cerri, Arzamasskiy and Kunz2021; Johnston, Squire & Meyrand Reference Johnston, Squire and Meyrand2025).
In this paper, we use the framework of quasi-linear theory to calculate analytically the perpendicular heating rate of ions interacting with a model wavevector–frequency spectrum of critically balanced RMHD turbulence that captures the dependence of the turbulence on imbalance. In the balanced case, strong nonlinear interactions between
$\boldsymbol{z}^\pm$
fluctuations broaden the spectrum in frequency, while in the fully imbalanced limit, the spectrum becomes sharply peaked along the dispersion relation of Alfvénic fluctuations. This change in the behaviour of the spectrum shifts the heating mechanism from a stochastic-heating-like process in the balanced case – corresponding to interactions with random fluctuations across a wide range of frequencies – to a cyclotron-resonant-like process in the imbalanced case, where the sharply peaked frequency spectrum enables resonant ion–wave interactions. Regardless of the level of imbalance and corresponding heating mechanism, we derive that this heating rate has the generic form
where
$F(\xi _{\rho ,{\mathrm{th}}};\sigma _{\mathrm{c}})$
is an imbalance-dependent suppression factor that goes to zero as
$\xi _{\rho ,{\mathrm{th}}}\to 0$
. In the case of balanced turbulence, we show analytically that this suppression factor closely resembles the empirical exponential factor in (1.3), capturing the key ideas of the empirical stochastic heating model while extending its applicability to general levels of imbalance.
Our approach in this work is similar to that of Isenberg & Vasquez (Reference Isenberg and Vasquez2019) in using quasi-linear theory to study the heating of ions interacting with critically balanced fluctuations, but differs in several key respects: we assume large-scale Alfvénic fluctuations with their simple dispersion relation and include temporal correlations arising from nonlinear interactions, whereas Isenberg & Vasquez (Reference Isenberg and Vasquez2019) adopt the more complex kinetic-Alfvén-wave dispersion relation using the Kennel & Engelmann (Reference Kennel and Engelmann1966) quasi-linear formalism of wave–particle interactions that ignores these temporal correlations. Despite these differences, both models predict ion heating with properties consistent with previous observations and theory, underscoring the utility of quasi-linear theory in studying ion heating mechanisms. The results of this paper are complementary to recent work by Johnston et al. (Reference Johnston, Squire and Meyrand2025), who use high-resolution numerical simulations of balanced and imbalanced turbulence to study the heating of ions, and show their measured heating rates are of the form (1.5). It also complements Mallet et al. (Reference Mallet, Klein, Chandran, Ervin and Bowen2026), who analytically study the interactions of ions with coherent electromagnetic fluctuations and also show that their predicted heating rate exhibits an exponential suppression factor as in (1.3).
The paper is organised as follows. In § 2, we describe quasi-linear theory and how it can be applied to general small-amplitude electromagnetic fluctuations, presenting the quasi-linear diffusion coefficients that describe the interaction of a collection of ions with large-scale Alfvénic fluctuations. In § 3, we discuss the phenomenology of RMHD turbulence, including how the wavevector–frequency spectrum of fluctuations depends on the turbulence imbalance and thereby allows the heating mechanism to transition between a stochastic-heating-like and a cyclotron-resonant-like process. To support the subsequent calculations, we also introduce a novel model of the RMHD wavevector–frequency spectrum at general imbalance, which captures these key properties. Then, in § 4, we use the quasi-linear framework with the model RMHD spectrum to calculate the heating rate of ions interacting with RMHD turbulence and study its dependence on imbalance. We summarise our results, and discuss their implications and caveats in § 5.
We also include several appendices with supporting information and subsidiary results. In Appendix A, we test the applicability of the model wavevector–frequency spectrum by comparing it with spectra calculated from numerical simulations of RMHD turbulence. Appendix B presents a derivation of the general quasi-linear diffusion coefficients used in § 4. Appendices C and D explore the sensitivity of the calculated heating rates to small-scale (
$k_\perp \rho _{\mathrm{i}} \gg 1$
) fluctuations and to changes in the temporal correlation properties of the turbulence, respectively. Finally, in Appendix E, we discuss the discrepancies in the heating of ions interacting with fluctuations with an Alfvén-wave dispersion relation (as in this work) compared with a more realistic ion-cyclotron-wave dispersion relation.
2. Quasi-linear diffusion in a general space-time spectrum
The evolution of the distribution function
$f(\boldsymbol{x},\boldsymbol{v},t)$
of a collisionless plasma is described by the Vlasov equation for each species
As this equation is strongly coupled to Maxwell’s equations and therefore nonlinear, an analytic solution is generally not possible. However, if the plasma is assumed to consist of a uniform background populated by small-amplitude fluctuations, the Vlasov–Maxwell system can be solved approximately through the use of quasi-linear theory (Vedenov Reference Vedenov1963; Drummond & Pines Reference Drummond and Pines1964; Kennel & Engelmann Reference Kennel and Engelmann1966; Lerche Reference Lerche1968). For a plasma with a background magnetic field
$\boldsymbol{B}_0=B_0\hat{\boldsymbol{z}}$
and equilibrium ion distribution function
$f_0$
, quasi-linear theory first approximates the orbits of ions by the unperturbed helical motion along
$\boldsymbol{B}_0$
that would occur in the absence of the fluctuations. The distribution function and fields are split into background and fluctuating components,
the evolution of
$f_1$
, varying on time scales faster than
$f_0$
, is calculated and inserted into a volume-average of the Vlasov equation to determine the back-reaction of this perturbation on
$f_0$
. The result of this calculation shows that, due to their interaction with the fluctuations, ions diffuse in velocity space:
where cylindrical coordinates
$(v_\perp ,v_\|)$
aligned along
$\boldsymbol{B}_0$
in velocity space have been used. The diffusion coefficients
$D_{a b}$
in (2.5), which are given in detail in Appendix B and in a simplified form in the following, depend on quadratic products of the fluctuations and in principle specify the heating rate of an arbitrary
$f_0$
.
By assuming that the fluctuations are small-amplitude waves following a prescribed dispersion relation
$\omega(\boldsymbol{k})$
, the quasi-linear framework has been used to study strong ion–wave interactions (Vedenov Reference Vedenov1963; Drummond & Pines Reference Drummond and Pines1964; Kennel & Engelmann Reference Kennel and Engelmann1966; Stix Reference Stix1992). In the limit of weak wave damping, the evolution of
$f_0$
is controlled by the resonance condition
which occurs when the frequency of the wave, Doppler-shifted due to the particle’s motion along the magnetic field, is an integer (
$n$
) multiple of the particle’s gyrofrequency. When this condition is satisfied,
$f_0$
diffuses along contours of constant energy within the frame of the wave. This approach has been used for investigating the perpendicular heating of ions within the solar corona (Isenberg & Vasquez Reference Isenberg and Vasquez2007, Reference Isenberg and Vasquez2009; Chandran et al. Reference Chandran, Pongkitiwanichakul, Isenberg, Lee, Markovskii, Hollweg and Vasquez2010b
; Isenberg & Vasquez Reference Isenberg and Vasquez2011, Reference Isenberg and Vasquez2019).
Compared with waves, which have a single frequency for a given wavevector
$\boldsymbol{k}$
, the above-mentioned approach can be extended to general small-amplitude fluctuations within a turbulent system that have a spread of frequencies at a given
$\boldsymbol{k}$
(Hall & Sturrock Reference Hall and Sturrock1967; Lerche Reference Lerche1968; Schlickeiser & Achatz Reference Schlickeiser and Achatz1993; Chandran Reference Chandran2000). This approach has been used to investigate the pitch-angle scattering of relativistic cosmic rays in slab turbulence (Schlickeiser Reference Schlickeiser1989; Dung & Schlickeiser Reference Dung and Schlickeiser1990a
,Reference Dung and Schlickeiser
b
; Dung Reference Dung1992; Schlickeiser & Achatz Reference Schlickeiser and Achatz1993; Dung & Petrosian Reference Dung and Petrosian1994; Weidl et al. Reference Weidl, Jenko, Teaca and Schlickeiser2015) and strong, critically balanced MHD turbulence (Chandran Reference Chandran2000; Yan & Lazarian Reference Yan and Lazarian2004). The general diffusion coefficients obtained from this approach (whose derivation is presented in Appendix B) are intractably complex for general use. To allow for physical insight into how they affect the heating of ions and to allow the use of models of RMHD turbulence, we assume Alfvénic fluctuations and take the large-scale limit of these coefficients. The resultant coefficients, presented in the following, are used to study how ion heating varies with the imbalance of the turbulence in § 4.
2.1. Large-scale Alfvénic limit of diffusion coefficients
To simplify the diffusion coefficients derived in Appendix B, (B34) and (B35), we assume that the turbulence is purely Alfvénic, and that there exist equal populations of left- and right-hand polarised fluctuations so that the turbulence is mirror symmetric (Chandran Reference Chandran2000). For fluctuations at scales
$k_\perp \rho _{\mathrm{i}}\ll 1$
, we can write the electric-field components in the diffusion coefficients (B35) in terms of the turbulent velocity field
$\boldsymbol{u}_1$
via Ohm’s law,
$\boldsymbol{E}_1 = -(B_0/c)\boldsymbol{u}_1 {\times} \hat{\boldsymbol{z}}$
; this choice ensures that
$E_z$
, the electric-field component parallel to
$\boldsymbol{B}_0$
, vanishes. To ensure the components of
$\boldsymbol{u}_1$
and
$\boldsymbol{B}_1$
perpendicular to
$\boldsymbol{B}_0$
are Alfvénic, we assume fluctuations with perpendicular (unit) wavevector
$\hat{\boldsymbol{k}}_\perp$
are polarised in the
$\hat{\boldsymbol{k}}_\perp{\times}\hat{\boldsymbol{z}}$
direction. Further details on this process are given in Appendix B.
With this, the diffusion coefficients (B34) can be written asFootnote 1
\begin{align}& \!\!\begin{pmatrix} D_{\perp \perp }\\ D_{\|\perp }\\ D_{\|\|}\end{pmatrix} = \lim _{V\to \infty }\varOmega _{\mathrm{i}}^2v_{\mathrm{A}}^2\sum _{n=-\infty }^{\infty }\int _{}^{} \frac {{\mathrm{d}} \boldsymbol{k}}{V} \ \frac {n^2{\mathrm{J}}_{n}^2(\kappa )}{\kappa ^2}\int _{0}^{\infty } {\mathrm{d}} \tau \ e^{-{\mathrm{i}}(k_\|v_\| + n\varOmega _{\mathrm{i}})\tau }\begin{pmatrix}\mathcal{K}+2\tilde {v}_\|\mathcal{C}+\tilde{v}_\|^2\mathcal{M}\\ \;\;\;\;\;-\tilde{v}_\perp (\mathcal{C}+\tilde{v}_\|\mathcal{M})\\\tilde{v}_\perp ^2\mathcal{M}\end{pmatrix}\!,\nonumber\\& \end{align}
with
$\tilde{v}_{\perp ,\|}\equiv v_{\perp ,\|}/v_{\mathrm{A}}$
and
$\kappa \equiv k_\perp v_\perp /\varOmega _{\mathrm{i}}$
the argument of the Bessel functions
${\mathrm{J}}_{n}$
. The normalised space–time power spectra are defined as
Because
$\langle \boldsymbol{B}(\boldsymbol{k}, t)\boldsymbol{\cdot}\boldsymbol{u}^*(\boldsymbol{k}, t+\tau) \rangle= \langle \boldsymbol{u}(\boldsymbol{k}, t)\boldsymbol{\cdot}\boldsymbol{B}^*(\boldsymbol{k}, t+\tau) \rangle$
(which follows from the Wiener–Khinchin theorem for real fields; Thorne & Blandford Reference Thorne and Blandford2017), we have
$D_{\perp \|}=D_{\|\perp }$
.
The diffusion coefficients (2.7) depend on the wavevector–frequency spectra of the turbulent fluctuations, which describes the distribution of the energy of fluctuations in terms of their frequency
$\omega$
and wavevector
$\boldsymbol{k}$
. These spectra show up implicitly as the temporal Fourier transform of the normalised power spectra (2.8) (approximated by the integral over
$\tau$
in (2.7); Hall & Sturrock Reference Hall and Sturrock1967; Schlickeiser & Achatz Reference Schlickeiser and Achatz1993), and contribute to the strength of the diffusion coefficients and to the diffusion of the ion distribution function
$f_0$
through velocity space. The properties of the turbulence with which the ions interact, as described by the wavevector–frequency spectra, thus play a key role in determining how the ions are heated and energised; we give more details on how the turbulence’s imbalance affects these spectra in § 3.1.2.
3. RMHD turbulence
The large-scale (
$k_\perp \rho _{\mathrm{i}}\ll 1$
) limit of Alfvénic fluctuations used in the description of the quasi-linear diffusion coefficients in § 2.1 is naturally consistent with an RMHD description of turbulence. The goal of this section is to develop a model wavevector–frequency spectrum that can be used for the calculation of the diffusion coefficients and heating rates in § 4. We first outline the theory of RMHD turbulence in § 3.1, where we discuss the concept of critical balance, phenomenological descriptions of balanced and imbalanced turbulence, and how the wavevector–frequency spectrum of the turbulence is dependent on imbalance. Using this theoretical description as well as numerical simulations of RMHD turbulence (presented in Appendix A), we then develop and present a model of this spectrum for RMHD turbulence in § 3.2 with a general dependence on
$\sigma _{\mathrm{c}}$
, and show that it qualitatively reproduces the features of RMHD turbulence.
3.1. Turbulence phenomenology
In this subsection, we review the phenomenology of RMHD turbulence insofar as it is needed for later calculations, focusing on how the imbalance affects various turbulence properties (Schekochihin Reference Schekochihin2022). We assume that energy is injected into the
$\boldsymbol{z}^\pm$
fluctuations at large scales at a rate
$\varepsilon ^\pm$
; for the turbulence to be in steady-state, this rate is statistically equivalent to the energy flux between inertial-range scales and the rate of dissipation of energy at small scales. The magnetic field
$\boldsymbol{B}_0$
introduces an anisotropy into the system, giving rise to different properties of the turbulence parallel and perpendicular to
$\boldsymbol{B}_0$
. To account for this, the quantities
$\delta z^\pm _{\ell _\|}$
and
$\delta z^\pm _{\lambda }$
are defined as r.m.s. values of the
$\boldsymbol{z}^\pm$
fluctuations measured over increments parallel (
$\ell _\|$
) and perpendicular (
$\lambda$
) to
$\boldsymbol{B}_0$
.
A key feature of the RMHD (1.1) is that the nonlinear term
$\boldsymbol{z}^\mp \boldsymbol{\cdot }\boldsymbol{\nabla} _\perp \boldsymbol{z}^\pm$
requires both
$\boldsymbol{z}^+$
and
$\boldsymbol{z}^-$
to be non-zero to be activated. This means that counter-propagating Alfvén waves (AWs) are needed for a turbulent cascade to develop. By inspection of the nonlinear term, the time scale of these nonlinear interactions is
In addition to the nonlinear time scales (3.1) over which fluctuations interact, the magnetic field, via Alfvén waves, introduces another time scale,
corresponding to Alfvén-wave propagation along magnetic-field lines over a distance
$\ell _\|$
. Although
$\tau _{\mathrm{nl}}$
and
$\tau _{\mathrm{A}}$
are not related a priori, due to causality, it can be argued that
$\tau _{\mathrm{nl}}\sim \tau _{\mathrm{A}}$
(Boldyrev Reference Boldyrev2005); this conjecture is termed critical balance (CB; Goldreich & Sridhar Reference Goldreich and Sridhar1995).Footnote
2
To show this, consider two regions of turbulence fluctuations of scale
$\lambda$
perpendicular to
$\boldsymbol{B}_0$
evolving over a time scale
$\tau _{\mathrm{nl}}$
, separated by a distance
$\ell _\|$
along
$\boldsymbol{B}_0$
. For these regions to remain correlated, they must be separated by no more than the distance Alfvénic fluctuations can travel along
$\boldsymbol{B}_0$
in a time
$\tau _{\mathrm{nl}}$
, which is the time over which fluctuations decorrelate due to nonlinear interactions:
Regions separated by a distance greater than
$\ell _\|$
are thus unable to remain correlated.
In the case of balanced turbulence, with
$\varepsilon ^+\sim \varepsilon ^- \equiv \varepsilon$
and
$\delta z^+\sim \delta z^- \equiv \delta z$
, one can use the usual assumption that the flux across scales is constant to yield the Goldreich & Sridhar (Reference Goldreich and Sridhar1995) energy spectrum,
$\mathcal{E}(k_\perp ) \propto k_\perp ^{-5/3}$
and
$\mathcal{E}(k_\|)\propto k_\|^{-2}$
(or equivalently
$\delta z_\lambda \sim (\varepsilon \lambda )^{1/3}$
and
$\delta z_{\ell _\|} \sim (\varepsilon \ell _\|/v_{\mathrm{A}})^{1/2}$
).
3.1.1. Imbalanced turbulence
Although balanced turbulence simplifies the description of turbulence, many systems are imbalanced with
$\varepsilon ^+\gg \varepsilon ^-$
. While there is currently no theory that describes imbalanced turbulence fully, phenomenological arguments can be made to explain qualitatively aspects seen in observations and numerical simulations. Here, we cover a simple version, as needed for later, and refer the reader to Schekochihin (Reference Schekochihin2022) for a complete description of the subtleties involved.
Using the constant-flux argument with (3.1) for
$\tau _{\mathrm{nl}}^\pm$
, at each scale
$\lambda$
, one assumes
where
$\varepsilon ^\pm$
are the energy injection rates at the outer scales of the turbulence for the
$\boldsymbol{z}^\pm$
fluctuations. The nonlinear time scales (3.1) also imply that
in other words, the cascade of the stronger field becomes less efficient with increasing imbalance as it is dependent on the weaker field to advect it. Although
$\delta z^-_\lambda \ll \delta z^+_\lambda$
, the cascades can still be assumed strong, with
$\tau _{\mathrm{nl}}^\pm \lesssim \tau _{\mathrm{A}}$
individually.
The constant-flux argument aligns with results from numerical simulations that the ratio of the energies of the individual fields scales with imbalance as
$\alpha \sim \alpha _\varepsilon ^2$
(Schekochihin Reference Schekochihin2022), where
is the injection ratio and
is the ratio of Elsasser energies (assumed to be independent of scale such that
$\alpha \sim (\delta z^+_\lambda )^2/(\delta z^-_\lambda )^2$
).
Despite this agreement with numerics, the fact that the weaker
$\boldsymbol{z}^-$
field is able to advect and distort the stronger
$\boldsymbol{z}^+$
field over the long time scale
$\tau _{\mathrm{nl}}^+$
requires a separation of its correlation and spatial-distortion time scales (Lithwick, Goldreich & Sridhar Reference Lithwick, Goldreich and Sridhar2007). The stronger field
$\boldsymbol{z}^+$
distorts the weaker
$\boldsymbol{z}^-$
in space over a time scale
$\tau _{\mathrm{nl}}^-$
. However,
$\boldsymbol{z}^-$
is ‘swept up’ by the stronger
$\boldsymbol{z}^+$
fluctuations: in the frame in which
$\boldsymbol{z}^+$
fluctuations are stationary, the
$\boldsymbol{z}^-$
fluctuations develop fine structures due to the spatial distortion, but remain approximately constant over
$\tau _{\mathrm{nl}}^+$
to remain correlated with the
$\boldsymbol{z}^+$
fluctuations.
The separation of these time scales means that the causality argument for critical balance in the balanced case (dubbed ‘causal CB’) no longer holds. Directly applying the assumptions of causal CB in the imbalanced case would imply that the parallel correlation lengths of the
$\boldsymbol{z}^\pm$
fluctuations are disparate with
$\ell _\|^+/\ell _\|^- \gg 1$
. However, Lithwick et al. (Reference Lithwick, Goldreich and Sridhar2007) argue that, because
$\boldsymbol{z}^-$
perturbations are spatially distorted over a time
$\tau _{\mathrm{nl}}^-$
(such that
$\ell _\|^-\sim v_{\mathrm{A}}\tau _{\mathrm{nl}}^-$
),
$\boldsymbol{z}^+$
fluctuations separated by a distance
$\ell _\|^-$
are advected by the now spatially decorrelated
$\boldsymbol{z}^-$
and thus themselves decorrelate over a similar distance:
$\ell _\|^+\sim \ell _\|^-\sim v_{\mathrm{A}}\tau _{\mathrm{nl}}^- \sim k_\perp \delta z^+$
. This effect, termed ‘propagation CB’ (Beresnyak & Lazarian Reference Beresnyak and Lazarian2008), allows a CB argument to be used to balance linear and nonlinear times using the fact that the
$\boldsymbol{z}^-$
fluctuations are swept along by
$\boldsymbol{z}^+$
fluctuations, rather than information travelling between points.
Although the theory outlined previously does well in explaining some results observed in simulations of imbalanced turbulence, it is far from a complete picture. The scaling
$\alpha \sim \alpha _\varepsilon ^2$
appears to be robust, observed in multiple simulations of RMHD turbulence (Schekochihin Reference Schekochihin2022), but does not agree with alternative theories of imbalanced turbulence (Perez & Boldyrev Reference Perez and Boldyrev2009). The recent theory of Schekochihin (Reference Schekochihin2022), which assumes non-local nonlinear interactions, appears to account for some of these discrepancies, but further work is needed to test this thoroughly. Regardless, the phenomenology of propagation CB presented here is adequate for the model we use to investigate ion heating, with the simulations of Appendix A showing modest support for this theory.
3.1.2. Imbalance dependence of the wavevector–frequency spectrum
The form of the wavevector–frequency spectrum depends on the type of fluctuations present in the turbulence and the strength of the nonlinear interactions between them. Unbroadened fluctuations – waves following a dispersion relation
$\omega(\boldsymbol{k})$
with a single frequency
$\omega$
at a particular
$\boldsymbol{k}$
– are sharply peaked along this dispersion relation in the sense of a delta function
$\delta[\omega-\omega(\boldsymbol{k})]$
in the wavevector–frequency spectrum. In contrast, due to the nonlinear interactions between different wavenumbers in the energy cascade, fluctuations in a strongly turbulent system take on a spread of frequencies of width
$\Delta \omega$
at a given
$\boldsymbol{k}$
. This broadening is directly related to the nonlinear turnover time scale of the fluctuations
$\tau _{\mathrm{nl}}$
, which itself is of the order of the lifetime of the eddies before they break apart: the nonlinear interactions generating the cascade are precisely what cause the fluctuations to decorrelate over this time. For general levels of imbalance, the broadening in fluctuations at a given
$\boldsymbol{k}$
must then be
$\Delta \omega \sim \omega _{\mathrm{nl}}=\tau _{\mathrm{nl}}^{-1}$
.
The dependence of the behaviour of the wavevector–frequency spectrum on the level of imbalance reveals a deep connection to the mechanism by which ions are heated. In imbalanced turbulence, the linear frequencies
$\omega _{\mathrm{A}}\sim v_{\mathrm{A}} / \ell _\|^+ \sim k_\perp \delta z^+$
of
$\boldsymbol{z}^+$
fluctuations far exceed their nonlinear rate
$\omega _{\mathrm{nl}}\sim k_\perp \delta z^-$
(Lithwick et al. Reference Lithwick, Goldreich and Sridhar2007; Schekochihin Reference Schekochihin2022), leading the wavevector–frequency spectrum to become sharply peaked around the dispersion relation of the fluctuations (because
$\Delta \omega \sim \omega _{\mathrm{nl}}\ll \omega _{\mathrm{A}}$
). This is the cyclotron-resonant-heating limit, where ions are able to resonate with exactly one frequency at a given
$\boldsymbol{k}$
. In contrast, using critical balance we have
$\omega _{\mathrm{A}}\sim v_{\mathrm{A}}/\ell _\| \sim \omega _{\mathrm{nl}}\sim k_\perp \delta z^\pm \sim \Delta \omega$
in balanced turbulence (Goldreich & Sridhar Reference Goldreich and Sridhar1995). This is the stochastic-heating limit, where fluctuations are sufficiently broadened and decorrelated allowing for ions to be heated by
$\rho _{\mathrm{i}}$
-scale fluctuations. A smooth transition between these limits is expected as the imbalance is adjusted and one of the Elsasser fields dominates over the other; this is confirmed in Appendix A, where the wavevector–frequency spectra of simulations of RMHD turbulence with varying imbalance are investigated.
3.2. Model wavevector–frequency spectrum of RMHD turbulence
The wavevector–frequency spectrum of a turbulent system describes the distribution of the energy of fluctuations in terms of their frequency
$\omega$
and wavevector
$\boldsymbol{k}$
. The simulations of RMHD turbulence presented in Appendix A show this spectrum is composed of
$\boldsymbol{z}^\pm$
fluctuations whose bandwidth in
$\omega$
increases due to nonlinear broadening effects, decreasing with increasing
$\sigma _{\mathrm{c}}$
. The linear physics of these fluctuations is also significant, with peaks centred on the Alfvén dispersion relation of the
$\boldsymbol{z}^+$
fluctuations (
$-\omega _{\mathrm{A}}$
).
The wavevector–frequency spectra can be decomposed into two separate components: the wavevector energy spectrum
$\mathcal{E}_{\mathrm{2D}}(k_\perp ,k_\|)$
that controls the amplitude of the frequency spectrum at every
$\boldsymbol{k}$
, and the temporal correlation function
$f(\boldsymbol{k},\omega)$
, a general function of
$\boldsymbol{k}$
and
$\omega$
that encodes the correlations and broadening of the turbulent Alfvénic fluctuations.
3.2.1. Two-dimensional wavevector energy spectrum
The two-dimensional wavevector energy spectrum in RMHD is defined as
where
$\boldsymbol{z}^\pm (k_\perp , k_\|)$
is the complex Fourier amplitude of the
$\boldsymbol{z}^\pm$
fields (which are assumed to be statistically cylindrically symmetric about
${\boldsymbol{B}}_0$
) at a given
$\boldsymbol{k}$
; the
$2\pi k_\perp$
term comes from the Jacobian of cylindrical coordinates in
$\boldsymbol{k}$
-space. By analogy to the one-dimensional spectrum, where
$\mathcal{E}(k){\mathrm{d}} k$
measures the energy contained in modes with
$k\lt k'\lt k+{\mathrm{d}} k$
, this spectrum measures the energy in modes around a given parallel and perpendicular wavenumber. Via the Wiener–Khinchin theorem, (3.8) can likewise be interpreted as a measure of how correlated are turbulent fluctuations of a given scale along (
$\ell _\|$
) and perpendicular (
$\lambda$
) to the background magnetic field (Thorne & Blandford Reference Thorne and Blandford2017).Footnote
3
Schekochihin (Reference Schekochihin2022) argues that
$\mathcal{E}_{\mathrm{2D}}(k_\perp ,k_\|)$
should be a product of power laws of
$k_\perp$
and
$k_\|$
:
Here,
$L_\|$
is the outer scale parallel to
${\boldsymbol{B}}_0$
and
$\lambda _{\mathrm{CB}}$
is the perpendicular scale at which weak turbulence becomes strong (Schekochihin Reference Schekochihin2022). Due to critical balance (CB), we have
$k_\| \sim k_\perp ^{s_{\mathrm{CB}}}$
. For the standard Goldreich & Sridhar (Reference Goldreich and Sridhar1995) CB argument covered in § 3.1,
$s_{\mathrm{CB}} = 2/3$
, whereas for dynamic alignment,
$s_{\mathrm{CB}} = 1/2$
(Boldyrev Reference Boldyrev2006).
The exponents in (3.9) can be determined based on the phenomenology of CB (Schekochihin Reference Schekochihin2022). At scales where
$k_\parallel \leqslant k_\perp ^{s_{\mathrm{CB}}}$
, the spectrum measures correlations between points along magnetic-field lines that are separated by a distance
$\ell _\|\gtrsim v_{\mathrm{A}}\tau _{\mathrm{A}}$
. Due to CB, these points are causally disconnected and thus uncorrelated; the correlation thus measures white noise and the spectrum must be flat along
$k_\|$
(Thorne & Blandford Reference Thorne and Blandford2017), so
${s_4} = 0$
. The perpendicular exponent
$s_3$
is fixed by requiring that the two-dimensional spectrum reproduces the one-dimensional perpendicular scaling implied by the constant-flux condition and CB (which imply
$\delta z_\lambda ^2 \sim k_\perp ^{-s_{\mathrm{CB}}}$
), yielding
${s_3} = 2s_{\mathrm{CB}} + 1$
. Continuity across the CB line then requires
$s_1 = (2s_{\mathrm{CB}} + 1 + s_2)/s_{\mathrm{CB}}$
. Finally,
$s_2$
depends on whether a kinematic (
$s_2 = 3$
) or thermodynamic (equal energy in all modes;
$s_2 = 1$
) regime is assumed (Schekochihin Reference Schekochihin2022); in this work, we adopt the thermodynamic viewpoint, which better matches our simulation results in Appendix A.
Two-dimensional spectrum model (3.13) with the Goldreich & Sridhar (Reference Goldreich and Sridhar1995) critical balance scaling
$s_{\mathrm{CB}} = 2/3$
,
$C=1$
and
$\xi _{\rho ,{\mathrm{th}}}=0.5$
(with critical balance line
$k_\| d_{\mathrm{ i}}=0.5(k_\perp \rho _{\mathrm{i}})^{2/3}$
). The grey boundaries represent the spectrum cutoff at
$|k_\| d_{\mathrm{i}}| \gt 1$
or
$k_\perp \rho _{\mathrm{i}} \gt 1$
assumed in (3.13). Side panels show slices through the spectra (normalised to the maximum value along the slice), showing the individual scalings of
$k_\perp$
and
$k_\|$
above and below the CB line.

With this, (3.9) can be written entirely in terms of the CB exponent
$s_{\mathrm{CB}}$
:
For the Goldreich & Sridhar (Reference Goldreich and Sridhar1995) CB argument with
$s_{\mathrm{CB}}=2/3$
, the spectrum follows
$|k_\|L_\||^{-5}k_\perp \lambda _{\mathrm{CB}}$
for
$|k_\|L_\|| \gt (k_\perp \lambda _{\mathrm{CB}})^{2/3}$
and
$(k_\|L_\|)^0(k_\perp \lambda _{\mathrm{CB}})^{-7/3}$
for
$|k_\|L_\|| \leqslant (k_\perp \lambda _{\mathrm{CB}})^{2/3}$
(see figure 1).
The derivation of (3.10) assumes that the turbulence is balanced, and is identical for both the
$\boldsymbol{z}^+$
and
$\boldsymbol{z}^-$
fields. In Appendix A, we argue that this model can be extended to describe imbalanced turbulence by using RMHD turbulence simulations with different values of
$\sigma _{\mathrm{c}}$
and comparing their spectra with (3.10). There, we show that the model of Schekochihin (Reference Schekochihin2022) works well for describing the two-dimensional energy spectra at all levels of imbalance of the
$\boldsymbol{z}^+$
and
$\boldsymbol{z}^-$
fluctuations (with discrepancies above the CB cone for the
$\boldsymbol{z}^-$
spectra), with the measured scalings showing
$s_2\approx 1$
and
$1/2 \lesssim s_{\mathrm{CB}}\lesssim 2/3$
.
Normalisation – Assuming a collection of ions with thermal speed
$v_{\mathrm{th}, \textrm{i}}$
, thermal gyroradius
$\rho _{\mathrm{i}}$
, and
$\beta _{\mathrm{i}} = v_{\mathrm{th}, \textrm{i}}^2/v_{\mathrm{A}}^2$
, we normalise (3.10) such that
\begin{equation} \frac {1}{v_{\mathrm{th}, \textrm{i}}^2}\int _{e^{-1/2}/\rho _{\mathrm{i}}}^{e^{1/2}/\rho _{\mathrm{i}}} {\mathrm{d}} k_\perp \ \int _{-k_\|^{\mathrm{ CB}}(k_\perp )}^{k_\|^{\mathrm{CB}}(k_\perp )} {\mathrm{d}} k_\| \ \mathcal{E}_{\mathrm{2D}}(k_\perp ,k_\|)\approx \xi _{\rho ,{\mathrm{th}}}^2, \end{equation}
where
$k_\|^{\mathrm{CB}}(k_\perp ) \propto k_\perp ^{s_{\mathrm{CB}}}$
is the CB cone boundary. This normalisation ensures that the energy in
$\rho _{\mathrm{i}}$
-scale modes is given by the standard stochastic heating parameter (Chandran et al. Reference Chandran, Li, Rogers, Quataert and Germaschewski2010a
)
Normalising the wavenumbers as
$\tilde {k}_\perp \equiv k_\perp \rho _{\mathrm{i}}$
and
$\tilde {k}_\|\equiv k_\|v_{\mathrm{A}}/\varOmega _{\mathrm{i}} = k_\|d_{\textrm {i}}$
(where
$d_{\textrm {i}}\equiv v_{\mathrm{A}}/\varOmega _{\mathrm{i}}$
is the ion inertial length), the spectrum becomes
\begin{align} \mathcal{E}_{\mathrm{2D}}(k_\perp ,k_\|)&=\frac {1}{2}Vv_{\mathrm{A}}^2\rho _{\mathrm{i}}^2\beta _{\mathrm{i}}^{1/2}\begin{cases} C^{-1}\xi _{\rho ,{\mathrm{th}}}\tilde {k}_\perp ^{-{s_3}}, & |\tilde {k}_\||\leqslant \tilde {k}_\|^{\mathrm{CB}},\nonumber \\ C^{s_1-1}\xi _{\rho ,{\mathrm{th}}}^{s_1+1}|\tilde {k}_\||^{-s_1}\tilde {k}_\perp ^{s_2}, & |\tilde {k}_\||\geqslant \tilde {k}_\|^{\mathrm{CB}},\\ 0, & \tilde {k}_\perp \gt 1 \text{ or } |\tilde {k}_\|| \gt 1, \end{cases}\nonumber \\ &\equiv \frac {1}{2}Vv_{\mathrm{A}}^2\rho _{\mathrm{i}}^2\beta _{\mathrm{i}}^{1/2}\tilde {\mathcal{E}}_{\mathrm{2D}}(k_\perp ,k_\|), \end{align}
where
$\tilde {\mathcal{E}}_{\mathrm{2D}}(k_\perp ,k_\|)$
is the dimensionless part of the spectrum,
$V$
is the volume of the plasma,
$C$
is an arbitrary Kolmogorov-like constant to account for order-unity factors, and the exponents are
${s_3} = 2s_{\mathrm{CB}}+1$
and
$s_1 = (2s_{\mathrm{CB}}+s_2+1)/s_{\mathrm{CB}}$
. With this normalisation, the critical balance line scales as
For the remainder of this paper, we will assume the Goldreich & Sridhar (Reference Goldreich and Sridhar1995) CB scaling
$s_{\mathrm{CB}}=2/3$
and
$s_2=1$
(which follows from assuming the spectrum above the CB cone has reached a thermodynamic limit, as discussed already).
This spectrum is shown in figure 1 with
$C=1$
and
$\xi _{\rho ,{\mathrm{th}}} = 0.5$
. A common misunderstanding of the CB argument is that energy must be concentrated at the CB boundary
$k_\|\sim k_\perp ^{2/3}$
. This is not true, with energy contained in all modes below the CB cone, as is clearly seen in figure 1. The steep drop in the spectrum in
$k_\|$
for fluctuations above the CB cone means that there is very little energy in these fluctuations.
The cutoff at
$\tilde {k}_\perp \gt 1$
stems from the assumption that
$k_\perp \rho _{\mathrm{i}}\gtrsim 1$
fluctuations do not contribute strongly to heating, because they are suppressed by particles sampling many small-scale eddies over an orbit (Chandran Reference Chandran2000). However, these fluctuations may still have some effect (Arzamasskiy et al. Reference Arzamasskiy, Kunz, Chandran and Quataert2019; Isenberg & Vasquez Reference Isenberg and Vasquez2019); we quantify this contribution in Appendix C, where we use a model spectrum of strong balanced CB turbulence that includes
$k_\perp \rho _{\mathrm{i}}\geqslant 1$
kinetic-Alfvén wave fluctuations, arguing their effect is often small when
$k_\|/k_\perp \ll 1$
at
$k_\perp \rho _{\mathrm{i}} \sim 1$
. Additionally, by including a cutoff at
$|\tilde {k}_\|| \gt 1$
, this model also neglects the transition of Alfvén waves to dispersive ion-cyclotron waves (ICWs) as
$k_\|$
approaches
$d^{-1}_{\mathrm{i}}$
. Hybrid-kinetic simulations show the details of ICWs near
$k_\| d_{\mathrm{i}}\sim 1$
are important for some aspects of ion heating (Squire et al. Reference Squire, Meyrand, Kunz, Arzamasskiy, Schekochihin and Quataert2022; Squire, Meyrand & Kunz Reference Squire, Meyrand and Kunz2023; Zhang et al. Reference Zhang, Kunz, Squire and Klein2025); additionally, due to the difference in their dispersion relations, the parallel resonant wavenumber of the Alfvén waves and ICWs differ, which may bias the heating rate (details on this discrepancy are presented in Appendix E). Regardless, we neglect the effect of the Alfvén-wave dispersion (i.e. the change to ICWs at
$k_\| d_{\mathrm{i}} \sim 1$
) on ion heating in our model, and assume the heating is dominated by large-scale Alfvénic fluctuations.
3.2.2. Temporal correlation function
For a turbulent system with nonlinear frequency
$\omega _{\mathrm{nl}}(\boldsymbol{k})$
, a general temporal correlation function
$f[\tau \omega _{\mathrm{nl}}(\boldsymbol{k})]$
encodes how correlated fluctuations are expected to be after a normalised lag time
$\tau \omega _{\mathrm{nl}}(\boldsymbol{k})$
. This function should satisfy the properties
$f(0)=1$
,
$\lim _{\tau \to \infty }f[\tau \omega _{\mathrm{nl}}(\boldsymbol{k})]=0$
and
$\int _{0}^{\infty } {\mathrm{d}}\tau f[\tau \omega _{\mathrm{nl}}(\boldsymbol{k})] \approx \omega ^{-1}_{\mathrm{nl}}(\boldsymbol{k})$
. For our model of RMHD turbulence with variable imbalance, we take the nonlinear frequency to be that of the dominant
$\boldsymbol{z}^+$
fluctuations:
where we have assumed the CB scaling
$\omega _{\mathrm{nl}}\sim \omega _{\mathrm{A}} = k_\|v_{\mathrm{A}}$
and used the normalisation for the above-mentioned spectrum. To capture the reduced efficiency of the
$\boldsymbol{z}^+$
cascade and the corresponding decrease in their nonlinear frequency as imbalance increases,
$\omega _{\mathrm{nl}}$
is scaled by
$\alpha ^{-1/2}$
; this scaling arises from a simple estimate using CB for the dominant
$\boldsymbol{z}^+$
fluctuations:
A commonly used choice for the temporal correlation function that satisfies the above-mentioned properties is (e.g. Schlickeiser & Achatz Reference Schlickeiser and Achatz1993; Chandran Reference Chandran2000)
however, the discontinuity in slope of the function at
$\tau =0$
causes an unphysically slow drop-off in the Fourier transform of
$f$
at large frequencies, which can affect the calculated heating rates (see Appendix D for more details). In contrast, a formal renormalisation group calculation in hydrodynamic turbulence shows that
$f(\tau \omega _{\mathrm{nl}})$
reduces to (3.17) for
$\tau \omega _{\mathrm{nl}} \gg 1$
and to a Gaussian
$e^{-(\tau \omega _{\mathrm{nl}})^2}$
for
$\tau \omega _{\mathrm{nl}} \ll 1$
(Gorbunova et al. Reference Gorbunova, Balarac, Canet, Eyink and Rossetto2021), the latter of which is smooth at
$\tau =0$
. Based on this, a convenient choice for our model spectrum is
which has the asymptotic limits
\begin{equation} {\mathrm{sech}}(x)\approx \begin{cases} e^{-x^2/2}, & |x|\ll 1,\\ 2 e^{-|x|}, & |x|\gg 1, \end{cases} \end{equation}
and satisfies
$\int _{0}^{\infty } {\mathrm{d}} \tau \ f(\tau \omega _{\mathrm{nl}}) = ({\pi }/{2})\omega _{\mathrm{nl}}^{-1}$
. Taking the Fourier transform in time of (3.18) with the convention
gives
The choice of function used for
$f(\tau \omega _{\mathrm{nl}})$
can affect the results of the following sections; however, qualitatively similar results are obtained so long as the tails of the function’s temporal Fourier transform decay sufficiently fast for large frequencies. The effect of the choice on heating is studied in Appendix D.
3.2.3. Full model
With the mentioned choices for the energy spectrum and temporal correlation of the turbulence, the following functional form is set forward as a simple model to capture the general dependence of RMHD turbulence on imbalance. DefiningFootnote 4
where
$F(\omega )$
is the temporal Fourier transform of the correlation function
$f(\tau )$
, the total wavevector–frequency spectrum is
\begin{align} \mathcal{E}_{\mathrm{tot}}\left (k_\perp , k_\|, \omega ;\sigma _{\mathrm{c}}\right ) &\equiv \frac {1}{2}\left [(1+\sigma _{\mathrm{c}})\mathcal{E}^+\left (k_\perp ,k_\|,\omega ;\sigma _{\mathrm{c}}\right ) +(1-\sigma _{\mathrm{c}})\mathcal{E}^-\left (k_\perp ,k_\|,\omega ;\sigma _{\mathrm{c}}\right )\right ]\nonumber \\ &= \frac {V\rho _{\mathrm{i}}^2\beta _{\mathrm{i}}^{1/2}}{4}\frac {\tilde {\mathcal{E}}_{\mathrm{2D}}(k_\perp ,k_\|)}{2\pi k_\perp } \sum _{\nu =\pm 1}(1+\nu \sigma _{\mathrm{c}})F(\omega +\nu k_\|v_{\mathrm{A}};k_\perp ,\sigma _{\mathrm{c}}), \end{align}
where (3.13) has been used for
$\mathcal{E}_{\mathrm{2D}}(k_\perp ,k_\|)$
. The amplitudes of the
$\boldsymbol{z}^+$
and
$\boldsymbol{z}^-$
spectra are weighted such that their ratio is
$\alpha$
.
Slices at constant
$k_\perp L_\perp = 10$
through the model wavevector–frequency spectrum of RMHD turbulence (3.23, top), showing it qualitatively reproduces features of the RMHD simulations presented in Appendix A (bottom). The turbulence has imbalance
$\sigma _{\mathrm{c}} = 0,\ 0.59$
and
$0.96$
(left, middle and right columns, respectively), and the model sets
$\xi _{\rho ,{\mathrm{th}}} = 1$
. The solid black lines correspond to zero frequency and the Alfvén dispersion relation
$\omega _{\mathrm{A}} = \pm k_zv_{\mathrm{A}}$
; the red dashed line is the critical balance scaling
$k_\|^{\mathrm{CB}}$
, such that everything with
$k_\| \lt k_\|^{\mathrm{CB}}$
is within the CB cone. The frequencies are normalised to the outer-scale Alfvén frequency of the simulations,
$\omega _{\mathrm{A0}}=v_{\mathrm{A}}/L_z$
. Note that the appearance of energy in high frequencies at small
$k_z$
in the bottom left and right figures is an artefact of the method used to calculate the spectrum.

Slices at constant
$k_z L_z = 10$
through the model wavevector–frequency spectrum of RMHD turbulence (3.23, top), showing it qualitatively reproduces features of the RMHD simulations presented in Appendix A (bottom). The turbulence has imbalance
$\sigma _{\mathrm{c}} = 0,\ 0.59$
and
$0.96$
(left, middle and right columns, respectively), and the model sets
$\xi _{\rho ,{\mathrm{th}}} = 1$
. Solid black lines represent the centre of the Alfvén dispersion relation
$\omega _{\mathrm{A}}=\pm k_zv_{\mathrm{A}}$
at the given value of
$k_z$
, and the red dashed line shows where
$k_\perp = (k_\|^{\mathrm{CB}})^{3/2}$
. Frequencies are normalised to the outer-scale Alfvén frequency,
$\omega _{\mathrm{A0}}=v_{\mathrm{A}}/L_z$
.

Figures 2 and 3 compare the model in (3.23) to the wavevector–frequency spectra of the simulations in Appendix A for
$\sigma _{\mathrm{c}}=0$
, 0.59 and 0.96. Slices are taken through the spectra at
$k_\perp L_\perp =10$
and
$k_z L_z=10$
, respectively, with
$s_{\mathrm{CB}}=2/3$
and
$\xi _{\rho ,{\mathrm{th}}}=1$
. For
$k_\| L_z \gt (k_\perp L_\perp )^{2/3}$
(to the right or left of the red dashed line in figures 2 or 3, respectively), the spectrum consists of two bands of fluctuations centred on the
$\boldsymbol{z}^\pm$
dispersion relations
$\omega _{\mathrm{A}}^\pm = \mp k_\|v_{\mathrm{A}}$
, corresponding to the wave-like nature of turbulence in this region. For modes below the CB cone with
$k_\| L_z \lesssim (k_\perp L_\perp )^{2/3}$
(to the left or right of the red dashed line in figures 2 or 3, respectively) the turbulence becomes strong, with nonlinear interactions causing the spectrum to broaden; the width of this broadening increases with
$k_\perp$
(figure 3) as the nonlinear frequency
$\omega _{\mathrm{nl}}(k_\perp )$
is an increasing function of
$k_\perp$
. Additionally, the width of the spectrum decreases as the imbalance increases, corresponding to the reduced efficiency of the cascade of
$\boldsymbol{z}^+$
fluctuations as the
$\boldsymbol{z}^-$
fluctuations become subdominant. In the limit of fully imbalanced turbulence (
$\sigma _{\mathrm{c}}\to 1$
), the spectrum would become a delta function along the
$\boldsymbol{z}^+$
dispersion relation
$\omega _{\mathrm{A}} = -k_\|v_{\mathrm{A}}$
.
Figures 2 and 3 show that the model (3.23) qualitatively captures the features of the wavevector–frequency spectra of RMHD turbulence, as well as its dependence on the turbulence’s imbalance. The ability to express the spectrum in this form makes it useful for connecting theoretical models of RMHD turbulence to numerical or observational data across a range of plasma conditions.
4. Calculation of heating rates in RMHD turbulence with varying imbalance
We now combine our quasi-linear theory results (§ 2) and turbulent spectrum (§ 3) to predict heating rates. We will find that the heating rate has a similar form regardless of the value of
$\sigma _{\mathrm{c}}$
, illustrating the connection between the mechanisms of stochastic heating in balanced turbulence and cyclotron-resonant heating in imbalanced turbulence.
In § 4.1, we present the form of the diffusion coefficients used, where additional assumptions are introduced to simplify the RMHD diffusion coefficients given in (2.7). The corresponding expression for the perpendicular heating rate,
$Q_\perp$
, is also provided under the simplifying assumption of an initially Maxwellian ion distribution. We then examine ion heating in the fully imbalanced and balanced limits of these coefficients in § 4.2 to build intuition for the general dependence of
$Q_\perp$
on
$\sigma _{\mathrm{c}}$
, discussed in § 4.3. Finally, in § 4.4, we show the general time evolution of a Maxwellian distribution due to the diffusion coefficients calculated in § 4.1 and show how the turbulence’s imbalance affects the structure of the distribution function.
4.1. Further simplification of diffusion coefficients
The RMHD framework introduced in § 2.1 considerably reduces the complexity of the general quasi-linear diffusion coefficients derived in Appendix B. This section applies additional physical assumptions and symmetry considerations to further simplify the expressions in (2.7).
We first assume that there is equipartition between the normalised kinetic and magnetic energies of the turbulent fluctuations for all levels of imbalance (as observed in the RMHD simulations presented in Appendix A; see figure 12), and set
$\mathcal{K}(\boldsymbol{k},\tau )=\mathcal{M}(\boldsymbol{k},\tau )$
for the normalised power spectra in (2.7). Additionally, we take
where the normalised power spectra of the Elsasser fields are defined as
and
$\sigma _{\mathrm{c}}$
is assumed to be independent of
$\boldsymbol{k}$
. Using these assumptions in (4.2) and substituting them into the model form of
$\mathcal{E}_{\mathrm{tot}}$
, (3.23), we find that
Taking the inverse temporal Fourier transform of (3.23) and using the property
$\hat {\mathcal{F}}^{-1}[f(\omega \pm \omega _0)] = e^{\mp {\mathrm{i}}\omega _0\tau }\hat {\mathcal{F}}^{-1}[f(\omega )]$
allows the diffusion coefficients in (2.7) to be written as
\begin{equation} \frac {1}{\varOmega _{\mathrm{i}}v_{\mathrm{th}, \textrm{i}}^2}\begin{pmatrix} D_{\perp \perp }\\ D_{\|\perp }\\ D_{\|\|}\end{pmatrix} = \begin{pmatrix} 1+2\sigma _{\mathrm{c}}\tilde{v}_\|+\tilde{v}_\|^2\\ -\tilde{v}_\perp (\sigma _{\mathrm{c}}+\tilde{v}_\|)\\ \tilde{v}_\perp ^2\end{pmatrix} \frac {\mathcal{D}}{\varOmega _{\mathrm{i}}v_{\mathrm{th}, \textrm{i}}^2}, \end{equation}
with the generalised diffusion coefficient defined as
\begin{align} \frac {\mathcal{D}}{\varOmega _{\mathrm{i}}v_{\mathrm{th}, \textrm{i}}^2}&\equiv \frac {\varOmega _{\mathrm{i}}\rho _{\mathrm{i}}^2}{\sqrt {\beta _{\mathrm{i}}}}\sum _{n=-\infty }^{\infty }\sum _{\nu =\pm 1} \nonumber \\ &\quad \times \frac {1+\nu \sigma _{\mathrm{c}}}{8(1+\sigma _{\mathrm{c}}^2)}\!\int\! {\mathrm{d}} \boldsymbol{k} \frac {n^2{\mathrm{J}}_{n}^2(\kappa )}{\kappa ^2}\frac {\tilde {\mathcal{E}}_{\mathrm{2D}}(k_\perp ,k_\|)}{2\pi k_\perp }\!\int _{0}^{\infty}\! {\mathrm{d}} \tau e^{-{\mathrm{i}}\left [k_\|\left (v_\|+\nu v_{\mathrm{A}}\right )+n\varOmega _{\mathrm{i}}\right ]\tau }f(\tau \omega _{\mathrm{nl}}(k_\perp )), \end{align}
where (3.23) has been inserted for
$\mathcal{E}_{\mathrm{tot}}(k_\perp ,k_\|,\omega )$
.
Changing variables to
$\tilde {k}_\perp = k_\perp \rho _{\mathrm{i}}$
,
$\tilde {k}_\| = k_\|v_{\mathrm{A}}/\varOmega _{\mathrm{i}}$
,
$\tilde{v}_\| = v_\|/v_{\mathrm{A}}$
,
$\tilde {\tau }\equiv \varOmega _{\mathrm{i}}\tau$
and
$\tilde {\omega }_{\mathrm{nl}}(\tilde {k}_\perp )\equiv \omega _{\mathrm{nl}}/\varOmega _{\mathrm{i}}$
gives
\begin{align} \frac {\mathcal{D}}{\varOmega _{\mathrm{i}}v_{\mathrm{th}, \textrm{i}}^2}&\approx \sum _{n,\nu =\pm 1}\frac {1+\nu \sigma _{\mathrm{c}}}{32(1+\sigma _{\mathrm{c}}^2)} \nonumber \\ &\times \int _{0}^{1} {\mathrm{d}} \tilde {k}_\perp \ \int _{-1}^{1} {\mathrm{d}} \tilde {k}_\| \ \tilde {\mathcal{E}}_{\mathrm{2D}}(\tilde {k}_\perp ,\tilde {k}_\|)\int _{0}^{\infty } {\mathrm{d}} \tilde {\tau } \ e^{-{\mathrm{i}}\left [\tilde {k}_\|\left (\tilde{v}_\|+\nu \right )+n\right ]\tilde {\tau }}f(\tilde {\tau }\tilde {\omega }_{\mathrm{nl}}(\tilde {k}_\perp )). \end{align}
The approximate equality here arises from the RMHD
$k_\perp \rho _{\mathrm{i}}\ll 1$
limit: using the fact that the argument of the Bessel functions is
$\kappa = k_\perp v_\perp /\varOmega _{\mathrm{i}} = (k_\perp \rho _{\mathrm{i}})v_\perp /v_{\mathrm{th}, \textrm{i}}$
and assuming
$v_\perp \sim v_{\mathrm{th}, \textrm{i}}$
, we have
in the limit
$k_\perp \rho _{\mathrm{i}}\ll 1$
, allowing all but two terms in the Bessel function sum to be neglected. While this approximation allows for the calculation to be simplified enormously, removing an extra dependence on
$k_\perp$
and
$v_\perp$
, it is not fully justified near
$k_\perp \rho _{\mathrm{i}} = 1$
, where the Bessel functions begin to vary.Footnote
5
The sum over
$n=\pm 1$
in (4.6) can be simplified by taking advantage of the symmetries of
$\tilde {\mathcal{E}}_{\mathrm{2D}}$
and
$f(\tau )$
. Expanding the sum in
$n$
and changing variables
$\tilde {\tau }\to -\tilde {\tau }$
and
$\tilde {k}_\|\to -\tilde {k}_\|$
in the
$n=-1$
term gives a term of the form
As
$f(\tau )$
and
$\tilde {\mathcal{E}}_{\mathrm{2D}}$
are even in
$\tau$
and
$\tilde {k}_\|$
, respectively, (4.8) is now equivalent to the
$n=1$
term with flipped integration limits in
$\tilde {\tau }$
, allowing (4.6) to be written as
Finally, we note that the integral over
$\tilde {\tau }$
is of a similar form to a temporal Fourier transform; namely, it is
$2\pi \mathcal{F}[f(\tau )]$
, (3.20), with
$\omega \to \tilde{k}_\|(\tilde{v}_\|+\nu ) + 1$
. With the Fourier transform of
$f(\tilde {\tau }\tilde {\omega }_{\mathrm{nl}})={\mathrm{sech}}(\tilde {\tau }\tilde {\omega }_{\mathrm{nl}})$
given in (3.21), we obtain the form of
$\mathcal{D}$
to be used in this section:
\begin{align} \frac {\mathcal{D}}{\varOmega _{\mathrm{i}}v_{\mathrm{th}, \textrm{i}}^2} &= \sum _{\nu =\pm 1}\frac {1+\nu \sigma _{\mathrm{c}}}{16(1+\sigma _{\mathrm{c}}^2)} \nonumber \\ &\quad \times \int _{0}^{1} {\mathrm{d}} \tilde{k}_\perp \ \frac {\pi }{2\tilde {\omega }_{\mathrm{nl}}(\tilde{k}_\perp )}\int _{-1}^{1} {\mathrm{d}} \tilde{k}_\| \ \tilde {\mathcal{E}}_{\mathrm{2D}}(\tilde{k}_\perp ,\tilde{k}_\|){\mathrm{sech}}\left (\frac {\pi }{2\tilde {\omega }_{\mathrm{nl}}(\tilde{k}_\perp )}\big[\tilde{k}_\|\left (\tilde{v}_\|+\nu \right ) + 1\big]\right)\!. \end{align}
4.1.1. Perpendicular heating rate of a Maxwellian distribution
The velocity-space diffusion of the distribution function results in particle heating. In this section, we derive the form of the perpendicular heating rate
$Q_\perp$
arising from this diffusion. For simplicity, we assume the initial ion distribution is Maxwellian,
\begin{equation} f_0(\tilde{v}_\perp , \tilde{v}_\|)=n_0\left (\pi \beta _{\mathrm{i}}\right )^{-3/2}\exp\! {\left (-\frac {\tilde{v}_\perp ^2+\tilde{v}_\|^2}{\beta _{\mathrm{i}}}\right )}, \end{equation}
where
$\tilde{v}_{\perp ,\|} \equiv v_{\perp ,\|}/v_{\mathrm{A}}$
and
$f_0$
is normalised such that
$\int _{-\infty }^{\infty } {\mathrm{d}} \tilde{v}_\| \ \int _{0}^{\infty } {\mathrm{d}} \tilde{v}_\perp \ 2\pi \tilde{v}_\perp f_0 = v_{\mathrm{A}}^{3}n_0$
.
The perpendicular heating rate per unit mass is given by
Assuming that ions undergo a diffusion in velocity space in the quasi-linear form (2.5), (4.12) can be written as
\begin{align} Q_\perp &= \int _{-\infty }^{\infty } {\mathrm{d}} v_\| \ \int _{0}^{\infty } {\mathrm{d}} v_\perp \ 2\pi v_\perp \frac {v_\perp ^2}{2}\frac {1}{v_\perp }\frac {\partial }{\partial v_\perp }\left [v_\perp \frac {1}{n_0}\left (D_{\perp \perp }\frac {\partial f_0}{\partial v_\perp }+D_{\|\perp }\frac {\partial f_0}{\partial v_\|}\right )\right ]\nonumber \\[3pt] &= -2\pi \int _{-\infty }^{\infty } {\mathrm{d}} v_\| \ \int _{0}^{\infty } {\mathrm{d}} v_\perp \ v_\perp ^2\frac {1}{n_0}\left (D_{\perp \perp }\frac {\partial f_0}{\partial v_\perp }+D_{\|\perp }\frac {\partial f_0}{\partial v_\|}\right )\!, \end{align}
by assuming that the velocity gradients of a physically reasonable distribution function should go to zero as
$|\boldsymbol{v}|\to \infty$
to remove
$\partial / \partial v_\|$
terms via integration by parts; the second equality is obtained by further integration by parts over
$v_\perp$
. Changing variables to
$\tilde{v}_{\perp ,\|}$
and using the derivatives of the Maxwellian, (4.13) becomes
Finally, inserting the diffusion coefficients (4.4) and noting that
$\mathcal{D}$
in (4.10) is independent of
$\tilde{v}_\perp$
, we obtain
\begin{equation} \frac {Q_\perp }{\varOmega _{\mathrm{i}}v_{\mathrm{th}, \textrm{i}}^2} = \sqrt {\frac {4}{\pi \beta _{\mathrm{i}}}}\int _{-\infty }^{\infty } {\mathrm{d}} \tilde{v}_\| \ e^{-\tilde{v}_\|^2/\beta _{\mathrm{i}}}(1+\sigma _{\mathrm{c}}\tilde{v}_\|)\frac {\mathcal{D}(\tilde{v}_\|)}{\varOmega _{\mathrm{i}}v_{\mathrm{th}, \textrm{i}}^2}. \end{equation}
This form will be used to calculate
$Q_\perp$
analytically and numerically in §§ 4.2 and 4.3. We note that the form of
$Q_\perp$
in (4.15) only gives the instantaneous heating rate of a Maxwellian distribution and does not describe the heating once the diffusion causes
$f_0$
to evolve away from a Maxwellian. This evolution is shown in more detail in § 4.4, where we numerically solve the quasi-linear diffusion equation in (2.5).
4.2. Limiting cases
Before presenting the general calculation of the diffusion coefficients for arbitrary
$\sigma _{\mathrm{c}}$
, we first examine the limiting cases of fully imbalanced and balanced RMHD turbulence. These cases represent well-understood physical regimes and provide intuition for interpreting the more general results discussed in § 4.3.
4.2.1. Fully imbalanced turbulence:
$\sigma _{\mathrm{c}}=1$
The fully imbalanced limit may be viewed as the case
$\sigma _{\mathrm{c}} \to 1$
, corresponding to a collection of
$\boldsymbol{z}^\pm$
fluctuations undergoing a cascade that is infinitely slow compared with their propagation rate. In this limit, the quasi-linear framework reduces to studying the effect of strong interactions between ions and waves following a linear dispersion relation
$\omega (\boldsymbol{k})$
, with the evolution of the distribution function controlled by the resonance condition (2.6). When this condition is satisfied, the distribution function diffuses in velocity space along constant energy contours in the wave frame (Kennel & Engelmann Reference Kennel and Engelmann1966; we prove this explicitly in Appendix B.2.1). For the Alfvénic
$\boldsymbol{z}^+$
fluctuations, with
$\omega (\boldsymbol{k}) = -k_\|v_{\mathrm{A}}$
, the resonance condition becomes
Taking the limit
$\sigma _{\mathrm{c}}\to 1$
in the model of the wavevector–frequency spectrum in § 3.2.3, the nonlinear frequency
$\tilde {\omega }_{\mathrm{nl}}(\tilde{k}_\perp )$
goes to zero (
$\alpha = (1+\sigma _{\mathrm{c}})/(1-\sigma _{\mathrm{c}}) \to \infty$
in 3.15) and the temporal correlation function approaches a delta function (Wheeler Reference Wheeler2002),
which is exactly the resonance condition (4.16) with
$n=1$
. With this, in the limit
$\sigma _{\mathrm{c}}\to 1$
, the generalised diffusion coefficient in (4.10) becomes
The delta function enforces that ions with parallel speed
$v_\|$
interact with fluctuations with resonant wavenumber
Note that, because
$|\tilde{k}_\||\leqslant 1$
in this model (as for
$|\tilde{k}_\|| = k_\|d_{\textrm {i}}\gtrsim 1$
, the fluctuations are no longer Alfvénic, transitioning to ICWs), resonance only occurs for ions with
$\tilde{v}_\|\gt 0$
, counter-propagating along magnetic-field lines with respect to the waves.
The resonance condition (4.19) shows that the speed of the ions controls the part of the turbulent spectrum with which they are able to interact. If ions are too slow,
they can only interact with the portion of the spectrum above the CB cone; however, if
$|\tilde{k}_\|^{(1)}| \lt \xi _{\rho ,{\mathrm{th}}}$
, they are also able to interact with that below the cone. Performing the integrals, setting
$\tilde{k}_\| = \tilde{k}_\|^{(1)}$
using the delta function and allowing for
$\xi _{\rho ,{\mathrm{th}}}\gtrsim 1$
, we obtain (setting
$C=1$
in
$\tilde {\mathcal{E}}_{\mathrm{2D}}$
, 3.13)
\begin{equation} \frac {\mathcal{D}}{\varOmega _{\mathrm{i}}v_{\mathrm{th}, \textrm{i}}^2}=\frac {\pi }{16(s_2+1)}\begin{cases} 0, & \tilde{v}_\| \lt 0,\\ \xi _{\rho ,{\mathrm{th}}}^{s_1+1}(1+\tilde{v}_\|)^{s_1}, & 0\leqslant \tilde{v}_\|\leqslant \max (0,\xi _{\rho ,{\mathrm{th}}}^{-1}-1),\\[3pt] \dfrac {1}{2}\xi _{\rho ,{\mathrm{th}}}^3\left [s_1(1+\tilde{v}_\|)^2-\dfrac {s_2+1}{s_{\mathrm{CB}}}\xi _{\rho ,{\mathrm{th}}}^{-2}\right ]\!, & \tilde{v}_\| \gt \max (0,\xi _{\rho ,{\mathrm{th}}}^{-1}-1); \end{cases} \end{equation}
using the scalings for the Goldreich & Sridhar (Reference Goldreich and Sridhar1995) spectrum (
$s_{\mathrm{CB}} = 2/3$
and
$s_2=1$
) gives
\begin{equation} \frac {\mathcal{D}}{\varOmega _{\mathrm{i}}v_{\mathrm{th}, \textrm{i}}^2}=\frac {\pi }{32}\begin{cases} 0, & \tilde{v}_\| \lt 0,\\ \xi _{\rho ,{\mathrm{th}}}^6(1+\tilde{v}_\|)^5, & 0\leqslant \tilde{v}_\|\leqslant \max (0,\xi _{\rho ,{\mathrm{th}}}^{-1}-1),\\[3pt] \dfrac {1}{2}\xi _{\rho ,{\mathrm{th}}}^3\left [5(1+\tilde{v}_\|)^2-3\xi _{\rho ,{\mathrm{th}}}^{-2}\right ]\!, & \tilde{v}_\| \gt \max (0,\xi _{\rho ,{\mathrm{th}}}^{-1}-1).\\ \end{cases} \end{equation}
This form of
$\mathcal{D}$
transitions smoothly from a
$\xi _{\rho ,{\mathrm{th}}}^3$
to a
$\xi _{\rho ,{\mathrm{th}}}^6$
scaling with increasing
$\tilde{v}_\|$
.Footnote
6
Perpendicular heating rate
$Q_\perp$
in the fully imbalanced limit, where the general quasi-linear theory of velocity-space diffusion reduces to diffusion along contours of constant energy in the wave frame (Kennel & Engelmann Reference Kennel and Engelmann1966).
$Q_\perp$
is calculated numerically from (4.23) using the imbalanced limit of the generalised diffusion coefficient
$\mathcal{D}$
(4.22) for different values of
$\beta _{\mathrm{i}}$
(with
$C=1$
in
$\tilde {\mathcal{E}}_{\mathrm{2D}}$
, 3.13). Dotted lines show only the contribution of fluctuations below the CB cone to
$Q_\perp$
.

In the limit
$\sigma _{\mathrm{c}}\to 1$
, the general heating rate in (4.15) reduces to
\begin{equation} \frac {Q_\perp }{\varOmega _{\mathrm{i}}v_{\mathrm{th}, \textrm{i}}^2} = \sqrt {\frac {4}{\pi \beta _{\mathrm{i}}}}\int _{-\infty }^{\infty } {\mathrm{d}} \tilde{v}_\| \ e^{-\tilde{v}_\|^2/\beta _{\mathrm{i}}}(1+\tilde{v}_\|)\frac {\mathcal{D}(\tilde{v}_\|)}{\varOmega _{\mathrm{i}}v_{\mathrm{th}, \textrm{i}}^2}. \end{equation}
Figure 4 shows
$Q_\perp$
as a function of
$\xi _{\rho ,{\mathrm{th}}}$
and
$\beta _{\mathrm{i}}$
, calculated numerically using the integral in (4.23). The solid lines are calculated using the form of
$\mathcal{D}$
in (4.22), which shows the contribution of modes in
$\boldsymbol{k}$
-space both above and below the CB cone to the heating rate. These inherit the scaling with
$\xi _{\rho ,{\mathrm{th}}}$
present in
$\mathcal{D}$
, transitioning from a
$\xi _{\rho ,{\mathrm{th}}}^6$
scaling to a
$\xi _{\rho ,{\mathrm{th}}}^3$
scaling with increasing turbulent amplitude. The presence of the
$\xi _{\rho ,{\mathrm{th}}}^6$
scaling at small
$\xi _{\rho ,{\mathrm{th}}}$
(a feature also seen in the balanced limit and general calculation later) suggests that ions can be heated by weak fluctuations above the CB cone (although the assumptions used in deriving this model may mean this is not quite correct; see § 5 for a discussion of the caveats of this model). The heating rates in figure 4 show little to no variation with
$\beta _{\mathrm{i}}$
for
$\beta _{\mathrm{i}}\ll 1$
. This is because only ions with
$\tilde{v}_\|\ll 1$
contribute to the integral; ions with large
$\tilde{v}_\|$
will contribute less to the total heating rate
$Q_\perp$
as there are comparatively fewer of them.
If we consider ions only interacting with strong fluctuations below the CB cone (dotted lines in figure 4), we instead see that the heating rate is strongly suppressed at small
$\xi _{\rho ,{\mathrm{th}}}$
. This follows from an analogous calculation for
$\mathcal{D}$
in (4.22) where only the contribution of modes below the CB cone (
$|\tilde{k}_\|| \leqslant \tilde{k}_\|^{\mathrm{CB}}$
) are taken into account, which gives
for
$\tilde{v}_\| \gt \max (0,\xi _{\rho ,{\mathrm{th}}}^{-1}-1)$
and
$0$
otherwise. For ions that are fast enough to interact with modes below the CB cone,
$\mathcal{D}$
scales as
$\xi _{\rho ,{\mathrm{th}}}^3$
and drops off rapidly as
$\xi _{\rho ,{\mathrm{th}}}$
approaches
$1/(1+\tilde{v}_\|)$
. This is quite restrictive compared with the
$\xi _{\rho ,{\mathrm{th}}}\gtrsim 0.1$
requirement of stochastic heating for
$\tilde{v}_\|\ll 1$
, although the exact threshold depends on the choice of
$C$
. It is a result of the resonance condition (4.19) allowing ions to interact with a single frequency.
4.2.2. Balanced turbulence:
$\sigma _{\mathrm{c}}=0$
In contrast to the imbalanced limit, balanced turbulence consists of a collection of
$\boldsymbol{z}^+$
and
$\boldsymbol{z}^-$
fluctuations with equal energies. The nonlinear interactions between the two populations lead to broadening of the wavevector–frequency spectrum, which is captured by the temporal correlation function (3.18). Using (4.10) for the generalised diffusion coefficient with
$\sigma _{\mathrm{c}}=0$
(where
$\alpha =1$
in
$\tilde {\omega }_{\mathrm{nl}}$
), we have
\begin{align} \frac {\mathcal{D}}{\varOmega _{\mathrm{i}}v_{\mathrm{th}, \textrm{i}}^2} &= \frac {1}{16}\sum _{\nu =\pm 1} \nonumber \\ &\quad \times\int _{0}^{1} {\mathrm{d}} \tilde{k}_\perp \ \frac {\pi }{2\tilde {\omega }_{\mathrm{nl}}(\tilde{k}_\perp )}\int _{-1}^{1} {\mathrm{d}} \tilde{k}_\| \ \tilde {\mathcal{E}}_{\mathrm{2D}}(\tilde{k}_\perp ,\tilde{k}_\|){\mathrm{sech}}\!\left (\frac {\pi }{2\tilde {\omega }_{\mathrm{nl}}(\tilde{k}_\perp )}\big[\tilde{k}_\|(\tilde{v}_\|+\nu)+1\big]\right)\!. \end{align}
The integral (4.25) is now symmetric in
$\tilde{v}_\|$
because there are fluctuations travelling in both directions along the magnetic field. The general heating rate (4.15) in this limit reduces to
\begin{equation} \frac {Q_\perp }{\varOmega _{\mathrm{i}}v_{\mathrm{th}, \textrm{i}}^2} = \sqrt {\frac {4}{\pi \beta _{\mathrm{i}}}}\int _{-\infty }^{\infty } {\mathrm{d}} \tilde{v}_\| \ e^{-\tilde{v}_\|^2/\beta _{\mathrm{i}}}\frac {\mathcal{D}(\tilde{v}_\|)}{\varOmega _{\mathrm{i}}v_{\mathrm{th}, \textrm{i}}^2}. \end{equation}
The full integral of (4.25) is not able to be completed analytically over all
$\boldsymbol{k}$
-space and can only be calculated numerically. To investigate its limiting behaviour, we first use the assumption of low-
$\beta _{\mathrm{i}}$
ions such that
$\tilde{v}_\| = v_\|/v_{\mathrm{A}}\ll 1$
, removing the dependence of
$\mathcal{D}$
on
$\tilde{v}_\|$
in (4.25). This approximation essentially ignores the equivalent resonant condition in the imbalanced limit, where ions are only able to interact with a single frequency at a given
$\boldsymbol{k}$
(see 4.19). However, because the turbulent fluctuations in the balanced case have a greater spread in frequency due to their nonlinear broadening, ions are still able to diffuse in velocity space as they interact with a variety of fluctuations with differing frequencies at a given
$\boldsymbol{k}$
.
With the
$\tilde{v}_\|\ll 1$
limit, the contributions of the integral (4.25) to ion heating from below the CB cone can be investigated by looking at fluctuations such that the ratio
In this region,
$\tilde {\mathcal{E}}_{\mathrm{2D}} = C^{-1}\xi _{\rho ,{\mathrm{th}}}\tilde{k}_\perp ^{-2s_{\mathrm{CB}}-1}$
and, after taking the
$x\gg 1$
limit of
${\mathrm{sech}}(x)$
in (3.19) as
$1/ \tilde {\omega }_{\mathrm{nl}} = \varOmega _{\mathrm{i}}/ \omega _{\mathrm{nl}} \gtrsim 1$
, (4.25) becomesFootnote
7
\begin{align} \frac {\mathcal{D}}{\varOmega _{\mathrm{i}}v_{\mathrm{th}, \textrm{i}}^2} &\approx \frac {1}{4}\int _{0}^{1} {\mathrm{d}} \tilde{k}_\perp \ C^{-1}\xi _{\rho ,{\mathrm{th}}}\tilde{k}_\perp ^{-2s_{\mathrm{CB}}-1}\frac {\pi }{2\tilde {\omega }_{\mathrm{nl}}(\tilde{k}_\perp )}\exp\!\left (-\frac {\pi }{2\tilde {\omega }_{\mathrm{nl}}(\tilde{k}_\perp )}\right )\int _{-C\xi _{\rho ,{\mathrm{th}}}\tilde{k}_\perp ^{s_{\mathrm{CB}}}}^{C\xi _{\rho ,{\mathrm{th}}}\tilde{k}_\perp ^{s_{\mathrm{CB}}}} {\mathrm{d}} \tilde{k}_\| \ \nonumber \\ &= \frac {C}{\pi s_{\mathrm{CB}}}\xi _{\rho ,{\mathrm{th}}}^3\int _{\pi /(2C\xi _{\rho ,{\mathrm{th}}})}^{\infty } {\mathrm{d}} u \ u e^{-u}\nonumber \\ &= \frac {C}{\pi s_{\mathrm{CB}}}\xi _{\rho ,{\mathrm{th}}}^3 \left (1 + \frac {\pi }{2C\xi _{\rho ,{\mathrm{th}}}}\right )e^{-\pi / (2C\xi _{\rho ,{\mathrm{th}}})}, \end{align}
where a change of variables to
$u = \pi / (2\tilde {\omega }_{\mathrm{nl}}(\tilde{k}_\perp )) = (\pi /2)(C\xi _{\rho ,{\mathrm{th}}})^{-1}\tilde{k}_\perp ^{-s_{\mathrm{CB}}}$
was made in the second equality. Finally, as
$\mathcal{D}$
is independent of
$\tilde{v}_\|$
for low-
$\beta _{\mathrm{i}}$
ions, the heating rate (4.26) becomes
where
$\hat {c}_1 \equiv 2C/(\pi s_{\mathrm{CB}}) \approx C$
(for the Goldreich & Sridhar (Reference Goldreich and Sridhar1995) CB scaling with
$s_{\mathrm{CB}}=2/3$
) and
$\hat {c}_2 \equiv \pi / (2C) \approx 1.5C^{-1}$
.
Perpendicular heating rate
$Q_\perp$
in the balanced limit for different values of
$\beta _{\mathrm{i}}$
, calculated numerically using (4.26) with
$C=5$
in
$\tilde {\mathcal{E}}_{\mathrm{2D}}$
(3.13). To better highlight the suppression, only the contribution from modes below the CB cone are considered. The black dotted line shows the
$\beta _{\mathrm{i}}$
-independent analytic expression for
$Q_\perp$
(4.29) (obtained in the limit
$|\tilde{v}_\|| \ll 1$
and
$\tilde{k}_\|\ll \tilde{k}_\|^{\mathrm{CB}}$
) with
$\hat {c}_1\approx 5$
and
$\hat {c}_2 \approx 0.3$
. These show qualitatively similar behaviour to the empirical stochastic heating formula (1.3) (Chandran et al. Reference Chandran, Li, Rogers, Quataert and Germaschewski2010a
), shown by the blue dashed line with the same values for
$c_1$
and
$c_2$
.

Remarkably, (4.29) has an almost identical form to the empirical stochastic heating formula (1.3) (Chandran et al. Reference Chandran, Li, Rogers, Quataert and Germaschewski2010a
). The coefficient
$c_2$
in (1.3) is generally found to be
$\lesssim 0.5$
in numerical simulations of stochastic heating (Chandran et al. Reference Chandran, Li, Rogers, Quataert and Germaschewski2010a
; Xia et al. Reference Xia, Perez, Chandran and Quataert2013; Cerri et al. Reference Cerri, Arzamasskiy and Kunz2021; Johnston et al. Reference Johnston, Squire and Meyrand2025); using this to constrain
$C$
, we find
$C\gtrsim 3$
and
$\hat {c}_1\gtrsim 3$
. This may be larger than results reported in past simulations, although there is no agreement on exact values for
$c_1$
; for example, Xia et al. (Reference Xia, Perez, Chandran and Quataert2013) find
$0.5\lesssim c_1 \lesssim 1.5$
in low-
$\beta _{\mathrm{i}}$
balanced RMHD turbulence and
$c_1\approx 4$
at
$\beta _{\mathrm{i}}=1$
, but Johnston et al. (Reference Johnston, Squire and Meyrand2025) find
$c_1\approx 4$
in balanced turbulence at
$\beta _{\mathrm{i}} = 0.05$
. Given the drastic assumptions of quasi-linear theory and the likely dependence on other properties such as the choice of forcing or inertial-range length (for instance, as a consequence of intermittency; Mallet et al. Reference Mallet, Klein, Chandran, Grošelj, Hoppock, Bowen, Salem and Bale2019; Bowen et al. Reference Bowen, Ervin, Mallet, Chandran, Sioulas, Isenberg, Bale, Squire, Klein and Pezzi2025), the general agreement of the functional form and order-unity agreement of the coefficients is encouraging.
Figure 5 shows the integral (4.26) used to calculate
$Q_\perp$
for different values of
$\beta _{\mathrm{i}}$
. To compare with previous simulation results discussed in the previous paragraph, we determine
$C$
from a representative value of the coefficient
$\hat {c}_2\approx 0.3$
using the relation
$\hat {c}_2\approx 1.5C^{-1}$
from (4.29), giving
$C=5$
; the value
$\hat {c}_1\approx 5$
then follows from the same relations. Additionally, we only take into account the contribution from modes below the CB cone to better show the form of the heating-rate suppression. The calculated curves show little to no variation with
$\beta _{\mathrm{i}}$
when
$\beta _{\mathrm{i}}\ll 1$
, with small changes at
$\xi _{\rho ,{\mathrm{th}}} \ll 1$
when
$\beta _{\mathrm{i}}=1$
. This behaviour is exactly what is expected from stochastic heating, where
$Q_\perp /(\varOmega _{\mathrm{i}}v_{\mathrm{th}, \textrm{i}}^2)$
is independent of
$\beta _{\mathrm{i}}$
for
$\beta _{\mathrm{i}}\ll 1$
and heating in small-amplitude turbulence is suppressed due to the conservation of the magnetic moment of the ions (Chandran et al. Reference Chandran, Li, Rogers, Quataert and Germaschewski2010a
) (however, due to the term
$1+\hat {c}_2/\xi _{\rho ,{\mathrm{th}}}$
in (4.29), the suppression of
$Q_\perp$
calculated by this model decreases more slowly than that of the empirical form for the choice of parameters used). If the contribution of modes above the CB cone are also taken into account, the model predicts the heating of ions by weak fluctuations as in the imbalanced case; this is explicitly shown by the
$\xi _{\rho ,{\mathrm{th}}}^6$
scaling for small
$\xi _{\rho ,{\mathrm{th}}}$
in figure 6.
Finally, we note that the suppression in (4.28) and (4.29) arises in part from the form of the temporal correlation function, rather than just from the exponential dependence of the Maxwellian distribution function assumed. This indicates that the effect is fundamentally determined by the dynamical properties of the turbulence and its coupling to the ions, as noted previously (Cerri et al. Reference Cerri, Arzamasskiy and Kunz2021; Mallet et al. Reference Mallet, Klein, Chandran, Ervin and Bowen2026). This perspective contrasts with the original interpretation in (1.3), where the suppression is attributed to the conservation of the magnetic moment of ions in the presence of small-amplitude fluctuations (Chandran et al. Reference Chandran, Li, Rogers, Quataert and Germaschewski2010a ).
4.3. Heating-rate properties: arbitrary imbalance
After gaining intuition for the heating of ions in the limiting cases of balanced and imbalanced turbulence in § 4.2, we now study the properties of the heating rate for general values of
$\sigma _{\mathrm{c}}$
. In particular, we show how the scalings of
$Q_\perp$
with
$\xi _{\rho ,{\mathrm{th}}}$
arise from the properties of the wavevector–frequency spectrum in the calculation of
$\mathcal{D}$
.
Figure 6(a) shows how
$Q_\perp$
varies with
$\xi _{\rho ,{\mathrm{th}}}$
, calculated numerically from (4.15) (using the general form of
$\mathcal{D}$
in 4.10 and setting
$C=1$
in
$\tilde {\mathcal{E}}_{\mathrm{2D}}$
, 3.13) with
$\beta _{\mathrm{i}}=0.1$
, and
$\sigma _{\mathrm{c}} = 0.0, 0.75$
and
$0.999$
. As observed in both the balanced and imbalanced limits, the heating rate scales as
$\xi _{\rho ,{\mathrm{th}}}^3$
at large
$\xi _{\rho ,{\mathrm{th}}}$
; additionally, the model predicts the heating of ions from interactions with weak wave-like fluctuations lying above the CB cone, as shown by the
$\xi _{\rho ,{\mathrm{th}}}^6$
scaling at small
$\xi _{\rho ,{\mathrm{th}}}$
. The dotted lines show the heating rate when only considering fluctuations below the CB cone; as in the balanced and imbalanced limits, the heating rate is suppressed at small values of
$\xi _{\rho ,{\mathrm{th}}}$
. Thus, the heating rate has the general form
where
$F(\xi _{\rho ,{\mathrm{th}}};\sigma _{\mathrm{c}})$
is an imbalance-dependent suppression factor that goes to
$0$
as
$\xi _{\rho ,{\mathrm{th}}}\to 0$
. This suppression is stronger when only considering modes beneath the CB cone, with the increase in suppression with imbalance arising from the decreasing width of the wavevector–frequency spectrum as
$\sigma _{\mathrm{c}}\to 1$
(which will be discussed in more detail later).
(a) Perpendicular heating rate
$Q_\perp$
, (4.15), as a function of
$\xi _{\rho ,{\mathrm{th}}}$
, with the integral in (4.15) calculated numerically with
$\beta _{\mathrm{i}}=0.1$
and for different values of
$\sigma _{\mathrm{c}}$
. Solid lines show the contribution to
$Q_\perp$
from all modes and dotted lines the contribution from only modes below the CB cone to highlight the suppression in heating for small
$\xi _{\rho ,{\mathrm{th}}}$
(with
$C=1$
in
$\tilde {\mathcal{E}}_{\mathrm{2D}}$
, (3.13)). The form of
$Q_\perp$
in the
$\sigma _{\mathrm{c}}=1$
limit (4.23) is also shown in grey; this overlaps
$Q_\perp$
calculated with
$\sigma _{\mathrm{c}}=0.999$
. (b) Generalised diffusion coefficient
$\mathcal{D}$
(4.10) as a function of
$\xi _{\rho ,{\mathrm{th}}}$
, showing the similarity in scaling to
$Q_\perp$
. The integral in (4.10) is calculated numerically with
$\tilde{v}_\|=0.1$
and with the same values of
$\sigma _{\mathrm{c}}$
in panel (a); dotted lines show the contribution from only modes below the CB cone. The dashed vertical line at
$\xi _{\rho ,{\mathrm{th}}}=0.5$
corresponds to the value of
$\xi _{\rho ,{\mathrm{th}}}$
used in figure 7. The form of
$\mathcal{D}$
in the
$\sigma _{\mathrm{c}}=1$
limit, (4.22), is also shown in black; as above, this overlaps
$\mathcal{D}$
calculated with
$\sigma _{\mathrm{c}}=0.999$
.

At large
$\xi _{\rho ,{\mathrm{th}}}$
, the heating becomes moderately less efficient as
$\sigma _{\mathrm{c}}$
increases. This is due to the Gaussian-weighted peak in the integral of
$Q_\perp$
, (4.15), arising from the choice of a Maxwellian distribution. For the imbalanced case, the sharp peak at
$\tilde{k}_\|^{(1)}$
above the CB cone contributes strongly to
$Q_\perp$
, as this is near the peak of the Gaussian for small
$\tilde{v}_\|$
. In contrast, due to the broadening of the wavevector–frequency spectrum, the balanced and moderately imbalanced cases peak along the CB cone (which lies at parallel scales
$|\tilde{k}_\|| \leqslant \xi _{\rho ,{\mathrm{th}}} \ll 1$
for small
$\xi _{\rho ,{\mathrm{th}}}$
) rather than at
$\tilde{k}_\|^{(1)}$
, so
$Q_\perp$
is smaller. The numerical simulations of Johnston et al. (Reference Johnston, Squire and Meyrand2025) recently found similar values of
$Q_\perp$
at large
$\xi _{\rho ,{\mathrm{th}}}$
in both balanced and imbalanced turbulence, in contrast to what is seen in figure 6. This may be due to a difference in the definition of
$\xi _{\rho ,{\mathrm{th}}}$
(which in this work is defined in terms of the Elsasser variable spectrum (3.11) compared with the r.m.s.
$\boldsymbol{E}{\times}{\boldsymbol{B}}$
velocity
$\delta u_{\rho _{\mathrm{i}}}$
of Johnston et al. (Reference Johnston, Squire and Meyrand2025), which may lead to an imbalance-dependent factor between the heating rates), or additional factors such as intermittency or
$k_\perp \rho _{\mathrm{i}} \gtrsim 1$
effects within their simulations.
The behaviour of
$\mathcal{D}$
as
$\sigma _{\mathrm{c}}$
transitions between these limits is shown in figure 6(b), where the integral (4.10) is calculated numerically with
$\tilde{v}_\| = 0.1$
and the same values of
$\sigma _{\mathrm{c}}$
as used in the left panel. In all cases,
$\mathcal{D}$
scales as
$\xi _{\rho ,{\mathrm{th}}}^6$
at amplitudes
$\xi _{\rho ,{\mathrm{th}}}\ll 1$
, and transitions to a
$\xi _{\rho ,{\mathrm{th}}}^3$
scaling as
$\xi _{\rho ,{\mathrm{th}}}$
increases. Since
$\mathcal{D}$
does not vary much for ions with velocities
$\tilde{v}_\|\ll 1$
,
$Q_\perp$
follows the same scalings as
$\mathcal{D}$
at small and large
$\xi _{\rho ,{\mathrm{th}}}$
.
4.3.1. Physical origin of the heating-rate scalings
The reason for this scaling behaviour can be understood by studying the properties of the integrand of the generalised diffusion coefficient
$\mathcal{D}$
(4.10). This is shown in figure 7 for the same values of
$\sigma _{\mathrm{c}}$
as in figure 6 with
$\xi _{\rho ,{\mathrm{th}}}=0.5$
and
$\tilde{v}_\|=0.1$
; we show only
$k_\| \lt 0$
modes, which correspond to the sign of the dispersion relation of the
$\boldsymbol{z}^+$
fluctuations (
$-\omega _{\mathrm{A}}=-k_\|v_{\mathrm{A}}$
). The integrand of
$\mathcal{D}$
represents the contribution that fluctuations with a given
$(k_\perp ,k_\|)$
provide to the heating of ions with parallel velocity
$\tilde{v}_\|$
. The integrand consists of a peak at
$|\tilde{k}_\|^{(1)}| = (1+\tilde{v}_\|)^{-1}$
(approximately
$0.9$
for
$\tilde{v}_\|=0.1$
, red dashed line in figure 7), the resonant parallel wavenumber in the imbalanced limit (4.19), as well as a region of
$\boldsymbol{k}$
-space both above and below the CB cone that is dependent on the broadening of the wavevector–frequency spectrum arising from nonlinear interactions. Because these interactions become less dominant as
$\sigma _{\mathrm{c}}$
is increased, the width of the broadening decreases and the integrand becomes increasingly sharply peaked around
$\tilde{k}_\|^{(1)}$
.
Integrand of the generalised diffusion coefficient
$\mathcal{D}$
, (4.10), which therefore shows the contribution of fluctuations at a given
$(\tilde{k}_\perp ,\tilde{k}_\|)$
to the overall heating. Each integrand is normalised to its maximum value and is plotted with
$\xi _{\rho ,{\mathrm{th}}} = 0.5$
,
$\tilde{v}_\|=0.1$
, and
$\sigma _{\mathrm{c}} = (a)\, 0.0$
, (b)
$0.75$
and (c)
$0.999$
. The black line corresponds to the CB cone
$\tilde{k}_\|^{\mathrm{CB}} = \xi _{\rho ,{\mathrm{th}}}\tilde{k}_\perp ^{2/3}$
. The horizontal red dashed line is
$\tilde{k}_\|^{(1)}\approx 0.9$
, the resonant
$k_\|$
with which ions interact in the imbalanced limit defined in (4.19). Note that we are looking at the
$\tilde{k}_\| \lt 0$
modes.

The scaling of
$Q_\perp$
and
$\mathcal{D}$
with
$\xi _{\rho ,{\mathrm{th}}}$
in figure 6 can be intuitively understood by noting that varying
$\xi _{\rho ,{\mathrm{th}}}$
changes the position of the CB cone,
$\tilde{k}_\|^{\mathrm{CB}} = \xi _{\rho ,{\mathrm{th}}}\tilde{k}_\perp ^{2/3}$
, in figure 7. As shown previously in the balanced limit (§ 4.2), the region below the CB cone contributes a term to
$\mathcal{D}$
proportional to
$\xi _{\rho ,{\mathrm{th}}}^3$
; similarly, the region above the cone contributes to the
$\xi _{\rho ,{\mathrm{th}}}^6$
scaling in both the
$\sigma _{\mathrm{c}}=0$
and
$1$
limits. As
$\xi _{\rho ,{\mathrm{th}}}$
is increased, the cone shifts upwards in figure 7, causing fluctuations with
$\tilde{k}_\|\lt \tilde{k}_\|^{\mathrm{CB}}$
to have a greater contribution to the integral, and leading to the
$\xi _{\rho ,{\mathrm{th}}}^3$
scaling in (4.28) and (4.22). Similarly, the region above the cone becomes the dominant contribution as
$\xi _{\rho ,{\mathrm{th}}}$
is decreased and the cone shifts downwards, leading to the
$\xi _{\rho ,{\mathrm{th}}}^6$
scaling. Because the width of the broadening function decreases with increasing
$\sigma _{\mathrm{c}}$
, a larger value of
$\xi _{\rho ,{\mathrm{th}}}$
is required so that the region below the cone can contribute to the integral. This leads to the transition to a
$\xi _{\rho ,{\mathrm{th}}}^3$
scaling at larger values of
$\xi _{\rho ,{\mathrm{th}}}$
for highly imbalanced turbulence, as seen in figure 6.
Figure 7 also illustrates the suppression of
$Q_\perp$
that arises when only modes below the CB cone are included. This suppression depends on the contribution from the tails of the Fourier transform of the temporal correlation function, which – at fixed imbalance – becomes increasingly small as
$\xi _{\rho ,{\mathrm{th}}}$
decreases. The imbalance-dependent width of these tails also plays an important role in determining the strength of the suppression: as
$\sigma _{\mathrm{c}}$
increases, the integrand below the cone contributes progressively less to the total heating, since the spectrum becomes more sharply peaked around
$\tilde{k}_\|^{(1)}$
. This leads to the increased suppression seen in both
$\mathcal{D}$
and
$Q_\perp$
in figure 6. It should be emphasised that, although the integral for
$Q_\perp$
in (4.15) includes a Gaussian weighting
$\exp (-\tilde{v}_\|^2/\beta _{\mathrm{i}})$
arising from the assumed Maxwellian distribution, the observed suppression is primarily a consequence of the broadening of the wavevector–frequency spectrum discussed previously, rather than the form of the distribution (see § 4.2.2).
Differential heating rate
${\mathrm{d}} Q_\perp /{\mathrm{d}} v_{\|}$
(4.31), which quantifies the heat given to ions with parallel velocities between
$v_{\|}$
and
$v_{\|}+{\mathrm{d}}v_{\|}$
, calculated using
$\beta _{\mathrm{i}}=0.1$
, and
$\sigma _{\mathrm{c}}= (a)\,0.0$
, (b)
$0.75$
and (c)
$0.999$
. The red dashed lines correspond to where
$|\tilde{v}_{\|}|=v_{\mathrm{th}, \textrm{i}}/v_{\mathrm{A}}=\sqrt {\beta _{\mathrm{i}}}$
. These plots are normalised to the maximum value in the balanced case in panel (a).

4.3.2. Differential heating rate
${\mathrm{d}}^{\!}Q_\perp /{\mathrm{d}} v_\|$
An additional metric of ion heating is the differential heating rate
${\mathrm{d}} Q_\perp /{\mathrm{d}} v_\|$
, which quantifies the heat given to ions with parallel velocities between
$v_\|$
and
$v_\|+{\mathrm{d}}v_\|$
. This can be calculated from (4.15) where, after setting the upper integral limit to
$\tilde{v}_\|$
, we have
\begin{equation} \frac {1}{\varOmega _{\mathrm{i}}v_{\mathrm{th}, \textrm{i}}^3}\frac {{\mathrm{d}} Q_\perp }{{\mathrm{d}} v_\|}(\tilde{v}_\|) = \sqrt {\frac {4}{\pi }}e^{-\tilde{v}_\|^2/\beta _{\mathrm{i}}}(1+\sigma _{\mathrm{c}}\tilde{v}_\|)\mathcal{D}(\tilde{v}_\|). \end{equation}
Figure 8 plots (4.31) as a function of
$\tilde{v}_\|$
and
$\xi _{\rho ,{\mathrm{th}}}$
for
$\beta _{\mathrm{i}}=0.1$
, and
$\sigma _{\mathrm{c}}=0.0$
,
$0.75$
and
$0.999$
. All cases show increased heating at larger
$\xi _{\rho ,{\mathrm{th}}}$
for ions with
$|v_\||\lesssim v_{\mathrm{th}, \textrm{i}}$
(corresponding to a
$\xi _{\rho ,{\mathrm{th}}}^3$
scaling). In the balanced case (figure 8
a),
${\mathrm{d}} Q_\perp /{\mathrm{d}} v_\|$
is symmetric around
$v_\|=0$
due to the presence of equal populations of
$\boldsymbol{z}^\pm$
fluctuations, with a moderate peak at
$|v_\||\sim v_{\mathrm{th}, \textrm{i}}$
for small
$\xi _{\rho ,{\mathrm{th}}}$
and at
$|v_\||\sim 0$
for large
$\xi _{\rho ,{\mathrm{th}}}$
. This symmetry is broken as
$\sigma _{\mathrm{c}}$
increases, with the peak at large
$\xi _{\rho ,{\mathrm{th}}}$
shifting slightly to positive
$v_\|$
; as the amplitude of
$\boldsymbol{z}^-$
fluctuations decrease, ions with
$v_\| \lt 0$
are heated less. This transition occurs slowly with increasing imbalance and only becomes starkly apparent when
$\sigma _{\mathrm{c}}\gtrsim 0.9$
, as seen in figure 8(c). The tail at
$\xi _{\rho ,{\mathrm{th}}}\ll 1$
is sharply cut off for particles with
$\tilde{v}_\| \lt 0$
; the remaining heating for
$\tilde{v}_\| \lt 0$
particles at
$\xi _{\rho ,{\mathrm{th}}}\sim 1$
arises from the fact that, although the peak of the correlation function at
$|\tilde{k}_\|^{(1)}| \gt 1$
is outside the spectrum domain in (3.13), the finite width of the temporal correlation function allows for a contribution from modes with
$|\tilde{k}_\|| \lt 1$
. This contribution disappears completely in the limit
$\sigma _{\mathrm{c}}\to 1$
as the temporal correlation function approaches a delta function (cf. (4.22)).
4.4. Numerical evolution of the distribution function
The expression (4.15) for the heating rate
$Q_\perp$
used previously calculates the instantaneous heating of a Maxwellian distribution, as noted in § 4.1.1. Because of this, it does not directly reveal the velocity-space structure of the distribution function as it evolves away from its initial state. To illustrate the physical mechanisms embodied in the diffusion coefficients (4.4), we now numerically evolve
$f_0$
according to the quasi-linear diffusion equation, (2.5), showing that these coefficients reproduce velocity-space signatures of stochastic heating in the balanced case and cyclotron-resonant heating in the imbalanced case.
The distribution function is evolved in time using the method presented by Isenberg & Vasquez (Reference Isenberg and Vasquez2019), where
$f_0$
is discretised on a grid in (
$\tilde{v}_\|,\tilde{v}_\perp$
)-space and (2.5) is advanced using a fully implicit flux-conservative scheme. The grid in
$\tilde{v}_\perp$
is staggered by half a gridcell to avoid division by zero at
$\tilde{v}_\perp =0$
, with reflecting boundary conditions used; absorbing boundaries are used at all other grid edges. Figure 9 shows the evolution of
$f_0$
using this method, with
$\beta _{\mathrm{i}} = 0.1$
,
$\xi _{\rho ,{\mathrm{th}}} = 0.5$
, and
$\sigma _{\mathrm{c}}=0$
,
$0.75$
and
$0.999$
. A grid of resolution
$1000\times 500$
, sufficient to resolve the diffusion in all cases, is used in
$(\tilde{v}_\|,\tilde{v}_\perp )$
-space. To ensure the grid boundaries minimally affect the evolution of
$f_0$
, the grid extends between
$-15v_{\mathrm{th}, \textrm{i}}/v_{\mathrm{A}} \leqslant \tilde{v}_\| \leqslant 15 v_{\mathrm{th}, \textrm{i}}/v_{\mathrm{A}}$
and
$0 \lt \tilde{v}_\perp \leqslant 15v_{\mathrm{th}, \textrm{i}}/v_{\mathrm{A}}$
(where
$v_{\mathrm{th}, \textrm{i}}/v_{\mathrm{A}} = \sqrt {\beta _{\mathrm{i}}} \approx 0.316$
); this choice conserves the number of particles in the distribution for all cases.
The top row of figure 9 shows the structure of
$f_0$
after a (gyrofrequency-normalised) time
$\varOmega _{\mathrm{i}} t= 4$
. The balanced case shows that the distribution has been preferentially heated in the perpendicular direction, although some parallel heating has also occurred. Additionally, the distribution is approximately flat for
$|v_\||\approx 0$
and
$v_\perp \lt v_{\mathrm{th}\perp , \mathrm{i}}$
(the perpendicular thermal velocity of the distribution, shown by the red dashed line in figure 9). This strong perpendicular heating and ‘flat-topped’ distribution is a hallmark signature of stochastic heating (Klein & Chandran Reference Klein and Chandran2016; Cerri et al. Reference Cerri, Arzamasskiy and Kunz2021; Johnston et al. Reference Johnston, Squire and Meyrand2025; Zhang et al. Reference Zhang, Kunz, Squire and Klein2025). This further demonstrates that the diffusion coefficients derived in this work can reproduce stochastic-heating-like behaviour in the balanced case, connecting the quasi-linear framework to these prior results.
The symmetric evolution of
$f_0$
about
$\tilde{v}_\|=0$
in the balanced case follows from the symmetry of the diffusion coefficients (4.4) in
$\tilde{v}_\|$
when
$\sigma _{\mathrm{c}} = 0$
. As the turbulence’s imbalance increases, the structure of the diffusion coefficients becomes increasingly asymmetric, as does the evolution of
$f_0$
, shown in the highly imbalanced (
$\sigma _{\mathrm{c}} = 0.999$
) case in figure 9. Due to the sharp form of the generalised diffusion coefficient
$\mathcal{D}$
(as seen in figure 7
c), the evolution of
$f_0$
resembles that due to the wave–particle resonance predicted by quasi-linear theory: the distribution flattens along contours of constant energy in the frame of the
$\boldsymbol{z}^+$
fluctuations, which are circles centred on
$v_\| = -v_{\mathrm{A}}$
(
$\tilde{v}_\|=-1$
). Only ions with
$\tilde{v}_\| \gtrsim 0$
are able to diffuse, as discussed in § 4.2.1. In contrast to the
$\sigma _{\mathrm{c}}=0.999$
case, the sharp features in
$f_0$
are smoothed out in modest (
$\sigma _{\mathrm{c}}=0.75$
) imbalance, which follows from the broadening of the sharp resonant structures in the diffusion coefficients.Footnote
8
The full evolution of
$f_0$
at intervals of
$\varOmega _{\mathrm{i}} t = 1$
up to
$\varOmega _{\mathrm{i}} t = 10$
is shown in the bottom row of figure 9, with contours enclosing 90 % of the distribution at each time; the imbalance-dependent features and heating discussed previously at
$\varOmega _{\mathrm{i}} t = 4$
remain qualitatively unchanged throughout. While the numerical method is capable of evolving
$f_0$
to arbitrarily long times, the restriction to
$\varOmega _{\mathrm{i}} t = 10$
here is sufficient to demonstrate the general evolution of
$f_0$
using the diffusion coefficients (4.4).
Distribution function
$f_0$
numerically evolved from an initial Maxwellian using the diffusion coefficients (4.4) in the diffusion equation (2.5), with
$\beta _{\mathrm{i}}=0.1$
,
$\xi _{\rho ,{\mathrm{th}}}=0.5$
and
$\sigma _{\mathrm{c}}=0.0$
(left column),
$0.75$
(middle column) and
$0.999$
(right column). Top row: snapshots of
$f_0$
at time
$\varOmega _{\mathrm{i}} t = 4$
, showing their evolved structure. The distribution functions are normalised to their maximum value, with contours of the initial Maxwellian shown in grey. The red dashed line in the
$\sigma _{\mathrm{c}}=0.0$
case represents the current perpendicular thermal velocity
$v_{\mathrm{th}\perp , \mathrm{i}}$
of
$f_0$
, and the dotted lines in the
$\sigma _{\mathrm{c}}=0.999$
case represent contours of constant energy in the frame of the
$\boldsymbol{z}^+$
fluctuations, which are circles centred on
$\tilde{v}_\|=-1$
. Bottom row: evolution of
$f_0$
up to time
$\varOmega _{\mathrm{i}} t = 10$
, with contours enclosing 90 % of the distribution shown at intervals of
$\varOmega _{\mathrm{i}} t=1$
. As the imbalance increases,
$f_0$
becomes asymmetric around
$\tilde{v}_\|=0$
(dashed lines).

5. Summary and discussion
In this work, we analytically calculate the perpendicular heating rate
$Q_\perp$
of ions interacting with critically balanced RMHD turbulence with different levels of imbalance. This is achieved using the framework of quasi-linear theory to describe the ions’ interactions with small-amplitude electromagnetic fluctuations as a diffusion of the ion distribution function in velocity-space. This diffusion depends on the wavevector–frequency spectrum of the turbulence, whose nonlinear broadening (due to interactions between Alfvénic fluctuations) depends on the imbalance. Generalising previous arguments of Schekochihin (Reference Schekochihin2022), supplemented with a suite of numerical simulations (presented in Appendix A), we develop a model wavevector–frequency spectrum of RMHD turbulence as a function of imbalance. This spectrum is used in the quasi-linear diffusion coefficients, after various simplifications, to predict the turbulent heating rate as a function of turbulence and imbalance.
We show that the heating rate has the general form
with an imbalance-dependent suppression factor
$F(\xi _{\rho ,{\mathrm{th}}};\sigma _{\mathrm{c}})$
that goes to zero as
$\xi _{\rho ,{\mathrm{th}}}\to 0$
. Using an analytical calculation, taking into account only the interaction of ions with strong fluctuations below the CB cone, the heating rate in balanced turbulence is shown to have the form
where
$\hat {c}_1 = 3C/\pi$
and
$\hat {c}_2 = \pi / (2 C)$
with
$C$
an order-unity turbulence constant used in the normalisation of the spectrum (cf. §§ 3.2.1 and 4.2.2). The form of (5.2) is similar to the exponential suppression commonly used in the phenomenology of stochastic heating (1.3); a similar suppression is observed in the imbalanced limit, with a sharper cutoff due to the requirement of ions resonating with a single mode. The fact that we see this general form for
$Q_\perp$
in a quasi-linear calculation and that stochastic-heating-like behaviour is obtained in the balanced case, illustrates the connection between stochastic heating and cyclotron-resonant heating through the general form of the wavevector–frequency spectrum of the turbulence.
Similar ideas were discussed and studied numerically in recent work by Johnston et al. (Reference Johnston, Squire and Meyrand2025), who used high-resolution numerical simulations to study the heating of a distribution of ions interacting with strong low-
$\beta _{\mathrm{i}}$
turbulence and showed that their measured ion heating rate is of the general form (5.1) regardless of whether the turbulence is balanced or imbalanced. The results of the work in this paper provide an analytical complement to these simulations by demonstrating in detail how this suppression arises through the properties of the wavevector–frequency spectrum with which the ions interact, as well as showing that standard quasi-linear theory is able to recover a stochastic-heating-like process. We note that the results are not exactly consistent, with the analytic calculations of
$Q_\perp$
in figure 6 showing a modest dependence on imbalance, whereas the measurements of Johnston et al. (Reference Johnston, Squire and Meyrand2025) show a more universal form independent of imbalance. This may be because the dependence of
$Q_\perp$
on imbalance is relatively minor and therefore difficult to measure well in simulations. Despite this distinction, the qualitative behaviour of the heating remains broadly consistent across both the analytic calculations and simulation measurements.
The ideas presented in this paper are also complementary to recent work by Mallet et al. (Reference Mallet, Klein, Chandran, Ervin and Bowen2026), who studied the interactions of ions with coherent electromagnetic fluctuations and also showed that the predicted heating rate exhibits an exponential suppression factor of the form
$e^{-1/\eta }$
, where
$\eta \sim \tau \varOmega _{\mathrm{i}}$
and
$\tau$
is a characteristic time scale of the fluctuation. The suppression (5.1) seen in this work arises similarly from the temporal correlations of the turbulence fluctuations rather than the details of the ion velocity distribution (as shown by the presence of the suppression in the general diffusion coefficient
$\mathcal{D}$
; figure 6), showing that it is a result of the properties of the turbulence and its interaction with ions.
5.1. Approximations and outlook
To ensure that we model the interaction of ions with purely Alfvénic fluctuations, the two-dimensional RMHD energy spectrum
$\mathcal{E}_{\mathrm{2D}}$
(3.13) incorporates two key simplifying assumptions. The first is that the spectrum is cut off at
$k_\perp \rho _{\mathrm{i}} \gt 1$
, which follows from the assumption that heating is dominated by fluctuations with
$k_\perp \rho _{\mathrm{i}} \lesssim 1$
, which is justified because
$k_\perp \rho _{\mathrm{i}}\gtrsim 1$
fluctuations are averaged out over particle orbits (Chandran Reference Chandran2000). Although kinetic-Alfvén wave fluctuations at
$k_\perp \rho _{\mathrm{i}} \geqslant 1$
may play a role in heating (Arzamasskiy et al. Reference Arzamasskiy, Kunz, Chandran and Quataert2019; Isenberg & Vasquez Reference Isenberg and Vasquez2019), their overall contribution is small in the context of our model, as explored in Appendix C.
The second is a cutoff at
$|k_\| d_{\mathrm{i}}| \gt 1$
, where
$d_{\mathrm{i}} = v_{\mathrm{A}}/\varOmega _{\mathrm{i}}$
is the ion inertial length. By assuming that ion heating is dominated by Alfvénic fluctuations, this choice neglects the transition from Alfvén to ICWs as
$k_\|$
approaches
$d_{\mathrm{i}}^{-1}$
and their frequency approaches
$\varOmega _{\mathrm{i}}$
, effectively meaning that the dispersion relation of the fluctuations remains Alfvénic (
$\omega _{\mathrm{A}} = k_\|v_{\mathrm{A}} \lt \varOmega _{\mathrm{i}}$
) up to this limit. In the imbalanced limit, where the wavevector–frequency spectrum is sharply peaked around the linear dispersion relation of the fluctuations, this approximation is less well justified for protons because, due to the difference in their dispersion relation, the resonant wavenumbers of ICWs and Alfvénic fluctuations with which ions interact differ; in Appendix E, we argue that the effect of this approximation is less than might naively be expected due to critical balance. Despite this, this model is likely accurate for describing the heating of minor ions with mass
$A m_{\mathrm{p}} \gt m_{\mathrm{p}}$
, charge
$Z e$
and gyrofrequency
$\varOmega _{\mathrm{i}} = (Z/A)\varOmega _{\mathrm{p}} \lt \varOmega _{\mathrm{p}}$
(and thus
$d_{\mathrm{i}} \gt d_{\mathrm{p}}$
, where
$d_{\mathrm{p}}$
is the proton inertial length), as their smaller gyrofrequency allows them to interact with the Alfvénic branch of the ICW dispersion relation.
An interesting result arising from the heating rate calculations is the prediction that, in addition to heating from fluctuations below the CB cone, ions are also heated through interactions with weak (wave-like) fluctuations above it at
$|k_\| d_{\mathrm{i}}| \lesssim 1$
. Such fluctuations naturally occur in CB turbulence due to the continuity of the spectrum across the CB cone and the thermal spectrum at low
$k_\perp$
. In figure 6, this heating manifests as a steep
$\xi _{\rho ,{\mathrm{th}}}^6$
scaling at small
$\xi _{\rho ,{\mathrm{th}}}$
in the heating rate across all levels of imbalance (although the exact exponent of
$\xi _{\rho ,{\mathrm{th}}}$
depends on the
$k_\|$
spectrum; see (3.13)).Footnote
9
Because our model neglects the transition to ICWs – which modifies both the spectrum and resonance structure near
$k_\| d_{\mathrm{p}}\sim 1$
(Squire et al. Reference Squire, Meyrand, Kunz, Arzamasskiy, Schekochihin and Quataert2022, Reference Squire, Meyrand and Kunz2023; Zhang et al. Reference Zhang, Kunz, Squire and Klein2025) – this scaling with
$\xi _{\rho ,{\mathrm{th}}}$
may be modified for protons; however, it may be valid for minor ions interacting with lower-frequency Alfvénic fluctuations due to their smaller gyrofrequency. Regardless, the presence of heating above the CB cone may be a generic feature even if the detailed properties of the spectrum differ; hybrid-kinetic simulations that include
$d_{\mathrm{i}}$
-scale physics are required to verify this effect.
We note that the form of the heating rate in this work, (4.14), assumes that the ions are in an initially isotropic Maxwellian distribution. This was chosen for simplicity, but does not reflect more complicated velocity distributions that are observed. However, given a functional form of the distribution, the heating rate can be similarly calculated (either analytically or numerically as done in § 4.4) using the framework in this paper; further work would be needed to investigate how this would modify these results.
5.1.1. Imbalanced turbulence and the helicity barrier
RMHD is well-suited for describing large-amplitude Alfvénic turbulent fluctuations relevant to ion heating as discussed in this work. However, it excludes key sub-
$\rho _{\mathrm{i}}$
physics and, in particular, the helicity barrier: a mechanism that plays a key role in imbalanced, low-
$\beta _{\mathrm{i}}$
turbulence (Meyrand et al. Reference Meyrand, Squire, Schekochihin and Dorland2021; Squire et al. Reference Squire, Meyrand, Kunz, Arzamasskiy, Schekochihin and Quataert2022, Reference Squire, Meyrand and Kunz2023; Adkins, Meyrand & Squire et al. Reference Adkins, Meyrand and Squire2024, Reference Adkins, Meyrand and Squire2025; Johnston et al. Reference Johnston, Squire and Meyrand2025). The helicity barrier arises due to the failure of the conservation of a gyrokinetic ‘generalised helicity’ at perpendicular scales above and below
$\rho _{\mathrm{i}}$
in imbalanced turbulence (Schekochihin, Kawazura & Barnes Reference Schekochihin, Kawazura and Barnes2019; Meyrand et al. Reference Meyrand, Squire, Schekochihin and Dorland2021), which prevents turbulent energy from cascading to small perpendicular scales through
$\rho _{\mathrm{i}}$
, trapping it at scales such that
$k_\perp \rho _{\mathrm{i}}\lesssim 1$
, resulting in a decrease in the energy of
$\rho _{\mathrm{i}}$
-scale fluctuations. The helicity barrier is well-supported observationally within the solar wind, manifesting as a steep ‘transition range’ drop in measured energy spectra (Leamon et al. Reference Leamon, Smith, Ness, Matthaeus and Wong1998; Bowen et al. Reference Bowen2020a
) as well as in other features (Bowen et al. Reference Bowen2022, Reference Bowen2024; McIntyre et al. Reference McIntyre, Chen, Squire, Meyrand and Simon2025).
Using simulations of a reduced gyrokinetic model able to capture the effects of the helicity barrier, Johnston et al. (Reference Johnston, Squire and Meyrand2025) showed that the heating of ions is unaffected by the barrier, despite the drop in energy of turbulent fluctuations at
$k_\perp \rho _{\mathrm{i}}\sim 1$
scales. This is because ions are most efficiently heated by fluctuations whose frequencies approach
$\varOmega _{\mathrm{i}}$
, which occurs at scales
$\lambda \sim \rho _{\mathrm{i}}$
in balanced turbulence and shifts to
$\lambda \gt \rho _{\mathrm{i}}$
in the presence of a helicity barrier (Johnston et al. Reference Johnston, Squire and Meyrand2025). Since the blocked cascade accumulates more power at these larger scales than at
$\rho _{\mathrm{i}}$
-scales, the ion heating rate is maintained.
The effect of the helicity barrier on ion heating can be captured in the quasi-linear framework used in this paper by shifting the cutoff in the 2-D wavevector energy spectrum
$\mathcal{E}_{\mathrm{2D}}$
to perpendicular scales
$\lambda \gt \rho _{\mathrm{i}}$
(i.e. by changing the cutoff from
$\tilde{k}_\perp \gt 1$
to
$\tilde{k}_\perp \gt \rho _{\mathrm{i}}/\lambda$
in (3.13)), where the value of
$\lambda$
can be measured from simulations of the helicity barrier. Because the fluctuations that ions interact with at this scale contain more power than those at
$\rho _{\mathrm{i}}$
, the heating rate will be increased compared with the predictions in § 4.3 of imbalanced RMHD without a helicity barrier. Although this cutoff provides a good approximation to the helicity barrier for
$k_\perp \rho _{\mathrm{i}} \lesssim 1$
fluctuations, the corresponding modification for the spectrum at
$k_\perp \rho _{\mathrm{i}}\gtrsim 1$
(as would be needed in the calculations of Appendix C) is not clear.
5.1.2. Future work
Recent work has shown that intermittency – the heavy-tailed distribution of fluctuation amplitudes intrinsic to turbulence – can significantly affect the efficiency of perpendicular ion heating (Mallet et al. Reference Mallet, Klein, Chandran, Grošelj, Hoppock, Bowen, Salem and Bale2019; Cerri et al. Reference Cerri, Arzamasskiy and Kunz2021; Bowen et al. Reference Bowen, Ervin, Mallet, Chandran, Sioulas, Isenberg, Bale, Squire, Klein and Pezzi2025). Since our formalism relies on the wavevector–frequency spectrum of the turbulence, it does not directly capture such effects; extending it to account for intermittency remains an important direction for future work.
We note that the quasi-linear framework employed in this work assumes that cyclotron-resonant heating dominates in imbalanced turbulence, with ions directly resonating with the sharply peaked wavevector–frequency spectrum of the fluctuations. However, non-resonant heating of ions from wave-like fluctuations is also possible, given sufficiently large wave amplitude (Chen et al. Reference Chen, Lin and White2001; Johnson & Cheng Reference Johnson and Cheng2001). This mechanism cannot be captured using quasi-linear theory as it involves higher-order nonlinear interactions beyond the quadratic products retained in quasi-linear theory (see § 2 and Appendix B). Detailed comparisons between quasi-linear theory predictions and idealised single-wave simulations could help quantify these effects.
An interesting direction for future work is to investigate how ion heating is modified in the presence of purely weak turbulence, rather than in addition to strong turbulence as in this work. In weak turbulence, the wavevector–frequency spectrum is sharply peaked around the linear dispersion relation, even in the balanced limit (in contrast to the broadened spectrum of strong turbulence), reflecting the wave-like nature of its fluctuations (Meyrand, Galtier & Kiyani Reference Meyrand, Galtier and Kiyani2016). Our results predict cyclotron-resonant heating would dominate in this case for all
$\sigma _{\mathrm{c}}$
. Exploring this regime by, for example, comparing heating in weak and strong turbulence with similar
$\xi _{\rho ,{\mathrm{th}}}$
could therefore help to further disentangle the difference between stochastic heating and cyclotron-resonant heating.
While this work has focused primarily on the theoretical aspects of ion heating in turbulent plasmas, its predictions can be connected to space and astrophysical observations. Observations indicate that turbulent ion heating in the solar corona and wind is likely driven by a combination of stochastic heating (Bourouaine & Chandran Reference Bourouaine and Chandran2013; Klein & Chandran Reference Klein and Chandran2016; Vech, Klein & Kasper Reference Vech, Klein and Kasper2017; Martinović et al. Reference Martinović, Klein and Bourouaine2019, Reference Martinović, Klein and Bourouaine2020) and cyclotron-resonant heating by ICWs (Kasper et al. Reference Kasper, Maruca, Stevens and Zaslavsky2013; Bale et al. Reference Bale2019; Bowen et al. Reference Bowen, Ervin, Mallet, Chandran, Sioulas, Isenberg, Bale, Squire, Klein and Pezzi2020b
, Reference Bowen2022, Reference Bowen2024). The heating rates associated with these mechanisms can be directly inferred from spacecraft measurements – for example, Bowen et al. (Reference Bowen, Ervin, Mallet, Chandran, Sioulas, Isenberg, Bale, Squire, Klein and Pezzi2025) explicitly quantify both the ICW- and stochastic-heating rates of ions in Parker Solar Probe data. Extending such analyses across a wider range of plasma conditions (varying imbalance
$\sigma _{\mathrm{c}}$
, plasma beta
$\beta _{\mathrm{i}}$
, turbulent amplitude
$\xi _{\rho ,{\mathrm{th}}}$
and minor-ion composition) could allow direct tests of the general phenomenological ion-heating formula (5.1).
Acknowledgements
The authors thank T. Bowen, B. D. G. Chandran, M. Kunz, A. Mallet, R. Meyrand and M. Zhang for interesting discussions over the course of this work. High-performance computing resources were provided by the New Zealand eScience Infrastructure (NeSI) under project grant uoo02637.
Editor Dmitri Uzdensky thanks the referees for their advice in evaluating this article.
Funding
Support for Z.J. was provided by a postgraduate publishing bursary from the University of Otago. Support for J.S. was provided by the Royal Society Te Apārangi, through Marsden Fund grant MFP-UOO2221.
Declaration of interests
The authors report no conflict of interest.
Appendix A. Numerical test of 2D RMHD turbulent spectrum model
In § 3.2, we propose a model for the wavevector–frequency spectrum of RMHD turbulence, which includes the effects of imbalance on the spectrum. This model is then used in the quasi-linear diffusion coefficients to calculate the heating rate of ions in RMHD turbulence (§ 4). In this appendix, we test its validity using a series of four RMHD simulations with varying levels of imbalance. The wavevector–frequency spectra from each simulation are examined in detail to assess how well they reproduce the predicted properties. While the results herein provide basic model validation to the level needed for our heating studies, we caution that the diagnostics are not sufficiently stringent to constitute a careful check of different imbalanced turbulence phenomenologies.
We use the pseudospectral code AsteriX (Meyrand et al. Reference Meyrand, Galtier and Kiyani2016; Johnston et al. Reference Johnston, Squire and Meyrand2025), a modified version of the pseudo-spectral code Turbo (Teaca et al. Reference Teaca, Verma, Knaepen and Carati2009), to solve the RMHD equations. These equations are advanced in time with a third-order modified Williamson algorithm (a four-step, low-order Runge–Kutta method; Williamson Reference Williamson1980). To prevent aliasing of information at small-scales, where modes with wavelengths smaller than the grid size are incorrectly interpreted as larger-scale fluctuations, a grid-shifting method is used (Teaca et al. Reference Teaca, Verma, Knaepen and Carati2009).
The simulations have box lengths
$L_\perp =L_z=2\pi$
Footnote
10
and resolution
$N_\perp = N_z = 256$
, and are run for
$30\tau _{{\mathrm{A}}0}$
, where
$\tau _{{\mathrm{A}}0}=L_z/v_{\mathrm{A}}$
is the outer-scale Alfvén time. These simulations are forced with different values of injection imbalance
to generate varying levels of turbulence imbalance. The injection ratio,
was chosen to take the values
$1, 2, 4$
and 8, corresponding to
$\sigma _\varepsilon = 0.0, 0.33, 0.6$
and 0.77. Energy is injected into the Elsasser fields at outer scales
$1 \lt \sqrt {k_\perp ^2 + k^2_z} \lt 3$
at a rate
$\varepsilon \equiv \varepsilon ^++\varepsilon ^- = 0.1 E_0 / \tau _{{\mathrm{A}}0}$
, where
$E_0 = 0.1 v_{\mathrm{A}}^2$
is the initial energy of the fields. The forcing is in the form of negative damping, allowing
$\sigma _\varepsilon$
to be controlled exactly (Meyrand et al. Reference Meyrand, Squire, Schekochihin and Dorland2021). To ensure all simulations have approximately the same energy in the dominant Elsasser field
$\boldsymbol{z}^+$
at steady state, the forcing in the imbalanced cases is reduced by a factor of
$\alpha _\varepsilon ^{2/3}$
compared with the balanced simulation (Schekochihin Reference Schekochihin2022).
Dissipation and normalised cross-helicity versus time from all simulations, with different levels of injection imbalance
$\alpha _\varepsilon$
as listed in the legend. The turbulence reaches approximate steady state when dissipation balances the injection energy, with all simulations reaching this point after
$20\tau _{{\mathrm{A}}0}$
. The grey region represents the period of time over which all statistics are calculated and averaged (denoted by
$\langle \boldsymbol{\cdot }\rangle$
).

Imbalanced turbulence takes longer to reach steady state due to the reduced efficiency of the cascade for the dominant Elsasser field; this is illustrated in figure 10, showing the ratio of energy dissipated near grid scales to that injected at large scales. All simulations reach approximate steady state at
$20\tau _{{\mathrm{A}}0}$
and all statistics are averaged over the remaining
$10\tau _{{\mathrm{A}}0}$
. The evolution of the normalised cross-helicity
$\sigma _{\mathrm{c}}$
is also shown in figure 10, with the simulations reaching steady-state values of
$0.0, 0.59, 0.87$
and 0.96, respectively. Most phenomenological theories of imbalanced turbulence predict that the ratio of Elsasser energies should scale as (Schekochihin Reference Schekochihin2022)
For the RMHD simulations in this appendix, this scaling is confirmed in figure 11 using the time-averaged values of the normalised cross-helicity to calculate
$\alpha$
in (A3).
A.1. Energy spectra
As described in § 3.2.1, the two-dimensional energy spectrum
$\mathcal{E}(k_\perp ,k_\|)$
of a turbulent system measures the energy contained in fluctuations around a given
$k_\perp$
and
$k_\|$
. We calculate the two-dimensional energy spectrum of fluctuations in a manner analogous to this, with the energy of fluctuations summed in two-dimensional
$(k_\perp ,k_z)$
bins.Footnote
11
One-dimensional spectra, such as
$\mathcal{E}(k_\perp )$
, are then obtained via
$\mathcal{E}(k_\perp )=\int _{}^{} {\mathrm{d}} k_z \ \mathcal{E}_{\mathrm{2D}}(k_\perp ,k_z)$
.
Elsasser energy ratio calculated from the time-averaged cross helicity using (A3). Most phenomenological theories of imbalanced turbulence predict that this should scale as
$\propto \alpha _\varepsilon ^2$
(dashed line), which agrees well with our results.

(a) One-dimensional energy spectra of the
$\boldsymbol{z}^+$
(
$\mathcal{E}^+(k_\perp )$
, solid) and
$\boldsymbol{z}^-$
(
$\mathcal{E}^-(k_\perp )$
, dashed) fluctuations, respectively. (b) One-dimensional energy spectra of the electric- (
$\mathcal{E}_{{\boldsymbol{E}}}(k_\perp )$
, solid) and magnetic-field fluctuations (
$\mathcal{E}_{{\boldsymbol{B}}}(k_\perp )$
, dashed).

Two-dimensional spectra of
$\boldsymbol{z}^+$
from the
$\alpha _\varepsilon = (a)\,1$
, (b) 2, (c) 4 and (d) 8 simulations. Blue and red dashed lines correspond to the slices at constant
$k_\perp$
and
$k_z$
used in figure 15, and the black line shows
$k_z \propto k_\perp ^{2/3}$
.

The one-dimensional spectra of the
$\boldsymbol{z}^\pm$
fields, as well as that of the electric- and magnetic-field fluctuations, in each of the simulations are shown in figure 12. The amplitudes of the
$\boldsymbol{z}^+$
fluctuations are approximately equal, showing that, in line with figure 11, our scaling of forcing strength with
$\alpha _\varepsilon ^{2/3}$
works approximately as intended. As they are being forced with increasingly less energy, the amplitudes of the
$\boldsymbol{z}^-$
fluctuations decrease with increasing imbalance. Both fields follow similar scaling with
$k_\perp$
, perhaps closer to a
$k_\perp ^{-3/2}$
dynamic alignment scaling (Boldyrev Reference Boldyrev2006; Beresnyak Reference Beresnyak2011, Reference Beresnyak2012) than the Goldreich & Sridhar (Reference Goldreich and Sridhar1995) scaling of
$k_\perp ^{-5/3}$
, although our resolution is insufficient to make any strong claim. Additionally, because
$\boldsymbol{u}_\perp = (c/B_0)\hat {\boldsymbol{z}}{\times}\boldsymbol{\nabla} _\perp \varphi = (c/B_0){\boldsymbol{E}}{\times}\hat {\boldsymbol{z}}$
in RMHD, the kinetic energy spectrum is identical to that of the electric-field fluctuations up to a factor
$(c/B_0)^2$
; they are equivalent in the code units used in AsteriX. Figure 12 thus shows that there is an approximate equipartition in the normalised kinetic and magnetic energies, regardless of the imbalance of the turbulence.
The model of the two-dimensional spectrum of RMHD turbulence is expected to describe spatiotemporal statistics of
$\boldsymbol{z}^+$
and
$\boldsymbol{z}^-$
fluctuations in balanced turbulence. This has not been well tested, especially the temporal correlations, and theory is even less well understood for imbalanced turbulence. To study how well this model can be applied to describe measured spectra, the two-dimensional energy spectra
$\mathcal{E}^+(k_\perp ,k_z)$
and
$\mathcal{E}^-(k_\perp ,k_z)$
of the
$\boldsymbol{z}^\pm$
fluctuations from all simulations are shown in figures 13 and 14, each normalised to the total energy of the system
$E_{\mathrm{tot}}= E^+ + E^-$
. Up to dissipation scales at around
$k_\perp \approx 50$
, the 2-D spectra of both fluctuations qualitatively agree with the model, with a clear demarcation between turbulence below the CB cone and above. Importantly, the
$\boldsymbol{z}^+$
spectra appear nearly identical for all values of imbalance, which agrees with the propagation CB model (see § 3.1; Lithwick et al. Reference Lithwick, Goldreich and Sridhar2007): the linear and nonlinear frequencies scale as
$v_{\mathrm{A}}/\ell _\|^+\sim \delta z_\lambda / \lambda$
without a strong dependence of
$\ell _\|^+$
on
$\alpha _\varepsilon$
, even though the true nonlinear time scale for the
$\boldsymbol{z}^+$
fluctuations arises from the
$\boldsymbol{z}^-$
fluctuations.
Slices taken through the two-dimensional spectra of
$\boldsymbol{z}^+$
at constant
$k_z$
(left panels) and
$k_\perp$
(right panels), and at low (top panels) and high (bottom panels) values of
$k_z$
and
$k_\perp$
, respectively. Vertical dashed lines correspond to the approximate position of the CB cone,
$\approx k_\perp ^{2/3}$
for the constant-
$k_\perp$
slices and
$\approx k^{3/2}_z$
for the constant-
$k_z$
slices. Note the difference in
$y$
-axis scaling for the
$k_z=2$
slice.

As in figure 15, but for the
$\boldsymbol{z}^-$
fluctuations.

To compare the slopes of these two-dimensional spectra to the model in § 3.2.1, we take slices at
$k_\perp =2,20$
(blue lines in figures 13 and 14) and
$k_z=2,20$
(red lines) in all spectra. These values are chosen to sample as much of the regions above and below the CB cone as possible before dissipative scales (at
$k_\perp \gtrsim 50$
) take over. Slopes for the
$\boldsymbol{z}^+$
fluctuations (figure 15) are nearly consistent across all values of imbalance. Turbulence below the CB cone qualitatively matches the predictions of § 3.2.1, lying somewhere between a
$k_z^0k_\perp ^{-7/3}$
power law (predicted with
$s_{\mathrm{CB}}=2/3$
) and a
$k_z^0k_\perp ^{-2}$
power law (
$s_{\mathrm{CB}}=1/2$
). Above the cone, the turbulence appears to follow the
$k_\perp ^1$
thermal spectrum with energy equally partitioned among all
$k_\perp$
modes; however, it does not quite agree with the predicted
$k_z$
scaling, showing an approximate
$k^{-4}_z$
scaling compared with
$k_z^{-5}$
for
$s_{\mathrm{CB}}=2/3$
(or
$k_z^{-6}$
for
$s_{\mathrm{CB}}=1/2$
). The discrepancy in power-law scalings presented here may be a result of the method by which the spectrum is calculated: the present calculation uses scales parallel to the mean magnetic field rather than to the local magnetic field at similar scales. Additionally, the low resolution of the simulations could also affect the measured results; future work with higher-resolution simulations would be needed to verify these scalings.Footnote
12
The model in § 3.2.1 also appears to describe the
$\boldsymbol{z}^-$
fluctuations below the CB cone reasonably well, with all simulations showing a similar slope slightly shallower than
$-7/3$
in
$k_\perp$
(figure 16). As the imbalance increases, the parallel correlation length of the
$\boldsymbol{z}^-$
fluctuations becomes greater than that of the
$\boldsymbol{z}^+$
fluctuations, consistent with previous numerical and observational evidence (Schekochihin Reference Schekochihin2022); this effect is not included in our model spectrum but is unimportant for ion heating. Additionally, the fact that both the
$\boldsymbol{z}^+$
and
$\boldsymbol{z}^-$
fluctuations show a
$k^0_z$
scaling below the CB cone in all simulations shows that a CB description of the turbulence is valid, regardless of the level of imbalance. However, as seen in figure 14, there is a clear change in the spectrum of the
$\boldsymbol{z}^-$
fluctuations above the CB cone compared with that of the
$\boldsymbol{z}^+$
fluctuations, with the spectrum dropping off dramatically at small
$k_\perp$
or large
$k_z$
for large imbalance, appearing to follow a
$k_z^{-6}k_\perp ^2$
power law. The reason for this change in slope is not yet clear; one possible reason may be that the
$\boldsymbol{z}^-$
fields have not been able to ‘thermalise’ to a
$k_\perp ^{1}$
spectrum for some reason, instead displaying a spectrum closer to the
$k_\perp ^3$
kinematic one (§ 3.2.1; Schekochihin Reference Schekochihin2022). This steepening would also lead to the corresponding steeper slope in
$k_z$
, due to the constraint of continuity along the CB line. Further investigation with high-resolution simulations is needed to verify whether this is a physical or numerical result.
A.2. Wavevector–frequency spectrum
The wavevector–frequency spectrum of the turbulence can be calculated by taking the space-time Fourier transform of the fluctuations. The top row of figure 17 shows the wavevector–frequency spectrum,
for all simulations, where
$\mathcal{E}^{\pm }(k_z, \omega )$
is the
$k_\perp$
-averaged wavevector–frequency spectrum
These wavevector–frequency spectra are calculated in AsteriX by specifying an output cadence (
$\tau _{{\mathrm{A}}0}/50$
for these simulations) and outputting the complex Fourier amplitudes of the
$\boldsymbol{z}^\pm$
fluctuations at every point in the plane containing the
$k_z$
axis and the ray along the direction
$(\hat {\boldsymbol{x}}+\hat {\boldsymbol{y}})/\sqrt {2}$
in the
$k_\perp$
-plane.Footnote
13
The temporal Fourier transform of these coefficients is taken to obtain the wavevector–frequency spectrum, with a Hamming window used to improve resolution.
Top row: the wavevector–frequency spectrum
$\mathcal{E}_{\mathrm{tot}}$
(A4) normalised to its maximum value at each value of
$k_z$
, with
$\alpha _\varepsilon$
increasing from left to right. The dashed lines correspond to zero frequency and the Alfvén dispersion relation
$\omega _{\mathrm{A}} = \pm k_zv_{\mathrm{A}}$
; the blue line is the mean value of
$\omega$
at each value of
$k_z$
. Bottom row: the wavevector–frequency spectrum
$\mathcal{E}^-$
of the
$\boldsymbol{z}^-$
fluctuations normalised to its maximum value at each value of
$k_z$
, with
$\alpha _\varepsilon$
increasing from left to right. Frequencies in all plots are normalised to the outer scale Alfvén frequency
$\omega _{\mathrm{ A0}}=v_{\mathrm{A}}/L_z$
.

As the imbalance increases, the centre of the band moves increasingly closer to the dispersion relation of the
$\boldsymbol{z}^+$
fluctuations (
$\omega _{\mathrm{A}}=-k_zv_{\mathrm{A}}$
) as they become energetically dominant. The centre of the band (blue line), calculated from the mean value of
$\omega$
at each value of
$k_z$
, follows
$\omega \approx -\langle \sigma _{\mathrm{c}}\rangle k_zv_{\mathrm{A}}$
for each simulation. This result is not obvious, and follows from the behaviour of the
$\boldsymbol{z}^-$
fluctuations as the imbalance grows. The bottom row of figure 17 shows the
$\mathcal{E}^-$
component of the total wavevector–frequency spectrum which, instead of peaking around
$\omega = k_zv_{\mathrm{A}}$
, shifts to near the peak of the
$\boldsymbol{z}^+$
fluctuations. This effect, often termed anomalous coherence (Lithwick et al. Reference Lithwick, Goldreich and Sridhar2007; Lugones et al. Reference Lugones, Dmitruk, Mininni, Wan and Matthaeus2016, Reference Lugones, Dmitruk, Mininni, Pouquet and Matthaeus2019; Schekochihin Reference Schekochihin2022; Meyrand et al. Reference Meyrand, Squire, Mallet and Chandran2025), is a result of the weaker
$\boldsymbol{z}^-$
fluctuations being swept up by the stronger
$\boldsymbol{z}^+$
fluctuations, allowing
$\boldsymbol{z}^-$
to stay coherent with
$\boldsymbol{z}^+$
(as described by propagation CB; Beresnyak & Lazarian Reference Beresnyak and Lazarian2008). The origin of the peak in the total wavevector–frequency spectrum of the
$\alpha _\varepsilon =2$
simulation around
$\omega = -k_zv_{\mathrm{A}}$
remains unclear; longer simulations are likely needed for better statistics.
(a) Widths
$\Delta \omega$
of the bands in the
$k_\perp$
-averaged wavevector–frequency spectrum (figure 17) relative to the Alfvén frequency
$\omega _{\mathrm{A}}=k_zv_{\mathrm{A}}$
. These scale approximately between
$k^{-1/4}_z$
and
$k^{-1/2}_z$
. (b) Average value of the ratio of
$\omega _{\mathrm{rms}}$
for each simulation to that of the
$\alpha _\varepsilon =1$
simulation.

Additionally, we see that the nonlinear broadening (or width) of the wavevector–frequency spectrum decreases with increasing imbalance as the
$\boldsymbol{z}^+$
fluctuations become energetically dominant. In the limit of complete imbalance (
$\sigma _{\mathrm{c}}\to 1$
), the wavevector–frequency spectrum would become a delta function
$\delta (\omega + k_zv_{\mathrm{A}})$
. As discussed in § 3.1.2, this imbalance-dependent transition is argued to be important in controlling the heating mechanism of ions. The width
$\Delta \omega$
of the distribution
$\mathcal{E}_{\mathrm{tot}}$
can be quantified by the r.m.s. value of
$\omega$
relative to the mean at each value of
$k_z$
in figure 17. The dependence of
$\Delta \omega$
on
$k_z$
, relative to the linear frequency
$\omega _{\mathrm{A}} = k_zv_{\mathrm{A}}$
, is shown in figure 18(a). These scale between
$\Delta \omega /\omega _{\mathrm{A}} \propto k^{-1/4}_z$
and
$\propto k^{-1/2}_z$
, increasing in steepness with
$\alpha _\varepsilon$
. This is surprising, as a simple estimate using CB predicts that
$\Delta \omega / \omega _{\mathrm{A}}$
is independent of
$k_z$
:
with the ratio
$\delta z^+/\delta z^-$
assumed to be independent of scale. Figure 18(b) shows the ratio of
$\Delta \omega$
relative to that of the
$\alpha _\varepsilon =1$
simulation, averaged over
$k_z$
, suggesting a decrease in width with
$\alpha$
broadly consistent with a scaling between
$\alpha ^{-1/4}$
and
$\alpha ^{-1/2}$
. The differences between the measured scalings and expectations may be due to the fact that the amplitudes of the
$\boldsymbol{z}^+$
fluctuations are not truly constant across the simulations, with figure 12 showing that the imbalanced simulations have a slightly higher amplitude compared to the balanced case. A detailed verification of the scalings in (A6) may require higher resolution simulations, with care taken to ensure the amplitudes of the
$\boldsymbol{z}^+$
fluctuations are as constant as possible when varying imbalance.
Slices at
$k_\perp =50$
and increasing values of
$k_z$
(from 1 to 41 in steps of 10) from the
$\alpha _\varepsilon = (a)\, 1$
, (b) 2, (c) 4 and (d) 8 wavevector–frequency spectra
$\mathcal{E}_{\mathrm{ tot}}(k_\perp ,k_z,\omega )$
. Frequencies are normalised to the outer scale Alfvén frequency
$\omega _{\mathrm{A0}}=v_{\mathrm{A}}/L_z$
.

Figures 19 and 20 show slices through the full
$\mathcal{E}_{\mathrm{tot}}(k_\perp ,k_z,\omega )$
wavevector–frequency spectrum at
$k_\perp =50$
and
$k_z = 10$
, respectively. The slices at
$k_\perp =50$
(figure 19) reflect the reduction of the nonlinear broadening with increasing imbalance seen in figure 17, as well as the shift in the peak towards the
$\boldsymbol{z}^+$
dispersion relation (
$\omega _{\mathrm{A}}=-k_zv_{\mathrm{A}}$
) for each value of
$k_z$
. The amplitude of the wavevector–frequency spectrum also stays approximately constant (reflecting the region of the turbulence spectrum
$\propto k^0_z$
, where
$\tau _{\mathrm{A}}\gg \tau _{\mathrm{nl}}$
) until it rises above the CB threshold, where it begins to decrease.
The slices at
$k_z=10$
(figure 20) explicitly show how the
$\boldsymbol{z}^+$
fluctuations dominate over the
$\boldsymbol{z}^-$
fluctuations with increasing imbalance. In the region above the CB cone, where the width of the broadening is less than
$\omega _{\mathrm{nl}}$
, the
$\boldsymbol{z}^\pm$
fluctuations show up in the wavevector–frequency spectrum as strongly-peaked regions centred on
$\omega _{\mathrm{A}}/v_{\mathrm{A}} = \pm k_z = \pm 10$
. As the imbalance increases, the
$\boldsymbol{z}^-$
peak (at
$\omega _{\mathrm{A}}/v_{\mathrm{A}}= 10$
) becomes increasingly subdominant and disappears almost entirely at large values of
$\sigma _{\mathrm{c}}$
. The amplitude of these peaks increases as we get closer to the CB threshold, beyond which it reaches the region inside the CB cone where
$\tau _{\mathrm{A}}\gg \tau _{\mathrm{nl}}$
; here, the peaks broaden and their amplitude decreases (in accord with the
$k_\perp ^{-7/3}$
scaling of the energy spectrum in this regime); in this region of strong turbulence, there are also no signs of any peaks at the Alfvénic dispersion relation in
$\boldsymbol{z}^+$
or
$\boldsymbol{z}^-$
. As in figure 19, the width of the nonlinear broadening decreases with increasing imbalance.
Slices at
$k_z=10$
and increasing values of
$k_\perp$
(from 1 to 101 in steps of 20) from the
$\alpha _\varepsilon =(a)\, 1$
, (b) 2, (c) 4 and (d) 8 wavevector–frequency spectra
$\mathcal{E}_{\mathrm{ tot}}(k_\perp ,k_z,\omega )$
. Dashed vertical lines at
$\omega _{\mathrm{A}}/\omega _{\mathrm{A0}}=\pm 10$
correspond to the Alfvén wave dispersion relation at this value of
$k_z$
. Frequencies are normalised to the outer scale Alfvén frequency
$\omega _{\mathrm{A0}}=v_{\mathrm{A}}/L_z$
.

Overall, these diagnostics justify the core assumptions of our imbalanced turbulence model. However, higher resolution simulations run for longer would be valuable to assess subtler features of the imbalanced phenomenology and to understand the minor discrepancies found previously.
Appendix B. Derivation of quasi-linear diffusion coefficients in
$(v_\perp ,v_{\|})$
coordinates for general electromagnetic fields
In this appendix, we derive the diffusion coefficients that form the basis for the calculations presented in §§ 2.1 and 4. Several related formulations have appeared previously – most commonly in the context of pitch-angle scattering for cosmic ray applications (e.g. Schlickeiser & Achatz Reference Schlickeiser and Achatz1993; Chandran Reference Chandran2000) – but a derivation of the general diffusion coefficients in
$(v_\perp ,v_\|)$
coordinates appears to have been presented only recently by Schlickeiser & Yoon (Reference Schlickeiser and Yoon2022) (who give a more general treatment of the approach outlined later) and by Brizard & Chan (Reference Brizard and Chan2022) (who develop a Hamiltonian formulation of quasi-linear theory). The important difference compared with the standard treatments of Kennel & Engelmann (Reference Kennel and Engelmann1966) and Stix (Reference Stix1992) is that we do not assume waves with a linear dispersion relation, and make no assumptions about the space and time correlations of the fields. For completeness, we provide a detailed derivation and discussion, although much of this is now standard.
We first start with the Vlasov equation describing the collisionless evolution of a particle species’ distribution function
$f(\boldsymbol{x},\boldsymbol{v},t)$
:
Then, split the distribution function and fields into background and fluctuating components:
the background distribution function
$f_0$
is assumed to be homogenous in space and the background electric field is assumed to vanish.
We assume that the fluctuations are small in amplitude and vary on time scales faster than the evolution of the background distribution.Footnote
14
With this assumption, the zeroth-order terms
$f_0$
and
${\boldsymbol{B}}_0$
satisfy
After defining cylindrical coordinates in velocity space aligned along
$B_0\hat {\boldsymbol{z}}$
,
where
$\phi$
is the gyroangle, and
$\hat {\boldsymbol{v}}_\perp = \hat {\boldsymbol{x}}\cos \phi +\hat {\boldsymbol{y}}\sin \phi$
,
$\hat {\boldsymbol{\phi }}=-\hat {\boldsymbol{x}}\sin \phi +\hat {\boldsymbol{y}}\cos \phi$
and
$\hat {\boldsymbol{z}}$
are the cylindrical basis vectors in velocity space, (B5) reduces to
$\partial f_0 / \partial \phi =0$
. This shows that
$f_0$
is gyrotropic and can be written as
$f_0(\boldsymbol{v},t)=f_0(v_\perp ,v_\|,t)$
.
Using the previous decomposition, to first-order, the Vlasov equation becomes
with
$\varOmega _{\mathrm{i}}=q_{\textrm {i}}B_0/m_{\textrm {i}}c$
the gyrofrequency. The left-hand side of (B7) is just
$({\mathrm{d}} f_1 / {\mathrm{d}} t)_0$
, the total time derivative of
$f_1$
along the zero-order trajectory of particles (i.e. unperturbed helices along the background magnetic field). Integrating (B7) from
$t'=-\infty \to t$
, we obtain
\begin{align} f_1(\boldsymbol{x},\boldsymbol{v},t)&=-\frac {q}{m}\int _{-\infty }^{t} {\mathrm{d}} t' \ \left [\boldsymbol{E}_1(\boldsymbol{x}',t')+\frac {\boldsymbol{v}'}{c}{\times}{\boldsymbol{B}}_1(\boldsymbol{x}',t')\right ]\boldsymbol{\cdot }\frac {\partial f_0(\boldsymbol{v}')}{\partial \boldsymbol{v}'} \nonumber \\ &=-\frac {q}{m}\int _{0}^{\infty } {\mathrm{d}} \tau \ \left [\boldsymbol{E}_1(\boldsymbol{x}',t-\tau )+\frac {\boldsymbol{v}'}{c}{\times}{\boldsymbol{B}}_1(\boldsymbol{x}',t-\tau )\right ]\boldsymbol{\cdot }\frac {\partial f_0(\boldsymbol{v}')}{\partial \boldsymbol{v}'}, \end{align}
where in the second equality we change variables to the lag time
$\tau \equiv t-t'\geqslant 0$
. Here,
$\boldsymbol{x}'\equiv \boldsymbol{x}'(t')$
and
$\boldsymbol{v}' \equiv \boldsymbol{v}'(t')$
are Lagrangian coordinates following the zero-order trajectory of particles through phase space satisfying
such that
$\boldsymbol{x}'(t'=t) = \boldsymbol{x}$
and
$\boldsymbol{v}'(t'=t) = \boldsymbol{v}$
(the Eulerian coordinate
$(\boldsymbol{x},\boldsymbol{v})$
in phase space at time
$t$
at which the distribution function is evaluated).
At this point, if the fluctuations of interest follow a linear dispersion relation
$\omega (\boldsymbol{k})$
, we can choose the ansatz
$\boldsymbol{E}_1(\boldsymbol{x}',t')=\boldsymbol{E}_{\boldsymbol{k}} e^{{\mathrm{i}}(\boldsymbol{k}\boldsymbol{\cdot }\boldsymbol{x}'-\omega (\boldsymbol{k}) t')}$
and use Faraday’s law to write
${\boldsymbol{B}}_1$
in terms of
$\boldsymbol{E}_1$
. This formulation allows the description of strong wave–particle interactions, where resonance between the particle gyrofrequency and the Doppler-shifted wave frequency causes diffusion along constant-energy contours in the wave frame (Kennel & Engelmann Reference Kennel and Engelmann1966; Stix Reference Stix1992). However, a spectrum of turbulent fluctuations is generally broadened due to nonlinear interactions compared with a collection of waves following a dispersion relation. As we are interested in the effect of general turbulent fluctuations on ion heating, we do not use a dispersion relation in this calculation, and make no assumptions about the space and time correlations of the fields. The electric and magnetic field terms are also kept separate, as this allows us to see which field is responsible for a given effect on the distribution function if needed (Hall & Sturrock Reference Hall and Sturrock1967). However, if the wave ansatz introduced previously is inserted at any stage of the following derivation, the general diffusion coefficients derived later reduce to the forms presented by Kennel & Engelmann (Reference Kennel and Engelmann1966), Stix (Reference Stix1992); a brief outline of the steps in this procedure is provided at the end of this appendix.
B.1. Spatial Fourier transform of the first-order distribution function
We now calculate the spatial Fourier transform of (B8), which is to be used in the calculation of its effect on the background distribution later. The first-order perturbation can be expressed in terms of its Fourier components asFootnote 15
the electric and magnetic field perturbations can be expressed in a similar way. Inserting this into (B8), we obtain
\begin{align} \int _{}^{} {\mathrm{d}} \boldsymbol{k} \ e^{{\mathrm{i}}\boldsymbol{k}\boldsymbol{\cdot }\boldsymbol{x}} f_1(\boldsymbol{k},\boldsymbol{v},t) &= -\frac {q}{m}\int _{0}^{\infty } {\mathrm{d}} \tau \ \nonumber \\ &\quad\times\int _{}^{} {\mathrm{d}} \boldsymbol{k} \ e^{{\mathrm{i}}\boldsymbol{k}\boldsymbol{\cdot }\boldsymbol{x}'}\left [\boldsymbol{E}_1(\boldsymbol{k},t-\tau )+\frac {\boldsymbol{v}'}{c}{\times}{\boldsymbol{B}}_1(\boldsymbol{k},t-\tau )\right ]\boldsymbol{\cdot }\frac {\partial f_0(\boldsymbol{v}')}{\partial \boldsymbol{v}'}. \end{align}
We cannot yet identify
$f_1(\boldsymbol{k},\boldsymbol{v},t)$
with the right-hand integrand as the exponential contains the Lagrangian trajectory
$\boldsymbol{x}'$
evaluated at
$t-\tau$
, rather than the Eulerian coordinate at which the left-hand side is evaluated. This can be fixed by solving (B9) and (B10) to express the Lagrangian coordinate
$\boldsymbol{x}'$
in terms of
$\tau$
and the Eulerian coordinate
$\boldsymbol{x}$
.
First, we change variables from
$t'$
to
$\tau$
in (B9) and (B10) (resulting in a minus sign in both equations). Solving (B10) with initial condition
$\boldsymbol{v}'(\tau =0)=\boldsymbol{v}$
gives
Using this velocity in (B9) and
$\boldsymbol{x}'(\tau =0)=\boldsymbol{x}$
gives
$\boldsymbol{x}'(\tau ) = \boldsymbol{x} + \boldsymbol{\xi }(\tau )$
, where
\begin{align} \boldsymbol{\xi }(\tau ) &\equiv -\frac {v_\perp }{\varOmega _{\mathrm{i}}}\left [\left (\sin (\phi +\varOmega _{\mathrm{i}}\tau )-\sin (\phi )\right )\hat {\boldsymbol{x}}-\left (\cos (\phi +\varOmega _{\mathrm{i}}\tau )-\cos (\phi )\right )\hat {\boldsymbol{y}}\right ] - v_\|\tau \hat {\boldsymbol{z}}\nonumber \\ &= -\frac {v_\perp }{\varOmega _{\mathrm{i}}}\big[\sin (\varOmega _{\mathrm{i}}\tau )\hat {\boldsymbol{v}}_\perp + (1-\cos (\varOmega _{\mathrm{i}}\tau ))\hat {\boldsymbol{\phi }}\big] - v_\|\tau \hat {\boldsymbol{z}}, \end{align}
using the cylindrical unit vectors in (B6). Inserting this into (B12) allows us to now identify
$f_1(\boldsymbol{k},\boldsymbol{v},t)$
as
\begin{align} f_1(\boldsymbol{k},\boldsymbol{v},t)&=-\frac {q}{m}\int _{0}^{\infty } {\mathrm{d}} \tau \ e^{{\mathrm{i}}\boldsymbol{k}\boldsymbol{\cdot }\boldsymbol{\xi }(\tau )}\left [\boldsymbol{E}_1(\boldsymbol{k},t-\tau )+\frac {\boldsymbol{v}'}{c}{\times}{\boldsymbol{B}}_1(\boldsymbol{k},t-\tau )\right ]\boldsymbol{\cdot }\frac {\partial f_0(\boldsymbol{v}')}{\partial \boldsymbol{v}'}\nonumber \\[4pt] &= -\frac {q}{m}\int _{0}^{\infty } {\mathrm{d}} \tau \ e^{{\mathrm{i}}\beta _{\boldsymbol{k}}(\tau )}\left [\boldsymbol{E}_{\boldsymbol{k}}'+\frac {\boldsymbol{v}'}{c}{\times}{\boldsymbol{B}}_{\boldsymbol{k}}'\right ]\boldsymbol{\cdot }\frac {\partial f_0(\boldsymbol{v}')}{\partial \boldsymbol{v}'}, \end{align}
defining
$\beta _{\boldsymbol{k}}(\tau )\equiv \boldsymbol{k}\boldsymbol{\cdot }\boldsymbol{\xi }(\tau )$
,
$\boldsymbol{E}_{\boldsymbol{k}}\equiv \boldsymbol{E}_1(\boldsymbol{k},t)$
and
${\boldsymbol{B}}_{\boldsymbol{k}}\equiv {\boldsymbol{B}}(\boldsymbol{k},t)$
with the prime denoting evaluation at the time
$t-\tau$
. Next, define cylindrical coordinates in wavevector space aligned along
$B_0\hat {\boldsymbol{z}}$
:
\begin{align} \boldsymbol{k} &= k_\perp (\hat {\boldsymbol{x}}\cos \psi +\hat {\boldsymbol{y}}\sin \psi )+k_\|\hat {\boldsymbol{z}}\nonumber \\ &= k_\perp \cos (\phi -\psi )\hat {\boldsymbol{v}}_\perp - k_\perp \sin (\phi -\psi )\hat {\boldsymbol{\phi }}+k_\|\hat {\boldsymbol{z}}, \end{align}
where we have expressed
$\boldsymbol{k}$
in terms of the cylindrical unit vectors in (B6). Applying trigonometric identities, it can then be shown that
with
$\tilde \phi \equiv \phi -\psi$
.
Next, write
$\boldsymbol{E}_{\boldsymbol{k}}'$
and
${\boldsymbol{B}}_{\boldsymbol{k}}'$
in cylindrical coordinates:
where
and
\begin{align} -{\mathrm{i}}B_{\boldsymbol{k} \mathrm{P}}' &\equiv -B_{\boldsymbol{k} x}'\sin (\phi +\varOmega _{\mathrm{i}}\tau )+B_{\boldsymbol{k} y}'\cos (\phi +\varOmega _{\mathrm{i}}\tau )\nonumber \\ &= -{\mathrm{i}}\left [B_{\boldsymbol{k} +}'e^{-{\mathrm{i}}(\tilde \phi +\varOmega _{\mathrm{i}}\tau )} - B_{\boldsymbol{k} -}'e^{{\mathrm{i}}(\tilde \phi +\varOmega _{\mathrm{i}}\tau )}\right ]\!. \end{align}
Here, we use circularly polarised components of
$\boldsymbol{E}_{\boldsymbol{k}}$
and
${\boldsymbol{B}}_{\boldsymbol{k}}$
, defined as
for general vector
${A}_{\boldsymbol{k}}$
. The subscripts T and P are labelled to denote the fact that these fields drive changes in transverse velocity (when
$B_{\boldsymbol{k} \mathrm{P}}$
= 0) and pitch angle (when
$E_{\boldsymbol{k} \mathrm{T}}=E_{\boldsymbol{k} z}=0$
). The
$\hat {\boldsymbol{\phi }}$
component of
$\boldsymbol{E}_{\boldsymbol{k}}'$
and the
$\hat {\boldsymbol{v}}_\perp$
and
$\hat {\boldsymbol{z}}$
components of
${\boldsymbol{B}}_{\boldsymbol{k}}'$
are irrelevant due to the gyrotropy of
$f_0$
(the last two give a term
$\propto \hat {\boldsymbol{\phi }}$
from
$\boldsymbol{v}'{\times}{\boldsymbol{B}}_{\boldsymbol{k}}$
). Defining
$\hat{v}_{\perp ,\|}\equiv v_{\perp ,\|}/c$
, we then have
giving
\begin{equation} f_1(\boldsymbol{k},\boldsymbol{v},t) = -\frac {q}{m}\int _{0}^{\infty } {\mathrm{d}} \tau \ e^{{\mathrm{i}}\beta _{\boldsymbol{k}}(\tau )} \Biggl \{\left [E_{\boldsymbol{k} \mathrm{T}}'+{\mathrm{i}}\hat{v}_{\|}B_{\boldsymbol{k} \mathrm{ P}}'\right ]\frac {\partial }{\partial v_\perp }+\left [E_{\boldsymbol{k} z}'-{\mathrm{i}}\hat{v}_\perp B_{\boldsymbol{k} \mathrm{ P}}'\right ]\frac {\partial }{\partial v_\|}\Biggr \}f_0. \end{equation}
B.2. Evolution of background distribution in response to first-order perturbation
With the first-order response calculated, we can determine its effect on the background distribution. Before continuing, let us clarify the meaning of the time scales involved in the problem, as it may seem contradictory that we are integrating
$f_0$
over an infinite time to obtain
$f_1$
, and then using this to calculate how
$f_0$
varies in time. The key point here is that
$f_0$
and
$f_1$
are assumed to vary on a slow and fast time scale, respectively. Intuitively, the separation of these time scales lets us treat
$f_0$
as fixed when calculating
$f_1$
, with the limit
$\tau \to \infty$
taken to allow
$f_1$
to reach its asymptotic form over the fast time scale in the presence of the background distribution. The effect on the slow evolution of
$f_0$
can then be calculated with this asymptotic form (see Chapter 10, § 4 of Stix Reference Stix1992 for further discussion).
Start with the full Vlasov equation (B1), and use the facts that
$E$
and
${B}$
are independent of
$\boldsymbol{v}$
and that
${\partial }/{\partial \boldsymbol{v}}\boldsymbol{\cdot }(\boldsymbol{v}{\times}{\boldsymbol{B}})=0$
to write the velocity term as a divergence:
To get an evolution equation for
$f_0$
, we take the spatial average of (B26), performed using a window volume
$V$
in space and taking the limit of this volume to infinity. This average annihilates
$\boldsymbol{v}\boldsymbol{\cdot }{\boldsymbol{\nabla }} f$
and we assume that the first-order averages
$\langle \boldsymbol{E}_1\rangle =\langle {\boldsymbol{B}}_1\rangle =0$
; higher order contributions to this average are ignored. Additionally, we take the gyroaverage due to the assumed slow evolution of
$f_0$
compared to fluctuations; this allows us to write
$f_0(\boldsymbol{v}, t)=f_0(v_\perp ,v_\|,t)$
. This gives
\begin{align} \frac {\partial f_0}{\partial t}&=\lim _{V\to \infty }-\frac {q}{m}\int _{}^{} \frac {{\mathrm{d}} \boldsymbol{x}}{V} \ \int _{0}^{2\pi } \frac {{\mathrm{d}} \phi }{2\pi } \ \frac {\partial }{\partial \boldsymbol{v}}\boldsymbol{\cdot }\left [\left (\boldsymbol{E}_1(\boldsymbol{x},t)+\frac {\boldsymbol{v}}{c}{\times}{\boldsymbol{B}}_1(\boldsymbol{x},t)\right )f_1(\boldsymbol{x},\boldsymbol{v},t)\right ]\nonumber \\ &= \lim _{V\to \infty }-\frac {q}{m}\int _{}^{} \frac {{\mathrm{d}} \boldsymbol{k}}{V} \ \int _{0}^{2\pi } \frac {{\mathrm{d}} \phi }{2\pi } \ \frac {\partial }{\partial \boldsymbol{v}}\boldsymbol{\cdot }\left [\left (\boldsymbol{E}_{\boldsymbol{k}}+\frac {\boldsymbol{v}}{c}{\times}{\boldsymbol{B}}_{\boldsymbol{k}}\right )^*f_{\boldsymbol{k}}\right ]\!, \end{align}
where the equality follows from the product of the Fourier transforms of the electromagnetic and distribution function terms in the integrand (with
$f_{\boldsymbol{k}}\equiv f_1(\boldsymbol{k},\boldsymbol{v},t)$
), and using the fact that
$f_0$
and
$f_1$
are real (so
$f^*_{-\boldsymbol{k}}=f_{\boldsymbol{k}}$
).
Ignoring the
$\partial / \partial \phi$
derivative in (B27), because it is annihilated by the gyroaverage as a total derivative, the
$\boldsymbol{E}_{\boldsymbol{k}}+\boldsymbol{v}{\times}{\boldsymbol{B}}_{\boldsymbol{k}}/c$
term can be expanded in a manner similar to (B24), with the only difference being the replacement
$\tilde \phi +\varOmega _{\mathrm{i}}\tau \to \tilde \phi$
as the fields are evaluated at the current time
$t$
rather than the lag time
$t-\tau$
. Using (B25) and changing variables to
$\tilde \phi$
in the integralFootnote
16
allows the gyroaveraged velocity divergence to be written as
where
\begin{align} \mathcal{P}&= \frac {1}{v_\perp }\frac {\partial }{\partial v_\perp }\left [v_\perp (E_{\boldsymbol{k} \mathrm{ T}}^*-{\mathrm{i}}\hat{v}_{\|}B_{\boldsymbol{k} \mathrm{ P}}^*)\mathcal{Q}\right ]+\frac {\partial }{\partial v_\|}\left [(E_{\boldsymbol{k} z}^*+{\mathrm{i}}\hat{v}_{\|}B_{\boldsymbol{k} \mathrm{ P}}^*)\mathcal{Q}\right ]\!,\nonumber \\ \mathcal{Q} &= e^{{\mathrm{i}}\beta _{\boldsymbol{k}}(\tau )}\left \{ \left [E_{\boldsymbol{k} \mathrm{T}}'+{\mathrm{i}}\hat{v}_{\|}B_{\boldsymbol{k} \mathrm{ P}}'\right ]\frac {\partial }{\partial v_\perp }+\left [E_{\boldsymbol{k} z}'-{\mathrm{i}}\hat{v}_\perp B_{\boldsymbol{k} \mathrm{ P}}'\right ]\frac {\partial }{\partial v_\|}\right \}\!. \end{align}
Swapping the order of the integrals and moving them in between the differential operators in
$\mathcal{P}$
and
$\mathcal{Q}$
leads to terms of the form
where
$\kappa \equiv k_\perp v_\perp /\varOmega _{\mathrm{i}}$
, and
$R$
and
$S$
are any of
$E_{\boldsymbol{k} \mathrm{T}},\ E_{\boldsymbol{k} z}$
or
${\mathrm{i}}\hat{v}_{\perp ,\|}B_{\boldsymbol{k} \mathrm{P}}$
. Using the definitions (B21) and (B22), these multiplications lead to terms proportional to
$e^{\pm {\mathrm{i}}(l\tilde \phi +\varOmega _{\mathrm{i}}\tau )}$
with
$l=0,1$
or
$2$
. The gyroaverage of these products can then be written as an infinite sum of Bessel function products using the identities
$e^{{\mathrm{i}} \kappa \sin \phi }=\sum _{n=-\infty }^\infty e^{{\mathrm{i}} n\phi }{\mathrm{J}}_{n}(\kappa )$
and
$\int _{0}^{2\pi } {{\mathrm{d}} \phi }/{2\pi } \ e^{{\mathrm{i}}(m-n)\phi }=\delta _{m,n}$
(Arfken, Weber & Harris Reference Arfken, Weber and Harris2012):
\begin{align} \int _{0}^{2\pi } \frac {{\mathrm{d}} \tilde \phi }{2\pi } \ e^{-{\mathrm{i}} \kappa (\sin (\tilde \phi +\varOmega _{\mathrm{i}}\tau )-\sin (\tilde \phi ))} R^*S' &\propto \sum _{n,m=-\infty }^{\infty } {\mathrm{J}}_{n}{\mathrm{J}}_{m}e^{-{\mathrm{i}}(n\mp 1)\varOmega _{\mathrm{i}}\tau }\int _{0}^{2\pi } \frac {{\mathrm{d}} \tilde \phi }{2\pi } \ e^{-{\mathrm{i}}[m-(n\mp l)]\tilde \phi }\nonumber \\ &= \sum _{n=-\infty }^{\infty } {\mathrm{J}}_{n\mp (l-1)}{\mathrm{J}}_{n\pm 1}e^{-{\mathrm{i}} n\varOmega _{\mathrm{i}}\tau } \ (l=0,1,2), \end{align}
where the index was changed from
$n\to n\pm 1$
in the last equality. After the gyroaveraging, the terms can be factorised into products of terms of the form
Finally, inserting this gyroaverage into (B27) and taking an ensemble average shows that the background distribution function undergoes a diffusion in velocity space of the form
with the diffusion coefficients given by
\begin{equation} D_{ab} = \lim _{V\to \infty }\frac {q^2}{m^2}\sum _{n=-\infty }^\infty \int _{}^{} \frac {{\mathrm{d}} \boldsymbol{k}}{V} \ \int _{0}^{\infty } {\mathrm{d}} \tau \ e^{-{\mathrm{i}}(k_\|v_\| +n\varOmega _{\mathrm{i}})\tau } \mathcal{D}^{(n)}_{ab}(\boldsymbol{k},\tau ), \end{equation}
where
$a,b\in \{\perp , \|\}$
and
$V$
is a windowing volume used when taking the spatial averaging of the distribution function. The quantities
$\mathcal{D}^{(n)}_{ab}(\boldsymbol{k},\tau )$
are given by
The full expansion of these in terms of the various correlations between fields is unenlightening (see, e.g. Schlickeiser & Achatz Reference Schlickeiser and Achatz1993). The diffusion coefficients (B34) are intractably complex for general use; to gain physical insight into how they affect the heating of ions in turbulence with different levels of imbalance, we take the RMHD limit as described in § 2.1, which simplifies them dramatically.
For completeness, we elucidate the steps outlined in § 2.1 used to transform the diffusion coefficients (B35) to their RMHD form. For fluctuations with
$k_\perp \rho _{\mathrm{i}}\ll 1$
, we can write the diffusion coefficients in terms of the turbulent velocity field via Ohm’s law,
$\boldsymbol{E}_1 = -(B_0/c)\boldsymbol{u}_1 {\times} \hat {\boldsymbol{z}}$
, which gives
$E_\pm (\boldsymbol{k},t)=\pm ({\mathrm{i}}B_0/c)u_\pm (\boldsymbol{k},t)$
and
$E_z(\boldsymbol{k}, t)=0$
. Assuming an Alfvénic polarisation, where fluctuations with perpendicular (unit) wavevector
$\hat {\boldsymbol{k}}_\perp = \cos (\psi )\hat {\boldsymbol{x}}+\sin (\psi )\hat {\boldsymbol{y}}$
are polarised in the
$\hat {{e}}_{\boldsymbol{k}}\equiv \hat {\boldsymbol{k}}_\perp {\times}\hat {\boldsymbol{z}}=\sin (\psi )\hat {\boldsymbol{x}}-\cos (\psi )\hat {\boldsymbol{y}}$
direction, allows the velocity and magnetic perturbations to be written as
$\boldsymbol{u}_1(\boldsymbol{k},t)=A_{\boldsymbol{u}}(\boldsymbol{k},t)\hat {{e}}_{\boldsymbol{k}}$
and
${\boldsymbol{B}}_1(\boldsymbol{k}, t)=A_{{\boldsymbol{B}}}(\boldsymbol{k},t)\hat {{e}}_{\boldsymbol{k}}$
. This then allows us to write
$u_\pm (\boldsymbol{k}, t)=\mp iA_{\boldsymbol{u}}(\boldsymbol{k},t)/2$
(and thus,
$E_\pm (\boldsymbol{k}, t)=B_0 A_{\boldsymbol{u}}(\boldsymbol{k}, t)/2c$
) and
$B_\pm (\boldsymbol{k},t)=\mp iA_{{\boldsymbol{B}}}(\boldsymbol{k}, t)/2$
. Inserting the expressions for
$E_\pm$
and
$B_\pm$
into (B32) allows us to simplify the coefficients in (B35) as
where
$u^{(n)}_{\boldsymbol{k}\rm P}\equiv u_{\boldsymbol{k} +}{\mathrm{J}}_{n-1}-u_{\boldsymbol{k} -}{\mathrm{J}}_{n+1}$
. These coefficients are then used to obtain (2.7) using (B34).
B.2.1. Reduction to the Kennel & Engelmann (Reference Kennel and Engelmann1966) and Stix (Reference Stix1992) form
If instead of general electromagnetic fluctuations we assume waves satisfying a dispersion relation
$\omega (\boldsymbol{k})=\omega _{\boldsymbol{k} r}+{\mathrm{i}}\gamma _{\boldsymbol{k}}$
(with frequency
$\omega _{\boldsymbol{k} r}$
and damping rate
$\gamma _{\boldsymbol{k}}$
) such that
$\boldsymbol{E}_1(\boldsymbol{x},t) = \boldsymbol{E}_{\boldsymbol{k}} e^{{\mathrm{i}}(\boldsymbol{k}\boldsymbol{\cdot }\boldsymbol{x} - \omega (\boldsymbol{k})t)}$
and
we are able to recover the classic quasi-linear diffusion of Kennel & Engelmann (Reference Kennel and Engelmann1966) and Stix (Reference Stix1992). Using this choice, Faraday’s law allows us to write
${\boldsymbol{B}}_1$
in terms of
$\boldsymbol{E}_1$
via
$\omega {\boldsymbol{B}}_{\boldsymbol{k}}=c\boldsymbol{k}{\times}\boldsymbol{E}_{\boldsymbol{k}}$
; inserting this into (B35) expresses the diffusion coefficients entirely in terms of the electric-field Fourier components
$\boldsymbol{E}_{\boldsymbol{k}}$
.
With the
$\tau$
-dependence of the correlators contained entirely within the exponential in (B37), the integral in (B34) is now
$\int _{0}^{\infty } {\mathrm{d}} \tau \ e^{-{\mathrm{i}}(\omega (\boldsymbol{k})-k_\|v_\|-n\varOmega _{\mathrm{i}})\tau }=-{\mathrm{i}}(\omega (\boldsymbol{k})-k_\|v_\|-n\varOmega _{\mathrm{i}})^{-1}$
; after using the Plemelj relation and taking the limit of zero wave damping (
$\gamma _{\boldsymbol{k}}\to 0$
) (Stix Reference Stix1992), this reduces to the resonance condition
$\pi \delta (\omega _{\boldsymbol{k} r}-k_\|v_\|-n\varOmega _{\mathrm{i}})$
.
After some further algebraic manipulation, the evolution of
$f_0$
can be written in the familiar formFootnote
17
\begin{equation} \frac {\partial f_0}{\partial t} = \lim _{V\to \infty }\frac {\pi q^2}{m^2}\sum _{n=-\infty }^{\infty }\int \frac {{\mathrm{d}}\boldsymbol{k}}{Vv_\perp }\mathcal{G}[v_\perp \delta (\omega (\boldsymbol{k})-k_\|v_\|-n\varOmega _{\mathrm{i}})|\psi _{n,\boldsymbol{k}}|^2\mathcal{G}f_0]. \end{equation}
Here,
$\psi _{n,\boldsymbol{k}} = E_{\boldsymbol{k} +}{\mathrm{J}}_{n-1}+E_{\boldsymbol{k} -}{\mathrm{J}}_{n+1}+(v_\|/v_\perp )E_{\boldsymbol{k} z}{\mathrm{J}}_{n}$
is the complex amplitude of the wave modes, with
$\kappa =k_\perp v_\perp /\varOmega _{\mathrm{i}}$
the argument of the Bessel functions, and the operator
where
$v_{\mathrm{ph}}(k_\|) \equiv \omega _{\boldsymbol{k} r}/k_\|$
is the parallel phase speed of the wave. This operator constrains resonant particles to diffuse in velocity along curves of constant energy in the frame of the wave (Kennel & Engelmann Reference Kennel and Engelmann1966; Stix Reference Stix1992).
Appendix C. Contribution to heating from
$k_\perp \rho _{\mathrm{i}}\boldsymbol{\gtrsim} 1$
fluctuations
In § 4, we explicitly study the contribution of RMHD turbulent fluctuations at scales
$k_\perp \rho _{\mathrm{i}}\ll 1$
to the perpendicular heating of ions. In our model, we assume that
$k_\perp \rho _{\mathrm{i}}\gtrsim 1$
fluctuations do not contribute at all to ion heating and can thus be neglected by setting the energy spectrum to zero for
$k_\perp \rho _{\mathrm{i}} \gt 1$
. To test this approximation, in this appendix, we compute
$Q_\perp$
using the ideas of § 4, but now including a sub-
$\rho _{\mathrm{i}}$
contribution.
We assume balanced turbulence and use the 2-D strong turbulence spectrum of Isenberg & Vasquez (Reference Isenberg and Vasquez2019), which models an Alfvénic cascade at scales
$k_\perp \rho _{\mathrm{i}}\ll 1$
and a kinetic-Alfvén-wave (KAW) cascade at scales
$k_\perp \rho _{\mathrm{i}}\gg 1$
. Using
$\tilde{k}_\perp \equiv k_\perp \rho _{\mathrm{i}}$
and
$\tilde{k}_\| \equiv k_\| v_{\mathrm{A}}/\varOmega _{\mathrm{i}}$
, this spectrum is
\begin{equation} \tilde {\mathcal{E}}_{\mathrm{2D}}(\tilde{k}_\perp ,\tilde{k}_\|) = \frac {1}{2}\xi _{\rho ,{\mathrm{th}}}\tilde{k}_\perp ^{-7/3} \left [\frac {1+\tilde{k}_\perp ^{5/3}}{1+\tilde{k}_\perp ^2}\right ]\varTheta \big(\tilde{k}_\|^{\mathrm{CB}}(\tilde{k}_\perp ) - |\tilde{k}_\||\big), \end{equation}
where
\begin{equation} \tilde{k}_\|^{\mathrm{CB}}(\tilde{k}_\perp ) = \xi _{\rho ,{\mathrm{th}}}\tilde{k}_\perp ^{2/3} \left [\frac {1+\tilde{k}_\perp ^{5/3}}{1+\tilde{k}_\perp ^2}\right ] \end{equation}
is the boundary of the CB cone and
$\varTheta$
is the Heaviside step function, corresponding to a choice to only consider the effects of strong turbulence in this part. The smoothing factor
$(1+\tilde{k}_\perp ^{5/3})/(1+\tilde{k}_\perp ^2)$
goes to 1 in the limit
$\tilde{k}_\perp \ll 1$
and
$\tilde{k}_\perp ^{-1/3}$
in the limit
$\tilde{k}_\perp \gg 1$
. When integrated over
$\tilde{k}_\|$
, the spectrum has the standard scalings of
$k_\perp ^{-5/3}$
for Alfvénic turbulence and
$k_\perp ^{-7/3}$
for KAW turbulence. As in the 2-D RMHD model outlined in § 3.2.1, this spectrum is normalised such that
\begin{equation} \frac {1}{v_{\mathrm{th}, \textrm{i}}^2}\int ^{e^{1/2}/\rho _{\mathrm{i}}}_{e^{-1/2}/\rho _{\mathrm{i}}} {\mathrm{d}}k_\perp \int _{-k_\|^{\mathrm{CB}}}^{k_\|^{\mathrm{CB}}}{\mathrm{d}}k_\| \mathcal{E}_{\mathrm{2D}} \approx \xi _{\rho ,{\mathrm{th}}}^2; \end{equation}
i.e. such that the energy in
$\rho _{\mathrm{i}}$
-scale modes is given by the standard stochastic heating parameter.
Perpendicular heating rates
$Q_\perp ^{(n)}$
for
$1\leqslant n\leqslant 5$
, calculated using (C4). The solid black line shows the contribution to
$Q_\perp$
from all modes calculated numerically using (4.15) with
$\sigma _{\mathrm{c}}=0$
and
$\beta _{\mathrm{i}}=0.1$
, while the dotted line shows only the contribution from modes below the CB cone.

Because we are now including the effects of
$k_\perp \rho _{\mathrm{i}}\gtrsim 1$
fluctuations, we cannot apply the RMHD limit of the Bessel functions used in the calculations of § 4 (namely
${\mathrm{J}}_{1}^2(\kappa )/ \kappa ^2 \approx 1/4$
and
$n^2{\mathrm{J}}_{n}^2(\kappa )/\kappa ^2\approx 0$
for
$n\gt 1$
, where
$\kappa =k_\perp v_\perp /\varOmega _{\mathrm{i}}$
is the argument of the Bessel functions). We assume for simplicity that the KAWs are polarised similarly to Alfvénic fluctuations and that the
$\boldsymbol{E}{\times}{\boldsymbol{B}}$
flow is the dominant contribution to their electric field via Ohm’s law (these are true for
$\beta _{\mathrm{i}} \ll 1$
; Schekochihin et al. Reference Schekochihin, Cowley, Dorland, Hammett, Howes, Quataert and Tatsuno2009), and that the ions are in an initial Maxwellian distribution. With this, we calculate the heating rate as a sum over the individual Bessel function terms as
$Q_\perp = \sum _{n\gt 0}Q_\perp ^{(n)}$
, where
is the perpendicular heating rate (4.14), and
\begin{align} \frac {\mathcal{D}^{(n)}}{\varOmega _{\mathrm{i}}v_{\mathrm{th}, \textrm{i}}^2}&\equiv \frac {\pi }{4}\sum _{\nu =\pm 1} \nonumber \\ & \quad \times\int _{0}^{\infty } {\mathrm{d}} \tilde{k}_\perp \ \frac {n^2{\mathrm{J}}_{n}^2(\kappa )}{\kappa ^2}\!\int _{-\tilde{k}_\|^{\mathrm{CB}}(\tilde{k}_\perp )}^{\tilde{k}_\|^{\mathrm{CB}}(\tilde{k}_\perp )} {\mathrm{d}} \tilde{k}_\| \ \frac {\tilde {\mathcal{E}}_{\mathrm{2D}}(\tilde{k}_\perp ,\tilde{k}_\|)}{2\tilde {\omega }_{\mathrm{nl}}(\tilde{k}_\perp )}{\mathrm{sech}}\!\left (\frac {\pi }{2\tilde {\omega }_{\mathrm{nl}}(\tilde{k}_\perp )}[\tilde{k}_\|(\tilde{v}_\|+\nu )+1]\!\right ) \end{align}
is the generalised diffusion coefficient (4.10) with
$\sigma _{\mathrm{c}}=0$
and the Bessel functions (and thus
$k_\perp \rho _{\mathrm{i}}\gtrsim 1$
behaviour) restored.
Figure 21 shows
$Q_\perp ^{(n)}$
, calculated numerically using (C4), for
$1\leqslant n\leqslant 5$
, and
$\beta _{\mathrm{i}} = 0.001$
,
$0.01$
and
$0.1$
. The heating rate shows little to no dependence on
$\beta _{\mathrm{i}}$
, which is also seen in the balanced RMHD turbulence case of § 4.2.2 (cf. figure 5). Additionally, we clearly see that the main contributor to
$Q_\perp$
is the
$n=1$
Bessel function term
${\mathrm{J}}_{1}^2(\kappa )/\kappa ^2$
, as it is approximately
$1/4$
for
$k_\perp \rho _{\mathrm{i}}\ll 1$
and quickly drops to 0 for
$k_\perp \rho _{\mathrm{i}}\gtrsim 1$
, biasing the integral over the energy spectrum
$\tilde {\mathcal{E}}_{\mathrm{2D}}$
to the larger-amplitude
$k_\perp \rho _{\mathrm{i}}\ll 1$
fluctuations. In contrast, the
$n\gt 1$
Bessel function terms
$n^2{\mathrm{J}}_{n}^2(\kappa )/\kappa ^2$
are approximately 0 for
$k_\perp \rho _{\mathrm{i}}\ll 1$
and peak at
$k_\perp \rho _{\mathrm{i}}\gtrsim 1$
, biasing the integral over the energy spectrum
$\tilde {\mathcal{E}}_{\mathrm{2D}}$
to the smaller-amplitude
$k_\perp \rho _{\mathrm{i}}\gg 1$
fluctuations. To compare with the main-text calculation where only
$k_\perp \rho _{\mathrm{i}} \lt 1$
modes are used, we also show
$Q_\perp$
calculated numerically using (4.15) with
$\sigma _{\mathrm{c}}=0$
and
$\beta _{\mathrm{i}}=0.1$
(as in figure 6), with the contribution from all modes as well as that from modes below the CB cone taken into account. This is qualitatively similar to
$Q^{(1)}_\perp$
, with the smaller values of
$Q^{(1)}_\perp$
at large
$\xi _{\rho ,{\mathrm{th}}}$
arising due to the variation of the Bessel function near
$k_\perp \rho _{\mathrm{i}}\sim 1$
, and a weaker suppression at small
$\xi _{\rho ,{\mathrm{th}}}$
due to the inclusion of modes with
$k_\perp \rho _{\mathrm{i}}\gtrsim 1$
; however, the contribution from the
$k_\perp \rho _{\mathrm{i}}\gtrsim 1$
modes at
$\xi _{\rho ,{\mathrm{th}}} \ll 1$
to the heating rate is overall smaller than that from
$k_\perp \rho _{\mathrm{i}}\lt 1$
fluctuations. These results show that our approach of neglecting the contribution of
$k_\perp \rho _{\mathrm{i}}\gtrsim 1$
fluctuations to ion heating and taking the RMHD limit in § 4 is valid.
We only consider balanced turbulence in this calculation as imbalanced turbulence can introduce a helicity barrier at
$k_\perp \rho _{\mathrm{i}}\sim 1$
scales in the low-
$\beta _{\mathrm{i}}$
plasmas we consider in this paper, which blocks the cascade of energy to small perpendicular scales and strongly modifies the energy spectrum of turbulent fluctuations (Meyrand et al. Reference Meyrand, Squire, Schekochihin and Dorland2021; Squire et al. Reference Squire, Meyrand, Kunz, Arzamasskiy, Schekochihin and Quataert2022, Reference Squire, Meyrand and Kunz2023; Adkins et al. Reference Adkins, Meyrand and Squire2024, Reference Adkins, Meyrand and Squire2025; Johnston et al. Reference Johnston, Squire and Meyrand2025). Because this modification depends on the level of imbalance and other parameters of the turbulence, further work would be required to generalise the approach of this Appendix to different levels of imbalance.
Appendix D. Dependence of heating rate on choice of temporal correlation function
As discussed in § 4, the choice of the function
$f(\tau \omega _{\mathrm{nl}})$
, which characterises the temporal correlations of the fluctuations, can significantly influence the resulting heating rate. To ensure consistency with observations and theoretical expectations, this function must therefore be chosen with care. A formal renormalisation group calculation of space–time correlations in hydrodynamic turbulence, as well as phenomenological arguments, show that
$f(\tau \omega _{\mathrm{nl}})$
approaches an exponential form,
$e^{-|\tau \omega _{\mathrm{nl}}|}$
, for
$\tau \omega _{\mathrm{nl}} \gg 1$
, and a Gaussian form,
$e^{-(\tau \omega _{\mathrm{nl}})^2}$
, for
$\tau \omega _{\mathrm{nl}} \ll 1$
(Gorbunova et al. Reference Gorbunova, Balarac, Canet, Eyink and Rossetto2021). Thus, this provides important constraints on the physically allowable forms of
$f(\tau \omega _{\mathrm{nl}})$
. In this Appendix, we explicitly illustrate the impact of this choice by calculating
$Q_\perp$
in the balanced limit (§ 4.2.2) using three different temporal correlation functions that capture different aspects of these limiting behaviours.
Using the Fourier transform convention
$F(\omega )= ({1}/{2\pi })\int _{-\infty }^{\infty } {\mathrm{d}} \tau \ e^{-{\mathrm{i}}\omega \tau }f(\tau )$
, we use the following correlation functions with their Fourier transform pairs:
which are compared in figure 22. The tails of the Fourier transforms of (D1) (used in this paper) and (D2) both decay quickly for large frequencies. In contrast, the tails of the Fourier transform of (D3) decay much slower, which is a result of the discontinuity in slope of the correlation function at
$\tau =0$
.
Perpendicular heating rate
$Q_\perp$
in balanced turbulence with
$\beta _{\mathrm{i}}=0.1$
, using the temporal correlation functions
${\mathrm{sech}}(\omega _{\mathrm{nl}}\tau )$
(black; (D1)),
$\exp (-(\omega _{\mathrm{nl}}\tau )^2)$
(blue; (D2)),
$\exp (-|\omega _{\mathrm{nl}}\tau |)$
(red; (D3)). To better show the suppression, only the contribution from modes beneath the CB cone are considered in the calculation of
$Q_\perp$
.

It is the behaviour of these tails as
$|\omega |\to \infty$
that can affect the form of the resultant heating rate. This is seen in figure 23, which shows
$Q_\perp$
in the balanced limit, numerically calculated using (4.15) with
$\beta _{\mathrm{i}}=0.1$
and
$\sigma _{\mathrm{c}}=0$
, using the different correlation functions in (4.10). Because the Fourier transforms of (D1) and (D2) have similar behaviour at large
$\omega$
the corresponding heating rates are qualitatively similar, exhibiting a suppression in heating at small
$\xi _{\rho ,{\mathrm{th}}}$
.Footnote
18
When using the exponential correlation function (D3), however, the heating rate shows no transition in scaling or suppression when only considering modes beneath the CB cone. The cause of this can be understood by inspecting the integrand of (4.10) for different values of
$\xi _{\rho ,{\mathrm{th}}}$
, as shown in figure 24 (with
$\tilde{v}_\|=0.1$
and
$\sigma _{\mathrm{c}}=0$
for all correlation functions). For
$\xi _{\rho ,{\mathrm{th}}} = 0.5$
(top row), the integrand peaks near the CB cone for all correlation functions, allowing the large-amplitude fluctuations to dominate the integral over
$\boldsymbol{k}$
and giving rise to a
$\xi _{\rho ,{\mathrm{th}}}^3$
scaling in
$Q_\perp$
(as also seen in § 4). For smaller amplitudes (
$\xi _{\rho ,{\mathrm{th}}} = 0.05$
; bottom row), the Fourier transforms of the correlation functions (D1) and (D2) peak when their argument is 0 (in this case, when
$|\tilde{k}_\|| = (1+\tilde{v}_\|)^{-1}\approx 0.9$
) and decay quickly, causing only modes above the CB cone to contribute to the integral and giving rise to the
$\xi _{\rho ,{\mathrm{th}}}^6$
scaling (and suppression when only considering modes beneath the CB cone). Although the Fourier transform of (D3) also exhibits a peak at
$|\tilde{k}_\|| = (1+\tilde{v}_\|)^{-1}$
, its slowly decaying tails also allow it to contribute in regions below the CB cone (where
$\tilde{k}_\|/\tilde {\omega }_{\mathrm{nl}} = \tilde{k}_\|\xi _{\rho ,{\mathrm{th}}}^{-1}\tilde{k}_\perp ^{-2/3}\lesssim 1$
) even at small amplitudes, giving rise to the continuous
$\xi _{\rho ,{\mathrm{th}}}^3$
scaling and no heating suppression. The exponential correlation function is commonly used in modelling the temporal correlation of turbulence; however, its results are clearly unphysical, illustrating the care needed when choosing
$f(\tau \omega _{\mathrm{nl}})$
in models of particle heating by turbulent spectra.
The integrand of (4.10), normalised to its maximum value, plotted with
$\tilde{v}_\|=0.1$
,
$\sigma _{\mathrm{c}}=0$
, and correlation function
${\mathrm{sech}}(\omega _{\mathrm{nl}}\tau )$
(left; (D1)),
$\exp (-(\omega _{\mathrm{nl}}\tau )^2)$
(middle; (D2)),
$\exp (-|\omega _{\mathrm{nl}}\tau |)$
(right; (D3)); the top row sets
$\xi _{\rho ,{\mathrm{th}}}=0.5$
, and the bottom
$\xi _{\rho ,{\mathrm{th}}}=0.05$
. The black line corresponds to the CB cone
$\tilde{k}_\|^{\mathrm{CB}} = \xi _{\rho ,{\mathrm{th}}}\tilde{k}_\perp ^{2/3}$
. The horizontal red dashed line is
$\tilde{k}_\|^{(1)}$
, the resonant
$k_\|$
that ions interact with in the imbalanced limit (4.19). Note that we are looking at the
$\tilde{k}_\| \lt 0$
modes, corresponding to
$\boldsymbol{z}^+$
fluctuations.

Appendix E. Effect of ion-cyclotron dispersion on the resonance location
In our quasi-linear calculation, we have assumed that the turbulent fluctuations satisfy the MHD Alfvén-wave dispersion relation,
$\omega = k_\parallel v_{\mathrm{A}}$
, throughout the cascade. This is an excellent approximation for
$k_\perp \rho _{\mathrm{i}}\ll 1$
, but it breaks down at the parallel scales that are expected to produce the strongest cyclotron heating for protons,
$k_\parallel d_{\mathrm{p}} \sim 1$
(with
$d_{\mathrm{p}}$
the proton inertial length), where the Alfvén branch becomes dispersive and transitions into the oblique ion-cyclotron wave (ICW). As a result, using the nondispersive Alfvén dispersion relation misplaces the proton cyclotron resonance in
$k_\parallel$
and may bias the heating rate. In this appendix, we give a simple estimate of how replacing the Alfvén dispersion relation by an oblique ICW dispersion modifies the parallel wavenumber of the resonance. Our treatment is deliberately schematic; a quantitatively accurate assessment would require a full kinetic description of the turbulence, for example via detailed analysis of hybrid-kinetic simulations. We also note that this issue is less severe for minor ions: because their cyclotron frequencies
$\varOmega _{\mathrm{i}} = (q_{\mathrm{i}}/m_{\mathrm{i}}) B_0/c$
are smaller than
$\varOmega _{\mathrm{p}}$
, their fundamental cyclotron resonances with
$v_\parallel \approx 0$
typically occur at
$k_\parallel d_{\mathrm{i}} \ll 1$
, where the Alfvén branch is still only weakly dispersive.
For protons interacting via the fundamental cyclotron resonance, the resonance condition can be written as
where
$v_\parallel$
is the proton parallel velocity and
$v_{\mathrm{ph}}(k_{\|})=\omega /k_{\|}$
(we take
$n=1$
in 4.16, which produces by far the strongest resonance). In figure 25 we illustrate this condition by plotting the two curves
$k_{\|} v_{\mathrm{ph}}(k_{\|})$
and
$\varOmega _{\mathrm{p}} - k_\parallel |v_\parallel |$
as functions of
$k_\parallel$
(taking particles with
$v_\parallel \lt 0$
), so that their intersection gives the resonant parallel wavenumber. We compare Alfvén waves
$v_{\mathrm{ph}} = v_{\mathrm{A}}$
(as assumed throughout the main text), to the oblique limit of ICWs at
$\beta _{\mathrm{i}}\ll 1$
, which satisfy
\begin{equation} v_{\mathrm{ph}}(k_\parallel ) =\pm \frac { v_{\mathrm{A}}}{\sqrt {1 + k_\parallel ^2 d_{\mathrm{p}}^2}} \end{equation}
(Stix Reference Stix1992). The latter asymptotes to
$\omega \to \varOmega _{\mathrm{p}}$
as
$k_\parallel d_{\mathrm{p}} \to \infty$
. This illustrates how using the true ICW
$v_{\mathrm{ph}}$
shifts the resonant wavenumber to larger
$k_\parallel d_{\mathrm{p}}$
. Naively, one would expect less wave power in the higher-
$k_{\|}$
region and therefore a reduced quasi-linear heating rate. However, we now argue that this conclusion is modified once the critical-balance structure of the turbulence is taken into account, yielding the opposite conclusion.
Comparison of the resonant parallel wavenumber obtained from the quasi-linear resonance condition (E1) when using the Alfvén-wave dispersion relation (blue), and the oblique limit of ICWs at
$\beta _{\mathrm{i}}\ll 1$
(red). The intersection between these curves and the line
$\omega = \varOmega _{\mathrm{p}} - k_\||v_\||$
(black, illustrated for a proton with
$v_\|\lt 0$
), where (E1) is satisfied, gives the resonant wavenumber.

The key point is that, under critical balance, the parallel structure of the turbulence at a given
$k_\perp$
is set by decorrelation of the cascade rather than by linear physics alone. Writing the linear phase speed as
$v_{\mathrm{ph}}(k_\parallel )=\omega /k_\parallel$
, critical balance implies
where
$\tau _{\mathrm{nl}}(k_\perp )^{-1}\sim k_\perp \delta u_\perp (k_\perp )$
is the nonlinear time. We assume that the perpendicular spectrum and nonlinearity are largely unchanged by the onset of Hall and ion–cyclotron physics: Hall MHD simulations at low
$\beta _{\mathrm{i}}$
show that a
$k_\perp ^{-5/3}$
velocity spectrum persists into the Hall range (Meyrand et al. Reference Meyrand, Kiyani, Gürcan and Galtier2018), so that
$\delta u_\perp \propto k_\perp ^{-1/3}$
and
$\tau _{\mathrm{nl}}\propto k_\perp ^{-2/3}$
likely remain reasonable scalings, even when
$k_\parallel d_{\mathrm{p}}\sim 1$
and the waves are dispersive.
To assess which particles resonate with fluctuations at a given
$k_\perp$
, we combine (E3) with the resonance condition (E1). For nondispersive Alfvén waves,
$v_{\mathrm{ph}}=v_{\mathrm{A}}$
and
$k_\parallel = 1/(v_{\mathrm{A}}\tau _{\mathrm{nl}})$
. Substituting into (E1) then yields
Thus, thermal protons with
$|v_\parallel |\lesssim v_{\mathrm{th}}\lesssim v_{\mathrm{A}}$
can only resonate where
$\varOmega _{\mathrm{p}}\tau _{\mathrm{nl}}(k_\perp )$
approaches unity, i.e. in a relatively narrow band of
$k_\perp$
at small scales. This behaviour is encoded in the main-text calculation of § 4.2.1 and the sharp cutoff of the heating rate in the imbalanced case when fluctuations above the critical balance cone are excluded (see figure 4).
For oblique ICW waves,
$v_{\mathrm{ph}}\lt v_{\mathrm{A}}$
, so that the
$k_{\|}$
shifts higher for a given
$k_{\perp }$
. Using
$ v_{\mathrm{ph}}(k_\parallel )$
from (E2), (E3) and (E1) give
\begin{equation} k_\parallel d_{\mathrm{p}} = \frac {1}{\sqrt {(\varOmega _{\mathrm{p}}\tau _{\mathrm{nl}})^2-1}}, \qquad \frac {|v_\parallel ^{\mathrm{(ICW)}}|}{v_{\mathrm{A}}} = \bigl (\varOmega _{\mathrm{p}}\tau _{\mathrm{nl}}-1\bigr )\sqrt {1-(\varOmega _{\mathrm{p}}\tau _{\mathrm{nl}})^{-2}}. \end{equation}
Thus, the resonant velocity for ICWs is
which is always smaller than in the purely Alfvénic case at the same
$\tau _{\mathrm{nl}}(k_\perp )$
. Equivalently, with dispersive waves, thermal protons with
$|v_\parallel |\lesssim v_{\mathrm{th}}$
can resonate with fluctuations at somewhat lower
$k_\perp$
(larger
$\tau _{\mathrm{nl}}$
, where more power resides), even though the cyclotron resonance itself has moved to larger
$k_\parallel$
. In this sense, the increased power at high
$k_\parallel$
implied by critical balance in the ICW case more than compensates for the shift of the resonance to higher
$k_\parallel$
, suggesting that neglecting dispersive effects may in fact underestimate the proton heating rate.
The previous discussion assumes that the ion heating is purely perpendicular to the magnetic field. However, the dispersive nature of the ICWs modifies the quasi-linear resonance contours along which ions diffuse in velocity space (Chandran et al. Reference Chandran, Pongkitiwanichakul, Isenberg, Lee, Markovskii, Hollweg and Vasquez2010b ; Squire et al. Reference Squire, Meyrand, Kunz, Arzamasskiy, Schekochihin and Quataert2022; Zhang et al. Reference Zhang, Kunz, Squire and Klein2025), which may lead to more parallel heating (or cooling) and reduces perpendicular heating. It is unclear whether this effect would dominate over the mechanism discussed with our schematic treatment; a kinetic description of the turbulence would be required to fully understand the effect of these processes on ion heating.




























































































































































































































