Sie sind auf Seite 1von 129

ndice general

ndice general

1. Introduccin

2. Problemas de Variable Compleja


2.1. Operaciones bsicas de nmeros complejos
2.2. Potencias y raices de ecuaciones . . . . . . .
2.3. mapeos . . . . . . . . . . . . . . . . . . . . .
2.4. Aplicaciones del Teorema de De Moivre . .
2.5. Derivacin Compleja . . . . . . . . . . . . .
2.5.1. Ecuaciones de Cauchy-Riemann . .
2.6. Integracin Compleja . . . . . . . . . . . . .
2.6.1. Integrales de contorno . . . . . . . .
2.6.2. Teorema de Cauchy . . . . . . . . .
2.6.3. Teorema del Residuo . . . . . . . . .
2.7. Series Complejas . . . . . . . . . . . . . . .
2.7.1. Convergencia de Series de potencias
2.7.2. Series de Mc Laurin . . . . . . . . .
2.7.3. Series de Taylor . . . . . . . . . . . .
2.7.4. Series de Laurent . . . . . . . . . . .

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

5
5
9
12
15
19
19
30
30
32
33
38
38
40
44
47

3. Problemas de Anlisis de Fourier


3.1. Series de Fourier . . . . . . . . . . . . . . . . . . .
3.2. Series de Fourier en Senos y Cosenos . . . . . . .
3.3. Series de Fourier de funciones peridicas . . . .
3.4. Espectros de Frecuencia . . . . . . . . . . . . . .
3.5. Transformada de Fourier . . . . . . . . . . . . . .
3.6. Propiedades de la Transformada de Fourier . . .
3.7. Convolucin de funciones . . . . . . . . . . . . .
3.8. Transformada de Fourier de funciones especiales
3.9. Aplicaciones de la Transformada de Fourier . . .

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

55
55
70
77
86
90
100
104
122
128

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

NDICE GENERAL

Captulo 1
Introduccin
Considero que una de las materias ms complicadas para los alumnos que cursan
la carrera de Ingeniera en Sistemas Computacionales que se imparte en la Escuela Superior de Cmputo del Intituto Politcnico Nacional (ESCOM-IPN), y en especial para
aquellos que se inclinan en el rea de la Electrnica es la asignatura de Metodos Matemticos.
La presente seleccin de problemas resueltos de la materia de Mtodos Matemticos, tiene como objetivo principal proporcionar al alumno que cursa la materia, un
apoyo bibliogrfico ms para el entendimiento de la misma, esperando que le sea de
gran ayuda, en la aplicacin de la teora adquirida en el saln de clases y poder ejercitar
sus conocimientos en la solucin de problemas similares. La mayora de los problemas
resueltos, son problemas que estn propuestos en libros tradicionales de la materia,
como por ejemplo, el libro de Anlisis de Fourier de la editorial Addison-Wesley Iberoamericana, cuyo autor es Hwei P. Hsu., y el libro de Matemticas Avanzadas para
Ingeniera de la editorial Cecsa, cuyo autor es Peter V. Oeil., entre otros.
En la mayoria de los problemas se trat de ilustrar al alumno el ms mnimo paso
algebraico, as como una ilustracin geomtrica de algunos problemas, con la finalidad
de que el alumno entienda mejor la solucin de los mismos.
La mayoria de los problemas estn basados en exmenes departamentales, exmenes extraordinarios y exmenes especiales que el autor ha aplicado, as como en ejercicios de clases en la imparticin de la materia en el segundo semestre del ciclo escolar
2002-2003 en la ESCOM-IPN.
La idea de escribir esta serie de problemas, es debida principalmente a la experiencia que el autor ha adquirido al impartir la materia en el cuarto semestre en la
ESCOM-IPN, de la carrera de Ingeniera en Sistemas Computacionales y en la cual el
ndice de alumnos que no aprueban la materia es muy alto
Los problemas se encuentran distribuidos de la siguiente forma:
3

1. Introduccin

En el captulo 1 se tratan problemas que comprenden lo relacionado a Variable


Compleja; desde las operaciones bsicas de los nmeros complejos, algunos problemas de aplicacin a la Geometra Analtica, pasando por derivacin de funciones de
Variable Compleja y aplicaciones de las condiciones de Cauchy-Riemann. En este captulo, se pone nfasis en los problemas de expandir una funcin en series de Mc Laurin,
de Taylor y de Laurent. Finalmente, se abordan problemas de Integracin de funciones
de Variable Compleja; aplicaciones del teorema de Cauchy y aplicaciones del mismo,
hasta llegar al teorema del Residuo y algunas aplicaciones al calculo de integrales de
funciones de Variable Real.
En el captulo 2 se tratan problemas relacionados con el Anlisis de Fourier; desde
la representacin en serie de Fourier de cualquier funcin peridica y no peridica,
pasando por problemas de la transformada de Fourier de cualquier funcin y funciones especiales (funcin delta de Dirac, de Heaviside, etc.) y algunas aplicaciones
(espectros de frecuencia y de fase), hasta llegar a algunas aplicaciones de la TF como
convolucin y correlaci de funciones, que son temas que generalmente se dificultan
al alumno y que el autor trata de ejemplificar paso a paso la teora. Al final del presente
problemario, se presentan algunos problemas en cuya solucin involucra ecuaciones
diferenciales parciales.
Finalmente, como en cualquier tipo de trabajo, el lector tendr la ltima palabra
en decidir si se cumple el objetivo principal, as tambin, el autor est abierto a todo
tipo de comentarios y sugerencias que sern bien venidas para la mejora del presente
trabajo.

Captulo 2
Problemas de Variable Compleja
En esta parte del problemario presentamos algunos problemas que van desde la
ilustracin de las operaciones bsicas de los nmeros complejos pasando por..

2.1. Operaciones bsicas de nmeros complejos


1. Aplique operaciones bsicas de nmeros complejos,
a) Escribir el siguiente nmero complejo
j
1
+
,
j
1 + 1+1 1
1 + 1+ 1
j

de la forma a + bi.
b) Encontrar la parte real e imaginaria del siguiente nmero complejo
z=

j
1 + j + 1+j+j

j
1+j

Solucin:
a) Aplicando las operaciones elementales de nmeros complejos,
j
1
j +
1 + 1+1 1
1 + 1+ 1
j

1
j
1
j +
1 + 1j
1 + 1j

1
1 + 1+j
1 + j(j+1)
2
2
1
j
+
=
1 + j1
1 + 1+j
2
2
=

2. Problemas de Variable Compleja


2
2j
+
1+j 3+j
2j(1 j) 2(3 j)
+
=
2
10
3 1
= 1+j+ j
5 5
8 4
+ j.
=
5 5
=

b) Aplicando operaciones elementales de suma, multiplicacin y divisin de


nmeros complejos obtenemos,
j
j(1 j)
(1 + j)
=
=
1+j
(1 + j)(1 j)
2
2 (1 + j)
1
2 j 1j
j
=
= (1 + j)
=
j
3 (1 + j) 1 j
3 2
3
1 + j + 1+j
finalmente,
j
1 + j + 1+j+j

j
1+j

1 + j + 13 (1 + j)


3
j
=
4 1+j
3
3 j(1 j)
=
= (1 + j),
4 (1 + j)(1 j)
8

por lo tanto;
Re(z) =

3
8

Im(z) =

3
8

2.1. Operaciones bsicas de nmeros complejos


2.

a) Resolver la ecuacin sin(z) = 1. La funcin logaritmo compleja puede tomarse definida por log(z) = ln(|z|) + jArg(z), donde Arg(z) es el argumento
principal de z.
b) Demostrar que

0
+


3 1
= ,
4 4


si 0 = 23
, y es un complejo tal que 43 = 41 .
4 3

Solucin:

a) Sabemos que sen(z) =

eiz eiz
,
2i

as la ecuacin sen(z) = 1 es equivalente a


eiz eiz = 2i

multiplicando esta ecuacin por eiz y resolviendo la ecuacin cuadrtica en


eiz obtenemos;
2
eiz 1 = 2ieiz
o tambin,

eiz
entonces

2

y=

2i(eiz ) 1 = 0

; si y = eiz

q
(2i) (2i)2 + 4
2

2i
=i
2

de esta forma
eiz = i,
por otro lado si z = ew , donde z y w son complejos, entonces
w = log z
donde log z = ln |z| + i arg z, por lo tanto, si eiz = i entonces,
iz = log (i) = ln |i| + i arg (i) = i
finalmente
z=

,
2

obsrvese que tomamos el argumento principal del complejo i.


b) Sustituyendo el valor de 0 =

0
+

23
4 3

obtenemos;




2 3

3
3


=
+
4 3 4
4

2. Problemas de Variable Compleja


realizando pasos algebraicos,




3

2

3
+
3

3
1
4
=


3


4
4
4


1 2 3 + 3 49
=

4
34


1 41
=
4 34


y aplicando la hiptesis de que 43 = 41 obtenemos finalmente


0 3 1
+ =

4 4

0
+

2.2. Potencias y raices de ecuaciones

2.2. Potencias y raices de ecuaciones


3.

a) Encontrar todos los valores del nmero complejo z, y localizarlos en el plano


complejo si:
z 3 = 8i
b) Describir el lugar geomtrico de los puntos en el plano complejo que satisfacen la ecuacin,

|z + 2i| = |z + 1 3i|
Solucin:
a) En forma polar el numero complejo 8i se puede escribir como:
h  
 i
8i = 8 cos
+ i sin
,
2
2
en forma ms general,
h 


i
8i = 8 cos + 2k + i sin + 2k
2
2

por otro lado si z = r (cos + isen) aplicando el teorema de De Moivre,


z 3 = r 3 (cos 3 + i sin 3) ,

de las ecuaciones anteriores obtenemos,




i
h 
z 3 (cos 3 + i sin 3) = 8i = 8 cos + 2k + i sin + 2k .
2
2

Aplicando la igualdad de nmeros complejos obtenemos,


r 3 = 8,
i (4k 1)
1h
+ 2k =
=
,
3
2
6
por lo tanto




 
(4k 1)
(4k 1)
+ i sin
z = 2 cos
6
6

10

2. Problemas de Variable Compleja

Figura 2.1: Races de la ecuacin z 3 + 8i = 0.


para k = 0, 1, 2. Geomtricamente, los nmero complejos se ilustran en la
figura siguiente.



z1 = 2 cos i sin
= 3i
6
6


z2 = 2 cos i sin
= 2i
2 
 2

7
7
i sin
z3 = 2 cos
= 3i
6
6
b) Recordemos que |z w| representa la distancia entre los nmeros complejos
z y w en el plano complejo, as |z + 2i| = |z + 1 3i| nos dice que la distancia
entre z y 2i y z y 1 + 3i es la misma. Por lo tanto el nmero complejo z
debe equidistar a ambos puntos solamente si z esta en la resta perpendicular
al segmento de recta entre estos puntos y que bisceta al segmento, es decir;
si, z = x + iy entonces,
|z + 2i|
|x + iy + 2i|
|x + (y + 2) i|
q
x2 + (y + 2)2

= |z + 1 3i|
= |x + iy + 1 3i|
= |(x + 1) + (y 3) i|
q
=
(x + 1)2 + (y 3)2

x2 + y 2 + 4y + 4 = x2 + 2x + 1 + y 2 6y + 9
4y + 4 = 2x 6y + 10,
de donde obtenemos la siguiente ecuacin de una recta,
3
1
y = x+ .
5
5

2.2. Potencias y raices de ecuaciones

11

4. Encuentre las raices de la ecuacin z 4 + 4 = 0 y representarlas en el plano complejo.


Solucin:
Para encontrar las raices de z 4 = 1 procedemos de la siguiente forma: Escribimos la ecuacin de la forma z 4 = 4, donde el complejo 4 en forma polar est
dado por,
4 = 4 [cos( + 2k) + i sin( + 2k)] ,
por otro lado, si z = R[cos() + i sin()], aplicando el teorema de De Moivre
obtenemos
z 4 = R4 [cos(4) + i sin(4)],

de las ecuaciones anteriores, obtenemos


R4 = 4
+ 2k
=
4

de donde, R = 2 y k = 0, 1, 2, 3. De esta forma las raices de la ecuacin z 4 +4 = 0


estn dadas por,
 




+ 2k
+ 2k
4
+ i sin
,
z = 4 cos
4
4
explcitamente, tenemos
k
k
k
k

=0
=1
=2
=3


z0 = 2 cos
z1 = 2 cos
z2 = 2 cos
z3 = 2 cos

4
3
4 
5
4 
7
4

+ i sin
+ i sin
+ i sin
+ i sin

4 
3
4 
5
4 
7
4



=1+i
= 1 + i
= 1 i
=1i

Como podemos observar las races de la ecuacin z 4 +4 = 0 forman un cuadrado,


como se muestra en la figura.

Figura 2.2: Races de la ecuacin z 4 + 4 = 0.

12

2. Problemas de Variable Compleja

2.3. mapeos
5. La transformacin w = z + (donde y son nmeros complejos constantes)
mapea el punto z = 1 + j en el punto w = j y el punto z = 1 j en el punto
w = 1.
a) Determine y .
b) Encuentre e indique la regin en el plano w correspondiente a la parte Re(z)
0 en el plano z.
c) Encuentre y grafique la regin en el plano w correspondiente a |z| < 1 en el
plano z.
Solucin:
a) Si el complejo z = 1 + j se mapea en w = j, entonces
j = (1 + j) + (a)
asimismo, si z = 1 j se mapea en w = 1, entonces
1 = (1 j) + (b)
es decir, tenemos 2 ecuaciones con 2 incognitas, a saber y . Restando la
ec. (b) de la ec. (a), obtenemos
j + 1 = 2,
es decir, =
obtenemos,

1
(1
2j

+ j) o tambin, = 21 (1 j). Sustituyendo en la ec. (a)


1
j = (1 j)(1 + j) + = 1 + ,
2

es decir, = j 1. De esta forma el mapeo original se puede escribir de la


forma,
1
w = f (z) = (1 j) + (j 1) = (1 j)(z/2 1).
2
b) Debemos de expresar las partes real e imaginaria de z (x y y) en trminos de
las partes real e imaginaria de w (u y v); para as poder encontrar la imagen
de las curvas o regiones especficas en el plano w a las correspondientes del
plano z. Por lo tanto, si z = x + jy y w = u + jv, entonces
u + jv = (1 j) [(x + jy)/2 1] ,

2.3. mapeos

13

haciendo un poco de lgebra,




u + jv 1 + j
1
=
(x + jy) 2
1j
i+j
2
1
1
(u + jv)(1 + j) =
(x + jy) 1
2
2
(u v) + (u + v)j = (x 2) + jy,
de tal forma que igualando la partes real e imaginaria, obtenemos
uv = x2
u + v = y,
La primera de stas ltimas ecuaciones es la que nos sirve para ver como los
puntos Re(z) = x > 0 del plano z se mapean en el plano w. Obsrvese que
dichos puntos son aquellos que satisfacen la desigualdad u v + 2 0, es
decir; u v 2, que es la regin acotada por la recta u v = 2 como se
muestra en la figura en el plano w.

Figura 2.3: Races de la ecuacin z 4 + 4 = 0.


c) Para ver los puntos en el plano w correspondientes al interior del crculo
|z| = 1, (x2 + y 2 = 1), en el plano z, sustituimos los valores de x y y en funcin de u y v encontrados en el inciso (b), es decir;
(u v + 2)2 + (u + v)2 = 1
haciendo un poco de lgebra,
2u2 + 2v 2 + 4u 4v + 4 = 1
u2 + v 2 + 2u 2v + 3/2 = 0,

14

2. Problemas de Variable Compleja


finalmente completando cuadrados obtenemos,
1
(u + 1)2 + (v 1)2 = ,
2
p
que es un crculo con centro en (1, 1) y radio 1/2. De esta forma, si x2 +
y 2 < 1 entonces (u + 1)2 + (v 1)2 < 12 . As la regin dentro del crculo en el
plano z corresponde a la regin dentro de su crculo imagen en el plano w,
como se muestra en la figura.

2.4. Aplicaciones del Teorema de De Moivre

15

2.4. Aplicaciones del Teorema de De Moivre


6. Mostrar que la ecuacin de una circunferencia en el plano z se puede escribir de
la forma,
z z + z + z + = 0,
donde y son constantes reales, mientras que puede ser una constante compleja.
Solucin:
Recordemos que la ecuacin general de una circunferencia en el plano xy est
dada por

A x2 + y 2 + Bx + Cy + D = 0,

por otro lado, si

z = x+y
z = x iy

entonces, x = 21 (z + z) y y = 2i1 (z z), por lo tanto



2 
2
1
1
2
2
x +y =
(z + z) +
(z z)
2
2i


 1 2

1 2
2
2
=
z + 2zz + z
z 2zz + z
4
4
1
1
=
zz + zz
2
2
= zz
as, sustituyendo en la ecuacin de la circunferencia,




1
1
(z + z) + C
(z z) + D = 0,
A (zz) + B
2
2i
reordenando trminos,

A (zz) +

B C
+
2
2i

z+

B C

2
2i

de esta forma, si identificamos a las constantes


= zz
B
=
+
2
B

=
2
= D,

z + D = 0,

C
2i
C
2i

la ecuacin de la circunferencia se puede escribir finalmente de la forma,


z z + z + z + = 0,

16

2. Problemas de Variable Compleja

7. Probar la siguiente identidad triginomtrica de Lagrange



 
n
X
1 sin n + 12
 .
cos(j) = +

2
2
sin
2
j=1

si sin 2 6= 0
Solucin:

Para este problema hacemos uso de la Identidad,


n
X

z j = 1 + z + z 2 + . . . + z n1 + z n =

j=0

1 z n+1
1z

que es vlida si z 6= 1.
Sea z = cos + j sin , obtenemos:
1 (cos + j sin )n+1
1+(cos +j sin )+(cos +j sin ) +. . .+(cos +j sin ) =
1 (cos + j sin )
2

utilizando el Teorema de De Moivre que establece que:

(cos + j sin )n = cos(n) + j sin(n)


La expresin anterior se puede escribir de la forma,

1 + cos + j sin + . . . + cos n + j sin n =

1 cos(n + 1) j sin(n + 1)
1 cos j sin

pero el lado derecho de a ecuacin se puede escribir de la forma,




1 cos(n + 1) j sin(n + 1)
1 cos(n + 1) j sin(n + 1) 1 cos + j sin
=
1 cos j sin
1 cos j sin
1 cos + j sin
simplificando el lado derecho de la ecuacin, e identificando a esta parte como ,
tenemos
1
[(1 cos )(1 cos(n + 1)) + sin sin(n + 1)]
=
(1 cos )2 + sin2
+ j[sin (1 cos(n + 1)) (1 cos ) sin(n + 1)(n + 1)]
1 cos cos(n + 1) + cos(n + 1) cos + sin(n + 1) sin
2(1 cos )


sin sin(n + 1) + sin(n + 1) cos cos(n + 1) sin
+ j
2(1 cos )
=

2.4. Aplicaciones del Teorema de De Moivre

17

as, igualando las partes real e imaginaria obtenemos;


1 cos cos(n + 1) + cos(n + 1) cos + sin(n + 1) sin
2(1 cos )
sin sin(n + 1) + sin(n + 1) cos cos(n + 1) sin
sin + . . . + sin n =
2(1 cos )

1 + cos + . . . + cos n =

utilizando la suma del coseno de 2 angulos;


cos(A B) = cos A cos B sin A sin B
donde A = (n + 1) y B = , obtenemos:
1 cos cos(n + 1) + cos[(n + 1) ]
2(1 cos )
1 cos cos(n + 1) + cos n
=
2(1 cos )
1 cos n cos(n + 1)
+
=
2
2(1 cos )

1 + cos + cos 2 + . . . + cos n =

utilizando la igualdad cos A cos B = 2 sin 12 (A + B) sin 21 (B A)


con B = (n + 1) y A = n obtenemos:


 
1 2 sin n + 12 sin 2
1 + cos + cos 2 + . . . + cos n = +
2
2(1 cos )
por otro lado, sabemos que,

sin =
2
es decir,
sin2
de donde,
Por lo tanto,

1 cos
2

1
= (1 cos )
2
2

2(1 cos ) = 4 sin2 .


2

 

1 2 sin n + 12 sin 2
1 + cos + cos 2 + . . . + cos n =
+
2
4 sin2 2

 
1 sin n + 12
.
+
=
2
2 sin 2

18

2. Problemas de Variable Compleja


En forma anloga, utilizando la identidad del seno de la suma de 2 ngulos,
sin(A B) = sin A cos B cos A sin B,
con A = (n + 1) y B = obtenemos;
sin sin(n + 1) + sin[(n + 1) ]
2(1 cos )
sin sin(n) sin(n + 1)
=
2(1 cos )

sin + sin 2 + . . . + sin n =

y utilizando la siguiente identidad,


1
1
sin A sin B = 2 cos (A + B) sin (A B)
2
2
donde,
A = n
B = (n + 1)
se tiene que,
A + B = (2n + 1)
A B = n (n + ) =
finalmente,
n
X

sin(j) = sin + sin 2 + . . . + sin n

j=1




sin + 2 cos (n + 21 ) sin 2
=
2(1 cos )



sin 2 cos (n + 12 ) sin 2
.
=
2(1 cos )

2.5. Derivacin Compleja

19

2.5. Derivacin Compleja


2.5.1. Ecuaciones de Cauchy-Riemann
8.

a) Defina el concepto de funcin analtica y funcin armnica.


b) Pruebe que = 6x2 y 2 x4 y 4 + y x + 1 puede ser la parte real de una
funcin analtica.
c) Determine la funcin imaginaria de la funcin analtica.
Solucin:
a) Se dice que una funcin f (z) es analtica en z0 si f 0 (z) no slo existe en z0 ,
sino en todo punto de alguna vecindad de z0 ; es decir, existe un nmero R
tal que f 0 (z) existe para toda z en |z z0 | < R.
Se dice que una funcin es armnica en un dominio si satisface la ecuacin
de Laplace en dicho dominio.
b) Si f (z) = u(x, y) + iv(x, y) es analtica, las funciones u y v satisfacen las
ecuaciones de C-R:

ux = v y ,
uy = vx ,
diferenciando la primera ecuacin con respecto a x y la segunda ecuacin
con respecto a y se tiene,
2u
v
,
=
2
x
x y
v
2u
=
,
2
y
y x
si las segundas derivadas parciales son continuas, se demuestra del clculo
que
v
v
=
x y
y x
por lo tanto, de las ecuaciones anteriores se demuestra que,
2u 2u
+
= 0.
x2 y 2
En forma anloga se demuestra que:

20

2. Problemas de Variable Compleja

2v 2u
+
= 0.
x2 y 2
Es decir, la parte real y la parte imaginaria de una funcin analtica deben
satisfacer una ecuacin de Laplace de la forma;
2 2
+ 2 = 0.
x2
y
En este caso para la funcin dada = 6x2 y 2 x4 y 4 + y x + 1

= 12xy 2 4x3 1
x

= 12x2 4y 3 + 1
y
de donde,
2
= 12y 2 12x2
x2
2
= 12x2 12y 2
2
y
es decir,

2 2
+ 2 = 0.
x2
y

c) Para determinar la parte imaginaria de la funcin analtica f (z) = u(x, y) +


iv(x, y), aplicamos las ecuaciones de C-R, dadas por:
v
u
=
,
x
y
v
u
= ,
x
y
si identificamos a u(x, y) = (x, y) = 6x2 y 2 x4 y 4 + y x + 1, aplicando
la primera ecuacin de C-R, obtenemos;
v
= 12xy 2 4x3 1,
y
si integramos parcialmente con respecto a y obtenemos:
v(x, y) = 4xy 3 4x3 y y + f (x),

2.5. Derivacin Compleja

21

de donde,
v
f (x)
= 4y 3 12x2 y +
x
x
y aplicando la segunda ecuacin de C-R obtenemos:
12x2 y 4y 3 + 1 = 4y 3 + 12x2 y

f
,
x

integrando nuevamente, obtenemos f (x) = x + cte. Por lo tanto, la parte


imaginaria de la funcin analtica f (z) = u + iv est dada por:
v(x, y) = 4xy 3 4x3 y x y + cte.

22
9.

2. Problemas de Variable Compleja


a) Demostrar que u = 2x(1 y) es armnica.

b) Encontrar una funcin v tal que w = f (z) = u + iv sea analtica.


Solucin:
a) Para mostrar que la funcin u = 2x (1 y) es armnica debemos mostrar
que satisface la ecuacin de Laplace dada por
52 u =
de donde:

2u 2u
+
= 0,
x2 y 2

u
2u
= 2 (1 y)
=0
x
x2
2u
u
= 2x 2 = 0
y
y

por tanto cumple 52 u = 0.

b) Para encontrar v tal que w = u + iv sea analtica, apliquemos las condiciones


de Cauchy-Riemann (C-C-R) que estn definidas de la forma:
ux = v y ,
vx = uy
Como u
= 2 (1 y) aplicando la primera C-C-R, e integrando parcialmente
y
con respecto a y, obtenemos


y2
v=2 y
+ g (x) ,
2
de donde, derivando parcialmente con respecto a x, obtenemos:
v
g(x)
=
.
x
x
Asimismo, si aplicamos la segunda C-C-R e integramos obtenemos
g(x) = x2 ,
finalmente se tiene,
v(x, y) = 2y y 2 + x2 + cte.

la constante de integracin depende de las condiciones iniciales, en este caso


podemos suponer que es igual a cero. Por lo tanto, la funcin analtica f (z) =
f (x + iy) = u(x, y) + iv(x, y) estar dada por:


f (x, y) = 2x(1 y) + i 2y y 2 + x2 .

2.5. Derivacin Compleja

23

Si hacemos y = 0 en la ecuacin anterior, obtenemos,


f (x) = u(x, 0) + iv(x, 0) = 2x + ix2 ,
de donde reemplazando x por z;
f (z) = u(z, 0) + iv(z, 0) = 2z + iz 2 .
Obsrvese que si z = x + iy, entonces
f (z) = 2(x + iy) + i(x2 y 2 + 2xyi)
= 2x(1 y) + i(y y 2 + x2 )

24

2. Problemas de Variable Compleja

10. Aplique las ecuaciones de Cauchy-Riemann para,


a) Demostrar que la funcin u = ex (x sin y y cos y) es armnica.

b) Encontrar v tal que f (z) = u + iv sea analtica.


c) Expresar f (z) en trminos de z.
Solucin:

a) Debemos verificar que la funcin u satisface la ecuacin de Laplace, de la


forma
2u 2u
+
=0
x2 y 2
de esta forma, si u = ex (x sin y y cos y), calculando las derivadas parciales
con respecto a x y y, obtenemos
u
= ex (x sin y y cos y) + ex sin y
x
= ex [(1 x) sin y y cos y],

(2.1)

ux
= ex [(1 x) sin y y cos y] ex sin y
x
= ex [(x 2) sin y y cos y],

(2.2)

ux =

de donde,
uxx =

En forma anloga derivando parcialmente con respecto a y


uy =

u
= ex (x cos y cos y + y sin y)
y
= ex [(x 1) cos y + y sin y],

(2.3)

de donde,
uyy =

uy
y

= ex [(x 1) sin y + y sin y + y cos y]

(2.4)

= ex [(2 x) sin y + y cos y],


de las ecuaciones (2.2) y (2.4), vemos inmediatamente que se cumple
uxx + uyy = 0.
b) Para encontrar la funcin v conjugada de u tal que f (z) = u + jv sea analtica
aplicamos las ecuaciones de Cauchy-Riemann, dadas por
ux = vy (a)

2.5. Derivacin Compleja

25
vx = uy (b)

Aplicando la primera ecuacin de Cauchy-Riemann (ver ecuaciones (2.3) y


(a)), obtenemos
v
= ex [(1 x) sin y y cos y]
y
integrando parcialmente con respecto a y, obtenemos
v = = ex [(x 1) cos y y sin y cos y] + g(x)
= ex (y sin y + x cos y) + g(x),

(2.5)

derivando parcialmente con respecto a x, obtenemos


vx =

v
= ex (x cos y y sin y) + ex cos y) + g 0 (x)
x
= ex [(1 x) cos y y sin y] + g 0 (x),

(2.6)

aplicanco la segunda condicin de Cauchy Riemann (comparando las ecuaciones (2.4) y (2.7)), obtenemos inmediatamente que
g 0 (x) = 0 g(x) = cte
finalmente de la ecuacin (16), la funcin v est dada por,
v = ex (y sin y + x cos y) + cte.
c) De los incisos anteriores la funcin analtica est dada por,
f (z) = f (x + jy) = u(x, y) + jv(x, y)


= ex (x sin y y cos y) + j ex (y sin y + x cos y) + g(x)

Una forma de representar a la funcin en trminos de la variable z por ejemplo si,


y = 0 f (x) = u(x, 0) + jv(x, 0)

y hacemos el cambio x por z, de tal forma que,

f (z) = u(z, 0) + jv(z, 0)


pero
u(z, 0) = 0
v(z, 0) = zez
finalmente obtenemos,
f (z) = jzez
salvo una constante aditiva arbitraria.

26
11.

2. Problemas de Variable Compleja


a) Sean x = r cos() e y = r sin(), donde r y son las variables polares comunes. Deducir la forma polar de las C-C-R.
b) A partir de las C-C-R en coordenadas polares, demostrar que u y v satisfecen
la ecuacin diferencial
2
1 2 1
+
+
= 0,
r 2
r 2 2
r r
que es la ecuacin de Laplace en coordenadas polares.
Solucin:
a) Como:
u = u (x, y)
v = v (x, y)
y a su vez,
x = x (r, )
y = y (r, )
entonces,
u = u (x (r, ) , y (r, ))
v = v (x (r, ) , y (r, ))
aplicando regla de la cadena obtenemos,
u r u
u
=
+
x
r x x
u
u r u
=
+
y
r y y
y usando las coordenadas polares,
 1
x
r
1 2
x
=
x + y 2 2 2x = p
= = cos
x
2
r
x2 + y 2

1
=
x
1+

y
x

y
=
x2

1
x2 +y 2
x2

y
y
y
1
= 2
= 2 = sen
2
2
x
x +y
r
r

 1
1 2
y
y
r
=
x + y 2 2 2y = p
= = sen
2
2
y
2
r
x +y
1

=
x
1+

y
x

 
1
=
x

1
x2 +y 2
x2

 
x
1
x
1
= 2
= 2 = cos
2
x
x +y
r
r

(2.7)

2.5. Derivacin Compleja

27

por lo tanto las ecuaciones (2.8) se transforman en:


u
u
1 u
=
cos
sin
x
r
r

(2.8)

u
u
1 u
=
sin +
cos
y
r
r

(2.9)

en forma anloga a las ecuaciones (2.8) obtenemos:


v r v
v
1 v
v
=
+
=
cos
sin
x
r x x
r
r

(2.10)

v r v
v
1 v
v
=
+
=
sin +
cos
y
r y y
r
r

(2.11)

aplicando las ecuaciones de C-R,


mos:

u
x

v
y

de las ecuaciones (4) y (7), obtene-

1 u
v
1 v
u
cos
sin =
sin +
cos
r
r
r
r
de donde,

u 1 v

r
r

anlogamente aplicando
nemos:

v
x

cos

v 1 u
+
r r

sin = 0

(2.12)

= u
, y usando las ecuaciones (5) y (7), obtey

v
1 v
u
1 u
cos
sin =
sin
cos
r
r
r
r
de donde,

u 1 v

r
r

sin +

v 1 u
+
r r

cos = 0.

(2.13)

As, multiplicando la ecuacin (2.12) por cos y la ecuacin (2.13) por sen ,
y sumando las ecuaciones obtenemos finalmente:
1 v
u
=
r
r
o tambin,

1
ur = v .
r

(2.14)

En forma anloga multiplicando la ecuacin (2.12) por sen y la ecuacin


(2.13) por cos , y sumando ambas ecuaciones, obtenemos:
1 u
v
=
r
r

28

2. Problemas de Variable Compleja


es decir,

1
(2.15)
v r = u .
r
Las ecuaciones (2.14) y (2.15), son la forma polar de las ecuaciones de CauchyRiemann.

b) Del inciso anterior, si diferenciamos la (2.14) con respecto a r y la ecuacin


(2.15) con respecto a , obtenemos;



v

2V
u
2 u u
=
=
r
=r 2 +

r
r
r
r
r
 



v
2V
1 u
1 2u
=
.
=

=
r
r

r
r 2


(2.16)
(2.17)

Por otro lado, del resultado del clculo elemental, suponiendo que las segundas derivadas son continuas, entonces:
2v
2v
=
,
r
r
por lo tanto de las ecuaciones (2.16) y (2.17), obtenemos
r

1 2u
2 u u
+
=

r 2
r
r 2

o tambin,

2u
1 2 u 1 u
= 0.
(2.18)
+
+
r 2
r 2 2
r r
Anlogamente, las ecuaciones de C-R se pueden escribir de la forma:
u
v
= r ,
(2.19)

r
u
1 v
=
,
(2.20)
r
r
diferenciando la ecuacin (2.19) con respecto a r y a la ecuacin (2.20) con
respecto a obtenemos:

suponiendo que




u
2u

v
2 v v
=
=
r
= r 2

r
r
r
r
r
 


2
2
u
1 v
1 v
u
=
=
=
r
r
r
r 2

2u
2u
=
,
r
r

(2.21)
(2.22)

2.5. Derivacin Compleja

29

de las ecuaciones (2.21) y (2.22), obtenemos:


r
de donde

1 2v
2 v v

=
r 2
r
r 2

2v
1 2 v 1 v
+
+
= 0.
r 2 r 2 2 r r

(2.23)

Obsrvese que las ecuaciones (2.18) y (2.23) satisfacen una ecuacin de la


forma:
1 2 1
2
+
+
= 0,
r 2
r 2 2
r r
que es la ecuacin de Laplace en coordenadas polares.

30

2. Problemas de Variable Compleja

2.6. Integracin Compleja


2.6.1. Integrales de contorno
12. Evalue la integral

donde est dado por |z a| = R.

dz
(z a)n

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 + Rei ,
donde 0 2. De la expresin anterior obtenemos:
z () a = Rei ,
dz () = iRei d.
Por lo tanto, sustituyendo en la integral pedida,
Z
Z 2
n
n
(z a) dz =
Rei iRei d

= iR

n+1

ei(n+1) d

Z 2
iRn+1
=
ei(n+1) d (i (n + 1) )
i(n + 1) 0
Rn+1  i(n+1) 2 
=
e
|0
n+1

Rn+1  2(n+1)i
e
1 .
=
n+1

As, de la ltima ecuacin; si n es cualquier entero entonces,


Z
(z a)n dz = 0,

ya que e2(n+1)i = 1, para cualquier entero n. Asimismo, si n = 1 entonces,


Z

(z a) dz = iR

n+1

d = 2iRn+1
0

2.6. Integracin Compleja

31

13. Si es la elipse z(t) = a cos t + ib sen t, para 0 t 2 calcular:


Z

dz
.
1 z2

Solucin:
Obsrvese que la integral pedida se puede escribir de la forma,
Z

dz

=
1 z2

2
0

y de la ecuacin de la elipse se tiene que,

z 0 (t) dt
q
,
2
1 [z (t)]

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


de donde obtenemos,
z 0 (t)2 = a2 sen2 t b2 cos2 t 2abi sen t cos t.

(2.24)

As tambin tenemos que,




1 z(t)2 = 1 a2 cos2 (t) b2 sen2 (t) + 2abi sen t cos t

y adems como a2 b2 = 1, entonces

1 z (t)2 = a2 b2 a2 cos2 t + b2 sin2 t 2abi sen t cos t




= a2 1 cos2 t b2 1 sen2 t 2abi sen t cos t
= a2 sen2 t b2 cos2 t 2abi sen t cos t,
as de las ecuaciones (20) y (21) obtenemos,
1 z (t)2 = z 0 (t)2 ,
finalmente la integral resulta ser,
Z

dz

=
1 z2

2
0

z 0 (t) dt
q
z 0 (t)2

dt

= 2.

(2.25)

32

2. Problemas de Variable Compleja

2.6.2. Teorema de Cauchy


14. Calcule la siguiente integral,
I

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 z0 es un punto del interior de , entonces
I
n!
f (z)
n
f (z0 ) =
dz,
2i (z z0 )n+1
si aplicamos la expresin anterior con n = 1, z0 = i y adems identificamos a
f (z) = (9zz 2 )2 , podemos escribir la expresin de la forma,
1!
f (z0 ) =
2i
0

f (z)
dz.
(z z0 )2

(2.26)

Por lo tanto la integral original se reescribe de la forma,


I

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

z
2
(9z 2)

(z + i)2

dz.

por lo tanto, aplicando la ecuacin (22) obtenemos,




I
zdz
d
z
= 2i
|z=i
2 2
2
dz (9 z 2 )2
(9 z ) (z + i)


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


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

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

 

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

zdz
(9

z 2 )2 (z

i)2

[4 + 10i]
500

2.6. Integracin Compleja

33

2.6.3. Teorema del Residuo


15. Calcule la siguiente integral
I

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

donde esta definida 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:


z01 = 3i
z02 = 3i
z03 = i
pero nuestro es |z| = 2 por lo tanto z01 y z02 estn fuera de nuestro contorno de
integracin.
Tambin podemos observar que tenemos un polo de orden 2, as que para calcular el residuo utilizamos la siguiente frmula.
 m1

1
d
m
Resz=zo f (z) =
lm
[z zo ] f (z)
(m 1)! zzo dz m1
por lo tanto,

Reszo =i f (z)

=
=
...
=

d
z
lm
(z + i)2
2
zi dz
(9 z ) (z + i)2

 
z
d
lm
zi dz
9 z2
1
,
10

Aplicando el teorema del residuo, obtenemos


I
X
f (z) dz = 2i
resz=zk f (z)

finalmente,



zdz
i

1
= =
2 = 2i
2
10
5
5i
(9 z ) (z + i)

34

2. Problemas de Variable Compleja

16. Calcular la integral,


I

ez
,
(z 1)2

donde , es el crculo |z| = 2 en sentido positivo.


Solucin:
Obsrvese que la funcin del integrando,
f (z) =

ez
,
(z 1)2

es analtica sobre y dentro del contorno , excepto en el punto singular z = 1, y


de acuerdo al teorema del residuo, el valor de la integral anterior ser igual a 2i
veces el residuo de f (z) en z = 1, es decir,
I
ez
dz = 2i [resz=1 f (z)]
2
(z 1)
Para calcular este residuo podemos proceder de dos formas:
a) Haciendo un desarrollo en serie de Laurent en potencias de (z 1) de la siguiente forma:
Aplicando la serie de Taylor de f (z) = ez alrededor de z = 1 (ver ejemplo
1 de desarrollo de funciones en series de Taylor), y haciendo un sencillo
manipuleo algebraico de la funcin para obtener el siguiente desarrollo en
serie de Laurent,
e[(z1)+1]
ez
=
(z 1)2
(z 1)2

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

n=0
1
1
2
1
+ 1 (z 1) + (z 1) . . . ,
= e

(z 1)2 (z 1)

f (z) =

que es vlida para la regin 0 < |z 1| < . Obsrvese en la expresin


anterior, que el residuo de f (z) en z = 1, que es el primer coeficiente de la
primera potencia negativa, es e1 .

b) Podemos aplicar la expresin general para calcular el residuo de un polo de


orden m, dada por
 m1

d
1
m
lm
[z z0 ] f (z) ,
Resz=z0 f (z) =
(m 1)! zz0 dz m1

2.6. Integracin Compleja

35

en este caso, z0 = 1, es un polo de orden 2, por lo que el clculo del residuo


est dado por


d
ez
1
2
lm
(z 1)
Resz0 =1 f (z) =
(2 1)! z1 dz
(z 1)2


d z 
= lm
e
z1 dz

= lm ez
z1

1
= ,
e

por lo tanto la integral pedida resulta ser,


I

ez
2i
=
.
2
(z 1)
e

Este problema 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 algunas veces poder identificar los coeficientes de la series (residuos).
Obsrvese que en este problema tambin podemos aplicar la frmula integral de
Cauchy dada por la expresin
I
f (z)
2i (n)
f (z0 ) .
n+1 dz =
n!
(z z0 )

en este caso n = 1, usando la frmula anterior la integral pedida se puede calcular


de la forma,

de donde, si

ez
2i 1
f (z0 = 1),
dz
=
(z 1)1+1
1!
f (z) = ez
f 1 (z) = ez

entonces,

f 1 (z = 1) =

por lo tanto,
I

1
e

ez
2i
.
=

(z 1)2
e

36

2. Problemas de Variable Compleja

17. Calcule la siguiente integral


I

z3

dz
z4

donde esta definida por |z| = 21 .


Solucin a) Teorema del residuo:
Para este caso vemos que la funcin dada tiene un polo de orden 3 en z = 0,
1
1
puesto que donde f (z) = z 3 z
4 = z 3 (1z) , por lo que la integral dada se puede
calcular de la forma,
I
dz
= 2i [Resz=z0 f (z)]
3
4
z z
usando la frmula para oncontrar los residuos, en este caso con m = 3 obtenemos,
 

1
d2
1
3
[Resz=0 f (z)] =
lm
z
2! z0 dz 2
z 3 (1 z)


1
1
d2
=
lm
2 z0 dz 2 1 z


1
d
1
=
lm
2 z0 dz (1 z)2


1
2
=
lm
2 z0 (1 z)3
= 1,

por lo tanto, el resultado de la integral dada es,


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

dz
=
3
z z4

1
z3

1
1z

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,
1
por lo que debemos encontrar la serie de Laurent para f (z) = z 3 z
4 en el dominio
0 < |z| < 1. De esta forma obtenemos,



1
1 X n X n3
1
z =
z ,
= 3
f (z) = 3
z
1z
z n=0
n=0

2.6. Integracin Compleja

37

obsrvese que hicimimos uso de la convergencia de la serie geomtrica. Escribiendo algunos trminos de la serie obtenemos,
f (z) =

1
1
1
+ 2 + + 1 + z + z2 + z3 + . . .
3
z
z
z

de donde obtenemos que el residuo b1 = 1. Por lo tanto, la integral resulta ser,


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

dz
=
3
z z4
=
=

1
1z

1
z3

1
1z
dz
z 2+1

2i 2
f (z0 = 0),
2!

de donde, si
1
1z
1
f 1 (z) =
(1 z)2
2
f 2 (z) =
(1 z)3
f (z) =

entonces,
f 2 (z = 0) = 2
por lo tanto,
I

z3

dz
= 2i.
z4

38

2. Problemas de Variable Compleja

2.7. Series Complejas


2.7.1. Convergencia de Series de potencias
18. Dada la siguiente serie de potencias,
 n
X
n
n=0

n!

(z i)n ,

encontrar su radio de convergencia.


Solucin:
P
n
Para este problema, recordemos que una serie de potencias
n=0 an (z z0 ) debe converger para |z z0 | < R y diverger para |z z0 | > R, es decir; la serie de
potencias convergeen un disco abierto con centro en z0 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 z1 , z2 , . . . , con z 6= 0 (n = 1, 2, . . . ,) es tal que


zn+1

=L
lm
n zn

entonces,

a) si L < 1, la serie converge absolutamente,


b) si L > 1, la serie diverge absolutamente,
c) si L = 1, no es aplicable el criterio.
Para este caso tenemos,


(n+1)n+1
n+1
(n+1)! (z i)
=
lm
nn

n
(z i)n


n!
=

=
=
=



n!(n + 1)n+1


lm
(z

i)

n
(n + 1)!nn



(n + 1)n+1 1

(z

i)
lm

n
n + 1 nn


n

n+1
(z 1)
lm
n
n

n
1
lm 1 +
|z i|
n
n
e|z i|.

2.7. Series Complejas

39

Este lmite es menor que 1 si e|z i| < 1, es decir; si |z i| < 1e . Por lo tanto la
serie de potencias converge para |z i| < 1e , y diverge si |z i| > 1e . Asimismo, el
radio de convergencia es R = 1e y el disco de convergencia es el disco de radio 1e
con centro en i, como se muestra en la siguiente figura.

Figura 2.4: Regin de convergencia, |z i| < 1e .

40

2. Problemas de Variable Compleja

2.7.2. Series de Mc Laurin


19. 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) =

an (z 0) =

an z n ,

n=0

donde los coeficientes de la serie estarn dados por an =


coeficientes de la serie. Si f (z) = sen z, entonces

f I (z)
f III
f V (z)
f V II (z)

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

(1)n cosz

f II (z)
f IV (z)
f V I (z)
f V III (z)

sin z
sin z
sin z
sin z

f n (z=0)
,
n!

cos z
cos z
cos z
cos z

&
=
=
=
=
...
2n
f (z) =

(1)n sin z

n = 0, 1, 2 . . . ,. Por lo tanto,
f 2n+1 (z = 0)
(1)n
=
(2n + 1)!
(2n + 1)!
2n
f (z = 0)
= 0.
=
(2n)!

a2n+1 =
a2n

As, la serie de Maclaurin para f (z) = sen z est dada por:

X
(1)n 2n+1
z
.
sen z =
(2n + 1)!
n=0

encontremos los

2.7. Series Complejas

41

Para |z| < . En forma anloga, si f (z) = cos z, entonces


f I (z)
f III
f V (z)
f V II (z)

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

sin z
sin z
sin z
sin z

f II (z)
f IV (z)
f V I (z)
f V III (z)

cos z
cos z
cos z
cos z

(1)n sin z

&
=
=
=
=
...
f 2n (z) =

(1)n cos z

n = 0, 1, 2 . . . ,. Por lo tanto,
a2n+1
a2n

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

As, la serie de Maclaurin para f (z) = cos z est dada por:


cos z =

X
(1)n
n=0

para |z| < .

(2n)!

z 2n .

42

2. Problemas de Variable Compleja

20. Encontrar la serie de potencias, en la forma indicada, que representa la funcin


1
f (z) = z3
en las tres regiones siguientes:
a) |z| < 3,

b) |z 2| < 1,
c) |z| > 3

Solucin:
P
P
n
n
Obsrvese
que
las
series
pedidas
tendrn
la
forma
a
z
,
n
n=0
n=0 an (z 2)
P an
y n=0 z n respectivamente. Para encontrar las series pedidas podemos proceder
manipulando algebraicamente la funcin dada y aplicar la convergencia de la serie geomtrica, que como se sabe,

X
n=0

si |z| < 1.

zn =

1
1z

a) Para esta regin manipulamos algebraicamente la funcin de la forma,


1
1
= 3 z
z3
1 3


1
1
=
3 1 z3

1 X  z n
=
3 n=0 3


z z2 z3
1
1+ +
+
+...
=
3
3
9
27

finalmente, si |z| < 3, la serie para la funcin dada es de la forma,


1
1 z
z2
z3
=

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

X
=
(z 2)n ,
n=0

2.7. Series Complejas

43

es decir, si |z 2| < 1, entonces


1
= 1 (z 2) (z 2)2 (z 2)3 . . .
z3
c) En forma anloga,
1 1
1
=
z3
z 1 3z
 n
1X 3
=
,
z n=0 z

finalmente, si 3z < 1, |z| > 3, la serie est dada por

1
1
3
9
27
= + 2 + 3 + 4 ...
z3
z z
z
z

La regin de convergencia, para las tres series dadas se ilustran enla siguiente
figura.

Figura 2.5: Regiones de convergencia, |z| < 3, |z 2| < 1, |z| > 3.

44

2. Problemas de Variable Compleja

2.7.3. Series de Taylor


21.

a) Expresar a la funcin f (z) = ez en serie de Taylor alrededor de z = 0.


b) Encontrar la serie de Maclaurin para f (z) = z 2 e3z .
c) Encontrar la serie de Taylor de f (z) = ez alrededor de z0 = i.
Solucin:
a) Como f (z) = ez es una funcin entera (analtica en todo el plano complejo),
tiene un arepresentacin en serie de Taylor (Maclaurin) valida para toda z,
por lo tanto, como se cumpe que:
f 0 (z) = ez
f 00 (z) = ez
f 000 (z) = ez
..
.
n
f (z) = ez ,
entonces,
f n (z = 0) = ez=0 = 1,
por lo tanto, los coeficentes de Taylor estn dados por:
f n (z = 0)
1
= ,
n!
n!
finalmente la serie de Maclaurin para f (z) = ez est dada por:
an =

e =

X
zn
n=0

para |z| < .

n!

b) 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

X
(3z)n
n=0

de donde,
2 3z

z e

=
=

n!

X
z 2 (3z)n
n=0

X
n=0

n!

z n n+2
z ,
n!

2.7. Series Complejas

45

finalmente, sustituyendo n por n 2 obtenemos,

X
3n2 n
z e =
z .
(n

2)!
n=2
P
n
c) La serie buscada debe tener la forma
n=0 an (z i) . Del inciso a), sabemos
que
2 3z

e =

X
zn
n=0

n!

alrededor de z = 0, en forma anloga al inciso b) si sustituimos z por z i


en la ecuacin anterior obtenemos
e

zi

X
(z i)n

n!

n=0

pero e
nemos,

zi

= e e , por lo tanto, e = ei ezi , as de la ecuacin anterior obtez i

ez = e i

X
(z i)n
n=0

n!

X
ei
(z i)n .
n!
n=0

Oosrvese que la serie de Taylor de ez alrededor de z0 = i converge para


toda z, es decir; para |z i| < .

46

2. Problemas de Variable Compleja

22. Encontrar la serie de Taylor para f (z) =

1
1+z

Solucin:
La serie bucada debe tener la forma
mente la funcin dada de la forma,

n=0

alrededor de z0 = 2i.

an (z + 2i)n . Manipulando algebraica-

#
"
1
1
1
1
1
=
=
=
,
1+z
1 + z + 2i 2i
(1 2i) + (z + 2i)
1 2i 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,

X
X
1
n
(z) =
(1)n z n =
1+z
n=0
n=0

si |z| < 1, de esta forma,

"
#
n


z + 2i
1
1
1 X
1
n
(1)
=
=
f (z) =
1+z
1 2i 1 + z+2i
1 2i n=0
1 2i
12i
=

X
n=0

(1)n
(z + 2i)n ,
n+1
(1 2i)

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


si z+2i
12i

1
el desarrollo de Taylor de f (z) = 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


1
figura, y 1 es el punto ms cercano a 2i donde f (z) = 1+z
no es analtica.

Figura 2.6:

2.7. Series Complejas

47

2.7.4. Series de Laurent


1

23. La funcin f (z) = e 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) =
ez tiene una representacin en serie de Maclaurin para todo z de la forma,
z

e =

X
zn
n=0

n!

,
1

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


1

ez =

X
1 1
.
n
n!
z
n=0

24. Encontrar la serie de Laurent de la funcin f (z) =

1
z5

cos z en el anillo 0 < |z| < .

Solucin:
Recordemos que la serie de Maclaurin para f (z) = cos z est dado por,
cos z =

X
(1)n
n=0

(2n)!

z 2n .

en |z| < . De este modo,




X
(1)n z 2n
1
cos z =
z5
(2n)!
z5
n=0
=

X
(1)n
n=0

(2n)!

z 2n5

1 1
1 1
11
1
1 3

z
+
z ...
0! z 5 2! z 3 4! z 6!
8!

es el desarrollo de Laurent de f (z) =

1
z5

cos z en el anillo 0 < |z| < .

48

2. Problemas de Variable Compleja

25. Encuentre la serie de Laurent de f (z) =

1
1+z 2

alrededor de z0 = i.

Solucin:
P
La serie pedida tendr la forma
an (z + i)n , aplicando fracciones parciales la
funcin dada se puede escribir de la forma,
1
i 1
i 1
1
=
=

,
2
1+z
(z + i)(z i)
2z +i 2z i

0bsrvese que el primer trmino ya est en potencias z + i, por lo que manipulemos algebraicamente el segundo trmino de la forma,
i 1
1
i
=
2z i
2 z" i + i i #
i
1

=
2 2i 1 z+i
2i

aplicando la convergencia de la serie geomtrica, obtenemos


"
n #

i 1 X z+i
i 1
=
2z i
2 2i n=0
2i
#
"
1
i X
=
(z + i)n .
2 n=0 (2i)n+1

< 1 es equivalente a |z + i| < 2, por lo tanto el desarrollo de
Ntese que z+i
2i
1
Laurent para f (z) = 1+z
2 en el anillo 0 < |z + i| < 2 est dado por,

1
1
i 1
iX
=

(z + i)n .
1 + z2
2 z + i 2 n=0 (2i)n+1

Obsrvese que esta serie para f (z) =

1
1+z 2

es de la forma f (z) = g(z)+h(z) donde,

iX 1
g(z) =
(z + i)n ,
2 n=0 (2i)n+1

es analtica en el disco |z + i| < 2 (desarrollo de Taylor), y


h(z) =

i 1
,
2z +i

es analtica en |z + i| > 0. Por lo tanto, 0 < |z + i| y |z + i| < 2 forman el anillo


1
0 < |z + i| < 2. Obsrvese tambin que la funcin f (z) = 1+z
2 es analtica en el
anillo 0 < |z + i| < 2 que corresponde a la distancia desde el complejo i hasta el
1
otro punto i donde la funcin f (z) = 1+z
2 no es analtica.

2.7. Series Complejas

49

26. Dada la funcin,


f (z) =

1
1
1
=

,
(z 1)(z 2)
z1 z2

Analizar los dominios de validez y encuentre sus series de potencias en tales dominios.
Solucin:
Obsrvese que la funcin tiene dos puntos singulares z0 = 1 y z0 = 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 D1 , D2 y D3 respectivamente como se ilustra
en la siguiente figura.

Figura 2.7: Regiones de convergencia, de la funcin f (z) =

1
.
(z1)(z2)

Para el dominio D1 tenemos que es una serie de Maclaurin, para hallarla escribi1
1
1
mos a la funcin de la forma, f (z) = 1z
+ 2z
= 2 1
z , y aplicamos la serie
(
2)
P

1
n
convergente (geomtrica) dada por 1z =
n=0 z que es vlida para |z| < 1.
z


Ntese que 2 < 1 tambin ca en el dominio D1 , de esta forma;
y

X
1

=
zn
1z
n=0

1 X zn X zn
1

=
=
,
2 n=0 22
2n+1
2 1 z2
n=0

50

2. Problemas de Variable Compleja


por lo tanto, en D1 , f (z) tiene la siguiente representacin en serie de potencias de
z,



X
X
X
X
 n
zn
1
n
n
n1
f (z) =

1
z
=
z
=
2

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




1
1
1
1
1
1

=
+
,
f (z) =
2z 1z
z 1 1z
2 1 z2
y aplicando nuevamente la serie geomtrica,



X
1X 1
1
1
1
=
=
,
1
n
n+1
z 1 z
z n=0 z
z
n=0

vlida para z1 < 1, es decir; para |z| > 1, y en forma anloga
 X


1
1
zn
=
,
2 1 z2
2n+1
n=0


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

X
X
1
zn
+
,
n+1
n+1
z
2
n=0
n=0

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

X
X
zn
1
+
,
n+1
n
2
z
n=0
n=1

que tiene la misma forma que el enunciado de Laurent. Finalmente, para el dominio D3 vemos que tambin corresponde a unah serie
i de Laurent, ahora rees-

1
cribimos la funcin dada de la forma, f (z) = 1z 11 1 z 1
2 , y observamos
(
z
z)
2
1
nuevamente que z < 1 y z < 1 si 2 < |z| < , y aplicando nuevamente la
serie geomtrica tenemos que la serie de potencias para la funcin dada en el
dominio D3 , es de la forma

X
X
X
1
2n
1 2n
f (z) =

=
.
n+1
n+1
n+1
z
z
z
n=0
n=0
n=0

para el dominio 2 < |z| < .

2.7. Series Complejas

51

27. Dada la funcin,


f (z) =

1
,
+ z)

z 2 (1

encuentre la expansin en serie de Laurent alrededor de,


a) z = 0,
b) z = 1.
En casa caso, determine la regin en donde es vlida.
Solucin:
a) En este caso z0 = 0, entonces necesitamos una serie de potencias de z. Usando la convergencia de la serie geomtrica obtenemos,



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

1 
= 2 1 z + z2 z3 + z4 . . .
z

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
1
1
= 2 + 1 z + z2 . . .
+ z)
z
z

z 2 (1

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
1
1
=
(z + 1 1)2 =
[1 (z + 1)]2
+ 1)
z+1
z+1

1 
1 + 2(z + 1) + 3(z + 1)2 + . . .
=
z+1
1
=
+ 2 + 3(z + 1) + 4(z + 1)2 + . . .
z+1

z 2 (z

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)(n 2) . . . (n k + 1) k
n(n 1) 2
z +...+
z ,
2!
k!

La mayora de las veces cuando se le llegara a dificultar el manipuleo algebraico de la funcin dada, siempre puede recurrir a la expansin binomial
anterior.

52

2. Problemas de Variable Compleja

28. Desarrolle la funcin


f (z) =
en una serie de Laurent vlida para

z
(z 1)(2 z)

a) 1 < |z| < 2,

b) |z| > 2,

c) |z 1| > 1,

d) 0 < |z 2| < 1.
Solucin:
Primero apliquemos fracciones parciales a la funcin,
A
B
z
=
+
(z)(2 z)
z1 2z
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) =

1
2
z
=
+
(z 1)(2 z)
z1 2z

a) Para el dominio 1 < |z| < 2, manipulemos algebraicamente la funcin y


apliquemos la convergencia de la serie geomtrica

qn =

n=0

1
1q

que es vlida para |q| < 1, de esta forma para el primer trmino de f (z)
1
1 1
=
z1
z1

1
z

1X
=
z n=0

 n
1
z


que es vlida si 1z < 1, es decir, si |z| > 1, y para el segunto trmino,
1
2
=
2z
1

z
2

 
X
z n
n=0

2.7. Series Complejas

53


vlida para z2 < 1, es decir; para |z| < 2, por lo tanto, la serie de potencias
de f (z) en 1 < |z| < 2 est dada por:
 
 n
X
z n
1X 1
+
f (z) =
z n=0 z
2
n=0





X
X
1
zn
=
+
n+1
z
2n
n=0
n=0

1
1
z
1
z2
+1+ 2 + + 3 +
+
z
z
2 z
4
1
1
z z2 z3
1
+
+
= + 3 + 2 + +1+ +
z
z
z
2
4
8
=

b) Para |z| > 2, tenemos que de (a) el primer trmino



 X

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



2
2 X 2n
2
2
1
=

=
=
2z
z2
z 1 2z
z n=0 z n

vlida para z2 < 1, es decir |z| > 2, por lo tanto la serie de potencias de f (z)
para |z| > 2 est dada por:
f (z) =

X
n=0

X
n=0

X 2n+1
1

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

 1
z n+1

1
3
7
15
= 2 3 4
z z
z
z
2
1
+ 2z
ya est
c) para |z 1| > 1, obsrvese que el primer trmino de f (z) = z1
en potencias de (z 1), as que slo manipulemos el segundo trmino

"
#
2
2
2
1
=
=
1
z2
z11
z 1 1 1z

1
2 X
=
z 1 n=1 (z 1)n

54

2. Problemas de Variable Compleja


por lo tanto, la serie de potencias de f (z) para |z 1| > 1 es de la forma

f (z) =

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

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

1
2
2
+
+
2 +
z 1 (z 1)
(z 1)3

d) Para 0 < |z 2| < 1, obsrvese que ahora el segundo trmino de f (z) ya est
2
2
en potencias de (z 2), es decir, 2z
= z2
, as que slo manipulemos el
primer trmino de la forma:

X
1
1
=
=
(1)n (z 2)n
z1
1 + z 2 n=0
por lo tanto, la serie de potencias de f (z) en potencias de (z 2) esta dada
por:

X
2
+
(1)n (z 2)n
f (z) =
z 2 n=0
=

2
+ 1 (z 2) + (z 2)2 (z 2)3 +
z2

Captulo 3
Problemas de Anlisis de Fourier
En esta segunda parte del presente problemario, presentamos algunos problemas
de...

3.1. Series de Fourier


29. Escribir la serie de Fourier de f (x) = x en el intervalo [, ].
Solucin:
Primeramente calculemos los coeficientes de Fourier. Po definicin si f es una
funcin integrable en el intervalo [, ]. Los coeficiente de Fourier de f en el
intervalo [, ] son los nmeros:
1
a0 =
2
1
an =

1
bn =

f (x)dx,

(3.1)

f (x)cos(nx)dx,

(3.2)

f (x)sen(nx)dx.

(3.3)

La serie de Fourier de f en el intervalo [, ] es la serie:

f (x) = a0 +

[an cos(nx) + bn sen(nx)] ,

n=1

55

(3.4)

56

3. Problemas de Anlisis de Fourier


aplicando la ecuaciones (23),(24) y (25) obtenemos,

1
a0 =
2
1
an =

1
bn =

xdx =

xcos(kx)dx =


1 2
x =0
4



1
x
sen(nx) + 2 cos(nx) = 0
n
n




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

1
1
= cos(n) cos(n)
n
n
2
= cos(n)
n
2
(1)n+1 .
=
n

Por lo tanto, sustituyendo los coeficientes a0 , an y bn en la ecuacin (26), la serie


de Fourier de f (x) = x en el intervalo [, ] est dada por

X
2
f (x) =
(1)n+1 sen(nx)
n
n=1

En la siguiente figura se muestra la la funcin y su serie de Fourier.

3
2

1
0
-1
-2
-3
-3

-2

-1

0
x

Figura 3.1: Grfica de f (x) = x y su serie de Fourier para n = 15.

3.1. Series de Fourier

57

30. Encontrar la serie de Fourier de la funcin definida por,



k si < x < 0
f (x) =
k
si 0 < x <
Solucin:
En forma anloga al problema anterior, el lector puede verificar inmediatamente
que el coeficiente a0 = 0, de la ecuacin (24), el coeficiente an est dado por,
1
an =

Z 0

Z
1
f (x)cos(nx)dx =
(k)cos(nx)dx +
kcos(nx)dx

0


sennx 0
sennx
1
k
=
+k

n
n 0
= 0,

el resultado anterior se sigue del hecho de que sen(nx) = 0 en , 0 y , para


tada n = 1, 2, 3, . . . . En forma anloga, de la ecuacin (25), el coeficiente bn est
dado por,

1
bn =

f (x)sen(nx)dx =

=
=
=


Z 0
Z
1
ksen(nx)dx
(k)sen(nx)dx +

0


1
cosnx 0
cosnx
k
k

n
n 0
k
[cos(0) cos(n) cos(n) + cos(0)]
n
2k
[1 cos(n)] ,
n

sustituyendo los coeficientes an y bn en la ecuacin (26), la serie de Fourier de


f (x) en el intervalo [, ] est dada por


X
2k
f (x) =
(1 cos(n)) sen(nx).
n
n=1
Obsrvese que los coeficientes de bn se hacen cero para cuando n es par, puesto
que cos(n) = (1)n , por lo tanto, la serie final se puede escribir de la forma:



X
4k
f (x) =
sen[(2n 1)x]
(2n 1)
n=1

 
sin x sin 3x sin 5x sin 7x
4k
+
+
+
+...
=

1
3
5
7

58

3. Problemas de Anlisis de Fourier


En la siguiente figura se muestra la la funcin y su serie de Fourier para el caso
k = 1.

0.5
0
-0.5
-1
0

3
x

Figura 3.2: Grfica de f (x) y su serie de Fourier para n = 1 y n = 5.


Obsrvese tambin que en los ejemplos anteriores, los coeficientes a0 y an resultaron ser iguales a cero, esto se debe a la paridad e imparidad de las funciones
que analizaremos en otra seccin.
Observacin:
Los problemas anteriores se refieren a series de Fourier de funciones definidas en
el intervalo [, ]. Podemos extender el clculo de las series para series de Fourier en cualquier intervalo [L, L] simplemente cambiando de escala, al hacer el
, como se ilustra en los siguiente problemas.
cambio de variable t = x
L

3.1. Series de Fourier

59

31. 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:
Si f es una funcin integrable en el intervalo [L, L]. Los coeficiente de Fourier
de f en el intervalo [L, L] son los nmeros:

1
a0 =
2L
1
an =
L

1
bn =
L

f (x)dx.

(3.5)

f (x)cos

 n 
x dx,
L

(3.6)

f (x)sen

 n 
x dx,
L

(3.7)

L
L

La serie de Fourier de f en el intervalo [L, L] es la serie:


f (x) = a0 +

an cos

n=1

 n 
 n 
x + bn sen
x ,
L
L

(3.8)

para n = 1, 2, 3, . . . , donde los nmeros a0 , a1 , . . . , b0 , b1 , . . . , bn son los coeficientes


de Fourier de f en el intervalo [L, L]. Calculemos primeramente los coeficientes
con L = 3, aplicando la ecuacin (27) obtenemos,
a0 =
=
=
=

Z 3
1
f (x)dx
2(3) 3
Z
Z
1 0
1 3
f (x)dx +
f (x)dx
6 3
6 0
Z
1 3
xdx
6 0
 2  3
x
12
0

9
=
,
12
por lo tanto,

a0 =

3
9
= .
12
4

60

3. Problemas de Anlisis de Fourier


Asimismo, de la ecuacin (28) obtenemos
Z
 n 
1 3
xcos
x dx,
an =
3 0
3

esta integral se resuelve por el mtodo de integracin


por partes: si hacemos u =

3
n
sen n
x,
x, entonces du = dx, as tambin si dv = cos 3 x dx, entonces v = n
3
de esta forma obtenemos,

Z 3
 n  
 n 
1
3
3
an =
sen
x sen
x
x dx
3 n
3
n 0
3

 n 
 n  3
1 3x
9
=
sen
x + 2 2 cos
x
3 n
3
n
3

 0 

9
9
1
1 3(3)
sen(n) + 2 cos(4)
=
2
3 n
n
3 n 2


3
3
=
cos(n) 2 2 ,
2
2
n
n
por lo tanto,
an =

3
n2 2

[cos(n) 1].

En forma anloga para el coeficiente bn , de la ecuacin (29) obtenemos,


Z
 nx 
1 3
bn =
xsen
dx,
3 0
3

anlogamente, aplicando el mtodo de integracin


u =
 por partes; si hacemos
n
3
x,entonces du = dx, as tambin si dv = sen n
cos
x,
entonces
v
=

x,
3
n
3
de esta forma obtenemos,

Z 3
 n 
 n  
3
3
1
x cos
x +
cos
x dx
bn =
3
n
3
n 0
3

 n 
 n  3
x
3
= cos
x + 2 2 sen
x
n
3
n
3
0


3
0
3
3
cos(0) + 2 2 sen(0)
= cos(n) + 2 sen(n)
n
n
n
n
por lo tanto,

3
cos(n),
n
finalmente, sustituyendo los valores de los coeficientes a0 , an y bn en la ecuacin
(30), la serie de Fourier de f en el intervalo [3, 3] est dada por,



 n   3
 n 
3
3 X
n
n+1
((1) 1) cos
x
(1)
sen
x .
f (x) = +
4 n=1
n2 2
3
n
3
bn =

3.1. Series de Fourier

61

3
2.5
2
1.5
1
0.5
0
-3

-2

-1

Figura 3.3: Grfica 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 figura muestra la funcin y su serie de Fourier.
En algunos casos podemos ahorrarnos trabajo al calcular los coeficientes de Fourier observando las propiedades de la funcin dada, dependiendo de la paridad
e imparidad de la misma, como se ilustra en los siguientes problemas.

62

3. Problemas de Anlisis de Fourier

32. Calcule las series de Fourier de las siguientes funciones y en los intervalos indicados:
a) f (x) = |x|, para el intervalo x .

b) f (x) = cos x2 sen(x), para el intervalo x .
c) f (x) = sen(x), para el intervalo 0 x

Solucin:
a) Como f (x) = |x| es una funcin par en el intervalo [, ], entonces de la
ecuacin (31) su serie de Fourier estar dada (con L = ) por:

f (x) = a0 +

an cos(nx),

n=1

y de las ecuaciones (32) y (33) con L = , los coeficientes a0 y an estn dados


por:

1
a0 =

2
an =

f (x)dx.
0

f (x)cos(nx)dx,
0

sustituyendo el valor de la funcin f , obtenemos

1
a0 =

 

1 x2
= ,
xdx =

2 0
2

en forma anloga, para el coeficiente an sustituyendo el valor de la funcin


tenemos

an

Z
2
=
x cos(nx)dx
0


1 Z
2 x

sen(nx)
sen(nx)dx ,
=
n
n 0
0

3.1. Series de Fourier

63

en donde aplicamos el mtodo de integracin por partes, al hacer los cambios de variable u = x, de donde du = dx, y tambin, dv = cos(nx)dx, de
donde v = n1 sen(nx). Obsrvese que al evaluar en los lmites, la primera
integral resulta ser igual a cero, por lo tanto,
an =
=
=
=

Z
2

sen(nx)dx
n 0



2
cos(nx)
n
0
2
(cos(n) 1)
n
2
[(1)n 1] .
n2

Por lo tanto, la serie de Fourier de la funcin f (x) = |x| en el intervalo [, ]


est dada por:



X 2
n
((1) 1) cos(nx)
f (x) = +
2 n=1 n2
En la siguiente figura se muestra la la funcin y su serie de Fourier.

3
2.5

2
1.5
1
0.5
0
-3

-2

-1

0
x

Figura 3.4: Grfica de f (x) = |x| y su serie de Fourier para n = 3 y n = 10.



b) Para este caso, observese que la funcin f (x) = cos x2 sen(x) en el intervalo [, ] no es par ni impar, por lo que su serie de Fourier estar dada por:

64

3. Problemas de Anlisis de Fourier

 n 
 n 
f (x) = a0 +
an cos
x + bn sen
x ,
L
L
n=1
donde los coeficeintes estn dados por,
1
a0 =
2L

1
an =
L

1
bn =
L

f (x)dx,
L

f (x)cos

 n 
x dx,
L

f (x)sen

 n 
x dx,
L

L
L

Calculando los coeficientes con L = , obtenemos

a0

Z h  
i
x
1
cos
=
sen(x) dx
2
2




x
1
cos(x)
sen
=
+

2





 

1
sen
sen
+ (cos() cos()) ,
=

2
2

de esta forma,

2
.

donde se aplic el hecho de que sen() = sen() y tambin cos() =


cos(). Asimismo, para el coeficiente an obtenemos,
Z
i
1 h x
an =
cos
sen(x) cos(nx)dx

2
Z

Z

1
x
=
cos
cos(nx)dx
sen(x) cos(nx)dx ,

2

a0 =

la segunda integral es cero debido a la ortogonalidad de las funciones seno y coseno. Para resolver la primera integral hacemos uso de la identidad
trigonomtrica del coseno de la suma y diferencia de 2 ngulos;
cos(A B) = cos A cos B sen A sen B,

3.1. Series de Fourier

65

que para este caso tenemos,


cos

x

x

= cos

cos(nx) sen

x

sen(nx)
2
2
2
x
x

x
cos
cos(nx) + sen
sen(nx),
nx = cos
2
2
2
+ nx

de donde obtenemos,

 



1
x + 2nx
x 2nx
cos
cos(nx) =
cos
+ cos
2
2
2
2
 


 
1 + 2n
1 2n
1
cos
x + cos
x
=
2
2
2
x

por lo tanto la integral para el coeficiente an resulta ser


an



 
Z  
1 2n
1 + 2n
1
x + cos
x
cos
=
2
2
2


 




1
2
2
1 + 2n
1

2n
=
x +
x
sen
sen
2 1 + 2n
2
1 2n
2








4
1
4

+ n +
n
=
sen
sen
2 1 + 2n
2
1 2n
2

usando nuevamente la siguiente identidad,


sen




n = sen
cos(n) cos
sen(n) = cos(n) = (1)n ,
2
2
2

finalmente obtenemos la expresin para el coeficiente an ,


an



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


4 (1)n
=
.
1 4n2

Con un procedimiento similar al clculo del coeficiente an , el lector puede


verificar
 que bn = 0. De esta forma, la serie de Fourier para la funcin f (x) =
cos x2 sen(x), en el intervalo x est dada por,

2
4 X (1)n
f (x) =
cos(nx).
n=1 4n2 1

En la siguiente figura se muestra la la funcin y su serie de Fourier.

66

3. Problemas de Anlisis de Fourier

1.5

0.5

-3

-2

Figura 3.5: Grfica de f (x) = cos


para n = 3, (lnea continua).

-1
x
2

sen(x) (lnea punteada) y su serie de Fourier

c) En este caso, como la funcin f (x) = sen(x) es impar, entonces su serie de


Fourier tendr la forma,

 n 
X
x ,
f (x) =
bn sen
L
n=1
donde el coeficiente bn est dado por,
Z
 n 
2 L
f (x) sen
x dx,
bn =
L 0
L
en este caso,
Z
2
sen(x) sen(nx)dx,
bn =
0

de un procedimiento anlogo al inciso anterior, obtenemos


1
[cos(1 n)x cos(1 + n)x] ,
2
por lo qu ela integral para el coeficiente bn se transforma como,
Z
1
[cos(1 n)x cos(1 + n)x] dx
bn =
0
Z

Z
1
=
cos(1 n)xdx
cos(1 + n)xdx
0
0





1
1
1

sen(1 n)x
sen(1 + n)x
=
(1 n)
(1 + n)
0
0
= 0,
sen(x) sen(nx) =

como era de esperarse!, el lector puede revisar un poco la teora para que
no le sorprenda la afirmacin anterior.

3.1. Series de Fourier

67

33. Dada la funcin,

0 para x < 1
1 para 1 x < 2
f (x) =

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 x0 = 1, f (1 ) = 0 y f (1+ ) = 0, por lo tanto la serie converge en
x0 = 1 a
 1
1
1
f (1 ) + f (1+ ) = [0 + 1] = ,
2
2
2

por otro lado en x = 2, f (2 ) = 1 y f (2+ ) = 3, por lo tanto la serie converge


en x0 = 2 a
 1
1
f (2 ) + f (2+ ) = [1 + 3] = 2,
2
2

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


lo tanto la serie converge a
 1
1
3
f ( + ) + f ( ) = [0 + 3] = .
2
2
2

b) Calculemos primeramente los coeficientes con L = ; aplicando la ecuacin


(27) obtenemos

68

3. Problemas de Anlisis de Fourier

a0 =
=
=
=

Z
1
f (x)dx
2
Z 1
Z 2
Z
1
1
1
0dx +
dx +
3dx
2
2 1
2 2
Z 2

Z
1
dx +
3dx
2 1
2
1
1 2
[x|1 + 3x|2 ] =
[1 + 3( 2)],
2
2

por lo tanto,
1
[3 5].
2
Asimismo, de la ecuacin (28) obtenemos
a0 =

an

Z
1
f (x)cos(nx)dx
=


Z 1
Z
Z 2
1
3cos(nx)dx
cos(nx)dx +
0cos(nx)dx +
=

2
1
"
2
#


1 1
3
=
sen(nx) + sen(nx)
n
n
1
2


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


1 1
1
3
=
sen(2n) sen(n) sen(2n) ,
n
n
n

por lo tanto,


1 2
(sen(2n) + sen(n))
an =
n

en forma anloga para el coeficiente bn , de la ecuacin (29) obtenemos,

bn

Z
1
=
f (x)sen(nx)dx

Z 1

Z 2
Z
1
=
0sen(nx)dx +
sen(nx)dx + 3
sen(nx)dx

1
2

3.1. Series de Fourier

69
"

2
#


1
1
3
=
cos(nx) cos(nx)

n
n
1
2


3
1
1
(cos2n cosn) (cosn cos2n)
=

n
n


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

n
n
n
n


1
3
1 1
n
cos(2n)(3 1) + cos(n) (1) ,
=
n
n
n
por lo tanto,

bn =

1
[2cos(2n) 3(1)n + cos(n)]
n

finalmente, sustituyendo los valores de los coeficientes a0 , an y bn en la ecuacin (30) la serie de Fourier de f est dada por,




X
1
1 2
[3 5]
(sen(2n) + sen(n)) cos(nx)
f (x) =
2

n
n=1

X
1
[2cos(2n) 3(1)n + cos(n)] sen(nx).

n
n=1

70

3. Problemas de Anlisis de Fourier

3.2. Series de Fourier en Senos y Cosenos


34. Encuentre la serie de Fourier de la funcin f (x) = x2 en el intervalo [, ].
Solucin:
Recordemos del Clculo elemental los siguientes resultados para funciones pares
e impares, considerando que f es una funcin integrable en el intervalo [L, L]:
a) Si f es par entonces,
Z

f (x)dx = 2

f (x)dx.

b) Si f es impar entonces,
Z

f (x)dx = 0,
L

de lo enterior, si f es par, entonces la serie de Fourier de f en el intervalo


[L, L] est dada por:

f (x) = a0 +

an cos

n=1

 n 
x ,
L

(3.9)

donde los coeficientes a0 y an estn dados por:

1
a0 =
L
2
an =
L

f (x)dx.

(3.10)

f (x)cos
0

 n 
x dx,
L

(3.11)

Como la funcin f (x) = x2 es una funcin par, entonces de la ecuacin (31) la


serie de Fourier de f en el intervalo [, ] estar dada (con L = ) por:

f (x) = a0 +

X
n=1

an cos(nx),

3.2. Series de Fourier en Senos y Cosenos

71

y de las ecuaciones (32) y (33) con L = , los coeficientes a0 y an estn dados por:

1
a0 =

2
an =

f (x)dx.
0

f (x)cos(nx)dx,
0

sustituyendo el valor de la funcin f , obtenemos

1
a0 =

 
1 x3
2
x dx =
,
=
3 0
3
2

en forma anloga, para el coeficiente an sustituyendo el valor de la funcin tenemos

an

Z
2 2
=
x cos(nx)dx
0



Z

2 x2
2

xsen(nx)dx ,
=
sen(nx)
n
n 0
0

en donde aplicamos el mtodo de integracin por partes, al hacer los cambios


de variable u = x2 , de donde du = 2xdx, y tambin, dv = cos(nx)dx, de donde
v = n1 sen(nx), aplicando nuevamente el mtodo de integracin por partes, haciendo ahora u = x y dv = sen(nx)dx, obtenemos du = dx y v = n1 cos(nx)
respectivamente, de tal forma que la integral anterior resulta,

an =
=
=
=
=




1 Z

2 x2
x


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



2x
2
2
x


sen(nx)
cos(nx)
sen(nx)

n
n2
n3
0
0
0


2 2
cos(n)
n2
4
cos(n)
n2
4
(1)n 2 .
n

72

3. Problemas de Anlisis de Fourier


Por lo tanto, sustituyendo los resultados anteriores en la ecuacin (31) la serie de
Fourier de la funcin f (x) = x2 en el intervalo [, ] est dada por:



2 X
n 4
f (x) =
+
(1) 2 cos(nx)
3
n
n=1


2
cos2x cos3x
=
+ 4 cosx +

+... .
3
4
9
En la siguiente figura se muestra la funcin y = x2 y su serie de Fourier.
10
8
6
4
2
0
-3

-2

-1

Figura 3.6: Grfica de f (x) = x2 (lnea continua) y su serie de Fourier para n = 1, 3, 5,


(lneas punteadas).

3.2. Series de Fourier en Senos y Cosenos

73

35. Calcular las series de Fourier en cosenos y senos para la funcin definida por:

1 para 0 x /2
f (x) =
2 para /2 x
Solucin:

Aplicando la paridad e imparidad de las funciones tenemos las siguientes definicin:


Definicin:
Si f es integrable en [0, L], entonces
a) La serie de Fourier en cosenos de f en [0, L] est dada por,
a0 +

an cos

n=1

 n 
x ,
L

donde los coeficientes a0 y an estn dados por:

a0
an

Z
1 L
f (x)dx,
=
L 0
Z
 n 
2 L
=
f (x)cos
x dx
L 0
L

b) La serie de Fourier en senos de f en [0, L] est dada por,

bn cos

n=1

donde el coeficiente bn est dado por:


2
bn =
L

 nx 
L

f (x)sen
0

 nx 
L

dx

As, para la serie de Fourier en cosenos, de las expresiones dadas en la definicin anterior obtenemos,
a0
an

Z
1
=
f (x)dx,
0
Z
2
f (x)cos(nx)dx
=
0

74

3. Problemas de Anlisis de Fourier


por lo tanto, obtenemos
Z
Z
1 2
2
1   2   3
a0 =
dx +
+
=
dx =
0
2
2
2
2
tambin,

an

=
=
=
=

Z
4
cos(nx)dx +
cos(nx)dx
2
0
 2





4 1
2 1

sen(nx) +
sen(nx)
n
n

0
2

 n  4 1
 n 
2
1
+
sen
sen(n) sen
n
2
n
n
2
h



i
2
n
n
sen
2sen
n
2
2
 n 
2
sen
n
2

2
=

De esta forma, la serie de Fourier en cosenos de f en [0, ] est dada por:



 n 
3 X 2

sen
cos(nx).
2 n=1 n
2

En la expresin anterior, ntese que sen n
= 0 si n es un entero positivo,
2
por lo tanto necesitamos quedarnos nicamente con los trminos que contengan n impar, por lo que la serie estar dada por:




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

sen
2 n=1 (2n 1)
2

adems, si aplicamos la siguiente identidad trigonomtrica


sen(A B) = senAcosB cosAsenB

obtenemos,


 

sen n
= sen(n)cos
cos(n)sen
2
2
2
= cos(n) = (1)n = ()n+1


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

3.2. Series de Fourier en Senos y Cosenos

75



3 2 X (1)n
cos(2n 1)x
+
2 n=1 (2n 1)
2
1.8
1.6
1.4
1.2
1
0

0.5

1.5

2.5

Figura 3.7: Grfica 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 definicin anterior obtenemos,
Z
2
bn =
f (x)sen(nx)dx
0
y de la definicin de la funcin dada obtenemos,

bn

2
=

2
=

f (x)sen(nx)dx
0

"Z

/2

sen(nx)dx + 2
0

sen(nx)dx

 2





2
2
cos(nx)

cos(nx)

0
2






2
1
n 1
2
2
n 
=

cos
cos(n) + cos

n
2 n n
n
2
h

i
2
n
4
=
1 + cos

cos(n).
n
2
n
2
=



Por lo tanto, la serie de Fourier en senos de f en el intervalo [0, ] est dada


por:

76

3. Problemas de Anlisis de Fourier

 n 
i
2X1h
1 + cos
2()n sen(nx).
n=1 n
2

obsrvese que cos(n) = (1)n .

1.5

0.5

0
0

0.5

1.5

2.5

Figura 3.8: Grfica de la funcin del ejemplo anterior (lnea continua) y su serie de
Fourier para n = 5 n = 25 y n = 50, (lneas punteadas).

3.3. Series de Fourier de funciones peridicas

77

3.3. Series de Fourier de funciones peridicas


36. Sea g una funcin peridica definida por g(t) = t2 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:
Si la funcin g(t) es peridica de periodo T , de la expresin para los coeficientes
de Fourier las integrales se pueden tomar sobre cualquier intervalo de longitud
T , por lo tanto, para todo nmero real a, se pueden escribir los coeficientes de
Fourier de la forma:
1
a0 =
T
2
an =
T

a+T

g(t)dt.

(3.12)

g(t)cos (nw0 t) dt,

(3.13)

a+T
a

Z
2 a+T
bn =
g(t)sen (nw0 t) dt.
(3.14)
T a
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) = a0 +

cn cos (nw0 t + ).

(3.15)

n=1

donde,

p
a2n + b2n
 
bn
1
= tan
.
an

cn =
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). Para nuestro problema, como la funcin es peridica de
periodo 3, podemos integrar sobre cualquier intervalo de longutid 3, por conveniencia integramos de 0 a 3 aplicando las ecuaciones (34), (35) y (36), los coeficientes de Fourier, que el lector puede verificar resolviendo las integrales, estn
dados por:

78

3. Problemas de Anlisis de Fourier

1
a0 =
3

2
an =
3

2
bn =
3

t2 dt = 3
0


2n
9
t cos
t dt = 2 2
3
n
2

f (t)sen
0


9
2n
t dt = .
3
n

sustituyendo los resultados anteriores en la ecuacin (37), la serie de Fourier para


g(t) est dada por,

g(t) = 3 +

X
n=1

9
cos
2
n 2

2nt
3

9
sen


2nt
.
3

De los resultados anteriores, la Amplitud armnica y el ngulo de fase estn


dados por:

cn =

a2n + b2n =

n = tan

9
n
9
n2 2

s

9
n2 2

2

9
n

2

9
n2 2

1 + n2 2

= tan1 (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,





X

9
2nt
1
2
2
1 + n cos
+ tan (n) .
g(t) = 3 +
22
n
3
n=1
El espectro de amplitud para esta funcin est formado por los puntos (nw0 , cn /2),
donde nw0 = 2n/3. Asimismo, el espectro de amplitud permite visualizar la
longitud de cada una de las armnicas en las que se descompone la funcin peridica.

3.3. Series de Fourier de funciones peridicas

79

37. Determinar la serie compleja de la funcin f (t) definida por:


3
f (t) = t,
4
para 0 < t < 8, y f (t + 8) = f (t).
Solucin:
La serie de Fourier Compleja de una funcin peridica, con periodo T , est dada
por:

X
cn einw0 t ,
(3.16)
f (t) =

donde w0 =

2
T

y los coeficientes cn estn dados por,


1
cn =
T

T
2

f (t)einw0 t dt,

(3.17)

T2

para n = 0, 1, 2, 3, . . . , etc. Los nmeros cn se llaman coeficientes de Fourier


complejos de f . La grfica de la magnitud de los coeficientes cn en la serie de
Fourier compleja de f (t) versus la frecuencia w (frecuencia angular) se denomina
Espectro de Amplitud de la funcin peridica f (t). As tambin, la grfica 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 nw0 ,
por consiguiente, se les denomina ESPECTROS DE FRECUENCIA DISCRETA
O ESPECTROS DE LNEA. Obsrvese que la representacin de los coeficientes
complejos cn versus la variable discreta nw0 , especifica la funcin peridica f (t)
en el dominio de la frecuencia, as como f (t) versus t, especifica la funcin en el
dominio del tiempo.
Para este problema tenemos que T = 8, por lo tanto, w0 = 2
= 4 . De la ecuacin
8
(3.17), obtenemos

cn

Z
1 8 3 in t
=
te 4 dt
8 0 4
Z 8
3
=
teinw0 t dt
32 0

Obsrvese que podemos integrar en cualquier intervalo de longitud igual al periodo. 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
n
4 i n
e 4 t , al sustituir estos cambios, obtenemos
dv = ei 4 t dt, de donde v = in

80

3. Problemas de Anlisis de Fourier

cn =
=
=
=



Z 8
8
in
4
3
4

t
t

in

e 4 dt
te 4 +
32
in
in 0
0


8
16 in t 8
3
1

in
t
te 4 + 2 2 e 4

8
in
n
0
0



3
8 i2n
16
i2n

e
+0+ 2 2 e
1
8
in
n
3i
.
n

Lo anterior se sigue del hecho de que ei2n = cos(2n) isen(2n) = 1, para


cualquier entero n. Obsrvese tambin, que el resultado anterior se cumple para
n 6= 0, as para calcular el coeficiente c0 aplicamos la ecuacin (33), puesto que
c0 = a0 , de esta forma obtenemos,
1
c0 =
8

8
0

8
3
3
3 t2
= (8)2 = 3.
tdt =

4
32 2 0 84

Por lo tanto, la serie de Fourier compleja de la funcin f (t) = 34 t, para 0 < t < 8 y
de periodo T = 8, est dada por:

3i X 1 nit/4
f (t) = 3 +
e
.
n

La grfica de la funcin y su espectro de frecuencias se muestran en la siguiente


figura.

3.3. Series de Fourier de funciones peridicas

81

38. Encontrar la serie de Fourier trigonomtrica para la funcin f (t) =


del resultado del problema anterior.

A
t,
T

a partir

Solucin
Del problema anterior, en general se tiene para una funcin definida por f (t) =
A
t, para 0 < t < T de periodo T que se conoce como funcin Diente de Sierra,
T
se tiene que

cn = i

A
A
=i
nw0 T
2n

n 6= 0, y para n = 0 obtenemos,
1
c0 =
T

T
0

A
f (t)dt = 2
T

T
0

T
A
A t2
tdt = 2 = ,
T 2 0
2

por lo tanto, la serie de Fourier compleja para la funcin Diente de Sierra est
dada por:

A
A X 1 inw0 t
f (t) = + i
e
.
2
2 n

De la forma compleja de la Serie de Fourier de una funcin f (t) peridica de periodo T dada por la ecuacin,
f (t) =

cn einw0 t ,

donde

1
1
cn = (an ibn ) =
2
T

T
2

f (t)einw0 t dt,

T2

se puede obtener fcilmente la forma trigonomtrica de la Serie de Fourier de


f (t) de la siguiente manera:
De las ecuaciones anteriores obtenemos,
1
a0
2
1
(an ibn )
=
2

c0 =
cn

82

3. Problemas de Anlisis de Fourier


1
cn = cn = (an + ibn ),
2
es decir;
a0 = 2c0
2cn = an ibn
2cn = an + ibn ,
de donde obtenemos,
an = c n + c n
bn = i(cn cn )
es decir;
an = 2<(cn )
bn = 2=(cn ).
De esta forma, para el problema anterior, tenemos que
a0 = A
an = 0
bn =

A
,
n

y como la serie de Fourier Trigonomtrica est dada por:


f (t) = a0 +

[an cos (nw0 t) + bn sen (nw0 t)]

n=1

se tiene que,

AX1
sen (nw0 t)
f (t) = A
n=1 n


A
1
1
= A
sen(w0 t) + sen(2w0 t) + sen(3w0 t) + . . .

2
3
39. 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:

3.3. Series de Fourier de funciones peridicas

83

Por definicin, de la ecuacin (38)la serie de Fourier compleja de una funcin f (t)
est dada por,

cn einw0 t

R T2
1
donde w0 = 2
,
c
=
f (t)einw0 t dt y T es el periodo de la funcin, que en
n
T
T T
2
este caso T = 2, de donde w0 = 1. De esta forma, los coeficientes de Fourier cn
estn dados por,

1
cn =
2

2
2

2
2

f (t)e

inw0 t

1
dt =
2

et eint dt

En forma anloga al problema anterior, podemos integrar en cualquier intervalo


de longitud igual al periodo, es decir, podemos calcular a los coeficientes cn de la
forma,

cn

Z 2
1
e(1in)t dt
=
2 0
2

1
1
(1in)t
=
e

2 1 in
0

1  (1in)2
1
=
e
1
2 1 in

en la ecuacin anterior obsrvese que,


e(1in)2 = e2 ei2n = e2 [cos(2n) sen(2n)] = e2

De esta forma, los coeficientes de Fourier estn dados por,

cn =

e2 1
.
2(1 in)

Por lo tanto, la serie de Fourier compleja de la funcin f (t) = et , en el intervalo


(0, 2) est dada por,

84

3. Problemas de Anlisis de Fourier

e2 1 X 1
einw0 t .
2(1 in) 1 in

Para pasar a la forma trigonomtrica empleamos la siguientes relaciones de los


coeficientes de Fourier, (ver problema anterior).

a0 = 2c0
an = c n + c n
bn = i(cn cn )
de la expresin que se obtuvo para los coeficientes cn tenemos que,
e2 1
c0 =
,
2
de donde,
a0 =

e2 1
,

asimismo para los coeficientes an y bn obtenemos,

an =
=
=
=

bn =
=
=
=



1
1
e2 1
+
2
1 in 1 + in


e2 1 1 + in + 1 in
2
1 + n2


e2 1
2
2
1 + n2


1
e2 1
,

1 + n2


1
1
e2 1

i
2
1 in 1 + in


e2 1 1 + in 1 + in
i
2
1 + n2


e2 1
2in
i
2
1 + n2


2
n
1e
.

1 + n2

3.3. Series de Fourier de funciones peridicas

85

Sustituyendo las expresiones anteriores de los coeficientes en la serie de Fourier


trigonomtrica, obtenemos

f (t) = a0 +

[an cos (nw0 t) + bn sen (nw0 t)]

n=1







e2 1 X e2 1
1
n
1 e2
=
+
cos (nw0 t) +
sen (nw0 t)
2
2

1
+
n

1
+
n
#
" n=1
2
X 1
e 1
=
(cosnt nsennt)
1+
2

1
+
n
n=1

86

3. Problemas de Anlisis de Fourier

3.4. Espectros de Frecuencia


40. Encontrar y graficar los espectros de frecuencia para la funcin peridica f (t) que
se muestra en la siguiente figura. De la figura, la funcin f (t) se puede definir por
la forma:

0 para T2 t < d2
f (t) =
A para d2 t < d2

0 para d2 t < T2 .

Solucin:
Para graficar los espectros de frecuencia (espectro de amplitud, -|cn | vs nw0 - y
el espectro de fase -n vs nw0 -) debemos calcular los coeficientes de la serie de
Fourier Compleja. De la definicin de la funcin dada y de la ecuacin (3.15), el
coeficiente de Fourier cn est dado por:

1
cn =
T

d
2

Aeinw0 t dt,

d2

por lo tanto,

cn

tambin, como
forma:

nw0 d
2

d
2



d
1
A
inw0 t 2
e

e
dt =
d2
T
inw0
d2
 inwd /2

2A 1
e
einwd /2
=
T inw0
2
 inwd /2

inwd /2
2A 1
e
e
=
T nw0
2i
#
"

Ad sen nw20 d

=
,
nw0 d
T
2

A
=
T

n( 2
d
T )
2

inw0 t

nd
,
T

la expresin anterior se puede escribir de la

"
#
Ad sen nd
T
cn =
nd
T
T

En este caso, ntese que cn es real, por consiguiente el espectro de fase es cero.
El espectro de Amplitud se obtiene al graficar una de las ecuaciones anteriores

3.4. Espectros de Frecuencia

87

vs la frecuencia discreta nw0 , es decir el espectro de frecuencias es una funcin


discreta y existe slamente cuando,
w = 0,

2 4
, ,...,
T
T

1
Tomando algunos valores especficos para d y T , por ejemplo, si d = 20
y T = 41 ,
2
2
entonces w0 = T = 1 = 8. por lo tanto el espectro de amplitud existe cuando
4

= 51 , entonces nd
= n 15 = m,
w = 0, 8, 16, . . . , adems como Td = 1/20
1/4
T
para m = 0, 1, 2, 3, . . . , es decir el espectro de amplitud se hace cero en el
valor de nw0 para el cual,
d
nw0 = m,
2
o tambin,
d
n = m,
T
para m = 0, 1, 2, 3, . . . , es decir cuando w = 5w0 = 40, 10w0 = 80, 15w0 =
120, . . . , como lo muestra la siguiente figura.
1
Asimismo, si tomamos por ejemplo, d = 20
y T = 12 de segundo, entonces
1
, por consiguiente el espectro de amplitud existe cuando
w0 = 4 y Td = 10
d
w = 0, 4, 8,
 . . . , y se hace cero en el valor de nw0 para el cual nw0 2 = m
nd
1
o T = n 10 = m (m = 0, 1, 2, 3, . . . ,) es decir cuando w = 10w0 =
40, 20w0 = 80, 30w0 = 120, . . ., etc.

88

3. Problemas de Anlisis de Fourier

41. Encontrar los espectros de frecuencia de la funcin peridica que se muestra en


la siguiente figura.
Solucin
Obsrvese la similitud de esta funcin con la funcin del ejemplo anterior, esta
grfica se encuentra desplazada una distancia d/2. Procediendo de la misma forma que en el ejemplo anterior, de la ecuacin (39), el coeficiente de Fourier cn est
dado ahora por:

1
cn =
T

Aeinw0 t dt,
0

por lo tanto,

cn

A
=
T

einw0 t dt
0


d
1
A
einw0 t 0
=
T inw0



A
1
=
einw0 d 1
T inw0



1
A
1 einw0 d
=
T inw0

Manipulando algebricamente la ecuacin anterior, utilizando el hecho de que


1 = einw0 d/2 einw0 d/2 , obtenemos

cn





A
1
1 einw0 d/2 einw0 d/2 einw0 d/2
=
T inw0

  inw0 d/2

A
1
e
einw0 d/2
=
einw0 d/2
T inw0 /d
2i
"
#
nd
Ad sen T

=
einw0 d/2 .
nd
T
T

La expresin anterior se puede escribir de la forma:


cn = |cn |ein

3.4. Espectros de Frecuencia

89

donde:

"
#
Ad sen nd
T
|cn | =
,
nd
T
T
n =

nw0 d
.
2

Por lo tanto, el espectro de amplitud es exactamente el mismo que el ejemplo


anterior y no se ve afectado por el cambio de origen, pero el espectro de fase es
ahora igual a nwd0 d = n Td radianes.
En general, si f (t) es una funcin peridica con periodo T , y su serie de Fourier
est dada por:
f (t) =

cn einw0 t

de la ecuacin anterior, obtenemos

f (t ) =
=
=

cn einw0 (t )
cn einw0 t einw0
Cn einw0 t

donde Cn = cn einw0 . As mismo, del ejemplo anterior el coeficiente cn estaba


dado por cn = |cn |ein , por lo tanto
Cn = |cn |ein einw0
= |cn |ei(n nw0 ) .
La ecuacin anterior indica que el espectro de amplitud de f (t) y f (t ) es el
mismo; sin embargo, las fases son diferentes. El desplazamiento de una funcin
f (t) en un tiempo produce un atraso de nw0 radianes en la componente de la
frecuencia nw0 .

90

3. Problemas de Anlisis de Fourier

3.5. Transformada de Fourier


42. Calcular la Transformada de Fourier de la funcin g(t) = te2t f (t) donde,
f (t) = [u (t + a) u (t a)] .
Solucin:
Por definicin, la TF de una funcin g(t) est dada por:
Z
F [g(t)] =
g(t)ejwt dt,

de esta forma,

F [g(t)] =

te2t [u(t + a) u(t a)]ejwt dt

Z
a
=
te(2+jw)t dt
Zaa
tet dt,
=
a

donde = 2+jw. Resolviendo la integral por partes, identificando a las variables


de la forma u = t y dv = et dt, de donde
du = dt,
1
v = eT .

As, la integral resulta ser de la forma,

F [g(t)] =
=
=
=
=

 
 a

Z
1 a t
1 t
t e
e dt
+

a
a





1
1
t t a
a
+

e a
e
a




a a a a
1 a
a
e
+ e 2 e
e





1 a
a a
a
a
e e
+ 2 e e





a
1
a
a

+
e e
.
2

3.5. Transformada de Fourier

91

Por lo tanto,

a
1
+
,
F [g(t)] = [2 sinh (a)]
2


finalmente, sustituyendo el valor de = 2 + jw obtenemos,


F [T e

2T

[u(T + a) u(T a)]] = 2

a
1
+
2 + jw (2 + jw)2

sinh(2 + jw)a.

92

3. Problemas de Anlisis de Fourier

43. Dada la funcin,


f (t) =

et para t > 0
0
para t < 0,

encontrar la Transformada de Fourier de f (t), donde y son constantes positivas.

Figura 3.9: Funcin exponencial, = 1 y = 2.


Solucin:
Por definicin, la transformada de Fourier de f (t) est dada por,
Z
f (t)ejwt dt.
F [f (t)] =

sustituyendo el valor de la funcin dada, obtenemos


Z 0
Z
jwt
F [f (t)] =
f (t)e
dt +
f (t)ejwt dt
0
Z

=
et ejwt dt
0
Z
=
e(+jw)t dt

0


1
(+jw)t
=
e

+ jw
0

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

w
( jw)
= 2
j 2
,
2
( + jw)( jw)
+w
+ w2

3.5. Transformada de Fourier

93

por lo tanto,

+ w2
w
(w) = 2
,
+ w2

R(w) =

asimismo, los espectros de Amplitud y de fase, |F (w)| y (w) de la funcin f (t)


estn dados por:

Figura 3.10: Transformada de Fourier de la funcin exponencial, = 1 y = 2.

+ w2
h wi
.
(w) = tan1

|F (w)| =

94

3. Problemas de Anlisis de Fourier

44. Dada la funcin,

0 para t < a
k para a t < a
f (t) =

0 para t > a.

donde a y k son nmeros positivos, encontrar la Transformada de Fourier de f (t).


Como se muestra en la figura, esta funcin se puede representar como la diferencia de dos funciones de Heaviside H(t), que analizaremos posteriormente en la
secin de transformadas de Fourier de funciones generalizadas (funciones simblicas).

Figura 3.11: Funcin pulso rectangular.


Solucin:
En forma anloga al problema anterior, sustituyendo el valor de la funcin dada
en la definicin para la transformada de Fourier obtenemos,
Z a
Z a
Z
jwt
jwt
F [f (t)] =
f (t)e
dt +
f (t)e
dt +
f (t)ejwt dt

a
a
a
Z a

1 jwt
ejwt dt = k
e
= k

jw
a
a

k  jwa
=
e
ejwa
jw


2k ejwa ejwa
.
=
w
2j
finalmente, obtenemos

sin(wa)
F [f (t)] = 2ka
wa

3.5. Transformada de Fourier

95

Figura 3.12: Transformada de Fourier de un pulso rectangular.


45. Determinar la transformada de Fourier de la funcin que se muestra en la siguiente figura,

Solucin:
Aplicando la definicin de la transformada de Fourier obtenemos,
F [f (t)] =
=
=
=


Z T
A jwt
A jwt
e
dt+ =

e
dt
T
T T
0
0
T






A
1
A
1
jwt
jwt

e


T
jw
T
jw
T
0



A 
A

1 ejwT +
ejwT 1
jwT
jwT

A  jwT
e
+ ejwT 2 ,
jwT
Z

96

3. Problemas de Anlisis de Fourier


por otro lado, tenemos que






wT
wT
wT
2
sin
= sin
sin
2
2
2
 jwT
  jwT

jwT
e
e
e
ejwT
=
2j
2j


1
= ejwT + ejwT 2
4
por lo tanto,

4 sin

wT
2

= ejwT + ejwT 2,

finalmente, la Transformada de Fourier de un pulso (ver figura) est dado por,




wT
4A
2
F [f (t)] =
sin
jwT
2
 1
= 2 [1 cos(wT )] entonces,
tambin, como sin2 wT
2
F [f (t)] =

2A
[1 cos(wT )].
jwT

3.5. Transformada de Fourier

97

46. Determinar la Transformada de Fourier del pulso triangular definido por la funcin,

1 |t|
para |t| <

f (t) =
0
para |t| > ,

Figura 3.13: Pulso triangular.


Aplicando la definicin de la transformada de Fourier obtenemos,


Z 
Z 
|t| jwt
|t|
|t| jwt
1
F [1 ] =
e
dt =
e
dt
1

aplicando la definicin del valor absoluto, resutan 4 integrales de la forma,




Z 0
Z 
t jwt
|t|
t jwt
1+
F [1 ] =
e
dt +
1
e
dt

0
Z
Z
Z 0
Z
1 0 jwt
1 jwt
jwt
jwt
=
e
dt +
te
dt +
te
dt
e
dt

0

integrando por partes la segunda y cuarta integral, haciendo el cambio de variable t = u y dv = ejwt dt, obtenemos
"
0
0
0 #
1 1 jwt
t jwt
|t|
i jwt
F [1 ] = e
+ w2 e
jw e

jw








1
1 1 jwt
t jwt
= ejwt
e

e


2
jw
w
jw
0
0
0

evaluando las integrales,



 1 1

|t|
1
jw
jw
jw
F [1 ] =
1e
+
1e

jw
w2
jw


 1 1 jw

1
jw
jw
e
=
e
1
e
1
jw
w2
jw
1 jw
1 jw
2
+
e

e
=
w2 w2
w2

1 
jw
jw
2
+
e

e
,
=
w2

98

3. Problemas de Anlisis de Fourier


por otro lado, tenemos que
 w 
 w 
 w 
sin2
= sin
sin
2
 jw2 jw 2 jw

e
e
e
ejw
=
2j
2j

1
=
2 + ejw ejw
4

finalmente, la Transformada de Fourier de un pulso triangular est dada por (ver


figura),

Figura 3.14: Transformada de Fourier de un pulso triangular.


sin2 w
|t|
F [1 ] =
2
w 2

h  w i2
= Sa
2

donde la funcin Sa 2 es la funcin de muestreo. Obsrvese la analoga con


el problema anterior, donde la Transformada de Fourier de un pulso rectangular
est dada por la funcin de muestreo.

w

3.5. Transformada de Fourier

99

47. Encontrar la Transformada de Fourier y dibujar el espectro de frecuencias de la


funcin,

para 0 t < 1
1
1 para 1 t < 0
f (t) =

0
para |t| > 1.
Solucin:

Aplicando la definicin de la Transformada de Fourier, y la definicin de la funcin dada, obtenemos


Z
F [f (t)] =
f (t)ejwt dt

Z 0
Z 1
jwt
=
e
dt +
ejwt dt
1
0
1
0
1 jwt
1 jwt
=
e
+ jw e

jw
0
1


1
1
=
ejw 1 +
1 ejw
jw
jw

1
=
2 ejw ejw
jw

 jw

e
+ ejw
1
=
22
jw
2
finalmente, obtenemos
F [f (t)] =

2
[1 cosw]
jw

y su espectro de frecuencias est dado por:


s 
2
2
(1 cosw)2
|F (w)| =
w
2
=
(1 cosw)
w
En el clculo de las transformadas de Fourier de ciertas funciones, algunas veces el procedimiento de obtencin de las mismas se simplifica mucho aplicando
algunas propiedades de la Transformada de Fourier que describimos a continuacin.

100

3. Problemas de Anlisis de Fourier

3.6. Propiedades de la Transformada de Fourier


48. Determinar la constante de valor complejo necesaria para que sea vlido el siguiente par de Trasnsformadas.

F [ejtf (t1/2) ] = e

jw
F (w)
2

Solucin:
Aplicando la definicin de la Transformada de Fourier, tenemos que,

F [e

jtf (t1/2)

] =
=

ejtf (t1/2) ejwt dt

f (t 1/2)ej(w)t dt.

Si hacemos el cambio de variable x = t 1/2, entonces t = x + 1/2, por lo tanto;


F [e

jtf (t1/2)

] =

f (x)ej(w)(x+1/2) dx

ej(w)/2 f (x)ej(w)x dx

Z
j(w)/2
= e
f (x)ej(w)x dx.
=

Aplicando la propiedad de desplazamiento en la frecuencia dada por la ecuacin


(41) obtenemos,

F [ejtf (t1/2) ] = ejw/2 ej/2 F (w ),


Finalmente, comparando con el problema original del par de Transformadas obtenemos,

= ej/2 = cos(/2) + jsen(/2)


es decir,
=j

3.6. Propiedades de la Transformada de Fourier

101

49. Si F (w) = F [f (t)], hallar la Transformada de Fourier de f (t)cos(w0 t).


Solucin:
Sabemos que cos(w0 t) = 21 (ejw0 t + ejw0 t ), entonces



1 jw0 t 1 jw0 t
F [f (t)cos(w0 t)] = F e
.
+ e
2
2

Si aplicamos las propiedades de linealidad y desplazamiento en la frecuencia de


la Transformada de Fourier dadas por las ecuaciones
F [a1 f1 (t) + a2 f2 (t)] = a1 F1 (w) + a2 F2 ,
obtenemos,

F [f (t)ejw0 t ] = F (w w0 ),

 1 

1 
F f (t)ejw0 t + F f (t)ejw0 t
2
2
1
=
[F (w w0 ) + F (w + w0 )].
2

F [f (t)cos(w0 t)] =

(3.18)
(3.19)

102

3. Problemas de Anlisis de Fourier

50. Para ilustrar la propiedad de linealidad, consideremos las siguientes funciones,


f1 (t) = k y f2 (t) = Acos(w0 t) y calculemos su respectiva transformada de Fourier:
Solucin:
Aplicando la definicin de la Transformada de Fourier para la funcin f1 (t) obtenemos,
Z
Z
jwt
F1 (w) = F [f (t)] =
ke
dt = k
ejwt dt

Z
Z
sen(wt)dt
cos(wt)dt jk
= k

Z
cos(wt)dt
= k

= k(w).

En forma anloga para la Transformada de Fourier de f2 (t) obtenemos,


Z
F2 (w) = F [f (t)] =
Acos(w0 t)ejwt dt

Z

A jw0 t
+ ejw0 t ejwt dt
e
=
2
Z
Z
A j(ww0 )t
A j(w+w0 )t
e
dt +
e
dt
=
2
2
A
A
=
(w w0 ) + (w + w0 ).
2
2
En los clculos anteriores aplicamos la expresin para la funci definida por,
Z
Z
ejwt dt,
cos(wt)dt =
(w) =

que demostraremos posteriormente cuando analizemos la Transformada de Fourier de algunas funciones especiales, como la funcin delta . En resumen, el par
de transformadas, de las funciones f1 (t) y f2 (t) se representan de la forma,
f1 (t) = k

F1 (w) = k(w)
f2 (t) = Acos(w0 t) F2 (w) = A2 (w w0 ) + A2 (w + w0 ).
De esta forma, aplicando la propiedad de linealidad dada por la ecuacin (40)
obtenemos,
f1 (t) + f2 (t) = k + Acos(w0 t) F1 (w) + F2 (w) = k(w) + (w w0 ) + A2 (w + w0 ).
En la siguiente figura se ilustran las grficas de las funciones f1 (t) y f2 (t), as
como sus espectros de amplitud.

3.6. Propiedades de la Transformada de Fourier

103

51. Hallar la Transformada de Fourier de la funcin coseno de duracin finita igual


a d dada por la funcin f (t) = fd (t)cos(w0 t), donde fd est dada por,

1 para |t| < d2
f (t) =
0 para |t| > d2 .
Solucin:
En este problema podemos usar el resultado anterior dada por la expresin,
1
F [f (t)cos(w0 t)] = [F (w w0 ) + F (w + w0 )],
2
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 fd (t), de esta forma, aplicando la
definicin de la Transformada de Fourier, obtenemos
Z
F [fd (t)] =
fd (t)ejwt dt,

y aplicando la definicin de la funcin fd (t), obtenemos


F [fd (t)] =

d
2

ejwt dt

d2

d
1 jwt 2
= e
d
jw
2
h
i
1
j wd
j wd
2
2
=
e
e
jw
"
#
wd
wd
2 ej 2 ej 2
=
w
2j
finalmente, obtenemos

2
F [fd (t)] = sen
w


wd
,
2

de esta forma, aplicando la prpiedad de desplazamiento en la frecuencia obtenemos,






1
1
1
1
F [fd (t)cos(w0 t)] =
sen (w w0 )d +
sen (w + w0 )d .
w w0
2
w + w0
2
La siguiente figura muestra las grficas de la funcin coseno de duracin finita y
su repectivo espectro de amplitud (funcin de densidad espectral).

104

3. Problemas de Anlisis de Fourier

3.7. Convolucin de funciones


52. Si las funciones f1 (t) y f2 (t) estn definidas por,
f1 (t) =

f1 (t) =

et para t > 0
0
para t < 0,

sin(t) para 0 t 2
0
en-otro-caso,

encontrar la Convoluvin de f1 (t) y f2 (t).


Solucin:
Por definicin, la convolucin de las funciones f1 (t) y f2 (t) est dada por,
f1 (t) f2 (t) = f2 (t) f1 (t) =

f2 ( )f1 (t )d

en este caso, de la definicin de f1 (t) y f2 (t) se tiene que,


f1 (t) f2 (t) =

f1 (t) f2 (t) =

si 0 t 2 . O tambin,

si t 2 . O tambin,
si t 0.

sin( )e(t ) d,

(3.20)

sin( )e(t ) d,

(3.21)

f1 (t) f2 (t) = 0,

(3.22)

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 [L1, L2 ] = mximo de los dos lmites inferiores y,
Limite superior = min [U1 , U2 ] = mnimo de los dos lmites superiores.
Por lo tanto, de la ecuacin (42), integrando por partes haciendo los cambios de
variable u = sin( ), de donde du = cos( )d , y tambin, dv = e d , de donde

3.7. Convolucin de funciones

105

v = e , la integral anterior resulta,


f1 (t) f2 (t) = e

sin( )e d


0
Z t

t
t
e cos( )d
sin( )e |0
= e
0



Z t
t

t
sin( )e d
,
sin( )e e cos( )|0 +
= e
0

integrando nuevamente por partes haciendo los mismos cambios de variable 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,
sin(t)et cos(t)et + 1
f1 (t) f2 (t) = e
2

1
=
sin(t) cos(t) + et .
2
t


(3.23)

En forma anloga de la ecuacin (43), obtenemos


Z

sin( )e(t ) d
0
Z
2
t
sin( )e d,
= e

f1 (t) f2 (t) =

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,
Z
Z

2
2

2
sin( )e d = sin( )e |0
cos( )e d
0
0
!
Z

= sin( )e |02

cos( )e |02 +

sin( )e d

por lo tanto,
Z

i
1h
e [sin( ) cos( )]|02
2

1
=
e2 + 1
2

sin( )e d =

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


dv = e d . De esta forma, obtenemos

106

3. Problemas de Anlisis de Fourier

f1 (t) f2 (t) = e

sin( )e d


et 
=
e2 + 1 .
2

(3.24)

Finalmente, de las ecuaciones (44), (45) y (46), la convolucin de las funciones


f1 (t) y f2 (t), est dada por:
et 

para t 2
2 e2 + 1
1
f1 (t) f2 (t) =
[sin(t) cos(t) + et ] para 0 < t 2
2
0
para t 0.

3.7. Convolucin de funciones

107

53. Graficar y calcular todos los pasos del proceso de convolucionar las siguientes
funciones:

t para 0 < t < 3
x(t) =
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-

Figura 3.15: Espectro de frecuencias de la funcin de Heaviside.


mente:
1.- Se reemplaza la variable t por la variable en x(t) y h(t); asimismo se refleja
la funcin h(t), como se ilustra en la figura incisos, partes (a) y (b).
2.- Transladamos todo el sistema de referencia de la funcin h( ) mediante una
cantidad t, como se ilustra en la figura parte (c). Obsrvese que la cantidad de
translacin t es la diferencia entre el sistema de refencia mvil y el fijo, de tal
forma que la funcin transladada es de la forma:

1 para 1 + t < < 1 + t
h(t ) =
0 para < 1 + t& > 1 + t
obsrvese tambin que el origen del sistema mvil est en = t, mientras que el
origen del sistema fijo 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

108

3. Problemas de Anlisis de Fourier

Figura 3.16: primera y ltima regin de convolucin.


x( ). Para nuestro ejemplo tenemos 5 regiones: < < 1, 1 < < 1,
1 < < 2, 2 < < 4 y 4 < < . Como se ilustra en las figuras,la convulucin para la primera y quinta region es cero. Por definicin, 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 figura para entender mejor los lmites de integracin):
x(t) h(t) =

t+1
0

t+1
2
(t + 1)2
d =
.
=
2 0
2

Figura 3.17: Segunda y tercera regiones de convolucin.

3.7. Convolucin de funciones

109

En forma anloga, para la tercera regin, la convolucin estar dada por:


x(t) h(t) =

t+1
t1

t+1

1
2
=
d =
(t + 1)2 (t 1)2 = 2t

2 t1 2

y finalmente, para la cuarta regin (ver figura),

3

1
2
2
=
9

(t

1)
= 4 + t t2 /2.
x(t) h(t) =
d =

2
2
t1
t1
Z

Figura 3.18: Cuarta regin de convolucin.


A continuacin presentamos los resultados para las cinco regiones:

0
para < < 1,

(t+1)

2
para 1 < < 1,
y(t) = x(t) h(t) =
2t
para 1 < < 2,

4 + t t /2 para 2 < < 4,

0
para 4 < < .

En la siguiente figura se ilustra la convolucin de las funciones juntando los resultados en las distintas regiones.

110

3. Problemas de Anlisis de Fourier


4

0
-2

-1

Figura 3.19: Convolucin de las funciones x(t) y h(t).


54. En este problema mostramos la convolucin de dos pulsos unitarios definidos
por,

1 para 0 < t < 1
x(t) =
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 convolucin de dos funciones. En la figura 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.
Para la segunda regin, que corresponde al intervalo 0 < < 1 (ver figura (c), la
convolucin estar dada por:
Z t
d = t,
x(t) h(t) =
0

y finalmente, para la tercera regin que corresponde al intervalo 1 < < 2, (ver
figura (d)),
Z 1
x(t) h(t) =
d = 2 t.
t1

A continuacin presentamos los resultados para las cuatro regiones:

0
para < < 0,

t
para 0 < < 1,
y(t) = x(t) h(t) =
2 t para 1 < < 2,

0
para 2 < < .

3.7. Convolucin de funciones

111

Figura 3.20: Ilustracin grfica de la Convolucin de dos pulsos unitarios.


En la siguiente figura se ilustra la convolucin de las funciones juntando los resultados en las distintas regiones.

Figura 3.21: funcin de convolucin de dos pulsos unitarios

112

3. Problemas de Anlisis de Fourier

55. Hallar la convolucin de las siguientes funciones,


x(t) = H(t) 2H(t 2) + H(t 5)
h(t) = e2t H(1 t).
Las funciones Hs, son las funciones de Heaviside repectivamente. Las funciones
h(t) y x(t) se muestran en la siguiente figura, en donde se ha cambiado la variable
t por la variable .

Figura 3.22: funciones x( ) y h( ).


Solucin:
Siguiendo paso a paso el proceso de convolucin, en la siguiente figura se muestra la reflexin de la funcin x( ) as como el desplazamiento de sta mediante
una cantidad t, para obtener la funcin x(t ).

Figura 3.23: 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 fijo (h( )), y debemos
hallar el rea bajo el producto de las dos funciones para cada regin.

3.7. Convolucin de funciones

113

Figura 3.24: 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 figura, tenemos:
Z t
Z t2
Z
2
e2 (1)d
e (1)d +
h( )x(t )d =
h(t) x(t) =
t2
t5

t2
t
 1

1
1
1
= e2 + e2 = e2(t2) e2(t5) + e2t e2(t2)
2
2
2
2
t5
t2

1 2t 
e 1 + e10 2e4 .
=
2
Para la segunda regin, como se muestra en la figura, tenemos:

Figura 3.25: Segunda regin de convolucin de las funciones h( ) y x( ), intervalo


1 t < 3.
Z

t2
2

h( )x(t )d =
e (1)d +
e2 (1)d

t5
t2
t2
1
 1

1
1
1
= e2 + e2 = e2(t2) e2(t5) + e2 e2(t2)
2
2
2
2
t5
t2
 1
1 2t  10
e e
2e4 + e2 .
=
2
2

h(t) x(t) =

114

3. Problemas de Anlisis de Fourier


De la misma forma, como se muestra en la figura para el intervalo 3 t < 6, la
convolucin en esta regin est dada por,
Z

e2 (1)d
h( )x(t )d =
t5

1


 1
1
1
1
= e2 = e2 e2(t5) = e2(t5) e2 .
2
2
2
2
t5

h(t) x(t) =

Figura 3.26: 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 figura el producto de las dos funciones es cero, es decir,
h(t) x(t) =

h( )x(t )d = 0

Figura 3.27: Cuarta regin de convolucin de las funciones h( ) y x( ), intervalo 6


t < .

3.7. Convolucin de funciones


A continuacin presentamos los resultados para las cuatro regiones:
1 2t
e [1 + e10 2e4 ]
para t < 1,

21 2t 10
1 2
4
e [e
2e ] + 2 e para 1 t < 3,
2
y(t) = h(t) x(t) =
1 2(t5)
1 2
e

e
para 3 t < 6,

2
2
0
para 6 t < .

115

Obsrvese que en este problema se puede tomar como sistema mvil a la funcin
h(t ) y se desplaza sta sobre el sistema fijo que sera la funcin x( ), debido a
que la convolucin satisface la propiedad de conmutatividad. Lo anterior se deja
como ejercicio para el lector.

116

3. Problemas de Anlisis de Fourier

56. 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,




sen(3w)
1
sin(3w)
G(w) =
= F1 (w)F2 (w),
=
w(2 + jw)
w
2 + jw
De esta forma podemos emplear los siguientes resultados de pares de Transformadas de Fourier (que el lector puede mostrar fcilmente aplicando la definicin
de la transformada de Fourier.



F ebt H(t) =

1
,
b + jw

(3.25)

2k sin(aw)
,
(3.26)
w
donde las funciones Hs, son las funciones de Heaviside que se muestran en la
siguiente figura.
F [kH(t + a) kH(t a)] =

Figura 3.28: Funciones de Heavside.

3.7. Convolucin de funciones

117

Por lo tanto, la TIF de la funcin G(w) est dada por,





1
sin(3w)
1

g(t) = F [G(w)] = F
,
w
2 + jw

(3.27)

de esta forma, aplicando las transformadas dadas por las ecuaciones (47) y (48)
con a = 3, b = 2 y k = 1, obtenemos


 2t

1 1
(3.28)
F [H(t + 3) H(t 3)] F e H(t) .
g(t) = F
2

En esta parte aplicamos el teorema de Convolucin que establece que:


Si
F [f1 (t)] = F1 (w)

F [f2 (t)] = F2 (w)

entonces,



F f( t) f2 (t) = F1 (w)F2 (w)

(3.29)

as, de las ecuaciones (50) y (51) obtenemos


g(t) =



1
[H(t + 3) H(t 3)] e2t H(t) .
2

Ahora, aplicando la Convolucin de dos funciones f1 y f2 definida por:


f1 (t) f2 (t) =

f1 ( )f2 (t )d

obtenemos,
Z


1
[H( + 3) H( 3)] e2(t ) H(t ) d
g(t) =
2
Z

Z
e2t
2
2
=
H( + 3)H(t )e d
H( 3)H(t )e d .
2

(3.30)
Para resolver las integrales anteriores, analicemos las funciones de Heaviside involucradas en dichas integrales.

1 si > 3
H( + 3) =
0 si < 3

1 si > 3
H( 3) =
0 si < 3

118

3. Problemas de Anlisis de Fourier


H(t ) =

1 si t >
0 si t <

H( + 3)H(t ) =

1 si 3 < < t
0 si < 3 & > t

de donde,
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,


Z

H( + 3)H(t )e d =
=

y
Z

H( 3)H(t )e d =
=

 Rt

e2 si > 3
si < 3

e2 d H(t + 3)
3

 Rt

e2 si > 3
0
si < 3
3

e2 d H(t 3).

De esta forma, de la ecuacin (52) obtenemos,



Z t
Z t
e2t
2
2
e d H(t 3)
e d H(t + 3)
g(t) =
2
3
3


e2t 1  2 t 
1  2 t 
=
e 3 H(t + 3)
e 3 H(t 3)
2 2
2




e2t 1 2t
1 2t
6
6
=
e e
e e H(t 3)
H(t + 3)
2 2
2

Finalmente, la TIF de la funcin G(w) est dada por:

g(t) =




1
1 e2(t+3) H(t + 3) 1 e2(t3) H(t 3) .
4

3.7. Convolucin de funciones

119

57. 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 definicin, la convolucin de las funciones x(t) y h(t) est dada por,
Z
x(t) h(t) =
x( )h(t )d

en este caso;

g(t) = et H(t) e2t H(t)


Z
=
e H( )e2(t ) H(t )d
Z

=
e e2 e2 H( )H(t )d
Z

e2 e H( )H(t )d
=

Z
2t
= e
e H( )H(t )d,

pero:
H( ) =
y

0 si < 0
1 si > 0

H(t ) =

0 si t <
1 si t >

H( )H(t ) =

0 si t <
1 si 0 < < t

por lo tanto,

Por lo que,
e

2t

e H( )H(t )d =

e2t
0

Rt
0

e d si t > 0
si t < 0

120

3. Problemas de Anlisis de Fourier


e

2t

es decir;

e H( )H(t )d =

e2t (et 1) si t > 0


0
si t < 0

g(t) = (et e2t H(t).


Ahora transformamos el resultado, calculamos la Transformada de Fourier de g(t) = (et e2t ) H(t).
Por definicin:
F [g(t)] = F (w) =


et e2t H(t)ejwt dt.

haciendo un poco de lgebra, obtenemos

F (w) =
=
=
=
=

(1+jw)t

H(t)dt
e(2+jw)t H(t)dt
Z
Z

e(2+jw)t dt
e(1+jw)t dt
0
0 

1
1
(1+jw)t
(2+jw)

e
e
+
1 + jw
2 + jw
0
0
1
1

1 + jw 2 + jw
2 + jw 1 jw
(1 + jw)(2 + jw)
e

Finalmente, obtenemos
F [g(t)] =

1
2 w 2 + 3jw

b) Aplicando el teorema de convolucin

donde:

y
es decir,



F et H (t) e2t H (t) = F (w) G (w)


F (w) = F et H (t)


G (w) = F e2t H (t)

3.7. Convolucin de funciones

121

F (w) =
=
=

et H (t) ejwt dt

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

1
=
e(1+jw)t
1 + jw
1
=
1 + jw


0

y
G (w) =
=

e2t H (t) ejwt dt

e(2+jw)t dt

0
=

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


0

de donde obtenemos;


F e H (t) e

2t

H (t) =

1
1 + jw



1
2 + jw

1
+ 3jw

w2

122

3. Problemas de Anlisis de Fourier

3.8. Transformada de Fourier de funciones especiales


58. Hallar la Transformada de Fourier de la funcin impulso (delta de Dirac) desplazada, (t t0 ).
Solucin:

Aplicando la definicin de la TF y propiedades de la funcin delta (ver ecuaciones en trminos de la funcin de prueba), obtenemos
Z

(t t0 )ejwt dt = ejwt t=t0 ,
F [(t t0 )] =

es decir,

de donde.

F [(t t0 )] = ejwt0
|F (w)| = 1.

Figura 3.29: 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 si ilustra en la figura.
59. 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 (3.22). Aplicando la definicin de la TF tenemos,
Z
F [A] = A
ejwt dt

3.8. Transformada de Fourier de funciones especiales

123

utilizando la ecuacin de la funcin delta, (ver ecuacin (??), haciendo x = t y


y = w) obtenemos inmediatamente,
F [A] = 2A(w),
asimismo, en la ecuacin anterior podemos hacer uso de la propiedad de la delta
1
1
(t), haciendo a = 1 obtenemos (w) = |1|
(w), de donde final(at) = |a|
mente obtenemos,
F (w) = F [A] = 2A(w).

Figura 3.30: Funcin constante y su transformada de Fourier.


Obsrvese que si A = 1, entonces F [1] = 2(w). Este ejemplo muestra que cuando una funcin f (t) es constante, contiene solamente una componente de frecuencia 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 constante A es la transformada de Fourier de una funcin pulso rectangular cuando el
periodo tiende a infinito.
60. Hallar la Transformada de Fourier de las funciones f (t) = cos(w0 t) y f (t) =
sin(w0 t)
Solucin:
Para la funcin f (t) = cos(w0 t) (ver figura)tenemos,
ejw0 t + ejw0 t
]
2

1
F [ejw0 t ] + F [ejw0 t ]
=
2

F [cos(w0 t)] = F [

124

3. Problemas de Anlisis de Fourier

Figura 3.31: Funcin Coseno de duracin finita.



Z
Z
1
jw0 t jwt
jw0 t jwt
e
e
dt
e e
dt +
=
2


Z
Z
1
j(w+w0
j(ww0 )t
=
e
tdt
e
dt +
2

obsrvese que se aplic la propiedad de linealidad de la transformada de Fourier.


Finalmente, aplicando la propiedad de la delta, ver ecuacin (??), obtenemos
F [cos(w0 t)] = (w w0 ) + (w + w0 ),

la funcin f (t) = cos(w0 t) y su transformada de Fourier se muestran en la figura.

Figura 3.32: Transformada de Fourier de la funcin Coseno de duracin finita.


De un procedimiento anlogo el lector puede mostrar que,
F [sin(w0 t)] = j(w w0 ) + j(w + w0 ).

3.8. Transformada de Fourier de funciones especiales


61.

125

a) Calcule la transformada de Fourier de la funcin Signo definida 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 funcin de Heaviside.
Solucin:

Figura 3.33: Funcin Signo.


a) Explcitamente la funcin Signo (ver figura), est dada por

1
para t > 0
|t|
0
para t = 0
Sng(t) =
=

t
1 para t < 0.

Como se observa, esta funcin no es absolutamente integrable, es decir; no


cumple
Z

kf (t)k2 dt < ,

de esta forma, se multiplica esta funcin por ea|t| para que sea absolutamente integrable, y despus sea toma el limite cuando a 0.
h
i
F [Sng(t)] = F lm ea|t| Sng(t)
a0

126

3. Problemas de Anlisis de Fourier


= lm

a0

Z

a|t|

Sgn(t)e

jw

dt


 Z 0
Z
at jwt
at jw
e e
dt
e e dt +
= lm
a0
0


 Z 0
Z
(a+jw)t
(ajw)t
e
dt .
e
dt +
= lm
a0

Evaluando las integrales, que son inmediatas obtenemos,


"
0
#


1
1
F [Sng(t)] = lm

e(ajw)t
e(a+jw)t
a0
a jw
a + jw

0


1
1
,
= lm
+
a0
a jw a + jw
por lo tanto,


  
2jw
2
.
F [Sng(t)] = lm 2
=
2
a0 a + w
jw

Figura 3.34: Funcin de Heaviside.


b) Por definicin, como se observa en la figura, la funcin de Heaviside est
dada por:

0 si t < 0
H( ) =
1 si t > 0
Obsrvese de las definiciones de la funcin Signo y de Heaviside (ver figuras
anteriores) que:
Sgn(t) = 2H(t) 1

3.8. Transformada de Fourier de funciones especiales

127

de donde,

1
[1 + Sgn(t)]
2
por lo que aplicando la propiedad de linealidad de la Transformada de Fourier, obtenemos
H(t) =

1
[F [1] + F [Sng(t)]]
2

1
2
=
2(w) +
2
jw
1
.
= (w) +
jw

F (w) = F [H(t)] =

c) La siguiente figura muestra el espectro de frecuencias (funcin de densidad


espectral) de la funcin de Heaviside.

Figura 3.35: 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 generalizada, explcitamente que la derivada de la funcin de Heaviside es igual a la
funcin , ver la ecuacin (??).

128

3. Problemas de Anlisis de Fourier

3.9. Aplicaciones de la Transformada de Fourier


62. Resolver la siguiente ecuacin diferencial,
y 0 + y = H(t)et
Solucin:
Para resolver la ecuacin diferencial haremos uso de algunas propiedades de la
Transformada de Fourier as como el uso de algn par de Trasformadas, para
finalmente aplicar el teorma de Convolucin. Si aplicamos la Transformada de
Fourier a la ecuacin diferencial obtenemos,


F [y 0 ] + F [y] = F H(t)et
si escribimos,

F [y] = F (w)

y aplicando la propedad de derivacin de la Transformada de Fourier obtenemos,


jwY (w) + Y (w) =
es decir,
Y (w) =

1
1 + jw

1
1
1

=
2
(1 + jw)
(1 + jw) (1 + jw)

de donde,
y(t) = F 1 [Y (w)]
 



= F 1 F H(t)et F H(t)et

obsrvese que en la ecuacin anterior aplicamos el par de transformadas




F ebt H(t) =

1
.
b + jw

De esta forma al aplicar convolucin obtenemos


 

y(t) = F 1 F H(t)et H(t)et
= H(t)et H(t)et
Z
=
H( )e H(t )e(t ) d

Z
t
= e
H( )H(t )d.

3.9. Aplicaciones de la Transformada de Fourier

129

Para resolver la integral anterior, analicemos las funciones de Heaviside en el


integrando.
1 si > 0
0 si < 0

1 si t >
H(t ) =
0 si t <
H( ) =

H( )H(t ) =

de donde,

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

H( )H(t )d =

es decir,
y(t) = e

et
0

Rt
0

d si > 0
si < 0

d H(t).
0

Finalmente al resolver la integral, la solucin de la ecuacin diferencial est dada


por:
Z t
t
y(t) = e
d H(t).
0

o tambin,

y(t) =

tet si t > 0
0
si t < 0

Das könnte Ihnen auch gefallen