Normalized solutions for Schrödinger-Bopp-Podolsky systems in bounded domains

Cet article présente des résultats d'existence de solutions normalisées pour un système elliptique de type Schrödinger-Bopp-Podolsky dans un domaine borné de $\mathbb{R}^3$ avec un facteur de couplage non constant, établis à l'aide de la théorie de Ljusternik-Schnirelmann sous différentes conditions aux limites pour le potentiel électrostatique.

L'essentiel

🌌 L'histoire des particules dans une boîte : Une aventure mathématique

Imaginez que vous êtes un physicien ou un mathématicien. Vous étudiez comment les particules (comme des électrons) se comportent lorsqu'elles sont enfermées dans un espace fini, disons une petite boîte invisible en trois dimensions.

Dans le monde réel, ces particules ne sont pas seules. Elles créent et réagissent à un champ électrique, un peu comme une personne qui crie dans une pièce et dont la voix résonne sur les murs.

1. Le problème des "Infinités" (Pourquoi changer les règles ?)

Jusqu'à récemment, les physiciens utilisaient les règles classiques de Maxwell (comme la gravité ou l'électricité classique) pour décrire ce champ. Mais il y avait un gros souci : si une particule est un point très précis, la théorie classique disait que son énergie était infinie. C'est comme si vous essayiez de calculer le poids d'un grain de sable et que la calculatrice vous répondait "l'infini". Ce n'est pas très pratique pour la réalité !

Pour résoudre cela, des physiciens nommés Bopp et Podolsky ont proposé une "nouvelle recette" (une théorie de second ordre).

• L'analogie : Imaginez que la particule n'est pas un point dur et tranchant, mais plutôt une petite boule de coton floue. Cette "flouité" empêche l'énergie de devenir infinie. Tout reste fini, gérable et réaliste.

2. La mission de Gaetano Siciliano

L'auteur de cet article, Gaetano Siciliano, s'est penché sur cette nouvelle recette, mais avec une contrainte supplémentaire : la particule doit être enfermée dans une boîte (un domaine borné) et elle ne peut pas toucher les murs (elle disparaît si elle touche le bord).

De plus, il y a deux façons de gérer les murs de cette boîte :

1. Le mode "Portes closes" (Dirichlet) : Les murs sont totalement imperméables. Le champ électrique et son "dérivé" (sa variation) sont nuls au bord.
2. Le mode "Portes ouvertes" (Neumann) : Les murs laissent passer un certain flux d'électricité. C'est plus compliqué, comme essayer de garder l'eau dans une bassine percée, mais avec des règles précises pour compenser les fuites.

3. La grande question : "Combien de solutions existe-t-il ?"

Le but du jeu n'est pas juste de trouver une solution (une façon dont la particule peut se comporter), mais de savoir s'il existe une infinité de solutions.

Pourquoi ? Parce que dans la nature, les systèmes peuvent vibrer à différentes fréquences. Gaetano voulait prouver mathématiquement qu'il existe une infinité de manières pour que la particule et son champ électrique coexistent harmonieusement dans cette boîte.

4. La méthode : La "Topologie" et les "Collines"

Comment prouver qu'il y a une infinité de solutions sans les calculer une par une (ce qui serait impossible) ? Gaetano utilise des outils mathématiques puissants appelés Théorie des Points Critiques et Théorie de Lusternik-Schnirelmann.

Voici l'analogie pour comprendre :

• Imaginez le paysage des solutions comme une immense chaîne de montagnes.
• Chaque sommet ou chaque vallée représente une solution possible.
• L'objectif est de trouver les "points de passage" (les cols entre les montagnes) qui correspondent aux états stables de la particule.
• Gaetano utilise un concept appelé le genre de Krasnoselskii. Imaginez que vous essayez de couper une boule de pâte à modeler avec des ciseaux. Plus vous faites de coupes (plus le "genre" est élevé), plus vous créez de formes séparées.
• Il prouve que le "paysage" de ses équations est si complexe et "tordu" qu'on peut y trouver une infinité de cols différents. Chaque col correspond à une solution unique avec une énergie différente.

5. Les résultats clés

Grâce à cette méthode, Gaetano a démontré deux choses majeures :

1. Existence : Il y a bien des solutions pour les deux types de murs (Portes closes et Portes ouvertes).
2. Multiplicité : Il y en a une infinité. Et plus on cherche loin dans les "hautes montagnes" (plus l'énergie est grande), plus on trouve de solutions.
3. La fréquence mystère : Dans ce problème, la fréquence de vibration de la particule (notée $\omega$) n'est pas donnée à l'avance. C'est une inconnue que le système doit trouver lui-même. Gaetano montre que pour chaque nouvelle solution trouvée, la fréquence devient de plus en plus élevée (la particule vibre de plus en plus vite).

En résumé

Cet article est comme une carte au trésor mathématique. Il dit : "Même si vous enfermez une particule dans une boîte avec des règles électriques complexes et non uniformes, l'univers est si riche qu'il existe une infinité de façons pour que la particule et son champ électrique s'organisent parfaitement."

C'est une victoire de la logique pure sur la complexité du monde physique, prouvant que même dans un espace confiné, la nature a une infinité de "chansons" à chanter.

Résumé technique

Voici un résumé technique détaillé de l'article « Normalized solutions for Schrödinger-Bopp-Podolsky systems in bounded domains » de Gaetano Siciliano, publié dans Communications in Mathematics (2026).

1. Problématique et Contexte Physique

L'article étudie l'existence et la multiplicité de solutions normalisées pour un système elliptique non linéaire couplant l'équation de Schrödinger et la théorie électromagnétique de Bopp-Podolsky dans un domaine borné et régulier $\Omega \subset \mathbb{R}^3$.

Contexte Physique :
La théorie de Bopp-Podolsky est une généralisation de l'électrodynamique de Maxwell d'ordre supérieur, développée pour résoudre le problème de l'infini de l'énergie associée à une charge ponctuelle dans la théorie classique.

• Dans la théorie de Maxwell, le potentiel électrostatique $\phi$ d'une charge ponctuelle (distribution de Dirac) diverge, conduisant à une énergie infinie.
• Dans la théorie de Bopp-Podolsky, l'équation de Poisson est remplacée par une équation d'ordre quatre : $-\Delta \phi + a^2 \Delta^2 \phi = \rho$. La solution fondamentale est régulière partout, assurant une énergie finie.

Le Système Mathématique :
Le système étudié (en posant le paramètre $a=1$ pour simplifier) est le suivant :
$$\begin{cases} -\Delta u + q(x)\phi u - |u|^{p-2}u = \omega u & \text{dans } \Omega \\ -\Delta \phi + \Delta^2 \phi = q(x)u^2 & \text{dans } \Omega \end{cases}$$
où :

• $u$ est l'amplitude de la fonction d'onde (matière).
• $\phi$ est le potentiel électrostatique.
• $\omega$ est la fréquence (inconnue du problème, agissant comme multiplicateur de Lagrange).
• $q(x) \in C(\Omega) \setminus \{0\}$ représente une distribution de charge non uniforme.
• $p \in (2, 10/3)$ : cas sous-critique $L^2$ (mass subcritical).

Conditions aux Limites et Normalisation :
Le problème impose une condition de normalisation $L^2$ (probabilité totale égale à 1) :
$$\int_\Omega u^2 dx = 1$$
L'auteur traite deux cas distincts de conditions aux limites pour le potentiel $\phi$ :

1. Conditions de Dirichlet (Navier) : $\phi = 0$ et $\Delta \phi = 0$ sur $\partial \Omega$.
2. Conditions de Neumann : $\partial_n \phi = h_1$ et $\partial_n \Delta \phi = h_2$ sur $\partial \Omega$, avec des données non homogènes.

2. Méthodologie

L'approche est purement variationnelle, reposant sur la Théorie des Points Critiques et la Théorie de Lusternik-Schnirelmann.

Cadre Variationnel :

• Le problème est formulé comme la recherche de points critiques d'un fonctionnel d'énergie $F(u, \phi)$ restreint à une variété contrainte.
• La contrainte principale est la sphère $L^2$ : $B = \{ u \in H^1_0(\Omega) : \|u\|_{L^2} = 1 \}$.
• Pour le cas de Neumann, la contrainte est plus complexe : l'intersection de la sphère $B$ et d'une variété définie par la condition de compatibilité $\int_\Omega q(x)u^2 dx = \alpha$ (où $\alpha$ dépend des données au bord).

Réduction du Problème :
Le fonctionnel initial $F(u, \phi)$ n'est pas borné. L'auteur utilise la méthode de réduction de Benci et Fortunato :

1. Pour chaque $u$ fixé, on résout l'équation elliptique pour $\phi$, obtenant une solution unique $\Phi(u)$ (ou $\phi_u$).
2. On définit un fonctionnel réduit $J(u) = F(u, \Phi(u))$ dépendant uniquement de $u$.
3. Les points critiques de $J$ sur la variété contrainte correspondent aux solutions du système original, où $\omega$ apparaît naturellement comme multiplicateur de Lagrange.

Outils Topologiques :

• Genre de Krasnoselskii ($\gamma$) : Utilisé pour prouver l'existence d'une infinité de solutions. L'auteur montre que la variété contrainte (la sphère $B$ ou l'intersection $M$) contient des sous-ensembles symétriques compacts d'un genre arbitrairement élevé.
• Condition de Palais-Smale : Démontrée pour assurer la compacité des suites minimisantes ou de suites de Palais-Smale, permettant l'application des théorèmes d'existence.

3. Résultats Principaux

L'article établit deux théorèmes majeurs correspondant aux deux types de conditions aux limites.

Théorème 1.1 (Conditions de Dirichlet)

Sous les conditions de Dirichlet homogènes pour $\phi$ et $\Delta \phi$ :

• Pour tout $p \in (2, 10/3)$, il existe une suite infinie de solutions $\{(u_n, \omega_n, \phi_n)\}$.
• Ces solutions satisfont $\omega_n \to +\infty$ et $\|u_n\|_{H^1} \to +\infty$ lorsque $n \to \infty$.
• Il existe une solution de base (ground state) qui peut être choisie positive.
• L'énergie des solutions diverge.

Théorème 1.2 (Conditions de Neumann)

Sous les conditions de Neumann non homogènes, avec $\alpha = \int_{\partial \Omega} h_2 ds - \int_{\partial \Omega} h_1 ds$ :

• Hypothèses sur $q$ : Il est nécessaire que $\inf_\Omega q < \alpha < \sup_\Omega q$ et que l'ensemble $\{x : q(x) = \alpha\}$ soit de mesure nulle.
• Sous ces conditions, il existe une infinité de solutions $\{(u_n, \omega_n, \phi_n)\}$.
• Les solutions vérifient $\int_\Omega q(x)u_n^2 dx = \alpha$.
• Comme pour le cas Dirichlet, les normes des solutions et les fréquences $\omega_n$ divergent vers l'infini.
• La preuve repose sur la démonstration que l'ensemble contraint $M = B \cap \{u : \int q u^2 = \alpha\}$ est une variété différentielle non vide possédant un genre infini.

4. Contributions Clés et Significativité

1. Extension aux Domaines Bornés : La plupart des travaux antérieurs sur les systèmes de Schrödinger-Bopp-Podolsky se concentraient sur $\mathbb{R}^3$. Ce papier traite rigoureusement le cas de domaines bornés avec des conditions aux limites complexes.
2. Traitement des Conditions Non Homogènes : L'article propose une méthode élégante pour gérer les conditions de Neumann non homogènes via un problème auxiliaire et un changement de variables, transformant le problème en une recherche sur une variété contrainte spécifique.
3. Rôle de la Distribution de Charge $q(x)$ : L'analyse montre que la non-constance de $q(x)$ est cruciale, en particulier pour le cas de Neumann où la condition $\inf q < \alpha < \sup q$ est nécessaire pour garantir que la variété contrainte soit non vide et possède la structure topologique requise (genre infini).
4. Comportement Asymptotique : L'article démontre que les solutions obtenues par la théorie de Lusternik-Schnirelmann correspondent à des états d'énergie élevée, caractérisés par une fréquence $\omega$ et une norme $H^1$ qui tendent vers l'infini. Cela illustre la richesse de la structure spectrale du système non linéaire.
5. Régularité : Bien que les solutions soient obtenues faiblement, l'article esquisse des arguments de régularité (bootstrapping) montrant que les solutions sont classiques ($C^{4,\lambda}$ pour $\phi$ et $C^{2,\lambda}$ pour $u$).

Conclusion

Ce travail fournit une contribution significative à l'analyse des systèmes couplés en physique mathématique. En combinant des techniques variationnelles avancées avec une analyse fine des contraintes topologiques, l'auteur établit l'existence d'une infinité de solutions normalisées pour le système de Schrödinger-Bopp-Podolsky, tant pour des conditions de Dirichlet que de Neumann, comblant ainsi un vide dans la littérature concernant les domaines bornés et les données non homogènes.