Accueil🇫🇷Chercher

Lemme de Weyl (équation de Laplace)

En mathématiques, le lemme de Weyl, formulé par Hermann Weyl, énonce que toute solution faible de l'équation de Laplace est une fonction infiniment dérivable.

Ce résultat n'est pas systématiquement vrai pour d'autres équations comme l'équation des ondes, qui ont des solutions faibles qui ne sont pas des solutions régulières. Le lemme de Weyl est un cas particulier de régularité elliptique ou hypoelliptique.

Énoncé

Soit un ouvert de , l'espace euclidien de dimension n. On note Δ le Laplacien usuel.

Le lemme de Weyl [1] affirme que si une fonction localement intégrable est une solution faible de l'équation de Laplace, au sens où, si pour toute fonction de classe à support compact on a :

alors, quitte à changer sa définition seulement sur un sous-ensemble négligeable de , la fonction est infiniment dérivable et vérifie en chaque point de .

Par corollaire, toutes les fonctions harmoniques sur sont régulières ; mais ce lemme ne permet d'affirmer aucun résultat de régularité sur la frontière du domaine .

Démonstration

Pour démontrer le lemme de Weyl, on convolue la fonction avec une suite régularisante et on démontre que sa convolution satisfait l'équation de Laplace, ce qui implique que vérifie la propriété de la moyenne des fonctions harmoniques.

En prenant la limite quand et en utilisant les propriétés des régularisations, on montre que a également la propriété de moyenne, ce qui implique qu'il s'agit d'une solution régulière de l'équation de Laplace[2]. D'autres démonstrations utilisent la régularité de la solution fondamentale du Laplacien ou des estimations elliptiques a priori.

Généralisation aux distributions

Plus généralement, le même résultat est valable pour chaque solution distributionnelle de l'équation de Laplace : Si vérifie pour chaque , alors est une distribution régulière associée à une solution lisse de l'équation de Laplace[3].

Lien avec l'hypoellipticité

Le lemme de Weyl découle de résultats plus généraux concernant les propriétés de régularité des opérateurs elliptiques ou hypoelliptiques[4]. Un opérateur différentiel partiel linéaire à coefficients réguliers est hypoelliptique si le support singulier de est égal au support singulier de pour toute distribution .

L'opérateur de Laplace étant hypoelliptique, si , alors le support singulier de est vide puisque le support singulier de est vide, ce qui signifie que . Puisque le Laplacien est elliptique, on a un résultat plus fort : les solutions de sont analytiques réelles.

Références

  1. Hermann Weyl, The method of orthogonal projections in potential theory, Duke Math. J., 7, 411–444 (1940). See Lemma 2, p. 415
  2. Bernard Dacorogna, Introduction to the Calculus of Variations, 2nd ed., Imperial College Press (2009), p. 148.
  3. Lars Gårding, Some Points of Analysis and their History, AMS (1997), p. 66.
  4. Lars Hörmander, The Analysis of Linear Partial Differential Operators I, 2nd ed., Springer-Verlag (1990), p.110
  • David Gilbarg et Neil S. Trudinger, Elliptic Partial Differential Equations of Second Order, Springer, (ISBN 3-540-41160-7)
  • Elias Stein, Real Analysis: Measure Theory, Integration, and Hilbert Spaces, Princeton University Press, (ISBN 0-691-11386-6)
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.