Inégalité d'interpolation de Gagliardo-Nirenberg
# Inégalité d'interpolation de Gagliardo-Nirenberg

En mathématiques, l'inégalité de Gagliardo-Nirenberg est une estimation portant sur les dérivées faibles d'une fonction donnée. Elle fait intervenir les normes $L^{p}$ de la fonction ainsi que ses dérivées. C'est un résultat particulièrement important de la théorie des équations aux dérivées partielles. Cette inégalité a été proposée par Louis Nirenberg et Emilio Gagliardo.

## Énoncé

Soient $u:\mathbb {R} ^{n}\rightarrow \mathbb {R}$ une fonction $C^∞$ à support compact, deux réels $1\leq q,r\leq \infty$ et un entier $m$. Soient $\alpha$ un réel et $j$ un entier naturel tels que

    ${\frac {1}{p}}={\frac {j}{n}}+\left({\frac {1}{r}}-{\frac {m}{n}}\right)\alpha +{\frac {1-\alpha }{q}}$

et

    ${\frac {j}{m}}\leq \alpha \leq 1.$

Alors, il existe une constante $C$ dépendant de $m,\ n,\ j,\ q,\ r$ et $\alpha$ telle que

$\|\mathrm {D} ^{j}u\|_{L^{p}}\leq C\|\mathrm {D} ^{m}u\|_{L^{r}}^{\alpha }\|u\|_{L^{q}}^{1-\alpha }.$

## Note

Pour une preuve de cette inégalité, voir théorème 9.3. La première condition sur $\alpha$ est l'homogénéité en $x$. La seconde condition exprime qu'à homogénéité fixée, $j$ ne peut pas dépasser la valeur d'interpolation avec $\alpha$, i.e. $j\leq \alpha \ m$. Le cas limite interdit est $p=\infty$ lorsqu'il a la même homogénéité que $\|\mathrm {D} ^{m}u\|_{L^{r}}$, sauf si $r=1$ auquel cas le résultat est trivial (en intégrant $m-j$ fois).

Pour une extension au cas des exposants de dérivation non entiers, voir.

## Conséquences

* Pour $\alpha =1$, la norme $L^{q}$ de $u$ dans le membre de droite de l'inégalité ci-dessous n’apparaît plus. Dans ce cas on retrouve les injections de Sobolev.
* Un autre cas spécial de l'inégalité d'interpolation de Gagliardo–Nirenberg est l'inégalité de Ladyzhenskaya (en), qui s'obtient pour $m=1,$ $j=0,$ $n=2$ ou $3,$ $q=r=2,$ et $p=4$.
