Strong maximum principle for fully nonlinear nonlocal problems

1. Problématique et Contexte

L'article se concentre sur l'étude des propriétés qualitatives et de l'existence de solutions non négatives pour une classe d'équations intégro-différentielles non linéaires et non locales, de la forme :
$$M^{\pm}[u] + a(x)u^{q(x)} = 0 \quad \text{dans } \Omega, \quad u \ge 0 \quad \text{dans } \Omega$$
où :

• $\Omega \subset \mathbb{R}^n$ est un domaine borné, convexe et de classe $C^{1,1}$.
• $M^{\pm}$ désignent les opérateurs extremaux de Pucci non locaux, définis sur une classe d'opérateurs linéaires $\mathcal{L}^*$ associés à des noyaux homogènes (généralisant les opérateurs fractionnaires $\Delta^s$).
• $q \in (0, 1)$ : le terme non linéaire est sous-linéaire.
• $a \in C(\Omega)$ est un poids qui peut changer de signe.

L'objectif principal est d'analyser la validité du Principe de Maximum Fort (SMP) dans ce cadre non local. Le SMP stipule qu'une solution non négative ne peut s'annuler à l'intérieur du domaine sans être identiquement nulle. La violation de ce principe conduit à l'existence de solutions dites à « cœur mort » (dead cores), c'est-à-dire des solutions non triviales qui s'annulent sur un sous-ensemble non vide de $\Omega$.

La difficulté majeure réside dans la nature non locale de l'opérateur : la valeur de l'opérateur en un point $x$ dépend de la fonction $u$ sur tout $\mathbb{R}^n$. Ainsi, le comportement de la solution à l'extérieur de $\Omega$ (notamment sa partie négative) influence directement la structure de la solution à l'intérieur.

2. Méthodologie

Les auteurs développent une approche combinant plusieurs outils d'analyse non linéaire et non locale :

1. Hypothèse sur la partie négative : L'article introduit une hypothèse cruciale sur la norme $L^1_s$ de la partie négative de la solution à l'extérieur du domaine ($u^-$). La norme est définie par :
   $$\|u\|_{L^1_s(\mathbb{R}^n)} = \int_{\mathbb{R}^n} \frac{|u(x)|}{1+|x|^{n+2s}} dx$$
   Les auteurs montrent que la présence d'une partie négative non triviale à l'extérieur est la seule voie possible pour créer des cœurs morts dans ce cadre.

2. Lemme de Hopf Non Local : Une contribution majeure est la preuve d'un lemme de Hopf adapté aux opérateurs de Pucci entièrement non linéaires. Ce lemme établit le comportement asymptotique de la solution près de la frontière pour les solutions non négatives qui s'annulent en un point frontière. Il garantit que si $u(x_0)=0$ en un point frontière $x_0$ où la condition de boule intérieure est satisfaite, alors :
   $$\liminf_{x \to x_0, x \in \Omega} \frac{u(x)}{|x-x_0|^s} > 0$$
   sous certaines conditions de petitesse de la partie négative $u^-$.

3. Théorèmes de Liouville et bornes uniformes : Pour éviter que les maxima des solutions non triviales ne dégénèrent vers zéro, les auteurs utilisent des théorèmes de Liouville. Ils démontrent que, sous des conditions appropriées, les maxima des solutions non triviales sont uniformément bornés inférieurement. Cela repose sur l'analyse de solutions limites via des techniques de blow-up (redimensionnement).

4. Construction de barrières et solutions de viscosité : L'analyse est menée dans le cadre des solutions de viscosité. Les auteurs construisent des sous-solutions et sur-solutions appropriées (utilisant des fonctions de type distance élevée à la puissance $s$) pour appliquer des principes de comparaison.

3. Résultats Principaux

Les résultats sont structurés autour de deux théorèmes principaux concernant l'absence de cœurs morts, et un résultat d'existence.

A. Non-existence de cœurs morts (Principe de Maximum Fort)

Les auteurs établissent des conditions suffisantes pour que le SMP soit valide :

• Théorème 1 : Si le poids $a$ n'est pas identiquement nul sur la partie positive ($a^+ \not\equiv 0$) et si la norme $L^1_s$ de la partie négative de la solution à l'extérieur ($\|u^-\|_{L^1_s}$) est suffisamment petite ($<\delta$), alors toute solution non triviale vérifie $u > 0$ dans $\Omega$. De plus, la solution appartient à l'ensemble $P_0(\Omega)$ (solutions strictement positives à l'intérieur avec une dérivée normale fractionnaire négative à la frontière).
• Théorème 2 : Si le poids est strictement positif ($a > 0$ dans $\Omega$), la condition de signe à l'extérieur n'est pas nécessaire, mais la petitesse de $\|u^-\|_{L^1_s}$ reste requise pour garantir le SMP.

Point clé : Ces résultats montrent que le SMP peut être violé si la partie négative de la solution à l'extérieur est trop grande. C'est une différence fondamentale avec le cas local où le signe de $u$ à l'extérieur n'a pas d'impact direct sur la positivité intérieure de la même manière.

B. Existence de solutions non triviales

• Théorème 4 : Sous l'hypothèse que $a^+ \not\equiv 0$ et que la donnée au bord extérieure $g$ (dans $R^n \setminus \Omega$) est positive près de la frontière et que sa partie négative est petite, il existe une solution non triviale du problème. Si $a \ge a_0 > 0$, une solution existe pour toute donnée $g$.

C. Contre-exemple et violation du SMP

• Exemple 1 : Les auteurs construisent explicitement une solution qui viole le SMP lorsque la norme $\|u^-\|_{L^1_s}$ est grande. En partant d'une solution positive et en augmentant progressivement la valeur négative à l'extérieur, ils montrent qu'il existe un seuil critique où la solution atteint zéro à l'intérieur du domaine, créant ainsi un cœur mort. Cela démontre la nécessité de l'hypothèse de petitesse sur $u^-$.

4. Contributions Clés et Signification

1. Rôle de la non-localité : L'article met en lumière de manière rigoureuse comment la non-localité force une dépendance critique entre la solution à l'intérieur et les données à l'extérieur. Contrairement aux équations locales, la positivité intérieure n'est pas garantie uniquement par les conditions intérieures ; elle dépend de la « masse » négative à l'extérieur.
2. Nouveau Lemme de Hopf : La preuve d'un lemme de Hopf pour les opérateurs de Pucci non locaux entièrement non linéaires est un résultat technique indépendant d'importance, comblant un vide dans la littérature pour ce type d'opérateurs.
3. Compréhension des cœurs morts : L'étude clarifie les mécanismes de formation des cœurs morts dans les équations sous-linéaires non locales. Elle établit un lien direct entre la taille de la partie négative extérieure et l'apparition de régions où la solution s'annule.
4. Généralité : Les résultats s'appliquent à une large classe d'opérateurs non locaux (incluant les opérateurs fractionnaires) et à des poids changeant de signe, ce qui est pertinent pour des applications en physique et en biologie (dynamique de combustion, processus chimiques).

En résumé, cet article établit que le Principe de Maximum Fort pour les problèmes non locaux sous-linéaires est conditionnel : il tient tant que la perturbation négative à l'extérieur du domaine reste faible, mais peut échouer dramatiquement au-delà d'un certain seuil, menant à la formation de cœurs morts.