The initial-to-final-state inverse problem with critically-singular potentials

Aquí presento un resumen técnico detallado del artículo "The Initial-to-Final-State Inverse Problem with Critically-Singular Potentials" (El problema inverso de estado inicial a estado final con potenciales críticamente singulares), escrito por Manuel Cañizares, Pedro Caro, Ioannis Parissis y Thanasis Zacharopoulos.

---

1. Planteamiento del Problema

El artículo aborda un problema inverso para la ecuación de Schrödinger en dimensiones altas ($n \ge 2$) con un potencial independiente del tiempo $V(x)$.

• Ecuación Directa: Se considera la ecuación de Schrödinger:
  $$\begin{cases} i\partial_t u = -\Delta u + V u & \text{en } (0, T) \times \mathbb{R}^n, \\ u(0, x) = f(x) & \text{en } \mathbb{R}^n. \end{cases}$$
  Donde $f \in L^2(\mathbb{R}^n)$ es el estado inicial.
• Datos Observables: Se asume que se conoce el mapa de estado inicial a estado final $U_T$, que mapea cualquier estado inicial $f$ al estado final $u(T, \cdot)$ en un tiempo fijo $T$.
• Pregunta Central: ¿Determina de manera única el mapa $U_T$ el Hamiltoniano $-\Delta + V$? Es decir, si $U_T^1 = U_T^2$ para dos potenciales $V_1$ y $V_2$, ¿implica esto que $V_1 = V_2$ casi por todas partes?

Contexto y Limitaciones Previas:
Trabajos anteriores (como Caro y Ruiz) habían establecido unicidad para potenciales dependientes del tiempo bajo la fuerte hipótesis de decaimiento super-exponencial en el infinito. Para potenciales independientes del tiempo, trabajos previos requerían decaimiento super-lineal y potenciales acotados. El objetivo de este trabajo es relajar estas condiciones significativamente, permitiendo potenciales con singularidades y un decaimiento más débil (tipo $L^1$).

2. Metodología y Herramientas Analíticas

La prueba se basa en una estrategia de reconstrucción que combina análisis funcional, estimaciones de resolventes y soluciones especiales.

A. Construcción de Estados Estacionarios (Stationary States)

En lugar de usar soluciones de óptica geométrica compleja (que crecen exponencialmente y requieren decaimiento rápido del potencial), los autores construyen estados estacionarios para la ecuación de Schrödinger independiente del tiempo. Estos tienen la forma:
$$\psi_{\lambda, \omega}(t, x) = e^{-i\lambda^2 t} \left( e^{-i\lambda \omega \cdot x} + w_{\text{cor}}(x) \right)$$
donde $e^{-i\lambda \omega \cdot x}$ es una solución de la ecuación libre y $w_{\text{cor}}$ es un término de corrección que depende del potencial $V$.

La construcción de $w_{\text{cor}}$ requiere invertir un operador de la forma $(I - P_\lambda \circ V)$, donde $P_\lambda$ es el operador de solución para la ecuación de Helmholtz $(\Delta + \lambda^2)u = f$.

B. Estimaciones de Resolvente Refinadas (Kenig–Ruiz–Sogge)

El desafío técnico principal radica en el caso crítico donde el potencial $V \in L^{n/2}(\mathbb{R}^n)$ (para $n \ge 3$).

• En el caso no crítico ($q > n/2$), la estimación clásica de resolvente de Kenig–Ruiz–Sogge garantiza que el operador de perturbación es pequeño para $\lambda$ grande.
• En el caso crítico ($q = n/2$), la estimación estándar no proporciona decaimiento en el parámetro de energía $\lambda$.
• Innovación: Los autores introducen una nueva escala de espacios de Banach ($X_\lambda$ y $X^*_\lambda$) que combina estimaciones en diferentes normas $L^p$. Esto les permite recuperar un factor de decaimiento en $\lambda$ incluso en el caso crítico, permitiendo la inversión del operador mediante series de Neumann.

C. Relación de Ortogonalidad Extendida (Alessandrini)

Se establece una relación de ortogonalidad del tipo Alessandrini:
$$\int_\Sigma (V_1 - V_2) u_1 v_2 \, dx dt = 0$$
donde $u_1$ y $v_2$ son soluciones asociadas a $V_1$ y $V_2$.
El paso crucial es extender esta identidad más allá de las "soluciones físicas" (que están en $C([0,T]; L^2)$) para incluir los estados estacionarios construidos anteriormente, los cuales no pertenecen a ese espacio debido a su comportamiento asintótico. Esto se logra mediante técnicas de integración por partes y aproximación suave.

3. Resultados Principales

El teorema central (Teorema 1.1) establece la siguiente unicidad:

Teorema: Sean $V_1, V_2$ potenciales independientes del tiempo tales que:
$$V_1, V_2 \in L^1(\mathbb{R}^n) \cap L^q(\mathbb{R}^n)$$
donde:

• Si $n=2$, entonces $q > 1$.
• Si $n \ge 3$, entonces $q \ge n/2$.

Si los mapas de estado inicial a final coinciden ($U_T^1 = U_T^2$), entonces $V_1 = V_2$ casi por todas partes.

Puntos clave del resultado:

1. Singularidades Críticas: Se permite que los potenciales tengan singularidades locales de tipo $L^{n/2}$ (el caso crítico para la ecuación de Schrödinger).
2. Debilidad del Decaimiento: Solo se requiere que el potencial sea integrable ($L^1$) en el infinito, una condición mucho más débil que el decaimiento super-exponencial o super-lineal requerido en trabajos anteriores.
3. Independencia del Tiempo: La independencia temporal del potencial es esencial para evitar el uso de soluciones de óptica geométrica compleja que crecen exponencialmente, lo cual habría exigido condiciones de decaimiento mucho más estrictas.

4. Significado y Contribuciones

• Optimalidad de Condiciones: El trabajo empuja los límites de las condiciones de integrabilidad y decaimiento para la unicidad en problemas inversos de Schrödinger. El caso $L^{n/2}$ es considerado crítico y es el umbral natural para la bien-posedness de la ecuación directa.
• Nuevas Técnicas Analíticas: La refinación de las estimaciones de resolvente de Kenig–Ruiz–Sogge mediante espacios de Banach adaptados al parámetro de energía $\lambda$ es una contribución metodológica significativa que podría aplicarse a otros problemas de scattering y ecuaciones de onda.
• Simplificación del Marco: Al trabajar con potenciales independientes del tiempo y estados estacionarios puramente oscilatorios (en lugar de exponenciales complejos crecientes), el marco teórico se simplifica, eliminando la necesidad de asumir decaimiento rápido en el infinito, lo cual es más realista para muchos modelos físicos.

En resumen, este artículo demuestra que la información contenida en el mapa de evolución temporal de un sistema cuántico es suficiente para recuperar el potencial, incluso cuando este presenta singularidades fuertes y decae muy lentamente en el infinito, siempre que sea independiente del tiempo.