Gravidade Modificada em Objetos Compactos

passo01

Em $f(R,\mathcal L_m)$, a matéria deixa de ser apenas uma parcela somada à geometria.

Acople matéria e geometria na ação

entradaaprovada

S=\int f(R,\mathcal L_m)\sqrt{-g}\,d^4x

Na teoria f de $R$ e Lagrangiana da matéria, geometria e matéria aparecem na mesma função da ação.

operação aplicadaEscolha a família $f_1(R)+[1+σf_2(R)]\mathcal L_m$ e a convenção $\mathcal L_m=−p$ usada na tese.

Cálculo linha por linha5 movimentos explicados

Objetivo deste cálculo

Mostrar onde nasce o acoplamento não mínimo entre curvatura e matéria, sem trocar a convenção da Lagrangiana material no meio da conta.

Antes de começar

Formalismo métrico e unidades geométricas.
$σ$ controla o produto entre matéria e curvatura.
A cadeia da tese fixa $\mathcal L_m=−p$; ela não é intercambiável com $\mathcal L_m=ρ$.

Linha 1
Comece pela ação genérica
$S[g,\mathrm{matéria}]=\int d^4x\,\sqrt{-g}\,f(R,\mathcal L_m)$
O que fizemos
Escrevemos o objeto a variar antes de escolher uma forma para f.
Por que é válido
A Eq. (3.21) da tese define essa classe no formalismo métrico.
Conferir emTese · Eq. (3.20)–(3.23) · p. 28–29 ↗ (abre em nova aba)
Linha 2
Separe o termo de interação
$f(R,\mathcal L_m)=\underbrace{f_1(R)+\mathcal L_m}_{\mathrm{setor\ mínimo}}+\underbrace{\sigma f_2(R)\mathcal L_m}_{\mathrm{acoplamento}}$
O que fizemos
Expandimos o fator um mais sigma f dois que multiplica a Lagrangiana.
Por que é válido
É a família f1 mais abre colchetes um mais sigma f2 fecha colchetes vezes $\mathcal L_m$ usada na tese.
Conferir emTese · Eq. (3.20)–(3.23) · p. 28–29 ↗ (abre em nova aba)Tese · Eq. (4.17)–(4.21) · p. 38 ↗ (abre em nova aba)
Linha 3
Insira a convenção do fluido
$\mathcal L_m=-p\quad\Longrightarrow\quad f(R,-p)=f_1(R)-[1+\sigma f_2(R)]p$
O que fizemos
Substituímos $\mathcal L_m$ por menos $p$ em todas as ocorrências.
Por que é válido
Em uma teoria que depende de $\mathcal L_m$, essa escolha participa da variação e não pode ser alterada silenciosamente.
Conferir emTese · Eq. (3.20)–(3.23) · p. 28–29 ↗ (abre em nova aba)Tese · Eq. (4.17)–(4.21) · p. 38 ↗ (abre em nova aba)
Linha 4
Exiba o produto matéria–curvatura
$f_1(R)=f_2(R)=R\quad\Longrightarrow\quad f(R,-p)=R-p-\sigma Rp$
O que fizemos
Aplicamos f1 igual a $R$ e f2 igual a $R$ à linha anterior.
Por que é válido
O produto $σRp$ é o termo não mínimo; fatores globais ainda dependem da normalização escolhida para o setor de Einstein.
Conferir emTese · Eq. (3.20)–(3.23) · p. 28–29 ↗ (abre em nova aba)Tese · Eq. (4.17)–(4.21) · p. 38 ↗ (abre em nova aba)
Linha 5
Teste o desacoplamento
$\lim_{\sigma\to0}f(R,\mathcal L_m)=f_1(R)+\mathcal L_m$
O que fizemos
Tomamos o limite sigma igual a zero antes de comparar equações de campo.
Por que é válido
O teste elimina somente o acoplamento e não mistura normalizações distintas de f1.
Conferir emTese · Eq. (3.20)–(3.23) · p. 28–29 ↗ (abre em nova aba)

saídaaprovada

f(R,\mathcal L_m)=f_1(R)+\bigl[1+\sigma f_2(R)\bigr]\mathcal L_m,\qquad \mathcal L_m=-p

A tese escolhe um acoplamento não mínimo controlado pelo parâmetro sigma.

Regra ou lema

$σ$ controla o acoplamento não mínimo.
$σ=0$ remove esse acoplamento na família escolhida.

Hipóteses

Formalismo métrico.
Fluido perfeito.

Checkpoint: consigo justificar este passo?

A escolha de $\mathcal L_m$ é parte da definição do modelo e não pode ser trocada silenciosamente pela escolha $\mathcal L_m=ρ$ usada no artigo de $f(R,T)$.

Fontes deste passo

Tese 2019 · cap. 3 · § 3.3 · Eq. (3.20)–(3.23) · p. 28–29 · PDF 28 ↗
Tese 2019 · cap. 4 · § 4.2 · Eq. (4.17)–(4.21) · p. 38 · PDF 38 ↗A Eq. (4.17) contém $α′p′$ sem definição inequívoca. O site não a promove a fórmula canônica e mostra apenas relações auditáveis ao redor dela.

passo02

O escalar de Ricci passa a participar da integração como variável dinâmica.

Reconheça o sistema acoplado

entrada 1aprovada

f(R,\mathcal L_m)=f_1(R)+\bigl[1+\sigma f_2(R)\bigr]\mathcal L_m,\qquad \mathcal L_m=-p

A tese escolhe um acoplamento não mínimo controlado pelo parâmetro sigma.

entrada 2aprovada

R=-\frac{T(1+\sigma R)-6\sigma\Box p}{1+2\sigma p}

O traço das equações de campo promove o escalar de Ricci a uma variável acoplada à matéria e às derivadas da pressão.

operação aplicadaCombine o traço, as componentes temporal e radial e a conservação para contar equações e incógnitas.

Cálculo linha por linha5 movimentos explicados

Objetivo deste cálculo

Entender por que o traço não determina $R$ isoladamente, mas integra um sistema diferencial acoplado que ainda precisa de uma equação de estado.

Antes de começar

Métrica estática e esfericamente simétrica, com $φ(r)$ e $ψ(r)$.
Fluido perfeito com $ρ(r)$, $p(r)$ e $p=p(ρ)$.
O símbolo não definido da Eq. (4.17) não será executado.

Linha 1
Liste as funções desconhecidas
$\mathbf y(r)=(R(r),\phi(r),\psi(r),\rho(r),p(r))$
O que fizemos
Reunimos todas as funções radiais que aparecem nas componentes e no traço.
Por que é válido
A Seção $4.2$ da tese conta essas cinco variáveis ao discutir o fechamento.
Conferir emTese · Eq. (4.17)–(4.21) · p. 38 ↗ (abre em nova aba)
Linha 2
Escreva o traço acoplado
$R=-\frac{T(1+\sigma R)-6\sigma\Box p}{1+2\sigma p}$
O que fizemos
Contraímos as equações de campo com a métrica.
Por que é válido
A Eq. (4.19) mostra que $R$ deixa de ser uma substituição puramente algébrica quando caixa $p$ contém derivadas.
Conferir emTese · Eq. (4.17)–(4.21) · p. 38 ↗ (abre em nova aba)
Linha 3
Abra o operador diferencial
$\Box p=\nabla_\mu\nabla^\mu p=\frac{1}{\sqrt{-g}}\frac{d}{dr}\!\left(\sqrt{-g}\,g^{rr}p'\right)$
O que fizemos
Usamos a identidade covariante para um escalar e eliminamos as derivadas temporal e angulares.
Por que é válido
A forma radial revela a ordem diferencial sem pressupor um solver.
Conferir emTese · Eq. (4.17)–(4.21) · p. 38 ↗ (abre em nova aba)
Linha 4
Acrescente conservação e EoS
$p'=-\frac12(\rho+p)\phi',\qquad p=p(\rho)\Longrightarrow p'=\frac{dp}{d\rho}\rho'$
O que fizemos
Projetamos a conservação na direção radial e aplicamos a regra da cadeia à EoS.
Por que é válido
As Eqs. (4.20) e (4.21) só fecham o setor material depois que a relação constitutiva é declarada.
Conferir emTese · Eq. (4.17)–(4.21) · p. 38 ↗ (abre em nova aba)
Linha 5
Mantenha o núcleo auditável
$\{\mathcal E_{tt}=0,\ \mathcal E_{rr}=0,\ \mathcal E_{\rm tr}=0,\ \nabla^\mu T_{\mu r}=0,\ p-p(\rho)=0\}$
O que fizemos
Organizamos as relações independentes como um sistema implícito.
Por que é válido
A ressalva da Eq. (4.17) impede converter um termo sem definição em coeficiente numérico inventado.
Conferir emTese · Eq. (4.17)–(4.21) · p. 38 ↗ (abre em nova aba)

saídaaprovada

\mathcal E_{tt}[R,\phi,\psi,\rho,p]=0,\quad \mathcal E_{rr}[R,\phi,\psi,\rho,p]=0,\quad p'=-\frac12(\rho+p)\phi'

O problema completo é um sistema acoplado para Ricci, potenciais métricos, densidade e pressão.

Regra ou lema

Uma equação de estado relaciona $p$ e $ρ$.
O operador $□p$ introduz derivadas radiais adicionais.

Hipóteses

Simetria esférica e estática.

Checkpoint: consigo justificar este passo?

A expressão $α′p′$ da Eq. (4.17) não tem definição suficiente; ela permanece visível como ressalva, nunca como fórmula executada.

Fontes deste passo

Tese 2019 · cap. 4 · § 4.2 · Eq. (4.17)–(4.21) · p. 38 · PDF 38 ↗A Eq. (4.17) contém $α′p′$ sem definição inequívoca. O site não a promove a fórmula canônica e mostra apenas relações auditáveis ao redor dela.

passo03

A massa exige uma solução radial consistente para a densidade.

Defina o observável somente após integrar

entradaaprovada

\mathcal E_{tt}[R,\phi,\psi,\rho,p]=0,\quad \mathcal E_{rr}[R,\phi,\psi,\rho,p]=0,\quad p'=-\frac12(\rho+p)\phi'

O problema completo é um sistema acoplado para Ricci, potenciais métricos, densidade e pressão.

operação aplicadaResolva o sistema com uma equação de estado e integre $ρ$ até a superfície $p=0$.

Cálculo linha por linha5 movimentos explicados

Objetivo deste cálculo

Derivar a massa como resultado de uma solução radial completa e explicar por que a ação, sozinha, não produz uma curva massa–raio.

Antes de começar

Escolha uma EoS e uma densidade central antes da integração.
A solução deve ser regular no centro e alcançar uma primeira superfície com $p=0$.
O encadeamento abaixo não inventa uma solução para a componente ambígua.

Linha 1
Fixe os dados centrais
$r=0:\qquad \rho(0)=\rho_c,\quad p(0)=p(\rho_c),\quad m(0)=0$
O que fizemos
Transformamos a EoS em dados iniciais regulares.
Por que é válido
Uma esfera de raio zero não encerra volume e a EoS deve valer desde o centro.
Conferir emTese · Eq. (4.17)–(4.21) · p. 38 ↗ (abre em nova aba)Tese · Eq. Figuras 5.6–5.9 · p. 50–52 ↗ (abre em nova aba)
Linha 2
Associe uma solução ao centro
$\rho_c\longmapsto\mathbf y_{\rho_c}(r)=(R,\phi,\psi,\rho,p)_{\rho_c}(r)$
O que fizemos
Indicamos a dependência nos dados centrais sem afirmar um método numérico inexistente.
Por que é válido
O observável deve ser calculado sobre uma solução que satisfaça simultaneamente o sistema auditado.
Conferir emTese · Eq. (4.17)–(4.21) · p. 38 ↗ (abre em nova aba)
Linha 3
Localize a superfície
$R_\star(\rho_c)=\min\{r>0\mid p_{\rho_c}(r)=0\}$
O que fizemos
Definimos a superfície a partir do perfil de pressão.
Por que é válido
A condição $p$ igual a zero é a fronteira usada nas famílias estelares da tese.
Conferir emTese · Eq. (4.17)–(4.21) · p. 38 ↗ (abre em nova aba)Tese · Eq. Figuras 5.6–5.9 · p. 50–52 ↗ (abre em nova aba)
Linha 4
Acumule a densidade em cascas
$m'(r)=4\pi r^2\rho(r),\qquad m(0)=0$
O que fizemos
Aplicamos o teorema fundamental do cálculo à Eq. (4.21).
Por que é válido
Esta linha define o observável; ela não substitui as equações de campo acopladas.
Conferir emTese · Eq. (4.17)–(4.21) · p. 38 ↗ (abre em nova aba)
Linha 5
Avalie e repita
$M(\rho_c)=\int_0^{R_\star}4\pi r^2\rho_{\rho_c}(r)\,dr,\qquad \{\rho_c^{(j)}\}\mapsto\{R_\star^{(j)},M^{(j)}\}$
O que fizemos
Avaliamos a integral para cada solução completa, mantendo teoria e EoS fixas.
Por que é válido
É esse conjunto que sustenta uma curva; a ação não fornece sozinha os pares numéricos.
Conferir emTese · Eq. (4.17)–(4.21) · p. 38 ↗ (abre em nova aba)Tese · Eq. Figuras 5.6–5.9 · p. 50–52 ↗ (abre em nova aba)Tese · p. 53–55 ↗ (abre em nova aba)

saídaaprovada

M=\int_0^{R_\star}4\pi r^2\rho(r)\,dr

A massa estelar é calculada integrando a densidade ao longo da solução radial.

Regra ou lema

Definição integral de massa da tese.
A superfície é determinada dinamicamente.

Hipóteses

Solução regular no centro.

Checkpoint: consigo justificar este passo?

Uma curva massa–raio não pode ser deduzida apenas olhando os termos da ação; é necessário resolver todo o sistema.

Fontes deste passo

Tese 2019 · cap. 4 · § 4.2 · Eq. (4.17)–(4.21) · p. 38 · PDF 38 ↗A Eq. (4.17) contém $α′p′$ sem definição inequívoca. O site não a promove a fórmula canônica e mostra apenas relações auditáveis ao redor dela.
Tese 2019 · cap. 5 · § 5.1.2–5.2 · Eq. Figuras 5.6–5.9 · p. 50–52 · PDF 50 ↗
Tese 2019 · cap. 6 · p. 53–55 · PDF 53 ↗A tese declara que não obteve curvas numéricas para os modelos de brana e que a estabilidade do GMC exige oscilações radiais.

passo04

No mundo-brana, o bulk aparece como uma fonte efetiva para a estrela 4D.

Separe correções locais e não locais

entradaaprovada

G_{\mu\nu}=R_{\mu\nu}-\frac12Rg_{\mu\nu}=8\pi T_{\mu\nu}

A curvatura de Einstein é igual a oito pi vezes o tensor energia–momento.

operação aplicadaProjete as correções da dimensão extra na brana e agrupe termos quadráticos e de Weyl em $ρ_eff$ e $p_eff$.

Cálculo linha por linha6 movimentos explicados

Objetivo deste cálculo

Projetar as correções de Randall–Sundrum como fontes efetivas 4D, separando matéria, termos quadráticos locais e informação não local de Weyl.

Antes de começar

A estrela está na brana 4D; o bulk 5D aparece por termos projetados.
$λ$ é a tensão da brana; $\mathcal U$ e $\mathcal P$ são fontes não locais.
Os coeficientes de Weyl ficam simbólicos porque a Eq. (4.30) aparenta omitir $\mathcal U$.

Linha 1
Agrupe a fonte da brana
$G_{\mu\nu}=8\pi T^{\rm eff}_{\mu\nu}$
O que fizemos
Levamos todas as contribuições do bulk para o lado material.
Por que é válido
A Eq. (4.22) da tese introduz essa organização.
Conferir emTese · Eq. (4.22)–(4.32) · p. 39–41 ↗ (abre em nova aba)
Linha 2
Separe as três origens
$T^{\rm eff}_{\mu\nu}=T_{\mu\nu}+\frac{6}{\lambda}S_{\mu\nu}-\frac{1}{8\pi}\xi_{\mu\nu}$
O que fizemos
Abrimos o tensor efetivo nas parcelas da Eq. (4.23).
Por que é válido
A decomposição permite desligar e testar cada contribuição separadamente.
Conferir emTese · Eq. (4.22)–(4.32) · p. 39–41 ↗ (abre em nova aba)
Linha 3
Projete o termo local
$S_{\mu\nu}=\frac{1}{12}\rho^2u_\mu u_\nu+\frac{1}{12}\rho(\rho+2p)h_{\mu\nu}$
O que fizemos
Substituímos o tensor de fluido perfeito em S e separamos projeções temporal e espacial.
Por que é válido
A Eq. (4.25) exibe diretamente os termos que serão suprimidos por um sobre $λ$.
Conferir emTese · Eq. (4.22)–(4.32) · p. 39–41 ↗ (abre em nova aba)
Linha 4
Mantenha Weyl explícito
$\xi_{\mu\nu}=-\frac{1}{8\pi\lambda}\left[\mathcal Uu_\mu u_\nu+\mathcal Pr_\mu r_\nu+\frac{\mathcal U-\mathcal P}{3}h_{\mu\nu}\right]$
O que fizemos
Usamos os vetores comóvel e radial para decompor o tensor sob simetria esférica.
Por que é válido
A Eq. (4.26) identifica graus de liberdade que não vêm apenas da matéria da brana.
Conferir emTese · Eq. (4.22)–(4.32) · p. 39–41 ↗ (abre em nova aba)
Linha 5
Defina as fontes efetivas auditadas
$\rho_{\rm eff}=\rho+\frac{\rho^2}{2\lambda}+\rho_{\mathcal E},\qquad p_{\rm eff}=p+\frac{\rho(\rho+2p)}{2\lambda}+p_{\mathcal E}$
O que fizemos
Coletamos os coeficientes temporal e radial e não canonizamos o termo possivelmente omitido.
Por que é válido
$ρE$ e pE impedem transformar uma impressão incompleta em coeficiente numérico.
Conferir emTese · Eq. (4.22)–(4.32) · p. 39–41 ↗ (abre em nova aba)
Linha 6
Confira o limite de Einstein
$\lambda^{-1},\rho_{\mathcal E},p_{\mathcal E}\to0\quad\Longrightarrow\quad(\rho_{\rm eff},p_{\rm eff})\to(\rho,p)$
O que fizemos
Anulamos separadamente as correções locais e não locais.
Por que é válido
Apenas $λ$ grande não determina automaticamente os dados livres de Weyl.
Conferir emTese · Eq. (4.22)–(4.32) · p. 39–41 ↗ (abre em nova aba)

saídaaprovada

G_{\mu\nu}=8\pi T^{\mathrm{eff}}_{\mu\nu},\qquad \rho_{\mathrm{eff}}=\rho+\frac{\rho^2}{2\lambda}+\rho_{\mathcal E},\qquad p_{\mathrm{eff}}=p+\frac{\rho(\rho+2p)}{2\lambda}+p_{\mathcal E}

No modelo Randall–Sundrum, correções quadráticas locais e fontes não locais do bulk compõem densidade e pressão efetivas.

Regra ou lema

Correções locais são quadráticas em $ρ$ e $p$.
$\mathcal U$ e $\mathcal P$ codificam informação não local do bulk.

Hipóteses

Brana estática e esfericamente simétrica.

Checkpoint: consigo justificar este passo?

Como a Eq. (4.30) aparenta omitir $\mathcal U$, os coeficientes não locais ficam simbólicos; isso evita transformar um provável lapso em resultado.

Fontes deste passo

Tese 2019 · cap. 4 · § 4.3.1 · Eq. (4.22)–(4.32) · p. 39–41 · PDF 39 ↗A Eq. (4.30) aparenta omitir o fator $\mathcal U$. Os coeficientes não locais são mantidos simbólicos até revisão independente.

passo05

A TOV efetiva precisa de uma equação adicional para o setor não local.

Feche Randall–Sundrum com uma relação de Weyl

entradaaprovada

G_{\mu\nu}=8\pi T^{\mathrm{eff}}_{\mu\nu},\qquad \rho_{\mathrm{eff}}=\rho+\frac{\rho^2}{2\lambda}+\rho_{\mathcal E},\qquad p_{\mathrm{eff}}=p+\frac{\rho(\rho+2p)}{2\lambda}+p_{\mathcal E}

No modelo Randall–Sundrum, correções quadráticas locais e fontes não locais do bulk compõem densidade e pressão efetivas.

operação aplicadaUse as fontes efetivas nas componentes de Einstein e imponha $\mathcal P=ω\mathcal U$ para fechar o setor do bulk.

Cálculo linha por linha5 movimentos explicados

Objetivo deste cálculo

Reconstruir a estrutura TOV de Randall–Sundrum e localizar a equação extra necessária para fechar o setor de Weyl.

Antes de começar

Use a mesma métrica esférica e função massa da trilha de RG.
$ρ_{\mathrm{eff}}$ e peff contêm as parcelas locais e os marcadores não locais auditados.
$\mathcal P=ω\mathcal U$ é hipótese de fechamento, não identidade.

Linha 1
Defina a massa efetiva
$e^{-\psi}=1-\frac{2m}{r},\qquad m'=4\pi r^2\rho_{\rm eff}$
O que fizemos
Aplicamos à equação efetiva a mesma mudança geométrica usada na RG.
Por que é válido
A Eq. (4.27) conserva a estrutura de cascas com rho efetiva.
Conferir emTese · Eq. (4.22)–(4.32) · p. 39–41 ↗ (abre em nova aba)Tese · Eq. (2.9)–(2.12) · p. 21 ↗ (abre em nova aba)
Linha 2
Isole o gradiente temporal
$\frac{\phi'}{2}=\frac{4\pi r\,p_{\rm eff}+m/r^2}{1-2m/r}$
O que fizemos
Resolvemos algebricamente a componente radial para metade de phi linha.
Por que é válido
A parcela radial de Weyl permanece incluída na definição auditada de peff.
Conferir emTese · Eq. (4.22)–(4.32) · p. 39–41 ↗ (abre em nova aba)
Linha 3
Use a conservação material
$p'=-\frac12(\rho+p)\phi'$
O que fizemos
Projetamos a conservação do fluido na direção radial.
Por que é válido
As correções do bulk já influenciam phi linha através da fonte efetiva.
Conferir emTese · Eq. (4.22)–(4.32) · p. 39–41 ↗ (abre em nova aba)Tese · Eq. (2.9)–(2.12) · p. 21 ↗ (abre em nova aba)
Linha 4
Monte a TOV efetiva
$p'=-(\rho+p)\frac{4\pi r\,p_{\rm eff}+m/r^2}{1-2m/r}$
O que fizemos
Substituímos phi linha na conservação e cancelamos o fator dois.
Por que é válido
A Eq. (4.28) apresenta essa estrutura, com Weyl rastreado pela pressão radial efetiva.
Conferir emTese · Eq. (4.22)–(4.32) · p. 39–41 ↗ (abre em nova aba)
Linha 5
Feche o setor não local
$\mathcal P=\omega\mathcal U,\qquad \mathcal U'=F(r,m,\rho,p,\mathcal U;\lambda,\omega)$
O que fizemos
Inserimos P igual a omega U na relação diferencial do setor de Weyl.
Por que é válido
A Eq. (4.32) ilustra o fechamento; sem ele, restam duas funções para uma única relação.
Conferir emTese · Eq. (4.22)–(4.32) · p. 39–41 ↗ (abre em nova aba)

saídaaprovada

m'=4\pi r^2\rho_{\mathrm{eff}},\qquad p'=-(\rho+p)\frac{4\pi r\,p_{\mathrm{eff}}+m/r^2}{1-2m/r},\qquad \mathcal P=\omega\mathcal U

A TOV de Randall–Sundrum tem a forma da RG com fontes efetivas e requer uma relação adicional para os termos não locais de Weyl.

Regra ou lema

Mesma geometria esférica da TOV.
A relação $\mathcal P=ω\mathcal U$ é hipótese de fechamento, não identidade.

Hipóteses

$ω$ constante no modelo ilustrado pela tese.

Checkpoint: consigo justificar este passo?

Sem uma condição para $\mathcal P$ e $\mathcal U$, as equações projetadas na brana não formam um problema radial fechado.

Fontes deste passo

Tese 2019 · cap. 4 · § 4.3.1 · Eq. (4.22)–(4.32) · p. 39–41 · PDF 39 ↗A Eq. (4.30) aparenta omitir o fator $\mathcal U$. Os coeficientes não locais são mantidos simbólicos até revisão independente.

passo06

Sem o setor de maré explícito, a correção aparece como fluido quadrático.

Tome o limite local de Sahni–Shtanov

entradaaprovada

\rho_{\mathrm{eff}}=\rho+\frac{\rho^2}{2\eta},\qquad p_{\mathrm{eff}}=p+\frac{p\rho}{\eta}+\frac{\rho^2}{2\eta}

No modelo Sahni–Shtanov da tese, a tensão eta produz correções quadráticas locais.

operação aplicadaInsira $ρ_eff$ e $p_eff$ na mesma construção geométrica da TOV.

Cálculo linha por linha5 movimentos explicados

Objetivo deste cálculo

Inserir as correções quadráticas de Sahni–Shtanov na TOV e demonstrar o limite regular $η→∞$.

Antes de começar

A redução da tese não mantém um setor de maré explícito.
$η$ é a escala que suprime correções quadráticas.
A matéria é um fluido perfeito estático e esférico.

Linha 1
Projete o fluido efetivo
$\rho_{\rm eff}=\rho+\frac{\rho^2}{2\eta},\qquad p_{\rm eff}=p+\frac{p\rho}{\eta}+\frac{\rho^2}{2\eta}$
O que fizemos
Coletamos as componentes temporal e radial da contribuição local.
Por que é válido
As Eqs. (4.40) e (4.41) levam aos agrupamentos usados nas Eqs. (4.44) e (4.45).
Conferir emTese · Eq. (4.33)–(4.45) · p. 41–43 ↗ (abre em nova aba)
Linha 2
Exiba o parâmetro pequeno
$\varepsilon_\eta=\eta^{-1}:\quad \rho_{\rm eff}=\rho+\frac12\varepsilon_\eta\rho^2,\quad p_{\rm eff}=p+\varepsilon_\eta(p\rho+\tfrac12\rho^2)$
O que fizemos
Fatoramos um sobre eta.
Por que é válido
A reescrita torna o limite de RG verificável termo a termo.
Conferir emTese · Eq. (4.33)–(4.45) · p. 41–43 ↗ (abre em nova aba)
Linha 3
Recalcule a massa
$m'=4\pi G r^2\rho_{\rm eff}=4\pi G r^2\left(\rho+\frac{\rho^2}{2\eta}\right)$
O que fizemos
Substituímos a densidade efetiva na componente temporal.
Por que é válido
Essa é a estrutura da Eq. (4.44).
Conferir emTese · Eq. (4.33)–(4.45) · p. 41–43 ↗ (abre em nova aba)
Linha 4
Recalcule a pressão
$p'=-(\rho+p)\frac{4\pi Gp_{\rm eff}r+m/r^2}{1-2m/r}$
O que fizemos
Usamos conservação radial e o gradiente obtido da componente radial efetiva.
Por que é válido
A Eq. (4.45) desloca as correções para peff sem mudar a forma geométrica.
Conferir emTese · Eq. (4.33)–(4.45) · p. 41–43 ↗ (abre em nova aba)
Linha 5
Recupere a RG
$\eta\to\infty\Longrightarrow(\rho_{\rm eff},p_{\rm eff})\to(\rho,p)\Longrightarrow\begin{cases}m'\to4\pi G r^2\rho,\\ p'\to-(\rho+p)\dfrac{4\pi Gpr+m/r^2}{1-2m/r}.\end{cases}$
O que fizemos
Tomamos epsilon eta igual a zero mantendo rho e $p$ finitos.
Por que é válido
O limite preserva a métrica e não cria um denominador singular.
Conferir emTese · Eq. (4.33)–(4.45) · p. 41–43 ↗ (abre em nova aba)Tese · Eq. (2.9)–(2.12) · p. 21 ↗ (abre em nova aba)

saídaaprovada

m'=4\pi G r^2\rho_{\mathrm{eff}},\qquad p'=-(\rho+p)\frac{4\pi Gp_{\mathrm{eff}}r+m/r^2}{1-2m/r}

O sistema Sahni–Shtanov reduz-se à forma de TOV com densidade e pressão efetivas.

Regra ou lema

$η$ controla as correções quadráticas.
$η→∞$ remove essas correções.

Hipóteses

A forma efetiva da tese é usada apenas no domínio em que $η$ é não nulo.

Checkpoint: consigo justificar este passo?

Tomar $η→∞$ recupera m′ e p′ da RG sem alterar a métrica ou criar divisão singular.

Fontes deste passo

Tese 2019 · cap. 4 · § 4.3.2 · Eq. (4.33)–(4.45) · p. 41–43 · PDF 41 ↗

passo07

O limite correto preserva a não degenerescência da métrica.

Faça o warp factor voltar à unidade

entrada 1aprovada

ds^2=I(r)e^{\nu(r)}dt^2-I(r)e^{\lambda(r)}dr^2-r^2\!\left(d\theta^2+\sin^2\theta\,d\varphi^2\right)

O warp factor $I$ multiplica os setores temporal e radial da métrica.

entrada 2aprovada

I(r)=e^{\alpha r},\qquad \frac{d}{dr}\ln I(r)=\alpha,\qquad p_{\mathrm{eff}}=p\left(1+\frac{\alpha}{r}\right)

A escolha exponencial converte a derivada logarítmica do warp factor no parâmetro alfa.

operação aplicadaSubstitua $I=e^{αr}$ e tome $α→0$ antes de comparar com a RG.

Cálculo linha por linha6 movimentos explicados

Objetivo deste cálculo

Acompanhar $I(r)=e^{αr}$ e demonstrar por que o limite de RG é $I→1$, nunca $I=0$.

Antes de começar

$I$ multiplica os componentes temporal e radial da métrica.
$r$ permanece finito durante $α→0$.
A frase $I=0$ da página $44$ é apenas uma divergência editorial.

Linha 1
Insira o fator na métrica
$ds^2=I(r)e^{\nu(r)}dt^2-I(r)e^{\lambda(r)}dr^2-r^2d\Omega^2$
O que fizemos
Reagrupamos os termos angulares da Eq. (4.46).
Por que é válido
A forma torna visível que $I$ igual a zero anularia dois componentes.
Conferir emTese · Eq. (4.46)–(4.54) · p. 43–44 ↗ (abre em nova aba)
Linha 2
Escolha e derive o exponencial
$I=e^{\alpha r},\qquad \frac{d}{dr}\ln I=\frac{I'}{I}=\alpha$
O que fizemos
Aplicamos a regra da cadeia e cancelamos o exponencial.
Por que é válido
É essa derivada que aparece como correção alfa sobre $r$.
Conferir emTese · Eq. (4.46)–(4.54) · p. 43–44 ↗ (abre em nova aba)
Linha 3
Atualize as componentes
$G_{11}=G_{rr}+\frac{\alpha}{r},\qquad G_{44}=G_{tt}+\frac{\alpha}{r}$
O que fizemos
Substituímos a derivada de ln $I$ nas Eqs. (4.49) e (4.50).
Por que é válido
As Eqs. (4.51) e (4.52) são o estado após a especialização.
Conferir emTese · Eq. (4.46)–(4.54) · p. 43–44 ↗ (abre em nova aba)
Linha 4
Leia a pressão efetiva
$p_{\rm eff}=p\left(1+\frac{\alpha}{r}\right)$
O que fizemos
Coletamos o termo alfa sobre $r$ na equação hidrostática.
Por que é válido
A Eq. (4.54) fornece essa especialização.
Conferir emTese · Eq. (4.46)–(4.54) · p. 43–44 ↗ (abre em nova aba)
Linha 5
Tome o limite regular
$\alpha\to0\Longrightarrow I=e^{\alpha r}\to1\Longrightarrow g_{\mu\nu}^{\rm warp}\to g_{\mu\nu}^{\rm RG}$
O que fizemos
Calculamos o limite do exponencial antes da comparação.
Por que é válido
Com $r$ finito, o limite também remove todas as parcelas alfa sobre $r$.
Conferir emTese · Eq. (4.46)–(4.54) · p. 43–44 ↗ (abre em nova aba)
Linha 6
Rejeite a métrica degenerada
$I=0\Longrightarrow g_{tt}=g_{rr}=0\Longrightarrow\det(g_{\mu\nu})=0$
O que fizemos
Avaliamos diretamente a métrica nesse valor.
Por que é válido
Uma métrica degenerada não é o limite de Einstein.
Conferir emTese · Eq. (4.46)–(4.54) · p. 43–44 ↗ (abre em nova aba)

saídaaprovada

\alpha\to0\quad\Longrightarrow\quad I(r)\to1\quad\Longrightarrow\quad g_{\mu\nu}^{\mathrm{warp}}\to g_{\mu\nu}^{\mathrm{RG}}

O limite não degenerado da métrica com warp factor recupera a Relatividade Geral quando alfa tende a zero.

Regra ou lema

$ln(I)′=α$.
$e^{0}=1$.

Hipóteses

$r$ finito durante o limite.

Checkpoint: consigo justificar este passo?

$I=0$ não é o limite da RG: ele anula $g_tt$ e $g_rr$. O limite regular é $I→1$.

Fontes deste passo

Tese 2019 · cap. 4 · § 4.3.3 · Eq. (4.46)–(4.54) · p. 43–44 · PDF 43 ↗Com $I(r)=e^{αr}$, o limite regular de RG é $α→0$, portanto $I→1$. A frase $I=0$ na página $44$ degeneraria a métrica.

passo08

A tese não apresenta famílias numéricas de estrelas para as branas.

Marque a fronteira entre derivação e resultado

entrada 1aprovada

M=\int_0^{R_\star}4\pi r^2\rho(r)\,dr

A massa estelar é calculada integrando a densidade ao longo da solução radial.

entrada 2aprovada

m'=4\pi r^2\rho_{\mathrm{eff}},\qquad p'=-(\rho+p)\frac{4\pi r\,p_{\mathrm{eff}}+m/r^2}{1-2m/r},\qquad \mathcal P=\omega\mathcal U

A TOV de Randall–Sundrum tem a forma da RG com fontes efetivas e requer uma relação adicional para os termos não locais de Weyl.

entrada 3aprovada

m'=4\pi G r^2\rho_{\mathrm{eff}},\qquad p'=-(\rho+p)\frac{4\pi Gp_{\mathrm{eff}}r+m/r^2}{1-2m/r}

O sistema Sahni–Shtanov reduz-se à forma de TOV com densidade e pressão efetivas.

entrada 4aprovada

\alpha\to0\quad\Longrightarrow\quad I(r)\to1\quad\Longrightarrow\quad g_{\mu\nu}^{\mathrm{warp}}\to g_{\mu\nu}^{\mathrm{RG}}

O limite não degenerado da métrica com warp factor recupera a Relatividade Geral quando alfa tende a zero.

entrada 5aprovada

\text{equações de equilíbrio derivadas}\;\not\Rightarrow\;\text{curvas de brana numericamente validadas}

Uma derivação formal não equivale a uma família de estrelas integrada e verificada.

operação aplicadaCompare os limites controlados das três extensões com o que recebeu integração, curvas e teste de estabilidade.

Cálculo linha por linha5 movimentos explicados

Objetivo deste cálculo

Separar por um critério verificável uma equação formal derivada de uma família estelar numericamente obtida.

Antes de começar

A tese publicou curvas para $f(R,T)$ e $f(R,\mathcal L_m)$, mas não para branas.
Uma curva exige EoS, dados centrais, integração até $p=0$ e verificação.
$σ$, $η$, $α$ e parâmetros de Weyl não formam um controle universal.

Linha 1
Inventarie as equações
$\mathcal D=\{\mathcal E_{f(R,\mathcal L_m)},\mathcal E_{\rm RS},\mathcal E_{\rm SS},\mathcal E_{\rm warp}\}$
O que fizemos
Registramos primeiro o que foi derivado formalmente.
Por que é válido
Pertencer a D não demonstra que a equação recebeu uma solução numérica.
Conferir emTese · Eq. (4.17)–(4.21) · p. 38 ↗ (abre em nova aba)Tese · Eq. (4.22)–(4.32) · p. 39–41 ↗ (abre em nova aba)Tese · Eq. (4.33)–(4.45) · p. 41–43 ↗ (abre em nova aba)Tese · Eq. (4.46)–(4.54) · p. 43–44 ↗ (abre em nova aba)
Linha 2
Defina o pacote de uma curva
$\mathcal C=(\mathcal E,\mathrm{EoS},\mathbf y(0),p(R_\star)=0,\mathrm{integração},\mathrm{resíduos})$
O que fizemos
Transformamos resultado numérico numa lista auditável.
Por que é válido
Sem esses itens, massas e raios não podem ser reconstruídos independentemente.
Conferir emTese · Eq. Figuras 5.6–5.9 · p. 50–52 ↗ (abre em nova aba)Tese · p. 53–55 ↗ (abre em nova aba)
Linha 3
Aplique o teste às branas
$\mathcal C_{\rm RS}=\mathcal C_{\rm SS}=\mathcal C_{\rm warp}=\varnothing\quad\text{na tese de 2019}$
O que fizemos
Comparamos equações, resultados e a declaração das conclusões.
Por que é válido
O vazio significa ausência documental de dados, não inexistência física de soluções.
Conferir emTese · Eq. (4.22)–(4.32) · p. 39–41 ↗ (abre em nova aba)Tese · Eq. (4.33)–(4.45) · p. 41–43 ↗ (abre em nova aba)Tese · Eq. (4.46)–(4.54) · p. 43–44 ↗ (abre em nova aba)Tese · p. 53–55 ↗ (abre em nova aba)
Linha 4
Não inverta a implicação
$\mathcal C\ne\varnothing\Longrightarrow\mathcal E\ \mathrm{usada},\qquad \mathcal E\ \mathrm{derivada}\not\Longrightarrow\mathcal C\ne\varnothing$
O que fizemos
Escrevemos as duas direções lógicas separadamente.
Por que é válido
A segunda implicação falha nos modelos de brana segundo as conclusões.
Conferir emTese · p. 53–55 ↗ (abre em nova aba)
Linha 5
Preserve somente limites controlados
$\sigma\to0:f(R,\mathcal L_m)\to\mathrm{RG},\qquad\eta\to\infty:\mathrm{SS}\to\mathrm{RG},\qquad\alpha\to0:I\to1$
O que fizemos
Aplicamos o desacoplamento correto modelo por modelo.
Por que é válido
Consistência algébrica não substitui a integração estelar.
Conferir emTese · Eq. (3.20)–(3.23) · p. 28–29 ↗ (abre em nova aba)Tese · Eq. (4.33)–(4.45) · p. 41–43 ↗ (abre em nova aba)Tese · Eq. (4.46)–(4.54) · p. 43–44 ↗ (abre em nova aba)

saídaaprovada

f(R,\mathcal L_m)\overset{\sigma\to0}{\longrightarrow}\mathrm{RG},\qquad \mathrm{SS}\overset{\eta\to\infty}{\longrightarrow}\mathrm{RG},\qquad \mathrm{RS}_{\mathrm{warp}}\overset{\alpha\to0}{\longrightarrow}\mathrm{RG}

Cada extensão possui um limite controlado que deve recuperar a Relatividade Geral sem degenerar a métrica.

Regra ou lema

Equação formal não implica solução numérica.
O limite de RG deve ser regular e não degenerar a métrica.
Resultado público requer caso dourado reproduzível.

Hipóteses

Escopo histórico da tese de $2019$.

Checkpoint: consigo justificar este passo?

Os laboratórios podem explicar os termos e limites das branas, mas não atribuir à tese curvas que ela própria declara não ter obtido.

Fontes deste passo

Tese 2019 · cap. 3 · § 3.3 · Eq. (3.20)–(3.23) · p. 28–29 · PDF 28 ↗
Tese 2019 · cap. 4 · § 4.3.2 · Eq. (4.33)–(4.45) · p. 41–43 · PDF 41 ↗
Tese 2019 · cap. 4 · § 4.3.3 · Eq. (4.46)–(4.54) · p. 43–44 · PDF 43 ↗Com $I(r)=e^{αr}$, o limite regular de RG é $α→0$, portanto $I→1$. A frase $I=0$ na página $44$ degeneraria a métrica.
Tese 2019 · cap. 6 · p. 53–55 · PDF 53 ↗A tese declara que não obteve curvas numéricas para os modelos de brana e que a estabilidade do GMC exige oscilações radiais.

Modelos alternativos

Antes de começar

Regra ou lema

Hipóteses

Antes de começar

Regra ou lema

Hipóteses

Antes de começar

Regra ou lema

Hipóteses

Antes de começar

Regra ou lema

Hipóteses

Antes de começar

Regra ou lema

Hipóteses

Antes de começar

Regra ou lema

Hipóteses

Antes de começar

Regra ou lema

Hipóteses

Antes de começar

Regra ou lema

Hipóteses

Cada extensão possui um limite controlado que deve recuperar a Relatividade Geral sem degenerar a métrica.