Source author record

Martin Costabel

Martin Costabel appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

9works
6topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

9 published item(s)

preprint2015arXiv

Inequalities of Babuška-Aziz and Friedrichs-Velte for differential forms

For sufficiently smooth bounded plane domains, the equivalence between the inequalities of Babu{\v s}ka --Aziz for right inverses of the divergence and of Friedrichs on conjugate harmonic functions was shown by Horgan and Payne in 1983 [7]. In a previous paper [4] we proved that this equivalence, and the equality between the associated constants, is true without any regularity condition on the domain. In three dimensions, Velte [9] studied a generalization of the notion of conjugate harmonic functions and corresponding generalizations of Friedrich's inequality, and he showed for sufficiently smooth simply-connected domains the equivalence with inf-sup conditions for the divergence and for the curl. For this equivalence, Zsupp{á}n [10] observed that our proof can be adapted, proving the equality between the corresponding constants without regularity assumptions on the domain. Here we formulate a generalization of the Friedrichs inequality for conjugate harmonic differential forms on bounded open sets in any dimension that contains the situations studied by Horgan--Payne and Velte as special cases. We also formulate the corresponding inf-sup conditions or Babu{\v s}ka --Aziz inequalities and prove their equivalence with the Friedrichs inequalities, including equality between the corresponding constants. No a-priori conditions on the regularity of the open set nor on its topology are assumed.

preprint2015arXiv

Volume integral equations for electromagnetic scattering in two dimensions

We study the strongly singular volume integral equation that describes the scattering of time-harmonic electromagnetic waves by a penetrable obstacle. We consider the case of a cylindrical obstacle and fields invariant along the axis of the cylinder, which allows the reduction to two-dimensional problems. With this simplification, we can refine the analysis of the essential spectrum of the volume integral operator started in a previous paper (M. Costabel, E. Darrigrand, H. Sakly: The essential spectrum of the volume integral operator in electromagnetic scattering by a homogeneous body, Comptes Rendus Mathematique, 350 (2012), pp. 193-197) and obtain results for non-smooth domains that were previously available only for smooth domains. It turns out that in the TE case, the magnetic contrast has no influence on the Fredholm properties of the problem. As a byproduct of the choice that exists between a vectorial and a scalar volume integral equation, we discover new results about the symmetry of the spectrum of the double layer boundary integral operator on Lipschitz domains.

preprint2012arXiv

Potential maps, Hardy spaces, and tent spaces on special Lipschitz domains

Suppose that $Ω$ is the open region in $\mathbb{R}^n$ above a Lipschitz graph and let $d$ denote the exterior derivative on $\mathbb{R}^n$. We construct a convolution operator $T $ which preserves support in $\bar{Ω$}, is smoothing of order 1 on the homogeneous function spaces, and is a potential map in the sense that $dT$ is the identity on spaces of exact forms with support in $\barΩ$. Thus if $f$ is exact and supported in $\barΩ$, then there is a potential $u$, given by $u=Tf$, of optimal regularity and supported in $\barΩ$, such that $du=f$. This has implications for the regularity in homogeneous function spaces of the de Rham complex on $Ω$ with or without boundary conditions. The operator $T$ is used to obtain an atomic characterisation of Hardy spaces $H^p$ of exact forms with support in $\barΩ$ when $n/(n+1)<p\leq1$. This is done via an atomic decomposition of functions in the tent spaces $\mathcal T^p(\mathbb{R}^n\times\mathbb{R}^+)$ with support in a tent $T(Ω)$ as a sum of atoms with support away from the boundary of $Ω$. This new decomposition of tent spaces is useful, even for scalar valued functions.

preprint2012arXiv

Primal and Shadow functions, Dual and Dual-Shadow functions for a circular crack and a circular 90 degree V-notch with Neumann boundary conditions

This report presents explicit analytical expressions for the primal, primal shadows, dual and dual shadows functions for the Laplace equation in the vicinity of a circular singular edge with Neumann boundary conditions on the faces that intersect at the singular edge. Two configurations are investigated: a penny-shaped crack and a 90^o V-notch.

preprint2012arXiv

Shape derivatives of boundary integral operators in electromagnetic scattering. Part I: Shape differentiability of pseudo-homogeneous boundary integral operators

In this paper we study the shape differentiability properties of a class of boundary integral operators and of potentials with weakly singular pseudo-homogeneous kernels acting between classical Sobolev spaces, with respect to smooth deformations of the boundary. We prove that the boundary integral operators are infinitely differentiable without loss of regularity. The potential operators are infinitely shape differentiable away from the boundary, whereas their derivatives lose regularity near the boundary. We study the shape differentiability of surface differential operators. The shape differentiability properties of the usual strongly singular or hypersingular boundary integral operators of interest in acoustic, elastodynamic or electromagnetic potential theory can then be established by expressing them in terms of integral operators with weakly singular kernels and of surface differential operators.

preprint2012arXiv

Shape derivatives of boundary integral operators in electromagnetic scattering. Part II : Application to scattering by a homogeneous dielectric obstacle

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. The latter are typically bounded on the space of tangential vector fields of mixed regularity $TH\sp{-1/2}(\Div_Γ,Γ)$. Using Helmholtz decomposition, we can base their analysis on the study of pseudo-differential 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. We also give a characterization of the first shape derivative of the solution of the dielectric scattering problem as a solution of a new electromagnetic scattering problem.

preprint2011arXiv

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.

preprint2010arXiv

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.

preprint2009arXiv

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.