Cálculo linha por linha6 movimentos explicados+
Fixar o exterior de Schwarzschild como fundo de campo-teste e integrar, linha por linha, a coordenada tartaruga.
Antes de começar
- Esta é uma extensão calculada: o campo de Proca não retroage na métrica.
- Trabalhamos somente no exterior estrito \(r>2M\), com \(M>0\) e assinatura \((+---)\).
- A constante aditiva de r* é convencional e será escolhida para obter a forma adimensional exibida no laboratório.
Linha 1 Escreva a métrica exterior
\[ds^2=f(r)dt^2-f(r)^{-1}dr^2-r^2d\Omega^2,\qquad f(r):=1-\frac{2M}{r}\]O que fizemos Fixamos a geometria antes de introduzir o campo-teste.
Por que é válido \(M\) permanece constante porque a retroação Einstein–Proca está fora do laboratório.
Linha 2 Registre a condição de vácuo
\[R_{\mu\nu}=0,\qquad R=0,\qquad r>2M\]O que fizemos Especializamos as equações geométricas à região exterior sem matéria.
Por que é válido Schwarzschild é uma solução de vácuo, não um espaço-tempo plano.
Linha 3 Defina a coordenada tartaruga
\[\frac{dr_*}{dr}:=\frac1{f(r)}=\frac{r}{r-2M}=1+\frac{2M}{r-2M}\]O que fizemos Dividimos \(r\) por \(r\) menos 2M para separar uma parte constante e uma parte logarítmica.
Por que é válido A decomposição permite integrar os dois termos elementarmente.
Linha 4 Integre em \(r\)
\[r_*=\int\!\left(1+\frac{2M}{r-2M}\right)dr=r+2M\ln|r-2M|+C\]O que fizemos Integramos um e um sobre \(r\) menos 2M termo a termo.
Por que é válido No exterior, \(r\) menos 2M é positivo, mas o módulo mantém a primitiva formal.
Linha 5 Escolha a constante e torne a expressão adimensional
\[\boxed{\frac{r_*}{2M}=\frac r{2M}+\ln\!\left(\frac r{2M}-1\right)}\]O que fizemos Absorvemos 2M dentro do logaritmo na constante C e dividimos por 2M.
Por que é válido O argumento do logaritmo deve ser adimensional; constantes aditivas em \(r\) estrela não alteram a física.
Linha 6 Reproduza \(r\) estrela e leia os extremos
\[\frac{r_*}{2M}=\frac{r}{2M}+\ln\!\left(\frac{r}{2M}-1\right),\qquad r\to2M^+:\ r_*\to-\infty,\qquad r\to\infty:\ r_*=r+2M\ln(r/2M)+O(1)\]O que fizemos Reunimos a forma adimensional integrada e tomamos seus dois limites exteriores.
Por que é válido O logaritmo diverge negativamente quando o argumento tende a zero positivo e cresce lentamente para \(r\) grande.