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

Resumo Técnico: Aplicação de Princípios de Incerteza para Densidades Decrescentes à Observabilidade da Equação de Schrödinger

Autores: Kévin Le Balc'h e Jiaqi Yu
Data: 23 de fevereiro de 2026 (arXiv)

1. O Problema

O artigo investiga a observabilidade da equação de Schrödinger livre em espaços euclidianos de dimensão $d \ge 1$:
$$i\partial_t u + \Delta u = 0, \quad u(0, \cdot) = u_0 \in L^2(\mathbb{R}^d).$$

O objetivo central é estabelecer desigualdades de observabilidade que permitam estimar a norma $L^2$ total da condição inicial $u_0$ a partir de medições restritas no espaço e no tempo. Existem dois cenários de observabilidade analisados:

1. Observabilidade Contínua: Estimar $\|u_0\|_{L^2}$ a partir da integral da energia observada em um conjunto mensurável $O \subset \mathbb{R}^d$ ao longo de um intervalo de tempo $(0, T)$.
2. Observabilidade em Dois Instantes: Estimar $\|u_0\|_{L^2}$ a partir das energias observadas em dois conjuntos $O_1$ e $O_2$ em dois instantes de tempo distintos $T$ e $S$.

O desafio reside em identificar condições geométricas suficientes sobre o conjunto de observação $O$ que garantam essa estimativa, especialmente quando $O$ não é um conjunto "grosso" (thick) no sentido clássico (densidade constante), mas sim um conjunto que se torna mais esparsamente distribuído à medida que $|x| \to \infty$.

2. Metodologia

A abordagem do artigo baseia-se na conexão profunda entre a observabilidade de equações de evolução e princípios de incerteza quantitativos para funções com suporte espectral limitado ou densidades decrescentes.

• Princípios de Incerteza Quantitativos: O núcleo da prova utiliza princípios de incerteza adaptados a densidades decrescentes, especificamente os resultados de Kovrijkine, Shubin, Vakilian e Wolff. Estes princípios estabelecem que uma função e sua transformada de Fourier não podem ser ambas altamente localizadas, mesmo quando a "espessura" do conjunto de observação decai no infinito.
• Conceito de "Espessura" (Thick Set) com Densidade Decrescente: Os autores definem um conjunto $O$ como $(\gamma, \rho)$-thick se, para todo $x \in \mathbb{R}^d$, a interseção de $O$ com a bola $B(x, \rho(x))$ ocupa uma fração $\gamma$ do volume da bola, onde $\rho(x)$ é uma função de densidade positiva que decai (ex: $\rho(x) \sim |x|^{-\alpha}$).
• Estimativas de Resolvente: Para o caso de observabilidade contínua, a estratégia envolve provar estimativas de resolvente para o operador Laplaciano. A observabilidade é deduzida de desigualdades do tipo:
  $$\|f\|_{L^2}^2 \le M(\lambda) \|(-\Delta - \lambda)f\|_{L^2}^2 + m \|f\|_{L^2(O)}^2,$$
  onde $M(\lambda)$ decai para zero conforme a frequência $\lambda \to \infty$.
• Teoremas Abstratos: O artigo emprega resultados abstratos de Miller e de Su, Sun, Yuan que ligam as estimativas de resolvente à observabilidade da equação de Schrödinger.

3. Principais Contribuições e Resultados

Os autores estabelecem condições suficientes para a observabilidade baseadas no comportamento assintótico da densidade $\rho(x)$:

A. Observabilidade Contínua (Teoremas 1.3 e 1.4)

• Caso de Decaimento Moderado ($\rho(x) = O(|x|^{-1})$): Se o conjunto de observação $O$ é $(\gamma, \rho)$-thick com $\rho(x) \sim |x|^{-1}$, a equação é observável para tempos suficientemente grandes ($T \ge T_0$).
• Caso de Decaimento Rápido ($\rho(x) = O(|x|^{-\alpha})$ com $\alpha > 1$): Se a densidade decai mais rapidamente que $|x|^{-1}$, a equação é observável para qualquer tempo $T > 0$. A constante de observabilidade cresce exponencialmente com $1/T^2$, mas a desigualdade vale.
  • Nota: Estes resultados generalizam casos unidimensionais conhecidos e fornecem condições suficientes (não necessariamente necessárias) para dimensões superiores.

B. Observabilidade em Dois Instantes (Teorema 1.5)

• Para tempos $T > S > 0$, a observabilidade é garantida se $O_1$ for $(\gamma, \rho_\alpha)$-thick e $O_2$ for $(\gamma, \rho_{1/\alpha})$-thick, onde $\rho_\alpha(x) \sim |x|^{-\alpha}$.
• Este resultado é considerado "afiado" (sharp) no sentido de que, se a densidade decair mais rápido que $|x|^{-1}$ (ou seja, $|x|\rho(x) \to 0$), a observabilidade em dois instantes pode falhar para conjuntos com a mesma densidade.

C. Generalizações (Seção 4)

• Equação de Schrödinger Fracionária: Os resultados são estendidos para a equação $i\partial_t u - (-\Delta)^s u = 0$. O decaimento necessário da densidade $\rho(x)$ depende do expoente fracionário $s$. À medida que $s \to \infty$, a condição de espessura necessária torna-se mais fraca.
• Potenciais Limitados: A observabilidade é mantida para a equação com um potencial real limitado $V \in L^\infty$, desde que a condição de espessura sobre $O$ seja satisfeita.

4. Significado e Impacto

• Generalização Geométrica: O trabalho expande significativamente o entendimento sobre quais conjuntos de observação são suficientes para controlar a equação de Schrödinger. Mostra que não é necessário que o conjunto de observação seja "grosso" em todo o espaço (densidade constante); conjuntos que se tornam mais esparsos no infinito ainda podem garantir a observabilidade, desde que o decaimento da espessura não seja muito rápido.
• Conexão com Princípios de Incerteza: O artigo reforça a ligação fundamental entre a teoria de controle (observabilidade) e a análise harmônica (princípios de incerteza), utilizando ferramentas modernas de Kovrijkine para lidar com geometrias não periódicas e não limitadas.
• Aplicabilidade: Os resultados fornecem ferramentas teóricas para o projeto de sensores em sistemas quânticos onde a medição contínua em todo o espaço é impossível, permitindo que medições em regiões esparsas (mas estruturadas) sejam suficientes para reconstruir o estado inicial.

Em resumo, o artigo estabelece que a observabilidade da equação de Schrödinger é robusta contra o decaimento da densidade do conjunto de observação, desde que esse decaimento seja controlado por leis de potência específicas, utilizando uma combinação sofisticada de estimativas espectrais e princípios de incerteza quantitativos.