Une famille d'inégalités d'injection qui bornent des normes de fonctions dans des espaces de Lebesgue par des normes de leurs dérivées faibles dans des espaces de Sobolev, affirmant qu'une intégrabilité suffisante des dérivées entraîne une meilleure intégrabilité ou continuité de la fonction elle-même.

Principe

Les dérivées contrôlent l'intégrabilité et la régularité : la quantité d'intégrabilité et le nombre de dérivées déterminent l'espace cible de Lebesgue ou de Hölder, avec des exposants critiques fixés par la dimension spatiale et l'invariance d'échelle.

Démonstration

Dans R^n pour n>2, l'injection Sobolev standard affirme que les fonctions de l'espace homogène de Sobolev avec une dérivée carré-intégrable s'injectent dans L^{2n/(n−2)}, de sorte qu'une fonction H^1 admet une borne en L^q avec q = 2n/(n−2) ; sur des domaines bornés des injections analogues tiennent avec des constantes qui dépendent du domaine et des conditions aux bords.

Mauvaise application

Appliquer une injection de Sobolev sans vérifier la dimension, les exposants d'intégrabilité ou la régularité de la frontière ; utiliser une injection au degré critique comme si elle était compacte alors que la compacité peut faire défaut et entraîner une perte de contrôle.

Conséquence

Fournit le cadre fonctionnel pour l'existence, l'unicité et la régularité des solutions d'EDP elliptiques et paraboliques, contrôle les termes non linéaires par des normes appropriées et donne des résultats d'interpolation et de compacité essentiels aux méthodes variationnelles.

Inversion

Quand les dérivées n'ont pas une intégrabilité suffisante ou que la dimension est trop élevée, les injections échouent et les fonctions peuvent présenter des singularités ; la leçon inverse est que la régularité des dérivées est nécessaire pour améliorer l'intégrabilité ou la continuité de la fonction.

Limite

Dépend de façon critique de la dimension spatiale, de l'ordre des dérivées et des exposants de Lebesgue ; échoue dans des combinaisons critiques ou supercritiques sans structure additionnelle, et exige que les fonctions possèdent des dérivées faibles dans l'espace de Sobolev concerné.

Tension sémantique

Interagit avec Poincaré, Gagliardo–Nirenberg et les inégalités de trace : Sobolev donne un contrôle global d'injection tandis que des inégalités connexes échangent ordre de dérivées, intégrabilité et traces aux bords de façons différentes.

Synthèse

Les inégalités de Sobolev formalisent comment le contrôle des dérivées faibles améliore quantitativement l'intégrabilité et la régularité d'une fonction : elles fournissent les règles de passage des espaces de Sobolev aux espaces de Lebesgue ou Hölder déterminées par la dimension et l'ordre des dérivées.