title: Lemme de Weyl (équation de Laplace)
text: # 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 $\Omega$ un ouvert de $\mathbb {R} ^{n}$, l'espace euclidien de dimension n. On note Δ le Laplacien usuel.
  
  Le lemme de Weyl affirme que si une fonction localement intégrable $u\in L_{\mathrm {loc} }^{1}(\Omega )$ est une solution faible de l'équation de Laplace, au sens où, si pour toute fonction $\varphi$ de classe $C_{c}^{\infty }(\Omega )$ à support compact on a :
  
      $\int _{\Omega }u(x)\,\Delta \varphi (x)\,dx=0$
  
  alors, quitte à changer sa définition seulement sur un sous-ensemble négligeable de $\Omega$, la fonction $u\in C^{\infty }(\Omega )$ est infiniment dérivable et vérifie $\Delta u=0$ en chaque point de $\Omega$.
  
  Par corollaire, toutes les fonctions harmoniques sur $\Omega$ sont régulières ; mais ce lemme ne permet d'affirmer aucun résultat de régularité sur la frontière du domaine $\partial \Omega$.
  
  ## Démonstration
  
  Pour démontrer le lemme de Weyl, on convolue la fonction $u$ avec une suite régularisante $\varphi _{\varepsilon }$ et on démontre que sa convolution $u_{\varepsilon }=\varphi _{\varepsilon }\ast u$ satisfait l'équation de Laplace, ce qui implique que $u_{\varepsilon }$ vérifie la propriété de la moyenne des fonctions harmoniques.
  
  En prenant la limite quand $\varepsilon \to 0$ et en utilisant les propriétés des régularisations, on montre que $u$ 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. 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 $T\in D'(\Omega )$ vérifie $\langle T,\Delta \varphi \rangle =0$ pour chaque $\varphi \in C_{c}^{\infty }(\Omega )$, alors $T=T_{u}$ est une distribution régulière associée à une solution lisse $u\in C^{\infty }(\Omega )$ de l'équation de Laplace.
  
  ## 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. Un opérateur différentiel partiel linéaire $P$ à coefficients réguliers est hypoelliptique si le support singulier de $Pu$ est égal au support singulier de $u$ pour toute distribution $u$.
  
  L'opérateur de Laplace étant hypoelliptique, si $\Delta u=0$, alors le support singulier de $u$ est vide puisque le support singulier de $0$ est vide, ce qui signifie que $u\in C^{\infty }(\Omega )$ . Puisque le Laplacien est elliptique, on a un résultat plus fort : les solutions de $\Delta u=0$ sont analytiques réelles.
  
  