Soluciones del examen de junio de 2009 de Ecuaciones Diferenciales II (grupo C piloto)

1. i] Resolver
y
+e
+y

= 0 con el dato inicial (, 0) =e

.
ii] Escribir en forma cannica
yy
+e
+y

y
= 0. Hallar su solucin general.
i]
dy
d
=
1
e
+y
,
_
e
y
dy =
_
e

d+C e
y
+e

= C caractersticas.
_
=e
y
+e

=y (mejor)

= = p() e

= p
_
e
y
+e

_
e
y
.
_
Con = quedara la ecuacin bastante ms complicada

=

e

1
_
.
(, 0) = p
_
1+e

_
=e

, p(s) =s1, = e
2y
+e
y
e
y
.
[Solucin nica, ya que y=0 no es tangente a las caractersticas que
son estrictamente crecientes, o porque: = 1 1 0 e

= 1 = 0 ].
[Este dibujo aproximado sale
de analizar y=log
_
Ce

_
,
y de dibujar las isoclinas].
ii] B
2
4AC=e
2+2y
>0, hiperblica en R
2
.
d
dy
=
e
+y
e
+y
2
=
e
+y
caractersticas de i]
0 =K
.
_
=e
y
+e

=

_

y
= e
y

=e

,
_

yy
= e
2y

+e
y

y
= e
y

+e
y

e
2y+

=0,

= 0
forma
cannica.
La solucin general es, por tanto: = p() +q() , o sea, = p
_
e
y
+e

_
+q() .
La podamos haber hallado basndonos en i] (ecuacin a la que lleva hacer
y
= ):

y
= p
_
e
y
+e

_
e
y
= q() +
_
p
_
e
y
+e

_
e
y
dy = q() +p

_
e
y
+e

_
.
3b. Sea
_

tt

rr
+
2
r

r
_
= 0, r 0, t R
(r, 0) =r ,
t
(r, 0) =2
.
i] Hallar (1, 2) .
ii] Hallar (1, t) para todo t 0.
=r

tt

rr
= 0, r 0
(r, 0) =r
2
,
t
(r, 0) =2r [ya impar]
(0, t) =0

tt

rr
= 0, r R
(r, 0) =

(r) ,
t
(r, 0) =2r
, con

(r) =
_
r
2
, r 0
r
2
, r 0

(r, t) =
1
2
_

(r +t)+

(r t)
_

_
r+t
rt
s ds (r, t) =
1
2r
_

(r +t)+

(r t)
_
2t .
i] En particular, (1, 2) =
1
2
_

(3)+

(1)
_
4
impar
=
1
2
_
(3) (1)
_
4 =
91
2
4 = 0 .
!
"
# $ #%" #&" #%" #&"
#
ii] Para (1, t) hay que distingir dos casos:
Si t 1, (1, t) =
1
2
_
(1+t)
2
+(1t)
2
_
2t = 1+t
2
2t = (1t)
2
.
Si t 1, (1, t) =
1
2
_
(1+t)
2
(1t)
2
_
2t = 2t2t = 0 .
3c. Comprobar, paso a paso y utilizando la F , que la solucin de:
_

=e

2
/ 4
, R, t >0
(, 0) =0 , acotada
viene dada por: (, t) =
1

e
k
2
e
k
2
(t+1)
k
2
e
k
dk .
Deducir el valor de (0, t) integrando por partes y utilizando que
_

e
s
2
ds=

.
Como F[e

2
]=
1

2
e
k
2
/ 4
=1/ 4

_

t
+k
2
=

2e
k
2
(k, 0) =0

p
a ojo
(k, t) = p(k) e
k
2
t
+

2
k
2
e
k
2 d..

p(k) =

2
k
2
e
k
2
, (k, t) =

2
k
2
_
e
k
2
e
k
2
(t+1)
_
. Y como (, t) =
1

2
_

(k, t)e
k
dk ,
deducimos el la expresin de de arriba. Evaluar esta integral en general es complicado, pero:
(0, t) =
1

e
k
2
e
k
2
(t+1)
k
2
dk =
_
e
k
2
e
k
2
(t+1)

k
_

e
k
2
dk +
2

(t+1)e
k
2
(t+1)
dk .
Como el primer corchete se anula en , y haciendo en la ltima integral el cambio s=k

t+1 ,
se convierte en
2

t+1
_

e
s
2
ds = 2

t+1 , concluimos que: (0, t) = 2

t+1 2 .
[Es normal que tienda a . Estamos constantemente metiendo calor en toda la varilla].
2. i] Hallar los autovalores y autofunciones del problema
_
X

+2X

+X=0
X(0) =X(1)+X

(1) =0
.
ii] Resolver
_

= 0, (0, 1) , t >0
(, 0) =e

, (0, t) =(1, t)+

(1, t) =0
.
[Se puede hacer directamente o tras un cambio =e
pt+q
que lleve la ecuacin a una ms sencilla].
i]
2
+2+=0, =1

1 . La ecuacin en forma S-L queda

_
e
2
X

+e
2
X=0.
Aunque los 0, hay que discutir <, =, > 1. Llamamos p=

1 y =

1 .
<1: X = c
1
e
(1+p)
+c
2
e
(1p)
, X

= c
1
(p1) e
(1+p)
c
2
(1+p) e
(1p)

c
1
+c
2
= 0
c
1
pe
1+p
c
2
pe
1p
=0
_
c
1
pe
1
[e
p
+e
p
] = 0 c
1
=c
2
=0 no autovalor.
=1: X=[c
1
+c
2
] e

, X

=[c
2
c
1
c
2
] e

c
1
= 0
c
2
= 0
_
X0 . =1 no autovalor.
>1: X=[c
1
cos +c
2
sen] e

X(0)=0
c
1
=0 X(1)+X

(1) =c
2
_
cos
_
e

n
=
(2n1)
2
, n=1, 2, . . .
n
=1+
2
n
, X
n
=
_
e

sen
n

_
.
ii] =XT
X

+2X

X
=
T

T
=
_
X

+2X

+X=0

X(0) =X(1)+X

(1) =0
y T

+T =0
=
n
T
n
=
_
e

n
t
_
(, t) =

n=1
c
n
e

n
t
e

sen
n
(, 0) =

n=1
c
n
e

sen
n
= e

1=

n=1
c
n
sen
(2n1)
2
, c
n
=2
_
1
0
sen
(2n1)
2
d=
4
(2n1)
, =
4

n=1
e
t(2n1)
2

2
t/ 4
2n1
sen
(2n1)
2
.
Sin simplicar el e

: e

n=1
c
n
X
n
() c
n
=
e

, X
n

X
n
, X
n

= 2
_
1
0
e
2
peso
e

sen
(2n1)
2
d ,
pues X
n
, X
n
= 2
_
1
0
e
2
peso
e
2
sen
2
(2n1)
2
d =
1
2
.
Con =e
pt+q
queda
t

(2q+2)

+(pq
2
2q) = 0 q=p=1 lleva al calor. As pues:
=e
t+

=(+

)e
t+
_

_

t

= 0
(, 0) =1, (0, t) =

(1, t) =0
X
n
=
_
sen
n

_
, T
n
=
_
e

2
n
t
_
.

c
n
T
n
X
n
lleva al desarrollo de antes y haciendo =e
t
llegamos a la solucin de arriba.
3a. Hallar la nica solucin de los problemas en el plano
_

rr
+
1
r

r
+
1
r
2

=
2sen
1+r
2
(1, ) =1 , acotada
:
i] en el crculo r <1, ii] en la regin innita r >1 [ojo!, r rctnr
r
] .
!
Separando variables en la homognea salen:

+=0 y r
2
R

+rR

R=0.
Las autofunciones son
n
=
_
cos n, senn
_
, n=0, 1, . . . [ 2-peridica].
Probamos en ambos casos: (r, ) =
0
(r) +

n=1
_

n
(r) cos n+b
n
(r) senn
_

0
+
1
r

0
+

n=1
_
_

n
+
1
r

n
2
r
2

n
_
cos n +
_
b

n
+
1
r
b

n
2
r
2
b
n
_
senn
_
=
2
1+r
2
sen
r
2

0
+r

0
=0 ; r
2

n
+r

n
n
2

n
=0, n1 ; r
2
b

1
+rb

1
b
1
=
2r
2
1+r
2
; r
2
b

n
+rb

n
n
2
b
n
=0, n2 .
(1, ) =1
0
(1) =1 y que las dems se anulan en 1. Slo tendrn solucin no trivial:
_
r
2

0
+r

0
= 0

0
(1) =1,
0
acotada

0
= c
1
+c
2
lnr
c.c.

0
= 1, para i] y para ii].
_
r
2
b

1
+rb

1
b
1
=
2r
2
1+r
2
b
1
(1) =0, b
1
acotada
b
1
= c
1
r +c
2
r
1
+b
1p
. Necesitamos la fvc para la particular:
_
_
_
_
r r
1
1 r
2
_
_
_
_
=2r
1
, (r) =
2
1+r
2
, b
1p
= r
1
_
r
2
+11
1+r
2
+r
_
1
1+r
2
=
_
r +
1
r
_
rctnr 1.
No es trivial imponer la condicin de acotacin. En r <1, como
rctnr
r
r0
1, debe ser c
2
=0.
Imponiendo la otra: c
1
+2rctn11 = 0 b
1
=
_
1

2
_
r +
_
r +
1
r
_
rctnr 1, para i].
En el innito b
1p

2
r 1. Para que b
1
pueda estar acotada debemos tomar c
1
=

2
. Adems:

2
+c
2
+

2
1=0 b
1
=
1
r

2
r +
_
r +
1
r
_
rctnr 1, para ii].
_
rctnr/ 2
1/ r

r
1
_
.
i] = 1 +
_
r

2
r +
_
r +
1
r
_
rctnr 1
_
sen ; ii] = 1 +
_
1
r

2
r +
_
r +
1
r
_
rctnr 1
_
sen .
Soluciones del examen de septiembre09 de Ecuaciones Diferenciales II (grupo C piloto)
1. Resolver
_

t
+e
t

+2t = 0
(, 0) = ()
,
i] a traves de las caractersticas,
ii] utilizando transformadas de Fourier.
i]
dt
d
=
1
e
t
, =
_
e
t
dt+C e
t
= C caractersticas.
_
= e
t
=t (mejor)

= 2t = p() e

2
= p
_
e
t
_
e
t
2
.
_
Con = queda la ecuacin ms complicada

=
2log()

_
.
(, 0) = p(1) = () , p() = (+1) (, t) =
_
e
t
+1
_
e
t
2
.
_
Solucin nica, pues t =0 no es tangente a las caractersticas, o porque: = 1 1 0 1 = 1 = 0
_
.
ii]
_

t
ke
t
+2t = 0
(k, 0) =

(k)
(k, t) = p(k) e
ke
t
t
2 c..
p(k) e
k
=

(k) (k, t) =

(k) e
t
2
e
k(e
t
1)
.
Y como F
1
_

(k) e
k
_
= () , la solucin es (, t) = e
t
2

_
e
t
+1
_
, como antes.
2. i] Sea
_
X

+X = 0
X(0) =X(1)X

(1) =0
.
Hallar sus autovalores y autofunciones y comprobar que
la primera autofuncin es ortogonal a todas las dems.
ii] Resolver
_

+2 = 2, (0, 1) , t >0
(, 0) =1, (0, t) =(1, t)

(1, t) =1
por separacin de variables.
p
th p
0
p
1
i] Como

<0 el problema puede tener autovalores negativos:

<0,

=p
X = c
1
e
p
+c
2
e
p
X

=p(c
1
e
p
c
2
e
p
)

c
1
+c
2
=0

c
1
_
(e
p
e
p
) p(e
p
+e
p
)
_
=0
c
1
=c
2
=0, pues p=
e
p
e
p
e
p
+e
p
= thp, si p>0
_
th

(0) =1
_
.
w
tan w
0
w
!
w
1
w
2
=0
X = c
1
+c
2

=c
2

c
1
=0
c
1
+c
2
c
2
=c
1
=0
=0 autovalor, X
0
={}.
>0,

= X=c
1
cos +c
2
sen
c
1
=0

c
2
[sencos ]=0
innitos
n
con tn
n
=
n

n
=
2
n
, X
n
={sen
n
}.
Todas las X
n
deben ser ortogonales. En particular:
_
1
0
sen
n
d =
cos
n

n
_
1
0
+
_
1
0
cos
n

n
d =
sen
n

n
cos
n

2
n
= 0.
ii] Para hacer las condiciones de contorno homogneas necesitamos una que las cumpla.
A simple vista: =1
=1

+2 = 0
(, 0) =, (0, t) =(1, t)

(1, t) =0
=XT XT

T+2XT =0
X

X
=
T

T
+2=
_
X

+X = 0
X(0) =X(1)X

(1) =0
y T

+(+2)T = 0.
Las autofunciones del problema en son las de arriba: {} y {sen
n
}. Probamos entonces:
(, t) = c
0
e
2t
+

n=1
c
n
e

2
n
+2
_
t
sen
n
(, 0) = c
0
+

n=0
c
n
sen
n
=
c
0
=1 y los dems c
n
son cero. As pues, (, t) = 1 e
2t
.
[Que conste que con estas condiciones de contorno no fsicas no sabemos probar la
unicidad (ni para el calor ni para esta ecuacin similar), con lo que tal vez (o tal vez
no) pudieran existir otras soluciones no calculables por separacin de variables].
3a. Sea
_
_
_

tt

=0, [0, 2] , t R
(, 0) =
_
2sen, [0,]
0 , [,2]
,
t
(, 0) =0
(0, t) =(2, t) =0
.
Dibujar (, ) y hallar su expresin
utilizando la frmula de DAlembert.
La solucin (, t) =
1
2
_

(+t)+

(t)
_
, con

extensin impar y 4-peridica de la inicial.

Para dibujar (, ) basta trasladar
1
2
() a la izquierda y
a la derecha unidades y sumar las grcas en [0, 2] .
[Slo queda lo que va a la derecha con la mitad de altura].
Como para [0,2] siempre +[,3] y [,]
y en todo este intervalo es

() =2sen ( sen impar), es:

(, ) =
1
2
_

(+)+

()
_
=
1
2
_
0+2sen()
_
= sen para cualquier [0, 2] .
3b. Hallar la solucin (, t) del problema de 3a por separacin de variables y comprobar la
expresin de (, ) obtenida all.
=XT
_
X

+X = 0
X(0) =X(2) =0

n
=
n
2
4
, X
n
=
_
sen
n
2
_
, n=1, 2, . . . y
_
T

+T = 0
T

(0) =0
T
n
=
_
cos
nt
2
_
.
(, t) =

n=1
c
n
cos
nt
2
sen
n
2
(, 0) =

n=1
c
n
sen
n
2
=
_
2sen, [0,]
0 , [,2]

c
n
=
2
2
_

0
2sensen
n
2
d =
1

0
_
cos
_
n
2
1
_
cos
_
n
2
+1
_

_
d =
n=2
1

_
sen(
n
2
1)
n
2
1

sen(
n
2
+1)
n
2
+1
_
=
2

sen
n
2
n2
+
sen
n
2
n+2
_
=
8sen
n
2
(n
2
4)
=
_
0, n=2m
8

(1)
m
(2m1)
2
4
, n=2m1
. Adems c
2
=
1

0
[1cos 2]d=1.
(, t) = cos t sen +
8

m=1
(1)
m
(2m1)
2
4
cos
(2m1)t
2
sen
(2m1)
2
(, ) =sen, pues cos =1 y cos
(2m1)
2
=0.
4. Hallar la solucin del problema plano
_

rr
+
1
r

r
+
1
r
2

= r
2
cos 2, 1<r <2
(1, ) =(2, ) =0
.
Separando variables en el homogneo aparecen

+=0 y r
2
R

+rR

R=0.
Las autofunciones las da siempre , para la que las condiciones de contorno son
las implcitas
(0) =(2)

(0) =

(2)
[o sea, 2-peridica]
n
=
_
cos n, senn
_
, n=0, 1, . . ..
Probamos, pues: (r, ) =
0
(r) +

n=1
_

n
(r) cos n +b
n
(r) senn
_

0
+
1
r

0
+

n=1
_
_

n
+
1
r

n
2
r
2

n
_
cos n +
_
b

n
+
1
r
b

n
2
r
2
b
n
_
senn
_
= r
2
cos 2
De los datos de contorno deducimos que
n
(1) =
n
(2) =b
n
(1) =b
n
(2) =0 n.
Slo uno de los problemas para las ecuaciones de Euler no tiene solucin trivial:
_
r
2

2
+r

2
4
2
=r
4

2
(1) =
2
(2) =0

2p
=Ar
4

2
=c
1
r
2
+c
2
r
2
+
1
12
r
4
c.c.

c
1
+c
1
+
1
12
= 0
4c
1
+
1
4
c
2
+
4
3
=0

2
=
r
4
12

7r
2
20
+
4
15r
2
.
_
Ms largo es hallar
2p
con la fvc:
_
_
_
_
_
r
2
r
2
2r 2r
3
_
_
_
_
_
=
4
r
,
2p
=r
2
_
r
4
4/ r
r
2
_
1
4/ r
=
r
4
24
+
r
4
8
=
r
4
12
_
.
La solucin (nica) es, por tanto, (r, ) =
_
r
4
12

7r
2
20
+
4
15r
2
_
cos 2 .