Large-data $L^2$-decay for attractive-dissipative nonlinear Schrödinger equations without the strong dissipative condition

Resumen Técnico: Decaimiento $L^2$ para Datos Grandes en Ecuaciones de Schrödinger No Lineales Atractivas-Disipativas

Enunciado del Problema
Este artículo aborda el problema del decaimiento $L^2$ para datos grandes en la ecuación de Schrödinger no lineal (NLS) con una no linealidad de potencia atractiva-disipativa:
$$i\partial_t u + \frac{1}{2}\Delta u = \lambda |u|^{p-1}u, \quad (t, x) \in (0, \infty) \times \mathbb{R}^d,$$
donde el coeficiente complejo $\lambda$ satisface $\text{Re } \lambda < 0$ y $\text{Im } \lambda < 0$. La condición $\text{Im } \lambda < 0$ asegura la disipación $L^2$, mientras que $\text{Re } \lambda < 0$ introduce un componente atractivo (enfocado).

El objetivo principal es establecer tasas de decaimiento óptimas para la norma $L^2$, $\|u(t)\|_2$, para datos iniciales arbitrarios $u_0$ en el espacio de energía ponderado $\Sigma = H^1(\mathbb{R}^d) \cap \mathcal{F}H^1(\mathbb{R}^d)$. El rango natural para este problema de decaimiento es $1 < p \leq 1 + 2/d$.

Antecedentes y Dificultad
Trabajos anteriores de Hayashi, Li y Naumkin [11] establecieron las tasas de decaimiento óptimas (1.2) bajo la "condición disipativa fuerte" $(p-1)|\lambda| \leq (p+1)|\text{Im } \lambda|$. Cuando $\text{Re } \lambda \geq 0$ (repulsivo-disipativo), la energía estándar $E(u) = \frac{1}{2}\|\nabla u\|_2^2 + \frac{\text{Re } \lambda}{p+1}\|u\|_{p+1}^{p+1}$ es definida en signo, proporcionando una cota uniforme para el gradiente $\|\nabla u(t)\|_2$ y permitiendo la derivación de tasas de decaimiento [9].

Sin embargo, en el caso atractivo-disipativo ($\text{Re } \lambda < 0$), la energía estándar no es definida en signo. En consecuencia, falla en controlar directamente la norma del gradiente $\|\nabla u(t)\|_2$. Intentos recientes para superar esto [8, 18] se basaron en argumentos de iteración, donde estimaciones preliminares de decaimiento $L^2$ se sustituían en estimaciones de energía para mejorar las cotas del gradiente. Estos métodos estaban limitados a rangos restringidos de $p$, específicamente $p \leq 1 + \frac{4}{3d}$. El rango $1 + \frac{4}{3d} < p \leq 1 + \frac{2}{d}$ permaneció abierto para datos arbitrarios.

Metodología
Los autores introducen un enfoque novedoso que elude los argumentos iterativos utilizados en la literatura anterior. El núcleo de la metodología consiste en la construcción de una energía aumentada:
$$E_{\text{aug}}(u) = E(u) + \gamma \|u\|_2^2,$$
donde $\gamma > 0$ es una constante adecuada que depende del tamaño de los datos iniciales.

1. Argumento de Energía Aumentada: La derivada temporal del término añadido $\gamma \|u\|_2^2$ genera una contribución negativa $-2\gamma |\text{Im } \lambda| \|u\|_{p+1}^{p+1}$. Este término es suficientemente fuerte para absorber la parte no coerciva de la estimación de energía estándar que surge de $\text{Re } \lambda < 0$.
2. Cota Uniforme Directa: Al elegir $\gamma$ apropiadamente (mediante un argumento de escalado para datos grandes), los autores prueban que $E_{\text{aug}}(u(t))$ es no creciente. Esto produce una cota uniforme en el tiempo directa para $\|\nabla u(t)\|_2$ sin requerir estimaciones de decaimiento intermedias ni iteraciones de bootstrap.
3. Derivación del Decaimiento: Con la cota uniforme del gradiente establecida, la prueba procede mediante herramientas estándar:
   • Una estimación de tipo virial que relaciona la norma ponderada $\|xu(t)\|_2$ con la integral temporal de $\|\nabla u(t)\|_2$.
   • Una desigualdad de interpolación ponderada (Lema 2.4) que vincula $\|u\|_q$ con $\|u\|_2$ y $\|xu\|_2$.
   • Combinar estas con la identidad disipativa $L^2$ para derivar una desigualdad diferencial para $\|u(t)\|_2$.

Resultados Clave
El artículo establece el siguiente teorema principal (Teorema 1.1):

Para datos iniciales arbitrarios $u_0 \in \Sigma$ con $\|u_0\|_\Sigma \neq 0$, la NLS admite una única solución global $u \in C([0, \infty); \Sigma)$. La solución satisface las tasas de decaimiento óptimas en todo el rango $1 < p \leq 1 + 2/d$:

• Caso Crítico ($p = 1 + 2/d$):
  $$\|u(t)\|_2 \lesssim (\log(1+t))^{-\frac{2}{(d+2)(p-1)}}$$
• Caso Subcrítico ($1 < p < 1 + 2/d$):
  $$\|u(t)\|_2 \lesssim (1+t)^{-\frac{2}{(d+2)(p-1)}\left(1 - \frac{d(p-1)}{2}\right)}$$

Estas estimaciones se cumplen para el caso atractivo-disipativo ($\text{Re } \lambda < 0, \text{Im } \lambda < 0$) sin imponer la condición disipativa fuerte (1.1).

Significado y Afirmaciones
Los autores afirman que este trabajo elimina la restricción restante $p \leq 1 + \frac{4}{3d}$ que anteriormente limitaba la comprensión del decaimiento para datos grandes en el régimen atractivo-disipativo.

• Eliminación de la Iteración: La contribución técnica principal es la eliminación del argumento de iteración requerido en trabajos anteriores [8, 18]. Al utilizar la propia disipación de masa para restaurar el control coercivo de la energía mediante la energía aumentada, los autores obtienen una cota uniforme directa del gradiente.
• Generalidad: El resultado se aplica a datos arbitrarios en $\Sigma$, en contraste con otros trabajos relacionados que a menudo requieren suavidad adicional, decaimiento espacial o condiciones estructurales en los datos iniciales.
• Alcance: El método es lo suficientemente robusto para aplicarse también al caso repulsivo-disipativo ($\text{Re } \lambda \geq 0$), recuperando las mismas tasas de decaimiento sin la condición disipativa fuerte, aunque la energía estándar ya es suficiente para la cota del gradiente en ese escenario.

En resumen, el artículo resuelve el problema abierto del decaimiento $L^2$ para datos grandes en el rango óptimo completo $1 < p \leq 1 + 2/d$ para NLS atractiva-disipativa mediante la introducción de un funcional de energía aumentada que controla directamente la norma del gradiente.