-
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.
-
Surrogate modeling of resonant behavior in scattering problems through adaptive rational approximation and sketching
Authors:
Davide Pradovera,
Ralf Hiptmair,
Ilaria Perugia
Abstract:
This paper describes novel algorithms for the identification of (almost-)resonant behavior in scattering problems. Our methods, relying on rational approximation, aim at building surrogate models of what we call "field amplification", defined as the norm of the solution operator of the scattering problem, which we express through boundary-integral equations. To provide our techniques with theoreti…
▽ More
This paper describes novel algorithms for the identification of (almost-)resonant behavior in scattering problems. Our methods, relying on rational approximation, aim at building surrogate models of what we call "field amplification", defined as the norm of the solution operator of the scattering problem, which we express through boundary-integral equations. To provide our techniques with theoretical foundations, we first derive results linking the field amplification to the spectral properties of the operator that defines the scattering problem. Such results are then used to justify the use of rational approximation in the surrogate-modeling task. Some of our proposed methods apply rational approximation in a "standard" way, building a rational approximant for either the solution operator directly or, in the interest of computational efficiency, for a randomly "sketched" version of it. Our other "hybrid" approaches are more innovative, combining rational-approximation-assisted root-finding with approximation using radial basis functions. Three key features of our methods are that (i) they are agnostic of the strategy used to discretize the scattering problem, (ii) they do not require any computations involving non-real wavenumbers, and (iii) they can adjust to different settings through the use of adaptive sampling strategies. We carry out some numerical experiments involving 2D scatterers to compare our approaches. In our tests, two of our approaches (one standard, one hybrid) emerge as the best performers, with one or the other being preferable, depending on whether emphasis is placed on accuracy or efficiency.
△ Less
Submitted 13 March, 2025;
originally announced March 2025.
-
Wave scattering with time-periodic coefficients: Energy estimates and harmonic formulations
Authors:
Jörg Nick,
Ralf Hiptmair,
Habib Ammari
Abstract:
This paper investigates acoustic wave scattering from materials with periodic time-modulated material parameters. We consider the basic case of a single connected domain where absorbing or Neumann boundary conditions are enforced. Energy estimates limit the exponential growth of solutions to the initial value problem, thereby confining Floquet exponents to a complex half-space under absorbing boun…
▽ More
This paper investigates acoustic wave scattering from materials with periodic time-modulated material parameters. We consider the basic case of a single connected domain where absorbing or Neumann boundary conditions are enforced. Energy estimates limit the exponential growth of solutions to the initial value problem, thereby confining Floquet exponents to a complex half-space under absorbing boundary conditions and to a strip near the real axis for Neumann conditions. We introduce a system of coupled harmonics and establish a Fredholm alternative result using Riesz-Schauder theory. For a finite set of harmonics, we show that the spectrum remains discrete. Different eigenvalue formulations for the Floquet exponents are formulated and connected to these results. Employing a space discretization to the system of coupled harmonics filters spatially oscillating modes, which is shown to imply a localization result for the temporal spectrum of the fully discrete coupled harmonics. Such a localization result is the key to further analysis, since the truncation of the coupled harmonics is critically affected for non-localized modes. We use the localization result to show that, when enough harmonics are included, the approximated Floquet exponents exhibit the same limitations as their continuous counterparts. Moreover, the approximated modes are shown to satisfy the defining properties of Bloch modes, with a defect that vanishes as the number of harmonics approaches infinity. Numerical experiments demonstrate the effectiveness of the proposed approach and illustrate the theoretical findings.
△ Less
Submitted 14 October, 2024;
originally announced October 2024.
-
Frequency-Explicit Shape Holomorphy in Uncertainty Quantification for Acoustic Scattering
Authors:
Ralf Hiptmair,
Christoph Schwab,
Euan A. Spence
Abstract:
We consider frequency-domain acoustic scattering at a homogeneous star-shaped penetrable obstacle, whose shape is uncertain and modelled via a radial spectral parameterization with random coefficients. Using recent results on the stability of Helmholtz transmission problems with piecewise constant coefficients from [A. Moiola and E. A. Spence, Acoustic transmission problems: wavenumber-explicit bo…
▽ More
We consider frequency-domain acoustic scattering at a homogeneous star-shaped penetrable obstacle, whose shape is uncertain and modelled via a radial spectral parameterization with random coefficients. Using recent results on the stability of Helmholtz transmission problems with piecewise constant coefficients from [A. Moiola and E. A. Spence, Acoustic transmission problems: wavenumber-explicit bounds and resonance-free regions, Mathematical Models and Methods in Applied Sciences, 29 (2019), pp. 317-354] we obtain frequency-explicit statements on the holomorphic dependence of the scattered field and the far-field pattern on the stochastic shape parameters. This paves the way for applying general results on the efficient construction of high-dimensional surrogate models. We also take into account the effect of domain truncation by means of perfectly matched layers (PML). In addition, spatial regularity estimates which are explicit in terms of the wavenumber $k$ permit us to quantify the impact of finite-element Galerkin discretization using high-order Lagrangian finite-element spaces.
△ Less
Submitted 11 April, 2025; v1 submitted 2 August, 2024;
originally announced August 2024.
-
H(curl)-based approximation of the Stokes problem with slip boundary conditions
Authors:
Wietse M. Boon,
Ralf Hiptmair,
Wouter Tonnon,
Enrico Zampa
Abstract:
The equations governing incompressible Stokes flow are reformulated such that the velocity is sought in the space H(curl). This relaxed regularity assumption leads to conforming finite element methods using spaces common to discretizations of Maxwell's equations. A drawback of this approach, however, is that it is not immediately clear how to enforce Navier-slip boundary conditions. By recognizing…
▽ More
The equations governing incompressible Stokes flow are reformulated such that the velocity is sought in the space H(curl). This relaxed regularity assumption leads to conforming finite element methods using spaces common to discretizations of Maxwell's equations. A drawback of this approach, however, is that it is not immediately clear how to enforce Navier-slip boundary conditions. By recognizing the slip condition as a Robin boundary condition, we show that the continuous system is well-posed, propose finite element methods, and analyze the discrete system by deriving stability and a priori error estimates. Numerical experiments in 2D confirm the derived, optimal convergence rates.
△ Less
Submitted 18 July, 2024;
originally announced July 2024.
-
Coupled Boundary and Volume Integral Equations for Electromagnetic Scattering
Authors:
Ignacio Labarca-Figueroa,
Ralf Hiptmair
Abstract:
We study frequency domain electromagnetic scattering at a bounded, penetrable, and inhomogeneous obstacle $ Ω\subset \mathbb{R}^3 $. From the Stratton-Chu integral representation, we derive a new representation formula when constant reference coefficients are given for the interior domain. The resulting integral representation contains the usual layer potentials, but also volume potentials on $Ω$.…
▽ More
We study frequency domain electromagnetic scattering at a bounded, penetrable, and inhomogeneous obstacle $ Ω\subset \mathbb{R}^3 $. From the Stratton-Chu integral representation, we derive a new representation formula when constant reference coefficients are given for the interior domain. The resulting integral representation contains the usual layer potentials, but also volume potentials on $Ω$. Then it is possible to follow a single-trace approach to obtain boundary integral equations perturbed by traces of compact volume integral operators with weakly singular kernels. The coupled boundary and volume integral equations are discretized with a Galerkin approach with usual Curl-conforming and Div-conforming finite elements on the boundary and in the volume. Compression techniques and special quadrature rules for singular integrands are required for an efficient and accurate method. Numerical experiments provide evidence that our new formulation enjoys promising properties.
△ Less
Submitted 14 December, 2024; v1 submitted 26 March, 2024;
originally announced March 2024.
-
Boundary Element Methods for the Laplace Hypersingular Integral Equation on Multiscreens: a two-level Substructuring Preconditioner
Authors:
Martin Averseng,
Xavier Claeys,
Ralf Hiptmair
Abstract:
We present a preconditioning method for the linear systems arising from the boundary element discretization of the Laplace hypersingular equation on a $2$-dimensional triangulated surface $Γ$ in $\mathbb{R}^3$. We allow $Γ$ to belong to a large class of geometries that we call polygonal multiscreens, which can be non-manifold. After introducing a new, simple conforming Galerkin discretization, we…
▽ More
We present a preconditioning method for the linear systems arising from the boundary element discretization of the Laplace hypersingular equation on a $2$-dimensional triangulated surface $Γ$ in $\mathbb{R}^3$. We allow $Γ$ to belong to a large class of geometries that we call polygonal multiscreens, which can be non-manifold. After introducing a new, simple conforming Galerkin discretization, we analyze a substructuring domain-decomposition preconditioner based on ideas originally developed for the Finite Element Method. The surface $Γ$ is subdivided into non-overlapping regions, and the application of the preconditioner is obtained via the solution of the hypersingular equation on each patch, plus a coarse subspace correction. We prove that the condition number of the preconditioned linear system grows poly-logarithmically with $H/h$, the ratio of the coarse mesh and fine mesh size, and our numerical results indicate that this bound is sharp. This domain-decomposition algorithm therefore guarantees significant speedups for iterative solvers, even when a large number of subdomains is used.
△ Less
Submitted 13 October, 2023;
originally announced October 2023.
-
Skeleton Integral Equations for Acoustic Transmission Problems with Varying Coefficients
Authors:
Francesco Florian,
Ralf Hiptmair,
Stefan A. Sauter
Abstract:
In this paper we will derive an non-local (``integral'') equation which transforms a three-dimensional acoustic transmission problem with \emph{variable} coefficients, non-zero absorption, and mixed boundary conditions to a non-local equation on a ``skeleton'' of the domain $Ω\subset\mathbb{R}^{3}$, where ``skeleton'' stands for the union of the interfaces and boundaries of a Lipschitz partition o…
▽ More
In this paper we will derive an non-local (``integral'') equation which transforms a three-dimensional acoustic transmission problem with \emph{variable} coefficients, non-zero absorption, and mixed boundary conditions to a non-local equation on a ``skeleton'' of the domain $Ω\subset\mathbb{R}^{3}$, where ``skeleton'' stands for the union of the interfaces and boundaries of a Lipschitz partition of $Ω$. To that end, we introduce and analyze abstract layer potentials as solutions of auxiliary coercive full space variational problems and derive jump conditions across domain interfaces. This allows us to formulate the non-local skeleton equation as a \emph{direct method} for the unknown Cauchy data of the solution of the original partial differential equation. We establish coercivity and continuity of the variational form of the skeleton equation based on auxiliary full space variational problems. Explicit expressions for Green's functions is not required and all our estimates are \emph{explicit} in the complex wave number.
△ Less
Submitted 24 February, 2024; v1 submitted 1 May, 2023;
originally announced May 2023.
-
Semi-Lagrangian Finite-Element Exterior Calculus for Incompressible Flows
Authors:
Wouter Tonnon,
Ralf Hiptmair
Abstract:
We develop a mesh-based semi-Lagrangian discretization of the time-dependent incompressible Navier-Stokes equations with free boundary conditions recast as a non-linear transport problem for a momentum 1-form. A linearly implicit fully discrete version of the scheme enjoys excellent stability properties in the vanishing viscosity limit and is applicable to inviscid incompressible Euler flows. Cons…
▽ More
We develop a mesh-based semi-Lagrangian discretization of the time-dependent incompressible Navier-Stokes equations with free boundary conditions recast as a non-linear transport problem for a momentum 1-form. A linearly implicit fully discrete version of the scheme enjoys excellent stability properties in the vanishing viscosity limit and is applicable to inviscid incompressible Euler flows. Conservation of energy and helicity are enforced separately.
△ Less
Submitted 2 February, 2024; v1 submitted 12 January, 2023;
originally announced January 2023.
-
Fractured Meshes
Authors:
Martin Averseng,
Xavier Claeys,
Ralf Hiptmair
Abstract:
This work introduces ``generalized meshes", a type of meshes suited for the discretization of partial differential equations in non-regular geometries. Generalized meshes extend regular simplicial meshes by allowing for overlapping elements and more flexible adjacency relations. They can have several distinct ``generalized" vertices (or edges, faces) that occupy the same geometric position. These…
▽ More
This work introduces ``generalized meshes", a type of meshes suited for the discretization of partial differential equations in non-regular geometries. Generalized meshes extend regular simplicial meshes by allowing for overlapping elements and more flexible adjacency relations. They can have several distinct ``generalized" vertices (or edges, faces) that occupy the same geometric position. These generalized facets are the natural degrees of freedom for classical conforming spaces of discrete differential forms appearing in finite and boundary element applications. Special attention is devoted to the representation of fractured domains and their boundaries. An algorithm is proposed to construct the so-called {\em virtually inflated mesh}, which correspond to a ``two-sided" mesh of a fracture. Discrete $d$-differential forms on the virtually inflated mesh are characterized as the trace space of discrete $d$-differential forms in the surrounding volume.
△ Less
Submitted 29 December, 2022;
originally announced December 2022.
-
Traces for Hilbert Complexes
Authors:
Ralf Hiptmair,
Dirk Pauly,
Erick Schulz
Abstract:
We study a new notion of trace operators and trace spaces for abstract Hilbert complexes. We introduce trace spaces as quotient spaces/annihilators. We characterize the kernels and images of the related trace operators and discuss duality relationships between trace spaces. We elaborate that many properties of the classical boundary traces associated with the Euclidean de Rham complex on bounded L…
▽ More
We study a new notion of trace operators and trace spaces for abstract Hilbert complexes. We introduce trace spaces as quotient spaces/annihilators. We characterize the kernels and images of the related trace operators and discuss duality relationships between trace spaces. We elaborate that many properties of the classical boundary traces associated with the Euclidean de Rham complex on bounded Lipschitz domains are rooted in the general structure of Hilbert complexes. We arrive at abstract trace Hilbert complexes that can be formulated using quotient spaces/annihilators. We show that, if a Hilbert complex admits stable "regular decompositions" with compact lifting operators, then the associated trace Hilbert complex is Fredholm. Incarnations of abstract concepts and results in the concrete case of the de Rham complex in three-dimensional Euclidean space will be discussed throughout.
△ Less
Submitted 1 March, 2022;
originally announced March 2022.
-
Spurious Quasi-Resonances in Boundary Integral Equations for the Helmholtz Transmission Problem
Authors:
Ralf Hiptmair,
Andrea Moiola,
Euan A. Spence
Abstract:
We consider the Helmholtz transmission problem with piecewise-constant material coefficients, and the standard associated direct boundary integral equations. For certain coefficients and geometries, the norms of the inverses of the boundary integral operators grow rapidly through an increasing sequence of frequencies, even though this is not the case for the solution operator of the transmission p…
▽ More
We consider the Helmholtz transmission problem with piecewise-constant material coefficients, and the standard associated direct boundary integral equations. For certain coefficients and geometries, the norms of the inverses of the boundary integral operators grow rapidly through an increasing sequence of frequencies, even though this is not the case for the solution operator of the transmission problem; we call this phenomenon that of spurious quasi-resonances. We give a rigorous explanation of why and when spurious quasi-resonances occur, and propose modified boundary integral equations that are not affected by them.
△ Less
Submitted 27 April, 2022; v1 submitted 17 September, 2021;
originally announced September 2021.
-
First-Kind Boundary Integral Equations for the Dirac Operator in 3D Lipschitz Domains
Authors:
Erick Schulz,
Ralf Hiptmair
Abstract:
We develop novel first-kind boundary integral equations for Euclidean Dirac operators in 3D Lipschitz domains comprising square-integrable potentials and involving only weakly singular kernels. Generalized Garding inequalities are derived and we establish that the obtained boundary integral operators are Fredholm of index zero. Their finite dimensional kernels are characterized and we show that th…
▽ More
We develop novel first-kind boundary integral equations for Euclidean Dirac operators in 3D Lipschitz domains comprising square-integrable potentials and involving only weakly singular kernels. Generalized Garding inequalities are derived and we establish that the obtained boundary integral operators are Fredholm of index zero. Their finite dimensional kernels are characterized and we show that their dimension is equal to the number of topological invariants of the domain's boundary, in other words to the sum of its Betti numbers. This is explained by the fundamental discovery that the associated bilinear forms agree with those induced by the 2D surface Dirac operators for H-1/2 surface de Rham Hilbert complexes whose underlying inner-products are the non-local inner products defined through the classical single-layer boundary integral operators for the Laplacian. Decay conditions for well-posedness in natural energy spaces of the Dirac system in unbounded exterior domains are also presented.
△ Less
Submitted 13 October, 2021; v1 submitted 22 December, 2020;
originally announced December 2020.
-
Spurious Resonances in Coupled Domain-Boundary Variational Formulations of Transmission Problems in Electromagnetism and Acoustics
Authors:
Erick Schulz,
Ralf Hiptmair
Abstract:
We develop a framework shedding light on common features of coupled variational formulations arising in electromagnetic scattering and acoustics. We show that spurious resonances haunting coupled domain-boundary formulations based on direct boundary integral equations of the first kind originate from the formal structure of their Calderon identities. Using this observation, the kernel of the coupl…
▽ More
We develop a framework shedding light on common features of coupled variational formulations arising in electromagnetic scattering and acoustics. We show that spurious resonances haunting coupled domain-boundary formulations based on direct boundary integral equations of the first kind originate from the formal structure of their Calderon identities. Using this observation, the kernel of the coupled problem is characterized explicitly and we show that it completely vanishes under the exterior representation formula.
△ Less
Submitted 27 February, 2022; v1 submitted 31 March, 2020;
originally announced March 2020.
-
Coupled Domain-Boundary Variational Formulations For Hodge-Helmholtz Operators
Authors:
Erick Schulz,
Ralf Hiptmair
Abstract:
We couple the mixed variational problem for the generalized Hodge-Helmholtz or Hodge-Laplace equation posed on a bounded three-dimensional Lipschitz domain with the first-kind boundary integral equation arising from the latter when constant coefficients are assumed in the unbounded complement. Recently developed Calderon projectors for the relevant boundary integral operators are used to perform a…
▽ More
We couple the mixed variational problem for the generalized Hodge-Helmholtz or Hodge-Laplace equation posed on a bounded three-dimensional Lipschitz domain with the first-kind boundary integral equation arising from the latter when constant coefficients are assumed in the unbounded complement. Recently developed Calderon projectors for the relevant boundary integral operators are used to perform a symmetric coupling. We prove stability of the coupled problem away from resonant frequencies by establishing a generalized Garding inequality (T-coercivity). The resulting system of equations describes the scattering of monochromatic electromagnetic waves at a bounded inhomogeneous isotropic body possibly having a "rough" surface. The low-frequency robustness of the potential formulation of Maxwell's equations makes this model a promising starting point for Galerkin discretization.
△ Less
Submitted 13 October, 2021; v1 submitted 27 March, 2020;
originally announced March 2020.
-
A Stable Boundary Integral Formulation of an Acoustic Wave Transmission Problem with Mixed Boundary Conditions
Authors:
Sarah Eberle,
Francesco Florian,
Ralf Hiptmair,
Stefan A. Sauter
Abstract:
In this paper, we consider an acoustic wave transmission problem with mixed boundary conditions of Dirichlet, Neumann, and impedance type. The transmission interfaces may join the domain boundary in a general way independent of the location of the boundary conditions. We will derive a formulation as a \textit{direct}, \textit{space-time retarded boundary integral equation}, where both Cauchy data…
▽ More
In this paper, we consider an acoustic wave transmission problem with mixed boundary conditions of Dirichlet, Neumann, and impedance type. The transmission interfaces may join the domain boundary in a general way independent of the location of the boundary conditions. We will derive a formulation as a \textit{direct}, \textit{space-time retarded boundary integral equation}, where both Cauchy data are kept as unknowns on the impedance part of the boundary. This requires the definition of single-trace spaces which incorporate homogeneous Dirichlet and Neumann conditions on the corresponding parts on the boundary. We prove the continuity and coercivity of the formulation by employing the technique of operational calculus in the Laplace domain.
△ Less
Submitted 6 October, 2020; v1 submitted 3 July, 2019;
originally announced July 2019.
-
Elastic energy regularization for inverse obstacle scattering problems
Authors:
Julian Eckhardt,
Ralf Hiptmair,
Thorsten Hohage,
Henrik Schumacher,
Max Wardetzky
Abstract:
By introducing a shape manifold as a solution set to solve inverse obstacle scattering problems we allow the reconstruction of general, not necessarily star-shaped curves. The bending energy is used as a stabilizing term in Tikhonov regularization to gain independence of the parametrization. Moreover, we discuss how self-intersections can be avoided by penalization with the Möbius energy and prove…
▽ More
By introducing a shape manifold as a solution set to solve inverse obstacle scattering problems we allow the reconstruction of general, not necessarily star-shaped curves. The bending energy is used as a stabilizing term in Tikhonov regularization to gain independence of the parametrization. Moreover, we discuss how self-intersections can be avoided by penalization with the Möbius energy and prove the regularizing property of our approach as well as convergence rates under variational source conditions.
In the second part of the paper the discrete setting is introduced, and we describe a numerical method for finding the minimizer of the Tikhonov functional on a shape-manifold. Numerical examples demonstrate the feasibility of reconstructing non-star-shaped obstacles.
△ Less
Submitted 12 March, 2019;
originally announced March 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.
-
A Survey of Trefftz Methods for the Helmholtz Equation
Authors:
Ralf Hiptmair,
Andrea Moiola,
Ilaria Perugia
Abstract:
Trefftz methods are finite element-type schemes whose test and trial functions are (locally) solutions of the targeted differential equation. They are particularly popular for time-harmonic wave problems, as their trial spaces contain oscillating basis functions and may achieve better approximation properties than classical piecewise-polynomial spaces.
We review the construction and properties o…
▽ More
Trefftz methods are finite element-type schemes whose test and trial functions are (locally) solutions of the targeted differential equation. They are particularly popular for time-harmonic wave problems, as their trial spaces contain oscillating basis functions and may achieve better approximation properties than classical piecewise-polynomial spaces.
We review the construction and properties of several Trefftz variational formulations developed for the Helmholtz equation, including least squares, discontinuous Galerkin, ultra weak variational formulation, variational theory of complex rays and wave based methods. The most common discrete Trefftz spaces used for this equation employ generalised harmonic polynomials (circular and spherical waves), plane and evanescent waves, fundamental solutions and multipoles as basis functions; we describe theoretical and computational aspects of these spaces, focusing in particular on their approximation properties.
One of the most promising, but not yet well developed, features of Trefftz methods is the use of adaptivity in the choice of the propagation directions for the basis functions. The main difficulties encountered in the implementation are the assembly and the ill-conditioning of linear systems, we briefly survey some strategies that have been proposed to cope with these problems.
△ Less
Submitted 4 September, 2015; v1 submitted 15 June, 2015;
originally announced June 2015.
-
Eulerian and Semi-Lagrangian Methods for Convection-Diffusion for Differential Forms
Authors:
Holger Heumann,
Ralf Hiptmair
Abstract:
We consider generalized linear transient convection-diffusion problems for differential forms on bounded domains in $\mathbb{R}^{n}$. These involve Lie derivatives with respect to a prescribed smooth vector field. We construct both new Eulerian and semi-Lagrangian approaches to the discretization of the Lie derivatives in the context of a Galerkin approximation based on discrete differential for…
▽ More
We consider generalized linear transient convection-diffusion problems for differential forms on bounded domains in $\mathbb{R}^{n}$. These involve Lie derivatives with respect to a prescribed smooth vector field. We construct both new Eulerian and semi-Lagrangian approaches to the discretization of the Lie derivatives in the context of a Galerkin approximation based on discrete differential forms. Details of implementation are discussed as well as an application to the discretization of eddy current equations in moving media.
△ Less
Submitted 7 January, 2010;
originally announced January 2010.
-
Discrete compactness for the p-version of discrete differential forms
Authors:
Daniele Boffi,
Martin Costabel,
Monique Dauge,
Leszek Demkowicz,
Ralf Hiptmair
Abstract:
In this paper we prove the discrete compactness property for a wide class of p-version finite element approximations of non-elliptic variational eigenvalue problems in two and three space dimensions. In a very general framework, we find sufficient conditions for the p-version of a generalized discrete compactness property, which is formulated in the setting of discrete differential forms of any or…
▽ More
In this paper we prove the discrete compactness property for a wide class of p-version finite element approximations of non-elliptic variational eigenvalue problems in two and three space dimensions. In a very general framework, we find sufficient conditions for the p-version of a generalized discrete compactness property, which is formulated in the setting of discrete differential forms of any order on a d-dimensional polyhedral domain. One of the main tools for the analysis is a recently introduced smoothed Poincaré lifting operator [M. Costabel and A. McIntosh, On Bogovskii and regularized Poincaré integral operators for de Rham complexes on Lipschitz domains, Math. Z., (2010)]. For forms of order 1 our analysis shows that several widely used families of edge finite elements satisfy the discrete compactness property in p-version and hence provide convergent solutions to the Maxwell eigenvalue problem. In particular, Nédélec elements on triangles and tetrahedra (first and second kind) and on parallelograms and parallelepipeds (first kind) are covered by our theory.
△ Less
Submitted 27 October, 2010; v1 submitted 28 September, 2009;
originally announced September 2009.
-
Convergence of the Natural hp-BEM for the Electric Field Integral Equation on Polyhedral Surfaces
Authors:
Alexei Bespalov,
Norbert Heuer,
Ralf Hiptmair
Abstract:
We consider the variational formulation of the electric field integral equation (EFIE) on bounded polyhedral open or closed surfaces. We employ a conforming Galerkin discretization based on div-conforming Raviart-Thomas boundary elements (BEM) of locally variable polynomial degree on shape-regular surface meshes. We establish asymptotic quasi-optimality of Galerkin solutions on sufficiently fine…
▽ More
We consider the variational formulation of the electric field integral equation (EFIE) on bounded polyhedral open or closed surfaces. We employ a conforming Galerkin discretization based on div-conforming Raviart-Thomas boundary elements (BEM) of locally variable polynomial degree on shape-regular surface meshes. We establish asymptotic quasi-optimality of Galerkin solutions on sufficiently fine meshes or for sufficiently high polynomial degree.
△ Less
Submitted 29 July, 2009;
originally announced July 2009.
-
Local Multigrid in H(curl)
Authors:
Ralf Hiptmair,
Weiying Zheng
Abstract:
We consider H(curl)-elliptic variational problems on bounded Lipschitz polyhedra and their finite element Galerkin discretization by means of lowest order edge elements. We assume that the underlying tetrahedral mesh has been created by successive local mesh refinement, either by local uniform refinement with hanging nodes or bisection refinement. In this setting we develop a convergence theory…
▽ More
We consider H(curl)-elliptic variational problems on bounded Lipschitz polyhedra and their finite element Galerkin discretization by means of lowest order edge elements. We assume that the underlying tetrahedral mesh has been created by successive local mesh refinement, either by local uniform refinement with hanging nodes or bisection refinement. In this setting we develop a convergence theory for the the so-called local multigrid correction scheme with hybrid smoothing. We establish that its convergence rate is uniform with respect to the number of refinement steps. The proof relies on corresponding results for local multigrid in a H1-context along with local discrete Helmholtz-type decompositions of the edge element space.
△ Less
Submitted 7 January, 2009;
originally announced January 2009.
-
Discrete Compactness for p-Version of Tetrahedral Edge Elements
Authors:
Ralf Hiptmair
Abstract:
We consider the first family of $\Hcurl$-conforming Nedéléc finite elements on tetrahedral meshes. Spectral approximation ($p$-version) is achieved by keeping the mesh fixed and raising the polynomial degree $p$ uniformly in all mesh cells. We prove that the associated subspaces of discretely weakly divergence free piecewise polynomial vector fields enjoy a long conjectured discrete compactness…
▽ More
We consider the first family of $\Hcurl$-conforming Nedéléc finite elements on tetrahedral meshes. Spectral approximation ($p$-version) is achieved by keeping the mesh fixed and raising the polynomial degree $p$ uniformly in all mesh cells. We prove that the associated subspaces of discretely weakly divergence free piecewise polynomial vector fields enjoy a long conjectured discrete compactness property as $p\to\infty$. This permits us to conclude asymptotic spectral correctness of spectral Galerkin finite element approximations of Maxwell eigenvalue problems.
△ Less
Submitted 7 January, 2009;
originally announced January 2009.
-
Self-adjoint curl operators
Authors:
R. Hiptmair,
P. R. Kotiuga,
S. Tordeux
Abstract:
We study the exterior derivative as a symmetric unbounded operator on square integrable 1-forms on a 3D bounded domain $D$. We aim to identify boundary conditions that render this operator self-adjoint. By the symplectic version of the Glazman-Krein-Naimark theorem this amounts to identifying complete Lagrangian subspaces of the trace space of H(curl) equipped with a symplectic pairing arising f…
▽ More
We study the exterior derivative as a symmetric unbounded operator on square integrable 1-forms on a 3D bounded domain $D$. We aim to identify boundary conditions that render this operator self-adjoint. By the symplectic version of the Glazman-Krein-Naimark theorem this amounts to identifying complete Lagrangian subspaces of the trace space of H(curl) equipped with a symplectic pairing arising from the $\wedge$-product of 1-forms on $\partial D$. Substantially generalizing earlier results, we characterize Lagrangian subspaces associated with closed and co-closed traces. In the case of non-trivial topology of the domain, different contributions from co-homology spaces also distinguish different self-adjoint extension. Finally, all self-adjoint extensions discussed in the paper are shown to possess a discrete point spectrum, and their relationship with curl curl-operators is discussed.
△ Less
Submitted 4 September, 2008;
originally announced September 2008.
