Existence, non-degeneracy and local uniqueness of multi-peak solutions to the fractional Schrödinger equation with nearly critical exponent in $\mathbb{R}^N$

Titolo: Esistenza, non-degenerazione e unicità locale di soluzioni multi-picco per l'equazione di Schrödinger frazionaria con esponente quasi critico in $\mathbb{R}^N$

Autori: Yanyan Guo, Ying Li, Zhongyuan Liu, Pingping Yang.

---

1. Il Problema

Il lavoro si concentra sullo studio dell'equazione di Schrödinger frazionaria con un esponente quasi critico in tutto lo spazio $\mathbb{R}^N$:
$$\begin{cases} (-\Delta)^s u + V(x)u = u^{p_s - \epsilon} & \text{in } \mathbb{R}^N, \\ u > 0 & \text{in } \mathbb{R}^N, \end{cases}$$
dove:

• $0 < s < 1$ è l'ordine dell'operatore frazionario.
• $(-\Delta)^s$ è l'operatore Laplaciano frazionario, definito tramite il valore principale di Cauchy, che introduce una natura non locale.
• $p_s = \frac{N+2s}{N-2s} - 1$ è l'esponente critico di Sobolev (in termini di potenza, $2^*_s - 1$).
• $\epsilon > 0$ è un piccolo parametro che rende l'esponente "quasi critico" (subcritico).
• $V(x) \in C^1(\mathbb{R}^N) \cap L^\infty(\mathbb{R}^N)$ è un potenziale non negativo.
• Le dimensioni sono tali che $N > 4s$ (per l'esistenza) e $N \ge 6s$ con $s > 1/2$ (per l'unicità e la non-degenerazione).

L'obiettivo è costruire soluzioni che presentano $k$ picchi (soluzioni multi-picco) che si concentrano in punti specifici dello spazio quando $\epsilon \to 0$, e successivamente studiare le loro proprietà qualitative (non-degenerazione e unicità locale).

---

2. Metodologia

Gli autori adottano un approccio perturbativo combinato con tecniche avanzate di analisi non locale. I pilastri metodologici sono:

1. Metodo di Riduzione di Lyapunov-Schmidt:

   • Viene costruita una soluzione approssimata $W_{\lambda, \xi}$ come somma di $k$ "bolle" (bubble) troncate $U_{\lambda_i, \xi_i}$, dove $U$ è la soluzione fondamentale dell'equazione limite critica.
   • Il problema originale viene ridotto a un problema variazionale finito-dimensionale per i parametri di concentrazione $\xi_i$ (centri) e $\lambda_i$ (scale).
   • A causa della natura non locale dell'operatore, la costruzione della soluzione approssimata richiede un'analisi delicata degli errori di troncamento, poiché le bolle decadono lentamente in dimensioni basse.

2. Estensione di Caffarelli-Silvestre:

   • Per gestire la non località dell'operatore $(-\Delta)^s$, il problema viene "sollevato" nello spazio semi-inferiore $\mathbb{R}^{N+1}_+$.
   • L'equazione frazionaria diventa un problema locale con una condizione al contorno di tipo Neumann non locale: $\text{div}(t^{1-2s}\nabla \tilde{u}) = 0$ con una condizione al bordo che lega la derivata normale pesata a $(-\Delta)^s u$.
   • Questo permette di utilizzare strumenti classici di analisi PDE (come le identità di Pohozaev) nel contesto esteso.

3. Identità di Pohozaev Locali e Analisi di "Blow-up":

   • Per determinare i parametri $\lambda_i$ e $\xi_i$ e dimostrare l'unicità, gli autori utilizzano identità di Pohozaev localizzate attorno ai picchi.
   • A differenza dei casi locali ($s=1$), le identità devono essere applicate all'estensione armonica $\tilde{u}$ e non alla soluzione $u$ stessa.
   • Viene sviluppata un'analisi di "blow-up" (ingrandimento) per ottenere stime fini sui coefficienti di errore e dimostrare che le soluzioni sono uniche e non degeneri.

4. Spazi Pesati:

   • Vengono utilizzati spazi di funzioni continue con norme pesate ($\|\cdot\|_*$ e $\|\cdot\|_{**}$) per gestire il decadimento delle soluzioni e controllare gli errori residui $\phi_\epsilon$.

---

3. Contributi Chiave e Risultati Principali

Il paper stabilisce tre risultati fondamentali:

A. Esistenza di Soluzioni Multi-Picco (Teorema 1.1)

• Ipotesi: $V(x)$ è una funzione $C^1$, limitata e non negativa, con $k$ punti critici stabili distinti $\xi^*_i$ tali che $V(\xi^*_i) > 0$.
• Risultato: Per $\epsilon$ sufficientemente piccolo, esiste una soluzione $u_\epsilon$ della forma:
  $$u_\epsilon = \sum_{i=1}^k W_{\lambda_i, \xi_i} + \phi_\epsilon$$
  dove i picchi si concentrano nei punti $\xi_i \to \xi^*_i$ e le scale $\lambda_i \sim \epsilon^{-1/2s}$.
• Novità: Le ipotesi su $V(x)$ sono più deboli rispetto a lavori precedenti (es. Cassani e Wang): non è richiesta la regolarità $C^2$ globale né la positività stretta ovunque, ma solo condizioni locali vicino ai punti critici. Inoltre, si gestisce il caso di dimensioni $N \le 6s$ tramite un'attenta troncatura delle bolle.

B. Non-Degenerazione (Teorema 1.2)

• Ipotesi: $N \ge 6s$, $s > 1/2$, e $V(x) \in C^2$ localmente attorno ai punti critici, che sono non degeneri.
• Risultato: La soluzione multi-picco costruita è non-degenerata. Ciò significa che l'unico soluzione dell'equazione linearizzata attorno a $u_\epsilon$ è la soluzione nulla.
• Significato: La non-degenerazione è cruciale per garantire la stabilità strutturale della soluzione e per applicare metodi di unicità.

C. Unicità Locale (Teorema 1.3)

• Ipotesi: Stesse condizioni del Teorema 1.2.
• Risultato: La soluzione multi-picco è localmente unica. Se esistono due soluzioni $u^{(1)}_\epsilon$ e $u^{(2)}_\epsilon$ con la stessa struttura di picchi (stessi centri e scale asintotici), allora esse coincidono per $\epsilon$ piccolo.
• Metodo: La prova si basa su una stima fine della differenza tra due soluzioni ipotetiche, utilizzando le identità di Pohozaev per mostrare che i coefficienti di decomposizione devono essere nulli, portando a una contraddizione se si assume che le soluzioni siano diverse.

---

4. Significato e Impatto

1. Superamento delle Difficoltà Non Locali: Il lavoro affronta con successo le sfide tecniche poste dall'operatore frazionario, in particolare la mancanza di localizzazione. L'uso dell'estensione di Caffarelli-Silvestre combinato con identità di Pohozaev localizzate rappresenta un approccio robusto e innovativo per problemi critici non locali.
2. Raffinamento delle Ipotesi: Rispetto alla letteratura esistente (es. [17]), il paper indebolisce significativamente le condizioni sul potenziale $V(x)$ (richiedendo solo $C^1$ per l'esistenza e condizioni locali per l'unicità), rendendo i risultati applicabili a una classe più ampia di problemi fisici.
3. Gestione delle Dimension Basse: La capacità di trattare il caso $N \le 6s$ (dove il decadimento delle bolle è lento) attraverso una troncatura appropriata e stime integrali raffinate è un contributo tecnico sostanziale.
4. Strumenti per Futuri Studi: Le tecniche sviluppate, in particolare l'uso delle identità di Pohozaev sull'estensione armonica per dimostrare l'unicità e la non-degenerazione, offrono un modello metodologico per lo studio di altre equazioni ellittiche di ordine superiore o non locali con non linearità critiche.

In sintesi, questo articolo fornisce una teoria completa (esistenza, stabilità e unicità) per soluzioni multi-picco in un contesto frazionario critico, colmando lacune significative nella letteratura matematica attuale su tali equazioni.