Counterexamples to the Lorentzian Calderón problem

Resumo Técnico: Contraexemplos ao Problema de Calderón Lorentziano

1. O Problema Investigado

O artigo aborda o Problema de Calderón Lorentziano, uma versão hiperbólica do clássico problema inverso de Calderón (originalmente formulado para equações elípticas em geometria Riemanniana).

• Objetivo: Determinar a geometria subjacente de um espaço-tempo (uma métrica Lorentziana $g$) a partir de medições de fronteira.
• Dados de Fronteira: O operador Dirichlet-to-Neumann (DN) hiperbólico, denotado por $\Lambda^{\text{Hyp}}_g$. Este mapa mapeia condições de contorno de Dirichlet ($\phi$) para o fluxo normal da solução da equação de onda ($\partial_\nu u$) na fronteira $\partial M$.
• Pergunta Central (Questão 1.1): Se duas métricas Lorentzianas globais e hiperbólicas $g$ e $g'$ definidas em um cilindro $M$ (com fronteira temporal) produzem o mesmo mapa DN ($\Lambda^{\text{Hyp}}_g = \Lambda^{\text{Hyp}}_{g'}$), elas são isométricas via um difeomorfismo que fixa a fronteira?
• Contexto: Resultados positivos recentes exigem condições geométricas restritivas. Este trabalho busca testar a unicidade em cenários mais gerais, especificamente em cilindros infinitos com fronteira temporal.

2. Metodologia e Estrutura Teórica

Os autores utilizam a teoria de causalidade Lorentziana e a propagação finita de velocidade das ondas para construir contraexemplos. A metodologia baseia-se em três pilares principais:

1. Estrutura Global Hiperbólica:

   • Assume-se que o espaço-tempo $(M, g)$ é globalmente hiperbólico, garantindo a existência de uma função temporal de Cauchy $\tau$ e que o problema de valor inicial para a equação de onda está bem posto.
   • O teorema de Bernal e Sánchez garante que tal espaço-tempo pode ser foliado por hipersuperfícies de Cauchy espaciais suaves.

2. Construção de Regiões Inacessíveis:

   • A chave para os contraexemplos é a existência de um conjunto aberto não vazio $U \subset M$ que é inacessível a partir da fronteira $\partial M$.
   • Formalmente, isso significa que ou o passado causal de $U$ não intersecta a fronteira ($J^-_g(U) \cap \partial M = \emptyset$) ou o futuro causal não intersecta ($J^+_g(U) \cap \partial M = \emptyset$).
   • Devido à velocidade finita de propagação, perturbações da métrica dentro de $U$ não afetam as soluções da equação de onda na fronteira se os dados de entrada e saída estiverem fora do cone de luz de $U$.

3. Perturbação da Métrica e Invariância do Mapa DN:

   • Os autores constroem uma nova métrica $g'$ que coincide com $g$ fora de uma região compacta $U'$ contida em $U$, mas difere significativamente dentro de $U'$.
   • Proposição 1.1: Demonstra que se existe tal região inacessível $U$, é possível construir $g'$ globalmente hiperbólica tal que o mapa "fonte-para-solução" ($L_g$) é idêntico a $L_{g'}$, embora $g$ e $g'$ não sejam isométricas.
   • Proposição 1.2: Estabelece a ligação entre o mapa fonte-para-solução e o mapa DN. Se $L_g = L_{g'}$, então $\Lambda^{\text{Hyp}}_g = \Lambda^{\text{Hyp}}_{g'}$.
   • A prova utiliza argumentos de densidade e regularidade para estender a igualdade dos mapas de solução interna para a fronteira.

3. Principais Resultados e Exemplos Concretos

Os autores fornecem exemplos explícitos de variedades Lorentzianas onde a unicidade falha. Em todos os casos, a geometria é perturbada em uma região que não pode ser "vista" a partir da fronteira temporal do cilindro considerado.

• Hiperbolóide no Espaço de Minkowski:

  • Considera-se um domínio $M$ no espaço de Minkowski definido por $|x|^2 - a|x| - t^2 \leq 0$.
  • Existe uma região diamante $U$ no interior onde os geodésicos nulos que partem de $U$ nunca atingem a fronteira temporal $\partial M$. Perturbações locais na métrica dentro de $U$ são indetectáveis.

• Espaços-Tempo de Buracos Negros e Buracos Brancos (Schwarzschild):

  • Utiliza-se a extensão máxima de Kruskal do espaço-tempo de Schwarzschild.
  • A região do buraco negro ($B$) e a região do buraco branco ($W$) são causalmente desconectadas de certas regiões externas.
  • Ao escolher um cilindro $M$ que envolve o horizonte de eventos, as regiões de singularidade ou o interior do buraco negro/branco tornam-se inacessíveis a partir da fronteira temporal escolhida, permitindo perturbações não detectáveis.

• Universo com "Big Bounce" (Cosmologia FLRW):

  • Considera-se uma métrica FLRW com fator de escala $\cosh(Ht)$, descrevendo um universo que contrai e depois expande.
  • Devido à expansão/contração, existe um limite máximo para a distância coordenada que um raio de luz pode percorrer em um tempo finito.
  • Se o raio do cilindro espacial for suficientemente grande ($R > \pi/H$), existe uma região central $U$ onde os sinais emitidos nunca alcançam a fronteira temporal dentro do intervalo de tempo considerado, criando uma "zona de sombra" causal.

4. Contribuições Chave

1. Negatividade da Unicidade: O trabalho prova que, sem condições geométricas adicionais (como restrições na curvatura ou topologia específica), o Problema de Calderón Lorentziano não é único em cilindros com fronteira temporal.
2. Generalização de Resultados Anteriores: Diferencia-se de exemplos anteriores de "cloaking" (camuflagem) que envolviam métricas não suaves ou dados parciais, fornecendo contraexemplos com métricas suaves e dados completos na fronteira temporal.
3. Mecanismo de Inacessibilidade Causal: Estabelece formalmente que a não unicidade surge da existência de regiões causalmente desconectadas da fronteira, um fenômeno intrínseco à estrutura causal Lorentziana e à velocidade finita da luz.
4. Conexão entre Mapas de Solução e DN: Demonstra rigorosamente a equivalência entre a indistinguibilidade dos mapas fonte-para-solução e a indistinguibilidade dos mapas DN no contexto hiperbólico.

5. Significado e Implicações

• Limitações Fundamentais: O resultado impõe limites fundamentais ao que pode ser recuperado em problemas inversos em relatividade geral e física matemática. Não é possível determinar a geometria completa de um espaço-tempo apenas medindo ondas na fronteira se houver regiões causalmente isoladas.
• Relevância para Cloaking: O trabalho conecta-se à literatura de "cloaking" (camuflagem) em física, mostrando que é possível esconder perturbações geométricas em regiões específicas de um espaço-tempo, tornando-as invisíveis para observadores externos.
• Direção para Futuras Pesquisas: Sugere que para obter resultados de unicidade positivos, é necessário impor condições que garantam que a fronteira "veja" todo o espaço-tempo (por exemplo, através de condições de não-aparecimento de regiões inacessíveis ou restrições na curvatura que impeçam a formação de tais zonas de sombra).

Em suma, Oksanen e Särkkänen demonstram que a estrutura causal do espaço-tempo pode ser explorada para criar cenários onde a geometria interna é fundamentalmente indetectável a partir de medições de fronteira, desafiando a esperança de uma unicidade geral para o Problema de Calderón Lorentziano.