Matemticas Avanzadas

Dr. Erick E. Luna Rojero

Facultad de Ingeniera
Divisin de Ciencias Bsicas
Universidad Nacional Autnoma de Mxico
2009 (ver. 0.1)
http://basicas.fi-c.unam.mx

ndice general
I

Variable compleja

1. Funciones de variable compleja y mapeos

Nmeros complejos . . . . . . . . . . . . . . . .
El plano de Argand . . . . . . . . . . . . . . . .
Funcin Compleja . . . . . . . . . . . . . . . .
Polinomios . . . . . . . . . . . . . . . . .
Funcin exponencial compleja . . . . . . .
Funcin logaritmo . . . . . . . . . . . . .
Funciones trigonomtricas . . . . . . . . .
Ejercicios . . . . . . . . . . . . . . . . . . . . .
Ejercicios en clase . . . . . . . . . . . . .
Tarea . . . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

11
11
13
14
15
15
16
16
17
17
17

2. Funciones analticas y mapeos conformes

Lmites . . . . . . . . . . . . . . . . . . . . . .
Continuidad . . . . . . . . . . . . . . . . . . . .
Derivada compleja . . . . . . . . . . . . . . . .
Ecuaciones de Cauchy-Riemann-(DAlembert) .
Funciones Analticas . . . . . . . . . . . . . . .
Funciones armnicas . . . . . . . . . . . . . . .
Derivadas de funciones importantes . . . . . . .
Funcin exponencial . . . . . . . . . . . .
Funcines trigonomtricas . . . . . . . . .
Funcin logaritmo . . . . . . . . . . . . .
Mapeo conforme . . . . . . . . . . . . . . . . .
Mapeo isogonal . . . . . . . . . . . . . . .
Algunos mapeos . . . . . . . . . . . . . .
Tarea . . . . . . . . . . . . . . . . . . . .

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

19
19
20
20
21
22
22
24
24
24
24
25
25
25
26

3. Integral de lnea de funciones de variable compleja

Integral de lnea compleja . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Definicin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Integracin paramtrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

29
29
29
30

4. Teorema integral de Cauchy-Goursat

Corolarios . . . . . . . . . . . . . . . . . .
Independencia de la trayectoria . . .
Antiderivada . . . . . . . . . . . . .
Deformacin . . . . . . . . . . . . . .

.
.
.
.

31
32
32
32
32

5. Frmulas integrales de Cauchy

Frmula integral de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Derivadas de funciones analticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Extensin de la frmula integral de Cauchy para una anillo . . . . . . . . . . . . . . . . .

33
33
33
34

NDICE GENERAL

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

6. Serie Laurent y teorema del residuo

37

Series Complejas . . . . . . . . . . .
Series de potencias complejas . . . .
Serie de Taylor compleja . . . . . . .
Serie de Laurent compleja . . . . . .
Teorema del Residuo . . . . . . . . .
Clasificacin de singularidades .
Ceros de una funcin . . . . . .
Residuos . . . . . . . . . . . . .
Teorema del Residuo . . . . . .
Residuos y polos . . . . . . . .

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

37
37
38
39
39
39
39
40
40
40

7. Aplicacin del anlisis complejo

Fractales . . . . . . . . . . . . . . . .
Conjunto de Mandelbrot . . . .
Fenmenos de transporte . . . . . .
Transferencia de calor . . . . .
Difusin molecular . . . . . . .

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

43
43
43
44
44
45

II

Series de Fourier

47

8. Series de Fourier
Funciones perodicas y seales fsicas . . . . . . . .
Funciones ortogonales . . . . . . . . . . . . . . . .
Algebra lineal . . . . . . . . . . . . . . . . . .
Funciones . . . . . . . . . . . . . . . . . . . .
Definicin de la Serie de Fourier . . . . . . . .
Condiciones de Dirichlet . . . . . . . . . . . .
Aproximacin por Fourier . . . . . . . . . . .
Fourier en las discontinuidades . . . . . . . .
Teorema de Parseval . . . . . . . . . . . . . .
Simetras (propiedades de paridad) . . . . . .
Derivacin e Integracin de Series de Fourier
Ejemplos . . . . . . . . . . . . . . . . . . . .
Funcin Heaviside y Delta de Dirac . . . . . .
Derivacin en puntos singulares . . . . . . . .
9. Serie de Fourier compleja y espectro de
Forma compleja de las series de Fourier . . .
Espectros de frecuencia compleja . . . . . . .
Contenido de potencia y teorema de Parseval

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

49
49
49
49
50
50
51
51
52
52
52
52
52
53
53

frecuencia
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . .

55
55
55
56

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

10.Ejercicios de Serie de Fourier

57

III

59

Transformada de Fourier

11.Transformada de Fourier
Deduccin . . . . . . . . . . . . . . . . .
Transformada de Fourier . . . . . . . . .
Integral de Fourier . . . . . . . . . . . .
Espectro de frecuencia continuo . . . . .
Transformadas seno y coseno de Fourier
Convolucin y correlacin . . . . . . . .
Ejemplos . . . . . . . . . . . . . . . . .
4

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

61
61
61
61
62
62
62
62

NDICE GENERAL

Uso de la computadora para transformada de Laplace . . . . . . . . . . . . . . . . . . . .

64

12.Transformada Discreta de Fourier

65

13.Ejercicios de Transformada de Fourier

67

IV

Apndices

Apndice
Apndice
Apndice
Apndice

A:
B:
C:
D:

NDICE GENERAL

Tabla de transformada de Fourier . . . . .

Tabla de transformada seno de Fourier . .
Tabla de transformada coseno de Fourier .
Referencias Bibliogrficas . . . . . . . . . .

69
.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

71
72
72
72

"Dara todo lo que s, por la mitad de

lo que ignoro"
Ren Descartes

NDICE GENERAL

Parte I

Variable compleja

Objetivo: El alumno manejar los conceptos

y los mtodos bsicos de la teora de las funciones
de variable compleja, para la resolucin de problemas de matemticas e ingeniera.

10

Captulo 1

Funciones de variable compleja y mapeos

Nmeros complejos
Definicin
Si se postula a la unidad imaginaria como
i2 = 1
se puede definir a un nmero complejo como:
z = x + iy,
en donde x y y son nmeros reales.
A x se le llama parte real de z

y a y parte imaginaria de z
y = Im (z)
Igualdad: Dos nmeros complejos z = a + ib
y w = c + id cumplen que
y

Mdulo o magnitud: El mdulo o la magnitud de un nmero complejo z = x+iy se denota

como |z| y se define como


|z| = x2 + y 2 .

Cociente: El cociente de dos nmeros complejos z = a + ib y w = c + id = 0 se define

como:
z
w
z
w

x = Re (z)

z = w {a = c

Complejo conjugado: El complejo conjugado de z = x+iy se denota como z o z , y se define

por
z = z = x iy

b = d}

Suma: La suma de dos nmeros complejos

z = a + ib y w = c + id se define como
z + w = (a + c) + i (b + d)

=
=

zw
zw
=
2
ww
|w|
ac + db
bc ad
+i 2
2
2
c +d
c + d2

Teorema 1 Sean z y w dos nmeros complejo,

entonces
z z
(z + w)
(zw)
z
w

= |z|2
= z+w
= zw
z
=
w

Plano de Argand o complejo: Se puede

Multiplicacin: La multiplicacin de dos nmeros representar geomtricamente a un nmero comcomplejos z = a + ib y w = c + id se define como
plejo en un plano de Argand o complejo, Z, ste
consiste en dos ejes ortogonales, el horizontal repzw = (a + ib) (c + id)
resenta a la parte real del nmero complejo y el
zw = (ac bd) + i (ad + bc)
vertical a la parte imaginaria.
Funciones de variable compleja y mapeos

11

la confusin de tener una funcin multivaluada se

define al argumento principal de z como el tal
que
<
y se denota:

= Arg (z)
Teorema 2 Sean z y w dos nmeros complejos

Plano de Argand
Forma polar de un nmero complejo. Sea
z = x + iy un punto en el plano de Argand.
Si se define a r como la distancia del origen al
punto (x, y) y a como el ngulo que forma el
eje horizontal con r (ver figura), de argumentos
trigonomtricos se tiene que:
x = r cos
y = r sen
r

x2 + y2 = |z|
y
= tan1
x
=

|zw|
z
 
 
w
arg (zw)
z
arg
w
arg (z)

= |z| |w|
|z|
slo si w = 0
=
|w|
= arg (z) + arg (w)
= arg (z) arg (w)
= arg (cz)

si

c>0

Potencias enteras de un nmero complejo: Sea el nmero complejo z = r (cos + i sen )

entonces
z n = rn {cos (n) + i sen (n)}
donde n es un nmero entero.
Potencias fraccionarias de un nmero complejo: Sea el nmero complejo z = r [cos + i sen ]
entonces



 
1
1
+ 2k
+ 2k
m
m
z =r
+ i sen
cos
m
m
donde m 1 es un nmero entero y
k = 0, 1, 2, ..., m 1.

Representacin polar de un nmero complejo

entonces
z
z

= x + iy = r (cos + i sen )
= |z| ei

o en forma simblica
z
z

= rcis ()
= r.

De las frmulas se observa que r es la magnitud

o mdulo de z. A se le nombra el argumento de
z, y se denota:
= arg (z) .
Argumento principal: En general es cualquier
ngulo tal que = tan1 (y/x), esto es, hay un
nmero infinito de argumentos de z. Para evitar
12

Al igual que en los nmeros reales existen m posibles valores para la raz m esima de z.
El nmero complejo infinito: Definimos al
nmero complejo infinito como el que satisface a
z

z
z
0
z

= 0
= : z =
= : z = 0

= : z = 0

= : z = .

Esfera de Riemann: Cuando el plano de Argand incluye al punto infinito, se llama plano z
extendido. Para entender mejor lo que significa
el punto infinito se utiliza la esfera numrica de
Riemann. El punto z1 es proyectado en el punto
1 de la esfera de Riemann con la ayuda de un
segmento de recta que une a los puntos B y z1 .
El punto z = 0 de Argand es el A de la esfera de
Riemann y el punto del plano de Argand es el
B de la esfera de Riemann.
Funciones de variable compleja y mapeos

Conjunto abierto: Un conjunto abierto es aquel

en el que, para todo elemento, existe una vecindad cuyos puntos pertenecen al conjunto.

Esfera de Riemann

El plano de Argand
Para poder estudiar el clculo son necesarias
las definiciones que a continuacin se muestran:
Punto: (.)
Conjunto: Una coleccin de puntos en el plano
complejo.
Vecindad: Se llama vecindad (o entorno) de
radio r, de un punto z0 , al conjunto de puntos
situados en el interior de un crculo de radio r
centrado en z0 , es decir la regin |z z0 | < r

Conjunto abierto
Ejemplo.- |z| < 1.
Conjunto cerrado: Un conjunto cerrado es aquel
en el que, para al menos un elemento, no existe
una vecindad cuyos puntos pertenecen todos al
conjunto.

Conjunto cerrado
Ejemplo .- |z| 1.
Conjunto conexo: Un conjunto es conexo si dados dos puntos cualesquiera del conjunto, existe
una trayectoria formada por segmentos de recta
que los une, y cuyos puntos pertenecen al conjunto.
|z z0 | < r
Vecindad punteada: Una vecindad punteada
de z0 es el conjunto de puntos tal que 0 < |z z0 | <
r

Conjunto conexo

0 < |z z0 | < r
Funciones de variable compleja y mapeos

Dominio: Llamamos dominio a un conjunto

abierto conexo.
Dominio simplemente conexo: Un dominio sin
agujeros.
Dominio multiplemente conexo: Un dominio
con agujeros.
13

Conjunto multiplemente conexo

|z| = 1
Punto frontera: Es un punto tal que toda vecindad de dicho punto contiene al menos un punto
que pertenece al conjunto y otro que no.

|z z0 | r0

Punto interior : Es un punto tal que toda vecindad de dicho punto contiene puntos que pertenece
al conjunto.
Punto exterior: Es un punto tal que toda vecindad de dicho punto no contiene puntos que pertenece
al conjunto.
Regin: Es la unin de un dominio y posiblemente algunos, ninguno o todos sus puntos frontera.
Conjunto acotado: Un conjunto para el cual
existe un crculo de radio finito que circunscribe
al conjunto.
Ejemplos de Regiones en el plano:

|z z0 | r0
1 < |z 1| 2. En la figura se muestra
al crculo interno punteado, lo que significa
que la regin no toca a la frontera, mientras
que el crculo externo es continuo, ya que la
regin incluye a la frontera.

Ejemplos

0
-2

-1

2
x

-1

-2

Re (z) = Im (z)

1 < |z 1| 2

Funcin Compleja
Una funcin compleja se define como

|z| = 1, aquse puede utilizar la definicin

de mdulo, a2 + b2 = 1, esto es, a2 + b2 =
12 , una circunferencia con centro en el origen y radio 1.
14

w = {z D, w I |w = f (z) }
En donde D es el dominio de la funcin en el
plano Z, e I es la imagen (rango o recorrido) de
Funciones de variable compleja y mapeos

la funcin en el plano W. Decimos que la funcin

mapea el punto z1 = x1 + iy1 D al punto w1 =
u1 + iv1 I. La grfica natural de la regla de
correspondencia w = f (z) es imposible ya que se
requieren cuatro dimensiones, dos para z ( una
para x y otra para y) y dos para w (una para u
y otra para v). Si se quiere analizar grficamente
a una funcin compleja un mtodo es utilizar dos
espacios independientes en dos dimensiones, uno
para z y otro para w tal como se muestra en la
siguiente figura.

Ejemplo

w = {z D, w I :w = |z|}
D = {|z| 1}


w = |z| = x2 + y2

si tomamos |z| = 1 = x2 + y 2 = 1 w = 1

si |z| = 0 = x2 + y 2 = 0 w = 0,
es decir, la circunferencia unitaria con centro
en el origen, se mapea en el segmento de recta de
0 a 1 como se muestra en la figura.

Funcin compleja w = f (z).

Una forma adecuada de visualizar el mapeo
de la funcin es analizar como se transforman el
conjunto de segmentos de lneas x = Ci y y = Cj ,
la figura siguiente representa la cuadrcula que
forma estas rectas

Polinomios
Una de las funciones complejas ms simples es
el polinomio, esta funcin tiene la regla de correspondencia:
w = f (z) = an z n + an1 z n1 + + a1 z + a0
donde las an son nmeros complejos y n es un
nmero entero positivo. En general los teoremas
y propiedades de estas funciones que se estudian
en cualquier curso de algebra son vlidos para el
caso complejo (en realidad en un curso de algebra
implcitamente todas las variables y constantes
son complejas).

Funcin exponencial compleja

Estos segmentos de recta se mapean mediante
f (z) al espacio w = u+iv. Por ejemplo, la funcin
f (z) = (z 1) / (z + 1) mapea a dicha cuadrcula
en la siguiente grfica

La funcin exponencial compleja se define como:

ez = ex+iy = ex (cos y + i sen y) .
z

(1.1)

De aqu se observa que Re (e ) = e cos y e Im (ez ) =

ex sen y. Algunas de las propiedades de esta funcin se enuncian en el siguiente teorema.
Teorema 3 Sean z1 , z2 y z nmeros complejos

ez1 ez2
(ez )a
ez1
ez2
|ez |
ez
arg (ez )

Funciones de variable compleja y mapeos

= ez1 +z2
= eaz con a 0
= ez1 z2

= ex

=
0 : z
= y + 2k : k = 0, 1, 2, ...
15

Periodicidad de ez . Aunque la funcin exponencial real no es peridica, la forma compleja

de la exponencial presenta una comportamiento
peridico, para mostrar ello tomemos
ez+2ki

ez+2ki

=
=
=
=

Teorema 4 Sean z y w nmeros complejos diferentes de cero, r un nmero racional y n cualquier

entero
elog(z)
log (ez )
log (zw)
z
log
w
log (z r )

ex+i(y+2k)
ex (cos [y + 2k] + i sen [y + 2k])
ex (cos y + i sen y)
ez

por lo tanto la funcin exponencial es peridica

con perido imaginario 2i.
Algunos valores de ez
e0+i0
ei/2
ei
i3/2
e

=
=
=
=

1
i
1
i

Note que de la tercera igualdad ei + 1 = 0, esta

igualdad contiene a los cinco nmeros ms importantes en matemticas: e, i, , 1 y 0.

= z
= z + 2ni
= log z + log w
= log z log w
= r log z

Logaritmo principal: La ecuacin 1.3 representa a un conjunto infinito de nmeros complejos, n = 0, 1, 2, ..., para poder definir a una
funcin compleja (por lo tanto univaluada) tomamos
slo al argumento principal de log z, y obtenemos
el logaritmo principal de log z, que denotamos por
Log (z):
Log (z) = ln |z| + iArg (z)

(1.4)

Funciones trigonomtricas
Definimos al seno y coseno imaginarios como:

Funcin logaritmo
sen (z) =

Definimos, si z = 0, al logaritmo de z como

w = log z z = ew

(1.2)

De la definicin tenemos que

z
rei
rei

cos (z) =

tan (z) =
sec (z) =

comparando
=
=
=
=
=

csc (z) =

r
|z|
ln |z|
ln |z|
ln |z|

cot (z) =

=
=
=
=
=

ei
+ 2n : n = 0, 1, 2, ...
arg (z) + 2n
arg (z) + 2n
arg (z) + 2n

entonces
w = u + iv
w = ln |z| + i (arg (z) + 2n)
log z = ln |z| + i [arg (z) + 2n]
16

(1.6)

sen (z)
cos (z)
1
cos (z)
1
sen (z)
cos (z)
sen (z)

(1.7)
(1.8)
(1.9)
(1.10)

Propiedades

y
eiv
v
v
Im w
Im (log z)

(1.5)

adems

= ew
= eu+iv
= eu eiv

eu
eu
u
Re w
Re (log z)

eiz eiz
2i
iz
e + eiz
2

(1.3)

1
2
1 + tan (z)
sen (2z)
sen (z w)
cos (z w)
cos (2z)

=
=
=
=
=
=

sen2 (z) + cos2 (z)

sec2 (z)
2 sen (z) cos (z)
sen (z) cos (w) cos (z) sen (w)
cos (z) cos (w) sen (z) sen (w)
cos2 (z) sen2 (z)

Periodicidad de las funciones trigonomtricas: Las funciones seno y coseno son peridicas
con perido real 2, es decir:
sen (z) = sen (z + 2n)
cos (z) = cos (z + 2n)
Funciones de variable compleja y mapeos

Ejercicios
Ejercicios en clase

7. Escriba en trminos de z y z a:

w = 2xy + i x2 y 2
w

1. Estudie la forma en que w = sin z transforma a la franja y 0, /2 x /2.

2. Demuestre que la transformacin w = 1/z
transforma a la recta infinita Imz = 1 en un
crculo en el plano w. Encuentre la ecuacin
del crculo.
3. Determine la imagen del arco semicircular
|z| = 1, 0 argz , bajo la transformacin w = z + 1/z. Sugerencia: tome z = ei .

= x2 + y 2

8. Determinar todos los valores tales que eiz =

2.
9. Si cos z = 2 obtener cos 2z.
10. Emplee logaritmos para resolver z en:
(ez 1)2
ez

= ez
= e2z

4. Identificar las imgenes de cos z de las rectas paralelas al eje real.

11. Estudie la forma en que el conjunto Re (z) =

Im (z) se transforma mediante w = sin (z) .

5. Determine la imagen de la banda 1 y 2

en el plano z bajo la transformacin w = z 2 .

12. Estudie la forma en que w = ez transforma

a la regin 0 y /2 y 0 x 1
13. Determine la imagen de |z| = 1, bajo la
transformacin w = z 2 + 2 + 1/z 2 .

Tarea

14. Identificar las imgenes de w = z + z 2 de

las rectas paralelas al eje real.

1. Demuestre que
(z1 z2 ) = z1 z2
(z1 z2 ) = z1 z2
 
z1
z1
=
z2
z2
2. Sea n un nmero entero n 0. Encuentre
el mdulo de

n
x + iy
x iy
3. Encuentre la forma a + ib de un nmero
complejo con r = 2 y = 3.
4. Escriba a las siguientes expresiones en la
forma a + ib
i1/2
1/2
(1 i)
5. Describa con una relacin matemtica, a los
puntos que pertenecen a la circunferencia y
al interior del crculo de radio 2 y centro en
3 + 4i, excepto en el centro del crculo.
6. Escriba a las siguientes funciones en la forma u + iv :
(z i)

(
z )2 + i

Funciones de variable compleja y mapeos

17

18

Funciones de variable compleja y mapeos

Captulo 2

Funciones analticas y mapeos conformes

Lmites
Sean una funcin compleja f (z) y una constante compleja L. Si para todo nmero real > 0
existe un nmero real > 0 tal que

iguales, entonces el lmite existe. Por otro lado,

en el caso complejo, no hay slo dos direcciones,
sino un nmero infinito de trayectorias por las
cuales z tiende a z0 , y para que el lmite exista,
todos estos lmites debern existir y ser iguales.
Teorema 5 Suponga que

|f (z) L| <

lm f (z)

zz0

para todo z tal que

0 < |z z0 | <

lm f (z) = L,

es decir, que f (z) tiene lmite L cuando z tiende

a z0 .

Lmite complejo
Es fcil notar que la definicin de lmite real
y lmite complejo son muy similares, sin embargo, existen diferencias entre ellas. Para ilustrar lo
anterior recuerde que en el caso real si los lmites
por la izquierda y por la derecha existen y son
Funciones analticas y mapeos conformes

lm g (z)

zz0

lm [f (z) + g (z)] =

zz0

existen

lm f (z) + lm g (z)

zz0

zz0

lm [f (z)] = lm f (z) :

entonces decimos que

zz0

zz0

lm [f (z) g (z)] =


f (z)
lm
=
zz0 g (z)

zz0

zz0

lm f (z) lm g (z)

zz0

zz0

lmzz0 f (z)
si lm g (z) = 0
zz0
lmzz0 g (z)

Ejemplo
Analice al siguiente lmite

 2
y2 + y
x +x
+i
lm f (z) = lm
z0
z0 x + y
x+y
tomemos dos trayectorias, la primera a lo largo
del eje y acercndose por arriba, sobre esta trayectoria x = 0 y el lmite

 2
y +y
lm f (z) = lm i
z0
y0
y
= lm [i (y + 1)] = i
y0

la segunda a lo largo del eje x acercndose por

la derecha, sobre esta trayectoria y = 0 y el lmite.
19

x2 + x
x0
x
= lm [x + 1] = 1

lm f (z) =

z0

lm

Primero se analiza si f (z0 ) existe, para este

problema f (i) = 3i, lo que sigue es encontrar el
lmite
z2 + 1
zi z i
z 2 i2
= lm
zi z i
(z + i) (z i)
= lm
zi
zi
= lm (z + i)
lm

x0

como los lmites por diferentes trayectorias son

diferentes el lmite no existe.

zi

= 2i
aunque el lmite existe tenemos que,


z2 + 1
lm
= 2i = (f (i) = 3i)
zi z i
por lo tanto no es continua.
El lmite no existe

Continuidad

Derivada compleja

Decimos que una funcin w = f (z) es continua en z = z0 si se satisfacen las dos condiciones
siguientes:

Dada una funcin de variable compleja f (z),

la derivada en z0 , se define como:

1. f (z0 ) est definido

f (z0 ) =

2. lmzz0 f (z) , y lmzz0 f (z) = f (z0 )

f (z0 + z) f (z0 )
z
f (z) f (z0 )
= lm
zz0
z z0

Teorema 6 Sean f (z) y g (z) continuas en z0 ,

entonces en z0
f (z) g (z) ,
f (z) g (z) ,
f [g (z)] y
|f (z)|
son continuas y
f (z)
g (z)
es continua si g (z0 ) = 0,
adems si f (z) = u (x, y) + iv (x, y), entonces
u (x, y) y v (x, y)
son continuas.
Ejemplo
Estudie la continuidad en z = i de la funcin
 z2 +1
z=
 i
zi
f (z) =
3i
z=i
20


df 
dz z0
lm

z0

siempre y cuando el lmite exista. La definicin

anterior es muy similar al caso real, sin embargo,
se debe tener cuidado ya que el lmite complejo, es ms complicado de obtener. El problema
de la existencia de la derivada se estudiar ms
adelante.
Teorema 7 Si f y g son funciones derivables en
z0
(f + g)

(f )
(f g)
 
f
g
df [g (z)]
dz

= f + g
= f
= f g + f g
=
=

gf f g
: g = 0
g2
df dg
dg dz

Ejemplo
Funciones analticas y mapeos conformes

Si f (z) = z n ,
dz n
= nz n1
dz
Ejemplo
Sea f (z) = z, pruebe que f (i) .
La definicin de la derivada es:
z (i)
zi
z + i

f (i) = lm
zi z i
f (i) =

lm

zi

complicado, an en funciones sencillas. En esta

seccin se estudia una manera simple de probar
si la derivada existe y cmo calcularla.
Suponga que la funcin f (z) = u(x, y)+iv(x, y)
tiene derivada en z0 = x0 + iy0 , es decir,
f (z0 + z) f (z0 )
z0
z

f (z0 ) = lm

en donde el incremento es z = x + iy. Si

se toma el lmite por dos diferentes trayectorias
como se muestra en la figura

para analizar este lmite utilizaremos dos trayectorias diferentes:

la primera sobre el eje imaginario, aqu, x = 0,
entonces el lmite es
x iy + i
zi x + iy i
iy + i
= lm
y1 iy i
y1
= lm
y1 y 1
= 1

f (i) =

lm

a la segunda trayectoria la definimos como la

recta horizontal y = 1, en este caso el lmite
x iy + i
x + iy i
xi+i
= lm
x0 x + i i
x
= lm
x0 x
= 1

f (i) =

Se toman dos diferentes trayectorias

para la trayectoria I, y = y0 , y = 0 y z =
x, entonces la derivada
f (z0 + x) f (z0 )
x0
x
u (x0 + x, y0 ) + iv (x0 + x, y0 )
u (x0 , y0 ) iv (x0 , y0 )
= lm
x0
x



f (z0 ) =

lm

lm

lm

zi

como ambos lmites tienen diferentes valores, la

derivada no existe.

f (z0 ) =

Ecuaciones de Cauchy-Riemann(DAlembert)
Como se mostr en ejemplos anteriores probar que la derivada existe apartir de un lmite es
Funciones analticas y mapeos conformes

v
u
+i
x
x

x0 ,y0

para la trayectoria II, x = x0 , x = 0 y z =

iy, entonces la derivada
f (z0 ) =

La derivada no existe

x0

u(x0 +x,y0 )u(x0 ,y0 )

+
x
v(x0 +x,y0 )v(x0 ,y0 )
i
x

=
=
=
=

f (z0 + iy) f (z0 )

iy
u (x0 , y0 + y) + iv (x0 , y0 + y)
u (x0 , y0 ) iv (x0 , y0 )
lm
y0
iy
u(x ,y +y)u(x ,y ) 
0 0
0 0
+
iy
lm
v(x0 ,y0 +y)v(x0 ,y0 )
y0
i
iy
u(x ,y +y)u(x ,y ) 
0 0
0 0
+
iy
lm
v(x0 ,y0 +y)v(x0 ,y0 )
y0
i
iy


u(x0 ,y0 +y)u(x0 ,y0 )
+
i
y
lm
v(x0 ,y0 +y)v(x0 ,y0 )
lm

y0

y0

u v
i
+
y y

x0 ,y0

21

Si la derivada existe los lmites son iguales:

f (z) =

v
u v
u
+i
= i
+
,
x
x
y y

Teorema 9 Regla de LH

opital. Si g (z0 ) = 0
y h (z0 ) = 0, y si g (z) y h (z) son diferenciables
en z0 con h (z0 ) = 0

o bien,

lm

u
x
v
x

v
=
y
u
=
y

zz0

(2.1)
(2.2)

Las ecuaciones 2.1 y 2.2 se conocen como las

ecuaciones de Cauchy-Riemann, si estas ecuaciones no son vlidas en algn punto, la derivada
no existe en ese punto, es decir, slo son condicin
necesaria, pero no suficiente, para que la derivada
exista.
Teorema 8 Si tanto u y v como sus primeras
derivadas parciales u/x, u/y, v/x y v/y
son continuas en alguna vecindad de z0 , las ecuaciones de Cauchy-Riemann son condicin suficiente para que la derivada exista. El valor de la
derivada es:
v
u v
u
+i
= i
+
f (z) =
x
x
y y

Funciones Analticas
Decimos que una funcin f (z) es analtica
en z0 si f (z) no slo existe en z0 , sino en todo
punto de alguna vecindad de z0 . Si la funcin es
analtica en todo el plano complejo decimos que
la funcin es entera.
Si una funcin no es analtica en z0 , pero es
analtica en al menos un punto de toda vecindad
de z0 , decimos que z0 es una singularidad de la
funcin.
Teorema 10 Si f (z) y g (z) son funciones analticas en alguna regin, entonces tambin son analticas

Forma polar de las ecuaciones 2.1 y 2.2

Algunas veces es ms fcil utilizar la forma
polar de una funcin compleja, en este caso las
ecuaciones de Cauchy-Riemann tienen la forma:
1 v
r
1 u
=
r

u
r
v
r

f (z) g (z)
f (z) g (z)
f [g (z)]
f (z)
si (g (z) = 0)
g (z)

(2.3)
(2.4)

Ejemplo
2
En donde es diferenciable |z|
2

|z| = x2 + y2
entonces

para la misma regin.

Ejemplo
Un polinomio es entero
f (z) = an z n + an1 z n1 + ... + a1 z 1 + a0
y una funcin racional

u = x +y
v = 0




v
u
= 2x
=
=0
x
y




v
u
=0
=

= 2y
x
y

u, v y sus derivadas son continuas en todo el

plano, y las ecuaciones de Cauchy-Riemann slo se cumplen en el origen, entonces la derivada
existe nicamente en el origen y su valor es
f (0) =
22

g (z0 )
g (z)
=
.
h (z)
h (z0 )

u
v
u v
+i
= i
+
=0
x
x
y y

f (z) =

an z n + an1 z n1 + ... + a1 z 1 + a0
bm z m + bm1 z m1 + ... + b1 z 1 + b0

es analtica excepto en los puntos para los que

bm z m + bm1 z m1 + ... + b1 z 1 + b0 = 0

Funciones armnicas
Considere el siguiente problema, dada una funcin real (x, y), bajo que condiciones puede ser
Funciones analticas y mapeos conformes

parte real o imaginaria de una funcin analtica?,

es decir,
f (z) = (x, y) + iv (x, y)

f (z) = u (x, y) + i (x, y)

para contestar a esta pregunta considere una
funcin analtica f (z) = u (x, y) + iv (x, y). Si es
analtica, u y v satisfacen la ecuaciones de CauchyRiemann
u
x
u
y

v
y
v
=
x

(2.5)
(2.6)

Si diferenciamos a la ecuacin 2.5 respecto a

x y a la 2.6 respecto a y, obtenemos
2u
x2
2u
y 2

2v
xy
2v
=
yx

Teorema 11 Si una funcin es analtica en cierto dominio, su parte real y su parte imaginaria
son funciones armnicas en dicho dominio.
Teorema 12 Dada una funcin real (x, y) armnica en un dominio simplemente conexo D, existe una funcin analtica en D cuya parte real
es igual a (x, y). De manera similar existe una
funcin analtica en D cuya parte imaginaria es
igual a (x, y).
Funcin Armnica Conjugada
Dada una funcin armnica u (x, y), decimos
que v (x, y) es la funcin armnica conjugada de
u (x, y) si u (x, y) + iv (x, y) es analtica.
Teorema 13 Sea f (z) = u (x, y) + iv (x, y) una
funcin analtica y sean C1 , C2 , C3, ... y K1 , K2 , K3 , ...,
constantes reales. La familia de curvas en el plano
xy (real) para las que
u = Ci

es ortogonal a la familia de curvas tales que

v = Ki ,

Si consideramos que la funcin v y sus derivadas

son continuas, podemos invertir el orden de derivacin
de los lados derechos de la ecuaciones anteriores,
si sumamos ambas ecuaciones obtenemos:

es decir, una curva de una de las familias interseca a una curva de la otra familia a 90o , salvo
quiz en puntos en que f (z) = 0.

2u 2u
+ 2 = 0
x2
y
2 u = 0
la ecuacin anterior se conoce como la Ecuacin
de Laplace
Con un procedimiento similar podemos obtener:
2v
2v
+ 2
2
x
y
2 v

Ortogonalidad funciones armnicas conjugadas

= 0
= 0

Funcin Armnica
Decimos que una funcin (x, y) es armnica
en un dominio, si para dicho dominio se satisface
la ecuacin de Laplace, es decir,
2 2
+ 2 = 0
x2
y
2 = 0

(2.7)

Ejemplo
La funcin (x, y) = x2 y 2 , es armnica:
  2

 2


=2 +
= 2 = 0
x2
y 2
Funciones analticas y mapeos conformes

Ejemplo
Demuestre que = x3 3xy 2 + 2y puede ser
parte real de una funcin analtica, encuentre la
parte imaginaria y verifique que forman familias
ortogonales.
Si es armnica puede ser parte real o imaginaria de una funcin analtica
  2

 2


= 6x +
= 6x = 0
x2
y 2
para encontrar la parte imaginaria utilizamos las
ecuaciones Cauchy-Riemann con u = = x3
3xy2 + 2y, es decir,
u
x
u

v
y
v
= 6xy 2 =
x

= 3x2 3y 2 =

23

La funcin ez se puede expresar como

o bien,
v
= 3x2 3y 2
y
v
= 6xy 2
x
este sistema de ecuaciones lo podemos integrar, para ello tomamos la primera ecuacin, e
integramos

2

3x 3y 2 y
v =
v

= 3x2 y y3 + C (x)

si ahora sustuimos este resultado en la segunda

ecuacin
6xy +

dC (x)
= 6xy 2
dx
dC (x)
= 2
dx
C (x) = 2x + c

entonces,
v = 3x2 y y3 2x + c.

ez = ex cos y + iex sen y

entonces
u = ex cos y
v = ex sen y
y las ecuaciones de Cauchy-Riemann
u
x
u
y

se satisfacen para todo x y y, entonces como u y v

y sus derivadas son continuas en todo el plano, la
funcin ez es analtica en todo el plano complejo,
es decir, es funcin entera.
Derivada de ez
La derivada de ez la podemos obtener de
dez
dz

Sean las familias de curvas

u = x3 3xyu2 + 2yu = Ci
v = 3x2 yv yv3 2x + c = Ki
si derivamos con respecto a x
dyu
dyu
+2
= 0
dx
dx
dyv
dyv
+ 6xyv 3yv2
2 = 0
3x2
dx
dx
despejando a las derivadas
3x2 3yu2 6xyu

dyu
dx
dyv
dx
es decir,

3yu2 3x2
2 6xyu
2 6xyu
= 2
3yu 3x2
=

dyu
=
dx

dyv
dx

1

por lo tanto son ortogonales.

Derivadas de funciones importantes

Funcin exponencial
Analiticidad de ez
24

v
= ex cos y
y
v
=
= ex sen y
x

dez
dz

u
v
+i
x
x
= ex cos y + iex sen y
= ex (cos y + i sen y)
=

= ez

Funcines trigonomtricas
Analiticidad de las funciones trigonomtricas
Las funciones sen (z) y cos (z) son analticas
por ser suma de funciones analticas del tipo ez .
Las funciones 1.7, 1.8, 1.9 y 1.10 son analticas
si el denominados es diferente de cero.
Derivadas de las funciones trigonomtricas
d sen (z)
dz
d cos (z)
dz
d tan (z)
dz
d sec (z)
dz
d csc (z)
dz

= cos (z)
= sen (z)
= sec2 (z)
= tan (z) sec (z)
= cot (z) csc (z)

Funcin logaritmo
Podemos utilizar la forma polar de Log (z)
para estudiar su analiticidad, para ello utilizamos
Funciones analticas y mapeos conformes

las ecuaciones de Cauchy-Riemann en forma polar

(ecuaciones 2.3 y 2.4).
Log (z) = ln r + i,
es decir,
u = ln r
v =
y



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



1 u
v
=0
=
=0
r
r

por lo tanto se satisfacen las ecuaciones de

Cauchy-Reimann en todo el plano complejo excluyendo al origen. Por otro lado, las funciones u,
v y sus derivadas, son continuas en todo el plano
excepto sobre la parte negativa del eje imaginario,
la razn de ello es que existe un salto de al
cruzar esta parte del eje, si nos acercamos por
abajo de l la funcin tiende a , y por arriba
a , esto es, hay una discontinuidad de tamao
2. Finalmente, podemos concluir que la regin
de analiticidad de Log (z), es la zona del plano
complejo que excluye al origen y a la parte negativa del eje real.

Mapeo conforme
Sea la funcin analtica f (z) = u (x, y)+iv (x, y)
que define una correspondencia entre los puntos
de los espacios Z (plano (x, y)) y W (plano (u, v)).
Suponga que el punto (u0 , v0 ) es la imagen del
punto (x0 , y0 ), suponga adems que las curvas
C1 (x, y) y C2 (x, y) se intersecan en (x0 , y0 ) y
tienen curvas imgen K1 (u, v) y K2 (u, v) respectivamente (las cuales se cortan en (u0 , v0 ) en el
espacio imagen). Entonces se dice que el mapeo
es conforme en (x0 , y0 ) si el ngulo entre C1 (x, y)
y C2 (x, y) es igual tanto en direccin como en
sentido al ngulo entre K1 (u, v) y K2 (u, v).

Mapeo isogonal
Cuando en un mapeo las curvas K1 (u, v) y
K2 (u, v) slo conservan la magnitud pero no el
ngulo de C1 (x, y) y C2 (x, y) se dice que el mapeo
es isogonal.

Algunos mapeos
Regin de analiticidad de Log(z)

Traslacin: Un mapeo de este tipo desplaza

o traslada a la regin mapeada en direccin :

Derivada de Log (z): Para calcular la derivada de Log (z), partimos de

= ew
dew dw
=
dw dz
dw
1 = ew
dz
dw
= ew
dz
dLog (z)
= eLog(z)
dz
1
d
[Log (z)] = eLog( z )
dz
1
d
[Log (z)] =
dz
z
entonces la derivada del logaritmo complejo existe
en su regin de analiticidad y su valor es
d
1
[Log (z)] =
(2.8)
dz
z
z
dz
dz

Funciones analticas y mapeos conformes

w =z+
Ejemplo: f (z) = z +
y

i+1
3

0.5

0.5

0
-1

-0.5

0.5

1
x

0
-0.5

0.5

-0.5

Rotacin: Con este mapeo la regin en el

plano Z gira un ngulo 0 :
-0.5

-1

w = ei0 z

Ejemplo: f (z) = zei 4

y

1
0.5

0.5
0
-1

-0.5

0.5

-1

-0.5

0.5

1
x

-0.5

-0.5

-1

-1

25

Alargamiento: Con esta transformacin las

figuras en el plano Z se alargan (a > 1) o contraen
(a < 1):
w = az
Ejemplo: f (z) =
y

z
2
y

0.5

0.5

0
-1

-0.5

0.5

-1

-0.5

0.5

-0.5

-0.5

-1

Inversin:

-1

w=
Ejemplo: f (z) =
y

f (z) = 2z 2 + 3
f (z) = z + z 1

1
z

f (z) =

2.5

0
0

0.5

-2.5

2.5
x

4. En donde es analtica la funcin:

-2.5

-0.5

Transformacin lineal: Es una combinacin

de traslacin, rotacin y alargamiento, dependiendo de los valores de y :

f (z) = r cos + ir

-1

w = z +

Ejemplo: f (z) =
y

zei 4
2

i+1
3
y

= x+y
y
=
x2 + y 2

0.5

0
-0.5

0.5

-1

-0.5

0.5

Transformacin fraccional: Una combinacin

de traslacin, rotacin, alargamiento e inversin:
-1

-1

w=

z +
con = 0.
z +
y

0.5

0
0.5

9. Sea

0
-2

-0.5

6
x

f (z) = ez

+1

-2

Tarea
1. Es la siguiente funcin continua en z = 3i?

 2
z + 9 / (z 3i) , z = 3i
f (z) =
6i,
z = 3i
26

7. Determinar la regin de analiticidad de la

funcin
f (z) = cos (
z)

2
0

-1

y 2

8. Sea = 6x2 y 2 x4 y4 + y x + 1. Compruebe que podra ser parte real o imaginaria de alguna funcin analtica. Si es la
parte real de f (z) encuentre la parte imaginaria. Si es la parte imaginaria de f (z)
encuentre la parte real.

Ejemplo:

-0.5

= ex

-0.5

-0.5

-1

1
x

5. Para cules valores de n la funcin xn y n

es armnica?
6. Cules de las siguientes funciones son armnicas?,En qu dominio?

0.5

-1

i 2
x y2
2
z2
ex cosy + iex seny

f (z) = xy +

-0.5

3. En que regiones del plano son analticas las

siguientes funciones?. Si existe la derivada
encuentre su valor.

1
z

0.5

-1

1
x

2. Sea f(z) = u (x, y) + iv (x, y) . Suponga que

existe la segunda derivada f (z) . Compruebe
que
2u
2v
+
i
f (z) =
x2
x2
y
2u
2v
f (z) = 2 i 2
y
y

demostrar que es entera y encontrar su derivada.

10. Sea f (z) una funcin entera. Si

f (z) = 6x2 6y 2 2x + 3 +i (12xy 2y)

con f (0) = 2 i. Encuentre f(z). Calcular
f (2 i).
Funciones analticas y mapeos conformes

11. Suponga que f (z) = u + iv es analtica y

que g (z) = v + iu tambin lo es. Demuestre
que u y v deben ser constantes.
12. Suponga que f (z) = u + iv es analtica y
que f (z) = u iv tambin lo es. Demuestre
que u y v deben ser constantes.
13. Encuentre a una funcin armnica conjugada de
ex cos y + ey cos x + xy
14. Demostrar que la funcin
f (z) = cos x cosh y i sin x sinh y
es analtica en todo el plano complejo y que
f (z) = f (z)
2

15. Para la funcin f (z) = (z + i) , demostrar

que
(u, v)
2
= |f (z)|
(x, y)
en donde este ltimo es el jacobiano de la
transformacin

u = u(x, y)
v = v(x, y)

Funciones analticas y mapeos conformes

27

28

Funciones analticas y mapeos conformes

Captulo 3

Integral de lnea de funciones de variable

compleja
Integral de lnea compleja
La clase de integral que aparece con ms frecuencia en variable compleja es la integral de lnea
compleja.
Curva suave a trozos
Una curva suave a trozos es una trayectoria
formada por un nmero finito de arcos suaves concatenados.
Curva suave sobre la que se integra f (z)
Definimos la integral de lnea como


Definicin

si n , zk 0
Integral de lnea de funciones de variable compleja

f (z) dz = lm

n


f (zk ) zk
n
C
A
k=1
Sea la curva suave C, que va de A hasta B en
(3.1)
el plano complejo, se divide la curva en n arcos
Para evaluar esta integral de lnea compleja
como se muestra en la figura, los puntos de unin
tenemos que:
tiene coordenadas (x0 , y0 ), (x1 , y1 ), ...,(xn , yn ). En
donde la variable compleja toma los valores z1 , z2 , ..., zn .
Los incrementos en z se relacionan con x y y.
z = x + iy
dz = dx + idy
zk = xk + iyk

f (z) dz =

y adems
f (z) = u (x, y) + iv (x, y)
29

sustituyendo en la integral 3.1



f (z) dz

[u (x, y) + iv (x, y)] (dx + idy)


udx
vdy +
(3.2)
=
C
C



i
udy +
vdx
C

es decir, a la integral de lnea compleja la convertimos cuatro integrales de lnea reales.

Integracin paramtrica
Otro mtodo para calcular la integral es utilizar tcnicas de integracin paramtrica. Sea C
la curva sobre la que hay que integrar, usamos al
parmetro t para describir a la curva
x = x (t) y y = y (t) con ta t tb

(3.3)

entonces sobre la curva

z (t) = x (t) + iy (t)

(3.4)

f (z) = f [z (t)]

(3.5)

y
y el diferencial dz en trminos de dt
dz =

dz
dt
dt

entonces la integral compleja


 tb
dz
f (z) dz =
f [z (t)] dt,
dt
C
ta

(3.6)

(3.7)

se convierte en una integral real simple de la variable t.

En general existen diferentes formas de elegir
a 3.3, la facilidad de hacer la integral depende en
gran medida de tal eleccin.

30

Integral de lnea de funciones de variable compleja

Captulo 4

Teorema integral de Cauchy-Goursat

Sea f (z) analtica en un dominio simplemente
conexo D. Si C es cualquier curva cerrada simple
en D

f (z) dz = 0
(4.1)

Por otro lado, sea la integral compleja



f (z) dz

(u + iv) (dx + idy)

(udx + (v) dy)


(vdx + udy)
+i

aplicando el teorema de Green a las dos integrales

se tiene que:


f (z) dz

D es un dominio simplemente conexo y C D.

Demostracin: Para demostrar lo anterior
se hace uso del teorema de Green en dos dimensiones, el cual slo se enuncia a continuacin:
Teorema de Green (2 ). Si C es una curva
cerrada simple que encierra a una regin A en el
plano y P (x, y) y Q (x, y) son funciones continuas con derivadas parciales continuas, entonces:


  
v u
=

dxdy
x y
A

  
u v
+i

dxdy
x
y
A

Si la funcin es analtica sobre y dentro de C, para

todo el dominio de integracin A se satisfacen las
v
u
ecuaciones de Cauchy-Riemann u
x = y y y =
v
x . Entonces en la ltima integral se tiene que


f (z) dz =

 

0dxdy + i

 

0dxdy

o bien


(P dx + Qdy) =

  
A

Q P

x
y

Teorema integral de Cauchy-Goursat

dxdy.

f (z) dz = 0

31

Corolarios
Independencia de la trayectoria
Sea f (z) analtica en un dominio simplemente
conexo D y que z0 y z1 D. Sean C1 y C2 curvas
desde z0 a z1 en D


f (z) dz =
f (z) dz,
(4.2)
C1

C2

es decir, f (z) dz es independiente de la trayectoria por lo que podemos escoger la trayectoria

ms fcil de integrar.

Teorema de la deformacin

Independencia de la trayectoria

Antiderivada
Sea f (z) analtica en un dominio simplemente
conexo D. existe una funcin F (z) que es analtica en D, tal que para z D
dF (z)
= f (z)
dz
con este resultado,
 z2
f (z) dz

z1

z2

z1
z2

(4.3)

dF (z)
dz
dz
dF

z1

= F (z2 ) F (z1 )

Deformacin
Decimos que dos curvas C y K son homotpicas si podemos deformar a C hasta llegar a K (o
K hasta llegar a C) de manera continua, es decir,
sin pasar por puntos no analticos.
Sea f (z) analtica en un dominio simplemente
conexo D excepto en z0 , sean C y K dos curvas
homotpicas que encierran a z0


f (z) dz =
f (z) dz
(4.4)
C

32

Teorema integral de Cauchy-Goursat

Captulo 5

Frmulas integrales de Cauchy

Un corolario adicional al teorema integral de
Cauchy se conoce como la frmula integral de
Cauchy. Dicho corolario es tan importante que
enuncia de manera separada.

Frmula integral de Cauchy

El punto z0 est dentro de C
Sea f (z) analtica en un dominio simplemente
conexo D. Sea z0 cualquier punto de D y sea C
cualquier curva cerrada simple en D que encierra
a z0 . Entonces
f (z0 ) =

1
2i

f (z)
dz
z z0

es decir, la funcin en z0 , esta relacionada con

la funcin en C, este es un resultado muy importante en variable compleja. Se puede utilizar este
resultado para calcular integrales si lo ponemos
como

f (z)
dz = 2if (z0 )
(5.1)
C z z0
La ecuacin 5.1 se conoce como la frmula integral de Cauchy y es una herramienta muy poderosa
para calcular integrales.
Frmulas integrales de Cauchy

No se aplica la frmula de Cauchy

Derivadas de funciones analticas

Sea f (z) analtica en un dominio simplemente
conexo D. Sea z0 cualquier punto de D y sea C
cualquier curva cerrada simple en D que encierra
a z0 . Entonces

n!
f (z)
f (n) (z0 ) =
dz
2i C (z z0 )n+1
es decir, no slo la funcin en z0 , esta rela33

cionada con la funcin en C, sino sus derivadas.

Este resultado se puede utilizar para calcular integrales si lo reordenamos

f (z)
2i (n)
(z0 )
(5.2)
n+1 dz = n! f
(z

z
)
C
0
La ecuacin 5.2 se conoce como la frmula integral de Cauchy para derivadas superiores y es
una herramienta muy poderosa para calcular integrales.

Extensin de la frmula integral de Cauchy

para una anillo
Un anillo con centro en w es un dominio acotado D, de z s que satisfacen a

3. Integre

1
dz
z

por C : medio crculo unitario con centro en

el origen, en el semiplano superior
4. Integre

z 4 dz

por C : crculo unitario con centro en el

origen, en el primer cuadrante.
5. A cul de las siguientes integrales se aplica
directamente el teorema de Cauchy-Goursat?
Por qu?
a)

r < |z w| < R
Sea Cr la circunferencia |z w| = r, y sea
CR la circunferencia |z w| = R orientadas en
sentido antihorario. Si f (z) es analtica en D, Cr
y CR para cualquier z0 D


f (z)
f (z)
1
1
f (z0 ) =
dz
dz
2i CR z z0
2i Cr z z0
(5.3)

|z|=1

b)

cos z
dz
z+2

cos z
dz
z+2

cos z
dz
z+2

|z+2|=2

c)

|z1|=4

d)

log zdz

|z+i|=1

e)

log zdz

|z1i|=1

f)

1
dz
1 + ez

1
dz
1 ez

|z|=

Frmula de Cauchy para una anillo.

g)

Ejercicios de Tarea
1. Evale a:

|z|=3

zdz

sobre las trayectorias

2. Evale a:

a) C

: x+y =1

b) C

: y = (1 x)2


ez dz

a) de z = 0 a z = 1 por y = 0, b) de z = 1
a z = 1 + i por x = 1
34

6. Demuestre que


log z
log z
dz =
dz
(z
+
1)
(z

3)
4
(z
3)
|z3|=2
|z3|=2
7. Evale las siguientes
integrales a lo largo de

la curva y = x
a)

b)




9+3i

e2z dz

1+i

9+3i

z cos zdz

1+i

Frmulas integrales de Cauchy

13. *Evale

8. Cul es el error en:

1+i
 1+i
z 2 
zdz =
= i ?
2 0
0

9. Evale las integrales:

a)

alrededor de

ez

dz
(z 2)

y2
x2
+
=1
9
16
b)
1
2i

cos z + sin z
dz
2
(z + 25) (z + 1)

alrededor de

(2z + z) dz

C : el segmento de recta que va de 1 + i a

3 + 3i.
14. *Calcular a la integral real
 2
3
d
5 4 cos
0
usando el cambio de variable z = ei
15. *Calcular


|z|=2

16. *Calcular

z3

sin z
dz
3iz 2 3z + i


y
x
+
=1
9
16
c)

dz
+9

z2

con C : a) |z 3i| = 1; b) |z + 3i| = 1; c)

|z 3i| + |z + 3i| = 10.

cosh z
dz
z2 + z + 1

alrededor de

(x 1)2 + (y 1)2 = 1
d)

sin (ez + cos z)

dz
(z 1)2 (z + 3)

alrededor de

x2
+ y2 = 1
2
10. *Calcular

2i

dz
z

por el arco de circunferencia con radio 2 y

centro en el origen, en sentido horario.
11. *Calcular

si C encierra a .

cos z
(z )

12. *Calcular la integral


ez
1
dz
2i C z (1 z)3
si C a) no encierra a z = 1; b) no encierra
a z = 0; c) encierra a ambos.
Frmulas integrales de Cauchy

35

36

Frmulas integrales de Cauchy

Captulo 6

Serie Laurent y teorema del residuo

Series Complejas
Sucesin: Una regla que asigna a cada entero
positivo n un nmero complejo. Al n-simo trmino de la sucesin lo denotamos zn , y a la sucesin
{zn }.
Suma parcial: Sea {zn } una sucesin compleja. Definimos las n-sima suma parcial Sn como la suma de los primeros n-trminos de la sucesin {zn }:
n

zj .
Sn =
j=1

A su vez {Sn } es una sucesin compleja. Si esta

sucesin de sumas parciales converge decimos que
la serie infinita:


zj
j=1

converge.
Teorema: Sea zn = xn + iyn =



1. ) j=1 zj converge j=1 xj y j=1 yj
convergen.



2. )
j=1 xj a y
j=1 yj b
j=1 zj
a + ib.

Teorema: Si
j=1 zj converge = {zn }
0.
Este resultado se utiliza para saber 
si la se
rie diverge, es decir, si {zn } L = 0, j=1 zj
Serie Laurent y teorema del residuo

diverge, pero si {zn } 0, el teorema no da informacin.

 

Ejemplo.- ni 0 pero n=1 ni diverge.

Convergencia absoluta: Si la serie real j=1 |zj |

converge, se dice que la serie j=1 zj converge
absolutamente. 


Adems si
j=1 |zj | converge =
j=1 zj
tambin converge.
Criterio de la razn: Sea zn = 0 para cada
n, y suponga que


 zn+1 
 = q =
lm 
n
zn 

1.
n=1 zn converge si 0 q < 1.

2.
n=1 zn diverge si q > 1.

Series de potencias complejas

Sean z0 , a0 , a1 , a2 , ... nmeros complejos dados. Una serie

n=0

an (z z0 )n = a0 +a1 (z z0 )+a2 (z z0 )2 +...

se llama una serie de potencias con centro en z0 y

secesin de coeficientes {an } . La serie empieza en
la potencia 0 para permitir el trmino constante.
La serie converge en z0 a a0 .
37


n
Teorema: Suponga que n=0 an (z z0 ) converge para z1 = z0 . Entonces la serie converge
para toda z tal que |z z0 | < |z1 z0 |.

Serie de Taylor compleja


n
Supongamos que n=0 an (z z0 ) tiene radio de convergencia R. Si definimos
f (z) =

n=0

an (z z0 )n

Evaluando en z0 ,
f (z0 ) = a0
a0 = f (z0 )
Disco de Convergencia
El mximo valor de R se llama radio de convergencia, y el disco que forma, disco de convergencia. Existen tres posibilidades para el radio de
convergencia R.

y evaluando en z0 a la derivada k-sima

f (k) (z0 ) =

n=k

n (n 1) ... (n k + 1) an (0)nk

f (k) (z0 ) = k (k 1) ... (1) ak

1. R

ak

2. R = 0

f (k) (z0 )
k!

Sustituyendo estos resultados obtenemos:

3. 0 < R <


f (n) (z0 )

(z z0 )n
n!
Teorema: Dada la serie de potencias n=0 an (z z0 )
n=0
, que converge para algn z1 = z0 , existe R (posiSerie de Taylor
blemente R ), tal que la serie converge absolutamente si |z z0 | < R, y diverge si |z z0 | >
Una serie de Taylor con z0 = 0, se llama serie
R.

de
Maclaurin.
Teorema: Suponga que n=0 an (z z0 )n tiene
radio de convergencia
 R, con R =n 0. Para |z z0 | <
R, sea f (z) = n=0 an (z z0 ) . Entonces:
Teorema


1. f (z) es analtica para |z z0 | < R.

2. Para las derivadas tenemos:
f (z) =

n=1

nan (z z0 )

n1

Si f (z) es analtica en z0 entonces tiene representacin en serie de Taylor para todo z dentro
un disco con centro en z0 .

Algunas series de Taylor complejas

ez

y
f (k) (z) =

n=k

n (n 1) ... (n k + 1) an (z z0 )nk

3. Si C es una curva suave a pedazos cuya grfica esta dentro del disco de convergencia de
la serie de potencias


38

f (z) dz =

n=0

f (z) =

an

(z z0 ) dz

sin z


zn
n!
n=0


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

cos z

1
1z

1
1+z

n

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

n=0


n=0

z n : |z| < 1
(1)n z n : |z| < 1

Serie Laurent y teorema del residuo

Serie de Laurent compleja

Una singularidad esencial.- Si aparecen una

infinidad de potencias negativas de z z0 .
Una sigularidad polar con un polo de orden
m.- Si m es un entero positivo y (z z0 )m
aparece en esta serie pero no aparecen potencias ms negativas (am1 = am2 = ... =
0).

Sea f (z) analtica en el anillo r1 < |z z0 | <

r2 . Entonces para z en este anillo,
n=


f (z) =

n=

an (z z0 )n ,

Ejemplos:
Singularidad removible

en donde
1
2i

an =

f (w)
dw
(w z0 )n+1

y C es cualquier circunferencia |z z0 | = con

r1 < < r2 .

n=

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

Singularidad esencial
e1/(z1) =

n=

n=0

Polo de orden 3

1
1
n! (z 1)n

1
(z + i)3

Ceros de una funcin

Una funcin tiene un cero en z0 si f (z) es
analtica en z0 y f (z0 ) = 0. Decimos que una
funcin tiene un cero de orden m en z0 si:
Anillo de Laurent

f(z0 ) = f (z0 ) = ... = f (m1) (z0 ) = 0

Ejemplos:
e

1
z

cos z
z5

pero


1 1
=
: 0 < |z| <
n! z n
n=0

(1)

n=0

1 2n5
z
: 0 < |z| <
(2n)!

Teorema del Residuo

f (m) (z0 ) = 0.

Ejemplos:
z m tiene un cero de orden m en 0.
sin2 (z) tiene un cero de orden 2 en .
Teorema: Sea h(z) una funcin con un cero
de orden m en z0 . Sea g(z) una funcin analtica
en z0 , o con una singularidad removible en z0 y
adems
lm g(z) = 0
zz0

entonces:

Clasificacin de singularidades
Si f(z) es analtica en un anillo 0 < |z z0 | <
pero no en z0 , decimos que f (z) tiene una singularidad aislada en z0 .
Sea f (z) una funcin con una singularidad aislada en z0 . Si desarrollamos en serie de Laurent:
f (z) =

n=


n=

z0 es:

an (z z0 )

Una singularidad removible.- Si no aparecen

potencias negativas de z z0 en la serie de
Laurent.
Serie Laurent y teorema del residuo

g(z)
h(z)
tiene un polo de orden m en z0 .
Ejemplo
ez
z3
polo de orden 3 en 0.
cos z
(z i)5
f (z) =

polo de orden 5 en i.

cos (z)
sin (z)
polo simple en n.
39

Residuos

Ejemplo: Si C encierra al origen. Encontrar


sen (z)
dz
z2
C

Si desarrollamos a f (z) en serie de Laurent

f (z)
= ... +

a2

(z z0 )

a1
+ a0 + a1 (z z0 ) + ...
(z z0 )

tenemos que:
sen (z)
z2
sen (z)
Res
0
z2

Definimos al residuo de f (z) en la singularidad z0 como el coeficiente a1 en su desarrollo en

serie de Laurent.
Res f (z) = a1
z0

De la frmula de los coeficientes de Laurent

tenemos:

1
f (z) dz
a1 =
2i C

f (z) dz = 2ia1

Esta ltima frmula es frecuentemente usada

para resolver la integral.
Ejemplos:
Res e1/(z1) = 1
1

Res
0

i cos (3z)
3z

i cos (3z)
3z

i1
z 2n
(1)n

3 z n=0
(2n)!

i
3

Sea f (z) analtica en un dominio D, excepto en los puntos z1 , z2 , ..., zn , donde f (z) tiene
singularidades. Sea C una curva cerrada suave a
pedazos en D que encierra a z1 , z2 , ..., zn .
f (z) dz = 2i
C

sen (z)
dz = 2i
z2

Residuos y polos
Sea f (z) con un polo de orden m en z0 .
dm1
1
lm
[(z z0 )m f (z)]
(m 1)! zz0 dz m1

Res f (z) =
z0

esta es una forma ms fcil de calcular los residuos

de una funcin, siempre y cuando f (z) tenga un
polo de orden m.
Ejemplo: Si C encierra al origen. Utilizar el
teorema anterior para calcular:

cos (z)
dz
z2
C
La funcin cos (z) /z 2 tiene un polo de orden 2 en
z = 0, entonces m = 2 y


1
cos (z)
d
2 cos (z)
lm
(z 0)
=
=0
Res
0
z2
(2 1)! z0 dz
z2
entonces

Teorema del Residuo

= 1

o bien,

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

n

j=1

Res f (z)
zj

cos (z)
dz = 0
z2

Ejercicios de tarea
1. Demuestre que las siguientes series divergen
en la regin indicada
a)
b)
c)

n=1


n=1


n=0

nz n en |z| 1
n
n+1

(2z) en |z| 1/2

einz en Im (z) 0

2. Use el criterio del cociente para demostrar

que las siguientes series convergen
C encierra a las sigularidades z1 , z2 , ..., zn
40

a)

n!ein

en Im (z) > 0

n=0

Serie Laurent y teorema del residuo

b)

n=1

1
z n n!

9. Desarrolle en serie de Laurent y encuentre

el anillo de convergencia de:

en |z| > 0

3. Desarrolle en serie de Taylor y encuentre la

regin de convergencia de:
a)

1
z,

b)

1
,
(z+i)2

alrededor de z = 1 + i

z 4 cos

10. Desarrolle en serie de Laurent y encuentre

el anillo de convergencia de:

alrededor de z = i

ze1/(z1)

c) ez , alrededor de z = i
d) z 2 + z + 1, alrededor de z = 0
e) z 2 + z + 1, alrededor de z = i
4. Encuentre los coeficientes y el disco de convergencia de:
a)
b)
c)
d)
e)
f)

1
z 4 +1

1
(1z)

n=0

cn (z 1)n

1
(1z)2

1
(1+z)2

n=0

11. Calcule los residuos de:

a)

tan z
12. Utilice expansiones en serie de Laurent para
evaluar por el mtodo de residuos a las integrales:

cn z n

a)

cn z n

z
(z1)(z+2)

=
=

n=0


n=0

1
z 3 cos dz
z
|z+1+i|=4

n=0

z
(z1)(z+2)

ez
(z 2 + 1) z 2

b)

cn z n

n=0

1
z

cn z n

b)

cn (z 1)

5. Desarrolle en serie de Laurent a:

1
z3
en potencias de (z 1) , determine en que
regin converge.

13. Encuentre los residuos por polos e integre:

a)

en potencias de (z 1) , determine en que

regin converge.

|z6|=4

b)

6. Desarrolle en serie de Laurent a:

1
(z 1) (z 3)

|z|=1

sin z
dz
z8

|z1|= 32

c)

|z|=3

1
dz
sin z
e1/z
dz
z2 1

sin z
dz
sinh2 z

7. Desarrolle en serie de Laurent a:

1
(z 1) z
en potencias de (z 1) , determine en que
regin converge.
8. Desarrolle en serie de Laurent y encuentre
el anillo de convergencia de:
1
cos z
z4
Serie Laurent y teorema del residuo

41

42

Serie Laurent y teorema del residuo

Captulo 7

Aplicacin del anlisis complejo

Fractales
Conjunto de Mandelbrot
Considere al conjunto de puntos C en el plano
de Argand tales que en:
z  z 2 + C
con rbita cero, o bien,
zn+1
z0

= zn2 + C
= 0

z permance acotado,

En otros colores.





 lm zn  < .
n

Por ejemplo si C = 1, {zn } = {0, 1, 2, 5, 26, . . . , }

por lo cual C = 1 no pertenece al conjunto. Por
otro lado, si C = i se tiene que
{zn } = {0, i, (1 + i), i, (1 + i), i, ...} <
por lo tanto pertenece al conjunto.
El conjunto est acotado y cabe dentro de
|z| < 2. Douady y Hubbard mostraron que el conjunto es conexo. Si se grafican algunos puntos del
conjunto en el plano complejo se obtiene la siguiente figura.
Aplicacin del anlisis complejo

La frontera del conjunto de Mandelbrot es un

fractal. El rea que ocupa el conjunto se ha estimado en 1.50659177 0,00000008.
43

Fenmenos de transporte
Muchos de los problemas de naturaleza difusiva o dispersiva en estado estacionario se pueden
modelar mediante la ecuacin

Transferencia de calor
Supnga el problema de un intercambiador de
calor consistente en un cilndro con un canal descentrado dentro de l tal como se muestra en el
plano xy de la figura siguiente.

2 = 0.
Algunos de los fenmenos que se medelan mediante la ecuacin anterior son:
Transferencia de calor en estado estacionario
(temperatura).
Difusin de especies qumicas en estado estacionario (concentracin).
Un campo elctrico en un espacio sin cargas
(campo elctrico).
Un campo magntico en el vaco (campo
magntico).

La temperatura en la cavidad interior es de

1000 C y la de la superficie exterior del cilndro es
de 00 C. La ecuacin que rige a la transferencia de
calor es:
2T
2T
+
=0
x2
y 2
Las condiciones de frontera las podemos poner en
trminos de variable compleja

La presin en un medio poroso (presin).

T
Flujo potencial en un fluido (Funcin de
corriente).
Lo anterior significa que todas estas variables,
temperatura, concentracin, etc. son funciones armnicas y entonces pueden ser parte real o imaginaria de una funcin analtica compleja y adems
satisfacen el siguiente teorema.
Teorema. Sea w = f (z) una funcin analtica
que transforma el dominio D del plano z en un
dominio D1 del plano w. Sea 1 (u, v) una funcin
armnica en D1 , es decir,
2 1 2 1
+
=0
u2
v2
Entonces introduciendo el cambio de variables dado por
u (x, y) + iv (x, y) = f (z) = w
se tiene que (x, y) = 1 (u (x, y) , v (x, y)) es armnica en D, es decir,
2 2
+ 2 =0
x2
y
Lo anterior significa que cuando una funcin armnica es trasformada medianto un mapeo conforme sta sigue siendo armnica.
44

= 0 en |z| = 1



3 
3

= 100 en z  =
10
10

El problema visto desde un punto de vista de variable compleja consiste en encontrar una

 funcin
3 
armnica en la regin entre |z| = 1 y z 10
=
3/10 que satisfazga las condiciones de frontera anteriores. El mapeo
w=

z3
3z 1

transforma a:
|z| = 1 en |w| = 1
ya





z 3  = 3 en |w| = 3

10  10

tal como se muestra en la figura anterior. En el

espacio w el problema se reduce a encontrar la
funcin armnica tal que cumpla con las condiciones de frontera
T
T

= 0 en |w| = 1
= 100 en |w| = 3

Este ltimo problema se reduce a resolver el siguiente problema

2T
2T
+
=0
u2
v2
Aplicacin del anlisis complejo

pero este problema tiene simetra en el ngulo,

es decir, la solucin slo debe depender de la distancia al origen, entonces es adecuado resolver la
ecuacin en coordenadas polares
2T

2 + r r

debido a la simetra
d
dr

2 T
2



T
r
=0
r
=0



dT
r
= 0
dr
dT
= A
r
dr
T = A ln r + B

aplicando las condiciones de frontera se tiene

que
0 = A ln 1 + B
100 = A ln 3 + B
o bien
100 = A ln 3
100
A =
ln 3
B = 0

Difusin molecular
Considere un depsito lleno de un fluido en
reposo, el depsito es tan grande que puede considerarse seminfinito (ocupa el plano y 0). En
y = 0 se tiene que para x < 1 el recipiente est
en contacto con una placa que cede por disolvencia una especie qumica, la concentracin en esta
regin es C = 1, por otro lado en y = 0 se tiene
que para x > 1 el recipiente consume mediante
una reaccin qumica a dicha especie, entonces la
concentracin en esta regin es C = 0. Por otro
lado, la regin en 1 < x < 1 es impermeable. La
figura siguiente muestra a detalle lo anterior.

entonces

T =

100
100
ln r =
ln |w|
ln 3
ln 3

para regresar al espacio original

 

2
 z3 
(x 3) + y 2
=
|w| = 
3z 1 
(3x 1)2 + 9y 2

entonces la solucin es:




2
2
100 
+
y
(x

3)
100
ln r =
ln 
2
ln 3
ln 3
(3x 1) + 9y2


100
(x 3)2 + y 2
ln
ln 32
(3x 1)2 + 9y 2

la figura siguiente muestra la solucin en el espacio original

Aplicacin del anlisis complejo

El problema matemtico anterior tiene la forma:

2C
2C
+
=0
2
x
y 2
sujeta a las condiciones de frontera
C (y = 0, x < 1) = 1
C (y = 0, x > 1) = 0


C
= 0
y y=0,1<x<1
Con el mapeo
z = sin w
la regin se transforma a:
El problema en este plano es
2C
2C
+
=0
u2
v2
45

x2
y2

= 1
sin2 u 1 sin2 u

x2 1 sin2 u y 2 sin2 u = 1 sin2 u sin2 u

2
x2 x2 sin2 u y 2 sin2 u = sin2 u sin2 u
Figura 7-1
sujeta a las condiciones de frontera


C u=
= 0
2


= 1
C u=

2
C
= 0
v v=0
Por simetra, en este espacio el problema se
simplifica a:

es decir,

d2 C
= 0
du2


C u=
= 0
2


= 1
C u=
2
C = Au + B

2
2 2
sin u x + y 2 + 1 sin2 u + x2 = 0

cuya solucin es:

sin2 u =


2
(x2 + y 2 + 1) 4x2
2




 2
2
 x + y 2 + 1 (x2 + y 2 + 1) 4x2
sin u =
2




 2
2
2
2
2
2
 x + y + 1 (x + y + 1) 4x

u = sin1

2
entonces la solucin en trminos de x y y es:
C=
C

u 1
+
2



 2
2
2
2
2
2
 x + y + 1 (x + y + 1) 4x
1

sin1

aplicando las condiciones de frontera

+B
2

1 = A + B
2
0 = A

, se obtiene: A = 1 B =

x2 + y 2 + 1

1
2

x-5

u 1
+
2
necesitamos obtener a u en trminos de x e y.
Para ello,
C=

-2.5
z 0.751
0.5
0.25
0

0
1.25

2.5

2.5
3.75

z = x + iy = sin w = sin u cosh v + i cos u sinh v

5
y

o bien
x = sin u cosh v
y = cos u sinh v
si utilizamos que cosh2 v sinh2 v = 1 se obtiene
y2
x2

=1
2
sin u cos2 u
si se tiene que cos2 u = 1 sin2 u
46

Aplicacin del anlisis complejo

Parte II

Series de Fourier

47

Captulo 8

Series de Fourier
Funciones perodicas y seales
fsicas
Una funcin f(t) es perodica si satisface la
relacin:
f (t) = f (t + mT )

(8.1)

donde m = 0, 1, 2, ... y T es un nmero real

positivo conocido como el perodo. Una medida
del nmero de repeticiones por unidad de t es la
frecuencia, f, la cual se define como:
f=

1
T

(8.2)

una medida alternativa del nmero de repeticiones

es la frecuenca angula o circular, la cual se define
como:
2
= 2f =
(8.3)
T
En la naturaleza existen muchas seales fsicas
de naturaleza perodica, para su estudio en ingeniera dichas seales son almacenadas en formato
digital o analgico. Ejemplos de seales perodicas se puede ver en las siguientes imgenes.

Funciones ortogonales
Algebra lineal
Sea S = {s, , +} un espacio de dimensin n en
donde esta definida una operacin interna:
s1 s2

(8.4)

A cualquier elemento del espacio s lo podemos

representar como:
s=

n


i i

(8.5)

i=1

en donde el conjunto {k (t)} se llama base de S y

es linealmente independiente y ortogonal, (genera
al espacio),
i j

=0
= 0

i = j
i=j

Las i son constantes y se obtienen a partir

Series de Fourier

49

de:
s =

n

i=1
n


i i

s j

s j

= j j j

i=1

j =

T
2

T2

(8.6)

Funciones
El producto interno para funciones se define
para el intervalo a < t < b como
 b
f1 (t) f2 (t) =
f1 (t) f2 (t) dt.

sen (n 0 t) sen (m 0 t) dt = mn

T
2

cos (n 0 t) cos (m 0 t) dt = mn

T
2

T
2

T2

entonces a cualquier funcin peridica de la

podemos expresar como una combinacin lineal
de la base {1, cos (n 0 t) , sen (n 0 t)}:



1
f (t) = a0 +
an cos (n 0 t)+
bn sen (n 0 t)
2
n=1
n=1
(8.8)
en donde los coeficientes los obtenemos a partir de la ecuacin (8.6)

Un conjunto de funciones {k (t)} es ortogonal en un intervalo a < t < b si para dos funciones cualesquiera del conjunto m (t) y n (t),
se cumple:
 b
m (t) n (t) dt = mn rn ,

cos (n 0 t) sen (m 0 t) dt = 0

T
2

T2

i i j

s j
j j

1
a0
2

a0

en donde mn es la delta de Kronecker que se

define como:

1 si m = n
.
(8.7)
mn =
0 si m = n

Definicin de la Serie de Fourier

Considere al espacio infinito de funciones peridicas con perodo T, (f (t) = f (t + T )) y al conjunto de funciones
{1, cos (n 0 t) , sen (n 0 t)} : n = 1, 2, ...
en donde
0 =

2
. (frecuencia angular)
T

Demostremos que el conjunto es ortogonal en

el intervalo T /2 < t < T /2.


T
2

(1) (1) dt = T

T2


50

1 cos (n 0 t) dt = 0

T
2

T2

T
2

T2

an

bn

2
T

bn

2
T
T
2

T2

T
2

T
2

T2

(1) f (t) dt
(1) (1) dt
T
2

f (t) dt

(8.9)

T2

f (t) cos (n 0 t) dt

cos (n0 t) cos (n0 t) dt

T
2

T
2

T2

T2

2
T

T2

T
2

T2

f (t) cos (n 0 t) dt

(8.10)

f (t) sen (n 0 t) dt

sen (n 0 t) sen (n 0 t) dt
T
2

T2

f (t) sen (n 0 t) dt

(8.11)

Una representacin alternativa de la serie de

Fourier es:
f (t) = A0 +

An sen (n0 t + n )

(8.12)

n=1

recordando que:
An sen (n 0 t + n ) = An cos (n ) sen (n(8.13)
0 t)
+An sen (n ) cos (n0 t)
y definiendo

T
2

T2

an

1 sen (n0 t) dt = 0

bn
an

= An cos (n )
= An sen (n )

se llega a la serie definida en la ecuacin 8.8.

Series de Fourier

Condiciones de Dirichlet

Fenmeno de Gibbs

Una funcin f (t) se puede representar en serie

de Fourier si se cumple que:
La funcin tiene un nmero finito de discontinuidades en un perodo.
La funcin tiene un nmero finito de mximos y mnimos en un perodo.
La integral del valor absoluto de la funcin es
finita:
 T /2
|f (t)| dt < .

Cuando una funcin se aproxima por una serie

parcial de Fourier, habr un error considerable en
las vecindad de las discontinuidades.
Ejemplo
La funcin

1 < t < 0
f (t) =
1
0<t<
f (t) = f (t + 2)
tiene un desarrollo en serie de Fourier:

T /2

Las condiciones de Dirichlet son suficientes pero

no necesarias, las condiciones necesarias y suficientes fueron encontradas por Carleson (L. Carleson, On convergence and growth of partial sums
of Fourier series, Acta Math. 116 (1966), 135157.) y generalizadas por Hunt (R. A. Hunt, On
the convergence of Fourier series en Orthogonal
Expansions and their Continuous Analogues (Proc.
Conf., Edwardsville, Ill., 1967), Southern Illinois
Univ. Press, Carbondale, 1968, 235-255). An enunciar dichas condiciones est fuera del alcance de
este curso.

f (t) =

4  sin [(2n 1) t]
n=1 (2n 1)

utilizando los primeros 20 trminos


sin[(2n1)t]
f (t) 4 20
n=1
(2n1)
20 sin((2n1)t)
4
n=1

(2n1)

y
1

0.5

0
-4

-2

4
x

Aproximacin por Fourier

-0.5

Sean las sumas parciales:

-1

Sk (t) =

a0 
+
(an cos (n 0 t) + bn sen (n 0 t)) ,
2
n=1

k (t) =

(an cos (n 0 t) + bn sen (n 0 t)) ,

n=k+1

la funcin f (t) en trminos de Sk (t) y k (t) es:

f (t) = Sk (t) + k (t)

en este caso el error cuadrtico medio ser:

$ T /2

2
Ek = T1 T /2 [f (t)]2 dt 12 20
n=1 an
20
1
Ek = 1 82 n=1 (2n1)
2 = 0 ,0 1013
los primeros 1000
1000
f (t) 4 n=1 sin[(2n1)t]
(2n1)
y

podemos aproximar a f (t) como:

f (t) Sk (t) .

0.5

Para medir que tan buena es la aproximacin

f (t) Sk (t) , definimos al error cuadrtico medio,
Ek :

0
-4

-2

4
x

-0.5

Ek
Ek

=
=

1
T
1
T

T /2

[k (t)]2 dt

T /2

T /2

T /2

[f (t)]2 dt

-1

k


a20 1

a + b2n
4
2 n=1 n

si Ek es pequeo la aproximacin es vlida.

Series de Fourier

el error cuadrtico medio ser:

$ T /2

2
Ek = T1 T /2 [f (t)]2 dt 12 1000
n=1 an

1
4
Ek = 1 82 1000
n=1 (2n1)2 = 2. 0264 10

51

Fourier en las discontinuidades

Derivacin e Integracin de Series de Fourier

En un punto singular ts la serie de Fourier

converge a

Derivacin

1
2


lm f (t) + lm f (t) ,

t ts

t+ ts

Sea la serie de Fourier:

(8.14)

es decir, aunque la funcin no exista en ts , su

desarrollo en serie de Fourier existe y su valor esta
dado por 8.14.


1
f (t) = a0 +
[an cos (n0 t) + bn sen (n0 t)]
2
n=1

si derivamos trmino a trmino obtenemos:

f (t) =

n=1

Teorema de Parseval
Si a0 , an y bn son los coeficientes en la expasin
en serie de Fourier de la funcin f (t) = f (t + T ) .
Entonces:


a20 1  2
+
an + b2n
4
2 n=1
T /2
(8.15)
este valor representa a la potencia contenida en
la seal.

1
T

T /2

|f (t)|2 dt =

n0 [bn cos (n 0 t) an sen (n0 t)] .

El trmino extra que aparece al derivar, n 0 ,

disminuye el grado de convergencia de la serie, llegando sta incluso a diverger. Note que la derivada slo esta definida en donde la funcin es continua. La derivacin en los puntos singulares se
ver ms adelante.

Integracin
Sea la serie de Fourier

Simetras (propiedades de paridad)

Con frecuencia las simetras simplifican a los
problemas matemticos. En el caso de series de
Fourier, utilizaremos a la simetra en la paridad
para simplificar el problema.
Funciones pares e impares
Una funcin es par si se cumple que
f (t) = f (t)
e impar si


1
f (t) = a0 +
[an cos (n0 t) + bn sen (n0 t)]
2
n=1

si integramos trmino a trmino




1
1
[an sen (n 0 t) bn cos (n 0 t)]+C
f (t) dt = a0 t+
2
n 0
n=1

El trmino extra que aparece al derivar 1/n 0

aumenta el grado de convergencia de la serie. La
integracin esta definida an en los puntos singulares.

f (t) = f (t)
En el caso de funciones pares el desarrollo en
serie de Fourier es:

1
f (t) = a0 +
an cos (n0 t)
2
n=1
y para impares
f (t) =

bn sen (n0 t)

n=1

Es decir, slo se necesitan calcular a0 y an ,

para funciones pares, y slo bn para impares.
52

Ejemplos
Considere a la funcin

0 para < t < /2

1 para /2 < t < /2
f (t) =

0 para + /2 < t <

f (t) = f (t + 2)
Como es una funcin par


1
an cos (n0 t)
f (t) = a0 +
2
n=1

Series de Fourier

a0

2
T

a0

a0

T
2

Delta de Dirac,

f (t) dt

T2

2
2

2
f (t) dt
2 2
2

1
f (t) dt

)
(
 /2

/2
1
0dt +
dt +
0dt

/2
/2
(
)
/2
1
1 /2
dt = t|/2
/2

=
=

La delta de Dirac es una regla de seleccin (no

es funcin) que se define como:

para t = 0
(t) =
0
para t = 0
Algunas propiedades de la delta de Dirac son:


f (t) H (t a) dt =
f (t) dt

1
[/2 (/2)]
=

= 1
an

2
T

=
o bien,

=
1
2

T
2

f (t) cos (n 0 t) dt

T2

1 2
+
2

n=1

 n 
1
sen
cos (n 0 t)
n
2
n=1

(t) dt = 1

(t) f (t) dt = f (0)

(t a) f (t) dt = f (a)

Derivacin en puntos singulares

(1)n
2n1

dH (t)
= (t)
dt

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

100


1 2
cos (nt) dt
2
 n 
2
sen
n
2

f (t) =

cos ((2n 1) t)

Considere a la funcin f (t) que tiene discontinuidades sbitas a1 , a2 , a3 , ... en t1 , t2 , t3 , ... , y

la funcin f (t) que esta definida en todo t excepto en las discontinuidades.
Definimos a la funcin

ak H (t tk )
g (t) = f (t)
k

La funcin g (t) es continua en todas partes y su

derivada es

g (t) = f (t)
ak (t tk )

0.75

o bien,

0.5

f (t) = g (t) +
0.25

-1.25

1.25

ak (t tk )

lo anterior se conoce como la derivada generalizada de una funcin continua por tramos.

0
-2.5

2.5
x

Funcin Heaviside y Delta de Dirac

Funcin Heaviside, H
La funcin escaln o heaviside est definida
por
H (t) =
Series de Fourier

0
1

para t < 0
para t > 0
53

54

Series de Fourier

Captulo 9

Serie de Fourier compleja y espectro de frecuencia

Forma compleja de las series de
Fourier
Dada la serie de Fourier


1
f (t) = a0 +
[an cos (n0 t) + bn sen (n0 t)]
2
n=1

podemos representar al seno y coseno en trminos

de la exponencial compleja:
eino t + eino t
2
eino t eino t
sen (n 0 t) =
2i
lo anterior dar el siguiente resultado:

y


bn
n = tan1
an

a |cn | le llamaremos amplitud y a n ngulo

de fase.

cos (n 0 t) =

f (t) =

cn eino t

(9.1)

f (t) eino t dt

(9.2)

n=

Espectros de frecuencia compleja

en donde
cn =

1
T

T /2

T /2

adems
1
c0 = a0 , cn = |cn | ein y cn = |cn | ein
2
en donde:
1
2
|cn | =
an + b2n
2

Serie de Fourier compleja y espectro de frecuencia

En realidad cn es una funcin de n = n 0 . A

la grfica discreta de |cn | contra n se le denomina espectro de amplitud, esta funcin especifica
a la funcin peridica f () en el espacio de las
frecuencias, al igual que f (t) lo hace en el espacio
del tiempo.
De igual forma a la grfica de n contra n se
le denomina espectro de fase.
55

Contenido de potencia y teorema de Parseval

1.5

1.25

Para cualquier seal peridica se define a la

potencia promedio como:
1
T

T /2

1
T

T /2

T /2

[f (t)]2 dt =

T /2

0.75

0.5

[f (t)]2 dt

0.25

el teorema de Parseval para el caso complejo

relaciona a la potencia promedio con las
amplitudes de la onda


n=

|cn |2

0
0

10

15

20

25

30
n

Espectro de amplitud

(9.3)

Ejemplo
Encontrar los espectros de frecuencia para la
funcin:

A para 12 d < t < 12 d
f (t) =
0
para 12 T < t < 12 d : 12 d < t < 12 T
para calcular cn utilizamos:
cn

=
=
=
=
=
=
=

y |cn |

56

1
T
A
T

T /2

f (t) ein0 t dt

T /2

d/2

ein0 t dt

d/2

d/2

A 1
ein0 t 
T in 0
d/2

A 1  in0 d/2
ein0 d/2
e
T in0
 in0 d/2

e
ein0 d/2
A 2
T n 0
2i


n 0 d
A 2
sen
T n 0
2
n0 d

Ad sen 2
n0 d

T
2


 Ad sen n0 d



2
n d

|cn | = 
0

T
2

si hacemos d = 1/20, A = 5 y T = 1/4, 0 =



 sen n

 5

|cn | =  n 


5

Serie de Fourier compleja y espectro de frecuencia

Captulo 10

Ejercicios de Serie de Fourier

1. Desarrolle en serie de Fourier real a la funcin f (t) = |t| para (, ) y f (t) = f (t +
2).

b) f(t) =
f(t)

t,
0,

0<t<2
2<t<3

: f (t + 3) =

2. Grafique a la funcin

0 1 < t < 0
f (t) =
t2 0 > t > 1
f (t) = f (t + 2)
encuentre su desarrollo en serie de Fourier
real.
3. Desarrolle en serie de Fourier real a la funcin f (t) = cos (t), 1 t 1.
4. Desarrolle en serie de Fourier real a la funcin f (t) = e2t /2, 1 t 1.
5. Grafique a la funcin

0
1 < t < 0
f(t) =
et 0 > t > 1
f(t) = f(t + 2)
encuentre su desarrollo en serie de Fourier
compleja. Grafique al espectro de frecuencia.
6. Encuentre la serie de Fourier compleja y el
espectro de frecuencia (al menos unos de sus
puntos) para:
a) f(t) = t2 : 0 t < 2 : f(t + 2) = f (t)
Ejercicios de Serie de Fourier

57

58

Ejercicios de Serie de Fourier

Parte III

Transformada de Fourier

59

Captulo 11

Transformada de Fourier
Las series de Fourier son muy tiles para estudiar funciones peridicas, por lo tanto, es natural querer extrapolar esta teora para el caso de
cualquier funcin.

obtenemos,
f (t) =

F () eit d

(11.2)

Transformada de Fourier

Deduccin

La ecuacin 11.1 sirve para definir a la transformada de Fourier F :

Sea la serie de Fourier

f (t) =

cn eino t

F (f (t)) = F ()

n=

con
1
cn =
T

1
2

:


T /2

ino t

f (t) e

T /2

2
dt y T =
o

(11.3)

y la 11.2 a la antitransformada de Fourier F 1

F 1 (F ()) = f (t)

(11.4)

En general la funcin F () es compleja y contiene la misma informacin que f (t) .

combinando ambas
F () = |F ()| ei()
)
( 

T
/2
 1
f (x) eino x dx eino t
f (t) =
T
T
/2
n=
(
)
Integral de Fourier

T /2

1
ino x
ino t
Utilizando el hecho de que eit = cos t +
f (t) =
f (x) e
dx o e
2 T /2
i sen t las ecuaciones 11.1 y 11.2 se pueden esn=
cribir como:

si hacemos T , o = d 0 y n o
1
. Obtenemos la identidad de Fourier.
f (t) =
[A () cos (t) + B () sen (t)] d
0



1
f (x) eix dx eit d
f (t) =
donde
2


f (t) cos (t) dt
A
()
=
si definimos



F () =
f (t) eit dt
(11.1)
B () =
f (t) sen (t) dt

Transformada de Fourier

61

F1 () F2 () = 2F [f1 (t) f2 (t)]

(en esta forma reciben el nombre de intergral de

Fourier) esta forma recuerda a la serie real de
Fourier.

(11.11)

Ejemplos
Espectro de frecuencia continuo
A la grfica de |F ()| contra se le llama
espectro continuo de frecuencia. En esta grfica
se pueden observar si existen frecuencias preferenciales o caractersticas en la seal.

Transformadas seno y coseno de Fourier

Si la funcin f (t) esta definida slo en el intervalo t [0, ) definimos a la transformada seno
de Fourier como

Fs (f (t)) = F () =
f (t) sen (t)(11.5)
dt
0

2
F () sen (t)
(11.6)
d
Fs1 (F ()) = f (t) =
0
y a la transformada coseno

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

2
F () cos (t)
(11.8)
d
Fc1 (F ()) = f (t) =
0

Transformada de
 Fourier

2
1) Encontrar F teat y graficar su espectro
de frecuencia si a =1.



2
2
sabemos que F eat = a e /4a y que
F (tf (t)) = iF ()
entonces:
*



2 /4a
d
at2
F te
e
= i
d
a
*


2
i 2 /4a
=
F teat
e
2a a
El espectro de frecuencia


 i 2 /4 


e
|F ()| = 

2
|| 2 /4
e
|F ()| =
2

Convolucin y correlacin
Sean f1 (t) y f2 (t) dos funciones dadas. La
convolucin de f1 (t) y f2 (t), esta definida por

f (t) = f1 (t) f2 (t) =
f1 ( ) f2 (t ) d

(11.9)
La funcin f (t) se conoce como la funcin de
correlacin entre las funciones f1 (t) y f2 (t) . La
correlacin es una medida de la similitud o interdependencia de f1 (t) y f2 (t) como funcin de un
parmetro . La autocorrelacin se define como
f1 (t) f1 (t).



2) Encontrar F (t 1) ea(t1) H (t 1)
(t 1) e(t1) Heaviside (t 1)
y

Propiedades

0.35
0.3
0.25

f1 (t) f2 (t) = f2 (t) f1 (t)

[f1 (t) f2 (t)] f3 (t) = f1 (t) [f2 (t) f3 (t)]
f (t t1 ) (t t2 ) = f (t t1 t2 )

0.2
0.15
0.1

Teorema de convolucin

0.05
0

Si F (f1 (t)) = F1 () y F (f2 (t)) = F2 ()

entonces
f1 (t) f2 (t) = F 1 [F1 () F2 ()]
62

-5

-2.5

2.5

7.5

10
x

(11.10)
Transformada de Fourier

rema de convolucin


5
1
F
2 2 + 3i



1
1
1
= 5F
2 + i 1 + i
 /
0 /
0
1
F H (t) e2t F H (t) et
= 5F
/
0
= 5 H (t) e2t H (t) et

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


et e H () H(t )d
= 5


t
= 5e
e H () H(t )d

+
,
F (t 2) ea(t2) H (t 2)
+
,
= e2i F (t) ea(t) H (t)

= e2i

(i + a)



 2i 1 
e
(i+1)2 
y

0.5

0.375

pero

0.25

H () H(t ) =

0.125

0
12.5

25

37.5

50
x



3) Encontrar F ea|3t|

,
+
F es|3t|
1 - + s|t| ,.
=
F e
|3|
=
3


1
2s
=
|3| s2 + 2 =
(
) 3
1
2s
=
|3| s2 + 92

Transformada inversa de Fourier

.
1) Obtener F 1 225+3i

=
=
=

1
(2 + i) (1 + i)


1
1
5F 1

1 + i 2 + i





1
1
F 1
5 F 1
1 + i
2 + i
/ t
0
2t
5 e H (t) e H (t)
0
/
5H (t) et e2t

5F 1
=

Convolucin
.
1) Calcular F 1 225+3i utilizando el teo-

Transformada de Fourier

0 si < 0 > t
1 si 0 < < t

de aqu si t < 0 la segunda condicin nunca se

cumple, por lo tanto H ( ) H(t ) = 0. Y para
t > 0 H ( ) H(t ) = 1 en el intervalo 0 < < t.
entonces

e H () H(t )d
= 5et


0
si t < 0
$t
=
5et 0 e d si t > 0

0
si t < 0
=
5et [1 et ] si t > 0
/
0
= H(t)5et 1 et
/
0
= 5H(t) et e2t
Ecuaciones diferenciales
1) Resolver a la ecuacin diferencial
y 4y = H (t) e4t
< t <
graficar su espectro de frecuencias
aplicando la transformada de Fourier a toda
la ecuacin obtenemos


F y 4y = H (t) e4t
iY () 4Y () =
Y () =
Y () =
Y () =

1
i + 4
1
(i 4) (i + 4)
1
(4 i) (4 + i)
1
(42 + 2 )
63

1
(42 +2 )

Su espectro de frecuencia es:



 1 

|Y ()| =  2
(4 + 2 ) 
1
=
2
(4 + 2 )

y0.0625

0.05

0.0375

0.025
0.05

0.0125
0.0375

25

50

75

100

0.025

0.0125

Y () ya es la solucin a la ecuacin diferencial

en el espacio de frecuencias, si queremos regresar
al espacio del tiempo aplicamos la transformada
inversa de Fourier.

12.5

25
w

x2 ex
, Fourier transform is: 2 Dirac (w i, 2)
eaw
, Is Fourier transform of Dirac (ia x)

18 e4|t|
-5

-12.5

Uso de la computadora para transformada

de Laplace

= F 1 [Y ()]


1
= F 1
(42 + 2 )


1
2 (4)
=
F 1
2 (4)
(42 + 2 )
1
= e4|t|
8

-25

-2.5

2.5

x
5

0
-0.025

-0.05

-0.075

-0.1

-0.125

y -0.15

Note que al resolver la ecuacin diferencial no

se utilizaron constantes arbitrarias, lo anterior es
porque implcitamente existen dos condiciones extras:
1.

|f (t)| dt <

2. f (t) es continua
64

Transformada de Fourier

Captulo 12

Transformada Discreta de Fourier

Los datos discretos son de uso comn en ingeniera. Se obtienen cuando se mide una seal
en el tiempo o el espacio. En estos datos no es
posible utilizar la transformada de Fourier directamente, por ello se define la transformada discreta de Fourier. Con esta transformada es posible
obtener informacin de las frecuencias de la seal.
Suponga al conjunto de valores {y0 , y1 , ..., ym , ..., yN1 }
de una funcin muestreados en los tiempos {t0 , t1 , ...tm , ..., tN1 }
respectivamente. Donde tm = mt para m =
T
.
0 N 1, t0 = 0, tN1 = T y t = N1
La trasformada discreta
Yk (fk ) =

N1


ym (tm ) e2i

km
N

(12.1)

m=0

se puede utilizar para generar el conjunto de valores {Y0 , Y1 , ..., Yk , ..., YN1 } para cada frecuencia
{f0 , f1 , ..., fk , ..., fN1 } donde fk = kf donde
f = fNs donde fs = T1 se define como la frecuencia de muestreo. La transformada inversa es:
ym (tm ) =

N1
1 
Yk e2imk/N
N k=0

(12.2)

1
La frecuencia de Nyquist se define como 2t
e
indica cual es la ms alta frecuencia que puede
ser detectada con el perido de muestreo t.

Transformada Discreta de Fourier

65

66

Transformada Discreta de Fourier

Captulo 13

Ejercicios de Transformada de Fourier

1. Encuentre la transformada de Fourier y grafique
a la funcin en el espacio de frecuencias
para:
a) ec(t4) sen (b(t 4)) H(t 4)
b)

5 cos(0 t)
4+t2

+2

at2 i0 t

c) e

e


2
d
d) dt
e3t

e) (t 3) e4t H (t 3)
f)

5e3it
t2 4t+13

2. Encuentre la antitransformada de Fourier

para
a)
b)

a
i22
a
i(1)2(1)2

3. Encuentre una solucin acotada y continua

para
a)
d2 y
dy
+ 3 + 2y = H (t)
dt2
dt
b)
dy
d2 y
+ 3 + 2y = 3 (t)
dt2
dt

Ejercicios de Transformada de Fourier

67

68

Ejercicios de Transformada de Fourier

Parte IV

Apndices

69

.
- a|b|
cos (bt)

+ ea|+b|
e
2
2
a +t
2a

Apndice A: Tabla de transformada de Fourier

f (t) F ()

.
sin (bt)
- a|b|
e

ea|+b|
2
2
a +t
2ai

(a1)

a1 f1 (t) + a2 f2 (t) a1 F1 () + a2 F2 () (a2)

1  
f (at)
F
(a3)
|a|
a
f (t) F ()

f (t t0 ) F () eit0

(a5)

f (t) e

(a6)

i0 t

F ( 0 )

f (n) (t) (i)n F ()

f (x) dx

(it)n f (t) F (n) ()

(a12)

f1 (t) f2 (t) F1 () F2 ()

(a13)

1
F1 () F2 ()
f1 (t) f2 (t)
2
1
eat H (t)
i + a
2a
ea|t| 2
a + 2
*
2
at2
e 4a
e


sin a
1 |t| < a2
a a2

pa (t) =
0 |t| > a2
2
sin (at)
p2a ()
t
1
teat H (t)
(i + a)2

tn1 at
1
e H (t)
(n 1)!
(i + a)n
eat sin (bt) H (t)
eat cos (bt) H (t)

(i + a)2 + b2
i + a
(i + a)2 + b2

ea||
a2 + t2
a

(a28)

1 it0
e
i

(a31)

1 2 ()

(a32)

tn 2in (n) ()

(a33)

ei0 t 2 ( 0 )

(a34)

tH (t) i ()

(a18)

1
2

(a35)

(a39)

(i)n1
1

[i 2iH ()]
tn
(n 1)!

(a19)


f1 (t) f2 (t) dt =

(a24)

(a30)

H (t) cos ( 0 t)
(a38)

i0
+ [ ( 0 ) + ( + 0 )]

20 2 2i

(a17)

(a23)

1
i

(a37)
H (t) sin ( 0 t)

0
+ [ ( 0 ) ( + 0 )]

20 2 2i

(a16)

(a22)

(a29)

sin (0 t) i [ ( 0 ) ( + 0 )] (a36)

(a15)

(a21)

cos ( 0 t) [ ( 0 ) + ( + 0 )]

(a14)

(a20)

(t t0 ) eit0

H (t t0 ) () +

(a10)

1
F () + F (0) () (a11)
i

(a27)

H (t) () +

1
1
f (t) cos ( 0 t) F ( 0 ) + F ( + 0 )
2
2
(a7)
1
1
f (t) sin ( 0 t) F ( 0 ) F ( + 0 )
2i
2i
(a8)
F (t) 2f ()
(a9)

(a26)

(t) 1

(n) (t) (i)

(a4)

(a25)

|f (t)| dt =

1
2

f (t) G (t) dt =

1
2

F1 () F2 () d
(a41)
2

|F ()| d

(a42)

F () g () d

(a43)

(a40)

sgn (t)

2
i

(a44)
71

Apndice B: Tabla de transformada seno de Fourier

a
1

: (a > 0)
e
a2 + t2
2a

ea (1 + a)
: (a > 0) (C7)
4
a3
(a2 +
 2
 2 
  2
x

cos

cos
+ sin
2
2
2
2
(C8)
 2
 2 
  2

sin

cos
sin
2
2
2
2
(C8)
1

t2 )2

f (t) FS ()

1
H ()
t
2
 r 
r1
r
t
(r) sin
: r (0, 1)
2
*

1

2
t

: (a > 0)
eat 2
a + 2
2a
teat
: (a > 0)
2
(a + 2 )2

2 /4a2
a2 t2
te

e
: (a > 0)
4a3

eat
tan1
: (a > 0)
t
a

t
ea : (a > 0)
a2 + t2
2
t
(a2 +

t2 )2

23/2

ea
: (a > 0)
a

(1 ea )
1

: (a > 0)
t (a2 + t2 )
2
a2



et/ 2 sin

1 + 4
2
a
1 ea
2
tan1
: (a > 0)

4 t
e sin
4 + t4

(S1)
(S2)
(S3)

tr1

a2 2
: (a > 0)
(a2 + 2 )2

2 /4a2
e

: (a > 0)
2a

teat
2 2

ea
72

(S4)
(S5)
(S6)
(S7)
(S8)
(S9)

Apndice D: Referencias Bibliogrficas

A. David Wunsch, Variable compleja con
aplicaciones, Addison-Wesley Iberoamericana,
1997.
Hwei P. Hsu, Anlisis de Fourier, AddisonWesley Iberoamericana, 1987.

(S10)

Peter V. ONeil, Matemticas Avanzadas para

Ingeniera, Volumen II, CECSA, 1998.

(S11)

T. W. Korner, Fourier Analysis, Cambridge,

1995.

(S12)

G. B. Arfken and H. J. Weber, Mathematical Methods for Physicists, Miami University, 2000, 5e.

(S13)
(S14)

Apndice C: Tabla de transformada coseno de Fourier

f (t) FC ()
 r 
(r) r cos
: r (0, 1)
2
a
: (a > 0)
eat 2
a + 2

(C6)

(C1)
(C2)
(C3)
(C4)
(C5)