1 Introduction

The Tokamak is a type of fusion reactor and a method for building these reactors. It is a station that uses a strong magnetic field to confine the hot plasma in the shape of a torus (see Fig. 1). This method works by raising the temperature of the plasma to the point of nuclear fusion. Since the plasma has a very high temperature, it must be separated and removed and made not to touch the components of the reactor, otherwise it will be destroyed and this will cause it to cool and interrupt the fusion reaction. In reactors based on the Tokamak method, the plasma is made to float in the middle of the reactor without touching any of its parts by means of magnets that keep the plasma in a circular path.

Figure 1
figure 1

Tokamak [1]

This method is still being researched and experimented and has not reached the stage of economic exploitation, yet. In the future, the goal is to produce energy using this technique. The main problem to reach high performance is to construct the plasma magnetic equilibrium domain. This problem has been investigated in [24] using parametric optimization or control theory. A new idea using the topological gradient technique is considered in [513]. This technique consists in reconstructing the plasma domain by inserting some holes inside a fixed initial one. The position and form of these holes are characterized by an asymptotic expansion of a considered cost function.

The paper is organized as follows. In the next section, we present the model describing the plasma equilibrium and the formulation of the studied problem. Section 3 is devoted to the plasma reconstruction technique using the topological gradient method. In Sect. 4, the plasma reconstruction algorithm is described and some numerical results are presented.

2 Formulation of the problem

Consider the two-dimensional domain Ω representing the vacuum vessel containing a plasma domain \(\Omega _{p}\) and \(\Omega _{v} = \Omega \backslash \overline{\Omega _{p}}\). The plasma equilibrium solves in \(\Omega _{v}\) the equation \(\mathcal{G}\phi =0\), where \(\mathcal{G}=-\frac{\partial }{\partial r}( \frac{1}{r}\frac{\partial }{\partial r})- \frac{\partial }{\partial z}(\frac{1}{r} \frac{\partial }{\partial z})\) is the Grad–Shafranov operator and ϕ is the poloidal flux (see [14]).

We aim to determine the location of \(\Gamma _{p}\), the boundary of \(\Omega _{p}\), from over-specified boundary data on \(\Gamma =\partial \Omega \). In this inverse problem, ϕ satisfies

$$ \textstyle\begin{cases} \mathcal{G}\phi =0 & \text{in } \Omega _{v}, \\ \frac{1}{r} \frac{\partial \phi }{\partial n}=\Phi & \text{on } \Gamma , \\ \phi =\phi _{m} & \text{on } \Gamma , \\ \phi =0 & \text{on } \Gamma _{p}. \end{cases} $$
(1)

We remark that since \(\Gamma _{p}\) is unknown also \(\Omega _{v}\) is unknown, which makes the problem ill posed in the sense of Hadamard.

In order to determine the location of the unknown plasma boundary \(\Gamma _{p}\), we propose the following formulation for the considered inverse problem:

Knowing the magnetic field Φ and the poloidal flux \(\phi _{m}\) on the boundary Γ, the idea consists in identifying the unknown plasma boundary \(\Gamma _{p}=\partial \Omega _{p}\) where \(\Omega _{P}\subset \Omega \) is the optimal solution of the topological optimization problem

$$ \min_{D\subset \Omega }T(\Omega \backslash \overline{D}). $$
(2)

Here T is the boundary tracking function defined by

$$ T(\Omega \backslash \overline{D})= \int _{\Gamma } \vert \phi _{D}-\phi _{m} \vert ^{2} \,\mathrm{d}s $$
(3)

with \(\phi _{D}\) being the solution to

$$ \textstyle\begin{cases} \mathcal{G} \phi _{D}=0 & \text{in } \Omega \backslash \overline{D}, \\ \frac{1}{r} \frac{\partial \phi _{D}}{\partial n}=\Phi & \text{on } \Gamma , \\ \phi _{D}=0 & \text{on } \partial D. \end{cases} $$
(4)

To solve problem (2), we use the topological gradient method. It corresponds to developing an asymptotic expansion of the function T as

$$ T (\Omega \backslash \overline{\chi _{z,\varepsilon }}) - T(\Omega ) = f( \varepsilon ) \delta T(z) + o \bigl(f(\varepsilon )\bigr), $$

where \(f(\varepsilon )>0\) with \(\lim_{\varepsilon \rightarrow 0}f(\varepsilon )=0\) and \(\chi _{z,\varepsilon }\) is a geometric perturbation created near the point \(z=(z_{1},z_{2})\in \Omega \) having a small size \(\varepsilon >0\) (chosen in such a way that \(\chi _{z,\varepsilon }\subset \Omega \)) and the shape \(\chi _{z,\varepsilon }= z + \varepsilon \chi \) with \(\chi \subset \mathbb{R}^{2}\) is a given, regular, and bounded domain containing the origin.

Further, δT is called the topological gradient and the minimum of T is obtained when δT is the most negative.

Using this technique, the optimal design of the unknown plasma \(\Omega _{P}\) is constructed using a level set curve of the scalar function δT, namely

$$ \Omega _{P} = \{ x \in \Omega \text{ such that } \delta T \le c \} , $$

where c is a negative constant, chosen in such a way that the shape function T decreases as most as possible.

3 Plasma reconstruction technique

Using the axisymmetric configuration and a horizontal cut, the first formulation can be rewritten as follows: find the unknown domain \(\Omega _{p}\) occupied by the plasma as the optimal solution to the optimization problem (2), where \(\phi _{D}\) is solution to the anisotropic system

$$\begin{aligned} \textstyle\begin{cases} -\operatorname{div} (\gamma (x) \nabla \phi _{D})=0 & \text{in } \Omega \backslash \overline{D}, \\ \gamma (x)\nabla \phi _{D} \cdot {\mathbf{n }}=\Phi & \text{on } \Gamma , \\ \phi _{D} =0 & \text{on } \partial D, \end{cases}\displaystyle \end{aligned}$$

with γ being a scalar positive function defined by

$$ \gamma (x)= \frac{1}{ \vert x_{1} \vert },\quad \forall x=(x_{1},x_{2}) \in \Omega \backslash \overline{D}. $$

In the presence of the perturbation \(\chi _{z,\varepsilon }\), we have

$$ T(\Omega \backslash \overline{\chi _{z,\varepsilon }})= \int _{\Gamma } \vert \phi _{\varepsilon }-\phi _{m} \vert ^{2}\,\mathrm{d}s $$

where \(\phi _{\varepsilon }\) is the solution to

$$\begin{aligned} \textstyle\begin{cases} -\operatorname{div} (\gamma (x) \nabla \phi _{\varepsilon })=0 & \text{in } \Omega _{z,\varepsilon }, \\ \gamma (x)\nabla \phi _{\varepsilon }.{\mathbf{n }}=\Phi & \text{on } \Gamma , \\ \phi _{\varepsilon }=0 & \text{on } \partial \chi _{z,\varepsilon }, \end{cases}\displaystyle \end{aligned}$$
(5)

with \(\Omega _{z,\varepsilon }\) being the perturbed domain defined by \(\Omega _{z,\varepsilon }=\Omega \backslash \overline{\chi _{z,\varepsilon }}\).

One can establish the following asymptotic expansion for the shape function T (see [15]).

Theorem 1

The shape function T admits the following asymptotic expansion:

$$\begin{aligned} T(\Omega \backslash \overline{\chi _{z,\varepsilon }})-T(\Omega )= \frac{-1}{\log (\varepsilon )} \delta T(z) + o\biggl( \frac{-1}{\log (\varepsilon )}\biggr), \end{aligned}$$

where δT is the topological gradient given by

$$ \delta T(z)= 2\pi \gamma (z) \phi _{0}(z) \varphi _{0}(z), \quad z \in \Omega , $$

with \(\phi _{0}(z)\) being the solution to problem (5) for \(\varepsilon =0\) and \(\varphi _{0}\) the solution of the associated adjoint problem.

4 Numerical tests

For the numerical tests, we consider two cases of computational domain Ω. The unknown plasma boundary is defined by the level set curve of the topological gradient

$$ \delta T(x_{1},x_{2})= \frac{2\pi }{x_{1}} \phi _{0}(x_{1},x_{2}) \varphi _{0}(x_{1},x_{2}),\quad \forall (x_{1},x_{2})\in \Omega . $$
(6)

4.1 Plasma reconstruction algorithm

The main steps of our numerical algorithm are the following.

The reconstruction algorithm

  • Solve the direct and adjoint problems in Ω,

  • Compute the topological gradient δT defined in (6),

  • Determine the plasma location

    $$ \Omega _{P}= \bigl\{ (x_{1},x_{2})\in \Omega ; \delta T(x_{1},x_{2}) \leq (1-\varepsilon ) \delta T_{\min }< 0 \bigr\} , $$

    where \(\delta T_{\min }=\min_{(x,y)\in \Omega }\delta T(x_{1},x_{2})\) and \(\varepsilon \in {]0,1[}\) is chosen in such a way that the function T decreases as much as possible.

Next, we apply this reconstruction procedure for two numerical tests.

4.2 First test

In this case we have used the following data:

  • The vacuum vessel region is defined by the disc \(\Omega =B(\mathcal{C}_{1},1)\), with \(\mathcal{C}_{1}=(2,0)\).

  • The exact plasma domain is defined by the disc \(\Omega ^{ex}_{P}=B(\mathcal{C}_{2},0.2)\), with \(\mathcal{C}_{2}=(3/2,0)\).

  • The Dirichlet and Neumann boundary data are given by

    $$\begin{aligned}& \phi _{m}(x,y)=\frac{4-x-y}{x}\sin (0.5+x+y), \quad (x,y)\in \Gamma , \\& \Phi (x,y)= \frac{1}{x} \frac{\partial \phi _{m}}{\partial n}(x,y),\quad (x,y)\in \Gamma . \end{aligned}$$

In Fig. 2, we present the obtained isovalues of the solution \(\phi _{0}\).

Figure 2
figure 2

Isovalues of \(\phi _{0}\)

The isovalues of the topological gradient δT are described in Fig. 3.

Figure 3
figure 3

Isovalues of the topological gradient δT

To evaluate the accuracy of our approach, we introduce the following error function which defines the Hausdorff distance between the exact \(\Omega ^{ex}_{P}\) and obtained \(\Omega _{P}^{\varepsilon }\) plasma domain

$$ er(\varepsilon )= \frac{\operatorname{mes}(\Omega ^{ex}_{P}\cup \Omega _{P}^{\varepsilon })-\operatorname{mes}(\Omega _{P}^{\varepsilon }\cap \Omega ^{ex}_{P})}{\operatorname{mes}(\Omega ^{ex}_{P})} $$

with

$$ \Omega _{P}^{\varepsilon }= \bigl\{ X\in \Omega ; \delta T(X) < (1- \varepsilon ) \delta T_{\min } \bigr\} . $$

The variation of the error function er is illustrated in Fig. 4. As one can see in Fig. 4, the optimal choice of the parameter ε is \(\varepsilon =0.88\). In this test, we identify the plasma domain \(\Omega ^{ex}_{P}\).

Figure 4
figure 4

Variation of the error function er

4.3 Second test

In this case we have used the following data:

  • \(\Omega =[\frac{\pi }{3},\frac{2\pi }{3}]\times [0, \frac{\pi }{3}]\).

  • \(\Omega ^{ex}_{P}=B(\mathcal{C}_{2},0.2)\), with \(\mathcal{C}_{2}=(\frac{\pi }{2},\frac{\pi }{6})\).

  • The Dirichlet and Neumann boundary data are given by

    $$\begin{aligned}& \phi _{m}(x,y)=2 e^{x} \cos (y)-e^{y}\sin (x)-1.75, (x,y)\in \Gamma , \\& \Phi (x,y)= \frac{1}{x} \frac{\partial \phi _{m}}{\partial n}(x,y), (x,y)\in \Gamma . \end{aligned}$$

The result of this test are described in Figs. 5, 6, and 7. In Fig. 5, we plot the isovalues of the solution \(\phi _{0}\).

Figure 5
figure 5

Isovalues of \(\phi _{0}\)

Figure 6
figure 6

Isovalues of the topological gradient δT

Figure 7
figure 7

Variation of the error function er

Figure 6 describes the isovalues of the topological gradient δT. The variation of the error function er describing the Hausdorff distance between the exact \(\Omega ^{ex}_{P}\) and obtained \(\Omega ^{\varepsilon }_{P}\) plasma domain is illustrated in Fig. 7. The optimal choice of the parameter ε corresponds to \(\varepsilon =0.82\).

We remark that the plasma domain \(\Omega ^{ex}_{P}\) has been well identified in one iteration.