MAT024 - MATEM ÁTICAS IV

Pauta Matemáticas IV - MAT024

Tema: EDP

Problema 1.
Obtenga la solución de la siguiente ecuación diferencial parcial


 utt = uxx 0 < x < π, t > 0,

 u(0, t) = u(π, t) = 0 t > 0,

 u(x, 0) = 2 sen(3x) 0 < x < π,

ut (x, 0) = 0 0 < x < π.


D ESARROLLO
Como es usual, procederemos por el método de separación de variables, por lo que sea u(x, t) =
X(x)T (t). En este caso,

1 T ′′ X ′′
utt = uxx ⇐⇒ XT ′′ = X ′′ T / ⇐⇒ = ,
XT T X
y como una parte depende del tiempo y otra del espacio, concluimos

T ′′ X ′′
= = −λ
T X
de donde,
{T ′′ + λT = 0 , {X ′′ + λX = 0.

Para encontrar las condiciones de borde, notemos que

0 = u(0, t) = X(0)T (t), 0 = u(π, t) = X(π)T (t), ∀t > 0,

de donde,
0 = X(0) = X(π)

Por ende, tenemos   ′′

  X + λX = 0
T ′′ + λT = 0 , X(0) =0 .
X(π) =0
 

El problema espacial es un Sturm-Liouville, que tiene por soluciones

 nπx   nπ 2
Xn (x) = sin , λn = , n∈N≥1
L L

El problema espacial es un Sturm-Liouville, que tiene por soluciones

 nπx   nπ 2
Xn (x) = sin , λn = , n∈N≥1
L L

1
MAT024 - MATEM ÁTICAS IV

En este caso L = π, por lo que en realidad tenemos

Xn (x) = sin(nx), λn = n2 , n ∈ N≥1 .

Para resolver la parte temporal, en este caso tenemos

Tn′′ + n2 Tn = 0 ⇒ D2 + n2 I Tn = 0 ⇒ D2 + n2 = 0 ⇒ D2 = −n2 ,

de donde
D = ±in
y por ende
Tn (t) = An sin(nt) + Bn cos(nt).

De este modo, obtenemos que

∞
X ∞
X
u(x, t) = Tn (t)Xn (x) = (An sin(nt) + Bn cos(nt)) sin(nx).
n=1 n=1

Para encontrar las condiciones iniciales, notamos primero que

∞
X
2 sin(3x) = u(x, 0) = Bn sin(nx)
n=1

de donde
B3 = 2, Bn = 0 ∀n ̸= 3.

Similarmente, notamos que

∞
X
ut (x, t) = (nAn cos(nt) − nBn sin(nt)) sin(nx),
n=1

de donde ∞
X
0 = ut (x, 0) = nAn sin(nx),
n=1

por lo que necesariamente An = 0 para cada n. De este modo,

u(x, t) = 2 cos(3t) sin(3x).
Problema 2.

Hallar u = u(x, t) tal que



 ut + u = cos(t)uxx 0 < x < 1, t > 0,

u(0, t) + u(1, t) = 0 t>0

 ux (0, t) = 0 t>0

u(x, 0) = h(x) 0 < x < 1.


2
MAT024 - MATEM ÁTICAS IV

con
0 < x ≤ 21

0 si
h(x) = π 1
2
si 2
≤x≤1

Indicación: Considere λn = π 2 (1 + 2n)2 , Xn (x) = cos(π(1 + 2n)x), n = 0, 1, 2, · · · , valor propio y

función propia del problema de Sturm -Liouville asociado al problema.
D ESARROLLO
Solución. Ocupando el método de separación de variables, sea u(x, t) = X(x)T (t). Entonces,

1
ut + u = cos(t)uxx ⇐⇒ XT ′ + XT = cos(t)X ′′ T /
XT
T′ X ′′
⇐⇒ + 1 = cos(t)
T X
T′ 1 X ′′
⇐⇒ + = .
cos(t)T cos(t) X

Dado que el lado izquierdo solo depende del tiempo, y el derecho solo del espacio, podemos
concluir que
T′ X ′′

1
+ = −λ, = −λ.
cos(t)T cos(t) X

Acomodando la ecuación, obtenemos que

{T ′ + (1 + λ cos(t))T = 0 {X ′′ + λX = 0.

Para encontrar las condiciones de borde en X, notamos que las condiciones de borde la EDP nos
dicen que
0 = X(0)T (t) + X(1)T (t) = (X(0) + X(1))T (t) ∀ > 0,
por lo que necesariamente
X(0) + X(1) = 0.

Por otro lado, como

0 = X ′ (0)T (t) ∀t > 0,
entonces X ′ (0) = 0. En resumen, obtuvimos
  ′′
  X + λX = 0
T ′ + (1 + λ cos(t))T = 0 X(0) + X(1) = 0.
 ′
X (0) = 0


Ocupando la indicación, tenemos que

λn = π 2 (1 + 2n)2 , Xn (x) = cos(π(1 + 2n)x), n ∈ N≥0 .

3
MAT024 - MATEM ÁTICAS IV

Ahora debemos resolver la ecuación en tiempo, por lo que notamos que

Tn′ + (1 + λn cos(t)) Tn = 0,

por lo que esta ecuación es una EDO separable, por lo que obtenemos que

Tn′
Tn′ = − (1 + λn cos(t)) Tn → = − (1 + λn cos(t))
Tn Z
dTn
⇒ = − (1 + λn cos(t)) dt /
dT
⇒ ln |Tn | = −t − λn sin(t) + C/ exp
2 (1+2n)2
⇒ Tn (t) = An e−t−λn sin(t) = An e−t−π sin(t)
.

Por tanto, nuestra solución u(x, t) estará dada por

∞ ∞
2 (1+2n)2
X X
u(x, t) = Tn (t)Xn (x) = An e−t−π sin(t)
cos(π(1 + 2n)x)
n=0 n=0

Para encontrar los coeficientes An , impongamos las condicioes de borde, y para ello notemos que
∞
X ∞
X
h(x) = u(x, 0) = Tn (t)Xn (x) = An cos(π(1 + 2n)x)
n=0 n=0

Por tanto, los coeficientes {An } estarán dados por la serie de Fourier de h. Explı́citamente,
Z L Z 1
2 2
An = h(x) cos(π(1 + 2n)x)dx = h(x) cos(π(1 + 2n)x)dx
L 0 1
Z 01
π
=2 cos(π(1 + 2n)x)dx
1/2 2
1
sin(π(1 + 2n)x)
=
1 + 2n 1/2
1
= (−(−1)n )
1 + 2n
(−1)n+1
=
1 + 2n

Por tanto,
∞
X (−1)n+1 2 (1+2n)2
u(x, t) = e−t−π sin(t)
cos(π(1 + 2n)nx).
n=0
1 + 2n

Problema 3.

4
MAT024 - MATEM ÁTICAS IV

Encuentre la solución u(x, t) de la siguiente ecuación diferencial en derivadas parciales:

u

ut = uxx − 1+t ; 0 < x < 2, t > 0
ux (0, t) = ux (2, t) = 0,

y tal que (
1, 0 ≤ x ≤ 1
u(x, 0) =
0, 1 < x ≤ 2

D ESARROLLO
Ocupemos el método de separación de variables, ie, u(x, t) = X(x)T (t). En dicho caso,

ut = X(x)T ′ (t), uxx = X ′′ (x)T (t),

y por ende,
XT 1
XT ′ = X ′′ T − /
1+t XT
T′ X ′′
1
⇒ = −
T X 1+t
T′ 1 X ′′
⇒ + = , ∀t > 0, ∀x ∈ (0, 2).
T 1+t X

Como lo anterior ocurre para cualquier tiempo, necesariamente

T′ 1 X ′′
+ = −λ, = −λ,
T 1+t X
es decir,  
′ 1
T + + λ T = 0, X ′′ + λX = 0.
1+t

Para las condiciones de borde, tenemos que

X ′ (0)T (t) = X ′ (2)T (t) = 0, ∀t > 0,

por lo que necesariametne X ′ (0) = X ′ (2) = 0. Concluimos, por tanto, que tenemos las siguientes
EDOs:     ′′
′ 1 X + λX = 0
T + +λ T =0 ,
1+t X ′ (0) = X ′ (2) = 0

Para resolver la ecuación en X, notemos que este es un problema de Sturm-Liouville, que, según el
apéndice, tendrá solución
 nπ   nπ 2
Xn (x) = cos x , λn = , n ∈ N ≥ 0.
2 2

5
MAT024 - MATEM ÁTICAS IV

Para resolver la ecuación en tiempo, notemos que esta es una EDO de variables separables, por lo
que podemos dejar T a un lado de la ecuación y t al otro lado. Explı́citamente, dado que para cada
λn tenemos una ecuación, podemos escribir

Tn′
  Z
1
=− + λn /
Tn 1+t

y por ende
Z Z  
1 1
ln |Tn | = − dt − λn dt = − ln |1 + t| − λn t + C = ln − λn t + C.
1+t 1+t

Aplicando exponencial a ambos lados, concluimos que

1 −λn t 1 −( nπ 2
Tn (t) = An e = An e 2 ) t.
1+t 1+t

Por ende, la solución general de la EDP estará dada por

∞ ∞
1 −( nπ 2  nπ 
e 2 ) t cos
X X
u(x, t) = Tn (t)Xn (x) = An x .
n=0 n=0
1+t 2

Para encontrar los coeficientes An , ocupemos la condición inicial. Explı́citamente,

∞  nπ  
X 1, 0 ≤ x ≤ 1
An cos x = u(x, 0) = .
2 0, 1 < x ≤ 2
n=0

Por ende, debemos encontrar la expansión en serie de Fourier de la función por partes de la
derecha, que llamaremos f (x). En particular, como L = 2 − 0 = 2, tenemos que

1 2 1 2
Z 1 Z 2
1 1
Z Z  Z
1 1
A0 = f (x)dx = f (x)dx = f (x)dx + f (x)dx = 1dx = ,
L 0 2 0 2 0 1 2 0 2
y que
Z 2 Z 1 1
2  nπ   nπ  2  nπ 
An = f (x) cos x dx = cos x dx = sin x
L 0 2 0 2 nπ 2 0
2  nπ 
= sin
nπ 2
Notemos que esta última expresión es nula si n es par, por lo que supongamos que n es impar y
escribamoslo de la forma n = 2k + 1 con k ≥ 0. En dicho casi,
(
2  π 2 −1 si k es impar.
An = a2k+1 = sin kπ + =
(2k + 1)π 2 (2k + 1)π 1 si k es par

6
MAT024 - MATEM ÁTICAS IV

es decir,
2
A2k+1 = (−1)k
(2k + 1)π

Por tanto, obtenemos que

∞  
1 X 2 1 −( (2k+1)π 2
) t cos (2k + 1)π
u(x, t) = + (−1)k e 2 x
2 k=0 (2k + 1)π 1+t 2