Conditions nettes pour la formule BBM et asymptotiques des énergies de type contenu calorifique

Informations fondamentales

• ID de l'article: 2502.14655
• Titre: Sharp conditions for the BBM formula and asymptotics of heat content-type energies
• Auteurs: Luca Gennaioli (University of Warwick), Giorgio Stefani (Università degli Studi di Padova)
• Classification: math.AP (Analyse des EDP), math.FA (Analyse Fonctionnelle)
• Date de soumission: 7 novembre 2025 (arXiv v2)
• Lien de l'article: https://arxiv.org/abs/2502.14655

Résumé

Cet article établit des conditions nécessaires et suffisantes pour les familles de noyaux mesurables non-négatifs $(ρ_t)_{t\in(0,1)}$ avec $p \in [1,\infty)$, garantissant que les énergies Bourgain-Brezis-Mironescu (BBM) associées $(\mathscr{F}_{t,p})_{t\in(0,1)}$ convergent vers une variante de l'énergie $p$-Dirichlet sur $\mathbb{R}^N$ lorsque $t\to 0^+$, au sens de la convergence ponctuelle et de la Γ-convergence. Les auteurs fournissent également des conditions suffisantes pour $(ρ_t)_{t\in(0,1)}$ garantissant la compacité locale des suites à énergie BBM bornée dans $L^p(\mathbb{R}^N)$. De plus, lorsque l'énergie limite $p$ est de type non-local, l'article établit des conditions suffisantes assurant la convergence ponctuelle, la Γ-convergence et la compacité. Enfin, les auteurs appliquent ces résultats aux formules asymptotiques des énergies de type contenu calorifique, couvrant les cas locaux et non-locaux.

Contexte et motivation de la recherche

Problème central

Cet article étudie le comportement asymptotique des fonctionnelles d'énergie non-locale, en particulier les énergies de type BBM : $\mathscr{F}_{t,p}(u) = \int_{\mathbb{R}^N} \int_{\mathbb{R}^N} \frac{|u(x)-u(y)|^p}{|x-y|^p} ρ_t(x-y) dx dy$ et si elles convergent vers l'énergie $p$-Dirichlet classique lorsque le paramètre $t \to 0^+$.

Importance de la recherche

1. Signification théorique: La formule BBM établit un pont entre les fonctionnelles non-locales et les espaces de Sobolev classiques, constituant un outil fondamental en analyse moderne
2. Valeur applicative: Applications larges en débruitage d'images, science des matériaux (interactions d'échange antisymétrique), étude de la convergence des fonctionnelles de Ginzburg-Landau non-locales
3. Contexte physique: Le contenu calorifique (heat content) décrit l'évolution de la chaleur dans un récipient parfaitement isolé, son comportement asymptotique codifiant des informations géométriques

Limitations des méthodes existantes

1. Conditions suffisantes uniquement: Depuis le travail fondateur de Bourgain-Brezis-Mironescu 20, la littérature fournit principalement des conditions suffisantes pour la formule BBM
2. Restrictions de la méthode de Fourier: Davoli et al. 34 obtiennent des conditions nécessaires et suffisantes pour $p=2$ via la transformation de Fourier, mais cette méthode ne s'étend pas à $p \neq 2$
3. Hypothèses de symétrie radiale: Nombreux résultats (comme 38) limités aux familles de noyaux radialement symétriques
4. Absence d'analyse de compacité: Résultats de coercivité équivalente quasi inexistants pour les familles de noyaux non radialement symétriques

Motivation de la recherche

1. Répondre à la conjecture posée dans 34: fournir des conditions nécessaires et suffisantes pour la formule BBM pour tout $p \in [1,\infty)$
2. Étendre les conditions nécessaires et suffisantes de la convergence ponctuelle à la Γ-convergence (concept de convergence variationnelle plus fort)
3. Établir des critères de compacité pour les familles de noyaux non radialement symétriques
4. Traiter uniformément le comportement asymptotique des noyaux de chaleur et des noyaux de chaleur fractionnaires

Contributions principales

Les contributions principales de cet article incluent:

1. Théorème de conditions nécessaires et suffisantes (Théorème 1.1): Pour tout $p \in [1,\infty)$, établit les conditions nécessaires et suffisantes pour la formule BBM, résolvant complètement la conjecture de 34, et étendant les résultats de la convergence ponctuelle à la Γ-convergence
2. Théorème de coercivité (Théorème 1.2): Sous l'hypothèse de rang maximal (maximal rank), prouve la coercivité de la famille de fonctionnelles, garantissant que les limites des suites convergentes appartiennent aux espaces de Sobolev appropriés
3. Critère général de compacité (Théorème 1.3): Pour les familles de noyaux spéciaux (4.4), établit des conditions suffisantes pour la compacité locale, sans hypothèse de symétrie radiale
4. Convergence non-locale vers non-locale (Théorèmes 1.4-1.5): Lorsque l'énergie limite reste de type non-local, fournit des conditions suffisantes pour la convergence ponctuelle/Γ et la compacité
5. Applications aux noyaux de chaleur:
   • Théorème 1.6: Formule asymptotique pour le noyau de chaleur classique (avec Γ-convergence et compacité)
   • Théorème 1.7: Analyse complète du noyau de chaleur fractionnaire, distinguant les trois cas $2s > p$, $2s = p$, $2s < p$
   • Théorème 6.2: Généralisation du résultat de 2 aux noyaux de type chaleur généraux
6. Cadre d'espace de Hilbert (Théorème 1.8): Pour les semi-groupes d'opérateurs symétriques fortement continus, fournit un traitement unifié des asymptotiques du contenu calorifique

Explication détaillée des méthodes

Définition de la tâche

Tâche centrale: Étant donnée une famille de noyaux $(ρ_t)_{t \in (0,1)} \subset L^1_{loc}(\mathbb{R}^N)$ (avec $ρ_t \geq 0$) et $p \in [1,\infty)$, analyser la convergence de la fonctionnelle $\mathscr{F}_{t,p}(u) = \int_{\mathbb{R}^N} \frac{\|u(\cdot + z) - u\|^p_{L^p}}{|z|^p} ρ_t(z) dz$ lorsque $t \to 0^+$, incluant:

1. Convergence vers l'énergie $p$-Dirichlet locale $\mathscr{D}^μ_p(u) = \int_{S^{N-1}} \|σ \cdot Du\|^p_{L^p} dμ(σ)$
2. Modes de convergence (ponctuelle, Γ-convergence)
3. Compacité (précompacité des ensembles de sous-niveau)

Architecture principale de la méthode

1. Stratégie de preuve des conditions nécessaires et suffisantes (Théorème 1.1)

Direction suffisance (A)⇒(B):

• Étape 1: Prouver un résultat plus fort (Théorème 3.1): la condition (A) garantit la convergence vers l'énergie généralisée $\mathscr{G}^{μ,ν}_p(u) = \int_{S^{N-1}} \|σ \cdot Du\|^p_{L^p} dμ(σ) + \int_{\mathbb{R}^N \setminus \{0\}} \frac{\|u(\cdot+z)-u\|^p_{L^p}}{|z|^p} dν(z)$ où $μ \in \mathcal{M}^+(S^{N-1})$, $ν \in \mathcal{M}^+(\mathbb{R}^N)$
• Étape 2: Utiliser la décomposition de mesure du Lemme 2.9:
  • $ν_k = ρ_{t_k} \mathcal{L}^N \stackrel{*}{\rightharpoonup} ν$ (convergence faible*)
  • $μ$ défini via la limite d'intégrales sphériques: $μ^δ_t(E) = \int_E \left(\int^δ_0 ρ_t(σr) r^{N-1} dr\right) d\mathcal{H}^{N-1}(σ)$
• Étape 3: Estimation par régions (équation 3.2): $\mathscr{F}_{t,p}(u; \mathbb{R}^N) = \mathscr{F}_{t,p}(u; B_δ) + \mathscr{F}_{t,p}(u; A_δ) + \mathscr{F}_{t,p}(u; B^c_{1/δ})$ où $A_δ = \{x: δ < |x| < 1/δ\}$
• Étape 4: Traiter chaque région séparément:
  • Petite boule $B_δ$: utiliser l'inégalité du Lemme 2.2(i) $\|u(\cdot+z)-u\|_{L^p} \leq \|\frac{z}{|z|} \cdot Du\|_{L^p}$
  • Région annulaire $A_δ$: utiliser la continuité $z \mapsto \frac{\|u(\cdot+z)-u\|^p_{L^p}}{|z|^p} \in C(\mathbb{R}^N \setminus \{0\})$
  • Extérieur $B^c_{1/δ}$: contrôlé par la condition (1.4) pour être $o(1)$
• Étape 5: La deuxième partie de la condition (A) $ν_k \stackrel{*}{\rightharpoonup} αδ_0$ garantit $ν = αδ_0$, d'où $\mathscr{G}^{μ,αδ_0}_p = \mathscr{D}^μ_p$

Direction nécessité (B)⇒(A):

• Étape 1: De la convergence ponctuelle (B) obtenir une estimation uniforme (Lemme 2.11): $\limsup_{t \to 0^+} \mathscr{F}_{t,p}(u) \leq C\|Du\|^p_{L^p}, \quad \forall u \in \text{Lip}_c(\mathbb{R}^N)$
• Étape 2: Vérifier la condition (1.4) via des fonctions tests soigneusement construites:
  • Pour l'intégrale extérieure: choisir $u_R(x) = \mathbb{1}_{B_{R/4}} * \text{(cutoff lisse)}$
  • Pour l'intégrale intérieure: choisir des fonctions radiales $v(x) = e^{|x|^2} * \text{(cutoff lisse)}$
• Étape 3: Appliquer le Théorème 3.1 pour obtenir la convergence vers $\mathscr{G}^{λ,ν}_p$ (pour certains $λ, ν$)
• Étape 4: Argument de changement d'échelle (Lemme 2.13): si $\mathscr{G}^{μ,ν}_p = \mathscr{G}^{μ,0}_p$ pour tous $u \in \text{Lip}_c(\mathbb{R}^N)$, alors nécessairement $ν = αδ_0$
  • Clé: définir $u_ε(x) = ε^{1-N/p} u(x/ε)$, alors $\|σ \cdot Du_ε\|_{L^p} = \|σ \cdot Du\|_{L^p}$$\|u_ε(\cdot+z) - u_ε\|_{L^p} = ε^p \|u(\cdot + z/ε) - u\|_{L^p}$
  • Utiliser le théorème de convergence dominée pour obtenir $\lim_{ε \to 0^+} ε^p \int \frac{\|u(\cdot+z/ε)-u\|^p_{L^p}}{|z|^p} dν(z) = 0$

2. Preuve du critère de compacité (Théorème 1.3)

Idée centrale: Construction d'approximations par des fonctions de Sobolev

• Étape 1 (Proposition 4.4): Pour les familles de noyaux spéciaux (4.4), prouver l'existence de $v_t \in S^p(\mathbb{R}^N)$ telle que $\|v_t - u\|_{L^p} \leq C \mathscr{F}^K_{t,p}(u) β(t)^{-p}, \quad \|∇v_t\|_{L^p} \leq C \mathscr{F}^K_{t,p}(u)$
• Étape 2: Méthode de construction — lissage par convolution:
  • Choisir $φ \in \text{Lip}_c(\mathbb{R}^N)$ satisfaisant $φ \leq G * G$ et $|∇φ| \leq G * G$, où $G = \min\{K, 1\}$
  • Définir $v_t = u * φ_t$, où $φ_t(x) = β(t)^N φ(β(t)x) / \|φ\|_{L^1}$
• Étape 3: Utiliser le Lemme 4.5 (généralisation de l'inégalité de Young): $\int \|u(\cdot+z)-u\|^p_{L^p} (G*G)(z) dz \leq 2^p \|G\|_{L^1} \int \|u(\cdot+z)-u\|^p_{L^p} G(z) dz$
• Étape 4: Pour les suites à énergie bornée $(u_k)$, construire $(v_k)$ bornée dans $S^p(\mathbb{R}^N)$, d'où la compacité locale

3. Traitement de la convergence non-locale (Théorèmes 1.4-1.5)

Théorème 1.4 (Convergence ponctuelle/Γ):

• Hypothèses: $\frac{ρ_t(z)}{|z|^p} \leq Cκ(z), \quad \lim_{t \to 0^+} \frac{ρ_t(z)}{|z|^p} = κ(z) \text{ p.p.}$
• Preuve: Application directe du théorème de convergence dominée et du lemme de Fatou

Théorème 1.5 (Compacité):

• Hypothèses: Pour chaque $ε > 0$, il existe $δ > 0$ tel que $\frac{ρ_t(z)}{|z|^p} \geq \frac{1}{εδ^N}, \quad \forall z \in B_δ, t \in (0,δ)$
• Preuve: Utiliser le théorème de compacité de Fréchet-Kolmogorov, contrôler l'erreur de lissage via le Lemme 5.1

Points d'innovation technique

1. Cadre unifié: Généraliser la méthode de Fourier de $p=2$ à $p \in [1,\infty)$ général, évitant la dépendance au théorème de Plancherel
2. Technique de décomposition de mesure (Lemme 2.9):
   • Décomposer astucieusement $ρ_t \mathcal{L}^N$ en mesure sphérique $μ$ et mesure volumique $ν$
   • Utiliser un ensemble dénombrable $I_0$ pour éviter les sauts de mesure à la frontière
3. Argument de changement d'échelle (Lemme 2.13): Via l'invariance d'échelle de $u_ε(x) = ε^{1-N/p} u(x/ε)$, prouver que $ν$ doit être concentrée à l'origine
4. Condition de rang maximal (Définition 2.8):
   • Analogue de l'ellipticité non-locale
   • Garantir $\text{span}(\text{supp} μ) = \mathbb{R}^N$, d'où $\inf_{S^{N-1}} Θ_μ > 0$ (Lemme 2.1)
5. Traitement par régions: Utiliser différentes techniques d'estimation à différentes échelles, contrôle fin des erreurs

Configuration expérimentale

Cet article est un travail purement théorique, ne contenant pas d'expériences numériques. Tous les résultats sont obtenus via des preuves mathématiques rigoureuses.

Modes de vérification

1. Vérification sur des exemples connus:
   • Noyaux fractionnaires standards: $ρ_t(z) = \frac{1-t}{|z|^{N-(1-t)p}}$ (Remarque 2.7)
   • Noyaux de chaleur et noyaux de chaleur fractionnaires (Sections 6.1-6.2)
2. Construction de contre-exemples (Remarque 3.2):
   • Construire une famille de noyaux $(ρ_t)$ satisfaisant (A) mais nécessitant une sous-suite pour satisfaire (B)
   • Définition: $ρ_t = ρ^{(1,1)}_t$ ($t = 1/k$, $k$ impair) ou $ρ^{(N-1,2)}_t$ ($k$ pair)
   • Résultat: Convergence vers $\|e_1 \cdot Du\|^p_{L^p}$ le long de la sous-suite impaire, vers $\|e_N \cdot Du\|^p_{L^p}$ le long de la sous-suite paire

Résultats expérimentaux

Résultats théoriques principaux

1. Formule asymptotique pour le noyau de chaleur (Théorème 1.6)

Pour le noyau de chaleur classique $h_t(x) = e^{-|x|^2/(4t)} / (4πt)^{N/2}$: $\lim_{t \to 0^+} t^{-p/2} \int_{\mathbb{R}^N} H_t(|u-u(x)|^p)(x) dx = \frac{2Γ(p)}{Γ(p/2)} \|Du\|^p_{L^p}$ où la constante est: