APENO ICE

LA TRANSFORMACION DE FOURIER
Por ENRIQUE ALARCON

LA TRANSFORMACION DE FOURIER
El espacio L 2 de funciones de cuadrado integrable admite
varios sistemas completos y ortogonales*de funciones, tales que
si 1 cp .l es uno de ellos
. oo
VfcL?;f=
-

e-e/>
l

Como el producto escalar en

Jf
(IJ.

'

L2

se define segn

(x) g (x) d ll

es la medida del espacio), los coeficientes se obtienen

fcilme~

te

f(x} c/J (x} d p.=

con lo que

f l~

e (c/J, e/>) d IJ.= e

1
e'=---

.
. c/J2 d 11. =e

llc/> 11-?

f(x} cP (x) d 11.

cp i 11 2 .
que son llamados coeficientes de Fourier.
Para nosotros el sistema ms interesante es el trigonometrico.
En el espacio :L2 r- 11, 11) . de las funciones de cuadrado in~
tegrable en el segmento(- 11, TT)
un sistema completo, ortogonal
y normal es

ll

e: ,--:-cos n x

--:-

sen: n x

--,

11

--

(n

= 1,

2, . )

11

*Un sistema es ortogonal cuando ~1 producto escalar de dos

elementos es nulo rq,a . cp f3 J = o para a 1: fJ , y comp~.~to cuando el
menor subespacio cerrado que lo contiene es el prop~ :L 2
1

l j(:~ ll,AA{)[)A
LJI2

1 -1

A.= lcm

t.!( k)

1"~"

1,1

-r-

De acuerdo con la terminologa habitual el desarrollo en

serie de Fourier es
00

an cos n x + bn sen n x

n=l

y como

ll4>oll2=2rr
114>n11

=rr

tendramos
0

- - =- 2

1T

-f ~
+f ~

f(x) dx

_,

=-

an

TT

(x) cos n x d x

-TT

bn

(x) sen n x d x

-TT

Como en un sistema ortogonal cerrado completo se cumple

la igualdad de Parseval

en nuestro caso
00

ao

--+
2

Si en lugar del interv9-lo [ -7T, 1r], f{tJ est definida en el intervalo[-T/2,T/2]Ibastahacer t=~ para tener !ITI 2 x; en
el
u

segmento

[ -11,

1T

,.]

. T/2

11

= -

(t) cos _n_rr_t_ dt

T/2'

T/2

-. T /2

=-

b
11

T/2

f.:/(:)

sen

--T/ 2

1T

dt

T/2

Un aspecto interesante es la forma compleja de la serie.

3

Como
e inx -e -inx
sen n x == - - - - - - - - 3 2 i
e inx + e -inx
eos n x = - - - 2

(Frmulas de Juan Bernouilli)

a0

e inx + e_:inx

a0

- - + l: an eos n x + bn sen n x == - - + I
2

ao

2 i
00

=--+-- I
2

e inx_ e -inx

+ bn

an

e inx (an - i bn ) + e -inx (an + i bn)

= eo +

n=l

I.

en e inx

n=-oo

lo que exige
ao
co

2
a n -. i b n

an+ibn
e -n

La expresin de los coeficientes se obtiene tambin de modo directo.

Si
f (x) == l:
en e inx
-oo

Multiplicando por

e17inx e ._imx d x

j"

-TT

e -imx

e i(n - m) x d

e integrando y como

x=

17

ei(n-m)xj-

i (n - m)

-TT

-1T

Si m f... m
. (

1 = - - - - - ( e' n -m)
i (n - m)

17 -

e i
e -i (n - m ) " ) = - - - - - sen (n -m)
i (n -m)

Si m= m

1T =

con lo que

.
e11-imx

"= {: -imx I

f fxJ d

-11

=2

en e inx d"

11 e m

.1-11
r-----------------~
00

11
e

.1

= - - }_ f

211

(x) e

-imx

f.{x{

dx

e n e inx

11

que es vlido para

Recordando

m=

o ' 1

2'

'

T /2

t=-11

tambien
00

(tl

00

=
-oo

---{!

T/2
(t) e

211

e inx

. 11
. 1m

11

T/2

--z- -l - dt = -2l-

..:T/2

(t)

.i11n2

en e

-oo

{t)

-~- dt

. m 11

e_,

- T/2

Considerando 21 como
oo

in 11
e-- t
l

(perdo).
1

--r

cm

= --x--

12
T

.f (t)

. 2
e _,

fT

m t

dt

-.r 12

Una interesante representacin del desarrollo se obtiene

llevando en abscisas los valores de. n (o los valores de ~)
y en coordenadas los de
mo funcin de n (o de

en

Es decir, podemos pensar en

en

co-

211n

211n

- - - ) . cu=--T

corresponde a un armnico de longitud de onda T./n.

Obtenemos as el espectro de f (t), que es discreto. (Observese que mientras la unidad de {t) es e, la de cu es t - 1 ;.

PARES DE FOURIER

211n

e--:-- t
T

En el espectro

2tr

L\Ct) = --T

de modo que, cuando T ... oo L\

o. es decir, las ordenadas del
espectro tienden a agruparse (y viceversa).
Veamos tres ejemplos:
() ...

a f{x)

t.J\k)

ln

(&~)

n n n

i. = l

~51
k

rk)

f(x)
1

naon non nno r

b) = (}4

~.;(.i)

tf(x)

1
1
ll

u1 . .

(cj = 5

Y.

Este hecho es del mayor inters, pues permite representar

una funcin no peridica, por otra peridica correspondiente al
caso >.."' oo,
con un espectro continuo.
Volviendo al comienzo del parrafo.
11

f(t)=lim

r--

-~

e{.r)t~~(~J-;.,ede
2 "

-T/2

En el limite la suma se sustituye por una integral sobre

f

(t)

21"

d{.r)

:;.,'d., ;(e) e _.,e de

-oo

-oo

donde el orden de integracin debe preservarse para evitar inconsistencias.

Llamaremos par de Fourier a F (Ct)J y f (tJ donde
6

A parte de otras diferencias observe se que la primera ecua

cin es algo establecido por definicin mientras que la segunda es
la afirmacion de una igualdad.

TRANSFORMACION DE FOURIER
La expresin

oo

f (t) e -i w

F (w) {

dt

-oo

establece una correspondencia entre toda la funcin f absolutamen

te integrable y otra F definida en toda la recta numrica.
F (wJ recibe el nombre de transformacin de Fourier de la
funcin inicial.
Por otro lado
1 (t) =

-f_ ~ (

_1
2 1T

w) e i w

dw

-oo

se llama frmula de inversin.

Como F (w) es compleja
F

{w)

= F

(w)

..1..( )

e' "P w

F (w)

es el espectro de magnitud de

~ (w) el espectro de fase de

(t)

{t)

De la propia definicin se deduce

~ [ a f1

(t)

b /2 {t) ]

=a ~ [ f1

{t)

~ [ f2

(t)]

Propiedades: Si se admite que (t) y sus derivadas se anulan n 1:.""

*Para que las igualdades sean vlidas se demuestra que .f,

adems de ser integrable, debe verificar la condicin de Dini~ es
decir, la existencia de la integral
8

f -8
para un

f(x+t)-f(x)

fijo y para algn valor de 0 > 0

7

dt

Es decir

l !'

(e)

J= i

(1) F ((1))

y sucesivamente
2) Si 8

(t)

es la funcin de Dirac.
{

Se ve que

para

<o r

= oo

para

=O

(t} =

(t)

>o

(t) dt -1

-oo

De este modo ser posible escribir en funcin de la transformacin inversa

oo
1
.
8 ( t) = - 2rr

es decir

e '(1) t d(l)

-oo

~~i(l)t d(l) = 2 rr8 (t)

-oo

La transformacin de t 0 = 1 sera (observe se que no

cumple la condicin de acotacin).

Segn 1)

es decir

1
8'(t)=-2rr

oo

(l)e(I)td(l)

-oo

se

Si se presentan los indices

o bien

y w.

00

~ ( t )

t e -i W t d t

=-

a' (W) = + 2 TT a' (CU)

2 TT

-oo

segn 1)

~(i w ) i ; (ti

:S ( 8"1 (t) 1

an (t) = - 2TT

2 "8 lrwl

e -iwt dt

~ (i wl"

00

.
(i w) n e'

t dw

(U

-oo

~ "J~n
i

i"'' dt

00

( t

n )

n e_, W t

=--

TT

(-If
an (-w) = - 2 TT 8 n) (cu) = n 2

oo

[ t

=2

n ]

TT

in

8n

]-1_:-a

8 n)(c)

(w)

3) veamos ahora la transformacin de f

~[e-at

TI

(t) == e -a

e-itcudt=f:-(a+icu)tatJ e(a-iw)tdt=

-oo

-oo

2a
')
?
a-+w-

4) Si
Z5 [

e a t ]

00

00

e i a t . e - (U

-oo

00a

(tJ</.> (tJ at

-oo

J ;n

d t =f_ e i (a -

(U)

t dt = 2 p

-oo

00a(tJ cf/' reJ at ==- c/J' roJ

=-

-oo

(t)

cp (t) dt = (-

l)n c/Jn (O)

-oo

c/J es cualquiera siempre que se anule en .t. oo.

((J.) -

a)

Como
cosa=----2

~ [ cos a ]

= TT [ 8 (w

_;_a)+ 8 ((J) + a)]

anlogaD1enti~~--[-s-en

__a_l_=__-_i_rr_[_8__rw__-_a_J_-_8__rw__+_a_J_]_.

5) Si
~ [ f (t) ]

veamos la transformada de f

=F

donde .

(A e)

:J[f(~t)]f7(At)e-iwtdt,

(w)

A= cte

positiva

At=x

-oo

11oc;

~[f(At)]=-A

-oo

El lector puede comprobar que si

""' [
~

(J)

dx=--F(-)
A
A

f(x)e-iw--;r-

es negativa

1
(J)
f (A t) ] =---A-.
F (-A-)

As pues la ampliacin de la escala de tiempos (A tJ secorresponde con la reduccin eri la escala de frecuencias.
En particular si A =- 1.
~

( f (-

t) ]

= F (- w)

6) Un interesante caso es el que presenta la funcin de He aviside

por ello

h {t)

=1

si

t >O

h (t)

=o

si

t <O

h (t)

+ h (-

t) = 1

(salvo para t =o D
y en virtud de lo anterior si
10

~ [ h (t) ]

=F

((JJ)

Supongamos

o((JJ} + f ((JJ)
F (- (JJ) = A o ((JJ} + f (- (JJ)

F ((JJ}

=A

[ A cte ]

sumando y teniendo en cuenta la igualdad previa

2

rr

o ((JJ} = 2 A o ((JJ) + [ { ((JJ} + f

(-

(J)j]

de donde

es decir f ((JJJ es impar.

Para encontrar su valor es preciso recurrir al hecho de
que
h' (t) = o (t)
y por 1)
~ [ h. (t)]

=i

(JJ ~ [ h (t)] = i (JJ [ 1T

As

pero

por lo que
1
- i
f{(JJ)=--=-(JJ
(JJ

(Observese de pasada que

(JJ F 1 ((JJ)

no implica

F1

= F 2 sino

= (JJ

= F

F 2 ((JJ)

o ((JJ} ]

En resumen

[ h (t) ] =

1T

o ((JJ) + _l.__
j(JJ

11

o ((JJ) + f ((JJ)]

7) Frmulas de ~esplazamiento.
La funcin de Heaviside permite trasladar paralelamente
al eje o t cualquier funcin (tJ considerada para '>o. pues segn se observa claramente

f
f(t)

h {t- a)

f(t-a)

r_~ -~ -~ -~ -~ -:~-~ -~ -~:_ ~:_-~ -~ -:~_\:_~ _: _:/- = ::::::::::::::::::::~:::::::::~::::::~~::~:::::

: : : : : : : : : : : : : : : : : ::>:::::-

t
f

(t)

=/

h (t - a)

(t- a)

~ [ f(tJ)

j](t e:

(mediante el cambio

a) h (t- a) e -iwt dt
t - a

{r~t _a) e -iwt dt,

=u

= e-i

"'i

;(u) e -i "'"da

Es decir

~[f(t-a). h(t-a)]=e-ila~[/(t)]

Esta relacin puede ser utilizada en sentido inverso 1 vg. :

como sabemos que
'

~ [ h

(t)]

= rr o (l) + - l

~-1{ e -iwa[ rr us:.- (l) + - .1 - ] } = h

(t- a) h (t- a)= h (t- a)

1 (.() .

~-

~[h

e-ila

[ rr

o(w) + - - - - ] = h (t- a)
jw

(t -a)]

= rr

e -ila

o (w) + - - 12

o como
:J [ 8

Zs -

(t)] = 1

1 [ e- i. (J) a ]

=8

(t - a)

l ~[8{t-a))=e-iwa
Asimismo l lector puede comprobar la frmula de desplazamiento en frecuencia
F ((J) -a)=

Zs [ 1 (t)

eia t ]

8) El teorema de Borel
Supongamos
F ((J)) = ~ [ f

e ((J)J = ~ [ g

(t)]
(tJ

y vamos a obtener la funcin imagen del producto

puesto que
:J [

h (t - r)

1 (t-

r)]

=e

- i. (J) T ~

{t)] = e- i (J) T F ((J))

y como
h (t- r) =O

si

t<rJ

h (t - r) = 1

si

{O)

G {w)

=!~

>T

r: _,"'

-oo}

t g {T)

13

f {t-

T) dr dt

En esta expresin r varia entre -

oc

(Orden Si
t, r J. se cambia el orden de integracin
ran para

(r, t)

t
T

con lo cual
F (O>) G (O>)

-oo

J.:

-iro< df- 'g (r) f (t- r) dr

-oo

expresin que equivale a

F("')

(.,)-::! [

-oo

14

(r)

(t- r)

dr]

entre

oo.

los lmites se-