A multiplicity result for critical elliptic problems involving differences of local and nonlocal operators

El artículo demuestra la existencia de dos soluciones débiles no triviales, con energías negativa y positiva respectivamente, para ciertos problemas elípticos críticos que involucran la diferencia entre operadores locales y no locales, utilizando un resultado abstracto reciente.

Lo esencial

¡Hola! Vamos a desglosar este artículo matemático complejo como si estuviéramos contando una historia sobre un juego de equilibrios en un escenario invisible.

Imagina que el mundo de las matemáticas es como un gran parque de diversiones lleno de montañas, valles y toboganes. Los matemáticos (en este caso, Kanishka Perera y Caterina Sportelli) están intentando encontrar puntos específicos en este parque donde las cosas se "equilibran" perfectamente. A estos puntos de equilibrio se les llama soluciones.

Aquí tienes la explicación paso a paso:

1. El Escenario: Un Mundo con Dos Tipos de Fuerzas

En el problema que estudian, hay una "partícula" (llamémosla $u$) que se mueve por un territorio llamado $\Omega$ (un área delimitada, como un parque cerrado). Esta partícula está sujeta a dos tipos de fuerzas muy diferentes que compiten entre sí:

• La Fuerza Local (El vecino pegajoso): Imagina que la partícula solo siente lo que pasa justo al lado de ella. Si se mueve, arrastra a sus vecinos inmediatos. Esto es como un imán que solo afecta a lo que toca. En matemáticas, esto se llama un "operador local" (como el Laplaciano).
• La Fuerza No Local (El vecino lejano): Ahora imagina que la partícula también siente lo que pasa en el otro lado del parque, aunque esté muy lejos. Es como si tuviera un teléfono inalámbrico que le permite hablar con cualquier persona del mundo instantáneamente. Esto es el "operador no local" (como el Laplaciano fraccionario).

El conflicto: El problema matemático estudia qué pasa cuando restamos estas dos fuerzas. Es como si un empujón fuerte (local) intentara cancelar un empujón lejano (no local).

2. El Objetivo: Encontrar dos "Puntos de Equilibrio"

Los autores quieren demostrar que, si ajustamos un pequeño botón de control (llamado $\mu$, que representa la fuerza del "vecino lejano"), podemos encontrar dos soluciones diferentes donde la partícula se queda quieta y feliz.

• Solución A (Energía Negativa): Imagina que la partícula cae en un valle profundo. Está muy abajo, muy estable, pero "negativa" en términos de energía. Es como estar en el fondo de un pozo.
• Solución B (Energía Positiva): Imagina que la partícula está en una pequeña colina. Está arriba, tiene energía, pero no es el punto más alto posible.

Lo increíble del artículo es que ambas soluciones existen al mismo tiempo cuando el botón de control ($\mu$) está muy cerca de cero.

3. El Problema de la "Montaña"

Antes de este trabajo, los matemáticos sabían cómo encontrar estas soluciones si el terreno era simple (como una montaña con una sola cima). Usaban un método llamado "teorema del paso de montaña": imagina que tienes que cruzar una montaña; el punto más bajo del camino más alto es una solución.

Pero aquí hay un giro: Cuando la fuerza local es muy fuerte (un valor $\lambda$ alto), el terreno deja de ser una simple montaña. Se convierte en un paisaje extraño con múltiples picos y valles que no siguen las reglas normales. El "paso de montaña" clásico ya no funciona porque el mapa se ha roto.

4. La Solución: Un Mapa Nuevo y una Estrategia de "Pinzas"

Como el mapa viejo no servía, los autores usaron una herramienta matemática nueva y abstracta (un resultado reciente de Perera) que funciona como un detector de formas complejas.

En lugar de buscar un camino simple, usaron una estrategia de "pinzas":

1. Construyeron un anillo de seguridad (un conjunto de formas geométricas) que rodea una parte del territorio.
2. Pusieron una piedra de prueba (una función especial) en un lugar donde nadie más está.
3. Demostraron que, sin importar cómo intentes moverte, siempre hay dos lugares donde la energía se detiene: uno muy abajo (el valle) y uno en una colina (la solución positiva).

5. ¿Por qué es importante?

Imagina que estás diseñando un sistema de transporte o un modelo ecológico donde las especies se mueven de dos formas: caminando (local) y volando (no local).

• Este artículo les dice a los científicos: "¡Cuidado! Si ajustas la mezcla de estos movimientos, no solo encontrarás un estado estable, sino que podrías tener dos estados posibles al mismo tiempo: uno muy inestable y otro muy estable."

Resumen con una Metáfora Final

Imagina que tienes una hamaca (la solución) en un parque.

• Normalmente, si empujas la hamaca un poco, vuelve a su lugar.
• En este problema, los autores dicen: "Si mezclamos el viento local (que empuja fuerte) con el viento lejano (que empuja suave pero desde lejos), y ajustamos la tensión de las cuerdas (el parámetro $\mu$), ¡podemos encontrar dos formas diferentes de que la hamaca se quede quieta! Una donde está hundida en el suelo (energía negativa) y otra donde flota en el aire (energía positiva)."

La conclusión: Han demostrado matemáticamente que, en ciertos sistemas complejos donde interactúan fuerzas cercanas y lejanas, la naturaleza puede tener múltiples opciones de equilibrio que antes no sabíamos que existían. ¡Es como descubrir que hay un segundo botón secreto en tu televisor que cambia el canal a un mundo paralelo!

Resumen técnico

A continuación presento un resumen técnico detallado del artículo "A multiplicity result for critical elliptic problems involving differences of local and nonlocal operators" (Un resultado de multiplicidad para problemas elípticos críticos que involucran diferencias de operadores locales y no locales), escrito por Kanishka Perera y Caterina Sportelli.

1. Planteamiento del Problema

El artículo estudia la existencia y multiplicidad de soluciones débiles no triviales para problemas elípticos críticos que involucran la diferencia entre dos operadores no locales, o la diferencia entre un operador local y uno no local.

Se analizan dos configuraciones principales en un dominio acotado $\Omega \subset \mathbb{R}^N$ con frontera Lipschitziana:

1. Caso puramente no local (Ecuación 1.1):
   $$\begin{cases} (-\Delta)^s_p u - \mu (-\Delta)^t_q u = \lambda |u|^{p-2} u + |u|^{p^*_s-2} u & \text{en } \Omega \\ u = 0 & \text{en } \mathbb{R}^N \setminus \Omega \end{cases}$$
   Donde:

   • $(-\Delta)^s_p$ es el $p$-Laplaciano fraccionario.
   • $0 < t < s < 1$y$1 < q < p < N/s$.
   • $p^*_s = Np/(N-sp)$ es el exponente crítico de Sobolev fraccionario.
   • $\lambda, \mu > 0$ son parámetros.

2. Caso mixto local-no local (Ecuación 1.3, límite $s=1$):
   $$\begin{cases} -\Delta_p u - \mu (-\Delta)^t_q u = \lambda |u|^{p-2} u + |u|^{p^*-2} u & \text{en } \Omega \\ u = 0 & \text{en } \mathbb{R}^N \setminus \Omega \end{cases}$$
   Donde $-\Delta_p$ es el $p$-Laplaciano clásico y $p^* = Np/(N-p)$.

El Fenómeno Nuevo: A diferencia de los problemas que involucran sumas de operadores (donde la estructura variacional suele ser más estándar), la presencia de la diferencia de operadores introduce un comportamiento energético complejo. El objetivo es demostrar que, para valores suficientemente pequeños del parámetro $\mu$, existen dos soluciones no triviales: una con energía negativa y otra con energía positiva.

2. Metodología

El enfoque se basa en el cálculo de variaciones y la teoría de puntos críticos, utilizando herramientas topológicas avanzadas.

• Formulación Variacional: Las soluciones débiles se identifican como puntos críticos del funcional de energía $E(u)$ definido en el espacio de Sobolev fraccionario $W^{s,p}_0(\Omega)$ (o $W^{1,p}_0(\Omega)$ para el caso $s=1$).
  $$E(u) = \frac{1}{p}\|u\|^p - \frac{\mu}{q}[u]_{t,q}^q - \frac{\lambda}{p}|u|_p^p - \frac{1}{p^*_s}|u|_{p^*_s}^{p^*_s}$$
• Dificultad Principal: Cuando $\lambda$ es mayor que el primer valor propio $\lambda_1$ del operador principal, el funcional $E$ pierde la geometría de "paso de montaña" (mountain pass geometry) estándar. Por lo tanto, los métodos clásicos (como el Teorema del Paso de Montaña de Ambrosetti-Rabinowitz) no son directamente aplicables para encontrar la segunda solución.
• Herramienta Abstracta: Los autores aplican un resultado abstracto de multiplicidad recientemente obtenido por Perera [20]. Este teorema permite encontrar múltiples puntos críticos (específicamente dos) bajo condiciones de compacidad (condición de Palais-Smale) y topología, sin requerir que las soluciones sean minimizadores locales ni de tipo paso de montaña. Las soluciones encontradas son "puntos críticos de orden superior" (tienen grupos de homología crítica no triviales).
• Análisis de la Condición (PS): Se demuestra que el funcional satisface la condición de Palais-Smale ((PS)$_c$) por debajo de un umbral de energía crítico que depende de la constante de Sobolev óptima $S$ y del parámetro $\mu$.

3. Contribuciones Clave y Resultados

El resultado central se formaliza en el Teorema 1.1 (para el caso fraccionario) y el Teorema 1.4 (para el caso mixto).

Hipótesis:

• $0 < t < s < 1$,$1 < q < p < N/s$,$N \ge sp^2$.
• $\lambda \in (0, \infty) \setminus \sigma((-\Delta)^s_p)$ (es decir, $\lambda$ no es un valor propio del operador principal).

Conclusión del Teorema:
Existe un $\mu_0 > 0$ tal que para todo $\mu \in (0, \mu_0)$, el problema tiene dos soluciones débiles no triviales $u_1$ y $u_2$ con las siguientes propiedades de energía:
$$E(u_1) < 0 < E(u_2) < \frac{s}{N} S^{N/sp} - \kappa \mu$$
donde $\kappa > 0$ es una constante.

Detalles Técnicos de la Prueba:

1. Umbral de Compacidad (Lema 3.1): Se establece que la condición (PS) se cumple para niveles de energía $c < \frac{s}{N} S^{N/sp} - \kappa \mu$.
2. Construcción Topológica:
   • Se utiliza el índice de cohomología $\mathbb{Z}_2$ (índice de Fadell-Rabinowitz) en la variedad de nivel unitario.
   • Dado que $\lambda_k < \lambda < \lambda_{k+1}$, se construye un subconjunto simétrico compacto $C$ con índice $k$ dentro de un subnivel del funcional asociado al operador principal.
   • Se introduce una función de prueba $w_0$ (basada en minimizadores de la constante de Sobolev, truncados y escalados) con soporte disjunto de $C$.
3. Estimaciones Asintóticas: Se demuestra que para $\epsilon$ y $\delta$ suficientemente pequeños (parámetros de escalado y truncamiento), la energía máxima a lo largo de las combinaciones lineales de elementos de $C$ y $w_0$ permanece estrictamente por debajo del umbral crítico de compacidad. Esto permite aplicar el teorema abstracto.

4. Significado e Impacto

• Resolución de un problema abierto en diferencias de operadores: Mientras que la literatura ha estudiado ampliamente sumas de operadores no locales, este trabajo aborda la complejidad de las diferencias, donde la falta de coercividad directa y la pérdida de la geometría de paso de montaña para $\lambda > \lambda_1$ hacían difícil la demostración de multiplicidad.
• Nueva clase de soluciones: Las soluciones obtenidas no son minimizadores locales ni soluciones de tipo paso de montaña clásicas. Son puntos críticos de orden superior, lo que enriquece la comprensión de la estructura del conjunto de soluciones en problemas críticos.
• Generalidad: El resultado cubre tanto el caso puramente fraccionario como el caso límite que mezcla operadores locales ($p$-Laplaciano) y no locales, mostrando la robustez del método abstracto utilizado.
• Dependencia del parámetro $\mu$: El resultado es cualitativo en cuanto a la existencia de dos soluciones para $\mu$ pequeño, proporcionando cotas precisas para sus niveles de energía.

En resumen, el artículo demuestra que la interacción competitiva entre operadores de diferente orden (local vs. no local o fraccionario vs. fraccionario) en regímenes críticos, lejos de destruir la estructura de soluciones, puede generar una multiplicidad rica de soluciones con características energéticas distintas, siempre que se utilicen herramientas topológicas adecuadas para superar la falta de geometría estándar.