On a nonlocal superconductivity problem

1. Contexte et Énoncé du Problème

L'article s'intéresse à l'étude de la régularité des solutions d'un problème de frontière libre non local et dégénéré, motivé par la physique de la supraconductivité et les processus de saut en finance.

Le problème principal consiste à trouver une paire inconnue $(u, \Omega)$, où $u$ est une fonction définie sur $\mathbb{R}^n$ et $\Omega \subset \mathbb{R}^n$ est un ensemble ouvert, satisfaisant au sens de la viscosité le système suivant dans la boule unité $B_1$ :

$$\begin{cases} (-\Delta)^s u = f & \text{dans } B_1 \cap \Omega, \\ |Du| = 0 & \text{dans } B_1 \setminus \Omega. \end{cases}$$

Ici, $(-\Delta)^s$ désigne le Laplacien fractionnaire d'ordre $s \in (1/2, 1)$.

• La région $\Omega$ correspond aux points où le gradient ne s'annule pas ($\{|Du| \neq 0\}$). Dans cette zone, la fonction $u$ obéit à une équation aux dérivées partielles (EDP) non locale.
• La région complémentaire ($B_1 \setminus \Omega$) correspond aux points critiques où le gradient s'annule. Contrairement aux problèmes locaux classiques, aucune équation différentielle ne régit le comportement de $u$ dans cette région ; seule la condition $|Du|=0$ est imposée.

Ce modèle est une extension non locale des travaux de Caffarelli, Salazar et Shahgholian sur les problèmes elliptiques locaux dégénérés.

2. Défis Spécifiques au Cadre Non Local

Les auteurs soulignent plusieurs obstacles majeurs qui distinguent ce problème de son analogue local :

1. Absence d'équivalence harmonique : Dans le cas local, une fonction harmonique sur l'ensemble des points non critiques l'est souvent sur tout le domaine. En cadre non local, cette équivalence échoue : une solution de $(-\Delta)^s u = 0$ sur $\Omega$ n'est pas nécessairement $s$-harmonique sur tout $B_1$.
2. Nature globale de l'opérateur : Le Laplacien fractionnaire est un opérateur intégral global. Le comportement de la solution à l'extérieur de $B_1$ influence fortement la solution à l'intérieur. Cela empêche une réduction simple du problème à une EDP uniformément elliptique sur tout le domaine avec un second membre borné, comme c'est possible dans le cas local.
3. Défaut d'information PDE aux points critiques : Aux points où $|Du|=0$, l'équation PDE n'est pas définie, ce qui complique l'obtention de régularité par les méthodes classiques de régularité intérieure.

3. Méthodologie et Stratégie de Preuve

La stratégie principale repose sur une méthode d'oscillation de gradient de type De Giorgi, adaptée au contexte non local et aux scénarios de dégénérescence. L'approche combine plusieurs ingrédients techniques :

• Argument de positivité pour les dérivées : Les auteurs développent un argument (Lemme 3.1) montrant que si le gradient est petit sur un ensemble de mesure positive, il oscille de manière contrôlée. Ils construisent des sous-solutions pour les dérivées directionnelles en utilisant des fonctions de troncature et des quotients différentiels.
• Estimations d'oscillation itératives : En utilisant une procédure d'itération dyadique (Proposition 3.1), ils établissent que si le gradient reste "petit" en mesure à chaque étape d'échelle, l'oscillation du gradient peut être raffinée, conduisant à une régularité Hölderienne.
• Deux cas de figure (Dichotomie) : La preuve de la régularité $C^{1,\alpha}$ repose sur une dichotomie :
  1. Cas de dégénérescence infinie : Si le gradient reste petit en mesure à toutes les échelles, cela implique l'existence de points critiques. L'itération permet alors de prouver que le gradient est Hölderien.
  2. Cas de non-dégénérescence : Si à un certain stade, le gradient est "grand" sur un ensemble de mesure significative, le problème se comporte localement comme une équation non locale elliptique standard. On peut alors appliquer des estimations de régularité intérieure classiques (via une perturbation d'une fonction affine) pour obtenir la régularité $C^{1,\alpha}$.
• Gestion de la croissance à l'infini : Une attention particulière est portée au contrôle de la croissance des solutions à l'infini (espace $L^1_s$) lors des rescalings, ce qui est crucial pour la validité des opérateurs non locaux.

4. Résultats Principaux

Les résultats centraux de l'article établissent la régularité $C^{1,\alpha}$ locale pour les solutions viscosité.

Théorème 1.1 (Cas homogène) :
Pour $s \in (1/2, 1)$, si $(u, \Omega)$ résout le problème homogène ($f=0$) avec $u \in C(B_1) \cap L^\infty(\mathbb{R}^n)$, alors $u$ est localement de classe $C^{1,\alpha}$ pour un exposant universel $\alpha \in (0, 1)$ dépendant uniquement de $n$ et $s$.
$$\|u\|_{C^{1,\alpha}(B_{1/2})} \leq C \|u\|_{L^\infty(\mathbb{R}^n)}$$

Théorème 1.2 (Cas non homogène) :
Si $f$ est suffisamment régulier ($f \in C^{0,1}$) et $u \in C(B_1) \cap L^1_s(\mathbb{R}^n)$, alors $u \in C^{1,\alpha}_{loc}$. La borne est affinée pour utiliser la norme $L^1_s$ (plus naturelle en cadre non local) au lieu de la norme $L^\infty$ globale :
$$\|u\|_{C^{1,\alpha}(B_{1/2})} \leq C \left( \|u\|_{L^\infty(B_1)} + \|u\|_{L^1_s(\mathbb{R}^n)} + \|f\|_{C^{0,1}(B_1)} \right)$$

Corollaire 1.1 (Problèmes de type obstacle) :
Les résultats s'appliquent également aux problèmes de type obstacle généralisés, où la condition de frontière libre est liée à un obstacle $\phi$.

Extension aux opérateurs non linéaires (Section 6) :
Les auteurs montrent que leurs méthodes s'étendent à une classe large d'opérateurs non linéaires elliptiques (opérateurs de type Pucci non locaux), avec des constantes dépendant de la constante d'ellipticité $\Lambda$.

5. Signification et Contributions

• Avancée théorique : Ce travail comble un vide important dans la théorie des EDP non locales en traitant des problèmes de frontière libre dégénérés où l'équation n'est pas définie sur tout le domaine.
• Robustesse de la méthode : La démonstration montre que la régularité $C^{1,\alpha}$ est stable lorsque $s \to 1$, retrouvant ainsi les résultats classiques du cadre local (Caffarelli, Salazar, Shahgholian).
• Applications : Les résultats sont directement applicables à la modélisation des vortex dans les supraconducteurs (modèle de champ moyen) et aux problèmes de diffusion avec sauts en finance, où la diffusion ne se produit qu'en dehors des points critiques du coût.
• Nouveauté technique : L'introduction d'un argument de positivité pour les dérivées couplé à un schéma de normalisation discrète pour contrôler les dérivées non nulles constitue une innovation méthodologique clé pour surmonter l'absence d'équation PDE aux points critiques dans le cadre non local.

En résumé, cet article établit des estimations de régularité optimales pour une classe de problèmes de frontière libre non locaux, prouvant que les solutions sont $C^{1,\alpha}$ malgré la dégénérescence et la nature globale des opérateurs impliqués.