Critical exponent for semilinear damped wave equations with weighted nonlinear terms and data from Sobolev spaces of negative order

Resumen Técnico: Exponente Crítico para Ecuaciones de Onda Semilineales Amortiguadas con Términos No Lineales Ponderados y Datos de Espacios de Sobolev de Orden Negativo

Planteamiento del Problema
Este artículo investiga el problema de Cauchy para ecuaciones de onda semilineales amortiguadas que presentan términos no lineales ponderados con singularidades de tipo Coulomb y datos iniciales pertenecientes a espacios de Sobolev de orden negativo. La ecuación específica bajo consideración es:
$$\begin{cases} u_{tt}(t, x) - \Delta u(t, x) + u_t(t, x) = |x|^{-\alpha}|u(t, x)|^p, & x \in \mathbb{R}^n, t > 0, \\ u(0, x) = \varepsilon u_0(x), \quad u_t(0, x) = \varepsilon u_1(x), & x \in \mathbb{R}^n, \end{cases}$$
donde $p > 1$, $\alpha \geq 0$, y los datos iniciales $(u_0, u_1)$ pertenecen al producto de espacios $\dot{H}^{-\beta}(\mathbb{R}^n) \times \dot{H}^{-\beta}(\mathbb{R}^n)$ con $\beta \geq 0$. El parámetro $\varepsilon > 0$ representa la magnitud de los datos iniciales. Los autores pretenden determinar el exponente crítico $p_c(\alpha, \beta, n)$ que separa la existencia global de soluciones para datos pequeños del estallido (blow-up) en tiempo finito de soluciones débiles, y derivar estimaciones de la vida útil (lifespan) en el caso subcrítico.

Metodología
Los autores emplean una combinación de estimaciones de decaimiento lineal, argumentos de punto fijo y métodos de funciones de prueba.

1. Estimaciones de Decaimiento Lineal: El análisis comienza con la ecuación de onda amortiguada lineal. Los autores utilizan la transformada de Fourier para derivar estimaciones agudas de decaimiento $L^m-L^q$ para los núcleos lineales $K(t, x)$ y sus derivadas temporales. Estas estimaciones conectan la estructura difusiva de la ecuación de onda amortiguada con la ecuación de calor, mostrando que las soluciones decaen de manera similar a las soluciones de la ecuación de calor cuando $t \to \infty$.
2. Existencia Global (Datos Pequeños): Para el resultado de existencia global, los autores definen un espacio de funciones adecuado $X(T)$ equipado con normas ponderadas en el tiempo que involucran las tasas de decaimiento derivadas de la teoría lineal. Construyen un mapa de solución $\Phi$ utilizando el principio de Duhamel y aplican el teorema del punto fijo de Banach.
   • Para manejar la singularidad $|x|^{-\alpha}$ en la no linealidad, los autores utilizan la desigualdad de Caffarelli-Kohn-Nirenberg (Proposición 2.2) para controlar la tasa de decaimiento del término ponderado.
   • La desigualdad de Hardy-Littlewood-Sobolev se utiliza para gestionar los espacios de Sobolev de orden negativo.
   • La prueba se basa en establecer propiedades de contracción para el operador $\Phi$ bajo condiciones específicas de $p$, $\alpha$ y $\beta$.
3. Resultado de Estallido (Blow-up): Para la no existencia de soluciones globales, los autores utilizan el método de la función de prueba. Construyen una función de prueba específica $\Phi_R(t, x)$ que involucra una función de corte en el tiempo y un peso espacial relacionado con la singularidad. Al integrar la formulación débil contra esta función de prueba y aplicar la desigualdad de Hölder, derivan una contradicción para $R$ grande cuando $p$ está por debajo del umbral crítico.
4. Estimaciones de Vida Útil: En el caso subcrítico ($1 < p < p_c$), los autores derivan tanto límites inferiores como superiores para la vida útil $T_{\alpha, \beta}(\varepsilon)$. El límite inferior se obtiene analizando la condición de contracción en el argumento del punto fijo, mientras que el límite superior se refina utilizando el método de la función de prueba con correcciones logarítmicas.

Contribuciones Clave y Resultados

• Determinación del Exponente Crítico: El resultado principal es la identificación del exponente crítico para la ecuación de onda amortiguada ponderada con datos de orden negativo:
  $$p_c(\alpha, \beta, n) := 1 + \frac{4 - 2\alpha}{n + 2\beta}$$
  Esta fórmula es válida para dimensiones $1 \leq n \leq 4$ y parámetros $0 \leq \alpha, \beta < n/2$. Los autores demuestran que el peso $|x|^{-\alpha}$ y el orden negativo $\beta$ desplazan el exponente crítico hacia la izquierda en comparación con el exponente de Fujita estándar ($1 + 2/n$) o el caso con $\alpha=0$.

• Teorema de Existencia Global (Teorema 1.1): Para $p \geq p_c(\alpha, \beta, n)$, los autores prueban la existencia de una solución única global para datos iniciales suficientemente pequeños $\varepsilon$. La solución pertenece a $C([0, \infty), H^1)$ y satisface estimaciones de decaimiento temporal específicas:
  $$\|u(t, \cdot)\|_{L^2} \lesssim \varepsilon (1+t)^{-\frac{\beta}{2}}, \quad \|\nabla u(t, \cdot)\|_{L^2} \lesssim \varepsilon (1+t)^{-\frac{1+\beta}{2}}.$$
  Se proporcionan restricciones adicionales sobre $p$ para las dimensiones $n=3, 4$ para asegurar la validez de las inserciones de Sobolev e desigualdades utilizadas.

• Teorema de Estallido (Teorema 1.2): Para $1 < p < p_c(\alpha, \beta, n)$, los autores prueban que no existe una solución débil global, incluso para datos pequeños, siempre que los datos iniciales satisfagan una condición de cota inferior específica que involucra el decaimiento logarítmico.

• Estimaciones de Vida Útil: En el régimen subcrítico, la vida útil $T_{\alpha, \beta}(\varepsilon)$ se estima como:
  $$\varepsilon^{-\frac{4(p-1)}{4 - 2\alpha - (n+2\beta)(p-1)}} \lesssim T_{\alpha, \beta}(\varepsilon) \lesssim \varepsilon^{-\frac{4(p-1)}{4 - 2\alpha - (n+2\beta)(p-1)}} (\log(\varepsilon^{-1}))^{\frac{4(p-1)}{4 - 2\alpha - (n+2\beta)(p-1)}}.$$
  Los autores señalan que la presencia del peso $|x|^{-\alpha}$ contribuye a aumentar la vida útil de las soluciones de estallido en comparación con el caso no ponderado.

• Corolarios para Datos Basados en $L^m$: Los autores extienden sus resultados a datos iniciales en $\dot{H}^{-\bar{\beta}}_m \times \dot{H}^{-\bar{\beta}}_m$ para $m \in (1, 2]$, derivando un exponente crítico correspondiente $p_c(\alpha, \bar{\beta} + \theta(m), n)$.

Significancia y Reivindicaciones
El artículo afirma extender los resultados previos sobre ecuaciones de onda amortiguadas semilineales incorporando simultáneamente dos generalizaciones:

1. No Linealidad Ponderada: Abordar la singularidad de tipo Coulomb $|x|^{-\alpha}$, la cual había sido estudiada de forma aislada (por ejemplo, en [26] para $\beta=0$) pero no combinada con datos de orden negativo en este marco específico.
2. Datos de Orden Negativo: Extender el espacio de los datos iniciales a $\dot{H}^{-\beta}$, basándose en el trabajo de [5] y [8] que consideraban $\alpha=0$.

Los autores afirman que sus resultados generalizan los hallazgos de [5, 8, 26]. Específicamente, muestran que el exponente crítico es desplazado tanto por la fuerza de la singularidad $\alpha$ como por el déficit de regularidad $\beta$. El artículo también destaca una mejora en la estimación del límite superior para la vida útil en comparación con trabajos anteriores (específicamente [15, Teorema 1.8]) en el caso $\alpha = \beta = 0$, al incluir un factor de corrección logarítmica. El trabajo se presenta como un análisis matemático riguroso que establece el umbral entre la existencia global y el estallido para esta clase específica de ecuaciones.