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

Resumo Técnico: Problema Inverso de Estado Inicial-Final com Potenciais Criticamente Singulares

1. O Problema Investigado

O artigo aborda um problema inverso fundamental na equação de Schrödinger em dimensões altas ($n \geq 2$). O cenário considera um sistema quântico governado por uma equação de Schrödinger com um potencial independente do tempo $V(x)$:
$$i\partial_t u = -\Delta u + V u$$
com condição inicial $u(0, x) = f(x)$.

O objetivo principal é determinar se o mapa de estado inicial para estado final ($U_T$), que mapeia qualquer estado inicial $f \in L^2(\mathbb{R}^n)$ para o estado correspondente em um tempo fixo $T$ ($u(T, \cdot)$), determina unicamente o Hamiltoniano $-\Delta + V$. Em outras palavras, se dois potenciais $V_1$ e $V_2$ geram o mesmo mapa de evolução $U_T^1 = U_T^2$, eles devem ser idênticos ($V_1 = V_2$ quase sempre).

A inovação deste trabalho reside na classe de potenciais considerada. Diferentemente de trabalhos anteriores que exigiam decaimento super-exponencial no infinito (para potenciais dependentes do tempo) ou decaimento polinomial (para potenciais independentes do tempo), este artigo prova a unicidade para potenciais que:

1. Possuem singularidades locais do tipo $L^q$.
2. Possuem apenas decaimento do tipo $L^1$ no infinito.

Especificamente, o teorema principal estabelece unicidade para $V \in L^1(\mathbb{R}^n) \cap L^q(\mathbb{R}^n)$, onde:

• $q > 1$ se $n = 2$.
• $q \geq n/2$ se $n \geq 3$.
  O caso crítico $q = n/2$ (para $n \geq 3$) é particularmente desafiador e representa a principal contribuição técnica.

2. Metodologia e Estrutura da Prova

A prova segue uma estratégia clássica de problemas inversos, mas com refinamentos analíticos significativos para lidar com a falta de decaimento forte e a criticidade do expoente $q$.

A. Relação de Ortogonalidade de Alessandrini Estendida
O ponto de partida é a relação de ortogonalidade derivada da igualdade dos mapas $U_T^1 = U_T^2$. Para soluções físicas $u_1, v_2$ (pertencentes a $C([0, T]; L^2)$), obtém-se:
$$\int_{\Sigma} (V_1 - V_2) u_1 v_2 \, dx dt = 0$$
O desafio principal é que as soluções físicas não são suficientes para recuperar informações pontuais sobre $V$. É necessário testar esta identidade com estados estacionários (soluções da forma $e^{-i\lambda^2 t} w(x)$), que não pertencem ao espaço de soluções físicas padrão devido ao seu comportamento no infinito.

• Os autores estendem a relação de ortogonalidade para incluir esses estados estacionários, utilizando técnicas de integração por partes e aproximação suave.

B. Construção de Estados Estacionários (CGO)
Para extrair a Transformada de Fourier da diferença $F = V_1 - V_2$, os autores constroem soluções da forma:
$$\psi(t, x) = e^{-i\lambda^2 t} (e^{-i\lambda \omega \cdot x} + w_{cor}(x))$$
onde $w_{cor}$ é um termo de correção obtido resolvendo uma equação de Helmholtz perturbada:
$$(\Delta + \lambda^2 - V) w_{cor} = V e^{-i\lambda \omega \cdot x}$$
Isso requer a inversão do operador $(I - P_\lambda \circ V)$, onde $P_\lambda$ é o operador de solução da equação de Helmholtz.

C. Refinamento das Estimativas de Resolvente (O Caso Crítico)
A barreira técnica mais significativa ocorre no caso crítico $q = n/2$.

• Caso Não-Crítico ($q > n/2$): A estimativa clássica de resolvente de Kenig-Ruiz-Sogge garante que o operador de perturbação é pequeno para grandes $\lambda$, permitindo a construção via série de Neumann.
• Caso Crítico ($q = n/2$): A estimativa padrão de Kenig-Ruiz-Sogge não fornece decaimento no parâmetro de energia $\lambda$.
  • Solução: Os autores introduzem uma nova escala de espaços de Banach ($X_\lambda$ e $X^*_\lambda$) que combina estimativas em diferentes espaços $L^p$. Eles refinam a estimativa de Kenig-Ruiz-Sogge dentro desses espaços, recuperando um fator de decaimento em $\lambda$ (especificamente do tipo $\lambda^{-1/(n+1)}$) mesmo no caso crítico. Isso permite a construção dos estados estacionários para potenciais criticamente singulares.

D. Recuperação da Unicidade
Ao substituir os estados estacionários na relação de ortogonalidade estendida, os termos oscilatórios dominantes isolam a Transformada de Fourier de $V_1 - V_2$. O termo de erro (envolvendo as correções $w_{cor}$) é controlado e mostra-se que tende a zero quando $\lambda \to \infty$, provando que $\hat{F}(\xi) = 0$ para todo $\xi$, e consequentemente $V_1 = V_2$.

3. Contribuições Chave

1. Generalização da Classe de Potenciais: O trabalho relaxa drasticamente as hipóteses de decaimento no infinito. Enquanto trabalhos anteriores exigiam decaimento super-exponencial ou polinomial forte, este artigo aceita apenas integrabilidade $L^1$ no infinito, permitindo que o potencial seja "grande" em conjuntos de medida infinita, desde que seja integrável.
2. Tratamento do Caso Crítico $L^{n/2}$: A prova de unicidade para potenciais em $L^{n/2}(\mathbb{R}^n)$ (o limite inferior para a bem-postura da equação de Schrödinger) é um avanço significativo. O caso crítico era anteriormente um obstáculo devido à falta de decaimento nas estimativas de resolvente padrão.
3. Novas Estimativas de Resolvente: O desenvolvimento de uma estimativa refinada de Kenig-Ruiz-Sogge em espaços de Banach adaptados ($X_\lambda$) é uma ferramenta analítica nova que pode ser aplicada a outros problemas de espalhamento e inversos com singularidades críticas.
4. Evitação de Óptica Geométrica Complexa (CGO): Diferente do caso dependente do tempo, onde soluções de óptica geométrica complexa (com expoentes reais crescentes) exigem decaimento super-exponencial para controlar os erros, o caso independente do tempo permite o uso de soluções harmônicas no tempo (expoentes imaginários, módulo unitário). Isso elimina a necessidade de hipóteses de decaimento forte no infinito.

4. Resultados Principais

• Teorema 1.1: Se $V_1, V_2 \in L^1(\mathbb{R}^n) \cap L^q(\mathbb{R}^n)$ são potenciais independentes do tempo, com $q > 1$ ($n=2$) ou $q \geq n/2$ ($n \geq 3$), e os mapas de estado inicial-final coincidem ($U_T^1 = U_T^2$), então $V_1 = V_2$ quase sempre.
• A prova cobre tanto o regime não-crítico ($q > n/2$) quanto o regime crítico ($q = n/2$).

5. Significado e Impacto

Este trabalho representa um avanço substancial na teoria de problemas inversos para a equação de Schrödinger.

• Física Matemática: A capacidade de lidar com potenciais que possuem singularidades locais fortes e decaimento lento no infinito torna o modelo mais realista para certas aplicações físicas onde o potencial não é confinado a uma região compacta nem decai rapidamente.
• Análise PDE: A técnica de construir espaços de Banach adaptados para recuperar decaimento em estimativas de resolvente no caso crítico oferece um novo paradigma para lidar com a perda de regularidade ou decaimento em equações de onda e dispersivas.
• Contraste com Trabalhos Anteriores: O artigo demonstra que a dependência temporal é a principal razão pela qual se exigiam decaimentos super-exponenciais em trabalhos anteriores (como os de Caro-Ruiz). Ao focar no caso independente do tempo, os autores conseguem enfraquecer as condições de decaimento para o mínimo possível ($L^1$) sem sacrificar a unicidade.

Em resumo, o artigo resolve a questão da unicidade para uma classe de potenciais muito mais ampla e singular do que o estado da arte anterior, utilizando uma combinação sofisticada de estimativas de resolvente refinadas e uma análise cuidadosa da estrutura das soluções estacionárias.