A multiplicity result for critical elliptic problems involving differences of local and nonlocal operators

Cet article établit l'existence de deux solutions faibles non triviales, à énergie négative et positive, pour des problèmes elliptiques critiques impliquant la différence d'opérateurs locaux et non locaux, en s'appuyant sur un résultat abstrait récent pour de petites valeurs d'un paramètre.

L'essentiel

🎨 Le Titre : Trouver deux solutions là où on n'attendait qu'une

Imaginez que vous êtes un architecte chargé de concevoir une structure (une "équation") qui doit résister à certaines forces. Dans le monde des mathématiques, ces structures sont souvent des équations elliptiques. Elles décrivent comment les choses se comportent dans l'espace, comme la chaleur qui se diffuse ou la tension dans un élastique.

Ce papier parle d'un problème très spécifique : que se passe-t-il quand on mélange deux types de forces très différents ?

1. Les deux types de forces (Les Opérateurs)

Pour comprendre l'histoire, il faut imaginer deux types de "voisins" qui influencent un point central :

• Le Voisin Local (L'opérateur classique) : C'est comme un voisin qui ne parle qu'à ceux qui sont juste à côté de chez lui. Si vous changez votre jardin, seul votre voisin immédiat le voit. En mathématiques, c'est ce qu'on appelle un opérateur "local" (comme le Laplacien classique). Il dépend uniquement de la situation immédiate.
• Le Voisin Non-Local (L'opérateur fractionnaire) : C'est un voisin un peu télépathe ou qui a un réseau social très étendu. Il peut sentir ce qui se passe à l'autre bout de la ville, même si personne ne lui a dit. En mathématiques, c'est un opérateur "non-local" (comme le Laplacien fractionnaire). Il prend en compte des interactions à distance.

Le problème de l'article :
Les mathématiciens étudient souvent ce qui se passe quand on additionne ces deux forces (Local + Non-local). Mais ici, les auteurs Kanishka Perera et Caterina Sportelli s'intéressent à ce qui se passe quand on les soustrait (Local - Non-local).

C'est comme si vous aviez un ressort qui pousse vers l'extérieur (local) et un aimant qui tire vers l'intérieur (non-local). Quand on les met en opposition, le comportement devient très étrange et imprévisible.

2. Le "Mystère" : Pourquoi deux solutions ?

Habituellement, quand on cherche à résoudre ce genre d'équation (trouver la forme stable de la structure), on s'attend à trouver une seule solution, ou peut-être aucune.

La découverte surprise :
Les auteurs montrent que, si on ajuste un petit paramètre (appelons-le le "bouton de réglage" ou $\mu$), on trouve deux solutions différentes en même temps !

• Solution 1 (Énergie Négative) : Imaginez une balle qui roule au fond d'une vallée profonde. C'est une solution très stable, "en bas".
• Solution 2 (Énergie Positive) : Imaginez une balle qui est coincée sur le sommet d'une petite colline, mais qui ne tombe pas tout de suite. C'est une solution instable, "en haut".

Le plus étonnant, c'est que ces deux solutions existent pour des valeurs très petites du paramètre de réglage. C'est comme si, en tournant légèrement un bouton sur votre machine, elle se mettait soudainement à fonctionner de deux façons totalement opposées.

3. Comment ont-ils trouvé ça ? (La méthode)

Pour prouver cela, ils n'ont pas utilisé les outils habituels.

• L'approche classique (Montagne) : Souvent, on utilise le "théorème du col de montagne". On imagine qu'il faut grimper une montagne pour passer d'un point A à un point B. Le point le plus haut du chemin est la solution. Mais ici, le terrain est trop plat ou trop bizarre pour cette méthode.
• La nouvelle approche (Topologie) : Ils ont utilisé une méthode plus subtile, basée sur la forme de l'espace des solutions (la topologie). Ils ont prouvé que l'espace des solutions est comme un objet mathématique complexe qui "force" l'existence de deux points critiques différents, même si le terrain ne ressemble pas à une montagne classique.

C'est un peu comme si vous cherchiez des trésors dans un labyrinthe. Au lieu de simplement grimper la colline la plus haute, ils ont analysé la structure même des murs du labyrinthe pour prouver qu'il y a obligatoirement deux chambres secrètes, l'une en bas et l'autre en haut.

4. Pourquoi est-ce important ?

• Nouveauté : C'est la première fois qu'on démontre ce phénomène de "double solution" pour ce type précis d'équation (différence d'opérateurs).
• Applications : Ces équations modélisent des phénomènes réels où des effets locaux et globaux s'opposent. Par exemple :
  • En écologie : Comment une espèce se disperse localement (marche) mais aussi à distance (vol ou dispersion par le vent).
  • En physique des matériaux : Des matériaux qui réagissent différemment selon qu'on les touche localement ou qu'on les observe globalement.

En résumé

Imaginez un équilibriste sur une corde.

• D'un côté, il y a une force qui le tire vers le bas (le local).
• De l'autre, une force qui le pousse vers le haut (le non-local).
• Les mathématiciens ont découvert que, pour un réglage précis, l'équilibriste peut trouver deux positions stables : une tout en bas (très confortable) et une tout en haut (précaire mais possible).

Ce papier est la preuve mathématique rigoureuse que ce double équilibre est possible, même si cela défie l'intuition habituelle. C'est une victoire de la logique pure sur l'intuition simple !

Résumé technique

Voici un résumé technique détaillé de l'article « A multiplicity result for critical elliptic problems involving differences of local and nonlocal operators » par Kanishka Perera et Caterina Sportelli, rédigé en français.

1. Problématique et Contexte

L'article étudie l'existence de solutions multiples pour des problèmes elliptiques critiques impliquant la différence d'opérateurs non locaux (ou d'un opérateur local et d'un opérateur non local).

Le problème principal considéré est l'équation (1.1) sur un domaine borné $\Omega \subset \mathbb{R}^N$ :
$$\begin{cases} (-\Delta)^s_p u - \mu (-\Delta)^t_q u = \lambda |u|^{p-2} u + |u|^{p^*_s-2} u & \text{dans } \Omega \\ u = 0 & \text{dans } \mathbb{R}^N \setminus \Omega \end{cases}$$
où :

• $(-\Delta)^s_p$ et $(-\Delta)^t_q$ sont les opérateurs $p$-Laplaciens fractionnaires d'ordres $s$ et $t$ respectivement ($0 < t < s < 1$).
• $1 < q < p < N/s$.
• $p^*_s = Np/(N-sp)$ est l'exposant critique de Sobolev fractionnaire.
• $\lambda, \mu > 0$ sont des paramètres.

Le phénomène nouveau : Contrairement aux problèmes impliquant des sommes d'opérateurs non locaux (déjà étudiés), la présence d'une différence crée une structure énergétique particulière. L'objectif est de prouver l'existence de deux solutions faibles non triviales pour des valeurs suffisamment petites du paramètre $\mu$ :

1. Une solution à énergie négative ($E(u_1) < 0$).
2. Une solution à énergie positive ($E(u_2) > 0$).

Le cas limite où $s=1$ (mélange d'opérateur local $p$-Laplacien et non local) est également traité (Théorème 1.4).

2. Méthodologie

La preuve repose sur une combinaison d'analyse variationnelle, de théorie spectrale non linéaire et d'un résultat abstrait de multiplicité.

A. Cadre Variationnel

Les solutions faibles sont les points critiques du fonctionnel $C^1$ défini sur l'espace de Sobolev fractionnaire $W^{s,p}_0(\Omega)$ :
$$E(u) = \frac{1}{p}[u]_{s,p}^p - \frac{\mu}{q}[u]_{t,q}^q - \frac{\lambda}{p}|u|_p^p - \frac{1}{p^*_s}|u|_{p^*_s}^{p^*_s}$$
La difficulté majeure réside dans le fait que lorsque $\lambda > \lambda_1$ (la première valeur propre de $(-\Delta)^s_p$), le fonctionnel $E$ ne possède plus la géométrie « montagne » (mountain pass) classique. Les solutions ne sont donc ni des minimiseurs locaux ni des points de selle de type montagne.

B. Outil Abstrait (Théorème 2.1)

Les auteurs appliquent un résultat de multiplicité récent de Perera [20] (Théorème 2.1). Ce théorème garantit l'existence de deux solutions distinctes sous les conditions suivantes :

1. Le fonctionnel satisfait la condition de Palais-Smale (PS) en dessous d'un certain seuil d'énergie $c_\mu$.
2. Il existe une sous-variété compacte symétrique $C$ de niveau critique avec un indice de cohomologie $\mathbb{Z}_2$ égal à $k$.
3. Il existe un vecteur $w_0$ hors de $C$ tel que le supremum de l'énergie sur le cône engendré par $C$ et $w_0$ reste strictement inférieur au seuil de compacité.

C. Stratégie de Preuve (Section 3)

1. Condition (PS) : Le Lemme 3.1 établit que le fonctionnel satisfait la condition (PS) pour tout niveau d'énergie $c < \frac{s}{N} S^{N/sp} - \kappa \mu$, où $S$ est la meilleure constante de Sobolev fractionnaire.
2. Construction de la topologie :
   • On suppose $\lambda \in (\lambda_k, \lambda_{k+1})$.
   • On utilise une sous-variété $C$ construite à partir des fonctions propres du problème linéaire, tronquées et projetées radialement, ayant un indice de cohomologie $k$.
   • On construit une fonction de test $w_0$ (basée sur le minimiseur de la constante de Sobolev $S$, tronqué et localisé près de l'origine) qui est disjointe de $C$ en termes de support.
3. Estimations fines : Grâce à des estimations asymptotiques précises sur les termes non locaux et les termes critiques (Lemmes 3.2 et 3.3), les auteurs montrent que pour $\mu$ et les paramètres de troncature suffisamment petits, l'énergie sur le cône reste en dessous du seuil critique $\frac{s}{N} S^{N/sp}$.

3. Résultats Principaux

Théorème 1.1 (Cas Fractionnaire) :
Sous les hypothèses $0 < t < s < 1$,$1 < q < p < N/s$,$N \ge sp^2$, et$\lambda \notin \sigma((-\Delta)^s_p)$, il existe$\mu_0, \kappa > 0$tels que pour tout$\mu \in (0, \mu_0)$, le problème (1.1) admet deux solutions faibles non triviales$u_1$et$u_2$ vérifiant :
$$E(u_1) < 0 < E(u_2) < \frac{s}{N} S^{N/sp} - \kappa \mu$$

Théorème 1.4 (Cas Mixte Local/Non-local) :
Un résultat analogue est établi pour le problème mixte impliquant le $p$-Laplacien local et un opérateur fractionnaire (équation 1.3), avec des bornes d'énergie similaires impliquant la constante de Sobolev classique.

Observations importantes :

• Lorsque $\lambda < \lambda_1$, le résultat peut être obtenu par minimisation locale et théorème du passage de la montagne (résultat connu).
• La contribution majeure de cet article est le cas $\lambda > \lambda_1$, où les solutions sont des points critiques d'ordre supérieur (possédant des groupes de cohomologie critiques non triviaux d'ordre supérieur).
• Le cas $\mu = 0$ correspond à des résultats existants (Mosconi et al. [18] pour le fractionnaire, Garcia Azorero et al. [14] pour le local).

4. Signification et Contributions

• Nouveauté Structurelle : L'article met en lumière un phénomène spécifique aux opérateurs en différence (et non en somme). La soustraction de l'opérateur non local plus faible ($\mu (-\Delta)^t_q$) modifie la géométrie du fonctionnel de manière à permettre l'existence de solutions à énergie positive même au-delà de la première valeur propre, là où la géométrie classique échoue.
• Généralisation : Les résultats s'appliquent aussi bien aux opérateurs purement fractionnaires qu'aux opérateurs mixtes (local + fractionnaire), couvrant ainsi un spectre large de modèles physiques et mathématiques.
• Technique : L'application du théorème abstrait de Perera [20] à des problèmes critiques avec opérateurs non locaux démontre la robustesse des méthodes topologiques modernes (indices de cohomologie) face à la perte de compacité inhérente aux exposants critiques de Sobolev.
• Limites et Ouvertures : Les auteurs notent que lorsque $t=s$ (même ordre d'ordre), le problème reste ouvert car le fonctionnel n'est pas bien défini sur l'espace d'énergie en raison de l'inclusion non continue des espaces de Sobolev. De même, le cas $t=1$ dans le problème mixte pose des problèmes de compacité non résolus.

En résumé, ce papier établit rigoureusement l'existence d'une multiplicité de solutions pour une classe de problèmes elliptiques critiques complexes, en surmontant les obstacles géométriques et analytiques liés à la structure de différence d'opérateurs et à la non-compacité des plongements de Sobolev.