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

Technische Samenvatting: Resultaten betreffende de existentie en niet-existentie van een fractieel Lane-Emden-vergelijking met niet-lokale Neumann-randvoorwaarden

Probleemstelling
Het artikel onderzoekt de fractieel Lane-Emden-vergelijking onderworpen aan niet-lokale Neumann-randvoorwaarden in de halfruimte $\mathbb{R}^n_+ = \{x \in \mathbb{R}^n : x_n > 0\}$. Het probleem wordt geformuleerd als:
$$\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}$$
waarbij $s \in (0, 1)$, $(-\Delta)^s$ de fractieele Laplaciaan is, en $N_s$ de niet-lokale normale afgeleide voorstelt op de complementaire ruimte $\mathbb{R}^n_-$. De exponent $p$ varieert van subkritische tot kritische waarden, specifiek $1 < p \leq \frac{n+2s}{n-2s}$. De auteurs zoeken naar het vaststellen van de existentie van niet-triviale oplossingen in het kritische geval en het bewijzen van niet-existentie (Liouville-type resultaten) in het subkritische geval voor dimensie $n=1$.

Methodologie
De auteurs hanteren een duale aanpak waarbij variatiemethoden voor existentie worden gecombineerd met integraalidentiteiten voor niet-existentie.

1. Variatie-aanpak (Existentie):
   Het probleem wordt geanalyseerd binnen de natuurlijke energieruimte $H^s_{\mathbb{R}^n_+}$. De existentie van een niet-triviale oplossing in het kritische geval ($p = \frac{n+2s}{n-2s}$) berust op de strikte ongelijkheid tussen de Sobolev-constante van de gehele ruimte, $S(\mathbb{R}^n)$, en de Neumann-Sobolev-constante van de halfruimte, $S_N(\mathbb{R}^n_+)$. De auteurs construeren een geschikte competitor-functie gebaseerd op de fractieele Talenti-functie (na verschuiving in de halfruimte) om aan te tonen dat $S_N(\mathbb{R}^n_+) < S(\mathbb{R}^n)$ voor alle $s \in (0, 1)$ en $n > 2s$. Deze strikte ongelijkheid waarborgt dat het infimum dat $S_N(\mathbb{R}^n_+)$ definieert, wordt bereikt, wat een minimizer oplevert die de vergelijking oplost.

2. Verval-schattingen en Approximatie (Niet-existentie):
   Voor het niet-existentie-resultaat in dimensie $n=1$ met subkritische machten, stellen de auteurs eerst puntuele verval-schattingen vast voor oplossingen en hun gradiënten. Met behulp van een "Doubling Lemma"-argument (Poláčik, Quittner, en Souplet), leiden zij grenzen af voor $u(x)$ en $|\nabla u(x)|$ die afhankelijk zijn van de afstand tot de rand $x_n$. Deze schattingen zijn cruciaal voor het behandelen van de niet-lokale aard van de Neumann-voorwaarde, die standaard reflectie-argumenten die gebruikt worden bij lokale problemen verhindert.

3. Pohozaev-type Identiteit:
   De kern van het niet-existentie-bewijs is een nieuwe Pohozaev-type identiteit die specifiek voor $n=1$ is afgeleid. In tegenstelling tot klassieke afleidingen die de vergelijking vermenigvuldigen met $x \cdot \nabla u$, worden de auteurs geconfronteerd met regulariteitsvraagstukken aangezien zwakke oplossingen niet noodzakelijkerwijs differentieerbaar zijn tot aan de rand. Om dit te overwinnen, maken zij gebruik van een approximatie-argument met behulp van afkappuncties (cut-off functies) en de eerder vastgestelde verval-schattingen. Dit maakt het mogelijk om de integratie door delen die nodig is voor de afleiding van de identiteit rigoureus te rechtvaardigen:
   $$(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.$$

Belangrijkste Bijdragen en Resultaten

• Stelling 1.2 (Existentie in het Kritische Geval): Voor elke $s \in (0, 1)$ en $n > 2s$, admitteert het probleem ten minste één niet-constante zwakke oplossing in het kritische geval $p = \frac{n+2s}{n-2s}$.
• Stelling 1.3 (Strikte Sobolev-ongelijkheid): De auteurs bewijzen dat $S_N(\mathbb{R}^n_+) < S(\mathbb{R}^n)$ voor alle toegestane $s$ en $n$. Dit lost een conditie op die voorheen alleen bekend was voor $s$ nabij 1 (voor $n \geq 2$) of nabij $1/2$ (voor $n=1$), waarmee het existentie-resultaat voor het volledige parameterbereik wordt vastgesteld.
• Stelling 1.4 (Liouville-type Resultaat): In dimensie $n=1$, voor subkritische machten $1 < p < \frac{1+2s}{1-2s}$, is de enige begrensde niet-negatieve zwakke oplossing de triviale oplossing $u \equiv 0$.
• Stelling 1.5 (Pohozaev Identiteit): Het artikel stelt een nieuwe Pohozaev-identiteit vast voor het fractieele Neumann-probleem in één dimensie, die geldig is voor oplossingen die voldoen aan specifieke verval-condities.

Betekenis en Claims
Het artikel adresseert een gat in de literatuur met betrekking tot fractieele Lane-Emden-vergelijkingen met niet-lokale Neumann-voorwaarden. Hoewel Liouville-type resultaten voor Dirichlet-voorwaarden in halfruimtes goed gevestigd zijn (vaak via de methode van bewegende vlakken), verhindert de niet-lokale Neumann-voorwaarde de standaard reflectie van oplossingen naar de gehele ruimte, waardoor de methode van bewegende vlakken ongeschikt is.

De auteurs claimen dat hun bewijs van het niet-existentie-resultaat significant is omdat het rust op een nieuwe Pohozaev-identiteit, afgeleid via zorgvuldige verval-schattingen en approximatie, in plaats van symmetrie-argumenten. Deze aanpak is noodzakelijk vanwege de "delicate" aard van de niet-lokale Neumann-voorwaarde, die niet toelaat de oplossingen op dezelfde wijze uit te breiden naar de gehele ruimte als bij lokale Neumann-problemen. Verder breidt het existentie-resultaat het bekende bereik van parameters uit waarvoor niet-triviale oplossingen bestaan, waarmee wordt bevestigd dat de strikte ongelijkheid van de Sobolev-constanten universeel geldt voor het fractieele Neumann-probleem.