Hostname: page-component-586b7cd67f-dsjbd Total loading time: 0 Render date: 2024-11-23T10:29:28.388Z Has data issue: false hasContentIssue false

Heat conduction in an irregular magnetic field. Part 2. Heat transport as a measure of the effective non-integrable volume

Published online by Cambridge University Press:  21 January 2022

Elizabeth J. Paul*
Affiliation:
Department of Astrophysical Sciences, Princeton University, Princeton, NJ 08544, USA Princeton Plasma Physics Laboratory, PO Box 451, Princeton, NJ 08543, USA
Stuart R. Hudson
Affiliation:
Princeton Plasma Physics Laboratory, PO Box 451, Princeton, NJ 08543, USA
Per Helander
Affiliation:
Max Planck Institute for Plasma Physics, Greifswald, Germany
*
Email address for correspondence: [email protected]
Rights & Permissions [Opens in a new window]

Abstract

Given the large anisotropy of transport processes in magnetized plasmas, the magnetic field structure can strongly impact heat diffusion: magnetic surfaces and cantori form barriers to transport while chaotic layers and island structures can degrade confinement. When a small but non-zero amount of perpendicular diffusion is included, the structure of the magnetic field becomes less important, allowing pressure gradients to be supported across chaotic regions and island chains. We introduce a metric for the effective volume over which the local parallel diffusion dominates based on the solution to the anisotropic heat diffusion equation. To validate this metric, we consider model fields with a single island chain and a strongly chaotic layer for which analytic predictions of the relative parallel and perpendicular transport can be made. We also analyse critically chaotic fields produced from different sets of perturbations, highlighting the impact of the mode number spectrum on the heat transport. Our results indicate that this metric coincides with the effective volume of non-integrability in the limit $\kappa _{\perp } \rightarrow 0$, where $\kappa_{\perp}$ is the perpendicular diffusion coefficient. We propose that this metric be used to assess the impact of non-integrability on the heat transport in stellarator equilibria.

Type
Research Article
Creative Commons
Creative Common License - CCCreative Common License - BY
This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited.
Copyright
Copyright © The Author(s), 2022. Published by Cambridge University Press

1 Introduction

The heat transport in irregular magnetic fields is critical for understanding magnetic confinement experiments and astrophysical systems. Tokamak experiments exploit control coils which produce resonant magnetic perturbations for control of edge localized modes (ELMs) (Evans et al. Reference Evans, Moyer, Watkins, Thomas, Osborne, Boedo, Fenstermacher, Finken, Groebner and Groth2005). Such perturbations must induce a small amount of stochasticization near an edge resonant surface to suppress ELMs without significant degradation of the core confinement. These coils can impart structure in the field outside the last-closed flux surface, resulting in homoclinic tangles (Evans et al. Reference Evans, Moyer, Watkins, Thomas, Osborne, Boedo, Fenstermacher, Finken, Groebner and Groth2005) and stochastic layers (Punjabi et al. Reference Punjabi, Ali, Evans and Boozer2008) which can impact the heat flux deposition at the divertor. Reversed field pinches (RFPs) provides confinement through magnetic fields generated largely by the plasma current. The transport in an RFP is often dominated by parallel diffusion due to stochastic magnetic fields which form due to tearing mode activity (Sarff et al. Reference Sarff, Almagri, Anderson, Borchardt, Carmody, Caspary, Chapman, Den Hartog, Duff and Eilerman2013). The presence of a transport barrier (Biewer et al. Reference Biewer, Forest, Anderson, Fiksel, Hudson, Prager, Sarff, Wright, Brower and Ding2003; Lorenzini et al. Reference Lorenzini, Martines, Piovesan, Terranova, Zanca, Zuin, Alfier, Bonfiglio, Bonomo and Canton2009) can enable the support of a temperature gradient. As stellarators provide confinement with three-dimensional magnetic fields, the impact of non-integrability is critical for heat transport in both the core and divertor regions. For example, the stochastic edge of the Large Helical Device (LHD) features island remnants, stochastic layers and partial barriers. Due to the long connection lengths, both the parallel and perpendicular transport are important for determining the heat flux impacting the divertor plates in a stellarator (Feng et al. Reference Feng, Kobayashi, Lunt and Reiter2011). Stochastic magnetic fields are also expected to exist in several astrophysical environments. For example, the stochasticity of the galactic magnetic field may impact the transport of cosmic rays (Jokipii & Parker Reference Jokipii and Parker1969; Chuvilgin & Ptuskin Reference Chuvilgin and Ptuskin1993).

Given the Hamiltonian nature of magnetic field line flow (Cary & Littlejohn Reference Cary and Littlejohn1983), there are a number of tools from the field of dynamical systems that enable the quantification of the transition to chaos. At the most granular level, the linear stability of a single resonance is quantified through Greene's residue (Greene Reference Greene1979), $R$, where $R < 0$ or $R>1$ indicates unstable (hyperbolic or hyperbolic-with-reflection) orbits and $R \in [0,1]$ indicates stable (elliptic) orbits. Thus one technique to reduce the stochasticity and island size in a stellarator is through minimization of the magnitude of the residue (Hanson & Cary Reference Hanson and Cary1984; Cary & Hanson Reference Cary and Hanson1986). Similarly, the island width under the small island approximation can be evaluated through a linearization about the island centre (Cary & Hanson Reference Cary and Hanson1991). A shortcoming of these approaches is their limitation to a single resonance rather than a volumetric measure of non-integrability. One can also evaluate the existence or non-existence of a Kolmogorov–Arnold–Moser (KAM) surface to determine the transition to chaos in a given region. To estimate the value of the perturbation required to destroy the last KAM surface between two primary resonances, one may compute the Chirikov overlap criterion (Chirikov Reference Chirikov1979), obtained from the overlap of resonances and their second-order island chains. Greene has also conjectured a procedure for determining the existence of a KAM surface by evaluating the residues of the high-order rational convergents of a given irrational. By examining the stability of the neighbouring periodic orbits to the most stable KAM surface, one can determine the transition to stochasticity (Greene Reference Greene1979; Falcolini & de La Llave Reference Falcolini and de La Llave1992; MacKay Reference MacKay1992). In a similar way, one can evaluate Mather's $\Delta W$, the difference in action between the X and O points associated with a given rational rotation number, $p/q$ for integers p and q. If $\Delta W \rightarrow 0$ as $p/q$ approaches a given irrational, then the corresponding KAM surface survives (Mather Reference Mather1986). Furthermore, converse KAM theory (Mather Reference Mather1984; MacKay & Percival Reference MacKay and Percival1985; MacKay Reference MacKay2018) provides a sufficient condition for non-existence of a KAM surface by considering the rotation of nearby trajectories with respect to a given foliation.

While each of these techniques may shed light on the existence or non-existence of a KAM surface in a given region, another set of techniques are required to provide insight into the relative impact of non-integrability on the transport in a dynamical system (Meiss Reference Meiss2015). For example, Mather's $\Delta W$ is related to the flux of trajectories across a given curve in phase space, providing a bound on the transport (MacKay, Meiss & Percival Reference MacKay, Meiss and Percival1984). One can then partition phase space into subvolumes bounded by KAM surfaces or cantori and model transport between states, such as with a Markov model (Meiss & Ott Reference Meiss and Ott1986).

Rather than using nonlinear dynamical surrogates of transport, one could directly evaluate the transport in a given magnetic field line flow. A logical tactic for studying the transport is by introducing a tracer, such as the temperature, $T(\boldsymbol {x})$, which diffuses along the magnetic field subject to some initial condition $T_0(\boldsymbol {x})$,

(1.1a)\begin{gather} \frac{\partial T(\boldsymbol{x},t)}{\partial t} - \boldsymbol{\nabla} \boldsymbol{\cdot} ( \kappa_{\|} \hat{\boldsymbol{b}} \hat{\boldsymbol{b}} \boldsymbol{\cdot} \boldsymbol{\nabla} T ) = 0, \end{gather}
(1.1b)\begin{gather}T(\boldsymbol{x},0) = T_0(\boldsymbol{x}), \end{gather}

where $\kappa_{\|}$ is the parallel diffusion coefficient and $\hat{\boldsymbol{b}}$ is a unit vector in the direction of the magnetic field. The temperature at a given point, $T(\boldsymbol {x},t)$, can be computed by integrating over all contributions of the initial condition along the magnetic field line path (del Castillo-Negrete & Chacon Reference del Castillo-Negrete and Chacon2012). In the steady-state $t \rightarrow \infty$ limit, the temperature becomes constant on magnetic field lines; it is simply the average of the initial condition along the magnetic field line path,

(1.2)\begin{equation} T(\boldsymbol{x},t \rightarrow \infty) = \lim_{L \rightarrow \infty} \frac{\displaystyle\int_{0}^{L} \,{\rm d}l \, T_0(\boldsymbol{x}(l))}{\displaystyle\int_{0}^{L}\,{\rm d}l}, \end{equation}

where $l$ measures length along a field line and L is the total length of integration. Because the temperature is constant along field lines, in a chaotic magnetic field this leads to a fractal-like structure in the temperature profile (Hudson & Breslau Reference Hudson and Breslau2008; del Castillo-Negrete & Chacon Reference del Castillo-Negrete and Chacon2012). In this way, local flattening of the temperature profile can be used as a measure of the local stochasticity.

While the structure of the magnetic field itself can give rise to transport, in a plasma a non-zero amount of perpendicular transport exists due to the gyromotion, cross-field drifts, collisions and fluctuations. Although the effective perpendicular diffusion can be extremely small in a magnetic confinement device (experimental measurements on the TEXTOR, DIII-D and ASDEX tokamaks indicate $\kappa _{\perp }/\kappa _{\|} \sim 10^{-9}-10^{-7}$ (Meskat et al. Reference Meskat, Zohm, Gantenbein, Günter, Maraschek, Suttrop and Yu2001; Hölzl et al. Reference Hölzl, Günter, Classen, Yu and Delabie2009; Bardóczi et al. Reference Bardóczi, Rhodes, Carter, Crocker, Peebles and Grierson2016), where $\kappa _{\perp }$ is the perpendicular diffusion coefficient), non-zero perpendicular diffusion can substantially alter the heat transport. For example, in the LHD a $\beta = 4.8\,\%$ (where $\beta$ is the ratio of the plasma pressure to the magnetic pressure) discharge demonstrated a 32 % reduction in nested magnetic surfaces in comparison with the vacuum magnetic field. However, significant flattening of the temperature profile was not observed (Sakakibara et al. Reference Sakakibara, Watanabe, Suzuki, Narushima, Ohdachi, Nakajima, Watanabe, Garcia, Weller and Toi2008), indicating the relative importance of the perpendicular transport. The perpendicular diffusion becomes even more critical in the stochastic edge, where the collisionality is enhanced.

In the steady-state limit, the transport equation (1.1) can be modified to include the effect of perpendicular diffusion

(1.3)\begin{equation} \boldsymbol{\nabla} \boldsymbol{\cdot} \left( \kappa_{\|}\boldsymbol{\nabla}_{\|} T + \kappa_{{\perp}} \boldsymbol{\nabla}_{{\perp}} T \right) = 0, \end{equation}

where the parallel gradient is $\boldsymbol {\nabla }_{\|} =\hat {\boldsymbol {b}} \hat {\boldsymbol {b}} \boldsymbol {\cdot } \boldsymbol {\nabla }$ and the perpendicular gradient is $\boldsymbol {\nabla }_{\perp } = \boldsymbol {\nabla } - \boldsymbol {\nabla }_{\|}$. We will discuss important properties of this anisotropic diffusion equation (ADE) in § 2. The relative importance of the structure of the magnetic field on transport can then be quantified by comparing the parallel diffusion,

(1.4)\begin{equation} D_{\|} = \frac{1}{2} \int_{V}\, {\rm d}^3 x \, \kappa_{\|} \left| \boldsymbol{\nabla}_{\|} T\right|^2, \end{equation}

with the perpendicular diffusion,

(1.5)\begin{equation} D_{{\perp}} = \frac{1}{2} \int_{V}\,{\rm d}^3 x \, \kappa_{{\perp}} \left|\boldsymbol{\nabla}_{{\perp}} T\right|^2, \end{equation}

where $V$ is the volume of the domain of interest. In this way, the non-integrability of the magnetic field can be quantified by its impact on the transport in a volume rather than through the analysis of individual resonances or the existence of a given KAM surface. This allows us to define an effective volume of perpendicular diffusion in § 3, which we conjecture converges to the effective volume of non-integrability in the limit $\kappa _{\perp } \rightarrow 0$. In § 4 we present the numerical methods used to solve the diffusion equation and the model field used for our calculations. In §§ 5 and 6 we perform calculations of the transport in the presence of a single island chain and a strongly chaotic layer to justify our metric. We then apply the metric to a critical chaotic layer created from resonances of different mode numbers in § 7. We then conclude in § 8.

2 Properties of the anisotropic diffusion equation

The ADE can be expressed as

(2.1)\begin{equation} \boldsymbol{\nabla} \boldsymbol{\cdot} \left(\boldsymbol{\kappa} \boldsymbol{\cdot} \boldsymbol{\nabla} T \right) = 0, \end{equation}

with the diffusion tensor

(2.2)\begin{equation} \boldsymbol{\kappa} = \kappa_{{\perp}}\boldsymbol{I} + (\kappa_{\|} - \kappa_{{\perp}}) \hat{\boldsymbol{b}} \hat{\boldsymbol{b}}, \end{equation}

where the perpendicular, $\kappa _{\perp }$, and parallel, $\kappa _{\|}$, diffusion coefficients are taken to be constants. We compute solutions to (2.1) in an annular volume $\varOmega$ bounded by two toroidal surfaces, $S_{-}$ and $S_{+}$ with constant Dirichlet boundary conditions $T_{-}$ and $T_{+}$.

2.1 Ellipticity

We note that $\boldsymbol {\kappa }$ is positive–definite for $\kappa _{\perp } > 0$ and $\kappa _{\|} \ge \kappa _{\perp }$ since

(2.3)\begin{equation} \boldsymbol{\nabla} T \boldsymbol{\cdot} \boldsymbol{\kappa} \boldsymbol{\cdot} \boldsymbol{\nabla} T = \kappa_{{\perp}} |\boldsymbol{\nabla} T|^2 + (\kappa_{\|}- \kappa_{{\perp}}) (\hat{\boldsymbol{b}} \boldsymbol{\cdot} \boldsymbol{\nabla} T )^2 > 0, \end{equation}

for all $\boldsymbol {\nabla } T \ne 0$. (While the assumption $\kappa _{\|} \ge \kappa _{\perp }$ is not necessary for ellipticity, it is sufficient according to (2.3) and not too restrictive since we are interested in strong anisotropy, $\kappa _{\|}\gg \kappa _{\perp }$.) We can furthermore see that the anisotropic diffusion operator is elliptic, as it can be expressed as

(2.4)\begin{equation} \sum_{i,j} \partial_i \left(\kappa_{ij} \partial_j T\right) = \sum_{i,j} \kappa_{ij} \partial_i \partial_j T + \left(\partial_i \kappa_{ij}\right) \partial_j T. \end{equation}

Ellipticity of the anisotropic diffusion operator (2.1) follows from the symmetric positive– definiteness of the tensor which multiplies the second derivatives, $\kappa _{ij}$. Ellipticity implies the existence of a maximum principle (Appendix A),

(2.5)\begin{equation} \max_{\bar{\varOmega}} T = \max_{\partial \varOmega} T. \end{equation}

The corresponding statement also holds for the minimum. In words, the maximum (minimum) temperature must be obtained on the boundary. Furthermore, no local minima or maxima can occur within $\varOmega$. As a further consequence of ellipticity, the topology of the isotherms is constrained (Appendix B). Specifically, an isotherm cannot enclose a net volume, but instead must link the domain toroidal and poloidally as the boundaries (with the possible addition of a handle).

2.2 Variational principle

The ADE can be obtained (Helander, Hudson & Paul Reference Helander, Hudson and Paul2021) from a variational principle involving the functional

(2.6)\begin{equation} \mathcal{W}[T] = \frac{1}{2}\int_{\varOmega}\,{\rm d}^3 x \, \boldsymbol{\nabla} T \boldsymbol{\cdot} \boldsymbol{\kappa} \boldsymbol{\cdot} \boldsymbol{\nabla} T. \end{equation}

The first variation of $\mathcal {W}$ with respect to $T$ is computed to be

(2.7)\begin{equation} \delta \mathcal{W}[\delta T] = \int_{\varOmega} \,{\rm d}^3 x \, \boldsymbol{\nabla} \delta T \boldsymbol{\cdot} \boldsymbol{\kappa} \boldsymbol{\cdot} \boldsymbol{\nabla} T={-} \int_{\varOmega} \,{\rm d}^3 x \, \delta T \boldsymbol{\nabla} \boldsymbol{\cdot} \left( \boldsymbol{\kappa} \boldsymbol{\cdot} \boldsymbol{\nabla} T \right), \end{equation}

upon application of the boundary condition $\delta T \rvert _{\partial \varOmega } = 0$. Thus stationary points of $\mathcal {W}$ with respect to $T$ correspond to solutions of (2.1). We can now compute the second variations as

(2.8)\begin{equation} \delta^2\mathcal{W}[\delta T,\delta T'] = \int_{\varOmega} \,{\rm d}^3 x \, \boldsymbol{\nabla} \delta T \boldsymbol{\cdot} \boldsymbol{\kappa} \boldsymbol{\cdot} \boldsymbol{\nabla} \delta T'. \end{equation}

We note that $\delta ^2 \mathcal {W}[\delta T,\delta T] \ge 0$ under the assumption that $\kappa _{\perp }<\kappa _{\|}$. Therefore, $\mathcal {W}$ is a convex function, implying that any stationary point of $\mathcal {W}$ is a global minimum. We will refer to the functional $\mathcal {W}$ that appears in this variational principle as the diffusion integral

(2.9)\begin{equation} D = \frac{1}{2} \int_{\varOmega}\, {\rm d}^3 x \, \left( \kappa_{\|}| \boldsymbol{\nabla}_\| T |^2 + \kappa_\perp |\boldsymbol{\nabla}_\perp T |^2 \right), \end{equation}

as it is related to the entropy production functional (Hameiri & Bhattacharjee Reference Hameiri and Bhattacharjee1987). Thus the temperature profile minimizes the entropy production subject to the boundary conditions.

We note that the total diffusion is related to the heat flux through the boundaries

(2.10)\begin{equation} Q ={-}\int_{S_+} \,{\rm d}^2 x \, \hat{\boldsymbol{n}} \boldsymbol{\cdot} \boldsymbol{q} ={-}\int_{S_-} \,{\rm d}^2 x \, \hat{\boldsymbol{n}} \boldsymbol{\cdot}\boldsymbol{q}, \end{equation}

through

(2.11)\begin{equation} Q = \frac{2 D[T]}{T_{+} - T_{-}}, \end{equation}

where $\boldsymbol {q} = -\kappa _{\|} \boldsymbol {\nabla }_{\|}T - \kappa _{\perp } \boldsymbol {\nabla }_{\perp } T$ and $\hat {\boldsymbol {n}}$ is the unit normal oriented in the direction from $S_-$ to $S_+$. This relation follows from

(2.12)\begin{align} 0 & = \int_\varOmega \,{\rm d}^3 x \, T \boldsymbol{\nabla} \boldsymbol{\cdot} {\boldsymbol q} ={-} \int_\varOmega \,{\rm d}^3 x \, {\boldsymbol q} \boldsymbol{\cdot} \boldsymbol{\nabla} T + \int_{S_+} \,{\rm d}^2 x \, T \hat{\boldsymbol{n}} \boldsymbol{\cdot} {\boldsymbol q} - \int_{S_-} \,{\rm d}^2 x \, T \hat{\boldsymbol{n}} \boldsymbol{\cdot} {\boldsymbol q}\nonumber\\ & = 2 D[T] - Q (T_+{-} T_-). \end{align}

Thus the total diffusion quantifies the heat flux required to support a given temperature gradient across a volume. In this work we will consider $T_+$ and $T_-$ to be fixed such that $D$ measures the required heat flux to support the prescribed temperature gradient. Since the perpendicular transport is relatively insensitive to the structure of the field, we can assess the impact of non-integrability on the transport through the local parallel diffusion

(2.13)\begin{equation} d_{\|} = \tfrac{1}{2}\kappa_{\|} |\boldsymbol{\nabla}_{\|}T|^2, \end{equation}

in comparison with the local perpendicular diffusion,

(2.14)\begin{equation} d_{{\perp}} = \tfrac{1}{2}\kappa_{{\perp}} |\boldsymbol{\nabla}_{{\perp}}T|^2. \end{equation}

3 The effective volume of parallel diffusion

Motivated by comparing $d_{\|}$ to $d_{\perp }$ in order to determine the impact of non-integrability on transport, we propose the following metric:

(3.1)\begin{equation} \mathcal{V}_{\text{PD}} = \frac{\int_{\varOmega} \,{\rm d}^3 x \, \varTheta \left(\kappa_{\|}|\boldsymbol{\nabla}_{\|}T|^2-\kappa_{{\perp}} |\boldsymbol{\nabla}_{{\perp}}T|^2\right)}{\int_{\varOmega} \,{\rm d}^3 x}, \end{equation}

where $\varTheta$ is the Heaviside step function. In words, $\mathcal {V}_{\text {PD}}$ measures the fraction of volume over which the local parallel transport is larger than the perpendicular transport. While one could imagine many ways in which to compare the parallel and perpendicular diffusion, the above definition is easy to interpret as it is a positive scalar in $[0,1]$.

While the definition of $\mathcal {V}_{\text {PD}}$ is not intrinsic to the field structure as it depends on $\kappa _{\perp }/\kappa _{\|}$, we can infer general trends in the limit of small $\kappa _{\perp }/\kappa _{\|}$. In the limit of an integrable magnetic field with sufficiently small $\kappa _{\perp }$, the isotherms will largely coincide with magnetic surfaces, $|\hat {\boldsymbol {b}} \boldsymbol {\cdot } \boldsymbol {\nabla } T|$ will be relatively small, and thus the local parallel transport will be negligible. Thus $\mathcal {V}_{\text {PD}}$ will be small in the limit of integrability. Since the topology of the isotherms is constrained, isotherms will not be able to completely align to the structure of the field in regions of non-integrability, and $|\hat {\boldsymbol {b}} \boldsymbol {\cdot } \boldsymbol {\nabla } T|$ will be consequently larger, as measured by $\mathcal {V}_{\text {PD}}$.

We can consider the metric $\mathcal {V}_{\text {PD}}$ to be a ‘diffusive’ analogue of a metric based on converse KAM theory. With a converse KAM approach, the non-existence of an invariant torus at a given point in phase space is determined from the rotation of nearby trajectories with respect to a chosen foliation. This allows one to determine regions of phase space over which invariant surfaces do not exist with the topology of the chosen foliation, i.e. a given class of tori (MacKay & Percival Reference MacKay and Percival1985; MacKay Reference MacKay2018). Similarly, by comparing the local parallel and perpendicular diffusion, we can assess whether a given region of physical space is ‘effectively non-integrable’ (indicated by enhanced parallel diffusion) with respect to its impact on the transport. This assessment similarly depends on the topology of the isotherms, which foliate the volume. Since the isotherms must link the domain as the boundaries do, the ADE similarly provides an assessment of the non-integrability with respect to a limited class of tori. For instance, an island chain will impact the parallel transport if the boundary surfaces are chosen to have the same topology as the unperturbed Hamiltonian, given that isotherms cannot have the same linking as the island. If instead the boundary surfaces have the same linking as the surfaces within the island chain, the parallel transport will not be impacted.

To assess this metric, we consider two cases for which analytic predictions for the parallel transport can be employed: diffusion across a single island chain (§ 5) and across a strongly chaotic layer (§ 6). In § 7 we then consider a model field for which such prediction is more challenging, namely a critically chaotic field with remnants of island chains and partial barriers.

4 Numerical methods

4.1 Linear solution

We compute the numerical solution to the ADE (2.1)–(2.2) using a Fourier Galerkin discretization in $\theta$ and $\zeta$ and a fourth-order finite-difference radial discretization. The resulting sparse linear system is solved with the PETSc library (Balay et al. Reference Balay, Gropp, McInnes and Smith1997Reference Balay, Abhyankar, Adams, Brown, Brune, Buschelman, Dalcin, Dener, Eijkhout and Gropp2021a,Reference Balay, Abhyankar, Adams, Brown, Brune, Buschelman, Dalcin, Dener, Eijkhout and Groppb) using the MUMPS package (Amestoy et al. Reference Amestoy, Duff, Koster and L'Excellent2001Reference Amestoy, Buttari, L'Excellent and Mary2019) to compute the lower-upper $(LU)$-factorization. Throughout we will normalize calculations such that $T_- = 0$, $T_+ = 1$ and $\kappa _{\|} = 1$.

4.2 Model magnetic field

We consider a model Hamiltonian,

(4.1)\begin{equation} \chi(\psi,\theta,\zeta) = \frac{\iota' \psi^2}{2} + \sum_{m,n}\epsilon_{m,n} \psi (\psi - \bar{\psi}) \cos(m \theta - n \zeta), \end{equation}

which yields the magnetic field,

(4.2)\begin{equation} \boldsymbol{B} = \boldsymbol{\nabla} \psi \times \boldsymbol{\nabla} \theta - \boldsymbol{\nabla} \chi \times \boldsymbol{\nabla} \zeta, \end{equation}

where $\psi = \bar {\psi } \rho /\bar {\rho }$ and $(\rho,\theta,\zeta )$ forms an orthogonal coordinate system ($\hat {\boldsymbol {\rho }} \times \hat {\boldsymbol {\theta }} \boldsymbol {\cdot } \hat {\boldsymbol {\zeta }} = 1$) with $\rho \in [0,\bar {\rho }]$, $\theta \in [0,2{\rm \pi} )$, $\zeta \in [0,2{\rm \pi} )$, $|\boldsymbol {\nabla } \rho | = 1$, $|\boldsymbol {\nabla } \theta | = 1/\bar {\rho }$ and $|\boldsymbol {\nabla } \zeta | = 1/L_{\zeta }$. We will use the notation $\tilde {\epsilon }_{m,n}(\psi ) = \epsilon _{m,n}\psi (\psi -\bar {\psi })$ to denote the strength of the perturbation modes. In the limit $\epsilon _{m,n} \rightarrow 0$ we recover an integrable magnetic field lying on surfaces of constant $\rho$ with rotational transform $\iota = \iota ' \psi$ and constant shear $\iota '(\psi ) = \iota '$. The perturbation is chosen to vanish at the upper ($\rho = \bar {\rho }$) and lower ($\rho = 0$) boundaries such that there is no parallel flux into the volume. For all of the following numerical calculations, we will take $\bar {\psi } = \bar {\rho } = L_{\zeta } = \iota ' = 1$.

5 Transport across an island chain

In this section, we consider the relative perpendicular and parallel transport in the presence of a single island chain generated by a resonance $\iota = n/m$. We consider the case in which $\kappa _{\perp }$ remains small but non-zero such that perpendicular diffusion competes with parallel diffusion.

To analyse the behaviour of the transport in such a field, in Appendix C we perform a perturbation analysis in the smallness of the amplitude $\epsilon _{m,n}$. Due to the smallness of $\kappa _{\perp }$, outside of a small boundary layer of width

(5.1)\begin{equation} \mathcal{W}_{{c}} = \kappa_{{\perp}}^{1/4}\left(1 + \frac{n^2\bar{\rho}^2}{m^2 L_{\zeta}^2}\right)^{1/4}\left(\frac{L_{\zeta} \bar{\rho}}{m \iota' \bar{\psi}}\right)^{1/2}, \end{equation}

the perpendicular diffusion becomes unimportant. The solution is evaluated both inside and outside the boundary layer. We conclude that for both the inner and outer solution, the parallel and perpendicular diffusion can only be comparable within the island separatrices when $\mathcal {W}_{m,n}/\mathcal {W}_{{c}} \gtrsim 1$, where the island half-width is

(5.2)\begin{equation} \mathcal{W}_{m,n} = \frac{2\bar{\rho}}{\bar{\psi}}\sqrt{\left.\frac{\tilde{\epsilon}_{m,n}(\psi)}{\iota'(\psi)}\right\rvert} _{\psi = n/(m\iota')} . \end{equation}

In the limit that $\kappa _{\perp } \rightarrow 0$, $\mathcal {W}_{m,n}/\mathcal {W}_{{c}} \gg 1$, and the parallel transport can compete with perpendicular transport throughout the volume within the separatrices. In this sense, an island can be considered unimportant to the transport if

(5.3)\begin{equation} \mathcal{W}_{m,n} \ll \mathcal{W}_{{c}}. \end{equation}

In figure 1 we present the numerically computed values of the effective volume (3.1) for a single island chain created with resonance $\epsilon _{2,1}$ with varying amplitudes and values of $\kappa _{\perp }$. The critical value, $\epsilon _{2,1}^{\text {crit}} = \sqrt {\kappa _{\perp }}/2$, predicted for the parallel transport to compete with the perpendicular transport, is indicated by the vertical dashed line. We see that, as expected, when the island is smaller than the critical width $\mathcal {W}_{{c}}$, the computed effective volume vanishes. The point at which $\mathcal {V}_{\text {PD}}$ becomes positive is within an order of magnitude of $\epsilon _{2,1}^{\text {crit}}$. For large values of $\epsilon _{2,1}$, the effective volume approaches the expected scaling of the total volume enclosed by the separatrices, $\mathcal {W}_{2,1} \sim \sqrt {\epsilon _{2,1}}$, shown in orange. At non-zero values of the perpendicular diffusion, the scaling of $\mathcal {V}_{\text {PD}}$ is shallower than the scaling of the total island width since the entire island chain is not dominated by parallel diffusion.

Figure 1. The numerically computed value of the effective volume (3.1) is shown (blue) for the model field (4.2) with the displayed values of $\epsilon _{2,1}$ and $\kappa _{\perp }$. Also displayed is the scaling of the island width with $\epsilon _{2,1}$ (orange), and the critical value of $\epsilon _{2,1}$ for which the parallel transport may compete with perpendicular transport (black). The numerically computed value is predicted to approach the $\epsilon _{2,1}^{1/2}$ scaling in the limit $\kappa _{\perp } \rightarrow 0$; (a) $\kappa _{\perp } = 10^{-6}$,(b) $\kappa _{\perp } = 10^{-7}$, (c) $\kappa _{\perp } = 10^{-8}$.

In figure 2 we present the isotherms (red) computed with the displayed values of $\kappa _{\perp }$ on the Poincaré section of the model magnetic field (4.2) with $\epsilon _{2,1} = 0.008$. As $\kappa _{\perp }$ decreases, the isotherms conform more strongly to the structure of the magnetic field. We note the presence of isotherms which cut across the island chain at smaller values of $\kappa _{\perp }$ due to the topological restrictions. On the right we display the Poincaré section with colour highlighting the region over which the local parallel diffusion is dominating. The colour scale indicates the ratio of the local parallel to perpendicular transport. The parallel transport is strongest near the X-points, where the misalignment of the isotherms with the local field is the strongest. The parallel transport is relatively weak at the top and bottom of the island chain, where the isotherms are more strongly aligned with the magnetic field and the resonant field is weaker. As $\kappa _{\perp }$ decreases, we see the area over which the parallel transport dominates increase as well as its magnitude in comparison with the perpendicular transport.

Figure 2. The Poincaré section of the model field (4.2) with $\epsilon _{2,1} = 0.008$ is displayed with isotherms (red) on the left computed with the three values of $\kappa _{\perp }$ displayed. On the right, the Poincaré section is displayed with the ratio of the parallel (2.13) to perpendicular (2.14) diffusion. The colour scale is set to white where the parallel diffusion is smaller than the perpendicular diffusion; (a,b) $\kappa _{\perp } = 10^{-6}$, (c,d) $\kappa _{\perp } = 10^{-7}$, (ef) $\kappa _{\perp } = 10^{-8}$.

6 Transport across a strongly chaotic layer

In this section we consider the relative impact of perpendicular and parallel transport in the presence of strong chaos. We will assume a quasilinear model (Chirikov Reference Chirikov1979; Hazeltine & Meiss Reference Hazeltine and Meiss2003; Lichtenberg & Lieberman Reference Lichtenberg and Lieberman2013) to obtain a parallel diffusion coefficient. We will assume that the parallel transport at a given location will be dominated by nearby resonances within an island width and that the phase of the resonances is decorrelated after one toroidal transit. We assume strong chaos such that the Chirikov island overlap parameter is large,

(6.1)\begin{equation} \frac{\mathcal{W}_{m,n} + \mathcal{W}_{m',n'}}{(\Delta \rho)_{m,n;m',n'}} \gg 1, \end{equation}

where $\mathcal {W}_{m,n}$ is the island half-width associated with resonances (5.2) and $(\Delta \rho )_{m,n;m',n'}$ is the distance between the resonances.

Under the assumption that the resonances are strongly overlapping but $\epsilon _{m,n}$ is sufficiently small that a perturbation analysis is appropriate, the motion in the field can be treated as a random walk

(6.2)\begin{equation} \frac{\partial T}{\partial \zeta} \sim D_{\|} \frac{\partial ^2T}{\partial \psi^2}, \end{equation}

with a quasi-linear diffusion coefficient given by

(6.3)\begin{equation} D_{\|} \approx \frac{\rm \pi}{2} \sum_{m} m^2 \left(\sum_n \varTheta(\mathcal{W}_{m,n}/2 -|\rho-\rho_{{r}}|) \tilde{\epsilon}_{m,n}(\psi_0) \right)^2. \end{equation}

See Appendix D for details. The local parallel transport then scales as

(6.4)\begin{equation} |\boldsymbol{\nabla}_{\|} T|^2 \sim D_{\|}^2 |\boldsymbol{\nabla}_{{\perp}} ^2T|^2 \frac{\bar{\rho}^4}{\bar{\psi}^4 L_{\zeta}^2}. \end{equation}

We can estimate $|\boldsymbol {\nabla }_{\perp }^2 T| \sim |\boldsymbol {\nabla }_{\perp }T|/L_{\perp }$ for some perpendicular length scale $L_{\perp }$. Given the analysis in § 5 and Appendix C, we can note several relevant length scales. Within the boundary layer, $L_{\perp } \sim \mathcal {W}_{{c}}$. Outside a width $\mathcal {W}_{m,n}$ of a given resonance and outside the boundary layer, $L_{\perp } \sim \bar {\rho }$. Within a width $\mathcal {W}_{m,n}$ and outside the boundary layer, $L_{\perp } \sim |\rho -\rho _{{r}}|$. Given that the resonances are strongly overlapping, the perpendicular temperature gradient will be dominated by nearby resonances. Thus we can estimate $L_{\perp } \lesssim \mathcal {W}_{m,n}$ and,

(6.5)\begin{equation} |\boldsymbol{\nabla}_{\|} T|^2\gtrsim D_{\|}^2 \frac{|\boldsymbol{\nabla}_{{\perp}} T|^2}{\mathcal{W}_{m,n}^2} \frac{\bar{\rho}^4}{\bar{\psi}^4L_{\zeta}^2}. \end{equation}

We conclude that the parallel transport may compete with the perpendicular transport when,

(6.6)\begin{equation} \frac{D_{\|}^2 \bar{\rho}^4}{\mathcal{W}_{m,n}^2 \bar{\psi}^4L_{\zeta}^2} \sim \kappa_{{\perp}}. \end{equation}

To test the expected scaling, we consider the model field (4.2) with $m = 12$ and $n = [2,\ldots,10]$. We evaluate three strongly chaotic fields with amplitudes $\epsilon _{m,n}$ chosen such that the Chirikov parameter (6.1) is 2, $2 \sqrt {2}$ and 4. We compute solutions to the ADE for a range of $\kappa _{\perp }$. The effective volume (3.1) is shown in figure 3 along with the critical value of $\kappa _{\perp }$ (vertical dashed) at which the parallel diffusion may compete (6.6). We note that the point at which the effective volume becomes non-zero is within an order of magnitude of that expected from quasilinear theory for each value of the overlap parameter. As $\kappa _{\perp }$ decreases, the effective volume computed from the three model fields approach each other.

Figure 3. The numerically computed value of the effective volume (3.1) is shown for the model field (4.2) with $m=12$ resonances with amplitudes chosen to provide strong island overlap (values of the overlap parameter (6.1) are indicated). Also displayed is the critical value of $\kappa _{\perp }$ for which the parallel transport is predicted to compete with perpendicular transport (vertical dashed).

In figure 4 we display the Poincaré section with isotherms (left) and with the parallel-transport-dominated regions highlighted in colour (right). Although the field is strongly chaotic, we note several isotherms near the boundaries which adapt to the $m = 12$ structure of the residual island chains. For $\kappa _{\perp } = 10^{-4}$, we note only a very small volume over which the parallel transport dominates. As we decrease the value of $\kappa _{\perp }$, we see that the parallel transport dominates over much of the volume contained within the outermost island separatrices and the temperature gradient across the chaotic layer is significantly reduced. We note an $n = 6$ variation in the structure of the parallel diffusion due to the poloidal dependence of the radial field (4.2). Near the edges of the chaotic layer, the isotherms become strongly shaped in comparison with the relatively flat isotherms in the chaotic layer. Given that the magnitude of the radial field is smaller than the toroidal field by the amplitude of the perturbation, this feature enhances the parallel diffusion near the boundaries of the chaotic layer.

Figure 4. The Poincaré section of the model field (4.2) with $m = 12$ resonances chosen to provide an overlap parameter (6.1) of 4 is displayed with isotherms (red) on the left for the three values of $\kappa _{\perp }$ displayed. On the right, the Poincaré section is displayed with the ratio of the parallel (2.13) to perpendicular (2.14) diffusion. The colour scale is set to white where the parallel diffusion is smaller than the perpendicular diffusion; (a,b) $\kappa _{\perp } = 10^{-4}$, (c,d) $\kappa _{\perp } = 10^{-5}$, (ef) $\kappa _{\perp } = 10^{-6}$.

7 Transport across a critically chaotic layer

Although simple analytic scalings can be derived in the case of a single island chain or strong chaos, in reality a magnetic field may possess a complicated mixture of KAM surfaces, partial barriers, chaos and island chains. In this case, we can use the metric defined in § 3 to assess the relative impact of non-integrability on the transport through the volume of parallel diffusion.

As a point of comparison, we will consider four marginally chaotic magnetic fields generated by resonances with different poloidal mode numbers. The amplitude of the perturbation will be chosen to achieve critical island overlap with a comparable volume enclosed by the outermost separatrices. For the first field, we choose $n/m = [1/4, 2/4, 3/4]$. Since the resonances are equally spaced with $\Delta \psi = 1/4$, we choose the perturbation amplitudes $\epsilon _{m,n}$ such that the associated half-island widths (5.2) are $1/8$. We similarly consider fields with $n/m = [2/12,\ldots,10/12]$, $n/m =[3/20,\ldots,17/20]$, and $n/m = [5/36,\ldots,31/36]$ with critical island overlap. The separatrices associated with the outermost island chains for each of these model fields are located at $\rho =1/8$ and $\rho = 7/8$ such that they have a comparable ‘volume’ of chaos.

If the remnants of the island chains are dominating the transport, we anticipate the parallel transport to dominate when

(7.1)\begin{equation} \epsilon_{m,n}^2 m^2 \sim \kappa_{{\perp}}, \end{equation}

from (5.3), while if strong chaos is dominating the transport

(7.2)\begin{equation} \epsilon_{m,n}^3 m^4 \sim \kappa_{{\perp}}, \end{equation}

from (6.6). Since we have chosen $\epsilon _{m,n} \sim 1/m^2$ to achieve critical overlap, we expect the parallel transport to be relatively more impactful when $m$ is small. In figure 5 we compare the effective volume between the model fields. Since the volume contained within the outermost separatrices differs slightly between the two model fields, we compute the effective volume only for $\rho \in [0.25, 0.75]$. As anticipated, the $m = 4$ resonances produce a larger effective volume of parallel diffusion, and the relative difference between the model fields increases with increasing $\kappa _{\perp }$. To quantify the effect of the field structure on temperature flattening, we also compare the total temperature differential between $\rho = 0.75$ and $\rho = 0.25$. At large values of $\kappa _{\perp }$, each of the model fields can support a significant temperature gradient, although it is reduced for the $m =4$ field.

Figure 5. (a) The effective volume (3.1) is computed for the model field (4.2) with the displayed mode number perturbations with amplitudes $\epsilon _{m,n}$ chosen for critical island overlap. The effective volume is computed over a subset of the entire volume, $\rho \in [0.25, 0.75]$. (b) The total temperature difference between $\rho = 0.75$ and $\rho = 0.25$ upon averaging over the angles.

As can be seen from figure 6, each of the fields are visually chaotic with secondary island chains as well as stochastic regions. We furthermore note that the magnitude of the parallel transport, in addition to the volume over which it dominates, is considerably larger in the $m = 4$ field. For the $m = 36$ perturbation, we note that the temperature gradient is not markedly reduced in the chaotic layer when $\kappa _{\perp } = 10^{-6}$, although all of the flux surfaces are destroyed. Thus while all of the fields would be classified as very far from integrability by traditional measures such as the Chirikov overlap criterion or converse KAM theory, the impact of the magnetic field structure on the overall transport at non-zero $\kappa _{\perp }$ is remarkably distinct.

Figure 6. The ADE is solved for the model field (4.2) with critically overlapping resonances of $m = 4$, $m = 12$ and $m=36$ with $\kappa _{\perp } = 10^{-6}$. On the left are the isotherms (red), and on the right is the ratio of the parallel (2.13) to perpendicular (2.14) diffusion. The colour scale is set to white where the parallel diffusion is smaller than the perpendicular diffusion; (a,b) $m=4$, (c,d) $m = 12$, (ef) $m = 36$.

8 Conclusions

We have proposed a metric, the effective volume of parallel diffusion, which quantifies the fractional volume over which the parallel transport is dominant over the perpendicular transport. This enables one to determine if a magnetic field is sufficiently integrable with regards to its impact on the transport of heat. We validate this metric for two model fields: a single island chain and strongly chaotic layer. We then consider a critically chaotic magnetic field generated by resonances of different mode numbers. We find that even if no KAM surfaces exist, the relative parallel transport can vary widely between these critically chaotic fields, especially at larger values of $\kappa _{\perp }$. This highlights the importance of quantifying non-integrability not only through the stability of a given orbit or the non-existence of a given KAM surface, but through the resulting impact on the transport. We anticipate many applications of this analysis, such as for the optimization of stellarator magnetic fields and analysis of transport in the stochastic edge.

As discussed in § 3, our metric appears to be related to the converse KAM approach, which enables a quantification of the volume of phase space that does not contain KAM surfaces of a given foliation. We expect that the effective volume of parallel diffusion might agree with such a calculation in the limit of small perpendicular diffusion. We reserve such a comparison for future publication.

Acknowledgements

The authors would like to acknowledge fruitful discussions with D. Pfefferle, P. Constantin, R. Mackay, T. Drivas, D. Ginsberg and A. Bhattacharjee.

Editor Peter Catto thanks the referees for their advice in evaluating this article.

Funding

This work was supported in part by a grant from the Simons Foundation/SFARI (560651) and by DOE Contract No. DEAC02–76CH03073.

Declaration of interests

The authors report no conflict of interest.

Appendix A. Maximum principle for ADE

We can now prove a maximum principle for the ADE (Fraenkel Reference Fraenkel2000). Let $T$ satisfy the ADE. We define a function $w = T + \epsilon e^{K \boldsymbol {x} \boldsymbol {\cdot } \boldsymbol {c}}$ for constant scalars $K>0$, $\epsilon >0$, and constant vector $\boldsymbol {c}$. Applying the ADE operator to $w$, we obtain

(A1)\begin{equation} \boldsymbol{\nabla} \boldsymbol{\cdot} \left(\boldsymbol{\kappa} \boldsymbol{\cdot} \boldsymbol{\nabla} w \right) = \epsilon \left(\boldsymbol{c} \boldsymbol{\cdot} \boldsymbol{\kappa} \boldsymbol{\cdot} \boldsymbol{c} K^2 + \left(\boldsymbol{\nabla} \boldsymbol{\cdot} \boldsymbol{\kappa}\right) \boldsymbol{\cdot} \boldsymbol{c} K \right) e^{K\boldsymbol{x} \boldsymbol{\cdot} \boldsymbol{c}}. \end{equation}

From the positive definiteness of $\boldsymbol {\kappa }$, we note that $\boldsymbol {c} \boldsymbol {\cdot } \boldsymbol {\kappa } \boldsymbol {\cdot } \boldsymbol {c} \ge \lambda _0 |\boldsymbol {c}|^2$ where $\lambda _0>0$ is the smallest eigenvalue of $\boldsymbol {\kappa }$. This yields the inequality

(A2)\begin{equation} \boldsymbol{\nabla} \boldsymbol{\cdot} \left(\boldsymbol{\kappa} \boldsymbol{\cdot} \boldsymbol{\nabla} w \right) \ge \epsilon \left( \lambda_0 |\boldsymbol{c}|^2K^2 - \max_{\varOmega} \left|\left(\boldsymbol{\nabla} \boldsymbol{\cdot} \boldsymbol{\kappa}\right)\boldsymbol{\cdot} \boldsymbol{c} \right| K \right) e^{K\boldsymbol{x} \boldsymbol{\cdot} \boldsymbol{c}}. \end{equation}

We choose $K > \max _{\varOmega } |(\boldsymbol {\nabla } \boldsymbol {\cdot } \boldsymbol {\kappa })\boldsymbol {\cdot } \boldsymbol {c} |/(\lambda _0 |\boldsymbol {c}|^2)$ so that $\boldsymbol {\nabla } \boldsymbol {\cdot } (\boldsymbol {\kappa } \boldsymbol {\cdot } \boldsymbol {\nabla } w )>0$.

Suppose now that the maximum value of $w$ is obtained within the domain, $\varOmega$, at a point $\boldsymbol {x}_0$. This implies that $\boldsymbol {\nabla } w\rvert _{\boldsymbol {x}_0} = 0$ and the Hessian matrix $\boldsymbol {\nabla } \boldsymbol {\nabla } w \rvert _{\boldsymbol {x}_0}$ is negative semi-definite. This implies that

(A3)\begin{equation} \boldsymbol{\nabla} \boldsymbol{\cdot} \left(\boldsymbol{\kappa} \boldsymbol{\cdot} \boldsymbol{\nabla} w \right)\rvert_{\boldsymbol{x}_0} = \sum_{i,j} \kappa_{ij}(\boldsymbol{x}_0) \partial_i \partial_j w(\boldsymbol{x}_0) = \mathrm{tr}\left(\boldsymbol{\kappa} \boldsymbol{\nabla} \boldsymbol{\nabla} w \right)_{\boldsymbol{x}_0} \le 0. \end{equation}

The final inequality follows from expressing $\boldsymbol {\kappa }$ in terms of the eigenvalues, $\mu _i$, and eigenvectors, $\overrightarrow {\boldsymbol {x}}_i$, of $\boldsymbol {\nabla } \boldsymbol {\nabla } w$ with $\mu _i \le 0$

(A4)\begin{equation} \boldsymbol{\kappa} = \sum_i\omega_i \overrightarrow{\boldsymbol{x}}_i \overrightarrow{\boldsymbol{x}}_i^{\rm T}. \end{equation}

From the positive–definiteness of $\boldsymbol {\kappa }$, we find that $\omega _i>0$. We can then note that

(A5)\begin{equation} \text{tr} \left(\boldsymbol{\kappa} \boldsymbol{\nabla} \boldsymbol{\nabla} w \right)_{\boldsymbol{x}_0} = \text{tr}\left( \sum_i \omega_i \mu_i \overrightarrow{\boldsymbol{x}}_i \overrightarrow{\boldsymbol{x}}_i^{\rm T} \right) \le 0. \end{equation}

As this is in contradiction with the choice we have made for $K$, we conclude that the maximum of $w$ must occur on $\partial \varOmega$ and

(A6)\begin{equation} T < w \le \max_{\bar{\varOmega}}(w) = \max_{\partial \varOmega} w \le \max_{\partial \varOmega} T + \epsilon \max_{\partial \varOmega} e^{K \boldsymbol{x} \boldsymbol{\cdot} \boldsymbol{c}}. \end{equation}

This implies that $\max _{\bar {\varOmega }}T = \max _{\partial \varOmega }T$. Otherwise, we would have $\max _{\varOmega }T = \max _{\partial \varOmega }T + \delta$ for some $\delta > 0$. As we are free to choose $\epsilon < \delta /\max _{\partial \varOmega } e^{K \boldsymbol {x} \boldsymbol {\cdot } \boldsymbol {c}}$, this would lead to a contradiction. A similar argument can be constructed to show that the minimum value of $T$ must occur on the boundary.

Appendix B. Topology of isotherms

In this appendix, we discuss the possible topology of the isotherms given properties of the ADE.

To begin, we consider the region near the boundaries. We first note that the normal derivative of the temperature must be sign definite on the boundaries unless $T$ is constant in $\varOmega$. In other words, $\hat {\boldsymbol {n}} \boldsymbol {\cdot } \boldsymbol {\nabla } T > 0$ on $S_{-}$ and $S_{+}$ assuming $T_{+} > T_{-}$ and $\hat {\boldsymbol {n}}$ is oriented in the direction of increasing $\rho$. This result is known as the Hopf lemma (Fraenkel Reference Fraenkel2000). Intuitively, the flux through the boundary cannot change sign since $S_{-}$ and $S_{+}$ are isotherms. As a result, in a small neighbourhood of the boundary $\partial T/\partial \rho \ne 0$, and isotherms close with the same topology as the boundary. We conclude that at least within a small neighbourhood of $S_{-}$ and $S_{+}$, isotherms must be deformable to the boundaries.

We now argue that the temperature gradient cannot vanish within a subvolume of $\varOmega$ if the specified temperature differential $T_{+}-T_{-}$ is non-zero. To see this, suppose that the temperature is constant within a subvolume, $\mathcal {V}$. We remark that under the assumption that the coefficients appearing in the elliptic problem (2.4), $\boldsymbol {\kappa }$ and $\boldsymbol {\nabla } \boldsymbol {\cdot } \boldsymbol {\kappa }$, are analytic, $T$ must also be analytic due to the ellipticity of the ADE operator. If $T$ is analytic and is constant within $\mathcal {V}$, this implies that $T$ is constant in $\varOmega$. Since such a solution is inconsistent with the boundary conditions, we conclude that the temperature gradient can only vanish on isolated lines, surfaces or points. These must be saddle points given the maximum principle.

We now consider the possible linking of isothermal surfaces (figure 7). Suppose that there exists an isotherm, $\mathcal {S}$, with the linking of a sphere (i.e. does not close toroidally or poloidally) or the linking of an ‘island’ (i.e. closes toroidally or poloidally but not both). In that case, we can integrate the ADE over a volume $\mathcal {V}$ bounded by one of these isotherms, $\mathcal {S} = \partial \mathcal {V}$

(B1)\begin{equation} \int_{\mathcal{V}} \,{\rm d}^3 x \, \boldsymbol{\nabla} \boldsymbol{\cdot} \left(\boldsymbol{\kappa} \boldsymbol{\cdot} \boldsymbol{\nabla} T\right) = \int_{\partial \mathcal{V}} \,{\rm d}^2 x \, \hat{\boldsymbol{n}} \boldsymbol{\cdot} \boldsymbol{\kappa} \boldsymbol{\cdot} \boldsymbol{\nabla} T = 0. \end{equation}

We note that $\boldsymbol {\nabla } T \propto \hat {\boldsymbol {n}}$ and $\hat {\boldsymbol {n}} \boldsymbol {\cdot } \boldsymbol {\nabla } T$ is sign definite on $\partial \mathcal {V}$. Because $\boldsymbol {\kappa }$ is positive–definite, $\hat {\boldsymbol {n}} \boldsymbol {\cdot } \boldsymbol {\kappa } \boldsymbol {\cdot } \boldsymbol {\nabla } T$ will also be sign definite on $\partial \mathcal {V}$. This leads to a contradiction unless $\boldsymbol {\nabla } T = 0$. Given that the temperature gradient cannot vanish within a finite volume, we conclude that the isotherms must link as the boundaries such that they do not enclose a net volume.

Figure 7. Possible linking of closed isotherms (blue) which are periodic and do not intersect the boundaries (red); (a) ‘spherical’ (not closed toroidally or poloidally), (b) poloidally closed ‘island’ structure, (c) toroidally closed ‘island’ structure, (d) toroidally and poloidally closed (deformable to boundary) and (e) a toroidally and poloidally closed surface with the addition of a handle.

Now that we have argued that the isotherms must link toroidally and poloidally as the boundaries, we now discuss their topology. We consider an isotherm which links as the boundaries but with the addition of a small handle (figure 7d). Such an isotherm is consistent with the integral condition (B1) as it does not enclose a volume. We conclude that the isotherms must link toroidally and poloidally, with the possible addition of a handle. However, isotherms cannot enclose a net volume, as an ‘island’ or ‘sphere’ structure.

Appendix C. Single island chain analysis

In this appendix we analyse the ADE for the case of a single small island chain, as discussed in § 5. We perform a perturbation analysis in the small parameter $\epsilon = |\chi _1|/|\chi _0| \ll 1$ where $\chi _0 = \iota ' \psi ^2/2$ and $\chi _1 = \chi - \chi _0$. In the limit $\chi = \chi _0$, the solution of the ADE is given by,

(C1)\begin{equation} T_0(\rho) = T_-{+} \frac{\rho(T_+{-}T_-)}{\bar{\rho}}. \end{equation}

We will call this the unperturbed temperature. In computing the first-order correction, the perturbed temperature, we apply the ansatz $T_1(\rho,\theta,\zeta ) = \hat {T}(\rho ) \cos (m \theta - n \zeta )$. The first-order perturbation to the ADE reads

(C2)\begin{equation} \kappa_{{\perp}}\nabla^2 T_1 + (1 - \kappa_{{\perp}})\hat{\boldsymbol{b}}_0 \boldsymbol{\cdot} \boldsymbol{\nabla}( \hat{\boldsymbol{b}}_0 \boldsymbol{\cdot} \boldsymbol{\nabla} T_1 + \hat{\boldsymbol{b}}_1 \boldsymbol{\cdot} \boldsymbol{\nabla} T_0) = 0, \end{equation}

where $\hat {\boldsymbol {b}}_0$ and $\hat {\boldsymbol {b}}_1$ are the unit vectors in the direction of the magnetic field at $\mathcal {O}(\epsilon ^0)$ and $\mathcal {O}(\epsilon ^1)$. Applying the ansatz for $T_1$ results in the ordinary differential equation (ODE)

(C3)\begin{align} & \kappa_{{\perp}} \left( \hat{T}''(\rho) - \hat{T}(\rho) \left(\frac{m^2}{\bar{\rho}^2} + \frac{n^2}{ L_{\zeta}^2} \right) \right)\nonumber\\ & \quad - (1 - \kappa_{{\perp}}) \dfrac{m^2 \iota'^2 \bar{\psi}^2}{L_{\zeta}^2 \bar{\rho}^2\left(1 + \dfrac{n^2\bar{\rho}^2}{m^2 L_{\zeta}^2}\right)} \left(\hat{T}(\rho) \left(\rho - \rho_{{r}} \right)^2 - \frac{\mathcal{W}_{m,n}^2 (\rho - \rho_{{r}})}{4\bar{\rho}} (T_+{-}T_-)\right) = 0, \end{align}

where $\mathcal {W}_{m,n}$ is the island half-width (5.2). In obtaining the above expression, we focus on a region near the $n/m$ rational surface such that the unperturbed field strength can be approximated as $|\boldsymbol {B}_0| = (\bar {\psi }/\bar {\rho }^2) (1 + (\iota ' \bar {\psi } \rho /L_{\zeta })^2)^{1/2} \approx (\bar {\psi }/\bar {\rho }^2) (1 + (n \bar {\rho }/(mL_{\zeta }))^2)^{1/2}$. Due to the smallness of $\kappa _{\perp }$, outside of a small boundary layer of width $\mathcal {W}_{{c}}$, the perpendicular diffusion becomes unimportant. We can express the first-order perturbation to the ADE in terms of the layer variable $X = (\rho - \rho _{{r}})/\mathcal {W}_{{c}}$, where $\rho _{{r}} = \bar {\rho }n/(m \iota '\bar {\psi })$ is the location of the resonant surface

(C4)\begin{align} & \kappa_{{\perp}} \left( \frac{\hat{T}''(X)}{\mathcal{W}_{{c}}^2} - \hat{T}(X) \left(\frac{m^2}{\bar{\rho}^2} + \frac{n^2}{ L_{\zeta}^2} \right) \right)\nonumber\\ & \quad - (1 - \kappa_{{\perp}}) \dfrac{m^2 \iota'^2 \bar{\psi}^2}{L_{\zeta}^2 \bar{\rho}^2\left(1 + \dfrac{n^2\bar{\rho}^2}{m^2 L_{\zeta}^2}\right)} \left(\hat{T}(X) \mathcal{W}_{{c}}^2 X^2 - \frac{\mathcal{W}_{m,n}^2 \mathcal{W}_{{c}} X}{4\bar{\rho}} (T_+{-}T_-)\right) = 0. \end{align}

We will analyse the solution both inside and outside of the layer, similar to the analysis in Fitzpatrick (Reference Fitzpatrick1995).

C.1 Inner solution

Inside the boundary layer, the second term in (C4) is unimportant as $\mathcal {W}_{{c}}/\bar {\rho } \ll 1$ by assumption. Thus the first and third terms must balance each, allowing us to obtain the scaling for the boundary layer width as (5.1). Balance between the first and last terms yields a scaling for the temperature perturbation as

(C5)\begin{equation} \hat{T}(X) \sim \frac{\mathcal{W}_{m,n}^2}{\bar{\rho} \mathcal{W}_{{c}}} (T_+{-} T_-). \end{equation}

This matches the scaling in (32) of Fitzpatrick (Reference Fitzpatrick1995). This implies that $|\boldsymbol {\nabla }_{\perp } T_1| \sim (\mathcal {W}_{m,n}/\mathcal {W}_{{c}})^2 |\boldsymbol {\nabla }_{\perp } T_0|$. When $\mathcal {W}_{m,n} \ll \mathcal {W}_{{c}}$, $|\boldsymbol {\nabla }_{\perp } T_0| \gg |\boldsymbol {\nabla }_{\perp } T_1|$ and the ratio of parallel to perpendicular diffusion scales as

(C6)\begin{equation} \frac{|\boldsymbol{\nabla}_{\|} T|^2}{\kappa_{{\perp}}|\boldsymbol{\nabla}_{{\perp}} T|^2} \sim \frac{\mathcal{W}_{m,n}^4}{\mathcal{W}_{{c}}^4} \ll 1, \end{equation}

since $|\boldsymbol {\nabla }_{\|} T_1| \sim \mathcal {W}_\text {c}^{-1} \kappa _{\perp }^{1/2} T_1$. Otherwise, if $\mathcal {W}_{m,n}/\mathcal {W}_{{c}} \gtrsim 1$, the ratio can be $\sim 1$.

C.2 Outer solution

Outside of the boundary layer, the perpendicular diffusion can be ignored to a good approximation, and the ADE reduces to

(C7)\begin{equation} \boldsymbol{\nabla} \boldsymbol{\cdot} (\hat{\boldsymbol{b}} \hat{\boldsymbol{b}} \boldsymbol{\cdot} \boldsymbol{\nabla} T ) = 0. \end{equation}

Outside of the island separatrix, we apply a perturbation analysis to obtain

(C8)\begin{equation} \hat{\boldsymbol{b}}_0 \boldsymbol{\cdot} \boldsymbol{\nabla} ( \hat{\boldsymbol{b}}_0 \boldsymbol{\cdot} \boldsymbol{\nabla} T_1 + \hat{\boldsymbol{b}}_1 \boldsymbol{\cdot} \boldsymbol{\nabla} T_0 ) = 0. \end{equation}

This yields the solution

(C9)\begin{equation} \hat{T}^{(0)}(\rho) = \mathcal{W}_{m,n}^2\frac{T_+{-}T_-}{4\bar{\rho} (\rho - \rho_{{r}})}, \end{equation}

where the superscript $(0)$ indicates the solution which neglects perpendicular diffusion. This matches the scaling of (38) in Fitzpatrick (Reference Fitzpatrick1995). Given (C8), the parallel temperature gradient is negligible in this region if perpendicular diffusion is ignored. Now retaining the perpendicular diffusion terms from (C4), the correction to $\hat {T}(\rho )$ scales as $\hat {T}^{(1)}(\rho )\sim \hat {T}(\rho ) \mathcal {W}_{{c}}^4/(\bar {\rho }^2 (\rho - \rho _{{r}})^2)$, and the parallel diffusion will scale as $|\boldsymbol {\nabla }_{\|} T| \sim \kappa _{\perp }^{1/2} \mathcal {W}_{{c}}^{-2} (\rho - \rho _{{r}}) \hat {T}^{(1)}(\rho )$. Given that $|\boldsymbol {\nabla }_{\perp } T_0| \gg |\boldsymbol {\nabla }_{\perp } T_1|$ in this region, the ratio of the parallel to perpendicular diffusion will have the scaling

(C10)\begin{equation} \frac{|\boldsymbol{\nabla}_{\|} T|^2}{\kappa_{{\perp}}|\boldsymbol{\nabla}_{{\perp}} T|^2} \sim \frac{\mathcal{W}_{m,n}^4 \mathcal{W}_{{c}}^4 }{\bar{\rho}^4(\rho - \rho_{{r}})^4} \ll 1. \end{equation}

Within the island separatrix, (C7) implies that the temperature must be a function of the island flux surfaces. This is not possible unless the temperature is flattened across the island chain given the maximum principle. At non-zero $\kappa _{\perp }$, a finite temperature gradient is allowed. Given that the temperature is flattened within the separatrices if perpendicular diffusion is not included, both the parallel and perpendicular temperature gradients will be driven by $\hat {T}^{(1)}(\rho )$ with scaling given by $|\boldsymbol {\nabla }_{\|} T| \sim \kappa _{\perp }^{1/2} \mathcal {W}_{{c}}^{-2} (\rho - \rho _{{r}})\hat {T}^{(1)}(\rho )$ and $|\boldsymbol {\nabla }_{\perp } T| \sim \hat {T}^{(1)}(\rho )/(\rho - \rho _{{r}})$. This yields the scaling for the ratio of the parallel to perpendicular diffusion as

(C11)\begin{equation} \frac{|\boldsymbol{\nabla}_{\|} T|^2}{\kappa_{{\perp}}|\boldsymbol{\nabla}_{{\perp}} T|^2} \sim \frac{(\rho - \rho_{{r}})^4}{\mathcal{W}_{{c}}^4} \gg 1. \end{equation}

We conclude that, for the outer solution, the ratio $|\boldsymbol {\nabla }_{\|}T|^2/(\kappa _{\perp }|\boldsymbol {\nabla }_{\perp }T|^2)$ can only be $\gtrsim 1$ if $|\rho -\rho _{{r}}|< \mathcal {W}_{m,n}$ and $\mathcal {W}_{{c}} \ll \mathcal {W}_{m,n}$.

Appendix D. Strong chaos analysis

In this appendix we analyse the ADE for the case of strong chaos, as discussed in § 6. If we assume that $\epsilon _{m,n}$ is sufficiently small, we can linearize the trajectories with respect to the small parameter $\epsilon = |\chi _1|/|\chi _0| \ll 1$ where $\chi _0 = \iota ' \psi ^2/2$ and $\chi _1 = \chi - \chi _0$

(D1a)\begin{gather} \psi = \psi_0 + \psi_1(\zeta) + \mathcal{O}(\epsilon^2) \end{gather}
(D1b)\begin{gather}\theta = \theta_0 + \iota(\psi_0) \zeta + \theta_1(\zeta) + \mathcal{O}(\epsilon^2), \end{gather}

where $\iota (\psi _0) = \iota ' \psi _0$ is the rotational transform associated with the unperturbed Hamiltonian (4.2). The linearized trajectories satisfy

(D2a)\begin{gather} \frac{{\rm d} \psi_1}{{\rm d} \zeta} = \sum_{m,n} m \tilde{\epsilon}_{m,n}(\psi_0) \sin(m (\theta_0 + \iota(\psi_0) \zeta ) - n \zeta), \end{gather}
(D2b)\begin{gather}\frac{{\rm d} \theta_1}{{\rm d} \zeta} = \iota'\psi_1 + \sum_{m,n}\tilde{\epsilon}_{m,n}'(\psi_0) \cos(m (\theta_0 + \iota(\psi_0) \zeta) - n \zeta), \end{gather}

and are computed to be

(D3a)\begin{gather} \psi_1(\zeta) ={-}\sum_{m,n} m\tilde{\epsilon}_{m,n}(\psi_0) \frac{\cos(m (\theta_0 + \iota(\psi_0) \zeta) - n \zeta)}{m \iota(\psi_0) - n}, \end{gather}
(D3b)\begin{gather}\theta_1(\zeta) = \sum_{m,n} \left[ \frac{-m \iota' \tilde{\epsilon}_{m,n}(\psi_0)}{(m \iota(\psi_0) - n)^2} + \frac{\tilde{\epsilon}_{m,n}'(\psi_0)}{m \iota(\psi_0) - n} \right]\sin(m (\theta_0 + \iota(\psi_0) \zeta) - n \zeta). \end{gather}

Thus we can see that the resonant terms in $\theta _1(\zeta )$ within a width $\mathcal {W}_{m,n}/2$ (5.2) of a given rational surface will be $\mathcal {O}(1/m)$ and will thus dominate the evolution. We can then approximate the trajectories as

(D4a)\begin{gather} \frac{{\rm d} \psi_1}{{\rm d} \zeta} \approx \sum_{m,n}\varTheta(\mathcal{W}_{m,n}/2 -|\rho-\rho_{{r}}|) m \tilde{\epsilon}_{m,n}(\psi_0) \sin(m \theta_0 ), \end{gather}
(D4b)\begin{gather}\frac{{\rm d} \theta_1}{{\rm d} \zeta} \approx \iota'\psi_1 + \sum_{m,n}\varTheta(\mathcal{W}_{m,n}/2 -|\rho-\rho_{{r}}|) \tilde{\epsilon}_{m,n}'(\psi_0) \cos(m \theta_0), \end{gather}

where $\varTheta$ is the Heaviside step function. In one toroidal period, the flux changes by an amount given by $\Delta \psi \approx 2{\rm \pi} \,{\rm d}\psi _1/{\rm d}\zeta$ and the poloidal angle changes by an amount given by $\Delta \theta \approx 2{\rm \pi} \,{\rm d} \theta _1/{\rm d}\zeta$. We note that the uncertainty in the poloidal angle will be $\mathcal {O}(1)$ if the resonances are strongly overlapping. In this way, with every toroidal period, the poloidal angle will be kicked by an amplitude that depends on the surrounding resonances. We assume that $\theta _0$ can, therefore, be treated as a random variable, and we approximate the motion in such a field as a random walk

(D5)\begin{equation} \frac{\partial T}{\partial \zeta} \sim D_{\|} \frac{\partial ^2T}{\partial \psi^2}, \end{equation}

with a diffusion coefficient given by

(D6)\begin{equation} D_{\|} \sim \frac{\langle (\Delta \psi)^2 \rangle}{2 \Delta \zeta}, \end{equation}

where $\langle \cdots \rangle$ indicates an average over the possible initial conditions, $\theta _0$. The full expression for $D_{\|}$ is given in (6.3).

References

REFERENCES

Amestoy, P.R., Buttari, A., L'Excellent, J.-Y. & Mary, T. 2019 Performance and scalability of the block low-rank multifrontal factorization on multicore architectures. ACM Trans. Math. Softw. 45, 2:12:26.CrossRefGoogle Scholar
Amestoy, P.R., Duff, I.S., Koster, J. & L'Excellent, J.-Y. 2001 A fully asynchronous multifrontal solver using distributed dynamic scheduling. SIAM J. Matrix Anal. Appl. 23 (1), 1541.CrossRefGoogle Scholar
Balay, S., Abhyankar, S., Adams, M.F., Brown, J., Brune, P., Buschelman, K., Dalcin, L., Dener, A., Eijkhout, V., Gropp, W.D., et al. 2021 a PETSc Web page.Google Scholar
Balay, S., Abhyankar, S., Adams, M.F., Brown, J., Brune, P., Buschelman, K., Dalcin, L., Dener, A., Eijkhout, V., Gropp, W.D., et al. 2021 b PETSc users manual. Tech. Rep. ANL-95/11 - Revision 3.15. Argonne National Laboratory.CrossRefGoogle Scholar
Balay, S., Gropp, W.D., McInnes, L.C. & Smith, B.F. 1997 Efficient management of parallelism in object oriented numerical software libraries. In Modern Software Tools in Scientific Computing (ed. E. Arge, A.M. Bruaset & H.P. Langtangen), pp. 163–202. Birkhäuser Press.CrossRefGoogle Scholar
Bardóczi, L., Rhodes, T.L., Carter, T.A., Crocker, N.A., Peebles, W.A. & Grierson, B.A. 2016 Non-perturbative measurement of cross-field thermal diffusivity reduction at the O-point of 2/1 neoclassical tearing mode islands in the DIII-D tokamak. Phys. Plasmas 23 (5), 052507.CrossRefGoogle Scholar
Biewer, T.M., Forest, C.B., Anderson, J.K., Fiksel, G., Hudson, B., Prager, S.C., Sarff, J.S., Wright, J.C., Brower, D.L., Ding, W.X., et al. 2003 Electron heat transport measured in a stochastic magnetic field. Phys. Rev. Lett. 91 (4), 045004.CrossRefGoogle Scholar
Cary, J.R. & Hanson, J.D. 1986 Stochasticity reduction. Phys. Fluids 29 (8), 24642473.CrossRefGoogle Scholar
Cary, J.R. & Hanson, J.D. 1991 Simple method for calculating island widths. Phys. Fluids B 3 (4), 10061014.CrossRefGoogle Scholar
Cary, J.R. & Littlejohn, R.G. 1983 Noncanonical Hamiltonian mechanics and its application to magnetic field line flow. Ann. Phys. 151 (1), 134.CrossRefGoogle Scholar
del Castillo-Negrete, D. & Chacon, L. 2012 Parallel heat transport in integrable and chaotic magnetic fields. Phys. Plasmas 19 (5), 056112.CrossRefGoogle Scholar
Chirikov, B.V. 1979 A universal instability of many-dimensional oscillator systems. Phys. Rep. 52 (5), 263379.CrossRefGoogle Scholar
Chuvilgin, L.G. & Ptuskin, V.S. 1993 Anomalous diffusion of cosmic rays across the magnetic field. Astron. Astrophys. 279, 278297.Google Scholar
Evans, T.E., Moyer, R.A., Watkins, J.G., Thomas, P.R., Osborne, T.H., Boedo, J.A., Fenstermacher, M.E., Finken, K.H., Groebner, R.J., Groth, M., et al. 2005 Suppression of large edge localized modes in high confinement DIII-D plasmas with a stochastic magnetic boundary. J. Nucl. Mater. 337, 691696.CrossRefGoogle Scholar
Falcolini, C. & de La Llave, R. 1992 A rigorous partial justification of Greene's criterion. J. Stat. Phys. 67 (3), 609.CrossRefGoogle Scholar
Feng, Y., Kobayashi, M., Lunt, T. & Reiter, D. 2011 Comparison between stellarator and tokamak divertor transport. Plasma Phys. Control. Fusion 53 (2), 024009.CrossRefGoogle Scholar
Fitzpatrick, R. 1995 Helical temperature perturbations associated with tearing modes in tokamak plasmas. Phys. Plasmas 2 (3), 825838.CrossRefGoogle Scholar
Fraenkel, L.E. 2000 An Introduction to Maximum Principles and Symmetry in Elliptic Problems. Cambridge University Press.CrossRefGoogle Scholar
Greene, J.M. 1979 A method for determining a stochastic transition. J. Math. Phys. 20 (6), 11831201.CrossRefGoogle Scholar
Hameiri, E. & Bhattacharjee, A. 1987 Entropy production and plasma relaxation. Phys. Rev. A 35 (2), 768.CrossRefGoogle ScholarPubMed
Hanson, J.D. & Cary, J.R. 1984 Elimination of stochasticity in stellarators. Phys. Fluids 27 (4), 767769.CrossRefGoogle Scholar
Hazeltine, R.D. & Meiss, J.D. 2003 Plasma Confinement. Courier Corporation.Google Scholar
Helander, P., Hudson, S.R. & Paul, E.J. 2021 On heat conduction in an irregular magneticfield: Part I. J. Plasma Phys. (submitted).Google Scholar
Hölzl, M., Günter, S., Classen, I.G.J., Yu, Q., TEXTOR Team & Delabie, E. 2009 Determination of the heat diffusion anisotropy by comparing measured and simulated electron temperature profiles across magnetic islands. Nucl. Fusion 49 (11), 115009.CrossRefGoogle Scholar
Hudson, S.R. & Breslau, J. 2008 Temperature contours and ghost surfaces for chaotic magnetic fields. Phys. Rev. Lett. 100 (9), 095001.CrossRefGoogle ScholarPubMed
Jokipii, J.R. & Parker, E.N. 1969 Cosmic-ray life and the stochastic nature of the galactic magnetic field. Astrophys. J. 155, 799.CrossRefGoogle Scholar
Lichtenberg, A.J. & Lieberman, M.A. 2013 Regular and Stochastic Motion. Applied Mathematical Sciences, vol. 38. Springer Science & Business Media.Google Scholar
Lorenzini, R., Martines, E., Piovesan, P., Terranova, D., Zanca, P., Zuin, M., Alfier, A., Bonfiglio, D., Bonomo, F., Canton, A., et al. 2009 Self-organized helical equilibria as a new paradigm for ohmically heated fusion plasmas. Nat. Phys. 5 (8), 570574.CrossRefGoogle Scholar
MacKay, R.S. 1992 Greene's residue criterion. Nonlinearity 5 (1), 161.CrossRefGoogle Scholar
MacKay, R.S. 2018 Finding the complement of the invariant manifolds transverse to a given foliation for a 3D flow. Regular Chaotic Dyn. 23 (6), 797802.CrossRefGoogle Scholar
MacKay, R.S., Meiss, J.D. & Percival, I.C. 1984 Transport in Hamiltonian systems. Physica D 13 (1–2), 5581.CrossRefGoogle Scholar
MacKay, R.S. & Percival, I.C. 1985 Converse KAM: theory and practice. Commun. Math. Phys. 98 (4), 469512.CrossRefGoogle Scholar
Mather, J.N. 1984 Non-existence of invariant circles. Ergodic Theory Dyn. Syst. 4 (2), 301309.CrossRefGoogle Scholar
Mather, J.N. 1986 A criterion for the non-existence of invariant circles. Publ. Math. l'IHÉS 63, 153204.CrossRefGoogle Scholar
Meiss, J.D. 2015 Thirty years of turnstiles and transport. Chaos 25 (9), 097602.CrossRefGoogle ScholarPubMed
Meiss, J.D. & Ott, E. 1986 Markov tree model of transport in area-preserving maps. Physica D 20 (2–3), 387402.CrossRefGoogle Scholar
Meskat, J.P., Zohm, H., Gantenbein, G., Günter, S., Maraschek, M., Suttrop, W., Yu, Q. & ASDEX Upgrade Team 2001 Analysis of the structure of neoclassical tearing modes in ASDEX Upgrade. Plasma Phys. Control. Fusion 43 (10), 1325.CrossRefGoogle Scholar
Punjabi, A., Ali, H., Evans, T. & Boozer, A. 2008 Modeling of stochastic broadening in a poloidally diverted discharge with piecewise analytic symplectic mapping flux functions. Phys. Plasmas 15 (8), 082507.CrossRefGoogle Scholar
Sakakibara, S., Watanabe, K.Y., Suzuki, Y., Narushima, Y., Ohdachi, S., Nakajima, N., Watanabe, F., Garcia, L., Weller, A., Toi, K., et al. 2008 MHD study of the reactor-relevant high-beta regime in the Large Helical Device. Plasma Phys. Control. Fusion 50 (12), 124014.CrossRefGoogle Scholar
Sarff, J.S., Almagri, A.F., Anderson, J.K., Borchardt, M., Carmody, D., Caspary, K., Chapman, B.E., Den Hartog, D.J., Duff, J., Eilerman, S., et al. 2013 Overview of results from the MST reversed field pinch experiment. Nucl. Fusion 53 (10), 104017.CrossRefGoogle Scholar
Figure 0

Figure 1. The numerically computed value of the effective volume (3.1) is shown (blue) for the model field (4.2) with the displayed values of $\epsilon _{2,1}$ and $\kappa _{\perp }$. Also displayed is the scaling of the island width with $\epsilon _{2,1}$ (orange), and the critical value of $\epsilon _{2,1}$ for which the parallel transport may compete with perpendicular transport (black). The numerically computed value is predicted to approach the $\epsilon _{2,1}^{1/2}$ scaling in the limit $\kappa _{\perp } \rightarrow 0$; (a) $\kappa _{\perp } = 10^{-6}$,(b) $\kappa _{\perp } = 10^{-7}$, (c) $\kappa _{\perp } = 10^{-8}$.

Figure 1

Figure 2. The Poincaré section of the model field (4.2) with $\epsilon _{2,1} = 0.008$ is displayed with isotherms (red) on the left computed with the three values of $\kappa _{\perp }$ displayed. On the right, the Poincaré section is displayed with the ratio of the parallel (2.13) to perpendicular (2.14) diffusion. The colour scale is set to white where the parallel diffusion is smaller than the perpendicular diffusion; (a,b) $\kappa _{\perp } = 10^{-6}$, (c,d) $\kappa _{\perp } = 10^{-7}$, (ef) $\kappa _{\perp } = 10^{-8}$.

Figure 2

Figure 3. The numerically computed value of the effective volume (3.1) is shown for the model field (4.2) with $m=12$ resonances with amplitudes chosen to provide strong island overlap (values of the overlap parameter (6.1) are indicated). Also displayed is the critical value of $\kappa _{\perp }$ for which the parallel transport is predicted to compete with perpendicular transport (vertical dashed).

Figure 3

Figure 4. The Poincaré section of the model field (4.2) with $m = 12$ resonances chosen to provide an overlap parameter (6.1) of 4 is displayed with isotherms (red) on the left for the three values of $\kappa _{\perp }$ displayed. On the right, the Poincaré section is displayed with the ratio of the parallel (2.13) to perpendicular (2.14) diffusion. The colour scale is set to white where the parallel diffusion is smaller than the perpendicular diffusion; (a,b) $\kappa _{\perp } = 10^{-4}$, (c,d) $\kappa _{\perp } = 10^{-5}$, (ef) $\kappa _{\perp } = 10^{-6}$.

Figure 4

Figure 5. (a) The effective volume (3.1) is computed for the model field (4.2) with the displayed mode number perturbations with amplitudes $\epsilon _{m,n}$ chosen for critical island overlap. The effective volume is computed over a subset of the entire volume, $\rho \in [0.25, 0.75]$. (b) The total temperature difference between $\rho = 0.75$ and $\rho = 0.25$ upon averaging over the angles.

Figure 5

Figure 6. The ADE is solved for the model field (4.2) with critically overlapping resonances of $m = 4$, $m = 12$ and $m=36$ with $\kappa _{\perp } = 10^{-6}$. On the left are the isotherms (red), and on the right is the ratio of the parallel (2.13) to perpendicular (2.14) diffusion. The colour scale is set to white where the parallel diffusion is smaller than the perpendicular diffusion; (a,b) $m=4$, (c,d) $m = 12$, (ef) $m = 36$.

Figure 6

Figure 7. Possible linking of closed isotherms (blue) which are periodic and do not intersect the boundaries (red); (a) ‘spherical’ (not closed toroidally or poloidally), (b) poloidally closed ‘island’ structure, (c) toroidally closed ‘island’ structure, (d) toroidally and poloidally closed (deformable to boundary) and (e) a toroidally and poloidally closed surface with the addition of a handle.