-
Local Taylor-based polynomial quasi-Trefftz spaces for scalar linear equations
Authors:
Lise-Marie Imbert-Gerard
Abstract:
Trefftz-type of Galerkin methods for numerical PDEs use discrete spaces of problem-dependent functions. While Trefftz methods leverage discrete spaces of local exact solutions to the governing PDE, Taylor-based quasi-Trefftz methods leverage discrete spaces of local approximate solutions to the governing PDE. This notion of approximate solution, understood in the sense of a small Taylor remainder,…
▽ More
Trefftz-type of Galerkin methods for numerical PDEs use discrete spaces of problem-dependent functions. While Trefftz methods leverage discrete spaces of local exact solutions to the governing PDE, Taylor-based quasi-Trefftz methods leverage discrete spaces of local approximate solutions to the governing PDE. This notion of approximate solution, understood in the sense of a small Taylor remainder, is defined for differential operators with smooth variable coefficients. In both cases, it is possible to use discrete spaces much smaller than standard polynomial space to achieve the same orders of approximation properties.
The present work is the first systematic study of local Taylor-based polynomial quasi-Trefftz spaces characterized as the kernel of the quasi-Trefftz operator, defined as the composition of Taylor truncation with the differential operator. The proposed linear algebra framework reveals the general structure of this linear operator and applies to any non-trivial linear scalar differential operator with smooth coefficients. It results in a fully explicit procedure to construct a local quasi-Trefftz basis valid in all dimension and for operators of any order, guaranteeing a minimal computational cost for the construction of these equation-dependent bases.
The local quasi-Trefftz space is formally defined as the kernel of a linear operator between spaces of polynomials. The systematic approach relies on a detailed study of the structure of this operator, strongly leveraging the graded structure of polynomial spaces.
△ Less
Submitted 5 June, 2025; v1 submitted 23 May, 2025;
originally announced May 2025.
-
Polynomial quasi-Trefftz DG for PDEs with smooth coefficients: elliptic problems
Authors:
Lise-Marie Imbert-Gérard,
Andrea Moiola,
Chiara Perinati,
Paul Stocker
Abstract:
Trefftz schemes are high-order Galerkin methods whose discrete spaces are made of elementwise exact solutions of the underlying PDE. Trefftz basis functions can be easily computed for many PDEs that are linear, homogeneous, and have piecewise-constant coefficients. However, if the equation has variable coefficients, exact solutions are generally unavailable. Quasi-Trefftz methods overcome this lim…
▽ More
Trefftz schemes are high-order Galerkin methods whose discrete spaces are made of elementwise exact solutions of the underlying PDE. Trefftz basis functions can be easily computed for many PDEs that are linear, homogeneous, and have piecewise-constant coefficients. However, if the equation has variable coefficients, exact solutions are generally unavailable. Quasi-Trefftz methods overcome this limitation relying on elementwise "approximate solutions" of the PDE, in the sense of Taylor polynomials.
We define polynomial quasi-Trefftz spaces for general linear PDEs with smooth coefficients and source term, describe their approximation properties and, under a non-degeneracy condition, provide a simple algorithm to compute a basis. We then focus on a quasi-Trefftz DG method for variable-coefficient elliptic diffusion-advection-reaction problems, showing stability and high-order convergence of the scheme. The main advantage over standard DG schemes is the higher accuracy for comparable numbers of degrees of freedom. For non-homogeneous problems with piecewise-smooth source term we propose to construct a local quasi-Trefftz particular solution and then solve for the difference. Numerical experiments in 2 and 3 space dimensions show the excellent properties of the method both in diffusion-dominated and advection-dominated problems.
△ Less
Submitted 22 November, 2024; v1 submitted 1 August, 2024;
originally announced August 2024.
-
Three types of quasi-Trefftz functions for the 3D convected Helmholtz equation: construction and approximation properties
Authors:
Lise-Marie Imbert-Gerard,
Guillaume Sylvand
Abstract:
Trefftz methods are numerical methods for the approximation of solutions to boundary and/or initial value problems. They are Galerkin methods with particular test and trial functions, which solve locally the governing partial differential equation (PDE). This property is called the Trefftz property. Quasi-Trefftz methods were introduced to leverage the advantages of Trefftz methods for problems go…
▽ More
Trefftz methods are numerical methods for the approximation of solutions to boundary and/or initial value problems. They are Galerkin methods with particular test and trial functions, which solve locally the governing partial differential equation (PDE). This property is called the Trefftz property. Quasi-Trefftz methods were introduced to leverage the advantages of Trefftz methods for problems governed by variable coefficient PDEs, by relaxing the Trefftz property into a so-called quasi-Trefftz property: test and trial functions are not exact solutions but rather local approximate solutions to the governing PDE. In order to develop quassi-Trefftz methods for aero-acoustics problems governed by the convected Helmholtz equation, the present work tackles the question of the definition, construction and approximation properties of three families of quasi-Trefftz functions: two based on generalizations on plane wave solutions, and one polynomial. The polynomial basis shows significant promise as it does not suffer from the ill-conditioning issue inherent to wave-like bases.
△ Less
Submitted 22 July, 2024; v1 submitted 30 January, 2022;
originally announced January 2022.
-
A space-time quasi-Trefftz DG method for the wave equation with piecewise-smooth coefficients
Authors:
Lise-Marie Imbert-Gérard,
Andrea Moiola,
Paul Stocker
Abstract:
Trefftz methods are high-order Galerkin schemes in which all discrete functions are elementwise solution of the PDE to be approximated. They are viable only when the PDE is linear and its coefficients are piecewise constant. We introduce a 'quasi-Trefftz' discontinuous Galerkin method for the discretisation of the acoustic wave equation with piecewise-smooth wavespeed: the discrete functions are e…
▽ More
Trefftz methods are high-order Galerkin schemes in which all discrete functions are elementwise solution of the PDE to be approximated. They are viable only when the PDE is linear and its coefficients are piecewise constant. We introduce a 'quasi-Trefftz' discontinuous Galerkin method for the discretisation of the acoustic wave equation with piecewise-smooth wavespeed: the discrete functions are elementwise approximate PDE solutions. We show that the new discretisation enjoys the same excellent approximation properties as the classical Trefftz one, and prove stability and high-order convergence of the DG scheme. We introduce polynomial basis functions for the new discrete spaces and describe a simple algorithm to compute them. The technique we propose is inspired by the generalised plane waves previously developed for time-harmonic problems with variable coefficients; it turns out that in the case of the time-domain wave equation under consideration the quasi-Trefftz approach allows for polynomial basis functions.
△ Less
Submitted 12 July, 2022; v1 submitted 9 November, 2020;
originally announced November 2020.
-
Amplitude-based Generalized Plane Waves: new Quasi-Trefftz functions for scalar equations in 2D
Authors:
Lise-Marie Imbert-Gerard
Abstract:
Generalized Plane Waves (GPWs) were introduced to take advantage of Trefftz methods for problems modeled by variable coefficient equations. Despite the fact that GPWs do not satisfy the Trefftz property, i.e. they are not exact solutions to the governing equation, they instead satisfy a quasi-Trefftz property: they are only approximate solutions. They lead to high order numerical methods, and this…
▽ More
Generalized Plane Waves (GPWs) were introduced to take advantage of Trefftz methods for problems modeled by variable coefficient equations. Despite the fact that GPWs do not satisfy the Trefftz property, i.e. they are not exact solutions to the governing equation, they instead satisfy a quasi-Trefftz property: they are only approximate solutions. They lead to high order numerical methods, and this quasi-Trefftz property is critical for their numerical analysis.
The present work introduces a new family of GPWs, amplitude-based. The motivation lies in the poor behavior of the phase-based GPW approximations in the pre-asymptotic regime, which will be tamed by avoiding high degree polynomials within an exponential. The new ansatz is introduces higher order terms in the amplitude rather than the phase of a plane wave as was initially proposed. The new functions' construction and the study of their interpolation properties are guided by the roadmap proposed in [16]. For the sake of clarity, the first focus is on the two-dimensional Helmholtz equation with spatially-varying wavenumber. The extension to a range of operators allowing for anisotropy in the first and second order terms follows. Numerical simulations illustrate the theoretical study of the new quasi-Trefftz functions.
△ Less
Submitted 17 September, 2020; v1 submitted 11 September, 2020;
originally announced September 2020.
-
A roadmap for Generalized Plane Waves and their interpolation properties
Authors:
Lise-Marie Imbert-Gerard,
Guillaume Sylvand
Abstract:
This work focuses on the study of partial differential equation (PDE) based basis function for Discontinuous Galerkin methods to solve numerically wave-related boundary value problems with variable coefficients. To tackle problems with constant coefficients, wave-based methods have been widely studied in the literature: they rely on the concept of Trefftz functions, i.e. local solutions to the gov…
▽ More
This work focuses on the study of partial differential equation (PDE) based basis function for Discontinuous Galerkin methods to solve numerically wave-related boundary value problems with variable coefficients. To tackle problems with constant coefficients, wave-based methods have been widely studied in the literature: they rely on the concept of Trefftz functions, i.e. local solutions to the governing PDE, using oscillating basis functions rather than polynomial functions to represent the numerical solution. Generalized Plane Waves (GPWs) are an alternative developed to tackle problems with variable coefficients, in which case Trefftz functions are not available. In a similar way, they incorporate information on the PDE, however they are only approximate Trefftz functions since they don't solve the governing PDE exactly, but only an approximated PDE. Considering a new set of PDEs beyond the Helmholtz equation, we propose to set a roadmap for the construction and study of local interpolation properties of GPWs. Identifying carefully the various steps of the process, we provide an algorithm to summarize the construction of these functions, and establish necessary conditions to obtain high order interpolation properties of the corresponding basis.
△ Less
Submitted 18 July, 2019;
originally announced July 2019.
-
Taylor States in Stellarators: A Fast High-order Boundary Integral Solver
Authors:
Dhairya Malhotra,
Antoine Cerfon,
Lise-Marie Imbert-Gérard,
Michael O'Neil
Abstract:
We present a boundary integral equation solver for computing Taylor relaxed states in non-axisymmetric solid and shell-like toroidal geometries. The computation of Taylor states in these geometries is a key element for the calculation of stepped pressure stellarator equilibria. The integral representation of the magnetic field in this work is based on the generalized Debye source formulation, and…
▽ More
We present a boundary integral equation solver for computing Taylor relaxed states in non-axisymmetric solid and shell-like toroidal geometries. The computation of Taylor states in these geometries is a key element for the calculation of stepped pressure stellarator equilibria. The integral representation of the magnetic field in this work is based on the generalized Debye source formulation, and results in a well-conditioned second-kind boundary integral equation. The integral equation solver is based on a spectral discretization of the geometry and unknowns, and the computation of the associated weakly-singular integrals is performed with high-order quadrature based on a partition of unity. The resulting scheme for applying the integral operator is then coupled with an iterative solver and suitable preconditioners. Several numerical examples are provided to demonstrate the accuracy and efficiency of our method, and a direct comparison with the leading code in the field is reported.
△ Less
Submitted 20 February, 2019; v1 submitted 1 February, 2019;
originally announced February 2019.
-
Integral equation methods for electrostatics, acoustics and electromagnetics in smoothly varying, anisotropic media
Authors:
Lise-Marie Imbert-Gerard,
Felipe Vico,
Leslie Greengard,
Miguel Ferrando
Abstract:
We present a collection of well-conditioned integral equation methods for the solution of electrostatic, acoustic or electromagnetic scattering problems involving anisotropic, inhomogeneous media. In the electromagnetic case, our approach involves a minor modification of a classical formulation. In the electrostatic or acoustic setting, we introduce a new vector partial differential equation, from…
▽ More
We present a collection of well-conditioned integral equation methods for the solution of electrostatic, acoustic or electromagnetic scattering problems involving anisotropic, inhomogeneous media. In the electromagnetic case, our approach involves a minor modification of a classical formulation. In the electrostatic or acoustic setting, we introduce a new vector partial differential equation, from which the desired solution is easily obtained. It is the vector equation for which we derive a well-conditioned integral equation. In addition to providing a unified framework for these solvers, we illustrate their performance using iterative solution methods coupled with the FFT-based technique of [1] to discretize and apply the relevant integral operators.
△ Less
Submitted 12 May, 2018;
originally announced May 2018.
-
Pseudo-spectral methods for the Laplace-Beltrami equation and the Hodge decomposition on surfaces of genus one
Authors:
Lise-Marie Imbert-Gerard,
Leslie Greengard
Abstract:
The inversion of the Laplace-Beltrami operator and the computation of the Hodge decomposition of a tangential vector field on smooth surfaces arise as computational tasks in many areas of science, from computer graphics to machine learning to com- putational physics. Here, we present a high-order accurate pseudo-spectral approach, applicable to closed surfaces of genus one in three dimensional spa…
▽ More
The inversion of the Laplace-Beltrami operator and the computation of the Hodge decomposition of a tangential vector field on smooth surfaces arise as computational tasks in many areas of science, from computer graphics to machine learning to com- putational physics. Here, we present a high-order accurate pseudo-spectral approach, applicable to closed surfaces of genus one in three dimensional space, with a view toward applications in plasma physics and fluid dynamics.
△ Less
Submitted 28 September, 2016; v1 submitted 15 August, 2016;
originally announced August 2016.
-
Numerical simulation of wave propagation in inhomogeneous media using Generalized Plane Waves
Authors:
Lise-Marie Imbert-Gerard,
Peter Monk
Abstract:
The Trefftz Discontinuous Galerkin (TDG) method is a technique for approximating the Helmholtz equation (or other linear wave equations) using piecewise defined local solutions of the equation to approximate the global solution. When coefficients in the equation (for example, the refractive index) are piecewise constant it is common to use plane waves on each element. However when the coefficients…
▽ More
The Trefftz Discontinuous Galerkin (TDG) method is a technique for approximating the Helmholtz equation (or other linear wave equations) using piecewise defined local solutions of the equation to approximate the global solution. When coefficients in the equation (for example, the refractive index) are piecewise constant it is common to use plane waves on each element. However when the coefficients are smooth functions of position, plane waves are no longer directly applicable. In this paper we show how Generalized Plane Waves (GPWs) can be used in a modified TDG scheme to approximate the solution for piecewise smooth coefficients. GPWs are approximate solutions to the equation that reduce to plane waves when the medium through which the wave propagates is constant. We shall show how to modify the TDG sesquilinear form to allow us to prove convergence of the GPW based version. The new scheme retains the high order convergence of the original TDG scheme (when the solution is smooth) and also retains the same number of degrees of freedom per element (corresponding to the directions of the GPWs). Unfortunately it looses the advantage that only skeleton integrals need to be performed. Besides proving convergence, we provide numerical examples to test our theory.
△ Less
Submitted 25 November, 2015;
originally announced November 2015.
-
Fast, adaptive, high order accurate discretization of the Lippmann-Schwinger equation in two dimension
Authors:
Sivaram Ambikasaran,
Carlos Borges,
Lise-Marie Imbert-Gerard,
Leslie Greengard
Abstract:
We present a fast direct solver for two dimensional scattering problems, where an incident wave impinges on a penetrable medium with compact support. We represent the scattered field using a volume potential whose kernel is the outgoing Green's function for the exterior domain. Inserting this representation into the governing partial differential equation, we obtain an integral equation of the Lip…
▽ More
We present a fast direct solver for two dimensional scattering problems, where an incident wave impinges on a penetrable medium with compact support. We represent the scattered field using a volume potential whose kernel is the outgoing Green's function for the exterior domain. Inserting this representation into the governing partial differential equation, we obtain an integral equation of the Lippmann-Schwinger type. The principal contribution here is the development of an automatically adaptive, high-order accurate discretization based on a quad tree data structure which provides rapid access to arbitrary elements of the discretized system matrix. This permits the straightforward application of state-of-the-art algorithms for constructing compressed versions of the solution operator. These solvers typically require $O(N^{3/2})$ work, where $N$ denotes the number of degrees of freedom. We demonstrate the performance of the method for a variety of problems in both the low and high frequency regimes.
△ Less
Submitted 26 May, 2015;
originally announced May 2015.
-
Well-posedness and generalized plane waves simulations of a 2D mode conversion model
Authors:
Lise-Marie Imbert-Gérard
Abstract:
Certain types of electro-magnetic waves propagating in a plasma can undergo a mode conversion process. In magnetic confinement fusion, this phenomenon is very useful to heat the plasma, since it permits to transfer the heat at or near the plasma center. This work focuses on a mathematical model of wave propagation around the mode conversion region, from both theoretical and numerical points of vie…
▽ More
Certain types of electro-magnetic waves propagating in a plasma can undergo a mode conversion process. In magnetic confinement fusion, this phenomenon is very useful to heat the plasma, since it permits to transfer the heat at or near the plasma center. This work focuses on a mathematical model of wave propagation around the mode conversion region, from both theoretical and numerical points of view. It aims at developing, for a well-posed equation, specific basis functions to study a wave mode conversion process. These basis functions, called generalized plane waves, are intrinsically based on variable coefficients. As such, they are particularly adapted to the mode conversion problem. The design of generalized plane waves for the proposed model is described in detail. Their implementation within a discontinuous Galerkin method then provides numerical simulations of the process. These first 2D simulations for this model agree with qualitative aspects studied in previous works.
△ Less
Submitted 26 September, 2015; v1 submitted 27 April, 2015;
originally announced April 2015.
-
Interpolation properties of generalized plane waves
Authors:
Lise-Marie Imbert-Gerard
Abstract:
This paper aims at developing new shape functions adapted to smooth vanishing coefficients for scalar wave equation. It proposes the numerical analysis of their interpolation properties. The interpolation is local but high order convergence is shown with respect to the size of the domain considered. The new basis functions are then implemented in a numerical method to solve a scalar wave equation…
▽ More
This paper aims at developing new shape functions adapted to smooth vanishing coefficients for scalar wave equation. It proposes the numerical analysis of their interpolation properties. The interpolation is local but high order convergence is shown with respect to the size of the domain considered. The new basis functions are then implemented in a numerical method to solve a scalar wave equation problem with a mixed boundary condition. The order of convergence of the method varies linearly with the one of the interpolation.
△ Less
Submitted 7 February, 2014;
originally announced February 2014.
