11.1.

Una ecuacin diferencial.

donde supondremos que f(u) es una funcin dada, continua en u, positiva en un intervalo a < u < b (intervalo fundamental) y cero en los extremos. Un nmero importante de propiedades de las curvas integrales (reales) de esa ecuacin u(t), pueden ser deducidas por argumentos simples, ver gura (11.1). Si u = g(t) satisface la ecuacin, entonces tambin lo hace la curva trasladada horizontalmente g(t + c), siendo c una constante arbitraria. Esto es consecuencia que en una traslacin no cambia ni la ordenada ni la pendiente, de modo que si la relacin es satisfecha originalmente, tambin se cumplir al trasladar. Si una solucin parte en el intervalo fundamental entonces no puede tomar valores fuera de ese intervalo, pues si lo hiciera, f (u) sera negativa y la pendiente sera imaginaria. Cada curva integral u(t) en el intervalo fundamental toca tangencialmente las lneas u = a y u = b y no tiene en otros puntos pendiente
ww w.

Fi s

En mecnica juega un papel importante una ecuacin diferencial del tipo 2 du = f (u), dt

ic

aA

.c om

2T

u=b t u=a T

Figura 11.1: Tipo de solucin de una ecuacin diferencial cero. Esto es bastante evidente, pues por hiptesis du/dt > 0 en el interior del intervalo, y du/dt = 0 en u = a y u = b. Una curva integral u(t) es simtrica con respecto a los tiempos donde la curva toca los extremos u = a y u = b. Demostracin: sea u(0) = a, un puntop inicial en la frontera. Para u disminuyendo con t aumentando du/dt = f (u) de donde

Fi s

ic

aA
Z

.c

u(t)

om

t=

Para u aumentando con t aumentando, entonces du/dt = Z a du p , t = f(u) u(t) lo cual implica Z u(t) du p , t= f(u) a luego, comparando 11.1 con 11.2 sigue que u(t) = u(t).

du p . f(u)

ww w.

(11.1) p f (u) y

(11.2)

El intervalo de tiempo entre contactos sucesivos de una curva integral u(t) con un extremo est dado por T = 2 Z
b

du p . f (u)

Basta considerar u( T ) = b en la demostracin del punto anterior. 2 Toda solucin u(t) de la ecuacin diferencial es una funcin peridica con perodo T , es decir

u(t + T ) = u(t), pues la curva es simtrica respecto a los puntos de contacto. Si u(t) es una curva integral, la solucin general de la ecuacin diferencial es u(t + c), siendo c una constante arbitraria. Note que la ecuacin diferencial es de primer orden luego la solucin general depende de una constante arbitraria.

dy dx

= (1 y2 )(1 k2 y 2 ),

ww w.

Un caso particular lo constituye la ecuacin diferencial (0 < k 2 < 1).

Se dene la funcin elptica Jacobiana sn(x) como la solucin que satisface las condiciones sn(0) = 0, sn0 (0) = 1. Por las propiedades generales de la seccin anterior, tal funcin es peridica con perodo T =2 siendo K= Z
1

du p =2 f(u)

Fi s
1

11.2.

Las funciones elptica Jacobianas.

dy p = 4K, 2 )(1 k 2 y 2 ) (1 y Z
2

una integral elptica completa.

dy p = 2 )(1 k 2 y 2 ) (1 y

ic

aA

.c
0

om

d p , 1 k2 sin2

11.3.

El pndulo esfrico.

Consideremos el movimiento de una partcula de masa m colgando unida por un hilo de longitud a desde un punto jo, con respecto a un sistema de referencia inercial con origen en el punto jo, z vertical, x, y horizontales, ver gura (11.2).

a y

Considerando algunas aproximaciones, veremos que el movimiento del pndulo, visto en una proyeccin sobre el plano horizontal, es una elipse que precesa en torno a la vertical, con una velocidad angular proporcional al rea de la elipse. Ese efecto de rea, puede enmascarar la precesin de Foucault si no se toman precauciones especiales. En coordenadas cilndricas, el lagrangiano del sistema es : 1 2 L = m(z 2 + 2 + 2 ) mgz 2 2 2 2 siendo z + = a de modo que = z z . Entonces z2 1 2 2 2 2 2 z + (a z ) ) mgz, L= m z + 2 2 a z2 o sea a2 1 1 2 z 2 + m(a2 z 2 ) mgz L= m 2 2 2 a z 2

ww w.

Fi s

ic

Figura 11.2: Pndulo esfrico

aA

.c

om

de aqu, la ecuacin para resulta (a2 z 2 ) = h,

adems, podemos usar conservacin de energa a2 1 1 2 m 2 z 2 + m(a2 z 2 ) + mgz = E, 2 2 a z 2

y eliminando , se obtiene h2 2g E 2 2 2 = f (z), z = 2 (z a ) (z a mg 2g ecuacin del tipo considerada en este apndice. Factorizando el polinomio cbico en la forma h2 E f (z) = (z a ) z = (z z1 )(z z2 )(z z3 ), mg 2g
2 2

(11.3)

de modo que

d dt h 1 d p = = 2 2 dz dt dz a z f(z) ha 1 1 p , = 2 z2 2g a (z z1 )(z z2 )(z z3 ) ha = 2g Z

z2

z1

a2

De la expresin (11.3), evaluada en z = a, se obtiene

1 dz p , 2 z (z z1 )(z2 z)(z3 z)

ww w.

Fi s

donde el intervalo fundamental es z1 < z < z2 suponiendo que a < z1 < z2 < a < z3 . Ahora, el cambio de cuando z pasa del mnimo z1 al mximo z2 , llamado ngulo apsidal , puede obtenerse de

ic

aA

.c

om

(11.4)

Para realizar aproximaciones para oscilaciones pequeas, consideremos que z1 z2 a. Como veremos para este caso debe ser z3 pequeo. En efecto, la races del polinomio cbico satisfacen

p h = (a + z1 )(a + z2 )(a + z3 ), 2g

(11.5)

z1 z2 z3 = z1 + z2 + z3 z1 z2 + z1 z3 + z2 z3 o bien, de la ltima z3 =

h2 a2 E , 2g mg E , = mg = a2 ,

a2 z1 z2 , z1 + z2

que tiende a cero en esta aproximacin. Considere adems la expansin en potencias de z + a (que es pequeo) 1 1 1 1 =p p + p 3 (z + a), z3 z (a + z3 (z + a) (a + z3 ) 2 (a + z3 )

de modo que, al reemplazar en (11.4), resulta Z z2 ha 1 dz 1 p = = 2 z2 2g z1 a (z z1 )(z2 z) z3 z

ww w.

Fi s
z2

ic

aA

.c

om

ha = 2g O sea

z2

z1

a2

1 1 1 dz p + p p 3 (z + a) 2 z (z z1 )(z2 z) (a + z3 ) 2 (a + z3 ) ha 1 1 = p J , I+ 2(a + z3 ) 2g (a + z3 ) I= Z a2 1 dz p , 2 z (z z1 )(z2 z)

siendo

z1

J=

z2

z1

Ambas integrales pueden calcularse con la transformacin z = z1 cos2 + z2 sin2 , obtenindose 1 1 p +p (a z1 )(a z2 ) (a + z1 )(a + z2 ) , J = p (a z1 )(a z2 ) ha 1 = p ( 2g (a + z3 ) 2a +
om

1 dz p . a z (z z1 )(z2 z)

I = 2a

Si adems reemplazamos de (11.5) resulta = 2 ! p p (a + z1 )(a + z2 ) (a + z1 )(a + z2 ) a p 1+ p + (). (a z1 )(a z2 ) 2(a + z3 ) (a z1 )(a z2 ) p (a z1 )(a z2 ) 2a, a + z3 a,

Recordando que z1 z2 a y z3 0 entonces y resulta

p p 2 2 2 2 (a2 z1 )(a2 z2 ) 1 (a2 z1 )(a2 z2 ) + ), = (1 + 2 4a2 2 4a2 p p 2 2 como 1 = a2 z1 y 2 = a2 z2 se obtiene = 3 1 3A (1 + 1 2 2 ) = + , 2 8a 2 2 8a2

ww w.

1 p ). 2(a + z3 ) (a z1 )(a z2 )

Fi s

ic

1 1 p +p (a z1 )(a z2 ) (a + z1 )(a + z2 )

aA

.c

de modo que la precesin total de la elipse en una rotacin completa ser 3A , 4a2 siendo A = 1 2 el rea de la elipse. La velocidad angular de precesin ser 4 2 = = 3A 3A 1 1 = 2 p , 2T 4a 4a 2 a/g z(0) = 0,

expresin que puede colocarse en trminos de condiciones iniciales adecuadas z(0) = a cos , (0) = ,

de modo que h = a2 sin2 . Adems E = 1 m(a2 sin2 )2 mga cos por 2 lo tanto, para evaluar el otro extremo de z hacemos f (z) = 0 es decir 1 m(a2 sin2 )2 mga cos (a2 sin2 )2 2 (z a ) z mg 2g 2 2 2 2 (a sin2 )2 (a sin ) = (z 2 a2 )(z + a cos ) (z 2 a2 ) 2g 2g 2 2 2 z a cos 1 = (z 2 a2 )(z + a cos ) a2 sin2 2 2 g 2 2 z a cos 1 = 0, = (z 2 a2 ) a2 sin 2 g
2 2

de donde una solucin es z1 = a cos , por lo cual 1 = a sin , y si llamamos a la otra raz z2 = a cos , resulta sin2 o aproximadamente

ww w.

a 2 2 sin (cos + cos ) = 0, 2g sin2 = a 2 2 sin , g

Fi s

ic

aA

.c

om

por lo cual r a sin , 2 = a g y entonces = 3A 3 2 3A 1 1 = 2 p sin , = 2T 4a 4a 2 a/g 8

lo cual coincide con lo establecido J.L.Synge, pag.56, Encyclopedia of Physics ([14]). Para el caso de un pndulo movindose en la tierra, en un punto de latitud , adems de la precesin de Foucault sin , si el movimiento del pndulo es iniciado quemando un hilito que lo alejaba de la vertical del lugar, la rotacin terrestre inicialmente equivale a una precesin inicial del pndulo esfrico de magnitud (0) = sin por lo cual el efecto de rea se manifestar con magnitud = 3 sin 2 sin , 8
ww w.

la cual es mucho menor que la de Foucault si la amplitud angular inicial es pequea.

11.4.

Operador .
= +j +k . x y z

En coordenadas cartesianas se dene el operador mediante

11.4.1.

Gradiente.

Si se opera sobre una funcin escalar (x, y, z), se denomina el gradiente y se representa por grad(), es decir +k . grad() = = + j x y z

Fi s

ic

aA

.c

om

El signicado del gradiente sale de considerar, el cambio de la funcin al cambiar las coordenadas en cantidades innitesimales dx, dy, dz. Resulta d = dx + dy + dz x y z = dr.

Esta ltima relacin contiene todo el signicado del gradiente. Es obvio que si el cambio de posicin del punto ocurre sobre la supercie =constante entonces d = 0 y luego dr = 0. Esto signica que es perpendicular a la supercie = constante. Esto da cuenta de la direccin del gradiente. Por otro lado si el cambio de posicin ocurre hacia donde aumenta, entonces d > 0 y luego dr > 0, es decir tiene el mismo sentido que dr. En otras palabras el gradiente apunta perpendicularmente a las supercies de valor constante y hacia donde aumenta . Respecto a la magnitud considere un cambio de posicin perpendicular hacia donde aumenta. Sea drx ese cambio, entonces d = drx = || |drx | ,
.c om

Fi s
V

luego

ic

aA

|| =

d . |drx |

11.4.2.

Divergencia.

Si se aplica mediante el producto escalar sobre una funcin o campo vectorial A(x, y, z) se obtiene div(A) = A = Ax Ay Az + + . x y z

El signicado de la divergencia se obtiene considerando un teorema, llamado teorema de la divergencia. I Teorema 11.1 Si V es un volumen, rodeado por la supercie S y n indica el vector unitario perpendicular a la supercie y hacia afuera del volumen entonces Z I AdV = A ndS.
S

ww w.

Si se considera un volumen muy pequeo entonces podemos aproximar, y en el lmite ser un resultado exacto Z I AdV ( A)V = A ndS,
V S

luego 1 A = l m V 0 V La integral I

A ndS.

A ndS

se denomina el ujo del campo vectorial hacia afuera de la supercie cerrada S, lo cual en la representacin de lneas de un campo vectorial es igual al nmero de lneas que salen de la supercie cerrada. En otras palabras la divergencia es el valor lmite, o sea el ujo que sale de un punto por unidad de volumen.

Si las lneas del campo vectorial no nacen o terminan de puntos determinados del espacio entonces A = 0.

11.4.3.

Rotor de un campo vectorial.

Si se aplica mediante el producto vectorial sobre una funcin o campo vectorial A(x, y, z) se obtiene rot(A) = A = ( Az x Ax ( y ( Ay Az ) + z y Ax ) + j z Ay )k. x

En este caso la interpretacin del rotor se logra mediante un teorema, llamado teorema del rotor.

ww w.

Fi s

ic

Ausencia de fuentes o sumideros.

aA

.c

om

I Teorema 11.2 Si C es un contorno orientado cerrado que encierra una supercie y n indica el vector unitario perpendicular a esa supercie y de acuerdo al sentido del contorno (regla de la mano derecha) entonces I Z A dr = A ndS.
c S

Si se considera un contorno cerrado muy pequeo, que encierra una rea muy pequea S podemos aproximar Z I A ndS ( A n)S = A dr.
S c

La integral

donde S es perpendicular a n. Por lo menos indiquemos en una gura dos posibles formas (a) y (b) que tiene el campo vectorial en el plano xy de modo que resulte rotor distinto de cero en la direccin z

(a) Gradiente transversal

ww w.

se denomina la circulacin del campo vectorial alrededor del contorno cerrado. De este modo tenemos una interpretacin de la componente del rotor perpendicular a una supercie innitesimal mediante I 1 A n = l m A dr, S0 S c

A dr
om

Fi s

ic

aA

.c

(b) Vrtice

Signicado de rotor no nulo.

11.4.4.

Algunas propiedades.

I Teorema 11.3 Si F = 0 entonces F = . I Teorema 11.4 H Si F = 0 entonces F dr = 0.

11.4.5.

I Teorema 11.5 R2 Si F = entonces 1 F dr = (2 1 ). Este se dene as

El Laplaciano 2 .

2 = (), o sea es la divergencia del gradiente. El caso en que 2 = 0, es importante. Esto es cuando las lneas del gradiente no tienen fuentes ni sumideros. Si el Laplaciano de una funcin escalar es cero en una regin sea S la supercie cerrada que la rodea. Entonces en su interior 2 2 2 2 0 = = 2 + 2 + 2, x y z o sea las segundas derivadas parciales en el interior no pueden tener el mismo signo, o sea no hay mximos ni mnimos de donde el Laplaciano es nulo. por lo tanto si constante en la supercie, entonces es constante en su interior.
ww w.

Fi s

ic

aA

.c

om