Derivada covariant

El transport paral·lel d'un vector al llarg d'una corba tancada sobre l'esfera, que igual que el concepte de derivada covariant es basa en la noció de connexió matemàtica. L'angle $\alpha$ després de recórrer una vegada la corba és proporcional a l'àrea dins de la corba.

La derivada covariant (${\mathrm{\nabla }}_i$) és una generalització del concepte de derivada parcial (${\partial }_i$) que permet estendre el càlcul diferencial sobre ${ℝ}^n$ amb coordenades cartesianes al cas de coordenades curvilínies en ${ℝ}^n$ (i també al cas encara més general de varietats diferenciables).

Introducció

Introduirem primer el cas de ${ℝ}^n$. Suposem que tenim n camps vectorials que en cada punt formen una base vectorial $\{{𝐢}_1,\dots {𝐢}_n\}$ i un camp vectorial contravariant addicional $𝐯$ de tal manera que aquest camp pot expressar en termes de la base anterior: Plantilla:Equació On $v^k$ són les components del vector en aquesta base. Si s'utilitzen coordenades curvilínies $(x^1,\dots x^n)$, els vectors tangents a les corbes coordenades canvien de punt a punt. Això implica que encara que el camp vectorial sigui constants en general les seves coordenades a la base escollida no seran constants i en general succeirà que la derivada covariant ($\overline{\partial }$): Plantilla:Equació Ja que també cal considerar la variació d'orientació de la base vectorial en passar d'un punt a un altre, és a dir, per avaluar la derivada (covariant) anterior necessitem avaluar: Plantilla:Equació On el terme segon addicional dona compte de com canvia la base vectorial en recórrer una línia coordenada curvilínia. És a dir quan s'usen coordenades cartesianes en ${ℝ}^n$ les línies coordenades són línies rectes paral·leles als eixos coordenats, i d'alguna manera en cada punt la base vectorial escollida per a mesurar les coordenades d'un camp vectorial en tots els punts estan "sincronitzades". Però en coordenades curvilínies en passar d'un punt a un altre, els vectors tangents a les línies coordenades usats com a base no coincidiran d'un punt a un altre i és necessari calcular la seva variació en canviar de punt. En general els vectors ${𝐢}_k(x)$ no només depenen del punt cal especificar com es "connecten" els vectors en diferents punts i per a això es defineix una connexió que en el cas de ${ℝ}^n$ pot representar-se com un conjunt de coeficients: Plantilla:Equació Els coeficients ${\mathrm{\Gamma }}_{ji}^k$ es diuen símbols de Christoffel i defineixen localment la connexió. Unint els resultats dePlantilla:EqnrefiPlantilla:Eqnrefla derivada covariant parcial d'un camp vectorial pot expressar-se mitjançant: Plantilla:Equació Usant el conveni de sumació d'Einstein i reanomenant els índexs l'expressió anterior es pot escriure simplement com: Plantilla:Equació L'expressió entre parèntesis representa les components de la derivada covariant del vector contravariant $𝐯$. Anàlogament donada una corba $t\mapsto (x^1(t),\dots ,x^n(t))$ es defineix la derivada covariant temporal al llarg d'aquesta corba com: Plantilla:Equació

Cas euclidià

La necessitat de la generalització de la derivada ordinària en ${ℝ}^n$ s'aprecia quan s'utilitzen coordenades curvilínies com s'ha dit. Per a evidenciar-ho n'hi ha prou expressant el moviment d'una partícula primer en coordenades cartesianes i després en coordenades polars; per exemple, considerem una massa puntual que es mou al llarg d'una recta distant de l'origen d i formant la recta distància d un angle ${\theta }_0$ amb l'eix OX. Les seues equacions horàries i la trajectòria deduïda d'elles tot eliminant-ne el temps seran: Plantilla:Equació El punt es mou al llarg de la recta amb una velocitat $v$ uniforme com es pot veure's de manera senzilla, si es calculen les velocitats i les acceleracions de la partícula: Plantilla:Equació On s'ha fet servir la notació $\dot{x}=dx/dt$ i $\dot{y}=dy/dt$.

Ara considerem el càlcul de l'acceleració en coordenades polars. Com que la partícula es mou sobre una recta les seues distància a l'origen i angle polar estaran relacionats mitjançant la relació: Plantilla:Equació Les coordenades de la velocitat de la partícula en aquestes coordenades es poden determinar mitjançant càlcul directe o canviant de base a partir de la components cartesianes: Plantilla:Equació Com que la partícula es mou a velocitat constant el vector acceleració hauria de resultar nul. D'acord amb el que s'ha discutit anteriorment, les components del vector acceleració poden obtenir-se mitjançant les coordenades covariants: Plantilla:Equació És important notar com en aquest cas les derivades parcials ordinàries no coincideixen amb les components de l'acceleració: Plantilla:Equació Ja que en coordenades polars els vectors de la base varien de punt a punt, i és per això que només utilitzant la derivada covariant s'obté un vector d'acceleració nul tal com es podia esperar a partir del càlcul en coordenades cartesianes.

Cas general

En una varietat diferenciable o una hipersuperficie de ${ℝ}^n$, d'altra banda, el concepte de derivada direccional es defineix a partir de l'espai tangent a cada punt. En el cas general en presentar la varietat o la hipersuperfície curvatura, els espais tangents de cada punt difereix del dels punts propers i, per tant, es necessita alguna manera de "connectar" o identificar vectors de diferents espais vectorials, mitjançant una connexió sobre la varietat.

En una varietat riemanniana comunament es tria una connexió (sense torsió) que sigui compatible amb la mètrica, expressada per les components del tensor mètric $g_{\mu \nu }$, en el sentit que: Plantilla:Equació

Derivada covariant d'un tensor

En les seccions anteriors la discussió de la derivada covariant s'ha limitat a un camp vectorial contravariant. Però la derivada covariant es pot estendre a altres tipus de camps tensorials definits sobre una varietat de Riemann. Per estendre la definició usa el fet que la derivada parcial d'un escalar coincideix amb la derivada covariant parcial d'aquest escalar, és a dir: Plantilla:Equació Així per a calcular la derivada covariant parcial d'unel 1-forma $\mathit{\theta }={\theta }_{\alpha }d{x}^{\alpha }$ es considera la seva contracció amb un camp vectorial contravariant i tenint en compte que la derivada covariant en una derivació per a la qual val la regla del producte: Plantilla:Equació Això porta a la següent relació entre components: Plantilla:Equació Per a un tensor de tipus (p, q) general s'haurà: Plantilla:Equació

Propietats

En l'anterior s'ha considerat la noció de derivada covariant de manera natural tot estenent a coordenades curvilínies la noció de derivada parcial; aquest enfocament condueix a un operador de derivació covariant amb les següents propietats:

1. Linealitat: Per a tot A i B de ${𝒯}_r^s({ℝ}^n)$ i qualsevol $\alpha ,\beta \in ℝ$: ${\mathrm{\nabla }}_{\mu }(\mathrm{A}{A}_{{\beta }_1\dots {\beta }_m}^{{\alpha }_1\dots {\alpha }_n}+\beta B_{{\beta }_1\dots {\beta }_m}^{{\alpha }_1\dots {\alpha }_n})=\alpha {\mathrm{\nabla }}_{\mu }{A}_{{\beta }_1\dots {\beta }_m}^{{\alpha }_1\dots {\alpha }_n}+\beta {\mathrm{\nabla }}_{\mu }{B}_{{\beta }_1\dots {\beta }_m}^{{\alpha }_1\dots {\alpha }_n}$
2. Regla de Leibniz:
3. Commutativitat amb la contracció:
4. Consistència amb la noció de vector tangent:

Una altra possibilitat de definir una derivada covariant més formalment és construir un operador que satisfaci per construcció les propietats anteriors.

Bibliografia

• Robert M. Wald, General Relativity , Chicago University Press, Plantilla:ISBN.