29/09/13

Derivada covariante - Wikipedia, la enciclopedia libre

Derivada covariante
De Wikipedia, la enciclopedia libre

En matemticas , la derivada covariante es una manera de especificar un derivado junto vectores tangentes de un colector . Alternativamente, la derivada covariante es una forma de introducir y de trabajo con una conexin en un colector por medio de un operador diferencial , de ser contrastada con el enfoque dado por una conexin principales sobre el haz de marco - ver conexin afn . En el caso especial de un colector isomtricamente encajado en un dimensional superior espacio euclidiano , la derivada covariante puede ser vista como la proyeccin ortonormal del derivado euclidiana a lo largo de un vector tangente en el espacio tangente del colector. En este caso, el derivado euclidiana se divide en dos partes, la componente normal extrnseca y la intrnseca componente derivada covariante. Este artculo presenta una introduccin a la derivada covariante de un campo de vectores con respecto a un campo de vector, tanto en un lenguaje libre de coordenadas y el uso local de un sistema de coordenadas y la notacin ndice tradicional. La derivada covariante de un tensor de campo se presenta como una extensin del mismo concepto. La derivada covariante generaliza forma directa a una nocin de diferenciacin asociado a una conexin en un paquete del vector , tambin conocida como una conexin de Koszul .

Contenido
1 Introduccin y antecedentes 2 Motivacin 2.1 Observaciones 3 Definicin informal con una inmersin en el espacio euclidiano 4 Definicin formal 4.1 Funciones 4.2 Campos vectoriales 4,3 campos covector 4,4 campos tensoriales 5 Descripcin de coordenadas 6 Ejemplos 7 Notacin 8 Derivado largo de la curva 9 Relacin de Lie derivado 10 Vase tambin 11 Notas 12 Referencias

Alternatively, the covariant derivative is a way of intr working with a connection on a manifold by means of operator , to be contrasted with the approach given b connection on the frame bundle see affine connection .
Sugiere una traduccin mejor

Introduccin e historia
Histricamente, a finales del siglo 20, la derivada covariante fue presentado por Gregorio Ricci-Curbastro y Tullio Levi-Civita [ 1 ] en la teora de Riemann y la geometra pseudoriemanniana . Ricci y Levi-Civita (siguiendo las ideas de Elwin Bruno Christoffel ) observaron que los smbolos de Christoffel se utilizan para definir la curvatura [ 2 ] [ 3 ] tambin podra proporcionar una idea de la diferenciacin que se generaliz la clsica derivada direccional de campos vectoriales en un colector. Este nuevo derivado - la conexin de Levi-Civita - era covariante en el sentido de que se cumple el requisito de Riemann que los objetos de la geometra debe ser independiente de su descripcin en un sistema de coordenadas particular. Pronto se observ por otros matemticos, prominentes entre stos siendo Hermann Weyl , ene Arnoldus Schouten , y lie Cartan , [ 4 ] que una derivada covariante se podra definir abstractamente sin la presencia de una mtrica . La caracterstica crucial no era un particular dependencia de la mtrica, pero que los smbolos de Christoffel satisfecho un cierto segunda ley precisa transformacin fin. Esta ley transformacin podra servir como punto de partida para la definicin de la derivada de una manera covariante. As, la teora de la diferenciacin covariante bifurca fuera del contexto estrictamente Riemann para incluir una gama ms amplia de posibles geometras. En la dcada de 1940, los practicantes de la geometra diferencial comenzaron a introducir otras nociones de diferenciacin covariante generales en paquetes del vector que eran, en contraste con los haces clsicos de inters para gemetras, no forman parte del anlisis tensorial del colector. En general, estos derivados covariantes generalizadas tuvieron que ser especificado ad hoc por alguna versin del concepto de conexin. En 1950, Jean-Louis Koszul unificado estas nuevas ideas de diferenciacin covariante en un paquete de vectores por medio de lo que se conoce hoy en da como una conexin Koszul [ 5 ] o de una conexin en un fibrado vectorial . Usando las ideas de lgebra de Lie cohomologa , Koszul convirti con xito muchas de las caractersticas analticas de diferenciacin covariante en los algebraicas. En particular, las conexiones Koszul eliminaron la necesidad de manipulaciones torpes de los smbolos de Christoffel (y otros no anlogos tensoriales ) los objetos de la geometra diferencial. As que rpidamente suplantados la nocin clsica de derivada covariante en muchos tratamientos post-1950 sobre el tema.

Motivacin
La derivada covariante es una generalizacin de la derivada direccional de clculo vectorial . Al igual que con la derivada direccional, la derivada covariante es una regla, , que toma como sus entradas: (1) un vector, u , definido en un punto P , y (2) un campo de vector , V , definida en un entorno de P . [ 6 ] La salida es el vector , tambin en el punto P . La diferencia primaria de la derivada direccional habitual es que debe, en un cierto sentido preciso, ser independiente de la manera en la que se expresa en un sistema de coordenadas . Un vector puede ser descrito como una lista de nmeros en trminos de una base , sino como un objeto geomtrico un vector conserva su propia identidad, independientemente de cmo se elige para describir en una base. Esta persistencia de la identidad se refleja en el hecho de que cuando un vector est escrito en una base, y luego se cambia la base, el vector se transforma de acuerdo con un cambio de base de la frmula. Una ley de transformacin se conoce como una transformacin covariante . Se requiere que la derivada covariante para transformar, en virtud de un cambio en las coordenadas, en la misma forma que un vector hace: la derivada covariante debe cambiar por una transformacin covariante (de ah el nombre). En el caso de espacio euclidiano , se tiende a definir la derivada de un campo de vector en trminos de la diferencia entre dos vectores en dos puntos cercanos. En tal un sistema de un solo traduce uno de los vectores con el origen de la otra, mantenindola paralela. Con un cartesiano (fija ortonormal sistema de coordenadas) que por lo tanto obtenemos el ejemplo ms sencillo: derivada covariante que se obtiene tomando la derivada de los componentes.

en.wikipedia.org/wiki/Covariant_derivative

1/6

29/09/13

Derivada covariante - Wikipedia, la enciclopedia libre

En el caso general, sin embargo, hay que tener en cuenta el cambio del sistema de coordenadas. Por ejemplo, si la misma derivada covariante est escrito en coordenadas polares en un plano euclidiano de dos dimensiones, a continuacin, que contiene trminos adicionales que describen la forma en la cuadrcula de coordenadas en s "gira". En otros casos, los trminos adicionales describen cmo la cuadrcula de coordenadas expande, se contrae, giros, entreteje, etc Considere el ejemplo de moverse a lo largo de una curva ( t ) en el plano euclidiano. En coordenadas polares, pueden escribirse en trminos de sus coordenadas radiales y angulares por ( t ) = ( r ( t ), ( t )). Un vector en un momento determinado t [ 7 ] (por ejemplo, la aceleracin de la curva) se expresa en trminos de , donde y son tangentes vectores unitarios para las coordenadas polares, que sirve como base para descomponer un vector en trminos de radial y componentes tangenciales . En un momento un poco ms tarde, aparece la nueva base en coordenadas polares ligeramente girada con respecto a la primera serie. La derivada covariante de los vectores de la base (los smbolos de Christoffel ) sirven para expresar este cambio. En un espacio curvo, tal como la superficie de la Tierra (considerado como una esfera), la traduccin no est bien definido y su anlogo, transporte paralelo , depende de la ruta de acceso a lo largo de la que el vector se traduce. Un vector de correo en un globo en el ecuador en Q se dirige hacia el norte. Supongamos que paralelamente transportamos el vector primero a lo largo de la lnea ecuatorial hasta P y luego (mantenindola paralela a s misma) arrastre a lo largo de un meridiano al polo N y (manteniendo la direccin all) posteriormente transportarla lo largo de otro meridiano volver a Q. Entonces nos damos cuenta de que el vector paralelo-transportado a lo largo de un circuito cerrado no regresar como el mismo vector, sino que tiene otra orientacin. Esto no sucedera en el espacio euclidiano y es causada por la curvatura de la superficie del globo. El mismo efecto se puede notar si arrastramos el vector a lo largo de una superficie cerrada infinitesimalmente pequea posteriormente a lo largo de dos direcciones y luego de vuelta. El cambio infinitesimal del vector es una medida de la curvatura.

Notas
La definicin de la derivada covariante no utiliza la mtrica en el espacio. Sin embargo, para cada medida hay una nica torsin derivada covariante libre llamada conexin de Levi-Civita tal que la derivada covariante de la mtrica es cero. Las propiedades de un derivado implican que depende de un entorno arbitrariamente pequeo de un punto p en la misma forma que por ejemplo la derivada de una funcin escalar a lo largo de una curva en un punto dado p depende de un entorno arbitrariamente pequeo de p . La informacin sobre el entorno de un punto p en la derivada covariante se puede utilizar para definir transporte paralelo de un vector. Tambin la curvatura , de torsin , y geodsicas pueden definirse slo en trminos de la derivada covariante u otra variacin correspondiente en la idea de una conexin lineal .

Definicin informal mediante una inmersin en el espacio euclidiano

Asumir una (pseudo) variedad de Riemann se incrusta en el espacio euclidiano el espacio tangente en es atravesado por los vectores mediante una (dos veces seguidas) aplicacin diferenciable tal que

y el producto escalar en

es compatible con la mtrica en M :

. (Desde el colector de mtrica siempre se supone que es regular, la condicin de

compatibilidad implica independencia lineal de los vectores tangentes derivadas parciales.) Para un campo vector tangente uno tiene .

El ltimo trmino no es tangencial a M , pero se puede expresar como una combinacin lineal de los vectores de base espacio tangente utilizando los smbolos de Christoffel como factores lineales ms un vector no tangente: . La derivada covariante se define como slo una parte tangencial de la derivada habitual:

En el caso de la conexin de Levi-Civita

se requiere que sea ortogonal al espacio tangente, por lo .

Por otra parte

implica (utilizando la simetra del producto escalar y el intercambio del orden de diferenciaciones parciales)

en.wikipedia.org/wiki/Covariant_derivative

2/6

29/09/13

Derivada covariante - Wikipedia, la enciclopedia libre

y los rendimientos de los smbolos de Christoffel para la conexin de Levi-Civita, en trminos de la mtrica:

Definicin formal
La derivada covariante es una conexin (Koszul) en el paquete de la tangente y otros paquetes tensor . Por lo tanto, tiene un cierto comportamiento de las funciones, en los campos de vectores, en los duales de los campos de vectores (es decir, covector campos), y lo ms general, sobre todo, en arbitrarios campos tensoriales .

Funciones
Dada una funcin , la derivada covariante coincide con la diferenciacin normal de una funcin real en la direccin del vector v , denotado generalmente por y por .

Campos vectoriales
Un derivada covariante de un campo de vector en la direccin del vector denotado de U, W y funciones escalares de f y g : 1. 2. 3. es algebraicamente lineal en por lo es aditivo en por lo obedece la regla del producto , es decir, se define por las siguientes propiedades para cualquier vector v , vector de campos

cuando

se ha definido anteriormente.

Tenga en cuenta que

en el punto p depende del valor de v en p y en los valores de u en un barrio de la p por la ltima propiedad, la regla del producto.

Campos covector
Dado un campo de covectores (o un formulario ) , su derivada covariante se puede definir mediante la siguiente identidad que se satisface para todos los campos de vectores u

La derivada covariante de un campo covector lo largo de un campo vectorial v es de nuevo un campo covector.

Campos tensoriales
Una vez que la derivada covariante se define para los campos de vectores y covectores que se puede definir para arbitrarias tensor campos usando las siguientes identidades donde son los dos tensores: y

y si y son campos tensoriales del mismo conjunto tensor luego

La derivada covariante de un tensor de campo a lo largo de un campo vectorial V es de nuevo un campo de tensores del mismo tipo.

Coordinar Descripcin
Dadas las funciones coordenadas , cualquier vector tangente se puede describir por sus componentes en la base . La derivada covariante de un vector de la base a lo largo de un vector de la base es de nuevo un vector y as se puede expresar como una combinacin lineal derivada covariante es suficiente para especificar la derivada covariante de cada campo vector de la base a lo largo . . Para especificar la

los coeficientes

se llaman smbolos de Christoffel . Luego, utilizando las reglas en la definicin, nos encontramos con que los campos vectoriales generales

obtenemos

as
en.wikipedia.org/wiki/Covariant_derivative 3/6

29/09/13

Derivada covariante - Wikipedia, la enciclopedia libre

El primer trmino en esta frmula es responsable de "torsin" el sistema de coordenadas con respecto a la derivada covariante y el segundo para los cambios de componentes del campo de vector u . En particular

En otras palabras: la derivada covariante es la derivada normal a lo largo de las coordenadas en trminos de correccin, que indican cmo el cambio de coordenadas. La derivada covariante de un tipo ( r , s ) a lo largo de tensor de campo viene dada por la expresin:

O, en palabras: hay que tomar la derivada parcial del tensor y aade: a

para cada ndice superior

,y

para todos los ndices ms bajos

Si en lugar de un tensor, uno est tratando de diferenciar una densidad tensor (de 1 peso), entonces tambin se aade un trmino

Si se trata de un tensor de densidad de peso W , y luego multiplicar ese trmino por W . Por ejemplo,

es una densidad escalar (de 1 peso), por lo que tenemos:

en punto y coma ";" indica la diferenciacin covariante y coma "," indica la diferenciacin parcial. Dicho sea de paso, esta expresin particular es igual a cero, debido a que la derivada covariante de una funcin nicamente de la mtrica es siempre cero.

Ejemplos
Para un campo escalar , la diferenciacin covariante es simplemente la diferenciacin parcial:

Para un campo vector contravariante

, tenemos:

Para un campo vector covariante

, se tiene:

Para una (2,0) campo de tensores de tipo

, se tiene:

Para una (0,2) tensor de campo tipo

, tenemos:

Para una (1,1) tensor de campo tipo

, tenemos:

La notacin anterior se entiende en el sentido

Siempre hay que recordar que derivadas covariantes no conmutan, es decir

. En realidad, es fcil demostrar que:

donde

es el tensor de Riemann . Del mismo modo,

Este ltimo puede ser mostrado mediante la adopcin de (sin prdida de generalidad) que

en.wikipedia.org/wiki/Covariant_derivative

4/6

29/09/13

Derivada covariante - Wikipedia, la enciclopedia libre

Notacin
En los libros de texto de fsica, la derivada covariante a veces se limit a afirmar, en trminos de sus componentes en esta ecuacin. A menudo se usa una notacin en la que la derivada covariante se da con un punto y coma , mientras que una normal de derivada parcial se indica mediante una coma . En esta notacin se escribe lo mismo que:

Una vez ms, esto demuestra que la derivada covariante de un campo vectorial no es slo simplemente obtienen diferenciando a las coordenadas v en s a travs .

, pero tambin depende del vector

En algunos textos antiguos (especialmente Adler, Bazin y Schiffer, Introduccin a la Relatividad General ), la derivada covariante se denota por un doble tubo:

Derivado a lo largo de la curva

Dado que la derivada covariante de un tensor de campo largo de una curva suave en un colector: en un punto depende slo sobre el valor del campo de vector en uno puede definir la derivada covariante a lo

Tenga en cuenta que el campo tensor

slo necesita ser definido en la curva

de esta definicin para tener sentido.

En particular, es un campo de vectores a lo largo de la curva en s. Si desaparece entonces la curva se denomina geodsica de la derivada covariante. Si la derivada covariante es la conexin de Levi-Civita de una determinada mtrica entonces las geodsicas de la conexin son, precisamente, las geodsicas de la mtrica que se parametrizado por la longitud del arco. El derivado a lo largo de una curva tambin se utiliza para definir el transporte paralelo a lo largo de la curva. A veces la derivada covariante a lo largo de una curva se denomina absoluta o derivado intrnseca .

Relacin con Lie derivados

Un derivado de covariante presenta una estructura geomtrica adicional en un colector que permite a los vectores en los espacios tangentes vecinos para ser comparados. Esta estructura adicional es necesario porque no hay forma cannica para comparar vectores de diferentes espacios vectoriales, como es necesario para esta generalizacin de la derivada direccional . Sin embargo, existe otra generalizacin de los derivados direccionales que es cannica: la derivada de Lie . La derivada de Lie evala el cambio de un campo vectorial a lo largo del flujo de otro campo vectorial. Por lo tanto, hay que conocer los dos campos vectoriales en un entorno abierto. La derivada covariante en el otro lado presenta su propio cambio para los vectores en una direccin dada, y slo depende de la direccin del vector en un solo punto, en lugar de un campo vectorial en un entorno abierto de un punto. En otras palabras, la derivada covariante es lineal (ms de C ( M )) en el argumento de direccin, mientras que la derivada de Lie es lineal en ninguno de argumento. Tenga en cuenta que la derivada covariante antisymmetrized u v - v U , y la derivada de Lie L u v difieren por la torsin de la conexin , de manera que si una conexin es simtrica, entonces su antisimetrizacin es la derivada de Lie.

Vase tambin
Conexin afn Smbolos de Christoffel Conexin (marco algebraico) Conexin (matemticas) Conexin (haz vector) Forma de conexin Exterior derivada covariante Medir derivada covariante Introduccin a las matemticas de la relatividad general Conexin de Levi-Civita Transporte paralelo Ricci clculo Derivado Tensor (mecnica de medios continuos)

Notas
1. 2. 3. 4. ^ Levi-Civita, T. y Ricci, G. "de calcul diferenciales absolu et leurs aplicaciones Metodos", Math. Ann. B , 54 (1900) 125-201. ^ Riemann , GFB, "ber die Hypothesen, welche der Geomtrie zu Grunde liegen", Gesammelte Werke Mathematische (1866), reimpresin, ed. Weber, H.: Dover, New York, 1953. ^ Christoffel, EB, "ber die Transformation der homogenen Differentialausdrcke Zweiten Grados", J. fr die Reine und Angew. Math. 70 (1869), 46-70. ^ cf. con Cartan, E. "Sur les varits una conexin afn y la Teora de la relativit gnralise" (http://www.numdam.org/item?id=ASENS_1923_3_40__325_0) , Annales, Ecole Normale 40 (1923), 325-412. 5. ^ Koszul, JL "homologie et des cohomologie algebres de Lie", Bulletin de la Socit Mathmatique 78 (1950) 65-127. 6. ^ La derivada covariante tambin se indica diversamente por v u , D v u , u otras notaciones. 7. ^ En muchas aplicaciones, puede ser mejor no pensar en t como correspondientes a tiempo, al menos para aplicaciones en la relatividad general . Se trata simplemente de considerarse como un parmetro variable abstracta sin problemas y montonamente a lo largo de la ruta de acceso.

en.wikipedia.org/wiki/Covariant_derivative

5/6

29/09/13

Derivada covariante - Wikipedia, la enciclopedia libre

Referencias
Kobayashi, Shoshichi y Nomizu, Katsumi (1996 (Nueva edicin)). Fundamentos de la Geometra Diferencial , vol. 1 . Wiley Interscience . ISBN 0-471-15733-3 . I.Kh. Sabitov (2001), "la diferenciacin covariante" (http://www.encyclopediaofmath.org/index.php?title=c/c026870) , en Hazewinkel, Michiel, Enciclopedia de las Matemticas , Springer , ISBN 978-1-55608-010-4 Sternberg, Shlomo (1964). Lecciones de Geometra Diferencial . Prentice-Hall. Spivak, Michael (1999). Una completa introduccin a la geometra diferencial (Tomo II) . Publicar o perecer, Inc. Obtenido de " http://en.wikipedia.org/w/index.php?title=Covariant_derivative&oldid=565457625 " Categoras : Geometra diferencial Geometra de Riemann Conexin (matemticas) Mtodos matemticos de la relatividad general Mecnica de Slidos Esta pgina fue modificada por ltima vez el 23 de julio de 2013 10:28. El texto est disponible bajo la Licencia Commons Attribution-ShareAlike creativa ; clusulas adicionales pueden aplicar. Al usar este sitio, usted acepta los Trminos de Uso y Poltica de Privacidad. Wikipedia es una marca registrada de la Wikimedia Foundation, Inc. , una organizacin sin fines de lucro.

en.wikipedia.org/wiki/Covariant_derivative

6/6