 Research
 Open Access
 Published:
Finite element methods on composite meshes for tuning plasma equilibria in tokamaks
Journal of Mathematics in Industry volume 8, Article number: 8 (2018)
Abstract
The fundamental concept of magnetically confined nuclear fusion devices is the magnetohydrodynamic (MHD) equilibrium: the pressure gradient due to highly energetic charged particles is balanced by the Lorenz force due to strong magnetic fields. Hence, numerical methods for MHD equilibria are also fundamental for fusion engineering applications. We rely here on a finite element method on composite meshes for the simulation of axisymmetric equilibria in tokamaks, torusshaped nuclear fusion devices. One mesh with Cartesian quadrilaterals covers the domain accessible by the plasma and one mesh with triangles discretizes the region outside the chamber. The two meshes overlap in a narrow region. This approach gives the flexibility to achieve easily and at low cost higher order regularity for the approximation of the principal unknown, the poloidal magnetic flux, while preserving accurate meshing of the geometric details in the exterior. We show that higher order regularity allows to formulate appropriate optimal control problems that help to find a special type of equilibria, called snowflake equilibria, that are a very promising concept to mitigate high heat loads due to plasma escaping particles.
Introduction
The possibility of using composite meshes in finite element (FE) simulations of industrial problems is a recurrent topic [8, 12, 28, 29, 33]. Composite meshes are involved as soon as the global discretization of a partial differential equation combines discretizations on local (overlapping or nonoverlapping) subdomains, each suitably triangulated by nonmatching grids. The reason for using composite meshes are various: fitting the geometry or the local smoothness of the solution, resolving multiple scales in regions with irregular data, using fast solvers on structured grids or a divideandconquer/domain decomposition approach to very large problems on parallel machines.
In the present case, we are looking for a simple and practical approach to introduce in certain parts of the computational domain FE functions that are not only continuous, but have also first order, second order or higher order continuous derivatives. In general it is very difficult to introduce FE spaces over simplicial unstructured meshes with such properties. On the other hand, if we work with Cartesian meshes this becomes very simple. It is sufficient to use tensor products of spline spaces with sufficiently high regularity. So, as it is naive to expect that technical devices can be entirely triangulated with Cartesian meshes, we introduce composite meshes involving Cartesian meshes in those subdomains where we want high regular FE representations and triangular unstructured meshes in those subdomains where we want conformity with the geometry.
The industrial application we consider concerns the freeboundary plasma equilibrium in tokamaks for nuclear fusion [3], which derives from the magnetohydrodynamic (MHD) equilibrium, described by the force balance and Maxwell’s equations in the eddycurrent approximation. Nuclear fusion is a highly exothermic reaction in which two light atomic nuclei fuse to form a heavier nucleus. The peaceful use of such reactions for energy production on earth is a multinational research effort with high impact on the longterm perspective of energy production and consumption. The most promising technology to achieve this goal is currently the tokamak, a torus shaped reactor that uses strong magnetic fields to confine plasma and to achieve the extreme conditions to start the fusion reaction. The upcoming ITER (International Thermonuclear Experimental Reactor) tokamak, jointly build by China, Europe, India, Russia, South Korea and USA, will be the largest magnetic confinement experiment. It aims at demonstrating the principle of producing more energy from the fusion process than is used to initiate it, something that has not yet been achieved in any fusion reactor. Achieving this dream of creating a small sun on earth, that provides an almost endless amount of clean and sustainable energy, is a main motivation of this joint research work. The various open problems require interdisciplinary research and are a steady source of interesting and challenging questions, requiring also a high expertise in the field of applied and computational mathematics.
By symmetry considerations the freeboundary plasma equilibrium problem can be reduced to a scalar semilinear elliptic one for the flux of the poloidal magnetic field (see Sect. 2.1 for details and references or [3, Sect. 1.2]). As the magnetic field and the current density are tangential to the level sets of the poloidal flux, the precise calculation of the level set distribution for the poloidal flux is fundamental in tokamak science. Hence, it is important to have good approximations not only of the poloidal magnetic flux but also of its derivatives.
In Fig. 1 we show a sketch of the cross section of a tokamak. It contains the geometrical details such as coils, passive structures and the iron core, that need to be accurately resolved by a triangulation. A peculiarity of the freeboundary plasma equilibrium problem is the unknown plasma domain, that is implicitly given as the domain that is bounded by the largest contour line of the poloidal flux that it not intersected by the limiter (see Fig. 2). Depending on the combination of coil currents, the plasma boundary, a contour line of the poloidal flux, either touches the limiter, the socalled limiter configuration, or is fully detached from the limiter. The latter is called divertor configuration or Xpoint configuration as the plasma boundary contains a saddle point of the poloidal field. In the very early tokamak devices the plasma was always attached to the limiter, while later the focus shifted towards devices that create free standing plasmas that are completely detached from material that would have to resist extremely high temperatures, otherwise. This allows to maintain plasmas at much higher temperatures. But even though a direct contact of plasma and material is avoided there are nevertheless high temperature heat loads on some parts of the material inside the tokamak. Particles that escape from the plasma hit the limiter at places where the limiter intersects with the contour lines of the poloidal flux. But since the toroidal component of the particle velocity is very large, the impact place is in the vicinity of the Xpoint. This may damage the device since the particles deposit their significant energy on a relatively small area leading to unacceptably high heat flux densities. To mitigate the heat flux impact several strategies are proposed. One of these strategies aims at the exploration of the socalled snowflake configuration [30, 31]. A snowflake configuration (see Fig. 2 right) is obtained when there is a point where not only the gradient of the poloidal flux vanishes but also its second order derivatives. This second condition implies that contour line through this point has more than four different branches. It thus results that the heat flux load is distributed over a larger impact area.
In [21] we introduced a FE method on composite meshes (see Fig. 3) for freeboundary plasma equilibrium problems and showed that the numerical calculation of such equilibria benefits from approximating the poloidal flux through some higher regular FE functions in the interior of the limiter. In the present paper we extend our previous work to determine coil current distributions that create snowflake configurations. We formulate this task as optimal control problem that is discretized with higher regular FE functions on the composite meshes. While FE methods on composite meshes are widely used in practice, their theoretical foundation is fairly limited in the literature. Therefore, we report here also extensive experimental convergence results that provide reassuring foundations for this application.
The outline is the following: The Sects. 2 and 3 deal with the freeboundary plasma equilibrium problem and the numerical methods, respectively. We present the model (Sect. 2.1), the freeboundary equilibrium problem, and its role for the operation of tokamaks (Sect. 2.2). In Sect. 3.1 we recall the classical mortar element method (MEM) for overlapping meshes and introduce a modified method (MEMM) that simplifies the implementation by avoiding integrals over cut elements. Next, in Sect. 3.2 we present the MEMM Galerkin formulation for the plasma equilibrium problem. The related optimal control problem for tuning plasma equilibria appears in Sect. 3.3. We explain how an existing implementation of Newton’s method for the freeboundary equilibrium problem can be easily extended to solve efficiently the corresponding optimal control problems. The section on results, Sect. 4, starts with a validation of the convergence of the MEM and MEMM and ends with a case study for finding snowflake configurations for the future tokamak CFETR. Sect. 5 gives a brief summary and draws the conclusions.
Formulation of the problem
The essential equations for describing plasma equilibrium in a tokamak are force balance, the solenoidal condition and Ampère’s law that read respectively
where p is the plasma kinetic pressure, B is the magnetic induction, J is the current density and μ the magnetic permeability. The magnetodydrodymic equilibrium (1) is a fundamental concept for nuclear fusion and we refer to standard text books, e.g. [3, 13, 15, 16, 35] and [22] for the details. Nevertheless, to keep this contribution concise, we give in the subsequent section a brief introduction following the lines of [21, Sect. 2].
The freeboundary plasma equilibrium problem
Tokamaks are predominantly axial symmetric devices, hence it is convenient to formulate (1) in a cylindrical coordinate system \((r,\varphi,z)\) in order to consider only a section at \(\varphi= \text{ constant}\) of the tokamak, generally referred to as poloidal section. Working in a poloidal section, the scalar field p does not depend on the angle φ, thus ∇p belongs to the poloidal \((r,z)\)plane. We introduce \(\mathbb {H} = [0,\infty] \times[\infty,\infty]\), the positive half plane, to denote the poloidal plane that contains the tokamak centered at the origin. The classical primal unknowns for toroidal plasma equilibria described by (1) are the poloidal magnetic flux \(\psi=\psi(r,z)\), the pressure p and the diamagnetic function f. The poloidal magnetic flux \(\psi:= r\mathbf {A}\cdot\mathbf {e}_{\varphi}\) is the scaled toroidal component (φcomponent) of the magnetic vector potential A, such that \(\mathbf {B}= \operatorname{curl}\mathbf {A} \), and \(\mathbf {e}_{\varphi}\) the unit vector for the φ coordinate. The diamagnetic function \(f = r \mathbf {B}\cdot\mathbf {e}_{\varphi}\) is the scaled toroidal component of the magnetic field B. It can be shown that both the pressure p and the diamagnetic function f are constant on ψ contour lines, i.e. \(p=p(\psi)\) and \(f=f(\psi)\).
Force balance, the solenoidal condition and Ampère’s law in (1) yield, in axisymmetric configuration, the following set of equations for the flux \(\psi(r,z)\):
where ∇ is the gradient in the half plane \(\mathbb {H}\), \(I_{i}\) is the total current (in At, Ampère turns) in the ith coil \(\mathcal {C}_{i} \subset\mathbb {H}\) and μ is a functional of ψ that reads
with \(\mu_{0}\) the constant magnetic permeability of vacuum and \(\mu _{\mathrm{Fe}}\) the nonlinear magnetic permeability of iron. \(\mathcal {S}\) is the domain of axisymmetric passive structures where a current density \(j_{\mathcal {S}}\) is prescribed. The plasma domain \(\mathcal {P}(\psi)\) is an unknown, which depends nonlinearly on the magnetic flux ψ: \(\mathcal {P}(\psi)\) is a functional of the poloidal flux ψ. The different characteristic shapes of \(\mathcal {P}(\psi)\) are illustrated in Fig. 2: the boundary of \(\mathcal {P}(\psi)\) either touches the boundary of \(\mathcal {L}\) (limiter configuration) or the boundary contains one or more saddle points of ψ (divertor configuration). The saddle points of ψ, denoted by \((r_{\mathrm{X}}, z_{\mathrm{X}})\)=\((r_{\mathrm{X}}(\psi),z_{\mathrm{X}}(\psi))\), are called Xpoints of ψ. The plasma domain \(\mathcal {P}(\psi)\) is the largest subdomain of \(\mathcal {L}\) bounded by a closed ψcontour line in \(\mathcal {L}\) and containing the magnetic axis \((r_{\mathrm{{max}}} ,z_{\mathrm{{max}}})\). The magnetic axis is the point \((r_{\mathrm{{max}}},z_{\mathrm {{max}}})=(r_{\mathrm{{max}}}(\psi), z_{\mathrm{{max}}}(\psi))\), where ψ has its global maximum in \(\mathcal {L}\). For convenience, we introduce also the coordinates \((r_{\mathrm{{bdp}}},z_{\mathrm{{bdp}}})=(r_{\mathrm{{bdp}}}(\psi ),z_{\mathrm{{bdp}}}(\psi))\) of the point that determines the plasma boundary. Note that \((r_{\mathrm {{bdp}}},z_{\mathrm{{bdp}}} )\) is either an Xpoint of ψ or the contact point with the limiter \(\partial\mathcal {L}\). The Fig. 4 presents the actual geometric setting of 3 different tokamaks showing the big variety of designs.
The equation (2) in the plasma domain is the celebrated Grad–Shafranov–Schlüter equation [17, 25, 32]. The domain of \(p'\) and \(f f'\) is the interval \([\psi_{\mathrm{{bdp}}},\psi_{\mathrm{{max}}}]\) with the scalar values \(\psi_{\mathrm{{max}}}\) and \(\psi_{\mathrm {{bdp}}}\) being the flux values at the magnetic axis and at the boundary of the plasma:
The two functions \(p'\) and \(f f'\) and the currents \(I_{i}\) in the coils are not determined by the model (2) and have to be supplied as data. Since the domain of \(p'\) and \(f f'\) depends on the poloidal flux itself, it is more practical to supply these profiles as functions of the normalized poloidal flux \(\psi_{\mathrm{N}}(r,z)\):
These two functions, subsequently termed \(S_{p'}\) and \(S_{ff'}\), have, independently of ψ, a fixed domain \([0,1]\). They are usually given as piecewise polynomial functions. Another frequent a priori model is
with \(r_{0}\) the major radius (in meters) of the vacuum chamber and \(\alpha,\beta,\gamma\in {\mathbb {R}}\) given parameters. We refer to [26] for a physical interpretation of these parameters. The parameter β is related to the poloidal beta [3, p. 15], whereas α and γ describe the peakage of the current profile.
The total plasma current given by
is an important quantity. In many cases one prefers to find solutions to the freeboundary equilibrium problem (2) where \(I_{p}\) has a predefined value. Hence it is common to scale \(S_{p'}\) and \(S_{ff'}\) by an unknown coefficient \(\lambda\in\mathbb {R}\) such that:
The plasma equilibrium and tokamak experiments
Computing plasma equilibria, the solutions to (2), is a central topic in tokamak fusion science. This is essential for simulations with elaborated highdimensional magnetohydrodynamic models but also for experimenters that need to control real tokamak reactors. They need to compute a huge amount of equilibria to set up discharge scenarios, to study breakdowns and disruptions, or to design the layout of new machines. The computational challenges for numerical codes for such freeboundary equilibrium problems are a problem setting in an unbounded domain with nonlinearities due the current density profile in the unknown plasma domain and the nonlinear magnetic permeability if the reactor has ferromagnetic structures. Devising stable iterative schemes is known to be very tricky [27], in particular for computing physical unstable equilibria. The combination of Galerkin methods and Newtontype iterations that were first introduced in [4] are among the most successful approaches to such type of freeboundary problems. Computing derivatives of the plasma domain has similarities with shape calculus. We refer to [20] for details and the latest improvements and extensions of this approach. In Figs. 5, 6 and 7 we show a couple of representative examples for such equilibrium calculations that are based on a standard Galerkin method with lowest order Lagrangian finite elements on triangular meshes as described in [4] or [20] and implemented in the MATLAB/Octave library FEEQS.M.^{Footnote 1}
In order to prepare experiments on each machine, it is a routine almost daily work, to compute not only the magnetic flux for a certain given set of coil currents, but also to determine coil currents that create a plasma equilibrium with certain desired properties. Such properties can be for example the shape of the plasma domain, the position of the Xpoint or the distribution of the plasma current density. It is very convenient to formulate such tasks as inverse or optimal control problem in introducing objective functionals that encode the design goals. A common choice would be the quadratic functional
that would help to find an plasma equilibrium that has constant ψ values on \(N_{\mathrm{desi}}+1\) given points \((r_{i},z_{i})\). However, from the definition of the equilibrium problem it is clear that the stationary points of the magnetic flux ψ have a very important role and it would be very beneficial to formulate objective functionals for these stationary points. Moreover, the location of the Xpoint has a big influence, where the extremely hot impurities released from the plasma core hit the walls of the reactor. Very recently it was discovered that the socalled snowflake configuration, with degenerated Xpoints or with many Xpoints close to each other (see Fig. 7) can have very positive effects for the heat load mitigation, and hence, engineers are interested in preparing tokamak scenarios with such configurations.
With the current approaches it is not obvious how to formulate objective functionals for such tasks. The gradients or Hessians of the Galerkin approximation of ψ are nonsmooth across element boundaries. Point evaluations of these gradients and Hessians are not well defined. Therefore, we prefer to work with higher order regular Galerkin methods. As this is easy with Cartesian meshes, we are interested in combining Cartesian meshes covering the burning chamber with triangle meshes covering the remaining parts of the computational domain.
Numerical methods
To simplify the presentation of the optimal control formulation and the main ingredients for a implementation we focus first on the details of the Mortar Element Method. To keep the discussion concise we elaborate the MEM for a linear elliptic problem.
A mortar element method (MEM) with overlapping meshes
To focus on the main idea we consider the following Poisson problem for the unknown ψ in the bounded domain \(\Omega\subset\mathbb {R}^{n}\) with boundary \(\Gamma= \partial\Omega\):
where ∇ (resp., ∇⋅) is the gradient (resp., divergence) operator in \(\mathbb {R}^{n}\) and \({D(\mathbf {x})} \in\mathbb {R}\) positive, for any \(\mathbf {x}\in\Omega\). The righthand side f and the Dirichlet data \(\psi_{0}\) are given. Let \(L^{2}(\Omega)\), be the functional space of measurable functions on Ω that are square integrable in Ω and \({H}^{1}(\Omega) = \{u \in L^{2}(\Omega), \nabla u \in L^{2}(\Omega )^{2}\}\) the Hilbert space endowed with the norm \(\u\^{2}_{{H}^{1}(\Omega)} = \u\^{2}_{\Omega} + u^{2}_{{H}^{1}(\Omega)}\) where \(u^{2}_{{H}^{1}(\Omega)} = \ \nabla u \^{2}_{\Omega}\). Let \(\Omega^{\mathrm{in}}\subset\Omega\) be a subdomain with \(\Omega ^{\mathrm{in}}\cap \Gamma= \emptyset\) and \(\Omega^{\mathrm{ex}}= \Omega\setminus \Omega^{\mathrm{in}}\) the complement of \(\Omega^{\mathrm{in}}\) in Ω. Further, the boundary of \(\Omega^{\mathrm{in}}\), \(\gamma:= \partial\Omega^{\mathrm{in}}\), is the interface between \(\Omega^{\mathrm{ex}}\) and \(\Omega^{\mathrm{in}}\). To formulate (7) as a variational problem in a domain decomposition framework, let us introduce the functional space
Then, the weak formulation of (7) is: Find \((\psi ^{\mathrm{ex}},\psi^{\mathrm{in}}) \in{\mathcal {H}_{\psi_{0}}}\) s.t. for all \((v,w) \in{\mathcal {H}_{0}}\)
We wish to introduce different types of meshes \(\mathcal{T}^{\mathrm {ex}}\) and \(\mathcal{T}^{\mathrm{in}}\) in the two subdomains \(\Omega^{\mathrm{ex}}\) and \(\Omega^{\mathrm{in}}\). To achieve a maximum of flexibility we do not expect the meshes \(\mathcal{T}^{\mathrm{ex}} \) and \(\mathcal{T}^{\mathrm{in}}\) to be conforming with \(\Omega ^{\mathrm{ex}}\) and \(\Omega^{\mathrm{in}}\). More precisely, we denote by \(\Omega^{\mathrm{ex}}_{h}\) and \(\Omega ^{\mathrm{in}}_{h}\) the domains covered by the mesh elements of \(\mathcal{T}^{\mathrm {ex}}\) and \(\mathcal{T}^{\mathrm{in}}\), respectively, and we only require that \(\Omega^{\mathrm{ex}}\subset\Omega^{\mathrm {ex}}_{h}\subset\Omega\), \(\Gamma\subset\partial\Omega^{\mathrm{ex}}_{h}\) and \(\Omega ^{\mathrm{in}}\subset\Omega^{\mathrm{in}}_{h} \subset\Omega\). Hence the approximation of (8) enters into the framework of overlapping domain decomposition methods. Let \(\gamma^{\mathrm{ex}}= \partial\Omega^{\mathrm{ex}}_{h}\setminus \Gamma\) and \(\gamma^{\mathrm{in}}= \partial\Omega^{\mathrm{in}}_{h}\) be the two boundaries of \(\Omega^{\mathrm{ex}}_{h}\) and \(\Omega^{\mathrm {in}}_{h}\) in Ω that replace the interface γ. Then we introduce the space
where \(\mathcal{V}^{\mathrm{ex}}\) and \(\mathcal{V}^{\mathrm{in}}\) are \(H^{1}(\Omega^{\mathrm{ex}}_{h})\) and \(H^{1}(\Omega^{\mathrm{in}}_{h})\) conforming FE spaces defined over \(\mathcal{T}^{\mathrm{ex}}\) and \(\mathcal {T}^{\mathrm{in}}\). The operators \(\Pi^{\mathrm{Dir}} \), \(\Pi^{\mathrm{ex}}\) and \(\Pi^{\mathrm{in}}\) are projections onto the Dirichlet trace spaces \(\mathcal{V}^{\mathrm{}}_{\Gamma}= \operatorname{tr}_{\Gamma} \mathcal{V}^{\mathrm{ex}}\), \(\mathcal{V}^{\mathrm{ex}}_{\gamma}:= \operatorname{tr}_{\gamma ^{\mathrm{ex}}} \mathcal{V}^{\mathrm{ex}}\) and \(\mathcal {V}^{\mathrm{in}}_{\gamma}:= \operatorname{tr}_{\gamma^{\mathrm{in}} } \mathcal{V}^{\mathrm{in}}\). The \(\text{MEM}_{s,t}\) with overlapping domains [1, 6, 23] applied to (8) reads: Find \((\psi^{\mathrm{ex}},\psi^{\mathrm{in}}) \in\mathcal {V}_{\psi_{0}}\) such that
where
for \(\mathrm{loc} = \mathrm{ex}\) (resp., \(\mathrm{loc} = \mathrm {in}\)) and \({\mathrm{coef}} = s\) (resp., \({\mathrm{coef}} = t\)), with \({\mathrm{coef}} \in[0,1]\). Optimal convergence results are available when \(s+t=1\) and \(\Pi^{\mathrm{ex}}\), \(\Pi^{\mathrm{in}}\), are the \(L^{2}\) projections onto \(\operatorname{tr}_{\gamma^{\mathrm{ex}}} \mathcal{V}^{\mathrm{ex}}\), \(\operatorname{tr}_{\gamma^{\mathrm{in}}} \mathcal{V}^{\mathrm {in}}\), respectively [1, 6]. However, two very restrictive disadvantages occur with the formulation (9):

1.
Assembling of the stiffness matrices associated to \(\mathsf {a}^{\mathrm{ex}}_{{s}}(\cdot,\cdot)\) and \(\mathsf{a}^{\mathrm {in}}_{{t}}(\cdot,\cdot)\) involves products of basis functions defined on different meshes. Similarly, assembling of the load vectors corresponding to \(\mathsf {\ell}^{\mathrm{ex}}_{{s}}(f,\cdot)\) and \(\mathsf{\ell}^{\mathrm {in}}_{{t}}(f,\cdot)\) involves integration over intersections of elements from different meshes.

2.
The stability of \(\text{MEM}_{s,t}\) requires the projections \(\Pi^{\mathrm{ex}}\) and \(\Pi^{\mathrm{in}}\) to be stable in \(H^{\frac{1}{2}}\). The obvious choice of \(L^{2}\) projections involves again surface integrals of products of basis functions defined on different meshes.
In the following we will introduce two mortarlike mappings different from the standard \(L^{2}\) projection, that allow to choose \(s=t=0\) in (9) and hence avoid the expensive assembling of the stiffness matrix for basis functions on two different meshes.
We recall that the FE spaces \(\mathcal{V}^{\mathrm{ex}}\) and \(\mathcal{V}^{\mathrm{in}}\) can be represented as direct sums \(\mathcal{V}^{\mathrm{ex}}= \mathcal{V}^{\mathrm{ex}}_{\circ}\oplus E \mathcal{V}^{\mathrm{ex}}_{\gamma}\) and \(\mathcal{V}^{\mathrm {in}}= \mathcal{V}^{\mathrm{in}}_{\circ}\oplus E \mathcal{V}^{\mathrm {in}}_{\gamma}\) where \(\mathcal{V}^{\mathrm{ex}}_{\gamma}= \operatorname{tr}_{\gamma ^{\mathrm{ex}}} \mathcal{V}^{\mathrm{ex}}\) and \(\mathcal {V}^{\mathrm{in}}_{\gamma}= \operatorname{tr} _{\gamma^{\mathrm{in}}} \mathcal{V}^{\mathrm{in}}\) are the earlier introduced trace spaces of \(\mathcal{V}^{\mathrm{ex}}\) and \(\mathcal{V}^{\mathrm{in}}\) and E is the trivial extension operator. Let us introduce two mappings \(\Pi^{\mathrm{ex}}_{f} \psi^{\mathrm{in}}\) for \(\psi^{\mathrm{in}}= \psi^{\mathrm{in}}_{\circ}+ \psi^{\mathrm{in}}_{\gamma}\), with \(\psi^{\mathrm{in}}_{\circ}\in \mathcal{V}^{\mathrm{in}}_{\circ}\), \(\psi^{\mathrm{in}}_{\gamma}\in \mathcal{V}^{\mathrm{in}}_{\gamma}\) and \(\Pi^{\mathrm{in}} _{f} \psi^{\mathrm{ex}}\) for \(\psi^{\mathrm{ex}}= \psi^{\mathrm {ex}}_{\circ}+ \psi^{\mathrm{ex}}_{\gamma}\), with \(\psi^{\mathrm{ex}}_{\circ}\in\mathcal{V}^{\mathrm{ex}}_{\circ}\), \(\psi^{\mathrm{ex}}_{\gamma}\in\mathcal{V}^{\mathrm{ex}}_{\gamma}\). The mapping \(\Pi^{\mathrm{ex}}_{f}\) is defined as:
where \(\Psi^{\mathrm{in}} \in\mathcal{V}^{\mathrm{in}}_{\circ}\) such that
and \(\Pi^{\mathrm{ex}}\) is either the \(L^{2}\)projection or standard nodal interpolation operator onto \(\mathcal{V}^{\mathrm{ex}}_{\gamma}\). The mapping \(\Pi^{\mathrm{in}}_{f}\) is defined analogously. We then introduce the space
and obtain the following modified version of the MEM for overlapping meshes: Find \((\psi^{\mathrm{ex}},\psi^{\mathrm{in}}) \in\mathcal {V}_{\psi _{0},f}\) such that
A similar approach with the lowest order FE spaces has been proposed in [9, 10] in the context of nondestructive testing. The auxiliary variable \(\Psi^{\mathrm{in}}\) is equal to \(\psi ^{\mathrm{in}}_{\circ}\), since we have both
and
Likewise the auxiliary variable \(\Psi^{\mathrm{ex}}\) is equal to \(\psi^{\mathrm{ex}}_{\circ}\). Hence it is easy to see that (10) is equivalent to the following formulation. Find \((\psi^{\mathrm{ex}},\psi^{\mathrm{in}}) \in\mathcal{V}^{\mathrm {ex}}\times\mathcal{V}^{\mathrm{in}}\), \(\psi^{\mathrm{ex}}_{\Gamma} = \Pi^{\mathrm{Dir}}g\) such that:
which is similar to the numerical zoom formulation in [19], where both the spaces \(\mathcal{V}^{\mathrm{ex}}\) and \(\mathcal{V}^{\mathrm{in}}\) are defined over triangular meshes instead. This form of the modified MEM was also the starting point in [21]. When \(\Pi^{\mathrm{ex}}\) and \(\Pi ^{\mathrm{in}}\) are interpolation operators and \(\mathcal{V}^{\mathrm{ex}}\) and \(\mathcal {V}^{\mathrm{in}}\) are lowest order Lagrangian FE spaces on triangular meshes we can recall an optimal convergence result from [24, Theorem 1] for the error in the \(L^{\infty}\)norm, under the assumption that discrete maximums principles and a decay condition for the numerical solution away from the boundary (see [24, p. 199]) hold. A similar result was established earlier in [7] (see also [14]) for finite difference schemes on overlapping uniform (Cartesian) meshes. Generalizing such results to more general meshes, combinations of triangular and uniform meshes, higher order FE methods or less restrictive conditions is an open problem. This is nevertheless very crucial as in many cases discrete maximums principles will not hold.
MEMM Galerkin formulation for the equilibrium problem
To adapt to the notation from Sect. 3.1 we introduce \(\mathbf {x} :=(x_{r},x_{z}):=(r,z)\). Next, we choose a semicircle Γ of radius \(\rho_{\Gamma}>0\) surrounding the iron domain \(\mathcal {F}\) and the coil domains \(\mathcal {C}_{i}\). Our computational domain \(\Omega\subset\mathbb {H}\) is the half circle domain with the boundary \(\partial\Omega= \Gamma\cup\Gamma_{0}\), where \(\Gamma_{0}:=\{(0,x_{z}), \rho_{\Gamma}\le x_{z} \le\rho_{\Gamma}\}\). The exterior domain \(\Omega^{\mathrm{ex}}\), that will be covered by a triangular mesh, is the complement of the limiterbounded domain \(\mathcal {L} \) in Ω: \(\Omega^{\mathrm{ex}}= \Omega\setminus\mathcal {L}\). The interior domain \(\Omega^{\mathrm{in}}\) is the limiterbounded domain \(\mathcal {L}\) (see Figs. 4 and 8). We arrive at the following MEMM Galerkin formulation of the nonlinear plasma equilibrium problem (2): Find \(\lambda\in\mathbb {R}\) and \((\psi^{\mathrm{ex}},\psi ^{\mathrm{in}}) \in\mathcal{V}^{\mathrm{ex}}\times\mathcal {V}^{\mathrm{in}}\), \(\psi^{\mathrm{ex}}_{\Gamma_{0}} =0\) such that:
The bilinear form \(c(\cdot,\cdot)\) [2, 11, 18] takes into account the boundary conditions at infinity using Greens functions of the operator \(\nabla\cdot (\frac{1}{\mu x_{r}} \nabla (\cdot ) )\). It is defined as follows
with
and
\(K(k)\) and \(E(k)\) are the complete elliptic integrals of the first and second kind respectively.
The MEMM Galerkin formulation (12) is similar to the formulation in [21] with the difference that we treat here the scaling parameter λ as an unknown in order to match with a prescribed total plasma current \(I_{p}\). Working here with the freeboundary equilibrium problem with fixed plasma current is due to the fact that in most applications the total plasma current \(I_{p}\) will be a prescribed quantity.
We want to stress that an implementation of the MEMM Galerkin formulation (12) requires quadrature rules for the approximation of the integrals. Moreover, since the problem is nonlinear we also need an iteration scheme. It is the nonlinearity due to the unknown plasma domain \(\mathcal {P}(\psi^{\mathrm{in}})\) that makes these steps nonstandard, and we refer to [3, 20] for the details for FE spaces over triangular meshes. The case of FE over Cartesian meshes is presented in [21, Sect. 4.4], and we mention here only that we use a Newton method for the fully discretized system as opposed to a discretization of the Newton method for the weak formulation. In many cases these two approaches are identical, but in the freeboundary setting it makes a difference. The difference is not too important for finding approximate solutions of (12) but it is essential for the optimal control formulation in the following section.
Let \(\mathbf {y}^{\mathrm{ex}}\) and \(\mathbf {y}^{\mathrm{in}}\) represent the vector of the values of degrees of freedom of \(\psi^{\mathrm{ex}}\in\mathcal{V}^{\mathrm{ex}}\) and \(\psi^{\mathrm{in}}\in \mathcal{V}^{\mathrm{in}}\). Then we have the decomposition \(\mathbf {y}^{\mathrm{ex}}= (\mathbf {y}^{\mathrm{ex}}_{\circ}, \mathbf {y}^{\mathrm {ex}}_{\gamma})\) and \(\mathbf {y}^{\mathrm{in}}= (\mathbf {y}^{\mathrm{in}}_{\circ}, \mathbf {y}^{\mathrm{in}}_{\gamma})\), where \(\mathbf {y}^{\mathrm{ex}}_{\circ}\) (resp., \(\mathbf {y}^{\mathrm{in}}_{\circ}\) ) and \(\mathbf {y}^{\mathrm {ex}}_{\gamma}\) (resp., \(\mathbf {y}^{\mathrm{in}}_{\gamma}\) ) are the degrees of freedom in \(\mathcal{V}^{\mathrm{ex}}_{\circ}\) (resp., \(\mathcal{V}^{\mathrm{in}}_{\circ}\)) and \(\mathcal{V}^{\mathrm {ex}}_{\gamma}\) (resp., \(\mathcal{V}^{\mathrm{in}}_{\gamma}\)). Further let u represent the vector of coil currents. The weak formulation (12) yields
the following nonlinear algebraic system:
where \(\mathbf {d}^{\mathrm{ex}}(\mathbf {y}^{\mathrm{ex}}_{\circ},\mathbf {y}^{\mathrm{ex}}_{\gamma},\mathbf {u})=0\), \(\mathbf {d}^{\mathrm {in}}(\mathbf {y}^{\mathrm{in}}_{\circ},\mathbf {y}^{\mathrm{in}}_{\gamma },\lambda )=0\) and \(\mathbf {d}^{\mathrm{pc}}(\mathbf {y}^{\mathrm{in}}_{\circ},\mathbf {y}^{\mathrm{in}}_{\gamma},\lambda)=0\) are the discretization of the first, second and third lines of (12). \(\mathbf {P}^{\mathrm{ex}}_{\circ}\) and \(\mathbf {P}^{\mathrm {ex}}_{\gamma}\) (resp., \(\mathbf {P}^{\mathrm{in}}_{ \circ}\) and \(\mathbf {P}^{\mathrm{in}}_{ \gamma}\)) are the discretization of the projection in the fourth (resp., fifth) line of (12). Combining the unknowns \(\mathbf {y}^{\mathrm {ex}}_{\circ}, \mathbf {y}^{\mathrm{ex}}_{\gamma}, \mathbf {y}^{\mathrm {in}}_{\circ}, \mathbf {y}^{\mathrm{in}}_{\gamma}\) and λ in one vector \(\mathbf {y}:=(\mathbf {y}^{\mathrm{ex}}_{\circ}, \mathbf {y}^{\mathrm {ex}}_{\gamma}, \mathbf {y}^{\mathrm{in}}_{\circ}, \mathbf {y}^{\mathrm{in}}_{\gamma}, \lambda)\) we can recast (14) in the form
that will be very convenient in the following section. The Newton iterations for (15) (see Algorithm 1) require the implementation of the derivative \({\mathbf {b}}_{\mathbf {y}}(\mathbf {y},\mathbf {u})\), which is already available due to previous efforts in [21, Sect. 4.5].
The inverse problem for tuning plasma equilibria
Combining the discretized freeboundary plasma equilibrium problem (12) with a discretized objective functional \(C(\mathbf {y})\) and regularization \(R(\mathbf {u})\) we arrive at a finite dimensional optimal control formulation that is of the general form
The state variable \(\mathbf {y}\in\mathbb {R}^{N}\) contains the N unknowns of the poloidal flux approximation in \(\mathcal{V}^{\mathrm {ex}}\) and \(\mathcal{V}^{\mathrm{in}}\). The components of the control variable \(\mathbf {u}\in\mathbb {R}^{M}\) are the currents in the M different coils.
By the first order optimality conditions we know that for solutions \((\mathbf {u}^{\ast},\mathbf {y}^{\ast})\) of (16) there exist so called adjoint states \(\mathbf {p}^{\ast}\in\mathbb {R}^{N}\) such that the following \(2N+M\) nonlinear equations hold
Here the subscripts _{y} and _{u} denote differentiation with respect to y and u, respectively. Splitting \(\mathbf {p}= ( \mathbf {p}^{\mathrm{ex}}_{\circ}, \mathbf {p}^{\mathrm{ex}}_{\gamma},\mathbf {p}^{\mathrm{in}}_{\circ}, \mathbf {p}^{\mathrm{in}}_{\gamma}, \mathbf {p}_{\lambda})^{T}\) analogously to \(\mathbf {y}=(\mathbf {y}^{\mathrm {ex}}_{\circ}, \mathbf {y}^{\mathrm{ex}}_{\gamma}, \mathbf {y}^{\mathrm {in}}_{\circ}, \mathbf {y}^{\mathrm{in}}_{\gamma}, \lambda)^{T}\) we can provide the more detailed depictions
and \(\mathbf {b}^{T}_{\mathbf {y}}(\mathbf {y},\mathbf {u}) \mathbf {p}\) with
where \(\mathbf {I}^{\mathrm{ex}}\) and \(\mathbf {I}^{\mathrm{in}}\) are unit matrices.
A Newtontype method for solving (17) [5, Chap. 14] are iterations of the type
The iteration scheme (18) is different from Newtons method for (17), since it neglects second order derivatives of \({\mathbf {b}}(\mathbf {y},\mathbf {u})\). It is known that such modifications are prone to convergence issues, but this doesn’t seem to be an issue here. In the terminology of Newton methods we use rather an inexact Newton method, than an exact Newton method.
Since in the number of coils is much smaller than the dimension of the approximation space \(\mathcal{V}^{\mathrm{ex}}\) and \(\mathcal {V}^{\mathrm{in}}\), the size of the nonlinear system(18) is roughly twice as large as the size of the nonlinear discrete freeboundary equilibrium problem (12). Even though it would be possible to invert the linear system in (18) with a direct solver, we have implemented an algorithm (see Algorithm 1) based on the Schur complement, as this appears as a minor modification of Newton’s method for the constraint (15). When the iteration stops, the auxiliary matrix valued variable Y is equal to the sensitivity \(\mathbf {y}_{\mathbf {u}}(\mathbf {u}) = \mathbf {b}_{\mathbf {y}}^{1}(\mathbf {y}(\mathbf {u}),\mathbf {u}) \mathbf {b}_{\mathbf {u}}(\mathbf {y}(\mathbf {u}),\mathbf {u})\). In general, it is recommended to avoid the explicit calculation of these sensitivities and adjoint methods were introduced for exactly that purpose. However, as we have a very few number of control parameters, this is not an issue. To motivate Algorithm 1 we introduce
and obtain from (18) first the identity
and then the following linear system for the increment \(\mathbf {u}^{k+1}\mathbf {u}^{k}\)
with
and
In the case that \(\mathbf {b}(\mathbf {y}^{k},\mathbf {u}^{k})\) (and hence \(\Delta \mathbf {y}_{k}\)) vanishes we have that vanishing \(\mathbf {m}( \mathbf {y}^{k}, \mathbf {u}^{k})\) would also imply that the first order optimality conditions (17) hold true. Hence, if both \(\Delta\mathbf {u}_{k}\) and \(\Delta\mathbf {y}_{k}\) vanish then the first order optimality conditions (17) hold true.
The iteration scheme (18) for the constraint optimization problem (16) involves first order derivatives of \({\mathbf {b}}(\mathbf {y},\mathbf {u})\) and first and second order derivatives of \(R(\mathbf {u})\) and \({C}(\mathbf {y})\). The derivative \({\mathbf {b}}_{\mathbf {y}}(\mathbf {y},\mathbf {u})\) is already available from the Newton iterations for (15) and as we have explicit expressions for \({\mathbf {b}}(\mathbf {y},\mathbf {u})\), \(R(\mathbf {u})\) and \({C}(\mathbf {y})\) that are algebraic in u and y we can also provide the remaining derivatives.
Results and discussion
We highlight that, to our knowledge, there is no theory yet available, that justifies rigorously convergence of the MEMM. Only for lowest order Lagrangian elements we have a convergence assertion in \(L^{\infty}\) [24, Theorem 1]. Therefore, we present here first an experimental validation of the MEMM, and continue afterwards, in Sect. 4.2, with the application.
All the numerical results are based on the MATLAB/Octave library FEEQS.M developed by one of the authors. This library utilizes in large parts vectorization. Therefore, the running time is comparable to C/C++ implementations.
Experimental validation
For validation of the MEM, we consider a rectangular domain \(\Omega= [1,1]^{2}\) and define \(\Omega^{\mathrm{in}}\) as the polygon with vertices \((0.125, 0.5)\), \((0.375, 0.25)\), \((0.375, 0.375)\), \((0, 0.5)\), \(( 0.375, 0.375)\), and \((0.5, 0.25)\). The meshes \(\mathcal{T}^{\mathrm{in}}\) and \(\mathcal {T}^{\mathrm{ex}}\) for the interior and exterior domain will be a Cartesian mesh and a triangular mesh. For simplicity we prefer to take \(\Omega^{\mathrm{ex}}_{h}= \Omega ^{\mathrm{ex}}= \Omega \setminus\Omega^{\mathrm{in}}\). For the numerical test, we take \({D}=1\) and choose the data \(f(x,y)\) and \(\psi_{0}\) in agreement with \(\psi(x,y) = \cos(\pi x) \sin(\pi y) \) as solution of (7). If \(h_{\mathrm{ex}}\) (\(h_{\mathrm{in}}\)) is the maximal diameter of elements in \(\mathcal{T}^{\mathrm{ex}}\) (\(\mathcal{T}^{\mathrm {in}}\)), and \(p_{\mathrm{ex}}\) (\(p_{\mathrm{in}}\)) the local polynomial degree of the FE spaces \(\mathcal{V}^{\mathrm{ex}}\) (\(\mathcal {V}^{\mathrm{in}}\)), one has optimal convergence if, for a smooth solution, the approximation error in the \(H^{1}(\Omega^{\mathrm{ex}}_{h})\) and \(H^{1}(\Omega^{\mathrm {in}}_{h})\)norms behaves as \(O(h^{p1})\), with \(h = \max(h_{\mathrm{ex}},h_{\mathrm{in}})\) and \(p = \min (p_{\mathrm{ex}},p_{\mathrm{in}})\) (in \(L^{2}(\Omega^{\mathrm{ex}}_{h})\) and \(L^{2}(\Omega^{\mathrm {in}}_{h})\)norms one dares to obtain \(O(h^{p})\)). To keep the presentation as clear as possible we show in the following figures always the maximum between the error in \(\Omega^{\mathrm {ex}}_{h}\) and that in \(\Omega^{\mathrm{in}}_{h}\).
We consider two different pairings of FE spaces \(\mathcal{V}^{\mathrm {ex}}\)–\(\mathcal{V}^{\mathrm{in}}\). The first denoted with P1Q1 uses lowest order linear FEs over \(\mathcal{T}^{\mathrm{ex}}\) and lowest order bilinear FEs over \(\mathcal{T}^{\mathrm{in}}\). The second pair, denoted with P2–Q3 uses quadratic FEs over \(\mathcal{T}^{\mathrm{ex}}\) and bicubic FEs over \(\mathcal{T}^{\mathrm{in}}\). The elements of P2Q3 are not only continuous on \(\Omega^{\mathrm {in}}_{h}\) and \(\Omega^{\mathrm{ex}}_{h}\) but have also continuous gradients on \(\Omega^{\mathrm{in}}_{h}\).
We focus on the overlapping MEMM (10) which uses the modified mortar mappings and is equivalent to (11). We also analyze the influence on the error curves of using either \(L^{2}\) projections or interpolation to realize the gluing across \(\gamma^{\mathrm{ex}}\) and \(\gamma ^{\mathrm{in}}\) for the MEMM. We start with the case where \(\Omega^{\mathrm{in}}_{h}\) has minimal overlap with \(\Omega^{\mathrm{ex}}_{h}\) (see Fig. 8, left). Thus \(\gamma^{\mathrm{in}}\) is adapted with the refinements in \(\Omega^{\mathrm{in}}_{h}\) as shown in Fig. 9. Convergence results with MEMM are presented in Fig. 10. The convergence rate with MEMM is optimal for the error in the \(H^{1}\)norm. The results look slightly better if we apply the interpolation instead of the \(L^{2}\) projection in the definition of the mortar mapping.
Next, we study the convergence rates for MEMM when \(\Omega^{\mathrm {in}}_{h}\) has a large overlap with \(\Omega^{\mathrm{ex}}_{h}\). For this we fix \(\Omega ^{\mathrm{in}}_{h}\) to be the square \([0.76,0.65]\times[0.76,0.78]\) (see Fig. 8, right). Note that both \(\gamma^{\mathrm{ex}}\) and \(\gamma^{\mathrm{in}}\) remain fixed during the refinements in \(\Omega^{\mathrm{in}}_{h}\). Once again, the MEMM yields optimal convergence rate in the \(H^{1}\) norm (see Fig. 10). Moreover in the case of larger overlap we observe even optimal convergence in the \(L^{2}\)norm. There is no qualitative difference between MEMM based on the \(L^{2}\)projection or on the interpolation. More detailed numerical tests of the MEMM can be found in [34].
With the classical overlapping \(\text{MEM}_{s,t}\) (9) with the parameters s and t set to zero (MEM_{0,0}), the convergence rates in the \(H^{1}\) and \(L^{2}\) norms are not optimal in the case of minimal overlap between \(\Omega^{\mathrm {in}}_{h}\) and \(\Omega^{\mathrm{ex}}_{h}\) (see Fig. 11). The MEM_{0,0} does not yield convergence in the case of a large overlap between \(\Omega^{\mathrm{in}}_{h}\) and \(\Omega^{\mathrm{ex}}_{h}\).
Our experimental results for MEM_{0,0} are not very surprising. All available convergence assertions assume \(s+t=1\), which leads to the cumbersome integration over cut elements, that we prefer to avoid.
A case study
We present a first case study for the tokamak CFETR. The machine CFETR, the China Fusion Engineering Test Reactor, is a planed device in the road map for the realization of fusion energy in China, that will follow ITER. The geometry of the machine is sketched in Fig. 12. All the following calculations are based on the MEMM discretization (12) of the freeboundary equilibrium problem (2). We use lowest order Lagrangian finite element for \(\mathcal{V}^{\mathrm{ex}}\) and the Bogner–Fox–Schmit finite element for \(\mathcal{V}^{\mathrm{in}} \). In order to create snowflakelike configurations similar to the ones for HL2M in Fig. 7 we introduce two objective functionals for \(\psi^{\mathrm{in}}\in\mathcal{V}^{\mathrm{in}}\):
The objective functional \({C}_{1}\) forces ψ to be constant on the prescribed points \(\mathbf {x}_{1}, \ldots,\mathbf {x}_{N_{\mathrm{desi}}}\). The objective functional \({C}_{2}\) forces ψ to have a stationary point at \(\mathbf {x}_{0}\). Using \({C}_{1}\) alone for the formulation of the optimal control problem (16), is the standard approach to find a certain configuration of plasma currents that give an equilibrium boundary that is close to the prescribed points \(\mathbf {x}_{i}\).
In the following we set \(\mathbf {x}_{0} = (5.42, 4.62)\) and then solve optimal control problems (16) with the objective functional
and regularization functional
for changing values of w. We denote by y is the vector of degrees of freedom of \((\psi^{\mathrm{ex}},\psi^{\mathrm{in}}) \in \mathcal{V}^{\mathrm{ex}} \times\mathcal{V}^{\mathrm{in}}\). The current density profiles (6) use the parameter values \(\alpha= 1\), \(\beta =1.2\), \(\gamma= 1.1\) and \(r_{0}=6.65\). The total plasma current has value \(I_{p} = 11 10^{6} A\). The iteration stops if the relative increments in Algorithm 1 are smaller than \(tol= 10^{11}\). In Fig. 13 we see that for a sufficiently large value of w our approach is capable to create snowflakelike plasma equilibrium configurations.
In a second experiment we fix the weight to \(w=1000\) and run the optimal control problem for varying \(\mathbf {x}_{0}\). The results (see Figs. 14 and 15) show that it is easily possible, to find configurations for a great variety of locations of the lower stationary point. Even though most of these configurations are fairly close to snowflake configurations, we were not able to find exact snowflake configurations with this approach. Nevertheless such configurations are useful as it is common practice to depart from snowflakelike configurations to tune manually coil currents that bring the equilibrium closer to an exact snowflake configuration.
In the spirit of this idea we formulate a second optimal control problem (16) with the objective and regularization functionals
where the reference currents \(I_{\mathrm{ref},i}\) are the \(M=16\) currents from snowflakelike configurations. This formulation penalizes coil currents that deviate largely from the previously computed currents, while forcing at the same time that \(\psi^{\mathrm{in}}\) has a stationary point at \(\mathbf {x}_{0}\). With this, it is possible to find coil currents that merge two different close stationary points, leading to an exact snowflake configuration (see Fig. 16).
Conclusions
Handling the heat where the plasma touches the vessel wall is one of the outstanding challenges for magnetically confined fusion energy research. Indeed, the predicted heat load on the ITER vessel walls will be greater than that on the soil beneath a launching rocket. Current experiments are trying to find magnetic field configurations which can provide the most effective heat load reduction. One of such advanced configurations is the so called snowflake configuration, where the plasma boundary is the flux contourline that passes through a degenerated saddle point of the poloidal flux.
The main control parameters for shaping the contour lines of the poloidal flux, and hence for shaping the form and position of a plasma equilibrium in a tokamak are the currents in the surrounding poloidal field coils. Optimal control formulations combined with finite element methods are an obvious and fairly established mean [3, 20] to determine currents that ensure a certain desired form and position of the plasma. But the low regularity, e.g. lack of welldefined pointwise derivatives, of standard \(H^{1}\)conforming finite elements, seems to be an obstacle to define good objective functions for finding the snowflake configurations characterized by degenerated saddle points.
We therefore, presented here an extension of this approach that combines the optimal control formulation with a mortartype FE method. The mortartype FE method has the advantage that we can introduce higher order regular FE in the places where we have objective functions involving point wise values of flux derivatives. This is achieved in combining FE on Cartesian meshes with FE on triangular meshes.
The examples for the tokamak CFETR approve the viability and flexibility of the presented approach.
Abbreviations
 FE:

finite element
 MEM:

mortar element method
 MEMM:

modified mortar element method
References
 1.
Achdou Y, Maday Y. The mortar element method with overlapping subdomains. SIAM J Numer Anal. 2002;40(2):601–28.
 2.
Albanese R, Blum J, De Barbieri O. On the solution of the magnetic flux equation in an infinite domain. In: Methfessel S, editor. EPS. 8th europhysics conference on computing in plasma physics. Eibsee: European physical society. 1986. p. 41–4.
 3.
Blum J. Numerical simulation and optimal control in plasma physics. GauthierVillars series in modern applied mathematics. Paris: Wiley; 1989.
 4.
Blum J, Le Foll J, Thooris B. The selfconsistent equilibrium and diffusion code SCED. Comput Phys Commun. 1981;24:235–54.
 5.
Bonnans JF, Gilbert JC, Lemaréchal C, Sagastizábal C. Numerical optimization—theoretical and practical aspects. Berlin: Springer; 2006.
 6.
Cai XC, Dryja M, Sarkis M. Overlapping nonmatching grid mortar element methods for elliptic problems. SIAM J Numer Anal. 1999;36(2):581–606.
 7.
Cai XC, Mathew TP, Sarkis MV. Maximum norm analysis of overlapping nonmatching grid discretizations of elliptic equations. SIAM J Numer Anal. 2000;37:1709–28.
 8.
Chesshire G, Henshaw WD. Composite overlapping meshes for the solution of partial differential equations. J Comput Phys. 1990;90(1):1–64.
 9.
Christophe A, Le Bihan Y, Rapetti F. A mortar element approach on overlapping nonnested grids: application to eddy current nondestructive testing. Appl Math Comput. 2015;267:71–82.
 10.
Christophe A, Santandrea L, Rapetti F, Krebs G, Le Bihan Y. An overlapping nonmatching grid mortar element method for Maxwell’s equations. IEEE Trans Magn. 2014;50(2):409–12.
 11.
Faugeras B, Heumann H. FEMBEM coupling methods for Tokamak plasma axisymmetric freeboundary equilibrium computations in unbounded domains. J Comput Phys. 2017;343:201–16.
 12.
Fish J, Belytschko T. Elements with embedded localization zones for large deformation problems. Comput Struct. 1988;30(1):247–56.
 13.
Freidberg JP. Ideal magnetohydrodynamics. New York: Plenum; 1987.
 14.
Gö S. Composite mesh difference methods for elliptic boundary value problems. Numer Math 1977;28:243–58.
 15.
Goedbloed JP, Keppens R, Poedts S. Advanced magnetohydrodynamics: with applications to laboratory and astrophysical plasmas. Cambrige: Cambridge University Press; 2010.
 16.
Goedbloed JP, Poedts S. Principles of magnetohydrodynamics: with applications to laboratory and astrophysical plasmas. Cambridge: Cambridge University Press; 2004.
 17.
Grad H, Rubin H. Hydromagnetic equilibria and forcefree fields. In: Proceedings of the 2nd UN conf. on the peaceful uses of atomic energy. vol. 31. 1958. p. 190–7.
 18.
Grandgirard V. Modélisation de l’équilibre d’un plasma de tokamak. PhD thesis. Université de FrancheComté; 1999.
 19.
Hecht F, Lozinski A, Pironneau O. Numerical zoom and the Schwarz algorithm. In: Bercovier M, Gander MJ, Kornhuber R, Widlund O, editors. Domain decomposition methods in science and engineering XVIII. Lecture notes in computational science and engineering. vol. 70. Berlin: Springer; 2009. p. 3–73.
 20.
Heumann H, Blum J, Boulbe C, Faugeras B, Selig G, Ané JM, Brémond S, Grandgirard V, Hertout P, Nardon E. Quasistatic freeboundary equilibrium of toroidal plasma with CEDRES++: computational methods and applications. J Plasma Phys. 2015;81(6):1–35.
 21.
Heumann H, Rapetti F. A finite element method with overlapping meshes for freeboundary axisymmetric plasma equilibria in realistic geometries. J Comput Phys. 2017;334:522–40.
 22.
Jardin SC. Computational methods in plasma physics. Boca Raton: CRC Press/Taylor & Francis; 2010.
 23.
Kuznetsov YA. Overlapping domain decomposition with nonmatching grids. In: Recent developments in domain decomposition methods and flow problems. GAKUTO int. ser. math. sci. appl. vol. 11. Tokyo: Gakkōtosho; 1998. p. 62–71.
 24.
Lozinski A, Pironneau O. Numerical zoom for advection diffusion problems with localized multiscales. Numer Methods Partial Differ Equ. 2011;27(1):197–207.
 25.
Lüst R, Schlüter A. Axialsymmetrische magnetohydrodynamische Gleichgewichtskonfigurationen. Z Naturforsch A. 1957;12:850–4.
 26.
Luxon JL, Brown BB. Magnetic analysis of noncircular crosssection tokamaks. Nucl Fusion. 1982;22(6):813–21.
 27.
Moret JM, Duval B, Le H, Coda S, Felici F, Reimerdes H. Tokamak equilibrium reconstruction code LIUQE and its real time implementation. Fusion Eng Des. 2015;91:1–15.
 28.
Mote CD Jr. Globallocal finite element. Int J Numer Methods Eng. 1971;3:565–74.
 29.
Parter SV. On the overlapping grid method for elliptic boundary value problems. SIAM J Numer Anal. 1999;36(3):819–52.
 30.
Ryutov DD. Geometrical properties of a “snowflake” divertor. Phys Plasmas. 2007;14(6):064502.
 31.
Ryutov DD, Cohen RH, Rognlien TD, Umansky MV. The magnetic field structure of a snowflake divertor. Phys Plasmas. 2007;15:092501.
 32.
Shafranov VD. On magnetohydrodynamical equilibrium configurations. Sov Phys JETP. 1958;6:545.
 33.
Steger JL, Benek JA. On the use of composite grid schemes in computational aerodynamics. Comput Methods Appl Mech Eng. 1987;64:301–20.
 34.
Truong MD. The mortar element method for the freeboundary toroidal plasma equilibrium problem. Master’s thesis, Erasmus Mundus Joint Master Degree in Mathematical Modeling in Engineering MATHMODS. 2016.
 35.
Wesson J. Tokamaks. The international series of monographs in physics. Oxford: Oxford University Press; 2004.
Acknowledgements
We thank the anonymous reviewers for their valuable input. We also thank JeanCharles Gilbert for the critical comments on Sect. 3.3.
Availability of data and materials
Not applicable.
Funding
Not applicable.
Author information
Affiliations
Contributions
All authors contributed to the writing of the final version of this paper. The main concept of the proposed method was developed by HH, FR contributed with her expertise in high order FEs and mortar element methods and XS provided simulations for CFETR and HL2M. All authors read and approved the final manuscript.
Corresponding author
Correspondence to Francesca Rapetti.
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Heumann, H., Rapetti, F. & Song, X. Finite element methods on composite meshes for tuning plasma equilibria in tokamaks. J.Math.Industry 8, 8 (2018) doi:10.1186/s1336201800507
Received
Accepted
Published
DOI
MSC
 35J60
 65N30
 65N21
Keywords
 Mortar element method
 Thermonuclear fusion
 Optimal control
 Nonlinear elliptic partial differential equations