# Sobolev spaces on Lie manifolds and regularity for polyhedral domains

### Bernd Ammann

Institut Élie Cartan University of Wisconsin Université Henri Poincaré Department of Mathematics Nancy 1, B.P. 239 Madison, WI 53705 54506 Vandoeuvre-Les-Nancy USA France### Alexandru D. Ionescu

Institut Élie Cartan University of Wisconsin Université Henri Poincaré Department of Mathematics Nancy 1, B.P. 239 Madison, WI 53705 54506 Vandoeuvre-Les-Nancy USA France### Victor Nistor

Pennsylvania State University Math. Dept. University Park PA 16802 USA

## Abstract

We study some basic analytic questions related to differential operators on Lie manifolds, which are manifolds whose large scale geometry can be described by a a Lie algebra of vector fields on a compactification. We extend to Lie manifolds several classical results on Sobolev spaces, elliptic regularity, and mapping properties of pseudodifferential operators. A tubular neighborhood theorem for Lie submanifolds allows us also to extend to regular open subsets of Lie manifolds the classical results on traces of functions in suitable Sobolev spaces. Our main application is a regularity result on polyhedral domains $P⊂R_{3}$ using the weighted Sobolev spaces $K_{a}(P)$. In particular, we show that there is no loss of $K_{a}$–regularity for solutions of strongly elliptic systems with smooth coefficients. For the proof, we identify $K_{a}(P)$ with the Sobolev spaces on $P$ associated to the metric $r_{P}g_{E}$, where $g_{E}$ is the Euclidean metric and $r_{P}(x)$ is a smoothing of the Euclidean distance from $x$ to the set of singular points of $P$. A suitable compactification of the interior of $P$ then becomes a regular open subset of a Lie manifold. We also obtain the well-posedness of a non-standard boundary value problem on a smooth, bounded domain with boundary $O⊂R_{n}$ using weighted Sobolev spaces, where the weight is the distance to the boundary.

## Cite this article

Bernd Ammann, Alexandru D. Ionescu, Victor Nistor, Sobolev spaces on Lie manifolds and regularity for polyhedral domains. Doc. Math. 11 (2006), pp. 161–206

DOI 10.4171/DM/208