Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Mecanic A 00
Mecanic A 00
de
Mecnica Terica
ndice general
1. Ecuaciones de Lagrange para sistemas elementales
19
NDICE GENERAL
ii
31
3.2.1. Relacin entre las ecuaciones de Lagrange para sistemas elementales y las ecuaciones d
3.2.2. Determinacin de la fuerzas de ligadura en sistemas holnomos 36
3.3. Ecuaciones de Lagrange para sistemas anholnomos . . . . . . . . . 44
3.4. Potenciales generalizados . . . . . . . . . . . . . . . . . . . . . . . . . 48
3.5. Formulacin covariante de las ecuaciones de Lagrange . . . . . . . 55
3.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
4. Principios disponibles para la integracin
63
95
111
NDICE GENERAL
iii
157
183
197
NDICE GENERAL
iv
231
245
11.1.Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 245
11.2.Nocin del continuo . . . . . . . . . . . . . . . . . . . . . . . . . . . . 245
11.3.Concepto de flujo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 247
11.4.Imagenes euleriana y lagrangiana . . . . . . . . . . . . . . . . . . . . 248
11.5.Derivada msica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 248
11.6.Lneas de corriente, trayectorias y lneas de emisin . . . . . . . . . 254
11.6.1. Lneas de corriente . . . . . . . . . . . . . . . . . . . . . . . . . 254
11.6.2. Trayectorias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 256
11.6.3. Lneas de emisin . . . . . . . . . . . . . . . . . . . . . . . . . . 256
11.7.Estudio de la deformabilidad del continuo . . . . . . . . . . . . . . . 259
11.7.1. Deformacin del vector desplazamiento, vector superficie y volumen259
11.8.Velocidad de deformacion de los elementos de longitud, superficie y volumen262
11.9.Teorema de conservacin de la masa . . . . . . . . . . . . . . . . . . 266
11.10.Tensor velocidad de deformacin . . . . . . . . . . . . . . . . . . . . 267
11.10.1.Tensor de Cauchy y GreenVenant . . . . . . . . . . . . . . . . 279
11.11.Teorema de Reynolds . . . . . . . . . . . . . . . . . . . . . . . . . . . . 280
11.12.Dinmica de fluidos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 284
11.13.tensor de esfuerzos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 287
11.14.Fluidos newtonianos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 296
11.15.Principio de conservacin de la energa . . . . . . . . . . . . . . . . . 300
11.15.1.Ecuacion de Bernoulli . . . . . . . . . . . . . . . . . . . . . . . 304
A. Elementos de cinemtica y dinmica del slido rgido
305
NDICE GENERAL
335
vi
NDICE GENERAL
B.21.Diferencial exterior de una forma diferencial . . . . . . . . . . . . . . 386
B.22.Estructuras simplticas sobre variedades . . . . . . . . . . . . . . . . 387
B.23.El sistema de coordenadas naturales . . . . . . . . . . . . . . . . . . . 388
B.24.Campos de vectores. Derivada de Lie . . . . . . . . . . . . . . . . . . 394
B.25.Expresin del campo vectorial en el fibrado tangente . . . . . . . . . 402
B.26.Expresin en coordenadas naturales de la derivada de Lie . . . . . . 403
Captulo 1
Vamo en este captulo introductorio a analizar las ecuaciones del movimiento en coordenadas generalizadas como paso previo para el anlisis de las ecuaciones de Lagrange.
Para ello consideremos un sistema de N partculas cada una de ellas con
masas m(n). Con referencia a un sistema de referencia inercial con un sistema
de coordenadas ortogonales eucldeas, las ecuaciones del movimiento de la nxima partcula toma la forma
m(n)xi (n) = fi (n),
i = 1, 2, 3,
n = 1, . . . , N
x3(n1)+i
fi (n)
f3(n1)+i
m(n)
m3n2
m3n1
m3n
de tal forma que las posiciones de las N partculas vienen dadas por un vector
x = {x1 , . . . , x3N }, y la fuerza por un vector f = { f1 , . . . , f3N } . En estas condiciones
i = 1, . . . 3N
denadas es un difeomorfismo (existe la aplicacin inversa, es continua y derivada continua) en un entorno del punto. As mismo, designaremos por g i , . . . , g 3N
las componentes generalizadas de la velocidad. Al espacio donde se definen las
coordenadas generalizadas se le denomina espacio de las configuraciones
(1.1)
g j
Gj
g i
(1.2)
gi i
tema basta calcular el trabajo virtual y ver cuales son los coeficientes de cada
desplazamiento virtual.
tema de coordenadas cartesiano eucldeo ortonormal. El propsito de esta seccin es generalizar estas ecuaciones para un sistema de coordenadas cualquiera
{g i }. El trmino sistema elemental designa un sistema dinmico conteniendo un
nmero de partculas conocido sobre el que actua un sistema de fuerzas conocidas. Antes de comenzar la demostracin de la obtencin de las ecuaciones de
Lagrange vamos a demostrar dos lemas que nos van a permitir obtener dichas
ecuaciones. Estos dos lemas nos van a permitir pasar del espacio de las configuraciones que vamos a suponer que es una varidedad diferencial, al espacio
fibrado tangente.
Lema 1.4.1 Sean g {g 1 , . . . , g N } y g {g 1 , . . . , g N } dos sistemas de coordena-
d g i (g, t )
dt
g j
(1.3)
y
Lema 1.4.2
g i (g, g , t ) g i (g, t )
=
g j
g j
(1.4)
DEMOSTRACIN
Dado que las velocidades generalizadas son las componentes de un vector contravariante, en ambos sistemas estan relacionadas dadas por la expresin
g k =
g k
g i
g i +
g k
t
La anterior expresin nos muestra como obtener las componentes de la velocidad (que es un vector del espacio tangente) en el sistema de coordenadas primado a partir de sus correspondentes coordenadas en el sistema sin primar, pero
nos mantenemos en el espacio tangente. Vamos a considerar ahora que en la anterior expresin las coordenadas y las velocidades son independientes, esto es
consideramos a la expresin anterior como una expresin en el fibrado tangente
donde los elementos que pertenecen a l no solo dependen de las coordenadas
g j si no tambien de las velocidades generalizadas g j . Esto es supondremos que
g k = g k (g, g , t ). Derivando parcialmente respecto de g j manteniendo las velo-
g k (g, t )
g j
g k (g, t )
g i
g j
g i +
g i
g i +
g k (g, t )
=
t
g j
d g k (g, t )
g k (g, t )
=
t
dt
gj
g j
como queriamos demostrar. As mismo partiendo de la expresin de las velocidades generalizadas, derivando parcialmente respecto de g j , tenemos
g k (g, g , t ) g k (g, t ) g i g k (g, t ) i g k (g, t )
=
=
j =
g j
g i
g j
g i
g j
como queriamos demostrar.
Pasemos a estudiar ya cuales son las expresiones de las ecuaciones de Lagrange.
Teorema 1.4.1 Si un sistema dinmico compuesto de N partculas se mueve bajo la accin de un conjunto de fuerzas conocido, funcin nica de las posiciones
de las partculas, las ecuaciones del movimiento en coordenadas generalizadas
d T (g, g , t )
T (g, g , t )
= Gk
dt
g k
g k
k = 1, . . . , N
(1.5)
DEMOSTRACIN
1
d T (x, t )
j 2
m j (x ) =
2
d t x i
d T (x, t )
= fi
dt
x i
siendo
(1.6)
1
T (x, t ) = m j (x j )2
2
x i
g j
y sumando en i
d T (x, t ) x i
x i
=
fi (x)
dt
x i
g j g j
puesto que fi (x) son las componentes covariantes de la fuerza en el sistema cartesiano,
x i
fi (x
g j
, . . . , x 3N ) = Gi (g 1 , . . . , g 3N )
d T (x, t ) x i
dt
x i
g j
=
=
T (x, t ) d x i
d T (x, t ) x i
dt
x i g j
x i d t g j
d x i
x i (g, g , t )
=
d t g j
g j
y
x i
g j
x i (g, g , t )
g j
sustituyendo, tenemos
d T (x, t ) x i
dt
x i
g j
=
=
d T (x, t ) x i (g, g , t )
T (x, t ) x i (g, g , t )
dt
x i
g j
x i
g j
T (g, g , t )
d T (g, g , t )
j
dt
g
g j
por lo que
T (g, g , t )
d T (g, g , t )
= Gj ,
j
dt
g
g j
j = 1, 2, . . . , N
(1.7)
x i
g
g j +
j
x i
t
x i x i k x i
1
1
x i
T = mi x i x i = mi ( j g j +
)(
)=
g +
2
2
t g k
t
g
1
x i x i j
x i x i j k
x i x i
1
g ) + mi (
) + mi (
T = mi ( j
g
)(
)
g
2
2
t
t
g g k
g j t
(1.8)
siendo
x i x i
Tjk
mi
Tj
mi
T0
mi (
g j g k
x i x i
g j t
x i x i
)(
)
t
t
con relacin a las velocidades generalizadas. Se puede asociar al anterior sistema dinmico un espacio de Riemann con una mtrica definida por la ecuacin
d s 2 = 2T d t 2
10
de donde
d s 2 = Ti j d g i d g j
(1.9)
A toda configuracin del sistema le corresponde un punto M bien determinado del espacio de configuracin de tal modo que a todo movimiento del sistema dinmico queda asociado el movimiento del punto M en el espacio riemanniano. Vamos a ver como traducir la dinmica del sistema en una dinmica del
punto M en el espacio de Riemann. En primer lugar las componentes contravariantes de la velocidad del punto M vienen dadas por la expresin
vi =
dg i
= g i
dt
T
g i
T
g i
(1.10)
que como veremos ms adeltante constituye la expresin de los momentos generalizados del sistema.
Vamos a relacionar las ecuaciones de Lagrange con las componentes covariantes de la aceleracin, para ello partiremos de la expresin
ai = g i h a h = g i h
=
!
dvh
dvh
+ hpq v p v q = g i h
+ g i h hpq v p v q =
dt
dt
d gi h
d
gi h v h v h
+ g i h hpq v p v q
dt
dt
11
i ,pq = g i h hpq
y que
d g i h g i h l
=
v
dt
g l
obtenemos
ai =
d vi
g i h l
v + i ,pq v p v q
vh
dt
g l
g i p q
d vi
vp
v + i ,pq v p v q
dt
g q
1
d vi 1
+ [p g i q q g i p ]v p v q i g pq v p v q
dt
2
2
ahora bien, el trmino entre corchetes es antisimtrico, intercambiando los ndices p, q cambia de signo el trmino, y v p v q es simtrico por lo que su producto
contraido se anula, y por tanto
ai =
d vi 1 g pq p q
v v .
dt
2 g i
T
g i
12
y
1 g pq p q 1 Tpq p q T
v v =
g g =
2 g i
2 g i
g i
pues T = (1/2)Tpq g p g q , por lo que
d T
T
= Gi
d t g i g i
ai =
Nota
Las componentes covariantes de la aceleracion no coinciden con la derivada
total covariante de las componentes covariantes de la velocidad pues
Dvp
Dt
d vp
dt
d vp
ipq vi v q =
dt
ipq g i k v k v q =
d vp
dt
k,pq v k v q
mientras que
ap =
d vp
dt
y
k,pq 6=
1 g r s r s
v v
2 g k
1 g r s
2 g k
= s,rk + r,sk
g 0 = 1
13
(1.11)
gjk v j vk =
g j k g j g k
Como hemos visto en la seccin anterior podemos considerar al sistema mecnico como una partcula que se mueve en el espacio de las configuraciones
dotado de una mtrica dada por la expresin,
d s 2 = Ti j d g i d g j
de donde,
(d s/d t )2 = Ti j g i g j
que no es otra cosa que el mdulo al cuadrado del vector velocidad, por lo que
q
p
ds
= v = Ti j g i g j = 2T
dt
=v
= vu
y 1
s
=
.
s g i s
14
Puesto que en este sistema de coordenadas la energa cintica tiene por expresin
1
T = v2
2
d T
= Gy 1
d t y 1
o sea
d T
= Gy 1
d t v
de donde
dv
= Gy 1
dt
siendo
G y 1 = Gi
(1.12)
g i
y 1
= mv
d2g i d g p d g q i
dg j dg i
ij
= g G j G j
+
d s2
d s d s pq
ds ds
(1.13)
1.8. Ejercicios
Ejercicio 1.1 Considerad la superficie de revolucin x = r cos , y = r sin , z =
1.8 Ejercicios
15
p
d T
T
H
G
= p A+ p q + p r
d t a
a
C
B
angular desde el plano ecuatorial. Calcular a) las componentes, contravariantes, covariantes y fsicas de la velocidad. b) las componentes, contravariantes,
covariantes y fsicas de la aceleracin. Demostrar que (a b cos )2 d/d s = h,
constante y que
b2
d
d
= (a b cos )4 /h 2 (a b cos )2
r cos
r sen
z(r ).
16
Figura 1.1:
Calcular las componentes contravariantes, covariantes y fsica de la velocidad y la aceleracin.
Calcular la componente tangencial de la velocidad. Calcular las componentes tangencial y normal de la aceleracin. A la vista de los resultados
obtenidos interpretar los resultados obtenidos en el apartado anterior.
Calcular el radio de curvatura.
Calcular la reaccin de la curva.
Ejercicio 1.7 Calcular las ecuaciones del movimiento de un punto no pesado
que se mueve sobre una parabola que gira alrededor de su eje vertical con una
velocidad angular constante y es atraido hacia el origen con una fuerza proporcional a la distancia.
Ejercicio 1.8 Una partcula pesada de masa m se mueve a lo largo de un cicloide
liso (sin rozamiento) cuyas ecuacin viene dada por las expresiones
x
a( sen )
a(1 + cos )
1.8 Ejercicios
17
g g i j j pq Ap B q
18
Captulo 2
Fuerzas de ligadura
2.1. Fuerzas dadas y fuerzas de ligadura
Se denomima fuerza dada o fuerza activa aquella fuerza actuando en un sistema dinmico que es una funcin conocida de la configuracin, movimiento
del sistema y a caso del tiempo.
Una fuerza de ligadura o pasiva es la fuerza ejercida por un agente, llamado ligadura, cuya accin en un sistema dinmico consiste en impedir que este
asuma ciertas configuraciones o realize algunos movimientos.
Al resolver un problema real, las fuerzas de ligadura no se puede de tratar
de la misma forma que las fuerzas dadas, puesto que el valor de las fuerzas de
ligadura no es conocido hasta despues de haber resuelto el problema dinmico.
Es por tanto importante distinguir entre fuerzas de ligadura y fuerzas activas a
la hora de resolver un problema de dinmica. Vamos a denominar con G a las
fuerzas activas y con R a las fuerzas de ligadura.
Vamos a distinguir asi mismo entre fuerzas de ligadura geomtricas y fuerzas de ligadura cinemticas. Las primeras limitan las posibles configuraciones
en que puede estar el sistema mientras que las segundas limitan los posibles
desplazamientos o movimientos del mismo.
Cada fuerza de ligadura geometrica es tambien una fuerza de ligadura cinemtica puesto que es imposible restringir las posibles configuraciones del sistema sin restringir su capacidad de movimiento. Sin embargo es posible restringir
20
su capacidad de movimiento sin restringir sus posibles configuraciones. Un caso que ilustra esta diferencia es el caso de una esfera que rueda sin deslizar sobre
una mesa. La ligadura geomtrica consiste en que la esfera no abandone la mesa, si no estuviese sta, la esfera caera bajo la accin de la gravedad, puesto que
no cae, la accin de la mesa equivale a la existencia de otra fuerza que se opone a
la accin de la gravedad, es la reaccin normal de la mesa. Ahora bien si la esfera
rueda sin deslizar, la fuerza tangencial debida a las rugosidades de la mesa constituye una fuerza de ligadura cinemtica pues actua acoplando el movimiento
rotacional de la bola con el movimiento translacional de su centro de masas,
pues en caso de rodadura sin deslizamiento no se puede producir un desplazamiento del centro de masas a lo largo de la mesa sin que venga acompaado por
una rotacin de la esfera. Esta fuerza de rozamiento es una fuerza puramente
cinemtica, pues no impide que el centro de masas y la orientacin de la esfera
tengan un valor arbitrario, por tanto esta fuerza no impide que se alcancen ciertas configuraciones del sistema. La fuerza tangencial ejercida por una superficie
puede ser tambien una ligadura geomtrica. Considerar por ejemplo un cilindro que rueda sin deslizar sobre un plano, en este caso todas las ligaduras son
geomtricas.
1. En el caso de un solido rgido, en el que las distancias se mantienen constantes, las fuerzas de ligadura se pueden considerar ideales. Para verlo,
vamos a calcular el trabajo virtual realizado por las fuerzas de ligadura
compatibles con las ligaduras del sistema. Sea F(i ) la fuerza plicada sobre
21
f(i j )
j 6=i
X
i
F(i ) r(i ) =
XX
i
f(i j ) r
ahora bien supuesto que las fuerzas de interaccin entre particulas sean
proporcionales al vector que las une
f(i j ) = f( j i ) = c(i j )r(i j )
por lo que
W =
X
i
F(i ) r(i ) =
X
p
22
23
exacta.
En la definicin anterior se ha supuesto que la ligadura limitaba las configuraciones del sistema a aquellas satisfaciendo una nica ecuacin (g, t ) = 0. Es
posible que existan ligaduras que limiten las posibles configuraciones a aquellas
que satisafen M ecuaciones del tipo i (g, t ) = 0. En este caso lo que se hace es
suponer que exiten M fuerzas de ligadura, una por cada ecuacin. Ejemplos de
fuerzas de ligadura holnomas son las fuerzas que mantienen fijas las distancias
de las partculas en el interior de un slido rgido.
donde la cantidad
A i (g, t )d g i + A0 (g, t )d t = 0
24
t.
Un ejemplo de este tipo de ligadura se obtiene cuando se imponen condiciones generales de rodadura sin deslizamiento.
A i (g, t )d g i + A0 (g, t )d t = 0
donde las cantidades A0 , A1 , . . . , A3N son funciones conocidas de g y t , las componentes generalizadas de la fuerza R1 , R2 , . . . , R3N satisfacen las ecuaciones
R1 R2
R3N
=
= =
A1 A2
A3N
(2.1)
o bien existe una cierta cantidad , llamado mutiplicador de Lagrange, tal que
Ri = A i
DEMOSTRACIN
25
lo que nos indica que no todos los g i son independientes, si no que tendremos
3N 1 independientes, ahora bien, dado que la fuerza de ligadura es ideal, el
trabajo producido por esta en un desplazamiento virtual vale
Ri g i = 0.
Puesto que los g i no son libres, la anterior expresin no nos permite hacer
Ri = 0. Sin embargo si mutiplicamos la ecuacin de ligadura por un cierto factor
y la sumamos a la anterior ecuacin, obtenemos
i = 2, . . . , 3N
por lo que
R1 R2
R3N
=
= =
=
A1 A2
A3N
(2.2)
por lo que salvo un factor podemos calcular las componentes de las fuerza de
ligadura, supuestas conocidas los coeficentes A i de la ligadura holnoma o no
holnoma.
26
SOLUCCIN
Como es de todos conocido, para especificar la configuracin de cualquier solido rigido es necesario dar 6 coordenadas que corresponden en general con las
tres coordenadas del centro de masas del slido y tres ngulos de Euler, que permitan dar la orientacin en el espacio del slido. En este caso exigimos que el
disco ruede sin deslizar ortogonalmente al plano, lo que significa que la distancia del centro del disco, que es el centro de masas, al plano es constante e igual
al radio del mismo, por lo que tenemos una ecuacin de ligadura
zg = a
que es holnoma. Por otra parte, dado que el plano del disco se mantiene vertical, de los tres ngulos de Euler, uno de ellos vale /2 y constituye la otra con-
27
dicin de ligadura holnoma, por lo que nos quedan 4 grados de libertad, las
posiciones xg , yg del centro de masas y , dos ngulos de Euler. Ahora bien
la condicin de rodadura sin deslizamiento impone una condicin de ligadura
cinemtica, que se expresa mediante el hecho de que el punto de contacto entre
el disco y el plano tenga velocidad nula
vc = vg + GC = 0
siendo vc la velocidad del punto de contacto, vg la velocidad del centro de masas, el vector velocidad instantanea de rotacin y r(g c) el radio vector que une
le centro de masas con el punto de contacto. En un sistema de referencia inercial
con el eje k en la direccin ortogonal al plano tenemos
vg = xg i + yg j,
GC = ak
y
u
= k
siendo u un vector unitario ortogonal al plano del disco y por tanto paralelo al
plano, por lo que
u = cos i + sen j
y por tanto
cos i
sen j
= k
sustituyendo
sen )i + ( yg a
cos )j = 0
vc = (xg + a
de donde
xg
sen
= a
yg
cos
a
28
= a sen
yg
a cos
Estas ecuaciones no las podemos integrar y puesto que podemos mover el disco de tal forma que todos las configuraciones xg , yg , , son accesibles, dichas
ecuaciones son las ecuaciones de ligadura no holnomas, por lo que solo nos
queda 2 grados de libertad cinemticos.
Ejemplo 2.2 Evaluar las componentes de las fuerzas de ligadura del ejemplo anterior
SOLUCCIN
/2
= 0
(ligadura 1)
d = 0
(ligadura 2)
y dos anholnomas
d xG + a sen d = 0
(ligadura 3)
d yG a cos d = 0
(ligadura 4)
2.7 Ejercicios
29
Ax = 0
Ax = 0
Ax = 1
Ax = 0
Ay = 0
Ay = 0
Ay = 0
Ay = 1
Az = 1
Az = 0
Az = 0
Az = 0
A = 0
A = 1
A = 0
A = 0
A = 0
A = 0
A = 0
A = 0
A = 0
A = 0
A = a sen
A = a cos
ligadura 2 : Rx = 0
ligadura 3 : Rx = 3
ligadura 4 : Rx = 0
Ry = 0
Ry = 0
Ry = 0
R y = 4
Rz = 1
Rz = 0
Rz = 0
Rz = 0
R = 0
R = 2
R = 0
R = 0
R = 0 R = 0
R = 0 R = 0
R = 0 R = +3 a sen
R = 0 R = 4 a cos
2.7. Ejercicios
Ejercicio 2.1 Considerar el Lagrangiano
1
y,
z)
= (x 2 + y 2 + z 2 ) mg z
L(x, y, z, x,
2
con las ligaduras
y x x y = 0
(a) >Las ligaduras son holnomas o no holnomas ?
(b) Escribir las ecuaciones del movimiento no holonmicas
30
Captulo 3
2 (g , . . . , g
0
..
.
3N
,t) =
..
. =
M (g 1 , . . . , g 3N , t ) =
Este conjunto de M ecuaciones son independientes, por lo que de las 3N coordenadas originales tendremos que ahora nicamente 3N-M son independientes. Sea f=3N-M el nmero de grados de libertad, supongamos por simplicidad
que consideremos como independientes las 3N-M primeras coordenadas, puesto que las anteriores ecuaciones de ligadura son independientes, podemos despejar las M ltimas coordenadas como funcin de las 3N-M primeras coordena-
32
das,
g j = g j (g 1 , . . . , g 3NM , t ),
j = 3N M + 1, . . . , 3N
(3.1)
Ahora bien siempre es posible emplear un conjunto de 3N-M coordenadas cualesquiera q j , con tal que el jacobiano de la transformacin de las g j q k sea
g i = g i (q 1 , . . . , q f , t )
i = 1, . . . , f
(3.2)
i = 3N M + 1, . . . , 3N
(3.3)
El movimiento de un sistema mecnico con N partculas puede ser representado por el movimiento de un punto en el espacio de las configuraciones,
que es un espacio de 3N dimensiones. El de un sistema holnomo teniendo f
grados de libertad puede ser representado por el movimiento de un punto en
un subespacio del espacio de las configuraciones de f dimensiones. Nos referiremos a este subespacio como espacio de las configuraciones de un sistema
holnomo. Vimos en un captulo anterior que el movimiento del sistema en el
espacio de las configuraciones para sistemas elementales est gobernado por
3N ecuaciones de Lagrange, vamos a ver que el movimiento del sistema dentro
del subespacio de las configuraciones para sistemas holnomos est tambien
representado por f ecuaciones de Lagrange en las variables q j
33
g i
q j
q j ,
, i = 1, . . . , 3N;
j = 1, . . . , f
sustituyendo
W =
g i
q j
llamando
Qj =
Gi q j
g i
q j
Gi
tenemos
W = Q j q j
Las cantidades Q j reciben el nombre de componentes generalizadas de la fuerza
para sistemas holnomos.
Teorema 3.1.1 Las componentes generalizadas Q i de las fuerzas de ligadura actuando sobre un sistema holnomo son cero
Dada nuestra hiptesis de que las fuerzas de ligadura son perfectas, el trabajo
realizado por ellas en un desplazamiento virtual es cero, nos lleva a que
0 = W (ligadura) = Q j (ligadura)q j
34
puesto que las q j son independientes, para que la anterior combinacin lineal
sea cero, sus coeficientes han de ser cero
Q j (ligadura) = 0
Darse cuenta que en caso de haber empleado coordenadas g i no hubiesemos
podido hacer cero los coeficientes dado que las g i no son independientes.
d T (g, g , t )
T (g, g , t )
= Gi
i
dt
g
g i
Ri (k)
X
d T (g, g , t )
T (g, g , t )
Ri (k)
=
G
+
i
dt
g i
g i
k
35
X
d T (g, g , t ) g i T (g, g , t ) g i
g i
R
(k))
=
(G
+
i
i
dt
g i
q j
g i
q j
q j
k
Gi
g i
q j
=Qj
y
X
Ri (k)
g i
q j
X
k
Q j (k)(ligaduras) = 0
,t)
,t)
T (q, q
d T (q, q
d T (g, g , t ) g i T (g, g , t ) g i
=
= Q j (3.4)
dt
g i
q j
g i
q j d t
q j
q j
que consituyen las ecuaciones de Lagrange para sistemas holnomos. Como vemos la hiptesis de que los trabajos virtuales de las fuerzas de ligadura sean cero
hace que esto no entren de forma explicita en las ecuaciones lo que nos permite
que podamos en principio integrarlas, pues de haber permanecido en ellas esto
no hubiese sido posible pues las fuerzas de ligadura son desconocidas y nicamente es posible evaluarlas una vez se ha resuelto el problema.
3.2.1. Relacin entre las ecuaciones de Lagrange para sistemas elementales y las ecuaciones de Lagrange para sistemas holnomos
El movimiento de un sistema dinmico compuesto por N partculas puede
ser representado por el movimiento de un punto en un espacio de 3N dimensiones, llamado espacio de las configuraciones g, movimiento descrito por las
ecuaciones de Lagrange para sistemas elementales. Si el sistema, es un sistema
holnomo, con f grados de libertad, f < 3N, el movimiento del sistema puede ser representado por el movimiento de un punto en un subespacio q de f
36
dicho punto viene descrito por las ecuaciones de Lagrange para sistemas holnomos. Aparentemente ambas ecuaciones son idnticas, pero hay importantes
diferencias. En primer lugar la expresin de la energa cintica en los sistemas
elementales presupone movimientos arbitrarios de las partculas del sistema.
En el caso de los sistemas holnomos, la energa cintica solo incluye los movimientos restringidos del sistema. En segundo lugar, las fuerzas generalizadas en
los sistemas elementales incluyen tanto las fuerzas dadas como las fuerzas de
ligadura y estn definidas en trmino del trabajo virtual realizado en desplazamientos virtuales arbitrarios de las partculas, mientras que las fuerzas generalizadas que aparecen en las ecuaciones de Lagrange para sistemas holnomos
solo incluyen fuerzas dadas y estn definidas en terminos de trabajo virtual realizado en desplazamientos virtuales compatibles con las ligaduras del sistema.
,t)
,t)
d T (q, q
T (q, q
= Q j + R j (M)
dt
q j
q j
j = 1, . . . , 3N M + 1
37
De acuerdo con la relacin derivada anteriormente entre las componentes generalizadas de las fuerzas de ligadura y las ecuciones de ligadura, tenemos
R j (M) =
M
q j
j = 1, . . . , 3N M + 1
por lo que
,t)
,t)
T (q, q
M
d T (q, q
=Qj +
dt
q j
q j
q j
j = 1, . . . , 3N M + 1
M
q j
Ejemplo 3.1 Una bola de masa m desliza libremente sobre una alambre enrollada en forma helicoidal, cuya ecuacin en coordenadas cilndricas es
=a
z = b
grange, las componentes fsicas {z, } de la reaccin que ejerce el alambre sobre
la bola como funcin de .
SOLUCCIN
1
T = m x 2 + y 2 + z2
2
38
= cos
= sen
de donde
x
sustituyendo
= cos sen
= sen + cos
1
T = m 2 + 2 2 + z2
2
z b =
por lo que
1 a2 + b2 2
z
T= m
2
b2
1 g b2 2
t
2 a2 + b2
39
b2
g
a2 + b2
1 gb
t2
2 a2 + b2
Vamos a analizar ahora las fuerzas de ligadura. Supongamos ahora que la coordenada la tratamos explicitamente, en estas condiciones la energa cintica
vale
1
T = m a 2 2 + z 2
2
Q z = mg ,
Q = 0.
(z b)
=
z
(z b)
=
= b
ma 2 =
mg +
b
40
nos dan tres ecuaciones para el clculo de z(t ), (t ) y (t ). Resolviendo el sistema se obtiene para
=
mg a 2
a2 + b2
Rz
Para el clculo de las componentes fsicas, calculamos primero las componentes contravariantes, por lo que multiplicamos por el recproco del tensor mtrip
co, g i j para a continuacin multiplicar por g i i . Dado que el tensor mtrico es
diagonal (obsrvese la expresin de la energa cintica), estas operaciones equip
valen a dividir por g i i , que en el caso de la variable angular vale , y por la
condicin de ligadura es igual a a, por lo que
R z (fis) =
R (fis) =
mg a 2
a2 + b2
mg ab
a2 + b2
El signo negativo de la componente z indica que se opone a la gravedad, la fuerza neta vertical a la que se ve sometida la partcula vale
F z (neta) = mg
mg a 2
b2
=
mg
a2 + b2
a2 + b2
b2
a2 + b2
41
Rz
R
mg
Ft
Figura 3.1:
v = r =
Puesto que = a
+ zk
v = a
a 2 2 + z2
42
p
1p 2
a + b 2 z = a 2 + b 2
b
La componente contravariante de la velocidad es z , y teniendo en cuenta la forma de la energa cintica (T = (1/2)mv 2 = (1/2)m(a 2 + b 2 )/b 2 z 2 ), el coeficiente
del tensor mtrico es g zz = (a 2 + b 2 )/b 2 por lo que las componentes fsicas son
v( f i s) =
1p 2
a + b 2 z
b
esto es el mdulo de la velocidad. Si hubiesemos empleado como variable inde la energa cintica
pendiente , la componente contravariante hubiese sido ,
sera T = (1/2)m(a 2 + b 2 ) 2 por lo que la componente fsica sera
v( f i s) =
a 2 + b 2
t = cos + sen k
donde cos y sen los podemos obtener de la expresin
+ zk
v = vt = v cos + v sen k = a
de donde
v cos = a
v sen = z
teniendo en cuenta la expresin para v, tenemos
cos = p
a
a2 + b2
43
y
sen = p
b
a2 + b2
a = v = a
El trmino a 2 corresponde a la aceleracin centrpeta, el resto corresponde
+ zk
a tan t = a
de donde, multiplicando por t y teniendo en cuenta la expresin obtenida antes
para cos y sen llegamos a
a
tan
a 2 + b 2 =
a2 + b2
z
b
d T
T
a2 + b2
at =
=
z
d t z
z
b2
p
a (fis) = at /( a 2 + b 2 /b) =
t
gi i )
a2 + b2
z
b
que coincide con la componente tangencial a tan a la hlice de la aceleracin obtenida anteriormente. Sustituyendo la expresin obtenida anteriormente para
se obtiene
z,
a t (fis) = g p
b
a2 + b2
Podemos calcular la fuerza tangencial F t sin mas que sumar las componentes R (fis) y la fuerza neta F z (neta) obtenidas anteriormente
Ft =
(R )2 (fis) + (F z )2 (neta) = mg
b
1 p 2 2
a b + b 4 = mg p
2
a2 + b2
a + b2
44
mv 2
a
A k i (q, t )d q i + A k0 d t = 0,
k = 1, . . . , L
X
d T
T
i = Q i + Rk i ,
i
d t q
q
k
i = 1, . . . , 3N M
45
X
T
d T
=
Q
+
k A k i ,
i
d t q i
q i
k
i = 1, . . . , 3N M
que junto con las L ecuaciones de ligadura dan lugar a 3N-M+L ecuaciones para
calcular las 3N-M incognitas q i (t ) y las L k (t )
Ejemplo 3.2 Un disco de radio a y masa m, cuyo plano est restringido a permanecer vertical, rueda sin deslizar sobre una superficie horizontal bajo la accin de una fuerza f cuya lnea de accin pasa a travs del centro de masas del
disco. Obener las ecuaciones del movimiento del disco.
SOLUCCIN
Las ligaduras holnomas vienen dadas por el hecho de que el disco permanece
vertical que implica que el ngulo que forma con la horizontal es /2 y por el
hecho de que la distancia al plano de su centro de masas es constante e igual al
radio a del disco. Las ligaduras anholnomas vienen dadas por el hecho de que
rueda sin deslizar. Tal y como vimos en un ejemplo anterior esta condicin se
puede poner como
sen = 0
x + a
cos = 0
y a
La energa cintica del disco se puede poner como suma de la energa cintica de
su centro masas, supuesto que toda la masa est concentrada all, ms la energa
de rotacin respecto del centro de masas. La energa del centro de masas vale
1
T = m x 2 + y 2
2
1
T = IG
2
siendo IG el tensor de inerca respecto de un sistema de referencia situado en el
centro de masas y que se mueve con movimiento de translacin. Puesto que la
46
Idd
I=
0
Idd
I3
Idd
1
T = ( sen , cos , )
0
2
0
y la energa total
0
Idd
0
sen
1
2
2
0
cos = 2 Idd + 2 I3
I3
1
1
1
2
T = m(x 2 + y 2 ) + Idd 2 + I3
2
2
2
47
que no son integrables, pues aparece el ngulo sin tener ninguna ecuacin
asociada a l. En trmino de desplazamientos, las anteriores ecuaciones las podemos poner como
x + a sen = 0
y a cos = 0
Podemos introducir dos fuerzas de ligadura R1 y R2 , cuyas componentes valen
R1x = , R1y = 0, R1, = 0, R1, = +a sen
y
R2x = 0, R2y = , R2, = 0, R2, = a cos
Nos dice el enunciado que las fuerzas aplicadas pasan por el centro de masas,
por lo que el momento de estas respecto del mismo son nulos y por tanto deben
tener nulas sus componentes generalizadas respecto de las variables angulares.
Sean Gx y G y las componentes generalizadas respecto del eje x e y, las ecuaciones del movimiento toman la forma
m x
= Gx +
m y
= Gy +
Id = 0
= a sen a cos
I3
que junto con las dos ecuciones de ligadura
sen = 0
x + a
cos = 0
y a
nos dan 6 ecuaciones para calcular x(t ), y(t ), (t ), (t ), , . Intentad calcular
cuanto vale la fuerza asociada a la ligadura zG = cte
48
t ) tal que
Teorema 3.4.1 Si existe una funcin U(q, q,
d U
U
Qj =
j
d t q
q j
entonces
d U
U
Hk =
d t h k
h k
DEMOSTRACIN
Puesto que las componentes de la fuerza se comporta como un vector covariante en el cambio de base, se verifica
Hk =
q j
h k
Qj
puesto que
d U
U
Qj =
j
d t q
q j
tenemos
q j
U
d U
=
Hk =
q j
h k d t q j
d U q j
U q j
=
=
d t q j h k q j h k
d U q j
U d q j
U q j
=
d t q j h k
q j d t h k
q j h k
ahora bien
q j
q j
=
,
h k h k
d q j
q j
=
d t h k
h k
49
por lo que
U
U q j
d U
U q j
d U q j
+
=
Hk =
j
j
j
k
k
k
k
d t q h
d t h
q h
q h
h k
t)
como queriamos demostrar. Podemos decir entonces que la funcin U(q, q,
actua como una funcin potencial generalizada. En el caso en que U no dependa
de las velocidades, tenemos
Qj =
U
q j
U
h k
U
d U
j
d t q
q j
d T
T
j
d t q
q j
d L
L
=0
d t q j
q j
(3.5)
Ejemplo 3.3 Calcular el potencial generalizado de una partcula cargada sometida a un campo electromagntico externo
SOLUCCIN
Como es bien sabido la fuerza que actua sobre una partcula cargada sometida
a un campo electromagntico externo viene dada por la expresin (en unidades
50
gaussianas)
1
F = q E + (v B)
c
= 0
4
j
c
= 4
=
= 0
1
( A) = 0
c t
1 A
)=0
c t
lo que nos indica que podemos igualar lo que esta entre parntesis al gradiente
de una funcin escalar
E+
1 A
=
c t
de donde
E =
1 A
c t
A
1
F = q (
) + (v ( A)) .
t
c
51
A j
x i
vj
A i
x j
1 A i 1 A j 1 A i
+ vj
v
Fi = q i
.
j
c t
c x i c x j
x
1 d A i 1 A j
.
+ vj
Fi = q i
c dt
c x i
x
A j
x i
(v j A j )
x i
(v A)
x i
1
1 d Ai
Fi = q i ( A v)
c
c dt
x
d
d
d Ai
=
(A j v j ) =
(A v)
dt
d t vi
d t vi
por lo que
1 d
(A v) .
Fi = q i ( A v)
c
c d t vi
x
d
1
Fi = q i ( A v) +
( A v) .
c
d t vi
c
x
52
Sea U la funcin
1
U = q Av
c
tendremos
Fi =
d U
U
d t vi
xi
1
q
q
A v = mv 2 q + A v
c
2
c
Desde el punto de vista de la Mecnica Clsica, son los campos E y H los que
tienen importancia desde un punto de vista dinmico pues de acuerdo con la
expresin de la fuerza Lorentz son los nicos que intervienen en las ecuaciones
del movimiento de la partcula cargada. Los potenciales y A son funciones auxililiares que nos ayudan, desde el punto de vista matmatico, a resolver el problema (Esto no es as en Mecnica Cuntica, donde los potenciales juegan un
papel similar al de los campos). Puesto que los campos se obtienen por diferenciacin de los potenciales, estos no varan cuando se somete a los potenciales a
operaciones del tipo
1
t
c
A A +
Estas transformaciones reciben el nombre de transformaciones gauge. Si sustituimos los potenciales por sus transformados en la expresin de la Lagrangiana
se obtiene
1
q
1 d
L L + q t + v = L + q
c
c
c dt
53
, t ) de tal forma que las componenTeorema 3.4.2 Si existe una funcin W (q, q
tes generalizadas de la fuerza se pueden poner como
Qj =
,t)
W (q, q
,
j
Hk =
DEMOSTRACIN
q j
h k
Qj
t)
W (q, q,
j
q
q j
h k
t)
t ) q j
W (h, h,
W (q, q,
=
q j
h k
h k
como queriamos demostrar. La funcin potencial W recibe el nombre de funcin de disipacin de Raileygh. Las ecuaciones de lagrange toman la forma
,t)
d T
T
W (q, q
d t q j
q j
q j
(3.6)
54
DEMOSTRACIN
vale
t) =
F (q, q,
X F
q j
q j +
F
t
derivando respecto a q k
puesto que
, t )
F (q, q
q k
q j ,q j ,t
X
j
2 F
q k q
q j +
j
2 F
q k t
(3.7)
F (q, q, t ) F (q, t )
=
q j
q j
X 2 F
d F (q, q, t )
d F (q, t )
2 F
k +
=
=
q
k
j
dt
dt
q j
q j
q k t
k q q
(3.8)
t )
F (q, q,
d F (q, q, t )
=0
dt
q j
q k
q j ,q j ,t
L
L
d L
d L
=
=0
j
j
j
d t q
d t q
q
q j
(3.9)
55
Considerar el fibrado tangente TQ sobre el que estn definidos las ecuaciones de Lagrange. Considerar la 1 forma diferencial
=
L
d q j = p j d q j = Ti d x i
j
L
q i
L
L
d q i + i d(L q i )
q i
q
d L
L
=
d t q i
q i
y de la misma forma
d(L q i ) = d(
d i
q ) = d q i .
dt
56
L
d L
i =0
d t q i
q
por lo que,
L
L
L
=
i
q
q i
sustituyendo, tenemos
L () =
L
q i
d qi +
L
d q i
i
(3.10)
que constituye la forma covariante de las ecuaciones de Lagrange que estabamos buscando. Todos lo elementos de la anterior ecuacion son objetos geomtricos independientes del sistema de referencia que estemos empleando. As tenemos, la 1 forma , la diferencial de la funcin de Lagrange dL, el vector tangente a la trayectoria del sistema y por ltimo la propia funcin de Lagrange.
Ejemplo 3.4 Considerar el caso de un oscilador armnico unidimensional invertido, cuyo potencial viene dado por la expresin V = (1/2)k x 2 . a) Dibujar
las trayectorias en el espacio de las fases xv (espacio de las fases de las velocidades). b) Escribir el campo vectorial dinmico . c) Obtener las ecuaciones
para las curvas integrales (esto es la ecuacion de las trayectorias) en el fibrado tangente. d) Calcular las derivadas de Lie respecto de de la energa E y el
e) Mostrar, calculando la derivada de Lie respecto de que
momento p = m x.
x x va converge hacia cero exponencialmente en el tiempo.
SOLUCCIN :
a) Para evaluar las trayectorias debemos de calcular las ecuaciones del movimiento y elimiar el tiempo entre las ecuaciones que describen las posiciones y
57
las velocidades. Ahora bien es posible tomarun atajo dado que la energa total
es una constante del movimiento tenemos
1
1
E = m x 2 k x 2
2
2
que nos describen la trayectoria en el espacio de fases de velocidades. Una expresin de este campo se puede ver en la figura 3.2
0.5
-0.5
-1
-1
-0.5
0
x
0.5
Figura 3.2:
+ x
x
x
V
= kx
x
+ 2 x
x
x
58
x2
= 2 x1
cuya soluccin es
x(t ) = x1 (t ) = a cosh (t t0 ) + b sinh (t t0 )
) = x2 (t ) = a sinh (t t0 ) + b cosh (t t0 )
x(t
vale 1
d) La derivada de Lie de la energa E(x, x)
L (E) =
E
E
x +
x
x
x
m x
m x
x +
x = m x = k x
x
x
(x x)
(x x)
x +
x = (x x)
x
x
1 Podemos interpretar tambin la derivada de Lie de una funcin a lo largo de un campo inte-
gral asociado al campo vectorial como ( f ) e interpretar al vector tangente como una manera de
derivar y por tanto L = ( f ) = i (/x i ) f = i f /x i . En este caso las componentes del vector
son x i , x i
3.6 Ejercicios
59
3.6. Ejercicios
Ejercicio 3.1 Una partcula de masa m se mueve a lo largo de un alambre que
forma una circunferencia vertical de radio a. El alambre gira en torno a un dimetro vertical fijo con velocidad angular . Encontrar las ecuaciones del movimiento de la partcula suponiendo que no existe rozamiento y que la partcula
es pesada.
Ejercicio 3.2 Considerar una moneda homognea que rueda sin deslizar sobre
una mesa horizontal. Encontrar las ecuaciones del movimiento en trminos de
los ngulos de Euler y las coordenadas del punto de contacto de la moneda con
la mesa.
Figura 3.3:
60
Ejercicio 3.3 Considerar una barra que se mueve en un plano vertical manteniendo uno de sus extremos moviendose a lo largo de una recta horizontal sin
rozamiento. Calcular las ecuaciones del movimiento y la reaccin N que se produce en el extremo.
Ejercicio 3.4 Encontrar las ecuaciones del movimiento del trompo que se localiza sobre una plataforma de masa m sometida a una fuerza F dirigida a lo largo
del eje y y restringida a moverse a lo largo de este eje. Al trompo se le aplica un
momento M en su cima tal y como se muestra en la figura 3.4.
Figura 3.4:
Figura 3.5:
3.6 Ejercicios
61
Ejercicio 3.6 Calcular la energa cintica de una barra que se mueve libremente
en el espacio. Utilizar los ngulos de Euler
Ejercicio 3.7 Dar las ecuaciones del movimiento de una barra que se mueve
libremente en un plano vertical y este a su vez gira con velocidad angular constante en torno a su eje vertical.
Ejercicio 3.8 Dar las ecuaciones del movimiento de un cono de semingulo
que rueda sin deslizar sobre un plano inclinado.
Ejercicio 3.9 Estudiar el movimiento de una barra pesada que rueda sin deslizar sobre un crculo fijo de radio R. El centro de masas de la barra coincide,
inicialmente, con el punto superior del crculo.
Ejercicio 3.10 La figura 3.6 nos muestra a un collar de masa m que desliza a lo
largo de una barra de masa M y longitud 2L. El coeficiente de friccin entre el
collar y la barra es . Hay una fuerza F actuando como se muestra en la figura en
el extremo de la barra. Encontrar las ecuaciones del movimiento utilizando las
ecuaciaones de Lagrange.
Figura 3.6:
62
Captulo 4
d T
T
k = Qk
d t q k
q
64
dv j
j
+ i l v i v l
dt
Tk j q j + Tk j i l q i q l = Q k
T hk Tk j q j + T hk Tk j i l q i q l = T hk Q k
teniendo en cuenta que
T hk Tk j = hj
tenemos
j
hj q j + hj i l q i q l = q h + hil q i q l = T hk Q k
de donde
q h = hil q i q l + T hk Q k
(4.1)
65
, r = 1, 2, . . . , k
= Q1 (q1 , q2 , q1 , q2 )
= Q2 (q1 , q2 , q1 , q2 )
hagamos
x1 = q1 ,
, x2 = q2 ,
, x3 = q1 ,
, x4 = q2
x3
= Q1 (x1 , x2 , x3 , x4 )
x2
x4
= Q2 (x1 , x2 , x3 , x4 )
x3
x4
as pues cualquier sistema de ecuaciones diferenciales de orden k se puede reducir a un sistema de k ecuaciones diferenciales de la forma
d xr
= X r (x1 , x2 , . . . , xk ),
dt
r = 1, 2, . . . , k
(4.2)
66
tonces que
f (x1 , x2 , . . . , xk , t ) = C t e.
es una integral primera del sistema de ecuaciones diferenciales. La condicin
para que una funcin f constituya una integral primera del sistema se encuentra facilmente. Partiendo del hecho que d f /d t = 0, tenemos
f
f
f
f
=0
x1 +
x2 + . . . +
xk +
x1
x2
xk
t
puesto que las xi verifican el sistema, xi = X i , se debe de verificar
f
f
f
f
Xk +
X1 +
X2 + . . . +
=0
x1
x2
xk
t
La soluccin completa de un conjunto de ecuaciones diferenciales de orden k
requiere conocer k integrales primeras independientes
fr (x1 , x2 , . . . , xk , t ) = r ,
r = 1, 2, . . . k
r = 1, 2, . . . k
x2
x2
x1
67
x1
arctan
t
x2
2 .
= 1/2
1 sen(t + 2 )
= 1/2
1 cos(t + 2 )
d L
L
k =0
d t q k
q
la cantidad
pk =
L
q k
68
d L
=0
d t q k
X
k
q k
L
,
q k
k = 1, 2, . . . , r
k = 1, 2, . . . , r
X
k
q k
L
)
q k
puesto que
n L
X
r+1
q k +
k
69
r L
n L
X
X
k +
q
q k
k
k
1 q
r+1 q
!
r
r L
X
X
L
k + q k k
q
q
=
k
q k
1
1 q
k=1
r
X
= k
q k
Tenemos que
R =
As pues
n L
X
r+1
q k
R
q k
q k
q k +
k
n L
r
X
X
k q k k
q
k
r+1 q
1
L
q k
L
q k
R
=
k
k = r + 1, r + 2, . . . , n
k = r + 1, r + 2, . . . , n
k = 1, 2, . . . , r
d R
R
k =0
k
d t q
q
k = r + 1, r + 2, . . . , n
(4.3)
sistema del orden 2(n r ). Una vez resuelto este sistema, podemos sustituir sus
q =
R
dt,
k
k = 1, 2, . . . , r
(4.4)
70
1 q12
1
+ q22
2
2 a + bq2 2
1
1 q12
+ q 2 c d q22
2 a + bq22 2 2
q1 =
L
1
1
= q22 c d q22 2 (a + bq22 )
q1 2
2
71
(a + bq22 )d t
b A2
1
sen 2 (2d + b2 )1/2 +
q1 = (a + b A2 )t
2
1/2
2
4(2d + b )
x + ax
y + ay
z + az
72
punto del sistema de coordenadas final. Bajo esta transformacin de coordenadas el Lagrangiano del sistema L(x, x , t ) se transforma en un nuevo lagrangiano
L (x , x , t ), funcionalmente diferente del lagrangiano original, pero tal que en
cada punto correspondiente el valor es el mismo (es un escalar). Esto es,
L (x , x , t ) = L(x, x , t )
Ahora bien, si la transformacin es una transformacin de simetra, la forma
del lagrangiano es la misma, Esto es
L (x , x , t ) = L(x , x , t )
Como L (x , x , t ) = L(x, x , t ), se tendr bajo una transformacin de simetra que
L(x , x , t ) = L(x, x , t )
esto es,
L = L(x , x , t ) L(x, x , t ) = 0
Esto significa que el lagrangiano en los puntos original y transformado no ha
cambiado y por tanto la dinmica que describe tampoco y el sistema por tanto
se ve de la misma manera por ambos observadores.
Veamos un ejemplo. Suponed una partcula en un campo central. El lagrangiano viene dado por la expresin
1
k
L = m(x 2 + y 2 + z 2 ) + p
2
2
x + y 2 + z2
x cos + y sin
= x sin + y cos
=
73
1
k
L (x , x , t ) = m(x 2 + y 2 + z2 ) + p
2
2
x + y 2 + z 2
del sistema.
DEMOSTRACIN
X L(r, v, t )
i
r(i )
r(i ) +
X L(r, v, t )
i
v(i )
v(i ) =
X L(r, v, t )
i
r(i )
=0
74
d
L
L
=0
d t v(i )
r(i )
y por tanto
L
d
L
=
r(i ) d t v(i )
por lo que
!
d X L
=0
d t i v(i )
!
d X L
=0
d t i v(i )
!
d X L
=0
d t i v(i )
X L
i v(i )
es una integral primera del sistema. Ahora bien esta cantidad representa la proP
yeccin en la direccin de translacin de la cantidad i L/v(i ), con lo que
)
X
1X
m( j )v( j ) v( j ) = m(i )v(i ) P
2 j
lo que completa la demostracin del teorema. As pues vemos que si el lagrangiano es invariante por translacin en una cierta direccin la proyeccin del momento en la direccin de traslacin es una constante del movimiento. As pues
este teorema (y los que siguen) nos liga las propiedades de simetra del sistema
75
con las propiedades de conservacin. Si tenemos un sistema aislado, las propiedades de homogeneidad del espacio, hace que el sistema sea invariante por
translacin en cualquiera de las direcciones del espacio y por tanto la proyeccin momento lineal del sistema sobre cualquiera de las direcciones de traslacin es constante y por tanto el momento total del sistema es una constante del
movimiento. Esto liga a una de las propiedades ms importante de los sistemas
mecnicos, la conservacin del momento, con la homogeneidad del espacio
DEMOSTRACIN
= v(i ) =
d
( r(i ))
dt
76
Ahora bien,
L
X L(r, v, t )
i
r(i )
r(i ) +
X L(r, v, t )
v(i )
v(i )
X L(r, v, t )
X L(r, v, t ) d
=
[ r(i )] +
[ r(i )]
r(i )
v(i )
dt
i
i
L
d
L
=
r(i ) d t v(i )
de donde
L
=
=
=
=
X d L(r, v, t )
X L(r, v, t ) d
[ r(i )] +
[ r(i )]
v(i )
v(i )
dt
i dt
i
d X L(r, v, t )
[ r(i )]
dt i
v(i )
d X
L(r, v, t )
r(i )
dt i
v(i )
0
L(r, v, t )
d X
=0
r(i )
dt i
v(i )
L(r, v, t )
r(i )
v(i )
X
i
L(r, v, t )
r(i )
v(i )
en la direccin del eje de rotacin es una constante del movimiento, con lo que
hemos demostrado el teorema. El resto de la demostracin es similar a la reali-
77
X
L(r, v, t )
r(i )
= r(i ) mi vi = H
v(i )
i
siendo H el momento angular total del sistema, por lo que resulta que
H = c t e.
esto es la proyeccin del momento angular en la direccin de rotacin es una
constante del movimiento. As pues vemos que si el lagrangiano es invariante
por rotacin en una cierta direccin la proyeccin del momento en la direccin
de rotacin es una constante del movimiento. Si tenemos un sistema aislado,
las propiedades de isotropa del espacio, hace que el sistema sea invariante por
rotacin en cualquiera de las direcciones del espacio y por tanto la proyeccin
momento angular del sistema sobre cualquiera de las direcciones de rotacin es
constante y por tanto el momento angular total del sistema es una constante del
movimiento. Esto liga a una de las propiedades ms importante de los sistemas
mecnicos, la conservacin del momento angular , con la isotropa del espacio,
Teorema 4.4.3 Considerar un sistema mecnico con f grados de libertad cuya configuracin esta definida por f coordenadas q1 , q2 , . . . , q f . Si el compor que es
tamiento dnamico del sistema est definido por un lagrangiano L(q, q)
independiente explicitamente del tiempo, la cantidad
) =
H(q, q
X L(q, q)
i
q L(q, q)
q i
i
78
)
Derivando respecto del tiempo la cantidad H(q, q
X L i X L i X L i
dH X d L
i +
=
q
q
q
q
i
i
i
i
dt
i d t q
i q
i q
i q
X
i
L
d L
i q i
d t q i
q
ahora bien por las ecuciones de Lagrange el termino entre llaves es nulo, por lo
que dH/d t = 0 y por tanto la cantidad H es una constante del movimiento o in-
79
L
q i
= i pi
es una constante del movimiento, esto es, es una funcin invariante a lo largo
de la trayectoria del sistema.
Para la demostracin vamos a emplear las coordenadas naturales en las que una
de las lneas coordenadas es la curva integral asociada al campo vectorial . En
este sistema
i
L
L
=1 1
i
y
q
L
L 1 1
y
L
L
= 1
1
y
y
L
L
L 1 1 = 1 .
y
y
L
=0
y 1
por lo que
L
L
L 1 1 = 1 = 0.
y
y
Puesto que
1
L
L
= i i
y 1
q
80
tenemos
i L
L i = 0
q
y por tanto
i
L
q i
es una constante del movimiento, como queriamos demostrar. Teniendo en cuenta que
L
= pi
q i
son los momentos generalizados. Resulta por tanto que la proyeccin del momento generalizado a lo largo del campo es una constante del movimiento, de
donde se pueden deducir los teoremas anteriores.
miento, no tanto la funcin de Lagrange. Como hemos visto antes dos lagrangianas que difieran en la diferencial respecto del tiempo de una funcin cualquiera
dan lugar a las mismas ecuaciones del movimiento, por tanto vamos a exigir que
en una transformacin de simetra, L no es cero si o que
L =
d
dt
Sunpngase que se hace una transformacin de simetra que produce una variacin en las coordenadas de la forma
t)
q = f (q, q,
81
d
dt
L
L
q +
q,
q
q
se tiene
L =
de donde,
d L
L d
q
q +
d t q
q d t
d L
L =
q
d t q
d
dt
d L
q = 0
d t q
t ) se obtiene
y puesto que q = f (q, q,
d L
f = 0
d t q
y por tanto
L
f = cte
q
es una constante del movimiento.
(4.5)
82
en estas
que el tiempo no esta en la funcin de Lagrange, esto es L = L(q, q),
condiciones
dL L
L
=
q +
q
d t q
q
L
L
q +
q,
q
q
dL
t
dt
L
L = ct e
q
Ahora bien, el lado izquierdo de la expresin anterior no es otra cosa que el hamiltoniano, por lo que
H = ct e
por lo que queda demostrado el teorema. Aconsejo al lector que lea el trabajo
de Jean Marc Levy Leblond (Conservation laws for gauge-variant lagrangians in
classical mechanics, American Journal Physics,vol 39, pp 502, mayo 1971), de
donde se ha sacado esta seccin, donde aparecen algunos ejemplos adicionales
de aplicacin de este teorema de Noether ampliado.
83
(4.6)
dx
= f(x)
dt
(4.7)
(4.8)
que es la soluccin de la ecuacion diferencial que estamos buscando. Los sistemas autonomos tienen importantes propiedades, entre ellas resulta que si x(t )
es una soluccin, x(t + a) es tambien una soluccin. O sea los sistemas autonomos son invariantes por translacin temporal. Por lo tanto si x(t ) es la soluccin
84
cin del sistema para el cual x(t0 ) = x0 . Esto significa que la soluccin 4.8 es de
la forma
x = (t t0 , x0 )
(4.9)
Las soluciones del sistema de ecuaciones diferenciales se pueden representar en un espacio de n dimensiones en el que cada uno de los ejes representa
una variable x i . Este espacio recibe el nombre de espacio de las fases. Para cada
instante t el vector x 1 (t ), . . . , x n (t ) recibe el nombre de vector estado del sistema.
Podemos representar la soluccin del sistema como un punto que se mueve en
el espacio de la fases. La tangente a esta curva en cada apunto coincide con el
campo vectorial f, esta propiedad permite visualizar como han de ser las trayectorias. Para ello basta visualizar el campo vectorial f, en cada punto del espacio
f es tangente a la curva integral que pasa por ese punto. Puesto que el tiempo
no aparece explicitamente en f, una trayectoria no debe de cortarse a si mismo
pues si lo hiciese, en el punto de corte, la tangente tomara dos valores diferentes y por tanto la funcin f tomara tambin dos valores distintos en dicho
punto o cual no es posible. Esto no tiene porque suceder en el caso de sistema
no autonomos, pues la funcinf toma valores distintos en un mismo punto en
el transcurso del tiempo.
Se dice que el punto c es un punto crtico del sistema
dx
=f
dt
si y solo si f(c) = 0, en cuyo caso x(t ) = c es una soluccin del sistema. La rbita
que parte de este punto se reduce al propio punto. Este punto c corresponde
con el estado de equilibrio del sistema.
85
x 1
x2
g
sen x 1
L
x 2
= 2x 1
x 2
= 3x 2
x 1
x 2
2
0
x1
x2
=A
x1
x2
x1
x2
e 2t x01
e 3t x02
Podemos dibujar las diferentes trayectorias del sistema anterior que parten de
diferentes puntos iniciales. Estos grafos reciben el nombre de diagrama de fases del sistema. Como vemos de la anterior soluccin las trayectorias convergen
hacia el origen, que es como hemos dicho antes el nico punto crtico. Se dice
entonces que el sistema es asintticamente estable. La figura 4.1 nos muestra el
diagrama de fases del sistema.
Sistemas bidimensionales
Dada su sencillez y facilidad de representacin vamos a considerar los sistemas bidimensionales. Vamos a suponer as mismo que la funcin f se puede
86
-40
-20
20
40
-50
-100
Figura 4.1:
poner como
f(x) = Ax + g(x)
de tal forma que el determinante de la matriz A es distinto de cero y la funcin
g es de clase C 1 en un dominio d que contiene el origen. Supongamos tambien
que la funcin g es pequeacuando x es pequeo. LLamaremos a g el termino perturbativo. Puesto que g es pequeo cerca del origen, podemos pensar
que el comportamiento del sistema cerca del origen viene dada por el sistema
x = Ax
que es ms facil de analizar. Puesto que por hipotesis el determinante de A es
distinto de cero, el nico punto crtico es el origen. Se puede demostar que la hiptesis de que el comportamiento del sistema viene bien descrito por su parte
lineal es esencialmente cierta pero no completamente cierta. La parte no lineal
puede odificar notoriamente la parte lineal del sistema. Suponer que hacemo el
cambio de variable y = T x, siendo T no singular. En el nuevo sistema de coorde-
y = (T 1 AT )y = B y
siendo la nueva matriz coeficientes B equivalente a la matriz original A,
B = (T 1 AT )
87
siendo 6= 0
Los casos 5,6 corresponden con autovalores complejos i y i respectiva-
mente.
88
x 1 (t )
x 2 (t )
e t x01
e t x02
tpico. El caso 0 < < se muestra en la figura 4.3. Las orbitas tienden a
Figura 4.3:
Figura 4.2:
alejarse del origen al tender t .
Caso 2 las solucciones en este caso son de la forma
x 1 (t )
x 2 (t )
e t x01
e t x02
cuyos diagramas se representa en las figuras 4.4 y 4.5 En el primer caso las
89
Figura 4.4:
Figura 4.5:
x 1 (t )
x 2 (t )
e t x01
e t x02
Figura 4.6:
Figura 4.7:
90
x 1 (t )
x 2 (t )
e t (x01 + x02 t )
e t x02
siendo =
x 1 (t )
x 2 (t )
=e
cos(t )
sen(t )
Figura 4.8:
Figura 4.9:
91
92
si x(t ) es una soluccin tal que ||x(t0 )c|| < entonces e ||x(t0 )c|| < para todo
t > t0 (ver figura 4.10)
x0
x0
x(t)
Figura 4.10:
Figura 4.11:
luccun 0 es asintoticamente estable. De hecho en este caso, si (t , t0) denota la matriz fundamental, que se reduce a la identidad en el instante t = t0 ,
93
con > 0 en el caso que todos los autovalores de A tengan partes reales negati-
vas y = 0 si ellas son sencillas con parte real cero. Si una o mas de los autova-
por lo que g(0) = 0. fx (x0 ) es una matriz constante cuyo elemento i , j vale fi /x j .
Claramente si z = 0 es un punto crtico estable o asintoticamente estable de este
sistema, x0 ser un punto crtico estable del primero. Podemos considerar a la
anterior ecuacin como la ecuacin de un sistema perturbado respecto al sistema lineal. as pues este tipo de problemas es bastante interesante.
Teorema 4.7.2 Considerar el sistema
x = Ax + f(t , x)
94
|x|0
|f(t , x)|
=0
|x|
Ejemplo 4.4 Estudiar la estabilidad del pendulo simple amortiguado, cuya ecuacin diferencial viene dada por la expresin
k
g
+ + sen = 0
m
L
S OLUCIN
Ejercicios
Captulo 5
Dinmica hamiltoniana
Cuando uno estudia un sistema dinmico mediante las ecuaciones de Lagrange, se estudia el sistema mediante ecuaciones diferenciales en las que intervienen las coordenadas generalizadas y sus velocidades. Vamos a pasar, mediante una transformacin de Legendre, a estudiar el sistema en trminos de
las coordenadas generalizadas y sus momentos generalizados. En dinmica de
Lagrange, los momentos generalizados son magnitudes derivadas a partir del
lagrangiano, las variables fundamentales son las coordenadas generalizadas. En
la dinmica de Hamilton, los momentos generalizados son unas coordenadas
ms del problema. A cambio de introducir N coordenadas adicionales, vamos
a disminuir el orden de cada ecuacin. En Lagrange tenemos N ecuaciones de
orden 2, en Hamilton vamos a tener 2N ecuaciones de orden 1.
que la transformacin sea uno a uno, lo cual significa que comenzando con la
96
(5.1)
dy
dx
(5.2)
97
y
p
x
Figura 5.1:
o lo que es lo mismo
= y px
(5.3)
= (p)
Para que el proceso anterior se pueda realizar tenemos que despejar x de la expresin d y/d x = p para lo cual, por el teorema de la funcin implicita, es nece-
sario y suficiente que p/x sea distinto de cero. El proceso lo podemos invertir.
Derivando la ecuacin (5.3)
d = d y pd x xd p = xd p
donde se ha tenido en cuenta que d y = pd x. Por lo que
x =
d
dp
(5.4)
eliminando y p entre las ecuaciones (5.2) y (5.3) y teniendo en cuenta la ecuacin (5.4) obtenemos la ecuacin original. El proceso de eliminacin de variables es solo posible si p es funcin de x.
Podemos representar el proceso anterior esquemticamente de la siguiente
98
manera
y = y(x)
= (p)
= px + y
y = xp +
p=
dy
dx
x = dp
pi = xi
(i = 1, . . . , n)
P
d y = ii =n
=1 pi d xi
Pi =k
= i =1 xi pi y
= (p1 , . . . , pk , xk+1 , . . . , xn )
(
(i = 1, . . . , k)
xi = + pi
pi = xi
(i = k + 1, . . . , n)
Pi =k
P
d = + i =1 xi d pi ii =n
p d xi
=k+1 i
Pi =k
y = i =1 xi pi
Ejemplo 5.1 Dada la funcin z(x, y) = 3x 2 y, construir una nueva funcin (p, y)
tal que p = z/x
SOLUCCIN
p=
z
= 6x y
x
2
p
p2
p
p2
p2
= px z(x, y) = p
y=
3
3
y
=
6y
6y
6y
36y 2
12y
99
=
=
=x
p 12y
12y
y
p 2 1
(6x y)2 1
z
=
=
= 3x 2 =
2
2
y
12 y
12 y
y
t ), queremos
En el caso de que tengamos una funcion de Lagrange L(q, q,
De acuerdo con lo visto antes
sustituir la velocidad generalizada q por L/q.
H = q
L
L
q
H
q
H
p
L
q
100
por lo que
q
H
p
H
(5.5)
(5.6)
X
i
pi q i L.
Como antes
qi
p i
H
p i
H
i
q
(5.7)
(5.8)
101
X H i H
dH X H
q +
=
pi +
dt
t
i pi
i qi
X
dH X i
L
H H
= q pi pi q i +
=
=
dt
t
t
t
i
i
L
=0
t
por lo que
dH
=0
dt
y H(p, q) es una integral primera del sistema, que como vimos antes recibe el
nombre de integral de Painleve o Jacobi. Esta constante H no es la energa total
del sistema, como ya vimos en el captulo anterior nicamente cuando la energa cintica es una funcin cuadrtica de las velocidades H es la energa total del
sistema.
102
Vimos en el captulo anterior, que si una coordenada no aparece en la lagrangiana el momento generalizado era una constante del movimiento. Ahora
bien que no aparezca una coordenada no evita que aparezca su velocidad y por
tanto su aceleracin, por lo que no disminuye el orden del sistema. Vimos no
obstante que con una transformacin apropiada podiamos disminuir el orden
del sistema a integrar. Vamos a ver como ahora podemos ignorar directamente
dicha coordenada, por lo que el sistema se reduce a 2(n 1) ecuaciones de pri-
H
,
pi
H
= i,
q
i = 1, 2, . . . , n 1
i = 1, 2, . . . , n 1
Una vez resuelto el problema para las n 1 primeras variables es posible resolverlo para la n-exima mediante la ecuacin
qn =
H
dt
n
103
L
q
= mv + A
v
c
de donde
v=
q
1
(p A)
m
c
por lo que
H = p v L = mv2 +
q
1
q
1
A v mv 2 + q A v = mv2 + q
c
2
c
2
1
q
(p A)2 + q
2m
c
A partir de la anterior expresin es facil deducir cual es el correspondiente operador hamiltoninao en mecnica cuntica, para ello basta sustituir p por i ~,
de donde
H =
q
1
q
1 2 2
q
q
~ + ( )2 A2 + i ~ A + i ~A + q
(i ~ A)2 + q =
2m
c
2m
c
c
c
104
Puesto que el campo de fuerzas es central, el potencial ser una cierta funcin
de V (r ) por lo que el lagrangiano ser
1
L = m(x 2 + y 2 + z 2 ) V (r )
2
pasando a polares esfricas,
tenemos
r sen cos
r sen sen
r cos
1
2 ) V (r )
L = m(r2 + r 2 2 + r 2 sen 2
2
L
= m r
r
L
= mr 2
= mr 2 sen 2
)
la funcin de Hade donde eliminando las velocidades generalizadas (r, ,
milton
H = vpL
se escribe como
!
2
p
p2
1 pr2
H=
+
+
+ V (r )
2 m mr 2 mr 2 sen 2
(5.9)
105
sente las ecuaciones de Hamilton en forma independiente del sistema de coordenadas. En dinmica lagrangiana introdujimos el fibrado tangente (o espacio
de fases de velocidades) como la unin de todos los espacios tangentes a la variedad de tal forma que un punto de este espacio en un sistema local de coordenadas estuviese representado por las coordenadas {q 1 , . . . , q n , q 1 , . . . q n }. Ahora
vamos a introducir un nuevo espacio llamado figrado cotangente (o espacio de
las fases) en el que en un sistema de coordenadas locales cada punto viene representado por 2n coordenadas {q 1 , . . . , q n , p1 , . . . , pn }, siendo pi las componentes del momento generalizado que como sabemos viene definido mediante la
expresin
pi =
L
q i
Mientras que q i tiene las propiedades de un vector del espacio tangente, esto
es se transforman de forma contravariante en una transformacin de coordenadas, pi se transforman como una 1-forma, esto es tiene unas propiedades de
transformacin covariante. Esto hace que la variedad fibrado cotangente (union
de todos los espacios cotangentes a un punto dado) tenga unas propiedades
completamente diferente de las del fibrado tangente. En este espacio, el campo vectorial dinmico cuyas componenentes en el espacio de fases era q i , q i ,
ahora tiene como expresin
H = q i
q i
+ pi
pi
106
H
q i
d qi +
H
d pi
pi
y cuyas componentes son por tanto H/q i , H/pi . La cuestin ahora es >cmo ha de ser la expresin de la 2-forma tal que la 1-forma asociada al campo
vectorial dinmico H coincida con la diferencial del hamiltoniano dH, esto es
(H ) = dH
La expresin general de ser
1
= ij d q j d pi + (ai j d q i d q j + b i j d pi d p j )
2
Si aplicamos esta forma al campo tenemos
1
ij d q j d pi + (ai j d q i d q j + b i j d pi d p j ) q k k + pk
2
pk
q
107
y que
d qi (
q j
) = ij ,
d pi (
) = ij ,
p j
d qi (
) = d pi ( j ) = 0
p j
q
tenemos
h
i
i
h
() = q k ik d pi + ak j d q j pk kj d q j b k i d pi
para que esta expresin sea igual a dH, teniendo en cuenta las ecuaciones de
Hamilton vistas anteriormente se debe de cumplir
i
h
i
h
() = q k ik d pi + ak j d q j pk kj d q j b k i d pi = dH = pk d q k + q k d pk
de donde necesariamente
ai j = b i j = 0
y
ij = ij
y por tanto
= d q i d pi
y la ecuacin de Hamilton
(H ) = dH
(5.10)
que es la forma geomtrica y por tanto independiente del sistema local de coordenadas. Nos queda por demostrar que es no singular y cerrada. La demostracin de que es cerrada es sencilla pues es igual a la diferencial exterior de la
1-forma = pi d q i , pues
= d = d(pi d q i ) = d pi d q i = d q i d p i
y se sabe que la diferencial de la diferencial de una 1-forma es nula, as pues
d = d(d) = 0
por lo que es cerrada. Vamos a ver que es no singular. En primer lugar tenemos
si representamos por una matriz a los coeficientes de la 2-forma se puede ver
108
I 0
SOLUCCION
a3 d p2 d q 1 a5 d p2 d q 2 a6 d p2 d p1 + 0d p2 d p2
nuestra 2-forma tiene como expresin
= d q i d pi
lo que significa que los coeficientes de los trminos donde no aparece una q y
109
0d p2 d q 1 1d p2 d q 2 0d p2 d p1 + 0d p2 d p2
de donde podemos ve que
=
1
1 0
110
Captulo 6
Principios Variacionales
Los principios variacionales tienen su origen, tal y como los conocemos hoy,
en un problema que Jean Bernoulli propone en 1696 a la comunidad cientfica
de su poca, y que se conoce como el problema de la braquistocrona (braquistos : ms corto, cronos: tiempo). El problema consistia en calcular la curva que
une dos puntos, no tituados en la misma vertical, de tal forma que una partcula
vaya de un punto a otro en un tiempo mnimo. El problema fu resulto por el
propio Jean Bernoulli y por Daniel Bernoulli, Leibnitz, lHopital, y Newton. Parece ser que este ltimo lo hizo de forma annima, sin embargo al leer el trabajo,
Jean Bernoulli reconoci el trabajo de Newton, proclamando que uno reconoce
a un len por la huella de sus garras
i = 1, 3N
112
forma que
fi mi x i = 0
Bajo un desplazamiento virtual arbitrario, la anterior expresin toma la forma
X
i
( fi mi x i )x i = 0
Viceversa, si se cumple la anterior ecuacin bajo un desplazamiento virtual arbitrario x i , los coeficientes de la combinacin lineal han de ser tambien nulos,
por lo que
( fi mi x i ) = 0
As pues las ecuaciones de Newton son equivalentes al hecho de que el trabajo
virtual relizado por las fuerzas reales y las de inercia es nulo. Este teorema ser
vlido en cualquier sistema de coordenadas, por lo que
X
(Gi ai )g i = 0
i
d T
T
ai =
i
i
d t g
g
por lo que
X
i
d T
T
Gi
+ i g i = 0
d t g i
g
(6.1)
que constituye la expresin del principio de DAlambert en un sistema de coordenadas generalizadas. Puesto que los desplazamientos virtuales son arbitrarios, la anterior expresin equivale a que
d T
T
Gi
+ i =0
d t g i
g
1 Recordar que el movimiento del sistema mecnico lo podemos visualizar como el movimien-
to de un punto de masa unidad en el espacio de las configuraciones con la mtrica inducida por
la energa cintica
113
que son las ecuaciones de Lagrange. As pues el principio de DAlambert equivale a las ecuaciones de Lagrange. En el caso que tengamos fuerzas de ligadura,
las componentes Gi las vamos a dividir en componentes de fuerzas aplicadas o
conocidas y componentes de fuerzas de ligadura o desconocidas, por lo que el
principio de DAlambert toma la forma
X
i
d T
T
Gi + R i
+ i g i = 0
d t g i
g
(6.2)
Supuesto que las fuerzas de ligadura sean perfectas, el trabajo de las fuerzas de
ligadura es nulo por lo que
X
i
Ri g i = 0
d T
T
Gi
+ i g i = 0
d t g i
g
(6.3)
d T
T
Qi
+
q i = 0
d t q i
q i
(6.4)
estando la suma extendida al numero de grados de libertad. Ahora los desplazamientos q i compatibles con las ligaduras son independientes por lo que la
expresin entre corchetes vale cero y obtenemos de nuevo la expresin de las
ecuaciones de Lagrange en coordenadas cualesquiera.
114
nes. Consideremos una trayectoria de este punto, que pasa por el punto q i (t1 )
en el instante t1 y por el punto q i (t 2) en el instante t2 . Supongamos que el punto puede ir de la posicin inicial a la final a lo largo de diferentes trayectorias tal
que podemos obtener cualquier trayectoria a partir de una dada mediante desplazamientos virtuales compatibles con las ligaduras. Partiendo del principio de
DAlambert, tendremos que en cada instante t
X
i
por lo que
d T
T
Qi
+ i q i (t ) = 0
d t q i
q
Z t2 X
d T
T
Qi
+ i q i (t )d t = 0
d t q i
q
t1 i
Z t2 "
X d T
X T d
T
i
i
i
W
q +
q + i q d t = 0.
i
i d t
q
t1
i d t q
i q
(6.5)
dt
dt
Asimismo,
d
d
d qi
d i
q (t ) + i (q i (t ))
=
q i (t )) = i
dt
dt
dt
dt
Por lo que
d qi
d
=
q i
dt
dt
115
Z t2 X
t1
Z t2 "
X T
d T
T
i
i
i
W +
q d t +
q + i q d t = 0
i
d t q i
q
t1
i q
X T
T
q i + i q i
i
q
i q
t2 Zt2
X T
(W + T )d t = 0
q i +
i
q
t1
i
t1
(W + T )d t = 0
(6.6)
que constituye la expresin del principio de Hamilton, vlida tanto para sistemas holnomos como anholnomos. En el caso de sistemas holnomos
W =
Q i q i
X
i
Q i q i +
X X
(k)q i A i (k)
i 1kM
Q i q d t =
ZX
d U
U
i q i d t =
d t q i
q
U
U d
d U
i
i
i
q
dt =
q
q
d t q i
q i d t
q i
116
X U
X U
U
i
i
i
=
q
q + i q d t =
q i
q i
q
i
t1
por lo que
Ud t
Z
Z
Z
(W + T )d t = (T U)d t = L = 0
ahora bien puesto que los instantes y puntos iniciales y finales son fijos
Z t2
t1
Ld t =
Z t2
t1
Ld t = 0
(6.7)
lo que significa que de todas las trayectorias posibles desde q i (t1 ) hasta q i (t2 )
el sistema elige aquella para la cual la integral (6.7) toma valores estacionarios.
Hemos de recalcar que los punto inicial y final son fijos as como el tiempo que
tarda el sistema para ir desde el punto inicial al final, cualquiera que sea la trayectoria elegida. Al funcional
S[q(t )] =
Z t2
t )d t
L(q, q,
(6.8)
t1
se la denomina funcin principal de Hamilton o Accin (recordar, es un funcional) y el principio de Hamilton recibe el nombre de principio de minima accin.
Z t2
t1
t )d t =
L(q, q,
Z t2
Ld t
t1
L
L
q +
q
q
q
pues al ser las s variaciones virtuales no aparece el trmino derivada con res-
117
d
q
dt
sustituyendo
Z t2
t1
Z t2
L
L d
Ld t =
q +
q d t
q
q d t
t1
Z t2
L
d L
d L
q d t
=
q +
q
q
d t q
d t q
t1
Z t2
L t2
d L
L
=
qd t
q +
q
q d t q
t1
(6.9)
t1
El primer trmino se anula pues en los lmites las variaciones q son nulas, por
lo que, en estas condiciones por el principio de Hamilton
Z t2
t1
d L
L
qd t = 0
q d t q
Puesto que las variaciones q son libres y las podemos elegir como queramos,
podemos tomar unas q que son cero en toda la trayectoria de la partcula excepto en un cierto intervalo, tan pequeo como queramos, t . En estas condiciones la integral se puede aproximar mediante la expresin
Z t2
t1
L
L
d L
d L
qd t =
qt = 0
q d t q
q d t q
que nos lleva a que el trmino entre llaves es nulo. Eligiendo el intervalo temporal en el que no se anula las q a lo largo de toda la trayectoria de la partcla se
llega a que
L
d L
=0
q d t q
en todo instante. Estas ecuaciones reciben el nombre de ecuaciones de EulerLagrange, pues fueron descubiertas independientmente por Euler y Lagrange
como soluccin del problema variacional.
118
dt
De la definicin de velocidad
dt =
ds
v
ds
v
de donde
ZB
A
ds
=
v
ZB
A
1
v
1 + y (x)2 d x
119
de donde
v=
2(E + mg x)/m
ZB
A
ds
1
=p
v
2g
p p
2g x
ZB
A
1
p
x
1 + y (x)2 d x
1 + y (x)2
L
d L
=0
d x y
x
Z t2
t1
(W + T )d t = 0
120
Fi q i
(W + T )d t =
=
Z t2
t1
Z t2
t1
(U + T )d t +
Ld t +
Z t2 X
t1
Z t2 X
t1
Fi q i d t
Fi q i d t = 0
(6.10)
Un caso particular de este principio se da cuando las ligarduras son no holnomas, en este caso vimos que
Ri (k) = k A k,i
por lo que
=
Z t2
t1
Ld t +
Z t2 X
t1
k A k,i q i d t = 0
(6.11)
Haciendo el mismo tratramiento, para el primer trmino de la anterior expresin, que hicimos en las seccin anterior y que nos condujo a la ecuacion de
Euler-Lagrange, nos permite llegar a la expresin
Z t2
t1
1 L
L X
i + k A k,i q i d t = 0.
d t q i
q
(6.12)
k = 1, 2, , M
Esto hace que las q i no sean libres, si no que tengamos f M de ellas libres y M
121
y por tanto se tiene que todo los corchestes se anulan y por tanto,
1 L
L X
+ k A k,i = 0
d t q i
q i
(6.13)
k = 1, 2, , M
Z t2
t1
Ld t =
pi q i H(q, p, t )
Z t 2 nX
t1
p, p,
t) =
I(q, q,
por lo que
0=
o
pi q i H(q, p, t ) d t
pi q i H(q, p, t )
Id t
I
d I
i
i
d t q
q
d I
I
d t pi
pi
= 0
= 0
122
ahora bien
I
= pi
q i
I
=0
pi
q i
q i
I
H
= q i
pi
pi
por lo que
pi
q i
q i
H
pi
que son las ecuaciones cannicas de Hamilton. La anterior deduccin nos muestra que no es necesario partir de una funcin de Lagrange y realizar una transformacin de Legendre para obtener las ecuaciones de Hamilton, si no que se
pueden deducir directamente de un principio variacional. La integral de accin
a partir de la cual hemos obtenido las ecuaciones de Hamilton,
Z t 2 nX
t1
o
pi q i H(q, p, t ) d t
tiene la forma de energa cintica menos energia portencial, puesto que el segundo trmino del integrando es funcin nicamente de las coordenadas, que
ahora son (qi , pi ), y el primero depende de las velocidades. En este caso la .en erga
cintica"deja de ser una funcin cuadrtica de las velocidades convitiendose en
funcin lineal de las mismas,
p1 q 1 + p2 q 2 + . . . , pn q n
Z t2
t1
t )d t
L(q, q,
123
se mantiene estacionaria cuando vamos del punto 1 al punto 2 a travs de recorridos alternativos. Consideramos por tanto a S[q(t )] como un funcional, esto
es para diversos caminos q(t ), S toma diversos valores. En esta seccin vamos a
considerar a S como una funcin, esto es vamos a tratar de evaluar cuanto vara la funcin S cuando variamos los argumentos de los que depende. Para ello
vamos, en primer lugar, a analizar de que argumentos depende la funcin S.
En primer lugar, tenemos que para poder hacer la integral de la funcin de
como funcin del tiempo
Lagrange es necesario que sepamos como son q y q
1 , t1 )2 . Sustituyendo estas expresiones en la
y de las condiciones iniciales (q1 , q
definicin de L e integrando llegaremos a una expresin S que ser funcin de
1 , t1 , t2 ). Puesto que se supone que conocemos la soluccin del problema,
(q1 , q
1 , t2 , t1 )
q2 (t2 ) = q2 (q1 , q
eliminando de esta expresin las velocidades iniciales (supondremos que el Jacobiano (q2 )/(q1 ) es distinto de cero),
1 = q
1 (q2 , q1 , t2 , t1 )
q
sustituyendo en la expresin de S(q1, q 1 , t1 , t2 ) llegamos a que S depende de
(q2 , q1 , t2 , t1 ), esto es S depende de las posiciones iniciales y finales as como de
los instantes inicial y final.
Vayamos ya a resolver nuestro problema, de analizar cuanto vara S cuando
cambiamos q1 , q2 , t1 , o t2 haremos la demostracin suponiendo que solo tenemos un grado de libertad. De acuerdo con la expresin (6.9) obtenida anteriormente
S =
Z t2
t1
Z t2
L t2
L
d L
t )d t =
L(q, q,
qd t
q +
q t1
q d t q
t1
Suponer ahora que fijamos los tiempos de salida y llegada, que vamos del punto
1 al 2 mediante una trayectoria real y que nicamente hacemos variar el punto
final q(2) de llegada en el tiempo t2 . Ver la figura 6.1. Puesto que la integral se
2 Esto significa que necesitamos haber resuelto el problema mecnico. Veremos ms adelante
como evaluar S de forma independiente para que nos sirva para integrar el problema mecnico
124
q
q2+q2
q
t
Figura 6.1:
L t2
q = p(2)q(2) = pq
S =
q t1
donde hemos puesto por definicion que L/q = p y se ha tenido en cuenta que
en t1 , q = 0. Para un nmero cualquiera de grados de libertad
S =
pi q i
por lo que
pi =
S
q i
(6.14)
De manera analoga vamos a ver la dependencia respecto del tiempo, para ello
tengamos en cuenta que
S=
Z t2
t1
Ld t
125
Zt
Ld t
t1
dS(t )
=L
dt
dS S X
=
+ pi q i
dt
t
L tenemos
S
= H
t
pi q i
(6.15)
por lo que
S =
pi q i Ht
(6.16)
(6.17)
Esta relacin muestra que cualquiera que sea la accin exterior a la que se somete al sistema durante su movimiento, su estado final no puede ser una funcin
arbitraria de su estado inicial: slo son posibles aquellos movimientos para los
cuales la expresin (6.17) es una diferencial total exacta. Es importante tener en
cuenta las condiciones en las que se ha obtenido la expresin 6.17. Segn hemos
desarrolado la seccin, la variacin S es la diferencia entre dos funciones S(en
realidad, S es un funcional que depende de las trayectorias elegidas para calcular el lagrangiano L) evaluadas al ir desde el punto inicial al final a lo largo de
126
S=
L(t )d t
Z nX
pi d q i H d t
(6.18)
Ejemplo 6.2 Evaluar la funcin S para una partcula de masa unidad sometida
a un campo gravitatorio uniforme. Suponer que el movimiento es plano
SOLUCCIN
= g
127
integrando
x
u0 (t t0 ) + x0
1
y0 + v0 (t t0 ) g (t t0 )2
2
1 2
1
u0 + [v0 g (t t0 )]2 g y0 g v0 (t t0 ) + g 2 (t t0 )2
2
2
1
1
Ld t = (u02 + v02 g y0 )(t1 t0 ) g v0 (t1 t0 )2 + g 2 (t1 t0 )3
2
3
x1 x0
t1 t0
y1 y0 1
+ g (t1 t0 )
t1 t0 2
sustituyendo en la la expresin de S obtenida previamente obtenemos la funcin principal de Hamilton como funcin de (x1 , x0 , y1 , y0 , t1 , t0 ),
1
1 2
1
2
2
2
3
(x1 x0 ) + (y1 y0 ) g (t1 t0 ) (y1 + y0 ) g (t1 t0 )
S=
2(t1 t0 )
2
24
S
x1 x0
=
x0
t1 t0
y1 y0 1
S
=
+ g (t1 t0 )
=
y0
t1 t0 2
=
128
S
q0i
SOLUCCIN
u0
sen (t t0 )
Ld t =
1 2
(x 2 x 2 )d t
2
1
x1 x0
S = (x12 + x02 ) cot (t1 t0 )
2
sen (t1 t0 )
x1
S
= x0 cot (t1 t0 )
x0
sen (t1 t0 )
u0
sen (t1 t0 )
129
pi q i |2
pi q i |1
pi q i |2 = Ht1 +
pi q i |1
o sea
Ht +
pi q i = cte
(6.19)
Que es la expresin del teorema de Noether y que nos dice que si existe una
simetra del sistema, hay una cantidad que se conserva, la dada por la expresin
6.19.
Suponed por ejemplo que un sistema mecnico es invariante por traslacin
temporal, esto es al hacer el cambio t = t + t0 el sistema permanece invariable.
esto es el hamiltoniano se mantiene constante. Suponed que el sistema es invariante por traslacin en una cierta direccin. Realizando una transformacin
130
pi x cos x +
pi y cos y +
pi z cos z = cte
ri cos(i + ) ri cos(i )
yi
ri sen(i + ) ri sen(i )
Teniendo en cuenta las expresiones para el coseno y el seno del ngulo suma, y
que para ngulos muy pequeos cos 1 y sen , tenemos
xi
= yi
yi
xi
Por lo tanto, suponiendo que hagamos una rotacin a lo largo del eje z manteniendo fijo el tiempo, tendremos
X
pi qi =
X
(pxi yi + p y i xi ) = L z = cte
131
Ht +
pi q i |2
pi q i |2
pi q i |1
pi q i |1 = F2 F1
pi q i + F( t , q) = cte
(6.20)
132
De acuerdo con lo visto en la seccin anterior, cuando se varan las posiciones iniciales y finales, as como los tiempos iniciales y finales, la variacin de la
funcin principal de Hamilton S, no es nula, si no que vale vale
S =
X
i
pi q i |2
X
i
pi q i |1 Ht |2 + Ht |1
Supongamos que mantenemos fijas las posicin inicial y final del sistema pero permitimos que los intantes de llegada puedan variar, en estas condiciones,
puesto que q i (1) = q i (2) = 0 resulta que
S =
X
i
pi q i |2
X
i
pi q i |1 Ht |2 + Ht |1 = Ht |2 + Ht |1
de todos los desplazamiento virtuales, slo vamos a considerar aquellos que son
compatibles con el hecho que la integral de Jacobi es una constante del movimiento, esto es, slo consideraremos aquellas trayectorias que cumplan con esta condicin. As pues H1 = H2 = E, y por tanto
S = H(t2 t1 ) = E(t2 t1 ) = Et
de tal forma que
(S E(t2 t1 )) = 0
por lo que ahora es la funcin S E(t2 t1 ) la que alcanza el valor estacionario.
Como sabemos
S=
ZX
Ld t = ( pi d q i H d t )
133
ZX
pi d q i E(t t0 )
Llamemos S 0 a la expresin
S0 =
ZX
pi d q i
ZX
pi d q i = 0
Hay que tener en cuenta que el uso del principio de Maupertuis, slo nos permite obtener las ecuaciones de la trayectoria no su ley horaria. Recuerdese, no
obstante que la variacin ha de hacerse en todo caso a E =cte.
Para poder utilizar la ecuacin anterior debemos de eliminar el tiempo. Vamos a ver como hacerlo. Supongamos que la lagrangiana toma la forma
L=
1X
Ti j q i q j U(q)
2 i,j
134
pi =
1X
Ti j q i q j +U(q)
2 i,j
sP
Ti j d q i d q j
2(E U)
pi d q i =
Ti , j
i,j
dq j
d qi
dt
Habiamos visto que podiamos definir una mtrica en el espacio de las configuraciones a traves de la expresin
d s 2 = 2T d t 2 =
de tal forma que
S0 =
Zp
Ti , j d q i d q j
2(E U)d s
Zp
2(E U)d s = 0
135
ds = 0
esto es la trayectoria se realiza a lo largo del camino mas corto o, dicho de otra
forma, se realiza a lo largo de las geodsicas del espacio de las configuraciones.
Podemos ahora ligar la mecanica con la ptica. De acuerdo con el principio
de Fermat, los rayos siguen aquellas trayectorias que hacen mnima la expresin
Z
nd s
dt =
sP
de donde
t t0 =
Ti , j d q i d q j
2(E U)
sP
Ti , j d q i d q j
2(E U)
Ejemplo 6.4 Siguiendo las directrices del principio de Maupertuis encontrar las
ecuaciones que rigen el movimiento de un sistema con coordenadas ignorables
SOLUCCIN
ds =
2(E U)Ti j dq i dq j
R
R
, en cuyo caso S 0 = ds y el principio de Maupertuis toma la forma ds = 0 de tal forma que
el sistema mecnico sigue las trayectorias de distancia mnima, esto es sigue las geodsicas del
espacio de las configuraciones dotado con la mtrica anterior
136
te una coordenada que no a aparece en el lagrangiano. Como sabemos el correspondiente momento generalizado es una constante del movimiento. Sea q n
dicha coordenada, el momento generalizado pn = L/q n es una constante del
movimiento. Restringamos nuestros desplazamientos virtuales a aquellos desplazamientos compatibles con este hecho a la vez que dejemos libres los desplazamientos correspondientes a la variable q n . En estas condiciones, S no es
cero si no que vale
S = pn (2)q n (2)pn (1)q n (1) = pn (q n (2)q n (1)) = pn
Z t2
t1
t =
qd
Z t2
t1
pn q n d t
por lo que
(S
Z t2
t1
Z
Z t2
Z
t ) = ( Ld t
pn qd
pn q n d t = (L pn q n )d t = 0
t1
Ejemplo 6.5 Partiendo del principio Maupertuis, encontrar la ecuacin diferencial de la trayectoria
SOLUCCIN
siendo n =
nd s = 0
137
nd s =
nd s +
nd s
nd s =
nrd s
dr
dr
ds
y por tanto
Z
nd s =
dr
dr
ds
dr 2
dr
nd s = n r d n
r
ds
ds
1
nd s =
dr
d
n
d sr
ds
ds
por lo que
nd s =
nrd s
Z
dr
dr
d
d
n
d sr =
n
rd s = 0
n
ds
ds
ds
ds
138
dr
d
n
=0
ds
ds
(6.21)
que es la ecuacin diferencial del rayo o del punto en mecnica, el equivalente a la ecuacin de EulerLagrange obtenida a partir del principio de Hamiton.
Teniendo en cuenta que
dn
dr
= n
ds
ds
y que dr/d s es el vector tangente T a la trayectoria, tenemos
n (n T)T n
ahora bien
d 2r
=0
d s2
1
d 2r
N= 2
ds
(6.22)
1
2(E U)
(6.23)
U = p
1
2(E U)
sustituyendo tenemos
p
1
1
(F F TT)
2(E U) N = p
2(E U)
(6.24)
139
2(E U)
que teniendo en cuenta que 2(E U) = 2T = v 2 , tenemos
1 2
v N = FN
(6.25)
Ld t = 0
nd s = 0
en Hamilton y
en Maupertuis. Si embargo cuando se introduce el operador dentro de la integral, en el caso del principio de Hamilton el operador slo afecta a al funcin
L, mientras que cuando se ha introducido dentro de la integral en el principio
de Maupertuis afecta tanto a n como a s. Esto se debe a que ambos operadores
son diferentes. En el caso del principio de Hamilton, este operador era independiente del parmetro t , parmetro empleado en describir la trayectoria. Segn
nuestras hiptesis, el camino variado se obtiene mediante un desplazamiento
virtual, esto es a t cosntante. En el principio de Maupertuis, el desplazamiento
es entre aquella trayectorias posibles, cuyos origenes y destinos son iguales, pero que los realizan a diferente marcha. El sistema elige aquella cuya integral de
accin es un extremal. En este segundo caso, podemos introducir un parametro para describir la trayectoria seguida por la partcula, de tal forma que este
parametro sea independiente del operador . En este caso tendremos que hacer
140
estacionaria la integral
donde5
ds
=
d
dx
d
nd s =
dy
d
ds
d = 0
d
dz
d
x 2 + y 2 + z 2
Sustituyendo
ds
d =
d
Z q
n x 2 + y 2 + z 2 d
x 2 + y 2 + z 2
L
1 L
=0
d x
x
(6.26)
1/2 n
1/2 2
1 2
x x + y 2 + z 2
n x + y 2 + z2
=0
d
x
Si tenemos en cuenta las correspondientes expresiones para el resto de las variables, podemos escribir en forma vectorial
1/2 dr
1/2
1
n = 0
n x 2 + y 2 + z 2
x 2 + y 2 + z 2
d
d
x 2 + y 2 + z2
1/2
= d s/d = 1
gi j gi g j
gi j dg i dg j
141
dr
1
n
n = 0
ds
ds
GM m k 2 m
=
r
r
q
p
Ti j d q i d q j = m d r 2 + r 2 d2
q
p
p
Ti j d q i d q j = m d r 2 + r 2 d2 = m r 2 + r 2 d
2m(E +
k2m 2
)(r + r 2 )d =
r
L(r, r )d
siendo el lagrangiano L
L(r, r ) =
2m(E +
k2m 2
)(r + r 2 ).
r
Como sabemos, la soluccin del anterior problema variacional viene dada por
142
d r r
Sin embargo, en vez de tratar de resolver esta ecuacin diferencial directamente,
vamos a aprovechar la existencia de una integral primera del sistema. Puesto
que ha tomado el papel que jugaba el tiempo en el principio de Hamilton,
podemos definir un nuevo hamiltoniano, mediante la expresin
h = r
L
L
r
y L/r
en la que r desempea el papel de velocidad generalida (similar al q)
Al igual que
desempea el papel de momento generalizado (similar al L/q).
pasa con el hamiltoniano usual, se verifica que
L
d h h
=
=
d
L
L =C
r
Sustituyendo
s
2m(E + k 2 m/r ) 2
r = C .
r 2 + r 2
dr
d
2mr 2
C2
2
2
=
E r + k mr
C2
2m
dr
r E r 2 + k 2 mr C 2 /2m
143
k 2 mr C 2 /m
p
4
2
2
2
r k m + 2EC /m
reordenanado se obtiene
r=
C 2 /k 2 m 2
1 + 1 + 2EC 2 /k 4 m 3 cos
a(1 e 2 )
1 + e cos v
1 + 2EC 2 /k 4 m 3
origen se mueve con velocidad v0 respecto del sistema inercial a la vez que rota con velocidad respecto del mismo sistema. Considerar un punto de masa
m cuya posicin viene dada por R en el sistema inercial y por r en el sistema
no inercial. Como es bien sabido las velocidades en el sistema inercial va y no
6 En el perigeo y en el apogeo, la componente radial de la velocidad es nula, por lo que la energa
total E vale
1
k2 m 1
k2 m
mv2
= mr02 20
2
r
2
r
lo que hace que el valor de la integral en el perigeo sea /2
E=
144
Figura 6.2:
1
L = m(va )2 V (R)
2
145
dr
dt
dr
dt
dv0 r
=m
dt
inercial
no inercial
+r =
inercial
dr
mv0 (v + r) = mv0
dt
inercial
mr a0
1
1
1
dv0 r
2
2
L = mv + I mr a0 + m L + mv0 + m
V (r )
2
2
2
d t inercial
146
es una funcin conocida del tiempo, por lo que en principio se puede poner
como la derivada con respecto al tiempo de una cierta funcin F (t ), por lo que
1
1
1 dF
dv0 r
2
L = mv + I mr a0 + m L + m
V (r )
+m
2
2
2 dt
d t inercial
Ahora bien sabemos que dos lagrangianas que difieran nicamente en la derivada respecto del tiempo de una cierta funcin son equivalentes, por lo que
podemos eliminar de la lagrangiana los trminos
1 dF
dv0 r
m
+m
2 dt
d t inercial
resultando entonces
1
1
L = mv 2 + I mr a0 + m L V (r )
2
2
(6.27)
Vamos a considerar a esta expresin como lagrangiano referido al sistema movil. Partiendo del principio de Hamilton, el sistema se mueve a lo largo de una
trayectoria que hace estacionaria la funcin principal de Hamilton
Z
L(r, v, t )
independientemente del sistema de referencia elegido (una vez elegida de forma conveniente la lagrangiana). Del principio de Hamilton, obtuvimos como
ecuaciones del movimiento
d L
L
=0
d t v
r
donde el operador d/d t est referido al sistema movil. Vamos a aplicar las anteriores ecuaciones a tres casos diferentes
a.- Supongamos que a0 = 0 y = 0, esto es el sistema movil se mueve en movimiento de translacion con velocidad uniforme, en estas condiciones
1
L = mv 2 V (r )
2
147
de donde vemos que la expresin del lagrangiano es el mismo que respecto del sistema inercial, y por tanto las ecuaciones que se obtiene de ellas
sern identicas a las obtenidas en el sistema inercial. Obtenemos pues el
principio de Galileo. Las ecuaciones del movimiento son identicas respecto de sistemas que esten moviendose uno respecto del otro en movimiento de translacin unifome
1
L = mv 2 mr a0 V (r )
2
lo que equivale a sustituir el potencial V (r ) por V (r ) = r a0 + V (r ) por lo
dv
= ma0 V = F ma0
dt
as mismo,
dv
d L
=m
+ m( v)
d t v
dt
L 1
=
(I) ma0 + m(v ) V (r ).
r
2 r
148
(I) =
r
=
m[2 rr ( r)(r )]
r
m[22 r (r ) ( r)]
= 2m[2 r ( r)]
= 2m ( r)
sustituyendo, tenemos
L
= m ( r) ma0 + m(v ) V (r )
r
de donde las ecuaciones de Lagrange, resultan
m
dv
+ m( v) + m ( r) + ma0 m(v ) + V (r ) = 0
dt
esto es
m
dv
= V (r ) m ( r) ma0 2m( v)
dt
(6.28)
L
= mv + m( r)
v
(6.29)
149
1
1
mv 2 + I mr a0 + m L V (r ) =
2
2
1
1
mv 2 I + mr a0 + V (r )
2
2
teniendo en cuenta que
v=
1
[p m( r)]
m
sustituyendo
H=
1 2 1
1
p + ( r)2 p ( r) I + mr a0 + V (r )
2m
2
2
1 2
p p ( r) + mr a0 + V (r )
2m
1 2
p + V (r )
2m
(6.30)
150
si a0 = 0
H = H L =
1 2
p + V (r ) L
2m
(6.31)
1
q
(p A)2 + q(r )
2m
c
1
q
(p A)2 + q(r ) L
2m
c
q1
1 2 1 q
q
1
(p+
(rB))2 +q(r )L =
p +
(rB)2 +
p(rB)+q(r )p(r) =
2m
c2
2m
2 2mc
2mc
=
h q
i
1 2 1 q
p +
(r B)2 + q(r ) + p
(r B) + (r )
2m
2 2mc
2mc
L =
q
B
2mc
o sea que el sistema rotante tenga el eje de rotacin a lo largo del campo uniforme y el sentido de giro se oponga al campo uniforme aplicado. Esta frecuencia
151
1 2
1
p + q(r ) + (r L )2 ,
2m
2
tomando como sistema de coordenadas uno en el que uno de los ejes vaya a lo
largo del campo B, tenemos
H=
1 2
1
p + q(r ) + 2L r2
2m
2
siendo r el radio vector perpendicular al tercer eje. Supuesto que L sea muy
pequea, podemos despreciar el trmino cuadrtico y por tanto
H=
1 2
p + q(r )
2m
donde ya no aparece el campo magntico B. As pues podemos anular el campo magnetico moviendonos con una velocidad angular de rotacin dada por la
expresin
L =
q
B
2mc
152
q q
,
, x, t )
x t
L d xd t = 0
(6.32)
!
!
L
L
L
=0
q
x q
t q
x
t
(6.33)
Una de las situaciones en las que aparece un Lagrangiano de este tipo es al estudiar los medios continuos. En este caso pasamos de estudiar un problema de
n grados de libertad donde la configuracin del mismo viene expresada por n
variables q1 , q2 , . . . , qn a estudiar un problema con infinitos grados de libertad en
donde la configuracin del sistema viene expesada por una ecuacin de la forma q(x), siendo x un parmetro que nos etiqueta cada partcula del continuo.
En este caso, la lagrangiana se expresa como
L=
L dx
Ejemplo 6.8 Obtener las ecuaciones del movimiento mediante la aplicacin del
principio de Hamilton, de un hilo extensible de longitud muy grande tensionado
Vamos a considerar un hilo que en reposo est situado a lo largo del eje x entre
dos puntos A y B y que lo perturbamos deformandolo ligeramente, ver la figura
6.3 Soltamos el hilo y dejamos que se mueva suponiendo despreciable los efec-
Figura 6.3:
tos de bordes al suponer que los punto A y B estan muy alejados uno del otro.
Como estamos suponiendo que el hilo se mueve en el eje vertical, la energa
cintica de un elemento de masa del hilo vale
2
1
y
T = m
2
t
2
1
y
m
2
t
Ahora aparece una derivada parcial porque para cada elemento del hilo la velocidad vertical puede ser diferente. El clculo de la energa potencial es algo
ms complicado. Cada elemento del hilo se ve sometido a una tensin hacia
su derecha y una tensin hacia su izquierda (excepto obviamente en los extremos). Sea s el incremento producido en el elemento del hilo a cuenta de
la tensin. Podemos suponer que cada tensin (que suppondremos uniforme)
produce una estiramiento s/2. As pues el trabajo realizado por la tensin del
hilo vale
W = 2s/2 = s
Veamos cuanto se ha estirado. Si inicialmente la longitud del elemento es x,
154
y 2
1+
x =
x 2
y
1+
x
y el trabajo
1 y 2
x
2 x
W =
1 y 2
dx
2 x
(6.34)
1 y 2
dx
2 x
2 Z
1 y 2
y
1
dx
m
2
t
2 x
Puesto que la masa del hilo no cambia, podemos suponer que m = x, siendo la densidad lineal de masa. As pues,
1
L=
2
2
Z 2
y
y
dx
t
x
1
L d xd t =
2
2
Z Z 2
y
y
d xd t
t
x
2
2
y
y
L=
t
x
2 y
2 y
2 = 0
2
t
x
156
Captulo 7
Teora de transformaciones
7.1. Transformaciones de Contacto
El origen de las transformaciones de contacto se puede encontrar en una
celebre memoria sobre ptica que Hamilton present a la Royal Iris Academy
en 1824. Los principios que alli se introdujeron fueron luego transportados al
campo de la dinmica. Esta extensin de la ptica a la mecnica no debe de
extraarnos pues segn hemos visto en el captulo anterior podemos considerar que el comportamiento de un sistema dinmico viene caracterizado por el
movimiento de un punto en el espacio de las configuraciones cuya trayectoria
la podemos obtener a partir del principio de Maupertois. As mismo en ptica,
la trayectoria seguida por un rayo se puede determinar a partir del principio de
Fermat. Vimos que podiamos identificar ambos principios haciendo corresponp
der el ndice de refraccin n(x, y, z) con la cantidad 2(E U).
sa este resultado no estra demasiado pues todava tenia cierto peso la teora
corpuscular de la luz. Ahora bien el principio de Fermat sigue siendo vlido en
la teora ondulatoria de la luz. En esta teora podemos describir la propagacin
de la luz bien como rayos luminosos bien como frentes de ondas siendo los primeros ortogonales a los segundos en cada punto del espacio1 . De acuerdo con
1 En realidad una descripcin de la luz en trminos de rayos y frentes de ondas constituye un
lmite para longitudes de onda muy cortas de la teora ms general definida por la ecuacin de
158
la teora introducida por Huygens y posteriormente ampliada por Fresnel podemos considerar a los frentes de ondas como una perturbacin del medio, que
en un instante determinado t forma una superficie . Cada elemento de est
superficie se puede considerar como centro emisor de ondas secundarias que
se propagan en el espacio, de tal forma que la perturbacin que se origin en el
punto (x, y, z) se extender sobre una cierta superficie (ver la figura 7.1, ntese
que la notacin usada en la figura es la inversa de la usada en el texto. En la figura V (xt , x0 ) da la posicin del frente emanado desde el punto x0 al cabo de un
tiempo t. En el texto esta superficie aparece como V (x0 , xt ), aparece primero el
punto de donde emanan las ondas y despues el punto donde llegan.)
V(xt,xs)
xs
x0
V(xt,x0)
V(xs,x0)
Figura 7.1:
Para obtener la ecuacin de esta superficie, debemos de observar que el
tiempo que tarda la luz en ir de un punto (x, y, z) a otro (x , y , z ) depende nicamente de las seis cantidades (x, y, z, x , y , z ), denominemos a esta cantidad
V (x, y, z, x , y , z ) que fu llamada por Hamilton funcin caracterstica2 Una perturbacin que se origina en un punto (x, y, z) en un instante t se extender en
un instante t posterior a lo largo de una superficie cuya expresin en terminos
ondas
2 De acuerdo con el principio de Fermat la luz va de un punto (x, y, z) a otro (x , y , z ) de tal
forma que la integral
Zx ,y ,z
dt
x,y,z
sea mnima. Lo que significa que esta integral depende nicamente de los puntos inicial y final
no del camino seguido.
159
de (x , y , z ) es
V (x, y, z, x , y , z ) = t t =
Zx ,t
x,t
dt
Zx ,t
x,t
nd s
(7.1)
(7.2)
3 Por simplicidad supondremos que el medio en el que se propagan los rayos es istropo, en
cuyo caso los rayos son normales a los frentes de ondas. En medios no istropos esto no es cierto
160
(7.3)
(7.4)
= kl
V
y
= km
V
z
= kn
V
x
= kl
V
y
= k m
V
z
= kn
161
(7.5)
Esta ecuacin no muestra que el movimiento del rayo entre los punto (x, y, z)
y (x , y , z ) se realiza de tal forma que la forma de Paff, dada por el miembro
de la derecha de la anterior ecuacin es la diferencial exacta de una funcin.
Llamando
l = ,
m = ,
n = ,
l = ,
m = ,
n =
tenemos
dV = d x + d y + d z d x d y d z.
(7.6)
= + ut
y = y + t
= + vt
V = W t
z = z + t
= + wt
de donde
dW = ud x + vd y + wd z + d + d + d
162
o
d(W + + + ) = d + d + d ud x vd y wd z
llamando H = + + W llegamos a
dH = d + d + d ud x vd y wd z
en el lmite cuando t 0 tenemos que = d x/d t , etc., por lo que
dH =
dx
dy
dz
d
d
d
d +
d +
d
dx
dy
dz
dt
dt
dt
dt
dt
dt
y por tanto
dx
dt
dy
dt
d
dt
= H
x
d
dt
dz
dt
= H
= H
y
d
dt
= H
(7.7)
que coincide con el sistema hamiltoniano de ecuaciones tal y como ocurre en dinmica. Por lo tanto el anterior desarrollo muestra que el sistema hamiltoniano
se puede considerar que representa una transformacin de contacto infinitesimal, esto es el movimiento de un frente de ondas de una posicin a otra infinitamente prxima. La integral de este sistema hamiltoniano viene dada por las expresiones (7.1), (7.2),(7.3),(7.4) obtenidas anteriormente y que representan una
tranformacin de contacto fnita. Vemos por tanto como Hamilton, empleando
la teora ondulatoria de la luz, obtuvo una forma integrada de las ecuaciones de
la dinmica que depende de una nica funcin, la la funcin caracteristica de
Hamilton V (x, y, z, x , y , z ), que hemos visto que podemos poner como
V=
nd s
ZX
pi d q i
los momentos pi .
163
Est claro que dos transformaciones de contacto sucesivas es una transformacin de contacto, que existe la transformacin de contacto neutra y que existe
la transformacin de contacto inversa, por lo que el conjunto de transformaciones de contacto constituyen un grupo. A la vista de la forma en la que se
ha definido la transformacin de contacto, transformacin del conjunto de variables (q 1 , q 2 , . . . , q n , p1 , p2 , . . . , pn ) en (Q 1 ,Q 2 , . . . ,Q n , P1 , P2 , . . . , Pn ), el tiempo no
interviene de forma explicita, por lo que a partir de esta transformacin, sola-
164
Pi dQ i
X
i
pi d q i = dV +Ud t
= r (q 1 , q 2 , . . . , q n , p1 , p2 , . . . , pn , t ),
= n+r (q 1 , q 2 , . . . , q n , p1 , p2 , . . . , pn , t ),
r = 1, . . . , n
r = 1, . . . , n
(7.8)
(7.9)
= r (Q, P, t )
pr
= n+r (Q, P, t )
Pr dQ r
X
r
pr d q r = dV (q, p, t ) +Ud t
(7.10)
165
dada nuestras hiptesis, las funciones U y V dependen de (q, p, t ). Vamos a suponer diferentes casos
Suponed que el conjunto de variables Q, q son independientes, en estas
condiciones, si queremos pasar de las variables p, q a la variables Q, q, el
jacobiano
(Q 1 ,Q 2 , . . . ,Q n )
(Q1 ,Q2 , . . . ,Q n , q1 , q2 , . . . , qn )
= (1)n
(q1 , . . . , qn , p1 , p2 , . . . , pn )
(p1 , p2 , . . . , pn )
(7.11)
Pr dQ r
X
r
pr d q r = dW 1(q, Q, t ) +Ud t
(7.12)
Q, tenemos
pr
Pr
U
W 1(q, Q, t )
q r
W 1(q, Q, t )
=
Q r
W 1(q, Q, t )
=
t
=
r = 1, . . . , n
r = 1, . . . , n
(7.13)
(7.14)
(7.15)
166
Reciprocamente, suponer que tenemos una funcin W 1(q, Q, t ), el conjunto anterior de ecuaciones 7.13 7.16 definen una transformacin de
contacto suponiendo que la matriz
2 W 1(q, Q, t )
q r Q s
Pr dQ r
X
r
pr d q r =
= dW 1(q,Q, t )
X W 1(q, Q, t )
r
Q r
dQ r +
W 1(q, Q, t ) r
dq =
q r
W 1(q,Q, t )
d t = dW 1(q,Q, t ) +Ud t
t
que cuando sustituyamos Q r como funcin de q, p, t nos dar una diferencial exacta de una cierta funcin de (p, q, t ) por lo que la transformacin
es de contacto. Para veer que es libre, si sustituimos la definicin de Q r en
las ecuciones (7.13) estas se verificarn identicamente, por lo que
pr
W 1(q, Q(q, p, t ), t )
W 1(q, Q(q, p, t ), t )
r
|(q,p,t ) = s =
=
=
ps
ps
qr
qr
ps
(q,p,t )
(q,p,t )
=
qr
Q m
2 W 1(q, Q(q, p, t ), t )
W 1(q, Q(q, p, t ), t ) Q m
=
p
Q m
Q m qr
s (q,p,t )
q
q,Q l ,t ) ps
2 W 1(q, Q, t )
q r Q m
167
s (q 1 , . . . , q n ,Q 1 ,Q 2 , . . . ,Q n , t ) = 0,
s = 1, . . . , k
(7.16)
en estas condiciones, de la ecuacin (7.10) no se pueden obtener las ecuaciones (7.137.14) pues las q y Q no son independientes. Ahora bien derivando en las s,
s
s
s
s
s
d t = 0,
d q 1 +. . .+ n d q n + 1 dQ 1 +. . .+ n dQ n +
q 1
q
Q
Q
t
, s = 1, k
Pr +
X
s
X
X s
s
r
s
pr s r d q r =
dQ
Q r
q
r
s
X
X s
X W 1
W
1
r
r
dt
dQ +
d q + U + s
=
r
r
t
r q
s
r Q
(7.17)
W 1 X s
s r
q r
q
s
W 1 X s
+ s
=
Q r
Q r
s
W 1 X s
s
=
t
t
s
=
(7.18)
(7.19)
(7.20)
168
(7.21)
P dQ r
X
r
pr d q r = dW 1 +Ud t
Pr dQ r
X
r
d(pq r ) +
X
r
q r d pr = dW 1 +Ud t
de donde
X
r
siendo W 2 = W 1+
Pr dQ r +
X
r
q r d pr = dW 2 +Ud t
(7.22)
W 2(Q, p, t )
Q r
W 2(Q, p, t )
=
pr
W 2(Q, p, t )
=
t
(7.23)
(7.24)
(7.25)
169
mos pensar tambin en una transformacin de Legendre que nos permita pasar
P
a una nueva funcin generadora W 3(q, P, t ) = W 1(q, Q, t ) r Pr Q r , para ello
basta que pongamos la transformacin de contacto en la forma
X
X
X
d( Pr Q r ) Q r dPr pr d q r = dW 1 +Ud t
r
por lo que
X
r
Q r dPr
X
r
pr d q r = dW 3(q, P, t ) +Ud t
W 3(q, P, t )
Pr
W 3(q, P, t )
=
q r
W 3(q, P, t )
=
t
Qr
pr
U
(7.26)
(7.27)
(7.28)
(7.29)
por ltimo, podemos hacer una transformacin de Legendre que afecto tanto a
la Q s como a las q s pasando a una nueva funcin generadora de la transforP
P
macin de contacto W 4(p, P, t ) = W 1(q, Q, t ) r Pr Q r + r pr q r . En este caso la
transformacin de contacto viene definida por la expresin
X
r
Q r dPr +
X
r
q r d pr = dW 4(p, P, t ) +Ud t
(7.30)
W 4(p, P, t )
Pr
W 4(p, P, t )
=
pr
W 4(p, P, t )
=
t
(7.31)
(7.32)
(7.33)
170
7.4. Relaciones entre las derivadas parciales de los dos conjuntos de variables
Las diferentes relaciones anteriores que nos determinan si una transformacin es de contacto las podemos resumir en
X
r
X
r
X
r
X
r
Pr dQ r
Pr dQ r +
Q r dPr
Q r dPr +
ps d q s
dW 1(q, Q, t ) +Ud t
q s d ps
dW 2(p, Q, t ) +Ud t
ps d q s
dW 3(q, P, t ) +Ud t
q s d ps
dW 4(p, P, t ) +Ud t
X
s
X
s
X
s
Para t fijo, los miembros de la derecha son diferenciales exactas, por lo que se
ha de verificar
Pr
ps
= r
q s
Q
Q r ps
=
q s
Pr
Pr
q s
=
ps Q r
Q r
q s
=
ps
Pr
(7.34)
(7.35)
X
X q s
X q s
X
X X q s
q s
r
r
Pr dQ ps
Pr ps
dQ +
dPr =
dQ
dPr =
ps
r
Pr
Q r
Pr
s
r Q
s
r
r
s
r
= dW 1(Q, P, t ) +Ud t
al igual que antes para t fijo, puesto que el trmino de la derecha es una diferen-
X q i
=
Pr
pi
Q s i
Q r
!
X q i
pi
=
Ps i
Pr
!
X q i
=
Pr
pi
Ps i
Q r
X q i
Ps
pi
Q r i
Q s
!
X q i
pi
Pr i
Ps
!
X q i
pi
Q r i
Ps
de donde
X pi q i
pi q i
=
s
r
Q r Q s
i Q Q
X pi q i pi q i
=
Ps Pr Pr Ps
i
X pi q i
pi q i
=
r
Q r Ps
i Ps Q
0
0
rs
las anteriores expresiones definen los llamados parntesis de Lagrange fundamentales, que podemos poner como
(Pr , Ps )(p,q)
(Q r ,Q s )(p,q)
(Pr ,Q s )(p,q)
X pi q i pi q i
=
Ps Pr Pr Ps
i
X pi q i
pi q i
=
Q s Q r Q r Q s
i
X pi q i
pi q i
=
Ps Q r Q r Ps
i
= 0
(7.36)
= 0
(7.37)
= sr
(7.38)
172
pr F r (Q)
siendo F (Q) una funcin cualquiera de las Qs. De las ecuaciones explcitas de
la transformacin de contacto, tenemos
qs =
W 2(Q, p, t )
= F s (Q)
ps
lo que nos dice que la funcion generadora W 2, as definida, define una transformacin puntual extendida, lo que corresponde en el lenguaje lagrangiano con
una transformacin puntual. El resto de las variables las obtenemos a partir de
la expresin
Ps =
W 2(Q, p, t ) X F r
= pr
Q s
Q s
r
lo que nos dice que los nuevos momentos son una transformacin covariante
de los antiguos.
q r Pr
Qi
W 3
= Pi
q i
W 3
= qi
Pi
173
de donde vemos que W 3 es la funcin generadora de la transformacin de contacto identidad. Si hubiesemos tomado como funcin generadora la funcin W 3
ms general
W3 =
F r (q, t )Pr
Qi
W 3
X F r
P
i r
q i
r q
W 3
= F r (q, t )
Pi
qrQr
en este caso
pi
Pi
W 1
q i
W 1
Q i
= Q i
= qi
en este caso vemos que se cambia el papel de las ps y la qs. Como veremos ms
adelante las transformacines de contacto conservan invariante las ecuaciones
de Hamilton, esto es, las Ps y Qs verificarn tambien las ecuaciones de Hamilton. Vemos de la transformacin de contacto anterior que los nuevos momentos
coinciden con las antiguas coordenadas y las nueva coordenadas coinciden con
los antiguos momentos por lo que la divisin entre coordenadas y momentos
deja de tener sentido en las ecuaciones de Hamilton.
174
q r Pr M(q, P, t )
W 3
M
= Pi + i
q i
q
M
W 3
= qi +
=
Pi
Pi
=
esto es
Pi
Qi
pi
q i
M
qi +
Pi
Suponer que M(q, P, t ) lo podemos poner como (q, P, t ) siendo una cantidad muy pequea. En estas condiciones
Pi
Qi
pi
q i
qi +
Pi
por lo que las Ps y las Qs difieren en una cantidad muy pequea respecto de las
ps y qs. En estas condiciones, despreciando trminos de segundo orden en ,
podemos considerar que
(q, P, t )
(q, P, t )
= (q, p, t ) + 2
Pi
p
175
(q, p, t )
(q, P, t )
= (q, p, t ) =
Pi
pi
por lo que
Pi
Qi
pi
(q, p, t )
q i
(q, p, t )
qi +
pi
(7.39)
(7.40)
que constituyen las ecuaciones de una transformacin de contacto infinitesimal. La funcin recibe el nombre de funcin generadora de la transformacin
de contacto infinitesimal. Si = d t y = H(p, q, t ), podemos considerar que la
= Q i (q, p, t )
Pi
= Pi (q, p, t )
cuyo jacobiano (Q, P)/(q, p) sea distinto de cero. Vamos a probar que este jacobiano no solo es distinto de cero si no que vale la unidad, para ello fijemonos
en que
176
Ahora bien, puesto que las nuevas variables estn relacionadas con las antiguas
mediante una transformacin de contacto
Pi
pi
Q i
W
q i
por lo que
(1)n
W
W
(P) (p) ( Q i ) ( q i )
/
=
/
=1
(q) (Q)
(q)
(Q)
dQ . . . dPn =
(Q, P) 1
d q . . . d pn =
(q, p)
d q 1 . . . d pn = v
X
r
pr d q r
X
r
pr0 d qr0 H d t
pr d q r H d t = d(q0 , p0 , t ) +
pr0 d qr0
177
tendremos
X
r
pr d q r H d t = d +
K s ds
(7.41)
P
donde = (, t ) y K son funciones de las s . La forma s K s ds 5 sustituye a
P
la forma r pr0 d qr0 cuando hagamos el cambio de variables (q0 , p0 ) a s . Debe-
Est claro por el camino seguido, que si las q(, t ), p(, t ) verifican las ecuaciones de Hamilton se debe de verificar la ecuacin (7.41). Al fin y al cabo para
llegar a la expresin de la S hemos supuesto que las funciones q, p verificaban
las ecuaciones de Hamilton. Vamos a demostrar el reciproco esto es,
Teorema 7.7.1 Si el Paffiano
pr d q r H d t = d(s , t ) +
K s ()ds
siendo y K s sendas funciones dependientes de s , t y s respectivamente, entonces la funciones q = q(s , t ), p = p(s , t ) verifican las ecuaciones de Hamilton
q r
t
pr
t
H
pr
H
= r
q
(7.42)
(7.43)
5 De acuerdo con el primer teorema de Paff, la forma diferencial Ps=2n K ( )d se puede pos
s
s=1
P
ner como r=n
r=1 r dr siendo r y r independientes, de talr forma que
X
r
pr0 dqr0 =
X
r
r dr .
La anterior ecuacion nos muestra que el conjunto de variables (pr0 , qr0 ) y (r ,r ) estan ligados
por una transformacin de contacto en la que dV = 0 y U = 0. Tal transformacin de contacto recibe el nombre de transformacin de contacto homognea o de Matieu. De esta forma, los
teoremas que siguen son vidos cuando tenemos una expresin de la forma
X
X
pr dq r Hdt = d + r dr
r
178
DEMOSTRACIN
pr d q r H d t = d +
K s ds
y
X q r
q r
dt
t
s s
X
dt,
ds +
d(s,t ) =
t
s s
d q r (s,t ) =
ds +
q r
H
pr
t
r
X
q
pr
s t
r
+ Ks
X H q r H pr
H
X q r
X q r
=
pr
=
+
pr
r
t r
s
s r
t
s
pr s
r q s
tenemos
2 q r
2 q r
=
t s s t
X q r pr H
pr
q r H
+ r +
+
=0
s t
q
s
t
pr
r
179
(q 1 , . . . q n , p1 , . . . , pn )
(1 , . . . , 2s )
que por hiptesis es distinto de cero, por lo tanto se han de hacer cero los trminos entre parntesis que son las ecuaciones de Hamilton
q r
t
pr
t
H
pr
H
= r
q
H
pr
H
= r
q
=
Pr dQ r
X
r
pr d q r = dW +Ud t
tenemos que demostrar que el nuevo conjunto de variables Q, P tambien verifica las ecuaciones de Hamilton. De acuerdo con el principio de equivalencia
demostrado anteriormente, si las variables (q, p) son soluciones de las ecuaciones de Hamilton, se verifica que
X
r
pr d q r H d t = d +
K s ds
180
de Hamilton. Podemos expresar las funciones (Q, P) a travs de las (q, p) en trmino de las constantes . Sustituyendo la anterior expresin en la ecuacin de
la transformacin de contacto, tenemos
X
r
Pr dQ r (H +U) = d( + W ) +
X
s
K s ds = d +
K s ds
K
Pr
K
= r
Q
W
= H
t
(7.44)
(7.45)
(7.46)
donde hemos utilizado el hecho que U = W /t . Vemos por tanto que las
Ejemplo 7.1 Considerar una partcula que se mueve en el plano sometida a una
fuerza central caracterizada por un potencial V(r). Calcular cual es el nuevo hamiltonianao cuando se realiza una transformacin de contacto dada por la funcin generadora
W (q, P) = PX (x cos t + y sen t ) PY (y cos t x sen t )
SOLUCCIN
W 3(q, P, t )
Pr
W 3(q, P, t )
=
q r
W 3(q, P, t )
=
t
=
181
= (x cos t + y sen t )
= (y cos t x sen t )
px
= PX cos t PY sen t
py
= PY sen t + P y cos t
esto es
U = (PX Y PY X ) = L
siendo L el momento angular. Por tanto
1
K = H L = (PX2 + PY2 ) + V (X , Y ) L
2
ahora bien, de los resultados obtenidos en el capitulo anterior, vemos que el hamiltoniano K es el hamiltoniano de una partcula sometida a un campo central
respecto de un sistema de referencia movil que se mueve respecto de un sistema
de referencia inercial con velocidad angular
Ejercicios
Ejercicio 7.1 Demostrar que la transformacin definida por las ecuaciones
Q
P
= (2q)1/2 e k cos p
= (2q)1/2 e k sen p
182
f (P) cosQ
f (P)
senQ
m
Demostrar que es de contacto encontrando una funcin generadora de la transformacin. Aplicar dicha transformacin al problema del oscilador armnico
donde
H=
1 2 1
p + m2 q 2
2m
2
Captulo 8
Corchetes de Poisson
Dada la importancia terica de los corchetes de Poisson vamos a dedicar un
captulo a su estudio.
X u v
u v
r
pr q r
r q pr
[pi , p j ] = 0,
[q i , p j ] = ij
= Q i (q, p, t )
Pi
= Pi (q, p, t )
184
[Q i ,Q j ]p,q = 0
[Pi ,Q j ]p,q = i
(8.1)
DEMOSTRACIN
X Pi P j Pi P j
[Pi , P j ]p,q =
r
r
p qr
r qr p
teniendo en cuenta las relaciones entre las derivadas parciales de las transformaciones de contacto obtenidas previamente (ecuaciones 7.34 y 7.35) tenemos
X q r pr p r qr
X Pi P j Pi P j
= (Q i ,Q j )
+
r
r q
i Q j
i Q j
q
p
p
Q
Q
r
r
r
r
por lo que
[Pi , P j ]p,q = (Q i ,Q j )p,q = 0
(8.2)
(8.3)
y
j
[Q i , P j ] = i
(8.4)
Los anteriores parantesis de Poisson caracterizan a una transformacin de contacto, esto es una transformacin es de contacto si los parntesis de Poisson
fundamentales cumplen las anteriores propiedades.
Teorema 8.1.2 Los parntesis de Poisson son invariantes de una transformacin de contacto.
DEMOSTRACIN
Considerar dos funciones u(q, p, t ) y v(q, p, t ). Considerar que bajo una transformacin de contacto estas dos funciones se transforman en el nuevo sistema
de coordenadas en U(Q, P, t ) y V (Q, P, t ). De acuerdo con el enterior teorema
185
X u v
u v
r
pr q r
r q pr
V Q t V Pt
U Q s U Ps
+
+
[u, v] =
Q s q r Ps q r Q t pr Pt pr
V Q t V Pt
U Q s U Ps
+
+
=
Q s pr Ps pr Q t q r Pt q r
U V
U V
U V s t
U V
[Q t ,Q s ] +
[Q s , Pt ] +
[Ps ,Q t ] +
[Q ,Q ] =
=
s
t
s
t
t
Q Q
Q P
Ps Q
Ps Pt
= [U, V ]Q,P
donde hemos tenido en cuenta que [Pt ,Q s ] = [Q t , Ps ]
[u, v] = [ , v] + [u,
]
r
r
r
, siendo r igual a t , q o p
186
tercero que podemos poner como [u, [v, w]] [v, [u, w]]. Cabe considerar
X v
v
[v, w] =
w = Dv w
r
pr q r
r q pr
XX
i
w
i
j
i
j
i
j
i
j
i j
2 w
w
i j
i j
i j
Ak
w
w
+ Bk
pk
qk
X
k
Ak
p j
pk
= Aj
X v p j
v p j
v
=
r
r
pr q
q j
r q pr
187
de donde
[u, [v, p j ]] [v, [u, p j ]] = [u,
v
q j
u
]=
[u, v] = A j
q j
q j
] [v,
Bk
q j
q k
= Bj
Desarrollando, como hicimos antes, el trmino de la izquierda de la anterior expresin llegamos a que
[u, v] = B j
p j
sustituyendo
[u, [v, w]] [v, [u, w]] =
X [u, v] w [u, v] w
= [[u, v], w]
p j qk
q k pk
k
H
pi
H
= i
q
df
f X f r f
=
+
p
q
+
r
r
dt
t
pr
r q
188
df
f X f H
f H
f
=
+
+ [ f , H]
=
r
r
dt
t
pr q
t
r q pr
= [q i , H]
= [pi , H]
[u, H]
[v, H]
189
donde vemos que w = [u, v] es una constante del movimiento. As pues los corchetes de Poisson nos pueden servir para formar constantes del movimiento.
qi +
Pi
pi
G
pi
G
q i
siendo G(q, p) la funcin generadora de la transformacin de contacto infinitesimal. As pues debemos de evaluar la funcin u(q i + G/pi , pi G/q i ) lo
190
serie
X u G
u G
u(q +G/pi , pi G/q ) = u(q , pi )+
i
+ = u(q i , pi )+[u,G]
i
p
p
q
q
i
i
i
i
por lo que
u = [u,G]
en particular si u = H
H = [H,G]
aparecen ahora como casos particulares del anterior resultado. Si una coordenada q r es cclica, entonces no aparece en la expresin de la hamiltoniana, por
lo que cualquier cualquier transformacin infinitesimal que implique nicamente una variacin de dicha coordenada no afectar a la hamiltoniana, esto
es H = 0 y por tanto la funcin generadora de tal transformacin de contacto
es una constante del movimiento. As mismo el momento conjungado tampoco
vara.
Vamos a imaginar una transformacin de contacto en la que nicamente
variamos la coordenada cclica qi , de acuerdo con las ecuaciones de la transformacin de contacto infinitesimales
q i
pi
G
pi
G
= i
q
Puesto que pi = 0(la variable qi es cclica), G = G(p1 , . . . , pn , t ) y como nicamante varia una q i , tendremos que G(pi , t ), tomando q i = , tendremos
=
dG
d pi
191
v]
u v v u = i ~[u,
Para verlo explicitamtente, vamos a suponer que tenemos 4 operadores u1 , u2 , v1 , v2 ,
formemos el corchete de [u1 u2 , v1 v2 ] que vamos a desarrollar siguiendo las mismas reglas dadas para los corchetes de Poisson clsicos, pero manteniendo el
orden de los operadores. As tenemos
[u1 u2 , v1 v2 ] = [u1 , v1 v2 ]u 2 + u1 [u2 , v1 v2 ]
= [u1 , v1 ]v2 u2 + v1 [u1 , v2 ]u2 + u1 [u2 , v1 ]v2 + u1 v1 [u2 , v2 ]
asi mismo
[u1 u2 , v1 v2 ] = [u1 u2 , v1 ]v2 + v1 [u1 u2 , v2 ]
= [u1 , v1 ]u2 v2 + u1 [u2 , v1 ]v2 + v1 [u1 , v2 ]u2 + u1 v1 [u2 , v2 ]
192
Igualando, obtenemos
[u1 , v1 ](u2 v2 v2 u2 ) = (u1 v1 v1 u1 )[u2 , v2 ]
(8.5)
i ~[u 1, v1 ]
u2 v2 v2 u2
i ~[u 2, v2 ]
[pr , ps ] = 0,
[qr , ps ] = r s
[qr , qs ] = 0,
[pr , ps ] = 0,
[qr , ps ] = r s
y por tanto
qr qs qs qr
pr ps ps pr
qr ps ps qr
i ~r s
193
194
x u x u
x p p x
x
p
= 0, as mismo,
[x, u] =
x
x
= xi , por lo que
u
px
de la misma forma
[px , u] =
u
x
por lo que
[L z , u] =
u
u
u
u
x
py
px + y
px
p y
x
y
[L z , u] = k p u p + r u r
r u =
u
u
2r +
p
2
(r )
(rp)
p u =
u
u
2p +
r
(p2 )
(rp)
y que
tenemos
u
u
[L z , u] = k
2(r p) +
2(p r) = 0
(rp)
(rp)
As pues las componentes del momento angular conmutan con cualquier escalar formado a partir de momentos y posiciones. En particular podemos formar
el escalar L2 , por lo que
[L x , L2 ] = [L y , L2 ] = [L z , L2 ] = 0
(8.6)
195
o bien el hamiltoniano
[L x , H] = [L y , H] = [L z , H] = 0
(8.7)
Por otra parte, dada una funcin vectorial de u de r, p, esta debe ser de la forma
u = u1 (r, p)r + u2 (r, p)p + u3 (r, p)(r p)
Teniendo en cuenta las reglas vistas hasta ahora de como son los corchetes de
Poisson de L z con x, y, z, px , p y , pz , L x , L y , L z asi como teniendo en cuenta que
los corchetes de Poisson con funciones escalares son nulas, podemos ver que
[L z , u] = k u
y en general
[L n, u] = [L n , u] = n u
(8.8)
Considerar ahora un sistema y que hacemos rotar al sistema un ngulo entorno a un eje n. Dada una funcin vectorial u funcin de posiciones y momentos, la variacin que sufre esta funcin al variar el ngulo es
u = u (n)
por lo que teniendo en cuenta los resultados anteriores
u = [L n, u] = [u, L n]
Obtuvimos antes, que la variacin sufrida por una funcin u bajo una transformacin de contacto infinitesimal era en general
u = [u,G]
siendo G la funcin generadora de la transformacin de contacto infinitesimal.
Vemos por tanto que L n es la funcin generadora de la transformacin de con-
196
Captulo 9
198
W
t
Pi
K
Pi
K
i
Q
Qi
= i = c t e
Pi
= i = c t e
Qi
W (q, P, t )
q i
W (q, P, t )
P i
W (q, , t )
q i
W (q, , t )
i
Del segundo grupo de ecuaciones podemos despejar, suponiendo que el Hessiano k2 W /qk sea distinto de cero, la qs como funcin de , y el tiempo
y sustituyendo en la primera obtenemos los momentos, por lo que queda re1 Hemos cambiado de signo a la funcin generadora
199
W (q, P, t )
= 0.
t
W
q i
W (q, P, t )
W
,t)+
=0
q
t
W
W (q, , t )
,t)+
=0
q
t
(9.1)
200
una gran variedad de integrales completas de dicha ecuacin en derivadas parciales, la pregunta es Cualquier integral completa de dicha ecuacin sirve para
resolver las ecuaciones de Hamilton a partir del sistema
W (q, , t )
pi
q i
W (q, , t )
i
q i (, , t )
pi
pi (, , t )
tenemos que demostrar que estas funciones son soluciones de las ecuaciones
P
de Hamilton. Para ello vamos a formar el Paffiano r pr d q r H d t . Puesto que
por nuestras hiptesis
pi =
W (q, , t )
y
H =
q i
W (q, , t )
t
tenemos
X
r
W (q, , t )
dt
t
r
X W (q, , t )
= dW (q, , t )
dr
r
r
X
= d(, , t ) + r dr
pr d q r H d t =
X W (q, , t )
q r
d qr +
201
W
r
q r (, , t )
pr
pr (, , t )
As pues una vez encontrada una integral completa de la ecuacin de Hamilton Jacobi tenemos resuelto nuestro problema de integracin de las ecuaciones diferenciales de Hamilton. Ahora bien el problema de encontrar soluciones
de la ecuaciones en derivadas parciales no es trivial. Estudiaremos bajo que condiciones es relativamente fcil encontrar soluciones de dicha ecuacin.
De todas las integrales completas que se pueden obtener a partir de la ecuacin de HamiltonJacobi hay una de particular inters, aquella en la que las
constantes de integracin se reducen a las posiciones y momentos iniciales. Por
lo que, segn lo deducido anteriormente,
X
r
pr d q r H d t = d
pr0 d q r0
Ld t
202
En el caso de que el sistema sea autnomo, el tiempo t no esta en el hamiltoniano por lo que la integral de Jacobi es una constante del movimiento
H(q, p) = h
En este caso la ecuacin de HamiltonJacobi resulta ser
h = H(q,
W
W
)=
q
t
W (q, h, 2 , . . . , n )
)=h
q
W
(ht + W (q, h, 2 , . . . , n )
W (q, h, 2 , . . . , n )
=
=t
1
h
h
tomando 1 = t0 tenemos
t t0 =
W (q, h, 2 , . . . , n )
h
(9.2)
pr
W
,
r
W
,
qr
r = 2, . . . , n
(9.3)
r = 1, . . . , n
(9.4)
203
t t0
qn0
pi
pn
= .
W (q 1 , . . . , q n1 , h, 2 , . . . , n1 , )
q i
, i = 1, . . . , n 1
(9.5)
(9.6)
(9.7)
(9.8)
(9.9)
W (q 1 , . . . , q n1 , h, 2 , . . . , n1 , )
q i
)=h
(9.10)
204
SOLUCIN
1 2 1 2
p + kq
2m
2
1 2
1 W 2
W
=h
) = kq +
H(q,
q
2
2m q
de donde
W
=
q
2mh k mq 2
integrando
W =
km
2h
q2d q
k
2h
q 2 ht
k
por lo que
W=
km
dq
La integracin no es necesario realizarla, pues nos interesa la derivada de la funcin W respecto de las constantes de integracin. La ley horaria se obtiene fcilmente de la ecuacin
W
t t0 =
=
h
m
k
dq q
1
2h
k
q2
integrando
t t0 =
s
m
k
arcsin q
k
2h
205
q=
2h
sen((t t0 ) + )
k
2h
q2
k
2hm cos((t t0 ) + )
2hm cos()
de donde
=
y por tanto
q0 =
esto es la energa total vale
2h
sen(/2)
k
1
h = k q02
2
p
p
mk 2h/k = 2hm
206
p0
2h/k = p
mk
de donde
p
p0 cos (t t0 )
p0
sen (t t0 )
p
mk
L
= m r
r
L
= mr 2
de donde
r =
=
1
pr
m
1
p
mr 2
207
!
p2
1
2
p +
+ V (r )
H = pr r + p L =
2m r r 2
de donde
1
2m
W
W
)+
=0
q
t
W
r
W (r, h, )
=
r
2
+ 2 + V (r ) = h
r
2m(h V (r ))
r2
por lo que
W=
dr
2m(h V (r ))
+ ht
r2
W (r, h, )
=
h
md r
q
2
2m(h V ) r 2
W
=
d r
+
q
2
2
r
2m(h V ) r 2
208
W
) = n
q
X
i
Wi (q i , 1 , . . . , n )
Wi
q i
, 1 , . . . , n ) = i
en las que en cada ecuacin solo se hace referencia a una q i . Estas ecuaciones
diferenciales en general se pueden integrar por cuadraturas. Como hemos visto
antes, siempre que existan coordenadas ignorables podemos separar la funcin
caracterstica, pero en general no existe una regla que nos permita decir cuando
un sistema es separable o no. As mismo la separabilidad del sistema depende del tipo de coordenadas elegidas. As por ejemplo, el caso de una partcula
sometida a un campo central es de variables separables en polares pero no en
cartesianas. Existe un teorema debido a Liouville, que no vamos a demostrar,
que nos dice que si la energa cintica se puede poner como
!
q1n
q12 q22
1
T = (X 1 + X 2 + . . . + X n )
+
+... +
2
P1 P2
Pn
y el potencial V vale
V=
1 + 2 + . . . , r
X1 + X2 + . . . + X n
209
Ejemplo 9.3 Resolver por el mtodo de la ecuacin de Hamilton-Jacobi el problema de Kepler en tres dimensiones
SOLUCIN
cula vale3
1
T = (r2 + r 2 2 + r 2 cos2 2 )
2
siendo el ngulo polar del cuerpo respecto del plano de referencia. Los mo p = r 2 cos2 ,
de donde podemos
mentos generalizados valen pr = r, p = r 2 ,
y el hamiltoniano H = T + V ,
obtener las velocidades generalizadas, r, ,
!
2
p2
k 2
1 2 p
pr + 2 + 2
+
H=
2
r
r cos2
r
mento conjugado es una constante del movimiento y por tanto podemos tomar W como
W (r, , , h, 2 , ) = W (r, , h, 2 , ) +
por lo que
W (r, , , 1 , 2 , 3 , t ) = W (r, , h, 2 , ) + ht
(donde hemos llamado a la constante 3 ). La ecuacin de HamiltonJacobi
3 En el problema de Kepler, se puede considerar que la partcula tiene masa unidad y la constante k 2 que aparece en el potencial vale k 2 = G(m1 + m2 ), siendo m1 y m2 las masas de los
cuerpos
210
H(q, W
q ) = h se expresa como
1
2
W
r
k2
1 W 2
2
=h
+ 2
+ 2
r
r cos2
r
2k 2
2
r 2 R 2
2h = 2 +
r
cos2
2 +
2
= 22
cos2
2k 2
r 2 R 2
2h = 22
r
y por tanto
2 = 22
2
cos2
R 2 = 2h +
2k 2 22
2
r
r
quedarnos con aquellos movimientos para los que la energa h es negativa y que
como se sabe son aquellos que dan lugar a rbitas elpticas. En estas condiciones
la forma cuadrtica 2hr 2 + 2k 2 r 22 tiene dos races reales r1 , r2 , (r1 < r2 ) que
corresponden con el perigeo y apogeo de la rbita elptica.
W (r, , , h, 2 , , t ) =
Zr
r1
2k 2 22
2h +
2 dr +
r
r
Z
0
22
2
d + ht
cos2
211
Zr
r1
dr
r
Zr
r1
2h + 2kr
22
r2
2 d r /r 2
2h + 2kr
22
r2
Z
0
d/ cos2
+
q
2
2
2 cos2
2 d
q
22 cos2
1/ cos2 )
+ 3 =
De donde,
Z
0
d(tan)
22
1
tan2
2
v
!
u 2
u
2
t
tan =
1 sen( + 3 )
2
Lo que nos ndica que la rbita es plana, pues implica una relacin lineal entre los cosenos directores(cos cos , cos sen , sen ). La planitud de la rbita
se obtiene asimismo de la constancia del momento angular (que es normal al
plano de la rbita), al ser la fuerza una fuerza central. Sea la longitud del nodo
ascendente e i el ngulo de inclinacin del plano de la rbita (ver la figura 9.1.
De las relaciones de geometra de tringulos esfricos se verifica que
tan = tan i sen( )
de donde = 3 y por tanto 3 representa la longitud del nodo ascendente.
As mismo
cos i =
212
a la integral
=
Zr
r1
2 d r /r 2
r
2h + 2kr
22
r2
Zr
r1
1
r1
d r /r 2
1r 1r r1
2
1 1 1
1
1
1 1
=
+
+
cos
r 2 r1 r2
2 r1 r2
(9.11)
que es una de las formas polares de la elipse. Es fcil de ver que para = 0, r = r1
Z
0
2 d
q
22 cos2
213
2 d
q
22 cos2
Z
0
cos d
cos2 cos2 i
cos d
cos2 cos2 i
Zu
0
sen i cos ud u
=u
p
sen2 i sen2
As pues
= u + 2
y puesto que = 0 para r = r1 , esto es en el perigeo, tenemos
2 = u0 =
La ecuacin de la rbita resulta
1 1 1
1
1
1
1
1 1
1 1
1 1
=
+
+
cos(u u0 ) =
+
cos()
r 2 r1 r2
2 r1 r2
2 r1 r2
2 r1 r2
Introduciendo como constantes el semieje mayor de la elipse a y la excentricidad e, se tiene r1 = a(1 e) y r2 = a(1 + e) y como r1 y r2 son los ceros de la
k2
= r1 + r2 = 2a,
h
r1 r2 =
de donde
h =
22
2h 1
= a 2 (1 e 2 )
k2
2a
k2p
214
k 2 p cos i
Para deducir la ley horaria, debemos de tener en cuenta la ecuacin paramtrica de la elipse
x
a cos E
b sen E
Zr
r1
dr
r
2h + 2kr
22
r2
Zr
r1
rdr
2h (r2 r )(r r1 )
a
k2
t t0 =
a
k2
ZE
0
r dE =
a3
(E e sen E)
k2
n=
k2
a3
se tiene
E sen E = n(t t 0)
Zr
r1
rdr
(r2 r )(r r1 )
215
2 = nT
por lo que
n=
2
T
o
2
T=
= 2
n
T
2
a3
k2
esto es, los cubos del semieje mayor de la elipse es proporcional al cuadrado del
periodo. Segunda ley de Kepler. Con esto tenemos resuelto completamente el
problema. Pues tenemos la ley horaria y la ecuacin de la trayectoria e identificado las constantes del movimiento que vamos a resumir
k2
=
2a
q
k2p
2 =
q
=
k 2 p cos i
h
= 0
t0
(argumento el perigeo)
(longitud del nodo ascendente)
216
pi
q i
W (q, , t )
i
K
i
K
= i
siendo el nuevo hamiltoniano igual al antiguo menos la derivada parcial respecto del tiempo de la funcin generadora de la transformacin de contacto realizada, esto es
K =H
W
W
= H0 + H1
t
t
Ahora bien,
H0
W
=0
t
y por tanto
K = H1
escrito obviamente en trminos de las nuevas variables. As pues tenemos
i
i
H1
i
H1
=
i
=
217
H1
i
H1
=
i
=
= i (a, e, i , t0, , )
= i (a, e, i , t0 , , )
218
tido)
i
i
j
j +
i =
j
j
i H1
i H1
i =
+
j j
j j
i H1 k
i H1 k
+
i =
j k j
j k j
(argumento el perigeo)
t0
de donde
a
e2
cos i
t0
k2
2h
2 h
= 1 + 24
k
=
2
= 1
=
= 2
= 3
219
2
k2
k2
= 2a h
h
=
h
2h 2
2(k 2 /2a)2
k2
2a 2 H1 2a 2 X H1 k
= 2
k 2 1
k k k 1
2a 2 H1(a, e, i , , , t0 )
k2
t0
2 H1(a, e, i , , , t0 )
n2a
t0
Llamando M = n(t t0 ), que recibe el nombre de anomala media (ngulo recorrido por un cuerpo que se mueve con velocidad angular uniforme n), tenemos
a =
2 H1(a, e, i , , , M)
2 H1(a, e, i , , , t0 ) M
=
2
n a
M
t0 na
M
(9.12)
dM
d t0
d t0
= n(1
)= nn
dt
dt
dt
220
se obtiene
e =
di
dt
=
=
p
(1 e 2 ) H1(a, e, i , , , M)
1 e 2 H1(a, e, i , , , M)
(9.13)
na 2 e
M
nea 2
cot i
1
H1(a, e, i , , , M)
H1(a, e, i , , , M)
(9.14)
p
p
na 2 1 e 2
na 2 sen i 1 e 2
p
2 H1(a, e, i , , , M)
1 e 2 H1(a, e, i , , , M)
n
(9.15)
na
a
na 2 e
e
1 e 2 H1(a, e, i , , , M)
H1(a, e, i , , , M)
cot i
(9.16)
p
2
na e
e
i
na 2 1 e 2
H1(a, e, i , , , M)
1
1
(9.17)
p
sen i na 2 1 e 2
i
Nos queda por evaluar H1 y esto obviamente depende del problema a tratar.
En este caso vamos a considerar el campo gravitatorio creado por una Tierra
elptica. Para ello debemos de considerar que el potencial gravitatorio creado
en el punto r por una masa m situada en el punto vale
V (r) = G
m
|r |
m
=
|r |
q
p
(r ) (r ) = r 2 + 2 2r cos
siendo el ngulo entre los vectores r y . Teniendo en cuenta los cosenos directores de ambos vectores este coseno lo podemos poner como
cos = sen sen + cos cos cos( )
De tal forma que el potencial elemental vale
V = G p
dm
r 2 + 2 2r cos
221
dm
r 2 + 2 2r cos
n
Gdm X
Pn (cos )
r n=0 r
Existen un teorema de expansin de los polinomios de Legendre que nos muestra que
Pn (cos ) = Pn (sen sen +cos cos cos( )) =
n
X
(p)
(p)
p=0
donde
np =
1
(np)!
(n+p)!
n=0
n 6= 0
As pues sustituyendo
V =
n
X
n
Gdm X
(p)
(p)
np
Pn (sen )Pn (sen ) cos(p( )) =
r n=0 p=0
n
Z
Z
(p)
X
n
Pn (sen )
G X
(p)
(p)
n
np
cos p Pn (sen ) cos p d m + sen p Pn (sen ) sen p d m
V =
r n=0 p=0
rn
Sean
anp =
(p)
Pn (sen )n cos p d m
bnp =
(p)
Pn (sen )n sen p d m
n = 0, p = 0
a00 =
d m = M,
b00 = 0
222
sen d m
cos cos d m
cos sen d m
zd m
= mZG
(9.18)
xd m
= mXG
(9.19)
ydm
= mYG
(9.20)
n=2, p=0,1,2
a2,0 =
a2,1 =
a2,2 =
b2,1 =
b2,2 =
1
3
2 ( sen2 )d m
2
2
3
2
=3
z2d m
1
2
Z
(x 2 + y 2 + z 2 )d m
(9.21)
(9.22)
xzd m
=6
x2d m 3
=3
y zd m
(9.24)
x ydm
(9.25)
=6
(x 2 + y 2 )d m
(y 2 + z 2 )d m, B =
(x 2 + z 2 )d m,C =
Z
(x 2 + y 2 )d m
y zd m, F =
1
a20 = (A + B) C ,
2
xzd m,G =
a21 = 3E ,
b21 = 3D,
y zd m
a22 = 3(B A)
b22 = 6F
(9.23)
223
Sustituyendo se tiene
GM GM
1
GM A + B
3
2
+
C
sen
r3
2
2
2
V =
1
BA
2
cos 2 + F sen 2
3 cos
4
2
(9.26)
....
Supuesto que la Tierra tenga la forma de un elipsoide de revolucin, entonces
E = F = 0 y A = B y suponiendo que el origen est en el centro de masas (XG =
YG = ZG = 0) se tiene
GM GM
1
3
2
V =
3 (A C ) sen
r
r
2
2
GM
R2
R4
1 + 2 J2 P2 (cos ) + 4 J4 P4 (cos ) +
V =
r
r
r
siendo
J2 =
(9.27)
A C
MR 2
GM
R2
1 + 2 J2 P2 (cos )
r
r
(9.28)
k 2R 2
k 2R 2
J
P
(cos
)
=
J2 (1 3 sen2 )
2
2
r3
2r 3
(9.29)
224
k 2R2
k 2R 2
1 1
1
2
2
2
2
H1 =
J2 (13 sen i sen (+v)) =
J2
sen i + sen i cos 2( + v)
2r 3
2r 3
3 2
2
(9.30)
Z2
0
H1dM
1 1
3
k 2R 2
2
sen i
2 a 3 J2 (1 e 2 )3/2 3 2
s
M
J2 R 2
3
n cos i
2 a 2 (1 e2 )2
5
J2 R 2
3
2
n
2
sen
i
2 a 2 (1 e2 )2
2
2
3
3
J2 R
2
n 1 sen i
n +
2 a 2 (1 e2 )3/2
2
(9.31)
(9.32)
(9.33)
225
emplear este conjunto de ecuaciones para ver que inclinacin se tiene que dar a
un satlite para que tenga una velocidad de precesin conocida. As por ejemplo
en Meteorologa se requiere que el satlite precesione a la misma velocidad que
el Sol, que es de 2 en 365.2419 das, de donde es posible evaluar la inclinacin
de la rbita. Esta resulta ser de unos 110 .
W
W
,t) =
q
t
Segn hemos visto, podemos tomar como funcin generadora a la funcin principal de Hamilton
S=
Ld t
W =
que podemos poner como
W =
Zp
ZX
i
ZX
pi d q i Et
pi d q i
2(E V )d s =
Zp
2T d s
226
siendo d s 2 =
W
q i
nd s = 0
nos dice que el rayo viaja a lo largo de trayectorias de tiempo mnimo. LLamando
L=
nd s
227
n 2 2
=0
c 2 t 2
dr
= ku =
dt
de donde
u=
k,
k2
u=
2 A + (A)2 + k0 n 2 (L)2 = 0
lo que nos dice, que si la longitud de onda tiende a cero, k0 , para que la
228
L
|L|
L = ns
Como el rotor del gradiente es cero (ns) = 0 por lo que por el teorema de
Stokes
nsdr =
ZZ
Z
(ns)d = 0
nsdr
Ldr =
nsdr =
nd s
la ptica geomtrica, L coincide con el camino ptico. En mecnica clsica tenemos que S = W Et , por lo que vemos que el papel de la fase lo cumple la
dS dW
=
E = 0
dt
dt
229
por lo que
dW
=E
dt
p
teniendo en cuenta que dW /d s = 2T , tenemos
dW dW d s p
=
= 2T u = E
dt
ds dt
de donde
E
u= p
2T
que nos da a que velocidad se mueven los frentes de onda en el espacio de las
p
fases. No nos da la velocidad de la partcula, que es 2T . Cual sera la longitud
de onda asignada a la partcula. Para ello identifiquemos las fases en ptica y en
mecnica, teniendo en cuenta que la fase ptica no tiene dimensiones y la de
mecnica tiene dimensiones de accin tenemos
W Et = ~(k0 L t )
de donde
E = ~ = h
que es la relacin de De Broglie para la energa asociada a una partcula. La longitud de onda la podemos evaluar como
p
u E/ 2T
h
= uT = =
=p
2T
ahora bien
h
p
230
que reordenando
~2 2 + (E V ) = 0
que es la ecuacin de Schrodinger. La idea ahora es la siguiente, hemos identificado la mecnica clsica con la ptica geomtrica, siendo esta el lmite de la
ptica ondulatoria, cerrando el crculo podemos considerar a la mecnica clsica como el lmite de la mecnica cuntica cuando la longitud de onda asociada a
la partcula se hace muy pequea. Como la longitud de onda asociada a la partcula es proporcional a la constante de Planck, el lmite 0 se alcanza cuando
h 0.
Ejercicios
Ejercicio 9.1 Obtener las ecuaciones del movimiento de un pndulo esfrico de
masa m y longitud l en un campo gravitatorio mediante el mtodo de Hamilton
Jacobi.
Ejercicio 9.2 Calcular las ecuaciones del movimiento de un trompo simtrico
mediante el mtodo de Hamilton - Jacobi.
Ejercicio 9.3 Calcular el movimiento de un partcula en un campo de fuerzas
de la forma F = At mediante el mtodo de Hamilton Jacobi
Ejercicio 9.4 Encontrar las ecuaciones del movimiento de una barra que se mueve a lo largo de una superficie la cual rota en torno a un eje horizontal.
Captulo 10
significa que tanto la posicin q i como el momento pi son funciones peridicas, en el sentido que al cabo de un cierto tiempo la proyeccin del
punto en este plano vuelve a ocupar la misma posicin y tiene el mismo
232
2ml 2 (E + mg l cos )
rotacin. Si E < mg l, el movimiento est restringido a aquellos ngulos que verifican || 0 , siendo
cos 0 =
E
mg l
libracin.
233
Wi (qi , )
la funcin caracterstica de Hamilton soluccin completa de la ecuacin en derivadas parciales de Hamilton Jacobi
H(q,
W
) = h.
q
Wi (qi , )
d qi
qi
(10.1)
X
i
Wi (qi , (J)) =
Wi (qi , J)
(10.2)
que nos lleva del conjunto original de variables (q, p) a un nuevo conjunto (w, J)
definido de forma explcita mediante las ecuaciones de transformacin
pi
wi
W (q, J)
q i
Wi (qi , J)
q i
W (q, J)
.
Ji
(10.3)
(10.4)
W (q, J)
q i
Wi (qi , )
q i
234
pi (qi , )d qi
(10.5)
sobre al plano pi , qi , de tal forma que la integral en la expresin (10.5) es la integral a lo largo de la proyeccin de la orbita en el plano (qi , pi ), que por hiptesis
es cerrada. As pues Ji representa el rea encerrada por dicha proyeccin. Este
rea depende de las constantes , esto es depende de las condiciones iniciales.
Histricamente el paso de la mecnica clsica a la cuntica consisti en suponer
que estas reas deban de ser un mltiplo entero de ~.
Ji
(10.6)
wi
i t + i
(10.7)
H(J)
i =
Ji
(10.8)
J=
DEMOSTRACIN
235
W (q, J)
= H q(w, J),
q
W (q, (J))
= H q(w, J),
=h
q
(10.9)
Puesto que hemos supuesto que somos capaces de obtener las constantes s
en terminos de las J, en particular la energa total h ser una cierta funcin de
las constantes J, esto es
h = h(J)
por lo que
K (w, J) = h(J)
(10.10)
K
=0
wi
K
Ji
(10.11)
(10.12)
(10.13)
(10.14)
y
wi =
K
Ji
siendo
i =
J=
d t = i t + i
K
Ji
J=
236
W (q, J)
Ji
X
k
q k
W (q, J)
X W (q, J) k
dq
d qk =
Jj
J j k
qk
W (q, J) i
dq
J j
qi
W (q, J) i
dq =
i
J j
J j
q
W (q, J)
qi
d qi
W (q, )
qi
de donde
w j =
W (q, (J))
qi
W (q, J)
qi
(Ji ) = i j
J j
tantes excepto la i exi ma que la variamos en una unidad, todas las qi vuel-
237
ven a su valor original. Para demostrarlo debemos de hacer notar que para que
W (q, J) sea una funcin generadora de la transformacin de contacto vlida es
necesario que el hessiano
2 W (q, J)
q i J j
w j (q, J)
q i 6= 0
lo que significa del teorema de la implcita que podemos despejar las variables
q como funcin de w y J,
q = q(w, J)
de tal forma que si dado un valor de q genera un valor de w , cada valor de w
debe de corresponder con este valor de q.
Corolario
Cualquier funcin F de las variables qi tiene las siguientes propiedades
1. F es una funcin multiplemente peridica del conjunto de coordenadas
(w1 , w2 , . . . , wn ) con periodos fundamentales (1, 0, . . . , 0), (0, 1, . . . , 0), . . . , (0, 0, . . . , 1).
2. F se puede expandir en series de Fourier de la forma
F=
XXX
n1 n2 nn
XXX
C n1 ,n2 ,...,nn sen[2(n1 1 + n2 2 + . . . , nn n )t ]+
n1 n2 nn
238
1 2 1 2
p + kq
2m
2
1 2 1 2
p + kq
2m
2
y la frecuencia
m 1/2
1 k 1/2
J
h = H(J) =
2 m
1 k 1/2
H(J)
=
=
J
2 m
239
una partcula que se mueve en un plano bajo la accin de una fuerza central
procedente de un potencial definido por la expresin
V (r ) =
r r2
DEMOSTRACIN
1 2
1
k
2
pr +
p
2
2
2m
2mr
r r
1
k
1 W 2
2
+
p
2 =h
2
2m r
2mr
r r
W (r, p , h) = (2m)
k
1
h+ + 2
p2
r r
2mr 2
1/2
dr
pp si
W
k
1
1/2
2
h+ + 2
= (2m)
p
r
r r
2mr 2
W
=
240
Si suponemos que
mk 2
<h <0
2
4m 2p
k
1
+ 2
p2 = 0
r r
2mr 2
La orbita en el plano (p , ) es tambien cerrada, reduciendose a una lnea recta. El sistema es por lo tanto cclico. Como es de variables separables podemos
definir las variables accinngulo.
Jr =
1/2
= (2m)
y
Zr2
r1
pr d r =
1
k
2
dr =
p
(2m)1/2 h + + 2
r r
2mr 2
2m 1/2
1
k
2
2
2m)1/2 + (
p = 2(p
) k
h+ + 2
2
r r
2mr
h
J =
p d = 2p
despejando h y p en terminos de Jr y J ,
h=
2m2 k 2
Jr2 +
2
J
82 m
1/2 2
y
p =
J
2
de donde
H(Jr , J ) = h =
2m2 k 2
Jr2 +
2
J
82 m
1/2 2
241
H
=
Jr
4m2 k 2
1/2
2
Jr2 + J
82 m
H
=
J
2
J
82 m
3 =
(2mh)3/2
2m 2 k
1/2 r .
W W h W p
=
+
=
Jr
h Jr p Jr
W (r, h, p )
h
siendo
F (r ) =
de la misma manera
m 1/2 Z
h+
r = r F (r )
k
h2
+ 2
r r
2mr 2
w = F (r ) G(r ) +
siendo
1 m 1/2
G(r ) =
2 2
1/2
dr
k
h2
h+ + 2
r r
2mr 2
1/2
h
d r.
mr 2
del tiempo con periodo 1/r . De la ecuacin que nos da w obtenemos que
= (wr , w )
242
= r t + r
= t +
(2mh)3/2
2m 2 k
2( /r ) 2
r
= 2(r )
J
(J 82 m)1/2
= 1 +
Sustituyendo
R=
42 m
2
J
83 m
2
J
2m
r
h2
243
244
Captulo 11
246
m(i )
Vx
Si el volumen es muy pequeo el anterior valor fluctuar fuermente cuando vayamos de un punto a otro, aunque sea prximo, pues el valor de la densidad depender de si hemos cogido alguna partcula o no dentro de nuestro volumen
elemental, con lo que la idea de un valor de la densidad funcin continua de la
posicin no es posible. As mismo si cambiamos el tamao de nuestro volumen
la densidad cambiar fuertemente pues como antes es psoible que el numero de
partculas contenidas en el interior del volumen vare fuertemente y por tanto
nuestra definicin de densidad depender enormemente del volumen elegido
para definirla. Si vamos aumentando nuestro volumen, poco a poco se ir estabilizando el valor de la densidad hasta que este apenas varie pues la inclusin
de nuevas partculas no va alterar el valor de la densidad. Sea V0 el valor para el
cual esto ocurre. Si dicho valor es muy pequeo frente al tamao macroscpico
del problema que nos ocupa, podemos considerar a la densidad definida en ese
volumen como un valor local, en realidad la vamos a tomar como la densidad
en el punto origen de dicho volumen, esto es
(x) = (V0 )
El problema surge cuando dicho volumen es grande comparado con el tamao
del problema de tal forma que no lo podemos considerar como local. En estas
condiciones debemos de acudir a otra teora como puede ser la teora cintica
de gases. Lo mismos que hemos hecho para la densidad se puede hacer para
otras propiedades macroscopicas como son la velocidad, la temperatura, la presin etc. En cualquier casos vamos a suponer que todas estas propiedades son
funcin continua de la posicin, salvo en un conjunto de medida nula.
247
nos designa las partculas del medio continuo, Este parmetro puede ser por
ejemplo la posicin en un instante inicial. Como antes supondremos que existe
un mapa o aplicacin que nos lleva cada partcula en un instante dado a la
posicin en un instante posterior. Esto es supondremos que existe una funcin
tal que
x = t () = x(, t )
Vamos a suponer que se verifican las siguientes propiedades
248
(11.1)
poniendo que el medio es continuo. Una partcula aqu es un pequeo volumen en torno a un
punto dado.
249
Ahora bien
DP
P (x(, t ), t )
P (x(, t ), t ) x(, t )
=
+
Dt
t
x
t
x
x(, t )
t
no es otra cosa que la velocidad de la partcula en el instante t que por la misma ecuacion (11.1) es la velocidad en el punto x ocupado en ese instante por la
partcula , por lo tanto tenemos
La cantidad
P (x(, t ), t )
P (x(, t ), t )
DP
=
+ v(x, t )
Dt
t
x
x
(11.2)
P (x(, t ), t )
t
x
P (x(, t ), t )
= v GRAD P
x
DP
P
=
+ v GRAD P .
Dt
t x
(11.3)
Podemos aplicar la anterior ecuacin para calcular la aceleracin de una partcula del fluido a partir del campo de velocidades. En este caso P = v y por tanto
Dv v
=
+ v GRAD v
a=
Dt
t x
(11.4)
250
v
x
v
x
GRAD
GRAD
251
(v )v
vi
[(v )v]i = v
x
= t
= (1 + t 2 )
= (1 + t )2
Calcular la velocidad y aceleracin del anterior flujo tanto en la imagen lagrangiana como en la imagen euleriana.
SOLUCCION
De acuerdo con la definicin la velocidad lagrangiana viene dada por la expresin v = (x/t ) , por lo que derivando las anteriores ecuaciones respecto a t
manteniendo constantes , , , tenemos
vx (, , , t )
v y (, , , t )
= 2t
vz (, , , t )
= 2(1 + t )
252
Para caclcular la imagen euleriana debemos de utilizar las ecuaciones del flujo
para eliminar , , , resultando
vx (x, y, z, t ) =
x
t
t
1+t2
1
vz (x, y, z, t ) = 2z
(1 + t )
v y (x, y, z, t ) = 2y
Para calcular la aceleracin partiendo de la expresin de la velocidad en la imagen lagrangiana, solo debemos de derivar respecto del tiempo, por lo que
ax (, , , t )
= 0
a y (, , , t )
= 2
az (, , , t )
= 2
que utilizando las ecuaciones del flujo podemos escribir en la imagen euleriana
ax (x, y, z, t ) = 0
1
1+t2
1
az (x, y, z, t ) = 2z
(1 + t )2
a y (x, y, z, t ) = 2y
vx
+ (v
)vx = 0
t
x
v y
1
+ (v
)v y = 2y
t
x
1+t2
1
vz
+ (v
)vz = 2z
t
x
(1 + t )2
v
+ vy
+ vz
= vx
x
x
y
z
253
obteniendo los mismos resultados que a travs de la imagen lagrangiana. Observes que cuando calculamos la aceleracin a partir de la imagen euleriana
obtenemos la aceleracin tambien en la imagen euleriana.
SOLUCCIN
+
+k
r
r
z
y
v = v r r + v + v z k
siendo (vr , v , vz ) las componentes fsicas de la velocidad en cilndricas (vr =
vz = z).
Aplicando el operador a la velocidad v, obtenemos
r, v = r ,
vr
v
vz
+ r
+ rk
+
r
r
r
1 vr
1 v
1 vz
r
+
+ k
+
r
r
r
vr
v
vz
kr
+ k
+ kk
+
z
z
z
vr r v
+
r r
v = rr
donde hemos tenido en cuenta que la derivada de los vectores base respecto de
r y z vale cero. Dado que
r
=
y que
= r
254
obtenemos
v
vz
vr
+ r
+ rk
+
r
r
r
v 1 vr
vr 1 v
1 vz
r( +
) + ( +
) + k
+
r
r
r
r
r
vr
v
vz
kr
+ k
+ kk
z
z
z
v = rr
vr
v
vz
v v = vr r
+
+
+k
r
r
r
vr 1 v
1 vz
v 1 vr
+
) + ( +
)+k
v r( +
r
r
r
r
r
v
vz
vr
+
+k
vz r
z
z
z
que reordenando
!
2
vr v vr
vr v
v v = r vr
+
+
+ vz
r
r
z
r
vr 1 v
v
v
+
+ v ( +
) + vz
vr
r
r
r
z
1 vz
vz
vz
+ v
+ vz
k vr
r
r
z
vr 1 v vz vr
+
+
+
r
r
z
r
255
del espacio. Es como una imagen instantanea del campo de velocidades del fluido. La ecuacin de la lnea de corriente vendr dada por una expresin del tipo
x = x(s) siendo s un cierto parmetro. En coordenadas cartesianas eulerianas, el
vector tangente a la curva tiene por componentes (d x/d s, d y/d s, d z/d s) Puesto
(11.5)
que nos permite obtener un par de superficies cuya interseccin nos da la lnea
buscada. Podemos tambien utilizar como ecuacin de las lneas de corriente las
expresiones
dx
= vx (x, y, z, t )
ds
dy
= v y (x, y, z, t )
ds
dz
= vx (x, y, z, t )
ds
(11.6)
que nos permite obtener las ecuaciones paramtricas. En todas las expresiones
anteriores el tiempo juega el papel de parmetro y denota el instante en el que
estamos calculando la lnea de corriente. Las ecuaciones y por tanto ls lneas de
corriente cambian de un instante a otro excepto si el tiempo no est presente en
la expresin del campo de velocidades. En esta asituacin diremos que el flujo
es estacionario
256
11.6.2. Trayectorias
Como en la mecnica de sistemas, la trayectoria es la curva integral del campo de velocidades, esto es
dx
= vx (x, y, z, t )
dt
dy
= v y (x, y, z, t )
dt
dz
= vx (x, y, z, t )
dt
(11.7)
257
una vez que conocemos las partculas, vamos a ver que posicin ocupan en un
cierto instante t , sustituyendo la anterior extresin en la ecuacin del flujo
x = x((y, s), t )
(11.8)
En la anterior expresin, s juega el papel de parmetro que nos describe la curva y t el instant en el que consideramos la curva. La lnea de emisin al igual
que la lnea de corriente est formada por diferentes partculas, mientras que
la trayectoria se refiere a la curva descrita por una nica partcula. En el caso
de flujo estacionario, la lnea de emisin coincide con la lneas de corriente y la
trayectoria.
y
x
) = log( )
x0
y0
1+t
y
x
=
y0
x0
258
siendo t un parmetro. Por ejemplo para t = 0 sern rectas, mientras que para
t = 1 sern parbolas.
x
1+t
integrando, obtenemos
x
x0
y
y0
z
eliminando t , obtenemos
= 1+t
= exp(t )
= constante
x
1
y = y0 exp
x0
= e t
= (1 + t )
>Que partculas han pasado por el punto (a, b) en un cierto instante s? Basta
eliminar de las expresiones del flujo (, ),
=
a
1+s
be s
259
be (t s)
a
(1 + t )
1+s
x i
j
260
Vector superficie
x i x k p q
p q
i
i
j
k
r
r p q
de la definicin de Jacobiano,
x i
i = pqr Jp q
r
ahora bien puesto que
pqr p q = r
261
J()
x i
i = Jr r
r
x i
i = x i i = V (x)
r
GRAD x x
j (x)
V () =
j V (x)
262
tendremos
ds =
x i x i
j k
j k
x i x i
j k
C
||
|| ||
d sx p
= MCM
d s
(x i ) =
(x i ) =
Dt
t
pasando a coordenadas lagrangianas
=
x i
x i
x i j
v i j
j
j
=
t j
t j
j t
j
x j
x
en forma vectorial podemos escribir la anterior expresin como
D
(x) = v = GRAD v x
Dt
Multiplicando por x,
D
(x) = x GRAD v x
Dt
D
Ds
= x
(x)
Dt
Dt
y por tanto
s
dividiendo por s 2
Ds
= x GRAD v x
Dt
1 Ds
= M GRAD v M
s Dt
(11.9)
x
s
J
D x i
(J j ) =
j
i =
j
Dt
t
t
1
x i x j x k
i j k pqr p q
3!
r
1
x i x j x k
J
= 3 i j k pqr
=
t
3!
t p q r
264
!
i j
l
i
1
x x k
x j x k
1
pqr v
pqr v x
=
3
=
= 3 i j k
i jk
3!
p q r
3!
x l p q r
=3
j
k
l
v i 1
v i 1
pqr x x x
=
3
i j k l j k J
i
j
k
p q r
x l 3!
x l 3!
J
1 v i l
v i
J = DIV vJ
=6
J
=
t
3! x l i
x i
(11.10)
sustituyendo,
x i
i
= DIV vJ j
t j
x i
x i
x i
i
i
=
(
)
i
t j
t j
t
j
puesto que
x i
v i
=
t j
j
tenemos
v i
x i
x i
i
i
+
(i ) = DIV vJ j
t j
j
j t
despejando,
v i
x i
v i x k
i
(
)
=
DIV vJ j
=
DIV vJ j
i
i
j t
j
x k j
intercambiando los ndices i y k en el ltimo trmino del segundo miembro,
v k x i
x i
k
(
)
=
DIV vJ j
i
j t
x i j
x i
j
v k x i
x i
x i
k
(
)
=
DIV
v
i
i
j t
j
x i j
(11.11)
multiplicando por
D
= DIV v GRAD v
Dt
obtenemos
D
1 D
=
||2
Dt
2 Dt
1 D
||2 = DIV v||2 N GRAD v N||2
2 Dt
||
1 D
|| = DIV v N GRAD v N
|| Dt
(11.12)
que nos da la tasa de expansin del valor absoluto del elemento de superficie.
En cuanto a la tasa de expansin del elemento de volumen, tenemos
J
D
Vx =
(JV ) =
V = DIV vJV = DIV vVx
Dt
t
t
266
donde hemos tenido en cuenta que Vx = JV y que D J/Dt = DIV vJ, as pues
1 D
Vx = DIV v
Vx Dt
(11.13)
(11.14)
de donde se deduce que la densidad no es una magnitud escalar si no una densidad tensorial de peso uno. Tomando la derivada msica (las partculas que componen la porcin del fluido son siempre las mismas)
D Jx D
=
=
= 0
Dt
Dt
t
ahora bien
D Jx
Dx
DJ
=J
+ x
Dt
Dt
Dt
y puesto que
DJ
= J DIV v
Dt
tenemos
J
Dx
+ x J DIV v = 0
Dt
267
(11.15)
Dx
= x + GRAD x
Dt
t
la ecuacin de continuidad la podemos escribir en coordendas eulerianas como
x + DIV (x v) = 0
t
(11.16)
La cantidad (x v) expresa el flujo de masa a travs de una superficie y la divergencia de esta cantidad espresa cuanta masa se ha ganado o perdido a travs de
una superficie cerrada fija en el espacio y por tanto expresa la variacin de la
densidad, pues el volumen encerrado por la superficie es el mismo.
vi
x j
1 vi v j
1 vi v j
+
=
+
2 x j x i
x j 2 x j x i
vi
Designemos por
1 vi v j
ei j =
+
2 x j x i
a la parte simtrica y
i j
1 vi v j
=
2 x j x i
268
a la parte antisimtrica. Utilizando estos nuevos tensores, la tasa de deformacin del elemento de longitud resulta ser
x i
x j
1 D
s =
(ei j + i j )
s Dt
s
s
Se tiene por otra parte que el producto contraido de un tensor simtrico y otro
antisimtrico es nulo, por lo que en la anterior expresin resulta que
x i
x j
x i x j
i j
= i j
=0
s
s
s s
pues i j es antisimetrico por construccin y
x i x j
s s
es simtrico. As pues
1 D
s = M E M
s Dt
GRAD v.
Tensor velocidad de deformacin. Vamos a ver el significado de sus elementos. Para ello consideremos un vector desplazamiento elemental que tiene como
componentes (x 1 , 0, 0), esto es un vector de longitud s = x 1 situado a lo largo
1 D
v 1
1 D
j
s = 1
x 1 = Mi ei j M j = 1i ei j 1 = e11 = 1
s Dt
x Dt
x
As pues e11 representa la tasa de extensin relativa de un vector situado a lo largo del eje 1, lo mismo suceder cono el eje 2 y eje 3. Podemos concluir por tanto
que los elementos de la diagonal del tensor velocidad de deformacin representan la tasa de extensin de sendos vectores situados a lo largo de cada eje. La
traza del tensor viene dada por
v 1 v 2 v 3
+
+
x 1 x 2 x 3
269
que la divergencia del tensor y como vimos antes representa la tasa de cambio
del elemento de volumen. Para ver que representan los elementos fuera de la
diagonal, considerar dos vectores desplazamiento que forman un cierto ngulo
entre ellos El coseno del angulo podemos calcularmo como el producto escalar
x
Figura 11.1:
D
D
(ss cos ) =
(x i y i )
Dt
Dt
v i
v i
D
|90 = vxi y i + v yi x i = k x k y i + k x i y k
Dt
x
x
cambiando los indices repetidos del ltimo tmino del segundo miembro,
!
k
D
v i v k
v i
k
i
k
i v
x k y i = 2ei k x k y i
ss
|90 = k x y + i x y =
+
Dt
x
x
x k x i
270
D
|90 = 2M i ei j M j
Dt
[(u /y )y , 0]
x
2
y
1
[0, (v /x )x ]
[0,0]
Figura 11.2:
velocidad relativa de estos dos punto relativo al origen ser, para el punto 1
u
u
u
u
x +
y =
x
x
y
x
v
v
v
x +
y =
x
x
y
x
271
y para el punto 2
u
u
u
u
x +
y =
y
x
y
y
v
v
v
x +
y =
y
x
y
y
Consideremos nicamente el efecto transversal sobre cada punto, pues los efectos longitudinales (u para el punto 1 y v para el punto 2) lo que hacen es separar a ambos puntos respecto del origen. Debido a estos efectos transversales, la
recta unida al punto 1 barre un angulo y la recta unida al punto 2 barre un ngulo . Considerando ngulos muy pequeos en los que podamos aproximar
el angulo por su seno o su tangente, tenemos
y
1 v
v
=
=
xt =
t
x x x
x
1 u
u
x
=
yt =
t
=
y y y
y
y por tanto
d
dt
d
dt
=
=
v
x
u
y
D
v u
d d
=
= 2ex y
() =
+
+
Dt
dt
dt
x y
272
Para contestar a esta pregunta recordemos que la tasa de extensin relativa viene dada por
1 D
s = mi ei j m j
d s Dt
siendo mi las componentes del vector unitario que nos marcan la direccin del
vector cuya tasa de extensin estamos analizando. Derivando respecto a mi e
gualando a cero. Teniendo en cuenta que los vectores son unitarios y por tanto mi mi 1 = 0 por lo que debemos de emplear un multipilczado de lagrange
tenemos
(mi ei j m j + (1 mi mi )) = 0,
mk
k = 1, 2, 3
derivando
i k ei j m j + mi ei j j k 2i k mi = 0
de donde
ek j m j + mi ei k 2mk = 0
llamando i al indice mudo j en el primer trmino y dada la simetria de ei j tenemos
mi ei k mk = 0
que en forma de matriz
[E][M] = [M]
que es una ecuacin en valores propios, cuyos autovalores son los multiplicadores de lagrange y los vectores propios son la direcciones que estamos buscando.
Como el tensor E es simtrico esta ecuacin siempre tiene solucciones, asi pues
la base donde el tensor E es diagonal nos marca las direcciones en las que las tasas de expansin son mximas y sus autovalores nos marcan cuales son las tasas
de expansin, pues en esta nueva base
[E] =
0
Como en esta nueva base los elementos fuera de la diagonal son ceros, slo se
273
1 u i u j
2 x j x i
1 u i u j
i j =
2 x j x i
pq Apq = Ai j A j i
tenemos que
1 pq v p 1 k pq
v p
v p
1 k qp
i j = i j
=
=
k
i
j
k
i
j
2
x q 2
x q
2
x q
Ahora bien
k qp
y por tanto
v p
= ( v)k = k
x q
1
1
i j = k i j k = k i j ( v)k
2
2
1 d d
2 dt
dt
2 Este proceso de asociar un vector a un tensor antisimtrico de segundo orden solo es posible
en R3
274
pues las variaciones de los angulos y son de signo contrario, perso segn
vimo antes
d
dt
d
dt
de donde
=
=
v
x
u
y
1 v u
1
=
= ( v)z
2 x y
2
v i
x j
x j
v i = ei j x j +i j x j = ei j x j k i j k x j = ei j x j + i k j k x j = ei j x j +(x)
i
2
2
la primera parte mide la deformacin mientras que la segunda parte mide la
rotacin.
SOLUCCIN
275
GRAD v =
u
x
v
x
w
x
u
y
v
y
w
y
u
z
v
z
w
z
= 0
0
2 0
0
0
siendo 2 = u/y. Puesto que la traza del tensor es cero, la divergencia es cero
E=
0
0
0
0
,
0
0
0
0
Puesto que los elementos de la diagonal del tensor E valen cero, no exisaten estiramientoy contracciones en las direciones (i, j, k). As mismo los ejes (x, y) se
estan acercando con una velocidad dada por . Para ver en que direccin se
producen los mximos estiramientos diagonalizamos la matriz anterior. Como
en el eje z no existe flujo, vamos a preocuparnos nicamente de lo que pasa en
el plano (x, y). La diagonalizacin de la matriz
v2
1
p (i + j)
2
1
p (i + j)
2
276
v =
x1
0
x1
0
y por tanto se estar elejando del origen tanto para punto s tomados en el semieje positivo x1 > 0 como el semieje negativo. Lo contario sucede para un punto
situado a lo largo del eje 2
v =
0
x2
0
x2
Ahora los puntos situados en la parte positiva del eje se estan acercando al origen y los de la parte negativa tambin. >Que pasa para punto situados en los
antiguos ejes (x, y)
p
El punto de coordenadas x( 2, 0) en la base antigua, tiene como coordenadas x(1, 1) en la base nueva y por tanto su velocidad ser
v =
x
x
x
x
que el punto esta en x(1, 1), esto es en la parte negativa del eje x de la base
antigua, ahora
v =
x
x
x
x
277
v =
y
y
y
y
que es un vector dirigido a lo largo del eje +x de la base original. Por el contrario
v =
+y
que es un vector dirigido a lo largo del eje x de la base original. Podemos expresar mediante la figura 11.3 todo lo dicho anteriormente. que constituye un
v2
v1
Figura 11.3:
278
= k, por lo que
u/y k = 2 k, tenemos,
v = k x =
y
x
Si representamos este movimiento obtendremos una rotacin en torno al origen, ver figura 11.4. Si superponemos los dos movimientos, vemos que en los
v2
Figura 11.4:
v1
v2
v1
Figura 11.5:
puntos a lo largo del eje x se anulan ambos flujos resultando una cizalla a lo largo del eje y, ver la figura 11.5. Vemos pues que una cizalla es en realidad suma
de una rotacin y una deformacin pura sin cambio de volumen. Este resultado
es importante pues cerca de superficies slidas donde se producen las cizallas
ms importantes el flujo va a ser rotacional. Que una cizalla da lugar a un flujo
rotacional lo podemo visualizar poniendo en el seno de la cizalla un molinete y
ver que efectivamente este molinete gira. Otro punto a destacar es el hecho que
no tenemos que tener un giros para que el rotor del campo sea distinto de cero.
279
x i x i
j k
j k
x i x i
j k
j k j k
s02
i i
= j k j
x j x k
x x k
x i
x j
u i
x j
= ij
u i
x j
s02
u i
u i
u i u i u i
u
i
i
j
k
= j k j
k k x x =
+
x j x k
x j
x j x k x j x k
x
280
s02
= (s s0 )(s + s0 ) =
u i
x j
u i
x k
x j x k
1 u i u i x j x k
1
(s s0 ) =
+
s
2 x j x k s s
V (t )
(x, y, z, t )V =
V (t )
D
+ (DIV v) V
dt
(11.17)
V (t )
(x, y, z, t )V =
JV
puesto que las partculas son simpre las mismas, podemos introducir el tiempo
dentro de la integral por lo que
JV =
(J)Vx =
t
Z
V
+
J V
t
t
teniendo en cuenta la expresin obtenida previamente para la variacin del jacobiano con el tiempo tenemos,
JV =
Z
V
+ DIV v JV
t
281
Z
V
D
+ DIV v V
Dt
V (t )
f V =
V (t )
Z
Df
D
D( f )
V
+ f DIV v V =
+ f DIV v +
Dt
Dt
Dt
V (t )
Ahora bien habida cuenta de la ecuacin de continuidad el trmino entre corchetes se anula, por lo que resulta
D
Dt
V (t )
f V =
V (t )
Df
V
Dt
Se puede reformular la forma del teorema de Reynolds en trminos del llamado volumen de control. Contrariamente al volumen del sistema que se mueve con el fluido de tal forma que siempre est compuesto de las mismas partculas, el volumen de control est fijo en el espacio y las partculas de fluido entran
y salen de l. Para deducir esta nueva forma del teorema de Reynolds volvamos
a la expresin general
D
Dt
V (t )
(x, y, z, t )V =
V (t )
D
+ (DIV v) V
dt
V (t )
(x, y, z, t )V =
V (t )
+ v GRAD + (DIV v) V
tx
ahora bien
v GRAD + (DIV v) = DIV (v)
por lo que
D
Dt
(x, y, z, t )V =
V +
t
V (t )
V (t )
x
V (t )
DIV (v)V
282
V (t )
(x, y, z, t )V =
V +
t
V (t )
x
(x, y, z, t )V =
V +
t
V (t )
V (x)
x
V (x)
(11.18)
V (t )
(x, y, z, t )V =
V +
V (x) tx
V (x)
V +
V (x) tx
V (x)
v = 0
o lo que es lo mismo
tx
V (x)
V +
V (x)
v = 0
V (x)
v =
V (x)
(v n)
tx
V (x)
representa la variacin local de la masa. Podemos por tanto decir a la luz de las
283
(v)
vV =
V +
V (t )
V (x) tx
(v)
V +
v(vn) =
V (x) tx
(vv)n
C (t )
C (t )
Para poder introducir dentro del signo integral la derivada temporal al igual que
en el caso del teorema de Reynolds vamo a pasar a la imagen lagrangiana
D
Dt
C (t )
donde con
r =
C ()
(, t )
C (t )
r =
(, t ) x
+
t
C ()
C ()
(, t )
x
( )
t
284
sustituyendo, tenemos
D
Dt
(, t ) x
r =
+
t
C (t )
C ()
(, t )
r +
t
C ()
C ()
C ()
(, t )(
v
) =
(, t )v
D(x, t )
r =
r +
Dt
C (t )
C (t )
C (t )
(x, t )GRAD vr
285
superficie que separa a nuestro sistema del resto del fluido. Obviamente
las fuerzas no afectan a superficies si no a volumenes, ahora bien el expesor de la capa afectada por las fuerzas superficiales es mucho menor que
la extensin de la superficie y desde luego mucho menor que el tamao
tpico del sistema mecnico que estamos considerando. El origen de estas
fuerzas es molecular. Un ejemplo clsico para comprender este tipo de
fuerzas es el siguiente. Considerar una superficie imaginaria que separa
nuestro sistema mecnico del resto del fluido. Suponer que las velocidades de las moleculas son diferentes a un lado y otro de la superficie. Al
atraversar la superficie las moleculas llevan consigo el momento de la regin origen, este momento es entregado a la regin destino haciendo que
las regiones se aceleren o se frenen induciendo por tanto una fuerza. Podemo imaginar este proceso como un par de trenes que viajan por dos vias
paralelas con velocidades diferentes que representan el estado del fluido
a un lado y otro de la superficie que los separa. Imaginar que unos obreros lanzan sacos terreros de un tren a otro (las molculas que atraviesan
la superficie). Los sacos terreros que salen del tren rapido cuando llegen
al tren lento le comunicaran su momento y este tender a acelerarse, por
el contrario los saco que salgan del tre lento cuando lleguen al tren rapido
adquiriran momento en la direccin de marcha del tren tendiendo este a
frenarse. Como resultado de este intercamio un tren se acelera y otro se
frena, se produce por tanto una fuerza. Este fuerza tiene un alcance muy
limitado, el del recorrido libre medio. Como en mecanica del continuo no
sabemos nada de moleculas ni de sacos terreros, vamos a parametrizar
estas fuerzas superficiales mediante un vector t(x, n) que depende de la
posicin xy de la orientacin de la superfice n de tal forma que t(x, n)
representa la fuerza que ejerce la regin hacia donde apunta n sobre la regin desde donde emerge n
Considerando por tanto ambos tipos de fuerzas la fuerza total ejercida sobre
nuestro sistema mecnico vale,
F=
fV +
t(x, n)
286
t(x,n)
Figura 11.6:
vV =
vV =
fV +
t(x, n)
siendo V un volumen del sistema. De acuerdo con el teorema de Reynolds resultq que
D
Dt
por lo que
aV =
D
vV =
Dt
fV +
aV
t(x, n)
287
t(x, n)
ha de hacerse cero. Esto significa que las fuerzas superficiales han de estar en
equilibrio mecnico localmente.
d(- b)
b
a
d(-c)
Figura 11.7:
el teorema anterior se debe de verificar que
t(x, n)(n) + t(x, a)(a) + t(x, b)(b) + t(x, c)(c) = 0
cuando el volumen del sistema tiende a cero. Segn el principio de accin y
reaccin
t(x, c) = t(x, c)
por lo que
t(x, n)(n) t(x, a)(a) t(x, b)(b) t(x, c)(c) = 0
Ahora bien resulta que las reas laterales son la proyeccin del area transversal
esto es
(a) = (n)a n
288
sustituyendo, tenemos
t(x, n)(n) (t(x, a)a t(x, b)b t(x, c)c) n(n) = 0
por lo que
t(x, n) = (t(x, a)a t(x, b)b t(x, c)c) n
La cantidad entre parentesis no depende de n, lo llamaremos tensor de esfuerzos
y lo representaremos por T por lo que
t(x, n) = Tn
(11.19)
donde vemos que hemos separado la dependencia de n. Dado que hemos empleado una base genrica la anterior ecuacin es una ecuacin tensorial, esto
es, es valida cualquiera que sea la base elegida. En terminos de componentes la
ecuacin anterior se escribe
ti (x, n) = Ti j (x)n j
Para ver el significado de cada elemento del tensor Ti j , consideremos un paralelepipedo. Sea n = (1, 0, 0) un vector unitario en la direccin del eje 1 (eje x), o sea
289
= 0
t(n)d(c21) + t(n)d(c22)
= 0
siendo c11, c12 la cara externa e interna de la semiesfera uno y c21, c22 la cara
externa e interna de la semiesfera dos. Sumando ambas ecuaciones
t(n)d(c11) + t(n)d(c21) + t(n)d(c12) + t(n)d(c22) = 0
Ahora bien las caras c11, c21 reproducen la superficie exterior de la esfera y por
tanto segn dejimos al principio estan en equilibrio por lo que
t(n)d(c12) + t(n)d(c22) = 0
ahora bien las normales a las dos caras son iguales salvo el signo, de donde resulta que,
t(n)d(c12) t(n)d(c12) = 0
y por tanto
t(n) = t(n)
como queriamos demostrar. Podiamos haber pensado el teorema de forma inversa, esto es para que se siga verficando el principio de accin y reaccin es necesario que se verifique que las fuerzas superficiales estn localmente en equilibrio.
290
Para la demostracin del anterior teorema vamos a partir del teorema de conservacin del momento angular
DL
=N
Dt
siendo L el momento angular y N el momento de las fuerza exteriores. Teniendo
en cuenta que
L=
tenemos
D
Dt
V (t )
V (t )
(r v)V
(r v)V = N
V (t )
D
(r v)V = N
Dt
ahora bien
D
Dr
Dv
Dv
(r v) =
v+r
= vv+r
= ra
Dt
Dt
Dt
Dt
por lo que
V (t )
r a = N
V (t )
(r f)V +
[r t(x, n)]
sustituyendo tenemos
Z
V (t )
r a =
V (t )
(r f)V +
[r t(x, n)]
utilizando el teorema de la divergencia podemos pasar de la integra de superficie a una de volumen resultando que la anterior expresin la podemos poner
V (t )
r a =
V (t )
291
(r f)V +
V (t )
V (t )
i j k r j ak =
V (t )
i j k r j fk V +
l
V (t ) x
(i j k r j Tk l )V
( r T ) = i j k
l i j k j kl
r j
x l
Tk l +i j k r j
Tk l
x l
= j l Tk l +i j k r j
Tk l
x l
= i j k Tk j +i j k r j
Tk l
sustituyendo
Z
V (t )
i j k r j ak =
V (t )
i j k r j fk +
V (t )
i j k r j
Tk l
x l
V +
V (t )
i j k Tk j V
Haciendo ahora que el volumen del sistema tienda a cero, vemos que los tres
primeros trminso tienden a cero como r 4 mientras que el ltimo trmino tiende a cero como r 3 por lo tanto para que la igualdad se mantenga es necesario
que
i j k Tk j = 0
y por tanto dado que
123 T32 + 132 T23
= 0
= 0
= 0
x l
292
= 0
T21 T12
= 0
T13 T31
= 0
ti ti tn2 =
q
(Ti j n j )2 (ni Ti j n j )2
3 Aunque no lo hemos dicho explicitamente se ha supuesto que el fluido no es polar y por tanto
293
T11
T12
T21
T31
T22
T32
T13
Ti i
T23
= 3 0
0
T33
0
Ti i
0
0
+
Ti i
T11 31 Ti i
T21
T31
T12
T13
T22 31 Ti i
T23
T32
T33 13 Ti i
de tal forma que p en general es una cantidad positiva. La fuerza ejercida por la
parte istropa vale,
ti = pi j n j = pni
esto es
t(n) = pn
la fuerza solo tiene componente normal y puesto que p > 0 esta fuerza des una
compresin istropa. Supuesto que nuestro pequeo volumen sea una esfdra la
294
siones derorman a la esfera sin que esta tenga que cambiar de volumen, como el
fluido es incapazar de soportar esfuerzos externos que no cambien el volumen,
la esfera se deformar continuamente y por tanto su estado de movimiento se
hace incompatible con el reposo. Se tiene por tanto que en situacin de equilibrio nicamente es distinto de cero la parte istropa y por tanto,
t(x, n) = p(x)n
(11.20)
Puesto que estamos en equilibrio la suma de las fuerzas exteriores ser nula y
por tanto
0=
fV
pn
(f GRAD p)V
(11.21)
que es la ecuacin general de la hidrosttica. Si las fuerzas de volumen dependen de un potencial f = GRAD y por tanto
GRAD p = GRAD
que es otra forma de la ecuacin general de la hidrosttica para el caso de fuerzas de volumen que dependan de un potencial. La anterior expresin no muestra que los vectores gradientes de p y son paralelos y por tanto las superficies
de p constantec coincidcen con las superficies de Omeg a constante. Tomando
el rotacional en la anterior expresin nos lleva a la ecuacin
0 = GRAD GRAD
y por tanto vemos que las supercies equipotenciales son paralelas a las superficies de densidad constante y deducimos tambien que las superficies de densi-
295
pn
siendo n la normal exterior al slido. Nuestra idea es sustituir la anterior expresin por una integral de volumen. Para ello suponer que sustituimos nuestro
slido por una porcin de fluido con tal que esta porcin de fluido est en equilibrio hidrosttico con el fluido que rodea al slido. Como el area que rodea al
solido no varia cuando lo sustituyo por el fluido la anterior integral no cambia.
Ahora bien como esmos suponiendo que el fluido que introduzco est en equlibrio con el fluido exterior podemos aplicar la ecuacin hidrosttica y por tanto
Z
pn =
fV
pn =
gV
esto es coinciden con el peso del volumen de fluido desalojado como queriamos
demostrar.
296
vV =
V (t )
V (t )
fV +
Tn
V (t )
vV =
V (t )
fV +
DIV TV
V (t )
Dv
f DIV T V = 0.
Dt
Dv
= f + DIV T
Dt
tenemos
Dv
= f GRAD p + DIV D
Dt
(11.22)
Esta ecuacin no la podemos resolver hasta que tengamos una expresin para
la parte desviatoria del tensor de esfuerzos. Siguiendo la ley de Hook de que los
esfuerzos son proporcionales a las deformaciones vamos a suponer que
D = f (V)
4 Hemos de hacer constar que esta definicin de la presin es la mimsa que para el caso esttico
aunque su valor no coincida con el de la presin hidrosttica cuando estemos fuera del equilibrio
297
v i
xj
siendo A un tensor istropo de cuarto orden. Se sabe del algebra que el tensor
de cuarto orden istropo se puede poner como
A i j k l = i j k l + i k j l + i l j k
siendo , , constantes. Sustituyendo
Di j = i j k l + i k j l + i l j k vk l
de donde
Di j = D j i = j i k l + j k i l + j l i k vk l
i j k l + i k j l + i l j k vk l = j i k l + j k i l + j l i k vk l
operando llegamos a
vi i i j + vi j + v j i = vi i i j + v j i + vi j
de donde
( )vi j = ( )v j i
Puesto que en general vi j 6= v j i se debe de verificar que = . Por lo que
Di j = i j vi i + (vi j + v j i )
298
ahora bien, vi i = ei i y vi j + v j i = 2ei j siendo ei j el tensor velocidad de deformacin, resultando por tanto
Di j = ei i i j + 2ei j
puesto que ei i = DIV v, resulta que
Di j = DIV vi j + 2ei j
Tal y como hemos definido el tensor desviatorio D resulta que su traza Di i es
nula, por lo que
Di i = 3ei i + 2ei i = 0
de donde resulta que
3 = 2
que constituye la relacion de Stokes5 . Tenemos por tanto
1
Di j = 2(ei j ei i i j )
3
(11.23)
El coeficiente recibe el nombre de coeficiente de viscosidad dinmico. LLevando la anterior expresin a la ecuacin que define el tensor de esfuerzos tenemos
1
Ti j = pi j + 2(ei j ei i i j )
3
Si huviesemos utilizado la presin termodinmica hubiesemos obtenido la ecuacin
Ti j = pT i j + 2ei j + ei i i j
Calculando la traza e igualando tenemos
pT p =
2
+ ei i
3
5 Este resultado se ha obtenido por el hecho de haber definido la presin p como (1/3)T ,
ii
definicin que no depende del estado de equilibrio en que se encuentre el fluido. Existen algunos
libros que definen a la presin p como la presin termodinmica pT (presin que solo tiene sentido en equilibrio) en cuyo caso Di i 6= 0 y por tanto no se verifica la relacin de Stokes y aparecen
2 coeficientes en la definicin de Di j
299
2
k = +
3
Dvi
1
= fi + j pi j + 2(ei j ei i i j )
Dt
3
x
operando, se obtiene
ei j 1 ei i
Dvi
p
= fi i + 2
Dt
x
x j 3 x i
1 v i v j
ei j =
+
2 x j x i
se llega a
p
Dvi
2 v i
1 v j
= fi i + j j + i
Dt
3 x x j
x
x x
1
Dv
= f GRAD p + 2 v + GRAD (DIV v)
Dt
3
(11.24)
300
k GRAD T
siendo k la conductividad. En cuanto al trabajo realizado por el sistema, la velocidad a la realizan trabajo las fuerzas exteriores vale,
Z
f vV +
t vV
301
f vV +
DIV (Tv)V
fi v i V +
x j
(Ti j v i )V
fi +
Ti j
x j
v i V +
Ti j
v i
x j
Ti j
Dv i
= fi +
Dt
x j
D
Dv i i
v V =
Dt
Dt
1 2
v V
2
Ti j
v i
x j
teniendo en cuenta que Ti j es un tensor simtrico, separando v i /x j en su parte simtrica ei j y antisimetrica i j y considerando que el producto contraido de
un tensor simtrico por otro antisimtrico vale cero, tenemos que esta segunda
integral vale
Ti j ei j V
que representa la variacin de energa interna a cuenta del trabajo de las fuerzas
exteriores. As pues teniendo en cuenta la anterior expresin as como la expresin obtenida para el flujo de calor, podemos escribir para el primer principio la
302
expresin
D
Dt
uV =
Ti j ei j V +
k GRAD T
uV =
Z
Z
T
1
k
V
pei i + 2(ei j ei i i j )ei j V +
j
3
x j
V x
V
Z
Z
1
T
2
uV =
pei i + 2(ei j ei i i j ) V +
k j V
j
3
x
V
V x
aplicando el teorema del transporte al primer miembro, llevando todo a una sola
integal y anulando el argumento de esta y teniendo en cuenta que ei i = DIV v, se
obtiene
Du
T
2
= p DIV v + 2(ei j DIV vi j ) +
k j
Dt
3
x j
x
(11.25)
que es la expresin en forma diferencial del primer principio. De los tres trminos de la derecha, el primero representa el trabajo de expansin/compresin,
puede ser positivo o negativo de acuerdo con el hecho que sea una compresion
(DIV v < 0) o una expansin (DIV v > 0 ) respectivamente. El segundo trmino que
303
obtenemos
Du
1
T
2
2
(11.26)
Ds
Du
+ pT DIV v = T
Dt
Dt
Ds
T
2
2
= k(DIV v) + 2(ei j DIV vi j ) + j k j
T
Dt
3
x
x
(11.27)
1
Ds
= k(DIV v)2 + 2(ei j DIV vi j )2
Dt
3
1
Ds
= k(DIV v)2 + 2(ei j DIV vi j )2 > 0
Dt
3
Ds
DT
DpT
= cp
Dt
Dt
Dt
de donde
DT
DpT
1
T
2
2
cp
=
+ k(DIV v) + 2(ei j DIV vi j ) +
k j
Dt
Dt
3
x j
x
304
Dv
= GRAD p + f + DIV D
Dt
Dv
= v GRAD p + v f + v DIV D
Dt
Dv 1 Dv 2 DE c
=
=
Dt 2 Dt
Dt
DE c
= v GRAD p + v f + v DIV D
Dt
(11.28)
DE c
T
Du
1
+
= v GRAD p + v f p DIV v + 2(ei j DIV vi j )2 + j k j
Dt
Dt
3
x
x
Apndice A
Elementos de cinemtica y
dinmica del slido rgido
A.1. Ecuaciones del movimiento relativo
Considerar dos sistemas de referencia (O, R) y (O , R ) de origenes O y O respectivamente, el primero de ellos inercial (aunque esto no es necesario) y el segundo en movimiento rototranslacional respecto del primero. Sea P un punto
material y OP y O P los radios vectores que marcan la posicin de dicho punto
en las referencias R y R respectivamente. Estos radios vectores estn relacionados mediante la expresin
OP = OO + O P
derivando respecto del tiempo en la referencia R,
R
dOP R dOO R dO P
=
+
dt
dt
dt
Sea
R
vP =
dOP
dt
la velocidad del punto P respecto del sistema R. La anterior expresin la podemos poner como
R
vP =R vO +
dO P
dt
(A.1)
R
R
R
dO P R d x R d y R d z
di
dj
dk
=
i +
j +
k + x
+ y
+ z
dt
dt
dt
dt
dt
dt
dt
los tres primero trminos del miembro de la derecha representa la velocidad relativa del punto P respecto del sistema primado. Hay que tener en cuenta que
la derivada de un escalar (como son las coordenadas individuales) en R y la derivada en R son iguales. Podemos pensar tambin que durante esta parte del
proceso de derivacin la base primada se mantiene fija, esto es, las referencias
R y R se mueven una respecto de la otra con un movimiento de traslacin y por
tanto las derivadas en un referencial y otro son equivalentes, as pues
R
R
R
R
R
R
dj
di R
di
dj
di
dO P R d x R d y R d z R di
=
i+
j+
k +x
+y
+z
= vP +x
+y
+z
.
dt
dt
dt
dt
dt
dt
dt
dt
dt
dt
di
= (R /R) i
dt
siendo (R /R) la velocidad de rotacin del sistema primado R respecto del sistema R. Sustituyendo (Para no complicar la notacin (R /R)),
R
dO P R
= vP + (x i + y j + z k ) =R vP + O P
dt
(A.2)
dA R dA
=
+A
dt
dt
(A.3)
307
vP =R vO +R vP + O P
(A.4)
vP , esto es la velocidad
Figura A.1:
= lm
B
sustituyendo el arco por la cuerda,
B = B sent n
siendo n un vector unitario en la direccin ortogonal a B. Sustituyendo
B
= B senn
t
Ahora bien por la definicin del producto vectorial,
B = B sen n
y por tanto
= B
B
como queramos demostrar.
R
R
R
d R
d R
d
d R
( vP ) =
( vO ) +
( vP ) +
( O P).
dt
dt
dt
dt
309
El trmino
d R
( vO )
dt
d R
d R
( vP ) =
( vP ) + vp =R aP + vp
dt
dt
R
R
d
d
d
( O P) = (
) O P + (
O P) =
dt
dt
dt
R
d
d
) O P + (
O P + O P) =
dt
dt
=(
d
O P =R vP
dt
d
d
( O P) = (
O P + R vP + ( O P)
dt
dt
aP =R aP +R aO + 2 R vP +
d
+ ( O P)
dt
(A.5)
aO +
d
+ ( O P)
dt
ms la aceleracin de Coriolis
2 R vP .
P =
LO
vd m
(r R v)d m;
r =OA i ,
Ai D
P=
vd m = M R vG
siendo R vG la velocidad del centro de masas y M la masa total del slido. Tener en cuenta que cuando se habla del momento cintico hemos de tener en
cuenta tanto el sistema de referencia que estemos empleando para dar la velocidad como el punto de referencia empleado para el clculo del momento.
As por ejemplo podemos calcular el momento cintico respecto del centro de
masas del slido, aunque la velocidad la sigamos referenciando al sistema de
referencia original R, en este caso tendremos
R
LG =
rRG R vd m
siendo rRG el radio vector de cualquier punto del slido respecto del centro de
masas. Supuesto que en G colocamos un sistema RG que se mueve con movimiento de traslacin pura respecto del sistem R situado en O, la velocidad vR
vale
R
v = RG v + R vG
311
por lo que
R
LG =
rRG R vd m =
pues la integral
Dr
RG
Z
R
rRG RG vd m+ rRG R vG d m = LGG +
rRG d m R vG = RG LG
D
LO = RG LG + OG R P
(A.6)
LO =
r vd m =
RG
r vd m +
OG R vd m
OG R vd m = OG
vd m = OG R P
LG =
RG
r R vd m
LO = RG LG + OG R P
P = M R vG = Mv
y el momento cintico, puesto que la velocidad relativa respecto del centro masas es cero, RG LG = 0 , de acuerdo con el teorema de Koenigs
R
LO = OG R P
v = r
P=
vd m = M R vG = M OG
LO =
r vd m =
r ( R r)d m
LO =
(r 2 I rr)d m = IO
(A.7)
313
La cantidad
I=
(r 2 I rr)d m
esto es debe de ser un vector propio del tensor de inercia. Puesto que el tensor
de inercia es simtrico, siempre es diagonalizable, esto es podemos encontrar
una base donde el tensor de inercia es diagonal. Los vectores base de esta nueva
base reciben el nombre de ejes principales de inercia. As pues para que el vector
rotacin instantanea sea paralelo al momento cintico, debe ser colineal con un
eje principal de inerca.
Estamos ya en condiciones de expresar el teorema de Koenigs para el momento cintico en trminos del tensor de inercia. De la ecuacin (A.6) vemos
que el momento cintico en G lo podemos poner como
RG
LG = IG
LO = IG + rG R P
(A.8)
1
Ec =
2
(R v)2 d m
Teorema A.4.1 La energa cintica de un sistema material respecto de un sistema de referencia R es igual a la suma de la energa cintica del sistema respecto
de un sistema de referencia RG en movimiento de translacin pura respecto de
R, situado en el centro de masas, ms la energa cintica de toda la masa del
sistema concentrada en el centro de masas respecto del sistema referencia R.
DEMOSTRACIN
vA = R vG + RG v A
de donde
(R vA )2 = (R vG + RG vA )2 = (R vG )2 + (RG vA )2 + 2R vG RG vA
de tal forma que la energa cintica vale
R
1
1
E c = M(R vG )2 +
2
2
(RG vA )2 d m + R vG
RG
vA d m
RG
vA d m = 0
por lo que
R
1
1
E c = M(R vG )2 +
2
2
1
(RG vA )2 d m = M(R vG )2 + RG E c .
2
D
315
Movimiento de translacin
En este caso todos los puntos del slido viajan con la misma velocidad por
lo que
R
1
1
E c = M vG2 = M v 2
2
2
Ec =
1
2
(R v)2 d m
Ec =
1
2
v R vd m =
1
2
( r) R vd m
que de acuerdo con las leyes del producto mixto podemos poner como
R
1
2
Ec =
(r R v)d m
puesto que la velocidad angular no depende de m y teniendo en cuenta la definicin del momento angular, obtenemos
R
1
E c = R LO
2
(A.9)
1
E c = IO
2
(A.10)
1
1
E c = 2 eu IO eu = 2 Iu
2
2
por lo que
R
1
E c = IG
2
1
1
E c = M vG2 + IG
2
2
(r 2 I rr)d m
(r I rr)d m =
GAd m = 0
317
de donde
Z
(GA2 I GAGA)d m
llamando R al radio vector del centro masas y r el radio vector respecto del centro de masas, tenemos
2
IO = (R I RR)M +
(A.11)
v i = v ei
y reciben el nombre de componentes covariantes. De la definicin del vector v
en trmino de los vectores base ei tenemos
vi = v ei = v k (ek ei ) = v k k i = v k
de donde vemos que las componentes cotravariantes y covariantes coinciden
en una base ortonormal. Si la base no fuese ortonormal tendriamos en general
que
ei e j = g i j 6= i j
y las componente covariantes y contravariantes no coinciden. Es fcil ver que
en este caso
vi = g i j v j
en la base ei . Al igual que antes, las componentes covariantes del tensor ti j son
la proyeccin del tensor sobre los vectores base
tk l = ek Tel = ek (t i j ei e j )el = t i j (ek ei )(e j el ) = t i j k i j l = t k l
Al igual que en el caso de un vector referido a una base ortonormal, las componentes contravariantes y covariantes coinciden. Esto no es as en bases cualesquiera en los que ei e j = g i j . En este caso, basta sustituir en la formula anterior
tk l = g k i t i j g j l
Si hacemos un cambio de base (supondremos que todas nuestras bases son
cartesianas ortonormales), los vectores de la nueva base base se pueden poner
como
j
Ei = ai e j
j
ei = i E j
Sustituyendo el vector e en trminos de su definicin, tenemos
j
Ei = ai kj Ek
de donde
j
ai kj = i j
esto es las matrices A = a ij y = kj son la inversa una de la otra.
En la nueva base, un vector v, cuya expresin en la base antigua es
v = v j ej
319
lo podemos como
v = V i Ei
y por tanto
V i Ei = v j e j
Teniendo en cuenta la expresin de los vectores de la base antigua como funcin
de los vectores de la base nueva, tenemos
V i Ei = v j e j = v j kj Ek
de donde
V k = kj v j
de donde vemos que la forma de transformarse las componentes de los vectores es diferente de la forma en la que se transforman los vectores base. De aqui
que las componentes de un vector las hayamos llamado contravariantes Habiamos llamado componentes covariantes a las proyecciones del vector v sobre las
correspondientes bases, por lo que tendremos
j
Vi = v E i = v a i e j = a i v e j = a i v j
y por tanto las componentes vi se transforman como los vectores bases. De aqu
el nombre de covariante.
p q
p q
i j = Ei E j = ai ep a j eq = ai a j ep eq = ai a j pq = ai a j
Esta ecuacin se puede poner en forma matricial como
AAt = I
y por tanto
V = At v
(A.12)
T i j = ip t pq q
que teniendo en cuenta la matriz = At se tiene que
T = At TA
esto es vlido para cualquier tensor por lo que ser vlido tambin para el tensor
de inercia.
Figura A.2:
321
vC =R1 vC +R2 vC 1
vA =R2 vC R1 vC
vB =R1 vC R2 vC
As pues
R2
vA = R1 vB =R2 vC R1 vC
(A.13)
vA = R1 vB = 0
(A.14)
y por tanto
R2
vC =R1 vC
siendo
R2
vA =R2 vA +R vA2
velocidad de arrastre del punto A respecto del referencial R, que como sabemos
es igual a la velocidad del punto A unido al solido S 2 respecto de R, es por tanto
vA =R2 vA +R vB
y por tanto
R2
vA =R vA R vB
R1
vB =R vB R vA
De la misma manera
Si los slidos ruedan sin deslizar hemos visto que R2 v A =R1 vB = 0 por lo que
R
vB =R vA
vB = 0
vA = 0
(A.15)
La conservacin del momento angular nos dice que la variacin temporal del
momento angular respecto de un punto fijo en un sistema galileano R es igual
323
(A.16)
Vamos a suponer que en vez de tomar como referencia para calcular el momento el punto O origen del sistema tomamo un punto Q, en este caso el teorema
anterior se escribe
d R LQ
dt
siendo
R
LQ =
= M Q (Fext )
(A.17)
QA R vd m
LQ = R LO + QO R P
d R LQ
dt
Qmovil
d R LQ
d R LO
d R P dQO R
=
+ QO
+
P=
dt
dt
dt
dt
Qfijo
+ R P R vQ
ahora bien puesto que por el teorema de conservacin del momento cintico
de donde
d R LQ
dt
d R LQ
dt
Qmovil
Qfijo
= M Q (Fext )
= M Q (Fext ) + R P R vQ
P R vQ = R P R vG
(A.18)
P = M R vG
por lo que
R
P R vG = 0
y por tanto
d R LG
dt
Gmovil
= M G (Fext ).
(A.19)
d RG LG
dt
Gmovil
= M G (Fext )
(A.20)
LG = IG
d(IG )
dt
= M G (Fext )
RG
(A.21)
Si escogiesemos una base RG que estuviese unida al cuerpo (RG est en movimiento de translacin) la derivada en la base RG y RG estn conectadas por la
expresin
d
dt
RG
d
dt
+ IG = M G (Fext )
RG
por lo que
d(IG )
dt
RG
d(IG )
=
dt
RG
(A.22)
d
+ IG = M G (Fext )
dt
(A.23)
325
d
dt
RG
d
dt
.
RG
= M1
= M1
= M1
siendo I1 , I2 , I3 los momentos principales de inercia y 1 , 2 , 3 las componentes de la velocidad angular respecto de los ejes principales de inercia, lo mismo
sucede para M1 , M2 , M3 .
X
i
Fi R vAi d t
Puesto que la velocidad de cualquier punto del slido se puede poner como
R
vAi = R vG + R /R GAi
tenemos
dW /d t = R vG
X
i
Fi + R /R
X
i
(GAi Fi ) = R vG
X
i
Fi + R /R M G (Fext ) (A.24)
dRP
d R vG
Fi =
=M
dt
dt
d(IG )
y M G (Fext ) =
dt
RG
sustituyendo
d(IG R /R )
d R vG
+ R /R
dW /d t = M vG
dt
dt
RG
R
d(IG )
dt
RG
d(IG )
=
dt
RG
+ RG /R IG RG /R
tenemos
d(IG )
d R vG
+ RG /R RG /R IG RG /R
+ RG /R
dW /d t = M vG
dt
dt
RG
R
d R vG
d(IG )
dW /d t = M vG
+ RG /R
dt
dt
RG
R
d(IG )
dt
RG
= RG /R IG
d
dt
RG
RG
d 1
RG /R IG RG /R
dt 2
d(IG )
dt
RG
d 1
RG /R IG RG /R
dt 2
327
y por tanto
dW /d t =
d 1 R
1
dE c
M( vG )2 + IG =
dt 2
2
dt
as pues el trabajo realizado sobre el sistema se emplea en variar la energa cintica del mismo.
cos
j = sen
0
k
sen 0
cos
0
0
j
k
1
j = 0 cos sen j
0 sen cos
k
k
Por ltimo hagamos un giro de ngulo en torno al eje z hasta llevar al nuevo
sistema a coincidir con la base unida el cuerpo. Sean {, , } los vectores unitarios de la base unida al cuerpo que estar relacionada con la base {i , j , k }
mediante la ecuacin
cos
= sen
sen 0
cos
0
0
j
k
1
Para obtener los vectores base finales en funcin de los iniciales tenemos que
multiplicar las tres matrices de rotacin
= sen cos cos sen cos sen sen + cos cos cos
sen sen
sen cos
sen sen
cos sen
j
k
cos
= k
teniendo en cuenta la relacin existente entre las diferentes bases, la velocidad
angular en la base fija vale
(A.25)
329
Ejercicios
Ejercicio A.2 Suponed que teneis tres sistemas de referencia en movimiento relativo R1 , R2 , R3 con orgenes O1 ,O2 ,O3 cuyo movimiento viene dado por las velocidades R1 vO2 y R2 vO3 y R2 /R1 y R3 /R2 . Expresar en trmino de estas velocidades
la velocidad de un punto P que se mueve con velocidad relativa
del sistema
R3
VP respecto
R3
Ejercicio A.3 Suponed que teneis tres sistemas de referencia en movimiento relativo R1 , R2 , R3 con orgenes en el mimo punto O1 , velocidades angulares R2 /R1
y R3 /R2 y aceleraciones angulares.R2 /R1 y R3 /R2 . Calculad la aceleracin angular absoluta
Ejercicio A.4 Calcular el momento de inercia de un cono homogeneo de altura
h y radio de la base a respecto de una generatriz
Ejercicio A.5 Calcular el tensor de inercia respecto del sistema de referencia
(x, y, z) de tres discos de radio a situados como se muestra en la figura A.4
Figura A.4:
LQ =
QA RQ vA d m
siend A un punto cualquiera del slido. Desmostrar que la ecuacin de conservacin del momento cintico utilizando RQ LQ se expresa de la siguiente forma
d RQ LQ
dt
= M Q (Fexteriores) QG R aQ
LQ = IQ
del disco. Sea S el sistem material constituido por el disco y el punto material
y supondremos que S est aislado. Se quiere estudiar el movimiento de S con
referencia a un referencial galileano R = Ox y z cuando se imprime al punto A de
vO = 0,R vA , D/R = 0.
v A , y O A.
331
p
= 3 3i + 3j + 3k
vB
= 0i + j + 3k
vC
= i + j + 3k
mientras que el collar puede desplazarse libremente a lo largo de la varilla horizontal CD. Para = 0 calcular: La velocidad del collar y la velocidad angular de
la varilla AB.
Figura A.5:
Ejercicio A.10 La plataforma que se muestra en la figura A.6 rota con una velocidad angular constante = 0.2 rad/s. Sobre dicha plataforma pivota un tubo
cuya velocidad angular viene dada por la expresin (t ) = /6 sen 2t rad. Una
la aceleracin de la partcula.
Figura A.6:
Ejercicio A.11 Considerar el robot que se muestra en la figura A.7.El brazo del
robot est unido al eje vertical del robot. Con un movimiento telescpico un segundo brazo avanza o retrocede a lo largo del primero. Suponiendo que las leyes
horarias de los ngulos y son (t ) = 0,2t rad y (t ) = /4(1+sen t )rad y que
Figura A.7:
333
Ejercicio A.12 Un aeroplano, mostrado en la figura A.8 se mueve con una velocidad de 420 mph. Un asistente de vuelo que pesa 120 lb se encuentra 15 ft desde
el centro de masas. Para evitar una zona de turbulenencia, el piloto realiza una
maniobra de emergencia. El aeroplano empieza a cabecear (pitch) hacia arriba con una velocidad angular constante de 0.1 rad/s y comienza a virar hacia
la izquierda describiendo una curva cuyo radio de curvatura vale 30 000 ft. La
velocidad (escalar) del centro de masas no cambia durante la maniobra. Encontrar la fuerza ejercida sobre el pie del asistente si este pretende moverse hacia
adelante con una velocidad de 2 ft/s.
Figura A.8:
Apndice B
cio topolgico Y . La aplicacin f se dice que es continua en x0 X si para todo abierto V conteniendo a f (x0 ) existe un abierto U conteniendo a x0 tal que
f (U) V
336
se pueden considerar como la parametrizacin numrica de P. Al homeomorfismo i se le denomina homeomorfismo coordenado y las coordenadas cartesianas (x1 , . . . , xn ) son las coordenadas locales de P y se denotan por x k = x k (P). Al
337
U1
U3
U2
U4
y los homemorfismos (se puede demostrar que las aplicaciones inversas son
continuas)
1 (x, y) y>0 = x
2 (x, y) y<0 = x
3 (x, y)x>0 = y
2 (x, y)x<0 = y
que nos llevan a los conjunto Ui sobre los abiertos Vi que coincide con el intervalo (-1,1) R1 . Est claro que la unin de los abiertos Ui recubren S 1 y por tanto
S 1 es una variedad topolgica.
338
considerar una carta (U, ) que nos lleve del punto P M al punto (x 1 (P), . . . , x n (P))
Rn . Podemos poner h(x 1 , . . . , x n ) f (1 (x)), siendo x el vector x = (x 1 (P), . . . , x n (P)).
339
V1
1
U1
V11
(1)
U12
(1)
V21
U2
2
V2
M
Figura B.2:
representar como funciones independientes de x 1 , . . . , x n ,
y 1 (P) =
..
.
y 1 (x 1 (P), . . . x n (P))
..
.
y n (P)
y n (x 1 (P), . . . x n (P))
donde hemos empleado el mismo simbolo y k para el punto como para la funcin. Sustituyendo en la anterior ecuacin obtenemos
h(x 1 , . . . , x n ) = h (y 1 (x 1 (P), . . . x n (P)), . . . , y n (x 1 (P), . . . x n (P)))
Las funciones y k ((x 1 (P), . . . x n (P)) representan las funciones transformacin de
coordenadas. Podemos por tanto dar la siguiente
x kj (xi1 (P), . . . , xin (P)), P Ui j . Las funciones xik = x kj (xi1 , . . . , xin ) se las denomina
Las funciones de transicin no tienen porque estar definidas en el dominio entero V j solo sobre la parte Vi j = j (Ui j ). La figura B.2 nos muestra un diagrama
de un cambio de coordenadas. Si nos fijamos en dicha figura, 1 nos lleva del
340
te diferenciables (diferenciables con derivadas parciales continuas) para cualquier par de cartas (Ui , i ) y (U j , j ) en el dominio entero de su definicin.
El hecho de que las funciones de transicin sean de este tipo particular, continuamente diferenciables, nos garantiza que si tenemos una funcin f definida
funciones de clase C r para cualquier par de cartas (Ui , i ) y (U j , j ) en el dominio entero de su definicin.
341
nadas locales (xi1 , . . . xin ) la funcin f puede ser representada por una funcin
h(xi1 , . . . , xin ) de clase C s en un entorno del punto (xi1 (P0 ), . . . xin (P0 ))
para cada sistema de coordenadas locales (x 1 , . . . , x n ) en el entorno de un punto P0 M1 y (y 1 , . . . , y m ) en el entorno de un punto Q0 = f (P0 ) M2 la representacion de f como funcin vectorial y = (y k ) = (h k (x 1 , . . . , x n )) = h(x) es una
es una variedad n 1 dimensional de clase C y podemos elegir un sistema cartesiano de dimension n 1 del espacio ambiente Rn como sistema de coordenas
342
Antes de dar el concepto de vector tangente a una variedad, vamos a analizar algunos ejemplos sencillos para entender su significado. Considerar para
ello un curva lisa en R3 , cuya ecuacin paramtrica viene dada por la expresin x = x(t ) = (x 1 (t ), x 2 (t ), x 3 (t )) siendo t un parmetro. Para un valor fijo de t0 ,
desarrollemos el vector x(t ) en torno a t0 ,
x(t0 + t ) = x(t0 ) +
dx
(t0 )t +O(t 2 )
dt
Los dos primeros trminos del miembro de la derecha representan, por una lado
una aproximacin de la curva x(t ) en el entorno del punto t0 y por otro representa la ecuacion de un recta en R3 que pasa a travs del punto P0 . Adems entre
todas las lineas rectas que pasan por P0 es la que mejor se aproxima a la curva
x(t ) en P0 .
Considerar ahora una superficie en R3 definida de forma paramtrica mediante la ecuacin x = x(u, v) siendo (u, v) un par de parmetros independien-
x
u
x
v
x
u
x
v
y
u
y
v
z
u
z
v
x
x
(u0 , v0 )u +
(u0 , v0 )v +O(u 2 + v 2 )
u
v
la parte lineal del anterior desarrollo en serie define las ecuaciones de un plano,
que es tangente a la superficie en (u0 , v0 ). Podemos decir que todo vector con
origen en P0 y que est contenido en el anterior plano es un vector tangente a
las superficie en P0 . La representacin paramtrica del plano tangente tiene la
343
forma
x(u0 + u, v0 + v) = x(u0 , v0 ) +
x
x
(u0 , v0 )u +
(u0 , v0 )v
u
v
por lo que todo vector tangente puede ser puesto como una combinacin lineal de los vectores
x
x
u (u0 , v0 ) y v (u0 , v0 )
x
x
(u0 , v0 )u +
(u0 , v0 )v
u
v
Definicin 9 Sea =
x
1 x
2
u (u0 , v0 ) + v (u0 , v0 )
1 2
344
expresiones
u
(t0 ) =
t
v
(t0 ) =
t
u u
u v
(t
)
+
(t0 )
0
u t
v t
v u
v v
(t
)
+
(t0 )
0
u t
v t
X xik
xi1
x 1j
x lj
...
..
.
..
xin
x 1j
...
(P0 )lj
xi1
xin
..
.
xin
x nj
345
Los nmeros (1i , . . . , ni ) son llamados las coordenadas del vector tangente
Rn en el sistema de coordenadas locales (xi1 , . . . , xin ). La anterior ecuacin
nua del intervalo (-1,1) en M. La correspondencia que asocia con cada sistema
d x kj
dt
((t ))|t =0
d xik
dt
((t ))|t =0 =
X xi
X xi
d k 1
d
xi (x j ((t )), . . . , x nj ((t )))|0 =
((t )) x lj ((t ))|t =0 =
(P0 )lj
l
l
dt
d
t
x
x
l
l
junto es llamado TP0 Cada vector tangente TP0 est definido de forma nica
por sus componentes en un sistema de coordenadas fijo.
Suponer que tenemos un conjunto de nmeros (q , . . . , n ),o sea un elemento del espacio vectorial aritmtico Rn , suponer que estos n nmeros constituyen
las componentes de un vector tangente en un cierto sistema de coordenadas lo-
346
cales dado (xi1 , . . . , xin ), esto es k = ki . Para a definir un vector tangente debe0
X xik
xil
(P0 )l
xil
(P0 ) =
s
X xik X x j
x sj
s
X X xik x j
l
xil
x sj x l
i
(P0 )l =
(P0 )l
(P0 ) =
s
xik x j
x sj x l
i
(P0 )
Vemos por tanto que el conjunto de todos vectores tangentes a una variedad M
en un punto P0 est determinado de forma nica por el conjunto de coordenadas en un sistema de coordenadas locales fijo. Podemos por tanto identificar el
espacio tangente TP0 con el espacio vectorial aritmtico Rn . Para ello basta con
tomar como vector l definido anteriormente un vector de Rn . Es facil de ver
que la anterior ley de transformacin
ki
X xik
s
x sj
sj
confiere al espacio tangente una estructura de espacio vectorial de tal forma que
entonces podemos considerar a TP0 isomorfo al espacio vectorial aritmtico Rn .
f
f
(x0 , y0 )1 +
(x0 , y0 )2
x
y
estando las derivadas evaluadas en el punto P0. Esta derivada tambin es posible
hacerla en trminos de una curva lisa (t ) que pasa por el punto P0 . En este caso
suponiendo que el vector coincide con la tangente a la curva en P0 , se tiene
que
( f ) =
d
f ((t ))|t0 ,
dt
(t0 ) = P0
Definicin 11 Sea P0 un punto de una variedad lisa M, un vector perteneciente al espacio tangente TP0 (M) y (t ) una curva lisa (esto es una aplicacin de R
0 ) = y sea f
en la variedad M) que pasa por el punto P0 para t = t0 y tal que (t
348
(B.1)
lisa en el entorno del punto P0 representada como una funcin de las coordenadas locales (x 1 , x 2 , . . . , x n ), se tiene que
( f ) =
X f
i
x i
(B.2)
(B.3)
350
= 1
+ . . . + n n
1
x
x
(B.4)
+ . . . + n n
1
y
y
(B.5)
y k
x j
351
f 1
(P0 )
x 1
..
.
...
..
.
f m
(P0 )
x 1
...
f 1
(P0 )
x n
..
..
.
.
f m
n
x n (P0 )
Aunque para dar la anterior definicin hemos necesitado de una carta tanto en
M1 como en M2 se puede demostrar que la anterior definicin es independiente
de la carta empleada. Para ello basta tomar la ley tensorial de transformacin
de las componentes de un vector al pasar de un sistema de coordenadas a otro.
Sea (U , h ) = (U, x 1 , . . . , x n ) y (V , k ) = (V , y 1 , . . . , y n ) dos nuevos sistemas de
y k = f k (x 1 , . . . , x n ) =
Sea d fP0 la aplicacin d fP0 construida con la ayuda de las dos nuevas cartas.
Sean (1 , . . . , n ) y (1 , . . . , n ) las componentes en las nuevas cartas de sendos
vectores de los espacios tangentes TP0 (M1 ) y TQ0 (M2 ) tal que
j =
X f j
l
x l
352
M2
F
y'
x'
'
f'
y' . F = f'(x')
y . F = f(x)
Figura B.3: M1 y M2 representan dos variedades, x, x , y, y sendas cartas definidas en dichas variedades. f y f la expresin en las cartas x y x de una cierta
funcin F entre ambas variedades
tenemos que demostrar que efectivamente son las componentes de un vector en la nueva base, esto es que los conjuntos de componentes (1 , . . . , n ) y
(1 , . . . , n ) estn relacionados mediante la expresin
j =
X y j
l
y l
= f (x )
y = f(x)
353
de donde
j
f j
x k
r s
X y j
f
x
=
r
s
k
r,s y
P0
P0
Q0 x P0 x
r s
X X y j
f
x
=
l
r
s
l
l
y
x
x
x
r,s
P
P
Q
l
0
0
0
X f
l
l =
tenemos
j =
y de la definicin de
X x l
k
x k
r
X y j
f
s
r
s
y
x
r,s
P0
Q0
j =
X y j
r
r
y
r
Q0
d fP0 () = =
X f
k
x k
P0
que nos lleva a un elemento de un espacio vectorial en un numero. La diferencial es por tanto un elemento del espacio dual ( que denotaremos por TP0 ) del
espacio tangente TP0 (M), pues a todo elemento del espacio tangente nos lo
lleva a R. Los elementos del espacio dual reciben el nombre de covectores.
354
La cantidad anterior,
X f
x k
k ,
P0
X f
k
x k
P0
X x 1
x k
P0
k = 1
j
tenemos
X f
d fP0 () =
x k
P0
d xPk0 ()
X f
k
x k
P0
d xPk0 .
Esta expresin nos muestra que ( f /x 1 )P0 , . . . , ( f /x n )P0 , son las componen-
355
(0, 0, 1, 0, 0)
por lo que
d xPk0 ( j ) = d xPk0
x j
= kj
(B.6)
Jy =
y k
y 1
x 1
..
.
...
..
.
y n
x 1
...,
y 1
x n
..
.
y n
x n
J y 1 =
x k
x 1
y 1
..
.
...
..
.
x 1
y n
x n
y 1
...,
x n
y n
..
.
356
k =
y j
y k
X y j x l
x l y k
= J y J y 1
As pues
J y 1 = J y1
En el caso de paso de coordenadas cartesianas euclidianas a polares la matriz de
Jacobi viene dada por la expresin
Jy =
r
x
r
y
J y 1 =
x
r
y
r
tenemos
J y 1 =
r cos
r sen ,
cos
sen
r sen
r cos
cos
J y = (J y 1 )1 = 1
sen
r
sen
1
cos
r
Ejemplo B.6 Calcular las ecuaciones de transformacion de los vectores base del
espacio tangente TP0 y cotangente (o dual) TP0 para el caso de coordenadas polares planas y cartesianas euclidianas rectangulares.
357
r cos
r sen
De la definicin, los vectores base en polares son (/r ) y (/), por lo que de
acuerdo con la regla de la cadena
=
=
+
r y
x
+
y
como
x
r
x
y
r
y
= cos
= r sen
y
r
y
= sen
= r cos
tenemos
=
=
cos +
sen
x
y
r sen +
r cos
x
y
cos
sen
r sen
r cos
Para el caso de los vectores base del espacio dual, teniendo en cuenta que
r 2 = x2 + y 2
tan =
y
x
derivando, tenemos
dr =
x
y
d x + d y = cos d x + sen d y
r
r
358
y
d =
sen
cos
dx +
dy
r
r
dr
d
cos
sen
sen
r
cos
r
dx
dy
Ejemplo B.7 Calcular las componentes del vector velocidad en coordenadas cartesinas rectangulares en R2 supuesto que sus componentes en coordenas pola
res planas son r, .
SOLUCCIN
+
r
+ r sen
+ sen
+ r cos
u = r cos
x
y
x
y
reordenando
u = cos r r sen
+ sen r + r cos
x
y
as pues
ux
= cos r r sen
uy
= sen r + r cos
ux
= cos ur u sen
uy
= sen ur + u cos
llamando ur = r y u = r
359
xi y i
xik y i =
xik y i
Los ndices que se repiten son mudos, en el sentido que nos da lo mismo utilizar
un ndice u otro, por ejemplo
xi y i = xk y k =
xl y l
En una expresin el ndice que queda libre nos marca el tipo de objeto que tenemos. Si no nos queda ningn ndice libre tenemos un escalar, si nos queda un
ndice libre tenemos un vector, si nos quedan dos ndices libres un tensor y as
sucesivamente.
Cuando tengamos fracciones (por ejemplo cuando tomemos parciales), un
superndice libre en el denominador en el miembro de la derecha se transforma
en un subndice en el miembro de la izquierda. Por ejemplo
i =
y l
x i
360
X y k
l
x l
l =
y k
x l
antiguas tenemos
dy =
y
dx
x
Consideremos ahora el conjunto de las aplicaciones lineales del espacio tangente TP0 (M) en R
l : l() R
tal que
l : ( + ) = l() + l()
l : () = l()
Este conjunto tiene una estructura de espacio vectorial sin ms que definir la
suma de funciones y la multiplicacin por un nmero
(l + m) : l() + m()
(l) : l()
Este espacio vectorial se denomina espacio dual
Elijamos unas aplicaciones lineales particulares, tales que aplicadas a los
361
x k
= k m
x k
) = m
Este conjunto de aplicaciones lineales forman una base del espacio dual y por
tanto
l = m l m
Vimos tambin, en secciones anteriores, como la diferencial d x m aplicada al
vector nos daba m de tal forma que podemos tomar lm = d x m y por tanto
l = m d x m
Las aplicaciones l reciben tambin el nombre de 1-formas diferenciales.
>Como se transforman las 1-formas cuando cambiamos de sistema de coordenadas ?. Sea y j un nuevo sistema de coordenadas en el entorno de P0 . En este
sistema
l = m d y m
como en el sistema x i la 1-forma se expresa como k d x k , tendremos
m d y m = k d x k
Ahora bien, d x k = x k /y m d y m , y por tanto
m d y m =
x k
k d y m
y m
y por tanto
m =
x k
k
y m
362
Vemos que ahora la forma de transformarse los vectores del espacio dual son
diferentes, pues la matriz de transformacion es la transpuesta de la inversa de
la matriz de Jacobi. A esta forma de comportamiento lo llamaremos covarianza y los vectores cuyas componentes en diferentes sistemas se transforman de
esta manera se llaman covectores o vectores covariantes. As pues las 1-formas
diferenciales son covectores
Como vimos a la hora de definir la diferencial, d f , sta se comporta como
una aplicacin lineal y es por tanto un covector cuyas componentes son f /x i
d xk d xk
Zp
(d x 1 )2 + . . . + (d x n )2
l=
d x1
dt
d xn
+...+
dt
dt
363
dl =
d x1
dt
d xn
+...+
dt
2 )
dt2
dl
dt
d x1
=
dt
d xn
+... +
dt
d x1
dt
+... +
d xn
dt
Dada nuestra interpretacin de un vector del espacio tangente TP0 como vector tangente a una curva cuyas componentes son d x j /d t , podemos definir la
longitud de un vector de coordenadas k en el sistema de coordenadas eucdeas
||2 =
(k )2
X
k
d xk d xk =
X x k x k
k
y i y j
X x k x k
k
y i y j
d yi d y j
364
x k x l
y i y j
k l
siendo k l la delta de Kronecker y que representa al tensor mtrico en coordenadas eucldeas. En la anterior expresin hemos empleado la notacin de Einstein
dada anteriormente de suma en ndices repetidos. De la definicin de la matriz
de Jacobi de una transformacin de coordenadas, el tensor mtrico g i j representando por una matriz G, toma la forma
G = J yT1 I J y 1
siendo Ii j = i j la matriz identidad. Puesto que segn hemos demotrado las
J y 1 = J y1
tenemos
G = J yT1 I J y 1 = (J y1 )T I J y1
De la misma manera que en el caso anterior, si hacemos una transformacin de coordenadas ecucldeas x i a otro sistema de coordenadas z i , el tensor
mtrico en este nuevo sistema viene dada por la expresin
hi j (z) =
x k x l
z i z j
k l
y k y l
z i z j
g k l (y).
Esta forma de comportamiento define al tensor mtrico como un tensor de segundo orden covariante. En forma matricial la anterior expresin la podemos
365
poner como
H = JzT1 G Jz 1 = (Jz1 )T G Jz1
De la misma manera que la expresion de la longitud de un arco elemental
al pasar de coordenadas cartesianeas eucldeas a un sistema de coordenadas
cualquiera pasa de ser
d l2 = d xk d xk
a
d l 2 = gi j d y i d y j
la longitud de un vector del espacio tangente TP0 pasa de ser
j
||2 = ix x
en coordenadas cartesianas eucldeas x i a
j
||2 = g i j iy y
en coordenadas cualesquiera y j . Obviamente las componentes del tensor mtrico han de evaluarse en P0 .
Podemos definir el producto escalar entre dos vectores , del espacio tangente TP0 como
= g i j (P0 )i j
de tal forma que la longitud de un vector se puede poner como
||2 = .
As mismo se define el ngulo entre dos vectores del espacio tangente TP0 como
cos =
g i j (P0 )i j
=q
q
||||
g i j (P0 )i j g i j (P0 )i j
366
y k
del es-
|gk |2 = g i j g ki g k
|gk |2 = g i j g ki g k = g i j ik k = g k k
Podemos definir un vector base unitario mediante la expresin
gk
ek = p
gk k
por lo que dado un vector del espacio tangente TP0 , su expresin en esta base
unitaria la podemos poner como
= j gj =
g j j j ej
367
las componentes
j ( f i s) =
g j j j
Ejemplo
r cos
r sen
gz
= cos
+ sen
r
x
y
= r sen
+ r cos
x
y
=
z z
gi j =
0
0
r2
368
+ sen
x
y
g
=
= sen
+ cos
r
x
y
= gz =
z
= gr = cos
fz
rF
= Fz
como
G = G 1
y cuyas componentes denotaremos como g i j . Obviamente de la definicin
g i j g j k = ik
Suponer que hacemos un cambio de coordenadas a otro sistema de coordenadas z i en el que el tensor mtrico vale H = hk l . En el nuevo sistema tendremos
369
igualmente
H = H 1
>Como se relacionan H y G ?. Puesto que H y G son tensores mtricos
H = (Jz1 )T G Jz1
sustituyendo
1
z )T
= Jz G 1 (Jz )T = Jz G(J
H = (Jz1 )T G Jz1
z i pq
z j
z i z j pq
g
(y)
=
g (y)
y p
y q y p y q
370
(No suma en j)
1
j
gj j
(No suma en j)
o
Aj =
g j j Aj =
gj j
1
1
j = p
j
gj j
gj j
(No suma en j)
Supongamos ahora que las componentes de la 1forma i sean las componentes de la diferencial de una cierta funcion de Rn R,
wi =
f
x i
f
x i
que recibe el nombre de vector gradiente. Las componentes en una base ortogonal valen
Ak =
1 f
g k k x k
No suma en k
1 f
g k k x k
No suma en k
f
,
r
a =
1 f
,
r
az
f
z
B.18 Tensores
371
B.18. Tensores
Hemo visto en los apartado anteriores como se transforman los vectores y
ciertos tensores de segundo orden cuando cambiamos de coordenadas, vamo a
dar ahor al definicin de un tensor de orden cualqueira
de nmeros T j
z i1
y k1
z i p y l1
y kp
z j1
y lq
z
jq
k1 ,...,kp
(y)
1 ,...,lq
Tl
Al igual que los vectores los expresamos en sus correspondientes bases como
a = a i gi
o bien si es un covector como
a = ai g i
los tensores de segundo orden contravariantes los podemos poner como
T = T i j gi g j
T = Tl
gl1 . . . glq
372
se verifica que
T j i = Ti j
por lo que podemos escribir
T = Ti j (gi g j g j gi )
(i < j )
llamando gi g j = gi g j g j gi , tenemos
T = Ti j gi g j
(i < j )
teniendo en cuenta que los vectores base del espacio cotangente son las diferenciales, podemos escribir
T = Ti j d x i d x j
(i < j )
373
forman una base de dimensin C2n , de tal forma que los tensores antisimtricos
de segundo orden forman un subespacio del conjunto de tensores del orden 2.
Si denominamos a
T(i j ) = Ti j , i < j
la 2-forma se puede expresar como
T = T(i j ) d x i d x j
de tal forma que en un cambio de base, los elementos T(i j ) se transforman como
T(i j ) = T(k l)
x k
y i
x k
y j
x l
y i
x l
y j
Al igual que sucede con las 1-forma, el resultado de aplicar una 2-forma a un
par de vectores , es un numero real
T : (, ) = Ti j i j
T : (, ) = T : (, )
374
como
T : (, ) = Ti j i j
S k
donde la suma est estendida a todas las permutaciones de los ndices (i1 , . . . , i n ).
Ahora
d x (i1 ) d x (i q ) = (sgn )d x i1 d x i q
y el tensor T lo podemos poner como
T = Ti1 ,...,i q d x i1 d x i q .
375
una permutacin impar, esto es i j k = (sgn ), por lo que las anteriores expre-
Una definicin similar es vlida para cualquier dimensin. Podemos por tanto
considerar a los como las componentes del tensor cuando T123 = 1.
>Cual es el comportamiento de i j k ?. Para ello consideremos la transformacin de coordenadas {g 1 , . . . , g N } {h 1 , . . . , h N }. Desarrollando el inverso del
g i g j g k
h 1 h 2 h 3
g i g j g k
=
h p h q h r
376
g i g j g k
h p h q h r
lo que muestra que los simbolos i j k se tranforman casi como un tensor antisimtrico de tercer orden pues aparece el Jacobiano en el miembro de la derecha.
A esta clase de objetos se les denomina densidades tensoriales de peso 1 (el exponente del jacobiano parca el orden del peso). A partir de la relacin anterior
es facil de ver que los elementos principales de los tensores completamente antisimtricos T123 se transforman mediante la relacin
T123 (h)Jh = T123 (g )
bajo una transformacin de coordenadas h j = h j (g k ). De la definicin de tensor
covariante,
Tpqr (h) = Ti j k (g )
g i g j g k
h p h q h r
g i g j g k
h p h q h r
g i g j g k
g i g j g k
=
T
(g
)
123
i jk
h p h q h r
h p h q h r
de donde
T123 (h)Jh = T123 (g )
Supongamos ahora que tenemos una mtrica, vimos anteriormente que los
tensore mtricos en los sistemas h y g estan relacionados por la expresin
H = (J 1 )T G J 1
377
1
1
Det(G) = 2 g
2
J
J
p
g
J=p
h
que reordenando
p
hpqr =
g i j k
h i h j h k
g p g q g r
g i j k
g (x)i j k d x i d x j d x k (a, b, c) =
(a, b, c) =
g (x)i j k a i b j c k
378
que desarrollando
(a, b, c) =
g (x)(a 1 b 2 c 3 + a 3 b 1 c 2 + a 2 b 3 c 1 a 2 b 1 c 3 a 1 b 3 c 2 a 3 b 2 c 1 )
esto es
a1
a2
a3
b1
c1
b2
b3
c3
(a, b, c) =
c2
p
g (x)Det(a, b, c)
g i j k d x i d x j d x k =
g d xi d x j d xk
como el elemento de volumen (en realidad su aplicacin a tres vectores tangentes a las lneas coordenadas).
Ejemplo B.9 Calcular el elemento de volumen en esfricas
Como hemo visto antes
dV =
g d x1 d x2 d x3
dr
p
dV = g 0
0
d
0
0
p
0 = g d r dd
379
gi j =
0
r2
r 2 sen2
tenemos que
=
=
a i (P)gi (P)
a i (P )gi (P )
Antes de poder restar los vectores necesitamos ponerlos en la misma base, para
ello desarrollemos en serie hasta primer orden la segunda ecuacin,
a i
gi
j
j
a(P ) = a i (P) +
g
(P)
+
d
y
d
y
i
y j
y j
380
gi
y
dyj +
j
a i
a i
y j
d y j gi = a(P) +
j
d y j gi + a i (P)
gi
y j
dyj
gi
y j
gk = kij gk
a i
y j
d y j gi + a i (P)kij d y j gk
a i
y j
d y j gi + a k (P)ik j d y j gi
a i
g j
+ a k (P)ik j d y j gi
(B.7)
que representa la diferencial del vector. El trmino entre parntesis lo designaremos como a i , j de tal forma que
da(P) = a i , j d y j gi
as pues a i , j d y j representa la componente en la base gi del vector diferencial.
Puesto que d y j son las componentes de un covector y a i , j d y j son tambien
las componentes de un vector, de acuerdo con nuestro criterio de tensorialidad
anterior, a i , j representa las componentes de un tensor y recibe le nombre de
381
a i
y j
+ a k ik j
i
jk
gk
y j
(B.8)
a i
y j
+ ij k a k (P)
(B.9)
y el vector diferencial
da(P) = a i , j (P)d y j gi (P)
y la derivada total respecto del tiempo
da
= a i , j (P) y j gi (P)
dt
(B.10)
da
dt
= a i , j (P) y j
(B.11)
da
dt
a i
y j
y j + ij k a k (P) y j =
d ai
+ ij k a k (P) y j
dt
(B.12)
382
dv
a (P) =
dt
i
dvi
+ ij k v k (P)v i (P)
dt
Es posible demostrar, si la variedad esta dotada de una mtrica, que los smbolos
de Christoffel se pueden deducir del tensor mtrico g i j mediante la ecuacin
A las cantidades
1
g i h g j h g i j
kij = g k h
+
2
y j
y i
y h
(B.13)
1 g i h g j h g i j
+
i j ,h =
2 y j
y i
y h
(B.14)
2 y p z n
y p y q z n r
(y)
+
pq
z l z m y r
z l z m y p
Es posible demostrar que la derivada covariante de las componentes covariantes se pueden calcular mediante la expresin
vi , j =
vi
kij vk
x j
w dv = w i d vi + d w i vi
ahora bien como el campo w es homogneo
dw = d w i + ij k w k d y j = 0
de donde
d w i = ij k w k d y j
383
sustituyendo
w dv = w i d vi ij k w k d y j vi
intercambiando los ndices i y k en el primer trmino del segundo miembro
w dv = w k (d vk ij k d y j vi )
de donde
(dv)k = d vk ij k d y j vi
vk
i
=
j k vi d y j
y j
y por tanto
vk
ij k vi
y j
vk, j =
(B.15)
kij =
y i
x k
x k y i
derivando respecto a y j
y j
y i
y j
x k
x k
y i
y j
x k
y i
x k
2 x k
y j y i
x k
donde hemos hecho uso de que las bases cartesianas euclideas no cambian. Volviendo al sistema de coordenadas inicial
x k
y l
x k y l
384
sustituyendo
y j y i
2 x k
y j y i x k
2 x k y l
y j y i x k y l
2 x k y l
y j y i x k
(B.16)
vi
g j
v j
g i
(B.17)
(B.18)
385
v i
g j
+ ij k v k
se tiene que
div v =
v i
g i
+ ii k v k .
(B.19)
g l
i j k + iql q j k + ql i qk + kql i j q
Ahora bien la derivada covariante del tensor E en cartesianas es cero, por lo tanto ser cero en cualquier sistema de coordenadas
0=
g l
i j k + iql q j k + ql i qk + kql i j q
p
teniendo en cuenta la expresin de i j k = i j k / g , obtenemos
p
1 g i jk
j
= iql q j k + ql i qk + kql i j q
p
g g l
en la que se ha tenido en cuenta que
p
1
1 g
=
p
g i g
g g i
386
3!
2kp
se tiene
p
1 g
j
q
j q
q
3!/g 2 = (2iql i +2ql j +2kql k )/g 2 = (2ii l +2 j l +2kk l )/g 2 = 3!kk l /g 2
p
l
g g
de donde
p
1 g
= kk l
p
g g l
f
x i
d xi
387
Ti
x j
d x j d xi
T = Ti j d x i d x j
la diferencial valdra
d T = dTi j d x i d x j
Definicin 17 Se dice que una forma diferencial es cerrada si su diferencial exterior es nula
388
v = v
siendo v el mdulo de v. De la definicin anterior esta claro que el vector es un
vector unitario tangente a la curva. Sea ds el elemento de longitud de arco de la
curva, esto es
ds =
dx dx =
p
dx dx
d t = v vd t = vd t
dt dt
Puesto que d s/d t = v > 0, podemos utilizar como parmetro para definir la cur-
dx dx d s
=
dt
ds dt
v=
dx
dx
=v
dt
ds
389
dx
ds
Puesto que
dx
dx d g i d g i
=
=
gi
ds dg i ds
ds
siendo gi el vector base en el sistema de coordenadas g i , las componentes del
vector unitario tangente en el sistemas de coordenadas g i , tiene por expresin
i =
dg i
ds
dx
dx d g i
dg i
=v
=
v
gi
ds
ds
dg i ds
dg i
ds
g i j g i g j
d
d
dv
d d v
d d s d v
dv
=
v =
+v
=
+v
=
+ v2
dt dt
dt
dt
dt
ds dt
dt
ds
390
dv
+ v 2 kn
dt
a=
As pues el vector aceleracin tiene dos componentes una a lo largo de la tangente a la trayectoria y recibe el nombre de aceleracin tangencial y otra normal
a la trayectoria y recibe el nombre de aceleracin normal. Puesto que segn hemos demostrado antes
dg i
gi
ds
dv dg i
gi
dt ds
dv dg i
.
dt ds
(B.20)
dg i
ds
(B.21)
d
ds
391
d g k /d s, tenemos
d
ds
dk
+ p q kpq
ds
d
dk
kn =
=
+ p q kpq gk
ds
ds
esto es
d
d2g k d g p d g q k
kn =
gk
=
+
ds
d s2
d s d s pq
k =
d s2
d s d s pq
i
(B.22)
Tenemos,
kn = k i gi
puesto que n es unitario por construccin, k tiene por expresin al mdulo de
la anterior expresin, esto es
k=
(B.23)
gi j k i k j
1 i
k
k
(B.24)
2 i
=v k =v
d2g i d g p d g q i
+
d s2
d s d s pq
(B.25)
392
d g
dg p dg q i
p
i
gi i v 2
a(n)
( f i s) =
+
d s2
d s d s pq
a(ti ) ( f i s) =
gi i
(B.26)
(B.27)
LLegados a este punto podemos escribir las ecuaciones de Newton. Para ello
desconpongamos la fuerza aplicada en sus componentes tangencial y normal
F = F(t ) + F(n)
la parte tangencial la podemos poner como
F(t ) = (F )
Teniendo en cuenta la definicin de producto escalar dado anteriormente, en el
sistema g i tendremos
F = gi j F i j = F j j
de tal forma que la componente i del vector fuerza tangente ser
(F(t ) )i = (F j j )i
y teniendo en cuenta la expresin de i , tenemos
(F(t ) )i = (F j
dg j dg i
)
ds ds
De acuerdo con las leyes de Newton, esta componente ha de ser igual a la componente i de la masa por la aceleracin tangencial, esto es
m
dv dg i
dg j dg i
= (F j
)
dt ds
ds ds
393
y por tanto
m
dv
dg j
= Fj
= Fs
dt
ds
(B.28)
nemos a patir de ella como es s(t ). Necesitamos por tanto obtener la ecuacin
dg i
dg i
gi
gi = F i (F )
ds
ds
dg i
ds
dg j dg i
dg j dg i
ij
gi = g F j F j
gi
F(n) = F F j
ds ds
ds ds
d2g i d g p d g q i
dg j dg i
ij
=
g
F
F
+
j
j
d s2
d s d s pq
ds ds
(B.29)
d2g i d g p d g q i
=0
+
d s2
d s d s pq
(B.30)
394
del campo vectorial i . De la teora de las ecuaciones diferenciales, bajo la hiptesis de que los campos i son lisos, existe una solucin y solo una de las
anteriores ecuaciones diferenciales con la condicin que
x i (t = 0) = x0i
La curva integral de un campo vectorial se puede considerar como la trayectoria de una partcula cuyo campo de velocidades es i y cuya posicin en el
instante inicial es x0i
Sea Fti (x01 , . . . , x0n ) la aplicacin , dependiente del parametro t , que nos lleva
a la partcula desde su posicin inicial en t = 0 a su posicin en el instante t ,
Fti (x01 , . . . , x0n ) = x i (t , x01 , . . . , x0n ).
La teora de las ecuaciones diferenciales nos garantiza que la aplicacin Fti , para
t suficientemente pequeo, en un entorno del punto x0i es un difeomorfismo,
esto es, la aplicacin Fti , es biyectiva, continua y derivada continua y su inversa
es continua y derivada continua. Si consideramos que F0 es la identidad y que
para valores suficientemente pequeos del parmetro t las funciones Ft son difeomorfismos que satisfacen las relaciones
Fs+t = Fs Ft ,
Ft = (Ft )1
395
formaciones.
Para valores de t suficientemente pequeo las curvas integrales las podemos
desarrollar en serie por lo que las aplicaciones Ft toman la forma explicita
x i (t , x01 , . . . , x0n ) = x0i + t i (x01 , . . . , x0n ) + o(t 2 )
(B.31)
x0
= ij + t
i (0)
j
x0
= ij t
i
x j
d i
F
dt
t =0
i
x l x0
j
k
x0 x
1 Vamos a hacer las cuentas para el caso de un tensor del tipo (1,1), los mismo resultados se
396
d
=
(Ft T )ij
dt
L T ji
= lm
t 0
en donde [(T )ij (t )] representa las componentes del tensor en el punto t retrotraidas al punto t=0, de tal forma que al hacer la resta, ambos tensores estn
definidas en el mismo punto t=0.
Por lo tanto si Ft mide la deformacin del espacio subyacente, como funcin
del parmetro t , la derivada de Lie mide la tasa de cambio del tensor a cuenta de
esta deformacin. De la definicin est claro que la derivada de Lie es un tensor
del mismo tipo del que se parte. Teniendo en cuenta la forma de las matrices de
Jacobi, tenemos (darse cuenta que para poder restar los vectores en la definicin
de la derivada debemos de expresar ambos en la misma base, elegimos la base
x0i )
[T (t )ij ] = Tlk (t )
x l x0i
j
k
x0 x
= Tlk (t )(lj +t
x0
x0
x k
= T ji (t ) + t Tli
)(ik t
j
l
j
x0
t T jk
) = Tlk (t )(lj ik +t ik
k
t lj
j
i
x k
T ji
x k
d
(Ft T )ij
dt
= lm
t 0
T ji (0) + t x k k + t Tli
l
j
x0
t T jk x k T ji (0)]
o derivada msica
)=
T ji
x0
k + Tli
k
T jk
397
i
x k
(B.32)
Ejemplo B.11 Considerar que el tensor T se reduce a una funcin, en este caso
L f = k
f
x k
= f
d xk
dt
df
d xk f
=
d t x k
dt
a lo largo de la curva integral del campo vectorial es por tanto una integral del
campo, lo que en fsica se conoce como una integral primera del sistema.
Ejemplo B.12 Vamos a suponer que el tensor se reduce a un tensor del tipo (1,0)
esto a a un vector. Sea = ( j ) otro campo vectorial, de la definicin de derivada
de Lie (B.32)
L j = k
j
x k
j
x k
y por tanto
L () = L ()
la anterior expresin conduce a la siguiente definicin
398
De la definicin
[ , ] f = ( )( f ) = (k
= i
k f
x i x k
f
x k
j f
x i x j
) ( j
+ i k
f
x j
) = i
2
x i x k
x i
i j
(k
f
x k
)i
x i
( j
f
x j
2
x j x i
puesto que los ndices j , k son mudos podemos tomarlos idnticos, por lo que
al anterior expresin vale
j
x i
+ (i j i j )
x i x j
2 f
x j x i
j
j
f
i
i
[ , ] f =
= [,] f = L f
i
i
x
x x j
(B.33)
Ejemplo B.13 Vamos a suponer ahora que el tensor es de la forma (0,1), esto es
el tensor es una 1-forma. De acuerdo con la definicin
(L T )i =
Ti
x i
k + Tl
k
)=
399
Ti
x i
k d x i + Tl
k
d xi
k = L Ti
y
l
x i
d x i = dl
por lo que
L T = L Ti d x i + Tl dl
(B.34)
f /xi , tenemos
(L d f )i =
2 f
x k x
k +
i
f l
x l x i
puesto que la derivada de Lie de una funcin es una nueva funcin, podemos
evaluar la diferencial de esta nueva funcin
d(L f ) j =
(L f ) =
j
2
k f
k f
k f
=
+
x j
x j x k
x k
x j x k
(B.35)
g i j
x s
+ gk j
k
x i
+ gi k
k
x j
= ui j
400
j
x i
i
xj
teniendo en cuenta que lo podemos tomar como el vector velocidad, el anterior tensor no es otra cosa que tensor velocidad de deformacin que aparece en
Mecnica de Fluidos.
p
p
|g |d x 1 d x 2 d x 3 = |g |i j k d x i d x j d x k
p
p
p
q
r
k |g |
i j k + |g | p j k i + i qk j + i j r k
L ( |g |i j k ) =
x
x
x k
x
p j k
p
x i
+ i qk
q
x j
+ i j r
r
x k
= i j k
s
x s
+
|g
|
L ( |g |i j k ) =
i jk
i jk
x s
x s
1
p
i
divv = p
|g
|v
|g | x i
401
tenemos
p
p
L ( |g |i j k ) = |g |i j k div
(B.36)
1
L (V ) = div
V
(B.37)
esto es la derivada relativa de Lie del elemento de volumen coincide con la divergencia del campo.
s
q
r
p
p j k i + i qk j + i j r k = i j k s
x
x
x
x
p
q
r
i j k = p j k i + i qk j + i j r k
x
x
x
i j k p j k = 2ip
tenemos
3! = 2ip
p
x i
+ 2q
q
x j
+ 2kr
r
x k
y por tanto
=
como queriamos demostrar.
=2
s
x s
p
q
r
s
+
2
+
2
=
6
x p
x q
x r
x s
402
d f
f d x i ()
f
L f =
=
= i i
i
d =0 x
d =0 x
d f (x, x )
f d x i
f d x i
L f (x, x ) =
=
+
d =0 x i d =0 x i d =0
L f (x, x ) =
f d x i
.
+ i
x i
x d =0
d x i
d =0
Vimos antes que las curvas integrales nos generan una transformacin de coordenadas de tal forma que
x i () = x j (0)
x i ()
x j (0)
derivando respecto de y teniendo en cuenta que podemos permutar las derivadas parciales respecto de x j y la derivada respecto de , llegamos a
i
d x i ()
d x i
j
= x (0) j
= x j
= i ,
j
d =0
d
x
x
=0
403
sustituyendo,
i
i
i
f
L f (x, x ) = i + i x
=
+
x
x
x j
x i
x i
f
x j
podemos deducir que el correspondiente campo vectorial en el fibrado tangente tiene por componentes (i , i ) y los vectores bases sern (/x i , /x i ).
Asi mismo de la definicin de la diferencial de una funcin en la variedad
d f () = i
f
x i
= L ( f )
f
x i
d xi +
f
x i
d x i
x j
d x i (
x j
) = ij
d xi (
)=0
d x i (
x j
x j
)=0
) = ij
para que
= i
d f ()
f
x i
+ i
f
x i
f)
= (
404
d y1
= 1,
d
d yi
= 0,
d
y 1 = y01 + ,
y i = y0i ,
i = 2, . . . , n
que integrando
i = 2, . . . , n
f
y i
+ i
f
y i
f
= (d f )1
y 1
f
= (d f )1 = 0
y 1