Spectrally Accelerated Edge and Scrape-Off Layer Gyrokinetic Turbulence Simulations

B. J. Frei P. Ulbl J. Trilaksono F. Jenko
Abstract

This paper presents the first gyrokinetic (GK) simulations of edge and scrape-off layer (SOL) turbulence accelerated by a velocity-space spectral approach in the full-f𝑓fitalic_f GK code GENE-X. Building upon the original grid velocity-space discretization, we derive and implement a new spectral formulation and verify the numerical implementation using the method of manufactured solution. We conduct a series of spectral turbulence simulations focusing on the TCV-X21 reference case [Oliveira D. S. et al., Nucl. Fusion 62, 096001 (2022)] and compare these results with previously validated grid simulations [Ulbl P. et al., Phys. Plasmas 30, 107986 (2023)]. This shows that the spectral approach reproduces the outboard midplane (OMP) profiles (density, temperature, and radial electric field), dominated by trapped electron mode (TEM) turbulence, with excellent agreement and significantly lower velocity-space resolution. Thus, the spectral approach reduces the computational cost by at least an order of magnitude, achieving a speed-up of approximately 50505050 for the TCV-X21 case. This enables high-fidelity GK simulations to be performed within a few days on modern CPU-based supercomputers for medium-sized devices and establishes GENE-X as a powerful tool for studying edge and SOL turbulence, moving towards reactor-relevant devices like ITER.

journal: Journal of Computational Physics
\affiliation

[ipp]organization=Max-Planck Institute for Plasma Physics, addressline=Boltzmannstr. 2, city=Garching, postcode=D-85748, country=Germany

\affiliation

[austin]organization=Institute for Fusion Studies, The University of Texas at Austin, city=Austin, postcode=TX 78712, country=USA

1 Introduction

Predicting turbulent transport in the edge and SOL regions is crucial to optimize fusion reactor performance, predict the divertor heat load, understand the L- to H-mode confinement transition, and design future magnetic confinement fusion devices, such as ITER [1] and DEMO [2]. Despite significant recent advancements in turbulent transport modeling [3], widely-used reduced turbulent transport (e.g., quasilinear) models and Braginskii-fluid simulations often fail to accurately capture edge and SOL turbulent transport due to, for instance, the importance of non-local effects and the fact that the edge is only marginally collisional. Therefore, because of the peculiar properties of the edge and SOL region, high-fidelity gyrokinetic (GK) turbulence simulations are necessary to overcome these difficulties and describe turbulent transport accurately.

While global [4, 5, 6] and local [7, 8, 9] GK codes for core turbulence are well-established, GK turbulence codes for the edge and SOL region remain less mature. One of the main reasons for this is (i) the lack of a clear separation between fluctuations and equilibrium quantities requiring a full-f𝑓fitalic_f GK formalism and (ii) the complex magnetic geometry featuring open and closed field lines and X-points, which poses significant numerical challenges. In addressing this latter complexity, Braginskii-fluid turbulence codes such as GBS [10], TOKAM3X [11], and GRILLIX [12] have pioneered SOL turbulence, where the high-collisional assumption might be justified, in arbitrary magnetic configurations. Notably, the flux-coordinate independent (FCI) approach [13, 14], implemented in the GRILLIX fluid code [12, 15], has demonstrated promising performance in simulating turbulence in large devices [16], with flexible magnetic geometries [17].

Building on the experience gained from the GENE code [7, 4] and the flexibility of the FCI method, the GENE-X code [18] has been specifically designed to perform high-fidelity and high-performance GK turbulence simulations of the edge and SOL region with X-points. GENE-X is a full-f𝑓fitalic_f GK code, i.e., it does not split the distribution function between an equilibrium and fluctuating parts. More precisely, GENE-X solves the full-f𝑓fitalic_f electromagnetic and collisional GK Vlasov-Maxwell system and belongs to the continuum category of GK codes, where an Eulerian grid approach is utilized to discretize the velocity-space. Currently, GENE-X is one of the few GK codes able to perform edge and SOL turbulence with magnetic X-points. Among the other existing full-f𝑓fitalic_f GK codes designed for edge and SOL applications, we can cite GKEYLL [19] and PICLS [20], which focus on either open and closed the open-field line region, and XGC [21, 22] and COGENT [23], which can also include magnetic X-points.

The GENE-X code has been validated against attached L-mode experiments in medium-sized devices such as in the ASDEX Upgrade [24] and TCV tokamak [25]. These validations demonstrate that GENE-X can provide predictions close to experimental measurements (e.g., OMP profiles, power balance, and divertor fall of length) in L-mode conditions. For instance, in the TCV-X21 reference case (L-mode discharge designed for code validation [26]), the GENE-X simulations have revealed the importance of the collisional cooling of trapped electrons in the edge to recover the correct electron temperature OMP profile within the experimental uncertainty, a kinetic mechanism that Braginskii-like fluid codes fail to capture due to the absence of trapped particles in these models. Despite these promising and encouraging results, the significant computational requirements of these first-principles grid GK simulations hinders the ability of GENE-X to simulate edge and SOL turbulence in reactor-relevant devices (such as ITER) and to explore high-performance and advanced experimental scenarios. Even for medium-sized devices, simulations frequently require several million CPU hours and span over several weeks to complete [24, 25]. Although GPUs and exascale HPC architectures offer potential, new numerical algorithms are needed to accelerate high-fidelity GK simulations.

This paper presents the first implementation of a spectral approach in velocity-space in a full-f𝑓fitalic_f GK turbulence code such as GENE-X. The use of a spectral method is motivated by the fact that it can be particularly advantageous at high collisionality (e.g., in the SOL). The spectral method used in this work is based on a spectral expansion of the full-f𝑓fitalic_f distribution function onto a Hermite and Laguerre polynomial basis in velocity-space. Using this basis, we derive and numerically implement the spectral formulation of the edge and SOL GK turbulence model solved in GENE-X. The numerical implementation is verified using the method of manufactured solution (MMS) [27]. We present the first spectrally accelerated GK edge and SOL turbulence simulations of the TCV-X21 reference case using GENE-X. It is noteworthy that the TCV-X21 scenario represents an ideal reference case for assessing the performance of the spectral approach, given that turbulence is dominated by TEMs [25], which can present a challenge for a global velocity-space spectral approach [28]. We compare our spectral results with the ones of Ref. [25] obtained from grid simulations with GENE-X. We find that the spectral approach can reproduce the OMP profiles in both the collisional and collisionless cases, dominated by TEMs, with excellent agreement and with a small number of spectral coefficients. In addition, by further increasing the spectral resolution in our simulations, we demonstrate that the agreement between the grid and spectral results is improved. Finally, the computational cost of the spectral simulations is assessed. We demonstrate that the spectral approach implemented in this work achieves a significant speed-up of CPU-based GK simulations with GENE-X. For the TCV-X21 reference case, a speed-up of nearly 50505050 times is achieved compared to the previous grid simulations, allowing high-fidelity GK edge and SOL turbulence simulations to be conducted within a few days on current CPU-based supercomputers. This opens up new opportunities for studying edge and SOL turbulence through high-fidelity and high-performance GK simulations, which is crucial for the success of ITER and the design of future fusion power plants.

This paper is structured as follows. First, we introduce the GK turbulence model for the edge and SOL used in GENE-X in Section 2. We then present the spectral approach considered in this work and derive the spectral formulation of the GK model in Section 3. The numerical implementation of the spectral approach in GENE-X is detailed in Section 4, while its verification is carried out in Section 5. The first spectrally accelerated turbulence simulations of the TCV-X21 reference case are reported in Section 6, including a comparison with the grid simulations from Ref. [25]. Finally, the performance and computational cost of the spectral simulations are evaluated in Section 7. The conclusions and outlooks are presented in Section 8.

2 The GK turbulence model for the edge and SOL

GENE-X evolves the full-f𝑓fitalic_f gyrocenter and gyroaveraged distribution function, fα=fα(𝑹,v,μ,t)subscript𝑓𝛼subscript𝑓𝛼𝑹subscript𝑣parallel-to𝜇𝑡f_{\alpha}=f_{\alpha}(\bm{R},v_{\parallel},\mu,t)italic_f start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT = italic_f start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ( bold_italic_R , italic_v start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT , italic_μ , italic_t ) of particle species α𝛼\alphaitalic_α in the gyrocenter phase-space described by the coordinates (𝑹,v,μ,θ)𝑹subscript𝑣parallel-to𝜇𝜃(\bm{R},v_{\parallel},\mu,\theta)( bold_italic_R , italic_v start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT , italic_μ , italic_θ ). Here, 𝑹𝑹\bm{R}bold_italic_R denotes the gyrocenter position related to the particle position 𝒓𝒓\bm{r}bold_italic_r by the transformation 𝒓𝑹+𝝆α(μ,θ)similar-to-or-equals𝒓𝑹subscript𝝆𝛼𝜇𝜃\bm{r}\simeq\bm{R}+\bm{\rho}_{\alpha}(\mu,\theta)bold_italic_r ≃ bold_italic_R + bold_italic_ρ start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ( italic_μ , italic_θ ), with 𝝆α=𝒗(μ,θ)/Ωαsubscript𝝆𝛼subscript𝒗perpendicular-to𝜇𝜃subscriptΩ𝛼\bm{\rho}_{\alpha}=\bm{v}_{\perp}(\mu,\theta)/\Omega_{\alpha}bold_italic_ρ start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT = bold_italic_v start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ( italic_μ , italic_θ ) / roman_Ω start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT the particle Larmor radius and Ωα=qαB/(cmα)subscriptΩ𝛼subscript𝑞𝛼𝐵𝑐subscript𝑚𝛼\Omega_{\alpha}=q_{\alpha}B/(cm_{\alpha})roman_Ω start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT = italic_q start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT italic_B / ( italic_c italic_m start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ) the gyrofrequency, where mαsubscript𝑚𝛼m_{\alpha}italic_m start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT and qαsubscript𝑞𝛼q_{\alpha}italic_q start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT are species mass and charge, respectively. The velocity dependence of the gyrocenter phase-space is described by the parallel and perpendicular components of the gyrocenter velocity 𝒗𝒗\bm{v}bold_italic_v relative to the equilibrium magnetic field, i.e., v=𝒗𝒃subscript𝑣parallel-to𝒗𝒃v_{\parallel}=\bm{v}\cdot\bm{b}italic_v start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT = bold_italic_v ⋅ bold_italic_b with background magnetic field unit vector 𝒃=𝑩/B𝒃𝑩𝐵\bm{b}=\bm{B}/Bbold_italic_b = bold_italic_B / italic_B and 𝒗=𝒗𝒃vsubscript𝒗perpendicular-to𝒗𝒃subscript𝑣parallel-to\bm{v}_{\perp}=\bm{v}-\bm{b}v_{\parallel}bold_italic_v start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT = bold_italic_v - bold_italic_b italic_v start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT, respectively. Finally, μ=mα𝒗2/(2B)𝜇subscript𝑚𝛼superscriptnormsubscript𝒗perpendicular-to22𝐵\mu=m_{\alpha}\norm{\bm{v}_{\perp}}^{2}/(2B)italic_μ = italic_m start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ∥ start_ARG bold_italic_v start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT end_ARG ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / ( 2 italic_B ) is the gyrocenter magnetic moment, and θ𝜃\thetaitalic_θ is the gyrocenter gyroangle, such that θfα=0subscript𝜃subscript𝑓𝛼0\partial_{\theta}f_{\alpha}=0∂ start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT italic_f start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT = 0. To obtain the self-consistent evolution of fαsubscript𝑓𝛼f_{\alpha}italic_f start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT, the long-wavelength electromagnetic and collisional GK Vlasov equation is used, which is given in conservative form,

(Bfα)t+(B𝑹˙fα)+v(Bv˙fα)=βBCαβ(fα,fβ),superscriptsubscript𝐵subscript𝑓𝛼𝑡superscriptsubscript𝐵˙𝑹subscript𝑓𝛼subscript𝑣superscriptsubscript𝐵subscript˙𝑣parallel-tosubscript𝑓𝛼subscript𝛽superscriptsubscript𝐵subscript𝐶𝛼𝛽subscript𝑓𝛼subscript𝑓𝛽\displaystyle\frac{\partial\left(B_{\|}^{*}f_{\alpha}\right)}{\partial t}+% \gradient\cdot\left(B_{\|}^{*}\dot{\bm{R}}f_{\alpha}\right)+\frac{\partial}{% \partial v_{\|}}\left(B_{\|}^{*}\dot{v}_{\parallel}f_{\alpha}\right)=\sum_{% \beta}B_{\|}^{*}C_{\alpha\beta}(f_{\alpha},f_{\beta}),divide start_ARG ∂ ( italic_B start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_f start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ) end_ARG start_ARG ∂ italic_t end_ARG + start_OPERATOR ∇ end_OPERATOR ⋅ ( italic_B start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT over˙ start_ARG bold_italic_R end_ARG italic_f start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ) + divide start_ARG ∂ end_ARG start_ARG ∂ italic_v start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT end_ARG ( italic_B start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT over˙ start_ARG italic_v end_ARG start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT italic_f start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ) = ∑ start_POSTSUBSCRIPT italic_β end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_C start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT ( italic_f start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT , italic_f start_POSTSUBSCRIPT italic_β end_POSTSUBSCRIPT ) , (1)

where the conservation of the magnetic moment, μ˙=0˙𝜇0\dot{\mu}=0over˙ start_ARG italic_μ end_ARG = 0, is used. In Eq. (1), the equations of motion are

𝑹˙˙𝑹\displaystyle\dot{\bm{R}}over˙ start_ARG bold_italic_R end_ARG =v𝑩B+cqαB𝒃×(μB+qαψ1α),absentsubscript𝑣superscript𝑩superscriptsubscript𝐵𝑐subscript𝑞𝛼superscriptsubscript𝐵𝒃𝜇𝐵subscript𝑞𝛼subscript𝜓1𝛼\displaystyle=v_{\|}\frac{\bm{B}^{*}}{B_{\|}^{*}}+\frac{c}{q_{\alpha}B_{\|}^{*% }}\bm{b}\times\left(\mu\gradient B+q_{\alpha}\gradient\psi_{1\alpha}\right),= italic_v start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT divide start_ARG bold_italic_B start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_ARG start_ARG italic_B start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_ARG + divide start_ARG italic_c end_ARG start_ARG italic_q start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_ARG bold_italic_b × ( italic_μ start_OPERATOR ∇ end_OPERATOR italic_B + italic_q start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT start_OPERATOR ∇ end_OPERATOR italic_ψ start_POSTSUBSCRIPT 1 italic_α end_POSTSUBSCRIPT ) , (2a)
v˙subscript˙𝑣parallel-to\displaystyle\dot{v}_{\parallel}over˙ start_ARG italic_v end_ARG start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT =𝑩mαB(μB+qαψ1α)qαmαcA1t,\displaystyle=-\frac{\bm{B}^{*}}{m_{\alpha}B_{\|}^{*}}\cdot\left(\mu\gradient B% +q_{\alpha}\gradient\psi_{1\alpha}\right)-\frac{q_{\alpha}}{m_{\alpha}c}\frac{% \partial A_{1\parallel}}{\partial t},= - divide start_ARG bold_italic_B start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_ARG ⋅ ( italic_μ start_OPERATOR ∇ end_OPERATOR italic_B + italic_q start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT start_OPERATOR ∇ end_OPERATOR italic_ψ start_POSTSUBSCRIPT 1 italic_α end_POSTSUBSCRIPT ) - divide start_ARG italic_q start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT italic_c end_ARG divide start_ARG ∂ italic_A start_POSTSUBSCRIPT 1 ∥ end_POSTSUBSCRIPT end_ARG start_ARG ∂ italic_t end_ARG , (2b)

with 𝑩=𝑩T+mαvc×𝒃/qαsuperscript𝑩subscript𝑩𝑇subscript𝑚𝛼subscript𝑣𝑐𝒃subscript𝑞𝛼\bm{B}^{*}=\bm{B}_{T}+m_{\alpha}v_{\|}c\gradient\times\bm{b}/q_{\alpha}bold_italic_B start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT = bold_italic_B start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT + italic_m start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT italic_c start_OPERATOR ∇ end_OPERATOR × bold_italic_b / italic_q start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT. Here, 𝑩T=𝑩+A1×𝒃\bm{B}_{T}=\bm{B}+\gradient A_{1\|}\times\bm{b}bold_italic_B start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT = bold_italic_B + start_OPERATOR ∇ end_OPERATOR italic_A start_POSTSUBSCRIPT 1 ∥ end_POSTSUBSCRIPT × bold_italic_b is the sum of the constant (in time and space) magnetic field, 𝑩𝑩\bm{B}bold_italic_B, and the small perpendicular magnetic fluctuation, δ𝑩A1×𝒃\delta\bm{B}_{\perp}\simeq\gradient A_{1\|}\times\bm{b}italic_δ bold_italic_B start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ≃ start_OPERATOR ∇ end_OPERATOR italic_A start_POSTSUBSCRIPT 1 ∥ end_POSTSUBSCRIPT × bold_italic_b, with A1A_{1\|}italic_A start_POSTSUBSCRIPT 1 ∥ end_POSTSUBSCRIPT the parallel component of the perturbed magnetic vector potential. We remark that the gyrocenter Jacobian, B/mαsuperscriptsubscript𝐵parallel-tosubscript𝑚𝛼B_{\parallel}^{*}/m_{\alpha}italic_B start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT / italic_m start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT, is proportional to B=𝒃𝑩=B+mαvc𝒃×𝒃/qαsuperscriptsubscript𝐵parallel-to𝒃superscript𝑩𝐵subscript𝑚𝛼subscript𝑣𝑐𝒃𝒃subscript𝑞𝛼B_{\parallel}^{*}=\bm{b}\cdot\bm{B}^{*}=B+m_{\alpha}v_{\|}c\bm{b}\cdot% \gradient\times\bm{b}/q_{\alpha}italic_B start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT = bold_italic_b ⋅ bold_italic_B start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT = italic_B + italic_m start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT italic_c bold_italic_b ⋅ start_OPERATOR ∇ end_OPERATOR × bold_italic_b / italic_q start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT. The second term in Bsuperscriptsubscript𝐵parallel-toB_{\parallel}^{*}italic_B start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT is referred to as the guiding-center correction and is proportional to the ratio of the particle Larmor radius ραsubscript𝜌𝛼\rho_{\alpha}italic_ρ start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT to the scale length of the equilibrium magnetic field, LBRsimilar-tosubscript𝐿𝐵𝑅L_{B}\sim Ritalic_L start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT ∼ italic_R (with R𝑅Ritalic_R being the major radius of the fusion devices), i.e. it is a small correction proportional to ρα/LB1much-less-thansubscript𝜌𝛼subscript𝐿𝐵1\rho_{\alpha}/L_{B}\ll 1italic_ρ start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT / italic_L start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT ≪ 1. It is worth noticing that the grid implementation of GENE-X (see Section 4) solves the GK Vlasov equation in the advection form rather than the conservative form given in Eq. (1). However, the conservative form is more convenient to derive the spectral approach in Section 3.

In Eq. (1), we introduce the generalized potential, ψ1αsubscript𝜓1𝛼\psi_{1\alpha}italic_ψ start_POSTSUBSCRIPT 1 italic_α end_POSTSUBSCRIPT, defined by

ψ1α=ϕ1mαc22qαB2|ϕ1|2,subscript𝜓1𝛼subscriptitalic-ϕ1subscript𝑚𝛼superscript𝑐22subscript𝑞𝛼superscript𝐵2superscriptsubscriptperpendicular-tosubscriptitalic-ϕ12\displaystyle\psi_{1\alpha}=\phi_{1}-\frac{m_{\alpha}c^{2}}{2q_{\alpha}B^{2}}% \left|\gradient_{\perp}\phi_{1}\right|^{2},italic_ψ start_POSTSUBSCRIPT 1 italic_α end_POSTSUBSCRIPT = italic_ϕ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - divide start_ARG italic_m start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT italic_c start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_q start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT italic_B start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG | start_OPERATOR ∇ end_OPERATOR start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT italic_ϕ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (3)