SearcharxivSearch

arXiv subjects

Katharina Kormann

Publications and source records attributed to Katharina Kormann.

At least 19 recordsLinked to original sources

A Comparison of Active Flux Methods for the Vlasov-Poisson System

Active Flux is a third-order accurate, fairly novel finite volume method for hyperbolic conservation laws that is becoming increasingly popular. It evolves additional nodal degrees of freedom (DOF) located on cell interfaces and shared by neighboring cells. The numerical fluxes are then computed from these DOFs. A crucial component of Active Flux methods is the evolution operator of the point values, which enables the natural use of semi-Lagrangian ideas and makes Active Flux an attractive candidate for a grid-based approach to the Vlasov equation. Here, we compare two recently proposed Active Flux methods for the 1D1V Vlasov-Poisson system: a split-step method and an unsplit method.

math.NA

Positivity-preserving dynamical low-rank methods for the Vlasov equation

In this manuscript, we introduce positivity-preserving correction methods for low-rank approximations of the Vlasov equation. The key idea is to formulate structural properties, including positivity-preservation, as constraints and to seek a minimal correction term that is added to the low-rank solution, by solving a quadratic programming problem. As a result, the corrected solution satisfies the constraints and preserve these properties, while remaining close to the original low-rank solution. Two positivity-preserving schemes are proposed in this work, and one of them also preserves the total mass and momentum of the system. We apply the proposed methods to a Vlasov--Poisson and Vlasov--Poisson-BGK employing a spectral discretization in space and an explicit Runge--Kutta scheme in time. Numerical experiments demonstrate the effectiveness of the proposed methods.

math.NA

A Discontinuous Galerkin Consistent Splitting Method for the Incompressible Navier-Stokes Equations

This work presents the discontinuous Galerkin discretization of the consistent splitting scheme proposed by Liu [J. Liu, J. Comp. Phys., 228(19), 2009]. The method enforces the divergence-free constraint implicitly, removing velocity--pressure compatibility conditions and eliminating pressure boundary layers. Consistent boundary conditions are imposed, also for settings with open and traction boundaries. Hence, accuracy in time is no longer limited by a splitting error. The symmetric interior penalty Galerkin method is used for second spatial derivatives. The convective term is treated in a semi-implicit manner, which relaxes the CFL restriction of explicit schemes while avoiding the need to solve nonlinear systems required by fully implicit formulations. For improved mass conservation, Leray projection is combined with divergence and normal continuity penalty terms. By selecting appropriate fluxes for both the divergence of the velocity field and the divergence of the convective operator, the consistent pressure boundary condition can be shown to reduce to contributions arising solely from the acceleration and the viscous term for the $L^2$ discretization. Per time step, the decoupled nature of the scheme with respect to the velocity and pressure fields leads to a single pressure Poisson equation followed by a single vector-valued convection-diffusion-reaction equation. We verify optimal convergence rates of the method in both space and time and demonstrate compatibility with higher-order time integration schemes. A series of numerical experiments, including the two-dimensional flow around a cylinder benchmark and the three-dimensional Taylor--Green vortex problem, verify the applicability to practically relevant flow problems.

math.NA

Exact moment models for conservation laws in phase space

Moment equations offer a compelling alternative to the kinetic description of plasmas, gases, and liquids. Their simulation requires fewer degrees of freedom than phase space models, yet it can still incorporate kinetic effects to a certain extent. To derive moment equations, we use a parameterization of the distribution function using centered moments, as proposed by Burby. This yields moment equations for which the parameterized distribution function exactly solves the hyperbolic conservation law. Similarly, a particle model is derived based on a parametrization of the distribution function using phase space moments. Finally, we present the application of the method to the non-relativistic and relativistic Vlasov--Maxwell equations.

physics.plasm-ph

A dual grid geometric electromagnetic particle in cell method

Geometric particle-in-cell discretizations have been derived based on a discretization of the fields that is conforming with the de Rham structure of the Maxwell's equation and a standard particle-in-cell ansatz for the fields by deriving the equations of motion from a discrete action principle. While earlier work has focused on finite element discretization of the fields based on the theory of Finite Element Exterior Calculus, we propose in this article an alternative formulation of the field equations that is based on the ideas conveyed by mimetic finite differences. The needed duality being expressed by the use of staggered grids. We construct a finite difference formulation based on degrees of freedom defined as point values, edge, face and volume integrals on a primal and its dual grid. Compared to the finite element formulation no mass matrix inversion is involved in the formulation of the Maxwell solver. In numerical experiments, we verify the conservation properties of the novel method and study the influence of the various parameters in the discretization.

math.NA

Synthetic Turbulence via an Instanton Gas Approximation

Sampling synthetic turbulent fields as a computationally tractable surrogate for direct numerical simulations (DNS) is an important practical problem in various applications, and allows to test our physical understanding of the main features of real turbulent flows. Reproducing higher-order Eulerian correlation functions, as well as Lagrangian particle statistics, requires an accurate representation of coherent structures of the flow in the synthetic turbulent fields. To this end, we propose in this paper a systematic coherent-structure based method for sampling synthetic random fields, based on a superposition of instanton configurations - an instanton gas - from the field-theoretic formulation of turbulence. We discuss sampling strategies for ensembles of instantons, both with and without interactions and including Gaussian fluctuations around them. The resulting Eulerian and Lagrangian statistics are evaluated numerically and compared against DNS results, as well as Gaussian and log-normal cascade models that lack coherent structures. The instanton gas approach is illustrated via the example of one-dimensional Burgers turbulence throughout this paper, and we show that already a canonical ensemble of non-interacting instantons without fluctuations reproduces DNS statistics very well. Finally, we outline extensions of the method to higher dimensions, in particular to magnetohydrodynamic turbulence for future applications to cosmic ray propagation.

physics.flu-dyn

Structure-preserving finite element approximations of a hybrid relativistic cold fluid-particle model

We derive mixed finite element discretizations of a cold relativistics fluid model from approximations of the Poisson bracket that preserve mass, energy and the divergence constraints. For time-discretization we derive an implicit energy-conserving average-vector field method or apply an explicit strong-stability preserving Runge-Kutta scheme. We also consider a coupling of the fluid model to relativistic particles. We perform a numerical study of the scheme which shows convergence and conservation properties of the proposed methods and apply the new scheme to a plasma wake field simulation.

math.NA

Restarting the Numerical Flow Iteration through low rank tensor approximations

The numerical flow iteration method has recently been proposed as a memory-slim solution method for the Vlasov--Poisson system. It stores the temporal evolution of the electric field and reconstructs the solution in each time step by following the characteristics backwards in time and reconstructing the solution from the initial distribution. If the number of time steps gets large, the computational cost of this reconstruction may get prohibitive. Given a representation of the intermediate solution, the time intervals over which the characteristic curves need to be solved backwards in time can be reduced by restarting the Numerical Flow Iteration (NuFI) after certain time intervals. In this paper, we propose an algorithm that reconstructs a low-rank representation of the solution at the restart times using a randomized singular value decomposition (RSVD) algorithm with lazy evaluation. The proposed algorithm reduces the computational complexity compared to the pure Numerical Flow Iteration from quadratic to linear in the number of times step while still keeping its memory complexity. On the other hand, our numerical results demonstrate that the methods preserves the property of the Numerical Flow Iteration of showing much less dissipation of filaments compared to the semi-Lagrangian method.

math.NA

Optimal Landau-type closure parameters for two-fluid simulations of plasma turbulence at kinetic scales

Two fluid simulations using local Landau-fluid closures derived from linear theory provide an efficient computational framework for plasma modelling, since they bridge the gap between computationally intensive kinetic simulations and fluid descriptions. Their accuracy in representing kinetic effects depends critically on the validity of the linear approximation used in the derivation: the plasma should not be too far from local thermodynamic equilibrium, LTE. However, many of the problems where these models are of particular interest (such as plasma turbulence and instabilities) are in fact quite far from LTE. The question then arises, if kinetic scale processes are still sufficiently well captured outside of the theoretical regime of applicability of the closure. In this paper, we show that two fluid simulations with Landau fluid closures can effectively reproduce the energy spectra obtained with fully kinetic Vlasov simulations, used as references, as long as the local closure parameter is appropriately chosen. Our findings validate the usage of two fluid simulations with Landau-fluid closure as a possible alternative to fully kinetic simulations of turbulence, in cases where being able to simulate extremely large domains is of particular interest.

physics.plasm-ph

A structure-preserving finite element framework for the Vlasov-Maxwell system

We present a stabilized, structure-preserving finite element framework for solving the Vlasov-Maxwell equations. The method uses a tensor product of continuous polynomial spaces for the spatial and velocity domains, respectively, to discretize the Vlasov equation, combined with curl- and divergence-conforming Nédélec and Raviart-Thomas elements for Maxwell's equations on Cartesian grids. A novel, robust, consistent, and high-order accurate residual-based artificial viscosity method is introduced for stabilizing the Vlasov equations. The proposed method is tested on the 1D2V and 2D2V reduced Vlasov-Maxwell system, achieving optimal convergence orders for all polynomial spaces considered in this study. Several challenging benchmarks are solved to validate the effectiveness of the proposed method.

math.NA

A review of low-rank methods for time-dependent kinetic simulations

Time-dependent kinetic models are ubiquitous in computational science and engineering. The underlying integro-differential equations in these models are high-dimensional, comprised of a six--dimensional phase space, making simulations of such phenomena extremely expensive. In this article we demonstrate that in many situations, the solution to kinetics problems lives on a low dimensional manifold that can be described by a low-rank matrix or tensor approximation. We then review the recent development of so-called low-rank methods that evolve the solution on this manifold. The two classes of methods we review are the dynamical low-rank (DLR) method, which derives differential equations for the low-rank factors, and a Step-and-Truncate (SAT) approach, which projects the solution onto the low-rank representation after each time step. Thorough discussions of time integrators, tensor decompositions, and method properties such as structure preservation and computational efficiency are included. We further show examples of low-rank methods as applied to particle transport and plasma dynamics.

math.NA

A geometric Particle-In-Cell discretization of the drift-kinetic and fully kinetic Vlasov-Maxwell equations

In this paper, we extend the geometric Particle in Cell framework on dual grids to a gauge-free drift-kinetic Vlasov--Maxwell model and its coupling with the fully kinetic model. We derive a discrete action principle on dual grids for our drift-kinetic model, such that the dynamical system involves only the electric and magnetic fields and not the potentials as most drift-kinetic and gyrokinetic models do. This yields a macroscopic Maxwell equation including polarization and magnetization terms that can be coupled straightforwardly with a fully kinetic model.

physics.plasm-ph

Performance evaluation of mixed-precision Runge-Kutta methods for the solution of partial differential equations

This work focuses on the numerical study of a recently published class of Runge-Kutta methods designed for mixed-precision arithmetic. We employ the methods in solving partial differential equations on modern hardware. In particular we investigate what speedups are achievable by the use of mixed precision and the dependence of the methods algorithmic compatibility with the computational hardware. We use state-of-the-art software, utilizing the Ginkgo library, which is designed to incorporate mixed precision arithmetic, and perform numerical tests of 3D problems on both GPU and CPU architectures. We show that significant speedups can be achieved but that performance depends on solver parameters and performance of software kernels.

math.NA

A split-step Active Flux method for the Vlasov-Poisson system

Active Flux is a modified Finite Volume method that evolves additional Degrees of Freedom for each cell that are located on the interface by a non-conservative method to compute high-order approximations to the numerical fluxes through the respective interface to evolve the cell-average in a conservative way. In this paper, we apply the method to the Vlasov-Poisson system describing the time evolution of the time-dependent distribution function of a collisionless plasma. In particular, we consider the evaluation of the flux integrals in higher dimensions. We propose a dimensional splitting and three types of formulations of the flux integral: a one-dimensional reconstruction of second order, a third-order reconstruction based on information along each dimension, and a third-order reconstruction based on a discrepancy formulation of the Active Flux method. Numerical results in 1D1V phase-space compare the properties of the various methods.

math.NA

Convergence of splitting methods on rotating grids for the magnetized Vlasov equation

Semi-Lagrangian solvers for the Vlasov system offer noiseless solutions compared to Lagrangian particle methods and can handle larger time steps compared to Eulerian methods. In order to reduce the computational complexity of the interpolation steps, it is common to use a directional splitting. However, this typically yields the wrong angular velocity. In this paper, we analyze a semi-Lagrangian method that treats the $v \times B$ term with a rotational grid and combines this with a directional splitting for the remaining terms. We analyze the convergence properties of the scheme both analytically and numerically. The favorable numerical properties of the rotating grid solution are demonstrated for the case of ion Bernstein waves.

math.NA

Simulation of ion temperature gradient driven modes with 6D kinetic Vlasov code

With the increase in computational capabilities over the last years it becomes possible to simulate more and more complex and accurate physical models. Gyrokinetic theory has been introduced in the 1960s and 1970s in the need of describing a plasma with more accurate models than fluid equations, but eliminating the complexity of the fast gyration about the magnetic field lines. Although results from current gyrokinetic computer simulations are in fair agreement with experimental results in core physics, crucial assumptions made in the derivation make it unreliable in regimes of higher fluctuations and stronger gradient, such as the tokamak edge. With our novel optimized and scalable semi-Lagrangian solver we are able to simulate ion-temperature gradient modes with the 6D kinetic model including the turbulent saturation. After thoroughly testing our simulation code against analytical computations and gyrokinetic simulations (with the gyrokinetic code GYRO), it has been possible to show first plasma properties that go beyond standard gyrokinetic simulations. This includes the explicit description of the complete perpendicular energy fluxes and the excitation of high frequency waves (around the Larmor frequency) in the nonlinear saturation phase.

physics.plasm-ph

A performance portable implementation of the semi-Lagrangian algorithm in six dimensions

In this paper, we describe our approach to develop a simulation software application for the fully kinetic Vlasov equation which will be used to explore physics beyond the gyrokinetic model. Simulating the fully kinetic Vlasov equation requires efficient utilization of compute and storage capabilities due to the high dimensionality of the problem. In addition, the implementation needs to be extensibility regarding the physical model and flexible regarding the hardware for production runs. We start on the algorithmic background to simulate the 6-D Vlasov equation using a semi-Lagrangian algorithm. The performance portable software stack, which enables production runs on pure CPU as well as AMD or Nvidia GPU accelerated nodes, is presented. The extensibility of our implementation is guaranteed through the described software architecture of the main kernel, which achieves a memory bandwidth of almost 500 GB/s on a V100 Nvidia GPU and around 100 GB/s on an Intel Xeon Gold CPU using a single code base. We provide performance data on multiple node level architectures discussing utilized and further available hardware capabilities. Finally, the network communication bottleneck of 6-D grid based algorithms is quantified. A verification of physics beyond gyrokinetic theory for the example of ion Bernstein waves concludes the work.

physics.comp-ph

A mass-conserving sparse grid combination technique with biorthogonal hierarchical basis functions for kinetic simulations

The exact numerical simulation of plasma turbulence is one of the assets and challenges in fusion research. For grid-based solvers, sufficiently fine resolutions are often unattainable due to the curse of dimensionality. The sparse grid combination technique provides the means to alleviate the curse of dimensionality for kinetic simulations. However, the hierarchical representation for the combination step with the state-of-the-art hat functions suffers from poor conservation properties and numerical instability. The present work introduces two new variants of hierarchical multiscale basis functions for use with the combination technique: the biorthogonal and full weighting bases. The new basis functions conserve the total mass and are shown to significantly increase accuracy for a finite-volume solution of constant advection. Further numerical experiments based on the combination technique applied to a semi-Lagrangian Vlasov--Poisson solver show a stabilizing effect of the new bases on the simulations.

physics.comp-ph