A Space-Time Discontinuous Galerkin Trefftz Method for time dependent Maxwell's equations

We consider the discretization of electromagnetic wave propagation problems by a discontinuous Galerkin Method based on Trefftz polynomials. This method fits into an abstract framework for space-time discontinuous Galerkin methods for which we can prove consistency, stability, and energy dissipation without the need to completely specify the approximation spaces in detail. Any method of such a general form results in an implicit time-stepping scheme with some basic stability properties. For the local approximation on each space-time element, we then consider Trefftz polynomials, i.e., the subspace of polynomials that satisfy Maxwell's equations exactly on the respective element. We present an explicit construction of a basis for the local Trefftz spaces in two and three dimensions and summarize some of their basic properties. Using local properties of the Trefftz polynomials, we can establish the well-posedness of the resulting discontinuous Galerkin Trefftz method. Consistency, stability, and energy dissipation then follow immediately from the results about the abstract framework. The method proposed in this paper therefore shares many of the advantages of more standard discontinuous Galerkin methods, while at the same time, it yields a substantial reduction in the number of degrees of freedom and the cost for assembling. These benefits and the spectral convergence of the scheme are demonstrated in numerical tests

A space–time Trefftz discontinuous Galerkin method for the acoustic wave equation in first-order formulation

We introduce a space–time Trefftz discontinuous Galerkin method for the first-order transient acoustic wave equations in arbitrary space dimensions, extending the one-dimensional scheme of Kretzschmar et al. (IMA J Numer Anal 36:1599–1635, 2016). Test and trial discrete functions are space–time piecewise polynomial solutions of the wave equations. We prove well-posedness and a priori error bounds in both skeleton-based and mesh-independent norms. The space–time formulation corresponds to an implicit time-stepping scheme, if posed on meshes partitioned in time slabs, or to an explicit scheme, if posed on “tent-pitched” meshes. We describe two Trefftz polynomial discrete spaces, introduce bases for them and prove optimal, high-order h-convergence bounds