Homoclinic solutions for nonlocal equations and applications to the theory of atom dislocation

Résumé Technique : Solutions Homoclines pour les Équations Nonlocales et Applications à la Théorie des Dislocations Atomiques

Énoncé du Problème
Cet article étudie l'existence de solutions homoclines pour des systèmes d'équations nonlocales pilotés par le Laplacien fractionnaire. L'étude se concentre sur deux scénarios structurels distincts pour le terme d'énergie potentielle, motivés par le modèle de Peierls–Nabarro pour les dislocations de bord atomiques dans les cristaux.

1. Potentiels Spatialement Homogènes : Les auteurs considèrent l'équation $(-\Delta)^s q = \nabla V(q)$ sur $\mathbb{R} \setminus [a, b]$, où $V$ est une fonction spatialement homogène possédant un maximum global strict à l'origine. La solution est contrainte à un profil fixe $q_0$ sur l'intervalle $[a, b]$. L'objectif est de trouver une solution $q$ qui décroît vers zéro à l'infini (une orbite homocline), représentant une configuration cristalline où les atomes à l'infini sont dans une position de repos, tandis que les atomes au sein de $[a, b]$ sont « pincés » loin de l'équilibre.
2. Potentiels Spatialement Dépendants : Les auteurs analysent le système $(-\Delta)^s q(x) + L(x)q(x) = \nabla_q W(x, q(x))$, où $L(x)$ est une matrice symétrique, uniformément définie positive, qui croît à l'infini, et où $W$ satisfait la condition d'Ambrosetti–Rabinowitz. Ce cadre modélise les dislocations sous un potentiel de confinement.

Un défi technique central abordé est l'absence d'un formalisme hamiltonien pratique dans le cadre nonlocal, ce qui empêche l'application directe des techniques classiques d'équations différentielles ordinaires (EDO) utilisées pour leurs homologues locaux (par exemple, Rabinowitz et Tanaka).

Méthodologie
Les auteurs emploient une approche variationnelle combinée à la théorie de la régularité elliptique nonlocale.

• Cadre Variationnel : Pour le cas homogène, le problème est formulé comme la minimisation d'une fonctionnelle d'énergie $I(q)$ sur un ensemble $\Gamma$ de fonctions satisfaisant la condition aux limites sur $[a, b]$. Pour le cas spatialement dépendant, le théorème du Passage par la Montagne (Mountain Pass Theorem) est utilisé pour trouver les points critiques de la fonctionnelle d'énergie associée dans un espace de Hilbert $\tilde{H}^s$.
• Arguments de Régularité et de Bootstrap : En raison de la nature nonlocale du Laplacien fractionnaire, les auteurs ne peuvent pas s'appuyer sur des arguments d'EDO pour établir la décroissance ou la régularité des solutions. Au lieu de cela, ils développent une stratégie de « bootstrap de régularité ». Cela implique de :
  • Établir des estimations de régularité intérieure et aux limites pour les solutions faibles en utilisant les résultats de la littérature sur les espaces de Sobolev fractionnaires (par exemple, Ros-Oton, Serra, Abatangelo).
  • Prouver que les solutions faibles bornées possèdent une continuité de Hölder, ce qui permet l'application de lemmes de décroissance.
  • Utiliser des estimations d'énergie pour localiser les niveaux critiques et garantir l'existence de minimiseurs ou de points critiques non triviaux.
• Construction de Barrières : Pour le cas où $s \in (0, 1/2]$ dans le problème spatialement dépendant, les estimations d'énergie standards sont insuffisantes pour garantir la décroissance à l'infini en raison des coefficients non bornés de $L(x)$. Les auteurs construisent une fonction barrière ad hoc basée sur la dérivée d'une solution monotone d'une équation fractionnaire liée pour contrôler le comportement de la solution à l'infini.
• Analyse d'Optimalité : L'article inclut une discussion rigoureuse sur la nécessité des hypothèses, démontrant spécifiquement que pour $s \in (0, 1/2]$, le problème de minimisation se trivialise (l'infimum est zéro) si l'intervalle de contrainte dégénère en un point unique ($a=b$), alors que ce n'est pas le cas pour $s \in (1/2, 1)$.

Contributions Clés et Résultats

• Existence de Solutions Homoclines (Cas Homogène) :

  • Théorème 1.2 : Prouve l'existence d'une solution homocline pour $s \in (0, 1)$ lorsque la contrainte est un intervalle $[a, b]$ avec $a < b$. La solution est montrée être dans $C^\beta(\mathbb{R})$ et décroît vers zéro à l'infini.
  • Théorème 1.3 : Étend le résultat au cas $a = b$ (une contrainte de point unique), mais uniquement pour la plage $s \in (1/2, 1)$. La solution est symétrique par rapport au point de contrainte.
  • Proposition 2.2 : Démontre que pour $s \in (0, 1/2]$, le cas $a=b$ n'est pas admissible pour des solutions homoclines non triviales, car l'infimum de l'énergie est atteint au niveau zéro.

• Existence de Solutions Homoclines (Cas Spatialement Dépendant) :

  • Théorème 1.4 : Établit l'existence de solutions homoclines non triviales pour $s \in (1/2, 1)$ sous la condition d'Ambrosetti–Rabinowitz et une condition de croissance spécifique sur le potentiel $W$. La solution est montrée être dans $C^{s-1/2}$ et décroît vers zéro.
  • Théorème 1.5 : Prouve l'existence pour $s \in (1/2, 1]$. Cela nécessite des conditions de croissance supplémentaires sur $W$ (bornes polynomiales) et, de manière cruciale, une hypothèse structurelle sur la matrice $L(x)$ (dominance diagonale à l'infini) pour construire la barrière nécessaire. La solution est bornée et décroît vers zéro.

• Régularité et Décroissance :

  • L'article fournit des résultats de régularité détaillés, montrant que les solutions appartiennent à des espaces de Hölder spécifiques ($C^\beta$, $C^{s-1/2}$, ou $C^{2s}$ localement) selon l'exposant fractionnaire et la régularité du potentiel.
  • Il prouve rigoureusement que ces solutions satisfont $\lim_{x \to \pm \infty} q(x) = 0$, confirmant leur nature homocline.

Signification et Revendications
L'article affirme fournir un « contrepartie fractionnaire naturelle » aux résultats classiques de Rabinowitz et Tanaka concernant les orbites homoclines dans les systèmes locaux. La principale signification réside dans le dépassement des difficultés techniques inhérentes aux opérateurs non locaux, spécifiquement l'absence de structure hamiltonienne et les différentes théories de capacité associées aux espaces de Sobolev fractionnaires pour différentes valeurs de $s$.

Dans le contexte du modèle de Peierls–Nabarro, les résultats offrent une justification mathématique de l'existence de configurations cristallines spécifiques :

1. Pour le potentiel homogène, les résultats suggèrent qu'un cristal peut supporter une configuration où les atomes sont dans une position de repos instable à l'infini, à condition que le potentiel soit légèrement modifié et qu'un « pincement » (déplacement) soit appliqué à un point ou un intervalle spécifique.
2. Pour le potentiel spatialement dépendant, les résultats indiquent que des configurations d'équilibre à l'infini sont possibles sous des perturbations superquadratiques mineures du potentiel classique, à condition que le potentiel de confinement croisse suffisamment à l'infini.

Les auteurs soulignent que ces conclusions sont dérivées strictement par des méthodes variationnelles et la théorie de la régularité non locale, évitant les techniques d'EDO qui échouent dans le cadre non local. L'article ne propose pas de nouveaux dispositifs expérimentaux mais fournit l'existence théorique de solutions correspondant à des modèles de dislocations physiquement pertinents.