On a Sobolev critical problem for the superposition of a local and nonlocal operator with the "wrong sign''

Resumen Técnico de "On a Sobolev Critical Problem for the Superposition of a Local and Nonlocal Operator with the 'Wrong Sign'"

Planteamiento del Problema
El artículo investiga la existencia de soluciones débiles no triviales para un problema elíptico semilineal crítico que involucra un operador de orden mixto con una configuración de "signo incorrecto". El problema específico se define en un dominio abierto y acotado $\Omega \subset \mathbb{R}^n$ ($n \geq 3$) con una frontera Lipschitz:
$$\begin{cases} -\Delta u = \gamma (-\Delta)^s u + |u|^{2^*-2}u & \text{en } \Omega, \\ u \not\equiv 0 & \text{en } \Omega, \\ u = 0 & \text{en } \mathbb{R}^n \setminus \Omega, \end{cases}$$
donde $s \in (0, 1)$ y $2^* = \frac{2n}{n-2}$ es el exponente crítico de Sobolev, y $\gamma > 0$ es un parámetro. El operador en el lado izquierdo es efectivamente $-\Delta - \gamma(-\Delta)^s$. La novedad reside en el signo del término no local: a diferencia de estudios previos donde el Laplaciano fraccionario se suma con un signo positivo (creando un operador local-no local coercitivo), aquí aparece con un signo negativo respecto al Laplaciano. Esta configuración se describe como una "perturbación no local del caso puramente local". El parámetro $\gamma$ está restringido al intervalo $(0, C_{\text{emb}})$, donde $C_{\text{emb}}$ es una constante que asegura la positividad de la forma cuadrática asociada.

Metodología y Entorno Funcional
Los autores trabajan dentro del espacio de Hilbert $X^{1,2}(\Omega)$, definido como la completación de $C_0^\infty(\Omega)$ con respecto a la norma inducida por el producto escalar:
$$\langle u, v \rangle_\rho = \int_{\mathbb{R}^n} \nabla u \cdot \nabla v \, dx + \iint_{\mathbb{R}^{2n}} \frac{(u(x)-u(y))(v(x)-v(y))}{|x-y|^{n+2s}} \, dx \, dy.$$
Este espacio es equivalente a $\{u \in H^1(\mathbb{R}^n) : u|_\Omega \in H_0^1(\Omega) \text{ y } u \equiv 0 \text{ a.e. en } \mathbb{R}^n \setminus \Omega\}$.

La existencia de soluciones se aborda mediante métodos variacionales, específicamente la minimización del funcional de energía asociado al problema. Los autores definen un problema de minimización restringida para el cociente:
$$S(\gamma) := \inf \left\{ Q_\gamma(u) : u \in X^{1,2}(\Omega), \|u\|_{L^{2^*}(\Omega)} = 1 \right\},$$
donde $Q_\gamma(u) = \int_\Omega |\nabla u|^2 dx - \gamma [u]_s^2$. La estrategia central sigue el enfoque seminal de Brezis y Nirenberg [12]. Los autores establecen que si el ínfimo $S(\gamma)$ es estrictamente menor que la constante de Sobolev clásica $S_n$ (la mejor constante para el caso puramente local), entonces el ínfimo se alcanza, proporcionando una solución débil no trivial.

La prueba se apoya en dos pilares técnicos principales:

1. Análisis de Compacidad: Los autores utilizan el lema de Brezis-Lieb y las propiedades de inmersión compacta de $X^{1,2}(\Omega)$ en $L^p(\Omega)$ para $p < 2^*$ para manejar la falta de compacidad en el exponente crítico.
2. Construcción de Funciones de Prueba: Para probar que $S(\gamma) < S_n$, los autores construyen funciones de prueba específicas basadas en las burbujas de Aubin-Talenti, localizadas mediante una función de corte. El análisis de la energía de estas funciones de prueba requiere estimaciones asintóticas precisas de la seminorma fraccionaria $[U_\varepsilon]_s$ conforme el parámetro de concentración $\varepsilon \to 0$.

Contribuciones Clave y Resultados
La contribución principal del artículo es la prueba de existencia para el problema crítico con el operador mixto de "signo incorrecto", distinguiendo entre dimensiones altas y bajas:

1. Caso de Alta Dimensión ($n \geq 5$):
   Los autores demuestran que para cada $\gamma \in (0, C_{\text{emb}})$, existe una solución débil no trivial. Esto se logra demostrando que $S(\gamma) < S_n$ para todo dicho $\gamma$. La prueba implica una expansión asintótica detallada de la seminorma fraccionaria de las funciones de Aubin-Talenti localizadas. Específicamente, muestran que el término de orden principal de la seminorma fraccionaria escala como $\varepsilon^{2-2s}$, lo cual domina el error del gradiente local ($O(\varepsilon^{n-2})$) cuando $n \geq 5$, permitiendo que el signo negativo de $\gamma$ reduzca la energía por debajo del umbral $S_n$.

2. Caso de Baja Dimensión ($n = 3, 4$):
   En estas dimensiones, el comportamiento asintótico de las funciones de prueba no garantiza que $S(\gamma) < S_n$ para todo $\gamma$. En su lugar, los autores emplean un argumento de continuidad. Definen $S(\gamma)$ como una función de $\gamma$ y demuestran que es continua y no creciente en $(0, C_{\text{emb}})$. Muestran que $\lim_{\gamma \to C_{\text{emb}}} S(\gamma) = 0$ y $\lim_{\gamma \to 0^+} S(\gamma) = S_n$. Por consiguiente, existe un umbral $\gamma^* \in [0, C_{\text{emb}})$ tal que para todo $\gamma \in (\gamma^*, C_{\text{emb}})$, la desigualdad estricta $S(\gamma) < S_n$ se cumple, asegurando la existencia de una solución débil no trivial. El valor exacto de $\gamma^*$ no se determina explícitamente.

Significancia y Reivindicaciones
El artículo afirma abordar un vacío específico en la literatura respecto a operadores mixtos donde el término no local tiene el "signo incorrecto" (es decir, actúa como una perturbación que podría potencialmente desestabilizar el operador, requiriendo la restricción $\gamma < C_{\text{emb}}$ para mantener la coercitividad). Los autores posicionan su trabajo como una extensión natural del estudio de los operadores local-no locales (previamente estudiados con el signo "correcto" en trabajos como [8, 9, 10]) hacia el caso en que el Laplaciano fraccionario se resta.

La significancia radica en:

• Establecer la existencia de soluciones para un problema crítico donde el operador principal es una superposición de un término local y uno no local con signos opuestos.
• Proporcionar un análisis riguroso de las propiedades de escala y las estimaciones de energía para operadores mixtos en el régimen crítico, manejando específicamente el delicado comportamiento asintótico de la seminorma fraccionaria en diferentes dimensiones.
• Clarificar el papel del parámetro $\gamma$ y la dimensión $n$ en la resolubilidad de tales problemas, mostrando que mientras las dimensiones altas permiten soluciones para todo $\gamma$ admisible, las dimensiones bajas requieren que $\gamma$ sea suficientemente grande (cercano al límite de coercitividad).

Los autores declaran explícitamente que sus resultados están inspirados en los trabajos de Brezis y Nirenberg [12] y estudios recientes sobre operadores mixtos [8, 2], adaptando estas técnicas a los desafíos específicos planteados por la configuración de "signo incorrecto". No pretenden resolver el caso para $n=1, 2$ (que involucran no linealidades exponenciales) ni proporcionar una fórmula explícita para $\gamma^*$ en el caso de baja dimensión.