Vous êtes sur la page 1sur 36

69

Captulo 3
Clculo tensorial
Una parte fundamental en el estudio de los fenmenos fsicos es el clculo de la
variacin que tienen los diferentes tipos de campos con respecto al sistema de coordenadas
que se est utilizando. En este captulo estudiaremos la forma en que vamos a llevar a
cabo las derivadas de esos campos para sistemas de coordenadas curvilneos generalizados
y llegaremos a las expresiones para los operadores diferenciales, es decir, el gradiente, la
divergencia, el rotacional y el laplaciano para tensores de cualquier orden.
3.1. Derivadas parciales de los vectores base:
Los smbolos de Christoel
Sean .
I
un sistema coordenado cartesiano y r
I
un sistema coordenado curvilneo
en 1
3
, con la propiedad de que sean mutuamente inversos el uno del otro, de tal forma que
para /, | = 1 : 3,
.
I
= .
I

r
1
, r
2
, r
3

, r
I
= r
I

.
1
, .
2
, .
3

, det

0.
I
0r
|

0. (3.1)
Entonces sus respectivos vectores base estn relacionados uno al otro por
g
I
(x) =
a
0.
a
0r
I
,
a
= g
I
(x)
0r
I
0.
a
. (3.2)
Tomando la derivada parcial de g
I
(x) con respecto a la coordenada espacial r
|
, se obtiene
0 g
I
0r
|
=
0
0r
|

a
0.
a
0r
I

=
a
0
2
.
a
0r
|
0r
I
. (3.3)
Sustituyendo
a
0 g
I
0r
|
=
0r
n
0.
a
0
2
.
a
0r
|
0r
I
g
n
=

:
/ |

g
n
, (3.4)
70
donde

:
/ |

=
n
I |
=
0r
n
0.
a
0
2
.
a
0r
|
0r
I
, para /, |, : = 1: 3 (3.5)
son denidos como los smbolos de Christoel de segundo tipo relativos al sistema coorde-
nado curvilneo r
I
.
Los smbolos de Christoel son simtricos con respecto a / y |,

:
/ |

=

:
| /

, (3.6)
por lo que para 1
3
se tienen 18 diferentes combinaciones de los ndices.
Los smbolos de Christoel esencialmente representan las derivadas parciales de los
vectores base de un sistema coordenado curvilneo con respecto a las variables coordenadas.
Ejemplo. Calcula los smbolos de Christoel para el sistema de coordenadas polares ciln-
dricas.
Para obtener los smbolos de Christoel requerimos de las ecuaciones de la trans-
formacin de coordenadas de este sistema, las cuales son
r
1
= r =

.
1

2
+

.
2

2
1
2
, .
1
= r
1
cos r
2
,
r
2
= 0 = arctan

:
2
:
1

, .
2
= r
1
sinr
2
,
r
3
= .
3
. .
3
= r
3
.
y utilizando la Ec. 3.5 y desarrollando la suma para el ndice :, se tiene

:
/ |

=
0r
n
0.
a
0
2
.
a
0r
|
0r
I
=
0r
n
0.
1
0
2
.
1
0r
|
0r
I
+
0r
n
0.
2
0
2
.
2
0r
|
0r
I
+
0r
n
0.
3
0
2
.
3
0r
|
0r
I
.
Sustituyendo para cada uno de los ndices libres

1
1 1

=
0r
1
0.
a
0
2
.
a
0r
1
0r
1
= 0 + 0 + 0

1
2 2

=
.
1

(.
1
)
2
+ (.
2
)
2
1
2

r
1
cos r
2

+
.
2

(.
1
)
2
+ (.
2
)
2
1
2

r
1
sinr
2

=
r
1
cos r
2
r
1

r
1
cos r
2

+
r
1
sinr
2
r
1

r
1
sinr
2

= r
1
71

2
1 2

=

2
2 1

=

:
2
(:
1
)
2
1 +

:
2
:
1

sinr
2

+
1
:
1
1 +

:
2
:
1

cos r
2

=
:
2
(:
1
)
2
(:
1
)
2
+(:
2
)
2
(:
1
)
2
sinr
2
+
1
:
1
(:
1
)
2
+(:
2
)
2
(:
1
)
2
cos r
2
=
.
2
(.
1
)
2
+ (.
2
)
2
sinr
2
+
.
1
(.
1
)
2
+ (.
2
)
2
cos r
2
=
r
1
sinr
2
(r
1
)
2
sinr
2
+
r
1
cos r
2
(r
1
)
cos r
2
=
1
r
1
y

i
, /

= 0
para todas las dems combinaciones.
3.1.1. Smbolos de Christoel de primer tipo
Los smbolos de Christoel de primer tipo estn denidos como
[i /, ,] =

:
i /

q
n)
. (3.7)
Los smbolos de Christoel de segundo tipo se pueden obtener de los del primer tipo uti-
lizando el tensor mtrico recproco de la siguiente forma
[i /, ,] q
)|
=

:
i /

q
n)
q
)|
=

:
i /

c
|
n
=

|
i /

(3.8)
Calculando la derivada parcial del tensor mtrico fundamental q
i)
0q
i)
0r
I
=
0
0r
I
( g
i
g
)
) =
0 g
i
0r
I
g
)
+ g
i

0 g
)
0r
I
=

:
i /

g
n
g
)
+ g
i

:
, /

g
n
=

:
i /

q
n)
+

:
, /

q
in
= [i /, ,] + [, /, i] . (3.9)
Realizando las siguientes dos permutaciones en los ndices de la ecuacin anterior se tiene
0q
I)
0r
i
= [/ i, ,] + [, i, /] , (3.10)
0q
iI
0r
)
= [i ,, /] + [/ ,, i] , (3.11)
72
y sumando las Ecs. 3.10 y 3.11 y restndoles la Ec. 3.9 y simplicando se obtiene la siguiente
ecuacin
[i ,, /] =
1
2

0q
I)
0r
i
+
0q
iI
0r
)

0q
i)
0r
I

(3.12)
que se puede utilizar para calcular los smbolos de Christoel de primer tipo una vez que
se tienen los coecientes del tensor mtrico fundamental. Los smbolos de Christoel de
segundo tipo se pueden calcular utilizando la Ec. 3.8, quedando como

|
i ,

=
1
2
q
I|

0q
I)
0r
i
+
0q
iI
0r
)

0q
i)
0r
I

. (3.13)
Ejercicio. Demuestra que los smbolos de Christoel para el sistema de coordenadas po-
lares cilndricas tambin se pueden obtener por medio de la Ec. 3.13.
3.1.2. Derivada parcial de los vectores base recprocos
La derivada parcial de los vectores base recprocos es
0 g
I
0r
|
=

/
| :

g
n
. (3.14)
Para demostrar este resultado, consideremos el siguiente producto
g
I
g
n
= c
I
n
. (3.15)
Calculando la derivada parcial del producto con respecto a r
|
se obtiene
0
0r
|

g
I
g
n

=
0 g
I
0r
|
g
n
+ g
I

0 g
n
0r
|
= 0, (3.16)
y sustituyendo la derivada de la base natural por su respectivo smbolo de Christoel,
0 g
I
0r
|
g
n
= g
I

:
:|

g
a
=

:
:|

c
I
a
=

/
:|

, (3.17)
y utilizando el teorema de la recuperacin
g
n
(v g
n
) = v, (3.18)
entonces
0 g
I
0r
|
= g
n

0 g
I
0r
|
g
n

= g
n

/
:|

, (3.19)
por lo que se demuestra la Ec. 3.14.
73
3.1.3. Derivadas parciales de los vectores base unitarios
El clculo de la derivada del vector unitario de la base natural se muestra a con-
tinuacin
0e
i
0r
I
=
0
0r
I

g
i

q
ii
!
=
1

q
ii
0 g
i
0r
I
+ g
i
0
0r
I

q
ii
!
=
1

q
ii

:
i /

g
n
+ g
i

1
2

q
ii

32
0q
ii
0r
I
!
=
1

q
ii

:
i /

g
n
g
i
1
2

q
ii

32
0
0r
I

g
i
g
i

=
1

q
ii

:
i /

g
n
g
i
1
2

q
ii

32

0 g
i
0r
I
g
i
+ g
i

0 g
i
0r
I

=
1

q
ii

:
i /

g
n
g
i
1
2

q
ii

32

:
i /

g
n
g
i
+ g
i

:
i /

g
n

=
1

q
ii

:
i /

g
n
g
i
1
2

q
ii

32

:
i /

q
ni
+

:
i /

q
in

=
1

q
ii

:
i /

g
n
g
i
1
2

q
ii

32

:
i /

q
ni

=
1

q
ii

:
i /

g
n
g
i
q
ni

q
ii

32

:
i /

=
1

q
ii

:
i /

q
nn
e
n

q
ii
e
i
q
ni

q
ii

32

:
i /

=
r
q
nn
q
ii

:
i /

e
n

q
ni
q
ii

:
i /

e
i
(3.20)
El caso de la derivada parcial del vector unitario de la base recproca es
0e
I
0r
|
=

/
:|

q
nn
q
II
1
2
e
n
+

/
:|

q
Ia
q
II
e
I
. (3.21)
En particular, para sistemas ortogonales sabemos que los coecientes del tensor
mtrico fundamental con ndices diferentes son nulos, por lo que podemos hacer la siguiente
simplicacin
0e
i
0r
I
=
r
q
nn
q
ii

:
i /

e
n

q
ni
q
ii

:
i /

e
i
=
r
q
nn
q
ii

:
i /

e
n

i
i /

e
i
(3.22)
Las derivadas parciales de los vectores base unitarios del sistema de coordenadas
74
polares cilndricas son los siguientes
0e
1
0r
1
=
r
q
nn
q
11

:
1 1

e
n

q
n1
q
11

:
1 1

e
1
=
r
q
11
q
11

1
1 1

e
1
+
r
q
22
q
11

2
1 1

e
2
+
r
q
33
q
11

3
1 1

e
3

q
11
q
11

1
1 1

e
1
= 0
0e
1
0r
2
=
r
q
nn
q
11

:
1 2

e
n

q
n1
q
11

:
1 2

e
1
=
r
q
11
q
11

1
1 2

e
1
+
r
q
22
q
11

2
1 2

e
2
+
r
q
33
q
11

3
1 2

e
3

q
11
q
11

1
1 2

e
1
=
r
q
22
q
11

2
1 2

e
2
=
s

r
1

2
1
1
r
1
e
2
= e
2
0e
1
0r
3
=
r
q
nn
q
11

:
1 3

e
n

q
n1
q
11

:
1 3

e
1
=
r
q
11
q
11

1
1 3

e
1
+
r
q
22
q
11

2
1 3

e
2
+
r
q
33
q
11

3
1 3

e
3

q
11
q
11

1
1 3

e
1
= 0
0e
2
0r
1
=
r
q
nn
q
22

:
2 1

e
n

q
n2
q
22

:
2 1

e
2
=
r
q
11
q
22

1
2 1

e
1
+
r
q
22
q
22

2
2 1

e
2
+
r
q
33
q
22

3
2 1

e
3

q
22
q
22

2
2 1

e
2
=
r
q
22
q
22

2
2 1

e
2

q
22
q
22

2
2 1

e
2
= 0
0e
2
0r
2
=
r
q
nn
q
22

:
2 2

e
n

q
n2
q
22

:
2 2

e
2
=
r
q
11
q
22

1
2 2

e
1
+
r
q
22
q
22

2
2 2

e
2
+
r
q
33
q
22

3
2 2

e
3

q
22
q
22

2
2 2

e
2
=
r
q
11
q
22

1
2 2

e
1
=
s
1
(r
1
)
2

r
1

e
1
= e
1
75
0e
2
0r
3
=
r
q
nn
q
22

:
2 3

e
n

q
n2
q
22

:
2 3

e
2
=
r
q
11
q
22

1
2 3

e
1
+
r
q
22
q
22

2
2 3

e
2
+
r
q
33
q
22

3
2 3

e
3

q
22
q
22

2
2 3

e
2
= 0
y nalmente
0e
3
0r
I
=
r
q
nn
q
33

:
3 /

e
n

q
n3
q
33

:
3 /

e
3
= 0
ya que ningn smbolo de Christoel es diferente de cero cuando algn ndice toma el
valor de 3. Resumimos los resultados previos en la siguiente tabla, en donde utilizamos las
notaciones convencionales para este sistema de coordenadas
0e
v
0r
= 0
0e
v
00
= e
0
0e
v
0.
= 0
0e
0
0r
= 0
0e
0
00
= e
v
0e
0
0.
= 0
0e
:
0r
= 0
0e
:
00
= 0
0e
:
0.
= 0
(3.23)
3.2. Derivada parcial covariante de campos tensoriales
3.2.1. Derivada parcial covariante de un campo vectorial
Sea u(x) un campo vectorial funcin de x continuamente diferenciable denido en
algn dominio. La derivada parcial de este campo es
0u
0r
I
=
0
0r
I
(n
n
g
n
) =
0n
n
0r
I
g
n
+ n
n
0 g
n
0r
I
=
0n
n
0r
I
g
n
+ n
n

:
:/

g
a
=
0n
a
0r
I
g
a
+ n
n

:
:/

g
a
=

0n
a
0r
I
+ n
n

:
:/

g
a
. (3.24)
La expresin dentro de los brackets es denotada por
n
a
;I
= n
a
,I
+ n
n

:
:/

, (3.25)
y es denida como la derivada parcial covariante del componente contravariante n
a
del
vector u con respecto a la coordenada espacial r
I
.
La derivada parcial covariante de un vector covariante es
0u
0r
I
=
0
0r
I
(n
n
g
n
) =
0n
n
0r
I
g
n
+ n
n
0 g
n
0r
I
=
0n
n
0r
I
g
n
n
n

:
/ :

g
a
=
0n
a
0r
I
g
a
n
n

:
/ :

g
a
=

0n
a
0r
I
n
n

:
/ :

g
a
. (3.26)
76
La expresin dentro de los brackets es denotada por
n
a;I
= n
a,I
n
n

:
/ :

, (3.27)
y es denida como la derivada parcial covariante del componente convariante n
a
del vector
u con respecto a la coordenada espacial r
I
. Entonces, tenemos que
0u
0r
I
= n
a
;I
g
a
= n
a;I
g
a
. (3.28)
Denicin. Sean
n
I;n
= n
I
;|
q
|n
, (3.29)
n
I;
n
= n
I;|
q
|n
, (3.30)
donde n
I;n
es denida como la derivada parcial contravariante del vector covariante n
I
con respecto a la coordenada espacial r
n
y n
I;
n
es denida como la derivada parcial
contravariante del vector contravariante n
I
con respecto a la coordenada espacial r
n
.
3.2.2. Derivada parcial covariante de un campo tensorial de segundo or-
den
Sea T(x) un campo tensorial de segundo orden
T = T
i)
g
i
g
)
, (3.31)
entonces
0T
0r
I
=
0T
i)
0r
I
g
i
g
)
+ T
i)
0 g
i
0r
I
g
)
+ T
i)
g
i
0 g
)
0r
I
= T
i)
,I
g
i
g
)
+ T
i)

:
i /

g
n
g
)
+ T
i)

:
, /

g
i
g
n
= T
i)
,I
g
i
g
)
+ T
n)

i
:/

g
i
g
)
+ T
in

,
:/

g
i
g
)
=

T
i)
,I
+ T
n)

i
:/

+ T
in

,
:/

g
i
g
)
= T
i)
;I
g
i
g
)
, (3.32)
donde
T
i)
;I
= T
i)
,I
+ T
n)

i
:/

+ T
in

,
:/

. (3.33)
De forma similar, para las otras representaciones del tensor de segundo orden se
tiene
T
i
);I
= T
i
),I
+ T
n
)

i
/ :

T
i
n

:
, /

, (3.34)
77
T
i
)
;I
= T
i
)
,I
T
n
)

:
/ i

+ T
i
n

,
:/

, (3.35)
T
i);I
= T
i),I
T
n)

:
i /

T
in

:
, /

. (3.36)
3.2.3. Propiedades de la derivada covariante
La derivada covariante tiene las mismas propiedades que la derivada parcial para
el caso de derivadas de productos, por ejemplo

T
i)
n
n

;I
= T
i)
;I
n
n
+ T
i)
n
n;I
, (3.37)
y de derivadas de sumas

T
i)
+ n
a

;I
= T
i)
;I
+ (n
a

n
)
;I
(3.38)
3.2.4. Derivadas covariantes del tensor mtrico fundamental
Teorema de Ricci. Las derivadas covariantes del tensor mtrico fundamental y del tensor
mtrico fundamental recproco son cero, es decir
q
I|;n
= 0 = q
I|
;n
(3.39)
Adems, tenemos la siguiente igualdad,

/
/ |

=
0
0r
|
(ln(

q)) , (3.40)
donde q = det (q
I|
) .
3.2.5. Derivadas covariantes del tensor de LeviCivita
Las derivadas covariantes del tensor de LeviCivita son cero
-
I|n;a
= 0 = -
I|n
;a
. (3.41)
78
Demostracin del teorema de Ricci.
q
i);I
es la derivada covariante del componente totalmente covariante de un tensor
de segundo orden, por lo que tenemos que
q
i);I
= 0 = q
i),I
q
n)

:
i /

q
in

:
, /

=
0 q
i)
0r
I
q
n)

:
i /

q
in

:
, /

=
0
0r
I
( g
i
g
)
) q
n)

:
i /

q
in

:
, /

=
0 g
i
0r
I
g
)
+ g
i

0 g
)
0r
I
q
n)

:
i /

q
in

:
, /

=

:
i /

g
n
g
)
+ g
i

:
, /

g
n
q
n)

:
i /

q
in

:
, /

=

:
i /

q
n)
+

:
, /

q
in
q
n)

:
i /

q
in

:
, /

= 0.
Ejercicio. Realiza la misma demostracin para la derivada covariante del tensor mtrico
recproco q
I|
;n
.
Ejemplo. Aplicacin del teorema de Ricci. Ya vimos que la derivada parcial de un campo
vectorial es
0u
0r
I
= n
a
;I
g
a
= n
a;I
g
a
.
Si utilizamos la operacin de elevado de ndices en la primer parte de la igualdad, es decir
n
a
= q
ai
n
i
y expresamos la derivada covariante
n
a
;I
g
a
=

q
ai
n
i

;I
g
a
=

q
ai
;I
n
i
+ q
ai
n
i;I

g
a
= q
ai
n
i;I
g
a
= n
i;I
g
i
= n
a;I
g
a
que es precisamente el otro lado de la igualdad.
Como se puede observar del ejemplo anterior, el tensor mtrico fundamental, as
como el tensor mtrico recproco y el tensor de LeviCivita se comportan como constantes
cuando se les calcula su derivada covariante, por lo que se puede introducir dentro o sacarla
79
de la derivada sin ningn problema, es decir

q
ai
n
i

;I
= q
ai
n
i;I
(3.42)

q
ai
n
i

;I
= q
ai
n
i
;I
(3.43)

-
i)I
n
i

;|
= -
i)I
n
i;|
(3.44)

-
i)I
n
i

;|
= -
i)I
n
i
;|
(3.45)
3.2.6. Derivadas parciales de componentes tensoriales.
Los Teoremas de Gabita.
Primer teorema de Gabita.
La derivada parcial de un tensor de orden cero (escalar) que est expresado como
la contraccin de tensores de orden superior es igual a la derivada covariante del tensor.
Ejemplos de aplicaciones.
Derivada parcial de la traza de un tensor de segundo orden Tr T = T
i
i
. La
derivada parcial de la traza de un tensor de segundo orden,
0 T
i
i
0r
I
= T
i
i,I
,
de acuerdo con el primer teorema de Gabita es igual a lo siguiente
0 T
i
i
0r
I
= T
i
i;I
= T
i
i,I
+ T
n
i

i
:/

T
i
n

:
i /

= T
i
i,I
.
Otra forma de demostrar el teorema es la siguiente. En este caso expresamos a la traza
como T
i
i
= g
i
T g
i
y entonces
0 T
i
i
0r
I
=
0
0r
I

g
i
T g
i

=
0 g
i
0r
I
T g
i
+ g
i

0T
0r
I
g
i
+ g
i
T
0 g
i
0r
I
=

i
/ :

g
n
T g
i
+ g
i
T
na
;I
g
n
g
a
g
i
+ g
i
T

:
/ i

g
n
=

i
/ :

T
n
i
+ T
i
i;I
+

:
/ i

T
i
n
=

i
/ :

T
n
i
+

T
i
i,I
+ T
n
i

i
:/

T
i
n

:
i /

:
/ i

T
i
n
= T
i
i,I
80
Derivada del producto punto entre dos vectores. El producto punto entre dos
vectores es a b = a
i
/
i
, y su derivada parcial es
0
0r
I

a
i
/
i

=

a
i
/
i

,I
= a
i
,I
/
i
+ a
i
/
i,I
y de acuerdo con el primer teorema de Gabita
0
0r
I

a
i
/
i

=

a
i
/
i

:I
= a
i
;I
/
i
+ a
i
/
i;I
Para demostrarlo simplemente desarrollamos las derivadas covariantes

a
i
/
i

:I
= a
i
;I
/
i
+ a
i
/
i;I
=

a
i
,I
+

i
/ :

a
n

/
i
+ a
i

/
i,I

:
i /

/
n

= a
i
,I
/
i
+

i
/ :

a
n
/
i
+ a
i
/
i,I

:
i /

a
i
/
n
= a
i
,I
/
i
+ a
i
/
i,I
+

i
/ :

a
n
/
i

:
i /

a
i
/
n
= a
i
,I
/
i
+ a
i
/
i,I
.
Otra forma de demostrar lo anterior es la siguiente
0
0r
I

a
i
/
i

=
0
0r
I
(a b) =
0a
0r
I
b +a
0b
0r
I
= a
i
;I
g
i
/
)
g
)
+ a
i
g
i
/
)
;I
g
)
= a
i
;I
/
i
+ a
i
/
i ;I
=

a
i
/
i

:I
= a
i
:I
/
i
+ a
i
/
i:I
=

a
i
,I
+

i
/ :

a
n

/
i
+ a
i

/
i,I

:
i /

/
n

= a
i
,I
/
i
+ a
i
/
i ,I
+

i
/ :

a
n
/
i
a
i

:
i /

/
n
= a
i
,I
/
i
+ a
i
/
i ,I
=

a
i
/
i

,I
Derivada parcial de la doble contraccin de tensores de segundo orden. La
doble contraccin de tensores de segundo orden es
i)
1
)i
, y su derivada es
0
0r
I

i)
1
)i

i)
1
)i

,I
=
i)
,I
1
)i
+
i)
1
)i,I
y de acuerdo con el primer teorema de Gabita
0
0r
I

i)
1
)i

i)
1
)i

:I
=
i)
;I
1
)i
+
i)
1
)i;I
.
81
Para demostrar lo anterior simplemente desarrollamos las derivadas covariantes

i)
1
)i

:I
=
i)
;I
1
)i
+
i)
1
)i;I
=

i)
,I
+

i
/ :

n)
+

,
/ :

in

1
)i
+
i)

1
)i,I

:
, /

1
ni

:
i /

1
)n

=
i)
,I
1
)i
+
i)
1
)i,I
+

i
/ :

n)
1
)i
+

,
/ :

in
1
)i

i)

:
, /

1
ni

i)

:
i /

1
)n
=
i)
,I
1
)i
+
i)
1
)i,I
=

i)
1
)i

,I
Otra forma de desarrollar la demostracin es la siguiente
0
0r
I

i)
1
)i

=
0
0r
I
(A: B) =
0A
0r
I
: B+A:
0B
0r
I
=
0
0r
I

i)
g
i
g
)

: 1
na
g
n
g
a
+
i)
g
i
g
)
:
0
0r
I
(1
na
g
n
g
a
)
=
i)
;I
g
i
g
)
: 1
na
g
n
g
a
+
i)
g
i
g
)
: 1
na;I
g
n
g
a
=
i)
;I
1
na
c
n
)
c
a
i
+
i)
1
na;I
c
n
)
c
a
i
=
i)
;I
1
)i
+
i)
1
)i;I
=

i)
1
)i

:I
Segundo teorema de Gabita
La derivada parcial de un componente de un tensor de cualquier orden es igual
a la derivada covariante del componente del tensor ms los smbolos de Christoel de las
derivadas parciales de cada una de las bases asociadas a los ndices libres que aparecen en
el componente del tensor.
Ejemplos de aplicaciones.
Derivada parcial de un componente del producto tensorial de dos vectores.
El producto tensorial de dos vectores es a
i
/
)
y su derivada parcial es
0
0r
I

a
i
/
)

=

a
i
/
)

,I
= a
i
.I
/
)
+ a
i
/
)
,I
= a
i
.I
/
)
+ a
i
/
)
,I
82
y de acuerdo el segundo teorema de Gabita, la derivada es igual a

a
i
/
)

,I

a
i
/
)

;I

i
/ :

a
n
/
)

,
/ :

a
i
/
n
= a
i
;I
/
)
+ a
i
/
)
;I

i
/ :

a
n
/
)

,
/ :

a
i
/
n
=

a
i
,I
+

i
/ :

a
n

/
)
+ a
i

/
)
,I
+

,
/ :

/
n

i
/ :

a
n
/
)

,
/ :

a
i
/
n
= a
i
.I
/
)
+ a
i
/
)
,I
=

a
i
/
)

,I
Otra forma de demostrar el teorema es la siguiente. Sea T = ab = a
i
/
)
g
i
g
)
,
entonces podemos expresar a
i
/
)
= g
i
T g
)
y la derivada es, entonces
0
0r
I

a
i
/
)

=
0
0r
I

g
i
T g
)

=
0 g
i
0r
I
T g
)
+ g
i

0T
0r
I
g
)
+ g
i
T
0 g
)
0r
I
=

i
/ :

g
n
T g
)
+ g
i
T
na
;I
g
n
g
a
g
)
g
i
T

,
/ :

g
n
=

i
/ :

T
n)
+ T
i)
;I

,
/ :

T
in
= T
i)
;I

i
/ :

T
n)

,
/ :

T
in
= T
i)
,I
+ T
n)

i
:/

+ T
in

,
:/

i
/ :

T
n)

,
/ :

T
in
= T
i)
,I
=

a
i
/
)

,I
Derivada parcial de un componente del producto punto entre un tensor de
segundo orden y un vector. El producto punto entre un tensor de segundo orden y
un vector es un vector, y un componente de ese producto es T
i)

)
, y su derivada parcial es
0
0r
I

T
i)

=

T
i)

,I
= T
i)
,I

)
+ T
i)

),I
83
De acuerdo con el segundo teorema de Gabita, esta derivada se puede expresar como
0
0r
I

T
i)

T
i)

;I

i
/ :

T
n)

)
= T
i)
;I

)
+ T
i)

);I

i
/ :

T
n)

)
=

T
i)
,I
+

i
/ :

T
n)
+

,
/ :

T
in


)
+ T
i)

),I

:
/ ,

i
/ :

T
n)

)
= T
i)
,I

)
+ T
i)

),I
=

T
i)

,I
Otra forma de demostrar el teorema es la siguiente. Sea T
i)

)
= g
i
T v y su derivada es
0
0r
I

T
i)

=
0
0r
I

g
i
T v

=
0 g
i
0r
I
T v + g
i

0T
0r
I
v + g
i
T
0v
0r
I
=

i
/ :

g
n
T v + g
i
T
na
;I
g
n
g
a
v + g
i
T
n;I
g
n
=

i
/ :

T
n)

)
+ T
ia
;I

a
+ T
in

n;I
=

T
i)

;I

i
/ :

T
n)

)
con lo que queda demostrado el teorema.
3.3. El operador gradiente
En coordenadas cartesianas, el operador gradiente est expresado como
=
n
0
0.
n
, (3.46)
utilizando la regla de la cadena,
=
n
0
0.
n
=
n
0r
I
0.
n
0
0r
I
= g
I
0
0r
I
, (3.47)
entonces
= g
I
0
0r
I
. (3.48)
84
3.3.1. Gradiente de un campo escalar
Sea c(x) una funcin de un campo escalar en 1
3
continuamente diferenciable
denido sobre un dominio. El gradiente de este campo es
c = g
I
0c
0r
I
= g
I
c
,I
. (3.49)
c representa la suma vectorial de la rapidez de cambio espacial de c relativa a las direc-
ciones de los vectores base recprocos g
I
de un sistema de coordenadas curvilneo r
I
. La
magnitud de c da la mxima rapidez de cambio espacial de la funcin c y su mximo
cambio ocurre en la direccin normal a la supercie c = constante.
El gradiente de un campo escalar en trminos de sus componentes fsicos se puede
expresar de la siguiente forma
c = g
I
c
,I
= q
I|
c
,I
g
|
= q
I|

q
||
c
,I
e
|
=
X
|
q
I|

q
||
c
,I
e
|
(3.50)
Para el caso de sistemas ortogonales, sabemos que los componentes del tensor
mtrico fundamental y del tensor mtrico recproco que tienen valores diferentes de cero
son aquellos que tienen ndices iguales, adems que de uno es el recproco del otro, por lo
que la expresin anterior se reduce a la siguiente forma
c =
1

q
II
0 c
0r
I
e
I
(3.51)
Ejemplo. Calcular el gradiente de un campo escalar para coordenadas polares cilndricas
en trminos de sus componentes fsicos. Utilizando la ecuacin anterior, y desarrollando la
suma para el ndice /, se obtiene que
c =
1

q
11
0 c
0r
1
e
1
+
1

q
22
0 c
0r
2
e
2
+
1

q
33
0 c
0r
3
e
3
y ahora sustituyendo los valores del tensor mtrico recproco y utilizando las etiquetas
convencionales para este sistema de coordenadas obtenemos
c =
0 c
0r
e
v
+
1
r
0 c
00
e
0
+
0 c
0.
e
:
.
Ejemplo. El campo de temperatura en una placa es T = 25 r
2
,4 j
2
,4. Calcula
el gradiente del campo. Convierte a coordenadas polares cilndricas y comprueba que el
gradiente es el mismo.
El gradiente en coordenadas cartesianas es
T =
1
2
r
1
+
1
2
j
2
.
85
T = 25 -
1
4
x
2
-
1
4
y
2
-5
0
5
-5
0
5
10
15
20
25
14
14
14
14
16 16
16
16
18
18
18
18
20
22
-4 -2 0 2 4
-4
-2
0
2
4
Figura 3.1: Grca del campo de temperatura con sus curvas de nivel y los vectores del
gradiente.
Para expresar el campo en coordenadas polares utilizamos la transformacin de
coordenadas, de forma que
T = 25
1
4

r
1
cos r
2

1
4

r
1
sinr
2

2
= 25
1
4

r
1

2
y el gradiente es
T =
1
2
r
1
g
1
=
1
2
r
1
e
v
.
Para comprobar que el gradiente es el mismo utilizamos la transformacin de los vectores
base del sistema de coordenadas polares cilndricas a cartesianas
T =
1
2
r
1
g
1
=
1
2
r
1

cos r
2

1
+ sinr
2

=
1
2
r
1
cos r
2

1
+
1
2
r
1
sinr
2

2
=
1
2
.
1

1
+
1
2
.
2

2
,
con lo cual se comprueba que se trata del mismo vector.
3.3.2. Gradiente de un campo vectorial
Sea u(x) un campo vectorial en 1
3
continuamente diferenciable. El gradiente del
campo es
u(x) = g
I
0u
0r
I
= n
n;I
g
I
g
n
= (u)
In
g
I
g
n
. (3.52)
La transpuesta es
(u)
T
= (u)
nI
g
I
g
n
= n
I;n
g
I
g
n
. (3.53)
86
Ejemplo. Calcular el gradiente de un campo vectorial en coordenadas polares cilndricas
en trminos de sus componentes fsicos.
u = n
n;I
g
I
g
n
= n
1;1
g
1
g
1
+ n
2;1
g
1
g
2
+ n
3;1
g
1
g
3
+ n
1;2
g
2
g
1
+ n
2;2
g
2
g
2
+ n
3;2
g
2
g
3
+ n
1;3
g
3
g
1
+ n
2;3
g
3
g
2
+ n
3;3
g
3
g
3
y utilizando
n
a;I
= n
a,I
n
n

:
/ :

,
tenemos que
n
1;1
= n
1,1
, n
2;1
= n
2,1

n
2
r
1
, n
3;1
= n
3,1
,
n
1;2
= n
1,2

n
2
r
1
, n
2;2
= n
2,2
+ r
1
n
1
, n
3;2
= n
3,2
,
n
1;3
= n
1,3
, n
2;3
= n
2,3
, n
3;3
= n
3,3
.
Para expresar u en trminos de sus componentes fsicos tenemos que utilizar la relacin
para los componentes fsicos de componentes contravariantes,
n
i
=
1
p
q
ii
n
(i)
=

q
ii
n
(i)
por lo que
n
1
= n
(1)
= n
v
,
n
2
= r n
(2)
= r n
0
,
n
3
= n
(3)
= n
:
,
y sustituyendo y simplicando en las derivadas covariantes se obtiene lo siguiente
n
1;1
=
0n
v
0r
, n
2;1
=
0
0r
(r n
0
) n
0
=
0n
0
0r
, n
3;1
=
0n
:
0r
n
1;2
=
0n
v
00
n
0
, n
2;2
=
0
00
(r n
0
) + r n
v
, n
3;2
=
0n
:
00
,
n
1;3
=
0n
v
0.
, n
2;3
=
0
0.
(r n
0
) , n
3;3
=
0n
:
0.
y usando las relaciones entre los vectores base recprocos y los vectores base unitarios
g
1
= e
v
, g
2
=
1
r
e
0
, g
3
= e
:
,
87
entonces el gradiente de un campo vectorial en trminos de sus componentes fsicos en
coordenadas polares cilndricas queda como
u =
0n
v
0r
e
v
e
v
+
1
r
0n
0
0r
e
v
e
0
+
0n
:
0r
e
v
e
:
+
1
r

0n
v
00
n
0

e
0
e
v
+
1
r

0n
0
00
+ n
v

e
0
e
0
+
1
r
0n
:
00
e
0
e
:
+
0n
v
0.
e
:
e
v
+
0n
0
0.
e
:
e
0
+
0n
:
0.
e
:
g
3
y expresando en forma matricial, nos queda nalmente
u =

0&

0v
0&

0v
0&

0v
1
v

0&
00
n
0

1
v

0&

00
+ n
v

1
v
0&
00
0&
0:
0&

0:
0&
0:

. (3.54)
3.3.3. Gradiente de un campo tensorial de segundo orden
Sea T(x) un campo tensorial de segundo orden en 1
3
continuamente diferenciable.
El gradiente es
T(x) = g
I
0T
0r
I
= T
i)
;I
g
I
g
i
g
)
(3.55)
por lo que
(T)
I
i)
= T
i)
;I
. (3.56)
De acuerdo con lo que se ha visto, resultado de aplicar el operador gradiente a un
tensor es un tensor cuyo orden es igual al orden del tensor mas uno, mientras que por otro
lado, las dimensiones del tensor se ven afectadas por 1
1
, ya que
dim[] = 1
1
. (3.57)
3.3.4. Casos particulares del operador gradiente
El operador gradiente para algunos sistemas ortogonales suele ser denotado en
trminos de los vectores base unitarios. En forma generalizada, este operador en sistemas
ortogonales su expresa como
=

e
1
/
1
0
0r
1
+
e
2
/
2
0
0r
2
+
e
3
/
3
0
0r
3

, (3.58)
en donde
/
1
=

q
11
, /
2
=

q
22
, /
3
=

q
33
, (3.59)
y se denominan los factores de escala o factores mtricos.
88
Por ejemplo, para el caso del sistema de coordenadas polares cilndricas, el operador
gradiente se expresa como
=

e
v
0
0r
+
e
0
r
0
00
+e
:
0
0.

. (3.60)
En el caso del gradiente de un campo escalar, el resultado es directo, pero si se trata de un
campo vectorial, se realiza de la siguiente forma
u =

e
v
0
0r
+
e
0
r
0
00
+e
:
0
0.

(n
v
e
v
+ n
0
e
0
+ n
:
e
:
)
= e
v
0
0r
(n
v
e
v
) +
e
0
r
0
00
(n
v
e
v
) +e
:
0
0.
(n
v
e
v
)
+e
v
0
0r
(n
0
e
0
) +
e
0
r
0
00
(n
0
e
0
) +e
:
0
0.
(n
0
e
0
)
+e
v
0
0r
(n
:
e
:
) +
e
0
r
0
00
(n
:
e
:
) +e
:
0
0.
(n
:
e
:
)
y desarrollando las derivadas de cada uno de los trminos utilizando los resultados de las
derivadas de los vectores unitarios mostrados en 3.23, obtenemos lo siguiente
u =
0n
v
0r
e
v
e
v
+
1
r
0n
v
00
e
0
e
v
+
1
r
n
v
e
0
e
0
+
0n
v
0.
e
:
e
v
+
0n
0
0r
e
v
e
0
+
1
r
0n
0
00
e
0
e
0

1
r
n
0
e
0
e
v
+
0n
0
0.
e
:
e
0
+
0n
:
0r
e
v
e
:
+
1
r
0n
:
00
e
0
e
:
+
0n
:
0.
e
:
e
:
y reordenando se obtiene
u =
0n
v
0r
e
v
e
v
+
0n
0
0r
e
v
e
0
+
0n
:
0r
e
v
e
:
+
1
r

0n
v
00
n
0

e
0
e
v
+
1
r

0n
0
00
+ n
v

e
0
e
0
+
1
r
0n
:
00
e
0
e
:
+
0n
v
0.
e
:
e
v
+
0n
0
0.
e
:
e
0
+
0n
:
0.
e
:
e
:
el cual es idntico al tensor que previamente habamos calculado.
Es bueno enfatizar que en la forma en que calculamos el tensor anterior hemos
respetado la posicin en que aparecen los vectores base unitarios, ya que hay que recordar
que el producto didico no es conmutativo.
3.4. El operador divergencia
El operador divergencia lo denimos como
= g
I

0
0r
I
(3.61)
89
Este operador tambien es denotado por div.
El operador divergencia disminuye en uno el orden del tensor, por lo que est
denido para tensores de orden uno y superior, y al igual que el operador gradiente, se tiene
que
dim[] = 1
1
. (3.62)
3.4.1. Divergencia de un campo vectorial
Sea u(x) un campo vectorial en 1
3
continuamente diferenciable. La divergencia
del campo es
u = g
I

0u
0r
I
. (3.63)
Denicin. La divergencia de un campo vectorial u(x) en 1
3
continuamente diferencia-
ble es denida como
u = Tr (u) . (3.64)
Entonces, la divergencia de un vector queda como
u = g
I

0u
0r
I
= g
I
n
n;I
g
n
= n
n;I
q
In
= n
n;
n
= n
I
;I
. (3.65)
y en donde
n
I
;I
=
0n
I
0r
I
+ n
n

/
:/

=
0n
I
0r
I
+ n
n
0
0r
I
(ln(

q)) =
1

q
0
0r
I

qn
I

. (3.66)
En trminos de los componentes fsicos de u, se tiene
u = n
I
;I
=
3
X
I=1
1

q
0
0r
I

q
n
(I)

q
II
!
. (3.67)
Para el caso de coordenadas polares cilndricas, la divergencia de un campo vecto-
rial en trminos de sus componentes fsicos es
u = n
I
;I
= n
1
;1
+ n
2
;2
+ n
3
;3
=

n
1
,1
+ n
n

1
:1

n
2
,2
+ n
n

2
:2

n
3
,3
+ n
n

3
:3

= n
1
,1
+ n
2
,2
+ n
1

2
1 2

+ n
3
,3
= n
(1)
,1
+

1

q
22
n
(2)

,2
+
1
r
1
n
(1)
+ n
(3)
,3
=
0n
v
0r
+
1
r
0n
0
00
+
0n
:
0.
+
n
v
r
=
1
r
0
0r
(r n
v
) +
1
r
0n
0
00
+
0n
:
0.
90
En el caso de coordenadas esfricos procedemos de forma similar
u =

n
1
,1
+ n
n

1
:1

n
2
,2
+ n
n

2
:2

n
3
,3
+ n
n

3
:3

= n
1
,1
+

n
2
,2
+ n
1

2
1 2

n
3
,3
+ n
1

3
1 3

+ n
2

3
2 3

= n
(1)
,1
+

q
22
n
(2)

,2
+
1
r
1
n
(1)
!
+

q
33
n
(3)

,3
+
1
r
1
n
(1)
+
cot 0

q
22
n
(2)
!
=
0n
v
0r
+
1
r
0n
0
00
+
1
r sin0
0n

0c
+
n
v
r
+
n
v
r
+
cot 0
r
n
0
=
1
r
2
0
0r

r
2
n
v

+
1
r sin0
0
00
(sin0 n
0
) +
1
r sin0
0n

0c
3.4.2. Divergencia de un tensor de segundo orden
Sea T(x) un campo tensorial de segundo orden en 1
3
continuamente diferenciable.
Entonces
T(x) = g
I

0T
0r
I
(3.68)
por lo que
T = g
I

0T
0r
I
= g
I
T
|n
;I
g
|
g
n
= T
|n
;I
c
I
|
g
n
= T
In
;I
g
n
. (3.69)
Ejemplo. Calcula la divergencia de un tensor de segundo orden en coordenadas polares
cilndricas en trminos de sus componentes fsicos.
Primero tenemos que desarrollar las sumas
T = T
In
;I
g
n
= T
I1
;I
g
1
+ T
I2
;I
g
2
+ T
I3
;I
g
3
=

T
11
;1
+ T
21
;2
+ T
31
;3

g
1
+

T
12
;1
+ T
22
;2
+ T
32
;3

g
2
+

T
13
;1
+ T
23
;2
+ T
33
;3

g
3
y sustitur las derivadas covariantes
T
In
;I
= T
In
,I
+

/
/ :

T
an
+

:
/ :

T
Ia
por lo que
T
11
;1
= T
11
,1
T
21
;2
= T
21
,2
+

2
2 1

T
11
+

1
2 2

T
22
= T
21
,2
+
T
11
r
1
r
1
T
22
T
31
;3
= T
31
,3
91
T
12
;1
= T
12
;1
+

2
1 2

T
12
= T
12
;1
+
T
12
r
1
T
22
;2
= T
22
,2
+

2
2 1

T
12
+

2
2 1

T
21
= T
22
,2
+
T
12
r
1
+
T
21
r
1
T
32
;3
= T
32
,3
T
13
;1
= T
13
,1
T
23
;2
= T
23
,2
+

2
2 1

T
13
= T
23
,2
+
T
13
r
1
T
33
;3
= T
33
,3
entonces
T =

T
11
,1
+ T
21
,2
+ T
31
,3
+
T
11
r
1
r
1
T
22

g
1
+

T
12
,1
+ T
22
,2
+ T
32
,3
+
T
13
r
1

g
2
+

T
13
,1
+ T
23
,2
+ T
33
,3
+
T
13
r
1

g
3
.
Para expresar T en trminos de sus componentes fsicos tenemos que utilizar la relacin
para los componentes fsicos de componentes totalmente contravariantes,
T
i)
=
1

q
ii
q
))
T
(i)())
y
g
1
= e
v
, g
2
= r e
0
, g
:
= e
:
.
Entonces, las derivadas covariantes en trminos de los componentes fsicos quedan como
T
11
:1
=
0T
vv
0r
T
21
,2
=
1
r
0T
0v
00
+
T
vv
r

T
00
r
T
31
;3
=
0T
:v
0.
T
12
;1
=
0
0r

T
v0
r

+
T
v0
r
2
=
1
r
0T
v0
0r
T
22
;2
=
1
r
2
0T
00
00
+
T
v0
r
2
+
T
0v
r
2
T
32
;3
=
1
r
0T
:0
0.
92
T
13
;1
=
0T
v:
0r
T
23
;2
=
1
r
0T
0:
00
+
T
v:
r
T
33
;3
=
0T
::
0.
Finalmente
T =

0T
vv
0r
+
1
r
0T
0v
00
+
0T
:v
0.
+
T
vv
T
00
r

e
v
+

0T
v0
0r
+
1
r
0T
00
00
+
0T
:0
0.
+
T
v0
+ T
0v
r
2

e
0
+

0T
v:
0r
+
1
r
0T
0:
00
+
0T
::
0.
+
T
v:
r

e
:
.
3.4.3. El operador divergencia en sistemas ortogonales
El operador divergencia para algunos sistemas ortogonales suele ser denotado en
trminos de los vectores base unitarios. Por ejemplo, para el caso del sistema de coordenadas
polares cilndricas, el operador divergencia se expresa como
=

e
v

0
0r
+
e
0
r

0
00
+e
:

0
0.

. (3.70)
3.4.4. Teorema de la Divergencia de Green-Gauss
El Teorema de la Divergencia de Green-Gauss gobierna la divergencia de un campo
vectorial en un punto dado dentro de una regin cerrada ocupada por un cuerpo.
Sea \ el volumen de un cuerpo, con sus elementos de volumen d y o denota la
supercie de frontera con elementos da. La regin ocupada por el cuerpo es una regin
simplemente conectada, esto es, una regin tal que cada curva cerrada que se encuentre
completamente dentro de la regin pueda ser encogida continuamente a un punto sin que
ninguna parte de la curva pase por afuera de la regin. La supercie de frontera del cuerpo,
o, es una supercie orientada, esto es, que la supercie para la cual los lados positivos
y negativos pueden ser especicados en cada uno de sus puntos por las direcciones de un
vector unitario continuamente variante en esos puntos. Por ejemplo, para especicar el
lado positivo de una supercie, uno puede escoger el vector unitario normal exterior n que
apunta hacia afuera del cuerpo, y el lado opuesto ser la parte negativa de la supercie.
Sea f (x) un campo vectorial continuamente diferenciable en todo el interior del
volumen \ as como sobre la supercie o. Tambin
da = nda (3.71)
donde da es el vector elemento de rea con su vector unitario normal n y da denota la
magnitud de da. El teorema de la divergencia de Green-Gauss establece que para el campo
93
vectorial f denido sobre el volumen \ es:
Z
\
f d =
Z
S
n f da, (3.72)
donde la integral de supercie sobre la supercie cerrada o se denomina como el ujo (por
unidad de tiempo por unidad de rea de la supercie) total del campo f a travs de o. El
teorema de la divergencia proporciona una relacin entre una integral de volumen y una
integral de supercie.
En notacin indicial,
Z
\
)
I
;I
d =
Z
S
)
I
:
I
da. (3.73)
La generalizacin del teorema de la divergencia para campos vectoriales y tensoriales
Z
\
t
I
;I
d =
Z
S
t
I
:
I
da, (3.74)
Z
\
Td =
Z
S
n Tda. (3.75)
3.4.5. Signicado fsico de la divergencia de un campo vectorial
El valor de f, donde f est denido como se seala en el teorema de la divergencia
de Green-Gauss, en cualquier punto 1 dentro del cuerpo, puede ser obtenida rodeando el
punto 1 con un elemento de volumen arbitrario , teniendo a o como su supercie de
frontera. Aplicando el teorema de la divergencia en ese elemento de volumen innitesimal,
, el teorema toma la forma
f =
1

Z
S
n f da (3.76)
que da el ujo total del campo f por unidad de volumen. Entonces f en el punto 1
puede ser obtenido de la ecuacin anterior haciendo que tienda a cero (asumiendo que
el lmite existe). Entonces
( f )|
1
= lm
0

Z
S
n f da

. (3.77)
Esto es, la f en 1 es el ujo de f a travs de la supercie de frontera de un elemento de
volumen arbitrario.
En particular, si f = v, la velocidad en un punto de un uido contenido en una
regin de un volumen \ delimitado por una supercie cerrada o, se obtiene
( v)|
1
= lm
0

Z
S
n vda

. (3.78)
94
Esto es, la divergencia de la velocidad en cualquier punto en la regin del uido es el ujo
del campo de velocidad a travs de la supercie delimitante de un elemento de volumen
innitesimal arbitrario que est dentro del volumen y que encierra a ese punto, calculado
por la unidad de volumen de ese elemento. Por esta razn, v es referido como la rapidez
de dilatacin del uido.
El teorema de la divergencia es una declaracin matemtica del hecho fsico de
que, en la ausencia de creacin o destruccin de materia, la densidad dentro de una regin
del espacio puede cambiar solo teniendo ujo hacia adentro o afuera de la regin a travs
de su frontera.
3.5. El operador rotacional
El operador rotacional lo denimos como
= g
I

0
0r
I
(3.79)
Este operador tambien es denotado por curl o rot.
El operador rotacional, al igual que el producto cruz o vectorial, no modica el
orden del tensor, por lo que est denido para tensores de orden uno y superior, y al igual
que el operador gradiente, se tiene que
dim[] = 1
1
. (3.80)
3.5.1. Rotacional de un campo vectorial
Para un campo vectorial u(x) en 1
3
continuamente diferenciable, el operador
rotacional o simplemente rotacional se denota por
u = curl u = rot u (3.81)
El rotacional de un campo vectorial es
u = g
I

0u
0r
I
= g
I
n
i;I
g
i
= n
i;I
g
I
g
i
= -
nIi
n
i;I
g
n
, (3.82)
en donde utilizamos las expresiones desarrolladas previamente
g
|
g
n
= -
I|n
g
I
, (3.83)
y
g
|
g
n
= -
I|n
g
I
. (3.84)
El rotacional tambin lo podemos escribir de la siguiente forma
95
u = -
|nI
n
n;|
g
I
= -
I|n
n
n;|
g
I
, (3.85)
en donde slo se tienen permutaciones pares en el tensor de LeviCivita.
Una simplicacin que se tiene para el rotacional de un campo vectorial es repre-
sentarlo en forma de un determinante. Para ello, primero desarrollamos el rotacional de un
vector,
u = -
Ii)
n
);i
g
I
=
1

q
c
Ii)
n
);i
g
I
=
1

q
g
I
h
c
I12
n
2;1
+ c
I21
n
1;2

c
I23
n
3;2
+ c
I32
n
2:3

+

c
I31
n
1;3
+ c
I13
n
3;1
i
=
1

q
[ g
1
(n
3;2
n
2:3
) + g
2
(n
1;3
n
3;1
)
+ g
3
(n
2;1
n
1;2
)] . (3.86)
Y como la diferencia de derivadas covariantes con ndices permutados es
n
i;)
n
);i
=

n
i,)
n
n

:
i ,

n
),i
n
n

:
,i

= n
i,)
n
),i
(3.87)
entonces podemos reescribir el rotacional de la siguiente forma
u =
1

g
1
g
2
g
3
0
0a
1
0
0a
2
0
0a
3

1

2

3

(3.88)
que queda en trminos de los componentes covariantes
i
.
Para el caso de los componentes contravariantes se tiene que
u =
1

g
1
g
2
g
3
0
0a
1
0
0a
2
0
0a
3

I
q
I1

I
q
I2

I
q
I3

. (3.89)
Y en trminos de los componentes fsicos se tiene
u =
1

e
1

q
11
e
2

q
22
e
3

q
33
0
0a
1
0
0a
2
0
0a
3
P
I
j
1

(I)
P
I
j
2

(I)
P
I
j
3

(I)

. (3.90)
En el caso de sistemas ortogonales
u =
1

e
1

q
11
e
2

q
22
e
3

q
33
0
0a
1
0
0a
2
0
0a
3

q
11

(1)

q
22

(2)

q
33

(3)

. (3.91)
96
3.5.2. Rotacional de un tensor de segundo orden
Sea T(x) un campo tensorial de segundo orden diferenciable continuamente en
1
3
. Entonces
T = g
I

0T
0r
I
= T
|n;I
g
I
g
|
g
n
= -
I| a
T
|n;I
g
a
g
n
. (3.92)
3.5.3. Teorema de Stokes
El teorema de Stokes proporciona una relacin entre una integral de supercie y
una integral de lnea. Consideremos un campo vectorial f (x) continuamente diferenciable
denido sobre una supercie abierta o, en 1
3
, cuyo elemento de rea es dado por da = nda.
Sea 1 cualquier punto sobre el rea da y n es el vector unitario normal exterior a da en 1.
Sea C una curva cerrada que forma una frontera sobre la supercie o.
El vector unitario normal, en cualquier punto de la supercie o, es tomado de
tal forma que apunta hacia afuera de la supercie y forma un sistema de mano derecha
con respecto al sentido de la descripcin de la curva cerrada C, la cual es considerada
positiva cuando es descrita en sentido contrario a las manecillas del reloj. En todo caso,
la curva cerrada C es referida como una curva orientada y la supercie o es una supercie
orientada. Adems, se asume que o no est en contacto ni es atravesada por ninguna curva
de discontinuidad estacionaria o en movimiento. Entonces, se tiene que el teorema de Stokes
establece que
Z
S
n f da =
I
C
f dp (3.93)
donde dp representa el vector tangente innitesimal en un punto 1 de la curva cerrada C.
En notacin indicial, se tiene la forma
Z
S
-
I|n
)
n;|
:
I
da =
I
C
)
I
dr
I
. (3.94)
3.5.4. Signicado fsico del rotacional de un campo vectorial
En el teorema de Stokes, el lado derecho es una integral de lnea sobre la curva
cerrada C descrita en sentido contrario a las manecillas del reloj. Esta integral de lnea
puede ser interpretada como la cantidad neta de efecto de rotacin del campo f, mientras el
vector tangente innitesimal dp es movido a lo largo de la curva cerrada C en la direccin
contraria a las manecillas del reloj. Entonces, el lado izquierdo del teorema de Stokes,
representa el efecto total de la rotacin de f alrededor de la curva C. El valor de n f ,
que es el componente normal de f , en cualquier punto 1 sobre la supercie o puede ser
calculado rodeando ese punto con un elemento de rea arbitrario da teniendo una frontera
97
cerrada que pertenece completamente a o. Entonces, el teorema de Stokes se hace aplicable
a este elemento de rea, as que
n f =
1
a
I
C
f dp, (3.95)
donde C ahora denota la frontera cerrada de da. El valor de n f en el punto 1 puede
ser obtenido tomando el lmite cuando a se aproxima a cero, es decir
(n f )|
1
= lm
a0

1
a
I
C
f dp

. (3.96)
Entonces, n f en 1 representa el giro o el efecto rotatorio del campo f alrededor del
eje n en el punto 1, calculado por unidad de rea.
En particular, si f = v, el efecto rotatorio ser mximo si el vector unitario n est
en la misma direccin de v. Esto es, el mximo ocurre cuando
n =
v
kvk
. (3.97)
El vector v es llamado el vector de vorticidad y
=
I
C
v dp (3.98)
es llamada la circulacin de v alrededor del circuito cerrado C. El componente normal
n v puede ser interpretado como la circulacin de v, por unidad de rea de una
supercie perpendicular a n.
En una rotacin de cuerpo rgido, la velocidad lineal de una partcula rotando
alrededor de un eje dado con una velocidad angular constante es dada por
v = 2, (3.99)
donde v es la velocidad lineal de la partcula.
Sea p el vector de posicin de una partcula relativa a algn eje de rotacin,
entonces
v = p. (3.100)
v = (p) (3.101)
(p) = ( p) ( ) p (p ) +p( ) (3.102)
y puesto que es un vector constante, la expresin anterior se reduce a
(p) = ( p) ( ) p (3.103)
98
y
p = g
I

0p
0r
I
= g
I
g
I
= c
I
I
= 3 (3.104)
( ) p =
|
g
|
g
I
0p
0r
I
=
I
c
|
I
g
I
=
I
g
I
= . (3.105)
Entonces
=
1
2
v. (3.106)
Esto es, el rotacional del vector de velocidad tangencial de una partcula realizando una
rotacin de cuerpo rgido alrededor de un eje dado con una velocidad angular constante es
igual a dos veces la velocidad angular.
3.6. El operador laplaciano
El operador laplaciano est denido como

2
= (3.107)
Este operador tambien es denotado por lap o .
El operador laplaciano no modica el orden del tensor, por lo que est denido
para tensores de cualquier orden, y se tiene que
dim

= dim[ ] = 1
2
. (3.108)
Desarrollando obtenemos

2
= = g
I

0
0r
I

g
|
0
0r
|

= g
I

0 g
|
0r
I
0
0r
|
+ g
|
0
2
0r
I
0r
|

= g
I

|
/ :

g
n
0
0r
|
+ g
|
0
2
0r
I
0r
|

= q
I|
0
2
0r
I
0r
|
q
In

|
/ :

0
0r
|
. (3.109)
3.6.1. Laplaciano de un campo escalar
Sea c(x) una funcin de un campo escalar diferenciable continuamente denido
sobre un dominio en 1
3
. Entonces

2
c = q
I|
0
2
c
0r
I
0r
|
q
In

|
/ :

0c
0r
|
= q
I|
c
,I|
q
In

|
/ :

c
,|
. (3.110)
99
El laplaciano de un campo escalar evaluado en un punto,
2
c(x), es una medida
de qu tanto c(x) vara del promedio de c alrededor de un pequeo crculo que rodea a
x. Esto es similar a como la segunda derivada mide si una funcin de una sola variable
es cncava o convexa, escepto que se extiende a una funcin de muchas variables. En este
sentido, el laplaciano mide que tanto un campo escalar se est curvando hacia abajo o hacia
arriba alrededor de un punto.
Si el laplaciano es igual a cero, esto signica que c(x) es igual al promedio local
de c alrededor de ese punto. Imaginando a c como una supercie bidimensional, y a
(r
1
, r
2
, c(x)) como un punto sobre esa supercie, si la supercie se curva hacia arriba en
una direccin alrededor de x, sta se debe curvar hacia abajo en la otra direccin. Entonces,
las funciones en donde
2
c es cero en cualquier punto son aquellas en donde cada punto se
ve como un punto silla.
Como resultado, cuando el laplaciano es cero, c no tiene un mximo ni un mnimo
local. Si c tuviera un mximo local en un punto j, entonces c(j) es mayor que el promedio
de c alrededor de j, lo cual hara que el laplaciano tuviera un valor diferente de cero.
El laplaciano de un campo escalar en un sistema de coordenadas ortogonal se
reduce a

2
c = q
II
0
2
c
0r
I
0r
I
q
II

|
/ /

0c
0r
|
. (3.111)
En coordenadas oplares cilndricas, es fcil obtener que el laplaciano de un campo escalar
es

2
c =
0
2
c
0r
2
+
1
r
0c
0r
+
1
r
2
0
2
c
00
2
+
0
2
c
0.
2
.
En el caso de coordenadas esfricas, se obtiene que

2
c =
1
r
2
0
0r

r
2
0c
0r

+
1
r
2
sin0
0
00

sin0
0c
00

+
1
r
2
sin
2
0
0
2
c
0c
2
.
3.6.2. Laplaciano de un campo vectorial
Sea u(x) un campo vectorial diferenciable continuamente en 1
3
. Entonces

2
u(x) = q
I|
0
2
u
0r
I
0r
|
q
In

|
/ :

0u
0r
|
= q
I|

0
2
u
0r
I
0r
|

:
/ |

0u
0r
n

. (3.112)
100
El desarrollo de los trminos de la expresin anterior se muestra a continuacin
0
2
u
0r
I
0r
|
=
0
0r
I

n
i
g
i

0r
|
!
=
0
0r
I

0n
i
0r
|
g
i
+ n
i
0 g
i
0r
|

=
0
0r
I

0n
i
0r
|
g
i
n
i

i
| :

g
a

=
0
2
n
i
0r
I
0r
|
g
i
+
0n
i
0r
|
0 g
i
0r
I

0n
i
0r
I

i
| :

g
a
n
i
0
0r
I

i
| :

n
i

i
| :

0 g
a
0r
I
= n
i,I|
g
i
n
i,|

i
/ :

g
a
n
i,I

i
| :

g
a
n
i

i
| :

,I
g
a
+ n
i

i
| :

:
/ :

g
n
=

n
i,I|
n
a,|

:
/ i

n
a,I

:
| i

n
a

:
| i

,I
+ n
n

:
| :

:
/ i

!
g
i
(3.113)
y
0u
0r
n
=
0

n
i
g
i

0r
n
=

n
i,n
n
a

:
:i

g
i
, (3.114)
entonces

2
u =

n
i,I|
n
a,|

:
/ i

n
a,I

:
| i

n
a

:
| i

,I
+n
n

:
| :

:
/ i

n
i,n

:
/ |

+ n
a

:
:i

:
/ |

q
I|
g
i
=

n
i,I|
n
a,|

:
/ i

n
a,I

:
| i

n
i,n

:
/ |

n
a

:
| i

,I
+n
a

:
| :

:
/ i

:
:i

:
/ |

q
I|
g
i
(3.115)
Para el caso de tensores de orden mayor o igual que uno, resulta conveniente
regresar a la denicin original del laplaciano
2
= , y desarrollar primero el gradiente
y posteriormente calcularle su divergencia. Entonces, el gradiente del campo vectorial es
un tensor de segundo orden que queda como
u = n
i;)
g
)
g
i
= T
)i
g
)
g
i
= T, (3.116)
y su divergencia es

2
u = u = T
= g
I

0
0r
I

T
)i
g
)
g
i

= T
)i;I
q
I)
g
i
= (n
i;)
)
;I
q
I)
g
i
= n
i;)I
q
I)
g
i
(3.117)
101
en donde
n
i;)I
= (n
i;)
)
;I
= (n
i;)
)
,I
n
a;)

:
i /

n
i;a

:
, /

=

n
i,)
n
a

:
i ,

,I
n
a;)

:
i /

n
i;a

:
, /

= n
i,)I
n
a,I

:
i ,

n
a

:
i ,

,I
n
a;)

:
i /

n
i;a

:
, /

= n
i,)I
n
a,I

:
i ,

n
a

:
i ,

,I

n
a,)
n
n

:
:,

:
i /

n
i,a
n
n

:
i :

:
, /

= n
i,)I
n
a,I

:
i ,

n
a

:
i ,

,I
n
a,)

:
i /

n
i,a

:
, /

+ n
n

:
:,

:
i /

+ n
n

:
i :

:
, /

= n
i,)I
n
a,I

:
i ,

n
a,)

:
i /

n
i,a

:
, /

n
a

:
i ,

,I
+ n
n

:
:,

:
i /

:
i :

:
, /

, (3.118)
que es la misma expresin que se obtiene con el primer procedimiento.
3.7. La rapidez de cambio convectiva, v
El operador v no se trata de un operador diferencial en s, pero es una operacin
que se presenta frecuentemente en mecnica del medio continuo por lo que requiere que se
le de la importancia necesaria. Esta operacin representa una derivada direccional en la
direccin del campo de velocidad. En forma desarrollada se tiene que
v =
n
g
n
g
I
0
0r
I
=
I
0
0r
I
. (3.119)
Para un campo escalar continuamente diferenciable c(x) , se tiene
(v ) c = v c =
I
0c
0r
I
. (3.120)
Para un campo vectorial continuamente diferenciable v(x) , se tiene
(v ) v = v v =
I
0v
0r
I
=
I

n;I
g
n
. (3.121)
Este operador representa la rapidez de cambio espacial en un campo en cualquier instante
de tiempo como es observado por alguien que se mueve con la velocidad v, y es por ello que
esta rapidez de cambio es llamada como la rapidez de cambio convectiva.
102
3.7.1. Teorema de Green para el plano
Sea f

.
1
, .
2

una funcin vectorial, arbitraria, continuamente diferenciable de z,


denida en una regin plana 1 limitada por una curva suave C. Sean )
1

.
1
, .
2

, )
2

.
1
, .
2

los componentes de f relativos a los ejes .


1
y .
2
, respectivamente, Entonces
ZZ
1

0)
2
0.
1

0)
1
0.
2

d.
1
d.
2
=
I
C

)
1
d.
1
+ )
2
d.
2

(3.122)
en donde C es la frontera cerrada orientada encerrando a 1.
3.8. Ejemplos resueltos
Derivada parcial de la divergencia de un vector
La derivada parcial de la divergencia de un vector
0
0r
I
( v) =
0
i
;i
0r
I
=

i
;i

,I
y de acuerdo con la relacin v = Tr (v) y con el primer teorema de Gabita, esa
derivada es igual a lo siguiente

i
;i

,I

0 T
i
i
0r
I
= T
i
i;I
=

i
;i

;I
= T
i
i,I
+ T
n
i

i
:/

T
i
n

:
i /

i
;i

,I
+
n
;i

i
:/


i
;n

:
i /

i
;i

,I
Demostrar la identidad (v) = ( v)
2
v.
Desarrollando el lado izquierdo de la igualdad obtenemos lo siguiente
(v) = g
I

0
0r
I

g
n

0
0r
n

i
g
i

= g
I

0
0r
I

-
nic

i;n
g
c

= -
nic

i;nI
g
I
g
c
= -
nic

i;nI
q
Ij
g
j
g
c
= -
nic
-
jca

i;nI
q
Ij
g
a
= -
nic
-
jac

i;nI
q
Ij
g
a
=

c
n
j
c
i
a
c
n
a
c
i
j


i;nI
q
Ij
g
a
=
a;jI
q
Ij
g
a
+
j;aI
q
Ij
g
a
=
a;jI
q
Ij
g
a
+
I
;aI
g
a
103
Para el primer trmino del lado derecho,
( v) = g
I
0
0r
I

g
n

0
0r
n

i
g
i

= g
I
0
0r
I

i
;i

i
;i

,I
g
I
=

i
;i

;I
g
I
=
i
;iI
g
I
=
i
;Ii
g
I
=
I
;aI
g
a
en donde hemos utilizado el primer teorema de Gabita y la permutacin de ndices para
segundas derivadas covariantes en espacios euclidianos.
Para el segundo trmino

2
v = v = g
I

0
0r
I

g
n
0
0r
n

i
g
i

= g
I

0
0r
I

i;n
g
n
g
i

=
i;nI
q
In
g
i
=
a;jI
q
Ij
g
a
por lo que observamos que son las mismas expresiones que se obtuvieron para el lado
izquierdo.
Teorema de la divergencia
Demostrar el teorema de la divergencia de GreenGauss alrededor de una esfera
centrada en el origen cartesiano de radio 1 con el siguiente campo vectorial en coordenadas
esfricas
v = r
1
cos r
2
sinr
2
cos r
3
g
1
sin
2
r
2
cos r
3
g
2
=
i
g
i
El teorema de la divergencia para un vector es
Z
\
vd =
Z
S
n vda
Desarrollando la divergencia del vector se obtiene lo siguiente
v = g
I

0v
0r
I
= g
I

n;I
g
n
=
I
;I
=
1
;1
+
2
;2
+
3
;3
=
1
,1
+

1
1 :

a
+
2
,2
+

2
2 :

a
+
3
,3
+

3
3 :

a
y ahora desarrollando las sumas y dejando nicamente los smbolos de Christoel que son
diferentes de cero para el sistema de coordenadas esfricas
v =
1
,1
+
2
,2
+

2
2 1

1
+
3
,3
+

3
3 1

1
+

3
3 2

2
=
1
,1
+
2
,2
+

1
r
1
+
3
,3
+

1
r
1
+ cot r
2

2
=
1
,1
+
2
,2
+
3
,3
+ 2

1
r
1
+ cot r
2

2
104
y sustituyendo los componentes del vector,
v = cos r
2
sinr
2
cos r
3
2 sin r
2
cos r
2
cos r
3
+ 2 cos r
2
sinr
2
cos r
3
cot r
2
sin
2
r
2
cos r
3
= 0
por lo que la integral de volumen es igual a cero.
Para la integral de supercie, tenemos que calcular n v. Primeramente, el vector
normal unitario a la supercie ) se calcula por medio de la siguiente ecuacin,
n =
)
k)k
y en este caso la supercie es una esfera, por lo que ) = r, y el gradiente simplemente es
) = g
1
, por lo que el vector unitario queda como
n =
g
1
k g
1
k
=
g
1

g
1
g
1
=
g
1

q
11
= g
1
lo cual ya sabamos, ya que ste vector es normal a la supercie coordenada.
n v = :
i
g
i

)
g
)
= :
i

i
= :
1

1
+ :
2

2
+ :
3

3
Los componentes covariantes son

1
= q
1a

a
= q
11

1
=
1

2
= q
2a

a
= q
22

2
=

r
1

3
= q
3a

a
= q
33

3
y entonces
n v = :
1

1
= r
1
cos r
2
sinr
2
cos r
3
.
La integral se supercie es
Z
S
n vda =
Z
S
r
1
cos r
2
sinr
2
cos r
3

r
1

2
sinr
2
dr
2
dr
3

=

r
1

3
Z
2
0
Z

0
cos r
2
sin
2
r
2
dr
2

cos r
3
dr
3
=

r
1

3

sin
3
r
2
3

sin r
3

2
0

= 0
con lo que queda demostrado el teorema de la divergencia.