-
Energy-Conserving Hermite Methods for Maxwell's Equations
Authors:
Daniel Appelo,
Thomas Hagstrom,
Yann-Meing Law-Kam-Cio
Abstract:
Energy-conserving Hermite methods for solving Maxwell's equations in dielectric and dispersive media are described and analyzed. In three space dimensions methods of order $2m$ to $2m+2$ require $(m+1)^3$ degrees-of-freedom per node for each field variable and can be explicitly marched in time with steps independent of $m$. We prove stability for time steps limited only by domain-of-dependence req…
▽ More
Energy-conserving Hermite methods for solving Maxwell's equations in dielectric and dispersive media are described and analyzed. In three space dimensions methods of order $2m$ to $2m+2$ require $(m+1)^3$ degrees-of-freedom per node for each field variable and can be explicitly marched in time with steps independent of $m$. We prove stability for time steps limited only by domain-of-dependence requirements along with error estimates in a special seminorm associated with the interpolation process. Numerical experiments are presented which demonstrate that Hermite methods of very high order enable the efficient simulation of electromagnetic wave propagation over thousands of wavelengths.
△ Less
Submitted 22 January, 2024;
originally announced January 2024.
-
The Hermite-Taylor Correction Function Method for Embedded Boundary and Maxwell's Interface Problems
Authors:
Yann-Meing Law,
Daniel Appelö,
Thomas Hagstrom
Abstract:
We propose a novel Hermite-Taylor correction function method to handle embedded boundary and interface conditions for Maxwell's equations. The Hermite-Taylor method evolves the electromagnetic fields and their derivatives through order $m$ in each Cartesian coordinate. This makes the development of a systematic approach to enforce boundary and interface conditions difficult. Here we use the correc…
▽ More
We propose a novel Hermite-Taylor correction function method to handle embedded boundary and interface conditions for Maxwell's equations. The Hermite-Taylor method evolves the electromagnetic fields and their derivatives through order $m$ in each Cartesian coordinate. This makes the development of a systematic approach to enforce boundary and interface conditions difficult. Here we use the correction function method to update the numerical solution where the Hermite-Taylor method cannot be applied directly. The proposed high-order method offers a flexible systematic approach to handle embedded boundary and interface problems, including problems with discontinuous solutions at the interface. This method is also easily adaptable to other first order hyperbolic systems.
△ Less
Submitted 4 January, 2023;
originally announced January 2023.
-
An Energy-Based Discontinuous Galerkin Method with Tame CFL Numbers for the Wave Equation
Authors:
Daniel Appelö,
Lu Zhang,
Thomas Hagstrom,
Fengyan Li
Abstract:
We extend and analyze the energy-based discontinuous Galerkin method for second order wave equations on staggered and structured meshes. By combining spatial staggering with local time-step** near boundaries, the method overcomes the typical numerical stiffness associated with high order piecewise polynomial approximations. In one space dimension with periodic boundary conditions and suitably ch…
▽ More
We extend and analyze the energy-based discontinuous Galerkin method for second order wave equations on staggered and structured meshes. By combining spatial staggering with local time-step** near boundaries, the method overcomes the typical numerical stiffness associated with high order piecewise polynomial approximations. In one space dimension with periodic boundary conditions and suitably chosen numerical fluxes, we prove bounds on the spatial operators that establish stability for CFL numbers $c \frac {Δt}{h} < C$ independent of order when stability-enhanced explicit time-step** schemes of matching order are used. For problems on bounded domains and in higher dimensions we demonstrate numerically that one can march explicitly with large time steps at high order temporal and spatial accuracy.
△ Less
Submitted 13 April, 2022; v1 submitted 13 October, 2021;
originally announced October 2021.
-
Energy-based discontinuous Galerkin difference methods for second-order wave equations
Authors:
Lu Zhang,
Daniel Appelö,
Thomas Hagstrom
Abstract:
We combine the newly-constructed Galerkin difference basis with the energy-based discontinuous Galerkin method for wave equations in second order form. The approximation properties of the resulting method are excellent and the allowable time steps are large compared to traditional discontinuous Galerkin methods. The one drawback of the combined approach is the cost of inversion of the local mass m…
▽ More
We combine the newly-constructed Galerkin difference basis with the energy-based discontinuous Galerkin method for wave equations in second order form. The approximation properties of the resulting method are excellent and the allowable time steps are large compared to traditional discontinuous Galerkin methods. The one drawback of the combined approach is the cost of inversion of the local mass matrix. We demonstrate that for constant coefficient problems on Cartesian meshes this bottleneck can be removed by the use of a modified Galerkin difference basis. For variable coefficients or non-Cartesian meshes this technique is not possible and we instead use the preconditioned conjugate gradient method to iteratively invert the mass matrices. With a careful choice of preconditioner we can demonstrate optimal complexity, albeit with a larger constant.
△ Less
Submitted 4 May, 2021;
originally announced May 2021.
-
An energy-based discontinuous Galerkin method for semilinear wave equations
Authors:
Daniel Appelo,
Thomas Hagstrom,
Qi Wang,
Lu Zhang
Abstract:
We generalize the energy-based discontinuous Galerkin method proposed in [SIAM J. Num. Anal., 53(6):2705-2726, 2015.] to second-order semilinear wave equations. A stability and convergence analysis is presented along with numerical experiments demonstrating optimal convergence for certain choices of the interelement fluxes. Applications to the sine-Gordon equation include simulations of breathers,…
▽ More
We generalize the energy-based discontinuous Galerkin method proposed in [SIAM J. Num. Anal., 53(6):2705-2726, 2015.] to second-order semilinear wave equations. A stability and convergence analysis is presented along with numerical experiments demonstrating optimal convergence for certain choices of the interelement fluxes. Applications to the sine-Gordon equation include simulations of breathers, kink, and anti-kink solitons.
△ Less
Submitted 27 January, 2020;
originally announced January 2020.
-
High-order discretization of a stable time-domain integral equation for 3D acoustic scattering
Authors:
Alex H. Barnett,
Leslie Greengard,
Tom Hagstrom
Abstract:
We develop a high-order, explicit method for acoustic scattering in three space dimensions based on a combined-field time-domain integral equation. The spatial discretization, of Nyström type, uses Gaussian quadrature on panels combined with a special treatment of the weakly singular kernels arising in near-neighbor interactions. In time, a new class of convolution splines is used in a predictor-c…
▽ More
We develop a high-order, explicit method for acoustic scattering in three space dimensions based on a combined-field time-domain integral equation. The spatial discretization, of Nyström type, uses Gaussian quadrature on panels combined with a special treatment of the weakly singular kernels arising in near-neighbor interactions. In time, a new class of convolution splines is used in a predictor-corrector algorithm. Experiments on a torus and a perturbed torus are used to explore the stability and accuracy of the proposed scheme. This involved around one thousand solver runs, at up to 8th order and up to around 20,000 spatial unknowns, demonstrating 5-9 digits of accuracy. In addition we show that parameters in the combined field formulation, chosen on the basis of analysis for the sphere and other convex scatterers, work well in these cases.
△ Less
Submitted 29 March, 2019;
originally announced April 2019.
-
An energy-based discontinuous Galerkin method for the wave equation with advection
Authors:
Lu Zhang,
Thomas Hagstrom,
Daniel Appelo
Abstract:
An energy-based discontinuous Galerkin method for the advective wave equation is proposed and analyzed. Energy-conserving or energy-dissipating methods follow from simple, mesh-independent choices of the inter-element fluxes, and both subsonic and supersonic advection is allowed. Error estimates in the energy norm are established, and numerical experiments on structured grids display optimal conve…
▽ More
An energy-based discontinuous Galerkin method for the advective wave equation is proposed and analyzed. Energy-conserving or energy-dissipating methods follow from simple, mesh-independent choices of the inter-element fluxes, and both subsonic and supersonic advection is allowed. Error estimates in the energy norm are established, and numerical experiments on structured grids display optimal convergence in the $L^2$ norm for upwind fluxes. The method generalizes earlier work on energy-based discontinuous Galerkin methods for second order wave equations which was restricted to energy forms written as a simple sum of kinetic and potential energy.
△ Less
Submitted 16 March, 2019;
originally announced March 2019.
-
Leapfrog time-step** for Hermite methods
Authors:
Arturo Vargas,
Thomas Hagstrom,
Jesse Chan,
Tim Warburton
Abstract:
We introduce Hermite-leapfrog methods for first order wave systems. The new Hermite-leapfrog methods pair leapfrog time-step** with the Hermite methods of Goodrich and co-authors. The new schemes stagger field variables in both time and space and are high-order accurate. We provide a detailed description of the method and demonstrate that the method conserves variable quantities in one-space dim…
▽ More
We introduce Hermite-leapfrog methods for first order wave systems. The new Hermite-leapfrog methods pair leapfrog time-step** with the Hermite methods of Goodrich and co-authors. The new schemes stagger field variables in both time and space and are high-order accurate. We provide a detailed description of the method and demonstrate that the method conserves variable quantities in one-space dimension. Higher dimensional versions of the method are constructed via a tensor product construction. Numerical evidence and rigorous analysis in one space dimension establish stability and high-order convergence. Experiments demonstrating efficient implementations on a graphics processing unit are also presented.
△ Less
Submitted 30 August, 2018;
originally announced August 2018.
-
Robust Approaches to Handling Complex Geometries with Galerkin Difference Methods
Authors:
Jeremy E. Kozdon,
Lucas C. Wilcox,
Thomas Hagstrom,
Jeffrey W. Banks
Abstract:
The Galerkin difference (GD) basis is a set of continuous, piecewise polynomials defined using a finite difference like grid of degrees of freedom. The one dimensional GD basis functions are naturally extended to multiple dimensions using the tensor product constructions to quadrilateral elements for discretizing partial differential equations. Here we propose two approaches to handling complex ge…
▽ More
The Galerkin difference (GD) basis is a set of continuous, piecewise polynomials defined using a finite difference like grid of degrees of freedom. The one dimensional GD basis functions are naturally extended to multiple dimensions using the tensor product constructions to quadrilateral elements for discretizing partial differential equations. Here we propose two approaches to handling complex geometries using the GD basis within a discontinuous Galerkin finite element setting: (1) using non-conforming, curvilinear GD elements and (2) coupling affine GD elements with curvilinear simplicial elements. In both cases the (semidiscrete) discontinuous Galerkin method is provably energy stable even when variational crimes are committed and in both cases a weight-adjusted mass matrix is used, which ensures that only the reference mass matrix must be inverted. Additionally, we give sufficient conditions on the treatment of metric terms for the curvilinear, nonconforming GD elements to ensure that the scheme is both constant preserving and conservative. Numerical experiments confirm the stability results and demonstrate the accuracy of the coupled schemes.
△ Less
Submitted 1 June, 2021; v1 submitted 15 June, 2018;
originally announced June 2018.
-
Hermite Methods for the Scalar Wave Equation
Authors:
Daniel Appelo,
Thomas Hagstrom,
Arturo Vargas
Abstract:
Arbitrary order dissipative and conservative Hermite methods for the scalar wave equation achieving $\mathcal{O}(2m)$ orders of accuracy using $\mathcal{O}(m^d)$ degrees of freedom per node in $d$ dimensions are presented. Stability and error analyses as well as implementation strategies for accelerators are also given.
Arbitrary order dissipative and conservative Hermite methods for the scalar wave equation achieving $\mathcal{O}(2m)$ orders of accuracy using $\mathcal{O}(m^d)$ degrees of freedom per node in $d$ dimensions are presented. Stability and error analyses as well as implementation strategies for accelerators are also given.
△ Less
Submitted 3 August, 2018; v1 submitted 14 February, 2018;
originally announced February 2018.
-
An inequality for solutions of the Navier-Stokes equations in Rn
Authors:
Thomas Hagstrom,
Jens Lorenz,
Janaína P. Zingano,
Paulo R. Zingano
Abstract:
We obtain a new inequality that holds for general Leray solutions of the incompressible Navier-Stokes equations in Rn (n <= 4). This recovers important results previously obtained by other authors regarding the time decay of solution derivatives (of arbitrary order).
We obtain a new inequality that holds for general Leray solutions of the incompressible Navier-Stokes equations in Rn (n <= 4). This recovers important results previously obtained by other authors regarding the time decay of solution derivatives (of arbitrary order).
△ Less
Submitted 1 July, 2017;
originally announced July 2017.
-
GPU Acceleration of Hermite Methods for the Simulation of Wave Propagation
Authors:
Arturo Vargas,
Jesse Chan,
Thomas Hagstrom,
Timothy Warburton
Abstract:
The Hermite methods of Goodrich, Hagstrom, and Lorenz (2006) use Hermite interpolation to construct high order numerical methods for hyperbolic initial value problems. The structure of the method has several favorable features for parallel computing. In this work, we propose algorithms that take advantage of the many-core architecture of Graphics Processing Units. The algorithm exploits the compac…
▽ More
The Hermite methods of Goodrich, Hagstrom, and Lorenz (2006) use Hermite interpolation to construct high order numerical methods for hyperbolic initial value problems. The structure of the method has several favorable features for parallel computing. In this work, we propose algorithms that take advantage of the many-core architecture of Graphics Processing Units. The algorithm exploits the compact stencil of Hermite methods and uses data structures that allow for efficient data load and stores. Additionally the highly localized evolution operator of Hermite methods allows us to combine multi-stage time-step** methods within the new algorithms incurring minimal accesses of global memory. Using a scalar linear wave equation, we study the algorithm by considering Hermite interpolation and evolution as individual kernels and alternatively combined them into a monolithic kernel. For both approaches we demonstrate strategies to increase performance. Our numerical experiments show that although a two kernel approach allows for better performance on the hardware, a monolithic kernel can offer a comparable time to solution with less global memory usage.
△ Less
Submitted 30 September, 2016;
originally announced September 2016.
-
Variations on Hermite methods for wave propagation
Authors:
Arturo Vargas,
Jesse Chan,
Thomas Hagstrom,
Tim Warburton
Abstract:
Hermite methods, as introduced by Goodrich et al., combine Hermite interpolation and staggered (dual) grids to produce stable high order accurate schemes for the solution of hyperbolic PDEs. We introduce three variations of this Hermite method which do not involve time evolution on dual grids. Computational evidence is presented regarding stability, high order convergence, and dispersion/dissipati…
▽ More
Hermite methods, as introduced by Goodrich et al., combine Hermite interpolation and staggered (dual) grids to produce stable high order accurate schemes for the solution of hyperbolic PDEs. We introduce three variations of this Hermite method which do not involve time evolution on dual grids. Computational evidence is presented regarding stability, high order convergence, and dispersion/dissipation properties for each new method. Hermite methods may also be coupled to discontinuous Galerkin (DG) methods for additional geometric flexibility. An example illustrates the simplification of this coupling of this coupling for the Hermite methods.
△ Less
Submitted 26 September, 2015;
originally announced September 2015.
-
On the stability of time-domain integral equations for acoustic wave propagation
Authors:
Charles L. Epstein,
Leslie Greengard,
Thomas Hagstrom
Abstract:
We give a principled approach for the selection of a boundary integral, retarded potential representation for the solution of scattering problems for the wave equation in an exterior domain.
We give a principled approach for the selection of a boundary integral, retarded potential representation for the solution of scattering problems for the wave equation in an exterior domain.
△ Less
Submitted 15 April, 2015;
originally announced April 2015.
-
The solution of the scalar wave equation in the exterior of a sphere
Authors:
Leslie Greengard,
Thomas Hagstrom,
Shidong Jiang
Abstract:
We derive new, explicit representations for the solution to the scalar wave equation in the exterior of a sphere, subject to either Dirichlet or Robin boundary conditions. Our formula leads to a stable and high-order numerical scheme that permits the evaluation of the solution at an arbitrary target, without the use of a spatial grid and without numerical dispersion error. In the process, we corre…
▽ More
We derive new, explicit representations for the solution to the scalar wave equation in the exterior of a sphere, subject to either Dirichlet or Robin boundary conditions. Our formula leads to a stable and high-order numerical scheme that permits the evaluation of the solution at an arbitrary target, without the use of a spatial grid and without numerical dispersion error. In the process, we correct some errors in the analytic literature concerning the asymptotic behavior of the logarithmic derivative of the spherical modified Hankel function. We illustrate the performance of the method with several numerical examples.
△ Less
Submitted 2 August, 2013;
originally announced August 2013.
-
On generalized discrete PML optimized for propagative and evanescent waves
Authors:
Vladimir Druskin,
Murthy Guddati,
Thomas Hagstrom
Abstract:
We suggest a unified spectrally matched optimal grid approach for finite-difference and finite-element approximation of the PML. The new approach allows to combine optimal discrete absorption for both evanescent and propagative waves.
We suggest a unified spectrally matched optimal grid approach for finite-difference and finite-element approximation of the PML. The new approach allows to combine optimal discrete absorption for both evanescent and propagative waves.
△ Less
Submitted 29 October, 2012;
originally announced October 2012.
-
Analysis of supercontinuum generation under general dispersion characteristics and beyond the slowly varying envelope approximation
Authors:
Alejandro B. Aceves,
Ronald Chen,
Yeo** Chung,
Thomas Hagstrom,
Michelle Hummel
Abstract:
The generation of broadband supercontinua (SC) in air-silica microstructured fibers results from a delicate balance of dispersion and nonlinearity. We analyze two models aimed at better understanding SC. In the first one, we characterize linear dispersion in the Fourier domain from the calculated group velocity dispersion (GVD) without using a Taylor approximation for the propagation constant. R…
▽ More
The generation of broadband supercontinua (SC) in air-silica microstructured fibers results from a delicate balance of dispersion and nonlinearity. We analyze two models aimed at better understanding SC. In the first one, we characterize linear dispersion in the Fourier domain from the calculated group velocity dispersion (GVD) without using a Taylor approximation for the propagation constant. Results of our numerical simulations are in a good agreement with experiments. A novel relevant length scale, namely the length for shock formation is introduced and its role is discussed. The second part shows similar dynamics for a model that goes beyond the slowly varying approximation for optical pulse propagation.
△ Less
Submitted 20 January, 2010; v1 submitted 3 September, 2009;
originally announced September 2009.
-
Regularization Strategies for Hyperplane Classifiers: Application to Cancer Classification with Gene Expression Data
Authors:
Erik Andries,
Thomas Hagstrom,
Susan R. Atlas,
Cheryl Willman
Abstract:
Linear discrimination, from the point of view of numerical linear algebra, can be treated as solving an ill-posed system of linear equations. In order to generate a solution that is robust in the presence of noise, these problems require regularization. Here, we examine the ill-posedness involved in the linear discrimination of cancer gene expression data with respect to outcome and tumor subcla…
▽ More
Linear discrimination, from the point of view of numerical linear algebra, can be treated as solving an ill-posed system of linear equations. In order to generate a solution that is robust in the presence of noise, these problems require regularization. Here, we examine the ill-posedness involved in the linear discrimination of cancer gene expression data with respect to outcome and tumor subclasses. We show that a filter factor representation, based upon Singular Value Decomposition, yields insight into the numerical ill-posedness of the hyperplane-based separation when applied to gene expression data. We also show that this representation yields useful diagnostic tools for guiding the selection of classifier parameters, thus leading to improved performance.
△ Less
Submitted 1 January, 2006;
originally announced January 2006.