Cálculo tensorial e geometria diferencial
Aprenda a calcular geometria sem confundir coordenadas com estrutura física.
Desenvolva variedades, tensores, métricas, derivadas covariantes, geodésicas, curvatura, formas diferenciais e diagnósticos invariantes como pré-requisito matemático da relatividade geral e da análise de engenharia da métrica.
Antes de começar
- • Cálculo, vetores e equações diferenciais
- • Mecânica lagrangiana
- • Álgebra linear e cálculo de várias variáveis
Ao final, você consegue
- • Transformar vetores, covetores e tensores entre cartas de coordenadas.
- • Calcular conexões de Levi-Civita e geodésicas a partir de uma métrica.
- • Calcular tensores de curvatura e contrações invariantes.
- • Separar efeitos de coordenadas de efeitos geométricos mensuráveis.
Modelo interativo
Explore antes de calcular
Lição 1 de 3
Cartas, espaços tangentes e tensores
Quais grandezas mudam com as coordenadas, e quais afirmações geométricas sobrevivem a toda carta?
Uma variedade é coordenatizada localmente, mas não é idêntica a nenhuma grade de coordenadas específica. Vetores tangentes agem como derivadas direcionais, covetores agem sobre vetores, e tensores são aplicações multilineares com uma lei de transformação definida.
A métrica é um tensor simétrico e não degenerado de posto dois. Ela converte vetores em covetores, define intervalos e ângulos, e fornece um elemento de volume assim que uma assinatura e uma orientação são escolhidas.
Exemplo resolvido
Transforme a métrica do plano euclidiano de coordenadas cartesianas para polares.
- 1. Escreva x=r cosφ e y=r sinφ.
- 2. Derive para obter dx e dy.
- 3. Substitua em ds²=dx²+dy².
- 4. Reúna os termos em dr², dr dφ e dφ².
ds²=dr²+r²dφ²; a geometria é plana mesmo que as componentes da métrica variem.
Experimente
Auditoria de coordenadas versus curvatura
Materiais: Caderno simbólico ou papel
- 1. Escreva a métrica do plano nas cartas cartesiana e polar.
- 2. Compare as derivadas das componentes.
- 3. Calcule ou consulte a curvatura escalar.
- 4. Explique por que componentes que variam não implicam curvatura.
Repare: Uma grade de coordenadas pode entortar no papel enquanto a curvatura invariante continua zero.
Verifique o que entendeu: Dá para decidir se um espaço é curvo apenas verificando se as componentes da métrica variam?
Resposta: Não.
A variação das componentes pode ser causada pelas coordenadas; a curvatura exige um cálculo invariante, como o tensor de Riemann.
Lição 2 de 3
Conexões, transporte paralelo e geodésicas
Como derivadas podem comparar vetores que vivem em espaços tangentes diferentes?
Uma conexão corrige as derivadas comuns das componentes para que o resultado se transforme tensorialmente. A conexão de Levi-Civita, sem torção e compatível com a métrica, é determinada pela métrica por meio dos símbolos de Christoffel.
Geodésicas transportam paralelamente o próprio vetor tangente. Elas são caminhos localmente extremais para o intervalo sob as condições usuais, mas a aceleração em coordenadas ao longo delas não precisa se anular.
Exemplo resolvido
Encontre os símbolos de Christoffel não nulos do plano em coordenadas polares.
- 1. Use g_rr=1 e g_φφ=r².
- 2. Avalie Γᵃ_bc=½gᵃᵈ(∂_b g_dc+∂_c g_db−∂_d g_bc).
- 3. Só as derivadas radiais de r² sobrevivem.
- 4. Aplique a simetria nos índices inferiores.
Γʳ_φφ=−r e Γᵠ_rφ=Γᵠ_φr=1/r.
Experimente
Geodésicas numa esfera
Materiais: Globo, linha de costura e caderno
- 1. Estique a linha entre dois pontos ao longo de um círculo máximo.
- 2. Compare com uma linha de latitude.
- 3. Escreva a métrica esférica.
- 4. Identifique qual caminho é localmente geodésico.
Repare: Uma geodésica é intrínseca à superfície e não precisa parecer reta num espaço de imersão.
Verifique o que entendeu: Os símbolos de Christoffel são componentes de um tensor?
Resposta: Não.
O termo não homogêneo na transformação deles é justamente o que conserta as derivadas, transformando-as em derivadas covariantes.
Lição 3 de 3
Curvatura, invariantes e formas diferenciais
Que medição distingue curvatura verdadeira de artefatos de coordenadas?
O tensor de Riemann mede o quanto as derivadas covariantes deixam de comutar e a dependência do transporte paralelo em relação ao caminho. As contrações dele dão o tensor de Ricci e a curvatura escalar.
As formas diferenciais empacotam integração, orientação e conservação de forma limpa. A derivação exterior é independente de coordenadas, e o teorema de Stokes unifica gradiente, rotacional, divergente e leis de fronteira.
Exemplo resolvido
Que teste de curvatura distingue coordenadas polares num plano de uma esfera?
- 1. Calcule um invariante de curvatura, em vez de derivadas das componentes.
- 2. Para o plano, R=0.
- 3. Para uma esfera de raio a, a curvatura gaussiana é 1/a².
- 4. Conclua que os espaços são intrinsecamente diferentes.
Singularidades de coordenadas podem ocorrer em espaço plano; invariantes de curvatura não nulos não podem ser eliminados por transformação.
Experimente
Holonomia do transporte paralelo
Materiais: Globo e uma seta recortada
- 1. Leve a seta para o norte ao longo de um meridiano.
- 2. Mova-a ao longo do equador.
- 3. Volte por outro meridiano.
- 4. Compare a orientação final com a inicial.
Repare: A rotação após um circuito fechado registra a curvatura integrada.
Verifique o que entendeu: Por que o escalar de Ricci sozinho não basta para caracterizar toda a curvatura?
Resposta: Tensores de Riemann diferentes podem compartilhar a mesma contração escalar.
Um único escalar descarta informação direcional e de maré.
Da fórmula ao significado
Leia a equação em linguagem comum.
ds²=g_μν dx^μdx^ν
A métrica transforma deslocamentos de coordenada num intervalo invariante.
Γ^ρ_μν=½g^ρσ(∂_μg_σν+∂_νg_σμ−∂_σg_μν)
A conexão de Levi-Civita é construída a partir das primeiras derivadas da métrica.
R^ρ_σμν=∂_μΓ^ρ_νσ−∂_νΓ^ρ_μσ+Γ^ρ_μλΓ^λ_νσ−Γ^ρ_νλΓ^λ_μσ
A curvatura registra a não comutatividade do transporte covariante.
Prática independente
Lista de problemas
Resolva cada problema antes de abrir a dica e a solução.
1. Calcule a inversa e o determinante de diag(−1,a²,b²,c²).
Ver a dica
Inverta cada elemento diagonal e multiplique a diagonal para obter o determinante.
Ver a solução
g^{μν}=diag(−1,a⁻²,b⁻²,c⁻²), det g=−a²b²c².
2. Mostre que uma métrica constante em coordenadas cartesianas tem conexão de Levi-Civita nula.
Ver a dica
Todo termo de Γ contém uma derivada da métrica.
Ver a solução
Todos os termos ∂g se anulam, então Γ^ρ_μν=0 naquela carta.
3. Uma esfera bidimensional tem R=2/a². O que acontece quando a→∞?
Ver a dica
Pense no limite local de raio grande.
Ver a solução
R→0; um trecho suficientemente pequeno se aproxima de um plano.
Estúdio de derivação
Construa o resultado, linha por linha.
Mantenha as suposições à vista para que a matemática continue auditável.
Ponto de partida
A equação da geodésica a partir do intervalo estacionário
S=½∫g_μν ẋ^μẋ^ν dλ
- 1. Trate o integrando como uma lagrangiana.
- 2. Calcule as derivadas em relação a ẋ^ρ e a x^ρ.
- 3. Aplique a equação de Euler–Lagrange.
- 4. Levante um índice e reconheça a combinação de Christoffel.
ẍ^ρ+Γ^ρ_μνẋ^μẋ^ν=0
O movimento livre é reto no sentido covariante, mesmo quando as componentes em coordenadas aceleram.
Ponto de partida
Curvatura a partir de um comutador
[∇_μ,∇_ν]V^ρ
- 1. Expanda as duas derivadas covariantes.
- 2. Cancele as derivadas parciais segundas.
- 3. Reúna as derivadas de Γ e os termos quadráticos em Γ.
- 4. Ponha as componentes do vetor em evidência.
[∇_μ,∇_ν]V^ρ=R^ρ_σμνV^σ
A curvatura é um obstáculo operacional à comparação de vetores independente do caminho.
Caderno computacional
Transforme o modelo em um experimento.
Laboratório de geodésicas e curvatura
Como as trajetórias em coordenadas e a curvatura invariante mudam entre um plano, uma esfera e uma sela?
Entradas
- • Componentes da métrica para três superfícies bidimensionais
- • Posição e vetor tangente iniciais
- • Passo de integração e intervalo afim
Algoritmo
- 1. Calcule Γ a partir de cada métrica.
- 2. Integre a equação da geodésica.
- 3. Avalie a curvatura escalar.
- 4. Compare as trajetórias em cada carta com os diagnósticos invariantes.
Evidência a produzir
- • Gráficos de geodésicas em cada carta
- • Tabela de curvatura
- • Uma explicação de artefato de coordenadas versus geometria
Estúdio de leitura de artigos
Interrogue a fonte, não a reputação dela.
Reconstrua as suposições, reproduza um cálculo e pare na fronteira da evidência relatada.
Reconstrua uma afirmação sobre uma métrica
A fonte estabelece uma geometria nova, uma descrição de coordenadas, ou apenas um ansatz proposto?
- 1. Copie a métrica e declare a assinatura e as coordenadas.
- 2. Liste as simetrias e as condições de contorno.
- 3. Calcule pelo menos um invariante.
- 4. Rastreie cada interpretação física até um tensor ou um observável.
Cálculo a reproduzir: Reproduza a métrica inversa, o determinante, um coeficiente de conexão e um invariante de curvatura.
Fronteira da evidência: Uma métrica matematicamente consistente não é evidência de que o tensor energia-momento exigido exista ou possa ser construído.
Siga para a evidência
Próxima leitura, com as fontes
Aula 1: O que é uma métrica?
A ponte conceitual das coordenadas até a medição invariante.
Capítulo 4: Tensor métrico, motores de dobra e buracos de minhoca
Aplique as ferramentas geométricas a métricas padrão e propostas preservando as fronteiras de evidência.
Aula 5: Buracos de minhoca de Morris–Thorne
Uma geometria trabalhada com as condições explícitas de garganta e de abertura.