Problemas resueltos de

AMPLIACIN DE MATEMTICAS
Ingeniera Industrial.
Departamento de Matemtica Aplicada II. Universidad de Sevilla
Ecuaciones en derivadas parciales: Transformadas Integrales
Problemas de Contorno resueltos mediante las transformadas integrales
de Fourier, seno y coseno de Fourier, y de Laplace.
Ejemplo 1. Resolveremos la ecuacin del calor en una barra innita conociendo la distribucin
inicial de temperatura en la barra, usando la transformada de Fourier, para lo que suponemos se dan
las hiptesis necesarias:
u
t
ku
xx
= 0, < x < , t > 0
u(x, 0) = f(x), < x <
lim
x
u(x, t) = 0, uniformemente en t para t > 0
Solucin:
Efectuaremos la transformada de Fourier respecto a la variable espacial x. Sea
b u = b u(w, t)) =
Z

e
iwx
u(x, t) dx
Entonces tenemos
b u
t
=
Z

e
iwx
u
t
(x, t) dx =

t
Z

e
iwx
u(x, t) dx

= b u
t
c u
xx
= (iw)
2
b u = w
2
b u
con lo que la ecuacin se transforma en
b u
t
+ kw
2
b u = 0.
La condicin inicial se traduce en
b u(w, 0) =
Z

e
iwx
u(x, 0) dx =
Z

e
iwx
f(x) dx =
b
f(w)
Tratando w como un parmetro y poniendo b u(w, t) = z(t) nuestro problema se reduce a integrar la
ecuacin diferencial ordinaria z
0
+ kw
2
z = 0 con la condicin inicial z(0) =
b
f(w). Resulta entonces
z = z(t) = z(0)e
kw
2
t
=
b
f(w) e
kw
2
t
= b u(w, t)
y basta antitransformar respecto de w. Para ello notemos que, poniendo bg(w, t) = e
kw
2
t
, su anti-
transformada es
g(x, t) = F
1
(bg(w, t)) = F
1

e
ktw
2

=
1

4kt
e

x
2
4kt
y la solucin pedida queda, utilizando el producto de convolucin respecto de x,
u(x, t) = f(x) g(x, t) =
Z

f(u)g(x u, t) du
=
Z

f(u)
1

4kt
e

(xu)
2
4kt
du =
1

4kt
Z

f(u) e

(xu)
2
4kt
du
1
Nota: La funcin
1

4kt
e

(xu)
2
4kt
se llama funcin de transferencia.
CONFRONTAR con Ejemplo 14
Ejemplo 2. Resolveremos a continuacin la ecuacin del calor en una barra semiinnita cono-
ciendo la distribucin inicial de temperatura y manteniendo constante la misma a lo largo del tiempo
en el extremo nito:
u
t
ku
xx
= 0, x > 0, t > 0,
u(x, 0) = f(x), x > 0,
u(0, t) = T
0
, t > 0.
Solucin:
Utilizaremos la transformada seno de Fourier en la variable x, por lo que la solucin que encon-
traremos es la que tiende a cero uniformemente en t para x tendiendo a innito. Pondremos
F
s
(u(x, t)) =
Z

0
u(x, t) sen wx dx = b u(w, t) = b u
F
s
(f(x)) =
Z

0
f(x) senwx dx =
b
f(w)
Tenemos entonces
b u
t
=
Z

0
u
t
(x, t) senwx dx =

t
Z

0
u(x, t) sen wx dx

= b u
t
c u
xx
= wu(0, t) w
2
b u = T
0
w w
2
b u
y la ecuacin junto con las condiciones dadas se transforman en
b u
t
+ kw
2
b u = kT
0
w, b u(w, 0) =
b
f(w)
Tratando w como un parmetro y poniendo b u(w, t) = z(t) nuestro problema ha quedado reducido a
integrar la ecuacin diferencial ordinaria de primer orden z
0
+ kw
2
z = kT
0
w con la condicin inicial
z(0) =
b
f(w). Una solucin particular de la ecuacin es z
p
= cte =
kT
0
w
kw
2
=
T
0
w
y la solucin general
z = ce
kw
2
t
+ z
p
= ce
kw
2
t
+
T
0
w
.
Para determinar c utilizamos z(0) =
b
f(w) = c +
T
0
w
resultando
b u = b u(w, t) =

b
f(w)
T
0
w

e
kw
2
t
+
T
0
w
.
Utilizando la frmula de inversin queda
u = u(x, t) =
2

Z

0
b u(w, t) sen wx dw
=
2

Z

0

b
f(w)
T
0
w

e
kw
2
t
+
T
0
w

sen wx dw.
Notas:
1. Si, por ejemplo, fuese f(x) = e
x
, T
0
= 1, k = 1 habra sido
b
f(w) = F
s
(e
x
) =
w
1 + w
2
y sera

b
f(w)
T
0
w

e
kw
2
t
+
T
0
w
=

w
1 + w
2

1
w

e
w
2
t
+
1
w
=
1
w

1
e
w
2
t
1 + w
2
!
u = u(x, t) =
2

Z

0
1
w

1
e
w
2
t
1 + w
2
!
senwx dw.
2
2. Para el caso de ser T
0
= 0 resulta simplemente
u = u(x, t) =
2

Z

0
b
f(w)e
kw
2
t
senwx dw.
3. Por ejemplo, suponiendo que fuera f(x) = xe
x
, T
0
= 0, k = 1 habra sido
b
f(w) = F
s
(xe
x
) =
2w
(1 + w
2
)
2
con lo que
u = u(x, t) =
2

Z

0
2w
(1 + w
2
)
2
e
w
2
t
sen wx dw.
Ejemplo 3. Resolveremos el problema de contorno
u
tt
u
xx
= sen2xcos t, 0 < x < , t > 0,
u(0, t) = u(, t) = 0, t > 0,
u(x, 0) = u
t
(x, 0) = 0, 0 < x < ,
aplicando la transformada de Laplace en la variable temporal t.
Solucin: Pondremos
L(u(x, t)) =
Z

0
e
st
u(x, t) dt = U(x, s) = U
con lo que
L(u
xx
(x, t)) =
Z

0
e
st
u
xx
(x, t) dt = U
xx
(x, s) = U
xx
L(u
tt
(x, t)) = s
2
U s u(x, 0) u
t
(x, 0) = s
2
U
Ademas es
L(sen 2xcos t) = sen 2xL(cos t) =
s sen2x
1 + s
2
Por tanto la ecuacin se transforma en
s
2
U U
xx
=
s sen2x
1 + s
2
Tomando s como parmetro y poniendo y(x) = U(x, s) la ecuacin se escribe
y
00
s
2
y =
s
1 + s
2
sen2x
y tiene como solucin general
y = c
1
e
sx
+ c
2
e
sx
+ y
p
siendo y
p
una solucin particular. Para obtenerla ensayaremos
y
p
= k(s) sen 2x
resultando
y
00
p
s
2
y
p
= 4k(s) sen2x s
2
k(s) sen2x =

4 + s
2

k(s) sen 2x
=
s
1 + s
2
sen2x k(s) =
s
(1 + s
2
) (4 + s
2
)
3
por lo que
y
p
=
s sen 2x
(1 + s
2
) (4 + s
2
)
Las condiciones iniciales dadas se traducen en
y(0) = U(0, s) = L(u(0, t)) = 0,
y() = U(, s) = L(u(, t)) = 0,
de forma que ha de ser c
1
= c
2
= 0, con lo que y = y
p
, es decir,
U(x, s) = y(x) =
s sen 2x
(1 + s
2
) (4 + s
2
)
Ahora basta antitransformar:
u(x, t) = L
1

s sen2x
(1 + s
2
) (4 + s
2
)

= sen 2xL
1

s
(1 + s
2
) (4 + s
2
)

= sen2xL
1

1
3

s
1 + s
2

s
4 + s
2

=
sen2x
3
(cos t cos 2t)
Ejemplo 4. Resolveremos el problema de contorno
u
xx
+ u
yy
= 2e
y
senx, 0 < x < , y > 0,
u(0, y) = u(, y) = 0 para y > 0,
u(x, 0) = 0, u
y
(x, 0) = 2 senx para 0 < x < ,
aplicando la transformada de Laplace en la variable y.
Solucin: Pondremos
L(u(x, y)) =
Z

0
e
sy
u(x, y) dy = U(x, s) = U
con lo que
L(u
xx
(x, y)) = U
xx
(x, s) = U
xx
L(u
yy
(x, y)) = s
2
U s u(x, 0) u
y
(x, 0) = s
2
U 2 sen x
Ademas es
L

2e
y
sen x

= 2 sen xL

e
y

=
2 senx
1 + s
Por tanto la ecuacin se transforma en
U
xx
+ s
2
U 2 sen x =
2 sen x
1 + s
Tomando s como parmetro y poniendo y(x) = U(x, s) la ecuacin se escribe
y
00
+ s
2
y = 2 senx

1
1
1 + s

=
2s sen x
1 + s
y tiene como solucin general
y = c
1
cos sx + c
2
sen sx + y
p
siendo y
p
una solucin particular. Para obtenerla ensayaremos
y
p
= k(s) sen x
4
resultando
y
00
p
+ s
2
y
p
= k(s) senx + s
2
k(s) senx =

s
2
1

k(s) sen x
=
2s sen x
1 + s
k(s) =
2s
(1 + s) (s
2
1)
=
2s
(1 + s)
2
(s 1)
por lo que
y
p
=
2s sen x
(1 + s)
2
(s 1)
=

A
s 1
+
B
s + 1
+
C
(s + 1)
2

senx
Las condiciones iniciales dadas se traducen en
y(0) = U(0, s) = L(u(0, t)) = 0, y() = U(, s) = L(u(, t)) = 0
de forma que ha de ser
y(0) = c
1
= 0, y() = c
2
sens = 0, s
y nalmente queda c
1
= c
2
= 0, con lo que y = y
p
, es decir,
U(x, s) = y(x) =

1
2 (s 1)

1
2 (s + 1)
+
1
(s + 1)
2

senx
Ahora basta antitransformar:
u(x, t) = L
1

2s sen x
(1 + s)
2
(s 1)

=
senx
2
L
1

1
s 1

1
s + 1
+
2
(s + 1)
2

=
sen x
2

e
y
e
y
+ 2ye
y

= senx

senhy + ye
y

Ejemplo 5. Resolveremos
u
xx
+ u
yy
= u, < x < , 0 < y < 1,
u
y
(x, 0) = 0, u(x, 1) = e
x
2
, < x < ,
lim
x
u(x, y) = 0 uniformemente en y para 0 < y < 1,
aplicando la transformada de Fourier en x.
Solucin: Sea
b u = b u(w, y) =
Z

e
iwx
u(x, y) dx
Entonces tenemos
c u
yy
=
Z

e
iwx
u
yy
(x, y) dx =

2
y
2
Z

e
iwx
u(x, y) dx

= b u
yy
c u
xx
= (iw)
2
b u = w
2
b u
con lo que la ecuacin se transforma en
b u
yy
w
2
b u = b u.
Las condiciones de contorno se traducen en
b u
y
(w, 0) =
Z

e
iwx
u
y
(x, 0) dx = 0,
b u(w, 1) = F

e
x
2

w
2
4
5
Tratando w como un parmetro y poniendo b u(w, y) = v(y) nuestro problema se reduce a integrar
la ecuacin diferencial ordinaria v
00
(1 + w
2
) v = 0 con las condiciones de contorno v
0
(0) = 0,
v(1) =

w
2
4
. Resulta entonces
v = v(y) = c
1
e

1+w
2
y
+ c
2
e

1+w
2
y
v
0
= c
1

1 + w
2
e

1+w
2
y
c
2

1 + w
2
e

1+w
2
y
v(1) = c
1
e

1+w
2
+ c
2
e

1+w
2
=

w
2
4
,
v
0
(0) = c
1

1 + w
2
c
2

1 + w
2
= 0,
de donde se deduce
c
1
= c
2
=

e

w
2
4
e

1+w
2
+ e

1+w
2
=

e

w
2
4
2 cosh

1 + w
2
v = v(y) = c
1

1+w
2
y
+ e

1+w
2
y

= 2c
1
cosh

1 + w
2
y

w
2
4
cosh

1 + w
2
y

cosh

1 + w
2
y basta antitransformar respecto de w:
u(x, y) =
1
2
vp
Z

b u(w, y) e
iwx
dw
=
1
2

vp
Z

w
2
4
e
iwx
cosh

1 + w
2
y

dw
cosh

1 + w
2
Ejemplo 6. Resolveremos el problema de contorno
u
tt
u
xx
= 2e
t
sen x, 0 < x < , t > 0,
u(0, t) = u(, t) = 0 para t > 0,
lim
t
u(x, t) = 0 uniformemente en x para 0 < x < ,
u
t
(x, 0) = sen x para 0 < x < ,
utilizando la transformada coseno de Fourier en la variable temporal t.
Solucin:
Pondremos
F
c
(u(x, t)) =
Z

0
u(x, t) cos wt dt = b u(x, w) = b u
con lo que
F
c
(u
tt
(x, t)) = u
t
(x, 0) w
2
b u = sen x w
2
b u,
F
c
(u
xx
(x, t)) = b u
xx
F
c

2e
t
senx

= 2 senxF
c

e
t

=
2 sen x
w
2
+ 1
puesto que se tiene
F
c

e
t

=
Z

0
e
t
cos wt dt =
1
w
2
+ 1
.
De esta forma la ecuacin se transforma en
sen x w
2
b u b u
xx
=
2 senx
w
2
+ 1
6
es decir,
b u
xx
+ w
2
b u = senx

1
2
w
2
+ 1

=

w
2
1
w
2
+ 1

sen x
que utilizando w como parmetro y poniendo z(x) = b u(x, w) puede escribirse como
z
00
+ w
2
z =

w
2
1
w
2
+ 1

senx.
Una solucin particular de esta ecuacin es
z
p
=
sen x
w
2
+ 1
por lo que la solucin general es
b u = b u(x, w) = c
1
cos wx + c
2
sen wx +
sen x
w
2
+ 1
Imponiendo las condiciones de contorno u(0, t) = u(, t) = 0 se obtiene c
1
= c
2
= 0 y resulta
b u = b u(x, w) =
sen x
w
2
+ 1
La antitransformada es la solucin de nuestro problema
u = u(x, t) = F
1
c

sen x
w
2
+ 1

= senxF
1
c

1
w
2
+ 1

= e
t
senx
Nota:
Utilizando el hecho de que
e
t
sen x = F
1
c

sen x
w
2
+ 1

=
2

Z

0
sen x
w
2
+ 1
cos wt dw =
2 senx

Z

0
cos wt dw
w
2
+ 1
se concluye que
Z

0
cos wt dw
w
2
+ 1
=
e
t
2
Ejemplo 7. Resolveremos el problema de contorno
u
xx
+ u
yy
= 0, < x < , 0 < y < 1,
u(x, 0) = e
2|x|
, u(x, 1) = 0, para < x < ,
lim
x
u(x, y) = 0, uniformemente en y para 0 < y < 1,
utilizando la transformada de Fourier en la variable x.
Solucin:
Sea
b u = b u(w, y) =
Z

e
iwx
u(x, y) dx
Entonces tenemos
c u
yy
=
Z

e
iwx
u
yy
(x, y) dx =

2
y
2
Z

e
iwx
u(x, y) dx

= b u
yy
c u
xx
= (iw)
2
b u = w
2
b u
con lo que la ecuacin se transforma en
b u
yy
w
2
b u = 0.
7
Las condiciones de contorno se traducen en
b u(w, 0) =
Z

e
iwx
u(x, 0) dx = F

e
2|x|

=
1
2
F

e
|x|

w
2

=
1
2
2
1 +

w
2

2
=
4
4 + w
2
,
b u(w, 1) =
Z

e
iwx
u(x, 1) dx = 0
donde para la primera se ha usado la frmula de cambio de escala y la transformada de e
|x|
, que es
conocida.
Tratando w como un parmetro y poniendo b u(w, y) = v(y) nuestro problema se reduce a integrar
la ecuacin diferencial ordinaria v
00
w
2
v = 0 con las condiciones de contorno v(0) =
4
4+w
2
, v(1) = 0.
Resulta entonces
v = v(y) = c
1
e
wy
+ c
2
e
wy
v(0) = c
1
+ c
2
=
4
4 + w
2
,
v(1) = c
1
e
w
+ c
2
e
w
= 0,
de donde se deduce
c
2
= c
1
e
2w
, c
1

1 e
2w

=
4
4 + w
2
, c
1
=
4
(4 + w
2
) (1 e
2w
)
luego
b u(w, y) = v(y) =
4 (e
wy
e
2w
e
wy
)
(4 + w
2
) (1 e
2w
)
=
4e
w

e
w(1y)
e
w(1y)

(4 + w
2
) e
w
(e
w
e
w
)
=
4 senh w(1 y)
(4 + w
2
) senhw
Finalmente
u(x, y) = F
1
(b u(w, y)) =
1
2
vp
Z

b u(w, y) e
iwx
dw
=
1
2
vp
Z

4 senhw(1 y)
(4 + w
2
) senh w
e
iwx
dw
=
2

lim
L+
Z
L
L
senh w(1 y)
(4 + w
2
) senh w
e
iwx
dw
Ejemplo 8. Resolveremos el siguiente problema usando la transformada de Fourier, para lo que
suponemos se dan las hiptesis necesarias:
u
t
u
xx
= 0, < x < , t > 0
u(x, 0) = e
x
2
, < x <
u(x, t) acotada
Solucin:
Efectuaremos la transformada de Fourier respecto a la variable espacial x. Sea
b u = b u(w, t)) =
Z

e
iwx
u(x, t) dx
8
Entonces tenemos
F (u
t
) = b u
t
=
Z

e
iwx
u
t
(x, t) dx =

t
Z

e
iwx
u(x, t) dx

= b u
t
F (u
xx
) = c u
xx
= (iw)
2
b u = w
2
b u
con lo que la ecuacin se transforma en
b u
t
+ w
2
b u = 0.
La condicin inicial se traduce en
b u(w, 0) =
Z

e
iwx
u(x, 0) dx = F

e
x
2

w
2
4
Tratando w como un parmetro y poniendo b u(w, t) = z(t) nuestro problema se reduce a integrar la
ecuacin diferencial ordinaria z
0
+w
2
z = 0 con la condicin inicial z(0) =

w
2
4
. Resulta entonces
z = z(t) = z(0)e
w
2
t
=

w
2
4
e
w
2
t
= b u(w, t)
y basta antitransformar respecto de w.
u(x, t) = F
1
(b u(w, t)) = F
1

e
w
2
(
t+
1
4
)

Utilizaremos el hecho de que

F
1

w
2
4a

=
r
a

e
ax
2
poniendo
1
4a
= t +
1
4
, es decir,
a =
1
4t + 1
y la solucin pedida queda
u(x, t) =

F
1

e
w
2
(t+
1
4
)

r
a

e
ax
2
=
1

4t + 1
e

1
4t+1
x
2
Ejemplo 9. Resolveremos
u
xx
+ u
yy
= e
x
2
, < x < , 0 < y < 1,
u(x, 0) = 0, u(x, 1) = 0, < x < ,
lim
x
u(x, y) = 0 uniformemente en y para 0 < y < 1,
aplicando la transformada de Fourier en x.
Solucin: Sea
F (u) = b u = b u(w, y) =
Z

e
iwx
u(x, y) dx
Entonces tenemos
F (u
yy
) = c u
yy
=
Z

e
iwx
u
yy
(x, y) dx =

2
y
2
Z

e
iwx
u(x, y) dx

= b u
yy
F (u
xx
) = c u
xx
= (iw)
2
b u = w
2
b u
F

e
x
2

=

e

w
2
4
9
con lo que la ecuacin se transforma en
b u
yy
w
2
b u =

w
2
4
.
Las condiciones de contorno se traducen en
b u(w, 0) = 0,
b u(w, 1) = 0
Tratando w como un parmetro y poniendo b u(w, y) = v(y) nuestro problema se reduce a integrar la
ecuacin diferencial ordinaria v
00
w
2
v =

w
2
4
con las condiciones de contorno v(0) = 0, v(1) = 0.
Resulta entonces
v = v(y) = c
1
e
wy
+ c
2
e
wy

w
2
e

w
2
4
v(0) = c
1
+ c
2

w
2
e

w
2
4
= 0,
v(1) = c
1
e
w
+ c
2
e
w

w
2
e

w
2
4
= 0,
de donde se deduce
c
1
=

w
2
e

w
2
4
1

w
2
e

w
2
4
e
w

1 1
e
w
e
w

w
2
e

w
2
4

1 1
1 e
w

e
w
e
w
=

w
2
e

w
2
4
(e
w
1)
e
w
e
w
,
c
2
=

w
2
e

w
2
4

1 1
e
w
1

1 1
e
w
e
w

w
2
e

w
2
4
(1 e
w
)
e
w
e
w
por lo que
b u(w, y) = v(y) =

w
2
e

w
2
4
e
w
e
w

e
w
1

e
wy
+ (1 e
w
) e
wy

w
2
e

w
2
4
=

w
2
e

w
2
4
e
w
e
w

e
w(1y)
e
w(1y)
+ e
wy
e
wy

w
2
e

w
2
4
=

w
2
e

w
2
4

senh w(1 y)
senh w
+
senh wy
senh w
1

y basta antitransformar respecto de w:

u(x, y) =
1
2
vp
Z

b u(w, y) e
iwx
dw
=
1
2
vp
Z

w
2
e

w
2
4

senh w(1 y)
senh w
+
senh wy
senh w
1

e
iwx
dw
Ejemplo 10. Resolveremos la ecuacin de Laplace en una semibanda
u
xx
+ u
yy
= 0, 0 < x < , 0 < y < 1,
u(x, 0) = f(x), u(x, 1) = 0, < x < ,
u(0, y) = 0, lim
x
u(x, y) = 0 uniformemente en y para 0 < y < 1,
10
aplicando la transformada seno de Fourier en x.
Solucin: Pondremos
F
s
(u(x, y)) =
Z

0
u(x, y) sen wx dx = b u(w, y) = b u
F
s
(f(x)) =
Z

0
f(x) senwx dx =
b
f(w)
Tenemos entonces
c u
yy
=
Z

0
u
yy
(x, y) sen wx dx =

2
y
2
Z

0
u(x, y) sen wx dx

= b u
yy
c u
xx
= wu(0, y) w
2
b u = w
2
b u
y la ecuacin junto con las condiciones dadas se transforman en
b u
yy
w
2
b u = 0, b u(w, 0) =
b
f(w), b u(w, 1) = 0
Tratando w como un parmetro y poniendo b u(w, y) = z(y) nuestro problema ha quedado reducido a
integrar la ecuacin diferencial ordinaria de primer orden z
00
w
2
z = 0 con las condiciones iniciales
z(0) =
b
f(w), z(1) = 0. La solucin general de la ecuacin es
b u = b u(w, y) = c
1
e
wy
+ c
2
e
wy
Para determinar los coecientes resolvemos el sistema

c
1
+ c
2
=
b
f(w)
c
1
e
w
+ c
2
e
w
= 0
de donde resulta
c
1
=

b
f(w) 1
0 e
w

1 1
e
w
e
w

=
e
w
b
f(w)
e
w
e
w
, c
2
=

1
b
f(w)
e
w
0

e
w
e
w
=
e
w
b
f(w)
e
w
e
w
,
y nalmente
b u = b u(w, y) =
b
f(w)
e
w
e
w

e
w(1y)
e
w(1y)

=
b
f(w) senh w(1 y)
senh w
Utilizando la frmula de inversin queda
u = u(x, y) =
2

Z

0
b
f(w) senhw(1 y)
senhw
sen wx dw
Ejemplo 11. Resolveremos la ecuacin de Laplace en una semibanda
u
xx
+ u
yy
= 0, 0 < x < , 0 < y < 1,
u(x, 0) = 0, u(x, 1) = 0, < x < ,
u(0, y) = y(1 y), lim
x
u(x, y) = 0 uniformemente en y para 0 < y < 1,
aplicando la transformada seno de Fourier en x.
Solucin: Pondremos
F
s
(u(x, y)) =
Z

0
u(x, y) sen wx dx = b u(w, y) = b u
11
Tenemos entonces
c u
yy
=
Z

0
u
yy
(x, y) sen wx dx =

2
y
2
Z

0
u(x, y) sen wx dx

= b u
yy
c u
xx
= wu(0, y) w
2
b u = wy(1 y) w
2
b u
y la ecuacin junto con las condiciones dadas se transforman en
b u
yy
w
2
b u = wy(1 y), b u(w, 0) = 0, b u(w, 1) = 0
Tratando w como un parmetro y poniendo b u(w, y) = z(y) nuestro problema ha quedado reducido a
integrar la ecuacin diferencial ordinaria de primer orden z
00
w
2
z = wy(1y) con las condiciones
iniciales z(0) = z(1) = 0. La solucin general de la ecuacin homognea es z
H
= c
1
e
wy
+c
2
e
wy
.Para
la completa ensayamos una solucin particular polinmica de segundo grado z
p
= Ay
2
+ By + C,
resultando
2Aw
2

Ay
2
+ By + C

= wy
2
wy
por lo que
A =
1
w
, B =
1
w
, C =
2A
w
2
=
2
w
3
y la solucin general de la ecuacin completa es
b u = b u(w, y) = c
1
e
wy
+ c
2
e
wy

1
w

y
2
y +
2
w
2

Para determinar los coecientes resolvemos el sistema resultante de aplicar las condiciones de con-
torno:

c
1
+ c
2
=
2
w
3
c
1
e
w
+ c
2
e
w
=
2
w
3
de donde resulta
c
1
=
2
w
3

1 1
1 e
w

1 1
e
w
e
w

=
2
w
3

e
w
1
e
w
e
w

=
(1 e
w
)
w
3
senh w
c
2
=
2
w
3

1 1
e
w
1

e
w
e
w
=
2
w
3

1 e
w
e
w
e
w

=
(e
w
1)
w
3
senh w
,
y nalmente
b u = b u(w, y) =
(1 e
w
) e
wy
+ (e
w
1) e
wy
w
3
senhw

1
w

y
2
y +
2
w
2

=
2 senhwy + 2 senhw(1 y)
w
3
senh w

1
w

y
2
y +
2
w
2

Utilizando la frmula de inversin queda

u = u(x, y) =
2

Z

0
b u(w, y) sen wx dw
Ejemplo 12. Resolveremos el problema de contorno
u
t
u
xx
+ tu = 0, x > 0, t > 0,
u(x, 0) = e
x
, x > 0,
u
x
(0, t) = 0, t > 0,
lim
x
u(x, t) = 0 uniformemente en t para t > 0
12
aplicando la transformada coseno de Fourier en x.
Solucin: Pondremos
F
c
(u(x, t)) =
Z

0
u(x, t) cos wxdx = b u(w, t) = b u
con lo que
F
c
(u
t
) = b u
t
,
F
c
(u
xx
) = u
x
(0, t) w
2
b u = w
2
b u,
F
c
(tu) = t b u,
F
c

e
x

=
1
w
2
+ 1
y nuestro problema se convierte en
b u
t
+ w
2
b u + t b u = 0, b u(w, 0) =
1
w
2
+ 1
tratndose de una ecuacin de variables separadas
z
0
+

t + w
2

z = 0,
z
0
z
=

t + w
2

, log z =
t
2
2
w
2
t + log c, z = ce

t
2
2
w
2
t
, c = z(0)
cuya solucin es
b u(w, t) = b u(w, 0)e

t
2
2
w
2
t
=
e

t
2
2
w
2
t
w
2
+ 1
Solo queda antitransformar:
u(x, t) =
2

Z

0
b u(w, t) cos wxdx =
2e

t
2
2

Z

0
e
w
2
t
w
2
+ 1
cos wxdx
Ejemplo 13. Resolveremos el problema de contorno
u
tt
u
xx
= 0, 0 < x < , t > 0,
u(0, t) = u(, t) = 0, t > 0,
u(x, 0) = senx 2 sen 3x, 0 < x <
u
t
(x, 0) = 3 sen2x, 0 < x < ,
aplicando la transformada de Laplace en la variable temporal t.
Solucin: Pondremos
L(u(x, t)) =
Z

0
e
st
u(x, t) dt = U(x, s) = U
con lo que
L(u
xx
(x, t)) =
Z

0
e
st
u
xx
(x, t) dt = U
xx
(x, s) = U
xx
L(u
tt
(x, t)) = s
2
U s u(x, 0) u
t
(x, 0) = s
2
U s sen x + 2s sen 3x 3 sen 2x
Por tanto la ecuacin se transforma en
U
xx
= s
2
U s sen x 3 sen2x + 2s sen 3x
13
Tomando s como parmetro y poniendo y(x) = U(x, s) la ecuacin se escribe
y
00
s
2
y = s sen x 3 sen 2x + 2s sen 3x
y tiene como solucin general
y = c
1
e
sx
+ c
2
e
sx
+ y
p
siendo y
p
una solucin particular. Para obtenerla ensayaremos
y
p
= Asen x + B sen 2x + C sen 3x
resultando
y
00
p
s
2
y
p
= A

1 + s
2

senx B

4 + s
2

sen 2x C

9 + s
2

sen 3x
= s senx 3 sen 2x + 2s sen3x A =
s
1 + s
2
, B =
3
4 + s
2
, C =
2s
9 + s
2
por lo que
y
p
=
s sen x
1 + s
2
+
3 sen2x
4 + s
2

2s sen 3x
9 + s
2
Las condiciones iniciales dadas se traducen en y(0) = U(0, s) = L(u(0, t)) = 0, y() = U(, s) =
L(u(, t)) = 0, de forma que ha de ser c
1
= c
2
= 0, con lo que y = y
p
, es decir,
U(x, s) = y(x) =
s sen x
1 + s
2
+
3 sen2x
4 + s
2

2s sen 3x
9 + s
2
Ahora basta antitransformar:
u(x, t) = L
1
(U(x, s)) = sen xL
1

s
1 + s
2

+
3
2
sen 2xL
1

2
4 + s
2

sen 3xL
1

2s
9 + s
2

= sen xcos t +
3
2
sen 2xsen 2t 2 sen3xcos 3t
Ejemplo 14. Calcularemos las transformadas seno y coseno de e
x
y xe
x
y resolveremos el
problema de contorno
u
t
u
xx
= 0, x > 0, t > 0,
u(x, 0) = xe
x
, x > 0,
u(0, t) = 0, t > 0,
lim
x
u(x, t) = 0 uniformemente en t para t > 0
aplicando la transformada seno de Fourier en x.
Solucin: En primer lugar calculamos las transformadas seno y coseno de e
x
,
F
s

e
x

=
Z

0
e
x
sen wx dx, F
c

e
x

=
Z

0
e
x
cos wx dx
Poniendo U = sen wx, V
0
= e
x
tenemos U
0
= wcos wx, V = e
x
y resulta
F
s

e
x

=
Z

0
e
x
sen wx dx =

e
x
sen wx

0
+ w
Z

0
e
x
cos wx dx = wF
c

e
x

Poniendo U = cos wx, V

0
= e
x
tenemos U
0
= wsenwx, V = e
x
y resulta
F
c

e
x

=
Z

0
e
x
cos wx dx =

e
x
cos wx

0
w
Z

0
e
x
senwx dx = 1 wF
s

e
x

14
Sustituyendo queda
F
c

e
x

= 1 wF
s

e
x

= 1 w
2
F
c

e
x

, F
c

e
x

1 + w
2

= 1
de donde
F
c

e
x

=
1
1 + w
2
, F
s

e
x

= wF
c

e
x

=
w
1 + w
2
Calcularemos ahora la transformada seno de xe
x
F
s

xe
x

=
Z

0
xe
x
sen wx dx =

w
Z

0
e
x
cos wx dx

=

w
F
c

e
x

=

w

1
1 + w
2

=
2w
(1 + w
2
)
2
Anlogamente, para la transformada coseno se tiene
F
c

xe
x

=
Z

0
xe
x
cos wx dx =

w
Z

0
e
x
senwx dx

=

w
F
s

e
x

=

w

w
1 + w
2

=
1 + w
2
2w
2
(1 + w
2
)
2
=
1 w
2
(1 + w
2
)
2
Por ltimo, para resolver el problema dado pondremos
F
s
(u(x, t)) =
Z

0
u(x, t) senwx dx = b u(w, t) = b u
Tenemos entonces
b u
t
=
Z

0
u
t
(x, t) senwx dx =

t
Z

0
u(x, t) sen wx dx

= b u
t
c u
xx
= wu(0, t) w
2
b u = w
2
b u
y la ecuacin junto con las condiciones dadas se transforman en
b u
t
+ w
2
b u = 0, b u(w, 0) = F
s

xe
x

=
2w
(1 + w
2
)
2
.
Tratando w como un parmetro y poniendo b u(w, t) = z(t) nuestro problema ha quedado reducido
a integrar la ecuacin diferencial ordinaria de primer orden z
0
+ w
2
z = 0 con la condicin inicial
z(0) =
2w
(1 + w
2
)
2
, cuya solucin es z = z(0)e
w
2
t
, resultando
b u(w, t) = z(t) =
2w
(1 + w
2
)
2
e
w
2
t
y solo queda antitransformar
u(x, t) =
2

Z

0
b u(w, t) sen wx dw =
2

Z

0
2w e
w
2
t
senwx
(1 + w
2
)
2
dw
Confrontar con Ejemplo 6
Ejemplo 15. Resolveremos el problema de contorno
u
tt
u
xx
= 2e
t
senx, 0 < x < , t > 0,
u(0, t) = u(, t) = 0, t > 0,
u(x, 0) = 0, u
t
(x, 0) = sen x, 0 < x < ,
15
utilizando la transformada de Laplace en la variable temporal t.
Solucin:
Pondremos
L(u(x, t)) =
Z

0
e
st
u(x, t) dt = U(x, s) = U
con lo que
L(u
xx
(x, t)) =
Z

0
e
st
u
xx
(x, t) dt = U
xx
(x, s) = U
xx
L(u
tt
(x, t)) = s
2
U s u(x, 0) u
t
(x, 0) = s
2
U + sen x
Ademas es
L

2e
t
sen x

= 2 senxL

e
t

=
2 senx
s + 1
Por tanto la ecuacin se transforma en
s
2
U + sen x U
xx
=
2 senx
s + 1
Tomando s como parmetro y poniendo y(x) = U(x, s) la ecuacin se escribe
y
00
s
2
y =

1
2
s + 1

senx =

s 1
s + 1

senx
y tiene como solucin general
y = c
1
e
sx
+ c
2
e
sx
+ y
p
siendo y
p
una solucin particular. Para obtenerla ensayaremos
y
p
= k(s) sen x
resultando
y
00
p
s
2
y
p
= k(s) sen x s
2
k(s) senx =

1 + s
2

k(s) senx
=

s 1
s + 1

senx k(s) =
1 s
(1 + s
2
) (1 + s)
por lo que
y
p
=
(1 s) sen x
(1 + s
2
) (1 + s)
Las condiciones iniciales dadas se traducen en y(0) = U(0, s) = 0, y() = U(, s) = 0, de forma que
ha de ser c
1
= c
2
= 0, con lo que y = y
p
, es decir,
U(x, s) = y(x) =
(1 s) sen x
(1 + s
2
) (1 + s)
Ahora basta antitransformar:
u(x, t) = L
1

(1 s) sen x
(1 + s
2
) (1 + s)

= sen xL
1

(1 s)
(1 + s
2
) (1 + s)

= sen xL
1

1
s + 1

s
s
2
+ 1

= sen x

e
t
cos t

Confrontar con ejemplos 6 y 15.

16
Ejemplo 16. Resolveremos el problema de contorno
u
tt
u
xx
= 2e
t
senx, 0 < x < , t > 0,
u(0, t) = u(, t) = 0, t > 0,
u(x, 0) = 0, 0 < x < ,
utilizando la transformada seno de Fourier en la variable temporal t.
Solucin:
Pondremos
F
s
(u(x, t)) =
Z

0
u(x, t) senwt dt = b u(x, w) = b u
Tenemos entonces
c u
tt
= wu(x, 0) w
2
b u = w
2
b u, c u
xx
= b u
xx
F
s

2e
t
sen x

= 2 senxF
s

e
t

= 2 sen x
w
1 + w
2
y la ecuacin junto con las condiciones dadas se transforman en
w
2
b u b u
xx
=
2wsenx
1 + w
2
, b u(0, w) = b u(, w) = 0
Tratando w como un parmetro y poniendo b u(x, w) = z(x) nuestro problema ha quedado reducido a
integrar la ecuacin diferencial ordinaria de segundo orden z
00
+ w
2
z =
2wsenx
1 + w
2
, cuya solucin es
z = c
1
cos wx + c
2
senwx + z
p
con las condiciones iniciales z(0) = z() = 0 w. Pondremos z
p
= Asenx, con lo que
z
00
p
+ w
2
z
p
= Asen x + w
2
Asenx = A

w
2
1

sen x
=
2wsen x
1 + w
2
A =
2w
(1 w
2
) (1 + w
2
)
=
2w
1 w
4
Entonces z(0) = z() = 0 w =c
1
= c
2
= 0 y z = z
p
Finalmente ha resultado
b u = b u(x, w) = z
p
= Asen x =
2wsen x
1 w
4
Utilizando la frmula de inversin queda
u = u(x, t) =
2

Z

0
b u(x, w) sen wt dw =
2

Z

0
2wsenxsen wt
1 w
4
dw
Nota:
Se observa la singularidad que aparece para w = 1, valor para el que z
p
hubiese sido diferente.
Confrontar con el problema resuelto por separacin de variables previa bsqueda de solucin
particular.
Ejemplo 17. Resolveremos el problema de contorno
4u
xx
u
tt
= 4

x
2
+ 2

sen 2t, 0 < x <

2
, t > 0,
u(0, t) = u(

2
, t) = 0, t > 0,
u(x, 0) = 0, u
t
(x, 0) = 2x
2
, 0 < x <

2
,
utilizando la transformada de Laplace en la variable temporal t.
17
Solucin:
Pondremos
L(u(x, t)) =
Z

0
e
st
u(x, t) dt = U(x, s) = U
con lo que
L(u
xx
(x, t)) =
Z

0
e
st
u
xx
(x, t) dt = U
xx
(x, s) = U
xx
L(u
tt
(x, t)) = s
2
U s u(x, 0) u
t
(x, 0) = s
2
U 2x
2
Ademas es
L

x
2
+ 2

sen 2t

= 4

x
2
+ 2

L(sen 2t) = 4

x
2
+ 2

2
s
2
+ 4
Por tanto la ecuacin se transforma en
4U
xx
s
2
U + 2x
2
=
8 (x
2
+ 2)
s
2
+ 4
Tomando s como parmetro y poniendo y(x) = U(x, s) la ecuacin se escribe
y
00

s
2
4
y =
x
2
2
+
2 (x
2
+ 2)
s
2
+ 4
=
4 (x
2
+ 2) (s
2
+ 4) x
2
2 (s
2
+ 4)
=
8 s
2
x
2
2 (s
2
+ 4)
y tiene como solucin general
y = c
1
e
s
2
x
+ c
2
e

s
2
x
+ y
p
siendo y
p
una solucin particular. Para obtenerla ensayaremos
y
p
= Ax
2
+ Bx + C
resultando
y
00
p

s
2
4
y
p
= 2A
s
2
4

Ax
2
+ Bx + C

=
As
2
4
x
2

Bs
2
4
x +

2A
Cs
2
4

=
8 s
2
x
2
2 (s
2
+ 4)
A =
2
(s
2
+ 4)
, B = 0, 2A
Cs
2
4
=
4
s
2
+ 4
por lo que
Cs
2
4
= 2A
4
s
2
+ 4
= 0, C = 0
y
p
=
2x
2
(s
2
+ 4)
Las condiciones iniciales dadas se traducen en y(0) = U(0, s) = 0, y(

2
) = U(

2
, s) = 0, de forma que
ha de ser
y(0) = c
1
+ c
2
= 0, y = 2c
1
senh
sx
2
+
2x
2
(s
2
+ 4)
y(

2
) = 2c
1
senh
s
4
+

2
2 (s
2
+ 4)
= 0, c
1
=

2
4 (s
2
+ 4) senh
s
4
con lo que
y =
2x
2
(s
2
+ 4)

2
senh
sx
2
2 (s
2
+ 4) senh
s
4
18
es decir,
U(x, s) = y(x) =
2x
2
(s
2
+ 4)

2
senh
sx
2
2 (s
2
+ 4) senh
s
4
Ahora basta antitransformar:
u(x, t) = L
1

2x
2
(s
2
+ 4)

2
senh
sx
2
2 (s
2
+ 4) senh
s
4

=
= x
2
L
1

2
s
2
+ 4

2
2
L
1

senh
sx
2
(s
2
+ 4) senh
s
4

= x
2
sen 2t

2
2
L
1

senh
sx
2
(s
2
+ 4) senh
s
4

19