Modulus of continuity for solutions of non-local heat equations

Resumen Técnico: Módulo de Continuidad para Soluciones de Ecuaciones de Calor No Locales

1. Planteamiento del Problema y Contexto
Este artículo investiga la preservación del módulo de continuidad para soluciones de ecuaciones de calor no locales. Los autores extienden el método del "módulo de continuidad", una técnica utilizada históricamente para probar la Conjetura de la Brecha Fundamental para ecuaciones parabólicas clásicas, al entorno no local. El objetivo principal es determinar bajo qué condiciones un módulo de continuidad inicial $\phi(\cdot, 0)$ para una solución $u(\cdot, 0)$ se preserva en todos los tiempos subsiguientes $t > 0$. Específicamente, los autores buscan establecer que si los datos iniciales satisfacen $|u(y, 0) - u(x, 0)| \le 2\phi(|y-x|/2, 0)$, entonces $|u(y, t) - u(x, t)| \le 2\phi(|y-x|/2, t)$ se cumple para todo $t \ge 0$.

El estudio aborda tres casos distintos:

1. La ecuación de calor no local en todo el espacio $\mathbb{R}^n$.
2. La ecuación de calor no local "regional" en un dominio convexo acotado $\Omega \subset \mathbb{R}^n$ (donde las interacciones están restringidas al dominio).
3. Una ecuación de calor no local no lineal en $\mathbb{R}^n$.

2. Metodología
Las demostraciones en todas las secciones se basan en una prueba por contradicción utilizando un argumento de principio de máximo adaptado para operadores no locales. La metodología central implica los siguientes pasos:

• Construcción de la Función Auxiliar: Se define una función auxiliar $Z_\epsilon(x, y, t)$ como:
  $$Z_\epsilon(x, y, t) = u(y, t) - u(x, t) - 2\phi\left(\frac{|y-x|}{2}, t\right) - \epsilon e^{Ct}(\Psi(x) + \Psi(y))$$
  donde $\Psi$ es una función de regularización radialmente simétrica que crece hacia el infinito en la frontera (o en el infinito en $\mathbb{R}^n$), y $\epsilon, C$ son constantes positivas. El objetivo es demostrar que $Z_\epsilon < 0$ en todas partes.

• Argumento del Primer Punto de Contacto: Asumiendo una contradicción (es decir, que $Z_\epsilon \ge 0$ en algún lugar), los autores consideran el primer tiempo $t_0$ y los puntos distintos $x_0, y_0$ donde $Z_\epsilon$ alcanza un máximo global de cero. En este punto, la derivada temporal $\partial_t Z_\epsilon \ge 0$.

• Acoplamiento por Reflexión: Para manejar los integrales no locales, los autores emplean una técnica de "acoplamiento por reflexión". Introducen un mapa de reflexión $R$ a través del hiperplano perpendicular a la cuerda que conecta $x$ e $y$. Mediante un cambio de variables y utilizando la simetría rotacional y la monotonicidad del núcleo $\rho$, emparejan los dominios de integración para cancelar términos o establecer desigualdades.

• Reducción Unidimensional: Un componente crítico del método es el requisito de que la función del módulo $\phi$ (y su extensión impar $\tilde{\phi}$) debe satisfacer una ecuación de calor no local unidimensional correspondiente. Esto permite que los términos no locales del operador en $n$ dimensiones se contrasten con la derivada temporal de la función del módulo.

• Manejo de Núcleos Singulares: Para núcleos singulares (por ejemplo, el laplaciano fraccionario), los autores reemplazan los integrales absolutos con límites de valor principal. Introducen una identidad de reflexión truncada (Lema 2.13) para gestionar la singularidad en el origen, demostrando que los términos de residuo desaparecen cuando el parámetro de truncación $\delta \to 0$.

3. Resultados Clave

• Caso 1: Ecuación de Calor No Local en $\mathbb{R}^n$
  El Teorema 2.3 establece que para soluciones en $\mathbb{R}^n$ con núcleos integrables de Lebesgue, el módulo de continuidad se preserva siempre que el núcleo sea no negativo, no creciente y rotacionalmente simétrico. El Teorema 2.16 extiende este resultado a núcleos singulares que satisfacen la condición de integrabilidad de Lévy (incluyendo el laplaciano fraccionario $-( -\Delta)^s$), siempre que la solución sea acotada y la función de regularización $\Psi$ cumpla con condiciones específicas de crecimiento y acotación.

• Caso 2: Ecuación de Calor Regional (Dominios Convexos Acotados)
  El Teorema 3.3 demuestra que la propiedad del módulo de continuidad se cumple para la ecuación de calor regional en una dimensión (en un intervalo compacto). La prueba requiere un manejo cuidadoso de los casos de frontera donde los intervalos de integración intersectan la frontera del dominio.
  Sin embargo, los autores demuestran que este resultado no se generaliza a dimensiones superiores. En la Sección 3.2, construyen un contraejemplo utilizando un dominio rectangular delgado $[0, L] \times [-\epsilon, \epsilon]$. Muestran que el primer autovalor no trivial $\lambda_2$ del laplaciano fraccionario regional en tal dominio puede hacerse arbitrariamente pequeño variando la relación de aspecto, incluso si el diámetro permanece fijo. Esto contradice la implicación de un teorema de módulo de continuidad en dimensiones superiores, el cual sugeriría que $\lambda_2$ está acotado inferiormente por una cantidad que depende únicamente del diámetro del dominio (vía la analogía de la desigualdad de Payne-Weinberger). En consecuencia, los autores concluyen que un análogo no local de la desigualdad de Payne-Weinberger que dependa únicamente del diámetro es falso en dimensiones $n > 1$.

• Caso 3: Ecuación de Calor No Local No Lineal
  El Teorema 4.2 extiende los resultados del módulo de continuidad a ecuaciones de la forma $u_t = L_{\mathbb{R}^n}u + q(|Du|)$, donde $q$ es una no linealidad no decreciente y Lipschitz continua. La prueba adapta el caso lineal acotando el término no lineal $T_q = q(|Du(y)|) - q(|Du(x)|)$ utilizando la constante de Lipschitz y el gradiente de la función de regularización $\Psi$.

4. Significado y Reivindicaciones
El artículo afirma haber generalizado con éxito el método del módulo de continuidad de las ecuaciones parabólicas locales clásicas a entornos no locales en $\mathbb{R}^n$ y en dominios acotados unidimensionales. La significancia primaria reside en el establecimiento riguroso de estas propiedades de preservación tanto para núcleos regulares como singulares (incluyendo el laplaciano fraccionario).

Crucialmente, el artículo proporciona un resultado negativo respecto a la generalización a dominios acotados de dimensiones superiores. Al vincular la validez potencial de un teorema de módulo de continuidad en dimensiones superiores con una versión no local de la desigualdad de Payne-Weinberger, y posteriormente refutar esta última mediante un contraejemplo, los autores clarifican las limitaciones geométricas de las cotas espectrales no locales. Afirman que, a diferencia del caso local, la brecha espectral para operadores no locales en dominios convexos depende de más que solo el diámetro.

El trabajo se presenta como un paso fundacional hacia la comprensión de la geometría espectral no local, señalando específicamente que el fallo del teorema del módulo de continuidad en dimensiones superiores sugiere que probar una desigualdad de Payne-Weinberger no local requerirá invariantes geométricos más complejos que el diámetro por sí solo.