Radial symmetry of positive solutions of an integral system associated with the reversed Stein-Weiss inequality

Sintesi Tecnica: Simmetria Radiale di Soluzioni Positive di un Sistema Integrale Associato alla Disuguaglianza di Stein-Weiss Inversa

Enunciato del Problema
Questo articolo investiga la simmetria radiale e la monotonicità di soluzioni positive di un sistema specifico di equazioni integrali che emergono come il sistema di Euler-Lagrange per le funzioni estreme della disuguaglianza di Stein-Weiss inversa. Il sistema è dato da:
$$\begin{cases} u(x) = \int_{\mathbb{R}^n} \frac{|x|^\alpha v^{-p_2}(y) |y|^\beta}{|x-y|^\Lambda} dy, \\ v(x) = \int_{\mathbb{R}^n} \frac{|x|^\beta u^{-p_1}(y) |y|^\alpha}{|x-y|^\Lambda} dy, \end{cases}$$
dove $n \ge 1$, $\Lambda > 0$, $p_1, p_2 > 1$, e i pesi soddisfano vincoli specifici riguardanti $\alpha, \beta$. Gli autori considerano soluzioni $(u, v)$ che sono positive quasi ovunque in $\mathbb{R}^n$ e appartengono a $L^\infty_{loc}(\mathbb{R}^n) \times L^\infty_{loc}(\mathbb{R}^n)$.

Il problema estende il lavoro precedente sulle disuguaglianze di Hardy-Littlewood-Sobolev (HLS) e Stein-Weiss: mentre Chen, Li e Ou hanno stabilito la simmetria radiale per i sistemi standard HLS e Stein-Weiss utilizzando il metodo dei piani mobili, e Dou, Zhu e Liu hanno affrontato la disuguaglianza HLS inversa, la simmetria radiale per il sistema di Stein-Weiss inverso (che coinvolge doppi pesi ed esponenti negativi nell'integrando) rimaneva una questione aperta.

Metodologia
Gli autori impiegano il metodo dei piani mobili in forma integrale, una tecnica originariamente sviluppata da Chen, Li e Ou e successivamente perfezionata da Dou, Guo e Zhu per sistemi con esponenti negativi. La dimostrazione procede attraverso i seguenti passaggi tecnici:

1. Funzioni Ausiliarie e Regolarità: Per gestire i doppi pesi ($|x|^\alpha, |y|^\beta$) e la singolarità nell'origine, gli autori introducono funzioni ausiliarie:
   $$t(x) = |x|^{-\alpha}u(x), \quad w(x) = |x|^{-\alpha/p_1}u(x), \quad s(x) = |x|^{-\beta}v(x).$$
   Essi stabiliscono innanzitutto il comportamento asintotico delle soluzioni $(u, v)$ all'infinito e vicino all'origine (Lemma 2.1). Crucialmente, dimostrano che le funzioni ausiliarie $t$ e $s$ sono continue in $\mathbb{R}^n$ e differenziabili in $\mathbb{R}^n \setminus \{0\}$, e derivano stime precise per i loro gradienti (Lemmi 2.2 e 2.3). Queste stime sono necessarie per gestire le singolarità vicino all'origine durante il processo dei piani mobili.

2. Rappresentazione Integrale: Gli autori derivano rappresentazioni integrali per le differenze $t(x) - t_\lambda(x)$ e $s(x) - s_\lambda(x)$, dove $x_\lambda$ denota la riflessione di $x$ rispetto al piano $T_\lambda = \{x_1 = \lambda\}$. Queste rappresentazioni coinvolgono il nucleo $G(x, y) = |x_\lambda - y|^\Lambda - |x - y|^\Lambda$ (Lemma 2.4).

3. L'Argomento dei Piani Mobili:

   • Punto di Partenza: Per $\lambda$ sufficientemente negativo, gli autori mostrano che le disuguaglianze $t(x) \ge t_\lambda(x)$ e $s(x) \ge s_\lambda(x)$ valgono nella regione $\Sigma_\lambda = \{x \in \mathbb{R}^n \mid x_1 \le \lambda\}$. Ciò si basa sul comportamento asintotico delle soluzioni all'infinito e sui tassi di crescita specifici delle funzioni ausiliarie.
   • Movimento del Piano: Il piano $T_\lambda$ viene spostato verso destra finché le disuguaglianze valgono. Gli autori definiscono $\lambda_0 = \sup \{ \mu < 0 \mid \text{le disuguaglianze valgono per ogni } \lambda < \mu \}$.
   • Contraddizione: Assumono $\lambda_0 < 0$ e derivano una contraddizione. Analizzando le rappresentazioni integrali e utilizzando la stretta positività del nucleo $G(x, y)$ e la monotonicità delle funzioni potenza coinvolte, mostrano che se le disuguaglianze valgono fino a $\lambda_0$, esse devono valere strettamente in un intorno oltre $\lambda_0$, a meno che la soluzione non sia già simmetrica. La prova gestisce attentamente la singolarità all'origine dividendo i domini di integrazione e utilizzando le stime del gradiente stabilite.
   • Conclusione della Simmetria: La contraddizione implica $\lambda_0 = 0$. Poiché la direzione dell'asse $x_1$ è arbitraria, le soluzioni $w$ e $s$ (e di conseguenza $u$ e $v$) sono radialmente simmetriche rispetto all'origine.

Contributi Chiave e Risultati
Il risultato principale è il Teorema 1.1, il quale afferma che, sotto le condizioni $n \ge 1$, $\Lambda > 0$, $\min\{p_1, p_2\} > 1$, e vincoli specifici sui pesi $\alpha$ e $\beta$, ogni coppia di soluzioni positive $(u, v)$ del sistema (1.12) è radialmente simmetrica e monotonicamente crescente rispetto all'origine.

I contributi tecnici specifici del saggio includono:

• L'estensione del metodo dei piani mobili al sistema di Stein-Weiss inverso, che presenta doppi pesi ed esponenti negativi ($v^{-p_2}, u^{-p_1}$).
• L'introduzione e l'utilizzo di specifiche funzioni ausiliarie ($t, w, s$) per disaccoppiare i pesi dai nuclei integrali, permettendo l'applicazione del metodo dei piani mobili nonostante la mancanza di una disuguaglianza di Stein-Weiss inversa diretta per il sistema.
• La fornitura di stime rigorose per i gradienti delle funzioni ausiliarie vicino all'origine e all'infinito per garantire la validità delle stime integrali richieste dall'argomento dei piani mobili.

Significato e Rivendicazioni
Il saggio sostiene di risolvere la questione della simmetria radiale per le funzioni estreme della disuguaglianza di Stein-Weiss inversa, un problema motivato dal lavoro di Chen, Liu, Lu e Tao (2018), che hanno stabilito la disuguaglianza ma non hanno classificato la simmetria delle sue estremali.

Gli autori pongono il loro lavoro come una naturale progressione nello studio delle equazioni conformi e dei sistemi integrali. Notano che, sebbene la disuguaglianza di Stein-Weiss non si applichi direttamente al loro sistema nello stesso modo in cui accade per il sistema Stein-Weiss standard (come in Jin e Li, 2006), lo schema sviluppato da Dou, Guo e Zhu per la disuguaglianza HLS inversa può essere adattato con successo. Il saggio sottolinea che la natura a doppio peso del sistema presenta una difficoltà che richiede l'introduzione delle funzioni ausiliarie per gestire efficacemente la singolarità all'origine.

Il lavoro non propone nuove applicazioni o setup sperimentali, ma contribuisce alla comprensione teorica della struttura delle soluzioni di equazioni integrali non lineari derivanti dalla fisica matematica e dalla teoria delle costanti migliori nelle disuguaglianze funzionali.