🔢 mathematics

Existence and nonexistence of normalized solutions for nonlinear Schrödinger equation involving combined nonlinearities in bounded domain

Cet article étudie l'existence, la multiplicité et la non-existence de solutions normalisées pour une équation de Schrödinger non linéaire avec des non-linéarités combinées dans un domaine borné, en établissant des résultats d'existence pour de petites normes $L^2$ et des non-existences pour de grandes normes sous diverses conditions géométriques et paramétriques.

Auteurs originaux : Zhen-Feng Jin, Weimin Zhang

Publié 2026-02-19

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Zhen-Feng Jin, Weimin Zhang

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 chef cuisinier dans une cuisine très spéciale : votre cuisine est un domaine borné (une pièce fermée avec des murs lisses, notée $\Omega$ ). Votre mission est de préparer une soupe parfaite, représentée par une fonction $u$ , qui doit respecter une règle stricte : la quantité totale d'ingrédients (la "masse" ou la norme $L^2$ ) doit être exactement égale à un nombre $\rho$ que vous choisissez.

Le problème mathématique étudié dans cet article, c'est de savoir si vous pouvez trouver cette recette parfaite (une solution) pour différentes quantités d'ingrédients, et si oui, combien de recettes différentes existent.

Voici l'explication de la recette, simplifiée avec des analogies :

1. La Soupe et les Ingrédients (L'Équation)

Votre soupe est régie par une équation qui mélange deux types d'ingrédients :

L'ingrédient A ( $\mu u^{p-1}$ ) : C'est un assaisonnement de base.
L'ingrédient B ( $u^{q-1}$ ) : C'est un assaisonnement très puissant, qui devient explosif si vous en mettez trop (c'est la "non-linéarité critique").
Le Sel ( $\omega$ ) : C'est le sel. Dans ce problème, vous ne savez pas à l'avance combien de sel il faut. Le sel s'ajuste automatiquement pour que la soupe ait exactement la quantité d'ingrédients $\rho$ que vous voulez. C'est ce qu'on appelle un "multiplicateur de Lagrange".

Le but est de trouver la forme de la soupe ( $u$ ) qui est la plus "économe" en énergie (le goût le plus stable) tout en respectant la quantité totale d'ingrédients.

2. Quand il y a peu d'ingrédients (Petit $\rho$ )

Les auteurs disent : "Si vous avez très peu d'ingrédients ( $\rho$ petit), c'est facile !"

La première solution (Le Minimiseur) : Imaginez que vous essayez de faire la soupe la plus simple possible. Si vous avez peu d'ingrédients, vous trouvez toujours une recette stable qui minimise l'énergie. C'est comme trouver le point le plus bas dans une vallée. L'article prouve que cette recette existe toujours, peu importe la forme de votre cuisine (tant qu'elle est lisse).
La deuxième solution (Le Col de Montagne) : C'est là que ça devient intéressant. Parfois, il existe une deuxième recette différente, plus complexe.
- L'analogie : Imaginez un paysage avec deux vallées séparées par une montagne. La première solution est au fond de la première vallée. La deuxième solution est au sommet d'un col de montagne entre deux pics. Pour y accéder, il faut grimper un peu avant de redescendre.
- Les auteurs utilisent une astuce mathématique (le "truc de monotonie") pour prouver que si la cuisine est en forme d'étoile (convexe vers l'extérieur), cette deuxième recette existe aussi, à condition que les ingrédients ne soient pas trop puissants.

3. Quand il y a trop d'ingrédients (Grand $\rho$ )

Et si vous essayez de faire une soupe géante avec une énorme quantité d'ingrédients ?

Le problème de la convexité : Si votre cuisine est une pièce parfaitement ronde ou rectangulaire (convexe) et que vous avez beaucoup d'ingrédients, les auteurs prouvent qu'il est impossible de trouver une recette stable.
L'analogie : C'est comme essayer de faire tenir une montagne de sable dans un bol trop petit. Le sable va déborder. Mathématiquement, la soupe devient si "tendue" qu'elle ne peut plus rester dans le bol sans se briser. La pression (la fréquence $\omega$ ) devient infinie, ce qui est impossible. Donc, pour de grandes masses, aucune solution n'existe.

4. Le Cas Spécial : La Cuisine Ronde (La Boule)

Il y a un cas particulier très célèbre, appelé le problème de Brézis-Nirenberg, où la cuisine est une boule parfaite (un ballon).

Le résultat "Dichotomie" : Les auteurs montrent qu'il y a une frontière précise, comme un interrupteur.
- Si vous avez peu d'ingrédients : Vous avez deux recettes possibles (une simple, une complexe).
- Si vous avez juste assez d'ingrédients pour atteindre la limite : Vous avez une seule recette.
- Si vous avez trop d'ingrédients : Zéro recette. Plus rien ne fonctionne.

C'est comme si vous aviez un interrupteur magique : en dessous d'un certain seuil, la lumière s'allume (deux solutions), au seuil, elle clignote (une solution), et au-dessus, tout s'éteint (aucune solution).

En Résumé

Cet article est une carte au trésor pour les mathématiciens qui cherchent des solutions d'équations complexes :

Petite quantité : On trouve toujours au moins une solution, et souvent deux si la pièce est bien formée.
Grande quantité : Si la pièce est "convexe" (sans coins pointus vers l'intérieur), c'est impossible de trouver une solution.
Le cas parfait (Boule) : On connaît exactement le point de bascule où tout change.

Les auteurs utilisent des outils mathématiques puissants (comme l'identité de Pohozaev, qui est une sorte de "balance" pour vérifier l'équilibre de la soupe, et la méthode des plans mobiles, qui permet de voir comment la soupe se comporte contre les murs) pour prouver ces résultats.

C'est une avancée importante car elle clarifie exactement quand on peut espérer trouver des solutions et quand il faut abandonner, selon la forme de la pièce et la quantité d'ingrédients.

Titre de l'article

Existence et non-existence de solutions normalisées pour l'équation de Schrödinger non linéaire avec des non-linéarités combinées dans un domaine borné.

1. Problème Étudié

Les auteurs analysent l'existence et la non-existence de solutions pour l'équation de Schrödinger non linéaire stationnaire avec une contrainte de masse (norme $L^2$ ) prescrite dans un domaine borné lisse $\Omega \subset \mathbb{R}^N$ :

$\begin{cases} -\Delta u + \omega u = \mu |u|^{p-2}u + |u|^{q-2}u, & u > 0 \quad \text{dans } \Omega, \\ u = 0, & \text{sur } \partial\Omega, \\ \|u\|_{L^2(\Omega)}^2 = \rho, \end{cases}$

où :

$N \ge 1$ , $\rho > 0$ est la masse prescrite.
$\mu \in \mathbb{R}$ est un paramètre de signe variable.
$1 < p \le q$ sont les exposants de puissance.
$\omega \in \mathbb{R}$ n'est pas fixé a priori ; il apparaît comme un multiplicateur de Lagrange associé à la contrainte de masse.
L'exposant critique de Sobolev est noté $2^* = \frac{2N}{N-2}$ (pour $N \ge 3$ ).

Ce problème modélise les ondes stationnaires d'une équation de Schrödinger dépendante du temps avec une masse totale conservée. La difficulté principale réside dans le fait que le domaine est borné, ce qui empêche l'utilisation directe des transformations d'échelle (scaling) classiques utilisées pour $\mathbb{R}^N$ , rendant la compacité des suites de Palais-Smale (PS) plus difficile à établir.

2. Méthodologie

Les auteurs combinent plusieurs outils avancés de l'analyse variationnelle et des équations aux dérivées partielles :

Minimisation Locale : Pour établir l'existence d'une première solution, ils étudient le minimiseur local de la fonctionnelle d'énergie $I(u)$ sur la sphère de masse $S_\rho$ . Ils utilisent des inégalités de Sobolev et de Gagliardo-Nirenberg pour contrôler la compacité des suites minimisantes, en particulier dans le cas critique ( $q=2^*$ ).
Trick de Monotonie de Struwe : Pour obtenir une deuxième solution (de type "mountain pass"), ils introduisent un paramètre de perturbation $\eta \in (0, 1]$ dans la fonctionnelle $I_\eta$ . En exploitant la dérivabilité presque partout de la valeur critique $c_\eta$ par rapport à $\eta$ , ils construisent une suite de solutions approchées bornées dans $H^1_0(\Omega)$ .
Identité de Pohozaev : Cette identité est cruciale pour prouver la bornitude des suites de solutions, en particulier lorsque le domaine est étoilé (star-shaped). Elle permet de relier l'énergie, le gradient et les termes non linéaires.
Méthode des Plans Mobiles (Moving-Plane Method) : Pour le problème de non-existence dans les domaines convexes, ils utilisent cette méthode pour établir la monotonie de la solution près de la frontière. Cela permet de concentrer la masse au centre du domaine lorsque $\rho$ est grand, menant à une contradiction sur la valeur du multiplicateur $\omega$ .
Arguments de Continuité et de Dichotomie : Pour le cas spécifique du problème de Brézis-Nirenberg ( $\mu=0, q=2^*$ ) dans une boule, ils réduisent le problème à une EDO radiale et analysent le comportement de la norme $L^2$ de la solution unique en fonction du paramètre spectral.

3. Résultats Clés

A. Existence de Solutions (Théorèmes 1.1 et 1.3)

Minimiseur Local : Pour $2 < p \le q \le 2^*$ et une masse $\rho$ suffisamment petite, il existe toujours une solution qui est un minimiseur local de l'énergie. Ce résultat améliore les travaux précédents en supprimant la contrainte que le domaine doit être étoilé pour l'existence du minimiseur.
Deuxième Solution (Mountain Pass) : Si $\mu \ge 0$ $μ \geq 0$ et $\Omega$ $Ω$ est un domaine étoilé, il existe une deuxième solution positive de type "mountain pass" pour $\rho$ $ρ$ petit.
- Ce résultat couvre des cas mixtes (sous-critique et critique) et s'applique pour toutes les dimensions $N \ge 3$ (contrairement à des résultats antérieurs limités à $N \in \{3,4,5\}$ ).
- Des restrictions techniques sur $p$ apparaissent pour $N=3$ (ex: $p \in (2, 10/3] \cup (14/3, 6)$ ).

B. Non-Existence de Solutions (Théorème 1.5)

Dans un domaine convexe borné, si $1 < p \le 2$ , $q \ge \max\{2^*, 3\}$ et $\mu > 0$ , alors aucune solution positive normalisée n'existe si la masse $\rho$ est suffisamment grande.
Ce résultat est significatif car il établit une non-existence pour des exposants critiques et sur-critiques, une zone souvent moins explorée que l'existence pour petites masses.

C. Dichotomie pour le Problème de Brézis-Nirenberg (Théorème 1.7)

Dans le cas spécifique où $\mu=0$ $μ = 0$ , $q=2^*$ $q = 2^{*}$ et $\Omega$ $Ω$ est une boule, les auteurs établissent un résultat de dichotomie complet :
- Il existe un seuil critique $\rho^* > 0$ .
- Pour $0 < \rho < \rho^*$ : au moins deux solutions existent.
- Pour $\rho = \rho^*$ : au moins une solution existe.
- Pour $\rho > \rho^*$ : aucune solution n'existe.
Ce résultat complète la compréhension du problème de Brézis-Nirenberg sous contrainte de masse dans une boule.

4. Contributions Majeures

Généralisation des conditions de domaine : L'article réussit à obtenir des résultats d'existence de minimiseurs sans exiger que le domaine soit étoilé, une contrainte fréquente dans la littérature antérieure.
Extension dimensionnelle : Les résultats sur l'existence de deux solutions sont étendus à toutes les dimensions $N \ge 3$ , dépassant les limitations des travaux précédents (souvent limités aux dimensions 3, 4, 5).
Résultats de non-existence pour grandes masses : L'article fournit l'un des premiers résultats de non-existence pour des solutions normalisées avec des non-linéarités critiques/sur-critiques dans des domaines convexes, reliant la concentration de masse à l'explosion du multiplicateur de Lagrange.
Analyse complète dans la boule : La caractérisation exacte du comportement des solutions en fonction de la masse pour le problème de Brézis-Nirenberg dans une boule (dichotomie existence/non-existence) est une contribution théorique importante.

5. Signification et Impact

Ce travail comble plusieurs lacunes dans la théorie des solutions normalisées pour les équations de Schrödinger non linéaires dans des domaines bornés.

Il démontre que la géométrie du domaine (étoilé vs convexe) joue un rôle décisif non seulement pour l'existence, mais aussi pour la non-existence de solutions à grande masse.
Il offre une méthode robuste (combinaison du trick de monotonie et de l'identité de Pohozaev) pour traiter la perte de compacité dans les cas critiques sur des domaines bornés.
Les résultats de dichotomie pour le problème de Brézis-Nirenberg sous contrainte de masse fournissent une carte complète du comportement des solutions, ce qui est essentiel pour la compréhension physique des systèmes quantiques confinés avec des interactions non linéaires fortes.

En résumé, cet article apporte des avancées significatives tant sur le plan technique (méthodes variationnelles adaptées aux domaines bornés) que sur le plan théorique (classification complète des solutions selon la masse et la géométrie du domaine).