On a system of semilinear damped $\sigma$-evolution equations with different damping types in the critical case

Resumen Técnico: Sobre un sistema de ecuaciones de $\sigma$-evolución semilineales amortiguadas con diferentes tipos de amortiguación en el caso crítico

Planteamiento del Problema
Este artículo investiga el problema de Cauchy para un sistema débilmente acoplado y no simétrico de ecuaciones de $\sigma$-evolución semilineales amortiguadas en $\mathbb{R}^n$. El sistema está dado por:
$$\begin{cases} u_{tt} + (-\Delta)^\sigma u + (-\Delta)^\sigma u_t = |v|^{p^*}\mu_1(|v|), \\ v_{tt} + (-\Delta)^\sigma v + v_t = |u|^{q^*}\mu_2(|u|), \end{cases}$$
con datos iniciales $(u, u_t, v, v_t)(0, x) = (0, u_1, 0, v_1)(x)$. Aquí, $\sigma \ge 1$ y los términos de amortiguación difieren: la primera ecuación presenta una amortiguación estructural $(-\Delta)^\sigma u_t$ (comportamiento de tipo parabólico), mientras que la segunda presenta una amortiguación estándar $v_t$ (comportamiento de tipo $\sigma$-evolución). Los exponentes $(p^*, q^*)$ se encuentran en la curva crítica definida por la interacción de estos dos distintos tipos de amortiguación. Las no linealidades incluyen módulos de continuidad $\mu_1$ y $\mu_2$, que proporcionan una regularidad adicional más allá de las leyes de potencia estándar. El objetivo principal es determinar condiciones precisas sobre $\mu_1$ y $\mu_2$ que distingan entre la existencia global de soluciones de Sobolev de datos pequeños y la explosión en tiempo finito.

Metodología
Los autores emplean dos marcos analíticos distintos correspondientes a los dos resultados principales:

1. Existencia Global (Argumento de Punto Fijo):

   • La demostración utiliza el teorema del punto fijo de Banach en un espacio de soluciones $X(t)$ cuidadosamente construido.
   • Clave para este enfoque es la derivación de estimaciones de decaimiento para los problemas lineales asociados a los dos diferentes tipos de amortiguación.
   • Para manejar el caso crítico y la naturaleza no simétrica, los autores introducen funciones de peso $\ell_1(t)$ y $\ell_2(t)$ que dan cuenta de la "pérdida de decaimiento" en los términos no lineales. Estos pesos dependen de los módulos de continuidad y de la posición específica de $(p^*, q^*)$ respecto a los umbrales críticos.
   • Se utilizan desigualdades de Gagliardo-Nirenberg fraccionarias y estimaciones integrales específicas involucrando los módulos de continuidad para cerrar el argumento de mapeo de contracción.

2. Resultado de Explosión (Método de la Función de Prueba):

   • Los autores adaptan el método de la función de prueba al entorno no simétrico y fraccionario.
   • Un desafío técnico significativo abordado es la naturaleza no local del Laplaciano fraccionario $(-\Delta)^\sigma$ cuando $\sigma$ no es un entero. Las funciones de prueba de soporte compacto estándar son insuficientes porque el soporte de $(-\Delta)^\sigma \phi$ generalmente excede el soporte de $\phi$.
   • Para superar esto, los autores construyen una familia modificada de funciones de prueba $\phi_{j,R}$ con soportes no compactos, que poseen órdenes de escala específicos en el espacio y el tiempo.
   • El dominio de integración se descompone en varias regiones ($Q^1_{j,R}, Q^2_R, Q^3_{j,R}$) para manejar el comportamiento singular de los funcionales auxiliares cerca del origen y en el infinito.
   • Al definir funcionales auxiliares $G_p$ y $G_q$ y derivar un sistema de desigualdades diferenciales ordinarias, los autores demuestran que las condiciones integrales sobre los módulos de continuidad conducen a una contradicción si existiera una solución global.

Resultados Clave

• Existencia Global (Teorema 1.1): Bajo el supuesto de que $1 < \sigma < n < 2\sigma$ y $p^* \ge 2$, el artículo establece la existencia de una solución de Sobolev única y global para datos iniciales pequeños si los módulos de continuidad satisfacen condiciones de integrabilidad específicas.

  • Si las condiciones de integrabilidad estándar $\int_0^c \frac{\mu_j(s)}{s} ds < \infty$ se cumplen, la existencia global está garantizada.
  • Si estas fallan, el artículo proporciona condiciones alternativas precisas que involucran integrales acopladas de $\mu_1$ y $\mu_2$ (por ejemplo, $\int_0^c \frac{1}{s} (\mu_1(s))^{\frac{q^*}{q^*+1}} (\mu_2(s))^{\frac{1}{q^*+1}} ds < \infty$) que aún aseguran la existencia global.
  • La solución exhibe tasas de decaimiento específicas con un factor de "pérdida de decaimiento" determinado por los módulos de continuidad.

• Explosión (Teorema 1.2): Por el contrario, si los módulos de continuidad son "demasiado débiles" (es decir, si las integrales correspondientes divergen), el artículo demuestra que no existe una solución de Sobolev global, lo que conduce a una explosión en tiempo finito.

  • Las condiciones para la explosión son la divergencia de las mismas integrales que garantizan la existencia en el caso global.
  • Este resultado se sostiene tanto para $\sigma$ entero como fraccionario, siempre que $n \ge 2\lfloor \sigma \rfloor$ en el caso fraccionario.

• Modelos Simétricos (Teorema 3.2): Adaptando las técnicas de prueba de explosión, los autores resuelven un problema abierto relativo a modelos simétricos donde ambas ecuaciones tienen el mismo tipo de amortiguación (ambas estructurales o ambas estándar) pero con parámetros fraccionarios. Establecen resultados de explosión para tales sistemas simétricos en el caso crítico.

Significancia y Contribuciones
El artículo afirma proporcionar una mejora no trivial sobre la literatura existente en los siguientes aspectos:

1. Sistemas Críticos No Simétricos: Aborda el caso crítico para un sistema que acopla ecuaciones de tipo "parabólico" y de tipo "$\sigma$-evolución", un entorno donde los roles de las variables y los exponentes no son intercambiables, a diferencia de los sistemas simétricos.
2. Manejo del Laplaciano Fraccionario: El trabajo extiende con éxito el método de la función de prueba a sistemas que involucran operadores de amortiguación fraccionaria ($(-\Delta)^\sigma$) donde $\sigma$ es fraccionario. Esto se logra mediante la construcción de funciones de prueba de soporte no compacto y la gestión cuidadosa de los efectos no locales, una dificultad que anteriormente limitaba tales análisis a $\sigma$ entero.
3. Umbrales Precisos: El artículo determina el umbral preciso para los módulos de continuidad $\mu_1$ y $\mu_2$ que separa la existencia global de la explosión, refinando la comprensión de la no linealidad crítica en sistemas débilmente acoplados.
4. Resolución de Problemas Abiertos: La metodología desarrollada se aplica con éxito para proporcionar una respuesta positiva a un problema abierto relacionado con la explosión de modelos simétricos con parámetros fraccionarios, que anteriormente no habían sido resueltos en la literatura.

Los autores enfatizan que sus resultados dependen de la interacción entre los dos distintos mecanismos de amortiguación y la regularidad específica proporcionada por los módulos de continuidad, ofreciendo una perspectiva refinada sobre el comportamiento crítico de tales sistemas de evolución.