latexA float is stuck \WarningFilternamerefThe definition of
On reduced modeling of the modulational dynamics in magnetohydrodynamics
Abstract
This paper explores structure formation in two-dimensional magnetohydrodynamic (MHD) turbulence as a modulational instability (MI) of turbulent fluctuations. We focus on the early stages of structure formation and consider simple backgrounds that allow for a tractable model of the MI while retaining the full chain of modulational harmonics. This approach allows us to systematically examine the validity of popular closures such as the quasilinear approximation and other low-order truncations. We find that, although such simple closures can provide quantitatively accurate approximations of the MI growth rates in some regimes, they can fail to capture the modulational dynamics in adjacent regimes even qualitatively, falsely predicting MI when the system is actually stable. We find that this discrepancy is due to the excitation of propagating spectral waves (PSWs) which can ballistically transport energy along the modulational spectrum, unimpeded until dissipative scales, thereby breaking the feedback loops that would otherwise sustain MIs. PSWs can be self-maintained as global modes with real frequencies and drain energy from the primary structure at a constant rate until the primary structure is depleted. To describe these waves within a reduced model, we propose an approximate spectral closure that captures them and MIs on the same footing. We also find that introducing corrections to ideal MHD, conservative or dissipative, can suppress PSWs and reinstate the accuracy of the quasilinear approximation. In this sense, ideal MHD is a ‘singular’ system that is particularly sensitive to the accuracy of the closure within mean-field models.
1 Introduction
1.1 Motivation
Coherent-structure formation from turbulence is ubiquitous in nature, intrinsically compelling, and one of the precious few aspects of turbulence that are relatively yielding to analytical efforts (Hussain, 1986; Karimabadi et al., 2013; Smolyakov et al., 2000; Krashennikov et al., 2008). For magnetohydrodynamic (MHD) turbulence (Biskamp, 2003; Beresnyak, 2019; Schekochihin, 2022) and the turbulent-dynamo problem (Brandenburg et al., 2012; Tobias, 2021; Rincon et al., 2016), this has spawned a vast body of work known as mean-field electrodynamics, or mean-field dynamo theory (Rädler, 2007; Krause & Rädler, 1980; Moffatt, 1978; Brandenburg, 2018; Gruzinov & Diamond, 1994). In such approaches, the velocity and magnetic fields are split into fluctuations and mean, or average, fields (the definition of average depends on the problem); then, various closures are implemented to obtain the mean-field evolution in response to the fluctuations (Blackman & Field, 2002; Brandenburg & Subramanian, 2005b; Pouquet et al., 1976; Kraichnan, 1977; Nicklaus & Stix, 1988).
These closures ultimately rely on a truncation of a formally infinite chain of correlation functions of increasingly high order.111Here, we use the term ‘truncation’ to refer to low-order closures in general, as opposed to precisely the closure choice of setting all correlations to zero after some cutoff. The latter, which we will refer to as a simple truncation, is done in the quasilinear approximation discussed below but not, for example, in the various approximations (Brandenburg & Subramanian, 2005b; Blackman & Field, 2002). This is a common approach to reduced modeling of nonlinear systems, and one can expect it to work when the fluctuations are small compared to the mean field. However, in turbulent structure formation, the usual roles of perturbation and background are switched, that is, mean fields emerge as small modulations of order-one correlation functions that characterize turbulent fluctuations. Hence, the question of the validity of low-order closures becomes nontrivial.
In this paper, we are concerned with the popular closure called the first-order smoothing (Krause & Rädler, 1980) or second-order correlation approximation (Rädler, 1982). It implies that the mean-field evolution is determined only by second-order correlations of the fluctuations, which, in a broader context, is also known as the quasilinear approximation (Dodin, 2022). On the one hand, one can expect its validity domain to be extremely limited. It can be rigorously justified only for small magnetic Reynolds numbers or short correlation times (Brandenburg & Subramanian, 2005a; Rincon, 2019), and comparisons with direct numerical simulations often corroborate this expectation (Pipin & Proctor, 2008; Schrinner et al., 2005). On the other hand, the quasilinear approximation endures in its popularity as a workhorse that is too convenient to cast aside in analytical calculations (Squire & Bhattacharjee, 2015; Lingam & Bhattacharjee, 2016; Masada & Sano, 2014; Gopalakrishnan & Singh, 2023). Furthermore, in some cases, quasilinear calculations have been found to produce good agreement with direct numerical simulations (DNS) even outside of their formal validity domain (Käpylä et al., 2006).222Confusingly, various analytical closures and DNS can conflict and agree in various combinations (Zhou & Blackman, 2021). But this issue is beyond the scope of the present paper. It is therefore important to understand when, and how exactly, the quasilinear approximation fails. Answering this question requires exploring a mean-field model that retains high-order correlations. That is what the present paper is about.
1.2 Outline
Here, we explore structure formation in MHD turbulence as a modulational instability (Zakharov & Ostrovsky, 2009) (MI) of the flow-velocity and magnetic-field fluctuations comprising the background turbulence. (For a recent overview of this approach in application to drift-wave and hydrodynamic turbulence, see Zhu & Dodin (2021); Tsiolis et al. (2020).) For simplicity, we restrict our consideration to two-dimensional (2-D) turbulence. Although bounded planar flows cannot sustain long-lasting magnetic fields in two dimensions (an anti-dynamo theorem by Zeldovich (1957)), 2-D turbulence nevertheless hosts rich physics and has long served as popular testing grounds for various aspects of MHD turbulence theory due to its (relative) tractability (Pouquet, 1978; Biskamp & Schwarz, 2001; Nazarenko, 2007; Giorgio et al., 2017; Biskamp et al., 1996). The goal of this paper is to complement those works with a detailed study of MIs using both analytical calculations and DNS.
Specifically, we study how energy is transferred from primary fluctuations to mean magnetic field and mean velocity during the early stages of structure formation, when these mean fields are weak and the primary structure can be treated as fixed. To analyze this process in detail, we assume a maximally reduced model of the turbulent fluctuations, namely, a spatially monochromatic primary structure. The simplicity of this model has been detracting attention from it in the literature in favor of more realistic turbulence settings, but there is more to it that meets the eye. Even with a monochromatic primary structure, the modulational dynamics remains remarkably intricate and, depending on the system parameters, can change drastically (figure 1) in ways that are not captured by the common closures or obvious from the standard eigenmode analysis (Friedberg, 1987). However, the simplicity of our model helps unravel this mystery.
We find that, when the primary structure truly experiences a MI, this MI can be described well with typical truncated models that neglect high-order correlations. However, already in adjacent regimes, such truncated models can fail spectacularly and produce false positives for instability. To study this process in detail, we propose an ‘extended’ quasilinear theory (XQLT) that treats the primary structure as fixed but includes the entire spectrum of modulational harmonics (as opposed to just the low-order harmonics, as usual). From XQLT, also corroborated by DNS, we find that the difference between said regimes is due to a fundamental difference in the structure of the modulational spectrum. For unstable modes, the spectrum is exponentially localised at low harmonic numbers, so truncated models are justified. But this localization does not always occur. At other parameters, modulational modes turn into constant-amplitude waves propagating down the spectrum, unimpeded until dissipative scales. These spectral waves are self-maintained as global modes with real frequencies and cause ballistic energy transport along the spectrum, breaking the feedback loops that could otherwise sustain MI. The ballistic transport drains energy from the primary structure at a constant rate until the primary structure is depleted. Notably, these effects are overlooked if one assumes from the start that the modulation spectrum is confined and that, accordingly, dissipation entirely vanishes in the limit of zero viscosity and resistivity.
A comment is due here regarding how the established truncated MHD closures fit into this picture. Given the indispensability of such simple closures, a higher-resolution understanding of their limitations can help guide and interpret their inevitable application. For example, we show that both conservative and dissipative corrections to ideal MHD tend to restore the validity of the quasilinear approximation. In this sense, ideal incompressible MHD is a ‘singular’ theory that is particularly sensitive to the accuracy of the closure within mean-field models. That said, it is an important conclusion of our work that, unless deviations from ideal incompressible MHD are substantial, changing the turbulence parameters even slightly can produce qualitative inaccuracies in an otherwise workable reduced model. Therefore, efforts to extrapolate closures or infer them from general considerations should be supplemented with first-principle calculations based on the underlying modulational dynamics. As a step in this direction, we propose a spectral closure that captures both the propagating spectral waves and MIs within our model. (But, of course, more work remains to be done for generic MHD turbulence.)
The paper is organised as follows. In section 2, we present the basic equations and derive the XQLT. In section 3, we examine the ability of truncated models of low-order to predict the MI rate. In section 4, we introduce spectral waves and describe their properties. In section 5, we propose a closure that can simultaneously capture MIs and spectral waves. In section 6, we demonstrate the impact of corrections to ideal MHD on the modulational dynamics. In section 7, we summarise our main results. Auxiliary calculations are presented in appendices.

2 Extended quasilinear theory
2.1 Base model
2.1.1 Incompressible resistive MHD
As a base model, we assume incompressible resistive MHD with homogeneous mass density . The corresponding governing equations are
(1a) | |||
(1b) | |||
Here is the fluid velocity; is the local Alfvén velocity (the symbol denotes definitions), i.e. rescaled magnetic field ; and is the normalised total pressure, with being the kinetic pressure. Also, is the viscosity and is the resistivity, both of which are assumed either constant or negligible (except at small enough scales). Due to incompressibility and magnetic Gauss’s law, one also has | |||
(1c) |
In order to put (1) in a more symmetric form, let us rewrite them in terms of the two Elsässer fields (Elsasser, 1950), which are also solenoidal:
(2) |
This leads to two coupled equations for :
(3) |
where and . The normalised total pressure can be found as follows. By taking the divergence of (1a) and using (2), one obtains
(4) |
Let us introduce the wavevector operator , so . Let us also assume some appropriate (say, periodic) boundary conditions. Then, (4) yields
(5) |
whence in (3) can be expressed through . Alternatively, can be eliminated from (3) by taking the curl of this equation and rewriting the result in terms of the Elsässer vorticities
(6) |
Indeed, due to (2), one can express using a vector potential such that . Let us assume the gauge such that . Then,
(7) |
whence
(8) |
(Here, we assume that have zero spatial average, so is invertible.) Then, (3) can be expressed through alone:
(9) |
2.1.2 2-D collisionless model
For simplicity, below we adopt a 2-D model, meaning that lie in the plane and . In this case, the only potentially nonzero component of is the -component, . We also forgo an explicit treatment of the viscosities below. (However small, though, these viscosities remain nonnegligible in that they determine absorbing boundary conditions at infinity in the spectral space; see section 4.) Then, the vector equation (9) can be replaced with a scalar equation for :
(10) |
where is the Levi–Civita symbol with the third index fixed to . Note that the right-hand side of (10) vanishes whenever or is zero. This means that any stationary is a solution as long as is zero and vice versa.
2.1.3 Fourier representation
Assuming the Fourier representation
(11) |
where , one arrives at the following equation for the Fourier coefficients :
(12) |
where the dot is the time derivative, is the Kronecker delta, are the coupling coefficients given by
(13) |
and is the unit vector along the th axis. Accordingly, the kinetic and magnetic energy are given by
(14a) | ||||
(14b) |
where , and are the corresponding spectral energy densities. Then, the total energy density is
(15) |
where is the spectral total-energy density.
2.2 Harmonic coupling mediated by a primary structure
2.2.1 Equation for the modulational spectrum
Let us explore modulational stability of a Fourier harmonic with a given wavevector and the corresponding order-one Fourier amplitudes . We will call it the primary harmonic or, if multiple s are present, primary structure. Let us choose axes such that and assume a perturbation with a wavevector . As can be seen from (13), nontrivial coupling requires a component of perpendicular to , and the component of parallel to does not qualitatively affect the modulational dynamics.333As shown below, the modulational dynamics is determined mostly by the asymptotic form of the coefficients and (introduced in section 2.2.2) at large , and this form is insensitive to the component of parallel to . For simplicity then, let us assume . Let us also assume , , and same for any other , where is a small parameter. (Remember that means, loosely speaking, ‘scales as or smaller’ but not necessarily ‘of order ’.) Then, by linearizing (12) in , one obtains the following chain of equations:
(16) |
where and with integer . For all other , one obtains . In particular, this means that can be considered fixed; i.e. . In terms of the Elsässer fields, this corresponds to a primary structure
(17) |
where and .
For the modulation energy density and the primary-wave energy density,
(18a) | |||
(18b) |
one has
(19a) | |||
(19b) |
where ‘c.c.’ stands for ‘complex conjugate’. Using
(20) |
for , one finds that our approximate equations conserve the total energy density exactly within this approximation. (For brevity, from now on we will refer to the energy densities simply as energies.) We will assume that the initial modulational energy is negligible, so , where , and we will also use the following dimensionless energies:
(21a) | |||
(21b) | |||
(21c) | |||
(21d) |
2.2.2 Dimensionless equations
In order to reduce the number of free parameters, let us perform a variable transformation :
(22) |
where . Then, (16) becomes
(23) |
where and and are given by
(24a) | |||
(24b) |
Note that these coefficients depend only on the ratio rather than on and separately. From (2.2.2), one can also see that the individual phases and per se are, expectedly, unimportant and the dynamics is affected by these phases only in the combination .
It is also convenient for our purposes to introduce
(25) |
as the new dimensionless time, as well as , so that
(26) |
In particular, and correspond to structures consisting only of and , respectively, and corresponds to a ‘balanced’ background with . For simplicity, will be assumed from now on throughout the paper (except where specified otherwise). In this case, one has
(27) |
where and are the kinetic and magnetic energy densities in the primary mode respectively. Hence, can be understood as the parameter that determines the relative weights of the kinetic and magnetic-field energy in the primary-mode energy. In particular, corresponds to a primary structure that involves only velocity perturbations, while corresponds to a primary structure that involves only magnetic-field perturbations.
Using this notation, one can express (2.2.2) in the following compact form:
(28) |
(the dot denotes ), or even more compactly as
(29) |
Here, is a two-component column vector (the symbol ⊺ denotes transposition), is an infinite-dimensional block vector consisting of , the matrices are given by
(30) |
and is the following block matrix:
It is readily seen then that the system’s dynamics is controlled only by the dimensionless parameters , , and , while and determine only its characteristic temporal and spatial scales, respectively.
Equations (28) and (29) are similar to the equations that describe a one-dimensional chain of coupled linear oscillators. The th elementary cell of the chain consists of two different oscillators characterised by and , respectively. Similar equations emerge in studies of phase-space turbulence for the coupling between Hermite moments of the particle phase-space probability distribution (Hammett et al., 1993; Nastac et al., 2023; Adkins & Schekochihin, 2018; Parker, 2016; Kanekar et al., 2015). Throughout this work, we use (28) and (29) to study the nature of collective oscillations in the chain of modulational harmonics, which can be understood as Floquet modes of the linearised system. Unstable oscillations of this system (i.e. MIs) lead to structure formation on top of the primary structure.
One can also consider (29) as a Schrödinger equation with a Hamiltonian . This Hamiltonian is not Hermitian, because modulations are parametrically coupled with the primary mode (through which energy can be either gained or lost) and dissipate at . At the same time, this Hamiltonian is invariant under the time-reversal transformation () and the parity transformation in the spectral space (, ). This makes the system (28) -symmetric (Bender, 2005; Bender et al., 2019). Depending on the balance of sources and sinks, such systems can support modes with entirely real frequencies (unbroken symmetry) and pairs of modes whose frequencies are mutually complex-conjugate (broken symmetry). This will be discussed further in section 4.

As long as the underlying ordering assumption [] holds, XQLT (28) provides an excellent approximation of the nonlinear modulational dynamics of (3) (figure 2). However, practical applications of XQLT require truncations of this system. In the remainder of this work, we discuss to what extent such truncations can be adequate and compare our analytical results to DNS of (28), in lieu of the full (3).
3 Truncated models
3.1 Basic equations
A common way to truncate a problem like (29) is to postulate that all with are negligible. One can also understand this as imposing reflective boundary conditions in the oscillator chain :
(31) |
Retained in this case are harmonics with wavevectors and , with . This means that the resulting system has degrees of freedom. We call this procedure -mode truncation (MT). The corresponding truncation of will be denoted as , and the corresponding truncation of will be denoted as , so (29) becomes
(32) |
Because of (31), eigenmodes of this system can be understood as standing waves in the oscillator chain and have the form , where are global frequencies and are constant ‘polarization vectors’. According to (29), these vectors satisfy , where and is a unit matrix. Then, can be found from
(33) |
and MIs correspond to modes with .
The success of this approach hinges on the assumption that higher harmonics truly remain negligible. In other words, a MT should be able to adequately describe the evolution of a modulational mode if its eigenvector is heavily weighted towards the low-order harmonics. Below, we explore to what extent this assumption is satisfied in various regimes.
3.2 Growth rates
The lowest-order MT is 4MT, which corresponds to . Within this model, the primary harmonic with is assumed to interact with the modulational mode at only through two sidebands ; then, and
(34) |
(This model can be understood as quasilinear, because, although the modulational dynamics remains nonlinear, the second- and higher-order harmonics of the perturbation are neglected.) The 4MT equations yield
(35) |
[Note that these are normalised frequencies corresponding to the normalised time . To obtain the actual physical frequencies, one must multiply the right-hand side of (35) by .] Assuming , one finds that two out of four branches of this dispersion relation are unstable at . The corresponding growth rate is maximised at and at the value
(36) |
(from now on, we assume for clarity of notation), and the corresponding polarization vectors are as follows:
(37) |
The case can be recognised as a purely hydrodynamic Kelvin–Helmholtz instability (KHI), i.e. one that does not involve magnetic field. The case can be understood as the MHD generalization of the KHI.
Potentially more accurate is a model with , or 6MT, which accounts for harmonics with ; then, and
(38) |
One can derive an analytical expression for from here just like we derived (35) from (34). However, this expression is cumbersome and not particularly instructive, so it is not presented explicitly. Truncations with larger , albeit also explored by us, will not be presented either for the same reason.
Figure 3 shows a comparison of the 4MT and 6MT predictions and the MI growth rates inferred numerically from nonlinear DNS of (9). Note that the truncated models quantitatively agree with each other and with the DNS at some parameters but drastically disagree at other parameters. In particular, the 4MT predicts that is an even function of , while the 6MT predicts that this is not the case. Furthermore, the DNS predicts that, for example, at , the system is stable at all [figure 3(b)]. Let us discuss this in detail.


As expected from the analytical formula (36) based on the 4MT, and as we have also found numerically, MI is typically suppressed at ; hence, below we focus on the regime . A comparison of the growth rate predicted by nonlinear DNS and truncated models in this range is presented figure 5. The corresponding primary modes with are modulationally unstable, and the growth rates predicted by 4MT and 6MT are in good agreement with DNS. Such primary structures are dominated by the velocity field, [see (27)], and thus will be called -dominated primary modes (VDPMs). At , primary structures are dominated by the magnetic field, , and thus will be called -dominated primary modes (BDPMs). As seen in figure 5, BDPMs are modulationally stable, but truncated models predict otherwise. Figures 4(a) and (b) show the discrepancy between the predictions of nonlinear DNS, 4MT, and 6MT for representative parameters, specifically, and . (Stability is primarily determined by and . Deviations of from result only in quantitative adjustments, unless is close to or .) In other words, truncated modes tend to overestimate the growth rate and systematically produce false positives for instability. Figure 5 shows that, although the magnitude of disagreement decreases with , the systematic overprediction of instability persists.
The reason for this overprediction can be understood by analyzing the eigenmode structure. (See also appendix A for an alternative explanation.) As to be discussed in section 4, unstable modes are evanescent spectral waves, whose exponentially decrease with [figure 6(a)]:
(39) |
(We assume for simplicity, so and the upper index in can be omitted.) That is why truncated models correctly predict MI for modes that are actually unstable. The spectral scale depends on the system parameters, and the smaller the more accurate MT is. At some parameters, though, particularly when , becomes large or even infinite, such that asymptotes to a nonzero constant at [figure 6(b)]. In this case, MT is bound to fail. The corresponding modes are propagating spectral waves (PSWs). While they also receive energy from the primary structure at low , PSWs transport this energy along the spectrum to . There, the energy is unavoidably dissipated by viscosity or resistivity, however small those are. This dissipation makes PSWs more stable than any MT would predict, because MTs assume that the mode energy forever resides at small , where dissipation is small or zero. Below, we discuss these effects in more detail.

4 Spectral waves
4.1 Dynamics at large
First, let us consider spectral waves at . In this limit, one has and , so (29) yields two decoupled wave equations for and :
(40a) | ||||
(40b) |
These equations allow solutions in the form of monochromatic waves:
(41) |
with constant amplitude , frequency , and ‘wavenumber’ . The quotation marks are added as a reminder that the corresponding waves propagate in the spectral space rather than in the physical space. Also note that are defined unambiguously only within the first Brillouin zone, .
From (40), one readily finds that spectral waves obey the following dispersion relations:
(42) |
where and . Accordingly,spectral waves in the space along the channel have the group velocity
(43) |
and can propagate either up or down the spectrum (figure 7). The dependence of and on can be removed by a gauge transformation. Specifically, becomes the true wavenumber if one adopts the variables instead of . Also notably, to the extent that the (large) index can be approximately considered a continuous variable, (40) can be written as usual nondispersive-wave equations for :
(44) |
This model corresponds to the small- limit of (42), that is, .
The above equations can be used to describe PSW packets localised at large but not the global eigenmodes (because the latter involve dynamics at small ). In particular, (42) are not enough to find the global-mode frequencies. Yet they allow one to determine the mode structure at if one knows the mode frequency from other considerations (or, vice versa, to find the mode frequency if are known). In particular, unstable modes have complex , so, according to (42), their asymptotic wavenumber cannot be real. This explains why unstable modes are evanescent. In contrast, for real , (42) allows for real wavenumbers (provided that ), i.e. predicts PSWs. These results are corroborated by DNS of (29). For example, figure 6 shows the mode structures inferred from the asymptotic dynamics of at large enough for the initial conditions
(45) |
Here, is a constant small amplitude (within the linear approximation, one can always rescale such that ), and are parameters that change the polarization of the initial conditions while keeping the initial modulation energy fixed. (The specific values of are given in the captions of figures in which initial condition dependent results of DNS are presented.) This form of the initial conditions is chosen to emulate a simple modulation of the primary mode.

The fact that the properties of spectral waves are determined only by the asymptotic properties of and makes these waves particularly robust. In particular, note that the asymptotic form of and at remains the same even when and are not orthogonal, so the above results readily extend to general . Likewise, a similar picture holds also for three-dimensional interactions, although the mode polarization can be more complicated in this case. Notably, PSWs provide ballistic rather than diffusive (or super-diffusive) energy transport along the spectrum. This distinguishes them from the cascades that are commonly discussed in turbulence theories and result from eddy–eddy interactions, or wave–wave collisions (Galtier et al., 2000).

4.2 Global modes in the form of PSWs
In realistic settings, spectral waves are excited at finite and propagate down the spectrum. Evanescent waves reach [see (39)] in finite time , get reflected, and eventually (asymptotically) settle as stationary standing waves on time scales of the order of a few . Such waves can be adequately described by truncated models. In contrast, PSWs continue to propagate toward infinity indefinitely (until they dissipate at scales where viscosity or resistivity is no longer negligible). Thus, they never develop components propagating up the spectrum at large and so they never become quite like the standing-wave eigenmodes predicted by truncated models (section 3.1). This means that actual PSWs cannot be adequately described by analyzing MT in principle. Instead, they should be considered in the context of the initial-value problem, much like Langmuir waves appear in plasma kinetic theory within Landau’s initial-value approach as opposed to the Case–van Kampen true-eigenmode approach (Stix, 1992).
Consequently, even though (29) has infinitely many degrees of freedom, the number of relevant global modes, i.e. those that propagate towards infinity, is finite. We find that there are only two of them, which can be attributed to the fact that . (Likewise, at a given wavenumber, only one, Langmuir, branch of relevant electrostatic waves in electron plasma remains relevant after transients are gone.) For example, for , we find from DNS that
(46) |
This dependence and the corresponding mode structures are illustrated in figure 8. Each of the two modes has two wavenumbers associated with it: one determines at , and the other one determines at (figure 9). Thus, there are four overall, where denotes the corresponding component of , and denotes the direction of propagation ( is the sign of the group velocity at ). They can be found by combining (46) with (42) and applying , i.e. . This yields
(47a) | |||||
(47b) |
where and the values of are defined modulo the Brillouin zone (i.e. should be understood as and so on). Remember, though, that this applies only to global eigenmodes. Transient waves propagating in the region can have any (figure 7).



The fact that the frequencies of these modes are real indicates that the modes are self-sustained notwithstanding the dissipation that they unavoidably experience at . The corresponding evolution of the wave spectrum is illustrated in figure 9(a) and the corresponding evolution in the physical space is shown in figure 10. This remarkable dynamics is understood from the fact that the energy drain via this dissipation is balanced by the energy injection from the primary mode at small . As seen from (19) and (16), the dimensionless modulational energy (21b), or
(48) |
is governed by
(49) |
where and are given by
(50) | |||
(51) |
Because , the terms represent the energy flux that is carried along the modulation spectrum and is conserved within each sub-channel . In contrast, can be understood as injection terms in that they also appear, with the opposite signs, in the equation for the primary wave,
(52) |
which follows from (20).
The linear spectral waves discussed so far correspond to the regime when the change of is negligible. Eventually, though, as higher harmonics are populated and thus absorb more energy, the primary wave will be depleted. This means, in particular, that no primary wave can be truly stationary. Even an arbitrarily small perturbation will generally launch a PSW, and this PSW will eventually deplete the primary wave.
4.3 Anomalous dissipation
Since a PSW mode carries energy towards , eventually, a large enough is reached where the energy is dissipated regardless of how small the viscosity and resistivity are. Thus, a PSW exhibits an effective, or ‘anomalous’, dissipation rate that is independent of and in the limit . This effect is different from the anomalous transport caused by eddy–eddy collisions in turbulence (for example, see Donzis et al. (2005)) in that the energy transport caused by a PSW is ballistic. As a result, is straightforward to calculate, which is done as follows.
As discussed in section 4.2, a global PSW at large has a flat mode structure, i.e. a structure with independent of . This structure establishes itself as an expanding ‘shelf’ whose edges (wave fronts) propagate across the modulational spectrum to at the group velocity (figure 11). Since the height of the shelf, (the overbar here denotes averaging over the PSW temporal period and over all within the shelf), remains constant, this process drains energy from the primary mode linearly in time:
(53) |
where we consider the dynamics average over the PSW temporal period. Hence,
(54) |
(The rate relative to the physical time , as opposed to , is times this .)
Let us again assume the initial conditions (45) and . Through DNS of (29), we find that the global PSW-mode amplitude is maximised when , irrespective of . (Any particular choice of that satisfies this condition affects only phases of the modulational dynamics and does not impact averaged quantities that determine .) This corresponds to the case when all modulational-seed energy is in the magnetic field; i.e. and . Figure 11 shows the corresponding anomalous dissipation rate normalised to the seed energy, along with its determining factors – the system-dependent PSW group velocity and the average spectral energy density , which is determined by the initial conditions. It can be seen that, for the MI unstable VDPMs (), spectral waves are relatively slow and have a small amplitude. The transition to modulational stability occurs at . This condition can be understood as a threshold beyond which (i.e. at ) PSWs provide a sufficiently fast escape route for the energy injected at small , such that the positive feedback loops [see (50)] supporting MIs can no longer be sustained. In the context of symmetry (section 2.2.2), the spectral group velocity can be understood as the effective coupling between the links in the oscillator chain, connecting the energy injection from the primary mode at small to the energy sink at . As increases with , the system transitions from broken to unbroken symmetry.

Also, notice the following. If modulations at multiple s are present, they launch independent cascades along and thus the drain on the shared primary mode will be additive. This regime is illustrated by figures 1(d)-(f), which show the modulational dynamics for a BDPM () seeded with noise. The rather nondescript modulational dynamics seen in figures 1(d) and (e) can be understood as the superposition of the many structures like that in figure 10 for various . Also, the linear-in-time depletion of the primary mode seen in figure 1(f) can be understood as the sum of the PSW-driven energy fluxes along the constituent modulational channels.
5 Unified closure
As discussed in section 3.1, naive MTs assume the perfectly reflecting boundary conditions (31) for spectral waves, thus precluding PSWs and ignoring potential dissipation at large . One can expect that, instead of (31), it would be more accurate to adopt the following closure in anticipation of spectral waves:
(55) |
(and similarly for ). The value of is found, for given , from (42):
(56) |
where , and we restrict our attention to the range to avoid discontinuities, a choice which is consistent with the range of observed solutions. The sign of the square root is chosen to enforce outward propagation at , which also enforces that unstable solutions exponentially decay in the direction of propagation .444A different choice of signs would also yield formally valid solutions, but would not have the properties that correspond to PSWs of physical interest. (Conversely, damped solutions grow in the direction of propagation.) As seen from figure 12, the resulting closure
(57) |
leads to reasonably accurate results already , both for MIs and PSWs.
Because the closure becomes exact only in the limit , it also yields spurious solutions (gray curves in figure 12) at finite . One can understand this from the analogy with the Case–van Kampen modes mentioned in section 4.2. These solutions become increasingly stable, and thus less of an issue, as increases. Also note that the closure adequately describes true MIs. This is explained by the fact that at large are exponentially small and do not matter for unstable modes anyway.

6 Quasilinear approximation beyond ideal MHD
As discussed in the previous sections, the existence of PSWs undermines the standard quasilinear approximation in application to ideal incompressible MHD. Given the ubiquity of quasilinear modeling in the literature, it may seem concerning that the quasilinear approximation can fail so spectacularly. Interestingly, though, the quasilinear approximation is somewhat more robust beyond the ideal-MHD limit, both due to conservative corrections and dissipation.
Let us discuss the former first. Without attempting to describe any particular physical system, let us consider the following modified version of (3):
(58) |
where is a constant parameter. The last term is intended as a simple ad hoc correction that, while causing deviation from ideal MHD, leaves the primary-mode evolution unaffected and preserves MHD’s key invariants, specifically, the energy and cross helicity (appendix B). Perhaps notably, this term introduces rotational asymmetry in the plane. Similar terms can appear due to a background magnetic field or differential rotation (Heinonen et al., 2023).
Taking for simplicity, one arrives at the following corresponding modification of the linear (2.2.2):
(59) |
where , , and , are as in (24). In the large- limit, one has , , , so one obtains the following scaling:
(60) |
This shows that the harmonic magnitude decreases rapidly (super-exponentially) with , and thus low-order truncations may be justified. Note that although the opposite scaling, is also formally possible, such modes cannot be excited, as is the case with inward propagating PSWs. Figure 13(a) shows that, indeed, the agreement between analytical QL growth rates and nonlinear DNS improves as the parameter increases. The agreement becomes nearly perfect for . Figure 13(b) shows that the same effect can be achieved if, instead of the term in (58), one introduces sufficiently strong viscosity. In this case, one also has a modified (2.2.2) with the exact form of (59), but with , where (with for simplicity). Again, the agreement becomes nearly exact for .

7 Summary
In this paper, we explore structure formation in two-dimensional MHD turbulence as a modulational instability (MI) of turbulent fluctuations. We focus on the early stages of structure formation and consider simple backgrounds that allow for a tractable model of the MI while retaining the full chain of modulational harmonics. This approach allows for a systematic examination of the importance of high-order correlations that are typically ignored in mean-field theories.
We find that, when the primary structure truly experiences a MI, this MI can be described well with typical truncated models that neglect high-order correlations. However, already in adjacent regimes, such truncated models can fail spectacularly and produce false positives for instability. To study this process in detail, we propose an ‘extended’ quasilinear theory (XQLT) that treats the primary structure as fixed but includes the entire spectrum of modulational harmonics (as opposed to just the low-order harmonics, as usual). From XQLT, also corroborated by DNS, we find that the difference between said regimes is due to a fundamental difference in the structures of the modulational spectra. For unstable modes, the spectrum is exponentially localised at low harmonic numbers, so truncated models are justified. But this localization does not always occur. At other parameters, modulational modes turn into constant-amplitude waves propagating down the spectrum, unimpeded until dissipative scales. These spectral waves are self-maintained as global modes with real frequencies and cause ballistic energy transport along the spectrum, breaking the feedback loops that could otherwise sustain MI.
The ballistic transport by PSWs drains energy from the primary structure at a constant rate until the primary structure is depleted. Because global PSWs exist at almost all parameters, this means that almost any primary structure in ideal incompressible MHD will eventually be depleted. This means, in particular, that sustainability of MHD structures is not entirely limited to the issue of exponentially growing linear instabilities, as PSWs must also be taken into consideration. To describe them within a reduced model, we propose a closure that successfully captures both the propagating spectral waves and MIs for the assumed primary structure.
Finally, we find that departures from ideal MHD constrains the form of modulational eigenmodes, in turn suppressing the amplitude and impact of high harmonics. This allows us to end on an informed yet optimistic note regarding the applicability of the quasilinear approximation for structure formation in dispersive forms of MHD. That said, it is an important conclusion of our work that, unless deviations from ideal incompressible MHD are substantial, changing the turbulence parameters even slightly can utterly destroy the applicability of an otherwise workable reduced model. An understanding of the complex modulational dynamics supported by (nearly) incompressible MHD provides important context in the interpretation of existing simple closures and potentially opens the path to building more reliable alternatives.
This research was supported by the U.S. Department of Energy through contract No. DE-AC02-09CH11466.
Appendix A Quasilinear time scale
The quasilinear approximation holds when the quasilinear MI growth rate exceeds the rate at which energy escapes to higher harmonics. In the main text, we take the latter to be the group velocity of the PSW global mode. However, one might object that the properties of PSWs are well defined only at large , while the departure from quasilinear occurs at the modest . It may be instructive then to develop an alternative argument that would not assume large . Here, we propose such an argument by considering the initial-value problem.
For simplicity, let us assume the initial conditions such that only is nonzero, with all other are zero. We also adopt and as representative cases for VDPMs and BDPMs respectively. For these parameters, (28) can be further reduced due to the parity of the initial conditions. Also, the coupling matrices become particularly simple:
(61) |
For the case , we assume assume at . Then, as well, and thus at all times, i.e. . We will refer to this case as -only initial conditions (VIC). The corresponding dynamics can be described by a single function , which satisfies the equation
(62) |
For the case , we assume at . Similarly to the VIC case, this implies that . We will refer to this case as -only initial conditions (BIC). The corresponding dynamics can be described by a single function , which satisfies the equation
(63) |
To estimate the nonlinear time scale on which might become comparable with , let us consider (62) and (63) for at early times, when remains negligible:
(64) |
Initially, , so the second term in the brackets can be neglected in both cases and the nonlinear time scale can be readily estimated:
(65) |
In contrast, the quasilinear time scale , which follows from the 4MT equations (34), is identical in both cases:
(66) |
The ratio of time scales is then
(67) |
For the range of interest (), this always yields
(68) |
(For example, at , one has , and .) Thus, quasilinear is sufficient for VIC but not for BIC, in agreement with our numerical results.
Appendix B Properties of (58)
References
- Adkins & Schekochihin (2018) Adkins, T. & Schekochihin, A. A. 2018 A solvable model of Vlasov-kinetic plasma turbulence in Fourier–Hermite phase space. J. Plasma Phys. 84 (1), 905840107.
- Bender (2005) Bender, C. M. 2005 Introduction to -symmetric quantum theory. Contemp. Phys. 46, 277.
- Bender et al. (2019) Bender, C. M., Dorey, P. E., Dunning, C., Fring, A., Hook, D. W., Jones, H. F., Kuzhel, S., Lévai, G. & Tateo, R. 2019 PT Symmetry. World Scientific Publishing Europe Ltd.
- Beresnyak (2019) Beresnyak, A. 2019 MHD turbulence. Living Rev. Comput. Astrophys. 5 (1), 2.
- Biskamp (2003) Biskamp, D. 2003 Magnetohydrodynamic Turbulence. Cambridge Univ. Press.
- Biskamp & Schwarz (2001) Biskamp, D. & Schwarz, E. 2001 On two-dimensional magnetohydrodynamic turbulence. Phys. Plasmas 8 (7), 3282–3292.
- Biskamp et al. (1996) Biskamp, D., Schwarz, E. & Drake, J. F. 1996 Two-dimensional electron magnetohydrodynamic turbulence. Phys. Rev. Lett. 76 (8), 1264.
- Blackman & Field (2002) Blackman, E. G. & Field, G. B. 2002 New dynamical mean-field dynamo theory and closure approach. Phys. Rev. Lett. 89, 265007.
- Brandenburg (2018) Brandenburg, A. 2018 Advances in mean-field dynamo theory and applications to astrophysical turbulence. J. Plasma Phys. 84 (4), 735840404.
- Brandenburg et al. (2012) Brandenburg, A., Sokoloff, D. & Subramanian, K. 2012 Current status of turbulent dynamo theory: from large-scale to small-scale dynamos. Space Sci. Rev. 169, 123–157.
- Brandenburg & Subramanian (2005a) Brandenburg, A. & Subramanian, K. 2005a Astrophysical magnetic fields and nonlinear dynamo theory. Phys. Rep. 417 (1), 1–209.
- Brandenburg & Subramanian (2005b) Brandenburg, A. & Subramanian, K. 2005b Minimal tau approximation and simulations of the alpha effect. Astron. Astrophys. 439 (3), 835–843.
- Dodin (2022) Dodin, I. Y. 2022 Quasilinear theory for inhomogeneous plasma. J. Plasma Phys. 88, 905880407.
- Donzis et al. (2005) Donzis, D. A., Sreenivasan, K. R. & Yeung, P. K. 2005 Scalar dissipation rate and dissipative anomaly in isotropic turbulence. J. Fluid Mech. 532, 199–216.
- Elsasser (1950) Elsasser, W. M. 1950 The hydromagnetic equations. Phys. Rev. 79 (1), 183.
- Friedberg (1987) Friedberg, J. P. 1987 Ideal Magnetohydrodynamics. New York: Plenum Press.
- Galtier et al. (2000) Galtier, S., Nazarenko, S. V., Newell, A. C. & Pouquet, A. 2000 A weak turbulence theory for incompressible magnetohydrodynamics. J. Plasma Phys. 63 (5), 447–488.
- Giorgio et al. (2017) Giorgio, E. De, Servidio, S. & Veltri, P. 2017 Coherent structure formation through nonlinear interactions in 2D magnetohydrodynamic turbulence. Sci. Rep. 7, 13849.
- Gopalakrishnan & Singh (2023) Gopalakrishnan, K. & Singh, N. K. 2023 Mean-field dynamo due to spatio-temporal fluctuations of the turbulent kinetic energy. J. Fluid Mech. 973, A29.
- Gruzinov & Diamond (1994) Gruzinov, A. V. & Diamond, P. H. 1994 Self-consistent theory of mean-field electrodynamics. Phys. Rev. Lett. 72 (11), 1651.
- Hammett et al. (1993) Hammett, G. W., Beer, M. A., Dorland, W., Cowley, S. C. & Smith, S. A. 1993 Developments in the gyrofluid approach to tokamak turbulence simulations. Plasma Phys. Control. Fusion 35, 973.
- Heinonen et al. (2023) Heinonen, R. A., Diamond, P. H., Katz, M. F. D. & Ronimo, G. E. 2023 Generation of momentum transport in weakly turbulent -plane magnetohydrodynamics. Phys. Rev. E 107, 025202.
- Hussain (1986) Hussain, A. K. M. Fazle 1986 Coherent structures and turbulence. J. Fluid Mech. 173, 303–356.
- Kanekar et al. (2015) Kanekar, A., Schekochihin, A. A., Dorland, W. & Loureiro, N. F. 2015 Fluctuation-dissipation relations for a plasma-kinetic Langevin equation. J. Plasma Phys. 81 (1), 305810104.
- Käpylä et al. (2006) Käpylä, P. J., Korpi, M. J., Ossendrijver, M. & Stix, M. 2006 Magnetoconvection and dynamo coefficients - III. -effect and magnetic pumping in the rapid rotation regime. Astron. Astrophys. 455 (2), 401–412.
- Karimabadi et al. (2013) Karimabadi, H., Roytershteyn, V., Wan, M., Matthaeus, W. H., Daughton, W., Wu, P., Shay, M., Loring, B., Borovsky, J., Leonardis, E., Chapman, S. C. & Nakamura, T. K. M. 2013 Coherent structures, intermittent turbulence, and dissipation in high-temperature plasmas. Phys. Plasmas 20 (1), 012303.
- Kraichnan (1977) Kraichnan, R. H. 1977 Eulerian and Lagrangian renormalization in turbulence theory. J. Fluid Mech. 83 (2), 349–374.
- Krashennikov et al. (2008) Krashennikov, S. I., D’Ippolito, D. A. & Myra, J. R. 2008 Recent theoretical progress in understanding coherent structures in edge and SOL turbulence. J. Plasma Phys. 74 (5), 679–717.
- Krause & Rädler (1980) Krause, F. & Rädler, K. H. 1980 Mean-field Magnetohydrodynamics and Dynamo Theory. Oxford: Pergamon Press.
- Lingam & Bhattacharjee (2016) Lingam, M. & Bhattacharjee, A. 2016 Hall current effects in mean-field dynamo theory. Astrophys. J. 829 (1), 51.
- Masada & Sano (2014) Masada, Y. & Sano, T. 2014 Mean-field modeling of an dynamo coupled with direct numerical simulations of rigidly rotating convection. Astrophys. J. Lett. 794 (1), L6.
- Moffatt (1978) Moffatt, H. K. 1978 Field Generation in Electrically Conducting Fluids. Cambridge Univ. Press.
- Nastac et al. (2023) Nastac, M. L., Ewart, R. J., Sengupta, W., Schekochihin, A. A., Barnes, M. & Dorland, W. D. 2023 Phase-space entropy cascade and irreversibility of stochastic heating in nearly collisionless plasma turbulence, arXiv: 2310.18211.
- Nazarenko (2007) Nazarenko, S. 2007 2D enslaving of MHD turbulence. New J. Phys. 9 (8), 307.
- Nicklaus & Stix (1988) Nicklaus, B. & Stix, M. 1988 Corrections to first order smoothing in mean-field electrodynamics. Geophys. Astrophys. Fluid Dyn. 43 (2), 149–166.
- Parker (2016) Parker, J. T. 2016 Gyrokinetic simulations of fusion plasmas using a spectral velocity space representation, arXiv: 1603.04727.
- Pipin & Proctor (2008) Pipin, V. V. & Proctor, M. R. E. 2008 Closure tests for mean field magnetohydrodynamics using a self-consistent reduced model. Mon. Not. R. Astron. Soc. 388 (1), 367–374.
- Pouquet (1978) Pouquet, A. 1978 On two-dimensional magnetohydrodynamic turbulence. J. Fluid Mech. 88 (1), 1–16.
- Pouquet et al. (1976) Pouquet, A., Frisch, U. & Léorat, J. 1976 Strong MHD helical turbulence and the nonlinear dynamo effect. J. Fluid Mech. 77 (2), 321–354.
- Rädler (1982) Rädler, K. H. 1982 On dynamo action in the high-conductivity limit. Geophys. Astrophys. Fluid Dyn. 20 (3-4), 191–211.
- Rädler (2007) Rädler, K. H. 2007 Mean-Field Dynamo Theory: Early Ideas and Today’s Problems, pp. 55–72. Dordrecht: Springer Netherlands.
- Rincon (2019) Rincon, F. 2019 Dynamo theories. J. Plasma Phys. 85 (4), 205850401.
- Rincon et al. (2016) Rincon, F., Califano, F., Schekochihin, A. A. & Valentini, F. 2016 Turbulent dynamo in a collisionless plasma. Proc. Natl. Acad. Sci. U.S.A. 113 (15), 3950–3953.
- Schekochihin (2022) Schekochihin, A. A. 2022 MHD turbulence: a biased review. J. Plasma Phys. 88 (5), 155880501.
- Schrinner et al. (2005) Schrinner, M., K.-H. Rädler, D., Schmitt, Rheinhardt, M. & Christensen, U. 2005 Mean-field view on rotating magnetoconvection and a geodynamo model. Astron. Nachrichten 326 (3-4), 245–249.
- Smolyakov et al. (2000) Smolyakov, A. I., Diamond, P. H. & Malkov, M. 2000 Coherent structure phenomena in drift wave–zonal flow turbulence. Phys. Rev. Lett. 84, 491–494.
- Squire & Bhattacharjee (2015) Squire, J. & Bhattacharjee, A. 2015 Electromotive force due to magnetohydrodynamic fluctuations in sheared rotating turbulence. Phys. Rev. E 92, 053101.
- Stix (1992) Stix, T. H. 1992 Waves in Plasmas. New York: AIP.
- Tobias (2021) Tobias, S. M. 2021 The turbulent dynamo. J. Fluid Mech. 912, P1.
- Tsiolis et al. (2020) Tsiolis, V., Zhou, Y. & Dodin, I. Y. 2020 Structure formation in turbulence as an instability of effective quantum plasma. Phys. Lett. A 384, 126377.
- Zakharov & Ostrovsky (2009) Zakharov, V. E. & Ostrovsky, L. A. 2009 Modulation instability: The beginning. Physica D 238, 540.
- Zeldovich (1957) Zeldovich, Y. B. 1957 The magnetic field in the two-dimensional motion of a conducting turbulent fluid. Sov. Phys. JETP 4, 460–462.
- Zhou & Blackman (2021) Zhou, H. & Blackman, E. G. 2021 On the shear-current effect: toward understanding why theories and simulations have mutually and separately conflicted. Mon. Not. R. Astron. Soc. 507 (4), 5732–5746.
- Zhu & Dodin (2021) Zhu, H. & Dodin, I. Y. 2021 Wave-kinetic approach to zonal-flow dynamics: recent advances. Phys. Plasmas 28, 032303.