Inégalité de Brezis-Gallouët
En analyse (mathématique), l'inégalité de Brezis-Gallouët[1], du nom de ses auteurs Haïm Brezis et Thierry Gallouët, est une inégalité portant sur des fonctions définies dans un domaine inclus dans , qui est l'intérieur ou l'extérieur d'un domaine borné à frontière régulière. Cette inégalité, qui donne une borne d'une telle fonction en fonction des normes de ses dérivées premières et secondes, est cruciale dans l'étude de certaines équations aux dérivées partielles.
Cette inégalité peut s'exprimer ainsi. Il existe un réel ne dépendant que de tel que, pour toute fonction non presque partout nulle,
L'hypothèse de régularité de est choisie telle qu'il existe un opérateur de prolongement qui vérifie les propriétés suivantes :
- est un opérateur borné de dans ;
- est un opérateur borné de dans ;
- la restriction à de est égale à pour tout .
Soit tel que . On a alors, en notant la fonction déduite de par transformation de Fourier, l'existence d'un réel ne dépendant que de tel que :
- ,
- ,
- .
Pour tout , on écrit :
grâce aux inégalités précédentes et à l'inégalité de Cauchy-Schwarz. Cela permet d'écrire :
La preuve de l'inégalité est obtenue, toujours dans le cas , en choisissant . On obtient alors l'inégalité pour toute fonction non identiquement nulle en appliquant l'inégalité que l'on vient de démontrer pour la fonction .
En remarquant que, pour toute fonction , on a l'égalité
on déduit de l'inégalité précédente l'existence d'un réel ne dépendant que de tel que, pour toute fonction non presque partout nulle,
Références
- ↑ Nonlinear Schrödinger evolution equation, par H. Brezis et T. Gallouët, Nonlinear Analysis TMA 4, 677. (1980)
Articles connexes
- Portail des mathématiques