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
2
ndice general

I Variable compleja 7
1. Funciones de variable compleja y mapeos 11
Nmeros complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
El plano de Argand . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
Funcin Compleja . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
Polinomios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
Funcin exponencial compleja . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
Funcin logaritmo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
Funciones trigonomtricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
Ejercicios en clase . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
Tarea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17

2. Funciones analticas y mapeos conformes 19

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

3. Integral de lnea de funciones de variable compleja 29

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

4. Teorema integral de Cauchy-Goursat 31

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

5. Frmulas integrales de Cauchy 33

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

NDICE GENERAL 3
6. Serie Laurent y teorema del residuo 37

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

7. Aplicacin del anlisis complejo 43

Fractales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
Conjunto de Mandelbrot . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
Fenmenos de transporte . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
Transferencia de calor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
Difusin molecular . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45

II Series de Fourier 47
8. Series de Fourier 49
Funciones perodicas y seales fsicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
Funciones ortogonales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
Algebra lineal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
Funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
Definicin de la Serie de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
Condiciones de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
Aproximacin por Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
Fourier en las discontinuidades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
Teorema de Parseval . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
Simetras (propiedades de paridad) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
Derivacin e Integracin de Series de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . 52
Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
Funcin Heaviside y Delta de Dirac . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
Derivacin en puntos singulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53

9. Serie de Fourier compleja y espectro de frecuencia 55

Forma compleja de las series de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
Espectros de frecuencia compleja . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
Contenido de potencia y teorema de Parseval . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56

10.Ejercicios de Serie de Fourier 57

III Transformada de Fourier 59

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

4 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 69
Apndice A: Tabla de transformada de Fourier . . . . . . . . . . . . . . . . . . . . . . . 71
Apndice B: Tabla de transformada seno de Fourier . . . . . . . . . . . . . . . . . . . . 72
Apndice C: Tabla de transformada coseno de Fourier . . . . . . . . . . . . . . . . . . . 72
Apndice D: Referencias Bibliogrficas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72

NDICE GENERAL 5
 "Dara todo lo que s, por la mitad de
lo que ignoro"
Ren Descartes

6 NDICE GENERAL
 Parte I

Variable compleja

7
 Objetivo: El alumno manejar los conceptos
y los mtodos bsicos de la teora de las funciones
de variable compleja, para la resolucin de prob-
lemas de matemticas e ingeniera.

9
10
Captulo 1

Funciones de variable compleja y mapeos

Nmeros complejos Complejo conjugado: El complejo conjuga-

do de z = x+iy se denota como z o z , y se define
por
Definicin z = z = x iy
Si se postula a la unidad imaginaria como
Mdulo o magnitud: El mdulo o la mag-
i2 = 1 nitud de un nmero complejo z = x+iy se denota
como |z| y se define como
se puede definir a un nmero complejo como:

|z| = x2 + y 2 .
z = x + iy,
Cociente: El cociente de dos nmeros com-
en donde x y y son nmeros reales. plejos z = a + ib y w = c + id = 0 se define
A x se le llama parte real de z como:

x = Re (z) z zw zw
= = 2
w ww |w|
y a y parte imaginaria de z z ac + db bc ad
= 2 2
+i 2
y = Im (z) w c +d c + d2
Teorema 1 Sean z y w dos nmeros complejo,
Igualdad: Dos nmeros complejos z = a + ib entonces
y w = c + id cumplen que
z z = |z|2
z = w {a = c y b = d}
(z + w) = z+w
Suma: La suma de dos nmeros complejos (zw) = zw
z = a + ib y w = c + id se define como z z
=
w w
z + w = (a + c) + i (b + d)
Plano de Argand o complejo: Se puede
Multiplicacin: La multiplicacin de dos nmeros representar geomtricamente a un nmero com-
complejos 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 rep-
zw = (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 |zw| = |z| |w|

z |z|
 
Forma polar de un nmero complejo. Sea   = slo si w = 0
w |w|
z = x + iy un punto en el plano de Argand.
arg (zw) = arg (z) + arg (w)
Si se define a r como la distancia del origen al z
punto (x, y) y a como el ngulo que forma el arg = arg (z) arg (w)
w
eje horizontal con r (ver figura), de argumentos
arg (z) = arg (cz) si c>0
trigonomtricos se tiene que:
Potencias enteras de un nmero comple-
x = r cos jo: Sea el nmero complejo z = r (cos + i sen )
y = r sen entonces

z n = rn {cos (n) + i sen (n)}

r = x2 + y2 = |z|
y donde n es un nmero entero.
= tan1 Potencias fraccionarias de un nmero com-
x
plejo: Sea el nmero complejo z = r [cos + i sen ]
entonces
    
1 1 + 2k + 2k
z =r
m m cos + i sen
m m
donde m 1 es un nmero entero y
k = 0, 1, 2, ..., m 1.
Al igual que en los nmeros reales existen m posi-
bles valores para la raz m esima de z.
El nmero complejo infinito: Definimos al
Representacin polar de un nmero complejo nmero complejo infinito como el que satisface a
entonces z
= 0

z = x + iy = r (cos + i sen ) z = : z =
z = |z| ei z
= : z = 0
0
o en forma simblica z = : z = 0

z = rcis () = : z = .
z
z = r. Esfera de Riemann: Cuando el plano de Ar-
De las frmulas se observa que r es la magnitud gand incluye al punto infinito, se llama plano z
o mdulo de z. A se le nombra el argumento de extendido. Para entender mejor lo que significa
z, y se denota: el punto infinito se utiliza la esfera numrica de
Riemann. El punto z1 es proyectado en el punto
= arg (z) . 1 de la esfera de Riemann con la ayuda de un
segmento de recta que une a los puntos B y z1 .
Argumento principal: En general es cualquier El punto z = 0 de Argand es el A de la esfera de
ngulo tal que = tan1 (y/x), esto es, hay un Riemann y el punto del plano de Argand es el
nmero infinito de argumentos de z. Para evitar B de la esfera de Riemann.

12 Funciones de variable compleja y mapeos

 Conjunto abierto: Un conjunto abierto es aquel
en el que, para todo elemento, existe una vecin-
dad cuyos puntos pertenecen al conjunto.

Esfera de Riemann

Conjunto abierto
El plano de Argand Ejemplo.- |z| < 1.
Conjunto cerrado: Un conjunto cerrado es aquel
en el que, para al menos un elemento, no existe
Para poder estudiar el clculo son necesarias una vecindad cuyos puntos pertenecen todos al
las definiciones que a continuacin se muestran: conjunto.
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 cerrado
Ejemplo .- |z| 1.
Conjunto conexo: Un conjunto es conexo si da-
dos dos puntos cualesquiera del conjunto, existe
una trayectoria formada por segmentos de recta
que los une, y cuyos puntos pertenecen al conjun-
to.
|z z0 | < r

Vecindad punteada: Una vecindad punteada

de z0 es el conjunto de puntos tal que 0 < |z z0 | <
r

Conjunto conexo
Dominio: Llamamos dominio a un conjunto
abierto conexo.
Dominio simplemente conexo: Un dominio sin
agujeros.
Dominio multiplemente conexo: Un dominio
0 < |z z0 | < r con agujeros.

Funciones de variable compleja y mapeos 13

 Conjunto multiplemente conexo
|z| = 1
|z z0 | r0
Punto frontera: Es un punto tal que toda vecin-
dad de dicho punto contiene al menos un punto
que pertenece al conjunto y otro que no.
Punto interior : Es un punto tal que toda vecin-
dad de dicho punto contiene puntos que pertenece
al conjunto.
Punto exterior: Es un punto tal que toda vecin-
dad de dicho punto no contiene puntos que pertenece
al conjunto.
Regin: Es la unin de un dominio y posible-
mente algunos, ninguno o todos sus puntos fron-
tera. |z z0 | r0
Conjunto acotado: Un conjunto para el cual 1 < |z 1| 2. En la figura se muestra
existe un crculo de radio finito que circunscribe al crculo interno punteado, lo que significa
al conjunto. que la regin no toca a la frontera, mientras
Ejemplos de Regiones en el plano: que el crculo externo es continuo, ya que la
regin incluye a la frontera.
Ejemplos

y 2

0
-2 -1 0 1 2

1 < |z 1| 2
-1

Funcin Compleja
-2

Re (z) = Im (z)

Una funcin compleja se define como

|z| = 1, aquse puede utilizar la definicin w = {z D, w I |w = f (z) }
de mdulo, a2 + b2 = 1, esto es, a2 + b2 =
12 , una circunferencia con centro en el ori- En donde D es el dominio de la funcin en el
gen y radio 1. plano Z, e I es la imagen (rango o recorrido) de

14 Funciones de variable compleja y mapeos

la funcin en el plano W. Decimos que la funcin Ejemplo
mapea el punto z1 = x1 + iy1 D al punto w1 =
w = {z D, w I :w = |z|}
u1 + iv1 I. La grfica natural de la regla de
correspondencia w = f (z) es imposible ya que se D = {|z| 1}


requieren cuatro dimensiones, dos para z ( una w = |z| = x2 + y2

para x y otra para y) y dos para w (una para u si tomamos |z| = 1 = x2 + y 2 = 1 w = 1
y otra para v). Si se quiere analizar grficamente y
a una funcin compleja un mtodo es utilizar dos

si |z| = 0 = x2 + y 2 = 0 w = 0,
espacios independientes en dos dimensiones, uno es decir, la circunferencia unitaria con centro
para z y otro para w tal como se muestra en la en el origen, se mapea en el segmento de recta de
siguiente figura. 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 corre-
spondencia:
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

La funcin exponencial compleja se define co-
mo:
Estos segmentos de recta se mapean mediante
f (z) al espacio w = u+iv. Por ejemplo, la funcin ez = ex+iy = ex (cos y + i sen y) . (1.1)
f (z) = (z 1) / (z + 1) mapea a dicha cuadrcula De aqu se observa que Re (e ) = e cos y e Im (ez ) =
z x
en la siguiente grfica ex sen y. Algunas de las propiedades de esta fun-
cin se enuncian en el siguiente teorema.
Teorema 3 Sean z1 , z2 y z nmeros complejos

ez1 ez2 = ez1 +z2
(ez )a = eaz con a 0
ez1
= ez1 z2
ez2
|ez | = ex
ez  = 0 : z
arg (ez ) = y + 2k : k = 0, 1, 2, ...

Funciones de variable compleja y mapeos 15

 Periodicidad de ez . Aunque la funcin ex- Teorema 4 Sean z y w nmeros complejos difer-
ponencial real no es peridica, la forma compleja entes de cero, r un nmero racional y n cualquier
de la exponencial presenta una comportamiento entero
peridico, para mostrar ello tomemos
elog(z) = z
ez+2ki = ex+i(y+2k) log (ez ) = z + 2ni
= ex (cos [y + 2k] + i sen [y + 2k]) log (zw) = log z + log w
= ex (cos y + i sen y) z
log = log z log w
ez+2ki = ez w
log (z r ) = r log z
por lo tanto la funcin exponencial es peridica
con perido imaginario 2i. Logaritmo principal: La ecuacin 1.3 rep-
Algunos valores de ez resenta a un conjunto infinito de nmeros com-
plejos, n = 0, 1, 2, ..., para poder definir a una
e0+i0 = 1 funcin compleja (por lo tanto univaluada) tomamos
ei/2 = i slo al argumento principal de log z, y obtenemos
ei = 1 el logaritmo principal de log z, que denotamos por
ei3/2
= i Log (z):

Note que de la tercera igualdad ei + 1 = 0, esta Log (z) = ln |z| + iArg (z) (1.4)
igualdad contiene a los cinco nmeros ms impor-
tantes en matemticas: e, i, , 1 y 0.
Funciones trigonomtricas
Definimos al seno y coseno imaginarios como:
Funcin logaritmo eiz eiz
Definimos, si z = 0, al logaritmo de z como sen (z) = (1.5)
2i
w = log z z = ew (1.2) e + eiz
iz
cos (z) = (1.6)
2
De la definicin tenemos que
adems
z = ew
sen (z)
rei = eu+iv tan (z) = (1.7)
cos (z)
rei = eu eiv 1
sec (z) = (1.8)
comparando cos (z)
1
eu = r csc (z) =
sen (z)
(1.9)
eu = |z| cos (z)
u = ln |z| cot (z) = (1.10)
sen (z)
Re w = ln |z|
Propiedades
Re (log z) = ln |z|
1 = sen2 (z) + cos2 (z)
y 2
1 + tan (z) = sec2 (z)
eiv = ei sen (2z) = 2 sen (z) cos (z)
v = + 2n : n = 0, 1, 2, ... sen (z w) = sen (z) cos (w) cos (z) sen (w)
v = arg (z) + 2n cos (z w) = cos (z) cos (w) sen (z) sen (w)
Im w = arg (z) + 2n cos (2z) = cos2 (z) sen2 (z)
Im (log z) = arg (z) + 2n
Periodicidad de las funciones trigonomtri-
entonces cas: Las funciones seno y coseno son peridicas
con perido real 2, es decir:
w = u + iv
w = ln |z| + i (arg (z) + 2n) sen (z) = sen (z + 2n)
log z = ln |z| + i [arg (z) + 2n] (1.3) cos (z) = cos (z + 2n)

16 Funciones de variable compleja y mapeos

Ejercicios 7. Escriba en trminos de z y z a:

w = 2xy + i x2 y 2
Ejercicios en clase w = x2 + y 2
1. Estudie la forma en que w = sin z transfor-
ma a la franja y 0, /2 x /2. 8. Determinar todos los valores tales que eiz =
2.
2. Demuestre que la transformacin w = 1/z
transforma a la recta infinita Imz = 1 en un 9. Si cos z = 2 obtener cos 2z.
crculo en el plano w. Encuentre la ecuacin
del crculo. 10. Emplee logaritmos para resolver z en:

3. Determine la imagen del arco semicircular (ez 1)2 = ez

|z| = 1, 0 argz , bajo la transforma- ez = e2z
cin w = z + 1/z. Sugerencia: tome z = ei .

4. Identificar las imgenes de cos z de las rec- 11. Estudie la forma en que el conjunto Re (z) =
tas paralelas al eje real. Im (z) se transforma mediante w = sin (z) .
12. Estudie la forma en que w = ez transforma
5. Determine la imagen de la banda 1 y 2
a la regin 0 y /2 y 0 x 1
en el plano z bajo la transformacin w = z 2 .
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
1. Demuestre que
las rectas paralelas al eje real.
(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 for-

ma u + iv :
2
(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 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
Sean una funcin compleja f (z) y una con- cuales z tiende a z0 , y para que el lmite exista,
stante compleja L. Si para todo nmero real > 0 todos estos lmites debern existir y ser iguales.
existe un nmero real > 0 tal que
Teorema 5 Suponga que
|f (z) L| <
lm f (z) y lm g (z) existen
zz0 zz0
para todo z tal que

0 < |z z0 | < lm [f (z) + g (z)] = lm f (z) + lm g (z)

zz0 zz0 zz0

entonces decimos que lm [f (z)] = lm f (z) :

zz0 zz0
lm [f (z) g (z)] = lm f (z) lm g (z)
lm f (z) = L, zz0 zz0 zz0
zz0  
f (z) lmzz0 f (z)
lm = si lm g (z) = 0
es decir, que f (z) tiene lmite L cuando z tiende zz0 g (z) lmzz0 g (z) zz0
a z0 .
Ejemplo
Analice al siguiente lmite
 2 
x +x y2 + y
lm f (z) = lm +i
z0 z0 x + y x+y
tomemos dos trayectorias, la primera a lo largo
del eje y acercndose por arriba, sobre esta trayec-
toria x = 0 y el lmite
Lmite complejo  2 
y +y
lm f (z) = lm i
Es fcil notar que la definicin de lmite real z0 y0 y
y lmite complejo son muy similares, sin embar- = lm [i (y + 1)] = i
y0
go, existen diferencias entre ellas. Para ilustrar lo
anterior recuerde que en el caso real si los lmites la segunda a lo largo del eje x acercndose por
por la izquierda y por la derecha existen y son la derecha, sobre esta trayectoria y = 0 y el lmite.

Funciones analticas y mapeos conformes 19

 Primero se analiza si f (z0 ) existe, para este
  problema f (i) = 3i, lo que sigue es encontrar el
x2 + x lmite
lm f (z) = lm
z0 x0 x
= lm [x + 1] = 1 z2 + 1
x0 lm
zi z i

como los lmites por diferentes trayectorias son z 2 i2

= lm
diferentes el lmite no existe. zi z i
(z + i) (z i)
= lm
zi zi
= lm (z + i)
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 conti- Dada una funcin de variable compleja f (z),
nua en z = z0 si se satisfacen las dos condiciones la derivada en z0 , se define como:
siguientes:

df 
1. f (z0 ) est definido f (z0 ) =
dz z0
2. lmzz0 f (z) , y lmzz0 f (z) = f (z0 ) f (z0 + z) f (z0 )
= lm
Teorema 6 Sean f (z) y g (z) continuas en z0 ,
z0 z
f (z) f (z0 )
entonces en z0 = lm
zz0 z z0
f (z) g (z) ,
siempre y cuando el lmite exista. La definicin
f (z) g (z) , anterior es muy similar al caso real, sin embargo,
f [g (z)] y se debe tener cuidado ya que el lmite comple-
|f (z)| jo, es ms complicado de obtener. El problema
de la existencia de la derivada se estudiar ms
son continuas y adelante.
f (z)
g (z) Teorema 7 Si f y g son funciones derivables en
z0
es continua si g (z0 ) = 0,
adems si f (z) = u (x, y) + iv (x, y), entonces (f + g) = f + g

u (x, y) y v (x, y) (f ) = f
(f g) = f g + f g
son continuas.  
f gf f g
= : g = 0
Ejemplo g g2
Estudie la continuidad en z = i de la funcin df [g (z)] df dg
=
 z2 +1 dz dg dz
z= i
f (z) = zi
3i z=i Ejemplo

20 Funciones analticas y mapeos conformes

 Si f (z) = z n , complicado, an en funciones sencillas. En esta
seccin se estudia una manera simple de probar
dz n
= nz n1 si la derivada existe y cmo calcularla.
dz Suponga que la funcin f (z) = u(x, y)+iv(x, y)
Ejemplo tiene derivada en z0 = x0 + iy0 , es decir,
Sea f (z) = z, pruebe que f (i) .
La definicin de la derivada es: f (z0 + z) f (z0 )
f (z0 ) = lm ,
z0 z
z (i)
f (i) = lm en donde el incremento es z = x + iy. Si
zi
zi
z + i se toma el lmite por dos diferentes trayectorias

f (i) = lm como se muestra en la figura
zi z i

para analizar este lmite utilizaremos dos trayec-

torias diferentes:
la primera sobre el eje imaginario, aqu, x = 0,
entonces el lmite es

x iy + i
f (i) = lm
zi x + iy i
iy + i
= lm
y1 iy i
y1 Se toman dos diferentes trayectorias
= lm
y1 y 1
para la trayectoria I, y = y0 , y = 0 y z =
= 1
x, entonces la derivada
a la segunda trayectoria la definimos como la
f (z0 + x) f (z0 )
recta horizontal y = 1, en este caso el lmite f (z0 ) = lm
x0 x
x iy + i u (x0 + x, y0 ) + iv (x0 + x, y0 )
f (i) = lm
x + iy i
zi u (x0 , y0 ) iv (x0 , y0 )
xi+i = lm
= lm x0
x 
x0 x + i i u(x0 +x,y0 )u(x0 ,y0 )
x x +
= lm = lm v(x0 +x,y0 )v(x0 ,y0 )
x0 x
x0 i x
 
= 1 u v
f (z0 ) = +i
como ambos lmites tienen diferentes valores, la x x x0 ,y0
derivada no existe.
para la trayectoria II, x = x0 , x = 0 y z =
iy, entonces la derivada
f (z0 + iy) f (z0 )
f (z0 ) = lm
y0 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 ) 
La derivada no existe
0 0
iy
0 0
+
= lm v(x0 ,y0 +y)v(x0 ,y0 )
y0 i iy
u(x ,y +y)u(x ,y ) 
0 0 0 0
+
Ecuaciones de Cauchy-Riemann-
iy
= lm v(x0 ,y0 +y)v(x0 ,y0 )
y0 i iy

(DAlembert) = lm
i u(x0 ,y0 +y)u(x0 ,y0 )
y +
v(x0 ,y0 +y)v(x0 ,y0 )
y0
y
 
Como se mostr en ejemplos anteriores pro- u v
= i +
bar que la derivada existe apartir de un lmite es y y x0 ,y0

Funciones analticas y mapeos conformes 21

 Si la derivada existe los lmites son iguales: Teorema 9 Regla de LH opital. Si g (z0 ) = 0
y h (z0 ) = 0, y si g (z) y h (z) son diferenciables
u v u v
f (z) = +i = i + , en z0 con h (z0 ) = 0
x x y y
o bien, g (z) g (z0 )
lm = .
zz0 h (z) h (z0 )
u v
= (2.1)
x y
v u
= (2.2)
x y Funciones Analticas
Las ecuaciones 2.1 y 2.2 se conocen como las
ecuaciones de Cauchy-Riemann, si estas ecua-
ciones no son vlidas en algn punto, la derivada Decimos que una funcin f (z) es analtica
no existe en ese punto, es decir, slo son condicin en z0 si f (z) no slo existe en z0 , sino en todo
necesaria, pero no suficiente, para que la derivada punto de alguna vecindad de z0 . Si la funcin es
exista. analtica en todo el plano complejo decimos que
la funcin es entera.
Teorema 8 Si tanto u y v como sus primeras Si una funcin no es analtica en z0 , pero es
derivadas parciales u/x, u/y, v/x y v/y analtica en al menos un punto de toda vecindad
son continuas en alguna vecindad de z0 , las ecua- de z0 , decimos que z0 es una singularidad de la
ciones de Cauchy-Riemann son condicin sufi- funcin.
ciente para que la derivada exista. El valor de la
derivada es: Teorema 10 Si f (z) y g (z) son funciones analti-
u v u v cas en alguna regin, entonces tambin son analti-
f (z) = +i = i + cas
x x y y
Forma polar de las ecuaciones 2.1 y 2.2 f (z) g (z)
Algunas veces es ms fcil utilizar la forma f (z) g (z)
polar de una funcin compleja, en este caso las
ecuaciones de Cauchy-Riemann tienen la forma: f [g (z)]
f (z)
u 1 v si (g (z) = 0)
= (2.3) g (z)
r r
v 1 u para la misma regin.
= (2.4)
r r
Ejemplo Ejemplo
2 Un polinomio es entero
En donde es diferenciable |z|
2
|z| = x2 + y2 f (z) = an z n + an1 z n1 + ... + a1 z 1 + a0
entonces y una funcin racional
2 2
u = x +y
an z n + an1 z n1 + ... + a1 z 1 + a0
v = 0 f (z) =
bm z m + bm1 z m1 + ... + b1 z 1 + b0
   
u v es analtica excepto en los puntos para los que
= 2x = =0
x y
   
v u bm z m + bm1 z m1 + ... + b1 z 1 + b0 = 0
=0 = = 2y
x y
u, v y sus derivadas son continuas en todo el
plano, y las ecuaciones de Cauchy-Riemann s-
lo se cumplen en el origen, entonces la derivada Funciones armnicas
existe nicamente en el origen y su valor es
u v u v Considere el siguiente problema, dada una fun-
f (0) = +i = i + =0
x x y y cin real (x, y), bajo que condiciones puede ser

22 Funciones analticas y mapeos conformes

parte real o imaginaria de una funcin analtica?, Teorema 11 Si una funcin es analtica en cier-
es decir, to dominio, su parte real y su parte imaginaria
son funciones armnicas en dicho dominio.
f (z) = (x, y) + iv (x, y)
Teorema 12 Dada una funcin real (x, y) ar-

mnica en un dominio simplemente conexo D, ex-
f (z) = u (x, y) + i (x, y) iste una funcin analtica en D cuya parte real
es igual a (x, y). De manera similar existe una
para contestar a esta pregunta considere una
funcin analtica en D cuya parte imaginaria es
funcin analtica f (z) = u (x, y) + iv (x, y). Si es
igual a (x, y).
analtica, u y v satisfacen la ecuaciones de Cauchy-
Riemann Funcin Armnica Conjugada
Dada una funcin armnica u (x, y), decimos
u v
= (2.5) que v (x, y) es la funcin armnica conjugada de
x y u (x, y) si u (x, y) + iv (x, y) es analtica.
u v
= (2.6) Teorema 13 Sea f (z) = u (x, y) + iv (x, y) una
y x
funcin analtica y sean C1 , C2 , C3, ... y K1 , K2 , K3 , ...,
Si diferenciamos a la ecuacin 2.5 respecto a constantes reales. La familia de curvas en el plano
x y a la 2.6 respecto a y, obtenemos xy (real) para las que
2u 2v u = Ci
=
x2 xy es ortogonal a la familia de curvas tales que
2u 2v
= v = Ki ,
y 2 yx
Si consideramos que la funcin v y sus derivadas es decir, una curva de una de las familias inter-
son continuas, podemos invertir el orden de derivacin seca a una curva de la otra familia a 90o , salvo
de los lados derechos de la ecuaciones anteriores, quiz en puntos en que f (z) = 0.
si sumamos ambas ecuaciones obtenemos:
2u 2u
+ 2 = 0
x2 y
2 u = 0

la ecuacin anterior se conoce como la Ecuacin

de Laplace
Con un procedimiento similar podemos obten-
er:
Ortogonalidad funciones armnicas conjugadas
2v 2v
2
+ 2 = 0 Ejemplo
x y
Demuestre que = x3 3xy 2 + 2y puede ser
2 v = 0
parte real de una funcin analtica, encuentre la
Funcin Armnica parte imaginaria y verifique que forman familias
Decimos que una funcin (x, y) es armnica ortogonales.
en un dominio, si para dicho dominio se satisface Si es armnica puede ser parte real o imagi-
la ecuacin de Laplace, es decir, naria de una funcin analtica
 2   2 

2 2 = 6x + = 6x = 0
+ 2 = 0 (2.7) x2 y 2
x2 y
para encontrar la parte imaginaria utilizamos las
2 = 0
ecuaciones Cauchy-Riemann con u = = x3
Ejemplo 3xy2 + 2y, es decir,
La funcin (x, y) = x2 y 2 , es armnica: u v
= 3x2 3y 2 =
 2   2  x y

=2 + = 2 = 0 u v
x2 y 2 = 6xy 2 =
y x

Funciones analticas y mapeos conformes 23

 o bien, La funcin ez se puede expresar como
v
= 3x2 3y 2 ez = ex cos y + iex sen y
y
v entonces
= 6xy 2
x
este sistema de ecuaciones lo podemos inte- u = ex cos y
grar, para ello tomamos la primera ecuacin, e v = ex sen y
integramos
 y las ecuaciones de Cauchy-Riemann
2

v = 3x 3y 2 y
u v
= = ex cos y
v = 3x2 y y3 + C (x) x y
u v
si ahora sustuimos este resultado en la segunda = = ex sen y
ecuacin y x
dC (x) se satisfacen para todo x y y, entonces como u y v
6xy + = 6xy 2
dx y sus derivadas son continuas en todo el plano, la
dC (x) funcin ez es analtica en todo el plano complejo,
= 2
dx es decir, es funcin entera.
C (x) = 2x + c Derivada de ez
La derivada de ez la podemos obtener de
entonces,
dez u v
v = 3x2 y y3 2x + c. = +i
dz x x
Sean las familias de curvas = ex cos y + iex sen y
u = x3 3xyu2 + 2yu = Ci = ex (cos y + i sen y)
v = 3x2 yv yv3 2x + c = Ki dez
= ez
dz
si derivamos con respecto a x
dyu dyu
3x2 3yu2 6xyu +2 = 0 Funcines trigonomtricas
dx dx
dyv dyv Analiticidad de las funciones trigonomtri-
3x2 + 6xyv 3yv2 2 = 0 cas
dx dx
Las funciones sen (z) y cos (z) son analticas
despejando a las derivadas
por ser suma de funciones analticas del tipo ez .
dyu 3yu2 3x2 Las funciones 1.7, 1.8, 1.9 y 1.10 son analticas
=
dx 2 6xyu si el denominados es diferente de cero.
dyv 2 6xyu Derivadas de las funciones trigonomtri-
= 2 cas
dx 3yu 3x2
es decir, d sen (z)
= cos (z)
 1 dz
dyu dyv d cos (z)
= = sen (z)
dx dx dz
por lo tanto son ortogonales. d tan (z)
= sec2 (z)
dz
d sec (z)
= tan (z) sec (z)
dz
Derivadas de funciones impor- d csc (z)
dz
= cot (z) csc (z)

tantes
Funcin logaritmo
Funcin exponencial Podemos utilizar la forma polar de Log (z)
Analiticidad de ez para estudiar su analiticidad, para ello utilizamos

24 Funciones analticas y mapeos conformes

las ecuaciones de Cauchy-Riemann en forma polar Mapeo conforme
(ecuaciones 2.3 y 2.4).
Log (z) = ln r + i, Sea la funcin analtica f (z) = u (x, y)+iv (x, y)
es decir, que define una correspondencia entre los puntos
de los espacios Z (plano (x, y)) y W (plano (u, v)).
u = ln r
Suponga que el punto (u0 , v0 ) es la imagen del
v = punto (x0 , y0 ), suponga adems que las curvas
y C1 (x, y) y C2 (x, y) se intersecan en (x0 , y0 ) y
    tienen curvas imgen K1 (u, v) y K2 (u, v) respec-
u 1 1 v 1
= = = tivamente (las cuales se cortan en (u0 , v0 ) en el
r r r r
    espacio imagen). Entonces se dice que el mapeo
v 1 u es conforme en (x0 , y0 ) si el ngulo entre C1 (x, y)
=0 = =0
r r y C2 (x, y) es igual tanto en direccin como en
por lo tanto se satisfacen las ecuaciones de sentido al ngulo entre K1 (u, v) y K2 (u, v).
Cauchy-Reimann en todo el plano complejo ex-
cluyendo 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 nega- Mapeo isogonal
tiva del eje real. 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
Traslacin: Un mapeo de este tipo desplaza
Regin de analiticidad de Log(z) o traslada a la regin mapeada en direccin :
Derivada de Log (z): Para calcular la deriva- w =z+
da de Log (z), partimos de
i+1
z = ew Ejemplo: f (z) = z + 3
y 1 y

dz dew dw
= 0.5
1

dz dw dz 0.5

dw 0

1 = ew
-1 -0.5 0 0.5 1

x
0

dz -0.5
-0.5 0 0.5 1

dw
= ew
-0.5

-1

dz Rotacin: Con este mapeo la regin en el

dLog (z) plano Z gira un ngulo 0 :
= eLog(z)
dz
d w = ei0 z
[Log (z)] = eLog( z )
1

dz
d 1 Ejemplo: f (z) = zei 4
[Log (z)] = y 1 y

dz z 1

0.5

entonces la derivada del logaritmo complejo existe 0.5

en su regin de analiticidad y su valor es -1 -0.5

0
0 0.5

x
1
-1 -0.5
0
0 0.5 1

d 1 -0.5 -0.5

[Log (z)] = (2.8)

dz z -1 -1

Funciones analticas y mapeos conformes 25

 Alargamiento: Con esta transformacin las 2. Sea f(z) = u (x, y) + iv (x, y) . Suponga que
figuras en el plano Z se alargan (a > 1) o contraen existe la segunda derivada f (z) . Compruebe
(a < 1): que
w = az 2u 2v
f (z) = + i
x2 x2
z
Ejemplo: f (z) = 2 y
y 1 y 1
2u 2v
f (z) = 2 i 2
0.5 0.5
y y
0 0

-1 -0.5 0 0.5

x
1 -1 -0.5 0 0.5

x
1
3. En que regiones del plano son analticas las
-0.5 -0.5
siguientes funciones?. Si existe la derivada
-1 -1
encuentre su valor.
Inversin:
1 f (z) = 2z 2 + 3
w= f (z) = z + z 1
z
i 2

Ejemplo: f (z) = 1
z
f (z) = xy + x y2
y 1
y
2
z2
0.5
2.5
f (z) =
0
ex cosy + iex seny
0
-1 -0.5 0 0.5 1 -2.5 0 2.5

x x

-0.5 -2.5 4. En donde es analtica la funcin:

f (z) = r cos + ir
-1

Transformacin lineal: Es una combinacin

de traslacin, rotacin y alargamiento, dependi-
5. Para cules valores de n la funcin xn y n
endo de los valores de y :
es armnica?
w = z + 6. Cules de las siguientes funciones son ar-
mnicas?,En qu dominio?
zei 4 i+1
Ejemplo: f (z) = 2 + 3
y 1
y
1 = x+y
y
0.5 0.5
=
0 0
x2 + y 2
2
y 2
-1 -0.5 0 0.5 1

= ex
-1 -0.5 0 0.5 1

x x

-0.5 -0.5

-1 -1

7. Determinar la regin de analiticidad de la

Transformacin fraccional: Una combinacin funcin
de traslacin, rotacin, alargamiento e inversin: f (z) = cos (z)
z + 8. Sea = 6x2 y 2 x4 y4 + y x + 1. Com-
w= con = 0.
z + pruebe que podra ser parte real o imagi-
naria de alguna funcin analtica. Si es la
Ejemplo: parte real de f (z) encuentre la parte imag-
y
y 1
6

inaria. Si es la parte imaginaria de f (z)

encuentre la parte real.
0.5 4

0 2
-1 -0.5 0 0.5 1

x
0 9. Sea 2
f (z) = ez +1
-2 0 2 4 6
-0.5
x

-2

-1

demostrar que es entera y encontrar su deriva-

da.

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

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

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

 2

z + 9 / (z 3i) , z = 3i con f (0) = 2 i. Encuentre f(z). Calcular

f (z) =
6i, z = 3i f (2 i).

26 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 conjuga-
da 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 fre-

cuencia 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 con-
catenados.
Curva suave sobre la que se integra f (z)

Definimos la integral de lnea como

  n
Definicin B 
f (z) dz = f (z) dz = lm f (zk ) zk
C A n
Sea la curva suave C, que va de A hasta B en k=1
el plano complejo, se divide la curva en n arcos (3.1)
como se muestra en la figura, los puntos de unin Para evaluar esta integral de lnea compleja
tiene coordenadas (x0 , y0 ), (x1 , y1 ), ...,(xn , yn ). En tenemos que:
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
y adems

si n , zk 0 f (z) = u (x, y) + iv (x, y)

Integral de lnea de funciones de variable compleja 29

sustituyendo en la integral 3.1
 B 
f (z) dz = [u (x, y) + iv (x, y)] (dx + idy)
A
C 
= udx vdy + (3.2)
C C
  
i udy + vdx
C C

es decir, a la integral de lnea compleja la con-

vertimos cuatro integrales de lnea reales.

Integracin paramtrica
Otro mtodo para calcular la integral es uti-
lizar 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)

y
f (z) = f [z (t)] (3.5)
y el diferencial dz en trminos de dt
dz
dz = dt (3.6)
dt
entonces la integral compleja
  tb
dz
f (z) dz = f [z (t)] dt, (3.7)
C ta dt

se convierte en una integral real simple de la vari-

able 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 Por otro lado, sea la integral compleja
conexo D. Si C es cualquier curva cerrada simple
en D  
 f (z) dz = (u + iv) (dx + idy)
C C
f (z) dz = 0 (4.1) 
C = (udx + (v) dy)
C

+i (vdx + udy)
C

aplicando el teorema de Green a las dos integrales

se tiene que:

    
v u
f (z) dz = dxdy
C A x y
   
u v
+i dxdy
A x y
D es un dominio simplemente conexo y C D.
Si la funcin es analtica sobre y dentro de C, para
todo el dominio de integracin A se satisfacen las
Demostracin: Para demostrar lo anterior ecuaciones de Cauchy-Riemann u v u
x = y y y =
se hace uso del teorema de Green en dos dimen- v
x . Entonces en la ltima integral se tiene que
siones, 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 f (z) dz = 0dxdy + i 0dxdy
C A A
plano y P (x, y) y Q (x, y) son funciones contin-
uas con derivadas parciales continuas, entonces:
o bien
     
Q P
(P dx + Qdy) = dxdy. f (z) dz = 0
A x y C
C

Teorema integral de Cauchy-Goursat 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 trayec- Teorema de la deformacin
toria por lo que podemos escoger la trayectoria
ms fcil de integrar.

Independencia de la trayectoria

Antiderivada
Sea f (z) analtica en un dominio simplemente
conexo D. existe una funcin F (z) que es analti-
ca en D, tal que para z D

dF (z)
= f (z) (4.3)
dz
con este resultado,
 z2  z2
dF (z)
f (z) dz = dz
z1 z1 dz
 z2
= dF
z1
= F (z2 ) F (z1 )

Deformacin
Decimos que dos curvas C y K son homotpi-
cas 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 K

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

1 f (z)
f (z0 ) = dz
2i C z z0

No se aplica la frmula de Cauchy

es decir, la funcin en z0 , esta relacionada con
la funcin en C, este es un resultado muy impor-
tante en variable compleja. Se puede utilizar este Derivadas de funciones analticas
resultado para calcular integrales si lo ponemos
Sea f (z) analtica en un dominio simplemente
como
conexo D. Sea z0 cualquier punto de D y sea C

f (z) cualquier curva cerrada simple en D que encierra
dz = 2if (z0 ) (5.1) a z0 . Entonces
C z z0

n! f (z)
La ecuacin 5.1 se conoce como la frmula inte- f (n) (z0 ) = dz
2i C (z z0 )n+1
gral de Cauchy y es una herramienta muy poderosa
para calcular integrales. es decir, no slo la funcin en z0 , esta rela-

Frmulas integrales de Cauchy 33

cionada con la funcin en C, sino sus derivadas. 3. Integre  1
Este resultado se puede utilizar para calcular in- 1
dz
tegrales si lo reordenamos 1 z
 por C : medio crculo unitario con centro en
f (z) 2i (n)
n+1 dz = n! f (z0 ) (5.2) el origen, en el semiplano superior
C (z z 0 )
4. Integre 
La ecuacin 5.2 se conoce como la frmula in- i
tegral de Cauchy para derivadas superiores y es z 4 dz
1
una herramienta muy poderosa para calcular in-
tegrales. por C : crculo unitario con centro en el
origen, en el primer cuadrante.
5. A cul de las siguientes integrales se aplica
Extensin de la frmula integral de Cauchy directamente el teorema de Cauchy-Goursat?
para una anillo Por qu?
Un anillo con centro en w es un dominio aco-
tado D, de z s que satisfacen a a) 
cos z
dz
r < |z w| < R |z|=1 z+2

Sea Cr la circunferencia |z w| = r, y sea b) 

cos z
CR la circunferencia |z w| = R orientadas en dz
|z+2|=2 z+2
sentido antihorario. Si f (z) es analtica en D, Cr
y CR para cualquier z0 D c) 
  cos z
1 f (z) 1 f (z) dz
f (z0 ) = dz dz |z1|=4 z+2
2i CR z z0 2i Cr z z0
(5.3) d) 
log zdz
|z+i|=1

e) 
log zdz
|z1i|=1

f) 
1
dz
|z|= 1 + ez
g) 
Frmula de Cauchy para una anillo. 1
dz
1 ez
Ejercicios de Tarea |z|=3

6. Demuestre que
1. Evale a:   
1
log z log z
zdz dz = dz
i |z3|=2 (z + 1) (z 3) |z3|=2 4 (z 3)
sobre las trayectorias
7. Evale las siguientes
integrales a lo largo de
a) C : x+y =1 la curva y = x
b) C : y = (1 x)2 a)
 9+3i

2. Evale a: e2z dz
 1+i
ez dz
b)
 9+3i
a) de z = 0 a z = 1 por y = 0, b) de z = 1 z cos zdz
a z = 1 + i por x = 1 1+i

34 Frmulas integrales de Cauchy

 8. Cul es el error en: 13. *Evale 
 1+i 1+i (2z + z) dz
z 2  C
zdz = = i ?
0 2 0 C : el segmento de recta que va de 1 + i a
3 + 3i.
9. Evale las integrales:
14. *Calcular a la integral real
a)  2
 3
dz d
5 4 cos
ez (z 2) 0

alrededor de usando el cambio de variable z = ei

x2 y2 15. *Calcular
+ =1 
9 16 sin z
dz
b) |z|=2 z3 3iz 2 3z + i

1 cos z + sin z
2
dz
2i (z + 25) (z + 1) 16. *Calcular 
dz
alrededor de z2+9
C
2 2
x y con C : a) |z 3i| = 1; b) |z + 3i| = 1; c)
+ =1
9 16 |z 3i| + |z + 3i| = 10.

c) 
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
2 z
por el arco de circunferencia con radio 2 y
centro en el origen, en sentido horario.

11. *Calcular 
cos z
C (z )
si C encierra a .

12. *Calcular la integral


1 ez
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 diverge, pero si {zn } 0, el teorema no da infor-

macin.   
Ejemplo.- ni 0 pero n=1 ni diverge. 
Sucesin: Una regla que asigna a cada entero Convergencia absoluta: Si la serie real j=1 |zj |
positivo n un nmero complejo. Al n-simo trmi- 
converge, se dice que la serie j=1 zj converge
no de la sucesin lo denotamos zn , y a la sucesin absolutamente. 
{zn }. 
Adems si j=1 |zj | converge = j=1 zj
Suma parcial: Sea {zn } una sucesin com- tambin converge.
pleja. Definimos las n-sima suma parcial Sn co- Criterio de la razn: Sea zn = 0 para cada
mo la suma de los primeros n-trminos de la suce- n, y suponga que
sin {zn }:  
n  zn+1 
Sn = zj . lm   = q =
n zn 
j=1

A su vez {Sn } es una sucesin compleja. Si esta 1. n=1 zn converge si 0 q < 1.
sucesin de sumas parciales converge decimos que 
2. n=1 zn diverge si q > 1.
la serie infinita:

zj
j=1
converge. Series de potencias complejas
Teorema: Sea zn = xn + iyn =
  
1. ) j=1 zj converge j=1 xj y j=1 yj Sean z0 , a0 , a1 , a2 , ... nmeros complejos da-
convergen. dos. Una serie
  

2. ) j=1 xj a y j=1 yj b j=1 zj an (z z0 )n = a0 +a1 (z z0 )+a2 (z z0 )2 +...
a + ib. n=0

Teorema: Si j=1 zj converge = {zn } se llama una serie de potencias con centro en z0 y
0. secesin de coeficientes {an } . La serie empieza en
Este resultado se utiliza para saber 
si la se- la potencia 0 para permitir el trmino constante.

rie diverge, es decir, si {zn } L = 0, j=1 zj La serie converge en z0 a a0 .

Serie Laurent y teorema del residuo 37

  n
Teorema: Suponga que n=0 an (z z0 ) con- Serie de Taylor compleja
verge para z1 = z0 . Entonces la serie converge
para toda z tal que |z z0 | < |z1 z0 |.  n
Supongamos que n=0 an (z z0 ) tiene ra-
dio de convergencia R. Si definimos


f (z) = an (z z0 )n
n=0

Evaluando en z0 ,

f (z0 ) = a0
a0 = f (z0 )
Disco de Convergencia
y evaluando en z0 a la derivada k-sima
El mximo valor de R se llama radio de con-
vergencia, y el disco que forma, disco de conver-

gencia. Existen tres posibilidades para el radio de f (k) (z0 ) = n (n 1) ... (n k + 1) an (0)nk
convergencia R. n=k

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

1. R f (k) (z0 )
ak =
k!
2. R = 0
Sustituyendo estos resultados obtenemos:
3. 0 < R <

 f (n) (z0 )
 n (z z0 )n
f (z) =
Teorema: Dada la serie de potencias n=0 an (z z0 ) n=0
n!
, que converge para algn z1 = z0 , existe R (posi- Serie de Taylor
blemente R ), tal que la serie converge abso-
lutamente 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
 R, con R =n 0. Para |z z0 | <
radio de convergencia
R, sea f (z) = n=0 an (z z0 ) . Entonces: Teorema

1. f (z) es analtica para |z z0 | < R. Si f (z) es analtica en z0 entonces tiene rep-

resentacin en serie de Taylor para todo z dentro
un disco con centro en z0 .
2. Para las derivadas tenemos:


f (z) = nan (z z0 )
n1 Algunas series de Taylor complejas
n=1

zn
y ez =
n=0
n!


 (1)n z 2n+1
f (k) (z) = n (n 1) ... (n k + 1) an (z z0 )nk sin z =
n=k n=0
(2n + 1)!
 n
(1) z 2n
cos z =
3. Si C es una curva suave a pedazos cuya gr- (2n)!
n=0
fica esta dentro del disco de convergencia de
1 
la serie de potencias = z n : |z| < 1
1z n=0

 
n 
f (z) dz = an (z z0 ) dz 1
C C
= (1)n z n : |z| < 1
n=0 1+z n=0

38 Serie Laurent y teorema del residuo

Serie de Laurent compleja Una singularidad esencial.- Si aparecen una
infinidad de potencias negativas de z z0 .

Sea f (z) analtica en el anillo r1 < |z z0 | < Una sigularidad polar con un polo de orden
r2 . Entonces para z en este anillo, m.- Si m es un entero positivo y (z z0 )m
aparece en esta serie pero no aparecen po-
n=
 tencias ms negativas (am1 = am2 = ... =
f (z) = an (z z0 )n , 0).
n=
Ejemplos:
en donde Singularidad removible

1 f (w) n=

an = dw sin z n 1
2i C (w z0 )n+1 = (1) z 2n
z n=0
(2n + 1)!
y C es cualquier circunferencia |z z0 | = con
Singularidad esencial
r1 < < r2 .
n=
 1 1
e1/(z1) =
n=0
n! (z 1)n

Polo de orden 3
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:
pero
1

1 1 f (m) (z0 ) = 0.
e z = : 0 < |z| <
n! z n Ejemplos:
n=0
z m tiene un cero de orden m en 0.
cos z  1 2n5
= (1)
n
z : 0 < |z| < sin2 (z) tiene un cero de orden 2 en .
z5 n=0
(2n)! 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
Teorema del Residuo lm g(z) = 0
zz0
entonces:
g(z)
Clasificacin de singularidades f (z) =
h(z)
Si f(z) es analtica en un anillo 0 < |z z0 | <
pero no en z0 , decimos que f (z) tiene una sin- tiene un polo de orden m en z0 .
gularidad aislada en z0 . Ejemplo
ez
Sea f (z) una funcin con una singularidad ais-
z3
lada en z0 . Si desarrollamos en serie de Laurent:
polo de orden 3 en 0.
n=
 n cos z
f (z) = an (z z0 )
n=
(z i)5
z0 es: polo de orden 5 en i.
cos (z)
Una singularidad removible.- Si no aparecen
potencias negativas de z z0 en la serie de sin (z)
Laurent. polo simple en n.

Serie Laurent y teorema del residuo 39

Residuos Ejemplo: Si C encierra al origen. Encontrar
Si desarrollamos a f (z) en serie de Laurent 
sen (z)
dz
f (z) C z2
a2 a1
= ... + 2 + + a0 + a1 (z z0 ) + ... tenemos que:
(z z0 ) (z z0 )
sen (z) 1  z 2n+1
Definimos al residuo de f (z) en la singulari- = (1)n
z2 z 2 (2n + 1)!
dad z0 como el coeficiente a1 en su desarrollo en sen (z)
serie de Laurent. Res = 1
0 z2
Res f (z) = a1 y 
z0 sen (z)
dz = 2i
De la frmula de los coeficientes de Laurent C z2
tenemos: 
1
a1 = f (z) dz Residuos y polos
2i C
Sea f (z) con un polo de orden m en z0 .
o bien,
 1 dm1
Res f (z) = lm [(z z0 )m f (z)]
f (z) dz = 2ia1 z0 (m 1)! zz0 dz m1
C
esta es una forma ms fcil de calcular los residuos
Esta ltima frmula es frecuentemente usada
de una funcin, siempre y cuando f (z) tenga un
para resolver la integral.
polo de orden m.
Ejemplos:
Ejemplo: Si C encierra al origen. Utilizar el
Res e1/(z1) = 1 teorema anterior para calcular:
1 
cos (z)
dz
C z2
i cos (3z) i1 z 2n
= (1)n La funcin cos (z) /z 2 tiene un polo de orden 2 en
3z 3 z n=0 (2n)!
z = 0, entonces m = 2 y
i cos (3z) i  
Res =
0 3z 3 cos (z) 1 d 2 cos (z)
Res = lm (z 0) =0
0 z2 (2 1)! z0 dz z2

Teorema del Residuo entonces


Sea f (z) analtica en un dominio D, excep- cos (z)
to en los puntos z1 , z2 , ..., zn , donde f (z) tiene dz = 0
C z2
singularidades. Sea C una curva cerrada suave a
pedazos en D que encierra a z1 , z2 , ..., zn . Ejercicios de tarea
 n
 1. Demuestre que las siguientes series divergen
f (z) dz = 2i Res f (z)
C zj en la regin indicada
j=1


a) nz n en |z| 1
n=1

n n
b) n+1 (2z) en |z| 1/2
n=1

c) einz en Im (z) 0
n=0

2. Use el criterio del cociente para demostrar

que las siguientes series convergen

2
a) n!ein z
en Im (z) > 0
C encierra a las sigularidades z1 , z2 , ..., zn n=0

40 Serie Laurent y teorema del residuo

 

1 9. Desarrolle en serie de Laurent y encuentre
b) z n n! en |z| > 0
n=1 el anillo de convergencia de:
3. Desarrolle en serie de Taylor y encuentre la 1
z 4 cos
regin de convergencia de: z
1
a) z, alrededor de z = 1 + i 10. Desarrolle en serie de Laurent y encuentre
b) 1
, alrededor de z = i el anillo de convergencia de:
(z+i)2

c) ez , alrededor de z = i ze1/(z1)
d) z 2 + z + 1, alrededor de z = 0
11. Calcule los residuos de:
e) z 2 + z + 1, alrededor de z = i
a)
4. Encuentre los coeficientes y el disco de con- ez
vergencia de:
(z 2 + 1) z 2


a) 1
z 4 +1 = cn (z 1)n b)
n=0 tan z
1 

b) (1z) = cn z n 12. Utilice expansiones en serie de Laurent para
n=0
evaluar por el mtodo de residuos a las in-
1


c) (1z)2
= cn z n tegrales:
n=0

1  a) 
d) (1+z)2
= cn z n 1
n=0 z 3 cos dz

|z+1+i|=4 z
z
e) (z1)(z+2) = cn z n
n=0 b) 
 sin z
f) z
=
n
cn (z 1) dz
(z1)(z+2)
n=0 |z|=1 z8

5. Desarrolle en serie de Laurent a: 13. Encuentre los residuos por polos e integre:
1 a) 
z3 1
dz
|z6|=4 sin z
en potencias de (z 1) , determine en que
regin converge. b)

e1/z
6. Desarrolle en serie de Laurent a: dz
|z1|= 32 z2 1
1
(z 1) (z 3) c) 
sin z
dz
en potencias de (z 1) , determine en que |z|=3 sinh2 z
regin converge.

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 = zn2 + C
z0 = 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 con-
junto es conexo. Si se grafican algunos puntos del
conjunto en el plano complejo se obtiene la sigu-
iente figura.
La frontera del conjunto de Mandelbrot es un
fractal. El rea que ocupa el conjunto se ha esti-
mado en 1.50659177 0,00000008.

Aplicacin del anlisis complejo 43

Fenmenos de transporte
Muchos de los problemas de naturaleza difu-
siva 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 de-
scentrado dentro de l tal como se muestra en el
plano xy de la figura siguiente.

2 = 0.

Algunos de los fenmenos que se medelan medi-

ante la ecuacin anterior son:

Transferencia de calor en estado estacionario

(temperatura).

Difusin de especies qumicas en estado esta-

cionario (concentracin). La temperatura en la cavidad interior es de
1000 C y la de la superficie exterior del cilndro es
Un campo elctrico en un espacio sin cargas de 00 C. La ecuacin que rige a la transferencia de
(campo elctrico). calor es:
2T 2T
+ =0
Un campo magntico en el vaco (campo x2 y 2
magntico). Las condiciones de frontera las podemos poner en
trminos de variable compleja
La presin en un medio poroso (presin).
T = 0 en |z| = 1
 
Flujo potencial en un fluido (Funcin de  3  3
T 
= 100 en z  =
corriente). 10 10

Lo anterior significa que todas estas variables, El problema visto desde un punto de vista de vari-
temperatura, concentracin, etc. son funciones ar- able compleja consiste en encontrar una  funcin

mnicas y entonces pueden ser parte real o imagi- armnica en la regin entre |z| = 1 y z 10 3 
=
naria de una funcin analtica compleja y adems 3/10 que satisfazga las condiciones de frontera an-
satisfacen el siguiente teorema. teriores. El mapeo
Teorema. Sea w = f (z) una funcin analtica z3
que transforma el dominio D del plano z en un w=
3z 1
dominio D1 del plano w. Sea 1 (u, v) una funcin
armnica en D1 , es decir, transforma a:

|z| = 1 en |w| = 1
2 1 2 1
+ =0
u2 v2 ya  
 
Entonces introduciendo el cambio de variables da- z 3  = 3 en |w| = 3
 10  10
do por
tal como se muestra en la figura anterior. En el
u (x, y) + iv (x, y) = f (z) = w espacio w el problema se reduce a encontrar la
funcin armnica tal que cumpla con las condi-
se tiene que (x, y) = 1 (u (x, y) , v (x, y)) es ar- ciones de frontera
mnica en D, es decir,
T = 0 en |w| = 1
2 2 T = 100 en |w| = 3
+ 2 =0
x2 y
Este ltimo problema se reduce a resolver el sigu-
Lo anterior significa que cuando una funcin ar- iente problema
mnica es trasformada medianto un mapeo con- 2T 2T
forme sta sigue siendo armnica. + =0
u2 v2
44 Aplicacin del anlisis complejo
pero este problema tiene simetra en el ngulo,
es decir, la solucin slo debe depender de la dis-
tancia al origen, entonces es adecuado resolver la
ecuacin en coordenadas polares
 
2T T
2 + r r r
r
=0

2 T
debido a la simetra 2
=0
 
d dT
r = 0
dr dr
dT
r = A
dr
T = A ln r + B
Difusin molecular
Considere un depsito lleno de un fluido en
aplicando las condiciones de frontera se tiene reposo, el depsito es tan grande que puede con-
que siderarse seminfinito (ocupa el plano y 0). En
y = 0 se tiene que para x < 1 el recipiente est
0 = A ln 1 + B en contacto con una placa que cede por disolven-
100 = A ln 3 + B cia 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
o bien una reaccin qumica a dicha especie, entonces la
concentracin en esta regin es C = 0. Por otro
100 = A ln 3 lado, la regin en 1 < x < 1 es impermeable. La
100 figura siguiente muestra a detalle lo anterior.
A =
ln 3
B = 0

entonces

100 100
T = ln r = ln |w|
ln 3 ln 3 El problema matemtico anterior tiene la for-
ma:
para regresar al espacio original 2C 2C
2
+ =0
x y 2
   2
 z3  (x 3) + y 2 sujeta a las condiciones de frontera
|w| =  =
3z 1  (3x 1)2 + 9y 2
C (y = 0, x < 1) = 1
entonces la solucin es: C (y = 0, x > 1) = 0
 
C
= 0
y y=0,1<x<1
 
 2
100 100  (x 3) + y 2
Con el mapeo
T = ln r = ln  2
ln 3 ln 3 (3x 1) + 9y2
  z = sin w
100 (x 3)2 + y 2
T = ln la regin se transforma a:
ln 32 (3x 1)2 + 9y 2
El problema en este plano es
la figura siguiente muestra la solucin en el espa- 2C 2C
cio original + =0
u2 v2
Aplicacin del anlisis complejo 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
2
2 2

sin u x + y 2 + 1 sin2 u + x2 = 0
Figura 7-1
cuya solucin es:

sujeta a las condiciones de frontera x2 + y 2 + 1
2
(x2 + y 2 + 1) 4x2
  sin2 u =
C u= = 0 2
 2

C u= = 1  

 2  2 2
C  x + y 2 + 1 (x2 + y 2 + 1) 4x2
= 0 sin u =
v v=0 2
 
Por simetra, en este espacio el problema se 
 2 2 2 2 2 2
simplifica a:  x + y + 1 (x + y + 1) 4x
u = sin1



2
d2 C
= 0
 du2
entonces la solucin en trminos de x y y es:
C u= = 0
 2
u 1
C u= = 1 C= +
2 2
es decir, 1
C = Au + B C =
2 
aplicando las condiciones de frontera  
 2 2 2 2 2 2
1  x + y + 1 (x + y + 1) 4x
sin1



2
0 = A +B
2

1 = A + B
2
, se obtiene: A = 1 B = 1
2 x-5

u 1
C= + -2.5
2 z 0.751
0.5
0.250 0
necesitamos obtener a u en trminos de x e y. 1.25
Para ello, 2.5 2.5
3.75
5 5
z = x + iy = sin w = sin u cosh v + i cos u sinh v y

o bien

x = sin u cosh v
y = cos u sinh v

si utilizamos que cosh2 v sinh2 v = 1 se ob-

tiene
x2 y2
2 =1
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
Funciones ortogonales
del nmero de repeticiones por unidad de t es la
frecuencia, f, la cual se define como: Algebra lineal
Sea S = {s, , +} un espacio de dimensin n en
1
f= (8.2) donde esta definida una operacin interna:
T

una medida alternativa del nmero de repeticiones s1 s2 (8.4)

es la frecuenca angula o circular, la cual se define
como: A cualquier elemento del espacio s lo podemos
2 representar como:
= 2f = (8.3)
T n

En la naturaleza existen muchas seales fsicas s= i i (8.5)
i=1
de naturaleza perodica, para su estudio en inge-
niera dichas seales son almacenadas en formato
en donde el conjunto {k (t)} se llama base de S y
digital o analgico. Ejemplos de seales perodi-
es linealmente independiente y ortogonal, (genera
cas se puede ver en las siguientes imgenes.
al espacio),

=0 i = j
i j .
= 0 i=j

Las i son constantes y se obtienen a partir

Series de Fourier 49
  T
de: 2
cos (n 0 t) sen (m 0 t) dt = 0
n
 T2
s = i i  T

i=1
2 T
sen (n 0 t) sen (m 0 t) dt = mn
n T2 2
s j = i i j  T
i=1
2 T
cos (n 0 t) cos (m 0 t) dt = mn
s j = j j j T2 2

s j entonces a cualquier funcin peridica de la

j = (8.6) podemos expresar como una combinacin lineal
j j
de la base {1, cos (n 0 t) , sen (n 0 t)}:
 
1
Funciones f (t) = a0 + an cos (n 0 t)+ bn sen (n 0 t)
2 n=1 n=1
El producto interno para funciones se define
(8.8)
para el intervalo a < t < b como
en donde los coeficientes los obtenemos a par-
 b tir de la ecuacin (8.6)
f1 (t) f2 (t) = f1 (t) f2 (t) dt. $ T
a 2
(1) f (t) dt
1 T2
Un conjunto de funciones {k (t)} es ortogo- a0 = $ T
2 2
(1) (1) dt
nal en un intervalo a < t < b si para dos fun- T2
ciones cualesquiera del conjunto m (t) y n (t),  T
2 2
se cumple: a0 = f (t) dt (8.9)
T T2
 b
m (t) n (t) dt = mn rn , $ T
a 2
f (t) cos (n 0 t) dt
T2
en donde mn es la delta de Kronecker que se an = $ T
2
T2
cos (n0 t) cos (n0 t) dt
define como:
  T

1 si m = n 2 2

mn = . (8.7) an = f (t) cos (n 0 t) dt (8.10)

0 si m = n T T2

$ T

Definicin de la Serie de Fourier

2
T2
f (t) sen (n 0 t) dt
bn = $ T
Considere al espacio infinito de funciones per- 2
sen (n 0 t) sen (n 0 t) dt
T2
idicas con perodo T, (f (t) = f (t + T )) y al con-
 T
junto de funciones 2 2
bn = f (t) sen (n 0 t) dt (8.11)
T T2
{1, cos (n 0 t) , sen (n 0 t)} : n = 1, 2, ...
Una representacin alternativa de la serie de
en donde Fourier es:
2

0 = . (frecuencia angular)
T f (t) = A0 + An sen (n0 t + n ) (8.12)
n=1
Demostremos que el conjunto es ortogonal en
el intervalo T /2 < t < T /2. recordando que:
 An sen (n 0 t + n ) = An cos (n ) sen (n(8.13)
0 t)
T
2
(1) (1) dt = T +An sen (n ) cos (n0 t)
T2

 T y definiendo
2
1 cos (n 0 t) dt = 0
T2 bn = An cos (n )
 T an = An sen (n )
2
1 sen (n0 t) dt = 0
T2 se llega a la serie definida en la ecuacin 8.8.

50 Series de Fourier
Condiciones de Dirichlet Fenmeno de Gibbs
Una funcin f (t) se puede representar en serie
de Fourier si se cumple que: Cuando una funcin se aproxima por una serie
parcial de Fourier, habr un error considerable en
La funcin tiene un nmero finito de dis- las vecindad de las discontinuidades.
continuidades en un perodo. Ejemplo
La funcin
La funcin tiene un nmero finito de mxi- 
mos y mnimos en un perodo. 1 < t < 0
f (t) =
1 0<t<
La integral del valor absoluto de la funcin es f (t) = f (t + 2)
finita:  T /2
|f (t)| dt < . tiene un desarrollo en serie de Fourier:
T /2

Las condiciones de Dirichlet son suficientes pero 4  sin [(2n 1) t]
f (t) =
no necesarias, las condiciones necesarias y sufi- n=1 (2n 1)
cientes fueron encontradas por Carleson (L. Car-
leson, On convergence and growth of partial sums utilizando los primeros 20 trminos

of Fourier series, Acta Math. 116 (1966), 135- f (t) 4 20
n=1
sin[(2n1)t]
(2n1)
157.) y generalizadas por Hunt (R. A. Hunt, On 4
20 sin((2n1)t)
the convergence of Fourier series en Orthogonal n=1 (2n1)
Expansions and their Continuous Analogues (Proc.
Conf., Edwardsville, Ill., 1967), Southern Illinois y
1
Univ. Press, Carbondale, 1968, 235-255). An enun-
ciar dichas condiciones est fuera del alcance de
0.5
este curso.
0
-4 -2 0 2 4

Aproximacin por Fourier -0.5

Sean las sumas parciales:

-1
k
a0 
Sk (t) = + (an cos (n 0 t) + bn sen (n 0 t)) ,
2 n=1 en este caso el error cuadrtico medio ser:

 $ T /2 
k (t) = (an cos (n 0 t) + bn sen (n 0 t)) , Ek = T1 T /2 [f (t)]2 dt 12 20
n=1 an
2
20
n=k+1 Ek = 1 82 n=1 (2n1) 1
2 = 0 ,0 1013

los primeros 1000

la funcin f (t) en trminos de Sk (t) y k (t) es: 1000
f (t) 4 n=1 sin[(2n1)t]
(2n1)
f (t) = Sk (t) + k (t)
y 1
podemos aproximar a f (t) como:

f (t) Sk (t) . 0.5

Para medir que tan buena es la aproximacin 0

-4 -2 0 2 4
f (t) Sk (t) , definimos al error cuadrtico medio, x

Ek :
-0.5

 T /2
1
Ek = [k (t)]2 dt
T T /2
-1

 T /2 k

1 a20 1 2

Ek = [f (t)]2 dt a + b2n el error cuadrtico medio ser:

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

si Ek es pequeo la aproximacin es vlida. Ek = 1 82 1000 1
n=1 (2n1)2 = 2. 0264 10
4

Series de Fourier 51
Fourier en las discontinuidades Derivacin e Integracin de Series de Fourier
En un punto singular ts la serie de Fourier Derivacin
converge a
  Sea la serie de Fourier:
1
lm f (t) + lm f (t) , (8.14) 
2 t ts t+ ts 1
f (t) = a0 + [an cos (n0 t) + bn sen (n0 t)]
2 n=1
es decir, aunque la funcin no exista en ts , su
desarrollo en serie de Fourier existe y su valor esta si derivamos trmino a trmino obtenemos:
dado por 8.14.


f (t) = n0 [bn cos (n 0 t) an sen (n0 t)] .
n=1
Teorema de Parseval
Si a0 , an y bn son los coeficientes en la expasin El trmino extra que aparece al derivar, n 0 ,
en serie de Fourier de la funcin f (t) = f (t + T ) . disminuye el grado de convergencia de la serie, lle-
Entonces: gando sta incluso a diverger. Note que la deriva-

da slo esta definida en donde la funcin es con-
1 T /2
a20 1  2
tinua. La derivacin en los puntos singulares se
|f (t)|2 dt =
+ an + b2n
T T /2 4 2 n=1 ver ms adelante.
(8.15)
este valor representa a la potencia contenida en
la seal. Integracin

Sea la serie de Fourier

Simetras (propiedades de paridad) 1 

f (t) = a0 + [an cos (n0 t) + bn sen (n0 t)]
Con frecuencia las simetras simplifican a los 2 n=1
problemas matemticos. En el caso de series de
Fourier, utilizaremos a la simetra en la paridad
si integramos trmino a trmino
para simplificar el problema.


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

Una funcin es par si se cumple que

El trmino extra que aparece al derivar 1/n 0
f (t) = f (t) aumenta el grado de convergencia de la serie. La
integracin esta definida an en los puntos singu-
e impar si lares.
f (t) = f (t)

En el caso de funciones pares el desarrollo en

serie de Fourier es: Ejemplos
Considere a la funcin


1
f (t) = a0 + an cos (n0 t) 0 para < t < /2
2 n=1
f (t) = 1 para /2 < t < /2

0 para + /2 < t <
y para impares
f (t) = f (t + 2)


f (t) = bn sen (n0 t)
Como es una funcin par
n=1


Es decir, slo se necesitan calcular a0 y an , 1
f (t) = a0 + an cos (n0 t)
para funciones pares, y slo bn para impares. 2 n=1

52 Series de Fourier
  T
2 2 Delta de Dirac,
a0 = f (t) dt
T T2 La delta de Dirac es una regla de seleccin (no
 2
es funcin) que se define como:
2 2
a0 = f (t) dt 
2 2
 2 para t = 0
1 (t) =
0 para t = 0
a0 = f (t) dt

(  /2  ) Algunas propiedades de la delta de Dirac son:
/2
1
= 0dt + dt + 0dt  
/2 /2
( ) f (t) H (t a) dt = f (t) dt
/2 a
1 1 /2
= dt = t|/2 
/2
(t) dt = 1
1
= [/2 (/2)] 

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

 T

2 2
(t a) f (t) dt = f (a)
an = f (t) cos (n 0 t) dt
T T2
 dH (t)
1 2 = (t)
= cos (nt) dt dt
2
2  n 
= sen
n 2 Derivacin en puntos singulares
o bien, Considere a la funcin f (t) que tiene discon-
 n  tinuidades sbitas a1 , a2 , a3 , ... en t1 , t2 , t3 , ... , y
1 2  1
f (t) = + sen cos (n 0 t) la funcin f (t) que esta definida en todo t ex-
2 n=1
n 2 cepto en las discontinuidades.
n Definimos a la funcin
1 2  (1)
= + cos ((2n 1) t) 
2 n=1 2n 1 g (t) = f (t) ak H (t tk )
1 2
100 (1)n
k
2 + n=1 2n1 cos ((2n 1) t)
La funcin g (t) es continua en todas partes y su
y 1
derivada es

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

0.5 o bien,

f (t) = g (t) + ak (t tk )
0.25
k

0 lo anterior se conoce como la derivada generaliza-

-2.5 -1.25 0 1.25 2.5 da de una funcin continua por tramos.
x

Funcin Heaviside y Delta de Dirac

Funcin Heaviside, H
La funcin escaln o heaviside est definida
por 
0 para t < 0
H (t) =
1 para t > 0

Series de Fourier 53
54 Series de Fourier
Captulo 9

Serie de Fourier compleja y espectro de fre-

cuencia

Forma compleja de las series de y

Fourier  
bn
n = tan1
an
Dada la serie de Fourier

1
f (t) = a0 + [an cos (n0 t) + bn sen (n0 t)]
2 n=1
a |cn | le llamaremos amplitud y a n ngulo
podemos representar al seno y coseno en trminos de fase.
de la exponencial compleja:
eino t + eino t
cos (n 0 t) =
2
eino t eino t
sen (n 0 t) =
2i
lo anterior dar el siguiente resultado:

 Espectros de frecuencia comple-
f (t) = cn eino t (9.1)
n= ja
en donde
 T /2
1
cn = f (t) eino t dt (9.2) En realidad cn es una funcin de n = n 0 . A
T T /2 la grfica discreta de |cn | contra n se le denom-
adems ina espectro de amplitud, esta funcin especifica
1 a la funcin peridica f () en el espacio de las
c0 = a0 , cn = |cn | ein y cn = |cn | ein frecuencias, al igual que f (t) lo hace en el espacio
2
del tiempo.
en donde:
1
2 De igual forma a la grfica de n contra n se
|cn | = an + b2n le denomina espectro de fase.
2
Serie de Fourier compleja y espectro de frecuencia 55
Contenido de potencia y teore-
ma de Parseval
1.5

1.25

Para cualquier seal peridica se define a la 1

potencia promedio como: 0.75

 T /2
1 0.5
[f (t)]2 dt
T T /2 0.25

0
el teorema de Parseval para el caso complejo
0 5 10 15 20 25 30
relaciona a la potencia promedio con las n
amplitudes de la onda Espectro de amplitud
 T /2

1
[f (t)]2 dt = |cn |2 (9.3)
T T /2 n=

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:

 T /2
1
cn = f (t) ein0 t dt
T T /2
 d/2
A
= ein0 t dt
T d/2
d/2
A 1 
= ein0 t 
T in 0 d/2
A 1  in0 d/2 
= e ein0 d/2
T in0
 in0 d/2 
A 2 e ein0 d/2
=
T n 0 2i
 
A 2 n 0 d
= sen
T n 0 2
n0 d

Ad sen 2
= n0 d

T 2

y |cn |
 
 Ad sen n0 d

 2 
|cn | =  n d

T 2
0 

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

8  
 sen n

 5

|cn | =  n 
 5


56 Serie de Fourier compleja y espectro de frecuencia

Captulo 10

Ejercicios de Serie de Fourier


1. Desarrolle en serie de Fourier real a la fun- t, 0<t<2
b) f(t) = : f (t + 3) =
cin f (t) = |t| para (, ) y f (t) = f (t + 0, 2<t<3
2). f(t)

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 fun-

cin f (t) = cos (t), 1 t 1.

4. Desarrolle en serie de Fourier real a la fun-

cin 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 frecuen-
cia.

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 es- obtenemos,

tudiar funciones peridicas, por lo tanto, es nat- 
1
ural querer extrapolar esta teora para el caso de f (t) = F () eit d (11.2)
cualquier funcin. 2

Deduccin Transformada de Fourier

La ecuacin 11.1 sirve para definir a la trans-
Sea la serie de Fourier
formada de Fourier F :


f (t) = cn eino t F (f (t)) = F () (11.3)
n=
y la 11.2 a la antitransformada de Fourier F 1
con :
1
 T /2
2 F 1 (F ()) = f (t) (11.4)
ino t
cn = f (t) e dt y T =
T T /2 o En general la funcin F () es compleja y con-
tiene la misma informacin que f (t) .
combinando ambas
(  ) F () = |F ()| ei()

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

( ) Integral de Fourier
 1 T /2
f (t) = f (x) eino x
dx o eino t Utilizando el hecho de que eit = cos t +
n=
2 T /2 i sen t las ecuaciones 11.1 y 11.2 se pueden es-
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 (t) = f (x) eix dx eit d donde
2 
si definimos A () = f (t) cos (t) dt

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

Transformada de Fourier 61
(en esta forma reciben el nombre de intergral de F1 () F2 () = 2F [f1 (t) f2 (t)] (11.11)
Fourier) esta forma recuerda a la serie real de
Fourier.
Ejemplos
Espectro de frecuencia continuo Transformada de  Fourier

2
A la grfica de |F ()| contra se le llama 1) Encontrar F teat y graficar su espectro
espectro continuo de frecuencia. En esta grfica de frecuencia si a =1. 

se pueden observar si existen frecuencias prefer- 2 2
sabemos que F eat = a e /4a y que
enciales o caractersticas en la seal.
F (tf (t)) = iF ()
entonces:
Transformadas seno y coseno de Fourier   * 
at2 d 2 /4a
Si la funcin f (t) esta definida slo en el inter- F te = i e
d a
valo t [0, ) definimos a la transformada seno   *
de Fourier como
2 i 2 /4a
F teat = e
 2a a
Fs (f (t)) = F () = f (t) sen (t)(11.5)
dt
0
 El espectro de frecuencia
2  
Fs1 (F ()) = f (t) = F () sen (t)
(11.6)
d  i 2 /4 
0  
|F ()| =  e 
2
y a la transformada coseno
 || 2 /4
|F ()| = e
Fc (f (t)) = F () = f (t) cos (t)(11.7)
dt 2
0

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

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 inter-
dependencia de f1 (t) y f2 (t) como funcin de un  
2) Encontrar F (t 1) ea(t1) H (t 1)
parmetro . La autocorrelacin se define como
f1 (t) f1 (t). (t 1) e(t1) Heaviside (t 1)
y

Propiedades 0.35

0.3

0.25

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

0.2

[f1 (t) f2 (t)] f3 (t) = f1 (t) [f2 (t) f3 (t)]

0.15
f (t t1 ) (t t2 ) = f (t t1 t2 )
0.1

Teorema de convolucin 0.05

Si F (f1 (t)) = F1 () y F (f2 (t)) = F2 () -5 -2.5 0 2.5 5 7.5 10

entonces x

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

62 Transformada de Fourier
 rema de convolucin
 
+ , 1 5
F (t 2) ea(t2) H (t 2) F
2 2 + 3i
+ ,   
= e2i F (t) ea(t) H (t) 1 1 1
= 5F
2 + i 1 + i
1  / 0 / 0
= e2i 2 = 5F 1
F H (t) e2t F H (t) et
(i + a) / 0
= 5 H (t) e2t H (t) et
  
 2i 1 
e (i+1)2  = 5 H ( ) e2 H(t )e(t ) d


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


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

0.25
pero

0 si < 0 > t
H () H(t ) =
0.125 1 si 0 < < t

de aqu si t < 0 la segunda condicin nunca se

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

 
3) Encontrar F ea|3t| = 5et e H () H(t )d


+ , 0 si t < 0
= $t
F es|3t| 5et 0 e d si t > 0

1 - + s|t| ,. 0 si t < 0
= F e =
|3| =
3 5et [1 et ] si t > 0
  / 0
=
1 2s = H(t)5et 1 et
|3| s2 + 2 = / 0
= 5H(t) et e2t
( ) 3
1 2s
= Ecuaciones diferenciales
|3| s2 + 92 1) Resolver a la ecuacin diferencial

y 4y = H (t) e4t
Transformada inversa de Fourier
- . < t <
1) Obtener F 1 225+3i
graficar su espectro de frecuencias
  aplicando la transformada de Fourier a toda
1
5F 1 la ecuacin obtenemos
(2 + i) (1 + i)
   
1 1 F y 4y = H (t) e4t
= 5F 1
1 + i 2 + i
    
1 1 1
= 5 F 1 F 1 iY () 4Y () =
1 + i 2 + i i + 4
/ t 2t
0
= 5 e H (t) e H (t) 1
/ 0 Y () =
= 5H (t) et e2t (i 4) (i + 4)
1
Y () =
(4 i) (4 + i)
Convolucin - . 1
1) Calcular F 1 225+3i utilizando el teo- Y () =
(42 + 2 )

Transformada de Fourier 63
 1
(42 +2 ) Su espectro de frecuencia es:
 
 1 
|Y ()| =  2 
y0.0625

(4 + 2 ) 
0.05 1
=
(4 + 2 )
2

0.0375

0.025
0.05

0.0125
0.0375

0 25 50 75 100
0.025
x

0.0125

Y () ya es la solucin a la ecuacin diferencial

en el espacio de frecuencias, si queremos regresar -25 -12.5 0 12.5 25

al espacio del tiempo aplicamos la transformada w

inversa de Fourier.

y = F 1 [Y ()] Uso de la computadora para transformada

 
1 de Laplace
= F 1
(42 + 2 )
  x2 ex
1 2 (4)
= F 1
2 (4) (42 + 2 ) , Fourier transform is: 2 Dirac (w i, 2)
1
y = e4|t|
8 eaw

18 e4|t| , Is Fourier transform of Dirac (ia x)

x
-5 -2.5 0 2.5 5

-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 ex-
tras:
$
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 in-

geniera. Se obtienen cuando se mide una seal
en el tiempo o el espacio. En estos datos no es
posible utilizar la transformada de Fourier direc-
tamente, por ello se define la transformada disc-
reta 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
N1
 km
Yk (fk ) = ym (tm ) e2i N (12.1)
m=0

se puede utilizar para generar el conjunto de val-

ores {Y0 , Y1 , ..., Yk , ..., YN1 } para cada frecuencia
{f0 , f1 , ..., fk , ..., fN1 } donde fk = kf donde
f = fNs donde fs = T1 se define como la frecuen-
cia de muestreo. La transformada inversa es:
N1
1 
ym (tm ) = Yk e2imk/N (12.2)
N k=0

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)

5 cos(0 t)
b) 4+t2 +2
at2 i0 t
c) e e
 2

d
d) dt e3t
e) (t 3) e4t H (t 3)
5e3it
f) t2 4t+13

2. Encuentre la antitransformada de Fourier

para
a
a) i22
a
b) i(1)2(1)2

3. Encuentre una solucin acotada y continua

para

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

Ejercicios de Transformada de Fourier 67

68 Ejercicios de Transformada de Fourier
 Parte IV

Apndices

69
Apndice A: Tabla de trans- cos (bt) - a|b| .
2 2
e + ea|+b| (a25)
a +t 2a
formada de Fourier
sin (bt) - a|b| .
2 2
e ea|+b| (a26)
a +t 2ai

f (t) F () (a1) (t) 1 (a27)

a1 f1 (t) + a2 f2 (t) a1 F1 () + a2 F2 () (a2)
(t t0 ) eit0 (a28)
1  
f (at) F (a3)
|a| a (n) (t) (i)
n
(a29)
f (t) F () (a4)
1
f (t t0 ) F () eit0 (a5) H (t) () + (a30)
i
i0 t
f (t) e F ( 0 ) (a6)
1 it0
1 1 H (t t0 ) () + e (a31)
f (t) cos ( 0 t) F ( 0 ) + F ( + 0 ) i
2 2
(a7) 1 2 () (a32)
1 1
f (t) sin ( 0 t) F ( 0 ) F ( + 0 )
2i 2i
(a8) tn 2in (n) () (a33)
F (t) 2f () (a9)
ei0 t 2 ( 0 ) (a34)
f (n) (t) (i)n F () (a10)
 t
1 cos ( 0 t) [ ( 0 ) + ( + 0 )] (a35)
f (x) dx F () + F (0) () (a11)
i
sin (0 t) i [ ( 0 ) ( + 0 )] (a36)
(it)n f (t) F (n) () (a12)
f1 (t) f2 (t) F1 () F2 () (a13)
H (t) sin ( 0 t) (a37)
1 0
f1 (t) f2 (t) F1 () F2 () (a14) + [ ( 0 ) ( + 0 )]
2 20 2 2i
1
eat H (t) (a15)
i + a
2a H (t) cos ( 0 t) (a38)
ea|t| 2 (a16) i0
a + 2 + [ ( 0 ) + ( + 0 )]
* 20 2 2i
at2 2
e e 4a (a17)
a

1
sin a tH (t) i () (a39)
1 |t| < a2 2
pa (t) = a a2
(a18)
0 |t| > a2 2
1 (i)n1
sin (at) [i 2iH ()] (a40)
p2a () (a19) tn (n 1)!
t
1  
teat H (t) (a20) 1
(i + a)2 f1 (t) f2 (t) dt = F1 () F2 () d
2
tn1 at 1 (a41)
e H (t) (a21)  
(n 1)! (i + a)n 2 1 2
|f (t)| dt = |F ()| d (a42)
2
b
eat sin (bt) H (t) (a22)  
(i + a)2 + b2
f (t) G (t) dt = F () g () d (a43)
i + a
eat cos (bt) H (t) (a23)
(i + a)2 + b2
1 2
ea|| (a24) sgn (t) (a44)
a2 + t2 a i

71
 1 a
Apndice B: Tabla de trans- a2 + t2

2a
e : (a > 0) (C6)

formada seno de Fourier 1 ea (1 + a)

: (a > 0) (C7)
(a2 + t2 )2
4 a3
 2   2  2 
x
f (t) FS () (S1) cos cos + sin
2 2 2 2
1  2   2 (C8)
 2 
H () (S2) x
t 2 sin cos sin
 r  2 2 2 2
r1 r
t (r) sin : r (0, 1) (S3) (C8)
2
*
1
(S4)
t 2

eat 2 : (a > 0) (S5) Apndice D: Referencias Bib-
a + 2

teat
2a
: (a > 0) (S6) liogrficas
(a + 2 )2
2

a2 t2 2 /4a2 A. David Wunsch, Variable compleja con
te e : (a > 0) (S7)
4a3 aplicaciones, Addison-Wesley Iberoamericana,
eat  1997.
tan1 : (a > 0) (S8)
t a
Hwei P. Hsu, Anlisis de Fourier, Addison-
t
ea : (a > 0) (S9) Wesley Iberoamericana, 1987.
a2 + t2 2
t ea Peter V. ONeil, Matemticas Avanzadas para
23/2 : (a > 0) (S10) Ingeniera, Volumen II, CECSA, 1998.
(a2 + t2 )2 a
1 (1 ea ) T. W. Korner, Fourier Analysis, Cambridge,
: (a > 0) (S11) 1995.
t (a2 + t2 ) 2 a2
 
t G. B. Arfken and H. J. Weber, Mathemat-
et/ 2 sin (S12) ical Methods for Physicists, Miami Univer-
2 1 + 4
a sity, 2000, 5e.
2 1 ea
tan1 : (a > 0) (S13)
t
4 t
e sin (S14)
4 + t4

Apndice C: Tabla de trans-

formada coseno de Fourier

f (t) FC () (C1)
 r 
tr1 (r) r cos : r (0, 1) (C2)
2
a
eat 2 : (a > 0) (C3)
a + 2
a2 2
teat : (a > 0) (C4)
(a2 + 2 )2

2 2 2 /4a2
ea t
e : (a > 0) (C5)
2a
72