🔢 mathematics

Multiplicity results for mixed local-nonlocal variable exponent problem involving singular and superlinear term

Cet article établit l'existence de deux solutions distinctes et d'une borne $L^\infty$ pour une classe d'équations elliptiques quasi-linéaires mixtes à exposants variables, singulières et superlinéaires, en utilisant des méthodes variationnelles sur la variété de Nehari.

Auteurs originaux : Shammi Malhotra, Ambesh Kumar Pandey, K. Sreenadh

Publié 2026-04-08

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Shammi Malhotra, Ambesh Kumar Pandey, K. Sreenadh

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous êtes un architecte chargé de concevoir un bâtiment très spécial. Ce bâtiment ne doit pas seulement être solide, il doit aussi s'adapter à chaque pièce, chaque mur et chaque fenêtre de manière unique. C'est un peu ce que font les mathématiciens dans cet article : ils essaient de construire des solutions (des formes de bâtiments) pour des équations complexes qui décrivent des phénomènes physiques réels.

Voici une explication simple de ce papier, sans jargon technique, en utilisant des images du quotidien.

1. Le Problème : Un mélange de deux mondes

L'équation étudiée est comme une recette de cuisine qui mélange deux types d'ingrédients très différents :

Le "Local" (Le voisinage immédiat) : Imaginez que vous marchez dans une ville. Ce que vous faites ici dépend de ce qui se passe juste à côté de vous. C'est le comportement classique, comme la chaleur qui se diffuse doucement d'un mur à l'autre.
Le "Non-Local" (Les téléportations) : Maintenant, imaginez que vous pouvez aussi "sauter" instantanément d'un bout de la ville à l'autre, comme un oiseau ou un fantôme. C'est le comportement "fractionnaire".

Dans la vraie vie, certains phénomènes (comme la dispersion d'une population d'animaux ou le mouvement de particules) utilisent les deux : ils marchent normalement, mais font aussi de grands sauts occasionnels. Les mathématiciens veulent décrire cela avec une seule équation.

2. La Complexité : Des règles qui changent

Le plus difficile ici, c'est que les règles ne sont pas les mêmes partout.

Exposants variables : Imaginez que la "règle de gravité" change selon l'endroit où vous êtes. Dans une pièce, un objet tombe vite ; dans une autre, il tombe lentement. Ici, la puissance mathématique qui régit le système change d'un point à l'autre. C'est comme si le sol était fait de matériaux différents à chaque centimètre.

3. Les Pièges : Le "Singulier" et le "Super"

L'équation contient deux ingrédients explosifs :

Le terme "Singulier" (Le trou noir) : Il y a un terme qui devient infini si la valeur est trop proche de zéro. Imaginez un trou dans le sol qui attire tout ce qui passe trop près. Mathématiquement, c'est très dangereux car cela peut faire "exploser" les calculs.
Le terme "Superlinéaire" (L'explosion) : D'un autre côté, il y a un terme qui grandit très vite, comme une boule de neige qui dévale une pente et grossit démesurément.

Le défi est de trouver un équilibre parfait entre ce qui attire tout vers le bas (le trou) et ce qui pousse tout vers le haut (l'explosion), tout en changeant de règles en cours de route.

4. La Méthode : La "Manifolds de Nehari" (Le sentier de la montagne)

Pour résoudre ce casse-tête, les auteurs utilisent une technique appelée la variational (basée sur l'énergie).

Imaginez que vous cherchez le point le plus bas d'une vallée très accidentée (l'énergie minimale).
Mais la vallée est piégée. Pour y accéder, vous devez suivre un sentier précis appelé Manifolds de Nehari. C'est comme un chemin de randonnée qui ne passe que par les endroits où la pente est plate (ni trop haut, ni trop bas).

Les auteurs divisent ce sentier en deux parties :

Le bas de la pente (N+) : Ici, on trouve une première solution stable. C'est comme trouver un petit lac au fond d'une cuvette.
Le haut de la pente (N-) : Plus loin, il y a une autre zone où l'on peut trouver une deuxième solution, différente de la première.

En utilisant des outils topologiques (comme compter combien de fois on tourne autour d'un objet), ils prouvent qu'il existe deux solutions distinctes pour un certain paramètre (une sorte de "bouton de contrôle" appelé $\lambda$ ). Si on tourne le bouton trop fort, le système s'effondre ; s'il est juste, on a deux belles solutions.

5. La Preuve de Solidité : La régularité

Une fois qu'ils ont trouvé ces solutions, ils doivent s'assurer qu'elles sont "propres" et ne comportent pas de défauts bizarres (comme des valeurs infinies).

Ils utilisent une méthode appelée itération de De Giorgi. Imaginez que vous essayez de prouver qu'un mur ne dépasse jamais une certaine hauteur. Vous commencez par vérifier les étages du bas, puis vous montez étage par étage. Si à chaque étage vous prouvez que le mur ne dépasse pas X mètres, alors au bout du compte, vous savez que le bâtiment entier est sûr.
Ils montrent ainsi que leurs solutions sont bien comportées et ne "cassent" pas.

En résumé

Cet article est une réussite mathématique qui dit :

"Même si vous mélangez deux types de physique (local et non-local), que les règles changent partout, et que vous avez des pièges dangereux (singularités), il est possible de prouver qu'il existe deux façons différentes pour que le système fonctionne de manière stable, à condition de régler le paramètre de contrôle correctement."

C'est comme dire qu'il existe deux chemins différents pour traverser une forêt très complexe et dangereuse, à condition de bien connaître la carte et de ne pas s'approcher trop près des précipices.

1. Présentation du Problème

L'article étudie une classe d'équations elliptiques quasi-linéaires combinant des opérateurs locaux et non locaux avec des exposants variables. Le problème principal, noté $(Q_\lambda)$ , est défini sur un domaine borné $\Omega \subset \mathbb{R}^N$ à frontière lipschitzienne :

$\begin{cases} -\Delta_{p(x)}u + (-\Delta)^s_{p(x)} u = \lambda a(x)u^{-\gamma(x)} + b(x)u^{r(x)-1}, & u > 0 \text{ dans } \Omega, \\ u = 0, & \text{dans } \mathbb{R}^N \setminus \Omega. \end{cases}$

Caractéristiques clés du modèle :

Opérateurs Mixtes : L'équation combine l'opérateur $p(x)$ -Laplacien local ( $\Delta_{p(x)}$ ) et l'opérateur fractionnaire $p(x)$ -Laplacien non local ( $(-\Delta)^s_{p(x)}$ ). Ce cadre modélise des phénomènes physiques où la diffusion se produit à la fois localement (mouvement brownien) et à longue portée (vol de Lévy).
Exposants Variables : Les exposants $p(x)$ , $\gamma(x)$ et $r(x)$ dépendent de la position spatiale, ce qui permet de modéliser des matériaux hétérogènes (ex: fluides électrorhéologiques, restauration d'images).
Non-linéarités :
- Un terme singulier $\lambda a(x)u^{-\gamma(x)}$ avec $0 < \gamma(x) < 1$ .
- Un terme superlinéaire $b(x)u^{r(x)-1}$ à croissance sous-critique.
- Un paramètre $\lambda > 0$ .
Difficultés : La présence du terme singulier rend le fonctionnel d'énergie non différentiable au sens de Gâteaux, ce qui empêche l'application directe des méthodes variationnelles classiques. De plus, la combinaison d'opérateurs mixtes et d'exposants variables brise l'invariance d'échelle.

2. Méthodologie et Cadre Fonctionnel

Les auteurs adoptent une approche variationnelle basée sur la méthode de la variété de Nehari et l'analyse des applications fibrées (fibering maps).

Espaces Fonctionnels : Le problème est formulé dans un espace de Banach $X_0(\Omega)$ , défini comme l'intersection de l'espace de Sobolev variable $W^{1,p(x)}_0(\Omega)$ et d'un espace de Sobolev fractionnaire variable $X_0$ adapté aux conditions aux limites de Dirichlet pour l'opérateur non local.
Fonctionnel d'Énergie : Le fonctionnel associé $J_\lambda$ est défini mais n'est pas différentiable en raison du terme singulier.
Variété de Nehari : Pour contourner le manque de différentiabilité, les auteurs restreignent l'étude à la variété de Nehari $\mathcal{N}_\lambda = \{u \in X_0 \setminus \{0\} : \langle J'_\lambda(u), u \rangle = 0\}$ .
Analyse des Applications Fibrées : Pour chaque $u \in X_0$ $u \in X_{0}$ , ils étudient la fonction $\phi_u(t) = J_\lambda(tu)$ $ϕ_{u} (t) = J_{λ} (t u)$ . L'analyse de la dérivée seconde $\phi''_u(1)$ $ϕ_{u}^{''} (1)$ permet de décomposer la variété de Nehari en trois sous-ensembles :
- $\mathcal{N}^+_\lambda$ (minimum local),
- $\mathcal{N}^-_\lambda$ (maximum local),
- $\mathcal{N}^0_\lambda$ (point de selle).
Outils Techniques :
- Théorie du Degré Topologique : Utilisée pour prouver la monotonie stricte de certaines fonctions impliquant des exposants variables, une étape cruciale pour établir l'existence de points critiques uniques sur les applications fibrées.
- Démonstration par l'absurde : Pour montrer que $\mathcal{N}^0_\lambda = \{0\}$ pour $\lambda$ suffisamment petit.
- Méthode de De Giorgi : Utilisée pour établir la régularité $L^\infty$ des solutions faibles.

3. Résultats Principaux

L'article établit deux théorèmes fondamentaux :

Théorème 2.1 (Existence de Multiplicité) :
Sous des hypothèses raisonnables sur les exposants (notamment $p(x) < r(x) < p^*(x)$ et des conditions techniques sur les bornes des exposants) et sur les poids $a(x), b(x)$ , il existe une constante $\Lambda > 0$ telle que pour tout $\lambda \in (0, \Lambda)$ , le problème $(Q_\lambda)$ admet au moins deux solutions faibles positives distinctes.

La première solution $u$ est obtenue comme minimiseur de $J_\lambda$ sur $\mathcal{N}^+_\lambda$ (énergie négative).
La seconde solution $v$ est obtenue comme minimiseur de $J_\lambda$ sur $\mathcal{N}^-_\lambda$ (énergie positive).

Théorème 2.2 (Régularité $L^\infty$ ) :
Les solutions faibles positives obtenues sont bornées dans $L^\infty(\Omega)$ .

Cette régularité est prouvée en utilisant la méthode d'itération de De Giorgi combinée à un argument de localisation.
Des conditions spécifiques sur les exposants $p(x)$ et $r(x)$ sont requises pour garantir que les termes non linéaires ne perturbent pas la convergence de l'itération.

4. Contributions Clés et Innovations

Cadre Mixte Variable : C'est l'une des premières études traitant spécifiquement des opérateurs mixtes (local + non local) avec des exposants variables en présence de singularités. La littérature précédente se concentrait soit sur des exposants constants, soit sur des opérateurs purs (locaux ou non locaux).
Gestion de la Non-Différentiabilité : L'adaptation de la méthode de la variété de Nehari pour gérer le terme singulier dans un contexte d'exposants variables, où les inégalités standards sont plus complexes à établir.
Utilisation de la Théorie du Degré : L'introduction de la théorie du degré topologique pour analyser la structure des applications fibrées dans le cas d'exposants variables est une innovation méthodologique significative pour surmonter l'absence de symétrie d'échelle.
Régularité Fine : L'établissement de bornes uniformes ( $L^\infty$ ) pour des solutions d'équations mixtes avec exposants variables et singularités, comblant un vide dans la littérature actuelle.

5. Signification et Impact

Ce travail est significatif pour plusieurs raisons :

Modélisation Physique : Il fournit un cadre mathématique rigoureux pour des phénomènes complexes où les propriétés du matériau varient spatialement (exposants variables) et où les interactions se produisent à la fois à courte et longue distance (opérateurs mixtes).
Avancée Théorique : Il généralise des résultats connus pour les cas à exposants constants (comme ceux de Garain, Ukhlov, ou Dhanya) au cas beaucoup plus difficile des exposants variables.
Outils pour l'Avenir : Les techniques développées, notamment l'analyse de la structure de la variété de Nehari via la théorie du degré dans des espaces de Sobolev variables, ouvrent la voie à l'étude d'autres problèmes non linéaires complexes avec singularités et croissance critique.

En résumé, cet article démontre que malgré la complexité accrue introduite par la combinaison d'opérateurs mixtes, d'exposants variables et de singularités, il est possible d'établir l'existence de multiples solutions et leur régularité, enrichissant ainsi la théorie des équations aux dérivées partielles non linéaires.