Homogenization in one-dimensional higher-order non-local models of phase transitions

Résumé technique : Homogénéisation dans des modèles non locaux d'ordre supérieur unidimensionnels de transitions de phase

Énoncé du problème
Cet article étudie le comportement asymptotique (spécifiquement la $\Gamma$-convergence) d'une classe de fonctionnelles unidimensionnelles modélisant les transitions de phase. Ces fonctionnelles généralisent l'énergie classique de Cahn–Hilliard en remplaçant le terme de gradient local par un terme non local d'ordre supérieur impliquant des dérivées fractionnaires, tout en introduisant simultanément un coefficient à oscillations rapides (noyau d'homogénéisation).

Les fonctionnelles sont définies sur l'espace de Sobolev fractionnaire $H^{k+s}((0, 1))$ avec $k \in \mathbb{N}$, $s \in (0, 1)$, et $k+s > 1/2$. La fonctionnelle d'énergie $F_{\varepsilon, \delta}$ prend la forme :
$$F_{\varepsilon, \delta}(u) = \frac{1}{\varepsilon} \int_0^1 W(u) \, dx + \varepsilon^{2(k+s)-1} \int_0^1 \int_0^1 a\left(\frac{x}{\delta}, \frac{y}{\delta}\right) \frac{|u^{(k)}(x) - u^{(k)}(y)|^2}{|x-y|^{1+2s}} \, dx \, dy$$
où $W$ est un potentiel à double puits (minima en $\pm 1$) et $a$ est un noyau d'homogénéisation 1-périodique. L'étude se concentre sur la limite lorsque $\varepsilon, \delta \to 0$, analysant l'interaction entre l'échelle de la couche de transition ($\varepsilon$) et l'échelle d'oscillation ($\delta$).

Méthodologie
Les auteurs emploient le calcul des variations, spécifiquement la théorie de la $\Gamma$-convergence, pour dériver des limites à interface nette. La méthodologie repose sur plusieurs composants techniques clés :

1. Mise à l'échelle et redimensionnement : L'analyse implique le redimensionnement des fonctionnelles pour identifier la tension superficielle effective dans différents régimes. Les auteurs définissent des fonctionnelles redimensionnées $\Phi_a$ pour étudier des problèmes de profils optimaux sur la droite réelle.
2. Compacité et coercivité : Une partie significative du travail établit l'équicoercivité et des propriétés de coercivité améliorées pour les suites à énergie bornée. Contrairement aux problèmes locaux standards, la nature non locale nécessite une manipulation prudente des « queues » des fonctions. Les auteurs démontrent que les suites à énergie bornée sont bornées dans $H^{k+s}_{loc}$ et que leurs dérivées $k$-ièmes sont bornées dans $L^2$.
3. Lemmes d'approximation : Pour traiter les interactions non locales, les auteurs développent des lemmes de modification spécifiques :
   • Lemme d'aplatissement : Permet de modifier une fonction près des minima du potentiel $W$ pour la rendre exactement constante sans augmenter significativement l'énergie. Ceci est crucial pour prolonger les fonctions à l'infini et isoler les couches de transition.
   • Lemme de disparition des queues : Contrôle la contribution énergétique des « queues » de la fonction (loin de la couche de transition), garantissant que la troncature du domaine n'altère pas significativement l'énergie asymptotique.
4. Analyse des régimes : La preuve distingue trois régimes distincts basés sur le rapport $\lambda = \lim_{\varepsilon \to 0} \delta/\varepsilon$ :
   • Sous-critique ($\delta/\varepsilon \to +\infty$) : L'échelle d'oscillation est beaucoup plus grande que la couche de transition.
   • Sur-critique ($\delta/\varepsilon \to 0$) : L'échelle d'oscillation est beaucoup plus petite que la couche de transition.
   • Critique ($\delta/\varepsilon \to \lambda \in (0, \infty)$) : Les échelles sont comparables.

Contributions et résultats clés
L'article identifie trois régimes distincts pour la $\Gamma$-limite, chacun convergeant vers une fonctionnelle à interface nette de la forme :
$$F(u) = \sum_{\omega \in \{+1, -1\}} m^\omega_\lambda \# S_\omega(u)$$
où $S_\omega(u)$ désigne l'ensemble des sauts de direction $\omega$, et $m^\omega_\lambda$ est la tension superficielle effective (énergie de transition).

1. Régime critique ($\delta \sim \varepsilon$) :
   Lorsque $\delta/\varepsilon \to \lambda \in (0, \infty)$, la tension superficielle $m^\omega_\lambda$ est donnée par un problème variationnel où le noyau oscillant $a$ est évalué à l'échelle $\lambda$ :
   $$m^\omega_\lambda = \inf \left\{ \int_{\mathbb{R}} W(u) dx + \iint_{\mathbb{R}^2} a\left(\frac{x}{\lambda}, \frac{y}{\lambda}\right) \frac{|u^{(k)}(x) - u^{(k)}(y)|^2}{|x-y|^{1+2s}} dx dy \right\}$$
   Cela représente une compétition entre les oscillations et la couche de transition, sans séparation d'échelles.

2. Régime sur-critique ($\delta \ll \varepsilon$) :
   Lorsque $\delta/\varepsilon \to 0$, les oscillations sont moyennées avant la formation de la couche de transition. La tension superficielle implique la moyenne arithmétique du noyau, $\bar{a} = \iint_{(0,1)^2} a(x,y) dx dy$ :
   $$m^\omega_0 = (\bar{a})^{\frac{1}{2(k+s)}} m^\omega$$
   où $m^\omega$ est l'énergie de transition pour le cas homogène ($a \equiv 1$). Les auteurs soulignent un contraste net avec le cas du gradient local (où apparaît la moyenne harmonique) ; ici, la moyenne arithmétique résulte de la nature non locale de la dérivée fractionnaire.

3. Régime sous-critique ($\delta \gg \varepsilon$) :
   Lorsque $\delta/\varepsilon \to +\infty$, en supposant $a$ continu, la couche de transition est confinée à une échelle $\varepsilon$ où le noyau $a$ apparaît constant. La tension superficielle est déterminée par le minimum du noyau sur la diagonale :
   $$m^\omega_\infty = (\inf_{t \in \mathbb{R}} a(t,t))^{\frac{1}{2(k+s)}} m^\omega$$
   Ce résultat démontre un effet de « séparation d'échelles » et une concentration supplémentaire sur la diagonale $x=y$, distincte du cas local.

Signification et affirmations
L'article prétend étendre la théorie existante des transitions de phase des modèles de gradient local aux modèles non locaux d'ordre supérieur avec coefficients oscillants.

• Généralisation : Il généralise les résultats précédents de Savin, Valdinoci et Solci (qui ont traité le cas homogène) et d'Ansini et al. (qui ont traité les inhomogénéités locales) au cadre fractionnaire, d'ordre supérieur et inhomogène.
• Distinction non local vs local : Les auteurs soulignent que le comportement d'homogénéisation dans le régime sur-critique diffère fondamentalement du cas du gradient local. Alors que les modèles locaux produisent une moyenne harmonique pour le coefficient effectif, les modèles fractionnaires non locaux produisent une moyenne arithmétique. Cette discontinuité est attribuée à la nature singulière des problèmes de minimum lorsque $s \to 0$ ou $s \to 1$.
• Rigueur technique : L'ouvrage fournit une preuve rigoureuse de la $\Gamma$-convergence dans le cadre unidimensionnel, traitant explicitement les difficultés techniques découlant des doubles intégrales non locales et du manque de compacité dans le cadre fractionnaire. Les auteurs notent que la restriction unidimensionnelle est nécessaire pour éviter de superposer les difficultés des cadres fractionnaires avec les subtilités de l'homogénéisation sur les interfaces en dimensions supérieures.

L'article ne propose pas de nouvelles applications ou de dispositifs expérimentaux, mais sert de fondement théorique pour comprendre comment les interactions non locales et les micro-oscillations influencent conjointement les énergies de transition de phase.