Time-splitting methods for the cold-plasma model using Finite Element Exterior Calculus
Elena Moral Sánchez, Martin Campos Pinto, Yaman Güçlü and Omar Maj
- arXiv
- 2501.16991v1 · PDF · 28 January 2025
- Categories
- math.NA, cs.NA, physics.comp-ph
- Licence
- CC BY 4.0 The site shows the text.
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. 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.
Items 5
Let {\boldsymbol{\mathsf{W}}}_k be an eigenvector with eigenvalue \lambda_k, then
\begin{aligned}
&\lambda_k {\boldsymbol{\mathsf{W}}}_k^T \mathbb{M} {\boldsymbol{\mathsf{W}}}_k = \left[ \left( \mathbb{I} - (\Delta t/2) (\mathbb{P} + \mathbb{N}) \mathbb{M} \right) {\boldsymbol{\mathsf{W}}}_k \right]^T \mathbb{M} {\boldsymbol{\mathsf{W}}}_k = {\boldsymbol{\mathsf{W}}}_k^T \mathbb{M} {\boldsymbol{\mathsf{W}}}_k - (\Delta t/2) \left[ (\mathbb{P} + \mathbb{N}) \mathbb{M} {\boldsymbol{\mathsf{W}}}_k \right]^T \mathbb{M} {\boldsymbol{\mathsf{W}}}_k\\
&\Rightarrow (1 - \lambda_k) {\boldsymbol{\mathsf{W}}}_k^T \mathbb{M} {\boldsymbol{\mathsf{W}}}_k = (\Delta t/2) \left( \mathbb{N} \mathbb{M} {\boldsymbol{\mathsf{W}}}_k \right)^T \mathbb{M} {\boldsymbol{\mathsf{W}}}_k \le 0 \quad \Rightarrow \lambda_k \ge 1.
\end{aligned}
In particular, \lambda_k \neq 0, thus \mathbb{I} - (\Delta t/2) (\mathbb{P} + \mathbb{N}) \mathbb{M} is invertible.
Assume {\boldsymbol{\mathsf{f}}}={\boldsymbol{\mathsf{0}}}, then {\boldsymbol{\mathsf{U}}}^{n+1} = \mathbb{K} {\boldsymbol{\mathsf{U}}}^n and it holds that
\begin{aligned}
\|\mathbb{K}{\boldsymbol{\mathsf{U}}}^n\|^2_\mathbb{M} - \|{\boldsymbol{\mathsf{U}}}^n\|^2_\mathbb{M} &= ({\boldsymbol{\mathsf{U}}}^{n+1} - {\boldsymbol{\mathsf{U}}}^n)^T \mathbb{M} ({\boldsymbol{\mathsf{U}}}^{n+1} - {\boldsymbol{\mathsf{U}}}^n) = \cfrac{\Delta t}{2} \left [ (\mathbb{P} + \mathbb{N}) \mathbb{M} ({\boldsymbol{\mathsf{U}}}^{n+1} + {\boldsymbol{\mathsf{U}}}^n) \right]^T \mathbb{M} ({\boldsymbol{\mathsf{U}}}^{n+1} - {\boldsymbol{\mathsf{U}}}^n) \\
&= \cfrac{\Delta t}{2} \left [ \mathbb{N} \mathbb{M} ({\boldsymbol{\mathsf{U}}}^{n+1} + {\boldsymbol{\mathsf{U}}}^n) \right]^T \mathbb{M} ({\boldsymbol{\mathsf{U}}}^{n+1} - {\boldsymbol{\mathsf{U}}}^n) \le 0,
\end{aligned}
since \mathbb{P} is skew-symmetric and \mathbb{N} is negative semi-definite.
Source and licence
The text on this page is from arXiv:2501.16991v1 by Elena Moral Sánchez, Martin Campos Pinto, Yaman Güçlü and Omar Maj, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.
The record of each item is in analysis/objects/2501/2501.16991.jsonl.