A mixed local-nonlocal Hénon problem in $\mathbb{R}^N$

Resumen Técnico: Un Problema de Hénon Mixto Local-No Local en $\mathbb{R}^N$

Planteamiento del Problema
Este artículo investiga la existencia, regularidad y no existencia de soluciones radiales positivas para una ecuación de tipo Hénon impulsada por un operador mixto local-no local en todo el espacio $\mathbb{R}^N$. El problema se formula como:
$$\begin{cases} \mathcal{L}_{s,p,\gamma} u + |x|^\beta |u|^{p-2}u = |x|^\alpha |u|^{q-2}u & \text{en } \mathbb{R}^N, \\ u > 0, \end{cases}$$
donde el operador $\mathcal{L}_{s,p,\gamma}$ se define como una combinación convexa del $p$-Laplaciano local y del $p$-Laplaciano fraccionario:
$$\mathcal{L}_{s,p,\gamma} u := \gamma(-\Delta_p)u + (1-\gamma)(-\Delta_p)^s u.$$
Aquí, $\gamma \in [0, 1]$ es un parámetro de mezcla, $s \in (0, 1]$ es el orden fraccionario (con $s=1$ correspondiente al caso local) y $p > 1$. La ecuación incluye un potencial de confinamiento $|x|^\beta |u|^{p-2}u$ en el lado izquierdo para prevenir la pérdida de masa en el infinito, un fenómeno que típicamente impide la existencia en dominios no acotados para las ecuaciones de Hénon puras. El lado derecho presenta el peso de Hénon $|x|^\alpha$.

Metodología
Los autores emplean métodos variacionales dentro de un marco de análisis funcional adaptado a funciones radiales.

1. Entorno Funcional: El problema se estudia en el espacio de Sobolev fraccionario pesado de funciones radiales, denotado como $W^{s,p}_{\beta, \text{rad}}(\mathbb{R}^N)$. El funcional de energía asociado al problema es:
   $$J(u) = \frac{\gamma}{p}\|\nabla u\|_p^p + \frac{1-\gamma}{p}[u]_{s,p}^p + \frac{1}{p}\|u\|_{p,\beta}^p - \frac{1}{q}\|u\|_{q,\alpha}^q.$$
2. Compacidad: Un desafío técnico central en dominios no acotados es la falta de incrustiones compactas. Los autores establecen una incrustión compacta del espacio radial pesado $W^{s,p}_{\beta, \text{rad}}(\mathbb{R}^N)$ en el espacio de Lebesgue pesado $L^q_\alpha(\mathbb{R}^N)$. Esto se logra combinando el lema radial de Strauss (que proporciona estimaciones de decaimiento para funciones radiales) con lemas de tipo Rother generalizados y estimaciones específicas sobre la interacción entre los pesos $\alpha$ y $\beta$.
3. Existencia: La existencia de un punto crítico no trivial se prueba utilizando un teorema de tipo Paso Montañoso (específicamente la versión de Brezis-Nirenberg). La demostración verifica las condiciones geométricas (mínimo local en cero y una trayectoria donde el funcional se vuelve negativo) y la condición de Palais-Smale, esta última apoyándose en la incrustión compacta establecida.
4. Regularidad: La acotación de las soluciones débiles se establece mediante un esquema de iteración de De Giorgi adaptado al operador mixto y al entorno pesado.
5. No Existencia: Se utiliza una identidad de tipo Pohozaev para derivar un resultado de no existencia para exponentes supercríticos. Esto implica un argumento de escalamiento y un resultado de Pohozaev generalizado para dominios no acotados, requiriendo un control pesado del gradiente.

Contribuciones Clave y Resultados

• Teorema de Existencia (Teorema 1.1): Los autores prueban la existencia de una solución débil radial bajo la condición de que el exponente $q$ se encuentre en el rango subcrítico $p < q < p^*_{\gamma,s,\alpha}$, donde $p^*_{\gamma,s,\alpha}$ es el exponente de Sobolev crítico adaptado al operador mixto y a los pesos. Crucialmente, la existencia está garantizada si los parámetros satisfacen la desigualdad:
  $$\alpha - \beta + (q-p)\left(1 - \frac{N}{p}\right) < 0.$$
  Este resultado extiende los resultados previos de existencia para ecuaciones de Hénon puramente locales ($\gamma=1$) y puramente fraccionarias ($\gamma=0$) al caso mixto en dominios no acotados.

• Regularidad (Teorema 1.2): Se demuestra que cualquier solución débil radial $u$ obtenida en el teorema de existencia es esencialmente acotada ($u \in L^\infty(\mathbb{R}^N)$). Este es un resultado no trivial dada la naturaleza singular de los pesos y el operador no local.

• Umbral de No Existencia (Teorema 1.3): El artículo establece que $p^*_{\gamma,s,\alpha}$ sirve como un umbral agudo para la existencia. Específicamente, para $q > p^*_{\gamma,s,\alpha}$, no existen soluciones en el espacio $\tilde{X}(\mathbb{R}^N)$ (definido como soluciones acotadas con un control de gradiente pesado $|\nabla u(x)||x| \in L^r$). Esto confirma que el exponente crítico actúa como una barrera para la existencia de soluciones acotadas con el decaimiento apropiado.

Significancia y Alcance
El artículo pretende extender la teoría de las ecuaciones de tipo Hénon desde dominios acotados y entornos puramente locales o fraccionarios hacia el escenario más complejo de operadores mixtos local-no locales en todo el espacio $\mathbb{R}^N$.

• Generalización: Los resultados unifican y generalizan el trabajo previo de Ni (en dominios acotados) y estudios subsecuentes sobre ecuaciones de Hénon fraccionarias en $\mathbb{R}^N$ (por ejemplo, [2, 6, 14, 20]).
• Rango de Parámetros: Los autores señalan que su condición derivada (1.6) mejora el rango de parámetros obtenido en [14] para el caso específico de $p=2$ y $\beta=2$.
• Rigor Metodológico: El trabajo proporciona un marco funcional riguroso para operadores mixtos, demostrando que la compacidad requerida para los métodos variacionales puede recuperarse en dominios no acotados a través de la interacción entre la simetría radial y las normas pesadas.

El artículo no propone nuevos modelos físicos o aplicaciones experimentales, sino que se enfoca estrictamente en el análisis matemático del problema elíptico, proporcionando una base teórica para la existencia y propiedades de las soluciones de esta clase de operadores mixtos.