On the observability of the Schrödinger equation in the torus from open sets

Resumo Técnico: Observabilidade da Equação de Schrödinger no Toro a partir de Conjuntos Abertos

Enunciado do Problema
Este artigo investiga a observabilidade da equação de Schrödinger no toro $d$-dimensional $\mathbb{T}^d = \mathbb{R}^d/(2\pi\mathbb{Z})^d$ a partir de um subconjunto aberto $\omega \subset \mathbb{T}^d$. A questão central é saber se a energia global de uma solução pode ser recuperada monitorando a solução apenas na subregião $\omega$ durante um intervalo de tempo finito $(0, T)$. Os autores analisam dois modelos distintos:

1. A equação de Schrödinger livre ($i\partial_t u - \Delta u = 0$).
2. A equação de Schrödinger com um potencial limitado ($i\partial_t u - \Delta u + V(t, x)u = 0$), onde $V \in L^\infty$.

O estudo aborda dois regimes específicos: estimativas quantitativas para tempos pequenos e conjuntos de observação pequenos (especificamente produtos de intervalos), e a validade geral da observabilidade para conjuntos abertos não vazios arbitrários e potenciais limitados em qualquer dimensão $d \ge 1$.

Metodologia
As demonstrações para os dois teoremas principais baseiam-se numa síntese de técnicas de decomposição em clusters e indução matemática, construindo sobre métodos introduzidos por Bourgain [Bou14] e posteriormente desenvolvidos por Burq e Zhu [BZ25]. A estratégia diverge ligeiramente para os dois resultados principais:

• Para a Equação Livre (Teorema 1.1): A prova é dividida em componentes de alta frequência e baixa frequência.

  • Alta Frequência: Os autores exploram a estrutura de clusters do conjunto $S_N = \{(n, |n|^2) \in \mathbb{Z}^{d+1} : |n| > N\}$. Eles particionam este conjunto em clusters disjuntos que estão espacialmente separados e contidos em sublattices afins de dimensão inferior. Um argumento indutivo sobre a dimensão desses sublattices produz uma estimativa de observabilidade de alta frequência.
  • Baixa Frequência: Os autores estabelecem uma estimativa quantitativa de continuação única. Isso é alcançado reduzindo o problema a uma estimativa de observabilidade para a equação do calor através de uma estratégia quantitativa de Lebeau-Robbiano, utilizando desigualdades de Turán-Nazarov e estimativas espectrais.
  • Síntese: Ao combinar a estimativa de alta frequência com a continuação única de baixa frequência, e quantificando cuidadosamente a dependência da medida do conjunto de observação $|\omega|$ e do tempo $T$, eles derivam a estimativa final.

• Para a Equação com Potencial Limitado (Teorema 1.2): A abordagem envolve estabelecer primeiro uma desigualdade de observabilidade fraca, seguida de um argumento de compacidade-unicidade (inspirado em [BLR92]) para remover o termo de resto.

  • Observabilidade Fraca: A solução $u$ é truncada no tempo para uma função $U$ em $\mathbb{T}^{d+1}$. Os autores realizam uma decomposição de frequência, isolando frequências próximas à hipersuperfície $m = |n|^2$. Eles utilizam uma decomposição em clusters para o conjunto $S'_N = \{(n, m) : |n| > N, |m - |n|^2| \le A\}$ para provar uma estimativa de observabilidade para a parte localizada de alta frequência.
  • Remoção do Resto: Um argumento de compacidade-unicidade é aplicado. Os autores mostram que o subespaço de dados iniciais que produzem observação nula em $\omega \times (0, T)$ é de dimensão finita e estável sob o operador $-\Delta + V$. Ao invocar a propriedade de continuação única (seja para potenciais independentes do tempo ou assumida para potenciais dependentes do tempo), eles provam que este subespaço é trivial, elevando assim a desigualdade fraca a uma estimativa completa de observabilidade.
  • Tratamento Direto: Uma vantagem metodológica chave notada é que os autores tratam o potencial limitado $V \in L^\infty$ diretamente, evitando a necessidade de aproximar $V$ por potenciais suaves, o que é uma técnica comum na literatura anterior.

Principais Contribuições e Resultados

1. Estimativa Quantitativa para a Equação Livre (Teorema 1.1):
   Os autores estabelecem uma estimativa quantitativa de observabilidade para a equação de Schrödinger livre quando o conjunto de observação $\omega$ é um produto de pequenos intervalos e o tempo $T$ é pequeno. A estimativa assume a forma:
   $$\|u_0\|_{L^2}^2 \le C \exp\left( \frac{C}{(|\omega|T)^{C'}} \right) \int_0^T \|e^{-it\Delta}u_0\|_{L^2(\omega)}^2 dt$$
   Este resultado estende o trabalho de Tao [Tao21] da dimensão $d=2$ e pequenas bolas para dimensões superiores e conjuntos produto. Embora os autores reconheçam que a dependência de sua constante em $|\omega|$ e $T$ não é assintoticamente precisa em comparação com a de Tao (devido à ausência de um termo $\log \log \epsilon^{-1}$), seu método fornece uma quantificação explícita tanto para a medida do conjunto quanto para o intervalo de tempo.

2. Observabilidade para Potenciais Limitados (Teorema 1.2):
   O artigo resolve uma conjectura bem conhecida no campo, provando que a observabilidade vale para a equação de Schrödinger com um potencial meramente limitado $V \in L^\infty(\mathbb{T}^d)$ em qualquer dimensão $d \ge 1$, para todo tempo $T > 0$ e todo subconjunto aberto não vazio $\omega$.

   • Para potenciais independentes do tempo $V(x)$, a observabilidade vale incondicionalmente.
   • Para potenciais dependentes do tempo $V(t, x)$, a observabilidade vale desde que o potencial satisfaça uma propriedade de continuação única.
     Os autores notam que seu método ainda não se estende a conjuntos mensuráveis arbitrários de medida positiva (uma conjectura mais forte de Burq e Zhu [BZ25]), embora lide com produtos de conjuntos mensuráveis.

Significado e Alegações
O artigo alega resolver uma conjectura de longa data sobre a observabilidade da equação de Schrödinger com potenciais $L^\infty$ no toro em todas as dimensões. Ao evitar a aproximação de potenciais por funções suaves, a metodologia oferece um tratamento mais direto de potenciais irregulares.

Os autores posicionam seu trabalho como um refinamento de técnicas existentes, explorando especificamente a decomposição em clusters de Bourgain para lidar com as complexidades geométricas e espectrais do toro. Eles afirmam explicitamente que, embora suas estimativas quantitativas para a equação livre não sejam precisas em termos da dependência de $T$ e $|\omega|$ (um problema que notam ter recebido atenção limitada na literatura de Schrödinger em comparação com a equação do calor), os resultados fornecem um quadro unificado para equações livres e equações impulsionadas por potenciais.

Os resultados têm aplicações padrão na teoria de controle, especificamente produzindo estimativas de resolvente para o operador de Schrödinger estacionário e resultados de controlabilidade através do Método de Unicidade de Hilbert, embora os autores adiem a formulação explícita dessas aplicações para a literatura existente.