Résumé technique : $\Gamma$-convergence du fonctionnel de Massari non local et applications aux équations d'Allen-Cahn inhomogènes

1. Énoncé du problème et contexte

Ce papier étudie le comportement asymptotique de problèmes variationnels non locaux associés à des ensembles de courbure moyenne prescrite, spécifiquement le problème de Massari non local, et leur lien avec les équations d'Allen-Cahn fractionnaires inhomogènes.

Le problème classique de Massari, formulé par Massari dans les années 1970, fournit une définition variationnelle pour des ensembles de courbure moyenne $H \in L^1(\Omega)$, où $H$ est sommable mais pas nécessairement continue. Le fonctionnel est défini comme suit :
$$J^H_\Omega(E) := \text{Per}(E, \Omega) + \frac{1}{\omega_{n-1}} \int_{\Omega \cap E} H \, dx$$
où $\text{Per}$ désigne le périmètre variationnel.

Les auteurs étendent ce cadre au contexte fractionnaire (paramètre $s \in (0,1)$), où le périmètre est remplacé par le périmètre $s$ (un terme d'interaction non local). Le fonctionnel de Massari non local est donné par :
$$J^H_{s,\Omega}(E) := \text{Per}_s(E, \Omega) + \frac{1}{1-2s} \int_{\Omega \cap E} H \, dx$$
L'objectif principal est d'analyser la limite de ces fonctionnels lorsque le paramètre fractionnaire $s \to (1/2)^-$ et d'étudier le comportement asymptotique des solutions d'équations d'Allen-Cahn fractionnaires perturbées sous contraintes de masse. Un défi central abordé est l'émergence d'un nouvel objet géométrique, la « courbure moyenne hybride non locale », qui apparaît lorsque des contraintes de masse sont imposées sur des transitions de phase non locales.

2. Méthodologie

Le papier emploie la théorie de la $\Gamma$-convergence (introduite par De Giorgi) pour établir le comportement limite des fonctionnels et la stabilité de leurs minimiseurs. La méthodologie comprend :

• Redimensionnement et analyse limite : Analyse du fonctionnel de Massari non local lorsque $s \to (1/2)^-$. Les auteurs utilisent un facteur d'échelle spécifique $(1-2s)$ pour retrouver le fonctionnel de Massari classique.
• Fonctionnels d'énergie perturbés : Introduction d'un fonctionnel d'énergie d'Allen-Cahn non local « forcé » avec un terme de forçage hautement oscillatoire $g_\varepsilon(x) = g(x/\varepsilon)$. L'énergie est redimensionnée selon le régime de $s$ :
  • $s \in (0, 1/2)$ : Redimensionné par $\varepsilon^{-2s}$.
  • $s = 1/2$ : Redimensionné par $|\varepsilon \log \varepsilon|^{-1}$.
  • $s \in (1/2, 1)$ : Redimensionné par $\varepsilon^{-1}$.
• Contraintes de masse : Investigation du problème de minimisation soumis à une contrainte de masse fixe $\int_\Omega u \, dx = m$. Cela nécessite la construction de suites de récupération spécifiques satisfaisant la contrainte de masse tout en convergeant vers le fonctionnel limite, en particulier dans le régime $s \in [1/2, 1)$ où la littérature existante (par exemple [29]) ne s'applique pas directement en raison de l'absence de conditions aux limites de Dirichlet.
• Analyse du comportement extérieur : Déduction du comportement des solutions à l'extérieur du domaine $\Omega$. Contrairement aux problèmes classiques où les solutions sont souvent supposées être des fonctions caractéristiques globalement, la contrainte de masse dans le contexte non local impose une condition de Neumann non locale spécifique à l'extérieur, conduisant à des solutions qui ne sont pas nécessairement constantes par morceaux à l'extérieur de $\Omega$.
• Raffinement de la convergence des points critiques : Adaptation des résultats de [24] concernant la convergence des points critiques des équations d'Allen-Cahn fractionnaires. Les auteurs affinent ces résultats pour traiter les cas où la solution n'est pas globalement régulière $C^{0,1}$, ce qui est une conséquence de la contrainte de masse.

3. Contributions et résultats clés

3.1 $\Gamma$-convergence du problème de Massari non local

Le Théorème 2.3 établit que le fonctionnel de Massari non local correctement redimensionné $\Gamma$-converge vers le fonctionnel de Massari classique lorsque $s \to (1/2)^-$.
Le Théorème 2.4 prouve la stabilité limite des minimiseurs : si une suite d'ensembles $\{E_j\}$ sont des minimiseurs locaux pour les fonctionnels non locaux $J^{H_j}_{s_j, \Omega}$ et convergent vers $E$, alors $E$ est un minimiseur local pour le fonctionnel classique $J^H_\Omega$. De plus, l'énergie de la suite converge vers l'énergie de l'ensemble limite.

3.2 Équations d'Allen-Cahn inhomogènes

Le papier généralise les résultats de $\Gamma$-convergence de [29] pour inclure un terme de forçage macroscopique $H$.
Le Théorème 2.7 prouve que le fonctionnel d'énergie d'Allen-Cahn fractionnaire perturbé $\Gamma$-converge vers un fonctionnel limite impliquant le périmètre (non local ou classique, selon $s$) et le terme de forçage.
Le Théorème 2.8 établit la stabilité des minimiseurs pour cette énergie perturbée.

• Pour $s \in (0, 1/2)$, le minimiseur limite satisfait le problème de Massari non local avec des données extérieures déterminées par la limite faible* de la suite à l'extérieur de $\Omega$.
• Pour $s \in [1/2, 1)$, le minimiseur limite correspond à un ensemble de courbure moyenne classique $H/c_\star$.

3.3 Problèmes à masse prescrite et courbure moyenne hybride non locale

Une partie significative du travail traite du problème d'Allen-Cahn à masse prescrite.

• Théorèmes 2.10 et 2.11 : Prouvent la $\Gamma$-convergence et des bornes d'énergie uniformes pour les minimiseurs sous contrainte de masse. La construction de la suite de récupération pour $s \in [1/2, 1)$ est une contribution novatrice, car elle nécessite de perturber la suite standard pour satisfaire la condition de masse sans violer les bornes d'énergie.
• Théorème 2.12 : Montre que les solutions du problème à masse contrainte satisfont une condition de Neumann externe non locale (Équation 2.19). Cela implique que la solution à l'extérieur de $\Omega$ est déterminée par une moyenne intégrale de la solution à l'intérieur de $\Omega$, et crucialement, la solution n'est pas une fonction caractéristique signée ($|u| \neq 1$) à l'extérieur de $\Omega$.
• Théorèmes 2.14 et 2.15 : Analysent la convergence des multiplicateurs de Lagrange associés à la contrainte de masse et la convergence de l'énergie totale.
• Théorèmes 2.18 et 2.20 : Introduisent et caractérisent la courbure moyenne hybride non locale.
  • Définition 2.17 : Définit la courbure moyenne hybride non locale d'un couple $(E, g)$, où $E$ est un ensemble à l'intérieur de $\Omega$ et $g$ est une fonction à l'extérieur de $\Omega$.
  • Résultat : La configuration limite du problème à masse contrainte consiste en un ensemble $E$ à l'intérieur de $\Omega$ et une fonction $u|_{\Omega^c}$ à l'extérieur. L'interface est caractérisée par la constance de la courbure moyenne hybride non locale.
  • Régularité : Le papier note que bien que la solution limite soit continue à travers $\partial \Omega$ ($C^0$), elle n'est généralement pas $C^1$ à travers la frontière, ce qui la distingue des graphes $s$-minimaux qui sont soit discontinus, soit $C^1$.

3.4 Raffinements techniques

• Annexe A : Démontre que prescrire à la fois des conditions aux limites de Dirichlet et une contrainte de masse conduit à un problème surdéterminé sans solutions, justifiant l'utilisation de conditions de Neumann non locales.
• Annexe B : Étend les résultats de $\Gamma$-convergence de l'espace des fonctions bornées par 1 à l'espace $X_M$ (fonctions bornées par $M$), garantissant que les résultats s'appliquent à la classe plus large de fonctions considérée dans les théorèmes principaux.

4. Signification et affirmations

Le papier prétend fournir une analyse asymptotique rigoureuse des transitions de phase non locales avec courbure moyenne prescrite et contraintes de masse. Sa signification réside dans :

1. Lier les problèmes géométriques non locaux et classiques : Il connecte formellement le problème de Massari fractionnaire au problème classique lorsque $s \to 1/2$, en préservant les minimiseurs et les bornes d'énergie.
2. Nouvel objet géométrique : L'identification de la « courbure moyenne hybride non locale » est présentée comme un nouvel objet géométrique. Contrairement aux transitions de phase à masse contrainte classiques qui convergent vers des ensembles de courbure moyenne constante, le contexte non local produit une configuration limite définie par un couple (ensemble à l'intérieur, fonction à l'extérieur) avec une courbure moyenne hybride constante.
3. Gestion des contraintes de masse dans les contextes non locaux : Le papier comble une lacune dans la littérature concernant la construction de suites de récupération pour des problèmes à masse contrainte lorsque $s \in [1/2, 1)$, où les contributions non locales se localisent.
4. Comportement aux frontières : Il met en évidence un comportement aux frontières distinct pour les interfaces non locales à masse contrainte ($C^0$ mais pas $C^1$), contrastant avec les résultats connus pour les graphes $s$-minimaux.

Les auteurs affirment que l'amélioration des résultats de convergence pour les points critiques (Théorème 2.18) présente un intérêt indépendant, car elle assouplit les hypothèses de régularité globale qui étaient précédemment requises dans des contextes similaires (par exemple [24]). Le travail est présenté comme une étape fondamentale pour comprendre l'interdépendance entre les interactions non locales, les contraintes de masse et les problèmes variationnels géométriques.