arXiv subjects

Martin Costabel

Publications and source records attributed to Martin Costabel.

23 records · Page 2Linked to original sources

arXiv2011

Analytic Regularity for Linear Elliptic Systems in Polygons and Polyhedra

We prove weighted anisotropic analytic estimates for solutions of second order elliptic boundary value problems in polyhedra. The weighted analytic classes which we use are the same as those introduced by Guo in 1993 in view of establishing exponential convergence for hp finite element methods in polyhedra. We first give a simple proof of the known weighted analytic regularity in a polygon, relying on a new formulation of elliptic a priori estimates in smooth domains with analytic control of derivatives. The technique is based on dyadic partitions near the corners. This technique can successfully be extended to polyhedra, providing isotropic analytic regularity. This is not optimal, because it does not take advantage of the full regularity along the edges. We combine it with a nested open set technique to obtain the desired three-dimensional anisotropic analytic regularity result. Our proofs are global and do not require the analysis of singular functions.

math.AP↗

arXiv2011

On the Kleinman-Martin integral equation method for electromagnetic scattering by a dielectric body

The interface problem describing the scattering of time-harmonic electromagnetic waves by a dielectric body is often formulated as a pair of coupled boundary integral equations for the electric and magnetic current densities on the interface $Γ$. In this paper, following an idea developed by Kleinman and Martin \cite{KlMa} for acoustic scattering problems, we consider methods for solving the dielectric scattering problem using a single integral equation over $Γ$ for a single unknown density. One knows that such boundary integral formulations of the Maxwell equations are not uniquely solvable when the exterior wave number is an eigenvalue of an associated interior Maxwell boundary value problem. We obtain four different families of integral equations for which we can show that by choosing some parameters in an appropriate way, they become uniquely solvable for all real frequencies. We analyze the well-posedness of the integral equations in the space of finite energy on smooth and non-smooth boundaries.

math.NA↗

arXiv2010

Discrete compactness for the p-version of discrete differential forms

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.

math.NA↗

arXiv2010

Shape derivatives of boundary integral operators in electromagnetic scattering

We develop the shape derivative analysis of solutions to the problem of scattering of time-harmonic electromagnetic waves by a bounded penetrable obstacle. Since boundary integral equations are a classical tool to solve electromagnetic scattering problems, we study the shape differentiability properties of the standard electromagnetic boundary integral operators. Using Helmholtz decomposition, we can base their analysis on the study of scalar integral operators in standard Sobolev spaces, but we then have to study the Gâteaux differentiability of surface differential operators. We prove that the electromagnetic boundary integral operators are infinitely differentiable without loss of regularity and that the solutions of the scattering problem are infinitely shape differentiable away from the boundary of the obstacle, whereas their derivatives lose regularity on the boundary. We also give a characterization of the first shape derivative as a solution of a new electromagnetic scattering problem.

math.NA↗

arXiv2009

On Bogovski\uı and regularized Poincaré integral operators for de Rham complexes on Lipschitz domains

We study integral operators related to a regularized version of the classical Poincaré path integral and the adjoint class generalizing Bogovski\uı's integral operator, acting on differential forms in $R^n$. We prove that these operators are pseudodifferential operators of order -1. The Poincaré-type operators map polynomials to polynomials and can have applications in finite element analysis. For a domain starlike with respect to a ball, the special support properties of the operators imply regularity for the de Rham complex without boundary conditions (using Poincaré-type operators) and with full Dirichlet boundary conditions (using Bogovski\uı-type operators). For bounded Lipschitz domains, the same regularity results hold, and in addition we show that the cohomology spaces can always be represented by $C^\infty$ functions.

math.AP↗