Strong maximum principle for fully nonlinear nonlocal problems

1. Planteamiento del Problema

El artículo estudia la existencia, no existencia y propiedades cualitativas de soluciones no negativas para un problema no local sublineal con estructura totalmente no lineal, dado por la ecuación:

$$\begin{cases} M^{\pm}[u] + a(x)u^{q(x)} = 0 & \text{en } \Omega, \\ u \geq 0 & \text{en } \Omega, \end{cases}$$

donde:

• $\Omega \subset \mathbb{R}^n$ es un dominio acotado, convexo y de clase $C^{1,1}$.
• $M^{\pm}$ son los operadores extremales de Pucci no locales, definidos sobre una clase $\mathcal{L}^*$ de operadores integrales lineales homogéneos (generalizando el Laplaciano fraccionario $\Delta^s$).
• $q \in (0, 1)$ es un exponente sublineal.
• $a \in C(\Omega)$ es una función de peso que puede cambiar de signo.
• La solución $u$ está definida en todo $\mathbb{R}^n$, y su comportamiento fuera de $\Omega$ es crucial debido a la naturaleza no local del operador.

Objetivo Central: Investigar bajo qué condiciones se cumple el Principio de Máximo Fuerte (SMP) en este marco no local. Específicamente, se busca determinar cuándo las soluciones no triviales son estrictamente positivas en $\Omega$ y cuándo pueden presentar "dead cores" (núcleos muertos), es decir, regiones no vacías dentro de $\Omega$ donde la solución se anula ($u=0$) sin ser idénticamente cero.

2. Metodología y Herramientas Técnicas

Los autores desarrollan un marco teórico que combina análisis no local, teoría de regularidad y principios de comparación. Las herramientas clave incluyen:

• Soluciones de Viscosidad: Se utiliza el marco de soluciones de viscosidad para manejar la no linealidad y la no localidad, definiendo sub y supersoluciones mediante funciones de prueba $C^2$ locales.
• Lema de Hopf No Local: Se prueba una versión del lema de Hopf adaptada a operadores totalmente no lineales no locales. Este resultado establece el comportamiento asintótico de la solución cerca del borde de la región de positividad, demostrando que si $u(x_0)=0$ en el borde de un conjunto de positividad, la derivada fraccionaria normal es estrictamente positiva bajo ciertas condiciones.
• Teoremas de Liouville: Se emplean teoremas de Liouville para acotar uniformemente desde abajo el máximo de soluciones no triviales. Esto es fundamental para evitar que las soluciones degeneren a cero en el límite.
• Condiciones de Pequeñez en la Parte Negativa: Una contribución metodológica central es la introducción de una hipótesis sobre la parte negativa de la solución fuera del dominio ($u^-$). Se demuestra que el tamaño de $\|u^-\|_{L^1_s(\mathbb{R}^n)}$ es determinante para la validez del SMP.
• Construcción de Barreras: Se construyen funciones barrera radiales y escaladas para controlar el comportamiento de las soluciones en anillos alrededor de puntos de contacto con el borde.

3. Resultados Principales

A. Principio de Máximo Fuerte y No Existencia de "Dead Cores"

El artículo establece condiciones suficientes para garantizar que toda solución no trivial sea estrictamente positiva en $\Omega$ (es decir, $u \in P_0(\Omega)$, donde $u > 0$ en $\Omega$ y $\partial_\nu^s u < 0$ en $\partial\Omega$).

• Teorema 1: Si el peso $a$ no es idénticamente cero en su parte positiva ($a^+ \not\equiv 0$) y la norma $L^1_s$ de la parte negativa de la solución fuera de $\Omega$ es suficientemente pequeña ($\|u^-\|_{L^1_s} < \delta$), entonces cualquier solución no trivial satisface el SMP.
  • Nota: La condición de pequeña norma de $u^-$ es necesaria. Si $u \geq 0$ en todo $\mathbb{R}^n$, el SMP se cumple incluso si $a$ cambia de signo. Sin embargo, si $u$ tiene una parte negativa significativa fuera de $\Omega$, puede inducir la formación de un "dead core".
• Teorema 2: Si el peso $a$ es estrictamente positivo en $\Omega$ ($a > 0$), la condición de pequeña norma de $u^-$ sigue siendo necesaria para garantizar el SMP, aunque no se requiere una condición de signo en la frontera exterior si $a$ es positivo.

B. Regularidad y Comportamiento en el Borde

• Se demuestra un Lema de Hopf (Teorema 3) que garantiza que si una solución supersolución toca cero en un punto del borde de su conjunto de positividad, la tasa de crecimiento es del orden de $|x-x_0|^s$.
• Se establecen resultados de regularidad ($C^{0, \beta}$) para soluciones de operadores extremales sin depender de condiciones de crecimiento prescritas.

C. Existencia de Soluciones y Violación del SMP

• Teorema 4: Se prueba la existencia de soluciones no triviales para el problema con datos de frontera $g$ en $\mathbb{R}^n \setminus \Omega$, siempre que la parte negativa de $g$ sea pequeña en norma $L^1_s$.
• Ejemplo 1 (Violación del SMP): Los autores construyen un contraejemplo explícito donde, al aumentar la magnitud de la parte negativa de la solución fuera del dominio (haciendo $\|u^-\|_{L^1_s}$ grande), la solución deja de ser estrictamente positiva y desarrolla un "dead core". Esto confirma que la hipótesis de pequeña norma en los teoremas anteriores es óptima y no puede ser eliminada.

4. Contribuciones Clave

1. Identificación del Rol de la Parte Negativa Externa: A diferencia de los problemas locales, donde el comportamiento fuera del dominio no influye directamente en la estructura interna de la solución, este trabajo demuestra que en el caso no local, la parte negativa de la solución fuera de $\Omega$ es un factor crítico que puede destruir el Principio de Máximo Fuerte y generar núcleos muertos.
2. Generalización del Lema de Hopf: Se extiende el lema de Hopf clásico a operadores de Pucci totalmente no lineales no locales, proporcionando una herramienta robusta para el análisis de fronteras libres en este contexto.
3. Dicotomía Sublineal: Se caracteriza claramente la transición entre la validez del SMP y la formación de dead cores en función de la magnitud de la perturbación externa negativa, algo que no ocurre en el caso local estándar con coeficientes positivos.
4. Nuevas Técnicas de Acotamiento: El uso de teoremas de Liouville para obtener cotas inferiores uniformes en el máximo de soluciones no triviales es una innovación metodológica que permite evitar la degeneración de soluciones en el límite.

5. Significado e Impacto

Este trabajo es fundamental para la teoría de EDPs no locales y tiene implicaciones significativas en:

• Modelado Físico y Biológico: Los "dead cores" son relevantes en procesos de combustión, reacciones químicas y dinámicas biológicas donde la reacción se detiene en ciertas regiones. El artículo explica cómo la interacción no local con el entorno (representada por $u^-$) puede inducir estos fenómenos.
• Teoría de Operadores No Locales: Proporciona una comprensión más profunda de cómo la no localidad afecta los principios de comparación y la estructura de las soluciones, llenando vacíos en la literatura sobre operadores totalmente no lineales (más allá del Laplaciano fraccionario).
• Rigor Matemático: Establece condiciones precisas (normas de peso) bajo las cuales se pueden garantizar propiedades cualitativas fuertes, ofreciendo un marco sólido para futuros estudios de sistemas acoplados y problemas con coeficientes cambiantes de signo.

En resumen, el artículo demuestra que en problemas no locales sublineales, la globalidad de la solución (su comportamiento en todo $\mathbb{R}^n$) es tan importante como su comportamiento local para determinar si la solución permanece estrictamente positiva o colapsa en regiones internas.