Вы находитесь на странице: 1из 13

Matem atica 4 Segundo Cuatrimestre 2000

Transformada de Fourier
M. del C. Calvo
Resultados previos
Vamos a dar tres resultados que nos van a permitir justicar el paso al lmite y la
derivaci on bajo el signo integral. El primero de ellos no lo vamos a demostrar porque
requiere teora de la medida.
1
Denicion
Diremos que una funcion f : R C es continua a trozos si en cada intervalo nito es
continua salvo en una cantidad nita de puntos donde las discontinuidades son saltos.
Notaremos con G(R) al conjunto de dichas funciones, con G
1
(R) a los elementos de
G(R) que ademas son absolutamente integrables en R; i.e., G
1
(R) = G(R) L
1
(R) y con
G
2
= G(R) L
2
(R). Estos dos ultimos conjuntos son subespacios vectoriales de L
1
y L
2
respectivamente y por ello tambien normados con
f
1
=
_

|f(x)| dx f
2
=
_
_

|f(x)|
2
dx
_
1/2
Teorema de la Convergencia Dominada de Lebesgue
Sean (f
n
) L
1
(R), g L
1
(R) y f : R R absolutamente integrable sobre intervalos
nitos tales que
(i) f
n
(x) f(x) para todo x R
(ii) |f
n
(x)| |g(x)| para todo x R
Entonces:
a) f L
1
(R)
b)
_

f
n
(x) dx
n
_

f(x) dx.
1
cf. Kolmogoro, A.N.,Fomin, S.V., Elementos de la teora de funciones y del analisis funcional, Ed.
Mir, Mosc u, 1972, pag. 343
2
Vamos a ver ahora dos aplicaciones muy utiles 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.,
f( , y) L
1
(R) para todo y (a, b))
(ii) Existe g L
1
(R) tal que |f(x, y)| |g(x)| para todo x, y
(iii) Para y
0
(a, b) existe absolutamente integrable sobre intervalos nitos tal que
f(x, y)
yy
0
(x) para todo x R.
Entonces:
a) L
1
(R)
b) F(y)
yy
0
_

(x) dx
_
i.e., lm
yy
0
_

f(x, y) dx =
_

lm
yy
0
f(x, y) dx
_
Demostracion:
a)
|f(x, y)| |g(x)| para todo y |(x)| |g(x)|
_

|(x)| dx converge.
b)
Basta ver que: y
n
y
0
F(y
n
)
_

(x) dx
Siendo F(y
n
) =
_

f(x, y
n
) dx, consideremos la sucesion de funciones denidas por:
f
n
(x) = f(x, y
n
). Estas f
n
satisfacen
f
n
L
1
para todo n
f
n
(x) = f(x, y
n
) (x) para todo x pues y
n
y
0
|f
n
(x)| = |f(x, y
n
)| |g(x)| para todo x, n
Podemos aplicar entonces el Teorema de convergencia dominada para concluir que
F(y
n
) =
_

f(x, y
n
) dx =
_

f
n
(x) dx
_

(x) dx
Derivacion 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 nito
(iii) Existe g L
1
(R) tal que

h
y
(x, y)

|g(x)| para todo x, y


Entonces
a) H es derivable
b) H

(y) =
_

h
y
(x, y) dx
_
i.e.,
d
dy
_

h(x, y) dx =
_

h
y
(x, y
0
) dx
_
.
Demostracion:
Sea y
0
(a, b). El cociente incremental de H en y
0
se puede escribir como
H(y) H(y
0
)
y y
0
=
1
y y
0
_

h(x, y) h(x, y
0
) dx =
_

h(x, y) h(x, y
0
)
y y
0
dx
La idea es aplicar el resultado anterior. Llamemos entonces f(x, y) =
h(x, y) h(x, y
0
)
y y
0
.
Con esto, la F de la proposicion anterior resulta
F(y) =
H(y) H(y
0
)
y y
0
i.e., queremos probar que F(y)
yy
0
_

h
y
(x, y) dx
Veamos que f cumple las hipotesis:
f : R (a, b) R es integrable respecto de x para todo y porque h lo es
|f(x, y)| |g(x)| para todo x, y con g L
1
, pues:
|f(x, y)| =
1
|y y
0
|
|h(x, y) h(x, y
0
)| =

h(x, y) h(x, y
0
)
y y
0

Lagrange

h
y
(x, c
y,x
)

|g(x)|
donde c
y,x
es un n umero entre y
0
e y con lo cual : (x, c
y,x
) R (a, b).
f(x, y) =
h(x, y) h(x, y
0
)
y y
0

yy
0
h
y
(x, y
0
) para todo x. Si llamamos (x) =
h
y
(x, y
0
)
resulta integrable sobre todo intervalo nito.
El resultado anterior nos garantiza entonces que
a) (x) =
h
y
(x, y
0
) esta en L
1
(R)
4
b)
H(y) H(y
0
)
y y
0
= F(y)
yy
0
_

(x) dx =
_

h
y
(x, y
0
) dx. Por lo que podemos
asegurar que H es derivable en y
0
y que su derivada es
H

(y
0
) =
_

h
y
(x, y
0
) dx
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 reem-
plazando 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 nito de puntos de ese intervalo,
se tiene
f(x) =
a
0
2
+

k=1
a
k
cos(
k

x) + b
k
sen(
k

x)
donde
a
k
=
1

f(t) cos(
k

t) dt y b
k
=
1

f(t) sen(
k

t) dt
Entonces
f(x) =
1
2
_

f(t) dt +
1

k=1
_

f(t).[cos(
k

t) cos(
k

x) + sen(
k

t) sen(
k

x)] dt
=
1
2
_

f(t) dt +
1

k=1
_

f(t) cos(
k

t
k

x) dt
=
1
2
_

f(t) dt +
1

k=1
_

f(t) cos(
k

(t x)) dt
=
1
2
_

f(t) dt +
1

k=1

f(t) cos(k

(t x)) dt
=
1
2
_

f(t) dt +
1

k=1

(k

) dt = ()
si F

(y) =
_

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


Pensemos en la particion de R
0
dada por: y
0
= 0 < y
1
=

< < y
k
= k

< . . . .
La longitud de cada intervalito es

. Esto sugiere pensar al segundo sumando de ()


como una suma (innita) de Riemann de la funcion F

k=1
F

(y
k
)y
k
. Notemos que
la norma de la particion tiende a cero cuando .
5
Supongamos ahora que f L
1
(R). Entonces, la funcion f(t) cos(y(t x)) tambien es de
modulo integrable. Tomando lmite 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 interpretacion anterior si todo esto fuese valido tendramos
1

k=1
F

(y
k
)y
k

1

_

0
F(y) dy
Y mas aun, como el primer sumando de () tiende a cero cuando tiende a innito
debido a que la integral esta 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 valido conviene hacer notar
la similitud con la representacion 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
a
y
=
1

f(t) cos(yt) dt y b
y
=
1

f(t) sen(yt) dt
obtenemos
f(x) =
_

0
a
y
. cos(yx) + b
y
. sen(yx) dx
Podramos decir que pasamos de una representacion discreta (la serie) a una repre-
sentacion 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
f(x) =
1
2
_

__

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


_
dy
Por otro lado, como sen(y(t x)) en impar como funcion de y, si ademas supieramos que
g(y) =
_

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


1
2
_

__

f(t) sen(y(t x)) dt


_
dy = 0
6
Entonces,
f(x) =
1
2
_

__

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


_
dy
+i
1
2
_

__

f(t) sen(y(t x)) dt


_
dy
=
1
2
_

__

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

__

f(t)e
iyt
dt
_
e
iyx
dy
A la funcion que aparece entre parentesis en el ultimo 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 unico objetivo de
sugerir la denicion de transformada de Fourier. Ahora daremos una denicion precisa y
justicaremos las propiedades que se derivan de ella.
Denicion
Dada f G
1
(R), se llama transformada de Fourier de f a la funcion
2
F(f)(s) =

f(s) =
_

f(y)e
isy
dy
Utilizaremos indistintamente ambas notaciones. La primera resulta mas conveniente
cuando se trata de expresar la transformada de Fourier de una funcion que esta denida
a partir de f, por ejemplo F(xf(x)).
Teorema 1
Si f G
1
(R), entonces
a)

f es continua en R
b) lm
|s|+

f(s) = 0
Demostracion:
a)
En principio notemos que siendo f(y)e
isy
continua a trozos en R y |f(y)e
isy
| = |f(y)|
y f L
1
(R) resulta que

f esta bien denida en todo R.
2
Hay otras variantes en la manera de denirla, esta es la que corresponde a la utilizada en la practica
7
Para comprobar la continuidad de

f debemos ver que lm
h0
(

f(s + h) f(s)) = 0. En
principio,

f(s + h) f(s) =
_

f(y)e
i(s+h)y
dy
_

f(y)e
isy
dy =
_

f(y)(e
i(s+h)y
e
isy
) dy
=
_

f(y)e
isy
(e
ihy
1) dy
Para ver que esto tiende a cero cuando h 0 solo debemos vericar que se cumplen las
hipotesis que nos permiten pasar al lmite bajo el signo integral. En efecto, si llamamos
(y, h) = f(y)e
isy
(e
ihy
1), es absolutamente integrable sobre intervalos nitos y ademas
|(y, h)| = |f(y)||e
ihy
1| 2|f(y)| = g(y) para todo y R
g L
1
(R)
(y, h)
h0
(y) = 0 para todo y R
L
1
(R)
De modo entonces que podemos asegurar que
lm
h0
(

f(s + h) f(s)) =
_

lm
h0
(f(y)e
isy
(e
ihy
1)) dy = 0
b)

f(s) =
_

f(y)e
isy
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 primera, la otra es analoga.
La convergencia de
_

|f(y)| dy nos permite armar que dado > 0 existe M > 0


tal que
_
|y|>M
|f(y)| dy <

2
. De donde,

_
|y|>M
f(y) cos(sy) dy

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

2
Por otro lado, recordando que
_
M
M
f(y) dy es el nmo de las sumas superiores corres-
pondientes a las particiones de [M, M], sabemos que dado este existe una particion
de [M, M] tal que
0 S

(f)
_
M
M
f(y) dy <

4
8
donde S

(f) =
m1

k=0

k
(y
k+1
y
k
) y
k
= sup
y
k
yy
k+1
{f(y)}, k = 0, . . . , m1.
Si indicamos con h(y) a la funcion escalera denida en [M, M] que vale
k
en el
intervalo [y
k
, y
k+1
) obtenemos
S

(f)
_
M
M
f(y) dy =
m1

k=0

k
(y
k+1
y
k
)
m1

k=0
_
y
k+1
y
k
f(y) dy
=
m1

k=0
_
y
k+1
y
k
(
k
f(y)) dy =
m1

k=0
_
y
k+1
y
k
(h(y) f(y)) dy
=
m1

k=0
_
y
k+1
y
k
|h(y) f(y)| dy =
_
M
M
|h(y) f(y)| dy
i.e.,
_
M
M
|h(y) f(y)| dy <

4
y por lo tanto
_
M
M
|(h(y) f(y)) cos(sy)| dy <

4
para todo s R. Acotemos ahora la siguiente integral

_
M
M
h(y) cos(sy) dy

m1

k=0
_
y
k+1
y
k

k
cos(sy) dy

m1

k=0

k
sen(sy)
s

y
k+1
y
k

=
1
|s|

m1

k=0

k
(sen(sy
k+1
) sen(sy
k
))

1
|s|
m1

k=0
2|
k
| =
K
|s|
Volviendo al lmite que queramos calcular,

f(y) cos(sy) dy

_
|y|>M
f(y) cos(sy) dy

_
M
M
f(y) cos(sy) dy

_
|y|>M
|f(y)| dy +

_
M
M
(f(y) h(y)) cos(sy) dy

_
M
M
h(y) cos(sy) dy


2
+

4
+
K
|s|
<

si |s|>A

para un cierto A > 0.


Luego, queda probado que lm
|s|+
_

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


ba que tambien lm
|s|+
_

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

f(s)
|s|+
0
9
Una consecuencia inmediata de este resultado es el siguiente
Corolario 1

f es uniformemente continua en R para toda f G


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

f(s) =
_

e
|x|
e
isx
dx =
_

e
|x|
cos(sx)
. .
par
dx +
_

e
|x|
sen(sx)
. .
impar
dx
= 2
_

0
e
x
cos(sx) dx =

integr. p/partes
2
s
2
+ 1
i.e., F(e
|x|
)(s) =
2
s
2
+ 1
. Notemos que en este caso tambien

f G
1
(R).
2. Dados a < b, sea f : R R dada por
f(x) =
_
_
_
1 , a x b
0 , en otro caso
Utilizando los metodos vistos para calcular integrales mediante residuos se llega a que

f(s) = 2
sen(sb)
s
Notemos que en este caso,

f no es absolutamente integrable en R y por lo tanto

f G
1
(R). Vemos entonces que F(G
1
(R)) G
1
(R).
Propiedades de la transformada de Fourier
1. Sean f, g G
1
(R) y a, b C, entonces af + bg G
1
(R) y

af + bg = a

f + b g
La demostracion es inmediata a partir de las propiedades de la integral.
2. Sea f G
1
(R) y tal que Im(f) R, entonces
a)

f(s) =

f(s)

f(s) =
_

f(y)e
i(s)y
dy =
_

f(y)e
isy
dy =
_

f(y)e
isy
dy =

f(s)
10
b) si ademas f es par,

f es par y real

f(s) =
_

f(y)e
isy
dy
=
_

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

f(y) sen(sy) dy
. .
impar
=
_

f(y) cos(sy) dy R

f(s) =

f(s) =

f(s)R

f(s)
i.e., es par.
c) si ademas f es impar,

f es impar e imaginaria pura

f(s) =
_

f(y) cos(sy) dy
. .
impar
+i
_

f(y) sen(sy) dy iR

f(s) =

f(s) = i
_

f(y) sen(sy) dy =

f(s)
3. Sean f G
1
(R), a, b R, a = 0 y g(x) = f(ax + b). Entonces, g G
1
y
g(s) =
1
|a|
e

isb
a

f(
s
a
)
En efecto,
g(s) =
_

g(x)e
isx
dx =
_

f(ax + b)e
isx
dx =

u=ax+b
sg(a)
_

f(u)e
is
ub
a
1
a
du
=
e
i
s
a
b
|a|
_

f(u)e
i
s
a
u
du =
e
i
s
a
b
|a|

f(
s
a
)
Hay dos casos especiales: b = 0 y a = 1
F(f(ax))(s) =
1
|a|
F(f)(s/a) F(f(x + b))(s) = e
isb
F(f)(s)
4. Sea f G
1
(R) y c R, entonces
F(e
icx
f(x))(s) =

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

e
icx
f(x)e
isx
dx =
_

f(x)e
i(s+c)x
dx =

f(s + c)
11
5. Sea f G
1
(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:
F(f(x) cos(cx))(s) = F
_
f(x)
e
icx
+ e
icx
2
_
(s) =
1
2
F(f(x)e
icx
)(s) +
1
2
F(f(x)e
icx
)(s)
=

f(s + c) +

f(s c)
2
Lema 1
Si f es continua en R y tal que f, f

G
1
(R), entonces
lm
x
f(x) = 0
Demostracion:
Lo hacemos para x +. Como f

G
1
(R), la integral
_

0
f

(x) dx tambien con-


verge. Esto y la continuidad de f nos permiten armar que
lm
x+
f(x) = lm
x+
(f(x) f(0)) + f(0) = lm
x+
_
x
0
f

(t) dt + f(0) C
Ahora bien, si fuese lm
x+
f(x) = 0, f no podra ser integrable en R. Luego, necesariamente
debe ser lm
x+
f(x) = 0.
Proposicion 1
Si f es continua en R y tal que f, f

G
1
(R), entonces

(s) = is

f(s)
Demostracion:
En principio,

(s) =
_

(x)e
isx
dx = lm
L,M+
_
L
M
f

(x)e
isx
dx
Integrando por partes esta ultima integral y teniendo en cuenta la continuidad de f, resulta
_
L
M
f

(x)e
isx
dx = f(x)e
isx

L
M

_
L
M
f(x)ise
isx
dx
=
_
f(L)e
isL
f(M)e
isM
_
is
_
L
M
f(x)e
isx
dx
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.
Proposicion 2
Si f, f

, . . . , f
(n1)
son continuas y f, f

, . . . , f
(n)
G
1
(R), entonces

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

f(s)
Demostracion:
Lo hacemos por induccion sobre n. Para n = 1 es la proposicion anterior. Para el paso
inductivo basta notar que

f
(n+1)
(s) =

(f
(n)
)

(s) = (is)

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

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

f(s)
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 coecientes de Fourier.
En este caso pasa algo similar. El teorema 1 nos asegura que

f
(n)
es acotada en R; i.e.,
existe K > 0 tal que
|

f
(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 mas rapido tendera

f a cero en el innito.
Proposicion 3
Sean f G
1
(R) y g(x) = xf(x). Si g L
1
(R) entonces,

f es de clase C
1
y satisface

= iF(xf(x))
Demostracion:
Llamemos h(x, s) = f(x)e
isx
; 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) L
1
(R) para todo s (a, b) por serlo f

h
s
(x, s) = ixf(x)e
isx
; tambien es absolutamente integrable respecto de x para todo s
por serlo g

h
s
(x, s)

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


Podemos concluir entonces que

f es derivable y que su derivada es

(s) =
_

h
s
(x, s) dx = i
_

xf(x)e
isx
dx = iF(xf(x))(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
Proposicion 4
Sean f G
1
(R), g(x) = x
n
f(x) y n N. Si g L
1
(R) entonces,

f es de clase C
n
y
satisface

f
(n)
= i
n
F(x
n
f(x))
Bibliografa
[1] Kolmogoro, 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.

Вам также может понравиться