🔢 mathematics

Closing the gap: Maz'ya-Shaposhnikova and asymptotics of fractional perimeters

Ce papier généralise la formule de Maz'ya-Shaposhnikova pour $p=2$ à des fonctions qui ne s'annulent pas nécessairement à l'infini en introduisant un concept de « masse à l'infini », unifiant ainsi le comportement asymptotique des semi-normes de Gagliardo et des périmètres non locaux au sein d'un cadre fonctionnel unique qui s'étend aux espaces métriques mesurés.

Auteurs originaux : Elisa Davoli, Alberto Fanizza, Marco Picerni

Publié 2026-05-06

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Elisa Davoli, Alberto Fanizza, Marco Picerni

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous vous teniez dans une pièce (appelons-la $\Omega$ ) et que vous souhaitiez mesurer la quantité d'« énergie » ou de « tension » présente dans l'air qui vous entoure. En mathématiques, cette énergie est souvent calculée en examinant dans quelle mesure une fonction (comme une carte de température ou une carte d'altitude) varie entre chaque paire possible de points.

Habituellement, les mathématiciens ont deux façons principales d'observer cette énergie :

La vue de « près » (s → 1) : Si vous observez des points très proches les uns des autres, cette énergie vous renseigne sur la régularité de la surface (comme la pente d'une colline). C'est un résultat célèbre appelé la formule Bourgain-Brezis-Mironescu (BBM).
La vue de « loin » (s → 0) : Si vous observez des points très éloignés les uns des autres, l'énergie indique généralement la quantité totale de « matière » (masse) présente dans la pièce. C'est la formule Maz'ya-Shaposhnikova (MS).

Le Problème :
La vue classique de « loin » (formule MS) impose une règle stricte : elle ne fonctionne que si la « matière » (la fonction) finit par disparaître complètement à mesure que l'on s'éloigne de la pièce. Elle suppose que l'univers est vide aux bords.

Mais que se passe-t-il si la « matière » ne disparaît pas ? Que se passe-t-il si vous avez un motif qui se répète à l'infini, ou une valeur qui reste constante à l'infini ? L'ancienne formule échoue car elle ne peut pas gérer la « queue » de la fonction — la partie qui s'étend jusqu'à l'infini. C'est comme essayer de mesurer le poids d'une rivière en ne regardant que l'eau contenue dans un seau, en ignorant le fait que la rivière coule à l'infini.

La Solution : « Combler le Vide »
Cet article introduit une nouvelle façon de mesurer cette énergie pour les fonctions qui ne s'annulent pas à l'infini. Les auteurs, Davoli, Fanizza et Picerni, proposent un nouveau concept appelé « Masse à l'Infini ».

Voici l'analogie qu'ils utilisent :
Imaginez que la pièce est une maison, et le reste du monde est l'« extérieur ».

Ancienne Méthode : Vous ne comptez que l'énergie entre les points à l'intérieur de la maison et les points à l'intérieur de la maison, ou entre l'intérieur et l'extérieur, mais vous supposez que l'extérieur finit par devenir vide.
Nouvelle Méthode : Ils réalisent qu'à mesure que l'on zoome vers l'extérieur (en laissant le paramètre $s$ tendre vers zéro), le « noyau » (l'outil mathématique qui mesure la distance) commence à concentrer son attention sur l'horizon. C'est comme si l'interaction entre un point à l'intérieur de votre maison et un point « à l'infini » devenait la chose la plus importante.

Ils définissent une nouvelle quantité, $\alpha(u)$ , qui mesure la « masse » ou le « poids » de la fonction à mesure qu'elle s'étend vers l'horizon. Pensez-y comme à la mesure de la valeur moyenne de la fonction sur une sphère géante entourant l'univers, qui grossit de plus en plus jusqu'à représenter « l'infini ».

La Grande Découverte
Les auteurs prouvent une nouvelle formule qui agit comme un traducteur universel entre deux mondes différents :

Pour les fonctions normales (qui s'annulent à l'infini) : Leur nouvelle formule se réduit à la formule MS classique. Elle dit : « Si l'extérieur est vide, l'énergie est simplement proportionnelle à la quantité totale de matière à l'intérieur. »
Pour les fonctions étranges (qui ne s'annulent pas) : Leur nouvelle formule révèle que l'énergie est en réalité une énergie d'interaction. Il ne s'agit pas seulement de la quantité de matière à l'intérieur de la pièce ; il s'agit de la « tension » entre la matière à l'intérieur de la pièce et la « matière » attendant à l'horizon.

Ils montrent que la limite de cette énergie est exactement la moyenne du carré de la différence entre la valeur à l'intérieur de la pièce et la valeur à l'horizon.

Métaphore : Imaginez une feuille de caoutchouc tendue sur un cadre (la pièce). Si la feuille est tirée fermement par une force constante venant de l'horizon, l'énergie ne concerne pas seulement le poids de la feuille ; elle concerne la différence entre la feuille à l'intérieur du cadre et la force qui la tire depuis le bord.

Points Clés de l'Article :

La « Masse à l'Infini » : Ils ont créé une définition mathématique de la quantité de « poids » qu'une fonction possède au tout bord de l'univers. Si ce nombre existe, vous pouvez calculer la limite de l'énergie.
Cadre Unificateur : Cette seule nouvelle formule explique à la fois le résultat classique (pour les fonctions qui s'éteignent) et le comportement des « périmètres fractionnaires » (qui mesurent la frontière des formes) pour des formes qui pourraient avoir des queues infinies.
Convergence Gamma : Ils ont prouvé qu'il ne s'agit pas d'une simple coïncidence point par point. Si vous avez une séquence de ces mesures d'énergie, elles vont mathématiquement « se stabiliser » vers cette nouvelle formule, même si vous les observez à travers une lentille légèrement floue (topologie faible).
Au-delà de l'Espace Plat : Ils ont montré que cette idée fonctionne non seulement dans notre espace plat euclidien, mais aussi dans des mondes géométriques plus exotiques (comme les Groupes de Carnot, utilisés pour modéliser des mouvements complexes en robotique ou en physique) et dans des espaces avec des règles de distance différentes.

Ce qu'ils N'ONT PAS Fait :
L'article est purement des mathématiques théoriques. Ils ne l'ont pas appliqué à :

L'imagerie médicale ou des usages cliniques.
Des conceptions d'ingénierie spécifiques.
La prédiction de phénomènes physiques futurs.

Ils se sont strictement concentrés sur la preuve que ce nouveau « pont » mathématique existe, fonctionne pour une classe plus large de fonctions, et unifie deux idées précédemment séparées dans l'étude des interactions non locales. Ils ont essentiellement réparé la « fuite » de l'ancienne formule qui ne fonctionnait que lorsque l'univers était vide aux bords.

Résumé Technique : Combler le fossé : Maz'ya-Shaposhnikova et asymptotiques des périmètres fractionnaires

Énoncé du problème
L'étude des asymptotiques des semi-normes de Gagliardo est centrale pour l'analyse non locale, comblant le fossé entre les espaces de Sobolev fractionnaires $W^{s,p}$ et les espaces classiques lorsque le paramètre $s$ tend vers 0 ou 1. La formule classique de Maz'ya-Shaposhnikova (MS) [36] décrit la limite lorsque $s \to 0^+$ pour des fonctions $u \in L^p(\mathbb{R}^d)$ , affirmant que $s [u]_{W^{s,p}}^p$ converge vers un multiple de la norme $L^p$ . Cependant, cette formule repose sur l'hypothèse structurelle que $u$ s'annule à l'infini (c'est-à-dire $u \in L^p(\mathbb{R}^d)$ ). Cette restriction supprime artificiellement le « comportement de queue » des fonctions, qui est précisément le régime où la nature non locale du noyau fractionnaire est la plus prononcée lorsque $s \to 0^+$ .

Inversement, des travaux récents sur les asymptotiques des périmètres fractionnaires [20] pour les fonctions caractéristiques d'ensembles $E$ ont révélé que si un ensemble possède une masse non nulle à l'infini, la limite implique un terme $\alpha_1(E)$ représentant la « queue non locale ». Cela suggère que pour des fonctions générales n'appartenant pas à $L^p(\mathbb{R}^d)$ , la limite ne devrait pas être un simple multiple de la norme locale $L^p$ , mais plutôt une énergie d'interaction entre les valeurs de la fonction à l'intérieur d'un domaine borné $\Omega$ et son comportement « à l'infini ».

Méthodologie
Les auteurs se concentrent sur le cas hilbertien $p=2$ et introduisent une semi-norme de Gagliardo localisée sur un domaine lipschitzien borné $\Omega$ :
$[u]_{W^{s,2}(Q\Omega)}^2 = \iint_{Q\Omega} \frac{|u(x) - u(y)|^2}{|x-y|^{d+2s}} \, dx \, dy,$
où $Q\Omega = (\mathbb{R}^d \times \mathbb{R}^d) \setminus (\Omega^c \times \Omega^c)$ . Ce fonctionnel prend en compte les interactions impliquant au moins un point dans $\Omega$ , isolant l'énergie des interactions intérieur-intérieur, intérieur-extérieur et extérieur-intérieur, tout en ignorant les contributions extérieur-extérieur.

L'innovation méthodologique centrale est la définition de la masse $p$ à l'infini pour une fonction mesurable $u$ :
$\alpha_p(u) := \lim_{s \to 0^+} s \int_{B_1^c(0)} \frac{u(y)}{|y|^{d+sp}} \, dy.$
Les auteurs établissent que cette quantité est invariante par translation et bien définie pour des fonctions qui ne sont pas nécessairement intégrables globalement. Ils décomposent la semi-norme localisée en quatre termes :

Intérieur-Intérieur : Montré comme tendant vers zéro lorsque $s \to 0^+$ (Lemme 2.5).
Intérieur-Extérieur (au carré) : Convergence vers un terme impliquant la masse de la fonction constante 1 et l'intégrale de $u^2$ sur $\Omega$ .
Terme croisé : Implique le produit $u(x)u(y)$ , qui est développé en utilisant les parties positive et négative de $u$ ( $u_+, u_-$ ) et analysé via la masse à l'infini.
Extérieur-Intérieur (au carré) : Convergence vers un terme impliquant la masse de $u^2$ et le volume de $\Omega$ .

Les preuves reposent sur une combinaison d'estimations directes, de l'inégalité de Hardy fractionnaire et d'une version généralisée de la formule MS dans les espaces métriques mesurés (Proposition 2.3 de [28]), adaptée pour gérer des mesures pondérées par les valeurs de la fonction elles-mêmes.

Contributions et résultats clés

Formule généralisée de Maz'ya-Shaposhnikova (Théorème 1.3) :
L'article démontre que pour $u \in L^2_{\text{loc}}(\mathbb{R}^d)$ avec une masse finie à l'infini (spécifiquement $\alpha(u_+), \alpha(u_-), \alpha(u^2)$ existent), la limite de la semi-norme localisée est :
$\lim_{s \to 0^+} \frac{s}{2} [u]_{H^s(Q\Omega)}^2 = \sum_{k=0}^2 \binom{2}{k} (-1)^k \alpha(u^k) \int_\Omega u^{2-k}(x) \, dx.$
Cette formule unifie la formule MS classique (récupérée lorsque $u \in L^2(\mathbb{R}^d)$ donc $\alpha(u^k)=0$ pour $k \ge 1$ ) et les asymptotiques des périmètres fractionnaires.
Interprétation géométrique (Théorème 2.11) :
Pour des fonctions $u$ admettant une limite radiale $u_\infty(\theta)$ lorsque $|x| \to \infty$ , le fonctionnel limite est explicitement caractérisé comme une énergie d'interaction entre les valeurs de $u$ à l'intérieur de $\Omega$ et sa limite à l'infini :
$\lim_{s \to 0^+} \frac{s}{2} [u]_{H^s(Q\Omega)}^2 = \frac{1}{2} \int_\Omega \int_{S^{d-1}} |u(x) - u_\infty(\theta)|^2 \, d\mathcal{H}^{d-1}(\theta) \, dx.$
Cela clarifie que la limite n'est pas une norme mais une énergie mesurant l'écart de la fonction par rapport à son comportement à l'infini.
Convergence Gamma (Théorème 3.4) :
Les auteurs établissent que la suite de fonctionnels $F_s(u, \Omega) = \frac{s}{2}[u]_{H^s(Q\Omega)}^2$ converge Gamma par rapport à la topologie faible- $L^2(\Omega)$ vers le fonctionnel identifié dans le Théorème 1.3. Ce résultat implique que le fonctionnel limite est l'enveloppe semi-continue inférieure de l'ensemble-fonctionnel décrivant le périmètre fractionnaire asymptotique (Équation 1.6).
Extension aux espaces métriques mesurés (Théorème 4.5) :
Les résultats sont étendus aux espaces métriques mesurés généraux $(M, d, m)$ sous des hypothèses spécifiques sur les noyaux de convolution $\rho_n$ et l'existence d'une masse à l'infini. Cela inclut des applications aux groupes de Carnot.
Distinction par rapport aux périmètres gaussiens (Remarque 4.9) :
L'article note que les asymptotiques dérivées ne s'appliquent pas au périmètre fractionnaire gaussien. Dans le cadre gaussien, la mesure est finie et les noyaux ne concentrent pas la masse à l'infini de la même manière ; par conséquent, la limite dépend de la mesure totale des ensembles plutôt que des interactions locales aux frontières.

Importance et affirmations
L'article prétend « combler le fossé » entre la formule classique de Maz'ya-Shaposhnikova et les asymptotiques des périmètres non locaux en fournissant un cadre unifié qui accueille des fonctions avec une masse non nulle à l'infini.

Unification : Le fonctionnel limite identifié se réduit à la norme $L^2$ classique pour des fonctions intégrables globalement et récupère la limite ponctuelle des périmètres fractionnaires $s$ pour les fonctions caractéristiques d'ensembles.
Insight structurel : En introduisant la notion de « masse à l'infini », les auteurs caractérisent rigoureusement les interactions à longue portée qui dominent l'énergie lorsque $s \to 0^+$ . Ils démontrent que la limite est une énergie d'interaction entre l'intérieur du domaine et l'« horizon » (l'infini), plutôt qu'une norme locale.
Robustesse : Les résultats sont montrés comme valables au sens de la convergence Gamma, assurant la stabilité sous convergence faible, et sont généralisés au cadre des espaces métriques mesurés, couvrant des espaces tels que les groupes de Carnot.

Les auteurs déclarent explicitement que le cas pour $p \neq 2$ général nécessite une approche différente et fait l'objet d'un article complémentaire [13], notant que pour $p$ impair, une formule fermée analogue au développement binomial utilisé ici pourrait ne pas être atteignable.

Résumé Technique : Combler le fossé : Maz'ya-Shaposhnikova et asymptotiques des périmètres fractionnaires

Articles similaires