Interface and mixed boundary value problems on nn-dimensional polyhedral domains

  • C. Bacuta

  • A.L. Mazzucato

  • V. Nistor

  • L. Zikatanov

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

This article is published open access.

Abstract

Let μ\ZZ+\mu \in \ZZ_+ 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 \Kondμa(Ω)\Kond{\mu}a(\Omega) on a bounded, curvilinear polyhedral domain Ω\Omega in a manifold MM of dimension nn. The typical weight η\eta that we consider is the (smoothed) distance to the set of singular boundary points of \paΩ\pa \Omega. Our model problem is Pu:=\dive(Au)=fPu:= - \dive(A \nabla u) = f, in Ω,u=0\Omega, u = 0 on \paDΩ\pa_D \Omega, and DνPu=0D^P_\nu u = 0 on \paνΩ\pa_\nu \Omega, where the function Aϵ>0A \ge \epsilon > 0 is piece-wise smooth on the polyhedral decomposition \BarΩ=j\BarΩj\Bar\Omega = \cup_j \Bar\Omega_j, and \paΩ=\paDΩ\paNΩ\pa \Omega = \pa_D \Omega \cup \pa_N \Omega 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:\Kondμ+1a+1(Ω)u=0on\paDΩ, DνPu=0on\paNΩ\Kondμ1a1(Ω)P : \Kond{\mu+1}{a+1}(\Omega) \cap {u=0 on \pa_D \Omega, \ D_\nu^P u=0 on \pa_N \Omega} \to \Kond{\mu-1}{a-1}(\Omega) for μ0\mu \ge 0 and a<η|a|<\eta, for some η>0\eta>0 that depends on Ω\Omega and PP but not on μ\mu. If interfaces are present, then we only obtain regularity on each subdomain Ωj\Omega_j. Unlike in the case of the usual Sobolev spaces, μ\mu can be arbitrarily large, which is useful in certain applications. An important step in our proof is a regularityregularity 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(dx/\eta)^2, where η\eta 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.

Cite this article

C. Bacuta, A.L. Mazzucato, V. Nistor, L. Zikatanov, Interface and mixed boundary value problems on nn-dimensional polyhedral domains. Doc. Math. 15 (2010), pp. 687–745

DOI 10.4171/DM/311