On a necessary condition for removing singularities of solutions of nonlinear elliptic inequalities

Sintesi Tecnica: Su una condizione necessaria per la rimozione delle singolarità di soluzioni di disuguaglianze ellittiche non lineari

Enunciato del Problema
Il saggio investiga la rimovibilità delle singolarità per le soluzioni di disuguaglianze differenziali ellittiche non lineari della forma:
$$\Delta^{m/2} u \geq f(x)g(u)$$
definite nella palla unitaria bucata $B_1 \setminus \{0\} \subset \mathbb{R}^n$ ($n \geq 2$), dove $m \geq 2$ è un intero pari. Le funzioni $f$ e $g$ soddisfano specifiche condizioni di regolarità e crescita: $f \in L^\infty_{loc}(B_1 \setminus \{0\})$ e $g: [0, \infty) \to [0, \infty)$ è non decrescente con $g(0)=0$ e $g(\zeta) > 0$ per $\zeta > 0$.

Una singolarità all'origine è definita come rimovibile se la soluzione $u$ e il termine $f(x)g(|u|)$ appartengono a $L^1(B_1)$, permettendo alla disuguaglianza di valere in senso distributivo su tutta la palla $B_1$. L'obiettivo centrale è stabilire una condizione necessaria sulla non linearità $g$ tale che qualsiasi soluzione della disuguaglianza possieda una singolarità rimovibile in zero.

Metodologia
Gli autori impiegano un approccio costruttivo per dimostrare che, se una specifica condizione integrale su $g$ fallisce, deve esistere una singolarità non rimovibile. La metodologia procede come segue:

1. Riduzione a ODE radiali: Il problema viene ridotto da una disuguaglianza differenziale parziale a una disuguaglianza differenziale ordinaria radiale. Utilizzando le proprietà del Laplaciano in coordinate polari, gli autori costruiscono una soluzione radiale $u(x) = w(|x|)$ che soddisfa la disuguaglianza se $w$ soddisfa un problema radiale correlato che coinvolge l'operatore $\left(\frac{1}{r^{n-1}}\left(r^{n-1}\frac{d}{dr}\right)\right)^{m/2}$.
2. Punto Fisso e Costruzione Iterativa: La dimostrazione si basa sul Teorema 2.2, il quale asserisce l'esistenza di una soluzione positiva e decrescente di una specifica disuguaglianza radiale sull'intervallo $(0, 1]$. Ciò è ottenuto attraverso:
   • La definizione di una sequenza di operatori integrali $A_i$ che agiscono su funzioni continue.
   • L'instaurazione di stime a priori e disuguaglianze (ad esempio, equazioni 2.4–2.11) per controllare la crescita e il decadimento di tali operatori.
   • L'utilizzo del teorema del punto fisso di Bohl–Brouwer per trovare un punto fisso $w_0$ su un sotto-intervallo $[r_0, 1]$.
   • L'estensione di tale soluzione all'intervallo $(0, r_0]$ risolvendo un problema di Cauchy che coinvolge l'inversa della non linearità $g^{-1/m}$.
3. Argomento di Divergenza: Il cuore dell'argomento risiede nel comportamento dell'integrale $\int_1^\infty g^{-1/m}(\zeta)\zeta^{1/m-1} d\zeta$. Se questo integrale diverge, la soluzione costruita $w(r)$ cresce sufficientemente velocemente quando $r \to 0$ tale che $u(x) \notin L^1(B_1)$, provando così che la singolarità è non rimovibile.

Contributi Chiave e Risultati
Il risultato primario è il Teorema 2.1, il quale afferma:
Se $g: (0, \infty) \to (0, \infty)$ è una funzione continua non decrescente che soddisfa la condizione di divergenza:
$$\int_1^\infty g^{-1/m}(\zeta)\zeta^{1/m-1} d\zeta = \infty,$$
allora la disuguaglianza $\Delta^{m/2} u \geq f(x)g(u)$ ammette una soluzione positiva con una singolarità non rimovibile in zero per qualsiasi $f \in L^\infty_{loc}(B_1 \setminus \{0\})$.

Di conseguenza, la condizione:
$$\int_1^\infty g^{-1/m}(\zeta)\zeta^{1/m-1} d\zeta < \infty$$
è stabilita come una condizione necessaria per la rimovibilità delle singolarità per ogni soluzione della disuguaglianza.

Il saggio contestualizza questo risultato relazionandolo a condizioni note:

• Per $m=2$, la condizione è equivalente alla nota condizione di blow-up di Keller–Osserman.
• Il risultato generalizza precedenti scoperte per non linearità di tipo potenza (ad esempio, $\Delta u \geq |x|^s u^\lambda$) e non linearità logaritmiche, recuperando esponenti critici esatti come la condizione di Brezis–Véron.

Significato e Rivendicazioni
Gli autori affermano che, sebbene la condizione integrale (1.3) (o la sua generalizzazione per $m>2$) non sia sufficiente a garantire la rimovibilità (poiché non tiene conto del comportamento di $f$ vicino a zero o di potenziali restrizioni di crescita nei casi lineari), essa è strettamente necessaria.

Il saggio asserisce che se questa condizione integrale viene violata, indipendentemente da quanto sia "piccolo" o ben comportato il coefficiente $f$ (purché sia localmente limitato inferiormente da uno stretto valore positivo), è sempre possibile costruire una soluzione che esploda all'origine in modo tale da impedire che la singolarità sia rimovibile. Ciò fornisce un confine netto per la classe di non linearità $g$ che permettono la rimozione delle singolarità nel contesto delle disuguaglianze ellittiche di ordine superiore. Il lavoro chiarisce la soglia esatta tra singolarità rimovibili e non rimovibili, indipendente dalla specifica scelta del termine di forzante $f$.