Símbolos de Christoffel

Em matemática e física, os símbolos de Christoffel, assim nomeados por Elwin Bruno Christoffel (1829–1900), são expressões em coordenadas espaciais para a conexão de Levi-Civita derivada do tensor métrico. Em sentido amplo, as derivativas covariantes de uma conexão afim arbitrária (não necessariamente métrica) em uma base coordenada são normalmente chamadas de símbolos de Christoffel. Utilizam-se os símbolos de Christoffel sempre que cálculos práticos que implicam geometria devam ser realizados, pois permitem que cálculos muito complexos sejam realizados sem confusão. Inversamente, a notação formal, sem índices, para a conexão de Levi-Civita é elegante, e permite que os teoremas sejam estabelecidos de um modo breve, porém são quase inúteis para os cálculos práticos.

Notas

As definições abaixo são válidas para as variedades riemanniana e pseudorriemanniana, usadas na relatividade geral. A convenção do somatório de Einstein é usada, e os vetores estão em negrito. A mesma notação foi usada para as coordenadas contravariantes (índices superiores) e covariantes (índices inferiores).

Definição preliminares

Dado um sistema de coordenadas $\{x^a\}$ em uma variedade $M$, os vetores tangentes

${𝐞}_a=\frac{\partial }{\partial x^a}={\partial }_a,a=1,2,\dots ,n$

definem a base local do espaço tangente a $M$ em cada ponto do seu domínio. Eles podem ser usados para definir o tensor métrico:

$g_{ab}={𝐞}_a\cdot {𝐞}_b$

e seu inverso:

$g^{ab}={\left(g^{-1}\right)}_{ab}$,

que pode ser usado para definir sua base dual, ou seja,

${𝐞}^a={𝐞}_b{g}^{ba},a=1,2,\dots ,n$.

Definição em um espaço plano

No espaço euclideano, podemos definir os símbolos Christoffel do segundo tipo ou coeficientes de uma conexão afim como

${\mathrm{\Gamma }}_{ab}^c=\frac{\partial {𝐞}_a}{\partial x^b}\cdot {𝐞}^c=\frac{\partial {𝐞}_a}{\partial x^b}\cdot g^{cd}{𝐞}_d$,

onde todos todos coeficientes ${\mathrm{\Gamma }}_{ab}^c$ são iguais a zero em um espaço-tempo plano em coordenadas cartesianas, uma vez que os vetores de base são constantes.

Os símbolos de Christoffel do primeiro tipo pode ser achado do seguinte modo

${\mathrm{\Gamma }}_{cab}={\mathrm{\Gamma }}_{ab}^d{g}_{dc}=\frac{\partial {𝐞}_a}{\partial x^b}\cdot {𝐞}^d{g}_{dc}=\frac{\partial {𝐞}_a}{\partial x^b}\cdot {𝐞}_c$.

Rearranjando, obtemos

$\frac{\partial {𝐞}_a}{\partial x^b}={\mathrm{\Gamma }}_{ab}^c{𝐞}_c={\mathrm{\Gamma }}_{cab}{𝐞}^c$.

Os símbolos de Christoffel do segundo tipo mostram o quanto as bases mudam de ponto a ponto, já os do primeiro tipo revelam a mudança da base dual. Essa definição para os símbolos de Christoffel falha quando não é possível decompor em termos das bases, em particular, quando a direção da mudança não reside no espaço tangente, como ocorre em uma superfície curva.

Também é possível relacionar os símbolos de Christoffel do segundo tipo à base dual derivando a relação reciprocidade ${𝐞}^a\cdot {𝐞}_b={\delta }_a^b$ em relação à coordenada $x^c$, ou seja,

$\frac{\partial ({𝐞}^a\cdot {𝐞}_b)}{\partial x^b}=\frac{\partial {𝐞}^a}{\partial x^c}\cdot {𝐞}_b+\frac{\partial {𝐞}_b}{\partial x^c}\cdot {𝐞}^a=0$,

resultando em

$\frac{\partial {𝐞}^a}{\partial x^b}=-{\mathrm{\Gamma }}_{bc}^a{𝐞}^c$,

que ainda pode ser rearranjado da seguinte forma

${\mathrm{\Gamma }}_{bc}^a=-\frac{\partial {𝐞}^a}{\partial x^b}\cdot {𝐞}_c$.

Torção

Seguindo a lei de transformação, pode-se observar que a soma de duas conexões afim, ou seja, ${\mathrm{\Gamma }}_{bc}^a+{\mathrm{\Gamma }}_{cb}^a$ não são nem uma conexão nem um tensor, porém a diferença entre duas conexões é um tensor, pois o termo não homogêneo é cancelado na transformação, e é chamado de tensor de torção, dado por

$T_{bc}^a={\mathrm{\Gamma }}_{bc}^a-{\mathrm{\Gamma }}_{cb}^a=2{\mathrm{\Gamma }}_{[bc]}^a$,

sendo o tensor de torção antissimétrico em seus índices inferiores, ou seja, $T_{bc}^a=-T_{cb}^a$.

Em relatividade geral assume-se que a variedade é sem torção, ou seja, $T_{bc}^a=0$, embora isso nem sempre seja verdade em uma variedade riemanniana. Logo, em uma variedade sem torção, há simetria nos índices de baixo (símbolos de Christoffel do segundo tipo) ou nos dois últimos (símbolos de Christoffel do primeiro tipo), isto é,

${\mathrm{\Gamma }}_{ab}^c={\mathrm{\Gamma }}_{ba}^c$,

${\mathrm{\Gamma }}_{cab}={\mathrm{\Gamma }}_{cba}$.

Caso geral

Símbolos de Christoffel do primeiro tipo

Os símbolos de Christoffel do primeiro tipo podem ser obtidos usando os símbolos de Christoffel do segundo tipo e a métrica, isto é,

${\mathrm{\Gamma }}_{cab}=g_{cd}{\mathrm{\Gamma }}_{ab}^d$,

ou somente da métrica,

${\mathrm{\Gamma }}_{cab}=\frac{1}{2}(g_{ca,b}+g_{cb,a}-g_{ab,c})=\frac{1}{2}(\frac{\partial g_{ca}}{\partial x^b}+\frac{\partial g_{cb}}{\partial x^a}-\frac{\partial g_{ab}}{\partial x^c})=\frac{1}{2}({\partial }_b{g}_{ca}+{\partial }_a{g}_{cb}-{\partial }_c{g}_{ab})$.

Também é possível expressar os símbolos de Christoffel do primeiro tipo pela seguinte notação:

${\mathrm{\Gamma }}_{cab}={\mathrm{\Gamma }}_{c,ab}=[ab,c]$,

onde $[ab,c]=[ba,c]$.

Símbolos de Christoffel do segundo tipo

Os símbolos de Christoffel do segundo tipo são coeficientes de conexão Levi-Civita em base coordenada. Uma vez que esta conexão não possui torção, os coeficientes de conexão serão simétricos nos índices inferiores, ou seja, os coeficientes de conexão são simétricos nesta base.

Assim, os símbolos de Christoffel do segundo tipo Predefinição:Math (às vezes representados como Predefinição:Math ou Predefinição:Math) são definidos de tal modo que a equação abaixo seja satisfeita.

${\mathrm{\nabla }}_b{e}_a={\mathrm{\Gamma }}_{ab}^1{e}_1+\dots +{\mathrm{\Gamma }}_{ab}^n{e}_n={\mathrm{\Gamma }}_{ab}^d{e}_d$,

em que Predefinição:Math é a conexão de Levi-Civita de uma variedade diferenciável Predefinição:Math tomada na direção da coordenada Predefinição:Math (isto é, Predefinição:Math), tal que Predefinição:Math é uma base coordenada local (holonômica).

Os símbolos de Christoffel podem ser obtidos da invariância do tensor métrico Predefinição:Math em relação à derivada covariante, ou seja,

${\mathrm{\nabla }}_b{g}_{ac}=\frac{\partial g_{ac}}{\partial x^b}-g_{mc}{\mathrm{\Gamma }}_{ab}^m-g_{am}{\mathrm{\Gamma }}_{cb}^m=0$.

Às vezes, a equação acima é representada como

$g_{ac;b}=g_{ac,b}-g_{dc}{\mathrm{\Gamma }}_{ab}^m-g_{ad}{\mathrm{\Gamma }}_{cb}^m=0$,

na qual a derivada covariante é representada pelo ponto e vírgula e a derivada parcial pela vírgula.

Sabendo que os símbolos de Christoffel são simétricos em seus índices inferiores, pode-se obtê-los em função tensor métrico tensor permutando os índices ciclicamente, isto é, $a\to b$, $c\to a$, $b\to c$.

$g_{ba;c}=g_{ba,c}-g_{ma}{\mathrm{\Gamma }}_{bc}^d-g_{bm}{\mathrm{\Gamma }}_{ac}^m=0$,

$g_{cb;a}=g_{cb,a}-g_{mb}{\mathrm{\Gamma }}_{ca}^d-g_{cm}{\mathrm{\Gamma }}_{ba}^m=0$.

Assim,

$2g_{mc}{\mathrm{\Gamma }}_{ab}^m=g_{ac,b}+g_{cb,a}-g_{ba,c}$,

que aplicando $g^{dc}$, nos fornece

${\mathrm{\Gamma }}_{ab}^d=\frac{1}{2}{g}^{dc}(g_{ac,b}+g_{cb,a}-g_{ba,c})=\frac{1}{2}{g}^{dc}(\frac{\partial g_{ac}}{\partial x^b}+\frac{\partial g_{cb}}{\partial x^a}-\frac{\partial g_{ba}}{\partial x^c})=\frac{1}{2}{g}^{dc}({\partial }_b{g}_{ac}+{\partial }_a{g}_{cb}-{\partial }_c{g}_{ba})$

em que $g^{dc}{g}_{mc}={\delta }_m^d$ (delta de Kronecker).

Contração de índices

Contraindo o índice de cima e qualquer um dos de baixo (os índices de baixo são simétricos), temos

${\mathrm{\Gamma }}_{ab}^b=\frac{1}{2}{g}^{bc}\frac{\partial g_{bc}}{\partial x^a}$.

Sabendo que ${\partial }_{a}g=g{g}^{bc}{\partial }_a{g}_{bc}$, em que $g=\det g_{bc}$ é o determinante do tensor métrico, vamos encontrar

${\mathrm{\Gamma }}_{ab}^b=\frac{1}{2g}\frac{\partial g}{\partial x^a}=\frac{\partial \ln \sqrt{|g|}}{\partial x^a}$.

Coeficientes de conexão em uma base não holonômica

O nome símbolos de Christoffel são reservados unicamente para coeficientes de conexão em base holonômica. Pode-se definir coeficientes de conexão em uma base arbitrária (não holonômica) com vetores tangentes Predefinição:Math como

${\mathrm{\nabla }}_{{𝐞}_i}{𝐞}_j={{\mathrm{\Gamma }}^k}_{ij}{𝐞}_k.$

Em termos do tensor métrico, temos

${\mathrm{\Gamma }}_{mkl}=\frac{1}{2}(g_{mk,l}+g_{ml,k}-g_{kl,m}+c_{mkl}+c_{mlk}-c_{klm})$,

${\mathrm{\Gamma }}_{kl}^i=\frac{1}{2}{g}^{im}(g_{mk,l}+g_{ml,k}-g_{kl,m}+c_{mkl}+c_{mlk}-c_{klm})$,

nos quais $c_{k\ell m}=g_{mp}{c}_{k\ell }{}^p$ são os coeficientes de comutação da base, definidos de

$[{𝐞}_k,{𝐞}_{\ell }]=c_{k\ell }{}^m{𝐞}_m$,

em que ${𝐞}_k$ são os vetores de base e $[.,.]$ são os colchetes de Lie.

Em bases coordenadas (holonômicas), temos que $c_{k\ell }{}^m=c_{k\ell m}=0$, isto é, $[{𝐞}_k,{𝐞}_{\ell }]=0$.

Propriedades de transformação

Ao mudar de um sistema de coordenadas com variáveis $(x^1,\dots ,x^n)$ para outro com variáveis $(x^{\prime 1},\dots ,x^{\prime n})$, os símbolos de Christoffel se transformam do seguinte modo

${\mathrm{\Gamma }}_{bc}^{\prime a}=\frac{\partial x^{\prime a}}{\partial x^d}\frac{\partial x^f}{\partial x^{\prime b}}\frac{\partial x^g}{\partial x^{\prime c}}{\mathrm{\Gamma }}_{fg}^d+\frac{\partial x^{\prime a}}{\partial x^d}\frac{{\partial }^2{x}^d}{\partial x^{\prime c}\partial x^{\prime b}}$,

de modo que a presença do termo à direita (termo não homogêneo) revela que as componentes de ${\mathrm{\Gamma }}_{bc}^a$ não se transformam como as de um tensor, ou seja, esse objeto matemático não é um tensor.

Dedução em um espaço plano

Dado o vetor de deslocamento infinitesimal $d𝐬$ entre dois pontos próximos P e Q. Em seguida, considerando dois sistemas de coordenadas diferentes, e sabendo que $d𝐬$ não depende de sistema de coordenada usado, é possível relacionarmos como $d𝐬=d{x}^a{𝐞}_a=d{x}^{\prime a}{𝐞}_{\prime a}$. Como $d{x}^a=\left(\frac{\partial x^a}{\partial x^{\prime b}}\right)d{x}^{\prime b}$, pode-se relacionar os dois conjuntos de vetores bases no ponto P da seguinte maneira ${𝐞}_a^{\prime }=\frac{\partial x^b}{\partial x^{\prime a}}{𝐞}_b$, assim como seu correspondente dual ${𝐞}^{\prime a}=\frac{\partial x^{\prime a}}{\partial x^b}{𝐞}^b$. Podemos escrever os coeficientes de conexão afim relacionados ao primeiro sistema de coordenada como ${\mathrm{\Gamma }}_{bc}^a={𝐞}^a\cdot \frac{\partial {𝐞}^b}{\partial x^c}$, e ao segundo por ${\mathrm{\Gamma }}_{bc}^{\prime a}={𝐞}^{\prime a}\cdot \frac{\partial {𝐞}_b^{\prime }}{\partial x^{\prime c}}$. Substituindo as equações referentes a ${𝐞}_a^{\prime }$ e ${𝐞}^{\prime a}$ na equação acima, vamos encontrar ${\mathrm{\Gamma }}_{bc}^{\prime a}=\frac{\partial x^{\prime a}}{\partial x^d}{𝐞}^d\cdot \frac{\partial }{\partial x^{\prime c}}\left(\frac{\partial x^f}{\partial x^{\prime b}}{𝐞}_f\right)=\frac{\partial x^{\prime a}}{\partial x^d}{𝐞}^d\cdot (\frac{\partial x^f}{\partial x^{\prime b}}\frac{\partial {𝐞}_f}{\partial x^{\prime c}}+\frac{{\partial }^2{x}^f}{\partial x^{\prime c}\partial x^{\prime b}}{𝐞}_f)=\frac{\partial x^{\prime a}}{\partial x^d}\frac{\partial x^f}{\partial x^{\prime b}}\frac{\partial x^g}{\partial x^{\prime c}}{𝐞}^d\cdot \frac{\partial {𝐞}_f}{\partial x^g}+\frac{\partial x^{\prime a}}{\partial x^d}\frac{{\partial }^2{x}^f}{\partial x^{\prime c}\partial x^{\prime b}}{𝐞}^d\cdot {𝐞}_f$, que nos fornece a lei de transformação: ${\mathrm{\Gamma }}_{bc}^{\prime a}=\frac{\partial x^{\prime a}}{\partial x^d}\frac{\partial x^f}{\partial x^{\prime b}}\frac{\partial x^g}{\partial x^{\prime c}}{\mathrm{\Gamma }}_{fg}^d+\frac{\partial x^{\prime a}}{\partial x^d}\frac{{\partial }^2{x}^d}{\partial x^{\prime c}\partial x^{\prime b}}$.

Também existe uma expressão equivalente, dada por

${\mathrm{\Gamma }}_{bc}^{\prime a}=\frac{\partial x^{\prime a}}{\partial x^d}\frac{\partial x^f}{\partial x^{\prime b}}\frac{\partial x^g}{\partial x^{\prime c}}{\mathrm{\Gamma }}_{fg}^d-\frac{\partial x^d}{\partial x^{\prime b}}\frac{\partial x^f}{\partial x^{\prime c}}\frac{{\partial }^2{x}^{\prime a}}{\partial x^d\partial x^f}$.