Fourier 2

82 2.
Anlisis de Fourier
Fig. 2.9. rea de los lbulos de la funcin sinc( ).
[sen(ax)/(n)[ para (n 1)/a _ x _ n/a. Entonces
_

0
sen(ax)
ax
dx _
_
1/a
0
sen(ax)
dx+
_
2/a
1/a
sen(ax)
2
dx+ +
_
n/a
(n1)/a
sen(ax)
n
dx +
=
1
n=1
1
n
_
n/a
(n1)/a
[sen(ax)[ dx =
2
n=1
1
n
[cos(n)[ =
2
n=1
1
n
.
La serie del ltimo trmino, conocida como serie armnica, no converge. Por lo tanto,
lm
T
_
T
T
[sinc(ax)[ dx .
Utilizando la funcin sinc() la expresin (2.23) de los coecientes c
k
de la serie de Fourier
del tren de pulsos rectangulares del Ejemplo 2.4 se puede escribir de manera ms com-
pacta como
c
k
= A

T
0
sinc
_
k
T
0
_
, k = 0, 1, 2, . . . .
2.3. La transformada de Fourier
La transformada de Fourier juega un papel importante en muchas ramas de la cien-
cia. Si bien puede ser pensada de manera estrictamente funcional, como es comn en
el tratamiento de otras transformadas, tambin asume en muchos casos un signicado
fsico tan preciso como el de las funciones de las cuales se deriva. Una forma de onda
ptica, elctrica o acstica y su espectro son apreciados igualmente como representacin
matemtica o entidades medibles: un osciloscopio nos muestra la forma de onda, y un
espectrmetro (un prisma!) o un analizador de espectro revela el espectro ptico o elc-
trico. La apreciacin acstica es ms directa, ya que el odo oye el espectro. Las formas
de onda y los espectros son transformadas unas de los otros; la transformada de Fourier
es entonces una relacin eminentemente fsica.
En muchas ramas de la ciencia se conoca la teora de Fourier no en forma matemtica,
sino como un conjunto de proposiciones acerca de un fenmeno fsico. Frecuentemente,
la interpretacin fsica de un teorema es un hecho experimentalmente comprobable, y
esto permite al cientco mantenerse alejado de lo que matemticamente puede ser muy
abstracto. El nfasis en la interpretacin fsica permite tratar de manera natural con tpi-
cos que normalmente se consideraran mas avanzados.
Procesamiento Digital de Seales U.N.S. 2011
2.3. La transformada de Fourier 83
Fig. 2.10. Ondas cuadradas de distintos perodos y sus coecientes de Fourier en funcin del
nmero de armnico. T
0
= 2 (a); T
0
= 4 (b); T
0
= 8 (c) .
2.3.1. Desarrollo de la transformada de Fourier
En la Seccin 2.2 se estudi cmo una seal peridica puede representarse como una
combinacin lineal de exponenciales complejas armnicamente relacionadas. Estos resul-
tados pueden extenderse para desarrollar una representacin de seales aperidicas como
combinacin lineal de exponenciales complejas. La introduccin de esta representacin
es una de las ms importantes contribuciones de Fourier, y el desarrollo que se presenta
aqu es muy similar al que l desarroll en su trabajo original.
Los coecientes complejos de la serie de Fourier de la onda peridica cuadrada del Ejem-
plo 2.4 estn dados por la expresin (2.23), repetida aqu por comodidad,
c
k
= A

T
0
sinc
_
k
T
0
_
, k = 0, 1, 2, (2.25)
donde T
0
es el perodo de la seal, y el tiempo durante el cual la seal toma el valor
A. En la Fig. 2.10 se gracan los valores de estos coecientes, para un valor jo de y
distintos valores del perodo T
0
, en funcin del nmero de armnica k. En la Fig. 2.11
se ha repetido esta gura con algunas modicaciones. En primer lugar, se ha gracado
T
0
c
k
en lugar de c
k
, y se ha modicado el eje de abscisas, gracando los coecientes en
funcin de la frecuencia f
k
= k/T
0
de los armnicos, y no en funcin del nmero k de
armnico. La importancia de estos cambios puede apreciarse examinando la ecuacin
(2.25). Multiplicando c
k
por T
0
se obtiene
T
0
c
k
= A sinc
_
k
T
0
_
= A
sen ( f )
f
f =k/T
0
.
Pensando en f como una variable continua, la funcin Asen( f ) / ( f ) represen-
ta la envolvente de los coecientes T
0
c
k
, y estos coecientes son simplemente muestras
84 2. Anlisis de Fourier
Fig. 2.11. Ondas cuadradas de distintos perodos y sus coecientes de Fourier (escalados por
el perodo T
0
) en funcin de la frecuencia f
k
= k/T
0
. T
0
= 2 (a); T
0
= 4 (b);
T
0
= 8 (c) .
equiespaciadas de esta envolvente. Adems, si (el tiempo de encendido) se deja -
jo, la envolvente de T
0
c
k
es independiente de T
0.
Sin embargo, tal como se observa en la
Fig. 2.11, a medida que aumenta el espaciado entre los pulsos ( T
0
crece o disminuye f
0
)
la envolvente se muestrea ms namente. Cuando T
0
se hace arbitrariamente grande
la onda peridica cuadrada original se parece a un pulso: en el dominio tiempo se tiene
una seal aperidica que coincide con un perodo de la onda cuadrada. Adems los coe-
cientes de la serie de Fourier (multiplicados por T
0
) son muestras cada vez ms prximas
entre s de la envolvente, de manera que, en un sentido que se especicar en seguida,
el conjunto de coecientes de la serie de Fourier tiende a la funcin envolvente cuando
T
0
.
Este ejemplo ilustra la idea bsica del desarrollo de Fourier para representar seales aper-
idicas. Especcamente, se piensa en una seal aperidica como el lmite de una seal
peridica cuando el perodo se hace arbitrariamente grande, y se examina el compor-
tamiento en el lmite de la representacin en series de Fourier. Para tal n se considera
una seal aperidica x (t) cualquiera que tenga duracin nita
6
; esto es, que para algn
nmero T, x (t) = 0 para [t[ > T, como se muestra en la Fig. 2.12(a) . Apartir de esta seal
aperidica se puede construir una seal peridica x (t) de la cual x (t) sea un perodo
replicando x (t) cada T
0
unidades de tiempo como se observa en la Fig. 2.12(b) . A medi-
da que se incrementa T
0
, x (t) se asemeja a x (t) sobre un intervalo de tiempo mayor y en
el lmite, cuando T
0
, ambas seales son idnticas para cualquier valor nito de t.
Es interesante examinar este efecto sobre la representacin en serie de Fourier de x (t) (la
6
Esto no es estrictamente necesario; basta que sea de duracin nita en el sentido que se dene en la Sec-
cin 2.8.2. La hiptesis adoptada aqu no cambia los resultados fundamentales pero facilita la demostracin.
Fig. 2.12. (a) Seal aperidica h (t); (b) seal peridica

h (t) construida a partir de h (t).
seal peridica). Reescribiendo por conveniencia las ecuaciones (2.20) y (2.19), se tiene
x (t) =

k=
c
k
e
j2k f
0
t
, (2.26)
c
k
=
1
T
0
_
T
0
/2
T
0
/2
x (t) e
j2k f
0
t
dt, k = 0, 1, 2, . . . (2.27)
Ya que x (t) = x (t) cuando [t[ < T
0
/2, y como x (t) = 0 fuera de este intervalo, (2.27)
puede reescribirse como
c
k
=
1
T
0
_
T
0
/2
T
0
/2
x (t) e
j2k f
0
t
dt =
1
T
0
_

x (t) e
j2k f
0
t
dt. (2.28)
Si se dene X ( f ) como la envolvente de T
0
c
k
reemplazando la variable discreta k f
0
por
una variable continua f , se tiene
X ( f ) =
_

x (t) e
j2f t
dt, (2.29)
y entonces los coecientes c
k
resultan
c
k
=
1
T
0
X (k f
0
) . (2.30)
Combinando (2.30) con (2.26), x (t) puede escribirse en funcin de X ( f ) como
x (t) =

k=
1
T
0
X (k f
0
) e
j2k f
0
t
=

k=
X (k f
0
) e
j2k f
0
t
f
0
(2.31)
ya que f
0
= 1/T
0
. Cuando T
0
, x (t) se aproxima a x (t), y por lo tanto, (2.31) es una
representacin de x (t) . Adems, f
0
0 cuando T
0
, y entonces el miembro derecho
de (2.31) se convierte en una integral. Esto puede apreciarse interpretando grcamente
la ecuacin (2.31) como se muestra en la Fig. 2.13. Cada trmino de la sumatoria es el rea
de un rectngulo de altura X (k f
0
) e
jk2f
0
t
y ancho f
0
(como t no es una variable en este
anlisis se est calculando el valor de x () para un valor determinado de su argumento).
Fig. 2.13. Interpretacin grca de la ecuacin (2.31).
De acuerdo con la interpretacin de Riemann de la integral, cuando f
0
0 la sumatoria
de (2.31) converge, por denicin, a la integral de X ( f ) e
j2f t
. De acuerdo entonces al
hecho que x (t) x (t) cuando T
0
, las ecuaciones (2.31) y (2.29) se convierten en
x (t) =
_

X ( f ) e
j2f t
d f , (2.32)
X ( f ) =
_

x (t) e
j2f t
dt, (2.33)
respectivamente. Las ecuaciones (2.32) y (2.33) se denominan par transformado de Fouri-
er; la ecuacin (2.33) se denomina transformada de Fourier de x (t) , o ecuacin de anlisis,
mientras que la ecuacin (2.32) es la transformada inversa de Fourier de X ( f ) , o tambin
ecuacin de sntesis. La ecuacin de sntesis (2.32) juega un papel similar al de la ecuacin
(2.19) para las seales peridicas, ya que ambas tratan de la descomposicin de una seal
como una combinacin lineal de exponenciales complejas. Para seales peridicas estas
exponenciales tienen amplitud c
k
dadas por (2.20) o (2.27), y sus frecuencias toman val-
ores sobre un conjunto discreto k f
0
, k = 1, 2, . . . armnicamente relacionadas entre
s. Para el caso de las funciones aperidicas, las exponenciales complejas ocurren para
un continuo de frecuencias, y de acuerdo a la ecuacin de sntesis (2.32) tienen ampli-
tud X ( f ) d f . En analoga con la terminologa empleada para los coecientes de la serie
de Fourier de una seal peridica, la transformada X ( f ) de la seal aperidica x (t) se
denomina el espectro de x (t) , ya que brinda informacin referida a cmo se combinan
ondas sinusoidales de distinta frecuencia para componer la seal x (t) .
2.3.2. Transformada directa e inversa de Fourier
Sea x() una funcin real o compleja de una variable real s. A veces, x() puede no estar
disponible explcitamente como funcin, sino como un conjunto de valores discretos. Sin
embargo, para jar ideas se asume que x() est denida en el intervalo (, ), y que
tiene algunas propiedades, entre ellas las de ser absolutamente integrable sobre la lnea
real. Esto signica que
_

[x (s)[ ds < . (2.34)

Si ste es el caso se puede denir una funcin X() que evaluada en el punto f toma el
valor
X ( f ) =
_

x (s) e
j2f s
ds, < f < (2.35)
donde j =
_
1. Si se satisface (2.34), entonces X ( f ) est bien denida, ya que
[X ( f )[ =

x (s) e
j2f s
ds
<
_

x (s) e
j2f s
ds =
_

[x (s)[ ds < (2.36)

pues

e
j2f s
= 1. La funcin X ( f ) es la transformada de Fourier de x(), y queda denida

de manera nica por (2.35). Se dice que la funcin X() est denida en el dominio fre-
cuencial o dominio transformado, mientras que la funcin x() original est denida en el
dominio espacial si s es una coordenada espacial (con dimensiones de longitud), o en el
dominio temporal si x() es una funcin dependiente del tiempo (s = t), lo que ser el
caso habitual. De importancia fundamental es el hecho que tambin existe una relacin
inversa entre x() y X(), dada por
x (s) =
_

X ( f ) e
j2f s
d f , < f < . (2.37)
Esta relacin permite obtener x() como la transformada inversa de Fourier de X(). En la
ecuacin (2.37) f es una variable muda, que toma todos los valores desde a a
medida que se calcula la integral; la verdadera variable es s. Lo contrario ocurre en la
ecuacin (2.35), donde s es la variable muda de integracin, y f la variable de la funcin.
La transformada de Fourier tiene una interpretacin fsica. El kernel o ncleo de la trans-
formada de Fourier es el trmino e
j2f s
(el de la transformada inversa es e
j2f s
); aplican-
do la frmula de Euler estos ncleos pueden escribirse como
e
j2f s
= cos (2f s) j sen (2f s) .
Para el caso de la ecuacin (2.35) y para cada valor jo de f , el ncleo consiste de ondas
(senos y cosenos) con un perodo o longitud de onda T = 1/f , medido en las unidades
de s (ya sean longitud o tiempo). Estas ondas se llaman modos. Anlogamente, los modos
correspondientes a un valor jo de f tienen una frecuencia de f perodos por unidad
de longitud, o ciclos por unidad de tiempo: la combinacin ciclos por segundo se llama
Hertz, abreviado Hz.
La transformada inversa de Fourier (2.37) puede verse como una receta para recuperar
el valor de la funcin x () en un punto t a partir de una combinacin de modos de todas
las frecuencias < f < . El modo asociado con una frecuencia particular f tiene un
cierto peso en esta combinacin y ese peso est dado por X ( f ). Este proceso de con-
struir una funcin a partir de sus modos recibe frecuentemente el nombre de sntesis:
dados los pesos de los modos X ( f ), se puede generar la funcin x () para cada valor de
t que se desee. El conjunto completo de valores de X () se denomina el espectro de x (),
ya que expresa el contenido frecuencial completo de la funcin o seal x (). Igualmente
importante es el proceso opuesto, denominado anlisis: dada la funcin x () se puede en-
contrar qu cantidad X ( f ) del modo de frecuencia f est presente en x () , aplicando
la transformada directa (2.35).
EJEMPLO 2.5. Transformada directa
La funcin temporal (exponencial decreciente)
x (t) =
_
e
t
, t _ 0,
0, t < 0,
(2.38)
Fig. 2.14. Seal x(t) = e
t
, > 0, t > 0 (a). Representacin mdulo-fase (b) y parte
real-imaginaria (c) de la transformada de Fourier.
con > 0, cumple con (2.34), es decir, es absolutamente integrable. De la ecuacin (2.35),
X ( f ) =
_

x (t) e
j2f t
dt =
_

0
e
(+2f )t
dt =

+ j2f
e
(+j2f )t
0
y entonces,
X ( f ) =

+ j2f
.
La expresin de X ( f ) es una funcin compleja de f ; es interesante hallar las expresiones de la parte
real y la parte imaginaria, X ( f ) = R( f ) + jI ( f )
R( f ) = ReX ( f ) =

2
+ (2f )
2
,
I ( f ) = ImX ( f ) =
2f
2
+ (2f )
2
,
y tambin del mdulo y la fase, X ( f ) = [X ( f )[ e
j( f )
,
[X ( f )[ =

_
2
+ (2f )
2
, ( f ) = tan
1
_
2f
_
.
Cada una de estas funciones est gracada en la Fig. 2.14, ilustrando las diversas formas de presentar
la transformada de Fourier.
Para probar la validez de la ecuacin de sntesis (2.37) se puede determinar la funcin
x (t) del ejemplo anterior a partir de su transformada de Fourier X( f ).
EJEMPLO 2.6. Transformada inversa
Dado el espectro
X ( f ) =

+ j2f
=

2
+ (2f )
2
j
2f
2
+ (2f )
2
,
calculado en el ejemplo anterior, la transformada inversa x (t) se obtiene aplicando la ecuacin de
sntesis (2.37),
x(t) =
_

X ( f ) e
j2f t
d f
=
_

2
+(2f )
2
j
2f
2
+(2f )
2
_
e
j2f t
d f
=
_

_
cos (2f t)
2
+(2f )
2
+
2f sin (2f t)
2
+(2f )
2
_
d f + j
_

_
sin (2f t)
2
+(2f )
2

2f cos (2f t)
2
+(2f )
2
_
d f .
Fig. 2.15. Integracin de una funcin impar.
La segunda integral es nula porque cada trmino del integrando es una funcin impar. La Fig. 2.15
muestra el primer integrando de la segunda integral y permite una interpretacin grca. Como la
funcin es impar, g (t) = g (t) , y en consecuencia, el rea bajo la funcin desde f
0
hasta f
0
es
nula. En el lmite, a medida que f la integral de la funcin es nula
7
. Bajo estas consideraciones,
x(t) =

(2)
2
_

cos (2f t)
(/2)
2
+ f
2
d f +
2
(2)
2
_

f sin (2f t)
(/2)
2
+ f
2
d f .
De una tabla de integrales, se tiene que
_

cos ax
b
2
+ x
2
dx =

b
e
ab
, a > 0,
_

x sin ax
b
2
+ x
2
dx = e
ab
, a > 0,
y por lo tanto,
x (t) =

(2)
2
_

/2
e
(2t)(/2)
_
+
2
(2)
2
_
e
(2t)(/2)
_
=

2
e
t
+

2
e
t
= e
t
, t > 0.
En general, si las funciones x() y X () estn relacionadas por las ecuaciones (2.35) y
(2.37), se dice que las dos funciones forman un par transformado de Fourier, y esta relacin
se indica
x () = X () .
Otra notacin usual es
X () = T x () y x () = T
1
X () .
7
En realidad, cualquier integral de a + es en realidad un lmite denido por
_
+
x (t) dt = lm
T
1
,T
2
_
+T
2
T
1
x (t) dt (2.39)
donde T
1
y T
2
tienden a innito independientemente uno del otro. El valor principal de Cauchy (VPC) de una
integral es un lmite ms especco, denido como
VPC
_
_
+
x (t) dt
_
= lm
T
_
+T
T
x (t) dt. (2.40)
Mientras que (2.39) implica (2.40), es posible que exista (2.40) pero no (2.39): por ejemplo, la integral (2.40)
de todas las funciones impares es nula, pero la integral (2.39) de estas funciones puede no existir. Para las
funciones que satisfacen la Condicin 1 (vase la Seccin 2.3.3) las integrales de Fourier pueden interpretarse
en el sentido de (2.39). En cambio, para las funciones que satisfacen la Condicin 2 las transformadas se
denen por el valor principal de Cauchy (2.40) de la integral.
Fig. 2.16. Contorno de integracin para el clculo de la transformada del Ejemplo 2.7 para
f < 0 (a) y para f > 0 (b) .
Comentario sobre el clculo de las integrales impropias
El clculo de la transformada de Fourier implica evaluar integrales impropias, y en al-
gunas ocasiones se pueden calcular ms fcilmente aplicando la teora de Cauchy de las
funciones analticas. La idea es aplicar el clculo de integrales complejas sobre curvas
cerradas para evaluar integrales reales sobre la recta real.
Si f (x) es una funcin de una variable real x, la extensin analtica de f ( ) es la funcin
f (z), donde z = x + jy C, tal que f (x) = f (z)[
Imz=0
. En particular, son de utilidad
los lemas de Jordan, dos de los cuales son:
1. Si f (z) es una funcin analtica en todo punto del semiplano Imz _ 0, salvo
en un nmero nito de puntos z
k
, k = 1, . . . , n, que no estn sobre el eje real, si
lm
[z[
f (z) = 0 para z Imz > 0, entonces
_

f (x)e
jx
dx = j2
n
k=1
Res
z=z
k
f (z)e
iz
,
donde la sumatoria se extiende sobre todos los puntos singulares de f (z) con-
tenidos en Imz > 0.
2. Si la funcin f (z) posee puntos singulares sobre el eje real, por ejemplo en z = z
0
,
la contribucin del residuo de ese polo es slo j.
En el caso de la transformada o la antitransformada, el integrando es de la forma e
jx
,
donde es una constante. Dependiendo de su signo, la regin de analiticidad sera Imz >
0 si > 0, o Imz < 0 si < 0, como se detalla en los siguientes ejemplos.
EJEMPLO 2.7. Transformada de Fourier de x (t) = 1/t
Aunque la funcin x (t) = 1/t es singular en el origen, an as puede calcularse la transformada de
Fourier considerando
X( f ) = lm
0
_
_

1
t
e
j2f t
dt +
_

1
t
e
j2f t
dt
_
.
Esta integral se puede calcular como la integral de contorno
_
C
1
z
e
j2f z
dz,
donde el contorno de integracin C es el borde del semidisco de radio R con una pequea indentacin
de radio en el origen, donde R se hace tender a innito, y a cero. Bajo estas condiciones, la
integral coincide con la transformada que se desea calcular si Imz = 0. En este caso, la funcin
f (z) = 1/z tiene un polo en el eje real, en z = 0.
El semiplano donde yace C se elige de modo que el integrando tienda a cero cuando R , y
esto impone condiciones sobre f , de manera de satisfacer las condiciones de los lemas de Jordan. En
cualquier caso la regin de integracin debe elegirse de modo que

e
j2f z
0 cuando R .
Si f > 0, esta regin est dada por Imz < 0, y si f < 0, la regin de analiticidad es Imz > 0.
Para una curva C contenida en la regin Imz > 0, que corresponde a f < 0, donde C est
formada por la unin de las curvas
R
= Re
j
, 0 _ _ , el segmento de recta [R, ], la curva
= e
j
, con _ _ 0, y el segmento de recta [, R], como se muestra en Fig. 2.16(a) , la
integral de contorno es nula porque la curva no encierra ningn polo. Se tiene entonces que
0 =
_
C
1
z
e
j2f z
dz =
_

R
1
t
e
j2f t
dt +
_
1
z
e
j2f z
dz +
_
R
1
t
e
j2f t
dt +
_
R
1
z
e
j2f z
dz,
donde se efectu el cambio de variable z t = Rez sobre las rectas.
Sobre la curva
R
se hace la sustitucin z Re
j
, dz = jRe
j
d, resultando
_
R
1
z
e
j2f z
dz =
_

0
1
Re
j
e
j2f (Re
j
)
jRe
j
d = j
_

0
e
j2f R(cos +j sen )
d.
Teniendo en cuenta que
lm
R+
e
j2f R(cos +j sen )
= lm
R+
e
f Rsen
Como para esta regin sen _ 0, la nica manera que el integrando se anule para R es que
f < 0. Entonces,
lm
R0
_
R
1
z
e
j2f z
dz = 0 para f < 0.
Sobre la curva
se tiene que z = e
j
, dz = je
j
d, y por lo tanto,
_
1
z
e
j2f z
dz =
_
0
1
e
j
e
j2f (e
j
)
je
j
(d) = j
_
0
e
j2f (cos +j sen )
d.
El signo del d tiene en cuenta que la curva
est orientada en sentido horario. Cuando 0, el

argumento de la integral tiende a 1, y entonces
lm
0
_
1
z
e
j2f z
dz = j.
A partir de estos resultados se encuentra que
0 = lm
0
_
_

1
t
e
j2f t
dt +
_

1
t
e
j2f t
dt
_
. .
X( f )
j,
de modo que
X( f ) = j si f < 0.
Si f > 0, el contorno de integracin que se elige es el que se representa en la Fig. 2.16(b) . El
desarrollo es idntico, con un par de salvedades:
Fig. 2.17. Contorno de integracin para el clculo de la transformada del Ejemplo 2.8, para
t > 0 (a) y para t < 0 (b) .
Sobre la curva
R
resulta que sen _ 0, y la integral sobre
R
se anula slo si f > 0.
Sobre la curva
el recorrido es ahora en sentido horario, y se encuentra

lm
0
_
1
z
e
j2f z
dz = j,
y por lo tanto,
X( f ) = j si f > 0,
estableciendo entonces el par transformado
1
t
= j sgn( f ).
EJEMPLO 2.8. Otra forma de calcular la transformada inversa de X( f ) = /( + j2f )
En este caso,
x(t) =
_

X( f )e
j2f t
d f =
_
C
+ j2z
e
j2tz
dz =
1
j2
_
C
/(j2) + z
e
j2tz
dz.
La funcin X( f ) es singular en z = /(j2) = j/(2), que pertenece a la regin Imz > 0
pues > 0. Si t > 0, la curva C debe estar contenida en la regin Imz > 0, de modo que
e
j2tz
0 cuando R . El contorno de integracin se muestra en la Fig. 2.17(a) y por lo tanto

encierra al polo. En consecuencia,
x(t) =
1
j2
_
CImz>0
/(j2) + z
e
j2tz
dz = j2Res
_
1
j2
/(j2) + z
e
j2tz
_
z=/(j2)
= e
t
, t > 0,
Para t < 0, la curva C debe elegirse dentro del dominio Imz < 0 como se muestra en la
Fig. 2.17(b) . Ya que esta curva no encierra ningn polo,
x(t) =
_

X( f )e
j2f t
d f =
1
j2
_
CImz<0
/(j2) + z
e
j2tz
dz = 0, t < 0.
Combinando los resultados para t > 0 y t < 0, se tiene que
x(t) = e
t
u(t)
que coincide con (2.38).
An contando con herramientas tan poderosas como las presentadas en los ejemplos an-
teriores, en algunos casos deben utilizarse otras tcnicas para calcular las transformadas
o antitransformadas, como se muestra a continuacin.
EJEMPLO 2.9. Transformada de Fourier de x (t) = sgn t
En este ejemplo, recproco del Ejemplo 2.7, la funcin x (t) = sgn t no es absolutamente integrable,
y tampoco parece sencillo obtener una extensin analtica. De hecho, no se cumple uno de los
requisitos de los lemas de Jordan (especcamente, que lm
[z[
f (z) = 0). La resolucin se basa
en considerar una sucesin de funciones (que s tengan transformadas) y que se aproximen al sgn t
en el lmite; por ejemplo, la sucesin x
(t) = e
[t[
sgn t cuando 0. La transformada de cada
uno de los elementos de la sucesin es
X
( f ) =
_

(t) e
j2f t
dt =
_

e
[t[
sgn t e
j2f t
dt
=
_
0
e
(j2f ) t
dt +
_

0
e
(+j2f ) t
dt
=
e
(j2f ) t
j2f
+
e
(+j2f ) t
+ j2f
0
=
1
j2f
+
1
+ j2f
.
Cuando 0, se tiene que
X( f ) = lm
0
X
( f ) = lm
0
1
j2f
+
1
+ j2f
=
1
jf
,
que permite establecer el par transformado
sgn t =
1
jf
.
Las seales de los Ejemplos 2.7 y 2.9 no son frecuentes en los problemas de procesamien-
to, y en general las transformadas pueden resolverse integrando funciones reales o bien
aplicando las propiedades que se vern en la Seccin 2.5. Sin embargo, estas transfor-
madas son importantes porque tienen relacin con la transformada de Hilbert, como se
explora en el Ejercicio 32.
Comentario sobre la variable en el dominio transformado ( o f )
En este apunte se ha denido la transformada de Fourier X ( f ) de la seal x (t) en funcin
de la variable frecuencial f , que se mide en ciclos por segundo (cps, o Hz). Sin embargo
tambin es frecuente en la literatura denir la transformada X () de la seal x (t) en
funcin de la frecuencia angular , que se mide en rad/s. La relacin entre una y otra for-
ma de expresin es sencilla. Sabiendo que = 2f , es inmediato denir [cf. la ecuacin
(2.33) o (2.35)]
X () =
_

x (t) e
jt
dt,
de modo que
X () = X ( f )[
f =

2
.
Para el caso de la ecuacin de sntesis (2.32) o (2.37), es necesario efectuar un cambio en
la variable de integracin. Resulta entonces
x (t) =
_

X ( f ) e
j2f t
d f =
1
2
_

X ( f )[
f =

2
e
j2f t
d(2f )
=
1
2
_

X () e
jt
d.
En la variable frecuencia angular el par transformado de Fourier se expresa entonces
como
X () =
_

x (t) e
jt
dt, (2.41)
x (t) =
1
2
_

X () e
jt
d. (2.42)
En consecuencia, expresar la transformada de una seal en funcin de la frecuencia f o
de la frecuencia angular se limita simplemente a efectuar un cambio de variable. Para
el caso del Ejemplo 2.6 se tiene que
X () = X ( f )[
f =

2
=

+ j2f
f =

2
=

+ j
.
Debe tenerse en cuenta que el clculo de la transformada de algunas funciones especiales
requiere algunas precauciones (vea el Ejemplo 2.18).
2.3.3. Existencia de la integral de Fourier
Hasta ahora no se ha cuestionado la validez de las ecuaciones (2.32) y (2.33), suponien-
do que las ecuaciones integrales estn bien denidas para todas las funciones. En gen-
eral, para las mayora de las funciones encontradas en el anlisis cientco prctico la
transformada de Fourier y la transformada inversa estn bien denidas. No se intenta
presentar aqu una discusin terica sobre la existencia de las transformadas de Fourier,
sino destacar condiciones para su existencia y dar ejemplos de estas condiciones. Debido
a la similitud de las ecuaciones de sntesis (2.32) y de anlisis (2.33), las condiciones de
existencia son igualmente aplicables tanto a la transformada directa como a la transfor-
mada inversa, intercambiando los roles de las variables tiempo-frecuencia. Sin embargo,
para no oscurecer la presentacin, las condiciones de existencia se enunciarn para la
transformada directa (2.33). La discusin sigue la presentacin de Papoulis (1962).
Fig. 2.18. Transformada de Fourier de un pulso.
CONDICIN 1. Si x (t) es absolutamente integrable,
_

[x (t)[ dt < (2.43)

existe la transformada de Fourier X ( f ) existe, y est dada por la ecuacin (2.36). De
manera similar, si X( f ) es absolutamente integrable,
_

[x ( f )[ d f < ,
existe la transformada de Fourier inversa dada por la ecuacin (2.37).
Esta condicin ya fue comentada en la Seccin 2.3.2, ecuacin (2.36).
EJEMPLO 2.10. Transformada de Fourier de un pulso
El pulso de la Fig. 2.18 denido como
x (t) =
_
_
A, [t[ < /2,
A/2, t = /2,
0, [t[ > /2.
verica la Condicin 1 [ecuacin (2.43)]. Por lo tanto, su transformada de Fourier existe y est
dada por
X ( f ) =
_
/2
/2
Ae
j2f t
dt
= A
_
/2
/2
cos (2f t) dt jA
_
/2
/2
sen (2f t) dt
. .
=0
.
La segunda integral es cero porque el integrando es impar. Entonces,
X ( f ) =
A
2f
sen (2f t)
/2
/2
= A
sen ( f )
f
= A sinc ( f ) . (2.44)
Nuevamente, como en el Ejemplo 2.5, los trminos que pueden cancelarse se mantienen para enfatizar
la caracterstica sen(ax)/ax de la transformada de Fourier de un pulso (Fig. 2.18).
Fig. 2.19. Evaluacin grca de la ecuacin (2.46).
A partir de este resultado se puede calcular la transformada inversa (2.32), es decir, obtener x (t) a
partir de X ( f ) dada por (2.44). Entonces
x (t) =
_

A sinc ( f ) e
j2f t
d f
= A
_

sen ( f )
f
[cos (2f t) +j sen (2f t)] d f .
El integrando imaginario es impar; por lo tanto,
x (t) =
A
sen ( f ) cos (2f t)

f
d f .
Aplicando la identidad trigonomtrica sin u cos v =
1
2
[sen (u + v)+sen(u v)], x (t) se puede
expresar
x (t) =
A
2
_

sen [2f (/2 + t)]

f
d f +
A
2
_

sen [2f (/2 t)]

f
d f ,
que se puede escribir como
x (t) = A(/2 + t)
_

sen [2f (/2 + t)]

2f (/2 + t)
d f + A(/2 t)
_

sen [2f (/2 t)]

2f (/2 t)
d f .
(2.45)
Ya que
_

sen (2ax)
2ax
dx =
1
2 [a[
,
resulta
x (t) =
A
2
/2 + t
[/2 + t[
+
A
2
/2 t
[/2 t[
. (2.46)
Cada uno de los trminos de la ecuacin (2.46) se muestran en la Fig. 2.19; por inspeccin, es
evidente que estos trminos se suman para dar
x (t) =
_
_
A, [t[ < /2,
A/2, t = /2,
0, [t[ > /2.
El Ejemplo 2.10 ha permitido establecer el par transformado de Fourier (Fig. 2.18)

x (t) = A, [t[ < /2 = X ( f ) = A
sin ( f )
f
= A sinc ( f ) .
En los ejemplos anteriores, la existencia de la transformada de Fourier estaba asegurada
pues la funcin temporal satisface la CONDICIN 1. Ya se ha observado que debido a la
simetra entre las ecuaciones que permiten calcular la transformada a partir de la seal
y viceversa vanse las ecuaciones (2.32) y (2.33) la versin dual de la CONDICIN 1
establece que una condicin suciente para la existencia de la transformada inversa (2.32)
es que la transformada X ( f ) sea absolutamente integrable. En efecto, si
_
[X ( f )[ d f <
, entonces
[x (t)[ =

X ( f ) e
j2t f
d f
<
_

X ( f ) e
j2t f
d f =
_

[X ( f )[ d f < .
Sin embargo, tanto en el Ejemplo 2.6, donde
X ( f ) =

+ j2f
, < f < ,
como en el Ejemplo 2.10, en el cual
X ( f ) = A sinc ( f ) , < f < ,
la transformada X( f ) no es absolutamente integrable. A pesar de ello, en ambos casos fue
posible calcular la transformada inversa derivando h (t) a partir de la ecuacin de sntesis
(2.37). Una situacin dual ocurre en los Ejemplos 2.7 y 2.9. Esto muestra que la CONDI-
CIN 1 de integrabilidad absoluta es slo suciente, y que funciones que no cumplen con
ese requisito tambin pueden tener transformada de Fourier (o transformada inversa).
Esto es lo que asegura la siguiente CONDICIN.
CONDICIN 2. Si x(t) = (t) sin (2f t + ), donde f y son constantes arbitrarias,
si [ (t + k)[ < [ (t)[, k > 0 y si para [t[ > > 0 la funcin x (t) /t es absoluta-
mente integrable [ecuacin (2.43)], entonces X ( f ) existe y tiene transformada inversa
de Fourier (2.32).
Para el caso de la transformada del Ejemplo 2.6 la condicin homloga a la CONDICIN2
(es decir, intercambiando los roles de las variables t y f ) se satisface eligiendo t = 0,
= /2, y ( f ) = /( + j2f ). Es evidente que [x( f )/f [ es absolutamente integrable
para [ f [ > > 0. Un caso dual al de la transformada de Fourier X( f ) del Ejemplo 2.10
se estudia en el Ejemplo 2.11, que trata de la funcin temporal sin (at) / (at), que no es
absolutamente integrable, y por lo tanto no cumple con la CONDICIN1.
EJEMPLO 2.11. Transformada de una funcin del tipo sin (at) / (at)
El grco de la funcin
x (t) = 2Af
0
sen (2f
0
t)
2f
0
t
,
se muestra en la Fig. 2.20. Esta funcin cumple con los requisitos pedidos por la Condicin2,
con (t) = 2Af
0
/ (2f
0
t), = 0. Adems, x (t) /t cumple con las condiciones de integrabilidad
exigidas, ya que
_

x (t)
t
dt <
2Af
0
2f
0
_

1
t
2
dt =
A
< .
Fig. 2.20. Par transformado de Fourier de 2Af
0
sinc(2f
0
t).
Entonces por la Condicin2 existe la transformada de Fourier de x (t) existe y est dada por
X ( f ) =
_

2Af
0
sen (2f
0
t)
2f
0
t
e
j2f t
dt
=
A
sen (2f
0
t)
t
[cos (2f t) j sen (2f t)] dt
=
A
sen (2f
0
t)
t
cos (2f t) dt.
El trmino imaginario es cero ya que el integrando es una funcin impar. Aplicando nuevamente la
identidad trigonomtrica sin u cos v =
1
2
[sen(u + v)+sen(u v)], se obtiene
x (t) =
A
2
_

sen [2t ( f
0
+f )]
t
dt +
A
2
_

sen [2t ( f
0
f )]
t
dt
= A( f
0
+f )
_

sen [2t ( f
0
+f )]
2t ( f
0
+f )
dt + A( f
0
f )
_

sen [2t ( f
0
f )]
2t ( f
0
f )
d f .
Esta ecuacin es anloga a (2.45); idnticas tcnicas de anlisis conducen a
X ( f ) =
_
_
A, [ f [ < f
0
,
A/2, f = f
0
,
0, [ f [ > f
0
.
Como la transformada de Fourier X ( f ) de este ejemplo verica la Condicin 1, existe entonces
la transformada inversa de Fourier, dada por
x (t) =
_
f
0
f
0
Ae
j2f t
d f = A
_
f
0
f
0
cos (2f t) d f = A
sin (2f t)
2t
f
0
f
0
= 2Af
0
sin (2f
0
t)
2f
0
t
. (2.47)
De esta forma queda establecido el par transformado de Fourier
x(t) = 2Af
0
sin (2f
0
t)
2f
0
t
= X ( f ) = A, [ f [ < f
0
que se ilustra en la Fig. 2.20.
CONDICIN 3. Existe la transformada de Fourier para funciones que son de variacin
acotada; esto es, que pueden ser representadas por una curva de longitud nita en
cualquier intervalo de tiempo nito.
Las funciones de los Ejemplos 2.10 y 2.11 son de variacin acotada. Una funcin que no
tiene variacin acotada en cercanas del origen es sen (1/t) , que no tiene transformada
de Fourier. Sin embargo esta CONDICIN es slo suciente, pues hay funciones que no
tienen variacin acotada pero s tienen transformada de Fourier, tal como el impulso o
delta de Dirac (t) . En realidad el impulso no es estrictamente una funcin, sino una
distribucin, tal como se ver en la Seccin 2.3.4.
2.3.4. El impulso o delta de Dirac (t)
Estrictamente hablando la teora de la transformada de Fourier se aplica a funciones tem-
porales que cumplen con las condiciones de Dirichlet. Tales condiciones incluyen a las
funciones que tienen energa nita, es decir, que verican
E =
_

x
2
(t) dt < , (2.48)
como la exponencial decreciente del Ejemplo 2.5 o la funcin pulso del Ejemplo 2.10.
Sin embargo, como se estudi en el Captulo 1, hay otras seales de uso frecuente en el
anlisis de sistemas (las funciones peridicas, el escaln unitario, las seales constantes,
etc.) que no tienen energa nita pero s potencia promedio nita, que satisfacen
P = lm
T
1
T
_
T/2
T/2
x
2
(t) dt < . (2.49)
En general estas seales no verican las condiciones de Dirichlet, y no tienen transfor-
mada de Fourier. Con las herramientas desarrolladas hasta el momento no es posible
calcular la transformada de Fourier de una funcin senoidal o cosenoidal. Sin embargo
estas seales se pueden representar usando series de Fourier. Resulta deseable extender
la teora de la transformada para poder
1. combinar la serie y la transformada de Fourier en una teora unicada, de modo de
tratar la serie como un caso particular de la transformada de Fourier;
2. poder aplicar la transformada de Fourier a seales de potencia promedio nita, ya
que son muy usadas en el anlisis de sistemas.
Tales objetivos pueden alcanzarse introduciendo el delta de Dirac o impulso unitario. Su
uso simplica muchas derivaciones que de otro modo requeriran desarrollos extensos y
complejos. Aunque este concepto se aplica en la solucin de muchos problemas la deni-
cin matemtica precisa debe interpretarse en el sentido no de una funcin normal, sino
en base a la teora de distribuciones.
Se detallarn aqu algunas propiedades especcas del delta de Dirac que son necesarias
para soportar los desarrollos posteriores.
Denicin
Normalmente, la funcin impulso (t) se dene como
(t t
0
) = 0, t ,= t
0
(2.50)
_

(t t
0
) dt = 1. (2.51)
Fig. 2.21. Distintas representaciones del impulso.
Estas expresiones indican que (t) es cero en todo punto, salvo en t = t
0
[ecuacin (2.50)],
y que en ese punto la amplitud es indenida, pero el rea bajo la funcin es unitaria
[ecuacin (2.51)]. Parece difcil relacionar un impulso con una seal fsica; sin embargo,
puede pensarse que un impulso es un pulso de gran amplitud y duracin extremada-
mente breve, con rea unitaria. El trmino impulso hace hincapi en el hecho que ()
no es una funcin. Por ello las ecuaciones o expresiones que la contengan tienen que
tener una interpretacin, y en general esta se da de modo elemental recurriendo a una
serie de pulsos (no de impulsos). La expresin que contiene el smbolo impulso ()
adquiere el signicado de un lmite que en muchos casos existe. Este hecho reeja la
situacin fsica en el cual las respuestas a seales tipo pulso se pueden producir u ob-
servar precisamente, dentro de los lmites permitidos por el poder de resolucin de los
equipos de medicin, mientras que los impulsos son cticios. Tratando con especial cuidado
las expresiones donde intervenga () se puede retener el rigor y el procedimiento de
manipulacin que ha resultado tan prctico. Ejemplos familiares de esta situacin fsi-
ca son el momento producido por una masa puntual que descansa sobre una viga, o el
campo elctrico de una carga puntual. En la aproximacin fsica de tales problemas se
observa el efecto producido por objetos o volmenes con cargas cada vez ms pequeos
pero a su vez cada vez ms densos, y se estudia si el efecto producido tiende a un lmite
denido.
Ninguna funcin comn puede satisfacer las ecuaciones (2.50) y (2.51). Sin embargo,
se puede pensar el impulso como una sucesin de funciones que progresivamente incre-
mentan su amplitud y disminuyen su duracin, manteniendo el rea constante e igual
a la unidad. En el lmite la funcin tiende a cero en todo punto, excepto en el origen
donde tiende a innito para poder mantener el rea constante. Por ejemplo, la seal de
la Fig. 2.21(a) tiene rea unitaria, y se puede escribir
(t) = lm
a0
f (t, a) .
De manera similar, funciones como las ilustradas en la Fig. 2.21(b), (c) y (d) satisfacen
la condicin (2.51), y pueden utilizarse para representar un impulso cuando a 0: es
irrelevante la forma del pulso que forme la sucesin. Otra representacin interesante se
obtiene a partir de denir el impulso como el lmite de un sinc,
(t) = lm
a
sen at
t
que permite demostrar (Papoulis, 1962) que
_

cos 2f t d f =
_

e
j2f t
d f = (t) . (2.52)
Las diferentes propiedades de los impulsos pueden determinarse directamente a partir
de las deniciones (2.50) y (2.51). En un sentido matemtico estricto estas deniciones
carecen de sentido si se piensa (t) como una funcin comn y corriente; tal es el caso,
por ejemplo, de la ecuacin (2.51), con la interpretacin de Riemann de la integral. En
cambio estos problemas matemticos desaparecen si se piensa en el impulso como una
funcin generalizada o una distribucin.
Propiedades
El impulso (t) tiene varias propiedades interesantes que son consecuencias directas de
las reglas (2.50)(2.51) que lo denen. Entre ellas se destacan:
1. La funcin delta es par: (t) = (t) .
2. El escalado de la variable independiente resulta en un escalado del rea del pulso
(at) =
1
[a[
(t) ,
como se desprende inmediatamente de analizar una sucesin de pulsos (como los
de la Fig. 2.21) escalados en el tiempo.
3. La integral del producto de una funcin x (t) cualquiera, continua en t
0
, y un im-
pulso (t t
0
) es igual a x (t
0
):
_

x (t) (t t
0
) dt = x (t
0
) . (2.53)
Esta relacin se conoce como propiedad de criba o de colador del impulso, ya que
slo deja pasar el valor que toma x (t) cuando se evala en la abscisa donde
est ubicado el impulso. Es frecuente denir el producto de una funcin cualquiera
y una distribucin por la integral de la ecuacin (2.53), de modo que si x (t) es
continua,
x (t) (t t
0
) = x (t
0
) (t t
0
) .
En general, el producto de dos distribuciones es indenido.
4. Ya que el impulso es una funcin par, se puede reescribir la ecuacin (2.53) de forma
similar a la integral de convolucin,
_

x (t) (t
0
t) dt = x (t
0
) , es decir x (t) + (t) = x (t) .
Fig. 2.22. Transformada de Fourier de un impulso.
de modo que la convolucin de cualquier funcin con un impulso da como resulta-
do la misma funcin original (propiedad de replicacin del impulso). Si el impulso
est desplazado en t
0
,
x (t) + (t t
0
) =
_

x () [(t t
0
) ] d =
_

x (t ) ( t
0
) d
= x (t t
0
) .
es decir que la convolucin de una funcin continua con un impulso desplazado
resulta en un desplazamiento de la funcin original.
5. De manera ms general, la Propiedad 4 puede generalizarse para la convolucin de
dos impulsos:
(t t
1
) + (t t
2
) = [t (t
1
+ t
2
)] .
6. El impulso y la funcin escaln unitario
u(t) =
1 + sgn(t)
2
=
_
1, t > 0,
0, t < 0,
donde u(0) toma cualquier valor nito, estn relacionados por
u(t) =
_
t
(s) ds,
d
dt
u(t) = (t).
7. Para cualquier seal x (t) ,
_

x (t)
d
n
dt
n
(t) dt = (1)
n
d
n
dt
n
x (t)
t=0
.
2.3.5. Aplicaciones del impulso
La aplicacin de las propiedades anteriores permite obtener directamente la transforma-
da de Fourier de muchas seales importantes.
EJEMPLO 2.12. Transformada de un impulso
La transformada de Fourier de la funcin impulsiva x (t) = K (t) se obtiene a partir de la Propiedad
(3):
X ( f ) =
_

K (t) e
j2f t
dt = K e
0
= K.
Fig. 2.23. Transformada de Fourier de pulsos de distinto ancho.
La transformada inversa no es tan directa, y se basa el resultado (2.52). Entonces,
x (t) =
_

Ke
j2f t
dt =
_

Kcos (2f t) dt = K (t) ,

lo que establece el par transformado que se muestra en la Fig. 2.22.
x(t) = K (t) = X ( f ) = K.
Una manera alternativa de obtener la transformada de un impulso es considerando nue-
vamente el Ejemplo 2.10, haciendo tender a cero el ancho del pulso (T
0
0). Para man-
tener la energa del pulso constante, cada disminucin del ancho se acompaa por un
incremento en la altura del pulso (Fig. 2.23). A medida que el ancho del pulso disminuye,
aumenta el valor de la abscisa para el cual se produce el primer cero de la transformada
(el primer cero del sinc). En el lmite, cuando el ancho del pulso tiende a cero (y su
altura a innito, pese a lo cual el rea queda constante), la transformada tiende a una
constante. Este comportamiento es un ejemplo de la relacin inversa que existe entre los
dominios tiempo y frecuencia. Ms adelante se estudiar este fenmeno desde el punto
de vista de la propiedad de escalado en frecuencia de la transformada de Fourier.
Es interesante notar que el valor de la transformada en el origen es igual al rea del pulso,
lo que resulta evidente a partir de la denicin:
X (0) =
_

x (t) e
j2f t
dt
f =0
=
_

x (t) dt = rea bajo la funcin x (t) .

Fig. 2.24. Transformada de Fourier de una funcin constante.
EJEMPLO 2.13. Transformada de una constante
De manera similar al desarrollo del Ejemplo 2.12 se puede obtener el par transformado
x (t) = K = X ( f ) = K ( f )
que se ilustra en la Fig. 2.24. Es ilustrativo comparar este resultado con el obtenido en el Ejemplo
2.1 para la serie de Fourier de una funcin constante.
El conocimiento los pares transformados desarrollados en los Ejemplos 2.12 y 2.13 facilita
la obtencin de otros pares transformados, pero especcamente, permite el clculo de las
transformadas de funciones peridicas, como se muestra en la siguiente seccin..
2.4. Seales peridicas y la transformada de Fourier
Al presentar la transformada de Fourier (Seccin 2.3.1) se determin la relacin entre los
coecientes de la serie de Fourier de una seal x(t) de perodo T y la transformada de
Fourier de un perodo de esa seal, dado por
x (t) =
_
x (t) , [t[ _ T
0
/2,
0, caso contrario.
(2.54)
La relacin entre los coecientes y la transformada est dada por (2.30), repetida aqu por
comodidad
c
k
=
1
T
0
X
_
k
T
0
_
= f
0
X (k f
0
) . (2.55)
Por lo tanto, los coecientes de la serie de Fourier de una seal peridica x (t) de perodo
T son muestras tomadas cada f
0
= 1/T de la transformada de Fourier de la funcin
(aperidica) x (t) determinada por un nico perodo de x (t).
Los coecientes de la serie de Fourier se pueden obtener integrando sobre cualquier inter-
valo de longitud T
0
. Especcamente, sea s cualquier punto en el tiempo, y denamos la
seal x (t) igual a x (t) sobre el intervalo s _ t _ s + T
0
, y cero fuera de l,
x (t) =
_
x (t) , s _ t _ s + T
0
,
0, caso contrario.
(2.56)
Los coecientes de la serie de Fourier de x (t) estn dados por (2.55), donde X ( f ) es la
transformada de Fourier de x (t) denida por (2.56). La ecuacin (2.55) es vlida para
2.4. Seales peridicas y la transformada de Fourier 105
Fig. 2.25. (a) Onda cuadrada peridica x (t); (b)(c) dos seales aperidicas cada una de las
cuales coincide con x (t) sobre intervalos diferentes de longitud T
0
.
cualquier valor de s, y no necesariamente el valor s = T
0
/2 utilizado en (2.54) y (2.28).
Esto no signica que la transformada X ( f ) es la misma para todos los valores de s pero
s que el conjunto de muestras X (k/T
0
) es independiente de s, como se muestra en el
siguiente ejemplo.
EJEMPLO 2.14. Coecientes de la serie de Fourier a partir de la transformada
Sea x (t) la seal cuadrada peridica de perodo T
0
que se muestra en la Fig. 2.25. Sean x
1
(t)
y x
2
(t) dos seales aperidicas que coinciden con x (t) sobre diferentes intervalos de tiempo de
longitud T
0
.
La transformada de Fourier de x
1
(t) es:
X
1
( f ) =
_

x
1
(t) e
j2f t
dt =
_
/2
/2
e
j2f t
dt =
1
j2f
e
j2f t
/2
/2
=
1
f
sin ( f ) = sinc( f ). (2.57)
La transformada de Fourier de x
2
(t) esta dada por
X
2
( f ) =
_

x
2
(t) e
j2f t
dt =
_
/2
0
e
j2f t
dt +
_
T
0
T
0
/2
e
j2f t
dt
=
1
j2f
_
e
j2f /2
1
_
+
1
j2f
e
j2f T
0
_
1 e
j2f /2
_
=
e
j f /2
j2f
_
e
j f /2
e
j f /2
_
+
e
j2 (T
0
/4) f
j2f
_
e
j f /2
e
j f /2
_
=
1
f
sin ( f /2)
_
e
j f /2
+ e
j2(T
0
/4) f
_
. (2.58)
Comparando (2.57) con (2.58) se advierte que las dos transformadas no son iguales: mientras que
X
1
( f ) es real X
2
( f ) es compleja. Sin embargo, para las frecuencias f
k
= k/T
0
, (2.58) se puede
escribir
X
2
_
k
T
0
_
=
1
(k/T
0
)
sin
_
k
T
0
_
_
e
jk/(2T
0
)
+ e
jk2[1/(4T
0
)]
_
=
2
(k/T
0
)
sin
_
k
2T
0
_
cos
_
k
2T
0
_
.
Haciendo uso de la identidad trigonomtrica sin2 = 2 sin cos , se tiene
X
2
_
k
T
0
_
=
1
(k/T
0
)
sin
_
k
T
0
_
=
T
0
k
sin
_
k
T
0
_
= sinc
_
k
T
0
_
= X
1
( f )[
f =
k
T
0
,
(2.59)
y por lo tanto,
c
k
=
1
T
0
X
1
( f )[
f =
k
T
0
= X
2
( f )[
f =
k
T
0
=

T
0
sinc
_

T
0
k
_
,
lo que muestra que, a pesar que las transformadas de Fourier son diferentes, sus muestras en las
frecuencias armnicas f
k
= kT
0
coinciden. Este resultado concuerda con (2.55): los coecientes de
la serie de Fourier de una seal peridica de perodo T
0
pueden calcularse a partir de la transformada
de Fourier de una seal aperidica que coincida con aquella sobre un intervalo arbitrario de longitud
igual al perodo T
0
, y que valga cero fuera de l.
2.4.1. La transformada de Fourier para seales peridicas
La transformada de Fourier de una seal peridica se puede obtener directamente a partir
de su representacin en series de Fourier, y consiste en un tren de impulsos en frecuen-
cia, donde las reas de los impulsos son proporcionales a los coecientes de la serie de
Fourier. Esta representacin facilita el anlisis de Fourier de problemas de muestreo y
modulacin.
Para sugerir el resultado general, se considera una seal x (t) cuya transformada de
Fourier X ( f ) es un impulso de rea unitaria en la frecuencia f = f
0
, esto es,
X ( f ) = ( f f
0
) .
La seal x (t) que corresponde a esta transformada se puede determinar a partir de la
transformada inversa de Fourier
x (t) =
_

( f f
0
) e
j2f t
d f = e
j2f
0
t
.
De manera ms general, si X ( f ) es una combinacin lineal de impulsos equiespaciados
en frecuencia,
X ( f ) =

k=
c
k
( f k f
0
) , (2.60)
la aplicacin de la transformada inversa permite obtener
x (t) =

k=
c
k
e
jk2f
0
t
. (2.61)
Se observa que la ecuacin (2.61) corresponde exactamente a la representacin en serie
de Fourier de una seal peridica, como se vio en la ecuacin (2.19). Por lo tanto, la trans-
formada de Fourier de una seal T
0
-peridica con coecientes c
k
puede interpretarse
como un tren de impulsos ubicados en frecuencias armnicamente relacionadas con 1/T
0
y tales que el rea del impulso de la armnica k f
0
es el valor del k-simo coeciente de
la serie de Fourier c
k
. Este es el resultado obtenido en el Ejemplo 2.15 para las seales
peridicas seno y coseno.
Fig. 2.26. Transformada de Fourier de Acos (2f
0
t) .
Fig. 2.27. Transformada de Fourier de Asin (2f
0
t)
Sintetizando, la relacin entre la serie de Fourier y la transformada de Fourier de una seal
peridica x(t) queda establecida por las expresiones (2.55), (2.60) y (2.61) repetidas aqu
por completitud.
x (t) =

k=
c
k
e
jk2f
0
t
T x (t) =

k=
c
k
( f k f
0
) = f
0
k=
X(k f
0
) ( f k f
0
) =
1
T
0
k=
X
_
k
T
0
_
_
f
k
T
0
_
donde X( f ) es la transformada de Fourier de x(t), denida como un perodo de la seal
peridica,
x (t) =
_
x (t) , t
0
_t _t
0
+T
0
,
0, caso contrario.
Un punto de vista alternativo de esta representacin se estudiar en la Seccin 2.6.4.
EJEMPLO 2.15. Transformada de Fourier de funciones peridicas
La transformada de Fourier de la funcin peridica
x (t) = Acos (2f
0
t) ,
puede calcularse aplicando la propiedad (2.52) del impulso:
X ( f ) =
_

Acos (2f
0
t) e
j2f t
dt =
A
2
_

_
e
j2f
0
t
+ e
j2f
0
t
_
e
j2f t
dt
=
A
2
_

_
e
j2t( f f
0
)
+ e
j2t( f +f
0
)
_
dt
=
A
2
( f f
0
) +
A
2
( f + f
0
) ,
Fig. 2.28. Transformada de Fourier de una onda cuadrada simtrica peridica.
La frmula de inversin permite obtener x (t) a partir de X ( f ):
x (t) =
_

_
A
2
( f f
0
) +
A
2
( f + f
0
)
_
e
j2f t
d f =
A
2
e
j2f
0
t
+
A
2
e
j2f
0
t
= Acos (2f
0
t) .
En la Fig. 2.26 se muestra el par transformado de Fourier
Acos (2f
0
t) =
A
2
( f f
0
) +
A
2
( f + f
0
) .
De manera similar se puede obtener el par transformado que se observa en Fig. 2.27:
Asin (2f
0
t) = j
A
2
( f + f
0
) j
A
2
( f f
0
) .
La transformada de Fourier en este caso es imaginaria. Es instructivo comparar las simil-
itudes y diferencias de estos resultados con los obtenidos al calcular la serie de Fourier de
las seales coseno y seno (Ejemplos 2.2 y 2.3, respectivamente).
EJEMPLO 2.16. Transformada de Fourier de una onda cuadrada
Dada la seal cuadrada de la Fig. 2.25, y de acuerdo a los resultados del Ejemplo 2.14, los coecientes
de la serie de Fourier para esta seal son
c
k
=

T
0
sin (k f
0
)
k
=

T
0
sinc
_

T
0
k
_
,
de modo que su transformada de Fourier es
X ( f ) =

k=
T
0
sinc
_

T
0
k
_
( f k f
0
) ,
que se muestra en la Fig. 2.28 para = T
0
/2.
EJEMPLO 2.17. Transformada de Fourier de un tren de impulsos
Un tren innito de impulsos distanciados T unidades de tiempo entre s se expresa matemticamente
como
x (t) =

n=
(t nT) .
Fig. 2.29. (a) Tren de impulsos peridico; (b) su transformada de Fourier.
Esta seal es peridica, con perodo fundamental T. Para determinar su transformada de Fourier se
calculan los coecientes de la serie de Fourier
c
k
=
1
T
_
T/2
T/2
(t) e
jk
2
T
t
dt =
1
T
para todo k Z.
En base a este resultado y la ecuacin (2.60) resulta que la transformada de Fourier de un tren de
impulsos es
X ( f ) =
1
T
k=
_
f
k
T
_
.
El resultado indica que la transformada de un tren de impulsos en tiempo es un tren de impulsos en
frecuencia, como muestra la Fig. 2.29(b). Se vuelve a notar aqu la relacin inversa entre los dominios
tiempo y frecuencia: a medida que el espaciado entre los impulsos en tiempo se hace mayor (aumenta
el perodo T), el espaciado entre los impulsos en el dominio frecuencia (la frecuencia fundamental
f
0
= 1/T) disminuye.
EJEMPLO 2.18. El tren de impulsos en funcin de la frecuencia angular
Es habitual que muchos textos expresen los pares transformados de Fourier en funcin de la fre-
cuencia angular . Como ya vimos, la relacin entre X () y X ( f ) es sencillamente X() =
X ( f )[
f =/(2)
. En el caso particular del tren de impulsos, la propiedad de escalado del impulso
hace que la transformada pueda expresarse de manera ligeramente diferente. Hemos visto que el
tren de impulsos satisface el par transformado
x (t) =

n=
(t nT
0
) = X ( f ) =
1
T
0
k=
_
f
k
T
0
_
. (2.62)
Sabiendo que = 2f , deniendo
0
= 2/T
0
, y aplicando la propiedad de escalado del impulso,
1
T
0
k=
_
f
k
T
0
_
=
1
T
0
k=
_
1
2
_
2f
2
T
0
k
__
=
2
T
0
k=
2
T
0
k
_
=
2
T
0
k=
(
0
k) ,
y entonces la relacin (2.62) puede ser re-escrita en funcin de la frecuencia angular como
x (t) =

n=
(t nT
0
) = X () =
0
k=
(k
0
) ,
que coincide con la expresin dada por Papoulis (1962).
Fig. 2.30. Desarrollo de la transformada de Fourier de una sucesin de impulsos equiespaciados.
EJEMPLO 2.19. Transformada de un tren de impulsos
Aunque la demostracin rigurosa se presenta en el Ejemplo 2.17, es interesante demostrar, al
menos intuitivamente, que la transformada de Fourier de un tren de impulsos equiespaciados en
tiempo es otro tren de impulsos equiespaciados en frecuencia
x (t) =

n=
(t nT
0
) = X ( f ) =
1
T
0
k=
_
f
k
T
0
_
. (2.63)
Un desarrollo grco del par transformado se puede apreciar en la Fig. 2.30. En esta gura, se parte
de impulsos separados f
0
= 1/T
0
en el dominio frecuencia y se observa qu sucede en el dominio
tiempo. Para el caso mostrado en la Fig. 2.30(a) (derecha), se tienen tres impulsos en el dominio
frecuencia:
X ( f ) = ( f ) + ( f f
0
) + ( f + f
0
) ,
y en consecuencia,
x (t) = 1 + e
j2f
0
t
+ e
j2f
0
t
= 1 + 2 cos (2f
0
t) ,
Fig. 2.31. Trenes de pulsos.
funcin que se puede observar en la Fig. 2.30(a) (izquierda). Si en el dominio frecuencia se agregan
impulsos de la forma ( f + k f
0
) + ( f k f
0
), donde k es un entero positivo, es fcil ver (aplicando
el principio de superposicin) que en la funcin en el dominio tiempo aparecen trminos de la forma
2 cos (2k f
0
t). Esto se muestra en la Fig. 2.30(b) para tres trminos, y en la Fig. 2.30(c) para cinco
trminos:
X ( f ) = ( f ) + ( f f
0
) + ( f + f
0
) + ( f 2f
0
) + ( f + 2f
0
) + ( f 3f
0
) + ( f + 3f
0
) ,
y en consecuencia,
x (t) = 1 + e
j2f
0
t
+ e
j2f
0
t
+ e
j2(2f
0
)t
+ e
j2(2f
0
)t
+ e
j2(3f
0
)t
+ e
j2(3f
0
)t
= 1 + 2 cos (2f
0
t) + 2 cos [2 (2f
0
) t] + 2 cos [2 (3f
0
) t] . (2.64)
A medida que se incrementa el nmero de impulsos en el dominio frecuencia, se incrementa el
nmero de trminos 2 cos (2nf
0
t) que aparecen en el dominio tiempo. La forma de onda de
x (t) se parece cada vez ms a un tren de impulsos. Finalmente, en el lmite, cuando el dominio
frecuencia se tienen innitos pulsos, se obtienen tambin innitos impulsos en el dominio tiempo
[Fig. 2.30(d)]. Obsrvese nuevamente que el valor de x (t) en el origen tiene que ver con el rea
encerrada por la curva en el dominio frecuencia (recurdese que los (t) tienen rea unidad),
salvo para el ltimo caso, en que tanto la seal en el dominio frecuencia como la seal en el dominio
tiempo son peridicas.
Una forma alternativa de calcular la transformada de un tren de impulsos es partiendo
del dominio temporal. En este caso, consideraremos pulsos en el dominio tiempo (en lugar
de impulsos). El pulso temporal se muestra en la Fig. 2.31(a). En este caso el pulso est
denido por
x
1
(t) =
_
A/, [t[ < /2,
0, [t[ > /2.
El espectro del pulso es
X( f ) =
_
+
x
1
(t)e
j2f t
dt =
A
_
+/2
/2
e
j2f t
dt =
A
1
j2f
_
e
j2f

2
e
j2f

2
_
=
A
0
1
jf
j sen ( f ) = A
sen ( f )
f
= Asinc ( f ) . (2.65)
Las transformadas de Fourier del pulso, para = 0,5, 0,2 y 0,1 se muestran en la Fig. 2.32(a)-
(c), respectivamente. Se observa que a medida que disminuye el ancho del pulso, el lbu-
lo principal del sinc () es cada vez ms amplio.
Como veremos en la Seccin 2.5.4, al estudiar sus propiedades, la transformada de Fouri-
er del pulso desplazado en T
0
[Fig. 2.31(b)] es
X
T
0
( f ) = e
j2f T
0
X
1
( f ) .
De modo que la transformada de Fourier de la seal con tres pulsos est dada por
X
3
( f ) = X
1
( f ) + e
j2f T
0
X
1
( f ) + e
j2f T
0
X
1
( f )
= X
1
( f )
_
1 + e
j2f T
0
+ e
j2f T
0
_
= X
1
( f ) [1 + 2 cos(2f T
0
)] .
Esta transformada se ilustra en la Fig. 2.32(d)-( f ). Se aprecia que, dependiendo del ancho
del pulso, algunos de lospicos pueden no aparecer [Fig. 2.32(d)]. Obsrvese adems
que la amplitud de los picos tiene como envolvente una sinc que depende del ancho
de los pulsos en el dominio tiempo.
La transformada de la funcin con 2N + 1 pulsos es
X
2N+1
( f ) =X
1
( f )
_
1+2
N
k=0
cos (2kT
0
f )
_
=X
1
( f )
_
1+2
N
k=1
cos (2kT
0
f )
_
. (2.66)
(En la ltima expresin cambia el valor inicial del ndice de la sumatoria de k = 0 a k = 1).
Los casos para N = 5, 25, 75, (11, 51, 151 pulsos, respectivamente) se muestran tambin
en la Fig. 2.32(g)-(o): a medida que aumenta el numero de pulsos en el dominio tiempo,
la transformada de Fourier se concentra en las cercanas de frecuencias armnicas a la
que corresponde con la separacin entre pulsos. Tambin se aprecia que a medida que
disminuye el ancho de los pulsos, los picos en frecuencia resultan casi de la misma
amplitud.
2.4.2. El ncleo de Dirichlet
Resulta interesante analizar en detalle las sumas de las ecuaciones (2.64) y (2.66). Por
ejemplo, en el caso de (2.66), la transformada de un conjunto de 2N + 1 pulsos en el
dominio tiempo puede escribirse
X
2N+1
( f ) = X ( f )
N
k=N
e
2kT
0
f
= X ( f ) (2N + 1)
T
0
,2N+1
( f ) , (2.67)
Fig. 2.32. Transformadas de los trenes de pulsos de la Fig. 2.31. (a)-(c) un nico pulso; (d)-
( f ) tres pulsos; (g)-(i) once pulsos; (h)-(l) cincuenta y un pulsos; (m)-(o) ciento
cincuenta y un pulsos. Cada columna corresponde a pulsos de distinta duracin .
con
T
0
,2N+1
( f ) =
1
2N + 1
N
k=N
e
2kT
0
f
.
Fig. 2.33. Detalles de la funcin
T
0,
M
(x) para M impar (a) y M par (b) .
Recordando que
N
k=0
k
= (
N+1
1)/( 1), se tiene que
T
0
,2N+1
( f ) =
1
2N + 1
N
k=N
e
2kT
0
f
=
2N
k=0
e
2(kN)T
0
f
=
e
j2NT
0
f
2N + 1
2N
k=0
e
2kT
0
f
=
e
j2NT
0
f
2N + 1
e
2(2N+1)T
0
f
1
e
2T
0
f
1
=
e
j2NT
0
f
2N + 1
e
2(2N+1)T
0
f /2
_
e
2(2N+1)T
0
f /2
e
2(2N+1)T
0
f /2
_
e
2T
0
f /2
_
e
2T
0
f /2
e
2T
0
f /2
_
=
1
2N + 1
sen [T
0
(2N + 1) f ]
sen (T
0
f )
.
que se puede generalizar como
T
0
,M
(x) =
sen(T
0
Mx)
Msen (T
0
x)
. (2.68)
donde M puede ser un nmero par o impar, y el cambio de variable f por x permite inde-
pendizarse de la interpretacin frecuencial. Esta funcin, que aparecer frecuentemente
a lo largo del curso, se denomina kernel (o ncleo) de Dirichlet (Fig. 2.33).
Para los x que son mltiplos de 1/T
0
= f
0
tanto el numerador como el denominador se
anulan. Aplicando lHpital, se encuentra que
T
0
,M
(x)[
x=k/T
0
=
cos(Mk)
cos(k)
, M N, k Z
y entonces
T
0
,M
(x)[
x=k/T
0
=
_
1, k Z, M impar,
(1)
k
, k Z, M par,
como se muestra en la Fig. 2.33(a) y Fig. 2.33(b), respectivamente. Tambin es evidente de
(2.68) que la funcin
T
0
,M
(x) es peridica, de perodo 1/T
0
si M es impar, y de perodo
Fig. 2.34. Funcin
2N+1
(x) para distintos valores de N: (a) N = 5; (b) N = 10; (c) N = 50.
2/T
0
si M es par:
T
0
,M
(x) =
_
T
0
,M
_
x +
1
T
0
k
_
, k Z, M impar,
T
0
,M
_
x +
2
T
0
k
_
, k Z, M par.
Adems, se puede comprobar que
_
1/T
0
0
T
0
,M
(x) dx =
1
MT
0
, si M es impar,
_
2/T
0
0
T
0
,M
(x) dx = 0, si M es par,
como sugiere la Fig. 2.33.
La funcin (2.68) presenta M1 ceros por perodo, que ocurren para los valores x
i
que
satisfacen
x
i
=
k
T
0
_
1 +
i
M
_
, i = 1, 2, . . . , M. (2.69)
donde k/T
0
_ x < (k + 1) /T
0
, k Z. En realidad, el numerador se anula M veces por
perodo, pero uno de esos ceros, ubicado en x = k/t
0
[correspondiente a i = 0 en (2.69)],
se cancela con el cero del denominador: son los puntos que deben evaluarse aplicando
la regla de lHpital.
La transformada del tren de pulsos aplicando el ncleo de Dirichlet
Retomando el anlisis de la transformada del tren de pulsos, se deduce de (2.67) que la
transformada del tren de 2N + 1 pulsos est dada por el producto de la transformada de
un pulso [ecuacin (2.65)] y la funcin
T
0
,2N+1
( f ) escalada por (2N + 1). O, en otras
palabras, la transformada del tren de pulsos es la funcin
T
0
,2N+1
( f ) modulada por la
transformada del pulso. Esta es la mdula del anlisis precedente, y bajo esta luz puede
explicarse la Fig. 2.32 a partir de las Figs. 2.18 y 2.34. Lo interesante es que el anlisis de
la funcin
T
0
,2N+1
( f ) permite comprender mejor que en el lmite, cuando N , la
funcin
T
0
,2N+1
( f ) tiende a un tren de impulsos en frecuencia, equiespaciados 1/T
0
unidades entre s
lm
N
(2N + 1)
T
0
,2N+1
( f ) =
_
f
k
T
0
_
,
como se muestra en la Fig. 2.34 para distintos valores de N. En efecto, tal como fue detal-
lado en el anlisis de la funcin
T
0
,2N+1
( f ) , esta funcin tiene 2N ceros por perodo. De
modo que a medida que N la funcin ser virtualmente nula en todo el perodo,
excepto en aquellos puntos donde se anulen simultneamente el numerador y denomi-
nador de la funcin, que, tal como fue explicado precedentemente, ocurre para mltiplos
enteros de 1/T
0
.
Debe tenerse en cuenta que, mientras N sea nito, la funcin temporal no ser peridica,
de modo que, aunque 0, la transformada de Fourier de 2N + 1 pulsos se asemeja a
las grcas de la Fig. 2.34, y no precisamente a un tren de impulsos. Adems, a medida
que el nmero de pulsos aumenta, se incrementa proporcionalmente el valor medio de
la seal, y en consecuencia el valor de la transformada en f = 0 es 2N + 1, tal como se
aprecia en la Fig. 2.34.
Finalmente, en el caso que N , la funcin temporal es peridica, la funcin ( f )
converge a un tren de impulsos peridicos, y en consecuencia, se comprueba la validez
de la relacin (2.63). La convergencia de funciones continuas como las
T
0
,2N+1
(x) a una
funcin discontinua como el tren de impulsos se estudiar en la Seccin 2.7.
2.5. Propiedades de la transformada de Fourier
Un conjunto de propiedades de las transformadas de Fourier son bsicas en el tratamien-
to de seales. Tan importante como el conocimiento matemtico de las mismas es una
adecuada interpretacin visual. En esta seccin se desarrollar no slo la teora de los
pares transformados bsicos, sino tambin se har especial hincapi en el signicado de
estas propiedades. Para ellos se utilizarn muchos ejemplos analticos y grcos.
2.5.1. Linealidad
Si x (t) e y (t) tienen transformadas de Fourier X ( f ) e Y ( f ), respectivamente, entonces
la suma ax (t) + by (t) donde a, b son nmeros complejos, tiene transformada de Fourier
aX ( f ) + bY ( f ). Esta propiedad se deduce fcilmente:
_

[a x (t) + b y (t)] e
j2f t
dt =
_

a x (t) e
j2f t
dt +
_

b y (t) e
j2f t
dt
= a X ( f ) + b Y ( f ) ,
lo que permite obtener el par transformado
a x (t) + b y (t) = a X ( f ) + b Y ( f ) .
Esta relacin es importante porque reeja la posibilidad de aplicar la transformada de
Fourier al anlisis de sistemas lineales.
EJEMPLO 2.20. Propiedad de linealidad
Dados los pares transformados de Fourier
x (t) = K = X ( f ) = K (t) ,
y (t) = Acos (2f
0
t) = Y ( f ) =
A
2
( f f
0
) +
A
2
( f + f
0
) .
2.5. Propiedades de la transformada de Fourier 117
Fig. 2.35. La propiedad de linealidad.
por la propiedad de linealidad se verica que
x (t) + y (t) = K + Acos (2f
0
t) = X ( f ) = K (t) +
A
2
( f f
0
) +
A
2
( f + f
0
) .
La Fig. 2.35(a), (b) y (c) ilustra cada uno de los pares transformados de Fourier.
2.5.2. Escalado en tiempo
Si la transformada de Fourier de x (t) es X ( f ), entonces la transformada de x (kt) , donde
k es una constante real mayor que cero, se puede determinar reemplazando = kt en la
ecuacin de anlisis
_

x (kt) e
j2f t
dt =
_

x () e
j2f /k
d
k
=
1
k
X
_
f
k
_
.
Para k negativos, el trmino de la derecha cambia de signo porque cambian los lmites de
integracin, pero como tambin cambia el signo del diferencial dt, el resultado nal no
cambia. Entonces el escalado en tiempo resulta en el par transformado de Fourier
x (kt) =
1
[k[
X
_
f
k
_
.
EJEMPLO 2.21. Propiedad de escalado en tiempo
La propiedad de escalado en tiempo es muy conocida en varias ramas de la ciencia. Como se observa
Fig. 2.36. Propiedad de escalado en tiempo.
en la Fig. 2.36, una expansin de la escala temporal se corresponde con una compresin de escala en
el eje de frecuencias. En la Fig. 2.36(a) se muestra el par transformado de Fourier correspondiente a
un pulso rectangular. El pulso x
1
(t) tiene altura A y ancho , y su transformada es un sinc( ) de
altura A, y con ceros cada 1/: esto es, X
1
( f ) = A sinc( f ). En la Fig. 2.36(b) se representa un
pulso x
2
(t) de la misma altura, pero del doble de ancho. El rea del pulso corresponde a la amplitud
mxima de su transformada de Fourier, que ser un sinc( ) de altura A(2), con ceros que se
repiten cada la inversa del ancho del pulso; en este caso cada 1/(2). Por lo tanto, la transformada
de Fourier de este pulso es
X
2
( f ) = A(2) sinc[(2) f ]. (2.70)
De las guras es evidente que x
2
(t) = x
1
(t/2), es decir que x
2
(t) es una versin escalada en el
tiempo de x
1
(t), con k = 1/2. De acuerdo a la propiedad de escalado en el tiempo de la transformada
de Fourier, resulta que
x
2
(t) = x
1
(t/2) = X
2
( f ) =
1
[k[
X
1
_
f
k
_
= 2X
1
(2f ) = 2(A) sinc[(2f )],
que coincide con la expresin (2.70). En la Fig. 2.36(c) se representa la seal x
3
(t), que puede
pensarse como un escalado por (1/4) de x
1
(t) o un escalado por (1/2) de x
2
(t), y su correspondiente
par transformado X
3
( f )
Debe notarse que a medida que se expande la escala temporal, no slo se contrae la escala frecuencial
sino que la amplitud de la transformada se incrementa de modo de mantener el rea constante
(recuerde que el rea bajo la transformada es igual al valor de la funcin temporal en el origen
t = 0). Esta es efecto muy conocido en la teora de antenas y radar.
Fig. 2.37. Propiedad de escalado en tiempo: el caso de los impulsos.
Si en algunos de los pares transformados aparecen impulsos, la propiedad de escalado se
aplica exactamente igual, pero prestando atencin a la propiedad de escalado del impul-
so: (at) = (t)/[a[ (Seccin 2.3.4, Propiedad 2).
EJEMPLO 2.22. Propiedad de escalado cuando intervienen impulsos
En la Fig. 2.37(a) se representa la seal x
1
(t) = Acos(2f
0
t) y su transformada de Fourier X
1
( f ) =
(A/2)( f + f
0
) + (A/2)( f f
0
). Si x
2
(t) es una versin escalada en tiempo de x
1
, por ejemplo,
x
2
(t) = x
1
(2t) = Acos[2f
0
(2t)], la seal resultante es un coseno de igual amplitud que x
1
(t) pero
de frecuencia doble. Por lo tanto, su transformada es X
2
( f ) = (A/2)( f +2f
0
) + (A/2)( f 2f
0
).
La aplicacin ingenua de la propiedad de escalado en tiempo podra sugerir que se afecta la
amplitud de la transformada; pero en realidad esto no ocurre por la propiedad de escalado del
impulso. En efecto, si x
2
(t) = x
1
(2t), se tiene que
X
2
( f ) =
1
2
X
1
_
f
2
_
=
1
2
_
A
2

_
f
2
+ f
0
_
+
A
2

_
f
2
f
0
__
=
1
2
_
A
2

_
1
2
( f + 2f
0
)
_
+
A
2

_
1
2
( f 2f
0
)
_
_
=
1
2
_
A
2
2 ( f + 2f
0
) +
A
2
2 ( f 2f
0
)
_
, por la propiedad de escalado de (t)
=
A
2
( f + 2f
0
) +
A
2
( f 2f
0
) ,
expresin que coincide con la derivada ms arriba, y que se representa en la Fig. 2.37(b) .
2.5.3. Escalado en frecuencia
Si la transformada inversa de Fourier de X ( f ) es x (t), entonces la transformada inversa
de X (k f ), donde k es una constante real, est dada por el par transformado
1
[k[
x
_
t
k
_
= X (k f )
Fig. 2.38. Propiedad de escalado en frecuencia.
Esta relacin se puede determinar sustituyendo = k f en la ecuacin de sntesis
_

X (kt) e
j2f t
d f =
_

X () e
j2t/k
d
k
=
1
[k[
x
_
t
k
_
.
Nuevamente, para impulsos escalados en frecuencia, debe tenerse en cuenta que (a f ) =
( f ) / [a[ .
EJEMPLO 2.23. Propiedad de escalado en frecuencia
Anlogamente al escalado en tiempo, la expansin de la escala de frecuencias resulta en una com-
presin de la escala de tiempos. Este efecto se aprecia en la Fig. 2.38. Note que a medida que el eje
de frecuencia se expande, la amplitud de la funcin temporal se incrementa de modo de mantener
constante el rea cubierta por al funcin temporal: recuerde que este rea es igual al valor de la
transformada en el origen f = 0, que en este caso se mantiene constante e igual a 2AT
0
. Este
resultado tambin puede obtenerse aplicando la propiedad de dualidad, que se ver ms adelante, y
la propiedad de escalado en tiempo.
Fig. 2.39. Propiedad de desplazamiento temporal.
2.5.4. Desplazamiento temporal
Si x (t) se desplaza temporalmente t
0
unidades de tiempo, sustituyendo s = t t
0
la
transformada de Fourier resulta
_

x (t t
0
) e
j2f t
dt =
_

x (s) e
j2f (s+t
0
)
ds
= e
j2f t
0
_

x (s) e
j2f s
ds
= e
j2f t
0
X ( f ) ,
y el par transformado de Fourier de una seal desplazada en el tiempo es
x (t t
0
) = X ( f ) e
j2f t
0
. (2.71)
EJEMPLO 2.24. Propiedad de desplazamiento temporal
El espectro de la seal x
1
(t) = Acos(2f
0
t) es X
1
( f ) = (A/2)( f + f
0
) + (A/2)( f f
0
),
como muestra la Fig. 2.39(a) . En la Fig. 2.39(b) se graca x
2
(t) que es x
1
(t) desplazada T
0
/8
unidades de tiempo. Es evidente que
x
2
(t) = x
1
(t T
0
/8) = Acos [2f
0
(t T
0
/8]
= Acos(2f
0
t /4).
El espectro de x
2
(t) es X
2
( f ) = e
j2f (T
0
/8)
X
1
( f ). Operando se encuentra que
X
2
( f ) = e
j2f (T
0
/8)
[(A/2)( f + f
0
) + (A/2)( f f
0
)]
= (A/2)e
j2(f
0
)(T
0
/8)
( f + f
0
) + (A/2)e
j2( f
0
)(T
0
/8)
( f f
0
)
= (A/2)e
j/4
( f + f
0
) + (A/2)e
j/4
( f f
0
)
=
_
A
_
2
4
+ jA
_
2
4
_
( f + f
0
) +
_
A
_
2
4
jA
_
2
4
_
( f f
0
).
De manera similar puede encontrarse que para x
3
(t) = x
1
(t T
0
/4) es X
3
( f ) = e
j2f (T
0
/4)
X
1
( f ),
de donde
X
3
( f ) = j
A
2
( f + f
0
) j
A
2
( f f
0
),
como se muestra en la Fig. 2.39(c) . Finalmente,
x
4
(t) = x
1
(t T
0
/2) = Acos [2f
0
(t T
0
/2]
= Acos(2f
0
t ) = Acos(2f
0
t ) = x
1
(t).
Por lo tanto,
X
4
( f ) = e
j2f (T
0
/2)
X
1
( f )
= e
jf T
0
(A/2)( f + f
0
) + e
jf T
0
(A/2)( f f
0
)
=
A
2
( f + f
0
)
A
2
( f f
0
),
como ilustra la Fig. 2.39(d) .
Los casos presentados revelan que el corrimiento temporal resulta en un cambio de fase ( f ) =
arctan [Im( f ) /Re ( f )] , sin alterar el mdulo de la transformada de Fourier.
2.5.5. Desplazamiento frecuencial (modulacin)
Si X ( f ) se desplaza en frecuencia f
0
Hz, su transformada inversa queda multiplicada por
e
j2f
0
t
:
x (t) e
j2f
0
t
= X ( f f
0
) . (2.72)
Este par transformado puede obtenerse sustituyendo s = f f
0
en la ecuacin de sntesis
_

X ( f f
0
) e
j2f t
d f =
_

X (s) e
j2t(s+f
0
)
ds
= e
j2f
0
t
_

X (s) e
j2t s
ds
= e
j2f
0
t
x (t) .
EJEMPLO 2.25. Propiedad de modulacin
Para ilustrar el efecto del desplazamiento en frecuencia, supongamos que la funcin x
1
(t) es real,
como muestra la Fig. 2.40(a) , y que su espectro X
1
( f ) se desplaza en frecuencia f
0
unidades a
izquierda y derecha del origen, respectivamente, atenuando su amplitud a la mitad [Fig. 2.40(b)].
Este nuevo espectro X
2
( f ) est dado entonces por
X
2
( f ) =
1
2
X
1
( f + f
0
) +
1
2
X
1
( f f
0
) ,
Fig. 2.40. Propiedad de desplazamiento en frecuencia (modulacin).
de modo que la funcin temporal correspondiente es
x
2
(t) =
1
2
x
1
(t) e
j2f
0
t
+
1
2
x
1
(t) e
j2f
0
t
= x
1
(t) cos 2f
0
t.
El desplazamiento frecuencial (en ambos sentidos) resulta en la multiplicacin de la funcin temporal
x
1
(t) por un coseno cuya frecuencia est determinada por el corrimiento f
0
, como se representa
en la Fig. 2.40(b) . Cuanto mayor sea el desplazamiento frecuencial, mayor ser la frecuencia de la
portadora, como ilustra la Fig. 2.40(c) . Este proceso, conocido como modulacin, es fundamental
para la transmisin de informacin sobre distintos medios; ms adelante, en la Seccin 2.6.5, se
interpretar esta propiedad utilizando otras herramientas.
2.5.6. Formulacin alternativa de la ecuacin de sntesis
La ecuacin de sntesis
x (t) =
_

X ( f ) e
j2f t
d f ,
tambin puede escribirse como
x (t) =
_
_

X
+
( f ) e
j2f t
d f
_
+
,
Fig. 2.41. (a) Clculo de la transformada directa de Fourier. (b) Clculo de la transformada
inversa utilizando el mismo algoritmo que para el clculo de la transformada directa.
donde X
+
( f ) es el complejo conjugado de X ( f ). La vericacin de la propiedad es trivial:
_
_

X
+
( f ) e
j2f t
d f
_
+
=
_

_
X
+
( f ) e
j2f t
_
+
d f
=
_

[X
+
( f )]
+
_
e
j2f t
_
+
d f
=
_

X ( f ) e
j2f t
d f
= x (t) .
La importancia de la formulacin alternativa es que ahora tanto la transformada de Fouri-
er como la transformada inversa comparten el mismo trmino e
j2f t
(es decir, tienen el
mismo ncleo o kernel). Esta similaridad es de considerable importancia en el desarrollo
de programas que permitan calcular de manera rpida la transformada de Fourier. Ob-
serve que si se dispone de un algoritmo que calcule la transformada directa de Fourier, el
mismo algoritmo puede utilizarse para calcular la transformada inversa: basta con ingre-
sar como dato el conjugado de la transformada Y
+
( f ) , y conjugar el resultado entregado
por el algoritmo para obtener la antitransformada x (t) , como se muestra en la Fig. 2.41.
2.5.7. Funciones pares
Si x
e
(t) es una funcin par del tiempo, es decir x
e
(t) = x
e
(t), entonces la transformada
de Fourier de x
e
(t) es una funcin par y real:
x
e
(t) = R
e
( f ) =
_

x
e
(t) cos (2f t) dt.
Fig. 2.42. Par transformado de Fourier de una funcin par.
El par transformado se obtiene de manera trivial:
X ( f ) =
_

x (t) e
j2f t
dt
=
_

x
e
(t) cos (2f t) dt j
_

x
e
(t) sen (2f t) dt
=
_

x
e
(t) cos (2f t) dt = R
e
( f ) .
La parte imaginaria se anula ya que el integrando es una funcin impar. Como cos (2f t)
es una funcin par, x
e
(t) cos (2f t) = x
e
(t) cos [2 (f ) t] y entonces, X
e
( f ) = X
e
(f ):
la transformada es par. De manera similar, si X ( f ) es una funcin real y par de la fre-
cuencia, la frmula de sntesis permite obtener
x (t) =
_

X
e
( f ) e
j2f t
d f =
_

R
e
( f ) e
j2f t
d f
=
_

R
e
( f ) cos (2f t) d f + j
_

R
e
( f ) sen (2f t) d f
=
_

R
e
( f ) cos (2f t) d f = x
e
(t) .
EJEMPLO 2.26. Funciones pares
Como se muestra en la Fig. 2.42, la transformada de Fourier de una funcin par es una funcin real
y par de la frecuencia; recprocamente, la transformada inversa de Fourier de una funcin real y par
de la frecuencia es una funcin par del tiempo.
2.5.8. Funciones impares
Si x
o
(t) = x
o
(t), entonces x
o
(t) es una funcin impar del tiempo, y su transformada
de Fourier es una funcin impar e imaginaria:
X ( f ) =
_

x
o
(t) e
j2f t
dt
=
_

x
o
(t) cos (2f t) dt j
_

x
o
(t) sen (2f t) dt
= j
_

x
o
(t) sen (2f t) dt = jI
o
( f ) .
El integrando real es nulo ya que la multiplicacin de una funcin par por una im-
par es una funcin impar. Como sen (2f t) es una funcin impar, x
o
(t) sen (2f t) =
Fig. 2.43. Par transformado de Fourier de una funcin impar.
x
o
(t) sen [2 (f ) t] y entonces, x
o
( f ) = x
o
(f ): la transformada es impar. An-
logamente, si X ( f ) es una funcin impar e imaginaria, la frmula de sntesis permite
obtener
x (t) =
_

X ( f ) e
j2f t
d f
= j
_

I
o
( f ) e
j2f t
d f
= j
_

I
o
( f ) cos (2f t) d f + j
_

jI
o
( f ) sen (2f t) d f
=
_

I
o
( f ) sen (2f t) d f = x
o
(t) ,
y la funcin x
o
(t) resultante es impar. El par transformado de Fourier est dado por
x
o
(t) = jI
o
( f ) = j
_

x
o
(t) sen (2f t) dt.
EJEMPLO 2.27. Funciones impares
Un ejemplo de este par transformado se muestra en la Fig. 2.43. La funcin x (t) es impar en t; por lo
tanto, la transformada de Fourier es impar (en f ) y imaginaria. Recprocamente, si la transformada
X ( f ) es imaginaria e impar en f , la transformada inversa de Fourier es una funcin temporal impar
en t.
2.5.9. Descomposicin de ondas
Una funcin arbitraria puede descomponerse de manera nica como la suma de una
funcin par y otra impar:
x (t) =
1
2
x (t) +
1
2
x (t) =
1
2
[x (t) + x (t)] +
1
2
[x (t) x (t)]
= x
e
(t) + x
o
(t) . (2.73)
donde
x
e
(t) =
1
2
[x (t) + x (t)] , (2.74)
x
o
(t) =
1
2
[x (t) x (t)] . (2.75)
Fig. 2.44. Propiedad de descomposicin de ondas.
Las ecuaciones (2.74) y (2.75) son las deniciones de funciones pares e impares, respec-
tivamente. En consecuencia, en base a las propiedades anteriores, la transformada de
Fourier de (2.73) es
X ( f ) = R( f ) + jI ( f ) = X
e
( f ) + X
o
( f ) ,
donde X
e
( f ) = R( f ) y X
o
( f ) = jI ( f ). Ms adelante se ver que esta descomposicin
puede utilizarse para acelerar el clculo de la transformada de Fourier.
EJEMPLO 2.28. Descomposicin de ondas
Para demostrar el concepto de la descomposicin de formas de onda, consideremos la funcin
exponencial
x (t) = e
t
, > 0, t _ 0. (2.76)
Procediendo como en (2.73), se obtiene
x (t) =

2
e
t
+

2
e
t
=

2
_
_
e
t
_
t_0
+
_
e
t
_
t_0
_
+

2
_
_
e
t
_
t_0
_
e
t
_
t_0
_
=

2
e
[t[
+

2
_
_
e
t
_
t_0
_
e
t
_
t_0
_
= x
e
(t) + x
o
(t),
donde
x
e
(t) =

2
e
[t[
, x
o
(t) =

2
_
_
e
t
_
t_0
_
e
t
_
t_0
_
.
La Fig. 2.44 muestra la descomposicin en funciones pares e impares. El espectro de la funcin (2.76)
ya fue calculado en el Ejemplo 2.5; la descomposicin de ondas permite calcular sin gran esfuerzo
el espectro X
e
( f ) de x
e
(t) y X
o
( f ) de x
o
(t) . Como x
e
(t) es par, de acuerdo a la Propiedad 2.5.7
su espectro es real, y como x
o
(t) es impar su espectro es imaginario (Propiedad 2.5.8). A su vez,
Fig. 2.45. (a) Pulso exponencial creciente x(t) = e
t
, > 0, t < 0. (b) Representacin
mdulo/fase y (c) parte real/imaginaria de la transformada de Fourier (comparar
con la Fig. 2.14).
X ( f ) = X
e
( f ) + X
o
( f ) . En consecuencia,
x
e
(t) = X
e
( f ) = Re [X ( f )] =

a
2
+ (2f )
2
,
x
o
(t) = X
o
( f ) = j Im[X ( f )] =
j2f
2
+ (2f )
2
.
EJEMPLO 2.29. Transformada de un pulso exponencial creciente
La descomposicin de ondas tambin puede utilizarse para calcular el espectro del pulso exponencial
creciente
y (t) =
_
e
t
, t _ 0, > 0,
0, t > 0.
Haciendo referencia a las funciones x
e
(t) y x
o
(t) del Ejemplo previo, es evidente que y (t) =
2x
e
(t) x (t), y en consecuencia, Y ( f ) = 2X
e
( f ) X ( f ) . Como
X ( f ) =
a
a
2
+ (2f )
2
j
2f
a
2
+ (2f )
2
,
X
e
( f ) =
a
a
2
+ (2f )
2
,
resulta
Y ( f ) = 2X
e
( f ) X ( f )
=
a
a
2
+ (2f )
2
+ j
2f
a
2
+ (2f )
2
= X
+
( f )
de modo que el espectro del pulso exponencial creciente es el conjugado del espectro del Ejemplo
2.5, es decir que se invierte el signo de la fase (Fig. 2.45). Compare con el espectro de X ( f ) que
se muestra en la Fig. 2.14.
2.5.10. Propiedades para funciones complejas
Para simplicar la presentacin, hasta el momento slo se han considerado funciones
temporales que toman valores reales. La transformada de Fourier, la transformada inver-
sa y sus propiedades son aplicables tambin para el caso en que h (t) sea una funcin
temporal que tome valores complejos. Si
x (t) = x
r
(t) + jx
i
(t) ,
donde x
r
(t) es la parte real de x (t) y x
i
(t) es la parte imaginaria de x (t), la transformada
de Fourier resulta
X ( f ) =
_

[x
r
(t) + jx
i
(t)] e
j2f t
dt
=
_

[x
r
(t) cos (2f t) + x
i
(t) sen (2f t)] dt
j
_

[x
r
(t) sen (2f t) x
i
(t) cos (2f t)] dt
= R( f ) + jI ( f ) .
Entonces,
R( f ) =
_

[x
r
(t) cos (2f t) + x
i
(t) sen (2f t)] dt,
I ( f ) =
_

[x
r
(t) sen (2f t) x
i
(t) cos (2f t)] dt.
De manera anloga, la frmula de sntesis para funciones complejas permite obtener
x
r
(t) =
_

[R( f ) cos (2f t) I ( f ) sen (2f t)] d f ,

x
i
(t) =
_

[R( f ) sen (2f t) + I ( f ) cos (2f t)] d f .

Si x (t) es real, entonces x (t) = x
r
(t) [x
i
(t) = 0], y las partes real e imaginaria de las
transformada de Fourier son
R
e
( f ) =
_

x
r
(t) cos (2f t) dt, (2.77)
I
o
( f ) =
_

x
r
(t) sen (2f t) dt. (2.78)
En este caso, R
e
( f ) es una funcin par (de la frecuencia) ya que R
e
( f ) = R
e
(f );
anlogamente, como I
o
( f ) = I
o
(f ), la transformada I
o
( f ) es impar.
Si x (t) es imaginaria pura, x (t) = jx
i
(t) [x
r
(t) = 0], y entonces
R
o
( f ) =
_

x
i
(t) sen (2f t) dt, (2.79)
I
e
( f ) =
_

x
i
(t) cos (2f t) dt. (2.80)
Ahora, R
o
( f ) es una funcin impar de la frecuencia, e I
e
( f ) es una funcin par. En la
Tabla 2.4 se listan diferentes propiedades de simetra de funciones temporales complejas
y las caractersticas de sus correspondientes transformadas de Fourier.
EJEMPLO 2.30. Determinacin simultnea de la transformada de dos funciones reales
Se pueden utilizar las relaciones (2.77)-(2.80) para determinar simultneamente la transformada de
Fourier de dos seales reales. Para ilustrar esto, consideremos dos funciones reales x (t) y y (t).
Tabla 2.4: Propiedades de la Transformada de Fourier para funciones complejas.
Dominio tiempo Dominio frecuencia
x (t) X ( f )
real Parte real: par
Parte imaginaria: impar
imaginaria Parte real: impar
Parte imginaria: par
Parte real: par real
Parte imaginaria: impar
Parte real: impar imaginaria
Parte imaginaria: par
real y par real y par
real e impar imaginaria e impar
imaginaria y par imaginaria y par
imaginaria e impar real e impar
compleja y par compleja y par
compleja e impar compleja e impar
Sean ahora h (t) = x (t) y g (t) = jy (t); entonces H ( f ) = X ( f ), y G ( f ) = jY ( f ). Como h (t)
es real, de (2.77)-(2.78) se tiene que
h (t) = x (t) = H ( f ) = X ( f ) = R
e
( f ) + jI
o
( f ) .
Anlogamente, como g (t) es imaginaria,
g (t) = jy (t) = G ( f ) = jY ( f ) = R
o
( f ) + jI
e
( f ) .
Entonces,
x (t) + jy (t) = X ( f ) + jY ( f ) ,
donde
X ( f ) = R
e
( f ) + jI
o
( f ) , Y ( f ) = I
e
( f ) jR
o
( f ) . (2.81)
De modo que si z (t) = h (t) + g (t) = x (t) + jy (t), la transformada de Fourier de z (t) puede
expresarse como
Z ( f ) = R( f ) + jI ( f )
=
1
2
[R( f ) + R(f )] +
1
2
[R( f ) R(f )] + j
1
2
[I ( f ) + I (f )] + j
1
2
[I ( f ) I (f )] ,
y de acuerdo con (2.81)
X ( f ) =
1
2
[R( f ) + R(f )] + j
1
2
[I ( f ) I (f )] ,
Y ( f ) =
1
2
[I ( f ) + I (f )] j
1
2
[R( f ) R(f )] .
Entonces es posible separar el espectro Z ( f ) de la funcin compuesta en las transformadas de
Fourier de cada una de las seales reales, x (t) y y (t), tal como se observa en la Fig. 2.46. Como
veremos ms adelante, esta idea puede explotarse para incrementar la velocidad de clculo de la
transformada discreta de Fourier.
Fig. 2.46. Esquema para el clculo simultneo de la transformada de Fourier de dos seales
reales.
2.5.11. Diferenciacin e integracin
Si x (t) es una seal con transformada de Fourier X ( f ) , diferenciado ambos lados de la
ecuacin de sntesis se obtiene
dx (t)
dt
=
_

d
dt
X ( f ) e
j2f t
d f =
_

j2f X ( f ) e
j2f t
d f ,
que establece el par transformado
dx (t)
dt
= j2f X ( f ) . (2.82)
Esta es una propiedad particularmente importante porque reemplaza la operacin de
diferenciacin en el dominio temporal por una multiplicacin por j2f en el dominio
frecuencial, lo que facilita el anlisis de sistemas lineales e invariantes en el tiempo de-
scriptos por ecuaciones diferenciales.
Ya que la diferenciacin en tiempo corresponde a una multiplicacin por j2f en el do-
minio frecuencial, uno puede esperar que la integracin involucre la divisin por j2f
en el dominio frecuencial. La relacin precisa es
_
t
x () d =
1
j2f
X ( f ) +
1
2
X (0) ( f ) . (2.83)
El impulso en la expresin de la transformada reeja el comportamiento de continua o
valor promedio que puede resultar por la integracin.
EJEMPLO 2.31. Transformada de un escaln unitario
Aplicando la Propiedad 2.5.9 de descomposicin de ondas, se calcular la transformada de Fourier del
escaln unitario que se muestra en la Fig. 2.47, donde se ha gracado la descomposicin par-impar
de u (t), que puede escribirse como
u (t) = u
e
(t) + u
o
(t) =
1
2
+
_
u (t)
1
2
_
,
con u
e
(t) = 1/2 y u
o
(t) = u (t) 1/2. Consideremos primero la parte impar u
o
(t). Como
u
/
o
(t) = u
/
(t) = (t), de la propiedad de diferenciacin se obtiene
(t) =
du
o
(t)
dt
= 1 = j2f U
o
( f ) ,
Fig. 2.47. Propiedades de integracin y de derivacin.
ya que la transformada de Fourier del impulso es 1. Entonces,
U
o
( f ) =
1
j2f
. (2.84)
Obsrvese que, de acuerdo a la Propiedad 2.5.8 sobre las funciones impares, al ser u
o
(t) impar y real
su transformada de Fourier U
o
( f ) debe ser imaginaria pura e impar, lo que es evidente de (2.84).
La parte par de u (t), que se nota u
e
(t), es una seal constante de amplitud 1/2, y por lo tanto su
transformada de Fourier es un impulso en f = 0. Especcamente,
u
e
(t) =
1
2
= U
e
( f ) =
1
2
( f ) , (2.85)
y combinando las transformadas de la parte impar (2.84) y de la parte par (2.85) de u (t), resulta
el par transformado
u (t) =
1
j2f
+
1
2
( f ) . (2.86)
Este resultado tambin puede obtenerse a partir de la propiedad de integracin. Si h (t) = (t), la
integral de h (t) es u (t) , y como H ( f ) = 1, la propiedad de integracin (2.83) permite obtener
directamente (2.86). Observe que el trmino impulsivo en (2.86) se debe exclusivamente al valor de
continua no nulo de u (t).
Finalmente, notemos que se puede aplicar la propiedad de diferenciacin para recuperar el valor de
la transformada del impulso a partir de la transformada del escaln unitario. En efecto, diferenciando
(2.86),
(t) =
du (t)
dt
= j2f
_
1
j2f
+ ( f )
_
= 1 + j2f ( f ) = 1
ya que 2f ( f ) = 0.
Transformadas de funciones polinomiales a tramos
Una aplicacin especial de la propiedad de derivacin es la obtencin de transformadas
de funciones polinomiales a tramos. Las derivadas de estas funciones contienen impulsos
en el punto donde se unen los distintos tramos. Como la transformada del impulso es
conocida, puede ser ms sencillo calcular la transformada de la funcin derivada que la
de la funcin original, tal como muestran los siguientes ejemplos.
EJEMPLO 2.32. Transformada de un pulso triangular
En la Fig. 2.48(a) se representa el pulso triangular denido como
p(t) =
_
2a
T
(T/2 [t[), si [t[ < T/2,
0. en caso contrario.
El clculo la transformada de p(t) por denicin es complicado:
P( f ) =
_

p(t) e
j2f t
dt =
_
0
T/2
2a
T
_
T
2
+ t
_
e
j2f t
dt +
_
T/2
0
2a
T
_
T
2
t
_
e
j2f t
dt
=
2a
T
_
0
T/2
T
2
e
j2f t
dt+
2a
T
_
0
T/2
te
j2f t
dt+
2a
T
_
T/2
0
T
2
e
j2f t
dt
2a
T
_
T/2
0
te
j2f t
dt
=
a
j2f
e
j2f t
0
T/2
+
2a
T(2f )
2
(1 + j2f t)e
j2f t
0
T/2
+
a
j2f
e
j2f t
T/2
0
2a
T(2f )
2
(1 + j2f t)e
j2f t
T/2
0
=
a
j2f
_
1e
jTf
+e
jTf
1
_
+
2a
T(2f )
2
_
1(1jTf )e
jTf
(1+jTf )e
jTf
+1
_
=
a
j2f
[2j sen(Tf )] +
2a
T(2f )
2
_
2e
jTf
e
jTf
+jTf e
jTf
jTf e
jTf
_
=
a
f
sen(Tf ) +
2a
T(2f )
2
[2 2 cos(Tf ) + jTf 2j sen(Tf )]
=
a
T(f )
2
[1 cos(Tf )].
Como 1 cos = 1 [cos
2
(/2) sen
2
(/2)] = 2 sen
2
(/2), se tiene que
P( f ) = a
T
4
2[sen(Tf /2)]
2
(Tf /2)
2
=
aT
2
_
sinc
_
T
2
f
__
2
.
El clculo es ms sencillo si se aplica la propiedad de derivacin. La derivada temporal de p(t) es
un par de pulsos rectangulares, como se muestra en la Fig. 2.48(a) , es decir
p
/
(t) = r(t + T/4) r(t T/4), donde r(t) =
_
2a/T, [t[ < T/4,
0, [t[ > T/4.
Es conocido que R( f ) = (2a/T)(T/2) sinc (Tf /2) = a sinc (Tf /2) , y por lo tanto, aplicando la
propiedad de desplazamiento temporal,
Tp
/
(t) = e
j2f T/4
R( f ) e
j2f T/4
R( f ) = R( f )(e
j2f T/4
e
j2f T/4
) = 2j sen(Tf /2)R( f )
y como Tp
/
(t) = j2f P( f ), se tiene que
j2f P( f ) = 2j sen(Tf /2)R( f )
de donde
P( f ) =
1
f
sen(Tf /2)R( f ) =
T
2
sen(Tf /2)
f (T/2)
R( f ) =
aT
2
_
sinc
_
T
2
f
__
2
El resultado coincide con el calculado por denicin, pero se alcanza mucho ms fcilmente.
Fig. 2.48. El pulso triangular (a) y parablico (b) y sus derivadas temporales.
EJEMPLO 2.33. Transformadas de un pulso parablico
Sea p (t) un pulso parablico, denido como
p(t) = (1 t
2
)r (t) , donde r(t) =
_
1, [t[ < 1,
0, [t[ > 1,
como se muestra en la Fig. 2.48(b). Si P( f ) es la transformada de Fourier de p(t), la propiedad de
derivacin asegura que
j2f P( f ) = p
/
(t) = 2tr(t) + (1 t
2
)r
/
(t), (2.87)
donde r
/
(t) = (t + 1) (t 1), y por la propiedad de criba del impulso (Propiedad 3), (1
t
2
)r
/
(t) = 0. Derivando p
/
(t) resulta
(j2f )
2
P( f ) = p
//
(t) = 2r(t) 2tr
/
(t),
= 2r(t) 2t [(t + 1) (t 1)] .
Nuevamente, por la propiedad de criba del impulso, t [(t + 1) (t 1)] = t[
t=1
(t + 1)
t[
t=1
(t 1) = (t + 1) (t 1), de modo que
(j2f )
2
P( f ) = p
//
(t) = 2r(t) + 2(t + 1) + 2(t 1).
Como
2r(t) = 4 sinc(2f ),
2 [(t + 1) + (t 1)] = 4 cos(2f ),
se tiene que
P( f ) =
4 cos(2f ) 4 sinc(2f )
(j2f )
2
+ k
1
( f ) + k
2
/
( f ),
donde k
1
y k
2
son constantes de integracin que aparecen pues se puede agregar una constante k
1
al pulso parablico sin alterar su primera derivada, y k
2
tiene en cuenta este efecto para la derivada
segunda. La integracin del pulso p(t) revela que no hay constantes aditivas o rampas lineales, de
modo que k
1
= k
2
= 0 en este caso y por lo tanto,
P( f ) =
cos(2f )
2
f
2
+
sen(2f )
2
3
f
3
.
Fig. 2.49. Propiedad de dualidad.
2.5.12. Dualidad
Si la transformada de Fourier de x (t) es X ( f ), entonces
X (t) = x (f ) .
Este par transformado puede deducirse reescribiendo la ecuacin de la transformada
inversa para la variable (t)
x (t) =
_

X ( f ) e
j2f (t)
d f ,
e intercambiando los parmetros t y f ,
x (f ) =
_

X (t) e
j2f t
dt. (2.88)
En palabras, si una funcin temporal tiene la forma x (t) , y su transformada de Fourier
es X ( f ) , entonces una funcin temporal con la forma de X () tendr como transforma-
da una funcin con la forma de x () en frecuencia, reejada sobre el eje de ordenadas.
EJEMPLO 2.34. Derivacin de la transformada de un sinc() aplicando la propiedad de
dualidad
Para ilustrar esta propiedad consideremos el par transformado de Fourier
x (t) = A, [t[ < = X( f ) = 2A sinc (2f ) ,
ilustrado previamente. Por la propiedad de dualidad,
y(t) = X(t) = 2A sinc (2t) = Y ( f ) = x (f ) = A, [ f [ < , (2.89)
tal como se ilustra en la Fig. 2.49. En este caso, como las funciones involucradas son simtricas en
tiempo y en frecuencia, el cambio de signo de la ecuacin (2.88) pasa inadvertido.
Fig. 2.50. Otro ejemplo de la propiedad de dualidad.
EJEMPLO 2.35. Demostracin de la propiedad de dualidad para una seal senoidal
A partir del Ejemplo 2.15 se deriv el par transformado
x (t) = Asin (2t) = X( f ) = j
A
2
( f + ) j
A
2
( f ) .
Si se dene la funcin temporal y (t) = X (t) , es decir, una seal temporal compleja formada por
un par de impulsos en t = ,
y (t) = j
A
2
(t + ) j
A
2
(t )
su transformada de Fourier Y( f ) es
Y( f ) =
_

x (t) e
j2f t
dt = j
A
2
e
j2f ()
j
A
2
e
j2f (+)
= j
A
2
_
e
j2f
e
j2f
_
= j
A
2
[2j sen (2f )] = Asen (2f ) = x (f ) .
Esta relacin dual se muestra en la Fig. 2.50.
El empleo de esta propiedad permite evitar muchos desarrollos matemticos complejos,
como el del Ejemplo 2.11 (transformada de un sinc). Tambin puede servir para sugerir
o determinar otras propiedades de las transformadas de Fourier. Especcamente, si una
funcin temporal tiene ciertas caractersticas que determinan una forma especial de su
transformada de Fourier, entonces las mismas caractersticas asociadas a una funcin fre-
cuencial tendrn caractersticas duales en el dominio temporal. Por ejemplo, veremos que
una funcin temporal peridica tiene una trasformada de Fourier discreta, formada por
un tren de impulsos equiespaciados, y pesados por una cierta funcin: tal el caso de las
funciones peridicas sen (2f
0
t) y cos (2f
0
t) del Ejemplo 2.15, cuyas transformadas son
Fig. 2.51. Pulso gaussiano y su transformada de Fourier.
impulsos. Debido a la dualidad, una funcin temporal formada por impulsos equiespa-
ciados y modulados por una cierta funcin, tendr una transformada de Fourier que es
peridica en frecuencia. Un anticipo de estas relaciones se vislumbra en la transformada
del tren de impulsos desarrollada en el Ejemplo 2.19.
De manera similar, las propiedades enunciadas hasta ahora tambin implican propiedades
duales. Por ejemplo, hemos visto que la diferenciacin en el dominio tiempo se relaciona
con la multiplicacin por j2f en el dominio frecuencial. De la discusin precedente, se
puede sospechar que la multiplicacin por j2t en el dominio temporal se corresponde
con una derivacin en el dominio frecuencial. Para determinar la forma precisa de esta
propiedad dual, aplicamos la denicin. Diferenciando la ecuacin de anlisis respecto a
f , se tiene
X ( f ) =
_

x (t) e
j2f t
dt =
dX ( f )
d f
=
_

j2tx (t) e
j2f t
dt,
de modo que hemos establecido el par transformado
j2t x (t) =
dX ( f )
d f
. (2.90)
Anlogamente, se pueden derivar las propiedades de la antitransformada de la integral
en frecuencia
1
j2t
x (t) + x (0) (t) =
_
f
X () d (2.91)
y la de corrimiento frecuencial
e
j2f
0
t
x (t) = X ( f f
0
) . (2.92)
Compare estos resultados con sus duales: (2.90) con (2.82), (2.91) con (2.83), y (2.92)
con (2.71) y (2.72), y note las diferencias de signos en cada caso. En particular, para la
propiedad de integracin, recuerde que el impulso (t) es una funcin par (Seccin 2.3.4,
Propiedad 1).
EJEMPLO 2.36. El pulso gaussiano
Como ejemplo de la aplicacin de la propiedad de diferenciacin en tiempo, y de su dual, la difer-
enciacin en frecuencia, determinaremos una funcin temporal x (t) cuya transformada de Fourier
X ( f ) tiene la misma expresin matemtica (con el obvio cambio de variables t por f ). En otras
palabras, usando una variable auxiliar para evitar confusin, x () = X () .
Si x (t) = X ( f ) indica el par transformado de Fourier, en base a la propiedad de derivacin en
frecuencia (2.90) se puede escribir
2t x (t) =
1
j
d
d f
X ( f ) . (2.93)
Por otra parte, por la propiedad de derivacin temporal
d
dt
x (t) = j2f X ( f ) . (2.94)
Si se impone que la seal temporal x (t) satisfaga la ecuacin diferencial de primer orden
d
dt
x (t) = 2t x (t) , (2.95)
es decir, que los miembros izquierdos de (2.93) y (2.94) sean iguales, es evidente que los miembros
derechos tambin lo sern; en particular,
1
j
d
d f
X ( f ) = j2f X ( f ) o, teniendo en cuenta que j
2
= 1,
d
d f
X ( f ) = 2f X ( f ) . (2.96)
En denitiva, si la seal temporal x (t) satisface la ecuacin diferencial de primer orden (2.95), su
transformada de Fourier X ( f ) satisface la ecuacin diferencial de primer orden (2.96). Como las
dos ecuaciones diferenciales tienen exactamente la misma expresin matemtica, ambas tendrn
idntica solucin. Notando
d
d
g () = 2g () , (2.97)
es evidente que
x (t) = g ()[
=t
, X ( f ) = g ()[
=f
.
Resolviendo (2.97), se tiene que
g () = e

2
, (2.98)
que se muestra en la Fig. 2.51. El pulso denido por (2.98) se denomina pulso gaussiano, debido a la
similitud de la funcin con la funcin densidad de probabilidad de Gauss. En sntesis, la transformada
de Fourier del pulso gaussiano es el mismo pulso, estableciendo el par transformado
8
x (t) = e
t
2
= X ( f ) = e
f
2
.
Si bien muchas de las propiedades de la transformada de Fourier pueden extenderse sin
mayores inconvenientes a la serie de Fourier, esto no ocurre con la propiedad de dualidad,
debido a la distinta naturaleza de las variables tiempo-frecuencia en este caso. Mientras
que para la transformada tanto la variable temporal (t) como la variable frecuencial
(f ) son reales, para la serie de Fourier la variable temporal es real, mientras que la
variable frecuencial (k, el nmero de armnico) es un nmero entero. Por ejemplo, si
bien se puede establecer una propiedad de derivacin temporal para la serie de Fourier,
anloga a la de la transformada,
d
dt
x(t) = j
2
T
0
kc
k
,
no tiene sentido la propiedad dual de derivacin en frecuencia, ya que no se puede
calcular dc
k
/dk porque k es una variable entera.
8
Si las transformadas se expresan en funcin de la frecuencia angular , la funcin temporal que tiene la
misma expresin matemtica que su transformada puede ser diferente, como se estudia en el Ejercicio 24.
2.5.13. Relacin de Parseval
Si h (t) y H ( f ) son un par transformado de Fourier, entonces
_

[x (t)[
2
dt =
_

[X ( f )[
2
d f .
Esta relacin puede demostrarse fcilmente a partir de la denicin de la transformada
de Fourier (2.32). Especcamente,
_

[x (t)[
2
dt =
_

x (t) x
+
(t) dt =
_

x (t)
_
_

X
+
( f ) e
j2f t
d f
_
dt.
Intercambiando el orden de integracin,
_

[x (t)[
2
dt =
_

X
+
( f )
_
_

x (t) e
j2f t
dt
_
. .
X( f )
d f .
Pero el trmino entre corchetes es la transformada de Fourier X ( f ) de x (t); entonces,
_

[x (t)[
2
dt =
_

[X ( f )[
2
d f . (2.99)
El trmino de la izquierda de la ecuacin (2.99) es la energa total de la seal x (t) [ecuacin
(2.48)]. La relacin de Parseval dice que la energa total puede ser determinada ya sea
calculando la energa por unidad de tiempo ([x (t)[
2
), e integrando en el tiempo, o bien
calculando la energa por unidad de frecuencia ([X ( f )[
2
) e integrando sobre la frecuen-
cia. Por tal motivo, [X ( f )[
2
suele denominarse como el espectro de densidad de energa de
la seal x (t).
La energa de una seal peridica es innita, y en consecuencia la ecuacin (2.99) no
es apropiada para esta clase de seales. Sin embargo, para seales peridicas se puede
establecer una relacin anloga. A partir de la expresin de la serie de Fourier (2.19),
repetida aqu por comodidad,
x(t) =
k
c
k
e
j
2
T
0
kt
se tiene que
x(t) x
+
(t) =
_
k
c
k
e
j
2
T
0
kt
__
`
c
+
`
e
j
2
T
0
`t
_
=
`
c
k
c
+
`
e
j
2
T
0
(k`)t
.
Integrando sobre un perodo se tiene
_
T
0
x(t) x
+
(t) dt =
_
T
0
`
c
k
c
+
`
e
j
2
T
0
(k`)t
=
`
c
k
c
+
`
_
T
0
e
j
2
T
0
(k`)t
dt.
Como
_
T
0
e
j
2
T
0
(k`)t
dt =
_
T
0
, si ` = k,
0, en caso contrario,
Tabla 2.5: Propiedades de la transformada de Fourier.
Dominio tiempo x (t) Dominio frecuencia X( f )
linealidad a x (t) + b y (t) a X ( f ) + b Y ( f ) linealidad
dualidad X (t) x (f ) dualidad
escalado en tiempo x (k t)
1
k
X( f /k) escalado inverso
escalado inverso
1
k
x (k t) X (k f ) escalado en frecuencia
desplazamiento temporal x (t t
0
) e
j2 f t
0
X ( f ) desfasaje
modulacin e
j2 f
0
t
x(t) X ( f f
0
) desplazamiento frecuencial
funcin par x
e
(t) X
e
( f ) = R
e
( f ) funcin real
funcin impar x
o
(t) X
o
( f ) = jI
o
( f ) funcin imaginaria
funcin real x (t) = x
r
(t) X ( f ) = R
e
( f ) parte real: par
+jI
o
( f ) parte imaginaria: impar
funcin imaginaria x (t) = jx
i
(t) X ( f ) = R
o
( f ) parte real: impar
+jI
e
( f ) parte imaginaria: par
segn la nota a pie de pgina 74, resulta que
c
k
c
+
`
_
T
0
e
j
2
T
0
(k`)t
dt = c
k
c
+
k
T
0
= [c
k
[
2
T
0
,
y por lo tanto,
1
T
0
_
T
0
[x (t)[
2
dt =

k=
[c
k
[
2
,
donde los c
k
son los coecientes de la serie de Fourier de x (t), y T
0
es el perodo. En otras
palabras, para el caso de seales peridicas la relacin de Parseval vincula la potencia
promedio en un perodo de la funcin temporal con la energa de los coecientes de
la serie de Fourier. La cantidad [c
k
[
2
se puede interpretar como la energa por perodo
contribuida por el k-simo armnico. Tal como se mencion en la Seccin 2.3.4, las seales
peridicas no tienen energa nita, pero si potencia promedio nita [ecuacin (2.49)].
2.5.14. Resumen de propiedades
En la Tabla 2.5 se reunen las propiedades bsicas de la transformada de Fourier. En todos
los casos, X ( f ) es la transformada de Fourier de x (t).
Hasta el momento hemos visto algunas de las principales propiedades de la transfor-
mada de Fourier. La siguiente propiedad, el teorema de convolucin, es clave para el
estudio de los sistemas lineales, y por ello ser analizada en detalle, discutiendo primero
la derivacin e importancia de la integral de convolucin, y estudiando luego su trans-
formada.

Fourier 2

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Fourier 2

Uploaded by

Copyright:

Available Formats

82 2.

[x (s)[ ds < . (2.34)

[x (s)[ ds < (2.36)

= 1. La funcin X ( f ) es la transformada de Fourier de x(), y queda denida

est orientada en sentido horario. Cuando 0, el

el recorrido es ahora en sentido horario, y se encuentra

0 cuando R . El contorno de integracin se muestra en la Fig. 2.17(a) y por lo tanto

[x (t)[ dt < (2.43)

sen ( f ) cos (2f t)

sen [2f (/2 + t)]

sen [2f (/2 t)]

sen [2f (/2 + t)]

sen [2f (/2 t)]

El Ejemplo 2.10 ha permitido establecer el par transformado de Fourier (Fig. 2.18)

Kcos (2f t) dt = K (t) ,

x (t) dt = rea bajo la funcin x (t) .

[R( f ) cos (2f t) I ( f ) sen (2f t)] d f ,

[R( f ) sen (2f t) + I ( f ) cos (2f t)] d f .

You might also like