Application of uncertainty principles for decaying densities to the observability of the Schrödinger equation

1. Problema de Estudio

El artículo aborda el problema de la observabilidad de la ecuación de Schrödinger libre en el espacio euclidiano $\mathbb{R}^d$ ($d \ge 1$):
$$\begin{cases} i\partial_t u + \Delta u = 0 & \text{en } (0, +\infty) \times \mathbb{R}^d, \\ u(0, \cdot) = u_0 & \text{en } \mathbb{R}^d. \end{cases}$$
El objetivo central es determinar condiciones suficientes sobre un conjunto de observación $O \subset \mathbb{R}^d$ (y tiempos de observación) para garantizar que la norma $L^2$ de la condición inicial $u_0$ pueda ser acotada por la norma de la solución restringida a $O$.

Se consideran dos tipos de desigualdades de observabilidad:

1. Observabilidad en un intervalo de tiempo: Estimar $\|u_0\|_{L^2}$ mediante la integral en $(0, T) \times O$.
2. Observabilidad en dos instantes de tiempo: Estimar $\|u_0\|_{L^2}$ mediante la suma de las normas en $O_1$ en tiempo $T$ y en $O_2$ en tiempo $S$.

El desafío específico de este trabajo es generalizar las condiciones de "grueso" (thick sets) clásicas (donde la densidad de observación es constante) a densidades decaídas (decaying densities). Es decir, se busca permitir que el conjunto de observación sea más "delgado" a medida que $|x| \to \infty$, siempre que cumpla ciertas propiedades de densidad local respecto a una función $\rho(x)$.

2. Metodología

La estrategia de demostración se basa en la conexión profunda entre la teoría de control (observabilidad) y los principios de incertidumbre cuantitativos.

A. Principios de Incertidumbre para Densidades Decaídas

El núcleo técnico es el uso de un principio de incertidumbre cuantitativo adaptado a funciones con densidades que decaen en el infinito, basado en resultados de Kovrijkine [Kov03], Shubin, Vakilian y Wolff [SVW98].

• Se utiliza el Teorema 2.1 (Kovrijkine), que establece que si un conjunto $O$ es $(\gamma, \rho_1)$-grueso y un conjunto $\Omega$ es $(\gamma, \rho_2)$-grueso, y las funciones de densidad $\rho_1, \rho_2$ satisfacen una relación de inversión asintótica ($C_1/\rho_1(C_2/\rho_2(t)) \ge t$), entonces existe una desigualdad de incertidumbre que acota la norma $L^2$ de una función por su restricción a $O$ y la restricción de su transformada de Fourier a $\Omega$.
• Las densidades típicas consideradas son del tipo $\rho(x) \sim |x|^{-\alpha}$.

B. Estimaciones de Resolvente

Para la observabilidad en un intervalo de tiempo, el método sigue el esquema de Miller [Mil05] y Sun, Su, Yuan [SSY25]:

1. Reducción a estimaciones de resolvente: Se demuestra que la observabilidad es equivalente (o se deduce de) la validez de ciertas estimaciones para el operador resolvente $(-\Delta - \lambda)^{-1}$.
2. Descomposición espectral: Se divide el análisis en frecuencias bajas y altas.
   • Para frecuencias altas, se utiliza el principio de incertidumbre para obtener estimaciones de resolvente donde el término de error decae a medida que $\lambda \to \infty$.
   • Para frecuencias bajas, se utilizan resultados espectrales conocidos para conjuntos gruesos (como la desigualdad de Kovrijkine para funciones de banda limitada).

C. Resultados Abstractos

Se emplean teoremas abstractos que vinculan:

• La existencia de estimaciones de resolvente con decaimiento controlado $\to$ Observabilidad para todo $T > 0$.
• La existencia de estimaciones de resolvente uniformes (sin decaimiento) $\to$ Observabilidad para $T$ suficientemente grande.

3. Contribuciones Clave y Resultados Principales

Los autores establecen condiciones suficientes para la observabilidad basadas en la "gruesedad" del conjunto de observación respecto a una densidad decaída $\rho(x)$.

Definición de Conjunto $(\gamma, \rho)$-Grueso

Un conjunto $O$ es $(\gamma, \rho)$-grueso si para todo $x \in \mathbb{R}^d$:
$$|O \cap B(x, \rho(x))| \ge \gamma |B(x, \rho(x))|$$
donde $\rho(x)$ es una función positiva continua que decae en el infinito.

Teorema 1.3: Observabilidad para Tiempo Grande

Si $\rho(x) = O(|x|^{-1})$ cuando $|x| \to \infty$, existe un $\gamma \in (0,1)$ tal que si $O$ es $(\gamma, \rho)$-grueso, la ecuación es observable en $(0, T) \times O$ para algún tiempo $T > 0$ (específicamente para $T$ suficientemente grande).

• Significado: Permite que el conjunto de observación se vuelva más delgado (a escala $1/|x|$) en el infinito, pero requiere esperar un tiempo mínimo para observar el sistema.

Teorema 1.4: Observabilidad para Cualquier Tiempo

Si $\rho(x) = O(|x|^{-\alpha})$ con $\alpha > 1$, existe un $\gamma \in (0,1)$ tal que si $O$ es $(\gamma, \rho)$-grueso, la ecuación es observable en $(0, T) \times O$ para todo tiempo $T > 0$.

• Significado: Un decaimiento más rápido de la densidad ($\alpha > 1$) permite la observabilidad instantánea, aunque con una constante de observabilidad que crece exponencialmente como $e^{C/T^2}$.

Teorema 1.5: Observabilidad en Dos Instantes de Tiempo

Para dos tiempos $T > S > 0$, si $O_1$ es $(\gamma, \rho_\alpha)$-grueso y $O_2$ es $(\gamma, \rho_{1/\alpha})$-grueso (donde $\rho_\alpha(x) \sim |x|^{-\alpha}$), entonces la ecuación es observable en la unión de los conjuntos de observación en los tiempos $T$ y $S$.

• Este resultado es una consecuencia directa de la equivalencia entre principios de incertidumbre y observabilidad en dos tiempos (Teorema de Wang, Wang, Zhang, Zhang).

Extensiones (Sección 4)

Los autores extienden sus resultados a:

1. Ecuación de Schrödinger Fraccionaria: $i\partial_t u - (-\Delta)^s u = 0$. Se demuestra que el umbral de decaimiento $\alpha$ necesario depende de $s$ ($\alpha > \frac{1}{2s-1}$). A medida que $s \to \infty$, la condición de grueso se vuelve más débil.
2. Potenciales Acotados: $i\partial_t u + \Delta u - V u = 0$ con $V \in L^\infty$. Se demuestra que los resultados de observabilidad para todo $T > 0$ se mantienen si $\alpha > 1$, utilizando estimaciones espectrales recientes para operadores perturbados.

4. Significado y Relevancia

• Generalización de Condiciones Clásicas: El trabajo supera la restricción de conjuntos de observación con densidad constante (gruesos en el sentido clásico). Muestra que es posible recuperar información del estado cuántico incluso si la región de observación se vuelve muy delgada en el infinito, siempre que el decaimiento no sea demasiado rápido (relacionado con el exponente crítico $\alpha=1$).
• Conexión Geometría-Espectro: Refuerza la relación fundamental entre la geometría del conjunto de observación (densidad decaída) y las propiedades espectrales del operador de Schrödinger (principios de incertidumbre).
• Optimalidad Parcial: Los autores discuten que, aunque sus condiciones son suficientes, no son necesariamente óptimas (sharp) en dimensiones $d \ge 2$ en comparación con el caso unidimensional donde la condición de grueso constante es necesaria y suficiente. Sin embargo, proporcionan una clase de conjuntos (como $O = \{(x,y) : |xy| > C\}$) que son observables pero no satisfacen la Condición de Control Geométrico (GCC) ni tienen complemento de medida finita, llenando un vacío en la literatura existente.
• Herramientas Analíticas: El uso combinado de principios de incertidumbre de Kovrijkine y técnicas de estimación de resolvente de alta frecuencia ofrece un marco robusto para abordar problemas de control en espacios no acotados con potenciales o condiciones de frontera complejas.

En resumen, el artículo establece un marco teórico riguroso para la observabilidad de sistemas cuánticos en espacios no acotados, demostrando que la "gruesedad" del conjunto de observación puede adaptarse dinámicamente al infinito, permitiendo nuevas configuraciones de sensores en aplicaciones de física matemática y teoría de control.