Searcharxiv⌕ Search

arXiv subjects

Monique Dauge

Publications and source records attributed to Monique Dauge.

32 records · Page 2Linked to original sources

Continuity properties of the inf-sup constant for the divergence

The inf-sup constant for the divergence, or LBB constant, is explicitly known for only few domains. For other domains, upper and lower estimates are known. If more precise values are required, one can try to compute a numerical approximation. This involves, in general, approximation of the domain and then the computation of a discrete LBB constant that can be obtained from the numerical solution of an eigenvalue problem for the Stokes system. This eigenvalue problem does not fall into a class for which standard results about numerical approximations can be applied. Indeed, many reasonable finite element methods do not yield a convergent approximation. In this article, we show that under fairly weak conditions on the approximation of the domain, the LBB constant is an upper semi-continuous shape functional, and we give more restrictive sufficient conditions for its continuity with respect to the domain. For numerical approximations based on variational formulations of the Stokes eigenvalue problem, we also show upper semi-continuity under weak approximation properties, and we give stronger conditions that are sufficient for convergence of the discrete LBB constant towards the continuous LBB constant. Numerical examples show that our conditions are, while not quite optimal, not very far from necessary.

math.NA↗

Ground state energy of the magnetic Laplacian on corner domains

The asymptotic behavior of the first eigenvalues of magnetic Laplacian operators with large magnetic fields and Neumann realization in smooth three-dimensional domains is characterized by model problems inside the domain or on its boundary. In two-dimensional polygonal domains, a new set of model problems on sectors has to be taken into account. In this paper, we consider the class of general corner domains. In dimension 3, they include as particular cases polyhedra and axisymmetric cones. We attach model problems not only to each point of the closure of the domain, but also to a hierarchy of "tangent substructures" associated with singular chains. We investigate properties of these model problems, namely continuity, semi-continuity, existence of generalized eigenfunctions satisfying exponential decay. We prove estimates for the remainders of our asymptotic formula. Lower bounds are obtained with the help of an IMS partition based on adequate two-scale coverings of the corner domain, whereas upper bounds are established by a novel construction of quasimodes, qualified as sitting or sliding according to spectral properties of local model problems. A part of our analysis extends to any dimension.

math.SP↗

Spectral asymptotics of the Dirichlet Laplacian in a conical layer

The spectrum of the Dirichlet Laplacian on conical layers is analysed through two aspects: the infiniteness of the discrete eigenvalues and their expansions in the small aperture limit. On the one hand, we prove that, for any aperture, the eigenvalues accumulate below the thresh-old of the essential spectrum: For a small distance from the essential spectrum, the number of eigenvalues farther from the threshold than this distance behaves like the logarithm of the distance. On the other hand, in the small aperture regime, we provide a two-term asymptotics of the first eigenvalues thanks to a priori localization estimates for the associated eigenfunctions. We prove that these eigenfunctions are localized in the conical cap at a scale of order the cubic root of the aperture angle and that they get into the other part of the layer at a scale involving the logarithm of the aperture angle.

math.NA↗

The inf-sup constant for the divergence on corner domains

The inf-sup constant for the divergence, or LBB constant, is related to the Cosserat spectrum. It has been known for a long time that on non-smooth domains the Cosserat operator has a non-trivial essential spectrum, which can be used to bound the LBB constant from above. We prove that the essential spectrum on a plane polygon consists of an interval related to the corner angles and that on three-dimensional domains with edges, the essential spectrum contains such an interval. We obtain some numerical evidence for the extent of the essential spectrum on domains with axisymmetric conical points by computing the roots of explicitly given holomorphic functions related to the corner Mellin symbol. Using finite element discretizations of the Stokes problem, we present numerical results pertaining to the question of the existence of eigenvalues below the essential spectrum on rectangles and cuboids.

math.NA↗

Ground Energy of the Magnetic Laplacian in Polyhedral Bodies

The asymptotic behavior of the first eigenvalues of magnetic Laplacian operators with large magnetic fields and Neumann realization in polyhedral domains is characterized by a hierarchy of model problems. We investigate properties of the model problems (continuity, semi-continuity, existence of generalized eigenfunctions). We prove estimates for the remainders of our asymptotic formula. Lower bounds are obtained with the help of a classical IMS partition based on adequate coverings of the polyhedral domain, whereas upper bounds are established by a novel construction of quasimodes, qualified as sitting or sliding according to spectral properties of local model problems.

math.AP↗

Regularity for Maxwell eigenproblems in photonic crystal fibre modelling

The convergence behaviour and the design of numerical methods for modelling the flow of light in photonic crystal fibres depend critically on an understanding of the regularity of solutions to time-harmonic Maxwell equations in a three-dimensional, periodic, translationally invariant, heterogeneous medium. In this paper we determine the strength of the dominant singularities that occur at the interface between materials. By modifying earlier regularity theory for polygonal interfaces we find that on each subdomain, where the material in the fibre is constant, the regularity of in-plane components of the magnetic field are $H^{2-η}$ for all $η> 0$. This estimate is sharp in the sense that these components do not belong to $H^2$, in general. However, global regularity is restricted by the presence of an interface between these subdomains and the interface conditions imply only $H^{3/2-η}$ regularity across the interface. The results are useful to anyone applying a numerical method such as a finite element method or a planewave expansion method to model photonic crystal fibres or similar materials.

math.NA↗

On the inequalities of Babuška-Aziz, Friedrichs and Horgan-Payne

The equivalence between the inequalities of Babuška-Aziz and Friedrichs for sufficiently smooth bounded domains in the plane has been shown by Horgan and Payne 30 years ago. We prove that this equivalence, and the equality between the associated constants, is true without any regularity condition on the domain. For the Horgan-Payne inequality, which is an upper bound of the Friedrichs constant for plane star-shaped domains in terms of a geometric quantity known as the Horgan-Payne angle, we show that it is true for some classes of domains, but not for all bounded star-shaped domains. We prove a weaker inequality that is true in all cases.

math.NA↗

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.

math.NA↗

Plane waveguides with corners in the small angle limit

The plane waveguides with corners considered here are infinite V-shaped strips with constant thickness. They are parametrized by their sole opening angle. We study the eigenpairs of the Dirichlet Laplacian in such domains when this angle tends to 0. We provide multi-scale asymptotics for eigenpairs associated with the lowest eigenvalues. For this, we investigate the eigenpairs of a one-dimensional model which can be viewed as their Born-Oppenheimer approximation. We also investigate the Dirichlet Laplacian on triangles with sharp angles. The eigenvalue asymptotics involve powers of the cube root of the angle, while the eigenvector asymptotics include simultaneously two scales in the triangular part, and one scale in the straight part of the guides.

math.AP↗

Quantum waveguides with corners

The simplest modeling of planar quantum waveguides is the Dirichlet eigenproblem for the Laplace operator in unbounded open sets which are uniformly thin in one direction. Here we consider V-shaped guides. Their spectral properties depend essentially on a sole parameter, the opening of the V. The free energy band is a semi-infinite interval bounded from below. As soon as the V is not flat, there are bound states below the free energy band. There are a finite number of them, depending on the opening. This number tends to infinity as the opening tends to 0 (sharply bent V). In this situation, the eigenfunctions concentrate and become self-similar. In contrast, when the opening gets large (almost flat V), the eigenfunctions spread and enjoy a different self-similar structure. We explain all these facts and illustrate them by numerical simulations.

math.NA↗

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↗

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↗

Uniform estimates for transmission problems with high contrast in heat conduction and electromagnetism

In this paper we prove uniform a priori estimates for transmission problems with constant coefficients on two subdomains, with a special emphasis for the case when the ratio between these coefficients is large. In the most part of the work, the interface between the two subdomains is supposed to be Lipschitz. We first study a scalar transmission problem which is handled through a converging asymptotic series. Then we derive uniform a priori estimates for Maxwell transmission problem set on a domain made up of a dielectric and a highly conducting material. The technique is based on an appropriate decomposition of the electric field, whose gradient part is estimated thanks to the first part. As an application, we develop an argument for the convergence of an asymptotic expansion as the conductivity tends to infinity.

math.NA↗