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 {\displaystyle 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[1].

Énoncé[2]

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

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

et

j m α 1. {\displaystyle {\frac {j}{m}}\leq \alpha \leq 1.}

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

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

Note[3]

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

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

Conséquences

  • Pour α = 1 {\displaystyle \alpha =1} , la norme L q {\displaystyle L^{q}} de u {\displaystyle 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 , {\displaystyle m=1,} j = 0 , {\displaystyle j=0,} n = 2 {\displaystyle n=2} ou 3 , {\displaystyle 3,} q = r = 2 , {\displaystyle q=r=2,} et p = 4 {\displaystyle p=4} .

Références

  1. (en) L. Nirenberg, « On elliptic partial differential equations », Ann. Scuola Norm. Sup. Pisa, vol. 13, no 3,‎ , p. 115–162.
  2. (en) Thierry Cazenave, Semilinear Schrödinger equations, New York/Providence (R. I.), Courant Lecture Notes in Mathematics, vol 10, New York University, Courant Institute of Mathematical Sciences, New York; American Mathematical Society, Providence, RI, , 323 p. (ISBN 0-8218-3399-5, lire en ligne), p. 9.
  3. Jean Ginibre, Introduction aux équations de Schrödinger non linéaires, cours de DEA 1994-1995, Orsay, Université de Paris-Sud, , 147 p. (ISBN 978-2-87800-147-1 et 2-87800-147-8), p. 13
  4. (en) Avner Friedman, Partial differential equations, Dover Books on Mathematics, Dover Publications, , 262 p. (ISBN 978-0-486-46919-5 et 0-486-46919-0, lire en ligne), p. 24.
  5. (en) « Gagliardo–Nirenberg inequalities and non-inequalities: The full story », Annales de l'Institut Henri Poincaré C, Analyse non linéaire, vol. 35, no 5,‎ , p. 1355–1376 (ISSN 0294-1449, DOI 10.1016/j.anihpc.2017.11.007, lire en ligne, consulté le )

Voir aussi

Bibliographie

  • (en) L. C. Evans, Partial Differential Equations, Graduate Studies in Mathematics, American Mathematical Society, 2010, 2nd edition
  • (en) Luc Tartar, An Introduction to Sobolev Spaces and Interpolation spaces, Lecture Notes of the Unione Matematica Italiana, vol 3, Springer, 2007, 1st edition
  • (en) Robert A. Adams et John J. F. Fournier, Sobolev Spaces, Academic Press, 2003, 2e édition

Articles connexes

  • Espace d'interpolation
  • Espace de Sobolev
  • icône décorative Portail des mathématiques