Matemtica 4

Segundo Cuatrimestre 2000

Transformada de Fourier
M. del C. Calvo

Resultados previos
Vamos a dar tres resultados que nos van a permitir justificar el paso al l
mite y la derivacin bajo el signo integral. El primero de ellos no lo vamos a
demostrar porque requiere teora de la medida. 1
Definicin
Diremos que una funcin f : R C es continua a trozos si en cada intervalo
finito es continua salvo en una cantidad finita de puntos donde las
discontinuidades son saltos.
Notaremos con G(R) al conjunto de dichas funciones, con G1(R) a los
elementos de G(R) que adems son absolutamente integrables en R; i.e., G1(R)
= G(R) L1(R) y con G2 = G(R) L2(R). Estos dos ltimos conjuntos son
subespacios vectoriales de L1 y L2 respectivamente y por ello tambin normados
con

f 1 =

|f (x)| dx

(
f 2 =

)1/2
|f (x)|2 dx

Teorema de la Convergencia Dominada de Lebesgue

Sean (fn) L1(R), g L1(R) y f : R R absolutamente integrable sobre
intervalos finitos tales que
(i) fn(x) f (x) para todo x R
(ii) |fn(x)| |g(x)| para todo x R
Entonces:
a) f L1(R)

b)
fn(x) dx

f (x) dx.

cf. Kolmogoroff, A.N.,Fomin, S.V., Elementos de la teora de funciones y del anlisis

funcional, Ed. Mir, Mosc, 1972, pg. 343

2
Vamos a ver ahora dos aplicaciones muy tiles de este resultado
Paso al lmite bajo el signo integral

Sea F (y) =
f (x, y) dx con

(i) f : R (a, b) R absolutamente integrable respecto de x para todo y

(a,
b)
(i.e.,
1
f( ,y) L (R) para todo y (a,b))

(ii) Existe g L1(R) tal que |f (x, y)| |g(x)| para todo x, y
(iii) Para y0 (a, b) existe absolutamente integrable sobre intervalos finitos talque
f (x, y) (x) para todo x R.
yy0

Entonces:
a) L1(R)

b) F (y)
yy0

(x) dx

i.e., lm
yy0

f (x, y) dx=

)
lmf (x, y) dx

yy0

Demostracin:
a)
|(x)| |g(x)|

|f (x, y)| |g(x)| para

todo y
b)

|(x)| dx converge.

Basta ver que: yn y0

F(yn) (x) dx

Siendo F (yn) = f (x, yn) dx, consideremos la sucesin de funciones definidas por:

fn(x) = f (x, yn). Estas fn satisfacen

fn L1 para todo n
fn(x) = f (x, yn) (x) para todo x pues yn y0
|fn(x)| = |f (x, yn)| |g(x)| para todo x, n
Podemos aplicar entonces el Teorema de convergencia dominada para concluir que

F (yn) =
f (x, yn) dx = fn(x) dx
(x) dx

Derivacin bajo el signo integral

Sea H(y) =
h(x, y) dx donde

3
(i) h : R (a, b) R es absolutamente integrable respecto de x para
todo y (ii) Existe h
y en R (a,b) y es absolutamente integrable sobre todo intervalo finito

h
|g(x)| para todo x,
y
(iii) Existe g L1(R) tal que

y(x,y)
Entonces
a) H es derivable

b) H(y) =
y(x,y) dx

i.e., d
dx
dy

h(x, y)

y(x,y0

) dx

Demostracin:
Sea y

(a, b). El cociente incremental de H en y0 se puede escribir como

H(y)

h(x, y) h(x, y0)

= 1
H(y0)
dx
h(x, y) h(x, y0)

yy0
yy0
dx
=
yy0
h(x, y0)
La idea es aplicar el resultado anterior. Llamemos entonces f (x, y) = h(x, y)
yy0
Con esto, la F de la proposicin anterior resulta
)

F (y) = H(y) H(y0

yy0

i.e., queremos probar que F (y) y(x,y) dx

yy0

Veamos que f cumple las hiptesis:

f :R(a,b)Resintegrablerespectodexparatodoy porquehloes
|f (x, y)| |g(x)| para todo x, y con g L1, pues:
1

|f (x, y)| =
h(x, y) h(x, y0)
=
|y y0| |h(x, y) h(x,

0
y )| = |g(x)|
yy0

Lagrange

cy,x)

y(x,

donde cy,x es un nmero entre y0 e y con lo cual : (x, cy,x) R (a, b).
) h

f(x,y)= h(x,y)h(x,y0
) para todo x. Si llamamos (x) = y(x,
yy
0 y(x,y0
0 todo yy
resulta integrable
sobre
intervalo
finito.

E
l

r
e

sultado anterior nos garantiza entonces que

a) (x) =

h
) est en L1
y(x,y0
(R)

y0)

h
)
b) H(y) H(y0
= F(y) (x) dx) =
dx. Por lo que podemos
yy0
yy0
y(x,y0

asegurar que H es derivable en y0 y que su derivada es

h
H(y0) =
) dx
y(x,y0

Integral de Fourier
Vimos cmo las series de Fourier representan a una considerable familia de
funciones peridicas. Ahora nos proponemos extender esto para funciones no
peridicas reemplazando la serie por una integral.
Tomemos en principio una funcin f tal que ella y su derivada son continuas a
trozos
en el intervalo [, ]. En tal caso, salvo para un n mero finito de puntos de ese
intervalo,
se tiene

f (x) = a0
ak cos( k
2
x) + bk sen( x)
k=1
+

donde

ak = 1 f (t) cos( k
y
bk = 1 f (t) sen( k
t) dt

t) dt

Entonces


f (x) =
f (t) dt + 1
f (t).[cos( k
dt
1

t) x) + sen( t) sen( x)]

k=1 cos(

f (t) cos( k
= 1 f (t) dt + 1
t x)
2

dt
k=1

= 1 f (t) dt +
f (t) cos( k

(t x))
2 1
dt

k=1

f (t) cos(k
= 1 f (t) dt + 1
(t x))
2

dt

k=1

= 1 f (t) dt + 1
(k )dt=()
2

k=1

si F(y) = f (t) cos(y(t x)) dt

Pensemos en la particin de R0 dada por: y0 = 0 <

y1 =

La longitud de cada intervalito es

<<yk =k <. .

como una suma (infinita) de Riemann de la funcin F : k=1 F(yk)yk.mNotemos(que

la norma de la particin tiende a cero cuando .

5
Supongamos ahora que f L1(R). Entonces, la funcin f (t) cos(y(t x))
tambin es de mdulo integrable. Tomando l mite formalmente podramos
decir que

F(y) = f (t) cos(y(t x)) dt

F (y) = f (t) cos(y(t x)) dt

junto con la interpretacin anterior si todo esto fuese vlido tendramos

1

k= F(yk)yk
1

1 F (y) dy
0

Y ms aun, como el primer sumando de () tiende a cero cuando tiende a infinito

debido a que la integral est acotada por f 1, podramos escribir

f (x) = 1
0

F (y) dy = 1
0

f (t) cos(y(t x)) dt dy

(1)

Todo esto fue formal pero antes de probar que es realmente vlido conviene hacer notar
la similitud con la representacin en serie de Fourier. Siendo

f (t) cos(y(t x)) dt = f (t).[cos(yt) cos(yx) + sen(yt) sen(yx)] dt

)
)
(
(
=
f (t) cos(yt) dt . cos(yx) +
f (t) sen(yt) dt . sen(yx)

si llamamos
ay
1
obtenemos

f (t) cos(yt) dt

f (x) =

by
1

f (t) sen(yt) dt

ay . cos(yx)+ by . sen(yx) dx
0

Podramos decir que pasamos de una representacin discreta (la serie) a una
representacin continua (la integral).
Teniendo en cuenta que cos(y(t x)) es par como funcin de y, la ecuacin (1) se
puede escribir en la forma
)
(
f (x)
f (t) cos(y(t x)) dt dy

1
=
2

Por otrlado, como sen(y(t x)) en impar como funcin de y, si adems supiramos que
g(y) =

f (t) sen(y(t x)) dt es integrable tendr amos

1
2

( )
f (t) sen(y(t x)) dt dy = 0

6
Entonces,
f (x)

=
1

)
f (t) cos(y(t x)) dt dy
( )

1
+
f (t) sen(y(t x)) dt dy
(
i 2
)

= 1
2
(

= 1
2

f (t)eiy(tx) dt dy
)

f (t)eiyt dt eiyx dy

A la funcin que aparece entre parntesis en el ltimo miembro de las

igualdades anteriores se la llama transformada de Fourier de f .
Todo lo que hicimos en esta seccin fue puramente formal y con el nico
objetivo de sugerir la definicin de transformada de Fourier. Ahora daremos una
definicin precisa y justificaremos las propiedades que se derivan de ella.
Definicin

1
Dada f G (R), se llama transformada de Fourier de f a la funcin 2
F(f )(s) =

f (s) = f (y)eisy dy

Utilizaremos indistintamente ambas notaciones. La primera resulta ms

conveniente cuando se trata de expresar la transformada de Fourier de una
funcin que est definida a partir de f , por ejemplo F(xf (x)).

Teorema
1
Si f G1(R), entonces

a) f es continua en R
b) lm f (s) = 0
|s|+

Demostracin:
a)

En principio notemos que siendo f (y)eisy continua a trozos en R y |f (y)e isy |

= |f (y)| yf L1(R)resultaque f est bien definida en todo R.
2

Hay otras variantes en la manera de definirla, sta es la que corresponde a la utilizada en la prctica

7
Para comprobar la continuidad de f debemos ver que lm f (s + h) f (s)) = 0. En
h0

principio,
f (s + h) f (s)
dy

=
f (y)e

f (y)ei(s+h)y dy f (y)eisy dy = f (y)(ei(s+h)y eisy )

isy

(e

ihy

1) dy

Para ver que esto tiende a cero cuando h 0 slo debemos verificar que se
cumplen
las
hiptesis que nos permiten pasar al lmite bajo el signo integral. En efecto, si
llamamos
(y, h) = f (y)eisy (eihy 1), es absolutamente integrable sobre intervalos finitos y
adems
|(y, h)| = |f (y)||eihy 1| 2|f (y)| = g(y) para todo y R
g L1(R)
(y, h) (y) = 0 para todo y R
h0

L1(R)
De modo entonces que podemos asegurar que

l m f (s + h) f
(s)) =

lm(f (y)eisy (eihy 1)) dy = 0

h0

h0

b)
f (s) =
=
=

f (y)eisy dy

(f (y) cos(sy) + if (y) sen(sy)) dy

(f (y) cos(sy) dy + i f (y) sen(sy)) dy

Basta entonces ver que cada una de estas integrales tiende a cero cuando s tiende a .
Lo hacemos para la priera, la otra es anloga.

La convergencia de |f (y)| dy nos permite afirmar que -dado > 0- existe M > 0

tal que
|f (y)| dy <
|y|>M
2. Dedonde,

|f (y) cos(sy)| dy
|f (y)| dy <
f (y) cos(sy) dy
|y|>M
2

|y|

>M
|y|
>M
M
Por otro lado, recordando que f (y) dy es el nfimo de las sumas superiores corresM

pondientes a las particiones de [M, M ], sabemos que dado este existe una particin
de [M, M ] tal que
M
0S(f)
f (y) dy <
4 (
M

donde S (f ) = k(yk+1 yk) y k =

sup {f (y)}, k = 0, . . . , m 1.

yk yyk+1

k=0

Si indicamos con h(y) a la funcin escalera definida en [M, M ] que vale k en el

intervalo [yk, yk+1) obtenemos
M

S (f )
f (y) dy =
M

yk+1
k(yk+1 yk)
f (y) dy
k=0 yk

k=0

=
=
i.e.,

M
M

yk+1
yk+1
(k f (y)) dy =
(h(y) f (y)) dy

yk

k=0

yk+1
k=0 yk

yk

k=0

M
|h(y) f (y)| dy = |h(y) f (y)| dy
M

|h(y) f (y)| dy <

4 yporlotanto
M
|(h(y) f (y)) cos(sy)| dy <
M
4

para todo s R. Acotemos ahora la siguiente integral

y
k+1
M

k sen(sy)

yk+1

h(y)
cos(sy)

dy
=
k
cos(sy)
dy

=
s
yk
k= yk
k=0

= 1 k(sen(syk+1)

sen(syk))
|s|

k=0

1
2|k| = K
|s|
|s|
k=0

Volviendo al lmite que queramos calcular,

f (y) cos(sy) dy

f (y) cos(sy) =
f
(y)
cos(sy)
dy

dy

|y|>M

|f (y)| dy

(f (y) h(y)) cos(sy)

+
M
dy
|y|>M

h(y) cos(sy)
dy

<
2+ 4+ |s|

si |s|>A

para un cierto A > 0.

m1

Luego, queda probado

que l

ba que tambin l m

|s|+

f (y) cos(sy) dy = 0. De manera similar se prue-

|s|+

f (y) sen(sy) dy = 0 y por lo tanto concluimos que

m1

m1

f (s) 0
|s|+

m1

m1

m1

m1

m1

m1

m1

9
Una consecuencia inmediata de este resultado es el siguiente

Corolario 1
f es uniformemente continua en R para toda f G1(R).

Ejemplos
1. Sea f (x) = e|x|. Es claro que f G1(R).

f (s) =
e|x|eisx dx =
e|x|
cos(sx)

|
{z
par

x
=2
e cos(sx) dx
=

dx +

}
2
2
s +1

e|x| sen(sx) dx
|
{z }
impar

integr. p/partes

2
i.e., F(e|x|)(s)
f G1(R).
2
s
+
1
.
Notemos
que
en
este
caso
tambin
=
2. Dados a < b, sea f : R R dada
por

, axb
1
f (x) =
0 , en otro caso
Utilizando los mtodos vistos para calcular integrales mediante residuos se llega a
que
f (s) = 2 sen(sb)
s
Notemos que en este caso,
absolutamente integrable en R y por lo
f G1(R). VemosentoncesqueF(G1(R))G1(R).

f no es
tanto

Propiedades de la transformada de Fourier

1. Sean f, g G1(R) y a, b C, entonces af + bg G1(R) y af+ bg = af + b
La demostracin es inmediata a partir de las propiedades de la integral.
2. Sea f G1(R) y tal que Im(f ) R, entonces
a) f (s) = f (s)

f (s) =

f (y)ei(s)y dy =

f (y)eisy dy =

f (y)eisy dy = f (s)

10
b) si adems f es par, f es par y real
f (s) =
=

f (y)eisy dy

f (y) cos(sy) dy + i

f (y) cos(sy) dy

f (y) sen(sy) dy =
|
{z
}

impar

f (s) = f (s)

f (s)
=

f (s)R

i.e., es par.
c) si adems f es impar, f es impar e imaginaria pura

f (s) =

f (y) cos(sy) dy
|
{z

+i
}

impar

f (s) =

f (y) sen(sy) dy iR

f (s) = i f (y) sen(sy) dy = f(s)

3. Sean f G1(R), a, b R, a = 0 y g(x) = f (ax + b). Entonces, g

G1 y
(s) =

1|a|

e iab f( a

En efecto,

(s) =

g(x)eisx

dx =

f (ax + b)eisx

dx = sg(a)

f (u)eis

1
du
a

uab

= ei a
b

|a|

u=ax+b

f (u)ei a u du = ei f(sa)
a

|a|

Hay dos casos especiales: b = 0 y a = 1

1
F(f (ax))(s)
|a| F(f )(s/a)
=

F(f (x + b))(s) = eisbF(f )(s)

4. Sea f G1(R) y c R, entonces

F(eicxf (x))(s) =f (s + c)
En efecto,

F(eicxf (x))(s) =

eicxf (x)eisx dx =

f (x)ei(s+c)x dx = f (s + c)

11
5. Sea f G1(R) y c R. Se tiene
f (s + c) +f(s
F(f (x) cos(cx))(s)
c)
=
2

f (s + c) f(s
c) F(f (x) sen(cx))(s) =
2i

Lo hacemos para la primera igualdad:

(
F(f (x) cos(cx))(s) = f (x) eicx +
F
eicx
2

(s) = 1
2F(f(x)eicx)(s) + 2F(f(x)eicx)
(s)

= f (s + c) +f(s
c)
2
Lema 1
Si f es continua en R y tal que f, f G1(R), entonces
lm f (x) = 0

Demostracin:
Lo hacemos para x +. Como f G1(R), la
integral verge. Esto y la continuidad de f nos 0 f(x) dx tambin conpermiten afirmar que
x
lm f (x) = lm
(f (x) f (0)) + f (0) = lm f(t) dt
+ f(0) C
x+

x+

x+ 0

Ahora bien, si fuese l m f (x) = 0, f no podra ser integrable en R. Luego, necesariamente

x+

debe ser l m f (x) = 0.

x+

Proposicin 1
Si f es continua en R y tal que f, f G1(R), entonces
f(s) = isf(s)
Demostracin:
En principio,

f(s) =

f(x)eisx dx =

lm

L,M + M

f(x)eisx dx

Integrando por partes esta ltima integral y teniendo en cuenta la continuidad de f , resulta

L
L L

f(x)eisx dx = f(x)eisx
f (x)iseisx dx
M
M
M
L
(

= f (L)eisL f (M )eisM )

is f (x)eisx dx

12
El lema anterior garantiza que lo que est entre parntesis tiende a cero
mientras
que la integral del segundo sumando converge a f (s). De esta forma queda
probada la
proposicin.

Proposicin 2
Si f, f , . . . , f (n1) son continuas y f, f , . . . , f (n) G1(R), entonces
(n)

(s) = (is)nf(s)

Demostracin:
Lo hacemos por induccin sobre n. Para n = 1 es la proposicin anterior. Para el
paso inductivo basta notar que
(n+1
)

(s) =

(n)

(s) = (is)[(is)nf(s)] = (is)n+1f(s)

Observacin
En el caso de series de Fourier vimos que cuanto mayor era el orden de
diferenciabilidad de f , ms rpido era el decrecimiento a cero de sus coeficientes
de Fourier.
(n)
es acotada en R; i.e.,
existe K > 0 tal que
(n)
(s)| K
para todo s R. Pero entonces, aplicando el resultado anterior
f (s)| K
|s|n
para todo s = 0. Es decir, cuanto mayor sea n ms rpido tender f aceroenelinfinito.

Proposicin 3
Sean f G1(R) y g(x) = xf (x). Si g L1(R) entonces, f es de clase C1 y satisface
f =iF(xf(x))
Demostracin:
Llamemos h(x, s) = f (x)eisx; luego,
comprobar que
f es

f (x) =

h(x, s) dx. Basta

de clase C1 en (a, b) para todo a < b. La idea es ver que podemos derivar bajo el signo

integral. Consideremos entonces h : R (a, b) C y veamos que satisface las

hiptesis del mencionado teorema:

(f
(n))(s) = (is)f

En este caso pasa algo similar. El teorema 1 nos asegura que f

|f

13
h( , s)
serlo

L1(R) para todo s (a, b) por

f

h
s(x,s) = ixf(x)eisx; tambin es absolutamente integrable respecto de x
para todo s por serlo g

h
para todo x, s con g
|xf (x)| = |g(x)|
integrable

s(x,s)
=
Podemos concluir entonces
f es derivable y que su derivada es
que

f(s) =
xf (x)eisx dx = iF(xf (x))(s)
s(x,s) dx =
i
Finalmente, la igualdad anterior y la continuidad de la transformada de Fourier aseguran
que f es de clase C1.

Por induccin se prueba la siguiente generalizacin del resultado

anterior

Proposicin 4
Sean f G1(R), g(x) = xnf (x) y n N. Si g L1(R) entonces, f es de clase Cn y
satisface
f (n) = inF(xnf (x))

Bibliograf a
[1] Kolmogoroff, A.N., Fomin, S.V., Elementos de la teora de funciones y del
anlisis
funcional,, Ed. Mir, Mosc, 1972.
[2] Pinkus, A., Zafrany, S., Fourier Series and Integral Transforms, Cambridge
University
Press, 1997.