A Pohozaev-type neck proof of a conditional Harnack inequality in the critical $p$-Laplacian setting

Sintesi Tecnica: Una prova del collo di tipo Pohozaev per una disuguaglianza di Harnack condizionata nel contesto del $p$-Laplaciano critico

Enunciato del Problema
Il saggio affronta la regolarità e il comportamento quantitativo di soluzioni deboli positive per l'equazione quasilineare critica:
$$-\Delta_p u = g(u) \quad \text{in } \Omega \subset \mathbb{R}^n,$$
dove $1 < p < n$, $\Delta_p u = \text{div}(|\nabla u|^{p-2}\nabla u)$ è il $p$-Laplaciano, e la non linearità $g$ soddisfa condizioni di crescita di Sobolev critiche (specificamente $g(s) \sim s^{p^*-1}$ per $s \to \infty$, dove $p^* = \frac{np}{n-p}$).

L'obiettivo centrale è stabilire una disuguaglianza di Harnack della forma:
$$\left(\sup_{B_R} u\right) \left(\inf_{B_{2R}} u\right)^{p-1} \leq C R^{p-n},$$
la quale fornisce una descrizione puntuale delle soluzioni singolari e costituisce la base per l'analisi del blow-up.

Contesto Metodologico e Ostacoli
Nel caso semilineare ($p=2$), tali disuguaglianze sono state stabilite da Schoen e successivamente estese da Li e Zhang utilizzando il metodo della sfera (o piano) mobile. Questo metodo si basa fortemente sulla trasformata di Kelvin, che sfrutta l'invarianza conforme del Laplaciano.

Tuttavia, per $p \neq 2$, il $p$-Laplaciano non è conforme invariante, rendendo la trasformata di Kelvin e il relativo metodo della sfera mobile non disponibili. Questa assenza costituisce un vero ostacolo all'estensione dei classici risultati di classificazione e Harnack al contesto generale del $p$-Laplaciano critico.

Metodologia: L'argomento Pohozaev-neck
Per superare la mancanza di invarianza conforme, gli autori sviluppano un argomento Pohozaev-neck. Questo approccio sostituisce le tecniche di riflessione geometrica del caso $p=2$ con un argomento analitico basato sull'identità di Pohozaev e sulla struttura delle singolarità isolate. La metodologia procede attraverso i seguenti passaggi:

1. Condizione di Segno Strutturale: Sotto l'assunzione che $s \mapsto s^{-(p^*-1)}g(s)$ sia non crescente, gli autori stabiliscono che il funzionale di Pohozaev è non negativo su palloni per soluzioni regolari.
2. Analisi della Singolarità: Utilizzano il teorema del polo di Kichenassamy–Véron per analizzare il comportamento delle soluzioni vicino alle singolarità isolate. Dimostrano che se una soluzione possiede una "parte regolare" (un termine costante non nullo $\beta$) nella sua espansione asintotica $u(x) \sim \kappa|x|^{-\alpha} + \beta$, il funzionale di Pohozaev alla singolarità diventa strettamente negativo.
3. Il Lemma del Collo (Lemma 3.7): Questo è il nucleo tecnico del contributo. Il lemma assume un tasso di decadimento singolare "preliminare" (specificamente $|x|^{-(n-p)/p}$) su una regione di collo normalizzata. Riscalando la soluzione verso una scala di "collo", gli autori costruiscono un profilo limite.
   • Se il decadimento fosse più lento del tasso ottimale, il profilo limite possiederebbe una parte regolare positiva ($\beta > 0$).
   • Ciò implicherebbe un valore di Pohozaev negativo per il limite.
   • Tuttavia, la condizione di segno di Pohozaev ereditata dall'equazione originale (tramite la monotonicità di $g$) richiede che il valore sia non negativo.
   • Questa contraddizione forza la parte regolare a svanire, portando così l'aggiornamento del tasso di decadimento preliminare al tasso fondamentale $p$-armonico $|x|^{-(n-p)/(p-1)}$.

Ipotesi Chiave (Natura Condizionata)
Il risultato principale è condizionato, basandosi su due ipotesi esplicite:

1. Ipotesi di Classificazione Intera: Ogni soluzione debole positiva intera limitata dell'equazione limite $-\Delta_p V = g_A(V)$ in $\mathbb{R}^n$ (dove $g_A$ rappresenta il limite di blow-up della non linearità) deve essere un $p$-bubble di Aubin–Talenti.
2. Controllo Preliminare del Collo: Esiste un limite superiore preliminare sulle soluzioni di collo normalizzate della forma $v_j(y) \leq C|y|^{-(n-p)/p}$.

Risultati Principali

• Teorema 1.3 (Disuguaglianza di Harnack): Sotto le assunzioni strutturali su $g$ (Assunzione 1.1) e le due ipotesi sopra citate (Assunzione 1.2), la disuguaglianza di Harnack condizionata vale per ogni soluzione debole positiva in $B_{3R}$.
• Aggiornamento del Decadimento Ottimale: Il saggio dimostra che l'argomento Pohozaev-neck aggiorna con successo il tasso di decadimento singolare preliminare $|x|^{-(n-p)/p}$ al tasso ottimale $|x|^{-(n-p)/(p-1)}$, necessario per la stima $\sup \times \inf$.
• Casi Incondizionati: Gli autori notano che nel caso di pura potenza $g(s) = L s^{p^*-1}$, l'ipotesi di classificazione è nota per specifici intervalli di $n$ e $p$ (ad esempio, $n \leq 6$ o $n \geq 7$ con $p > n/3$), rendendo il teorema incondizionato in tali regimi. Inoltre, se viene assunta una quota di energia critica invariante per scala, la classificazione e il controllo preliminare seguono dalla teoria dell'energia finita esistente, rendendo il risultato incondizionato in tale ambito.

Significato e Rivendicazioni
Il saggio rivendica di fornire la prima prova di una disuguaglianza di Harnack condizionata per il $p$-Laplaciano critico ($p \neq 2$) che non dipende dall'invarianza conforme.

• Spostamento Metodologico: Introduce un "lemma del collo" basato su Pohozaev come alternativa valida alla trasformata di Kelvin per analizzare i fenomeni di bubbling in contesti non conformemente invarianti.
• Colmare il Divario: Il lavoro connette l'analisi locale del blow-up (comportamento del collo) con i risultati di classificazione globale. Esso inquadra esplicitamente la difficoltà del caso generale come la potenziale esistenza di soluzioni intere limitate che non sono bubble di Aubin–Talenti (limiti a energia infinita), uno scenario escluso dall'ipotesi condizionata.
• Limitazioni: Gli autori sono modesti riguardo all'ambito del lavoro, riconoscendo che senza l'ipotesi di classificazione (o un limite di energia), l'esistenza di soluzioni intere non-bubble rimane un ostacolo aperto. Il risultato è presentato come un passo avanti condizionato, dipendente dalla validità della classificazione delle soluzioni intere del problema.

Conclusione
Il saggio stabilisce un quadro robusto per l'analisi delle equazioni del $p$-Laplaciano critico, sostituendo i metodi geometrici conformi con identità di Pohozaev analitiche. Dimostra con successo una disuguaglianza di Harnack ottimale sotto l'assunzione che la classificazione delle soluzioni intere si comporti in modo simile al caso semilineare, isolando così il problema della classificazione come l'unico ostacolo rimanente per un risultato pienamente incondizionato.