You are on page 1of 151

Notas del Curso de Mtodos Matemticos

Marco A. Barranco-Jimnez
27 de enero de 2008
2
ndice general
ndice general 3
1. Variable Compleja 5
1.1. Series Complejas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2. Series . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3. Series convergentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.4. Criterios de convergencia y divergencia para series . . . . . . . . . . . . 8
1.4.1. Criterio de la Razn . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4.2. Criterio de la Raz . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.5. Series de potencias complejas . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.6. Serie de Taylor compleja . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.7. Series de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.8. Singularidades, Polos y Residuos . . . . . . . . . . . . . . . . . . . . . . . 32
1.9. Integracin Compleja . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
1.9.1. Contornos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
1.9.2. Integrales de Contornos . . . . . . . . . . . . . . . . . . . . . . . . 37
1.10. Teorema de la Integral de Cauchy . . . . . . . . . . . . . . . . . . . . . . . 42
1.10.1. Deformacin de contornos . . . . . . . . . . . . . . . . . . . . . . 44
1.10.2. Frmulas integrales de Cauchy . . . . . . . . . . . . . . . . . . . . 49
1.11. Teorema del Residuo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
2. Anlisis de Fourier 57
2.1. Funciones Peridicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
2.2. Serie y coecientes de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . 59
2.2.1. Serie y Coecientes de Fourier en determinado intervalo. . . . . . 62
2.2.2. Serie y Coecientes de Fourier en el intervalo [-L,L] . . . . . . . . 65
2.2.3. Funciones Pares e Impares . . . . . . . . . . . . . . . . . . . . . . . 68
2.3. Convergencia de las series de Fourier . . . . . . . . . . . . . . . . . . . . 72
2.4. Series de Fourier en senos y cosenos . . . . . . . . . . . . . . . . . . . . . 78
2.5. Funciones Peridicas y el Espectro de Amplitud . . . . . . . . . . . . . . 82
2.6. Serie de Fourier Compleja y Espectros de Frecuencia . . . . . . . . . . . . 86
2.7. Integrales de Fourier y Espectros Continuos . . . . . . . . . . . . . . . . . 96
2.7.1. Transformada de Fourier . . . . . . . . . . . . . . . . . . . . . . . 99
2.8. Propiedades de la Transformada de Fourier . . . . . . . . . . . . . . . . . 110
3
4 NDICE GENERAL
2.9. Concepto y denicin intuitiva de funciones generalizadas . . . . . . . . 115
2.9.1. Funcin delta de Dirac . . . . . . . . . . . . . . . . . . . . . . . . . 115
2.9.2. Derivada de la funcin delta de Dirac . . . . . . . . . . . . . . . . 117
2.9.3. Funcin unitaria de Heaviside o funcin escaln unitaria . . . . . 118
2.9.4. Transformada de Fourier de funciones especiales . . . . . . . . . 120
2.10. Convolucin y Correlacin . . . . . . . . . . . . . . . . . . . . . . . . . . . 128
2.10.1. Interpretacin grca de la Convolucin . . . . . . . . . . . . . . 131
2.10.2. Teorema de la Convolucin . . . . . . . . . . . . . . . . . . . . . . 141
2.10.3. Teorema de Parselval . . . . . . . . . . . . . . . . . . . . . . . . . . 149
Bibliografa 151
Captulo 1
Variable Compleja
1.1. Series Complejas
Denicin: Una sucesin compleja es una funcin que asigna a cada entero positivo
n (o bien cada entero no negativo n) un nmero complejo, el nmero asignado a n por
esta funcin se le llama el n-simo trmino de la sucesin, si el trmino n-simo de la
sucesin es z
n
, denotamos a esta sucesin de la forma z
n
.
Tambin:
z
1
, z
2
, . . . , z
n
, . . . ,

z
1
, z
2
, . . . , z
n
, . . . ,
Los trminos z
n+1
, z
n+2
, . . . , de una sucesin z
n
se llaman trminos ms all del
n-simo tmino.
Convergencia: Una sucesin z
n
converge a un nmero L, si dado cualquier disco
abierto de D con centro en L, existe un nmero N tal que los trminos ms all del
trmino N-simo estn en D, es decir, dado cualquier nmero > 0, existe un nmero
N talque:
[z
n
L[ < .
n N.
Asimismo, si z
n
converge a L, llamamos a L el lmite de la sucesin y lo escribimos
de la forma,
lm
n
z
n
= L,
en caso contrario de que L no exista, diremos que la sucesin z
n
diverge. Lo anterior
se ilustra en la siguiente gura:
Ntese en la gura, que slo un nmero nito de elementos no est en el disco
[z
n
L[ < . Por otro lado, si una serie compleja converge, entonces sus partes real e
imaginaria deben de converger, por ejemplo:
5
6 1. Variable Compleja
Figura 1.1: Convergencia y Divergencia de la Serie.
Dada la serie compleja
z
n
= x
n
+ iy
n
= 2
1
n
+ i
_
1 +
2
n
_
donde los trminos de la sucesin z
n
estn dados por,
1 + 3i,
3
2
+ 2i,
5
3
+
5
3
i,
7
4
+
3
2
, . . . ,
entonces,
lm
n
z
n
= lm
n
x
n
+ i lm
n
y
n
= lm
n
_
2
1
n
_
+i lm
n
_
1 +
2
n
_
= 2 + i
es decir,
lm
n
x
n
= Re(L)
y
lm
n
y
n
= Im(L).
Ms an de la denicin de convergencia de la sucesin se tiene que

2n 1
n
+ i
_
n + 2
n
_
(2 + i)

1
n
+
2i
n

5
n
< ,
de donde,
lm
n
z
n
= 2 + i
si n >

.
1.2. Series 7
1.2. Series
Dada una sucesin z
1
, z
2
, . . . , z
n
, . . . ,, es posible formar la siguiente sucesin de
sumas,
S
1
= z
1
S
2
= z
1
+z
2
S
3
= z
1
+z
2
+ z
3
. . .
S
n
= z
1
+z
2
+, . . . , z
n
. . . ,
Que se denominan la sucesin de sumas parciales de la serie innita o serie,

n=1
z
n
= z
1
+z
2
+ . . . +
Los z
1
+ z
2
+ . . . +, se denominan trminos de la serie.
Denicin: La n-sima suma parcial S
n
de la serie es la suma de los primeros n
trminos de la sucesin z
n
, es decir:
S
n
=
n

j=1
z
j
= z
1
+z
2
+ . . . + z
n
.
Si esta sucesin de sumas parciales converge, decimos que la serie innita

n=1
z
n
converge, y denimos su suma como,
lm
n
S
n
.
. En forma anloga si S
n
diverge, entonces decimos que la serie innita

n=1
z
n
di-
verge.
1.3. Series convergentes
La serie geomtrica,

n=0
q
n
= 1 + q + q
2
+ . . . + q
n
Converge a la suma
1
1q
si [q[ < 1 y diverge si [q[ 1. Para verivar el resultado
anterior, obsrvese que si q > 1 entonces [q
n
[ > 1, por lo tanto,
lm
n
q
n
= .
8 1. Variable Compleja
De tal forma que la serie diverge. Por otro lado, si [q[ < 1, la n-sima suma parcial
est dada por
S
n
= 1 + q + q
2
+ . . . + q
n
de donde,
qS
n
= q + q
2
+. . . +q
n
+ q
n+1
Restando estas dos ecuaciones, obtenemos
S
n
=
1 q
n+1
1 q
=
1
1 q

q
n+1
1 q
Como [q[ < 1, entonces el ltimo trmino tiende a cero cuando n , por lo
tanto la serie es convergente y su suma es
1
1q
.
1.4. Criterios de convergencia y divergencia para series
En esta parte recordaremos algunos criterios de convergencia para series muy tiles
e importantes.
1.4.1. Criterio de la Razn
Si una serie z
1
, z
2
, . . ., con z
n
,= 0 para los valores de n = 1, 2, . . . ,) es tal que
lm
n

z
n+1
z
n

= L
entonces
1. si L < 1, la serie converge absolutamente,
2. si L > 1, la serie diverge absolutamente,
3. si L = 1, no es aplicable el criterio.
Ejemplo: Vericar si la serie

n=0
(100 + 75i)
n
n!
Es convergente o divergente.
Solucin: El criterio de la razn calculemos el lmite,
lm
n

z
n+1
z
n

1.4. Criterios de convergencia y divergencia para series 9


De esta forma,
lm
n

z
n+1
z
n

= lm
n

(100+75i)
n+1
(n+1)!
(100+75i)
n
n!

= lm
n

100 + 75i
n + 1

= lm
n
[100 + 75i[
n + 1
= lm
n
_
125
n + 1
_
< 1,
Por lo tanto la serie dada es convergente.
1.4.2. Criterio de la Raz
Si una serie z
1
, z
2
, . . . , con z
n
,= 0 para los valores de n = 1, 2, . . . , es tal que
lm
n
n
_
[z
n
[ = L
Entonces,
1. si L < 1, la serie converge absolutamente,
2. si L > 1, la serie diverge absolutamente,
3. si L = 1, no es aplicable el criterio.
Ejemplo: Vericar si la serie,

n=0
(1)
n
2
2n
+ 3
(4 i)
n
Es convergente o divergente.
Solucin: El lector puede mostrar en forma anloga al ejemplo anterior que en este
caso se cumple,
lm
n
n
_
[z
n
[ =

17
4
> 1,
de donde, aplicando el criterio de la raz, la serie diverge.
10 1. Variable Compleja
1.5. Series de potencias complejas
Una serie de potencias en potencias de z z
0
es una serie de la forma,

n=0
a
n
(z z
0
)
n
= a
0
+a
1
(z z
0
) + a
2
(z z
0
)
2
+ . . . (1.1)
En donde z es la variable; a
0
, a
1
, . . ., son constantes denominadas coecientes de la
serie y z
0
, es un aconstante denominada centro de la serie. Si z
0
= 0, se obtiene un caso
particular de la serie de potencias de z de la forma

n=0
a
n
z
n
= a
0
+ a
1
z + a
2
z
2
+ . . . + a
n
z
n
+ . . . (1.2)
A continuacin analicemos el comportamiento de las series de potencia en cuanto
a su convergencia.
1. Convergencia en un disco. La Serie Geomtrica es de la forma:

n=0
z
n
= 1 + z + z
2
+. . . +z
n
+ . . .
Como se demostr anteriormente esta serie converge absolutamente si [z[ < 1, y
diverge si [z[ > 1.
2. Convergencia para todo z. Consideremos la serie de potencias:

n=0
z
n
n!
= 1 + z +
z
2
2!
+
z
3
3!
+ . . . +
z
n
n!
+ . . .
En este caso podemos aplicar el criterio de la razn, de tal forma que:
lm
n

z
n+1
z
n

= lm
n

z
n+1
(n+1)!
z
n
n!

= lm
n

z
n + 1

= lm
n
[z[
n + 1
,
En este caso como
lm
n

z
n+1
z
n

= 0
Entonces la serie es absolutamente convergente para cualquier z jo.
1.5. Series de potencias complejas 11
3. Convergencia slo en el centro. Consideremos la siguiente serie,

n=0
(n!) (z
n
) = 1 + z + 2z
2
+ 3z
3
+. . . +n!z
n
+ . . .
Asimismo, si aplicamos el criterio de la razn obtenemos,
lm
n

(n + 1)! z
(n+1)
n! z
n

= lm
n
[(n + 1)z[
= lm
n
(n + 1)[z[
=
Para este caso, como
lm
n

z
n+1
z
n

=
entonces la serie diverge, es decir, la serie

n=0
n! z
n
converge slo en z = 0.
Teorema de convergencia de una serie de potencias.
Este teorema establece que si la serie de potencias

n=0
a
n
(z z
0
)
n
Converge en un punto z = z
1
,= z
0
, entonces converge absolutamente para toda z
que est ms prxima a z
0
que a z
1
, es decir; [z z
0
[ < [z
1
z
0
[. Si diverge en un punto
z
2
, entonces diverge para toda z que est ms lejos de z
0
que de z
1
.
Demostracin: Si la serie,

n=0
a
n
(z z
0
)
n
Converge en z
1
, entonces a
n
(z
1
z
0
)
n
0 cuando n .
Lo anterior implica que para z = z
1
, los trminos de la serie estn acotados, digamos
por ejemplo:
12 1. Variable Compleja
[a
n
(z z
0
)
n
[ < M
n = 0, 1, 2, . . .. Multiplicando y dividiendo por (z
1
z
0
)
n
en la serie obtenemos
[a
n
(z z
0
)
n
[ =

a
n
(z z
0
)
n
_
z
1
z
0
z
1
z
0
_
n

a
n
(z
1
z
0
)
n
_
z z
0
z
1
z
0
_
n

z z
0
z
1
z
0

n
.
Ejemplo:
Dada la siguiente serie de potencias,

n=0
_
n
n
n!
_
(z i)
n
Encontrar su radio de convergencia.
Solucin: Para este problema, recordemos que una serie de potencias

n=0
a
n
(z
z
0
)
n
debe converger para [z z
0
[ < R y diverger para [z z
0
[ > R, es decir; la serie de
potencias convergeen un disco abierto con centro en z
0
y diverger en el exterior de este
disco, este disco se llama disco de convergencia de la serie de potencias y su radio R, se
llama radio de convergencia de la serie de potencias.
Aplicando el criterio de la razn que establece que:
Si una serie z
1
, z
2
, . . . , con z ,= 0 (n = 1, 2, . . . ,) es tal que
lm
n

z
n+1
z
n

= L
Entonces,
1. si L < 1, la serie converge absolutamente,
2. si L > 1, la serie diverge absolutamente,
3. si L = 1, no es aplicable el criterio.
Para este caso tenemos,
1.5. Series de potencias complejas 13
lm
n

(n+1)
n+1
(n+1)!
(z i)
n+1
n
n
n!
(z i)
n

= lm
n

n!(n + 1)
n+1
(n + 1)! n
n
(z i)

= lm
n

(n + 1)
n+1
n + 1
1
n
n
(z i)

= lm
n

_
n + 1
n
_
n
(z i)

= lm
n
_
1 +
1
n
_
n
[z i[
= e[z i[.
Este lmite es menor que 1 si e[z i[ < 1, es decir, si [z i[ <
1
e
. Por lo tanto la serie
de potencias converge para [z i[ <
1
e
, y diverge si [z i[ >
1
e
. Asimismo, el radio de
convergencia es R =
1
e
y el disco de convergencia es el disco de radio
1
e
con centro en i,
como se muestra en la siguiente gura.
Figura 1.2: Regin de convergencia, [z i[ <
1
e
.
14 1. Variable Compleja
1.6. Serie de Taylor compleja
En esta seccin mostraremos que toda funcin analtica f(z) puede representarse
mediante series de potencias, denominadas series de Taylor de f(z) y que son de la
misma forma que en el Clculo de funciones de variable real.
Teorema
Si f es una funcin analtica en un disco abierto [z z
0
[ < R, con centro en z
0
y
radio R, entonces f tiene una representacin en series de potencias de la forma,
f(z) =

n=0
a
n
(z z
0
)
n
,
donde los coecientes a
n
que se llaman coecientes de Taylor de la serie estn dados
por,
a
n
=
f
(n)
(z
0
)
n!
,
para n = 0, 1, 2, 3, . . . ,.
Demostracin
Para demostrar este teorema, consideremos que f es analtica en z
0
, as existe un
disco con centro en z
0
y radio r, es decir; [z z
0
[ < r en donde f es derivable. Si consid-
eramos ahora un disco de radio
r
2
tambin con centro en z
0
, es decir; [z z
0
[ =
r
2
, ms
bien una circunferencia, entonces f ser derivable en todos los puntos sobre y dentro
de C, (ver gura).
Figura 1.3: Demostracin del Teorema.
Consideremos a w en C y sea z cualquier punto dentro de C, entonces
1.6. Serie de Taylor compleja 15
1
w z
=
1
(w z
0
) (z z
0
)
=
1
w z
0
_
1
1
zz
0
wz
0
_
, (1.3)
si consideramos que w est ms lejos de z
0
de lo que est de z, es decir; [z z
0
[ <
[w z
0
[, entonces

z z
0
w z
0

< 1,
por lo tanto podemos desarrollar
zz
0
wz
0
aplicando la serie geomtrica de la forma,
1
1
zz
0
wz
0
=

n=0
_
z z
0
w z
0
_
n
,
as, la ecuacin 1.3 se puede escribir de la forma
1
w z
=
1
w z
0
=

n=0
_
z z
0
w z
0
_
n
=

n=0
_
z z
0
(w z
0
)
n+1
_
n
. (1.4)
Si ahora aplicamos la frmula integral de Cauchy; f(z
0
) =
1
2i
_
C
f(z)
zz
0
dz, donde
hacemos el cambio de variable de integracin, ahora la variable de integracin es w y
z = z
0
, es decir de la forma
f(z) =
1
2i
_
C
f(w)
w z
dz,
sustituyendo la ecuacin 1.4 en la ecuacin anterior obtenemos,
f(z) =
1
2i
_
C

n=0
(z z
0
)
n
(w z
0
)
n+1
f(w)dw
=

n=0
_
1
2i
_
C
f(w)
(w z
0
)
n+1
dw
_
(z z
0
)
n
=
f
n
(z
0
)
n!
(z z
0
)
n
,
donde aplicamos nuevamente la integral de Cauchy pero para derivadas superiores
dada por,
1
2i
_
C
f(w)
(w z
0
)
n+1
dw =
f
n
(z
0
)
n!
nalmente se mostr que
f(z) =

n=0
1
n!
f
n
(z
0
) (z z
0
)
n
,
16 1. Variable Compleja
es decir, f se puede representar mediante su serie de Taylor en [z z
0
[ < R.
Observacin: Cuando escribimos a f(z) como una serie de Taylor alrededor de z
0
,
decimos que hemos desarrollado a f en serie de Taylor alrededor de z
0
. En la expresin
anterior si z
0
= 0, la serie se denomina SERIE DE MACLAURIN de f(z).
Ejemplos de desarrollos de funciones en series de potencias
1. a) Expresar a la funcin f(z) = e
z
en serie de Taylor alrededor de z = 0.
Solucin:
Como f(z) = e
z
es una funcin entera (analtica en todo el plano complejo),
tiene una representacin en serie de Taylor (Maclaurin) valida para toda z,
por lo tanto, como se cumpe que:
f

(z) = e
z
f

(z) = e
z
f

(z) = e
z
.
.
.
f
n
(z) = e
z
,
entonces,
f
n
(z = 0) = e
z=0
= 1,
por lo tanto, los coecientes de Taylor estn dados por:
a
n
=
f
n
(z = 0)
n!
=
1
n!
,
nalmente la serie de Maclaurin para f(z) = e
z
est dada por:
e
z
=

n=0
z
n
n!
,
para [z[ < .
b) Encontrar la serie de Maclaurin para f(z) = z
2
e
3z
.
Solucin:
Ntese que la forma ms fcil de obtener la serie de f(z), es sustituyendo z
por 3z en el resultado del inciso anterior, y despus multiplicar la expresin
resultante por la funcin z
2
, es decir;
e
3z
=

n=0
(3z)
n
n!
,
1.6. Serie de Taylor compleja 17
de donde,
z
2
e
3z
=

n=0
z
2
(3z)
n
n!
=

n=0
z
n
n!
z
n+2
,
nalmente, sustituyendo n por n 2 obtenemos,
z
2
e
3z
=

n=2
3
n2
(n 2)!
z
n
.
c) Encontrar la serie de Taylor de f(z) = e
z
alrededor de z
0
= i.
Solucin:
La serie buscada debe tener la forma

n=0
a
n
(z i)
n
. Del inciso a), sabemos
que
e
z
=

n=0
z
n
n!
,
alrededor de z = 0, en forma anloga al inciso b) si sustituimos z por z i
en la ecuacin anterior obtenemos
e
zi
=

n=0
(z i)
n
n!
,
pero e
zi
= e
z
e
i
, por lo tanto, e
z
= e
i
e
zi
, as de la ecuacin anterior obten-
emos,
e
z
= e
i

n=0
(z i)
n
n!
=

n=0
e
i
n!
(z i)
n
.
Obsrvese que la serie de Taylor de e
z
alrededor de z
0
= i converge para
toda z, es decir; para [z i[ < .
2. Encontrar la serie de Maclaurin para f(z) = sen z y f(z) = cos z.
Solucin:
Las series de Maclaurin tendrn la forma
f(z) =

n=0
a
n
(z 0)
n
=

n=0
a
n
z
n
,
donde los coecientes de la serie estarn dados por a
n
=
f
n
(z=0)
n!
, encontremos los
coecientes de la serie. Si f(z) = sen z, entonces
18 1. Variable Compleja
f
I
(z) = cos z
f
III
(z) = cos z
f
V
(z) = cos z
f
V II
(z) = cos z
. . .
f
2n+1
(z) = (1)
n
cosz
&
f
II
(z) = sin z
f
IV
(z) = sin z
f
V I
(z) = sin z
f
V III
(z) = sin z
. . .
f
2n
(z) = (1)
n
sin z
n = 0, 1, 2 . . . ,. Por lo tanto,
a
2n+1
=
f
2n+1
(z = 0)
(2n + 1)!
=
(1)
n
(2n + 1)!
a
2n
=
f
2n
(z = 0)
(2n)!
= 0.
As, la serie de Maclaurin para f(z) = sen z est dada por:
sen z =

n=0
(1)
n
(2n + 1)!
z
2n+1
.
Para [z[ < . En forma anloga, si f(z) = cos z, entonces
f
I
(z) = sin z
f
III
(z) = sin z
f
V
(z) = sin z
f
V II
(z) = sin z
. . .
f
2n+1
(z) = (1)
n
sin z
&
f
II
(z) = cos z
1.6. Serie de Taylor compleja 19
f
IV
(z) = cos z
f
V I
(z) = cos z
f
V III
(z) = cos z
. . .
f
2n
(z) = (1)
n
cos z
n = 0, 1, 2 . . . ,. Por lo tanto,
a
2n+1
=
f
2n+1
(z = 0)
(2n + 1)!
= 0
a
2n
=
f
2n
(z = 0)
(2n)!
=
(1)
n
(2n)!
.
As, la serie de Maclaurin para f(z) = cos z est dada por:
cos z =

n=0
(1)
n
(2n)!
z
2n
.
para [z[ < .
3. Encontrar la serie de Taylor para f(z) =
1
1+z
alrededor de z
0
= 2i.
Solucin:
La serie bucada debe tener la forma

n=0
a
n
(z + 2i)
n
. Manipulando algebraica-
mente la funcin dada de la forma,
1
1 + z
=
1
1 +z + 2i 2i
=
1
(1 2i) + (z + 2i)
=
1
1 2i
_
1
1 +
z+2i
12i
_
,
obsrvese que el manipuleo algebraico siempre se hace con el objetivo de tener
las potencias deseadas, que en este caso es en potencias de z + 2i. As, usando la
serie geomtrica,

n=0
(z)
n
=

n=0
(1)
n
z
n
=
1
1 + z
si [z[ < 1, de esta forma,
f(z) =
1
1 +z
=
1
1 2i
_
1
1 +
z+2i
12i
_
=
1
1 2i

n=0
(1)
n
_
z + 2i
1 2i
_
n
=

n=0
(1)
n
(1 2i)
n+1
(z + 2i)
n
,
si

z+2i
12i

< 1, es decir; si [z + 2i[ < [1 2i[. Pero como [1 2i[ =

5, es decir;
el desarrollo de Taylor de f(z) =
1
1+z
es en el disco de radio

5 con centro en
2i. Obsrvese que

5 es la distancia de 2i a 1 como se observa en la siguiente


gura, y 1 es el punto ms cercano a 2i donde f(z) =
1
1+z
no es analtica.
20 1. Variable Compleja
Figura 1.4: Regin de convergencia de f(z) =
1
1+z
alrededor de z
0
= 2i.
4. Encontrar la serie de potencias, en la forma indicada, que representa la funcin
f(z) =
1
z3
en las tres regiones siguientes:
a) [z[ < 3,
b) [z 2[ < 1,
c) [z[ > 3
Solucin:
Obsrvese que las series pedidas tendrn la forma

n=0
a
n
z
n
,

n=0
a
n
(z 2)
n
y

n=0
a
n
z
n
respectivamente. Para encontrar las series pedidas podemos proceder
manipulando algebraicamente la funcin dada y aplicar la convergencia de la se-
rie geomtrica, que como se sabe,

n=0
z
n
=
1
1 z
si [z[ < 1.
a) Para esta regin manipulamos algebraicamente la funcin de la forma,
1
z 3
=
1
3
1
z
3
=
1
3
_
1
1
z
3
_
=
1
3

n=0
_
z
3
_
n
=
1
3
_
1 +
z
3
+
z
2
9
+
z
3
27
+ . . .
_
1.6. Serie de Taylor compleja 21
nalmente, si [z[ < 3, la serie para la funcin dada es de la forma,
1
z 3
=
1
3

z
9

z
2
27

z
3
81
+ . . .
b) Para este caso, tenemos
1
z 3
=
1
(z 2) 1
=
1
1 (z 2)
=

n=0
(z 2)
n
,
es decir, si [z 2[ < 1, entonces
1
z 3
= 1 (z 2) (z 2)
2
(z 2)3 . . .
c) En forma anloga,
1
z 3
=
1
z(1
3
z
)
=
1
z

n=0
_
3
z
_
n
,
nalmente, si

3
z

< 1, [z[ > 3, la serie est dada por


1
z 3
=
1
z
+
3
z
2
+
9
z
3
+
27
z
4
. . .
La regin de convergencia, para las tres series dadas se ilustran enla siguiente
gura.
Figura 1.5: Regiones de convergencia, [z[ < 3, [z 2[ < 1, [z[ > 3.
22 1. Variable Compleja
1.7. Series de Laurent
Recordemos que si f(z) es analtica en z = z
0
, entonces f(z) se puede represen-
tar en una serie de Taylor alrededor de z
0
en potencias de z z
0
. Tambin si f(z) no
es analtica de z
0
veremos que es posible tambin representar a f(z) como una serie
alrededor de z
0
pero en potencias de (z z
0
)
1
, sta es la idea de las series de Laurent,
es decir; las series de Laurent son series de potencias enteras positivas y negativas de
z z
0
. Estas series sern tiles para clasicar singularidades y conducen al mtodo de
integracin por residuos, que veremos posteriormente.
Como se vi en los ejemplos anteriores, una serie de potencias puede converger en
un punto (puede ser el origen), en una regin del plano complejo (por ejemplo en el
disco [z[ < 1) o en todo el plano complejo. Sin embargo si analizamos la siguiente serie
de potencias,
1
z 3
=
1
z
+
3
z
2
+
9
z
3
+ . . . ,
que es vlida para [z[ > 3, en el contexto de la denicin de convergencia de series
de potencia, sta es una serie de potencias alrededor del punto z = , es decir el
punto al innito (recordemos que en Variable Compleja, el punto al innito en el plano
z se puede entender mejor haciendo uso de la esfera de Riemann). Regresando a las
series de potencias, se sabe que dentro del radio de convergencia una funcin y su ex-
pansin en serie de Taylor son idnticas, y recordemos que no es posible un desarrollo
en serie de Taylor alrededor de una singularidad (punto en donde la funcin no es
analtica) y el desarrollo de potencias slo es vlido dentro de un crculo con centro en
el punto singular, es decir todas las singularidades deben ser excluidas en cualquier
consideracin en series de Taylor, esta es otra de las razones de considerar series de
Laurent.
La expansin de una funcin en series de Laurent incluye el comportamiento de la
funcin en la vecindad de una singularidad. Antes de enunciar la denicin de series
de Laurent, denamos el dominio de denicin (de convergencia) de stas.
Sea z
0
un nmero complejo y sean r
1
y r
2
nmeros positivos con r
1
< r
2
. El dominio
de convergencia de las series de Laurent D, es la regin que consiste de todos los pun-
tos que estn entre los crculos concntricos de radios r
1
y r
2
con centro en z
0
, es decir;
D consiste de todos los nmeros z que satisfacen,
r
1
< [z z
0
[ < r
2
tal dominio acotado por los discos concntricos, se llama ANILLO o regin anular,
como se muestra en la siguiente gura.
Teorema de Laurent:
1.7. Series de Laurent 23
Sea f(z) analtica en el anillo r
1
< [zz
0
[ < r
2
, entonces para todo z en este dominio
f(z) tiene el siguiente desarrollo en series de potencias,
f(z) =

0
a
n
(z z
0
)
n
+

n=1
b
n
(z z
0
)
n
= a
0
+ a
1
(z z
0
) +a
2
(z z
0
)
2
+ . . . + . . . +
b
1
z z
0
+
b
2
(z z
0
)
+ . . .
donde en general los coecientes a
n
y b
n
son nmeros complejos, que pueden ser evalu-
ados usando integrales de contornos (que veremos ms adelante) y que tienen la forma,
a
n
=
1
2i
_
C
f(z)
(z z
0
)
n+1
dz,
b
n
=
1
2i
_
C
f(z)
(z z
0
)
n+1
dz,
donde C, es cualquier circunferencia [z z
0
[ = , con r
1
< < r
2
. Obsrvese en las
expresiones anteriores, que si denotamos a b
n
por a
n
, stas se pueden escribir simple-
mente por;
f(z) =

a
n
(z z
0
)
n
,
donde
a
n
=
1
2i
_
C
f(z)
(z z
0
)
n+1
dz,
para n = 0, 1, 2, . . . La serie anterior se llama desarrollo de Laurent o serie de Lau-
rent de la funcin f(z) alrededor de z
0
en el anillo r
1
< [z z
0
[ < r
2
y los nmeros a
n
se llaman los coecientes de Laurent de f(z) en z
0
.
Observacin:
Un desarrollo en serie de Laurent de f(z) alrededor de z
0
para z en el anillo r
1
<
[z z
0
[ < r
2
nos permite escribir a f(z) de la forma,
f(z) = g(z) +h(z),
donde:
g(z) =

n=0
a
n
(z z
0
)
n
,
que es una funcin analtica en z
0
, (serie de Taylor) y
h(z) =

n=1
a
n
_
1
z z
0
_
n
,
24 1. Variable Compleja
que no es una funcin analtica en z
0
.
As tambin, el integrando para el coeciente b
n
se puede escribir de la forma
f(z) (z z
0
)
n1
, tal que si f(z) es analtica en el disco [z z
0
[ < r
2
, ste integrando lo es tambin, por
lo tanto, todos los coecientes b
n
son cero y entonces el desarrollo de la serie de Laurent
se reduce a una serie de Taylor centrada en z
0
. Asimismo, si f(z) no es analtica en z
0
pero lo es en el resto del disco [z z
0
[ < r
2
, el radio r
1
puede tomarse arbitrariamente
pequeo (digamos r
1
= 0) por lo que la serie original es vlida entonces para el anillo
0 < [z z
0
[ < r
2
. Finalmente, si f(z) es analtica en todo punto del plano complejo
exterior al crculo [z z
0
[ = r
1
, entonces la expansin original es vlida para el anillo
r
1
< [z z
0
[ < .
Ejemplos de desarrollos de funciones en series de Laurent
1. La funcin f(z) = e
1
z
es analtica en todo el plano complejo excepto en el origen,
es decir; es analtica en el anillo 0 < [z[ < . Como se vi anteriormente, f(z) =
e
z
tiene una representacin en serie de Maclaurin para todo z de la forma,
e
z
=

n=0
z
n
n!
,
entonces el desarrollo de Laurent para f(z) = e
1
z
est dado por,
e
1
z
=

n=0
1
n!
1
z
n
.
2. Encontrar la serie de Laurent de la funcin f(z) =
1
z
5
cos z en el anillo 0 < [z[ < .
Solucin:
Recordemos que la serie de Maclaurin para f(z) = cos z est dado por (ver ejem-
plo 2 del desarrollo de funciones en series de Taylor),
cos z =

n=0
(1)
n
(2n)!
z
2n
.
en [z[ < . De este modo,
1
z
5
cos z =

n=0
_
(1)
n
(2n)!
_
z
2n
z
5
=

n=0
(1)
n
(2n)!
z
2n5
=
1
0!
1
z
5

1
2!
1
z
3
+
1
4!
1
z

1
6!
z +
1
8!
z
3
. . .
es el desarrollo de Laurent de f(z) =
1
z
5
cos z en el anillo 0 < [z[ < .
1.7. Series de Laurent 25
3. Encuentre la serie de Laurent de f(z) =
1
1+z
2
alrededor de z
0
= i.
Solucin:
La serie pedida tendr la forma

a
n
(z + i)
n
, aplicando fracciones parciales la
funcin dada se puede escribir de la forma,
1
1 + z
2
=
1
(z + i)(z i)
=
i
2
1
z + i

i
2
1
z i
,
0bsrvese que el primer trmino ya est en potencias de z + i, por lo que manip-
ulemos algebraicamente el segundo trmino de la forma,
i
2
1
z i
=
i
2
1
z i + i i
=
i
2
_
1
2i
_
1
z+i
2i
_
_
aplicando la convergencia de la serie geomtrica, obtenemos
i
2
1
z i
=
i
2
_
1
2i

n=0
_
z + i
2i
_
n
_
=
i
2
_

n=0
1
(2i)
n+1
(z + i)
n
_
.
Ntese que

z+i
2i

< 1 es equivalente a [z + i[ < 2, por lo tanto, el desarrollo de


Laurent para f(z) =
1
1+z
2
en el anillo 0 < [z + i[ < 2 est dado por,
1
1 + z
2
=
i
2
1
z +i

i
2

n=0
1
(2i)
n+1
(z + i)
n
.
Obsrvese que esta serie para f(z) =
1
1+z
2
es de la forma f(z) = g(z)+h(z) donde,
g(z) =
i
2

n=0
1
(2i)
n+1
(z + i)
n
,
es analtica en el disco [z +i[ < 2 (desarrollo de Taylor), y
h(z) =
i
2
1
z + i
,
es analtica en [z + i[ > 0. Por lo tanto, 0 < [z + i[ y [z + i[ < 2 forman el anillo
0 < [z + i[ < 2. Obsrvese tambin que la funcin f(z) =
1
1+z
2
es analtica en el
anillo 0 < [z +i[ < 2 que corresponde a la distancia desde el complejo i hasta el
otro punto i donde la funcin f(z) =
1
1+z
2
no es analtica.
26 1. Variable Compleja
4. Dada la funcin,
f(z) =
1
(z 1)(z 2)
=
1
z 1

1
z 2
,
Analizar los dominios de validez y encuentre sus series de potencias en tales do-
minios.
Solucin:
Obsrvese que la funcin tiene dos puntos singulares z
0
= 1 y z
0
= 2, entonces
f(z) es analtica en los dominios [z[ < 1, 1 < [z[ < 2 y 2 < [z[ < , y en cada
uno de estos dominios f(z) tiene representaciones en series de potencias de z.
Denotemos a dichos dominios por D
1
, D
2
y D
3
respectivamente como se ilustra
en la siguiente gura.
Figura 1.6: Regiones de convergencia, de la funcin f(z) =
1
(z1)(z2)
.
Para el dominio D
1
tenemos que es una serie de Maclaurin, para hallarla escribi-
mos a la funcin de la forma, f(z) =
1
1z
+
1
2z
=
1
2
(
1
z
2
)
, y aplicamos la serie
convergente (geomtrica) dada por
1
1z
=

n=0
z
n
que es vlida para [z[ < 1.
Ntese que

z
2

< 1 tambin ca en el dominio D


1
, de esta forma;

1
1 z
=

n=0
z
n
y
1
2
_
1
z
2
_ =
1
2

n=0
z
n
2
2
=

n=0
z
n
2
n+1
,
1.7. Series de Laurent 27
por lo tanto, en D
1
, f(z) tiene la siguiente representacin en serie de potencias de
z,
f(z) =

n=0
z
n
2
n+1

n=0
z
n
=

n=0
_
1
2
n+1
1
_
z
n
=

n=0
_
2
n1
1
_
z
n
.
Para el dominio D
2
, manipulamos algebraicamente la funcin f(z) de la forma
f(z) =
1
2 z

1
1 z
=
1
z
_
1
1
1
z
_
+
1
2
_
1
1
z
2
_
,
y aplicando nuevamente la serie geomtrica,
1
z
_
1
1
1
z
_
=
1
z

n=0
1
z
n
=

n=0
1
z
n+1
,
vlida para

1
z

< 1, es decir; para [z[ > 1, y en forma anloga


1
2
_
1
1
z
2
_
=

n=0
z
n
2
n+1
,
vlida para

z
2

< 1, es decir; para [z[ < 2. Por lo tanto, la serie de potencias para
f(z) en D
2
tiene la forma:
f(z) =

n=0
1
z
n+1
+

n=0
z
n
2
n+1
,
para 1 < [z[ < 2, que es una serie de Laurent. Obsrvese que f(z) se puede
escribir de la forma,
f(z) =

n=0
z
n
2
n+1
+

n=1
1
z
n
,
que tiene la misma forma que el enunciado de Laurent. Finalmente, para el do-
minio D
3
vemos que tambin corresponde a una serie de Laurent, ahora ree-
scribimos la funcin dada de la forma, f(z) =
1
z
_
1
1
1
z
_

1
z
(
1
2
z
)
, y observamos
nuevamente que

1
z

< 1 y

2
z

< 1 si 2 < [z[ < , y aplicando nuevamente la


serie geomtrica tenemos que la serie de potencias para la funcin dada en el
dominio D
3
, es de la forma
f(z) =

n=0
1
z
n+1

n=0
2
n
z
n+1
=

n=0
1 2
n
z
n+1
.
para el dominio 2 < [z[ < .
28 1. Variable Compleja
5. Dada la funcin,
f(z) =
1
z
2
(1 + z)
,
encuentre la expansin en serie de Laurent alrededor de,
a) z = 0,
b) z = 1.
En cada caso, determine la regin en dnnde es vlida.
Solucin:
a). En este caso z
0
= 0, entonces necesitamos una serie de potencias de z. Usan-
do la convergencia de la serie geomtrica obtenemos,
1
z
2
(1 + z)
=
1
z
2
_
1
1 +z
_
=
1
z
2

n=0
(1)
n
z
n
=
1
z
2
_
1 z + z
2
z
3
+ z
4
. . .

la serie anterior es vlida para 0 < [z[ < 1, obsrvese que el el valor de z = 0
debe excluirse debido a los dos primeros trminos de la serie. De esta forma la
expansin en serie de Laurent es,
1
z
2
(1 + z)
=
1
z
2

1
z
+ 1 z + z
2
. . .
b). Para este caso, necesitamos una serie de potencias de la forma (z +1), por lo
que manipulamos un poco la funcin dada de la forma,
1
z
2
(z + 1)
=
1
z + 1
(z + 1 1)
2
=
1
z + 1
[1 (z + 1)]
2
=
1
z + 1
_
1 + 2(z + 1) + 3(z + 1)
2
+ . . .

=
1
z + 1
+ 2 + 3(z + 1) + 4(z + 1)
2
+ . . .
que es vlida tambin para 0 < [z[ < 1. Obsrvese tambin que en el resultado
anterior hicimos uso de la expansin de la serie binomial,
(1+z)
n
= 1+nz+
n(n 1)
2!
z
2
+
n(n 1)(n 2)
3!
k
3
+. . .+
n(n 1)(n 2) . . . (n k + 1)
k!
z
k
,
1.7. Series de Laurent 29
La mayora de las veces cuando se le llegara a dicultar el manipuleo algebraico
de la funcin dada, siempre puede recurrir a la expansin binomial anterior.
6. Desarrolle la funcin
f(z) =
z
(z 1)(2 z)
en una serie de Laurent vlida para
a) 1 < [z[ < 2,
b) [z[ > 2,
c) [z 1[ > 1,
d) 0 < [z 2[ < 1.
Solucin:
Primero apliquemos fracciones parciales a la funcin,
z
(z)(2 z)
=
A
z 1
+
B
2 z
A(2 z) + B(z 1) = z
2A B = 0,
B A = 1,
de donde se obtiene inmediatamente que A = 1 y B = 2, por lo tanto
f(z) =
z
(z 1)(2 z)
=
1
z 1
+
2
2 z
a) Para el dominio 1 < [z[ < 2, manipulemos algebraicamente la funcin y
apliquemos la convergencia de la serie geomtrica

n=0
q
n
=
1
1 q
que es vlida para [q[ < 1, de esta forma para el primer trmino de f(z)
1
z 1
=
1
z
1
1
1
z
=
1
z

n=0
_
1
z
_
n
30 1. Variable Compleja
que es vlida si

1
z

< 1, es decir, si [z[ > 1, y para el segunto trmino,


2
2 z
=
1
1
z
2
=

n=0
_
z
2
_
n
vlida para

z
2

< 1, es decir; para [z[ < 2, por lo tanto, la serie de potencias


de f(z) en 1 < [z[ < 2 est dada por:
f(z) =
1
z

n=0
_
1
z
_
n
+

n=0
_
z
2
_
n
=

n=0
_
1
z
n+1
_
+

n=0
_
z
n
2
n
_
=
1
z
+ 1 +
1
z
2
+
z
2
+
1
z
3
+
z
2
4
+
= +
1
z
3
+
1
z
2
+
1
z
+ 1 +
z
2
+
z
2
4
+
z
3
8
+
b) Para [z[ > 2, tenemos que de (a) el primer trmino
1
z 1
=
1
z
_
1
1
1
z
_
=

n=0
1
z
n+1
vlido para [z[ > 1. Ahora, slo manipulamos el segundo trmino f(z) de la
forma
2
2 z
=
2
z 2
=
1
z
_
2
1
2
z
_
=
2
z

n=0
2
n
z
n
vlida para

2
z

< 1, es decir [z[ > 2, por lo tanto la serie de potencias de f(z)


para [z[ > 2 est dada por:
f(z) =

n=0
1
z
n
+ 1

n=0
2
n+1
z
n+1
=

n=0
_
1 2
n+1
_
1
z
n+1
=
1
z

3
z
2

7
z
3

15
z
4

c) para [z 1[ > 1, obsrvese que el primer trmino de f(z) =
1
z1
+
2
2z
ya est
en potencias de (z 1), as que slo manipulemos el segundo trmino
1.7. Series de Laurent 31
2
z 2
=
2
z 1 1
=
2
z 1
_
1
1
1
1z
_
=
2
z 1

n=1
1
(z 1)
n
por lo tanto, la serie de potencias de f(z) para [z 1[ > 1 es de la forma
f(z) =
1
z 1
+
2
z 1

n=1
1
(z 1)
n
=
1
z 1
+ 2

n=1
1
(z 1)
n+1
=
1
z 1
+
2
(z 1)
2
+
2
(z 1)
3
+
Los ejemplos anteriores ilustran la forma de obtener o saber expander a una fun-
cin en seres de potencias, y en particular en series de Laurent que constituye una
herramienta muy importante en muchas aplicaciones, por ejemplo para entender el
clculo de los RESIDUOS (que veremos en la siguiente seccin) es indispensable estar
relacionado con series de Laurent. Asimismo, otro uso de las series de Laurent est en
la Transformada Z de las Matemticas Aplicadas. Diversas ramas de la Ingeniera se
basan directamente en el desarrollo en serie de Laurent de una funcin analtica.
32 1. Variable Compleja
1.8. Singularidades, Polos y Residuos
Como vimos anteriormente, una funcin que no es analtica en un punto z = z
0
no
permite un desarrollo en serie de Taylor, pero si se puede hacer un desarrollo de la fun-
cin alrededor del punto z = z
0
, que se conoce como desarrollo en serie de Laurent de
la funcin f(z). En esta seccin clasicamos a las singularidades de una funcin (pun-
tos donde la funcin no es analtica), en trminos del desarrollo de Laurent alrededor
de z
0
.
Si consideramos que f(z) tiene una singularidad en z
0
, entonces se tiene el siguiente
desarrollo en serie de Laurent,
f(z) =

n=
a
n
(z z
0
)
n
,
que es vlida en el anillo 0 < [z z
0
[ < R. Decimos que z
0
es,
1. Una singularidad removible si no aparecen potencias negativas de (z z
0
) en el
desarrollo en serie de Laurent.
2. Una singularidad esencial si aparecen una innidad de potencias negativas de
(z z
0
) en el desarrollo de Laurent.
3. Un polo de orden m si m es un entero positivo y
1
zz
0
aparece en el desarrollo de
Laurent, por lo tanto a
m
,= 0, pero no aparecen potencias negativas mayores, es
decir; a
m+1
= a
m+2
, . . . = 0.
Asimismo, z
0
es un polo de f si z
0
es un polo orden m para algn m. Un polo de orden
1 comunmente se llama polo simple, y un polo de orden 2 se le llama polo doble. Como
complemento de las deniciones anteriores diremos que un cero de la funcin f(z), es
un punto en el plano z en donde la funcin se hace cero. Los siguientes ejemplos ilus-
tran las deniciones anteriores.
Ejemplos de singularidades
1. La funcin f(z) =
sen z
z
tiene una singularidad removible en z = 0. Obsrvese que
el desarrollo en serie de Laurent de f(z) se obtiene al dividir la serie de Maclaurin
de sen z por z, para obtener el desarrollo,
sen z
z
=
1
z

n=0
(1)
n
(2n + 1)!
z
2n+1
=

n=0
(1)
n
1
(2n + 1)!
z
2n
= 1
1
3!
z
2
+
1
5!
z
4
. . . ,
1.8. Singularidades, Polos y Residuos 33
que no tiene potencias negativas de z, As, la serie del lado derecho de esta
ecuacin es una serie de Maclaurin, y por lo tanto, representa a una funcin
analtica, que se puede denir de la forma:
g(z) =
_
sen z
z
si z ,= 0
1 si z = 0.
As, la singularidad de f(z) es removible en el sentido de que, deniendo a una
nueva funcin que coincide con f si z ,= 0 y tiene el valor correcto en cero, obten-
emos una funcin analtica en z = 0.
2. La funcin f(z) = e
1
z1
tiene una singularidad esencial en z = 1. Puesto que
usando el desarrollo de Taylor de e
z
alrededor de z = 0 obtenemos,
e
1
z1
=

n=0
1
n!
1
(z 1)
n
,
que es el desarrollo en serie de Laurent de la funcin e
1
z1
alrededor de z = 1.
Por lo tanto, como hay una innidad de potencias negativas de z 1 en este
desarrollo, entonces z
0
= 1 es una singularidad esencial de f(z) = e
1
z1
.
3. La funcin f(z) =
1
(z+i)
3
tiene un polo de orden 3 en z = i, de hecho esta funcin
es su propio desarrollo de Laurent alrededor de i en el anillo 0 < [z +i[ < .
4. La funcin,
f(z) =
z 1
(z + 2)(z 3)
2
,
tiene un cero en z = 1, un polo simple en z = 2 y un polo doble en z = 3.
5. La funcin,
f(z) =
sen z
z
2
,
tiene un polo simple en z = 0. Para ver esto dividamos la serie de Maclaurin de
sen z entre z
2
para obtener el desarrollo de Maclaurin de
sen z
z
2
alrededor de z = 0
de la forma,
sen z
z
2
=

n=0
(1)
n
1
(2n + 1)!
z
2n1
=
1
z

1
3!
z +
1
5!
z
3

1
7!
z
5
+. . . ,
que es vlido para 0 < [z[ < . Obsrvese en la serie anterior, que hay un trmino
1
z
, pero no hay trminos
1
z
2
,
1
z
3
, . . .; por lo tanto, f(z) =
sen z
z
2
tiene un polo de orden
1 en z = 0.
34 1. Variable Compleja
Los ejemplos anteriores ilustran los diferentes tipos de singularidades que puede
tener una funcin. El concepto de residuo est asociado a los coecientes de las po-
tencias negativas que aparezcan en el desarrollo de Laurent para una funcin en una
cierta regin (anillo) del plano complejo, por ejemplo, si z
0
es una singularidad de f(z),
entonces f(z) ser analtica para cada z que cumpla que 0 < [z z
0
[ < R, y en este do-
minio de validez la funcin est representada por la serie de Laurent,
f(z) =

n=0
a
n
(z z
0
)
n
+
b
1
z z
0
+
b
2
(z z
0
)
2
+ . . . ,
donde los coecientes a
n
y b
n
estn dados respectivamente por las frmulas (5) y (6).
En particular para el primer coeciente tenemos,
b
1
=
1
2i
_
C
f(z)dz,
donde C, es cualquier contorno cerrado simple alrededor de z
0
descrito en sentido pos-
itivo, tal que f es analtica en C e interior a l, excepto en el propio punto z
0
. El nmero
complejo b
1
, que es el coeciente de
1
(zz
0
)
en el desarrollo de Laurent anterior, se llama
residuo de f en ese punto singular z
0
.
De la ecuacin anterior tenemos,
_
C
f(z)dz = 2ib
1
,
la expresin anterior signica que podemos evaluar cualquier integral de la forma
_
C
f(z)dz, cuando el contorno C encierre una sola singularidad z
0
de la funcin f, si
conocemos el coeciente de
1
(zz
0
)
en el desarrollo de Laurent de f alrededor de z
0
, y
como generalmente este nmero puede encontrarse sin realizar ninguna integracin,
sto constituye un mtodo potencialmente poderoso para evaluar cualquier integral,
como veremos posteriormente. Sin embargo podemos analizar el siguiente ejemplo:
Si se pidiera calcular la integral,
_
C
e
z
(z 1)
2
,
donde C es el crculo [z[ = 2 en sentido positivo. Tenemos que el integrando,
f(z) =
e
z
(z 1)
2
,
es analtica sobre y dentro del contorno C, excepto en el punto singular z = 1, y de
acuerdo a la expresin para el residuo b
1
, el valor de la integral anterior ser igual a
2i veces el residuo de f(z) en z = 1. Para calcular este residuo, se utiliza la serie de
1.8. Singularidades, Polos y Residuos 35
Taylor de e
z
alrededor de z = 1 (ver ejemplo 1 de desarrollo de funciones en series
de Taylor), asimismo hacemos un sencillo manipuleo algebraico de la funcin para
obtener el siguiente desarrollo en serie de Laurent,
f(z) =
e
z
(z 1)
2
=
e
[(z1)+1]
(z 1)
2
= e
1

n=0
(1)
n
(z 1)
n
(z 1)
2
= e
1

n=0
(1)
n
(z 1)
n2
= e
1
_
1
(z 1)
2

1
(z 1)
+ 1 (z 1) + (z 1)
2
. . . ,
_
que es vlida para la regin 0 < [z 1[ < . Obsrvese de la expresin anterior, que el
residuo de f(z) en z = 1 es e
1
, por lo tanto la integral pedida resulta ser,
_
C
e
z
(z 1)
2
=
2i
e
.
El problema anterior ilustra lo importante de saber expander una funcin en serie de
Laurent alrededor de cualquier singularidad, o ms propiamente dicho, en cualquier
regin del plano complejo, para identicar los coecientes de la series (residuos). Pos-
teriormente, veremos la situacin en donde un contorno C encierre un nmero nito
de singularidades, nos referimos al Teorema del Residuo.
36 1. Variable Compleja
1.9. Integracin Compleja
La integracin es muy importante para el anlisis de funciones de variable com-
pleja. El concepto de una integral indenida para funciones de variable compleja es
enteramanete anloga a su contraparte real. Asimismo, la integral denida (o de Rie-
mann) del Clculo real es reemplazada en variable compleja por la integral de lnea de
una funcin compleja sobre una curva en el plano complejo o diagrama de Argand, que
ms generalmente se conocen como integrales sobre contornos. Antes de comenzar el
anlisis de la integral de una funcin de variable compleja, denamos el concepto de
contornos.
1.9.1. Contornos
A continuacin presentamos varias clases de curvas (contornos) adecuadas para el
anlisis de integrales de funciones de variable compleja: Un arco C es un conjunto de
puntos z = (x, y) en el plano complejo denidos por las ecuaciones paramtricas
x = x(t)
y = y(t),
para a t b, donde x(t) y y(t) son funciones continuas del parmetro real t. De tal
forma que los puntos de la curva C se pueden escribir de la forma,
z = z(t) = x(t) +iy(t),
para a t b, de tal forma que z(t) es continua puesto que x(t) y y(t) son continuas.
El arco C es un arco simple o un arco de Jordan si no se cruza consigo mismo; es decir,
C es un arco simple si z(t
1
) ,= z(t
2
), para t
1
,= t
2
. Si z(t
1
) = z(t
2
), entonces se dice que
C es una curva simple cerrada o una curva de Jordan. Por ejemplo la recta poligonal
denida por:
z(t) =
_
1 + it si 0 t 1,
t + i si 1 t 2,
que consta de un segmento de recta que va desde 1 hasta 1 + i, seguida por otra recta
que va desde 1 + i hasta 2 + i, es un ejemplo de arco simple. Asimismo el crculo,
z(t) = cos t + i sen t,
para 0 t 2, es un ejemplo de una curva cerrada simple.
Asimismo, la funcin de variable compleja z = z(t) se dice que es una funcin
diferenciable del parmetro real t si x(t) y y(t) son ambas funciones diferenciables de
t. De esta forma, la derivada z

(t) o
d[z(t)]
dt
se dene como,
z

(t) = x

(t) +iy

(t),
1.9. Integracin Compleja 37
para a t b. Un arco C, descrito por la funcin z = z(t), se llama suave si z

(t)
existe y es continua para el intervalo a t b y si z

(t) nunca se hace cero para dicho


intervalo.
Un contorno o arco suave por tramos, es un arco que consta de un nmero nito de
arcos suaves, unidos por sus extremos. Si la ecuacin z = z(t) representa un contorno,
entonces x(t) y y(t) son continuas, mientras que sus primeras derivadas son continuas
por tramos. As, la recta poligonal vista anteriormente es un contorno, mientras que el
crculo unitario es un contorno simple cerrado.
En algunos textos de Variable Compleja, se encuentra la siguiente denicin de
contorno cerrado. Un contorno cerrado simple es un contorno que genera dos dominios:
uno acotado y otro no acotado; ambos dominios tienen el contorno como frontera. Y se
dice que el dominio acotado es el interior del contorno. Como se muestra en la gura,
para contornos cerrados simples y no simples.
Figura 1.7: Contornos.
1.9.2. Integrales de Contornos
Como mencionamos anteriormente, una integral de una funcin de variable com-
pleja sobre un contorno en el plano complejo puede ser denida en forma anloga a la
integral (de Riemann) de una funcin de variable real. Se divide el contorno de a a b
en n intervalos, seleccionando n 1 puntos intermedios z
1
, z
2
, . . ., sobre el contorno C
como se ilustra en la gura.
Se forma la suma,
S
n
=
n

j=1
f(
j
) (z
i
z
j1
) ,
donde
j
es un punto sobre la curva entre z
j
y z
j1
. Ahora se toma el mite cuando
n cuando cada [z
j
z
j1
[ 0, para toda j. Si la suma anterior existe y es
38 1. Variable Compleja
Figura 1.8: Integrales de Contornos.
independiente de la seleccin de los puntos z
j
y
j
, entonces llamamos a este lmite la
integral de lnea, llamada tambin integral de contorno de f(z) a lo largo del contorno
C desde z = a hasta z = b; es decir,
lm
n
n

j=1
f(
j
) (z
i
z
j1
) =
_
z=b
z=a
f(z)dz,
Una denicin alternativa para las integrales de contorno es la siguiente:
_
z
2
z
1
f(z)dz =
_
(x
1
,y
1
)
(x
1
,y
1
)
[u(x, y) + iv(x, y)] [dx + idy]
=
_
(x
1
,y
1
)
(x
1
,y
1
)
[u(x, y)dx v(x, y)dy] +i
_
(x
1
,y
1
)
(x
1
,y
1
)
[v(x, y)dx + u(x, y)dy] ,
lo anterior, reduce la integral de una funcin de variable compleja a la suma comple-
ja de dos integrales reales. Asimismo, si el estudiante recuerda su curso de Anlisis
Vectorial, la denicin anterior es un tanto anlogo cuando se reemplaza una una inte-
gral vectorial como una suma vectorial de integrales escalares. A continuacin veamos
algunos ejemplos de integrales de contornos.
1. Un ejemplo muy importante es la integral de contorno,
_
C
z
n
dz
donde C es un crculo de radio r alrededor del origen z = 0 y que se recorre
en sentido positivo; es decir, en sentido contrario a las manecillas del reloj. En
coordenadas polares como sabemos el crculo est parametrizado por la ecuacin,
z = re
i
1.9. Integracin Compleja 39
para 0 2, de donde obtenemos inmediatamente que dz = ire
i
d. Por lo
tanto,
_
C
z
n
dz = r
n+1
_
2
0
e
i(n+1)
d
=
_
r
n+1
i(n + 1)
_
_
e
i(n+1)

2
0
,
obsrvese en la integral anterior, si n ,= 1 entonces la integral es cero debido
a que la funcin e
i(n+1)
es peridica de periodo 2. Por otro lado, si n = 1
entonces la integral resulta ser,
_
C
dz
z
= i
_
2
0
d = 2i
2. Evalue la integral
_

dz
(z a)
n
donde est dado por [z a[ = R.
a).- Si n es cualquier entero distinto de 1.
b).- Si n = 1.
Solucin:
Sabemos que la trayectoria en forma paramtrica se puede representar de la
forma,
z() = a + Re
i
,
donde 0 2. De la expresin anterior obtenemos:
z () a = Re
i
,
dz () = iRe
i
d.
Por lo tanto, sustituyendo en la integral pedida,
_

(z a)
n
dz =
_
2
0
_
Re
i
_
n
iRe
i
d
= iR
n+1
_
2
0
e
i(n+1)
d
=
iR
n+1
i(n + 1)
_
2
0
e
i(n+1)
d (i (n + 1) )
=
R
n+1
n + 1
_
e
i(n+1)
[
2
0

=
R
n+1
n + 1
_
e
2(n+1)i
1

.
40 1. Variable Compleja
As, de la ltima ecuacin; si n es cualquier entero entonces,
_

dz
(z a)
n
= 0,
ya que e
2(n+1)i
= 1, para cualquier entero n. Asimismo, si n = 1 entonces,
_

dz
(z a)
n
= i
_
2
0
d = 2i
Estas integrales son ejemplos de aplicaciones del Teorema de Cauchy que vere-
mos en la siguiente seccin.
3. Calcular la integral,
_
C
xdz
donde C, es la trayectoria que se muestra en la siguiente gura y que est parametriza-
da por la la ecuacin,
C : z(t) =
_
1 +it si 0 t 1,
(2 t) + i si 1 t 2,
De la parametrizacin obtenemos,
z

(t) =
_
i si 0 t 1,
1 si 1 t 2,
Por denicin al integrar en cada uno de los intervalos 0 t 1 y 1 t 2,
obtenemos
_
C
xdz =
_
1
0
idt +
_
2
1
(2 t)(1)dt =
1
2
+ i
puesto que x(t) = 1 en el intervalo 0 t 1 y x(2 t) = 1 en el intervalo
1 t 2.
Si escogemos una parametrizacin diferente para la curva C, por ejemplo:
C : z(t) =
_
1 + i log t si 1 t e,
2
t
e
+ i si e t 2e,
de esta parametrizacin se tiene,
z

(t) =
_
i
t
si 1 t e,

1
e
si e t 2e,
en forma anloga, al integrar en cada uno de los intervalos 1 t e y e t 2e,
obtenemos
_
C
xdz =
_
e
1
i
t
dt +
_
2e
e
_
2
t
e
__

1
e
_
dt =
1
2
+ i
1.9. Integracin Compleja 41
es decir, la integral de lnea es independiente de las dos parametrizaciones de la
curva C. Este resultado se dar siempre y cuando el cambio de parmetros sea
derivable por partes, como puede comprobarse fcilmente al utilizar la frmula
del cambio de variable del Clculo integral. En esta parte ser necesario que el
lector repase un poco las tcnicas de integrales de lnea.
4. Si es la elipse z(t) = a cos t +ib sen t, para 0 t 2 calcular:
_

dz

1 z
2
.
Solucin:
Obsrvese que la integral pedida se puede escribir de la forma,
_

dz

1 z
2
=
_
2
0
z

(t) dt
_
1 [z (t)]
2
,
y de la ecuacin de la elipse se tiene que,
z

(t) = a sen t + ib cos t,


de donde obtenemos,
z

(t)
2
= a
2
sen
2
t b
2
cos
2
t 2abi sen t cos t. (1.5)
As tambin tenemos que,
1 z(t)
2
= 1
_
a
2
cos
2
(t) b
2
sen
2
(t) + 2abi sen t cos t

y adems como a
2
b
2
= 1, entonces
1 z (t)
2
= a
2
b
2
a
2
cos
2
t + b
2
sin
2
t 2abi sen t cos t
= a
2
_
1 cos
2
t
_
b
2
_
1 sen
2
t
_
2abi sen t cos t
= a
2
sen
2
t b
2
cos
2
t 2abi sen t cos t, (1.6)
as de las ecuaciones (20) y (21) obtenemos,
1 z (t)
2
= z

(t)
2
,
nalmente la integral resulta ser,
_

dz

1 z
2
=
_
2
0
z

(t) dt
_
z

(t)
2
=
_
2
0
dt
= 2.
42 1. Variable Compleja
1.10. Teorema de la Integral de Cauchy
Estudiaremos ahora uno de los teoremas fundamentales de la teora de funciones de
Variable Compleja, nos referimos al teorema de Cauchy. Dicho teorema es importante
porque por ejemplo, nos permite ahorrarnos una gran cantidad de trabajo al resolver
cierto tipo de integrales, sobre todo cuando las funciones son funciones enteras, es
decir analticas en todo el plano complejo. El teorema de Cauchy establece que si f(z)
es analtica dentro y sobre un contorno cerrado C, entonces se cumple que
_
C
f(z)dz = 0,
Asimismo, en la mayora de los textos de Variable Compleja. el teorema de Cauchy se
establece de la siguiente forma: Si f(z) en un Dominio simplemente conexo D, entonces
dado un contorno cerrado simple C contenido en D se cumple que
_
C
f(z)dz = 0.
Podemos demostrar el Teorema de Cauchy haciendo uso del teorema de Green en el
plano y la condicin adicional de que f

(z) sea continua dentro y sobre R. Recordemos


de los cursos de Anlisis Vectorial, que el teorema de Green en el plano establece que
si M = M(x, y) y N = N(x, y) son funciones continuamente diferenciables dentro de
una regin R y sobre su frontera C entonces,
_
C
Mdx + Ndy =
_ _
R
_
N
x

M
y
_
dxdy.
Para mostrar el teorema de Cauchy, escribimos a la funcin f(z) de la forma,
w = f(z) = u(x, y) + iv(x, y),
de tal forma que la integral se puede escribir de la forma,
_
C
f(z)dz =
_
C
[u(x, y)dx v(x, y)dy] +i
_
C
[v(x, y)dx + u(x, y)dy] ,
As tambin por hiptesis, como f(z) es analtica y tiene derivada continua, es decir
satisface las condiciones del Teorema de Green, por lo tanto aplicamos el teorema en
ambas integrales del lado derecho y obtenemos,
_
f(z)dz =
_ _
R
_

x
(v)
u
y
_
dA + i
_ _
R
_
u
x

v
y
_
dA,
donde R es la regin encerrada por C, como se muestra en la gura.
Obsrvese que el integrando de las integrales dobles es cero, ya que u y v satisfacen
las condiciones de Cauchy-Riemann dentro y sobre C, de tal forma que se obtiene,
_
C
f(z)dz = 0.
1.10. Teorema de la Integral de Cauchy 43
Figura 1.9: Regin de Integracin.
como se queria demostrar. En la literatura se le conoce tambin al teorema de Cauchy
como el teorema de Cauchy-Goursat, ya que fu este ltimo quin demostr el re-
sultado suprimiendo la condicin de que f

(z) fuera continua dentro y sobre R (ref-


erencias). El teorema de Cauhy (o de Cauchy-Goursat) tiene muchas aplicaciones y
consecuencias, en la siguiente seccin mencionaremos algunas.
Acontinuacin presentamos algunos ejemplos de aplicacin del teorema de Cauchy.
Ejemplo 1.
Consideremos la funcin f(z) = z
n
donde n es cualquier nmero entero o distinto
de cero. Ahora bien, como sabemos que f(z) = z
n
es una funcin entera, entonces
aplicando el teorema de Cauchy tenemos que,
_
C
z
n
dz = 0
n = 0, 1, 2, . . ., asimismo C es cualquier contorno cerrado simple. Por otro lado, si
n es un nmero entero negativo, entonces f(z) = z
n
no es analtica en z = 0, (ver prob-
lema 1 de integrales de contornos). En el problema anterior C es cualquier contorno,
en particular podemos considerar el mismo contorno de integracin en el problema,
es decir C puede ser un crculo con centro en z = 0 y radio R, por lo tanto, de los
resultados del problema 1 de la seccin de integracin y del ejemplo anterior, se tiene
que
_
|z|=R
z
n
dz =
_
0 si n ,= 1
2i si n = 1
Se deja como ejercicio para el estudiante, generalizar el resultado anterior cuando se
44 1. Variable Compleja
toma una constante compleja arbitraria z
0
y demostrar que,
_
|zz
0
|=R
(z z
0
)
n
dz =
_
0 si n ,= 1
2i si n = 1
donde el contorno de integracin es un crculo de radio R con centro en z = z
0
. El pro-
cedimiento es muy similar al empleado en el problema 2 de integrales de contornos.
1.10.1. Deformacin de contornos
Una primera aplicacin del teorema de Cauchy est en el principio de deforma-
cin de contornos, que establece que:
Las integrales de lnea de una funcin analtica f(z) alrededor de dos contornos cerrados
simples sern iguales siempre y cuando uno de los contornos pueda transformarse en el otro por
medio de una deformacin continua pero con la condicin de que no pase por ninguna singu-
laridad.
Para demostrar el resultado anterior, consideremos dos contornos cerrados simples
C
a
y C
b
(ver gura) tales que todos los puntos de C
b
quedan en el interior de C
a
. El
Dominio D (doblemente conexo) es el rea sombreada en la gura. Si usamos lneas
punteadas en la gura que indican dos cortes rectos que conectan a C
1
y C
2
entonces,
se crean dos contornos cerrados simples C
a
y C
b
, de tal forma que en ambos contornos
es vlido el teorema de Cauchy, puesto que por hiptesis f(z) es analtica sobre C
a
y
C
b
y en el interior de ambos contornos.
Figura 1.10: Contornos C
a
y C
b
.
As entonces, aplicamos el teorema de Cauchy en los contornos C
a
y C
b
y obten-
emos,
_
C
a
f(z)dz = 0
1.10. Teorema de la Integral de Cauchy 45
_
C
b
f(z)dz = 0
si sumamos los resultados anteriores, se tiene
_
C
a
f(z)dz +
_
C
b
f(z)dz = 0.
Analicemos con ms detalle el contorno de la gura (ver gura), obsrvese en la
gura que la integral a lo largo del segmento de recta que va del de 1 a 2 en el contorno
C
a
es la misma pero de sentido contrario a la que va de 2 a 1 pero en el contorno C
b
, y
en forma similar para la integral que va de 4 a 5 en el contorno C
a
y la integral que va
de 5 a 4 en el contorno C
b
. De lo anterior, si escribimos de manera explcita todas las
integrales que conforman los contornos C
a
y C
b
, de la ecuacin anterior obtenemos,
_
C
b
f(z)dz +
_
C
a
f(z)dz = 0,
es decir,
_
C
a
f(z)dz
_
C
b
f(z)dz =
_
C
b
f(z)dz.
donde se elimino el signo menos de la integral de en medio al invertir el sentido de
integracin, y se tiene el resultado que se queria demostrar. El resultado anterior, tam-
bin se cumple si los contornos de integracin se intersectan como se muestra en la
siguiente gura.
Figura 1.11: Contornos de Integracin Intersectados.
Ejemplo 1:
46 1. Variable Compleja
Calcular la integral,
_

dz
z
,
es el cuadrado unitario que se muestra en la gura.
Figura 1.12: Cuadrado Unitario.
Solucin:
Podemos usar un contorno de intergracin ms sencillo para este problema, en par-
ticular un crculo con centro en el origen, debido a que la funcin
1
z
es analtica en
este crculo, y en el cuadrado y en todos los puntos que se encuentran entre estos dos
contornos. De tal forma que usando el principio de deformacin de contornos y el
resultado del ejemplo 1 de integrales de contornos (con n = 1) se obtiene,
_
C
dz
z
=
_

dz
z
= 2i.
Obsrvese que se puede transformar el contorne C en cualquier otro contorno que sat-
isfaga el principio de deformacin de contornos.
Ejemplo 2:
Calcular la integral,
_

dz
z 2 i
,
alrededor de cualquier contorno que contenga el punto z = 2 + i.
Solucin:
1.10. Teorema de la Integral de Cauchy 47
Figura 1.13: Circulo con centro en z = 2 + i.
La funcin,
f(z) =
1
z 2 i
,
tiene una singularidad, que es un polo simple, en z = 2 + i. Aplicando el princi-
pio de deformacin de contornos, la integral alrededor de cualquier contorno que
contenga al punto z = 2 + i ser igual a la integral alrededor, por ejemplo de un cr-
culo C con centro en z = 2 + i y de radio R. Como se puede observar en la gura, la
parametrizacin de C est dada por:
z() = (2 + i) + Re
i
,
para 0 2, de donde se obtiene que dz = iRe
i
. Por lo tanto, la integral resulta
ser:
_
C
dz
z 2 i
=
_
2
0
iRe
i
Re
i
d
=
_
2
0
id
= 2i.
Para entender mejor el principio de deformacin de contornos analicemos el sigu-
iente ejemplo.
Ejemplo 3:
Dada la funcin
f(z) =
cos z
z
2
+ 1
,
48 1. Variable Compleja
y los contornos de integracin C
1
, C
2
, C
3
y C
4
como se muestra en la gura, explicar
porqu son vlidas las siguientes ecuaciones.
_
C
1
f(z)dz =
_
C
2
f(z)dz,
_
C
3
f(z)dz =
_
C
4
f(z)dz.
Solucin:
La funcin f(z) es analtica excepto en los puntos que satisfacen la ecuacin z
2
+1 =
0. Luego entonces, f(z) es analtica en cualquier dominio que no contenga al punto
z = i. De esta forma, al transformar el contorno C
1
en el contorno C
2
por medio de
una deformacin continua, no cruzamos ninguna singularidad de f(z), por lo tanto, la
primera igualdad de las integrales es vlida. En forma anloga, podemos deformar el
contorno C
3
para convertirlo en el contorno C
4
y de esta manera tambin es vlida la
segunda igualdad. Obsrvese que no podemos concluir la igualdad entre
_
C
2
f(z)dz y
_
C
3
f(z)dz, puesto que el dominio delimitado por C
2
y C
3
contiene al punto singular
z = i de la funcin f(z).
En los ejemplos anteriores, solo se consider funciones simples con una singulari-
dad simple dentro de un contorno cerrado C. El mtodo puede extenderse para con-
siderar cualquier nmero nito de singularidades. Si la funcin f(z) tiene un nmero
nito de singularidades z = z
1
, z
2
, . . . , z
n
, dentro de un contorno cerrado C entonces,
podemos deformar este contorno introduciendo n-crculos
1
,
2
, . . . ,
n
, para rodear
cada una de las singularidades, como se muestra en la siguiente gura, de tal forma
que la integral sobre el contorno C estar dada por:
_
C
f(z)dz =
_

1
f(z)dz +
_

2
f(z)dz + . . . +
_

n
f(z)dz
As tambin, obsrvese en los ejemplos anteriores la semejanza en el resultado de
2i, por lo tanto parece ser que se pueden obtener algunos resultados generales que nos
ayudarn a la evaluacin de ciertas integrales de contorno, dichos resultados generales
estn dados en las frmulas integrales de Cauchy que veremos en la siguiente seccin.
1.10. Teorema de la Integral de Cauchy 49
Figura 1.14: Singularidades Rodeadas.
1.10.2. Frmulas integrales de Cauchy
Sea f(z) es una funcin analtica dentro y sobre un contorno cerrado simple C. si z
0
es cualquier punto en C entonces,
_
C
f(z)
z z
0
dz = 2if (z
0
) ,
Asimismo, si derivamos repetidamente n veces con respecto a z bajo el signo de la
integral entonces tambin se cumple que,
_
C
f(z)
(z z
0
)
n+1
dz =
2i
n!
f
(n)
(z
0
) .
Obsrvese en las ecuacin anterior que si f

(z) existe en z = z
0
entonces, f
n
(z) tam-
bin existe para toda n.
Ejemplo 1:
Calcule la siguiente integral,
_

zdz
(9 z
2
)
2
(z + i)
2
.
Solucin:
Aplicando la frmula integral de Cauchy para derivadas superiores que establece:
Si f(z) es analtica a lo largo de un contorno cerrado simple as como en su interior
y z
0
es un punto del interior de , entonces;
f
n
(z
0
) =
n!
2i
_

f(z)
(z z
0
)
n+1
dz,
50 1. Variable Compleja
si aplicamos la expresin anterior con n = 1, z
0
= i e identicamos a f(z) =
z
(9z
2
)
2
,
podemos escribir la expresin de la forma,
f

(z
0
) =
1!
2i
_

f(z)
(z z
0
)
2
dz.
Por lo tanto, la integral original se reescribe de la forma,
_

zdz
(9 z
2
)
2
(z + i)
2
=
_

z
(9z
2)
2
(z + i)
2
dz.
por lo tanto,
_

zdz
(9 z
2
)
2
(z + i)
2
= 2i
d
dz
_
z
(9 z
2
)
2
_

z=i
= 2i
_
(9 z
2
)
2
z [2(9 z
2
)(27)]
(9 z
2
)
4
_

z=i
= 2i
_
(9 z
2
) [(9 z
2
) + 47]
(9 z
2
)
4
_

z=i
= 2i
_
z
2
+ 4z + 9
(9 z
2
)
3

z=i
_
= 2i
_
(i)
2
+ 48 i) + 9
(9 (i)
2
)
3
_
=
_
1 + 4i + 9
10
3
_
2i
=
2i
1000
[10 4i] .
Finalmente, obtenemos
_

zdz
(9 z
2
)
2
(z + i)
2
=

500
[4 + 10i]
1.11. Teorema del Residuo 51
1.11. Teorema del Residuo
Sea f(z) analtica en un dominio D, excepto en los puntos z
1
, z
2
, . . . , z
n
, donde f(z)
tiene singularidades. Si C es un contorno cerrado en D que encierra a z
1
, z
2
, . . . , z
n
,
entonces
_
C
f(z)dz = 2i (b
1
+ b
2
+. . . +b
n
) ,
es decir, la integral de f(z) sobre un contorno que encierra a las singularidades z
1
, z
2
, . . . , z
n
de f(z) es igual a 2i veces la suma de los residuos en esas singularidades.
Obsrvese que la efectividad del Teorema del residuo al evaluar una integral es-
t en el hecho de que tan fcil sea calcular el residuo de f(z) en las singularidades
encerradas por el contorno. Como se mostr en los ejemplos anteriores para el caso de
singularidades aisladas, generalemente se calculan los residuos de la funcin viendo el
trmino
1
zz
0
en el desarrollo de Laurent alrededor de z
0
. Sin embargo, si z
0
es un polo
de orden m, existe una frmula relativamente simple para el clculo de los residuos de
f(z), dada por la siguiente expresin:
b
m
= Res
z=z
o
f(z) =
1
(m1)!
lm
zz
0
d
m1
dz
m1
[(z z
0
)
m
f(z)].
Ntese en la expresin anterior para el caso m = 1,
d
m1
dz
m1
es la derivada de orden
cero, que se interpreta simplemente como 1, y tambin 0! = 1, de esta forma, si f(z)
tiene un polo simple en z
0
, entonces la frmula anterior resulta ser,
b
1
= lm
zz
0
[(z z
0
)f(z)].
Demostracin
Supongamos que f(z) tiene un polo de orden m en z = z
0
, de tal forma que f(z)
tiene un desarrollo de Laurent en el anillo 0 < [z z
0
[ < R de la forma,
f(z) =
a
m
(z z
0
)
m
+
a
m+1
(z z
0
)
m1
+. . . +
a
1
(z z
0
)
+ a
0
+a
1
(z z
0
) + . . .
con a
m
,= 0, ya que por hiptesis f(z) tiene un polo de orden m. Si multiplicamos
la ecuacin anterior por el trmino (z z
0
)
m
(ya que lo que queremos es evaluar el
nmero a
1
, que es el residuo de f(z) en z = z
0
), obtenemos
(z z
0
)
m
f(z) = a
m
+ a
m+1
(z z
0
) + . . . + a
1
(z z
0
)
m1
+ a
0
(z z
0
)
m
+ a
1
(z z
0
)
m+1
+ . . .
de esta forma, la serie de la derecha es una serie de Taylor alrededor de z
0
, es decir la
funcin g(z) = (z z
0
)
m
f(z) es analtica en z = z
0
. Si derivamos la funcin anterior
52 1. Variable Compleja
m1 veces obtenemos,
d
m1
dz
m1
[(z z
0
)
m
f(z)] = a
1
(m1)(m2) . . . (1)
+ a
0
m(m1) . . . (2) (z z
0
) +. . .
= a
1
(m1)! + a
0
m! (z z
0
) +. . .
de esta forma, en el lmite cuando z se aproxima a z
0
todos los trminos de la derecha
se cancelan, excepto posiblemente el primer trmino que es constante, as, resolviendo
para este trmino obtenemos,
b
m
=
1
(m1)!
lm
zz
0
d
m1
dz
m1
[(z z
0
)
m
f(z)],
que es lo que se queria mostrar.
A continuacin veamos algunos ejemplos para ilustrar el teorema del residuo.
Ejemplo 1.
Calcule la siguiente integral
_

dz
z
3
z
4
donde esta denida por [z[ =
1
2
.
Solucin a) Teorema del residuo:
Para este caso vemos que la funcin dada tiene un polo de orden 3 en z = 0, puesto
que f(z) =
1
z
3
z
4
=
1
z
3
(1z)
, por lo que la integral dada se puede calcular de la forma,
_

dz
z
3
z
4
= 2i [Res
z=z0
f(z)]
usando la frmula para oncontrar los residuos, en este caso con m = 3 obtenemos,
[Res
z=0
f(z)] =
1
2!
lm
z0
d
2
dz
2
_
z
3
_
1
z
3
(1 z)
__
=
1
2
lm
z0
d
2
dz
2
_
1
1 z
_
=
1
2
lm
z0
d
dz
_
1
(1 z)
2
_
=
1
2
lm
z0
_
2
(1 z)
3
_
= 1,
1.11. Teorema del Residuo 53
por lo tanto, el resultado de la integral dada es,
_

dz
z
3
z
4
= 2i.
Solucin b) Expansin en series de Laurent
Obsrvese que,
_

dz
z
3
z
4
=
1
z
3
_
1
1 z
_
,
tiene puntos singulares en z = 0 y z = 1. De esta forma z = 1 est fuera de nuestro
contorno de integracin , por lo que carece de nuestro inters para el problema, por lo
que debemos encontrar la serie de Laurent para f(z) =
1
z
3
z
4
en el dominio 0 < [z[ < 1.
De esta forma obtenemos,
f(z) =
1
z
3
_
1
1 z
_
=
1
z
3

n=0
z
n
=

n=0
z
n3
,
obsrvese que hicimimos uso de la convergencia de la serie geomtrica. Escribiendo
algunos trminos de la serie obtenemos,
f(z) =
1
z
3
+
1
z
2
+
1
z
+ 1 + z + z
2
+ z
3
+ . . .
de donde obtenemos que el residuo b
1
= 1. Por lo tanto, la integral resulta ser,
_

dz
z
3
z
4
= 2iRes
z=0
f(z) = 2i.
Solucin c) Frmula integral de Cauchy:
Usando la frmula integral de Cauchy dada por la expresin
_
C
f(z)
(z z
0
)
n+1
dz =
2i
n!
f
(n)
(z
0
) .
en este caso n = 2, usando la frmula anterior la integral pedida se puede calcular de
la forma,
54 1. Variable Compleja
_

dz
z
3
z
4
=
_

1
z
3
_
1
1 z
_
=
_

1
1z
z
2+1
dz
=
2i
2!
f
2
(z
0
= 0),
de donde, si
f(z) =
1
1 z
f
1
(z) =
1
(1 z)
2
f
2
(z) =
2
(1 z)
3
entonces,
f
2
(z = 0) = 2
por lo tanto,
_

dz
z
3
z
4
= 2i.
Ejemplo 2.
Calcule la siguiente integral
_

zdz
(9 z
2
) (z + i)
2
donde esta denida por [z[ = 2, en sentido positivo.
Solucin:
de
f (z) =
z
(9 z
2
) (z + i)
2
nos damos cuenta que tenemos puntos singulares en:
z
01
= 3i
z
02
= 3i
z
03
= i
pero nuestro es [z[ = 2 por lo tanto z
01
y z
02
estn fuera de nuestro contorno de
integracin.
1.11. Teorema del Residuo 55
Tambin podemos observar que tenemos un polo de orden 2, as que para calcular
el residuo utilizamos la siguiente frmula.
Res
z=z
o
f(z) =
1
(m1)!
lm
zzo
_
d
m1
dz
m1
[z z
o
]
m
f (z)
_
por lo tanto,
Res
z
o
=i
f(z) = lm
zi
_
d
dz
(z + i)
2
z
(9 z
2
) (z + i)
2
_
= lm
zi
_
d
dz
_
z
9 z
2
__
. . .
=
1
10
,
Aplicando el teorema del residuo, obtenemos
_

f (z) dz = 2i

k
Res
z=z
m
f(z)
nalmente,
_

zdz
(9 z
2
) (z + i)
2
= 2i
_

1
10
_
=
i
5
=

5i
56 1. Variable Compleja
Captulo 2
Anlisis de Fourier
2.1. Funciones Peridicas
Una funcin peridica se dene como una funcin de la forma:
f(t) = f(t + T), (2.1)
para todo valor de t. La constante mnima T que satisface la ecuacin (2.1) se llama
el periodo de la funcin. De la ecuacin (2.1), obsrvese que
f(t + T) = f(t)
f(t + 2T) = f(t +T + T) = f(t + T) = f(t)
f(t + 3T) = f(t +T + T + T) = f(t + 2T) = f(t)
. . .
f(t + nT) = f(t +T + T + . . . + (n 1)T + T) = f(t + (n 1)T) = . . . = f(t).
y as obtenemos;
f(t + nT) = f(t). (2.2)
donde n = 0, 1, 2, 3, . . . , etc.
Ejemplo:
Dada la funcin f(t) = cos
_
t
3
_
+ cos
_
t
4
_
, encontrar el periodo T de f(t).
Solucin:
Si la funcin es peridica de periodo T debe cumplir que,
f(t + T) = f(t),
es decir,
cos
_
t + T
3
_
+ cos
_
t + T
4
_
= cos
_
t
3
_
+ cos
_
t
4
_
.
57
58 2. Anlisis de Fourier
Por otro lado, como cos( + 2k) = cos para cualquier entero k, se tiene que,
T
3
= 2m,
T
4
= 2n,
de donde,
T = 6m,
T = 8n,
los nmeros n y m, pertenecen a los enteros.
De lo anterior, se observa que cuando m = 4 y n = 3 se tiene el valor mnimo de
T que es de T = 24, (esto se puede ver con un procedimiento de ensayo y error). En
forma general si la funcn,
f(t) = cos(w
1
t) +cos(w
2
t).
es peridica con periodo T, entonces es posible encontrar dos nmeros enteros m y n
tales que,
w
1
T = 2m,
w
2
T = 2n,
de donde obtenemos,
w
1
w
2
=
m
n
, (2.3)
es decir, el cociente
w
1
w
2
debe ser un nmero racional.
Ejemplo:
Verique si la funcin f(t) = cos(10t) + cos(10 + )t, es una funcin peridica.
Solucin:
En este caso, tenemos que
w
1
= 10,
w
2
= 10 + ,
por lo tanto,
w
1
w
2
=
10
10 +
,
obsrvese que el nmero
10
10+
es un irracional, por lo tanto no es posible encontrar un
valor de T que satisfaga la ecuacin (2.3), por consiguiente la funcin f(t) = cos(10t) +
cos(10 + )t, no es una funcin peridica.
2.2. Serie y coecientes de Fourier 59
2.2. Serie y coecientes de Fourier
Denicin:
Una funcin f se dice seccionalmente continua en el intervalo [a, b] si existen un con-
junto nito de puntos a = x
1
< x
2
< x
3
< . . . < x
n
= b tales que f es continua
en los intervalos x
k
< x < x
k+1
y los lmites unilaterales f
+
(x
k
) y f

(x
k+1
) existen
k = 1, 2, . . . , n 1.
Si f es seccionalmente continua en [a, b], entonces necesariamente es acotada e in-
tegrable. Supongase que f es integrable en el intervalo [, ], entonces f se puede
expresar como la siguiente suma:
f(x) = a
0
+

n=1
[a
n
cos(nx) +b
n
sen(nx)], (2.4)
donde los a
0
, a
1
, . . . , a
n
y los b
0
, b
1
, . . . , b
n
, son constantes.
Encontremos el valor de las constantes a
0
, a
n
y b
n
, como f es integrable en el inter-
valo [, ], de la ecuacin (2.4) se tiene que,
_

f(x)dx =
_

a
0
dx +

n=1
_
a
n
_

cos(nx)dx + b
n
_

sen(nx)
_
,
pero se sabe que,
_

cos(nx)dx =
_

sen(nx)dx = 0
para n = 0, 1, 2, . . . , por lo tanto, de la ecuacin anterior obtenemos
a
0
=
1
2
_

f(x)dx. (2.5)
Ahora sea k cualquier entero positivo, multiplicando la ecuacin (2.4) por por cos(kx),
obtenemos
f(x)cos(kx) = a
0
cos(kx) +

n=1
[a
n
cos(nx)cos(kx) + b
n
sen(nx)cos(kx)],
si integramos desde a , obtenemos
_

f(x)cos(kx)dx =
_

a
0
cos(kx)dx
+

n=1
_
a
n
_

cos(nx)cos(kx)dx
_
+

n=1
_
b
n
_

sen(nx)cos(kx)
_
,
60 2. Anlisis de Fourier
aplicando las relaciones de ortogonalidad de las funciones seno y coseno dadas por:
_

cos(nx)cos(kx) =
_

sen(nx)sen(kx) = 0,
_

cos(nx)sen(kx) = 0,
todas las integrales del lado derecho de la ecuacin anterior, valen cero, excepto aquella
que contiene al trmino cos(nx)cos(kx) cuando n = k, por lo tanto obtenemos,
_

f(x)cos(kx)dx = a
n
_

cos
2
(nx)dx
pero tambin,
_

cos
2
(nx)dx =
_

1
2
[1 +cos(2nx)]dx
=
_
1
2
x +
1
2n
sen(2nx)
_

=
1
2
[ + ] = .
Por lo tanto, el coeciente a
n
est dado por:
a
n
=
1

f(x)cos(nx)dx, (2.6)
para k = 1, 2, 3, . . . , etc. Anlogamente si multiplicamos la ecuacin (2.4) por sen(kx),
obtenemos
f(x)sen(kx) = a
0
sen(kx) +

n=1
[a
n
cos(nx)sen(kx) + b
n
sen(nx)sen(kx)]
integrando desde a obtenemos,
_

f(x)sen(kx)dx = a
0
_

sen(kx)dx
+

n=1
_
a
n
_

cos(nx)sen(kx)dx
_
+

n=1
_
b
n
_

sen(nx)sen(kx)
_
,
de la misma forma, las integrales del lado derecho de la ecuacin anterior valen cero,
excepto aquella que contiene al trmino sen(nx)sen(kx) cuando n = k, por lo tanto
2.2. Serie y coecientes de Fourier 61
obtenemos,
_

f(x)sen(nx)dx = b
n
_

sen
2
(nx)dx
= b
n
_

1
2
[1 cos(2nx)]dx
= b
n
_
1
2
x
1
2n
sen(2nx)
_

= b
n
,
nalmente, obtenemos
b
n
=
1

f(x)sen(nx)dx, (2.7)
para n = 1, 2, 3, . . . , los resultados anteriores se resumen en la siguiente denicin:
62 2. Anlisis de Fourier
2.2.1. Serie y Coecientes de Fourier en determinado intervalo.
De [, ] Denicin:
Sea f una funcin integrable en el intervalo [, ]. Los coeciente de Fourier de f
en el intervalo [, ] son los nmeros:
a
0
=
1
2
_

f(x)dx. (2.8)
a
n
=
1

f(x)cos(nx)dx, (2.9)
b
n
=
1

f(x)sen(nx)dx, (2.10)
La serie de Fourier de f en el intervalo [, ] es la serie:
f(x) = a
0
+

n=1
[a
n
cos(nx) + b
n
sen(nx)] , (2.11)
Ejemplo:
Escribir la serie de Fourier de f(x) = x en el intervalo [, ].
Solucin:
Primeramente calculemos los coecientes de Fourier, aplicando la ecuaciones (2.8),
(2.9) y (2.10) obtenemos,
a
0
=
1
2
_

xdx =
_
1
4
x
2
_

= 0
a
n
=
1

xcos(kx)dx =
_
x
n
sen(nx) +
1
n
2
cos(nx)
_

= 0
b
n
=
1

xsen(kx)dx =
_

x
n
cos(nx) +
1
n
2
sen(nx)
_

=
1
n
cos(n)
1
n
cos(n)
=
2
n
cos(n)
=
2
n
(1)
n+1
.
por lo tanto, sustituyendo los coecientes a
0
, a
n
y b
n
en la ecuacin (2.11), la serie de
Fourier de f(x) = x en el intervalo [, ] est dada por,
2.2. Serie y coecientes de Fourier 63
f(x) =

n=1
2
n
(1)
n+1
sen(nx)
En la siguiente gura se muestra la funcin y su serie de Fourier.
-3 -2 -1 0 1 2 3
x
-3
-2
-1
0
1
2
3
y
Figura 2.1: Grca de f(x) = x y su serie de Fourier para n = 15.
Ejemplo:
Encontrar la serie de Fourier de la funcin denida por,
f(x) =
_
k si < x < 0
k si 0 < x <
Solucin:
En forma anloga al problema anterior, el lector puede vericar inmediatamente que
el coeciente a
0
= 0, de la ecuacin (2.9), el coeciente a
n
est dado por,
a
n
=
1

f(x)cos(nx)dx =
1

__
0

(k)cos(nx)dx +
_

0
kcos(nx)dx
_
=
1

_
k
sennx
n

+ k
sennx
n

0
_
= 0,
el resultado anterior se sigue del hecho de que sen(nx) = 0 en y , para todo
n = 1, 2, 3, . . . . En forma anloga, de la ecuacin (2.10), el coeciente b
n
est dado por,
b
n
=
1

f(x)sen(nx)dx =
1

__
0

(k)sen(nx)dx +
_

0
ksen(nx)dx
_
=
1

_
k
cosnx
n

k
cosnx
n

0
_
=
k
n
[cos(0) cos(n) cos(n) + cos(0)]
=
2k
n
(1 cos(n)),
Obsrvese que en la expresin para los coecientes de b
n
, stos se hacen cero para
cuando n es par, puesto que cos(n) = (1)
n
. Por lo tanto, sustituyendo los coecientes
64 2. Anlisis de Fourier
a
n
y b
n
en la ecuacin (2.11), la serie de Fourier de f(x) en el intervalo [, ] est dada
por,
f(x) =

n=1
__
2k
n
(1 cosn)
_
sen(nx)
_
.
En la siguiente gura se muestra la la funcin y su serie de Fourier para el caso
k = 1.
0 1 2 3 4 5 6
x
-1
-0.5
0
0.5
1
y
Figura 2.2: Grca de f(x) y su serie de Fourier para n = 1 y n = 5.
Obsrvese tambin que en los ejemplos anteriores, los coecientes a
0
y a
n
resul-
taron ser iguales a cero, esto se debe a la paridad e imparidad de las funciones que
analizaremos en otra seccin.
Podemos extender la denicin anterior para series de Fourier en cualquier inter-
valo [L, L] simplemente cambiando de escala, al hacer el cambio de variable t =
x
L
.
2.2. Serie y coecientes de Fourier 65
2.2.2. Serie y Coecientes de Fourier en el intervalo [-L,L]
Denicin:
Sea f una funcin integrable en el intervalo [L, L]. Los coeciente de Fourier de f en
el intervalo [L, L] son los nmeros:
a
0
=
1
2L
_
L
L
f(x)dx. (2.12)
a
n
=
1
L
_
L
L
f(x)cos
_
n
L
x
_
dx, (2.13)
b
n
=
1
L
_
L
L
f(x)sen
_
n
L
x
_
dx, (2.14)
La serie de Fourier de f en el intervalo [L, L] es la serie:
f(x) = a
0
+

n=1
a
n
cos
_
n
L
x
_
+ b
n
sen
_
n
L
x
_
, (2.15)
para n = 1, 2, 3, . . . , donde los nmeros a
0
, a
1
, . . . , b
0
, b
1
, . . . , b
n
son los coecientes de
Fourier de f en el intervalo [L, L].
Ejemplo:
Dada la funcin,
f(x) =
_
0 para 3 x 0
x para 0 x 3
Encontrar la serie de Fourier de f en el intervalo [3, 3].
Solucin:
Calculemos primeramente los coecientes con L = 3, aplicando la ecuacin (2.12)
obtenemos,
a
0
=
1
2(3)
_
3
3
f(x)dx
=
1
6
_
0
3
f(x)dx +
1
6
_
3
0
f(x)dx
=
1
6
_
3
0
xdx =
_
x
2
12
_

3
0
=
9
12
,
por lo tanto,
a
0
=
9
12
=
3
4
.
66 2. Anlisis de Fourier
Asimismo, de la ecuacin (2.13) obtenemos,
a
n
=
1
3
_
3
0
xcos
_
n
3
x
_
dx,
esta integral se resuelve por el mtodo de integracin por partes: si hacemos u = x,
entonces du = dx, as tambin si dv = cos
_
n
3
x
_
dx, entonces v =
3
n
sen
_
n
3
_
x, de esta
forma obtenemos,
a
n
=
1
3
_
x
3
n
sen
_
n
3
x
_

3
n
_
3
0
sen
_
n
3
x
_
dx
_
=
1
3
_
3x
n
sen
_
n
3
x
_
+
9
n
2

2
cos
_
n
3
x
_
_

3
0
=
1
3
_
3(3)
n
sen(n) +
9
n
2

2
cos(n)
_

1
3
_
9
n
2

2
_
=
_
3
n
2

2
_
cos(n)
3
n
2

2
,
por lo tanto,
a
n
=
3
n
2

2
[cos(n) 1].
En forma anloga para el coeciente b
n
, de la ecuacin (2.14) obtenemos,
b
n
=
1
3
_
3
0
xsen
_
nx
3
_
dx,
anlogamente, aplicando el mtodo de integracin por partes; si hacemos u = x,entonces
du = dx, as tambin si dv = sen
_
n
3
_
x, entonces v =
3
n
cos
_
n
3
_
x, de esta forma
obtenemos,
b
n
=
1
3
_
x
3
n
cos
_
n
3
x
_
+
3
n
_
3
0
cos
_
n
3
x
_
dx
_
=
_

x
n
cos
_
n
3
x
_
+
3
n
2

2
sen
_
n
3
x
_
_

3
0
=
3
n
cos(n) +
3
n
2

sen(n)
_
0
n
cos(0) +
3
n
2

2
sen(0)
_
por lo tanto,
b
n
=
3
n
cos(n),
nalmente, sustituyendo los valores de los coecientes a
0
, a
n
y b
n
en la ecuacin (2.15),
la serie de Fourier de f en el intervalo [3, 3] est dada por,
f(x) =
3
4
+

n=1
__
3
n
2

2
((1)
n
1)
_
cos
_
n
3
x
_

_
3
n
(1)
n+1
_
sen
_
n
3
x
_
_
.
2.2. Serie y coecientes de Fourier 67
-3 -2 -1 0 1 2 3
0
0.5
1
1.5
2
2.5
3
Figura 2.3: Grca de f(x) = x y su serie de Fourier para n = 5 y n = 10.
Obsrvese que cos(n) = (1)
n
y cos(n) = (1)
n+1
. La siguiente gura muestra
la funcin y su serie de Fourier.
En algunos casos podemos ahorrarnos trabajo al calcular los coecientes de Fouri-
er observando las propiedades de la funcin dada que se establecen en la siguiente
denicin.
68 2. Anlisis de Fourier
2.2.3. Funciones Pares e Impares
Denicin:
Decimos que la funcin f es par en el intervalo [L, L], si f(x) = f(x) para 0 x
L, esto signica que f desde L hasta 0, es la reexin sobre el eje Y de la grca desde
0 hasta L.
Ejemplo de Funciones Pares:
cos
_
n
L
x
_
, x
2
, x
4
, x
6
, 2x
2
+cosx, [x[, . . . , etc.
Asimismo, se dice que la funcin f es impar en el intervalo [L, L], si f(x) =
f(x) para 0 x L, en este caso la grca de f desde L hasta 0, es la reexin
sobre el eje Y y despus sobre el eje X de la grca desde 0 hasta L.
Ejemplo de Funciones Impares:
sen
_
n
L
x
_
, x, x
3
, x
5
, . . . , etc.
Sin embargo, la mayoria de las funciones no son pares ni impares, por ejemplo las
funciones f(x) = e
x
y f(x) = x
2
x, no lo son, puesto que, si aplicamos la denicin
de paridad e imparidad, obtenemos
f(x) = e
x
,= e
x
,= e
x
,
f(x) = (x)
2
(x) = x
2
+ x ,=
_
x
2
x
_
,=
_
x
2
x
_
,
sin embargo, el producto de dos funciones pares o impares es par y el producto de una
funcin par y una impar es impar, es decir:
(impar) x (impar) (par)
(par) x (par) (par)
(par) x (impar) (impar).
Por ejemplo, si tenemos las funciones f(x) = x
2
y g(x) = cosx, que son funciones
pares, entonces h(x) = f(x)g(x) = x
2
cosx, de donde h(x) = (x)
2
cos(x) = x
2
cosx,
asimismo si j(x) = senx, entonces l(x) = f(x)j(x) = x
2
senx, de donde l(x) =
(x)
2
sen(x) = x
2
senx.
Por otro lado, del Clculo elemental tenemos los siguientes resultados para fun-
ciones pares e impares, considerando que f es una funcin integrable en el intervalo
[L, L]:
a).-Si f es par entonces,
_
L
L
f(x)dx = 2
_
L
0
f(x)dx.
2.2. Serie y coecientes de Fourier 69
b).-Si f es impar entonces,
_
L
L
f(x)dx = 0,
de lo enterior, tenemos el siguiente resultado para la serie de Fourier.
Denicin: 1).- Si f es par, entonces la serie de Fourier de f en el intervalo [L, L]
est dada por:
f(x) = a
0
+

n=1
a
n
cos
_
n
L
x
_
, (2.16)
donde los coecientes a
0
y a
n
estn dados por:
a
0
=
1
L
_
L
0
f(x)dx. (2.17)
a
n
=
2
L
_
L
0
f(x)cos
_
n
L
x
_
dx, (2.18)
2).- Si f es impar, entonces la serie de Fourier de f en el intervalo [L, L] est dada por:
f(x) =

n=1
b
n
sen
_
n
L
x
_
, (2.19)
donde los coecientes b
n
estn dados por:
b
n
=
2
L
_
L
0
f(x)sen
_
n
L
x
_
dx. (2.20)
Ejemplo:
Encuentre la serie de Fourier de la funcin f(x) = x
2
en el intervalo [, ].
Solucin:
Como la funcin f(x) es una funcin par, entonces de la ecuacin (2.16) la serie de
Fourier de f en el intervalo [, ] estar dada (con L = ) por:
f(x) = a
0
+

n=1
a
n
cos(nx),
y de las ecuaciones (2.17) y (2.18) con L = , los coecientes a
0
y a
n
estn dados por:
a
0
=
1

_

0
f(x)dx.
a
n
=
2

_

0
f(x)cos(nx)dx,
70 2. Anlisis de Fourier
sustituyendo el valor de la funcin f, obtenemos
a
0
=
1

_

0
x
2
dx =
1

_
x
3
3
_

0
=

2
3
,
en forma anloga, para el coeciente a
n
sustituyendo el valor de la funcin obtenemos,
a
n
=
2

_

0
x
2
cos(nx)dx
=
2

_
x
2
n
sen(nx)

2
n
_

0
xsen(nx)dx
_
,
en donde aplicamos el mtodo de integracin por partes, al hacer los cambios de vari-
able u = x
2
, de donde du = 2xdx, y tambin, dv = cos(nx)dx, de donde v =
1
n
sen(nx),
aplicando nuevamente el mtodo de integracin por partes, haciendo ahora u = x y
dv = sen(nx)dx, obtenemos du = dx y v =
1
n
cos(nx) respectivamente, de tal forma
que la integral anterior resulta,
a
n
=
2

_
x
2
n
sen(nx)

2
n
_
x
n
cos(nx)

0
+
1
n
_

0
cos(nx)
__
=
2

__
x
2
n
sen(nx)
_

0
+
_
2x
n
2
cos(nx)
_

_
2
n
3
sen(nx)
_

0
_
=
2

_
2
n
2
cos(n)
_
=
4
n
2
cos(n)
= (1)
n
4
n
2
.
Por lo tanto, la serie de Fourier de la funcin f(x) = x
2
en el intervalo [, ] est
dada por:
f(x) =

2
3
+

n=1
_
(1)
n
4
n
2
cos(nx)
_
=

2
3
+ 4
_
cosx +
cos2x
4

cos3x
9
+. . .
_
.
En la gura se muestra la funcin y = x
2
y su serie de Fourier.
Ejercicios:
1. Verique que la serie de Fourier de la funcin f(x) = x
4
en el intervalo [, ]
est dada por la expresin:
2.2. Serie y coecientes de Fourier 71
-3 -2 -1 0 1 2 3
0
2
4
6
8
10
Figura 2.4: Grca de f(x) = x
2
(lnea continua) y su serie de Fourier para n = 1, 3, 5,
(lneas punteadas).
f(x) =

4
5
+

n=1
_
8
n
4
_
n
2

2
6
_
(1)
n
cos(nx)
_
2. Para las siguientes funciones:
a) f(x) = cos(3x) para el intercvalo 2 x 2.
b)
f(x) =
_
1 x si 1 x < 0
0 si 0 x 1
c) f(x) = 1 [x[ para el intercvalo 2 x 2.
d) f(x) =
1
2
e
2x
para el intercvalo 1 x 1.
e)
f(x) =
_
1 si 3 x 0
0 si 0 < x 3
Calcule la Serie de Fourier. Dependiendo de la paridad o imparidad de las mis-
mas, aplique los resultados de las ecuaciones (2.16)-(2.20) para simplicar sus
clculos.
3. Encontrar la serie de Fourier de la funcin f(x) denida por f(x) = [x[ en el
intervalo (, ).
4. Encontrar la serie de Fourier de la funcin f(x) = e
x
en el intervalo (, ).
5. Encontrar la serie de Fourier de la funcin f(x) = x[x[ en el intervalo (, )
6. Encontrar la serie de Fourier de la funcin f(x) =
x
2
4
en el intervalo de (, ).
72 2. Anlisis de Fourier
2.3. Convergencia de las series de Fourier
Denicin:
Una funcin f es seccionalmente continua a pedazos en el intervalo [a, b] si:
1.- lm
xa
+ f(x) y lm
xb
f(x) son nitos
2.- f es continua en todos los puntos del intervalo [a, b], excepto posiblemente un
nmero nito de ello.
3.- En los puntos del intervalo (a, b) donde f es discontinua, la funcin tiene lmites
izquierdo y derecho nitos.
Estos conceptos se ilustran en la siguiente gura. Los lmites izquierdo y derecho
estn dados por:
f(x
+
0
) = lm
h0
+
f(x
0
+ h),
y
f(x

0
) = lm
h0

f(x
0
h).
Si f tiene lmite derecho en x
0
, la derivada derecha de f en x
0
se dene como
f

R
(x
0
) = lm
h0
+
f(x
0
+ h) f(x
+
0
)
h
,
cuando este lmite exista y sea nito. Lo anterior se interpreta como la pendiente a la
grca en x
0
si nos jamos nicamente en la parte de la grca que est a la derecha
de x
0
.
Anlogamente, se dene la derivada izquierda de f en x
0
como,
f

L
(x
0
) = lm
h0

f(x
0
+ h) f(x

0
)
h
,
el trmino f

L
(x
0
), se interpreta como la pendiente de tangente a la grca en x
0
si
nos jamos nicamente en la parte de la grca que est a la izquierda de x
0
. Esto se
ilustra en la siguiente gura.
Observacin: En una discontinuidad de salto, las derivadas izquierda y derecha
pueden existir aunque la derivada no exista, es decir; una grca puede tener una pen-
diente "por la izquierda
2
"por la derecha.
en
x
0
aunque no tenga tangente en x
0
.
2.3. Convergencia de las series de Fourier 73
Figura 2.5: Lmites Laterales.
Ejemplo:
Sea la funcin f denida por:
f(x) =
_
1 + x si x 0
x
2
si 0 x
f es seccionalmente continua en el intervalo [, ] con una discontinuidad de salto
en x
0
= 0, como se muestra en la gura. Los lmites derecho e izquierdo estn dados
respectivamente por:
f(0
+
) = lm
h0
+
f(0 + h) = lm
h0
+
h
2
= 0,
y
f(0

) = lm
h0

f(0 h) = lm
h0

(1 h) = 1.
Asimismo, las derivadas derecha e izquierda estn dadas respectivamente por:
f

R
(0) = lm
h0
+
f(0 + h) f(0
+
)
h
= lm
h0
+
h
2
0
h
= 0,
y
f

L
(0) = lm
h0

f(0 + h) f(0

)
h
= lm
h0

(1 + h) 1
h
= 1.
Obsrvese que para este ejemplo, como se muestra en la gura, se conrma que
efectivamente a la derecha de x
0
= 0 la pendiente es cero y por la izquierda de x
0
= 0
la pendiente es uno. De lo anterior, podemos establecer la convergencia de las series
de Fourier de la forma.
Denicin:
Sea f una funcin seccionalmente continua en [L, L]
1.- Si L x L y las derivadas izquierda y derecha de f existen en x
0
, la serie de
Fourier de f en el intervalo [L, L] converge en x
0
a,
1
2
_
f(x
+
0
) + f(x

0
)

, (2.21)
74 2. Anlisis de Fourier
2.- Si f

R
(L) y f

R
(L) existen, entonces la serie de Fourier converge en L y en L a
1
2
_
f(L
+
) + f(L

, (2.22)
En la siguiente gura se ilustra geomtricamente la convergencia de las series. Ob-
srvese tambin, que si f es continua en x
0
, los lmites izquierdo y derecho son iguales
a f(x
0
) y la serie converge en x
0
a
1
2
_
f(x
+
0
) + f(x

0
)

= f(x
0
),
as tambin puede converger al mismo valor en L y en L, ya que si hacemos x = L
en la serie de Fourier dada por la ecuacin (2.15) obtenemos
f(x) = a
0
+

n=1
a
n
cos(n)
asimismo, obsrvese que si hacemos x = L en la ecuacin (2.15)se obtiene la mis-
ma serie puesto que sen(n) = 0 y cos(n) = cos(n).
Ejemplo:
Sea f(x) = 2x en el intervalo [, ], como se muestra en la siguiente gura:
-3 -2 -1 0 1 2 3
0
0.5
1
1.5
Figura 2.6: Intervalo [, ].
Obsrvese que la funcin f es continua en el intervalo (, ) y que tiene derivada
izquierda y derecha en todo punto (de hecho, f es derivable), de esta forma en los
extremos se tiene que,
f(
+
) = lm
h0
+
f( + h) = lm
h0
+
2( + h) = 2,
y
f(

) = lm
h0

f( h) = lm
h0

2( h) = 2,
por lo tanto la serie de Fourier de f converge a cero tanto en como en , puesto que
1
2
_
f(
+
) +f(

= 0,
2.3. Convergencia de las series de Fourier 75
y como habiamos calculado anteriormente, la serie de fourier de f(x) = x en [, ] es-
t dada por,

n=1
4
n
(1)
n+1
sen(n), podemos vericar que la serie converge a cero en
y en . Por lo tanto la serie de Fourier de f en [, ] converge a 2x para < x < ,
como lo muestra la siguiente gura.
-3 -2 -1 0 1 2 3
0
0.5
1
1.5
Figura 2.7: Convergencia del Intervalo [, ].
Ejemplo:
Dada la funcin,
f(x) =
_
_
_
0 para x < 1
1 para 1 x < 2
3 para 2 x < .
a).- Analizar la convergencia de la serie de Fourier. b).- Calcular la serie de Fourier
de f(x).
Solucin:
a).- Aplicando las condiciones de la convergencia de la serie de Fourier, la serie de
Fourier de f en el intervalo [, ] converge a,
0 para x < 1
1 para 1 x < 2
3 para 2 x < .
Tambin en x
0
= 1, f(1

) = 0 y f(1
+
) = 0, por lo tanto la serie converge en x
0
= 1 a
1
2
_
f(1

) + f(1
+
)

=
1
2
[0 + 1] =
1
2
,
por otro lado en x = 2, f(2

) = 1 y f(2
+
) = 3, por lo tanto la serie converge en x
0
= 2 a
1
2
_
f(2

) + f(2
+
)

=
1
2
[1 + 3] = 2,
asimismo, en el intervalo [, ] se tiene que f(
+
) = 0 y f(

) = 3, por lo tanto la
serie converge a
76 2. Anlisis de Fourier
1
2
_
f(
+
) + f(

=
1
2
[0 + 3] =
3
2
.
b).- Calculemos primeramente los coecientes con L = ; aplicando la ecuacin
(2.12) obtenemos
a
0
=
1
2
_

f(x)dx
=
1
2
_
1

0dx +
1
2
_
2
1
dx +
1
2
_

2
3dx
=
1
2
__
2
1
dx +
_

2
3dx
_
=
1
2
[x[
2
1
+ 3x[

2
] =
1
2
[1 + 3( 2)]
por lo tanto,
a
0
=
1
2
[3 5].
Asimismo, de la ecuacin (2.13) obtenemos
a
n
=
1

f(x)cos(nx)dx
=
1

__
1

0cos(nx)dx +
_
2
1
cos(nx)dx +
_

2
3cos(nx)dx
_
=
1

_
1
n
sen(nx)

2
1
+
3
n
sen(nx)

2
_
=
1

_
1
n
(sen2n sen(n)) +
3
n
(sen(n) sen(2n))
_
=
1

_
1
n
sen(2n)
1
n
sen(n)
3
n
sen(2n)
_
,
por lo tanto,
a
n
=
1

_
2
n
(sen(2n) + sen(n))
_
en forma anloga para el coeciente b
n
, de la ecuacin (2.14) obtenemos,
b
n
=
1

f(x)sen(nx)dx
=
1

__
1

0sen(nx)dx +
_
2
1
sen(nx)dx + 3
_

2
sen(nx)dx
_
=
1

1
n
cos(nx)

2
1

3
n
cos(nx)

2
_
2.3. Convergencia de las series de Fourier 77
=
1

1
n
(cos2n cosn)
3
n
(cosn cos2n)
_
=
1

1
n
cos(2n) +
1
n
cos(n)
3
n
cos(n) +
3
n
cos(2n)
_
=
1

_
1
n
cos(2n)(3 1) +
1
n
cos(n)
3
n
(1)
n
_
,
por lo tanto,
b
n
=
1
n
[2cos(2n) 3(1)
n
+ cos(n)] ,
nalmente, sustituyendo los valores de los coecientes a
0
, a
n
y b
n
en la ecuacin (2.15)
la serie de Fourier de f est dada por,
f(x) =
1
2
[3 5]

n=1
1

_
2
n
(sen(2n) + sen(n))
_
cos(nx)

n=1
1
n
[2cos(2n) 3(1)
n
+cos(n)] sen(nx).
78 2. Anlisis de Fourier
2.4. Series de Fourier en senos y cosenos
Supongamos que la funcin f es integrable en el intervalo [0, L] y queremos de sar-
rollar a f en una serie de Fourier en [0, L] que contenga nicamente trminos cosenos
o senos.
La idea es extender a f a una nueva funcin g denida en el intervalo [L, L] de
manera que g sea una funcin par o impar. As la serie de Fourier de g en [L, L]
contendr nicamente trminos cosenos, adems como g y f coinciden en el intervalo
[0, L] esto nos dar una serie de Fourier en el intervalo [0, L] Por lo tanto denimos a la
funcin g de la forma,
g(x) =
_
f(x) para 0 x L
f(x) para L x 0.
De esta forma como g es una funcin par su serie contendr slo trminos cosenos,
de tal forma que su serie estar dada por la ecuacin (2.16). As mismo, si queremos
la serie de Fourier de una funcin f en el intervalo [0, L] que slo contenga trminos
senos, extendemos sta a una funcin w en [L, L] de manera que w sea una funcin
impar, de esta forma la serie de Fourier de w en [L, L] contendr nicamente trminos
senos, adems como w y f coinciden en el intervalo [0, L] esto nos dar una serie de
Fourier en el intervalo [0, L], as denimos la funcin w de la forma,
w(x) =
_
f(x) para 0 x L
f(x) para L x 0.
Por lo tanto, como w es una funcin impar su serie contendr slo trminos senos,
de tal forma que su serie estar dada por la ecuacin (2.19). Lo anterior, se resume en
la siguiente denicin:
Denicin:
Si f es integrable en [0, L], entonces a).- La serie de Fourier en cosenos de f en [0, L]
est dada por,
a
0
+

n=1
a
n
cos
_
n
L
x
_
,
donde los coecientes a
0
y a
n
estn dados por:
a
0
=
1
L
_
L
0
f(x)dx,
a
n
=
2
L
_
L
0
f(x)cos
_
n
L
x
_
dx
2.4. Series de Fourier en senos y cosenos 79
b).- La serie de Fourier en senos de f en [0, L] est dada por,

n=1
b
n
cos
_
nx
L
_
,
donde el coeciente b
n
est dado por:
b
n
=
2
L
_
L
0
f(x)sen
_
nx
L
_
dx
Ejemplo:
Calcule las serie de Fourier en cosenos y senos para la funcin denida por:
f(x) =
_
1 para 0 x /2
2 para /2 x
Solucin:
Para la serie de Fourier en cosenos, de las expresiones dadas en la denicin anterior
obtenemos,
a
0
=
1

_

0
f(x)dx,
a
n
=
2

_

0
f(x)cos(nx)dx
por lo tanto, obtenemos
a
0
=
1

_
2
0
dx +
2

2
dx =
1

2
_
+
2

2
_
=
3
2
tambin,
a
n
=
2

_
2
0
cos(nx)dx +
4

2
cos(nx)dx
=
2

_
1
n
sen(nx)
_

2
0
+
4

_
1
n
sen(nx)
_

2
=
2
n
sen
_
n
2
_
+
4

_
1
n
sen(n)
1
n
sen
_
n
2
_
_
=
2
n
_
sen
_
n
2
_
2sen
_
n
2
__
=
2
n
sen
_
n
2
_
De esta forma, la serie de Fourier en cosenos de f en [0, ] est dada por:
3
2

n=1
_
2
n
sen
_
n
2
_
_
cos(nx).
80 2. Anlisis de Fourier
En la expresin anterior, ntese que sen
_
n
2
_
= 0 si n es un entero positivo, por lo
tanto necesitamos quedarnos nicamente con los trminos que contengan n impar, por
lo que la serie estar dada por:
3
2

n=1
_
2
(2n 1)
sen
_
(2n 1)
2
__
cos(2n 1)x
adems, si aplicamos la siguiente identidad trigonomtrica
sen(A B) = senAcosB cosAsenB
obtenemos,
sen
_
n

2
_
= sen(n)cos
_

2
_
cos(n)sen
_

2
_
= cos(n) = (1)
n
= ()
n+1
y adems como (1)
n+1
= (1)
n
, la serie de Fourier estar dada por:
3
2
+
2

n=1
_
(1)
n
(2n 1)
_
cos(2n 1)x
0 0.5 1 1.5 2 2.5 3
1
1.2
1.4
1.6
1.8
2
Figura 2.8: Grca de la funcin del ejemplo anterior (lnea continua) y su serie de
Fourier para n = 3 n = 10 y n = 5, (lneas punteadas).
De la misma forma para la serie de Fourier en senos, de las expresiones dadas en la
denicin anterior obtenemos,
b
n
=
2

_

0
f(x)sen(nx)dx,
y de la denicin de la funcin dada obtenemos,
b
n
=
2

_

0
f(x)sen(nx)dx
=
2

_
_
/2
0
sen(nx)dx + 2
_

2
sen(nx)dx
_
=
2

__

1
n
_
cos(nx)
_

2
0

__

2
n
_
cos(nx)
_

2
2.4. Series de Fourier en senos y cosenos 81
=
2

__

1
n
_
cos
_
n
2
_
1
n

2
n
cos(n) +
2
n
cos
_
n
2
_
_
=
2
n
_
1 + cos
_
n
2
__

4
n
cos(n).
Por lo tanto, la serie de Fourier en senos de f en el intervalo [0, ] est dada por:
2

n=1
1
n
_
1 +cos
_
n
2
_
2()
n
_
sen(nx),
obsrvese que cos(n) = (1)
n
.
0 0.5 1 1.5 2 2.5 3
0
0.5
1
1.5
2
Figura 2.9: Grca de la funcin del ejemplo anterior (lnea continua) y su serie de
Fourier para n = 5 n = 25 y n = 50, (lneas punteadas).
82 2. Anlisis de Fourier
2.5. Funciones Peridicas y el Espectro de Amplitud
Hemos visto anteriormente que bajo ciertas condiciones, una funcin f denida en
el intervalo [L, L] puede desarrollarse en una serie de Fourier de la forma,
f(t) = a
0
+

n=1
_
a
n
cos
_
n
L
t
_
+ b
n
sen
_
n
L
t
__
,
obsrvese que usamos t como variable (en lugar de x), porque en muchas aplicaciones
de las funciones peridicas se identica a t como el tiempo. Obsrvese tambin, que
aunque f puede estar denida nicamente en el intervalo [L, L] la serie de Fourier
est denida para todo nmero real t, ms an, cada funcin en la serie de Fourier
tiene periodo 2, puesto que se cumple,
sen(t + 2) = sen t cos(2) + cos t sen(2) = sen t
cos(t + 2) = cos t cos(2) + sen t sen(2) = cos t,
es decir, si tomamos la grca de la funcin f en el intervalo [L, L] y la duplicamos
sobre cada intervalo [L, 3L], [3L, 5L], . . . , [3L, L], [5L, 3L], entonces la funcin re-
sultante est denida para todo t, tiene periodo 2L y coincide con f en el intervalo
[L, L]. Esta extensin se llama extensin peridica de f (con periodo 2L) a toda la
recta real.
Supongamos ahora que g es peridica con periodo T y que desarrollamos a g en
una serie de Fourier en el intervalo [
T
2
,
T
2
] , por lo tanto de la ecuacin (2.15) obten-
emos,
g(t) = a
0
+

n=1
_
a
n
cos
_
2n
T
t
_
+ b
n
sen
_
2n
T
t
__
. (2.23)
Asimismo, de las ecuaciones (2.12), (2.13) y (2.14), los coecientes de la serie estn
dados por:
a
0
=
1
T
_ T
2

T
2
g(t)dt. (2.24)
a
n
=
2
T
_ T
2

T
2
g(t) cos
_
2n
T
t
_
dt, (2.25)
b
n
=
2
T
_ T
2

T
2
g(t) sen
_
2n
T
t
_
dt, (2.26)
si identicamos a w
0
=
2
T
, entonces la serie dada por la ecuacin (2.23) se puede es-
cribir de la forma,
2.5. Funciones Peridicas y el Espectro de Amplitud 83
g(t) = a
0
+

n=1
[a
n
cos (nw
0
t) +b
n
sen (nw
0
t)] . (2.27)
y los coecientes se pueden escribir de la forma,
a
0
=
1
T
_ T
2

T
2
g(t)dt. (2.28)
a
n
=
2
T
_ T
2

T
2
g(t) cos (nw
0
t) dt, (2.29)
b
n
=
2
T
_ T
2

T
2
g(t) sen (nw
0
t) dt, (2.30)
adems, como g(t) es peridica de periodo T, las integrales anteriores se pueden tomar
sobre cualquier intervalo de longitud T, por lo tanto, para todo nmero real a, se
pueden escribir los coecientes de Fourier de la forma:
a
0
=
1
T
_
a+T
a
g(t)dt. (2.31)
a
n
=
2
T
_
a+T
a
g(t) cos (nw
0
t) dt, (2.32)
b
n
=
2
T
_
a+T
a
g(t) sen (nw
0
t) dt. (2.33)
Los resultados anteriores para la serie de Fourier se pueden escribir en una forma
ms compacta, que se le llama la forma de ngulo de fase o forma armnica,
g(t) = a
0
+

n=1
c
n
cos (nw
0
t + ). (2.34)
donde,
c
n
=
_
a
2
n
+ b
2
n
,

n
= tan
1
_

b
n
a
n
_
,
se denominan respectivamente la Amplitud armnica y el ngulo de fase. La ecuacin
anterior muestra que para toda funcin g que sea peridica (con ciertas propiedades de
continuidad) se puede escribir como una suma de ondas cosenoidales (o senoidales).
La componente senoidal de frecuencia
nw
0
2
se llama n-sima armnica de la funcin
g. El espectro de Amplitud de la funcin g est formado por los puntos c
0
en 0 (con
c
0
= [a
0
[) y para n 1,
c
n
2
contra la frecuencia angular nw
0
. (El factor
1
2
se escribe
84 2. Anlisis de Fourier
por conveccin y se aclarar posteriormente). Obsrvese tambin, como el ndice de
la sumatoria n toma nicamente valores enteros positivos, el espectro de amplitud no
es una curva continua, sino que aparece como puntos en las frecuencias discretas nw
0
,
tomando el nombre de espectro lineal o espectro de frecuencia discreta.
Ejemplo:
Sea g una funcin peridica denida por g(t) = t
2
para el intervalo 0 < t < 3 y
g(t + 3) = g(t) para todo t, encontrar la forma de ngulo de fase o forma armnica de
la funcin g(t).
Solucin:
Como la funcin es peridica de periodo 3, como se muestra en la gura, podemos
integrar sobre cualquier intervalo de longitud 3, por conveniencia integramos de 0 a 3
aplicando las ecuaciones (2.31), (2.32) y (2.33), los coecientes de Fourier, que el lector
puede vericar resolviendo las integrales, estn dados por:
a
0
=
1
3
_
3
0
t
2
dt = 3
a
n
=
2
3
_
3
0
t
2
cos
_
2n
3
t
_
dt =
9
n
2

2
b
n
=
2
3
_
3
0
f(t)sen
_
2n
3
t
_
dt =
9
n
.
Sustituyendo los resultados anteriores, la serie de Fourier para g(t) est dada por,
g(t) = 3 +

n=1
9
n
2

2
cos
_
2nt
3
_

9
n
sen
_
2nt
3
_
.
De los resultados anteriores, la Amplitud armnica y el ngulo de fase estn dados
por:
c
n
=
_
a
2
n
+ b
2
n
=

_
9
n
2

2
_
2
+
_
9
n
_
2
=
_
9
n
2

2
_

1 + n
2

n
= tan
1
_

9
n
9
n
2

2
__
= tan
1
(n).
Por lo tanto, la forma de ngulo de fase o forma armnica de la representacin de
Fourier de la funcin g est dada por,
g(t) = 3 +

n=1
_
9
n
2

2
_

1 + n
2

2
cos
_
2nt
3
+ tan
1
(n)
_
.
2.5. Funciones Peridicas y el Espectro de Amplitud 85
El espectro de amplitud para esta funcin est formado por los puntos (nw
0
, c
n
/2),
donde nw
0
= 2n/3 como se muestra en la gura. Obsrvese que el espectro de ampli-
tud permite visualizar la longitud de cada una de las armnicas en las que se descom-
pone la funcin peridica.
86 2. Anlisis de Fourier
2.6. Serie de Fourier Compleja y Espectros de Frecuencia
Sabemos que la serie de Fourier para una funcin peridica de periodo T se puede
escribir de la forma,
f(t) = a
0
+

n=1
[a
n
cos (nw
0
t) + b
n
sen(nw
0
t)] ,
donde w
0
= 2/T y los coecientes de Fourier a
0
, a
n
y b
n
estn dados respectivamente
por las ecuaciones (2.28), (2.29) y (2.30). Si aplicamos la frmula de Euler tenemos,
e
inw
0
t
= cos(nw
0
t) + isen(nw
0
t),
e
inw
0
t
= cosnw
0
t) isen(nw
0
t),
de donde obtenemos,
cos(nw
0
t) =
e
inw
0
t
+ e
inw
0
t
2
sen(nw
0
t) =
e
inw
0
t
e
inw
0
t
2i
sustituyendo los resultados anteriores en la ecuacin para la serie de Fourier y hacien-
do un poco de lgebra, obtenemos
f(t) = a
0
+

n=1
_
a
n
_
e
inw
0
t
+ e
inw
0
t
2
_
+ b
n
_
e
inw
0
t
e
inw
0
t
2i
__
= a
0
+

n=1
_
1
2
(a
n
ib
n
) e
inw
0
t
1
2
(a
n
+ib
n
) e
inw
0
t
_
,
si hacemos la siguiente notacin de los coecientes de Fourier,
a
0
= c
0
,
c
n
=
1
2
(a
n
ib
n
) ,
para n = 1, 2, . . . , etc. De esta forma la serie de Fourier se puede escribir de la forma;
f(t) = c
0
+

n=1
_
c
n
e
inw
0
t
+ c
n
e
inw
0
t

(2.35)
= c
0
+

n=1
c
n
e
inw
0
t
+

n=1
c
n
e
inw
0
t
,
donde c
n
es el complejo conjugado de c
n
, por otro lado, sabemos que las frmulas in-
tegrales para los coecientes de Fourier estn dadas por,
2.6. Serie de Fourier Compleja y Espectros de Frecuencia 87
a
n
=
2
T
_ T
2

T
2
f(t)cos (nw
0
t) dt
b
n
=
2
T
_ T
2

T
2
f(t)sen(nw
0
t) dt,
sustituyendo estas ecuaciones en la expresin para c
n
obtenemos,
c
n
=
1
2
_
2
T
_ T
2

T
2
f(t)cos (nw
0
t) dt i
2
T
_ T
2

T
2
f(t)sen(nw
0
t) dt
_
=
1
T
_ T
2

T
2
[cos (nw
0
t) isen(nw
0
t)] f(t)dt
aplicando nuevamente la frmula de Euler, obtenemos
c
n
=
1
T
_ T
2

T
2
f(t)e
inw
0
t
dt.
Asimismo, si tomamos el complejo conjugado de esta integral obtenemos,
c
n
=
1
T
_ T
2

T
2
f(t)e
inw
0
t
dt
= c
n
,
sustituyendo las expresiones de c
n
y c
n
en la expresin para la serie de Fourier, obten-
emos,
f(t) = c
0
+

n=1
c
n
e
inw
0
t
+

n=1
c
n
e
inw
0
t
= c
0
+

c
n
e
inw
0
t
si n ,= 0, o tambin incluyendo el trmino c
0
se puede escribir
f(t) =

c
n
e
inw
0
t
.
De lo anterior, denimos la serie de Fourier compleja de la funcin f con periodo T
de la siguiente forma:
Denicin:
88 2. Anlisis de Fourier
La serie de Fourier Compleja de una funcin peridica, con periodo T, est dada
por:
f(t) =

c
n
e
inw
0
t
, (2.36)
donde w
0
=
2
T
y los coecientes c
n
estn dados por,
c
n
=
1
T
_ T
2

T
2
f(t)e
inw
0
t
dt, (2.37)
para n = 0, 1, 2, 3, . . . , etc. Los nmeros c
n
se llaman coecientes de Fourier com-
plejos de f. La grca de la magnitud de los coecientes c
n
en la serie de Fourier com-
pleja de f(t) versus la frecuencia w (frecuencia angular) se denomina Espectro de Am-
plitud de la funcin peridica f(t). As tambin, la grca del angulo de fase
n
versus
la frecuencia w se denomina Espectro de Fase de f(t). Como el ndice n slamente toma
valores enteros, los espectros de Amplitud y de Fase no son curvas continuas, sino que
aparecen en la variable discreta nw
0
, por consiguiente, se les denomina ESPECTROS
DE FRECUENCIA DISCRETA O ESPECTROS DE LNEA. Obsrvese que la repre-
sentacin de los coecientes complejos c
n
versus la variable discreta nw
0
, especica la
funcin peridica f(t) en el dominio de la frecuencia, as como f(t) versus t, especica
la funcin en el dominio del tiempo.
Ejemplo:
Determinar la serie compleja de la funcin f(t) =
3
4
t, si 0 < t < 8, y f(t + 8) = f(t).
Solucin:
Para este problema tenemos que T = 8, por lo tanto, w
0
=
2
8
=

4
. De la ecuacin
(2.37), obtenemos
c
n
=
1
8
_
8
0
3
4
te

in
4
t
dt =
3
32
_
8
0
te
inw
0
t
dt.
Obsrvese que podemos integrar en cualquier intervalo de longitud igual al perio-
do. La integral anterior se resuelve aplicando el mtodo de integracin por partes, al
hacer los cambios de variable u = t, de donde du = dt, y tambin, si dv = e
i
n
4
t
dt, de
donde v =
4
in
e
i
n
4
t
, al sustituir estos cambios, obtenemos
c
n
=
3
32
_

4
in
te

in
4
t

8
0
+
4
in
_
8
0
e

in
4
t
dt
_
=
3
8
_

1
in
te

in
4
t

8
0
+
4
n
2

2
e

in
4
t

8
0
_
=
3
8
_

8
in
e
i2n
+
4
n
2

2
_
e
i2n
1
_
_
=
3i
n
.
2.6. Serie de Fourier Compleja y Espectros de Frecuencia 89
Lo anterior se sigue del hecho de que e
i2n
= cos(2n) i sen(2n) = 1, para
cualquier entero n. Obsrvese tambin, que el resultado anterior se cumple para n ,= 0,
as para calcular el coeciente c
0
aplicamos la ecuacin (2.31), puesto que c
0
= a
0
, de
esta forma obtenemos,
c
0
=
1
8
_
8
0
3
4
tdt =
3
32
t
2
2

8
0
=
3
84
(8)
2
= 3.
Por lo tanto, la serie de Fourier compleja de la funcin f(t) =
3
4
t, para 0 < t < 8 y
de periodo T = 8, est dada por:
f(t) = 3 +
3i

1
n
e
nit/4
.
La grca de la funcin y su espectro de frecuencias se muestran en la siguiente
gura. Del ejemplo anterior, en general se tiene para una funcin denida por f(t) =
A
T
t, para 0 < t < T de periodo T que se conoce como funcin Diente de Sierra, se tiene
que
c
n
= i
A
nw
0
T
= i
A
2n
n ,= 0, y para n = 0 obtenemos,
c
0
=
1
T
_
T
0
f(t)dt =
A
T
2
_
T
0
tdt =
A
T
2
t
2
2

T
0
=
A
2
,
por lo tanto, la serie de Fourier compleja para la funcin Diente de Sierra est dada
por:
f(t) =
A
2
+ i
A
2

1
n
e
inw
0
t
.
Observacin:
De la forma compleja de la Serie de Fourier de una funcin f(t) peridica de perio-
do T dada por la ecuacin,
f(t) =

c
n
e
inw
0
t
,
donde
c
n
=
1
2
(a
n
ib
n
) =
1
T
_ T
2

T
2
f(t)e
inw
0
t
dt,
se puede obtener fcilmente la forma trigonomtrica de la Serie de Fourier de f(t) de
la siguiente manera:
90 2. Anlisis de Fourier
De las ecuaciones anteriores obtenemos,
c
0
=
1
2
a
0
c
n
=
1
2
(a
n
ib
n
)
c
n
= c
n
=
1
2
(a
n
+ib
n
),
es decir;
a
0
= 2c
0
2c
n
= a
n
ib
n
2c
n
= a
n
+ ib
n
,
de donde obtenemos,
a
n
= c
n
+ c
n
b
n
= i(c
n
c
n
)
es decir;
a
n
= 2'(c
n
)
b
n
= 2(c
n
).
De esta forma, para el problema anterior, tenemos que
a
0
= A
a
n
= 0
b
n
=
A
n
,
y como la serie de Fourier Trigonomtrica est dada por:
f(t) = a
0
+

n=1
[a
n
cos (nw
0
t) + b
n
sen(nw
0
t)]
se tiene que,
f(t) = A
A

n=1
1
n
sen(nw
0
t)
= A
A

_
sen(w
0
t) +
1
2
sen(2w
0
t) +
1
3
sen(3w
0
t) + . . .
_
Ejemplo:
2.6. Serie de Fourier Compleja y Espectros de Frecuencia 91
Determinar la series de Fourier compleja y trigonomtrica de la funcin f(t) = e
t
,
en el intervalo (0, 2) y f(t + 2) = f(t).
Solucin:
Por denicin, de la ecuacin (2.36) la serie de Fourier compleja de una funcin f(t)
est dada por,
f(t) =

c
n
e
inw
0
t
,
donde w
0
=
2
T
, c
n
=
1
T
_ T
2

T
2
f(t)e
inw
0
t
dt y T es el periodo de la funcin, que en este
caso T = 2, de donde w
0
= 1. De esta forma, los coecientes de Fourier c
n
estn dados
por,
c
n
=
1
2
_ 2
2

2
2
f(t)e
inw
0
t
dt =
1
2
_

e
t
e
int
dt.
En forma anloga al problema anterior, podemos integrar en cualquier intervalo de
longitud igual al periodo, es decir, podemos calcular a los coecientes c
n
de la forma,
c
n
=
1
2
_
2
0
e
(1in)t
dt
=
1
2
1
1 in
e
(1in)t

2
0
=
1
2
1
1 in
_
e
(1in)2
1

en la ecuacin anterior obsrvese que,


e
(1in)2
= e
2
e
i2n
= e
2
[cos(2n) sen(2n)] = e
2
,
de esta forma, los coecientes de Fourier estn dados por,
c
n
=
e
2
1
2(1 in)
.
Por lo tanto, la serie de Fourier compleja de la funcin f(t) = e
t
, en el intervalo
(0, 2) est dada por,
f(t) =
e
2
1
2

1
1 in
e
inw
0
t
.
Para pasar a la forma trigonomtrica empleamos la siguientes relaciones de los co-
ecientes de Fourier,
a
0
= 2c
0
,
a
n
= c
n
+ c
n
,
b
n
= i(c
n
c
n
),
92 2. Anlisis de Fourier
de la expresin que se obtuvo para los coecientes c
n
tenemos que,
c
0
=
e
2
1
2
,
de donde,
a
0
=
e
2
1

,
asimismo para los coecientes a
n
y b
n
obtenemos,
a
n
=
e
2
1
2
_
1
1 in
+
1
1 + in
_
=
e
2
1
2
_
1 +in + 1 in
1 + n
2
_
=
e
2
1
2
_
2
1 +n
2
_
=
e
2
1

_
1
1 +n
2
_
,
y
b
n
= i
e
2
1
2
_
1
1 in

1
1 +in
_
= i
e
2
1
2
_
1 + in 1 + in
1 + n
2
_
= i
e
2
1
2
_
2in
1 + n
2
_
=
1 e
2

_
n
1 + n
2
_
.
Sustituyendo las expresiones anteriores de los coecientes en la serie de Fourier
trigonomtrica, obtenemos
f(t) = a
0
+

n=1
[a
n
cos (nw
0
t) + b
n
sen(nw
0
t)]
=
e
2
1

n=1
_
e
2
1

_
1
1 + n
2
_
cos (nw
0
t) +
1 e
2

_
n
1 +n
2
_
sen(nw
0
t)
_
=
e
2
1

_
1 +

n=1
1
1 +n
2
(cosnt nsennt)
_
Ejemplo:
2.6. Serie de Fourier Compleja y Espectros de Frecuencia 93
Encontrar y gracar los espectros de frecuencia para la funcin peridica f(t) que
se muestra en la siguiente gura. De la gura, la funcin f(t) se puede denir por la
forma:
f(t) =
_
_
_
0 para
T
2
t <
d
2
A para
d
2
t <
d
2
0 para
d
2
t <
T
2
.
Solucin:
Para gracar los espectros de frecuencia (espectro de amplitud, -[c
n
[ vs nw
0
- y el
espectro de fase -
n
vs nw
0
-) debemos calcular los coecientes de la serie de Fourier
compleja. De la denicin de la funcin dada y de la ecuacin (2.37), el coeciente de
Fourier c
n
est dado por:
c
n
=
1
T
_ d
2

d
2
Ae
inw
0
t
dt,
por lo tanto,
c
n
=
A
T
_ d
2

d
2
e
inw
0
t
dt =
A
T
_

1
inw
0
e
inw
0
t

d
2

d
2
_
=
2A
T
1
inw
0
_
e
inw
d
/2
e
inw
d
/2
2
_
=
2A
T
1
nw
0
_
e
inw
d
/2
e
inw
d
/2
2i
_
=
Ad
T
_
sen
_
nw
0
d
2
_
_
nw
0
d
2
_
_
,
tambin, como
nw
0
d
2
=
n
(
2
T
)
d
2
=
nd
T
, la expresin anterior se puede escribir de la forma:
c
n
=
Ad
T
_
sen
_
nd
T
_
_
nd
T
_
_
,
en este caso, ntese que c
n
es real, por consiguiente el espectro de fase es cero. El espec-
tro de Amplitud se obtiene al gracar una de las ecuaciones anteriores vs la frecuencia
discreta nw
0
, es decir el espectro de frecuencias es una funcin discreta y existe sla-
mente cuando,
w = 0,
2
T
,
4
T
, . . . ,
tomando algunos valores especcos para d y T, por ejemplo, si d =
1
20
y T =
1
4
,
entonces w
0
=
2
T
=
2
1
4
= 8. Por lo tanto el espectro de amplitud existe cuando
w = 0, 8, 16, . . . , adems como
d
T
=
1/20
1/4
=
1
5
, entonces
nd
T
= n
1
5
= m, para
m = 0, 1, 2, 3, . . . , es decir, el espectro de amplitud se hace cero en el valor de nw
0
para el cual,
nw
0
d
2
= m,
94 2. Anlisis de Fourier
o tambin,
n
d
T
= m,
para m = 0, 1, 2, 3, . . . , es decir cuando w = 5w
0
= 40, 10w
0
= 80, 15w
0
=
120, . . . , como lo muestra la siguiente gura.
Asimismo, si tomamos por ejemplo, d =
1
20
y T =
1
2
de segundo, entonces w
0
= 4
y
d
T
=
1
10
, por consiguiente el espectro de amplitud existe cuando w = 0, 4, 8, . . . ,
y se hace cero en el valor de nw
0
para el cual nw
0
d
2
= m o
nd
T
= n
_
1
10
_
= m
(m = 0, 1, 2, 3, . . . ,) es decir cuando w = 10w
0
= 40, 20w
0
= 80, 30w
0
=
120, . . ., etc.
Ejemplo:
Encontrar los espectros de frecuencia de la funcin peridica que se muestra en la
siguiente gura.
Figura 2.10: Grca de la funcin del ejemplo anterior (lnea continua) y su serie de
Fourier para n = 3 n = 10 y n = 5, (lneas punteadas).
Obsrvese la similitud de esta funcin con la funcin del ejemplo anterior, esta gr-
ca se encuentra desplazada una distancia d/2. Procediendo de la misma forma que en
el ejemplo anterior, de la ecuacin (2.37), el coeciente de Fourier c
n
est dado ahora
por:
c
n
=
1
T
_
d
0
Ae
inw
0
t
dt,
por lo tanto,
c
n
=
A
T
_
d
0
e
inw
0
t
dt
=
A
T
_
1
inw
0
_
e
inw
0
t

d
0
=
A
T
_
1
inw
0
_
_
e
inw
0
d
1
_
=
A
T
_
1
inw
0
_
_
1 e
inw
0
d
_
,
manipulando algebricamente la ecuacin anterior, obtenemos
c
n
=
A
T
_
1
inw
0
_
_
1 e
inw
0
d/2
_ _
e
inw
0
d/2
e
inw
0
d/2
_
2.6. Serie de Fourier Compleja y Espectros de Frecuencia 95
=
A
T
_
1
inw
0
/d
__
e
inw
0
d/2
e
inw
0
d/2
2i
_
e
inw
0
d/2
=
Ad
T
_
sen
_
nd
T
_
_
nd
T
_
_
e
inw
0
d/2
.
La expresin anterior se puede escribir de la forma:
c
n
= [c
n
[e
i
n
,
donde:
[c
n
[ =
Ad
T
_
sen
_
nd
T
_
_
nd
T
_
_
,
y

n
=
nw
0
d
2
.
Por lo tanto, el espectro de amplitud es exactamente el mismo que el ejemplo ante-
rior y no se ve afectado por el cambio de origen, pero el espectro de fase es ahora igual
a
nw
0
d
d
= n
d
T
radianes.
En general, si f(t) es una funcin peridica con periodo T, y su serie de Fourier est
dada por:
f(t) =

c
n
e
inw
0
t
,
de la ecuacin anterior, obtenemos
f(t ) =

c
n
e
inw
0
(t)
=

c
n
e
inw
0
t
e
inw
0

C
n
e
inw
0
t
,
donde C
n
= c
n
e
inw
0

. Asimismo, del ejemplo anterior el coeciente c


n
estaba dado por
c
n
= [c
n
[e
i
n
, por lo tanto
C
n
= [c
n
[e
i
n
e
inw
0

= [c
n
[e
i(
n
nw
0
)
.
La ecuacin anterior indica que los espectros de amplitud de f(t) y f(t ) son
iguales; sin embargo, las fases son diferentes. El desplazamiento de una funcin f(t)
en un tiempo produce un atraso de nw
0
radianes en la componente de la frecuencia
nw
0
.
96 2. Anlisis de Fourier
2.7. Integrales de Fourier y Espectros Continuos
Sea f(t) una funcin peridica de periodo T, cuando T se aproxima al innito f(t)
se convierte en una funcin no peridica. Para ilustrar lo anterior, consideremos un
tren de pulsos rectangulares dados por la funcin,
f
T
(t) =
_
_
_
0 para
T
2
t <
d
2
1 para
d
2
t <
d
2
0 para
d
2
t <
T
2
.
donde f
T
(t +T) = f(t) y T > d, donde d es la duracin del pulso. Como se muestra en
la siguiente gura. En este caso, si
T
d
= 2 o T = 2d obtenemos la funcin que se muestra
en la gura (a), asimismo si tomamos ahora
T
d
= 4 o T = 4d, obtenemos la funcin que
se muestra en la gura (b). De esta forma, siguiendo el mismo procedimiento, para
Figura 2.11: Proceso de Lmite para una funcin peridica.
T , obtenemos la funcin denida por (ver gura (c)):
f(t) = lm
T
f
T
(t) =
_
1 para
d
2
t <
d
2
0 en otro caso,
que evidentemente, f(t) no es una funcin peridica.
2.7. Integrales de Fourier y Espectros Continuos 97
Consideremos la forma compleja de la serie de Fourier dada por,
f(t) =

c
n
e
inw
0
t
,
donde w
0
=
2
T
y los coecientes c
n
estn dados por,
c
n
=
1
T
_ T
2

T
2
f(t)e
inw
0
t
dt,
Para identicar mejor el Anlisis de Fourier en problemas relacionados con la Inge-
niera, hacemos el cambio j por i de tal forma que,
f(t) =

c
n
e
jnw
0
t
, (2.38)
y
c
n
=
1
T
_ T
2

T
2
f(t)e
jnw
0
t
dt. (2.39)
Sustituyendo la ecuacin (2.39) en la ecuacin (2.38), obtenemos
f(t) =

_
1
T
_ T
2

T
2
f(x)e
jnw
0
x
dx
_
e
jnw
0
t
, (2.40)
donde cambiamos a la variable x para no confundir con t, adems como w
0
=
2
T
,
entonces
1
T
=
w
0
2
, de este modo, la expresin anterior se puede escribir de la forma,
f(t) =

_
1
2
_ T
2

T
2
f(x)e
jnw
0
x
dx
_
w
0
e
jnw
0
t
. (2.41)
Si consideramos que T , y como w
0
=
2
T
entonces w
0
se anula. Sea w
0
= w,
entonces la frecuencia de cualquier armnica nw
0
debe corresponder a la variable gener-
al de frecuencia que describe el espectro continuo, es decir; n se tiene a medida
que w
0
= w 0 tal que el producto es nito, es decir; nw
0
= nw w. Por lo
tanto la expresin anterior se puede escribir como,
f(t) =

_
1
2
_ T
2

T
2
f(x)e
jnwx
dx
_
e
jnwt
w,
as en el lmite T , se tiene w dw, y la sumatoria se convierte en una inte-
gral sobre w, es decir, la funcin no peridica se convierte en,
98 2. Anlisis de Fourier
f(t) =
1
2
_

__

f(x)e
jwx
dx
_
e
jwt
dw,
si regresamos al cambio de variable hecho anteriormente (x = t), y hacemos la sigu-
iente denicin, F(w)
_

f(t)e
jwt
dt, la expresin anterior se convierte en,
f(t) =
1
2
_

F(w)e
jwt
dw.
Ahora estamos en condiciones de denir la Transformada de Fourier de una funcin
f(t).
2.7. Integrales de Fourier y Espectros Continuos 99
2.7.1. Transformada de Fourier
La funcin denida anteriormente representada por F(w), se conoce como la Inte-
gral Fourier o Transformada de Fourier de la funcin f(t) y la operacin se simboliza
frecuentemente por el operador T, es decir
F(w) = T[f(t)] =
_

f(t)e
jwt
dt. (2.42)
Anlogamente, T
1
, simboliza la operacin inversa, es decir; obtener f(t) cuando
F(w) es dada, por lo tanto la Transformada de Fourier inversa de F(w) est dada por,
f(t) = T
1
[F(w)] =
1
2
_

F(w)e
jwt
dw. (2.43)
Las ecuaciones (2.63) y (2.64), se conocen como par de Transformadas de Fourier.
La condicin para que exista la transformada de Fourier de una funcin est dada por,
_

[f(t)[dt < . (2.44)


La expresin anterior es una condicin suciente ms no necesaria para la exis-
tencia de T[f(t)], es decir, puede haber funciones que no satisfagan la ecuacin (2.65)
pero que s tengan Transformada de Fourier, como veremos posteriormente en algunos
ejemplos.
En general, la Transformada de Fourier es una cantidad compleja, es decir de la
forma,
F(w) = R(w) + j(w) = [F(w)[e
j(w)
. (2.45)
Donde [F(w)[ se denomina espectro de Amplitud de f(t) y (w), espectro de fase
de f(t), y estn dados por:
[F(w)[ =
_
R
2
(w) +
2
(w)
(w) = tan
1
_
(w)
R(w)
_
.
Nota: El espectro de Amplitud de f es la grca de la magnitud F(w) de su trans-
formada de Fourier contra la frecuencia w, este espectro de amplitud no es el conjunto
discreto de lneas que se tenia asociado con la representacin de la serie de Fourier de
una funcin peridica, sino ms bien una curva continua cuya amplitud en cualquier
frecuencia w mide la contribucin de esa frecuencia a la funcin. As como la serie de
Fourier descompone una funcin peridica en su conjunto discreto de contribuciones
de varias frecuencias (mltiplos de una frecuencia fundamental), la Transformada de
100 2. Anlisis de Fourier
Fourier proporciona una resolucin en frecuencias continuas de una funcin (posible-
mente no peridica). Asimismo, como la ecuacin (2.64) representa a la funcin f(t)
como una suma continua de funciones exponenciales cuyas frecuencias se encuentran
en el intervalo (, ), la amplitud relativa de las componentes en cualquier frecuen-
cia w es proporcional a F(w), y si la seal f(t) representa a una tensin , F(w) tiene las
dimensiones de tensin por tiempo. Como la frecuencia tiene las dimensiones del in-
verso del tiempo, entonces se puede considerar a F(w) como un espectro de densidad
de tensin o, en forma ms general, como la funcin de densidad espectral de f(t).
Algunas de las reas de aplicacin de la Transformada de Fourier son:
1. Sistemas Lineales: La Transformada de Fourier (TF), de la salida de un sistema
lineal est dada por el producto de la funcin de Tansferencia y la Transformada
de Fourier de la seal de entrada.
2. Antenas: El patrn del campo de una antena est dado por la TF de la corriente
de iluminacin de una antena.
3. Procesos Aleatorios: El espectro de densidad de Potencia de un proceso aleatorio
est dado por la TF de la funcin de autocorrelacin del proceso.
4. Probabilidad: La funcin caracterstica de una variable aleatoria est denida co-
mo la TF de la funcin de densidad de probabilidad de la variable aleatoria.
5. Fsica Cuntica: El Principio de Incertidumbre en Mecnica Cuntica est fun-
damentalmente asociado con la TF. El momento y su posicin de una partcula
estn relacionados a travs de una Transformada de Fourier.
6. Problemas con valores a la frontera: La solucin de una Ecuacin Diferencial
Parcial, se puede obtener mediante una Transformada de Fourier.
Tambin, si consideramos que f(t) es real, de la denicin de la Transformada de
Fourier, dada por la ecuacin (2.63), y usando la identidad, e
jwt
= cos(wt) jsen(wt),
obtenemos
F(w) = T[f(t)] =
_

f(t)e
jwt
dt
=
_

f(t)[cos(wt) jsen(wt)]dt
=
_

f(t)cos(wt)dt j
_

f(t)sen(wt)dt
2.7. Integrales de Fourier y Espectros Continuos 101
y comparando con la ecuacin (2.66), la parte real y la parte imaginaria de la Transfor-
mada de Fourier estn dadas por:
R(w) =
_

f(t)cos(wt)dt
(w) =
_

f(t)sen(wt)dt.
De las ecuaciones anteriores, obsrvese que la parte real y la parte imaginaria de la
Transformada de Fourier se satisfacen las siguientes propiedades:
R(w) = R(w)
(w) = (w)
F(w) = F

(w).
donde F

(w) es el complejo conjugado de F(w).


Los siguientes ejemplos ilustran el clculo de la Transformada de Fourier de algu-
nas funciones.
102 2. Anlisis de Fourier
Ejemplo 1:
Dada la funcin,
f(t) =
_
e
t
para t > 0
0 para t < 0,
encontrar la Transformada de Fourier de f(t), donde y son constantes positivas.
Figura 2.12: Funcin exponencial, = 1 y = 2.
Solucin:
Por denicin, la transformada de Fourier de f(t) est dada por,
T[f(t)] =
_

f(t)e
jwt
dt.
sustituyendo el valor de la funcin dada, obtenemos
T[f(t)] =
_
0

f(t)e
jwt
dt +
_

0
f(t)e
jwt
dt
=
_

0
e
t
e
jwt
dt
=
_

0
e
(+jw)t
dt
=
_

1
+jw
_
e
(+jw)t

0
=

+jw
.
Para identicar la parte real e imaginaria de esta transformada, multiplicamos y
dividimos por el complejo conjugado de + jw, de tal forma que obtenemos,
F(w) = T[f(t)] =
( jw)
( + jw)( jw)
=

2
+ w
2
j
w

2
+w
2
,
2.7. Integrales de Fourier y Espectros Continuos 103
por lo tanto,
R(w) =

2
+w
2
(w) =
w

2
+ w
2
,
asimismo, los espectros de Amplitud y de fase, [F(w)[ y (w) de la funcin f(t) estn
dados por:
Figura 2.13: Transformada de Fourier de la funcin exponencial, = 1 y = 2.
[F(w)[ =

2
+ w
2
(w) = tan
1
_

_
.
Ejemplo 2:
Dada la funcin,
f(t) =
_
_
_
0 para t < a
k para a t < a
0 para t > a.
donde a y k son nmeros positivos, encontrar la Transformada de Fourier de f(t). Co-
mo se muestra en la gura, esta funcin se puede representar como la diferencia de dos
funciones de Heaviside H(t), que analizaremos posteriormente en la secin de trans-
formadas de Fourier de funciones generalizadas (funciones simblicas).
Solucin:
104 2. Anlisis de Fourier
Figura 2.14: Funcin pulso rectangular.
En forma anloga al problema anterior, sustituyendo el valor de la funcin dada en
la denicin para la transformada de Fourier obtenemos,
T[f(t)] =
_
a

f(t)e
jwt
dt +
_
a
a
f(t)e
jwt
dt +
_

a
f(t)e
jwt
dt
= k
_
a
a
e
jwt
dt = k
1
jw
e
jwt

a
a
=
k
jw
_
e
jwa
e
jwa

=
2k
w
_
e
jwa
e
jwa
2j
_
.
nalmente, obtenemos
T[f(t)] = 2ka
_
sin(wa)
wa
_
Figura 2.15: Transformada de Fourier de un pulso rectangular.
2.7. Integrales de Fourier y Espectros Continuos 105
Ejemplo 3:
Determinar la Transformada de Fourier del pulso triangular denido por la fun-
cin,
f(t) =
_
1
|t|

para [t[ <


0 para [t[ > ,
Figura 2.16: Pulso triangular.
Aplicando la denicin de la transformada de Fourier obtenemos,
T[1
[t[

] =
_

_
1
[t[

_
e
jwt
dt =
_

_
1
[t[

_
e
jwt
dt
aplicando la denicin del valor absoluto, resutan 4 integrales de la forma,
T[1
[t[

] =
_
0

_
1 +
t

_
e
jwt
dt +
_

0
_
1
t

_
e
jwt
dt
=
_
0

e
jwt
dt +
1

_
0

te
jwt
dt +
_

0
e
jwt
dt
1

_

0
te
jwt
dt
integrando por partes la segunda y cuarta integral, haciendo el cambio de variable
t = u y dv = e
jwt
dt, obtenemos
T
_
1
[t[

_
=
i
jw
e
jwt

+
1

_
1
w
2
e
jwt

t
jw
e
jwt

_
=
1
jw
e
jwt

_
1
w
2
e
jwt

t
jw
e
jwt

0
_
evaluando las integrales,
T
_
1
[t[

_
=
1
jw
_
1 e
jw
_
+
1

_
1
w
2
_
1 e
jw
_


jw
e
jw
_
106 2. Anlisis de Fourier
=
1
jw
_
e
jw
1
_

_
1
w
2
_
e
jw
1
_


jw
e
jw
_
=
2
w
2
+
1
w
2
e
jw

1
w
2
e
jw
=
1
w
2
_
2 +e
jw
e
jw

,
por otro lado, tenemos que
sin
2
_
w
2
_
= sin
_
w
2
_
sin
_
w
2
_
=
_
e
jw
e
jw
2j
__
e
jw
e
jw
2j
_
=
1
4
_
2 + e
jw
e
jw

nalmente, la Transformada de Fourier de un pulso triangular est dada por (ver gu-
ra),
Figura 2.17: Transformada de Fourier de un pulso triangular.
T[1
[t[

] =
sin
2
_
w
2
_
_
w
2
_
2
=
_
Sa
_
w
2
__
2
donde la funcin Sa
_
w
2
_
es la funcin de muestreo. Obsrvese la analoga con el prob-
lema anterior, donde la Transformada de Fourier de un pulso rectangular est dada
por la funcin de muestreo.
2.7. Integrales de Fourier y Espectros Continuos 107
Ejemplo 4:
Encontrar la Transformada de Fourier y dibujar el espectro de frecuencias de la
funcin,
f(t) =
_
_
_
1 para 0 t < 1
1 para 1 t < 0
0 para [t[ > 1.
Solucin:
Aplicando la denicin de la Transformada de Fourier, y la denicin de la funcin
dada, obtenemos
T[f(t)] =
_

f(t)e
jwt
dt
=
_
0
1
e
jwt
dt +
_
1
0
e
jwt
dt
=
1
jw
e
jwt

1
0
+
1
jw
e
jwt

0
1
=
1
jw
_
e
jw
1
_
+
1
jw
_
1 e
jw
_
=
1
jw
_
2 e
jw
e
jw
_
=
1
jw
_
2 2
_
e
jw
+ e
jw
2
__
nalmente, obtenemos
T[f(t)] =
2
jw
[1 cosw]
y su espectro de frecuencias est dado por:
[F(w)[ =

_
2
w
_
2
(1 cosw)
2
=
2
w
(1 cosw)
108 2. Anlisis de Fourier
Ejemplo 5:
Determinar la transformada de Fourier de la funcin que se muestra en la siguiente
gura,
Solucin:
Aplicando la denicin de la transformada de Fourier obtenemos,
T [f(t)] =
_
0
T
A
T
e
jwt
dt+ =
_
T
0
_

A
T
_
e
jwt
dt
=
A
T
_

1
jw
_
e
jwt

0
T

A
T
_

1
jw
_
e
jwt

T
0
=
A
jwT
_
1 e
jwT

+
A
jwT
_
e
jwT
1

=
A
jwT
_
e
jwT
+ e
jwT
2

,
por otro lado, tenemos que
sin
2
_
wT
2
_
= sin
_
wT
2
_
sin
_
wT
2
_
=
_
e
jwT
e
jwT
2j
__
e
jwT
e
jwT
2j
_
=
1
4
_
e
jwT
+e
jwT
2

por lo tanto,
2.7. Integrales de Fourier y Espectros Continuos 109
4 sin
2
_
wT
2
_
= e
jwT
+ e
jwT
2,
nalmente, la Transformada de Fourier de un pulso (ver gura) est dado por,
T[f(t)] =
4A
jwT
sin
2
_
wT
2
_
tambin, como sin
2
_
wT
2
_
=
1
2
[1 cos(wT)] entonces,
T[f(t)] =
2A
jwT
[1 cos(wT)].
En el clculo de las transformadas de Fourier de ciertas funciones, algunas veces
el procedimiento de obtencin de las mismas se simplica mucho aplicando algunas
propiedades de la Transformada de Fourier que describimos a continuacin.
110 2. Anlisis de Fourier
2.8. Propiedades de la Transformada de Fourier
1. Propiedad de linealidad
Si F
1
(w) = T[f
1
(t)] y F
2
(w) = T[f
2
(t)] y a
1
y a
2
son nmeros reales, entonces
T [a
1
f
1
(t) + a
2
f
2
(t)] = a
1
F
1
(w) +a
2
F
2
(w), (2.46)
es decir;
T [a
1
f
1
(t) + a
2
f
2
(t)] =
_

[a
1
f
1
(t) + a
2
f
2
(t)] e
jwt
dt
= a
1
_

f
1
(t)e
jwt
dt + a
2
_

f
2
(t)e
jwt
dt
= a
1
F
1
(w) + a
2
F
2
(w).
2. Propiedad de escalamiento
Si es una constante real y F(w) = T[f(t)] entonces
T[f(t)] =
1
[[
F
_
w

_
, (2.47)
3. Propiedades de corrimiento o desplazamiento
a) Propiedad de desplazamiento en el tiempo Si F(w) = T[f(t)] entonces,
T[f(t t
0
)] = e
jwt
0
F(w). (2.48)
Esta propiedad se muestra inmediatamente si hacemos el cambio de variable
x = t t
0
de donde t = x + t
0
y dt = dx, sustituyendo en la denicin de la
Transformada de Fourier, obtenemos
T[f(t t
0
)] =
_

f(t t
0
)e
jw(t
0
+x)
dx
= e
jwt
0
_

f(x)e
jwx
dx
= e
jwt
0
F(w).
b) Propiedad de desplazamiento en la frecuencia Anlogamente, si w
0
es una
constante real y F(w) = T[f(t)], entonces
T[f(t)e
jw
0
t
] = F(w w
0
). (2.49)
que se demuestra, inmediatamente aplicando la denicin de la Transfor-
mada de Fourier, de la forma,
T[f(t)e
jw
0
t
] =
_

f(t)e
jw
0
t
e
jwt
dx
=
_

f(t)e
j(ww
0
)t
dt
= F(w w
0
).
2.8. Propiedades de la Transformada de Fourier 111
Ejemplo 1:
Si F(w) = T[f(t)], hallar la Transformada de Fourier de f(t)cos(w
0
t).
Solucin:
Sabemos que cos(w
0
t) =
1
2
(e
jw
0
t
+ e
jw
0
t
), entonces
T[f(t)cos(w
0
t)] = T
_
1
2
e
jw
0
t
+
1
2
e
jw
0
t
_
.
Si aplicamos las propiedades de linealidad y desplazamiento en la frecuencia de la
Transformada de Fourier dadas2 por las ecuaciones (2.65) y (2.68) obtenemos,
T[f(t)cos(w
0
t)] =
1
2
T
_
f(t)e
jw
0
t

+
1
2
T
_
f(t)e
jw
0
t

=
1
2
[F(w w
0
) + F(w + w
0
)].
Ejemplo 2:
Determinar la constante de valor complejo necesaria para que sea vlido el sigu-
iente par de Transformadas.
T[e
jt
f(t 1/2)] = e
jw/2
F(w )
Solucin:
Aplicando la denicin de la Transformada de Fourier, dada por la ecuacin (2.40)
tenemos que,
T[e
jt
f(t 1/2)] =
_

e
jtf(t1/2)
e
jwt
dt
=
_

f(t 1/2)e
j(w)t
dt.
Si hacemos el cambio de variable x = t 1/2, entonces t = x + 1/2, por lo tanto;
T[e
jt
f(t 1/2)] =
_

f(x)e
j(w)(x+1/2)
dx
=
_

e
j(w)/2
f(x)e
j(w)x
dx
= e
j(w)/2
_

f(x)e
j(w)x
dx.
Aplicando la propiedad de desplazamiento en la frecuencia dada por la ecuacin
(2.68) obtenemos,
T[e
jt
f(t 1/2)] = e
jw/2
e
j/2
F(w ),
nalmente, comparando con el problema original del par de Transformadas obten-
emos,
= e
j/2
= cos(/2) + jsen(/2)
112 2. Anlisis de Fourier
es decir,
= j
Ejemplo 3:
Para ilustrar la propiedad de linealidad, consideremos las siguientes funciones,
f
1
(t) = k y f
2
(t) = Acos(w
0
t) y calculemos su respectiva transformada de Fourier:
Solucin:
Aplicando la denicin de la Transformada de Fourier, dada por la ecuacin (2.40),
para la funcin f
1
(t) obtenemos,
F
1
(w) = T[f
1
(t)] =
_

ke
jwt
dt = k
_

e
jwt
dt
= k
_

cos(wt)dt jk
_

sen(wt)dt
= k
_

cos(wt)dt
= k(w).
En forma anloga para la Transformada de Fourier de f
2
(t) obtenemos,
F
2
(w) = T[f
2
(t)] =
_

Acos(w
0
t)e
jwt
dt
=
A
2
_

_
e
jw
0
t
+ e
jw
0
t
_
e
jwt
dt
=
A
2
_

e
j(ww
0
)t
dt +
A
2
_

e
j(w+w
0
)t
dt
=
A
2
(w w
0
) +
A
2
(w + w
0
).
En los clculos anteriores aplicamos la expresin para la funcin denida por
(w) =
_

cos(wt)dt =
_

e
jwt
dt,
que demostraremos posteriormente cuando analizemos la Transformada de Fourier de
algunas funciones especiales, como la funcin Delta por ejemplo. En resumen, el par
de transformadas, de las funciones f
1
(t) y f
2
(t) se representan de la forma,
f
1
(t) = k F
1
(w) = k(w)
f
2
(t) = Acos(w
0
t) F
2
(w) =
A
2
(w w
0
) +
A
2
(w +w
0
).
De esta forma, aplicando la propiedad de linealidad dada por la ecuacin (2.65)
obtenemos,
f
1
(t) + f
2
(t) = k + Acos(w
0
t) F
1
(w) +F
2
(w) = k(w) +(w w
0
) +
A
2
(w + w
0
).
2.8. Propiedades de la Transformada de Fourier 113
-3 -2 -1 0 1 2 3
0
0.5
1
1.5
2
2.5
3
Figura 2.18: Funciones f
1
(t) y f
2
(t)
En la siguiente gura se ilustran las grcas de las funciones f
1
(t) y f
2
(t), as como
sus espectros de amplitud.
Ejemplo 4:
La propiedad de escalamiento, indica que una expansin en la escala del tiempo
corresponde a una comprensin en el dominio de la frecuencia, como se muestra en la
siguiente gura para una funcin pulso rectangular y su transformada de fourier, que
fue calculada en un ejemplo anterior.
Figura 2.19: Propiedad de Escalamiento.
Ejemplo 5:
Hallar la Transformada de Fourier de la funcin coseno de duracin nita igual a d
dada por la funcin f(t) = f
d
(t) cos(w
0
t), donde f
d
est dada por,
f(t) =
_
1 para [t[ <
d
2
0 para [t[ >
d
2
.
Solucin:
En este problema podemos usar el resultado anterior dada por la expresin,
T[f(t)cos(w
0
t)] =
1
2
[F(w w
0
) + F(w +w
0
)],
114 2. Anlisis de Fourier
si conocemos la transformada de Fourier de f(t), que es una consecuencia de la propiedad
de desplazamiento en la frecuencia, por lo tanto debemos de calcular primeramente la
Transformada de Fourier de f
d
(t), de esta forma, aplicando la denicin de la Trans-
formada de Fourier dada por la ecuacin (2.40), obtenemos
T[f
d
(t)] =
_

f
d
(t)e
jwt
dt
y aplicando la denicin de la funcin f
d
(t), obtenemos
T[f
d
(t)] =
_ d
2

d
2
e
jwt
dt
=
1
jw
e
jwt

d
2

d
2
=
1
jw
_
e
j
wd
2
e
j
wd
2
_
=
2
w
_
e
j
wd
2
e
j
wd
2
2j
_
nalmente, obtenemos
T[f
d
(t)] =
2
w
sen
_
wd
2
_
de esta forma, aplicando la propiedad de desplazamiento en la frecuencia obtenemos,
T[f
d
(t) cos(w
0
t)] =
1
w w
0
_
sen
1
2
(w w
0
)d
_
+
1
w + w
0
_
sen
1
2
(w + w
0
)d
_
La siguiente gura muestra las grcas de la funcin coseno de duracin nita y su
repectivo espectro de amplitud (funcin de densidad espectral).
2.9. Concepto y denicin intuitiva de funciones generalizadas 115
2.9. Concepto y denicin intuitiva de funciones gener-
alizadas
2.9.1. Funcin delta de Dirac
La funcin delta de Dirac es una funcin simblica, denida por la relacin:
(t) =
_
si t = 0
0 si t ,= 0.
La grca de la funcin x(t) = (t) se muestra en la siguiente gura. La funcin delta
de Dirac en funcin de una integral se puede expresar de la siguiente forma:
_

(t)dt = 1.
Figura 2.20: Funcin delta de Dirac
As tambin, las funciones (tt
i
) y (t+t
i
) representan una funcin (t) recorrida a
la derecha y la izquierda una cantidad t
i
respectivamente, como se muesra en la gura.
Se dice que la funcin delta de Dirac es una funcin simblica por que slo puede ser
denida en funcin de sus propiedades integrales, por ejemplo, si x(t) es una funcin
continua, que es cero fuera de algn intervalo nita, entonces la funcin se dene
como una funcin simblica por la relacin:
_

(t)(t)dt = (0),
y adems cumple las siguientes propiedades:
116 2. Anlisis de Fourier
1. Sea (t) una funcin de prueba,
_

(t t
0
)(t)dt =
_

(t)(t + t
0
)dt = (t
0
).
2.
_

(at)(t)dt =
1
[a[
_

(t)
_
t
a
_
dt =
1
[a[
(0).
(at) =
1
[a[
(t).
3. Si g(t) es una funcin continua en t = t
0
, entonces
_
b
a
(t t
0
)g(t)dt =
_
g(t
0
) para a < t < b
0 para b < t < a.
4. Si a < b, entonces
_
b
a
(t t
0
)dt =
_
1 para a < t < b
0 para b < t < a.
5. Producto de una funcin por una funcin ordinaria
_

[(t)h(t)](t)dt =
_

(t)[h(t)(t)]dt,
si h(t) es continua en t = t
0
entonces,
(t
0
)h(t) = h(t
0
)(t
0
).
6. Propiedad de convolucin. La convolucin de dos funciones impulso (as llama-
da tambin a la funcin delta de Dirac), est dada por:
_

__

1
()
2
(t )d
_
(t)dt =
_

1
()
__

2
(t )(t)dt
_
d,
es decir,

1
(t t
1
)
2
(t t
2
) = [t (t
1
+ t
2
)] .
7.
_

cos(wt)dw =
_

e
jwt
dw = (t).
2.9. Concepto y denicin intuitiva de funciones generalizadas 117
2.9.2. Derivada de la funcin delta de Dirac
La derivada de la funcin de Dirac representada por

(t), est denida por la


siguiente relacin integral,
_

(t)(t)dt =
_

(t)

(t)dt =

(0),
donde,

(t) =
d(t)
dt
y

(0) =
d(t)
dt

t=0
,
es decir, la relacin integral en la ecuacin anterior, muestra que la derivada de la fun-
cin es una funcin generalizada que asigna el valor

(0) a la funcin de prueba


(t).
Para demostrar la ecuacin anterior, integremos por partes haciendo u = (t) y
dv =

(t)dt, de donde du =

(t)dt y dv = (t). Integrando obtenemos,


_

(t)(t)dt = (t)(t)[

(t)

(t)dt.
pero la funcin de prueba (t) se anula fuera de algn intervalo nito, es decir (t) = 0
en . Por lo tanto, la integral resulta de la forma,
_

(t)(t)dt =
_

(t)

(t)dt.
y apicando la denicin de la funcin delta
_
_

(t)(t)dt = 0
_
, obtenemos
_

(t)(t)dt =

(0).
En general, la derivada de una funcin generalizada f

(t) est denida por:


_

(t)(t)dt =
_

f(t)(t)dt.
Observacin: En general la derivada n-sima de la funcin , denida por

n
(t) =
d
n
(t)
dt
n
est dada por:
_

n
(t)(t)dt = (1)
n

n
(0),
donde,

n
(0) =
d
n
(t)
dt
n

t=0
.
118 2. Anlisis de Fourier
2.9.3. Funcin unitaria de Heaviside o funcin escaln unitaria
La funcin de Heaviside denotada comunmente por H(t) est denida por:
H(t) =
_
1 para t > 0
0 para t < 0.
(2.50)
Figura 2.21: Funcin de Heaviside.
La funcin no est denida en cero (ver gura anterior inciso a), as tambin, las
funciones H(t t
0
) y H(t +t
0
) representan una funcin H(t) recorrida a la derecha y la
izquierda una cantidad t
0
respectivamente, como se muesra en la guras (b) y (c). Al
igual que la funcin , la funcin unitaria de Heaviside es una funcin generalizada o
funcin simblica, ya que se dene tambin en trminos de de las propiedades de sus
integrales de la forma,
_

H(t)(t)dt =
_

0
(t)dt. (2.51)
Obsrvese que si aplicamos la derivada de una funcin generalizada a la funcin
de Heaviside obtenemos,
_

(t)(t)dt =
_

H(t)

(t)dt, (2.52)
y aplicando la denicin de la funcin de Heaviside,
_

(t)(t)dt =
_

0

(t)dt =
_

0
d(t)
dt
dt = [() (0)],
2.9. Concepto y denicin intuitiva de funciones generalizadas 119
pero como () = 0, ya que la funcin de prueba se anula en un intervalo nito,
entonces
_

(t)(t)dt = (0) =
_

(t)(t)dt,
es decir,
H

(t) = (t), (2.53)


la derivada de la funcin de Heaviside es igual a la funcin . En la gura se muestra
la grca de la funcin de Heaviside, tambin llamada funcin escaln unitario.
120 2. Anlisis de Fourier
2.9.4. Transformada de Fourier de funciones especiales
Calculemos la transformada de Fourier de la funcin delta de Dirac. Aplicando la
denicn de la TF,
T[(t)] =
_

(t)e
jwt
dt, (2.54)
aplicando la denicin simblica de la funcin delta de Dirac, obtenemos
F(w) = T[(t)] = e
jwt

t=0
= 1,
de donde la TF de la funcin impulso est dada por la unidad, como se ilustra en la
gura.
Figura 2.22: Grca repetida.
Obsrvese que la funcin delta tiene un espectro de amplitud uniforme en todo el
intervalo de frecuencias. Del resultado anterior, como T[(t)] = 1, obtenemos T
1
[1], y
usando la denicin de la transformada inversa de Fourier,
(t) =
1
2
_

e
jwt
dw, (2.55)
que es una propiedad muy usada de la funcin delta de Dirac. Tambin usando la
frmula de Euler; e
jwt
= cos wt+j sin wt, sta propiedad se puede expresar de la forma,
(t) =
1
2
__

cos(wt)dw + j
_

sin(wt)dw
_
,
nalmente, aplicando la paridad de las funciones seno y coseno obtenemos,
(t) =
1

_

0
cos(wt)dw, (2.56)
2.9. Concepto y denicin intuitiva de funciones generalizadas 121
de las ecuaciones (2.55) y (2.56), podemos resumir dichas propiedades en trminos ms
general, de la forma
(y) =
1
2
_

e
jxy
dx, (2.57)
y
(y) =
1

_

0
cos(xy)dx, (2.58)
que son propiedades muy usadas de la funcin delta de Dirac. Aplicando los resulta-
dos anteriores se puede deducir la frmula de inversin de la Transformada de Fourier.
Recordemos que la transformada inversa de Fourier est dada por:
f(t) = T
1
[F(w)] =
1
2
_

F(w)e
jwt
dw. (2.59)
donde,
F(w) = T[f(t)] =
_

f(t)e
jwt
dt (2.60)
sustituyendo la ecuacin (2.60) en la ecuacin (2.59) obtenemos,
f(t) =
1
2
_

__

f(t)e
jwt
dt
_
e
jwt
dw, (2.61)
intercambiando el orden de integracin y haciendo tambin x = t en F(w),
f(t) =
1
2
_

__

f(x)e
jwx
dx
_
e
jwt
dw
=
_

f(x)
_
1
2
_

e
j(tx)w
dw
_
dx
=
_

f(x)(t x)dx
= f(t).
donde hemos aplicado la ecuacin (2.57) de la delta de Dirac.
122 2. Anlisis de Fourier
Ejemplos:
1. Hallar la Transformada de Fourier de la funcin impulso (delta de Dirac) despla-
zada, (t t
0
).
Solucin:
Aplicando la denicin de la TF y propiedades de la funcin delta (ver ecua-
ciones en trminos de la funcin de prueba), obtenemos
T[(t t
0
)] =
_

(t t
0
)e
jwt
dt = e
jwt

t=t
0
,
es decir,
T[(t t
0
)] = e
jwt
0
de donde.
[F(w)[ = 1.
Figura 2.23: Funcin delta de Dirac dezplazada y su transformada de Fourier.
El resultado anterior indica que el espectro de frecuencias tiene un espectro de
amplitud uniforme en todo el intervalo de frecuencias, como se ilustra en la gu-
ra anterior.
2. Hallar la Transformada de Fourier de una funcin constante, f(t) = A.
Solucin:
Obsrvese que esta funcin no satisface la condicin de integrabilidad absoluta,
ver ecuacin (2.65). Aplicando la denicin de la TF tenemos,
T[A] = A
_

e
jwt
dt
2.9. Concepto y denicin intuitiva de funciones generalizadas 123
utilizando la ecuacin de la funcin delta, (ver ecuacin (2.57), haciendo x = t y
y = w) obtenemos inmediatamente,
T[A] = 2A(w),
asimismo, en la ecuacin anterior podemos hacer uso de la propiedad de la delta
(at) =
1
|a|
(t), haciendo a = 1 obtenemos (w) =
1
|1|
(w), de donde nal-
mente obtenemos,
F(w) = T[A] = 2A(w).
Figura 2.24: Funcin constante y su transformada de Fourier.
Obsrvese que si A = 1, entonces T[1] = 2(w). Este ejemplo muestra que cuan-
do una funcin f(t) es constante, contiene solamente una componente de fre-
cuencia w = 0, como era de esperarse ya que una seal constante de corriente
directa (w = 0), no contiene alguna otra componente de frecuencia. Obsrvese
tambin en este ejemplo que la transformada de Fourier de una funcin con-
stante A es la transformada de Fourier de una funcin pulso rectangular cuando
el periodo tiende a innito.
3. Hallar la Transformada de Fourier de las funciones f(t) = cos(w
0
t) y f(t) =
sin(w
0
t)
Solucin:
Para la funcin f(t) = cos(w
0
t) (ver gura)tenemos,
T[cos(w
0
t)] = T[
e
jw
0
t
+e
jw
0
t
2
]
=
1
2
_
T[e
jw
0
t
] +T[e
jw
0
t
]

124 2. Anlisis de Fourier


Figura 2.25: Funcin Coseno de duracin nita.
=
1
2
__

e
jw
0
t
e
jwt
dt +
_

e
jw
0
t
e
jwt
dt
_
=
1
2
__

e
j(ww
0
)t
dt +
_

e
j(w+w
0
tdt
_
obsrvese que se aplic la propiedad de linealidad de la transformada de Fourier.
Finalmente, aplicando la propiedad de la delta, ver ecuacin (2.57), obtenemos
T[cos(w
0
t)] = (w w
0
) + (w + w
0
),
la funcin f(t) = cos(w
0
t) y su transformada de Fourier se muestran en la gura.
Figura 2.26: Transformada de Fourier de la funcin Coseno de duracin nita.
De un procedimiento anlogo el lector puede mostrar que,
T[sin(w
0
t)] = j(w w
0
) + j(w + w
0
).
2.9. Concepto y denicin intuitiva de funciones generalizadas 125
4. a) Calcule la transformada de Fourier de la funcin Signo denida por:
Sgn(t) =
[t[
t
.
Sugerencia: Obsrvese que esta funcin no es absolutamente integrable.
b) Aplique el resultado obtenido en el inciso a) para encontrar la Transformada
de Fourier de la funcin de Heaviside.
c) Dibuje el espectro de frecuencia (funcin de densidad espectral) de la fun-
cin de Heaviside.
Solucin:
Figura 2.27: Funcin Signo.
a) Explcitamente la funcin Signo (ver gura), est dada por
Sng(t) =
[t[
t
=
_
_
_
1 para t > 0
0 para t = 0
1 para t < 0.
Como se observa, esta funcin no es absolutamente integrable, es decir; no
cumple
_

|f(t)|
2
dt < ,
de esta forma, se multiplica esta funcin por e
a|t|
para que sea absoluta-
mente integrable, y despus sea toma el limite cuando a 0.
T [Sng(t)] = T
_
lm
a0
e
a|t|
Sng(t)
_
126 2. Anlisis de Fourier
= lm
a0
__

e
a|t|
Sgn(t)e
jw
dt
_
= lm
a0
_

_
0

e
at
e
jw
dt +
_

0
e
at
e
jwt
dt
_
= lm
a0
_

_
0

e
(ajw)t
dt +
_

0
e
(a+jw)t
dt
_
.
Evaluando las integrales, que son inmediatas obtenemos,
T [Sng(t)] = lm
a0
_

1
a jw
e
(ajw)t

1
a + jw
e
(a+jw)t

0
_
= lm
a0
_

1
a jw
+
1
a + jw
_
,
por lo tanto,
T [Sng(t)] = lm
a0
_
2jw
a
2
+ w
2
_
=
_
2
jw
_
.
Figura 2.28: Funcin de Heaviside.
b) Por denicin, como se observa en la gura, la funcin de Heaviside est
dada por:
H() =
_
0 si t < 0
1 si t > 0
Obsrvese de las deniciones de la funcin Signo y de Heaviside (ver guras
anteriores) que:
Sgn(t) = 2H(t) 1
2.9. Concepto y denicin intuitiva de funciones generalizadas 127
de donde,
H(t) =
1
2
[1 + Sgn(t)]
por lo que aplicando la propiedad de linealidad de la Transformada de Fouri-
er, obtenemos
F(w) = T[H(t)] =
1
2
[T[1] +T[Sng(t)]]
=
1
2
_
2(w) +
2
jw
_
= (w) +
1
jw
.
c) La siguiente gura muestra el espectro de frecuencias (funcin de densidad
espectral) de la funcin de Heaviside.
Figura 2.29: Espectro de frecuencias de la funcin de Heaviside.
Nota: El lector puede consultar una deduccin alternativa de la transformada
de Fourier de la funcin de Heaviside en cualquier libro tradicional de mtodos
matemticos, en donde generalmente se usa de la derivada de una funcin gen-
eralizada, explcitamente que la derivada de la funcin de Heaviside es igual a la
funcin , ver la ecuacin (2.53).
128 2. Anlisis de Fourier
2.10. Convolucin y Correlacin
Convolucionar dos funciones es una forma de combinarlas, y frecuentemente, el
efecto es el de extender una funcin de la otra. Es un concepto que proviene del
alemn que se expresa por la palabra Faltung que signica plegar (o tambin
doblar).
Denicin:
Dadas dos funciones (t) y h(t), su convolucin g(t) se denota por (t) h(t) y se
dene por:
g(t) = (t) h(t) =
_

()h(t )d. (2.62)


Dadas las funciones (t) y h(t), para evaluar la integral de convolucin dada por
la ecuacin (2.69) son necesarias las funciones () y h(t ), donde () y h() son
simplemente las funciones (t) y h(t) donde se ha sustituido la variable por t, como
h() es la imagen de h() respecto al eje x, entonces h(t ) es la funcin h() de-
splazada en la cantidad t.
Ejemplo:
Si las funciones f
1
(t) y f
2
(t) estn denidas por,
f
1
(t) =
_
e
t
para t > 0
0 para t < 0,
f
2
(t) =
_
sin(t) para 0 t

2
0 en-otro-caso,
encontrar la Convoluvin de f
1
(t) y f
2
(t).
Solucin:
Por denicin, la convolucin de las funciones f
1
(t) y f
2
(t) est dada por,
f
1
(t) f
2
(t) = f
2
(t) f
1
(t) =
_

f
2
()f
1
(t )d
en este caso, de la denicin de f
1
(t) y f
2
(t) se tiene que,
f
1
(t) f
2
(t) =
_
t
0
sin()e
(t)
d, (2.63)
si 0 t

2
. O tambin,
f
1
(t) f
2
(t) =
_
2
0
sin()e
(t)
d, (2.64)
2.10. Convolucin y Correlacin 129
si t

2
. O tambin,
f
1
(t) f
2
(t) = 0, (2.65)
si t 0.
Si tiene duda del porque lo anterior, recuerde que los lmites inferiores y superiores
en la convolucin se toman generalmente siguiendo la regla :
Limite inferior = max [L
1,
L
2
] = mximo de los dos lmites inferiores y,
Limite superior = min [U
1
, U
2
] = mnimo de los dos lmites superiores.
Por lo tanto, de la ecuacin (2.63), integrando por partes haciendo los cambios de
variable u = sin(), de donde du = cos()d, y tambin, dv = e

d, de donde v = e

, la
integral anterior resulta,
f
1
(t) f
2
(t) = e
t
_
t
0
sin()e

d
= e
t
_
sin()e

[
t
0

_
t
0
e

cos()d
_
= e
t
_
sin(t)e
t

_
e

cos()[
t
0
+
_
t
0
sin()e

d
__
,
integrando nuevamente por partes haciendo los mismos cambios de variable (u =
sin(), de donde du = cos()d, y tambin, dv = e

d, de donde v = e

), despus
de hacer un poco de lgebra obtenemos,
f
1
(t) f
2
(t) = e
t
_
sin(t)e
t
cos(t)e
t
+ 1
2
_
=
1
2
_
sin(t) cos(t) + e
t

. (2.66)
En forma anloga de la ecuacin (2.64), obtenemos
f
1
(t) f
2
(t) =
_
2
0
sin()e
(t)
d
= e
t
_
2
0
sin()e

d,
asimismo, integrando por partes haciendo los cambios de variable u = sin(), de donde
du = cos()d, y tambin, dv = e

d, de donde v = e

, la integral anterior resulta,


_
2
0
sin()e

d = sin()e

2
0

_
2
0
cos()e

d
= sin()e

2
0

_
cos()e

2
0
+
_
2
0
sin()e

d
_
,
130 2. Anlisis de Fourier
por lo tanto,
_
2
0
sin()e

d =
1
2
_
e

[sin() cos()][

2
0
_
=
1
2
_
e

2
+ 1

en donde se integr nuevamente por parte haciendo los cambios u = sin() y dv =


e

d. De esta forma, obtenemos


f
1
(t) f
2
(t) = e
t
_
2
0
sin()e

d
=
e
t
2
_
e

2
+ 1

. (2.67)
Finalmente, de las ecuaciones (2.65), (2.66) y (2.67), la convolucin de las funciones
f
1
(t) y f
2
(t), est dada por:
f
1
(t) f
2
(t) =
_
_
_
e
t
2
_
e

2
+ 1

para t

2
1
2
[sin(t) cos(t) + e
t
] para 0 < t

2
0 para t 0.
Acontinuacin, daremos una explicacin geomtrica del signicado de la Convolu-
cin.
2.10. Convolucin y Correlacin 131
2.10.1. Interpretacin grca de la Convolucin
Supongamos que queremos hallar la convolucin de dos funciones dadas f
1
(t) y
f
2
(t). Las operaciones por efectuar se basan en la integral de convolucin:
f
1
(t) f
2
(t) =
_

f
1
()f
2
(t )d.
El proceso de convolucionar dos funciones, sigue los pasos que se enumeran a con-
tinuacin:
1. Reemplazar t por en f
1
(t), y como resultado se tiene f
1
().
2. Reemplazar t por en f
2
(t), esto hace girar a la funcin f
2
() alrededor del eje
vertical pasando por el origen del eje .
3. Transladar todo el sistema de referencia de f
2
() por medio de una cantidad t,
de este modo, la cantidad de translacin t es la diferencia entre el sistema de ref-
erencia mvil y el jo. El origen del sistema mvil est en = t; el origen del jo
est en = 0. La funcin en el sistema mvil est dada por f
2
(t ), asimismo,
la funcin en el sistema jo est dada por f
1
().
4. En cualquier desplazamiento relativo entre los ejes de referencia, por ejemplo t
0
,
se debe hallar el rea bajo el producto de las dos funciones, es decir, calcular la
integral
_

f
1
()f
2
(t
0
)d = [f
1
(t) f
2
(t)]
t=t
0
5. Este procedimiento se debe repetir para diferentes valores de t = t
0
, desplazan-
do en forma progresiva el sistema mvil y hallando los valores de la integral de
convolucin en estos valores de t. Para funciones continuas, esto se puede hacer
por integracin directa. Para funciones continuas por tramos, el producto ser
continuo por tramos y deber integrarse sobre cada seccin continua.
6. Si el desplazamiento del sistema mvil es a lo largo del eje negativo , es decir
hacia la izquierda, t es negativo. Si es sobre el eje positivo , es decir a la derecha,
t es positivo.
Los siguientes ejemplos ilustran la interpretacin grca de los pasos descritos
de la convolucin.
132 2. Anlisis de Fourier
Ejemplo 1:
Gracar y calcular todos los pasos del proceso de convolucionar las siguientes fun-
ciones:
x(t) =
_
t para 0 < t < 3
0 para t < 0&t > 3
h(t) =
_
1 para 1 < t < 1
0 para t < 1&t > 1
Primero enumeremos paso a paso las operaciones necesarias, descritas anterior-
mente:
1.- Se reemplaza la variable t por la variable en x(t) y h(t); asimismo se reeja la
funcin h(t), como se ilustra en la gura incisos, partes (a) y (b).
Figura 2.30: Espectro de frecuencias de la funcin de Heaviside.
2.- Transladamos todo el sistema de referencia de la funcin h() mediante una
cantidad t, como se ilustra en la gura parte (c). Obsrvese que la cantidad de translacin
t es la diferencia entre el sistema de refencia mvil y el jo, de tal forma que la funcin
transladada es de la forma:
h(t ) =
_
1 para 1 +t < < 1 + t
0 para < 1 +t& > 1 + t
obsrvese tambin que el origen del sistema mvil est en = t, mientras que el origen
del sistema jo est en t = 0.
3.- Finalmente, para cualquier desplazamiento relativo entre los ejes de referencia,
debe hallarse el rea bajo el producto de las dos funciones. Para esto tendremos que
dividir las regiones de integracin que depender principalmente del como se vaya
desplazando la funcin h(t ) para convolucionar con la funcin x(). Para nuestro
2.10. Convolucin y Correlacin 133
Figura 2.31: primera y ltima regin de convolucin.
ejemplo tenemos 5 regiones: < < 1, 1 < < 1, 1 < < 2, 2 < < 4 y
4 < < . Como se ilustra en las guras,la convolucin para la primera y quinta
region es cero. Por denicin, la convolucin de las funciones x(t) y h(t) est dada por
la integral,
x(t) h(t) =
_

x()h(t )d,
para la segunda regin, la convolucin estar dada por (ver la gura para entender
mejor los lmites de integracin):
Figura 2.32: Segunda y tercera regiones de convolucin.
x(t) h(t) =
_
t+1
0
d =

2
2

t+1
0
=
(t + 1)
2
2
.
134 2. Anlisis de Fourier
En forma anloga, para la tercera regin, la convolucin estar dada por:
x(t) h(t) =
_
t+1
t1
d =

2
2

t+1
t1
=
1
2
_
(t + 1)
2
(t 1)
2

= 2t
y nalmente, para la cuarta regin (ver gura),
x(t) h(t) =
_
3
t1
d =

2
2

3
t1
=
1
2
_
9 (t 1)
2

= 4 + t t
2
/2.
Figura 2.33: Cuarta regin de convolucin.
A continuacin presentamos los resultados para las cinco regiones:
y(t) = x(t) h(t) =
_

_
0 para < < 1,
(t+1)
2
2
para 1 < < 1,
2t para 1 < < 2,
4 + t t
2
/2 para 2 < < 4,
0 para 4 < < .
En la siguiente gura se ilustra la convolucin de las funciones juntando los resultados
en las distintas regiones.
Figura 2.34: Convolucin de las funciones x(t) y h(t).
2.10. Convolucin y Correlacin 135
Ejemplo 2:
En este problema mostramos la convolucin de dos pulsos unitarios denidos por,
x(t) =
_
1 para 0 < t < 1
0 para t < 0&t > 1
h(t) =
_
1 para 0 < t < 1
0 para t < 0&t > 1
este ejemplo nos sirve tambin para ilustrar la propiedad conmutativa de la convolu-
cin de dos funciones. En la gura se muestran las cuatro regiones de convolucin: la
primera y ltima regin cuando lo convolucin de los pulsos es cero (ver partes (a) y
(b) respectivamente), que corresponde a los intervalos < < 0 y 2 < < , antes
y despues de juntarse los pulsos.
Figura 2.35: Ilustracin grca de la Convolucin de dos pulsos unitarios.
Para la segunda regin, que corresponde al intervalo 0 < < 1 (ver gura (c), la
convolucin estar dada por:
x(t) h(t) =
_
t
0
d = t,
y nalmente, para la tercera regin que corresponde al intervalo 1 < < 2, (ver gura
(d)),
x(t) h(t) =
_
1
t1
d = 2 t.
136 2. Anlisis de Fourier
A continuacin presentamos los resultados para las cuatro regiones:
y(t) = x(t) h(t) =
_

_
0 para < < 0,
t para 0 < < 1,
2 t para 1 < < 2,
0 para 2 < < .
En la siguiente gura se ilustra la convolucin de las funciones juntando los resultados
en las distintas regiones.
Figura 2.36: funcin de convolucin de dos pulsos unitarios
2.10. Convolucin y Correlacin 137
Ejemplo 3:
Hallar la convolucin de las siguientes funciones,
x(t) = H(t) 2H(t 2) + H(t 5)
h(t) = e
2t
H(1 t).
Las funciones Hs, son las funciones de Heaviside repectivamente. Las funciones h(t)
y x(t) se muestran en la siguiente gura, en donde se ha cambiado la variable t por la
variable .
Figura 2.37: funciones x() y h().
Solucin:
Siguiendo paso a paso el proceso de convolucin, en la siguiente gura se mues-
tra la reexin de la funcin x() as como el desplazamiento de sta mediante una
cantidad t, para obtener la funcin x(t ).
Figura 2.38: funcin mvil x(t ).
De esta forma, para realizar la convolucin de las funciones h(t) y x(t), como en los
ejemplos anteriores, debemos de analizar las distintas regiones en los que el sistema
mvil (x(t )) se va desplazando sobre el sistema jo (h()), y debemos hallar el rea
bajo el producto de las dos funciones para cada regin.
138 2. Anlisis de Fourier
Figura 2.39: Primera regin de convolucin de las funciones h() y x(), intervalo t < 1.
Para la primera regin, en este caso para el intervalo t < 1, como se muestra en la
gura, tenemos:
h(t) x(t) =
_

h()x(t )d =
_
t2
t5
e
2
(1)d +
_
t
t2
e
2
(1)d
=
1
2
e
2

t2
t5
+
1
2
e
2

t
t2
=
1
2
_
e
2(t2)
e
2(t5)

+
1
2
_
e
2t
e
2(t2)

=
1
2
e
2t
_
1 + e
10
2e
4

.
Para la segunda regin, como se muestra en la gura, tenemos:
Figura 2.40: Segunda regin de convolucin de las funciones h() y x(), intervalo
1 t < 3.
h(t) x(t) =
_

h()x(t )d =
_
t2
t5
e
2
(1)d +
_
1
t2
e
2
(1)d
=
1
2
e
2

t2
t5
+
1
2
e
2

1
t2
=
1
2
_
e
2(t2)
e
2(t5)

+
1
2
_
e
2
e
2(t2)

=
1
2
e
2t
_
e
10
2e
4

+
1
2
e
2
.
2.10. Convolucin y Correlacin 139
De la misma forma, como se muestra en la gura para el intervalo 3 t < 6, la
convolucin en esta regin est dada por,
h(t) x(t) =
_

h()x(t )d =
_
1
t5
e
2
(1)d
=
1
2
e
2

1
t5
=
1
2
_
e
2
e
2(t5)

=
1
2
e
2(t5)

1
2
e
2
.
Figura 2.41: Tercera regin de convolucin de las funciones h() y x(), intervalo 3 <
t < 6.
Finalmente, para la regin que corresponde al intervalo t 6, como se observa en
la gura el producto de las dos funciones es cero, es decir,
h(t) x(t) =
_

h()x(t )d = 0
Figura 2.42: Cuarta regin de convolucin de las funciones h() y x(), intervalo 6
t < .
A continuacin presentamos los resultados para las cuatro regiones:
y(t) = h(t) x(t) =
_

_
1
2
e
2t
[1 + e
10
2e
4
] para t < 1,
1
2
e
2t
[e
10
2e
4
] +
1
2
e
2
para 1 t < 3,
1
2
e
2(t5)

1
2
e
2
para 3 t < 6,
0 para 6 t < .
140 2. Anlisis de Fourier
Obsrvese que en este problema se puede tomar como sistema mvil a la funcin
h(t ) y se desplaza sta sobre el sistema jo que sera la funcin x(), debido a
que la convolucin satisface la propiedad de conmutatividad. Lo anterior se deja como
ejercicio para el lector.
2.10. Convolucin y Correlacin 141
2.10.2. Teorema de la Convolucin
Una propiedad importante de la Transformada de Fourier es que reduce la inte-
gral de Convolucin a un producto algebraico. Matemticamente, esto se expresa en el
siguiente teorema de Convolucin:
Convolucin en el dominio del tiempo
Sean,
f
1
(t) f
2
(t) =
_

f
1
()
2
(t )d
y
T[f
1
(t)] = F
1
(w)
T[f
2
(t)] = F
2
(w),
entonces,
T[f
1
(t) f
2
(t)] = F
1
(w)F
2
(w).
Para demostrar este resultado, partimos de la denicin de la transformada de
Fourier, dada por la ecuacin (2.40), y la denicin de la convolucin de dos funciones,
dada por la ecuacin (2.69) es decir,
T[f
1
(t) f
2
(t)] =
_

__

f
1
()f
2
(t )d
_
e
jwt
dt.
Si cambiamos el orden de integracin, integrando primeramente la variable t, se
obtiene
T[f
1
(t) f
2
(t)] =
_

f
1
()
__

f
2
(t )e
jwt
dt
_
d.
En esta parte usamos la propiedad de desplazamiento en el tiempo dada por la
ecuacin (2.67), de tal forma que el trmino entre corchetes est dado por,
T[f
2
(t )] = e
jw
F
2
(w).
Finalmente integramos con respecto a la variable , y obtenemos
T[f
1
(t) f
2
(t)] =
_

f()F
2
(w)e
jw
d
= F
2
(w)
_

f()e
jw
d
= F
2
(w)F
1
(w).
La ecuacin anterior, indica que la convolucin en el dominio del tiempo, corre-
sponde a la multiplicacin en el dominio de la frecuencia. Los siguientes ejemplos ilus-
tran la aplicabilidad muy importante del presente teorema.
142 2. Anlisis de Fourier
Ejemplo 1
Aplique el teorema de convolucin para encontrar la Transformada Inversa de Fourier
(TIF) de la funcin,
G(w) =
sin(3w)
w(2 + jw)
Solucin:
Para encontrar la TIF, reescribimos la funcin de la siguiente manera,
G(w) =
sen(3w)
w(2 + jw)
=
_
sin(3w)
w
_ _
1
2 +jw
_
= F
1
(w)F
2
(w).
De esta forma podemos emplear los siguientes resultados de pares de Transfor-
madas de Fourier que el lector puede mostrar fcilmente aplicando la denicin de la
transformada de Fourier.
T
_
e
bt
H(t)

=
1
b + jw
, (2.68)
y
T [kH(t + a) kH(t a)] =
2k sin(aw)
w
, (2.69)
donde las funciones Hs, son las funciones de Heaviside que se muestran en la sigu-
iente gura.
Figura 2.43: Funciones de Heavside.
Por lo tanto, la TIF de la funcin G(w) est dada por,
g(t) = T
1
[G(w)] = T

__
sin(3w)
w
__
1
2 + jw
__
, (2.70)
2.10. Convolucin y Correlacin 143
de esta forma, aplicando las transformadas dadas por las ecuaciones (47) y (48) con
a = 3, b = 2 y k = 1, obtenemos
g(t) = T
1
_
1
2
T [H(t + 3) H(t 3)] T
_
e
2t
H(t)

_
. (2.71)
En esta parte aplicamos el teorema de Convolucin que establece que:
Si
T [f
1
(t)] = F
1
(w)
y
T [f
2
(t)] = F
2
(w)
entonces,
T
_
f
(
t) f
2
(t)

= F
1
(w)F
2
(w) (2.72)
as, de las ecuaciones (50) y (51) obtenemos
g(t) =
1
2
[H(t + 3) H(t 3)]
_
e
2t
H(t)

.
Ahora, aplicando la Convolucin de dos funciones f
1
y f
2
denida por:
f
1
(t) f
2
(t) =
_

f
1
()f
2
(t )d
obtenemos,
g(t) =
1
2
_

[H( + 3) H( 3)]
_
e
2(t)
H(t )

d
=
e
2t
2
__

H( + 3)H(t )e
2
d
_

H( 3)H(t )e
2
d
_
.
(2.73)
Para resolver las integrales anteriores, analicemos las funciones de Heaviside in-
volucradas en dichas integrales.
H( + 3) =
_
1 si > 3
0 si < 3
H( 3) =
_
1 si > 3
0 si < 3
H(t ) =
_
1 si t >
0 si t <
de donde,
H( + 3)H(t ) =
_
1 si 3 < < t
0 si < 3 & > t
144 2. Anlisis de Fourier
y
H( 3)H(t ) =
_
1 si 3 < < t
0 si < 3 & > t
Por lo tanto, las integrales de la ecuacin (52) resultan ser de la forma,
_

H( + 3)H(t )e
2
d =
_ _
t
3
e
2
si > 3
0 si < 3
=
_
t
3
e
2
dH(t + 3)
y
_

H( 3)H(t )e
2
d =
_ _
t
3
e
2
si > 3
0 si < 3
=
_
t
3
e
2
dH(t 3).
De esta forma, de la ecuacin (52) obtenemos,
g(t) =
e
2t
2
__
t
3
e
2
dH(t + 3)
_
t
3
e
2
dH(t 3)
_
=
e
2t
2
_
1
2
_
e
2

t
3
_
H(t + 3)
1
2
_
e
2

t
3
_
H(t 3)
_
=
e
2t
2
_
1
2
_
e
2t
e
6
_
H(t + 3)
1
2
_
e
2t
e
6
_
H(t 3)
_
Finalmente, la TIF de la funcin G(w) est dada por:
g(t) =
1
4
__
1 e
2(t+3)
_
H(t + 3)
_
1 e
2(t3)
_
H(t 3)

.
2.10. Convolucin y Correlacin 145
Ejemplo 2
Determinar la transformada de Fourier de la seal
g(t) = e
(t)
H(t) e
(2t)
H(t).
a) Efectuando primero la convolucin y transformando despus el resultado.
b) Tomando la transformada de cada trmino y multiplicando despus.
Solucin:
a) Por denicin, la convolucin de las funciones x(t) y h(t) est dada por,
x(t) h(t) =
_

x()h(t )d
en este caso;
g(t) = e
t
H(t) e
2t
H(t)
=
_

H()e
2(t)
H(t )d
=
_

e
2t
e
2
H()H(t )d
=
_

e
2t
e

H()H(t )d
= e
2t
_

H()H(t )d,
pero:
H() =
_
0 si < 0
1 si > 0
y
H(t ) =
_
0 si t <
1 si t >
por lo tanto,
H()H(t ) =
_
0 si t <
1 si 0 < < t
Por lo que,
e
2t
_

H()H(t )d =
_
e
2t
_
t
0
e

d si t > 0
0 si t < 0
e
2t
_

H()H(t )d =
_
e
2t
(e
t
1) si t > 0
0 si t < 0
es decir;
g(t) = (e
t
e
2t
H(t).
146 2. Anlisis de Fourier
Ahora transformamos el resultado, calculamos la Transformada de Fourier de la fun-
cin g(t) = (e
t
e
2t
) H(t).
Aplicando la denicin de la Transformada de Fourier,
T[g(t)] = F(w) =
_

_
e
t
e
2t
_
H(t)e
jwt
dt.
haciendo un poco de lgebra, obtenemos
F(w) =
_

e
(1+jw)t
H(t)dt
_

e
(2+jw)t
H(t)dt
=
_

0
e
(1+jw)t
dt
_

0
e
(2+jw)t
dt
=
_

1
1 + jw
e
(1+jw)t
_

0
+
_
1
2 + jw
e
(2+jw)
_

0
=
1
1 +jw

1
2 + jw
=
2 + jw 1 jw
(1 + jw)(2 + jw)
Finalmente, obtenemos
T[g(t)] =
1
2 w
2
+ 3jw
b) Aplicando el teorema de convolucin,
F
_
e
t
H (t) e
2t
H (t)
_
= F (w) G(w)
donde:
F(w) = T[e
t
H(t)]
G(w) = T[e
2t
H(t)]
es decir,
F (w) =
_

e
t
H (t) e
jwt
dt
=
_

e
(1+jw)t
H (t) dt
=
_

0
e
(1+jw)t
dt
=
_
1
1 + jw
e
(1+jw)t
_

0
=
1
1 + jw
2.10. Convolucin y Correlacin 147
y
G(w) =
_

e
2t
H (t) e
jwt
dt
=
_

0
e
(2+jw)t
dt
=
_

1
2 + jw
e
(2+jw)t
_

0
=
1
2 + jw
nalmente, obtenemos:
F
_
e
t
H (t) e
2t
H (t)
_
=
_
1
1 + jw
__
1
2 + jw
_
=
1
2 w
2
+ 3jw
En el siguiente problema, presentamos una aplicacin de la Transformada de Fouri-
er en la solucin de las ecuaciones diferenciales.
Ejemplo:
Resolver la siguiente ecuacin diferencial,
y

+ y = H(t)e
t
Solucin:
Para resolver la ecuacin diferencial haremos uso de algunas propiedades de la Trans-
formada de Fourier as como el uso de algn par de Trasformadas, para nalmente
aplicar el teorma de Convolucin. Si aplicamos la Transformada de Fourier a la ecuacin
diferencial obtenemos,
T [y

] +T [y] = T
_
H(t)e
t

si escribimos,
T [y] = F(w)
y aplicando la propedad de derivacin de la Transformada de Fourier obtenemos,
jwY (w) +Y (w) =
1
1 + jw
es decir,
Y (w) =
1
(1 + jw)
2
=
1
(1 + jw)

1
(1 + jw)
de donde,
y(t) = T
1
[Y (w)]
= T
1
_
T
_
H(t)e
t

T
_
H(t)e
t

148 2. Anlisis de Fourier


obsrvese que en la ecuacin anterior aplicamos el par de transformadas
T
_
e
bt
H(t)

=
1
b + jw
.
De esta forma al aplicar convolucin obtenemos,
y(t) = T
1
_
T
_
H(t)e
t
H(t)e
t

= H(t)e
t
H(t)e
t
=
_

H()e

H(t )e
(t)
d
= e
t
_

H()H(t )d.
Para resolver la integral anterior, analicemos las funciones de Heaviside en el inte-
grando.
H() =
_
1 si > 0
0 si < 0
H(t ) =
_
1 si t >
0 si t <
de donde,
H()H(t ) =
_
1 si 0 < < t
0 si < 0 & > t
Por lo tanto, las integrales de la ecuacin (52) resultan ser de la forma,
y(t) = e
t
_

H()H(t )d =
_
e
t
_
t
0
d si > 0
0 si < 0
es decir,
y(t) = e
t
_
t
0
dH(t).
Finalmente al resolver la integral, la solucin de la ecuacin diferencial est dada
por:
y(t) = e
t
_
t
0
dH(t).
o tambin,
y(t) =
_
te
t
si t > 0
0 si t < 0
2.10. Convolucin y Correlacin 149
2.10.3. Teorema de Parselval
Aplicando conceptos bsicos de circuitos elctricos, sabemos que en los sistemas
elctricos, una seal es un voltaje o una corriente. La potencia instantnea disipada
por una seal de voltaje V (t) en una resistencia R est dada por,
P(t) =
[V (t)[
2
R
,
asimismo, para una seal de corriente,
P(t) = R[I(t)[
2
,
en las ecuaciones anteriores, por supuesto que las unidades son Watts. En ambas ecua-
ciones, la potencia instantnea es proporcional al cuadrado de la magnitud de la seal,
de este modo, si R = 1, estas ecuaciones toman la misma forma; por lo que es comn
en el anlisis de seales referirse a la potencia instantnea asociada a una seal dada
por f(t) de la forma,
P(t) = [f(t)[
2
.
Aunque la expresin anterior pudiera no tener las dimensiones adecuadas, la con-
vencin implica multiplicar o dividir por una resistencia adecuada. De acuerdo con
esta convencin, la energa disipada por una seal en un intervalo de tiempo (t
1
, t
2
)
est dada por,
E =
_
t
2
t
1
[f(t)[
2
dt,
en Joules por supuesto. Asi la potencia promedio disipada por una seal en un inter-
valo de tiempo (t
1
, t
2
) est dada por,
P =
1
t
2
t
1
_
t
2
t
1
[f(t)[
2
dt.
De lo anterior, se dene como una seal de energa para la cual el resultado de la
ecuacin anterior es nito, es decir, an cuando el intervalo de tiempo sea innito se
debe cumplir que,
_

[f(t)[
2
dt < ,
en las ecuaciones anteriores, que la funcin f(t) es compleja, entonces
P =
1
t
2
t
1
_
t
2
t
1
f(t)f

(t)dt,
donde f

(t) es el complejo conjugado de f(t). Por otro lado, si consideramos la forma


compleja de Fourier de una funcin f(t) dada por,
f(t) =

C
n
e
jnw
0
t
150 2. Anlisis de Fourier
sustituyendo en la expresin para la potencia promedio,
P =
1
t
2
t
1
_
t
2
t
1
_

C
n
e
jnw
0
t

m
e
jmw
0
t
_
dt,
intercambiando las sumatorias por la integral, (esto siempre se puede hacer si se con-
sidera la convergencia uniforme de las series de Fourier) obtenemos,
P =
1
t
2
t
1
_

C
n

m
_
t
2
t
1
e
j(nm)w
0
t
_
dt,
pero sabemos que,
_
t
2
t
1
e
j(nm)w
0
t
dt =
_
0 si n ,= m
t
2
t
1
si n = m
por lo tanto,
P =

C
n

m
1
t
2
t
1
(t
2
t
1
) ,
=

C
n

m
=

[C
n
[
2
el resultado anterior se resume en el siguiente teorema.
Teorema de Parselval:
Si se conoce la funcin del tiempo de una seal f(t), se puede hallar la potencia
promedio para un intervalo de tiempo dado, sta tambin se puede hallar si se cono-
cen los coecientes de la serie de Fourier de dicha funcin f(t), de esta forma, las
respuestas obtenidas en el dominio de la frecuencia y del tiempo deben coincidir.
Bibliografa
[1] M. W. Zemansky y R. H. Dittman, Calor y Termodinmica, McGrawHill, Madrid
(1998); H. B. Callen, Thermodynamics and an Introduction to Thermostatitics,
Wiley, NewYork (1985); B. H. Wood, Applications of Thermodynamics, Waveland
Press (1991); K. Wark, Termodinmica, McGraw-Hill, Mxico (1987).
[2] J. H. Marden and L. R. Allen, Molecules, muscles, and machines: Universal per-
formance characteristics of motors, PNAS, 99, 4161-4166 (2002).
151