Variational problems related to self-similar solutions of Hardy-Sobolev heat equation in RN

Sintesi Tecnica: Problemi Variazionali Relativi a Soluzioni Auto-Simili dell'Equazione del Calore di Hardy-Sobolev in $\mathbb{R}^N$

Enunciato del Problema
Questo articolo indaga l'esistenza, la molteplicità e la non-esistenza di soluzioni auto-simili per l'equazione parabolica semilineare con un potenziale singolare di Hardy-Sobolev in $\mathbb{R}^N$:
$$u_t - \Delta u = \frac{|u|^{q-2}u}{|x|^s}, \quad \text{in } \mathbb{R}^N \times (0, \infty),$$
dove $2 < q \leq 2^*(s) \equiv \frac{2N-2s}{N-2}$ e $0 \leq s < 2$. Lo studio si concentra sulla conversione di questo problema parabolico in un problema ellittico equivalente tramite una trasformazione auto-simile. L'equazione trasformata è:
$$-\Delta v - \frac{1}{2}y \cdot \nabla v = \alpha v + \frac{|v|^{q-2}v}{|y|^s}, \quad \text{in } \mathbb{R}^N,$$
dove $\alpha = \frac{2-s}{2q-4}$. L'obiettivo principale è analizzare la struttura variazionale di questa equazione ellittica, affrontando specificamente i casi sottocritico ($q < 2^*(s)$) e critico ($q = 2^*(s)$) sotto l'influenza del termine singolare $|y|^{-s}$ e del peso gaussiano $K(y) = e^{|y|^2/4}$.

Metodologia
Gli autori impiegano una combinazione di analisi funzionale, disuguaglianze pesate e metodi variazionali all'interno di un specifico quadro di spazi di Hilbert.

1. Impostazione Funzionale: Il problema è formulato in uno spazio di Hilbert $X$, definito come il completamento di $C_c^\infty(\mathbb{R}^N)$ rispetto alla norma indotta dal prodotto scalare $(v_1, v_2)_K = \int_{\mathbb{R}^N} (\nabla v_1 \cdot \nabla v_2) K(y) dy$. Le soluzioni deboli corrispondono a punti critici del funzionale energetico $E_K(v)$.
2. Disuguaglianze Pesate: Un passo fondamentale consiste nell'istituire la disuguaglianza di Hardy pesata e la disuguaglianza di Sobolev-Hardy pesata. Queste disuguaglianze sono cruciali per dimostrare la continuità e la compattezza dei relativi immersi $X \hookrightarrow L^q_K(\mathbb{R}^N, |y|^{-s})$.
3. Tecniche Variazionali:
   • Caso Sottocritico: Viene utilizzato il Teorema della Fontana per stabilire l'esistenza di infiniti soluzioni. Ciò richiede la verifica delle condizioni geometriche del teorema e della condizione di Palais-Smale (PS).
   • Caso Critico: L'esistenza di soluzioni si basa sul principio di concentrazione-compattezza e sull'analisi della costante migliore $S_{K,\alpha}$ associata alla disuguaglianza di Sobolev-Hardy pesata. Gli autori confrontano $S_{K,\alpha}$ con la costante migliore standard $S^0$ (e $S_{K,0}$) per garantire che l'estremo inferiore sia raggiunto.
   • Non-esistenza: Viene applicata l'identità di Pohozaev per derivare le condizioni in base alle quali non esistono soluzioni non banali.
4. Dimostrazione Alternativa: Per il caso critico, viene fornita una dimostrazione alternativa utilizzando il Teorema del Passo Montano, basandosi su una specifica soglia di livello energetico per verificare la condizione (PS).

Contributi e Risultati Chiave

• Disuguaglianze: L'articolo dimostra rigorosamente la disuguaglianza di K-Hardy e la disuguaglianza di K-Sobolev-Hardy, stabilendo le proprietà di compattezza necessarie per l'immersione dello spazio pesato $X$ negli spazi di Lebesgue pesati.
• Caso Sottocritico ($2 < q < 2^*(s)$):
  • Teorema 3.1: Per ogni $\alpha \in \mathbb{R}$, il problema ammette infiniti soluzioni $\{\pm v_k\}_{k=1}^\infty$ tali che l'energia $E_K(\pm v_k) \to +\infty$ quando $k \to \infty$. Ciò implica l'esistenza di infiniti soluzioni auto-simili per l'equazione del calore originale.
• Caso Critico ($q = 2^*(s)$):
  • Non-esistenza: Il Teorema 4.1 stabilisce che se $\alpha \leq N/4$ (per $N \geq 3$), l'unica soluzione al problema è la soluzione banale $v \equiv 0$. Ciò è dimostrato tramite l'identità di Pohozaev.
  • Esistenza:
    • Per $N \geq 4$ e $\alpha \in (N/4, N/2)$, esiste almeno una soluzione non banale (Teorema 4.2).
    • Per $N = 3$ e $\alpha \in (1, 3/2)$, esiste almeno una soluzione non banale.
    • L'articolo caratterizza anche gli intervalli in cui non esistono soluzioni positive (ad esempio, $\alpha \leq N/4$ o $\alpha \geq N/2$ per $N \geq 4$).
  • Ottimalità delle Costanti: Gli autori dimostrano che per specifici intervalli di $\alpha$, l'estremo inferiore del funzionale quoziente $Q_{K,\alpha}$ è strettamente minore della costante migliore standard $S^0$, garantendo il raggiungimento del minimo e quindi l'esistenza di una soluzione.
• Approccio Alternativo: La Sezione 5 fornisce una seconda dimostrazione per i risultati di esistenza nel caso critico utilizzando la geometria del Passo Montano, confermando la robustezza delle affermazioni di esistenza sotto i vincoli energetici derivati.

Significato e Affermazioni
L'articolo afferma di estendere la letteratura esistente sulle soluzioni auto-simili delle equazioni del calore (in particolare il lavoro di Escobedo, Kavian e Tan riguardante il caso $s=0$) allo scenario più complesso che coinvolge termini singolari di Hardy-Sobolev ($s > 0$).

Il significato risiede in:

1. Completamento della Dicotomia: Stabilendo sia risultati di esistenza che di non-esistenza basati sul parametro $\alpha$ e sulla dimensione $N$, il lavoro chiarisce il panorama della risolubilità per l'equazione ellittica trasformata.
2. Gestione delle Singolarità: La derivazione delle disuguaglianze pesate e l'applicazione dei metodi variazionali in presenza del termine singolare $|y|^{-s}$ e del peso gaussiano $K(y)$ forniscono un quadro rigoroso per l'analisi di tali problemi evolutivi singolari.
3. Molteplicità: La dimostrazione dell'esistenza di infiniti soluzioni nel caso sottocritico evidenzia la ricca struttura dell'insieme delle soluzioni per questo tipo di equazioni paraboliche.

Gli autori mantengono un tono modesto, concentrandosi strettamente sulla derivazione matematica dei teoremi di esistenza, molteplicità e non-esistenza, senza estrapolare verso applicazioni fisiche specifiche oltre alla caratterizzazione generale dei fenomeni di diffusione ed evoluzione singolare menzionata nell'introduzione. I risultati sono presentati come estensioni rigorose delle teorie classiche al contesto di Hardy-Sobolev.