Segregated solutions for a critical Choquard system with a small interspecies repulsive force

1. Il Problema Matematico

Il paper si concentra sullo studio di un sistema di equazioni ellittiche accoppiate di tipo Choquard (o Schrödinger-Newton) in dimensione $N=4$, con esponenti critici. Il sistema è dato da:

$$\begin{cases} -\Delta u = (|x|^{-\mu} * |u|^{\frac{4-\mu}{2}})|u|^{\frac{2-\mu}{2}}u + \beta u v^2 & \text{in } \mathbb{R}^4 \\ -\Delta v = (|x|^{-\mu} * |v|^{\frac{4-\mu}{2}})|v|^{\frac{2-\mu}{2}}v + \beta u^2 v & \text{in } \mathbb{R}^4 \end{cases}$$

dove:

• $*$ denota la convoluzione standard.
• $0 < \mu \le 4$ è un parametro che definisce la forza dell'interazione non locale.
• $\beta < 0$ è un parametro di accoppiamento che rappresenta una forza repulsiva interspecie (regime competitivo).
• Gli esponenti sono scelti in modo critico rispetto alla disuguaglianza di Hardy-Littlewood-Sobolev (esponente superiore critico $2^*_\mu = \frac{2N-\mu}{N-2}$).

L'obiettivo è dimostrare l'esistenza di soluzioni "segregate" (o a blow-up) quando il parametro repulsivo $|\beta|$ è sufficientemente piccolo. In queste soluzioni, la prima componente $u$ si comporta come la soluzione radiale positiva dell'equazione singola, mentre la seconda componente $v$ presenta un fenomeno di blow-up (divergenza) in $k$ punti distinti disposti ai vertici di un poligono regolare.

2. Metodologia

L'autrice impiega la riduzione di Lyapunov-Schmidt, un metodo perturbativo classico per problemi variazionali non lineari, adattato a questo contesto specifico. La procedura si articola nei seguenti passaggi:

1. Costruzione dell'Approssimazione:
   Si cerca una soluzione della forma $(u, v) = (U + \phi_1, V + \phi_2)$, dove:

   • $U$ è la soluzione fondamentale dell'equazione di Choquard singola critica.
   • $V = \sum_{j=1}^k U_{\lambda, \xi_j}$ è una somma di $k$ "bubbles" (soluzioni concentrate) centrate in punti $\xi_j$ disposti ai vertici di un poligono regolare di raggio $\rho$ nel piano $(x_1, x_2)$.
   • $\lambda$ è un parametro di scala (molto grande, $1/\lambda \to 0$) che controlla la concentrazione.
   • $\phi_1, \phi_2$ sono termini di errore piccoli da determinare.

2. Spazi Funzionali e Simmetrie:
   Il problema viene formulato in spazi pesati ($\|\cdot\|_*$ e $\|\cdot\|_{**}$) per gestire il decadimento delle soluzioni. Si impone una struttura di simmetria rigorosa sulle funzioni di errore:

   • Pari rispetto alle variabili $x_2, x_3, x_4$.
   • Invarianza per rotazione di $2\pi/k$ nel piano $(x_1, x_2)$.
   • Invarianza rispetto alla trasformazione di Kelvin (cruciale per la dimensione $N=4$ e la natura non locale).

3. Riduzione a Dimensione Finita:
   Il sistema originale viene decomposto in due parti tramite proiezioni ortogonali:

   • Equazione Ortogonale ($\Pi^\perp$): Risolta tramite il teorema del punto fisso (contrazione) per trovare $\phi_1, \phi_2$ in funzione di $\lambda$. Questo richiede la dimostrazione dell'invertibilità dell'operatore linearizzato $L$ e stime precise sul termine di errore $E$ e sul termine non lineare $N$.
   • Equazione di Riduzione ($\Pi$): Si riduce il problema alla ricerca di un valore critico per il parametro $\lambda$ tale che la proiezione dell'errore sul nucleo dell'operatore linearizzato sia nulla. Questo porta a una funzione ridotta $c(\lambda)$.

4. Stime Asintotiche:
   Un aspetto tecnico cruciale è la stima precisa dei termini di interazione non locale (convoluzioni) e dei termini di accoppiamento $\beta u^2 v$ e $\beta u v^2$. L'autore sfrutta la simmetria del poligono e le proprietà di decadimento delle soluzioni di Choquard per stimare l'energia residua.

3. Risultati Chiave

• Teorema Principale (Teorema 1.2): Per ogni $k \ge 2$, esiste un $\beta_0 < 0$ tale che per ogni $\beta \in [\beta_0, 0)$, il sistema ammette una soluzione $(u, v)$ della forma descritta sopra.
• Comportamento Asintotico:
  • La componente $u$ rimane vicina alla soluzione radiale $U$.
  • La componente $v$ è una sovrapposizione di $k$ picchi concentrati nei punti $\xi_j$.
  • La scala di concentrazione $\lambda$ soddisfa la relazione asintotica:
    $$\frac{1}{\lambda} = O\left(e^{-c/|\beta|}\right)$$
    per una costante $c > 0$. Questo indica che all'aumentare della repulsione (in valore assoluto), i picchi diventano più stretti e la loro distanza dal centro aumenta esponenzialmente.
• Unicità della Soluzione Ridotta: È stato dimostrato che l'equazione ridotta $c(\lambda) = 0$ ammette una soluzione unica per $\lambda$ sufficientemente grande, bilanciando il termine negativo derivante dall'interazione tra i picchi e il termine positivo derivante dall'accoppiamento repulsivo.

4. Contributi Originali e Significato

• Ponte tra Teorie Diverse: Questo lavoro è il primo (secondo l'autrice) a collegare la teoria dei sistemi competitivi (tipica delle equazioni di Schrödinger accoppiate) con l'equazione di Choquard critica non locale.
• Gestione della Non Località Critica: Il caso critico per le equazioni di Choquard presenta sfide matematiche notevoli dovute alla mancanza di compattezza e alla natura integrale dell'operatore. L'articolo dimostra che, nonostante la non località, il sistema mantiene le stesse strutture di soluzione (blow-up su poligoni) osservate nei sistemi locali competitivi.
• Ruolo della Dimensione $N=4$: L'analisi è condotta specificamente in dimensione 4. L'autore nota che per $N \ge 5$, il termine di accoppiamento avrebbe crescita sub-lineare, rendendo inefficace il processo di riduzione utilizzato. La scelta di $N=4$ è essenziale per la crescita critica del termine di accoppiamento.
• Simmetria e Kelvin: L'uso della trasformazione di Kelvin come vincolo di simmetria è una tecnica innovativa in questo contesto per controllare il comportamento delle soluzioni all'infinito e garantire la non degenerazione dell'operatore linearizzato.

In conclusione, il paper fornisce una prova rigorosa dell'esistenza di soluzioni segregate complesse in un sistema non locale critico, aprendo la strada a ulteriori studi sulle interazioni competitive in contesti di fisica matematica avanzata (come stelle di bosoni o materia oscura scalare).