Showing 1–8 of 8 results for author: Gerner, W

Kernel and image of the Biot-Savart operator and their applications in stellarator designs

Authors: Wadim Gerner

Abstract: We consider the Biot-Savart operator acting on $W^{-\frac{1}{2},2}$ regular, div-free, surface currents $j$ \begin{gather} \nonumber \operatorname{BS}(j)(x)=\frac{1}{4π}\int_Σj(y)\times \frac{x-y}{|x-y|^3}dσ(y)\text{, }x\in Ω\end{gather} where $Σ$ is a connected surface to which $j$ is tangent and where $Ω$ is the finite domain bounded by $Σ$. We answer two questions regarding this operator.… ▽ More We consider the Biot-Savart operator acting on $W^{-\frac{1}{2},2}$ regular, div-free, surface currents $j$ \begin{gather} \nonumber \operatorname{BS}(j)(x)=\frac{1}{4π}\int_Σj(y)\times \frac{x-y}{|x-y|^3}dσ(y)\text{, }x\in Ω\end{gather} where $Σ$ is a connected surface to which $j$ is tangent and where $Ω$ is the finite domain bounded by $Σ$. We answer two questions regarding this operator. i) We provide an algorithm which converges (theoretically) exponentially fast to an element of the kernel of the Biot-Savart operator, as well as characterise the elements of the kernel of the Biot-Savart operator in terms of certain solutions to exterior boundary value problems. This allows one to explicitly exploit the non-uniqueness of the coil reconstruction process in the context of stellarator designs. ii) We provide a simple, concise characterisation of the image of the Biot-Savart operator. This allows to define a 2-step current reconstruction procedure to obtain surface currents which approximate to arbitrary precision a prescribed target magnetic field within the plasma region of a stellarator device. The first step does not require computing integrals involving singular integral kernels of the form $\frac{x-y}{|x-y|^3}$ but may have a potentially slow convergence rate, while the second step requires the computation of integrals involving singular integral kernels but in turn has (theoretically) an exponential convergence rate. This approximation procedure always leads to approximating surface currents which are as poloidal as possible. △ Less

Submitted 5 April, 2025; originally announced April 2025.

Comments: 38 pages, 1 figure, comments welcome!

MSC Class: 31B10; 41A25; 45F15; 45L05; 45Q05; 76W05; 78A30; 78A55

Charged particle motion in a strong magnetic field: Applications to plasma confinement

Authors: Ugo Boscain, Wadim Gerner

Abstract: We derive the zero order approximation of a charged particle under the influence of a strong magnetic field in a mathematically rigorous manner and clarify in which sense this approximation is valid. We use this to further rigorously derive a displacement formula for the pressure of plasma equilibria and compare our findings to results in the physics literature. The main novelty of our results is… ▽ More We derive the zero order approximation of a charged particle under the influence of a strong magnetic field in a mathematically rigorous manner and clarify in which sense this approximation is valid. We use this to further rigorously derive a displacement formula for the pressure of plasma equilibria and compare our findings to results in the physics literature. The main novelty of our results is a qualitative estimate of the confinement time for optimised plasma equilibria with respect to the gyro frequency. These results are of interest in the context of plasma fusion confinement. △ Less

Submitted 17 April, 2025; v1 submitted 5 April, 2025; originally announced April 2025.

Comments: 23 pages. Some additional remarks and an explicit example with a figure have been added. Minor typos were corrected. The main results/conclusions remained unchanged

MSC Class: 34A45; 35Q85; 37N20; 41A25; 76W05; 78A30; 78A35; 78A55

Asymptotic windings, surface helicity and their applications in plasma physics

Authors: Wadim Gerner

Abstract: In [J. Cantarella, J. Parsley, J. Geom. Phys. 60:1127 (2010)] Cantarella and Parsley introduced the notion of submanifold helicity. In the present paper we investigate properties of surface helicity and in particular answer two open questions posed in the aforementioned work: (i) We give a precise mathematically rigorous physical interpretation of surface helicity in terms of linking of distinct f… ▽ More In [J. Cantarella, J. Parsley, J. Geom. Phys. 60:1127 (2010)] Cantarella and Parsley introduced the notion of submanifold helicity. In the present paper we investigate properties of surface helicity and in particular answer two open questions posed in the aforementioned work: (i) We give a precise mathematically rigorous physical interpretation of surface helicity in terms of linking of distinct field lines. (ii) We prove that surface helicity is non-trivial if and only if the underlying surface has non-trivial topology (i.e. at least one hole). We then focus on toroidal surfaces which are of relevance in plasma physics and express surface helicity in terms of average poloidal and toroidal windings of the individual field lines of the underlying vector field which enables us to provide a connection between surface helicity and rotational transform. Further, we show how some of our results may be utilised in the context of coil designs for plasma fusion confinement devices in order to obtain coil configurations of particular "simple" shape. Lastly, we consider the problem of optimising surface helicity among toroidal surfaces of fixed area and show that toroidal surfaces admitting a symmetry constitute global minimisers. △ Less

Submitted 2 August, 2024; v1 submitted 1 August, 2024; originally announced August 2024.

Comments: 37 pages, 5 figures. One citation has been corrected in comparison to version 1. The content of the new version remains otherwise unchanged

MSC Class: 14J81; 37E35; 49Q10; 78A30; 78A55

Properties of the Biot-Savart operator acting on surface currents

Authors: Wadim Gerner

Abstract: We investigate properties of the image and kernel of the Biot-Savart operator in the context of stellarator designs for plasma fusion. We first show that for any given coil winding surface (CWS) the image of the Biot-Savart operator is $L^2$-dense in the space of square-integrable harmonic fields defined on a plasma domain surrounded by the CWS. Then we show that harmonic fields which are harmonic… ▽ More We investigate properties of the image and kernel of the Biot-Savart operator in the context of stellarator designs for plasma fusion. We first show that for any given coil winding surface (CWS) the image of the Biot-Savart operator is $L^2$-dense in the space of square-integrable harmonic fields defined on a plasma domain surrounded by the CWS. Then we show that harmonic fields which are harmonic in a proper neighbourhood of the underlying plasma domain can in fact be approximated in any $C^k$-norm by elements of the image of the Biot-Savart operator. In the second part of this work we establish an explicit isomorphism between the space of harmonic Neumann fields and the kernel of the Biot-Savart operator which in particular implies that the dimension of the kernel of the Biot-Savart operator coincides with the genus of the coil winding surface and hence turns out to be a homotopy invariant among regular domains in $3$-space. Lastly, we provide an iterative scheme which we show converges weakly in $W^{-\frac{1}{2},2}$-topology to elements of the kernel of the Biot-Savart operator. △ Less

Submitted 6 November, 2023; originally announced November 2023.

Comments: 30 pages, 2 figures, comments welcome!

MSC Class: 14J81; 41A35; 55P99; 78A30; 78A46; 78A55

Existence of optimal domains for the helicity maximisation problem among domains satisfying a uniform ball condition

Authors: Wadim Gerner

Abstract: In the present work we present a general framework which guarantees the existence of optimal domains for isoperimetric problems within the class of $C^{1,1}$-regular domains satisfying a uniform ball condition as long as the desired objective function satisfies certain properties. We then verify that the helicity isoperimetric problem studied in [J. Cantarella, D. DeTurck, H. Gluck and M. Teytel,… ▽ More In the present work we present a general framework which guarantees the existence of optimal domains for isoperimetric problems within the class of $C^{1,1}$-regular domains satisfying a uniform ball condition as long as the desired objective function satisfies certain properties. We then verify that the helicity isoperimetric problem studied in [J. Cantarella, D. DeTurck, H. Gluck and M. Teytel, J. Math. Phys. 41, 5615 (2000)] satisfies the conditions of our framework and hence establish the existence of optimal domains within the given class of domains. We additionally use the same framework to prove the existence of optimal domains among uniform $C^{1,1}$-domains for a first curl eigenvalue problem which has been studied recently for other classes of domains in [A. Enciso, W. Gerner and D. Peralta-Salas, Trans. Amer. Math. Soc. 377, 4519-4540 (2024)]. △ Less

Submitted 1 August, 2024; v1 submitted 22 May, 2023; originally announced May 2023.

Comments: 15 pages; A gap in the proof of one of the applications of the main theorem in Corollary 2.7 has been filled. To this end, a more general version of the original Theorem 2.6 has been established in this version. The following article has been accepted by Journal of Mathematical Phyiscs. After it is published, it will be found at https://pubs.aip.org/aip/jmp

MSC Class: 35Q31; 35Q35; 35Q85; 49J35; 49Q10; 76W05

A unique continuation theorem for exterior differential forms on Riemannian manifolds with boundary

Authors: Wadim Gerner

Abstract: Aronszajn, Krzywicki and Szarski proved in \cite{AKS62} a strong unique continuation result for differential forms, satisfying a certain first order differential inequality, on Riemannian manifolds with empty boundary. The present paper extends this result to the setting of Riemannian manifold with non-empty boundary, assuming suitable boundary conditions on the differential forms. We then present… ▽ More Aronszajn, Krzywicki and Szarski proved in \cite{AKS62} a strong unique continuation result for differential forms, satisfying a certain first order differential inequality, on Riemannian manifolds with empty boundary. The present paper extends this result to the setting of Riemannian manifold with non-empty boundary, assuming suitable boundary conditions on the differential forms. We then present some applications of this extended result. Namely, we show that the Hausdorff dimension of the zero set of harmonic Neumann and Dirichlet forms, as well as eigenfields of the curl operator (on $3$-manifolds), has codimension at least $2$. Again, these bounds were known in the setting of manifolds without boundary, so that the merit is once more the inclusion of boundary points. △ Less

Submitted 5 July, 2022; originally announced July 2022.

Comments: 9 pages, comments welcome!

MSC Class: 35B05; 35B60; 35Q31; 35Q35; 35Q85; 76W05

Typical field lines of Beltrami flows and boundary field line behaviour of Beltrami flows on simply connected, compact, smooth manifolds with boundary

Authors: Wadim Gerner

Abstract: We characterise the boundary field line behaviour of Beltrami flows on compact, connected manifolds with vanishing first de Rham cohomology group. Namely we show that except for an at most nowhere dense subset of the boundary, on which the Beltrami field may vanish, all other field lines at the boundary are smoothly embedded $1$-manifolds diffeomorphic to $\mathbb{R}$, which approach the zero set… ▽ More We characterise the boundary field line behaviour of Beltrami flows on compact, connected manifolds with vanishing first de Rham cohomology group. Namely we show that except for an at most nowhere dense subset of the boundary, on which the Beltrami field may vanish, all other field lines at the boundary are smoothly embedded $1$-manifolds diffeomorphic to $\mathbb{R}$, which approach the zero set as time goes to $\pm \infty$. We then drop the assumptions of compactness and vanishing de Rham cohomology and prove that for almost every point on the given manifold, the field line passing through the point is either a non-constant, periodic orbit or a non-periodic orbit which comes arbitrarily close to the starting point as time goes to $\pm \infty$. During the course of the proof we will in particular show that the set of points at which a Beltrami field vanishes in the interior of the manifold is countably $1$-rectifiable in the sense of Federer and hence in particular has a Hausdorff dimension of at most $1$. As a consequence we conclude that for every eigenfield of the curl operator, corresponding to a non-zero eigenvalue, there always exists exactly one nodal domain. △ Less

Submitted 8 June, 2020; v1 submitted 13 May, 2020; originally announced May 2020.

Comments: 17 pages, Relaxed the smoothness assumption of the proportionality function in Proposition 2.8 (Proposition 2.9 in the new version), A discussion about related work of Christian Bär, regarding the Hausdorff dimension of the zero set, was added (which was kindly pointed out to me)

MSC Class: 35Q31; 35Q35; 35Q85; 37C10; 37E35; 37B20; 53Z05; 58K45; 60B05; 76W05

Journal ref: Ann. Global Anal. Geom. 60 (2021), 65-82

Existence and characterisation of magnetic energy minimisers on oriented, compact Riemannian 3-manifolds with boundary in arbitrary helicity classes

Authors: Wadim Gerner

Abstract: In this paper we deal with the existence, regularity and Beltrami field property of magnetic energy minimisers under a helicity constraint. We in particular tackle the problem of characterising local as well as global minimisers of the given minimisation problem. Further we generalise Arnold's results concerning the problem of finding the minimum magnetic energy in an orbit of the group of volume-… ▽ More In this paper we deal with the existence, regularity and Beltrami field property of magnetic energy minimisers under a helicity constraint. We in particular tackle the problem of characterising local as well as global minimisers of the given minimisation problem. Further we generalise Arnold's results concerning the problem of finding the minimum magnetic energy in an orbit of the group of volume-preserving diffeomorphisms to the setting of abstract manifolds with boundary. △ Less

Submitted 24 January, 2020; v1 submitted 12 July, 2019; originally announced July 2019.

Comments: 20 pages, proof of proposition 4.4 was corrected

MSC Class: 53Z05; 53C80; 76W05

Journal ref: Ann. Global Anal. Geom. 58 (2020), no. 3, 267-285