Photon surfaces extension in general spherical dust collapse

Resumo Técnico: Extensão da Superfície de Fótons na Colapso de Poeira Esférica Geral

Problema
Este artigo estende a análise das superfícies de fótons no colapso de poeira esférica do caso marginalmente ligado ($k(x) = 0$) para o caso geral, não marginalmente ligado, onde a função de energia $k(x)$ do modelo Lemaître–Tolman–Bondi (LTB) é não nula. No regime marginalmente ligado, a equação de evolução LTB admite uma solução elementar em forma fechada, facilitando a derivação da dinâmica da superfície de fótons. No entanto, para $k(x) \neq 0$, a equação de evolução produz apenas soluções implícitas ou paramétricas, e as equações da superfície de fótons adquirem termos adicionais dependentes de $k(x)$ e sua derivada. A questão central abordada é se o quadro qualitativo estabelecido no caso marginalmente ligado — especificamente em relação à natureza da extensão da superfície de fótons e sua relação com a estrutura causal da singularidade central — permanece robusto quando a suposição de energia de ligação zero é relaxada.

Metodologia
Os autores empregam uma formulação de sistemas dinâmicos para analisar a condição da superfície de fótons.

1. Formulação de Sistema Dinâmico: Com base no trabalho anterior (Artigo I), a condição geométrica para uma hipersuperfície do tipo tempo ser uma superfície de fótons é reescrita como um sistema dinâmico de primeira ordem não autônomo. Para a métrica LTB geral com $k(x) \neq 0$, este sistema envolve uma variável auxiliar $y(t)$ que representa a inclinação da hipersuperfície em relação aos observadores comóveis.
2. Análise de Admissibilidade: Os autores investigam as condições iniciais necessárias para que a superfície de fótons se estenda continuamente da região de Schwarzschild exterior ($r=3M$) para dentro da nuvem de poeira em colapso. Eles utilizam teoremas de comparação para equações diferenciais ordinárias (ODEs) e as soluções implícitas da equação de evolução LTB para descartar extensões fisicamente inaceitáveis (especificamente, aquelas com inclinação inicial $|y_0| < 1$).
3. Análise de Geodésicas Nulas: Uma vez que a única extensão fisicamente aceitável é identificada como uma hipersuperfície nula gerada por geodésicas radiais nulas de saída, o problema reduz-se à análise do comportamento dessas geodésicas próximo à singularidade central. Os autores utilizam a classificação da estrutura causal do modelo LTB geral (baseada nos parâmetros $n$ e $a$ derivados das expansões de Taylor dos perfis de massa e energia) e empregam argumentos de comparação de sub e supersoluções.
4. Transformação de Coordenadas: Na análise de singularidades nuas, os autores utilizam coordenadas de raio de área $(r, x)$ para lidar com a natureza implícita da solução LTB, tratando o raio de área $r$ como uma coordenada de tempo reversa para estabelecer limites sobre as geodésicas nulas.

Principais Contribuições e Resultados

• Unicidade da Extensão Nula: O artigo prova que, independentemente da energia de ligação inicial não nula ($k(x) \neq 0$), a única extensão fisicamente aceitável da esfera de fótons exterior ($r=3M$) para dentro da nuvem de poeira em colapso é uma hipersuperfície nula gerada por geodésicas radiais nulas de saída. Todas as extensões do tipo tempo com uma inclinação inicial $|y_0| < 1$ mostram-se incompatíveis com as condições de correspondência na fronteira da nuvem.
• Teorema 3.2 (Teorema da Extensão Nula): O modelo de colapso de poeira esférica geral admite uma única extensão fisicamente aceitável da superfície de fótons exterior, que é estritamente uma hipersuperfície nula definida pela equação da geodésica nula radial de saída.
• Teorema 4.1 (Alcançabilidade da Singularidade): O artigo estabelece uma dicotomia estrita quanto ao destino da superfície de fótons:
  • Singularidade Coberta (Buraco Negro): Se a singularidade central for coberta (ex: $n \geq 4$ ou $n=3$ com um coeficiente $a$ suficientemente pequeno), a superfície de fótons termina no centro regular ($x=0$) em um tempo estritamente antes da formação da singularidade ($t < t_s(0)$). Nenhuma geodésica nula de saída emana da singularidade.
  • Singularidade Nua: Se a singularidade central for nua (ex: $n \in \{1, 2\}$ ou $n=3$ com um $a$ suficientemente grande), a superfície de fótons atinge a singularidade central ($t \to t_s(0)$). Além disso, uma família infinita de geodésicas nulas radiais de saída emana da singularidade nua e escapa para o exterior, situando-se estritamente abaixo da superfície de fótons.
• Robustez do Quadro Qualitativo: Os resultados demonstram que o comportamento qualitativo das superfícies de fótons no colapso LTB é independente da suposição de marginais ligações. A dicotomia estrutural entre os estados finais de buraco negro e singularidade nua persiste no caso geral.

Significância e Alegações
O artigo alega que a ligação entre a estrutura global da superfície de fótons e a natureza causal local da singularidade central é uma característica robusta do modelo LTB, e não um artefato da simplificação $k(x)=0$. Ao estender a análise para o caso geral não marginalmente ligado, os autores confirmam que a superfície de fótons atinge a singularidade central se, e somente se, a singularidade for nua.

Os autores sugerem que esta dicotomia estrutural tem implicações para as assinaturas observacionais do colapso gravitacional. Especificamente, a existência de uma família infinita de geodésicas nulas de saída com redshift arbitrariamente grande no caso da singularidade nua implica que a sombra de início de tempo de uma singularidade nua em formação deve diferir substancialmente daquela de um buraco negro em formação. Essa distinção poderia potencialmente ser detectada por instrumentos observacionais de próxima geração, como o Event Horizon Telescope, fornecendo um teste para a conjectura de censura cósmica. O artigo conclui que esses achados apoiam a visão de que a formação e as características de tempo inicial das sombras de buracos negros estão profundamente ligadas à estrutura causal do espaço-tempo subjacente.