An extension theory for fully fractional Schrödinger equations with memory

Resumen Técnico: Una Teoría de Extensión para Ecuaciones de Schrödinger Totalmente Fraccionarias con Memoria

Planteamiento del Problema
El artículo aborda la buena definición (well-posedness) de las ecuaciones de Schrödinger no lineales con memoria, gobernadas por el operador totalmente fraccionario $L_s = (\partial_t - i\Delta_x)^s$ para $0 < s < 1$. A diferencia de las ecuaciones de Schrödinger fraccionarias clásicas donde el problema de Cauchy se plantea con un dato inicial en un único tiempo $t=0$, el operador totalmente fraccionario es no local tanto en el espacio como en el tiempo. En consecuencia, el problema de Cauchy natural requiere la prescripción de una "historia" $u_0(x, t)$ definida en todo el intervalo pasado $t \leq 0$. Los autores buscan desarrollar una teoría de extensión rigurosa para $L_s$ para analizar el problema no lineal:
$$\begin{cases} L_s u(x, t) = \mu |u(x, t)|^{p-1}u(x, t), & x \in \mathbb{R}^d, t > 0, \\ u(x, t) = u_0(x, t), & x \in \mathbb{R}^d, t \leq 0. \end{cases}$$
El desafío principal reside en la naturaleza oscilatoria del operador. El símbolo de Fourier de $L_s$ cambia de signo a través del paraboloide característico $\tau = -2\pi|\xi|^2$, y la semigrupo de Schrödinger subyacente es unitario en lugar de contractivo. Esto imposibilita el uso de las técnicas estándar basadas en la positividad (principios de comparación, principios de máximo) comunes en las teorías de extensión parabólicas (por ejemplo, Caffarelli-Silvestre para el Laplaciano fraccionario o ecuaciones de calor fraccionarias).

Metodología
Los autores emplean una teoría de extensión oscilatoria que realiza el operador no local $L_s$ como un mapa de Dirichlet-a-Neumann de un problema local en una variable espacial adicional $z > 0$. La metodología procede a través de tres etapas principales:

1. Definición del Operador y Representación de Semigrupo:
   El operador $L_s$ se define mediante una representación de semigrupo análoga a la fórmula de Balakrishnan para operadores sectoriales, adaptada para el grupo de Schrödinger unitario $S(t) = e^{it\Delta_x}$:
   $$L_s u = -\frac{s}{\Gamma(1-s)} \int_0^\infty \frac{P^L_\sigma u - u}{\sigma^{1+s}} d\sigma,$$
   donde $P^L_\sigma = e^{-\sigma L}$. Los autores demuestran que esta definición coincide con la definición de multiplicador de Fourier $(ip(\xi, \tau))^s$, donde $p(\xi, \tau) = 2\pi\tau + 4\pi^2|\xi|^2$. Crucialmente, la potencia fraccionaria involucra dos ramas distintas dependiendo del signo de $p(\xi, \tau)$, lo que requiere un tratamiento cuidadoso de la fase en la extensión.

2. Construcción de la Extensión Oscilatoria:
   Los autores construyen un problema de extensión local en el semiespacio superior $\mathbb{R}^{d+1}_+ \times \mathbb{R}_t$ gobernado por una ecuación de Schrödinger singular que involucra un operador de Bessel $B^{(a)}_z = \partial_{zz} + \frac{a}{z}\partial_z$ con $a = 1-2s$:
   $$\partial_t U - i(\Delta_x U + B^{(a)}_z U) = 0, \quad U(x, 0, t) = u(x, t).$$
   A diferencia de las extensiones elípticas o parabólicas, el núcleo de Poisson asociado $P_a(X, Y_0, t)$ es oscilatorio. Los autores computan explícitamente este núcleo en el espacio de fases utilizando funciones de Bessel modificadas $K_s$ y derivan su representación en el espacio físico:
   $$P_a(X, Y_0, t) = C_a z^{1-a} t^{-(3-a)/2} e^{i z^2/4t} S(x, y, t),$$
   donde $S(x, y, t)$ es el propagador de Schrödinger clásico. Se demuestra que este núcleo es oscilatorio en lugar de positivo, reflejando la naturaleza dispersiva de la dinámica subyacente.

3. Levantamiento de la Historia y Espacio de Energía Intrínseco:
   Una contribución central es la construcción de un "levantamiento de Poisson" para la historia prescrita $u_0$. Los autores definen un espacio de Hilbert intrínseco $\mathcal{H}_s$ de historias admisibles, caracterizado por una forma cuadrática intrínseca $Q_s(u_0)$ que representa la energía del volumen ponderada de la historia levantada. Demuestran que el operador de levantamiento de Poisson $P_s: \mathcal{H}_s \to L^2_a(\mathbb{R}^{d+1}_+)$ es una isometría. Esto establece un vínculo directo entre la energía de la historia pasada y la energía de los datos iniciales para el problema de extensión local.

Contribuciones Clave y Resultados

• Teoría de Extensión para $L_s$: El artículo proporciona la primera teoría de extensión para el operador de Schrödinger totalmente fraccionario, superando la falta de positividad mediante el uso de técnicas oscilatorias y la asintótica de las funciones de Bessel.
• Núcleo de Poisson Explícito: Se deriva una fórmula explícita para el núcleo de Poisson oscilatorio, que sirve como puente entre la historia en la frontera y la solución en el volumen.
• Transición Dispersiva en $s=1/2$: El análisis revela una dicotomía cualitativa en el comportamiento del operador de extensión dependiendo de si $0 < s \leq 1/2$ o $1/2 < s < 1$.
  • Para $s \leq 1/2$, el operador de extensión es acotado en $L^2(\mathbb{R}^{d+1})$.
  • Para $s > 1/2$, el operador se define naturalmente en el dominio de gráfico $\text{Dom}(L_s)$.
    Esta transición refleja el comportamiento dispersivo del propagador de Bessel-Schrödinger identificado en los trabajos previos de los autores.
• Buena Definición del Problema de Memoria No Lineal: Al levantar la historia $u_0 \in \mathcal{H}_s$ al dato inicial del volumen $U_0 = P_s u_0$, los autores transfieren la teoría de buena definición para ecuaciones de Schrödinger singulares con interacciones de contorno de Neumann no lineales (desarrollada en su artículo complementario [10]) al problema de memoria no lineal.
  • Soluciones Débiles (Mild Solutions): La solución al problema de memoria se define como la traza fuerte de frontera de la única solución débil del problema de extensión local.
  • Regímenes: La buena definición se establece en los regímenes de masa crítica y subcrítica ($1 < p \leq p_c$), donde $p_c$ depende de la dimensión $d$ y del parámetro $a$.
  • Recuperación de la Ecuación: Bajo hipótesis adicionales de regularidad del dominio de gráfico, se recupera la ecuación fraccionaria $L_s u = \mu |u|^{p-1}u$ en el sentido de $L^2$ para $t > 0$.

Significancia y Reivindicaciones
El artículo afirma establecer un marco riguroso para estudiar ecuaciones dispersivas no lineales con memoria, una clase de problemas que carecía previamente de una teoría de extensión local debido a la naturaleza no sectorial y oscilatoria del operador de Schrödinger.

• Cambio Metodológico: El trabajo demuestra que las técnicas de extensión pueden adaptarse con éxito a los operadores dispersivos reemplazando los argumentos de positividad por estimaciones de integrales oscilatorias y propiedades de entrelazamiento de Bessel.
• Espacio de Historia Intrínseco: La identificación del espacio de Hilbert intrínseco $\mathcal{H}_s$ proporciona un entorno funcional natural para los datos de la historia, independiente de la construcción de la extensión, caracterizado por una forma cuadrática específica.
• Conexión con Potenciales No Locales: Los autores muestran que el término no lineal de contorno en la formulación de la extensión corresponde exactamente al potencial de Duhamel fraccionario asociado a la solución fundamental de $L_s$, unificando así las perspectivas local y no local.

Los autores son modestos respecto al alcance de sus afirmaciones de unicidad: la unicidad se afirma dentro de la clase de soluciones generadas por el levantamiento de la extensión. No pretenden que todas las posibles soluciones débiles a la ecuación fraccionaria deban surgir de esta construcción, ni afirman que la función unida de pasado-futuro sea continua a través de $t=0$ sin condiciones de compatibilidad adicionales. La buena definición se establece en un "sentido débil inducido por la extensión", que es el concepto de solución natural dado el carácter no local del problema.