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 $\Omega$ inclus dans $\mathbb {R} ^{2}$ , 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 $C$ ne dépendant que de $\Omega$ tel que, pour toute fonction $u\in H^{2}(\Omega )$ non presque partout nulle,

\displaystyle \|u\|_{L^{\infty }(\Omega )}\leq C\|u\|_{H^{1}(\Omega )}\left(1+{\Bigl (}\log {\bigl (}1+{\frac {\|u\|_{H^{2}(\Omega )}}{\|u\|_{H^{1}(\Omega )}}}{\bigr )}{\Bigr )}^{1/2}\right).

Démonstration

L'hypothèse de régularité de $\Omega$ est choisie telle qu'il existe un opérateur de prolongement $P~:~H^{2}(\Omega )\to H^{2}(\mathbb {R} ^{2})$ qui vérifie les propriétés suivantes :

$P$ est un opérateur borné de $H^{1}(\Omega )$ dans $H^{1}(\mathbb {R} ^{2})$ ;

$P$ est un opérateur borné de $H^{2}(\Omega )$ dans $H^{2}(\mathbb {R} ^{2})$ ;

la restriction à $\Omega$ de $Pu$ est égale à $u$ pour tout $u\in H^{2}(\Omega )$ .

Soit $u\in H^{2}(\Omega )$ tel que $\|u\|_{H^{1}(\Omega )}=1$ . On a alors, en notant ${\widehat {v}}$ la fonction déduite de $v=Pu$ par transformation de Fourier, l'existence d'un réel $C$ ne dépendant que de $\Omega$ tel que :

$\|(1+|\xi |){\widehat {v}}\|_{L^{2}(\mathbb {R} ^{2})}\leq C$ ,

$\|(1+|\xi |^{2}){\widehat {v}}\|_{L^{2}(\mathbb {R} ^{2})}\leq C\|u\|_{H^{2}(\Omega )}$ ,

$\|u\|_{L^{\infty }(\Omega )}\leq \|v\|_{L^{\infty }(\mathbb {R} ^{2})}\leq C\|{\widehat {v}}\|_{L^{1}(\mathbb {R} ^{2})}$ .

Pour tout $R>0$ , on écrit :

{\begin{aligned}\displaystyle \|{\widehat {v}}\|_{L^{1}(\mathbb {R} ^{2})}&=\int _{|\xi |<R}|{\widehat {v}}(\xi )|{\rm {d}}\xi +\int _{|\xi |>R}|{\widehat {v}}(\xi )|{\rm {d}}\xi \\&=\int _{|\xi |<R}(1+|\xi |)|{\widehat {v}}(\xi )|{\frac {1}{1+|\xi |}}{\rm {d}}\xi +\int _{|\xi |>R}(1+|\xi |^{2})|{\widehat {v}}(\xi )|{\frac {1}{1+|\xi |^{2}}}{\rm {d}}\xi \\&\leq C\left(\int _{|\xi |<R}{\frac {1}{(1+|\xi |)^{2}}}{\rm {d}}\xi \right)^{\frac {1}{2}}+C\|u\|_{H^{2}(\Omega )}\left(\int _{|\xi |>R}{\frac {1}{(1+|\xi |^{2})^{2}}}{\rm {d}}\xi \right)^{\frac {1}{2}},\end{aligned}}

grâce aux inégalités précédentes et à l'inégalité de Cauchy-Schwarz. Cela permet d'écrire :

\|{\widehat {v}}\|_{L^{1}(\mathbb {R} ^{2})}\leq C(\log(1+R))^{\frac {1}{2}}+C{\frac {\|u\|_{H^{2}(\Omega )}}{1+R}}.

La preuve de l'inégalité est obtenue, toujours dans le cas $\|u\|_{H^{1}(\Omega )}=1$ , en choisissant $R=\|u\|_{H^{2}(\Omega )}$ . On obtient alors l'inégalité pour toute fonction $u\in H^{2}(\Omega )$ non identiquement nulle en appliquant l'inégalité que l'on vient de démontrer pour la fonction $u/\|u\|_{H^{1}(\Omega )}$ .

En remarquant que, pour toute fonction $v\in H^{2}(\mathbb {R} ^{2})$ , on a l'égalité

\int _{\mathbb {R} ^{2}}{\bigl (}(\partial _{11}^{2}v)^{2}+2(\partial _{12}^{2}v)^{2}+(\partial _{22}^{2}v)^{2}{\bigr )}=\int _{\mathbb {R} ^{2}}{\bigl (}\partial _{11}^{2}v+\partial _{22}^{2}v{\bigr )}^{2},

on déduit de l'inégalité précédente l'existence d'un réel $C$ ne dépendant que de $\Omega$ tel que, pour toute fonction $u\in H^{2}(\Omega )$ non presque partout nulle,

\displaystyle \|u\|_{L^{\infty }(\Omega )}\leq C\|u\|_{H^{1}(\Omega )}\left(1+{\Bigl (}\log {\bigl (}1+{\frac {\|\Delta u\|_{L^{2}(\Omega )}}{\|u\|_{H^{1}(\Omega )}}}{\bigr )}{\Bigr )}^{1/2}\right).

Références

Nonlinear Schrödinger evolution equation, par H. Brezis et T. Gallouët, Nonlinear Analysis TMA 4, 677. (1980)

Portail des mathématiques

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.

[1] Nonlinear Schrödinger evolution equation, par H. Brezis et T. Gallouët, Nonlinear Analysis TMA 4, 677. (1980)