Critical quasi-linear Schrödinger system with $p$-Laplacian

Sintesi Tecnica: Classificazione delle Soluzioni Positive di un Sistema Quasi-lineare di Schrödinger Critico con $p$-Laplaciano

Enunciato del Problema
Questo articolo investiga le proprietà qualitative e la classificazione delle soluzioni deboli positive $(u, v)$ del sistema di Schrödinger quasi-lineare critico in $D^{1,p}(\mathbb{R}^N)$ che coinvolge l'operatore $p$-Laplaciano:
$$\begin{cases} -\Delta_p u = u^\alpha v^\beta & \text{in } \mathbb{R}^N, \\ -\Delta_p v = u^\beta v^\alpha & \text{in } \mathbb{R}^N, \end{cases}$$
dove $1 < p < N$, $N \ge 2$, e gli esponenti soddisfano $0 \le \alpha \le \beta$ con $\alpha + \beta = p^* - 1$. Gli esponenti sono tali che $p^* = \frac{Np}{N-p}$ denota l'esponente di Sobolev critico, e le soluzioni appartengono allo spazio $D^{1,p}(\mathbb{R}^N)$, definito come la completamento di $C_0^\infty(\mathbb{R}^N)$ sotto la norma $\|\nabla u\|_{L^p}$.

Lo studio affronta la generalizzazione dei risultati di unicità e classificazione precedentemente stabiliti per il caso semi-lineare ($p=2$) da Li e Ma [48] e Quittner e Souplet [58] al regime pienamente quasi-lineare $1 < p < N$.

Metodologia e Sfide Tecniche
Gli autori impiegano il metodo dei piani mobili per stabilire la simmetria radiale e la monotonicità. Tuttavia, estendere questo metodo da $p=2$ a $1 < p < N$ presenta ostacoli analitici significativi a causa della natura non lineare del $p$-Laplaciano ($\Delta_p u = \text{div}(|\nabla u|^{p-2}\nabla u)$). L'articolo identifica quattro difficoltà primarie:

1. Non linearità: Le operazioni lineari non possono essere scambiate con $\Delta_p$, e i classici principi di confronto derivati dai principi di massimo non sono direttamente applicabili.
2. Assenza di Trasformazioni di Kelvin: La mancanza di invarianza conforme per $p \neq 2$ impedisce l'uso delle trasformazioni di Kelvin, rendendo necessaria la derivazione di stime asintotiche precise sia per le soluzioni che per i loro gradienti.
3. Mancanza di Rappresentazione di Green: L'assenza di una formula di rappresentazione integrale di Green preclude i metodi indiretti basati su equazioni integrali equivalenti.
4. Ellitticità Singolare/Degenerata: L'operatore è ellittico singolare per $1 < p < 2$ e degenero ellittico per $p > 2$, richiedendo un trattamento separato poiché non esiste un principio di confronto forte uniforme.

Per superare questi problemi, gli autori:

• Stabiliscono la regolarità e le stime asintotiche precise per $(u, v)$ e $(|\nabla u|, |\nabla v|)$ senza fare affidamento sulle trasformazioni di Kelvin.
• Utilizzano tecniche di iterazione di De Giorgi-Moser-Nash per derivare i limiti preliminari di decadimento.
• Applicano argomenti di scala e lemmi di raddoppio (doubling lemmas) per raffinare questi limiti in stime precise.
• Impiegano disuguaglianze di tipo Poincaré pesate e disuguaglianze di Hardy-Sobolev per gestire la procedura dei piani mobili in presenza di insiemi critici (dove i gradienti si annullano).
• Discutono separatamente i casi singolari ($1 < p < 2$) e degeneri ($p > 2$), adattando la tecnica dei piani mobili e i principi di confronto.

Contributi Chiave e Risultati

1. Regolarità e Stime Asintotiche Precise (Teorema 1.3):
   Gli autori dimostrano che ogni soluzione debole positiva $(u, v)$ appartiene a $C^{1,\theta}_{\text{loc}}(\mathbb{R}^N) \cap L^\infty(\mathbb{R}^N)$. Fondamentalmente, stabiliscono limiti bilaterali precisi per le soluzioni e i loro gradienti per grandi valori di $|x|$:
   $$\frac{c_0}{1 + |x|^{\frac{N-p}{p-1}}} \le u(x), v(x) \le \frac{C_0}{1 + |x|^{\frac{N-p}{p-1}}},$$
   $$\frac{c'_0}{|x|^{\frac{N-1}{p-1}}} \le |\nabla u(x)|, |\nabla v(x)| \le \frac{C'_0}{|x|^{\frac{N-1}{p-1}}}.$$
   Queste stime sono derivate senza trasformazioni di Kelvin, colmando una lacuna nella letteratura per il caso generale $p$.

2. Simmetria Radiale e Monotonicità (Teorema 1.4):
   Utilizzando il metodo dei piani mobili, l'articolo dimostra che tutte le soluzioni positive sono radialmente simmetriche e strettamente decrescenti rispetto a un punto $x_0 \in \mathbb{R}^N$. Questo risultato è valido per l'intero intervallo $1 < p < N$. La prova consiste nel dimostrare che le soluzioni sono simmetriche rispetto a un iperpiano in ogni direzione, convergendo infine verso un centro di simmetria unico.

3. Unicità e Classificazione Completa:
   Gli autori dimostrano che $u \equiv v$. Di conseguenza, il sistema si riduce alla singola equazione critica del $p$-Laplaciano $-\Delta_p u = u^{p^*-1}$. Sfruttando i risultati di classificazione esistenti per la singola equazione (ad esempio, da Sciunzi [59] e Vetois [71]), l'articolo fornisce la classificazione completa delle soluzioni positive:
   $$u(x) = v(x) = \left[ \lambda^{\frac{1}{p-1}} \left( N^{\frac{1}{p}} \left( \frac{N-p}{p-1} \right)^{\frac{p-1}{p}} \right) \lambda^{\frac{p}{p-1}} + |x-x_0|^{\frac{p}{p-1}} \right]^{-\frac{N-p}{p}},$$
   dove $\lambda > 0$ e $x_0 \in \mathbb{R}^N$ sono parametri arbitrari.

Significato e Ambito
L'articolo sostiene di estendere i risultati di unicità noti per il caso semi-lineare ($p=2$) al caso quasi-lineare generale $1 < p < N$. Esso affronta specificamente il vuoto tecnico lasciato dall'assenza di invarianza conforme e trasformazioni di Kelvin nel contesto del $p$-Laplaciano. Stabilendo comportamenti asintotici precisi e gestendo separatamente la natura singolare/degenerata dell'operatore, il lavoro fornisce una base rigorosa per la classificazione delle soluzioni dei sistemi quasi-lineari critici. I risultati unificano la comprensione di tali sistemi attraverso l'intero intervallo di $p$, confermando che, nonostante la maggiore complessità dell'operatore, il comportamento qualitativo (simmetria radiale, monotonicità e unicità a meno di scala e traslazione) rimane coerente con il caso semi-lineare.