title: Exemple de Lewy
text: # Exemple de Lewy
  
  En mathématiques, l'exemple de Lewy est un exemple célèbre, dû à Hans Lewy, d'une équation aux dérivées partielles linéaire qui n'admet pas de solutions au sens des distributions, même si ses coefficients sont très réguliers car polynomiaux.
  
  Ce résultat est à mettre en contraste avec d'une part le théorème de Cauchy-Kowalevski qui montre qu'une équation aux dérivées partielles linéaire ayant des coefficients et un terme source analytiques admet au moins une solution et d'autre part le théorème de Malgrange-Ehrenpreis qui affirme que toute équation aux dérivées partielles linéaire à coefficients constants admet au moins une solution.
  
  ## L'exemple
  
  Le résultat de Lewy est le suivant:
  
      Dans $\mathbb {R} \times \mathbb {C}$, il existe une fonction lisse à valeurs complexes $F(t,z)$ telle que l'équation
         ${\frac {\partial u}{\partial {\bar {z}}}}-iz{\frac {\partial u}{\partial t}}=F(t,z)$
      n'admet pas de solutions sur n'importe quel ouvert.
  
  Notons que si $F$ était analytique, le théorème de Cauchy-Kowalevski impliquerait l'existence d'une solution.
  
  Lewy construit une telle fonction $F$ en utilisant le résultat suivant:
  
      Dans $\mathbb {R} \times \mathbb {C}$, supposons que $u(t,z)$ soit une fonction telle que, dans un voisinage de l'origine,
         ${\frac {\partial u}{\partial {\bar {z}}}}-iz{\frac {\partial u}{\partial t}}=\phi ^{\prime }(t)$
      pour une certaine fonction $\phi$ de classe ${\mathcal {C}}^{1}$. Alors $\phi$ est nécessairement analytique réelle dans un voisinage (possiblement plus petit) de l'origine.
  
  Sigeru Mizohata (en) a montré plus tard que l'équation encore plus simple
  
      ${\frac {\partial u}{\partial x}}+ix{\frac {\partial u}{\partial y}}=F(x,y)$
  
  qui ne dépend que de deux variables réelles $x$ et $y$ n'a parfois aucune solution. Il est remarquable que cette équation est l'une des plus simples parmi les équations aux dérivées partielles linéaires à coefficients non constants.
  
  