Академический Документы
Профессиональный Документы
Культура Документы
Ricardo Faro
13 de mayo de 2005
Indice General
i
ii INDICE GENERAL
5 Estabilidad 223
5.1 Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . 223
5.2 Linealizacion en un punto singular . . . . . . . . . . . . . 224
5.3 Estabilidad de puntos singulares . . . . . . . . . . . . . . 226
5.4 Funciones de Liapunov . . . . . . . . . . . . . . . . . . . . 234
5.5 Aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . . 237
5.5.1 Sistemas tipo depredadorpresa. . . . . . . . . . 237
5.5.2 Especies en competencia. . . . . . . . . . . . . . . 240
5.5.3 Aplicacion en Mecanica clasica. . . . . . . . . . . . 240
5.6 Clasificacion topol. de las ED lineales . . . . . . . . . . . 243
5.7 Teorema de resonancia de Poincare . . . . . . . . . . . . . 249
5.8 Cuenca de un sumidero . . . . . . . . . . . . . . . . . . . 254
5.9 La aplicacion de Poincare . . . . . . . . . . . . . . . . . . 257
5.10 Estabilidad de orbitas cclicas . . . . . . . . . . . . . . . . 262
5.11 El Teorema de PoincareBendixson . . . . . . . . . . . . . 266
5.12 Estabilidad de orbitas en el plano . . . . . . . . . . . . . . 271
iv INDICE GENERAL
1.1 Grafica de e . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2 Campo de vectores . . . . . . . . . . . . . . . . . . . . . . 17
1.3 F lleva el campo D al campo E . . . . . . . . . . . . . . . 21
1.4 Graficas de f y dx f en R . . . . . . . . . . . . . . . . . . 26
1.5 Graficas de f y dx f en R2 . . . . . . . . . . . . . . . . . . 26
1.6 Plano tangente a una superficie . . . . . . . . . . . . . . . 27
1.7 Gradiente de x2 + y 2 . . . . . . . . . . . . . . . . . . . . . 31
1.8 Curva integral de D . . . . . . . . . . . . . . . . . . . . . 36
1.9 Pendulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
ix
x INDICE DE FIGURAS
Ecuaciones diferenciales
ordinarias
xiii
Tema 1
La estructura
diferenciable de un
espacio vectorial
1
2 Tema 1. La estructura diferenciable de un espacio vectorial
F : U E1 V E2 , G : V W E3 ,
C k (U ) = {f : U R, de clase k},
F : C k (V ) C k (U ), F (f ) = f F.
f (p + tv) f (p)
vp (f ) = lim .
t0 t
4 Tema 1. La estructura diferenciable de un espacio vectorial
|a|
Da = , |a| = a1 + + an k.
a1 x1 an xn
g F = g(u1 , . . . , un ) = f C k (U ),
F [g(t), t] = 0.
6 Tema 1. La estructura diferenciable de un espacio vectorial
U (abierto) C k (U ) (anillo),
f C k (V ) f (= f|U ) C k (U ).
Es facil ver que para todo abierto U de E existe una coleccion nume-
rable de compactos Kn cuyos interiores son no vacos y recubren U . Si
E = Rn basta considerar para cada punto x U de coordenadas racio-
nales, la bola abierta maxima centrada en x dentro de U y elegir la bola
cerrada de radio la mitad si es finita si el radio es infinito entonces
U = E, en cuyo caso basta considerar Kn = B[0, n]. Ademas estos
compactos podemos considerarlos encajados, es decir tales que
Kn Kn+1 ,
K 1 , K1 K 2 , K1 K 2 K 3 , . . .
y en C r (U ), para r 0,
pm (fN +n fN ) < ,
para todo n N.
Decimos que una sucesion fn C k (U ) tiene lmite si existe f C k (U )
tal que para toda m N
lim pm (fn f ) = 0.
n
pm pm+1 ,
1.2. El haz de funciones diferenciables 9
Da (lim fn ) = lim(Da fn ).
(1.1) | Da fN +k Da fN | pm [fN +k fN ]
(t1 + (1 )t, t2 , . . . , tn ) Km ,
entonces
Z t Z t
Da fk (x, t2 , . . . , tn )dx ga (x, t2 , . . . , tn )dx.
t1 t1
Ahora bien
Z t
Da fk (x, t2 , . . . , tn )dx = Db fk (t, t2 , . . . , tn ) Db fk (t1 , . . . , tn ),
t1
Da fk Da f,
Da f = lim(Da fk ).
{x E : h(x) = 0},
f (p + tv) f (p)
vp : C (E) R, vp (f ) = lim ,
t0 t
(Dp + Ep )f = Dp f + Ep f
(tDp )f = t(Dp f ),
n
X
f = f (a) + hi (xi ai ).
i=1
H : C (U ) R , H(f ) = f (a),
donde Z 1
f
hi (x) = [tx + (1 t)a] dt C (U ).
0 xi
E Ta (E) , v va ,
Da f = 2[g(a)Da g h(a)Da h] = 0.
[F Dx ]f = Dx (f F ).
(G F ) = G F .
T (U ) U E, va (a, v),
1.4. Campos tangentes 17
: T (U ) U , (vp ) = p,
si vp Tp (E).
F : U E.
{Dp Tp (E) : p U },
18 Tema 1. La estructura diferenciable de un espacio vectorial
p U Dp f R,
esta en C k (U ).
Observemos que dar un campo de vectores tangentes {Dp }pU es
equivalente a dar una seccion de : T (U ) U
: U T (U ), (p) = Dp .
Ejercicio 1.4.1 a) Demostrar que existe una biyeccion entre campos de vec-
tores F : U E de clase k y campos de vectores tangentes {Dp Tp (E) :
p U } de clase k, que verifica:
i) Si a F le corresponde {Dp } y a G {Ep }, entonces a F + G le corresponde
{Dp + Ep }.
ii) Si a F le corresponde {Dp } y f C k (U ), entonces a f F le corresponde
{f (p)Dp }.
b) Demostrar que {Dp Tp (E) : p U } es un campo de vectores tangentes
de clase k si y solo si la aplicacion : U T (U ), (p) = Dp es una seccion
de , de clase k.
D : C (U ) C k (U ),
Df = 0.
D(U ) Dk (U ) D0 (U ),
1.4. Campos tangentes 19
por lo que a menudo hablaremos de los campos continuos, por ser los mas
generales. No obstante en el siguiente tema introduciremos los campos
localmente lipchicianos, que denotaremos con DL (U ) y que estan entre
los de clase 1 y los continuos y que seran los que consideremos para
estudiar el problema de unicidad de solucion de una ecuacion diferencial.
(D + E)f = Df + Ef,
(gD)f = g(Df ),
f (D + E) = f D + f E,
(f + g)D = f D + gD,
(f g)D = f (gD),
1D = D.
Dp f = Df (p).
Df (p) = Dp f.
20 Tema 1. La estructura diferenciable de un espacio vectorial
a U es la derivacion
n
X
fi ,
i=1
xi
para fi = Dxi|U , la restriccion a U de Dxi .
1.4. Campos tangentes 21
F : V E2 U E1 .
DF : C (U ) C k (V ),
DF (f g) = DF f F g + F f DF g.
(DF + E F )f = DF f + E F f, (g DF )f = g DF f.
DF : C (U ) C k (V ).
p V DpF f R,
: T (U ) T (U ) , (Dp ) = Dp ,
Ev = v.
F : Ty (E2 ) Tx (E1 ),
F (y ) = y F .
1.5. Espacio cotangente. La diferencial 25
y en R2 , f : R2 R, dx f : Tx (R2 ) R,
4x2 + y 2 + 5z 2 = 10,
T (U ) U E , p (p, w),
: T (U ) U,
1 (x) = Tx (E).
28 Tema 1. La estructura diferenciable de un espacio vectorial
: Dk (U ) C k (U ),
(1 + 2 )D = 1 D + 2 D, (f )D = f (D),
Nota 1.26 Observemos que para una variable, la formula anterior dice
df
df = dx.
dx
Esto permite entender el sentido que puede tener la cancelacion de dife-
renciales.
1.6. Uno formas 29
(1 + 2 )x = 1x + 2x ,
(f )x = f (x)x ,
(df )x = dx f
para , 1 , 2 k (U ), x U y f C k (U ).
w Dw = [ Dw ].
30 Tema 1. La estructura diferenciable de un espacio vectorial
E E , v < v, > .
: Dk (U ) k (U ),
D (E) =< D, E > .
D D ,
D = df,
sean base.
1.7. Sistemas de coordenadas 33
Nota 1.31 Observemos que de este resultado se sigue que si las diferen-
ciales de un numero finito de funciones diferenciables, son independientes
en un punto, tambien lo son en un entorno del punto, pues pueden ex-
tenderse a una base.
F = (v1 , . . . , vn ) : U E F (U ) = V Rn ,
2) Si f = g(v1 , . . . , vn ), entonces
f g
= (v1 , . . . , vn ).
vi yi
3) Para cada f C 1 (U ),
n
X f
df = dvi .
i=1
vi
34 Tema 1. La estructura diferenciable de un espacio vectorial
4) Para cada k (U ),
n
X
= dvi .
i=1
vi
x2 [log () y] xy
, , , .
x
x +y , y +x ,
x y x y
, , , + .
d, d, d + d.
D = y +x + (1 + z 2 ) .
x y z
D = y +x , E = 2xz + 2yz + (x2 + y 2 1 z 2 ) .
x y x y z
36 Tema 1. La estructura diferenciable de un espacio vectorial
X : I R U.
Definicion. Dado D Dk (U ) y p
U , diremos que una curva parametri-
zada X : I U es una solucion
de la ecuacion diferencial ordinaria
(EDO) autonoma definida por D, o
una curva integral de D, si para cada
tI
X = DX(t) . Figura 1.8. Curva integral de D
t t
P
Sea xi un sistema de coordenadas en E y D = fi (x1 , . . . , xn )i . Si
denotamos con
Xi (t) = xi [X(t)],
para X una curva integral de D, tendremos que
n n
X X
D= fi (x1 , . . . , xn ) = (Dvi )
i=1
x i i=1
v i
n n
X X vi
= fj (x1 , . . . , xn )
i=1 j=1
xj vi
n n
X X
= hij (v1 , . . . , vn ) ,
i=1 j=1
vi
n
X
Yi0 (t) = hij [Y1 (t), . . . , Yn (t)].
j=1
y0 = x 0
y =
1
y
f f (t + r, p) f (t, p)
(t, p) = lim ,
t r0 r
el cual verifica t/t = 1 para la funcion de I U , t(r, p) = r.
Definicion. Llamaremos solucion de una ecuacion diferencial ordinaria
no autonoma definida en I U , a la proyeccion en U de las curvas
integrales X de los campos D D(I U ), tales que
Dt = 1 , t X = id.
D= + f1 (t, x1 , . . . , xn ) + + fn (t, x1 , . . . , xn ) ,
t x1 xn
t[X(r)] = X0 (r) = r + k,
: T (U ) U, (Dp ) = p,
la cual es de clase .
Definicion. Llamaremos ecuacion diferencial de segundo orden en un
abierto U de E a todo campo tangente en el fibrado tangente de U , D
D[T (U )], tal que su proyeccion por sea el campo a soporte universal,
es decir
D = E,
o lo que es lo mismo tal que para todo Tp T (U )
DTp = Tp .
D = E ( D)xi = Exi = zi ,
Dzi = fi (x1 , . . . , xn , z1 , . . . , zn ),
Xi (t) = xi [X(t)], Zi (t) = zi [X(t)],
entonces
o lo que es lo mismo
1.9.1 Desintegracion.
Se sabeexperimentalmente que la velocidad de desintegracion de una
sustancia radioactiva es proporcional a la cantidad de materia. En tal
caso la cantidad de materia en cada instante vendra dada por la ecuacion
diferencial
x0 (t) = kx(t),
donde k > 0, por tanto
x0 (t)
= k log x(t) = kt + cte x(t) = x(0) ekt .
x(t)
Observemos que el campo tangente asociado esta en R y en la coordenada
x se escribe
D = kx .
x
Ejercicio 1.9.1 Si es cierto1 que en una economa estable la velocidad de dis-
minucion del numero de personas y, con un salario de por lo menos x euros,
es directamente proporcional al numero de personas e inversamente propor-
cional a su salario, obtengase la ley de Pareto, es decir la expresion de y en
terminos de x.
1.9.2 Reproduccion.
Se sabe que la velocidad de reproduccion de las bacterias es, cuando no
hay demasiadas, casi proporcional al numero de bacterias, y cuando hay
demasiadas estas influyen negativamente y la velocidad de reproduccion
se hace negativa. Se plantea as la siguiente ecuacion
D=z +g .
x z
GM
m ,
R2
y por la Segunda Ley de Newton, la aceleracion de m vale
GM
,
R2
donde G = 60 673 1011 (N m2 /kg 2 ) es una constante Universal.
Ahora bien esto nos dice por una parte, que si M es la Tierra y m
esta en las proximidades de su superficie, sufre una aceleracion constante
GM
g= = 90 8(N ),
R2
independiente del valor de su masa, donde R es el radio de la tierra. Con
lo cual obtenemos la Ley de Galileo.
42 Tema 1. La estructura diferenciable de un espacio vectorial
Pero por otra parte tambien tenemos una explicacion de esa constante
G. Acabamos de decir que un cuerpo con masa M acelera a todos los
cuerpos que esten a distancia R con la misma aceleracion y que esta
aceleracion determina la masa M . Esto nos permite definir a partir de
unidades de longitud y tiempo (como metro y segundo) una unidad de
masa canonica.
Llamemos kg Natural a la masa de un cuerpo que a 1 metro acelera
a cualquier cuerpo 1 m/seg 2 .
Naturalmente como el kg es una unidad cuyo origen historico es in-
dependiente del metro y del segundo, (es la masa de 1 cubo de agua de
1 decmetro de lado es decir de 1 litro), pues no coincide con el kg
Natural y la proporcion entre ambos es esta constante Universal G. Es
decir que la naturaleza magica de ese misterioso numero universal esta
en la eleccion arbitraria del kg que, tambien es cierto, puede ser mas
operativo que el del kg Natural.
Por otra parte en La Teora de la Relatividad la constancia de la
velocidad de la luz nos permite relacionar las unidades de tiempo y de
longitud y hablar de anos-luz como unidad de longitud.
Es decir que las unidades de longitud y tiempo se determinan mu-
tuamente y con ellas se determina una unidad de masa. Pero habra
alguna unidad de longitud canonica?. Es posible que sea as puesto que
en el Universo hay protones. Y es posible que alguna de las constantes
universales de la fsica (de Planck, etc.), sea la confirmacion de esto (en
cuyo caso el numero que define esa constante en unas unidades sera
consecuencia, una vez mas, de la eleccion arbitraria de dichas unidades.
Pero esto es hablar por no callar...
1.9.4 El pendulo.
Consideremos un pendulo de masa m
suspendido, en el origen de coorde-
nadas de R2 , por una barra rgida de
masa despreciable y de longitud L.
Su posicion, en cada instante t,
viene determinada por el angulo x(t)
que forma la barra en el instante t con
el eje y, medido en sentido contrario
al del movimiento de las agujas del Figura 1.9. Pendulo
1.9. Ejemplos de ecuaciones diferenciales 43
y la aceleracion por
A(t) = Lx0 (t)2 [sen x(t), cos x(t)] + Lx00 (t)[cos x(t), sen x(t)].
z z2
= g sen xdx + dz = d[ g cos x],
L 2L
z 2 (t)
E c + Ep = m mgL cos x(t),
2
z 2 = 2gL(cos x cos 0 ),
x0 (t)
dt = L dt,
z(t)
Z t s
x0 (t) L x(t)
Z
d
t= L dt = ,
0 z(t) 2g x(0) cos cos 0
1.9. Ejemplos de ecuaciones diferenciales 45
y por tanto
s
L 0
Z
T d
= ,
2 2g 0 cos cos 0
s Z
L 0 d
T =4 ,
2g 0 cos cos 0
y utilizando la igualdad
cos = 1 2 sen2 ,
2
se tiene que s Z 0
L d
T =2 q ,
g 0 sen2 0
sen2
2 2
0
sen = sen sen = a sen ,
2 2
tendremos s Z /2
L d
T =4 p ,
g 0 1 a2 sen2
y como para |x| < 1 se tiene
1 1 13 2 135 3
=1+ x+ x + x +
1x 2 24 246
s
L
(1.8) T = 2 .
g
46 Tema 1. La estructura diferenciable de un espacio vectorial
x00 = k 2 x,
para [0, 2) y
p A B
C= A2 + B 2 , cos = , sen = ,
C C
p
y que para k = g/L) el perodo es
s r
2 L L
T = = 2 = R2 ,
k g MG
Ejercicios resueltos
Ejercicio 1.4.1.- (a) Demostrar que existe una biyeccion entre campos de
vectores F : U E de clase k y campos de vectores tangentes {Dp Tp (E) :
p U } de clase k, que verifica:
(i) Si a F le corresponde {Dp } y a G {Ep }, entonces a F +G le corresponde
{Dp + Ep }.
(ii) Si a F le corresponde {Dp } y f C k (U ), entonces a f F le corresponde
{f (p)Dp }.
(b) Demostrar que {Dp Tp (E) : p U } es un campo de vectores tan-
gentes de clase k si y solo si la aplicacion : U T (U ), (p) = Dp es una
seccion de , de clase k.
Demostracion. (a) Consideremos un sistema de coordenadas lineales xi corres-
pondientes a una base ei de E.
Para cada F : U E consideramos las funciones fi = xi F , entonces para
cada p U tenemos el vector de E
F (p) = f1 (p)e1 + + fn (p)en ,
el cual corresponde por el isomorfismo canonico E Tp (E), al vector de Tp (E)
Dp = f1 (p) + + fn (p) .
x1 p xn p
Ahora F es de clase k si y solo si las fi C k (U ) y es facil comprobar que los Dp
satisfacen la condicion de la definicion (1.4.1).
Recprocamente si para cada p U tenemos un vector
Dp = f1 (p) + + fn (p) Tp (E),
x1 p xn p
verificando la condicion de (1.4.1), entonces como Dp xi = fi (p) tendremos que fi
C k (U ) y la aplicacion F : U E, F (p) = f1 (p)e1 + + fn (p)en , es de clase k.
Que esta correspondencia tiene las propiedades (i) y (ii) es evidente.
(b) Es facil comprobar que si a los {Dp } les corresponde F por la parte (a),
entonces
U T (U
) p (p) = Dp
idy y y y
U U E p (p, F (p))
y es de clase k si y solo si F es de clase k.
p V DpF f R,
48 Tema 1. La estructura diferenciable de un espacio vectorial
(f DF )p = f (p) DpF .
(F D)p = F Dp .
[F D]p = DF (p) ,
: V T (U ) , (p) = DpF ,
Bibliografa y comentarios
Teoremas fundamentales
de Ecuaciones
diferenciales
X : R U U,
53
54 Tema 2. Teoremas fundamentales de Ecuaciones diferenciales
Df Xp = (f Xp )0 .
Xt Dp = DX(t,p) .
[Xt Dp ]g = Dp (g Xt )
[g Xt Xs ](p) [g Xt ](p)]
= lim
s0 s
= (Dg)(q) = Dq g.
o equivalentemente
P para p = (p1 , . . . , pn ), X = (Xi ) y el campo tangente
D = fi /xi , si existen funciones X1 , . . . , Xn : I R, satisfaciendo
el sistema de ecuaciones diferenciales
o en forma integral
Z t
X(t) = p + F [X(s)]ds,
t0
para lo cual basta demostrar que Z(ti ) B(p, r), y esto es as porque
k Z(t1 ) p k =k Z(t1 ) Z(t0 ) k
a0 r
M = < r,
m m
a0
k Z(t1 ) p k M < r,
m
y por induccion
|i|
k Z(ti ) p k r < r.
m
Para esta Z se tiene
(2.1) k Z(t) Z(s) k M | t s |,
para t, s I. De donde se sigue, tomando s = t0 , que k Z(t) p k
M a0 = r y por tanto que Z(I) K. Ademas si t I y t 6= ti entonces
t esta en algun (ti , ti+1 ) y por tanto
k Z 0 (t) F [Z(t)] k=k F [Z(ti )] F [Z(t)] k ,
pues k Z(ti ) Z(t) k M (a0 /m) r/m .
2.2. Existencia de solucion 59
X : I = (t0 a0 , t0 + a0 ) U,
Zn : I U,
para cualesquiera x, y E1 .
Si k < 1, entonces diremos que es contractiva.
Se sigue que si
: (E1 , d1 ) (E2 , d2 ),
es lipchiciana entonces no solo es continua sino uniformemente continua.
k (x) (y) k1 k k x y k2 .
F (x, y, ) = x + (1 )y.
(b) Es consecuencia del teorema del valor medio, pues nos asegura
que
n
X f
f (x) f (y) = (z)(xi yi ),
i=1
xi
para x, y E y z entre x e y.
(c) Sea K U compacto y sea V un abierto tal que K V
Adh (V ) U basta tomar para cada x K una B(x, r) U y
considerar un subrecubrimiento finito de las B(x, r/2)). Ahora tomamos
h C (E) tal que h(K) = 1 y h(E V ) = 0, entonces hf L(E) y
hf = f es lipchiciana en K.
(d) Basta ver la desigualdad, para x sop f e y (sop f )c . Como
existe un t (0, 1], tal que z = tx + (1 t)y sop (f ), tendremos por
el lema anterior que
k f (x, v1 ) f (x, v2 ) k k k v1 v2 k,
para todo x Up , y v1 , v2 Vq .
Con LU (U V ) denotaremos las funciones f : U V R, continuas
y localmente lipchicianas en V uniformemente en U .
2.4. Unicidad de solucion 63
f : U : E1 E2 , f (x, v) = A(x)(v),
D : C (U V ) LU (U V ),
D(U V ) . . . D1 (U V ) DL (U V )
DU (U V ) D0 (U V ).
que ya sabemos que existe cuando las fi son continuas, es unica cuando
fijamos las condiciones iniciales, Xi (t0 ) = pi , para un t0 R y un punto
p U de coordenadas (pi ).
La continuidad de las fi no bastan para asegurar la unicidad de
solucion, como pone de manifiesto el siguiente ejemplo en R:
p
x0 (t) = | x(t) |,
x0 (t)
= 1,
f [x(t)]
e integrando
x(t) t
x0 (t)
Z Z
dx
g[x(t)] t0 = = dt = t t0 ,
x(t0 ) f (x) t0 f [x(t)]
por lo que g[x(t)] = t, es decir que x debe ser la inversa de g, que existe
y es unica pues g es estrictamente monotona, ya que tiene derivada no
nula.
Y (t0 ) = Z(t0 ) = p U,
para un t0 I J, entonces Y = Z en I J.
Consideremos el conjunto
A = {t I J : Y (t) = Z(t)},
Xp : I(p) U,
WD = {(t, p) R U : t I(p)},
y la aplicacion
Y (t) = Xp (t + s),
2.5. Grupo Uniparametrico de un campo 67
K = B[p, r] U,
y denotemos
Y : I K1 Rn ,
Br = {Y B : k Y p k r}
= {Y : I K1 K, continuas}.
: Br B.
68 Tema 2. Teoremas fundamentales de Ecuaciones diferenciales
| t a | max{| fi Y |: I K1 , i = 1, . . . , n}.
por tanto
k (X) (Y ) k k k X Y k .
(t0 , t0 + ) V = I V WD ,
y X : I V U es de clase k.
Para t0 = 0 es nuestra hipotesis.
Supongamos que existe un z U para el que el teorema no es valido.
Como para (0, z) lo es, tendremos que existe un t0 I(z) que es el
mnimo de todos los t I(z), con t > 0, para los que no es cierto que
existan t > 0 y Vt entorno abierto de z tales que
(t t , t + t ) Vt WD ,
X : (1 , 1 ) Vp WD U,
70 Tema 2. Teoremas fundamentales de Ecuaciones diferenciales
(1 , 1 ) I(q1 ) = I(q) t1 ,
(t1 1 , t1 + 1 ) Vz WD ,
y de
X : (1 , 1 ) Vp U,
ya que X(t1 + s, q) = X(s, X(t1 , q)).
Pero como t0 (t1 1 , t1 + 1 ) llegamos a un absurdo.
Por ultimo es facil ver que D es el generador infinitesimal de X.
2.6. Grupo Unip. de campos subidos 71
de un campo
n
X
D= fi ,
i=1
xi
gi (x, y) = fi (x).
Y1 : J1 U V , Y2 : J2 U V,
Z(., ) : I() U V,
el conjunto
WE = {(t, ) R U V : t I()},
y la aplicacion
Z : WE U V.
Z : I Up Vq U V.
M = max{| gi () |: K, i = 1, . . . , n + m}.
Z : I Kp Kq Rn+m ,
2.7. Diferenciabilidad del grupo unip. 73
X j
X j (0, p) = ej , = A(X) X j .
t
Esto nos sugiere que definamos el sistema de 2n ecuaciones dife-
renciales en el abierto U Rn R2n
Por (2.17) basta comprobar que existen y son continuas las Xi /xj
en un entorno de los puntos de la forma (0, p) WD .
Ahora bien X podemos construirla localmente como vimos en la nota
(2.16), de la siguiente forma. Para cada p U existe un > 0 y dos
entornos compactos de p en U , Kp K U , tales que
(2.5) X : [, ] Kp K,
X m : [, ] Kp K,
X 0 : [, ] Kp K,
Y m : [, ] Kp Rn ,
de la forma
t n
Xim
Z X
Yim (t, q) = (t, q) = ij + [ fik [X m1 (s, q)] Ykm1 (s, q)]ds,
xj 0 k=1
o en forma vectorial
Z t
m
Y (t, q) = ej + A[X m1 (s, q)] Y m1 (s, q)ds.
0
Y : [, ] Kp Rn ,
Y (t, q) = [Zn+1 (t, q, ej ), . . . , Z2n (t, q, ej )]
Z t
= ej + [A[X(s, q)] Y (s, q)]ds.
0
k Y m (t, q) Y (t, q) k
Z t
k A[X m1 (s, q)] Y m1 (s, q) A[X(s, q)] Y (s, q) k ds
0
Z t
k A[X m1 (s, q)] k k Y m1 Y k ds+
0
Z t
+ k A[X m1 (s, q)] A[X(s, q)] k k Y k ds
0
Z t
k k Y m1 Y k ds + am1 ,
0
2.7. Diferenciabilidad del grupo unip. 77
Xim
Xim Xi , = Yim Yi ,
xj
D= .
u1
Demostracion.- Podemos considerar un sistema de coordenadas li-
neales xi en E, tales que Dp = (/x1 )p , para ello basta considerar
la identificacion canonica Tp (E) E y el vector e1 E correspon-
diente a Dp , extenderlo a una base ei y considerar su base dual xi .
Sea X : WD U el grupo uniparametrico local de D y consideremos
un > 0 y un entorno abierto V de 0 tal que Vp = p + V U y
(, ) Vp WD .
Consideremos ahora el abierto de Rn1
donde p = (p1 , . . . , pn ).
Para esta funcion se tiene que F (0) = p, F (t, 0, . . . , 0) = X(t, p),
y para i 2
y por (2.7),
Fi
(0) = ij .
yj
Entonces existen abiertos A0 de 0 en (, ) A y Up de p en U tales
que F : A0 Up es un difeomorfismo de clase k.
Si llamamos (u1 , . . . , un ) a la inversa de F en Up , es decir ui =
yi F 1 , tendremos que en estas coordenadas
D= ,
u1
pues en todo punto q = F (a1 , . . . , an ) Up , tenemos que
(t + x1 , x2 , . . . , xn ).
Corolario 2.33 Sea D DL (E), (resp. de clase k). Entonces existe una
funcion f L(E), (resp. f C k (E)), f 6= 0, tal que f D es completo.
Ademas f puede elegirse para que tome el valor 1 en un compacto K
dado de E.
Demostracion.- Consideremos
P un sistema de coordenadas lineales
(xi ) en E, y sean D = fi i y
1
g=p P ,
1 + fi2
entonces gD tiene las componentes acotadas. Ahora consideremos una
funcion h C (E) ver el tema I, tal que h[E] = [0, 1], h[K] = 0 y
84 Tema 2. Teoremas fundamentales de Ecuaciones diferenciales
[D1 , D2 ] F = F [E1 , E2 ],
2H 2H 2H 2H 2H 2H
h00 (0) = [ + + + + 2 2
a2 b2 c2 d2 ab ac
2H 2H 2H 2H
2 2 2 +2 ](0, 0, 0, 0) =
ad bc bd cd
= E(Ef )(p) + D(Df )(p) + E(Ef )(p) + D(Df )(p)+
+ 2D(Ef )(p) 2E(Ef )(p) 2D(Ef )(p)
2E(Df )(p) 2D(Df )(p) + 2D(Ef )(p) =
= 2[DL E]f (p).
Demostracion.-
E=h +k ,
x y
= px2 + y 2 ,
1 1
= =p ,
x y 2 x2
es decir = arccos(x/).
Tenemos ahora que encontrar f y g satisfaciendo
2f f
= f , = g.
2
Y como veremos en el tema de sistemas lineales, estas ecuaciones
tienen una solucion general de la forma
y xr
y0 = ,
x + yr
p
para r(x, y) = h[ x2 + y 2 ], se resuelven haciendo el cambio a coordena-
das polares.
Ef = 0 , Eg = f k 0 (x).
2.11. Metodo de Lie para resolver ED 93
b(x)
D= + ,
x k(x) u
se encuentran facilmente pues tiene una 1forma incidente exacta
Z
b(x) b(x)
du dx = d[u ],
k(x) k(x)
por lo que la solucion general de la ecuacion diferencial lineal es
Z
R b(x)dx
y(x) = e a(x)dx R + A ,
e a(x)dx
94 Tema 2. Teoremas fundamentales de Ecuaciones diferenciales
Ejercicios
2xy xy + 2x
(1) y 0 = , (2) y 0 = ,
x2
+ y2 x2 + y 2 + 4y + 4
yx y (x + 1)3 (x + 1)y 2
(3) y 0 = (4) y 0 = ,
x+y x + 1 + y 3 + y(x + 1)2
(5) y 0 = x2 y + x, (6) y 0 = x2 y + xy 3 .
Solucion.- Sabemos que existe una funcion g, tal que [D1 , gD] = 0. Por otra
parte como
1
D1 = x +y +z ,
x x y z
tendremos que D1 x = 1, D1 (y/x) = 0 y D1 (z/x) = 0, por lo que, D1 = x en las
coordenadas (x, u = y/x, v = z/x). Escribamos pues D en estas coordenadas,
1
D = ux2 + + (uv + 1) ,
x u u v
y podemos olvidarnos del termino ux2 , pues solo nos interesan las trayectorias de D.
En definitiva tendremos que resolver el sistema de ecuaciones diferenciales
1
u0 (x) = , v 0 (x) = uv + 1,
u
96 Tema 2. Teoremas fundamentales de Ecuaciones diferenciales
o lo que es lo mismo queremos encontrar las curvas integrales del campo bidimensional
1
E= + (uv + 1) .
u u v
Como este campo es del tipo lineal podemos encontrar sus trayectorias en las
coordenadas
3
u, w = v eu /3 ,
en las que se tiene que
1 3
E= + eu /3 ,
u u w
y sus trayectorias vienen dadas por
3
w0 (u) = ueu /3
,
3
es decir si f (u) es una primitiva de ueu /3 , las trayectorias de E vienen dadas por
h1 = constante, para
h1 = w f (u),
pues Eh1 = 0. Por tanto Dh1 = 0.
Ahora bien nosotros queremos las trayectorias de D, para ello basta ver que a lo
largo de ellas u0 (x) = 1/u, es decir u2 /2 = x + cte, es decir Dh2 = 0 para
u2
h2 = x.
2
Se sigue que las curvas integrales de D son
h1 = cte , h2 = cte.
Consideremos entonces el campo tangente del cual solo nos interesa la trayec-
toria pasando por el punto de coordenadas (x = a0 , y = b0 , t = 0), proyectadas en el
plano xy
q
bx + b(ta y) + x2 + (ta y)2 ,
x y t
que en las coordenadas (x, y, z = ta y), se escribe
p
bx + bz + [a x2 + z 2 bz] .
x y z
2.11. Metodo de Lie para resolver ED 97
Si ahora dividimos este campo por bz, y llamamos k = a/b, tendremos que sus
trayectorias que es lo que nos interesa no se modifican. As pues consideremos
el campo s
x x2
E= + k + 1 1 + ,
z x z2 z y
del que solo nos interesa la trayectoria
(t) = (x1 (t), y1 (t), z1 (t)),
que pasa por el punto (x = a0 , y = b0 , z = b0 ) y de esta trayectoria solo nos interesa
la relacion entre x1 (t) e y1 (t) = t + b0 . Proyectemos el campo E al plano xz
s
x x2
D= + k + 1 1 ,
z x z2 z
y sea
1 (t) = (x1 (t), z1 (t)),
su curva integral pasando por el punto de coordenadas (x = a0 , z = b0 ). Ahora
como D es homogeneo sabemos que en las coordenadas (u = z/x, v = Log x) se
simplifica
1 p 2
D= k u +1 .
z u v
Ahora podemos encontrar las trayectorias de D considerando su 1forma inci-
dente,
du
= + dv = dh,
k u2 + 1
donde Z
du 1 p
h=v+ = v + log[u + u2 + 1].
k u +1 2 k
Entonces h es una integral primera de D y por tanto de E. Se sigue que las
trayectorias de D son
1
v = log[u + (u2 + 1)1/2 ] + cte,
k
y en terminos de (x, z), las trayectorias son
A 1 1+k
(2.8) z = x1k x ,
2 2A
y la nuestra es la que pasa por el punto p de coordenadas x = a0 , z = b0 .
Ahora bien con (2.8) podemos construir la curva integral de f D, con f = u =
z/x, que pasa por p, en las coordenadas (x, z), de la forma
A 1
2 (r) = (r + a0 , (r + a0 )1k (r + a0 )1+k ),
2 2A
y nosotros queremos la de D. Sabemos que si 2 es la curva integral de f F pasando
por el punto p y 1 la de F , entonces 2 = 1 h1 , donde
Z t
h1 (t) = f [2 (s)]ds
0
Z t
A 1
= (s + a0 )k (s + a0 )k ds
0 2 2A
Z t+a0
1 k A k
= s s ds.
a0 2A 2
98 Tema 2. Teoremas fundamentales de Ecuaciones diferenciales
p
que tiene uno forma incidente, para = k/a
dy 1 +y
adt + =d log at ,
2 y 2 2 y
y la solucion es
+y + y(0)
= c eat , c= .
y y(0)
Ejercicio 2.11.11 Calcula la forma que debe tener la cisterna del ejercicio an-
terior para que el nivel de la superficie del agua baje a una razon constante.
Ejercicio 2.11.12 Hallar las curvas y = f (x), del plano, que pasan por el origen
y tienen la propiedad de que para todo punto b = f (a), el area limitada por la
tangente a la curva en (a, b), el eje y y la recta y = b, es proporcional al area
limitada por la curva, el eje y y la recta y = b.
Solucion. Sea (x(t), y(t)) una tal curva parametrizada por la longitud de arco.
Entonces
x02 + y 02 = 1 , x002 + y 002 = A.
Derivando la primera ecuacion
p
(2.9) x0 = 1 y 02 ,
obtenemos
y 0 y 00
x00 = p ,
1 y 02
y despejando en la segunda q
y 00 = A(1 y 02 ),
y haciendo el cambio z = y 0 , tenemos que resolver el campo
s
A(1 z 2 )
+ z,
t
que tiene una integral primera, t A arcsen z, por tanto
y 0 (t) = z(t) = sen(t A + k),
x 1 x1 + + xn .
xn
P
Indicacion. Basta demostrar que xi Fxi = F , lo cual se sigue derivando en
t = 1 la propiedad de F .
x2 yy 00 = (y xy 0 )2
Bibliografa y comentarios
encontramos que los campos con un punto singular son casi siem-
predifeomorfos, en un entorno del punto, a su linealizacion, es decir
a su aproximacion lineal en el punto esto lo definiremos con rigor en
la leccion 5.2, pag.224, del tema de estabilidad. En la leccion 4.7
(pag.175) del tema de Sistemas lineales clasificaremos los campos tan-
gentes lineales desde un punto de vista lineal y diferenciable y veremos
que ambas clasificaciones son la misma y en la leccion 5.6 (pag.243)
del tema de Estabilidad haremos la clasificacion topologica.
Por otra parte para realizar un estudio finode un objeto mate-
matico, cerca de un punto singular se ha elaborado una tecnica, llamada
resolucion de singularidades, que consiste en elegir un sistema de coor-
denadas cerca de un punto singular, para el que a un pequeno despla-
zamiento cerca de la singularidad, corresponde un gran cambio en las
coordenadas.
El sistema de coordenadas polares tiene esta propiedad, sin embargo
el paso a ellas requiere funciones trascendentes, por ello a veces es prefe-
rible otro procedimiento, el llamado proceso, que consiste en subir un
campo de R2 con un punto singular, a un campo en el helicoide recto,
que es la superficie definida por una helice circular, con el eje pasando
por el punto singular.
Remitimos al lector interesado al libro
Arnold, V.I.: Geometric Methods in the theory of ordinary differential equations.
SpringerVerlag, 1983.
y (n = F (x, y, y 0 , . . . , y (n1 )
Campos tensoriales en un
espacio vectorial
tales que:
(1) (V, +) es grupo conmutativo;
107
108 Tema 3. Campos tensoriales en un espacio vectorial
(2) a (v1 + v2 ) = a v1 + a v2 ;
(3) (a + b) v = a v + b v;
(4) (ab) v = a (b v) y
(5) 1 v = v.
Sea V su modulo dual, es decir el conjunto de las aplicaciones A
lineales de V en A. Sean p, q N {0}, no ambos nulos. Llamaremos
tensor de tipo (p, q) en V a toda aplicacion (p + q)lineal
T : V p V q A,
entendiendo para p = 0, T : V q A y para q = 0, T : V p A.
Llamaremos tensores de tipo (0, 0) a los elementos de A. As mismo
denotaremos con Tpq (V ) el Amodulo de los tensores de tipo (p, q) en V .
0
Definicion. Si T Tpq (V ) y T 0 Tpq0 (V ), definimos el producto tenso-
rial de T y T 0 , como el tensor T T 0 de tipo (p + p0 , q + q 0 ), en V , que
para e1 , . . . , ep+p0 V y f1 , . . . , fq+q0 V satisface
T T 0 (e1 , . . . , ep+p0 , f1 , . . . , fq+q0 ) =
= T (e1 , . . . , ep , f1 , . . . , fq )T 0 (ep+1 , . . . , ep+p0 , fq+1 , . . . , fq+q0 ).
e V1 ie T M(V2 Vn ; W ).
i1 ip vj1 vjq ,
: V p V q Tpq (V ),
F : H M, F (f ) = f ,
110 Tema 3. Campos tensoriales en un espacio vectorial
es un isomorfismo:
1. Esta bien definida pues la composicion de una multilineal con una
lineal es multilineal.
2. Es lineal.
3. Es inyectiva pues si F (f ) = 0, tendremos que para todos los
elementos de la base de Tpq (V ),
por tanto f = 0.
4. rang(H) = rang(M) = np+q dim(V 0 ).
q1
Definicion. Como consecuencia tenemos que si por V 0 tomamos Tp1 (V ),
entonces para un 1 i p y un 1 j q, la aplicacion (p + q)lineal
q1
V p V q Tp1 (V ),
i (vj )1
bi p v1 vbj vq ,
k vl = 1 p v1 vq ,
actua de la forma,
Cij (k vl ) = i (vj )1
bi p v1 vbj vq .
Ejercicio 3.2.1 Demostrar que existe una biyeccion entre los campos tenso-
riales de tipo (p, q) en U y los campos diferenciables de tensores de tipo
(p, q), en U , para la que se tiene que si T, T1 , T2 Tpq , f C (U ) y x U ,
entonces:
a) (T1 + T2 )x = T1x + T2x .
b) (f T )x = f (x)Tx .
c) (T1 T2 )x = T1x T2x .
d) (iD T )x = iDx Tx .
e) (Cij T )x = Cij Tx .
Denotaremos con F = F1 .
F (Cij T ) = Cij (F T ).
Corolario 3.9 Todo campo tensorial de tipo (p, q) tiene derivada de Lie
respecto de cualquier campo tangente y es un campo tensorial de tipo
(p, q).
Demostracion. Como los campos tensoriales de tipo (0, 0), (1, 0)
y (0, 1) satisfacen las condiciones del resultado anterior y todo campo
tensorial T de tipo (p, q) puede escribirse, en un sistema de coordenadas,
como
X
T dxi1 dxip ,
xj1 xjq
=(i1 ,...,jq )
F (Cij T ) = Cij (F T ).
F : Tp0 (V ) Tp0 (U ),
T (D1 , . . . , Di , . . . , Dj , . . . , Dp ) = T (D1 , . . . , Dj , . . . , Di , . . . , Dp ).
T (D1 , . . . , Di , . . . , Dj , . . . , Dp ) = T (D1 , . . . , Dj , . . . , Di , . . . , Dp ).
y se demuestra que
definidas por
X X
S(T ) = (T ), H(T ) = sig()(T ),
Sp Sp
F : Tp0 (V ) Tp0 (U ).
para toda Sp+q . Por tanto H(Tp Tq ) = 0, pues podemos hacer una
particion en Sp+q mediante Sp , siendo nulo cada sumando como el de la
expresion anterior, correspondiente a esta particion.
Ejercicio
P 3.4.3 Demostrar que si T n (U ), D1 , . . . , Dn D(U ) y Ei =
aij Dj D(U ) entonces
T (U ) = (i,j)I Tij (U )
Y j
= {T = (Tij ) Ti (U ) : N N, i, j N Tij = 0}.
I
Del mismo modo podemos proceder con los campos tensoriales he-
misimetricos p . Definimos
= p ,
r s = H(Tr Ts ),
1 . . . r = H(T1 Tr ).
: ,
3.4. Campos tensoriales Covariantes 121
r s = (1)rs s r ,
iD (r s ) = (iD r ) s + (1)r r (iD s ),
si r es impar r r = 0.
c) Para n < r, r (U ) = 0.
Por tanto (U ) tiene una base formada por 2n elementos, es decir
rang (U ) = 2n .
122 Tema 3. Campos tensoriales en un espacio vectorial
Nota 3.18 Observemos que n (U ) tiene una base formada por un unico
elemento, que en los terminos anteriores es n = du1 . . . dun . Cual-
quier otra base por tanto sera de la forma f n , donde f > 0 (o f < 0)
en todo U . Esto permite clasificar las bases de n (U ) en dos tipos, las
que tienen la misma orientacion que n es decir con la f > 0, y las
que tienen orientacion contraria es decir con la f < 0.
P
Ejercicio 3.4.8 Demostrar que si Di = aij j D(U ), entonces
DL = iD d + d iD .
pues iD k1 .
Existencia.- Vamos a definir d : p p+1 recurrentemente. Para
p = 0 ya la conocemos. Supongamoslas definidas para p k 1 y
definamosla para p = k:
Para cada k , definimos d k+1 , tal que para Di D y
DD
. . . , Dj1 , Dj+1 , . . . , Dp ).
3.5. La diferencial exterior 125
iD [d(p q )] =
= DL (p q ) d[iD (p q )]
= DL p q + p DL q d[iD p q + (1)p p iD q ]
= DL p q + p DL q d(iD p ) q
(1)p1 iD p dq (1)p dp iD q
(1)p (1)p p d(iD q )
= [DL p d(iD q )] q + (1)p1 dp iD dq +
+ (1)p iD p dq + p [DL q d(iD q )]
= iD (dp ) q + (1)p1 dp iD dq + (1)p [iD p dq +
+ (1)p p iD (dq )] = iD [dp q + (1)p p dq ],
por tanto F df = dF f .
Para = df , con f C (V ) es trivial.
126 Tema 3. Campos tensoriales en un espacio vectorial
a = fa dvi1 . . . dvip .
Hp (U ) = { p : d = 0}/{ p : = dp1 },
Ejercicio 3.6.1 Demostrar que la 1forma del plano (y 2 + h)dx + (x2 + h)dy
es exacta sii h = 2xy + f (x + y).
I p , t t ,
esta en C (I).
Definicion. Dada una curva diferenciable de pformas t y r, s I,
definimos en los terminos anteriores:
dt
(D1 , . . . , Dp )(x) = f 0 (t),
dt
128 Tema 3. Campos tensoriales en un espacio vectorial
Rs
2. La r
t dt p como la pforma
Z s Z s
t dt (D1 , . . . , Dp )(x) = f (t)dt.
r r
entonces:
i)
dt X dfa
= dxa1 . . . dxap .
dt dt
ii) Z s X Z s
t dt = fa (t, x)dt dxa1 . . . dxap .
r r
iii) Si t , cuando t r (r R {, }), entonces
lim dt = d[lim t ] = d.
tr tr
Demostracion. Si
X
t = fa (t, x)dxa1 . . . dxap ,
entonces
X X fa
dt = dxa1 . . . dxap ,
dxi
xi
Z s X X Z s fa
dt dt = dt dxi dxa1 . . . dxap
r r xi
X X s fa (t, x)dt
R !
r
= dxi dxa1 . . . dxap
xi
Z s
=d t dt .
r
d(t )
= t (H L ) = t (diH ) = d(t iH ),
dt
y como 0 = , tendremos que para r < 0
Z 0 Z 0
r = d(t iH )dt =d [t iH ]dt,
r r
d = df dx + dg dy
f g
= dy dx + dx dy
y x
= (gx fy )dx dy,
por tanto
g f
d = 0 = ,
x y
y esto es as si y solo si existe h C (R2 ) tal que
h h
= f, = g.
x y
Una h tal viene dada por
Z x Z y
h(x, y) = f (t, y0 )dt + g(x, t)dt,
x0 y0
g(x, y)
y 0 (x) = ,
f (x, y)
= gdx + f dy,
Nota 3.25 Hay otro metodo sencillo para encontrar un factor de inte-
gracion h, para ciertas 1formas
= gdx + f dy,
0 = dh + hd
h h
= dx + dy (gdx + f dy) + h(dg dx + df dy)
x y
h h g f
= f+ g+h + ,
x y y x
a) Si
gy + fx
= r(x),
f
basta considerar h = h(x) tal que h0 = h r, es decir
R
h(x) = e r(x)
.
b) Si
gy + fx
= r(y),
g
3.7. Apendice. Ejemplos de tensores 133
(D1 , . . . , Dn ),
iR 3 = d(iD T2 ),
donde
3 = dx dy dz , T2 = dx dx + dy dy + dz dz,
(D1 , D2 , D3 ) = (D1 D2 ) D3 .
Solucion.- (3)
por tanto
div R = 0 d(iR ) = 0
localmente iR = d (por el Lema de Poincare)
localmente iR = d(iD T2 )
localmente R = rot D.
= = = 0,
x x y y z z
= , = , = .
x y z y z x z x y
~ + area(OAC) OB
area(OAB) OC ~ + area(OBC) OA
~ = 0.
por tanto
Z tX
i (t, x) fi [ (s, x)] k (s, x)
= ij + ds,
xj 0 xk xj
ahora bien existen unicas matrices S simetrica y H hemisimetrica, tales
que A = S + H, que son
f1 f1 f2 f1 f3
2 x x2 + x1 x3 + x1
1 1 f2 1
f1 f2 f2 f3
S = (A + At ) = x + x 2 x x3 + x2 ,
2 2 f31 2
f1 f3
2
f2 f3
x + x3 x2 + x3 2 x
1 f1 f2 f1
3
f3
0 x2 x1 x3 x1
1 1 f2 f1 f2 f3
H = (A At ) = x x 0 x x
2 2 f3 1 2 3 2
f1 f3 f2
x1 x3 x2 x3 0
0 r3 r2
1
= r3 0 r1 ,
2
r2 r1 0
138 Tema 3. Campos tensoriales en un espacio vectorial
1 es decir uno en el que son validas las leyes del movimiento de Newton
140 Tema 3. Campos tensoriales en un espacio vectorial
r0 = x0 e1 + y 0 e2 + z 0 e3 + xe01 + ye02 = v + e3 r,
Fe = ma = F + 2mv e3 + m(e3 r) e3 ,
Ejercicios
Ejercicio 3.6.1.- Demostrar que la 1forma del plano (y 2 + h)dx + (x2 + h)dy
es exacta sii h = 2xy + f (x + y).
Demostracion. si es exacta existe z, tal que zx = y 2 + h y zy = x2 + h,
por tanto (y 2 + h)y = zxy = (x2 + h)x , por tanto 2y + hy = 2x + hx y Dh = 2(y x),
para
D= =2
x y v
en las coordenadas u = x + y, v = x y, pues Du = 0 y Dv = 2, por tanto Dh = 2v
es hv = v es decir
v2 x2 2xy + y 2
h= + (u) = + (x + y)
2 2
2
x +y 2 (x + y) 2
= xy + + f (x + y) = 2xy + f (x + y).
2 2
todas las que cuelgan, con velocidad v = x0 , tendremos que la fuerza actuando
sobre la cuerda debido a su movimiento es
d(mv)
F = = m0 v + mv 0 .
dt
Ahora bien la unica fuerza que actua sobre la cuerda es la gravitacional sobre
la parte que cuelga, que vale mg, tenemos igualando ambas
v 2 + xv 0 = xg,
y como v 0 = dv/dt = (dv/dx)(dx/dt) = (dv/dx)v, tendremos que
dv xg v 2
= ,
dx xv
que corresponde a la forma
xvdv + (v 2 xg)dx,
la cual tiene un factor integrante, el resto es sencillo.
En el segundo caso la ecuacion es 4x00 = xg.
Solucion.-
Supongamos que los rayos reflejados son para-
lelos al eje y. Entonces en cada punto p = (x, y) la
ecuacion de la recta tangente a la curva es
p
xdy (y + x2 + y 2 )dx = 0.
Como esta 1forma es homogenea el cociente de
sus coeficientes solo depende de y/x, la ponemos Figura 3.1. Parabola y elipse
en las coordenadas v = log x, u = y/x
r
1 1
du + 1dv = 0,
u u2
ahora es facil multiplicarla por una funcion para hacerla exacta
1 p
du dv = d[log(u + u2 + 1) v],
u2 + 1
y las soluciones son para cada constante k
u + u2 + 1
= k,
x
es decir
k 1
y = x2 ,
2 2k
es decir las parabolas con foco el origen y eje el eje y.
b) Las curvas solucion son las elipses con focos A y B.
146 Tema 3. Campos tensoriales en un espacio vectorial
Ejercicio 3.7.9 Encontrar la curva que describe una canoa que sale de una
orilla en un ro y se dirige a un punto de la otra orilla a velocidad constante,
siendo arrastrada por el ro que baja tambien a velocidad constante.
para k = a/b.
Ejercicio 3.7.10 Encontrar la curva que hace una cuerda2 cuando la sujetamos
por los dos extremos a unas alturas dadas.
Solucion.-
En cada punto la cuerda esta en equilibrio
por la compensacion de dos fuerzas de tension
que actuan sobre ella. Una la realiza la parte
de la cuerda que esta a la derecha del punto
(supongamos que el punto esta a su vez a la
derecha del punto mas bajo), tirando del pun-
to hacia arriba, y otra la que realiza la parte
Figura 3.2. Catenaria
izquierda de la cuerda tirando del punto hacia
abajo. Descompongamos estas fuerzas en sus componentes horizontal y vertical. Son
1 Talcurva se denomina tractriz .
2 Jakob Bernoulli (16551705) fue el primer matematico de una importante
familia de cientficos suizos. En 1691 estudio esta curva (llamada catenaria) y sus
resultados pronto fueron utilizados para la construccion de puentes colgantes.
3.7. Apendice. Ejemplos de tensores 147
iguales y de sentido contrario por eso el punto esta en equilibrio, pero observamos
que las componentes horizontales no dependen del punto que hayamos considerado, es
constante. Para ver esto agarremos la cuerda por dos puntos cualesquiera. Las com-
ponentes horizontales de las fuerzas que nosotros realizamos para mantener quieta
la cuerda deben ser iguales y de sentido contrario, pues en caso contrario cambiando
la cuerda por otro objeto identico pero rgido, se desplazara horizontalmente en el
sentido de la de mayor fuerza. Como esto no ocurre, pues la cuerda estaba quieta
concluimos. Por otra parte la fuerza vertical que actua sobre el punto es el peso de
la cuerda desde el punto mas bajo hasta el punto en cuestion.
Consideremos entonces s el parametro longitud de arco de la cuerda tomando
como origen el punto de la cuerda mas bajo en el que la tangente es horizontal
y w la densidad lineal de la cuerda, de tal forma que
Z b
w(s)ds,
a
es el peso de la cuerda entre a y b.
Buscamos una curva [x(t), y(t)], tal que satisface
x0 (t) = c = 1/k,
Z s(t)
y 0 (t) = w(s)ds,
0
donde s(t) es la longitud de la cuerda desde el punto mas bajo hasta [x(t), y(t)], es
decir Z tq
s(t) = (x0 (t)2 + y 0 (t)2 )dt.
0
Observemos que al ser k 6= 0, tendremos que dt = kdx, por tanto
Z s(t)
dy
=k w(s)ds = f,
dx 0
" 2 #1/2
df df dt 2 0 dy
= = k w[s(t)]s (t) = kw[s(t)] 1 + ,
dx dt dx dx
es decir sobrentendiendo la notacion
p
y 00 = kw[s(t)] 1 + y 02 .
Consideraremos ahora el caso particular en que w = 1.
p
y 00 = k 1 + y 02 .
Planteamos as el sistema
y 0 = z,
p
z0 = k 1 + z2 ,
que corresponde al campo, en el plano zy,
p
z + k 1 + z2 ,
y z
del que podemos calcular una integral primera facilmente, mediante su 1forma inci-
dente cz p
dy dz = d[y c 1 + z 2 ].
1 + z2
148 Tema 3. Campos tensoriales en un espacio vectorial
Ejercicio 3.7.11 Un pescador en una barca ve salir un pez en un lugar del mar.
Sabe el pescador, por experiencia, que el pez escapara del lugar en lnea recta
a un tercio de su velocidad. Que trayecto debe realizar el pescador para pasar
con seguridad por encima del pez, sea cual sea la direccion que este tome?
y por tanto
q et
3r0 (t) = r0 (t)2 + r(t)2 8r 0 = r r(t) = ,
8
pues r(0) = 1.
Bibliografa y comentarios
Campos tangentes
lineales
151
152 Tema 4. Campos tangentes lineales
A : E E.
P
Si Dxi = aij xj , en un sistema de coordenadas lineales xi , entonces
la matriz asociada a la aplicacion lineal A es A = (aij ) y la de D es At .
x0 : I E I , x0 (t, p) = t.
4.1. Ecuaciones diferenciales lineales 153
y si X : J I E
X(t) = (x0 (t), x1 (t), . . . , xn (t)),
es una curva integral de E, entonces satisface el sistema de ecuaciones
diferenciales en I E
x00 = 1
X
x01 = aij (x0 )xj + b1 (x0 )
(4.2) .. ..
. .
X
x0n = anj (x0 )xj + bn (x0 ).
154 Tema 4. Campos tangentes lineales
X(t0 ) = (t0 , p) I E,
X(t) = (t t0 , ),
que verifica
X(t0 ) = = (t0 , p),
1 Con absoluto rigor aqu debera decir afn y no lineal, pero es habitual encontrar
este abuso del lenguaje en los textos. En general llamaremos ecuacion diferencial
lineal (EDL), a cualquier sistema de este tipo autonomo o no.
4.2. Existencia y unicidad de solucion 155
b) Para c < d,
Z d Z d
k (t)dt k k (t) k dt.
c c
A : A n An , x A x,
k A x kk A k k x k .
y si llamamos
tendremos que en J
k 1 (t) 0 (t) k c,
k 2 (t) 1 (t) k kc|t t0 | c(kb),
|t t0 |2 (kb)2
k 3 (t) 2 (t) k k 2 c c ,
2 2
..
.
|t t0 |m (kb)m
k m+1 (t) m (t) k k m c c .
m! m!
Por tanto existe el lim m = , uniforme en cada compacto, por tanto
es continua. Ademas de (4.4) se sigue que es la solucion buscada,
pues
Z t
(t) = a + [A(s) (s) + b(s)]ds.
t0
158 Tema 4. Campos tangentes lineales
y tomando t tal que (tt0 )k < 1 y t1 [t0 , t], tal que f (t1 ) = max{f (s) :
s [t0 , t]}, tendramos que
Z t1
f (t1 ) k f (s)ds k(t1 t0 )f (t1 ).
t0
aij , bi : I C r (K),
definidas por
bi (t) = gi (t, ), aij (t) = hij (t, ),
y aplicar (4.3) para A = (aij ) y b = (bi ). Que X es de C r (I K) es
consecuencia de que
: t I F (t, ) C(K),
es continua si y solo si
F : I K R,
es continua.
Observemos que si las funciones son de C , entonces son de C r para
todo r, por tanto X es de C r para todo r y consecuentemente de C .
Por ultimo observemos que si las fi C r (U ) con U abierto de Rn y
las
hij , gi : I U R,
son de C r , entonces existe una unica
X : I U Rn ,
1 (t), . . . , n (t),
son independientes. P
Sea t IPy supongamos que existen ci K tales que ci i (t) =
0, entonces ci i y la curva constante 0 son soluciones P de (4.6) que
coinciden en t, se sigue de la unicidad de solucion que ci i = 0. Pero
como las i son independientes se sigue que las ci = 0.
iii) i) Basta demostrar que 1 , . . . , n son independientes.
P
P Supongamos que existen ci K tales que ci i = 0, entonces
ci i (t) = 0. Pero como las i (t) son independientes se sigue que
las ci = 0.
162 Tema 4. Campos tangentes lineales
= B,
P
tambien es fundamental, pues = (1 , . . . , n ), siendo las i = bij j
base de E[A]. Ademas toda matriz fundamental es de esta forma para
alguna B constante no singular la matriz cambio de base. Se tiene
entonces el siguiente resultado.
A = 0 1 .
(1 )0 = 1 0 1 = 1 A,
(4.8) 0 = A .
Definicion. Esto nos sugiere definir el nuevo sistema lineal, que llama-
remos adjunto del sistema (4.6) al sistema
= Z.
A Z + b = A + b = 0
= 0 Z + Z 0
= A Z + Z 0,
166 Tema 4. Campos tangentes lineales
tendremos que
= Z,
es la solucion de (4.10) que verifica (r) = 0. Y si lo que queremos es la
solucion que satisface la condicion
(r) = Kn ,
1 , . . . , m E[A],
= (1 , 2 , . . . , m , em+1 , . . . , en )
11 12 1m 0 0
21 22 2m 0 0
.. .. .. .. ..
. .
. . . . . .
=
m+1,1 m+1,2 m+1,m 1 0
. .. .. .. .. . . ..
.. . . . . . .
n1 n2 nm 0 1
donde las columnas ei son constantes, con todo 0 salvo en el lugar i que
tienen un 1. Consideremos
A Y = A X = X 0,
= 0 Y + Y 0 .
1 Y10
A2 Y2
=
A4 Y2 2 Y10 + Y20
es decir Y satisface el sistema de ecuaciones
Y10 = 1
1 A2 Y2 ,
Y20 = A4 Y2 2 Y10 =
= [A4 2 1
1 A2 ] Y2 .
168 Tema 4. Campos tangentes lineales
x(t) = b e(ta) .
k A k = sup{k Ax k2 : k x k2 = 1}.
k A B k k A k k B k,
4.5. Exponencial de matrices 169
Se sigue que exp[A] esta bien definida pues las sumas parciales forman
una sucesion de Cauchy, ya que
p+q p+q
X Am X k A km
k k .
m=p+1
m! m=p+1
m!
k eA k ekAk .
eA+B = eA eB ,
etA E
lim = A.
t0 t
Teorema 4.16 Dada una matriz constante A, se tiene que (t) = etA
es una matriz fundamental para el sistema lineal 0 = A .
Demostracion. Es una consecuencia inmediata de (4.15), pero en
este caso la demostracion se sigue sin dificultad del ejercicio (4.5.2), pues
(t + r) (t) erA E tA
= e A etA = 0 (t),
r r
y como det (0) = 1 6= 0, tenemos por (4.7) que es fundamental.
Como consecuencia tenemos que el grupo uniparametrico de D es
Xt = etA : E E,
para cada E .
Si consideramos una base ei de E y su base dual xi y escribimos
D y E en los correspondientes sistemas de coordenadas xi y vi para
ei E vi E el isomorfismo canonico, tendremos que
n n
X X X X
D= aij xj , E= bij vj ,
j=1
xi j=1
vi
det[etA ] = et(traz A) .
en el instante t = 2.
4.6. EDL con coeficientes constantes 173
P
c) La divergencia de un campo D = fi i es
n
X fi
div D = .
i=1
xi
Z(t) =
..
.
t (mr 1
e r p r (t)
..
t 0 .
e r pr (t)
etr pr (t)
para t > 0.
h : E E,
que lleva el flujo de uno en el del otro, es decir para Xt e Yt sus respectivos
grupos uniparametricos, si
h Xt = Yt h.
A(t + w) = A(t).
definimos
k
X (Z)n X
Q= (1)n+1 = an (Z)n ,
n=1
n n=1
k
X
=E+ dn (Z)n ,
n=1
Nota 4.27 Debemos observar que aunque B sea real A puede ser com-
pleja. Sin embargo se puede probar que existe A real tal que eA = B2 .
(ver CoddingtonLevinson, p.107).
se tiene que
1 (t)
(t) = ...
n (t)
es solucion de
0 (t) = A (t) + b,
Consideremos el polinomio
por tanto si tenemos para cada i, una base de ker[(Di )mi ], tendremos
una base de ker[p(D)] y por tanto de las soluciones de
(D )m [et h] = et Dm h,
por tanto
(D )m f = 0 Dm [et f ] = 0 f = et q(t),
ker[(D i )mi ],
e1 t , t e1 t , . . . , tm1 1 e1 t ,
e2 t , t e2 t , . . . , tm2 1 e2 t ,
(4.14)
er t , t er t , . . . , tmr 1 er t ,
donde
1 , 2 , . . . , r ,
f = c1 et1 + + cn etn .
y 00 + by = 0,
y 000 + 3y 00 4y 0 = 0,
zn (t)
tendremos que
es solucion de (4.12).
Este metodo general precisa el calculo de = 1 e integrar b,
lo cual no es facil en general. Sin embargo si la funcion g es sencilla, en
el sentido de que sus derivadas son del mismo tipoque ella, hay una
forma alternativa para resolver el problema.
Buscamos en primer lugar una solucion general f1 del sistema ho-
mogeneo (4.13), que satisfaga las condiciones iniciales que queramos, y
una solucion cualquiera f2 del no homogeneo (4.12).
Nuestra solucion sera f = f1 + f2 .
4.10. EDL de orden n. Wronskiano 183
t
b(t) = 0 0 g/an
y tendremos que si
t
(t) = 1 (t) n (t)
es solucion de
0 (t) = A(t) (t) + b(t),
entonces f = 1 es solucion de (4.15) y recprocamente si f es solucion
de (4.15), entonces
1 (t)
2 (t) f (t)
..
(t) = . =
.. .
f (n1 (t)
n (t)
f1 , . . . , fn : I K,
a la funcion
f1 f2 fn
f10 f20 fn0
W[f1 , . . . , fn ](t) = det .. .. ..
..
. . . .
(n1 (n1 (n1
f1 f2 fn
x3 y 000 x2 y 00 + 2xy 0 2y = 0.
f1 , . . . , fn : I K,
W[f1 , . . . , fn ](t) 6= 0,
W[f, f1 , . . . , fn ](t)
(1)n = 0,
W[f1 , . . . , fn ](t)
x = et ,
dx dy (j1
= x, = y (j x,
dt dt
186 Tema 4. Campos tangentes lineales
as como
dy dy dx
= = y 0 x,
dt dx dt
d2 y dy 0
2
= x + y 0 x = y 00 x2 + y 0 x,
dt dt
d3 y
= y 000 x3 + 3y 00 x2 + y 0 x,
dt3
y por induccion se tiene que para cada m N existen n1 , . . . , nm N
tales que n1 = nm = 1 y
dm y
= y (m xm + nm1 y (m1 xm1 + + n2 y 00 x2 + y 0 x.
dtm
y 00 + p(x)y 0 + q(x)y = 0.
satisface la ecuacion
W0 (x) + p(x)W(x) = 0,
y por tanto vale Rx
W(x) = W(a) e a p(t)dt
.
4.11. EDL de orden 2 187
x2 y 00 + xy 0 y = 0,
y 00 + p(x)y 0 + q(x)y = 0,
y 00 + p(x)y = 0 , y 00 + q(x)y = 0,
W[f, g]0 (x) = f (x)g 00 (x) g(x)f 00 (x) = (p(x) q(x))g(x)f (x) 0,
188 Tema 4. Campos tangentes lineales
W[f, g](x) = 0,
exacta si existen funciones a(x) y b(x) tales que para cualquier funcion
f se verifica que
rf 00 + pf 0 + qf = [af 0 + bf ]0 ,
y diremos que admiten un factor integrante v(x) si vr, vp y vq definen una
ecuacion diferencial exacta. A menudo diremos, abusando del lenguaje,
que es la ecuacion la que es exacta o admite un factor integrante.
procediendo del siguiente modo: Primero buscamos a(x) y b(x) tales que
D= + (a1 (x)y + b1 (x)z) + (a2 (x)y + b2 (x)z) ,
x y z
y +z ,
y z
v 0 = (a1 + b1 u),
u0 = b2 u2 + (b1 a2 )u + a1 ,
u0 = (2Ry1 + P )u + R.
Nota 4.34 Observemos que el resultado anterior nos dice que las so-
luciones de la ecuacion de Riccati no son un espacio vectorial, como
ocurre con las ecuaciones diferenciales lineales, sino que forman una rec-
ta proyectiva.
Ademas el grupo uniparametrico Xt asociado al campo
D= (R(x)y 2 + P (x)y + Q(x)) ,
x y
que lleva la recta x = x0 en la recta x = t + x0 pues Dx = 1 lo
cual implica que para cada p R2 , 1 = Dx[Xp (t)] = (x Xp )0 (t) y
por tanto x[Xt (p)] = t + x0 , para x0 = x(p) define una proyectividad
entre esas dos rectas, pues el apartado (c) del ejercicio anterior nos dice
que las graficas (x, y(x), de las soluciones de la ecuacion de Riccati, se
4.11. EDL de orden 2 191
P1 {0, } = R {0}.
y por induccion
an f (n + + a1 f 0 + a0 f = g,
p(z) = an z n + + a1 z + a0 ,
tales que
q(z) + p(z)L(f ) = L(g),
por tanto basta con buscar la funcion f cuya transformada es
L(g) q
(4.20) L(f ) = .
p
entonces como
X
y 0 (x) = (r + n)cn xr+n1 ,
n=0
X
y 00 (x) = (r + n)(r + n 1)cn xr+n2 ,
n=0
(xn Jn )0 = xn Jn1 ,
(xn Jn )0 = xn Jn+1 .
Haciendo el cambio u = y x, tenemos que y es solucion de la ecua-
cion de Bessel (4.21) si y solo si u es solucion de
1 4p2
y 00 (x) + 1 + y(x) = 0,
4x2
1 1 4p2
<p 1+ < 1,
2 4x2
las funciones A sen x + B cos x = C cos(x + ) que son las soluciones
de y 00 + y = 0, tienen una raz entre cada dos races de u y por tanto
de la funcion Jp , esto implica que en cada intervalo de longitud , Jp
tiene a lo sumo una raz.
Por otra parte para p = 0 tenemos
1 4p2 1
1+ = 1 + 2 > 1,
4x2 4x
y el Teorema de comparacion nos asegura que J0 tiene una raz
entre cada dos races de las funciones A sen x + B cos x, es decir en cada
198 Tema 4. Campos tangentes lineales
yn (x) = J0 (n x),
que la masa se mueve en los dos sentidos de una unica direccion sobre
un eje que llamaremos x y que en la posicion de equilibrio la masa
esta en la posicion x = 0. Denotaremos con x(t) la posicion de la masa
sobre este eje, en el instante t.
De acuerdo con la Ley de Hooke si la masa se desplaza una distan-
cia x de su posicion de equilibrio, entonces el muelle ejerce sobre ella una
fuerza restauradora proporcional al desplazamiento, es decir que existe
una constante k > 0, tal que
Fr = kx.
Fa = cx0 .
F + Fr + Fa ,
mx00 = F + Fr + Fa ,
es decir
mx00 + cx0 + kx = F.
Una situacion aparentemente distinta surge cuando consideramos el
muelle colgando de un techo, en ese caso habra que considerar tambien
otra fuerza, la de gravedad y la ecuacion sera
mx00 + cx0 + kx mg = F.
mx00 + cx0 + kx = F.
4.14. Algunas EDL de la Fsica 201
m, k > 0, y c = F = 0,
2 + 2p + 02 ,
m, k > 0, F 6= 0, c = 0.
F (t) = F0 cos(t),
mx00 + kx = F0 cos(t),
para r
k
0 = .
m
Para encontrar una solucion particular distinguiremos dos casos:
z(t) = a cos(t),
z 0 = a sen(t),
z 00 = a 2 cos(t),
por tanto
ma 2 cos(t) + ka cos(t) = F0 cos(t),
204 Tema 4. Campos tangentes lineales
por lo tanto
F0 F0
ma 2 + ka = F0 a = a() = 2
= 2 ,
k m m(0 2 )
y nuestra solucion general es
x(t) = y(t) + z(t),
= A cos(0 t) + B sen(0 t) + a() cos(t),
= C cos(0 t + ) + a() cos(t).
Antes de analizar el otro caso abrimos un parentesis para comentar
dos curiosos fenomenos.
02 F0
z(t) = p 2 cos(t + ),
k (0 2 )2 + 4p2 2
02 F0
g() = p 2 ,
k (0 2 )2 + 4p2 2
m1 x001 = k1 x1 + k2 (x2 x1 ),
m2 x002 = k2 (x2 x1 ).
1 2 0 k
a0 (t) = r = ,
2 2
y se sigue que
k
(4.24) a(t1 ) a(t0 ) = (t1 t0 ),
2
Segunda ley de Kepler.- El radio vector del sol a un planeta
recorre areas iguales en tiempos iguales.
Si ahora suponemos de acuerdo con la ley de la gravedad de Newton,
que
GM m
F = E1 ,
r2
tendremos por (4.22) que para c = GM
c
(4.25) r00 r02 = ,
r2
Definamos ahora z = 1/r, entonces por (4.23)
dr dz 1 dz d 1 dz
r0 = = = = k ,
dt dt z 2 d dt z 2 d
0 2 2
dr d d z d z
r00 = = k 2 0 = k 2 z 2 2 ,
d dt d d
por lo que (4.25) queda de la forma
d2 z c
2
+ z = 2,
d k
4.14. Algunas EDL de la Fsica 213
x2 y2
+ = 1.
a2 b2
En tal caso como
A A
(0) = , () = ,
1+e 1e
214 Tema 4. Campos tangentes lineales
tendremos que
() + (0) A
a= = ,
2 1 e2
() (0) Ae
d= = = ae,
2 1 e2
por lo que
d2 b2
1 e2 = 1 2
= 2,
a a
y por tanto
Aa2
a= b2 = Aa.
b2
De aqu se sigue que si T es el tiempo que m tarda en dar una vuelta
a lo largo de su orbita, entonces como el area de la elipse es ab se sigue
de (4.24) que
kT 4 2 Aa3 4 2 3
ab = T2 = = a ,
2 k2 c
y puesto que c = GM , tendremos la
Ejercicio 4.14.2 Demostrar que las tres leyes de Kepler, implican que m es
atrada hacia el sol con una fuerza cuya magnitud es inversamente proporcional
al cuadrado de la distancia entre m y el sol. 1
Ejercicios resueltos
det[etA ] = et(traz A) .
en el instante t = 2. P
c) La divergencia de un campo D = fi i es
n
X fi
div D = .
i=1
xi
y 00 + p(x)y 0 + q(x)y = 0.
satisface la ecuacion
W0 (x) + p(x)W(x) = 0,
y por tanto vale Rx
W(x) = W(a) e a p(t)dt
.
b) Demostrar que si f es una solucion suya que no se anula en un su-
bintervalo J de I, podemos encontrar otra solucion g de la ecuacion en J,
resolviendo la ecuacion diferencial lineal de primer orden
Rx
f 0 (x) e a p(t)dt
g 0 (x) = g(x) + W(a) .
f (x) f (x)
Resolver esta ecuacion y dar la expresion general de las soluciones de la
ecuacion inicial.
Indicacion.- La solucion general es
Z x
dt
Af (x) + Bf (x) .
f 2 (t) exp( at
R
a p(s)ds)
y 00 + p(x)y 0 + q(x)y = 0,
u0 = (2Ry1 + P )u + R.
Bibliografa y comentarios
Fin Tema IV
222 Tema 4. Campos tangentes lineales
Tema 5
Estabilidad
5.1 Introduccion
223
224 Tema 5. Estabilidad
y por tanto
n
Z tX
Xi fi Xk
(5.1) (t, p) = ij + [X(s, p)] (s, p)ds.
xj 0 xk xj
k=1
Yt = Xt : Tp (E) Tp (E).
L D(E),
x0 (t) = v(t),
g
v 0 (t) = sen x(t),
L
en el (0,0).
x2 x1 + x1 x2 + x4 x3 x3 x4 ,
x2 x1 + x1 x2 + (x2 + x4 )x3 x3 x4 ,
(x1 + 2x2 )x1 + (2x1 2x2 )x2 .
5.3. Estabilidad de puntos singulares 227
Ejercicio 5.3.4 Sea A una matriz, de orden n, con todos los autovalores con
parte real nula. Demostrar que el origen de Rn es un punto estable del campo
definido por la ecuacion X 0 = AX si y solo si A es semisimple es decir
las cajas en su forma canonica de Jordan son de orden 1 para los autovalores
reales y de orden 2 para los complejos.
228 Tema 5. Estabilidad
donde A1 tiene todos los autovalores con parte real negativa y A2 es semisim-
ple.
b) Para cada r > (A), existe un producto interior con una norma
asociada k k, tal que
y por tanto
<A(x), x> <Z(x), x>
=+
<x, x> <x, x>
y el resultado se sigue tomando suficientemente pequeno pues por la
desigualdad de CauchySchwarz
< Z(x), x > k Z(x) k2
< x, x > k x k2 k Z k2 = 1.
donde |f (, x)| k, para un k > 0. Y si es del tipo (2), entonces
= I + Z Zt , Z2 = Zt2 = 0, I = Zt Z + ZZt ,
S = {p E : k p k=k x k},
5.3. Estabilidad de puntos singulares 231
<A(x), x>
0<a< 0 <<Lx , x>,
<x, x>
<A(x), x>
<b<0 <Lx , x>< 0.
<x, x>
fi i , f = (fi ) : U Rn y
P
Sea D =
f
i
A= (0) .
xj
Sea k R tal que para todo exponente caracterstico de D en p sea
Re () < k < c. Ahora por el lema anterior, existe un producto interior
en Rn , tal que
<Ax, x>< k <x, x> = k kxk2 .
De la definicion de derivada de f en 0, se sigue que
k f (x) Ax k
lim = 0,
x0 kxk
y por la desigualdad de CauchySchwarz,
se sigue que
<f (x) Ax, x>
lim = 0.
x0 k x k2
Por tanto existe un > 0 tal que Bp = B[0, ] U , y para cada
x Bp
<f (x), x> <Ax, x> <f (x) Ax, x>
(5.2) = + < c.
k x k2 k x k2 k x k2
Sea ahora q Bp {p} y (, ) = I(q), entonces por la unicidad de
solucion, Xq (t) 6= 0 para todo t (, ) y por tanto es diferenciable la
funcion q
h(t) = kXq (t)k = <Xq (t), Xq (t)>,
siendo por la ecuacion (5.2), h0 (0) < 0, pues
<Xq0 (t), Xq (t)> <f [Xq (t)], Xq (t)>
(5.3) h0 (t) = = ,
k Xq (t) k k Xq (t) k
por tanto existe r > 0 tal que para 0 t r,
e integrando entre 0 y t
x0 = v,
g
v 0 = av sen x,
L
demostrar que el (0, 0) es un punto de equilibrio asintoticamente estable.
Hay otro medio ideado por Liapunov (en su tesis doctoral de 1892),
para saber si un punto singular es estable.
PP
Si tenemos un campo lineal L = ( aij xj )i , es decir Lx = Ax,
para A = (aij ) y consideramos la norma eucldea que definimos en (5.3)
de la pag.229, entonces la funcion
r = min{`(x) : kx pk = },
Vp = {x B(p, ) : `(x) < r}.
(5.4) `(p0 ) > `[X(s, X(tn , q))] = `[X(s + tn , q)] = `[Xq (s + tn )].
Por ultimo podemos utilizar este tipo de funciones para detectar pun-
tos de equilibrio inestables.
algun t. Podemos suponer que Xq (t) B[p, r] para todo t (0, ), con
I(q) = (, ), pues en caso contrario Xq (t) deja a Up en algun instante
y ya habramos terminado. Entonces = .
Ahora tenemos dos posibilidades:
Existe un 0 < < r, tal que para 0 t <
Xq (t) K = {x U : kx pk r},
entonces como p
/ K, tendremos que
= min{D`(x) : x K} > 0,
y para t [0, )
5.5 Aplicaciones
y 0 (t) = cy(t),
x0 = ax bxy,
y 0 = cy + exy,
C = {(x, y) R2 : x 0, y 0},
pues son las unicas que tiene sentido interpretar en nuestro problema.
Los puntos de equilibrio de estas ecuaciones en C, son
c a
p1 = 0 , p 2 = , ,
e b
de las cuales p1 representa la desaparicion de ambas especies, mientras
que p2 representa la coexistencia de ambas especies sin modificarse el
numero de sus individuos.
Estudiemos la estabilidad de p1 y de p2 .
Las linealizaciones del sistema en p1 y p2 son respectivamente
a 0 0 bc/e
X0 = X, X0 = X,
0 c ea/b 0
5.5. Aplicaciones 239
para a, b, c, e, , > 0.
En este caso hay cuatro puntos de equilibrio, en los que tres repre-
sentan la situacion de que una de las poblaciones no tiene individuos y
la cuarta es la correspondiente al punto p interseccion de las rectas
a x by = 0,
c y + ex = 0,
que esta en C y es distinto de los otros tres si y solo si c/ < a/b.
X 0 = Z,
F
Z0 = ,
m
correspondiente al campo
F1 F2 F3
D = z1 + z2 + z3 + + + .
x1 x2 x3 m z1 m z2 m z3
Ahora es facil encontrar una integral primera de D, pues tenemos la
1forma incidente exacta
3
mv 2
X U
dxi + mzi dzi = d U + ,
i=1
xi 2
p
para v = z12 + z22 + z32 ,
entonces
<Xq0 (t), Xq (t)> <AXq (t), Xq (t)>
2a g 0 (t) = 2 =2 2b,
<Xq (t), Xq (t)> <Xq (t), Xq (t)>
k Xq (t) k= eg(t)/2 .
F :RS E {0},
(t, p) X(t, p)
es un homeomorfismo.
X(tn , qn ), X(t, q) S,
entonces tn t.
Que tn esta acotada se sigue del lema, y si r es un punto lmite de
tn , entonces por la continuidad de X, X(r, q) S y r = t.
5.6. Clasificacion topol. de las ED lineales 245
F
R S E
Ft y
X
y t
F
RS E
F (Ei ) = X (Di ) = Di ,
Figura 5.2.
246 Tema 5. Estabilidad
h Xs = Ys h,
k h(xn ) k= etn ,
etn b k xn k etn a ,
E = E1 E2 , A : E1 E1 , A : E2 E2 ,
h etA = h Xt = Yt h = etB h,
248 Tema 5. Estabilidad
X 0 = AX X10 = A1 X1 , X20 = A2 X2 ,
con x E1 e y E2 , a X 0 = JX.
5.7. Teorema de resonancia de Poincare 249
.
x
Nos falta dar una clasificacion en un entorno de un punto singular,
es decir en el que se anulen.
Para campos lineales que siempre se anulan en el origen hemos
visto que la clasificacion lineal y la diferenciable eran la misma y consista
en que dos campos eran equivalentes si y solo si las matrices que definen
sus ecuaciones en un sistema de coordenadas lineales eran semejantes.
En la leccion anterior acabamos de hacer la clasificacion desde un
punto de vista topologico, de los campos lineales para los que el origen
es un punto singular de tipo hiperbolico los autovalores de la aplicacion
lineal que define el campo tienen parte real no nula.
La cuestion es que podemos decir para un campo general en un
punto singular hiperbolico?.
La teora de Poincare, de las formas normales de un campo, nos
da en el caso de autovalores que no estan en resonancia, un sistema
de coordenadas en un entorno de un punto singular, en las que nues-
tro campo se hace tan proximo a su linealizacion en el punto como
queramos, en el sentido de que las componentes del campo y las de su
linealizacion difieren en una funcion cuyo desarrollo de Taylor es nulo
hasta el orden que queramos.
Sea L D(E) lineal, tal que la aplicacion lineal que define es diago-
nalizable, por tanto existe un sistema de coordenadas xi en el que
n
X
Lxi = i xi , L= i xi ,
i=1
xi
P
con mi 0 y mi = m.
Pcada f Pm ,
Ejercicio 5.7.1 Demostrar que en los terminos anteriores para
Lf Pm , que L : Pm Pm es diagonal y tiene autovalores mi i , corres-
pondientes a los autovectores xm
1
1
xmn
n .
Xn
L(xm
1
1
xmn
n ) = xm1
1 xmn
n ( mj j ),
j=1
se tiene que
mn
LL H = L(xm1 mn
1 xn ) xm
1 xn [
1
, L]
xi xi
n
mn mn
X
=( mj j )xm
1 xn
1
i xm
1 xn
1
j=1
x i xi
Xn
=( mj j i )H.
j=1
i {1, . . . , n}, m1 , . . . , mn N,
LL : D(Pm ) D(Pm ),
siendo [L, H]hi y Gui de orden inferior a kuk2 . Ahora considerando las
coordenadas ui como lineales volvemos a repetir el razonamiento para
eliminar los terminos de grado 3 y as sucesivamente.
La cuestion de si un campo con un punto singular hiperbolico es
equivalente a su linealizado es bastante difcil. No obstante se sabe lo
siguiente:
Cuando todos los autovalores tienen parte real con el mismo signo
y no estan en resonancia, Poincare demostro en 1879 que si D =
5.7. Teorema de resonancia de Poincare 253
P
fi xi , con las fi analticas, el campo es analticamente equivalente
(localmente) a su linealizado.
Cuando tiene autovalores de los dos signos, la equivalencia analtica
depende de que los autovalores satisfagan condiciones diofanticas y fue
resuelto por Siegel en 1952.
La equivalencia diferenciable (de clase ) fue resuelta por Stern-
berg en 1958, tambien bajo condiciones de no resonancia de los auto-
valores. Por otra parte Hartman y Grobman probaron, independien-
temente en 1959, que el campo siempre es topologicamente equivalente
(localmente) a su linealizacion. Y si las fi son de clase 2, Hartman
probo en 1960 que el campo siempre es diferenciablemente equivalente
(de clase 1) a su linealizacion, y aunque las fi sean polinomicas no pode-
mos asegurar que sea diferenciablemente equivalente de clase 2, a menos
que los autovalores no esten en resonancia, como pone de manifiesto el
siguiente ejemplo.
x2 (y x) + y 5 y 2 (y 2x)
+ 2 ,
(x2 + y )(1 + (x + y ) ) x (x + y )(1 + (x2 + y 2 )2 ) y
2 2 2 2 2
Xt (P ) P.
X(tn , q) x.
Ejercicio 5.8.1 Consideremos las ecuaciones del pendulo con rozamiento (a >
0), es decir: x0 = v, v 0 = av sen x; y demostrar que para cada k < 2 y
`(x, v) = v 2 /2 + 1 cos x, el compacto
K = {(x, v) : |x| , `(x, v) k},
esta en la cuenca del punto p = (0, 0).
Consideremos el campo
D = [y + x(1 x2 y 2 )] + [x + y(1 x2 y 2 )] ,
x y
en coordenadas polares (, ) tenemos que
D= + (1 2 ) ,
cuyas soluciones son (haciendo el cambio z = 2 , y tomando (0) = 0)
cos t
x(t) =
(t) = t
1 + k e2t
1
(t) = sen t
y(t) =
1 + k e2t
1 + k e2t
258 Tema 5. Estabilidad
Xp (t) = Xp (t + T ).
Xp (r) = Xp (r + T ).
H = {z E : h(z) = h(x)},
Ejercicio 5.9.2 Demostrar que por todo punto no singular de D pasa una
seccion local y que esta seccion es cortada por cada orbita de un lado al
otro del hiperplano y que todas las orbitas lo hacen en el mismo sentido,
entendiendo que un hiperplano divide el espacio en dos regiones A y B, de
este modo hay dos posibles sentidos de atravesarlo, de A a B o de B a A.
en contra de la definicion.
b) Aplicando (5.25) a r = 0 y x = p, tenemos que existe V entorno de
p y t : V R diferenciable tales que t(p) = 0 y X[t(z), z] S para todo
z V . Ahora como p q , existe rn , tal que pn = Xq (rn ) p,
y por tanto salvo para un numero finito de ns, pn V y X[t(pn ), pn ] =
Xq [t(pn ) + rn ] S. Ademas Xq [t(pn ) + rn ] p.
Por ultimo se sigue de (a) que
es a lo sumo numerable.
XT : Tx (E) Tx (E),
pues zn = 0.
Ahora bien XT es un difeomorfismo y XT : Tx (E) Tx (E) es un
isomorfismo, que tiene un autovalor = 1, pues
XT Dx = DX(T,x) = Dx ,
Definicion.
Sea D D(U ) y p U . Diremos
que la orbita de p se aproxima a una
orbita cclica en x , si [0, )
I(p) y para cada S seccion local de
D en x existe Ux entorno abierto de
x en U , una aplicacion diferenciable
t : Ux R, un t0 > 0 y un entorno
abierto Sx de x en S tales que:
i.- t(x) = T , el perodo de .
Figura 5.5. La orbita de p se aproxima
ii.- p1 = X[t0 , p] Sx . a en x
iii.- pn+1 = X[t(pn ), pn ] Sx .
iv.- pn x.
Diremos que la orbita de p se aproxima a si lo hace en todo punto
x . Diremos que la orbita cclica es asintoticamente estable si
existe un entorno U () de , tal que para todo p U (), la orbita de p
se aproxima a .
1
(t) = (cos t, sen t),
1 + k e2t
: (0, ) (0, ),
5.10. Estabilidad de orbitas cclicas 263
es tal que
(0) = (x, 0), (2) = ((x), 0),
de donde se sigue que
1 1
x= k= 1
1+k x2
1
(x) = q
1
1+ x2 1 e4
X[t(z), z] Sx .
Demostracion.
En los terminos de (5.27) po-
demos tomar, como consecuencia de
(5.29), Sx = S1x , tal que (Sx )
Sx , para cada z Sx , n (z) x
y para cada z Ux , X[t(z), z]
Sx . Que [0, ) I(z) se sigue de
que para z1 = X[t(z), z], zn+1 =
Figura 5.6. Aplicacion de Poincare
X[t(zn ), zn ] = X(sn , z), siendo
y sn , pues t(zn ) T .
{ C : || < 1},
tz : V z R , tx : Vx R,
5.10. Estabilidad de orbitas cclicas 265
X(r, pn ) X(r, z) ,
X(r, pn ) = X(r + sn , p) V,
siendo
tn+1 tn T.
xn = X[t(xn ), x] ,
x S p S q ,
5.11. El Teorema de PoincareBendixson 269
K = {(x, y) : 1 x2 + 2y 2 4},
y en el se quedan, pues para
tenemos que
para t 0.
Utilizaremos el siguiente resultado, aunque no daremos su demostra-
cion.
d(z, q ) < .
272 Tema 5. Estabilidad
Si ahora consideramos
= d[Cn , q ],
se tiene que
Teorema 5.43 Condicion necesaria y suficiente para que una orbita cclica
de D D(R2 ) sea estable es que tanto para su interior A como para
su exterior B se cumpla una de las situaciones:
a) Existe q A (resp. q B), tal que Xq (t) , cuando t .
b) Existen orbitas cclicas en A (resp. en B), tan proximas a como
queramos.
Demostracion. Si lo que tenemos es (a) es consecuencia del
resultado anterior. Si lo que tenemos es (b) observamos que si p esta
entre dos orbitas cclicas, entonces Xp (t) se mantiene entre ellas y por
tanto proxima a .
Si es estable y para un > 0 no existen puntos singulares de
D, ni orbitas cclicas que disten de menos de , entonces como existe
un > 0 tal que para p verificando d(p, ) < , se tiene d[Xp (t), ] < /2,
tendramos por el Teorema de PoincareBendixson que p es una orbita
cclica de D que dista de menos de , por tanto p = , y tenemos (a).
5.12. Estabilidad de orbitas en el plano 273
Ejercicios resueltos
Indicacion.- Demostrar que el campo tiene orbitas circulares de radio tan pe-
queno como queramos.
x0 = v,
v 0 = av sen x,
Ejercicio 5.9.2.- Demostrar que por todo punto no singular de D pasa una
seccion local y que esta seccion es cortada por cada orbita de un lado al otro del
5.12. Estabilidad de orbitas en el plano 275
lo cual significa que todos los vectores Dz , atraviesan H en el mismo sentido, que es
el del vector de componentes (a1 , . . . , an ).
tn+1 tn T.
Bibliografa y comentarios
sin embargo, aunque la prueba que dio era correcta en el caso en que
el potencial fuera cuadratico, supuso erroneamente que para potenciales
analticos, los terminos (de la serie) de orden mayor que 2, eran despre-
ciables.
En 1838 Poisson trato en vano de corregir este error suponiendo que
cada termino de segundo orden era mayor que la suma de los terminos
de orden mas alto.
Estos dos hechos historicos los menciona
LejeuneDirichlet, G.: Uber die stabilitat des Gleichgewichts. 1846.
Ecuaciones en derivadas
parciales
279
Tema 6
Sistemas de Pfaff
6.1 Introduccion
x =< Dx >,
281
282 Tema 6. Sistemas de Pfaff
f
(x, y) = F (x, y, f (x, y)),
x
(6.1)
f
(x, y) = G(x, y, f (x, y)),
y
f f
= dz F dx Gdy = dz dx dy = dH,
x y
siendo
p = dp z F (p)dp x G(p)dp y
h h h
dp h = (p)dp x + (p)dp y + (p)dp z
x y z
h
(p) 6= 0,
z
S 0 = {q V R : H(q) = 0} S,
= dz F dx Gdy,
f f
dH = dz dx dy,
x y
[D1 , D2 ] = f1 D1 + f2 D2 ,
2f
.
xy
6.2. Sistemas de Pfaff y Distribuciones 285
x V Px ,
P(V ) = { (V ) : x Px , x V }.
Ejercicio 6.2.1 Sean P(V ) los modulos que define un sistema de Pfaff Px en
V. Demostrar:
a) Los P(V ) son haz de modulos.
b) Para cada x V y cada abierto V tal que x V ,
es decir
P(U ) = f1 1 + + fr r ,
con f1 , . . . , fr C (U ). Ademas para cada x V existe un abierto Ux
entorno de x en V en el que P(Ux ) es sumando directo de (Ux ).
fi = Ti () C (Ux ).
Nota 6.2 Las dos propiedades del resultado anterior son las que carac-
terizan el que un haz de submodulos de las 1formas sea el haz asociado
a un sistema de Pfaff. Lo cual a su vez equivale a que el haz de modulos
cociente, /P sea localmente libre.
6.2.2 Distribuciones.
Definicion. Llamaremos distribucion en V a una aplicacion
x V x ,
S v S 0 , (v) = 0
1 r = 0
T = 0 T r [S].
Demostracion. (2)
(V )0 (V ) y D (V ), D = 0
(V ) y x V, Dx x , x Dx = 0
(V ) y x V, x 0x = Px
P(V ),
para lo que basta saber (ver el ejercicio 6.2.3), que para todo Dx x
existe D (V ) que en x define Dx .
6.3. El sistema caracterstico 289
Ejercicio 6.3.2 Hallar el sistema caracterstico del sistema de Pfaff P =< >,
para las 1formas de R3
= zdx + dy, = xdx + ydy + zdz.
DL P P DL
[P] = {D : DL }.
Xt X(t,x) x
(DL )x = lim Px ,
t0 t
ya que es un lmite, que existe, de puntos de un subespacio vectorial,
Px , el cual es un cerrado del espacio vectorial.
Lo haremos en dos partes:
(a) Supongamos que el rango de P es 1. Entonces para cada x V
existe un entorno en el que P es libre generado por una 1 . Ahora
en ese entorno tendremos por la hipotesis que DL 1 = g1 , y de esto se
sigue que para cada x V existe un entorno Ux y una (Ux ) tal
que para cada p Ux p genera Pp y en Ux DL = 0. Para ello basta
encontrar una f 6= 0 tal que para = f 1
Ejercicio 6.3.3 Demostrar que para cada campo tangente D, con grupo uni-
parametrico X y una distribucion
DL Xt x = X(t,x) , (t, x) WD .
Tx (S) x , 1
i = 0, P = 0 .
DF (V ) = {D D(V ) : F Dx = 0, x V },
P(V ) x V, ( )x Px
x V, (x) P(x)
0
0
x V, (x) P(x)
P 0 (U ),
DL (F ) = F (E L ).
y la seccion suya
: U V,
q = (x1 , . . . , xm ) (q) = (x1 , . . . , xm , 0, . . . , 0),
Figura 6.5.
por tanto
Xm m
X
0 = j dz vj = j dq xj j = 0,
j=1 j=1
Nota 6.17 Sin duda el lector tendra la impresion de que para aplicar el
teorema de la proyeccion sea necesario conocer de antemano la proyec-
cion. Pero esto no es as, en el ejercicio siguiente veremos como se puede
utilizar este resultado y como puede construirsede hecho la proyeccion,
conociendo exclusivamente el sistema de Pfaff.
= u2 du1 + du3 .
D D D [P]
P 0 , (1 )D = 0 , DL (1 ) P
P 0 , E = 0 , 1 (E L ) P
P 0 , E = 0 , EL P 0
E [P 0 ],
(Vx ) =< ,..., >,
v1 vr
Tz (S) = z .
[D1 , D2 ] i [D1 , D2 ] = 0
i [E1 , E2 ] = 0
[E1 , E2 ] 0 .
D =< > = [P],
vn
satisface el enunciado.
Recprocamente, tenemos que demostrar que es totalmente inte-
grable o por el teorema de Frobenius que es involutiva. Es decir que si
D1 , D2 , entonces [D1 , D2 ] , para lo cual basta demostrar que
para cada x V, [D1 , D2 ]x x .
Por hipotesis existe una subvariedad S tal que x S y para la inclu-
sion i : S , V, i [Tz (S)] = z , para cada z S. Pero entonces existen
unicos E1z , E2z Tz (S), tales que i E1z = D1z e i E2z = D2z y se
demuestra facilmente que E1 , E2 D(S), pues cada funcion g Cz (S)
localmente es g = i f , para f Cz (V) y
Tz (S 0 ) = z =< z, . . . , z >,
v1 vr
i : S , V,
Tx (S) = x ,
di 1 . . . r = 0, i = 1, . . . , r.
iii) Para todo x V existe un entorno Vx tal que para toda P(Vx )
existen i P(Vx ) y i (Vx ) tales que
X
d = i i .
6.5. El Teorema de Frobenius 305
Ejercicios
Ejercicio 6.5.1 Comprobar si los sistemas de Pfaff, generados por las siguientes
unoformas en abiertos de R4 , son totalmente integrables:
a) xyzdu, b) [2x + y]dx + xdy + u2 dz + 2uzdu, c) xydz + zdu.
= P dx + Qdy + Rdz,
cuya integral primera sera una funcion h(x, y). Entonces como
S {z = 1} = {(x, y, 1) : h(x, y) = as }
= {(x, y, 1) : (x, y, 1) = ks (y)},
(x, y, z) G(a, y) = 0,
H(x, y, z) = a,
d = 0 gu1 = fu2 d = 0,
y es exacta, en cuyo caso existe una funcion h tal que dh = f du1 +gdu2 ,
y las soluciones son h + u3 = cte, pues = d(h + u3 ).
con el subespacio
H R H R clase
dx < y , z > < x , y , z > < y , z > 1
ydx < y , z > < z > < z > 2
dz + ydx < y , x y z > < z > {0} 3
para gij = gi /xj gj /xi , lo cual equivale a que las hi (p) satisfagan
el sistema
g1 (p) gn (p) h1 (p) 0
g11 (p) g1n (p) h2 (p) 0
.. .. = ..
.. ..
. . . . .
gn1 (p) gnn (p) hn (p) 0
Ahora bien dim p () = n m = r por tanto la matriz A(p) de este
sistema tiene un menor no nulo de orden m, y ese menor sera no nulo
en todo un entorno UP
p de p. Por tanto podemos encontrar funciones hi
en Up tales que D = hi xi D(Up ) satisface
D = 0 , iD d = 0 D = 0 , DL = 0,
D D D, x V, Dx x
D D, D = 0, iD d = 0
D D, D = 0, DL = 0,
x Dx = y (Dx ) = y Ey = 0
iDx dx = iDx dx ( ) = iDx (dy ) = 0,
rad G = {x E : G(x, y) = 0, y E} =
6 {0}.
Demostracion.
P Consideremos el sistema de Pfaff P generado por
una = gi dxi en un P
entorno de x. Basta demostrar que en algun
entorno de x existe D = hi xi y alguna funcion h tal que
( ( (
D = 0 D = 0 D = 0
L
D = h iD d = h iD d(xi ) = hgi
(P
hj gj = 0
P
hj d(xj , xi ) = hgi ,
x Tx = 0, iTx dx = ax ,
es proporcional a Dx .
= dz + z1 dx1 + + zk dxk .
= z1 dx1 + + zk dxk .
rad dp {p = 0} = p () = {0},
= f dx = dz,
= z1 ( ),
x Tx = z1 [ y (Tx )] = z1 (y Ey ) = 0,
iTx dx = iTx dx (z1 )
= iTx [dx z1 y + z1 (x) dy ]
= (Tx z1 ) y = (Tx z1 )z1 (x)1 x ,
= z1 dx1 + + zk dxk ,
u1 , . . . , u2k , z C (Up ),
(D) = 1 y iD d = 0,
X: I R V
Nota 6.33 Pero antes de esto daremos algunos terminos que utilizare-
mos en la exposicion:
A los puntos de V los llamamos estados del sistema.
A Q la llamamos 1forma de calor .
A W la llamamos 1forma de trabajo.
A P lo llamamos sistema de Pfaff de la temperatura.
A las subvariedades n1dimensionales tangentes al P, las llamamos
haz de isotermas.
A cualquier C (U ), con U abierto de V, tal que P(U ) =< d >,
la llamamos funcion temperatura.
A cada curva en V la llamamos transformacion termodinamica.
Si X es un ciclo, llamaremos
R R calor y trabajo realizado a lo largo del ciclo,
respectivamente a Q e W . R
En un ciclo diremos que se produce trabajo si W < 0.
Definicion. Dada una transformacion termodinamica X, diremos que
en un instante t I, se gana calor si Q TX(t) > 0, y que se pierde
calor si Q TX(t) < 0. Denotaremos las colecciones de estos instantes
+
respectivamente por IQ e IQ .
P
pues X ( t )= xi ( u i
). La diferenciabilidad de U se sigue.
Lema 6.35 dU = Q + W .
Demostracion. Llamemos por comodidad = Q + W . Por la
observacion basta demostrar que para cada p V, dp U = p , donde U es
la funcion energa que se anula en p. Sea Dp Tp (V), bastara demostrar
que
Dp U = p Dp ,
P un entorno coordenado de p, en el que Dp = u1 y u(p) = 0.
Tomemos
Si = fi (u1 , , un )dui , entonces p Dp = f1 (0) y por (6.34)
U (r, 0, . . . , 0)
Dp U = lim
r
1 1
Z
= lim f1 (tr, 0, . . . , 0)r dt
r 0
1 r
Z
= lim f1 (s, 0, . . . , 0)ds = f1 (0).
r 0
Q = dU W = Up dp + (Uv + p)dv.
(t) = t t t t (z),
Definamos entonces el ciclo X : [0, 5r] V, tal que para cada t [0, r]
por tanto
lim Q TX(t) = Q [D1 , D2 ]z > 0,
t5r
(V, Q , W , P),
(, v2 , . . . , vn , , w2 , . . . , wn ),
R R
para T = exp{ r()d} y S = k(u) du. Ahora si dQ = dT dS 6= 0 en
todo V, tendremos que si Q = T 0 dS 0 , con T 0 otra funcion temperatura
y por tanto T 0 = (T ), entonces extendiendo S, T a un sistema de
coordenadas, tendremos que
y por tanto
f C (V ) f|U C (U ).
f C (H(U )) f H C (U ).
f C (V ) F (f ) = f F C (f 1 (V )).
Dx : Cx R,
D : C (U ) C (U ),
F : X Y,
F : CF(x) Cx , F (f ) = f F,
F : Tx (X ) TF (x) (Y),
F : X F (X ),
(x1 , . . . , xk , 0 . . . , 0).
330 Tema 6. Sistemas de Pfaff
S Vp = {x Vp : uj (x) = 0, j = 1, . . . , k}.
F 1 (q) Vp = {x Vp : F (x) = q}
= {x Vp : vj (F (x)) = vj (q), j k}
= {x Vp : uj (x) = vj (q), j k}.
F (f ) = F [G (g)] = H (g),
pero por otra parte wi [H(U )] es conexo, por ser imagen continua de un
conexo, por lo que debe ser constante y como x U , wi [H(U )] = 0, es
decir que
Xi = gi1 D1 + + gir Dr = + ci,r+1 + + ci,n .
xi xr+1 xn
[Xi , Xj ] = 1 X1 + + r Xr
= 1 + + r + r+1 + + n ,
x1 xr xr+1 xn
< X1 , . . . , Xr1 >=< ,..., >,
v1 vr1
fj
= 0,
vi
Xr = f1 + + fr1 + Y,
v1 vr1
tendremos que
(Ux ) =< X1 , . . . , Xr >=< ,..., , Y >,
v1 vr1
6.9. Apendice: El Teorema de Frobenius 337
u1 = v1 , . . . , ur1 = vr1 , ur , . . . , un ,
Ejercicios resueltos
Ejercicio 6.2.1.- Sean P(V ) los modulos que define un sistema de Pfaff Px
en V. Demostrar:
1. Los P(V ) son haz de modulos.
2. Para cada x V y cada abierto V tal que x V U ,
y para cada superficie solucion S existe una constante k(y, S) tal que la superficie
viene definida por la ecuacion
x(z + y 2 )
= k(y, S),
z(x + y)
que en x = 1 es la curva
z + y2
= k(y, S).
z(1 + y)
Ahora consideramos x = 1 y resolvemos la ecuacion
dy dz
z(z + 1)dy y(1 + y)dz = 0 = 0,
y(1 + y) z(z + 1)
la cual tiene solucion
y z y(z + 1)
log log = cte = as ,
y+1 z+1 z(y + 1)
ahora esta curva debe coincidir con
z + y2
= k(y, S).
z(1 + y)
y despejando en la primera la z = y/(as (y + 1) y) se obtiene que
k(y, S) = 1 + y(as 1) = 1 + ybs ,
luego las superficies solucion son para cada constante b R
x(z + y 2 )
= 1 + yb.
z(x + y)
rad G = {x E : G(x, y) = 0, y E} =
6 {0}.
Bibliografa y comentarios
Ecuaciones en derivadas
parciales de primer orden
(x1 , . . . , xn , z, z1 , . . . , zn ),
345
346 Tema 7. Ecuaciones en derivadas parciales de primer orden
z z
(7.1) F (x1 , . . . , xn , z, ,..., ) = 0,
x1 xn
{z = g(x)} {h = 0} = Sp ,
funciones lineales del espacio tangente y dx2 es el cuadrado de la funcion lineal, por
tanto la expresion de la izquierda en cada punto es un polinomio.
348 Tema 7. Ecuaciones en derivadas parciales de primer orden
fx (x0 , y0 ) y fy (x0 , y0 ),
(x x0 )p + (y y0 )q = z z0 ,
F (x0 , y0 , z0 , p, q) = 0,
F (x0 , y0 , z0 , p, q) = 0,
(x x0 )p(t) + (y y0 )q(t) = z z0 ,
(x x0 )p(t) + (y y0 )q(t) = z z0 ,
(x x0 )p0 (t) + (y y0 )q 0 (t) = 0.
(x x0 )p0 + (y y0 )q0 = z z0 ,
Figura 7.2. Conos de Monge
que es el tangente a la grafica de f en
(x0 , y0 , z0 ), es uno de la familia y por tanto (como vemos en el siguiente
ejercicio) tangente al cono de Monge.
Dx = Fp , Dy = Fq , Dz = p0 Fp +q0 Fq ,
Dx = Fp ,
Dy = Fq ,
Dz = p0 Fp + q0 Fq ,
Dp = D(fx ) = fxx Dx + fxy Dy = fxx Fp + fxy Fq
= (Fx + p0 Fz ),
Dq = D(fy ) = fyx Dx + fyy Dy = fyx Fp + fyy Fq
= (Fy + q0 Fz ),
en {F = 0} se proyecta en el campo de R3
D = f1 + f2 + f3 .
x y z
352 Tema 7. Ecuaciones en derivadas parciales de primer orden
t (x, t) + gx (x, t) = 0,
g = (1 ),
t + (1 2)x = 0,
D= + (1 2) ,
t x
y tiene integrales primeras u1 = y u2 = t(2 1) + x y si buscamos
la solucion que en t = 0 valga = f (x), es decir u1 = f (u2 ), basta
considerar la integral primera de D, h = u1 f (u2 ). Ahora h = 0
sii = f (x + t(2 1)) la cual es una superficie reglada, pues para
u2 = x0 , u1 = f (x0 ) = 0 , es decir contiene a los puntos de la recta
(x, t, 0 ), para x + t(20 1) = x0 ; y se puede despejar como funcion
de (x, t) si h 6= 0, es decir si
Pn (t)(1 n o()).
zt + (x 1)zx = (x 1)z,
Pn (0)xn = g(x),
P
y si buscamos la solucion que satisface z(0, x) =
consideramos el campo en las coordenadas (t, x, z)
D= + (x 1) + (x 1)z ,
t x z
y dos integrales primeras
u1 = (x 1) et , u2 = z e(/)x ,
y como en t = 0
x = 1 + u1 , z = u2 e(/)(1+u1 ) ,
u2 e(/)(1+u1 ) = g(1 + u1 )
z = exp{(/)(1 u1 + x)}g[1 + (x 1) et ]
t t
z = exp{(/)(x 1)(1 e )}g[1 + (x 1) e ].
Pn0 = Pn + Pn1 ,
zt = z + xz = (x 1)z,
por tanto
zt = x2 zx ( + )xzx + zx ,
la solucion es,
m m
e()t (x ) + (1 x)
u2
z= = ,
u2 e()t (x ) + (1 x)
y la esperanza E(t) = m.
v0 = z f (x1 , . . . , xn ),
f
v1 = z1 (x1 , . . . , xn ),
x1
(7.3) ..
.
f
vn = zn (x1 , . . . , xn ),
xn
forman, junto con x1 , . . . , xn , un sistemas de coordenadas en U2n+1 , por
tanto f define la subvariedad ndimensional de U2n+1
Sn (f ) = {v0 = 0, v1 = 0 . . . , vn = 0}
f f
= {z = f (x), z1 = (x), . . . , zn = (x)}.
x1 xn
que es difeomorfa, por n+1 , a la subvariedad {z = f (x)} de Rn+1 , pues
ambas tienen coordenadas (x1 , . . . , xn ).
Esta subvariedad ndimensional tiene las siguientes propiedades:
i) Tiene coordenadas (x1 , . . . , xn ).
ii) Restringiendonos a ella tenemos que (como z = f (x1 , . . . , xn ))
n
X n
X
dz = fxi dxi = zi dxi ,
i=1 i=1
i = 0.
F [Sn (f )] = 0,
Proposicion 7.5 (i) El sistema caracterstico de < dF, > esta generado
por el campo
n n
! n
X X X
D= Fzi + zi Fzi (zi Fz + Fxi ) .
i=1
xi i=1
z i=1 zi
E = 0, E L = h E = 0, iE d = h,
rad dp {p = 0} = {0},
(1) Fz (p) 6= 0
/ Tp (F) rad dp = {0},
z
(2) Fz (p) = 0 Tp (F) dim(rad dp ) = 2.
z
rad dp 6= {0} Tp (F) dim(rad dp ) = 2,
z
pues como la ultima implica la primera seran equivalentes. Veamos la
primera: Si el radical tiene un elemento T Tp (F), entonces
(1)
/ Tp (F) rad dp = {0} dim Tp (S) n,
z
(2) Tp (F) dim rad dp = 2
z
dim (Tp (S)<z >) n + 1
dim Tp (S) n.
Sk1 Sk F.
X : R U2n+1 U2n+1 ,
lo cual se sigue de los diagramas conmutativos, para it (p) = ip (t) = (t, p),
ip i
t
R
R Sk1 Sk1
R Sk1
iy yH iy yH
Xp X
t
R U2n+1 U2n+1 U2n+1
y como en p, D y las ti para i = 2, . . . , k son independientes, tendremos
que H es inmersion local en todo x V y Sk = H(V) es una subvariedad
inmersa. Por ultimo se tiene que para Di = H (ti ) y q = H(t, p)
H
W (R Sn1 ) S
iy yi
H
R Sn1 R2n+1
H[(, ) Vx ] = X[(, ) Vx ] Sn ,
por tanto el mismo razonamiento con otra solucion S 0 nos da, encogiendo
el y el Vx si es necesario que X[(, )Vx ] es abierto de S y abierto de
S 0 , por tanto de la forma Ux S = Ux S 0 , para un abierto Ux R2n+1 .
(7.4) F (x, y, z, zx , zy ) = 0.
1.- F [(t)] = 0.
2.- z 0 (t) = p(t)x0 (t) + q(t)y 0 (t).
3.- Fq x0 6= Fp y 0 .
Entonces para cada s I existe un abierto U R2 , entorno de
p = (x(s), y(s)) y una funcion f C (U ) solucion de la EDP (7.4) y
tal que para los t I con (x(t), y(t)) U
z(t) = f [x(t), y(t)], p(t) = fx [x(t), y(t)], q(t) = fy [x(t), y(t)].
Ademas f es unica en el sentido de que dada otra solucion g satisfaciendo
lo mismo en un entorno de s, coincide con f en un entorno de p del
plano.
zy = h(x, y, z, zx ),
este en las condiciones del Corolario (7.14), pag.368, es decir que sea
solucion. Lo cual significa despejar p(t) y q(t) en el sistema
F [x(t), y(t), z(t), p(t), q(t)] = 0, z 0 (t) = p(t)x0 (t) + q(t)y 0 (t),
que puede tener mas de una solucion. Una vez definidas y si para ellas
Fq x0 6= Fp y 0 , tendremos que existe una unica solucion S2 que la contiene
y por (7.14) sabemos que esta formada por las curvas integrales de D
que pasan por los puntos de S1 , las cuales a su vez podemos construir
con u1 , u2 , u3 , integrales primeras de D, tales que con u4 = F sean
7.6. Metodos para resolver una EDP 371
Dp = Fx pFz = 0, Dq = Fy qFz = 0.
1 2
z= (zx + zy2 ) + (zx x)(zy y).
2
z = zx zy
|Sa = 0 |Sa = 0,
z = fa (x1 , . . . , xn ),
Ejercicio 7.6.4 Encontrar con este metodo una integral completa de la ecua-
cion
zx2 + zy2 = 1.
xn = 0, z = g(x1 , . . . , xn1 ),
Sn = {H = 0, H1 = 0, . . . , Hn1 = 0, F = 0},
4A esta familia de soluciones tambien la llamamos integral completa de la EDP.
374 Tema 7. Ecuaciones en derivadas parciales de primer orden
g
H = Z g(X1 , . . . , Xn1 ) Hi = Zi (X1 , . . . , Xn1 ),
xi
pues en ella
|Sn = 0 |Sn = 0,
ahora basta proyectar Sn a Rn+1 , por la proyeccion (x1 , . . . , xn , z). Si
ademas esta subvariedad o Sn tiene coordenadas (x1 , . . . , xn ), basta ex-
presar z en ellas para encontrar la solucion clasica.
F (x, y, z, zx , zy ) = 0,
Sa = {F = 0, g = a},
dh|Sa,b = 0 |Sa,b = 0.
7.6. Metodos para resolver una EDP 375
iD (d ) = (iD d) + d (iD ) = 0,
{F = 0, g = a, h = b} {h(x, y, z; a) = b},
Ejercicio 7.6.11 La recta normal a una superficie en cada uno de sus puntos
corta a los planos coordenados x = 0, y = 0 y z = 0, respectivamente en A, B
376 Tema 7. Ecuaciones en derivadas parciales de primer orden
S = {h(x, y, z; ) = 0} R3 ,
h(x, y, z; ) = 0,
h(x, y, z; ) h(x, y, z; + )
= 0, Figura 7.5. Envolvente de S
y cuando 0 la curva tiende a una posicion lmite de ecuacion
h
h(x, y, z; ) = 0 , (x, y, z; ) = 0,
x2 + (y )2 + z 2 = 1,
7.7. Metodo de la envolvente 377
x2 + z 2 = 1,
(x 1 )2 + (y 2 )2 + z 2 = 1,
1 x2 bx
z= g 2 + .
2 a a
Consideremos ahora distintos angulos de disparo, lo cual corresponde a
distintos valores de la pendiente = b/a, en cuyo caso
v2
a2 + (a)2 = v 2 a2 = ,
1 + 2
y la trayectoria parametrizada por x es
g
z + kx2 (1 + 2 ) x = 0, para k = ,
2v 2
si ahora consideramos la envolvente de esta familia de curvas obtenemos
= 1/2kx y
1
z + kx2 = ,
4k
si ahora consideramos el problema tridimensionalmente tendremos que
la envolvente es
1
z + k(x2 + y 2 ) = .
4k
vs2
x2 + y 2 + z 2 = 0,
vs2 va2
7.7. Metodo de la envolvente 379
de eje la recta del avion, que separa la zona donde hay ruido de la que
no lo hay. Podemos estimar la proporcion vs /va , entre las velocidades
del sonido y del avion con el angulo formado por la direccion en la que
pase mas cerca de nosotros, es decir la perpendicular por nosotros a su
trayectoria y la direccion en la que este el avion en el instante en el que
oigamos el ruido, en cuyo caso cos = vs /va .
Si el avion va a una velocidad igual o inferior a la del sonido las
ondas sonoras que va produciendo no se cortan y no hay envolvente.
No obstante podemos tener informacion de la proporcion vs /va , entre
las velocidades, si podemos estimar por una parte el angulo entre la
direccion en la que nos llega el sonido y la direccion en la que en ese
instante esta el avion (que era /2 en el caso anterior) y por otra el
angulo entre esta direccion del avion y la que tenga cuando mas cerca
pase de nosotros. Pues en tal caso se demuestra por el Teorema de los
senos que
vs sen( + /2) cos
= = .
va sen sen
h h
h = 0, = 0, . . . , = 0.
1 k
i = i (x1 , . . . , xn , h1 , . . . , hk )
i|H = i (x1 , . . . , xn , 0, . . . , 0).
7.7. Metodo de la envolvente 381
Nota 7.18 Veamos el mismo resultado sin hacer uso del teorema (7.16),
en condiciones menos generales. Tenemos que para cada = (1 , . . . , k )
la funcion
g (x1 , . . . , xn ) = g(x1 , . . . , xn , 1 , . . . , k ),
es solucion, ahora supongamos que en las k ultimas ecuaciones del siste-
ma
z = g(x1 , . . . , xn , 1 , . . . , k ),
0 = gi (x1 , . . . , xn , 1 , . . . , k ), para i = 1, . . . , k
f (x0 ) = g(x0 ; 0 ),
X j
fxi (x0 ) = gxi (x0 ; 0 ) + gj (x0 ; 0 ) (x0 ) = gxi (x0 ; 0 ).
xi
Nota 7.20 No obstante no debemos esperar que con una integral com-
pleta obtengamos todas las soluciones de una EDP, pues por ejemplo si
nuestra ecuacion esta definida por una F = GH y tenemos una integral
completa de G = 0, tambien la tenemos de F = 0, pero no es esperable
que las soluciones de F = 0, que lo sean de H = 0, las podamos obtener
mediante esa integral completa.
Paso 1.- Obtenemos con los metodos conocidos una integral com-
pleta de nuestra EDP
g(x1 , . . . , xn , z; a1 , . . . , an ) = g a (xi , z),
por tanto tenemos una familia S a = {g a = 0} de soluciones de la EDP.
384 Tema 7. Ecuaciones en derivadas parciales de primer orden
que son soluciones de nuestra EDP y satisfacen que para cada p Sn1 ,
con coordenadas = (p), p S y Tp (Sn1 ) Tp (S ).
Paso 3.- De los resultados anteriores se sigue que si existe la en-
volvente S de S , es una solucion de la EDP que contiene a Sn1 , por
tanto obtenemos la envolvente, es decir consideramos el sistema de n
ecuaciones
h h
h = 0, = 0, . . . , = 0,
1 n1
y eliminamos las i .
Ejercicio 7.7.3 Encontrar con este metodo la solucion de zx2 +zy2 = 1, que pasa
por la curva z = 0, x2 + y 2 = 1.
Ejercicio 7.7.4 Encontrar con este metodo las soluciones de x[zx2 + zy2 ] zzx =
0, que pasan respectivamente por las curvas
( ( (
x=0 x2 = y = z 2 x = z2,
(1) 2
(2) (3)
z = 4y, x > 0, z > 0, y = 0.
Xn
|S = 0 0 = dF|S = [ Fxi dxi + Fz dz]|S =
i=1
n
X
= [ (Fxi + zi Fz )dxi ]|S
i=1
[Fxi + zi Fz ]|S = 0, para i = 1, . . . , n
Dp = 0, para p S.
Nota 7.22 Debemos observar que puede ocurrir que S sea subvariedad
ndimensional, se proyecte en una solucion de la EDP definida por F ,
y sin embargo no sea solucion en el sentido de Lie, pues |S 6= 0, como
por ejemplo para z = x + zx zy ,
S = {F = 0, Fp = 0, Fq = 0}
= {z = x + pq, q = 0, p = 0} = {z = x, p = 0, q = 0},
(x a)2 + (y b)2 + z 2 = 1, x a = 0, y b = 0,
F = 0, Fp = 0, Fq = 0.
Ejemplo 7.7.6 Otro ejemplo lo tenemos con las EDP de Clairaut, (ver
la Nota (7.15), pag.371, que son
con f una funcion del plano, las cuales tienen obviamente las integrales
completas definidas por la familia de planos
z = ax + by + f (a, b),
z = ax + by + f (a, b), x + fa = 0, y + fb = 0,
F = 0, Fp = 0, Fq = 0.
T (U) = {p Tp (U) : p U },
xi (p ) = xi (p), zi (p ) = p (xi ),
2n = ,
7.8. Definicion intrnseca 389
Pn
pues en coordenadas = i=1 dzi dxi y
2n = n! dz1 dx1 dzn dxn .
Definicion. Llamamos volumen de una variedad con borde B V a
Z
vol(B) = 2n .
B
DL = diD + iD d = diD .
[1 , 2 ] = i[D1 ,D2 ] .
7.8. Definicion intrnseca 391
(vii)
F = {F = 0},
entonces podemos reducirla a una del tipo anterior del siguiente modo:
Definimos la funcion
f (x1 , . . . , xn+1 ) = c,
f (x1 , . . . , xn , g(x1 , . . . , xn )) = c,
tendremos que
fxi + fxn+1 gxi = 0,
y por tanto para x = (x1 , . . . , xn )
fx1 fx
G(x, g(x),gx1 (x), . . . , gxn (x)) = G(x, g(x), ,..., n )
fxn+1 fxn+1
= F (x, g(x), fx1 (x, g(x)), . . . , fxn+1 (x, g(x))) = 0.
f g f (p) = g(p), dp f = dp g.
equivalencia de f con Jp1 (f ), podemos definir Jp1 (f ) + Jp1 (g) = Jp1 (f + g),
aJp1 (f ) = Jp1 (af ) y se tiene el isomorfismo canonico7
Jp1 R Tp (U)
Jp1 (f ) (f (p), dp f )
z z
F (x1 , . . . , xn , z, ,..., ) = 0.
x1 xn
f
S = {z = f (x1 , . . . , xn ), zi = , i = 1, . . . , n} {F = 0}.
xi
[D1 , D3 ] = [D2 , D3 ] = 0,
D1 , . . . , Dn D(S a ),
S a = {v1 = a1 , v2 = a2 , . . . , vn = an } {h = a1 },
= (x1 , . . . , xn ; a1 , . . . , an ),
f (x1 , . . . , xn ; a1 , . . . , an , b) = (x1 , . . . , xn ; a1 , a2 , . . . , an ) + b,
Ejercicio 7.9.2 Aplicar el metodo de Jacobi a una EDP del tipo F (ux , uy , uz ) =
0 y encontrar una integral completa de ux + uy + uz = ux uy uz .
Ejercicio 7.9.3 Aplicar el metodo de Jacobi a una EDP del tipo F (x, ux , uz ) =
G(y, uy , uz ) y encontrar una integral completa de
Nota 7.36 En los terminos de la Nota (7.35), veamos que tenemos coor-
denadas simpleticas, para ello consideremos las integrales primeras, v1 =
h, v2 , . . . , vn , de D y supongamos que las (xi , vi ) forman un sistema de
coordenadas, en cuyo caso las xi seran un sistema de coordenadas en
cada subvariedad ndimensional
Sa = {v1 = a1 , . . . , vn = an },
|Sa = da , a = (x1 , . . . , xn ; a1 , . . . , an )
Xn
|Sa = xi (x1 , . . . , xn ; a1 , . . . , an )dxi
i=1
n
X Xn
zi dxi|Sa = xi (x1 , . . . , xn ; a1 , . . . , an )dxi
i=1 i=1
zi|Sa = xi (x1 , . . . , xn ; v1 , . . . , vn )|Sa
zi = xi (x1 , . . . , xn ; v1 , . . . , vn ).
7.9. Teora de HamiltonJacobi 399
Nota 7.39 Se sigue que, en las coordenadas (ui , vi ), la curva integral del
campo D = Dh (h = u1 ) por ejemplo, pasando en t = 0 por el punto de
coordenadas (bi , ai ) es para j, k = 1, . . . , n, y k 6= 1
zi = xi (x1 , . . . , xn ; a1 , . . . , an ),
bk = vk (x1 , . . . , xn ; a1 , . . . , an ), para k 6= 1.
2x1 z1 + 2x2 z2 2x3 z3 z12 z22 + z32 .
x1 x2 x3 z1 z2 z3
400 Tema 7. Ecuaciones en derivadas parciales de primer orden
Si el determinante |ai xj | =
6 0, podemos despejar las ai en el sistema zi =
xi (x, a), vi = ai (x, z) y definir ui = ai (x, v), entonces las funciones
(ui , vi ) son coordenadas simpleticas, siendo v1 = h.
Si el determinante |ai xj | =
6 0, para cada eleccion ai , bi R, las 2n 1
ecuaciones
(x, a) = bi , (i 6= 1), zi = (x, a),
ai xi
definen una solucion de la EDO (7.8), del campo hamiltoniano D de h,
para la que a1 es el tiempo.
Demostracion. Por (7.33) y porque en los terminos anteriores las
curvas son ui = bi , para i 6= 1 y vi = ai .
Para estudiar las curvas integrales de una ecuacion de Hamilton que
dependa del tiempo, remitimos al lector al apendice (7.13), de la pagina
452.
m1 r1 + m2 r2
,
m1 + m2
sigue una linea recta con velocidad cons-
tante, por lo tanto podemos considerar
un sistema de referencia en el que el cen-
tro de gravedad este en el origen, por
tanto m1 r1 + m2 r2 = 0. Ademas hay
una direccion fija dada por el momento
angular de los dos cuerpos respecto de Figura 7.11. Plano del movimiento
su centro de gravedad,
m1
= m1 r1 r10 + m2 r2 r20 = (m1 + m2 )r1 r10 ,
m2
tal que en cada instante ambos cuerpos se encuentran en el plano per-
pendicular a dicha direccion. Como r1 y r2 son proporcionales basta
demostrar que 0 = 0 que es el Principio de la conservacion del mo-
mento angular, y como la fuerza F21 = m1 r100 que actua sobre m1 es
central y es proporcional a r2 r1 , por tanto a r1
m1
0 = (m1 + m2 )r1 r100 = 0,
m2
402 Tema 7. Ecuaciones en derivadas parciales de primer orden
por todo ello podemos considerar un sistema de coordenadas (x, y, z), con
origen en el centro de masas, en el que es proporcional a (0, 0, x0 y +
y 0 x) y las orbitas de ambas masas estan en el plano xy. Ahora bien
si uno de los cuerpos tiene masa M muy grande, entonces el centro de
gravedad de ambos cuerpos estara proximo a M . Esto justifica el que en
una primera aproximacion podamos considerar que M esta en el origen8 ,
en cuyo caso r20 = 0 y
= m1 r1 r10 = m1 (0, 0, x0 y + y 0 x),
es decir el momento angular es el del cuerpo m1 que se mueve descri-
biendo una curva (x(t), y(t)) R2 solucion del sistema de ecuaciones
diferenciales, para c = GM
x0 = z1 = hz1 , z10 = cx/(x2 + y 2 )3/2 = hx ,
y 0 = z2 = hz2 , z20 = cy/(x2 + y 2 )3/2 = hy ,
que es un sistema Hamiltoniano y corresponde a la funcion energa
z12 + z22 c
h= p ,
2 x2 + y 2
lo cual implica en particular el Principio de conservacion de la energa
(observemos que en el plano hemos considerado la metrica eucldea, por
tanto el fibrado tangente que es donde esta definida la trayectoria
solucion se identifica canonicamente con el fibrado cotangente y por
tanto tiene estructura simpletica y campos Hamiltonianos). Ahora para
resolverla consideramos la EDP de HamiltonJacobi asociada
2x + 2y c
=p + a,
2 x2 + y 2
o en coordenadas polares
2
1 c
2 + = + a,
2 2
pues se tiene x = cos , y = sen , lo cual implica
sen
= cos + sen = cos
x y x
cos
= sen + cos = sen +
x y y
8 Para un analisis mas profundo, sin la simplificacion de que m sea el centro de
2
masas, remitimos al lector al Garabedian, pag.51.
7.9. Teora de HamiltonJacobi 403
b2 2eb2 b4
ce sen = +c cex+b2 = c e2 x2 + x+ 2 = x2 +y 2 ,
c c
de ecuaciones
s
sen 2c b2 sen
z1 = x = cos = cos + 2a 2 b
s
cos 2c b2 cos
z2 = y = sen + = sen + 2a 2 + b
lo cual equivale a
s
2c b2
(7.11) + 2a 2 = z1 cos + z2 sen
(7.12) b = z1 sen + z2 cos = z1 y + z2 x
hz1 + hz2 hx hy =
x y z1 z2
cx cy
= z1 + z2 3 3 ,
x y z1 z2
z12 + z22 c
u1 = h = , u2 = z1 y + z2 x,
2
pero tiene una tercera que es cualquiera de las componentes del vector
de RungeLenz (constante a lo largo de las orbitas)
c
T = (x0 , y 0 , 0) + (x, y, 0)
m1
cx cy
= y 0 (xy 0 yx0 ), + x0 (y 0 x yx0 ), 0 = (u3 , u4 , 0),
7.9. Teora de HamiltonJacobi 405
c2 x2 cxz2 u2 c2 y 2 cyz1 u2
u23 + u24 = 2
+ z22 u22 2 + 2 + z12 u22 + 2
2c
= c2 + u22 z12 + z22 = c2 + 2hu22 ,
elipse es el afelio, de apo=lejos de, y helios. La Tierra pasa por su perihelio sobre el
3 de enero y por su afelio sobre el 3 de julio.
10 Pues el revote en la tangente en un punto de una elipse, de un rayo de luz emitido
desde un foco de la elipse pasa por el otro foco (ver el ejercicio (3.7.7), pag.145), por
tanto es perpendicular solo cuando tiene la direccion del segmento que une los dos
focos.
406 Tema 7. Ecuaciones en derivadas parciales de primer orden
E= , F = , G= ,
u u u v v v
la Ecuacion de HamiltonJacobi asociada es
1 G2u 2F u v + E2v
= a1 .
2 EG F 2
x2 y2 z2
+ + = 1,
a b c
el cual admite la parametrizacion si a, b, c > 0
s
a(u a)(v a)
x= ,
(b a)(c a)
s
b(u b)(v b)
y= ,
(a b)(c b)
s
c(u c)(v c)
z= ,
(b c)(a c)
408 Tema 7. Ecuaciones en derivadas parciales de primer orden
1 2u 2v
+ = a1 ,
2 E G
x2 + y 2 + z 2 = 1,
x = cos sen ,
y = sen sen ,
Figura 7.13. Coordenadas esfericas
z = cos ,
7.9. Teora de HamiltonJacobi 409
(k 1 + 2) sen2 2
2 sen cos = sen 2 =
(k 1) sen2
2
2z 2z 2
2xy = 1 z 2 = x2 + y 2 ,
k1 k1
p
y esto tiene dos soluciones, para c = 2/(k 1)
x y cz = 0,
es decir que nuestra geodesica esta sobre un plano que pasa por el origen
y por tanto sobre un crculo maximo de la esfera.
x2 + y 2 = z 2 ,
x = cos , y = sen , z = ,
tendremos que
= cos + sen + ,
x y z
= sen + cos ,
x y
y por tanto
E = 2, F = 0, G = 2 ,
y la ecuacion de HamiltonJacobi correspondiente es
!
1 2 2
+ 2 = a,
2 2
entonces
= sen cos sen sen + cos ,
x y z
= (r + cos ) sen + (r + cos ) cos ,
x y
E = 1, F = 0, G = (r + cos )2 ,
Ejercicio 7.9.6 Encontrar las geodesicas del plano mediante el metodo de Ha-
miltonJacobi. Idem del cilindro.
que unen dos puntos (t0 , x0 ), (t1 , x1 ), tiene mnima longitud? En este
caso el funcional a minimizar es
Z t1 p
I() = 1 + 02 dt.
t0
Que superficie z = f (x, y), entre las que determinan las funciones f
definidas en un abierto que contenga a R R2 y que coinciden con una
funcion dada h en los puntos del borde R, encierra mnima area? En
este caso el funcional a minimizar es
Z Z p Z q
I(f ) = = 2
EG F dx dy = 1 + fx2 + fy2 dxdy,
R R R
para (t) = (xi (t)) y una cierta funcion L de R2n+1 , a la que se llama
Lagrangiana, y que en el caso anterior vale
p
L(t, x, z) = 1 + z 2 .
d
Lx1 [t, (t), 0 (t)] Lz [t, (t), 0 (t)] = 0,
dt 1
... ...
d
Lxn [t, (t), 0 (t)] Lzn [t, (t), 0 (t)] = 0,
dt
Demostracion. Sea una curva cualquiera tal que (a) = (b) = 0.
Entonces para cualquiera de sus componentes gi se tiene, integrando por
partes, que para cualquier funcion h
Z b Z b
h(t)gi0 (t)dt = h(b)gi (b) h(a)gi (a) h0 (t)gi (t)dt
a a
(7.15) Z b
= h0 (t)gi (t)dt,
a
y como la funcion
Z b
G() = I( + ) = L[t, (t) + (t), 0 (t) + 0 (t)]dt,
a
d d
Lx1 Lz = 0, . . . , Lxn Lzn = 0,
dt 1 dt
7.10. Calculo de variaciones 415
d
Lx Lz = 0 Lx Ltz Lxz f 0 Lzz f 00 = 0,
dt
d f 0 (t)
p = 0 f 0 (t) = cte
dt 1 + f 02
x1 x0
f (t) = (t t0 ) + x0 .
t1 t0
d d
Lx1 Lz = 0, . . . , Lxn Lzn = 0,
dt 1 dt
por ejemplo si es extremal para el problema variacional definido por L
y supongamos ademas que nuestra Lagrangiana satisface |Lzi zj | 6= 0, en
estas condiciones se tiene:
Teorema 7.46 Si (t) = (xi (t)) es una curva que satisface las ecuacio-
nes de EulerLagrange, para una Lagrangiana que satisface |Lzi zj | =
6 0,
entonces
por tanto si nos restrinjimos a los puntos (t, (t), 0 (t)), como la curva
satisface las ecuaciones de EulerLagrange y Lzi = pi
ht = Lt ,
hui = Lxi = p0i ,
hpi = zi = x0i = u0i .
A continuacion vemos que la funcion energa h es constante en las
curvas que satisfacen la Ecuacion de EulerLagrange.
Teorema 7.47 Si (t) = (xi (t)) es una curva parametrizada que satis-
face las ecuaciones de EulerLagrange para una lagrangiana L que no
depende de t, es decir que para (t) = (xi (t), x0i (t))
d
Lz () = Lxi (),
dt i
entonces h es constante en .
Demostracion. Como Lt = 0 se tiene que
d d X 0
h() = xi Lzi () L()
dt dt
X X d
= x00i Lzi () + x0i Lzi ()
X X dt
0
Lxi ()xi Lzi ()x00i = 0
la cual toma un valor estacionario, para la curva que satisfaga las ecua-
ciones de EulerLagrange
d
Lz1 Lx1 = 0
mx001 + Vx1 = 0
dt
d
Lz2 Lx2 = 0 mx002 + Vx2 = 0 mx00 = F,
dt
mx003 + Vx3 = 0
d
Lz3 Lx3 = 0
dt
que es la Ecuacion del movimiento de Newton. Esto justifica en par-
te el siguiente resultado conocido como Principio de mnima accion de
Hamilton.
h = p 1 z 1 + p 2 z2 + p 3 z3 L
m 2
= m(z12 + z22 + z32 ) z1 + z22 + z32 + V
2
= T + V,
m 2 1 2
z1 + z22 + z32 + V = p1 + p22 + p23 + V,
h=
2 2m
por lo tanto la Ecuacion de HamiltonJacobi asociada a este problema
es para cada constante E (que es la energa)
1 2
x1 + 2x2 + 2x3 + V = E.
2m
Ejercicio 7.10.1 Demostrar que si una masa se mueve sobre una superficie en
ausencia de fuerzas, las geodesicas minimizan la accion.
1 2
x1 + 2 2
x2 + x3 + V E = 0,
2m
y recordemos que la constante E = h(xi ; xi ), representa la energa total
de la partcula a lo largo de su trayectoria.
En uno de sus primeros trabajos Schrodinger considero esta ecua-
cion y el cambio de variable = K log , con K una constante. En
terminos de esta nueva funcion la Ecuacion de HamiltonJacobi es
K2 2
x1 + x22 + x23 + (V E) 2 = 0,
2m
422 Tema 7. Ecuaciones en derivadas parciales de primer orden
K2
(x1 x1 + x2 x2 + x3 x3 ) + (V E) = 0,
2m
que es la ecuacion de Schrodinger para una partcula, y en la que K = ~.
(Yo tampoco lo entiendo). Volveremos a ver esta EDP en la pag.655,
donde la resolvemos.
Nota 7.50 Recordemos que por definicion un campo Z D[T (V)] define
una ecuacion de segundo orden en V si para la proyeccion : T (V) V
(7.19) ZDp = Dp , para cada Dp T (V),
y esto equivale a que en coordenadas (xi , zi ), Zxi = zi como puede
comprobar facilmente el lector.
lo cual implica (en ambos casos, pues o bien Zxi = zi o (xi , pi = Lzi )
son coordenadas) que
y esto a su vez implica que si (t) = (xi (t), zi (t)) es una curva integral
de Z se tiene que
7.11.2 Ejemplo
En el caso de que tengamos una metrica en nuestra variedad y conside-
remos la energa cinetica como lagrangiana, L(Dx ) = (1/2)Dx Dx , es
decir en coordenadas
n
1X
L[x1 , , xn , z1 , , zn ] = zi zj gij ,
2 i,j=1
x1 , . . . , xn , p1 = Lz1 , . . . , pn = Lzn ,
h = HL L = L,
x = r() cos ,
= r() sen + r() cos ,
x y
y = r() sen ,
z = , = r0 () cos + r0 () sen + ,
x y z
E = r()2 , F = 0, G = r0 ()2 + 1,
Ez12 + Gz22
L= ,
2
y como E = G = F = 0, tendremos dos integrales primeras de Z,
L y Lz1 = Ez1 ,
T = 0 (t) + 0 (t) ,
que forme un angulo con , se tiene el siguiente resultado.
L Ez1
z1 = p ,
2L Ez12 + Gz22
E 0 p T
p = p
0 2 0
E (t) + G (t)2 (T T )( )
= r[(t)] cos .
428 Tema 7. Ecuaciones en derivadas parciales de primer orden
ademas se sigue tambien que la funcion energa en este caso es nula, pues
HL = L. Sin embargo se tiene que el campo geodesico Z tambien es un
campo lagrangiano para L, pues en terminos de la anterior lagrangiana
0 = ZL = L ZL ZL = 0,
Lzi = L Lzi , Lxi = L Lxi ,
ZLzi = Lxi ,
HL(et Dx ) = (L Dx )0 (t),
es decir que para f (t) = L Dx , f 0 (t) = f (t) y por tanto f (t) = f (0) et .
Para ver la segunda parte lo haremos en coordenadas en las que la
condicion anterior se expresa de la forma L(x, z) = L(x, z), en cuyo
caso se tiene como facilmente puede demostrar el lector que
Lxi (x, z) = Lxi (x, z), Lzi (x, z) = Lzi (x, z),
y por una parte se tiene que para [s(t)] = (t), con s0 (t) > 0, s(a) = a0
y s(b) = b0 ,
Z b Z b
L(, 0 )dt = L([s(t)], 0 [s(t)]s0 (t))dt
a a
Z b
= L([s(t)], 0 [s(t)])s0 (t)dt
a
Z b0
= L(, 0 )ds,
a0
d
Lz (, 0 s0 ) = Lxi (, 0 s0 ),
dt i
y por tanto
d
Lz (, 0 ) = Lxi (, 0 ).
ds i
de modo que tanto las funciones ti () como (t, ) = (t), sean dife-
renciables. Ahora sea
Z t2 ()
G() = HL[ (t), 0 (t)]dt
t1 ()
Z t2 () Z t2 ()
= L[ (t), 0 (t)]dt + h[ (t), 0 (t)]dt
t1 () t1 ()
para la funcion Z t
F (t, ) = L[ (t), 0 (t)]dt,
c
siendo por ejemplo c = (a + b)/2, (que por la continuidad de las ti , para
suficientemente pequeno c [t1 (), t2 ()]) y se tiene que
G0 (0) = Ft [b, 0]t02 (0) + F [b, 0] Ft [a, 0]t01 (0) F [a, 0]+
+ E[t02 (0) t01 (0)] =
Z b
0 0
= L[(b), (b)]t2 (0) + L[ (t), 0 (t)]|=0 dt
a
L[(a), 0 (a)]t01 (0) + E[t02 (0) t01 (0)],
es decir en coordenadas
n
1X
L[x1 , , xn , z1 , , zn ] = zi zj gij U (x),
2 i,j=1
h = HL L = 2T L = T + U
Z(Lzi ) = Lxi ,
DL = 0 y L [D, Z] = 0 Z(L D) = 0.
z12 + z22 c
L= +p ,
2 x + y2
2
z12 + z22 c
h= p ,
2 x2 + y 2
L = Lz1 dx + Lz2 dy = z1 dx + z2 dy,
u2 = L (D) = z1 y + z2 x,
2 0 = cte,
z12 + z22 c
u1 = h = , u2 = z1 y + z2 x, u3 = c(x/r) z2 u2 ,
2
p
para = x2 + y 2 , siendo la tercera una de las componentes del vector
de RungeLenz. La cuestion es si u3 se obtiene tambien por un invariante
Noether y la respuesta es que s, aunque la demostracion la hagamos al
reves (con lo cual queda por entender) pues ya conocemos la funcion,
para ello hacemos uso de la generalizacion del Teorema de Noether (7.61),
pues lo que no hay es un campo subido que nos la de, sin embargo
podemos encontrar un campo D verificando
cx
DL = 0, L [D, Z] = 0 y L D = z1 (Dx) + z2 (Dy) = z2 u 2 .
para el que tomamos por la tercera ecuacion
cx
Dx = , Dy = u2 ,
z1
y para que se verifique la segunda, [D, Z]xi = 0 lo cual equivale a que
Dzi = Z(Dxi ), es decir,
cx2 c2 x2
cx c cxyz2
Dz1 = Z(Dx) = Z = 3 + ,
z1 z 1 3 z12 4
Dz2 = Z(u2 ) = 0,
cx2 c2 x2
cx cx cy c cxyz2
DL = + (xz 2 yz 1 ) + + z1 = 0.
z1 3 3 3 z 1 3 z12 4
7.11. Lagrangianas. Teorema de Noether 439
x = cos sen ,
= sen sen + cos sen ,
x y
y = sen sen ,
z = cos , = cos cos + sen cos sen ,
x y z
E = sen2 , F = 0, G = 1,
Ahora bien la esfera tiene tres campos tangentes cuyos grupos uni-
parametricos la dejan invariante: los tres giros espaciales
cos cos
y z = sen ,
z y sen
sen cos
z x = + cos ,
x z sen
x y = ,
y x
440 Tema 7. Ecuaciones en derivadas parciales de primer orden
(compruebese que para ellos DL = 0), lo cual implica que las tres fun-
ciones
z1 cos cos sen z2 sen ,
z1 sen cos sen + z2 cos ,
z1 sen2 ,
son integrales primeras del campo geodesico. Ahora bien esto significa
que a lo largo de una trayectoria geodesica r(t) = (x(t), y(t), z(t)), las
componentes del momento angular r(t) r0 (t)
yz 0 zy 0 = 0 cos cos sen 0 sen ,
zx0 xz 0 = 0 sen cos sen + 0 cos ,
xy 0 yx0 = 0 sen2 ,
son constantes y si su valor es respectivamente a, b y c, entonces nuestra
geodesica esta en el plano perpendicular al momento angular, ax + by +
cz = 0, pues
ax + by + cz = (yz 0 zy 0 )x + (zx0 xz 0 )y + (xy 0 yx0 )z = 0,
por tanto nuestra geodesica, que esta en la esfera y en el plano, esta en
un crculo maximo. Por ultimo observemos que la energa, que tambien
es integral primera de Z, deberamos de poder ponerla en funcion de
ellas y as es, pues es
a2 + b2 + c2
.
2
x = cos ,
= cos + sen + ,
x y z
y = sen ,
z = , = sen + cos ,
x y
E = 2, F = 0, G = 2 ,
la lagrangiana vale
2 z22
L = z12 + Lz1 = 2z1 , Lz2 = z2 2 ,
2
7.12. Apendice. El Campo geodesico 441
: T (V) V, (Dp ) = p.
D = DL .
ya que se tiene
Z t
Xi (t, x) = xi + fi [X(s, x)]ds
0
n
Z tX
Xi fi Xk
(t, x) = ij + (s, x)ds
xj 0 xk xj
k=1
n
Xi X fi Xk fi
(0, x) = (x) (0, x) = (x).
t xj xk xj xj
k=1
D () = D ,
por tanto
n
X
= zj kij
xi xi zk
j,k=1
n
X X X
zi = zi zi zj kij = Z.
xi xi zk
i,j,k=1
1X
h= zi zj gij ,
2
y un difeomorfismo canonico entre los fibrados tangente y cotangente
para el que
n
X
(xi ) = xi , (zi ) = gij zj = hzi = pi ,
j=1
iZ = dh,
ademas Z = 2h.
P P
Demostracion. Z = i pi zi = i,j gij zi zj = 2h. Ahora como
Z L = iZ d + diZ , tendremos que
iZ d = Z L d(Z) = Z L 2dh,
448 Tema 7. Ecuaciones en derivadas parciales de primer orden
lo cual equivale a demostrar que Zpi = hxi para ello recordemos que
i j = j i , pues la torsion es nula y que se tienen las siguientes
relaciones
gkr
= i (k r ) = i k r + k i r
xi
Xn Xn
= jik gjr + jir gkj ,
j=1 j=1
gir
= k (i r ) = k i r + i k r
xk
Xn Xn
= jki gjr + jkr gij ,
j=1 j=1
gik
= r (i k ) = r i k + i r k
xr
Xn Xn
= jri gjk + jkr gij .
j=1 j=1
para G = (gij ) y G1 = (g ij ).
7.12.5 Ejemplo
Consideremos de nuevo una variedad Riemanniana con una funcion po-
tencial U C (V) y la Lagrangiana
es decir en coordenadas
n
1X
L[x1 , , xn , z1 , , zn ] = zi zj gij U (x),
2 i,j=1
ZG U
Lema 7.70 En la hipersuperficie {h = E}, ZG = Z + EU H, para ZG
el campo geodesico de gij , H el campo de las homotecias y Z el campo
lagrangiano de L.
ZG U
Dpi = pi ,
EU
y el resultado se sigue en h = E.
Como consecuencia tenemos otra forma de demostrar el siguiente
resultado que ya vimos como consecuencia del Principio de Maupertuis.
de donde se sigue que x0j (t) = hzj , pues ambas son soluciones del mismo
sistema lineal con determinante no nulo. Para obtener la segunda rela-
cion basta derivar respecto de t en zi (t) = xi [x(t), t, a] y respecto de xi
en t (x, t, a) + h(x, t, xi (x, t, a)) = 0, obteniendo
n
X n
X
zi0 (t) = xi xj x0j (t) + xi t = xi xj hzj + xi t = hxi .
j=1 j=1
454 Tema 7. Ecuaciones en derivadas parciales de primer orden
Ejercicios resueltos
Ejercicio 7.1.3.-
Sean P , Q y R funciones de (x, y) y P dx2 +Qdxdy+Rdy 2 = 0 la ecuacion11
de la proyeccion al plano z = 0, de una red de curvas de una superficie u = 0.
Demostrar que las curvas son perpendiculares sii
P (u2y + u2z ) Qux uy + R(u2x + u2z ) = 0.
P
Solucion.- La proyeccion de un campo tangente a la superficie, D = fi xi ,
satisface la ecuacion del enunciado sii
p
f1 Q Q2 4P R
P f12 + Qf1 f2 + Rf22 = 0 = ,
f2 2P
por tanto en general hay dos soluciones y como Du = 0 tendremos que son propor-
cionales a
p
Q Q2 4P R f 1 ux + f 2 uy
f1 = + , f2 = 1, f3 = ,
2P 2P uz
p
Q Q2 4P R g1 ux + g2 uy
g1 = , g2 = 1, g3 = ,
2P 2P uz
11 Esta notacion debe entenderse del siguiente modo: dx y dy son en cada punto
funciones lineales del espacio tangente y dx2 es el cuadrado de la funcion lineal, por
tanto la expresion de la izquierda en cada punto es un polinomio.
7.13. Apendice. Teora de HamiltonJacobi 455
Ahora tenemos que encontrar una integral primera de D, es decir una funcion g
de (u1 , u2 ), tal que la superficie {g = 0} se interseque con {z = 0} en
{z = 0, x2 + y 2 = 2x} = {z = 0, (x 1)2 + y 2 = 1}.
Escribamos x e y en terminos de (u1 , u2 , z)
p
4(z 3)2 2u1 + 3
x= ,
2
s p
u2 4(z 3)2 2u1 + 4(z 3)
y= .
2
Y consideremos las integrales primeras
p
4(3)2 2u1 + 3
X= ,
2
s p
u2 4(3)2 2u1 + 4(3)
Y = ,
2
que en z = 0 coinciden con x e y y para las que
1 u1 u2
(X 1)2 + Y 2 1 = 2 + + ,
4 2 2
por tanto basta considerar la funcion
g = 2u1 2u2 9
= 4v32 v12 2v1 4v22 + 8v3 9
= 4(z 3)2 (2x 3)2 2(2x 3) 4y 2 + 8(z 3) 9
= [2(z 3) + 2]2 4 [2x 3 + 1]2 + 1 4y 2 9
= (2z 4)2 (2x 2)2 4y 2 12.
Por tanto la solucion es el hiperboloide de dos hojas
(z 2)2 (x 1)2 y 2 = 3.
Ahora bien como a nosotros nos piden la solucion que pasa por la circunferencia,
la contestacion es q
z = 2 (x 1)2 + y 2 + 3.
Ahora para cada t consideramos la curva integral de D pasando por (t) (lo
haremos para las dos curvas a la vez), que es {ui = ui [(t)] : i = 1, 2, 3, u4 = 0} y es
respectivamente
( (
0 0
u1 = t, u2 = , u3 = 2t , u4 = 0,
2t 2
=t
z = zx zy
F (x, y, z, p, q) = xp2 + yq 2 z,
f2 = (1 p)2 x,
y en {F = 0, f2 = a} tendremos que
s
z ( x a)2
r
a
p=1 , q= ,
x y
y por tanto
s
z ( x a)2
r
a
= dz pdx qdy = dz [1 ]dx dy,
x y
es proporcional a
q
a
1 1 x 1
p 2 dz p dx dy =
z ( x a) z ( x a)2 y
q 2
= 2d[ z ( x a) y],
Ind. En el ejercicio (7.6.3) hemos encontrado las integrales primeras del campo
caracterstico
x+q
p, q, .
y+p
Ahora para la primera tendremos que en {F = 0, p = a},
z xa
dz pdx qdy = dz adx dy,
y+a
z = xa + yb + ab.
7.13. Apendice. Teora de HamiltonJacobi 463
La segunda integral primera nos da algo similar y para la tercera tendremos que en
x+q
{F = 0, y+p = a}
r ! r !
z + xy z + xy
dz pdx qdy = dz a y dx x dy,
a a
que es proporcional a
ax y
d( z + xy ),
2 2 a
por tanto la integral completa es
ax y
z + xy = b.
2 2 a
(x + zx )2 + (y + zy )2 + (z )2 = 1,
y cuyo punto medio p + [(1 + 2 )/2]n tiene nula la tercera componente, es decir
z = (1 + 2 )/2, por tanto de la ecuacion solo nos interesa el valor de (1 + 2 )/2,
que es
xzx yzy + z
.
zx2 + zy2 + 1
(b) El campo caracterstico en F es
que tiene una integral primera u = p/q y por LagrangeCharpit en {F = 0, p/q = a},
p = aq
ay + xa2 y + xa
y + xa = dz + dx + dy,
q= z(a2 + 1) z(a2 + 1)
z(a2 + 1)
que es proporcional a la diferencial de la funcion
y la solucion es f = b.
Ejercicio 7.6.11.- La recta normal a una superficie en cada uno de sus puntos
corta a los planos coordenados x = 0, y = 0 y z = 0, respectivamente en A, B
464 Tema 7. Ecuaciones en derivadas parciales de primer orden
sea una superficie, entonces el plano tangente en cualquier punto de la recta esta
dado por la primera ecuacion. Consideremos pues un punto de la recta anterior
(para un t fijo) observemos que esta recta esta en la superficie y por tanto es
tangente a ella y esta en el primer plano, basta encontrar otra recta de este plano,
pasando por nuestro punto, tangente a la superficie. Para ello consideremos un plano
xA + yB + zC = D que contenga al punto, de modo que sean independientes los
vectores
(a(t), b(t), c(t)), (a0 (t), b0 (t), c0 (t)), (A, B, C)
y por tanto para el que localmente tiene solucion unica el sistema
xa(t) + yb(t) + zc(t) = d(t)
xa0 (t) + yb0 (t) + zc0 (t) = d0 (t)
xA + yB + zC = D
que nos define una curva (x(t), y(t), z(t)) de la superficie, cuyo vector tangente satis-
face
x0 a(t) + y 0 b(t) + z 0 c(t) = 0,
y por tanto esta en el plano xa(t) + yb(t) + zc(t) = d(t), que es lo que queramos.
y de las dos soluciones de este ultimo sistema solo lo es del primero el correspondiente
a b = 1 y a = cos t, en cuyo caso tenemos la familia de planos solucion ht = 0, para
h = z x cos t y sen t + 1,
de la cual obtenemos la envolvente eliminando t entre las ecuaciones
h = 0 )
z + 1 = x cos t + y sen t
h (z + 1)2 = x2 + y 2 .
= 0 0 = x sen t + y cos t
t
Ahora bien f = f1 f2 , para f1 = at2 +b2t y f2 = at2 +b+2t y por tanto planteamos
las ecuaciones
[f1 (t) = 0, f10 (t) = 0] f (t) = 0, f 0 (t) = 0,
es decir
(at2 + b) 2t = 0, 2at 2 = 0,
en definitiva tendremos que
1
a = , b = t,
t
y tenemos una familia uniparametrica de superficies solucion
x2 y 2
2
+ + t z 2 = 0,
t t
o equivalentemente
h(x, y, z; t) = x2 + (y + t2 )2 t2 z 2 = 0,
de la cual debemos obtener ahora la envolvente que es
h = 0
h 4x2 z 4 + 4yz 2 = 0.
= 0
t
Ejercicio 7.9.2.- Aplicar el metodo de Jacobi a una EDP del tipo F (ux , uy , uz ) =
0 y encontrar una integral completa de ux + uy + uz = ux uy uz .
P
Solucion. El campo Hamiltoniano es Fzi xi , consideremos su integral prime-
ra z1 , su campo Hamiltoniano Fz1 x1 y la integral primera comun a ambos campos
z2 . Ahora en la subvariedad de ecuaciones
z1 = a, z2 = b, F (z1 , z2 , z3 ) = 0,
es exacta. Despejemos en la subvariedad z3 = (a, b) de modo que F (a, b, (a, b)) =
0, entonces tendremos que en la subvariedad
= z1 dx1 + z2 dx2 + z3 dx3 = d(ax1 + bx2 + (a, b)x3 ),
y u = ax1 + bx2 + (a, b)x3 + c es una integral completa.
Ahora para F = z1 + z2 + z3 z1 z2 z3 , tendremos que (a, b) = (a + b)/(ab 1)
y la integral completa es
a+b
u = ax1 + bx2 + x3 + c.
ab 1
Ejercicio 7.9.3.- Aplicar el metodo de Jacobi a una EDP del tipo F (x, ux , uz ) =
G(y, uy , uz ) y encontrar una integral completa de
es exacta.
En el caso particular que nos dan
z12 z2
F (x, z1 , z3 ) = 2z12 z3 2 , G(y, z2 , z3 ) =
x2 y
q
b x
por tanto z3 = a, z2 = by y 2z12 a 2z12 /x2 = b, por tanto z1 = 2
y se
ax2 1
tiene
r
b x b p 2 b
= dx + bydy + adz = d( ax 1 + y 2 + az),
2
2 ax 1 a 2 2
por tanto la integral completa es
b p 2 b
ax 1 + y 2 + az + c.
a 2 2
que tiene integral primera z1 /z3 que como depende solo de las zi su campo Hamil-
toniano tiene integrales primeras a las zi , por tanto z2 /z3 es integral primera suya y
del primer campo. Ahora despejamos las zi en la subvariedad
Ejercicio 7.10.1.- Demostrar que si una masa se mueve sobre una superficie
en ausencia de fuerzas, las geodesicas minimizan la accion.
Solucion. En este caso 0 = F = grad V , por tanto V es una constante
que podemos tomar como V = 0 y la lagrangiana L = T V = T , es la energa
cinetica. Por tanto, segun hemos visto, las curvas buscadas son las geodesicas sobre
la superficie.
Bibliografa y comentarios
Los libros consultados para la elaboracion de este tema han sido los
siguientes.
Abraham, R., Mardsen, J.E. and Ratiu, T.: Manifolds, Tensor Analysis, and
applications Ed. SpringerVerlag, 1988.
Arnold, V.I.: Mecanica clasica, metodos matematicos. Ed. Paraninfo, 1983.
Courant,R. and Hilbert, D.: Methods of Mathematical Phisics. Vol. I y II,
Partial Differential Equations. J.Wiley, 1962.
Dubrovin, B.A., Fomenko,A.T. and Novikov, S.P.: Modern geometryMethods
and applications. Part.I SpringerVerlag, 1984.
Garabedian, P.R.: Partial Differential Equations. Chelsea, 1986.
Godbillon, C.: Geometrie differentielle et mecanique analytique. Hermann, Pa-
ris, 1969.
Morris, M. and Brown,O.E. : Ecuaciones diferenciales. Ed. Aguilar, 1972.
Munoz Diaz, J.: Ecuaciones diferenciales (I). Ed. Univ. Salamanca, 1982.
Simmons, F.: Ecuaciones diferenciales con aplicaciones y notas historicas. Ed.
McGrawHill, 1977.
Sneddon, I.: Elements of partial differential equations. McGrawHill, 1981.
Spivak, M.: A comprehensive Introduction to Differential Geometry. 5 Vol. Pu-
blish or Perish, 1975.
Weinstock, Robert: Calculus of Variations. Dover, 1974.
Zachmanoglou, E.C. and Thoe, Dale W.: Introduction to Partial Differential
Equations with Applications. Dover, 1986.
Zarantonello, E.H.: Ecuaciones diferenciales en derivadas parciales. Notas de
Curso, IMAF, Cordoba (Argentina), 1984.
su definicion de accion era oscura y era mas una intuicion que una nocion
precisa. No obstante este principio tuvo una gran trascendencia desde
entonces.
En el mismo ano 1744, el suizo Leonhard Euler, es el primero en
publicar el principio de la mnima accion en la forma de un teorema. Su
proposicion aseguraba que cuando una partcula viajaRen un plano, de
un punto fijo a otro, describe un camino para el que la vds es mnima,
donde v es la velocidad de la partcula y s la longitud de arco. Y su
demostracion se basaba en el calculo de variaciones cuya formula basica
expone en el mismo trabajo (ver Yourgrau, pag. 24). No obstante
sus argumentos geometricoanalticos fueron reemplazados y mejorados
por Lagrange mediante argumentos de naturaleza puramente analtica,
dando un procedimiento general, sistematico y uniforme, que serva para
una gran variedad de problemas y que esencialmente es el que nosotros
hemos estudiado en este tema. En 1755 Lagrange le escribio una carta
a Euler, exponiendole su metodo de variaciones como el lo llamo, y que
Euler renombro, en un artculo del ano siguiente, calculo de variacio-
nes. Remitimos al lector interesado a la p.759 del libro
Kline, Morris: El pensamiento matematico de la antiguedad a nuestros das,
Tomo II. Alianza Univ., 1972.
El primero en dar una version del Principio de mnima accion de
Hamilton fue Lagrange, pero supona que la energa total era la misma
constanteen las trayectorias posibles. El enunciado general, sin esta
limitacion la demostro el irlandes William Rowan Hamilton , a la
edad de 30 anos, extendiendo a la mecanica algo que haba demostrado
3 anos antes: que todos los problemas de optica se podan resolver por
un metodo muy simple que inclua el principio de mnimo tiempo de
Fermat, como caso particular. De este modo la optica y la mecanica se
manifestaron como simples aspectos del calculo de variaciones.
En un trabajo de 1808 publicado en Mem. de Linstitut de Fran-
ce, Lagrange introduce el ahora llamado corchete de Lagrange de dos
funciones u, v como
X zi xi xi zi
{u, v} = ,
u v u v
lo cual no es otra cosa que ( u , v ), lo cual no tiene sentido a menos
que demos un sistema de coordenadas de la que formen parte nuestras
dos funciones y en ese caso el corchete depende de todo el sistema y no
solo de u, v. Al ano siguiente, 1809 SimeonDenis Poisson publica en
474 Tema 7. Ecuaciones en derivadas parciales de primer orden
(x, y, z, p, q, r, s, t),
475
476 Tema 8. EDP de orden superior. Clasificacion
Fr , Fs , Ft ,
este en {F = 0}.
Es facil demostrar que cualquier superficie de {F = 0}, en la que se
anulen las 1formas de R8
= dz pdx qdy,
1 = dp rdx sdy,
2 = dq sdx tdy,
d = dx dp + dy dq = dx 1 + dy 2 ,
d1 = dx dr + dy ds,
d2 = dx ds + dy dt,
8.1. Definicion clasica 477
DF = D = 1 D = 2 D = 0,
DL , DL 1 , DL 2 P,
DL 2 = f1 dF + f2 + f3 1 + f4 2 ,
DL 2 = iD d2 + diD 2 = iD d2
= iD (dx ds + dy dt)
= (Dx)ds (Ds)dx + (Dy)dt (Dt)dy,
lo cual implica que son nulas las componentes de dz, dp, dq y dr, es decir
0 = f1 Fz + f2 = f1 Fp + f3 = f1 Fq + f4 = f1 Fr ,
Dx = Ds = Dy = Dt = 0,
8.2. Operadores diferenciales lineales 479
Dz = pDx + qDy = 0,
Dp = rDx + sDy = 0,
Dq = sDx + tDy = 0,
P : C (V ) C (V )
480 Tema 8. EDP de orden superior. Clasificacion
[P1 , P2 ] = P1 P2 P2 P1 .
P : C (V ) C (V ),
O0 (V ) = C (V ) O1 (V ) . . . On (V ) . . .
8.2. Operadores diferenciales lineales 481
f0 , f1 , . . . , fn C (V ) [. . . [[P, f0 ], f1 ], . . . , fn ] = 0.
que es de orden n 1.
ii) Lo haremos por induccion en n+m. Si n+m = 0, entonces ambos
operadores son funciones y su composicion es el producto, por tanto el
resultado se sigue. Sean ahora Pn de orden n y Pm de orden m, entonces
tenemos que probar que [Pn Pm , f ] es un operador de orden n + m 1,
pero esto se sigue de (8.2), pues
P : C (V ) C (V ),
a un abierto cualquiera U V .
Definicion. Definimos la restriccion de un ODL P a un abierto U V ,
como el operador
[. . . [[P, f0 ], f1 ], . . . , fn ](g) =
Y X Y
= P ( fi g) fi P ( fj g)+
j6=i
X Y
+ fi fk P ( fj g) + + (1)n+1 f0 fn P (g).
i<k j6=i,k
[. . . [[P|U , f0 ], f1 ], . . . , fn ] = 0.
8.2. Operadores diferenciales lineales 483
f = P (1),
fi = [P, xi ](1) = P (xi ) xi f,
1 1
fij = [[P, xi ], xj ](1) = [[P, xj ], xi ], (= fji por 8.2)
2 2
1
= (P (xi xj ) xi P (xj ) xj P (xi ) + xi xj f ) (por (8.8)).
2
Sea g C (V ) y a V , entonces por la Formula de Taylor
n
X n
X
g = g(a) + gi (a)(xi ai ) + gij (xi ai )(xj aj ),
i=1 i,j=1
g 2g
gi (a) = (a), gij (a) + gji (a) = (a),
xi xi xj
y aplicando P a ambos lados, llamando hi = xi ai , tendremos
n
X n
X
P (g) = g(a)P (1) + gi (a)P (xi ai ) + P (gij hi hj ),
i=1 i,j=1
por lo tanto
n n
X g X
P (g)(a) = g(a)f (a) + fi (a) (a) + gij (a)P (hi hj )(a)
i=1
xi i,j=1
n n
X g X
= g(a)f (a) + fi (a) (a) + 2 fij (a)gij (a)
i=1
xi i,j=1
n n
X g X
= g(a)f (a) + fi (a) (a) + fij (a)[gij (a) + gji (a)]
i=1
xi i,j=1
n n
X g X 2g
= g(a)f (a) + fi (a) (a) + fij (a) (a),
i=1
xi i,j=1
xi xj
2 2 2
2
2 2 2
x2 + 2xy + y , + + + + + xy.
x2 xy y 2 x2 xy y 2 x y
|| = 1 + + n , ! = 1 ! n !,
1 ++n
D = n ,
x
1 xn
1
x = x n
1 xn ,
1
x1 = x1 xn .
486 Tema 8. EDP de orden superior. Clasificacion
y para todo a V
(
!, si =
D (x a) (a) =
0, 6 .
si =
1 1
c = D g(a), h (a) = D g(a),
! !
2 2
y ,
xi xj xj xi
P On (U), P (f ) = P (f 1 ) .
2 2 2
P =A + 2B +C +D +E + F,
uu uv vv u v
es facil comprobar que
AC B 2 = (ac b2 )(ux vy uy vx )2 ,
1
T(df1 , . . . , dfn ) = [. . . [[P, f1 ], f2 ], . . . , fn ],
n!
Ademas la aplicacion que define P On (V) T T0n (V) es un mor-
fismo de C (V)modulos.
490 Tema 8. EDP de orden superior. Clasificacion
2 2 2
P =a + 2b +c +d +e + f,
xx xy yy x y
donde
ac b2 < 0.
2
P = 2B + P1 , (para P1 O1 ).
uv
Demostracion. Basta demostrar que su smbolo se expresa de la
forma
T=B + .
u v v u
Como T es hiperbolico podemos encontrar 1 , 2 (U ) indepen-
dientes e isotropas
T(1 , 1 ) = T(2 , 2 ) = 0,
k2 zxx ztt = 0,
definir el ODL asociado, su smbolo, decir de que tipo es, reducirla a forma
canonica y resolverla. (a) Encontrar la solucion que satisface las condiciones,
para x R
z(x, 0) = h(x), zt (x, 0) = g(x),
y demostrar que es unica.
(b) Demostrar que si z es solucion y se anula en el infinito de x, unifor-
memente en t (i.e. > 0, M > 0 : si |x| M , |z(x, t)| ), entonces
z = 0.
y 2 zxx zyy = 0,
y 2 zxx + 2zxy + zyy zx = 0,
xzxx + 2zxy xzyy = 0,
2 2 2
P =a 2
+ 2b + c 2
+d +e + f,
x xy y x y
donde
ac b2 = 0,
494 Tema 8. EDP de orden superior. Clasificacion
f = f1 + if2 : V C,
con f1 , f2 C (V).
Para cada x V definimos la complejizacion del espacio tangente a
V en x como el Cespacio vectorial de las derivaciones Clineales en x
Dx : CC (V) C,
C
y lo denotaremos con Tx (V).
Para cada x V definimos la complejizacion del espacio cotangente
C C
a V en x como el Cespacio vectorial Tx (V) , dual de Tx (V).
Definimos la complejizacion de los campos tangentes de V como el
CC (V)modulo DC (V), de las derivaciones Clineales
D : CC (V) CC (V).
496 Tema 8. EDP de orden superior. Clasificacion
: DC (V) CC (V),
CC (V)lineales.
Definimos la diferencial de f CC (V), como la 1forma df C (V)
Ejercicio 8.4.7 i) Demostrar que toda derivacion real D D(V) define una
compleja
,..., DC (V)
u1 un
es base.
Ejercicio 8.4.8 i) Demostrar que toda 1forma real (V) define una com-
pleja
: DC (V) CC (V), (D1 + iD2 ) = (D1 ) + i(D2 ).
ii) Que si C (V), existen unicas 1 , 2 (V), tales que = 1 + i2 .
iii) Que si f = f1 + if2 , con f1 , f2 C (V), entonces df = df1 + idf2 .
iv) Que si 1 , . . . , k (V), son independientes, tambien lo son en C (V),
y si k es par tambien lo son 1 = 1 + i2 , 2 = 1 i2 , 3 = 3 + i4 ,
4 = 3 i4 ,...
v) Que si u1 , . . . , un C (V), es un sistema de coordenadas,
es base.
8.4. ODL de orden 2 en R2 . Clasificacion 497
= (1 + i2 ) (1 + i2 )
= 1 1 2 2 + i(1 2 + 2 1 ).
u = u1 + iu2 , u = u1 iu2 ,
1 1 i i
u1 = u + u, u2 = u + u.
2 2 2 2
Ahora (u1 , u2 ) son coordenadas en U si y solo si du1 , du2 son base de
(U ), y por tanto de C (U ), lo cual equivale a que tambien lo son
, DC (U ),
u u
498 Tema 8. EDP de orden superior. Clasificacion
u1 1 u2 i 1 i
= , = =
u 2 u 2 u 2 u1 2 u2
u1 1 u2 i 1 i
= , = , = + .
u 2 u 2 u 2 u1 2 u2
f f1x = f2y
=0
z f2x = f1y
2 2 2
P =a + 2b +c +d +e + f,
xx xy yy x y
donde
ac b2 > 0,
y nos planteamos si habra algun sistema de coordenadas (u1 , u2 ) en el
que
2 2
P =A + + P1 , (para P1 O1 )
u1 u1 u2 u2
o equivalentemente su smbolo se exprese de la forma
T=A + .
u1 u1 u2 u2
8.4. ODL de orden 2 en R2 . Clasificacion 499
= dx + dy, = dx + dy.
(8.2) = hdu,
: k (V) k1 (V),
k 1
= (1) d = (1)k(nk+1) d ,
y operador de LaplaceBeltrami a
= ( d + d ) : k (V) k (V).
= d : C (V) C (V),
hP = h + hD + hf.
P = + D + f,
= h,
hP = h + hD + hf.
504 Tema 8. EDP de orden superior. Clasificacion
pues cuando Aij es diagonal, los valores Aii difieren de los autovalores
de (aij ) solo en factores positivos.
Definicion. Diremos que un ODL P O2 (V), en una variedad n
dimensional, es elptico en un punto p V si para Tp se tiene que m = n
o k = n, parabolico si m + k < n e hiperbolico si m = n 1 y k = 1 o
m = 1 y k = n 1.
Como consecuencia del resultado citado se tiene el siguiente.
para la que
( n
)" n n
! #
1X X 2v 1X 2
P (u) = exp i bi ui i 2 + c i b v ,
2 i=1 i=1
ui 4 i=1 i
zxy + z = 0,
4Fr Ft Fs2 ,
Lema 8.22 Dada una EDP de segundo orden (8.3) en las coordenadas
(x, y) de un abierto U del plano, consideremos (u, v) otro sistema de
coordenadas en U y la funcion
zx = zu ux + zv vx
zy = zu uy + zv vy
zxx = (zuu ux + zuv vx )ux + (zvu ux + zvv vx )vx + zu uxx + zv vxx
zyx = (zuu uy + zuv vy )ux + (zvu uy + zvv vy )vx + zu uxy + zv vxy
zyy = (zuu uy + zuv vy )uy + (zvu uy + zvv vy )vy + zu uyy + zv vyy
Gr = Fr u2x + Fs ux uy + Ft u2y ,
(8.4) Gt = Fr vx2 + Fs vx vy + Ft vy2 ,
Gs = 2Fr ux vx + Fs (ux vy + uy vx ) + 2Ft uy vy ,
Esto nos hace pensar que detras de esto hay un tensor como en el caso
lineal y as es, pero no solo eso, lo que realmente existe es un operador
diferencial lineal asociado canonicamente a la solucion z considerada.
2 2 2
P = Fr 2
+ Fs + Ft 2 + Fp + Fq + Fz .
x xy y x y
tendremos que
1 1 u2
[[P, u], u](1) = P (u2 ) uP (u) P (1)
2 2 2
= Fr u2x + Fs ux uy + Ft u2y = Gr
[[P, u], v](1) = P (uv) uP (v) vP (u) + uvP (1)
= 2Fr ux vx + Fs (ux vy + uy vx ) + 2Ft uy vy = Gs
1 1 v2
[[P, v], v](1) = P (v 2 ) vP (v) P (1)
2 2 2
= Fr vx + Fs vx vy + Ft vy2 = Gt
2
Fs Fs
T = Fr + + + Ft ,
x x 2 x y 2 y x y y
(x, y, z(x, y), zx (x, y), zy (x, y), zxx (x, y), zxy (x, y), zyy (x, y)),
Nota 8.25 Observemos que el que una solucion z sea elptica, parabolica
o hiperbolica, equivale como en el caso lineal a que su smbolo no tenga
1formas isotropas, tenga una unica o tenga dos respectivamente.
dz pdx qdy = 0,
(8.8) xu 2 yu = 0, xv 1 yv = 0,
g g
1 pu + qu + yu = 0, 2 pv + qv + yv = 0,
c c
zu pxu qyu = 0, o zv pxv qyv = 0.
donde
b+ b2 ac b b2 ac
1 = , 2 = ,
c c
siendo a, b, c, g funciones de x, y, z, p, q, que a su vez son funciones del
plano (u, v), y para las que ac b2 < 0.
Nota 8.26 La razon de considerar solo una de las dos ultimas ecuacio-
nes es que no son independientes, como se demuestra en el siguiente
resultado, en el que vemos que el recproco tambien es valido.
512 Tema 8. EDP de orden superior. Clasificacion
xu yv xv yu = (2 1 )yu yv 6= 0,
y se tiene que
du 1 + = 0
x y 1 ux + uy = 0.
(8.9)
2 vx + vy = 0.
dv 2 + = 0
x y
Por otra parte si una de las dos ultimas ecuaciones del sistema es
valida tambien lo es la otra, puesto que sobre la curva se verifica
(zu pxu qyu )du + (zv pxv qyv )dv = dz pdx qdy = 0,
y como una de las ecuaciones es valida las dos lo son sobre la curva.
Como por otra parte de las ecuaciones del sistema se sigue que
que
zyy = qy = qu uy + qv vy
g g
= 1 pu + yu uy 2 pv + yv vy
c c
g
= (1 + 2 )(pu uy + pv vy ) + 1 pv vy + 2 pu uy
c
g
= (1 + 2 )py + 1 pv (2 vx ) + 2 pu (1 ux )
c
2b a g
= zxy zxx .
c c c
Observemos que el sistema caracterstico tiene la peculiaridad de que
en cada ecuacion solo interviene la derivada parcial respecto de una
de las dos coordenadas caractersticas. Si derivamos cada una de ellas
respecto de la otra obtenemos las cinco ecuaciones, en las que los puntos
suspensivos son funciones de (x, y, z, p, q) y sus derivadas de primer orden
xuv 2 yuv + = 0,
xvu 1 yvu + = 0,
g
1 puv + quv + yuv + = 0,
c
g
2 pvu + qvu + yvu + = 0,
c
zuv pxuv qyuv + = 0,
las cuales son ecuaciones lineales en las derivadas segundas xuv , yuv , zuv ,
puv y quv , cuyo determinante
1 2 0 0 0
1 1 0 0 0 2
= 4 ac b ,
0 g/c 0 1 1
0
c2
g/c 0 2 1
p q 1 0 0
(8.10) xv 1 yv = 0, xu 2 yu = 0.
Di r = i rx + ry ,
Di s = i sx + sy = i ry + sy ,
Di t = i tx + ty = i sy + ty ,
se sigue que
[F x ] + Fr rx + Fs sx + Ft tx = 0,
(8.11)
[F y ] + Fr ry + Fs sy + Ft ty = 0,
8.6. EDP de orden 2 en R2 . Clasificacion 515
[F x ] = Fx + Fz zx + Fp px + Fq qx = Fx + Fz p + Fp r + Fq s,
[F y ] = Fy + Fz zy + Fp py + Fq qy = Fy + Fz q + Fp s + Fq t,
Fr Fs i + 2i Ft = 0,
tendremos que
i ([F x ] + Fr rx + Fs sx + Ft tx ) = 0
i [F x ] + Fr (Di r ry ) + Fs i ry + Ft i (Di s i ry ) = 0
Fr Di r + i Ft Di s + i [F x ] = ry (Fr Fs i + 2i Ft ) = 0
[Fr dr + i Ft ds + i [F x ]dy]Di = 0,
Fr sv + 1 Ft tv + 1 [F y ]yv = 0,
(8.13)
Fr su + 2 Ft tu + 2 [F y ]yu = 0.
[F x ] = Fx + Fz p + Fp r + Fq s,
[F y ] = Fy + Fz q + Fp s + Fq t,
p
Fs + Fs2 4Fr Ft
1 = ,
2F
p t
Fs Fs2 4Fr Ft
2 = .
2Ft
xu yv xv yu = (2 1 )yu yv 6= 0.
F (x, y, z, p, q, r, s, t) = 0,
en todos los puntos (u, v). Para ello derivemos la funcion respecto de v
y multipliquemos por 1 . Se sigue de las ecuaciones (1, 3, 5) del sistema
y de que Fr Fs 1 + 21 Ft = 0, que
dF ( )
1 = 1 (Fx xv + Fy yv + Fz zv + Fp pv +
dv
+ Fq qv + Fr rv + Fs sv + Ft tv )
= 1 [Fx xv + Fy yv + Fr rv + Fs sv + Ft tv
+ Fz (pxv + qyv ) + Fp (rxv + syv ) + Fq (sxv + tyv )]
= 1 (xv [F x ] + yv [F y ] + Fr rv + Fs sv + Ft tv )
= 1 (1 Ft sv + yv [F y ] + Fs sv + Ft tv )
= Fr sv + 1 yv [F y ] + 1 Ft tv
= 0,
pu rxu syu
ry = sx ,
zx = p, zy = q, qx = s, qy = t,
(Fx + Fz p + Fp r + Fq s)xv + Fr rv + 1 Ft sv = 0,
(Fy + Fz q + Fp s + Fq t)xv + Fr sv + 1 Ft tv = 0,
8.6. EDP de orden 2 en R2 . Clasificacion 519
cinco ecuaciones
xu yu = 0, xu yu = 0,
g g
pu + qu + yu = 0, pu + qu + yu = 0,
c c
zu pxu qyu = 0, o zu pxu qyu = 0,
donde observemos que al ser x, y, z reales, son tres parejas de ecuaciones
conjugadas. Ahora como en cada ecuacion solo interviene la derivada
parcial respecto de una de las dos coordenadas caractersticas, podemos
derivar cada una de ellas respecto de la otra y obtenemos las siguientes
cinco ecuaciones, en las que los puntos suspensivos son funciones de
(x, y, z, p, q) y sus derivadas de primer orden
xuu yuu + = 0,
xuu yuu + = 0,
g
puu + quu + yuu + = 0,
c
g
puu + quu + yuu + = 0,
c
zuu pxuu qyuu + = 0,
las cuales son ecuaciones lineales en las derivadas segundas xuu , yuu , zuu ,
puu y quu , cuyo determinante ya hemos calculado en el caso anterior y
vale
ac b2
4 6= 0,
c2
por lo que podemos calcular la matriz inversa y obtener un sistema
canonico de cinco ecuaciones de segundo orden del tipo
xu1 u1 + xu2 u2 + = 0,
yu 1 u1 + y u2 u 2 + = 0,
zu 1 u 1 + zu 2 u 2 + = 0,
pu 1 u 1 + p u 2 u 2 + = 0,
q u 1 u1 + q u2 u 2 + = 0,
puesto que 4fuu = fu1 u1 + fu2 u2 , para u = u1 + iu2 , y esto es una
generalizacion del que obtuvimos en el caso lineal.
Observemos que
ac b2
(8.15) xu yu yu xu = ( )yu yu = 2i yu yu .
c
522 Tema 8. EDP de orden superior. Clasificacion
f (u) = x(u1 , u2 ) + ie
x(u1 , u2 ),
g(u) = y(u1 , u2 ) + iey (u1 , u2 ),
h(u) = z(u1 , u2 ) + iez (u1 , u2 ),
x = Re f, y = Re g, z = Re h,
(8.16) uy + Aux + b = 0,
donde las aij son funciones de (x, y), A = (aij ), u es el vector columna
formado por las funciones ui y b por las bi , que son funciones de (x, y, u).
Por ejemplo una EDP lineal
xy = 0, yy = 1,
(8.17) zy = q, py = q x ,
apx + 2bqx + cqy + dp + eq + f z = 0
obtengamos
n
X
vki aij = k vkj , k = 1, . . . , n,
i=1
Dk = + k ,
y x
N = T y + Tx ,
x y
526 Tema 8. EDP de orden superior. Clasificacion
T u = T x ux + T y uy ux = T x T u T y N u,
N u = T y ux + T x uy uy = T y T u + T x N u,
Ty Tu + Tx Nu + Tx A Tu Ty A Nu + b = 0
(T y I + T x A) T u + b = (T y A T x I) N u,
ux = T x T u T y N u,
uy = T y T u + T x N u.
(ux )y + A(ux )x + d = 0,
det[T y A T x I] = 0,
Tx
= k ,
Ty
8.7. Clasificacion de sistemas de EDP 527
vy + vx + g = 0,
1
g = P(P )y v + PA(P1 )x v + Pb,
vky + k vkx + gk = 0 Dk vk + gk = 0,
(8.18) uy = Aux + b,
528 Tema 8. EDP de orden superior. Clasificacion
8.8 Apendice
(zxi xj ) = (i j )1 .
z 00 (x)dx = d 6= 0 z 00 (x) 6= 0,
x = 0 (), dx = 00 ()d 1
00 () = ,
= z 0 (x) d = z 00 (x)dx z 00 (x)
1
F (x, z, z 0 , z 00 ) = F (0 , 0 , , ) = G(, , 0 , 00 ),
00
y = x (),
es la curva y = z(x).
8.8. Apendice 531
= xzx + yzy z, = x, = y
z = + , zx = , zy = ,
1
= 2 = 2
,
zxx zyy zxy
zxx = , zyx = , zxy = , zyy =
G(, , , , , , , ) = 0,
para la funcion
tal que 2 6= 0.
Por ejemplo a cada solucion de la EDP cuasilineal
satisfaciendo
2
zxx zyy zxy 6= 0,
le corresponde una solucion de la EDP lineal
Ejercicio 8.8.3 Una superficie {z = f (x, y)} R3 , definida por una funcion
del plano f , es desarrollable si y solo si f es solucion de la EDP
2
zxx zyy zxy = 0.
Ejercicios resueltos
2
T = 2k2 + , P = 4k2 .
u v v u uv
(a) Por tanto nuestra ecuacion en las nuevas coordenadas es
zuv = 0 zu = f (u)
z = F (u) + G(v).
(b) La condicion de que z se anule en el infinito implica que para toda funcion
t(x), lim|x| z(x, t(x)) = 0, por tanto como la solucion es de la forma z = F (x +
kt) + G(x kt), tendremos para t1 (x) = (x x0 )/k y t2 (x) = (x0 x)/k, que
Ejercicio 8.8.3.- Una superficie {z = f (x, y)} R3 , definida por una funcion
del plano f , es desarrollable si y solo si f es solucion de la EDP
2
zxx zyy zxy = 0.
Solucion. Las superficies desarrollables son (localmente) las que tienen nula la
curvatura de Gauss, es decir el determinante del operador de Weingarten, definido
en la superficie S = {z = f (x, y)} de la forma
: D(S) D(S), (D) = D N,
para N el vector unitario, normal a la superficie, es decir
1
N = q fx fy + .
1 + fx2 + fy2 x y z
Bibliografa y comentarios
fijo, como una aplicacion de sus estudios acerca del calculo de va-
riaciones (ver la Nota (7.45) de la pag.416). A Meusnier se debe el
descubrimiento de las dos superficies mnimas elementales: El catenoide
y el helicoide recto. Y para caracterizarlas utiliza la frase
. . . son superficies para las que las curvaturas principales k1 y k2 son
iguales y de distinto signo.
Es decir son superficies con curvatura media H = (k1 + k2 )/2 nula
(ver el ejercicio (8.8.7) de la pag.532). (La nocion de curvatura media
aparece por primera vez en un trabajo de St. Germain de 1831). Esta
definicion de superficie mnima es mas correcta y la propiedad de ser de
mnima areaes una propiedad similar a la de las geodesicas que son de
longitud mnimaen general.
El significado eminentemente fsico de la curvatura media H, fue
reconocido en 1805 y 1806 por T.Young y P.S.Laplace en sus inves-
tigaciones sobre el ascenso de un lquido en un tubo capilar:
La diferencia de presion cerca de un interfaz es proporcional a la
curvatura media del interfaz en ese punto.
Aqu interfaz es la superficie que separa el lquido del medio en el que
se encuentra. Remitimos al lector a la pag.22 del libro
Nitsche, J.C.: Lectures on minimal surfaces. Vol.1 . Cambridge Univ. Press,
1989.
Por ultimo Plateau consiguio en 1873 superficies mnimas de pelcula
jabonosa, introduciendo un alambre en forma de curva alabeada cerrada,
en una solucion de jabon.
El problema de Cauchy
543
544 Tema 9. El problema de Cauchy
de (b) que
u4y = u7 = zxy (integrando en y)
u4 = zx + (x)
u4 (x, y0 ) = zx (x, y0 ) + (x) (por las condiciones iniciales)
0 (x) = 0 (x) + (x) u 4 = zx ,
de (d) que
u6y = u7x = zxxy (integrando en y)
u6 = zxx + (x)
u6 (x, y0 ) = zxx (x, y0 ) + (x) (por las condiciones iniciales)
00 (x) = 00 (x) + (x) u6 = zxx ,
y por ultimo de (f) que
zyyy = u8y = fy + fz u5 + fp u7 + fq u8 + fr u7x + fs u8x
= fy + fz zy + fp zxy + fq zyy + fr zxxy + fs zxyy
f (x, y, z, zx , zy , zxx , zxy )
= (integrando en y)
y
zyy = f (x, y, z, zx , zy , zxx , zxy ) + (x),
y por las condiciones iniciales tendremos que (x) = 0, por tanto
zyy = f (x, y, z, zx , zy , zxx , zxy ),
es decir que z = u3 es solucion de (9.1) satisfaciendo (9.4).
(x0 , y0 , z0 , p0 , q0 , r0 , s0 ),
= x x0 , = y y0 ,
y la nueva incognita
2 2
ze(, ) = z( + x0 , + y0 ) z0 p0 q0 r0 s0 t0 ,
2 2
para las que se verifica
ze = zx p0 r0 s0 ,
ze = zy q0 s0 t0 ,
ze = zxx r0 ,
ze = zxy s0 ,
ze = zyy t0
= f (x, y, z, zx , zy , zxx , zxy ) t0 =
9.1. Sistemas de EDP de primer orden 547
= f ( + x0 , + y0 ,
ze + z0 + p0 + q0 + 2 r0 /2 + s0 + 2 t0 /2,
ze + p0 + r0 + s0 , ze + q0 + s0 + t0 ,
ze + r0 , ze + s0 ) t0
= g(, , ze, ze , ze , ze , ze ),
g(,, ze, p, q, r, s) = f ( + x0 , + y0 ,
ze + z0 + p0 + q0 + 2 r0 /2 + s0 + 2 t0 /2,
p + p0 + r0 + s0 , q + q0 + s0 + t0 , r + r0 , s + s0 ) t0 ,
ze = g(, , ze, ze , ze , ze , ze ),
ze(, 0) = z( + x0 , y0 ) z0 p0 2 r0 /2,
ze (, 0) = zx ( + x0 , y0 ) p0 r0 ,
ze (, 0) = zy ( + x0 , y0 ) q0 s0 ,
ze (, 0) = zxx ( + x0 , y0 ) r0 ,
ze (, 0) = zxy ( + x0 , y0 ) s0 ,
lo cual simplifica las condiciones de una forma que nos sera util en la
demostracion del Teorema de CauchyKowalewski.
548 Tema 9. El problema de Cauchy
Por tanto sobre una curva que satisfaga esta propiedad los datos de
Cauchy z(t), p(t), q(t), x(t) e y(t) determinan las derivadas segundas
de z sobre la curva y por tanto todas las derivadas sobre la curva, pues
derivando (9.10) respecto de x, y considerando (t) = zxx [x(t), y(t)] y
(t) = zxy [x(t), y(t)], tendremos que
azxxx + 2bzxxy + czxyy = D,
x0 (t)zxxx + y 0 (t)zxxy = 0 (t),
x0 (t)zxxy + y 0 (t)zxyy = 0 (t),
donde D es una funcion de a, b, c, sus derivadas y z y sus derivadas pri-
meras y segundas, todas ellas conocidas sobre la curva. Entonces como
la matriz del sistema tiene |A| = 6 0, podemos despejar estas derivadas
terceras de la z sobre nuestra curva. Y as sucesivamente. Esto nos per-
mite construir una solucion formal en serie de potencias de x x0 , y y0 ,
en un punto (x0 , y0 ) de la curva, la cual definira una verdadera funcion
en un entorno del punto si la solucion z es analtica, cosa que demos-
traremos en el caso de que las funciones que intervienen en el problema
sean analticas.
Nota 9.3 Observemos que si para los datos de Cauchy z(t), p(t) y q(t),
se verifica
|A| = ay 02 2bx0 y 0 + cx02 = 0.
esto significa que nuestra curva inicial (x(t), y(t)) es caracterstica para
la hipotetica solucion z, que sobre la curva satisface z = z(t), zx = p(t) y
zy = q(t), pues tal curva es tangente a uno de los campos caractersticos
para a 6= 0
b b2 ac
+ ,
x a y
En cuyo caso, si nuestros datos iniciales son tales que ac b2 > 0, es
decir nuestra hipotetica solucion es elptica, no hay curvas caractersticas,
si ac b2 = 0 es decir es parabolica, hay una familia de curvas
caractersticas, y si ac b2 < 0 es decir es hiperbolica, hay dos
familias de curvas caractersticas.
y si llamamos
0 = x0 s11 + y 0 s12 ,
0 = x0 s12 + y 0 s22 ,
x0 x0 x02
(9.13) s12 = s11 s22 = s12 = 02 s11 ,
y0 y 0 y
y por otra parte considerando P (u1 )P (u2 ) = 0 sobre la curva, teniendo
en cuenta (9.12), se sigue que
se tiene que
las cuales recordemos que estan definidas como el lmite (si es que existe)
t1
X tn
X
lim c(1 ,...,n ) ,
t1 ,...,tn
1 =0 n =0
P
y consideraremos las absolutamente convergentes, |c | < , lo cual
equivale a la convergencia de la serie
X
X
|c |,
j=0 ||=j
554 Tema 9. El problema de Cauchy
X
X
X X
X
(9.14) c = c(1 ...n ) = c .
1 =0 n =0 j=0 ||=j
y se tiene
! !
X X X
c = a1m anm .
m=0 m=0
Pn
Ejercicio 9.3.4 Demostrar que si x Rn , con i=1 |xi | < 1, entonces la serie
X ||!
x ,
!
converge absolutamente a
1
.
1 (x1 + + xn )
P
(habitualmente escribiremos f = f ). Diremos que la convergencia
de la serie es uniforme en U si para las sumas parciales
X
s (x) = f (x),
|s (x) f (x)| ,
converge absolutamente a
!
.
(1 x)1+
converge absolutamente a
||!
.
(1 x1 xn )1+||
n
|c y | = < ,
P
P 9.5 Sea y R y c R, tales que
Proposicion
entonces c x converge absolutamente a una funcion f (x) continua
en C = {x : |xi | |yi |} y de clase infinito en el interior A de C. Ademas
1
c = D f (0),
!
y dado un compacto de K A existen constantes 0 < r, M tales que
para todo x K
|D f (x)| M ||!r|| .
|xi | |yi |,
ademas
X !
D f (x) = c x D f (0) = ! c .
( )!
9.3. Funciones analticas reales 557
|D f (x)| M ||!r|| .
|D f (x)| M ||!r|| .
siendo
1 (n X 1
g (t) = D f (tz + y)z
n!
||=n !
X ||!
M rn |z | = M rn kzkn1 ,
!
||=n
por lo tanto
Z 1 n+1
M kzk1
1 n (n+1
n! (1 t) g (t)dt 0,
0
r
9.3. Funciones analticas reales 559
y haciendo n
X 1 (i X 1
f (x) = g (0) = D f (y)(x y) .
i=0
i!
!
Ejercicio 9.3.7 (a) Demostrar que si g C ((a, b)), para [0, 1] (a, b) R
n Z 1
X 1 (i 1
g(1) = g (0) + (1 t)n g (n+1 (t)dt.
i=0
i! n! 0
D (0) = M ||!r|| ,
P
y es analtica en { |yi | < r}.
F : C (V ) C (U ), F (g) = g F,
|D f (x0 )| M ||!s|| .
| g(y 0 )| M ||!r|| ,
|D fi (x0 )| M ||!r|| ,
Mr
(y1 , . . . , ym ) = P ,
r yi
Mr
j (x1 , . . . , xn ) = P M, para j = 1, . . . , m
r xi
= (1 , . . . , m ),
= D ( )(0)
= M 0 ||!s|| ,
para
Mm r2
M0 = M M, s= ,
r + Mm r + mM
facilmente que
Mr
[(x)] =
Mr
rm X + mM
r xi
Mm
Ms Mr
= r + MX
m + .
s xi r + mM
f (z) f (z0 )
lim ,
zz0 z z0
f : U C C, o F = (u, v) : U R2 R2 ,
ux = vy ,
uy = vx ,
f 0 existe es continua.
564 Tema 9. El problema de Cauchy
de CauchyRiemann, que
f (z0 + z) f (z0 ) =
= u(x0 + x, y0 + y) u(x0 , y0 )+
+ i[v(x0 + x, y0 + y) v(x0 , y0 )]
= u(x0 + x, y0 + y) u(x0 + x, y0 ) + u(x0 + x, y0 ) u(x0 , y0 )+
+ i[v(x0 + x, y0 + y) v(x0 + x, y0 ) + v(x0 + x, y0 ) v(x0 , y0 )]
= yuy (x0 + x, y) + xux (x, y0 )+
+ i[yvy (x0 + x, y 0 ) + xvx (x0 , y0 )] =
= y[uy (x0 , y0 ) + 1 ] + x[ux (x0 , y0 ) + 2 ]+
+ i[y[vy (x0 , y0 ) + 3 ] + x[vx (x0 , y0 ) + 4 ]]
= y[vx (x0 , y0 ) + 1 ] + x[ux (x0 , y0 ) + 2 ]+
+ i[y[ux (x0 , y0 ) + 3 ] + x[vx (x0 , y0 ) + 4 ]]
= z(ux + ivx ) + y1 + x2 + iy3 + ix4 ,
f 0 (z0 ) = ux + ivx .
1 = (1, 0), i = (0, 1), i(1, 0) = (0, 1), i(0, 1) = (1, 0),
y por tanto todos los espacios tangentes T(x,y) (R2 ), para los que
i = , i = ,
x y y x
por tanto dada una funcion
pues la serie
n
X z0
,
n=0
z z0
es uniformemente convergente en los z Cr y por tanto definiendo
Z
1 f (z) X
cn = dz f () = cn ( z0 )n .
2i Cr (z z0 )n+1 n=0
y el resultado se concluye.
|| m + k 1, 1 m + 1, 2 k 1,
m+k ui
(0, 0),
xm y k
pues por una parte tendremos que para todo m
m ui (m
(0, 0) = i (0),
xm
y sustituyendo estos valores en la formula (9.16), podemos calcular los
valores correspondientes a k = 1
m+1 ui
(0, 0),
xm y
los cuales podemos substituir de nuevo en la formula para obtener los
valores correspondientes a k = 2 y as sucesivamente.
Que la solucion analtica es unica (de existir) es consecuencia de (9.6),
puesto que sus derivadas en 0 R2 las acabamos de determinar de forma
unica y la solucion sera
X 1 m+k ui
(9.17) ui (x, y) = (0, 0)xm y k ,
m!k! xm y k
m,k=0
m+k vi
Pm,k (D gij (0), D vj (0)) = (0).
xm y k
c x analtica en 0, es
P
Ejercicio 9.5.1 Sabiendo que para una funcion f =
P P
D ( c x ) = D (c x ), demostrar que existen constantes M, r > 0 tales
que
|D f (0)| ||!M r|| .
Mx Mu
f (x) = z(x, 0) = f (u) =
rx ru
Mu
z =0 M u + uz rz = 0
ru
ay
(M + z) + x zr = 0
b+z
(M + z)[ay + bx + zx] zr(b + z) = 0
(x r)z 2 + (ay + bx rb + M x)z + M (ay + bx) = 0,
1
(ay + bx + nb2 + M x)
z=
2(x r)
p i
(ay + bx + nb2 + M x)2 4M (ay + bx)(x r) ,
u(x, y0 ) = (x),
zxy + = 0,
x = f (t), y = g(t),
zxy = 0,
574 Tema 9. El problema de Cauchy
zxy = f (x, y, z, zx , zy ),
u(x) + u(x(y)) 1 x
Z
z(x, y) = + (p qy 0 )dx+
2 2 x(y)
Z x Z y
+ f (, , z, zx , zy )d d,
x(y) y()
576 Tema 9. El problema de Cauchy
zxy = f (x, y, z, zx , zy ),
con sus valores y los de sus derivadas de primer orden fijados sobre
una curva estrictamente monotona y en segundo lugar su dependencia
diferenciable con respecto a estos. Para ello consideraremos el proble-
ma equivalente representado por la ecuacion integrodiferencial (9.20) y
demostraremos que la solucion existe, es unica y depende diferenciable-
mente de los datos fijados.
Sin perdida de generalidad podemos suponer que los datos iniciales
u, p y q se anulan sobre la curva y por tanto que la ecuacion integral
(9.20) es ZZ
z(x, y) = f (x, y, z, zx , zy )dx dy,
D
puesto que para cualesquiera otras funciones, u, p y q, podemos consi-
derar la solucion (9.21)
Z
u(A) + u(B) 1
(x, y) = + [pdx qdy],
2 2 C1
zxy = g(x, y, z, zx , zy ),
para g(x, y, z, z1 , z2 ) = f (x, y, z + , z1 + x , z2 + y ),
que tanto ella como sus derivadas se anulen sobre la curva. Entonces la
funcion v = + z sera solucion de (9.19), satisfaciendo las condiciones
578 Tema 9. El problema de Cauchy
x + y = 0,
u = y(x), u = x,
o
v = y, v = x(y),
x = y 1 (u) = x(u), y = v,
zx = zu y 0 (x), zy = zv , zxy = zuv y 0 (x),
por tanto
con u0 = 0 y para
Z y
pn+1 (x, y) = un+1x (x, y) = g(x, , un , pn , qn )d,
x
Z x
qn+1 (x, y) = un+1y (x, y) = g(, y, un , pn , qn )d,
y
para el que se verifica que si en todos sus puntos, (un1 , pn1 , qn1 ) V ,
entonces en (x, y) G
kT 2
(9.23) |un (x, y)| , |pn (x, y)| kT, |qn (x, y)| kT,
2
por lo que tomando un T > 0 suficientemente pequeno, tendremos que
(un , pn , qn ) tambien esta en V y como u0 = p0 = q0 = 0, tendremos que
para todo n N,
+ |pn (x, y) pn1 (x, y)| + |qn (x, y) qn1 (x, y)|],
v = x y, t = x + y,
kT 2
Z1 (t) + kT + kT = ,
2
Z2 (t) t,
y por induccion
n tn
Zn+1 (t) ,
n!
con lo cual dada la serie convergente
X n T n
= eT ,
n=0
n!
582 Tema 9. El problema de Cauchy
k(x + y)2
ZZ
|u1 (x, y)| = |h(x, y)|dx dy ,
D 2
Z y
|p1 (x, y)| = |u1x (x, y)| |h(x, )|d k|x + y|,
x
Z x
|q1 (x, y)| = |u1y (x, y)| |h(, y)|d k|x + y|,
y
Teorema de Existencia 9.21 Dadas sobre una curva inicial tres funcio-
nes u, p y q, que satisfacen las condiciones de compatibilidad, y f esta
localmente acotada y es localmente lipchiciana en las tres ultimas varia-
bles uniformemente en las dos primeras, entonces para cada punto de la
curva existe una solucion definida en un entorno del punto, del problema
de Cauchy
zxy = f (x, y, z, zx , zy ),
z = u, zx = p, zy = q, (sobre la curva),
(u, ux , uy ), (v, vx , vy ) V,
lo cual es absurdo para n grande, a menos que U (t) = 0 para |t| 1/n,
es decir
u(x, y) = v(x, y),
en un entorno de nuestra curva.
En definitiva hemos demostrado el siguiente resultado.
zxy = f (x, y, z, zx , zy ),
z = u, zx = p, zy = q, (sobre la curva),
zxy = f (x, y, z, zx , zy ),
z = u(; ), zx = p(; ), zy = q(; ), (sobre la curva),
zxy = g + gz z + gp zx + gq zy ,
zxy = f (x, y, z, zx , zy ),
vi (0, y) = i (y).
Xi = (xi , yi ) : Wi R R2 R2 ,
590 Tema 9. El problema de Cauchy
x0ip (t) = 1
0
yip (t) = i [xi (t, p), yi (t, p), v(Xi (t, p))]
xi (t, p) = t + x
Z t
yi (t, p) = y + i [Xi (s, p), v(Xi (s, p))]ds,
0
ci [Xi (t, p), v(Xi (t, p))] = Di vi [Xi (t, p)] = (vi Xip )0 (t),
y por otra parte para cada p = (x, y) si consideramos el punto del eje
x = 0, q = Xi (x, p), tendremos que p = Xi (x, q) y
Z x
vi [Xi (x, q)] = vi (q) ci [s + x, yi (s, p), v(s + x, yi (s, p))]ds
0
Z x
= vi (q) ci [Xi (s, p), v[Xi (s, p)]]ds
0
Z x
= vi (q) ci [Xi (s + x, q), v[Xi (s + x, q)]]ds
Z0 x
= vi (q) + ci [Xi (s, q), v[Xi (s, q)]]ds,
0
y por tanto
K = {(x, y, z1 , . . . , zn ) R2+n :
|x| , |y| , |z1 1 (y)| , . . . , |zn n (y)| },
entorno de la curva
x = , x = , y = kx,
y si llamamos
tendremos que
m 3k, m 2,
puesto que
y por tanto el teorema del valor medio nos asegura que para todo i =
1, . . . , n
|vi,m (x, y) vi,m (x, y 0 )| 3k|y y 0 |.
y si consideramos
tendremos que
pues
m+1 k(2nk )m + k[(1 + 3nk)(2nk )m +
+ n(2nk )m ]
(2n)m (k )m+1 [1 + (1 + 3nk) + n ]
(2nk )m+1 , (si 1 + (1 + 3nk) + n 2n),
m+1 k[(1 + 3nk)(2nk )m + n(2nk )m ]
(2n)m (k )m+1 [(1 + 3nk) + n ]
= (2n)m (k )m+1 [ (1 + 3nk) + n]
n
(2nk )m+1 , (si ).
1 + 3nk
En definitiva tendremos que para > 0 satisfaciendo
1
, , 2nk < 1,
k(1 + k) 2k + 6nk 2
n
1 + (1 + 3nk) + n 2n, ,
1 + 3nk
596 Tema 9. El problema de Cauchy
y esto implica que L = 0, pues L(f )(p) solo depende del valor de f en
un entorno de p.
La existencia vamos a demostrarla como consecuencia de las siguientes
propiedades.
1.- Si P y Q tienen adjuntos, tambien P + Q y vale
(P + Q) = P + Q .
(P Q) = Q P ,
pues
Z Z
v[P Q](z)dx1 dxn = v[P [Q(z)]dx1 dxn
U
ZU
= Q(z)P (v)dx1 dxn
ZU
= zQ [P (v)]dx1 dxn .
U
598 Tema 9. El problema de Cauchy
1
+ [v(x1 , y1 ) z(x1 , y1 ) v(x1 , y(x1 )) z(x1 , y(x1 ))]+
2
1
+ [v(x1 , y1 ) z(x1 , y1 ) v(x(y1 ), y1 ) z(x(y1 ), y1 )]
2
= v(x1 , y1 ) z(x1 , y1 )
1
[v(x1 , y(x1 )) z(x1 , y(x1 )) + v(x(y1 ), y1 ) z(x(y1 ), y1 )]
Z2 Z y1 Z x1
z,v + (ve vy )z dy + (vf vx )z dx,
C1 y(x1 ) x(y1 )
para la 1forma
1 1 1 1
z,v = vzx vx z + vf z dx vzy + vez vy z dy.
2 2 2 2
z = u, zx = p, zy = q.
(9.28) P (v) = 0,
vy = ve, en el eje x = x1 ,
vx = vf, en el eje y = y1 ,
inicial v(x1 , y1 ) = 1)
Z y
v(x1 , y) = exp e(x1 , t) dt ,
y
(9.29) Z 1x
v(x, y1 ) = exp f (t, y1 ) dt ,
x1
(9.30)
1
z(x1 , y1 ) = R(x1 , y(x1 ); x1 , y1 ) z(x1 , y(x1 ))+
2
1
+ R(x(y1 ), y1 ; x1 , y1 ) z(x(y1 ), y1 )+
Z2 ZZ
+ z(x,y),R(x,y;x1 ,y1 ) + R(x, y; x1 , y1 ) h(x, y)dx dy
C1 D
1
= R(x1 , y(x1 ); x1 , y1 ) z(x1 , y(x1 ))+
2
1
+ R(x(y1 ), y1 ; x1 , y1 ) z(x(y1 ), y1 )+
Z2
1 1
+ Rp Rx u + f Ru dx
C1 2 2
1 1
Rq + eRu Ry u dy +
2 2
ZZ
+ R(x, y; x1 , y1 ) h(x, y)dx dy,
D
9.9. La funcion de RiemannGreen 603
1
z(x1 , y1 ) = R(x1 , y(x1 ); x1 , y1 ) z(x1 , y(x1 ))+
2
1
+ R(x(y1 ), y1 ; x1 , y1 ) z(x(y1 ), y1 )+
Z 2
1 1 1 1
+ Rq + eRu Ry u dy Rp Rx u + f Ru dx
C1 2 2 2 2
ZZ
R(x, y; x1 , y1 ) h(x, y)dx dy,
D
R(x0 , y0 ; x1 , y1 ) = R (x1 , y1 ; x0 , y0 ),
R(x0 , y0 ; x1 , y1 ) = R(x1 , y1 ; x0 , y0 ).
9.9. La funcion de RiemannGreen 605
2
P (z) = zxy z
(x + y)2
es
(x + y1 )(x1 + y) + (x x1 )(y y1 )
R(x, y; x1 , y1 ) = ,
(x + y)(x1 + y1 )
y demostrar utilizando el metodo de Riemann que la solucion de P (z) = 0,
que satisface z = 0 y zx = x2 en la recta y = x es
1
z(x, y) = (x y)(x + y)2 .
4
2(zx + zy )
Q(z) = zxy + ,
(x + y)
Ejercicios resueltos
X m! X m!
(x1 + + xn )m = x 1 x n
n = x ,
! 1 !
||=m ||=m
! ||! n|| !.
608 Tema 9. El problema de Cauchy
1
.
(1 x)1
Solucion.
n
X Y X 1 1
x = xi i = = .
i=1 i =0
(1 x1 ) (1 xn ) (1 x)1
Pn
Ejercicio 9.3.4.- Demostrar que si x Rn , con i=1 |xi | < 1, entonces la
serie
X ||!
x ,
!
converge absolutamente a
1
.
1 (x1 + + xn )
Solucion.
X ||! X
X ||! X
x = x = (x1 + + xn )j
! j=0
! j=0
||=j
1
= .
1 (x1 + + xn )
Ejercicio 9.3.5.- Demostrar que si x Rn , con |xi | < 1, y Nn , entonces
la serie
X !
x ,
( )!
converge absolutamente a
!
.
(1 x)1+
Solucion. En primer lugar la serie converge absolutamente y uniformemente en
cualquier compacto de nuestro conjunto abierto, pues aplicando el ejercicio (9.3.2)
tenemos que
X ! X ( + )!
x = x
( )! 0
!
n
Y X (i + i )! i
= xi
i=1 =0
i !
i
n
Y i !
=
i=1
(1 xi )1+i
!
= .
(1 x)1+
610 Tema 9. El problema de Cauchy
1 !
= D = ,
(1 x)1 (1 x)1+
observando que la serie de las derivadas converge uniformemente en cualquier com-
pacto de nuestro conjunto abierto.
Ejercicio 9.3.6.- Demostrar que si x Rn , con |xi | < 1, y Nn ,
P
entonces la serie
X ||!
x ,
( )!
converge absolutamente a
||!
.
(1 x1 xn )1+||
Solucion. La serie converge absolutamente en el abierto pues
X ||! X | + |!
|x | = |x |
( )! 0
!
X
X (j + ||)!
= |x |
j=0
!
||=j
X (j + ||)! X j!
= |x |
j=0
j! !
||=j
X (j + ||)!
= (|x1 | + + |xn |)j
j=0
j!
||!
= ,
(1 |x1 | |xn |)1+||
por tanto se tiene el resultado pues se tienen las igualdades anteriores sin tomar
modulos.
Observemos no obstante que tambien pudimos resolverlo del modo siguiente
X ||! X ||!
x = D x
( )! 0
!
X ||!
=D x
0
!
1
= D
1 (x1 + + xn )
||!
= ,
(1 x1 xn )1+||
9.9. La funcion de RiemannGreen 611
pues se tiene que la serie de las derivadas converge uniformemente en cada compacto
del abierto, ya que la diferencia de dos sumas parciales (con 0 )
X (j + ||)!
|s0 (x) s (x)| (|x1 | + + |xn |)j
j!
j=||
X (j + ||)! j
r ,
j!
j=||
se hace tan pequena como queramos haciendo tan grande como queramos y donde
r es el maximo de |x1 | + + |xn | en el compacto.
Ejercicio 9.3.7.- (a) Demostrar que si g C ((a, b)), para [0, 1] (a, b) R
n Z 1
X 1 (i 1
g(1) = g (0) + (1 t)n g (n+1 (t)dt.
i=0
i! n! 0
Ind. Por induccion en n. (a) Dervese (1 t)n+1 g (n+1 /(n + 1)! e integrese entre
0 y 1.
D (0) = M ||!r|| ,
P
y es analtica en { |yi | < r}.
Solucion. Consideremos la funcion
1
h(y) = ,
1 (y1 + + ym )
para la que se demuestra facilmente por induccion que
||!
D h(y) = ,
(1 y1 ym )1+||
y el resultado se sigue de que
x
(y) = M h .
r
612 Tema 9. El problema de Cauchy
c x analtica en
P
EjercicioP9.5.1.- Sabiendo
P que para una funcion f =
0, es D ( c x ) = D (c x ), demostrar que existen constantes M, r > 0
tales que
|D f (0)| ||!M r|| .
c x es absolutamente convergente en un entorno U de 0 y por
P
Solucion. f =
la hipotesis y el ejercicio (8.2.3) del tema VIII, D f (0) =P
!c , por tanto tomando
xi = r, con r suficientemente pequeno tendremos x U y |c |r|| < , por tanto
para todos los salvo para los de un conjunto A finito tendremos |c |r || 1, ahora
basta considerar max{1, |c |r|| : A} = M y como ! ||!,
zx + zy
Q(z) = zxy + .
x+y
(x, y) = x + y,
cuyo ODL asociado Q es el del enunciado, por tanto como la funcion de Riemann
Green asociada a P es constante RP = 1, tendremos que la de Q es
x+y
RQ (x, y; x1 , y1 ) = .
x1 + y 1
2
P (z) = zxy z
(x + y)2
es
(x + y1 )(x1 + y) + (x x1 )(y y1 )
R(x, y; x1 , y1 ) = ,
(x + y)(x1 + y1 )
y demostrar utilizando el metodo de Riemann que la solucion de P (z) = 0,
que satisface z = 0 y zx = x2 en la recta y = x es
1
z(x, y) = (x y)(x + y)2 .
4
2(zx + zy )
Q(z) = zxy + ,
(x + y)
Ahora p = 3x2 y q = 3x2 y por ser la curva de datos iniciales creciente tendre-
mos que
Z
1 1
z(x1 , y1 ) = Rq dy Rp dx
C1 2 2
Z x1
= R(x, x, x1 , y1 )3x2 dx
y1
Z x1 2x
= [(x + y1 )(x + x1 ) + (x x1 )(x y1 )]3x2 dx
(x1 + y1 )3
y1
Z x1
6
= 3
x3 (2x2 + 2x1 y1 )dx
(x1 + y1 ) y1
6
y6
4
y4
12 x1 x1
= 3
1 + x1 y 1 1
(x1 + y1 ) 6 6 4 4
= 2x31 3x21 y1 + 3x1 y12 2y13 .
9.9. La funcion de RiemannGreen 615
Bibliografa y comentarios
Cartan, H.: Teora elemental de las funciones analticas de una y varias variables
complejas. Ed. Selecciones Cientficas, 1968.
Copson, E.T.: Partial Differential Equations. Ed. Cambridge Univ. Press, 1975.
Courant, R. and Hilbert, D.: Methods of Mathematical Phisics. Vol.II, J.
Willey, 1962.
Garabedian, P.R.: Partial Differential Equations. Chelsea, 1986.
John, F. : Partial Differential Equations. SpringerVerlag, 1982.
Munoz, J.: Funciones analticas de una variable. (Apuntes de sus clases).
Spivak, M.: Differential Geometry. Vol. V, Ed. Publish or Perish Inc., 1975.
Vladimirov, V.S.: Equations of Mathematical Phisics. Marcel Dekker, 1971.
Zachmanoglou, E.C. and Thoe, Dale W.: Introduction to Partial Differential
Equations with Applications. Dover, 1986.
La Ecuacion de ondas
617
618 Tema 10. La Ecuacion de ondas
pues
cos() = cos( + ) = 1, (modulo 2 ).
Ahora esta fuerza F produce el movimiento de la cuerda y por la
Segunda Ley de Newton debe ser igual a
T yxx g = ytt ,
p
o para a = T /,
las cuales representan el movimiento de una cuerda que vibra con los
extremos fijos (condiciones frontera), empezando en el instante 0 con
una forma determinada por u y con una velocidad v (condiciones ini-
ciales).
Observemos que la ecuacion de ondas esta definida por un ODL en
el plano xt de segundo orden, de tipo hiperbolico.
1 nx nx
0 (x) = , n (x) = cos , n (x) = sen ,
2 L L
Ademas estas funciones son base del espacio de Hilbert L2 [L, L],
espacio cociente de L2 [L, L] (funciones Borel medibles de cuadrado
integrable) con la relacion de equivalencia dada por la igualdad de fun-
ciones salvo en un conjunto de medida nula. Es decir que el menor
subespacio cerrado que las contiene es el total.
Toda u de esta clase tiene una serie de Fourier
X
X
u= an n + bn n ,
n=0 n=1
y(x, t) = h(x)g(t),
por lo que
Las razones para esta definicion obviamente no han sido mas que
muy debilmente justificadas, sin embargo como se tiene que y(x, t) es
solucion de la ecuacion de ondas, T yxx = ytt , entonces
2 T 2
yt + yx = yt ytt + T yx yxt
t 2 2
= T yxx yt + T yx yxt = (T yx yt ),
x
y si denotamos la energa de la cuerda en el instante t como la suma de
las energas cinetica y potencial,
Z L
2 T 2
E(t) = y + yx dx,
0 2 t 2
1 L
Z
L=T V = (yt2 T yx2 )dx,
2 0
y demuestrese que la ecuacion de ondas da un valor estacionario a la accion.
y para ella se tendra que E(t) = E(0), que en este caso vale
Z L
2 T
E(t) = yt (x, t) + yx2 (x, t) dx
0 2 2
Z L
2 T
= yt (x, 0) + yx2 (x, 0) dx = 0,
0 2 2
La tension de la membrana en
un instante, esta actuando tangen-
cialmente en cada punto de la mem-
brana, en las direcciones de los ejes
coordenados y su modulo vara de-
pendiendo del area de la membrana
en ese instante. Como el area de la
membrana no vara (modulo 2 ) si,
como estamos suponiendo, la despla- Figura 10.5. Membrana vibrante
zamos en un angulo , el modulo
de la tension tampoco vara.
Consideremos ahora un punto (x, y) U , un > 0 pequeno y el
trozo de membrana que en el instante t esta sobre el cuadrado [x , x +
] [y , y + ]. Denotemos con 2 y con 2 + 2 , respectivamente, el
angulo que forman el plano xy y las rectas tangentes a la superficie en
(x, y ) y (x, y + ), en la direccion del eje y, y con 1 y con 1 + 1
el de las rectas tangentes en (x , y) y (x + , y), en la direccion del eje
x. Las fuerzas que estan actuando sobre ese trozo de membrana son la
gravedad y las cuatro tensiones tangenciales.
Se sigue que las 5 fuerzas que actuan sobre el trozo de membrana son
por tanto se tiene que cuando la membrana vibra, cada punto lo hace en
el eje z perpendicular al plano de la membrana. Ahora dividiendo por
42 y haciendo 0, tenemos la ecuacion de ondas bidimensional
Esto nos lleva a estudiar las soluciones de 10.4 que satisfacen las
condiciones
z = f ()g()h(t),
y para la segunda ecuacion, como los dos lados de la igualdad son fun-
ciones de distintas coordenadas, son una misma constante . Ahora bien
como la solucion de g 00 () + g() = 0 debe ser periodica, la unica posi-
bilidad es que = n2 , para cada natural n (demuestrelo el lector). Por
tanto la segunda ecuacion da lugar a las dos ecuaciones
g 00 () + n2 g() = 0,
2 f 00 () + f 0 () + (2 2 n2 )f () = 0,
f () = kJn (),
z(1, , t) = 0 f (1) = 0 Jn () = 0,
zt (, , 0) = 0 c2 = 0,
Ca = {(x1 a1 )2 + + (xn an )2 (t t0 )2 , 0 t t0 },
la parte positiva e inferior del cono solido, entonces tendremos que para
cada T t0 la interseccion
C = Ca {t T },
Nota 10.3 Recordemos que para C Rn+1 cualquier variedad con bor-
de, N el vector unitario normal exterior a C, D cualquier campo tan-
gente de Rn+1 y para la forma de volumen
= dt dx1 dxn ,
638 Tema 10. La Ecuacion de ondas
verifica
n
X
n2i + n2t = 1, (por ser N unitario),
i=1
1
n
nt = .
X 2
n2i n2t = 0, (por ser S caracterstica).
i=1
n n
X X
D= 2ut uxi u2xi + u2t
i=1
xi i=1
t
entonces u = 0 en Ca .
Demostracion. Es una simple consecuencia del resultado anterior,
pues por la hipotesis uxi = 0 en t = 0 y x B[a0 , t0 ], por tanto para
todo 0 T t0
Z n
X
0 u2xi + u2t dx1 dxn 0,
B[a0 ,t0 T ] |t=T
i=1
u1 (x, 0) = u2 (x, 0), u1t (x, 0) = u2t (x, 0), para x B[a0 , t0 ],
entonces u1 = u2 en Ca .
10.3. La Ecuacion de ondas ndimensional. 641
entonces u1 = u2 .
para cada T .
B[0, R + T ] [0, T ],
642 Tema 10. La Ecuacion de ondas
por lo tanto
n
Z X
u2xi + u2t dx1 dxn =
Rn |t=T
i=1
Z n
X
= u2xi + u2t dx1 dxn
B[0,R+T ] |t=T
i=1
Z Xn
= u2xi + u2t dx1 dxn
B[0,R+T ] |t=0
i=1
Z n
X
= u2xi + u2t dx1 dxn .
Rn |t=0
i=1
para cada T 0.
en cuyo caso
Z
0= < D, N > iN
S
n
Z X
u2xi + u2t dx1 dxn +
U |t=T
i=1
Z Xn
+ u2xi + u2t dx1 dxn ,
U |t=0
i=1
u(x, t) = 0, para x U y t 0.
f + f = 0, para x U , y f = 0, para x U ,
g 00 + g = 0, para t > 0,
(ii) Consideremos
f + f = 0, para x U , y f1 = 0, para x U ,
f + f = 0, para x U , y f2 = 0, para x U ,
f2 f f f = ( )f f ,
0 < 1 2 n ,
u = u + ut ,
remos con
Z
1
M [f, S(x, t)] = f iN
4t2 S(x,t)
Z
1
= f iN
4t2 F [S(0,1)]
Z
1
= F [f iN ]
4t2 S(0,1)
Z
1
= f (x + ta)iH ,
4 S(0,1)
el valor P
medio de f en S(x, t), donde a recorre los puntos de la esfera
unidad a2i = 1 y F (a) = x + ta.
Observemos que si f es continua en x, entonces
Z
1
|M [f, S(x, t)] f (x)| |f (x + ta) f (x)|iH 0,
4 S(0,1)
cuando t 0.
y se sigue que
y derivando respecto de t
1 1
utt (x, t) = u(x, t) + ut (x, t)
t2 Z t Z
1 1
f + f
4t2 B(x,t) 4t t B(x,t)
Z
1
= f
4t t B(x,t)
Z
1
= f iN (por el ejercicio 10.4.1)
4t S(x,t)
Z
t
= f (x + ta) iH
4 S(0,1)
= u(x, t) (derivando (10.10)).
Para ello haremos uso del llamado metodo del descenso, que consiste
en considerar la solucion del problema tridimensional con las mismas
condiciones iniciales como funciones del espacio y observando que si en
10.9 la funcion f depende solo de las dos primeras variables, entonces la
solucion tridimensional correspondiente
Z
1
u(x, t) = f iN
4t S(x,t)
Z
1
= f iN ,
4t S(x,t)
Z a+t Z t2 (a)2
1 d
= f () p d
2 at 2
t (a) 2 t 2 ( a)2 2
1 a+t
Z
= f ()d,
2 at
p
y esto porque haciendo el cambio sen x = / t2 ( a)2
Z t2 (a)2
d
2 p = .
t (a)2 t ( a)2 2
2
1 x+t x+t
Z Z
1
u(x, t) = ()d + ()d
2 xt 2 t xt
(10.13)
1 x+t
Z
1
= ()d + [(x + t) + (x t)],
2 xt 2
es la solucion de la ecuacion de ondas unidimensional
uxx utt = 0,
por lo tanto
2 0 (r)
= x
x2 x r
0
0 0
(r) (r) r
= +x
r r x
0 (r) 00 (r)r 0 (r) x
= +x
r r2 r
2 00 2
x (r) 1 x
= + 0 (r) 3 ,
r2 r r
2 2m
00 (r) + 0 (r) + 2 (E V ) = 0.
r ~
Ahora bien en el caso del hidrogeno tenemos un atomo con un elec-
tron con carga q y un proton con carga q, por lo tanto el potencial
electrostatico es
q2
V = ,
r
por lo que la energa total de un electron en reposo por tanto con
energa cinetica nula, en el infinito (r = ), sera nula, por lo que la
energa de un electron ligado al nucleo es decir que no tiene energa
suficiente para irse al infinito, es negativa
E = 2 ,
2 2m q2
00 (r) + 0 (r) 2 (2 + ) = 0,
r ~ r
y si consideramos la nueva variable x y la funcion v(x) tales que
2r
x= 2m, (r) = ex/2 v(x),
~
10.5. La Ecuacion de Schrodinger. 657
xy 00 + (1 x)y 0 + py = 0,
y si la derivamos obtenemos
q4 m
En = n2 =
2n2 ~2
658 Tema 10. La Ecuacion de ondas
Ejercicios
para bn los coeficientes de Fourier de u. Ahora para f (x) = u0 (x) tendremos que
X
f (x) = yx (x, 0) = bn n cos(n x),
n=1
1 L
Z
L=T V = (yt2 T yx2 )dx,
2 0
y demuestrese que la ecuacion de ondas da un valor estacionario a la accion.
Solucion.- Consideremos la accion
Z b
1 b L
Z Z
Ldt = (yt2 T yx2 )dxdt,
a 2 a 0
la cual si consideramos la funcion
1
F (x, t, y, yx , yt ) =(yt2 T yx2 ),
2
se minimiza para la funcion y(x, t) que satisfaga la Ecuacion de EulerLagrange
Fy Fy Fy = 0,
x x t t
que es la ecuacion de ondas.
660 Tema 10. La Ecuacion de ondas
pues d(f ) = 0 y donde F (a) = x + a, que lleva F (B[0, 1]) = B[x, ].
10.5. La Ecuacion de Schrodinger. 661
Bibliografa y comentarios
(x + at) + (x at),
665
666 Tema 11. La Ecuacion del calor
En este principio suponemos que todos los puntos del material estan
a la misma temperatura u. En caso contrario tendramos que hacer una
division del material en pequenas porciones en las que la temperatura
sea practicamente constante y aplicar el principio a cada una de ellas,
por lo que la cantidad de calor necesaria para cambiar la temperatura del
material de u1 a u2 es la integral, en el recinto R que ocupa el material
Z
c(u2 u1 )dxdydz,
R
Principio del maximo 11.1 Sea u una solucion de la ecuacion del calor
M1 u(x, t) M2 , en C M1 u(x, t) M2 , en R.
entonces
Nota 11.4 Observemos que la ecuacion del calor es, como la de ondas,
invariante por traslaciones tanto en el tiempo como en el espacio, por lo
tanto los resultados anteriores son validos si en vez del intervalo temporal
[0, t0 ], consideramos [T, T + t0 ], para cualquier T R. Sin embargo no
es invariante, como s lo es la de ondas y en esto tenemos una diferencia
fundamental entre ambas, por la transformacion temporal t = t, pues
esta transformacion la convierte en la ecuacion
Kuxx = ut ,
u(x, t) = h(x)g(t),
u(x, t) = Ax + B.
u(x, t) = h(x)g(t),
672 Tema 11. La Ecuacion del calor
1 L 2 L
Z Z
nx nx
bn = f (x) sen dx = f (x) sen dx,
L L L L 0 L
11.1. La Ecuacion del calor unidimensional 673
2 L
Z
|bn | c = |f (x)|dx,
L 0
y por tanto si f es continua en [0, L] o con mas generalidad, si f es
integrable, sus coeficientes de Fourier bn estan uniformemente acota-
dos. En tal caso se tiene el siguiente resultado.
u C (R (0, )),
y como los terminos de la derecha definen una serie que converge uni-
formemente en R [t0 , ), para cualquier t0 > 0, nuestra serie tambien
674 Tema 11. La Ecuacion del calor
2 L 2 L
Z Z
nx nx
gm (x) sen dx g(x) sen dx, m ,
L 0 L L 0 L
de nuestro problema
para la funcion
2 X K2n t
K(, x, t) = e sen(n ) sen(n x).
L n=1
678 Tema 11. La Ecuacion del calor
satisface
lim u(x, t) = f (x0 ),
(x,t)(x0 ,0)
u = u1 + u2 .
donde a, b, c R.
y sumarsela a una de
i
y 00 + y = 0, y(0) = A, y(L) = 0,
K
lo cual implica que
para
r r
i
= = (1 + i),
K 2K
y donde la constante es tal que y(L) = 0. La solucion por tanto es
es decreciente.
, , , ,
x x t t
682 Tema 11. La Ecuacion del calor
D = 2Kuux u2 ,
x t
y la desigualdad
entonces es unica.
M1 u(x, 0) M2 , para x R
M1 u(x, t) M2 , para (x, t) R [0, ).
que la ecuacion no tiene solucion unica a menos que este acotada por
2
|u(x, t)| < M eax .
En la pag. 344 del Zachmanoglou and Thoe se da tambien referencia de no
unicidad para f = 0.
11.1. La Ecuacion del calor unidimensional 685
2M x2
v(x, t) = 2 + Kt ,
L 2
x2
2M
u(x, t) v(x, t) = 2 + Kt , para (x, t) [L, L] [0, ),
L 2
Por otra parte se tiene que 11.6 satisface la ecuacion del calor y por
tanto tambien u en t > 0.
Tan solo falta ver que u es continua en (x0 , 0), si f lo es en x0 . Para
ello consideremos un > 0 y un > 0 tal que |f (x) f (x0 )| < , para
|xx0 | < , entonces haciendo el cambio de variable = zx, tendremos
que
Z x+ Z y+
ca[u(x, y, t + t) u(x, y, t)]dxdy,
x y
ahora bien este calor solo ha podido entrar en el trozo de placa por el lado
[x, x+]{y} hacia arriba (ver dibujo), por el lado [x, x+]{y +}
hacia abajo, por el lado {x} [y, y + ] hacia la derecha y por
el lado {x + } [y, y + ] hacia la izquierda y estas cantidades son
por el primer principio,
Por tanto tenemos que ambas cantidades deben ser iguales y divi-
diendo por ca2 t y haciendo 0 y t 0, tenemos la ecuacion
Ku = ut , para x U y t > 0,
Ku = ut , para x U y t > 0,
u(x, t) = 0, para x U y t 0.
+ = 0, para x U , y = 0, para x U ,
h0 + Kh = 0, para t > 0,
u(x, 0) = (x), x U,
692 Tema 11. La Ecuacion del calor
u(x, y, t) = f (x)g(y)h(t),
f 00 (x) g 00 (y)
+ = ,
f (x) g(y)
h0 (t) + Kh(t) = 0,
h(t) = eKt ,
f 00 (x) f (x) = 0,
00
g (y) + ( + )g(y) = 0.
nx my
h 2
i h i
m 2 2 2
( n
L ) +( R )
=e (L) ( R )
Kt n + m Kt
e sen sen unm ,
L R
y sus combinaciones lineales finitas, son soluciones del problema con esas
condiciones frontera. Si ahora consideramos la condicion inicial
para
R
um,n dxdy
Am,n = RU 2
u
U m,n
dxdy
Z RZ L
1 nx my
= (x, y) sen sen dxdy.
4LR 0 0 L R
u = f ()g()h(t),
u = ut , para x U y t > 0,
u(x, 0) = (x), x U.
u = 0, para x U ,
u(x) = (x), para x U ,
u = ut , para x U y t > 0,
u(x, t) = 0, para x U y t 0,
u(x, 0) = (x) u1 (x), x U,
Ejercicios
donde a, b, c R.
Solucion.- Basta considerar
ba c
u1 (x, t) = a + ct + x + x(x L) .
L 2K
Ejercicio 11.1.3.- Encontrar la solucion de la ecuacion
Solucion.-
a X 2 an 2nx 4n222 Kt
u(x, t) = + (1)n sen cos e L .
L n=1 n L L
696 Tema 11. La Ecuacion del calor
Bibliografa y comentarios
La Ecuacion de Laplace
2 2 2
= + + + .
x21 x22 x2n
a2 u = utt , Ku = ut .
u = 0,
699
700 Tema 12. La Ecuacion de Laplace
(div D) = DL = d(iD ),
y caracterizar los polinomios homogeneos de segundo orden del plano que sean
funciones armonicas.
12.1. El operador de LaPlace 701
= 0, en R3 \{p1 , . . . , pn },
lim (x) = , lim (x) = 0.
xpi kxk
y1 x1
Z
ux1 = 3
dy1 dy2 dy3 ,
V kx yk
(y2 x2 )2 + (y3 x3 )2 2(y1 x1 )2
Z
ux1 x1 = dy1 dy2 dy3 ,
V kx yk5
y por tanto
Z Z
1 2
= r sen drdd
B[0,L] rn B[0,L] r n
Z 2 Z Z L Z L
= r2n sen drdd = 4 r2n dr.
0 0 0 0
ademas
xi (x + y) yi (x + y)
=
kyk kyk
(x + y) yi (x + y)
= + ,
yi kyk kyk3
M1 u M2 , en U M1 u M2 , en U .
v > 0, para x U ,
v(x) M, para x U ,
y demostremos que v M , en U .
Consideremos el punto p U en el que v alcanza el maximo, entonces
o bien p U , en cuyo caso el resultado se sigue, o bien p U , en cuyo
caso se tiene la siguiente contradiccion
v
(p) = 0,
xi
2 0 < v(p) 0.
v
(p) 0,
x2i
por tanto
v = 2n > 0, en U ,
v(x) M + r2 , para x U ,
Este principio establece que una membrana tensa sin vibracion (ut =
0), a la que no se le aplica ninguna fuerza externa, no puede estar abul-
tada ni hacia arriba ni hacia abajo.
De este principio se sigue facilmente la unicidad de solucion u del
problema de Dirichlet, mas generalmente se tiene el siguiente resulta-
do.
ux = vy ,
uy = vx ,
por ejemplo
lo cual implica que fijado cualquier (x0 , y0 ) U , se tiene que para todo
(x, y) y toda curva que una (x0 , y0 ) con (x, y), la funcion
Z (x,y)
v(x, y) = ux dy uy dx,
(x0 ,y0 )
2
= uyy + uy ( ) + vyy + vy ( )=
y 2 u y u v y v
2 2
= uyy + uy (uy 2 + vy )+
u u vu
2 2
+ vyy + vy (uy + vy 2 ),
v uv v
y de aqu se sigue aplicando las Ecuaciones de CauchyRiemann,
que
2 2
2
2
2 2
+ = (u x + u y ) + .
x2 y 2 u2 v 2
lo cual implica que F lleva funciones armonicas en funciones armonicas.
Observemos que F es una transformacion conforme, es decir es un
difeomorfismo que conserva la orientacion y los angulos, pues por una
parte la matriz de la aplicacion lineal tangente F es
ux uy ux uy cos sen
= =R .
vx vy uy ux sen cos
para q
R= u2x + u2y , ux = R cos , uy = R sen ,
lo cual implica que cada vector se multiplica por un factor R y se gira
un angulo . Por otra parte se tiene que
F [dx dy] = du dv
= (ux dx + uy dy) (vx dx + vy dy)
= (ux vy uy vx )dx dy
= (u2x + u2y )dx dy.
es decir deja los puntos de la esfera invariantes, los puntos de dentro los
lleva a puntos de fuera en la misma direccion (y los de fuera a dentro),
de modo que es constante el producto
kxk kF (x)k = r2 .
Que la inversion en el plano pinchado R2 {0}, conserva las funciones
armonicas se sigue de que en terminos complejos F es composicion de la
transformacion conforme
r2 x r2 y r2 z r2
G(z) = u iv = i 2 = = ,
x2 +y 2 x +y 2 zz z
12.3. Transformaciones que conservan las funciones armonicas 717
2
2
2
2 1 1 1
= + + + +
2 2 2 sen2 2 tan
2
2 1
= + + P2 ,
2 2
1
g(x, y, z) = p .
(x a)2 + (y b)2 + (z c)2
F = (u1 , . . . , un ) : U Rn V Rn ,
iii.-
n n
X 2 2
X 2
2 = (x) .
i=1
xi i=1
u2i
n n n
! n n
!
X 2 X X X X 2
= ujxi xi + ujxi ukxi ,
i=1
x2i j=1 i=1
uj i=1
uk uj
j,k=1
n
X n X
X X
T0 = dui dui = ( uixj dxj ) ( uixj dxj )
i=1 i=1
n
X
= f (x) dxi dxi ,
i=1
i=1
u2i g i,j=1 xi xj i=1
xi xi
n n2 n 2
X f 2 n2 X
= f n/2 + f n/2 f 2
i=1
xi xi i=1
x2i
n
X 2
= f 1 ,
i=1
x2i
tendremos que
n
X 2 2n
2 = grad 4 + 4
i=1
u i 2
2n 3
= 4 grad + 2+n 2n
2
= 3 n1 2 grad 2n + 2+n 2n
= n+2 ( 2n 2n ) + 2+n 2n
= n+2 2n ,
[, g] = g g = g + 2 grad g,
g g = 2 grad g,
en particular para g = 2n
2n 2n = 2 grad 2n .
por otra parte las series cuyos terminos son las derivadas parciales
respecto de x, y, xx e yy, de los terminos de nuestra serie, tambien
convergen en [0, ) (0, ) y uniformemente en [0, ) [y0 , ), para
cualquier y0 > 0, por tanto u es de clase 2 y podemos derivarla derivando
termino a termino la serie y satisface la ecuacion de Laplace, pues cada
termino de la serie la satisface.
Por ultimo falta demostrar que u es continua en y = 0, para ello
supondremos que f1 es continua, por lo tanto su serie de Fourier
sn (x, 0) f1 (x),
724 Tema 12. La Ecuacion de Laplace
m
n cos n
Z Z
1 X
sm (, ) = f (x)dx + f (x) cos nx dx+
2 n=1
Rn
sen n
Z
+ f (x) sen nx dx =
Z " m
1 1 X n
= f (x) + (cos n cos nx+
2 n=1 Rn
+ sen n sen nx)] dx
" m
#
1 1 X n
Z
= f (x) + cos n( x) dx,
2 n=1 Rn
" #
Z
1 1 X n
u(, ) = f (x) + cos n( x) dx.
2 n=1 R
12.5. Problema de Dirichlet en un disco 727
1 R cos( x) 2
= + 2
2 2R cos( x) + R2
R 2 2
= ,
2[2 + R2 2R cos( x)]
por lo tanto
R 2 2
Z
1
u(, ) = f (x) dx.
2 2 + R2 2R cos( x)
siendo
2n(2n + 1)
an = ,
(2n + 1)(2n + 2)
y por tanto
n n
Y 2i(2i + 1) Y c0
c2(n+1) = c0 = [2i(2i + 1) ] ,
i=0
(2i + 1)(2i + 2) i=0
(2n + 2)!
tiene terminos pares, pues los coeficientes pares se anulan a partir del
n + 1 y todos los coeficientes impares se anulan si tomamos c1 = 0. Y lo
mismo si n es impar, tomando c0 = 0. Esta solucion polinomica Pn esta
definida en todo R, en particular en el x = 1 recordemos que x = 1
corresponde a = 0.
Si por el contrario no es de esa forma, todos los coeficientes pares
son no nulos a menos que c0 = 0 y los coeficientes impares tambien son
no nulos a menos que c1 = 0. En cuyo caso la serie converge para |x| < 1,
para lo cual basta aplicar por separado el criterio del cociente a las series
formadas por los terminos impares y por los pares. En cualquier caso
las series no convergen en x = 1. Por tanto solo nos interesa el valor
de = n(n + 1) para el que la ecuacion de Legendre correspondiente
tiene solucion Pn .
Estos polinomios Pn tienen las siguientes propiedades:
Formula de recurrencia.
2n + 1 n
Pn+1 (x) = xPn (x) Pn1 (x),
n+1 n+1
Formula de Rodrigues.
1 dn 2
Pn (x) = (x 1)n ,
2n n! dxn
y ademas son ortogonales en el sentido de que
(R 1
P (x)Pm (x)dx = 0, para n 6= m
1 n
< Pn , Pm >= 2
2n+1 , para n = m.
u = P u,
exterior a C,
Z Z
v N u iN = v < grad u, N > iN
C
ZC
= < vD, N > iN
ZC
(12.3) = ivD
ZC Z
= d(ivD ) = div(vD)
ZC C
iT = hiN ,
(12.4) u = P u,
Ejercicio 12.7.1 1.- Demostrar la siguiente version del principio del maximo
para la ecuacion 12.4, con P > 0. La solucion u no puede alcanzar un maximo
positivo ni un mnimo negativo en el interior de C. Como consecuencia demos-
trar que si M1 u M2 en C, con M1 < 0 y M2 > 0, entonces M1 u M2
en C. Por ultimo comprobar que para M1 < M2 arbitrarias en general no es
cierto el resultado (Ind. Considerese la funcion u = x2 + y 2 + 1).
2.- Demostrar que la solucion u del problema de Dirichlet de 12.4, para
P > 0, es continua respecto de su valor f en la frontera.
cuando r 0.
y es continua.
lim u(x) = , o = ,
kxpi k0
ky pi k u(y) M, o u(y) M ,
Si = {y B[pi , ] : u(y) = M },
I(u) I(v).
R
lo cual implica que I(u) = < grad v, grad u > y por tanto
U
Z
0 I(u v) = I(u) 2 < grad v, grad u > + I(v)
U
= I(v) I(u).
Ejercicios
solucion de
f = 0, para x2 + y 2 < 1,
(
1, si x2 + y 2 = 1, y > 0,
f (x, y) =
1, si x2 + y 2 = 1, y < 0,
Bibliografa y comentarios
y en general al
Cajori, Florian: A history of mathematics. Chelsea Pub. Co., 1985. (Reedicion
de la segunda edicion de 1919, siendo la primera edicion de 1893).
Smbolos utilizados A
DF , 22 accion, 472
Dp , 12 adjunto de un sistema, 164
F 0, 2 algebra
F , 3, 24, 116 de funciones continuas, 1
F , 16 de Grassman, 121
Fx0 , 2 de Lie, 85
de polinomios, 1
Jp1 (f ), 394
exterior, 121
L(E1 , E2 ), 2
tensorial, 120
T (U ), 17
anillo conmutativo, 107
(V ), 287 aplicacion
x , 286 analtica, 560
x , 24 contractiva, 60
/t, 38 de Poincare, 260
/vi , 33 diferenciable, 2, 328
f /xi , 4 lineal
sig(), 117 cotangente, 24
sop(F ), 7 tangente, 16, 329
dx , 25 lipchiciana, 60
dvi , 33 uniformemente, 62
C(E), 1 localmente lipchiciana, 60
C k (U ), 3 aproximacion
D(U ) = D (U ), 18 a una orbita, 262
en espiral, 266
DF , 293
armonico nesimo, 629
D0 (U ), 18
Arnold, V.I., 105
DL (U ), 19
Arqumedes,(287 AC212 AC), 342
Dk (U ), 18 Arzela, C. (18471912), 104
E , 1 autovalores de un campo tangente li-
J 1 (U), 394 neal, 152
Jp1 , 393
P(E), 1 B
P(V), 285 bateras, 209
Px , 285 Bendixson, I. (18611936), 104
S(T ), H(T ), 118 Bernoulli, D. (17001782), 220
WD , 66 Bessel, F.W. (17841846), 220
1forma regular, 312 Birkhoff, 277
749
750 INDICE DE MATERIAS
U
1forma
complejizacion, 496
de calor, 319
de Liouville, 29, 388
del trabajo, 240, 319
en un espacio vectorial, 24
en una variedad, 328
homogenea, 310
V
ValleePousin, Charles de la, (1866
1962), 104
variedad
C k diferenciable, 12
diferenciable, 327
integral, 304
maxima, 304
simpletica, 387
tangente, 304
vector, 150
cotangente, 24
de RungeLenz, 404, 438
tangente, 12
Vinograd, 278
ejemplo de, 255
Volterra, Vito (18601940), 104, 276