Heat equations driven by mixed local-nonlocal operators with exponential nonlinearity

Resumen Técnico: Ecuaciones de Calor Impulsadas por Operadores Mixtos Local-No Locales con No Linealidad Exponencial

Planteamiento del Problema
Este artículo investiga el problema de Cauchy para una ecuación de calor semilineal impulsada por un operador mixto local-no local $L := -\Delta + (-\Delta)^s$ con $s \in (0, 1)$, que presenta una no linealidad exponencial $f(u)$. La ecuación viene dada por:
$$\begin{cases} \partial_t u(x, t) + Lu(x, t) = f(u(x, t)), & (x, t) \in \mathbb{R}^d \times (0, \infty), \\ u(0, x) = u_0(x), & x \in \mathbb{R}^d, \end{cases}$$
donde la no linealidad $f$ exhibe un crecimiento exponencial en el infinito (específicamente $f(u) \sim e^{|u|^p}$ cuando $|u| \to \infty$ con $p > 1$) y satisface $f(0)=0$. El operador $L$ combina el laplaciano clásico (que modela la difusión local) y el laplaciano fraccionario (que modela la difusión no local, de tipo salto). El estudio se centra en establecer la buena posición local y global para datos iniciales $u_0$ que pueden ser no acotados, lo que requiere un marco funcional más allá de los espacios de Lebesgue estándar.

Metodología
Los autores emplean un enfoque de análisis funcional centrado en espacios de Orlicz, específicamente el espacio de Orlicz exponencial $\exp L^p(\mathbb{R}^d)$ y su subespacio $\exp L^p_0(\mathbb{R}^d)$. Esta elección está motivada por la incapacidad de los espacios de Lebesgue para acomodar las condiciones de escalado crítico y crecimiento asociadas a las no linealidades exponenciales, análogo al papel que juegan los espacios de Sobolev en los casos polinómicos críticos.

Los componentes metodológicos clave incluyen:

1. Marco Funcional: El análisis se realiza en $\exp L^p_0(\mathbb{R}^d)$, definido como el cierre de $C^\infty_0(\mathbb{R}^d)$ en $\exp L^p(\mathbb{R}^d)$. Este espacio es crucial porque el semigrupo del calor $e^{-tL}$ no es generalmente acotado en el espacio completo $\exp L^p(\mathbb{R}^d)$, pero sí es acotado en $\exp L^p_0(\mathbb{R}^d)$.
2. Estimaciones del Semigrupo: Los autores derivan propiedades de mapeo refinadas y estimaciones de decaimiento para el semigrupo del calor $e^{-tL}$ asociado al operador mixto. Estas estimaciones utilizan cotas del núcleo del calor y argumentos de interpolación en espacios de Orlicz, capturando la interacción entre los componentes local ($-\Delta$) y no local ($(-\Delta)^s$).
3. Argumentos de Punto Fijo:
   • Buena posición local: Demostrada mediante una técnica de descomposición donde el dato inicial $u_0$ se divide en una parte suave $v_0 \in C^\infty_0$ y una pequeña perturbación $w_0$. La parte suave se maneja mediante argumentos clásicos de semigrupo, mientras que la perturbación se resuelve utilizando el teorema del punto fijo de Banach en un espacio de Banach adecuado adaptado a $\exp L^p$.
   • Existencia global: Establecida para datos iniciales pequeños utilizando un principio de aplicación contractiva en un espacio métrico completo equipado con normas ponderadas en el tiempo. El análisis distingue casos basados en la relación entre el orden fraccionario $s$ y el umbral crítico $d(p-1)/(2p)$.

Contribuciones y Resultados Clave

1. Buena posición local (Teorema 1.3):
   El artículo establece la existencia y unicidad de una solución débil $u \in C([0, T], \exp L^p_0(\mathbb{R}^d))$ para cualquier dato inicial $u_0 \in \exp L^p_0(\mathbb{R}^d)$. Se asume que la no linealidad satisface una condición de tipo Lipschitz con crecimiento exponencial: $|f(u) - f(v)| \leq C|u-v|(e^{\lambda|u|^p} + e^{\lambda|v|^p})$. Se demuestra que la solución está localmente acotada en $L^\infty(\mathbb{R}^d)$ para $t > 0$.

2. Existencia global para datos pequeños (Teorema 1.4):
   Bajo la suposición de que la no linealidad se comporta como $|u|^m$ cerca del origen (con $m \geq p$ y satisfaciendo restricciones de crecimiento específicas relacionadas con el exponente de Fujita), los autores prueban la existencia de soluciones débiles-suaves globales para datos iniciales suficientemente pequeños en $\exp L^p(\mathbb{R}^d)$. La prueba requiere distinguir tres regímenes basados en el parámetro $s$ relativo a $d(p-1)/(2p)$:

   • $s < d(p-1)/(2p)$
   • $s = d(p-1)/(2p)$
   • $s > d(p-1)/(2p)$ (requiriendo $m > p$)

3. Estimaciones de decaimiento a largo plazo:
   Los autores derivan tasas de decaimiento explícitas para la solución en espacios de Lebesgue $L^q$. La estimación de decaimiento (Ecuación 1.8) revela una transición asintótica única:

   • Régimen de corto tiempo ($t \to 0$): La solución imita el comportamiento de decaimiento de la ecuación de calor local, gobernado por una potencia efectiva $\tilde{m}$ relacionada con los efectos de suavizado local.
   • Régimen de largo tiempo ($t \to \infty$): La estimación transiciona para recuperar las asintóticas puramente no locales características del laplaciano fraccionario $(-\Delta)^s$.

Significado y Afirmaciones
El artículo afirma cerrar la brecha entre las teorías de difusión local y no local en el contexto de no linealidades exponenciales. Específicamente:

• Identifica $\exp L^p_0(\mathbb{R}^d)$ como el marco funcional apropiado para el operador mixto con crecimiento exponencial, abordando los problemas de densidad presentes en el espacio de Orlicz completo.
• Demuestra que la presencia del término de difusión local no altera el comportamiento fundamental de existencia global dictado por el componente fraccionario (el exponente crítico de Fujita permanece siendo $p_c = 1 + 2s/d$), pero influye significativamente en la dinámica de corto tiempo.
• Las estimaciones de decaimiento derivadas destacan una interpolación continua entre dinámicas locales singulares y disipación fraccionaria de cola pesada, mostrando que los efectos no locales no son instantáneos sino que emergen con el tiempo.

El trabajo extiende resultados previos sobre no linealidades polinómicas en operadores mixtos (por ejemplo, [4, 10, 28]) y no linealidades exponenciales en entornos puramente locales o puramente no locales (por ejemplo, [16, 23, 24, 30, 31, 34]) al caso mixto local-no local.