ETSI de CAMINOS, CANALES Y PUERTOS DE MADRID

Grado en I.C. y T. 2 Curso - TEORA de CAMPOS - PRCTICAS

Ejercicios resueltos de la Prctica 2 (2012-13)
a) Sistemas de coordenadas curvilneas
Ejercicio n 1: i) r(u,v,w) = uvcosu_i +uvsenu
_
j +
1
2
(u
2
v
2
)_k J =
( , , )
( , , )
x y z
u v
( c
(
c u

=
{ }

i
| | |
| | |
u v
g g g
e
(
(
(

=
cos cos sen
sen sen cos
0
v u uv
v u uv
u v
u u u
u u u

(
(
(

; detJ = uv(u
2
+v
2
) = 0 uv = 0; luego el dominio de regularidad se puede elegir entre cada una
de las cuatro regiones en que se descompone el dominio matemtico, no conexo, de la transformacin: {(u,v,u) : u = 0,
v = 0, 0su<2t}. Se toma por sencillez {{(u,v,u) : u>0, v>0, 0su<2t} [este proceder es habitual cuando el dominio
matemtico en que detJ = 0 no es conexo: el requisito de ser una regin exige la condicin de conexo].-
ii) Base natural en cartesianas: en las columnas de J, como se ha indicado.-
iii) G = J
t
J =
2 2
2 2
2 2
u v
u v
u v
+
+
(
(
(

, [obs.: sist. de coordenadas ortogonal ( admite base fsica)].-
iv)
k
i1
k ,i f c = =
(
I

=
2 2
2 2
0
1
1
0
0 0

u v
u
u v
v u
u v
J
J
u
+

+
(
c
(
=
(
c
(

;
k
i2
(
I

=
2 2
2 2
0
1
1
0
0 0

u v
u
v u
u v
u v
J
J
v
+

+
(
c
(
=
(
c
(

;
k
i3
(
I

=
2
2
2 2
2 2 2 2
0 0
1
1
0 0
0

u v u v
u v
uv
u v
u v
J
J
+ +

+
(
c
(
=
(
cu
(

. #.
Ejercicio n 2: 1) La base natural curvilnea de este sistema se obtiene derivando r(u,v,w), como todas:
r(u, v, w) = e
u
cosv_i + e
u
senv
_
j + w_k

_
g
u
(u,v,w) =
r
u
c
c
= e
u
cosv_i + e
u
senv
_
j ;
_
g
v
=
r
v
c
c
= e
u
senv_i + e
u
cosv
_
j ;
_
g
w
(u,v,w) = _ k .
Dispuestos matricialmente, se tienen las columnas de la matriz jacobiana:
J(u,v,w) =
{ }
cos sen 0
| | |
( , , )
sen cos 0
( , , )
0 0 1
| | |
i , j ,k
u u
u u
e v e v
x y z
g g g e v e v
u v w
u v w

c
c
( (
(
= =
( (

(


(Se observa que:
_
g
u
= e
u
e

(e
u
,v,w) = e
u
_
g

(e
u
,v,w),
_
g
v
= e
u
e
u
(e
u
,v,w) =
_
g
u
(e
u
,v,w) ,
_
g
w
(e
u
,v,w) =
_
g
z
= _ k, donde las bases fsica y
natural cilndricas se tomaran para = e
u
, u = v, z = w, lo que permite abreviar algunos clculos y asegurar que la base natural es
ortogonal). La base natural recproca, en la base cartesiana, se obtiene en las filas de J
1
:
J
1
(u,v,w) =
{ }
cos sen 0
sen cos 0
0 0 1
i , j ,k
u u u
g e v e v
v u u
g e v e v
w
g





( (
( ( =
( (


Las matrices de Gram son diagonales:

2 2
0 0 0 0
1
2 2
0 0 0 0
0 0 1 0 0 1
( , , ) ... ; ( , , )
u u
e e
t
u u
e e G u v w J J G u v w

( (
( ( = = = =
( (

#.
2) Los smbolos I
i
jk
son las componentes naturales contravariantes de los vectores
j
k
g
u
c
c
, o sea que deben ser:
I
i
jk
=
_
g
i

j
k
g
u
c
c
. De este modo, en virtud de la estructura sugerida de las matrices J(u,v,w) y J
1
(u,v,w) se concluye:

cos sen 0 cos sen 0
1 0 0
i 1
sen cos 0 sen cos 0 0 1 0
j1
i , j
0 0 1 0 0 0 0 0 0

u u u u
e v e v e v e v
u u u u
e v e v e v e v
u
f c
J J

c
= =
( (
(
( ( ( I = = =
(

( (


ETSICCP Teora de Campos Curso 20012-13 Solucionario Pr.2 - 2


cos sen 0 sen cos 0
0 1 0
i 1
sen cos 0 cos sen 0 1 0 0
j2
i , j
0 0 1 0 0 0 0 0 0

u u u u
e v e v e v e v
u u u u
e v e v e v e v
v
f c
J J

c


c
= =
( (
(
( ( ( I = = =
(

( (



cos sen 0
0 0 0 0 0 0
i 1
sen cos 0 0 0 0 0 0 0
j3
0 0 1 0 0 0 0 0 0

u u
e v e v
u u
e v e v
w
J J

c
(
( (
( ( I = = =
( (

(


A partir de la disposicin obtenida, la alternativa se obtiene reordenando los smbolos de modo que las tres primeras
filas de las tres matrices anteriores formen ahora las tres columnas de la 1 caja y as sucesivamente las tres segundas y
las tres terceras filas. Concretamente:

1 0 0 0 1 0 0 0 0
1 2 3
0 1 0 1 0 0 0 0 0
ij ij ij
0 0 0 0 0 0 0 0 0
; ;
( ( (
( ( ( I = I = I =
( ( (


#.
- 3) Se pide el campo vectorial
v
F
c
c
en componentes naturales contravariantes. La derivacin covariante permite
escribir directamente estas componentes en notacin indicial, a las que se designa agregando los subnd. , 2 a la
notacin F
i
propia de las componentes contravariantes de F (formulario). O sea:
F
i
, 2
=
v
c
c
F
i
+ F
h
I
i
h2

(i =f)

1
,2
0 1 0 0
3
1 0 0 1
,2
0 0 0 0 0
3
,2

F
u u v
F v v u
v
w w
F

c
c
(
( ( ( ( (
(
= + = +
( ( ( ( (
(

(

= 1
0
v
u

+
(
(


de modo que, finalmente:
v
F
c
c
= v
_
g
u
+ (1+u)
_
g
v
#.
Ejercicio n3.- [A
ijk
]
i=f, j=c, k=m
=
k

Q t
x
Q
c
c
, siendo Q =
cos sen
sen cos
(
(

, la matriz que da la base fsica polar en la cartesiana
(por columnas). Resultan: [A
ij1
] =
0 0
0 0
(

(o sea que


0
e e c c
c c
= = ) y [A
ij2
] =
0 1
1 0

(

(as que


,
e e
e e
c c
c c
= = ) #.
Ejercicio n 4.- 1) La expresin de la velocidad en curvilneas se ha visto en Teora: v =
du
k
dt

_
g
k
. La de la aceleracin,
tambin se ha visto: a = a
k
_
g
k
= (
d
2
u
k
dt
2 +
du
i
dt
I
k
ij
du
j
dt
)
_
g
k
: ambas se obtienen mediante la regla de la cadena
u t
t r
v t

, y anloga
para derivar a.-
2) i) El vector posicin en las coordenadas curvilneas es: r(u,v,w) = (u
2
v
2
)_i + uv
_
j + w_k, de donde:

_
g
u
= u_i +v
_
j ,
_
g
v
= v_i +u
_
j ,
_
g
w
= _ k, o bien J(u,v,w) =
| | |
| | |
0
0
0 0 1
g g g
u v w
u v
v u
( (
=
( (
( (


, Se desprende la matriz J
1
(u,v,w) =
2 2
2 2
0
1
0
0 0
u v
v u
u v
u v

+
+
(
(
(

, cuyas filas contienen la base natural recproca de este sistema curvilneo. El determinante de J es el factor de
escala g = u
2
+v
2
. ii) Los smbolos de Christoffel se obtienen efectuando [I
i
jk
]
i=f, j=c, k=m
= J
1

k
J
u
c
c
, lo que produce:
2 2
0
i 1
0
j1
0 0 0
u v
v u
u v

+
(
( I =
(

,
2 2
0
i 1
0
j2
0 0 0
v u
u v
u v

+
(
( I =
(

, [I
i
j3
] = [O]. Se rescriben en la disposicin alternativa (necesaria para calcular la
aceleracin en curvilneas): [I
1
ij
] =
0
0
0 0 0
u v
v u
(
(
(

, [I
2
ij
] =
2 2
0
1
0
0 0 0
v u
u v
u v

+
(
(
(

, [I
3
ij
] = [O]. iii) La componente pedida de la aceleracin de
una partcula cuyo movimiento se describe mediante {u
k
= u
k
(t)} ser: a
1
(t) =
d
2
u
dt
2 +
2 2
d
0
d d 1
0
d
d
0 0 0
d

u
u v
dt
u v
v u
dt t
v u v
t

+
(
(
( (
(

(
(


=
d
2
u
dt
2 +
( ) ( ) 2 2 2 2
2 2
d d 2 d dv
d d d d
u u v v u
t t t t
u v u v + +
(
+

, donde u = u(t) y v = v(t) se toman segn indique la trayectoria de la partcula. #.
Ejercicio n 5.- Se denota {e
i
} la base cannica cartesiana.
1) De las ecuaciones de transformacin de coordenadas se tiene: r(u,v,w) = (e
u
+ e
v
)e
1
+ (e
u
e
v
)e
2
+ e
w
e
3

luego:
_
g
u
(u,v,w) =
r
u
c
c
= e
u
e
1
+ e
u
e
2
,
_
g
v
(u,v,w) =
r
v
c
c
= c
v
(r) = e
v
e
1
e
v
e
2
,
_
g
w
(u,v,w) =
r
w
c
c
= e
w
e
3
; (1)
y as: B(P) {
_
g
u
(P) = e
1
+ e
2
,
_
g
v
(P) = e
1
e
2
,
_
g
w
(P) = e
3
}
ETSICCP Teora de Campos Curso 20012-13 Solucionario Pr.2 - 3

Adems
0
1 1 0
0 1 1 0
0 0 1
0 0
( , , ) ; (P)
u v
e e
u v
e e
w
e
J u v w J
(
(
( = =
(
(

(2)
[Obs1: Se observa que la base B(P) es ortogonal, aunque mal orientada; la base recproca en P ser proporcional a sta, como en
todas las bases ortogonales. Como ejercicio reflexionar si ocurre lo mismo en cualquier otro punto (u,v,w)]
y se calcula:
1 1
0
2 2
1
1 1
0
2 2
0 0 1
(P) J


(
(
=
(

(3)
(no se invierte J(u,v,w) porque no se precisa para lo que se pide posteriormente). De este modo, la base recproca en P es:
{
_
g
u
(P) = e
1
+ e
2
,
_
g
v
(P) = e
1
e
2
,
_
g
w
(P) = e
3
} (4)
como se lee en la filas de J
1
(P) [en este caso la matriz es simtrica, pero no suele ser as en general].
2) Para obtener los Smbolos de Christoffel en P se operar: [I
k
ij
(P)] = J
1
(P)
j
(P)
J
u
c
c
.
Pero:
0 0 0 0 0
0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0
0 0 0 0
; ;
u v u v
e e e e
u v u v
e e e e
w w
e e
J J J
J
u v w

( ( (
(
c c c
( ( ( = = = =
( `
c c c
( ( (
(
)


1 0 0 0 1 0 0 0 0
1 0 0 0 1 0 0 0 0
0 0 0 0 0 0 0 0 1
(P) , (P) , (P)
J J J
u v w

c c c ( ( (
= = =
( ( (
c c c


De este modo:

[I
k
i1
(P)] = J
1
(P) (P)
J
u
c
c
=

1 1
0
2 2
1 0 0 1 0 0
1 1
0 1 0 0 0 0 0
2 2
0 0 0 0 0 0
0 0 1

(
( (
(
=
( (
(


. Anlogamente se obtienen:

[I
k
i2
(P)] = J
1
(P) (P)
J
v
c
c
= =
0 0 0
0 1 0
0 0 0
(
(

;
[I
k
i3
(P)] = J
1
(P) (P)
J
w
c
c
= =
0 0 0
0 0 0
0 0 1
(
(


[Obs2: Se observa que los resultados , 0
u u u
g g g
u u v w
g
c c c
c c c
= = = (y anlogos con
_
g
v
y
_
g
w
), se pueden deducir directamente de la
expresin cartesiana de estos vectores en la ecuacin (1)]
Ejercicio n 6.- 1)
1
= 3 ;
2,3
=
2
3 1 1
2 4

+ (siendo =
2 2
x y + ) ; trT = 6, calculada con la matriz de T en la base
cartesiana dada, [T
ij
] =
1
1
1 0
2 0
0 0 3

(
(
(
(
(

o con la suma de sus autovalores.- 2) Siendo J =
cos sen 0
( , , )
sen cos 0
( , , )
0 0 1
x y z
z

c
c u
(
(
(
=

(

, se
tiene:
| |
t
ij hk cart cil
t J T J = = (

2 sen2
1 sen cos sen cos 0
2 cos2 sen2
1 cos sen2 0
2 2
0 0 1
u
+ u+ u+ u u

u u
+ + u u

(
(
(
(

(en esta matriz no se tiene la traza directamente por ser de
componentes puras cova-cova).-
Ejercicio n 7.- 1) Se aplica:
i 1
jk k

J
J
x

c
( I =

c
, luego se necesitan J(u,v,w) =
2 1 0
1 2 0
0 0 2
( , , )
( , , ) w
x y z
u v w
(
(
(
(

c
=
c
(
(

y J
1
=
2 1
0
5 5
1 2
0
5 5
1
0 0
2w
(
(
(

(
(
(
(

(esta inversin se ha hecho por menores, o sea:
1
2 1 2 1 1
1 2 1 2 5

( (
=
( (


, aprovechando la estructura de J). Se observa adems, que | |
J J
u v
c c
c c
= = O
(la matriz nula: se abrevia con esta notacin [O| habitualmente), luego
| |
k k
i1 i2
( ( I = I = O

. Finalmente,
0 0 0
0 0 0
0 0 2
J
w
(
(
c
(
c
(

= y resulta:
0
k
0
i3
1
w
(
(
(
(
(
(

( I =

. Se han obtenido los smbolos con la disposicin i=f, j=c, k=m.
ETSICCP Teora de Campos Curso 20012-13 Solucionario Pr.2 - 4

2) Si llamamos al campo tensorial : , r r = T

entonces [T
ij
] = [x
i
(u,v,w) x
j
(u,v,w)] se obtiene en componentes
cartesianas, aunque en funcin de las coordenadas curvilneas; y se procede al cambio de base a componentes
curvilneas covariantes con la matriz de cambio J, dando:
2 3
2 3
3 3 6
25 25 10
t
25 25 10
pq i j
10 10 4
( , , )
u uv uw
uv v vw
uw vw w
t u v w J x x J
(
(
(
(
(

( ( = =

#.
Ejercicio n 8.- 1) Primero se expresa el campo en componentes cartesianas, pero en funcin de las coordenadas
cilndricas, y resulta:

f

= sen(2u)

i + cos(2u)

j +

k := F
i
e
i
Se pasa a contravariantes cilndricas, con la matriz de cambio
J(,u,z) conocida: [f
i
] = J
1
[F
h
]
cos 3

(, , ) sen3
z
f z g g g = + +

, donde se ha simplificado con las frmulas del seno
y el coseno de suma de ngulos; basta bajar el ndice en cilndricas y el campo

f

en covariantes resulta:


(,, ) sen3 cos 3
z
f z g g g = + +

. Tambin pueden obtenerse primero las covas de

f

: [f
i
] = J
t
[F
h
] y subir luego el ndice
para deducir las contras. 2)
2
, 2
=
2
f c
cu
+
h

I
2
h2
==
3sen3 2sen3 1
sen3
u u

+ u =

(se tiene en cuenta que slo I
2
12

= 0 de
las tres I
2
h2
).- 3) tr( ]

) = | ]

|
2
= 2.
b) Campos: diferenciacin y operadores diferenciales
Ejercicio n 9.- En esfricas el vector r tiene por expresin r = r
_
g
r
por lo que usamos el formulario (operadores
diferenciales en curvilneas) para resolver todos los apartados en esfricas:
1) U(r,,u) = r
k
VU = k r
k1
_
g
r
; 2) U(r,,u) = log r VU =
1
r

_
g
r
;
3) U(r,,u) =
1
r
VU =
2
1
r

_
g
r
; 4) v

=
2
1
r
_
g
r
V v

= 0; 5) A
2
(
1
r
) = V(V
1
r
) = 0; 6) V(
2
1
r
_
g
r
) = 0;
7) V
( ) 2
a r
r

=
2
4
( ) ( )2 a r r a r r r
r
V V
=
( ) ( ) 2 2
1 1
2( ) 2
r r r r
r r
a a g g g g a = 1 ( simtrico de a resp. al plano {
_
g
r
}

r
2
);
8)
( ) ( )
1 1
( ) ( )
a r
r r r
a r a r

V = V + V =

2
1
( )
r
r
g
r a r

=
V +

1
0 3 0
( ) ( )
r
r a a r a r r a
= = = =
(
V V + V V (
(

1

=
=
( ) ( ) ( ) 2
1 2 1 1
( ) ( )
r r r r r r r r
r
ra r a g a a a g g g g a

+ = + = + 1 .
Nota: se aplica Vr = 1, como se ha comentado en clase. Es conveniente recordar los resultados de todos los operadores
diferenciales cuando actan sobre r o r, por la frecuencia con que aparecen en Fsica (y en Teora de Campos). #.
Ejercicio n 10.- Cuestin: V(uv) = vVu uVv (segn el formulario). Pero se tiene:
V(uv) = (e
i
i
x
c
c
)(U
j
e
j
V
k
e
k
) = (e
i
i
x
c
c
)(c
jkh
U
j
V
k
e
h
) = e
i
[c
jkh
(
j
k
i i
k j
U
V
x x
V U
c
c
c c
+ )e
h
] = c
jkh
o
ih
(
j
k
i i
k j
U
V
x x
V U
c
c
c c
+ ) =
= c
ijk
(
j
k
i i
k j
U
V
x x
V U
c
c
c c
+ ) = v(V u) uV v c.q.d. #.
Problema: 1) Se entiende el tensor T verificando T

g
i
=
i
g

con las bases cilndrica y esfrica (respectivamente).

Luego matricialmente se tendr: [t
i
j
(,u,z)] =
{ }
2 2
2 2
0
| | |
0 0 1
0 | | |
, ,
z
z
z
g g g
r
z
g g g
z
u
(
(
(
+ ( (
(
(
( u (
( (

(
+ (
=


, donde se han expresado los
transformados de la base original en la propia base original (ejercicio), como exigen las componentes contra-covas.-
2) Se usa como matriz de paso la propia matriz hallada; se invierte en contra-covas dadas y se pasan a contra-covas
nuevas. O sea (sin efectuar hasta el final para simplificar antes):
1 i
j

(

=
1
i
h
t

(

1
h
m
t

(

m
j
t
(

=
1
i
j
t

(

; finalmente
se invierte expresando el resultado en coordenadas esfricas y resulta:
1 i
j

(

=

(
(
sen 0 cos
cos
r
0
sen
r
0 1 0
. Para dar las cmpntes.
cova-contras de este tensor basta mover los ndices en esfricas:
1 i
j

( =

| |
1 h kj
ih k

[ ] g t g

(

=
2 2
2
cos
sen 0
sen
1
cos 0
sen
0 sen 0
r
r
r

(
(
(
(

.-
ETSICCP Teora de Campos Curso 20012-13 Solucionario Pr.2 - 5

3) Se debe deducir [t
i
j,2
] =

u
[t
i
j
] + [I
i
h2
][t
h
j
] [t
i
h
][I
h
j2
] (ver Teora); y se obtiene: [t
i
j,2
] = =
2
1
0
1 0
z
r
z
r
z
r
(

(
(

(
(

(

, con r =

2
+z
2
, usando los smbolos de Christoffel de cilndricas (o sea, slo son no nulos: I
2
12
= I
2
21
=
1

, I
1
22
= , por lo que
la caja utilizada es: [I
i
j2
] =
1

0 0
0 0
0 0 0
(
(
(

). #.
Ejercicio n 11.- 1) Ver apartado vii) del ejercicio 9.- 2) Se aplica el carcter tensorial del vector gradiente de un
campo escalar, por el cual ( ) ( )
f
e
P f P e
c
c
= V

, as que: ( ) ( )
2 2
1 1
2 2
2
2( )
( ) ( ) 2 2
a a a
r r r r a a a
r r
r
f a a
e
ar
P f P g g a a a g
c
c
( ( =V = = =

1

#.
Ejercicio n 12.- Llamando U(r,,u;t) = temperatura en el punto (r,,u) en el instante t, expresando VU en contras
esfricas (lo que exige subir el ndice a las derivadas parciales efectuadas) y aplicando la expresin curvilnea de la
divergencia se obtiene:
1) ( )

2

( ) 0
r U U U U U U
t t t r
k U k U k g g g
c c c c c c
c c c c c c
A = V V = V + + = (formulario: la divergencia en
curvilneas exige el campo en contras)
2 2 2
1 1

sen
( ) 0
U U U U
r
t r
r r
k g g g
c c c c
c c c c
V + + = Se aplica la expresin
de la divergencia para campos vectoriales en curvilneas del formulario: Vu =
( )
1 i
i
x
u
c
c
(

g
g , al campo u del parn-
tesis anterior y resulta:
...
U
t
c
c
k
2 2 2
2 2 2 2 2 2 2
2 cot 1 1 U U U U U
r r r r r r sen
(
c c c c c
+ + + + (
c c c c cu

= 0 es la ecuacin del calor en esfricas
2) Si U = U(r; t) (no depende de ni de u, y se dice que la distribucin de temperaturas es central respecto del
origen O) la ecuacin se reduce a:
U
t
c
c
=
2
2
2k U U
r r r
k
c c
+
c c
#.
Ejercicio n 13.- Llamamos T := e

. Se nos pide t
ij
(o t
ij
, con tal de probar lo que se pide). Y puesto que e

=
1
r
g
(en contras), se deduce: [t
ij
] =
1
1
0 0 0 0 0 0
2
0 0 0 0 sen
0 sen 0 0 0
sen
r
r
r
r
r

( (
=
( (
( (

. Para calcular
{ }
1
sen
1
sen
j
i
0 0 0 0 0 0 0 0
h i i h
0 0 sen 0 0 sen 0 0
j h3 h j3
0 sen 0 0 sen 0
0 0 0
... cos
r
r
r r
r r
g g
t t

c c
c c

( ( (
( ( ( ( = + I I = =
( ( (

#.
Ejercicio n 14.- 1)e

=
g
r
|
div(e

) = Ve

=
( ) ( )
2
1 1 cot i
sen
i 2
sen
0 0
r
r g r u r
g v
c c |
|
c|
c |
( (
= + + =


e

= r
_
g
|
rot(e

) = Ve

=
2 2
1 1
sen
sen sen
0 0
r
r
g g g
g e
r r
r
| u
c c c
u u c c| cu
= = |
| |
#.
2) Para calcular en el apartado 3) el tensor
c
c|
T
:= S en componentes cova-cova, s
ij
, se aplicar:
s
ij
= t
ij, 2
= c
|
t
ij
I
h
i2
t
hj
I
h
j2
t
ih
, (*)
luego se necesitan los smbolos de la forma [I
k
i 2
] (2 caja en el formulario). Para calcularlos se aplica:
I
k
ij
=
_
g
k

i
j
g
u
c
c
[I
k
i2
]
k=f, i=c
= J
1

J c
c|

Remplazando J =
sen cos cos cos sen sen
( , , )
sen sen cos sen sen cos
( , , )
cos sen 0
r r
x y z
r r
r
r
| u | u | u
c
| u | u | u
c | u
| |
(
(
=
(


y J
1
= G
1
J
t
y operando se obtiene la matriz
mencionada del formulario:
0 0
k
1
0 0
i2
0 0 cot
r
r

|
(
( I =
(

(

#.
ETSICCP Teora de Campos Curso 20012-13 Solucionario Pr.2 - 6

3) Para aplicar (*) usaremos el aparatado (A) para escribir la matriz cova-cova de T, siendo e = e
r
=
_
g
r
:
e
r
~ [t
ij
] =
0 0 0
2
0 0 sen
2
0 sen 0
r
r
|
|
(
(
(


Remplazando en (*), operando y simplificando:
[s
ij
] = c
|
[t
ij
] [I
h
i2
]
t
[t
hj
] [t
ih
] [I
h
j2
] = =
0 0 sen
0 0 0
sen 0 0
r
r
|
|
(
(

#.
Ejercicio n 15.- -1) Se tiene r(u, v) = u + v i + u v
_
j , de donde se deduce la base natural derivando:

_
g
u
=
1 1
2 2
i j
r
u u v u v
c
c +
= + ;
_
g
v
=
1 1
2 2
i j
r
v u v u v
c
c +
= ; J(u, v) =
{ }
| |
| |
i , j
1 1
2 2
1 1
2 2
( , )
( , )
g g
u v
u v u v
u v u v
x y
u v
+ +

(
(
( c
( = =
(
(
c ( (


;
de donde:
g = det(J) =
2 2
1
2 u v

(obs.: base orientada negativamente);
y adems J
1
(u, v) ==
{ } i , j
i j
i j
u u
v v
g g u v u v
u v u v
g u v u v g u v u v
( = + + (
+

= ( (
( + = + (

La matriz de Gram del sistema es:
G(u, v) = [
_
g
i

_
g
j
] =
2 2 2 2
2 2 2 2
2( ) 2( )
2( ) 2( )
2 2
1
2( )
u v
u v u v
v u
u v u v
u v
u v
v u

(
(
( =
(

(

; g = detG =
2 2
1
4( ) u v

El dominio de regularidad lo constituyen los puntos (u, v) para los que estn definidas
biunvocamente las coordenadas cartesianas, existe la base natural y es, efectivamente, base.
Se exigen, pues, las condiciones:
u + v > 0, u v > 0 (para la determinacin de (x, y) y de la base),
2 2
1
2
0
u v
= (para que
sean base). lo que conduce a: (u, v) e D = {(u, v)e
2
: u > |v| >0} #.
-2) Denotamos |: D O ={(x, y)e{x>0, y>0}c
2
/ x = u+v, y = uv}, la relacin que introduce las coordenadas
(u, v) en el primer cuadrante de
2
, como indica el enunciado. As:
i) L.C.u por (u
0
, v
0
) = |({u = t+u
0
, v = v
0
}) = {(x, y) / x = t + u
0
+ v
0
, y = t + u
0
v
0
}
y para identificar la curva, eliminamos t, observando que x
2
y
2
= 2v
0
= cte. L.C.u es
el arco de hiprbola
{ }
2
2
0 0
2 2
1; 0, 0
y
x
v v
x y = > > de centro O, y asntota a la
diagonal principal;
ii) L.C.v por (u
0
, v
0
) = |({u = u
0
, v = t + v
0
}) = {(x, y) / x = u
0
+ t + v
0
, y =
u
0
t v
0
}
y eliminamos t observando ahora que x
2
+y
2
= 2u
0
= cte. L.C. v es el arco de
circunferencia
{ }
2 2
0
2 ; 0, 0 x y u x y + = > > de centro O y radio 2u
0
.
En el punto correspondiente a (u
0
,v
0
) = (3,1), es decir, en (x
0
, y
0
) = (2, 2) resultan los arcos en el primer cuadrante de
las curvas
L.C.u(3,1):
{ }
2
2
2 2
1; 0, 0
y
x
x y = > > , L.C.v(3,1):
{ }
2 2
6; 0, 0 x y x y + = > > (figura) #.
-3) Para calcular los smbolos de Christoffel directamente en la disposicin pedida se aplica [I
k
ij
] = J
1

j
J
u
c
c
, de manera
que se calculan las derivadas de la matriz jacobiana J(u, v) obtenida en 1):

3 3
3 3
1 1
4 4
1 1
4 4
u v u v
u v u v
J
u

+ +

c
c
(
(
=
(

;
3 3
3 3
1 1
4 4
1 1
4 4
u v u v
u v u v
J
v

+ +

c
c
(
(
=
(


Y as, efectuamos:
[I
k
i1
] = J
1

J
u
c
c
=
3 3
3 3
1 1
4 4
1 1
4 4

u v u v
u v u v
u v u v
u v u v

+ +

(
(
+
(
(
(
+ (


=
1 1 1 1
4( ) 4( ) 4( ) 4( )
1 1 1 1
4( ) 4( ) 4( ) 4( )
u v u v u v u v
u v u v u v u v

+ +

+ +
+ (
(
+
(

=
2 2 2 2
2 2 2 2
2( ) 2( )
2( ) 2( )
u v
u v u v
v u
u v u v

(
(
(

=
2 2
1
2( ) u v
u v
v u

(
(


2
2
X
Y
2 6
V
U
D
ETSICCP Teora de Campos Curso 20012-13 Solucionario Pr.2 - 7

[I
k
i2
] = J
1

J
v
c
c
=
3 3
3 3
1 1
4 4
1 1
4 4

u v u v
u v u v
u v u v
u v u v

+ +

(
(
+
(
(
(
+ (


=
1 1 1 1
4( ) 4( ) 4( ) 4( )
1 1 1 1
4( ) 4( ) 4( ) 4( )
u v u v u v u v
u v u v u v u v

+ +

+ +
+ (
(
+
(

=
2 2 2 2
2 2 2 2
2( ) 2( )
2( ) 2( )
v u
u v u v
u v
u v u v

(
(
(

=
2 2
1
2( ) u v
v u
u v

(
(


-4) i) Se da el campo en contras curvilneas,
_
f = u
2
_
g
u
+ 2uv
_
g
v
; para la divergencia se aplica

( ) i
i
1

u
f f
c
c
(
V =

g
g = 2
2 2
u
u v
c
c

2
1 2
2 2
v
u v
u
c
c

| |
+
|
\ . 2
1
2 2
2
u v
uv

( | |
|
(
\ .
=
=
2 2 2 2
2
2 2
u u v u
u v

2
u 2 2 2
2 2
2 2
2 2
( )
u v
u u v uv
u v

+
2
v
2 2
2 2
( )
u v
u v

(
(
(

=
2 2
u v
2 2
3 2 3
2 2
u v
u uv u

3 2
2 2
2
2 2 2
u v
u uv uv +

+
2 2
( ) u v
(
(
(

...=
3 2
2 2
3 2 u uv
u v

ii) Para el rotacional, se pasa primero el campo a covas:
3 2
2
2
2
2
2 2 2 2
1 1
2( ) 2( )

u
u
v
v
u v u uv
u
v u
uv
u v
u v u v
f f
f f
G


( (
(
(
(
= = =
( (
( (




_
f =
2 2
3 2 2
1
2( )
( 2 )
u v
u v
u uv g u vg

( +


De esta manera:
k
1
0
g g
u v
u v z
f f
v u
f
c c c
c c c
V =
g
= 2
2
2 2
2
u v
u v
u
c

c ( )
3 2
2 2
2
( ) 2
u uv
v
u v
c

c

( ) 2 2
k
( ) u v
(

=
3
2
2 2
u v
u v
3 3
2 2 uv u v
3 3
( 4 4 u v uv +
3 3
2 4 u v uv +
2 2 2
)
k
( ) u v
(

=
=
2 2
3 3
2 2 2
2 ( )
2 2 2 2 2 2
( )
k
uv u v
u v uv
u v u v
u v

(
=

2 2 2
( ) u v
2 2
2
k k
uv
u v

=
iii) Para la derivada de
_
f en contras, efectuamos la derivada covariante de
_
f en contras:

( )
i
i h i
, i h1 i
f
u u
f
u
f g f g
c
c
c
c
= = + I
1 2 2
,
2 2 2
,
1
2( )

2 2
u
u
u v
v u
u u v
f u u
f uv uv

c
c
( ( ( (
= +
( ( ( (

=
3 2
2 2 2 2
1
2( )
2 2
2 2
u v
u u uv
v u v u v

( + (
+
( (




( ) ( )
3 2 2
2 2 2 2
2
2( ) 2( )
2 2
u v
u uv u v
u v u v
f
u
u g v g
+

c
c
= + + #.
_______________________________________________________________

Ejercicio n 15' (extra: no viene en la Prctica).- En un plano eucldeo
2
, con una referencia cartesiana {O; x, y}, se
introducen las coordenadas polares habituales {O; , u} y las coordenadas bipolares {O; u, v}, definidas para
cualquier punto P del semiplano A = {y>0} por: u(P) := d(P, O), v(P) := d(P, O'), siendo d la distancia eucldea
ordinaria, O' el punto de coordenadas cartesianas (a, 0), y a una constante positiva. Se conoce adems la trayectoria de
un punto mvil Q de A, descrita en las coordenadas bipolares por las ecuaciones {u = acost, v = asent; 0 < t <
t
2
},
donde t es el tiempo. Se pide:
1) Expresar las variables (u, v) en funcin de las variables (, u) y deducir la base natural bipolar, {
_
g
u
,
_
g
v
}, en
componentes contravariantes polares en un punto genrico. Calcular el ngulo que forman los vectores de la base
bipolar en el punto P
0
, de coordenadas cartesianas (0, a), dibujando la base y las lneas coordenadas bipolares en ese
punto. [4 puntos]
2) Deducir las ecuaciones de la trayectoria de Q en coordenadas polares y calcular el vector aceleracin a(t) de
Q en la base natural {
_
g

,
_
g
u
} del sistema polar, trabajando en dicho sistema polar. [3 puntos]
3) Deducir la expresin de la aceleracin a(t) de Q en el sistema bipolar aplicando un cambio de sistemas de
coordenadas al resultado del apartado anterior. [3 puntos]
Solucin:
1) 1a) Si P = (, u) = (u, v) entonces: u = , v =
2
+ a
2
2a cosu (teorema del coseno en el tringulo POO',
figura). De este modo se observa la cadena:
{ }
{ }
u
r
v

,u
`
,u u)

, que proporciona la base polar (antigua) en la base bipolar

ETSICCP Teora de Campos Curso 20012-13 Solucionario Pr.2 - 8

(nueva), es decir:
( )
( )
{ } ,
| |
,
,
| |
u v
g g
u v
g g
u
(
c
(
(
=
(
( c u

(

, matriz J
1
. La matriz J del cambio de base contiene la base bipolar
(nueva), {
_
g
u
,
_
g
v
}, en la base polar (antigua), {
_
g

,
_
g
u
}, y se obtiene invirtiendo J
1
:
J = (J
1
)
-1
=
( )
( )
2 2 2 2
1
1
cos sen
2 cos 2 cos
1 0
, ( , )
, ( , )
a a
a a a a
u v
u v

u u
+ u + u
(
c u c
( (
= =
(
( (
c c u

(

=
2 2
cos 2 cos
sen sen
1 0
a a a
a a
+ u + u
u u
(
(
(


Las columnas de J contienen las componentes polares de la base natural bipolar. #.
1b) El punto P
0
tiene coordenadas polares (a,
t
2
) y la base bipolar en l est en las columnas de J(a,
t
2
) =
1 2
1 0
a a
(
(
(

, en
componentes naturales contravariantes polares. La matriz de Gram de esta base es

0

( ) G P = J(a,
t
2
)
t
G(P
0
)J(a,
t
2
) ,
siendo G(P
0
) la matriz de Gram de las polares; en suma:

0

(P ) G
=
1
2 1 2
2
1 1 0
1 0 2 2

0
0 2 2
a
a a
a
a
(
( (

(
( =
( (
(
( ( (



El ngulo pedido verifica:
coso =
0 0
12
0 0 11 22
(P ) (P )
2
135
| (P ) | | (P ) | 2
u v
u u
g g
g
g g g g

= = = o = #.
1c) Las lneas coordenadas u = u
0
= cte. son circunferencias de
centro O y radio u
0
; las lneas coordenadas v = v
0
= cte. son
tambin circunferencias de centro O' y de radio v
0
, por la naturaleza de las coordenadas bipolares.
La base natural en P
0
est formada por los vectores tangentes a esas curvas,{
_
g
u
,
_
g
v
}, sealando el sentido de
crecimiento de u o v respectivamente, y de mdulos iguales a 2 (figura en pgina anterior)
2) La trayectoria de Q en polares se obtiene sustituyendo las ecuaciones paramtricas bipolares de la trayectoria, que
son el dato, {u = acost, v = asent}, en las relaciones obtenidas entre las coordenadas, {u = , v =
2
+ a
2
2a cosu
}, y despejando y u.
Al remplazar se obtienen: { = a cost , u = t , 0 < t <
t
2
}, de modo que la parametrizacin en coordenadas polares de la
trayectoria de Q es Q(t) (a cost , t).
Para calcular la aceleracin de Q(t), se comienza con la velocidad, teniendo en cuanta la cadena
t
t
t r

u

, que
implica:
d d d
( )
d d d
r
v t g g
t t t
u
u
= = +
Se deriva de nuevo, teniendo en cuenta que
_
g

y
_
g
u
son derivadas parciales de r y heredan el mismo rbol de
dependencia, o sea
i
t
t
t g

u

, y se tiene (los smbolos de Christoffel de las polares son los mismos que los de
cilndricas, sin terceras componentes, y cumplen sus mismas propiedades mnemotcnicas, o sea los nicos no nulos
son: I
1
22
= , I
2
12
= I
2
21
= 1/):
a(t) =
2 2
2 2
d d
2
d d d d 1 2 d d d d
ij ij
2 d d d d d d d d
d d
d

d
t t
t t t t t t
t t
r
g g
t

u
u u
u
u u
| | | | ( (
( ( | | ( ( = + I + + I ( (

| |
( (
\ . \ .
=
| | | |
1
1
0
0 0 sen sen
cos sen 1 0 sen 1
0 1 1 0
a t a t
a t a t g a t g

| | (
| | ( ( (
|
( = + + +
|
( ( (
| (
\ .
\ .
=
= 2acost
_
g

2 sen a t
g
u

= 2acost
_
g

2 tant
_
g
u
= a(t) #.
_
g
u

_
g
v

O O'
P
0
a
a
P
ETSICCP Teora de Campos Curso 20012-13 Solucionario Pr.2 - 9

3) La aceleracin expresada en componentes contravariantes bipolares es el vector hallado expresado en la base nueva:
a(t) ~
1
1 0 2 cos 2 cos
( ( ), ( ))
0 cos 2tan 2 sen
u
v
a t a t a a
J t t
a t t a t a a

u
( ( ( ( (
= u = =
( ( ( ( (



donde se ha tenido en cuenta que las componentes contravariantes cambian con J
1
. #
__________________________________________________