Serrin-type Overdetermination in Scaling Limits: Sharp Existence and Asymptotic Behavior of Quasi-linear Schrödinger Energy Ground States

Résumé technique : Surdétermination de type Serrin dans les limites d'échelle : Existence nette et comportement asymptotique des états fondamentaux d'énergie des équations de Schrödinger quasi-linéaires

1. Formulation du problème
Cet article étudie l'existence et le comportement asymptotique des états fondamentaux d'énergie pour l'équation de Schrödinger quasi-linéaire dans $\mathbb{R}^N$ :
$$-\Delta u - \Delta(|u|^2)u + \lambda u = |u|^{p-2}u$$
soumise à une contrainte de masse prescrite (normalisation) :
$$\int_{\mathbb{R}^N} |u|^2 dx = a > 0.$$
L'étude se concentre sur le régime massique supercritique, défini par la plage d'exposants $4 + \frac{4}{N} < p < 2 \cdot 2^*$, où $2^* = \frac{2N}{N-2}$ est l'exposant de Sobolev critique (avec $2^* = \infty$ pour $N=1,2$). Dans ce régime, la fonctionnelle d'énergie associée est non bornée inférieurement sur l'ensemble de contrainte, rendant l'existence de minimiseurs non triviale. La fréquence $\lambda$ apparaît comme un multiplicateur de Lagrange déterminé par la contrainte.

2. Méthodologie
Les auteurs traitent la non-différentiabilité de la fonctionnelle d'énergie $I(u)$ dans l'espace naturel $X$ (en raison du terme $u\Delta(|u|^2)$) ainsi que le manque de compacité dans le cas supercritique grâce aux stratégies suivantes :

• Approche de minimisation relaxée : Au lieu de minimiser directement sur l'intersection de la sphère de contrainte $S_a$ et de la variété de Pohozaev $\mathcal{P}$, les auteurs introduisent un problème relaxé sur l'ensemble $D_a = \{u \in X : \|u\|_2^2 \leq a\}$. Ils définissent $M_a = \inf_{u \in \mathcal{P} \cap D_a} I(u)$.
• Cadre variationnel : Ils prouvent que les minimiseurs de $M_a$ sont des points critiques de l'énergie restreinte à $D_a$. Une étape clé consiste à montrer que pour des dimensions et des plages de masse spécifiques, ces minimiseurs se situent strictement sur la frontière $\partial D_a = S_a$, résolvant ainsi le problème normalisé original.
• Transformation duale : Pour traiter la structure quasi-linéaire, les auteurs utilisent un changement de variables $u = \phi(v)$, transformant le problème en une équation semi-linéaire pour $v$. Cela permet l'application de la régularité elliptique standard et des résultats d'unicité pour les solutions radiales.
• Analyse asymptotique par rescalage : Pour les comportements limites ($a \to 0^+$ et $a \to a^*$), les auteurs emploient des techniques de rescalage délicates. Lorsque $a \to 0^+$, les solutions sont resscalées pour converger vers une solution radiale positive unique d'un problème surdéterminé de type Serrin (un problème de frontière libre avec des conditions de Dirichlet-Neumann). Lorsque $a \to a^*$, l'analyse repose sur la convergence vers des solutions de l'équation à masse nulle ou des limites semi-linéaires standards.

3. Contributions clés et résultats

• Théorie de l'existence optimale (Levée de la barrière $p \leq 2^*$) :
  Les travaux antérieurs (ex. [30, 43, 55]) exigeaient l'hypothèse restrictive $p \leq 2^*$, ce qui limitait les résultats d'existence aux dimensions $N \leq 3$. Cet article établit l'existence pour la plage complète $4 + \frac{4}{N} < p < 2 \cdot 2^*$ pour toutes les dimensions $N \geq 1$.

  • Cas $1 \leq N \leq 4$ : Des états fondamentaux d'énergie existent pour toutes les masses prescrites $a > 0$. Le multiplicateur de Lagrange associé $\lambda$ est strictement positif.
  • Cas $N \geq 5$ : Un seuil net $a_0 > 0$ existe. Les états fondamentaux existent si et seulement si $a \leq a_0$.
    • Pour $a < a_0$, il existe un unique état fondamental radial positif (à une translation ou un signe près) avec $\lambda > 0$.
    • Pour $a = a_0$, l'état fondamental est l'unique solution radiale positive de l'équation à masse nulle (où $\lambda = 0$).
    • Pour $a > a_0$, aucun état fondamental d'énergie n'existe.

• Comportement asymptotique quand $a \to 0^+$ :
  Le papier fournit une connexion inédite entre les états fondamentaux quasi-linéaires et les problèmes surdéterminés de type Serrin. Lorsque la masse $a$ tend vers zéro, les profils rescalés des états fondamentaux convergent vers l'unique solution radiale positive de :
  $$\begin{cases} -\Delta \tilde{v} = -\frac{\sqrt{2}}{2} + 2^{\frac{p-4}{4}} \tilde{v}^{\frac{p-2}{2}} & \text{dans } \Omega, \\ \tilde{v} > 0 & \text{dans } \Omega, \\ \tilde{v} = \frac{\partial \tilde{v}}{\partial \nu} = 0 & \text{sur } \partial \Omega, \end{cases}$$
  où $\Omega$ est une boule. Cela constitue le premier résultat de ce type pour les équations quasi-linéaires. Le multiplicateur de Lagrange $\lambda$ diverge vers $+\infty$ dans cette limite.

• Comportement asymptotique quand $a \to a^*$ :

  • Pour $N \leq 4$ (où $a^* = \infty$) et $N \geq 5$ (où $a^* = a_0$), $\lambda \to 0^+$.
  • Selon la dimension et l'exposant $p$, les solutions rescalées convergent vers :
    • L'unique solution radiale positive de l'équation semi-linéaire standard $-\Delta W + W = W^{p-1}$ (pour $N=2,3$ et $p$ sous-critique).
    • La bulle de Talenti (pour $N=3, p=2^*$).
    • L'unique solution radiale positive de l'équation quasi-linéaire à masse nulle (pour $N \geq 3$ avec $p$ supercritique).

4. Signification et affirmations
L'article affirme fournir la théorie d'existence optimale pour les états fondamentaux normalisés de cette classe d'équations quasi-linéaires. La principale avancée est la levée de la restriction de longue date $p \leq 2^*$, qui confinait auparavant les résultats d'existence aux basses dimensions ($N \leq 3$). En établissant l'existence pour toute la plage supercritique $p < 2 \cdot 2^*$ dans toutes les dimensions, les auteurs résolvent complètement le problème d'existence.

De plus, le travail introduit un cadre variationnel unifié utilisant une approche de contrainte relaxée qui évite les problèmes de différentiabilité inhérents à la fonctionnelle quasi-linéaire. L'identification du problème surdéterminé de type Serrin comme profil limite pour la masse nulle représente un nouveau phénomène dans l'analyse asymptotique des équations de Schrödinger quasi-linéaires, reliant le comportement des états fondamentaux aux problèmes de frontière libre.

Les auteurs notent que, bien que la caractérisation variationnelle suggère l'instabilité (blow-up) pour les ondes stationnaires associées, une conclusion définitive sur la stabilité orbitale reste ouverte en raison de l'absence de théorie de bien-posé local pour l'équation dans l'espace d'énergie $X$. Cependant, le papier établit que les états fondamentaux d'énergie coïncident avec les états fondamentaux d'action (les minimiseurs de la fonctionnelle d'action pour un $\lambda$ fixé) en raison de l'unicité des solutions positives pour un $\lambda > 0$ fixé.