Nous montrons la densité des fonctions régulières dans l'espace des champs de vecteurs L2 à divergence et rotationnel L2, et dont la trace tangentielle (ou normale) est L2 sur le bord. Notre démonstration est basée sur des théorèmes de régularité dans les domaines lipschitziens et constitue une simplification et une généralisation d'un résultat de P. Ciarlet, C. Hazard et S. Lohrengel.
We show the density of smooth functions in the space of square integrable vector fields whose curl, divergence, and tangential (or normal) trace on the boundary are square integrable. Our proof is based on the H{3/2} regularity for the Dirichlet and Neumann problems and constitutes a simplification and generalization of a result by P. Ciarlet, C. Hazard and S. Lohrengel.
C. R. Acad. Sc. Paris Série I 327, 1998, 849--854.
Fichier pdf (120 k) |