Sharp non-explicit blow-up profile for perturbed nonlinear heat equations with gradient terms

Resumen Técnico: Perfiles de Explosión Nítidos y No Explícitos para Ecuaciones de Calor No Lineales Perturbadas

1. Planteamiento del Problema

El artículo estudia el fenómeno de explosión (blow-up) en soluciones de una clase de ecuaciones de calor no lineales perturbadas que incluyen términos de gradiente. La ecuación principal es:

$$u_t = \Delta u + |u|^{p-1}u + h(u, \nabla u)$$

donde:

• $u(x,0) = u_0 \in W^{1,\infty}(\mathbb{R}^N)$.
• $p > 1$ y se asumen restricciones dimensionales estándar ($1 < p < \frac{N+2}{N-2}$ si $N \ge 3$).
• $h(u, v)$ es una perturbación de clase $C^1$ que satisface un crecimiento subcrítico: $|h(u, v)| \le C(|u|^\gamma + |v|^\gamma + 1)$, con $0 \le \gamma < p$ y $0 \le \gamma < \frac{2p}{p+1}$.

Objetivo Principal:
El trabajo busca refinar la descripción del comportamiento de las soluciones cerca del tiempo de explosión $T$. Específicamente, aborda dos preguntas abiertas derivadas de trabajos previos (como Ebde y Zaag, 2011):

1. ¿Es el punto de explosión $a$ el único punto donde ocurre la explosión?
2. ¿Se puede definir un "perfil final de explosión" $u^*(x) = \lim_{t \to T} u(x,t)$ para $x \neq a$ y determinar su comportamiento asintótico cerca de $a$?
3. ¿Se puede mejorar la estimación del error en el perfil de explosión, pasando de una escala lenta ($1/|\log(T-t)|$) a una escala rápida ($T-t$)?

2. Metodología

La autora emplea un enfoque analítico sofisticado basado en variables de similitud y técnicas de linealización alrededor de perfiles de referencia.

• Variables de Similitud: Se introduce el cambio de variables:
  $$y = \frac{x-a}{\sqrt{T-t}}, \quad s = -\log(T-t), \quad w(y,s) = (T-t)^{\frac{1}{p-1}}u(x,t)$$
  Esto transforma la ecuación original en una ecuación parabólica semilineal en el tiempo logarítmico $s$, donde el término de perturbación $h$ se vuelve exponencialmente pequeño ($e^{-\nu s}$).

• Linealización y Descomposición:
  La solución $w$ se descompone en un perfil explícito de referencia $f(y/\sqrt{s})$ (solución de la ecuación no perturbada) más un término de error $q$. El análisis se centra en la dinámica de $q$ en el espacio $L^2_\rho$ (con peso gaussiano), descomponiéndola en modos propios del operador lineal $L = \Delta - \frac{y}{2}\cdot\nabla + 1$.

• Conjunto Encogiente (Shrinking Set):
  Se define un conjunto $V_A(s)$ que controla la magnitud de los modos de la solución. La prueba de existencia y unicidad del perfil se basa en demostrar que la solución permanece dentro de este conjunto que se encoge hacia cero a medida que $s \to \infty$.

• Comparación de Soluciones (Teorema 2'):
  La estrategia central no es comparar la solución con un perfil explícito, sino comparar dos soluciones de explosión ($u_1$ y $u_2$) con diferentes puntos y tiempos de explosión. Se demuestra que la diferencia entre ellas es pequeña, lo que permite inferir propiedades sobre la unicidad del punto de explosión y la existencia del perfil final.

• Estimaciones de Regularidad Parabólica:
  Se utilizan argumentos iterativos y estimaciones de regularidad (tipo Giga-Kohn) para controlar el término no lineal del gradiente $h(u, \nabla u)$, demostrando que, aunque es una perturbación, no altera la estructura fundamental de la explosión en tiempos grandes.

3. Contribuciones Clave y Resultados Principales

El artículo presenta dos teoremas fundamentales:

Teorema 1: Explosión en un solo punto y Perfil Final

• Unicidad del punto de explosión: Se demuestra que si una solución pertenece a una clase específica de soluciones que explotan en un punto $a$ y tiempo $T$, entonces $a$ es el único punto de explosión. No ocurren explosiones en otros puntos.
• Existencia del perfil final: Existe una función $u^*(x)$ definida para todo $x \in \mathbb{R}^N \setminus \{a\}$ tal que $u(x,t) \to u^*(x)$ cuando $t \to T$.
• Comportamiento asintótico del perfil: Cerca del punto de explosión, el perfil final se comporta como:
  $$u^*(x) \sim \left( \frac{8p |\log|x-a||}{(p-1)^2 |x-a|^2} \right)^{\frac{1}{p-1}}$$
  con un error controlado de orden $O(|\log|x-a||^{\frac{1}{p-1}-\frac{1}{4}} |x-a|^{-\frac{2}{p-1}})$.

Teorema 2: Perfil de Explosión Nítido y No Explícito (Sharp Non-Explicit Profile)
Este es el resultado más innovador del trabajo.

• Mejora del error: Los trabajos anteriores (como [EZ11]) daban un perfil con un error de orden $O(|\log(T-t)|^{-1/p})$. Este artículo logra una estimación mucho más precisa.
• Perfil de referencia no explícito: En lugar de usar la función explícita $f$ (que es una aproximación), el perfil de referencia óptimo es una solución exacta de la ecuación no perturbada ($h \equiv 0$) que explota en $T=1$ en el origen.
• Estimación de error: Se demuestra que la diferencia entre la solución perturbada $u$ y una solución no perturbada $\hat{u}$ (escalada y trasladada) es:
  $$|u(x,t) - \hat{u}(x-a, t-T+1)| \le C \max\left( (T-t)^{-\frac{1}{p-1}}|\log(T-t)|, \dots \right)$$
  Esto representa una mejora significativa, ya que el error se mide en la escala rápida $T-t$ en lugar de la escala lenta logarítmica.
• Caso unidimensional ($N=1$): Se obtiene una expansión de Taylor aún más precisa con términos de corrección que dependen de la tasa de decaimiento de la perturbación $\nu$.

4. Significado e Impacto

• Superación de limitaciones anteriores: El trabajo resuelve la dificultad técnica de que el perfil explícito $f$ no es lo suficientemente "nítido" para capturar el comportamiento de orden superior. Al cambiar a un perfil no explícito (una solución real de la ecuación base), se logra una precisión matemática superior.
• Robustez frente a perturbaciones: Demuestra que la estructura de la explosión es robusta ante la presencia de términos de gradiente no lineales, siempre que estos sean subcríticos. La perturbación no cambia la naturaleza del punto de explosión ni el perfil asintótico final, solo introduce correcciones menores.
• Herramientas analíticas: El desarrollo de técnicas para controlar el término de gradiente mediante estimaciones de regularidad parabólica iterativa y el uso de conjuntos encogientes refinados ofrece nuevas herramientas para el análisis de ecuaciones parabólicas no lineales con términos de gradiente.

En conclusión, el artículo establece un nuevo estándar en la descripción de la dinámica de explosión para ecuaciones de calor perturbadas, proporcionando la descripción más precisa hasta la fecha del perfil final y confirmando la unicidad del punto de explosión bajo condiciones generales.