Francisco Hernandez Alejandre

1. Asumiendo que la contraccin de un tensor da como resultado otro tensor, Cuntos tensores diferentes pueden ser creados repitiendo la contraccin del tensor = ( )? Tenemos un tensor de orden cuatro; la primera contraccin se puede llevar a cabo igualando el superndice i con el k entonces = = por lo que: = 1 1 + 2 2 + + =

La segunda contraccin se hace igualando i con l; = = = 11 + 2 2 + + =

La tercera contraccin se iguala k con j; = = = 1 1 + 2 2 + + =

La cuarta contraccin se iguala j con l; = = = 1 1 + 2 2 + + =

En cada uno de los casos ya hechos se obtuvieron tensores con dos ndices libres, sea tensores de orden dos. Ahora si se aplica la contraccin doble al tensor T se van a producir en cualquiera de los casos dos tensores Cada uno de estos tensores se tienen dos ndices monigote iguales que como se sabe se reducen a un nmero escalar se puede observar que al tensor T la doble contraccin produce dos tensores de orden cero, sea invariantes; Por lo tanto se concluye que se pueden generar hasta 6 tensores distintos a partir del tensor dado.

2. Usando el tensor mtrico Euclidiano para coordenadas polares, calcule la longitud de arco para la curva: : 1 = 2, 2 = De la interpretacin geomtrica. (0 2)

Francisco Hernandez Alejandre

Supongamos que la constante a es positiva (aunque al parecer esto solo influye en la posicin que tomara la grfica) y se sabe que en coordenadas polares (1 , 2 ) = (, ) Entonces se tiene que: = ()() + ()() = ()() + ()() Y 2 = ()2 + ()2 ()2 Por lo que:

= |

Y esto a su vez: 1 ( ) = 42 2 2 ( ) =1 Y en polares = ( 1 0 0 ) 2

2 2

Entonces:
2 0

= 11 (1 )2 + 22 ( 2 )2 = 42 2 + 42 cos 2

= 2 = 4
0

Este resultado se puede interpretar como los crculos de radio a unidos en uno de sus lados.

Francisco Hernandez Alejandre

3. Usando el tensor mtrico 12 = ( 4 0 Calcule la longitud de curva dada por: 1 = 3 , 2 = 6 + 3, 3 = ln() ; 1 4 0 1 1 ) 1 (1 )2

Tomamos la definicin de la longitud de arco para el tensor mtrico dada por;

Entonces vamos a tener que: 6 6 1 2 2 2 2 = 12(1) + 4(1 6) + 4(6 1) + (6) + ( ) + ( ) + (3 ) ( ) 1

= 0 + (
1

12 1 ) + ( 2 6 + 9) ( 2 )

= (
1

12 6 9 ) + (1 + 2 )

6 9 = 1 + + 2 1

La cual aplicando los mtodos convencionales de integracin y el teorema fundamental del clculo nos queda que: = 2 +

Francisco Hernandez Alejandre

4. Usando el tensor mtrico para coordenadas esfricas, determine una familia de curvas que intersectan ortogonalmente a 1 = , 2 = , 3 = El tensor mtrico para coordenadas esfricas se da por (1 , 2 , 3 ) = (, , ) Con 1 = (0 0 0 (1 )2 0 0 1 0 ) = (0 (1 2 )2 0 0 2 0 0 0 ) 2

Ahora 1 + (1 )2 2 + (1 2 )2 3 = 0

De aqu vemos que 2 = 3 Por lo que

1 + (1 )2 ( 3 ) + (1 3 )2 3 = 0 Resolviendo la ecuacin diferencial para 1

1 = ( 3 ) 3 (1 )^2

1 cos( 3 ) 3 1 = + +

Francisco Hernandez Alejandre

1 =

1 ( 3 ) + ; 3

Pero por definicin 1 = ; Y podemos conocer 3 =

Entonces ()2 ( 2 ) + (() 2 ) 3 = 0

2

De donde obtenemos 3 = 2 +

Por lo tanto las curvas ortogonales son:

1 = , 3 = 2 +

5. Pruebe que todas las se anulan solo si las son constantes

Probemos primero que los smbolos de Christoffel de segunda especie dependen de los coeficientes de la primera forma fundamental y de sus derivadas.
1 = (, + , , ) 2

Entonces probemos que:

1 , |, = (, + , , ) 2

Se parte de las derivadas de los coeficientes de la primera forma;

Francisco Hernandez Alejandre = , |, , = , |, + , |, , = , |, + , | , = , |, + , |,

Ahora se suman las primeras dos y se resta la segunda, se toma en cuenta la propiedad conmutativa del producto escalar y la simetra de las segundas derivadas, por lo que se obtiene:
, + , , = 2, |, 1 , |, = (, + , , ) 2

Esto prueba que los smbolos de Christoffel dependen de los coeficientes de la primera forma y sus derivadas. Ahora se probara que en cualquier sistema de coordenadas los smbolos de primer tipo se desvanecen solo si las componentes del tensor mtrico son constantes. Permutando los ndices de los smbolos de Christoffel del primer tipo del arreglo (ijk);
1 = (, + , + , ) 2

Y al arreglo (jki) se tiene que;

1 = (, + , + , ) 2

Sumando las expresiones anteriores se obtiene

= +

Si el tensor mtrico G tiene componentes constantes en un sistema de coordenadas entonces todas las derivadas del tipo son iguales a cero, y la nica manera en que la suma de los componentes y sea cero en todos los casis es que los smbolos de Christoffel sean iguales a cero en cada uno de los casos. Por lo cual se ha probado que todas las se anulan solo si las son constantes .

Francisco Hernandez Alejandre

6. Si son componentes de un tensor, escriba las componentes de la derivada covariante, ,

Las componentes del tensor el cual es de orden 3; en la derivada covariante hay 3 correcciones covariantes y una contravariante por lo que hay tres trminos positivos y uno negativo en la derivada por lo cual:
, = ,