Entire solutions to a strongly competitive nonlinear Schrödinger system

Titolo: Soluzioni intere per un sistema di Schrödinger non lineare fortemente competitivo

Autori: Pierpaolo Esposito, Pablo Figueroa, Angela Pistoia, Giusi Vaira.

---

1. Il Problema Studiato

Il paper si occupa dell'esistenza di soluzioni positive non radiali per un sistema di equazioni di Schrödinger accoppiato in tutto lo spazio $\mathbb{R}^N$ ($N \ge 2$), nel regime di forte competizione ($\Lambda \to +\infty$). Il sistema è dato da:

$$\begin{cases} -\Delta u_1 + u_1 = u_1^p - \Lambda u_1^{a_1} u_2^{a_2} & \text{in } \mathbb{R}^N \\ -\Delta u_2 + u_2 = u_2^p - \Lambda u_1^{b_1} u_2^{b_2} & \text{in } \mathbb{R}^N \end{cases}$$

dove $p > 1$ è un esponente sub-critico, $a_i, b_i > 0$ e $\Lambda > 0$ è un parametro di competizione.

Contesto e Sfide:

• Separazione delle fasi: Nel limite $\Lambda \to +\infty$, le componenti $u_1$ e $u_2$ tendono a segregare (i loro supporti diventano asintoticamente disgiunti).
• Struttura non variazionale: A differenza di casi speciali (es. il sistema di Bose-Einstein con esponenti specifici), questo sistema generale non possiede una struttura variazionale, rendendo inapplicabili molti metodi classici di minimizzazione.
• Sfida principale: La letteratura esistente ha trattato principalmente soluzioni radiali o sistemi su domini limitati. Costruire soluzioni non radiali in tutto lo spazio per sistemi non variazionali è un problema aperto e tecnicamente molto difficile.

2. Metodologia e Strategia

Gli autori utilizzano una combinazione di metodo di Lyapunov-Schmidt (riduzione dimensionale) e un'analisi asintotica fine delle interazioni tra i picchi delle soluzioni.

A. Ansatz Geometrico (Configurazione dei Picchi)

La soluzione approssimata $(U_1, U_2)$ è costruita come somma di copie della soluzione positiva radiale $U$ dell'equazione scalare $-\Delta U + U = U^p$, centrate in punti specifici che formano una configurazione geometrica complessa:

• Due poligoni regolari concentrici: Un poligono interno e uno esterno, entrambi con $k$ lati e raggi molto grandi.
• Disposizione:
  • I picchi della componente $u_1$ sono disposti lungo i lati del poligono esterno e lungo i raggi che congiungono i vertici dei due poligoni.
  • I picchi della componente $u_2$ sono disposti alternati a quelli di $u_1$ sui lati del poligono esterno.
• Simmetria: La configurazione è invariante sotto rotazioni di angolo $2\pi/k$ nel piano $(x_1, x_2)$ e sotto riflessioni, garantendo che la soluzione finale mantenga queste simmetrie.

B. Condizioni di Bilanciamento (Balancing Conditions)

Per rendere l'ansatz una soluzione approssimata valida, i parametri geometrici (distanze tra i picchi $\ell, \bar{\ell}, \bar{\ell}'$) devono soddisfare condizioni di equilibrio delle forze di interazione:

1. Condizione Geometrica: Relazione tra i lati dei poligoni e le distanze radiali.
2. Condizioni di Bilanciamento: Derivate dall'annullamento del termine di errore proiettato sul nucleo linearizzato. Queste condizioni bilanciano le forze di repulsione tra picchi della stessa componente (interazione interna) e le forze di attrazione/repulsione tra picchi di componenti diverse (interazione esterna, governata da $\Lambda$).
   • Le interazioni interne seguono un principio di sovrapposizione.
   • Le interazioni esterne non seguono il principio di sovrapposizione lineare (poiché $a_2, b_1 > 1$), richiedendo espansioni asintotiche delicate per controllare le forze residue.

C. Procedura di Riduzione

1. Linearizzazione: Si studia l'operatore linearizzato attorno all'ansatz. Si dimostra la risolubilità del problema lineare proiettato sul complemento ortogonale del nucleo (spazio delle funzioni simmetriche).
2. Stime dell'Errore: Si stimano i termini di errore $E$ (dovuti alla non linearità e all'accoppiamento) e i termini non lineari $Q$. Le stime sono critiche a causa della mancanza di struttura variazionale e della crescita sub-critica.
3. Riduzione a Problema Finito: Il problema infinito-dimensionale si riduce alla risoluzione di un sistema algebrico finito per i parametri di posizione dei picchi ($\alpha_j, \beta_h, \gamma_h$). La soluzione esatta esiste se si possono trovare parametri tali che la proiezione dell'errore sul nucleo sia nulla.

3. Risultati Principali

Teorema 1.1 (Esistenza)

Sotto ipotesi tecniche sugli esponenti (in particolare $c > 1$ e $\max\{a, b\} < c+1$, dove $a, b, c$ sono combinazioni minime degli esponenti $a_i, b_i$) e per $p \ge 2$ (con estensioni possibili per $p > 3/2$), esiste un valore soglia $\Lambda_0$ tale che per ogni $\Lambda > \Lambda_0$, il sistema ammette infinità di soluzioni positive non radiali.

Queste soluzioni sono biforcazioni dalla soluzione approssimata costruita, con picchi che si allontanano l'uno dall'altro man mano che $\Lambda$ aumenta.

Condizioni di Admissibilità

Il teorema richiede che la tripletta $(m, n, k)$ (dove $m$ e $n$ sono il numero di picchi lungo i raggi e i lati, e $k$ è il numero di lati del poligono) sia "ammissibile". Il Lemma 2.2 dimostra che esistono infinite tali triplette per $k$ sufficientemente grande, garantendo l'esistenza di infinite soluzioni distinte.

4. Contributi Chiave e Innovazioni

1. Primo Esempio di Soluzioni Non-Radiali Intere: Questo lavoro fornisce il primo esempio noto di soluzioni positive non radiali per sistemi di Schrödinger fortemente competitivi in tutto lo spazio $\mathbb{R}^N$.
2. Gestione della Non-Variationalità: Il sistema non è variazionale nella maggior parte dei casi considerati. Gli autori sviluppano tecniche analitiche robuste per gestire l'assenza di un funzionale energetico, basandosi interamente sulla struttura delle equazioni e sulle stime puntuali.
3. Interazioni Non Lineari: Una delle difficoltà tecniche maggiori è stata gestire l'interazione tra le due componenti quando $a_2, b_1 > 1$. In questo caso, l'interazione non è la somma delle interazioni a due a due. Gli autori dimostrano che, nonostante ciò, le forze dominanti si comportano in modo coerente con una sovrapposizione formale, permettendo di chiudere le stime.
4. Configurazione Geometrica Complessa: L'uso di due poligoni concentrici con picchi alternati rappresenta una configurazione geometrica nuova e sofisticata per generare soluzioni non radiali, superando le limitazioni dei casi radiali o a singolo poligono.

5. Significato e Limiti

• Significato: Il risultato collega la teoria delle soluzioni a cambiamento di segno per equazioni scalari (come quelle costruite da Pacard, Musso e Wei) con le soluzioni positive per sistemi competitivi, rispondendo positivamente a una domanda aperta (Q2) sulla possibilità di approssimare soluzioni nodali non radiali tramite sistemi competitivi.
• Limiti e Osservazioni:
  • Il risultato non si applica direttamente al sistema di Bose-Einstein standard (dove $a_1=b_2=a_2-1=b_1-1=1$), poiché in quel caso le condizioni di bilancio diventano critiche e l'ansatz richiede correzioni più fini (osservazione 1.2).
  • Non copre il caso di interazioni di tipo Lotka-Volterra ($a_1=b_1=a_2=b_2=1$) (Osservazione 1.3).
  • Richiede $p \ge 2$ per semplificare le stime, sebbene il caso $3/2 < p < 2$ sia trattabile con condizioni aggiuntive.

In conclusione, il paper rappresenta un avanzamento significativo nella teoria delle equazioni alle derivate parziali ellittiche non lineari, aprendo la strada alla costruzione di soluzioni complesse in regimi competitivi forti senza l'ausilio di strutture variazionali.