tica 4

Matema

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 lmite y la
derivacion bajo el signo integral. El primero de ellos no lo vamos a demostrar porque
requiere teora de la medida. 1
Definici
on
Diremos que una funcion 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 ademas son absolutamente integrables en R; i.e., G1 (R) = G(R) L1 (R) y con
G2 = G(R) L2 (R). Estos dos u
ltimos conjuntos son subespacios vectoriales de L1 y L2
respectivamente y por ello tambien normados con
Z
Z
1/2
kf k1 =
|f (x)| dx
kf k2 =
|f (x)|2 dx

Teorema de la Convergencia Dominada de Lebesgue

Sean (fn ) L1 (R), g
finitos tales que

L1 (R) y f : R R absolutamente integrable sobre intervalos

(i) fn (x) f (x) para todo x

(ii) |fn (x)| 6 |g(x)| para todo x

Entonces:
a) f
Z
b)

L1 (R)

fn (x) dx

f (x) dx.

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

alisis funcional, Ed.
Mir, Mosc
u, 1972, p
ag. 343

2
Vamos a ver ahora dos aplicaciones muy u
tiles de este resultado
Paso al lmite bajo el signo integral
Z
f (x, y) dx con
Sea F (y) =

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

f ( , y) L1 (R) para todo y (a, b))
(ii) Existe g

(a, b) (i.e.,

L1 (R) tal que |f (x, y)| 6 |g(x)| para todo x, y

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

Entonces:
a)

L1 (R)
Z

b) F (y)

yy0

(x) dx

i.e., lm

yy0

Z
f (x, y) dx =

lm f (x, y) dx

yy0

Demostracion:
? a)
Z

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

|(x)| dx converge.

? b)
Z

(x) dx
Basta ver que: yn y0 F (yn )

Z
Siendo F (yn ) =
f (x, yn ) dx, consideremos la sucesion 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 )| 6 |g(x)| para todo x, n
Podemos aplicar entonces el Teorema de convergencia dominada para concluir que
Z
Z
Z
F (yn ) =
f (x, yn ) dx =
fn (x) dx
(x) dx

Derivaci
on bajo el signo integral
Z
Sea H(y) =
h(x, y) dx donde

3
(i) h : R (a, b) R es absolutamente integrable respecto de x para todo y
h
en R (a, b) y es absolutamente integrable sobre todo intervalo finito
y




h
(iii) Existe g L1 (R) tal que  (x, y) 6 |g(x)| para todo x, y
y
(ii) Existe

Entonces
a) H es derivable
Z
h
0
b) H (y) =
(x, y) dx
y

d
i.e.,
dy

Z
h(x, y) dx =


h
(x, y0 ) dx .
y

Demostracion:
Sea y0

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

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

La idea es aplicar el resultado anterior. Llamemos entonces f (x, y) =

Con esto, la F de la proposicion anterior resulta
F (y) =
Z
i.e., queremos probar que F (y)

yy0

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

H(y) H(y0 )
y y0

h
(x, y) dx
y

Veamos que f cumple las hipotesis:

? f : R (a, b) R es integrable respecto de x para todo y porque h lo es
L1 , pues:


 h(x, y) h(x, y0 ) 
1

|f (x, y)| =
|h(x, y) h(x, y0 )| = 

|y y0 |
y y0

? |f (x, y)| 6 |g(x)| para todo x, y con g

Lagrange



 h

 (x, cy,x )
 y


6 |g(x)|
donde cy,x es un n
umero entre y0 e y con lo cual : (x, cy,x ) R (a, b).
h(x, y) h(x, y0 )
h
h

(x, y0 ) para todo x. Si llamamos (x) =

(x, y0 )
yy0 y
y y0
y
resulta integrable sobre todo intervalo finito.

? f (x, y) =

El resultado anterior nos garantiza entonces que

a) (x) =

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

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

y
asegurar que H es derivable en y0 y que su derivada es
Z
h
0
(x, y0 ) dx
H (y0 ) =
y

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

a0 X
k
k
f (x) =
ak cos( x) + bk sen( x)
+
2
`
`
k=1
donde
1
ak =
`
Entonces

k
f (t) cos( t) dt
`
`

1
f (x) =
2`
1
2`

1
2`

1
2`

1
2`

=
Z

f (t) dt +
`
Z `

f (t) dt +
`
Z `

f (t) dt +
`
Z `

f (t) dt +
`
Z `

f (t) dt +
`

1
bk =
`

f (t) sen(
`

k
t) dt
`

Z
1X `
k
k
k
k
f (t).[cos( t) cos( x) + sen( t) sen( x)] dt
` k=1 `
`
`
`
`
Z

`
1X
k
k
f (t) cos( t
x) dt
` k=1 `
`
`
Z
1X `
k
f (t) cos( (t x)) dt
` k=1 `
`
Z

1X `

f (t) cos(k (t x)) dt

k=1 ` `
`

1X

F` (k ) dt = (F)
k=1 `
`

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

si F` (y) =
`

Pensemos en la particion de R>0 dada por: y0 = 0 < y1 = ` < < yk = k ` < . . . .

La longitud de cada intervalito es ` . Esto sugiere pensar al segundo sumando de (F)
P
como una suma (infinita) de Riemann de la funcion F` :
k=1 F` (yk )yk . Notemos que
la norma de la particion tiende a cero cuando ` .

5
Supongamos ahora que f L1 (R). Entonces, la funcion f (t) cos(y(t x)) tambien es de
modulo integrable. Tomando lmite formalmente podramos decir que
`

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

F` (y) =

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

junto con la interpretacion anterior si todo esto fuese valido tendramos

1X
F` (yk )yk
k=1

F (y) dy
0

Y mas aun, como el primer sumando de (F) tiende a cero cuando ` tiende a infinito
debido a que la integral esta acotada por kf k1 , podramos escribir
Z
Z Z
1
1
f (x) =
F (y) dy =
f (t) cos(y(t x)) dt dy
(1)
0
0

Todo esto fue formal pero antes de probar que es realmente valido conviene hacer notar
la similitud con la representacion en serie de Fourier. Siendo
Z
Z
f (t).[cos(yt) cos(yx) + sen(yt) sen(yx)] dt
f (t) cos(y(t x)) dt =



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

si llamamos
1
ay =

f (t) cos(yt) dt

obtenemos

1
by =

f (t) sen(yt) dt

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

f (x) =
0

Podramos decir que pasamos de una representacion discreta (la serie) a una representacion continua (la integral).
Teniendo en cuenta que cos(y(tx)) es par como funcion de y, la ecuacion (1) se puede
escribir en la forma

Z Z
1
f (x) =
f (t) cos(y(t x)) dt dy
2

Por otroZ lado, como sen(y(t x)) en impar como funcion de y, si ademas supieramos que

f (t) sen(y(t x)) dt es integrable tendramos

g(y) =

1
2

Z


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

6
Entonces,

Z Z
1
f (x) =
f (t) cos(y(t x)) dt dy
2 Z Z


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


1
iy(tx)
=
f (t)e
dt dy
2 Z Z


1
=
f (t)eiyt dt eiyx dy
2

A la funcion que aparece entre parentesis en el u

ltimo miembro de las igualdades
anteriores se la llama transformada de Fourier de f .
Todo lo que hicimos en esta seccion fue puramente formal y con el u
nico objetivo de
sugerir la definicion de transformada de Fourier. Ahora daremos una definicion precisa y
justificaremos las propiedades que se derivan de ella.
Definici
on
Dada f G1 (R), se llama transformada de Fourier de f a la funcion 2
F(f )(s) = f(s) =

f (y)eisy dy

Utilizaremos indistintamente ambas notaciones. La primera resulta mas conveniente

cuando se trata de expresar la transformada de Fourier de una funcion que esta 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|+

Demostracion:
? a)
En principio notemos que siendo f (y)eisy continua a trozos en R y |f (y)eisy | = |f (y)|
y f L1 (R) resulta que f esta bien definida en todo R.
2

Hay otras variantes en la manera de definirla, esta es la que corresponde a la utilizada en la practica

7
Para comprobar la continuidad de f debemos ver que lm (f(s + h) f (s)) = 0. En
h0
principio,
Z
Z
Z
i(s+h)y
isy

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

isy ihy
f (y)e (e 1) dy
=

Para ver que esto tiende a cero cuando h 0 solo debemos verificar que se cumplen las
hipotesis 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 ademas
 |(y, h)| = |f (y)||eihy 1| 6 2|f (y)| = g(y) para todo y
 g

L1 (R)

 (y, h) (y) = 0 para todo y

h0

 L1 (R)
De modo entonces que podemos asegurar que
Z

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

lm (f (s + h) f (s)) =
h0

h0

? b)
f(s) =

isy

f (y)e

dy =

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

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

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

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

tal que
|f (y)| dy < . De donde,
2
|y|>M
Z
 Z
Z



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

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 particion
de [M, M ] tal que
Z M

0 6 S (f )
f (y) dy <
4
M

8
m1
X

donde S (f ) =

k (yk+1 yk ) y k =

sup

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

yk 6y6yk+1

k=0

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

intervalo [yk , yk+1 ) obtenemos
Z

S (f )

f (y) dy =
M

m1
X

k (yk+1 yk )

k=0
m1
X Z yk+1

k=0

(k f (y)) dy =

yk

k=0
m1
X Z yk+1
k=0

m1
X Z yk+1

f (y) dy

yk
m1
X Z yk+1
k=0

(h(y) f (y)) dy

yk
M

|h(y) f (y)| dy

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

yk

y por lo tanto
4
Z M

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

4
M

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

i.e.,
M

para todo s R. Acotemos ahora la siguiente integral


 

Z M

Z yk+1
m1
 m1


X
X
y


k+1
sen(sy) 

 



h(y) cos(sy) dy  = 
k
k cos(sy) dy  = 




 
s
yk 
M
yk
k=0
k=0


m1

1  X

k (sen(syk+1 ) sen(syk ))
=


|s|  k=0
m1
1 X
K
6
2|k | =
|s| k=0
|s|
Volviendo al lmite que queramos calcular,
Z

Z
 Z M




 


 =
+

f
(y)
cos(sy)
dy
f
(y)
cos(sy)
dy
f
(y)
cos(sy)
dy



 


|y|>M
M
Z M

Z


|f (y)| dy + 
(f (y) h(y)) cos(sy) dy 
6
|y|>M
M 
Z M


+
h(y) cos(sy) dy 
M
K
6 + +
<

2 4 |s| si |s|>A
para un cierto A > 0.
Z

Luego, queda probado que lm

f (y) cos(sy) dy = 0. De manera similar se prue|s|+
Z
ba que tambien lm
f (y) sen(sy) dy = 0 y por lo tanto concluimos que
|s|+

f(s) 0
|s|+

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).
Z
Z
Z
|x| isx
|x|

f (s) =
e e dx =
e
cos(sx) dx +
e|x| sen(sx) dx
{z
}
{z
}
|

|
par
impar
Z
2
ex cos(sx) dx
=2
=

s2 + 1
0
integr. p/partes
i.e., F(e|x| )(s) =

s2

2
. Notemos que en este caso tambien f G1 (R).
+1

2. Dados a < b, sea f : R R dada por

1 , a 6 x 6 b
f (x) =
0 , en otro caso
Utilizando los metodos vistos para calcular integrales mediante residuos se llega a que
sen(sb)
f(s) = 2
s
Notemos que en este caso, f no es absolutamente integrable en R y por lo tanto
f 6 G1 (R). Vemos entonces que F(G1 (R)) 6 G1 (R).

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
g

La demostracion 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) =

i(s)y

f (y)e

f (y)eisy dy =

dy =

f (y)eisy dy = f(s)

10
b) si ademas f es par, f es par y real
Z

f (s) =
f (y)eisy dy
Z
Z

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

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

f (y) cos(sy) dy

impar

f(s) = f(s) = f(s)

f(s)R

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

f (s) =
f (y) cos(sy) dy +i
f (y) sen(sy) dy
{z
}
|

iR

impar

f(s) = f(s) = i

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

3. Sean f

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

g(s) =

G1 y

1 isb
e a f( as )
|a|

En efecto,
Z

isx

g(x)e

g(s) =

|a|

isx

f (ax + b)e

dx =

Z
dx

i as b

f (u)ei a u du =

i as b

|a|

u=ax+b

sg(a)

f (u)eis

ub
a

f( as )

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

F(f (ax))(s) =

4. Sea f

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

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

G1 (R) y c R, entonces
F(eicx f (x))(s) = f(s + c)

En efecto,
F(e f (x))(s) =
icx

icx

isx

e f (x)e

dx =

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

1
du
a

11
5. Sea f

G1 (R) y c R. Se tiene

F(f (x) cos(cx))(s) =

f(s + c) + f(s c)
2

F(f (x) sen(cx))(s) =

f(s + c) f(s c)
2i

Lo hacemos para la primera igualdad:

eicx + eicx

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

f (s + c) + f (s c)
=
2

F(f (x) cos(cx))(s) = F f (x)

Lema 1
Si f es continua en R y tal que f, f 0

G1 (R), entonces

lm f (x) = 0

Demostracion:
R
Lo hacemos para x +. Como f 0 G1 (R), la integral 0 f 0 (x) dx tambien converge. Esto y la continuidad de f nos permiten afirmar que
Z x
lm f (x) = lm (f (x) f (0)) + f (0) = lm
f 0 (t) dt + f (0) C
x+

x+

x+

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

x+

debe ser lm f (x) = 0.

x+

Proposici
on 1
Si f es continua en R y tal que f, f 0

G1 (R), entonces

fb0 (s) = isf(s)

Demostracion:
En principio,
fb0 (s) =

isx

f (x)e

Z
dx =

lm

L,M +

f 0 (x)eisx dx

Integrando por partes esta u

ltima integral y teniendo en cuenta la continuidad de f , resulta
Z L
Z L
L
0
isx
isx 
f (x)e dx = f (x)e 

f (x)iseisx dx
M
M
M
Z L


isL
isM
= f (L)e f (M )e
is
f (x)eisx dx
M

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

Proposici
on 2
Si f, f 0 , . . . , f (n1) son continuas y f, f 0 , . . . , f (n)

G1 (R), entonces

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

fd

Demostracion:
Lo hacemos por induccion sobre n. Para n = 1 es la proposicion anterior. Para el paso
inductivo basta notar que
d
\
(n+1) (s) = (f
(n) )0 (s) = (is)f
(n) (s) = (is)[(is)n f(s)] = (is)n+1 f(s)
f\

Observaci
on
En el caso de series de Fourier vimos que cuanto mayor era el orden de diferenciabilidad
de f , mas rapido era el decrecimiento a cero de sus coeficientes de Fourier.
(n) es acotada en R; i.e.,
En este caso pasa algo similar. El teorema 1 nos asegura que fd
existe K > 0 tal que
(n) (s)| 6 K
|fd
para todo s R. Pero entonces, aplicando el resultado anterior
|f(s)| 6

K
|s|n

para todo s 6= 0. Es decir, cuanto mayor sea n mas rapido tendera f a cero en el infinito.

Proposici
on 3
Sean f G1 (R) y g(x) = xf (x). Si g

L1 (R) entonces, f es de clase C 1 y satisface

f0 = iF(xf (x))
Demostracion:
isx

Llamemos h(x, s) = f (x)e

; luego, f(x) =

h(x, s) dx. Basta comprobar que f es

de clase C 1 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 hipotesis
del mencionado teorema:

13
? h( , s) L1 (R) para todo s (a, b) por serlo f
h
(x, s) = ixf (x)eisx ; tambien es absolutamente integrable respecto de x para todo s
s
por serlo g


 h


?  (x, s) = |xf (x)| = |g(x)| para todo x, s con g integrable
s
?

Podemos concluir entonces que f es derivable y que su derivada es

Z
Z
h
0
(x, s) dx = i
xf (x)eisx dx = iF(xf (x))(s)
f (s) =
s

Finalmente, la igualdad anterior y la continuidad de la transformada de Fourier aseguran

que f es de clase C 1 .
Por induccion se prueba la siguiente generalizacion del resultado anterior

Proposici
on 4
Sean f G1 (R), g(x) = xn f (x) y n N. Si g L1 (R) entonces, f es de clase C n y
satisface
f(n) = in F(xn f (x))

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