Hostname: page-component-89b8bd64d-rbxfs Total loading time: 0 Render date: 2026-05-07T08:16:22.867Z Has data issue: false hasContentIssue false
  • English
  • Français

Energetic bounds on gyrokinetic instabilities. Part 2. Modes of optimal growth

Published online by Cambridge University Press:  17 June 2022

G.G. Plunk Open the ORCID record for G.G. Plunk [Opens in a new window]  and
P. Helander Open the ORCID record for P. Helander [Opens in a new window]
G.G. Plunk*
Affiliation:
Max Planck Institute for Plasma Physics, 17491 Greifswald, Germany
P. Helander
Affiliation:
Max Planck Institute for Plasma Physics, 17491 Greifswald, Germany
*
†Email address for correspondence: gplunk@ipp.mpg.de
Rights & Permissions [Opens in a new window]

Abstract

We introduce modes of instantaneous optimal growth of free energy for the fully electromagnetic gyrokinetic equations. We demonstrate how these ‘optimal modes’ arise naturally from the free energy balance equation, allowing its convenient decomposition, and yielding a simple picture of energy flows. Optimal modes have a number of other favourable features, such as their low dimensionality, efficiency of computation and the fact that their growth rates provide a rigorous and ‘tight’ upper bound on both the nonlinear growth rate of energy, and the linear growth rate of traditional gyrokinetic (normal mode) instabilities. We provide simple closed-form solutions for the optimal growth rates in a number of asymptotic limits, and compare these with our previous bounds.

Keywords

plasma instabilitiesplasma confinementplasma nonlinear phenomena

Information

Type
Research Article
Information
Journal of Plasma Physics , Volume 88 , Issue 3 , June 2022 , 905880313
Check for updates
Creative Commons
Creative Common License - CCCreative Common License - BYCreative Common License - NC
This is an Open Access article, distributed under the terms of the Creative Commons Attribution-NonCommercial licence (http://creativecommons.org/licenses/by-nc/4.0), which permits non-commercial re-use, distribution, and reproduction in any medium, provided the original article is properly cited. The written permission of Cambridge University Press must be obtained prior to any commercial use.
Copyright
Copyright © The Author(s), 2022. Published by Cambridge University Press

1. Introduction

This is Part 2 in a series, in which we develop a linear and nonlinear stability theory based on gyrokinetic energy balance. Whereas Part 1 emphasizes simple and rigorous upper bounds, this Part 2 shifts focus to tightening these bounds (making them exactly realizable under the right initial conditions), fully generalising their validity (allowing fully electromagnetic fluctuations including non-zero $\delta B_\parallel$) and introducing the notion of a complete orthogonal set of ‘optimal modes’ associated with these bounds.

Gyrokinetic stability analysis serves as the foundation of turbulence and transport theory for magnetic fusion devices, with linear calculations being the starting point for predicting turbulence intensity and other properties. Such calculations are also the main ingredient of mixing-length estimates (Horton Reference Horton1999), quasi-linear theory (Staebler, Kinsey & Waltz Reference Staebler, Kinsey and Waltz2007; Bourdelle et al. Reference Bourdelle, Citrin, Baiocchi, Casati, Cottier, Garbet and Imbeaux2015) and other (indeed, perhaps all) transport models. These linear instabilities are typically understood (with some notable exceptions, e.g. Hatch et al. Reference Hatch, Jenko, Bañón Navarro, Bratanov, Terry and Pueschel2016) as ‘normal modes’, i.e. eigenmodes of the linearised gyrokinetic equation, whose time dependence takes the form $\sim \exp (-{\rm i}\omega t)$, where ${\rm Im}[\omega ] = \gamma _{L}$ is the growth rate. When numerically computing gyrokinetic normal modes, it is most common to solve an initial value problem, and terminate the computation only when the solution is found to fit the exponential form. This technique yields the mode of largest growth rate for a given wavenumber.

This paper introduces a different kind of gyrokinetic mode, one that realises optimal growth of energy at an instant in time (actually, the idea was proposed first in the gyrokinetic context by Landreman, Plunk & Dorland (Reference Landreman, Plunk and Dorland2015) but not calculated explicitly there). These modes have been studied extensively in fluid turbulence, where they are called ‘instantaneous optimal perturbations’, and are found as a limit of a more general class of modes that achieve optimal growth of energy over a finite time interval (Farrell & Ioannou Reference Farrell and Ioannou1996).

To illustrate the essential idea of such modes, free from the complications of full gyrokinetics, let us consider a simple schematic equation for a linearised dynamical system with a complex state variable $\psi (t,\ell )$, where $t$ is time and $\ell$ is a continuous space variable,

(1.1)\begin{equation} \frac{\partial \psi}{\partial t} = \mathcal{L} \psi,\end{equation}

with $\mathcal {L}$ representing some linear operator, whose eigenmodes are precisely the ‘normal modes’ described previously. Defining an inner product (involving, e.g. a suitable average over $\ell$), we obtain an ‘energy’ evolution equation for $( \psi, \psi ) = ||\psi ||^2$

(1.2)\begin{equation} \frac{{\rm d} ||\psi||^2}{{\rm d} t} = \left( \psi,{\mathcal{H}} \psi\right),\end{equation}

where ${\mathcal {H}} = \mathcal {L} + \mathcal {L}^{\dagger}$ is a Hermitian linear operator, with the adjoint operator $\mathcal {L}^{\dagger}$ defined as that for which $( \psi _1,\mathcal {L} \psi _2) = ( \mathcal {L}^{{\dagger} } \psi _1, \psi _2)$ holds for arbitrary $\psi _1$ and $\psi _2$ in the Hilbert space defined by the inner product.Footnote 1 From this we can immediately surmise that the eigenmodes of ${\mathcal {H}}$, i.e. $\psi _n$ such that ${\mathcal {H}}\psi _n = \lambda _n \psi _n$, can be used to characterise the energy growth of the system, as their orthogonality reduces the right-hand side of this equation to the sum of the squares of eigenmode amplitudes, times their eigenvalues. These are precisely the ‘optimal modes’ described previously. Writing $\psi = \sum _n c_n \psi _n$, and taking $||\psi _n||^2 = 1$, we have

(1.3)\begin{equation} \sum_n \frac{{\rm d} |c_n|^2}{{\rm d}t} = \sum_n \lambda_n |c_n|^2.\end{equation}

Obviously, the eigenmode with the largest positive value achieves optimal growth, i.e. maximises $||\psi ||^{-2} \,{\rm d} ||\psi ||^2/{\rm d}t$.

Note that ‘instantaneous optimal perturbations’ achieve optimal growth only for an instant. That is, if the system is initialised to be an optimal solution, the observed growth of energy will generally only match the theoretical value initially, and the solution, left undisturbed by nonlinear physics, will evolve over a certain timescale toward a normal mode described previously. Clearly, if this timescale is much longer than the nonlinear decorrelation rate of the turbulence, then the growth of normal modes cannot be expected to be a useful measure, and an alternative measure, such as the optimal rate, may be better. Furthermore, there are cases where turbulence arises when no unstable normal modes exist at all, this being the original motivation for introducing optimal modes. For so-called ‘sub-critical’ turbulence, one needs a measure to characterise the transient linear growth of fluctuations. It is not difficult to see that modes of positive instantaneous optimal growth, one such measure, are necessary for sub-critical turbulence to exist (DelSole Reference DelSole2004). Indeed, from (1.3), the energy of the system can only ever increase if eigenmodes exist with $\lambda _n > 0$.

Even in cases where growth rate of normal modes is found to be a suitable measure of instability, we note that the analysis of optimal modes provides a rigorous upper bound to that growth: if $\gamma$ is the real part of an eigenvalue of $\mathcal {L}$ in the system above, then $\gamma \leqslant \max _n \lambda _n/2$.

For gyrokinetics, we can point to several further advantages of optimal modes. The first, as we show, is the drastic reduction in the dimensionality of the problem, as compared with normal mode analysis, for which the kinetic distribution of each particle species requires two velocity variables to be accounted for, in addition to time and space. The complete analysis of optimal modes, in contrast, requires only a few velocity moments to be computed, eliminating the vast majority of the complexity of velocity space. Explicit time evolution, required in initial value computations, is also avoided, and the modes we find are ‘local’ in position space, i.e. the field-line following coordinate becomes merely a parameter of the theory. Furthermore, optimal modes have smooth velocity dependence, making their interpretation more straightforward than that of the singular eigenmodes of linear kinetic plasma theory (e.g. Case–Van Kampen modes), and they form a complete and orthogonal basis for the entire space of gyrokinetic fluctuations. This gives a natural way to decompose energy balance (see (1.3)), and simplifies the analysis of energy flows in the turbulent steady state: the turbulence is excited by unstable modes (with $\lambda _n > 0$) and damped by stable modes (with $\lambda _n < 0$). Optimal mode theory, following directly from energy balance, gives a universal bound on the full ‘zoo’ of gyrokinetic instabilities, in contrast to traditional linear (normal) mode analysis, which requires detailed, separate analysis of different cases. Optimal modes therefore give a unified picture of the space of instabilities, with a much smaller ‘zoo’ than that of the traditional eigenmodes.

As we show, many useful cases of optimal growth can be evaluated with simple closed-form expressions, without the need for numerical computation; when such computation is needed, its cost is trivial. In short, we show that optimal modes can be viewed as a theoretically transparent and computationally efficient alternative (or complement) to normal modes in gyrokinetics.

2. Definitions and gyrokinetic free energy balance

We are interested in finding the solutions that optimise the growth of a certain measure of fluctuation energy. The choice that we have made so far in this series of articles is the gyrokinetic Helmholtz free energy, commonly referred to as simply ‘free energy’. This measure has the advantage of being a ‘nonlinear invariant’, i.e. conserved under nonlinear interactions, and also having a satisfying thermodynamic interpretation: it only diminishes under the action of collisions. These facts are well known and spelled out in Part 1 of this series. We can therefore begin directly with the energy balance equation, which, neglecting collisions, reads

(2.1)\begin{equation} \frac{{\rm d}}{{\rm d} t}\sum_{\boldsymbol{k}} H = 2 \sum_{\boldsymbol{k}} D,\end{equation}

where the perpendicular wavenumber is ${\boldsymbol {k}} = {\boldsymbol {k}}_\perp = k_\psi \boldsymbol {\nabla } \psi + k_\alpha \boldsymbol {\nabla } \alpha$, in terms of magnetic coordinates $\psi$ and $\alpha$ such that the equilibrium magnetic field is ${\boldsymbol {B}} = \boldsymbol {\nabla } \psi \times \boldsymbol {\nabla } \alpha$. The drive term $D$ is

(2.2)\begin{equation} D({\boldsymbol{k}}, t) = {\rm Im} \, \sum_a e_a \left\langle \int g_{a,\boldsymbol{k}} \omega_{{\ast} a}^T \bar{\chi}^\ast_{a,\boldsymbol{k}} \,{\rm d}^3v \right\rangle, \end{equation}

and the free energy is

(2.3)\begin{equation} H({\boldsymbol{k}},t) = \sum_a \left\langle T_a \int \frac{|g_{a, \boldsymbol{k}}|^2}{F_{a0}} \,{\rm d}^3v - \frac{n_a e_a^2}{T_a} |\delta \phi_{\boldsymbol{k}}|^2 \right\rangle + \left\langle \frac{| \delta {\boldsymbol{B}}_{\boldsymbol{k}} |^2}{\mu_0} \right\rangle,\end{equation}

where $| \delta {\boldsymbol {B}}_{\boldsymbol {k}} |^2 = | k_\perp \delta A_{\|\boldsymbol {k}} |^2 + | \delta B_{\|\boldsymbol {k}} |^2$, and we define the other notation as follows. The space average is defined asFootnote 2

(2.4)\begin{equation} \left\langle \cdots \right\rangle = \lim_{L\rightarrow \infty} \int_{{-}L}^L (\cdots ) \left.\frac{{\rm d}l}{B} \right/ \int_{{-}L}^L \frac{{\rm d}l}{B}. \end{equation}

The diamagnetic frequencies are

(2.5)\begin{equation} \left.\begin{gathered} \omega_{{\ast} a} = \frac{k_\alpha T_a}{e_a} \frac{{\rm d} \ln n_a}{{\rm d} \psi},\\ \omega_{{\ast} a}^T = \omega_{{\ast} a} \left[1 + \eta_a \left( \frac{m_a v^2}{2 T_a} - \frac{3}{2} \right)\right]. \end{gathered}\right\} \end{equation}

The gyro-averaged electromagnetic potential is

(2.6)\begin{equation} \bar{\chi}_{a \boldsymbol{k}} = {\rm J}_0 \left( \frac{k_\perp v_\perp}{\varOmega_a} \right)\left( \delta \phi_{{\boldsymbol{k}}} - v_\| \delta A_{\| {\boldsymbol{k}}} \right) + {\rm J}_1 \left( \frac{k_\perp v_\perp}{\varOmega_a} \right) \frac{v_\perp}{k_\perp} \delta B_{\|\boldsymbol{k}}, \end{equation}

and $\textrm {J}_0$ and $\textrm {J}_1$ are Bessel functions. Field perturbations are given by

(2.7)\begin{gather} \sum_a \frac{n_a e_a^2}{T_a} \,\delta \phi_{\boldsymbol{k}} = \sum_a e_a \int g_{a, {\boldsymbol{k}}} {\rm J}_{0a} \,{\rm d}^3v, \end{gather}
(2.8)\begin{gather}\delta A_{\| {\boldsymbol{k}}} = \frac{\mu_0}{k_\perp^2} \sum_a e_a \int v_\| g_{a, {\boldsymbol{k}}} {\rm J}_{0a} \,{\rm d}^3v, \end{gather}
(2.9)\begin{gather}\delta B_{\| {\boldsymbol{k}}} ={-} \frac{\mu_0}{k_\perp} \sum_a e_a \int v_\perp g_{a, {\boldsymbol{k}}} {\rm J}_{1a} \,{\rm d}^3v, \end{gather}

where we define $\textrm {J}_{na} = \textrm {J}_n(k_\perp v_\perp / \varOmega _a)$. Henceforth, we consider a single fixed value of $\boldsymbol {k}$ and therefore suppress the $\boldsymbol {k}$ subscripts.

Note that we define the free energy as twice that which appears in some other publications, but this has no significant effect on the analysis, as the 2 drops out of the optimisation problem, upon division by $H$.

3. Modes of optimal instantaneous growth

To recast (2.1) in the form of (1.2) requires first identifying the state variable(s) and inner product. We take the state to be the set of distributions functions, given by the vector ${\boldsymbol {g}}$ with components $g_{a}$, and define the inner product of two states ${\boldsymbol {g}}_1$ and ${\boldsymbol {g}}_2$ as

(3.1)\begin{equation} ({\boldsymbol{g}}_1, {\boldsymbol{g}}_2) = \sum_{a}\left\langle T_a \int \frac{g_{a1}^*g_{a2}}{F_{a0}} {\rm d}^3v \right\rangle. \end{equation}

Comparing with (2.3), we note that the free energy $H$ is not the Euclidean norm in these variables (though it is positive-definite in ${\boldsymbol {g}}$ for non-zero wavenumber; see Helander & Plunk Reference Helander and Plunk2022). Although it is possible to transform to new state variables, i.e. $\tilde {\boldsymbol {g}}$ such that $H = ||\tilde {{\boldsymbol {g}}}||^2$, we find it is more convenient to take another approach at this stage, namely to formulate our problem in variational terms. That is, we extremise the ratio

(3.2)\begin{equation} \varLambda = D/H\end{equation}

over the space of distribution functions ${\boldsymbol {g}}$. Note that, as is easily verified, normal modes satisfy $\gamma _L = D/H$, so that we have the bound on so-called linear gyrokinetic instabilities:

(3.3)\begin{equation} \gamma_L \leqslant \max_{g_{a}} \varLambda.\end{equation}

Variation of (3.2) leads to the condition

(3.4)\begin{equation} \frac{\delta D}{\delta g_{a}} - \varLambda \frac{\delta H}{\delta g_{a}} = 0.\end{equation}

Note that $\varLambda$, which according to (2.1) corresponds to half the growth rate of free energy, can be interpreted as the Lagrange multiplier whose role is to hold $H$ fixed.

Using (2.2) and (2.3), we can evaluate (3.4) to obtain (see Appendix A)

(3.5)\begin{equation} \varLambda \sum_{b} {\mathcal{H}}_{a b} g_{b} = \sum_{b} {\mathcal{D}}_{a b} g_{b},\end{equation}

where ${\mathcal {H}}$ and ${\mathcal {D}}$ are, respectively, purely real and purely imaginary Hermitian linear operators on the space of distribution functions, given as follows:

(3.6)\begin{equation} {\mathcal{H}}_{a b} g_{b} = \delta_{a,b} g_{b} + \frac{F_{a0}}{n_a T_a} \frac{1}{n_b} \int {\rm d}^3\,v^\prime g_{b}^\prime \left[ -\sigma_{a} \sigma_{b} \psi_{1a}\psi_{1b}^\prime + \varepsilon_{a} \varepsilon_{b}(\psi_{3a}\psi_{3b}^\prime + \psi_{5a}\psi_{5b}^\prime) \right], \end{equation}

noting that the species label $b$ is not to be confused with the argument of the Bessel functions, and $\delta _{a,b}$ is the discrete delta function. The second operator is given by

(3.7)\begin{align} {\mathcal{D}}_{a b} g_{b} & = \frac{{\rm i}}{2}\frac{F_{a0}}{n_a T_a} \frac{1}{n_{b}} \int {\rm d}^3\,v^\prime g_{b}^\prime \left[ \omega_{{\ast} a}\left(1-3\eta_a/2\right)\left( \sigma_{a} \sigma_{b} \psi_{1a}\psi_{1b}^\prime - \varepsilon_{a} \varepsilon_{b}\psi_{3a}\psi_{3b}^\prime - \varepsilon_{a} \varepsilon_{b}\psi_{5a}\psi_{5b}^\prime \right) \right.\nonumber\\ & \quad - \omega_{{\ast} b}\left(1-3\eta_{b}/2\right) \left( \sigma_{a} \sigma_{b} \psi_{1a}\psi_{1b}^\prime - \varepsilon_{a} \varepsilon_{b}\psi_{3a}\psi_{3b}^\prime - \varepsilon_{a} \varepsilon_{b}\psi_{5a}\psi_{5b}^\prime \right)\nonumber\\ & \quad + \omega_{{\ast} a} \eta_a \left( \sigma_{a} \sigma_{b} \psi_{2a}\psi_{1b}^\prime - \varepsilon_{a} \varepsilon_{b}\psi_{4a}\psi_{3b}^\prime - \varepsilon_{a} \varepsilon_{b}\psi_{6a}\psi_{5b}^\prime \right)\nonumber\\ & \quad \left. - \omega_{{\ast} b} \eta_{b} \left( \sigma_{a} \sigma_{b} \psi_{1a}\psi_{2b}^\prime - \varepsilon_{a} \varepsilon_{b}\psi_{3a}\psi_{4b}^\prime - \varepsilon_{a} \varepsilon_{b}\psi_{5a}\psi_{6b}^\prime \right)\right], \end{align}

where primes denote evaluation at $v^\prime$, and we define

(3.8)\begin{gather} \sigma_{a} = e_a n_a \left( \sum_{a^\prime} \frac{n_{a^\prime} e_{a^\prime}^2}{T_{a^\prime}}\right)^{{-}1/2}, \end{gather}
(3.9)\begin{gather}\varepsilon_{a} = e_a n_a \left(\frac{\sqrt{\mu_0} v_{Ta} }{k_\perp}\right) = \mathrm{sgn}(e_a)\sqrt{n_a T_a \beta_a/b_a}, \end{gather}

where $\mathrm {sgn}(e_a) = \pm 1$ gives the sign of $e_a$, $b_a = k_\perp ^2 m_a T_a/ (e_a^2 B^2)$, the plasma beta of species $a$ is $\beta _a = 2\mu _0 n_a T_a/B^2$, and its thermal velocity is denoted $v_{Ta} = \sqrt {2 T_a/m_a}$. We also introduce velocity-dependent functions that are needed for forming the relevant moments

(3.10)\begin{equation} \left.\begin{gathered} \psi_{1a} = {\rm J}_{0a}, \quad \psi_{2a} = \frac{v^2}{v_{Ta}^2}{\rm J}_{0a}, \quad \psi_{3a} = \frac{v_{{\parallel}}}{v_{Ta}} {\rm J}_{0a}, \\ \psi_{4a} = \frac{v_{{\parallel}} v^2}{v_{Ta}^3}{\rm J}_{0a}, \quad \psi_{5a} = \frac{v_{{\perp}}}{v_{Ta}}{\rm J}_{1a}, \quad \psi_{6a} = \frac{v_{{\perp}} v^2}{v_{Ta}^3}{\rm J}_{1a}. \end{gathered}\right\} \end{equation}

3.1. Moment form of (3.5)

Equation (3.5) describes an eigenproblem whose solutions form a complete orthogonal basis for the space of distribution functions $g_{a}$. This is a large space, but as we show, the non-trivial solution space of (3.5) is actually quite small. There are a number of reasons for this, but the first and most important is that only a small set of velocity moments appear in this equation. We can identify six dimensionless moments for each species, defined as

(3.11)\begin{equation} \kappa_{n a} = \frac{1}{n_a} \int {\rm d}^3\,v \psi_{n a} g_a. \end{equation}

We further note that, due to the summation over species involved in the computation of the electromagnetic fields and free energy balance, the velocity moments $\kappa _n$ appear in particular linear combinations. Thus, there is an additional dimensional reduction corresponding to the number of species $N_s$, i.e. $6 N_s \rightarrow 6$. This is achieved with the help of the following barred variables

(3.12)\begin{equation} \left.\begin{gathered} \bar{\kappa}_1 = \sum_{a} \sigma_{a} \kappa_{1 a}, \quad \bar{\kappa}_2 = \sum_{a} \sigma_{a} \bar{\omega}_{{\ast} a}((1-3 \eta_{a}/2)\kappa_{1 a} + \eta_{a} \kappa_{2 a} ), \\ \bar{\kappa}_3 = \sum_{a} \varepsilon_{a} \kappa_{3 a}, \quad\bar{\kappa}_4 = \sum_{a} \varepsilon_{a} \bar{\omega}_{{\ast} a}((1-3 \eta_{a}/2)\kappa_{3 a} + \eta_{a} \kappa_{4 a} ), \\ \bar{\kappa}_5 = \sum_{a} \varepsilon_{a} \kappa_{5 a}, \quad\bar{\kappa}_6 = \sum_{a} \varepsilon_{a} \bar{\omega}_{{\ast} a}((1-3 \eta_{a}/2)\kappa_{5 a} + \eta_{a} \kappa_{6 a} ), \end{gathered}\right\} \end{equation}

where we introduce the normalised frequency $\bar {\omega }_{\ast a} = \omega _{\ast a}/\omega _{\ast }$, with $\omega _{\ast }$ an arbitrary reference value. Evaluating the sum over species in (3.5) yields

(3.13)\begin{align} & \frac{\varLambda}{\omega_{{\ast}}} \left( g_{a} + \frac{F_{a0}}{n_a T_a} \left[ -\sigma_{a} \psi_{1a}\bar{\kappa}_1 + \varepsilon_{a} (\psi_{3a}\bar{\kappa}_3 + \psi_{5a}\bar{\kappa}_5) \right]\right)\nonumber\\ & \quad = \frac{{\rm i}}{2}\frac{F_{a0}}{n_a T_a} \left[ \bar{\omega}_{{\ast} a}\left(1-3\eta_a/2\right)\left( \sigma_{a} \psi_{1a}\bar{\kappa}_1 - \varepsilon_{a} \psi_{3a}\bar{\kappa}_3 - \varepsilon_{a} \psi_{5a} \bar{\kappa}_5 \right) \right.\nonumber\\ & \qquad \left.+\bar{\omega}_{{\ast} a} \eta_a \left( \sigma_{a} \psi_{2a}\bar{\kappa}_1 - \varepsilon_{a} \psi_{4a}\bar{\kappa}_3 - \varepsilon_{a} \psi_{6a}\bar{\kappa}_5 \right) -\sigma_{a}\psi_{1a}\bar{\kappa}_2 + \varepsilon_{a} \psi_{3a} \bar{\kappa}_4 + \varepsilon_{a} \psi_{5a} \bar{\kappa}_6 \right]. \end{align}

To simplify the problem further, we can take moments of (3.13) and obtain a closed linear system for $\bar {\kappa }_n$. We first write (3.12) as

(3.14)\begin{equation} \bar{\kappa}_m = \sum_{n,b} c_{mn}^{(b)} \kappa_{n b}.\end{equation}

Now taking moments of (3.13), and summing over species, using (3.14), we obtain

(3.15)\begin{align} & \frac{\varLambda}{\omega_{{\ast}}} \left( \bar{\kappa}_m + \sum_{a, n} \left\{-{\mathcal{T}}_{mn}^{(a)} \textsf{X}_{1n}^{(a)} \bar{\kappa}_1 + {\mathcal{E}}_{mn}^{(a)} (\textsf{X}_{3n}^{(a)} \bar{\kappa}_3+\textsf{X}_{5n}^{(a)} \bar{\kappa}_5) \right\} \right)\nonumber\\ & \quad = \sum_{a, n} \frac{{\rm i}}{2}\left\{ \bar{\omega}_{{\ast} a}\left(1-3\eta_a/2\right)\left[{\mathcal{T}}_{mn}^{(a)} \textsf{X}_{1n}^{(a)} \bar{\kappa}_1 - {\mathcal{E}}_{mn}^{(a)}\left(\textsf{X}_{3n}^{(a)} \bar{\kappa}_3 + \textsf{X}_{5n}^{(a)} \bar{\kappa}_5 \right) \right] \right.\nonumber\\ & \qquad +\bar{\omega}_{{\ast} a} \eta_a \left[ {\mathcal{T}}_{mn}^{(a)} \textsf{X}_{2n}^{(a)}\bar{\kappa}_1 - {\mathcal{E}}_{mn}^{(a)} \left( \textsf{X}_{4n}^{(a)}\bar{\kappa}_3 + \textsf{X}_{6n}^{(a)}\bar{\kappa}_5 \right) \right]\nonumber\\ & \qquad \left.-{\mathcal{T}}_{mn}^{(a)}\textsf{X}_{1n}^{(a)} \bar{\kappa}_2 + {\mathcal{E}}_{mn}^{(a)}\left( \textsf{X}_{3n}^{(a)} \bar{\kappa}_4 + \textsf{X}_{5n}^{(a)} \bar{\kappa}_6 \right) \right\}, \end{align}

where we define the dimensionless quantities (see also Appendix C)

(3.16)\begin{gather} {\mathcal{T}}_{mn}^{(a)} = \frac{c_{mn}^{(a)}\sigma_a}{n_a T_a}, \end{gather}
(3.17)\begin{gather}{\mathcal{E}}_{mn}^{(a)} = \frac{c_{mn}^{(a)}\varepsilon_a}{n_a T_a}, \end{gather}
(3.18)\begin{gather}\textsf{X}^{(a)}_{mn} = \frac{1}{n_{a}}\int {\rm d}^3\,v F_{a0} \psi_{ma} \psi_{na}. \end{gather}

Equation (3.15) is the central result of this paper, a six-dimensional algebraic system of equations for unknowns $\bar {\kappa }_i$. As the system is homogeneous in these quantities, a non-trivial solution only exists if the determinant (of the matrix of coefficients) vanishes. This condition determines the eigenvalues $\varLambda$, which, according to (3.2)–(3.3), realise optimal growth of gyrokinetic free energy; see also the discussion in the following section.

Note that a solution of this system, i.e. $\varLambda$ and $\{\bar {\kappa }_1, \dots, \bar {\kappa }_6\}$, can be substituted into the kinetic expression (3.13) to obtain the complete solution for the distribution functions $g_a$. When the spatial dependence of the solution is taken as $\delta (\ell - \ell _0)$, we obtain a set of orthogonal modes, which can be completed by introducing the null space of (3.13), namely all distribution functions satisfying $\bar {\kappa }_n = 0$ for all $n$ (including but not limited to those satisfying $\kappa _{n a} = 0$ for all $a$ and $n$).

There are some properties of this system that help make solving it easier. First, there is the time reversal symmetry of collisionless gyrokinetics. That is, for any solution $\{\varLambda, \bar {\kappa }_1, \dots, \bar {\kappa }_6\}$, there is another solution $\{-\varLambda, \bar {\kappa }_1^*, \dots, \bar {\kappa }_6^*\}$, as can be seen by taking the complex conjugate of (3.15), and noting that $\varLambda$ must be real by Hermiticity of (3.5). Thus, there are at most three unique non-zero values of $\varLambda ^2$ to find.

In addition, due to the structure of $X_{mn}$ (see Appendix C), the linear algebra can be decoupled into a single two-dimensional problem for $\bar {\kappa }_3$ and $\bar {\kappa }_4$, corresponding to perturbations of finite $\delta A_\parallel$, and a four-dimensional problem involving the remaining degrees of freedom, corresponding to mixed perturbations in $\delta \phi$ and $\delta B_\parallel$. We denote the positive eigenvalue of the former problem as $\varLambda _3$, and those of the latter problem as $\varLambda _1$ and $\varLambda _2$, reserving $\varLambda _1$ for the electrostatic root (when it is possible to identify one as such). For symmetry we denote the negative values as $\varLambda _{-n} = -\varLambda _{n}$.

3.2. Decomposition of energy balance

Now that we have shown how to calculate the optimal modes, we can show explicitly how they can be used to put the energy balance equation into a pleasing form. Generalising the analysis of the schematic system, given by (1.1), we write the collisionless energy balance equation (2.1) as

(3.19)\begin{equation} \frac{{\rm d}}{{\rm d}t}\sum_{a, b} \left\langle T_a \int {\rm d}^3 \,v \frac{g^*_a}{F_{a0}} {\mathcal{H}}_{a b} g_{b} \right\rangle = 2\sum_{a, b} \left\langle T_a \int {\rm d}^3 \,v \frac{g^*_a}{F_{a0}} {\mathcal{D}}_{a b} g_{b} \right\rangle \end{equation}

or, equivalently, using inner-product notation,

(3.20)\begin{equation} \frac{{\rm d}}{{\rm d}t}({\boldsymbol{g}}, {\mathcal{H}} {\boldsymbol{g}}) = 2({\boldsymbol{g}}, {\mathcal{D}} {\boldsymbol{g}}). \end{equation}

Now using completeness of the eigenmodes we can expand the state as

(3.21)\begin{equation} {\boldsymbol{g}} = \sum_n c_n(\ell) {\boldsymbol{g}}_n, \end{equation}

noting that there are only six eigenmodes of non-zero eigenvalues so the rest of the (infinite) solution space is the null space, i.e. $\varLambda _n = 0$ for $|n| \geqslant 4$. Now taking (3.5), we use orthogonality of eigenmodes of this (generalised) eigenproblem, i.e. $({\boldsymbol {g}}_m, {\mathcal {H}} {\boldsymbol {g}}_n) = 0$ for $m \neq n$ unless $\varLambda _n = \varLambda _m$, and obtain

(3.22)\begin{equation} \sum_n \frac{{\rm d}}{{\rm d}t} \left\langle |c_n|^2 \right\rangle = \sum_n 2\varLambda_n \left\langle|c_n|^2\right\rangle,\end{equation}

where we have normalised the eigenmodes such that $({\boldsymbol {g}}_n, {\mathcal {H}} {\boldsymbol {g}}_n) = 1$. Note that (3.22), analogously to (1.3), demonstrates that the optimal modes, which are local extrema of $D$ by virtue of being derived from a variational principle, also provide global extrema. That is, defining $\varLambda _\mathrm {max} = \max _n \varLambda _n$, we can conclude that

(3.23)\begin{equation} {-}2 \varLambda_\mathrm{max} \leqslant \frac{{\rm d} \ln H}{{\rm d}t} \leqslant 2 \varLambda_\mathrm{max}, \end{equation}

with equality (right-hand side and left-hand side) satisfied for the two eigenstates with $\varLambda = \pm \varLambda _\mathrm {max}$ (respectively). As noted in Helander & Plunk (Reference Helander and Plunk2022), all these equations may be summed over ${\boldsymbol {k}}$ to yield linear and nonlinear bounds on the total free energy of the plasma fluctuations. In particular, (3.22), summed over wavenumbers, proves the necessity of instantaneous optimals, solutions with $\varLambda _n > 0$, for the existence of subcritical gyrokinetic turbulence, as noted already by Landreman et al. (Reference Landreman, Plunk and Dorland2015).

It is worth emphasising, though it may be regarded as a trivial consequence of the total free energy balance, that a gyrokinetic plasma cannot sustain turbulence (subcritical or otherwise) without plasma gradients, since $\varLambda _n = 0$ and $\sum _{\boldsymbol {k}} \,\textrm {d}H/\textrm {d}t \leqslant 0$ is nonlinearly true in that case.

4. Asymptotic limits

The general solution of (3.15), though easy to obtain numerically, is too lengthy and complicated to gain much insight from when written down in closed form. We therefore focus on a number of compact asymptotic results for the case of a hydrogen plasma, which also allow comparison with our previously published results (Helander & Plunk Reference Helander and Plunk2021, Reference Helander and Plunk2022).

We order all parameters in terms of the small quantity

(4.1)\begin{equation} \epsilon = \sqrt{\frac{b_e}{b_i}} = \sqrt{\frac{m_e T_e}{m_i T_i}} \ll 1.\end{equation}

We take three limits according to the size of the perpendicular wavenumber relative to the Larmor scales, and we also consider different strengths of the plasma betas, but using the same ordering for the different betas, $\beta _e \sim \beta _i$. All other dimensionless parameters are assumed to be of the order of $1$, i.e. $\eta _i \sim \eta _e \sim \tau \sim 1$, where $\tau = T_i/T_e$ and we assume that $\omega _{\ast i} \sim \omega _{\ast e}$ though we need not order these frequencies in terms of $\epsilon$ as this merely translates into an ordering of $\varLambda$, which could be normalised by their amplitude. In all cases where we numerically evaluate the solutions, we take $\beta _i = \beta _e = \beta$, $\omega _{\ast i}=-\omega _{\ast e} = \omega _{\ast }$, $\eta _i = \eta _e = \tau = 1$ and $\epsilon = 0.023337$ (square root of the electron–proton mass ratio). Note that the value of the parameters $b_i$ and $b_e$ are set exactly to a power of the ordering parameter according to the particular limit being taken, e.g. $b_i = \epsilon$ for the case $b_i \sim \epsilon$ for the values computed in figure 1.

Figure 1.

Summary of small wavenumber results. The numerical results for the mixed modes $\varLambda _1$ and $\varLambda _2$ are plotted in blue, while that for $\varLambda _3$ (the $\delta A_\parallel$ mode) is given in red. Ranges of $\beta$ (orders of $\epsilon$ ranging from $0$ to $4$), are separated visually by vertical grey lines at intermediate values ($\epsilon ^{1/2}$, $\epsilon ^{3/2}$, etc.). The asymptotic results are plotted in dashed black. Note that the growth rates are normalised to $|\omega _{i*}|$.

4.1. Small wavenumber limit: $b_i \sim \epsilon$ and $b_e \sim \epsilon ^3$

In this limit we must be careful to retain first-order contributions in the Bessel function expansions because the problem is singular if $b_e = b_i = 0$ is taken identically ($H$ is not positive-definite in this case).

For $\varLambda _1$ and $\varLambda _2$, we consider a number of limits on $\beta$. In the electrostatic limit ($\beta \sim \epsilon ^2$) we have

(4.2)\begin{equation} \varLambda _1^2=\frac{\tau \left(3 (\tau +1) \eta _e^2 \omega _{* e}^2+2 \left(\omega _{* e}-\omega _{* i}\right){}^2+3 \left(\dfrac{1}{\tau }+1\right) \eta _i^2 \omega _{* i}^2\right)}{8 (\tau +1) b_i}.\end{equation}

Note that this result is formally ${\mathcal {O}}(\epsilon ^{-1})$ and $\varLambda _2 = 0$ at this order. One can compare this with (6.4) in Helander & Plunk (Reference Helander and Plunk2022), the optimal adiabatic electron result, which has qualitatively different behaviour, going to zero with $\eta _i$ and also tending to zero with $k_\alpha$. This is explained by the fact that the adiabatic electron limit is not obtained as a simple asymptotic limit of the general two-species result, because the ordering and solving of the electron gyrokinetic equation itself is necessary to obtain the adiabatic electron response. Thus, the two-species result here is not to be taken simply as a more complete result compared with the adiabatic electron result.

Allowing slightly large beta, $\beta \sim \epsilon ^1$, the electromagnetic ($\delta B_\parallel$) effects start to mix, making $\varLambda _1$ no longer purely electrostatic:

(4.3)\begin{equation} \varLambda _1^2=\frac{\tau \left(3 (\tau +1) \eta _e^2 \omega _{* e}^2+2 \left(\omega _{* e}-\omega _{* i}\right)^2+3 \left(\dfrac{1}{\tau }+1\right) \eta _i^2 \omega _{* i}^2\right)}{4 (\tau +1) \left(2 b_i+\tau \beta _e+2 \sqrt{\tau \beta _e \beta _i}+\beta _i\right)}. \end{equation}

Note that this expression encompasses the $\beta \sim \epsilon ^2$ result (4.2). Note also, that the result can be interpreted as an (initial) finite-$\beta$ stabilisation of the electrostatic result; see figure 1.

For the weakly electromagnetic mode, a single result encompasses all limits of $\beta$ ($\beta _a \sim \epsilon ^4$, $\beta _a \sim \epsilon ^3$ and $\beta _a \sim \epsilon ^2$ and larger):

(4.4)\begin{equation} \varLambda _3^2=\frac{5 \beta _e^2 \eta _e^2 \omega _{* e}^2}{16 b_e \left(2 b_e+\beta _e\right)},\end{equation}

where we note that this result also applies to $b_i \sim 1$, as the electron contribution dominates. The result may be compared with our previous bound, i.e. the second term in (5.6) of Helander & Plunk (Reference Helander and Plunk2022), which can be interpreted as a bound on the electromagnetic contribution to free energy growth. For general $\eta _e$ one can verify that $\varLambda _3$ of (4.4) is always less than $1/4$ of our previous bound, and goes to zero for $\eta _e = 0$, while our previous bound does not.

A critical value of $\beta$ (of order $\epsilon ^2$) can be identified in this (small-$b$) limit, corresponding to the value of $\beta$ above which the root $\varLambda _3$ exceeds the electrostatic root $\varLambda _1$. An expression for this critical value can be obtained by setting $\varLambda _3 = \varLambda _1$ using (4.2) and (4.4), noting that the factor $2 b_e$ can be neglected in the denominator, yielding

(4.5)\begin{equation} \beta_{e,\mathrm{crit}} = \frac{2 \tau b_e \left(3 (\tau +1) \eta _e^2 \omega _{* e}^2+2 \left(\omega _{* e}-\omega _{* i}\right)^2+3 \left(\dfrac{1}{\tau }+1\right) \eta _i^2 \omega _{* i}^2\right)}{5 (\tau +1) b_i \eta _e^2 \omega _{* e}^2}.\end{equation}

Curiously, we numerically observe that $\varLambda _3$ always seems to be at least as big as the magnetic root $\varLambda _2$ (associated with inclusion of $\delta B_\parallel$), so that the above critical $\beta$ is the one of most relevance for overall stability, and simple asymptotic results such as the limits derived here may always be adequate to characterise the actual maximum growth rate of free energy. Note that the apparent divergence of $\beta _{e,\mathrm {crit}}$ in the limit $\eta _e \rightarrow 0$, should be no cause for alarm, as we have assumed the ordering $\eta _e \sim 1$, in which the dominant contribution to $\varLambda _3$ is proportional to $\eta _e$. The result for $\varLambda _3$ obtained assuming $\eta _e = 0$, while being two orders smaller in $\epsilon$, would of course be non-zero and result in a finite value of $\beta _{e,\mathrm {crit}}$.

To summarise the features of this limit, and confirm the asymptotic results, we numerically solve for roots $\varLambda _1$, $\varLambda _2$ and $\varLambda _3$ and compare them with the values computed from the asymptotic results listed above. Figure 1 shows the result.

4.2. Intermediate wavenumber limit: $b_i \sim \epsilon ^{-1}$, $b_e \sim \epsilon$

First, we note that for all $\beta$ ($\beta \sim \epsilon ^2$, $\beta \sim \epsilon ^1$, and $\beta \sim 1$ and larger), the expression given by (4.4) for $\varLambda _3$ still applies in this limit: the ion contribution is still subdominant, and $b_e \ll 1$ also applies here.

For the electrostatic limit ($\beta \sim \epsilon$), we obtain

(4.6)\begin{align} \varLambda _1^2=\frac{3 \tau ^2 \eta _e^2 \omega _{* e}^2}{8 (\tau +1)} + \frac{\tau \left(\omega _{* e}^2 \left(6 (\tau +1) \eta _e^2+4\right)+4 \left(\eta _i-2\right) \omega _{* e} \omega _{* i}+\left(5 \eta _i^2-4 \eta _i+4\right) \omega _{* i}^2\right)}{16 \sqrt{2 {\rm \pi}} (\tau +1) \sqrt{b_i}},\end{align}

which can be compared with our adiabatic-electron electrostatic bound, given by (6.4) of Helander & Plunk (Reference Helander and Plunk2022). Note that we need to retain the second term, formally smaller than the first by a factor $\epsilon ^{1/2}$, for this comparison. The results can be made comparable by setting $\omega _{\ast e} = 0$ and additionally taking $\omega _{\ast i} \rightarrow 0$ while holding $\eta _i \omega _{\ast i} \sim 1$; see the discussion following (4.2).

For $\beta \sim 1$ we obtain (at dominant order) the result

(4.7)\begin{equation} \varLambda _{1,2}^2=\frac{\eta _e^2 \omega _{* e}^2 (P\pm \sqrt{P^2 - R})}{16 (\tau +1) \left((\tau +2) \beta _e+2\right)}, \end{equation}

with

(4.8)\begin{equation} \left.\begin{gathered} P=\left(9 \tau ^2+23 \tau +14\right) \beta _e^2-(9 \tau +10) \tau \beta _e+6 \tau ^2,\\ R= 18 \tau ^2 (\tau +1) \beta _e^2 \left((\tau +2) \beta _e+2\right). \end{gathered}\right\} \end{equation}

Note that the dominant (first) term of (4.6) can be recovered as $\beta _e \rightarrow 0$, and that there is also an initial stabilisation, as compared with the electrostatic limit associated with finite $\beta _e$, as can be seen in figure 2.

Figure 2.

Summary of medium wavenumber results. The numerical results for the mixed modes $\varLambda _1$ and $\varLambda _2$ are plotted in blue, while that for $\varLambda _3$ (the $\delta A_\parallel$ mode) is given in red. Ranges of $\beta$ (orders of $\epsilon$ ranging from $0$ to $2$), are separated visually by vertical grey lines at intermediate values ($\epsilon ^{1/2}$, $\epsilon ^{3/2}$, etc.). The asymptotic results are plotted in dashed black. Note that the growth rates are normalised to $|\omega _{i*}|$.

We compute the critical $\beta$ as before by equating the asymptotic forms of $\varLambda _1$ and $\varLambda _3$ for the regime where they intersect, $\beta \sim \epsilon ^1$ (retaining the first term of (4.6) and the full form of (4.4)):

(4.9)\begin{equation} \beta_{e, \mathrm{crit}} = \frac{\tau b_e (\sqrt{9 \tau ^2+60 (\tau +1)}+3 \tau )}{5 (\tau +1)}, \end{equation}

where we have selected the positive root to that equation. Figure 2 summarises the behaviour of the roots across the beta regimes, and confirms the asymptotic results.

4.3. Large wavenumber limit: $b_e \sim \epsilon ^{-1}$, $b_i \sim \epsilon ^{-3}$

For large $b_e$ we obtain finally an asymptotic result for $\varLambda _3$ distinct from the previous result. For $\beta \sim \epsilon ^{-1}$ or smaller, we obtain

(4.10)\begin{equation} \varLambda _3^2=\frac{\beta _e^2 \eta _e^2 \omega _{* e}^2}{16 {\rm \pi}b_e^3}, \end{equation}

while for $\beta \sim \epsilon ^{-2}$ we have

(4.11)\begin{equation} \varLambda _3^2=\frac{\beta _e \eta _e^2 \omega _{* e}^2}{4 \sqrt{2 {\rm \pi}} b_e^{3/2}}. \end{equation}

An electrostatic root is obtained for $\beta \sim 1$, and also survives for $\beta \sim \epsilon ^{-1}$:Footnote 3

(4.12)\begin{equation} \varLambda _1^2=\frac{\tau ^2 \eta _e^2 \omega _{* e}^2}{8 {\rm \pi}(\tau +1)^2 b_e}. \end{equation}

Note we do not retain higher-order contributions for comparison with the adiabatic electron result, which does not discriminate between regimes of $b_e$, since that comparison was already made for the intermediate limit $b_i \sim \epsilon ^{-1}$.

For $\beta \sim \epsilon ^{-1}$, we find an additional electromagnetic root appears, which, curiously, matches the other electromagnetic root $\varLambda _3$ in this limit

(4.13)\begin{equation} \varLambda _2^2=\frac{\beta _e^2 \eta _e^2 \omega _{* e}^2}{16 {\rm \pi}b_e^3}. \end{equation}

For $\beta \sim \epsilon ^{-2}$, the roots continue to match:

(4.14)\begin{equation} \varLambda _2^2=\frac{\beta _e \eta _e^2 \omega _{* e}^2}{4 \sqrt{2 {\rm \pi}} b_e^{3/2}}. \end{equation}

The critical value of $\beta$ above which the magnetic roots exceed the electrostatic one is derived as before from the results for $\beta \sim \epsilon ^{-1}$:

(4.15)\begin{equation} \beta_{e,\mathrm{crit}} = \frac{\sqrt{2} \tau b_e}{\tau +1}. \end{equation}

The results of this limit are summarised in figure 3.

Figure 3.

Summary of large wavenumber results. The numerical results for the mixed modes $\varLambda _1$ and $\varLambda _2$ are plotted in blue, while that for $\varLambda _3$ (the $\delta A_\parallel$ mode) is given in red. Ranges of $\beta$ (orders of $\epsilon$ ranging from $1$ to $-1$), are separated visually by vertical grey lines at intermediate values ($\epsilon ^{1/2}$, $\epsilon ^{3/2}$, etc.). The asymptotic results are plotted in dashed black. Note that the growth rates are normalised to $|\omega _{i*}|$. Note that, curiously, the red curve coincides with one branch of the blue curve, in each range of $\beta$.

5. Discussion

Although the essential ideas involved in calculating ‘optimal modes’ are simple, the algebra involved is sufficiently complex that a general closed-form solution is too lengthy to express in a useful way. Thus, we have provided a number of compact asymptotic results to demonstrate the essential behaviour.

These results compare as expected with the bounds presented in Helander & Plunk (Reference Helander and Plunk2021, Reference Helander and Plunk2022), i.e. they are always less than or equal to the previous bounds, and similar qualitatively, though in some special cases much smaller. The adiabatic electron result of Helander & Plunk (Reference Helander and Plunk2022) is a curious case to compare. One might expect that the two-species electrostatic, long-wavelength limit obtained here might give a similar result, but this is not the case because the adiabatic electron response requires that the electron gyrokinetic equation be ordered and solved at the outset. Thus, the two-species result is not simply a generalisation of the one-species adiabatic case. On the one hand, the two-species calculation is able to treat closed-field-line geometries (dipole, $Z$-pinch), and obtain bounds on the MHD-interchange-like instability there, whose growth tends to a constant as $k_\perp \rightarrow 0$; see, for instance, Ricci et al. (Reference Ricci, Rogers, Dorland and Barnes2006). On the other hand, the adiabatic-electron result provides a lower bound, and compares well with expectations of the ITG mode, for which $\gamma \rightarrow 0$ as $k_\perp \rightarrow 0$ (Kadomtsev & Pogutse Reference Kadomtsev and Pogutse1970; Biglari, Diamond & Rosenbluth Reference Biglari, Diamond and Rosenbluth1989). This demonstrates that it is possible to improve and reduce the complexity of the optimal mode analysis by first applying limits to the fully gyrokinetic system, as should be useful, e.g., for the case of trapped electron modes where a bounce-averaged electron response can be used.

We have mentioned the possible application of optimal modes to the study of subcritical turbulence, in which case normal mode analysis predicts linear stability. As a most basic result, one can conclude that a gyrokinetic system can only sustain turbulence in the presence of background gradients, otherwise $\omega _{\ast a} = 0$ and $\varLambda _n = 0$, implying that $\sum _{\boldsymbol {k}} \,\textrm {d}H/\textrm {d}t \leqslant 0$, including collisions. The steady state of such a system can only be a state of zero fluctuations. Though transient growth in such systems may be observed in other norms than the free energy (Camporeale, Burgess & Passot Reference Camporeale, Burgess and Passot2009; Podesta Reference Podesta2010), such growth cannot, via the gyrokinetic nonlinearity, support sustained turbulence. In the case where some plasma gradient is present, but normal linear analysis predicts stability, the growth of free energy for fixed ${\boldsymbol {k}}$ is bounded by the optimal rates. For example, the electrostatic result (e.g. $\varLambda _1$ of (4.2)) bounds the observable growth both linearly and nonlinearly for subcritical turbulence driven by the universal instability, i.e. $\varLambda _1$ yields an explicit calculation of the measure proposed by Landreman et al. (Reference Landreman, Plunk and Dorland2015). Turbulence driven by the parallel velocity gradient (Barnes et al. Reference Barnes, Parra, Highcock, Schekochihin, Cowley and Roach2011) would be another potential application of optimal mode analysis; the equilibrium parallel velocity gradient is neglected in the present analysis, but would be straightforward to include.

We have assumed non-zero $\delta B_\parallel$ in our analysis, which is chiefly to blame for the added complexity of the algebra, making the results quite general for (local flux-tube) gyrokinetics. We note that its effect seems mostly subdominant to that of $\delta A_\parallel$ in the sense that at sufficiently low $\beta$ the electrostatic result is dominant, while at large $\beta$, a decoupled mode associated with fluctuations in $\delta A_\parallel$ is dominant, so that the overall maximum growth ($\max _n \varLambda _n$) is never strongly affected by the inclusion of $\delta B_\parallel$. Thus, the weakly electromagnetic result, in which we assume $\delta B_\parallel \approx 0$, may be sufficient to treat many cases of interest, at least if the main goal is establishing overall bounds.

An apparent limitation of our results comes from the lack of information retained of the geometry of the magnetic field. The only place the metrics appear in our results is in the quantity $k_\perp = |k_\psi \boldsymbol {\nabla } \psi + k_\alpha \boldsymbol {\nabla } \alpha |$. However, there is an important physical mechanism that remains here, though somewhat obscured by the use of magnetic coordinates, namely the compression of flux surfaces. This is determined by the metric $|\boldsymbol {\nabla } \psi |$, which directly affects the size of the plasma gradients, as measured in conventional (non-magnetic) spatial coordinates, e.g. $\boldsymbol {\nabla } T_a$ (Angelino et al. Reference Angelino, Garbet, Villard, Bottino, Jolliet, Ghendrih, Grandgirard, McMillan, Sarazin and Dif-Pradalier2009). The effect is revealed when considering a mode in two different magnetic configurations with a fixed value of $k_\perp$. Roughly speaking, the configuration with larger compression ($|\boldsymbol {\nabla } \psi |$), must, given equal $B = |\boldsymbol {\nabla }\psi \times \boldsymbol {\nabla } \alpha |$, have larger $k_\alpha$, at equal $k_\perp$, and therefore a greater drive $\omega _{\ast a}$ and resulting optimal growth rates. In addition to being known in tokamaks, this effect has recently been found to be important within the configuration space of the W7-X experiment (Stroteich et al. Reference Stroteich, Xanthopoulos, Plunk and Schneider2022).

In Parts 1 and 2 in this series, we have focused on the Helmholtz free energy, but we note that this is not the only possible choice. As we have seen, the resulting picture of stability in this case only depends on the strength of certain non-conservative terms in the gyrokinetic equation and, aside from the effect just described, much is lost of the magnetic geometry. In particular, the mechanism of resonance does not play an explicit role, i.e. the parallel advection and magnetic drift terms, with the latter being known to explain differences in the stability properties of different kinds of magnetic confinement devices (stellarators, tokamaks, etc.). In Part 3 of this series, we will show how the lost effects of magnetic geometry can be recovered by use of a more general notion of free energy.

Acknowledgements

Editor Alex Schekochihin thanks the referees for their advice in evaluating this article.

Funding

This work has been carried out within the framework of the EUROfusion Consortium, funded by the European Union via the Euratom Research and Training Programme (Grant Agreement No.101052200 – EUROfusion). Views and opinions expressed are however those of the author(s) only and do not necessarily reflect those of the European Union or the European Commission. Neither the European Union nor the European Commission can be held responsible for them. This work was partly supported by a grant from the Simons Foundation (560651, PH).

Declaration of interests

The authors report no conflict of interest.

Appendix A. ${\mathcal {H}}$ and ${\mathcal {D}}$

Taking (2.2) and (2.3) and using the field equations, we obtain

(A1)\begin{align} D & = \sum_{a, b} \frac{{\rm i} \omega_{{\ast} a}}{2 n_a n_b} \left\langle \int {\rm d}^3\,v \int {\rm d}^3\,v^\prime g_a^*(v) g_b(v^\prime)\right.\nonumber\\ & \quad\times\left[\left(1 -\frac{3\eta_a}{2}\right)\left(\sigma_a \sigma_b \psi_{1a}\psi_{1b}^\prime - \varepsilon_a \varepsilon_b \psi_{3a}\psi_{3b}^\prime - \varepsilon_a \varepsilon_b \psi_{5a}\psi_{5b}^\prime \right)\right. \nonumber\\ & \quad \left.\left.+ \eta_a \left( \sigma_a \sigma_b \psi_{2a}\psi_{1b}^\prime - \varepsilon_a \varepsilon_b \psi_{4a} \psi_{3b} - \varepsilon_a \varepsilon_b \psi_{6a} \psi_{5b} \right) \right]\right\rangle + \mathrm{c.c.}, \end{align}

and

(A2)\begin{align} H & = \sum_{a} \left\langle \int {\rm d}^3\,v\frac{T_a |g_a|^2}{F_{a0}} \right\rangle - \sum_{a} \frac{1}{n_a T_a}\left\langle \left| \sum_{b} \frac{1}{n_b}\int {\rm d}^3\,v \, \sigma_a \sigma_b \psi_{1b}g_b\right|^2\right\rangle\nonumber\\ & \quad +\sum_{a,b}\frac{\varepsilon_a\varepsilon_b}{n_a n_b} \left\langle \int {\rm d}^3\,v\int {\rm d}^3\,v^\prime g_a^*(v) g_b(v^\prime) \left[ \psi_{3a}\psi_{3b}^\prime + \psi_{5a}\psi_{5b}^\prime\right] \right\rangle + \mathrm{c.c.} \end{align}

We define the variation of an arbitrary functional $F$ with respect to the distribution function $g_a$ as

(A3)\begin{equation} \frac{\delta F}{\delta g_a} = \lim_{\epsilon \rightarrow 0} \frac{{\rm d}}{{\rm d} \epsilon} F[g_a + \epsilon h], \end{equation}

where $h$ is an arbitrary function of phase space variables. Equations (A1) and (A2) yield

(A4)\begin{equation} \frac{\delta D}{\delta g_a} = \left\langle \int {\rm d}^3\,v \frac{T_a}{F_{a0}} h^* \left\{\sum_{b} {\mathcal{D}}_{ab} g_b \right\} \right\rangle + \mathrm{c.c.}, \end{equation}

and

(A5)\begin{equation} \frac{\delta H}{\delta g_a} = \left\langle \int {\rm d}^3\,v \frac{T_a}{F_{a0}} h^* \left\{\sum_{b} {\mathcal{H}}_{ab} g_b \right\} \right\rangle + \mathrm{c.c.}, \end{equation}

where the operators ${\mathcal {D}}$ and ${\mathcal {H}}$ are as defined in (3.6) and (3.7). Note that we have exchanged species labels, and dummy velocity variables of integration to obtain this form. Because $h$ is arbitrary, these forms substituted into (3.4) yield (3.5).

Appendix B. Bessel-type integrals

To calculate the various integrals involving Bessel functions, we begin with a general form of Weber's integral:

(B1)\begin{align} {\mathcal{I}}_\nu(p,a_1,a_2) & = \int_0^\infty \exp({-}p t^2) {\rm J}_\nu(a_1 t){\rm J}_\nu(a_2 t) t \,{\rm d}t\nonumber\\ & = \frac{1}{2p} \exp\left( \frac{-a_1^2-a_2^2}{4p}\right) {\rm I}_\nu\left(\frac{a_1 a_2}{2p}\right) \end{align}

where $\textrm {I}_\nu$ is the modified Bessel function of order $\nu$. The integrals we need to evaluate can be conveniently found in terms of ${\mathcal {I}}_\nu$. We define

(B2a)\begin{gather} G_{{\perp} m}(b) = 2 \int_0^{\infty} x_\perp^{m+1} \exp({-}x_\perp^2) {\rm J}_0^2(\sqrt{2 b} x_\perp^2) \,{\rm d}x_\perp, \end{gather}
(B2b)\begin{gather}G_{{\perp} m}^{(1)}(b) = 2 \int_0^{\infty} x_\perp^{m+2} \exp({-}x_\perp^2) {\rm J}_0(\sqrt{2 b} x_\perp^2) {\rm J}_1(\sqrt{2 b} x_\perp^2) \,{\rm d}x_\perp, \end{gather}
(B2c)\begin{gather}G_{{\perp} m}^{(2)}(b) = 2 \int_0^{\infty} x_\perp^{m+3} \exp({-}x_\perp^2) {\rm J}_1^2 (\sqrt{2 b} x_\perp^2) \,{\rm d}x_\perp, \end{gather}

where $m$ is assumed to be even. Now we note that these integrals can be evaluated in terms of Weber's integral:

(B3a)\begin{gather} G_{{\perp} m}(b) = 2\left[ \left(-\frac{{\rm d}}{{\rm d}p}\right)^{m/2} {\mathcal{I}}_0(p,\sqrt{2b},\sqrt{2b})\right]_{p=1}, \end{gather}
(B3b)\begin{gather}G_{{\perp} m}^{(1)}(b) = 2\left[ \left(-\frac{{\rm d}}{{\rm d}p}\right)^{m/2} \left(-\frac{{\rm d}}{{\rm d}\lambda} \right) {\mathcal{I}}_0(p,\lambda,\sqrt{2b})\right]_{p=1, \lambda = \sqrt{2b}}, \end{gather}
(B3c)\begin{gather}G_{{\perp} m}^{(2)}(b) = 2\left[ \left(-\frac{{\rm d}}{{\rm d}p}\right)^{m/2}\left(- \frac{{\rm d}}{{\rm d}\lambda_1}\right)\left(-\frac{{\rm d}}{{\rm d}\lambda_2}\right) {\mathcal{I}}_0 (p,\lambda_1,\lambda_2)\right]_{p=1, \lambda_1 = \lambda_2 = \sqrt{2b}}. \end{gather}

The above relations allows us to evaluate the functions

(B4a)\begin{gather} G_{m,n}(b) = G_{{\perp} m}(b) G_{{\parallel} n}, \end{gather}
(B4b)\begin{gather}G_{m,n}^{(1)}(b) = G_{{\perp} m}^{(1)}(b) G_{{\parallel} n}, \end{gather}
(B4c)\begin{gather}G_{m,n}^{(2)}(b) = G_{{\perp} m}^{(2)}(b) G_{{\parallel} n}, \end{gather}

where

(B5)\begin{equation} G_{{\parallel} n} = \frac{1}{\sqrt{\rm \pi}}\int_{-\infty}^{\infty} \exp{-x_\parallel^2} x_\parallel^n \,{\rm d}x_\parallel{=} \frac{1+({-}1)^n}{2\sqrt{\rm \pi}} \varGamma_E\left(\frac{1+n}{2}\right), \end{equation}

and $\varGamma _E$ is the Euler gamma function.

Appendix C. ${\boldsymbol{\mathsf{X}}}(b)$

Bessel functions of various orders enter into the symmetric matrix ${\boldsymbol{\mathsf{X}}}$, written as a function of $b$, depending on the species, whose elements are

(C1)\begin{equation} \textsf{X}_{mn}(b_a) = \frac{1}{n_{0a}}\int {\rm d}^3\,v F_{a0} \psi_{ma} \psi_{na}, \end{equation}

where $\psi _{m a}$ is the $m$th dimensionless velocity function that appears in the various moments that enter the free energy drive term $D$. Account for symmetry and oddness over $v_\parallel$ integration, ${\boldsymbol{\mathsf{X}}}$ has the following form:

(C2)\begin{equation} {\boldsymbol{\mathsf{X}}}(b) = \begin{pmatrix} \textsf{X}_{11}(b) & \textsf{X}_{12}(b) & 0 & 0 & \textsf{X}_{15}(b) & \textsf{X}_{16}(b) \\ \textsf{X}_{12}(b) & \textsf{X}_{22}(b) & 0 & 0 & \textsf{X}_{25}(b) & \textsf{X}_{26}(b) \\ 0 & 0 & \textsf{X}_{33}(b) & \textsf{X}_{34}(b) & 0 & 0 \\ 0 & 0 & \textsf{X}_{34}(b) & \textsf{X}_{44}(b) & 0 & 0 \\ \textsf{X}_{15}(b) & \textsf{X}_{25}(b) & 0 & 0 & \textsf{X}_{55}(b) & \textsf{X}_{56}(b) \\ \textsf{X}_{16}(b) & \textsf{X}_{26}(b) & 0 & 0 & \textsf{X}_{56}(b) & \textsf{X}_{66}(b) \end{pmatrix}. \end{equation}

The elements $\textsf{X}_{mn}$ are evaluated using the functions $G_{m,n}(b)$, $G_{m,n}^{(2)}(b)$ and $G_{m,n}^{(2)}(b)$, defined in the previous section. Following convention, we then evaluate them in terms of the usual gyrokinetic gamma functions

(C3)\begin{equation} \varGamma_n(b) = \exp({-}b){\rm I}_n(b). \end{equation}

Thus, $\textsf{X}_{mn}$ are, for $b$ of arbitrary size, as follows:

(C4)\begin{gather} \textsf{X}_{11}(b)=G_{0,0}(b)=\varGamma _0(b), \end{gather}
(C5)\begin{gather}\textsf{X}_{12}(b)=G_{0,2}(b)+G_{2,0}(b)=\left(\tfrac{3}{2}-b\right) \varGamma _0(b)+b \varGamma _1(b), \end{gather}
(C6)\begin{gather}\textsf{X}_{15}(b)=G^{(1)}_{0,0}(b)=\sqrt{\frac{b}{2}} \left(\varGamma _0(b)-\varGamma_1(b)\right), \end{gather}
(C7)\begin{gather}\textsf{X}_{16}(b)=G^{(1)}_{0,2}(b)+G^{(1)}_{2,0}(b)={-}\frac{\sqrt{b} \left((3 b-5) \varGamma _0(b)+(5-4 b) \varGamma _1(b)+b \varGamma _2(b)\right)}{2 \sqrt{2}}, \end{gather}
(C8)\begin{align} \textsf{X}_{22}(b)& =G_{0,4}(b)+2 G_{2,2}(b)+G_{4,0}(b)\nonumber\\ & =\tfrac{1}{4} \left(\left(6 b^2-20 b+15\right) \varGamma _0(b)+2 b \left((10-4 b) \varGamma _1(b)+b \varGamma _2(b)\right)\right), \end{align}
(C9)\begin{equation} \textsf{X}_{25}(b)=G^{(1)}_{0,2}(b)+G^{(1)}_{2,0}(b) ={-}\frac{\sqrt{b} \left((3 b-5) \varGamma _0(b)+(5-4 b) \varGamma _1(b)+b \varGamma _2(b)\right)}{2 \sqrt{2}}, \end{equation}
(C10)\begin{align} \textsf{X}_{26}(b)& =G^{(1)}_{0,4}(b)+2 G^{(1)}_{2,2}(b)+G^{(1)}_{4,0}(b)\nonumber\\ & =\frac{\sqrt{b}}{4 \sqrt{2}} \left(\left(10 b^2-42 b+35\right) \varGamma _0(b)+\left({-}15 b^2+56 b-35\right) \varGamma _1(b)\right)\nonumber\\ & \quad +\frac{b^{3/2}}{4 \sqrt{2}} \left(2 (3 b-7) \varGamma _2(b)-b \varGamma _3(b)\right), \end{align}
(C11)\begin{equation} \textsf{X}_{33}(b)=G_{0,2}(b)=\frac{\varGamma _0(b)}{2}, \end{equation}
(C12)\begin{equation} \textsf{X}_{34}(b)=G_{0,4}(b)+G_{2,2}(b)=\tfrac{1}{4} \left((5-2 b) \varGamma _0(b)+2 b \varGamma _1(b)\right), \end{equation}
(C13)\begin{align} \textsf{X}_{44}(b)& =G_{0,6}(b)+2 G_{2,4}(b)+G_{4,2}(b)\nonumber\\ & =\tfrac{1}{8} \left(\left(6 b^2-28 b+35\right) \varGamma _0(b)+2 b \left((14-4 b) \varGamma _1(b)+b \varGamma _2(b)\right)\right), \end{align}
(C14)\begin{equation} \textsf{X}_{55}(b)=G^{(2)}_{0,0}(b)=\tfrac{1}{4} \left(3 b \varGamma _0(b)+(2-4 b) \varGamma _1(b)+b \varGamma _2(b)\right), \end{equation}
(C15)\begin{align} \textsf{X}_{56}(b)& =G^{(2)}_{0,2}(b)+G^{(2)}_{2,0}(b)\nonumber\\ & =\tfrac{1}{8} (\left(15 b^2-32 b+10\right) \varGamma _1(b)+(23-10 b) b \varGamma_0(b)\nonumber\\ & \quad +b \left((9-6 b) \varGamma _2(b)+b \varGamma _3(b)\right)), \end{align}
(C16)\begin{align} \textsf{X}_{66}(b)& =G^{(2)}_{0,4}(b)+2 G^{(2)}_{2,2}(b)+G^{(2)}_{4,0}(b)\nonumber\\ & =\frac{1}{16} \left(b \left(35 b^2-188 b+217\right) \varGamma _0(b)+\left({-}56 b^3+284 b^2-308 b+70\right) \varGamma _1(b)\right)\nonumber\\ & \quad +\frac{b}{16} \left(\left(28 b^2-116 b+91\right) \varGamma _2(b)+b \left((20-8 b) \varGamma _3(b)+b \varGamma _4(b)\right)\right). \end{align}

C.1. Asymptotic forms of $\textsf{X}_{mn}$

For small $b$ we have, to first order, the following forms of $\textsf{X}_{mn}$:

(C17)\begin{equation} \left.\begin{gathered} \textsf{X}_{11}(b)\approx 1-b,\quad \textsf{X}_{12}(b)\approx\frac{3}{2}-\frac{5 b}{2} ,\quad \textsf{X}_{15}(b)\approx\frac{\sqrt{b}}{\sqrt{2}},\quad \textsf{X}_{16}(b)\approx\frac{5 \sqrt{b}}{2 \sqrt{2}},\\ \textsf{X}_{22}(b)\approx\frac{15}{4}-\frac{35 b}{4},\quad \textsf{X}_{25}(b)\approx\frac{5 \sqrt{b}}{2 \sqrt{2}},\quad \textsf{X}_{26}(b)\approx\frac{35 \sqrt{b}}{4 \sqrt{2}},\quad \textsf{X}_{33}(b)\approx\frac{1}{2}-\frac{b}{2},\\ \textsf{X}_{34}(b)\approx\frac{5}{4}-\frac{7 b}{4},\quad \textsf{X}_{44}(b)\approx\frac{35}{8}-\frac{63 b}{8},\quad \textsf{X}_{55}(b)\approx b,\quad \textsf{X}_{56}(b)\approx\frac{7 b}{2},\\ \textsf{X}_{66}(b)\approx\frac{63 b}{4}. \end{gathered}\right\} \end{equation}

For large $b$ we use the following asymptotic forms of $X_{mn}$:

(C18)\begin{equation} \left.\begin{gathered} \textsf{X}_{11}(b)\approx \frac{1}{\sqrt{2 {\rm \pi}} \sqrt{b}},\quad \textsf{X}_{12}(b)\approx\frac{1}{\sqrt{2 {\rm \pi}} \sqrt{b}},\quad \textsf{X}_{15}(b)\approx\frac{1}{4 \sqrt{{\rm \pi} } b},\quad \textsf{X}_{16}(b)\approx\frac{1}{4 \sqrt{{\rm \pi} } b},\\ \textsf{X}_{22}(b)\approx\sqrt{\frac{2}{{\rm \pi} b}},\quad \textsf{X}_{25}(b)\approx\frac{1}{4 \sqrt{{\rm \pi} } b},\quad \textsf{X}_{26}(b)\approx\frac{1}{2 \sqrt{{\rm \pi} } b},\quad \textsf{X}_{33}(b)\approx\frac{1}{2 \sqrt{2 {\rm \pi}} \sqrt{b}},\\ \textsf{X}_{34}(b)\approx\frac{1}{\sqrt{2 {\rm \pi}} \sqrt{b}},\quad \textsf{X}_{44}(b)\approx\frac{3}{\sqrt{2 {\rm \pi}} \sqrt{b}},\quad \textsf{X}_{55}(b)\approx \frac{1}{2 \sqrt{2 {\rm \pi}} \sqrt{b}},\quad \textsf{X}_{56}(b)\approx\frac{1}{\sqrt{2 {\rm \pi}} \sqrt{b}},\\ \textsf{X}_{66}(b)\approx\frac{3}{\sqrt{2 {\rm \pi}} \sqrt{b}}. \end{gathered}\right\} \end{equation}

Appendix D. Exact results for the case of a hydrogen plasma

We give the exact result of optimal growth rates for the electrostatic and weakly electromagnetic cases, defining for compactness the species-dependent elements

(D1)\begin{equation} \textsf{X}_{mn}^a = \textsf{X}_{mn}(b_a). \end{equation}

D.1. Electrostatic limit

We have

(D2)\begin{equation} \varLambda_1^2 = \frac{C^{(1)}_{ee} \omega _{* e}^2+C^{(1)}_{ee} \omega _{* e} \omega _{* i}+C^{(1)}_{ii} \omega _{* i}^2}{16 (\tau +1) \left(\tau +1-\tau \textsf{X}_{11}^e-\textsf{X}_{11}^i\right)}, \end{equation}
(D3)\begin{equation} C^{(1)}_{ii}=\tau \textsf{X}_{11}^e \left(\left(2-3 \eta _i\right){}^2 \textsf{X}_{11}^i+4 \eta _i \left(\left(2-3 \eta _i\right)\textsf{X}_{12}^i+\eta _i \textsf{X}_{22}^i\right)\right) -4 \eta _i^2 \left((\textsf{X}_{12}^{i})^2-\textsf{X}_{11}^i \textsf{X}_{22}^i\right), \end{equation}
(D4)\begin{align} C^{(1)}_{ee}& =\tau \textsf{X}_{11}^e \left(\left(2-3 \eta _e\right){}^2 \textsf{X}_{11}^i+4 \tau \eta _e^2 \textsf{X}_{22}^e\right)\nonumber\\ & \quad +4 \tau \eta _e \left(\textsf{X}_{11}^i \left(\left(2-3 \eta _e\right) \textsf{X}_{12}^e+\eta _e \textsf{X}_{22}^e\right)-\tau \eta _e (\textsf{X}_{12}^{e})^2\right), \end{align}
(D5)\begin{equation} C^{(1)}_{ie}={-}2 \tau \left(\left(3 \eta _e-2\right) \textsf{X}_{11}^e-2 \eta _e \textsf{X}_{12}^e\right) \left(\left(3 \eta _i-2\right) \textsf{X}_{11}^i-2 \eta _i \textsf{X}_{12}^i\right). \end{equation}

D.2. Weakly electromagnetic ‘$\delta A_\parallel$ modes’

We have

(D6)\begin{equation} \varLambda_3^2 = \frac{C^{(3)}_{ee} \omega _{* e}^2+C^{(3)}_{ie} \omega _{* e} \omega _{* i}+C^{(3)}_{ii} \omega _{* i}^2}{16 b_e b_i \left(b_i \beta _e \textsf{X}_{33}^e + b_e \beta _i \textsf{X}_{33}^i + b_e b_i\right)}, \end{equation}
(D7)\begin{align} C^{(3)}_{ii}& =b_e \beta _i \left(b_i \beta _e \textsf{X}_{33}^e \left(\left(2-3 \eta _i\right){}^2 \textsf{X}_{33}^i+4 \eta _i \left(\left(2-3 \eta _i\right) \textsf{X}_{34}^i+\eta _i \textsf{X}_{44}^i\right)\right)\right)\nonumber\\ & \quad -4 b_e^2 \beta _i^2 \eta _i^2 \left((\textsf{X}_{34}^{i})^2-\textsf{X}_{33}^i \textsf{X}_{44}^i\right), \end{align}
(D8)\begin{align} C^{(3)}_{ee}& =b_i \beta _e \left(\textsf{X}_{33}^e \left(4 b_i \beta _e \eta _e^2 \textsf{X}_{44}^e+b_e \left(2-3 \eta _e\right){}^2 \beta _i \textsf{X}_{33}^i\right)\right)\nonumber\\ & \quad +4 \eta _e b_i \beta _e\left(\left(b_e \beta _i \textsf{X}_{33}^i \left(\left(2-3 \eta _e\right) \textsf{X}_{34}^e+\eta _e \textsf{X}_{44}^e\right)-b_i \beta _e \eta _e (\textsf{X}_{34}^{e})^2\right)\right), \end{align}
(D9)\begin{equation} C^{(3)}_{ie}={-}2 b_e b_i \beta _e \beta _i \left(\left(3 \eta _e-2\right) \textsf{X}_{33}^e-2 \eta _e \textsf{X}_{34}^e\right) \left(\left(3 \eta _i-2\right) \textsf{X}_{33}^i-2 \eta _i \textsf{X}_{34}^i\right). \end{equation}

Footnotes

1 We mean ‘Hilbert space’ in the sense of a physicist, i.e. $\psi$ may have dependence proportional to the Dirac delta function when needed (Shankar Reference Shankar1994).

2 Our results also hold for a more general definition of the space average, as discussed in Helander & Plunk (Reference Helander and Plunk2022).

3 As seen in figure 3, it also seems to be valid for $\beta \sim \epsilon ^{-2}$ but we did not prove this.

References

REFERENCES

Angelino, P., Garbet, X., Villard, L., Bottino, A., Jolliet, S., Ghendrih, Ph., Grandgirard, V., McMillan, B.F., Sarazin, Y., Dif-Pradalier, G., et al. 2009 Role of plasma elongation on turbulent transport in magnetically confined plasmas. Phys. Rev. Lett. 102, 195002.CrossRefGoogle ScholarPubMed
Barnes, M., Parra, F.I., Highcock, E.G., Schekochihin, A.A., Cowley, S.C. & Roach, C.M. 2011 Turbulent transport in tokamak plasmas with rotational shear. Phys. Rev. Lett. 106, 175004.CrossRefGoogle ScholarPubMed
Biglari, H., Diamond, P.H. & Rosenbluth, M.N. 1989 Toroidal ion-pressure-gradient-driven drift instabilities and transport revisited. Phys. Fluids B: Plasma Phys. 1 (1), 109–118.CrossRefGoogle Scholar
Bourdelle, C., Citrin, J., Baiocchi, B., Casati, A., Cottier, P., Garbet, X. & Imbeaux, F. 2015 Core turbulent transport in tokamak plasmas: bridging theory and experiment with QuaLiKiz. Plasma Phys. Control. Fusion 58 (1), 014036.CrossRefGoogle Scholar
Camporeale, E., Burgess, D. & Passot, T. 2009 Transient growth in stable collisionless plasma. Phys. Plasmas 16 (3), 030703.CrossRefGoogle Scholar
DelSole, T. 2004 The necessity of instantaneous optimals in stationary turbulence. J. Atmos. Sci. 61 (9), 1086–1091.2.0.CO;2>CrossRefGoogle Scholar
Farrell, B.F. & Ioannou, P.J. 1996 Generalized stability theory. Part I: autonomous operators. J. Atmos. Sci. 53 (14), 2025–2040.2.0.CO;2>CrossRefGoogle Scholar
Hatch, D.R., Jenko, F., Bañón Navarro, A., Bratanov, V., Terry, P.W. & Pueschel, M.J. 2016 Linear signatures in nonlinear gyrokinetics: interpreting turbulence with pseudospectra. New J. Phys. 18 (7), 075018.CrossRefGoogle Scholar
Helander, P. & Plunk, G.G. 2021 Upper bounds on gyrokinetic instabilities in magnetized plasmas. Phys. Rev. Lett. 127, 155001.CrossRefGoogle ScholarPubMed
Helander, P. & Plunk, G.G. 2022 Energetic bounds on gyrokinetic instabilities. Part 1. Fundamentals. J. Plasma Phys. 88 (2), 905880207.CrossRefGoogle Scholar
Horton, W. 1999 Drift waves and transport. Rev. Mod. Phys. 71, 735–778.CrossRefGoogle Scholar
Kadomtsev, B.B. & Pogutse, O.P. 1970 Turbulence in toroidal systems. Rev. Plasmas Phys. 5 (6), 249–400.CrossRefGoogle Scholar
Landreman, M., Plunk, G.G. & Dorland, W. 2015 Generalized universal instability: transient linear amplification and subcritical turbulence. J. Plasma Phys. 81 (5), 905810501.CrossRefGoogle Scholar
Podesta, J.J. 2010 Transient growth in stable linearized Vlasov–Maxwell plasmas. Phys. Plasmas 17 (12), 122101.CrossRefGoogle Scholar
Ricci, P., Rogers, B.N., Dorland, W. & Barnes, M. 2006 Gyrokinetic linear theory of the entropy mode in a Z pinch. Phys. Plasmas 13 (6), 062102.CrossRefGoogle Scholar
Shankar, R. 1994 Principles of Quantum Mechanics, 2nd ed. Plenum Press.CrossRefGoogle Scholar
Staebler, G.M., Kinsey, J.E. & Waltz, R.E. 2007 A theory-based transport model with comprehensive physics. Phys. Plasmas 14 (5), 055909.CrossRefGoogle Scholar
Stroteich, S., Xanthopoulos, P., Plunk, G. & Schneider, R. 2022 Seeking turbulence optimized configurations for the Wendelstein 7-X stellarator. J. Plasma Phys. (submitted).Google Scholar
Figure 0

Figure 1. Summary of small wavenumber results. The numerical results for the mixed modes $\varLambda _1$ and $\varLambda _2$ are plotted in blue, while that for $\varLambda _3$ (the $\delta A_\parallel$ mode) is given in red. Ranges of $\beta$ (orders of $\epsilon$ ranging from $0$ to $4$), are separated visually by vertical grey lines at intermediate values ($\epsilon ^{1/2}$, $\epsilon ^{3/2}$, etc.). The asymptotic results are plotted in dashed black. Note that the growth rates are normalised to $|\omega _{i*}|$.

Figure 1

Figure 2. Summary of medium wavenumber results. The numerical results for the mixed modes $\varLambda _1$ and $\varLambda _2$ are plotted in blue, while that for $\varLambda _3$ (the $\delta A_\parallel$ mode) is given in red. Ranges of $\beta$ (orders of $\epsilon$ ranging from $0$ to $2$), are separated visually by vertical grey lines at intermediate values ($\epsilon ^{1/2}$, $\epsilon ^{3/2}$, etc.). The asymptotic results are plotted in dashed black. Note that the growth rates are normalised to $|\omega _{i*}|$.

Figure 2

Figure 3. Summary of large wavenumber results. The numerical results for the mixed modes $\varLambda _1$ and $\varLambda _2$ are plotted in blue, while that for $\varLambda _3$ (the $\delta A_\parallel$ mode) is given in red. Ranges of $\beta$ (orders of $\epsilon$ ranging from $1$ to $-1$), are separated visually by vertical grey lines at intermediate values ($\epsilon ^{1/2}$, $\epsilon ^{3/2}$, etc.). The asymptotic results are plotted in dashed black. Note that the growth rates are normalised to $|\omega _{i*}|$. Note that, curiously, the red curve coincides with one branch of the blue curve, in each range of $\beta$.