Massa Komar - Komar mass

A massa Komar (em homenagem a Arthur Komar) de um sistema é um dos vários conceitos formais de massa usados ​​na relatividade geral . A massa de Komar pode ser definida em qualquer espaço-tempo estacionário , que é um espaço - tempo no qual todos os componentes métricos podem ser escritos de forma que sejam independentes do tempo. Alternativamente, um espaço-tempo estacionário pode ser definido como um espaço-tempo que possui um campo vetorial Killing semelhante ao tempo .

A discussão a seguir é uma versão expandida e simplificada do tratamento motivacional em (Wald, 1984, pág. 288).

Motivação

Considere a métrica de Schwarzschild . Usando a base de Schwarzschild, um campo de moldura para a métrica de Schwarzschild, pode-se descobrir que a aceleração radial necessária para manter uma massa de teste estacionária em uma coordenada de Schwarzschild de r é:

Como a métrica é estática, há um significado bem definido para "manter uma partícula estacionária".

Interpretando essa aceleração como sendo devida a uma "força gravitacional", podemos então calcular a integral da aceleração normal multiplicada pela área para obter uma integral da "lei de Gauss" de:

Embora se aproxime de uma constante à medida que r se aproxima do infinito, não é uma constante independente de r . Estamos, portanto, motivados a introduzir um fator de correção para tornar o integral acima independente do raio r da casca envolvente. Para a métrica de Schwarzschild, esse fator de correção é apenas o fator de "desvio para o vermelho" ou "dilatação do tempo" na distância r . Pode-se também ver esse fator como "corrigindo" a força local para a "força no infinito", a força que um observador no infinito precisaria aplicar por meio de uma corda para manter a partícula estacionária. (Wald, 1984).

Para prosseguir, vamos escrever um elemento de linha para uma métrica estática.

onde g tt e a forma quadrática são funções apenas das coordenadas espaciais x , y , z e não são funções do tempo. Apesar de nossas escolhas de nomes de variáveis, não se deve presumir que nosso sistema de coordenadas seja cartesiano. O fato de nenhum dos coeficientes métricos serem funções do tempo torna a métrica estacionária: o fato adicional de que não há "termos cruzados" envolvendo os componentes do tempo e do espaço (como dx dt ) a torna estática.

Por causa da suposição simplificadora de que alguns dos coeficientes métricos são zero, alguns de nossos resultados neste tratamento motivacional não serão tão gerais quanto poderiam ser.

No espaço-tempo plano, a aceleração adequada necessária para manter a estação é , onde u é a velocidade 4 de nossa partícula flutuante e tau é o tempo adequado. No espaço-tempo curvo, devemos tomar a derivada covariante. Assim, calculamos o vetor de aceleração como:

onde u b é uma unidade de vetor semelhante ao tempo tal que u b u b = -1.

O componente do vetor de aceleração normal à superfície é

onde N b é um vetor unitário normal à superfície.

Em um sistema de coordenadas de Schwarzschild, por exemplo, descobrimos que

como esperado - nós simplesmente derivamos novamente os resultados anteriores apresentados em um campo de quadro em uma base de coordenadas.

Nós definimos

de modo que em nosso exemplo Schwarzschild:

Podemos, se desejarmos, derivar as acelerações a be a "aceleração no infinito" a inf b ajustada de um potencial escalar Z, embora não haja necessariamente nenhuma vantagem particular em fazê-lo. (Wald 1984, pg 158, problema 4)

Vamos demonstrar que a integração do componente normal da "aceleração no infinito" um inf sobre uma superfície delimitadora nos dará uma quantidade que não depende da forma da esfera envolvente, de modo que possamos calcular a massa envolvida por uma esfera por o integral

Para fazer essa demonstração, precisamos expressar essa integral de superfície como uma integral de volume. No espaço-tempo plano, usaríamos o teorema de Stokes e integraríamos sobre o volume. No espaço-tempo curvo, essa abordagem precisa ser ligeiramente modificada.

Usando as fórmulas para eletromagnetismo em espaço-tempo curvo como um guia, escrevemos em vez disso.

onde F desempenha um papel semelhante ao "tensor de Faraday", em que podemos então encontrar o valor da "carga gravitacional", ou seja, massa, avaliando e integrando-o sobre o volume de nossa esfera.

Uma abordagem alternativa seria usar formas diferenciais , mas a abordagem acima é computacionalmente mais conveniente, além de não exigir que o leitor entenda as formas diferenciais.

Um cálculo longo, mas direto (com álgebra computacional) de nosso elemento de linha assumido nos mostra que

Assim podemos escrever

Em qualquer região de vácuo do espaço-tempo, todos os componentes do tensor de Ricci devem ser zero. Isso demonstra que encerrar qualquer quantidade de vácuo não mudará nosso volume integral. Isso também significa que nosso volume integral será constante para qualquer superfície envolvente, desde que incluamos toda a massa gravitante dentro de nossa superfície. Como o teorema de Stokes garante que nossa integral de superfície é igual à integral de volume acima, nossa integral de superfície também será independente da superfície envolvente, desde que a superfície envolva toda a massa gravitante.

Usando as equações de campo de Einstein

deixando u = v e soma, podemos mostrar que R = -8π T .

Isso nos permite reescrever nossa fórmula de massa como uma integral de volume do tensor tensão-energia.

Onde

  • V é o volume que está sendo integrado;
  • T ab é o tensor tensão-energia ;
  • u a é uma unidade de vetor semelhante ao tempo tal que u a u a = -1.

Massa Komar como volume integral - métrica estacionária geral

Para fazer a fórmula para a massa de Komar funcionar para uma métrica estacionária geral, independentemente da escolha das coordenadas, ela deve ser ligeiramente modificada. Apresentaremos o resultado aplicável de (Wald, 1984 eq 11.2.10) sem uma prova formal.

Onde

  • V é o volume que está sendo integrado
  • T ab é o tensor tensão-energia ;
  • u a é uma unidade de vetor semelhante ao tempo tal que u a u a = -1;
  • é um vetor Killing , que expressa a simetria de tradução no tempo de qualquer métrica estacionária . O vetor Killing é normalizado para que tenha um comprimento unitário no infinito, ou seja, no infinito.

Observe que substitui em nosso resultado motivacional.

Se nenhum dos coeficientes métricos são funções do tempo,

Embora não seja necessário escolher coordenadas para um espaço-tempo estacionário de forma que os coeficientes métricos sejam independentes do tempo, muitas vezes é conveniente .

Quando escolhemos tais coordenadas, o vetor Killing semelhante ao tempo para o nosso sistema torna-se um múltiplo escalar de um vetor coordenado-tempo unitário, ou seja, quando este for o caso, podemos reescrever nossa fórmula como

Por ser, por definição, um vetor unitário, K é apenas o comprimento de , ou seja, K = .

Avaliando o fator de "desvio para o vermelho" K com base em nosso conhecimento dos componentes de , podemos ver que K = .

Se escolhermos nossas coordenadas espaciais de modo que tenhamos uma métrica Minkowskiana local , sabemos que

Com essas escolhas de coordenadas, podemos escrever nossa integral de Komar como

Embora não possamos escolher um sistema de coordenadas para tornar um espaço-tempo curvo globalmente Minkowskiano, a fórmula acima fornece alguns insights sobre o significado da fórmula de massa de Komar. Essencialmente, tanto a energia quanto a pressão contribuem para a massa Komar. Além disso, a contribuição da energia e massa locais para a massa do sistema é multiplicada pelo fator de "desvio para o vermelho" local

Massa Komar como superfície integral - métrica estacionária geral

Também desejamos dar o resultado geral para expressar a massa de Komar como uma integral de superfície.

A fórmula para a massa de Komar em termos de métrica e seu vetor de Killing é (Wald, 1984, pg 289, fórmula 11.2.9)

onde estão os símbolos Levi-civita e é o vetor Killing de nossa métrica estacionária , normalizada de modo que no infinito.

A integral de superfície acima é interpretada como a integral "natural" de uma forma dois sobre uma variedade.

Como mencionado anteriormente, se nenhum dos coeficientes métricos são funções do tempo,

Veja também

Notas

Referências