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

Resumen Técnico: Resultados de Existencia y No Existencia para una Ecuación de Lane-Emden Fraccionaria con Condiciones de Neumann No Locales

Planteamiento del Problema
El artículo investiga la ecuación de Lane-Emden fraccionaria sujeta a condiciones de Neumann no locales en el semiespacio $\mathbb{R}^n_+ = \{x \in \mathbb{R}^n : x_n > 0\}$. El problema se formula como:
$$\begin{cases} (-\Delta)^s u = u^p & \text{en } \mathbb{R}^n_+, \\ u \geq 0 & \text{en } \mathbb{R}^n_+, \\ N_s u = 0 & \text{en } \mathbb{R}^n_-, \end{cases}$$
donde $s \in (0, 1)$, $(-\Delta)^s$ es el Laplaciano fraccionario y $N_s$ denota la derivada normal no local definida en el complemento $\mathbb{R}^n_-$. El exponente $p$ abarca desde valores subcríticos hasta críticos, específicamente $1 < p \leq \frac{n+2s}{n-2s}$. Los autores buscan establecer la existencia de soluciones no triviales en el caso crítico y demostrar la no existencia (resultados de tipo Liouville) en el caso subcrítico para la dimensión $n=1$.

Metodología
Los autores emplean un enfoque dual que combina métodos variacionales para la existencia e identidades integrales para la no existencia.

1. Enfoque Variacional (Existencia):
   El problema se analiza dentro del espacio de energía natural $H^s_{\mathbb{R}^n_+}$. La existencia de una solución no trivial en el caso crítico ($p = \frac{n+2s}{n-2s}$) depende de la desigualdad estricta entre la constante de Sobolev del espacio completo, $S(\mathbb{R}^n)$, y la constante de Sobolev de Neumann del semiespacio, $S_N(\mathbb{R}^n_+)$. Los autores construyen una función competidora adecuada basada en la función de Talenti fraccionaria (desplazada hacia el semiespacio) para demostrar que $S_N(\mathbb{R}^n_+) < S(\mathbb{R}^n)$ para todo $s \in (0, 1)$ y $n > 2s$. Esta desigualdad estricta asegura que el ínfimo que define $S_N(\mathbb{R}^n_+)$ se alcanza, produciendo un minimizador que resuelve la ecuación.

2. Estimaciones de Decaimiento y Aproximación (No Existencia):
   Para el resultado de no existencia en dimensión $n=1$ con potencias subcríticas, los autores primero establecen estimaciones de decaimiento puntual para las soluciones y sus gradientes. Utilizando un argumento de "Lema de Doble" (Poláčik, Quittner y Souplet), derivan cotas para $u(x)$ y $|\nabla u(x)|$ dependientes de la distancia al borde $x_n$. Estas estimaciones son cruciales para manejar la naturaleza no local de la condición de Neumann, que impide los argumentos de reflexión estándar utilizados en problemas locales.

3. Identidad de Tipo Pohozaev:
   El núcleo de la prueba de no existencia es una nueva identidad de tipo Pohozaev derivada específicamente para $n=1$. A diferencia de las derivaciones clásicas que multiplican la ecuación por $x \cdot \nabla u$, los autores enfrentan problemas de regularidad ya que las soluciones débiles no son necesariamente diferenciables hasta el borde. Para superar esto, utilizan un argumento de aproximación involucrando funciones de corte (cut-off) y las estimaciones de decaimiento previamente establecidas. Esto permite justificar rigurosamente la integración por partes requerida para derivar la identidad:
   $$(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.$$

Contribuciones Clave y Resultados

• Teorema 1.2 (Existencia en el Caso Crítico): Para cualquier $s \in (0, 1)$ y $n > 2s$, el problema admite al menos una solución débil no constante en el caso crítico $p = \frac{n+2s}{n-2s}$.
• Teorema 1.3 (Desigualdad de Sobolev Estricta): Los autores demuestran que $S_N(\mathbb{R}^n_+) < S(\mathbb{R}^n)$ para todo $s$ y $n$ admisibles. Esto resuelve una condición conocida anteriormente solo para $s$ cercano a 1 (para $n \geq 2$) o cercano a $1/2$ (para $n=1$), estableciendo el resultado de existencia para todo el rango de parámetros.
• Teorema 1.4 (Resultado de Tipo Liouville): En dimensión $n=1$, para potencias subcríticas $1 < p < \frac{1+2s}{1-2s}$, la única solución débil no negativa acotada es la solución trivial $u \equiv 0$.
• Teorema 1.5 (Identidad de Pohozaev): El artículo establece una nueva identidad de Pohozaev para el problema de Neumann fraccionario en una dimensión, válida para soluciones que satisfacen condiciones de decaimiento específicas.

Significado y Reivindicaciones
El artículo aborda un vacío en la literatura respecto a las ecuaciones de Lane-Emden fraccionarias con condiciones de Neumann no locales. Mientras que los resultados de tipo Liouville para condiciones de Dirichlet en semiespacios están bien establecidos (a menudo mediante el método de planos en movimiento), la condición de Neumann no local impide la reflexión estándar de las soluciones al espacio completo, lo que hace que el método de planos en movimiento no sea adecuado.

Los autores afirman que su prueba del resultado de no existencia es significativa porque se basa en una identidad de Pohozaev novedosa derivada mediante cuidadosas estimaciones de decaimiento y aproximación, en lugar de argumentos de simetría. Este enfoque es necesario debido a la naturaleza "delicada" de la condición de Neumann no local, la cual no permite la extensión de las soluciones al espacio completo de la misma manera que los problemas de Neumann locales. Además, el resultado de existencia extiende el rango conocido de parámetros para los cuales existen soluciones no triviales, confirmando que la desigualdad estricta de las constantes de Sobolev se cumple universalmente para el problema de Neumann fraccionario.