De Giorgi-Nash-Moser theory for kinetic equations with nonlocal diffusions

Resumen Técnico: Teoría de De Giorgi-Nash-Moser para Ecuaciones Cinéticas con Difusiones No Locales

Planteamiento del Problema
El artículo aborda la teoría de regularidad para una clase de ecuaciones hipoelectríticas no locales que surgen en la teoría cinética, específicamente ecuaciones de Kolmogorov integro-diferenciales de la forma:
$$(\partial_t + v \cdot \nabla_x)f = L_v f + h$$
donde $L_v$ es un operador de difusión no local que actúa únicamente sobre la variable de velocidad $v$, involucrando típicamente derivadas fraccionarias (por ejemplo, un Laplaciano fraccionario $(-\Delta_v)^s$ con coeficientes irregulares). El núcleo $K$ satisface condiciones estándar de elipticidad/coercividad pero puede ser degenerado.

Una dificultad central en este contexto es el fracaso de las estimaciones clásicas de De Giorgi-Nash-Moser (DGNM). Recientes contraejemplos de Kaßmann y Weidner [45] demuestran que, para tales ecuaciones cinéticas no locales, la desigualdad de Harnack clásica y las estimaciones locales $L^2-L^\infty$ fallan en general, incluso para soluciones estacionarias. Este fracaso se debe a la interacción entre la no localidad de la difusión y el término de transporte anisotrópico ($v \cdot \nabla_x$), lo cual impide la compensación estándar de los efectos no locales mediante colas de supremo utilizadas en contextos puramente elípticos o parabólicos no locales.

Metodología
Los autores desarrollan una teoría DGNM refinada adaptada a la geometría específica de las ecuaciones cinéticas, la cual está gobernada por una estructura de grupo de Lie homogéneo (transformaciones galileanas) y un escalamiento no euclidiano. La metodología implica:

1. Marco Geométrico: El análisis se realiza sobre "cilindros inclinados" $Q_r(z_0)$ adaptados al escalamiento cinético $\delta_r(t, x, v) = (r^{2s}t, r^{1+2s}x, rv)$. Esto respeta el escalamiento intrínseco del operador de transporte.
2. Control de la Cola: En lugar de asumir acotación global o utilizar colas de supremo, los autores introducen una condición basada en la sumabilidad $L^p$ de la "cola no local" de la solución a lo largo de las variables de deriva. La cola se define como:
   $$\text{Tail}(f; B_r(v_0)) := r^{2s} \int_{\mathbb{R}^n \setminus B_r(v_0)} \frac{|f(v)|}{|v_0 - v|^{n+2s}} \, dv$$
   La suposición clave es que esta cantidad de cola pertenece a $L^p_{loc}$ con respecto a las variables de transporte $(t, x)$, donde $p > N_s/2s$ y $N_s$ es la dimensión homogénea.
3. Ganancia de Integrabilidad (Estimaciones de Caccioppoli): La prueba se basa en una nueva estimación cinética de Caccioppoli que incorpora el término de cola. Al aprovechar la naturaleza hipoelectrítica de la ecuación y la solución fundamental de la ecuación de Kolmogorov fraccionaria (mediante un enfoque de parametrizadora), los autores establecen una ganancia local de integrabilidad para subsoluciones débiles. Esto les permite eludir la falta de una desigualdad de Sobolev directa en el espacio tiempo-velocidad.
4. Esquema Iterativo: Se emplea un argumento iterativo tipo De Giorgi, modificado para manejar la cola no local. La iteración equilibra las contribuciones locales con la contribución de la cola no local, controlada por un parámetro $\delta$.

Contribuciones y Resultados Clave

• Teorema 1.1 (Estimación $L^2-L^\infty$ interpolativa $\delta$): Los autores prueban una estimación de acotación local para subsoluciones débiles. La norma $L^\infty$ de la solución en un cilindro más pequeño está acotada por su norma $L^2$ en un cilindro más grande, la norma $L^p$ del término fuente $h$, y crucialmente, la norma $L^p$ de la cola no local. La estimación incluye un parámetro $\delta$ que permite un equilibrio cuantitativo entre los efectos locales y no locales.
  $$\text{ess sup}_{Q_{r/2}} f \leq c(\delta) \langle v_0 \rangle^{\dots} \|f\|_{L^2} + \dots + \delta \|\text{Tail}(f^+)\|_{L^p}$$
  Este resultado resuelve la cuestión planteada por el contraejemplo en [45] al mostrar que el fracaso de la estimación clásica se debe a la falta de control sobre la sumabilidad de la cola.

• Teorema 1.4 (Ganancia Local de Integrabilidad): El artículo establece que las subsoluciones débiles pertenecen a $L^q_{loc}$ para un rango específico de $q$, siempre que la cola y los términos fuente satisfagan la condición $L^p$. Este es un paso fundamental para la estimación $L^2-L^\infty$.

• Teorema 1.5 (Desigualdad de Harnack Fuerte): Se prueba una nueva formulación de la desigualdad de Harnack fuerte para soluciones débiles no negativas. A diferencia de las versiones clásicas, esta desigualdad incluye un término de resto no local que involucra la norma $L^p$ de la cola.
  $$\sup_{Q^-_{r_0}} f \leq c \inf_{Q^+_{r_0}} f + c \|\text{Tail}(f)\|_{L^p}$$
  Se demuestra que esta formulación es consistente con el contraejemplo en [45], ya que el término de cola impide que la razón de valores explote cuando la cola está controlada.

• Caracterización Geométrica (Teorema 4.7): Extendiendo el trabajo de Aronson y Serrin [7] al contexto cinético no local, los autores proporcionan una caracterización geométrica de la desigualdad de Harnack. Definen "cadenas de Harnack no locales" que conectan puntos mediante curvas admisibles en el grupo de Lie subyacente, mostrando que el máximo de la solución en un conjunto compacto está controlado por el valor en un punto inicial más las contribuciones de cola acumuladas a lo largo de la cadena.

Significado y Afirmaciones
El artículo afirma completar el panorama DGNM no local para las ecuaciones de Kolmogorov dentro de la clase considerada. Su significado principal radica en:

1. Resolución del Contraejemplo: Identifica la contribución no local precisa (la cola sumable $L^p$) requerida para restaurar las estimaciones de regularidad que fallan en su forma clásica.
2. Eliminación de Suposiciones A Priori: Los resultados permiten demostrar la continuidad Hölderiana y las desigualdades de Harnack sin asumir a priori la acotación global de las soluciones, una suposición común en la literatura cinética anterior.
3. Unificación: El trabajo alinea la teoría cinética con las estimaciones disponibles en contextos elípticos y parabólicos fraccionarios, proporcionando contrapartes integro-diferenciales a resultados recientes para ecuaciones cinéticas locales con coeficientes irregulares.
4. Agudeza: Los autores argumentan que la condición $L^p$ sobre la cola es aguda (o casi aguda) en el contexto de los contraejemplos proporcionados por Kaßmann y Weidner, ya que una menor integrabilidad conduce al fracaso de las estimaciones.

El artículo concluye señalando que estas técnicas podrían servir como base para desarrollos futuros, como operadores no lineales tipo $p$-Laplaciano, enfoques de viscosidad y aplicaciones a juegos de campo medio, aunque estos se presentan como direcciones futuras potenciales en lugar de resultados establecidos dentro del texto.