Existence and non-existence results for a fractional Lane-Emden equation with nonlocal Neumann conditions

Sintesi Tecnica: Risultati di Esistenza e Non-Esistenza per un'Equazione di Lane-Emden Frazionaria con Condizioni di Neumann Non Locali

Enunciato del Problema
Il saggio investiga l'equazione di Lane-Emden frazionaria soggetta a condizioni di Neumann non locali nello semispazio $\mathbb{R}^n_+ = \{x \in \mathbb{R}^n : x_n > 0\}$. Il problema è formulato come:
$$\begin{cases} (-\Delta)^s u = u^p & \text{in } \mathbb{R}^n_+, \\ u \geq 0 & \text{in } \mathbb{R}^n_+, \\ N_s u = 0 & \text{in } \mathbb{R}^n_-, \end{cases}$$
dove $s \in (0, 1)$, $(-\Delta)^s$ è il Laplaciano frazionario e $N_s$ denota la derivata normale non locale definita sul complemento $\mathbb{R}^n_-$. L'esponente $p$ spazia tra valori subcritici e critici, specificamente $1 < p \leq \frac{n+2s}{n-2s}$. Gli autori cercano di stabilire l'esistenza di soluzioni non triviali nel caso critico e di provare la non-esistenza (risultati di tipo Liouville) nel caso subcritico per dimensione $n=1$.

Metodologia
Gli autori impiegano un approccio duale combinando metodi variazionali per l'esistenza e identità integrali per la non-esistenza.

1. Approccio Variazionale (Esistenza):
   Il problema viene analizzato all'interno dello spazio di energia naturale $H^s_{\mathbb{R}^n_+}$. L'esistenza di una soluzione non triviale nel caso critico ($p = \frac{n+2s}{n-2s}$) si basa sulla stretta disuguaglianza tra la costante di Sobolev dello spazio intero, $S(\mathbb{R}^n)$, e la costante di Sobolev di Neumann dello semispazio, $S_N(\mathbb{R}^n_+)$. Gli autori costruiscono una funzione competitrice adeguata basata sulla funzione di Talenti frazionaria (traslata nello semispazio) per dimostrare che $S_N(\mathbb{R}^n_+) < S(\mathbb{R}^n)$ per tutti $s \in (0, 1)$ e $n > 2s$. Questa stretta disuguaglianza assicura che l'infimo che definisce $S_N(\mathbb{R}^n_+)$ sia raggiunto, fornendo un minimizzatore che risolve l'equazione.

2. Stime di Decadimento e Approssimazione (Non-Esistenza):
   Per il risultato di non-esistenza in dimensione $n=1$ con potenze subcritiche, gli autori stabiliscono prima stime di decadimento puntuale per le soluzioni e i loro gradienti. Utilizzando un argomento di "Lemma di Raddoppio" (Poláčik, Quittner e Souplet), derivano coti per $u(x)$ e $|\nabla u(x)|$ dipendenti dalla distanza dal bordo $x_n$. Queste stime sono cruciali per gestire la natura non locale della condizione di Neumann, che impedisce gli standard argomenti di riflessione utilizzati nei problemi locali.

3. Identità di Tipo Pohozaev:
   Il nucleo della prova di non-esistenza è una nuova identità di tipo Pohozaev derivata specificamente per $n=1$. A differenza delle classiche derivazioni che moltiplicano l'equazione per $x \cdot \nabla u$, gli autori affrontano problemi di regolarità poiché le soluzioni deboli non sono necessariamente differenziabili fino al bordo. Per superare ciò, utilizzano un argomento di approssimazione che coinvolge funzioni di cut-off e le stime di decadimento precedentemente stabilite. Ciò consente di giustificare rigorosamente l'integrazione per parti necessaria per derivare l'identità:
   $$(1-2s)\frac{c_s}{2} \iint_{T(\mathbb{R}_+)} \frac{(u(x)-u(y))^2}{|x-y|^{1+2s}} dx dy = -2 \int_0^{+\infty} (-\Delta)^s u(x) x \dot{u}(x) dx.$$

Contributi Chiave e Risultati

• Teorema 1.2 (Esistenza nel Caso Critico): Per ogni $s \in (0, 1)$ e $n > 2s$, il problema ammette almeno una soluzione debole non costante nel caso critico $p = \frac{n+2s}{n-2s}$.
• Teorema 1.3 (Disuguaglianza di Sobolev Stretta): Gli autori dimostrano che $S_N(\mathbb{R}^n_+) < S(\mathbb{R}^n)$ per tutti i parametri ammissibili $s$ e $n$. Questo risolve una condizione precedentemente nota solo per $s$ vicino a 1 (per $n \geq 2$) o vicino a $1/2$ (per $n=1$), stabilendo il risultato di esistenza per l'intero intervallo di parametri.
• Teorema 1.4 (Risultato di Tipo Liouville): In dimensione $n=1$, per potenze subcritiche $1 < p < \frac{1+2s}{1-2s}$, l'unica soluzione debole non negativa limitata è la soluzione triviale $u \equiv 0$.
• Teorema 1.5 (Identità di Pohozaev): Il saggio stabilisce una nuova identità di Pohozaev per il problema di Neumann frazionario in una dimensione, valida per soluzioni che soddisfano specifiche condizioni di decadimento.

Significatività e Rivendicazioni
Il saggio affronta una lacuna nella letteratura riguardante le equazioni di Lane-Emden frazionarie con condizioni di Neumann non locali. Mentre i risultati di tipo Liouville per le condizioni di Dirichlet negli semispazi sono ben stabiliti (spesso tramite il metodo dei piani moving), la condizione di Neumann non locale impedisce la standard riflessione delle soluzioni nello spazio intero, rendendo inadatto il metodo dei piani moving.

Gli autori affermano che la loro prova del risultato di non-esistenza è significativa perché si basa su una nuova identità di Pohozaev derivata attraverso attente stime di decadimento e approssimazione, piuttosto che su argomenti di simmetria. Questo approccio è necessario a causa della natura "delicata" della condizione di Neumann non locale, che non permette l'estensione delle soluzioni allo spazio intero nello stesso modo dei problemi di Neumann locali. Inoltre, il risultato di esistenza estende l'intervallo noto di parametri per i quali esistono soluzioni non triviali, confermando che la stretta disuguaglianza delle costanti di Sobolev vale universalmente per il problema di Neumann frazionario.