Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Ecuaciones Diferenciales
II
II
NDICE GENERAL
III
IV NDICE GENERAL
IV
C APTULO 1
Mtodos elementales de
resolucin de ecuaciones
diferenciales ordinarias
1
2
lm P(t) = 106 ,
t
(a) x0 = et 2t
t2 1
(b) ( x2 + 9) y0 + xy = 0
dy
(c) dx = 2xe y
(d) x0 = 1+t
t2 x2
(e) x0 = et+x
2
Mtodos elementales 3
6
110
800000
600000
400000
200000
3
4
y0 x
= 2
y x +9
C
y( x) = .
x2 + 9
dy
(c) Separando las variables resulta e y dx = 2x, de donde se obtiene la
solucin general
y( x) = log( x2 + C ) , C R : x2 + C > 0 ,
1+t
x2 x0 = .
t2
Integrando entonces con respecto a t en ambos miembros de la ecua-
cin encontramos que la solucin general de la misma viene dada
por
1
1 3
x(t) = 3 log(|t|) +C , C R.
t
4
Mtodos elementales 5
cuya nica solucin viene dada por x(t) = A0 et . Para tener com-
pletamente determinada la solucin necesitamos conocer el valor de
la constante de desintegracin , el cual puede encontrarse a travs
de la relacin (establecida en el enunciado del problema)
0,0043 99,9957
x(15) = 1 A0 = A0 ,
100 100
por lo que ha de ser
99,9957 1 99,9957
A0 e15 = A0 = log .
100 15 100
A0
99,9957
1
log t0
A0 e 15 100 =
2
15 log(2)
t0 = = 241790 aos .
log(100) log(99,9957)
( f g)0 = f 0 g0
1 Tiempo necesario para que la cantidad inicial de tomos se reduzca a la mitad
5
6
3 +2x
es falsa en general. Si fijamos f ( x) = e x , determina las funciones
g que verifican dicha identidad.
Entonces ha de cumplirse
3 +2x 3 +2x
(3x2 + 1) e x g0 ( x) = (3x2 + 2) e x g( x)
o, equivalentemente,
g0 ( x) 3x2 + 2
= 2 .
g( x) 3x + 1
Resolviendo esta ecuacin diferencial en variables separadas obtene-
mos
x+ 1 arctan( 3x)
g( x) = C e 3 , C R.
(a) 3x + y 2 + y0 ( x 1) = 0
(c) x + ( x t) x0 = 0
(d) 2t + 3x + ( x + 2) x0 = 0
6
Mtodos elementales 7
3x + y 2 = 0 , 1x = 0,
X = x1, Y = y+1.
Y + 3X Y
Y 0 = y0 = = +3, (1.1)
X X
que es una ecuacin diferencial homognea. Haciendo ahora el cam-
Y
bio de funcin incgnita u = X y usando (1.1) obtenemos
Y 0 = u + Xu0 = u + 3 ,
y( x) = 3( x 1) log(| x 1|) + C ( x 1) 1 , C R.
(t2 z2 1) z 1 z0 + 2tz3 = 0 ,
de donde resulta
(t2 z2 1) z0 + 2tz2 +1 = 0
o, equivalentemente,
tz2 +1 ( z/t)2 +1
0 2 2
z = =
t2 z2 1 ( z/t)2 (1/t2 +2 )
7
8
x log(| x|) + t + Cx = 0 , C R.
3x + 2t = 0 , x+2 = 0,
2u z
= t y x = z
8
Mtodos elementales 9
T = t3, X = x+2.
3X + 2T 3X + 2
X 0 = x0 = = TX , (1.2)
X T
X
que es homognea. Haciendo ahora u = T y usando (1.2) obtenemos
3u + 2
X 0 = u + Tu0 = ,
u
de donde se deduce que
u2 + 3u + 2
0 1
u = .
T u
( X + 2T )2
= CT 2
X+T
y despus a
( x + 2t 4)2
= C (t 3)2 .
x+t1
6. Encuentra la curva plana que pasa por (1, 1) y verifica que dado un
punto cualquiera ( x, y), al considerar el corte de la recta tangente a
la curva en ese punto con el eje de ordenadas y el corte de la recta
normal con el eje de abscisas, su distancia al origen es la misma.
9
10
x = xx
0 t
+t ,
x(1) = 1
0
x = tx+xt
,
x(1) = 1
correspondientes ambos a ecuaciones homogneas. El primero de
ellos puede reescribirse de la siguiente forma
x
1
(
x0 = xt +1
t .
x(1) = 1
Haciendo el cambio de variable u = xt se llega a la siguiente ecuacin
diferencial con variables separadas
1 u2 + 1
0
u = ,
t u+1
con dato inicial asociado u(1) = x(1) = 1, cuya nica solucin3
satisface la siguiente relacin implcita:
x
2 arctan + log( x2 + t2 ) = + log(2) .
t 2
3 Es inmediato verificar las condiciones del teorema de existencia y unicidad de solu-
ciones
10
Mtodos elementales 11
(Febrero 1993)
(Febrero 1996)
11
12
15
10
-4 -2 2 4
-5
-10
-15
12
Mtodos elementales 13
En efecto,
P Q
= 2t cos(tx) t2 x sen(tx) = .
x t
Entonces
F
= P F (t, x) = t sen(tx) + H ( x) .
t
Por otro lado
F
= Q H0 0 H k R .
x
Por tanto, la solucin general responde a la siguiente relacin impl-
cita:
t sen(tx) = C R .
sen(2x) sen2 ( x)
P( x, y) = +x, Q( x, y) = y .
y y2
En efecto,
P 2 sen( x) cos( x) Q
= = .
y y 2 x
Entonces
F cos(2x) x2
= P F ( x, y) = + + H ( y) .
x 2y 2
Por otro lado
F 1 y2 1
= Q H 0 ( y) = y 2 H ( y) = + .
y 2y 2 2y
Por tanto, la solucin general responde a la siguiente relacin impl-
cita:
1
y2 + x2 + 1 cos(2x) = C R .
y
(c) La ecuacin no es exacta, ya que para las funciones
13
14
Entonces resulta
o, equivalentemente,
3m + 4n = 14 , 3n + 4m = 7 ,
F
= y3 x5 (3xy 4) F ( x, y) = x3 y4 + x4 y3 + H ( y) .
x
Por otro lado
F
= x4 y2 (3 4xy) = 4x3 y3 + 3x4 y2 + H 0 ( y) H k R .
y
Consecuentemente, la solucin responde al siguiente esquema im-
plcito:
x4 y3 (1 xy) = C R .
P Q
1 , = y1.
y x
P? ( x, y) = y ( y) , Q? ( x, y) = x( y 1) ( y) .
14
Mtodos elementales 15
Entonces ha de cumplirse
y 0 ( y) ( y) = ( y 1) ( y) ( y) = e y .
Buscamos finalmente F ( x, y) tal que
F F
= ye y , = x( y 1)e y .
x y
Se tiene que
F ( x, y) = xye y + H ( y) y x( y 1)e y = xe y + xye y + H 0 ( y) ,
de lo cual resulta finalmente que H k R, por lo que la solucin
de la ecuacin de partida responde a la siguiente relacin implcita:
xye y = C R .
(t + 1)2 0 (t + x) = 2t (t + x) + (1 + t2 ) 0 (t + x) .
Resolviendo esta ecuacin obtenemos (t + x) = et+x . Buscamos en-
tonces F (t, x) tal que
F
= (t + 1)2 et+x F (t, x) = (1 + t2 )et+x + H ( x) .
t
Finalmente, la funcin H ( x) queda determinada sin ms que impo-
ner la condicin
F
= (1 + t2 )et+x + H 0 ( x) = Q(t, x) (t + x) = (1 + t2 )et+x ,
x
que nos conduce a H k R. Por tanto, la solucin x(t) viene dada
por la ley implcita
(1 + t2 ) et+ x = C R .
15
16
P( x, y) = 1 + xy + y2 , Q( x, y) = 1 + xy + x2 ,
se tiene que
P Q
= x + 2y 6= y + 2x = .
y x
Buscamos un factor integrante de la forma ( x, y) = ( xy). La con-
dicin suficiente y necesaria que ha de cumplirse para que en nuestro
caso ( xy) sea factor integrante es
F
= (1 + xy + y2 )e xy F ( x, y) = ( x + y)e xy + H ( y) .
x
Finalmente, la funcin H ( y) queda determinada al imponer la con-
dicin
F
= ( x2 + xy + 1)e xy + H 0 ( y) = Q( x, y) ( xy) = (1 + xy + x2 )e xy ,
y
P( x, y) = x + y2 , Q( x, y) = 2( y2 + y + x 1) ,
se tiene que
P Q
= 2y 6= 2 = .
y x
Buscamos un factor integrante de la forma = (e ax+by ), el cual
habr de verificar la siguiente condicin suficiente y necesaria:
16
Mtodos elementales 17
2y ( y2 x2 ) + 2y( x2 + y2 + 1) 0 ( y2 x2 )
= 2y ( y2 x2 ) + 4x2 y 0 ( y2 x2 ) .
Resolviendo esta ecuacin en variables separadas obtenemos
1
( y2 x2 ) = .
( y2 x2 + 1)2
Buscamos ahora F ( x, y) tal que
F x2 + y2 + 1 x
= 2 4 F ( x, y) = 2 + H ( y) .
x 2
( y x + 1) 2 y x2 + 1
4 Para x2 + y2 +1
calcular una primitiva de ( y2 x2 +1)2 con respecto a x basta con observar que la
siguiente descomposicin es satisfecha:
!
x2 + y2 + 1 1 1 1
= + .
( y2 x2 + 1)2
p p
2 ( x 1 + y2 )2 ( x + 1 + y2 )2
17
18
F 2xy
= 2 + H 0 ( y)
y ( y x2 + 1)2
2xy
= Q( x, y) ( y2 x2 ) = ,
( y2 x2 + 1)2
2
2t = a(t)t2 a(t) = t 6= 0
t
y, en cualquier caso, el coeficiente a(t) slo estara definido en R \ {0}
(no en R).
Sin embargo, la respuesta es SI para el caso no homogneo x0 (t) =
a(t) x(t) + b(t). En efecto, bastara con encontrar funciones continuas
18
Mtodos elementales 19
et = a(t)et , et = a ( t ) et ,
1 + cos(2t)
cos2 (t) = .
2
19
20
Al evaluarla en t + se obtiene
1 1 1 1
x(t + ) = Ce( + 2 )(t+ )+ 4 sen(2t+2 ) = Ce( + 2 )(t+ )+ 4 sen(2t) ,
es decir, = 12 .
(a) x0 tx = 3t
(b) y0 = 5y + cos( x)
0 2t
(c) x = t2 +1 x + t3
(d) x0 2x = 4e2t
t2
luego C 0 (t) = 3te 2 . Por tanto
t2
C (t) = 3e 2 + K , K R.
yh = Ce5x , C R.
20
Mtodos elementales 21
xh = C (t2 + 1) , C R.
xh = Ce2t , C R.
21
22
(b) x0 x
t = 1
1+t2
, x(2) = 0
x(t) = (t + K ) e3t , K R.
(1 + K ) e3 = 5 K = 5e3 1 ,
luego
x(t) = (t + 5e3 1) e3t .
1 1
C0 t + C C = 2
C 0 (t) =
1+t t(1 + t2 )
t
C (t) = log +K, K R.
1 + t2
Entonces la solucin general de la ecuacin completa es
t
x(t) = log +K t, K R.
1 + t2
22
Mtodos elementales 23
xh (t) = C esenh(t) , C R.
Por tanto
x(t) = (t + K ) esenh(t) , K R.
Al imponer finalmente x(0) = 1 obtenemos K = 1 y, en consecuen-
cia, la nica solucin de nuestro problema de valores iniciales es
x(t) = (t + 1) esenh(t) .
x0 = a(t) x + b(t)
23
24
tt a(s) ds
n R o n Rt o
t c ds
0 lm x0 e | x0 | lm e
0 0
t t
n o
= | x0 | lm ec(tt0 ) = 0 .
t
t3
(a) 3tx0 2x = x2
(b) x0 = et x7 + 2x
24
Mtodos elementales 25
y log( x)
(c) y0 + x = x y2
0 2 t2 2
x x= x . (1.4)
3t 3
Multiplicando ahora la ecuacin (1.4) por x2 llegamos a
2 3 t2
x2 x0 x = ,
3t 3
que es equivalente a la ecuacin
0 2 t2
z z= (1.5)
t 3
3
va el cambio de variable z = x3 . La solucin general de la ecuacin
(1.5) es
2 t
z(t) = t +C , C R,
3
luego deshaciendo el cambio de variable obtenemos
1
x(t) = (t3 + Ct2 ) 3 , C R.
25
26
z( x) = Cx log( x) 1 , C R.
(a) y0 = y2 xy + 1 , y p ( x) = x
(b) y0 = x4 y2 , y p ( x) = 1
x 1
x2
26
Mtodos elementales 27
de modo que
0
u0 1 1 2 1 1 2
2 = = y0 + 2 3 = 4 y2 + 2 3
u u x x x x x
1 1 1 1 2 1 2 1 2 11
= 4 + + 2 3 = 2 1
x u x x2 x x u x x u
o, equivalentemente,
2 1
u0 = 1 + 1 u
x x
que es una ecuacin diferencial lineal de primer orden cuya solucin
general es
2 1
u( x) = x2 Ce x + , C R.
2
Deshaciendo el cambio de variable concluimos que la solucin de la
ecuacin de Riccati de partida es
!
1 1
y( x) = 2 x 1 + 2
, C R.
x Ce x + 1 2
x 1 = x2 x 1 + x2 ,
27
28
luego ha de ser = 1.
(b) Para la solucin particular encontrada en (a), y0 ( x) = 1x , conside-
ramos el cambio de funcin incgnita
1
u( x) = . (1.7)
y ( x ) x1
Entonces
0
u0 1 1 y
2 = = y0 + 2 = y2
u u x x
1 1 2 1 1 1 11 1
= + + = + ,
u x x u x u u x
luego resolver el problema de valores iniciales asociado a (1.6) con
dato inicial y(1) = 2 equivale a resolver la siguiente ecuacin dife-
rencial lineal de primer orden
u
u0 + = 1
x
con dato inicial u(1) = 1. La (nica) solucin de este ltimo proble-
ma se puede calcular fcilmente, obtenindose
1 3 x2
u( x) = .
2 x
Por tanto, deshaciendo el cambio de variable (1.7) llegamos a la so-
lucin del problema de Riccati de partida:
x2 + 3
y( x) = .
x(3 x2 )
28
Mtodos elementales 29
(h) x0 = 1
x+t
y
(i) y0 = 2y log( y)+ y x
(j) y0 = 1 + e2x
y
(k) y0 = x (log( y) log( x))
(l) xy0 + y = 2x
(m) y0 = log( x y )
h i
C
Solucin : (a) Variables separadas: x(t) = arctan (2et )3
, C R.
3
(b) Homognea: x0 = 3t22t
x+ x3
2
= 3(x/t)+( x/t)3
. La solucin general
viene dada por la siguiente relacin implcita7 :
y log( x)
(c) Bernoulli: y0 + x = x y2 . La solucin general es8
1
y( x) = , C R.
Cx + log( x) + 1
7 El siguiente clculo es til:
u du 1 dv
Z Z
4 2
=
u + 3u + 2 2 v2+ 3v + 2
Z
1 dv dv 1
Z
= = log(v + 1) log(v + 2) .
2 v+1 v+2 2
8 La
R log( x)dx
integral x2
se resuelve por partes
29
30
En efecto,
P Q
= cos(t + x) t sen(t + x) = .
x t
La solucin general viene dada por9
C
x(t) = arc sen t, C R.
t
2 3( x/t)+( x/t)2
(e) Homognea: x0 = 3tx +x
3tx+t2
= 3(x/t)+1 . La solucin general
viene dada por la siguiente relacin implcita:
tx
= C, C R.
(t x)4
En efecto,
P Q
= 2t cos(tx) t2 x sen(tx) = .
x t
La solucin general viene dada por la siguiente relacin implcita10 :
e x + t2 cos(tx) = C , C R.
t 2
(g) Bernoulli: Para t 6= 0 se tiene que x0 + 3t x = 3et x 3 . La solucin
general es
C et 3
x(t) = , C R.
t
(h) Haciendo el cambio de variable u = x + t obtenemos la siguiente
ecuacin diferencial equivalente:
u+1
u0 = ,
u
9
R
t cos(t + x) dt = t sen(t + x) + cos(t + x) por partes
10
R t 1
t cos(tx) dt = x sen(tx) + x2
cos(tx) por partes
30
Mtodos elementales 31
y( x) = Ce x(log(x)1) , C R.
En particular, esta ecuacin admite la solucin trivial y 0.
31
32
z00 + a( x) z0 + b( x) z + c( x) = 0 ,
z0
mediante el cambio de variable y = z.
(Septiembre 2003)
z00 + z0 + e x z = 0 ,
32
C APTULO 2
x0 = F (t, x) , (2.1)
Solucin : Se trata de probar que, bajo las condiciones (a) y (b), el se-
gundo miembro de la ecuacin diferencial (2.1) ha de ser de la forma
F (t, x) = a(t) x
33
34
x C ([0, ), R N ) C 1 ((0, ), R N )
34
La ecuacin lineal I 35
(Febrero 1990)
35
36
36
La ecuacin lineal I 37
k=0 k! (1 )
37
38
n1
n o
{ xn (t)} = x0 (t) + xk+1 ( t ) xk ( t )
k=0
Z t A(s)
Z t
A(s)
D (t) =
xn (s) ds ( s ) ds
s s
0 0
Z t A(s)
=
( xn (s) (s)) ds
s
0
38
La ecuacin lineal I 39
39
40
[t0 , t0 + ] [0, )
tal que
k1 (t) 2 (t)k k1 ( ) 2 ( )k
para todo t [t0 , t0 + ] [0, ). Obsrvese que tal existe
porque la funcin
t 7 k1 (t) 2 (t)k
es continua. Entonces
Z
k A(s)k
k1 ( ) 2 ( )k k1 (s) 2 (s)k ds
t0 s
(t0 + )1 t10
k1 ( ) 2 ( )k M (t0 ) ,
1
donde hemos denotado
40
La ecuacin lineal I 41
Luego
!
(t0 + )1 t10
k1 ( ) 2 ( )k 1 M (t0 ) 0 . (2.8)
1
(t0 + )1 t10
M (t0 ) < 1,
1
por lo que slo puede ser k1 ( ) 2 ( )k = 0 para que se
satisfaga (2.8). Consecuentemente
[t0 , t0 + ] [0, ) J
lo cual concluye la prueba.
det((t)) 6= 0 t I.
41
42
A ( t ) = 0 ( t ) ( t )1 ,
Construimos la matriz
1 (t) 2 (t)
(t) = ,
2 (t) 1 (t)
cuyo determinante es
42
La ecuacin lineal I 43
gracias a (2.9). Por tanto, si (t) fuese una matriz solucin entonces
1 (t) 2 (t)
,
2 (t) 1 (t)
A ( t ) = 0 ( t ) ( t )1 =
0
1 (t) 02 (t)
1 1 (t) 2 (t)
02 (t) 01 (t) (t)2 + 2 (t)2 2 (t) 1 (t)
1 0 0 0 0
1 (t)1 (t)+2 (t)2 (t) 1 (t)2 (t)1 (t)2 (t)
1 (t)2 +2 (t)2 1 (t)2 +2 (t)2
= 1 (t)02 (t)2 (t)01 (t) 2 (t)02 (t)+1 (t)01 (t)
.
1 (t)2 +2 (t)2 1 (t)2 +2 (t)2
5. Se considera la matriz
e3t t+1 1
0
(t) = t + 1 0 e3t .
1 0 0
Discute los valores de t para los que puede ser matriz fundamen-
tal de una ecuacin diferencial lineal homognea. Halla una matriz
fundamental principal en cero.
43
44
(t) = (t)C t I.
( t ) = ( t ) 1 ( 0 ) t R \ {1} ,
Entonces
1
e3t e3t e3t t+1 1
t+1
(t) = 0 e3t t + 1 e3t .
0 0 1
6. Se considera la matriz
sen( t ) 0
0
(t) = 0 0 cos( t ) .
0 1 0
44
La ecuacin lineal I 45
A ( t ) = 0 ( t ) ( t )1
1
t2 cos( t ) 0
0 sen( t )
0 0
= 0 0 sen( t ) 0 0 1
t2
1
0 0 0 0 cos( t )
0
t2 cotan( t )
0 0
= 0 t2
tan( t ) 0 .
0 0 0
Por tanto, la ecuacin satisfecha por (t) es
t2 cotan( t )
0 0
x0 (t) = 0
t2
tan( t ) 0 x(t) .
0 0 0
7. Sean
et
cos(t)
f 1 (t) = , f 2 (t) =
et cos(t)
dos soluciones de x0 = A(t) x. Se pide:
4 Nuevamente en virtud del Ejercicio 3
45
46
et
cos(t)
(t) = t
e cos(t)
A ( t ) = 0 ( t ) ( t )1
et et
sen(t) 1 cos(t)
=
et sen(t) sen(t)2 et cos(t)
sen(t) cos(t)1 cos(t)sen(t)
sen(t)2 et sen(t)2
= et (sen(t)+cos(t)) sen(t) cos(t)+1
sen(t)2 sen(t)2
para todo t I = R \ Z.
(b) Calculamos
( t ) = ( t ) ( t0 )1
et e t0
cos(t) 1 cos(t0 )
=
et cos(t) sen(t)2 e t0 cos(t0 )
t t t t
e0 cos(t0 ) cos(t) e 0 cos(t)e cos(t0 )
sen(t0 )2 sen(t0 )2
= et0 cos(t)et cos(t0 ) ett0 cos(t0 ) cos(t)
.
sen(t0 )2 sen(t0 )2
46
La ecuacin lineal I 47
8. Se considera el problema
0
x1 = 2x1 + x2 + cos(t)
, x1 (0) = x2 (0) = 1 .
x02 = 3x1 + 4x2 + t
Se pide:
et e5t
(t) =
et 3e5t
es una matriz solucin del siguiente sistema con coeficientes cons-
tantes: 0
x1 2 1 x1
= .
x02 3 4 x2
Por otro lado, f 1 (t) y f 2 (t) son linealmente independientes ya que
47
48
( t ) = ( t ) ( 0 )1
t 3 1 t e5t 5t et
e e5t
2 2
1 3e e
= = .
et 3e5t 12 1
2 2 3et 3e5t 3e5t et
Adems, necesitamos calcular
3et e5t e5t et
1 1
(t) = .
4 3et 3e5t 3e5t et
Finalmente
et
(t) x0 = ,
et
2 3ets e5(ts) cos(s) 2 ets e5(ts) s
( t ) ( s )1 b ( s ) = ,
6 ets e5(ts) cos(s) + 2 3e5(ts) ets s
5 No es necesario que sea una matriz fundamental
48
La ecuacin lineal I 49
luego
et
3I1 (t) I2 (t) I3 (t) + I4 (t)
x(t) = +2 ,
et 3I1 (t) 3I2 (t) I3 (t) + 3I4 (t)
donde
Z t
1 t
I1 (t) = ets cos(s) ds = (e + sen(t) cos(t)) ,
0 2
Z t
1
I2 (t) = e5(ts) cos(s) ds = (5e5t + sen(t) 5 cos(t))
0 26
Z t
I3 (t) = s ets ds = et t 1 ,
0
Z t
1 5t
I4 (t) = s e5(ts) ds = (e 5t 1) .
0 25
Por consiguiente,
99 5t 38 34
2et cos(t) + 58 t + 48
325 e + 13 sen(t) 13 25
x(t) = 99 5t 38 34 .
2et 325 e + 13 sen(t) 13 cos(t) + 58 t + 48
25
k A(t)k M t R .
1
( M + )(t) 0 (t) ( M )(t) t R .
2
49
50
y0 = et ( x0 x) = et A(t) x y = A(t) y y ,
y0 = [ A(t) IN ] y . (2.11)
j
(b) Si denotamos por y (t), 1 j N, a las componentes del vector
y (t), el cuadrado de su norma puede escribirse como
N 2
j
(t) = y (t) ,
j=1
0 (t)
2( M ) ,
(t)
50
La ecuacin lineal I 51
Por consiguiente:
lm {k y (t)k} = 0 .
t
lm {k y (t)k} = .
t
Y 0 ( t ) = A ( t )Y ( t ) , (2.12)
(a) Demuestra que cada una de estas ecuaciones admite una nica
solucin una vez prefijada una condicin inicial en t0 I.
51
52
de modo que
N
Yi0j (t) = aik (t)Yk j (t) 1 i, j N .
k=1
Entonces el problema
Y 0 ( t ) = A ( t )Y ( t ) , Y (t0 ) = Y0 MN (R) ,
52
La ecuacin lineal I 53
es equivalente a
Y11 (0)
Y12 (0)
..
.
Y1N (0)
Y21 (0)
..
X 0 (t) = B(t) X (t) , X (t0 ) = X0 = . , (2.15)
Y2N (0)
..
.
YN1 (0)
..
.
YNN (0)
Por tanto, existe una nica solucin del sistema lineal homogneo
(2.15).
(b) Se tiene que
W 0 ( t ) = A ( t )W ( t ) W ( t ) A ( t ) , W (t0 ) = IN ,
Y 0 ( t ) T = Y ( t ) T A ( t ) T = Y ( t ) T A ( t ) ,
53
54
Y ( t )Y ( t ) T = I N tI
(a) La matriz
1 sen(t)
(t) =
sen(t) 1
t2
El cambio de variable x(t) = e 2 u(t) reduce la ecuacin (2.16) a
una lineal de segundo orden con coeficientes constantes.
(Septiembre 2003)
54
La ecuacin lineal I 55
55
56
56
C APTULO 3
57
58
* 2 + * 4 + * 5 +
E1 = 0 , E2 = 2 , E3 = 4 ,
1 1 2
2 4 5
P = 0 2 4 ,
1 1 2
1 0 0
D = 0 1 0 ,
0 0 2
1
0 2 1
P1 = 2
3 6
1
43 .
13 31 2
3
Entonces
(t) = e At = Pe Dt P1
t 1
2 4 5 e 0 0 0 2 1
= 0 2 4 0 et 0 23 1
6 3
4
1 1 2 0 0 e2t 13 13 2
3
8 t 5 2t 2 t t 5 2t 16 t t 10 2t
3e 3e 3e +e 3 e 3 e +2e + 3 e
= 4 t
3 e + 3 e4 2t 1 t
3 e + 3 e 4 2t 8 t
38 e2t
3e
2 t 2 2t 1 t 1 t 2 2t 4 t t 4 2t
3e 3e 6e +2e 3e 3 e + e + 3 e
58
La ecuacin lineal II 59
59
60
P1 Ker[( A I )2 ] \ Ker[ A I ] ,
de modo que
et 0 0
t
1 0 0 e 0 0
e Jt = 0 et 0 t 1 0 = tet et 0 .
0 0 et 0 0 1 0 0 et
Luego
60
La ecuacin lineal II 61
Z t
A(tt0 )
x(t) = e x0 + e A(ts) (s, 0, 0)T ds
t0
(t t0 + 5)ett0 4et0 t 2(ett0 et0 t ) (t t0 + 6)ett0 6et0 t
+ tet 2et 3t + 2
t t
(t + 2)e + 4e + 7t 2
(2t + 9)et 10et 8t + 1
61
62
62
La ecuacin lineal II 63
63
64
(Febrero 1992).
64
La ecuacin lineal II 65
Por consiguiente,
cos(t) sen(t)
B2 = ,
sen(t) cos(t)
e2t te2t
(t) = .
0 e2t
luego
2t
0 e
B3 = ,
e2t te2t
es una base de soluciones.
3. Sea A : I MN (R) continua tal que A(t) A(s) = A(s) A(t). De-
muestra los siguientes enunciados:
Rt
(a) A(t) y 0 A(s) ds conmutan.
(c) Si A C 1 ( I ) entonces
d A(t)
e = A0 ( t ) e A(t) = e A(t) A0 ( t ) .
dt
e A+ B = e A e B .
65
66
Rt
(e) Si A(t) y 0t A(s) ds conmutan, entonces F (t) = e 0 A(s) ds es una
R
Solucin : (a) Sea P : 0 = t0 < t1 < . . . < tn1 < tn = t una parti-
cin del intervalo [0, t] y denotemos por S( A, P) a la correspondiente
suma de Riemann:
n1
S( A, P) = A(sk )|tk+1 tk | ,
k=0
con sk (tk , tk+1 ). Como por hiptesis A(t) A(s) = A(s) A(t), se
tiene que A(t) S( A, P) = S( A, P) A(t). Haciendo entonces tender a
cero la norma de la particin 1 obtenemos
Z t
k Pk 0 { S( A, P)} A(s) ds .
0
Por tanto, Z t Z t
A(t) A(s) ds = A(s) ds A(t) .
0 0
A(t + h) A(t)
0
A (t) = lm ,
h0 h
A(t + h) A(t)
0
A(t) A (t) = A(t) lm
h0 h
A(t + h) A(t)
= lm A(t)
h0 h
A(t + h) A(t)
= lm A(t) = A0 (t) A(t) ,
h0 h
1 k Pk = max{|tk+1 tk | , k = 0, 1, . . . , n 1}
66
La ecuacin lineal II 67
67
68
luego
Z t
| f n (t) f (t)| | f n0 (s) g(s)| ds + | f n (t0 ) |
t0
0
max{| f n (t) g(t)|}|t t0 | + | f n (t0 ) | 0 , n .
t I
Para cada t I,
( )
n
A(t)n A(t)k
e A(t) = n!
= lm
n
k!
.
n=0 k=0
n
A(t)k
Sn (t) = k!
.
k=0
68
La ecuacin lineal II 69
para
concluir
el ejercicio que la restriccin de e A(t) a J es derivable y
d A(t) = A0 ( t ) e A(t) . Para ello estimamos
dt e
69
70
usando (c), lo cual quiere decir que (t) es una matriz solucin de la
ecuacin lineal homognea x0 = Ax. Como tambin
t t
det((t)) = det((0)) e 0 traza( A(s)) ds = det(e B ) e 0 traza(sA+ B) ds
R R
Rt
= etraza( B)(1+t) e 0 traza(sA) ds = etraza( B)(1+t)+ 2 traza( A) t > 0
1 2
e B = (0) = C ,
luego ha de ser
etA+ B = e At e B .
Evaluando finalmente en t = 1 la ltima expresin obtenemos el
resultado esperado.
(e) Definimos B(t) := 0t A(s) ds, expresin de la cual se deduce que
R
70
La ecuacin lineal II 71
Rt
Las matrices A(t) e 0 A(s) ds conmutan, por lo cual basta con calcu-
lar
t3 t2 t2
3 2 0 2
t3
!
t2 t3 2
F (t) = e 2 3 =
e3 0
e t2 0
t3
0 e 3
t3
! 2 2
!
e 3 0 cos( t2 ) sen( t2 )
= t3 2 2
0 e3 sen( t2 ) cos( t2 )
t3 t3
2 2
!
e 3 cos( t2 ) e 3 sen( t2 )
= t3 2 t3 2
.
e 3 sen( t2 ) e3 cos( t2 )
Entonces
0 0 0 h i0
(m1)
(m)
= = A(m1) = A(m) ,
71
72
Para ver que todos los coeficientes de (t) son polinomios basta con
hacer notar que las soluciones de la ecuacin son todas de la forma
x(t) = e At x0 , x0 R N ,
A2 A p1
x(t) = x0 + ( Ax0 )t + 2
x0 t + . . . x t p1 ,
2 ( p 1)! 0
X 0 = AX XA (3.3)
72
La ecuacin lineal II 73
X (t) = Y (t) e At .
(Febrero 1994).
73
74
y derivamos se obtiene
Z t
0 At At As At At
X (t) = Ae X0 Ae e X (s) A ds e e X (t) A
0
Z t
= A e At X0 e At e As X (s) A ds X (t) A = AX (t) X (t) A ,
0
74
La ecuacin lineal II 75
k=0
Y 0 (t) = AY (t)
2 En efecto, se fuede comprobar fcilmente que
k X0 k k Akn+1 k Akt n+1
( n + 1 ) !
e t = k X0 k e2k Akt
k=0
75
76
X (t) = e At X0 e At .
(e) Bastar con comprobar que existe una constante M > 0 tal que
ke At k M t R .
Si llamamos J a la forma cannica de Jordan de la matriz A y P a la
correspondiente matriz de paso, es sabido que e At = Pe Jt P1 , luego
ke At k k Pkke Jt kk P1 k = C ke Jt k , C 1.
La cuestin entonces es: Es ke Jt k acotada?
Bastara con comprobar que los coeficientes de la matriz e Jt son aco-
tados, en cuyo caso la norma del mximo de e Jt estara acotada y, por
equivalencia, todas las dems normas. Admitamos que la matriz J se
expresa del siguiente modo:
1 0 0 ... ... 0
0 2 0 . . . ... 0
. . . .
J= . ,
. .
. .
. .
. N 0
2 1
0 ... ... ... ... N
2
ke Jt k 2 .
Como por el apartado anterior sabemos que
X (t) = e At X0 e At ,
se concluye que
k X (t)k 4C2 k X0 k .
76
La ecuacin lineal II 77
donde A MN (R) y x0 R N .
(Diciembre 1993)
77
78
Como
t2
t2
k x(t)k
e
k x0 k C
e J 2
k x0 k
A2
t2
basta con estudiar el comportamiento de
e J 2
. Sea < 0 cualquie-
luego
1 0 0 ... 0
t2 1 0 ... 0
2
t2 t2 t4 t2 ..
e J 2 = e 2
8 2 1 ... . .
.. .. .. .. ..
. . . . .
t4 t2
0 ... 8 2 1
t2
Claramente
e J 2
0 cuando t por ser < 0. Por otro lado,
78
La ecuacin lineal II 79
luego
(1)n
sen(A) = (2n + 1)! A2n+1 .
n0
Prueba que
(Junio 1989).
k Ak2n+1
Solucin : (b) k sen( A)k n0 (2n+1)!
= ek Ak para toda A MN (R).
79
80
Entonces
n
(1)k 2k+1 2k
S0n (t) = (2k)! A t ,
k=0
n1
(1)k+1 2k+3 2k+1
S00n (t) = (2k + 1)!
A t ,
k=0
n
(1)k
A2 Sn (t) = (2k + 1)! A2k+3 t2k+1 ,
k =0
80
La ecuacin lineal II 81
e A e A e A + e A
senh( A) = , cosh( A) =
2 2
y se cumple
81
82
Se pide:
se obtiene
0
x1 0 1 0 x1 0
x2 = 0 0 1 x2 + 0 .
x3 8 12 6 x3 e2t
82
La ecuacin lineal II 83
2 0 0
J = 1 2 0 .
0 1 2
v Ker[( A + 2I )3 ] \ Ker[( A + 2I )2 ] ,
2 1 0 1 2
w = ( A + 2I )v = 0 2 1 0 = 0 .
8 12 4 0 8
2 1 0 2 4
u = ( A + 2I )w = 0 2 1 0 = 8 .
8 12 4 8 16
Por lo tanto
1
1 2 4 1 1 4
P= 0 0 8 , P1 = 0 14 18 .
0 8 16 0 18 0
0 0 0
J = 2I + 1 0 0 ,
0 1 0
83
84
se puede calcular
1 0 0
(t) = e At = P e Jt P1 2t t
= P(e I ) 1 0 P1 =
t 2
2 t 1
1 0 0
1
1 2 4 1 1 4
2t 1 0 0 14 18
e 0 0 8 t
t2
0 8 16 2 t 1 0 18 0
t2
2t2 + 2t + 1 t(1 + 2t) 2
= e2t 4t2 4t2 + 2t + 1 t(1 t) ,
8t(t 1) 4t(2t 3) 2t2 4t + 1
Z t
x(t) = (t) x(t0 ) + (t) (s)1 b(s) ds ,
t0
t2
2t2 2t + 1 t(2t 1) 2
( t )1 = e2t 4t2 4t2 2t + 1 t(t + 1)
8t(t + 1) 4t(2t + 3) 2t2 + 4t + 1
84
La ecuacin lineal II 85
x(t) = e2t
2 3
2t2 + 2t + 1 + t(1 + 2t) + t2 + t6 (8t2 + 16t + 7)
4t2 4t2 + 2t + 1 + t(1 t) t2 (16t3 + 16t2 14t 9)
6
8t(t 1) + 4t(2t 3) + 2t2 4t + 1 + 3t (16t4 34t2 6t + 3)
4t5 8t4 7t3 9t2
+ + + + 3t + 1
35 3 6 2
= e2t 8t3 8t3 + 7t3 15t
4 3 2
2 + 3t + 1
.
16t5 34t3
3 3 + 16t2 23t + 1
85
86
u p (t) = At + B , A, B R .
5A + At + B = 5t ,
u1 (t) = e3it .
86
La ecuacin lineal II 87
1
u2 (t) = e3it .
5
1
v2 (t) = Re(u2 (t)) = cos(3t) .
5
t
u3 (t) = e2it .
4
t
v3 (t) = Im(u2 (t)) = cos(2t) .
4
87
88
luego
1 1
v(t) = v1 (t) + v2 (t) + v3 (t) = sen(3t) cos(3t) t cos(2t)
5 4
es una solucin particular de la ecuacin de partida. Conocida la so-
lucin general de la ecuacin homognea x00 + 4x = 0,
2A + 3( At + B) = t .
t 2
x1 (t) = +
3 9
constituye una solucin particular del problema planteado en
esta etapa.
88
La ecuacin lineal II 89
Por consiguiente,
1 t 2
x(t) = (sen(t) + cos(t)) + +
4 3 9
es una solucin particular de la ecuacin diferencial de partida.
11. Por el mtodo de variacin de las constantes, halla una solucin par-
ticular de
89
90
Tenemos
90
La ecuacin lineal II 91
Derivando obtenemos
x0 = 2B cos(2t) 2A sen(2t) ,
x00 (t) = 2( B0 2A) cos(2t) 2(2B + A0 ) sen(2t)
2
0 cos (2t )
= 2A + sen(2t) 4A cos(2t) 4B sen(2t)
sen(2t)
2A0
= 4x(t) .
sen(2t)
De aqu se desprende inmediatamente que para que (3.22) sea una
solucin particular se ha de cumplir
2A0
= sec(2t) ,
sen(2t)
1
es decir, A(t) = 4 log(cos(2t)). De la condicin (3.23) se deduce fi-
nalmente que
t
B(t) = ,
2
luego
1 t
x(t) = log(cos(2t)) cos(2t) + sen(2t)
4 2
00
es una solucin particular de x + 4x = sec(2t).
(c) Un sistema fundamental de soluciones de la ecuacin homognea
es {e3t , te3t }. Buscamos entonces una solucin particular de
e3t
x00 6x0 + 9x = (3.24)
t2
91
92
del tipo
x(t) = ( A(t) + B(t)t) e3t . (3.25)
Derivando obtenemos
1 1 1
A0 + B0 t = 0 , B0 (1 + 3t) + 3A0 = B 0
= 3A 0
.
t2 1 + 3t t2
La primera de ellas (elegida libremente siempre que sea compatible
con la segunda) contribuye a simplificar los clculos mientras que la
segunda es necesaria para que (3.25) resuelva la ecuacin diferencial.
Entonces obtenemos
1
A(t) = log(|t|) , B(t) = ,
t
por lo que
x(t) = (log(|t|) 1) e3t
es una solucin particular de (10.7).
(d) Un sistema fundamental de soluciones de la ecuacin homognea
es {et , et }. Buscamos entonces una solucin particular de la forma
x ( t ) = A ( t ) et + B ( t ) et . (3.26)
Se tiene
x0 ( t ) = ( A0 A ) et + ( B0 + B ) et ,
x00 (t) = ( A00 2A0 + A) et + ( B00 + 2B0 + B) et .
A0 et + B0 et = 0 B0 = A0 e2t , (3.27)
92
La ecuacin lineal II 93
si y solamente si
1 2t
B0 = e sen(et ) + et cos(et )
2
1 t
B= e cos(et ) sen(et ) .
2
Por consiguiente,
x(t) = et sen(et )
es una solucin particular de (3.28).
93
94
x2 (t) = t(t 1) .
Por tanto, {t2 , t(t 1)} es una base del espacio de soluciones de la
ecuacin homognea
94
La ecuacin lineal II 95
1 1 1
x1 (2) = , x01 (2) = , x001 (2) =
,
2 4 4
x2 (2) = 2 , x02 (2) = 1 , x002 (2) = 0 .
por lo que tenemos garantizado que x1 (t), x2 (t) y x3 (t) sern lineal-
mente independientes. Para construir x3 (t) usamos nuevamente la
frmula de JacobiLiouville:
8 ( t 1 ) t2 s2 3 1
2t ( 3ss
R
) ds
e = e (s1) = W , t, x 3 (t)
t3 t
1
t t x 3 ( t )
2 2 2
= t2 1 x3 (t) = x003 (t) + 2 x03 (t) 3 x3 (t) ,
0
1
2 0 x00 (t) t t t
t3 3
B(t)
x3 (t) = A(t)t +
t
va el mtodo de variacin de las constantes. Tenemos
B0 (t) B(t)
x03 (t) = A0 (t)t + A(t) + 2 .
t t
95
96
2 2 ( t 2 ) t2 4
x3 (t) = 1 t + + 2 et2 e = 1 t + 2 + et2
t t t t
con 1 , 2 R. De imponer x3 (2) = 0 y x03 (2) = 0 resulta finalmente
4 t2
x3 (t) = e t.
t
Por tanto, una base de soluciones de la ecuacin
es t, 1t , 4t et2 t .
De este modo tenemos garantizado que las dos soluciones sern li-
nealmente independientes. En efecto,
e 0
W ( x1 , x2 )(1) =
= e 6= 0 .
e 1
96
La ecuacin lineal II 97
t2 1 t1
x2 (t) = e .
2
Por tanto, una base de soluciones de la ecuacin homognea es
n t2 1 o
B = et , et1 .
2
Resolvemos finalmente la ecuacin completa. Para ello construimos
en primer lugar una matriz fundamental del sistema:
et 1 2 t1
(t) = 2 (t 1) e ,
et 1 2 t1
2 ( t + 2t 1 ) e
et1 3 t2 t2 1
(t) = .
2 3 2t t2 t2 + 2t 1
97
98
1 4t R t 4s+5
e = e 0 ( s+1 ) ds = W ( x1 , x2 )(t)
t+1
e2t
x2 (t)
= = e2t ( x02 (t) + 2x2 (t)) .
2 e2t x02 (t)
98
La ecuacin lineal II 99
(a) Existe una ecuacin del tipo y00 + a(t) y0 + b(t) y = 0 con a, b
C (R) tal que y(t) = t5 es solucin.
(Febrero 1989)
(b) Existe una matriz nilpotente A MN (R) tal que e A es tambin
nilpotente.
(Febrero 1989)
(c) Dadas (t) y (t) matrices fundamentales de un mismo siste-
ma lineal homogneo, se cumple que (t)(t)1 es constante.
(Septiembre 1989)
(d) Sea A MN (R). Si A es antisimtrica (respectivamente sim-
trica), entonces e A es antisimtrica (respectivamente simtrica).
(Febrero 1991)
(e) Existe una solucin no trivial de x00 + sen(t) x0 = 0 que satisface
x(0) = x( ) = 0.
(Febrero 1994)
(f) {et , sen(t)} es un sistema fundamental de soluciones de una
ecuacin diferencial de la forma x00 + a(t) x0 + b(t) x = 0 con
a, b : R R continuas.
(Junio 1994)
(g) Sean f 1 y f 2 dos soluciones linealmente independientes de la
ecuacin x00 + a1 x0 + a2 x = 0 con a1 , a2 R. Entonces el wrons-
kiano W ( f 1 , f 2 ) es constante si y slo si a1 = 0.
(h) Sea A M3 (R) con un valor propio tal que
dim(Ker[ A I ]) = 3 .
Entonces su forma cannica de Jordan es
0 0
0 0 .
0 0
99
100
(Septiembre 2003)
5ta(t) + 20
b(t) =
t2
como fruto de una verificacin inmediata, funcin la cual resulta no
ser continua en t = 0.
(b) FALSA. En efecto, supongamos que A fuese una matriz nilpoten-
te de orden k, es decir, Ak = 0. Razonamos por reduccin al absurdo.
En caso de que existiera n N tal que (e A )n = 0 se concluye que
n
A n A
0 = det (e ) = det(e ) 6= 0 ,
2t
1 1 t
1 1 t 2 2 2
(t)(t) = =
0 1 0 1 0 1
100
La ecuacin lineal II 101
101
102
102
La ecuacin lineal II 103
se deduce que r 1.
(d) En efecto,
S(t) C (t)
W ( S(t), C (t)) = 0
S (t) C 0 (t)
= S(t)C 0 (t) S0 (t)C (t) = S(t)2 C (t)2 = 1
C (t a) = S0 (t)C ( a) C 0 (t) S( a)
= C (t)C ( a) ( S(t) S( a)) = C (t)C ( a) S(t) S( a) ,
103
104
{0} = {C (n )} C (0 ) = 0
C (2 ) = C ( )2 S( )2 = 1 2S( )2 = 1 ,
para todo t R.
15. Sean
Z Z
e sen(t ) e cos(t )
u(t) = d , v(t) = d .
0 0
104
La ecuacin lineal II 105
u
Demuestra que es solucin de un sistema lineal homogneo
v
y resuelve dicho sistema3 .
Solucin : Tenemos
Z Z
0
u (t) = e cos(t ) d , 0
v (t) = e sen(t ) d ,
0 0
(Julio 2004)
luego t es solucin de x0 = Ax + .
R t2
3 Recurdese que 0 e dt = 2
105
106
A = PJP1 e At = Pe Jt P1 = Pe Bt e Nt P1
1 1 2 1 0 0 1 0 0 0 2 1
= 0 1 1 0 1 0 t 1 0 1 0 1
1 2 2 0 0 et 0 0 1 1 1 1
t t t
2e 1 2(e 1 t) 2(1 e ) + t
= et 1 et 2t 1 et + t .
2(e 1) 2(e 1 2t) 3 2(et t)
t t
106
La ecuacin lineal II 107
et
con x0 R3 arbitrario.
107
108
108
C APTULO 4
(Septiembre 1990)
109
110
(a) x00 + x0 + ( + et ) x = 0 , R
(c) x00 et x = 0
x00 + x0 + x = 0 . (4.4)
110
Teora de comparacin de Sturm 111
1 1
(iia) Si 0 < < 4, entonces 1 4 et para valores su-
ficientemente grandes de t. Por tanto, podemos afirmar que
existe t0 > 0 tal que
et
q(t) t > t0 > 0 .
4
Comparamos entonces (superiormente) la ecuacin (4.3)
con
x
x00 + x0 + = 0 , (4.5)
4
cuyas soluciones son de la forma
t t
x(t) = A e 2 + Bt e 2 , A, B R ,
o bien
t2 u00 (t) + tu0 (t) + t2 u(t) = 0 (4.6)
sin ms que considerar la transformacin t 7 t. Obsrvese que
esta ecuacin ya no depende de , luego el comportamiento de las
soluciones de
t2 x00 + tx0 + t2 x = 0 (4.7)
tampoco. La ecuacin (4.6), equivalente a (4.7), es una ecuacin de
Bessel de ndice cero (ver Captulo 6). Para analizarla planteamos el
cambio de variable
y(t)
u(t) = , (4.8)
t
111
112
3
1 3
t 2 y00 + + t2 y = 0 . (4.9)
4 t
3
Como t > 0, podemos dividir la ecuacin anterior por t 2 y obtene-
mos
1
y00 + q(t) y = 0 , q(t) = 2 + 1 .
4t
Adems, de (4.8) se deduce fcilmente que los ceros positivos de u(t)
y de y(t) son los mismos. Es obvio que q(t) 1 cuando t , por
lo que ha de existir t0 > 0 tal que
1
q(t) > t > t0 > 0 .
2
Podemos comparar entonces la ecuacin (4.9) con
y
y00 + =0
2
cuyas soluciones, las cuales responden a la forma
2 2
y(t) = A cos t + B sen t , A, B R ,
2 2
tienen todas infinitos ceros (positivos). Consecuentemente, la teora
de comparacin de Sturm se aplica para concluir que todas las so-
luciones de la ecuacin de Bessel (4.6), y por consiguiente todas las
soluciones de (4.7), tienen infinitos ceros (positivos).
(c) Se tiene que
q(t) = et < 1 si t > 0 .
Las soluciones no triviales de
x00 x = 0
112
C APTULO 5
La ecuacin peridica
113
114
Z nT
0= a(t) dt
0
Z T Z 2T Z nT
= a(t) dt + a(t) dt + + a(t) dt
0 T (n1) T
Z T
=n a(t) dt . (5.1)
0
114
La ecuacin peridica 115
f ( x) f (u + T )
0
f (u + T ) = lm
xu+ T xuT
f (v + T ) f (u + T )
= lm
vu vu
f (v) f (u)
= lm = f 0 (u) u R .
vu vu
Ahora bien, si x(t) es una solucin Tperidica no trivial se tiene que
a(t) x(t) = x0 (t) = x0 (t + T ) = a(t + T ) x(t + T ) = a(t + T ) x(t) ,
115
116
del cual
x 0
y = sen(t)
z cos(t)
es una solucin 2peridica que no es 1peridica.
(a) 1 = 1 y 2 = 1 .
(b) 1 = i y 2 = i .
(c) 1 = 1 y 2 = 1 .
116
La ecuacin peridica 117
(d) 1 = 0 y 2 = 1 .
det(C ) = det(( T ))
T
Z
= det((0)) exp traza( A(s)) ds
0
Z T
= exp traza( A(s)) ds . (5.2)
0
el expresado en (c).
117
118
x0 Ker[C I ] Cx0 = x0
(t) x0 = (t)Cx0 = (t + T ) x0 (t + T ) = (t) .
118
La ecuacin peridica 119
p (C ) = det(C I2 ) = 2 2 cos(2 p) + 1 ,
se anula si y solamente si
= cos(2 p) i sen(2 p) .
(t + T ) = (t) P1 CP (t + T ) P1 = (t) P1 C .
119
120
(Febrero 1978)
Como por hiptesis f 1 (t) y f 2 (t) son dos soluciones linealmente in-
dependientes, se tiene que
f 1 (t) f 2 (t)
(t) =
f 10 (t) f 20 (t)
120
La ecuacin peridica 121
p ( T ) = ( f 1 ( T ) )( f 20 ( T ) ) f 10 ( T ) f 2 ( T )
= 2 ( f 1 ( T ) + f 20 ( T )) + f 1 ( T ) f 20 ( T ) f 10 ( T ) f 2 ( T )
= 2 D ( a, b) + 1 = 0 ,
(t + (n 1) T ) = 0n1(t) ,
(t + nT ) = (t + (n 1) T + T ) = 0 (t + (n 1) T ) = 0n (t) .
Por tanto
121
122
2 2 + 1 = ( 1)2 = 0 .
2 + 2 + 1 = ( + 1)2 = 0 ,
122
La ecuacin peridica 123
x(t) = A + Bect , A, B R ,
123
124
( t + ( n 1 ) T ) = ( t )C n1 , t R.
Entonces
(t + nT ) = (t + (n 1) T + T ) = (t + (n 1) T )C
= ( t )C n1 C = ( t )C n ,
124
La ecuacin peridica 125
0.
(c) Discute la existencia de soluciones 2peridicas de la ecua-
cin y00 + 2 y = p(t), donde R y p es continua y 2
peridica.
(d) Sea la ecuacin diferencial x0 = A(t) x, con A(t) continua y T
peridica. Demuestra que si un multiplicador caracterstico es
raz nsima de la unidad, entonces existe una solucin peri-
dica de periodo nT.
(e) Halla una condicin necesaria y suficiente para que la ecuacin
x0 + (sen(t)) x = f (t), con f continua y 2peridica, tenga so-
lucin 2peridica.
(Septiembre 1987)
(Junio 2004)
125
126
126
La ecuacin peridica 127
Sabemos que
1 T 1 0
[(t) ] =
t 0
es una matriz fundamental de (5.7) y que sus soluciones Tperidicas
son aquellas que responden a la siguiente forma:
y ( t ) = [ ( t )1 ] T y0 ,
T 0 0 0
y0 Ker[ I ( T ) ] = Ker = :uR .
T 0 u
es decir, si y solamente si
Z T
f (t) dt = 0 .
0
2 2 cos(2 ) + 1 = 0 ,
(i) Si
/ Z entonces = 1 no es un multiplicador caractersti-
co y podemos afirmar, en virtud del teorema de la alternativa
de Fredhlm, que existe una nica solucin 2peridica de la
ecuacin y00 + 2 y = p(t).
127
128
Sabemos que
1 T cos(t) sen(t)
[(t) ] = 1
sen(t) cos(t)
y ( t ) = [ ( t )1 ] T y0 ,
y0 Ker[ I (2 )T ]
1 cos(2 ) sen(2 )
= Ker = R2 .
1 sen(2 ) 1 cos(2 )
128
La ecuacin peridica 129
x(t + T ) = x(t) ,
x(t + 2T ) = x(t + T ) = 2 x(t) ,
..................
x(t + nT ) = = n x(t) = x(t) .
ya que por hiptesis traza( A(s)) > 0. Esto quiere decir que necesa-
riamente alguno de los multiplicadores caractersticos ha de ser ma-
yor que 1. Por consiguiente, la propiedad demostrada en el Ejercicio
9 (b) nos permite concluir que existe una solucin no acotada, luego
el sistema es no acotado.
(g) La ecuacin homognea es la misma en los tres casos, x00 + 4x = 0,
cuya solucin general viene dada por
129
130
130
La ecuacin peridica 131
con 1 , 2 R.
RT 0
Si 0 a(s) ds = 0 entonces x(t) = es una solucin
Rt
e 0 a(s) ds
(1 = 0, 2 = 1) Tperidica, ya que claramente x(0) = x( T ).
131
132
3 1
p (t) = (1 + )2 (1 + ) + 1 = 2 + + ,
2 2 2
luego los valores propios de A(t) son de la forma
q
1
2 14 2 1 7 i
= = .
2 4
t
Que e 2 ( cos(t), sen(t))T es una funcin no acotada es obvio. Ade-
ms es solucin de nuestro sistema, ya que
t
!0 t
! t
!
e 2 cos(t) e 2 [sen(t) 12 cos(t)] e 2 cos(t)
t = t = A(t) t .
e 2 sen(t) e 2 [cos(t) + 12 sen(t)] e 2 sen(t)
132
La ecuacin peridica 133
133
134
f (c, 0) 6= 0 c R.
134
La ecuacin peridica 135
(Febrero 1990)
x1 (t) = A esen(t)t , A R.
x2 (t) = A esen(t)t + B et , B R.
A esen(t)t
x1
=
x2 A esen(t)t + B et
esen(t)t
!
0
(t) =
esen(t) 1 et et
135
136
esen(t)
Rt 0
x(t) = P(t) y(t) , P(t) = (t) e = .
esen(t) 1 1
A(t) P(t) y(t) = A(t) x(t) = x0 (t) = P0 (t) y(t) + P(t) y0 (t)
= A(t) P(t) y(t) P(t) Ry(t) + P(t) y0 (t) ,
luego
P(t) y0 (t) = P(t) Ry(t) .
Como la matriz P(t) es regular, se concluye que
136
La ecuacin peridica 137
con R.
x00 (t)
x(t) = (5.11)
a(t)
137
138
se deduce que x00 (t) no cambia de signo, es decir, que no vara la con-
cavidad de x(t). Ahora bien, el nico modo de que x(t) sea continua
y 2peridica con curvatura de signo constante es x(t) C R, lo
cual combinado con (5.11) implica que a(t)C = 0, es decir, C = 0 lo
cual es imposible.
(b) Que las soluciones son rectas, que slo son peridicas si son cons-
tantes.
(c) Tmese = 1 y a(t) 1 C2 (R). En este caso la ecuacin
que se obtiene es x00 + x = 0, de la que las funciones 2peridicas
sen(t) y cos(t) conforman un sistema fundamental de soluciones.
luego
C = (2 ) = I2
138
La ecuacin peridica 139
139
140
140
La ecuacin peridica 141
141
142
142
La ecuacin peridica 143
y0 = 2y1 y2 y3 .
20
y3 = 0
Por tanto y3 = k R y, efectuando ahora los cambios de variable
z1 = 2y1 y2 , z2 = y2 ,
llegamos a
z01 = z2
z02 = z1 k
o, equivalentemente,
0
z1 0 1 z1 0
= + . (5.14)
z2 1 0 z2 k
La matriz fundamental principal en t = 0 para la parte homognea
del sistema (5.14) es
cos(t) sen(t)
(t) = .
sen(t) cos(t)
Empleando entonces la frmula de variacin de las constantes para
resolver (5.14) con dato inicial z(0) = z0 = ( z01 , z02 )T obtenemos
Z t
0 1 0
z(t) = (t) z + (t) (s) ds
0 k
0
cos(t) sen(t) z1 cos(t) 1
= k
sen(t) cos(t) z02 sen(t)
0
( z1 k) cos(t) z02 sen(t) + k
= .
( z01 k) sen(t) + z02 cos(t)
Deshaciendo finalmente los cambios de variable concluimos que
k k k
x1 (t) = x02 sen(t) + x01 cos(t) + ,
2 2 2
k k k
x2 (t) = x02 cos(t) x01 sen(t) + ,
2 2 2
k k k
x3 (t) = x02 sen(t) + x01 cos(t) .
2 2 2
143
144
0 = x03 = x3 (0) = 1 k k = 1 .
Entonces
1 1 1
x1 (t) = sen(t) + cos(t) + ,
2 2 2
1 1 1
x2 (t) = sen(t) cos(t) + ,
2 2 2
1 1 1
x3 (t) = sen(t) + cos(t) .
2 2 2
0 = x03 = x3 (0) = k k = 0 .
Entonces
1 = x03 = x3 (0) = k k = 1 .
Entonces
1 1 1
x1 (t) = sen(t) + cos(t) ,
2 2 2
1 1 1
x2 (t) = sen(t) + cos(t) ,
2 2 2
1 1 1
x3 (t) = sen(t) + cos(t) + .
2 2 2
144
La ecuacin peridica 145
145
146
(Febrero 1990)
luego
x(t1 )2
Z t2
a(t2 )
2
a(t2 ) x(t2 ) a(t1 ) x(t1 ) = 2
a0 (t) x2 dt 0 .
t1 a(t1 ) x(t2 )2
Como a0 (t) 0 sabemos que a(t) es decreciente en [0, ), por lo que
a(t1 ) a(t2 ) y
x(t1 )2
1 x(t1 )2 x(t2 )2 | x(t1 )| | x(t2 )| .
x(t2 )2
(a) y00 + 2 y = 0 .
146
La ecuacin peridica 147
(b) y00 2 y = 0 .
= max{Re( ) : ( A)} = 0 .
Este es el caso en que hay que calcular el ndice de cada uno de los
valores propios:
n o
(i) = mn k N : Ker [ A iI ]k = Ker [ A iI ]k+1 = 1,
147
148
Si c > se tiene = c + c2 2 < 0. Por tanto, en este
caso el sistema es tambin convergente.
148
La ecuacin peridica 149
0 2
0
y = y. (5.18)
1 0
149
150
2
se puede comprobar fcilmente que Ker I2 T = R2 toda
vez que Z \ {0}. Por consiguiente, las soluciones 2
peridicas
de (5.18) son
!
y1 cos( t) + y2 sen( t)
y1
[ ( t )1 ] T = y2 cos( t) 1 y1 sen( t)
y2
2
Z
F0
F0 y2 sen(t) cos( t) y1 sen(t) sen( t) dt = 0
0
o, equivalentemente,
2 2
y1
Z Z
y2 sen(t) cos(kt) dt = sen(t) sen(kt) dt (5.19)
0 k 0
Z 2 Z 2
sen(t) cos(kt) dt = 0 , sen(t) sen(kt) dt = 0 ,
0 0
luego si = k para algn Z 3 k 6= {1, 0, 1} entonces existen
soluciones 2
peridicas. Usando ahora la frmula de variacin de
las constantes para resolver la ecuacin x00 + 2 x = F0 sen(t) con
150
La ecuacin peridica 151
Por consiguiente,
F0
x(t) = sen(t) sen( t) .
2
151
152
152
C APTULO 6
153
154
c3 c 1
c6 = = 0 = 2 ,
6 36 3 2
c6 c0 1
c9 = = = 3 ,
9 369 3 (3 2)
c9 c0 1
c12 = = = 4 , . . . (6.4)
12 3 6 9 12 3 (4 3 2)
Razonando segn el principio de induccin se puede concluir fcil-
mente que la relacin de recurrencia que liga a los coeficientes de
x(t) es la expresada en (c).
154
Ecuaciones diferenciales con coeficientes analticos 155
con
3
p1 ( t ) = ( 1 t ) , q1 ( t ) 1 .
4
Haciendo ahora el cambio de variable = 1 + t podemos desplazar
la singularidad al origen y aplicar, por tanto, el teorema de Fuchs.
Obtenemos entonces la ecuacin
2 x00 ( 1) + p1 ( ) x0 ( 1) + q1 ( ) x( 1) = 0 ,
con
3
p1 ( ) = (2 ) , q1 ( ) 1 .
4
De este modo la ecuacin indicial asociada a t = 1 es
s(s 1) + p1 ( = 0) s + q1 ( = 0)
3s 5s
= s(s 1) + 1 = s2 + 1 = 0 ,
2 2
155
156
an n+ 2 ,
1
1 ( ) = an n =
n=0 n=0
2 ( ) = 2 bn n = bn2 n ,
n=0 n=2
1 1
s(s 1) + q0 (0) = s(s 1) + = s2 s + = 0 ,
4 4
1
cuya nica raz es s = 2 (doble). Por tanto, el teorema de Fuchs ga-
rantiza que
q
1 (t) = |t| cn tn con c0 = 1 ,
n=0
q
2 (t) = 1 (t) log(|t|) + |t| c0n tn
n=0
q ( )
cn tn c0n tn
= |t| log(|t|) + con c00 = 0 ,
n=0 n=0
156
Ecuaciones diferenciales con coeficientes analticos 157
a1 (t) (1 + + )t
t =
a0 (t) 1t
157
158
s(s 1) + p1 ( = 0)s + q1 ( = 0)
= s(s 1) + ( 1)s
= s2 + ( 2)s = 0 ,
cuyas races son s = 0 y s = + + 2.
a1 (t)
t 1 es analtica en t = 0 ,
a0 (t)
a2 (t)
t2 = t2 es analtica en t = 0 ,
a0 (t)
158
Ecuaciones diferenciales con coeficientes analticos 159
por lo que
t2 x00 = n(n 1)cn tn , tx0 = ncn tn , t2 x = cn2 tn .
n=2 n=1 n=2
c1 = 0 ; n2 cn cn2 = 0 , n 2 .
159
160
cn2
coeficientes de orden par se tiene que cn = n2
si n 2, ley que
escrita en trminos de c0 resulta
c0
cn = , n par .
2n ( n2 !)2
Luego
c0
x(t) = 2 (n!)2
2n
t2n
n=0
y la nica solucin que pasa por (0, 1) es aquella para la que c0 = 1,
es decir,
1
x(t) = 2n 2
t2n .
n=0 2 ( n! )
0 12 0 f (t )
x (t) = t f (t ) + ,
2 t
3 3 1 3
x00 (t) = 22 t2 2 f 00 (t ) + 2 t 2 f 0 (t ) t 2 f (t ) .
4
160
Ecuaciones diferenciales con coeficientes analticos 161
Insertando las expresiones anteriores para x0 (t) y x00 (t) (en trminos
f y sus
de derivadas) en la ecuacin diferencial se tiene que x(t) =
t f (t ) es solucin si y solamente si
1
22 t2+ 2 f 00 (t )
1
+ 2 t+ 2 f 0 (t ) + 22 t2 2 p2 t f (t ) = 0
o, equivalentemente,
2 2 00 0 2 2 2
t f (t ) + t f (t ) + t p t f (t ) = 0 . (6.5)
4
s
16t 3 1 + 13
2
1 t , = I .
4t 8
161
162
162
C APTULO 7
f n : [0, 1] R , f n ( x) = sen(nx) .
| sen(nx)| 1 x [0, 1] , n N.
163
164
n o
2. Demuestra que la sucesin de funciones { f n (t)} = (nt) con-
sen
n
verge uniformemente a cero en R. Qu se puede decir acerca de la
convergencia de { f n0 (t)}?
164
Anlisis local de existencia y unicidad de soluciones 165
0.5
-0.5
-1
165
166
-6 -4 -2 2 4 6
-1
-2
166
Anlisis local de existencia y unicidad de soluciones 167
k f n0 ( x)k < M n N , x I.
lm f n (t) = 0 uniformemente en n .
|t|
lm f n (t) = 0 uniformemente en n N
|t|
167
168
k
[
[ R, R] B ( ai , ) , a1 , . . . , ak Q .
i =1
168
Anlisis local de existencia y unicidad de soluciones 169
Si t (n, n + 1) y s n, entonces
| f nk (t)| < t R .
169
170
0.8
0.6
0.4
0.2
-1 1 2 3 4 5 6
170
Anlisis local de existencia y unicidad de soluciones 171
x00 t2 x = 0 .
t4
Para qu valores de la funcin z(t) = e 12 es una solucin
aproximada de la ecuacin en el intervalo [ 12 , 12 ]?
t6 t4
t 6 t4
k0 (t) F (t, (t))k =
0, e 12
= e 12 := h(t) .
9 9
171
172
0 (t) x0 ,
172
Anlisis local de existencia y unicidad de soluciones 173
173
174
obtenemos Z
x(t) = x0 + F (s, x(s)) ds
J
y, por tanto, la existencia de soluciones de (P). Para observar la uni-
cidad supongamos que x(t) e y(t) son dos soluciones de (P), esto
es,
Z Z
x(t) = x0 + F (s, x(s)) ds , y(t) = x0 + F (s, y(s)) ds .
J J
Entonces
Z Z
k x(t) y(t)k k F (s, x(s)) F (s, y(s))k ds L k x(s) y(s)k ds .
J J
174
Anlisis local de existencia y unicidad de soluciones 175
(a) x0 = x + 2 , x(0) = 2.
4
(b) x0 = x 3 , x(0) = 0.
4
(c) x0 = x 3 , x(0) = 1.
(d) x0 = sen( x) , x(0) = 0.
(e) x0 = x
2 , x(1) = 1.
x0 (t) 2 ,
Z t
x1 (t) = 2 + 4 ds = 2 + 4t = 2(1 + 2t) ,
0
Z t Z t
x2 (t) = 2 + [2(1 + 2s) + 2] ds = 2 + 4 (1 + s) ds
0 0
= 2(1 + t)2 = 2(1 + 2t + t2 ) ,
Z t
2
2 1 3
x3 (t) = 2 + (4 + 4s + 4s ) ds = 2 1 + 2t + t + t ,
0 3
Z t
2 1 1
x4 (t) = 2 + 4 + 4s + 2s2 + s3 ds = 2 1 + 2t + t2 + t3 + t4 .
0 3 3 12
En este caso la solucin explcita es fcilmente calculable por tratarse
de un problema lineal:
x(t) = 2(2et 1) .
4
(b) F (t, x) = x 3 , luego
175
176
4
(c) F (t, x) = x 3 , luego
x0 (t) 1 ,
Z t
x1 (t) = 1 + ds = 1 + t ,
0
Z t
4 3 4 7
x2 (t) = 1 + (1 + s) 3 ds =
+ (1 + t) 3 ,
0 7 7
Z t
4 3 7
1 43 Z t+1 7
43
x3 (t) = 1 + + (1 + t) 3 ds = 1 + 4 + 3u 3 du ,
0 7 7 7 1
x0 (t) 1 ,
Z t
1 1
x1 (t) = 1 + ds =
(1 + t) ,
1 2 2
Z t
1 1 1 15 1
x2 (t) = 1 + (1 + s) ds = + (1 + t)2 = + t + t2 ,
0 4 2 8 4 2 2
Z t
1 5 s s 2
x3 (t) = 1 + + + ds
1 4 4 2 4
15 1 1
= 1+ (t 1) + (t2 1) + (t3 1)
4 4 4 12
1 29
3
t
2
= + 5t + t + ,
16 3 3
Z t
2
x4 (t) = 2 + 4 + 4s + 2s2 + s3 ds
0 3
2 1 3 1 4
= 2 1 + 2t + t + t + t .
3 12
176
Anlisis local de existencia y unicidad de soluciones 177
donde f : (, 1) R R es la funcin
0 si t 0 y x R
2t si 0 < t < 1 y x < 0
f (t, x) = 4x .
2t t si 0 < t < 1 y 0 x t2
2t si 0 < t < 1 y t2 < x
lm { f (tn , xn )} = f (0, x) = 0 .
n
lm { f (tn , xn )} = lm {2tn } = 0 .
n n
lm { f (tn , xn )} = lm {2tn } = 0 .
n n
177
178
(c1) Si xn 0, entonces
n 4xn o
lm { f (tn , xn )} = lm 2tn = 2t = f (t, 0) .
n n tn
(c2) Si xn < 0, entonces
lm { f (tn , xn )} = lm {2tn } = 2t = f (t, 0) .
n n
0 = lm {2tn } lm { f (tn , xn )}
n n
n 4xn o
= lm 2tn lm {2tn } = 0 ,
n tn n
luego
lm { f (tn , xn )} = 0 = f (0, 0) .
n
178
Anlisis local de existencia y unicidad de soluciones 179
4x 4t2
x0 = f (t, x) = 2t = 2t = 2t ,
t t
lo cual nos conducira a contradiccin.
(b2) Si fuese f (t, x) = 2t en algn intervalo, entonces el pro-
blema a resolver sera
0
x = 2t
x(0) = 0
179
180
0 si t 0
x(t) = t2
3 si 0 < t < 1
180
Anlisis local de existencia y unicidad de soluciones 181
x0 (t) x0 = 0 ,
Z t
0 si t 0
x1 (t) = f (s, 0) ds = Rt 2 ,
0 0 2s ds = t si t > 0
Z t
x2 (t) = f (s, x1 (s)) ds
0
(
0 si t 0
= Rt Rt 4s2
,
0 f (s, s2 ) ds = 0 2s s ds = t2 si t > 0
Z t
0 si t 0
x3 (t) = f (s, x2 (s)) ds = Rt 2
Rt 2 .
0 0 f ( s, s ) ds = 0 2s ds = t si t > 0
181
182
x0 = f ( x) , y0 = g( x) y
tiene una nica solucin para unas condiciones iniciales dadas. Cal-
cula la solucin en el siguiente caso particular:
x0 = 2| x| , y0 = | x| y
p
.
x(0) = 1 , y(0) = 3
x0 = 2| x| , y0 = | x| y
p
.
x(0) = 1 , y(0) = 3
La nica solucin de
x0 = 2| x|
x(0) = 1
182
Anlisis local de existencia y unicidad de soluciones 183
(a) x0 = | x| + (2 x2 t2 ) , x(t0 ) = x0 .
(b) x0 = g( x) + 1
t2x(t0 ) = x0 ,
,
cos( x) si x 0
donde g( x) = .
1 si x < 0
F (t, x) | x| + 2
183
184
(a) f ( x) = | x| , x (, ).
1
(b) f ( x) = x 3 , x [1, 1].
(c) f ( x) = 1
x , x [1, ).
(d) f ( x, y) = ( x + 2y, y) , ( x, y) R2 .
xy
(e) f ( x, y) = 1+ x+ y , x2 + y2 < 21 .
| f ( x) f ( y)| = || x| | y|| | x y| x, y R ,
184
Anlisis local de existencia y unicidad de soluciones 185
(e) Se tiene
xy x y
| f ( x, y) f ( x, y)| =
1 + x + y 1 + x + y
xy(1 + x + y) x y(1 + x + y) y y( x x) + x x( y y) + xy x y
= =
(1 + x + y)(1 + x + y) (1 + x + y)(1 + x + y)
y y( x x) + x x( y y) + y( x x) + x( y y)
=
(1 + x + y)(1 + x + y)
y(1 + y)( x x) + x(1 + x)( y y)
=
(1 + x + y)(1 + x + y)
y(1 + y) x(1 + x)
| x x | + (1 + x + y)(1 + x + y) | y y|
(1 + x + y)(1 + x + y)
1 + y 1+x
< | x x| + | y y| < 2k( x, y) ( x, y)k1 ,
1 + x + y 1 + x + y
luego podemos tomar L = 2.
(f) NO existe. Si existiese tal constante, llammosla L, habra de sa-
tisfacer
| x log(| x|) y log(| y|)|
L x, y [1, 1] .
| x y|
Para comprobar que no es posible basta con tomar y = 0 (obsrvese
que f ( y) = 0) y x = > 0 tan pequeo como se desee.
185
186
n =i
0 z(t) 1 t [1, 1] .
xk+1 = T ( xk ) , k N,
1
z(t)2 + 1 t2 = z(t)
t [1, 1] ,
2
186
Anlisis local de existencia y unicidad de soluciones 187
187
188
15. Demuestra que existe una funcin continua en [0, 1] que satisface
Z t
1
f (t) = s2 sen( f (s)) ds t [0, 1] .
3 0
Es nica?
Z t
1
[ T ( f )](t) = s2 sen( f (s)) ds .
3 0
188
Anlisis local de existencia y unicidad de soluciones 189
Se tiene que
16. Prueba que existe una nica funcin continua en [0, 1] que cumple
Z t
x(s)
x(t) = sen(t) + ds t [0, 1] .
0 s
T k ( T ( x)) = T ( T k ( x)) = T ( x) ,
T k ( y) = T k1 ( T ( y)) = T k1 ( y) = T k2 ( T ( y))
= T k2 ( y ) = = T ( y ) = y .
189
190
x(t)
x0 (t) = cos(t) + := F (t, x) t [0, 1] .
t
luego T 4 es contractiva.
190
Anlisis local de existencia y unicidad de soluciones 191
M 0 tal que
k F (t, x)k M (t, x) R
b
y mn{ a, M }. Definimos
n o
R = (t, x) R N +1 : |t t0 | , k x x0 k b R .
k xk = max{k x(t)k} .
t I
A = { x X : x(t0 ) = x0 , k x(t) x0 k b} .
Veamos que A es cerrado (y, por tanto, completo). Sea para ello { xn }
una sucesin de A tal que lmn { xn } = x (ntese que esta conver-
gencia es uniforme). Entonces
3 Esdecir: si D = I , para cada x existen una bola abierta B( x, r) y una
constante L = L( x) tales que si y, z B( x, r) se tiene que k f ( y) f ( z)k Lk y zk
191
192
x X,
luego k x(t) x0 k b.
(ii) Tx (t0 ) = x0 .
R
t
(iii) k Tx (t) x0 k =
t0 F (s, x(s)) ds
M|t t0 | M b.
luego
Z t
k Tx1 Tx2 k L( x0 ) max k x1 (s) x2 (s)k ds
t I t0
L( x0 )k x1 x2 k|t t0 | L( x0 ) k x1 x2 k .
192
Anlisis local de existencia y unicidad de soluciones 193
193
194
194
C APTULO 8
195
196
196
Anlisis global de existencia y unicidad de soluciones 197
que es absurdo.
x0 = f (t, x)
x(0) = y
est definida en R.
P( y) = x(t0 ; y) .
197
198
lm {k x(t)k} = . (8.1)
t+ , t<+
198
Anlisis global de existencia y unicidad de soluciones 199
que sabemos (por el apartado (a)) admite una nica solucin defini-
da en R. Denotemos por x(t; t0 , v) a dicha solucin. Basta con tomar
x0 = x(0; t0 , v).
Se pide:
199
200
por lo que
Z 2
x(2) = 1 + sen(sx(s)) ds 1 + 1 = 2 .
1
200
Anlisis global de existencia y unicidad de soluciones 201
201
202
Entonces, al ser
1 1
< (t, x) (0, ) R ,
t2 + x2 t2 + 1
podemos elegir C = x0 + con > 0 arbitrariamente pequeo y
concluir que
la posibilidad de que alcanzara en tiempo finito la frontera del dominio D en que est
definida la ecuacin, lo cual impedira su prolongacin hasta . Esto es, podra suceder
lo siguiente:
202
Anlisis global de existencia y unicidad de soluciones 203
Definimos
d(t) := 2 (t) 1 (t) .
Claramente d(t1 ) = d(t2 ) = 0. Adems
203
204
8. La solucin de
x0 = y2 ,
x(0) = 1
0
y = sen( x), y(0) = 1
est definida en R?
204
Anlisis global de existencia y unicidad de soluciones 205
205
206
206
Anlisis global de existencia y unicidad de soluciones 207
11. El intervalo maximal de definicin de la solucin x(t) = 1 t del
problema de valores iniciales
0
x = 2tx2
x(0) = 1
es (, 1) y lmt1 x( y) = 0. Hay contradiccin con los resulta-
dos de prolongacin conocidos?
12. (a) Prueba que toda solucin de la ecuacin del pndulo con roza-
miento
mg
mx00 + bx0 + sen( x) = 0
l
est definida en R.
(b) Prueba que la solucin del problema de valores iniciales
00
x + ( x2 1) x0 + x = 0
x(0) = x0 ,
0
x (0) = v0
con > 0, est definida en [0, ).
207
208
Entonces
k f ( x1 , x2 ) f ( x1 , x2 )k1
b g
= | x2 x2 | + ( x2 x2 ) + (sen( x1 ) sen( x1 ))
m l
b g
1+ | x2 x2 | + | sen( x1 ) sen( x1 )|
m l
b g
1+ | x2 x2 | + | x1 x1 |
m l
x1 x1
L
,
x2 x2 1
con n b go
L = max 1 + , .
m l
Luego f es globalmente lipschitziana en ( x1 , x2 ), por lo que toda so-
lucin de la ecuacin del pndulo con rozamiento est definida en
R.
(b) Reescribiendo la ecuacin de segundo orden en forma de sistema
obtenemos
0
x1 x2
= = f ( x1 , x2 ) .
x02 ( x21 1) x2 x1
Definimos la funcin (de energa)
Luego
E0 (t) 2x0 (t)2 2E(t) .
Integrando entre 0 y t:
Z t
E(t) x20 + v20 + 2 E(s) ds .
0
208
Anlisis global de existencia y unicidad de soluciones 209
209
210
210
C APTULO 9
Dependencia continua y
diferenciable respecto de datos
iniciales y parmetros. Estabilidad
211
212
f f f
0 0 1
= , = , =
x2 x1 3x21 x2
son continuas ( x1 , x2 , ) R2 R+
0 . Luego la solucin general es
1
de clase C con respecto al parmetro y, en particular,
lm x (t) = x0 (t) t 0.
0
Veamos que x (t) est definida en [0, ). Para ello definimos la si-
guiente funcin (energa) E : [0, + ) R,
1 0 2 1
E(t) = x (t) + x(t)4 ,
2 4
donde I = [0, + ) es el intervalo maximal de existencia de x(t).
Tenemos
E0 (t) = x0 (t)2 0 ,
lo que implica que E(t) es decreciente, luego
1 0 2 1 1
0< x (t) + x(t)4 E(0) = t I.
2 4 4
Por tanto, x(t) y x0 (t) son acotadas y, consecuentemente,
212
Dependencia continua y diferenciable respecto de datos iniciales y
parmetros. Estabilidad 213
lm x (t) = 0 t > 0,
0
pero no en t = 0.
(c) VERDADERA. La funcin f (t, x, ) = sen( x) es sublineal para
cualquier R fijo (aunque arbitrario), ya que | f (t, x, )| . Por
tanto, x (t) est definida en R para cualquier valor de . Adems se
tiene que
213
214
214
Dependencia continua y diferenciable respecto de datos iniciales y
parmetros. Estabilidad 215
215
216
x
(b) Calcula ( t; 1 ).
x0 = x2 , x(0) = 1 ,
F F
(c) NO, ya que x y no estn definidas en = 0.
216
Dependencia continua y diferenciable respecto de datos iniciales y
parmetros. Estabilidad 217
(b) Probar que para todo T > 0 existe 0 > 0 tal que si 0 < < 0
entonces x(t; ) est definida en [0, T ].
x
(c) Calcular ( t; 0 ).
(Junio 1995)
1 + | 1|
x= .
2
1
x = 1, x= [2, ] .
Por tanto, si > 0 se tiene que
1
1 < x(t; ) < t ( , + ) = I ,
es decir, la solucin de nuestro problema de valores iniciales est
atrapada entre dos soluciones constantes, luego I = R. Si por el con-
trario = 0, el problema a resolver es
0
x = x1
x(0) = 2
F (t, x, ) = (1 + ) x x2 1
217
218
x
(c) Denotemos (t) := ( t; 0 ). El problema variacional asociado es
(t) = (1 t et )et .
5. Se considera el sistema
0
x1 = x2 + ( x21 + x22 ) x1
.
x02 = x1 + ( x21 + x22 ) x2
Solucin : Denotaremos
x1 (t; x0 )
0 x1 (0)
x(t) = , x = .
x2 (t; x0 ) x2 (0)
218
Dependencia continua y diferenciable respecto de datos iniciales y
parmetros. Estabilidad 219
1
(a) > 0. El denominador de (9.4) se anula en t = 220
, luego
1
(t) slo est definida en [0, 2 2 ). Por tanto, si > 0 no puede
0
hablarse de estabilidad.2
(c) < 0. En este caso (t) < 0 , luego el origen es estable. Ade-
ms (t) 0 cuando t , lo cual significa que
x(t) 0
= k x(t)k = (t) 0
0
2 Lo cual no significa que la solucin trivial sea inestable, slo que no tiene sentido
discutir la estabilidad de la misma porque no est globalmente definida
219
220
(Febrero 1989)
220
Dependencia continua y diferenciable respecto de datos iniciales y
parmetros. Estabilidad 221
(ii) Si x0 > pn sabemos que pn < x(t; x0 ) < x0 y x0 (t; x0 ) < 0, por
lo que x(t; x0 ) es decreciente y acotada. Por consiguiente, existe
lmt { x(t; x0 )} y pn lmt { x(t; x0 )} < x0 .
(iii) Si x0 < p1 sabemos que x0 < x(t; x0 ) < p1 y x0 (t; x0 ) > 0, por
lo que x(t; x0 ) es creciente y acotada. Por consiguiente, existe
lmt { x(t; x0 )} y x0 < lmt { x(t; x0 )} p1 .
f
= ( x p2 )( x p3 ) . . . ( x pn )
x
( x p1 )( x p3 ) . . . ( x pn ) . . . ( x p1 )( x p1 ) . . . ( x pn1 ) .
Entonces
f
( p ) = ( pi p1 )( pi p2 ) . . . ( pi pi1 )( pi pi+1 ) . . . ( pi pn ) ,
x i
de donde se deduce que
f
signo (p ) = (1)ni+1 .
x i
221
222
1 2 3 4 5
-1
-2
222
Dependencia continua y diferenciable respecto de datos iniciales y
parmetros. Estabilidad 223
7. Se considera la ecuacin
x00 + g( x) = 0
g0 ( p) = G 00 ( p) < 04 ,
luego
p = max{Re( ) : ( J [ F ]( p, 0))} > 0
lo cual indica que el punto de equilibrio ( p, 0) es inestable en funcin
del primer mtodo de Lyapunov.
4 En virtud del teorema fundamental del clculo, ya que g es continua por hiptesis
223
224
K
x(t) = 0 cuando t , K R,
t
por lo que la solucin trivial es un atractor; luego podemos elegir
1
a(t) = .
t
Si ahora elegimos
2
b(t) = ,
t
entonces x0 = ( a(t) + b(t)) x es exactamente x0 = xt , que es inestable.
En efecto, ahora las soluciones son de la forma
x(t) = Kt cuando t , K R,
lm b(t) = 0 .
t
y la ecuacin
x00 + f ( x0 ) + x = 0 .
224
Dependencia continua y diferenciable respecto de datos iniciales y
parmetros. Estabilidad 225
2
(a) x00 2xex = 0.
(c) x0 = y + x x3 , y0 = x.
(d) x00 + x| x| = 0.
225
226
1 3x2 1
1 1
J [ F ]( p) = ( p) = ,
1 0 1 0
cuyos valores propios son = 23 i. Entonces = 21 > 0 y, segn
1
2
el primer mtodo de Lyapunov, el punto de equilibrio es inestable.
(d) Escrita vectorialmente la ecuacin es de la forma
0
( x2 , x21 )T si x1 0
x1 x2
= = F ( x1 , x2 ) = ,
x2 x1 | x1 | ( x2 , x21 )T si x1 < 0
226
Dependencia continua y diferenciable respecto de datos iniciales y
parmetros. Estabilidad 227
Calculamos
f 0 (0) f 0 (0)
2 2
J [ F ]( p) = J [ F ](r) = ( p) = ,
f 0 (0) f 0 (0) 2 2
f 0 ( 23 ) f 0 ( 23 )
2 2
J [ F ](q) = (q) = .
f 0 ( 23 ) f 0 ( 23 ) 2 2
227
228
3y5 3y4 ( y + 5)
x+ y
H ( f ) = 2e ,
x 1x
luego
1 0 0
H( f ) = .
0 2e 0
Por tanto estamos en el caso en que = 0, por lo que el primer
mtodo de Lyapunov no aporta informacin.
Construimos la funcin de Lyapunov
V ( x, y) = ( x 1)2 + y6 .
x0 = f ( x) , f C 1 (R N ; R N ) ,
A = q R N : lm { x(t; q)} = p
t
es abierto.
228
Dependencia continua y diferenciable respecto de datos iniciales y
parmetros. Estabilidad 229
lm { x(t; y)} = p .
t
lm { x(t; y)} = p ,
t
x(t; y) = (t)
229
230
x00 + x3 + 3x2 + 3x + 1 = 0 .
x2 x22 ( x1 + 1)4
Z x1
V ( x1 , x2 ) = 2 + (u + 1)3 du = + 0.
2 1 2 4
Es claro que V (1, 0) = 0, luego V es definida positiva. Adems
D E
V 0 ( x1 , x2 ) = ( x1 + 1)3 , x2 , x2 , ( x1 + 1)3 = 0,
x0 = f ( x) , f C 1 (R N , R N ) ,
230
Dependencia continua y diferenciable respecto de datos iniciales y
parmetros. Estabilidad 231
(Febrero 1990)
(Junio 1991)
231
232
cuyo nico punto de equilibrio es p = (0, 0)T . En este caso los valores
propios del sistema son = 2i = 0, luego el primer mtodo
de Lyapunov no proporciona informacin. Podemos considerar la
funcin de Lyapunov
x22
E( x1 , x2 ) = 2x21 + .
2
En efecto, E( p) = 0 y E( x1 , x2 ) es definido positivo en un entorno de
p. Adems
E0 ( x1 , x2 ) = (4x1 , x2 ) ( x01 , x02 )T = (4x1 , x2 ) ( x2 , 4x1 )T = 0 ,
luego p es estable pero no asintticamente estable.
(c) x0 = sen( x)2 . Los puntos de equilibrio son pk = k con k Z.
Para ver que son todos inestables consideramos las funciones
Vk ( x) = x k , k Z.
Se tiene que Vk ( pk ) = 0, Vk0 ( x) = x0 = sen( x)2 > 0 en cualquier
1
entorno reducido de pk y Vk pk + n > 0 para todo n N, luego el
teorema de inestabilidad de Cetaev nos permite concluir.
(d) Podemos usar el ejemplo del Ejercicio 5 con = 1:
0
x1 = x2 x1 ( x21 + x22 )
.
x02 = x1 x2 ( x21 + x22 )
En efecto, el nico punto de equilibrio es p = (0, 0)T y la matriz
jacobiana de
x2 x1 ( x21 + x22 )
F ( x1 , x2 ) =
x1 x2 ( x21 + x22 )
evaluada en p es
3x21 x22 1 2x1 x2
0 1
J [ F ]( p) = ( p) = ,
1 2x1 x2 x21 3x22 1 0
siendo sus valores propios = i = 0. Por tanto, el primer
mtodo de Lyapunov no aporta informacin.
Otro ejemplo sencillo de analizar es x0 = x3 .
(e) Sirve el ejemplo del apartado (c).
(f) x0 = x( x 1), ya que x 0 es estable (de hecho es asintticamente
estable) y x 1 es inestable.
232
Dependencia continua y diferenciable respecto de datos iniciales y
parmetros. Estabilidad 233
(Septiembre 1992)
p = log( x) , q = log( y)
obtenemos
x0 y0
p0 = = a by = a beq , q0 = = c + dx = c + de p .
x y
Si ha de ser
H
p0 = a beq = ( p, q)
q
hemos de elegir la funcin H ( p, q) de la forma
H ( p, q) = beq aq + f ( p) ,
233
234
H
c + de p = q0 = ( p, q) ,
p
H ( p, q) = beq aq + de p cp .
(b) Se tiene
V ( x, y) = by a log( y) + bx c log( x) .
Entonces
V c V a
= d , = b ,
x x y y
por lo que el nico punto crtico de V es ( dc , ba ). Para comprobar que
se trata de un mnimo construimos la matriz Hessiana de V,
!
c
x 2 0
Hess[V ]( x, y) = 0 ya2 ,
de modo que
!
c a d2
c 0
Hess[V ]( , ) = b2
d b 0 a
es definida positiva.
(c) Se puede comprobar fcilmente que el primer mtodo de Lya-
punov no proporciona informacin ya que los valores propios de
J [ F ]( dc , ba ) son ambos complejos, donde
H
!
q ( p, q )
F ( p, q) = H
p ( p, q )
234
Dependencia continua y diferenciable respecto de datos iniciales y
parmetros. Estabilidad 235
Se tiene
U 0 ( x, y) = V 0 ( x, y) = V ( x, y) ( x0 , y0 )
c a
= d ,b ( a by) x, (dx c) y
x y
= (dx c)( a by) + (by a)(dx c) = 0 ,
luego ( dc , ba ) es estable pero no asintticamente estable.
16. Se pide:
(Diciembre 1996)
235
236
x
Los valores propios de H (V ) son 1 = 1 y 2 = + e x ,
0
x
ambos positivos. Por tanto, H (V ) es definida positiva y, con-
0
secuentemente, ( x , 0) es un mnimo de V. De hecho, ha de ser el
mnimo absoluto de V porque es nico.
2 y2
V ( x, y) = E( x, y) E( x , 0) = x + ex + E( x , 0) .
2 2
Se tiene que
V ( x , 0) = 0 , V ( x, y) > 0 ( x, y) 6= ( x , 0) , V 0 ( x, y) 0 ,
236
C APTULO 10
237
238
u
= Au ,
t
22
donde A es la extensin de x 2 a L (R).
2
[sen(kx)] = k2 sen(kx) .
x2
Para resolver (b) empleamos el proceso estndar de separacin de
variables (ntese que una de las ecuaciones que se desprenden de
la separacin de variables ha sido resuelta en el apartado (a)) y el
principio de superposicin de soluciones (en serie de Fourier) para
la ecuacin del calor, de lo que se obtiene que la solucin requerida
es
1
u(t, x) = ek t sen(kx) .
2
k=1
k
Finalmente, para dar respuesta a (c) observamos en primer lugar
que, para valores t > 0, ku(, x)k L2 ((0,)) es acotada. En efecto,
1 k2 t 1 1
ku(, x)k L2 ((0,)) ke k L2 ((0,)) = .
k=1
k 2 k=1 k 2
238
Series de Fourier, problemas de contorno, ecuaciones en derivadas
parciales y clculo de variaciones 239
!
sen(kx)
ku(, x)k L2 ((,0)) k ket k L2 ((,0)) ,
k=1
que es divergente.
(Septiembre 2004)
239
240
(tx0 )0 + xt = 1t , 1 t e
x0 (1) = 1 ,
x(e ) + x0 (e ) = 0
240
Series de Fourier, problemas de contorno, ecuaciones en derivadas
parciales y clculo de variaciones 241
20
10
20 40 60 80 100
-10
-20
Figura 10.1: Las soluciones de la ecuacin (10.1) son los ceros de la funcin re-
presentada: 0, 2,03042, 6,41195, 12,9904, 21,7629, . . .
241
242
(Septiembre 2003)
con
Z
1
an = x cos[n( x + )] dx , n N {0} ,
Z
1
bn = x sen[n( x + )] dx , n N.
(1)n
Z
an = x cos(nx) dx = 0 , n N.
242
Series de Fourier, problemas de contorno, ecuaciones en derivadas
parciales y clculo de variaciones 243
t2 x00n + tx0n + n xn = 0 .
Pero
2n + 1 h 2n + 1 i
x0n (t) = sen log(t) ,
2t 2
2n + 1 h 2n + 1 i
x00n (t) = sen log ( t )
2t2 2
2n + 1 2 h 2n + 1 i
cos log(t) ,
2t 2
en cuyo caso resulta la relacin
2n + 1 2
n =
2
que es absurda.
(e) FALSA. Es inmediato comprobar que la funcin
243
244
2x
4. Sea la funcin f ( x) = cos( x) 1 + definida en el intervalo [0, ].
2x 2 sen(2kx)
cos( x) = 1
k ( 1 4k 2)
.
k1
2 2x
Z
bn = cos( x) 1 + sen(nx) dx =
0
2h n n
1 2 i
1 + (1) + (cos(n ) 1) + cos(n )
n2 1 n n
2 h n 2 i
n
= 1 + (1) + 1 + cos(n )
n 1 n2 (
2 0 si n es impar
= 2
1 + (1)n = n(1n2 ) si n es par ,
4
n(1 n )
luego
2 sen(2nx)
f ( x) 2
.
n=1 n ( 1 4n )
244
Series de Fourier, problemas de contorno, ecuaciones en derivadas
parciales y clculo de variaciones 245
luego
2x 2 sen(2nx)
cos( x) = 1 2
.
n=1 n ( 1 4n )
1 Obsrvese que el sistema de senos es ortonormal slo nsi sus elementos estn nor-
o
sen
( nx )
malizados a la unidad, es decir, si consideramos el sistema
, por lo que los
nN
coeficientes de Fourier asociados pasan a ser de la forma bn
245
246
(Junio 2002)
(Junio 2003)
(Julio 2003)
246
Series de Fourier, problemas de contorno, ecuaciones en derivadas
parciales y clculo de variaciones 247
(Junio 2004)
v0 (t) w00 ( x)
v0 (t)w( x) v(t)w00 ( x) = v(t)w( x) = +1,
v(t) w( x)
v0 (t) w00 ( x)
= = +1.
v(t) w( x)
v0 (t) + v(t) = 0 ,
w00 ( x) + (1 + )w( x) = 0 .
w( x) = Ax + B , A, B R .
w( x) = A e(1+)x + B e(1)x , A, B R .
247
248
v0 (t)w( x) = v(t)w00 ( x) ,
v0 (t) w00 ( x)
= = .
v(t) w( x)
v0 (t) + v(t) = 0 ,
w( x) = Ax + B con A, B R si = 0,
u(t, x) = 1 + 5e 9t cos(3x) .
248
Series de Fourier, problemas de contorno, ecuaciones en derivadas
parciales y clculo de variaciones 249
2.8
2.6
2.4
2.2
1.8
1.6
1.4
249
250
-2
-4
250
Series de Fourier, problemas de contorno, ecuaciones en derivadas
parciales y clculo de variaciones 251
Claramente
Z
1
lm u(t, x) = 1 = (1 + 5 cos(3x)) dx ,
t 0
w( x) = k sen(nx) , k R.
Luego
251
252
0.8
0.6
0.4
0.2
252
Series de Fourier, problemas de contorno, ecuaciones en derivadas
parciales y clculo de variaciones 253
v( x) = sen( x) + Ax + B , A, B R .
Slo falta por determinar la funcin w(t, x). Pero sabemos que w(t, x)
resuelve el siguiente problema mixto para la ecuacin de ondas ho-
mognea
wtt w xx = 0, t R, x (0, ),
w(0, x) = sen( x), wt (0, x) = 0, x [0, ],
w(t, 0) = w(t, ) = 0, t R.
00 (t) 00 ( x)
= = .
(t) ( x)
Comenzamos resolviendo el problema de contorno
00
( x) + ( x) = 0 , x (0, )
,
(0) = ( ) = 0
( x) = k sen(nx) , k R.
253
254
Por tanto
w(t, x) = c1 cos(nt) sen(nx) + c2 sen(nt) sen(nx) , c1 , c2 R ,
que resuelta junto con las correspondientes condiciones iniciales pro-
porciona
w(t, x) = cos(t) sen( x) .
Finalmente, la solucin buscada es
u(t, x) = v( x) + w(t, x) = (1 cos(t)) sen( x) .
(Junio 2004)
254
Series de Fourier, problemas de contorno, ecuaciones en derivadas
parciales y clculo de variaciones 255
0.8
0.6
0.4
0.2
255
256
d
0= F [ y + ] ( = 0)
d Z 1 n
= Fy ( x, y( x) + ( x), y0 ( x) + 0 ( x))( x)
0
o
0 0 0
+ Fp ( x, y( x) + ( x), y ( x) + ( x)) ( x) dx ( = 0)
Z 1n o
= Fy ( x, y( x), y0 ( x))( x) + Fp ( x, y( x), y0 ( x))0 ( x) dx .
0
dFp
Fy = 0, (10.4)
dx
por lo que (10.3) se traduce en
256
Series de Fourier, problemas de contorno, ecuaciones en derivadas
parciales y clculo de variaciones 257
d
0= F [ y + t(u y)] (t = 0)
dt
F [ y + t(u y)] F [ y]
= lm F [u] F [ y] ,
t0 t
luego F [ y] F [u] para todo u D , con lo que concluye la demos-
tracin.
(c) Denotemos
x2 p2
F ( y, p) = 2y2 + 4y .
2
Entonces la ecuacin de EulerLagrange asociada al problema varia-
cional planteado es
dFp
Fy =0
dx
con p = y0 , es decir,
d 2 0
0 = (4y 4) ( x y ) = 4y 4 2xy0 x2 y00 . (10.7)
dx
Claramente la funcin constante y 1 es una solucin particular de
esta ecuacin. Por tanto, para construir la solucin general de la mis-
ma basta con conocer la solucin general de la ecuacin homognea
257
258
2 u 2 u
2 = sen(2x) .
t2 x
u
u(0, x) = sen(2x) , (0, x) = 0 , u(t, 0) = u(t, 2 ) = 0 .
t
(Sugerencia: Buscarla de la forma u(t, x) = nx
n=0 un ( t ) sen ( 2 )).
258
Series de Fourier, problemas de contorno, ecuaciones en derivadas
parciales y clculo de variaciones 259
(Septiembre 2003)
F (u, q, p) = q2 p2 + p cos(2x) .
d u d u
0 = 2 2 + cos(2x)
dt t dx x
2 u 2 u
= 2 2 + 2 2 + 2 sen(2x) ,
t x
que no es ms que la ecuacin del enunciado (a).
(b) Si buscamos una solucin del problema planteado en (b) de la
forma u(t, x) = nx
n=0 un ( t ) sen ( 2 ) ha de satisfacerse (formalmente)
n2 nx
u00n (t) + un (t) sen = sen(2x)
n=0 4 2
259
260
Luego
3 cos(2t) + 1
u(t, x) = sen(2x)
4
resuelve el problema planteado en (b).
(c) SI. En efecto, supongamos que u1 (t, x) y u2 (t, x) resuelven ambas
el problema planteado en (b). Entonces la funcin
260
Series de Fourier, problemas de contorno, ecuaciones en derivadas
parciales y clculo de variaciones 261
0.5
1 2 3 4 5 6
-0.5
-1
261