--- abstract: 'Breaking the up-down symmetry of tokamaks removes a constraint limiting intrinsic momentum transport, and hence toroidal rotation, to be small. Using gyrokinetic theory, we study the effect of different up-down asymmetric flux surface shapes on the turbulent transport of momentum. This is done by perturbatively expanding the gyrokinetic equation in large flux surface shaping mode number. It is found that the momentum flux generated by shaping that lacks mirror symmetry (which is necessarily up-down asymmetric) has a power law scaling with the shaping mode number. However, the momentum flux generated by mirror symmetric flux surface shaping (even if it is up-down asymmetric) decays exponentially with large shaping mode number. These scalings are consistent with nonlinear local gyrokinetic simulations and indicate that low mode number shaping effects (e.g. elongation, triangularity) are optimal for creating rotation. Additionally it suggests that breaking the mirror symmetry of flux surfaces may generate significantly more toroidal rotation.' address: - 'Rudolf Peierls Centre for Theoretical Physics, University of Oxford, Oxford OX1 3NP, United Kingdom' - 'Culham Centre for Fusion Energy, Culham Science Centre, Abingdon OX14 3DB, United Kingdom' author: - 'Justin Ball and Felix I. Parra' bibliography: - 'references.bib' title: 'Scaling of up-down asymmetric turbulent momentum flux with poloidal shaping mode number in tokamaks' --- Introduction {#sec:introduction} ============ Bulk toroidal rotation has been shown to be beneficial for plasma performance in tokamaks. It can stabilize the resistive wall mode, which allows violation of the Troyon limit @StraitExpRWMstabilizationD3D1995 [@SabbaghExpRWMstabilizationNSTX2002; @deVriesRotMHDStabilization1996; @ReimerdesRWMmachineComp2006], a fundamental constraint on how much plasma pressure can be confined with a given magnetic field @TroyonMHDLimit1984. Exceeding the Troyon limit directly improves the economic viability of a tokamak power plant @KrakowskiPowerPlantPhysFromEcon1988 [@NajmabadiARIES_AT2006]. Furthermore, a strong gradient in toroidal rotation can reduce energy transport by shearing turbulent eddies @RitzRotShearTurbSuppression1990 [@BurrellShearTurbStabilization1997; @BarnesPrandtlNum2011; @HighcockRotationBifurcation2010; @ParraMomentumTransitions2011]. There are several mechanisms that currently generate rotation in tokamaks. Beams of neutral particles @SuckewerRotationNBI1979 and radio frequency waves @InceLowHybridRotation2009 are commonly used to heat the plasma, but can also drive toroidal momentum. This externally injected momentum is significant in current experiments, but is expected to diminish in larger devices @LiuITERrwmStabilization2004. Self-generated momentum transport, driven by plasma turbulence, is observed, even in the absence of external injection. It is called "intrinsic" momentum transport, but it is generally weak, creating rotation less than a tenth of plasma sound speed @RiceExpIntrinsicRotMeas2007 [@ParraEmpiricalRotScaling2012]. Recently however, the strength of intrinsic rotation was explained through a symmetry of the gyrokinetic model @CattoLinearizedGyrokinetics1978 [@FriemanNonlinearGyrokinetics1982], a set of equations that are believed to govern turbulence in the core of tokamaks @McKeeTurbulenceScale2001. This symmetry constrains the turbulent transport of momentum to be on the order of $\rho_{\ast} \equiv \rho_{i} / a \ll 1$, the ratio of the ion gyroradius to the tokamak minor radius @ParraUpDownSym2011 [@SugamaUpDownSym2011; @CamenenPRLSim2009]. Reference @ParraUpDownSym2011 shows that, in the absence of preexisting rotation, this constraint holds as long as the tokamak flux surfaces are up-down symmetric (i.e. have mirror symmetry about the midplane). Further investigation suggests that breaking the up-down symmetry of the magnetic geometry is a practical means to generate significant plasma rotation @CamenenPRLExp2010 [@BallMomUpDownAsym2014; @BallMastersThesis2013; @BallShapingPenetration2015]. Hence it appears that up-down asymmetry is the most promising method to generate significant intrinsic momentum transport in a reactor-scale, initially stationary plasma @CamenenRadialVariation2011. Subsequent work has demonstrated a new symmetry of the gyrokinetic model @BallMirrorSymArg2016. This symmetry means that poloidally translating all high order flux surface shaping effects by a single tilt angle has little effect on the transport properties of the equilibrium. This has important consequences for intrinsic rotation generated by up-down asymmetry because it creates a distinction between mirror symmetric tokamaks and non-mirror symmetric tokamaks, which we will explore in depth. "Mirror symmetric" refers to tokamaks that have flux surfaces with reflectional symmetry about some line in the poloidal plane. When the line of symmetry is the midplane the mirror symmetric tokamak can also be said to be "up-down symmetric." "Non-mirror symmetric" tokamaks have flux surfaces that do not have reflectional symmetry about any line in the poloidal plane. In this work we compare the intrinsic momentum transport in magnetic geometries with different up-down asymmetric shaping effects. In section \[sec:gyrokineticAnalysis\], we present the electrostatic gyrokinetic model and give a generalized version of the local Miller equilibrium, appropriate for specifying unusual up-down asymmetric configurations. Then, we expand the gyrokinetic equation order-by-order in large shaping mode number to compare the momentum flux generated by different types of flux surface shaping. In doing so we will present two distinct arguments concerning the momentum flux generated by the local equilibrium. First, in section \[subsec:practicalNonMirrorSymShaping\], we calculate how the momentum flux scales with the shaping effect mode number given a specific set of simplified, non-mirror symmetric geometries. This is designed to give a concrete illustration of the more abstract and general scaling argument for non-mirror symmetric geometries presented in section \[subsec:genNonMirrorSymShaping\]. Second, in section \[subsec:mirrorSymShaping\], we apply the symmetry presented in reference @BallMirrorSymArg2016 to establish the scaling of momentum flux with shaping mode number in mirror symmetric (but still up-down asymmetric) configurations. Then in section \[sec:numResults\] we compare the analytic results of section \[sec:gyrokineticAnalysis\] to nonlinear local gyrokinetic simulations. Lastly, section \[sec:conclusions\] gives a summary, a broad interpretation of the analytic scalings, and some concluding remarks. Analytic gyrokinetic analysis {#sec:gyrokineticAnalysis} ============================= Gyrokinetics @LeeGenFreqGyro1983 [@LeeParticleSimGyro1983; @DubinHamiltonianGyro1983; @HahmGyrokinetics1988; @SugamaGyroTransport1996; @SugamaHighFlowGyro1998; @BrizardGyroFoundations2007; @ParraGyrokineticLimitations2008; @ParraLagrangianGyro2011; @AbelGyrokineticsDeriv2012] is a theoretical framework used to study plasma behavior with perpendicular wavenumbers comparable to the ion gyroradius ($k_{\perp} \rho_{i} \sim 1$) and timescales much slower than the particle cyclotron frequencies ($\omega \ll \Omega_{i} \ll \Omega_{e}$). Fundamentally, gyrokinetics relies on an expansion in $\rho_{\ast} \equiv \rho_{i} / a \ll 1$, where $\rho_{i}$ is the ion gyroradius and $a$ is the tokamak minor radius. These particular scales have been experimentally shown to be appropriate for modeling turbulence @McKeeTurbulenceScale2001. In deriving the gyrokinetic equations, we expand the distribution function, $f_{s} = f_{s 0} + f_{s 1} + \ldots$, and assume the perturbation is small compared to the background ($f_{s 1} \sim \rho_{\ast} f_{s 0}$) @HowesAstroGyro2006. Additionally, for tokamak plasmas, axisymmetry implies radially confined orbits and the transport timescale usually exceeds the collisional timescale. As a result, the lowest order distribution function is assumed to be Maxwellian ($f_{s 0} = F_{Ms}$). Here $$\begin{aligned} F_{M s} \equiv n_{s} \left( \frac{m_{s}}{2 \pi T_{s}} \right)^{3/2} \text{exp} \left( - \frac{m_{s} w^{2}}{2 T_{s}} \right) \label{eq:maxwellianDef}\end{aligned}$$ is the Maxwellian distribution function for species $s$, $n_{s}$ is the particle density, $m_{s}$ is the particle mass, $T_{s}$ is the temperature, and $\vec{w}$ is the velocity in the frame rotating with the plasma. In this work we will choose to neglect both electromagnetic effects (for simplicity) and pre-existing rotation (because we are interested in generating rotation in a stationary plasma). Given these assumptions, we can change the coordinates of the Fokker-Plank and quasineutrality equations from real-space coordinates to the guiding center position, i.e. the average position of the particle as it spirals around a magnetic field line. Then we can average over the gyrophase angle $\varphi$, i.e. the angle that determines the particle location on its circular motion perpendicular to the magnetic field. This gives the two governing equations of electrostatic gyrokinetics: the gyrokinetic equation and a modified version of the quasineutrality equation. The electrostatic gyrokinetic equation, in the absence of rotation and collisions, can be Fourier-analyzed in the directions perpendicular to the magnetic field and written as @ParraUpDownSym2011 $$\begin{aligned} \frac{\partial h_{s}}{\partial t} &+ w_{||} \hat{b} \cdot {\ensuremath{\vec{\nabla}}}\theta \left. \frac{\partial h_{s}}{\partial \theta} \right|_{w_{||}, \mu} + i \left[ \left( w^{2}_{||} + \frac{B}{m_{s}} \mu \right) \left( k_{\psi} v_{d s \psi} + k_{\alpha} v_{d s \alpha} \right) - w^{2}_{||} \left( k_{\alpha} \frac{\mu_{0}}{\Omega_{s} B} \frac{d p}{d \psi} \right) \right] h_{s} \nonumber \\ &+ a_{s ||} \left. \frac{\partial h_{s}}{\partial w_{||}} \right|_{\theta, \mu}+ \left\{ \langle \phi \rangle_{\varphi}, h_{s} \right\} - \frac{Z_{s} e F_{M s}}{T_{s}} \frac{\partial \langle \phi \rangle_{\varphi}}{\partial t} \label{eq:gyrokineticEq} \\ &+ i k_{\alpha} \langle \phi \rangle_{\varphi} F_{M s} \left[ \frac{1}{n_{s}} \frac{d n_{s}}{d \psi} + \left( \frac{m_{s} w^{2}}{2 T_{s}} - \frac{3}{2} \right) \frac{1}{T_{s}} \frac{d T_{s}}{d \psi} \right] = 0 \nonumber\end{aligned}$$ in the $\left( k_{\psi}, k_{\alpha}, \theta, w_{||}, \mu, \varphi, t \right)$ coordinate system. Here $h_{s}$ is the Fourier-analyzed nonadiabatic portion of the distribution function, $t$ is the time, $w_{||}$ is the component of the velocity parallel to $\hat{b} \equiv \vec{B} / B$, the magnetic field unit vector, $\theta$ is the usual cylindrical poloidal angle shown in figure \[fig:coordinateSystem\], $\mu \equiv m_{s} w_{\perp}^{2} / 2 B$ is the magnetic moment, $k_{\psi}$ is the radial wavenumber, $k_{\alpha}$ is the wavenumber within the flux surface and perpendicular to the magnetic field, $\mu_{0}$ is the permeability of free space, $\Omega_{s} \equiv Z_{s} e B / m_{s}$ is the gyrofrequency, $p$ is the plasma pressure, $\psi$ is the poloidal magnetic flux, $\phi$ is the Fourier-analyzed electrostatic potential, $Z_{s}$ is the particle charge number, and $e$ is the electric charge of the proton. The magnetic drift coefficients are given by $$\begin{aligned} v_{d s \psi} \equiv& - \frac{I \left( \psi \right)}{\Omega_{s} B} \hat{b} \cdot {\ensuremath{\vec{\nabla}}}\theta \left. \frac{\partial B}{\partial \theta} \right|_{\psi} \label{eq:driftVelPsi} \\ v_{d s \alpha} \equiv& - \frac{1}{\Omega_{s}} \left( \left. \frac{\partial B}{\partial \psi} \right|_{\theta} - \left. \frac{\partial B}{\partial \theta} \right|_{\psi} \frac{\hat{b} \cdot \left( {\ensuremath{\vec{\nabla}}}\theta \times {\ensuremath{\vec{\nabla}}}\alpha \right)}{B} \right) , \label{eq:driftVelAlpha}\end{aligned}$$ where $I \left( \psi \right) = R B_{\zeta}$ is the toroidal field flux function, $$\begin{aligned} \alpha \equiv \zeta - \int_{\theta_{\alpha} \left( \psi \right)}^{\theta} d \theta' A_{\alpha} \left( \psi, \theta' \right) \label{eq:alphaDef}\end{aligned}$$ is a coordinate that selects a particular field line from a given flux surface, $$\begin{aligned} A_{\alpha} \left( \psi, \theta \right) \equiv \frac{I \left( \psi \right)}{R^{2} \vec{B} \cdot {\ensuremath{\vec{\nabla}}}\theta} \label{eq:IalphaDef}\end{aligned}$$ is the integrand in the definition of $\alpha$, and $\theta_{\alpha} \left( \psi \right)$ is a free function that determines the field line selected by $\alpha = 0$ on each flux surface. The parallel acceleration is given by $$\begin{aligned} a_{s ||} \equiv - \frac{\mu}{m_{s}} \hat{b} \cdot {\ensuremath{\vec{\nabla}}}\theta \left. \frac{\partial B}{\partial \theta} \right|_{\psi} . \label{eq:parAccelDef}\end{aligned}$$ The nonlinear term is $$\begin{aligned} \left\{ \langle \phi \rangle_{\varphi}, h_{s} \right\} = \sum_{k_{\psi}', k_{\alpha}'} \left( k_{\psi}' k_{\alpha} - k_{\psi} k_{\alpha}' \right) \left\langle \phi \right\rangle_{\varphi} \left( k_{\psi}', k_{\alpha}' \right) h_{s} \left( k_{\psi} - k_{\psi}', k_{\alpha} - k_{\alpha}' \right) \label{eq:nonlinearTerm}\end{aligned}$$ and the gyroaverage is given by $$\begin{aligned} \left\langle \ldots \right\rangle_{\varphi} = J_{0} \left( \frac{k_{\perp} \sqrt{2 \mu B}}{\Omega_{s} \sqrt{m_{s}}} \right) \left( \ldots \right) ,\end{aligned}$$ where $$\begin{aligned} k_{\perp} = \sqrt{k_{\psi}^{2} \left| {\ensuremath{\vec{\nabla}}}\psi \right|^{2} + 2 k_{\psi} k_{\alpha} {\ensuremath{\vec{\nabla}}}\psi \cdot {\ensuremath{\vec{\nabla}}}\alpha + k_{\alpha}^{2} \left| {\ensuremath{\vec{\nabla}}}\alpha \right|^{2}} \label{eq:kperpDef}\end{aligned}$$ is the perpendicular wavenumber and $J_{n} \left( \ldots \right)$ is the $n$th order Bessel function of the first kind. The quasineutrality equation can be Fourier-analyzed and written as @ParraUpDownSym2011 $$\begin{aligned} \phi = \left( \sum_{s} \frac{Z_{s}^{2} e^{2} n_{s}}{T_{s}} \right)^{-1} \sum_{s} \frac{2 \pi Z_{s} e B}{m_{s}} \int dw_{||} d \mu \langle h_{s} \rangle_{\varphi} . \label{eq:quasineut}\end{aligned}$$ Solving the gyrokinetic and quasineutrality equations for $h_{s}$ and $\phi$ allows us to calculate the electrostatic, turbulent flux of toroidal angular momentum according to @ParraUpDownSym2011 $$\begin{aligned} \Pi_{s} \equiv& - \left\langle R \left\langle \left\langle \int d^{3} w \breve{h}_{s} m_{s} R \left( \vec{w} \cdot \hat{e}_{\zeta} \right) \left( \delta \vec{E} \cdot \hat{e}_{\zeta} \right) \right\rangle_{\psi} \right\rangle_{\Delta \psi} \right\rangle_{\Delta t} \\ =& \frac{4 \pi^{2} i}{V'} \left\langle \sum_{k_{\psi}, k_{\alpha}} k_{\alpha} \oint d \theta J B \phi \left( k_{\psi}, k_{\alpha} \right) \int dw_{||} d \mu ~ h_{s} \left( - k_{\psi}, - k_{\alpha} \right) \right. \label{eq:momFlux} \\ &\times \left. \left( \frac{I}{B} w_{||} J_{0} \left( k_{\perp} \rho_{s} \right) + \frac{i}{\Omega_{s}} \frac{k^{\psi}}{B} \frac{\mu B}{m_{s}} \frac{2 J_{1} \left( k_{\perp} \rho_{s} \right)}{k_{\perp} \rho_{s}} \right) \right\rangle_{\Delta t} ,\nonumber\end{aligned}$$ where $\breve{h}_{s}$ is the non-adiabatic perturbed distribution function (before Fourier analysis), $\delta \vec{E}$ is the turbulent electric field, $\left\langle \ldots \right\rangle_{\psi} \equiv \left( 2 \pi / V' \right) \oint_{0}^{2 \pi} d \theta J \left( \ldots \right)$ is the flux surface average, $V' \equiv 2 \pi \oint_{0}^{2 \pi} d\theta J$, $$\begin{aligned} J \equiv \left| {\ensuremath{\vec{\nabla}}}\psi \cdot \left( {\ensuremath{\vec{\nabla}}}\theta \times {\ensuremath{\vec{\nabla}}}\zeta \right) \right|^{-1} = \left( \vec{B} \cdot {\ensuremath{\vec{\nabla}}}\theta \right)^{-1} \label{eq:jacobian}\end{aligned}$$ is the Jacobian, $\left\langle \ldots \right\rangle_{\Delta \psi} \equiv \Delta \psi^{-1} \int_{\Delta \psi} \left( \ldots \right)$ is the coarse-grain average over a radial distance $\Delta \psi$ (which is larger than the scale of the turbulence, but smaller than the scale of the device), $\left\langle \ldots \right\rangle_{\Delta t} \equiv \Delta t^{-1} \int_{\Delta t} \left( \ldots \right)$ is the coarse-grain average over a time $\Delta t$ (which is longer than the turbulent decorrelation time), and $k^{\psi} \equiv \vec{k}_{\perp} \cdot {\ensuremath{\vec{\nabla}}}\psi = k_{\psi} \left| {\ensuremath{\vec{\nabla}}}\psi \right|^{2} + k_{\alpha} {\ensuremath{\vec{\nabla}}}\psi \cdot {\ensuremath{\vec{\nabla}}}\alpha$. We note that the following eight coefficients contain all the information about the flux surface geometry: $\hat{b} \cdot {\ensuremath{\vec{\nabla}}}\theta$, $B$, $v_{d s \psi}$, $v_{d s \alpha}$, $a_{s ||}$, $\left| {\ensuremath{\vec{\nabla}}}\psi \right|^{2}$, ${\ensuremath{\vec{\nabla}}}\psi \cdot {\ensuremath{\vec{\nabla}}}\alpha$, and $\left| {\ensuremath{\vec{\nabla}}}\alpha \right|^{2}$. In an up-down symmetric tokamak, the coefficients $v_{d s \psi}$, $a_{s ||}$, and ${\ensuremath{\vec{\nabla}}}\psi \cdot {\ensuremath{\vec{\nabla}}}\alpha$ are necessarily odd in $\theta$, while $\hat{b} \cdot {\ensuremath{\vec{\nabla}}}\theta$, $B$, $v_{d s \alpha}$, $\left| {\ensuremath{\vec{\nabla}}}\psi \right|^{2}$, and $\left| {\ensuremath{\vec{\nabla}}}\alpha \right|^{2}$ are even. As shown in reference @ParraUpDownSym2011, the parity of the geometric coefficients in an up-down symmetric tokamak has important consquences for overall symmetry properties of the gyrokinetic equations. The equations become invariant to the $\left( k_{\psi}, k_{\alpha}, \theta, w_{||}, \mu, t \right) \rightarrow \left( - k_{\psi}, k_{\alpha}, - \theta, - w_{||}, \mu, t \right)$ coordinate system transformation, which is not true in up-down asymmetric devices. This symmetry means that, given any solution $h_{s} \left( k_{\psi}, k_{\alpha}, \theta, w_{||}, \mu, t \right)$, we can construct a second solution $- h_{s} \left( - k_{\psi}, k_{\alpha}, - \theta, - w_{||}, \mu, t \right)$ that will also satisfy the gyrokinetic equations. From equation <span>(\[eq:momFlux\])</span> we see that this second solution will have a momentum flux that cancels that of the original. These two solutions are each valid for different initial conditions, but since the tokamak is presumed to be chaotic, both solutions will arise within a turbulent decorrelation time (statistically speaking). This demonstrates that, in the gyrokinetic limit, the time-averaged momentum flux must be zero in an up-down symmetric tokamak. In subsection \[subsec:MillerEquil\] we present a local MHD equilibrium specification that is appropriate for flux surfaces with arbitrary shaping. Then in subsection \[subsec:asymptoticExpansion\] we briefly preface the asymptotic expansion of the gyrokinetic model in large shaping mode number. In subsection \[subsec:practicalNonMirrorSymShaping\], we first calculate the geometric coefficients in the large aspect ratio limit from the MHD equilibrium for a realistic, but simple example geometry. Using this geometry we expand the gyrokinetic equations to determine how the momentum flux scales with the mode number of the symmetry-breaking effect. This concrete example serves to illustrate the derivation for a general geometry without expanding in aspect ratio, which is detailed in subsection \[subsec:genNonMirrorSymShaping\]. Lastly, in subsection \[subsec:mirrorSymShaping\] we explain why mirror symmetric geometries are a special case and should be expected to have weak momentum transport. Up-down asymmetric local Miller equilibrium {#subsec:MillerEquil} ------------------------------------------- We will calculate the local value of the geometric coefficients that appear in the gyrokinetic equation by using the local Miller geometry model @MillerGeometry1998. The Miller equilibrium model is a way of specifying the local tokamak equilibrium in the vicinity of a single flux surface of interest. The local equilibrium is completely described by the shape of the flux surface of interest (labeled by $r_{\psi 0}$), how this shape changes with $r_{\psi}$ (the minor radial coordinate), and four scalar quantities. Traditionally $B_{0}$ (the on-axis toroidal magnetic field), $q$ (the safety factor), $\hat{s} \equiv \left( r_{\psi 0} / q \right) dq/dr_{\psi}$ (the magnetic shear), and $dp/dr_{\psi}$ (the pressure gradient) are used. Typically, a combination of vertical elongation and positive triangularity are used to specify the flux surface shape, but in this work we will use a completely general flux surface shape specification (similar to that presented in reference @BallMirrorSymArg2016). ![An example flux surface of interest, $r_{0} \left( \theta \right)$, needed by equation <span>(\[eq:gradShafranovLocalEq\])</span> for the Miller local equilibrium model. The $\left( R, Z, \zeta \right)$ coordinate system is defined such that the toroidal angle $\zeta$ and the plasma current are coming out of the page.<span data-label="fig:coordinateSystem"></span>](figs/coordinateSystem.pdf){width="40.00000%"} Since we know that flux surfaces must be periodic in poloidal angle, we are free to Fourier analyze and express them as an infinite series of shaping modes. We will choose to specify the shape of the flux surface of interest in polar form (see figure \[fig:coordinateSystem\]) as $$\begin{aligned} r_{0} \left( \theta \right) =& r \left( r_{\psi 0}, \theta \right) = r_{\psi 0} \left( 1 - \sum_{m} \frac{\Delta_{m} - 1}{\Delta_{m} + 1} {\ensuremath{\cos \left( m \left( \theta + \theta_{t m} \right) \right)}} \right) , \label{eq:fluxSurfaceSpec}\end{aligned}$$ where $m$ is the shaping mode number. Note that this is a completely general Fourier decomposition. The strength of each shaping effect is set by the parameter $\Delta_{m}$. If only one shaping effect is present then $\Delta_{m} = b / a$, where $b$ and $a$ are the maximum and minimum distance of the flux surface from the magnetic axis respectively. When $m=2$, this definition reduces to the usual elongation (typically denoted by $\kappa$). The tilt angles, $\theta_{t m}$, control the relative strength of the sine and cosine terms for every $m$. Lastly, the flux surface label $r_{\psi}$ determines the constant Fourier term. Note the distinction between $a$ (the minimum distance of a flux surface from the magnetic axis) and $r_{\psi}$ (a flux surface label that, as we will see, is defined through equation <span>(\[eq:gradShafranovLocalEq\])</span>). Differentiating equation <span>(\[eq:fluxSurfaceSpec\])</span> radially, we find $$\begin{aligned} \left. \frac{\partial r}{\partial r_{\psi}} \right|_{\psi_{0}} =& 1 - \sum_{m} \delta \Delta_{m} {\ensuremath{\cos \left( m \left( \theta + \delta \theta_{t m} \right) \right)}} , \label{eq:fluxSurfaceChangeSpec}\end{aligned}$$ where $$\begin{aligned} \delta \Delta_{m} \equiv& \sqrt{\left( \frac{\Delta_{m} - 1}{\Delta_{m} + 1} + \frac{2 r_{\psi 0}}{\left( \Delta_{m} + 1 \right)^{2}} \frac{d \Delta_{m}}{d r_{\psi}} \right)^{2} + \left( m r_{\psi 0} \frac{\Delta_{m} - 1}{\Delta_{m} + 1} \frac{d \theta_{t m}}{d r_{\psi}} \right)^{2}} \\ \delta \theta_{t m} \equiv& \theta_{t m} + \frac{1}{m} {\ensuremath{\text{arctan} \left( \left. m r_{\psi 0} \left( \Delta_{m} - 1 \right) \frac{d \theta_{t m}}{d r_{\psi}} \middle/ \left( \left(\Delta_{m} - 1 \right) + \frac{2 r_{\psi 0}}{\Delta_{m} + 1} \frac{d \Delta_{m}}{d r_{\psi}} \right) \right. \right)}}\end{aligned}$$ for each $m$. Note that for the local equilibrium all radially varying quantities are evaluated at $r_{\psi} = r_{\psi 0}$ (or equivalently $\psi = \psi_{0}$), the flux surface of interest. The change in the strength, $d \Delta_{m} / d r_{\psi}$, and tilt, $d \theta_{t m} / d r_{\psi}$, of each mode would be determined by the global MHD equilibrium. This is governed by the Grad-Shafranov equation @GradGradShafranovEq1958 and requires the entire radial current profile. In \[app:MHDequil\] we derive these quantities using a constant current profile in the limits of large aspect ratio and weak shaping. However, in the local Miller equilibrium model the radial variation of the flux surface shape is an input used to construct the poloidal magnetic field. After calculating the poloidal field, the Grad-Shafranov equation is used to calculate all higher order radial derivatives and approximate the global equilibrium. In summary, the flux surface geometry for the Miller local equilibrium model is completely specified by equations <span>(\[eq:fluxSurfaceSpec\])</span>, <span>(\[eq:fluxSurfaceChangeSpec\])</span>, and $$\begin{aligned} r \left( r_{\psi}, \theta \right) =& r_{0} \left( \theta \right) + \left. \frac{\partial r}{\partial r_{\psi}} \right|_{\psi_{0}} \left( r_{\psi} - r_{\psi 0} \right) \label{eq:gradShafranovLocalEq} \\ R \left( r_{\psi}, \theta \right) =& R_{0} + r \left( r_{\psi}, \theta \right) {\ensuremath{\cos \left( \theta \right)}} \label{eq:geoMajorRadial} \\ Z \left( r_{\psi}, \theta \right) =& r \left( r_{\psi}, \theta \right) {\ensuremath{\sin \left( \theta \right)}} , \label{eq:geoAxial}\end{aligned}$$ where $r_{\psi 0}$, $\Delta_{m}$, $\theta_{t m}$, $\delta \Delta_{m}$, $\delta \theta_{t m}$, $R_{0}$, $q$, $\hat{s}$, $d p / d r_{\psi}$, and $B_{0}$ (the tokamak major radius) are inputs. We note that if $r_{0} \left( \theta \right) = r_{0} \left( - \theta + \theta_{0} \right)$ and $\left. \partial r / \partial r_{\psi} \right|_{\psi_{0}, \theta} = \left. \partial r / \partial r_{\psi} \right|_{\psi_{0}, -\theta + \theta_{0}}$ for any $\theta_{0}$, then the tokamak is mirror symmetric, otherwise it is non-mirror symmetric. Similarly, if $r_{0} \left( \theta \right) = r_{0} \left( - \theta \right)$ and $\left. \partial r / \partial r_{\psi} \right|_{\psi_{0}, \theta} = \left. \partial r / \partial r_{\psi} \right|_{\psi_{0}, -\theta}$, then the tokamak is up-down symmetric (as well as mirror symmetric), otherwise it is up-down asymmetric. The full calculation of all eight geometric coefficients is shown in \[app:genGeoCoeff\], but for brevity here we will only calculate them to lowest order in $\epsilon \equiv a / R_{0} \ll 1$ (i.e. the inverse aspect ratio). To lowest order in aspect ratio $B \rightarrow B_{0}$ and $a_{|| s} \rightarrow 0$, so we can focus on the other six ($\hat{b} \cdot {\ensuremath{\vec{\nabla}}}\theta$, $v_{d s \psi}$, $v_{d s \alpha}$, $\left| {\ensuremath{\vec{\nabla}}}\psi \right|^{2}$, ${\ensuremath{\vec{\nabla}}}\psi \cdot {\ensuremath{\vec{\nabla}}}\alpha$, and $\left| {\ensuremath{\vec{\nabla}}}\alpha \right|^{2}$). In this limit the momentum flux, given by equation <span>(\[eq:momFlux\])</span>, becomes $$\begin{aligned} \Pi_{s} =& \frac{2 \pi i R_{0} B_{0}}{\oint d\theta \left( \hat{b} \cdot {\ensuremath{\vec{\nabla}}}\theta \right)^{-1}} \sum_{k_{\psi}, k_{\alpha}} k_{\alpha} \oint d\theta \left( \hat{b} \cdot {\ensuremath{\vec{\nabla}}}\theta \right)^{-1} \label{eq:momFluxSimple} \\ &\times \int dw_{||} d\mu ~ w_{||} J_{0} \left( k_{\perp} \rho_{s} \right) \phi \left( k_{\psi}, k_{\alpha} \right) h_{s} \left( - k_{\psi}, - k_{\alpha} \right) \nonumber\end{aligned}$$ to lowest order in $\epsilon \ll 1$. For ease of notation we will not use $q$, $\hat{s}$, or $d p / d r_{\psi}$ as inputs to the Miller local equilibrium model. Instead, we will choose to replace $q$ by $d \psi/ d r_{\psi}$ (see equation <span>(\[eq:dpsidrpsi\])</span>). Also, when we expand to lowest order in aspect ratio, we will find that we can replace both $dp/dr_{\psi}$ and $\hat{s}$ (derived from $d I / d \psi$) with $$\begin{aligned} \hat{s}' \equiv& 2 + r_{\psi 0} \left( \frac{d \psi}{d r_{\psi}} \right)^{-1} \left( \mu_{0} R_{0}^{2} \left( \frac{d \psi}{d r_{\psi}} \right)^{-1} \frac{d p}{d r_{\psi}} + R_{0} B_{0} \frac{d I}{d \psi} \right) \label{eq:shiftedShatDef} \\ =& 2 - r_{\psi 0} \left( \frac{d \psi}{d r_{\psi}} \right)^{-1} \mu_{0} j_{\zeta} R_{0} , \nonumber\end{aligned}$$ where $I \left( \psi \right) \equiv R B_{\zeta}$ is the toroidal field flux function, $j_{\zeta}$ is the current density in the toroidal direction, and $R$ is the major radial coordinate. We can make this replacement because the toroidal current, which appears on the right side of the Grad-Shafranov equation (see equation <span>(\[eq:gradShafranov\])</span>), is a flux function to lowest order in aspect ratio. We note that if the flux surfaces are exactly circular and $d p / d r_{\psi} = 0$, then $\hat{s}' = \hat{s}$. Using our geometry specification given by equations <span>(\[eq:fluxSurfaceSpec\])</span> through <span>(\[eq:geoAxial\])</span> and employing $$\begin{aligned} {\ensuremath{\vec{\nabla}}}u_{1} =& \frac{\partial \vec{r} / \partial u_{2} \times \partial \vec{r} / \partial u_{3}}{\partial \vec{r} / \partial u_{1} \cdot \left( \partial \vec{r} / \partial u_{2} \times \partial \vec{r} / \partial u_{3} \right)} , \label{eq:gradIdentity}\end{aligned}$$ where $\left( u_{1}, u_{2}, u_{3} \right)$ is a cyclic permutation of $\left( r_{\psi}, \theta, \zeta \right)$, we can directly calculate the poloidal field, $$\begin{aligned} \vec{B}_{p} =& \frac{d \psi}{d r_{\psi}} {\ensuremath{\vec{\nabla}}}\zeta \times {\ensuremath{\vec{\nabla}}}r_{\psi} . \label{eq:poloidalFieldDef}\end{aligned}$$ This allows us to calculate $\hat{b} \cdot {\ensuremath{\vec{\nabla}}}\theta$, $$\begin{aligned} v_{d s \psi} =& \frac{m_{s}}{Z_{s} e} \hat{b} \cdot {\ensuremath{\vec{\nabla}}}\theta \frac{\partial R}{\partial \theta} , \label{eq:driftVelPsiAspect}\end{aligned}$$ and $\left| {\ensuremath{\vec{\nabla}}}\psi \right|^{2} = R^{2} B_{p}^{2}$ to lowest order in aspect ratio. However, ${\ensuremath{\vec{\nabla}}}\alpha$ contains second-order radial derivatives, which are not specified. The Miller model determines them by ensuring that the Grad-Shafranov equation @GradGradShafranovEq1958, $$\begin{aligned} R^{2} {\ensuremath{\vec{\nabla}}}\cdot \left( \frac{{\ensuremath{\vec{\nabla}}}\psi}{R^{2}} \right) = \mu_{0} j_{\zeta} R = -\mu_{0} R^{2} \frac{dp}{d \psi} - I \frac{d I}{d \psi} , \label{eq:gradShafranov}\end{aligned}$$ is satisfied. With considerable work (shown in \[app:genGeoCoeff\]), we can use the Grad-Shafranov equation to calculate that $$\begin{aligned} {\ensuremath{\vec{\nabla}}}\alpha =& \frac{\partial \alpha}{\partial \psi} {\ensuremath{\vec{\nabla}}}\psi + \frac{\partial \alpha}{\partial \theta} {\ensuremath{\vec{\nabla}}}\theta , \label{eq:gradAlphaAspect}\end{aligned}$$ where $$\begin{aligned} \frac{\partial \alpha}{\partial \psi} =& - \left. \int_{\theta_{\alpha}}^{\theta} \right|_{\psi} d \theta' \frac{\partial A_{\alpha}}{\partial \psi} + A_{\alpha} \left( \psi, \theta_{\alpha} \right) \frac{d \theta_{\alpha}}{d \psi} \label{eq:gradAlphaPsiAspectUnsimplified} \\ =& - \left. \int_{\theta_{\alpha}}^{\theta} \right|_{\psi} d \theta' \left( \frac{\partial A_{\alpha}}{\partial \psi} \right)_{\text{orthog}} + \left[ \frac{B_{0}}{R_{0}^{3} B_{p}^{3}} {\ensuremath{\frac{\partial l_{p}}{\partial \theta'}}}{\ensuremath{\vec{\nabla}}}\psi \cdot {\ensuremath{\vec{\nabla}}}\theta' \right]_{\theta' = \theta_{\alpha}}^{\theta' = \theta} \label{eq:gradAlphaPsiAspect} \\ &+ \left( \frac{B_{0}}{R_{0} B_{p}} {\ensuremath{\frac{\partial l_{p}}{\partial \theta}}}\right)_{\theta = \theta_{\alpha}} \frac{d \theta_{\alpha}}{d \psi} \nonumber\end{aligned}$$ and $$\begin{aligned} \frac{\partial \alpha}{\partial \theta} =& - A_{\alpha} \left( \psi, \theta \right) = - \frac{B_{0}}{R_{0} B_{p}} {\ensuremath{\frac{\partial l_{p}}{\partial \theta}}}\end{aligned}$$ to lowest order in aspect ratio. Here $$\begin{aligned} \left( \frac{\partial A_{\alpha}}{\partial \psi} \right)_{\text{orthog}} = \frac{B_{0}}{R_{0}^{2} B_{p}^{2}} {\ensuremath{\frac{\partial l_{p}}{\partial \theta'}}}\left( \frac{d \psi}{d r_{\psi}} \frac{\hat{s}' - 2}{r_{\psi 0} R_{0} B_{p}} + 2 \kappa_{p} \right) \label{eq:gradAlphaAspectIntegrand}\end{aligned}$$ is the part of $\partial A_{\alpha} / \partial \psi$ that remains if the $\left( r_{\psi}, \theta, \zeta \right)$ coordinate system is orthogonal, $$\begin{aligned} \kappa_{p} \equiv& - \left( \hat{b}_{p} \cdot {\ensuremath{\vec{\nabla}}}\hat{b}_{p} \right) \cdot \frac{{\ensuremath{\vec{\nabla}}}\psi}{\left| {\ensuremath{\vec{\nabla}}}\psi \right|} = \left( {\ensuremath{\frac{\partial l_{p}}{\partial \theta}}}\right)^{-3} \left( \frac{\partial R}{\partial \theta} \frac{\partial^{2} Z}{\partial \theta^{2}} - \frac{\partial^{2} R}{\partial \theta^{2}} \frac{\partial Z}{\partial \theta} \right) \label{eq:poloidalCurv}\end{aligned}$$ is the poloidal magnetic field curvature (defined such that the inwards normal direction is positive), $\hat{b}_{p} \equiv \vec{B}_{p} / B_{p}$ is the poloidal field unit vector, and $l_{p}$ is the poloidal arc length, defined such that $$\begin{aligned} {\ensuremath{\frac{\partial l_{p}}{\partial \theta}}}=& \sqrt{\frac{\partial \vec{r}}{\partial \theta} \cdot \frac{\partial \vec{r}}{\partial \theta}} = \sqrt{\left( \frac{\partial R}{\partial \theta} \right)^{2} + \left( \frac{\partial Z}{\partial \theta} \right)^{2}} . \label{eq:dLpdtheta}\end{aligned}$$ The form of equation <span>(\[eq:gradAlphaAspectIntegrand\])</span> is useful because it does not contain any radial derivatives (except $d \psi/ d r_{\psi}$ which is an input to the calculation) and distinguishes the important term: the poloidal curvature. This allows us to find ${\ensuremath{\vec{\nabla}}}\psi \cdot {\ensuremath{\vec{\nabla}}}\alpha$, $\left| {\ensuremath{\vec{\nabla}}}\alpha \right|^{2}$, and $$\begin{aligned} v_{d s \alpha} =& \frac{1}{\Omega_{s}} \left( \frac{B_{0}}{R_{0}} \frac{\partial R}{\partial \psi} + \frac{\partial R}{\partial \theta} \frac{\partial \alpha}{\partial \psi} {\ensuremath{\vec{\nabla}}}\psi \cdot \left( {\ensuremath{\vec{\nabla}}}\theta \times {\ensuremath{\vec{\nabla}}}\zeta \right) \right) \label{eq:driftVelAlphaAspect}\end{aligned}$$ to lowest order in aspect ratio. Asymptotic expansion ordering {#subsec:asymptoticExpansion} ----------------------------- We know from reference @ParraUpDownSym2011 that, unless the up-down symmetry of the geometric coefficients is broken, the time-averaged momentum flux will always be zero to lowest order in $\rho_{\ast} \equiv \rho_{i} / a \ll 1$. We will investigate the consequences of breaking the up-down symmetry using different shaping effects. To do this we will expand equations <span>(\[eq:gyrokineticEq\])</span>, <span>(\[eq:quasineut\])</span>, and <span>(\[eq:momFluxSimple\])</span> in $m \gg 1$ using $$\begin{aligned} h_{s} =& h_{s 0} + h_{s 1} + h_{s 2} + h_{s 3} + \ldots \\ \phi =& \phi_{0} + \phi_{1} + \phi_{2} + \phi_{3} + \ldots ,\end{aligned}$$ where the subscript indicates the order in $m^{-1} \ll 1$. This expansion separates the long spatial scale coordinate $\theta$, from the short spatial scale coordinate $$\begin{aligned} z \equiv m \theta .\end{aligned}$$ Distinguishing the variation on each scale, e.g. $h_{s} \left( \theta, z \right)$ and $\phi \left( \theta, z \right)$, means that $$\begin{aligned} \left. \frac{\partial}{\partial \theta} \right|_{w_{||}, \mu} = \left. \frac{\partial}{\partial \theta} \right|_{z, w_{||}, \mu} + m \left. \frac{\partial}{\partial z} \right|_{\theta, w_{||}, \mu} .\end{aligned}$$ Ultimately we will only be interested in large scale phenomena, so we will need to average quantities in $z$ using $$\begin{aligned} \overline{\left( \ldots \right)} \equiv \frac{1}{2 \pi} \left. \oint_{-\pi}^{\pi} \right|_{\theta} dz \left( \ldots \right) , \label{eq:zAvg}\end{aligned}$$ but we must still manipulate the $z$-dependent portion, given by $$\begin{aligned} \widetilde{\left( \ldots \right)} \equiv \left( \ldots \right) - \overline{\left( \ldots \right)} . \label{eq:zDep}\end{aligned}$$ Practical non-mirror symmetric shaping in the gyrokinetic model {#subsec:practicalNonMirrorSymShaping} --------------------------------------------------------------- In this section we will expand the large aspect ratio gyrokinetic, quasineutrality, and momentum flux equations order-by-order to determine the scaling of the momentum flux with $m \gg 1$. Hence formally we require that $\epsilon \ll 1$ for the aspect ratio expansion and also that $\epsilon \ll m^{-1} \ll 1$ for the subsidiary expansion in shaping mode number. We perform the calculation for $\epsilon \sim 1$ in subsection \[subsec:genNonMirrorSymShaping\]. The shape of the flux surface of interest (and how it changes with radius) is completely specified by equations <span>(\[eq:fluxSurfaceSpec\])</span> through <span>(\[eq:geoAxial\])</span>. We will choose the ordering $$\begin{aligned} \Delta_{m} - 1 \sim m^{-2} \label{eq:weakShapingOrdering}\end{aligned}$$ because it is physical (see \[app:maxShaping\]), straightforward to treat analytically, and arises naturally from experimental flux surface shapes. For regular polygons, $\Delta_{m} - 1 = {\ensuremath{\sec \left( \pi / m \right)}} - 1 \sim m^{-2}$, so we see that exceeding this scaling necessarily leads to flux surfaces with convex regions. With the exception of "bean-shaped" tokamaks @GrimmBeanShape1985, practically all configurations have purely concave flux surfaces, so we know they respect this scaling. We can determine how to order the radial derivative by balancing it against the poloidal derivative in the Grad-Shafranov equation (see equations <span>(\[eq:gradShafranovLowestOrderNormalized\])</span> and <span>(\[eq:shapingRadialDeriv\])</span>) to find $$\begin{aligned} \frac{d \Delta_{m}}{d r_{\psi}} \sim \frac{m \left( \Delta_{m} - 1 \right)}{r_{\psi 0}} . \label{eq:changeShapeOrdering}\end{aligned}$$ Lastly, we take $$\begin{aligned} \frac{d \theta_{t m}}{d r_{\psi}} = 0\end{aligned}$$ to lowest order in aspect ratio (as seen in \[app:MHDequil\] and reference @BallMastersThesis2013), so $\delta \theta_{t m} = \theta_{t m}$. In this calculation, we will use flux surfaces with simple shaping that is not mirror symmetric. To create these flux surfaces, we include only two fast shaping effects, $m$ and $n$, in equations <span>(\[eq:fluxSurfaceSpec\])</span> and <span>(\[eq:fluxSurfaceChangeSpec\])</span>. They are free to have different strengths, $\Delta_{m}$ and $\Delta_{n}$, and tilt angles, $\theta_{t m}$ and $\theta_{t n}$. However, we order $n - m \sim 1$ (implying that $n \sim m$), $\Delta_{n} - 1 \sim \Delta_{m} - 1 \sim m^{-2}$, and $d \Delta_{n} / d r_{\psi} \sim d \Delta_{m} / d r_{\psi}$. Given these orderings equations <span>(\[eq:fluxSurfaceSpec\])</span> and <span>(\[eq:fluxSurfaceChangeSpec\])</span> become $$\begin{aligned} r_{0} \left( \theta \right) =& r_{\psi 0} \left( 1 - \frac{\Delta_{m} - 1}{2} {\ensuremath{\cos \left( z_{m s} \right)}} - \frac{\Delta_{n} - 1}{2} {\ensuremath{\cos \left( z_{n s} \right)}} \right) + O \left( m^{-4} r_{\psi 0} \right) \label{eq:fluxSurfaceSpecSimplified} \\ \left. \frac{\partial r}{\partial r_{\psi}} \right|_{\psi_{0}} =& 1 - \frac{r_{\psi 0}}{2} \frac{d \Delta_{m}}{d r_{\psi}} {\ensuremath{\cos \left( z_{m s} \right)}} - \frac{r_{\psi 0}}{2} \frac{d \Delta_{n}}{d r_{\psi}} {\ensuremath{\cos \left( z_{n s} \right)}} + O \left( m^{-2} \right) , \label{eq:fluxSurfaceChangeSpecSimplified}\end{aligned}$$ where $$\begin{aligned} z_{m s} \equiv& m \left( \theta + \theta_{t m} \right) \label{eq:zmsDef} \\ z_{n s} \equiv& n \left( \theta + \theta_{t n} \right) . \label{eq:znsDef}\end{aligned}$$ ### Geometric coefficients. {#subsubsec:geoCoeffs} To lowest order, $O \left( 1 \right)$, the geometric coefficients are those of a circular tokamak and are entirely independent of the short spatial scale coordinate, $z$. To next order the coefficients depend on $z$, but are algebraically intensive to find. The full expressions for all six coefficients (and several intermediate quantities that are useful in the derivation) are given in \[app:nonMirrorGeoCoeffs\], but here we will only derive $v_{d s \alpha}$ to serve as an illustrative example. This coefficient signifies the magnetic drifts in the direction perpendicular to the magnetic field, but still within the flux surface. We will start with equations <span>(\[eq:gradShafranovLocalEq\])</span>, <span>(\[eq:geoMajorRadial\])</span>, <span>(\[eq:geoAxial\])</span>, <span>(\[eq:fluxSurfaceSpecSimplified\])</span>, and <span>(\[eq:fluxSurfaceChangeSpecSimplified\])</span> and use them to construct all of the quantities appearing in equation <span>(\[eq:driftVelAlphaAspect\])</span>, the expression for $v_{d s \alpha}$ to lowest order in aspect ratio. It will be sufficient to calculate all quantities to $O \left( m^{-1} \right)$ with the exception of $\partial R / \partial \theta$ and $\partial Z / \partial \theta$ because they appear in the poloidal curvature with an extra poloidal derivative (see equation <span>(\[eq:poloidalCurv\])</span>). This extra derivative creates an additional factor of $m$, which boosts $O \left( m^{-2} \right)$ effects to $O \left( m^{-1} \right)$. Directly differentiating equations <span>(\[eq:geoMajorRadial\])</span> and <span>(\[eq:geoAxial\])</span> we find $$\begin{aligned} \frac{\partial R}{\partial \theta} =& \frac{d r_{0}}{d \theta} {\ensuremath{\cos \left( \theta \right)}} - r_{0} {\ensuremath{\sin \left( \theta \right)}} \label{eq:partialRpartialTheta} \\ \frac{\partial Z}{\partial \theta} =& \frac{d r_{0}}{d \theta} {\ensuremath{\sin \left( \theta \right)}} + r_{0} {\ensuremath{\cos \left( \theta \right)}} \label{eq:partialZpartialTheta} \\ \frac{\partial^{2} R}{\partial \theta^{2}} =& \frac{d^{2} r_{0}}{d \theta^{2}} {\ensuremath{\cos \left( \theta \right)}} - 2 \frac{d r_{0}}{d \theta} {\ensuremath{\sin \left( \theta \right)}} - r_{0} {\ensuremath{\cos \left( \theta \right)}} \label{eq:partialSqRpartialThetaSq} \\ \frac{\partial^{2} Z}{\partial \theta^{2}} =& \frac{d^{2} r_{0}}{d \theta^{2}} {\ensuremath{\sin \left( \theta \right)}} + 2 \frac{d r_{0}}{d \theta} {\ensuremath{\cos \left( \theta \right)}} - r_{0} {\ensuremath{\sin \left( \theta \right)}} , \label{eq:partialSqZpartialThetaSq}\end{aligned}$$ where $$\begin{aligned} \frac{d r_{0}}{d \theta} =& \frac{r_{\psi 0}}{2} \Big( m \left( \Delta_{m} - 1 \right) {\ensuremath{\sin \left( z_{m s} \right)}} + n \left( \Delta_{n} - 1 \right) {\ensuremath{\sin \left( z_{n s} \right)}} \Big) + O \left( m^{-3} r_{\psi 0} \right) \\ \frac{d^{2} r_{0}}{d \theta^{2}} =& \frac{r_{\psi 0}}{2} \Big( m^{2} \left( \Delta_{m} - 1 \right) {\ensuremath{\cos \left( z_{m s} \right)}} + n^{2} \left( \Delta_{n} - 1 \right) {\ensuremath{\cos \left( z_{n s} \right)}} \Big) + O \left( m^{-2} r_{\psi 0} \right) .\end{aligned}$$ From this point forward we will only need quantities to $O \left( m^{-1} \right)$ to accurately capture the up-down symmetry breaking. Substituting equations <span>(\[eq:partialRpartialTheta\])</span> and <span>(\[eq:partialZpartialTheta\])</span> into equation <span>(\[eq:dLpdtheta\])</span> gives $$\begin{aligned} {\ensuremath{\frac{\partial l_{p}}{\partial \theta}}}=& r_{\psi 0} + O \left( m^{-2} r_{\psi 0} \right) . \label{eq:nonMirrordLpdTheta}\end{aligned}$$ We can now substitute equations <span>(\[eq:partialRpartialTheta\])</span> through <span>(\[eq:nonMirrordLpdTheta\])</span> into equation <span>(\[eq:poloidalCurv\])</span> to find $$\begin{aligned} \kappa_{p} =& \frac{1}{r_{\psi 0}} \left( 1 - \frac{1}{r_{\psi 0}} \frac{d^{2} r_{0}}{d \theta^{2}} \right) + O \left( \frac{m^{-2}}{r_{\psi 0}} \right) \label{eq:nonMirrorPolCurv} \\ =& \frac{1}{r_{\psi 0}} \left( 1 - \frac{1}{2} \left[ m^{2} \left( \Delta_{m} - 1 \right) {\ensuremath{\cos \left( z_{m s} \right)}} + n^{2} \left( \Delta_{n} - 1 \right) {\ensuremath{\cos \left( z_{n s} \right)}} \right] \right) + O \left( \frac{m^{-2}}{r_{\psi 0}} \right) .\end{aligned}$$ Next we will calculate $$\begin{aligned} \frac{\partial R}{\partial r_{\psi}} =& \left. \frac{\partial r}{\partial r_{\psi}} \right|_{\psi_{0}} {\ensuremath{\cos \left( \theta \right)}} \label{eq:partialRpartialrPsi} \\ \frac{\partial Z}{\partial r_{\psi}} =& \left. \frac{\partial r}{\partial r_{\psi}} \right|_{\psi_{0}} {\ensuremath{\sin \left( \theta \right)}} \label{eq:partialZpartialrPsi}\end{aligned}$$ straightforwardly from equations <span>(\[eq:geoMajorRadial\])</span> and <span>(\[eq:geoAxial\])</span>. We can determine ${\ensuremath{\vec{\nabla}}}r_{\psi}$ through equation <span>(\[eq:gradIdentity\])</span> and $$\begin{aligned} {\ensuremath{\vec{\nabla}}}\theta =& \frac{\hat{e}_{\theta}}{r_{0} \left( \theta \right)} \label{eq:gradTheta} \\ {\ensuremath{\vec{\nabla}}}\zeta =& \frac{\hat{e}_{\zeta}}{R} = \frac{\hat{e}_{\zeta}}{R_{0}} + O \left( \frac{\epsilon}{R_{0}} \right) \label{eq:gradZeta}\end{aligned}$$ directly, where $\hat{e}_{\theta}$ and $\hat{e}_{\zeta}$ are the poloidal and toroidal angle unit vectors respectively. With this we can find the coordinate scalar triple product to be $$\begin{aligned} {\ensuremath{\vec{\nabla}}}\psi \cdot \left( {\ensuremath{\vec{\nabla}}}\theta \times {\ensuremath{\vec{\nabla}}}\zeta \right) = \frac{1}{J} = \frac{1}{r_{\psi 0} R_{0}} \frac{d \psi}{d r_{\psi}} \left( \left. \frac{\partial r}{\partial r_{\psi}} \right|_{\psi_{0}} \right)^{-1} + O \left( m^{-2} \frac{B_{0}}{R_{0}} \right) , \label{eq:tripleProd}\end{aligned}$$ which is needed to calculate the second term of equation <span>(\[eq:driftVelAlphaAspect\])</span>. Since we are using $d \psi / d r_{\psi}$ as an input instead of $q$, it is simple to find $\partial R / \partial \psi$ from equation <span>(\[eq:partialRpartialrPsi\])</span> in order to calculate the first term of equation <span>(\[eq:driftVelAlphaAspect\])</span>. At this point we see that we have calculated all of the quantities appearing in equation <span>(\[eq:driftVelAlphaAspect\])</span>, except for $\partial \alpha / \partial \psi$. This is specified by equation <span>(\[eq:gradAlphaPsiAspect\])</span> and is made up of three terms. All of the terms require that we know $$\begin{aligned} B_{p} = \frac{1}{J} \frac{\partial l_{p}}{\partial \theta} = \frac{1}{R_{0}} \frac{d \psi}{d r_{\psi}} \left( \left. \frac{\partial r}{\partial r_{\psi}} \right|_{\psi_{0}} \right)^{-1} + O \left( m^{-2} B_{p} \right) , \label{eq:BpAspect}\end{aligned}$$ which is found using equations <span>(\[eq:poloidalFieldDef\])</span>, <span>(\[eq:dLpdtheta\])</span>, <span>(\[eq:gradZeta\])</span>, <span>(\[eq:gradIdentity\])</span>, and <span>(\[eq:tripleProd\])</span>. Using equations <span>(\[eq:nonMirrordLpdTheta\])</span>, <span>(\[eq:nonMirrorPolCurv\])</span>, and <span>(\[eq:BpAspect\])</span>, we can calculate the integrand (see equation <span>(\[eq:gradAlphaAspectIntegrand\])</span>) that appears in the first term to be $$\begin{aligned} \left( \frac{\partial A_{\alpha}}{\partial \psi} \right)_{\text{orthog}} =& B_{0} \left( \frac{d \psi}{d r_{\psi}} \right)^{-2} \left( \left. \frac{\partial r}{\partial r_{\psi}} \right|_{\psi_{0}} \right)^{2} \label{eq:nonMirrorAlphaIntegrand} \\ &\times \left[ \left( \hat{s}' - 2 \right) \left. \frac{\partial r}{\partial r_{\psi}} \right|_{\psi_{0}} + 2 \left( 1 - \frac{1}{r_{\psi 0}} \frac{d^{2} r_{0}}{d \theta'^{2}} \right) \right] + O \left( \frac{m^{-2}}{r_{\psi 0}^{2} B_{0}} \right) \nonumber\end{aligned}$$ to lowest order in aspect ratio. Finding the indefinite integral of equation <span>(\[eq:nonMirrorAlphaIntegrand\])</span> is straightforward and is explicitly given in \[app:nonMirrorGeoCoeffs\]. The second term of equation <span>(\[eq:gradAlphaPsiAspect\])</span> is found to be $$\begin{aligned} \frac{B_{0}}{R_{0}^{3} B_{p}^{3}} {\ensuremath{\frac{\partial l_{p}}{\partial \theta'}}}{\ensuremath{\vec{\nabla}}}\psi \cdot {\ensuremath{\vec{\nabla}}}\theta' = - \frac{B_{0}}{r_{\psi 0}} \left( \frac{d \psi}{d r_{\psi}} \right)^{-2} \left( \left. \frac{\partial r}{\partial r_{\psi}} \right|_{\psi_{0}} \right)^{2} \frac{d r_{0}}{d \theta'} + O \left( \frac{m^{-2}}{r_{\psi 0}^{2} B_{0}} \right)\end{aligned}$$ by substituting equations <span>(\[eq:nonMirrordLpdTheta\])</span>, <span>(\[eq:gradTheta\])</span>, <span>(\[eq:gradIdentity\])</span>, and <span>(\[eq:BpAspect\])</span>. At this point, by specifying the free parameter $$\begin{aligned} \frac{d \theta_{\alpha}}{d \psi} =& \left( \frac{B_{0}}{R_{0} B_{p}} {\ensuremath{\frac{\partial l_{p}}{\partial \theta}}}\right)_{\theta = \theta_{\alpha}}^{-1} \label{eq:nonMirrorThetaAlphaDerivCond} \\ &\times \left[ - \left. \int_{\theta_{0}}^{\theta_{\alpha}} \right|_{\psi} d \theta' \left( \frac{\partial A_{\alpha}}{\partial \psi} \right)_{\text{orthog}} + \left( \frac{B_{0}}{R_{0}^{3} B_{p}^{3}} {\ensuremath{\frac{\partial l_{p}}{\partial \theta'}}}{\ensuremath{\vec{\nabla}}}\psi \cdot {\ensuremath{\vec{\nabla}}}\theta' \right)_{\theta' = \theta_{\alpha}} \right] , \nonumber\end{aligned}$$ we can use the third term of equation <span>(\[eq:gradAlphaPsiAspect\])</span> to eliminate all of the terms in $\partial \alpha / \partial \psi$ that do not depend on $\theta$. Here $\theta_{0}$ is defined such that the resulting integral does not have a term that is constant in poloidal angle. Additionally, we choose $\theta_{\alpha} \left( \psi_{0} \right) = 0$ for simplicity. Given this choice, equation <span>(\[eq:gradAlphaPsiAspect\])</span> becomes $$\begin{aligned} \frac{\partial \alpha}{\partial \psi} =& - \left. \int_{\theta_{0}}^{\theta} \right|_{\psi} d \theta' \left( \frac{\partial A_{\alpha}}{\partial \psi} \right)_{\text{orthog}} - \frac{B_{0}}{r_{\psi 0}} \left( \frac{d \psi}{d r_{\psi}} \right)^{-2} \left( \left. \frac{\partial r}{\partial r_{\psi}} \right|_{\psi_{0}} \right)^{2} \frac{d r_{0}}{d \theta} + O \left( \frac{m^{-2}}{r_{\psi 0}^{2} B_{0}} \right) . \label{eq:nonMirrorAlphaIntegral}\end{aligned}$$ Substituting equations <span>(\[eq:partialRpartialTheta\])</span>, <span>(\[eq:partialRpartialrPsi\])</span>, <span>(\[eq:tripleProd\])</span>, and <span>(\[eq:nonMirrorAlphaIntegral\])</span> into equation <span>(\[eq:driftVelAlphaAspect\])</span> gives $$\begin{aligned} v_{d s \alpha} =& \frac{B_{0}}{R_{0} \Omega_{s}} \left( \frac{d \psi}{d r_{\psi}} \right)^{-1} \Bigg[ \frac{d r_{0}}{d r_{\psi}} {\ensuremath{\cos \left( \theta \right)}} + \frac{1}{r_{\psi 0}} \frac{d r_{0}}{d r_{\psi}} \frac{d r_{0}}{d \theta} {\ensuremath{\sin \left( \theta \right)}} \\ &+ \frac{1}{B_{0}} \left( \frac{d \psi}{d r_{\psi}} \right)^{2} \left( {\ensuremath{\sin \left( \theta \right)}} - \frac{1}{r_{\psi 0}} \frac{\partial r_{0}}{\partial \theta} {\ensuremath{\cos \left( \theta \right)}} \right) \left( \frac{d r_{0}}{d r_{\psi}} \right)^{-1} \left. \int_{\theta_{0}}^{\theta} \right|_{\psi} d \theta' \left( \frac{\partial A_{\alpha}}{\partial \psi} \right)_{\text{orthog}} \Bigg] \nonumber \\ &+ O \left( \frac{m^{-2}}{r_{\psi 0} R_{0} \Omega_{s}} \right) . \nonumber\end{aligned}$$ To lowest order, this is the usual result for circular flux surfaces, $$\begin{aligned} v_{d s \alpha 0} =& \frac{B_{0}}{R_{0} \Omega_{s}} \left( \frac{d \psi}{d r_{\psi}} \right)^{-1} \left( {\ensuremath{\cos \left( \theta \right)}} + \hat{s}' \theta {\ensuremath{\sin \left( \theta \right)}} \right) . \nonumber\end{aligned}$$ To next order this is a complicated expression with the form of $$\begin{aligned} v_{d s \alpha 1} =& D_{1} \theta {\ensuremath{\sin \left( \theta \right)}} + \left( D_{2} {\ensuremath{\sin \left( \theta \right)}} + D_{3} \theta {\ensuremath{\cos \left( \theta \right)}} \right) \left( D_{4} {\ensuremath{\sin \left( z_{m s} \right)}} + D_{5} {\ensuremath{\sin \left( z_{n s} \right)}} \right) \nonumber \\ &+ \left( D_{6} {\ensuremath{\cos \left( \theta \right)}} + D_{7} \theta {\ensuremath{\sin \left( \theta \right)}} \right) \left( D_{8} {\ensuremath{\cos \left( z_{m s} \right)}} + D_{9} {\ensuremath{\cos \left( z_{n s} \right)}} \right) + D_{10} {\ensuremath{\sin \left( \theta \right)}} \label{eq:nonMirrorAlphaDrift} \\ &\times \left[ {\ensuremath{\sin \left( \left( n - m \right) \theta \right)}} {\ensuremath{\cos \left( m \left( \theta_{t m} - \theta_{t n} \right) \right)}} - {\ensuremath{\cos \left( \left( n - m \right) \theta \right)}} {\ensuremath{\sin \left( m \left( \theta_{t m} - \theta_{t n} \right) \right)}} \right] . \nonumber\end{aligned}$$ where $D_{i}$ are constants (the full expression is given in \[app:nonMirrorGeoCoeffs\]). Even after averaging over $z$ the last term remains, which has a coefficient of $$\begin{aligned} D_{10} = \frac{r_{\psi 0}}{\left( n - m \right)} \left( m^{2} \left( \Delta_{m} - 1 \right) \frac{d \Delta_{n}}{d r_{\psi}} + n^{2} \left( \Delta_{n} - 1 \right) \frac{d \Delta_{m}}{d r_{\psi}} \right) . \label{eq:symBreakCoeff}\end{aligned}$$ As we will show shortly, this term, which does not disappear after averaging over $z$, breaks the up-down symmetry of the gyrokinetic equations to $O \left( m^{-1} \right)$. \[app:nonMirrorGeoCoeffs\] gives the full expressions for all six geometric coefficients to lowest order in aspect ratio. We find those that do not depend on ${\ensuremath{\vec{\nabla}}}\alpha$ (i.e. $v_{d s \psi}$ and $\left| {\ensuremath{\vec{\nabla}}}\psi \right|^{2}$) are up-down symmetric in $\theta$ to $O \left( m^{-1} \right)$. However, the other three coefficients (i.e. $v_{d s \alpha}$, ${\ensuremath{\vec{\nabla}}}\psi \cdot {\ensuremath{\vec{\nabla}}}\alpha$, and $\left| {\ensuremath{\vec{\nabla}}}\alpha \right|^{2}$) lose their symmetry at $O \left( m^{-1} \right)$. The symmetry breaking terms arise from the interaction between $\kappa_{p}$ and $B_{p}^{-2}$ in equation <span>(\[eq:gradAlphaAspectIntegrand\])</span>. Since $m \gg 1$ the second order derivatives in $\kappa_{p}$ (see equation <span>(\[eq:poloidalCurv\])</span>) brings the effect of shaping from $O \left( m^{-2} \right)$ to $O \left( 1 \right)$. This shaping can then beat with the $O \left( m^{-1} \right)$ shaping in $B_{p}^{-2}$ and break the symmetry of the geometric coefficients to $O \left( m^{-1} \right)$. We note that $\kappa_{p}$ is "normal" curvature (i.e. perpendicular to the flux surface), as opposed to "geodesic" curvature (i.e. within the flux surface) @RafiqNormalGeodesicCurv2005. The importance of $\kappa_{p}$ is surprising because it arises from the <span>*poloidal*</span> field, not the <span>*toroidal*</span> field. Usually the focus is on the "normal" curvature of the <span>*toroidal*</span> field because it generates the largest contribution to the total field line curvature that appears in the magnetic drifts. Ultimately, this beating between $\kappa_{p}$ and $B_{p}^{-2}$ is the dominate mechanism that breaks the up-down symmetry of the geometric coefficients to lowest order in aspect ratio. It is a subtle effect because it enters through the integral in $\partial \alpha / \partial \psi$ (see equations <span>(\[eq:gradAlphaPsiAspect\])</span> and <span>(\[eq:gradAlphaAspectIntegrand\])</span>), which is contained in ${\ensuremath{\vec{\nabla}}}\alpha$ (see equation <span>(\[eq:gradAlphaAspect\])</span>). However, it does not enter into the magnetic drifts. From studying these equations we can see that this mechanism acts through altering the local magnetic shear (but without modifying the total magnetic shear). Therefore, in the perfect $m \gg 1$ limit, adding a small amount of non-mirror symmetric shaping modifies local field line pitch from one flux surface to the next (without changing the field line spacing). This perturbs the local cross-sectional shape (i.e. the shape in the plane perpendicular to the field line) of the turbulent eddies as they wrap around the torus. Specifically, it tilts the eddy cross-sectional shape a small amount one way or the other, depending on the location along the field line. This non-mirror symmetric perturbation to the eddy is then acted on by the original mirror symmetric magnetic drifts. The interaction of $\kappa_{p}$ and $B_{p}^{-2}$ certainly breaks the up-down symmetry of the geometric coefficients and generates momentum flux, but it is still unclear at what order. By expanding the gyrokinetic and quasineutrality equations order-by-order in $m^{-1} \ll 1$ we will connect the symmetry-breaking of the geometric coefficients to symmetry-breaking of the distribution function and non-zero momentum flux. ### $O \left( m \right)$ gyrokinetic equation. Expanding equation <span>(\[eq:gyrokineticEq\])</span> to lowest order in $m \gg 1$ gives $$\begin{aligned} w_{||} \left( \hat{b} \cdot {\ensuremath{\vec{\nabla}}}\theta \right)_{0} m \left. \frac{\partial \widetilde{h}_{s 0}}{\partial z} \right|_{\theta, w_{||}, \mu} = 0 . \label{eq:gyrokinEqOminus1}\end{aligned}$$ We see from equation <span>(\[eq:gradparO0\])</span> that $\left( \hat{b} \cdot {\ensuremath{\vec{\nabla}}}\theta \right)_{0}$ is a constant, so integrating over $z$ gives $$\begin{aligned} \overline{h}_{s 0} =& h_{s 0} \label{eq:hs0avg} \\ \widetilde{h}_{s 0} =& 0 . \label{eq:hs0tilde}\end{aligned}$$ ### $O \left( 1 \right)$ quasineutrality equation. Expanding equation <span>(\[eq:quasineut\])</span> to lowest order in $m \gg 1$ gives $$\begin{aligned} \phi_{0} =& \left( \sum_{s} \frac{Z_{s}^{2} e^{2} n_{s}}{T_{s}} \right)^{-1} \sum_{s} \frac{2 \pi Z_{s} e B_{0}}{m_{s}} \int dw_{||} d \mu \left( J_{0} \left( k_{\perp} \rho_{s} \right) \right)_{0} h_{s 0} . \label{eq:phi0}\end{aligned}$$ Using equations <span>(\[eq:hs0avg\])</span> and <span>(\[eq:FLRO0\])</span> we see that $$\begin{aligned} \overline{\phi}_{0} =& \phi_{0} = \left( \sum_{s} \frac{Z_{s}^{2} e^{2} n_{s}}{T_{s}} \right)^{-1} \sum_{s} \frac{2 \pi Z_{s} e B_{0}}{m_{s}} \int dw_{||} d \mu \overline{\left( J_{0} \left( k_{\perp} \rho_{s} \right) \right)}_{0} \overline{h}_{s 0} \label{eq:phi0avg} \\ \widetilde{\phi}_{0} =& 0 . \label{eq:phi0tilde}\end{aligned}$$ ### $O \left( 1 \right)$ gyrokinetic equation. Expanding equation <span>(\[eq:gyrokineticEq\])</span> to $O \left( 1 \right)$ gives $$\begin{aligned} \frac{\partial h_{s 0}}{\partial t} &+ w_{||} \left( \hat{b} \cdot {\ensuremath{\vec{\nabla}}}\theta \right)_{0} \left( \left. \frac{\partial h_{s 0}}{\partial \theta} \right|_{z, w_{||}, \mu} + m \left. \frac{\partial \widetilde{h}_{s 1}}{\partial z} \right|_{\theta, w_{||}, \mu} \right) + i \left( w^{2}_{||} + \frac{B_{0}}{m_{s}} \mu \right) \left( k_{\psi} v_{d s \psi 0} + k_{\alpha} v_{d s \alpha 0} \right) h_{s 0} \nonumber \\ &+ \left\{ \left( J_{0} \left( k_{\perp} \rho_{s} \right) \right)_{0} \phi_{0}, h_{s 0} \right\} - \frac{Z_{s} e F_{M s}}{T_{s}} \frac{\partial}{\partial t} \Big( \left( J_{0} \left( k_{\perp} \rho_{s} \right) \right)_{0} \phi_{0} \Big) \label{eq:gyrokinEqO0} \\ &+ i k_{\alpha} \left( J_{0} \left( k_{\perp} \rho_{s} \right) \right)_{0} \phi_{0} F_{M s} \left[ \frac{1}{n_{s}} \frac{d n_{s}}{d \psi} + \left( \frac{m_{s} w^{2}}{2 T_{s}} - \frac{3}{2} \right) \frac{1}{T_{s}} \frac{d T_{s}}{d \psi} \right] = 0 . \nonumber\end{aligned}$$ Averaging over $z$ after using equations <span>(\[eq:hs0avg\])</span>, <span>(\[eq:phi0avg\])</span>, and <span>(\[eq:gradparO0\])</span> through <span>(\[eq:FLRO0\])</span> gives $$\begin{aligned} \frac{\partial \overline{h}_{s 0}}{\partial t} &+ w_{||} \overline{\left( \hat{b} \cdot {\ensuremath{\vec{\nabla}}}\theta \right)}_{0} \left. \frac{\partial \overline{h}_{s 0}}{\partial \theta} \right|_{z, w_{||}, \mu} + i \left( w^{2}_{||} + \frac{B_{0}}{m_{s}} \mu \right) \left( k_{\psi} \overline{v}_{d s \psi 0} + k_{\alpha} \overline{v}_{d s \alpha 0} \right) \overline{h}_{s 0} \nonumber \\ &+ \left\{ \overline{\left( J_{0} \left( k_{\perp} \rho_{s} \right) \right)}_{0} \overline{\phi}_{0}, \overline{h}_{s 0} \right\} - \frac{Z_{s} e F_{M s}}{T_{s}} \frac{\partial}{\partial t} \left( \overline{\left( J_{0} \left( k_{\perp} \rho_{s} \right) \right)}_{0} \overline{\phi}_{0} \right) \label{eq:gyrokinEqO0avg} \\ &+ i k_{\alpha} \overline{\left( J_{0} \left( k_{\perp} \rho_{s} \right) \right)}_{0} \overline{\phi}_{0} F_{M s} \left[ \frac{1}{n_{s}} \frac{d n_{s}}{d \psi} + \left( \frac{m_{s} w^{2}}{2 T_{s}} - \frac{3}{2} \right) \frac{1}{T_{s}} \frac{d T_{s}}{d \psi} \right] = 0 , \nonumber\end{aligned}$$ which does not depend on $z$. From equations <span>(\[eq:gradparO0\])</span> through <span>(\[eq:FLRO0\])</span> we see that equations <span>(\[eq:phi0avg\])</span> and <span>(\[eq:gyrokinEqO0avg\])</span> are unchanged by the $\left( k_{\psi}, k_{\alpha}, \theta, w_{||}, \mu, t \right) \rightarrow \left( - k_{\psi}, k_{\alpha}, - \theta, - w_{||}, \mu, t \right)$ coordinate system transformation when $\overline{h}_{s 0} \rightarrow - \overline{h}_{s 0}$ and $\overline{\phi}_{0} \rightarrow - \overline{\phi}_{0}$. This symmetry of the $O \left( 1 \right)$ gyrokinetic equations is important because, in exactly up-down symmetric tokamaks, it can be used to show that the momentum flux is zero (see the discussion immediately preceding equation <span>(\[eq:momFluxSimple\])</span>). Subtracting equation <span>(\[eq:gyrokinEqO0avg\])</span> from equation <span>(\[eq:gyrokinEqO0\])</span> we find $$\begin{aligned} m w_{||} \overline{\left( \hat{b} \cdot {\ensuremath{\vec{\nabla}}}\theta \right)}_{0} \left. \frac{\partial \widetilde{h}_{s 1}}{\partial z} \right|_{\theta, w_{||}, \mu} = 0 .\end{aligned}$$ Therefore, we know that $$\begin{aligned} \overline{h}_{s 1} =& h_{s 1} \label{eq:hs1avg} \\ \widetilde{h}_{s 1} =& 0 . \label{eq:hs1tilde}\end{aligned}$$ ### $O \left( 1 \right)$ momentum transport. Expanding equation <span>(\[eq:momFluxSimple\])</span> to lowest order gives $$\begin{aligned} \Pi_{s 0} =& \frac{i R_{0} B_{0}}{\oint d\theta \left( \hat{b} \cdot {\ensuremath{\vec{\nabla}}}\theta \right)_{0}^{-1}} \sum_{k_{\psi}, k_{\alpha}} k_{\alpha} \oint d\theta \left( \hat{b} \cdot {\ensuremath{\vec{\nabla}}}\theta \right)_{0}^{-1} \label{eq:pi0} \\ &\times \int dw_{||} d\mu w_{||} \left( J_{0} \left( k_{\perp} \rho_{s} \right) \right)_{0} \phi_{0} \left( k_{\psi}, k_{\alpha} \right) h_{s 0} \left( - k_{\psi}, - k_{\alpha} \right) . \nonumber\end{aligned}$$ Using equations <span>(\[eq:hs0avg\])</span>, <span>(\[eq:phi0avg\])</span>, <span>(\[eq:gradparO0\])</span>, and <span>(\[eq:FLRO0\])</span> we find that $$\begin{aligned} \Pi_{s 0} =& \frac{i R_{0} B_{0}}{2 \pi} \sum_{k_{\psi}, k_{\alpha}} k_{\alpha} \oint d\theta \int dw_{||} d\mu w_{||} \overline{\left( J_{0} \left( k_{\perp} \rho_{s} \right) \right)}_{0} \overline{\phi}_{0} \overline{h}_{s 0} . \label{eq:pi0avg}\end{aligned}$$ Therefore by the $\left( k_{\psi}, k_{\alpha}, \theta, w_{||}, \mu, t \right) \rightarrow \left( - k_{\psi}, k_{\alpha}, - \theta, - w_{||}, \mu, t \right)$ symmetry outlined in reference @ParraUpDownSym2011 we know that $\Pi_{s 0} = 0$ when averaged over a turbulent decorrelation time. ### $O \left( m^{-1} \right)$ quasineutrality equation. Equation <span>(\[eq:quasineut\])</span>, expanded to $O \left( m^{-1} \right)$, is $$\begin{aligned} \phi_{1} =& \left( \sum_{s} \frac{Z_{s}^{2} e^{2} n_{s}}{T_{s}} \right)^{-1} \sum_{s} \frac{2 \pi Z_{s} e B_{0}}{m_{s}} \int dw_{||} d \mu \Big( \left( J_{0} \left( k_{\perp} \rho_{s} \right) \right)_{1} h_{s 0} + \left( J_{0} \left( k_{\perp} \rho_{s} \right) \right)_{0} h_{s 1} \Big) . \label{eq:phi1}\end{aligned}$$ Using equations <span>(\[eq:hs0avg\])</span>, <span>(\[eq:hs1avg\])</span>, and <span>(\[eq:FLRO0\])</span>, then averaging over $z$ gives $$\begin{aligned} \overline{\phi}_{1} =& \left( \sum_{s} \frac{Z_{s}^{2} e^{2} n_{s}}{T_{s}} \right)^{-1} \sum_{s} \frac{2 \pi Z_{s} e B_{0}}{m_{s}} \int dw_{||} d \mu \left( \overline{\left( J_{0} \left( k_{\perp} \rho_{s} \right) \right)}_{1} \overline{h}_{s 0} + \overline{\left( J_{0} \left( k_{\perp} \rho_{s} \right) \right)}_{0} \overline{h}_{s 1} \right) . \label{eq:phi1avg}\end{aligned}$$ Note that $\widetilde{\phi}_{1} \neq 0$. ### $O \left( m^{-1} \right)$ gyrokinetic equation. Expanding equation <span>(\[eq:gyrokineticEq\])</span> to $O \left( m^{-1} \right)$, using equations <span>(\[eq:hs0avg\])</span>, <span>(\[eq:phi0avg\])</span>, <span>(\[eq:hs1avg\])</span>, <span>(\[eq:hs1tilde\])</span>, and <span>(\[eq:gradparO0\])</span> through <span>(\[eq:FLRO0\])</span>, gives $$\begin{aligned} \frac{\partial \overline{h}_{s 1}}{\partial t} &+ w_{||} \left( \hat{b} \cdot {\ensuremath{\vec{\nabla}}}\theta \right)_{0} \left( \left. \frac{\partial \overline{h}_{s 1}}{\partial \theta} \right|_{z, w_{||}, \mu} + m \left. \frac{\partial \widetilde{h}_{s 2}}{\partial z} \right|_{\theta, w_{||}, \mu} \right) + i \left( w^{2}_{||} + \frac{B_{0}}{m_{s}} \mu \right) \left( k_{\psi} \overline{v}_{d s \psi 0} + k_{\alpha} \overline{v}_{d s \alpha 0} \right) \overline{h}_{s 1} \nonumber \\ &+ \left\{ \overline{\left( J_{0} \left( k_{\perp} \rho_{s} \right) \right)}_{0} \overline{\phi}_{0}, \overline{h}_{s 1} \right\} + \left\{ \overline{\left( J_{0} \left( k_{\perp} \rho_{s} \right) \right)}_{0} \phi_{1}, \overline{h}_{s 0} \right\} - \frac{Z_{s} e F_{M s}}{T_{s}} \frac{\partial}{\partial t} \left( \overline{\left( J_{0} \left( k_{\perp} \rho_{s} \right) \right)}_{0} \phi_{1} \right) \nonumber \\ &+ i k_{\alpha} \overline{\left( J_{0} \left( k_{\perp} \rho_{s} \right) \right)}_{0} \phi_{1} F_{M s} \left[ \frac{1}{n_{s}} \frac{d n_{s}}{d \psi} + \left( \frac{m_{s} w^{2}}{2 T_{s}} - \frac{3}{2} \right) \frac{1}{T_{s}} \frac{d T_{s}}{d \psi} \right] \nonumber \\ &= w_{||} \left( \hat{b} \cdot {\ensuremath{\vec{\nabla}}}\theta \right)_{1} \left. \frac{\partial \overline{h}_{s 0}}{\partial \theta} \right|_{z, w_{||}, \mu} - i \left( w^{2}_{||} + \frac{B_{0}}{m_{s}} \mu \right) \left( k_{\psi} v_{d s \psi 1} + k_{\alpha} v_{d s \alpha 1} \right) \overline{h}_{s 0} \label{eq:gyrokinEqO1simple} \\ &- \left\{ \left( J_{0} \left( k_{\perp} \rho_{s} \right) \right)_{1} \overline{\phi}_{0}, \overline{h}_{s 0} \right\} + \frac{Z_{s} e F_{M s}}{T_{s}} \frac{\partial}{\partial t} \Big( \left( J_{0} \left( k_{\perp} \rho_{s} \right) \right)_{1} \overline{\phi}_{0} \Big) \nonumber \\ &- i k_{\alpha} \left( J_{0} \left( k_{\perp} \rho_{s} \right) \right)_{1} \overline{\phi}_{0} F_{M s} \left[ \frac{1}{n_{s}} \frac{d n_{s}}{d \psi} + \left( \frac{m_{s} w^{2}}{2 T_{s}} - \frac{3}{2} \right) \frac{1}{T_{s}} \frac{d T_{s}}{d \psi} \right] . \nonumber\end{aligned}$$ Averaging over $z$ we find that $$\begin{aligned} \frac{\partial \overline{h}_{s 1}}{\partial t} &+ w_{||} \hat{b} \cdot {\ensuremath{\vec{\nabla}}}\theta \left. \frac{\partial \overline{h}_{s 1}}{\partial \theta} \right|_{z, w_{||}, \mu} + i \left( w^{2}_{||} + \frac{B_{0}}{m_{s}} \mu \right) \left( k_{\psi} \overline{v}_{d s \psi 0} + k_{\alpha} \overline{v}_{d s \alpha 0} \right) \overline{h}_{s 1} \nonumber \\ &+ \left\{ \overline{\left( J_{0} \left( k_{\perp} \rho_{s} \right) \right)}_{0} \overline{\phi}_{0}, \overline{h}_{s 1} \right\} + \left\{ \overline{\left( J_{0} \left( k_{\perp} \rho_{s} \right) \right)}_{0} \overline{\phi}_{1}, \overline{h}_{s 0} \right\} - \frac{Z_{s} e F_{M s}}{T_{s}} \frac{\partial}{\partial t} \left( \overline{\left( J_{0} \left( k_{\perp} \rho_{s} \right) \right)}_{0} \overline{\phi}_{1} \right) \nonumber \\ &+ i k_{\alpha} \overline{\left( J_{0} \left( k_{\perp} \rho_{s} \right) \right)}_{0} \overline{\phi}_{1} F_{M s} \left[ \frac{1}{n_{s}} \frac{d n_{s}}{d \psi} + \left( \frac{m_{s} w^{2}}{2 T_{s}} - \frac{3}{2} \right) \frac{1}{T_{s}} \frac{d T_{s}}{d \psi} \right] \nonumber \\ &= w_{||} \overline{\left( \hat{b} \cdot {\ensuremath{\vec{\nabla}}}\theta \right)}_{1} \left. \frac{\partial \overline{h}_{s 0}}{\partial \theta} \right|_{z, w_{||}, \mu} - i \left( w^{2}_{||} + \frac{B_{0}}{m_{s}} \mu \right) \left( k_{\psi} \overline{v}_{d s \psi 1} + k_{\alpha} \overline{v}_{d s \alpha 1} \right) \overline{h}_{s 0} \label{eq:gyrokinEqO1avg} \\ &- \left\{ \overline{\left( J_{0} \left( k_{\perp} \rho_{s} \right) \right)}_{1} \overline{\phi}_{0}, \overline{h}_{s 0} \right\} + \frac{Z_{s} e F_{M s}}{T_{s}} \frac{\partial}{\partial t} \left( \overline{\left( J_{0} \left( k_{\perp} \rho_{s} \right) \right)}_{1} \overline{\phi}_{0} \right) \nonumber \\ &- i k_{\alpha} \overline{\left( J_{0} \left( k_{\perp} \rho_{s} \right) \right)}_{1} \overline{\phi}_{0} F_{M s} \left[ \frac{1}{n_{s}} \frac{d n_{s}}{d \psi} + \left( \frac{m_{s} w^{2}}{2 T_{s}} - \frac{3}{2} \right) \frac{1}{T_{s}} \frac{d T_{s}}{d \psi} \right] . \nonumber\end{aligned}$$ From equations <span>(\[eq:alphaDriftO1\])</span> and <span>(\[eq:gradPsiDotGradAlphaO1\])</span> through <span>(\[eq:FLRO1def\])</span> we see that equations <span>(\[eq:phi1avg\])</span> and <span>(\[eq:gyrokinEqO1avg\])</span> are *not* symmetric in $\left( k_{\psi}, k_{\alpha}, \theta, w_{||}, \mu, t \right) \rightarrow \left( - k_{\psi}, k_{\alpha}, - \theta, - w_{||}, \mu, t \right)$ when $\overline{h}_{s 0} \rightarrow - \overline{h}_{s 0}$, $\overline{\phi}_{0} \rightarrow - \overline{\phi}_{0}$, $\overline{h}_{s 1} \rightarrow - \overline{h}_{s 1}$, and $\overline{\phi}_{1} \rightarrow - \overline{\phi}_{1}$. This is due to both the drift term $\overline{v}_{d s \alpha 1}$ as well as $\left( {\ensuremath{\vec{\nabla}}}\psi \cdot {\ensuremath{\vec{\nabla}}}\alpha \right)_{1}$ and $\left| {\ensuremath{\vec{\nabla}}}\alpha \right|^{2}_{1}$ in $\overline{\left( J_{0} \left( k_{\perp} \rho_{s} \right) \right)}_{1}$ (which accounts for finite gyroradius effects). ### $O \left( m^{-1} \right)$ momentum transport. Expanding equation <span>(\[eq:momFluxSimple\])</span> to $O \left( m^{-1} \right)$ and using equations <span>(\[eq:gradparO0\])</span> and <span>(\[eq:gradparO1\])</span> gives $$\begin{aligned} \Pi_{s 1} =& \frac{i R_{0} B_{0}}{2 \pi} \sum_{k_{\psi}, k_{\alpha}} k_{\alpha} \oint d\theta \int dw_{||} d\mu w_{||} \Bigg[ - \overline{\left( \hat{b} \cdot {\ensuremath{\vec{\nabla}}}\theta \right)}_{0}^{-1}
{'source': 'arXiv_out/1601'}