Une inégalité fonctionnelle qui relie la norme L2 d'une fonction à sa norme L1 et à son énergie de Dirichlet (norme L2 du gradient), prenant typiquement la forme ||f||_2^{2+4/n} ≤ C ||∇f||_2^2 ||f||_1^{4/n} sur R^n, et utilisée pour obtenir des estimations de décroissance et de lissage pour l'équation de la chaleur et les semi-groupes.

Principe

Elle exprime un compromis entre concentration de masse (L1), dissipation d'énergie (forme de Dirichlet) et amplitude L2 : une énergie de Dirichlet plus élevée impose la décroissance de la norme L2 par rapport à la masse L1 conservée selon un exposant dépendant de la dimension.

Démonstration

Sur R^n, appliquer l'inégalité à une donnée initiale non négative pour l'équation de la chaleur donne des taux de décroissance pour la norme L2 de la solution et peut se combiner avec l'interpolation de semi-groupes pour obtenir des bornes supérieures du noyau de la chaleur ; scénario illustratif : démontrer une décroissance algébrique temporelle des normes L2 pour une évolution diffusante.

Mauvaise application

Utiliser la forme standard de Nash en milieu euclidien sur des domaines bornés ou des variétés sans adapter les constantes ou tenir compte d'écarts spectraux, ou l'appliquer à des fonctions sans gradient intégrable, conduit à des conclusions trompeuses sur les taux de décroissance.

Conséquence

Une application correcte fournit des estimations explicites de décroissance pour les flux paraboliques, le contrôle des normes de semi-groupe et une voie vers des bornes supérieures du noyau de la chaleur qui reflètent la dimension de l'espace et la force de diffusion.

Inversion

Interpréter Nash comme une minoration de l'énergie connaissant L1 et L2 est généralement faux ; inverser la direction affirmerait une coercivité non fournie par l'inégalité sans hypothèses spectrales ou géométriques supplémentaires.

Limite

Valide sous des hypothèses de régularité et d'intégrabilité suffisantes pour f (typiquement f∈L1∩H1) et avec des constantes dépendant de l'espace ambiant et de sa croissance volumique ; des modifications sont nécessaires sur des domaines bornés, des variétés ou des espaces discrets.

Tension sémantique

Étroitement liée aux inégalités de Sobolev et de Gagliardo–Nirenberg ainsi qu'aux inégalités de Sobolev logarithmiques ; la tension consiste à savoir si l'on présente le résultat comme une interpolation Lp, un outil pour le noyau de la chaleur ou une forme d'isopérimétrie fonctionnelle.

Synthèse

L'inégalité de Nash relie masse, énergie et amplitude L2 via une interpolation à échelle dimensionnelle qui produit décroissance et lissage pour les processus diffusifs : elle est efficace lorsque l'intégrabilité du gradient est assurée et que la géométrie n'introduit pas d'écart spectral, et doit être adaptée quand le domaine ou la topologie affecte la dissipation.