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

Titolo del Lavoro

Esistenza e non-esistenza di soluzioni normalizzate per l'equazione di Schrödinger non lineare con non linearità combinate in domini limitati.

1. Il Problema Studiato

Il paper si concentra sull'analisi delle soluzioni normalizzate per l'equazione di Schrödinger non lineare (NLS) in un dominio limitato e regolare $\Omega \subset \mathbb{R}^N$, soggetta a condizioni al contorno di Dirichlet nulle. L'equazione è data da:
$$\begin{cases} -\Delta u + \omega u = \mu |u|^{p-2}u + |u|^{q-2}u, & u > 0 \quad \text{in } \Omega, \\ u = 0, & \text{su } \partial\Omega, \\ \|u\|_{L^2(\Omega)}^2 = \rho, & \rho > 0. \end{cases}$$
Caratteristiche chiave:

• Soluzioni Normalizzate: La massa (norma $L^2$) è fissata a un valore $\rho$, mentre la frequenza $\omega$ agisce come moltiplicatore di Lagrange e non è prefissata.
• Non linearità combinate: Il termine di non linearità è una somma di due potenze: una subcritica o critica rispetto alla massa ($p$) e una critica o supercritica rispetto a Sobolev ($q$).
• Parametri: $N \ge 1$, $\mu \in \mathbb{R}$, $1 < p \le q$. Il caso critico di Sobolev è $2^* = \frac{2N}{N-2}$ per $N \ge 3$.

2. Metodologia

Gli autori utilizzano un approccio variazionale combinato con tecniche avanzate di analisi non lineare:

• Minimizzazione Locale: Studio del funzionale energetico $I(u)$ vincolato alla sfera $S_\rho = \{u \in H^1_0(\Omega) : \|u\|_2^2 = \rho\}$. Viene analizzata la compattezza delle successioni minimizzanti utilizzando le disuguaglianze di Sobolev e Gagliardo-Nirenberg.
• Trucco di Monotonia (Monotonicity Trick) di Struwe: Per superare la difficoltà della mancanza di compattezza in domini limitati (dove la trasformazione di scaling classica di Jeanjean non è applicabile), viene introdotto un parametro $\eta$ nel funzionale. Questo permette di costruire una successione di soluzioni approssimate e dimostrare la loro limitatezza tramite l'identità di Pohozaev.
• Metodo dei Piani in Movimento (Moving-Plane Method): Utilizzato per studiare la non-esistenza in domini convessi. Sfrutta la monotonia delle soluzioni vicino al bordo per dimostrare che, per masse grandi, la concentrazione della massa al centro del dominio porta a una contraddizione nel comportamento della frequenza $\omega$.
• Argomenti di Continuità e Analisi Asintotica: Nel caso della palla unitaria e del problema di Brézis-Nirenberg, viene sfruttata l'unicità e la simmetria radiale delle soluzioni per studiare la continuità della norma $L^2$ rispetto al parametro $\lambda$ (legato a $\omega$).

3. Risultati Principali

A. Esistenza di un Minimo Locale (Teorema 1.1)

• Condizioni: $2 < p \le q \le 2^*$, $\mu \in \mathbb{R}$.
• Risultato: Per masse $\rho$ sufficientemente piccole, esiste sempre una soluzione che è un minimo locale dell'energia vincolata.
• Contributo: Questo risultato rimuove la necessità che il dominio sia "a stella" (star-shaped), requisito presente in lavori precedenti (es. Song e Zou), e si applica anche a non linearità che cambiano segno ($\mu < 0$) o nel caso subcritico rispetto alla massa.

B. Esistenza di una Seconda Soluzione (Tipo Mountain Pass) (Teorema 1.3)

• Condizioni: $\mu \ge 0$, $\Omega$ è un dominio a stella.
• Risultato: Per $\rho$ sufficientemente piccolo, esiste una seconda soluzione positiva di tipo "mountain pass".
• Contributo:
  • Migliora i risultati esistenti estendendoli a tutte le dimensioni $N \ge 3$ (migliorando lavori precedenti limitati a $N \in \{3,4,5\}$).
  • Affronta il caso critico di Sobolev ($q=2^*$) e subcritico, dimostrando l'esistenza di due soluzioni distinte.
  • Utilizza una combinazione di stime di "bubbling" (esplosione) e il trucco di monotonia per garantire la convergenza forte della successione di Palais-Smale.

C. Non-esistenza per Masse Grandi (Teorema 1.5)

• Condizioni: $\Omega$ è un dominio convesso, $1 < p \le 2$, $q \ge \max\{2^*, 3\}$, $\mu > 0$.
• Risultato: Non esistono soluzioni positive normalizzate se la massa $\rho$ è sufficientemente grande.
• Meccanismo: Il metodo dei piani in movimento mostra che per $\rho$ grande, la soluzione si concentra al centro. Questo comporta che la frequenza $\omega$ tenda all'infinito, creando una contraddizione con le stime ottenute dall'identità di Pohozaev.
• Significato: Questo è uno dei primi risultati che stabilisce la non-esistenza per problemi con esponente critico o supercritico di Sobolev in domini limitati con massa grande.

D. Risultato di Dicotomia per il Problema di Brézis-Nirenberg (Teorema 1.7)

• Condizioni: $\mu = 0$, $q = 2^*$, $\Omega$ è una palla unitaria.
• Risultato: Esiste una soglia critica $\rho^*$ tale che:
  1. Per $0 < \rho < \rho^*$: Esistono almeno due soluzioni.
  2. Per $\rho = \rho^*$: Esiste almeno una soluzione.
  3. Per $\rho > \rho^*$: Non esistono soluzioni.
• Metodo: Sfrutta l'unicità delle soluzioni radiali del problema classico di Brézis-Nirenberg e la continuità della norma $L^2$ rispetto al parametro di autovalore.

4. Contributi Chiave e Innovazioni

1. Rimozione di vincoli geometrici: La dimostrazione dell'esistenza del minimo locale non richiede che il dominio sia a stella, a differenza di molti lavori precedenti.
2. Gestione delle non linearità combinate: L'analisi unifica casi subcritici, critici e supercritici, trattando l'interazione tra i termini di potenza $p$ e $q$.
3. Risultati di non-esistenza: Fornisce condizioni precise per la non-esistenza in domini convessi per masse grandi, un'area spesso trascurata rispetto ai problemi di esistenza.
4. Completezza nel caso sferico: Offre una caratterizzazione completa (dicotomia) del comportamento delle soluzioni nel caso della palla unitaria per il problema di Brézis-Nirenberg con massa prescritta.

5. Significato Scientifico

Questo lavoro colma diverse lacune nella letteratura sulle soluzioni normalizzate dell'equazione di Schrödinger in domini limitati. Mentre la maggior parte degli studi si concentra su domini illimitati ($\mathbb{R}^N$) o su problemi con frequenza fissata, questo articolo affronta la complessità intrinseca dei domini limitati, dove la mancanza di invarianza per traslazione e scaling rende difficile la costruzione di successioni di Palais-Smale limitate.
I risultati sono fondamentali per la fisica matematica, in particolare per la comprensione della dinamica delle onde stazionarie in sistemi confinati (come trappole ottiche o guide d'onda) dove la massa totale è conservata e le interazioni non lineari sono di tipo misto. La distinzione tra esistenza e non-esistenza in base alla massa $\rho$ fornisce una mappa completa del comportamento delle soluzioni in diverse regimi fisici.