On the semilinear damped wave equation with Riesz potential-type power nonlinearity and initial data in pseudo-measure spaces

Resumen Técnico

1. Planteamiento del Problema

El artículo estudia el problema de Cauchy para la ecuación de onda amortiguada semilineal con un término de no linealidad impulsado por un potencial de Riesz y datos iniciales en espacios pseudo-medida. La ecuación se formula de la siguiente manera:

$$\begin{cases} u_{tt} - \Delta u + u_t = I_\gamma(|u|^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:

• $n$ es la dimensión espacial ($1 \le n \le 4$).
• $\gamma \in [0, n)$ es el parámetro del potencial de Riesz $I_\gamma$, definido como el inverso del laplaciano fraccionario: $I_\gamma(f) = (-\Delta)^{-\gamma/2}f$.
• $p > 1$ es el exponente de la no linealidad.
• $\varepsilon > 0$ es un parámetro pequeño que controla el tamaño de los datos iniciales.
• Los datos iniciales $(u_0, u_1)$ pertenecen a los espacios pseudo-medida $Y_q$, definidos como distribuciones temperadas $f$ tales que su transformada de Fourier $\hat{f}$ satisface:
  $$\|f\|_{Y_q} := \sup_{\xi \in \mathbb{R}^n} |\xi|^q |\hat{f}(\xi)| < \infty,$$
  con $0 \le q < n/2$. Estos espacios permiten manejar datos iniciales con singularidades o comportamientos asintóticos específicos en el dominio de baja frecuencia.

El objetivo principal es determinar el exponente crítico que separa la existencia global de soluciones pequeñas de la explosión (blow-up) en tiempo finito, y establecer estimaciones precisas para la vida media de las soluciones en el régimen subcrítico.

2. Metodología

Los autores emplean una combinación de análisis armónico y teoría de ecuaciones diferenciales parciales:

1. Análisis del Problema Lineal:

   • Se establecen estimaciones de decaimiento para la solución del problema lineal asociado ($u_{tt} - \Delta u + u_t = 0$) en el marco $L^2$ y en normas de Sobolev homogéneas $\dot{H}^s$.
   • Se demuestra que, para datos iniciales en $Y_q$, la solución lineal decae a una tasa de $(1+t)^{-\frac{n}{4} - \frac{q}{2}}$. Este decaimiento es más rápido que en el caso clásico ($L^1$) cuando $q > 0$, debido al control de las frecuencias bajas.
   • Se utilizan herramientas de análisis armónico, incluyendo desigualdades de interpolación (Gagliardo-Nirenberg fraccionario) y la desigualdad de Hardy-Littlewood-Sobolev para manejar el término no lineal $I_\gamma(|u|^p)$.

2. Existencia Global (Régimen Supercrítico y Crítico):

   • Se define un espacio de solución adecuado $X_s(T)$ con pesos temporales que reflejan la tasa de decaimiento lineal.
   • Mediante el principio de Duhamel y el teorema del punto fijo de Banach, se prueba la existencia y unicidad de soluciones globales para datos iniciales suficientemente pequeños ($\varepsilon$ pequeño) cuando el exponente $p$ es mayor o igual al exponente crítico propuesto.

3. Resultados de Explosión (Régimen Subcrítico):

   • Se utiliza el método de la función de prueba (test function method) para demostrar que no existen soluciones globales débiles cuando $1 < p < p_{crit}$.
   • Se construyen funciones de prueba específicas basadas en la estructura del potencial de Riesz y los datos iniciales en $Y_q$ para derivar una contradicción asintótica.

4. Estimaciones de Vida Media:

   • Para el caso subcrítico, se combinan las cotas superiores (derivadas del método de explosión) y las cotas inferiores (derivadas de la existencia local) para obtener estimaciones afiladas (sharp) del tiempo de vida $T_\varepsilon$.

3. Contribuciones Clave y Resultados Principales

A. Nuevo Exponente Crítico
El hallazgo más significativo es la identificación de un nuevo exponente crítico que depende de la dimensión $n$, el parámetro de decaimiento de los datos $q$ y el parámetro del potencial $\gamma$:

$$p_{crit}(n, q, \gamma) := 1 + \frac{2 + \gamma}{n - q}$$

• Válido para: $1 \le n \le 4$ y $0 \le \gamma < q < n/2$.
• Interpretación:
  • Si $p \ge p_{crit}$, existen soluciones globales para datos iniciales pequeños.
  • Si $1 < p < p_{crit}$, las soluciones explotan en tiempo finito, incluso para datos iniciales pequeños.
• Generalización: Cuando $\gamma = 0$ y $q = 0$, este exponente se reduce al exponente de Fujita clásico $p_{Fuj}(n) = 1 + 2/n$. La inclusión de $Y_q$ y $I_\gamma$ modifica la frontera crítica, reflejando cómo la singularidad en las frecuencias bajas ($q$) y la no localidad del potencial ($\gamma$) afectan la dinámica.

B. Estimaciones Afiladas de Vida Media
En el régimen subcrítico ($1 < p < p_{crit}$), los autores establecen que la vida media $T_\varepsilon$ de la solución satisface la siguiente estimación afilada:

$$T_\varepsilon \sim \varepsilon^{-\frac{2(p-1)}{2 + \gamma - p(n-q)}}$$

Esto cuantifica exactamente cómo el tiempo de vida disminuye a medida que el tamaño de los datos iniciales $\varepsilon$ aumenta o cómo el exponente $p$ se acerca al crítico.

C. Marco Funcional
El trabajo es pionero en aplicar el marco de espacios pseudo-medida ($Y_q$) a ecuaciones de onda amortiguadas. A diferencia de los espacios $L^1$ o Sobolev negativos estándar, $Y_q$ permite un control preciso del comportamiento de la transformada de Fourier cerca del origen ($\xi = 0$), lo cual es crucial para entender la dinámica a largo plazo de ecuaciones disipativas.

4. Significado e Impacto

• Avance Teórico: Este artículo cierra una brecha en la literatura al proporcionar el exponente crítico para la ecuación de onda amortiguada con no linealidades no locales (tipo potencial de Riesz) y datos iniciales con baja regularidad pero control de frecuencia baja.
• Conexión con Fluidos: La motivación proviene de modelos de fluidos (como las ecuaciones de Navier-Stokes fraccionarias) donde los espacios $Y_q$ han demostrado ser efectivos. Extender esto a ecuaciones de onda sugiere una universalidad en el comportamiento de sistemas disipativos gobernados por frecuencias bajas.
• Precisión: Las estimaciones de vida media obtenidas son "afiladas" (sharp), lo que significa que las cotas superior e inferior coinciden en el orden de magnitud, ofreciendo una descripción completa del comportamiento de la solución antes de la explosión.
• Limitaciones y Futuro: El resultado está restringido a dimensiones $n \le 4$ debido a restricciones técnicas en el uso de ciertas desigualdades de Sobolev y el manejo de la no linealidad en el espacio $X_s(T)$. El trabajo sugiere que con regularidad adicional en los datos, estas restricciones podrían relajarse.

En conclusión, el paper redefine los umbrales de estabilidad para una clase importante de ecuaciones de onda no locales, demostrando que la estructura de los datos iniciales en el dominio de Fourier (específicamente en $Y_q$) juega un papel determinante en la existencia global o la explosión de las soluciones.