Exact number of positive solutions and existence of sign-changing solutions with prescribed mass for NLS on bounded domains

Titolo: Numero esatto di soluzioni positive ed esistenza di soluzioni a segno cambiato con massa prescritta per l'NLS su domini limitati

Autori: Linjie Song e Wenming Zou
Contesto: Equazioni di Schrödinger non lineari (NLS) su domini limitati $\Omega \subset \mathbb{R}^N$ con vincolo di massa $L^2$ (massa prescritta).

---

1. Il Problema

Lo studio si concentra sul problema ellittico con vincolo di massa:
$$\begin{cases} -\Delta u + \lambda u = |u|^{p-2}u & \text{in } \Omega, \\ u \in H^1_0(\Omega), \\ \int_\Omega |u|^2 dx = \mu, \end{cases}$$
dove $\mu > 0$ è una massa prescritta, $\lambda \in \mathbb{R}$ è un moltiplicatore di Lagrange indeterminato, e $p > 2$ è un esponente Sobolev-sottocritico ($p < 2^* = \frac{2N}{N-2}$ per $N \ge 3$).

L'obiettivo principale è analizzare l'esistenza, la molteplicità e il comportamento asintotico delle soluzioni (sia positive che a segno cambiato) al variare della massa $\mu$, distinguendo tre regimi basati sull'esponente critico $L^2$, $p_c = 2 + \frac{4}{N}$:

1. Sottocritico ($2 < p < p_c$): L'energia è limitata inferiormente.
2. Critico ($p = p_c$): Caso limite.
3. Super-critico ($p_c < p < 2^*$): L'energia non è limitata inferiormente, rendendo più difficile l'analisi variazionale.

Il lavoro risponde a tre domande chiave (Q1, Q2, Q3) riguardanti la molteplicità delle soluzioni a segno_changed, il numero esatto di soluzioni positive nel caso super-critico su una palla unitaria, e l'esistenza di soluzioni a segno_changed con energia e moltiplicatore di Lagrange che tendono all'infinito quando $\mu \to 0$.

---

2. Metodologia

Gli autori combinano tecniche variazionali avanzate, analisi asintotica e topologia per affrontare le difficoltà legate al vincolo di massa e alla natura non lineare del problema.

• Teoria del Genere (Genus Theory): Utilizzata per dimostrare l'esistenza di infinite soluzioni a segno_changed nei casi sottocritico e critico, e di multiple soluzioni nel caso super-critico. Si definiscono livelli minimax su insiemi simmetrici per ottenere soluzioni con indice di Morse controllato.
• Analisi di "Blow-up" e Indici di Morse Limitati: Per studiare il comportamento asintotico quando $\mu \to 0$ o $\mu \to \infty$, si analizzano sequenze di soluzioni con indice di Morse uniformemente limitato. Questo permette di caratterizzare i limiti dei moltiplicatori di Lagrange ($\lambda$) in termini di autovalori del Laplaciano con condizioni di Dirichlet.
• Flusso Discendente (Descending Flow) e Invarianza: Una parte cruciale della metodologia è lo sviluppo di un flusso discendente basato su un operatore pseudo-gradiente $V_\tau = I - G_\tau$. A differenza del gradiente standard, questo operatore è costruito per garantire l'invarianza di certi insiemi (coni positivi e negativi) anche quando il moltiplicatore di Lagrange può diventare negativo. Questo è essenziale per dimostrare che le soluzioni trovate sono effettivamente a segno_changed (non convergenti a soluzioni positive).
• Problemi di Approssimazione: Nel caso super-critico, per gestire la mancanza di compattezza, si introduce una famiglia di funzionali dipendenti da un parametro $\tau \in [1/2, 1]$:
  $$E_\tau(u) = \frac{1}{2}\int |\nabla u|^2 - \frac{\tau}{p}\int |u|^p.$$
  Si applica un teorema di tipo "monotonicity trick" (ispirato a Jeanjean) per trovare punti critici per quasi ogni $\tau$, per poi passare al limite $\tau \to 1$.
• Teorema del Punto Sella Generalizzato: Per trovare soluzioni a segno_changed con energia alta, si generalizza la struttura "Mountain Pass" utilizzando un teorema del punto sella per trovare un secondo punto critico diverso dalla soluzione positiva di Mountain Pass.

---

3. Contributi Chiave e Risultati Principali

A. Molteplicità di Soluzioni a Segno Cambiato (Teorema 1.1)

Il primo risultato principale stabilisce l'esistenza di infinite soluzioni a segno_changed per domini limitati generali ($C^1$):

• Caso Sottocritico ($2 < p < p_c$): Per ogni $\mu > 0$, esistono infinite soluzioni a segno_changed $u_{\mu, j}$ con energie illimitate ($E \to +\infty$ per $j \to \infty$).
  • Quando $\mu \to 0^+$, l'energia tende a 0 e $-\lambda_{\mu, j}$ tende all'$j$-esimo autovalore del Laplaciano ($\lambda_j(\Omega)$). In particolare, per la prima soluzione, $-\lambda \to \lambda_2(\Omega)$.
  • Quando $\mu \to +\infty$, l'energia tende a $-\infty$ e $\lambda \to +\infty$.
• Caso Critico ($p = p_c$): Risultato analogo per $\mu$ sufficientemente piccolo.
• Caso Super-critico ($p_c < p < 2^*$): Per ogni intero $j$, esiste una soglia $\mu^*$ tale che per $0 < \mu < \mu^*$ esistono almeno $j$ soluzioni a segno_changed distinte con comportamento asintotico simile al caso sottocritico per $\mu \to 0$.

B. Numero Esatto di Soluzioni Positive (Teorema 1.2)

Nel caso specifico in cui $\Omega$ è la palla unitaria $B_1$ e $p$ è super-critico, gli autori dimostrano un risultato di esattezza:

• Per $\mu$ sufficientemente piccolo, l'equazione ammette esattamente due soluzioni positive.
• Questo risultato è uniforme rispetto al parametro $\tau \in [1/2, 1]$ nella non linearità.
• Comportamento asintotico:
  • La prima soluzione ($u_{\mu, 1}$): Energia $\to 0$ e $\lambda \to -\lambda_1(B_1)$ (il primo autovalore).
  • La seconda soluzione ($\tilde{u}_{\mu, 2}$): Energia $\to +\infty$ e $\lambda \to +\infty$.

C. Esistenza di Soluzioni a Segno Cambiato ad Alta Energia (Teorema 1.4)

Risolvendo la domanda (Q3), si dimostra che nel caso super-critico su $B_1$:

• Esiste una soluzione a segno_changed $u_{sc, \mu}$ per $\mu$ piccolo.
• Sia l'energia $E(u_{sc, \mu})$ che il moltiplicatore di Lagrange $\lambda_{sc, \mu}$ tendono a $+\infty$ quando $\mu \to 0^+$.
• Importanza: Questo risultato è cruciale perché completa il quadro delle soluzioni a segno_changed, mostrando che non solo esistono soluzioni a bassa energia (vicine agli autovalori), ma anche soluzioni ad alta energia.

---

4. Significato e Innovazione

1. Risoluzione di un Problema Aperto: Il lavoro fornisce il primo risultato che dimostra l'esistenza di infinite soluzioni a segno_changed con massa prescritta su domini limitati. Risultati precedenti (es. [20]) avevano trovato soluzioni con indice di Morse limitato, ma non garantivano che fossero a segno_changed, né la molteplicità infinita.
2. Strumenti Tecnici Nuovi:
   • Lo sviluppo di un flusso discendente basato su un operatore pseudo-gradiente che gestisce correttamente il segno del moltiplicatore di Lagrange è un contributo metodologico significativo. Questo permette di mantenere le soluzioni fuori dai coni di funzioni positive/negative, garantendo che siano a segno_changed.
   • L'uso combinato della teoria del genere e dell'analisi asintotica dettagliata (blow-up) per caratterizzare il comportamento di $\lambda$ e dell'energia offre un quadro completo per problemi con vincoli $L^2$.
3. Precisione nel Caso Super-critico: La caratterizzazione esatta del numero di soluzioni positive (esattamente due) sulla palla unitaria è un risultato fine che permette di distinguere le soluzioni positive da quelle a segno_changed, risolvendo ambiguità presenti in letteratura.
4. Implicazioni Future: La struttura teorica sviluppata, in particolare il Teorema 1.2, è presentata come un passo fondamentale per l'analisi di problemi più complessi su domini non sferici o con non linearità più generali.

In sintesi, questo articolo rappresenta un avanzamento sostanziale nella teoria variazionale delle equazioni ellittiche con vincoli di massa, fornendo risultati di molteplicità ottimali e una comprensione profonda del comportamento asintotico delle soluzioni in tutti i regimi di non linearità.