-
A Particle-in-cell Method for Plasmas with a Generalized Momentum Formulation, Part II: Enforcing the Lorenz Gauge Condition
Authors:
Andrew J. Christlieb,
William A. Sands,
Stephen White
Abstract:
In a previous paper, we developed a new particle-in-cell method for the Vlasov-Maxwell system in which the electromagnetic fields and the equations of motion for the particles were cast in terms of scalar and vector potentials through a Hamiltonian formulation. This paper extends this new class of methods by focusing on the enforcement the Lorenz gauge condition in both exact and approximate forms…
▽ More
In a previous paper, we developed a new particle-in-cell method for the Vlasov-Maxwell system in which the electromagnetic fields and the equations of motion for the particles were cast in terms of scalar and vector potentials through a Hamiltonian formulation. This paper extends this new class of methods by focusing on the enforcement the Lorenz gauge condition in both exact and approximate forms using co-located meshes. A time-consistency property of the proposed field solver for the vector potential form of Maxwell's equations is established, which is shown to preserve the equivalence between the semi-discrete Lorenz gauge condition and the analogous semi-discrete continuity equation. Using this property, we present three methods to enforce a semi-discrete gauge condition. The first method introduces an update for the continuity equation that is consistent with the discretization of the Lorenz gauge condition. The second approach we propose enforces a semi-discrete continuity equation using the boundary integral solution to the field equations. The third approach introduces a gauge correcting method that makes direct use of the gauge condition to modify the scalar potential and uses local maps for both the charge and current densities. The vector potential coming from the current density is taken to be exact, and using the Lorenz gauge, we compute a correction to the scalar potential that makes the two potentials satisfy the gauge condition. We demonstrate two of the proposed methods in the context of periodic domains. Problems defined on bounded domains, including those with complex geometric features remain an ongoing effort. However, this work shows that it is possible to design computationally efficient methods that can effectively enforce the Lorenz gauge condition in an non-staggered PIC formulation.
△ Less
Submitted 16 January, 2024;
originally announced January 2024.
-
Hyperbolic Machine Learning Moment Closures for the BGK Equations
Authors:
Andrew J. Christlieb,
Mingchang Ding,
Juntao Huang,
Nicholas A. Krupansky
Abstract:
We introduce a hyperbolic closure for the Grad moment expansion of the Bhatnagar-Gross-Krook's (BGK) kinetic model using a neural network (NN) trained on BGK's moment data. This closure is motivated by the exact closure for the free streaming limit that we derived in our paper on closures in transport \cite{Huang2022-RTE1}. The exact closure relates the gradient of the highest moment to the gradie…
▽ More
We introduce a hyperbolic closure for the Grad moment expansion of the Bhatnagar-Gross-Krook's (BGK) kinetic model using a neural network (NN) trained on BGK's moment data. This closure is motivated by the exact closure for the free streaming limit that we derived in our paper on closures in transport \cite{Huang2022-RTE1}. The exact closure relates the gradient of the highest moment to the gradient of four lower moments. As with our past work, the model presented here learns the gradient of the highest moment in terms of the coefficients of gradients for all lower ones. By necessity, this means that the resulting hyperbolic system is not conservative in the highest moment. For stability, the output layers of the NN are designed to enforce hyperbolicity and Galilean invariance. This ensures the model can be run outside of the training window of the NN. Unlike our previous work on radiation transport that dealt with linear models, the BGK model's nonlinearity demanded advanced training tools. These comprised an optimal learning rate discovery, one cycle training, batch normalization in each neural layer, and the use of the \texttt{AdamW} optimizer. To address the non-conservative structure of the hyperbolic model, we adopt the FORCE numerical method to achieve robust solutions. This results in a comprehensive computing model combining learned closures with methods for solving hyperbolic models. The proposed model can capture accurate moment solutions across a broad spectrum of Knudsen numbers. Our paper details the multi-scale model construction and is run on a range of test problems.
△ Less
Submitted 9 January, 2024;
originally announced January 2024.
-
On the rotational invariance and hyperbolicity of shallow water moment equations in two dimensions
Authors:
Matthew Bauerle,
Andrew J. Christlieb,
Mingchang Ding,
Juntao Huang
Abstract:
In this paper, we investigate the two-dimensional extension of a recently introduced set of shallow water models based on a regularized moment expansion of the incompressible Navier-Stokes equations \cite{kowalski2017moment,koellermeier2020analysis}. We show the rotational invariance of the proposed moment models with two different approaches. The first proof involves the split of the coefficient…
▽ More
In this paper, we investigate the two-dimensional extension of a recently introduced set of shallow water models based on a regularized moment expansion of the incompressible Navier-Stokes equations \cite{kowalski2017moment,koellermeier2020analysis}. We show the rotational invariance of the proposed moment models with two different approaches. The first proof involves the split of the coefficient matrix into the conservative and non-conservative parts and prove the rotational invariance for each part, while the second one relies on the special block structure of the coefficient matrices. With the aid of rotational invariance, the analysis of the hyperbolicity for the moment model in 2D is reduced to the real diagonalizability of the coefficient matrix in 1D. Then we prove the real diagonalizability by deriving the analytical form of the characteristic polynomial. Furthermore, we extend the model to include a more general class of closure relations than the original model and establish that this set of general closure relations retain both rotational invariance and hyperbolicity.
△ Less
Submitted 12 June, 2023;
originally announced June 2023.
-
A Particle-in-cell Method for Plasmas with a Generalized Momentum Formulation, Part I: Model Formulation
Authors:
Andrew J. Christlieb,
William A. Sands,
Stephen White
Abstract:
This paper formulates a new particle-in-cell method for the Vlasov-Maxwell system. Under the Lorenz gauge condition, Maxwell's equations for the electromagnetic fields can be written as a collection of scalar and vector wave equations. The use of potentials for the fields motivates the adoption of a Hamiltonian formulation for particles that employs the generalized momentum. The resulting updates…
▽ More
This paper formulates a new particle-in-cell method for the Vlasov-Maxwell system. Under the Lorenz gauge condition, Maxwell's equations for the electromagnetic fields can be written as a collection of scalar and vector wave equations. The use of potentials for the fields motivates the adoption of a Hamiltonian formulation for particles that employs the generalized momentum. The resulting updates for particles require only knowledge of the fields and their spatial derivatives. An analytical method for constructing these spatial derivatives is presented that exploits the underlying integral solution used in the field solver for the wave equations. Moreover, these derivatives are shown to converge at the same rate as the fields in the both time and space. The field solver we consider in this work is first-order accurate in time and fifth-order accurate in space and belongs to a larger class of methods which are unconditionally stable, can address geometry, and leverage fast summation methods for efficiency. We demonstrate the method on several well-established benchmark problems, and the efficacy of the proposed formulation is demonstrated through a comparison with standard methods presented in the literature. The new method shows mesh-independent numerical heating properties even in cases where the plasma Debye length is close to the grid spacing. The use of high-order spatial approximations in the new method means that fewer grid points are required in order to achieve a fixed accuracy. Our results also suggest that the new method can be used with fewer simulation particles per cell compared to standard explicit methods, which permits further computational savings.
△ Less
Submitted 16 January, 2024; v1 submitted 24 August, 2022;
originally announced August 2022.
-
Machine learning moment closure models for the radiative transfer equation III: enforcing hyperbolicity and physical characteristic speeds
Authors:
Juntao Huang,
Yingda Cheng,
Andrew J. Christlieb,
Luke F. Roberts
Abstract:
This is the third paper in a series in which we develop machine learning (ML) moment closure models for the radiative transfer equation (RTE). In our previous work \cite{huang2021gradient}, we proposed an approach to learn the gradient of the unclosed high order moment, which performs much better than learning the moment itself and the conventional $P_N$ closure. However, while the ML moment closu…
▽ More
This is the third paper in a series in which we develop machine learning (ML) moment closure models for the radiative transfer equation (RTE). In our previous work \cite{huang2021gradient}, we proposed an approach to learn the gradient of the unclosed high order moment, which performs much better than learning the moment itself and the conventional $P_N$ closure. However, while the ML moment closure has better accuracy, it is not able to guarantee hyperbolicity and has issues with long time stability. In our second paper \cite{huang2021hyperbolic}, we identified a symmetrizer which leads to conditions that enforce that the gradient based ML closure is symmetrizable hyperbolic and stable over long time. The limitation of this approach is that in practice the highest moment can only be related to four, or fewer, lower moments.
In this paper, we propose a new method to enforce the hyperbolicity of the ML closure model. Motivated by the observation that the coefficient matrix of the closure system is a lower Hessenberg matrix, we relate its eigenvalues to the roots of an associated polynomial. We design two new neural network architectures based on this relation. The ML closure model resulting from the first neural network is weakly hyperbolic and guarantees the physical characteristic speeds, i.e., the eigenvalues are bounded by the speed of light. The second model is strictly hyperbolic and does not guarantee the boundedness of the eigenvalues. Several benchmark tests including the Gaussian source problem and the two-material problem show the good accuracy, stability and generalizability of our hyperbolic ML closure model.
△ Less
Submitted 2 September, 2021;
originally announced September 2021.
-
Machine learning moment closure models for the radiative transfer equation II: enforcing global hyperbolicity in gradient based closures
Authors:
Juntao Huang,
Yingda Cheng,
Andrew J. Christlieb,
Luke F. Roberts,
Wen-An Yong
Abstract:
This is the second paper in a series in which we develop machine learning (ML) moment closure models for the radiative transfer equation (RTE). In our previous work \cite{huang2021gradient}, we proposed an approach to directly learn the gradient of the unclosed high order moment, which performs much better than learning the moment itself and the conventional $P_N$ closure. However, the ML moment c…
▽ More
This is the second paper in a series in which we develop machine learning (ML) moment closure models for the radiative transfer equation (RTE). In our previous work \cite{huang2021gradient}, we proposed an approach to directly learn the gradient of the unclosed high order moment, which performs much better than learning the moment itself and the conventional $P_N$ closure. However, the ML moment closure model in \cite{huang2021gradient} is not able to guarantee hyperbolicity and long time stability. We propose in this paper a method to enforce the global hyperbolicity of the ML closure model. The main idea is to seek a symmetrizer (a symmetric positive definite matrix) for the closure system, and derive constraints such that the system is globally symmetrizable hyperbolic. It is shown that the new ML closure system inherits the dissipativeness of the RTE and preserves the correct diffusion limit as the Knunsden number goes to zero. Several benchmark tests including the Gaussian source problem and the two-material problem show the good accuracy, long time stability and generalizability of our globally hyperbolic ML closure model.
△ Less
Submitted 29 May, 2021;
originally announced May 2021.
-
Machine learning moment closure models for the radiative transfer equation I: directly learning a gradient based closure
Authors:
Juntao Huang,
Yingda Cheng,
Andrew J. Christlieb,
Luke F. Roberts
Abstract:
In this paper, we take a data-driven approach and apply machine learning to the moment closure problem for radiative transfer equation in slab geometry. Instead of learning the unclosed high order moment, we propose to directly learn the gradient of the high order moment using neural networks. This new approach is consistent with the exact closure we derive for the free streaming limit and also pr…
▽ More
In this paper, we take a data-driven approach and apply machine learning to the moment closure problem for radiative transfer equation in slab geometry. Instead of learning the unclosed high order moment, we propose to directly learn the gradient of the high order moment using neural networks. This new approach is consistent with the exact closure we derive for the free streaming limit and also provides a natural output normalization. A variety of benchmark tests, including the variable scattering problem, the Gaussian source problem with both periodic and reflecting boundaries, and the two-material problem, show both good accuracy and generalizability of our machine learning closure model.
△ Less
Submitted 3 January, 2022; v1 submitted 12 May, 2021;
originally announced May 2021.
-
Parallel Scaling of the Regionally-Implicit Discontinuous Galerkin Method with Quasi-Quadrature-Free Matrix Assembly
Authors:
Andrew J. Christlieb,
Pierson T. Guthrey,
James A. Rossmanith
Abstract:
In this work we investigate the parallel scalability of the numerical method developed in Guthrey and Rossmanith [The regionally implicit discontinuous Galerkin method: Improving the stability of DG-FEM, SIAM J. Numer. Anal. (2019)]. We develop an implementation of the regionally-implicit discontinuous Galerkin (RIDG) method in DoGPack, which is an open source C++ software package for discontinuou…
▽ More
In this work we investigate the parallel scalability of the numerical method developed in Guthrey and Rossmanith [The regionally implicit discontinuous Galerkin method: Improving the stability of DG-FEM, SIAM J. Numer. Anal. (2019)]. We develop an implementation of the regionally-implicit discontinuous Galerkin (RIDG) method in DoGPack, which is an open source C++ software package for discontinuous Galerkin methods. Specifically, we develop and test a hybrid OpenMP and MPI parallelized implementation of DoGPack with the goal of exploring the efficiency and scalability of RIDG in comparison to the popular strong stability-preserving Runge-Kutta discontinuous Galerkin (SSP-RKDG) method. We demonstrate that RIDG methods are able to hide communication latency associated with distributed memory parallelism, due to the fact that almost all of the work involved in the method is highly localized to each element, producing a localized prediction for each region. We demonstrate the enhanced efficiency and scalability of the of the RIDG method and compare it to SSP-RKDG methods and show extensibility to very high order schemes. The two-dimensional scaling study is performed on machines at the Institute for Cyber-Enabled Research at Michigan State University, using up to 1440 total cores on Intel(R) Xeon(R) Gold 6148 CPU @ 2.40GHz CPUs. The three dimensional scaling study is performed on Livermore Computing clusters at at Lawrence Livermore National Laboratory, using up to 28672 total cores on Intel Xeon CLX-8276L CPUs with Omni-Path interconnects.
△ Less
Submitted 20 February, 2021; v1 submitted 4 January, 2021;
originally announced January 2021.
-
Parallel Algorithms for Successive Convolution
Authors:
Andrew J. Christlieb,
Pierson T. Guthrey,
William A. Sands,
Mathialakan Thavappiragasm
Abstract:
In this work, we consider alternative discretizations for PDEs which use expansions involving integral operators to approximate spatial derivatives. These constructions use explicit information within the integral terms, but treat boundary data implicitly, which contributes to the overall speed of the method. This approach is provably unconditionally stable for linear problems and stability has be…
▽ More
In this work, we consider alternative discretizations for PDEs which use expansions involving integral operators to approximate spatial derivatives. These constructions use explicit information within the integral terms, but treat boundary data implicitly, which contributes to the overall speed of the method. This approach is provably unconditionally stable for linear problems and stability has been demonstrated experimentally for nonlinear problems. Additionally, it is matrix-free in the sense that it is not necessary to invert linear systems and iteration is not required for nonlinear terms. Moreover, the scheme employs a fast summation algorithm that yields a method with a computational complexity of $\mathcal{O}(N)$, where $N$ is the number of mesh points along a direction. While much work has been done to explore the theory behind these methods, their practicality in large scale computing environments is a largely unexplored topic. In this work, we explore the performance of these methods by develo** a domain decomposition algorithm suitable for distributed memory systems along with shared memory algorithms. As a first pass, we derive an artificial CFL condition that enforces a nearest-neighbor communication pattern and briefly discuss possible generalizations. We also analyze several approaches for implementing the parallel algorithms by optimizing predominant loop structures and maximizing data reuse. Using a hybrid design that employs MPI and Kokkos for the distributed and shared memory components of the algorithms, respectively, we show that our methods are efficient and can sustain an update rate $> 1\times10^8$ DOF/node/s. We provide results that demonstrate the scalability and versatility of our algorithms using several different PDE test problems, including a nonlinear example, which employs an adaptive time-step** rule.
△ Less
Submitted 22 July, 2020; v1 submitted 6 July, 2020;
originally announced July 2020.
-
A high-order finite difference WENO scheme for ideal magnetohydrodynamics on curvilinear meshes
Authors:
Andrew J. Christlieb,
Xiao Feng,
Yan Jiang,
Qi Tang
Abstract:
A high-order finite difference numerical scheme is developed for the ideal magnetohydrodynamic equations based on an alternative flux formulation of the weighted essentially non-oscillatory (WENO) scheme. It computes a high-order numerical flux by a Taylor expansion in space, with the lowest-order term solved from a Riemann solver and the higher-order terms constructed from physical fluxes by limi…
▽ More
A high-order finite difference numerical scheme is developed for the ideal magnetohydrodynamic equations based on an alternative flux formulation of the weighted essentially non-oscillatory (WENO) scheme. It computes a high-order numerical flux by a Taylor expansion in space, with the lowest-order term solved from a Riemann solver and the higher-order terms constructed from physical fluxes by limited central differences. The scheme coupled with several Riemann solvers, including a Lax-Friedrichs solver and HLL-type solvers, is developed on general curvilinear meshes in two dimensions and verified on a number of benchmark problems. In particular, a HLLD solver on Cartesian meshes is extended to curvilinear meshes with proper modifications. A numerical boundary condition for the perfect electrical conductor (PEC) boundary is derived for general geometry and verified through a bow shock flow. Numerical results also confirm the advantages of using low dissipative Riemann solvers in the current framework.
△ Less
Submitted 9 July, 2018; v1 submitted 20 November, 2017;
originally announced November 2017.
-
An Asymptotic Preserving Maxwell Solver Resulting in the Darwin Limit of Electrodynamics
Authors:
Yingda Cheng,
Andrew J. Christlieb,
Wei Guo,
Benjamin Ong
Abstract:
In plasma simulations, where the speed of light divided by a characteristic length is at a much higher frequency than other relevant parameters in the underlying system, such as the plasma frequency, implicit methods begin to play an important role in generating efficient solutions in these multi-scale problems. Under conditions of scale separation, one can rescale Maxwell's equations in such a wa…
▽ More
In plasma simulations, where the speed of light divided by a characteristic length is at a much higher frequency than other relevant parameters in the underlying system, such as the plasma frequency, implicit methods begin to play an important role in generating efficient solutions in these multi-scale problems. Under conditions of scale separation, one can rescale Maxwell's equations in such a way as to give a magneto static limit known as the Darwin approximation of electromagnetics. In this work, we present a new approach to solve Maxwell's equations based on a Method of Lines Transpose (MOL$^T$) formulation, combined with a fast summation method with computational complexity $O(N\log{N})$, where $N$ is the number of grid points (particles). Under appropriate scaling, we show that the proposed schemes result in asymptotic preserving methods that can recover the Darwin limit of electrodynamics.
△ Less
Submitted 28 June, 2016;
originally announced June 2016.
-
A high-order positivity-preserving single-stage single-step method for the ideal magnetohydrodynamic equations
Authors:
Andrew J. Christlieb,
Xiao Feng,
David C. Seal,
Qi Tang
Abstract:
We propose a high-order finite difference weighted ENO (WENO) method for the ideal magnetohydrodynamics (MHD) equations. The proposed method is single-stage, single-step, maintains a discrete divergence-free condition on the magnetic field, and has the capacity to preserve the positivity of the density and pressure. To accomplish this, we use a Taylor discretization of the Picard integral formulat…
▽ More
We propose a high-order finite difference weighted ENO (WENO) method for the ideal magnetohydrodynamics (MHD) equations. The proposed method is single-stage, single-step, maintains a discrete divergence-free condition on the magnetic field, and has the capacity to preserve the positivity of the density and pressure. To accomplish this, we use a Taylor discretization of the Picard integral formulation (PIF) of the finite difference WENO method proposed in [SINUM, 53 (2015), pp. 1833--1856], where the focus is on a high-order discretization of the fluxes (as opposed to the conserved variables). We use the version where fluxes are expanded to third-order accuracy in time, and for the fluid variables space is discretized using the classical fifth-order finite difference WENO discretization. We use constrained transport in order to obtain divergence-free magnetic fields, which means that we simultaneously evolve the magnetohydrodynamic and magnetic potential equations, and set the magnetic field to be the (discrete) curl of the magnetic potential after each time step. In this work, we compute these curls to fourth-order accuracy. In order to retain a single-stage, single-step method, we develop a novel Lax-Wendroff discretization for the evolution of the magnetic potential, where we start with technology used for Hamilton-Jacobi equations in order to construct a non-oscillatory magnetic field. Positivity preservation is realized by introducing a parameterized flux limiter that considers a linear combination of high and low-order numerical fluxes. This positivity limiter lacks energy conservation. However, this limiter can be dropped for problems where the pressure does not become negative. We present two and three dimensional numerical results for several standard test problems. These results assert the robustness and verify the high-order of accuracy of the proposed scheme.
△ Less
Submitted 26 March, 2016; v1 submitted 30 September, 2015;
originally announced September 2015.
-
Method of lines transpose: High order L-stable O(N) schemes for parabolic equations using successive convolution
Authors:
Matthew F. Causley,
Hana Cho,
Andrew J. Christlieb,
David C. Seal
Abstract:
We present a new solver for nonlinear parabolic problems that is L-stable and achieves high order accuracy in space and time. The solver is built by first constructing a single-dimensional heat equation solver that uses fast O(N) convolution. This fundamental solver has arbitrary order of accuracy in space, and is based on the use of the Green's function to invert a modified Helmholtz equation. Hi…
▽ More
We present a new solver for nonlinear parabolic problems that is L-stable and achieves high order accuracy in space and time. The solver is built by first constructing a single-dimensional heat equation solver that uses fast O(N) convolution. This fundamental solver has arbitrary order of accuracy in space, and is based on the use of the Green's function to invert a modified Helmholtz equation. Higher orders of accuracy in time are then constructed through a novel technique known as successive convolution (or resolvent expansions). These resolvent expansions facilitate our proofs of stability and convergence, and permit us to construct schemes that have provable stiff decay. The multi-dimensional solver is built by repeated application of dimensionally split independent fundamental solvers. Finally, we solve nonlinear parabolic problems by using the integrating factor method, where we apply the basic scheme to invert linear terms (that look like a heat equation), and make use of Hermite-Birkhoff interpolants to integrate the remaining nonlinear terms. Our solver is applied to several linear and nonlinear equations including heat, Allen-Cahn, and the Fitzhugh-Nagumo system of equations in one and two dimensions.
△ Less
Submitted 17 January, 2016; v1 submitted 12 August, 2015;
originally announced August 2015.
-
An explicit high-order single-stage single-step positivity-preserving finite difference WENO method for the compressible Euler equations
Authors:
David C. Seal,
Qi Tang,
Zhengfu Xu,
Andrew J. Christlieb
Abstract:
In this work we construct a high-order, single-stage, single-step positivity-preserving method for the compressible Euler equations. Space is discretized with the finite difference weighted essentially non-oscillatory (WENO) method. Time is discretized through a Lax-Wendroff procedure that is constructed from the Picard integral formulation (PIF) of the partial differential equation. The method ca…
▽ More
In this work we construct a high-order, single-stage, single-step positivity-preserving method for the compressible Euler equations. Space is discretized with the finite difference weighted essentially non-oscillatory (WENO) method. Time is discretized through a Lax-Wendroff procedure that is constructed from the Picard integral formulation (PIF) of the partial differential equation. The method can be viewed as a modified flux approach, where a linear combination of a low- and high-order flux defines the numerical flux used for a single-step update. The coefficients of the linear combination are constructed by solving a simple optimization problem at each time step. The high-order flux itself is constructed through the use of Taylor series and the Cauchy-Kowalewski procedure that incorporates higher-order terms. Numerical results in one- and two-dimensions are presented.
△ Less
Submitted 30 October, 2015; v1 submitted 2 November, 2014;
originally announced November 2014.
-
High order operator splitting methods based on an integral deferred correction framework
Authors:
Andrew J. Christlieb,
Yuan Liu,
Zhengfu Xu
Abstract:
Integral deferred correction (IDC) methods have been shown to be an efficient way to achieve arbitrary high order accuracy and possess good stability properties. In this paper, we construct high order operator splitting schemes using the IDC procedure to solve initial value problems (IVPs). We present analysis to show that the IDC methods can correct for both the splitting and numerical errors, li…
▽ More
Integral deferred correction (IDC) methods have been shown to be an efficient way to achieve arbitrary high order accuracy and possess good stability properties. In this paper, we construct high order operator splitting schemes using the IDC procedure to solve initial value problems (IVPs). We present analysis to show that the IDC methods can correct for both the splitting and numerical errors, lifting the order of accuracy by $r$ with each correction, where $r$ is the order of accuracy of the method used to solve the correction equation. We further apply this framework to solve partial differential equations (PDEs). Numerical examples in two dimensions of linear and nonlinear initial-boundary value problems are presented to demonstrate the performance of the proposed IDC approach.
△ Less
Submitted 3 July, 2014;
originally announced July 2014.
-
Positivity-Preserving Finite Difference WENO Schemes with Constrained Transport for Ideal Magnetohydrodynamic Equations
Authors:
Andrew J. Christlieb,
Yuan Liu,
Qi Tang,
Zhengfu Xu
Abstract:
In this paper, we utilize the maximum-principle-preserving flux limiting technique, originally designed for high order weighted essentially non-oscillatory (WENO) methods for scalar hyperbolic conservation laws, to develop a class of high order positivity-preserving finite difference WENO methods for the ideal magnetohydrodynamic (MHD) equations. Our schemes, under the constrained transport (CT) f…
▽ More
In this paper, we utilize the maximum-principle-preserving flux limiting technique, originally designed for high order weighted essentially non-oscillatory (WENO) methods for scalar hyperbolic conservation laws, to develop a class of high order positivity-preserving finite difference WENO methods for the ideal magnetohydrodynamic (MHD) equations. Our schemes, under the constrained transport (CT) framework, can achieve high order accuracy, a discrete divergence-free condition and positivity of the numerical solution simultaneously. Numerical examples in 1D, 2D and 3D are provided to demonstrate the performance of the proposed method.
△ Less
Submitted 13 January, 2015; v1 submitted 19 June, 2014;
originally announced June 2014.
-
Numerical Study of the Two-Species Vlasov-Ampère System: Energy-Conserving Schemes and the Current-Driven Ion-Acoustic Instability
Authors:
Yingda Cheng,
Andrew J. Christlieb,
Xinghui Zhong
Abstract:
In this paper, we propose energy-conserving Eulerian solvers for the two-species Vlasov-Ampère (VA) system and apply the methods to simulate current-driven ion-acoustic instability. The algorithm is generalized from our previous work for the single-species VA system and Vlasov-Maxwell (VM) system. The main feature of the schemes is their ability to preserve the total particle number and total ener…
▽ More
In this paper, we propose energy-conserving Eulerian solvers for the two-species Vlasov-Ampère (VA) system and apply the methods to simulate current-driven ion-acoustic instability. The algorithm is generalized from our previous work for the single-species VA system and Vlasov-Maxwell (VM) system. The main feature of the schemes is their ability to preserve the total particle number and total energy on the fully discrete level regardless of mesh size. Those are desired properties of numerical schemes especially for long time simulations with under-resolved mesh. The conservation is realized by explicit and implicit energy-conserving temporal discretizations, and the discontinuous Galerkin (DG) spatial discretizations. We benchmarked our algorithms on a test example to check the one-species limit, and the current-driven ion-acoustic instability. To simulate the current-driven ion-acoustic instability, a slight modification for the implicit method is necessary to fully decouple the split equations. This is achieved by a Gauss-Seidel type iteration technique. Numerical results verified the conservation and performance of our methods.
△ Less
Submitted 10 April, 2014;
originally announced April 2014.
-
Pressure-Driven Evaporative Cooling in Atom Guides
Authors:
Spencer E. Olson,
Georg Raithel,
Andrew J. Christlieb
Abstract:
We study steady-state evaporation in an atom guide via Monte Carlo simulations. The evaporation surface follows a specific profile as a function of longitudinal guide location. We demonstrate that the choice of evaporation profile significantly impacts the performance of the evaporation. Our simulations also demonstrate a significant performance boost in the evaporation when using a longitudinally…
▽ More
We study steady-state evaporation in an atom guide via Monte Carlo simulations. The evaporation surface follows a specific profile as a function of longitudinal guide location. We demonstrate that the choice of evaporation profile significantly impacts the performance of the evaporation. Our simulations also demonstrate a significant performance boost in the evaporation when using a longitudinally compressed guide. We show that for a purely pressure-driven atom beam, it should be possible to reach degeneracy within a $0.5~\m$ guide for experimentally feasible, albeit challenging, loading conditions.
△ Less
Submitted 4 April, 2014;
originally announced April 2014.
-
The Picard integral formulation of weighted essentially non-oscillatory schemes
Authors:
David C. Seal,
Yaman Güçlü,
Andrew J. Christlieb
Abstract:
High-order temporal discretizations for hyperbolic conservation laws have historically been formulated as either a method of lines (MOL) or a Lax-Wendroff method. In the MOL viewpoint, the partial differential equation is treated as a large system of ordinary differential equations (ODEs), where an ODE tailored time-integrator is applied. In contrast, Lax-Wendroff discretizations immediately conve…
▽ More
High-order temporal discretizations for hyperbolic conservation laws have historically been formulated as either a method of lines (MOL) or a Lax-Wendroff method. In the MOL viewpoint, the partial differential equation is treated as a large system of ordinary differential equations (ODEs), where an ODE tailored time-integrator is applied. In contrast, Lax-Wendroff discretizations immediately convert Taylor series in time to discrete spatial derivatives. In this work, we propose the Picard integral formulation (PIF), which is based on the method of modified fluxes, and is used to derive new Taylor and Runge-Kutta (RK) methods. In particular, we construct a new class of conservative finite difference methods by applying WENO reconstructions to the so-called
"time-averaged" fluxes. Our schemes are automatically conservative under any modification of the fluxes, which is attributed to the fact that classical WENO reconstructions conserve mass when coupled with forward Euler time steps. The proposed Lax-Wendroff discretization is constructed by taking Taylor series of the flux function as opposed to Taylor series of the conserved variables. The RK discretization differs from classical MOL formulations because we apply WENO reconstructions to time-averaged fluxes rather than taking linear combinations of spatial derivatives of the flux. In both cases, we only need one projection onto the characteristic variables per time step. The PIF is generic, and lends itself to a multitude of options for further investigation. At present, we present two canonical examples: one based on Taylor, and the other based on the classical RK method. Stability analyses are presented for each method. The proposed schemes are applied to hyperbolic conservation laws in one- and two-dimensions and the results are in good agreement with current state of the art methods.
△ Less
Submitted 29 August, 2014; v1 submitted 5 March, 2014;
originally announced March 2014.
-
Energy-conserving Discontinuous Galerkin Methods for the Vlasov-Maxwell System
Authors:
Yingda Cheng,
Andrew J. Christlieb,
Xinghui Zhong
Abstract:
In this paper, we generalize the idea in our previous work for the Vlasov-Ampère (VA) system \cite{cheng_va} and develop energy-conserving discontinuous Galerkin (DG) methods for the Vlasov-Maxwell (VM) system. The VM system is a fundamental model in the simulation of collisionless magnetized plasmas. Compared to \cite{cheng_va}, additional care needs to be taken for both the temporal and spatial…
▽ More
In this paper, we generalize the idea in our previous work for the Vlasov-Ampère (VA) system \cite{cheng_va} and develop energy-conserving discontinuous Galerkin (DG) methods for the Vlasov-Maxwell (VM) system. The VM system is a fundamental model in the simulation of collisionless magnetized plasmas. Compared to \cite{cheng_va}, additional care needs to be taken for both the temporal and spatial discretizations to achieve similar type of conservation when the magnetic field is no longer negligible. Our proposed schemes conserve the total particle number and the total energy at the same time, and therefore can obtain accurate, yet physically relevant solutions. The main components of our methods include second order and above, explicit or implicit energy-conserving temporal discretizations, and DG methods for Vlasov and Maxwell's equations with carefully chosen numerical fluxes. Benchmark numerical tests such as the streaming Weibel instability are provided to validate the accuracy and conservation of the schemes.
△ Less
Submitted 24 July, 2014; v1 submitted 31 January, 2014;
originally announced February 2014.
-
Arbitrarily high order Convected Scheme solution of the Vlasov-Poisson system
Authors:
Yaman Güçlü,
Andrew J. Christlieb,
William N. G. Hitchon
Abstract:
The Convected Scheme (CS) is a `forward-trajectory' semi-Lagrangian method for solution of transport equations, which has been most often applied to the kinetic description of plasmas and rarefied neutral gases. In its simplest form, the CS propagates the solution by advecting the `moving cells' along their characteristic trajectories, and by remap** them on the mesh at the end of the time step.…
▽ More
The Convected Scheme (CS) is a `forward-trajectory' semi-Lagrangian method for solution of transport equations, which has been most often applied to the kinetic description of plasmas and rarefied neutral gases. In its simplest form, the CS propagates the solution by advecting the `moving cells' along their characteristic trajectories, and by remap** them on the mesh at the end of the time step. The CS is conservative, positivity preserving, simple to implement, and not subject to time step restriction to maintain stability. Recently [Y. Güçlü and W.N.G. Hitchon, 2012] a new methodology was introduced for reducing numerical diffusion, based on a modified equation analysis: the remap** error was compensated by applying small corrections to the final position of the moving cells prior to remap**. While the spatial accuracy was increased from 2nd to 4th order, the new scheme retained the important properties of the original method, and was shown to be simple and efficient for constant advection problems. Here the CS is applied to the solution of the Vlasov-Poisson system: the Vlasov equation is split into two constant advection equations, one in configuration space and one in velocity space, and high order time accuracy is achieved by proper composition of the operators. The splitting procedure enables us to use the constant advection solver, which we extend to arbitrarily high order of accuracy: a new improved procedure is given, which makes the calculation of the corrections straightforward. Focusing on periodic domains, we describe a spectrally accurate scheme based on the fast Fourier transform; the proposed implementation is strictly conservative and positivity preserving. The ability to correctly reproduce the system dynamics, as well as resolving small-scale features in the solution, is shown in classical 1D-1V test cases, both in the linear and the non-linear regimes.
△ Less
Submitted 30 March, 2014; v1 submitted 20 November, 2013;
originally announced November 2013.
-
Revisionist Integral Deferred Correction with Adaptive Stepsize Control
Authors:
Andrew J. Christlieb,
Colin B. Macdonald,
Benjamin W. Ong,
Raymond J. Spiteri
Abstract:
Adaptive stepsize control is a critical feature for the robust and efficient numerical solution of initial-value problems in ordinary differential equations. In this paper, we show that adaptive stepsize control can be incorporated within a family of parallel time integrators known as Revisionist Integral Deferred Correction (RIDC) methods. The RIDC framework allows for various strategies to imple…
▽ More
Adaptive stepsize control is a critical feature for the robust and efficient numerical solution of initial-value problems in ordinary differential equations. In this paper, we show that adaptive stepsize control can be incorporated within a family of parallel time integrators known as Revisionist Integral Deferred Correction (RIDC) methods. The RIDC framework allows for various strategies to implement stepsize control, and we report results from exploring a few of them.
△ Less
Submitted 14 August, 2014; v1 submitted 23 October, 2013;
originally announced October 2013.
-
Finite Difference Weighted Essentially Non-Oscillatory Schemes with Constrained Transport for Ideal Magnetohydrodynamics
Authors:
Andrew J. Christlieb,
James A. Rossmanith,
Qi Tang
Abstract:
In this work we develop a class of high-order finite difference weighted essentially non-oscillatory (FD-WENO) schemes for solving the ideal magnetohydrodynamic (MHD) equations in 2D and 3D. The philosophy of this work is to use efficient high-order WENO spatial discretizations with high-order strong stability-preserving Runge-Kutta (SSP-RK) time-step** schemes. Numerical results have shown that…
▽ More
In this work we develop a class of high-order finite difference weighted essentially non-oscillatory (FD-WENO) schemes for solving the ideal magnetohydrodynamic (MHD) equations in 2D and 3D. The philosophy of this work is to use efficient high-order WENO spatial discretizations with high-order strong stability-preserving Runge-Kutta (SSP-RK) time-step** schemes. Numerical results have shown that with such methods we are able to resolve solution structures that are only visible at much higher grid resolutions with lower-order schemes. The key challenge in applying such methods to ideal MHD is to control divergence errors in the magnetic field. We achieve this by augmenting the base scheme with a novel high-order constrained transport approach that updates the magnetic vector potential. The predicted magnetic field from the base scheme is replaced by a divergence-free magnetic field that is obtained from the curl of this magnetic potential. The non-conservative weakly hyperbolic system that the magnetic vector potential satisfies is solved using a version of FD-WENO developed for Hamilton-Jacobi equations. The resulting numerical method is endowed with several important properties: (1) all quantities, including all components of the magnetic field and magnetic potential, are treated as point values on the same mesh (i.e., there is no mesh staggering); (2) both the spatial and temporal orders of accuracy are fourth-order; (3) no spatial integration or multidimensional reconstructions are needed in any step; and (4) special limiters in the magnetic vector potential update are used to control unphysical oscillations in the magnetic field. Several 2D and 3D numerical examples are presented to verify the order of accuracy on smooth test problems and to show high-resolution on test problems that involve shocks.
△ Less
Submitted 4 March, 2014; v1 submitted 12 September, 2013;
originally announced September 2013.
-
Higher order A-stable schemes for the wave equation using a recursive convolution approach
Authors:
Matthew F. Causley,
Andrew J. Christlieb
Abstract:
In several recent works \cite{Causley2013a}, \cite{Causley2013}, we developed a new second order, A-stable approach to wave propagation problems based on the method of lines transpose (MOL$^T$) formulation combined with alternating direction implicit (ADI) schemes. In this work, we present several important modifications to our work, and thus obtain a family of wave solvers which are unconditional…
▽ More
In several recent works \cite{Causley2013a}, \cite{Causley2013}, we developed a new second order, A-stable approach to wave propagation problems based on the method of lines transpose (MOL$^T$) formulation combined with alternating direction implicit (ADI) schemes. In this work, we present several important modifications to our work, and thus obtain a family of wave solvers which are unconditionally stable, accurate of order 2P, and require $O(P^d N)$ operations per time step, where $N$ is the number of spatial points, and $d$ the number of spatial dimensions. We obtain these schemes by including higher derivatives of the solution, rather than increasing the number of time levels. The novel aspect of our approach is that the higher derivatives are constructed using successive applications of the convolution operator.
We develop these schemes in one spatial dimension, and then extend the results to higher dimensions, by reformulating the ADI scheme to include recursive convolution. Thus, we retain a fast, unconditionally stable scheme, which does not suffer from the large dispersion errors characteristic to the ADI method. We demonstrate the utility of the method by applying it to a host of wave propagation problems. This method holds great promise for develo** higher order, parallelizable algorithms for solving hyperbolic PDEs, and can also be extended to parabolic PDEs.
△ Less
Submitted 14 August, 2013;
originally announced August 2013.
-
Method of Lines Transpose: A Fast Implicit Wave Propagator
Authors:
Matthew F. Causley,
Andrew J. Christlieb,
Yaman Guclu,
Eric Wolf
Abstract:
As a follow up to \cite{Causley2013}, we provide a detailed description of the numerical implementation of an O(N), A-stable, second order accurate solution of the wave equation, constructed from semi-discrete boundary value problems. We improve on the previous algorithm by replacing the Lax-type correction used in \cite{Causley2013}, which was necessary for convergence when $Δt < Δx/c$, with a mo…
▽ More
As a follow up to \cite{Causley2013}, we provide a detailed description of the numerical implementation of an O(N), A-stable, second order accurate solution of the wave equation, constructed from semi-discrete boundary value problems. We improve on the previous algorithm by replacing the Lax-type correction used in \cite{Causley2013}, which was necessary for convergence when $Δt < Δx/c$, with a more accurate spatial quadrature, which we prove is convergent.
We also demonstrate that the resulting solver remains fast even in the case of unstructured meshes, can incorporate domain decomposition, and allows for the implementation of Dirichlet, Neumann, periodic and outflow boundary conditions.
Building upon results for the 1d formulation, we utilize alternate direction implicit (ADI) splitting to achieve a fast O(N) solver in higher spatial dimensions. Our solver is built upon line objects and, combined with the flexibility of the integral solver, allows us to solve problems on arbitrary spatial domains, by embedding the boundary in a regular Cartesian mesh. Our solver is designed to couple with particle codes, where scale separation is an issue. We therefore demonstrate the ability of our solver to take time steps well beyond that of the Courant-Friedrichs-Lewy (CFL) stability limit of explicit codes.
△ Less
Submitted 28 June, 2013;
originally announced June 2013.
-
Energy-conserving discontinuous Galerkin methods for the Vlasov-Ampère system
Authors:
Yingda Cheng,
Andrew J. Christlieb,
Xinghui Zhong
Abstract:
In this paper, we propose energy-conserving numerical schemes for the Vlasov-Ampère (VA) systems. The VA system is a model used to describe the evolution of probability density function of charged particles under self consistent electric field in plasmas. It conserves many physical quantities, including the total energy which is comprised of the kinetic and electric energy. Unlike the total partic…
▽ More
In this paper, we propose energy-conserving numerical schemes for the Vlasov-Ampère (VA) systems. The VA system is a model used to describe the evolution of probability density function of charged particles under self consistent electric field in plasmas. It conserves many physical quantities, including the total energy which is comprised of the kinetic and electric energy. Unlike the total particle number conservation, the total energy conservation is challenging to achieve. For simulations in longer time ranges, negligence of this fact could cause unphysical results, such as plasma self heating or cooling. In this paper, we develop the first Eulerian solvers that can preserve fully discrete total energy conservation. The main components of our solvers include explicit or implicit energy-conserving temporal discretizations, an energy-conserving operator splitting for the VA equation and discontinuous Galerkin finite element methods for the spatial discretizations. We validate our schemes by rigorous derivations and benchmark numerical examples such as Landau dam**, two-stream instability and bump-on-tail instability.
△ Less
Submitted 4 June, 2013;
originally announced June 2013.
-
High-order multiderivative time integrators for hyperbolic conservation laws
Authors:
David C. Seal,
Yaman Güçlü,
Andrew J. Christlieb
Abstract:
Multiderivative time integrators have a long history of development for ordinary differential equations, and yet to date, only a small subset of these methods have been explored as a tool for solving partial differential equations (PDEs). This large class of time integrators include all popular (multistage) Runge-Kutta as well as single-step (multiderivative) Taylor methods. (The latter are common…
▽ More
Multiderivative time integrators have a long history of development for ordinary differential equations, and yet to date, only a small subset of these methods have been explored as a tool for solving partial differential equations (PDEs). This large class of time integrators include all popular (multistage) Runge-Kutta as well as single-step (multiderivative) Taylor methods. (The latter are commonly referred to as Lax-Wendroff methods when applied to PDEs.) In this work, we offer explicit multistage multiderivative time integrators for hyperbolic conservation laws. Like Lax-Wendroff methods, multiderivative integrators permit the evaluation of higher derivatives of the unknown in order to decrease the memory footprint and communication overhead. Like traditional Runge-Kutta methods, multiderivative integrators admit the addition of extra stages, which introduce extra degrees of freedom that can be used to increase the order of accuracy or modify the region of absolute stability. We describe a general framework for how these methods can be applied to two separate spatial discretizations: the discontinuous Galerkin (DG) method and the finite difference essentially non-oscillatory (FD-WENO) method. The two proposed implementations are substantially different: for DG we leverage techniques that are closely related to generalized Riemann solvers; for FD-WENO we construct higher spatial derivatives with central differences. Among multiderivative time integrators, we argue that multistage two-derivative methods have the greatest potential for multidimensional applications, because they only require the flux function and its Jacobian, which is readily available. Numerical results indicate that multiderivative methods are indeed competitive with popular strong stability preserving time integrators.
△ Less
Submitted 28 September, 2013; v1 submitted 9 April, 2013;
originally announced April 2013.