Nonexistence for effectively damped waves with time-dependent mass

Resumen Técnico: No existencia para ondas eficazmente amortiguadas con masa dependiente del tiempo

Planteamiento del Problema
Este artículo investiga el problema de Cauchy para ecuaciones de onda semilineales que presentan un amortiguamiento dependiente del tiempo y un término de masa dependiente del tiempo:
$$\begin{cases} u_{tt} - \Delta u + b(t)u_t + m^2(t)u = |u|^p, & t \ge 0, \, x \in \mathbb{R}^n, \\ u(0, x) = \varepsilon f(x), \quad u_t(0, x) = \varepsilon g(x), \end{cases}$$
donde $n \ge 1$, $p > 1$, y $\varepsilon > 0$. El amortiguamiento $b(t)$ se asume como "eficaz", y la masa $m(t)$ está dominada por el amortiguamiento cuando $t \to \infty$.

Trabajos previos de D'Abbicco, Girardi y Reissig establecieron la existencia global para datos pequeños para potencias supercríticas $p$ e identificaron una escala crítica $p_{\beta, \eta}(n) = 1 + \frac{2\eta}{n + 2\eta\beta}$ para datos iniciales en $L^\eta \cap H^1 \times L^\eta \cap L^2$ (con $1 \le \eta < 2$). Aquí, $\beta$ es el índice de masa inferior definido por $\liminf_{t\to\infty} B(t)m^2(t)$, donde $B(t) = \int_0^t b(\tau)^{-1} d\tau$. Aunque ellos demostraron la no existencia para la ecuación de difusión no lineal correspondiente en el rango subcrítico, el resultado de no existencia análogo para la ecuación de onda permanecía como un problema abierto. Este artículo aborda ese vacío específicamente para el caso $\eta = 1$, con el objetivo de demostrar la no existencia de soluciones débiles globales para $1 < p < p_{\beta, 1}(n)$ y tratar el caso crítico $p = p_{\beta, 1}(n)$.

Metodología
Los autores emplean un método de función de prueba modificado, basándose en la construcción de un multiplicador adjunto positivo específico. El núcleo de la metodología involucra:

1. Supuestos de los Coeficientes: Más allá de los supuestos estándar de amortiguamiento eficaz y masa dominada (Hipótesis 1–2 de la literatura previa), el artículo introduce dos nuevas condiciones:

   • Equilibrio Intrínseco de Masa Acumulada (Hipótesis 3): Esta controla la desviación de la integral de la masa acumulada $Q(t, r) = \int_r^t \frac{m^2(\tau)}{b(\tau)} d\tau$ respecto al crecimiento logarítmico dictado por el índice $\beta$. Define un "exceso intrínseco" $\Omega_{\beta, T_0}(L)$ que debe ser finito.
   • No Oscilación de Liouville Global (Hipótesis 4): Se impone la condición $m^2(t) \le \frac{b^2(t)}{4} + \frac{b'(t)}{2}$ para asegurar la no oscilación de la ecuación adjunta.

2. Construcción del Modo Adjunto: Un paso técnico clave es la construcción de una solución "lenta" positiva global $\rho(t)$ para la ecuación adjunta $\rho'' - (b\rho)' + m^2\rho = 0$.

   • Para tiempos grandes, $\rho$ se construye mediante una ecuación de Volterra terminal, produciendo un comportamiento asintótico proporcional a $b(t)^{-1} e^{Q(t, T^*)}$.
   • Para el intervalo inicial compacto, se utiliza la condición de no oscilación de Liouville (Hipótesis 4) para evitar que la solución adquiera ceros, asegurando que $\rho(t) > 0$ globalmente.

3. Argumento de la Función de Prueba: Utilizando $\rho(t)$ como peso y una función de corte espacio-temporal $\psi_R$ basada en la escala de difusión $B(t)$, los autores derivan una desigualdad fundamental. Esta desigualdad relaciona el funcional de los datos iniciales $J_0$ con las integrales de la solución $|u|^p$.

4. Argumento de Osgood: Al aplicar un lema de tipo Osgood a la desigualdad derivada, los autores establecen las condiciones bajo las cuales la integral de la función de prueba debe divergir, lo que conduce a una contradicción si existiera una solución global.

Resultados Clave
El artículo establece los siguientes teoremas principales:

• No Existencia en el Rango Estrictamente Subcrítico: Si los datos iniciales satisfacen una condición de signo ($J_0 > 0$) y el exceso intrínseco $\Omega_{\beta, T_0}$ es sublineal, no existen soluciones débiles globales para $1 < p < p_{\beta, 1}(n) = 1 + \frac{2}{n + 2\beta}$.
• No Existencia en el Caso Crítico: En el exponente crítico $p = p_{\beta, 1}(n)$, no existen soluciones débiles globales siempre que la integral $\int^\infty \exp(-(p-1)\Omega_{\beta, T_0}(L)) dL$ diverja (una condición de divergencia de Osgood).
• Estimaciones de Vida Útil (Lifespan): Para soluciones que existen solo localmente, el artículo proporciona cotas superiores condicionales sobre la vida útil $T_\varepsilon$:
  • Para $1 < p < p_{\beta, 1}(n)$, $1 + B(T_\varepsilon) \le C(1 + \varepsilon^{-\frac{1}{\theta}})$ donde $\theta = \frac{1}{p-1} - \frac{n}{2} - \beta$.
  • Para $p = p_{\beta, 1}(n)$, $1 + B(T_\varepsilon) \le C \exp(C \varepsilon^{-(p-1)})$.
• Coeficientes Admisibles: La Sección 7 proporciona ejemplos explícitos de familias de coeficientes (decaimiento/crecimiento polinómico y racional) que satisfacen tanto las condiciones de existencia de D'Abbicco et al. como las condiciones de no existencia de este artículo, demostrando la nitidez de la escala derivada.

Significado y Reivindicaciones
El artículo afirma resolver un problema abierto sobre la nitidez de la escala de existencia para ecuaciones de onda eficazmente amortiguadas con masa dependiente del tiempo:

• Confirma que la escala $p_{\beta, 1}(n)$, previamente establecida para la existencia global, es de hecho el umbral para la no existencia en el régimen subcrítico, reflejando el comportamiento de la ecuación de difusión asociada.
• La técnica de prueba es distinta en que no postula la existencia de un multiplicador adjunto positivo, sino que lo construye rigurosamente utilizando la condición de no oscilación de Liouville y un enfoque de Volterra terminal.
• La introducción del "exceso intrínseco" $\Omega_{\beta, T_0}$ permite un análisis más refinado de la acumulación de masa, mostrando que el índice inferior $\beta$ por sí solo es insuficiente para controlar el umbral de no existencia sin condiciones de equilibrio adicionales.
• Los resultados se presentan como una respuesta definitiva para la subclase de coeficientes globalmente no oscilatorios, cerrando la brecha entre el modelo de comparación de difusión y su contraparte de la ecuación de onda.

Los autores mantienen un tono modesto, señalando que sus resultados se aplican a la subclase específica de coeficientes que satisfacen la condición de no oscilación de Liouville y el equilibrio intrínseco, y que la prueba se basa en el método de función de prueba modificado desarrollado en la literatura previa.