TENSOR CALCULUS AND DIFFERENTIAL GEOMETRY PRASUN KUMAR NAYAK

RESUMEN CAPITULO 1 PRASUN KUMAR

1E) (Página 1) Tensor /// Calculo tensorial /// Análisis tensorial ///
Calculo diferencial absoluto /// Campo tensorial /// Ley de
transformación /// (Pág. 2) Escalares como tensores de orden cero
/// Vectores como tensores de orden 1 /// Continuo aritmético N-
dimensional /// Espacio de N dimensiones /// Espacio lineal ///
(Pág. 3) Índice ficticio /// Índice libre /// Sistema de orden cero ///
Índices de contravarianza /// Índices de covarianza /// Sistema de
contravarianza /// Sistema de covarianza /// Sistema mixto ///
Convención de suma de Einstein /// (Pág. 5) Delta de Kronecker ///
(Pág. 6) Operador de sustitución /// (Pág. 7) Geometría diferencial
/// Variedad diferenciable /// (Pág. 8) Espacio de fase ///
Transformación de un sistema de coordenadas /// (Pág. 9) Jacobiano
de la transformación /// Ecuaciones de transformación de
coordenadas para VN /// Transformaciones admisibles /// (Pág. 11)
Coordenadas permitidas /// Transformación producto /// (Pág. 12)
Transformación identidad /// grupo abstracto /// (Pág. 15) Ley
de transformación del tensor /// Símbolo de permutación /// Tensor
de permutación /// (Pág. 17) Delta generalizado de Kronecker ///
(Pág. 19) Rango de los índices de un sistema /// (Pág. 24) Vector
contravariante /// (Pág. 25) Tensor contravariante de rango 1 ///
Tensor contravariante de rango 2 /// Tensor de tipo (2,0) /// Tensor
contravariante de orden n /// (Pág. 28) Vector covariante /// Tensor
covariante de rango 1 /// Tensor covariante de rango 2 /// Tensor
covariante de orden 2 /// Tensor de tipo (0, 2) /// /// (Pág. 29)
Matriz Jacobiana inversa ///
2E) (Página 1) Se entiende que la naturaleza de la transformación
puede ser, transformación ortogonal, transformación traslacional,

7 de agosto de 2021 1
TENSOR CALCULUS AND DIFFERENTIAL GEOMETRY PRASUN KUMAR NAYAK

etc. La naturaleza de la ley de transformación es la forma matemática

de estas transformaciones de distintos tipos.
3E) (Página 2) Los sistemas son estudiados en la sección 2.1 Mirjana
Dalarsson 2Ed página 5. Se dice que el sistema de orden K en N
dimensiones tiene NK elementos. El carácter tensorial de los sistemas
debe ser investigado, es decir, los sistemas pueden o no ser tensores.
Esto se menciona al inicio de la sección 4.10 página 26 Mirjana
Dalarsson 2Ed. Aquí Kumar menciona que tanto los escalares como
los vectores son tensores y también debe recordar que pueden ser
llamados sistemas, el vector es un sistema de orden 1 que puede ser
desarrollado en N dimensiones y el escalar es un sistema de orden
cero en una dimensión.
4E) (Página 3) Obsérvese que el continuo aritmético N-dimensional
VN es un conjunto ordenado de N-tuplas de números reales de la
forma (x1,…, xN). Ahora bien, cada N-tupla puede ser relativa a un
sistema de coordenadas, esto es, cada punto en un VN puede ser
especificado haciendo referencia a un sistema de coordenadas
seleccionado. Por ejemplo, consideremos el continuo aritmético
3-dimensional, ahora este continuo aritmético 3-dimensional será
especificado por el sistema de coordenadas cartesianas R3, existirá
entonces una correspondencia (un mapeo) entre los puntos del
continuo 3-dimensional y los puntos en R3 y ahora cada 3-tupla se
especifica por el punto en el espacio euclídeo (x1, x2, x3), En este caso
nótese que V3 = R3, (Otros autores escriben E3 en lugar de R3). Como
no estamos limitados a solo usar el sistema de coordenadas
cartesianas, también podemos elegir el sistema de coordenadas
esféricas (véase (1-91) Wangsness), y decir que a cada punto de V3 le
corresponde un punto en este sistema de coordenadas esféricas.
5E) (Página 3) Ya Mirjana Dalarsson en su capítulo 2 nos dice que se
entiende por un sistema, los sistemas pueden ser tensores, y para

7 de agosto de 2021 2
TENSOR CALCULUS AND DIFFERENTIAL GEOMETRY PRASUN KUMAR NAYAK

averiguar si un sistema es en realidad un tensor o no, se utilizan

ciertos mecanismos del algebra tensorial
6E) (Página 3) El sistema más general de orden K se denota por

𝑎𝑖1 𝑖2 ,…,𝑖𝑘 (𝑖1 , 𝑖2 , … , 𝑖𝑘 = 1,2, … , 𝑁)

Y dependiendo de la posición de los índices (arriba o abajo), puede

ser de varios tipos diferentes. El sistema de orden K en N dimensiones
tiene NK elementos.
7E) (Página 4) Observación
8E) (Página 4) Este ejemplo ilustra de la gran capacidad de
condensación matemática que tiene la convención de suma de
Einstein.
9E) (Página 5) Desarrollo operativo
10E) (Página 5) Observación
11E) (Página 5) Desarrollo operativo
12E) (Página 6) Aquí no debe ir la expresión

𝑗
𝛿𝑘 𝐴𝑗𝑘 = 𝐴𝑗𝑘

En su lugar, según lo que menciona Kumar, todo indica que debe estar
la expresión

𝛿𝑘𝑖 𝐴𝑗𝑘 = 𝐴𝑖𝑘

13E) (Página 6) Observación

14E) (Página 6) Observemos que podríamos pensar en el desarrollo

𝑗
𝛿𝑗𝑖 𝛿𝑘 = 𝛿1𝑖 𝛿𝑘1 + 𝛿2𝑖 𝛿𝑘2 + ⋯ + 𝛿𝑖𝑖 𝛿𝑘𝑖 + ⋯ + 𝛿𝑘𝑖 𝛿𝑘𝑘 + ⋯ + 𝛿𝑁𝑖 𝛿𝑘𝑁

7 de agosto de 2021 3
TENSOR CALCULUS AND DIFFERENTIAL GEOMETRY PRASUN KUMAR NAYAK

Sin embargo, esto implicaría que i ≠ k y por tanto el lado derecho de

la ecuación anterior tendría que ser cero. Es por esta razón que la
Eq: 6.1 Kumar tenga tal forma. Ahora bien en la expresión

𝑗
𝛿𝑗𝑖 𝛿𝑘

Los índices libres y ficticios tienen un intervalo de definición desde 1

hasta N. En la Eq: 6.1 Kumar el índice ficticio j ha tomado desarrollo
sobre su intervalo de definición, cuando j toma el valor i entonces se
tiene por definición que

𝛿𝑖𝑖 𝛿𝑘𝑖 = 1𝛿𝑘𝑖

Aquí en la expresión 𝛿ii no podemos decir que i es un índice ficticio,

porque el índice inferior viene de un contexto donde ya se ha
desarrollado en su intervalo de definición y por tanto solo está
considerado al índice i como un valor particularizado. El caso de la
ecuación Eq: 6.3 Kumar es muy diferente, sabemos que

𝑗
𝛿𝑗𝑖 𝛿𝑘 = 𝛿𝑘𝑖

Aquí se debe entender que j ya se ha desarrollado, es decir, j ya hizo

uso de su intervalo de definición, tanto i como k aun no hacen uso de
algún valor de su intervalo de definición, o de su intervalo de
definición completo, y cuando se tiene el caso de que k = i entonces
ambos índices se combinan para convertirse en índices ficticios
dando así el resultado de la Eq: 6.3 Kumar, y esto último es así, porque
ambos índices aun no usaban su intervalo de definición.
15E) (Página 7) Observación

7 de agosto de 2021 4
TENSOR CALCULUS AND DIFFERENTIAL GEOMETRY PRASUN KUMAR NAYAK

16E) (Página 8) Cuando Kumar menciona que la transformación

entre coordenadas se desarrolla en el mismo espacio VN, se entiende
dos cosas, primero, que los sistemas de coordenadas considerados en
la transformación se equiparan en un mapeo uno a uno en un mismo
VN. Es decir, se considera que el sistema (xi) tiene un mapeo uno a uno
en VN y que el sistema (x̅ i) tiene un mapeo uno a uno en el mismo VN.
Ambos sistemas tienen un mapeo en el mismo espacio VN. Segundo,
existe una transformación de coordenadas entre estos sistemas de
coordenadas de dimensión N.
17E) (Página 8) Algunos ejemplos particulares de transformación de
coordenadas los podemos encontrar en (1-74), (1-75) Wangsness
entre coordenadas cartesianas y coordenadas cilíndricas. En (1-90),
(1-91) Wangsness entre coordenadas cartesianas y coordenadas
esféricas. Consideremos P1 un punto en el espacio R3, entonces se
puede describir a P1 ya sea como (x1, x2, x3) en términos de las
coordenadas cartesianas o bien (r, 𝜃, 𝜑) en términos de las
coordenadas esféricas. Es decir, P1 en el espacio R3 inicia en
coordenadas cartesianas y después de la transformación termina en
coordenadas esféricas pero el punto sigue siendo el mismo P1. En
contraste, vemos que la transformación lineal del ejemplo 6 en la
página 353 de Susan Jane 4Ed también es una transformación
admisible, sin embargo, en dicho ejemplo un punto inicial P1 en R3
comienza describiéndose en el sistema cartesiano y cuando se aplica
la transformación, este punto ahora se transforma a otro punto
distinto P2 de R3 distinto a P1, por tanto esta transformación si cambia
de punto al aplicarse. (Véase figura 5.80 Susan Jane 4Ed Pág. 354)
18E) (Página 9) Compare la definición de (1.2) Kumar, (1.3) Kumar
con la definición de (5.1) Hsu, (5.2) Hsu. También Compare la
definición de (1.2) Kumar, (1.3) Kumar con la definición (4) Marsden

7 de agosto de 2021 5
TENSOR CALCULUS AND DIFFERENTIAL GEOMETRY PRASUN KUMAR NAYAK

5Ed pág. 243, (5) Marsden 5Ed pág. 244. Todas las definiciones
anteriores coinciden.
19E) (Página 9) Observación
20E) (Página 11) Un ejemplo particular de esto es el que se estudió
en la figura 1.6 Arfken 6ed, el vector de posición r̅ es un tensor
cartesiano y sus componentes se transforman según (1.8) Arfken
6ed, pero vimos en el la página 9 de Arfken 6ed, que el vector de
posición es invariante ante transformaciones de rotación, puesto que
su magnitud y dirección no se modifican después de la
transformación de coordenadas.
21E) (Página 11) Observación
22E) (Página 12) El jacobiano (1.3) por definición deriva las
funciones respecto las variables en las cuales estas funciones están
expresadas. En T3 de la Eq: 11.7 Kumar, las funciones x̅̅ i realmente
están en términos de las variables xi. Por tanto podríamos decir que
el jacobiano de la transformación es

𝜕𝑥̿ 𝑖 𝜕𝑥̿ 𝑖 𝜕𝑥̅ 𝑘

𝐽3 = |( 𝑗 )| = |( 𝑘 ) ( 𝑗 )| (1)
𝜕𝑥 𝜕𝑥̅ 𝜕𝑥

La última parte de esta ecuación se debe a la aplicación de una

extensión del segundo caso especial de la regla de la cadena página
148 Marsden 5Ed (Compare Eq: 11.7 Kumar con Eq: 148.1 Marsden
5Ed). Las propiedades de determinantes nos permiten escribir (1)
como se puede observar al final de la Eq: 12.1 Kumar
23E) (Página 14) Kumar nos dice que los sistemas eαβ y eαβson de
segundo orden, si la dimensión en la que se definen estos sistemas es
dos, entonces N = 2 y de 3E) de este resumen se tendrían Nk
elementos para este sistema, es decir, (2)2 = 4 elementos, tal como
podemos ver en (1.5) Kumar.

7 de agosto de 2021 6
TENSOR CALCULUS AND DIFFERENTIAL GEOMETRY PRASUN KUMAR NAYAK

24E) (Página 15) [∑1: El tensor covariante 𝜀 tiene Nk=4 elementos,

ya que es de segundo orden k=2 y se desarrolla en la dimensión dos
N=2. Es claro cuando Kumar menciona que

𝜀̅11 = 𝜀̅22 = 0

Puesto que a partir de la Eq: 15.1.3 Kumar vemos que]

25E) (Página 15) Desarrollo operacional
26E) (Página 16) Observación
27E) (Página 16) Desarrollo operacional
28E) (Página 16) Desarrollo operacional
29E) (Página 17) Los índices i, j, k son ficticios. Los índices p, q, r son
índices libres, estos últimos pueden tomar valores a voluntad, es
decir, estos índices pueden tomar cualquier valor que nosotros
queramos siempre que estén en la disponibilidad del número de
elementos existentes en el desarrollo.
30E) (Página 18) En general, en la ecuación

𝑒𝑖𝑗 𝑒 𝑖𝑘 = 𝛿𝑗𝑘 (1)

Podríamos decir que en el primer miembro los índices tienen un

intervalo de aplicación desde 1 hasta N, en el segundo miembro el
índice ficticio i ya ha recorrido su intervalo de aplicación, sin embargo
los incides j y k aún tienen esta posibilidad de recorrer sus intervalos
de aplicación de modo que cuando en (1) se hace j = k entonces estos
índices se combinan para formar un índice ficticio j que deberá
recorrer su intervalo de aplicación desde 1 hasta N.
31E) (Página 18) Se puede decir que el sistema de lado izquierdo
(También el de lado derecho) en (1.17) Kumar es un sistema de
cuarto orden tal que

7 de agosto de 2021 7
TENSOR CALCULUS AND DIFFERENTIAL GEOMETRY PRASUN KUMAR NAYAK

𝐶𝑖𝑗𝑘𝑙 = 𝑒𝑖𝑗 𝑒𝑘𝑙 = 𝛿𝑖𝑘 𝛿𝑗𝑙 − 𝛿𝑖𝑙 𝛿𝑗𝑘 (1)

Este sistema tiene Nk = 81 elementos = 34, y para cada elemento se

debe satisfacer la igualdad en (1). Kumar elimina los elementos que
satisfacen que i = j y k = l puesto que estos son idénticamente nulos.
Veamos el funcionamiento de la Eq: 18.1.1 Kumar. Dado que se debe
tener que i ≠ j entonces asignamos i = 2, j = 3. En este caso Eq: 18.1.1
Kumar nos queda como

𝑒123 𝑒1𝑘𝑙 = 𝑒1´2´3´ 𝑒1´𝑘𝑙 𝑐𝑜𝑛 2 = 2´, 3 = 3´

Ahora asignamos i = 1, j = 2 entonces Eq: 18.1.1 Kumar nos queda

como

𝑒312 𝑒3𝑘𝑙 = 𝑒1´2´3´ 𝑒1´𝑘𝑙 𝑐𝑜𝑛 1 = 2´, 2 = 3´

Ahora asignamos i = 3, j = 1 entonces Eq: 18.1.1 Kumar nos queda

como

𝑒231 𝑒2𝑘𝑙 = 𝑒1´2´3´ 𝑒1´𝑘𝑙 𝑐𝑜𝑛 3 = 2´, 1 = 3´

Y así sucesivamente. En estas relaciones vemos como (1´2´3´) va

tomando permutaciones de (123). Por último, los dos casos
considerados por Kumar son que la cantidad e1′2′3′e1′kl sea o no cero.
En el caso de que sea cero entonces k y l deberán tomar valores que
hagan que efectivamente la cantidad e1′2′3′e1′kl se haga nula. En el caso
de que no sea cero, entonces k y j deben tomar valores que hagan que
efectivamente la cantidad e1′2′3′e1′kl no sea nula.

7 de agosto de 2021 8
TENSOR CALCULUS AND DIFFERENTIAL GEOMETRY PRASUN KUMAR NAYAK

32E) (Página 21) Desarrollo operacional

33E) (Página 21) [∑1: Esto nos muestra que (1.27) Kumar es una
manera muy condensada de escribir la regla de Cramer, (Ver
Teorema 4.12 página 288 David Poole 3Ed.)]
34E) (Página 21) Operatividad matemática
35E) (Página 22) Observación
36E) (Página 24) Una desarrollo operativo similar o muy parecido al
que se realizó en la propiedad 1.3.1 Kumar aplica aquí.
37E) (Página 24) Observación
38E) (Página 24) Consideremos un sistema contravariante de primer
orden, donde cada una de sus componentes Ai depende de las
coordenadas x1, x2,…, xN relativas a un sistema de coordenadas (xi), es
decir:

𝐴𝑖 = 𝐴𝑖 (𝑥 1 , 𝑥 2 , … , 𝑥 𝑁 ) (1)

Dicho sistema contravariante de primer orden puede ser

especificado respecto a otro sistema de coordenadas (x̄ i), con
coordenadas x̄ 1, x̄ 2,…, x̄ n, de modo que sus componentes ahora se
pueden escriben como

𝑖 𝑖 1 2 𝑁
𝐴 = 𝐴 (𝑥 , 𝑥 , … , 𝑥 ) (2)

Si la transformación de (1) a (2) tiene la forma

Entonces dicho sistema se denomina tensor contravariante de rango

1. Se dice que (1.39) es la ley de transformación para este tipo de

7 de agosto de 2021 9
TENSOR CALCULUS AND DIFFERENTIAL GEOMETRY PRASUN KUMAR NAYAK

tensor. Los sistemas de coordenadas (xi), (x̄ i) están relacionados

mediante la transformación de coordenadas

Y es de aquí que se calculan las derivadas parciales que se observan

en la ley de transformación (1.39).
39E) (Página 25) Observación
40E) (Página 25) Operatividad y observación
41E) (Página 26) En el ejemplo 1.5.2 Kumar vemos que Ai se
encuentra en términos de las coordenadas (xi) y que Āi se encuentra
en términos de las coordenadas (x̄ i)
42E) (Página 26) Observación
43E) (Página 27) [∑1: (Véase figura 1.13 Hsu Análisis vectorial
página 5) Podemos pues decir que, las componentes dr, d𝜃 y d𝜑 son
incrementos a lo largo de la dirección tangencial a las curvas
coordenadas esféricas r, 𝜃 y 𝜑 respectivamente. Lo mismo ocurre con
las componentes dx, dy y dz, que son incrementos a lo largo de la
dirección tangencial a las curvas coordenadas cartesianas x, y, z
respectivamente]
44E) (Página 27) Observación
45E) (Página 27) El argumento 27.1 Kumar no está del todo claro, es
verdad que 𝜕x̄ j/𝜕xi sea independiente del tiempo, explícitamente lo
es, más sin embargo, si depende del tiempo implícitamente, es decir:

𝜕𝑥̅ 𝑗 𝜕𝑥̅ 𝑗 1
𝑖
= 𝑖
(𝑥 (𝑡), … , 𝑥 𝑁 (𝑡) ) (1)
𝜕𝑥 𝜕𝑥

Por esta razón la cantidad 𝜕x̄ j/𝜕xi si debe ser considerada a la hora de
derivar 𝜐̄̄j respecto al tiempo, puesto que (1) se derivara respecto al
tiempo con la regla de la cadena. La aceleración de una partícula se

7 de agosto de 2021 10
TENSOR CALCULUS AND DIFFERENTIAL GEOMETRY PRASUN KUMAR NAYAK

define como una derivada intrínseca en el ejemplo 3.4.6 Kumar, ahí

se menciona que la aceleración común que conocemos no es un
tensor por lo general, por lo que ha de definirse como una derivada
intrínseca de la velocidad 𝜐̄k. Donde 𝜐̄k es un tensor contravariante de
rango 1 y por tanto, la aceleración intrínseca también es un tensor
contravariante de rango 1.
46E) (Página 28) Observación
47E) (Página 29) [∑1: A continuación, vamos a utilizar resultados
vistos en el capítulo 5 de Hsu Análisis vectorial para facilitar la
comparación entre (6) y (9) de 42E) de este resumen.]
[∑2: El tensor contravariante (8) contiene los vectores

𝜕𝑟⃑ 𝜕𝑟⃑ 𝜕𝑟⃑

, ,
𝜕𝑟 𝜕𝜃 𝜕𝜑

Que son tangentes a las curvas r, 𝜃, 𝜑 respectivamente en algún punto

considerado P. El tensor covariante (9) contiene los vectores

∇𝑟, ∇𝜃, ∇𝜑

Que son ortogonales a las superficies de coordenadas constantes

r, 𝜃, 𝜑 respectivamente. Ahora bien, a partir de (8) y lo aprendido con
Hsu en Análisis vectorial podemos obtener (1-98) Wangsness. A
partir de (9) podemos obtener (1-101) Wangsness]
48E) (Página 30) Estas matrices se ordenaron de manera similar a
como vimos en 45E) de este resumen.
49E) (Página 30) Observación

7 de agosto de 2021 11