Símbols de Christoffel

En matemàtiques i física, els símbols de Christoffel són una matriu de nombres que descriuen una connexió mètrica. La connexió mètrica és una especialització de la connexió afí a superfícies o altres col·lectors dotats d'una mètrica, que permet mesurar distàncies en aquesta superfície. En geometria diferencial, una connexió afí es pot definir sense fer referència a una mètrica, i molts conceptes addicionals segueixen: transport paral·lel, derivades covariants, geodèsics, etc. tampoc requereixen el concepte de mètrica. Tanmateix, quan hi ha una mètrica disponible, aquests conceptes es poden lligar directament a la "forma" de la varietat en si; aquesta forma està determinada per com l'espai tangent s'uneix a l'espai cotangent pel tensor mètric. De manera abstracta, es diria que la varietat té un paquet de trames associat (ortonormal), amb cada "fotograma" una possible elecció d'un marc de coordenades. Una mètrica invariant implica que el grup d'estructura del paquet de marcs és el grup ortogonal Plantilla:Math. Com a resultat, aquesta varietat és necessàriament una varietat (pseudo-) Riemanniana. Els símbols de Christoffel proporcionen una representació concreta de la connexió de la (pseudo-) geometria riemanniana en termes de coordenades a la varietat. Conceptes addicionals, com ara transport paral·lel, geodèsica, etc., es poden expressar en termes de símbols de Christoffel.

En general, hi ha un nombre infinit de connexions mètriques per a un determinat tensor mètric; no obstant això, hi ha una connexió única que està lliure de torsió, la connexió Levi-Civita. És comú en física i relativitat general treballar gairebé exclusivament amb la connexió Levi-Civita, treballant en marcs de coordenades (anomenats coordenades holonòmiques) on la torsió s'esvaeix. Per exemple, als espais euclidians, els símbols de Christoffel descriuen com canvien les bases de coordenades locals d'un punt a un altre.

En cada punt de la varietat Plantilla:Math -dimensional subjacent, per a qualsevol sistema de coordenades local al voltant d'aquest punt, els símbols de Christoffel es denoten Plantilla:Math per Plantilla:Math Plantilla:Math. Cada entrada d'aquesta matriu Plantilla:Math és un nombre real. Sota transformacions de coordenades lineals a la varietat, els símbols de Christoffel es transformen com els components d'un tensor, però sota transformacions de coordenades generals (difeomorfismes) no ho fan. La majoria de les propietats algebraiques dels símbols de Christoffel segueixen de la seva relació amb la connexió afí; només uns quants es dedueixen del fet que el grup d'estructura és el grup ortogonal Plantilla:Math (o el grup de Lorentz Plantilla:Math per a la relativitat general).

Els símbols de Christoffel s'utilitzen per realitzar càlculs pràctics. Per exemple, el tensor de curvatura de Riemann es pot expressar completament en termes dels símbols de Christoffel i les seves primeres derivades parcials. En la relativitat general, la connexió juga el paper del camp de força gravitatòria i el potencial gravitatori corresponent és el tensor mètric. Quan el sistema de coordenades i el tensor mètric comparteixen certa simetria, molts dels Plantilla:Math són zero.

Els símbols de Christoffel reben el nom d'Elwin Bruno Christoffel (1829–1900).

Definicions preliminars

Donat una varietat $M$, un atles consisteix en una col·lecció de gràfics $\phi :U\to {ℝ}^n$ per a cada coberta oberta $U\subset M$. Aquests gràfics permeten la base vectorial estàndard $({\overrightarrow{e}}_1,\cdots ,{\overrightarrow{e}}_n)$ activat ${ℝ}^n$ per ser tirat cap enrere a una base vectorial a l'espai tangent $TM$ de $M$. Això es fa de la següent manera. Donada alguna funció real arbitrària $f:M\to ℝ$, el gràfic permet definir un gradient:

${\partial }_{i}f\equiv \frac{\partial (f\circ {\phi }^{-1})}{\partial x^i}\text{for }i=1,2,\dots ,n$

Aquest gradient s'anomena habitualment retrocés perquè "retira" el gradient ${ℝ}^n$ a un gradient $M$. La retirada és independent del gràfic $\phi$. D'aquesta manera, la base vectorial estàndard $({\overrightarrow{e}}_1,\cdots ,{\overrightarrow{e}}_n)$ activat ${ℝ}^n$ torna a una base vectorial estàndard ("coordenada") $({\partial }_1,\cdots ,{\partial }_n)$ activat $TM$. Això s'anomena "base de coordenades", perquè depèn explícitament de les coordenades ${ℝ}^n$. De vegades s'anomena "base local".

Aquesta definició permet un abús comú de la notació. El ${\partial }_i$ es van definir per estar en correspondència un a un amb els vectors base ${\overrightarrow{e}}_i$ activat ${ℝ}^n$. La notació ${\partial }_i$ serveix com a recordatori que els vectors base a l'espai tangent $TM$ provenia d'una construcció en gradient. Malgrat això, és habitual "oblidar" aquesta construcció, i només escriure (o millor dit, definir) vectors $e_i$ activat $TM$ tal que $e_i\equiv {\partial }_i$. La gamma completa de notació d'ús habitual inclou l'ús de fletxes i negreta per indicar vectors:

${\partial }_i\equiv \frac{\partial }{\partial x^i}\equiv e_i\equiv {\overrightarrow{e}}_i\equiv {𝐞}_i\equiv {\mathit{\partial }}_i$

on $\equiv$ s'utilitza com a recordatori que es defineixen com a notació equivalent per al mateix concepte. L'elecció de la notació és segons l'estil i el gust, i varia d'un text a un altre.

Definició en l'espai euclidià

A l'espai euclidià, es pot demostrar que la definició general que es dóna a continuació per als símbols de Christoffel del segon tipus és equivalent a: $${{\mathrm{\Gamma }}^k}_{ij}=\frac{\partial {𝐞}_i}{\partial x^j}\cdot {𝐞}^k=\frac{\partial {𝐞}_i}{\partial x^j}\cdot g^{km}{𝐞}_m$$

Els símbols de Christoffel del primer tipus es poden trobar mitjançant la reducció d'índex:

$${\mathrm{\Gamma }}_{kij}={{\mathrm{\Gamma }}^m}_{ij}{g}_{mk}=\frac{\partial {𝐞}_i}{\partial x^j}\cdot {𝐞}^m{g}_{mk}=\frac{\partial {𝐞}_i}{\partial x^j}\cdot {𝐞}_k$$Reordenant, veiem que (suposant que la derivada parcial pertany a l'espai tangent, que no pot ocórrer en un espai corb no euclidià):

$$\frac{\partial {𝐞}_i}{\partial x^j}={{\mathrm{\Gamma }}^k}_{ij}{𝐞}_k={\mathrm{\Gamma }}_{kij}{𝐞}^k$$

Definició general

Els símbols de Christoffel tenen dues formes: la primera i la segona. La definició del segon tipus és més bàsica i, per tant, es presenta primer.

Símbols de Christoffel del segon tipus (definició simètrica)

Els símbols de Christoffel del segon tipus són els coeficients de connexió —en coordenades— de la connexió Levi-Civita. En altres paraules, els símbols de Christoffel del segon tipus Plantilla:Math (de vegades Plantilla:Math o Plantilla:Math ) es defineixen com els coeficients únics tals que $${\mathrm{\nabla }}_i{\mathrm{e}}_j={{\mathrm{\Gamma }}^k}_{ij}{\mathrm{e}}_k,$$ on Plantilla:Math és la connexió Levi-Civita a Plantilla:Math presa en la direcció de coordenades Plantilla:Math (és a dir, Plantilla:Math ) i on Plantilla:Math és una base de coordenades locals (holonòmica). Com que aquesta connexió té una torsió zero, i els camps vectorials holonòmics es desplacen (és a dir $[e_i,e_j]=[{\partial }_i,{\partial }_j]=0$ ) tenim $${\mathrm{\nabla }}_i{\mathrm{e}}_j={\mathrm{\nabla }}_j{\mathrm{e}}_i.$$ Per tant, en aquesta base els coeficients de connexió són simètrics: $${{\mathrm{\Gamma }}^k}_{ij}={{\mathrm{\Gamma }}^k}_{ji}.$$ Per aquest motiu, una connexió lliure de torsió s'anomena sovint simètrica.

Símbols de Christoffel del primer tipus

Els símbols de Christoffel del primer tipus es poden derivar dels símbols de Christoffel del segon tipus i de la mètrica, $${\mathrm{\Gamma }}_{cab}=g_{cd}{{\mathrm{\Gamma }}^d}_{ab},$$o només a partir de la mètrica,

$$\begin{array}{cc}{\mathrm{\Gamma }}_{cab}& =\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}(g_{ca,b}+g_{cb,a}-g_{ab,c})\\ & =\frac{1}{2}({\partial }_b{g}_{ca}+{\partial }_a{g}_{cb}-{\partial }_c{g}_{ab}).\\ \end{array}$$Com a notació alternativa també es troba

$${\mathrm{\Gamma }}_{cab}=[ab,c].$$Val a dir que Plantilla:Math.

Aplicacions

Els símbols de Christoffel troben un ús freqüent en la teoria de la relativitat general d'Einstein, on l'espai-temps està representat per una varietat de Lorentz corba de 4 dimensions amb una connexió Levi-Civita. Les equacions de camp d'Einstein —que determinen la geometria de l'espai-temps en presència de matèria— contenen el tensor de Ricci i, per tant, calcular els símbols de Christoffel és essencial. Un cop determinada la geometria, es calculen els camins de partícules i raigs de llum resolent les equacions geodèsiques en què apareixen explícitament els símbols de Christoffel.