Coordenadas Curvilineas y Calculo Vectorial

Captulo 5
Coordenadas Curvilneas, Campos y

operadores diferenciales
205
M
etodos de la Fsica Matem
atica (Vol 1)
5.1.
BORRADOR PRELIMINAR
Disgreci
on Derivativa
Los vectores podr

an ser constantes o variables. Ahora bien esa caracterstica se verificara tanto en las
componentes como en la base. Esto quiere decir que cuando un vector es variable podran variar su modulo, su
direcci
on, su sentido o todo junto o separado. Obviamente esta variabilidad del vector dependera de la base
en la cual se exprese, por lo cual un vector podra tener una componente constante en una base y constante
en otra.
|ai(t) = ak (t) |ek i(t) = a
k |
ek i(t) = a
k (t) |
ek i
De esta manera, cuando uno piensa en un vector variable |ai(t) ~a (t) uno rapidamente piensa en establecer
un cociente incremental

d |ai(t)
|ai(t)
|ai(t+t) |ai(t)
= lm
=
lm
t0
t0
t
t
dt
m
lm
t0
~a (t)
d~a (t)
~a (t + t) ~a (t)
= lm
=
t0 t
t
dt
La misma propuesta se cumplir

a para las formas diferenciales (t) ha| . Como siempre, las propiedades de esta
operaci
on ser
an

d |ai(t) + |bi(t)
d |ai(t)
d |bi(t)
=
+
dt
dt
dt

d (t) |ai(t)
dt
d

(t)
ha |bi(t)
dt
d ( (t))
|ai(t) + (t)
dt

d

d |ai(t)
dt

!
d |bi(t)
ha|
|bi(t) + ha|(t)
dt
dt
(t)
Ahora bien, esto implica que

|ai(t) = ak (t) |ek i(t) =

d |ai(t)
dt

d ak (t) |ek i(t)
dt

d |ek i(t)
d ak (t)
=
|ek i(t) + ak (t)
dt
dt
con lo cual hay que tener cuidado al derivar vectores y cerciorarse de la dependencia funcional de base y
componentes. Habr
a sistemas de coordenadas (bases de vectores) que sean constantes y otros con bases
variables. As, el radio vector posici
on de una partcula genera los vectores velocidad y aceleracion.
~r = ~r (t)
= ~v (t) =
d (~r (t))
dt
= ~a (t) =
d (~v (t))
d2 (~r (t))
=
dt
dt2
ahora bien
~r |ri = rP |ur i = xP |ii + yP |ji + zP |ki
Hern
andez & N
un
ez
con |ur i = cos |ii + sen |ji
Universidad Industrial de Santander
206
M
atica (Vol 1)
si suponemos que la partcula describe un
rP = rP (t)
= (t)
BORRADOR PRELIMINAR
movimiento entonces
x = x (t)
y = y (t) ; |ur i = |ur i(t) ;
z = z (t)
|ii = const
|ji = const
|ki = const
con lo cual
d (|ur i)
d (cos (t) |ii + sen (t) |ji)
d (t)
d (t)
=
= (sen (t))
|ii + cos (t)
|ji
dt
dt
dt
dt
d (t)
d (t)
d (|ur i)
=
[ (sen (t)) |ii + cos (t) |ji] =
|u i
{z
}
dt
dt |
dt
|u i
ya que
k|ur ik =
hur |ur i =
p
[cos (t) hi| + sen (t) hj|] [cos (t) |ii + sen (t) |ji] = 1
k|u ik =
hu |u i =
[ (sen (t)) hi| + cos (t) hj|] [ (sen (t)) |ii + cos (t) |ji] = 1
y
hur |u i = hu |ur i = [ (sen (t)) hi| + cos (t) hj|] [cos (t) hi| + sen (t) |ji] = 0
M
as a
un
d ( (sen (t)) |ii + cos (t) |ji)
d (t)
d (|u i)
=
= (cos (t) |ii + sen (t) |ji) =
|ur i
dt
dt
dt
Con lo cual, una partcula que describe un movimiento generico vendra descrita en coordenadas cartesianas
por
~r |ri = xP (t) |ii + yP (t) |ji + zP (t) |ki
y su velocidad ser
a
d~r (t)
d (|ri)
d (xP (t) |ii + yP (t) |ji + zP (t) |ki)
=
=
dt
dt
dt
d (xP (t))
d (yP (t))
d (zP (t))
=
|ii +
|ji +
|ki = vxP (t) |ii + vyP (t) |ji + vzP (t) |ki
dt
dt
dt
~v (t) =
y la aceleraci
on
~a (t) =
d (vxP (t))
d (vyP (t))
d (vzP (t))
|ii +
|ji +
|ki = axP (t) |ii + ayP (t) |ji + azP (t) |ki
dt
dt
dt
Mientras que en coordenadas polares ser

a
~r |ri = rP (t) |ur i(t)
= ~v (t) =

d r (t)P |ur i(t)
dt
con lo cual la velocidad

~v (t) = vr (t)P |ur i(t) + r (t)P
Hern
andez & N
un
ez
d (r (t)P )
|ur i(t) + r (t)P
dt

d |ur i(t)
dt
d (t)
|u i
dt
207
M
atica (Vol 1)
BORRADOR PRELIMINAR
y la aceleraci
on
~a (t) =
d (~v (t))
=
dt
d
~a (t) =
dr(t)P
dt
dt
dr(t)P
dt
|ur i(t) + r (t)P
d(t)
dt
|u i

=
dt

d vr (t)P |ur i(t)
dt
~a (t) =
dr (t)P d (t)
d (t)
|u i(t) + r (t)P
|u i(t) + r (t)P
dt
dt
dt2
dr(t)
P
d
dt
d(t)
dt

|u i
dt

d
|u
i
r
(t)
dr (t)P
|ur i(t) +
dt
dt
2

d r (t)P
dt

r (t)P
d (t)
dt
2

d
|u
i
(t)
d (t)
dt
dt
dr (t)P d (t)
d2 (t)
|ur i(t) + 2
+ r (t)P
dt
dt
dt2

|u i(t)
Claramente para el caso de un movimiento circular
r = R = const
dR
=0
dt
~r (t) = R |ur i(t)
~v (t) = R d(t)
=
dt |u i

~a (t) = R d(t) 2 |u i + R d2 (t) |u i

r (t)
(t)
dt
dt2
De aqu podemos ver claramente que velocidad ~v (t) y posicion ~r (t) son ortogonales. La velocidad, ~v (t) ,
siempre es tangente a la trayectoria ~r (t) y en este caso la trayectoria es una circunsferencia. En general el
vector
Z
X
X
X
~r (ti ) = d~r (t) = ~r (t)
~rmed =
~r (ti ) =
(~r (ti + ti ) ~r (ti )) = lm
i
es decir d~r (t) = lmt0
t0
~r (ti ) es tangente a la trayectoria. Es claro que

xP (t)
yP (t)
zP (t)
d~r (t) = d [xP (t) |ii + yP (t) |ji + zP (t) |ki]
|ii +
|ji +
|ki dt
t
t
t
5.2.
Curvas y par
ametros
Podemos generalizar esta afirmaci

on y considerar un parametro generico , en este caso
~r = ~r (xP () , yP () , zP ()) =

~r xP ()
~r yP ()
~r zP ()
d~r (xP () , yP () , zP ()) =
+
+
d
xP ()
yP ()
zP ()

=
Hern
andez & N
un
ez
xP () ~r
yP () ~r
zP () ~r
+
+
xP ()
yP ()
zP ()

d
208
M
atica (Vol 1)
BORRADOR PRELIMINAR
con lo cual
d ()
xP () ()
yP () ()
zP () ()
=
+
+
d
xP ()
yP ()
zP ()

P () yP () zP ()
con lo cual podemos considerar las cantidades x
, ,
como las componentes del vector,
d()
d~r () , (y en general del operador
d ) tangente ala trayectoria parametrizada con .

()
seran los vectores base en esas coordenadas.
, ()
M
as a
un las cantidades xP () , x()
P () zP ()

1
As al considerar coordenadas generalizadas q () , q 2 () , q 3 ()

|ri =
r=
r q 1 () , q 2 () , q 3 ()
q 1 ()
~r
q 2 ()
~r
q 3 ()
~r
d~r q 1 () , q 2 () , q 3 () =
d 1
+
d 2
+
d 3
q ()
q ()
q ()
m
d
r
q 1 () ~r
q 2 () ~r
q 3 () ~r
=
+
+
d
q 1 ()
q 2 ()
q 3 ()
| {z }
| {z }
| {z }
|q 1 i
n
donde q 1 =
~
r
2
q 1 () , q
~
r
3
q 2 () , q
~
r
q 3 () ,
|q 2 i
|q 3 i
son la base de vectores.
Por otro lado el m

odulo del vector kd~r ()k representara la longitud de arco ds para esa curva. Por
consiguiente
ds2 = hdr() |dr()i =
d hdr()| d |dr()i
q i hdr()| q j |dr()i
(d)2 =
(d)2
d
d
q i
q j
hdr()| |dr()i q i q j
hdr()| |dr()i i j
d
d =
dq dq
q i
q j |{z }|{z }
q i
q j
dq i
donde
d~
r ()
d
dq j
es el vector tangente a la curva. Dado que

2
(ds) = gij dxi dxj = gij d

xi d
xj = gij dq i dq j =
hdr()| |dr()i i j
dq dq
q i
q j
{z
}
|
g
ij
identificamos claramente
Hern
andez & N
un
ez
hdr()| |dr()i
gij
q i
q j
209
M
atica (Vol 1)
BORRADOR PRELIMINAR
Figura 5.1: Coordenadas Curvilneas en 2D.

Cuadrante I, coordenadas cilndricas x = cos ; y = sen ; z = z
Cuadrante II, coordenadas cilndricas elpticas x = a cosh u cos v; y = a senh u sen v; z = z
Cuadrante III coordenadas cilndricas parabolicas x = 12 u v 2 ; y = uv; z = z
Cuadrante IV coordenadas cilndricas bipolares x2 + (y a cot u)
a2
y 2 = senh
z = z
2v;
5.3.
a2 csc2 u;
v
x a senh
cosh v
2
Coordenadas Curvilneas Generalizadas

Como hemos visto siempre se podr
a definir un sistema de coordenadas generalizadas q 1 , q 2 , q 3 tales que
|ri =
r=
r q1 , q2 , q3
= d
r=
(ds) = gij dxi dxj d

rd
r=
r 1
r 2
r 3
dq +
dq +
dq
q1
q2
q3
r
r
dq i dq j
qi qj
gij = qri qrj
|
ej i =
1 |ri
|ri q j
qj
genere una trada de vectors base {|

ej i} ortonormales de vectores unitarios tales que
1
|ri

|
e1 i =
|ri q 1 ;
q1
1
|ri

|
e2 i =
|ri q 2 ;
q2
1
|ri

|
e3 i =
|ri q 3 ;
q3
los cuales son vectores tangentes a las curvas que define el radio vector |ri. Claramente si el sistema es
ortogonal los factores de escala son importantes para su categorizacion

|ri
|ri
|ri

;
h1 =
; h2 =
; y h3 =
q1
q2
q3
Hern
andez & N
un
ez
210
M
atica (Vol 1)
BORRADOR PRELIMINAR
con lo cual podemos definir el elemento de lnea como

ds2 = h1 dq 1
2
+ h2 dq 2
2
+ h3 dq 3
2
hdr()| |dr()i i j
dq dq = gij dq i dq j
q i
q j
Es decir que identificamos la metrica como

h1 =
x
x1
=
= g11 ;
q 1
q 1
h2 =
x2
y
=
= g22 ;
q 2
q 2
h3 =
x3
z
=
= g33 .
q 3
q 3
De tal forma que los casos particulares se recuperan facilmente.
5.3.1.
Coordenadas generalizadas, vectores y formas
Recordando como construimos el desplazamiento para una base generica ortogonal, {|

ej i} de un espacio
vectorial con producto interno, el desplazamiento infinitesimal puede expresarse como
k
k
ds2 hdr |dri = d x
k
e (d x
m |
em i) =
e |
em i d x
k d x
m = d x
m d x
m = gkm d x
k d x
m
Donde hemos utilizado el hecho que la metrica nos permite asociar componentes contravariantes a covariantes
y viceversa, es decir establece una relaci
on entre formas y vectores.

Si las bases de formas y vectores son ortogonales la metrica sera diagonal y como en general |dr()i
6= 1,
q j
entoces surgen los llamados factores de escala hi = gii
Entonces, una vez m
as, una forma hb| o, un vector |ai cualquiera puede expresarse como una combinaci
on
lineal de formas o vectores base
j
|ai = aj |ej i = a
j |
ej i
hb| = bj ej = bj
e
con
aj = ej |ai ;
j
a
j =
e |ai ;
bj = hb |ej i ;
y bj = hb |
ej i
De esta manera las componentes covariantes y contravariantes estaran relacionadas como

aj = gjk ak
ai = h[i] a[i]
donde h[i] a[i] NO indica suma. En otras palabras, en aquellos sistemas de coordenadas en los cuales la metrica
es diagonal pero no viene representada por la matriz unidad, subir y bajar indices puede incluir los camibos
de escala.
5.3.2.
Velocidades y Aceleraciones
Antes de pasar a analizar los casos particulares haremos un alto para expresar las expresiones de las
velocidades y las aceleraciones en coordenadas generalizadas. Para ello recordamos que los vectores velocidad
y aceleraci
on se representan como
|V i = V j |ej i = x j |ej i = V j |
ej i = x
j |
ej i
j |
|ai = aj |ej i = x
j |ej i = a
j |
ej i = x
ej i
respectivamente. Para determinar las expresiones de estos vectores en cualquier sistema de coordenadas, es
suficiente con encontrar las expresiones de sus componentes contravariantes o contravariantes. Como sabemos,
podremos encontrar una a partir de las otras con la ayuda de la metrica del sistema de coordenadas.
Hern
andez & N
un
ez
211
M
atica (Vol 1)
BORRADOR PRELIMINAR
Entonces, el vector velocidad en la base cartesiana se puede expresar como

E
E

|V i = Vx |i+Vy |i+Vz k = x |i+y |i+z k = x j |ej i = qj |
ej i con |e1 i = |i ;
|e2 i = |i ;
E

|e3 i = k ,
claramente las componentes contravariantes del vector velocidad en un sistema de coordenadas generalizado
son V j = qj
Para encontrar las componentes covariantes recordamos que para cualquier base generalizada de vectores
o formas se expresan en termino de la base cartesiana (de vectores o formas) como
xi
|ei i
q j
|
ej i =
i
q i
j
e=
e
xj
Entoces las componentes covariantes del vector velocidad en una base generalizada sera

Vm V m
i

xm
m
m
2
x
x
x
t
Vj = hV |
ej i = (x m h
em |)
|ei i = x m j = x m q
= x m j =
j
q j
q
q
qj
t
Con lo cual resulta f

acil expresar las componentes covariantes una vez que conocemos el modulo del vector
expresado en ese sistema de coordenadas. El cual siempre viene expresado a partir del diferencial
d |ri
d |ri
dt
Para encontrar la expresi

on para la aceleracion se procede de manera analoga.
i

x
d
xm
xm
x m
m
a
j = ha |
ej i = (
xm h
e |)
|e
i
=
x
i
m
m
m
q j
q j
dt
q j
q j
y otra vez
xm
x m
=
j
q
qj
a
j =
d
dt

x m
d
x m
x m x m
x m x m
x m j x m j =
q
q
dt qj
2
q j
2
y finalmente
a
j =
5.3.3.
d
dt
qj
Vm V m
2

q j
Vm V m
2
Coordenadas Cartesianas
El primer caso, el m
as trivial, lo constituyen las coordenadas cartesianas. Vale decir

q 1 , q 2 , q 3 (x, y, z)
|ri = x |ii + y |ji + z |ki =

r = x + y
+ zk

r=
r (x, y, z) = d
r=
Hern
andez & N
un
ez
r
x

dx +

r
dy +
dz = dx |ii + dy |ji + dz |ki
y
z
212
M
atica (Vol 1)
cosecuentemente
BORRADOR PRELIMINAR

hx = |ri
x =1
|
ex i =

hy = |ri
y =1

hz = |ri
z =1
|
ey i =
|
ez i =
El elemento de lnea viene definido como

2
2
2
2
(ds) = h1 dx1 + h2 dx2 + h3 dx3
k |ri
x k
1
k y|ri k
1
k |ri
z k
|ri
x
= |ii
|ri
x
= |ji ;
|ri
z
= |ki
ds2 = dx2 + dy 2 + dz 2
y el tensor metric
o ser
a
g11 = gxx = 1;
g22 = gyy = 1;
g22 = gzz = 1.
El hecho que para el caso de las coordenadas cartesianas hx = hy = hz = 1 significara que las tomaremos
como coordenadas base respecto a las cuales expresaremos las demas.
5.3.4.
Coordenadas Cilndricas
Las coordenadas cilndricas se expresan como

q 1 , q 2 , q 3 (, , z)
|ri = x (, ) |ii + y (, ) |ji + z |ki

r = x (, ) + y (, )
+ zk

r=
r (, , z)
d
r=

r
d +
d +
dz
y estas cantidades pueden ser identificadas de

sianas
x = x (, ) = cos
las leyes de transformacion respecto a las
dx = cos d sen d
y = y (, ) = sen
= dy = sen d + cos d
z=z
dz = dz
con lo cual es f
acil identificar
x(,)
x(,)
x(,)
= cos
= sen
=0

z
y(,)
y(,)
= sen ; y(,)
= cos ; y
=0
z
z
z
z =1
=0
=0
coordendas carte-
y de all

+ zk
x (, ) y (, )
|ri x (, ) + y (, )

h =
=

= +

h = kcos + sen
k = 1
Hern
andez & N
un
ez
213
M
atica (Vol 1)
BORRADOR PRELIMINAR
y del mismo modo

(z)

hz =
k = 1.
z

(x (, ) + y (, )
)

= r;
h =

mientras que los vectores unitarios ser

an
|
e i =
|
e i =
|
ez i =
k |ri
k
|ri

x(,)
+ y(,)
=

|ri

|ri
z
(x(,)+y(,)+zk)
k |ri
k
1
k |ri
z k
x(,)

cos + sen
y(,)


2
2
2
2
(ds) = h1 dx1 + h2 dx2 + h3 dx3
= sen + cos
;
=k
ds2 = d2 + 2 d2 + dz 2
y el tensor metric
o ser
a
g11 = g = 1;
5.3.5.
g22 = g = 2 ;
g33 = gzz = 1.
Coordenadas Esf
ericas
Para construir el sistema de coordenadas esfericas

q 1 , q 2 , q 3 (r, , )
|ri = x (r, , ) |ii + y (r, , ) |ji + z (r, , ) |ki = x (r, , ) + y (r, , )

+ z (r, , ) k

~r = ~r (r, , )
d~r=
~r
r

dr +
~r

d +
~r

d
y estas cantidades pueden ser identificadas de las leyes de transformacion respecto a las coordendas cartesianas
x = x (r, , ) = r cos sen

dx = cos sen dr r sen sen d + r cos cos d
y = y (r, , ) = r sen sen

= dy = sen sen dr + r cos sen d + r sen cos d
z (r, , ) = r cos
dz = cos dr r sen d
con lo cual es f
acil identificar
x(r,,)
= cos sen
r
y(r,,)
= sen sen
r
z(r,,)
= cos
r
Hern
andez & N
un
ez
x(r,,)

= r sen sen
y(r,,)

= r cos sen
z(r,,)

=0
x(r,,)

y(r,,)

z(r,,)

= r cos cos
= r sen cos
= r sen
214
M
atica (Vol 1)
BORRADOR PRELIMINAR
y de all

+ z (r, , ) k
|ri x (r, , ) + y (r, , )

hr =
r =

r

x (r, , ) y (r, , ) z (r, , )

hr =
+
+
k

r
r
r

+ cos
hr = cos sen + sen sen
p

k
= cos2 sen2 + sen2 sen2 + cos2 = 1
y del mismo modo

x (r, , ) + y (r, , )

+ z (r, , ) k

x (r, , ) y (r, , )

h =
+
h = kr sen sen +r cos sen

k =
(r sen sen ) + (r cos sen ) = r sen
Finalmente,

x (r, , ) + y (r, , )

+
z
(r,
,
)
k

h =

x (r, , )
y (r, , )
z (r, , )

h =
+
k

h = r cos cos +r sen cos
sen
q
h =
(r cos cos ) + (r sen cos ) + (r sen ) = r
mientras que los vectores unitarios ser

an
|
er i =
|
e i =
|
e i =
k |ri
r k
1
k |ri
k
1
|ri

|ri
r
= cos sen + sen sen

+ cos k
|ri

1
r sen
|ri

1
r
(r sen sen +r cos sen

)
r cos cos +r sen cos

sen k

2
2
2
2
(ds) = h1 dx1 + h2 dx2 + h3 dx3
Hern
andez & N
un
ez
;

ds2 = dr2 + r2 sen2 d2 + r2 d2
215
M
atica (Vol 1)
BORRADOR PRELIMINAR
El tensor metrico ser

a
g11 = grr = 1;
g22 = g = r2 sen2 ;
g33 = g = r2 .
Por completidud, enumeraremos algunos otros sistemas de coordenadas y dejaremos al lector la labor de
calcular los vectores unitarios y la metrica del espacio expresada en estas coordenadas.
5.3.6.
Otros Sistemas Coordenados
Coordenadas Toroidales

q 1 , q 2 , q 3 (, , ) ;
|ri = x (, , ) + y (, , )
+ z (, , ) k
con
x = x (, , ) = r cos ;
con r =
senh
cosh + cos
y = y (, , ) = r sen
z = z (, , ) = r
sen
cosh + cos
con lo cual los vectores unitarios ser

an
|
e i =
|
e i =
|
e i =
Hern
andez & N
un
ez
|ri

k |ri
k
1
k |ri
k
|ri

|ri

|ri

1

(x(,,)+y(,,)
)
+z(,,)k

(x(,,)+y(,,)+z(,,)k)

216
M
atica (Vol 1)
|ri
=
|ri
=

senh
cosh +cos
cos

BORRADOR PRELIMINAR
senh
cosh +cos
sen

cosh cos + 1
cosh2 + 2 cosh cos + cos2
sen
cosh +cos
sen cosh2 cosh cos 2

(cos + sen
)
senh
cosh +cos
cosh3 + 3 cosh2 cos + 3 cosh cos2 + cos3
la metrica queda como

2
ds = r
d2 + d2
senh2
Las superficies = const representan toros alrededor del eje z; las superficies = const son esferas con
centro sobre el eje z;y finalmente las superficies = const son planos que contiene al eje z
Coordenadas Elipsoidales
Dados tres n
umeros a, b y c; con a > b > c > 0, la ecuacion
y2
z2
x2
+
+
=1
a2 + b2 + c2 +
representa las superficies cu
adricas1 homofocales (es decir, con el mismo foco u origen en (x = 0, y = 0, z = 0)).
Dependiendo del valor del par
ametro , estas ecuaciones representaran superficies
Elipsoides
Hiperboloides de una hoja
Hiperboloides de dos hojas
si
> c2
2
si c > > b2
si b2 > > c2
Esto quiere decir que por cada punto (x, y, z) del espacio, pasan tres superficies cuadricas (dependiendo del
valor de ). Conocidos a, b y c y el punto, (x = x0 , y = y0 , z = z0 ) , los valores de vienen dados por las
races de la ecuaci
on c
ubica
y2
z2
x2
+
+
=1
a2 + b2 + c2 +
3 + 2 + + = 0
con
= x20 + y02 + z02 a2 b2 c2

= b2 + c2 x20 + a2 + c2 y02 + a2 + b2 z02 a2 b2 a2 + b2 c2
= x20 b2 c2 + y02 a2 c2 + z02 a2 b2 a2 b2 c2
Las races de esta ecuaci
on (1 = ; 2 = ; 3 = ) definen las coordenadas elipsoidales del punto (x, y, z) =
(x (, , ) , y (, , ) , z (, , ))
q 1 , q 2 , q 3 (, , ) ;
|ri = x (, , ) + y (, , )
+ z (, , ) k
1 N
otese
que la proyecci
on de estas superficies en el plano (x, y) representan curvas c
onicas homofocales
Hern
andez & N
un
ez
217
M
atica (Vol 1)
BORRADOR PRELIMINAR
y la ley de transformaci
on queda como
s
(a2 + ) (a2 + ) (a2 + )

(a2 b2 ) (a2 c2 )
(b2 + ) (b2 + ) (b2 + )

(b2 a2 ) (b2 c2 )
(c2 + ) (c2 + ) (c2 + )

(c2 b2 ) (c2 a2 )
x = x (, , ) =
y = y (, , ) =
z = z (, , ) =
por cual la metrica ser
a
ds2 =
5.4.
4 (a2
( ) ( )
( ) ( )
d2 +
d2
2
2
2
+ ) (b + ) (c + )
4 (a + ) (b2 + ) (c2 + )
( ) ( )
+
d 2
4 (a2 + ) (b2 + ) (c2 + )
Vectores, Tensores, M
etrica y Transformaciones
Nos toca ahora construir expresiones de vectores y tensores a partir de sus leyes de transformacion, hemos
dicho que los vectores y los tensores son independiente del sistema de coordenadas (la base) en la cual se
exprese.
5.4.1.
Transformando Vectores
As si dada dos bases de vectores coordenados {|e1 i , |e2 i , |e3 i} y {|

e1 i , |
e2 i , |
e3 i} para el espacio vectorial
<3 Entonces, se cumple que:

i

i

i
x
i j
ei ai = ai
|ai = aj |ej i = a
i |
ei i =
= a
i = aj
e |ej i a
i =
a

j
e ai = a
|{zx }
h
ei |ej i
con ello de cartesianas a cilndricas

x = x (r, ) = cos ;
de lo cual se deriva

x(,)

y(,)

Hern
andez & N
un
ez
= cos
= sen ;
=0
y = y (r, ) = sen ;
x(,)

= sen
y(,)
;
=
cos
z
=
0

z=z
x(,)
z
=0
y(,)
z
=0
z
z
=1
218
M
atica (Vol 1)
BORRADOR PRELIMINAR
Entonces dados
|ai = aj |ej i = a1 |e1 i + a2 |e2 i + a3 |e3 i = ax |ii + ay |ji + az |ki
|ai = a
i |
ei i = a
1 |
e1 i + a
2 |
e2 i + a
3 |
e3 i = ar |
er i + a |
e i + az |
ez i
con
|
e i =
|
e i =
|
ez i =
k |ri
k
1
k |ri
k
1
k |ri
z k
|ri

x(,)
+ y(,)
=

|ri

|ri
z
(x(,)+y(,)+zk)
x(,)

cos + sen
y(,)

= sen + cos
;
=k
Si tenemos en concreto un vector |ai = 5 |ii + 4 |ji + 3 |ki quisieramos conocer su expresion en coordenadas
cilndricas. Hay que hacer la acotaci
on que existe una familia de sistemas de coordenados cilndricos parametrizados por el
angulo y NO un u
nico sistema coordenado. Obviamente se puede especificar el sistema
coordenado y entonces tendremos un conjunto de componentes definito. As la familia de componentes en
cilndricas del vector |ai ser
an
j 1

j 1

a
j =
e |ai =
e a
|
e1 i + a
2 |
e2 i + a
3 |
e3 i =
e a |e1 i + a2 |e2 i + a3 |e3 i
con lo cual al expresar los vectores base

= 5 cos + 4 sen
a
1 = a = h
e | (5 |ii + 4 |ji + 3 |ki) = (cos + sen
) 5 + 4
+ 3k

= 5 sen + 4 cos
a
2 = a = h
e | (5 |ii + 4 |ji + 3 |ki) = ( sen + cos
) 5 + 4
+ 3k
a
3 = az = h
ez | (5 |ii + 4 |ji + 3 |ki) = hk| (5 |ii + 4 |ji + 3 |ki) = 3
con lo cual
|ai = 5 |ii + 4 |ji + 3 |ki = (5 cos + 4 sen ) |
e i + (5 sen + 4 cos ) |
e i + 3 |
ez i
donde es claro que existen infinitos sistemas cilindricos parametrizados por el angulo , digamos

16
a = 5 cos arctan 45 + 4 sen arctan 45 = 25
41
41 41 + 41 41 =

4
20
= arctan
a = 5 sen arctan 45 + 4 cos arctan 45 = 20

41 41 + 41 41 = 0
az = 3
con lo cual hemos alineado el eje |
e i a lo largo del vector |ai . Ese es un sistema de coordenadas cilindrico
muy particular.
Hern
andez & N
un
ez
219
M
atica (Vol 1)
5.4.2.
BORRADOR PRELIMINAR
Transformando Tensores
Ilustremos ahora las transformaciones de tensores bajo cambios de la base

Consideremos el siguiente tensor
2 1
{|e1 i , |e2 i , |e3 i} {|ii , |ji , |ki} = Tji = 2 3
1 2
del espacio vectorial.
3
4
2
Es decir es un tensor que hemos expresado en coordenadas cartesianas y queremos pasarlo a cilindricas. Para
ello recordamos que
1
x = x = x (, ) = cos
x2 = y = y (, ) = sen
x =z=z
j
k
i
k
T
donde
Tm
=
xi x
m j
x
1 = = (x, y) = x2 + y 2
x
2 = = (x, y) = arctan xy

3
x
=z=z
con lo cual
x
k
xi
x
1
x1
2
x
x2 +y 2
y
x2 +y 2
x1
x
3
x1
z
x
=0
es decir
x
1
x2
x2
x
3
x2
z
y
=0
cos
x
1
x3
2
x
x2 +y 2
sen
sen
x
k
=

i
x
y
x2 +y 2
=0
=
0
z
=
1
z
x3
x
3
x3
x1
x
3
x
z
x2
x
3
y
z
x3
x
3
z
z
cos
mientras que
x1
x
1
xj
x
m
x2
x
1
con lo cual
x3
x
1
= cos
= sen
x1
x
2
x2
x
2
x3
x
2
=0
cos
xj
sen
=
x
m
0
Hern
andez & N
un
ez
= sen
= cos
=0
sen
cos
0
=0
=0
=1
220
M
atica (Vol 1)
BORRADOR PRELIMINAR
Por lo tanto
x
k i xj
k
T
Tm
=
xi j x
m
es decir
cos2 + 3 cos sen + 3

2
cos sen +3 cos 1
cos + 2 sen
0
1
3
2
cos
0 Tj
sen
0
1
cos

sen 0
2
cos
0
2
1
0
1
cos
sen
k
Tm
=
0
k
Tm
=
sen
sen
k
Tm =

cos
sen
cos
0
3
cos sen 0
4 sen cos 0
2
0
0
1
sen cos 2 + 3 cos2 3 cos + 4 sen

3 cos sen + cos2 + 2 3 sen + 4 cos
sen + 2 cos
2
Si suponemos que el origen del sistema de coordenadas cilindrico esta en el vector anterior. Esto es
= x2 + y 2 = 52 + 42 = 41
|ai = 5 |ii + 4 |ji + 3 |ki

= arctan xy
= arctan 54 = 0,67474 rad
y entonces
3,8537
k
Tm
= 0,20569
2,030 3
2,030 3
1. 146 3
6,0
4,841 4
0,195 12
2
Si consideramos una nueva base
1

1
e |
e1 i = 1
e |
e2 i = 1
e |
e3 i = 1
|
e1 i = |ii
2
|
e2 i = |ii + |ji
e |
e1 i = 1
e |
e2 i = 2
e |
e3 i = 2

{|
e1 i , |
e2 i , |
e3 i}

|
e3 i = |ii + |ji + |ki
e3 |
e1 i = 1
e3 |
e2 i = 2
e3 |
e3 i = 3
para ese mismo espacio <3 encontraremos una nueva expresion que toma Tji en esa base. Igualmente encontraremos
para los siguientes tensores: Tij , Tij , Tij . Notese que
nueva base no es ortogonal

k las expresiones
kesta
k
,
e |
ei i =
6 i , con lo cual no se cumplen muchas cosas entre ellas |
ek i
e 6= 1
Para encontrar la expersi
on Tji expresamos los vectores base {|e1 i , |e2 i , |e3 i} {|ii , |ji , |ki} en termino
de la base {|
e1 i , |
e2 i , |
e3 i}
|e1 i = |ii = |
e1 i
|e2 i = |ji = |
e2 i |
e1 i
{|e1 i , |e2 i , |e3 i} =
|e3 i = |ki = |
e3 i |
e2 i
recordamos que un vector generico
|ai = aj |ej i = a
j |
ej i
|ai = aj |ej i = a
1 |
e1 i + a
2 |
e2 i + a
3 |
e3 i = a
1 |e1 i + a
2 (|e1 i + |e2 i) + a
3 (|e1 i + |e2 i + |e3 i)
Hern
andez & N
un
ez
221
M
atica (Vol 1)
BORRADOR PRELIMINAR
con lo cual

a1 |e1 i + a2 |e2 i + a3 |e3 i = a
1 + a
2 + a
3 |e1 i + a
2 + a
3 |e2 i + a
3 |e3 i
y como
a1 = a
1 + a
2 + a
3
a2 = a
2 + a
3
3
3
a =a
= ai =
x k
a
x
k
x1
x
1
= 1;
x1
x
2
= 1;
x1
x
3
= 1;
x2
x
1
= 0;
x2
x
2
= 1;
x2
x
3
= 1;
x3
x
1
= 0;
x3
x
2
= 0;
x3
x
3
= 1;
Es de hacer notar que dado que la base ortonormal {|e1 i , |e2 i , |e3 i} {|ii , |ji , |ki} se tiene que
= ei ai = aj ei |ej i = aj ji = ai = a
k ei |
ek i
|ai = aj |ej i = a
i |
ei i
xi
= ei |
ek i
k
x
El mismo procedimiento se puede aplicar para expresar el vector |ai como combinacion lineal de los vectores
|
ej i
|ai = a
j |
ej i = aj |ej i = a1 |e1 i + a2 |e2 i + a3 |e3 i = a1 |
e1 i + a2 (|
e2 i |
e1 i) + a3 (|
e3 i |
e2 i)
x
1
x
1
x
1
x1 = 1; x2 = 1;
x3 = 0;
a
1 = a1 a2
x
k
x
2
x
2
x
2
a
2 = a2 a3
=
= a
k = ai
i
x1 = 0;
x2 = 1;
x3 = 1;
a
3 = a3
x3
x
3
x
3
x1 = 0;
x2 = 0;
x3 = 1;
N
otese que, como era de esperarse,
xi x
k
= ji
x
k xj
1
= 0
0
1
1
0
1
1
1 0
1
0

0
1
1 = 0
1
0
1
1
0
0
1
0
0
0
1
Con las expresiones matriciales para las transformaciones ,estamos en capacidad de calcular, componente a
componente, las representaci
on del tensor en la nueva base con lo cual
x
k xj i
k
Tm
=
T
xi x
m j
T11 =
es decir
Hern
andez & N
un
ez
x
1 xj
xi x
1
Tji =
x
1
x1
x1
x
1
x
1
x2
x
1
x3
T 1 + x1 T 1 + x1 T 1
1 1 x 2 2 x 3
x
2
+ xx1 T22 +
1 T
x1 1
x
x2
3
3
x
1 T1 + x
1 T2 +
T11 =
x
1 xj
xi x
1
Tji =

1 1 T11 + 0 T21 + 0 T31

1 1 T12 + 0 T22 + 0 T32
+0 1 T13 + 0 T23 + 0 T33
T11 =
x
1 xj
xi x
1
Tji =
T11 T12 = 2 2 = 0
x3
x
1
T32
x3
x
1
T33
222
M
atica (Vol 1)
BORRADOR PRELIMINAR
del mismo modo

T21 =
es decir
x
1 xj
xi x
2
Tji =
T21 =
x
1 xj
xi x
2
Tji =
T21 =
x
1 xj
xi x
1
Tji =
x
1
x1
x1
x
2
x
1
x2
x
1
x3
T 1 + x2 T 1 + x2 T 1
1 1 x 2 2 x 3
x
2
+ xx2 T22 +
2 T
x1 1
x
x2
3
3
x
2 T1 + x
2 T2 +

x3
x
2
T32
x3
x
2
T33

1 1 T11 + 1 T21 + 0 T31

1 1 T12 + 1 T22 + 0 T32
+0 1 T13 + 1 T23 + 0 T31

T11 + T21 T12 + T22 = (2 + 1) (2 + 3) = 2
k
se puede continuar termino a termino o realizar la multiplicacion de las matrices xxi , Tji y xxm provenientes
de la transformaci
on de componentes de tensores. Vale decir
2 1 3
1 1 1
0 2 3
1 1
0
k
j
x
x
k
2
4
1 1 2 3 4 0 1 1 = 1
Ti
0
Tm
=
xi j x
m
1 2 2
0 0 1
1
3
5
0
0
1
hay que resaltar un especial cuidado que se tuvo en la colocacon de la matrices para su multiplicaci
on. Si
k
j
k
k
= xxi xxm Tji las cantidades xxi son n
bien en la expresi
on Tm
umeros y no importa el orden con el cual
se multipliquen, cuando se colocan como matrices debe respetarse la concatenacion interna de ndices.
k
como una matriz, donde el ndice contravariante k indica filas y el
Esto es cuando querramos expresar Tm
ndice covariante m las columnas, fijamos primero estos ndices y luego respetamos la concatenacion ndices
covariantes con los contravariantes. Esta es la convencion para expresar la multiplicacion de matrices en la
notaci
on de ndices2 . Esto es
x
k xj i
k
Tm
=
T
xi x
m j
k
x
k i xj
k
= Tm
=
T
xi j x
m
Ahora los objetos xxi , Tji y xxm pueden ser sustitidos (en sus puestos correspondientes) por su representaci
on matricial.
k
Con lo cual hemos encontrado la respresentacion matricial Tm
de las componentes del tensor T en la
base {|
e1 i , |
e2 i , |
e3 i}
1
T1 = 0 T21 = 2 T21 = 3
T12 = 1 T22 = 2
T32 = 4
3
3
T1 = 1 T2 = 3
T33 = 5
n
on para Tkm recordamos que Tkm = gkn Tm
es decir, requerimos las componentes
covariantes y contravariantes del tensor metrico gkn que genera esta base. Para ello recordamos que para
para una base generica, {|
ej i} , no necesariamente ortogonal, de un espacio vectorial con producto interno,
2 Quiz
a una forma de comprobar si los ndices est
a bien concatenados se observa si se bajan los ndices contravariantes
pero se colcan de antes que los covariantes. Esto es Tji Tij As la multiplicaci
on de matrices queda representada por
Cji = Aik Bjk Cij = Aik Bkj y aqu es claro que nidices consecutivos est
an concatenados e indican multiplicaci
on
Hern
andez & N
un
ez
223
M
atica (Vol 1)

podemos definir la expresi
on de un tensor
|e i
i
|
ej i
0
2
BORRADOR PRELIMINAR

que denominaremos tensor metrico como
g , , = gij gji
gij gji = g [|
ei i , |
ej i] h
ei |
ej i h
ej |
ei i
he | hej |

g , = gij gij
gij gij = (
gij )
Es de hacer notar que la representaci

on matricial para la metrica covariante gij de una base ortonormal
{|e1 i , |e2 i , |e3 i} {|ii , |ji , |ki} es siempre diagonalEsto es
g11 = he1 |e1 i = hi |ii = 1;
g12 = he1 |e2 i = hi |ji = 0;
g21 = he2 |e1 i = hj |ii = 0;
g22 = he2 |e2 i = hj |ji = 1

n; g23 = he2 |e3 i = hj |ki = 0;
g31 = he3 |e1 i = hk |ii = 0;
g32 = he3 |e2 i = hk |ji = 0;
con lo cual
n
hTm
i
n
i
hTkm i hgkn Tm
g33 = he3 |e3 i = hk |ki = 1;
2 3
2
4
3
5
g13 = he1 |e2 i = hi |ji = 0;
0
1
1
hT nm i g nk Tk
donde hemos denotado hi como la representacion matricial del objeto

Para el caso de la base generica no ortonormal {|
ej i} tenemos dos formas de calcular el tensor (las
componentes covariantes y contravariantes) del tensor metrico. La primera es la forma directa
g11 = h
e1 |
e1 i = hi |ii = 1;
g12 = h
e1 |
e2 i = hi| (|ii + |ji) = 1;
g21 = h
e2 |
e1 i = (hi| + hj|) |ii = 1;
g22 = h
e2 |
e2 i = (hi| + hj|) (|ii + |ji) = 2
g31 = h
e3 |
e1 i = (hi| + hj| + hk|) |ii = 1;
g32 = h
e3 |
e2 i = (hi| + hj| + hk|) (|ii + |ji) = 2;
y
g13 = h
e1 |
e3 i = hi| (|ii + |ji + |ki) = 1;
g23 = h
e2 |
e3 i = (hi| + hj|) (|ii + |ji + |ki) = 2
g33 = h
e3 |
e3 i = (hi| + hj| + hk|) (|ii + |ji + |ki) = 3
consecuentemente
gij gji
Hern
andez & N
un
ez
1
1
1
1
2
2
1
2
3
gij gij = (
gij )
2 1
1 2
0 1
0
1
1
224
M
atica (Vol 1)
BORRADOR PRELIMINAR
La otra forma de calcular la metrica correspondiente la base ortonormal {|e1 i , |e2 i , |e3 i} {|ii , |ji , |ki} y
transformarla a la base no ortonormal {|
e1 i , |
e2 i , |
e3 i} {|ii , |ii + |ji , |ii + |ji + |ki} esto es
gkm =
xi xj
gij
x
k x
m
= gkm =
xi
xj
g
ij
x
k
x
m
La metrica para el la base ortonormal ser

a diagonal y ademas gii =
gij
1
0
0
0
1
0
0
0 ;
1
g ij
1
0
0
1
g ii
, con lo cual
0
0 ;
1
gji
0
1
0 0
1
0
1
1
0
0
1
0
1
0
0
0
1
0
0
0 ;
1

1
1
1 = 1
1
1
1
2
2
1
2
3
y
gkm
xj
xi
g
=
ij
x
k
x
m
1
; 1
1
0
1
1
0
1
0 0
1
0
0
1
0
n
otese para conservar la convenci
on de ndices y matrices hemos representado que hemos traspuesto la matriz
xi
on, como dijimos arriba es
correspondiente a xk . La raz
gkm =
xi
xj
g
ij
x
k
x
m
gkm = ik gij jm
ki gij jm
gkm =
Para poder representar multipicaci

on de matrices los ndices deben estar consecutivos, por tanto hay que
trasponer la represetaci
on matricial para poder multiplicarlar.
Ya estamos en capacidad de obtener las representacines matriciales para los tensores: Tij , Tij , Tij .
0
D E D ET
Tij = Tji
1
1
T
2 3
0
2
4 = 2
3
5
3
1
D
E D
E
n
Tkm = gkn Tm
1
1
0
D
E D
E
n mk
Tkn = Tm
g
1
1
5.5.
1
2
2
1
0
2 1
3
1
1 1
D E
2 3 Tij
4 5

2 3
2
2
4 = 4
3
5
5
2 3
1
2
4 1
3
5
1
1
2
2

1
5
2 = 7
3
9
3
8
11
6
D
E
15 Tkm
20
10 13
D
E
13
17 Tkm
17
22
Campos Tensoriales y el Concepto de Campo
Cuando avanzamos en la derivaci

on de vectores vimos vectores que dependan del tiempo. Luego cuando
construimos sistemas de coordenadas ortogonales vimos tambien vectores que variaban en modulo direcci
on
y sentido.
|ai(t) = ak (t) |ek i(t) = a
k |
ek i(t) = a
k (t) |
ek i
Hern
andez & N
un
ez
225
M
atica (Vol 1)
BORRADOR PRELIMINAR
Figura 5.2: Radio vector posici

on ~r (t) en <2 que describe parametricamente una curva.
Ahora podemos generalizar este concepto a tensores que dependen de una variable escalar
T [, , , ; , , , ](t)
|ti (1)i |uj (2)i
T , , , ,
hzl (n)|

, ,
|vk (m)i hxm (1)| hy n (2)|
mnl
= Tijk
(t)
(t)
mnl
Tijk
(t) ti (1) uj (2) v k (m) |xm (1)i |yn (2)i |zl (n)i
mnl
Tijk
i
t (1)
(t)
u
(2)(t) vk (m)(t) |
xm (1)i(t) |
yn (2)i(t) |
zl (n)i(t)
j
mnl
xm (1)i(t) |
yn (2)i(t) |
zl (n)i(t)
Tijk
(t) ti (1)(t) u
(2)(t) vk (m)(t) |
al igual que los vectores, la dependencia funcional de los tensores variara con la base en la cual se exprese.
As tendremos tensores cuyas componentes, en una determinada base, seran variables y en otra no. Mientras
que una de las bases ser
a variable y otra no.
Igualmente saltamos al cociente incremental para conocer la velocidad de variacion
lm
T [, , , ; , , , ](t+t) T [, , , ; , , , ](t)
t
t0
m
lm
T [, , , ; , , , ](t)
t
t0
m

d T [, , , ; , , , ](t)
dt
Hern
andez & N
un
ez
226
M
atica (Vol 1)
BORRADOR PRELIMINAR
Figura 5.3: Campo Vectorial en <3
si la base es constante, entonces podemos, como en el caso de los vectores, la dependencia funcional y su
variaci
on (su derivada) recae sobre sus componentes. As podemos construir la derivada de las componentes
como

mnl
mnl
mnl
mnl
d Tijk
(t)
Tijk
(t + t) Tijk
(t)
(t)
Tijk
lm
= lm
=
t0
t0
t
t
dt
Siguiendo con el proceso de generalizacion podemos pensar en una dependencia funcional multilineal.
Esto es que el argumento de la funci
on tensorial otro tensor,
T [, , , ; , , , ] = T [, , , ; , , , ]G[,, ,;,, ,]
A ese objeto se le llama Campo Tensorial, pero vamos con calma. Analicemos lo casos mas simples los cuales
son los verdaderamente u
tiles. Como era de esperarse, tendremos varios casos que se pueden construir a
partir de esta idea hemos visto funciones que ahora llamaremos campos homogeneos
= (t)
funcion
|ri(t) ~r = ~r (t)
rk (t)
vector
T = T [, , , ; , , , ](t)
mnl
Tijk
(t)
tensor
y veremos campos constantes o estacionarios ~r 6= ~r (t)

= (~r)
Campo Escalar
|ai(|ri) ~a = ~a (~r)
ak (~r)
T = T [, , , ; , , , ](|ri)
..
.
Hern
andez & N
un
ez
Campo Vectorial
mnl
Tijk
(~r)
Campo Tensorial
..
.
227
M
atica (Vol 1)
BORRADOR PRELIMINAR
campos variables o no estacionarios

= (~r (t) , t)
Campo Escalar Variable
|ai(|ri) ~a = ~a (~r (t) , t)
ak (~r (t) , t)
T = T [, , , ; , , , ](|ri)
..
.
mnl
Tijk
(~r (t) , t)
Campo Vectorial
Campo Tensorial
..
.
en ambos casos hemos supuesto que la base en la cual se expresan vectores y tensores es constante.
La idea de los campos escalares, vectoriales, tensoriales, con argumento vectorial, es asociar un valor de la
componente (escalar, vectorial o tensorial) a cada punto del espacio (si el vector esta en <3 ). Obviamente los
campos escalares asocian un n
umero a cada posicion y los campos vectoriales, ademas del n
umero (m
odulo)
asocian una direcci
on y un sentido.
Los campos escalares ser
an las distribuciones de densidad (~r (t)) , presion P (~r (t)) y temperatura
T (~r (t)) de la atm
osfera terrestre o la distribucion de intensidades del campo electrico en una superficie.
As al considerar el potencial electrico

q

q
2
2
(~r) = (x, y) = ln
(x + 1) + y 2 ln
(x 1) + y 2
La representaci
on del campo escalar ser
a
q

q

2
2
2
2
Campo Escalar (~r) = (x, y) = ln
(x + 1) + y ln
(x 1) + y
y la representaci
on de un campo vectorial sera
Hern
andez & N
un
ez
228
M
atica (Vol 1)
BORRADOR PRELIMINAR
Figura 5.4: Ejemplo de Campo Escalar. Campo de Temperaturas T = T (x, y)
Campo vectorial
5.6.
Campos escalares y superficies
Campo escalar ser

a aquella funci
on escalar de argumento vectorial. Con ello a cada punto del espacio se
le asocia un n
umero. Esto es

: <n <
= (~r)
= xi = x
i
= (x, y, z) = (
x, y, z)
Estamos enfatizando el hecho que un campo escalar no variara bajo cambios de las coordenadas en su
argumento.
Adicionalmente recalcamos que es indistinto hablar de vectores o sus coordenadas = (~r)
= xi . La Figura 5.4 ilustra un campo de temperaturas
T = T (x, y) = 70 + 180e(x3)2/10(y2)2/10
Si unimos los puntos con iguales temperaturas tendremos curvas isotermas tal y como se observan en la
Figura 5.6
Hern
andez & N
un
ez
229
M
atica (Vol 1)
BORRADOR PRELIMINAR
Figura 5.5: Curvas de Nivel para una funcion z = g (x, y) = cte
Curvas Isotermas. T = T (x, y) = cte

Un campo escalar = x1 , x2 definira superficies si la representamos
en <3 como x3 = x1 , x2

curvas de nivel o isocurvas las cuales corresponden a soluciones = xi = cte. Tal y como se ilustra en la
figura (5.5) los planos z = k = cte cortan la superficie y definen la curva g (x, y) = z = k.
Capt5AnalisisVectorial
En la pr
oxima secci
on describiremos una fauna de operadores vectoriales, su utilidad y significado fsico.
5.7.
Campos vectoriales y lneas de flujo
Consideremos ahora un campo vectorial ~a (~r) y estudiemos su representacion y lo que es mas importante,
su variaci
on. Tal y como hemos dicho y volvemos a representar en la figura (5.6) los campos vectoriales
asocian un vector (con su m
odulo direcci
on y sentido) a cada punto del espacio. Com
unmente, nos referimos
a campos vectoriales seg
un el caso. As consideraremos campos de fuerza (es decir el vector del campo es una
fuerza), campo de velocidades ( el vector del campo es una velocidad). Del mismo modo a aquellas lneas a las
cuales los vectores son tangentes se les dominan lneas de campo, curvas integrales o simplemente lneas de
flujo o de corriente. A las trayectorias ortogonales a estas lneas, vale decir a aquellas lneas cuyos vectores
tangentes sean ortogonales al campo, se les denominaran lneas equipotenciales. El ejemplo mas emblem
atico
Hern
andez & N
un
ez
230
M
atica (Vol 1)
BORRADOR PRELIMINAR
Figura 5.6: Capt5AnalisisVectorial/Campos vectoriales
~ (x, y). Las lneas equipotenciales las define el campo escalar

lo constituye el gradiente de un campo escalar
~ (x, y) .
mismo, (x, y) = z = cte (curva de nivel) y construimos un campo vectorial con su gradiente,
Como el gradiente es perpendicular a la curva de nivel tendremos que las curvas integrales, ( lneas de flujo o
~ (x, y) seran trayectorias ortogonales a las curvas equipotenciales.
lneas de corriente) del campo vectorial
5.7.1.
Lneas de flujo o curvas integrales
Supongamos el caso bidimensional3 en coordenadas cartesianas, y consideremos un desplazamiento diferencial d~r en la direcci
on del campo vectorial, es facil convencerse que
d~r ~a (x, y) = ax (x, y) + ay (x, y)
dx
dy
=
ax (x, y)
ay (x, y)
con lo cual encontramos las lneas de flujo o curvas integrales y (x) del campo ~a (x, y)
Z
dy
ay (x, y)
ay (x, y)
=
y (x) =
dx
dx
ax (x, y)
ax (x, y)
as dado un campo vectorial
~a = x + y
dy
y
=
dx
x
dy
=
y
dx
+C
x
y (x) =
1
C1
x
o lo que son lo mismo hiperbolas yx = C.

Otra forma, equivalente de verlo es que
d~r ~a (x (t) , y (t) , z (t) , t) d~r ~a (x (t) , y (t) , z (t) , t) = 0

k

0=
dx
dy
dz
ax (x (t) , y (t) , z (t) , t) ay (x (t) , y (t) , z (t) , t) az (x (t) , y (t) , z (t) , t)
3 El
caso tridimensional s
olo a
nade complicaciones t
ecnicas y no riqueza conceptual
Hern
andez & N
un
ez
231
M
atica (Vol 1)
BORRADOR PRELIMINAR
por lo cual
(az (x (t) , y (t) , z (t) , t) dy ay (x (t) , y (t) , z (t) , t) dz)+
+ (ax (x (t) , y (t) , z (t) , t) dz az (x (t) , y (t) , z (t) , t) dx)
+
=0
+ (ay (x (t) , y (t) , z (t) , t) dx ax (x (t) , y (t) , z (t) , t) dy) k
y finalmente
dx
dy
dz
=
=
ax (x (t) , y (t) , z (t) , t)
ay (x (t) , y (t) , z (t) , t)
az (x (t) , y (t) , z (t) , t)
la integral de estas ecuaciones construir
a las lneas de flujo o curvas integrales.
5.7.2.
Trayectorias ortogonales a las lneas de flujo
Para encontrar las trayectorias ortogonales al campo vectorial o las lneas equipotenciales construimos
un campo vectorial ~a (x, y) que sea ortogonal en todo punto a ~a (x, y)
~a (x, y) ~a (x, y) = 0 ax (x, y) a

x (x, y) + ay (x, y) ay (x, y) = 0
a
ax (x, y)
y (x, y)
=
ay (x, y)
ax (x, y)
~a (x, y) = a
a
x (x, y)
y (x, y)
y ahora procedemos del mismo modo pero con el campo vectorial ~a (x, y, z)
a
dy
y (x, )
=
dx
ax (x, y)
Z
y (x) =
a
y (x, y)
dx
a
x (x, y)
con lo cual las trayectorias ortogonales al campo

~a = x + y
~a = y + x
dy
x
=
dx
y
y (x) =
C 2 + x2
ser
an curvas.
5.8.
Flujo de Campos Vectoriales
Podemos
tambi
en imaginar flujo de campos vectoriales. Para ello, consideramos una superficie infinitesi~=
~
mal dS
s , con n
s el vector unitario normal esa superficie S. Entonces, la cantidad
n
dS
~ = ~a n
df = ~a dS
s dS
ZZ
~=
~a dS
f=
s
ZZ
ZZ
~a n
s dS =
s
an dS
s
~ Hemos denotado an como la componente

representar
a el flujo del campo vectorial a traves de la RR
superficie dS.
~ es independiente del sistema de coordenadas
de ~a a lo largo de n
s . Hay que hacer notar que f = s ~a dS
y en cartesianas puede expresar como

\
\
\
df = ~a n
s dS = a1 cos n
s a1 + a2 cos n
s a2 + a3 cos n
s a3
Hern
andez & N
un
ez
232
M
atica (Vol 1)
BORRADOR PRELIMINAR

donde a1 , a2 , a3 son las componentes cartesianas del vector ~a. La idea que esta cantidad representa flujo
puede tenerse si pensamos en un fluido incompresible que fluye con un campo de velocidades ~v = ~v (~r) . El
volumen que atraviesa una determinada superficie
en un
intervalo de tiempo dt. As, dS definira la base de un
tubo de fluido y tendr
a como altura la k~v k cos n
d
~
v
dt ya que la altura no tiene por que ser perpendicular
s
a la base4 . Por lo tanto la cantidad de fluido que atraviesa la superficie por unidad de tiempo viene dada por
ZZ
ZZ
ZZ

~
~
df = k~v k cos n
d
~
v
dS
=
(~
v
dS)
=
~
v
d
S
f
=
~
v
d
S
=
~
v
dS
=
vn dS
s
s
s
s
5.9.
La fauna de los operadores vectoriales
A partir del concepto de campo escalar, presentaremos la fauna de objetos diferenciales en el espacio
tridimensional. Salvo que se diga lo contrario, utilizaremos el sistema de coordenadas cartesianas, vale decir

q 1 , q 2 , q 3 (x, y, z)
|ri = x |ii + y |ji + z |ki =

r = x + y
+ zk

|ri

= 1; hz = |ri = 1
hy =
y
z

|ri

hx =
x = 1;

r=
r (x, y, z) = d
r=
ds2 = dx2 + dy 2 + dz 2
5.9.1.
r
x

dx +

r
dy +
dz = dx |ii + dy |ji + dz |ki
y
z
g11 = gxx = 1;
g22 = gyy = 1;
g22 = gzz = 1
Derivada direccional, diferencial total y gradiente
Derivada direccional de Campos escalares

Para analizar los cambios en los campos escalares requerimos comparar dos instantes de tiempo para
ello, parametrizamos las componentes del vector tendremos que
z = (~r (t)) = g (x (t) , y (t))
d (x (t) , y (t))
(x (t) , y (t)) d x (t) (x (t) , y (t)) d y (t)
~ (x (t) , y (t)) d ~r (t)
=
+
=
dt
x
dt
y
dt
dt
donde hemos representado
~ (x (t) , y (t)) = (x, y) + (x, y)
= x (x, y) + y (x, y)
= i (x, y) |ei i = ,i (x, y) |ei i
x
y
y lo llamaremos el gradiente de la funci
on. El gradiente de un campo escalar es uno de los objetos m
as
u
tiles, el cual lo hemos utilizado de manera operacional y no nos hemos detenido a reflexionar sobre sus
propiedades.
4 Si

d
lo es cos n
~v = 1 porque la velocidad es paralela a la normal
Hern
andez & N
un
ez
233
M
atica (Vol 1)
BORRADOR PRELIMINAR
Es claro que para una curva de nivel

g (x, y) = z = (~r (t)) = k = cte
d (x (t) , y (t))
dk
=
=0
dt
dt
d (x (t) , y (t))
~ (x (t) , y (t)) d ~r (t)
= 0 =
dt
dt
con lo cual dado que d d~r(t)
t es la tangente a la curva, el gradiente es perpendicular a la curva tal y como
muestra la figura (5.9.1).
La derivada direccional indicar
a la tasa de cambio del campo escalar en la direccion que apuntemos.
Derivada Direccional
En una generalizaci
on de la idea que surge de parametizacion de la curva o de la derivada total respecto
al tiempo
d
~ (x (t) , y (t)) d ~r (t)
=
dt
dt
0
As es claro que, dados dos puntos M y M en el campo se puedes relacionar sera. Definiremos, entonces la
derivada en la direcci
on de un vector unitario |ui M 0 M como
(M 0 ) (M )
d
~ (x, y) u
hi
= l
m
D|ui =
=
d M 0 M
M 0M
Tal y como se puede apreciar en la figura (??) la derivada direccional representa la pendiente de la recta
tangente a la curva que surge como interseccion entre la superficie (x, y) = z = k = cte y el plano vertical
formado por el eje z y el vector unitario u
.Si se da el caso que la funcion de penda de manera explcita del
par
ametro tendremos que
= (x (t) , y (t) , t)
Hern
andez & N
un
ez
d
(x (t) , y (t) , t) ~
d ~r (t)
=
+ (x (t) , y (t) , t)
dt
t
dt
234
M
atica (Vol 1)
BORRADOR PRELIMINAR
Direcci
on de maxima variacion en una funcion
En este punto, varias conclusiones se pueden derivar del concepto de derivada total. La primera es que
dado que, la norma de la derivada direccional a lo largo de |ui es

\

~

~ (x, y) u
~ (x, y) , u
D|ui =
=
(x, y) cos

~ \
~ (x, y) y u
(x, y) u
como el angulo que forman los vectores
), el valor
(donde hemos denotado por
m
aximo del la norma de la derivada direccional sera
s
r
2
2
2
p

~
i
D|ui
(x,
y)
=
=
+
+

i
m
ax
xi xi
x1
x2
x3
es decir, cuando u
apunta en la direcci
on del gradiente, o lo que es lo mismo, direccion de la mayor tasa
de cambio la indica la direcci
on del gradiente. O dicho de otro modo, en un determinado punto M de las
~ apunta en la direccion de la maxima tasa de cambio, tal y como podemos
superficie (x, y) = z el vector
apreciar en la figura (5.9.1).
Hern
andez & N
un
ez
235
M
atica (Vol 1)
BORRADOR PRELIMINAR
Gradiente y Tangente de una funcion

La segunda conclusi
on es dado que el gradiente es ortogonal a la superficie, los vectores perpendiculares
a el conformar
an el planto tangente a la superficie en un determinado punto.
Gradiente y flujo de un campo vectorial
Podemos utilizar la idea de flujo de un campo vectorial y generalizar la definicion de gradiente para que
sea independiente de coordenadas.
ZZ
ZZ
1
1
~
= grad = lm
(x, y, z) dS = lm
(x, y, z) n
s dS
V 0 V
V 0 V
s
s
Esto es, supongamos que construimos un campo vectorial de la forma siguiente
~a (x, y, z) = ~c (x, y, z)
con lo cual
ZZ
~=
~c (x, y, z) dS
f=
s
con ~c = cte
ZZ
~c (x, y, z) n
s dS
s
Es claro que esta expresi

on vale para todos los sistemas de coordenadas. En particular, para un sistema de
coordenadas cartesianas construimos un cubo diferencial con aristas que coincidan con los ejes coordenados.
Entonces se tiene que las caras del cubo seran con
~x+ = (dy dz) ;
dS
dx
~x = (dy dz)
dS
~y+ = (dx dz)

dS
dy ;
~y = (dx dz)
dS
dy
~z+ = (dx dy) k;
dS
dy
~z = (dx dy) k
dS
dy
con lo cual el flujo por las seis caras ser

a
~x+ + ~c (x, y, z) dS
~x + ~c (x, y, z) dS
~y+
df = ~c (x, y, z) dS
~y + ~c (x, y, z) dS
~z+ + ~c (x, y, z) dS
~z
+ ~c (x, y, z) dS
= ~c ( (x + dx, y, z) dy dz (x, y, z) dy dz + (x, y + dy, z) dx dz (x, y, z) dx dz
+ (x, y, z + dz) dx dy (x, y, z) dx dy)
= ~c (( (x + dx, y, z) (x, y, z)) dy dz + ( (x, y + dy, z) (x, y, z)) dx dz+
+ ( (x, y, z + dz) (x, y, z)) dx dy)
Hern
andez & N
un
ez
236
M
atica (Vol 1)
BORRADOR PRELIMINAR
Desarrollando por Taylor hasta primer orden porque estamos considerando un cubo diferencial tendremos
que
(x + dx, y, z) (x, y, z) +
(x, y, z)
dx
x
(x, y + dy, z) (x, y, z) +
(x, y, z)
dy
y
(x, y, z + dz) (x, y, z) +
(x, y, z)
dz
z
con lo cual
df =
(x, y, z)
(x, y, z)
(x, y, z)
dx dy dz +
dy dx dz +
dz dx dy
x
y
z

df =
(x, y, z) (x, y, z) (x, y, z)

+
+
x
y
z
= df = lm f2 f1 = lm 1
V 0 V2 V1
V 0 V
dV
ZZ

dV
dV df =
1
V 0 V
~ = lm
(x, y, z) dS
s
ZZ
(x, y, z) n
dS
s
RR
~ Que quiere decir que tanto V1 0
n
otese que hemos supuesto que V V2 V y que f2 = s (x, y, z) dS
y con lo cual el flujo a traves de un punto se anula, f1 0.
Gradiente y coordenadas curvilneas
La generalizaci
on de la expresi
on del gradiente
en coordenadas curvilneas es inmediata a partir de

diferencial total de una funci
on q 1 , q 2 , q 3 . Esto es

q1 , q2 , q3 = qj
d=

(x, y, z) j
~ q 1 , q 2 , q 3 d ~r
d q =
j
q
con
~ q1 , q2 , q

3
1
1

=
e1 | +
e2 | +
e3 |
|ri q 1 h
|ri q 2 h
|ri q 3 h
q1
q2
q3
1
y

d ~r =
d ~r =
r 1
r 2
r 3
dq +
dq +
dq
q1
q2
q3

|ri
|ri
|ri
1
2
3

|

e
i
dq
+
|
e
i
dq
+
|
e
i
dq
q1 1
q2 2
q3 3
ya que
1
|ri

|
e1 i =
|ri q 1 ;
q1
Hern
andez & N
un
ez
1
|ri

|
e2 i =
|ri q 2 ;
q2
1
|ri

|
e3 i =
|ri q 3 ;
q3
237
M
atica (Vol 1)
BORRADOR PRELIMINAR
Es decir la forma general del gradiente para un sistema de coordenadas curvilneas es

1
1
= grad = 1 |
e1 i +
|
e2 i +
|
e3 i
h1 x
1
h2 x
2
h3 x
3

Donde denotamos hi = |ri
gii el factor de escala que acompa
na a la base |
ei i
i
q =
5.9.2.
Divergencia y flujo en campos vectoriales
Viendo con un poco m

as de cuidado la expresion para el gradiente tenemos

|
e2 i
|
e3 i
|
ei i
|
e1 i
+
|
e2 i +
=
() = grad () =
1
2
3
h1 x
h2 x
h3 x
(h)i x
i
Donde hemos indicado por (h)i al factor de escala y no implica suma. La suma esta indicada entre las
componentes xi i y los elementos de la base {|
ei i} . Con esta inspiracion podemos construir un operador
vectorial

h
e1 |
h
e2 |
h
e3 |
+
+
H (h1 , h2 , h3 ) x
1
F (h1 , h2 , h3 ) x
2
G (h1 , h2 , h3 ) x
3
con lo cual, si cuidamos el orden de operacion, podremos realizar un producto escalar entre dos vectores

a

h
e1 |
h
e2 |
h
e3 |
+
+
H (h1 , h2 , h3 ) x
1
F (h1 , h2 , h3 ) x
2
G (h1 , h2 , h3 ) x
3

a1 |
e1 i + a2 |
e2 i + a2 |
e3 i

a1 |
e1 i + a2 |
e2 i + a2 |
e3 i
h
e1 |
+
H (h1 , h2 , h3 )
x
1

a1 |
e1 i + a2 |
e2 i + a2 |
e3 i
a1 |
e1 i + a2 |
e2 i + a2 |
e3 i
h
e2 |
h
e3 |
+
+
F (h1 , h2 , h3 )
x
2
G (h1 , h2 , h3 )
x
3
y hay que tener cuidado

con la posible variacion de los vectores base. Consideremos en caso de coordenadas
cartesianas, x1 , x2 , x3 (x, y, z) , donde la base {|
ei i} {|ii , |ji , |ki} es constante. Entonces tendremos
de forma inmediata

ax (x, y, z) ay (x, y, z) az (x, y, z)
ai xj
~a =
i ai xj
+
+
x
i
x
y
z
Divergencia como medida de flujo
El significado fsico de la divergencia puede comprenderse si consideramos la definicion, independiente
del sistema de coordenada
ZZ
ZZ
ZZ
1
~ lm 1
~a = df = lm 1
div [~a]
~a dS
~a n
s dS = lm
an dS
V 0 V
V 0 V
V 0 V
dV
s
s
s
Es decir el flujo por unidad de volumen. Otra vez, para un sistema de coordenadas cartesianas construimos
un cubo diferencial con aristas que coincidan con los ejes coordenados. Entonces se tiene que las caras del
Hern
andez & N
un
ez
238
M
atica (Vol 1)
BORRADOR PRELIMINAR
cubo ser
an con
~x+ = (dy dz) ;
dS
dx
~x = (dy dz)
dS
~y+ = (dx dz)

dS
dy ;
~y = (dx dz)
dS
~z+ = (dx dy) k;
dS
dy
~z = (dx dy) k
dS
el flujo por las seis caras ser

a
~x+ + ~a dS
~x + ~a dS
~y+ + ~a dS
~y + ~a dS
~z+ + ~a dS
~z
df = ~a dS
con lo cual
df = ax (x + dx, y, z) dy dz ax (x, y, z) dy dz+
+ ay (x, y + dy, z) dx dz ay (x, y, z) dx dz+
+ az (x, y, z + dz) dx dy az (x, y, z) dx dy
df = (ax (x + dx, y, z) ax (x, y, z)) dy dz + (ay (x, y + dy, z) ay (x, y, z)) dx dz+
+ (az (x, y, z + dz) az (x, y, z)) dx dy
desarrollando por Taylor otra vez, tendremos
ax (x + dx, y, z) ax (x, y, z) +
ax (x, y, z)
dx
x
ay (x, y + dy, z) ay (x, y, z) +
ay (x, y, z)
dy
y
az (x, y, z + dz) az (x, y, z) +
az (x, y, z)
dz
z
obtendremos
df =
ax (x, y, z)
ay (x, y, z)
az (x, y, z)
dx dy dz +
dy dx dz +
dz dx dy
x
y
z
~=
df = ~a dS

+
+
x
y
z

dV
Consecuentemente

ZZ
ZZZ
ZZZ

~=
~a dV
f=
~a dS
+
+
dV
x
y
z
S
V
V
La primera conclusi
on es que podemos convertir una integral de superficie cerrada de un campo vectorial,
en una integral de volumen encerrada por esa misma superficie. Lo hemos demostrado para el caso de
Hern
andez & N
un
ez
239
M
atica (Vol 1)
BORRADOR PRELIMINAR
RR
~ es un escalar, esta afirmacion vale para cualquier
coordenadas cartesianas, pero como el flujo f = S ~a dS
sistema de coordenadas. Esto se conoce como el Teorema de la Divergencia el cual veremos mas adelante
(ver secci
on 5.11.1 en la p
agina 255). A partir de este teorema tenemos que si la divergencia de un campo
vectorial en positiva lo interpretaremos como flujo hacia afuera (saliente) del volumen V encerrado por la
superficie, S, y si la divergencia del campo es negativa esa tendremos flujo entrante. Como ilustracion puede
ver el ejemplo de la p
agina 242.
Divergencia y coordenadas curvilneas
on para la divergencia en coordenadas curvilneas generalizadas partimos de la
definici
on invariante de sistema de coordenadas
ZZ
ZZ
ZZ
1
1
1
~
~a dS lm
~a n
s dS = lm
an dS
div [~a] ~a = lm
V 0 V
V 0 V
V 0 V
s
s
s
y al igual que procedimos en coordenadas cartesianas, ahora consideraremos un paraleleppedo curvilneo
con tres de sus aristas alineadas con el sistema ortogonal curvilneo. Las caras de este paraleleppedo
curvilneo podr
an ser representadas como Entonces se tiene que las caras del cubo seran con

~q1 + = dsq2 dsq3 1 |
~q1 = dsq2 dsq3 |
dS
e1 i ;
dS
e1 i
dq
~q2 + = dsq3 dsq1
dS
~q3 + = dsq1 dsq2

dS
dq 2
|
e2 i ;

~q2 = dsq3 dsq1 |
dS
e2 i
dq 3
|
e3 i ;

~q3 = dsq1 dsq2 |
dS
e3 i ;
donde denotamos dsi el arco de curva a lo largo de la coordenadas curvilneas generalizada q i . Los parentesis
()dqi indican que esta superficie es evaluada en q i + dq i Adicionalmente, es de hacer notar que
(dsi ) =
gii dq i = hi dq i
donde los ndices repetidos NO indican suma
Ahora bien, dado que |ai ~a = a

j |
ej i el flujo por las seis caras sera
~q1 + + ~a dS
~q1 + ~a dS
~q2 + + ~a dS
~q2 + ~a dS
~q3 + + ~a dS
~q3
df = ~a dS
continuando el paralelo, pero con mucho mas cuidado. Para comenzar vemos que ES el flujo del campo
vectorial lo que est
a siendo evaluado en dos puntos distintos. A lo largo de q 1 vemos que

~q1 = a
~a dS
1 q 1 , q 2 , q 3 h2 h3 dq 2 dq 3

~q2 = a
~a dS
2 q 1 , q 2 , q 3 h3 h1 dq 3 dq 1

~q3 = a
~a dS
3 q 1 , q 2 , q 3 h1 h2 dq 1 dq 2
Hern
andez & N
un
ez
240
M
atica (Vol 1)
BORRADOR PRELIMINAR
con lo cual es el flujo lo que debemos desarrollar por Taylor.

a
1 q 1 + dq 1 , q 2 , q
q , q + dq , q
a
3 q 1 + dq 1 , q 2 , q

3

3
h2 h3 =
h3 h1 =
h1 h2 =
a
1 q 1 , q 2 , q
q ,q ,q
a
3 q 1 , q 2 , q

3
!

a
1 q 1 , q 2 , q 3 h2 h3
dq 1
h2 h3 +
q 1
!

a
2 q 1 , q 2 , q 3 h3 h1
2
dq
h3 h1 +
q 2

3
!

a
3 q 1 , q 2 , q 3 h1 h2
dq 3
h1 h2 +
q 3
N
otese que el caso cartesiano no se hizo explcito este echo por cuanto h3 = h2 = h1 = cte = 1. Entonces el
flujo por las el caso de coordenadas curvilneas sera

a
1 q 1 , q 2 , q 3 h2 h3
a
2 q 1 , q 2 , q 3 h3 h1
1
2
3
df =
dq dq dq +
dq 2 dq 3 dq 1 +
q 1
q 2

a
3 q 1 , q 2 , q 3 h1 h2
+
dq 3 dq 1 dq 2
q 3
si recordamos que
dV = (ds1 ) (ds2 ) (ds3 ) =
g11 dq 1
p
p
g22 dq 2 g33 dq 3 = h1 h2 h3 dq 1 dq 2 dq 3
donde denotamos dsi el arco de curva a lo largo de la coordenadas curvilneas generalizada q i . Tendremos
que

!

a
2 q 1 , q 2 , q 3 h3 h1
a
3 q 1 , q 2 , q 3 h1 h2
a
1 q 1 , q 2 , q 3 h2 h3
df
1
=
+
+
dV
h1 h2 h3
q 1
q 2
q 3
con lo cual identificamos la forma generica de la divergencia en coordenadas curvilneas

!

a
2 q 1 , q 2 , q 3 h3 h1
a
3 q 1 , q 2 , q 3 h1 h2
a
1 q 1 , q 2 , q 3 h2 h3
1
~a =
+
+
div [~a]
h1 h2 h3
q 1
q 2
q 3
Un par de ejemplos
La ecuaci
on de continuidad El primero de los ejemplos que consideraremos es la ecuacion de continuidad.
Consideremos una superficie cerrada S que encierra un volumen V. Esta superficie esta inmersa en un fluido,
de densidad (~r, t) que fluye con un campo de velocidades ~v (~r, t) . Supondremos ademas que el volumen V
que encierra la superficie S no cambia de posicion, con lo cual, la variacion de masa del fluido contenido en
este volumen es
Z Z Z
ZZZ
(~r, t)
(~r, t) dV =
dV
t
t
V
V
Entonces la variaci
on de la cantidad de fluido encerrada por la superficie S sera igual a la cantidad de fluido
que escapa (o ingresa) a traves de esa superficie. Esto es
ZZZ
ZZ
ZZZ
(~r, t)
~ (~v (~r, t) (~r, t)) dV
dV =
(~r, t) ~v (~r, t) n
s dS =
t
s
V
V
Hern
andez & N
un
ez
241
M
atica (Vol 1)
con lo cual
ZZZ
V
BORRADOR PRELIMINAR

(~r, t) ~
+ (~v (~r, t) (~r, t)) dV = 0
t
(~r, t) ~
+ (~v (~r, t) (~r, t)) = 0
t
y esta u
ltima representa la ecuaci
on de continuidad en dinamica de fluidos.
Fuentes y sumideros El segundo ejemplo es un calculo explcito el cual ilustra la interpretacion de la
divergencia como medida de flujo de un campo vectorial. Consideremos un campo vectorial de la forma
~a (~r) = q
~ ~a =
q
~r
2u
r
r3
r
1
hr h h
1
~ ~a =
r2 sen
(
ar (r, , ) h h ) (
a (r, , ) h hr ) (
a (r, , ) hr h )
+
+
r
q 2
r2 r
sen
r
!
=0
ya que en coordenadas esfericas, hr = 1, h = r, h = r sen .

N
otese que el origen del sistema coordenado (el punto r = 0) no esta definido porque no lo estaba en
el campo vectorial original ~a (~r) = rq2 u
r . Con lo cual, se tiene que si la superficie S no encierra a r = 0,
entonces el flujo a traves de esa superficie sera nulo
ZZ
ZZZ

~=
~a dV = 0
f=
~a dS
Es decir, todo lo que entra sale. Sin embargo, si el volumen contiene al origen de coordenadas no podemos
decir nada por cuanto hay una indeterminacion en la expresion de la divergencia.
Consideremos con m
as cuidado este caso de la aplicacion del Teorema de la Divergencia, en el cual la
superficie S contenga el origen de coordenadas. Es claro que el volumen contenido entre dos esferas de
distintos radio r < r, centradas en el origen y con superficies S y S respectivamente no contiene al origen y
por lo tanto el flujo ser
a nulo
ZZ
ZZ
ZZZ

~a dV = 0 =
~a n
s dS +
~a n
s dS
f=
s
Pero el campo vectorial sobre la superficie S de la esfera de radio r es

ZZ
ZZ
ZZ
q
q
q
~a = 2 u
r , y n
s
ur , con lo cual
~a n
s dS =
u
(
u
)
d
S
=
ds ds
r
2 r
2
r
r
s
s
s
es decir,
ZZ
ZZ
~a n
s dS =
q
ds ds =
2
r
ZZ
q 2
r sen d d = q
2
r
Z
sen d
d = 4q
0
ya que dS = h d h d rd r sen d. Con lo cual, tenemos que el flujo de un campo singular en un

r , a traves de una superficie de que encierra ese punto singular,
punto (el origen de coordenadas), ~a (~r) = rq2 u
no es nulo y es igual a 4q. El campo vectorial ~a (~r) , se denominara campo de una partcula fuente si q > 0
y campo de un sumidero si q < 0
Hern
andez & N
un
ez
242
M
atica (Vol 1)
5.9.3.
BORRADOR PRELIMINAR
Rotores, lneas de torbellino y Circulaci

on
Del mismo modo como hemos venido procediendo, haremos otra operacion vectorial con el operador
Tendremos entonces el rotor o rotacional actuando u operando sobre un campo vectorial ~
a. En
nabla
coordenadas cartesianas podremos expresar esta operacion como
a = ijk j ak |ei i ijk ak |ei i = (2 a3 3 a2 ) |e1 i + (3 a1 1 a3 ) |e2 i + (1 a2 2 a1 ) |e3 i
~
xj

~a = (y az z ay ) + (z ax x az )
+ (x ay y ax ) k x
ax
y
ay
k
z
az
El rotor de un campo vectorial genera otro campo (pseudo)vectorial llamado campo rotor del campo vectorial.
Por razones que ser
an evidentes enseguida, las curvas integrales de este campo rotor se denominan lneas de
torbellino.
Lneas de torbellino
Consideremos el siguiente campo vectorial en coordenadas cilndricas para z 0
z y
zx
~a = z u
= z ( sen + cos
) = p
+ p
2
2
x +y
x2 + y 2
con lo cual el campo rotor del campo vectorial ~a sera

zx
z y

x
p
+ p
=
z y
x2 + y 2
x2 + y 2
x2 +y2
!
~b =
~a (x, y, z) =
y
z2 x
x +y 2
k
z
0
z
~b =
~a (x, y, z) = p x p y
k
+ p
2
2
2
2
2
x +y
x +y
x + y2
es claro que el campo vectorial y su campo rotor son ortogonales
!
!
z y
zx
x
y
z
p
+ p
p
p
+ p
k =0
x2 + y 2
x2 + y 2
x2 + y 2
x2 + y 2
x2 + y 2
Tal y como se detall
o en la Secci
on 5.7 de la pagina 230 las lneas de flujo se construyen a partir de un
vector diferencial paralelo a campo vectorial en cada punto. Esto es si

k

~b =
~ ~a (x, y, z) = x y z = (y az z ay ) + (z ax x az )
+ (x ay y ax ) k

ax ay az
Hern
andez & N
un
ez
243
M
atica (Vol 1)
BORRADOR PRELIMINAR
Figura 5.7: Rotores de un campo vectorial, lneas de torbellino
tendremos que
~ ~a (x, y, z)
d~r ~b =
dx
dy
dz
=
=
= d
bx (x, y, z)
by (x, y.z)
bz (x, y.z)
dy
dz
dx
=
=
= d
(y az z ay )
(z ax x az )
(x ay y ax )
donde hemos parametrizado la curva con .
por lo tanto
dx
dy
dz
=
=
= d
(y az z ay )
(z ax x az )
(x ay y ax )
p
x2 + y 2 dx
=
x
x2 + y 2 dy
=
y
x2 + y 2 dz
= d
z
las dos primeras ecuaciones proveen

dy
y
=
dx
x
con
C1 = cte;
Hern
andez & N
un
ez
y (x) = xC1
dx
d
= x
2
= C1
x () = C1
dy
d
= y
2
= C2
y () = C2
1
C1 = q
= cte;
2
1 + (C1 )
x +y 2
x +y 2
C1
C2 = q
= C1 C1 = cte
2
1 + (C1 )
244
M
atica (Vol 1)
BORRADOR PRELIMINAR
finalmente
p
x2 + y 2 dz
= d
z
z
z
z
dz
z
q
= q
=
=
=p
2
2
d
2
2
x +y
x 1 + (C1 )
C1 1 + (C1 )
con lo cual
dz
z
=
d
z () =
1
C3
Lneas de campo ortogonales a superficies

~ ~a (x, y, z) encuentra lneas (de torbellino) perpendiculares
Hemos visto como la condici
on d~r ~b =
al campo ~a (x, y, z) . Uno tambien puede plantearse encontrar el conjunto de superficies para las cuales las
lneas de flujo del campo vectorial, ~a (x, y, z) , sean perpendiculares. Para ello suponemos que existen estas
superficies y que se representan, matem
aticamente, como un funcion = (x, y, z) . Por lo tanto
~ ~a (x, y, z)
~ ( (x, y, z) ~a (x, y, z)) =
~ (x, y, z) ~a (x, y, z) + (x, y, z)
~ ~a (x, y, z) = 0
~ es proporcional al campo ~a (x, y, z) y al aplicar el rotor a ambos miembros se anula. Mas a

es decir
un,
al proyectar sobre el mismo vector ~a la ecuacion de la derecha nos queda
h
i
h
i
~ (x, y, z) ~a (x, y, z) + ~a (x, y, z) (x, y, z)
~ ~a (x, y, z) = 0
~a (x, y, z)
ambos sumandos se anula por definici
on de producto vectorial, pero el segundo sumando
h
i
~ ~a (x, y, z) = 0
~a (x, y, z)
impone una condici
on sobre el campo independiente de la funcion de proporcionalidad.
Por lo tanto, la condici
on necesaria y suficiente para que las lneas de flujo de un campo vectorial ~a (x, y, z)
sean perpendiculares a un conjunto de superficies = (x, y, z) es
i
h
~ ~a (x, y, z) = 0
~a (x, y, z)
Circulaci
on de un campo vectorial
La idea (y el nombre de rotor ) surge de la idea de rotacion ( circulacion ? ) que este operador descubre
al ser aplicado a un campo vectorial. Como se muestra en la Figura 5.8, la idea intuitiva es colocar un
detector de rotaci
on inmerso en el campo. En este caso es un par de aspas e imaginamos que el campo
vectorial representa un campo de velocidades de un fluido. Si el fluido hace girar las aspas en sentido horario
(tirabuz
on o sacacorchos derecho hacia arriba) diremos que el campo tiene una circulacion positiva y el rotor
del campo siempre ser
a positivo en esa region. Si es inversa, diremos que el campo tiene una circulaci
on
negativa y el rotor tambien lo ser
a en esa region. Finalmente, si el par de aspas no rota, el campo tendr
a una
circulaci
on nula o no tendr
a circulaci
on y su rotor sera tambien nulo en esa region.
Para concretar esta intuici
on de forma matematica, procedemos de la siguiente forma. Suponga una
circunferencia con radio r = 2, la cual viene descrita parametricamente por el radio vector
~r (t) = 2 cos t + 2 sin t
d ~r = 2 ( sen + cos
) d
y nos planteamos hacer circular el campo a lo largo de la esa trayectoria. Esto es realizar la siguiente
integral
I
Z 2
= ~a d ~r =
z ( sen + cos
) 2 ( sen + cos
) d = 4z
0
Hern
andez & N
un
ez
245
M
atica (Vol 1)
BORRADOR PRELIMINAR
Figura 5.8: Idea sobre el significado fsico del rotor
) esta representado en la Figura 5.7. Hemos utilizado el smbolo

HEl campo vectorial ~a = z ( sen + cos
para denotar la integral de lnea en un circuito cerrado. Es la primera idea de integrales de campos
vectoriales que veremos con m
as detalles en las seccion 5.10.1. Uno hace el producto escalar ~a d ~r y luego
integra.
Es interesante comparar este resultado con el flujo del campo de rotores a traves de la superficie que
delimita la circunferencia de radio r = 2. Vale decir
!
ZZ
ZZ

y
z
x
~ ~a n
k
dx dy
p
k
s dS =
p
+ p
x2 + y 2
x2 + y 2
x2 + y 2
ZZ
ZZ
Z 2
Z 2
ZZ

dx dy
dr rd
~ ~a n
p
s dS = z
=z
dr
d = 4z
=z
r
x2 + y 2
0
0
Esta coincidencia no es tal, corresponde a otro Teorema Integral para campos vectoriales, el Teorema de
Stokes (ver secci
on 5.11.2 en la p
agina 261) mediante el cual se convierte una integral cerrada de lnea de
un campo vectorial en el flujo del campo de rotores. Este teorema lo estudiaremos con detalle en la secci
on
5.11.2
La idea de circulaci
on se puede generalizar a un campo vectorial generico,
~a = ax (x, y, z)+ay (x, y, z)

+ax (x, y, z) k
con lo cual la integral de lnea cerrada, a lo largo de una circunferencia de radio, r, en el plano x, y ser
a
I
Z 2 n
o
(r sen + r cos
= ~a d ~r =
ax (x, y, z)+ay (x, y, z)
+ax (x, y, z) k
) d
0
y suponiendo r 1 podemos desarrollar por Taylor las componentes del campo vectorial en al plano x, y
Hern
andez & N
un
ez
246
M
atica (Vol 1)
BORRADOR PRELIMINAR
alrededor del origen de coordenadas rx,y 0. Esto es

ax
x
+ = ax |r=0 + r cos
ax (x, y, 0) = ax |r=0 + x a
+
y
x r=0
y
ax
x r=0
r=0
ay
x
ay (x, y, 0) = ay |r=0 + x
+y
r=0
ay
y
r=0
+ = ay |r=0 + r cos
ay
x
+ r sen
+ r sen
r=0
ax
y
+
r=0
ay
y
+
r=0
Por lo tanto, la integral de lnea nos queda como

I
Z 2
ax
ax
ax |r=0 + r cos
= ~a d ~r =
+ r sin
r sin d+
x r=0
y r=0
0

Z 2
ay
ay
+
ay |r=0 + r cos
+
r
sin
r cos d
x r=0
y r=0
0
con los cual

ax
ay
= ~a d ~r = r
+ O r3

x r=0
y r=0
Finalmente vemos que la componente del rotor en el origen del plano x, y es igual al lmite de la circulaci
on
a lo largo de una curva cerrada, dividida entre el area de la superficie que encierra la curva cerrada.

ay
ax
= lm 2

r0
x
y
r
I
r=0
r=0
Rotores y velocidades angulares

Considere un cuerpo rgido que gira alrededor de un eje con velocidad angular
~ . Entonces la velocidad
tangencial de un punto P, con una posici
on ~r medida a un origen O situado en ese eje, siempre es
(x y y x)
~v =
~ ~r = (y z z y) +
(z x x z) + k
y su rotor ser
a

~
~v = (y vz z vy ) + (z vx x vz )
+ (x vy y vx ) k x
vx
y
vy
k
z
vz
es decir, por ser un cuerpo rgido la velocidad angular

~ es independiente de ~r; o lo que es lo mismo, todo
el cuerpo rgido tiene la misma velocidad angular. Con ello tendremos que

j
i j
~v = ijk j vk |ei i = ijk j klm l rm |ei i = li m
m
l j l rm |ei i

j
i j
~v = li m
m
l l jm |ei i = 3 i i |ei i = 2 i |ei i = 2~
sin ndices hubiera sido

~ ~v = (y vz z vy ) = y (x y y x) z (z x x z) = 2x
~ ~v

y
~ ~v

z
Hern
andez & N
un
ez
= (z vx x vz ) = z (y z z y) x (x y y x) = 2y
= (x vy y vx ) = x (z x x z) y (y z z y) = 2z
247
M
atica (Vol 1)
BORRADOR PRELIMINAR
Otra vez, el rotor de una campo de velocidades de un cuerpo (que rota) detecta su velocidad angular.
Rotores y coordenadas curvilneas
Una vez m
as recurrimos a una definici
on para el rotor independiente del sistemas de coordenada
ZZ
ZZ
~ ~a = rot [~a] = lm 1
~ ~a = lm 1
dS
n
s ~a dS
V 0 V
V 0 V
y del mismo modo que calculamos el flujo a traves de las distintas capas de un volumen podremos (no lo
haremos y se lo dejaremos al lector) demostrar que

"
#

h1 |
e1 i h2 |
e2 i h3 |
e3 i

h
a
1
k
k
~ ~a = rot [~a] = 1

|
ei i =
ijk
1
q2
q3

hj hk
qj
h1 h2 h3 q
h1 a1
h2 a2
h3 a3
donde los ndices repetidos i, j, k indican suma; j y k no indican suma sino que replican los valores de los
ndices j, k.
Explcitamente

|
e1 i (h3 a3 ) (h2 a2 )
|
e2 i (h1 a1 ) (h3 a3 )
~
~a = rot [~a] =
+
h2 h3
q2
q3
h1 h3
q3
q1

|
e3 i (h2 a2 ) (h1 a1 )
+
h1 h2
q1
q2
5.9.4.
~
Formulario del Operador nabla,
~ en las f
El operador nabla, ,
ormulas anteriores act
ua como un operador lineal. Esto es, dadas (~r) , (~r) , (~r)
~
funciones escalares de variable vectorial y ~a y b dos campos vectoriales cuales quiera, se puede generar el
siguiente formulario, el cual deber
a ser demostrado por el lector
~ ( + ) =
~ +
~ () =
~ +
~ +
~

~ ~a + ~b =
~ ~a +
~ ~b +
~ ~b

~ ~a + ~b =
~ ~a +
~ ~b =
~ ~a +
~ ~b +
~ ~b
y tambien si consideramos las cantidades ~a ~b y ~a ~b tendremos

~ ~a ~b = i aj bj |ei i =
~ ~a ~b +
~ ~b ~a

~ ~a ~b = i ijk aj bk = ijk i aj bk + ijk i bk aj =
~ ~a ~b ~a
~ ~b

~ ~a ~b = ~b
~ ~a ~b
~ ~a + ~a
~ ~b ~a
~ ~b
Hern
andez & N
un
ez
248
M
atica (Vol 1)
BORRADOR PRELIMINAR
es claro que

~ ~b 6= ~b
~ ~a
~a

aj i bi =
6 bi i aj
por cuanto en las partes izquierda las derivadas act

uan sobre las componentes de ~b, mientras que en las
partes derechas es sobre las componentes de ~a.
Otros casos importantes se presentan cuando los campos escalares y/o vectoriales son a su vez funciones
de un campo escalar. Es decir, funciones compuestas. Esto es
= ( (~r))
y ~a = ~a ( (~r)) .
En este caso, tendremos

~ ( (~r)) = d ;
~
~ ~a ( (~r)) =
~ d ~a ;
d ~a
~ ~a ( (~r)) =
~
~ ~a ( (~r)) =
~ d ~a , utilizamos la estrategia de Taylor y expandimos el
Para demostrar, por ejemplo,
d
campo vectorial alrededor de un determinado punto, digamos ~r = ~r0 arbitrario. Esto es

d ~a
1 d2 ~a
2
~a = ~a (~r0 ) +
( (~r) (~r0 )) +
( (~r) (~r0 )) +
d ~r0
2 d2 M
aplicando la divergencia a ambos miembros queda como
#
"

2

1~
d ~a
d
~
a
2
~
~
~

( (~r) (~r0 )) +
( (~r) (~r0 )) +
~a = [~a (~r0 )] +
d ~r0
2
d2 M
con lo cual

d ~a
~
~a =
d
~
r0

3
1
a
d2 ~a
2 d ~
~
~ (~r) +
~
(~r) + ( (~r) (~r0 ))

(~r) + ( (~r) (~r0 ))
d2 ~r0
2
d3 ~r0
esta relaci
on vale para todo ~r, en particular para ~r = ~r0 . Con lo cual

d ~a

~ (~r0 )
~ ~a = d ~a
~ (~r)
~

=
~a =

d ~r0
d
~
r0
ya que ~r0 es arbitrario, con lo cual queda demostrado.
Hern
andez & N
un
ez
249
M
atica (Vol 1)
5.9.5.
BORRADOR PRELIMINAR
Nabla dos veces y el Laplaciano
Formulario de Nabla dos veces

~ como un operador surge la pregunta de su aplicacion repetida sobre distintos
Considerando a Nabla, ,
objetos. Consideremos primero las siguientes expresiones en coordenadas cartesianas. Esto es
~
~ =
~ 2 = = i i
~
~ = ijk j k |ei i = 0

~
~ ~a = i j aj |ei i = j i aj |ei i

~
~ ~a =
~
~ ~a = 0

~
~ ~a = ijk j klm l am |ei i = i j i j j l am |ei i = i j aj |ei i j j ai |ei i
l m
m l

~
~ ~a =
~
~ ~a ~a
Laplaciano y campos escalares

M
as all
a de la gimnasia de ndices para determinar la expresion de la relacion vectorial, quiza la m
as
importante de las aplicaciones es el Laplaciano, el cual en <3 y en coordenadas cartesianas puede expresarse
como:
~
~ =
~ 2 = = i i = xx + yy + zz
La importancia el Laplaciano reside en que la mayor parte (casi todas) las ecuaciones de la fsica matem
atica
son ecuaciones diferenciales (ordinarias y parciales) de segundo orden y el Laplaciano las genera en el espacio.
Adicionalmente la soluci
on a la ecuaci
on armonica
= i i = xx + yy + zz = 0
es de importancias en varias
areas de la fsica.
Se puede demostrar f
acilmente que el Laplaciano cumple con
( + C) = + C;
~
~
() = + + 2
considerando las expresiones para el gradiente y la divergencia en coordenadas curvilneas

1
1
= 1 |
e1 i +
|
e2 i +
|
e3 i
h1 q 1
h2 q 2
h3 q 3
y
~a =
1
h1 h2 h3

!
a
1 q 1 , q 2 , q 3 h2 h3
a
2 q 1 , q 2 , q 3 h3 h1
a
3 q 1 , q 2 , q 3 h1 h2
+
+
q 1
q 2
q 3
respectivamente, es f
acil llegar a la expresion para el Laplaciano en coordenadas curvilneas

1
h2 h3
h1 h3
h2 h1
2
=
+
+
h1 h2 h3 q 1
h1 q 1
q2
h2 q 2
q3
h3 q 3
Hern
andez & N
un
ez
250
M
atica (Vol 1)
BORRADOR PRELIMINAR
Laplaciano y campos vectoriales

Inspirado en la forma que toma un campo vectorial en coordenadas cartesianas, definiremos el Laplaciano
de un campo vectorial como la relaci
on

~a
a
~a =
~
Desarrollando esta expresi
on en coordenadas cartesianas tendremos que

~a = i j aj i j aj j j ai |ei i
= ~a = j j ai |ei i ai |ei i
Es decir, que el Laplaciano de un campo vectorial, expresado en coordenadas cartesianas, es igual al
vector cuyas componentes sonlos Laplacianos de las componentes del campo original. Es importante resaltar
i
que la expresi
on ~a = a
|ei i se cumple
nicamente
en coordenadas cartesianas pero la definicion que
u

~a
a , es una ecuacion vectorial y es, por lo tanto, valida en

~
hemos propuesto, ~a =
cualquier sistema de coordenadas.
El Laplaciano de campos vectoriales no lleva construir un formulario de relaciones facilmente demostrables

a
~a ;
( ~a) = ~
() ;
( ~a) =
5.9.6.
Derivadas Direccionales de Campos Vectoriales
El concepto
Formalmente y como siempre la misma idea de derivada como cociente incremental. Dados dos puntos
P1 y P2 y un vector u
que los une (va de P1 P2 ), entonces por definicion
d ~a
~a (P2 ) ~a (P1 )
D|ui |ai
= lm
P2 P1
du
P2 P1

=
d ~a
du
i

=
d ai
du

= lm
P2 P1
ai (P2 ) ai (P1 )
P2 P1
por consiguiente, si ~a,tiene por componentes cartesianas (en general

cualquier sistema
de coordenadas orto

d ax d ay d az
gonales) (ax , ay , az ) las componentes del vector derivado seran du , du , du . De modo que inspirados
en la derivada direccional de un campo escalar que presentamos en la seccion 5.9.1, podemos construir la
expresi
on para la derivada direccional de cada una de las componentes del vector ddu~a . Esto es

d
d ai
~ u
~ i = uj j ai = D|ui |ai d ~a = u
~ ~a
= D|ui =
= ui i =
=u
a
du
du
du
Otra vez, en coordenadas cartesianas se tiene que

~ ~a = ui i aj |ej i
D|ui~a = u
= D|ui ()
d () ~
= u
() ui i ()
du
Un ejemplo: el campo de aceleraciones de un fluido

El ejemplo m
as est
andar es la descripcion del campo de aceleraciones de un fluido en movimiento. El
campo de aceleraciones de un fluido, como de costumbre, es la variacion del campo de velocidades respecto
al tiempo. Esto es ~a = ddt~v . Para escribir la expresion de este campo de aceleraciones, supongamos que un
fluido se mueve y registra un campo de velocidades ~v = ~v (~r, t) el cual, en general, sera inhomogeneo y no
estacionario. Identificamos una porci
on del fluido (partcula) cualquiera y observamos que en un intervalo
Hern
andez & N
un
ez
251
M
atica (Vol 1)
BORRADOR PRELIMINAR
Figura 5.9: Contribuciones a la variacion de la velocidad en un fluido
de tiempo dt esa porci

on identificada se mueve de P1 P2 y registra un incremento en su velocidad de ~v
en P1 a ~v + d~v en P2 :
~v (P1 ) ~v (~r, t)
y
~v (P2 ) ~v (~r + d~r, t + dt)
Tal y como ejemplificamos en la Figura 5.9, este incremento proviene de dos contribuciones. Una, llamada
local, debido a el cambio en la variable temporal y otra, por la comparacion del vector velocidad, ~v , en dos
posiciones (traslaci
on espacial o contribucion convectiva).
d ~vt =
~v
dt
t
d ~v~u =
d ~v
du
du
Visto de otro modo un poco m

as informal, dado que el campo es funcion de dos variables y una de ellas
vectorial
d ~v
d ~v ~v
~v = ~v (~r, t)
~a =
=
+
dt
dr
t
d ~
v
De la discusi
on anterior es claro que du es la derivada direccional del campo de velocidades a lo largo
del vector unitario u
que apunta P1 P2 Ahora bien, para este caso tenemos que:
du = kd ~rk ,
du = k~v k dt
u
=
~v
k~v k
con lo cual la derivada direccional nos queda como

d ~v
1 ~
=
~v ~v
du
k~v k
finalmente la aceleraci
on nos queda expresada como
d ~v
1 ~
~v
~a =
=
~v ~v +
dt
k~v k
t
ai =
1 ~ i v i
~v v +
k~v k
t
donde hemos representado las componentes cartesianas de los vectores velocidad y aceleracion como v i y ai ,
respectivamente.
Es importante hacer una reflexi
on un poco mas fsica de las contribuciones. La contribucion local proviene
de la variaci
on del vector (por la dependencia temporal) alrededor del punto, sin importar la direccion que
sigue al partcula y la contribuci
on convectiva proviene de la inhomogeneidad del campo de velocidades. Esto
es de la variaci
on del campo de velocidades seg
un la direccion que siga la partcula.
Hern
andez & N
un
ez
252
M
atica (Vol 1)
BORRADOR PRELIMINAR
5.10.
Integrales y Campos Vectoriales
5.10.1.
Resumiendo lo visto
Integrales de Campos
Despues de haber diferenciado campos escalares y vectoriales, el siguiente paso es integrarlos. El primer
caso de este tipo integrales es el trivial que siempre hemos utilizado:
Z

Z
Z
Z
Z
~ (u) d u = Vx (u) d u +
Vz (u) d u =
V i (u) d u |ei i
V
Vy (u) d u + k
As integramos la aceleraci
on de un movimiento parabolico
Z
Z
d ~v
= ~v = ~a dt = k
g dt = kgt
+ ~v0 = kgt
+ v0x +
0z
= ~a = g k
v0y + kv
dt
Ahora bien, existen sutilezas en este caso que debemos tener en cuenta. Por ejemplo considere la integral

Z

Z

Z
d2 ~a
d
d ~a
d ~a d ~a
d
d ~a
d ~a
= dt
~a
= dt
~a
= ~a
dt ~a
+ ~c
dt2
dt
dt
dt
dt
dt
dt
dt
Pero en general los casos quedan resueltos integrando componente a componente con la ayuda de la notaci
on
de ndices
Z

Z

dt ~a ~b =
dt ijk aj bk |ei i
Quiz
a uno de los problemas que ilustra mejor esta situacion es el movimiento bajo fuerzas centrales. La Ley
de Gravitaci
on de Newton nos dice que
X
F = m ~a = m
M
d ~v
=mG 2 u
r
dt
rmM
d ~v
M
=G 2 u
r
dt
rmM
Es costumbre definir la velocidad aerolar, ~vA , como el area barrida por el radio vector posicion, ~r (t) que
describe la trayectoria de la partcula

d (r u
r )
dr
du
r
du
r
du
r
d ~r
=ru
r
=ru
r
u
r + r
=ru
r r
= r2 u
r
2~vA = ~r
dt
dt
dt
dt
dt
dt
N
otese que si ~c es un vector constante

d
du
r
du
r
u
r
= 0 = u
r
= ~c
dt
dt
dt
= 2~vA = r2 u
r
du
r
= const
dt
con lo cual
d
d ~v
M
MG
(~v ~vA ) =
~vA = G 2 u
r ~vA =
dt
dt
rmM
2
d
MG
(~v ~vA ) =
dt
2

du
r
u
r u
r
dt

du
r
du
r
MG d u
r
u
r
u
r (
ur u
r )
=
dt
dt
2 dt
integrando
~v ~vA =
Hern
andez & N
un
ez
MG
u
r + p~
2
253
M
atica (Vol 1)
BORRADOR PRELIMINAR
Figura 5.10: Trayectorias de integracion y campos vectoriales
donde p~ es un vector arbitrario de constante de integracion. Finalmente nos damos cuenta que

MG
MG
~r (~v ~vA ) = r u
r
u
r + p~ =
r + rp cos
2
2
2
~r (~v ~vA ) = ijk ri vj vAk ~vA (~r ~v ) = ~vA ~vA = vA
y entonces
2
vA
MG
r + rp cos
=
2
= r =
MG
2
2
vA
+ p cos
1+
2
2vA
MG
2p
M G cos
que constituye la ecuaci

on de una c
onica.
Integrales de lnea
Ahora nos detendremos con m
as cuidado en integrales que tambien ya hemos utilizado, pero muy r
apidamente. As tendremos por delante algunos objetos del siguiente tenor:
Z
Z
Z
~ d ~r
~ d ~r
V
d ~r,
V
y
C
Este tipo de objetos se conoce como integrales de lnea y requieren la especificacion de la curva, C, (la
trayectoria) a lo largo de la cual se lleva la integracion. Es clara la importancia de esa trayectoria para la
integraci
on de los campos por cuanto encontraran expresiones del campo vectorial que puebla la regi
on a
traves de la cual se integra. Esas trayectorias seran abiertas o cerradas dependiendo de la curva que se siga
en el proceso de integraci
on.
As para integrar un campo escalar = (~r) en coordenadas cartesianas, tendremos que
Z
Z

(x, y, z) d ~r =
(x, y, z) d x +d y
+d z k
C
Z
=
C
Hern
andez & N
un
ez
Z
Z
(x, y (x) , z (x)) d x +
(x (y) , y, z (y)) d y + k
(x (z) , y (z) , z) d z
C
254
M
atica (Vol 1)
BORRADOR PRELIMINAR
tal y como indicamos arriba, las tres integrales se podran realizar si conocemos, en cada caso, la expresi
on
del integrando en termino de la variable de integracion. Esa es la razon por la cual hay que especificar la
curva C que define la trayectoria de integracion. Esta define esa funcionalidad.
Integrales de Superficie
Otros objetos que ya nos hemos encontrado son las integrales de superficie y las hemos encontrado cuando
evaluamos el flujo de un campo vectorial y lo relacionamos con la divergencia. As interpretamos que objetos
ZZ
ZZ
ZZ
~
~a dS
~a n
s dS =
an dS
s
~ Es costumbre que
representaban el flujo de las lneas de campo a traves del diferencial de superficie dS.
se separen el m
odulo, dS, de la direcci
on y el sentido, n
s el cual es el vector normal (sentido positivo) a
la superficie. Otra vez, las superficies podran ser abiertas (cuando disponen de una curva que limita sus
fronteras) y cerradas cuando no. Un crculo sera una superficie abierta y una esfera cerrada. Por convenci
on
supondremos que el vector normal a una superficie cerrada tendra sentido positivo saliendo.
La utilizaci
on de integrales de superficie nos ha permitido definir, de manera invariante (independiente
del sistema de coordenadas) las expresiones para los operadores diferenciales. As hemos podido definir:
ZZ
ZZ
~ = lm 1
grad = lm 1
(x, y, z) dS
(x, y, z) n
s dS
V 0 V
V 0 V
s
s
5.11.
~a div [~a] = lm 1
V 0 V
ZZ
~ ~a rot [~a] = lm 1
V 0 V
ZZ
~ lm 1
~a dS
V 0 V
s
ZZ
~ ~a = lm 1
dS
V 0 V
1
V 0 V
ZZ
~a n
s dS = lm
s
ZZ
an dS
s
n
s ~a dS
Campos Vectoriales y Teoremas integrales
En esta secci
on presentaremos un conjunto de teoremas que relacionan las variaciones de un campo
vectorial con las fuentes que lo producen. En terminos tecnicos (matematicos) resultan fundamentales cuando
queremos convertir un tipo de integral (lnea, superficie o volumen) en otra.
El primer teorema, el Teorema de Gauss permite expresar el valor de una integral de volumen, V, encerrado por una determinada superficie, S, (cerrada) en terminos de una integral sobre esa superficie, S.
El otro teorema importante es el Teorema de Stokes, el cual permite relacionar el valor de una integral de
superficie con la integral de lnea sobre la curva que delimita esa superficie.
5.11.1.
Teorema de Gauss
Presentaci
on y demostraci
on
La primera relaci
on que presentaremos entre una integral de superficie de un campo vectorial, ~a,y una
de superficie de su derivada es el Teorema de Gauss el cual se expresa de forma vectorial como
ZZ
ZZ
Z
~
~a d V
~a d S
~a n
s dS =
Hern
andez & N
un
ez
255
M
atica (Vol 1)
BORRADOR PRELIMINAR
Figura 5.11: Teoremas de Gauss
~ n
donde ~a = ~a (x, y, z) es el campo vectorial d S
s dS es el diferencial de area y d V el diferencial de
volumen.
~a es interpretado como el flujo del campo ~a por unidad
Tal y como vimos en su oportunidad el termino
de volumen, por lo tanto el lado derecho de la ecuacion es la tasa de flujo neto que sale del volumen sobre
el cual estamos integrando.
La demostraci
on del Teorema de Gauss es como sigue. supongamos un volumen encerrado por una
superficie convexa, S, como se muestra en la Figura 5.11 en los cuadrantes I, II y III. Supongamos adem
as
que orientamos el sistema de coordenada de tal forma que una lnea paralela a uno de los ejes toca la superficie
en dos puntos (Figura 5.11, cuadrante I). De este modo podemos trazar una superficie (perpendicular a esa
lnea) tal que divida la superficie, S, en dos superficies, S1, y S2, cada una de las cuales esta bordeada por la
curva, C, (Figura 5.11, cuadrante II).
Al evaluar la integral
Z
Z
Z
ZZ
~
~
~
ax d S =
ax d S +
ax d S =
[ax (x2 , y, z) ax (x1 , y, z)] d S 0
S
S1
s0
S2
ya que las componentes x de los vectores normales a las dos superficies que contribuyen (Figura 5.11,
cuadrante III) tienen signos opuestos
~2 = d S
~1 = d S1x = d y d z = d S 0
d S2x = d S
Ahora bien, dado que
ax
ax (x2 , y, z) ax (x1 , y, z)
= lm
x2 x1
x
x2 x1
con lo cual
Z
S
Hern
andez & N
un
ez
~=
ax d S
Z Z Z
s0
x2
x1
x2
ax (x2 , y, z) ax (x1 , y, z) =
x1
ax
dx
x
Z
dydz=
ax
dx
x
ax
dV
x
256
M
atica (Vol 1)
BORRADOR PRELIMINAR
obtendremos
y equivalentemente al hacerlo en las direcciones
y k,
Z
Z
Z
Z
ay
az
~=
~=
d S
ay
d S
dV
y
dV
az k
y
S
V
S
V z
y finalmente hemos demostrado el Teorema de la divergencia o Teorema de Gauss

Z
Z
ZZ
ZZ
Z

ay
az
ax
~
~a d V
+
+
dV =
i ai d V =
~a d S
~a n
s dS =
x
y
z
V
V
s
s
V
Expresiones equivalentes para el Teorema de Gauss
Si bien la expresi
on est
andar es la que hemos presentado, existen algunas variantes que se derivan de ella.
Por ejemplo si consideramos un campo escalar, (x, y, z) , el teorema de Gauss nos conduce a
ZZ
ZZZ
ZZ
ZZZ
~ B
~ (x, y, z) d V
~ (x, y, z) d V y
~ B
~ (x, y, z) =
~=
dS
(x, y, z) d S
s
~ (x, y, z) es un campo vectorial.

donde B
Para comprobar la primera de estas dos relaciones consideramos un vector ~c constante y construimos un
campo vectorial
~a (x, y, z) = ~c (x, y, z)
ZZ
~=
~a d S
ZZZ
~a d V
ZZ
~ = ~c
(x, y, z) d S
~c
ZZZ
Z Z
0 = ~c
~
(x, y, z) d S
(x, y, z) d V
ZZZ
(x, y, z) d V
es decir, para todo vector ~c siempre se cumple que

ZZ
ZZZ
~=
(x, y, z) d V
(x, y, z) d S
Esa misma metodologa se puede aplicar para demostrar la segunda relacion si consideramos un campo
~ (x, y, z), con ~c vector constante y se procede de una manera similar.
vectorial ~a (x, y, z) = ~c B
Ley de Gauss y Campo El
ectrico
La aplicaci
on m
as emblem
atica del Teorema de Gauss lo constituyen el calculo de la divergencia del
~ y su relaci
campo electrico E
on con las distribuciones de cargas existentes. Desde siempre sabemos que el
campo electrico producido por una carga Qi viene dado por
ZZ
1 Qi
~
~i d S
~i = Qi
~ = (~r)
E
Ei (~r) =
u
ri ;
E
2
40 ri
0
0
Si
En definitiva la deducci
on de una de las ecuaciones de Maxwell. Si calculamos el flujo del campo electrico
~ (~r) atraviesan el volumen: todas entran y todas salen.
en una regi
on sin cargas todas las lneas del campo E
Sin embargo si tenemos un conjunto de cargas discretas distribuidas dentro de la region encerrada por la
Hern
andez & N
un
ez
257
M
atica (Vol 1)
BORRADOR PRELIMINAR
superficie, S, (ver Figura 5.11, cuadrante IVa) podemos encerrar cada una de las cargas con superficies
esfericas Si . Por lo tanto
ZZ
Z
ZZ
X ZZ
X ZZ
~ d S
~+
~ d S
~i =
~ dV =0
~ d S
~=
~ d S
~i
E
E
E
E
E
S
Si
Si
Con lo cual hemos definido una superficie con huecos alrededor de cada una de las cargas y llegamos a la
conclusi
on que lo que entra sale. Por su parte, el campo electrico medido cada superficie esferica interior, Si
ser
a

~0
~ = 1 Qi u
r + E
E
40 ri2 i
Si
~ 0 es el campo de todas las otras cargas presentes en e volumen encerrado por S. Es claro que este
donde E
~ 0 tiene flujo cero neto sobre cada esfera de superficie Si . Por lo tanto
campo E
P

ZZ
X Z Z 1 Qi
X 1 Qi Z Z
Qi
Q
0
~
~
~
u
ri + E n
dSi = i
Ed S =
Si dSi =
=
2
2
40 ri
40 ri
0
0
Si
S
Si
i
i
donde hemos utilizado que
Z
X ZZ
~ 0 d Vi = 0 =
E
Vi
~0 n
E
Si dSi ;
ZZ
u
ri n
Si = 1;
Si
dSi = Si = 4ri2
y
Si
Finalmente encontramos una de las Leyes de Maxwell si reescribimos la integral de superficie utilizando la
Ley de Gauss
ZZ
Z
ZZ
Z
Z
~ d S
~= Q = 1
~ d S
~=
~ dV = 1
E
E
(~r) d V
(~r) d V
0
0 V
0 V
S
S
V
con lo cual
Z
V
~ E
~ (~r)
0

dV
~ E
~ = (~r)
0
Discontinuidades y densidades superficiales de carga

Normalmente, siempre consideramos que los campos vectoriales ~a = ~a (x, y, z) son campos continuos (y,
m
as a
un, con todas sus derivadas continuas). Sin embargo, encontramos en la naturaleza situaciones en
la cuales el campo vara mucho en una distancia muy corta (infinitesimal). En estas situaciones podemos
simular esta r
apida variaci
on como una discontinuidad en el campo. Existe formas de aplicar el Teorema de
Gauss para algunas situaciones en las cuales tratamos con campos discontinuos. La manera apropiada de
tratar (derivadas e integrales de) funciones discontinuas es considerandolas no funciones sino distribuciones.
Este tipo de tratamiento est
a fuera del alcance de este formulario y sera considerado en otros cursos.
Supongamos el caso que ilustra la Figura 5.11, cuadrante IVb. Una region R delimitada por una superficie
separa dos subregiones R y R2 a traves de la
S, dentro de la cual, una superficie de discontinuidad, S,
1
cual un campo vectorial, ~a = ~a (x, y, z) , es discontinuo. Ahora bien, el campo vectorial es continuo en las
subregiones, por lo cual el flujo del campo atraviesa las superficies S1 y S que delimitan el volumen V1 de la
regi
on R1 . Entonces el Teorema de Gauss para cada region queda expresado como
Z
ZZ
ZZ
Z
ZZ
ZZ
~
~a d V =
~a d S +
~a+ n
S dS
y
~a d V =
~a d S
~a n
S dS
V1
Hern
andez & N
un
ez
S1
V2
S2
258
M
atica (Vol 1)
BORRADOR PRELIMINAR
Figura 5.12: Discontinuidad del Vector Desplazamiento
separacion de las dos regiones. Adicionalmente hemos

donde n
S es el vector normal a al superficie, S,de
denotado, ~a+ y ~a el campo ~a evaluado del lado de R1 y R2 , respectivamente. Si ahora consideramos el
teorema de Gauss en toda la regi
on
Z
Z
Z
~a d V
~a d V
~a d V +
V1 +V2
V1
V2
Claramente si el campo es continuo dentro de la region R entonces nos queda la formulacion estandar del
Teorema de Gauss,
Z
ZZ
~
~a d V =
~a d S
V1 +V2
por el contrario si el campo es discontinuo, entonces debe tomarse en cuenta la discontinuidad del campo y
la relaci
on que surge de sumar el flujo a traves de las dos regiones es
Z
ZZ
ZZ
~
~a d V =
~a d S
(~a2 ~a1 ) n
S dS
V1 +V2
con n
S el vector unitario, normal a la superficie S y que apunta de R1 R2 . Es claro que la discontinuidad
que cuenta es la de la componente del campo perpendicular a la superficie (ver Figura 5.12).
Este tipo de discontinuidad en campos irrotacionales es generada por la presencia de fuentes las cuales,
en este caso son densidades superficiales de carga. Quiza el ejemplo tpico para la aplicacion de las anteriores
consideraciones es la aplicaci
on de las ecuaciones de Maxwell en el caso del vector desplazamiento electrico
~ traves de una superficie, S,
que separa dos medios. Este caso se ilustra en la Figura 5.11, cuadrante
D,a
IVc y en la Figura 5.12, s
olo que en este u
ltimo caso el vector normal esta definido a la inversa: la regi
on 2
corresponde a la regi
on 1 de la Figura 5.11, cuadrante IVc. La ecuacion de Maxwell correspondiente ser
a
~ = (~r)
E
0
~ = (~r)
D

~2 D
~1 n
D
S =
~ = 0 E
~
con D
donde n
S es el vector normal a la superficie (ver Figura 5.11, cuadrante IVc) y es la densidad superficial de
carga en la superficie, S. Para comprobar esta relacion construimos un volumen cilndrico infinitesimal que
encierra la superficie de discontinuidad, de tal forma que S2 corresponde con la tapa del cilindro y S1
con su base (Figura 5.11 cuadrante IVc). Adicionalmente, como l 0 no solo podremos trabajar sin las
Hern
andez & N
un
ez
259
M
atica (Vol 1)
BORRADOR PRELIMINAR
integrales, el flujo a traves de las paredes del cilindro sera despreciable y S2 S1 , sino que adem
as, al
en el cuadrante
encerrar la discontinuidad no tomamos en cuenta la contribucion de la superficie S3 (o S,
IVb de la Figura 5.11). As

~ dV =D
~ 2 S
~2 D
~ 1 S
~1
~2 D
~1 n
D
(~r) (S2 l) = D
S2 S2
con lo cual

~2 D
~1 n
(~r) l = D
S2
Teoremas de Green
Cuando consideramos campos vectoriales muy particulares el Teorema de Gauss nos lleva a un par de
identidades vectoriales conocidas como las Identidades o Teoremas de Green
Supongamos que tenemos dos campos escalares: (x, y, z) y (x, y, z) entonces y con ellos construimos
un campo vectorial
ZZ
ZZZ
~=
(x, y, z)
~a d V
~a (x, y, z) = (x, y, z)
~a d S
ZZ
ZZZ

~=
(x, y, z) d S
(x, y, z)
(x, y, z) d V
(x, y, z)
con lo cual arribamos a primera identidad de Green, Primer Teorema de Green o, Teorema escalar de Green:
ZZ
ZZZ h

i

~

(x, y, z) +
(x, y, z)
(x, y, z) d V
(x, y, z) (x, y, z) d S =
(x, y, z)
s
Si ahora, consideramos los siguientes campos vectoriales

(x, y, z)
(x, y, z) =
(x, y, z)
(x, y, z) + (x, y, z)

(x, y, z)
y

(x, y, z)
(x, y, z) =
(x, y, z)
(x, y, z) + (x, y, z)

(x, y, z)
restando ambas expresiones tendremos que

n
o
(x, y, z)
(x, y, z) (x, y, z)
(x, y, z) =

(x, y, z) (x, y, z)

(x, y, z)
(x, y, z)
y al integrar sobre un volumen V tendremos la formulacion del Teorema de simetrico de Green, la segunda
identidad (o teorema) de Green o el Teorema
ZZZ n
o

(x, y, z) (x, y, z)

(x, y, z) d V =
(x, y, z)
V
ZZ n
o
~
(x, y, z) (x, y, z)
(x, y, z) d S
(x, y, z)
s
La utilidad de estas relaciones las veremos en el desarrollo de la Teora de Potencial en la seccion 5.12.1
en la p
agina 264
Hern
andez & N
un
ez
260
M
atica (Vol 1)
BORRADOR PRELIMINAR
Figura 5.13: Teorema de Stokes
5.11.2.
Teorema de Stokes
Presentaci
on y demostraci
on
El teorema de Stokes relaciona una integral de lnea escalar de un campo vectorial, ~a = ~a (x, y, z) , a
lo largo de una curva cerrada, C, con una integral del rotor del campo sobre la superficie encerrada por la
curva, C. Es decir
I
ZZ
ZZ

~ ~a d S
~
~ ~a n
~a d ~r =
S dS
S
Tal y como hemos mencionado antes la superficie la define su vector normal, y este lo define el sentido de
circulaci
on de la curva que bordea la superficie (ver Figura 5.13 cuadrantes I y III).
No haremos una demostraci
on formal del Teorema de Stokes como lo hicimos para el Gauss. Nos convenceremos de que es correcta la relaci
on a partir de algunas situaciones sencillas. Cualquier superficie la
podremos dividir en peque
nas cuadrculas diferenciales, las cuales sumadas constituyen la superficie (ver
Figura 5.13 cuadrante II). Es f
acil convencerse que la circulacion5 por le borde de una cuadrcula diferencial
(por ejemplo en el plano x, y) nos lleva a
I
Z
Z
Z
Z
1234 =
~a d ~r = ax (x, y) d x + ay (x, y) d y + ax (x, y) (d x) + ay (x, y) (d y)
1234
donde hemos denotado la trayectoria a lo largo del permetro de la cuadrcula por 1234 De la Figura 5.14
podemos intuir
Z
Z
Z
Z
1234 = ax (x0 , y0 ) d x + ay (x0 + d x, y0 ) d y + ax (x0 , y0 + d y) (d x) + ay (x0 , y0 ) (d y)
5 Pueden
consultar otro ejemplo de circulaci

on en la secci
on 5.9.3
Hern
andez & N
un
ez
261
M
atica (Vol 1)
BORRADOR PRELIMINAR
Figura 5.14: Circulacion en una cuadrcula del plano x, y
y de all el desarrollo por Taylor que nos conduce a

#
#

Z "
Z
Z "
ax
ay
dx dy
ax (x0 , y0 ) +
dy dx
1234 = ax (x0 , y0 ) d x +
ay (x0 , y0 ) +
x x=x0
y y=y0
Z
+ ay (x0 , y0 ) d y
Z
1234 =
!

ZZ
ZZ

ay
ax
~ ~a d Sz
~ ~a d S
~
d
xd
y
=
x x=x0
y y=y0
z
S
S
pero esto vale para todos los puntos (x0 , y0 ) y se puede aplicar para las otras superficies con lo cual es f
acil
convercerse que esta tecnica se puede utilizar para cada cuadrcula en las cuales hemos dividido la superficie
(ver Figura 5.13 cuadrante II). M
as a
un las circulaciones a lo largo de los permetros de las cuadrculas
interiores se anulan (ver Figura 5.13 cuadrante III) y solo sobrevive la circulacion a lo largo del permetro
exterior de la superficie. Con ello
I
ZZ

X
X
~ ~a d S
~
~ ~a d S
~
~a d ~r
~a d ~r =
cuadricula
Expresiones equivalentes para el Teorema de Stokes

Del mismo modo que hicimos en la seccion 5.11.1 con el Teorema de Gauss, podemos hacerlo para el
Teorema de Stokes y tendremos
I
ZZ
I
ZZ

~
~
~
~
~ B
~ (x, y, z)
(x, y, z) d ~r =
d S (x, y, z) y
d ~r B (x, y, z) =
dS
S
~ (x, y, z) un campo vectorial. Otra vez, la metodologa para proceder a

donde (x, y, z) es un campo escalar y B
la demostraci
on se fundamenta en considerar un par de campos vectoriales de la forma ~a (x, y, z) = (x, y, z) ~c
~ (x, y, z) y desarrollar un algebra vectorial mnima.
y ~b (x, y, z) = ~c B
Hern
andez & N
un
ez
262
M
atica (Vol 1)
BORRADOR PRELIMINAR
Teorema de Stokes y Fuerzas Conservativas

El teorema de Stokes nos permite identificas que campos vectoriales irrotacionales generan integrales de
lnea las cuales son independientes de la trayectoria. Esto es
ZZ
I

~
~
~
~
F (x, y, z) = 0
~a d S = ~a d ~r = 0
S
con lo cual, lo que se est

a implicando es que toda trayectoria cerrada de puede fraccionar en dos trayectorias
abiertas que se unen en los extremos, entonces
I
Z
Z
Z P2
Z P2
~a d ~r = 0 =
~a d ~r +
~a d ~r
~a d ~r
~a d ~r
C1
C2
P1
curva C1
P1
curva C2
y lo que nos dice es que vamos de un punto (de corte de la curva cerrada) P1 a otro punto P2 por dos
trayectorias distintas y la integral de lnea es la misma. Mas adelante veremos que a los campos vectoriales
irrotacionales les est
a asociado un potencial tal que
~ F~ (x, y, z) = 0 F~ (x, y, z)
~ (x, y, z)
Teorema de Stokes y discontinuidades del campo vectorial

Al igual que el Teorema de Gauss puede ser considerado para manejar funciones discontinuas, el Teorema
de Stokes tambien tiene una expresi
on cuando se consideran campos discontinuos (continuo a trozos o
continuos por segmentos)
Al igual que en el caso de Teorema de Gauss, consideremos el caso mas simple el de un campo vectorial
~a (x, y, z) que es discontinuo sobre una superficie, S ,que divide R en dos subregiones R1 y R2 (ver otra vez
5.11, cuadrante IVb). En este caso la superficie S, sera abierta y estara delimitada por una curva C2 . La
intersecci
on de las superficies S y S ser
a una curva C,la
cual dividira a S en dos superficies S1 y S2 (ver
Figura 5.13 cuadrante IV). Entonces, aplicando el Teorema de Stokes a la curva cerrada. Entonces
I
Z P2
Z P1
ZZ

~ ~a d S
~
~a d ~r =
~a d ~r +
~a d ~r =
P1
curva C1
C1 +C
P2
curva C
S1
y
I
P1
~a d ~r =
Z
~a d ~r +
P2
curva C2
C2 +C
P2
ZZ
~a d ~r =
P1
curva C
S2
P1
Z
~a d ~r +
P2
en S1
curva C
la cual puede ser reescrita como

I
ZZ
Z

~ ~a d S
~
~a d ~r =

~ ~a d S
~
S2
Ahora bien si las sumamos obtendremos

ZZ
ZZ
I

~ ~a d S
~+
~ ~a d S
~=
~a d ~r +
S1
P2
~a d ~r
P1
en S2
curva C
P2
P1
curva C

~a|S2 ~a|S1 d ~r
donde hemos denotado ~a|S2 como el campo vectorial evaluado sobre la curva C del lado de las superficie
S2 . Es importante se
nalar que el termino que incorpora la contribucion de la discontinuidad del campo
s
olo encierra componentes tangenciales a la superficie. Esto es claro del producto escalar con el vector, d ~r,
tangente a la curva C (y tambien a la superficie S).
Hern
andez & N
un
ez
263
M
atica (Vol 1)
5.12.
Teora de Potencial
5.12.1.
Potenciales escalares
BORRADOR PRELIMINAR
Si un campo vectorial F~ (x, y, z) en una determinada region R puede asociarse con un gradiente de un
potencial tendremos que
I
~ (x, y, z)
~ F~ (x, y, z) = 0
F~ (x, y, z) =
F~ (x, y, z) d ~r = 0
La ventaja que un campo derive de un potencial es, por un la lado la simplicidad y la cantidad de informaci
on
que sobre el campo teneos: describimos la interaccion por una funcion y no con tres (las componentes del
campo) y sabremos que el campo es irrotacional y conservativo. Pero ademas la funcion que describe el
campo es escalar, con lo cual es independiente del sistema de coordenadas.
Cualquiera de las afirmaciones implica las otras dos, con o cual podremos elegir cualquier de ellas para
demostrar las otras dos. Veamos:
un campo que derive de un potencial es conservativo e irrotacional

~
~ (x, y, z) = 0

~ (x, y, z)
F~ =
H
H ~
(x, y, z) d ~r = d = (x0 , y0 , z0 ) (x0 , y0 , z0 ) = 0
donde hemos utilizado la definici
on de diferencial total
(x, y, z)
(x, y, z)
(x, y, z)
~ (x, y, z) d ~r
d =
dx +
dy +
dz =
x
y
z
un campo conservativo es irrotacional y deriva de un potencial.
RP
Un campo conservativo implica que el trabajo ( P12 F~ (x, y, z) d ~r) es independiente de la trayectoria
entre P1 y P2 . Por eso llamamos a la fuerza conservativa por cuanto se conserva la energa y por lo
tanto, esta depende u
nicamente de la posicion
Z P2
I
F~ (x, y, z) d ~r = (x2 , y2 , z2 ) (x1 , y1 , z1 )
F~ (x, y, z) d ~r = 0
P1
~ (x, y, z) d ~r
F~ (x, y, z) d ~r = d =
~ (x, y, z)
F~ (x, y, z) =
con lo cual hemos demostrado que el campo vectorial deriva de un potencial. El signo menos () es una
convenci
on tradicional del oficio de Fsico y proviene de nuestra intuicion de flujo de los acontecimientos:
El agua siempre fluye hacia abajo.
Ahora bien, utilizando el Teorema de Stokes tendremos:
I
ZZ

~
~
~
~ F~ d S
~=0
~ F~ (x, y, z) = 0
F (x, y, z) = (x, y, z) F d ~r =
S2
es f
acil demostrar que el campo tambien es irrotacional.
un campo de fuerzas irrotacional implica que el campo deriva de un potencial y que el campo es
conservativo.
Otra vez, por el Teorema de Stokes si es irrotacional es conservativo,
ZZ
I

~ F~ (x, y, z) = 0
~ F~ d S
~ = F~ d ~r = 0
S2
Hern
andez & N
un
ez
264
M
atica (Vol 1)
BORRADOR PRELIMINAR
y si es conservativo deriva de un potencial

~ (x, y, z) d ~r
F~ (x, y, z) d ~r = d =
~ (x, y, z)
F~ (x, y, z) =
En definitiva, si cualquiera de las condiciones se cumple: conservativo, irrotacional o potencial, las otras
tambien se cumplir
an.
5.12.2.
Potenciales vectoriales y calibres
Al igual que derivamos un campo vectorial F~ a partir de un potencial escalar (x, y, z) y asociamos
~ F~ (x, y, z) = 0, podemos pensar que un campo sin
su existencia a su condici
on de irrotacionalidad,
divergencia (solenoidal o transverso) conlleva a la existencia de un potencial vectorial. Esto es
~ F~ (x, y, z) = 0
~ A
~ (x, y, z)
F~ (x, y, z) =
Claramente

~ F~ (x, y, z) = i F i = i ijk j Ak = 0
~=A
~ (x, y, z) se conoce con el nombre de potencial vectorial del campo F~ . Ahora bien,
El campo vectorial A
el campo solenoidal, F~ , no queda unvocamente determinado a partir de su potencial vectorial. Existe una
arbitrariedad de un campo escalar, llamado de calibre, = (x, y, z) (gauge en ingles) de forma tal que

~0 = A
~ +
~ (x, y, z) F~ =
~ A
~0 =
~ A
~ +
~
~ A
~+
~
~
~ A
~
A
=
=
~0 y A
~ generan el mismo campo vectorial F~ . Esta arbitrariedad
de forma que varios potenciales vectoriales A
nos permite particularizar el calibre seg
un nos convenga. Existen varios calibres en el mercado, los cuales
son utilizados seg
un el problema fsico al cual tratemos. Entre ellos podemos mencionar un par de ellos:
El calibre de Lorentz :
Esta selecci
on proviene de requerir que el campo de calibre satisfaga la ecuacion una ecuacion de onda
2
~ 2 (x, y, z, t) a (x, y, z, t) = 0
t2
donde a es una constante. N

otese que hemos supuesto que el campo de calibre puede depender del
tiempo. El calibre del Lorentz se escoje porque (entre otras cosas) permite que la solucion a la ecuaci
on
de onda para el potencial vectorial
2~
~ 2A
~ (x, y, z, t) a A (x, y, z, t) = 0
t2
quede unvocamente determinada

El calibre de Coulomb, de radiaci
on o transverso:
~ (x, y, z, t) satisfaga la ecuacion
La selecci
on de este calibre impone que el potencial vectorial A

~ A
~=0
~ A
~ 0 (x, y, z, t) =
~ A
~ (x, y, z, t) +
~ (x, y, z, t) = 0
~ 2 (x, y, z, t) = 0
El nombre de calibre de Coulomb, de radiacion o transverso proviene de las consecuencias de su

utilizaci
on en las ecuaciones de Maxwell.
~=A
~ (x, y, z) ambos calibres coinciden.
N
otese que si el campo (y el calibre) es independiente del tiempo A
Hern
andez & N
un
ez
265
M
atica (Vol 1)
5.12.3.
BORRADOR PRELIMINAR
Teorema de Green y Potenciales
Si el rotor y la divergencia de un campo vectorial, F~ , decente (continuo y continuamente diferenciable)

est
an especificados en una regi
on del espacio delimitada por una superficie cerrada, S, y las componentes del
campo normales a esa superficie, n
S F~ , tambien se conocen, entonces el Teorema de Green nos garantiza
que ese campo, F~ , que cumple con esas condiciones es u
nico.
Esa demostraci
on procede as. Supongamos que existe otro campo vectorial que cumple con las mismas
condiciones que el campo F~ . Esto es
~ F~ =
~ G
~
~ H
~ =0
~ = F~ G
~
~ F~ =
~ G
~
~ H
~ =0
H
~
~ =0
n
S F~ = n
S G
n
S H
~ es irrotacional entonces
como H
~ H
~ =0
~ =
~ (x, y, z)
H
~ H
~ =
~
~ (x, y, z) = 0
, y el Teorema de Green nos garantiza que

ZZZ h
I
ZZ

i

~ d S
~=
~ n

dV

+

S dS =
con lo cual
ZZ
~ n

S
dS =
ZZ
~ n
H
S
dS =
ZZZ h
i
~ H
~ dV
H
~ =0
H
~ es decir, que el campo, F~ , es u

de donde se deduce que F~ = G
nico.
5.12.4.
Teorema de Helmholtz
El teorema de Helmholtz afirma que todo campo vectorial, F~ , continuo, y continuamente diferenciable
(al menos a trozos) y, regular en infinito se puede expresar como una suma de dos componentes, una
longitudinal o irrotacional, F~l , y otra transversa o solenoidal, F~t . Esto es
~ F~l = 0

~
~
~
F = Fl + Ft con
~ ~
Ft = 0
En general dado que el campo, F~ , puede ser discontinuo, tendremos que suponer que

~ F~ =
~ F~l + F~t =
~ F~l = (~r)
~
~
F = (~r)
y como F~ = F~l + F~t

~
~
~
~ F~ =
~ F~l + F~t =
~ F~t = J~ (~r)

F = J (~r)
~ () y
~ () son lineales. Esta separacion del campo vectorial F~ = F~l + F~t es completamente
dado que
general y siempre puede hacerse para cualquier campo vectorial.
Hern
andez & N
un
ez
266
M
atica (Vol 1)
BORRADOR PRELIMINAR
~ 2 (x, y, z) = (x, y, z) existe y es

Supondremos adem
as, que la soluci
on a la ecuacion de Poisson
6
u
nica .
Tendremos que
~ F~l = 0
~ (x, y, z)
F~l =
~ F~ =
~ F~l =
~ 2 (x, y, z) = (~r)
y la soluci
on existe y es u
nica. Es decir, podemos expresar de manera unvoca al campo vectorial, F~ , (a traves
de su componente longitudinal F~l ) en terminos de un campo escalar (a funcion potencial) (x, y, z) . Por
otra parte

~ F~t = 0 F~t =
~ A
~
~ F~ =
~ F~t =
~
~ A
~ =
~
~ A
~
~ 2A
~ = J~ (~r)
~ A
~ = 0 se convierte en Es importante se
La cual al seleccionar el calibre de Coulomb
nalar que el campo,
~
~
A = A (x, y, z) , soluci
on a la ecuaci
on

~
~ A
~ =
~ 2A
~ = i i A
~ = J~ (~r)
2
~ Ax = Jx (~r)
~ 2 Ay = Jy (~r)
i i Ak = J k (~r)
~2
Az = Jz (~r)
Una vez m
as nos topamos con la soluci
on a la ecuacion de Poisson, esta vez para cada componente. Esto se
cumple siempre, porque hemos supuesto que la solucion para la ecuacion de Poisson existe y es u
nica.
Un corolario del Teorema de Helmholtz que un campo vectorial queda unvocamente determinado si
conocemos su rotor y su divergencia.
6 Esta suposici
on es indispensable pero es muy fuerte. Las condiciones sobre el potencial (x, y, z) que la implican ser
an
consideradas en otros cursos de M
etodos Matem
aticos. En este curso, supondremos que existe y es u
nica
Hern
andez & N
un
ez
267
M
atica (Vol 1)
5.13.
BORRADOR PRELIMINAR
Algunos Ejemplos resueltos
1. Hallar las componentes cartesianas del vector que, en coordenadas cilndricas, tiene las siguiente componentes (1, 1, 3)
~
Soluci
on Ese vector en coordenadas cilndricas se puede escribir como: V
En general, las componentes de los vectores transforman como
x
1 (xm ) k
a
a
=
i
m
2
m
(x
)
(x
)
k
i
k
2
a
a
=
con
a
a
xk
xk
3
m
(x
)
3
k
a
=
a
xk
=u
r u
+ 3
uz
x
1 = x
2
x
=y
3
x
=z
1
x =r
x2 =
3
x =z
y la ley de transformaci
on entre coordenadas cartesianas y coordenadas cilndricas es
x = x (r, ) = r cos ;
con lo cual es f
acil identificar
x(r,)
= cos
r
y(r,) = sen
z
r
=0
y = y (r, ) = r sen y
x(r,)

= r sen
= r cos ;
z
=
0
y(r,)

z=z
x(r,)
z
=0
y(r,)
z
=0
z
z
=1
con lo cual
a
1 =
x
1 (xm ) 1 x
1 (xm ) 2 x
1 (xm ) 3
x
1 (xm ) k
a
=
a
+
a
+
a
xk
x1
x2
x3
a
1 =
x (r, )
x (r, )
(1) +
(1) = cos + r sin = cos (1) + 1 sin (1) = 0,30117
r
del mismo modo

a
2 =
y (r, )
y (r, )
(1) +
(1) = sin r cos = sin (1) (1) cos (1) = 1,3818
r
a
3 = 3
~ =u
con lo cual V
r u
+ 3
uz = 0,30117 1,3818
+3 k
2. Dados Tji , ai y bi E 3 con
1
Tji = 3
3
Hern
andez & N
un
ez
0
4
1
3
1 ;
4
5
~a = 2
5
2
~b = 5
4
268
M
atica (Vol 1)
BORRADOR PRELIMINAR
a) Suponga que Tji , ~a y ~b est

an expresados en coordenadas cartesianas, calcule Aij ai bj , Sij ai aj ,
i j
Aij b b .
Soluci
on Donde Sij y Akl son, respectivamente, las partes simetrica y antisimetrica del tensor Tji y la
metrica en coordenadas cartesianas viene dada por
1 0 0
gij = 0 1 0
0 0 1
Tendremos que
1
1
1
3
Sij = (Tij + Tji ) =
2
2
3

3
1
1 + 0
4
3
0
4
1
3
4
1

3
2
1 = 3
4
6
3
8
2
6
2
8
N
otese que la expresi
on matricial para Tij gik Tjk es la misma que para Tji debido a la forma de
la metrica en este espacio. Del mismo modo
0 3 0
1 0 3
1 3 3
1
1
3 4 1 0 4 1 = 3 0 0
Aij = (Tij Tji ) =
2
2
3 1 4
3 1 4
0 0 0
por lo tanto
ai Aij bj =
1
2
ai Sij aj =
1
2
0
3
0
3
0
0
3
8
2
2
3
6
2
0
87
0 5 =
2
4
0
5
6
2 2 = 1
5
8
bi Aij bj = 0
b) Suponga ahora que esos mismos Tji , ~a y ~b estan expresados en coordenadas cilndricas.
1) Encuentre la expresi
on para ~b en coordenadas esfericas.
Soluci
on Al expresar ~b en cilndricas tendremos que ~b = 2 u
+ 5 u
+ 4 u
z con lo cual para expresar
~b en esfericas podemos proceder de dos forma.
La primera forma es transformando las componentes al conocer como transforman las coori
denadas. Es decir conociendo xi = xi (
xm ) y x
j = x
j (xm ) expresar bi = xxk bk . Dado
que
= r sen
x (, )
= cos = x (r, , ) = r cos sen
y z = r cos
=
equivalentemente,
r=
Hern
andez & N
un
ez
p
2 + z 2 ;
= arctan

z
=
269
M
atica (Vol 1)
BORRADOR PRELIMINAR
por lo tanto
k
bi = x
b =
xk
bi =
2 +z 2

arctan(
z)

x
1
x21
x
x31
x
x1
x
1
x22
x
x32
x
x2
2 +z 2

arctan(
z)

x
1
x22
x
x33
x
x3
5 =
2 +z 2
z

z
arctan( z )
z
r
z

2
2 +z 2
5 =
z
4
2
2
+z
0
1
0
z
2 +z 2
2 +z 2
por lo tanto en esfericas

2 sen + 4 cos
2 cos 4 sen
~b =
5
= (2 sen + 4 cos ) u
r + 5 u
+
+
u
r
r
4 sen
2 cos
r
r
la otra forma es expresar la base ortonormal cilndrica en terminos de la base ortonormal
esferica. Otra vez, utilizamos la base cartesiana como intermediaria. Esto es:
sen u
u
= cos + sen
;
= cos u
=
sen
+
cos
u
= sen + cos
k=u
z
u
z = k
y parecido en esfericas

r + cos cos u
sin u
u
r = cos sin + sin sin
+ cos k
= cos sin u
=
sin
sin
+
sin
cos
+
cos
u
= sin + cos

k = cos u
r sin u
u
= cos cos + sin cos
sin k
con lo cual
u
= cos (cos sin u
r + cos cos sin u
) + sen (sin sin u
r + sin cos u
+ cos u
) ;
u
= sin u
r + cos u
u
= u
u
z = cos u
r sin u
entonces
~b = 2 u
+ 5 u
+4 u
z = 2 (sin u
r + cos u
) + 5 (
u ) + 4 (cos u
r sin u
)
finalmente
~b = (2 sin + 4 cos ) u
r + 5
u (2 cos + 4 sin ) u
2) Encuentre la expresi
on para Aij ai bj en coordenadas esfericas
i
j
i
Soluci
on La expresi
on para a Aij bj = 87
2 sera la misma que el caso anterior porque a Aij b es un
escalar bajo transformaciones de coordenadas que significa que es invariante y valdra lo mismo
en todos los sistemas de coordenadas
Hern
andez & N
un
ez
270
M
atica (Vol 1)
BORRADOR PRELIMINAR
Recuerde que
x = x (, ) = cos
y = y (, ) = sen
cilndricas
z=z
x = x (r, , ) = r cos sen
y = y (r, , ) = r sen sen

esfericas
z (r, , ) = r cos
y el tensor metrico en coordenadas cilndricas

g22 = g = 2 ;
g11 = g = 1;
g33 = gzz = 1.
mientras que en coordenadas esfericas es

g11 = grr = 1;
g22 = g = r2 sin2 ;
g33 = g = r2 .
3. Dado el sistema de coordenadas parabolicas

x = cos ;
y = sen ;
z=

1 2
2
2
Exprese el diferencial de volumen dv = dx dy dz en estas coordenadas

Soluci
on Hay varias maneras de resolver este problema. La mas intuitiva es que, dado que las coordenadas
parab
olicas son un sistema de coordenadas ortogonales es multiplicar largo, por ancho, alto con las
longitudes de arco en cada una de las direcciones ortogonales. Esto es
2
ds21 = g11 dq 1

2
2
n
u
1 2
2 2
3 2
ds = gnu dq dq
= g11 dq
+ g22 dq
+ g33 dq
ds22 = g22 dq 2
2
ds23 = g33 dq 3
por consiguiente
dv = (ds1 ) (ds2 ) (ds3 ) =
g11 dq 1
g22 dq 2
p
g33 dq 3 = h1 h2 h3 dq 1 dq 2 dq 3
con

h1 =

h2 =

h3 =

s

2
2
2
p
|ri
x (q 1 , q 2 , q 3 )
y (q 1 , q 2 , q 3 )
z (q 1 , q 2 , q 3 )
= g11 =
+
+
q1
q1
q1
q1
s

2
2
2
p
|ri
x (q 1 , q 2 , q 3 )
y (q 1 , q 2 , q 3 )
z (q 1 , q 2 , q 3 )
= g22 =
+
+
q2
q2
q2
q2
s

2
2
2
p
x (q 1 , q 2 , q 3 )
y (q 1 , q 2 , q 3 )
z (q 1 , q 2 , q 3 )
|ri
= g11 =
+
+
q3
q3
q3
q3
por lo cual dado que |ri = x (, , ) |ii + y (, , ) |ji + z (, ) |ki

q
p
|ri p

= g11 = ( cos )2 + ( sin )2 + ()2 = ( 2 + 2 )
h1 =

1
q

q
p
|ri p

= g22 = ( cos )2 + ( sin )2 + ()2 = ( 2 + 2 )
h2 =

2
q

q
|ri p

= g11 = ( sin )2 + ( cos )2 + (0)2 =
h1 =
q1
Hern
andez & N
un
ez
271
M
atica (Vol 1)
BORRADOR PRELIMINAR
y finalmente

dv = h1 h2 h3 ddd = 2 + 2 ddd
La otra forma de resolverlo, tambien intuitiva es hacer el producto mixto de los tres vectores ortogonales
base sin normalizar. Esto es

|ri |ri
1
2
3 |ri
1 |ri
2 |ri
3 |ri

=
dq
dq
dq
dq
dq
dq
dv =
q1

q1
q2
q3
q2
q3
entonces, en general
dv = dq 1 dq 2 dq 3 det
x(q 1 ,q 2 ,q 3 )
q1
x(q 1 ,q 2 ,q 3 )
q2
x(q 1 ,q 2 ,q 3 )
q3
y (q 1 ,q 2 ,q 3 )
q1
y (q 1 ,q 2 ,q 3 )
q2
y (q 1 ,q 2 ,q 3 )
q3
z (q 1 ,q 2 ,q 3 )
q1
z (q 1 ,q 2 ,q 3 )
q2
z (q 1 ,q 2 ,q 3 )
q3

= dq 1 dq 2 dq 3 det J x q 1 , q 2 , q 3 , y q 1 , q 2 , q 3 , z q 1 , q 2 , q 3

donde J x q 1 , q 2 , q 3 , y q 1 , q 2 , q 3 , z q 1 , q 2 , q 3 es la matriz Jacobiana de la transformacion. Entonces
cos
sin

sin = 2 + 2 ddd
dv = ddd det cos
sin cos 0
En general, el diferencial del volumen viene expresado como un producto mixto de la base ortonormal
{|q1 i , |q2 i , |q3 i}

dv = dq 1 |q1 i dq 2 |q2 i dq 3 |q3 i = dq 1 dq 2 dq 3 k|q1 i (|q2 i |q3 i)k

dv = dqn hqn | 123 dq2 dq3 |q1 i = gnu dq u g22 dq 2 g33 dq 3 hqn |q1 i = g11 dq 1 g22 dq 2 g33 dq 3
| {z }
1n
4. Dado un sistema generico de coordenadas oblicuas

|
e1 i = a |ii + b |ji ;
|
e2 i = c |ii + d |ji
a) Encuentre la expresi
on para la metrica gij en estas coordenadas
Soluci
on Para una base generica, {|xj i} la metrica viene definida por
gij gji = g [|xi i , |xj i] hxi |xj i hxj |xi i

2

hx1 |x1 i hx1 |x2 i
a + b2 ac + bd
hgij i =
=
hx2 |x1 i hx2 |x3 i
ac + bd c2 + d2
b) Encuentre la expresi
on para un vector generico ~v = vx |ii + vy |ji en estas coordenadas
Soluci
on
|
e1 i = a |ii + b |ji
|
e2 i = c |ii + d |ji
Hern
andez & N
un
ez
|ii =
(d |
e1 i b |
e2 i)
|ji =
(c |
e1 i a |
e2 i)
272
M
atica (Vol 1)
BORRADOR PRELIMINAR
con = bc ad por lo cual

~v = vx |ii + vy |ji =
vx
vy
(d |
e1 i b |
e2 i) +
(c |
e1 i a |
e2 i)
v
v
vy
vy
x
x
|
e1 i b + a
|
e2 i
= d +c
c) Suponga ahora una base y un tensor concreto
2
2
|
e1 i = |ii ;
|
e2 i =
|ii +
|ji ;
2
2
Tji =
4
1
2
4
Encuentre la expresi
on matricial para el tensor Tij 7
Soluci
on En general,
x
k m xn
T
Tij = gik Tjk = gik
xm n x
j
Identificando
vx = v1 =
x
1 1 x
1 2
x
1 j
d vx + c vy
v
=
v
+
v
=
j
1
2
x
x
x

|{z}
|{z}
x
1
x1
x
1
x2
vy = v2 =
x
2 j
x
2 1 x
2 2
b vx + a vy
v
=
v
+
v
=
j
1
2
x
x
x

|{z}
|{z}
x
2
x1
x
2
x2
como
a=1
b = 0
c = 22
d = 22
h
gik i =
D
E
k
2
2
1

1
1
x
=
xm
0
1

xn
xn 1
1
=
=
x
j
xj
0
2
1
1
1

=
1
0
1
1
finalmente
Tij =
7 Ayuda
2
2
2
2
!
1
0
dada una mantriz gen

erica Aij =
Hern
andez & N
un
ez
1
1
A
C
B
D

4
1
2
4

1
0

, su inversa ser
a
1
1

=
D
ADBC
C
ADBC
5
21 2
5
2 21
B
ADBC

1
+ 32 2
12 2 + 3
A
ADBC
273
M
atica (Vol 1)
BORRADOR PRELIMINAR
5. Definimos una transformaci

on ortogonal (una transformacion de un sistema de coordenadas ortogonales
a otro ortogonal tambien) si se cumple

xi k
xk
x
k
x
i k
i
i
i
i
x +a ;
x =
x +a
;
donde det
= det
= 1
x
=
xk
x
k
x
l
xi
con
x
k xi
xk x
i
=
= lk
xi x
l
x
i xl
a) Muestre que las transformaciones de Galileo en 2 dimensiones

1
1 1

VOO t
x
cos sen
x
=
+
x
2
sen
cos
x2
VO2O t
son transformaciones ortogonales. Note que VO1O , y VO2O son las velocidades en la direccion 1 y 2,
con coordenadas x
respectivamente, del observador O
i respecto al observador O con coordenadas
xi ,mientras t es el tiempo medido por ambos observadores.
Soluci
on Una vez m
as, identificando
x
i k
x
=
x + ai
xk
x
1
x
2

=
x
1
x22
x
x1
!
x
1
x22
x
x2
x1
x2

+
a1
a2
con lo cual
x
1
x22
x
x1
= cos
= sen
x
1
x2 2= sen
x
x2 = cos
!

a1 = VO1O t
;
a2 = VO2O t

con det
cos
sen
sen
cos
= cos2 +sen 2 = 1
6. Las transformaciones de Galileo nos permiten relacionar las posiciones de una partcula respecto a
dos observadores los cuales se encuentran en movimiento, uno respecto al otro. Considere entonces el
movimiento de una partcula visto desde el sistema de coordenadas xi tal que
y = V0y t g
x = V0x t;
t2
2
~ de esta partcula visto del sistema de coordenadas x

Exprese el vector velocidad V
k
Soluci
on Tendremos que
x1 = x = V0x t
x2 = y = V0y t g t2
V 1 = Vx =
dx1
dt
= V0x
V 2 = Vy =
dx2
dt
= V0x gt
por lo cual

V 1
V 2

=
cos
sen
finalmente
~ = V 1 + V 2
V
con
sen
cos

V1
V2

+
VO1O t
VO2O t
1
1
2
1
V = V cos V sen + VOO t
2
V = V 1 sen + V 1 cos + VO2O t
Hern
andez & N
un
ez
274
M
atica (Vol 1)
BORRADOR PRELIMINAR
7. Consideremos este par de tensores provenientes de la teora de elasticidad

0
1
uk
1
1 ui
+
;
uik = uik um
uik = (k ui + i uk )
i ;
2
2 xk
xi
3 m k
y construyamos el tensor de esfuerzos como
pij = 2 uij
0
+ Kull ji
Calcule la energa libre para el medio elastico, definida como F = 12 pij uji
Soluci
on Tenemos que
pij = 2 uij
donde um
m =
0

1
2
i
l i
i
l i
+ Kull ji = 2 uij um
+
Ku
=
2u
+
u
l j
j
l j
3 m j
3
1
2
( m um + m um ) = m um con lo cual

1 i j
1
2
1
j
i
l i
i j
l i j
F = pj ui =
2uj + ul j K
ui = uj ui + ul j ui
K
2
2
3
2
3

2
1
= ui1 u1i + ui2 u2i + ui3 u3i +

K
ull
2
3

2

1
K
ull
= u11 u11 + u21 u12 + u31 u13 + u12 u21 + u22 u22 + u32 u23 + u13 u31 + u23 u32 + u33 u33 +
2
3

2

1
2
2
2
ull
= u11 + u22 + u33 + 2 u12 u21 + u23 u32 + u31 u13 +
K
2
3

2

1
2
=
K+
ull + 2 u12 u21 + u23 u32 + u31 u13
2
3

1
2
2
K+
(x ux + y uy + z uz ) + 2 (x uy y ux + y uz z uy + z ux x uz )
=
2
3
8. Considere ahora la siguiente transformacion de coordenadas
x
= L
x +a ;
1
con = p
;
1 v k vk
, = 0, 1, 2, 3;
0
L0 =
Li0 = L0i = v i
i, j, k = 1, 2, 3 y
i
Lj = Lji = ji + v i vj (1)
v k vk
las L
se denomina impulso (
topboost) de Lorentz donde las v k son las componentes tridimensionales de la velocidad relativa entre
y O con coordenadas x
los observadores O
y x , respectivamente. La coordenada x0 representa el
tiempo medido por el observador O mientras que las xj representan las coordenadas espaciales x, y, z
para el mismo observador O con i, j = 1, 2, 3 respectivamente. Notese que 0 v k vk < 1.
Suponga, por facilidad, que el movimiento es en una dimension , = 0, 1 y i, j = 1.
Hern
andez & N
un
ez
275
M
atica (Vol 1)
BORRADOR PRELIMINAR
Esto implica
v
1v 2
1
1v 2
1
1v 2
v
1v 2
D E
L
=
1
1v 2
v
1v 2
v
1v 2
1
1v 2
x
0
x
1
x0
x1
v
1v 2
1
1v 2
!
x0
x1
1
1v 2
v
1v 2
v
1v 2
1
1v 2
!
x
0
x
1
1
1v 2
v
1v 2
a) Muestre que los tiempos se alargan cuando son medidos por observadores en movimiento
Soluci
on Tenemos que t = t2 t1 = x02 x01 medido por el observador en reposo y equivalentemente
t = t2 t1 = x
02 x
01 medido por el observador en movimiento.

t = t2 t1 = x
02 x
01 = L0 x2 + a0 L0 x1 + a0 = L0 x2 L0 x1 = L0 x2 x1

x02 x01
t
0
0
0
0
1
1
=
= L0 x2 x1 + L1 x2 x1 =
2
1v
1 v2
Claramente
lm t =
v1
N
otese que hemos supuesto que el reloj que marca el t y que esta en reposo respecto al sistema
x se encuentra en la misma posicion espacial x02 = x01
b) Muestre como las distancias se acortan cuando son medidas respecto a observadores en movimiento
Soluci
on Igualmente la distancia entre dos puntos espaciales sera

1
1
1
1
1 x
1 x
1 0 x
1 x
l = x12 x11 = L
+
a
+
a
=
L
x
01 + L
11
2
1
2
1 2 x
2
1 = L0 x
Si suponemos ahora que la distancia en el sistema en movimiento x
la medimos en el mismo
0
0
tiempo, entonces x
2 = x
1 con lo cual

p
p
l

x
12 x
11
1
1
1 x
=
l = 1 v 2 l lm 1 v 2 l = 0
l=L
=
1
2
1
v1
1 v2
1 v2

~ + ~v B
~ para una partcula con carga q que se mueve con una velocidad
9. La fuerza de Lorentz F~ = q E
~ y una inducion magnetica B.
~ Muestre que
~v en un campo electrco E,

~ + ~v B
~
F~ = q E
#
"

~
d
A
~
~
~ A
~ ~v
F~ = q
+
~ =
~ A
E
dt
~
~
~
A=B
Soluci
on

~
~ + ~v B
~ = q
~ A + ~v
~ A
~
F~ = q E
t

Hern
andez & N
un
ez
276
M
atica (Vol 1)
BORRADOR PRELIMINAR
veamos

~ A
~ = jkl v k lmn m An ej = jkl mnl v k m An ej = m n m n v k m An ej
~v
j k
k j

= v k j Ak v k k Aj ej
con lo cual
~
A
F = q
+ v k j Ak v k k Aj
t
j
F j = q j
~
A
v k k Aj + j
t
~

A
= q
v k k Aj + j v k Ak Ak j v k
t
!
"
#

~

d
A
k
~
~ A
~ ~v
v Ak
= q
+
dt
ya que
Aj dxi
Aj
Aj
dAj
i
j
=
+
=
v
A
+
i
dt
xi dt
t
t
j vk =
v k
=0
xj
ya que v k = v k (t)
10. Las fuerzas de mareas corresponden a la atraccion de la luna sobre las partculas (el agua) en la
superficie de la tierra. cu
al es el potencial que corresponde a las fuerzas de marea. Recuerde que la
fuerza gravitacional que produce las mareas
Mm
F~ = G 3 ~r
rM m
donde rM m es la distancia (fija) entre los centros Luna y Tierra, y ~r es el radio vector del centro de la
Luna a la partcula que se ve afectada
Soluci
on Colocando la Tierra en el centro de coordenadas y la Luna en el eje z tendremos:
Mm
G 3 x =
rM m
x

Mm
Mm
Mm
~
=
G 3 y =
x y
+ 2z k
F~ = G 3 ~r = G 3
rM m
y
rM m
rM m
Mm
G 3 2z =
rM m
z
integrando nos queda
=G
Mm 2
x + G (y, z)
3
rM
m
=G
Mm 2
M m y2
x
+
G
+ K (z)
3
3
rM
rM
m
m 2
G (y, z)
Mm
=
= G 3 y
y
y
rM m
G (y, z) = G
K (z)
Mm
=
= G 3 2z
z
z
rM m
M m y2
+ K (z)
3
rM
m 2
K (z) = G
Mm 2
z
3
rM
m
~ H
~ = J~ donde H
~ es el campo
11. La Ley de Ampere se puede derivar de la ecuacion de Maxwell
~
~
magnetico y J la densidad de corriente. Si el campo electrico es nulo (E = 0) muestre que
I
~ d ~r = I
H
con I la corriente neta que atraviesa la circulacion del campo magnetico.
Hern
andez & N
un
ez
277
M
atica (Vol 1)
Soluci
on
~ d ~r =
H
ZZ
BORRADOR PRELIMINAR
ZZ

~ H
~ d S
~=
~=I
J~ d S
12. Considere los siguientes campos de fuerzas

n
a) F~ = x2 + y 2 + z 2
x + y + z k
R
1) Calcule en trabajo F~ d ~r a lo largo de un arco de circunferencia unitaria, colocado en
el plano x, y: primero girando en sentido antihorario de 0 y luego en sentido horario
0 .
que puede concluir del campo de fuerzas ?
Soluci
on Se puede resolver de varas maneras.
a) La forma elegante es expresando el campo de fuerza F~ en coordenadas esfericas. Esto es

n
F~ = x2 + y 2 + z 2
x + y + z k r2n~r r2n+1 u
r
luego recordamos que d ~r siempre es tangente a la trayectoria, y en este caso la trayectoria
es una circunferencia unitaria ubicada en el plano x, y, entonces
d ~r u
F~ d ~r = 0
en todo punto
con lo cual esta fuerza es conservativa porque

F~ d ~r = 0 (x, y)
F~ d ~r = 0
b) la otra forma es con la fuerza bruta cartesiana

Z
Z

n
~
F d ~r =
x2 + y 2 + z 2
x + y + z k d x + d y + d z k
como
la trayectoria es una circunferencia unitaria ubicada en el plano x, y, entonces y =
1 x2 , z = 0, con x variando entre 1 y -1 tanto el en caso de circularla en sentido

antihorario de 0 y en sentido horario 0 .
Z
Z 1
Z 0
n
n
F~ d ~r =
x2 + y 2 x d x +
x2 + y 2 y d y
1
Z
=
x2 + 1 x2
n
Z
xdx=
xdx=0
1
No es suficiente, pero podemos sospechar que la fuerza es conservativa, por cuanto dos circulaciones distintas nos dieron el mismo valor de la integral.
~ (x, y, z)?
2) Ese campo vectorial tendra un potencial (x, y, z) asociado tal que F~ =
Justifique su respuesta.
Si existe el potencial, encuentrelo y determine el valor del exponente n de tal forma que la
funci
on potencial diverge simultaneamente en el origen y en infinito.
Hern
andez & N
un
ez
278
M
atica (Vol 1)
BORRADOR PRELIMINAR
~ (x, y, z) en esfericas. Esto es

Soluci
on Otra vez, planteamos la ecuacion F~ =

(r, , )
1 (r, , )
1 (r, , )
F~ = r2n+1 u
r =
u
r +
u
+
u
r
r
r sin
con lo cual tienen que cumplirse las siguientes ecuaciones

r2n+1 =
(r, , )
;
r
0=
(r, , )
;
0=
(r, , )
Las dos u
ltimas ecuaciones, validas para r 6= 0, implican que no depende ni de , ni de
. La primera puede ser integrada y nos queda como
Z
r2n+2
d (r)
r2n+1 d r = (r) (r) =
+C
r2n+1 =
dr
2n + 2
resultado que claramente diverge para n = 1, tanto cuando r 0 como cuando r
Obviamente, val a tambien hacerlo en cartesianas

(x, y, z)
(x, y, z)
(x, y, z)
2
2
2 n
~
F = x +y +z
x + y + z k =
+
+
k
x
y
z
con lo cual
x2 + y 2 + z 2
n
x=
(x, y, z)
x
(5.1)
x2 + y 2 + z 2
n
y=
(x, y, z)
y
(5.2)
x2 + y 2 + z 2
n
z=
(x, y, z)
z
(5.3)
Integrando la primera de esas ecuaciones

x2 + y 2 + z 2
n
x=
(x, y, z)
x
Z
(x, y, z) =
x +y +z

2 n
1 x2 + y 2 + z 2
xdx=
2
n+1
n+1
+ C (y, z)
Donde C (y, z) es una funcion que tendremos que ir descubriendo poco a poco. Ahora bien,
sustituyendo esa forma de (x, y, z) en la ecuacion (5.2), tendremos que

n+1
(x2 +y2 +z2 )
12
+
C
(y,
z)
n+1
n
n
C (y, z)
x2 + y 2 + z 2 y =
= x2 + y 2 + z 2 y
y
y
con lo cual concluimos que C es independiente de y
(C (y, z))
0=
y
Hern
andez & N
un
ez
C = C (z)
1 x2 + y 2 + z 2
(x, y, z) =
2
n+1
n+1
+ C (z)
279
M
atica (Vol 1)
BORRADOR PRELIMINAR
y ahora sustituyo esta nueva forma de la funcion (x, y, z) en la ecuacion (5.3)

n+1
(x2 +y2 +z2 )
21
+
C
(z)
n+1
n
n
C (z)
x2 + y 2 + z 2 z =
= x2 + y 2 + z 2 z
z
z
entonces C tambien es independiente de z. Finalmente se determina que
n+1
1 x2 + y 2 + z 2
(x, y, z) =
2
n+1
obviamente es el mismo resultado cuando recordamos que r2 = x2 + y 2 + z 2 y tiene el mismo
comportamiento para n = 1.
b) F~ =
2A cos
u
r + A sen
r3
r3 u
con A = const y {
ur , u
} vectores unitarios base en coordenadas esfericas
~ F~
1) Calcule el rotor
Soluci
on El rotor en coordenadas esfericas viene dado por

u
r
ru
~
~

F = 2
r sin 2Ar
cos
r A sen
r3
r3
1
= u
A sin
r2

r sin u

2A cos
r3
!
=0
H
2) Calcule en trabajo F~ d ~r a lo largo de una circunferencia unitaria en el plano =
que puede concluir del campo de fuerzas ?
Soluci
on Por el teorema de Stokes el trabajo en un circuito cerrado se anula
I
ZZ
~ F~ d S
~=0
F~ d ~r =
Se pueda adem
as concluir que la fuerza es conservativa.
~
3) Ese campo vectorial tendr
a un potencial asociado tal que F~ = ?
Justifique su respuesta
y de ser posible, encuentre la expresion para ese potencial.
Soluci
on Una vez m
as

2A cos
1 (r, , )
1 (r, , )
A sen
(r, , )
u
+
u
+
u
+
u
r3
r3
r
r
r sin
con lo cual, tambien una vez mas

2A cos
(r, , )
=
r3
r
A sen
1 (r, , )
=
r3
r
0=
Hern
andez & N
un
ez
(r, , )
280
M
atica (Vol 1)
BORRADOR PRELIMINAR
La u
ltima ecuaci
on indica que no depende de . Ahora bien integrando la primera de estas
ecuaciones, tendremos
Z
(r, , )
cos
2A cos
2A cos
=
d r + C () = A 2 + C ()
(r, ) =
r3
r
r3
r
al sustituir la forma del potencial en la tercera ecuacion tendremos
A cos
A sin
C ()
r 2 + C ()
=
=0
r2
De esta forma
cos
(r, ) = A 2
r
1
~
~
~ A
~ = F~ .
c) F = r2 u
r Encuentre alg
un posible campo vectorial A tal que
Soluci
on Otra vez

u
r
ru
r sin u
~
~

A= 2
r
r sin
Ar (r, , ) r A (r, , ) r sin A (r, , )

=1u
r

r2

con lo cual
1
1
= 2
2
r
r sin
(r sin A (r, , )) (r A (r, , ))
(r sin A (r, )) Ar (r, , )
(r A (r, , )) Ar (r, , )
0=
0=
Ahora hay que hacer alg

un tipo de suposicion para que podamos encontrar, facilmente alg
un
potencial vectorial. Supongamos pues que
(r sin A (r, , ))
sin =
Ar (r, , ) = cte
Ar (r, , )
A (r, , )
0=
A (r, , ) = 0
0 = A (r, , ) + r A (r, , ) Ar (r, , )

r
Integrando la primera obtendremos

sin =
(r sin A (r, , ))
A (r, , ) =
cos
+ C1 (r, )
r sin
de la segunda concluimos que Ar = Ar (r, ) es decir, Ar es independiente de . Finalmente de

la tercera ecuaci
on concluimos que podemos hacer adicionalmente Ar = Ar (r) y C1 (r, ) = 0.
Resumiendo
cos
1
~ A
~ = F~ A
~ = Ar (r) u
F~ = 2 u
r
r +
u
r
r sin
Hern
andez & N
un
ez
281
M
atica (Vol 1)
BORRADOR PRELIMINAR

d ) F~ = x2 + y 2 + z 2 k y eval
ue las siguientes integrales
H
1) F~ d ~r a lo largo de una circunferencia unitaria
Soluci
on Por el Teorema de Stokes
I
ZZ

~
~ F~ d S
~
F d ~r =
con lo cual

~ F~ =
x
x2

k

=0
z
z2
y
2
F~ d ~r = 0
HH
~ a lo largo de una esfera unitaria
2)
F~ d S
Soluci
on Por el Teorema de la divergencia
ZZZ
I I

~
~
~ F~ dV
F d S =
por consiguiente

ZZZ
ZZZ

~ F~ dV =
+ + k
x2 + y 2 + z 2 k dx dy dz
x
y
z
V
V
ZZZ
=
(2x + 2y + 2z) dx dy dz
V
si ahora transformamos a coordenadas esfericas tendremos que

x = r sin cos ;
y = r sin sin ;
z = r cos ;
con dV = r2 sin dr d d
con lo cual
ZZZ
ZZZ
(2x + 2y + 2z) dx dy dz =
(2r sin cos + 2r sin sin + 2r cos ) r2 sin dr d d
V
ZZZ
~ F~
1
dV =
4
13. En coordenadas cilndricas un vector tiene por componentes (0, sin , z).
Calcular:
a) La divergencia en coordenadas esfericas

Soluci
on Una vez m
as x
1 , x
2 , x
3
(r, , ) y x1 , x2 , x3
(, , z)
a
1 =
x
1 (xm ) k
a ;
xk
a
2 =
x
2 (xm ) k
a ;
xk
a
3 =
x
3 (xm ) k
a
xk
donde x1 , con
r=
p
z 2 + 2 ;
= r sin
Hern
andez & N
un
ez
= arctan
=
z = r cos
282
M
atica (Vol 1)
BORRADOR PRELIMINAR
con lo cual
x
1 (xm ) k
a =
a
=
k
x
1
arctan
a
=
z
2

z =:
(r cos )
z2
z 2 + 2
=q
= r cos2
z=p
2
2
z
2
2
(z + )
(r cos ) + (r sin )
r2 sin () cos ()
z
=
2
2 = sin cos
2
+
(r cos ) + (r sin )
z2
a
2 = sin
de modo que el campo vectorial, en esfericas
(0, sin , z)

r cos2 , sin cos , sin
y la divergencia
1
~ A
~=
r2 sin
!

r2 sin r cos2
((r sin ) ( sin cos )) ((r) (sin ))
+
+
r
2
2
~ A
~ = 3r sin cos 3 sin cos + sin + cos
r sin
b) El rotor en coordenadas cartesianas

Soluci
on Ahora x
1 , x
2 , x
3
(x, y, z) y x1 , x2 , x3
(, , z) con
x = cos ;
y = sin
= arctan
x2 + y 2
z=z
y
x
z=z
~
(0, sin , z)
de all se sigue si las componentes de en cilndricas A

y
p

2x2 + y 2
( cos )
2
2
2
2
a
x =
sin = 1 + cos = x + y 1 + cos arctan
= p
x
(x2 + y 2 )

y

y
p
sin
xy
a
y =
sin = cos sin = x2 + y 2 cos arctan
sin arctan
=p
x
x
(x2 + y 2 )
a
z = z
y el rotor
~ A
~ =
az
ay
y
z

+
ax
az
z
x
+k
ay
ax
x
y

(2x2 +y2 )
xy
(x2 +y 2 )
(x2 +y 2 )
2y 3 k
~ A
~=k

=
3
p
x
y
(x2 + y 2 )
Hern
andez & N
un
ez
283
M
atica (Vol 1)
14. Muestre la relaci

on
BORRADOR PRELIMINAR

~
~ ~a =
~
~ ~a
~
~ ~a
~a
y a partir de ella encuentre las componentes del Laplaciano ~a en coordenadas cilndricas

Soluci
on En coordenadas cartesianas tendremos que

h

j
i
i
~
~ ~a = i j aj |ei i ijk j klm l am |ei i = i j aj li m
j l am |ei i
lj m

~
~ ~a == i j aj j i aj + j j ai |ei i = j j ai |ei i

on del Laplaciano de un vector en coordenadas cilndricas tenemos que
= ax (cos |
~a = ax + ay
+ az k
er i sin |
e i) + ay (sin |
er i + cos |
e i) + az |
ez i
~a = (ax cos + ay sin ) |
er i + (ay cos ax sin ) |
e i + az |
ez i
ya que
= cos |
er i sin |
e i
= sin |
er i + cos |
e i
= |
k
ez i
x = r cos
y = r sen
z=z
N
otese que
ax = j j ax =
2 ax
2 ax
2 ax
+
+
2
2
x
y
z 2
ay = j j ay =
az = j j az =
2 az
2 az
2 az
+
+
2
2
x
y
z 2
2 ay
2 ay
2 ay
+
+
2
2
x
y
z 2
son las componentes cartesianas

15. Muestre que

~ ~a
~ ~a ~b = ~a
~ ~b + ~b
~ ~a + ~a
~ ~b + ~b

Soluci
on: El resultado es un gradiente porque ~a ~b es una funcion escalar. El lado izquierdo de la expresi
on
ser
a

i

~ ~a ~b
= i ~a ~b = i aj bj = i aj bj + i bj aj
Hern
andez & N
un
ez
284
M
atica (Vol 1)
BORRADOR PRELIMINAR
mientras que el lado derecho

i

~ ~a ~b
= aj j bi +

= aj j bi +

= aj j bi +

= aj j bi +

~ ~b + ijk bj
~ ~a
bj j ai + ijk aj
k
k

bj j ai + ijk aj kmn m bn + ijk bj kmn m an

bj j ai + ijk mnk aj m bn + ijk mnk bj m an

i j
j i
bj j ai + m
n m
n aj m bn +

i j
j i
+ m
n m
n bj m an
i j
j i
= aj j bi + bj j ai + m
n aj m bn m
n aj m bn +
i j
j i
+ m
n bj m an m
n bj m an
= aj j bi + bj j ai + an i bn am m bi + bn i an bm m ai
= aj j bi am m bi + bj j ai bm m ai + an i bn + bn i an
|
{z
} |
{z
}
=0
=0

= an i bn + bn i an = i aj bj = i ~a ~b
~ = 4xy y 2 + z k
16. Dado el siguiente campo vectorial A
a) Encuentre el flujo del campo a traves de un cubo unitario
x = 0, x = 1, y = 0, y = 1, z = 0, z = 1,
Soluci
on: Tenemos que el flujo del campo Vectorial es
Z
Z
Z
Z

~
~
~
~
A dS =
A dV =
(2y + 1) dV =
S
Z
dx
Z
dz
(2y + 1) dy = 2
0
b) Encuentre el flujo del rotor de ese campo a traves de una semi esfera
x2 + y 2 + z 2 = 16 con z 0
Soluci
on: El flujo del rotor ser
a
Z
I
I
Z
Z

2
~
~
~
~
A dS =
A d~r =
4xy y + z k (dx + dy ) = 4xy dx y 2 dy
S
como el circuito ser

a una circunsferencia de radio r = 4 en el plano z = 0 entonces al pasar a
polares nos queda
x = 4 cos()
dx = 4 sen() d
con lo cual
I
~ d~r = 5
A
y = 4 sen()
dy = 4 cos() d
42 cos sen2 d = 0
c) Considere ahora un cilindro x2 + y 2 = 16 con 1 z 1

1) Encuentre el flujo del campo a traves de esa superficie
Soluci
on: Como siempre, para encontrarel flujo
del campo podemos hacerlo directamente
R
~
~
a traves de su divergencia,
A dV ,
Hern
andez & N
un
ez
R
S
~ dS,
~ o
A
285
M
atica (Vol 1)
BORRADOR PRELIMINAR
El flujo de este campo a traves de la superficie que encierra el cilindro sera

Z
Z
Z
Z
~ dS
~=
~ dS
~+
~ dS
~+
~ dS
~
A
A
A
A
S
S+
Sc
~ las dos tapas del cilindro (z = 1 y x = 1), mientras que dS

~c representa la
Con dS
superficie del cilindro. Una forma de resolverlo sera, se transforma el campo a cilndricas, ya
~ = dSc u
que dS
r + dS u
z Esto es:
~ = 4(4 cos )(4 sen )(cos u

A
r sen u
) + (4 sen )2 (sen u
r + cos u
) + z k
y acomodando
~ = 16sen (cos 2 u
A
r sen 2 u
) + z k
Entonces, el flujo en las tapas es
Z
~ dS
~=
A
S+
~ dS
~ = 16
A
mientras que en las superficie cilndrica sera:

Z
Z
Z
~ dS
~=
A
4d dz (16sen cos 2) = 64
Sc
d (sen cos 2) = 0
Sd
Z
dz
0
R
~ dS
~ = 32
Finalmente S A
Hubiera sido inmediato si hubieramos utilizado el teorema de la divergencia y reutilizado los
resultados del volumen anterior. As
Z
Z
Z

~
~
A dV =
(2y + 1) dV =
(2 ( sen ) + 1) d d dz
con y = sen y el diferencial de volumen dV = d d dz.
Entonces, finalmente,
Z
Z 1
Z 4
Z 2
Z

~ A
~ dV =
dz
d 22
d sen +
1
Z
dz
0
d 22
d
0
R
~ dS
~ = 32, porque el primer termino de la suma se anula
para que, otra vez, S A
2) Encuentre el flujo del rotor de ese campo para el caso z 0
Soluci
on: El flujo del rotor ser
a exactamente el mismo que en caso de las semiesfera. Esto es
Z
I

~ A
~ dS
~=
~ d~r = 0
A
S
d ) Encuentre alguna de las componentes longitudinales y transversales del campo

~ se puede separar en una componente longitudinal, A
~ l , y otra transversal,
Soluci
on: Todo campo vectorial, A,
t
~ . Esto es:
A
~ A
~l = 0
~ A
~l = 0

l
t
~=A
~ +A
~ con
A
~ ~t
~ ~l ~ ~
A =0
A = A = 2y + 1
Hern
andez & N
un
ez
286
M
atica (Vol 1)
BORRADOR PRELIMINAR
con lo cual tenemos

y Alz z Aly = 0

z Alx x Alz = 0

x Aly y Alx = 0
y
x Alx + y Aly + z Alz = 2y + 1
Para empezar a acotar la solucion, supongamos que Alz = Alz (x, y, z) = 0
z Aly = 0
z Alx = 0
Alx = Alx (x, y)

x Aly y Alx = 0
Aly = Aly (x, y)
x Alx + y Aly = 2y + 1
Otro par de suposiciones salvadoras son:

Alx = Alx (x, y) = f (x) y Aly = Aly (x, y) = g(x). Estas nos garantizan que se cumple la ecuaci
on

l
l
l
x Ay y Ax = 0. Es claro entonces que podemos encontrar una solucion de la forma Ax =
f (x) = x y Aly = g(y) = y 2 , que satisfaga x Alx + y Aly = 2y + 1. Con lo cual
~ l = x + y 2
A
~t = A
~A
~ l = x(4y 1) 2y 2 + z k
A
Claramente, las suposiciones

Alz = Alz (x, y, z) = 0,
Alx = Alx (x, y) = f (x)
Aly = Aly (x, y) = g(x)
son arbitrarias y otras suposiciones pueden ser hechas y, tendremos resultados distintos
~ a traves de las
e) Encuentre los potenciales escalar y vectorial asociados con este campo vectorial A,
l
t
~
~
componentes longitudinal, A , y transversal, A
~ l , del campo.
Soluci
on: El potencial escalar, = (x, y, z), esta asociado a la componente longitudinal, A
Esto es
x = x (x, y, z) (x, y, z) = x2 + (y, z)

l
l
~
~
~
~
A = 0 A =
y 2 = y (x, y, z) y 2 = y (y, z)
Con lo cual
(x, y, z) =
x y3
+
+ (z)
2
3
~ = (x,
~
El potencial vectorial para un campo vectorial,
y, z), esta asociado a la componente
t
~
transversa, A , del campo. Esto es
x(4y 1) = y z z y
~ A
~t = 0 A
~t =
~
~
2y 2
= z x x z
z
= x y y x
Una vez m
as, y de forma arbitraria, suponemos z = 0. Entoces las ecuaciones anteriores se
convierten en
x(4y 1) = z y ; 2y 2 = z x ; y z = x y y x
con lo cual
x(4y 1) = z y
Hern
andez & N
un
ez
y = x(4y 1)z + f (x, y)
287
M
atica (Vol 1)
2y 2 = z x
BORRADOR PRELIMINAR
x = 2y 2 z + g(x, y)
y con estos resultados debemos satisfacer

z = x y y x
z = (4y 1)z + x f (x, y) + 4yz y g(x, y)
con lo cual es inmediato que una posible solucion surge de f (x, y) = g(x, y) = 0, para que
finalmente el potencial vectorial lo podamos expresar como
~ = x(4y 1)z 2y 2 z
17. Muestre que

Si un campo de velocidades es potencial, el campo de aceleraciones tambien lo sera. Esto es
~
~
Si ~v (~r(t), t) =
entonces ~a(~r(t), t) =
con

d ~v (~r(t), t)
~v (~r(t), t)
~ ~v (~r(t), t)
=
+ ~v (~r(t), t)
dt
t
Quiz
a le pueda ser u
til el resultado del primer problema de este examen
~a(~r(t), t) =
Soluci
on: Adaptando la relaci
on vectorial del primer problema obtenemos

~ ~v
~ v 2 = 2 ~v
~ ~v
~ ~v + ~v
~ (~v ~v ) = ~v
~ ~v + ~v
~ ~v + ~v
con lo cual

~
1 ~ 2
1 ~ ~ 2
~
~a = +
=
+
t
2
t
2
~
~a =
Encuentre la forma del potencial del campo de aceleraciones en terminos del campo de velocidades
y su potencial
Soluci
on: Arriba notamos claramente que

=
Hern
andez & N
un
ez
1 2
+ v
t
2

1 ~ 2
+
t
2
288
M
atica (Vol 1)
5.14.
BORRADOR PRELIMINAR
Algunos problemas propuestos
1. Muestre que
~ =() + () +k
()
a) Considerando
x
y
z

~
~ (x, y, z)
~ (x, y, z) = 0
1)

~ (x, y, z)
~ (x, y, z) = 0
2)
b) Si
x = r sen cos
y = r sen sen
x = r cos
y
()
~ = () + () + k
x
y
z
~ ; =
~ f
~
Encuentre, en este nuevo sistema de coordenadas (r, , ) , las expresiones para f
~
y ~v
2. En coordenadas cilndricas un vector tiene por componentes (0, sen , z).
Calcular
a) La divergencia en coordenadas esfericas
b) El rotor en coordenadas cartesianas
3. Muestre que se cumple la siguiente la relacion

~ ~a
~ ~a
~
~
~ ~a =
~
~a
y a partir de ella encuentre las componentes del laplaciano ~a en coordenadas cilndricas
4. Encuentre el vector normal a la superficie
z=
x2 + y 2 +
p
3
x2 + y 2
en un punto cualquiera (x, y, z) 6= (0, 0, 0) , luego encuentre la expresion para el angulo que forma este
vector con el eje. Encuentre el lmite al cual tiende este angulo cuando (x, y, z) (0, 0, 0).
5. La ecuaci
on de equilibrio hidrost
atico para una esferica es
~ (r) + (r)
~ (r) = 0
P
donde P (r) es la presi
on, (r) la densidad y (r) el potencial gravitacional. Muestre que las normales
a las superficies is
obaras y las normales a las superficies equipotenciales, son paralelas.
con k~rk = r = cte, f (r) un campo escalar bien comportado y ~a y ~c vectores
6. Dado ~r = x + y
+z k
constantes, muestre que
~ =u
a) r
r ~rr ;
~ (~a ~rf (r)) = ~af (r) + (~a ~r) f 0 (r) u
~ (~rf (r)) = 3f (r) + rf 0 (r) ;

~ ((~a ~r) ~r) = 4 (~a ~r)
b)
~ ((~a ~r) ~c) =
~ ((~c ~r) ~a) = (~a ~c) ;
~ ((~r ~a) ~c) = 2 (~a ~c)
Hern
andez & N
un
ez
289
M
atica (Vol 1)
BORRADOR PRELIMINAR
~ (rn~r) = 0
c) Encuentre los enteros n tales que
~ ~r =
~ (f (r) ~r) = 0;
~ (~c ~r) = 2~c;
~ (~c (~a ~r)) = ~a ~c
d)
~
((~c ~r) ~a) = ~a ~c

2
f (r)
~ ~r
~ f (r) = r2 f (r) r2 f (r)
~
~
e) ~r
2r
con
f
(r)
f (r)
r 2
r
7. Encuentre la expresi
on para la divergencia y el rotor de la velocidad ~v y la aceleracion ~a de un cuerpo
rgido alrededor de un punto (x, y, z)
~v =
~ ~r
~a = ~ ~r +
~ (~
~r)
donde
~ es la velocidad angular y ~ es un vector constante.
8. Pruebe que el campo de velocidades ~v (~r) de un disco que rota alrededor de su centro con una velocidad
~ ~v = 2~
angular
~ cumple con la relaci
on
9. Encuentre la circulaci
on alrededor de una circunferencia de radio unidad centrada en el origen para los
siguientes campos.
)
a) ~a = 21 (y + x

b) ~a = (xy + 1) + 12 x2 + x + 2
10. Encuentre el rotor y el flujo para el campo vectorial

~a = x2 + y 4 + 3xy
+ 2xz + z 2 k
a traves del hemisferio x2 + y 2 + z 2 = 16 con z > 0
11. Muestre la relaci
on

~
~ ~a =
~
~ ~a
~
~ ~a
~a
y a partir de ella encuentre las componentes del Laplaciano ~a en coordenadas cilndricas

~ (~r) , soluci
12. Muesre que el vector, A
on a la ecuacion

~ A
~ k2 A
~=0
~

~=0
~ + k2 A

~ A
~ = 0. La ecuacion
~ + k2 A
~ = 0 se conoce como la ecuaci
con la condici
on solenoidal
on de
Helmholtz.
13. Dado un campo de fuerzasF~ = rn ~r. Verifique si existe una funcion escalar (x, y, z) tal que F~ =
~ (x, y, z) . En el caso de que sea posible, encuentre esa funcion (x, y, z) .
~ = ~r p~. Para pasar a mec

14. En mec
anica cl
asica la cantidad de movimiento viene definida como L
anica
cu
antica se asocia ~r y p~ con los operadores posicion y cantidad de movimiento los cuales, al operar
sobre la funci
on de onda nos proveen

hr| X |i = x hr |i = x (~r)
hr| Px |i = i~
hr |i = i~
(~r)
x
x
hr| Y |i = y hr |i = y (~r)
hr| Py |i =
hr| Z |i = z hr |i = z (~r)
hr| Pz |i =

i~
hr |i = i~
(~r)
y
y

Hern
andez & N
un
ez
i~

hr |i = i~
(~r)
z
290
M
atica (Vol 1)
BORRADOR PRELIMINAR
En definitiva, en coordenadas cartesianas en la representacion de coordenadas {|ri} tendremos que

hr| R |i = ~r (~r)
~ (~r)
hr| Px |i = i~
a) Muestre que en Mec

anica cu
antica las componentes cartesianas del operador cantidad de movimiento angular son

hr| Lx |i = i~ y
z
(~r) ;
hr| Ly |i = i~ z
x
(~r)
z
y
x
z

hr| Lz |i = i~
y
x
y
x

(~r)
b) Utilizando las definiciones anteriores muestre que el conmutador de las componentes cartesianas
de la cantindad de movimiento angular cumple con
[Lx , Ly ] = i~Lz
y en general ijk Li Lj = i~Li
L
=iL
= Lx + Ly
con L1 = L1 = Lx ; L2 = L2 = Ly ; L3 = L3 = Lz y L
+ Lz k
yB
que conmtan entre ellos y con L
tales que
c) Dados dos Operadores Vectoriales A
h
i h
i h
i
B
= A,
L
= L,
B
=0
A,
demuestre entonces que
h
i

L,
B
L
=i A
B
L
A
15. El campo magnetico generado por una corriente I es

0 I
x
y
~
B=
+ 2
2 x2 + y 2
x + y2
~ tal que
~ A
~=B
~
Encuentre un vector potencial magnetico, A,
~
~
~
~
16. Si un campo
vectorial tiene
la forma B = , entonces B es solenoidal y su potencial vectorial
~ = 1
~
~ .
es: A
2

~ (~r) , del momento magnetico dipolar, m,
~ B
~ m
17. Dados, el potencial vectorial, A
~ y la fuerza F~ =
~
~ muestre
que registra un momento magnetico dipolar, m,
~ sometido a un campo magnetico externo, B,
que la fuerza ejercida por un dipolo magnetico sobre otro viene dada por

0
~m
m
~
~
r
A
r) =

~ (~
4r3
0 ~ 2m1r m2r m1 m2 m1z m2z
~
Fm1 m2 =

4
r3
~
~
F~m
(~
r
)
=
m
~
~
con m
~ = mr u
r + m u
+ mz u
z
Hern
andez & N
un
ez
291
M
atica (Vol 1)
BORRADOR PRELIMINAR
18. Desarrolle el Teorema de Gauss para el caso bidimensional. Esto es, suponga una lnea de carga orientada en la direcci
on del eje z genera un potencial
() = q
ln
;
20
~ =
~
E
con =
p
x2 + y 2
19. Pruebe la generalizaci

on del Teorema de Green
ZZZ
ZZ n
o
~
(~r) (~r)
(~r) d S
{ (~r) L (~r) (~r) L (~r)} d V = p (~r)
(~r)
V

~ p (~r)
~ + q (~r)
donde L es el operador autoadjunto definido por L =
20. Considere una esfera de radio r = a y carga Q.Grafique su potencial electrostatico para 0 < r < .
21. Considere una esfera de densidad uniforme, 0 , radio r = a, y masa M.
a) Muestre que la fuerza gravitacional por unidad de masa es F~ =
4G0
3r
u
r para 0 < r a
b) Encuentre el potencial gravitacional asociado a esta fuerza

c) Imagine un tunel que atravieza la esfera pasado por su centro. Encentre la ecuacion de movimiento
y la expresi
on del per
odo para una partcula de masa m, que se deja caer por ese t
unel.
~ tal que
~ A
~=B
~ muestre que
22. Dado un vector potencial magnetico, A,
ZZ
I
~ d S
~= A
~ d ~r
~ (~r) A
~ (~r) +
~ (~r)
B
es invariante de calibre: A
s
23. La fuerza de Lorentz para una partcula

con carga
q que se mueve con una velocidad ~v en un campo

~ + ~v B
~ . Muestre que
~ y magnetico B
~ es F~ = q E
electrco E

~ + ~v B
~
F~ = q E
~
~
E =
~ A
~=B
~
Hern
andez & N
un
ez
"
#

~
dA
~
~
~
~
F =
+ A ~v
dt
292
Bibliografa
[1] Apostol, T. M. (1972) Calculus Vol 2 (Reverte Madrid ) QA300 A66C3 1972
[2] Arfken, G. B.,Weber, H., Weber, H.J. (2000) Mathematical Methods for Physicists 5ta Edici
on
(Academic Press, Nueva York)
[3] Borisenko, A.I, y Tarapov I.E. (1968) Vector and Tensor Analisys (Dover Publications Inc, Nueva
York)
[4] Dennery, P. y Krzywicki, A. (1995) Mathematics for Physicists (Dover Publications Inc, Nueva York)
[5] Gelfand, I.M. (1961) Lectures on Linear .Algebra (John Wiley & Sons Interscience, Nueva York ).
[6] Lovelock, D, y Rund, H. (1975) Tensors, Differential Forms & Variational Principles (John Wiley
Interscience, Nueva York ).
[7] Santal
o, L.A (1969) Vectores y Tensores (Editorial Universitaria, Buenos Aires)
[8] Schutz, B. (1980) Geometrical Methods in Mathematical Physics (Cambridge University Press,
Londres)
293

Coordenadas Curvilineas y Calculo Vectorial

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Coordenadas Curvilineas y Calculo Vectorial

Cargado por

Copyright:

Formatos disponibles

Captulo 5

Coordenadas Curvilneas, Campos y

Los vectores podr

La misma propuesta se cumplir

Ahora bien, esto implica que

con |ur i = cos |ii + sen |ji

Universidad Industrial de Santander

si suponemos que la partcula describe un

Mientras que en coordenadas polares ser

~r |ri = rP (t) |ur i(t)

con lo cual la velocidad

Universidad Industrial de Santander

|ur i(t) + r (t)P

Claramente para el caso de un movimiento circular

~r (t) = R |ur i(t)

~a (t) = R d(t) 2 |u i + R d2 (t) |u i

es decir d~r (t) = lmt0

~r (ti ) es tangente a la trayectoria. Es claro que

Podemos generalizar esta afirmaci

Universidad Industrial de Santander

son la base de vectores.

Por otro lado el m

es el vector tangente a la curva. Dado que

(ds) = gij dxi dxj = gij d

Universidad Industrial de Santander

Figura 5.1: Coordenadas Curvilneas en 2D.

Coordenadas Curvilneas Generalizadas

(ds) = gij dxi dxj d

gij = qri qrj

genere una trada de vectors base {|

Universidad Industrial de Santander

con lo cual podemos definir el elemento de lnea como

Es decir que identificamos la metrica como

De tal forma que los casos particulares se recuperan facilmente.

Coordenadas generalizadas, vectores y formas

Recordando como construimos el desplazamiento para una base generica ortogonal, {|

De esta manera las componentes covariantes y contravariantes estaran relacionadas como

Universidad Industrial de Santander

Entonces, el vector velocidad en la base cartesiana se puede expresar como

Con lo cual resulta f

Para encontrar la expresi

|ri = x |ii + y |ji + z |ki =

Universidad Industrial de Santander

El elemento de lnea viene definido como

Las coordenadas cilndricas se expresan como

|ri = x (, ) |ii + y (, ) |ji + z |ki

y estas cantidades pueden ser identificadas de

las leyes de transformacion respecto a las

Universidad Industrial de Santander

y del mismo modo

mientras que los vectores unitarios ser

El elemento de lnea viene definido como

Para construir el sistema de coordenadas esfericas

|ri = x (r, , ) |ii + y (r, , ) |ji + z (r, , ) |ki = x (r, , ) + y (r, , )

x = x (r, , ) = r cos sen

y = y (r, , ) = r sen sen

Universidad Industrial de Santander

y del mismo modo

h = kr sen sen +r cos sen

(r sen sen ) + (r cos sen ) = r sen

(r cos cos ) + (r sen cos ) + (r sen ) = r

mientras que los vectores unitarios ser

= cos sen + sen sen