Está en la página 1de 72

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.-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
Denicin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 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
Clasicacin 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
Denicin 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 Bibliogrcas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 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
Denicin
Si se postula a la unidad imaginaria como
i
2
= 1
se puede denir 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
x = Re (z)
y a y parte imaginaria de z
y = Im(z)
Igualdad: Dos nmeros complejos z = a +ib
y w = c +id cumplen que
z = w {a = c y b = d}
Suma: La suma de dos nmeros complejos
z = a +ib y w = c +id se dene como
z +w = (a +c) +i (b +d)
Multiplicacin: La multiplicacin de dos nmeros
complejos z = a +ib y w = c +id se dene como
zw = (a +ib) (c +id)
zw = (ac bd) +i (ad +bc)
Complejo conjugado: El complejo conjuga-
do de z = x+iy se denota como z o z

, y se dene
por
z = z

= x iy
Mdulo o magnitud: El mdulo o la mag-
nitud de un nmero complejo z = x+iy se denota
como |z| y se dene como
|z| =
_
x
2
+y
2
.
Cociente: El cociente de dos nmeros com-
plejos z = a + ib y w = c + id = 0 se dene
como:
z
w
=
zw
ww
=
zw
|w|
2
z
w
=
ac +db
c
2
+d
2
+i
bc ad
c
2
+d
2
Teorema 1 Sean z y w dos nmeros complejo,
entonces
z z = |z|
2
(z +w) = z +w
(zw) = zw
_
z
w
_
=
z
w
Plano de Argand o complejo: Se puede
representar geomtricamente a un nmero com-
plejo en un plano de Argand o complejo, Z, ste
consiste en dos ejes ortogonales, el horizontal rep-
resenta a la parte real del nmero complejo y el
vertical a la parte imaginaria.
Funciones de variable compleja y mapeos 11
Plano de Argand
Forma polar de un nmero complejo. Sea
z = x + iy un punto en el plano de Argand.
Si se dene a r como la distancia del origen al
punto (x, y) y a como el ngulo que forma el
eje horizontal con r (ver gura), de argumentos
trigonomtricos se tiene que:
x = r cos
y = r sen
r =
_
x
2
+y
2
= |z|
= tan
1
_
y
x
_
Representacin polar de un nmero complejo
entonces
z = x +iy = r (cos +i sen)
z = |z| e
i
o en forma simblica
z = rcis ()
z = 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 = tan
1
(y/x), esto es, hay un
nmero innito de argumentos de z. Para evitar
la confusin de tener una funcin multivaluada se
dene al argumento principal de z como el tal
que
<
y se denota:
= Arg (z)
Teorema 2 Sean z y w dos nmeros complejos

|zw| = |z| |w|

z
w

=
|z|
|w|
slo si w = 0
arg (zw) = arg (z) + arg (w)
arg
_
z
w
_
= arg (z) arg (w)
arg (z) = arg (cz) si c > 0
Potencias enteras de un nmero comple-
jo: Sea el nmero complejo z = r (cos +i sen)
entonces
z
n
= r
n
{cos (n) +i sen(n)}
donde n es un nmero entero.
Potencias fraccionarias de un nmero com-
plejo: Sea el nmero complejo z = r [cos +i sen]
entonces
z
1
m
= r
1
m
_
cos
_
+ 2k
m
_
+i sen
_
+ 2k
m
__
donde m 1 es un nmero entero y
k = 0, 1, 2, ..., m1.
Al igual que en los nmeros reales existen m posi-
bles valores para la raz m esima de z.
El nmero complejo innito: Denimos al
nmero complejo innito como el que satisface a
z

= 0
z = : z =
z
0
= : z = 0
z = : z = 0

z
= : z = .
Esfera de Riemann: Cuando el plano de Ar-
gand incluye al punto innito, se llama plano z
extendido. Para entender mejor lo que signica
el punto innito se utiliza la esfera numrica de
Riemann. El punto z
1
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 z
1
.
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.
12 Funciones de variable compleja y mapeos
Esfera de Riemann
El plano de Argand
Para poder estudiar el clculo son necesarias
las deniciones 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 z
0
, al conjunto de puntos
situados en el interior de un crculo de radio r
centrado en z
0
, es decir la regin |z z
0
| < r
|z z
0
| < r
Vecindad punteada: Una vecindad punteada
de z
0
es el conjunto de puntos tal que 0 < |z z
0
| <
r
0 < |z z
0
| < r
Conjunto abierto: Un conjunto abierto es aquel
en el que, para todo elemento, existe una vecin-
dad cuyos puntos pertenecen al conjunto.
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 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.
Conjunto conexo
Dominio: Llamamos dominio a un conjunto
abierto conexo.
Dominio simplemente conexo: Un dominio sin
agujeros.
Dominio multiplemente conexo: Un dominio
con agujeros.
Funciones de variable compleja y mapeos 13
Conjunto multiplemente conexo
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.
Conjunto acotado: Un conjunto para el cual
existe un crculo de radio nito que circunscribe
al conjunto.
Ejemplos de Regiones en el plano:
Ejemplos
2 1 0 -1 -2
2
1
0
-1
-2
x
y
x
y
Re (z) = Im(z)
|z| = 1, aqu se puede utilizar la denicin
de mdulo,

a
2
+b
2
= 1, esto es, a
2
+b
2
=
1
2
, una circunferencia con centro en el ori-
gen y radio 1.
|z| = 1
|z z
0
| r
0
|z z
0
| r
0
1 < |z 1| 2. En la gura se muestra
al crculo interno punteado, lo que signica
que la regin no toca a la frontera, mientras
que el crculo externo es continuo, ya que la
regin incluye a la frontera.
1 < |z 1| 2
Funcin Compleja
Una funcin compleja se dene como
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
14 Funciones de variable compleja y mapeos
la funcin en el plano W. Decimos que la funcin
mapea el punto z
1
= x
1
+iy
1
D al punto w
1
=
u
1
+ iv
1
I. La grca 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 grcamente
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 gura.
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 = C
i
y y = C
j
,
la gura siguiente representa la cuadrcula que
forma estas rectas
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 grca
Ejemplo
w = {z D, w I :w = |z|}
D = {|z| 1}
w = |z| =
_
x
2
+y
2
si tomamos |z| = 1 =
_
x
2
+y
2
= 1 w = 1
y
si |z| = 0 =
_
x
2
+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 gura.
Polinomios
Una de las funciones complejas ms simples es
el polinomio, esta funcin tiene la regla de corre-
spondencia:
w = f (z) = a
n
z
n
+a
n1
z
n1
+ +a
1
z +a
0
donde las a
n
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 dene co-
mo:
e
z
= e
x+iy
= e
x
(cos y +i seny) . (1.1)
De aqu se observa que Re (e
z
) = e
x
cos y e Im(e
z
) =
e
x
seny. Algunas de las propiedades de esta fun-
cin se enuncian en el siguiente teorema.
Teorema 3 Sean z
1
, z
2
y z nmeros complejos

e
z1
e
z2
= e
z1+z2
(e
z
)
a
= e
az
con a 0
e
z
1
e
z2
= e
z
1
z
2
|e
z
| = e
x
e
z
= 0 : z
arg (e
z
) = y + 2k : k = 0, 1, 2, ...
Funciones de variable compleja y mapeos 15
Periodicidad de e
z
. Aunque la funcin ex-
ponencial real no es peridica, la forma compleja
de la exponencial presenta una comportamiento
peridico, para mostrar ello tomemos
e
z+2ki
= e
x+i(y+2k)
= e
x
(cos [y + 2k] +i sen[y + 2k])
= e
x
(cos y +i seny)
e
z+2ki
= e
z
por lo tanto la funcin exponencial es peridica
con perido imaginario 2i.
Algunos valores de e
z
e
0+i0
= 1
e
i/2
= i
e
i
= 1
e
i3/2
= i
Note que de la tercera igualdad e
i
+ 1 = 0, esta
igualdad contiene a los cinco nmeros ms impor-
tantes en matemticas: e, i, , 1 y 0.
Funcin logaritmo
Denimos, si z = 0, al logaritmo de z como
w = log z z = e
w
(1.2)
De la denicin tenemos que
z = e
w
re
i
= e
u+iv
re
i
= e
u
e
iv
comparando
e
u
= r
e
u
= |z|
u = ln|z|
Re w = ln|z|
Re (log z) = ln|z|
y
e
iv
= e
i
v = + 2n : n = 0, 1, 2, ...
v = arg (z) + 2n
Imw = arg (z) + 2n
Im(log z) = arg (z) + 2n
entonces
w = u +iv
w = ln|z| +i (arg (z) + 2n)
log z = ln|z| +i [arg (z) + 2n] (1.3)
Teorema 4 Sean z y w nmeros complejos difer-
entes de cero, r un nmero racional y n cualquier
entero
e
log(z)
= z
log (e
z
) = z + 2ni
log (zw) = log z + log w
log
_
z
w
_
= log z log w
log (z
r
) = r log z
Logaritmo principal: La ecuacin 1.3 rep-
resenta a un conjunto innito de nmeros com-
plejos, n = 0, 1, 2, ..., para poder denir 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
Denimos al seno y coseno imaginarios como:
sen(z) =
e
iz
e
iz
2i
(1.5)
cos (z) =
e
iz
+e
iz
2
(1.6)
adems
tan(z) =
sen(z)
cos (z)
(1.7)
sec (z) =
1
cos (z)
(1.8)
csc (z) =
1
sen(z)
(1.9)
cot (z) =
cos (z)
sen(z)
(1.10)
Propiedades
1 = sen
2
(z) + cos
2
(z)
1 + tan
2
(z) = sec
2
(z)
sen(2z) = 2 sen(z) cos (z)
sen(z w) = sen(z) cos (w) cos (z) sen(w)
cos (z w) = cos (z) cos (w) sen(z) sen(w)
cos (2z) = cos
2
(z) sen
2
(z)
Periodicidad de las funciones trigonomtri-
cas: Las funciones seno y coseno son peridicas
con perido real 2, es decir:
sen(z) = sen(z + 2n)
cos (z) = cos (z + 2n)
16 Funciones de variable compleja y mapeos
Ejercicios
Ejercicios en clase
1. Estudie la forma en que w = sinz transfor-
ma a la franja y 0, /2 x /2.
2. Demuestre que la transformacin w = 1/z
transforma a la recta innita 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 transforma-
cin w = z +1/z. Sugerencia: tome z = e
i
.
4. Identicar las imgenes de cos z de las rec-
tas paralelas al eje real.
5. Determine la imagen de la banda 1 y 2
en el plano z bajo la transformacin w = z
2
.
Tarea
1. Demuestre que
(z
1
z
2
) = z
1
z
2
(z
1
z
2
) = z
1
z
2
_
z
1
z
2
_
=
z
1
z
2
2. Sea n un nmero entero n 0. Encuentre
el mdulo de
_
x +iy
x iy
_
n
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
i
1/2
(1 i)
1/2
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 :
(z i)
2
( z)
2
+i
7. Escriba en trminos de z y z a:
w = 2xy +i
_
x
2
y
2
_
w = x
2
+y
2
8. Determinar todos los valores tales que e
iz
=
2.
9. Si cos z = 2 obtener cos 2z.
10. Emplee logaritmos para resolver z en:
(e
z
1)
2
= e
z
e
z
= e
2z
11. Estudie la forma en que el conjunto Re (z) =
Im(z) se transforma mediante w = sin(z) .
12. Estudie la forma en que w = e
z
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
.
14. Identicar las imgenes de w = z + z
2
de
las rectas paralelas al eje real.
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 con-
stante compleja L. Si para todo nmero real > 0
existe un nmero real > 0 tal que
|f (z) L| <
para todo z tal que
0 < |z z
0
| <
entonces decimos que
lm
zz0
f (z) = L,
es decir, que f (z) tiene lmite L cuando z tiende
a z
0
.
Lmite complejo
Es fcil notar que la denicin de lmite real
y lmite complejo son muy similares, sin embar-
go, 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
iguales, entonces el lmite existe. Por otro lado,
en el caso complejo, no hay slo dos direcciones,
sino un nmero innito de trayectorias por las
cuales z tiende a z
0
, y para que el lmite exista,
todos estos lmites debern existir y ser iguales.
Teorema 5 Suponga que
lm
zz
0
f (z) y lm
zz
0
g (z) existen
lm
zz0
[f (z) +g (z)] = lm
zz0
f (z) + lm
zz0
g (z)
lm
zz0
[f (z)] = lm
zz0
f (z) :
lm
zz
0
[f (z) g (z)] = lm
zz
0
f (z) lm
zz
0
g (z)
lm
zz
0
_
f (z)
g (z)
_
=
lm
zz0
f (z)
lm
zz0
g (z)
si lm
zz
0
g (z) = 0
Ejemplo
Analice al siguiente lmite
lm
z0
f (z) = lm
z0
_
x
2
+x
x +y
+i
y
2
+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
lm
z0
f (z) = lm
y0
_
i
y
2
+y
y
_
= lm
y0
[i (y + 1)] = i
la segunda a lo largo del eje x acercndose por
la derecha, sobre esta trayectoria y = 0 y el lmite.
Funciones analticas y mapeos conformes 19
lm
z0
f (z) = lm
x0
_
x
2
+x
x
_
= lm
x0
[x + 1] = 1
como los lmites por diferentes trayectorias son
diferentes el lmite no existe.
El lmite no existe
Continuidad
Decimos que una funcin w = f (z) es conti-
nua en z = z
0
si se satisfacen las dos condiciones
siguientes:
1. f (z
0
) est denido
2. lm
zz0
f (z) , y lm
zz0
f (z) = f (z
0
)
Teorema 6 Sean f (z) y g (z) continuas en z
0
,
entonces en z
0
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 (z
0
) = 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
f (z) =
_
z
2
+1
zi
z = i
3i z = i
Primero se analiza si f (z
0
) existe, para este
problema f (i) = 3i, lo que sigue es encontrar el
lmite
lm
zi
z
2
+ 1
z i
= lm
zi
z
2
i
2
z i
= lm
zi
(z +i) (z i)
z i
= lm
zi
(z +i)
= 2i
aunque el lmite existe tenemos que,
_
lm
zi
z
2
+ 1
z i
= 2i
_
= (f (i) = 3i)
por lo tanto no es continua.
Derivada compleja
Dada una funcin de variable compleja f (z),
la derivada en z
0
, se dene como:
f

(z
0
) =
df
dz

z0
= lm
z0
f (z
0
+ z) f (z
0
)
z
= lm
zz0
f (z) f (z
0
)
z z
0
siempre y cuando el lmite exista. La denicin
anterior es muy similar al caso real, sin embargo,
se debe tener cuidado ya que el lmite comple-
jo, 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
z
0

(f +g)

= f

+g

(f)

= f

(f g)

= fg

+f

g
_
f
g
_

=
gf

fg

g
2
: g = 0
df [g (z)]
dz
=
df
dg
dg
dz
Ejemplo
20 Funciones analticas y mapeos conformes
Si f (z) = z
n
,
dz
n
dz
= nz
n1
Ejemplo
Sea f (z) = z, pruebe que f

(i) .
La denicin de la derivada es:
f

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

(i) = lm
zi
z +i
z i
para analizar este lmite utilizaremos dos trayec-
torias diferentes:
la primera sobre el eje imaginario, aqu, x = 0,
entonces el lmite es
f

(i) = lm
zi
x iy +i
x +iy i
= lm
y1
iy +i
iy i
= lm
y1
y 1
y 1
= 1
a la segunda trayectoria la denimos como la
recta horizontal y = 1, en este caso el lmite
f

(i) = lm
zi
x iy +i
x +iy i
= lm
x0
x i +i
x +i i
= lm
x0
x
x
= 1
como ambos lmites tienen diferentes valores, la
derivada no existe.
La derivada no existe
Ecuaciones de Cauchy-Riemann-
(DAlembert)
Como se mostr en ejemplos anteriores pro-
bar que la derivada existe apartir de un lmite es
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 z
0
= x
0
+iy
0
, es decir,
f

(z
0
) = lm
z0
f (z
0
+ z) f (z
0
)
z
,
en donde el incremento es z = x + iy. Si
se toma el lmite por dos diferentes trayectorias
como se muestra en la gura
Se toman dos diferentes trayectorias
para la trayectoria I, y = y
0
, y = 0 y z =
x, entonces la derivada
f

(z
0
) = lm
x0
f (z
0
+ x) f (z
0
)
x
= lm
x0
u(x
0
+ x, y
0
) +iv (x
0
+ x, y
0
)
u(x
0
, y
0
) iv (x
0
, y
0
)
x
= lm
x0
_
u(x
0
+x,y
0
)u(x
0
,y
0
)
x
+
i
v(x
0
+x,y
0
)v(x
0
,y
0
)
x
_
f

(z
0
) =
_
u
x
+i
v
x
_
x0,y0
para la trayectoria II, x = x
0
, x = 0 y z =
iy, entonces la derivada
f

(z
0
) = lm
y0
f (z
0
+iy) f (z
0
)
iy
= lm
y0
u(x
0
, y
0
+ y) +iv (x
0
, y
0
+ y)
u(x
0
, y
0
) iv (x
0
, y
0
)
iy
= lm
y0
_
u(x
0
,y
0
+y)u(x
0
,y
0
)
iy
+
i
v(x0,y0+y)v(x0,y0)
iy
_
= lm
y0
_
u(x0,y0+y)u(x0,y0)
iy
+
i
v(x
0
,y
0
+y)v(x
0
,y
0
)
iy
_
= lm
y0
_
i
u(x0,y0+y)u(x0,y0)
y
+
v(x0,y0+y)v(x0,y0)
y
_
=
_
i
u
y
+
v
y
_
x
0
,y
0
Funciones analticas y mapeos conformes 21
Si la derivada existe los lmites son iguales:
f

(z) =
u
x
+i
v
x
= i
u
y
+
v
y
,
o bien,
u
x
=
v
y
(2.1)
v
x
=
u
y
(2.2)
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
no existe en ese punto, es decir, slo son condicin
necesaria, pero no suciente, 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 z
0
, las ecua-
ciones de Cauchy-Riemann son condicin su-
ciente para que la derivada exista. El valor de la
derivada es:
f

(z) =
u
x
+i
v
x
= i
u
y
+
v
y
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:
u
r
=
1
r
v

(2.3)
v
r
=
1
r
u

(2.4)
Ejemplo
En donde es diferenciable |z|
2
|z|
2
= x
2
+y
2
entonces
u = x
2
+y
2
v = 0
_
u
x
= 2x
_
=
_
v
y
= 0
_
_
v
x
= 0
_
=
_

u
y
= 2y
_
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
existe nicamente en el origen y su valor es
f

(0) =
u
x
+i
v
x
= i
u
y
+
v
y
= 0
Teorema 9 Regla de LH opital. Si g (z
0
) = 0
y h(z
0
) = 0, y si g (z) y h(z) son diferenciables
en z
0
con h

(z
0
) = 0
lm
zz0
g (z)
h(z)
=
g

(z
0
)
h

(z
0
)
.
Funciones Analticas
Decimos que una funcin f (z) es analtica
en z
0
si f

(z) no slo existe en z


0
, sino en todo
punto de alguna vecindad de z
0
. Si la funcin es
analtica en todo el plano complejo decimos que
la funcin es entera.
Si una funcin no es analtica en z
0
, pero es
analtica en al menos un punto de toda vecindad
de z
0
, decimos que z
0
es una singularidad de la
funcin.
Teorema 10 Si f (z) y g (z) son funciones analti-
cas en alguna regin, entonces tambin son analti-
cas
f (z) g (z)
f (z) g (z)
f [g (z)]
f (z)
g (z)
si (g (z) = 0)
para la misma regin.
Ejemplo
Un polinomio es entero
f (z) = a
n
z
n
+a
n1
z
n1
+... +a
1
z
1
+a
0
y una funcin racional
f (z) =
a
n
z
n
+a
n1
z
n1
+... +a
1
z
1
+a
0
b
m
z
m
+b
m1
z
m1
+... +b
1
z
1
+b
0
es analtica excepto en los puntos para los que
b
m
z
m
+b
m1
z
m1
+... +b
1
z
1
+b
0
= 0
Funciones armnicas
Considere el siguiente problema, dada una fun-
cin real (x, y), bajo que condiciones puede ser
22 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 Cauchy-
Riemann
u
x
=
v
y
(2.5)
u
y
=
v
x
(2.6)
Si diferenciamos a la ecuacin 2.5 respecto a
x y a la 2.6 respecto a y, obtenemos

2
u
x
2
=

2
v
xy

2
u
y
2
=

2
v
yx
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:

2
u
x
2
+

2
u
y
2
= 0

2
u = 0
la ecuacin anterior se conoce como la Ecuacin
de Laplace
Con un procedimiento similar podemos obten-
er:

2
v
x
2
+

2
v
y
2
= 0

2
v = 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,

x
2
+

2

y
2
= 0 (2.7)

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

x
2
= 2
_
+
_

y
2
= 2
_
= 0
Teorema 11 Si una funcin es analtica en cier-
to dominio, su parte real y su parte imaginaria
son funciones armnicas en dicho dominio.
Teorema 12 Dada una funcin real (x, y) ar-
mnica en un dominio simplemente conexo D, ex-
iste 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 C
1
, C
2
, C
3,
... y K
1
, K
2
, K
3
, ...,
constantes reales. La familia de curvas en el plano
xy (real) para las que
u = C
i
es ortogonal a la familia de curvas tales que
v = K
i
,
es decir, una curva de una de las familias inter-
seca a una curva de la otra familia a 90
o
, salvo
quiz en puntos en que f

(z) = 0.
Ortogonalidad funciones armnicas conjugadas
Ejemplo
Demuestre que = x
3
3xy
2
+ 2y puede ser
parte real de una funcin analtica, encuentre la
parte imaginaria y verique que forman familias
ortogonales.
Si es armnica puede ser parte real o imagi-
naria de una funcin analtica
_

x
2
= 6x
_
+
_

y
2
= 6x
_
= 0
para encontrar la parte imaginaria utilizamos las
ecuaciones Cauchy-Riemann con u = = x
3

3xy
2
+ 2y, es decir,
u
x
= 3x
2
3y
2
=
v
y

u
y
= 6xy 2 =
v
x
Funciones analticas y mapeos conformes 23
o bien,
v
y
= 3x
2
3y
2
v
x
= 6xy 2
este sistema de ecuaciones lo podemos inte-
grar, para ello tomamos la primera ecuacin, e
integramos
v =
_
_
3x
2
3y
2
_
y
v = 3x
2
y y
3
+C (x)
si ahora sustuimos este resultado en la segunda
ecuacin
6xy +
dC (x)
dx
= 6xy 2
dC (x)
dx
= 2
C (x) = 2x +c
entonces,
v = 3x
2
y y
3
2x +c.
Sean las familias de curvas
u = x
3
3xy
2
u
+ 2y
u
= C
i
v = 3x
2
y
v
y
3
v
2x +c = K
i
si derivamos con respecto a x
3x
2
3y
2
u
6xy
u
dy
u
dx
+ 2
dy
u
dx
= 0
3x
2
dy
v
dx
+ 6xy
v
3y
2
v
dy
v
dx
2 = 0
despejando a las derivadas
dy
u
dx
=
3y
2
u
3x
2
2 6xy
u
dy
v
dx
=
2 6xy
u
3y
2
u
3x
2
es decir,
dy
u
dx
=
_
dy
v
dx
_
1
por lo tanto son ortogonales.
Derivadas de funciones impor-
tantes
Funcin exponencial
Analiticidad de e
z
La funcin e
z
se puede expresar como
e
z
= e
x
cos y +ie
x
seny
entonces
u = e
x
cos y
v = e
x
seny
y las ecuaciones de Cauchy-Riemann
u
x
=
v
y
= e
x
cos y
u
y
=
v
x
= e
x
seny
se satisfacen para todo x y y, entonces como u y v
y sus derivadas son continuas en todo el plano, la
funcin e
z
es analtica en todo el plano complejo,
es decir, es funcin entera.
Derivada de e
z
La derivada de e
z
la podemos obtener de
de
z
dz
=
u
x
+i
v
x
= e
x
cos y +ie
x
seny
= e
x
(cos y +i seny)
de
z
dz
= e
z
Funcines trigonomtricas
Analiticidad de las funciones trigonomtri-
cas
Las funciones sen(z) y cos (z) son analticas
por ser suma de funciones analticas del tipo e
z
.
Las funciones 1.7, 1.8, 1.9 y 1.10 son analticas
si el denominados es diferente de cero.
Derivadas de las funciones trigonomtri-
cas
d sen(z)
dz
= cos (z)
d cos (z)
dz
= sen(z)
d tan(z)
dz
= sec
2
(z)
d sec (z)
dz
= tan(z) sec (z)
d csc (z)
dz
= cot (z) csc (z)
Funcin logaritmo
Podemos utilizar la forma polar de Log (z)
para estudiar su analiticidad, para ello utilizamos
24 Funciones analticas y mapeos conformes
las ecuaciones de Cauchy-Riemann en forma polar
(ecuaciones 2.3 y 2.4).
Log (z) = lnr +i,
es decir,
u = lnr
v =
y
_
u
r
=
1
r
_
=
_
1
r
v

=
1
r
_
_
v
r
= 0
_
=
_

1
r
u

= 0
_
por lo tanto se satisfacen las ecuaciones de
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-
tiva del eje real.
Regin de analiticidad de Log(z)
Derivada de Log (z): Para calcular la deriva-
da de Log (z), partimos de
z = e
w
dz
dz
=
de
w
dw
dw
dz
1 = e
w
dw
dz
dw
dz
= e
w
dLog (z)
dz
= e
Log(z)
d
dz
[Log (z)] = e
Log(
1
z
)
d
dz
[Log (z)] =
1
z
entonces la derivada del logaritmo complejo existe
en su regin de analiticidad y su valor es
d
dz
[Log (z)] =
1
z
(2.8)
Mapeo conforme
Sea la funcin analtica f (z) = u(x, y)+iv (x, y)
que dene una correspondencia entre los puntos
de los espacios Z (plano (x, y)) y W (plano (u, v)).
Suponga que el punto (u
0
, v
0
) es la imagen del
punto (x
0
, y
0
), suponga adems que las curvas
C
1
(x, y) y C
2
(x, y) se intersecan en (x
0
, y
0
) y
tienen curvas imgen K
1
(u, v) y K
2
(u, v) respec-
tivamente (las cuales se cortan en (u
0
, v
0
) en el
espacio imagen). Entonces se dice que el mapeo
es conforme en (x
0
, y
0
) si el ngulo entre C
1
(x, y)
y C
2
(x, y) es igual tanto en direccin como en
sentido al ngulo entre K
1
(u, v) y K
2
(u, v).
Mapeo isogonal
Cuando en un mapeo las curvas K
1
(u, v) y
K
2
(u, v) slo conservan la magnitud pero no el
ngulo de C
1
(x, y) y C
2
(x, y) se dice que el mapeo
es isogonal.
Algunos mapeos
Traslacin: Un mapeo de este tipo desplaza
o traslada a la regin mapeada en direccin :
w = z +
Ejemplo: f (z) = z +
i+1
3
1 0.5 0 -0.5 -1
1
0.5
0
-0.5
-1
x
y
x
y

1 0.5 0 -0.5
1
0.5
0
-0.5
x
y
x
y
Rotacin: Con este mapeo la regin en el
plano Z gira un ngulo
0
:
w = e
i0
z
Ejemplo: f (z) = ze
i

4
1 0.5 0 -0.5 -1
1
0.5
0
-0.5
-1
x
y
x
y

1 0.5 0 -0.5 -1
1
0.5
0
-0.5
-1
x
y
x
y
Funciones analticas y mapeos conformes 25
Alargamiento: Con esta transformacin las
guras en el plano Z se alargan (a > 1) o contraen
(a < 1):
w = az
Ejemplo: f (z) =
z
2
1 0.5 0 -0.5 -1
1
0.5
0
-0.5
-1
x
y
x
y

1 0.5 0 -0.5 -1
1
0.5
0
-0.5
-1
x
y
x
y
Inversin:
w =
1
z
Ejemplo: f (z) =
1
z
1 0.5 0 -0.5 -1
1
0.5
0
-0.5
-1
x
y
x
y

2.5 0 -2.5
2.5
0
-2.5
x
y
x
y
Transformacin lineal: Es una combinacin
de traslacin, rotacin y alargamiento, dependi-
endo de los valores de y :
w = z +
Ejemplo: f (z) =
ze
i

4
2
+
i+1
3
1 0.5 0 -0.5 -1
1
0.5
0
-0.5
-1
x
y
x
y

1 0.5 0 -0.5 -1
1
0.5
0
-0.5
-1
x
y
x
y
Transformacin fraccional: Una combinacin
de traslacin, rotacin, alargamiento e inversin:
w =
z +
z +
con = 0.
Ejemplo:
1 0.5 0 -0.5 -1
1
0.5
0
-0.5
-1
x
y
x
y

6 4 2 0 -2
6
4
2
0
-2
x
y
x
y
Tarea
1. Es la siguiente funcin continua en z = 3i?
f (z) =
_ _
z
2
+ 9
_
/ (z 3i) , z = 3i
6i, z = 3i
2. Sea f(z) = u(x, y) +iv (x, y) . Suponga que
existe la segunda derivada f

(z) . Compruebe
que
f

(z) =

2
u
x
2
+i

2
v
x
2
y
f

(z) =

2
u
y
2
i

2
v
y
2
3. En que regiones del plano son analticas las
siguientes funciones?. Si existe la derivada
encuentre su valor.
f (z) = 2z
2
+ 3
f (z) = z +z
1
f (z) = xy +
i
2
_
x
2
y
2
_
f (z) =
z
2
e
x
cosy +ie
x
seny
4. En donde es analtica la funcin:
f (z) = r cos +ir
5. Para cules valores de n la funcin x
n
y
n
es armnica?
6. Cules de las siguientes funciones son ar-
mnicas?,En qu dominio?
= x +y
=
y
x
2
+y
2
= e
x
2
y
2
7. Determinar la regin de analiticidad de la
funcin
f (z) = cos ( z)
8. Sea = 6x
2
y
2
x
4
y
4
+y x + 1. Com-
pruebe que podra ser parte real o imagi-
naria de alguna funcin analtica. Si es la
parte real de f (z) encuentre la parte imag-
inaria. Si es la parte imaginaria de f (z)
encuentre la parte real.
9. Sea
f(z) = e
z
2
+1
demostrar que es entera y encontrar su deriva-
da.
10. Sea f(z) una funcin entera. Si
f

(z) =
_
6x
2
6y
2
2x + 3
_
+i (12xy 2y)
con f(0) = 2 i. Encuentre f(z). Calcular
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) = uiv tambin lo es. Demuestre
que u y v deben ser constantes.
13. Encuentre a una funcin armnica conjuga-
da de
e
x
cos y +e
y
cos x +xy
14. Demostrar que la funcin
f (z) = cos xcoshy i sinxsinhy
es analtica en todo el plano complejo y que
f

(z) = f (z)
15. Para la funcin f(z) = (z +i)
2
, demostrar
que
(u, v)
(x, y)
= |f

(z)|
2
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 nito de arcos suaves con-
catenados.
Denicin
Sea la curva suave C, que va de A hasta B en
el plano complejo, se divide la curva en n arcos
como se muestra en la gura, los puntos de unin
tiene coordenadas (x
0
, y
0
), (x
1
, y
1
), ...,(x
n
, y
n
). En
donde la variable compleja toma los valores z
1
, z
2
, ..., z
n
.
Los incrementos en z se relacionan con x y y.
z
k
= x
k
+iy
k
si n , z
k
0
Curva suave sobre la que se integra f (z)
Denimos la integral de lnea como
_
C
f (z) dz =
_
B
A
f (z) dz = lm
n
n

k=1
f (z
k
) z
k
(3.1)
Para evaluar esta integral de lnea compleja
tenemos que:
z = x +iy
dz = dx +idy
y adems
f (z) = u(x, y) +iv (x, y)
Integral de lnea de funciones de variable compleja 29
sustituyendo en la integral 3.1
_
B
A
f (z) dz =
_
C
[u(x, y) +iv (x, y)] (dx +idy)
=
_
C
udx
_
C
vdy + (3.2)
i
__
C
udy +
_
C
vdx
_
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 t
a
t t
b
(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
dt (3.6)
entonces la integral compleja
_
C
f (z) dz =
_
tb
ta
f [z (t)]
dz
dt
dt, (3.7)
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
conexo D. Si C es cualquier curva cerrada simple
en D
_
C
f (z) dz = 0 (4.1)
D es un dominio simplemente conexo y C D.
Demostracin: Para demostrar lo anterior
se hace uso del teorema de Green en dos dimen-
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
plano y P (x, y) y Q(x, y) son funciones contin-
uas con derivadas parciales continuas, entonces:
_
C
(Pdx +Qdy) =
_ _
A
_
Q
x

P
y
_
dxdy.
Por otro lado, sea la integral compleja
_
C
f (z) dz =
_
C
(u +iv) (dx +idy)
=
_
C
(udx + (v) dy)
+i
_
C
(vdx +udy)
aplicando el teorema de Green a las dos integrales
se tiene que:
_
C
f (z) dz =
_ _
A
_

v
x

u
y
_
dxdy
+i
_ _
A
_
u
x

v
y
_
dxdy
Si la funcin es analtica sobre y dentro de C, para
todo el dominio de integracin A se satisfacen las
ecuaciones de Cauchy-Riemann
u
x
=
v
y
y
u
y
=

v
x
. Entonces en la ltima integral se tiene que
_
C
f (z) dz =
_ _
A
0dxdy +i
_ _
A
0dxdy
o bien
_
C
f (z) dz = 0
Teorema integral de Cauchy-Goursat 31
Corolarios
Independencia de la trayectoria
Sea f (z) analtica en un dominio simplemente
conexo D y que z
0
y z
1
D. Sean C
1
y C
2
curvas
desde z
0
a z
1
en D
_
C1
f (z) dz =
_
C2
f (z) dz, (4.2)
es decir,
_
f (z) dz es independiente de la trayec-
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)
dz
= f (z) (4.3)
con este resultado,
_
z2
z1
f (z) dz =
_
z2
z1
dF (z)
dz
dz
=
_
z2
z
1
dF
= F (z
2
) F (z
1
)
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 z
0
, sean C y K dos curvas
homotpicas que encierran a z
0

_
C
f (z) dz =
_
K
f (z) dz (4.4)
Teorema de la deformacin
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
Sea f (z) analtica en un dominio simplemente
conexo D. Sea z
0
cualquier punto de D y sea C
cualquier curva cerrada simple en D que encierra
a z
0
. Entonces
f (z
0
) =
1
2i
_
C
f (z)
z z
0
dz
es decir, la funcin en z
0
, esta relacionada con
la funcin en C, este es un resultado muy impor-
tante en variable compleja. Se puede utilizar este
resultado para calcular integrales si lo ponemos
como
_
C
f (z)
z z
0
dz = 2if (z
0
) (5.1)
La ecuacin 5.1 se conoce como la frmula inte-
gral de Cauchy y es una herramienta muy poderosa
para calcular integrales.
El punto z
0
est dentro de C
No se aplica la frmula de Cauchy
Derivadas de funciones analticas
Sea f (z) analtica en un dominio simplemente
conexo D. Sea z
0
cualquier punto de D y sea C
cualquier curva cerrada simple en D que encierra
a z
0
. Entonces
f
(n)
(z
0
) =
n!
2i
_
C
f (z)
(z z
0
)
n+1
dz
es decir, no slo la funcin en z
0
, esta rela-
Frmulas integrales de Cauchy 33
cionada con la funcin en C, sino sus derivadas.
Este resultado se puede utilizar para calcular in-
tegrales si lo reordenamos
_
C
f (z)
(z z
0
)
n+1
dz =
2i
n!
f
(n)
(z
0
) (5.2)
La ecuacin 5.2 se conoce como la frmula in-
tegral de Cauchy para derivadas superiores y es
una herramienta muy poderosa para calcular in-
tegrales.
Extensin de la frmula integral de Cauchy
para una anillo
Un anillo con centro en w es un dominio aco-
tado D, de z

s que satisfacen a
r < |z w| < R
Sea C
r
la circunferencia |z w| = r, y sea
C
R
la circunferencia |z w| = R orientadas en
sentido antihorario. Si f (z) es analtica en D, C
r
y C
R
para cualquier z
0
D
f (z
0
) =
1
2i
_
CR
f (z)
z z
0
dz
1
2i
_
Cr
f (z)
z z
0
dz
(5.3)
Frmula de Cauchy para una anillo.
Ejercicios de Tarea
1. Evale a:
_
1
i
zdz
sobre las trayectorias
a) C : x +y = 1
b) C : y = (1 x)
2
2. Evale a:
_
e
z
dz
a) de z = 0 a z = 1 por y = 0, b) de z = 1
a z = 1 +i por x = 1
3. Integre
_
1
1
1
z
dz
por C : medio crculo unitario con centro en
el origen, en el semiplano superior
4. Integre
_
i
1
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)
_
|z|=1
cos z
z + 2
dz
b)
_
|z+2|=2
cos z
z + 2
dz
c)
_
|z1|=4
cos z
z + 2
dz
d)
_
|z+i|=1
log zdz
e)
_
|z1i|=1
log zdz
f )
_
|z|=
1
1 +e
z
dz
g)
_
|z|=3
1
1 e
z
dz
6. Demuestre que
_
|z3|=2
log z
(z + 1) (z 3)
dz =
_
|z3|=2
log z
4 (z 3)
dz
7. Evale las siguientes integrales a lo largo de
la curva y =

x
a)
_
9+3i
1+i
e
2z
dz
b)
_
9+3i
1+i
z cos zdz
34 Frmulas integrales de Cauchy
8. Cul es el error en:
_
1+i
0
zdz =
z
2
2

1+i
0
= i ?
9. Evale las integrales:
a)
_
dz
e
z
(z 2)
alrededor de
x
2
9
+
y
2
16
= 1
b)
1
2i
_
cos z + sinz
(z
2
+ 25) (z + 1)
dz
alrededor de
x
2
9
+
y
2
16
= 1
c)
_
coshz
z
2
+z + 1
dz
alrededor de
(x 1)
2
+ (y 1)
2
= 1
d)
_
sin(e
z
+ cos z)
(z 1)
2
(z + 3)
dz
alrededor de
x
2
2
+y
2
= 1
10. *Calcular
_
2i
2
dz
z
por el arco de circunferencia con radio 2 y
centro en el origen, en sentido horario.
11. *Calcular
_
C
cos z
(z )
si C encierra a .
12. *Calcular la integral
1
2i
_
C
e
z
z (1 z)
3
dz
si C a) no encierra a z = 1; b) no encierra
a z = 0; c) encierra a ambos.
13. *Evale _
C
(2z +z) dz
C : el segmento de recta que va de 1 + i a
3 + 3i.
14. *Calcular a la integral real
_
2
0
3
5 4 cos
d
usando el cambio de variable z = e
i
15. *Calcular
_
|z|=2
sinz
z
3
3iz
2
3z +i
dz
16. *Calcular
_
C
dz
z
2
+ 9
con C : a) |z 3i| = 1; b) |z + 3i| = 1; c)
|z 3i| +|z + 3i| = 10.
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 trmi-
no de la sucesin lo denotamos z
n
, y a la sucesin
{z
n
}.
Suma parcial: Sea {z
n
} una sucesin com-
pleja. Denimos las n-sima suma parcial S
n
co-
mo la suma de los primeros n-trminos de la suce-
sin {z
n
}:
S
n
=
n

j=1
z
j
.
A su vez {S
n
} es una sucesin compleja. Si esta
sucesin de sumas parciales converge decimos que
la serie innita:

j=1
z
j
converge.
Teorema: Sea z
n
= x
n
+iy
n
=
1. )

j=1
z
j
converge

j=1
x
j
y

j=1
y
j
convergen.
2. )

j=1
x
j
a y

j=1
y
j
b

j=1
z
j

a +ib.
Teorema: Si

j=1
z
j
converge = {z
n
}
0.
Este resultado se utiliza para saber si la se-
rie diverge, es decir, si {z
n
} L = 0,

j=1
z
j
diverge, pero si {z
n
} 0, el teorema no da infor-
macin.
Ejemplo.-
_
i
n
_
0 pero

n=1
i
n
diverge.
Convergencia absoluta: Si la serie real

j=1
|z
j
|
converge, se dice que la serie

j=1
z
j
converge
absolutamente.
Adems si

j=1
|z
j
| converge =

j=1
z
j
tambin converge.
Criterio de la razn: Sea z
n
= 0 para cada
n, y suponga que
lm
n

z
n+1
z
n

= q =
1.

n=1
z
n
converge si 0 q < 1.
2.

n=1
z
n
diverge si q > 1.
Series de potencias complejas
Sean z
0
, a
0
, a
1
, a
2
, ... nmeros complejos da-
dos. Una serie

n=0
a
n
(z z
0
)
n
= a
0
+a
1
(z z
0
)+a
2
(z z
0
)
2
+...
se llama una serie de potencias con centro en z
0
y
secesin de coecientes {a
n
} . La serie empieza en
la potencia 0 para permitir el trmino constante.
La serie converge en z
0
a a
0
.
Serie Laurent y teorema del residuo 37
Teorema: Suponga que

n=0
a
n
(z z
0
)
n
con-
verge para z
1
= z
0
. Entonces la serie converge
para toda z tal que |z z
0
| < |z
1
z
0
|.
Disco de Convergencia
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
convergencia R.
1. R
2. R = 0
3. 0 < R <
Teorema: Dada la serie de potencias

n=0
a
n
(z z
0
)
n
, que converge para algn z
1
= z
0
, existe R (posi-
blemente R ), tal que la serie converge abso-
lutamente si |z z
0
| < R, y diverge si |z z
0
| >
R.
Teorema: Suponga que

n=0
a
n
(z z
0
)
n
tiene
radio de convergencia R, con R = 0. Para |z z
0
| <
R, sea f (z) =

n=0
a
n
(z z
0
)
n
. Entonces:
1. f (z) es analtica para |z z
0
| < R.
2. Para las derivadas tenemos:
f

(z) =

n=1
na
n
(z z
0
)
n1
y
f
(k)
(z) =

n=k
n(n 1) ... (n k + 1) a
n
(z z
0
)
nk
3. Si C es una curva suave a pedazos cuya gr-
ca esta dentro del disco de convergencia de
la serie de potencias
_
C
f (z) dz =

n=0
a
n
_
C
(z z
0
)
n
dz
Serie de Taylor compleja
Supongamos que

n=0
a
n
(z z
0
)
n
tiene ra-
dio de convergencia R. Si denimos
f (z) =

n=0
a
n
(z z
0
)
n
Evaluando en z
0
,
f (z
0
) = a
0
a
0
= f (z
0
)
y evaluando en z
0
a la derivada k-sima
f
(k)
(z
0
) =

n=k
n(n 1) ... (n k + 1) a
n
(0)
nk
f
(k)
(z
0
) = k (k 1) ... (1) a
k
a
k
=
f
(k)
(z
0
)
k!
Sustituyendo estos resultados obtenemos:
f(z) =

n=0
f
(n)
(z
0
)
n!
(z z
0
)
n
Serie de Taylor
Una serie de Taylor con z
0
= 0, se llama serie
de Maclaurin.
Teorema
Si f (z) es analtica en z
0
entonces tiene rep-
resentacin en serie de Taylor para todo z dentro
un disco con centro en z
0
.
Algunas series de Taylor complejas
e
z
=

n=0
z
n
n!
sinz =

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

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

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

n=0
(1)
n
z
n
: |z| < 1
38 Serie Laurent y teorema del residuo
Serie de Laurent compleja
Sea f(z) analtica en el anillo r
1
< |z z
0
| <
r
2
. Entonces para z en este anillo,
f (z) =
n=

n=
a
n
(z z
0
)
n
,
en donde
a
n
=
1
2i
_
C
f (w)
(w z
0
)
n+1
dw
y C es cualquier circunferencia |z z
0
| = con
r
1
< < r
2
.
Anillo de Laurent
Ejemplos:
e
1
z
=

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

n=0
(1)
n
1
(2n)!
z
2n5
: 0 < |z| <
Teorema del Residuo
Clasicacin de singularidades
Si f(z) es analtica en un anillo 0 < |z z
0
| <
pero no en z
0
, decimos que f(z) tiene una sin-
gularidad aislada en z
0
.
Sea f(z) una funcin con una singularidad ais-
lada en z
0
. Si desarrollamos en serie de Laurent:
f (z) =
n=

n=
a
n
(z z
0
)
n
z
0
es:
Una singularidad removible.- Si no aparecen
potencias negativas de z z
0
en la serie de
Laurent.
Una singularidad esencial.- Si aparecen una
innidad de potencias negativas de z z
0
.
Una sigularidad polar con un polo de orden
m.- Si m es un entero positivo y (z z
0
)
m
aparece en esta serie pero no aparecen po-
tencias ms negativas (a
m1
= a
m2
= ... =
0).
Ejemplos:
Singularidad removible
sinz
z
=
n=

n=0
(1)
n
1
(2n + 1)!
z
2n
Singularidad esencial
e
1/(z1)
=
n=

n=0
1
n!
1
(z 1)
n
Polo de orden 3
1
(z +i)
3
Ceros de una funcin
Una funcin tiene un cero en z
0
si f(z) es
analtica en z
0
y f(z
0
) = 0. Decimos que una
funcin tiene un cero de orden m en z
0
si:
f(z
0
) = f

(z
0
) = ... = f
(m1)
(z
0
) = 0
pero
f
(m)
(z
0
) = 0.
Ejemplos:
z
m
tiene un cero de orden m en 0.
sin
2
(z) tiene un cero de orden 2 en .
Teorema: Sea h(z) una funcin con un cero
de orden m en z
0
. Sea g(z) una funcin analtica
en z
0
, o con una singularidad removible en z
0
y
adems
lm
zz0
g(z) = 0
entonces:
f (z) =
g(z)
h(z)
tiene un polo de orden m en z
0
.
Ejemplo
e
z
z
3
polo de orden 3 en 0.
cos z
(z i)
5
polo de orden 5 en i.
cos (z)
sin(z)
polo simple en n.
Serie Laurent y teorema del residuo 39
Residuos
Si desarrollamos a f (z) en serie de Laurent
f (z)
= ... +
a
2
(z z
0
)
2
+
a
1
(z z
0
)
+a
0
+a
1
(z z
0
) +...
Denimos al residuo de f (z) en la singulari-
dad z
0
como el coeciente a
1
en su desarrollo en
serie de Laurent.
Res
z0
f (z) = a
1
De la frmula de los coecientes de Laurent
tenemos:
a
1
=
1
2i
_
C
f (z) dz
o bien,
_
C
f (z) dz = 2ia
1
Esta ltima frmula es frecuentemente usada
para resolver la integral.
Ejemplos:
Res
1
e
1/(z1)
= 1
i cos (3z)
3z
=
i
3
1
z

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

Res
0
i cos (3z)
3z
=
i
3
Teorema del Residuo
Sea f (z) analtica en un dominio D, excep-
to en los puntos z
1
, z
2
, ..., z
n
, donde f (z) tiene
singularidades. Sea C una curva cerrada suave a
pedazos en D que encierra a z
1
, z
2
, ..., z
n
.
_
C
f (z) dz = 2i
n

j=1
Res
z
j
f (z)
C encierra a las sigularidades z
1
, z
2
, ..., z
n
Ejemplo: Si C encierra al origen. Encontrar
_
C
sen(z)
z
2
dz
tenemos que:
sen(z)
z
2
=
1
z
2

(1)
n
z
2n+1
(2n + 1)!
Res
0
sen(z)
z
2
= 1
y
_
C
sen(z)
z
2
dz = 2i
Residuos y polos
Sea f (z) con un polo de orden m en z
0
.
Res
z0
f (z) =
1
(m1)!
lm
zz0
d
m1
dz
m1
[(z z
0
)
m
f (z)]
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:
_
C
cos (z)
z
2
dz
La funcin cos (z) /z
2
tiene un polo de orden 2 en
z = 0, entonces m = 2 y
Res
0
cos (z)
z
2
=
1
(2 1)!
lm
z0
d
dz
_
(z 0)
2
cos (z)
z
2
_
= 0
entonces
_
C
cos (z)
z
2
dz = 0
Ejercicios de tarea
1. Demuestre que las siguientes series divergen
en la regin indicada
a)

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

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

n=0
e
inz
en Im(z) 0
2. Use el criterio del cociente para demostrar
que las siguientes series convergen
a)

n=0
n!e
in
2
z
en Im(z) > 0
40 Serie Laurent y teorema del residuo
b)

n=1
1
z
n
n!
en |z| > 0
3. Desarrolle en serie de Taylor y encuentre la
regin de convergencia de:
a)
1
z
, alrededor de z = 1 +i
b)
1
(z+i)
2
, alrededor de z = i
c) e
z
, 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 coecientes y el disco de con-
vergencia de:
a)
1
z
4
+1
=

n=0
c
n
(z 1)
n
b)
1
(1z)
=

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

n=0
c
n
z
n
d)
1
(1+z)
2
=

n=0
c
n
z
n
e)
z
(z1)(z+2)
=

n=0
c
n
z
n
f )
z
(z1)(z+2)
=

n=0
c
n
(z 1)
n
5. Desarrolle en serie de Laurent a:
1
z 3
en potencias de (z 1) , determine en que
regin converge.
6. Desarrolle en serie de Laurent a:
1
(z 1) (z 3)
en potencias de (z 1) , determine en que
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
z
4
cos z
9. Desarrolle en serie de Laurent y encuentre
el anillo de convergencia de:
z
4
cos
1
z
10. Desarrolle en serie de Laurent y encuentre
el anillo de convergencia de:
ze
1/(z1)
11. Calcule los residuos de:
a)
e
z
(z
2
+ 1) z
2
b)
tanz
12. Utilice expansiones en serie de Laurent para
evaluar por el mtodo de residuos a las in-
tegrales:
a)
_
|z+1+i|=4
z
3
cos
1
z
dz
b)
_
|z|=1
sinz
z
8
dz
13. Encuentre los residuos por polos e integre:
a)
_
|z6|=4
1
sinz
dz
b)
_
|z1|=
3
2
e
1/z
z
2
1
dz
c)
_
|z|=3
sinz
sinh
2
z
dz
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,
z
n+1
= z
2
n
+C
z
0
= 0
z permance acotado,

lm
n
z
n

< .
Por ejemplo si C = 1, {z
n
} = {0, 1, 2, 5, 26, . . . , }
por lo cual C = 1 no pertenece al conjunto. Por
otro lado, si C = i se tiene que
{z
n
} = {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 gracan algunos puntos del
conjunto en el plano complejo se obtiene la sigu-
iente gura.
En otros colores.
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

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).
Un campo elctrico en un espacio sin cargas
(campo elctrico).
Un campo magntico en el vaco (campo
magntico).
La presin en un medio poroso (presin).
Flujo potencial en un uido (Funcin de
corriente).
Lo anterior signica que todas estas variables,
temperatura, concentracin, etc. son funciones ar-
mnicas y entonces pueden ser parte real o imagi-
naria 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 D
1
del plano w. Sea
1
(u, v) una funcin
armnica en D
1
, es decir,

1
u
2
+

2

1
v
2
= 0
Entonces introduciendo el cambio de variables da-
do por
u(x, y) +iv (x, y) = f (z) = w
se tiene que (x, y) =
1
(u(x, y) , v (x, y)) es ar-
mnica en D, es decir,

x
2
+

2

y
2
= 0
Lo anterior signica que cuando una funcin ar-
mnica es trasformada medianto un mapeo con-
forme sta sigue siendo armnica.
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 gura siguiente.
La temperatura en la cavidad interior es de
100
0
C y la de la supercie exterior del cilndro es
de 0
0
C. La ecuacin que rige a la transferencia de
calor es:

2
T
x
2
+

2
T
y
2
= 0
Las condiciones de frontera las podemos poner en
trminos de variable compleja
T = 0 en |z| = 1
T = 100 en

z
3
10

=
3
10
El problema visto desde un punto de vista de vari-
able compleja consiste en encontrar una funcin
armnica en la regin entre |z| = 1 y

z
3
10

=
3/10 que satisfazga las condiciones de frontera an-
teriores. El mapeo
w =
z 3
3z 1
transforma a:
|z| = 1 en |w| = 1
y a

z
3
10

=
3
10
en |w| = 3
tal como se muestra en la gura anterior. En el
espacio w el problema se reduce a encontrar la
funcin armnica tal que cumpla con las condi-
ciones de frontera
T = 0 en |w| = 1
T = 100 en |w| = 3
Este ltimo problema se reduce a resolver el sigu-
iente problema

2
T
u
2
+

2
T
v
2
= 0
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

2
T

2
+r

r
_
r
T
r
_
= 0
debido a la simetra

2
T

2
= 0
d
dr
_
r
dT
dr
_
= 0
r
dT
dr
= A
T = Alnr +B
aplicando las condiciones de frontera se tiene
que
0 = Aln1 +B
100 = Aln3 +B
o bien
100 = Aln3
A =
100
ln3
B = 0
entonces
T =
100
ln3
lnr =
100
ln3
ln|w|
para regresar al espacio original
|w| =

z 3
3z 1

=
_
(x 3)
2
+y
2
(3x 1)
2
+ 9y
2
entonces la solucin es:
T =
100
ln3
lnr =
100
ln3
ln

_
_
(x 3)
2
+y
2
(3x 1)
2
+ 9y
2
_
T =
100
ln3
2
ln
_
(x 3)
2
+y
2
(3x 1)
2
+ 9y
2
_
la gura siguiente muestra la solucin en el espa-
cio original
Difusin molecular
Considere un depsito lleno de un uido en
reposo, el depsito es tan grande que puede con-
siderarse seminnito (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 disolven-
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
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
gura siguiente muestra a detalle lo anterior.
El problema matemtico anterior tiene la for-
ma:

2
C
x
2
+

2
C
y
2
= 0
sujeta a las condiciones de frontera
C (y = 0, x < 1) = 1
C (y = 0, x > 1) = 0
_
C
y
_
y=0,1<x<1
= 0
Con el mapeo
z = sinw
la regin se transforma a:
El problema en este plano es

2
C
u
2
+

2
C
v
2
= 0
Aplicacin del anlisis complejo 45
Figura 7-1
sujeta a las condiciones de frontera
C
_
u =

2
_
= 0
C
_
u =

2
_
= 1
_
C
v
_
v=0
= 0
Por simetra, en este espacio el problema se
simplica a:
d
2
C
du
2
= 0
C
_
u =

2
_
= 0
C
_
u =

2
_
= 1
es decir,
C = Au +B
aplicando las condiciones de frontera
0 = A

2
+B
1 = A

2
+B
, se obtiene: A =
1

B =
1
2
C =
u

+
1
2
necesitamos obtener a u en trminos de x e y.
Para ello,
z = x +iy = sinw = sinucoshv +i cos usinhv
o bien
x = sinucoshv
y = cos usinhv
si utilizamos que cosh
2
v sinh
2
v = 1 se ob-
tiene
x
2
sin
2
u

y
2
cos
2
u
= 1
si se tiene que cos
2
u = 1 sin
2
u
x
2
sin
2
u

y
2
1 sin
2
u
= 1
x
2
_
1 sin
2
u
_
y
2
sin
2
u =
_
1 sin
2
u
_
sin
2
u
x
2
x
2
sin
2
u y
2
sin
2
u = sin
2
u
_
sin
2
u
_
2
_
sin
2
u
_
2

_
x
2
+y
2
+ 1
_
sin
2
u +x
2
= 0
cuya solucin es:
sin
2
u =
x
2
+y
2
+ 1
_
(x
2
+y
2
+ 1)
2
4x
2
2
sinu =

_x
2
+y
2
+ 1
_
(x
2
+y
2
+ 1)
2
4x
2
2
u = sin
1
_
_
_
_

_x
2
+y
2
+ 1
_
(x
2
+y
2
+ 1)
2
4x
2
2
_
_
_
_
entonces la solucin en trminos de x y y es:
C =
u

+
1
2
C =
1
2

1

sin
1
_
_
_
_

_x
2
+y
2
+ 1
_
(x
2
+y
2
+ 1)
2
4x
2
2
_
_
_
_
5
2.5
0
-2.5
-5
5
3.75
2.5
1.25
0
1
0.75
0.5
0.25
0
x
y
z
x
y
z
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 dene como:
f =
1
T
(8.2)
una medida alternativa del nmero de repeticiones
es la frecuenca angula o circular, la cual se dene
como:
= 2f =
2
T
(8.3)
En la naturaleza existen muchas seales fsicas
de naturaleza perodica, para su estudio en inge-
niera dichas seales son almacenadas en formato
digital o analgico. Ejemplos de seales perodi-
cas se puede ver en las siguientes imgenes.
Funciones ortogonales
Algebra lineal
Sea S ={s, , +} un espacio de dimensin n en
donde esta denida una operacin interna:
s
1
s
2
(8.4)
A cualquier elemento del espacio s lo podemos
representar como:
s =
n

i=1

i
(8.5)
en donde el conjunto {
k
(t)} se llama base de S y
es linealmente independiente y ortogonal, (genera
al espacio),

i

j
_
= 0 i = j
= 0 i = j
.
Las
i
son constantes y se obtienen a partir
Series de Fourier 49
de:
s =
n

i=1

i
s
j
=
n

i=1

i

j
s
j
=
j

j

j

j
=
s
j

j

j
(8.6)
Funciones
El producto interno para funciones se dene
para el intervalo a < t < b como
f
1
(t) f
2
(t) =
_
b
a
f
1
(t) f

2
(t) dt.
Un conjunto de funciones {
k
(t)} es ortogo-
nal en un intervalo a < t < b si para dos fun-
ciones cualesquiera del conjunto
m
(t) y
n
(t),
se cumple:
_
b
a

m
(t)

n
(t) dt =
mn
r
n
,
en donde
mn
es la delta de Kronecker que se
dene como:

mn
=
_
1 si m = n
0 si m = n
. (8.7)
Denicin de la Serie de Fourier
Considere al espacio innito de funciones per-
idicas con perodo T, (f (t) = f (t +T)) y al con-
junto de funciones
{1, cos (n
0
t) , sen(n
0
t)} : n = 1, 2, ...
en donde

0
=
2
T
. (frecuencia angular)
Demostremos que el conjunto es ortogonal en
el intervalo T/2 < t < T/2.
_ T
2

T
2
(1) (1) dt = T
_ T
2

T
2
1 cos (n
0
t) dt = 0
_ T
2

T
2
1 sen(n
0
t) dt = 0
_ T
2

T
2
cos (n
0
t) sen(m
0
t) dt = 0
_ T
2

T
2
sen(n
0
t) sen(m
0
t) dt =
mn
T
2
_ T
2

T
2
cos (n
0
t) cos (m
0
t) dt =
mn
T
2
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)}:
f (t) =
1
2
a
0
+

n=1
a
n
cos (n
0
t)+

n=1
b
n
sen(n
0
t)
(8.8)
en donde los coecientes los obtenemos a par-
tir de la ecuacin (8.6)
1
2
a
0
=
_ T
2

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

T
2
(1) (1) dt
a
0
=
2
T
_ T
2

T
2
f (t) dt (8.9)
a
n
=
_ T
2

T
2
f (t) cos (n
0
t) dt
_ T
2

T
2
cos (n
0
t) cos (n
0
t) dt
a
n
=
2
T
_ T
2

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

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

T
2
sen(n
0
t) sen(n
0
t) dt
b
n
=
2
T
_ T
2

T
2
f (t) sen(n
0
t) dt (8.11)
Una representacin alternativa de la serie de
Fourier es:
f (t) = A
0
+

n=1
A
n
sen(n
0
t +
n
) (8.12)
recordando que:
A
n
sen(n
0
t +
n
) = A
n
cos (
n
) sen(n
0
t) (8.13)
+A
n
sen(
n
) cos (n
0
t)
y deniendo
b
n
= A
n
cos (
n
)
a
n
= A
n
sen(
n
)
se llega a la serie denida en la ecuacin 8.8.
50 Series de Fourier
Condiciones de Dirichlet
Una funcin f (t) se puede representar en serie
de Fourier si se cumple que:
La funcin tiene un nmero nito de dis-
continuidades en un perodo.
La funcin tiene un nmero nito de mxi-
mos y mnimos en un perodo.
La integral del valor absoluto de la funcin es
nita:
_
T/2
T/2
|f (t)| dt < .
Las condiciones de Dirichlet son sucientes pero
no necesarias, las condiciones necesarias y su-
cientes fueron encontradas por Carleson (L. Car-
leson, On convergence and growth of partial sums
of Fourier series, Acta Math. 116 (1966), 135-
157.) 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 enun-
ciar dichas condiciones est fuera del alcance de
este curso.
Aproximacin por Fourier
Sean las sumas parciales:
S
k
(t) =
a
0
2
+
k

n=1
(a
n
cos (n
0
t) +b
n
sen(n
0
t)) ,

k
(t) =

n=k+1
(a
n
cos (n
0
t) +b
n
sen(n
0
t)) ,
la funcin f (t) en trminos de S
k
(t) y
k
(t) es:
f (t) = S
k
(t) +
k
(t)
podemos aproximar a f (t) como:
f (t) S
k
(t) .
Para medir que tan buena es la aproximacin
f (t) S
k
(t) , denimos al error cuadrtico medio,
E
k
:
E
k
=
1
T
_
T/2
T/2
[
k
(t)]
2
dt
E
k
=
1
T
_
T/2
T/2
[f (t)]
2
dt
a
2
0
4

1
2
k

n=1
_
a
2
n
+b
2
n
_
si E
k
es pequeo la aproximacin es vlida.
Fenmeno de Gibbs
Cuando una funcin se aproxima por una serie
parcial de Fourier, habr un error considerable en
las vecindad de las discontinuidades.
Ejemplo
La funcin
f (t) =
_
1 < t < 0
1 0 < t <
f (t) = f (t + 2)
tiene un desarrollo en serie de Fourier:
f (t) =
4

n=1
sin[(2n 1) t]
(2n 1)
utilizando los primeros 20 trminos
f (t)
4

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

20
n=1
sin((2n1)t)
(2n1)
4 2 0 -2 -4
1
0.5
0
-0.5
-1
x
y
x
y
en este caso el error cuadrtico medio ser:
E
k
=
1
T
_
T/2
T/2
[f (t)]
2
dt
1
2

20
n=1
a
2
n
E
k
= 1
8

20
n=1
1
(2n1)
2
= 0 ,0 1013
los primeros 1000
f (t)
4

1000
n=1
sin[(2n1)t]
(2n1)
4 2 0 -2 -4
1
0.5
0
-0.5
-1
x
y
x
y
el error cuadrtico medio ser:
E
k
=
1
T
_
T/2
T/2
[f (t)]
2
dt
1
2

1000
n=1
a
2
n
E
k
= 1
8

1000
n=1
1
(2n1)
2
= 2. 0264 10
4
Series de Fourier 51
Fourier en las discontinuidades
En un punto singular t
s
la serie de Fourier
converge a
1
2
_
lm
t

t
s
f (t) + lm
t
+
t
s
f (t)
_
, (8.14)
es decir, aunque la funcin no exista en t
s
, su
desarrollo en serie de Fourier existe y su valor esta
dado por 8.14.
Teorema de Parseval
Si a
0
, a
n
y b
n
son los coecientes en la expasin
en serie de Fourier de la funcin f (t) = f (t +T) .
Entonces:
1
T
_
T/2
T/2
|f (t)|
2
dt =
a
2
0
4
+
1
2

n=1
_
a
2
n
+b
2
n
_
(8.15)
este valor representa a la potencia contenida en
la seal.
Simetras (propiedades de paridad)
Con frecuencia las simetras simplican a los
problemas matemticos. En el caso de series de
Fourier, utilizaremos a la simetra en la paridad
para simplicar el problema.
Funciones pares e impares
Una funcin es par si se cumple que
f (t) = f (t)
e impar si
f (t) = f (t)
En el caso de funciones pares el desarrollo en
serie de Fourier es:
f (t) =
1
2
a
0
+

n=1
a
n
cos (n
0
t)
y para impares
f (t) =

n=1
b
n
sen(n
0
t)
Es decir, slo se necesitan calcular a
0
y a
n
,
para funciones pares, y slo b
n
para impares.
Derivacin e Integracin de Series de Fourier
Derivacin
Sea la serie de Fourier:
f (t) =
1
2
a
0
+

n=1
[a
n
cos (n
0
t) +b
n
sen(n
0
t)]
si derivamos trmino a trmino obtenemos:
f

(t) =

n=1
n
0
[b
n
cos (n
0
t) a
n
sen(n
0
t)] .
El trmino extra que aparece al derivar, n
0
,
disminuye el grado de convergencia de la serie, lle-
gando sta incluso a diverger. Note que la deriva-
da slo esta denida en donde la funcin es con-
tinua. La derivacin en los puntos singulares se
ver ms adelante.
Integracin
Sea la serie de Fourier
f (t) =
1
2
a
0
+

n=1
[a
n
cos (n
0
t) +b
n
sen(n
0
t)]
si integramos trmino a trmino
_
f (t) dt =
1
2
a
0
t+

n=1
1
n
0
[a
n
sen(n
0
t) b
n
cos (n
0
t)]+C
El trmino extra que aparece al derivar 1/n
0
aumenta el grado de convergencia de la serie. La
integracin esta denida an en los puntos singu-
lares.
Ejemplos
Considere a la funcin
f (t) =
_
_
_
0 para < t < /2
1 para /2 < t < /2
0 para +/2 < t <
f (t) = f (t + 2)
Como es una funcin par
f (t) =
1
2
a
0
+

n=1
a
n
cos (n
0
t)
52 Series de Fourier
a
0
=
2
T
_ T
2

T
2
f (t) dt
a
0
=
2
2
_ 2
2

2
2
f (t) dt
a
0
=
1

f (t) dt
=
1

_
_
/2

0dt +
_
/2
/2
dt +
_

/2
0dt
_
=
1

_
_
/2
/2
dt
_
=
1

t|
/2
/2
=
1

[/2 (/2)]
= 1
a
n
=
2
T
_ T
2

T
2
f (t) cos (n
0
t) dt
=
1

_
2

2
cos (nt) dt
=
2
n
sen
_
n
2
_
o bien,
f (t) =
1
2
+
2

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

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

100
n=1
(1)
n
2n1
cos ((2n 1) t)
2.5 1.25 0 -1.25 -2.5
1
0.75
0.5
0.25
0
x
y
x
y
Funcin Heaviside y Delta de Dirac
Funcin Heaviside, H
La funcin escaln o heaviside est denida
por
H (t) =
_
0 para t < 0
1 para t > 0
Delta de Dirac,
La delta de Dirac es una regla de seleccin (no
es funcin) que se dene como:
(t) =
_
para t = 0
0 para t = 0
Algunas propiedades de la delta de Dirac son:
_

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

a
f (t) dt
_

(t) dt = 1
_

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


_

(t a) f (t) dt = f (a)
dH (t)
dt
= (t)
Derivacin en puntos singulares
Considere a la funcin f (t) que tiene discon-
tinuidades sbitas a
1
, a
2
, a
3
, ... en t
1
, t
2
, t
3
, ... , y
la funcin f

(t) que esta denida en todo t ex-


cepto en las discontinuidades.
Denimos a la funcin
g (t) = f (t)

k
a
k
H (t t
k
)
La funcin g (t) es continua en todas partes y su
derivada es
g

(t) = f

(t)

k
a
k
(t t
k
)
o bien,
f

(t) = g

(t) +

k
a
k
(t t
k
)
lo anterior se conoce como la derivada generaliza-
da de una funcin continua por tramos.
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
Fourier
Dada la serie de Fourier
f (t) =
1
2
a
0
+

n=1
[a
n
cos (n
0
t) +b
n
sen(n
0
t)]
podemos representar al seno y coseno en trminos
de la exponencial compleja:
cos (n
0
t) =
e
inot
+e
inot
2
sen(n
0
t) =
e
inot
e
inot
2i
lo anterior dar el siguiente resultado:
f (t) =

n=
c
n
e
in
o
t
(9.1)
en donde
c
n
=
1
T
_
T/2
T/2
f (t) e
in
o
t
dt (9.2)
adems
c
0
=
1
2
a
0
, c
n
= |c
n
| e
i
n
y c
n
= |c
n
| e
i
n
en donde:
|c
n
| =
1
2
_
a
2
n
+b
2
n
y

n
= tan
1
_

b
n
a
n
_
a |c
n
| le llamaremos amplitud y a
n
ngulo
de fase.
Espectros de frecuencia comple-
ja
En realidad c
n
es una funcin de
n
= n
0
. A
la grca discreta de |c
n
| contra
n
se le denom-
ina espectro de amplitud, esta funcin especica
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 grca de
n
contra
n
se
le denomina espectro de fase.
Serie de Fourier compleja y espectro de frecuencia 55
Contenido de potencia y teore-
ma de Parseval
Para cualquier seal peridica se dene a la
potencia promedio como:
1
T
_
T/2
T/2
[f (t)]
2
dt
el teorema de Parseval para el caso complejo
relaciona a la potencia promedio con las
amplitudes de la onda
1
T
_
T/2
T/2
[f (t)]
2
dt =

n=
|c
n
|
2
(9.3)
Ejemplo
Encontrar los espectros de frecuencia para la
funcin:
f (t) =
_
A para
1
2
d < t <
1
2
d
0 para
1
2
T < t <
1
2
d :
1
2
d < t <
1
2
T
para calcular c
n
utilizamos:
c
n
=
1
T
_
T/2
T/2
f (t) e
in
0
t
dt
=
A
T
_
d/2
d/2
e
in0t
dt
=
A
T
1
in
0
e
in0t

d/2
d/2
=
A
T
1
in
0
_
e
in
0
d/2
e
in
0
d/2
_
=
A
T
2
n
0
_
e
in0d/2
e
in0d/2
2i
_
=
A
T
2
n
0
sen
_
n
0
d
2
_
=
Ad
T
sen
_
n0d
2
_
_
n0d
2
_
y |c
n
|
|c
n
| =

Ad
T
sen
_
n0d
2
_
_
n
0
d
2
_

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


0
=
8
|c
n
| =

sen
_
n
5
_
_
n
5
_

30 25 20 15 10 5 0
1.5
1.25
1
0.75
0.5
0.25
0
nn
Espectro de amplitud
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-
cin f(t) = |t| para (, ) y f(t) = f(t +
2).
2. Graque a la funcin
f(t) =
_
0 1 < t < 0
t
2
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) = e
2t
/2, 1 t 1.
5. Graque a la funcin
f(t) =
_
0 1 < t < 0
e
t
0 > t > 1
f(t) = f(t + 2)
encuentre su desarrollo en serie de Fourier
compleja. Graque 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) = t
2
: 0 t < 2 : f(t + 2) = f(t)
b) f(t) =
_
t, 0 < t < 2
0, 2 < t < 3
: f(t +3) =
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-
tudiar funciones peridicas, por lo tanto, es nat-
ural querer extrapolar esta teora para el caso de
cualquier funcin.
Deduccin
Sea la serie de Fourier
f (t) =

n=
c
n
e
inot
con
c
n
=
1
T
_
T/2
T/2
f (t) e
in
o
t
dt y T =
2

o
combinando ambas
f (t) =

n=
_
1
T
_
T/2
T/2
f (x) e
in
o
x
dx
_
e
in
o
t
f (t) =

n=
1
2
_
_
T/2
T/2
f (x) e
inox
dx
_

o
e
inot
si hacemos T ,
o
= d 0 y n
o

. Obtenemos la identidad de Fourier.
f (t) =
_

1
2
__

f (x) e
ix
dx
_
e
it
d
si denimos
F () =
_

f (t) e
it
dt (11.1)
obtenemos,
f (t) =
1
2
_

F () e
it
d (11.2)
Transformada de Fourier
La ecuacin 11.1 sirve para denir a la trans-
formada de Fourier F :
F (f (t)) = F () (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 con-
tiene la misma informacin que f (t) .
F () = |F ()| e
i()
Integral de Fourier
Utilizando el hecho de que e
it
= cos t +
i sent las ecuaciones 11.1 y 11.2 se pueden es-
cribir como:
f (t) =
1

_

0
[A() cos (t) +B() sen(t)] d
donde
A() =
_

f (t) cos (t) dt


B() =
_

f (t) sen(t) dt
Transformada de Fourier 61
(en esta forma reciben el nombre de intergral de
Fourier) esta forma recuerda a la serie real de
Fourier.
Espectro de frecuencia continuo
A la grca de |F ()| contra se le llama
espectro continuo de frecuencia. En esta grca
se pueden observar si existen frecuencias prefer-
enciales o caractersticas en la seal.
Transformadas seno y coseno de Fourier
Si la funcin f (t) esta denida slo en el inter-
valo t [0, ) denimos a la transformada seno
de Fourier como
F
s
(f (t)) = F () =
_

0
f (t) sen(t) dt (11.5)
F
1
s
(F ()) = f (t) =
2

_

0
F () sen(t) d (11.6)
y a la transformada coseno
F
c
(f (t)) = F () =
_

0
f (t) cos (t) dt (11.7)
F
1
c
(F ()) = f (t) =
2

_

0
F () cos (t) d (11.8)
Convolucin y correlacin
Sean f
1
(t) y f
2
(t) dos funciones dadas. La
convolucin de f
1
(t) y f
2
(t), esta denida por
f (t) = f
1
(t) f
2
(t) =
_

f
1
() f
2
(t ) d
(11.9)
La funcin f (t) se conoce como la funcin de
correlacin entre las funciones f
1
(t) y f
2
(t) . La
correlacin es una medida de la similitud o inter-
dependencia de f
1
(t) y f
2
(t) como funcin de un
parmetro . La autocorrelacin se dene como
f
1
(t) f
1
(t).
Propiedades
f
1
(t) f
2
(t) = f
2
(t) f
1
(t)
[f
1
(t) f
2
(t)] f
3
(t) = f
1
(t) [f
2
(t) f
3
(t)]
f (t t
1
) (t t
2
) = f (t t
1
t
2
)
Teorema de convolucin
Si F (f
1
(t)) = F
1
() y F (f
2
(t)) = F
2
()
entonces
f
1
(t) f
2
(t) = F
1
[F
1
() F
2
()] (11.10)
F
1
() F
2
() = 2F [f
1
(t) f
2
(t)] (11.11)
Ejemplos
Transformada de Fourier
1) Encontrar F
_
te
at
2
_
y gracar su espectro
de frecuencia si a = 1.
sabemos que F
_
e
at
2
_
=
_

a
e

2
/4a
y que
F (tf (t)) = iF

()
entonces:
F
_
te
at
2
_
= i
d
d
__

a
e

2
/4a
_
F
_
te
at
2
_
=
i
2a
_

a
e

2
/4a
El espectro de frecuencia
|F ()| =

i
2

2
/4

|F ()| =
||
2

2
/4
2) Encontrar F
_
(t 1) e
a(t1)
H (t 1)
_
(t 1) e
(t1)
Heaviside (t 1)
10 7.5 5 2.5 0 -2.5 -5
0.35
0.3
0.25
0.2
0.15
0.1
0.05
0
x
y
x
y
62 Transformada de Fourier
F
_
(t 2) e
a(t2)
H (t 2)
_
= e
2i
F
_
(t) e
a(t)
H (t)
_
= e
2i
1
(i +a)
2

e
2i 1
(i+1)
2

50 37.5 25 12.5
0.5
0.375
0.25
0.125
0
x
y
x
y
3) Encontrar F
_
e
a|3t|
_
F
_
e
s|3t|
_
=
1
|3|
_
F
_
e
s|t|
__
=

3
=
1
|3|
_
2s
s
2
+
2
_
=

3
=
1
|3|
_
2s
s
2
+

2
9
_
Transformada inversa de Fourier
1) Obtener F
1
_
5
2
2
+3i
_
5F
1
_
1
(2 +i) (1 +i)
_
= 5F
1
_
1
1 +i

1
2 +i
_
= 5
_
F
1
_
1
1 +i
_
F
1
_
1
2 +i
__
= 5
_
e
t
H (t) e
2t
H (t)

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

Convolucin
1) Calcular F
1
_
5
2
2
+3i
_
utilizando el teo-
rema de convolucin
F
1
_
5
2
2
+ 3i
_
= 5F
1
__
1
2 +i
_ _
1
1 +i
__
= 5F
1
_
F
_
H (t) e
2t

F
_
H (t) e
t
_
= 5
_
H (t) e
2t
H (t) e
t

= 5
_

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

e
t
e

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

H () H(t )d
pero
H () H(t ) =
_
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
= 5e
t
_

H () H(t )d
=
_
0 si t < 0
5e
t
_
t
0
e

d si t > 0
=
_
0 si t < 0
5e
t
[1 e
t
] si t > 0
= H(t)5e
t
_
1 e
t

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

Ecuaciones diferenciales
1) Resolver a la ecuacin diferencial
y

4y = H (t) e
4t
< t <
gracar su espectro de frecuencias
aplicando la transformada de Fourier a toda
la ecuacin obtenemos
F
_
y

4y = H (t) e
4t
_
iY () 4Y () =
1
i + 4
Y () =
1
(i 4) (i + 4)
Y () =
1
(4 i) (4 +i)
Y () =
1
(4
2
+
2
)
Transformada de Fourier 63
1
(4
2
+
2
)
100 75 50 25 0
0.0625
0.05
0.0375
0.025
0.0125
x
y
x
y
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.
y = F
1
[Y ()]
= F
1
_
1
(4
2
+
2
)
_
=
1
2 (4)
F
1
_
2 (4)
(4
2
+
2
)
_
y =
1
8
e
4|t|

1
8
e
4|t|
5 2.5 0 -2.5 -5
0
-0.025
-0.05
-0.075
-0.1
-0.125
-0.15
x
y
x
y
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
Su espectro de frecuencia es:
|Y ()| =

1
(4
2
+
2
)

=
1
(4
2
+
2
)
25 12.5 0 -12.5 -25
0.05
0.0375
0.025
0.0125
ww
Uso de la computadora para transformada
de Laplace
x
2
e
x
, Fourier transform is: 2 Dirac (w i, 2)
e
aw
, Is Fourier transform of Dirac (ia x)
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 dene la transformada disc-
reta de Fourier. Con esta transformada es posible
obtener informacin de las frecuencias de la seal.
Suponga al conjunto de valores {y
0
, y
1
, ..., y
m
, ..., y
N1
}
de una funcin muestreados en los tiempos {t
0
, t
1
, ...t
m
, ..., t
N1
}
respectivamente. Donde t
m
= mt para m =
0 N 1, t
0
= 0, t
N1
= T y t =
T
N1
.
La trasformada discreta
Y
k
(f
k
) =
N1

m=0
y
m
(t
m
) e
2i
km
N
(12.1)
se puede utilizar para generar el conjunto de val-
ores {Y
0
, Y
1
, ..., Y
k
, ..., Y
N1
} para cada frecuencia
{f
0
, f
1
, ..., f
k
, ..., f
N1
} donde f
k
= kf donde
f =
fs
N
donde f
s
=
1
T
se dene como la frecuen-
cia de muestreo. La transformada inversa es:
y
m
(t
m
) =
1
N
N1

k=0
Y
k
e
2imk/N
(12.2)
La frecuencia de Nyquist se dene como
1
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 graque
a la funcin en el espacio de frecuencias
para:
a) e
c(t4)
sen(b(t 4)) H(t 4)
b)
5 cos(0t)
4+t
2
+ 2
c) e
at
2
e
i0t
d)
d
dt
_
e
3t
2
_
e) (t 3) e
4t
H (t 3)
f )
5e
3it
t
2
4t+13
2. Encuentre la antitransformada de Fourier
para
a)
a
i2
2
b)
a
i(1)2(1)
2
3. Encuentre una solucin acotada y continua
para
a)
d
2
y
dt
2
+ 3
dy
dt
+ 2y = H (t)
b)
d
2
y
dt
2
+ 3
dy
dt
+ 2y = 3 (t)
Ejercicios de Transformada de Fourier 67
68 Ejercicios de Transformada de Fourier
Parte IV
Apndices
69
Apndice A: Tabla de trans-
formada de Fourier
f (t) F () (a1)
a
1
f
1
(t) +a
2
f
2
(t) a
1
F
1
() +a
2
F
2
() (a2)
f (at)
1
|a|
F
_

a
_
(a3)
f (t) F () (a4)
f (t t
0
) F () e
it0
(a5)
f (t) e
i
0
t
F (
0
) (a6)
f (t) cos (
0
t)
1
2
F (
0
) +
1
2
F ( +
0
)
(a7)
f (t) sin(
0
t)
1
2i
F (
0
)
1
2i
F ( +
0
)
(a8)
F (t) 2f () (a9)
f
(n)
(t) (i)
n
F () (a10)
_
t

f (x) dx
1
i
F () +F (0) () (a11)
(it)
n
f (t) F
(n)
() (a12)
f
1
(t) f
2
(t) F
1
() F
2
() (a13)
f
1
(t) f
2
(t)
1
2
F
1
() F
2
() (a14)
e
at
H (t)
1
i +a
(a15)
e
a|t|

2a
a
2
+
2
(a16)
e
at
2

a
e

2
4a
(a17)
p
a
(t) =
_
1 |t| <
a
2
0 |t| >
a
2
a
sin
_
a
2
_
_
a
2
_ (a18)
sin(at)
t
p
2a
() (a19)
te
at
H (t)
1
(i +a)
2
(a20)
t
n1
(n 1)!
e
at
H (t)
1
(i +a)
n
(a21)
e
at
sin(bt) H (t)
b
(i +a)
2
+b
2
(a22)
e
at
cos (bt) H (t)
i +a
(i +a)
2
+b
2
(a23)
1
a
2
+t
2


a
e
a||
(a24)
cos (bt)
a
2
+t
2


2a
_
e
a|b|
+e
a|+b|
_
(a25)
sin(bt)
a
2
+t
2


2ai
_
e
a|b|
e
a|+b|
_
(a26)
(t) 1 (a27)
(t t
0
) e
it
0
(a28)

(n)
(t) (i)
n
(a29)
H (t) () +
1
i
(a30)
H (t t
0
) () +
1
i
e
it0
(a31)
1 2 () (a32)
t
n
2i
n

(n)
() (a33)
e
i0t
2 (
0
) (a34)
cos (
0
t) [ (
0
) + ( +
0
)] (a35)
sin(
0
t) i [ (
0
) ( +
0
)] (a36)
H (t) sin(
0
t) (a37)

2
0

2
+

2i
[ (
0
) ( +
0
)]
H (t) cos (
0
t) (a38)

i
0

2
0

2
+

2i
[ (
0
) + ( +
0
)]
tH (t) i

()
1

2
(a39)
1
t
n

(i)
n1
(n 1)!
[i 2iH ()] (a40)
_

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

F
1
() F

2
() d
(a41)
_

|f (t)|
2
dt =
1
2
_

|F ()|
2
d (a42)
_

f (t) G(t) dt =
_

F () g () d (a43)
sgn(t)
2
i
(a44)
71
Apndice B: Tabla de trans-
formada seno de Fourier
f (t) F
S
() (S1)
1
t
H ()

2
(S2)
t
r1
(r)
r
sin
_
r
2
_
: r (0, 1) (S3)
1

t

_

2
(S4)
e
at


a
2
+
2
: (a > 0) (S5)
te
at

2a
(a
2
+
2
)
2
: (a > 0) (S6)
te
a
2
t
2

4a
3
e

2
/4a
2
: (a > 0) (S7)
e
at
t
tan
1
_

a
_
: (a > 0) (S8)
t
a
2
+t
2


2
e
a
: (a > 0) (S9)
t
(a
2
+t
2
)
2
2
3/2
e
a
a
: (a > 0) (S10)
1
t (a
2
+t
2
)


2
(1 e
a
)
a
2
: (a > 0) (S11)
e
t/

2
sin
_
t

2
_


1 +
4
(S12)
2

tan
1
_
a
t
_

1 e
a

: (a > 0) (S13)
4

t
4 +t
4
e

sin (S14)
Apndice C: Tabla de trans-
formada coseno de Fourier
f (t) F
C
() (C1)
t
r1
(r)
r
cos
_
r
2
_
: r (0, 1) (C2)
e
at

a
a
2
+
2
: (a > 0) (C3)
te
at

a
2

2
(a
2
+
2
)
2
: (a > 0) (C4)
e
a
2
t
2

2a
e

2
/4a
2
: (a > 0) (C5)
1
a
2
+t
2


2a
e
a
: (a > 0) (C6)
1
(a
2
+t
2
)
2


4
e
a
(1 +a)
a
3
: (a > 0) (C7)
cos
_
x
2
2
_

2
_
cos
_

2
2
_
+ sin
_

2
2
__
(C8)
sin
_
x
2
2
_

2
_
cos
_

2
2
_
sin
_

2
2
__
(C8)
Apndice D: Referencias Bib-
liogrcas
A. David Wunsch, Variable compleja con
aplicaciones, Addison-Wesley Iberoamericana,
1997.
Hwei P. Hsu, Anlisis de Fourier, Addison-
Wesley Iberoamericana, 1987.
Peter V. ONeil, Matemticas Avanzadas para
Ingeniera, Volumen II, CECSA, 1998.
T. W. Korner, Fourier Analysis, Cambridge,
1995.
G. B. Arfken and H. J. Weber, Mathemat-
ical Methods for Physicists, Miami Univer-
sity, 2000, 5e.
72