Captulo 7

Transformada
de Fourier.

Este captulo contiene ejercicios importantes sobre

transformada de Fourier y su aplicacin a la
solucin de las ecuaciones diferenciales en
derivadas parciales. Los ejercicios estn
cuidadosamente seleccionados siguiendo un orden
lgico que nos ayudar a compactar nuestro
conocimiento.
Seccin 1

Transformada de Fourier. Clculo e Inversin.

CONTENIDO. Este captulo es en cierto aspecto el anlogo continuo del

1. Clculo de transformadas.
2. Uso de residuos.
3. Inversin de la transformada.
4. Clculo de Integrales.
5. Igualdad de Parseval.
captulo anterior donde ciertas series se reemplazan por integrales,
valores discretos por valores continuos, etc.
Este captulo no deja prcticamente ningn caso sin explorar,
de modo que constituye en s mismo junto con el libro de trabajo un
entrenamiento completo para nuestro coloquio.

147
 Problemas. Expresando la exponencial en senos y cosenos
por la frmula de Euler tenemos entonces que

1) Hallar la transformada de Fourier de la funcin

|t| iwt
F(w) = e e dt = e |t|(cos(wt) isen(wt))dt
f (t) = e |t|

y aplicar el teorema de inversin para obtener el y separando las partes real e imaginaria en dos
conocido valor de la integral integrales tenemos

1
1 + w 2
= dw. F(w) = e |t|cos(wt) i e |t|sen(wt)dt.

Solucin. La segunda integral se anula por tratarse el

integrando de una funcin impar y de la primera
Este ejercicio muy sencillo nos permite repasar la
resulta, por paridad
definicin de la transformada de Fourier y sus

propiedades de paridad. En efecto, tenemos por F(w) = 2 e t cos(wt)dt.
definicin que

De la tabla de integrales hallamos que

F(w) = e |t|e iwt dt. w R.

1
[ (wsen(wt) cos(wt))]
t
F(w) = 2 e
1+w 2
0

148

1
1 + w 2
y evaluando en t = y t = 0 tenemos que
= dw.
2
F(w) = .
1 + w2

En la galera 7.1. mostramos la funcin y su

transformada grficamente. Galera 7.1. La funcin del ejercicio y su transformada.

Para resolver la segunda parte observemos que

por el teorema de inversin tenemos

1 2

e |t| = e iwt
dw
2 1 + w 2

de lo cual volviendo a aplicar la frmula de Euler

obtenemos

1 2
2 1 + w 2
|t|
e = (cos(wt) + isen(wt))dw

de lo cual, evaluando en t = 0 obtenemos

Grfica de la funcin del ejercicio y a continuacin de su transformada
1 1
1 + w 2
1= dw

y por lo tanto el resultado final

149
2) Hallar la tranformada de Fourier de la funcin Este tipo de integrales reales nos recuerda sin
duda a las integrales del captulo 5 sobre el teorema
1
f (t) = de los residuos. Consideremos entonces la integral de
1 + t2
variable compleja
y calcular, a partir de dicha transformada, el valor de la
1
C 1 + z 2
iwz
integral e dz
r

1
1 + t 2
cos(wt)dt w R.
donde Cr es la curva de la galera 7.2.

Solucin. Tenemos entonces que

1 1
C 1 + z 2
Existe una forma de resolver este ejercicio usando e iwz
dz = 2i Res e iwz
. (1)
z=i 1 + z 2
el teorema de inversin, pero queremos hacerlo por r

definicin para ilustrar el uso del teorema de los

Ya sabemos a esta altura que este residuo vale
residuos en el clculo de las transformadas de Fourier.
1 iwz 1 iwz ew
1 Res e = e =
Por definicin tenemos que si f (t) = z=i 1 + z 2 2z z=i 2i
1 + t2
entonces su transformada de Fourier es y por lo tanto, multiplicando esto por 2i y

1 sustituyendo en (1) obtenemos
1 + t 2
iwt
F(w) = e dt w R.
1
C 1 + z 2
iwz w
e dz = e .
r

150
 Galera 7.2. Curva de integracin.
R
1 1
R S 1 + z 2
iwz w
(cos(wx) isen(wx))d x + e dz = e
1 + x2 r

donde la integral sobre Sr representa la integral sobre

la semicircunferencia de la galera 7.2. Ahora bien,
como ya hemos explicado en el captulo 5 la integral
sobre dicha semicircunferencia slo tender a cero si
el complejo wz = wx + iwy tiene parte imaginaria
negativa. Y como y > 0 en el semiplano superior
tenemos que para w < 0 (recordemos que w R)

1
1 + t 2
iwt w
F(w) = e dt = e (2)
Para el clculo de la transformada de Fourier del ejercicio debemos usar
contornos similares a los que utilizbamos en el clculo de intergrales
definidas por residuos.
frmula que tambin vale para w = 0.

Esta integral puede descomponerse como ya Ahora bien, sabemos que si la funcin es par

hemos hecho varias veces en la suma de las dos entonces su transformada tambin lo es. Luego,

integrales siguientes obtenindose extendiendo de manera par para w > 0 la frmula (2)
obtenemos que

151

1
1 + t 2
iwt |w| Existe una forma de calcular esta transformada de
F(w) = e dt = e .
Fourier por integracin en un rectngulo complejo.
Pero vamos a hallarla de una manera especial que en
Para la segunda parte observamos que
cierto modo nos introduce en la aplicacin de la
escribiendo la exponencial del integrando usando la
transformada de Fourier a la resolucin de ecuaciones
frmula de Euler e igualando partes reales obtenemos
diferenciales.

1
1 + t 2
|w|
cos(wt)dt = e La transformada de Fourier de f (t) = e t es por
2

definicin la funcin

2
F(w) = e t e iwt dt
No presentamos una galera con la funcin y su
transformada ya que la misma es (salvo constantes) la
y siendo la funcin f (t) par obtenemos que
galera 7.1. pero recorrida ahora en orden inverso.

2
Se puede ver una solucin on-line aqu. F(w) = e t cos(wt)dt. (1)

2
La presencia de e t en el integrando nos permite
3) Hallar la transformada de Fourier de la funcin derivar dentro de la integral con respecto a w para

t 2 obtener
f (t) = e .

2
Solucin. F(w) = te t sen(wt)dt.

152
 Integremos por partes. Sean Ahora bien, mirando (1) obtenemos que

u = sen(wt) du = wcos(wt)dt 2
F(0) = e t dt = .
2
2 e t
dv = te t v= .
2 (Este valor se calcula en anlisis matemtico 2).

Entonces Por lo tanto (2) se convierte en

2 2
F(w) = te t sen(wt)dt = F(w) = e w4
.

2 2
e t e t
2
sen(wt) wcos(wt)dt
2 4) Usando la igualdad de Parseval para integrales de
Fourier calcular la integral
y como el primer sumando se anula en los infinitos

sen 2(w)
w 2
obtenemos usando (1) que dw.
w
F(w) = F(w).
2
Solucin.
Esta igualdad es una ecuacin diferencial
Es trivial que si f (t) = 1[1,1](t) entonces
ordinaria de primer orden para F(w) cuya solucin es
trivialmente sen(w)
F(w) = 2 w0
w
2
w4
F(w) = Ae . (2)
153
y que para w = 0 tenemos F(0) = 2. Ahora bien, de
Galera 7.3. Igualdad de Parseval.
acuerdo a la igualdad de Parseval tenemos que si
F(w) es la transformada de Fourier de f (t) para una
f L 2 entonces

2 f 2(t)dt = F 2(w)dt. (1)

(Aqu no hace falta mdulo pues tanto f como F son

funciones reales de variable real).

Luego, aplicando este resultado para nuestro

caso obtenemos
El rea celeste claramente expresada por la integral, al multiplicarla por
2
sen (w) 2 se tranforma en el rea de la siguiente figura la cual dibujamos

w 2
2 12[1,1](t)dt = 4 dw tambin en celeste.....

que, teniendo en cuenta la definicin de f (t) = 1[1,1](t)

sen 2(w)
w 2
dw = .
obtenemos

1
sen 2(w)
1
2 1dt = 4 dw
w 2
Nota : Informalmente la igualdad de Parseval expresa
de lo cual deducimos el resultado final que salvo por la constante fija 2, que proviene de

154

1
2
tomar raz cuadrada a ambos miembros de (1), la 2
( f + g) dt = (F + G)2dw (1)
funcin y su transformada miden los mismo (tienen la
misma norma). En la galera 7.3. vemos una posible
donde pedimos como hiptesis que tanto f, g como
interpretacin geomtrica de este resultado.
sus transformadas F, G sean funciones reales para no
tener que poner mdulo en las integrales anteriores, lo
cual ser suficiente para la segunda parte de nuestro
5) Establecer hiptesis sobre las funciones f y g para
ejercicio.
probar que
Luego, desarrollando (1) tenemos
1
2
f (t)g(t)dt = F(w)G(w)dw

1
2
f 2 + 2fg + g 2dt = F 2 + 2FG + G 2dw
y aprovechar esta igualdad para calcular la integral
de lo cual, por linealidad de la integral, resulta
sen(aw)sen(bw)

dw.
w 2

2
f dt + 2fgdt + g 2dt =

Solucin.
1 2 1 1 2
2 2 2
Si las funciones f, g L 2 entonces f + g L 2 por F dw + 2FGdw + G dw

ser L 2 un espacio vectorial. Por lo tanto a la funcin

f + g se le pueda aplicar la igualdad de Parseval para
obtener

155
y aplicando la igualdad de Parseval para f y g por lo cual puede verse as : La transformada de Fourier
separado vemos que la primera integral del primer sen(w)
de f (t) = 1[1,1](t) es la funcin F(w) = 2 y como
w
rengln se cancela con la primera integral del
t
segundo rengln. Lo mismo ocurre con las terceras la funcin g(t) = 1[a,a](t) es la funcin f ( ) tenemos,
a
integrales de cada rengln. De esto resulta
aplicando la propiedad de cambio de escala que

1

fgdt = FGdw sen(aw)
2 G(w) = | a | F(aw) = 2
w

es decir, poniendo las variables donde hemos supuesto naturalmente del significado

1 de la funcin f (t) = 1[a,a](t) que a > 0.

f (t)g(t)dt = F(w)G(w)dw. (2)
2
Ahora bien, si hacemos en la igualdad (2)
Para calcular la integral f (t) = 1[a,a](t) y g(t) = 1[b,b](t) obtenemos, de acuerdo

sen(aw)sen(bw) al prrafo anterior la igualdad

dw a, b > 0
w2
1 sen(aw) sen(bw)
[a,a] 2
1 (t).1[b,b](t) = 2 2 dw.
w w
recordemos que la transformada de Fourier de la
funcin f (t) = 1[a,a](t) es la funcin Supongamos sin prdida de generalidad que
a b. Entonces el integrando de la primera integral se
sen(aw)
F(w) = 2 reduce a
w

156
 a
2 sen(aw)sen(bw)
a
1dt = dw
w2

por lo tanto

2 sen(aw)sen(bw)

2a= dw
w2

es decir, el resultado final

sen(aw)sen(bw)

a = dw,
w2

resultado que a veces se escribe

sen(aw)sen(bw)

dw = . min{a, b}.
w 2

157
Seccin 2

Solucin de Ecuaciones Diferenciales en Derivadas Parciales.

CONTENIDO. Esta seccin muestra que la transformada de Fourier, adems

1. Ecuacin de la cuerda vibrante.
2. Ecuacin de difusin.
3. Ecuacin de Laplace.
4. Uso de la transformada de Fourier.
de ser matemticamente interesante tiene importantes aplicaciones
a la fsica y a la ingeniera. Resolveremos varias de las ecuaciones
ms famosas de la fsica matemtica y a travs del software
podremos verificar geomtricamente varias propiedades que rara
vez pueden ser ilustradas con los materiales clsicos de estudio.

158
 Problemas. Entonces si F denota la transformada de Fourier
tenemos que

F{uxx } = w 2U(w, y)
1) Resolver la ecuacin de Laplace en el semiplano
superior, es decir, resolver la ecuacin y

uxx + uyy = 0 < x < , y>0 F{uyy } = Uyy (w, y).

con la condicin de borde Por lo tanto, tomando transformada de Fourier a

ambos miembros de la ecuacin diferencial y
1
u(x,0) = sustituyendo, obtenemos
1 + x2

y con la condicin adicional w 2U(w, y) + Uyy (w, y) = 0

lim u(x, y) = 0. que omitiendo los argumentos y despejando se puede

y
escribir
Solucin.
Uyy = w 2U.

Consideremos una transformada de Fourier

La solucin general de esta ecuacin diferencial
respecto de la variable x, es decir, definamos
es para cada w fijo

U(w, y) = u(x, y)e iwx d x. U = Ae |w|y + Be |w|y

159


donde tomamos mdulo para dejar en claro cual es el
U(w, y) = u(x, y)e iwx d x
positivo y el negativo de los dos nmeros | w | ya que
si lo dejramos en la forma w no podramos saberlo y
tenemos tambin que
necesitamos esto para satisfacer la condicin de

anulacin en el infinito. Precisamente, como U(w,0) = u(x,0)e iwx d x = B(w)
lim u(x, y) = 0, debemos tener entonces que A = 0.
y

que por los datos del ejercicio resulta

Luego, por ahora nuestra solucin es

1
1 + x 2
iwx
U(w,0) = e d x.
U = Be |w|y

o volviendo a escribir los argumentos Pero esto es precisamente la transformada de

U(w, y) = Be |w|y. Fourier del ejercicio 2 de la seccin anterior, en la que

habamos obtenido
Ahora bien, si w vara entonces vara B, luego lo
1
ms formal sera haber escrito F{ } = e |w|.
1+x 2

U(w, y) = B(w)e |w|y. (1)

Luego, sustituyendo en (1) tenemos
Evaluando en y = 0 obtenemos
U(w, y) = e |w|e |w|y = e (1+y)|w|,
U(w,0) = B(w)
que como y > 0 podemos meter adentro del mdulo
pero, como por la definicin para obtener
160
 U(w, y) = e |(1+y).w|. (3)
Galera 7.3. Grfica de la solucin de nuestro ejercicio.
Ahora bien, si hacemos a = 1 + y lo anterior puede
escribirse as

U(w, y) = e |a.w|

Veamos cuidadosamente como invertir esto

ltimo : la propiedad de cambio de escala nos dice
que

1 w
F{f (bt)} = F( ) b > 0.
b b

1
Con a = esto se escribe
b La grfica de la funcin armnica en el semiplano superior que resuelve
nuestro problema de contorno.
1
F{f ( t)} = aF(aw)
a
1
F{ } = e |w|
es decir, en trminos de la transformada inversa 1 + x2

1 1 1
f ( t) = F1{F(aw)}. en nuestro caso es f (x) = y entonces invirtiendo
a a 1+x 2

(3) tenemos el resultado final

Finalmente, como

161
 1 1
u(x, y) = .
1 + y 1 + ( x )2 Video 7.4. Movimiento en el espacio de la grfica de
1+y
nuestra solucin.

o multiplicando numerador y denominador por 1 + y

obtenemos

1+y 1+y
u(x, y) = = .
(1 + y)2 + x 2 1 + 2y + y 2 + x 2

En la galera 7.3. y en el video 7.4. vemos

clarsimamente la solucin grfica de este ejercicio. De
esta solucin analtica y del espectacular video y
grficos de las galeras observamos varios hechos :
que la condicin de contorno realmente se satisface,
que la condicin de anulacin en el infinito tambin,
La grfica de nuestra solucin desde infinitos ngulos para su perfecta
pero adems vemos claramente que las curvas de apreciacin.

nivel de la solucin son circunferencias. Esto, adems

isotermas de la placa son circunferencias. De all se
de que no es tan fcil de descubrir sin la grfica tiene
puede sacar varias conclusiones respecto del campo
la siguiente interpretacin fsica : si la temperatura en
de fuerza en la cual fluye el calor, de las lneas de flujo
el punto (x, y) de una placa rectangular infinita (o lo
de calor, etc.
suficientemente grande como para considerarla
infinita) est dada por la funcin u(x, y) entonces las

162
Se puede ver una solucin on-line aqu. w 2U = Ut. (1)

La solucin general de esta ecuacin diferencial

elemental es trivialmente
2) Resolver la ecuacin de difusin
2
U = Ae w t
uxx = ut t > 0, < x<
y volviendo a escribir los argumentos y recordando
con la condicin de borde
que (1) en realidad es una ecuacin diferencial para
2
u(x,0) = e x . cada w tenemos
2
Solucin. U(w, t) = A(w)e w t. (3)

Al igual que en el ejercicio anterior definamos Haciendo entonces t = 0 obtenemos

U(w, t) = u(x, t)e iwx d x. U(w,0) = A(w)

y como
Luego, tomando la transformada de Fourier a

ambos miembros de la ecuacin de nuestro ejercicio U(w,0) = u(x,0)e iwx d x
tenemos

2
de la condicin inicial del ejercicio tenemos
w U(w, t) = Ut (w, t)

2
u omitiendo las variables U(w,0) = e x e iwx d x.

163
 2
Pero sabemos del ejercicio 3 de la seccin F(w) = e w4
.
2
anterior que la transformada de Fourier de e x es
Por lo tanto, como (4) es equivalente a
2
2
w4
F{e x } = e
1 1
f ( t) = F1{F(aw)}
a a
luego, sustituyendo en (3) tenemos
2
w4 w 2t
encontramos que
U(w, t) = e e .
1 2
1 x+ 4t
Trabajando con los exponente tenemos entonces u(x, t) = e .
que 1 + 4t

2
w4 (1+4t)
( w. 1 + 4t )2 En la galera 7.5. vemos la grfica de nuestra
U(w, t) = e = e 4 .
solucin. Si bien la galera se parece a la de la funcin

Aqu tenemos una nueva situacin para aplicar la armnica de la galera 7.3. la diferencia es

propiedad de cambio de escala fundamental. Esta funcin por ejemplo no es armnica

ni los conjuntos de nivel son circunferencias como se
1 1
F{f ( t)} = F(aw) (4) ve claramente en esa galera.
a a

donde

a= 1 + 4t

y donde
164
 Galera 7.5. Grfica de la funcin solucin del problema
del calor en una barra infinita.

La solucin u(x, t) desde distintos ngulos....

165