Variable Compleja
Variable Compleja
*
L. A. N
un
ez**
Centro de Fsica Fundamental,
Departamento de Fsica, Facultad de Ciencias,
Universidad de Los Andes, Merida 5101, Venezuela y
Centro Nacional de Calculo Cientfico, Universidad de Los Andes, (CeCalCULA),
Corporacion Parque Tecnol
ogico de Merida, Merida 5101, Venezuela
Version 1.0 Octubre 2006
Indice
1. Funciones de Variable Compleja
1.1. De la recta real al plano complejo . . . . . . . . . . . . .
1.2. Continuidad en el plano complejo . . . . . . . . . . . . .
1.3. Diferenciabilidad de funciones complejas . . . . . . . . .
1.4. Funciones Analticas y Condiciones de Cauchy-Riemann
1.5. Curiosidades de Cauchy-Riemann . . . . . . . . . . . . .
.
.
.
.
.
2
2
2
3
4
5
6
6
7
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
9
9
11
5. Transformaciones conformes
12
5.1. Definiciones y propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
5.2. Algunas consecuencias y ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
* ADVERTENCIA: El presente documento constituye una gu
a inacabada y en evoluci
on para los estudiantes
de M
etodos Matem
aticos de la Fsica de la Universidad de Los Andes. Es, en el mejor de los casos, un
FORMULARIO y de ninguna manera sustituye a los lbros de texto del curso. La bibliografa de la cual han
surgido estas notas se presenta al final de ellas y debe ser consultada por los estudiantes. Es importante resaltar
que por ser un documento en evoluci
on es posible que existan versiones m
as completas y actualizadas en este
mismo sitio WEB
** e-mail: nunez@[Link]
Web: [Link]
Variable Compleja...
Formulario de M
etodos Matem
aticos 2
6. Integrales complejas
15
6.1. Algunas propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
6.2. Un par de ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
7. Teorema Integral de Cauchy
17
7.1. El Teorema y las Regiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
7.2. Algunas observaciones y el Teorema de Morera . . . . . . . . . . . . . . . . . . . . . . . . . . 18
7.3. Formula integral de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
8. Otra vez Taylor y ahora Laurent
21
8.1. Series de Taylor para funciones analiticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
8.2. Series de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
8.3. Algunos Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
9. Integracion por el metodo de los residuos
9.1. Los residuos de Laurent . . . . . . . . . . . . . .
9.2. Teorema del ResiduoR. . . . . . . . . . . . . . . .
1.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
25
25
27
28
28
28
28
un
ez 2005] introdujimos la nocion
En otro de estos formularios de Metodos Matematicos de la Fisica [N
de n
umeros complejos y la asociamos a su representacion de un vector en el plano complejo. En estas notas
ahodaremos en el tema y generalizaremos algunos conceptos de funciones complejas de variable compleja.
1.1.
La idea de funci
on de variable (o variables) reales puede ser extendida (continuada, le dicen tambien) al
plano complejo. La idea es la de siempre: si en una determinada region del plano complejo R a un n
umero
complejo z le corresponde un n
umero (o varios n
umeros) complejos w = f (z), diremos que f (z) es una
funcion de variable compleja z. Obvio que f (z) puede ser biyectiva, en cuyo caso tendremos que a z le
estara asociado uno y solo un n
umero complejo w = f (z). Es claro tambien que siempre se podra expresar
f (z) = u(x, y) + iv(x, y)
(1)
Esta representaci
on tiene una interpretaci
on adicional. Como representamos un n
umero complejo en el plano
0xy como z = x + iy, pero w = f (z) tambien podra ser representada como un punto en el plano 0uv.
Entonces, desde el punto de vista geometrico una funcion de variable compleja podra ser entendida como
una ley de transformaci
on entre pares de puntos (x, y) del plano 0xy del argumento z y los puntos (u, v) del
plano 0uv de valor w.
1.2.
Podemos tambien extender el concepto de continuidad de una funcion de variable real a una funcion
de variable compleja. Esto es: diremos que una funcion compleja1 w = f (z) sera contnua en z0 si para un
1A
Luis A. N
un
ez
Variable Compleja...
Formulario de M
etodos Matem
aticos 2
1.3.
Una vez m
as la idea es la misma y la dificultad que subyace es equivalente a las dificultades que enfrentamos en las definiciones de derivadas para funciones de varias variables. Diremos entonces que una funcion
f (z) univaluada en una regi
on R entonces f (z) sera diferencialble en esa region si la derivada
lm
z0
existe y es u
nica. Una vez m
as, el concepto de lmite (y con este el de derivada), como en el caso de las
funciones de varias variables, debe existir sin importar la ruta o forma de aproximacion al punto sobre el
cual estamos calculando la derivada. Esto es
f (x)y=0 = lmx0
x
z 0 x+iy 0
f 0 (x)x=0 = i lmy0
y
Un par de ejemplos que ilustran este caso pueden ser f (z) = x2 y 2 + 2ixy
f (z + z) f (z)
(x + x)2 (y + y)2 + 2i(x + x)(y + y) x2 + y 2 2ixy
= lm
z0
x,y0
z
x + iy
f 0 (z) = lm
f 0 (z) = lm
Ahora bien, las cosas no siempre son as. Si consideramos f (z) = 2x + iy es rapido comprobar que no es
diferenciable en el plano complejo, ya que
f 0 (z) =
lm
x,y0
2x + 2x + i(y + y) 2x iy
2x + iy
= lm
x,y0 x + iy
x + iy
el cual, claramente no coincide si las direcciones de aproximacion a z0 = x0 + iy0 son distintas, vale decir,
por ejemplo y = 0; x 0 o x = 0; y 0.
Luis A. N
un
ez
Variable Compleja...
Formulario de M
etodos Matem
aticos 2
Como heredamos todas las ideas y metodos del campo real se cumplen todas las reglas de la derivacion
para funciones reales. Vale decir
d
df (z) dg(z)
(f (z) + g(z)) =
+
;
dz
dz
dz
1.4.
d
df (z)
dg(z)
(f (z)g(z)) =
g(z) + f (z)
;
dz
dz
dz
d
df (g) dg(z)
(f (g(z)) =
dz
dg
dz
(u(x, y + y) u(x, y)) + i (v(x, y + y) v(x, y))
u(x, y) v(x, y)
= lmy0 i
+
y
y
y
lm
x0
u(x, y)
v(x, y)
+i
x
x
= lm
y0
u(x, y) v(x, y)
+
y
y
y equivalentemente
f 0 (x)y=0 = f 0 (x)x=0
u(x, y)
v(x, y)
u(x, y) v(x, y)
+i
= i
+
x
x
y
y
Con ello hemos encontrado las condiciones necesarias para que una funcion compleja sea analtica: Las
condiciones de Cauchy Riemann
v(x, y)
u(x, y)
=
x
y
v(x, y)
u(x, y)
=
x
y
(2)
=0=
= 1 6= 2 =
v(x, y) = y
x
y
x
y
Para el caso f (z) = x2 y 2 + 2ixy se cumplen las condiciones de Cauchy-Riemann
v(x, y)
v(x, y)
u(x, y)
u(x, y)
u(x, y) = x2 y 2
= 2x =
= 2y =
v(x, y) = 2xy
x
y
x
y
pero como esas condiciones son necesarias porque para encontrarlas hemos seleccionado un par de rutas
muy especficas: y = 0; x 0 y x = 0; y 0, se requiere exigir algunas condiciones adicionales. Sin
demostracion (puede consultar para detalles y demostraciones detalladas las referencias [Byron y Fuller 1970,
Churchill y Brown1989, Knopp 1996]) exigiremos como condicion necesaria y suficiente para que una funcion
sea analtica que las cuatro derivadas parciales para u(x, y) y v(x, y), existan, sean contnuas en la region R
y que se cumplan las condiciones de Cauchy-Riemann. El punto crucial (adicional) es que las derivadas sean
contnuas.
Luis A. N
un
ez
Variable Compleja...
Formulario de M
etodos Matem
aticos 2
Ejercicio Como ejercicio al lector le sugerimos investigar los dominios del plano complejo para los cuales
las funciones f (z) = |x| i|y| y f (z) = |z|2 = zz son analticas
1.5.
Curiosidades de Cauchy-Riemann
Las funciones analticas satisfacen algunas propiedades adicionales consecuencias las condiciones de
Cauchy-Riemann.
La primera es que dada una funci
on compleja generica f (z) = u(x, y) + iv(x, y), si f (z) es analitica,
u(x, y) y v(x, y) ser
an funciones arm
onicas conjugadas, 2 u(x, y) = 2 v(x, y) = 0, i.e. satisfacen la ecuacion
de Laplace. Si derivamos apropiadamente las ecuaciones (2) respecto a una y otra variable encontramos que
u(x, y)
v(x, y)
v(x, y)
u(x, y)
2 u(x, y) 2 u(x, y)
+
=0
=
=
=
x
x
x
y
y
x
y
y
x2
y 2
y equivalentemente
v(x, y)
u(x, y)
u(x, y)
v(x, y)
=
=
=
x
x
x
y
y
x
y
y
2 v(x, y) 2 v(x, y)
+
=0
x2
y 2
es decir, hemos demostrado que las partes reales e imaginarias de una funcion analtica son necesariamente
armonicas. La importancia de este resultado radica, en primer lugar, que no son arbitrarias las funciones
u(x, y) y v(x, y) con las cuales construimos f (z). Ambas deben satisfacer la ecuacion de Laplace. En segundo
lugar que ambas est
an ligadas por las condiciones de Cauchy-Riemann, y esto implica que al conocer una
de las funciones arm
onicas conjugadas, siempre es posible encontrar (salvo una constante de integracion) la
otra. Para ilustrar lo anterior, supongamos la siguiente funcion armonica conjugada u(x, y) = 2x x3 + 3xy 2
correspondiente a la parte real de f (z). Es facil comprobar que es una funcion armonica, ahora construyamos
la parte imaginaria v(x, y). Esto es
u(x, y) = 2x x3 + 3xy 2
u(x, y)
v(x, y)
=
= 2 3x2 + 3y 2
x
y
entonces
v(x, y)
(x)
u(x, y)
= 6xy+
= 6xy =
x
x
y
(x)
= 0 (x) = C
x
La segunda curiosidad consecuencia de las ecuaciones (2) es que para una funcion compleja generica
f (z) = u(x, y) + iv(x, y) en la cual ademas se cumpla que u(x, y) = const y v(x, y) = const entonces se
cumplira que u(x, y) v(x, y) = 0.
u(x, y)
u(x, y)
v(x, y)
v(x, y)
u(x, y) v(x, y) u(x, y) v(x, y)
u(x, y)v(x, y) =
i+
j
i+
j =
+
x
y
x
y
x
x
y
y
y por obra de las condiciones de Cauchy-Riemann es inmediato comprobar que se anulan
u(x, y) v(x, y) =
Es decir, u(x, y) = const y v(x, y) = const, corresponden a trayectorias mutuamente ortogonales. Esta
curiosidad nos permite construir sistemas de coordenadas alternativos en el plano complejo y, sobre todo saber como establecer su transformaci
on a otros planos complejos. Esto se representa en la figura 2 y
sera considerado en la secci
on 5 de la p
agina 12.
Luis A. N
un
ez
Variable Compleja...
Formulario de M
etodos Matem
aticos 2
La tercera curiosidad es un resultado el cual, siendo una formalidad, nos indica que las funciones analticas
f (z) dependen de z y no de su conjugado z . O dicho de otra manera que z y z son variables independientes.
(z)
Para demostrar esto procedemos a demostrar si f (z) = u(x, y) + iv(x, y) y f (z) analtica, entonces f
z = 0.
Sin detenernos a pensar en el significado de la derivada respecto a la variable conjugada, recordamos que
operacionalmente
z + z
x=
2
f (z) x f (z) y
1 u(x, y)
v(x, y)
1 u(x, y)
v(x, y)
f (z)
=
+
=
+
i
+
i
z
x z
y z
2
x
x
2i
y
y
z z
y=
2i
arreglando tendremos que es inmediato comprobar que se anula si se cumplen las condiciones (2)
f (z)
1 u(x, y) v(x, y)
i u(x, y) v(x, y)
z + z z z
=
+
+
= 0 f (z) 6 f (x, y) = f
,
z
2
x
y
2
y
x
2
2i
en otras palabras, la funciones analticas son verdaderas funciones de variable complejas y no, como pudiera
parecer, de dos variables reales interpuestas.
Ejercicios
1. Determine la funci
on f (z) analtica cuya parte imaginaria es (y cos y + xsen z)ex
2. Muestre que si f (z) es analtica entonces f (z ) tambien lo es.
2.
En otros de los Formularios de Metodos Matematicos incursionamos en el terreno de las series de potencias
en variables reales [N
un
ez 2006]. En esta seccion generalizaremos la idea a series de potencias en variable
compleja z. Esta generalizaci
on se conoce como prolongacion o continuacion (analtica) de una funcion
real al plano complejo. Entonces2
f (z) =
an z n
n=0
X
n=0
an rn ein
an z n es absolutamente convergente si
n=0
(3)
n=0
de (3) P
es que siempre es posible asociarle a una serie de potencias complejas, n=0 an z n , una de potencias
2.1.
Luis A. N
un
ez
Variable Compleja...
Formulario de M
etodos Matem
aticos 2
|z| < R =
an+1
an+1 z n+1
= |z| lm
entonces, en las regiones
|z| > R =
lm
n an
n an z n+1
|z| = R =
un punto z0 .
converge
diverge
indeterminado
Por lo tanto, cuando R = la serie converge en todo punto y en contraste si R = 0, solo converge en el
origen. Por su parte si R = R0 la serie converge en una region (un crculo) del plano complejo de radio R0
centrada en z0 = 0.
Entonces se puede analizar el comportamiento de series complejas utilizando el criterio del cociente de
Dalembert,
X
n!
zn
= lm 1 = 0 = 1
lm
R converge z C
n n + 1
n (n + 1)!
n!
R
n=0
igualmente
n(1 + i)n+1
(1 + i)n
= |1+i| lm n = 2 lm n R = 1 |z| = 2 > 1 = R
lm
n
n (n + 1)(1 + i)
n n + 1
n n + 1
n
n=0
y por lo tanto esta serie diverge. Es claro que esta serie u
nicamente convergera para |z| < 1
2.2.
P
Dentro del crculo de convergencia la funcion f (z) = n=0 an z n estara bien definida y disfrutara de las
propiedades ideales para una funci
on bien comportada. Es decir
P
P
P
1. La espansi
on f (z) = n=0 an z n es u
nica. Vale decir que si existen dos series n=0 an z n y n=0 bn z n ,
convergentes para |z| < R y tienen la misma suma para un entorno de z. Entonces, necesariamente
an bn .
2. La funci
on f (z) tambien podr
a ser expandida alrededor
cualquier otro punto zp contenido en el
Pde
an z n
n=0
Luis A. N
un
ez
X
df
= f 0 (z) =
n an z n1
dz
n=1
n=0
f 0 (zp ) =
n an zpn1
(4)
n=1
Variable Compleja...
Formulario de M
etodos Matem
aticos 2
P
P
4. Como f (z) = n=0 an z n y f 0 (z) = n=1 n an z n1 tienen el mismo radio de convergencia, podemos
aplicar k veces la afirmaci
on anterior y obtendremos
f 0 (z) =
n an z n1
f k (zp ) =
n=1
para zp = 0 ak =
n=k
f k (0)
k!
X
f n (0) n
f (z) =
z
n!
n=0
Con esta u
ltima afirmaci
on se cierra la idea que nos hacemos de una funcion bien comportada o analtica. Es una funci
on infinitamente contnua y contnuamente diferenciable, la cual puede ser expandida
en series de Taylor. Si bien los fen
omenos fsicos no requieren, necesariamente, ser descritos por este
tipo de funciones, debido a sus notables propiedades han resultado ser una de las mas estudiadas en
Matematicas [Aleksandrov Kolmogorov y Lavrentiev 1999]. Mas adelante, en la seccion 8 revisaremos
estos conceptos a luz de la Formula Integral de Cauchy.
Los detalles de estas afirmaciones que son teoremas se pueden consultar en [Knopp 1996].
3.
Con todos los ingredientes anteriores, la primera funcion candidata para una continuacion analtica es la
funcion exponencial. Es decir
ez = 1 + z +
z2
z3
z4
zn
+
+
+ +
+
2
3!
4!
n!
(5)
Como ejercicio puede ser interensante demostrar que ez1 ez2 = e(z1 +z2 ) . Vale decir
z12
z1n
z22
z2n
z1 z2
e e = 1 + z1 +
+ +
+
1 + z2 +
+ +
+
2
n!
2
n!
con un poco de
algebra y orden podremos rearreglar la expresion de la forma
2
z
z2
z1 z2
z2
z n1 z2
z n2 z22
z1 z2n1
zn
z
zn
1
+
+ 2 ++ 1 + 1
+ 1
++
+ 2
ez1 ez2 = 1 +
+ 1 +
1!
1!
2!
1! 1!
2!
n! (n 1)! 1! (n 2)! 2!
1! (n 1)! n!
y mejor a
un
2
z
z2
z1 z2
z22
n!
1
n!
z1
1
n1
n1
n
z1 z2
n
+
+
+
+
z
z2 + +
z1 z
+ z2
e e = 1+
+ +
z +
1!
1!
2!
1! 1!
2!
n! 1
(n 1)!1! 1
1!(n 1)! 2
que no es otra cosa que la expansi
on binomial con lo cual hemos demostrado que ez1 ez2 = e(z1 +z2 ) . Adicionalmente, con la expansi
on en serie (5) podemos hacer un par de extensiones inmeditas: az = ez ln a
y
para z = iy eiy = cos y + isen y ez = ex+iy = ex (cos y + isen y)
(6)
Notese que, como era de esperarse en general z = |z|ei , entonces la funcion f (z) = ez 6= 0 z y tiene un
perodo 2i, vale decir: f (z) f (z + 2i). Con lo cual es inmediado e2 = cos 2 + isen 2 A partir de la
construccion (5), se definen las funciones hiperbolicas y trigonometricas
cosh z =
1 z
e + ez ;
2
Luis A. N
un
ez
senh z =
1 z
e ez
2
cos z =
1 iz
e + eiz ;
2
sen z =
1 iz
e eiz
2i
(7)
8
Variable Compleja...
Formulario de M
etodos Matem
aticos 2
u = ln |z|
e = |z|
ew = eu+iv = eu eiv = |z|ei = z
w = Ln z = ln |z| + i( + 2n)
v=
Es decir para un determinado valor de n es univaluada, en particular para n = 0 la funcion f (z) = Ln z
tiene como el valor principal ln z = ln |z| + i con < . Es inmediato comprobar que los logaritmos
de n
umeros complejos negativos si est
an definidos. Esto es
Ln 7 Ln | 7|e+2n = ln 7 + i( + 2n) ln(7) = ln 7 + i un n
umero complejo !
Ejercicios
1. Muestre que si definimos f (z)ez como aquella funcion que derivada es ella misma, que se reduce a la
funcion de variable real ez ex si Im z = 0 y la cual, por ser analtica, cumple con la condiciones de
Cauchy-Riemann, entonces ez = ex+iy = ex (cos y + isen y)
2. Muestre que a partir de las definiciones (7) se obtienen las sempiternas propiedades de esas funciones,
vale decir
cos z = cos(z);
d cos z
= sen z
dz
d sen z
= cos z
dz
1
3. Muestre que arctan z =
ln
2i
4.
1 + zi
1 zi
y luego u
selo para evaluar arctan
2 3 3i
7
4.1.
Visto as nos tendremos que preguntar ahora cual fue el circuito que recorrimos con z, y dependiendo de ese
circuito identificaremos algunos puntos con caractersticas distintas. Si el circuito cerrado descrito por z no
contiene el punto z = 0, la funci
on f (z) = z 1/2 retoma su valor original (ver Figura 1 cuadrante superior
Luis A. N
un
ez
Variable Compleja...
Formulario de M
etodos Matem
aticos 2
izquierdo contorno C1 ). Pero si, como se aprecia en la misma Figura 1, el circuito cerrado C2 si contiene
el punto z = 0 entonces la funci
on no retoma su valor original, f (z) f (z). Tambien es claro que si el
circuito cerrado lo recorremos dos veces 4 entonces f (z) = z 1/2 retoma su valor inicial. Los puntos
alrededor de los cuales se construye un circuito cerrado en el diagrama de Argand y la funcion no retoma su
valor inicial se denominan puntos de corte y las lneas de corte (o simplemente cortes seran aquellas lneas
que separan regiones en las cuales una determinada funcion es univaluada. Es claro que los puntos de corte
son puntos singulares, en los cuales la funcion deja de ser analtica y existiran si toma, valores 0 2n.
Es decir, puede dar n vueltas.
En este caso, para nuestra funci
on f (z) = z 1/2 , la lnea de corte sera cualquiera que comience en z = 0
y contin
ue para |z| . Por simplicidad es costumbre tomar las lneas de corte a lo largo de los ejes reales
o complejos. De este modo aparece ilustrado en la Figura 1 cuadrante superior derecho la lnea de corte que
sigue el eje positivo de las x.
La situaci
on se torna m
as interesante cuando estas definiciones se analizan a la luz de funciones con mas
de un punto de corte. Consideremos la funcion
q
p
p
f (z) = z 2 + 1 f (z) = (z i)(z + i) (r1 ei1 ) (r2 ei2 ) = r1 r2 ei1 /2 ei2 /2 = r1 r2 ei(1 +2 )/2
analicemos entonces, varios contornos en el plano de Argand. Otra vez la Figura 1 ilustra en el cuadrante
inferior los distintos contornos C1 , C2 , C3 y C4 Tal y como se aprecia en esa figura, se dan cuatro caso
1. Contorno C1 no incluye ning
un punto de corte, entonces 1min 1 1max y 2min 2 2max ,
con lo cual f (z) retoma su valor inicial luego de recorrer el C1
2. Contorno C2 incluye z = i como punto de corte, entonces 0 1 2n y 2min 2 2max , por lo
cual f (z) f (z)
3. Contorno C3 incluye z = i como punto de corte, entonces 1min 1 1max y 0 2 2n, por lo
cual f (z) f (z)
Luis A. N
un
ez
10
Variable Compleja...
Formulario de M
etodos Matem
aticos 2
4.2.
Los puntos de corte son sigularidades, esto puntos en los cuales la funcion f (z) deja de ser analtica.
Pero tambien singulariades aisladas aquellos puntos en los cuales la funcion no es analtica pero en todos los
puntos en su entorno lo es (los puntos de corte no son singularidades aisladas). Una singularidad aisladas de
orden n en el punto z = z0 tendr
a la forma
f (z) =
g(z)
(z z0 )n
lm [(z z0 )n f (z)] = l
zz0
1
2z
1
=
1z
1+z
(1 z)(1 + z)
senh z
exp z exp(z)
=
cosh z
exp z + exp(z)
1
2
es un polo
i y al utilizar la definicion
!
z n + 21 i cosh z + senh z
=1
senh z
1
2
i es un polo simple
Existe otro tipo de singularidades conocidas como removibles. Estas singularidades se caracterizan porque
el valor de f (z) 0/0 cuando z z0 . El caso mas emblematico es la funcion
1
z3
z5
z2
z4
sen z
f (z) =
z
+
= 1
+
lm f (z) = 1
f (z) =
z0
z
z
3!
5!
3!
5!
con lo cual, luego de desarrollar por Taylor la funcion sen z, se ha removido la singularidad aparente.
Luis A. N
un
ez
11
Variable Compleja...
Formulario de M
etodos Matem
aticos 2
5.
Transformaciones conformes
Nos interesar
a ahora considerar transformaciones entre planos complejos. Esto es
z = x + iy
5.1.
w = r + is
Definiciones y propiedades
Es decir, son transformaciones entre puntos (x, y) (r, s) correspondientes a dos diagramas de Argand, de
tal modo que existe funci
on inversa funci
on z = h(g(z)) y con w = g(z) y z = h(w) funciones analticas, salvo
en un n
umero finito de polos aislados. Entonces denominaremos a este tipo de transformaciones conformes
si ademas, en todo punto z y w (excepto en aquellos en los cuales g 0 (z) y por lo tanto h0 (w) son cero o
infinita) cumple con
Curvas contnuas en el plano z transforman en curvas contnuas en el w
Los angulos entre dos curvas cualesquiera que se intersecten en el plano z seran los mismos que los que
formen las curvas transformadas en el plano w. Esto es los angulos entre las curvas seran invariantes
bajo la transformaci
on3
El cambio de escala en la vecindad de puntos transformados es independiente de la direccion en la cual
se mida.
Cualquier funci
on analtica en z = x + iy transforma en otra funcion w = r + is tambien analtica
La segunda de las afirmaciones es inmediata a partir de la primera. Es decir, si una transformacion conforme
de coordenadas tienen inversa y ambas s
on analticas, es obvio que curvas contunas C(z) seran transformadas
Luis A. N
un
ez
12
Variable Compleja...
Formulario de M
etodos Matem
aticos 2
Supongamos adem
as que estas curvas se intersectan en un punto z = z0 . Entonces, sobre las tangentes a
cada curva, en z0 , definimos otros dos puntos z1 y z2 de tal forma que
z1 z0 = ei1
w1 w0 = 1 ei1
z2 z0 = ei2
w2 w0 = 2 ei2
Notese que hemos construido los puntos z1 y z2 sobre las tangentes a z0 a la misma distancia de z0
y, en principio, hemos supuesto que las distancias a los puntos transformados w1 y w2 (las cuales hemos
identificado como 1 y 2 , respectivamente), no son iguales. Ahora bien, dado que w = g(z) es analtica
entonces
dw
w1 w0
w2 w0
1
2
dg(z)
=
= lm
= lm
g 0 (z0 ) = lm
exp i(1 1 ) = lm
exp i(2 2 )
z1 z0 z1 z0
z2 z0 z2 z0
0
0
dz
dz
z=z0
z=z0
Es claro que al comparar las magnitudes y las fase demostramos que las transformaciones conformes preservan
las distancias, 1 = 2 , y los
angulos (2 1 ) = (2 1 ). Adicionalmente, es muy facil convecerse que si la
transformacion conforme conserva los
angulos entre curvas y las escalas en todas direcciones las figuras son
transformadas en figuras equivalentes quiza ampliadas y rotadas, pero no deformadas.
5.2.
Las consecuencias de la u
ltima afirmacion revisten alguna importancia. Si f = f (z) es analtica en el
plano (x, y) y la transformaci
on z = h(w) tambien lo es, entonces la funcion F (w) = f (h(w)) necesariamente
es analtica en el plano (r, s).
F
f h
f h
=
w
h w
z w
Por hipotesis supusimos que f y h er
an analticas, por lo cual es inmediato concluir que debido a que los dos
factores de la derecha son analticos, la funcion F (w) tambien lo sera.
Luis A. N
un
ez
13
Variable Compleja...
Formulario de M
etodos Matem
aticos 2
Figura 3: Tranformaciones conformes. Cuadrante superior representa las conservacion de angulos y escala
bajo transformaciones y el inferior un ejemplo de transformaciones conforme
Esto implica que, tal y como mostramos en la seccion 1.5 si f (z) = u(x, y)+iv(x, y), es analitica, entonces
u(x, y) y v(x, y) ser
an funciones arm
onicas conjugadas, vale decir que satisfacen la ecuacion de Laplace, con
lo cual 2 u(x, y) = 2 v(x, y) = 0. Eso significa que si F = (w) + i(w). En otras palabras,
2
2
2
2
+ 2 =0
+
=0
x2
x2
y
y 2
F = + i
f = + i
2
2
2
2
+ =0
+ =0
2
2
2
2
x
y
x
y
Esto impone que si <f (z) = es constante en el plano (x, y), tambien lo sera <F (w) en (r, s) ( Demuestrelo
!). Esta propiedad deriv
o una serie de aplicaciones en la solucion de la ecuacion de Laplace en dos dimensiones.
Si bien es una tecnica elegante y u
til cuando es posible, no deja de ser limitada porque se restringe a 2D.
Hoy los metodos numericos para resolver ecuaciones diferenciales en derivadas parciales han superado con
creces este tipo de tecnicas.
Los ejemplos son variados.
las siguientes transformaciones representan
traslaciones: w = z + b;
expansiones de escala a : w = az
< |w| 1
1 |z|
0 < |w| 1
14
Variable Compleja...
Formulario de M
etodos Matem
aticos 2
z z0
Un caso m
as interesante lo constituye la transformacion w = e
, la cual transforma los
z z0
puntos z0 del semiplano superior complejo y > 0 al interior de un crculo unidad en el wplano (ver
figura 3 en la p
agina 14). Para convencernos de ello notamos que
i z z0 z z0
=
|w| = e
z z0 z z0
i
6.
Integrales complejas
Como siempre, luego de definir la derivada, construimos el concepto de integral a partir de la suma de
Riemann. Esto es
Z z2
n
n
X
X
Sn =
f (j )(zj zj1 ) si n |zj zj1 | 0 lm
f (j )(zj zj1 ) =
dz f (z)
j=1
j=1
z1
15
Variable Compleja...
6.1.
Z
Formulario de M
etodos Matem
aticos 2
Algunas propiedades
Es claro que esta integral es, necesariamente, una integral de lnea, ya que z tiene dos dimensiones
Z z2
Z x2 ,y2
Z x2 ,y2
z2
dz f (z) =
(dx + idy) (u(x, y) + iv(x, y)) =
(u(x, y)dx v(x, y)dy)+i
(v(x, y)dx + u(x, y)dy)
z1
z1
x1 ,y1
x1 ,y1
(8)
con lo cual transformamos una integral compleja en una suma de integrales reales, pero necesitamos definir
el contorno a traves del cual vamos de z1 = x1 + iy1 z2 = x2 + iy2
La integraci
on compleja tendr
a las propiedades acostumbradas
R
R
R
dz (f (z) + g(z)) = C dz f (z) + C dzg(z)
C
R
R
dz Kf (z) = K C dz f (z) con K una constante real o compleja
C
Rb
Ra
dz f (z) = b dz f (z)
a
Rb
Rm
Rb
dz f (z) = a dz f (z) + m dz f (z)
a
R
dz |f (z)| M L donde M = m
ax |f (z)| y L la longitud de C
C
Esta u
ltima propiedad es importante porque permite establecer cotas a las integrales complejas sin tener que
evaluarlas. De la definici
on de integral es casi inmediata la demotracion
X
X
Z z2
n
n
n
X
X
n
|zj | M L
|f (j )| |zj | M
f (j )zj =
f (j )zj
lm
dz f (z)
n
z1
j=1
j=1
j=1
j=1
Donde hemos utilizado que |f (j )| M y que la suma de los intervalos zjR= zj zj1
esR la longitud L del
recorrido C. Es claro que tomando lmites a ambos miembros obtendremos C dz f (z) C dz |f (z)| M L
6.2.
Un par de ejemplos
Por ejemplo, evaluemos la integral compleja f (z) = z 1 a lo largo de diferentes contornos, tal y como se
ilustran en la figura 4
un circuito cerrado a lo largo de una circunferencia de radio R
I
I
Z
dz z 1 d(Rei ) R1 ei = i
d = 2i
dz z 1 =
(R,)
z1 =(R,0)
d(Rei ) R1 ei = i
(R,0)
d = i
0
siguiendo dos lneas rectas entre los puntos (R, 0) (0, R) (R, 0). En este caso, procedemos
utilizando la expresi
on cartesiana para los n
umeros complejos. Para ello, vamos a parametrizar z = z(t)
para (R, 0) (0, R) y z = z(s) cuando (0, R) (R, 0). Veamos
Z
z3 =(R,0)
z1 =(R,0)
Luis A. N
un
ez
dz z 1 =
z2 =(0,R)
z1 =(R,0)
dz z 1 +
z3 =(0,R)
dz z 1
z2 =(0,R)
16
Variable Compleja...
Formulario de M
etodos Matem
aticos 2
con 0 t 1
z2 =(R,0)
z1 =(R,0)
dz
=
z
Z
0
z = sR + i(1 s)R
1 + i
dt
+
1 + t(1 + i)
ds
0
con 0 s 1
1 i
i + s(1 i)
1
(1 + i)dt
1
= ln(1 2t + 2t2 )0 + i arctan
(1 t) + it
2
1
2
1
2
1
= 0 + i
=
2 2
2
2
0
dz
(z z0 )n+1
Z
0
Riei d
i
= n
n+1
i(n+1)
R
R
e
d ein
n=0:
n 6= 0 :
R 2
0
i
Rn
d = 2i
R 2
0
d (cos n isen n) = 0
donde hemos utilizado la forma polar z z0 Rei e integrado a lo largo de una circunsferencia de
radio R centrada en z = z0
7.
7.1.
El teorema integral de Cauchy es uno de los dos teoremas basicos en la teora de funciones de variable
compleja. Este teorema considera que si f (z) es analtica en una region simplemente conexa, R, en su
contorno C y su derivada f 0 (z) existe y es contnua en esta region4 , entonces la circulacion a lo largo de
cualquier contorno cerrado C se anula. Esto es
I
dz f (z) = 0
C
4 Esta
u
ltima condici
on no es necesaria, pero la demostraci
on del Teorema se torna mucho m
as sofisticada, y referimos al
lector a los libros especializados, vale decir a las referencias [Churchill y Brown1989, Knopp 1996]
Luis A. N
un
ez
17
Variable Compleja...
Formulario de M
etodos Matem
aticos 2
Antes que nada, y como parte de ese adiestramiento en lenguaje, precisaremos que queremos decir (que quieren decir los matem
aticos) con regiones simplemente conexa y m
ultiplemente conexa
Una region simplemente conexa es aquella que no tiene huecos, o dicho de una manera mas precisa
y elegante, en la cual una curva puede ser reducida (encogida) a un punto sin salir de la region R. En
la figura 5 cuadrante Ia se muestra una region simplemente conexa y en los cuadrantes Ib y Ic regiones
multiplemente conexas. Estas dos u
ltimas figuras clarifican este concepto. Es decir, una regi
on m
ultiplemente
conexa es aquella que no es simplemente conexa y con eso queremos decir que tiene huecos, o lo que es lo
mismo existen curvas que no se pueden reducir a puntos en la region.
Tal y como hemos comentado la demostracion rigurosa del Teorema de Cauchy esta fuera de los alcances
de estas notas, pero algo se puede hacer si invocamos el Teorema de Stokes (o uno de los Teoremas de Green
en el plano) que vimos cuando estudiamos analisis vectorial. Con ello recordamos la ecuacion (8), entonces
Z z2
Z x2 ,y2
Z x2 ,y2
dz f (z) =
(u(x, y)dx v(x, y)dy) + i
(v(x, y)dx + u(x, y)dy)
z1
x1 ,y1
x1 ,y1
Z
dxdy
R
p
q
+
x y
I
(pdy qdx)
=
C
7.2.
De la anterior demostraci
on del Teorema de Cauchy Riemann emergen algunas observaciones
Luis A. N
un
ez
18
Variable Compleja...
Formulario de M
etodos Matem
aticos 2
La primera es la insistencia de que la condicion que la derivada f 0 (z) existe y es contnua en esta region
no es necesaria.
La segunda es que el Teorema de Cauchy Riemann, es valido tambien para regiones m
ultiplementes
conexas. Consieremos una regi
on como la descrita en la figura 5 cuadrante II, es claro que podemos
circular la integral en los siguientes contornos
I
Z
Z
Z
Z
Z
dz f (z) =
dz f (z)
dz f (z)+
dz f (z)+
dz f (z)+
dz f (z) = 0
C
ABDEAF GHF A
y como
ABDEA
AF
F GHF
FA
AF
I
dz f (z) +
C1
F GHF
dz f (z) = 0
C2
C2
C1
C2
Es decir, que si f (z) es analtica en una region R, da igual cualquier recorrido por las fronteras de una
region y el valor de la integral permanecera inalterado.
Mas a
un este resultado puede extenderse a regiones con n huecos de tal forma que, tal y como ilustra
en en la figura 5 cuadrante III
I
n I
X
dz f (z)
dz f (z) =
C1
j=1
Cj
Con lo cual estamos afirmando que, dada una region que contiene un n
umero finito ( numerable ?) n
de singularidades, la integral a lo largo del contorno que encierra la region R es equivalente a la suma
de las integrales que encierran cada una de las n singularidades.
Enunciaremos sin demostraci
on el Teorema de Morera5 , tambien conocido como el teorema inverso de Cauchy.
Teorema
de Morera: Si una funci
on f (z) es continua en una region R encerrada por un contorno C y
H
dz
f
(z)
=
0
entonces
f
(z)
es
anal
tica
en R
C
Ejemplo: Considere la funci
on definida en una region R
1
z0 fuera de la region R
f (z) =
con
z0 dentro de la region R
z z0
Si z0 est
a fuera de la regi
on, entonces f (z) esa analtica en R, con lo cual el Teorema de Cauchy
implica que
I
dz f (z) = 0
C
5 Pueden
consultar la demostraci
on en la referencia [Arfken, Weber y Weber 2000]
Luis A. N
un
ez
19
Variable Compleja...
Formulario de M
etodos Matem
aticos 2
Si z0 est
a dentro de la regi
on, entonces f (z) no es analtica en R por cuanto existe una singularidad
z = z0 . Si consideramos C el contorno que bordea a R, como una circunsferencia centrada en z = z0 y
otra circunsferencia que aisla a z0 con un radio |z z0 | = (esta situacion se ilustra en la figura 6
cuadrante I). Entonces, si hacemos z z0 = z = ei el Teorema de Cauchy implica
I
C
7.3.
dz
=
z z0
dz
=
z z0
Z
0
iei d
=i
ei
d = 2i
0
F
ormula integral de Cauchy
El ejemplo de la secci
on anterior nos lleva a una de las expresiones mas u
tiles e importantes del analisis
complejo: La F
ormula Integral de Cauchy la cual dice que si f (z) es analtica en una region R encerrada por
un contorno C y consideramos un punto z = z0 contenido en esa region, entonces
I
f (z) dz
1
= f (z0 )
2i C z z0
Para probar esta afirmaci
on supongamos, una vez mas un circuito en encierra al polo z = z0 (ver figura 6,
cuadrante II). Con lo cual, como f (z) es analtica en una region, el Teorema de Cauchy nos garantiza
1
2i
I
C
f (z) dz
1
=
z z0
2i
f (z) dz
z z0
si zz0 = rei
1
2i
Z
0
f (z0 +rei )d
Luis A. N
un
ez
20
Variable Compleja...
Observaciones
Formulario de M
etodos Matem
aticos 2
Obvio que es v
alido para regiones m
ultiplemente conexas y es facil demostrarlo. Se lo dejamos al lector
como ejercicio.
Si reacomodamos la expresi
on para la forma integral podemos hacer en esa formula es valida para todo
z
I
1
f () d
f (z) =
2i C z
Mas a
un veremos que es f
acil generalizar esta formula para derivdas de funciones, vale decir
I
n!
f (z) dz
(n)
f (z0 ) =
2i C (z z0 )n+1
Veamos con el caso m
as sencillo y demostremos que para n = 1
I
I
1
f (z) dz
f (z0 + h) f (z0 )
1
f (z)
1
1
0
0
f (z0 ) =
f (z0 ) = lm
= lm
dz
h0
h0 2i C h
2i C (z z0 )2
h
z z0 h z z0
tal y como se muestra en la figura 6, cuadrante III tenemos que
I
I
1
f (z) dz
1
f (z) dz
0
f (z0 ) = lm
=
h0 2i C (z z0 h)(z z0 )
2i C (z z0 )2
Pero mucho m
as interesante hubiera sido derivar respecto a una constante. Este truco implica que
I
I
I
1
f () d
1
n f ()
f () d
n!
(n)
f (z) =
f (z) =
(9)
d =
2i C z
2i C z n z
2i C ( z)n+1
Esta formula es muy util para calcular integrales. Considere, por ejemplo la siguiente integral
I
e2z d
2i (3)
8i 2
I=
8.
En la seccion 2.2 consideramos series complejas de potencias. En esta seccion revisaremos, desde la perspectiva de haber expresado la derivada nesima de una funcion analitica en la ecuacion (9), el equivalente
a las series de Taylor para funciones complejas de variable complejas.
8.1.
X
f 00 (z0 )
f (n) (z0 )
f (n) (z0 )
(z z0 )n f (z0 ) + f 0 (z0 )(z z0 ) +
(z z0 )2 + +
(z z0 )n + Rn
n!
2
n!
n=0
Luis A. N
un
ez
21
Variable Compleja...
Formulario de M
etodos Matem
aticos 2
(z z0 )n
2i
I
C
f () d
( z0 )n ( z)
Para probar esta afirmacion partimos de la formula integral de Cauchy escrita convenientemente
I
I
1
f () d
1
f ()
1
f (z) =
=
d
2i C z
2i C
z0 1 z z0
z0
(10)
de donde
f (z) =
1
2i
I
C
f () d
1
z
2i
I
d
C
f ()
z0
1 +
z z0
z0
+
z z0
z0
2
+ +
z z0
z0
n
+
n+1
z z0
z0
z0
este ultimo corchete proviene de una forma ingeniosa de utilizar una serie geometrica de razon r =
z z0
.
z0
Para entenderlo, recordemos que para una serie geometrica, se cumple que
1 + r + r2 + r3 + + rn =
1
rn+1
1 rn+1
=
1r
1r 1r
1
rn+1
= 1 + r + r2 + r3 + + rn +
(11)
1r
1r
Entonces
j
I
I
n
1
f () d
1
f ()
X z z0
f (z) =
d
+
2i C z
2i C
z0 j=0 z0
n+1
z z0
z0
z0
(12)
con lo cual
f (z) =
n
X
j=0
donde
(z z0 )j
1
2i
I
d
C
f ()
( z0 )j+1
(z z0 )n
Rn (z) =
2i
+ Rn (z) =
j=0
I
d
C
n
X
f (j) (z0 )
j!
f ()
( z0 )n ( z)
(z z0 )j + Rn (z)
(13)
(14)
Obvio que la serie (13) converge si Rn (z) 0 cuando n y de eso es facil convencerse al acotar la
ecuacion (14). Esto es, considerando sobre el contorno C y z en el interior de R, entonces
I
I
(z z0 )n
|z z0 |n
|z z0 |n
f ()
f ()
1
<
<
|Rn (z)| =
d
d
M n 2R
n
n
2i
(
z
)
(
z)
2
(
z
)
(
z)
2
R
0
0
C
C
(15)
f ()
i
< M , con
donde, una vez mas, hemos utilizado la forma polar = z0 = Re y hemos acotado
z
n
z z0
= 0 Rn (z) 0, con lo cual la serie converge.
lo cual es inmediato constatar que lmn
R
Luis A. N
un
ez
22
Variable Compleja...
Formulario de M
etodos Matem
aticos 2
Ejemplos Expanda
f (z) =
1
alrededor de z = z0
1z
f (z) =
X
1
1
(z z0 )n
(z z0 )n
1
1
2
3
(zz
)+
(zz
)
+
(zz
)
+
+
+
=
+
0
0
0
1 z0 (1 z0 )2
(1 z0 )3
(1 z0 )4
(1 z0 )n+1
(1 z0 )n+1
n=0
X
(1)n+1 n!
f 00 (0) 2 f 000 (0) 3
z2 z3
n
0
f (z) = ln 1+z = ln(1 + z)|z=0 +
z
f
(0)+f
(0)z+
z
+
z
+
=
z
+ +
(1 z)n+1 z=0
2
3!
2 3
n=1
f (z) = ln
ln
8.2.
1+z
1z
1+z
1z
alrededor de z = 0 (Serie de Maclaurin)
ln(1+z)ln(1z) =
X
z2
z3
z2
z3
z3
z5
2z 2n+1
z
+
z
= 2 z +
+
=
2
3
2
3
3
5
2n + 1
n=0
Series de Laurent
Hemos dicho que si una funcion f (z) es analitica en una region (digamos que circular) R, entonces
puede ser expandida por series de Taylor. Sin embargo, si f (z) tiene un polo de orden p, digamos, en z = z0 ,
dentro de la region R, no sera analitica en ese punto, mientras que g(z) = (z z0 )p f (z) si lo sera en todos
los puntos de esa region. Entonces f (z) podra ser expandida como series de potencias (de Laurent) de la
Luis A. N
un
ez
23
Variable Compleja...
Formulario de M
etodos Matem
aticos 2
forma
f (z) =
ak (zz0 )k =
n=
an
(z z0 )n
n=0
an (zz0 )n +
n=0
con an =
1
2i
I
C
f () d
( z)n+1
n = 0, 1, 2,
(16)
o equivalentemente
ap
ap+1
a1
g(z)
=
+
+ +
+ a0 + a1 (z z0 ) + a2 (z z0 )2 + (17)
(z z0 )p
(z z0 )p
(z z0 )p1
(z z0 )
P
an
La suma de todos los terminos que tengan potencias negativas, vale decir n=0 (zz
n , se denomina parte
0)
principal de f (z).
Para demostrar (16) o (17), recordamos que, tal y como muestra la figura 7 cuadrante I, si f (z) es
analitica en la region anular, entonces el Teorema de Cauchy, nos garantiza que
I
I
I
I
1
f () d
1
f () d
1
f () d
1
f () d
f (z) =
+
2i C1 z
2i C2 z
2i C1 z
2i C2 z
f (z) =
donde en el segundo caso hemos supuesto que ambas circulaciones tienen el mismo sentido.
Del mismo modo como procedimos en la ecuacion (10) re escribimos el segundo par de integrales como
I
I
f ()
1
f ()
1
1
1
+
d
d
f (z) =
z0
2i C1
z0 1 z z0
2i C2
z z0
1
z0
z z0
y ahora invocando, una vez mas la progresion geometrica (11) podemos construir expresiones de integrales
equivalentes a la ecuacio (12). Vale decir
n
n
z z0
z0
I
I
n1
n1
X z z0 j
X z0 j
1
1
f ()
f ()
z0
z z0
+
f (z) =
d
d
+
+
z 2i C2
z
2i C1
z0 j=0 z0
z z0 j=0 z z0
z0
z z0
y equivalentemente
I
I
n1
n1
f ()
1
1 X
1 X
j
(z z0 )
d
+Rn1 (z) +
d f ()( z0 )j +Rn2 (z)
f (z) =
2i j=0
( z0 )j+1
2i j=0 (z z0 )j+1 C2
C1
|
|
{z
}
{z
}
an
an
(18)
Con lo cual queda demostrado la forma funcional de los coeficientes de la expansion de Laurent. La demostracion de la convergencia, esto es n Rn1 (z) Rn2 (z) 0 sigue el mismo esquema que utilizamos
para demostrar la convergencia de la ecuacion (15) y se lo dejamos como ejercicio al lector.
8.3.
Algunos Ejemplos
En muchos casos las expansiones en series de Laurent no se generan a partir de la formula de la ecuacion
(16) sino a partir de manipulaciones algebraicas y expansiones en Taylor moduladas por otros factores.
Consideremos los siguientes ejemplos de desarrollo en Series de Laurent
Luis A. N
un
ez
24
Variable Compleja...
Formulario de M
etodos Matem
aticos 2
1.
f (z) =
1
z(z 2)3
1
(z + 1)(z + 3)
Esta funcion tienes polos de orden 1 en z = 1 y z = 3. Ademas expresando f (z) como una suma
de fracciones parciales, tendremos
1
1
1
1
1
=
f (z) =
(z + 1)(z + 3)
2 z+1
2 z+3
a) para 1 < |z| < 3
Expresando f (z) como una suma de fracciones parciales, tendremos
1
1
1
1
1
f (z) =
=
(z + 1)(z + 3)
2 z+1
2 z+3
b) para |z| > 3
c) para 0 < |z + 1| < 2
d ) para |z| < 1
3.
f (z) =
e2z
(z 1)3
f (z) =
z sen z
z3
4.
9.
Desde siempre hemos sabido que las expansiones de funciones en series de potencias dejan residuos al
detener la expansiona para una determinada potencial. Esto se puede apreciar claramente en la expresion
de Taylor para funciones analiticas (13) y, en particular en (14). Ahora, las expansiones de Laurent (18) nos
muestran otro residuo. Explotaremos las series de Laurent para funciones con polos y construiremos un
metodo para evaluar integrales de funciones en esos puntos. Primero estudiaremos los residuos en general y
luego los utilizaremos para evaluar integrales.
9.1.
Luis A. N
un
ez
ak (zz0 )k =
n=
ap+1
a1
ap
+
+ +
+a0 +a1 (zz0 )+a2 (zz0 )2 +
p
p1
(z z0 ) (z z0 )
(z z0 )
25
Variable Compleja...
Formulario de M
etodos Matem
aticos 2
mas aun, siguiendo (16) tendremos que los coeficientes de la expansion pueden ser calculados a partir de
I
I
1
f () d
an =
n
=
0,
1,
2,
si
n
=
1
f () d = 2ia1 =
f (z) =
4
z
z
3!
5!
z
3!z 5!
3!
3
C
En general, si f (z) tiene un polo de orden p en z = z0 R, entonces
(zz0 )p f (z) = ap +ap+1 (zz0 )+ +a0 (zz0 )p +
con lo cual
a1 Res f (z) = lm
zz0
X
dp1
p
[(zz
)
f
(z)]
=
(p1)!a
+
bn (zz0 )n
0
1
dz p1
n=1
dp1
1
p
[(z z0 ) f (z)]
(p 1)! dz p1
eiz
eiz
f (z) = 2
2
(z + 1)
(z + i)2 (z i)2
z0 = i
d
d
eiz
2
[(z i) f (z)] =
dz
dz (z + i)2
z0 = i
d
eiz
d
2
[(z + i) f (z)] =
dz
dz (z i)2
con lo cual
Res
1 d
eiz
i
eiz
(z + i)2 ieiz eiz 2(z + i)
4ie1 4ie1
=
l
m
=
=
l
m
=
2
2
2
2
zi
(z + 1) z=i zi 1! dz (z + i)
(z + i)
16
2e
p(z)
y f (z) tiene
q(z)
4 3z
= 4
Res f (z)|z=0 =
2z 1 z=0
4 3z
4 3z
f (z) = 2
z z
z(z 1)
4 3z
=1
Res f (z)|z=1 =
2z 1
z=1
Luis A. N
un
ez
26
Variable Compleja...
Formulario de M
etodos Matem
aticos 2
9.2.
Hemos visto como calcular las integrales de funciones, en regiones multiplemente conexas, con polos
simples a partir de residuos. Ahora generalizaremos ese esquema para una region, tambien multiplemente
conexa, pero con un numero finito de polos. Tal y como se muestra en la figura 7 en el cuadrante II,
realizamos una circulacion ingeniosa, de tal modo que aislamos los distintos polos. Ahora bien, como la
funcion es analitica en la region bordeada por todos esos contornos, entonces
I
I
I
I
dz f (z) +
dz f (z) +
dz f (z) +
dz f (z) = 0
C
C1
C2
Cm
dz f (z) +
dz f (z) +
dz f (z) =
C1
dz f (z)
dz f (z) = 2i
C
Cm
C2
m
X
Res f (z)z=z0j
j=1
j=1
Luis A. N
un
ez
27
Variable Compleja...
Formulario de M
etodos Matem
aticos 2
9.3.
Integrales impropias
9.4.
9.5.
Integrales de Fourier
9.6.
Luis A. N
un
ez
dx f (x)
28
Variable Compleja...
Formulario de M
etodos Matem
aticos 2
Referencias
[Aleksandrov Kolmogorov y Lavrentiev 1999] A. D. Aleksandrov, A. N. Kolmogorov y M. A. Lavrentiev
(1999) Mathematics: Its Content, Methods and Meaning. (Dover Publications, New York ) Existe
traduccion por Editorial Alianza Universidad.
[Arfken, Weber y Weber 2000] Arfken, G. B.,Weber, y H., Weber, H.J. (2000) Mathematical Methods
for Physicists 5ta Edici
on (Academic Press, Nueva York )
[Byron y Fuller 1970] Byron, F.W. y Fuller W.F. (1970) Mathematics of Classical and Quantum Physics (Dover Publications, New York )
[Chow 2000] T. L. Chow (2000) Mathematical Methods for Physicists: A Concise Introduction
(Cambridge University Press, Cambridge)
[Churchill y Brown1989] R. V. Churchill y J. W. Brown (1989) Complex Variables and Applications
(McGraw-Hill, New York ).
[Dennery y Krzywicki1995] P. Dennery y A. Krzywicki (1995) Mathematics for Physicists (Dover Publications, New York )
[Gonzalez 2003] A. Gonz
alez-L
opez Variable Compleja Universidad Complutense de Madrid, Madrid
Espa
na. Disponible en [Link]
[Harper 1971] Harper, C. (1971) Introduction to Mathematical Physics (Prentice Hall, Englewood Cliff,
N.J.)
[Knopp 1996] K. Knopp (1996) Theory of Functions, Parts I and II (Dover Publications, New York )
[[Link]] The Mathematical Atlas [Link]
[N
un
ez 2005] L.A. N
un
ez (2005) Los Vectores de Siempre Formulario de Metodos Matematicos de la
Fsica 1. Universidad de Los Andes, Merida Venezuela, Disponible en [Link]
ve/ciencias/nunez/[Link]
[N
un
ez 2006] L.A. N
un
ez (2006) Serie de Series Formulario de Metodos Matematicos de la Fsica 2. Universidad de Los Andes, Merida Venezuela, Disponible en [Link]
nunez/[Link]
[Riley, Hobson y Bence 2002] Riley, K.F., Hobson, M.P. y Bence, S.J. (2002) Mathematical Methods for
Physics and Engineering (Cambridge University Press, London)
[Spiegel 1959] Spiegel, M. (1967) Variable Compleja (Schaums Outline Series, McGraw Hill New York )
[WeissteinURL] Weisstein, E. W., MathWorld [Link]
[Wyld 1999] H. W. Wyld (1999) Mathematical Methods for Physics (Westview Press, Boulder Co.)
Luis A. N
un
ez
29