Documente Academic
Documente Profesional
Documente Cultură
ii
ndice general
PRLOGO
iv
1. Teora cualitativa
1.1.
Ecuaciones autnomas . . . . . . . . . . . . . . . . . . . . . . . .
1.1.1.
Sistemas gradiente . . . . . . . . . . . . . . . . . . . . . .
1.2.
Ejercicios
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3.
Clasicacin de rbitas . . . . . . . . . . . . . . . . . . . . . . . .
11
1.4.
14
1.5.
Demostraciones . . . . . . . . . . . . . . . . . . . . . . . . . . . .
19
1.5.1.
. . . . . . . . . . . . . . . . . . . . . . . . . . .
25
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
27
1.6.
1.7.
Puntos crticos
1.6.1.
. . . . . . . . . . . . . . . . . . . . .
32
1.6.2.
Especies en competicin . . . . . . . . . . . . . . . . . . .
33
1.6.3.
Presa y depredador . . . . . . . . . . . . . . . . . . . . . .
33
1.6.4.
Ejercicios
34
1.9.
. . . . . . . . . . . . . . . . . . . . . . . . . . .
Sistemas gradiente
. . . . . . . . . . . . . . . . . . . . . . . . . .
36
. . . . . . . . . . . . . . . . . . . . . . . . . . .
37
La ecuacin orbital . . . . . . . . . . . . . . . . . . . . . . . . . .
38
1.8.1.
40
1.7.1.
1.8.
Ejercicios
Ejercicios
Ejercicios
. . . . . . . . . . . . . . . . . . . . . . . . . . .
Sistemas hamiltonianos
. . . . . . . . . . . . . . . . . . . . . . .
46
1.9.1.
47
1.9.2.
49
1.9.3.
51
1.9.4.
Ejercicios
. . . . . . . . . . . . . . . . . . . . . . . . . . .
52
1.9.5.
Ejercicios adicionales . . . . . . . . . . . . . . . . . . . . .
53
54
1.10.1. Ejercicios
. . . . . . . . . . . . . . . . . . . . . . . . . . .
56
57
2. Problemas de contorno
2.1.
61
61
2.1.1.
Solucin de (2.2) . . . . . . . . . . . . . . . . . . . . . . .
62
2.1.2.
Solucin de (2.3) . . . . . . . . . . . . . . . . . . . . . . .
63
2.1.3.
Ejercicios
66
. . . . . . . . . . . . . . . . . . . . . . . . . . .
iii
iv
NDICE GENERAL
2.2.
Problemas de contorno . . . . . . . . . . . . . . . . . . . . . . . .
68
2.2.1.
69
2.2.2.
Teorema de la alternativa
. . . . . . . . . . . . . . . . . .
70
2.2.3.
Ejercicios
. . . . . . . . . . . . . . . . . . . . . . . . . . .
74
2.2.4.
La funcin de Green . . . . . . . . . . . . . . . . . . . . .
75
2.2.5.
Ejercicios
. . . . . . . . . . . . . . . . . . . . . . . . . . .
79
2.2.6.
81
2.2.7.
Ejercicios
84
2.2.8.
2.2.9.
Existencia de autovalores
2.2.10. Ejercicios
. . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . .
86
. . . . . . . . . . . . . . . . . .
89
. . . . . . . . . . . . . . . . . . . . . . . . . . .
91
. . . . . . . . . . . . . . . . . . . .
94
. . . . . . . . . . . . . . . . . . . . . . . . . . .
97
. 104
. . . . . . . . . . . . . . . . . . . . . . . . . . . 130
3. EDPS
3.1.
3.2.
133
. . . . . . . . . . . . . . . . . . . . . . . . 133
3.1.1.
Unicidad
3.1.2.
. . . . . . . . . . . . . . . . . . . . . . . . . . . 133
. . . . . . . . . . . . . . . . . 138
3.2.1.
. . . . . . . . . . . . . . . . . . 138
3.2.2.
Ejercicios
3.2.3.
3.2.4.
. . . . . . . . . . . . . . . . . . . . . . . . . . . 142
. . . . . . . . . . 144
riables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145
3.2.5.
3.2.6.
Ejercicios
BIBLIOGRAFA
. . . . . . . . . . . . . . . . . . . . . . . . . . . 146
149
Prlogo
Las presentes notas constituyen la versin electrnica del curso: Ecuaciones
er
Diferenciales II, del 3
curso del Grado en Matemticas de la Universidad de
La Laguna. Originalmente, los documentos se colocaron en la pgina web de la
asignatura.
La Laguna, 29 de octubre de 2013.
vi
NDICE GENERAL
Captulo 1
Introduccin a la teora
cualitativa
1.1. Ecuaciones autnomas
Una ecuacin en la que el tiempo
x = f1 (x1 , . . . , xn )
1
.
.
x = f (x , . . . , x ),
n 1
n
n
abreviadamente,
x = f (x).
(1.1)
f : G Rn Rn
donde
es un abierto de
Rn ,
C 1.
caso n = 2
es de clase
x1 = f1 (x1 , x2 )
x2 = f2 (x1 , x2 ).
{
x = a11 x + a12 y
y = a21 x + a22 y
con los
aij
constantes.
1
donde
CAPTULO 1.
TEORA CUALITATIVA
donde
>0
x = x(1 y)
y = y(x 1),
es un parmetro.
y
x = x(1 x )
y = y(1 x y),
donde
>0
es un parmetro,
, > 0
constantes positivas.
{
x = y
y = sin x y,
donde
>0
es un parmetro.
x1
1 = 3
x
x2
x
2 = 3
donde
= GM , G
la constante de gravitacin,
Volviendo al caso
cada
t0 R
= x21 + x22
x0 G
ndimensional,
que
sea de clase
C1
el problema de Cauchy
x = f (x)
,
x(t0 ) = x0
(x, I),
(1.2)
donde
x(t).
I = (, )
representa al inter-
x = x(t, t0 , x0 ).
Se puede demostrar que el dominio de denicin de la funcin x(t, t0 , x0 ) es
Rn+2 , siendo x(t, t0 , x0 ) una funcin C 1 en todas sus variables. Se
un abierto de
denomina a
x(t, t0 , x0 )
(, )
entonces
1.1.
ECUACIONES AUTNOMAS
t0 = 0
abreviadamente:
x = (t, x0 ).
Es decir, por denicin
Corolario 1.2.
(t, x0 ) = x(t, 0, x0 ).
representa como:
x(t, t0 , x0 ) = (t t0 , x0 ).
Ejemplo 1.6. La solucin de
x = x, x(t0 ) = x0
es
x(t) = x0 e(tt0 ) .
Denicin 1.3.
Teorema 1.4
la ecuacin
(2
x = f (x).
Sea
(t, x0 ) = x(t, x0 ).
el ujo asociado a
Entonces:
(t, (s, x0 )) = (t + s, x0 ).
En el caso de la ecuacin lineal
x = Ax
x Rn ,
(t, x) = etA x,
donde
eA
C1
cacin
Ejemplo:
I = R,
x2 + y 2 = 1.
Denicin 1.5.
t (, ), x(t)
Una rbita
= {x(t) :
solucin.
La rbita de la solucin que pasa por
x0
en el instante t0 es
(x0 , t0 ) = {x(t, t0 , x0 ) : t (, )}
CAPTULO 1.
TEORA CUALITATIVA
x0
en el instante t0 es
t0 ,
por eso
t0
x0
Teorema 1.6.
y(t) = x(t + ).
Observacin 1.8. No se debe confundir la solucin
t0
x(t) que
Rn ). El
(un subconjunto de
pasa por
x0
en
teorema sugiere
x0
por la bita
x0 .
Denicin 1.7.
) del resto
de las rbitas.
x = x
2.
x = x(1 x)
3.
x = x(1 x)(2 x)
C 1 , x = f (x), x R
x = x(1 x), y = y .
y = y0
x0 x 1
.
x0 1 x
1 x0 t
1x
=
e .
x
x0
y(t) = y0 et
mientras que
1.1.
ECUACIONES AUTNOMAS
3.5
3
2.5
2
1.5
1
0.5
0
0.5
0.5
0.5
1.5
2.5
3.5
x = y , y = x.
6.
x2 + y 2 = r2 .
campo vectorial.
Denicin 1.8.
de
1
Un campo vectorial (de clase C ) denido en un abierto
1
n
n
es una aplicin (de clase C ) f : G R R .
En muchos contextos las rbitas de (1.1) se denominan las lneas del campo.
En mecnica de uidos
f (x)
el
(f1 , f2 ) se denomina
{
x = x(8 4x y)
y = y(3 3x y).
[0, 3,5] [0, 3,5] en puntos unih1 = h2 = 0,5 en las direcciones de los
quiver de Matlab con magnicacin 2,5.
(1.3)
CAPTULO 1.
1.1.1.
TEORA CUALITATIVA
Una funcin
de clase
C1
en un dominio
x = x
y = y ,
, y =
. Se la conoce como el sistema gradiente asociado a
x
y
. Tambin se dice que es el potencial de velocidades de la ecuacin. Segn
veremos, las soluciones hacen a decreciente (las soluciones gastan ).
donde
x =
Anlogamente, la ecuacin
{
x = y
y = x ,
dene un sistema hamiltoniano en el que
{
x = x
y = y,
{
x = y
y = x.
gradient de Matalab permite trazar el campo gradiente. Los cosurf, contour permiten trazar la supercie y sus curvas de nivel. Usn-
El comando
mandos
= xex
z = (x, y) se
(2, 2) (2, 2).
La supercie
intervalo
/2y 2 /2
en la Figura 1.3.
x = x , y = y
x = y , y = x
se
ecuacin.
1.2. Ejercicios
1. Hallar el ujo
a)
x = x2
b)
x = x(1 x)
(t, x)
1.2.
EJERCICIOS
0.5
0.5
2
1
2
1
1
2
z = (x, y)
2
1.5
1
0.5
0
0.5
1
1.5
2
2
1.5
0.5
0.5
1.5
x = x , y = y
CAPTULO 1.
TEORA CUALITATIVA
2.5
2
1.5
1
0.5
0
0.5
1
1.5
2
2.5
3
x = y , y = x
2
1.5
1
0.5
0
0.5
1
1.5
2
2
1.5
0.5
0.5
1.5
x = y , y = x
1.2.
c)
EJERCICIOS
x = x2 + 1.
2. Hallar el ujo
(t, x)
a)
{
x = y
y = x
b)
c)
x = y
y = x
x = x(1 x)
y = y.
de
x = f (x)
Teorema 1.9.
R.
R.
estn denidas en
RG
(t, x0 )
G
(t, x0 ) = x(t, x0 )
C1
a)
(t, x0 )
b)
es
c) Para cada t,
1
inversa C :
y verica
(0, z) = z ,
t (x) := (t, x)
para
para
z G.
x0 G
y t 1 , t2
es una aplicacin
C1
arbitrarios.
y biyectiva de
en
con
1
t = t .
y = t (x),
G:
x = t (y).
t : G G
10
CAPTULO 1.
TEORA CUALITATIVA
t1 t2 = t1 +t2 .
En el caso de la ecuacin lineal
x = Ax
este hecho es consecuencia inmediata de la representacin explcita:
t = etA .
1.3.
11
CLASIFICACIN DE RBITAS
Teorema 1.10.
= {c}
o bien intervalos
= (a, b).
En ste
pues si fuese x (t1 ) = 0 y c1 = x(t1 ) entonces x1 (t) = c1 sera otra solucin que
coincidira con x(t) en t1 y por unicidad x(t) = c1 para todo t que va contra el
I=R
y la rbita es
a.
en esos puntos).
En efecto, si
= .
Por tanto:
lm x(t) = b.
Un resultado general arma entonces que f (b) = 0. Vamos a dar una prueba. Si
x(t) b
x (tn ) f (b)
tn . Ahora x(n + 1) x(n) = x (tn )
cuando n , tn
:
para toda
As,
para algn
n < tn < n + 1.
f (b) = 0.
1
Ya hemos hablado de parametrizaciones y de curvas C . Se dice que una
1
n
curva es cerrada si admite una parametrizacin C , : I R , I = [a, b], tal
1
que (a) = (b) y (a) = (b) . Si es adems inyectiva (unoauno) en el
1 Si : [a, b] Rn
(b)
para algn
convierte a
una parametrizacin
> 0,
C1
tal que
(a) = (b)
C1.
(a) =
t = h(s) que
12
CAPTULO 1.
intervalo
1
clase C .
[a, b)
Como ejemplo,
TEORA CUALITATIVA
C 1,
Lema 1.11.
x(t)
Sea
C (G, R ), n 2.
1
i)
ii)
x(t)
x = f (x),
donde
es peridica.
T > 0 R
tal que
x(0) = x(T ).
tales que
x(t1 ) = x(t2 )
Demostracin. La cadena
Corolario 1.12.
Si x(t) es una solucin que cumple iii), es decir, existen vat1 , t2 R tales que x(t1 ) = x(t2 ) entonces x(t) es epridica de
T = t2 t1 .
lores distintos
periodo
x(t) es peridica de periodo T > 0 entonces tamkT con k Z cualquiera. Esto lleva a preguntarse
Denicin 1.13.
Se dice que
x : R Rn
T1 > 0 menor que T .
peridica
Lema 1.14.
Entonces
x(t)
Sea
si
T > 0
x : R Rn
x(t)
kT
T >0y
k Z.
donde
es el conjunto de periodos de
Demostracin. Si
es un periodo y
(0, )
es un grupo
T := nf T + .
o bien
1.3.
13
CLASIFICACIN DE RBITAS
cuando
todo
si
k.
Teorema 1.15.
Sea
T1 kT
es un periodo positivo
x = x(t)
n 2.
Entonces se da
x(t1 ) =
se dice abierta),
a) O bien,
x(t2 )
para t1
= t2
b) O bien existe
c) O bien
x(t) = x0
para todo
todo
generada por
t R,
x(t)
y adems
el periodo mnimo y la
x0
la rbita es un
punto crtico).
Observaciones 1.12.
a)
x0
f (x0 ) = 0.
= )
o terminan (t
= )
en puntos
x(t)
inyectiva,
ii)
x(t)
no inyectiva.
x(t))
x(t)
x(t)
(t2 t1 ))
prueba b).
para todo
t.
Es decir,
14
CAPTULO 1.
TEORA CUALITATIVA
x = Ax
x R2 ,
(1.4)
A = 0.
A,
por
V1
V2
los autovalores
2 (traza
donde traza
A)
det
= 0,
A = a11 + a22 .
Teorema 1.16.
>0
de
A.
1 = + i, 2 = i,
i)
< 0. Todas las soluciones no nulas x(t) de (1.4) tienden al punto crtico
(0, 0) cuando t y a + en mdulo cuando t , rotando innitas
veces alrededor de (0, 0) (Figura 1.6).
ii)
> 0. Todas las soluciones no nulas x(t) de (1.4) tienden al punto crtico
(0, 0) cuando t y a + en mdulo cuando t +, rotando
innitas veces alrededor de (0, 0).
iii)
= 0.
(0, 0)
(0, 0)
de periodo
2/
y rotan
t .
(0, 0) es un foco inestable y todas las otras rbitas
alejan de l cuando t . En el caso iii) se dice que
(0, 0)
es:
A>0
la condicin det
El punto
&
det
A>0
&
A<0
traza
(1.5)
(1.5).
si:
traza
A = 0.
A = 0.
1.4.
15
x2
x1
x1
lineal x = Ax.
y2
x2
y1
x1
16
CAPTULO 1.
TEORA CUALITATIVA
Ejemplos 1.14.
a) Foco estable.
( ) (
)( )
x
5
4
x
=
y
10 7
y
b) Centro.
)( )
( ) (
x
6
4
x
=
y
10 6
y
Al aplicar la transformacin
x=P
)( )
( ) (
0 2
x
x
=
y
1 2
y
( ) (
x
2
=
1
y
= 1 i.
)( )
2
x
.
0
y
En el primero la rotacin es a
Teorema 1.17.
Sean
A, 1 = 2 .
Se tienen
a) Si
b)
nodo estable. Si
(0, 0)
por
Observaciones 1.16.
a) Una condicin necesaria y suciente para que
(0, 0)
que:
det
A < 0.
A>0
Ejemplo 1.17.
A>0
&
(0, 0)
A<0
el nodo es estable.
1.4.
17
x2
x2
V2
V2
V1
V1
x1
x1
(0, 0)
(0, 0)
es un
nodo estable.
x2
x2
V1
x1
x1
a) Punto de silla.
b) Nodo estable.
Teorema 1.18.
matriz
3
4
)( )
x
y
( ) (
x
3
=
y
2
1
0
)( )
x
y
Supongamos que
A.
V1 = 2 entonces todas
t + (Figura 1.9).
a) Si dim
cuando
( ) (
x
5
=
y
6
b) Si dim
t +
(0, 0)
(0, 0) es un nodo
impropio estable.
se dice que
(0, 0)
por
(0, 0)
sea un
18
CAPTULO 1.
TEORA CUALITATIVA
= 2.
1 I .
Ejemplo 1.19.
a) Nodo impropio estable.
)( )
( ) (
4 1
x
x
=
4
0
y
y
1.5.
19
DEMOSTRACIONES
1.5. Demostraciones
Demostracin del Teorema 1.16. Dado
x0
la rbita
x0
es
= {x(t) : t R}
donde
x(t)
es la solucind de:
{
x = Ax
x(0) = x0 .
Ntese que
( )
x01
x0 =
.
x02
At
x(t) = e x0 ,
Para simplicar el estudio de
x = P 1 y
donde
en la curva:
donde
= {y(t) : t R}
y(t) = P x(t),
la solucin de
Eligiendo
y = Jy
y(0) = y0 = P x0 .
(
J=
y la solucin
y(t)
y(t) = e
cos t sen t
sen t cos t
tiene la forma:
)( )
y01
y02
( )
y01
y0 =
.
y02
(velocidad angular
resulta que
Si
es
Como:
t
2
2 + y2 .
2
y1 + y2 = e
y01
02
< 0:
|y(t)| 0
si
|y(t)|
si
t ,
seguido del
20
CAPTULO 1.
(0, 0)
|y(t)|
si
TEORA CUALITATIVA
y a favor de
>0
|y(t)| 0
(0, 0)
si
t ,
y a favor
son
de las agujas del reloj (sentido negativo). En ambos casos las rbitas
espirales.
Finalmente, si
alrededor de
(sentido negativo).
tiene la forma:
= {x(t) : t R} = {P 1 y(t) : t R} = P 1 ,
es decir es la transformada de
P 1 .
Esto
det P > 0,
En cuanto a la matriz
>0
x(t)
resuelve
x = Ax
hacemos el cambio:
z(t) = x(t).
z(t) que t signica t en la funcin original
x(t). En otras palabras z(t) viaja al pasado de x(t) cuando t . Ahora z(t)
Para la nueva funcin
cumple:
z = Az
A son = i . Como < 0 entonces |z(t)| 0
|z(t)| si t . Esto implica que |x(t)| 0 si t
que |x(t)| si t .
y los autovalores de
si
mientras
t t.
1.5.
21
DEMOSTRACIONES
x0
x0
la rbita
es
= {x(t) : t R}
donde
x(t)
es la solucind de:
{
x = Ax
x(0) = x0 .
(
De nuevo:
At
x(t) = e x0 ,
y para simplicar el estudio de
x0 =
x01
x02
x = P 1 y
donde
P 1
en la curva:
= {y(t) : t R}
donde
y(t) = P x(t),
y donde
es la solucin de
tiene la forma:
La solucin
y(t)
y = Jy
y(0) = y0 = P x0 ,
(
1
J=
0
)
0
.
2
y1 (t) = y01 e1 t
y2 (t) = y02 e2 t .
0y1 , 0y2 . Si y02 = 0
(y01 , 0) es el semieje abierto que contiene a (y01 , 0), por ejemplo
{(y1 , 0) : y1 > 0} si y01 > 0. En efecto, la solucin y(t) tiene la forma:
Comenzamos analizando las rbitas que yacen en los ejes
la rbita por
y1 (t) = y01 e1 t ,
y2 (t) = 0.
(
y2 = y02
y1
y01
) 2
1
22
CAPTULO 1.
TEORA CUALITATIVA
Se recorre con
y2
si
0y1
convergen a
(0, 0)
2 < 1 < 0,
la rbita de
(
y2 = y02
y1
y01
y0
0y2
divergen a
(0, 0).
) 2
tangente al eje
0y1
en
= {x(t) : t R} = {P 1 y(t) : t R} = P 1 ,
1
es decir es la transformada de por la aplicacin lineal de matriz P
. La matriz
1
P
tiene por columnas las coordenadas de los autovectores u y w asociados a
2 , respectivamente.
P 1 transforma el eje 0y1 y sus rbitas en el autoespacio
V1 asociado a 1 y eje 0y2 y sus rbitas en el autoespacio V2 asociado al autovalor
2 . Esto se traduce, en los dos casos a) y b) en que los dos autoespacios V1 y
V2 estn formados por tres rbitas (los dos semiespacios y el origen (0, 0)). En
el caso a) las rbitas tienden a (0, 0) en V1 y tienden a innito en V2 cuando
t . En el caso b) todas las rbitas, en los autoespacios o fuera de ellos
tienden a (0, 0).
1
En el caso b), y como consecuencia de la transformacin P
, todas las
rbitas convergen (0, 0), entrando tangentes a V1 y cuando t , con la
excepcin de las rbitas que yacen en V2 , que convergen a (0, 0) sobre este
los autovalores
subespacio.
Finalmente, en el caso a), las rbitas fuera de los subespacios
convergen a
ocurre
V1 , V2
no
(y lo mismo
x0
es
= {x(t) : t R}
1.5.
23
DEMOSTRACIONES
donde
x(t)
es la solucind de:
{
x = Ax
x(0) = x0 .
( )
x01
.
x02
De nuevo:
x(t) = eAt x0 ,
Se introduce el cambio lineal
donde
x0 =
x = P 1 y
P 1
en la curva:
= {y(t) : t R}
donde
y(t) = P x(t),
es la solucin de
Ahora la forma de
y = Jy
y(0) = y0 = P x0 .
(
1
J=
0
La solucin
y(t)
)
0
.
1
y1 (t) = y01 e1 t
y2 (t) = y02 e1 t .
Las rbitas en los ejes estn parametrizadas por:
y1 (t) = y01 e1 t
y1 (t) = 0
Cuando
y01 , y02
y2 (t) = 0
si
y0 = (y01 , 0),
y2 (t) = y02 e1 t
si
y0 = (0, y02 ).
y2 =
y02
y1
y01
y1 > 0,
y2 =
y02
y1
y01
y1 < 0,
o bien,
y0 . Por otro
A debe tener la forma A = J
cambio P .
24
CAPTULO 1.
En el caso b)
J=
La matriz
P 1
(
1
1
TEORA CUALITATIVA
)
0
.
1
v1
v2 ,
v1
donde
es cualquier
(A 1 I)v1 = 0
Ntese que
v2
&
v2 = (A 1 I)v1 .
La solucin
y(t)
que es unidimensional.
y1 (t) = y01 e1 t
y2 (t) = (y01 t + y02 )e1 t .
Las rbitas en los ejes slo yacen en el eje
y1 = 0
0y2
y2 = y02 e1 t .
Por tanto se reducen a los dos semiejes abiertos y se recorren de forma que
y2 0
cuando
t .
0y2
es el propio punto
(0, 0).
(
(
)) (
)
y01
y1
y1
y2 = y02 +
log
,
y01
y01
donde o bien
y1 > 0,
o bien
x0
tiene la forma:
= {x(t) : t R} = {P 1 y(t) : t R} = P 1 ,
1
es decir es la transformada de por la aplicacin lineal de matriz P
. La
1
matriz P
aplica el eje 0y2 en el autoespacio V1 asociado al autovalor 1 . Por
ello todas las rbitas de la ecuacin original convergen a
aproximndose de forma tangente a
V1 .
(0, 0)
cuando
t ,
1.5.
25
DEMOSTRACIONES
1.5.1.
Ejercicios
1. Hllense todas las rbitas junto con la orientacin respectiva de las mismas
de las siguientes ecuaciones:
a) x = x,
b) x = x x2 ,
b)
c)
d)
x = 8x + 13y
y = 5x + 8y.
e)
x = 6y
y = 2x 7y.
f)
g)
h)
x = 5x 4y
y = x y.
x = 4y
y = x + 4y.
x = 7x + 13y
y = 5x + 9y.
26
CAPTULO 1.
TEORA CUALITATIVA
Teorema 1.19.
Teorema 1.20.
Si
( )
entonces
y por tanto
Teorema 1.21.
Si
de una solucin
x(t)
de Jordan entonces tal rbita est parametrizada por una solucin peridica.
Ntese que esta observacin tiene en la prctica menos inters que el Teorema
1.20, el cual se aplica fcilmente a ecuaciones con una integral primera.
1.6.
27
PUNTOS CRTICOS
C1
en un abierto
del plano,
{
x1 = f1 (x1 , x2 )
x2 = f2 (x1 , x2 )
(1.6)
(xc , yc ). Recurde-
Denicin 1.22.
rado si
f (pc ),
Un punto crtico pc = (xc , yc ) de (1.6) se dice no degenela matriz jacobiana de f = (f1 , f2 ) en pc , es invertible (tiene
determinante no nulo).
Teorema 1.23.
(x1 , x2 )
y , z respecto
(x, y).
representar en al-
de
(y1 , y2 )
(z1 , z2 )),
x = f (x)
cerca de un punto crtico
(1.7)
y = Ay + g(y),
donde
y donde
o(|y|)
(1.8)
es una funcin
C1
que tiene la
propiedad:
lm
|y|0
o(|y|)
= 0.
|y|
y=0
pc
y=0
se corresponde con el de
z = Jz + h(z),
(1.9)
con h(z) = o(|z|), ecuacin que se obtiene de (1.8) tras el cambio lineal y =
P 1 z , donde P es una matriz invertible; en la que J = P AP 1 . Esto permite
simplicar la matriz
A).
28
CAPTULO 1.
TEORA CUALITATIVA
En algunos casos es conveniente estudiar las ecuaciones planas en otros sistemas de coordenadas. Por ejemplo en coordenadas polares. La ecuacin:
{
x = f (x, y)
y = g(x, y),
se puede expresar, haciendo
(1.10)
2 = x2 + y 2 , x = cos , y = sen ,
{
= R(, )
= (, ).
en la forma:
(1.11)
Lema 1.24.
Sea
que no se anula
tales que:
20 = x20 + y02 .
: (a, b) R
y:
de clase
Ck
tal que
(t0 ) = 0
t (a, b),
A los efectos del presente estudio conviene establecer la relacin entre ambas
ecuaciones. En efecto, escribiendo
=
.
y
sen
cos
= cos f + sen g
= 1 ( sen f + cos g),
( ) (
)( )
cos
sen
f
=
.
sen / cos /
g
{
x = 1 Rx y
y = 1 Ry + x,
( ) (
x
x/
=
y
y/
y
x
)( )
R
.
1.6.
29
PUNTOS CRTICOS
x2
x2
p0
p0
x1
x1
Teorema 1.25.
Demostracin. Suponemos
ecuacin se reescribe:
donde
si y slo si
la
z 0.
Cambiado
Tomamos
(t) <
La negatividad de
tal que
|z| < .
[0, ).
para
tiene inicialmente:
< ( + )
t .
existe
Adems
(t) 0
(t) < ,
luego
exponencialmente cuando
0 ( + )t (t) 0 + ( + )t
para todo
t 0.
As
(t) y
t .
la semirbita
+ (p0 )
Observacin 1.21. Si
=0
pc .
30
CAPTULO 1.
TEORA CUALITATIVA
2/
= 3
= 1
{
x = y x(x2 + y 2 )
y = x y(x2 + y 2 ),
desaparecen todas las soluciones peridicas del problema lineal asociado
{
= 0
= 1
Lo mismo sucede con
{
= 3
= 1
{
x = y
y = x.
{
x = y + x(x2 + y 2 )
y = x + y(x2 + y 2 ).
f = f (x)
es de clase
C2
en (1.6).
Teorema 1.26.
distintos,
1 = 2 .
de
f (pc )
son reales y
Entonces,
pc
contenidas todas ellas en U con las propiedades siguientes. Todas las semirbi+
+
+
+
tas positivas
que estn contenidas en U satisfacen 1 2 {pc } y
convergen adems a
a la recta
b)
(Figura 1.11).
El siguiente teorema generaliza los fenmenos correspondientes observados
en el caso lineal.
1.6.
31
PUNTOS CRTICOS
V2
G1
G1
V2
V1
V1
g1
g1
p0
p0
g2
g2
G2
G2
pc .
V1
p0
p0
Figura 1.12: Las dos conguraciones de la versin no lineal del nodo impropio
estable. Las rbitas se representan en un entorno
Teorema 1.27.
Supongamos que
representando por
V1
del punto
pc .
f (pc )
el correspondiente autoespacio.
a) Si dim
semirrecta, cuando
t +.
pc + V1
(Figura 1.12).
Denicin 1.28.
dice estable si
(que depende de
si
entonces
x
0
cumple
> 0 > 0
|
x0 pc | <
32
CAPTULO 1.
TEORA CUALITATIVA
Un punto crtico
b) existe
r>0
lm x(t, t0 , x
0 ) = pc .
t+
Ejemplos 1.22.
a) El punto crtico
(0, 0)
{
x = y
y = x ,
(x, y) = (0, 0)
donde
x = y
y = x cy ,
c > 0.
En los resultados precedentes estn implcitos los siguientes teoremas tambin debidos a Lyapunov.
Teorema 1.29
que
f (pc )
tticamente estable.
Corolario 1.30.
tal que alguno de los autovalores de f (pc ) tiene la parte real positiva. Entonces
pc es inestable.
Observacin 1.23. Se demuestra en un curso de teora de estabilidad (ver [6]) que
tanto el Teorema 1.29 como el Corolario 1.30 son ciertos en el caso n-dimensional.
Ms an, en el caso del Corolario 1.30 la condicin de no degeneracin de
pc
resulta superua.
1.6.1.
Un pndulo de longitud
l,
masa
+ k + h sen = 0,
Los equilibrios, mdulo simetras son
( , 0).
2
c > 0
se describe mediante la
c
g
,
h= .
m
l
=
(, v) = (, ) = (0, 0) y (, v) = (, )
k=
c = 0
= 4h
y un
es ligeramente ms difcil de
1.6.
33
PUNTOS CRTICOS
1.6.2.
Especies en competicin
Dos especies
x
y
)
x = r1 x(1
K1
B
x
y
).
y = r2 y(1
A K2
en donde
x(t)
y(t)
u=
x
,
K1
v=
y
,
K2
A
,
K1
B
,
K2
= r1 t,
r2
,
r1
v
u = u(1 u )
v = v(1 u v).
Como estamos interesados nicamente en soluciones positivas, existe un equilibrio positivo (de componentes positivas) si y slo si
( 1)( 1) > 0.
ste es:
uc =
El punto
El punto
( 1)
,
1
vc =
( 1)
.
1
(uc , vc ) es estable cuando > 1. En ese caso (1, 0) y (0, 1) son sillas.
(uc , vc ) es un punto de silla cuando < 1. En ese caso (1, 0) y (0, 1)
(0, 0)
1.6.3.
Presa y depredador
x es
y es su depredador. Un
x = rx(1 x y )
K
B
y = Cxy Dy,
34
CAPTULO 1.
TEORA CUALITATIVA
en donde todas las constantes implicadas son positivas. Si efectuamos las normalizaciones:
u=
x
,
x
x
=
D
,
C
v=
y
,
B
K
,
x
B
,
K2
= rt,
D
,
r
u = u(1 u v)
v = v(u 1).
El punto
silla. El punto
para
Para
>1
(, 0)
es un nodo estable
brio de componentes positivas (en el modelo slo tienen sentido las soluciones
positivas) dado por:
uc = 1
vc =
1
.
0<
1
4( 1)
>
1.6.4.
1
.
4( 1)
Ejercicios
= 3
= 1
= (1 )
= 1
v
u = u(1 u )
v = v(1 u v),
Demostrar que todas las solucin con datos iniciales positivos son siempre
positivas.
1.6.
35
PUNTOS CRTICOS
u = u(1 u v)
v = v(u 1)
> 0, > 0.
Demostrar que todas las solucin con datos iniciales positivos son siempre
positivas.
5.
x1 = x1
x2
,
log(x21 + x22 )1/2
(0, 0).
(0, 0).
x2 = x2 +
x1
log(x21 + x22 )1/2
1
2
Observacin. El segundo miembro es de clase C pero no es C cerca de
(0, 0). Ntese que la parte lineal de la ecuacin constituye un nodo estable
impropio.
6.
x1 = x1 + x2 +
x1
,
log(x21 + x22 )1/2
(0, 0).
(0, 0).
x2 = x1 x2 +
x2
log(x21 + x22 )1/2
|x|0
origen
(0, 0)
|f (x)|
= 0.
|x|
de
(0, 0)
en el que
(0, 0)
es la
Ax + f (x) = 0.
8.
Sea
pc
y = Jy + g(y),
(
1
J=
)
0
,
1
lm|y|0 |g(y)|
|y| = 0. Prubese, cambiando a polares y eligiendo
+
adecuadamente , que todas las semirbitas positivas
que empiezan
cerca de (0, 0) tienden a (0, 0) exponencialmente cuando t .
en donde
36
CAPTULO 1.
TEORA CUALITATIVA
, y =
.
x
y
x =
donde
es el potencial de veloci-
dades de la ecuacin.
En mecnica de uidos las rbitas describen las trayectorias uidas y
Proposicin 1.32.
pc
de la funcin
pc
es un mnimo relativo de
con
D2 > 0
entonces
pc
es un nodo estable
del sistema.
pc es un mximo relativo de
del sistema.
ii) Si
iii) Si
pc
es un punto de silla de
con
det D2 = 0
es un nodo inestable
entonces
pc
es un punto de
Proposicin 1.33.
Las soluciones
(x(t), y(t))
estricta-
mente decrecientes salvo que la solucin sea constante (un punto crtico).
En base a esta proposicin las rbitas del sistema se denominan lneas (curvas) de mximo decenso. Ntese que
decrecimiento de
Corolario 1.34.
es mximo.
Por otra parte, las rbitas de un sistema gradiente son ortogonales a las
curvas de nivel de la funcin.
Denicin 1.35.
Para
de la funcin
se
dene como:
(p) = 0.
es un valor crtico de
Proposicin 1.36.
Sea
tal que
1.7.
37
SISTEMAS GRADIENTE
(por
c ).
1
todo un entorno de p0 en c se representa en la forma y = h(x) con h de clase C .
el resultado.
Corolario 1.37.
curvas de nivel de
1.7.1.
en
p.
p c
donde
= 0,
es
Ejercicios
= x2 + y 2
b)
= x2 y 2
c)
= x2 y 2 .
= ax2 + 2bxy + cy 2 ,
donde
ac b2 = 0.
= xex
/2y 2 /2
A tales efecto se sugiere primero analizar los puntos crticos. Para el comportamiento global de las rbitas se propone comprobar que la funcin:
|1 x2
Observaciones.
La grca de la supercie
z = (x, y)
se representa en
es ortogonal a
= 0
38
CAPTULO 1.
TEORA CUALITATIVA
x = f (x, y)
y = g(x, y)
C 1 en un dominio G del plano.
p0 = (x0 , y0 ) desde un nuevo punto
Estudiamos la rbita
vista. Suponemos que
Entonces
f (p0 )
{(x, y) : f (x, y) = 0}
a la que pertenece
(1.13)
p0 .
que pasa por p0 y se encuentra
que pasa por p0 , coincide con
es decir la componente de
y = Y (x)
del problema
dy = g(x, y)
dx
f (x, y)
y(x0 ) = y0 .
Normalmente, la rbita completa
(x, y)
(1.14)
dx = f (x, y)
dy
g(x, y)
(1.15)
x(y1 ) = x1 .
conexas del conjunto (1.13) a travs del lugar
dx
dy
=
.
f (x, y)
g(x, y)
Todas estas ideas se extienden fcilmente al caso
n-dimensional.
{
x = y
y = x,
1.8.
39
LA ECUACIN ORBITAL
en la regin
y = 0
es
dy
x
= .
dx
y
dx
= Ax Bxy
dt
dy
= Cy + Dxy
dt
constituyen un modelo sencillo para imitar la relacin trca entre una presa
(x el nmero de efectivos) y su depredador
xc =
C
,
D
yc =
u=
x
,
x0
v=
En efecto, llamando:
A
.
B
y
,
y0
= At
obtenemos:
du
= u(1 v)
d
(1.16)
dv
= v(u 1)
dt
=
C
.
A
dv
v(u 1)
=
,
du
u(1 v)
y haciendo separacin de variables se observa que la funcin:
V (u(t), v(t))
(u(t), v(t)).
V.
Esto signica que las rbitas de la ecuacin yacen en las curvas de nivel de
Debe observarse que las funciones
40
CAPTULO 1.
Denicin 1.38.
TEORA CUALITATIVA
Una funcin
la ecuacin n-dimensional
x(t).
Teorema 1.39.
Una funcin
la ecuacin (1.6) en
V = V (x)
(producto
escalar)
x G.
slo si
C1
si y slo si
V (x) f (x) = 0
para cada
de clase
(t) = 0,
(t) = V (x(t)),
sta es constante si y
pero
Observaciones 1.28.
G y G es
{x G : V (x) = c} para cierta constante
c.
b) La funcin
ecuaciones de Lotka-Volterra.
1.8.1.
Ejercicios
{
x = y
y = x
b)
x = y
y = x
c)
{
x = x + y
y = x + y
d)
{
x = x(1 x y)
y = y(1 x y)
donde
>0
es una constante.
1.8.
41
LA ECUACIN ORBITAL
e)
{
x = x(1 x2 y 2 )
y = y(1 x2 y 2 )
f)
g)
x = x
y = x + y
x = x(1 x)
y = y
2. Clculese una integral primera para cada una de las ecuaciones del ejercicio
anterior.
3. Hllese una integral primera de la ecuacin:
x = x(x 2y)
y = y(y 2x).
{
2
x = (x2 1)e /2
2
y = xye /2
2 = x2 + y 2 .
C 1 en un abierto G
{
x = f (x, y)
y = g(x, y).
del plano:
+
k representa una componente conexa del conjunto {(x, y) G :
f (x, y) > 0} que por el momento representamos como + para abreviar. Te-
Asimismo
Proposicin 1.40.
que pasa por
p0 :
observada en
+ .
Sean
p0 = (x0 , y0 ) +
{
x = f (x, y)
y = g(x, y)
Entonces:
+ = {(x, y) : y = h(x),
x (a, b)}
42
CAPTULO 1.
donde
TEORA CUALITATIVA
dy
g(x, y)
=
dx
f (x, y)
(x, y) +
(1.17)
y(x0 ) = y0 .
Demostracin. El problema:
{
x = f (x, y)
y = g(x, y)
x(0) = x0
y(0) = y0
(1.18)
(x(t), y(t)) +
para
t I+ ,
+ = {(x, y) : y = h+ (x),
Ahora consideramos la solucin maximal
problema:
x = f (x, h(x))
x(t0 ) = x0 .
(, (0 , 0 ))
t 0 , respectivamente. Ello
x (a, b). Asimismo:
x (a+ , b+ )}.
de (1.17). Introducimos el
x (a, b)
(t) a
(t) b cuando t 0
f (x, h(x)) > 0 para
Su solucin maximal
satisface
es consecuencia de que
t (0 , 0 )
(0 , 0 ) I+ luego (0 , 0 ) = x(0 , 0 )
(a, b) (a+ , b+ ). De lo establecido ms arriba (a, b) = (a+ , b+ ) y por
h = h+ , luego hemos terminado.
es como sigue.
b+ .
lmxb+ h+ (x)
h+
son nitos.
1.8.
43
LA ECUACIN ORBITAL
h+
(b+ , h+ (b+ )) + .
+
+ < .
(1.19)
x(t)
+ =
o bien
resuelve:
lmt x (t) = 0
resulta que:
f (b+ , h+ (b+ )) = 0.
Esto es incompatible con (1.19). En el caso
+ <
debe ser:
En la siguiente propiedad
{(x, y) G :
Proposicin 1.41.
Sea
ponente de
dy
g(x, y)
=
,
dx
f (x, y)
observada esta ecuacin en
+ .
x
: (, ) R2
decir, = {(x, h(x)) : a < x < b}, h(x) = y( (x)). Razonando como en la
proposicin anterior se concluye que y = h(x) constituye una solucin maximal
pleta
de
dy
g
= .
dx
f
Para probar la armacin suponemos primero que es cerrada. En este
p0 de en . Suponemos sin prdida de
p0 = x
(0). Se observa entonces que x
: (0, T ) \ {p0 } es
generalidad que
En el caso en que
es un homeomorsmo, donde
x
: (, )
R2 .
44
CAPTULO 1.
TEORA CUALITATIVA
puntos recurrentes
es abierta sobre su imagen (se omiten detalles por brevedad). Por consiguiente
J =x
1 ( ) es conexo y abierto (sto ltimo es fcil de probar) y concluimos
la demostracin.
+
es una rbita de la ecuacin (1.6) y
= {(x, y)
+
+
+
entonces
= n donde n son las componentes de + .
Observacin 1.30. Si
G : f (x, y) > 0}
Entonces:
+ = n ( +
n ),
y cada componente de
+
n
dy
g(x, y)
=
.
dx
f (x, y)
= {(x, y) G : f (x, y) < 0} y
n son sus componentes, entonces
= n (
)
y
un
anlisis
idntico
al de arriba prueba que cada
n
de dicha ecuacin.
Anlogamente, si
g(x, y) < 0}
y sus
dx
f (x, y)
=
dy
g(x, y)
n.
+
observada en
x = Ax Bxy
y = Cy + Dxy,
en el primer cuadrante
A, B, C, D > 0,
Cy + Dxy
dy
=
,
dx
Ax Bxy
cuando dichas rbitas se observan en los dominios:
+ =
2 Se
}
{
A
y<
B
es recurrente si existe tn
{
}
A
y>
.
B
tn
tal que
x
(tn ) q .
1.8.
45
LA ECUACIN ORBITAL
{
}
C
= x>
D
+
{
}
C
= x<
,
D
dx
Ax Bxy
=
.
dy
Cy + Dxy
Como se vio, las rbitas se representan de manera conjunta mediante las
curvas de nivel de la funcin:
46
CAPTULO 1.
TEORA CUALITATIVA
en donde
V (x, y)
La notacin
es
x = Vy
y = Vx ,
H(x, y)
G R2
C1
V (x, y)
en lugar de
en
G.
se conserva
Proposicin 1.43.
La funcin
hamiltoniano.
La ecuacin orbital de un sistema hamiltoniano es:
dy
Vy
= ,
dx
Vx
3 obtenemos:
Vx dx + Vy dy = 0.
Es decir, las ecuaciones orbitales de los sistemas hamiltonianos son ecuaciones
exactas.
La siguiente propiedad se sigue del estudio de las ecuaciones exactas en el
captulo de integracin elemental.
Proposicin 1.44.
Sean
f, g
funciones de clase
C1
en un dominio
del plano
y supongamos que
div
Entonces, todo
p0 G
admite un entorno
C1
(f, g) =
f
g
+
=0
x y
(x, y) G.
{
x = f (x, y)
y = g(x, y),
V = V (x, y)
de clase
f=
V
y
g=
V
x
V (x, y)
es una integral
3 Esto
G.
se puede denir en la
1.9.
47
SISTEMAS HAMILTONIANOS
Observacin 1.32. Como comprobaremos en los ejemplos que siguen, la existencia de una integral primera en el entorno de un punto crtico en el plano trae
como consecuencia la existencia de innitas rbitas cerradas rodeando a dicho
punto. Esta conguracin se llama un centro no lineal.
Usando las ideas de la Proposicin 1.44 se establece un resultado similar
para sistemas gradiente.
Proposicin 1.45.
Sean
f, g
funciones de clase
C1
en un dominio
del plano
y supongamos que
g
f
=
y
x
Entonces, todo
p0 G
(x, y) G.
{
x = f (x, y)
y = g(x, y),
admite un entorno U en el que est denida una funcin
C 1 (nica salvo constantes aditivas) tal que:
f =
V
x
g=
V = V (x, y)
V
y
1.9.1.
de clase
U.
se puede denir en la
G.
La ecuacin:
x + f (x) = 0,
(1.20)
x = y
y = f (x).
Una funcin hamiltoniana de la ecuacin (por tanto, una integral primera) tiene
la forma:
y2
+ F (x)
2
V (x, y) =
donde
F (x) =
f (s) ds.
0
Para trazar las rbitas de la ecuacin basta construir las curvas de nivel de la
funcin
V,
puntos crticos.
48
CAPTULO 1.
0.
TEORA CUALITATIVA
(x, y) = (x , 0) donde f (x ) =
Como:
F (x ) = f (x ) = 0,
tales
F (x).
a)
f (x ) > 0. Entonces x
c de la energa:
y para valores
c = F (x ) < c < c +
las curvas de nivel
V =c
y=
El punto
(x , 0)
2(c F (x)).
y=
F . El
V = c , es
estricto de
curva
2(c F (x)),
c < c < c +
y trazando las las curvas de nivel
y=
V =c
en la forma:
2(c F (x)).
+ sen = 0
una integral primera es:
V =
Los puntos
de silla.
v2
+ (1 cos ),
2
v = .
(2k, 0) son centros no lineales y los puntos ((2k + 1), 0) son puntos
1.9.
1.9.2.
Ya se dijo que si
49
SISTEMAS HAMILTONIANOS
del plano entonces sus rbitas estn contenidas en los conjuntos de nivel
ms de una rbita.
V = c.
Ntese que en
Proposicin 1.46.
Sea
Sea
V : R2 R una funcin C 2
{
x = Vy
y = Vx .
y consideremos el sistema
junto de nivel
{V = c}
es no vaco. Entonces en
{V = c}\P
x = y
y = x2 x,
V =
y2
x2
x3
+ .
2
2
3
El conjunto,
V (x, y) =
1
,
6
(1, 0)
(1, 0).
Si de
V = 1/6
p0 =
50
CAPTULO 1.
TEORA CUALITATIVA
dy
g
=
dx
f
y(x0 ) = x0 .
una rbita cualquiera en {V = c} \ P parametrizada por una
solucin ((t), (t)), t (, ). Sabemos que {V = c} \ P y como es
conexa, est contenida en la componente conexa C en {V = c} \ P que pase por
cualquiera de los puntos de .
Probamos en primer lugar que es un abierto en {V = c} \ P . En efecto si
p0 = ((t0 ), (t0 )) sabemos que:
con la condicin inicial
Sea ahora
(t) = h((t))
mientras
= f (, h())
(t)
recorre la banda
una solucin maximal, el intervalo de tiempo donde ello transcurre est incluido
(, ). Ahora si (t) recorre (x0 , x0 +) ello signica que ((t), (t)) recorre
{V = c} \ P) U0 que est entonces contenido en .
Ahora demostramos que es un cerrado en {V = c} \ P . Supongamos
que p = (x , y ) = l
m((tn ), (tn )) y sean U y h (x) el entorno y la funcin
completamente
= f (, h ())
{V = c} \ P
entonces
=C
y hemos
terminado.
Proposicin 1.47.
(x, y)
Sean
(f, g)
un campo
C1
en un dominio
del plano y
{
x = (x, y)f (x, y)
y = (x, y)g(x, y),
1.9.
51
SISTEMAS HAMILTONIANOS
1.9.3.
El punto
pc = (1, 1),
(1.16). La matriz:
(1, 1)
= i
)
1
.
0
f (pc ) =
cerca de
G.
(1, 1)
b)
(1, 1)
c)
es estrictamente convexa en
Para cada
u > 0, v > 0.
c>0
la curva de nivel
en el primer cuadrante.
c
V (u, v) = c
(1, 1)
en su interior.
c (1, 1)
cuando
(1, 1).
(0, 0),
ma, es un punto de silla. Los ejes constituyen sus variedades estable e inestable.
u = Vv
v = Vu .
52
CAPTULO 1.
1.9.4.
TEORA CUALITATIVA
Ejercicios
x = x + 2y , y = y
b)
x = y2 + 2xy , y = x2 + 2xy
c)
x = x2 2xy , y = y2 2xy
d)
x = x2 2xy , y = y2 x2
e)
( ) (
x
a
=
c
y
b
d
)( )
x
.
y
V.
b)
c)
x = y
y = x3 x,
u = v + u 1 u3
3
v = u
u + cu + u(1 u) = 0
En el caso a) demustrese que las soluciones
( > 0),
c R.
(x(t), y(t))
V (x, y) =
1 2 1 2 1 4
y + x x .
2
2
4
x + sen x = 0.
5. Estudiar las rbitas de la ecuacin:
{
x = y
y = x2 x,
de la ecuacin
1.9.
SISTEMAS HAMILTONIANOS
1.9.5.
53
Ejercicios adicionales
x = y 1, y = x + y + 5
b)
x = 3x2 xy , y = 4xy 3y 2
c)
x = (x + 1)(y 2), y = x2 x 2.
d)
x1 = 1 x2 , x2 = x31 + x2
e)
x = x2 , y = x2 + y 2 + xy .
b)
x = x + y + 6, y = 3x y 6
c)
x = x2 2y 3 , y = 3x2 2xy .
{
x = (3x y)(x2 + y 2 1)
y = 2x(x2 + y 2 1).
54
CAPTULO 1.
TEORA CUALITATIVA
m1
m2
x
1 r, x
2 r son las posiciones relativas
de gravedad, x
=x
2 x
1 entonces
x
1 r =
x,
donde
1 = m1 /M , = m2 /M
x
2 r = (1 )
x,
y nalmente:
=
x
donde
= GM = G(m1 + m2 ).
,
|
x|3
El movimiento de
el producto vectorial:
= 0,
(
xx
) = x
x
+ x
x
luego
x
x
= e (e
constante) y
x
e = 0.
(, ) se
r2 = 2 ,
+ 2 = 0.
J = 2
t0
A() =
0
en donde
(A((t))
= ()
en la rbita. Como
1
(1 )2 d1 ,
2
= (t), = (t),
vale:
A = 2 (t)(t).
2
la velocidad areolar
1.10.
55
La conservacin de
dt =
luego, si
h = h(t)
es una funcin de
2
d,
J
t:
J dh
dh
= 2
,
dt
d
(
)
d2 h
J d
J dh
=
.
dt2
2 d 2 dt
Para
= ():
J d
2 d
u=
Poniendo
J d
2 dt
)
=
J2
+
.
2
3
llegamos por n a:
u + u =
de donde:
u=
El valor de las constantes
,
J2
+ C cos( ),
J2
J , y C viene dado
x
0 = 0 ei0 ,
B > 0.
(1.21)
x
0 = 1 ei1 ,
en la forma:
1
0 =
sen(1 0 ),
0
0 = 1 cos(1 0 ),
donde
0
Cei =
2 i ei0 ,
0
J
J
en particular:
(
C=
De la ecuacin (1.21)
=
con
J = 1 0 sen(1 0 ),
p1 =
, e = Cp,
J2
e=1
)2
(
+
0
J
)2
.
p
,
1 + e cos( )
2
0
J
e.
a la parbola y
56
CAPTULO 1.
TEORA CUALITATIVA
las rbitas del movimiento relativo son cnicas. Obsrvese que en el caso de las
elipses y circunferencias se obtienen rbitas cerradas. Se deduce as de forma
directa la existencia de movimientos peridicos en el problema.
En todos los casos, el origen
x
=0
cnica, lo que signica que los planetas orbitan entorno al centro de gravedad
que constituye uno de los focos de la cnica. Cuando
que
m2
m1
m1 .
m1
es mucho ms grande
m2
Esta es la primera ley de Kepler que arma que las rbitas de los planetas
alrededor del sol son elipses y que ste se halla en un de sus focos.
Suponiendo rbitas elpticas
m2
m1
(la tierra)
(el sol).
es proporcional
al cubo del semieje mayor de la rbita, con una constante que es independiente
del planeta (ver ms detalles en [8], una excelente introduccin a la mecnica
celeste). El periodo
1.10.1.
Ejercicios
0 , 0 , J , C
presentadas en el pro-
Indicacin. Se tiene:
x
= ei
i .
x
= ( + i)e
1.11.
57
CURVAS DE JORDAN
[a, b]
Lema 1.48.
ces
Sea
h : J R, J = [a, b],
[, ],
J, I
respectivamente.
es inyectiva en
c = sup{t [a, b] : h
creciente en
[a, t]}.
para cierto
Lema 1.49.
z:J R
: I Rn
Sea
una parametrizacin
h:J I
tal que:
z(t) = (h(t))
para cada
t J.
Demostracin. Como
Por otro lado
z(t)
es inyectiva
h = 1 z .
t0 J
admite un entorno
z (t) = 0
en
J.
En efecto,
consecuencia,
hemos terminado.
En el siguiente resultado consideramos f : G R
1
de clase C y la ecuacin diferencial autnoma (1.1):
Rn , G
un abierto,
x = f (x).
Teorema 1.50.
Sea
C Rn
= C.
58
CAPTULO 1.
TEORA CUALITATIVA
parametrizacin:
x(0) = () = ().
Ahora denimos:
c>0
porque
x[0, ] x(0) = ()
cuando
0+
no es un punto.
0 < c < c, x[0, c ] C C donde C es un arco de Jordan. En efecto, observamos que C \ {x(0)} (, ) ( = homeomorfo). Por
1
otro lado, x(0, c ) es conexo en C \ {x(0)} luego
(x(0, c )) es un subintervalo
1
estrictamente contenido en (, ) lo que signica que
(x(0, c )) (, )
1
o que
(x(0, c )) ( + , ) para algn . Suponiendo por ejemplo el primer
x(t) = (h(t))
Como
c < c
t [0, c ].
h se puede extender
h : [0, c) [, ] tal que
es arbitrario la aplicacin
x(t) = (h(t))
para todo
t [0, c).
Vamos a llamar
existira:
y cumple
<
caso contrario
x = lm x(t) = lm (s).
t
Entonces
Como
que
x[0, c] = [, ] = C = [, ].
Como
contradice la denicin de
x[0, c] = C
con
que
1.11.
59
CURVAS DE JORDAN
Teorema 1.51.
Si
x(t)
es compacta,
x : R
es
una biyeccin continua en caso de ser abierta. Por otro lado la condicin
x (t) = 0 implica que x() dene un homeomorsmo local sobre su imagen .
hecho este argumento prueba que todas las soluciones no constantes denen una
aplicacin recubridora sobre su rbita). Si
clasicacin) resulta que
es homeomorfo a
60
CAPTULO 1.
TEORA CUALITATIVA
Captulo 2
Problemas de contorno.
Teora de SturmLiouville
2.1. Ecuaciones lineales. Solucin fundamental
p0 (t), . . . , pn (t) funciones continuas en [a, b] en donde p0 (t) = 0 para
t [a, b]. Dada f C[a, b], el problema de valor inicial para la ecuacin
diferencial lineal de orden n:
Sean
todo
t [a, b]
Lx = f
x(k) (a) = k , k = 0, . . . , n 1,
(2.1)
en donde la expresin
L:
El ncleo de
L:
Ker
C n [a, b]
x(t)
C[a, b]
Lx(t).
Lx = 0.
La solucin del problema (2.1) se calcula como la suma:
n.
62
CAPTULO 2.
donde
mientras
resuelve:
{
Ly = 0
y (k) (a) = k , k = 0, . . . , n 1,
(2.2)
es solucin de:
2.1.1.
PROBLEMAS DE CONTORNO
Lz = f
z (k) (a) = 0, k = 0, . . . , n 1,
Solucin de
(2.3)
(2.2)
Para hallar la solucin de (2.2) se sabe que el espacio de soluciones de la ecuacin homognea es un espacio vectorial de dimensin
Ly = 0,
tienen la forma:
ci R.
Para el cumplimiento de las condiciones iniciales las constantes deben ser solucin del sistema:
1 (t)
...
.
.
.
(n1)
(t)
1
..
...
n (t)
.
(n1)
(t) |t=a
n
c1
0
.. ..
. = . .
cn
n1
(2.4)
1 (t)
.
.
W (t) = W (1 , . . . , n )(t) =
.
(n1)
(t)
1
...
..
...
n (t)
.
.
.
(n1)
n
(t)
soluciones
{1 (t), . . . , n (t)}
1 (t), . . . , n (t).
de la ecuacin
Ly = 0,
conforman un sistema fundamental en
[a, b]
1 (t)
.
.
W (t) = W (1 , . . . , n )(t) =
.
(n1)
(t)
1
si y slo si su Wronskiano
...
..
...
n (t)
.
.
= 0
.
(n1)(t)
n
t [a, b].
2.1.
63
t0 [a, b]
cuyo determinante
1 (t)
...
.
.
.
(n1)
1
(t)
..
n (t)
.
(n1)
n
|t=t
...
de la ecuacin
Ly = 0,
se sabe que su Wronskiano
W (t) = W (1 , . . . , n )
cial:
W =
p1 (t)
W
p0 (t)
t [a, b].
W (t) = W (t0 )e
t0 [a, b]
p1 (s)
t0 p0 (s)
ds
es cualquier valor
2.1.2.
Solucin de
(2.3)
{1 (t), . . . , n (t)},
(2.5)
1 (t)
...
.
.
.
(n1)
1
(t)
..
...
.
..
.
.
.
(n1)
cn (t)
n
(t)
n (t)
c1 (t)
.
. .
.
f (t)
p0 (t)
(2.6)
0 k n 1:
(k)
t [a, b],
(2.7)
64
CAPTULO 2.
PROBLEMAS DE CONTORNO
mientras:
z (n) (t) =
f (t)
(n)
+ c1 (t)1 (t) + + cn (t)(n)
n (t)
p0 (t)
t [a, b].
Por lo tanto
Lz = f.
La solucin de (2.6) es:
ci (t) =
donde
Wni (t)
1
Wni (t)f (t)
p0 (t)W (t)
1 (t)
...
.
.
.
(n1)
1
(t)
..
Integrando:
ci (t) =
a
Como
ci (a) = 0,
ni
...
1 i n,
en la matriz de coecientes:
n (t)
.
.
.
(n1)(t)
n
1
Wni (s)f (s) ds.
p0 (s)W (s)
0 k n 1.
z (k) (a) = 0
Substituyendo en (2.8) resulta que:
z(t) =
t
n
a i=1
1
Wni (s)f (s)i (t) ds,
p0 (s)W (s)
expresin que, bajo el nombre de frmula de variacin de las constantes, suministra la solucin de (2.3).
La expresin bajo el signo integral se puede representar como:
1
R(t, s) =
p0 (s)W (s)
1 (s)
.
.
.
(n2)
1
(s)
1 (t)
...
..
...
...
.
.
.
,
(n2)
(s)
n
(t)
n (s)
Proposicin 2.1.
Para
f C[a, b]
forma:
z(t) =
L.
2.1.
65
En el cuadrado
Proposicin 2.2.
La solucin fundamental
K(t, s)
L.
del operador
tiene las
siguientes propiedades:
n2 K
K
,...,
son continuas en Q.
t
tn2
n1 K
ii) La funcin
es continua en cada uno de los tringulos Q = {a s
tn1
t} y Q+ = {t s b}. Sin embargo, para a < s < b se tiene que:
i) Las funciones
K,
n1 K
1
n1 K
.
(t, s) lm
(t, s) =
n1
n1
ts+ t
ts t
p0 (s)
lm
ats
en cada
z(t) =
(t, s)
del operador
como toda funcin que cumple las propiedades i), ii), iii) de la proposicin. Debe
notarse que hay una innidad de tales funciones
Lx = x x
p0 W = 1.
2 = senh t
y se tiene que
en el intervalo
x(0) = x (0) = 0,
z(t) =
0
{
sinh(t s)
K(t, s) =
0
ast
.
t<sb
66
CAPTULO 2.
PROBLEMAS DE CONTORNO
p0 W
(2.8)
Proposicin 2.3.
Sea
W (t)
cumple:
p(t)W (t) = c,
donde
2.1.3.
es una constante.
Ejercicios
aij
es
{1 (t), 2 (t)}
un sistema
fundamental de soluciones de
x x = 0,
donde
1 = a11 et + a21 et ,
Lx = x + x
b)
Lx = x x
c)
Lx = x 3x + 2x
d)
Lx = x 2x + 5x
e)
Lx = t2 x 2tx + 2x
f)
Lx = (t 1)2 x + (t 1)x x.
{
x + x = t
x(0) = 0, x (0) = 1
2.1.
b)
x x = 1
x(0) = 1, x (0) = o
c)
{
x 3x + 2x = 12
x(0) = 12 , x (0) = 0
d)
{
x 2x + 5x = 5t
x(0) = 0, x (0) = 1
e)
e)
4.
67
t2 x 2tx + 2x = 2
x(1) = 1, x (1) = 0
{
(t 1)2 x + (t 1)x x = 1
x(2) = 1, x (2) = 0.
Sea
(t, s)
Lx =
pi (t)x(ni) ,
i=0
de acuerdo con la denicin dada en la Observacin 2.1. Prubese que la
funcin
z(t) =
Lx = f.
68
CAPTULO 2.
PROBLEMAS DE CONTORNO
donde
siendo
p
{0 (t)x + p1 (t)x + p2 (t)x = f (t)
B1 (x) = 1
B2 (x) = 2 ,
en donde
p0 (t) = 0
en
[a, b].
consiste en resolver:
t [a, b]
(2.9)
Bi
son:
B1 (x) = 1
B2 (x) = 2 ,
(2.10)
se denominan las condiciones de contorno . Ntese que se imponen a la solucin en los extremos (la frontera) del intervalo de denicin
[a, b] de la ecuacin.
B(x) =
(
)
B1 (x)
B2 (x)
de suerte que:
(
B(x) =
m11
m21
m12
m22
)(
) (
x(a)
n11
+
x (a)
n21
n12
n22
)(
)
x(b)
x (b)
(
)
(
)
x(a)
x(b)
=M
+
N
.
x (a)
x (b)
donde
1 Tambin
ingls.
Lx = f
B(x) =
( )
1
=
.
2
condiciones de frontera o condiciones en el borde, boundary conditions en
2.2.
69
PROBLEMAS DE CONTORNO
2.2.1.
{
B1 (x) = 1 x(a) + 2 x (a)
B2 (x) = 1 x(b) + 2 x (b),
(2.11)
B1 (x) = x(a)
B2 (x) = x(b),
B1 (x) = x (a)
B2 (x) = x (b),
, 0.
Lx = f (t)
x(a) = 1 ,
{
Lx = f (t)
x (a) = 1 ,
{
Lx = f (t)
x (a) + x(a) = 1 ,
t [a, b]
x(b) = 2 ,
t [a, b]
x (b) = 2 ,
t [a, b]
x (b) + x(b) = 2 .
Trataremos de ellas en algunos ejercicios. Un problema de contorno bajo condiciones peridicas tiene el aspecto siguiente:
{
Lx = f (t)
x(b) x(a) = 1 ,
t [a, b]
x (b) x (a) = 2 .
70
CAPTULO 2.
2.2.2.
PROBLEMAS DE CONTORNO
Teorema de la alternativa
En la presente seccin continuamos bajo las hiptesis con las que venimos
trabajando, tratamos con el operador:
pi (t)
[a, b]
son continuas en
p0 (t)
no se anula en dicho
intervalo.
Supongamos que
L : RN RN
que el que
lo mismo
Lx = y,
y RN ,
Lx = 0,
slo admite la solucin
x = 0.
embargo, los problemas de contorno que nos traemos entre manos retienen la
N
propiedad que acabamos que repasar para aplicaciones lineales en R .
En el siguiente resultado el operador
x = a, b.
condiciones de contorno en
valentes:
a) El problema de contorno:
Lx = f
B(x) =
f C[a, b]
t [a, b]
(2.12)
R2 .
b) El problema de contorno:
Lx = 0
B(x) = 0
t [a, b]
x = 0.
Lx = f
son
z(t) =
(2.13)
2.2.
con
71
PROBLEMAS DE CONTORNO
la solucin fundamental.
( )
c
1 = B(z),
c2
(
B1 (1 )
= col(B(1 ), B(2 )) =
B2 (1 )
donde:
= 0)
( )
c
1 = 0.
c2
(2.14)
)
B1 (2 )
,
B2 (2 )
son
(2.15)
Denicin 2.5.
= 0.
{
Lx = 0
B(x) = 0
t [a, b]
L,
x = 0.
crticas.
Corolario 2.6.
y(t)
y(t)
es cero y ello quiere decir que (2.12) slo admite una solucin.
c1 , c2
1. Condiciones de Dirichlet:
(
1 (a)
1 (b)
)
2 (a)
,
2 (b)
72
CAPTULO 2.
PROBLEMAS DE CONTORNO
2. Condiciones de Neumann:
(
)
1 (a) 2 (a)
=
,
1 (b) 2 (b)
3. Condiciones de Robin:
)
(
1 (a) + 1 (a) 2 (a) + 2 (a)
=
,
1 (b) + 1 (b)
1 (b) + 1 (b)
4. Condiciones de Peridicas:
(
)
1 (b) 1 (a) 2 (b) 2 (a)
.
1 (b) 1 (a) 2 (b) 2 (a)
x + x = g(t)
x(0) + x (0) = 1
x() = 2 ,
donde
g C[0, ].
B(1 ) =
como
t [0, ]
det = 1
)
1
,
1
1 = cos t, 2 = sen t.
( )
(
)
1
1 1
B(2 ) =
=
,
0
1 0
arbitrarios.
donde
z(t) =
0
Ntese que
(
B(z) =
)
0
.
z()
( ) (
)
c1
1
=
,
c2
2 z()
que da:
c1 = 2 z()
c2 = 1 + 2 z().
La solucin es:
z ).
de la que depende
2.2.
73
PROBLEMAS DE CONTORNO
Observaciones 2.5. Los problemas de contorno (2.9) poseen propiedades caractersticas de los problemas lineales. Si el problema homogneo tiene soluciones
no nulas (no se cumple b)) stas forman un espacio vectorial. Si
y(t)
es una
x0 (t)
cumple y (2.12) posee una solucin, entonces tambin posee innitas soluciones.
Cuando el problema (2.13) es no crtico, para
de los problemas:
Ly = 0
B(y) =
{
Lz = f (t)
B(z) = 0
t [a, b]
t [a, b]
y(t) = H()(y),
respectivamente.
Los operadores:
H:
G:
R2
C[a, b]
f
C 2 [a, b]
y = H()
CB2 [a, b]
z = G(f )
G,
se denota:
x(t)
son lineales.
S:
R2 C[a, b]
(, f )
C 2 [a, b]
x = H() + G(f )
Proposicin 2.7.
74
CAPTULO 2.
2.2.3.
PROBLEMAS DE CONTORNO
Ejercicios
la existencia de soluciones de
los problemas:
x = x t [0, 1]
a) x(0) = 1
x(1) = 2 ,
x = x t [0, 1]
b) x (0) = 1
x (1) = 2 ,
1 = 2 =
0.
2. Hllese la solucin de los problemas de contorno siguientes:
x + x = 0 t [0, 2 ]
a) x(0) = 1
x( 2 ) + x ( 2 ) = 2 ,
x 3x + 2x = 0 t [0, log 2]
c) x (0) = 1
x (log 2) = 2 ,
e)
f)
x x = 0 t [0, log 2]
b) x (0) = 1
x(log 2) x (log 2) = 2 ,
x 2x + 5x = 0 t [0, 4 ]
d) x(0) = 1
x( 4 ) = 2 ,
t x 2tx + 2x = 0 t [1, 2]
x (1) = 1
x(2) = 2 ,
(t 1) x + (t 1)x x = 0
x(2) = 1
x (3) = 2 .
t [2, 3]
2.2.
75
PROBLEMAS DE CONTORNO
2.2.4.
La funcin de Green
de coecientes continuos en
condiciones de contorno
el problema:
p0
Lx = 0
B(x) = 0,
C[a, b],
donde
t [a, b]
x(t) = 0.
Lx = f (t)
B(x) = 0,
t [a, b]
f (t)
(2.16)
G : C[a, b]
Denicin 2.8.
no crticas
B,
el operador solucin
y las condiciones
problema de contorno.
El objetivo de la seccin es probar que
se representa en la forma:
G(f )(t) =
Q+ = {(t, s) Q : s t},
Q = {(t, s) Q : s t},
lm
H(t, s),
lm
H(t, s),
(t, s)
lm
se puede aproximar a
(t0 , t0 ).
En particular:
tt0 +
76
CAPTULO 2.
Suponemos que
a
H(t, s),
y denimos:
PROBLEMAS DE CONTORNO
H
(t, s) C(Q \) admiten extensiones continuas
t
t
h(t) =
H(t, s) ds.
a
t0 [a, b]:
t
t
H
H
h (t0 ) = lm H(t0 , s) +
(t0 , s) ds = lm H(t, t0 ) +
(t0 , s) ds.
tt0 +
st0
a t
a t
Anlogamente, si
a
H(t, s),
H
(t, s) C(Q+ \ ) admiten
t
b
h(t) =
H(t, s) ds.
extensiones continuas
t
entonces, para cada
t0 [a, b]:
h (t0 ) = lm H(t0 , s) +
st0 +
t
b
lm H(t, t0 ) +
tt0
H
(t0 , s) ds =
t
H
(t0 , s) ds.
t
Proposicin 2.9.
propiedades:
2
i)
,
t t2
(t, s) C(Q)
Sea
C(Q \ )
extensin continua a
ii) Para cada t0
Q .
[a, b]
lm
(t, t0 ) lm
(t, t0 ) =
.
tt0 t
t
p0 (t0 )
lm
1
(t0 , s) lm
(t0 , s) =
.
st0 + t
t
p0 (t0 )
tt0 +
Equivalentemente:
st0
s [a, b]
la funcin de t,
y(t) = (t, s)
cumple la ecuacin:
Ly = 0
[a, s] y [s, b] por separado.
f (t) C[a, b] la funcin:
b
x(t) =
(t, s)f (s) ds
satisface la ecuacin:
Lx = f (t)
t [a, b].
2.2.
77
PROBLEMAS DE CONTORNO
(t, s)
K(t, s)
es un ejemplo de funcin
Demostracin. Escribimos:
x(t) =
x (t) =
a
b
t
b
a
La segunda:
t 2
2
x (t) = lm
(t, s)f (s) +
(t, s)f (s) ds
2
st t2
a t
b 2
2
(t,
s)f
(s)
+
(t, s)f (s) ds =
lm
2
st+ t2
t t
t 2
b 2
1
=
f (t) +
(t,
s)f
(s)
ds
+
(t, s)f (s) ds
2
2
p0 (t)
a t
t t
b 2
1
=
f (t) +
(t, s)f (s) ds.
2
p0 (t)
a t
Por tanto:
Lx = f (t) +
Teorema 2.10.
Sean
un operador diferencial en
L.
[a, b]
unas condiciones
G(t, s) C(Q)
G 2 G
,
C(Q \ )
t t2
+
extensin continua a Q
i)
Q .
[a, b]
lm
G
G
1
(t, t0 ) lm
(t, t0 ) =
.
tt0 t
t
p0 (t0 )
lm
G
G
1
(t0 , s) lm
(t0 , s) =
.
st
+
t
t
p0 (t0 )
0
tt0 +
Equivalentemente:
st0
s [a, b]
la funcin de t,
y(t) = (t, s)
cumple la ecuacin:
Ly = 0
en cada uno de los intervalos
[a, s]
[s, b]
por separado.
78
CAPTULO 2.
s [a, b]
t, y(t) = (t, s)
la funcin de
de contorno
PROBLEMAS DE CONTORNO
B(y) = 0.
(2.16):
se escribe en la forma:
x(t) =
Ms an, la funcin
G(t, s)
Denicin 2.11.
L
rador
La funcin
G(t, s)
en el intervalo
[a, b].
Demostracin del Teorema 2.10. Las propiedades i), ii) y iii) carcterizan
que si dos funciones
G1
G2
s [a, b]
G port:
la funcin de
C2
[a, b],
en
cumle
Ly = 0
B(y) = 0.
Por tanto
y(t) = 0
para todo
t.
Para probar la existencia de
G(t, s)
se la busca en la forma:
s)
es la solucin fundamental de
de forma que
las condiciones
donde
las condiciones
de contorno a
Corolario 2.12.
C 2 [a, b]
{
Lx = f (t)
B(x) = 0,
t [a, b]
G : C[a, b]
2.2.
79
PROBLEMAS DE CONTORNO
Entonces:
a)
f C[a, b]:
b)
x C 2 [a, b]
B(x) = 0
t [a, b],
se cumple:
G(Lx)(t) = x(t)
En particular
t [a, b].
donde
s [a, b]
y se
B:
2.2.5.
c1 , c2
s.
Ejercicios
Funcin de Green.
[0, 1]
Lx = x (t)
denido en el
bajo:
a) Condiciones de Dirichlet.
b) Condiciones de Robin tomando
= = 1.
Solucin.
2t
3 (s + 1)
En el caso a)
para
G(t, s) =
0 s t.
2s
3 (t
+ 1)
para
t s 1, G(t, s) =
x + x = g(t)
a) x(0) = 0
x() = 0,
en donde
g C[0, ].
t [0, ]
x + x = g(t) t [0, ]
b) x (0) = 0
x () = 0,
80
CAPTULO 2.
PROBLEMAS DE CONTORNO
x + x = f (t)
x(0) = 0
x( 2 ) + x ( 2 ) = 0.
Resolver el problema para
t [0, 2 ]
f (t) = sen t.
x x = f (t)
x (0) = 0
x(log 2) x (log 2) = 0
Resolver el problema para
t [0, log 2]
f (t) = senh t.
para
s t.
x 2x + 5x = f (t)
x(0) = x( 4 ) = 0.
Solucin.
f (t) = 1.
{
G(t, s) =
t [0, 4 ]
ts
e 2 cos 2t sen 2s
ts
e 2 sen 2t cos 2s
st
s > t.
x 3x + 2x = f (t)
x (0) = x (log 2) = 0.
t [0, log 2]
f (t) =.
Solucin.
{
e(ts) (4es + 12 et ) 2ets e2(ts)
G(t, s) =
e(ts) (4es + 12 et ) ets 2e2(ts)
st
s > t.
2.2.
81
PROBLEMAS DE CONTORNO
2.2.6.
Denicin 2.13.
Un operador diferencial
p0 C 1 [a, b]
p1 (t) =
se escribir en la forma:
Proposicin 2.14.
para todo
t [a, b].
Toda ecuacin:
L(x) = f (t)
donde el operador
(px ) + qx = f (t).
Demostracin. Tras escribir la ecuacin en la forma:
x +
p1 (t) p2 (t)
1
x +
x=
g(t),
p0 (t)
p0 (t)
p0 (t)
p(t) = exp
a
para obtener:
(px ) + qx = f (t),
donde:
q=
Proposicin 2.15.
}
p1 (s)
ds ,
p0 (s)
p(t)p2 (t)
p0 (t)
f (t) =
p(t)
f (t).
p0 (t)
(px ) + qx = f (t),
se puede escribir en forma equivalente como:
d2 y
+ Q( )y = h( ),
d 2
en donde
82
CAPTULO 2.
PROBLEMAS DE CONTORNO
1
ds,
p(s)
= (t) =
a
y resulta la ecuacin buscada en donde:
y( ) = x(1 ( )),
Proposicin 2.16.
Sea
Lx = (px ) + qx
un operador autoadjunto y
1 , 2
un
Lx = 0.
Entonces:
[a, b].
Para establecer algunas propiedades relevantes de los operadores autoadjuntos necesitamos algunos hechos elementales.
Proposicin 2.17
autoadjunto en el intervalo
[a, b].
Lx = (px ) + qx un
[a, b], y(t), z(t) funciones de clase C 2 en el
(Identidad de Green)
Sean
operador
intervalo
Entonces:
t [a, b].
Denicin 2.18.
f (t), g(t)
como:
f, gL2 =
f (t)
g (t) dt.
a
f RC [a, b]
tiene la forma
b
a
f, g
f=
f1 + i
a
f2 .
a
f, gL2 es simplemente
f, gL2 supondremos que f, g
2.2.
83
PROBLEMAS DE CONTORNO
clase
C2
en
se tiene que:
t=b
Ly, zL2 = y, LzL2 [p(t)W (y(t), z(t))]t=a .
Observacin 2.10. En caso de ser reales
Denicin 2.20.
y(t), z(t)
no es necesario poner
z(t).
es autoadjunto si:
t=b
[pW (y, z)]t=a = 0,
y(t), z(t)
B(y) = B(z) = 0.
(2.17)
de clase
C2
en
[a, b]
que cumplan
y, z ,
W (y, z)
es bilineal en las
es decir:
W (y, z) = W (y1 +iy2 , z1 +iz2 ) = W (y1 , z1 )+iW (y1 , z2 )+iW (y2 , z1 )W (y2 , z2 ).
Un para de funciones complejas
yj , zj
y = y1 + iy2 , z = z1 + iz2
cumplen
B(x) = 0
si
t=b
t=b
pW (y, z)t=a = W (y1 + iy2 , z1 iz2 )t=a
t=b
t=b
t=b
t=b
= pW (y1 , z1 )t=a ipW (y1 , z2 )t=a + ipW (y2 , z1 )t=a + pW (y2 , z2 )t=a .
Luego:
t=b
[p(t)W (y(t), z(t))]t=a = 0,
se cumple si (2.17) es cierta para funciones reales que cumplen las condiciones
de contorno.
Proposicin 2.21.
valo
[a, b].
Sea
Lx = (px ) + qx
{
i , i
de la forma:
(2.18)
L.
84
CAPTULO 2.
Denicin 2.22.
PROBLEMAS DE CONTORNO
Teorema 2.23.
G(t, s) = G(s, t)
t, s [a, b].
f, g C[a, b]
arbitrarias. Ponemos
x = G(f ), y = G(g).
De
f, g C[a, b]
Como se ver pronto, los operadores bajo condiciones de contorno autoadjuntas comparten muchas propiedades con las matrices simtricas.
2.2.7.
Ejercicios
a)
t2 y + ty + y = 0,
b) (t4 + t2 )y + 2t3 y + 3y = 0,
c) y tag ty + y = 0,
d) f(t)y + g(t)y = 0.
tx x + t3 x = 0.
Transfrmese despus la ecuacin en otra de la forma:
d2 y
+ q( )y = 0.
d 2
2.2.
PROBLEMAS DE CONTORNO
4. Para
85
t2 x + tx + (t2 2 )x = 0
d2 y
+ q( )y = 0.
d 2
5. En el intervalo
[a, b]
tinuos:
x + p1 (t)x + p2 (t)x = 0.
Usar la transformacin:
(
)
1 t
x(t) = y(t)exp
p1
2 a
para reducir la ecuacin a:
1
1
y + (p2 p1 p21 )y = 0.
2
4
Como aplicacin, hllense las soluciones de la ecuacin:
1
x + (2t + 1)x + (t2 + t + )x = 0.
4
86
CAPTULO 2.
2.2.8.
PROBLEMAS DE CONTORNO
Lx =
donde
(p(t)x ) + q(t)x
en
t [a, b],
Usaremos condiciones de
{
B1 (x) = 1 x(a) + 1 x (a)
B2 (x) = 2 x(b) + 2 x (b),
B(x) = 0
donde los vectores
Denicin 2.24.
r(t) C[a, b] positiva en [a, b] el problema de autovaL y las condiciones de contorno B consiste en hallar
correspondientes funciones no nulas x(t) que resuelvan:
{
Lx = r(t)x
t [a, b]
(2.19)
B(x) = 0.
Dada
valores de
Cada
x = (t)
Observaciones 2.12.
a) El problema (2.19) se suele denominar problema de autovalores de SturmLiouville.
b) En muchos casos
r(t) = 1
para todo
x(t)
t [a, b].
x(t)
introduciendo la matriz
= 0.
2.2.
87
PROBLEMAS DE CONTORNO
x = x
x(0) = x(1) = 0,
t [0, 1]
sen t,
(
=
slo si
)
1
0
,
cos sen
= n .
> 0.
det
= 0 para
0.
1 = cos t, 2 =
y det()
En ese caso
= sen
det
= 0,
n = n2 2
n (t) = sen nt
n = 1, 2, . . . .
{
x = x
x (0) = x (1) = 0,
t [0, 1]
1 = 0
= 0
para
< 0.
1 = 1.
0.
De hecho
Adems,
,
=
det =
sen
sen
cos
slo si
= n . Los autovalores y correspondientes autofunciones
(
n = (n 1)2 2
det
= 0,
son:
n = 1, 2, . . . .
Las cosas no son en general tan sencillas como en los ejemplos previos.
x = x
x (0) x(0) = 0
x (1) + x(1) = 0,
t [0, 1]
= 2 < 0
88
CAPTULO 2.
PROBLEMAS DE CONTORNO
= 2 > 0
y
{1, t}.
=0
En el ltimo caso, det
= 0
=0
no es autovalor. En el primero,
1
senh + cosh
det
cosh + senh
)
,
= 2 cosh + ( 2 + 1) senh ,
y la ecuacin
det
carece de soluciones
= 0.
= 0,
< 0.
En el segundo caso,
(
=
1
sen + cos
det
cos + sen
)
,
= 2 cos + (1 2 ) sen .
de la ecuacin det
(k 1) < k < (k 1) +
mientras existe una primera raz
=0
cumplen:
k = 2, 3, . . . ,
en el intervalo
(1, 2 ).
problema son:
n = n2
n = 1, 2, . . . ,
las autofunciones:
n = n cos n t + sen n t
n = 1, 2, . . . .
x = x
x (0) + x(0) = 0
x (1) x(1) = 0,
t [0, 1]
= 2 < 0
= 2 > 0
2.2.
89
PROBLEMAS DE CONTORNO
{1, t}.
=0
En el ltimo caso, det
= 0
=0
no es autovalor. En el primero,
1
senh cosh
det
cosh senh
= 2 cosh ( 2 + 1) senh .
= 02 .
= 0,
0 = 02
es autovalor con
autofuncin asociada:
1
sen cos
det
cos sen
)
,
= 2 cos + ( 2 1) sen .
=0
+ (k 1) < k < k
2
k :
k = 1, 2, . . . .
el intervalo inicial (0, ). Se omiten los detalles. Los autovalores son por tanto:
2
n = n2
n = 1, 2, . . . ,
las autofunciones:
n = n cos n t + sen n t
n = 1, 2, . . . .
2.2.9.
Existencia de autovalores
Lx =
p C 1 [a, b], p(t) > 0
en
B(x) = 0
(p(t)x ) + q(t)x
t [a, b],
Las condiciones de contorno
B1 (x) = 1 x(a) + 1
p(a)
x (a)
B (x) = x(b) +
2
2
2
p(b)
x (b),
se
90
CAPTULO 2.
PROBLEMAS DE CONTORNO
han cambiado x (a), x (b) por p(a)x (a), p(b)x (b). La variacin, que se introduce
por razones tcnicas, es inofensiva y equivale a multiplicar y dividir por p(b).
Esto supone un mnimo cambio en los coecientes (los de antes divididos por
p(b)).
En el siguiente resultado se establecen las propiedades principales que distinguen a los problemas de autovalores de tipo SturmLiouville. Dejaremos para
ms adelante otra de las propiedades fundamentales.
Teorema 2.25.
Sea
r(t) C[a, b]
[a, b].
El problema
de autovalores (2.19)
t [a, b]
(2.20)
n .
n es simple, es decir, todas las autofunciones
son mltiplo escalar de una autofuncin n (t).
n (t) es una autofuncin asociada a n entonces n se anun 1 puntos del intervalo abierto (a, b). En particular, las
1 asociadas a 1 tienen signo constante en (a, b).
iii) [Nodalidad]. Si
la exactamente en
autofunciones
n < n+1
de
n+1 (t).
Observacin 2.17. Una consecuencia del signo menos delante del operador es
n .
n .
> 0,
claro est)
es un autovalor
entonces:
L = r(t).
Por otro lado:
L, L2 = , LL2
Esto implica que
,
=
luego
r, L2 = ,
rL2 .
2.2.
91
PROBLEMAS DE CONTORNO
, son dos
Lx rx = 0.
Como se cumplen las condiciones de contorno, es inmediato ver que
lo que dice que
es un mltiplo de
W (, ) = 0
2.2.10.
Ejercicios
Problemas de autovalores.
x + x = 0 t [0, ]
2
x(0)
=
0
( )
x = 0.
2
b)
x + x = 0
x(0) = 0
x () = 0.
c)
x + x = 0
x(0) = 0
x(L) = 0,
donde
t [0, L]
L > 0.
d)
x + x = 0
x (0) = 0
x (L) = 0,
donde
t [0, ]
t [0, L]
L > 0.
x = x t [0, 1]
x(0) = x (0)
x(1) = 0,
92
CAPTULO 2.
PROBLEMAS DE CONTORNO
y autofunciones asociadas
n .
Demustrese que:
n = + n + n
2
donde
n 0 cuando n .
0 , 1 .
n = 0, 1, . . . ,
autofunciones
x = x t [0, 1]
x(0) = x (0)
x(1) = x (1).
Nota.
(tx ) + t x = 0
x (1) = 0
x (e ) = 0.
b)
(tx ) + t x = 0
x(1) = 0
x(e ) = 0.
t [1, e ]
t [1, e ]
(
)
(t + 1)x + t2 + 1 x = 0
x(0) = 0
x(1) = 0.
Indicacin.
Hacer el cambio
t [0, 1]
t = tag s.
1
x
2
3t + 1
x(0) = 0
x(1) = 0.
Indicacin.
)
+ (3t2 + 1)x = 0 t [0, 1]
Hacer el cambio
s = t3 + t.
2.2.
7.
93
PROBLEMAS DE CONTORNO
La ecuacin:
2 cosh ( 2 + 1) senh = 0
carece de races
= 0
en el intervalo
a) Hllese el desarrollo de
senh
,
(0, 1].
donde
cosh
Para ello:
(0, 1).
senh
.
Conclyase la demostra-
cin.
8.
2 cosh ( 2 + 1) senh = 0
posee una nica raz positiva
9.
0 > 1.
La ecuacin:
2 cos + ( 2 1) sen = 0,
a) Probar que
tag
b) Probar que
(1 2 )
(0, 2 ).
Para ello:
es creciente en el intervalo.
tag
< tag 1.
94
CAPTULO 2.
2.2.11.
PROBLEMAS DE CONTORNO
Esta seccin tiene inters general porque permite probar el carcter oscilatorio de buena parte de las funciones especiales de la fsica matemtica. Su valor
se realza si se tiene en cuenta la dicultad de probar que funciones expresadas
en la forma:
x(t) =
an tn
n=0
admiten un nmero innito de ceros.
Trabajaremos con el operador autoadjunto:
Lx = (px ) + qx,
p C 1 (a, b), p(t) > 0 para todo t, q C(a, b), se observan,
denidos en un intervalo abierto (a, b) que bien pudiera ser
(a, )
o todo
R.
Proposicin 2.26.
Sea
x(t)
Lx = 0
Entonces si
t = t0
t (a, b).
es un cero de
Proposicin 2.27.
Sean
y(t), z(t)
es decir,
x (t0 ) = 0.
soluciones no triviales de
Lx = 0
t (a, b)
z(t) = cy(t)
en (a, b).
Corolario 2.28.
x(t)
a lo
t > t0
t0
Lx = 0 posee
[, ] (a, b).
de la ecuacin
Denicin 2.29.
x(t),
se llama su cero
2.2.
95
PROBLEMAS DE CONTORNO
Teorema 2.30
la seccin sean
en el intervalo
x = (t)
una solucin de
t (a, b).
Li x = (px ) + qi x, i = 1, 2,
(a, b) tales que
(2.21)
L1 x = 0,
< t2 .
y = (t)
de
L2 y = 0
posee un cero en el intervalo
(t1 , t2 ).
(t1 , t2 )
t2
0<
(q2 q1 ) =
t1
t2
t1
Por tanto:
> 0
(t1 , t2 ). La funcin ha de
> 0 en (t1 , t2 ). Ahora resulta
en
t2
{(p ) (p ) )} = p t1 .
(2.22)
(2.23)
Corolario 2.31.
en
[t1 , t2 ].
(2.24)
Corolario 2.32
Sean
soluciones li-
(px ) + qx = 0
t (a, b).
no se
que ser
96
CAPTULO 2.
PROBLEMAS DE CONTORNO
n1
es una autofun-
ceros en
(a, b):
que n y n+1 son positivas en dicho intervalo con n+1 (tn1 ) 0 y n (tn1 ) >
0.
b
b
Denicin 2.33.
(px ) + q ,
es oscilatoria en
(a, b)
x(t)
Lx = 0, Lx =
(a, b).
de la ecuacin
[a, b]
(a, b)
en-
(a, b).
Ejemplo 2.22.
x + mx = 0
es oscilatoria en
si
m>0
y no oscilatoria en
si
m 0.
Proposicin 2.34.
Sea
q C(a, b).
Si
q(t) 0
en
(a, b)
ninguna solucin de
x + q(t)x = 0
puede anularse ms de una vez salvo que sea idnticamente nula.
Por otro lado, del teorema de comparacin de Sturm se deduce lo siguiente.
Proposicin 2.35.
Sea
q C(a, )
tal que:
q(t) m > 0.
Entonces la ecuacin
x + q(t)x = 0
es oscilatoria en
Corolario 2.36.
Sea
q C(a, )
tal que:
lm q(t) = m.
Entonces.
(a, +).
2.2.
i)
ii)
97
PROBLEMAS DE CONTORNO
m>0
m0
la ecuacin
la ecuacin
x + qx = 0
es oscilatoria en
x + qx = 0
(a, ).
es no oscilatoria en
m=0
(a, ).
2.2.12.
Ejercicios
x + x = 0
que se anulan en el punto
t = t0 .
x x = 0.
constante.
2. Usar el teorema de separacin de Sturm para demostrar que entre dos ceros
consecutivos de
x + (t + 1)x = 0
posee un nmero innito de ceros positivos. Ms generalmente, probar
que si
q(t)
es continua y positiva en
t>0
x + (q(t) + k)x = 0
posee una innidad de ceros positivos.
4. Sea
para todo
x + q(t)x = 0
(a, b). A tal efecto, comprux(t) es no trivial entonces xx es una funcin creciente
(a, b).
5. Sea
q(t)
(a, b)
tal que
98
CAPTULO 2.
m, M
PROBLEMAS DE CONTORNO
y considrese la ecuacin
x + q(t)x = 0.
Si
x(t)
t1 < t2 ,
prubese que
< t 2 t1 < .
m
M
6. Si
cin:
x +
Concluir que es oscilatoria en
7. Sea
q(t)
continua en
(a, )
si
x = 0.
t2
1
4 , no oscilatoria en caso contrario.
>
tal que:
lm t2 q(t) = .
t
Prubese que:
i) La ecuacin
x + qx = 0
es oscilatoria en
ii) La ecuacin
x + qx = 0
es no oscilatoria en
8. Decdase si es oscilatoria en
[0, )
(a, )
si
>
(a, )
si
1
4.
<
1
4.
la ecuacin diferencial:
(et x ) + et x = 0,
donde
x(t) = e 2 y(t),
(, 0]
[0, )
es oscilatoria la
ecuacin de Airy:
x tx = 0.
10. Demustrese que toda solucin de la ecuacin de Bessel:
t2 x + tx + (t2 2 )x = 0,
posee innitos ceros en
(0, ).
q(t) > 0.
q(t)
[0, )
que
2.2.
99
PROBLEMAS DE CONTORNO
x + qx = 0
admite al menos un cero
Indicacin.
t0 .
b) Prubese que si
la identidad:
t c.
t [0, )
q(s) ds =
ds,
2
x(t)
c
c x(s)
t
c
x (s)
ds.
x(s)
q(s) ds = .
0
Prubese que toda solucin en las condiciones de b) admite un punto t1 > c
t2 > t 1 .
d) Admitiendo que:
q(s) ds = ,
0
prubese que la ecuacin es oscilatoria en
11.
Supngase que
q(t)
[0, ).
x(t)
(a, b)
y que
t1 < t 2
de la ecuacin:
(px ) + qx = 0.
Prubese que
x(t)
(t1 , t2 ).
son
100
CAPTULO 2.
2.2.13.
PROBLEMAS DE CONTORNO
(px ) + qx = 0
t [a, b],
x1 = qx2
1
x2 = x1 .
p
donde
(0, 0)
y existen funciones
2 = x21 + x22 ,
tag =
2k
con
x2
.
x1
(a)
)
(
=
q cos sen
p
= 1 cos2 + q sen2 .
p
en la forma:
x(t) = 0
Lo ltimo signica que
x(t)
(t) = k
(t) 0
para algn
mod
k Z.
Sean
Li y = (pi y ) + qi y
operadores
q1 (t) q2 (t)
Li y = 0, i = 1, 2 respectivamente,
1 (a) 2 (a).
Entonces:
1 (t) 2 (t)
t [a, b],
t [a, b].
2.2.
101
PROBLEMAS DE CONTORNO
Ms an, si
a < t b,
a < t b.
entonces
0 < ,
0 < ,
(1 , 1 ), (2 , 2 )
la forma:
(cos 0 , sen 0 )
con
0 < 0, < 0 0
(cos 0 , sen 0 ),
y basta tomar
= 0 , = 0 .
sen((a) ) = 0
sen((b) ) = 0
(a) = + k
x(t)
cumple
para algn
B2 (x) = 0.
(a) = mod
(b) = mod .
(
)
=
(r q) cos sen
p
1
= cos2 + (r q) sen2 ,
p
junto con las condiciones de contorno:
{
(a) = mod
(b) = mod .
Como se ve, resolver completamente el problema es equivalente a resolver la
parte angular del mismo:
= 1 cos2 + (r q) sen2
p
(a) = mod ,
(b) =
(2.25)
mod
102
CAPTULO 2.
PROBLEMAS DE CONTORNO
(t)
y la solucin se obtiene
haciendo:
(t)
Demostracin del Teorema 2.25, i) & ii). Vamos primero a establecer la existencia de autovalores. Sobre la marcha probaremos que los autovalores obtenidos
constituyen realmente la totalidad de los autovalores del problema.
Primero que nada resolvemos el problema de valor inicial:
= 1 cos2 + (r q) sen2
p
(a) = ,
en la que
(2.26)
(t) = (t, ).
Sabemos de la teora de prolongabilidad que
intervalo
(t, )
[a, b].
= k
miembro de la ecuacin. Por tanto una tal lnea slo se cruza una vez y en
sentido creciente. Asimismo si
x(t)
tiene un cero en
(t)
cruza
= k
en el instante
t = tk
entonces
tk :
x(tk ) = (tk ) sen k = 0.
En particular,
(t, ) > 0
para todo
t (a, b]
y todo
1 <
entonces:
Es decir, la solucin
punto del intervalo
t (a, b].
en cada
2 Puede
a
Hacen falta sin embargo los resultados de diferenciabilidad con respecto a datos iniciales
y parmetros
2.2.
103
PROBLEMAS DE CONTORNO
Lema 2.38.
t (a, b]
Sea
(t, )
se tiene que:
lm (t, ) = .
lm (t, ) = 0,
kN
= k
tal que:
(b, ) = + (k 1).
Est claro que cada
lm k = .
+ (k 1) en t = b, (t, k ) debe cruzar
= , . . . , = (k 1) en una sucesin creciente
son proporcionales a
ha de cumplir:
(a) = + k1
(k2 k1 ).
Por tanto
(b) = + k2
1 (t) = (t) k1
104
2.2.14.
CAPTULO 2.
PROBLEMAS DE CONTORNO
{
Lx = 0
B(x) = 0
contorno:
es no crtico si y slo si
t [a, b]
Por otro lado, cuando el problema de contorno es no crtico ste admite una
nica funcin de Green
G(t, s),
f C[a, b],
la solucin
Lx = f (t)
B(x) = 0,
se expresa en la forma:
t [a, b]
La aplicacin:
G : C[a, b] C[a, b]
es el operador de Green del problema. As,
asociada a
x(t)
si y slo si:
Gr (x)(t) =
1
x(t)
Gr (f ) = G(rx).
Esto signica que los autovalores del problema de contorno son los inversos de
los autovalores del operador:
Gr :
C[a, b]
x(t)
C[a, b]
Gr (x)(t) = G(rx).
T :X X
entre
Gr .
Un teorema general
Gr
para asegurar la
2.2.
105
PROBLEMAS DE CONTORNO
Proposicin 2.39.
torno
contorno:
es no crtico si
{
(p(t)x ) + q(t)x = 0
B(x) = 0
q(t) 0
q(t) 0.
t [a, b]
106
CAPTULO 2.
2.2.15.
PROBLEMAS DE CONTORNO
Consideramos
Rn
x, y =
xi yi .
i=1
Sea
un subespacio
mdimensional
{v1 , . . . , vm },
de suerte que:
V = {y =
yi vi : yi R}.
i=1
Es bien conocido que para todo
aproximacin de
por elementos de
alcanza un mnimo en
(y) = |y x|2
m
y = xv = i=1 xi vi
(y) = |x xv |2 +
yV
y adems:
(yi xi )2
xi = x, vi .
i=1
minimizar
x=
xi = x, vi .
xi vi
i=1
La norma de
cumple:
|x|2 =
Si
x2i .
xi wi
xi =
i=1
y la norma de
cumple:
|x|2 =
x, wi
,
|wi |2
x2i |wi |2 .
2.2.
107
PROBLEMAS DE CONTORNO
El siguiente teorema recoge el segundo gran resultado de la teora de problemas de SturmLiouville. Se usar la siguiente expresin para un nuevo producto
escalar en
R[a, b]:
f, gL2 (dr) =
f (t)g(t)r(t) dt,
a
en donde
f, g R[a, b]
Teorema 2.40.
r(t)
{
Lx = r(t)x
B(x) = 0,
y sea
n (t)
t [a, b]
lores.
Entonces:
i) [Ortogonalidad]. Para
n , m
son
n , m L2 (dr) = 0.
ii) [Completitud]. Toda funcin
f (t) =
fn n (t),
(2.27)
n=1
donde
fn =
f, n L2 (dr)
=
n , n L2 (dr)
f (t)n (t)r(t) dt
,
b
2 (t)r(t) dt
n
a
n :
n , m L2 (dr) = nm
nm
la delta de Kronecker
f (t) =
fn n (t),
n=1
fn = f, n L2 (dr) .
(2.28)
108
CAPTULO 2.
PROBLEMAS DE CONTORNO
{n }.
n (t)
n (t) =
,
|n |L2 (dr)
Denicin 2.41.
|n |2L2 (dr)
por su norma
=
a
el desarrollo de Fourier de
En ambos casos
fn
f (t)
nsimo
de
f.
n = m :
Ln , m L2 = n , Lm L2 n rn , m L2 = n , m rm L2 ,
n n , m L2 (dr) = m n , m L2 (dr) n , m m L2 (dr) = 0,
pues
n = m .
f (t)
[a, b],
R[a, b],
, L2 (dr) ,
a saber:
= f g, f gL2 (dr) =
}1/2
(f g) r dt
2
a
Esta es la distancia en media cuadrtica (y peso r(t)) de f y g .
g,
Teorema 2.42.
Sea f R[a, b] y {n } una sucesin ortonormal de autofunciones asociada a los autovalores del problema (2.19). Entonces:
f (t) =
fn n (t),
n=1
donde
f, n L2 (dr)
=
fn =
n , n L2 (dr)
f (t)n (t)r(t) dt
,
b
2 (t)r(t) dt
a n
(2.29)
2.2.
109
PROBLEMAS DE CONTORNO
R[a, b]
se aproximan en
Denicin 2.43.
trigonmtricas.
tiene autovalores
sistema
x = x
x(0) = x(1) = 0,
t [0, 1]
n = n2 2 , n = 1, 2, . . .
n = sen nt. El
2 sen nt son completos
y autofunciones
n =
(Teorema 2.40).
Proposicin 2.44.
Toda
f C 2 [0, 1]
la forma:
f (t) =
tal que
f (0) = f (1) = 0
se representa en
bn sen nt,
(2.30)
n=1
bn = 2
[0, 1].
f (t) R[0, 1],
sin ms restric-
f.
n =
2 sen nt f =
fn n ,
Ahora:
fn = f, n L2 =
fn = f, n L2 .
luego:
f=
n=1
fn n =
n=1
n=1
donde:
f, sen nsL2 =
bn sen nt,
110
CAPTULO 2.
PROBLEMAS DE CONTORNO
Anlogamente,
{
x = x
x (0) = x (1) = 0,
t [0, 1]
2 2
n = n , n = 0, 1, 2, . . . y autofunciones n = cos nt. El
n = 2 cos nt es completo. Por tanto se cumple la siguiente propie-
tiene autovalores
sistema
dad.
Proposicin 2.45.
en la forma:
f C 2 [0, 1]
Toda
f (0) = f (1) = 0
tal que
se representa
a0
+
an cos nt,
2
n=1
1
an = 2
f (t) cos nt dt
a0 = 2
f (t) =
(2.31)
f (t) dt,
[0, 1].
f (t) R[0, 1],
Denicin 2.46.
de
sin ms restric-
f.
Para
f R[a, b],
Proposicin 2.47.
f C 2 [1, 1]
Sea
Entonces:
tal que
f (t) =
an =
a0
+
an cos nt + bn sen nt,
2
n=1
1
bn =
f (t) sen nt dt,
1
f (t) cos nt dt
1
a0 =
f (t) dt,
1
[1, 1].
f (t) R[1, 1],
(2.32)
sin ms res-
f.
g(t) es par, h(t) es impar y estn bajo las condiciones de las proposiciones
[0, 1]. Basta tomar:
anteriores en el intervalo
g(t) =
f (t) + f (t)
2
h(t) =
f (t) f (t)
.
2
2.2.
111
PROBLEMAS DE CONTORNO
Al desarrollarlas en el intervalo
[0, 1]
a0
+
an cos nt,
2
n=1
g(t) =
h(t) =
(2.33)
bn sen nt,
(2.34)
n=1
donde, al converger uniformemente en
ah sale la convergencia a
[0, 1]
tambin lo hacen en
[1, 1].
[1, 1].
De
El caso Riemann
inregrable es igual.
a0
+
an cos nt + bn sen nt,
2
n=1
de la que las series en senos o cosenos son casos particulares, tambin se llaman
series trigonmtricas. Es tambin costumbre referirse al desarrollo en cosenos y
senos simultneamente como el desarrollo en serie de Fourier.
f (t)
en lugar de
[0, 1],
[0, L]
f (t) =
bn sen
n=1
2
bn =
L
n
t
L
f (t) sen
0
t [0, L],
(2.35)
n
t dt,
L
o alternativamente:
f (t) =
an =
Anlogamente, si
2
L
a0
n
+
an cos
t
2
L
n=1
f (t) cos
0
f (t) R[L, L]
n
t dt
L
a0 =
t [0, L],
2
L
(2.36)
f (t) dt.
0
n
n
a0
+
an cos
t + bn sen
t
f (t) =
2
L
L
n=1
t [L, L],
(2.37)
112
CAPTULO 2.
bn =
an =
1
L
1
L
f (t) sen
L
f (t) cos
L
n
t dt
L
PROBLEMAS DE CONTORNO
n
t dt,
L
1 L
a0 =
f (t) dt.
L L
L = .
f (t) integrable Riemann se representa
f (t) =
a0
+
an cos nt + bn sen nt
2
n=1
t [, ],
donde:
an =
f (t) dt, bn =
[L, L].
En el intervalo
[, ]
[, ]
criben los desarrollos en serie de Fourier. Merece la pena que resaltemos algunos
hechos bsicos.
Si
f R[, ]
bn = 0,
es decir su desarrollo
de Fourier:
f (t) =
a0
a0
+
+
an cos nt + bn sen nt =
an cos nt.
2
2
n=1
n=1
Adems:
an =
[, ]
[, ]
su desarrollo de Fourier en
intervalo
[0, ].
R[0, ],
al intervalo
[, ]:
a
0
+
a
n cos nt + bn sen nt.
f(t) =
2
n=1
[, ]
y hallar su
2.2.
113
PROBLEMAS DE CONTORNO
bn = 0, a
n = an
an =
donde
f al
intervalo
[0, ].
Recprocamente, si
est denida en
[0, ]
f a
[, ],
de su extensin impar
ese intervalo.
Identidad de Parseval
En la presente seccin suponemos que las funciones
f, g R[, ],
es decir
[, ]
[0, ]
Teorema 2.48
(Identidades de Parseval)
Para
f, g R[, ]
}
a0 a
0
n + bnbn
a) f (t)g(t) dt =
+ n=1 an a
2
{ 2
}
a0 2
2
b) f (t) dt =
+ n=1 an + b2n .
2
Anlogamente y para f, g R[0, ] se tiene que:
}
{
0
a0 a
n ,
+ n=1 an a
c) 0 f (t)g(t) dt =
2
2
}
{ 2
a0 2
2
d) 0 f (t) dt =
+ n=1 an ,
2 2
mientras:
e) 0 f (t)g(t)
f)
se tiene que:
}
{
bn ,
b
n
n=1
2
{
}
2
f (t)2 dt =
n=1 bn .
0
2
dt =
Teorema 2.49
(Principio de identidad)
Sean
[, ]
f (t) =
a0
+
an cos nt + bn sen nt,
2
n=1
Entonces
f (t) = g(t)
si y slo si
funciones continuas en
g(t) =
a
0
+
a
n cos nt + bn sen nt.
2
n=1
an = a
n , bn = bn
para todo
n.
114
CAPTULO 2.
PROBLEMAS DE CONTORNO
g f
son
a
n an , bn bn
(g f )2 =
(
a0 a0 )2
+
(
an an )2 + (bn bn )2
2
n=1
}
.
Teorema 2.50.
Sea
f.
f R[, ]
entonces para
t0
jo y cada
t [, ]
se
tiene que:
f (s) ds =
t0
t
t
a0
(t t0 ) +
an
cos ns ds + bn
sen ns ds,
2
t0
t0
n=1
f (s) ds =
t0
t
t0
en donde t0 , t
[, ].
n=1
Anlogamente, para
f R[0, ]:
bn
sen ns ds,
t0
a0
an
f (s) ds = (t t0 ) +
cos ns ds,
2
t0
n=1
[0, ]
y la convergencia es uniforme en
[0, ].
[0, ]:
1=
4 1
sen(2n 1)t.
n=1 2n 1
t=
es decir:
4
1
4
1
cos(2n 1)t,
2
n=1 (2n 1)
n=1 (2n 1)2
4
t=
2
{
}
cos 3t cos 5t
cos t +
+
+ .
32
52
Por el momento slo sabemos que la primera serie converge en media cuadrtica,
mientras la segunda converge uniformemente de
[0, ]
segn se desprende de
la propiedad anterior. Las Figuras 2.1 y 2.2 ofrecen las grcas de las sumas
parciales de la serie (que es una serie funcional).
2.2.
115
PROBLEMAS DE CONTORNO
3.5
f(t)
s0(t)
s1(t)
s2(t)
2.5
1.5
0.5
0.5
1.5
2.5
3.5
Figura 2.1: Las tres primeras sumas parciales de la serie de Fourier en cosenos
de
y
116
CAPTULO 2.
PROBLEMAS DE CONTORNO
4
f(t)=t
s0(t)
4
s1(t)
s2(t)
Figura 2.2: Las tres primeras sumas parciales de la serie de Fourier en cosenos de
2.2.
117
PROBLEMAS DE CONTORNO
f (t)
es una
R[, ]
[, ]
y sabemos que si
la serie:
f (t) =
a0
+
an cos nt + bn sen nt,
2
n=1
para que,
t = t0 :
a0
f (t0 ) =
+
an cos nt0 + bn sen nt0 .
2
n=1
f (t) a conside2 peridicas. Por tanto, las funciones a estudiar, inicialmente denidas
en [, ], han de extenderse de manera 2 peridica a todo R. Esto es inmediato en los puntos R \ { + 2k : k Z}. En los puntos tk = + 2k se puede
asignar a f el valor f () u otro cualquiera, ello no tiene consecuencias sobre la
Para interpretar los resultados la teora requiere que las funciones
rar sean
convergencia de la serie. Lo que s se observa es que la extensin ser en general una funcin continua a trozos en R. Tmense como ejemplos las funciones
f (t) = signo (t), f (t) = t, f (t) = t2 , f (t) = |t| o f (t) = et , observadas en el
intervalo [, ].
Anlogamente, los resultados que se enunciarn se aplican a los desarrollos
en senos o en cosenos de funciones
118
CAPTULO 2.
PROBLEMAS DE CONTORNO
2.5
2
1.5
1
0.5
0
0.5
1
1.5
2
2.5
10
peridica de
10
f (t) = signo(t)
4
3
2
1
0
1
2
3
4
10
peridica de
10
f (t) = t
2.2.
119
PROBLEMAS DE CONTORNO
20
15
10
0
10
peridica de
10
f (t) = et
3.5
2.5
1.5
0.5
0
10
peridica de
10
f (t) = |t|
120
CAPTULO 2.
PROBLEMAS DE CONTORNO
10
0
10
10
peridica de
f (t) = t2
3
2.5
2
1.5
1
0.5
0
0.5
1
10
peridica de
10
f (t) =
|t|
2.2.
121
PROBLEMAS DE CONTORNO
20
15
10
0
10
[0, ].
10
peridica de
f (t) = et
primero se las extiende en forma impar (serie de senos) o en forma par (serie
de cosenos) al intervalo
peridica a
[, ].
tales series.
existen puntos
Teorema 2.51.
[, ].
Sea
f (t)
una funcin
2 peridica
que es
C1
a trozos en
Entonces:
f (t) =
en cada punto
t [, ]
si
a0
+
an cos nt + bn sen nt,
2
n=1
t R donde f
f es continua
R.
en
t = t0
para
f (t0 ) =
a0
+
an cos nt0 + bn sen nt0 .
2
n=1
122
CAPTULO 2.
PROBLEMAS DE CONTORNO
20
15
10
5
0
5
10
15
20
10
10
peridica de
f (t) = et
4
3
2
1
0
1
2
3
4
10
peridica de
10
f (t) =
x
2
2.2.
123
PROBLEMAS DE CONTORNO
4
3
2
1
0
1
2
3
4
10
10
peridica de
f (t) =
x
2
t0 .
f (t) = t, f (t) = t2 , f (t) =
(, ). Como las extensiones 2
|t|
f (t) = e
peridicas de
tualmente en
convergen en
converge puntualmente en
f (t) = t2 y f (t) = |t| son continuas, sus series convergen pun[, ]. Para f (t) = t y f (t) = et , las series de Fourier tambin
t = pero no lo hacen a los valores f (). A continuacin se
Teorema 2.52.
f (t+) + f (t)
a0
=
+
an cos nt + bn sen nt,
2
2
n=1
donde
f (t+), f (t)
en
t R,
izquierda, respectivamente.
Observacin 2.28. Slo por resaltar el resultado, se dice en el Teorema 2.52
1
que si
es
f () (Figura
con f ().
sea discontinua.
f (t) = t suma cero en t = , valor obviaf (t) = et suma cosh , valor que
2.17). La de
MATLAB)
t = k
[, ].
s17 (t).
124
CAPTULO 2.
1
s1(t)
f(t)
1
0
1
4
s3(t)
s2(t)
0
1
4
1
s5(t)
1
s4(t)
0
1
4
0
1
PROBLEMAS DE CONTORNO
0
1
Figura 2.13: La gura muestra las cinco primeras sumas parciales de la serie de
Fourier de la funcin signo(t) en el intervalo
[, ].
2.2.
125
PROBLEMAS DE CONTORNO
1.5
f(t)
s17(t)
1
0.5
0.5
1.5
4
[, ].
s17 (t)
126
CAPTULO 2.
PROBLEMAS DE CONTORNO
1.5
s17(t)
1
0.5
0.5
1.5
[0, 7].
10
s17 (t)
15
20
25
2.2.
127
PROBLEMAS DE CONTORNO
f (t) = t.
[0, 2]
128
CAPTULO 2.
PROBLEMAS DE CONTORNO
4
f(t)
s12(t)
3
2
1
0
1
2
3
4
Se ha dibujado en el intervalo
2.2.
129
PROBLEMAS DE CONTORNO
Convergencia uniforme
El Teorema 2.40 establece la convergencia uniforme de series de autofunciones en problemas generales. El que sigue es propio de las series trigonomtricas.
Teorema 2.53.
[, ]
f (t)
Sea
C1
a trozos en el intervalo
que cumple:
f () = f ().
f
[, ]:
converge uniformemente a
en el intervalo
f (t) =
a0
+
an cos nt + bn sen nt.
2
n=1
f (s) ds,
f (t) = f () +
nito de puntos.
Si la serie de Fourier de
es:
f (t) =
n=1
la de
es:
f (t) =
n=1
Asimismo:
| sen nt|
| cos nt|
(nan ) +
(nbn )
n
n
N +1
1
n2
}1/2 {
N +1
}1/2
n
(a2n
b2n )
N +1
f (t)2 dt =
n2 (a2n + b2n ).
Se puede incluso dar una estimacin del error cometido cuando la suma
parcial
SN (t)
sustituye a la funcin
Teorema 2.54.
|f (t) SN (t)|
f (t).
2 1
6
n2
1
N
}1/2 {
f (t) dt
2
}1/2
2
(a2n
b2n )
130
CAPTULO 2.
2.2.16.
PROBLEMAS DE CONTORNO
Ejercicios
f (t) = 1
en el intervalo
[0, ].
Solucin.
4 1
sen(2n 1)t.
n=1 2n 1
2. Sumar la serie:
1
.
(2n
1)2
n=1
Solucin.
2
.
8
3. Sumar la serie:
Solucin.
1
.
2
n
n=1
2
.
6
4. Calcular:
a) La serie de Fourier en senos de
f (t) = t
en
f (t) = t
en
b)
[0, ].
f (t) = t
a)
[0, ].
en
[, ].
f (t) = t2 .
Solucin.
(1)n
2 n=1
sen nt.
n
1
cos(2n 1)t.
2
n=1 (2n 1)2
)
(
2
(1)n 1 2
n
(1)
sen nt.
2
n=1
n3
n
El desarrollo en cosenos coincide con el desarrollo en senos y cosenos en
el intervalo
[, ]:
(1)n
2
+4
cos nt.
3
n2
n=1
2.2.
131
PROBLEMAS DE CONTORNO
[0, ].
f (t) = t( t)
en el intervalo
Solucin.
8
1
f (t) =
sen(2n 1)t.
n=1 (2n 1)3
Solucin.
senh
et = 2
La suma de la serie en
1 (1)n
+
(cos nt n sen nt) .
2 n=1 n2 + 1
t=
es
cosh .
[0, ].
Solucin.
En senos:
et =
en cosenos:
2
et =
}
1
e 1 +
((1)n e 1) cos nt .
2+1
n
n=1
Solucin.
f (t) =
4
1
+
cos(2n 1)t.
2
n=1 (2n 1)2
La convergencia es uniforme en
9. Hallar la serie de Fourier de
[, ].
f (t) = |t|.
Solucin.
en
21
(1 (1)n e ) sen nt,
n=1 n
b) Hallar
f (t) = et
por
s3 .
0,1
4
1
cos(2n 1)t.
2
n=1 (2n 1)2
132
CAPTULO 2.
EN
Llamamos
al error asociado a
PROBLEMAS DE CONTORNO
SN (t).
Entonces
E2 , . . . , E5 :
E6 , . . . , E10 :
0,1434 0,1158 0,1088
substituir
Solucin.
por
0,0922 0,0877.
N =9
f (t) = t4 .
bajamos de
0,1.
s3 .
4
8( 2 n2 6)
+
(1)n
cos nt.
5
n4
n=1
El grupo:
s3 (t) =
4
8( 2 22 6)
8( 2 32 6)
8( 2 6) cos t +
cos 2t
cos 3t.
4
5
2
34
El factor:
{
a :=
2 1
6
n2
1
N
}1/2
= 0,5328.
|N =3
El grupo:
{
b :=
{
f (t)2 dt
}1/2
n2 (a2n + b2n )
=
|N =3
(
)}1/2
32 6
(4 2 6)2
(9 2 6)2
82 ( 2 6)2 +
+
= 41,3947,
7
26
36
el error es:
E3 = ab = 22,0531.
Captulo 3
Ecuaciones en Derivadas
Parciales
3.1. Ecuacin de las ondas
Las siguientes materias se impartieron en formato virtual: problema de valor inicial para la ecuacin de ondas homognea y no homognea; frmula de
D'Alembert; ondas viajeras; mtodo de separacin de variables.
3.1.1.
Unicidad
Proposicin 3.1.
u(x, t) C 2
c u = 0
u(x, 0) = 0
ut (x, 0) = 0
una solucin de
x R, t > 0
xR
x R.
Entonces:
u(x, t) = 0.
Demostracin. Fijamos
P0 = (x0 , t0 )
con
t0 > 0.
Por
P0
x x0 = c(t t0 )
que cortan al eje
Ox
en
A = (x0 ct0 , 0)
Formamos el tringulo
T = P0 AB
134
CAPTULO 3.
EDPS
Partiendo de:
utt c2 uxx = 0,
multiplicamos por
aadimos
ut :
ut utt c2 ut uxx = 0,
c2 ux uxt :
ut utt + c2 ux uxt c2 (ut uxx + ux uxt ) = 0,
y obtenemos:
Fx + Gt = 0,
(
donde
G=
F = c ux ut ,
El campo
(F, G)
se anula en el lado
AB
T.
T:
de
)
1 2 c2 2
u + ux .
2 t
2
Al aplicar a
(F, G)
el teorema de
(F + cG) ds +
AP0
(F + cG) ds = 0,
P0 B
T.
Este fue el ejercicio que muy amablemente propuso y resolvi el Prof. Antonio
Bonilla.
Efectuando las integrales en ese orden y multiplicando por
x0
x0 ct0
x0 +ct0
x0
Es decir:
x0
dx+
dx = 0.
|t=t0 c1 (xx0 )
x0 ct0
2/c:
x0 +ct0
x0
d
(u(x0 + c(t t0 ), t)) = ut + cux = 0
dt
As
u(x0 + c(t t0 ), t)
0 t t0 .
es constante y:
(x, t).
se anula en
P0
y como
P0
es arbitrario entonces
u(x, t) = 0
para todo
3.1.
135
3.1.2.
utt = c2 uxx
u(x, 0) = f (x)
ut (x, 0) = g(x)
u(0, t) = u(, t) = 0
(3.1)
u = X(x)T (t),
lo que nos lleva a la ecuacin:
1 T
X
= 2
.
X
c T
sta a su vez al problema de contorno,
X + X = 0
X(0) = X() = 0,
(n N).
f=
n sen nx,
n=1
g=
n sen nx.
n=1
Tal solucin es,
uN (x, t) =
n=1
(n cos nct +
n
sen nct) sen nx.
nc
136
CAPTULO 3.
g() = 0
EDPS
f=
g=
n=1
n sen nx
n sen nx
n=1
x
G=
g(s) ds =
0
n n
cos nx.
n
n
n=1
n=1
u=
(n cos nct +
n=1
n
sen nct) sen nx
nc
n=1
n
sen nct sen nx := u1 + u2
nc
n=1
(3.2)
u1 =
n=1
=
luego
1
1
n sen n(x + ct) +
n sen n(x ct)
2 n=1
2 n=1
1
{f (x + ct) f (x ct)},
2
u1
es
C2
u2 =
=
g = 0.
Anlogamente,
n
1
n
n
sen nct sen nx = {
cos n(x + ct) +
cos n(x ct)}
nc
2c
nc
nc
n=1
n=1
n=1
1
{G(x + ct) G(x ct)}.
2c
De nuevo,
u2
es
C2
no estemos autorizados a derivar dos veces la serie. Por tanto, (3.2) representa
la solucin a pesar de que las manipulaciones de diferenciabilidad trmino a
trmino de la serie no sean posibles.
En caso del problema de Neumann,
utt = c2 uxx
u(x, 0) = f (x)
ut (x, 0) = g(x)
ux (0, t) = ux (, t) = 0
(3.3)
3.1.
137
con datos
de compatibilidad:
f = g = 0
x = 0, ,
f = 0 +
g = 0 +
n=1
n cos nx
n cos nx
n=1
G=
g(s) ds = 0 x +
0
n
sen nx.
n
n=1
Aplicando el mtodo de separacin de variables como en la primera parte, llegamos a la siguiente expresin formal de la solucin,
u = a0 + b0 t +
n=1
A la vista de los datos los coecientes son:
u = 0 + 0 t +
(n cos nct +
n=1
n
sen nct) cos nx.
nc
u=
1
1
{f (x + ct) + f (x ct)} + {G(x + ct) + G(x ct)},
2
2c
138
CAPTULO 3.
EDPS
u(x, t)
e instante
la difusin):
u
2u
= D 2,
t
x
donde
ut = uxx .
Denicin 3.2.
(3.4)
lm
u(y, t) = f (x)
(y,t)(x,0)
donde
f,
x R,
x R, t > 0
ut = uxx
u(x, 0) = f (x).
(3.5)
3.2.1.
t = 0.
Se trata de proporcionar una solucin al problema (3.5). Antes unas observaciones elementales.
Proposicin 3.3.
Supngase que
u(x, t)
resuelve:
ut = uxx ,
en
x R, t > 0.
Entonces,
y R, R
v(x, t) = u(x y, t ),
x R, t > .
> 0
resuelve la ecuacin en
Anlogamente,
u (x, t) = u( x, t)
tambin es solucin de la ecuacin del calor para todo
> 0.
3.2.
139
1 x2
u(x, t) =
e 4t ,
4t
es solucin de la ecuacin del calor en
t > 0.
Para
, y R
(xy)2
1
v(x, t) =
e 4(t ) ,
4(t )
tambin es solucin en
Denicin 3.4.
t > .
La funcin
1 x2
u(x, t) =
e 4t ,
4t
se conoce como la solucin fundamental de la ecuacin del calor.
Observacin 3.3.
a) Como se ver la solucin fundamental sirve para generar todas (dentro de un
orden) las soluciones de la ecuacin del calor.
Un aspecto que no se ha comentado es el carcter altamente irreversible de
la ecuacin del calor. Obsrvese que
1 x2
e 4t
4t
t 0+.
x = 0
t = 0,
De alguna manera,
t = 0,0001,
t = 0,001,
K(x, t, y) dy,
u(x, t) =
(3.6)
u(x, t)
de clase
Ck
y las derivadas
responden a la frmula:
+ u
(x, t) =
x t
+ K
(x, t, y) dy.
x t
(3.7)
140
CAPTULO 3.
EDPS
30
25
20
15
10
0
1
0.5
t = 0,01
d y
t = 0,1.
0.5
t = 0,0001, t = 0,001,
3.2.
141
Proposicin 3.5.
Sea
K(x, t, y)
denida en
x, s R, t > 0
(x, t)
con respecto a
la funcin
K(x, t, y)
es absolutamente Riemannintegrable en
y.
ii) La funcin
iii) Cada
(x, t) U , s R.
u(x, t) denida por
Entonces
(3.6) es de clase
C1
en la forma (3.7).
Teorema 3.6.
integrable en
R.
Sea
f (x)
Representamos por
1
u(x, t) = K(f )(x, t) =
4t
(xy)2
4t
f (y) dy.
(3.8)
u C (R R+ )
lm
(x,t)(x0 ,0)
u(x, t) = f (x0 ),
x0 donde f es continua. Si
dene una solucin clsica de (3.5).
u(x, t)
b) Para
f (x) = 1
es continua en todo
R,
se tiene:
K(f )(x, t) = 1.
c) (Conservacin de la energa)
u(x, t) dx =
R
f (x) dx
t > 0.
nf f u(x, t) sup f
x Rn , t > 0.
e) (Positividad)
f 0
f ) (Unicidad). Para
R (0, )
f C(R)
acotada,
u 0.
es la nica solucin clsica acotada en
142
CAPTULO 3.
g) (Regularidad hasta
entonces
t = 0)
uj
f C k (R)
uj (x, t) =
y cada
EDPS
j u
xj
j = 1, . . . , k,
resuelve el problema:
{
ut = uxx
u(x, 0) = f (j) (x).
x R, t > 0
f C(R)
2
Erf() =
ez dz.
2
{
1
(x) =
0
3.2.2.
x0
x < 0.
Ejercicios
1. Hallar qu ecuacin diferencial ordinaria cumplen las soluciones de la ecuacin del calor de la forma:
(
u(x, t) =
Solucin.
Llamando
)
.
,
t
+ = 0.
2
2. Se considera el problema de valor inicial:
xR t>0
x R.
ut = uxx
u(x, 0) = (x)
()
para que
(
u(x, t) =
)
,
(3.9)
3.2.
143
Solucin.
Se tiene
lm () = 0
lm () = 1.
Solucin.
Se tiene:
u(x, t) =
donde:
() =
4. Prubese directamente que si
1 1
+ Erf
2 2
u(x, t)
)
,
( )
.
2
u (x, t) = u( x, t),
tambin es solucin.
5. Resulvase ahora (3.9) usando la frmula de Poisson (3.8).
6. Hallar una solucin de los problemas de valor inicial:
ut = uxx
u(x, 0) = f (x),
x R, t > 0
f (x) = (x).
b)
f (x) = (x a).
c)
f (x) = (b x).
d)
f (x) = I (x)
donde si
I = [a, b],
{
I (x) =
1
0
xI
x
/ I.
Solucin.
ut = uxx
2
u(x, 0) = ex .
x R, t > 0
x2
1
u(x, t) =
e 14t .
1 4t
> 0:
144
CAPTULO 3.
EDPS
donde
x R, t > 0
ut = uxx
2
u(x, 0) = eax ,
a > 0.
Solucin.
ax2
1
u(x, t) =
e 14at .
1 4at
9. Hllese una solucin del problema de Cauchy (3.5) para la ecuacin del
2
calor unidimensional con dato inicial u(x, 0) = x . Una gua para hacerlo
es la que sigue. Prebese que si
ces
uxxx (x, t)
u(x, t)
Conclyase de aqu
(ilegalmente !) que
uxxx (x, t) 0.
f (x) 0.
3.2.3.
f (x) = ex .
Estudiamos el problema:
ut = uxx
u(x, 0) = f (x)
B0 u = 0, B u = 0
(3.10)
B0 u = u(0, t)
B u = u(, t),
B0 u = ux (0, t)
B u = ux (, t).
o Neumann:
Teorema 3.7.
C 2 [0, ] [0, ).
f () = 0
u(x, t)
f C[0, ], f (0) =
ut = uxx
u(x, 0) = f (x)
u(0, t) = 0, u(, t) = 0
admite una nica solucin en
(3.11)
3.2.
145
ut = uxx
u(x, 0) = f (x)
ux (0, t) = 0, ux (, t) = 0
admite admite una nica solucin en
f C 1 [0, ] y
(3.12)
si
f (0) = f ().
3.2.4.
Supongamos que
f C[0, ]
es
C1
a trozos y cumple:
f (0) = f () = 0.
Se sabe entonces (Captulo II) que:
f (x) =
bn sen nx,
(3.13)
n=1
siendo la serie uniformemente convergente en
[0, ].
u(x, t) =
en t bn sen nx,
2
(3.14)
n=1
satisface la ecuacin del calor para
t > 0,
siendo de clase
en esa regin.
lm
u(x, t) =
(x,t)(x0 ,0)
x0 [0, ].
(3.15)
n=1
f (x)
sea integrable
entonces la funcin
146
CAPTULO 3.
3.2.5.
EDPS
Ahora partimos de
f C 1 [0, ]
cumpliendo:
f (0) = f () = 0.
Aadimo la condicin de que la propia
(Captulo II) que:
sea
C1
f (x) =
a0
+
an cos nx,
2
n=1
[0, ].
La misma propiedad se
f (x) =
n=1
Usando de nuevo el mtodo de separacin de variables se encuentra que la serie:
u(x, t) =
a0 n2 t
+
e
an cos nx,
2
n=1
t > 0,
siendo de clase
(3.16)
en esa regin.
lm
u(x, t) =
(x,t)(x0 ,0)
x0 [0, ].
a0
+
an cos nx0 = f (x0 )
2
n=1
Observacin 3.8. Como en el caso Neumann, con menos condiciones de regularidad se pueden conseguir soluciones. No insistimos en los detalles.
3.2.6.
Ejercicios
ut = uxx
u(x, 0) = f (x)
ux (0, t) = 0, ux (, t) = 0
f (x) = x.
b)
3.2.
c)
f (x) = x2 .
d)
ut = uxx
u(x, 0) = f (x)
u(0, t) = 0, u(, t) = 0
f (x) = x.
b)
c)
f (x) = x2 .
d)
147
148
CAPTULO 3.
EDPS
Bibliografa
[1]
[2]
Berln, 1982.
[3]
Ed. Blu-
[7]
Ediciones de
[10]
Madrid, 1977.
Linear Algebra. Academic Press, New York, 1974. Versin castella en Alianza
Universidad.
[12]
Projeto Eu-
[14]
Revert, Barcelona.
149