Nonlocal parabolic De Giorgi classes

Resumen Técnico: Clases de De Giorgi Parabólicas No Locales

Planteamiento del Problema
Este artículo investiga la teoría de regularidad local para funciones que pertenecen a una clase de energía específica conocida como la clase de De Giorgi parabólica no local (p-homogénea), denotada como $PDG^{s,p}_{\pm}(\Omega_T, \gamma_{DG}, \varepsilon)$. El estudio se centra en el comportamiento local de los elementos dentro de esta clase, la cual sirve como un marco natural para soluciones débiles de ecuaciones parabólicas no locales, incluyendo la ecuación del calor fraccionaria y la ecuación no local de Trudinger.

El desafío principal abordado es la extensión de la teoría clásica de De Giorgi–Nash–Moser al contexto parabólico no local. A diferencia del caso local, los problemas no locales involucran interacciones de largo alcance capturadas por términos de "cola" (tail), y el contexto parabólico introduce un fenómeno de "brecha temporal" donde las estimaciones de regularidad a menudo requieren un tiempo de espera entre las escalas espaciales y temporales. Los autores buscan establecer acotación local, desigualdades de Harnack débiles y completas, y continuidad Hölder local bajo condiciones óptimas de cola, manejando específicamente la integrabilidad $L^{p-1+\varepsilon}$ de la cola.

Metodología
Los autores desarrollan una serie de iteraciones de tipo De Giorgi y herramientas de teoría de la medida adaptadas al contexto parabólico no local. La metodología evita los complejos argumentos de recubrimiento de Krylov–Safonov a menudo utilizados en la regularidad parabólica, confiando en su lugar en técnicas puramente de teoría de la medida que recuerdan al enfoque original de De Giorgi.

Los componentes metodológicos clave incluyen:

1. Acotación Local Refinada: Los autores establecen primero una cota local $L^\infty$–$L^\nu$ para $0 < \nu \le p$. Esto se logra mediante un método de truncamiento dependiente del tiempo y una iteración de tipo Moser, manejando cuidadosamente la interacción entre los términos de energía local y los términos de cola no locales.
2. Expansión de la Positividad: Una parte central del análisis implica probar lemas de "expansión de la positividad". Estos incluyen un lema de tipo De Giorgi (Lema de Masa Crítica), un lema de encogimiento y una "expansión de tipo potencia de la positividad". Estos lemas propagan información de teoría de la medida (positividad en un conjunto de medida positiva) hacia cotas inferiores puntuales, contabilizando la influencia de valores distantes a través de la cola.
3. Control de la Cola: Las pruebas controlan rigurosamente el término de cola no local, definido como $Tail(u; B_\rho)$. Los autores imponen una condición óptima $L^{p-1+\varepsilon}$ sobre la cola, lo cual es crucial para derivar las desigualdades de Harnack y la continuidad Hölder.
4. Inducción para la Continuidad Hölder: Para probar la continuidad Hölder, los autores emplean un esquema de inducción sobre estimaciones de oscilación. Utilizan un argumento de "dos alternativas" (concentración de medida vs. reducción de oscilación) y estiman cuidadosamente la decadencia de la oscilación, incorporando las contribuciones de la cola en cada paso.

Contribuciones y Resultados Clave

• Acotación Local (Teorema 1.1): El artículo proporciona una cota local refinada $L^\infty$–$L^\nu$. A diferencia de resultados anteriores que dependían de colas $L^\infty$, este resultado utiliza un promedio de cola de tipo $L^{p-1}$, ofreciendo una estimación más cuantitativa y óptima. Los autores demuestran que la suposición de cola $L^\infty$ en trabajos previos no puede ser simplemente reemplazada por una cola $L^{p-1}$ sin modificación, proporcionando un contraejemplo a una extensión ingenua.
• Desigualdades de Harnack Débiles (Teoremas 1.3 y 1.4): Se prueban dos versiones de desigualdades de Harnack débiles no locales.
  • La primera (Teorema 1.3) establece una cota que involucra un promedio $L^\beta$ de la solución y una cola $L^{p-1+\varepsilon}$.
  • La segunda (Teorema 1.4) proporciona una estimación más fuerte, controlando el ínfimo de la solución mediante una integral promedio de una potencia superior ($p-1$) y la cola de la parte positiva de la solución. Esta versión mejora los resultados anteriores al manejar mejor las influencias de largo alcance.
• Desigualdad de Harnack Completa (Teorema 1.6): Encadenando la acotación local (Teorema 1.1) con la desigualdad de Harnack débil (Teorema 1.4), los autores deducen una desigualdad de Harnack no local completa. Esta estimación relaciona el supremo de una solución no negativa en un cilindro más pequeño con su ínfimo en un cilindro posterior, más un término de cola.
• Continuidad Hölder (Teorema 1.8): El artículo establece la continuidad Hölder local de las funciones en la clase de De Giorgi parabólica no local. Este es un resultado significativo ya que, antes de este trabajo, la continuidad Hölder para clases de De Giorgi parabólicas no locales estaba mayormente sin establecer (habiendo sido conocida principalmente para el caso elíptico). La prueba construye explícitamente un módulo de continuidad que depende de la condición óptima de cola $L^{p-1+\varepsilon}$.
• Rigidez de Tipo Liouville (Corolario 1.9): Como consecuencia de la continuidad Hölder, los autores prueban que las soluciones globales acotadas a la ecuación en todo el espacio $\mathbb{R}^{N+1}$ deben ser constantes.
• Aplicación a la Ecuación No Local de Trudinger (Apéndice D): La metodología se aplica a la ecuación no local de Trudinger, $\partial_t(|u|^{p-2}u) + L_t u = 0$. Los autores prueban que los mismos resultados de regularidad (acotación local, desigualdades de Harnack) se mantienen para soluciones no negativas de esta ecuación doblemente no lineal, marcando un resultado de vanguardia para esta clase específica de ecuaciones.

Significado y Novedad
El artículo reclama varias novedades y contribuciones significativas al campo:

• Evitación de Argumentos de Recubrimiento: Una novedad importante es la derivación de estimaciones de Harnack débiles y continuidad Hölder sin depender de argumentos de recubrimiento de tipo Krylov–Safonov. En su lugar, los autores utilizan un marco de De Giorgi–Nash–Moser adaptado para contextos parabólicos no locales, lo cual argumentan que es más versátil para desarrollos futuros en contextos no lineales.
• Condiciones Óptimas de Cola: Los resultados se establecen bajo condiciones óptimas de cola $L^{p-1+\varepsilon}$. Los autores notan que sus resultados son nuevos incluso para el caso lineal, mostrando que los logros recientes de Kassmann y Weidner son propiedades estructurales válidas independientemente de la ecuación específica.
• Distinción entre Parabólico y Elíptico: El trabajo aborda las dificultades específicas del caso parabólico, particularmente el fenómeno de "brecha temporal", que no ocurre en el contexto elíptico. Los autores desarrollan una estrategia distinta al caso elíptico para superar el bloqueo causado por este fenómeno.
• Extensión Doble No Lineal: La extensión de estos resultados de regularidad a la ecuación no local de Trudinger representa un paso significativo hacia adelante, ya que la naturaleza doblemente no lineal de la derivada temporal ($\partial_t(|u|^{p-2}u)$) requiere un manejo cuidadoso de las estimaciones de energía, lo cual los autores logran con éxito.

En resumen, el artículo proporciona una teoría de regularidad comprehensiva para clases de De Giorgi parabólicas no locales, estableciendo propiedades fundamentales como acotación, desigualdades de Harnack y continuidad Hölder, y demostrando su aplicabilidad a modelos no lineales importantes como la ecuación no local de Trudinger.