-
Time-splitting methods for the cold-plasma model using Finite Element Exterior Calculus
Authors:
Elena Moral Sánchez,
Martin Campos Pinto,
Yaman Güçlü,
Omar Maj
Abstract:
In this work we propose a high-order structure-preserving discretization of the cold plasma model which describes the propagation of electromagnetic waves in magnetized plasmas. By utilizing B-Splines Finite Elements Exterior Calculus, we derive a space discretization that preserves the underlying Hamiltonian structure of the model, and we study two stable time-splitting geometrical integrators. W…
▽ More
In this work we propose a high-order structure-preserving discretization of the cold plasma model which describes the propagation of electromagnetic waves in magnetized plasmas. By utilizing B-Splines Finite Elements Exterior Calculus, we derive a space discretization that preserves the underlying Hamiltonian structure of the model, and we study two stable time-splitting geometrical integrators. We approximate an incoming wave boundary condition in such a way that the resulting schemes are compatible with a time-harmonic / transient decomposition of the solution, which allows us to establish their long-time stability. This approach readily applies to curvilinear and complex domains. We perform a numerical study of these schemes which compares their cost and accuracy against a standard Crank-Nicolson time integrator, and we run realistic simulations where the long-term behaviour is assessed using frequency-domain solutions. Our solvers are implemented in the Python library Psydac which makes them memory-efficient, parallel and essentially three-dimensional.
△ Less
Submitted 28 January, 2025;
originally announced January 2025.
-
Computing MHD equilibria of stellarators with a flexible coordinate frame
Authors:
Florian J. Hindenlang,
Gabriel G. Plunk,
Omar Maj
Abstract:
For the representation of axi-symmetric plasma configurations, it is natural to use cyl. coordinates (R,Z,$φ$), where $φ$ is an independent coordinate. The same cyl. coordinates have also been widely used for representing 3D MHD equilibria of non-axisymmetric configurations (stellarators), with cross-sections, defined in RZ-planes, that vary over $φ$. Stellarator equilibria have been found, howeve…
▽ More
For the representation of axi-symmetric plasma configurations, it is natural to use cyl. coordinates (R,Z,$φ$), where $φ$ is an independent coordinate. The same cyl. coordinates have also been widely used for representing 3D MHD equilibria of non-axisymmetric configurations (stellarators), with cross-sections, defined in RZ-planes, that vary over $φ$. Stellarator equilibria have been found, however, for which cyl. coordinates are not at all a natural choice, for instance certain stellarators obtained using the near-axis expansion (NAE), defined by a magn. axis curve and its Frenet frame.
In this contribution, we propose an alternative approach for representing the boundary in a fixed-boundary 3D MHD equil. solver, moving away from cyl. coordinates. Instead, we use planar cross-sections whose orientation is determined by a general coordinate frame (G-Frame). This frame is similar to the conventional Frenet frame, but more flexible. As an additional part of the boundary representation, it becomes an input to the equil. solve, along with the geometry of the cross-sections. We see two advantages: 1) the capability to easily represent configurations where the magn. axis is highly non-planar or even knotted 2) a reduction in the degrees of freedom needed for the boundary surface, and thus the equil. solver, enabling progress in optimization of these configurations.
We discuss the properties of the G-Frame, starting from the conventional Frenet frame. Then we show two exemplary ways of constructing it, first from a NAE solution and also from a given boundary surface. We present the details of the implementation of the new frame in the 3D MHD equil. solver GVEC. Furthermore, we demonstrate for a highly shaped QI-optimized stellarator that far fewer degrees of freedom are necessary to find a high quality equil. solution, compared to the solution computed in cyl. coordinates.
△ Less
Submitted 14 February, 2025; v1 submitted 23 October, 2024;
originally announced October 2024.
-
Uniqueness of the Cauchy datum for the tempered-in-time response and conductivity operator of a plasma
Authors:
Olivier Lafitte,
Omar Maj
Abstract:
We study the linear Vlasov equation with a given electric field $E \in \mathcal{S}$, where $\mathcal{S}$ is the space of Schwartz functions. The associated damped partial differential equation has a unique tempered solution, which fixes the needed Cauchy datum. This tempered solution then converges to the causal solution of the linear Vlasov equation when the damping parameter goes to zero. This r…
▽ More
We study the linear Vlasov equation with a given electric field $E \in \mathcal{S}$, where $\mathcal{S}$ is the space of Schwartz functions. The associated damped partial differential equation has a unique tempered solution, which fixes the needed Cauchy datum. This tempered solution then converges to the causal solution of the linear Vlasov equation when the damping parameter goes to zero. This result allows us to define the plasma conductivity operator $σ$, which gives the current density $j = σ(E)$ induced by the electric field $E$. We prove that $σ$ is continuous from $\mathcal{S}$ to its dual $\mathcal{S}^\prime$. We can treat rigorously the case of uniform non-magnetized non-relativistic plasma (linear Landau damping) and the case of uniform magnetized relativistic plasma (cyclotron damping). In both cases, we demonstrate that the main part of the conductivity operator is a pseudo-differential operator and we give its expression rigorously. This matches the formal results widely used in the theoretical physics community.
△ Less
Submitted 21 December, 2022; v1 submitted 22 May, 2018;
originally announced May 2018.
-
Variational Integrators for Ideal Magnetohydrodynamics
Authors:
Michael Kraus,
Omar Maj
Abstract:
A variational integrator for ideal magnetohydrodynamics is derived by applying a discrete action principle to a formal Lagrangian. Discrete exterior calculus is used for the discretisation of the field variables in order to preserve their geometrical character. The resulting numerical method is free of numerical resistivity, thus the magnetic field line topology is preserved and unphysical reconne…
▽ More
A variational integrator for ideal magnetohydrodynamics is derived by applying a discrete action principle to a formal Lagrangian. Discrete exterior calculus is used for the discretisation of the field variables in order to preserve their geometrical character. The resulting numerical method is free of numerical resistivity, thus the magnetic field line topology is preserved and unphysical reconnection is absent. In 2D numerical examples we find that important conservation laws like total energy, magnetic helicity and cross helicity are satisfied within machine accuracy.
△ Less
Submitted 12 March, 2018; v1 submitted 11 July, 2017;
originally announced July 2017.
-
Variational Integrators for Nonvariational Partial Differential Equations
Authors:
Michael Kraus,
Omar Maj
Abstract:
Variational integrators for Lagrangian dynamical systems provide a systematic way to derive geometric numerical methods. These methods preserve a discrete multisymplectic form as well as momenta associated to symmetries of the Lagrangian via Noether's theorem. An inevitable prerequisite for the derivation of variational integrators is the existence of a variational formulation for the considered p…
▽ More
Variational integrators for Lagrangian dynamical systems provide a systematic way to derive geometric numerical methods. These methods preserve a discrete multisymplectic form as well as momenta associated to symmetries of the Lagrangian via Noether's theorem. An inevitable prerequisite for the derivation of variational integrators is the existence of a variational formulation for the considered problem. Even though for a large class of systems this requirement is fulfilled, there are many interesting examples which do not belong to this class, e.g., equations of advection-diffusion type frequently encountered in fluid dynamics or plasma physics. On the other hand, it is always possible to embed an arbitrary dynamical system into a larger Lagrangian system using the method of formal (or adjoint) Lagrangians. We investigate the application of the variational integrator method to formal Lagrangians, and thereby extend the application domain of variational integrators to include potentially all dynamical systems. The theory is supported by physically relevant examples, such as the advection equation and the vorticity equation, and numerically verified. Remarkably, the integrator for the vorticity equation combines Arakawa's discretisation of the Poisson brackets with a symplectic time stepping scheme in a fully covariant way such that the discrete energy is exactly preserved. In the presentation of the results, we try to make the geometric framework of variational integrators accessible to non specialists.
△ Less
Submitted 19 November, 2015; v1 submitted 5 December, 2014;
originally announced December 2014.
