Fujita Phenomenon for a Mixed Local-Nonlocal Hardy-Hénon Equation with Regularly Varying Time Weights

A continuación se presenta un resumen técnico detallado del artículo "Fenómeno de Fujita para una Ecuación de Hardy–Hénon Mixta Local–No Local con Pesos Temporales de Variación Regular" de Rihab Ben Belgacem y Mohamed Majdoub.

1. Planteamiento del Problema

Los autores investigan el problema de Cauchy para una ecuación parabólica semilineal impulsada por un operador de difusión mixto local–no local con una no linealidad de Hardy–Hénon y un término de forzamiento dependiente del tiempo. La ecuación viene dada por:

$$\begin{cases} \partial_t u - (\Delta - (-\Delta)^s)u = h(t)|x|^{-b}|u|^p + t^\varrho w(x), & (x, t) \in \mathbb{R}^N \times (0, \infty), \\ u(x, 0) = u_0(x), & x \in \mathbb{R}^N, \end{cases}$$

Parámetros y Componentes Clave:

• Operador: $L = \Delta - (-\Delta)^s$, donde $\Delta$ es el Laplaciano clásico (difusión local) y $(-\Delta)^s$ ($s \in (0,1)$) es el Laplaciano fraccionario (difusión no local). Esto modela la competencia entre interacciones de corto y largo alcance.
• No linealidad: $|x|^{-b}|u|^p$ con $b \ge 0$ y $p > 1$. El término $|x|^{-b}$ introduce una singularidad espacial (potencial de Hardy).
• Coeficiente Dependiente del Tiempo: $h(t)$ pertenece a la clase generalizada $M(\gamma)$ de funciones con tasa de crecimiento logarítmico $\gamma > -1$. Esta clase extiende las funciones de variación regular clásicas para incluir comportamientos oscilatorios y no regulares (por ejemplo, $t^\gamma \sin(\log t)$).
• Término de Forzamiento: $t^\varrho w(x)$ con $\varrho > -1$ y una fuente espacial prescrita $w(x)$.

El estudio se centra en dos regímenes principales:

1. Caso Sin Forzamiento ($w \equiv 0$): Determinar el exponente crítico de Fujita que separa la existencia global de la explosión en tiempo finito.
2. Caso Forzado ($w \not\equiv 0$): Establecer condiciones para la no existencia de soluciones débiles globales y derivar condiciones de pequeñez para soluciones suaves globales.

---

2. Metodología

El análisis combina varias técnicas matemáticas avanzadas:

• Teoría de Semigrupos: Los autores utilizan el semigrupo $\{e^{tL}\}_{t \ge 0}$ generado por el operador mixto $L$. Estiman regularización (tasas de decaimiento) para el núcleo de este semigrupo, aprovechando el hecho de que la solución fundamental es una convolución del núcleo clásico del calor y el núcleo fraccionario del calor.
• Funciones de Variación Regular (Teoría de Karamata): Una novedad central es el uso de la clase $M(\gamma)$. Los autores emplean propiedades asintóticas de estas funciones (específicamente los teoremas de Karamata sobre integrales y convergencia uniforme) para manejar el coeficiente dependiente del tiempo $h(t)$, que puede no ser estrictamente de variación regular pero comparte tasas de crecimiento similares.
• Método de Funciones de Prueba: Para probar resultados de no existencia (explosión), los autores construyen funciones de prueba de corte específicas $\psi_R(x,t)$ que involucran escalado espacial y temporal. Aplican esto a la formulación débil de la ecuación para derivar desigualdades integrales que conducen a contradicciones para soluciones globales.
• Argumento de Punto Fijo (Contracción de Banach): Para probar la existencia global, el problema se reformula como una ecuación integral de Duhamel. Los autores definen un espacio de Banach ponderado adecuado (incorporando pesos de decaimiento temporal) y demuestran que el mapeo no lineal asociado es una contracción estricta para datos iniciales y términos de forzamiento pequeños.
• Argumentos de Escalamiento: Se utilizan identidades de escalamiento precisas para determinar los exponentes críticos y para manejar el peso singular $|x|^{-b}$ en el término no lineal.

---

3. Contribuciones y Resultados Clave

A. El Problema Sin Forzamiento (Fenómeno de Fujita)

El artículo extiende resultados anteriores (que asumían $h(t) \sim t^\gamma$) a la clase más amplia $h \in M(\gamma)$.

• Exponente Crítico de Fujita: Los autores establecen que el exponente crítico $p_F$ permanece:
  $$p_F = 1 + \frac{2s(\gamma + 1)}{N}$$
  • Explosión: Si $1 < p < p_F$, toda solución no negativa no trivial explota en tiempo finito.
  • Existencia Global: Si $p > p_F$, existen soluciones suaves globales para datos iniciales suficientemente pequeños.
• Significado: Este resultado demuestra la robustez del fenómeno de Fujita. Incluso si $h(t)$ exhibe oscilaciones o comportamientos irregulares (siempre que su tasa de crecimiento logarítmico sea $\gamma$), el umbral para la explosión permanece sin cambios. El término de difusión local $\Delta$ no altera el exponente crítico, el cual está gobernado únicamente por la parte fraccionaria $s$.

B. El Problema Forzado (No Existencia de Soluciones Globales)

Para la ecuación con un término fuente $t^\varrho w(x)$, los autores derivan condiciones bajo las cuales no existen soluciones débiles globales, independientemente del tamaño de los datos iniciales.

• Condiciones: Asumiendo $w \in C_0 \cap L^1$ con $\int w > 0$:
  • Si $\varrho \le 0$, $0 \le \frac{b}{1+\gamma} < 2s < N$, y $1 < p < p^*$, donde:
    $$p^* = \frac{N - b - 2s(\varrho - \gamma)}{N - 2s(\varrho + 1)}$$
  • Si $\varrho > 0$ y $b, \gamma \ge 0$, la no existencia se cumple para todo $p > 1$.
• Método: La prueba se basa en el método de funciones de prueba, equilibrando cuidadosamente el decaimiento del núcleo del operador contra el crecimiento de los pesos temporales $h(t)$ y $t^\varrho$.

C. El Problema Forzado (Existencia Global)

Los autores proporcionan condiciones suficientes para la existencia de soluciones suaves globales cuando los parámetros lo permiten ($p > p^*$).

• Condición de Pequeñez: Existe $\epsilon > 0$ tal que si los datos iniciales $u_0$ y la fuente $w$ satisfacen:
  $$\|u_0\|_{L^{p_c}} + \|w\|_{L^{q_c}} < \epsilon$$
  donde $p_c$ y $q_c$ son exponentes críticos específicos derivados del análisis de escalamiento, entonces existe una única solución suave global.
• Marco Funcional: La prueba utiliza un espacio ponderado con normas que involucran factores de decaimiento temporal $t^\mu$, asegurando que la solución permanezca acotada globalmente.

---

4. Significado y Novedad

1. Generalización de Pesos Temporales: Este es el primer estudio que aborda fenómenos de explosión para ecuaciones de difusión no lineal con coeficientes en la clase $M(\gamma)$. Trabajos anteriores se restringían a coeficientes de ley de potencia ($t^\gamma$). Esta generalización cubre dependencias temporales oscilatorias e irregulares, haciendo que los resultados sean aplicables a un rango más amplio de modelos físicos.
2. Análisis de Operador Mixto: El trabajo analiza rigurosamente la interacción entre la difusión local ($\Delta$) y la no local ($(-\Delta)^s$). Confirma que el exponente crítico de Fujita está determinado por el componente fraccionario, un resultado no trivial dada la competencia entre los dos operadores.
3. Hardy-Hénon con Forzamiento: La inclusión de la singularidad espacial $|x|^{-b}$ combinada con un término de forzamiento dependiente del tiempo $t^\varrho w(x)$ crea un sistema complejo. El artículo proporciona una clasificación completa de los regímenes de existencia frente a no existencia basada en la interacción de $N, s, b, p, \gamma, \varrho$.
4. Marco Unificado: Los resultados recuperan varios casos conocidos (por ejemplo, puramente fraccionario, puramente local, coeficientes constantes) como instancias especiales, proporcionando un marco teórico unificado para ecuaciones de difusión mixta.

5. Conclusión

Ben Belgacem y Majdoub caracterizan con éxito el comportamiento de explosión y existencia global para una clase compleja de ecuaciones de difusión mixta. Al integrar estimaciones de semigrupos con la teoría asintótica de funciones de variación regular, extienden la teoría clásica de Fujita para incluir pesos temporales irregulares y forzamiento externo. Los hallazgos destacan que, aunque la forma específica del coeficiente temporal puede ser altamente irregular, su tasa de crecimiento asintótico es el único determinante del umbral crítico para la explosión. El trabajo futuro sugerido por los autores incluye el análisis de asintóticas de largo plazo, no linealidades de gradiente e interpretaciones probabilísticas mediante procesos de Lévy.