Blow-up of solutions to semilinear parabolic equations driven by mixed local-nonlocal operators with large initial data

Resumen Técnico: Explosión de Soluciones a Ecuaciones Parabólicas Semilineales Impulsadas por Operadores Locales-No Locales Mixtos con Datos Iniciales Grandes

Planteamiento del Problema
El artículo investiga la explosión en tiempo finito de soluciones no negativas al problema de Cauchy para ecuaciones parabólicas semilineales impulsadas por un operador local-no local mixto $L$. La ecuación viene dada por:
$$\begin{cases} \partial_t u + Lu = f(u) & \text{en } \mathbb{R}^N \times (0, +\infty), \\ u(\cdot, 0) = u_0 & \text{en } \mathbb{R}^N, \end{cases}$$
donde el operador se define como $L = -a\Delta + b(-\Delta)^s$ con parámetros $a \ge 0$ y $b > 0$. El término de reacción $f$ satisface hipótesis estructurales que incluyen continuidad local de Lipschitz, convexidad, crecimiento superlineal en el infinito y la condición de Osgood ($\int_1^\infty \frac{dz}{f(z)} < \infty$). El caso prototipo es $f(u) = u^p$ con $p > 1$.

Aunque la literatura cubre extensamente el caso puramente local ($a=1, b=0$) y el caso puramente no local ($a=0, b=1$), y trabajos previos (específicamente [8]) establecieron la explosión para $p$ pequeño ($p \le 1 + 2s/N$) con datos no triviales arbitrarios, este estudio se centra en el régimen donde el dato inicial $u_0$ es suficientemente grande. El objetivo principal es demostrar que para cualquier $p > 1$, si los datos iniciales son lo bastante grandes, la solución explota en tiempo finito, incluso en presencia del operador mixto.

Metodología
Los autores adaptan el método de Kaplan (originalmente desarrollado para la ecuación del calor) al marco de operadores mixtos. El núcleo de la metodología implica tres pasos principales:

1. Construcción de una Función de Kaplan: Los autores definen una "función de Kaplan" $\kappa$ como una función positiva, suave e integrable que satisface la desigualdad de subsolución $-L\kappa + \lambda\kappa \ge 0$ puntualmente en $\mathbb{R}^N$ para algún $\lambda > 0$.

   • A diferencia del caso puramente local, donde la función de Kaplan es una gaussiana ($e^{-k|x|^2}$), los autores construyen explícitamente una función de Kaplan adecuada para el operador mixto. La función construida toma la forma:
     $$\kappa(x) = C \varepsilon^{N/2} (1 + \varepsilon|x|^2)^{-\beta}$$
     donde $C, \varepsilon, \beta$ son constantes positivas.
   • La construcción requiere un manejo cuidadoso de la parte no local $(-\Delta)^s$. Los autores utilizan propiedades de la función hipergeométrica y argumentos de escalado para estimar la acción de $L$ sobre $\kappa$, asegurando que la desigualdad se cumpla para $\lambda$ suficientemente grande.

2. Derivación de una Desigualdad Diferencial: Para una solución $u(t)$, los autores definen un funcional $\Phi(t) = \int_{\mathbb{R}^N} \kappa(x) u(x,t) \, dx$. Multiplicando la EDP por $\kappa$ e integrando, derivan la desigualdad diferencial ordinaria:
   $$\Phi'(t) + \lambda \Phi(t) \ge f(\Phi(t))$$
   Esta derivación se basa en la integración por partes para la parte local e identidades integrales específicas (que involucran la forma bilineal $B(f,g)$) para la parte no local. Crucialmente, emplean funciones de corte y argumentos de límite ($R \to \infty$) para manejar los términos de cola no locales, apoyándose en las propiedades de integrabilidad del $\kappa$ construido.

3. Análisis de Explosión: Los autores demuestran que si el dato inicial satisface $\Phi(0) > s_f(\lambda)$ (donde $s_f(\lambda)$ es un umbral derivado del término de reacción), la solución de la desigualdad diferencial explota en tiempo finito. Esto implica la no existencia de soluciones clásicas globales para la EDP original.

Resultados Clave

• Criterio General de Explosión (Teorema 3.4): El artículo establece una condición general para la explosión en tiempo finito. Si existe una función de Kaplan $\kappa$ que satisface cotas específicas de regularidad y decaimiento, y el dato inicial $u_0$ satisface $\int_{\mathbb{R}^N} \kappa u_0 \, dx > s_f(\lambda)$, entonces no existe solución clásica global.
• Construcción Explícita (Teorema 3.7): Los autores construyen explícitamente la función de Kaplan $\kappa_\varepsilon(x) \propto (1 + \varepsilon|x|^2)^{-\beta}$ para el operador mixto $L = -a\Delta + b(-\Delta)^s$. Demuestran que para $\beta > N/2$, esta función satisface la desigualdad de subsolución requerida para un rango específico de $\lambda$ dependiente del parámetro de escalado $\varepsilon$.
• Teorema Principal (Teorema 3.9): Combinando el criterio general con la construcción explícita, los autores demuestran que para el operador mixto, si el dato inicial es suficientemente grande (cuantificado por la desigualdad 3.32), la solución explota en tiempo finito.
• Recuperación de Resultados Conocidos (Teorema 3.10): Como corolario, los autores aplican su resultado principal al caso $f(u) = u^p$ con $1 < p < 1 + 2s/N$. Demuestran que para este rango de $p$, la explosión ocurre para cualquier dato inicial no trivial (no solo para los grandes), recuperando así el resultado establecido previamente en [8] mediante métodos diferentes.

Significado y Afirmaciones
Los autores declaran que su resultado es nuevo incluso en el caso especial del Laplaciano fraccionario ($a=0, b=1$). Si bien la explosión para datos iniciales grandes es bien conocida para la ecuación del calor clásica, extender esto al caso fraccionario y al marco de operadores mixtos requirió superar obstáculos técnicos significativos relacionados con la naturaleza no local del operador.

Específicamente, el artículo destaca:

• La necesidad de una forma diferente para la función de Kaplan en el contexto mixto/no local en comparación con el contexto local clásico.
• La adaptación exitosa del método de Kaplan a operadores que involucran Laplacianos fraccionarios, lo cual es no trivial debido a la falta de fórmulas locales explícitas para la acción del operador sobre funciones de prueba.
• La provisión de una condición explícita y verificable sobre los datos iniciales que garantiza la explosión para cualquier $p > 1$ en el contexto de operadores mixtos.

El trabajo contribuye a la teoría cualitativa de ecuaciones parabólicas locales-no locales mixtas, un campo de creciente interés debido a aplicaciones en dinámica estocástica (combinando procesos de difusión y saltos) y modelos de forrajeo óptimo. El artículo no propone nuevas aplicaciones, sino que consolida la base teórica para comprender el comportamiento a largo plazo de las soluciones en este contexto específico de operadores.