Compactness results for Sign-Changing Solutions of critical nonlinear elliptic equations of low energy

1. Il Problema Matematico

Il lavoro si concentra sull'analisi delle proprietà di compattezza per l'insieme delle soluzioni a segno variabile (sign-changing) di un'equazione ellittica non lineare critica in un dominio limitato e regolare $\Omega \subset \mathbb{R}^n$ ($n \ge 3$).

L'equazione studiata è:
$$\begin{cases} -\Delta v + h v = |v|^{2^*-2} v & \text{in } \Omega, \\ v = 0 & \text{su } \partial\Omega, \end{cases}$$
dove:

• $2^* = \frac{2n}{n-2}$ è l'esponente critico di Sobolev.
• $h \in C^1(\Omega)$ è una funzione potenziale.
• Si assume che l'operatore $-\Delta + h$ sia coercitivo e che il primo valore proprio dell'energia $I_h(\Omega)$ sia strettamente inferiore alla costante ottimale di Sobolev $K_n^{-2}$.

L'obiettivo principale è determinare sotto quali condizioni una successione di soluzioni $(v_\alpha)$, che soddisfa un limite superiore di energia specifico (il livello energetico più basso possibile per soluzioni a segno variabile), ammette una sottosuccessione che converge fortemente in $C^2(\Omega)$.

2. Metodologia e Strumenti Analitici

Gli autori adottano un approccio per assurdo basato sull'analisi di "blow-up" (esplosione) delle soluzioni. Se una successione di soluzioni non è compatta, essa deve "esplodere" in un punto, ovvero il suo massimo assoluto tende all'infinito.

Le fasi chiave della metodologia sono:

1. Decomposizione Asintotica: Si assume che una successione di soluzioni $(v_\alpha)$ che non converge fortemente si decomponga come:
   $$v_\alpha = B_\alpha \pm v_\infty + o(1)$$
   dove $B_\alpha$ è un profilo di "bolla" positiva che si concentra in un punto $x_\alpha \in \Omega$, e $v_\infty$ è una soluzione debole dell'equazione limite.

2. Nuova Stima Puntuale Globale (Teorema 2.1): Il contributo metodologico centrale è la dimostrazione di una nuova stima puntuale precisa per le soluzioni a segno variabile, valida fino al bordo del dominio. Gli autori dimostrano che:
   $$\left| \frac{v_\alpha - \Pi B_\alpha \mp v_\infty}{B_\alpha + v_\infty} \right|_\infty \to 0$$
   dove $\Pi B_\alpha$ è la proiezione di $B_\alpha$ nello spazio $H^1_0(\Omega)$ (risolvendo l'equazione con il termine di sorgente $B_\alpha^{2^*-1}$). Questa stima è cruciale perché controlla il comportamento delle soluzioni anche quando il punto di concentrazione $x_\alpha$ si avvicina al bordo $\partial\Omega$, una situazione particolarmente delicata per le soluzioni a segno variabile.

3. Identità di Pohozaev: Per derivare condizioni necessarie affinché avvenga il blow-up, gli autori applicano l'identità di Pohozaev su domini scalati attorno al punto di concentrazione. Analizzano separatamente due casi:

   • Blow-up Interno: $x_\infty \in \Omega$.
   • Blow-up al Bordo: $x_\infty \in \partial\Omega$.

4. Analisi Dimensionale: Le stime ottenute vengono confrontate in base alla dimensione $n$ del dominio, portando a condizioni di contraddizione diverse per $n \in \{3, 4, 5\}$, $n=6$ e $n \ge 7$.

3. Risultati Principali

Il risultato centrale è il Teorema 1.1, che stabilisce la compattezza forte in $C^2(\Omega)$ per le soluzioni a segno variabile al livello energetico minimo, sotto le seguenti condizioni:

• Casi $3 \le n \le 5$: Le soluzioni a segno variabile sono unconditionalmente compatte (senza ulteriori ipotesi su $h$, oltre alla coercività e al limite energetico). Questo è un risultato sorprendente, dato che per soluzioni positive in queste dimensioni la compattezza non è garantita senza condizioni aggiuntive.
• Casi $n \ge 7$: Le soluzioni sono compatte se la funzione potenziale non si annulla mai in $\Omega$ ($h(x) \neq 0$ per ogni $x \in \Omega$). In particolare, il teorema si applica quando $h > 0$, completando risultati precedenti noti per soluzioni positive.
• Dimensione Critica $n = 6$: La compattezza non vale in generale. Gli autori dimostrano (Proposizione 1.1) che se una successione di soluzioni a segno variabile esplode, il punto di concentrazione $x_\infty$ deve essere interno e deve soddisfare la relazione $h(x_\infty) = \pm 2 v_\infty(x_\infty)$. Viene citata la letteratura esistente che costruisce famiglie non compatte in questa dimensione.

Corollario 1.1 estende questi risultati a insiemi di soluzioni con energia leggermente superiore al livello minimo (entro un $\epsilon$), garantendo la pre-compattezza.

4. Contributi Chiave e Innovazioni

1. Gestione del Bordo per Soluzioni a Segno Variabile: La principale difficoltà tecnica risiede nel fatto che, a differenza delle soluzioni positive, le soluzioni a segno variabile possono teoricamente concentrarsi al bordo. Gli autori dimostrano che, nelle dimensioni $3 \le n \le 5$ e per $n \ge 7$ con $h \neq 0$, la concentrazione al bordo è impossibile. La stima puntuale globale (1.9) è lo strumento fondamentale che permette di escludere questo scenario.
2. Distinzione Dimensionale: Il lavoro chiarisce il ruolo critico della dimensione $n=6$, dove il comportamento delle soluzioni cambia qualitativamente rispetto alle dimensioni inferiori e superiori.
3. Complemento ai Risultati Esistenti: Mentre la compattezza per soluzioni positive è ben studiata (es. [16]), i risultati per soluzioni a segno variabile erano meno noti, specialmente al livello energetico minimo. Questo lavoro colma tale lacuna, mostrando che le soluzioni a segno variabile possono avere comportamenti di compattezza migliori (o diversi) rispetto a quelle positive in certe dimensioni.

5. Significato e Implicazioni

Questo lavoro è significativo per la teoria delle equazioni ellittiche critiche perché:

• Stabilisce limiti precisi: Definisce esattamente quando le soluzioni a segno variabile formano insiemi compatti, un prerequisito essenziale per l'esistenza di soluzioni tramite metodi variazionali (come il metodo del mountain pass o minimizzazione su varietà di Nehari).
• Rivela fenomeni dimensionali: Evidenzia come la dimensione dello spazio influenzi drasticamente la struttura delle soluzioni singolari, con la dimensione 6 che agisce come una soglia di transizione comportamentale.
• Fornisce nuovi strumenti tecnici: La stima puntuale globale fino al bordo per soluzioni a segno variabile rappresenta un avanzamento tecnico che potrebbe essere applicato ad altri problemi di equazioni non lineari critiche su varietà con bordo.

In sintesi, il paper risolve il problema della compattezza per le soluzioni a segno variabile a bassa energia, dimostrando che, in dimensioni basse ($n \le 5$), la struttura a segno variabile impone una rigidità che previene la formazione di singolarità al bordo, mentre in dimensioni alte ($n \ge 7$) è necessaria l'assenza di zeri della funzione potenziale $h$.