-
Convergence of Calderón residuals
Authors:
Ralf Hiptmair,
Carolina Urzúa-Torres,
Anouk Wisse
Abstract:
In this paper, we describe a framework to compute expected convergence rates for residuals based on the Calderón identities for general second order differential operators for which fundamental solutions are known. The idea is that these rates could be used to validate implementations of boundary integral operators and allow to test operators separately by choosing solutions where parts of the Cal…
▽ More
In this paper, we describe a framework to compute expected convergence rates for residuals based on the Calderón identities for general second order differential operators for which fundamental solutions are known. The idea is that these rates could be used to validate implementations of boundary integral operators and allow to test operators separately by choosing solutions where parts of the Calderón identities vanish. Our estimates rely on simple vector norms, and thus avoid the use of hard-to-compute norms and the residual computation can be easily implemented in existing boundary element codes. We test the proposed Calderón residuals as debugging tool by introducing artificial errors into the Galerkin matrices of some of the boundary integral operators for the Laplacian and time-harmonic Maxwell's equations. From this, we learn that our estimates are not sharp enough to always detect errors, but still provide a simple and useful debugging tool in many situations.
△ Less
Submitted 31 March, 2025;
originally announced March 2025.
-
Towards Stable Second-Kind Boundary Integral Equations for Transient Wave Problems
Authors:
Daniel Hoonhout,
Carolina Urzúa-Torres
Abstract:
In this paper, we discuss the stable discretisation of the double layer boundary integral operator for the wave equation in $1d$. For this, we show that the boundary integral formulation is $L^2$-elliptic and also inf-sup stable in standard energy spaces. This turns out to be a particular case of a recent result on the inf-sup stability of boundary integral operators for the wave equation and cont…
▽ More
In this paper, we discuss the stable discretisation of the double layer boundary integral operator for the wave equation in $1d$. For this, we show that the boundary integral formulation is $L^2$-elliptic and also inf-sup stable in standard energy spaces. This turns out to be a particular case of a recent result on the inf-sup stability of boundary integral operators for the wave equation and contributes to its further understanding. Moreover, we present the first BEM discretisations of second-kind operators for the wave equation for which stability is guaranteed and a complete numerical analysis is offered. We validate our theoretical findings with numerical experiments.
△ Less
Submitted 3 February, 2025;
originally announced February 2025.
-
Stable least-squares space-time boundary element methods for the wave equation
Authors:
Daniel Hoonhout,
Richard Löscher,
Olaf Steinbach,
Carolina Urzúa-Torres
Abstract:
In this paper, we recast the variational formulation corresponding to the single layer boundary integral operator $\operatorname{V}$ for the wave equation as a minimization problem in $L^2(Σ)$, where $Σ:= \partial Ω\times (0,T)$ is the lateral boundary of the space-time domain $Q := Ω\times (0,T)$. For discretization, the minimization problem is restated as a mixed saddle point formulation. Unique…
▽ More
In this paper, we recast the variational formulation corresponding to the single layer boundary integral operator $\operatorname{V}$ for the wave equation as a minimization problem in $L^2(Σ)$, where $Σ:= \partial Ω\times (0,T)$ is the lateral boundary of the space-time domain $Q := Ω\times (0,T)$. For discretization, the minimization problem is restated as a mixed saddle point formulation. Unique solvability is established by combining conforming nested boundary element spaces for the mixed formulation such that the related bilinear form is discrete inf-sup stable. We analyze under which conditions the discrete inf-sup stability is satisfied, and, moreover, we show that the mixed formulation provides a simple error indicator, which can be used for adaptivity. We present several numerical experiments showing the applicability of the method to different time-domain boundary integral formulations used in the literature.
△ Less
Submitted 19 December, 2023;
originally announced December 2023.
-
Calderón Preconditioning for Acoustic Scattering at Multi-Screens
Authors:
Kristof Cools,
Carolina Urzúa-Torres
Abstract:
We propose a preconditioner for the Helmholtz exterior problems on multi-screens. For this, we combine quotient-space BEM and operator preconditioning. For a class of multi-screens (which we dub \emph{type A} multi-screens), we show that this approach leads to block diagonal Calderón preconditioners and results in a spectral condition number that grows only logarithmically with $h$, just as in the…
▽ More
We propose a preconditioner for the Helmholtz exterior problems on multi-screens. For this, we combine quotient-space BEM and operator preconditioning. For a class of multi-screens (which we dub \emph{type A} multi-screens), we show that this approach leads to block diagonal Calderón preconditioners and results in a spectral condition number that grows only logarithmically with $h$, just as in the case of simple screens. Since the resulting scheme contains many more DoFs than strictly required, we also present strategies to remove almost all redundancy without significant loss of effectiveness of the preconditioner. We verify these findings by providing representative numerical results.
Further numerical experiments suggest that these results can be extended beyond type A multi-screens and that the numerical method introduced here can be applied to essentially all multi-screens encountered by the practitioner, leading to a significantly reduced simulation cost.
△ Less
Submitted 1 December, 2022;
originally announced December 2022.
-
Towards coercive boundary element methods for the wave equation
Authors:
Olaf Steinbach,
Carolina Urzúa-Torres,
Marco Zank
Abstract:
In this note, we discuss the ellipticity of the single layer boundary integral operator for the wave equation in one space dimension. This result not only generalizes the well-known ellipticity of the energetic boundary integral formulation in $L^2$, but it also turns out to be a particular case of a recent result on the inf-sup stability of boundary integral operators for the wave equation. Inste…
▽ More
In this note, we discuss the ellipticity of the single layer boundary integral operator for the wave equation in one space dimension. This result not only generalizes the well-known ellipticity of the energetic boundary integral formulation in $L^2$, but it also turns out to be a particular case of a recent result on the inf-sup stability of boundary integral operators for the wave equation. Instead of the time derivative in the energetic formulation, we use a modified Hilbert transformation, which allows us to stay in Sobolev spaces of the same order. This results in the applicability of standard boundary element error estimates, which are confirmed by numerical results.
△ Less
Submitted 3 June, 2021;
originally announced June 2021.
-
Full operator preconditioning and the accuracy of solving linear systems
Authors:
Stephan Mohr,
Yuji Nakatsukasa,
Carolina Urzúa-Torres
Abstract:
Unless special conditions apply, the attempt to solve ill-conditioned systems of linear equations with standard numerical methods leads to uncontrollably high numerical error. Often, such systems arise from the discretization of operator equations with a large number of discrete variables. In this paper we show that the accuracy can be improved significantly if the equation is transformed before d…
▽ More
Unless special conditions apply, the attempt to solve ill-conditioned systems of linear equations with standard numerical methods leads to uncontrollably high numerical error. Often, such systems arise from the discretization of operator equations with a large number of discrete variables. In this paper we show that the accuracy can be improved significantly if the equation is transformed before discretization, a process we call full operator preconditioning (FOP). It bears many similarities with traditional preconditioning for iterative methods but, crucially, transformations are applied at the operator level. We show that while condition-number improvements from traditional preconditioning generally do not improve the accuracy of the solution, FOP can. A number of topics in numerical analysis can be interpreted as implicitly employing FOP; we highlight (i) Chebyshev interpolation in polynomial approximation, and (ii) Olver-Townsend's spectral method, both of which produce solutions of dramatically improved accuracy over a naive problem formulation. In addition, we propose a FOP preconditioner based on integration for the solution of fourth-order differential equations with the finite-element method, showing the resulting linear system is well-conditioned regardless of the discretization size, and demonstrate its error-reduction capabilities on several examples. This work shows that FOP can improve accuracy beyond the standard limit for both direct and iterative methods.
△ Less
Submitted 17 May, 2021;
originally announced May 2021.
-
A new approach to space-time boundary integral equations for the wave equation
Authors:
Olaf Steinbach,
Carolina Urzúa-Torres
Abstract:
We present a new approach for boundary integral equations for the wave equation with zero initial conditions. Unlike previous attempts, our mathematical formulation allows us to prove that the associated boundary integral operators are continuous and satisfy inf-sup conditions in trace spaces of the same regularity, which are closely related to standard energy spaces with the expected regularity i…
▽ More
We present a new approach for boundary integral equations for the wave equation with zero initial conditions. Unlike previous attempts, our mathematical formulation allows us to prove that the associated boundary integral operators are continuous and satisfy inf-sup conditions in trace spaces of the same regularity, which are closely related to standard energy spaces with the expected regularity in space and time. This feature is crucial from a numerical perspective, as it provides the foundations to derive sharper error estimates and paves the way to devise efficient adaptive space-time boundary element methods, which will be tackled in future work. On the other hand, the proposed approach is compatible with current time dependent boundary element method's implementations and we predict that it explains many of the behaviours observed in practice but that were not understood with the existing theory.
△ Less
Submitted 14 May, 2021;
originally announced May 2021.
-
Optimal operator preconditioning for pseudodifferential boundary problems
Authors:
Heiko Gimperlein,
Jakub Stocek,
Carolina Urzua-Torres
Abstract:
We propose an operator preconditioner for general elliptic pseudodifferential equations in a domain $Ω$, where $Ω$ is either in $\mathbb{R}^n$ or in a Riemannian manifold. For linear systems of equations arising from low-order Galerkin discretizations, we obtain condition numbers that are independent of the mesh size and of the choice of bases for test and trial functions. The basic ingredient is…
▽ More
We propose an operator preconditioner for general elliptic pseudodifferential equations in a domain $Ω$, where $Ω$ is either in $\mathbb{R}^n$ or in a Riemannian manifold. For linear systems of equations arising from low-order Galerkin discretizations, we obtain condition numbers that are independent of the mesh size and of the choice of bases for test and trial functions. The basic ingredient is a classical formula by Boggio for the fractional Laplacian, which is extended analytically. In the special case of the weakly and hypersingular operators on a line segment or a screen, our approach gives a unified, independent proof for a series of recent results by Hiptmair, Jerez-Hanckes, Nédélec and Urzúa-Torres. We also study the increasing relevance of the regularity assumptions on the mesh with the order of the operator. Numerical examples validate our theoretical findings and illustrate the performance of the proposed preconditioner on quasi-uniform, graded and adaptively generated meshes.
△ Less
Submitted 16 March, 2021; v1 submitted 9 May, 2019;
originally announced May 2019.
-
Closed-Form Exact Inverses of the Weakly Singular and Hypersingular Operators On Disks
Authors:
Ralf Hiptmair,
Carlos Jerez-Hanckes,
Carolina Urzua-Torres
Abstract:
We introduce new boundary integral operators which are the exact inverses of the weakly singular and hypersingular operators for the Laplacian on flat disks. Moreover, we provide explicit closed forms for them and prove the continuity and ellipticity of their corresponding bilinear forms in the natural Sobolev trace spaces. This permit us to derive new Calderón-type identities that can provide the…
▽ More
We introduce new boundary integral operators which are the exact inverses of the weakly singular and hypersingular operators for the Laplacian on flat disks. Moreover, we provide explicit closed forms for them and prove the continuity and ellipticity of their corresponding bilinear forms in the natural Sobolev trace spaces. This permit us to derive new Calderón-type identities that can provide the foundation for optimal operator preconditioning in Galerkin boundary element methods.
△ Less
Submitted 24 March, 2017;
originally announced March 2017.
