A multiplicity theorem for a class of nonlocal elliptic equations involving even nonlinearities

Résumé Technique : Un théorème de multiplicité pour les équations elliptiques non locales à non-linéarités paires

Énoncé du problème
L'article étudie un problème de valeur aux limites de Dirichlet pour une classe d'équations elliptiques non locales sur un domaine borné et lisse $\Omega \subset \mathbb{R}^n$. Le problème, noté $(P)$, est formulé comme suit :
$$\begin{cases} -\Delta u = Q\left(\int_{\Omega} F(x, u(x))dx\right) f(x, u) + g(x, u) & \text{dans } \Omega \\ u = 0 & \text{sur } \partial\Omega \end{cases}$$
Ici, $F(x, t) = \int_0^t f(x, s)ds$, et le terme non local provient de la fonction $Q$ dépendant de l'intégrale de $F$ sur le domaine. L'étude se concentre sur l'existence de solutions faibles dans l'espace de Sobolev $H^1_0(\Omega)$. L'objectif principal est d'établir les conditions sous lesquelles le problème admet au moins trois solutions distinctes pour des paramètres $\lambda$ appartenant à un intervalle ouvert approprié.

Méthodologie et cadre fonctionnel
L'auteur utilise les méthodes variationnelles, plus précisément la théorie des points critiques, en utilisant un théorème de point critique à trois solutions (référencé comme le Théorème 3 dans [2]). Les solutions faibles de $(P)$ sont identifiées comme des points critiques de la fonctionnelle d'énergie $\Phi: H^1_0(\Omega) \to \mathbb{R}$, définie par :
$$\Phi(u) = \frac{1}{2}\|u\|^2 - J(u)$$
où $\|u\|$ est la norme standard dans $H^1_0(\Omega)$, et $J(u)$ incorpore le terme non local et la perturbation $g$.

Le cœur de la preuve repose sur une inégalité de minimax stricte. La méthodologie procède par les étapes suivantes :

1. Construction d'une fonctionnelle auxiliaire : L'auteur introduit une fonctionnelle $P(u, \lambda)$ impliquant une fonction $\alpha$ strictement convexe, une fonction $\gamma$ impaire et continue, et le terme intégral non local.
2. Vérification de l'inégalité de minimax : Le verrou technique central est de prouver l'inégalité stricte :
   $$\sup_{\lambda \in \mathbb{R}} \inf_{u \in H^1_0(\Omega)} P(u, \lambda) < \inf_{u \in H^1_0(\Omega)} \sup_{\lambda \in \mathbb{R}} P(u, \lambda)$$
   Ceci est réalisé par l'absurde. L'auteur suppose l'égalité et démontre que le point selle $(u^*, \lambda^*)$ qui en résulte mène à une incohérence logique. Plus précisément, la preuve utilise les propriétés de symétrie des fonctions (parité de $f$, imparité de $\gamma$) et la convexité stricte de $\alpha$ pour montrer que si une solution existe sous l'hypothèse d'égalité, elle doit être triviale ($u^*=0$), ce qui contredit la construction de la fonctionnelle pour de grands paramètres.
3. Coercivité et continuité : La preuve établit que la fonctionnelle $u \mapsto \sup_{\lambda} P(u, \lambda)$ est semi-continue inférieurement faible et coercive. Cela garantit l'existence de minimiseurs et permet l'application du théorème de point critique abstrait.
4. Perturbation par $g$ : L'étape finale consiste à ajouter un terme de perturbation $g \in \mathcal{A}$ (une classe de fonctions de Carathéodory avec des conditions de croissance spécifiques). L'auteur montre que si l'oscillation de la primitive de $g$ est suffisamment petite (bornée par une constante $\epsilon^*_\mu$), l'inégalité de minimax stricte est préservée, garantissant ainsi la multiplicité des solutions.

Hypothèses principales
Le résultat principal (Théorème 1) nécessite les conditions suivantes :

• Non-linéarité $f$ : $f(x, \cdot)$ doit être paire pour presque tout $x$, et l'ensemble où $f$ est non nulle doit avoir une mesure positive. De plus, $F(x, t)$ doit satisfaire une condition de croissance sous-quadratique à l'infini ($\lim_{|t|\to\infty} \sup |F(x,t)|/t^2 = 0$).
• Non-linéarité $\gamma$ : $\gamma$ est continue, impaire, ne s'annule qu'en 0, et sa primitive satisfait une borne de croissance linéaire.
• Fonction convexe $\alpha$ : $\alpha$ est strictement convexe, dérivable, avec $\alpha(0)>0$, $\alpha'(0)=0$, et $\alpha'(R)=R$.
• Paramètre $\mu$ : Le paramètre $\mu$ doit être suffisamment grand.
• Perturbation $g$ : La différence entre l'intégrale du supremum et l'intégrale de l'infimum de la primitive de $g$ doit être inférieure à un seuil spécifique $\epsilon^*_\mu$.

Résultats principaux
L'article prouve le Théorème 1, qui stipule que sous les hypothèses susmentionnées, il existe un seuil $\epsilon^*_\mu > 0$ tel que pour toute perturbation $g$ satisfaisant la condition de petitesse, il existe un intervalle ouvert $A \subseteq \mathbb{R}$ et un rayon $\rho > 0$. Pour chaque $\lambda \in A$, le problème $(P)$ possède au moins trois solutions faibles dans $H^1_0(\Omega)$, toutes ayant des normes strictement inférieures à $\rho$.

Signification et revendications
L'article se présente comme une "note très courte" visant à prouver un résultat de multiplicité spécifique pour des problèmes non locaux à non-linéarités paires.

• Nouveauté : L'auteur déclare explicitement dans la Remarque 1 qu'il n'a "pas connaissance de résultats connus assez proches du Théorème 1 pour qu'une comparaison appropriée puisse être faite". Cela suggère que le résultat comble une lacune dans la littérature concernant la combinaison spécifique de termes non locaux, de non-linéarités paires, et de la multiplicité de trois solutions via des inégalités de minimax strictes.
• Portée : Le travail est purement théorique, se concentrant sur l'existence de solutions dans le cadre variationnel. Il ne propose pas de méthodes numériques, d'applications physiques spécifiques ou de directions expérimentales futures. La signification réside dans l'extension de la théorie des points critiques à une classe spécifique d'équations elliptiques non locales où la non-linéarité présente une symétrie paire.