Introduccin

La aportacin de Fourier en las matemticas de que cualquier funcin

y=f ( x ) se puede representar por una serie de la forma:

1
y= a 0+ ( a k cos ( kx )+ bk sen ( kx ) ) .
2
k=1
Una serie que perime un grado de generalidad mucho mayor que la
serie de Taylor. Lo cual permite representar funciones complicadas de
forma que presenten propiedades tiles, que facilitan el tratamiento de
la funcin original.
Este fue uno de los aportes ms importantes en el desarrollo de las
matemticas aplicadas. Las ideas y tcnicas que llevan a generalizar
fenmenos no peridicos son las transformadas de Fourier. La idea de la
transformada de Fourier es transformar una seal del dominio del
tiempo o en el espacio al dominio de la frecuencia, o viceversa.
En sus comienzos la idea del anlisis de Fourier surgi como un mtodo
para la explicacin de fenmenos de la fsica, en una poca donde an
no haba conocimientos de la electrnica ni de las telecomunicaciones,
pero estas herramientas son muy tiles en la ciencia de la computacin
y la comunicacin. Por lo tanto el anlisis de Fourier representa un gran
aporte para la ingeniera en comunicaciones y electrnica donde su
aportacin ha permitido desarrollar el anlisis espectral, lo que posibilita
la modulacin, el periodo de muestreo de una seal, la convolucin nos
permite relacionar tres seales. La seal de entrada, la respuesta al
impulso y la seal de salida, creacin de filtros entre muchas otras.

Antecedentes
Historia
Hablar sobre el anlisis de Fourier implica tambin hablar de un gran nmero de
personas. La historia moderna nos proyecta a mediados del siglo XVIII, cuando
varios matemticos estudian el movimiento de una cuerda vibratoria entre ellos
Leonhard Euler, el cual demostr que uno poda calcular los coeficientes de la
combinacin lineal para un tiempo posterior de una manera muy directa a partir de
los coeficientes de tiempo anterior. Posteriormente en el ao 1753 Daniel Bernoulli
con bases fsicas argument que los movimientos de una cuerda podan ser
representados mediante combinaciones lineales de modos normales aunque no
fue aceptado ampliamente.
Jean Baptiste Joseph Fourier Fsico-matemtico desarroll sus ideas sobre las
series trigonomtricas motivado por fenmenos de propagacin y difusin del
calor, para 1807 Fourier haba terminado su trabajo donde encontr que algunas
series de senoides relacionadas armnicamente eran tiles para representar la
distribucin de la temperatura a travs de un cuerpo. Adems sostena que
cualquier seal peridica poda ser representada por tales series aunque su
trabajo an era impreciso. La perspicacia de Fourier para ver el potencial de esta
representacin mediante series proporcion un gran impulso para muchos de los
trabajos subsecuentes sobre las series de Fourier y la teora de funciones de
variable real. Adems llev este tipo de representacin un paso delante de sus
predecesores: obtuvo una representacin para seales aperidicas no como
sumas ponderadas de senoides relacionadas armnicamente, sino como
integrales ponderadas de senoides sin relacin armnica.
Los encargados de revisar el trabajo de Fourier fueron Lagrange, Laplace, Monge
y Lacroix, aunque no fue bien acogido por Lagrange quien lo rechaz. En 1822,
15 aos despus de que Fourier presentara por primera vez sus resultados se
public su clsica obra Theorie Analytique de la Chaleur. A pesar que tanto
Poisson como Cauchy haban obtenido resultados de la convergencia de las
series de Fourier fue hasta 1829 que P. L. Dirichlet proporcion las condiciones
precisas bajo las cuales una seal peridica poda ser representada con una serie
de Fourier.

 Serie Exponencial de Fourier.

Las series de Fourier surgen de la tarea prctica de representar una funcin
peridica f(t) dada en trminos de funciones seno y coseno. La serie
Exponencial de Fourier es una alternativa a la forma trigonomtrica.
Para desarrollar la forma compleja de la serie de Fourier que la representa

an cos nt + b n sen nt
n=1

1
f ( t ) = a 0+
2
n=1
Se sustituyen los resultados
sen nt=

1 jnt jnt
( e e )
2j

1
nt= ( e jnt +e jnt )
2
cos
por lo que tenemos:

(e
1
f ( t ) = a0 + an
2
n=1

jnt

( e jnt e jnt )
+e jnt )
+ bn
2
2j
n=1

1
1
jnt
jnt
) + j 1 b ( e jnt e jnt )
f ( t ) = a0 + an ( e + e
2
2
2 n
n=1
n=1

1
1
1
f ( t )= a0 + ( an j bn ) e jnt + ( an + j b n ) e jnt
2
2
n=1 2
1
c 0= a 0
2

1
c n= ( a n j b n ) ,
2

1
cn=c n = ( an + j b n )
2

Entonces podemos decir que

f ( t )=c 0 + c n e
n=1

c 0 c 0=c 0

jnt

+ c1 e
n=1

jnt

=c0 + c n e
n=1

jnt

+ c n e
n=1

jnt

n=

c n e jnt Ya

entonces la serie de Fourier queda simplemente como

que

n=

cn e

jnt

A la cual se le conoce como la forma compleja o exponencial de la

expansin de la serie de Fourier de la funcin

f (t ).

Para poder aplicar esta ecuacin es necesario obtener la frmula para calcular los
coeficientes complejos c n . Para hacer esto, incorporamos las frmulas de Euler
en las definiciones anteriores.
d +T
1
1
C0 = a0= f ( t ) dt
2
T d
d +T

f ( t ) cos nt dt j f ( t ) sen nt dt
d

d +T

1
1
C n= ( an jb n)=
2
T
nt j sen nt
cos

f (t)
d+T
1

T d
1

d +T

f ( t ) e jnt dt
d

nt+ j sen nt
cos

f (t )
1
1
Cn = ( an + j b n )=
2
T

1
T

d+ T

d +T

f ( t ) e jnt dt
d

En resumen podemos escribir la forma compleja de la expansin en serie de

Fourier de una funcin peridica f(t) de periodo T, es:

n=

cn e

jnt

donde
1
c n=
T

d +T

f (t ) e jnt dt n=0, 1, 2,
d

Ejemplo 1:
Encuentre la forma compleja de la expansin en serie de Fourier de la funcin
peridica f(t) definida por
1
f ( t )=cos t ( <t< ) , f ( t +2 ) =f ( t )
2

Figura 1.1 Funcin f(t) del ejemplo 1

f (t )

En la figura 1.1 se muestra la grfica de la funcin

3 t 3 . Aqu el periodo T es

sobre el intervalo

2 , as los coeficientes complejos estn

dados por:
e

c n=

1
1
1
cos t e jnt dt=

e
2
2
4

j ( 2n 1 ) t

j ( 2 n +1) t

jt

1 2e 2
2e 2

4 j ( 2n1 )
j ( 2n+ 1 )

1
2

jt

+e

1
2

j ( n+ ) t
1
2
) dt
t +e
2

( )

( j n

[(

j
jn

j
jn

)(

jn

jn

e
e2 e
e 2
e e 2 e e2
+

+
2 n1
2 n+1
2 n1 2 n+1

)]

Ahora debemos decir que

j

0
2

c n=

1
1
=cos + jsen = j
2
2

e jn =e jn =cosn =(1)n

j
j
j
j
j

(1 )n
2 2 n1 2 n+ 1 2 n1 2 n+1

(1 )n
2 (1 )n
1
1

=
2 n+1 2 n1 ( 4 n 21 )

Entonces la serie de Fourier en su forma exponencial de f(t) es

f ( t )=

n=

2 (1 )n
2

( 4 n 1 )

e jnt

Transformada de Fourier
f L ( t ) de periodo 2L > 2 dada por

Se considera una onda cuadrada peridica

0 paraL<t <1
f L ( t ) 1 para1<t< 1
0 para 1<t < L
Las grficas para del tren de pulsos es:

Figura 2 Forma de onda

f L(t )

Podemos ver que para 2L = 4,8,16 as como la funcin no peridica

f L ( t )=

si1<t<1
{0 en1caso
contrario
f ( t )= lim
L

Que se obtiene a partir de

f.

es par,

bn =0

Euler, dan como resultado:

1

a0 =

1
dt= 1L
2 L 1

2
n
sen
L
L
1
nt
2
nt
an = cos
dt= cos
dx=
L 1
L
L0
L
n
L
1

( )

para toda

an las formulas de

Entonces podemos decir que

L

f L ( t )=

1
f ( v ) dv
2 L L L
wn x
f L ( v ) sen wn v dv
L

cos w f L ( v ) cos wn v dv + ( sen w n x ) w

L

+1

n =1
Esta representacin es vlida para cualquier L fija, arbitrariamente grande, pero
finita.
Ahora se hace que L y se supone que la funcin no peridica resultante
f ( t )= lim f L (t )
L

Es absolutamente integrable sobre el eje x; es decir, que existen los siguientes

lmites finitos:
denotado

|f ( t )|dt+ lim |f ( t )| dt( |f ( t )|dt)

b 0

lim

Entonces 1/L 0, y el valor del primer trmino del segundo miembro de (1) tiende

a 0. Adems, w= L 0 y parece plausible que la serie infinita de (1) se

convierta en una integral de 0 a

f ( t )=

, que representan f(t), a saber,

1
( v ) cos wv dv + senwt f ( v ) sen wv dv dw

Si se introducen las notaciones

A (w)=

1
1
f ( v ) cos wv dv B ( w )= f ( v ) sen wv dv

wx+ B ( w ) sen wx
A ( w ) cos

f ( x )=
0

Sea f(t) una funcin peridica con periodo T; cuando T se aproxima al infinito, f(t)
se convierte en una funcin no peridica; entonces la representacin de Fourier de
esta funcin no peridica.
Se comienza con la forma exponencial de la serie de Fourier

n=

cn e

jnt

donde
c n=

1
T

T /2

f (t ) e jnt dt
T /2

2
T

Sustituyendo

f ( t )=

n=

T
2

1
f ( x ) e jnx dx e jnt
T T
2

Aqu la variable comodn x de la integral se utiliza para evitar la confusin con t

puesto que 1/T=/2 . La ecuacin anterior tambin se puede expresar como:

f ( t )=

n=

T
2

1
f ( x ) e jnx dx e jnt
2 T
2

Ahora se hace que T , y as, se anula, Sea

frecuencia de cualquier armnico

entonces la

debe corresponder a la variable general

de frecuencia que describe el espectro continuo. En otras palabras n

= 0, tal que el producto es finito esto es,

medida que
n=

De este modo se convierte en:

f ( t )=

n=

T
2

1
f ( x ) e jn x dx e jn t
2 T
2

En el lmite T ,

d , y la sumatoria se convierte en la integral sobre

; es decir , la funcin no peridica

f ( t )=

f ( x ) e jx dx

f (t)

se convierte en:

e jt d

Si se define

F ( )= f ( t ) e jt dt

Entonces tenemos

1
f ( t )=
F ( w ) e jt d

2
Las dos ecuaciones anteriores son la representacin de Fourier de la funcin no
peridica.
La funcin

F ()

se conoce como la integral de funcin o transformada de

f (t) y la operacin de integracin simboliza frecuentemente por

f ( t )=F { f ( t ) } = f ( t ) e jt dt

Anlogamente
o sea obtener

es el smbolo que se utiliza para indicar la operacin inversa

f (t) cuando

F ) est dado; esto es,

1
F { F ( ) }=
F ( ) e jt d =f (t )

2
1

Y f ( t ) se denomina transformada inversa de Fourier de

F( ) generalmente

est dada por

|f ( t )|dt <

En otros trminos, la integral del valor absoluto de

f ( t ) debe ser finita

Lo demostramos
e jt =cos t j sen t
De donde

|e jt|= cos2 t+ sen 2 t=1

|f ( t )|dt = |f ( t ) e jt|dt
Es finita entonces

f ( t ) e jt dt

Es decir

F [ f ( t ) ] existe

Transformada del seno y el coseno

Si

f (t )

est definida solo para 0<t<

negativos de t por la ecuacin

resultante es par.

se puede definir

f ( t ) Para valores

f ( t )=f (t ) , por lo tanto lo que la funcin

En este caso se supone un comportamiento convencional de

f (t )

para valores

negativos del tiempo; al interpretar los resultados, por supuesto, se debe tener
presente que f ( t ) est definida slo para t mayores de 0
Si ahora se define

Fc ( ) = f ( t ) cos t dt
0

Entonces, se tiene

2
f ( t )= Fc ( ) cos t d
0
Si

esta definida solo para 0<t<

f (t )

negativos de t por la ecuacin

se puede definir

f ( t ) Para valores

f ( t )=f ( t ) , por lo tanto lo que la funcin

resultante es impar.
Si ahora se define

F s ( )= f (t ) sen t dt
0

Entonces, se tiene

f ( t )=

2
F ( ) sen t d
0 s

F s ( ) se denomina transformada seno de Fourier, as como

denomina transformada coseno de Fourier.
Problema.
Fc [ et ] y F s [ et ]

Encontrar

para t>0 y >0

Solucin:
Las transformadas coseno y seno de Fourier de

Fc [ et ]= et cos t dt ,
0

et

son:

FC ( )

se

F s [ et ]= et sen t dt ,
0

Entonces

I 1 = et cos t dt
0

et cos t

et sen t dt

0 0
1
I2

Anlogamente integrando

I2

I 2 = et sen t dt
0

et sen t

et cos t dt

0 0

I
1

Resolviendo para
I1 =

2
+

I2 =

2
+

Por lo tanto,
Fc [ et ]=

2
+

F s [ et ]=

2
+

I 1 e I 2 resulta

Propiedades de la transformada de Fourier

Propiedad de la linealidad
Si

F1=F [ f ( t ) ] y F2 ( ) =F [ f 2 ( t ) ] , y

a1 y

a2

son dos constantes arbitrarias,

demostrar que
F [ a1 f 1 ( t )+ a2 f 2 ( t ) ] =a1 F 1 ( ) +a 2 F 2 ( )
Solucin: La transformada de Fourier requerida es:

F [ a1 f 1 ( t )+ a2 f 2 ( t ) ] = [ a 1 f 1 ( t )+ a2 f 2 ( t ) ] e jt dt

a1 [ f 1 ( t ) ] e

jt

dt +a2 [ f 2 ( t ) ] e jt dt

a1 F1 ( ) +a 2 F 2 ( )

Propiedad de escalonamiento
Si

es una constante real y

F [ f ( at ) ] =

F ( )=F [ f ( t ) ]

demostrar que

F
|a| a

( )

Solucin: Para a > 0,

F [ f ( at ) ] = f ( at ) e jt dt

Sea at = x entonces

j( ) x
1
F [ f ( at ) ] = f ( x ) e a dx
a

Puesto que la variable comodn se puede representar por cualquier smbolo, se

tiene que

j( ) t
1
F [ f ( at ) ] = f ( t ) e a dt
a

F
|a| a

( )

Para a<0

F [ f ( at ) ] = f ( at ) e jwt dt

Si de nuevo se tiene, at = x, entonces,

j( ) x
1
F [ f ( at ) ] = f ( x ) e a dx
a

j( ) t
1
f (t ) e a dt
a

F
|a| a

( )

En consecuencia,
F [ f ( at ) ] =

Si

F
.
|a| a

( )

F [ f ( t ) ]=F () demostrar que

F [ f (t ) ] =F ( ) .
Solucin:
F [ f ( at ) ] =

de la propiedad de escalonamiento
1

F
.
|a| a

Haciendo a=-1,

( )

F [ f (t ) ] =F ( ) .
Otra forma de solucin a la transformada de Fourier es

F [ f (t ) ] = f (t ) e jt dt

Haciendo t = x dentro de la integral, se obtiene

F [ f (t ) ] = f ( x ) e jx dx

f (x)e

j() x

dx

f ( t ) e j ( )t dt

F ( ) .

Propiedad de desplazamiento en el tiempo

Si

F ( )=F [ f ( t ) ]

demostrar que
jt 0

F [ f ( tt 0 ) ]=F ( ) e
Solucin:

La transformada de Fourier requerida es:

F [ f ( tt 0 ) ]= f ( tt 0 ) e jt dt

Haciendo tt 0=x , dt=dx

j (t 0 +x )

F [ f ( tt 0 ) ]= f ( x ) e

por consiguiente,
dx

f (t )

es

e jt

f ( x ) e jx dx

jt 0

F ( ) .

Propiedad de desplazamiento en la frecuencia

Si

es una constante real y F( =F [ f ( t ) ] , demostrar que

F [ f ( t ) e j t ]=F ( 0 ) t dt
0

f ( 0 ) .

Propiedad de la simetra
Si

F ( )=F [f ( t ) ] , demostrar que

F [ f ( t ) ]=2 f ()

Solucin:

Se tiene

2 f ( t )= F ( ) e jt d

Cambiando t por t en la expresin anterior

2 f (t )= F ( ) e jt d

Ahora intercambiando t y

se obtiene

2 f ( )= F ( t ) e jt dt=F [ F ( t ) ]

Convolucin
Sea

f 1(t)y f 2 (t )

dos funciones dadas. La Convolucin de

f 1 ( t ) y f 2 ( t ) , est

definida por la funcin

f ( t )= f 1 ( x ) f 2 ( tx ) dx

La cual se expresa simblicamente como

f ( t )=f 1 ( t )f 2 ( t )
Un caso especial importante es aquel en el cual
f 1 ( t )=0

para t <0

Entonces se convierte en
t

f ( t )=f 1 ( t )f 2 ( t )= f 1 ( x ) f 2 ( tx ) dx
0

La convolucin cumple la ley conmutativa:

f 1 ( t )f 2 ( t )=f 2 ( t )f 1 ( t )

f 1 ( t )f 2 ( t )= f 1 ( x ) f 2 ( tx ) dx

Cambiando la variable por t x = y

f 1 ( t )f 2 ( t )= f 1 ( t y ) f 2 ( y ) dy

f 2 ( y ) f 1 ( t y ) dy

f 2 ( t )f 1( t)

f 2 ( t )=0

para t < 0

Tambin cumple la ley asociativa

[ f 1 ( t )f 2 ( t ) ]f 3 ( t )=f 1 ( t )[ f 2 ( t )f 3 ( t ) ]
f 1 ( t )f 2 ( t )=g ( t ) , y

Si se hace

f 2 ( t )f 3 ( t )=h (t)

entonces se puede expresar

como
g ( t )f 3 ( t )=f 1 ( t )h ( t )
Puesto que

g ( t )= f 1 ( y ) f 2 ( t y ) dy

Se tiene

g ( t )f 3 ( t )= g ( x ) f 3 ( tx ) dx

f 1 ( y ) f 2 ( x y ) dy

f 3 ( tx ) dx .

Sustituyendo z=x-y e intercambiando el oden de integracin se obtiene

g ( t )f 3 ( t )= f 1 ( y )

f 2 ( z ) f 3 ( t y z ) dz

dy

Y dado que

h ( t ) = f 2 ( z ) f 3 ( tz ) dz

h ( t y )= f 2 ( z ) f 3 ( t y z ) dz

Por consiguiente, la integral se identifica dentro del parntesis angular en el

segundo miembro como h(t y).
De donde

g ( t )f 3 ( t )= f 2 ( y ) h ( t y ) dy=f 1 ( t )h ( t ) ;

Esto es,

[ f 1 ( t )f 2 ( t ) ]f 3 ( t )=f 1 (t )[ f 2 ( t )f 3 ( t ) ]

El teorema de convolucin en el tiempo afirma que

F [ f 1 ( t ) ]=F 1 ( ) , y

F [ f 2 ( t ) ]=F 2 ( ) entonces
F [ f 1 ( t )f 2 ( t ) ]=F 1 ( ) F 2 ( )
La transformada de Fourier de

F [ f 1 ( t )f 2 ( t ) ]=

f 1 ( t )f 2 ( t ) es

f 1 ( x ) f 2 ( tx ) dx e jt dt

Cambiando el orden de integracin se tiene

F [ f 1 ( t )f 2 ( t ) ]=

f 2 (tx ) e jt dt dx

Por la propiedad de desplazamiento en el tiempo de la transformada de Fourier se

tiene

f 2 ( tx ) e jt dt=F 2 ( ) e jx

Sustituyendo el resultado anterior se obtiene

F [ f 1 ( t )f 2 ( t ) ]= f 1 ( x ) F 2 ( ) e

f 1 (t ) e jt dt F2 ( )

jx

dx =

f 1 ( x ) e jx dx F 2 ( )

 F1 ( ) F2 ( ) .

El teorema de convolucin en la frecuencia afirma que si

[ F1 ( ) ]=f 1 (t )

F1 [ F2 ( ) ]=f 2 (t ) , entonces
F1 [ F1 ( )F2 ( ) ]=2 f 1 ( t ) f 2 ( t )
O

F1 [ F1 ( )F2 ( ) ]=

1
1
F ( )F 2 ( )=
F ( y ) F 2 ( y ) dy
2 1
2 1

Se tiene

F1 [ F1 ( )F2 ( ) ]=F1

F 1 ( y ) F2 ( y ) dy

F 1 ( y ) F 2 ( y ) dy

e jt d

F 1 ( ) e jt d

1
1 F ( ) e jt d
2 2 2
2

2 [ f 1(t ) f 2(t )]
En donde las variables comodines de la integracin se han cambiado.

Conclusin
El anlisis de Fourier tiene varias aplicaciones tanto en ingeniera, por lo cual nos
es de suma importancia aprenderla, las aplicaciones en el rea de las
telecomunicaciones es demasiado amplio por lo cual es una herramienta
indispensable para nuestra formacin. Con aplicaciones como la modulacin, el
teorema de muestreo nos permite aprovechar esta herramienta, distribuyendo
canales y ordenando el radioespectro.

Bibliografa
Glyn James et al. (2002) Matemticas avanzadas para ingeniera, 2da edicin,
PRENTICE HALL MXICO.
Pginas 379-436
Oppenheim V. A. y Willsky S. A. (1998) Seales y sistemas, 2da edicin.
PEARSON EDICACIN MXICO