Interface and mixed boundary value problems on $n$-dimensional polyhedral domains

C. Bacuta ; L. Zikatanov ; A.L. Mazzucato ; V. Nistor

Documenta mathematica, Tome 15 (2010), pp. 687-745

Résumé

Let μ∈Z+​ be arbitrary. We prove a well-posedness result for mixed boundary value/interface problems of second-order, positive, strongly elliptic operators in weighted Sobolev spaces Kam​(Ω) on a bounded, curvilinear polyhedral domain Ω in a manifold M of dimension n. The typical weight η that we consider is the (smoothed) distance to the set of singular boundary points of ∂Ω. Our model problem is Pu:=−div(A∇u)=f, in Ω,u=0 on ∂D​Ω, and DνP​u=0 on ∂ν​Ω, where the function A≥ε>0 is piece-wise smooth on the polyhedral decomposition Ωˉ=∪j​Ωˉj​, and ∂Ω=∂D​Ω∪∂N​Ω is a decomposition of the boundary into polyhedral subsets corresponding, respectively, to Dirichlet and Neumann boundary conditions. If there are no interfaces and no adjacent faces with Neumann boundary conditions, our main result gives an isomorphism P:Ka+1μ+1​(Ω)∩{u=0 on ∂D​Ω, DνP​u=0 on ∂N​Ω}→Ka−1μ−1​(Ω) for μ≥0 and ∣a∣, for some η>0 that depends on Ω and P but not on μ. If interfaces are present, then we only obtain regularity on each subdomain Ωj​. Unlike in the case of the usual Sobolev spaces, μ can be arbitrarily large, which is useful in certain applications. An important step in our proof is a regularity result, which holds for general strongly elliptic operators that are not necessarily positive. The regularity result is based, in turn, on a study of the geometry of our polyhedral domain when endowed with the metric (dx/η)2, where η is the weight (the smoothed distance to the singular set). The well-posedness result applies to positive operators, provided the interfaces are smooth and there are no adjacent faces with Neumann boundary conditions.

Détail

DOI : 10.4171/dm/311

Classification : 35J25, 51B25, 52B70, 58J32
Mots-clés : elliptic equations, mixed boundary conditions, polyhedral domain, interface, weighted Sobolev spaces, well-posedness, Lie manifold