Ecuaciones Diferenciales II (C - piloto) Parcialillo 1 (5/3/09)

[Nota0.7 se suma al nal de febrero; suspenso0.4 suma 0.3 0.4 puntos al nal de febrero].
1. Sea (E) (y2)
y
+

= y . a] Resolver (E) con el dato (0, y) = y2. Es nica la solucin?

b] Imponer a (E) unos datos de Cauchy para los que no tenga solucin. [0.7 puntos]
2. Sea (e)
tt

+D
t
+E

= 4 , con D y E constantes. [0.7 puntos]

a] Escribir (e) en forma cannica. Para qu relaciones entre D y E es esta forma resoluble?
b] Para D=2, E=2, hallar la o las soluciones de (e) con los datos: (0, t) =e
2t
,

(0, t) =2.
Ecuaciones Diferenciales II (C - piloto) Parcialillo 23 (2/4/09)
[Nota1 se suma al nal de febrero; suspenso0.6 suma 0.4 0.5 puntos al nal de febrero].
1. Sea
_

2
y

y = 34
y(1)+y

(1) =y(2) =0
.
Precisar cuntas soluciones tiene para: i) =2, ii) =0.
[Ayuda: ln2 es un nmero irracional].
[0.6 puntos]
2. Resolver
_

= e
2t
cos ,
_
0,

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

(0, t) =0,
_

2
, t
_
=1
. [0.6 puntos]
3. Sea () =
_
1, 01
0, 1<2
. a] Hallar su desarrollo en serie de Fourier () =

0
2
+

n=1

n
cos
n
2
.
Cunto debe sumar la serie para i) =1, ii) =2? Comprobarlo sustituyendo en la serie.
b] Resolver
_

+

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

(0, t) =

(2, t) =0
por separacin de variables. [0.8 puntos]
Ecuaciones Diferenciales II (C - piloto) Parcialillo 34 (26/5/09)
[Nota1.3 se suma al nal de febrero; suspenso0.8 suma 0.5, 0.6 0.7 puntos al nal de febrero].
1. Resolver el problema plano
_
= 9r , 1<r <2
(1, ) =2sen
2
,
r
(2, ) =0
. [0.9 puntos]
2. Sea
_

tt

=0, 0, t R
(, 0) =e

,
t
(, 0) =0
(0, t) =e
t
.
a] Hallar (2, 3) .
[Ayuda: una buena (, t) sale de
separar variables y tomar =1].
Elegir entre:
b
1
] Hallar (, t) , , t 0.
b
2
] Dibujar aproximadamente (, 3) .
[1.1 puntos]
3. Resolver con transformadas de Fourier
_

tt
3
t
+2

= 0, , t R
(, 0) = () ,
t
(, 0) =0
y deducir la solucin
para () =
2
(comprobando el resultado). [0.6 puntos]
Ecuaciones Diferenciales I (C - piloto) Soluciones del parcialillo 1 (5/3/09)
1. Sea (E) (y2)
y
+

= y . a] Resolver (E) con el dato (0, y) = y2. Es nica la solucin?

b] Imponer a (E) unos datos de Cauchy para los que no tenga solucin.
dy
d
=
y2
1
y = Ce

2e

_
e

d =

Ce

+2+2 (y22)e

= C
[ y
p
=A+B]
_
=(y22)e

= (parece mejor)

=y = e

+2+2 = p()+e

+
2
+2,
= p
_
[y22]e

_
+y+
2
2.
_
Si hubisemos escogido =y no se podra despejar la de =(22)e

_
.
a] p(y2)+y2=y2, p(y2) =0 p() =0 , = y+
2
2 .
Solucin nica segn lo visto, o porque =0 nunca es tangente a las caractersticas:
= 0(y20)11 = 1 = 0 [o porque est claro en el dibujo].
b] Hay una caracterstica sencilla: y=2+2. Imponemos datos sobre ella:
(, 2+2) = p(0)+2+
2
= () salvo que escojamos () = K+2+
2
(en ese caso existiran innitas soluciones), el problema no tiene solucin.
Por ejemplo, con (, 2+2) = 0 no hay solucin.
_
Hallando = 1(2+22)21 = 0 , conrmamos que es caracterstica
_
.
2. Sea (e)
tt

+D
t
+E

= 4 , con D y E constantes.
a] Escribir (e) en forma cannica. Para qu relaciones entre D y E es esta forma resoluble?
b] Para D=2, E=2, hallar la o las soluciones de (e) con los datos: (0, t) =e
2t
,

(0, t) =2.
a] Las caractersticas de esta ecuacin son las de la ecuacin de ondas
(slo dependen de las derivadas de segundo orden):
_
=+t
=t

_

t
=

,
_

tt
=

+2

+(D+E)

+(ED)

= 4 si E=D es resoluble.
b]

=1

=1

p
a ojo
=p

()e

+1 =q()+p()e

+.
La solucin general es, pues, = q(+t) +p(t) e
+t
+t .
Imponemos los datos
_

= q

(+t) +p

(t) e
+t
+p(t) e
+t
+1
_
:
_
(0, t) =q(t)+p(t) e
t
t =e
2t
q

(t)p

(t)e
t
+p(t)e
t
=

1+2e
2t

(0, t) =q

(t)+p

(t) e
t
+p(t) e
t
+1=2 2p

(t)e
t
=2e
2t
, p

(t) =e
t
, p

() =e

p() =e

+K q(t) =tKe
t
= +t +e
+t
e
+t
+t , =2+e
2t
.
Veamos si con cambios del tipo = e
pt
e
q
conseguimos resolver (e) en algn caso ms:
_

t
=[p+
t
] e
pt+q

=[q+

] e
pt+q
,
_

tt
=[p
2
+2p
t
+
tt
] e
pt+q

=[q
2
+2q

] e
pt+q

tt

+ (2p+D)
t
+ (E2q)

+ (p
2
q
2
+pD+qE) = 4e
ptq
.
Para que la forma cannica tenga slo una derivada primera hemos visto que debe ser
E=

D+2(p+q) o bien E =

D2(pq) , y adems debe anularse lo que acompaa a :

(p+q)(D+p+q) =0 (pq)(D+pq) =0 E=D en ambos casos (nada nuevo).
_
En el caso b], con p=q=1 acabamos en una ecuacin de ondas:
tt

=4e
t
_
.
Ecuaciones Diferenciales II (C - piloto) Soluciones del parcialillo 23 (2/4/09)
1. Sea [P]
_

2
y

y = 34
y(1)+y

(1) =y(2) =0
.
Precisar cuntas soluciones tiene para: i) =2, ii) =0.
[Ayuda: ln2 es un nmero irracional].
Veamos primero cuntas soluciones tiene el homogneo en ambos casos.
i) Para =2 la ecuacin es de Euler con (1)2 = 0 y = c
1

2
+c
2

1
, y

= 2c
1
c
2

2
.
Imponiendo los datos:
_
y(1)+y

(1) =3c
1
=0
y(2) = 4c
1
+
c
2
2
= 0
c
1
=c
2
=0 [P] tiene solucin nica.
_
Se podra calcular esta solucin nica directamente o con la funcin de Green:
Con la fvc o tanteando y = c
1

2
+c
2

3
2
+2
datos
y =
1
3

3
2

3
2
+2.
_
y
1
=
1
y
2
=
2
8
1
,
_
_
_
_
_

2
8
1

2
2+8
2
_
_
_
_
_
= 3 , p() =1, G(, s) =
1
3
_
s
1
(
2
8
1
) , 1s

1
(s
2
8s
1
) , s2
, (s) =
3
s

4
s
2
y =
1
3
(
2
8
1
)
_

1
_
3
s

4
s
2
_
ds +
1
3
_
2

_
3s4
24
s
2
+
32
s
3
_
ds =
1
3

3
2

3
2
+2
_
.
ii) Para =0 tambin es de Euler, o podemos resolverla as: y

= 0 y

= c
1
, y = c
1
+c
2

_
y(1)+y

(1) =2c
1
+c
2
=0
y(2) = 2c
1
+c
2
= 0
el homogneo tiene innitas soluciones y
h
=
_
2
_
.
La ecuacin en forma S-L es
_
y

=
3

2
. Que [P] tenga innitas o ninguna depende de:
_
2
1
(2)
_
3

2
_
d =
_
2
1
_
3
10

+
8

2
_
d = 3 10
_
ln
_
2
1

_
8

_
2
1
= 710ln2 = 0.
Como esta integral es no nula, [P] no tiene solucin para =0.
_
Verlo directamente lleva algo ms de tiempo:
y

=
3

2
y

= 3ln+
4

+c
1
partes
y = 3ln 3 +4ln +c
1
+c
2

_
y(1)+y

(1) =2c
1
+c
2
+1=0
y(2) = 2c
1
+c
2
+10ln26 = 0
, sistema que no tiene solucin porque 1 = 10ln26
_
.
2. Resolver
_

= e
2t
cos ,
_
0,

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

(0, t) =0,
_

2
, t
_
=1
.
_
A una varilla inicialmente a 1
o
con el extremo izquierdo aislado empezamos a meterle y sacarle calor
(cada vez menos) en su interior, mientras obligamos a que el extremo derecho se mantenga a 1
o
_
.
Lo primero es hacer cero las condiciones de contorno. Una que las cumple salta a la vista:
=1
=1

= e
2t
cos
(, 0) =0,

(0, t) =
_

2
, t
_
=0
, problema no homogneo.
Hallemos las autofunciones del homogneo. Sabemos que al separar variables =XT queda:
X

+X=0, que con los datos X

(0) =X
_

2
_
=0 nos da: X
n
=
_
cos(2n1)
_
, n=1, 2, ....
Probamos: (, t) =

n=1
T
n
(t) cos(2n1)

n=1
_
T

n
+(2n1)
2
T
n
_
cos(2n1)= e
2t
cos
La funcin de la derecha ya est desarrollada en esas autofunciones. Hay que resolver, pues:
_
T

1
+T
1
=e
2t
T
1
(0) =0
y
_
T

n
+(2n1)
2
T
n
=0
T
n
(0) =0
, n=2, ...
_
ya que

n=1
T
n
(0) cos(2n1) = 0
_
.
La solucin de las ltimas es obviamente T
n
0. Para la primera:
T
1p
=Ae
2t
2A+A=1, T
1
=Ce
t
e
2t
_
T
1
=Ce
t
+e
t
_
e
t
_ T
1
(0)=0
T
1
(t) =e
t
e
2t
.
La solucin del problema inicial es, pues: (, t) = 1 +
_
e
t
e
2t
_
cos
_

t
1: toda la varilla tiende a ponerse a 1
o
_
.
3. Sea () =
_
1, 01
0, 1<2
. a] Hallar su desarrollo en serie de Fourier () =

0
2
+

n=1

n
cos
n
2
.
Cunto debe sumar la serie para i) =1, ii) =2? Comprobarlo sustituyendo en la serie.
b] Resolver
_

+

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

(0, t) =

(2, t) =0
por separacin de variables.
a] Los desarrollos en cosenos son: () =

0
2
+

n=1

n
cos
n
L
, con
n
=
2
L
_
L
0
() cos
n
L
d.
En este caso:
0
=
2
2
_
1
0
d = 1,
n
=
_
1
0
cos
n
2
d =
2
n
sen
n
2
, y es sen
n
2
=
_
0 si n par
(1)
m
si n=2m+1
.
El desarrollo de nuestra () es, por tanto:
1
2
+
2

m=0
(1)
m
2m+1
cos
(2m+1)
2
.
i) En =1 es discontinua, y la serie de Fourier tender hacia
1
2
_
(1

)+ (1
+
)
_
=
1
2
, como se comprueba fcil sustituyendo:
1
2
+
2

m=0
(1)
m
2m+1
cos
(2m+1)
2
=
1
2
[los cosenos se anulan].
ii) Como tiende en todo R hacia la extensin par y 4-peridica
de , en =2 ha de tender hacia (2) =0. Sustituyendo:
1
2
+
2

m=0
(1)
m
2m+1
cos(2m+1) =
1
2

2

m=0
(1)
m
2m+1
= 0,
puesto que la ltima serie 1
1
3
+
1
5
+ = rctn1=

4
.
b] Separando variables: =XT
X

X
=
T

T
+
1
t+1
=
_
X

+X = 0
X

(0) =X

(2) =0
y T

+
_
+
1
t+1
_
T =0.
Los autovalores y autofunciones del problema de contorno sabemos que son:

n
=
n
2

2
4
, X
n
=
_
cos
n
2
_
, n= 0, 1, ... T

+
_
n
2

2
4
+
1
t+1
_
T =0 T
n
=
_
e
n
2

2
t/ 4
t+1
_

(, t) =

0
2(t+1)
+

n=1

n
e
n
2

2
t/ 4
t+1
cos
n
2
(, 0) =

0
2
+

n=1

n
cos
n
2
= ()
(, t) =
1
2(t+1)
+
2
(t+1)

m=0
(1)
m
2m+1
e
(2m+1)
2

2
t/ 4
cos
(2m+1)
2
.
Ecuaciones Diferenciales II (C - piloto) Soluciones del parcialillo 34 (26/5/09)
1. Resolver el problema plano
_
= 9r , 1<r <2
(1, ) =2sen
2
,
r
(2, ) =0
.
Separando variables en el homogneo aparecen, como sabemos, estas ecuaciones:

+=0 y r
2
R

+rR

R=0.
La que da las autofunciones siempre es , 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
_
= 9r
r
2

0
+r

0
=9r
3
, r
2

n
+r

n
n
2

n
=0 , r
2
b

n
+rb

n
n
2
b
n
=0 , n1 .
Del dato de contorno (1, ) =1cos 2 deducimos que
0
(1) =1,
2
(1) =1 y los otros 0.
Y del otro dato,

n
(2) =b

n
(2) =0 n.
Slo dos de los problemas para las ecuaciones de Euler no tienen solucin trivial:
_
r
2

0
+r

0
=9r
3

0
(1) =1,

0
(2) =0

0p
=Ar
3

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

c
1
+1 = 1
c
2
2
+12=0

0
= r
3
24lnr .
_
Ms largo es hallar
0p
con la fvc:
_
_
_
_
1 lnr
0 1/ r
_
_
_
_
=
1
r
,
0p
= lnr
_
9r
1/ r

_
9r lnr
1/ r
= 3r
3
lnr 3r
3
lnr +
_
3r
2
_
.
_
r
2

2
+r

2
4
2
=0

2
(1) =1,

2
(2) =0

2
= c
1
r
2
+c
2
r
2
c.c.

c
1
+c
2
=1
4c
1

c
2
4
=0

2
=
r
2
17

16
17r
2
.
La solucin (nica) es, por tanto, (r, ) = r
3
24lnr
1
17
_
r
2
+
16
r
2
_
cos 2 .
[Separando en 2, el problema no homogneo se podra mirar como en 1 variable al no depender de :
_

+
1
r

= 9r
(1) =

(2) =0
=r
3
124lnr , y quedara por resolver
_
= 0
(1, ) =2sen
2
,
r
(2, ) =0
.
Como una solucin de la EDP es =r
3
tambin se podra hacer = y acabar en un homogneo].
3. Resolver con transformadas de Fourier
_

tt
3
t
+2

= 0, , t R
(, 0) = () ,
t
(, 0) =0
y deducir la solucin
para () =
2
(comprobando el resultado).
_

tt
+3k
t
2k
2
= 0
(k, 0) =

(k) ,
t
(k, 0) =0

2
+3k2k
2
=0, =k,2k (k, t) = p(k) e
kt
+q(k) e
2kt
c..

_
p(k) +q(k) =

(k) q(k) =

(k)

kp(k)2kq(k) =0 , p(k)

= 2q(k) = 2

(k)
(k, t) = 2

(k) e
kt

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

(k) e
k
_
= () , la solucin (nica) es (, t) = 2 (+t) (+2t) .
En el caso particular de que () =
2
queda = 2
2
+4t+2t
2

2
4t4t
2
=
2
2t
2
.
[Directamente no se poda usar la F por no tener
2
transformada].
Comprobando:
tt
3
t
+2

=4+22=0, (, 0) =
2
,
t
(, 0) =40=0.
2. Sea
_

tt

=0, 0, t R
(, 0) =e

,
t
(, 0) =0
(0, t) =e
t
.
a] Hallar (2, 3) .
[Ayuda: una buena (, t) sale de
separar variables y tomar =1].
Elegir entre:
b
1
] Hallar (, t) , , t 0.
b
2
] Dibujar aproximadamente (, 3) .
a] Busquemos una (mejor que la inmediata =e
t
) que cumpla tambin la ecuacin.
Separando variables:
_
X

+X=0
T

+T =0
=1

X=c
1
e

+c
2
e

T =k
1
e
t
+k
2
e
t
cumple ecuacin y (0, t) =e
t
la
= e
t
=

tt

=0, 0
(, 0) =0,
t
(, 0) =e

(0, t) =0

tt

=0, R
(, 0) =0,
t
(, 0) =g

() (impar)
(2, 3) =
1
2
_
5
1
g

=
impar
1
2
_
5
1
g =
1
2
e

_
_
5
1
=
1
2
_
e
1
e
5
_
(2, 3) =
1
2
_
e
1
+e
5
_
.
[Es bastante ms largo con la mala:
= e
t
=

tt

=e
t
, 0
(, 0) =e

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

_

tt

=F

() , R
(, 0) =

() ,
t
(, 0) =g

()
,
F

, g

impares

=
1
2
_

(1)+

(5)
_
+
1
2
_
5
1
g

+
1
2
_
3
0
_
5
1
F

=
1
2
_
(5) (1)
_
+
1
2
_
5
1
1
1
2
_
1
0
_
5
1
e

1
2
_
3
1
_
5
1
e

= ].
b
1
] La solucin viene dada por (, t) = e
t
+
1
2
_
+t
t
g

, siendo g

() =
_
e

, 0
e

, 0
.
Como, por ejemplo, muestra el dominio de dependencia, hay que distingir dos casos:
Si t , (, t) =
1
2
_
+t
t
e
s
ds =
1
2
_
e
t
e
t
_
(, t) =
e
t
2
_
e

+e

_
= e
t
ch .
Si t , (, t) =
1
2
_
+t
t
e
s
ds =
1
2
_
e
t
e
t
_
(, t) =
e

2
_
e
t
+e
t
_
= e

cht .
b
2
] Para dibujar (sin repetir los clculos de arriba), identicamos la ondas que viajan:
G()
1
2
_

0
g

=
1
2
[1e

], para 0 y es par. G va hacia la izquierda y G a la derecha.