Soluciones de bastantes problemas adicionales 4 de EDII(r)

tt = 0 , 0, t R
n
sen , 12
t (, 0) =

a]

Si g extensin impar de la g inicial, sus ondas viajeras sern:

R
= G (+t) G (t) , con G () = 12 0 g

0 en [0,1][2,)

(2011)

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

La grfica de G sale de observar que si [0, 1] debe ser 0 (se anula el

R2


integrando), que si 2 ha de ser constante = 12 1 sen d , que entre 1

y 2 ser decreciente y que ser par G por ser la primitiva de una impar.
Trasladando G a la izquierda y G a la derecha y
sumando ambas grficas se obtienen los dibujos de las
soluciones. Y se ve como es la solucin para t posteriores: la hondonada se ir trasladando hacia la derecha.
Estos dibujos concuerdan con el del dominio
de influencia de la derecha, ya que deba ser
= 0 fuera de la regin sombreada.
Demos la expresin analtica de (3, t) , t 0 (en la
discusin son tiles los dominios de dependencia):
R2
1
Si t 1 si t 5 , = 0 ; si t [1, 2] , = 12 t3 sen d = 2
[1+cos t] ;
R
1
1
[1+cos t] .
si t [2, 4] , = 1 ; si t [4, 5] , = 1 12 t3 sen d = 2

(3, t) = G (t +3)G (t 3)
tiene el mismo dibujo de arriba, en funcin de t .

b]

tt = 0 , [0, 4], t R
n
sen , 23
(, 0) =
0 resto de [0,4]

t (, 0) = (0, t) = (4, t) = 0

(3, t) =

= 0 , R
tt

(, 0) = ()
, = 21 (+t) + 12 (t) .

t (, 0) = 0

(3+t)+ (3t)
2

= 12 (t +3) 21 (t 3)

= 0 , [0, 1], t R
tt

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

a] = sen t ,
=

= sen t , [0, 1]
tt

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

f*

x-2
3

1
0

-1

Extendemos de forma impar y 2-peridica a ()

tt = () sen t
R1
R 1/ 2R 1
es la solucin de (, 0) = 0
( 21 , 12 ) = 12 sen 12 12 0 s ds+ 12 0
s sen ds d = 0

()
1

(,
0)
=

t
!
[Un punto a distancia 2 de donde agitamos, an debe estar parado].
1/2

s= !

s=1- !

1/2

1
!

f*=x

= 21

f*=x-2

1
s=2- !

s= !

+
-1

1/2

3
21
2

R2

1
Separando variables se encuentra una mejor: = sen
sen t sen
1

3/2

s=-1+ !

R 3/ 2
R 2
(s) ds+ 12 0 sen 1 (s) ds d
R1
R
R 3/ 2
R 2
sen 23 + 14 + 12 0 sen 1 s ds d + 12 1 sen 1 s ds d = sen 1

( 21 , 23 ) = 21 sen

s
2

[satisface las c.c. y la ecuacin].

sen
tt = 0 , t (, 0) = sen
1
=
(, 0) = (0, t) = (1, t) = 0
R 1 sen s
sen2 (1/ 2)
( 12 , 12 ) = sen 1 + 12 0 sen
ds = 0 ,
1

( 12 , 32 )

sen(1/ 2) sen(3/ 2)
sen 1

1
2

R0

sen s
1 sen 1

ds = sen 1 .

R


Para dibujar usaramos las ondas viajeras: G() = 0 g y G() .

1
1

-1
0

g*
3
2

x
____
- sen
sen 1

-1

-G

G
cos
1-1
______
2 sen 1

tt = 0 , [0, 2], t R
(, 0) = t (, 0) = 0
(0, t) = (2, t) = t 2

siendo F () =

=+
a] = t 2

tt = 2 , [0, 2]

tt = F () , R
(, 0) = t (, 0) = 0

(, 0) = t (, 0) = 0
(0, t) = (2, t) = 0

2 , (4, 2)(0, 2)(4, 6)

2 , (2, 0)(2, 4)

Por la imparidad de F respecto a 0 y a 2 se cancela su integral

sobre los tringulos oscuros, con lo que slo basta evaluar la integral
de 2 en el triangulillo de arriba [que ser (2) por su rea]:
R 3R 4
R 3R 4
(1, 3) = 12 0 2 F = 21 2 2 (2) = rea 4 = 1 (1, 3) = 8 .
b] Una que cumple tambin la ecuacin es = t 2 +2 2 . Haciendo = :

tt = 0 , [0, 2]
tt = 0 , R
(, 0) = 22 , t (, 0) = 0 (, 0) = () (impar y 4-peridica)
t (, 0) = 0
(0, t) = (2, t) = 0
 1

1

(1, 3) = 2 (4)+ (2) = 2 (0) (2) = 0 (1, 3) = 9+12 = 8 .

c] Tras el cambio de b], copiando de los apuntes: (, t) =

(1, 3) =

X
n=1

X
n=1

kn cos nt
sen n
, con kn =
2
2

R2
0

(22 ) sen n
d
2

kn cos 3n
sen n
= 0 (o el coseno o el seno se anulan), como antes.
2
2


X
X
2 2

Ms largo con el cambio de a]: (, t) =
Tn (t) sen n

Tn00 + n 4 Tn sen n
= 2
2
2
n=1
n=1
R
2 2
2
4
d = n
[cos n 1] , con Tn (0) = Tn0 (0) = 0
Tn00 + n 4 Tn = Bn , Bn = 2 0 sen n
2

Tn = c1 cos

nt
n
+c2 sen nt
+ n4B
2 2
2
2

(1, 3) =


d.i.
32
T2n 0 , T2n1 = (2n1)
3 3 1cos

X

(2n1)
3(2n1) 
1
32
sen
1cos
2
2
3
(2n1)3

n=1

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

(2n1)t 
2

32 X (1)n
= 1
3
(2n1)3
n=1
apuntes

i
.

a] Busquemos una (mejor que = et ) que cumpla tambin la ecuacin.

X 00 +X = 0
T 00 +T = 0

=1

X = c1 e +c2 e
cumple ecuacin y (0, t) = et
T = k1 et +k2 et

tt = 0 , 0

tt = 0 , R
(, 0) = 0 , t (, 0) = e
(, 0) = 0 , t (, 0) = g() (impar)
(0, t) = 0
R5
R5
5




(2, 3) = 21 1 g = 12 1 g = 12 e 1 = 12 e1 e5 (2, 3) = 21 e1 +e5 .

= et

impar

[Es bastante ms largo con la mala:

tt = et , 0
=
t
= e

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

tt = F () , R
F , , g
, impares

(, 0) = () , t (, 0) = g ()
R5
R 3R 5

1
= 2 (1)+ (5) + 12 1 g + 21 0 1 F
R5
R 1R 5
R 3R 5


= 12 (5) (1) + 21 1 1 12 0 1 e 12 1 1 e = ].
1

R +t

b] La solucin es (, t) = et + 2
g , siendo g() =
t

R +t
Si t , = 21 t es ds =
R +t
Si t , = 21 t es ds =


1  t
e
et
2

e , 0
e , 0


et 
e +e =
2

et ch .




1
et et (, t) = e2 et +et = e ch t .
2
(, t) =

c] Para dibujar (sin repetir clculos de arriba), identificamos la ondas viajeras:

G()

R
1
g = 21 [1 e ],
2 0

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

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

Como hay que extender y g de forma par respecto al origen:



Para que sea C2 debe ser: C2 , g C1 , 0 (0) = g 0 (0) = 0 ( 0 y g 0 son impares, y 00 es par) .

c2 [ +yy +zz ] = 0
(, y, z, 0) = (, y, z)
t (, y, z, 0) = 0

tt

b] (, y, t) =

a] (, y, z, t)
R 2R

 t
= t
(+y+z+ct[sen cos +sen sen +cos ]) sen d d
4 0
0
= +y+z

R 2R
 t


(+y+ct sen [cos +sen ]) sen d d = +y
i
h R 2R ct
r(+y) + r 2 (cos +sen ) dr d
1

p
= +y
O bien: (, y, t) = 2c
t 0
0
2 2
2
t

c t r

c] (, t) =

11

 t
t 4

R 2R
0


(+ct sen cos ) sen d d = , o mejor: (, t) =

1
[(+ct)+(ct)] =
2

tt = 0 , r R
tt = 0 , r 0

4
(r, 0) = 6r, t (r, 0) = 5r (r, 0) = 6r = (r)n 4

3
5r , r 0
(r, 0) = 6 , t (r, 0) = 5r
t (r, 0) = g(r) = 5r 4 , r 0
(0, t) = 0
R r+t
R5
R5





1 
(r, t) = 2r
(r +t)+ (r t) + rt g (2, 3) = 14 (5)+ (1)+ 1 g = 41 306+ 1 5s4 ds = 787 .

tt rr +

2

r r

= 0, r 0

=r

Con la frmula [pk] lo calculamos en el punto ms sencillo situado a distancia 2 , el (0, 0, 2) :

R R
R1
3 2
5(13+12 cos )3/ 2 sen d d = 6 + 15
(13+12s)3/ 2 ds
(0, 0, 2, 3) = 6 + 4
2
0
0
1

n
1

=0
= 6 + 14 (13+12s)5/ 2 1 = 787
sin cuentas, claramente satisface = 6, = 0

12

tt = 0 , 0, t R
(, 0) = 0 , t (, 0) =

62
1+3

, (0, t) = 0

a] La solucin para es (, t) =

1
2

R +t
t

r
tt rr 2
= 0 , r 0, t R
r

6r
(r, 0) = 0 , t (r, 0) = 1+r
3

g (s) ds , siendo g la

extensin impar de 62 / (1 + 3 ) respecto a = 0 . En particular,

R5
5
g imparR 5 3s2 ds
= log(1+s3 ) 3 = log 92
(1, 4) = 12 3 g (s) ds =
3 1+s3


Mximo de g


en 21/ 3 , 25/ 3

[No ha sido necesario conocer la expresin de g para 0 ].

Como con = r el problema en se transforma en el problema en

R r+t
1
(cambiando r por ), la solucin para es: (r, t) = 2r
g (s) ds
rt

9
2

(1, 4) = (1, 4) = log

b] (1, t) tendr dos expresiones distintas, dependiendo de que 1t sea mayor o menor que 0 :
R 1+t
1+t
1+(1+t)3
Si t 1 , (1, t) = 21 1t g = log(1+s3 ) 1t = log 1+(1t)3
Si t 1 , (1, t) =
(

13

tt rr +

2

r r

1
2

R 1+t
1t

= 0 , r 0

2
(r, 0) = 4+r
2 , t (r, 0) = 0

g impar 1
=
2

R 1+t
t1

g = log(1+s3 )

1+t
t1

1+(1+t)3
1+(t1)3

= log

tt rr = 0 , r 0
a] = r

2r
(r, 0) = 4+r
2 2F(r) ya impar

t (r, 0) = 0 , (0, t) = 0

 tt rr = 0 , r R

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

7
148



 3 1
 3 1
1
5 = 20
, (7, 5) = 17 37
+4 =
(r, t) = 1r F(r +t)+F(r t) (1, 5) = 11 20

. (0, t) = 2F 0 (t) =
(apuntes)

2(4t 2 )
2
(4+t 2 )

b] Es fcil trazar aproximadamente (r, 5) llevando la onda viajera F(r) a derecha e izquierda y sumando.
[En 0 debe valer 0 . En 5 vale lo que
la de puntos. En 3 y 7 decrece, por ser
suma de una funcin con derivada 0 y
otra con derivada negativa].

De este dibujo sale ms o menos el de (r, 5) [al dividir por r se estira

verticalmente cerca del origen y se pega al eje para
 r grandes]. Tenemos

adems hallados tres valores: en 1, en 7 y en 0 (0, 5) = 42/ 841 .
Sorprendentemente, (r, 5) tiene una expresin sencilla:
h 4+(r5)2 [r+5]+4+(r+5)2 [r5] i
2[r 2 21]
d



(r, 5) = 1r
(r, 5) =
= 2
dr
2
2
2
4+(r+5)

4+(r5)

[r 21] +400

4r(r 2 1)(r 2 41)

2
(r 4 42r 2 +841)

1
41 , 5 = 20
.

tt rr = 0 , r 0, t R
tt rr 2r r = 0 , r 0, t R

2
r , r [0, 2]
2r , r [0, 2]
14 (r, 0) = 2r
(r, 0) = 0 en el resto (r)
0 en el resto

t (r, 0) = (0, t) = 0
t (r, 0) = 0

tt rr = 0 , , t R
con F extensin impar de F respecto del origen.
(r, 0) = F (r) , t (r, 0) = 0






(lo dira el dominio
a] (r, t) = 12 F (r +t)+F (r t) (6, 3) = 12 F (9)+F (3) = 12 F(9)+F(3) = 0
de influencia).



1
1
1
1
(2, 3) = 2 F (5)+F (1)
=
F(5)F(1) = 2 [01] = 2 .
2

F impar

Y como (r, t) =

(r,t)
r

, es: (4, 3) =




1 
F (7)+F (1) = 18 F(7)+F(1) =
24

1
8

1
F (r)
2

b] Basta trasladar
tres unidades a izquierda y derecha y
sumar en r 0. La que va hacia la izquierda se sale de [0, )
y slo queda la mitad de la F trasladada a [1, 5] :
Para dar la expresin de (r, 3) aparecen 4 posibilidades,
como se ve en el dibujo de los dominios de dependencia.
0 si [0, 1]

(r 3) + 1 (r 3)2 = 1 (r 1)(r 3) si r [1, 3]

2
2
1
1

(r 3) 2 (r 3)2 = 2 (r 3)(r 5) si r [3, 5]

0 si [5, )

(r, 3) =

[Coherente con los dos primeros valores de a] y el dibujo].

c] La grfica de (r, 3) = 1r (r, 3) tendr su mximo en un punto de [3, 5] donde su expresin es:
p
p
d/ dr
1
(r +8 15
) 12 (1+ 15
) = 0 r = 15 (algo < 4 ) Valor mximo = 4 15 .
2
r
r2
[Este valor ( 0.127 ) es un poquito mayor que el valor calculado en a] de (4, 3) = 1/ 8 = 0.125 . Al dividir
por r el mximo de se traslada un poquito a la izquierda de 4 y vale un poco ms que el valor ah].

15

t 2 = 0 , R , t > 0
2

(, 0) = e / 2
2

a] F [e ] = p1 ek
2

, acotada

t2kt d..

(k,
t) = ek

i
h
2 1
pues F 1 ek 2 +t = p 1

(k,
t) = p(k) ek

1
+t
2

e2kt

1+2t

/ (4t+2)

2
/ 4 =1/

ek

(, t) =

/2 :

1
1+2t

t + (k 2 +2k)
=0

(k,
0) = ek / 2

e(+2t)

/ (4t+2)



y F 1 (k) ek = () .

b] = ept eq t = [p+t ] ept+q , = [q+ ] ept+q , = [q2 +2q + ] ept+q

t (2q+2) + (pq2 2q) = 0 si q = p = 1 queda el calor. As pues:

Z
t = 0
formulario
2
2
ess / 2 e(s) / 4t ds .

= p1
= et+
21 2
2 t
(, 0) = e
R
p
2
Para evaluar la integral completamos cuadrados buscando ep dp = :
p

2
hp
i2
2t+1 s p+2t
2
(2t+1)s2 2(+2t)s+2
(+2t)2
2
2t+1 s
+2t
2t+1
p
p

+
=

22t


p
2
4t
4t
4t(2t+1)
4t+2
2
2 t

2 t

p ds , tenemos:
Llamando p al ltimo corchete, con lo que dp = 2t+1
2 t
Z
p
2
2
2
ep dp = p 1 e( 22t)/ (4t+2) .
= p1 p2 t e( 22t)/ (4t+2)
2 t 2t+1
2t+1

16

(s)
2
1
p
ess e 4t
2 t

As pues:
Directamente
con la F :

a]

dt
d

1
2t

t 2 = K ,

1
1+4t

et

(+2t)2
1+4t

2 t
4t+1

= (t 2 +1) e2t

[No hay problemas de

unicidad: = 1 ].

= t 2
= 2 , = p() e2 = p(t 2 ) e2 (, 1) = p(1) e2 = ()
=

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

2
2
= t 2
= 4 , = p() e2 = p(t 2 ) e2t
=t

(, 1) = p(1)e2 = () p() = (+1) e2



2
p
k 2 (1+4t)
k 2 (1+4t)

t = (+2k +k 2 )

t

4
= ep e2kt e
, y como F 1 e 4
= p 2 e 1+4t ,

1 k 2 / 4
1+4t
2

(k,
0) = p e

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

O bien,

t
t
2
2
z=
1
p e 4t+1
e() ds = p1 p 1 e 4t+1
ez dz = p 1
4t+1
4t+1
2 t

p
p
2
2
2
2

+2t
4ts +s 4ts2s+
t
p p p
, ds = p2 t dz
= 2 4t+1
, si = s 4t+1
4t
4t+1
2 t
2 t 4t+1
>1
 2 4tt4(1+)t 2 
=p 1
cuando t .
exp
4t+1
0
4t+1
1

ds =

llegamos de nuevo a la expresin de antes: = p

17

= et lleva a lo de arriba.

En el problema 1.9 vimos que = ep eqt , con p = 1 , q = (1+) ,

2
lleva a t = 0 . Y el dato inicial pasa a ser: (, 0) = e .

t 2 + = 0
=

2t +t

+2

como antes.

t 2kt
= 4t

2
2 d..
2
2

(k,
t) = p(k) ekt 2t p(k)ek+2 = (k) , (k,
t) = (k) ek(t 1) e2t 2

(k,
1) = (k)
h
i
2
2
2
(, t) = e2t 2 F 1 (k) ek(t 1) = (t 2 +1) e2t 2 .

b]

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

R
R
= 1t
= g() , = p() 0 g(s) ds = p( 1t ) 0 g(s) ds .
=
R
R +1
R 1 +1
p(1) 0 g = 0 p() = 0
g (, t) = t
g(s) ds .

 2
|| s=
R0
p
 1 ek( 1t 1) 

t k
= g(k)
t
1 en [ 1t 1, 0 ]

= g(k)

.
Si
h()
=
, = 2 gh = 1 1 g() d
k
k

(k,
1) = 0
0 en el resto
t

18

a]


b]

t 2t = 0
(, 0) = 0

t = ()
(, 0) = 0

t +2tk 2
=0

2 2
p
= p(k)et k
=

(k,
1) = 1/ 2

t +k 2
=

(k,
1) = 0

R 1ek 2 t

1
p
2
k 2 t

1ek t
p
k 2 2

1
2

2 2
1
p
et k
2

2
2
1
p e / 4t
2 t

R 1ek 2 t
ek dk , difcil en general, pero:

k2

hR
i

t
1
k 2 t dk = t
k 2 t dk = p
s ds .
e
=
e
e

t

R

=
0
2

||
1
Para evitar la : = 2 cumple la ecuacin, =
|s| e(s) / 4t ds
|| = p
4 t
(, 0) = 2

R
R
1
t s2 / 4t 
t
s2 / 4t ds = p
s2 / 4t ds =
(0, t) = p1
|s|e
se
e
=
.

(0, t) =

1
2

k2

4 t

dk = 1e
2k

4 t

19

Dos subproblemas;
el primero con 0 .
p

p R
2
2 t
= p2 g(t)
t +k 2

k
(ts)
= p 0 g(s) e
ds

(k,
0) = 0
Zt
2
R R t
R R

g(s)
4(ts)
k 2 (ts) ds cos k dk = 2 t g(s) ek 2 (ts) cos k dk ds = p1
g(s)
e
e
1 = 2 0
ds
p
0 0
0


t = 0 , , t > 0
(, 0) = (), (0, t) = g(t), acotada

ts

Para el otro subproblema con g 0 consideramos , extensin par de respecto a 0 , y resolvemos:


Z

2
t = 0 , R
es (2 ) (0, t) = 0 , por ser 
2 = p1
(s) e(s) / 4t ds

su integrando impar en s .
2 t
(, 0) = ()
apuntes

La integral de 2 se puede escribir de forma que slo dependa de la inicial:
Solucin total
Z
Z0
Z


2
2
2
2
= 1 +2
(s) e(s) / 4t ds +
(s) e(s) / 4t ds = (s) e(s) / 4t +e(+s) / 4t ds .

20

tt = 0 , 0, t 0
(, 0) = t (, 0) = 0, (0, t) = sen t
sen t cos + 12

R +t

t
R0
sen t cos + 12 t

i) (, t) =

=sen t cos

tt = 0
t (, 0) = cos
(, 0) = (0, t) = 0

( cos s) ds = 0 , t
R +t
cos s ds 12 t cos s ds = sen(t ) , t

p
sen(t+k) t
2 1
1  sen(tk)
p
p

=
[k sen t sen kt] .
sen(t
)
sen
k
d
=
1k
1+k
0
0
k 2 1
2
p

p
2
2
c..
p
t
s
tt + k = k sen t ,
p = A sen t
= p(k)ekt +q(k)ekt + p2 kksen
Directamente:
2 1

s =
ii)

p
2
p

Rt

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

21



1
1
G = 2
ln PQ0 = 4
ln ()2 +(y)2
= F(, y), R, y > 0
PQ


1
(, 0) = ()
4
ln ()2 +(+y)2 .


y
Gn =0 = G =0 = 1 ()2 +y2

(, y) =

() d

()2 + y 2

Z Z

ln

()2 +(y)2
()2 +(y)2

F(, ) d d

yy k 2
=0

= p(k) eky +q(k) eky = (k) ek|y|

(k,
0) = (k)
%
[elegimos p 0 si k > 0 y q 0 si k < 0 para que exista la transformada inversa]
q
Z
Z0
q

1


y
y
2
k(y+)
k(y)
k|y|

= 2 y2 +2 ( lo de antes).
e
dk +
e
dk = 2 2
e
=p


Si F 0 con transformadas de Fourier:

F 1

y +

tt +2
t +(1+k 2 )
=0

t (k, 0) = 0
(k,
0) = (k),
h
i
kt
d..
ekt
= p(k)e(1+k)t + q(k)e(1k)t
= 21 et (k) ekt + ekt + e 2k

n
p


1 , || < t
= 21 et (+t)+ (t)+ 2 ()h() , con h() = 0 en el resto .
Rt
R +t
p


=sR +t
2 h = t () d = t (s) ds = 12 et (+t)+ (t)+ t (s) ds .
n = 0 , , t R
tt

% DAlembert
Haciendo = et se llega a
(, 0) = t (, 0) = ()


22

a]

tt +2t + = 0 , , t R
(, 0) = (), t (, 0) = 0

Con la F :

La solucin es suma de dos ondas viajeras que se amortiguan exponencialmente. Si llamamos


R
sen , [0, 1]
F() = 12 0 , hacia la izquierda va 12 +F y hacia la derecha 21 F . Para () = 0 , en el resto

(0, 3) =

b]

tt +2t + = 0 , 0 < < 1, t R

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

R +t
1 t 
e
sen (+t)+sen (t)+ t
2

Separando variables:
(, 0) =

X
1

1
e3

Extendiendo sen impar respecto a 0 y 1 (ya lo

est) se cumplen las condiciones de contorno:




sen (s) ds =
sen cos t + 1 sen sen t et

X 00 +X = 0 , X(0) = X(1) = 0 n2 2 , Xn = {sen n}, n = 1, 2, . . .

T 00 +2T 0 +(1+)T = 0, T 0 (0) = 0

Tn

= {et (sen nt +n cos nt)}

cn n sen n = sen c1 = 1 y los otros cn = 0 =

cn Tn Xn

et (sen t +n cos t) sen