Density results in sobolev spaces whose elements vanish on a part of the boundary

Abstract

This paper is devoted to the study of the subspace ofW ^m,r of functions that vanish on a part γ ₀ of the boundary. The author gives a crucial estimate of the Poincaré constant in balls centered on the boundary of γ ₀. Then, the convolution-translation method, a variant of the standard mollifier technique, can be used to prove the density of smooth functions that vanish in a neighborhood of γ ₀, in this subspace. The result is first proved for m = 1, then generalized to the case where m ≥ 1, in any dimension, in the framework of Lipschitz-continuous domain. However, as may be expected, it is needed to make additional assumptions on the boundary of γ ₀, namely that it is locally the graph of some Lipschitz-continuous function.

Keywords

Density results / Boundary value problems / Sobolev spaces

References

[1] Blouza A., Le Dret H.. An up-to the boundary version of Friedrichs’s lemma and applications to the linear Koiter shell model. SIAM J. Math. Anal., 2001, 33: 877-895

[2] Brezis H.. Analyse Fonctionnelle, Théorie et Applications, 1992, Paris: Masson

[3] Girault V., Raviart P. A.. Finite Element Approximation for Navier-Stokes Equations, Theory and Algorithms, 1986, Berlin: Springer-Verlag

[4] Girault V., Scott L. R.. Analysis of two-dimensional grade-two fluid model with a tangential boundary condition. J. Math. Pures Appl., 1999, 78: 981-1011

[5] Girault, V. and Scott, L. R., Analysis of two-dimensional grade-two fluid model with a tangential boundary condition, Research Report UH/MD-246, Department of Mathematics, University of Houston, Texas, 1998, 1–35.

[6] Puel J. P., Roptin M. C.. Lemme de Friedrichs, théorème de densité résultant du lemme de Friedrichs, Rapport de stage dirigé par C. Goulaouic, Diplôme d’Etudes Approfondies, 1967, Rennes: Université de Rennes