Tensor de curvatura

Tensor de curvatura
En geometra diferencial, el tensor de curvatura de Riemann, o simplemente tensor de curvatura o tensor de Riemann, supone una generalizacin del concepto de curvatura de Gauss, definido para superficies, a variedades de dimensiones arbitrarias. Representa una medida de la separacin de la mtrica de la variedad respecto de la mtrica eucldea. Fue introducido en 1862 por B. Riemann y desarrollado en 1869 por E. B. Christoffel como una forma de describir completamente la curvatura en cualquier nmero de dimensiones mediante un pequeo monstruo: un tensor de tipo (1,3) representado generalmente por el smbolo . El valor de cualquier otra entidad que describa la curvatura de una variedad puede deducirse de este tensor. Tal es el caso del tensor de Ricci (un tensor de tipo (0,2)), de la curvatura escalar o de la curvatura seccional. Aunque en 2 dimensiones la curvatura puede representarse por un escalar en cada punto (o tensor de orden cero), tal como haca la curvatura de Gauss, la geometra de variedades de Riemann con dimensin mayor o igual que 3 es demasiado compleja como para describirla totalmente por un nmero en un punto dado. As, en 3 dimensiones la curvatura puede representarse por un tensor de segundo orden (el tensor de Ricci). Sin embargo, para dimensiones superiores necesitaremos al menos un tensor de cuarto orden (el tensor de Riemann). El tensor de curvatura tiene una influencia notable en la evolucin de la separacin de un conjunto de geodsicas inicialmente prximas, va la ecuacin de Hamilton-Jacobi. Da lugar a efectos observables de la curvatura en las fuerzas de marea que aparecen en relatividad general.

Definicin
Formalmente, el tensor de curvatura est definido para toda variedad de Riemann, y, ms generalmente, en toda variedad dotada de una conexin afn con o sin torsin, por la frmula siguiente:

donde [ , ] nota el corchete de Lie. Esta definicin nos lleva a representar la curvatura es como un tensor (1,3)-valente. En geometra de Riemann, la valencia de este tensor se puede alterar: a menudo usaremos una representacin equivalente como tensor (0,4). Aunque sea la definicin que aparece con ms frecuencia, el operador , histricamente no apareci hasta 1954. Entre tanto, se desarroll el formalismo de Cartan, en que la conexin se expresa como una matriz de 1-formas y la curvatura como una matriz de 2-formas.

Expresin en coordenadas
Dada una base cualquiera , definida como una seccin del fibrado tangente, y su base dual

las coordenadas del tensor de curvatura vienen dadas por:

En un sistema de coordenadas asociada a una carta local vienen dadas por: (*) Donde

las componentes del tensor de curvatura de Riemann

son los campos vectoriales asociados a cada una de las coordenadas y que juntos constituyen

una base natural. La expresin (*) puede reescribirse en trminos de de los smbolos de Christoffel de la siguiente manera, usando el convenio de sumacin de Einstein:

Tensor de curvatura

Forma covariante del tensor de curvatura

Si es una variedad riemanniana, el tensor de curvatura vendr definido a partir de la conexin de Levi-Civita. El podr utilizarse para subir o bajar ndices del tensor de curvatura. En particular, la versin tensor mtrico

completamente covariante del tensor es un tensor de tipo (0,4) dado por

Existen distintas definiciones de este tensor, equivalentes salvo en signo, lo que nos obliga a tener que determinar en cada caso la convencin de signo del autor. En contraste, el resto de definiciones de todos los autores se ajustan para que las nociones de curvatura seccional, de Ricci o escalar permanezcan inalteradas.[1]

Expresin como conjunto de 2-formas

La conexin matemtica de una variedad diferenciable y fijada una base del espacio tangente en cada punto cualquier puede expresarse mediante una matriz de 1-formas que satisfacen la siguiene relacin con la derivada covariante:

Donde: son campos vectoriales definidos sobre la variedad: Puede probarse adems que si base dual satisfacen: es la base dual de la anterior la diferencial exterior de los elementos de esta

Donde: es el conjunto de n 2-formas de torsin que son nulas si se usa la conexin riemanniana asociada a la mtrica de Riemann de la variedad. Las 2-formas de curvatura vienen dadas simplemente por:

En general, el procedimiento de clculo mediante las 1-formas de la conexin y 2-formas de curvatura resulta ms eficiente y rpido que el clculo directo mediante la expresin en coordenadas.

Significado del tensor de curvatura en una variedad de Riemann

Como medida de la separacin de la mtrica respecto de la mtrica eucldea
Una relacin interesante que aclara el significado del tensor de curvatura es que si se consideran coordenadas normales centradas en un punto p en un entorno de dicho punto la mtrica de toda variedad riemannina puede escribirse como:

Es decir el tensor de Riemann da las desviaciones de la mtrica respecto a la mtrica eucldea plana hasta segundo orden. En una variedad lorentziana la relacin es similar:

Tensor de curvatura

Como transformacin lineal de 2-formas

Para ver R como transformacin lineal de 2-formas, considere la curvatura seccional, es decir la curvatura de una superficie geodsica de dos dimensiones que pasa a travs de un punto - una seccin, que es la imagen de un plano tangente bajo la funcin exponencial. El correspondiente plano tangente se puede representar por 2-formas. El tensor de curvatura da informacin equivalente a especificar todas las curvaturas seccionales. La norma cuadrada de una 2-forma por la curvatura seccional correspondiente de hecho da una nueva forma cuadrtica en un espacio de 2-formas, y es dada exactamente por el operador lineal simtrico R. es decir (R(s), s) = k(s)(s, s). El operador R puede ser entendido de otra manera. Cada 2-forma se puede representar por un lazo rectangular pequeo (de muchas maneras, pero de la forma correspondiente es lo qu importa aqu). Entonces el transporte paralelo alrededor de este lazo da lugar a una transformacin del espacio tangente. sta es una transformacin infinitesimal del espacio tangente, que se puede representar por un elemento del lgebra de Lie correspondiente al grupo de Lie de todas las transformaciones lineales del espacio tangente. Pero esta lgebra de Lie es nuevamente un lgebra de 2-formas, y R(s) es precisamente este generador. El lgebra de Lie de todas las transformaciones del lazo es el lgebra de Lie de la holonoma correspondiente a la curvatura.

Simetras del tensor de curvatura en una variedad de Riemann

Fijado un sistema de coordenadas en un punto de una variedad diferenciable, las identidades que satisface el tensor, pueden ser escritas en trminos de las componentes sencillamente como: Antisimetra frente al intercambio entre los dos primeros o los dos ltimos ndices:

Simetra respecto al intercambio del bloque formado por los dos primeros ndices con el bloque formado por los ltimos:

Primera identidad de Bianchi: la suma en tres entradas del tensor de curvatura (las tres ltimas con nuestra convencin de signos) bajo permutacin circular se anula

que tambin aparece en forma ms compacta como

, donde el corchete [ ] denota

antisimetrizacin sobre las componentes seleccionadas. Los 6 trminos que aparecen se reducen a tres usando la primera de las simetras. Segunda identidad de Bianchi , o de modo equivalente: Aunque el tensor de curvatura tenga componentes, donde es la dimensin de la variedad donde est definido, . En dimensiones

las tres primeras relaciones reducen el nmero de componentes independientes a

2, 3 y 4, el nmero de componentes independientes ser 1, 6, 20. En caso de trabajar en una variedad con una conexin arbitraria, las identidades de Bianchi adoptan una forma que generaliza a las anteriores e involucra al tensor de torsin de la conexin.

Tensor de curvatura

Descomposicin del tensor de curvatura

Dada la complejidad del tensor de curvatura, a menudo es conveniente resumir parte de la informacin de este tensor en elementos ms simples, como pueden ser las curvaturas seccionales, o las combinaciones de las mismas que forman el tensor de Ricci o la misma curvatura escalar.

Curvatura seccional
Del mismo modo que para hacer ms tratable una funcin bilineal la estudiamos al aplicarla a dos vectores iguales (su forma cuadrtica asociada), para estudiar un tensor de cuarto orden como el de curvatura podemos intentar aplicarlo sobre el mnimo nmero de vectores distintos. Por antisimetra, con solo un vector obtendramos resultados nulos. Debemos usar, pues, dos vectores diferentes. Dado un plano , y una base del mismo, se demuestra que la cantidad[2]

no depende de la base escogida. As, podemos decir que K slo depende de y recibe el nombre de curvatura seccional del plano . Si escogemos una base ortonormal , su clculo puede simplificarse, de modo que:

El conocimiento de todas las curvaturas seccionales determina unvocamente al tensor de curvatura. Podemos pensar en ellas como unidades de informacin a la hora de analizar el tensor de curvatura.

Curvaturas escalar y de Ricci

Se llama tensor de Ricci al tensor de tipo (0, 2) cuyas componentes son la contraccin en un ndice covariante y otro contravariante del tensor de curvatura.

Los elementos diagonales del tensor de Ricci pueden expresarse fcilmente como combinacin de curvaturas seccionales. Por ejemplo, dada una base ortonormal curvaturas seccionales de los n-1 planos ortogonales que contengan a , ). (suma de las

Adems, se llama curvatura escalar, que suele designarse con las letras R o s, a la funcin que se obtiene por contraccin mtrica de los dos ndices del tensor de Ricci: . Si calculamos la contraccin usando una base ortonormal curvaturas seccionales: , obtendremos su desarrollo como suma de

En dos dimensiones, el tensor de curvatura est determinado por la curvatura escalar. En tres dimensiones, el tensor de curvatura est especificado por la curvatura de Ricci. Esto tiene que ver con el hecho de que el espacio de 2-formas es tridimensional: la misma razn por la que podemos definir el producto vectorial para 3 dimensiones (el producto vectorial es precisamente el producto cua de dos 1-formas compuesto con la estrella de Hodge, si representamos vectores con su 1-formas correspondientes). En ms dimensiones, el tensor pleno de curvatura contiene ms informacin que la curvatura de Ricci. Eso significa que, para un nmero de dimensiones n < 4, el tensor de curvatura queda completamente especificado si se conoce el tensor de Ricci, no ocurriendo as para n > 3. Eso tiene una importante consecuencia en la Teora general de la relatividad puesto que el espacio-tiempo de n = 4 dimensiones, pero en donde las ecuaciones del campo gravitatorio slo determinan el tensor de Ricci. Por tanto, las ecuaciones de Einstein para el campo gravitatorio no determinan

Tensor de curvatura completamente el tensor de curvatura total: La parte de la curvatura no especificada por las ecuaciones de Einstein, coincide precisamente con el tensor de Weyl que se definie a continuacin.

La curvatura de Weyl
Para dimensin n>3, el tensor de curvatura se puede descomponer en la parte que depende de la curvatura de Ricci, y el tensor de Weyl. Si R es el tensor (0, 4)-valente de curvatura de Riemann, entonces

donde Ric es la versin (0, 2)-valente de la curvatura de Ricci, s es la curvatura escalar y g es el tensor mtrico (0, 2)-valente y

es el llamado producto de Kulkarni-Nomizu de los dos (0, 2)-tensores. Las componentes del tensor de Weyl pueden ser calculadas explcitamente a partir del tensor de curvatura de Riemann, el tensor de curvatrua de Ricci y la curvatura escalar:

Donde: son las componentes del tensor de Riemann. son las componentes del tensor de Ricci. es la curvatura escalar de Ricci. se refiere a la parte antisimtrica de un tensor. Si g'=fg para una cierta funcin escalar - el cambio conforme de la mtrica - entonces W'=fW. Para curvatura constante, el tensor de Weyl es cero. Por otra parte, W=0 si y solamente si la mtrica es conforme a la mtrica euclidiana estndar (igual a fg, donde g es la mtrica estndar en un cierto marco coordinado y f es una cierta funcin escalar). La curvatura es constante si y solamente si W=0 y Ric=s/n

Referencias
[1] O Neill Semiriemaniann geometry. Academic Press, 1983. ISBN 0-12-526740-1 (tratamiento de curvatura en variedades semiriemanianas) [2] Berger, M. A panoramic view of riemannian Geometry. Springer, 2003. ISBN 3-540-65317-1

Bibliografa
Lee, J.M. Riemannian manifolds: an introduction to curvature. GTM 176. ISBN 0-387-98271-X Spivak, Michael (1999), A Comprehensive introduction to differential geometry, Volumen 2, Publish or Perish,
ISBN 0-914098-71-3

Portal:Matemtica. Contenido relacionado con Matemtica.

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo

Tensor de curvatura Fuente: http://es.wikipedia.org/w/index.php?oldid=73794035 Contribuyentes: Davius, DefLog, Emc2fred83, Gato ocioso, Gumok, Hippokrateszholdacskai, Ingenioso Hidalgo, Juan Marquez, Lourdes Cardenal, Porao, Ronaldo16, Tano4595, Urdangaray, 31 ediciones annimas

Fuentes de imagen, Licencias y contribuyentes

Archivo:Nuvola apps edu mathematics-p.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Nuvola_apps_edu_mathematics-p.svg Licencia: GNU Lesser General Public License Contribuyentes: David Vignoni (original icon); Flamurai (SVG convertion)

Licencia
Creative Commons Attribution-Share Alike 3.0 //creativecommons.org/licenses/by-sa/3.0/