LibroApuntesMMT1 PDF

Universidad Politcnica de Madrid
E.T.S.I. Telecomunicacin
Variable compleja y
Transformada de Laplace
- MMT1 -
Carmen Snchez vila

Departamento de Matemtica Aplicada a las Tecnologas
de la Informacin
Madrid, 2010
ndice
1 Funciones holomorfas
1.1
Primeras deniciones . . . . . . . . . . . . . . . . . . . . . . . .
1.2
Funciones elementales
. . . . . . . . . . . . . . . . . . . . . . .
1.2.1
La funcin polinmica . . . . . . . . . . . . . . . . . . .
1.2.2
La funcin racional . . . . . . . . . . . . . . . . . . . . .
1.2.3
La funcin exponencial . . . . . . . . . . . . . . . . . . .
1.2.4
La funcin logaritmo . . . . . . . . . . . . . . . . . . . . 10
1.2.5
Las funciones trigonomtricas . . . . . . . . . . . . . . . 14
1.2.6
Las funciones hiperblicas . . . . . . . . . . . . . . . . . 17
1.2.7
Las funciones trigonomtricas e hiperblicas inversas . . 18
1.2.8
La funcin potencia . . . . . . . . . . . . . . . . . . . . . 19
1.2.9
La funcin exponencial generalizada . . . . . . . . . . . . 21
1.3
1.4
1.5
Lmites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.3.1
Introduccin. Conceptos previos . . . . . . . . . . . . . . 22
1.3.2
Lmite de una funcin uniforme en un punto: concepto . 22
1.3.3
Relacin con los lmites de funciones reales . . . . . . . . 23
1.3.4
Propiedades generales de los lmites . . . . . . . . . . . . 24
1.3.5
Teorema sobre lmites innitos . . . . . . . . . . . . . . . 24
Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
1.4.1
Continuidad de una funcin uniforme: concepto . . . . . 26
1.4.2
Continuidad uniforme de una funcin . . . . . . . . . . . 26
1.4.3
Relacin con las funciones reales . . . . . . . . . . . . . . 27
1.4.4
Propiedades generales
1.4.5
Continuidad de las funciones elementales . . . . . . . . . 27
. . . . . . . . . . . . . . . . . . . 27
Derivacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
ii
NDICE
1.6
1.7
1.8
1.5.1
Derivada de una funcin uniforme en un punto: concepto 29
1.5.2
Reglas de derivacin . . . . . . . . . . . . . . . . . . . . 31
1.5.3
Condiciones para la diferenciabilidad de funciones de

variable compleja . . . . . . . . . . . . . . . . . . . . . . 32
Funciones holomorfas . . . . . . . . . . . . . . . . . . . . . . . . 43
1.6.1
Deniciones . . . . . . . . . . . . . . . . . . . . . . . . . 43
1.6.2
Operaciones con funciones holomorfas . . . . . . . . . . . 45
1.6.3
Holomorfa de las principales funciones elementales . . . 45
1.6.4
Regla de L'Hpital . . . . . . . . . . . . . . . . . . . . . 47
1.6.5
Otras propiedades de las funciones holomorfas . . . . . . 48
Funciones armnicas . . . . . . . . . . . . . . . . . . . . . . . . 50
1.7.1
Deniciones . . . . . . . . . . . . . . . . . . . . . . . . . 50
1.7.2
Relacin entre funciones armnicas y funciones holomorfas 50
1.7.3
Propiedades elementales de las funciones armnicas . . . 51
1.7.4
Construccin de la funcin armnica conjugada y reconstruccin de la funcin holomorfa a partir de la parte

real y/o imaginaria . . . . . . . . . . . . . . . . . . . . . 52
Derivadas formales . . . . . . . . . . . . . . . . . . . . . . . . . 54
2 Integracin compleja
57
2.1
Conceptos previos . . . . . . . . . . . . . . . . . . . . . . . . . . 57
2.2
Integracin de funciones complejas continuas . . . . . . . . . . . 60
2.3
2.2.1
Denicin . . . . . . . . . . . . . . . . . . . . . . . . . . 60
2.2.2
Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . 62
Integrales de funciones holomorfas . . . . . . . . . . . . . . . . . 65

2.3.1
Teoremas sobre integrales de funciones holomorfas . . . . 65
2.3.2
Frmula integral de Cauchy . . . . . . . . . . . . . . . . 69
2.3.3
Derivadas de un funcin holomorfa. Frmula integral

general de Cauchy . . . . . . . . . . . . . . . . . . . . . 72
2.3.4
Primitivas . . . . . . . . . . . . . . . . . . . . . . . . . . 74
2.3.5
Principales resultados relacionados con el mdulo de una

funcin holomorfa . . . . . . . . . . . . . . . . . . . . . . 77
2.3.6
Principales teoremas derivados de la frmula integral de

Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
NDICE
iii
3 Series complejas
3.1
85
Sucesiones y series numricas complejas . . . . . . . . . . . . . . 85

3.1.1
Sucesiones de nmeros complejos . . . . . . . . . . . . . 85
3.1.2
Series numricas complejas . . . . . . . . . . . . . . . . . 86
3.2
Series de funciones . . . . . . . . . . . . . . . . . . . . . . . . . 90
3.3
Series de potencias . . . . . . . . . . . . . . . . . . . . . . . . . 93
3.4
3.3.1
Deniciones y propiedades . . . . . . . . . . . . . . . . . 93
3.3.2
Desarrollo de Taylor de funciones holomorfas . . . . . . . 97
3.3.3
Relacin entre funciones analticas y holomorfas . . . . . 99
Series de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . 102

3.4.1
Denicin . . . . . . . . . . . . . . . . . . . . . . . . . . 102
3.4.2
Convergencia de la serie de Laurent . . . . . . . . . . . . 103
3.4.3
Teorema de Laurent . . . . . . . . . . . . . . . . . . . . 104
4 Residuos
109
4.1
Denicin de residuo . . . . . . . . . . . . . . . . . . . . . . . . 109
4.2
Teorema de los residuos
4.3
Clasicacin de singularidades aisladas mediante la correspondiente serie de Laurent . . . . . . . . . . . . . . . . . . . . . . . 114
4.4
Clculo de residuos en polos . . . . . . . . . . . . . . . . . . . . 115
4.5
Ceros y polos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
4.6
Residuos en el punto del innito . . . . . . . . . . . . . . . . . . 122
4.7
Aplicacin de los residuos al clculo de integrales reales . . . . . 125
. . . . . . . . . . . . . . . . . . . . . . 110
4.7.1
Clculo de integrales reales de funciones racionales en

senos y cosenos . . . . . . . . . . . . . . . . . . . . . . . 125
4.7.2
Clculo de integrales reales impropias . . . . . . . . . . . 126
5 Transformada de Laplace
129
5.1
Deniciones y teorema de convergencia . . . . . . . . . . . . . . 129
5.2
Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132
5.3
Clculo de la transformada de Laplace inversa . . . . . . . . . . 140
5.4
Aplicacin de la transformada de Laplace a la resolucin de EDO's144
BIBLIOGRAFA
146
Introduccin
Esta monografa pretende ser una ayuda al estudiante que cursa la asignatura
Mtodos Matemticos de Telecomunicacin I que, como es conocido, versa
sobre los conceptos, mtodos y tcnicas ms importantes del Anlisis Complejo
y la Transformada de Laplace.
Las lneas contenidas en este texto no pretenden ser un sustituto del libro
de estudio de la asignatura, nicamente se han escrito para servir de gua al
estudiante que da sus primeros pasos en el mundo de la Variable Compleja,
pero no conseguirn su objetivo sin el trabajo personal, constante y minucioso
del lector.
Tema 1
Funciones holomorfas
1.1 Primeras deniciones

En general, una funcin de un conjunto A a un conjunto B es una correspondencia entre los elementos de los conjuntos A y B . Denotando la funcin como
f , esto se puede expresar de la forma
f : A B
| y a cada z D se le
En el caso complejo, la denicin es anloga. Si D C
asocia uno o varios nmeros complejos w, se dice que en D est denida una
funcin f (z) de variable compleja z y se escribe
w = f (z)
A D, conjunto de valores z (variable independiente) para los cuales se ha
denido la funcin, se lo conoce como dominio de denicin de la funcin
f , que supondremos siempre abierto conexo. Si no se menciona el dominio de
denicin de una funcin, se sobreentiende que se toma el mayor posible. Al
conjunto de valores que puede tomar w (variable independiente o valor de la
funcin), cuando z describe D, se lo conoce como rango (o recorrido) de la
funcin f .
Funcin univaluada y funcin multivaluada

a) Si la funcin f asigna a cada elemento z D un nico elemento w, es
decir, cuando la correspondencia entre el dominio y el recorrido sea una
aplicacin, la funcin se dice que es univaluada (o uniforme) en D.
FUNCIONES HOLOMORFAS
b) Si existen elementos de D a los que f asigna ms de un elemento w, se

dice que la funcin es multivaluada (o multiforme) en D.
|
Ejemplo 1.1 La funcin w = z 2 es una funcin univaluada denida z C.
Ejemplo 1.2 La funcin w = z es una funcin multivaluada (bivaluada)

|
z C.
Representacin grca de funciones complejas

Las propiedades de una funcin real de una variable real se muestran frecuentemente mediante su representacin grca sobre un plano. Ahora bien,
en el caso de una funcin compleja de una variable compleja w = f (z), no
disponemos de tal representacin grca ya que, si representamos los nmeros
z como puntos de un plano complejo, denominado z -plano, y los nmeros
w como puntos de otro plano complejo, denominado w-plano, se requerira
disponer de un espacio de 4 dimensiones. Debido a esto, cuando se estudian
estas funciones no se da su grca, nicamente se indican pares de puntos
z = z(x, y) y w = w(u, v) correspondientes, usando para ello, generalmente,
planos complejos separados para las variables z y w.
No obstante, se suele obtener ms informacin mostrando imgenes de curvas
y regiones que indicando simplemente pares de puntos individuales correspondientes.
Al pensar en una funcin f de esta manera, nos referimos a ella como una
aplicacin o transformacin.
En este contexto, tenemos los siguientes conceptos:
1. La imagen de un punto z0 D A, es el conjunto de puntos {w0
R/f (z0 ) = w0 }.
2. La imagen de un conjunto S D es el conjunto constitudo por las
imgenes de todos sus puntos.
3. El rango R de la funcin f es la imagen de D.
4. La preimagen (o imagen inversa) de un punto w0 R, es el conjunto
de puntos del dominio de denicin que tienen a w0 por imagen, es decir,
es el conjunto de puntos {z0 D/w0 = f (z0 )}. ste puede contener un
solo punto, muchos puntos o ningn punto (esto ltimo ocurre cuando
w0 no est en el rango de f ).
Con frecuencia, con el n de representar mejor las caractersticas geomtricas de ciertas transformaciones, se utilizan los trminos traslacin, rotacin y
reexin. En estos casos conviene utilizar los planos z y v como el mismo
plano. As, por ejemplo la transformacin
w = z + 2 = (x + 2) + jy
se puede interpretar como una traslacin de cada punto z dos unidades hacia
la derecha. La transformacin
w = jz = rej (+ 2 ) ,
sabiendo que j = ej 2 , gira el vector posicin de cada punto z 6= 0 un ngulo

recto en sentido antihorario en torno al origen. Y, la transformacin
w = z = x jy
trasforma cada punto z = x + jy en su reejado respecto al eje real.
Funciones inversa, compuesta e implcita

Funcin inversa
Dada la funcin w = f (z), si jamos w R, podremos determinar sus preimgenes. Entonces, a cada punto w R le corresponder uno o varios puntos
z D. De acuerdo con la denicin dada, esto signica que en el conjunto R
queda denida una funcin z = (w) que se denomina funcin inversa de la
funcin w = f (z).
Puede ser que, an cuando la funcin w = f (z) sea univaluada en D, la funcin inversa z = (w) puede resultar multivaluada en R. Sin embargo, si la
funcin w = f (z) transforma biyectivamente D en R entonces la funcin inversa z = (w), que transforma R en D, ser tambin uniforme. En este caso
diremos que la funcin w = f (z) es una hoja en D.
Ejemplo 1.3 Supongamos la funcin compleja univaluada w = z 2 en el dominio de denicin D = {z | |z| < 1}. Podemos deducir fcilmente que el
recorrido de la funcin es R = {w | |w| < 1}, puesto que al multiplicar dos
nmeros complejos, sus mdulos se multiplican y sus argumentos se suman.
As, esta funcin transforma D en R.
Sin embargo, a cada punto w R, salvo el punto w = 0, le corresponderan

dos puntos de D, simtricos respecto al origen, ya que, siendo z1 = z2 y
z12 = w, tendremos z22 = z12 = w. Por lo tanto la funcin z = w, que es la

funcin inversa de w = z 2 y que transforma R en D, es bivaluada.
Funcin compuesta
Si w = f (z) es una funcin cuyo dominio de denicin es D, y g(w) es otra
funcin cuyo dominio de denicin contiene al rango de f , R, se llama funcin
compuesta de f y g a la funcin
= g[f (z)]
que est denida z D.
Ejemplo 1.4 La funcin
3
1
=
z2 + 1
| {j} es la composicin de las funciones
denida en C
w = f (z) =
z2
1
y g(w) = w3
+1
| {j} y en C
| respectivamente.
denidas en C
Funcin implcita
De forma anloga al caso real, podemos denir el concepto de funcin implcita como una correspondencia entre nmeros complejos z y w que viene
dada en una expresin de la forma
F (z, w) = 0.
La funcin compleja de variable compleja como par de funciones

reales de dos variables reales
Todo nmero complejo z viene determinado como un par de nmeros reales x e
y que son, respectivamente, sus partes real e imaginaria, y el nmero complejo
w tambin queda determinado por el par de nmeros reales u y v , de forma que
z = x + jy, w = u + jv . Por esto, resulta que cualquier funcin w = f (z) de
una variable compleja puede ser considerada como un par de funciones reales
de dos variables reales, u = u(x, y) y v = v(x, y), de forma que
w = f (z) = u(x, y) + jv(x, y).
Demostracin. En efecto, si sustitumos z = x + jy en la expresin de f (z)

obtenemos
w = f (x + jy) = F (x, y)
siendo F (x, y) una funcin compleja de las variables reales x e y . Ahora bien,
es fcil ver que podemos escribir
w = F (x, y) =
F (x, y) + F (x, y)
F (x, y) F (x, y)
+j
2
2j
por lo que, si llamamos
u(x, y) =
F (x, y) + F (x, y)
2
v(x, y) =
F (x, y) F (x, y)
2j
tendremos que, en efecto, w = u(x, y) + jv(x, y), donde u(x, y) y v(x, y) son
funciones reales de dos variables reales.
Ejemplo 1.5 Si consideramos la funcinf (z) = z 2 y z = x + jy , entonces

f (x + jy) = (x + jy)2 = x2 y 2 + j2xy. Luego, en este caso, las funciones
componentes reales son
u(x, y) = x2 y 2 y v(x, y) = 2xy.
Si utilizsemos coordenadas polares r y en lugar de x e y , entonces
w = f (z) = f (rej ) = u(r, ) + jv(r, ).

1
z
Ejemplo 1.6 Si consideramos la funcin f (z) = z + , utilizando coordenadas

polares tenemos que f (z) se puede escribir como
1
1
1
1
j
f (z) = z + = re + j = r +
cos + j r
sen
z
re
r
r
luego, en este caso, tenemos que las funciones componentes sern
1
1
u(r, ) = r +
cos y v(r, ) = r
sen .
r
r
Esta representacin muestra que toda la teora de funciones complejas de una
variable compleja puede interpretarse como la teora de pares de funciones
reales de dos variables reales.
1.2 Funciones elementales

1.2.1 La funcin polinmica
Llamaremos funcin polinmica de grado n a la funcin
w = Pn (z) = a0 + a1 z + . . . + an z n
|
donde n N y a0 , a1 , . . . , an C.
Est denida en todo el plano complejo y es
uniforme.
1.2.2 La funcin racional

Llamamos funcin racional a la funcin denida como
w=
Pn (z)
Qm (z)
donde Pn (z) y Qm (z) son polinomios de grados n y m respectivamente. Est

denida para todo punto del plano complejo excepto para aquellos z0 tales que
Qm (z0 ) = 0, y es uniforme.
1.2.3 La funcin exponencial

La funcin exponencial de variable compleja se dene mediante la expresin
w = ez = ex (cos y + j sen y)
|
y es una funcin uniforme denida z C.
Sus partes real e imaginaria son
Re(ez ) = ex cos y , Im(ez ) = ex sen y.

Adems, si z es un nmero real (z = x + j0), entonces
ez = ex (se reduce a la exponencial real)

y cuando z es imaginario puro (z = 0 + jy ), tenemos
ez = ejy = cos y + j sen y

que es la conocida frmula de Euler. Por tanto, tambin podremos expresar
la funcin exponencial como
ez = ex ejy .
Propiedades
|
a) Sean z1 , z2 C,
con
z1 =x1 +jy1
z2 =x2 +jy2
. Entonces, se verica que
ez1 ez2 = ez1 +z2 .

En efecto, como x1 y x2 son reales y ejy1 ejy2 = ej(y1 +y2 ) , tenemos que
ez1 ez2 = ex1 ejy1 ex2 ejy2 = e(x1 +x2 ) ej(y1 +y2 ) = ez1 +z2 .
b) De la misma forma que antes podemos ver que se verica la relacin
ez1
= ez1 z2 .
ez2
De esta propiedad deducimos tambin que
1
= e0z = ez , ya que e0 = 1.
ez
c) Mdulo y argumento de ez
El mdulo de la funcin exponencial ser
p
|ez | = (ex cos y)2 + (ex sen y)2 = ex ,
y su argumento (suponiendo obvio que y es un argumento de ez )
arg(ez ) = y + 2k, k ZZ.

|
Puesto que |ez | = ex > 0, entonces ez =
6 0 z C.
Por tanto, el rango de
z
|
la funcin exponencial w = e es C {0}.
d) La funcin exponencial es peridica de perodo 2j .

En efecto, se verica que
| .
ez+2j = ez e2j = ez (cos 2 + j sen 2) = ez z C
Adems, podemos comprobar que 2j es el perodo fundamental, esto

es, que cualquier otro perodo es de la forma
2kj, k ZZ.
En efecto, supongamos que = a + jb es un perodo de ez . Entonces,
|
debe vericarse ez+ = ez z C.
En particular, para z = 0, tenemos
e = e0 = 1,
y sustituyendo ,
e = ea+jb = ea ejb = 1 = 1 ej2k , k ZZ.
De la igualdad de nmeros complejos, deducimos a y b:
ea = 1 a = 0
b = 2k, k ZZ
Luego
= a + jb = 2kj, k ZZ.
La funcin exponencial como transformacin (opcional)

Ahora estudiaremos el comportamiento geomtrico de la funcin w = ez , es
decir, la transformacin que esta funcin realiza, y veremos algunos ejemplos.
Si escribimos w = ej , donde y son, respectivamente, un argumento y el
mdulo de w, la transformacin w = ez puede expresarse como
= ex
j
x jy
e = e e , de donde deducimos
.
=y
La imagen de un punto z = (c1 , y) sobre una recta vertical x = c1 , tiene

coordenadas polares = ec1 y = y en el w-plano. Esta imagen se
mueve en sentido positivo (antihorario) a lo largo de la circunferencia de
radio ec1 cuando z se mueve hacia arriba por la recta.
La imagen de la recta x = c1 es toda la circunferencia; sin embargo,
cada punto de la circunferencia tiene innitas preimgenes en el z -plano,
separadas entre s 2 unidades a lo largo de la recta.
La imagen de un punto z = (x, c2 ) situado sobre una recta horizontal

y = c2 tiene coordenadas polares = ex y
theta = c2 en el w-plano. Luego la imagen de la recta y = c2 es el rayo
= c2 ; esta correspondencia es biyectiva.
En general, vemos que:
1) Los segmentos de rectas verticales se transforman en porciones de circunferencias.
2) Los segmentos de rectas horizontales se transforman en porciones de
rayos.
Ejemplo 1.7 Vamos

w = ez aplica la regin
o a ver que la transformacin
o
a
b
rectangular
axb
cyd
en el trapecio curvilneo
e e
cd
El segmento vertical AD dado por
x=a
AD
cyd
se transforma en el arco A0 D0
AD
= ea
cd
Las imgenes de segmentos verticales a la derecha de AD entre los lmites

horizontales sern arcos mayores > ea , pero c d. La imagen del
segmento vertical BC
x=b
BC
cyd
ser el arco B 0 C 0 dado por
BC
= eb
cd
La aplicacin ser biyectiva si d c < 2 . En particular, si c = 0 y d = ,

entonces 0 , y tendremos como imagen la mitad de un anillo circular.
Ejemplo 1.8 Hallemos la imagen, mediante la transformacin w = ez de la

banda innita
0y
.
< x <
Las imgenes de las rectas horizontales y = c2 (0 c2 ) son rayos = c2 .

Luego 0 . Por tanto, la imagen de la banda innita es el semiplano
superior > 0, 0 . Por ejemplo, los puntos frontera z = 0 y z = j
corresponden a los puntos w = e0 = 1, w = ej = e0 (cos + j sen ) = 1
respectivamente.
EJERCICIOS
1. a) Pruebe que si ez es real, entonces Im(z) = k, k ZZ.
b) Si ez es imaginario puro, qu condicin debe cumplir z ?
2. a) Pruebe que ez = ez z C| .
b) Pruebe que ejz = ejz z = k, k ZZ.
3. Hallar los valores de z para los

que:
z
z
a) e = 2
b) e = 1 + j 3
c) e2z1 = 1.
10
1.2.4 La funcin logaritmo

La funcin logaritmo se dene en los puntos no nulos z del plano complejo
como
w = ln z = LnIR |z| + j arg z
donde LnIR |z| denota el logaritmo real del mdulo de z y arg z es el conjunto
de todos los argumentos de z . Considerando el argumento principal de z , con
< Arg z , de forma que arg z = Arg z + 2k, k ZZ, vemos que el
logaritmo se puede escribir de la forma
w = ln z = LnIR |z| + j(Arg z + 2k), k ZZ.

Por tanto, se trata de una funcin multiforme (innito-forme). El dominio de
| {0}, ya que el logaritmo es la
denicin de esta funcin es el rango de ez , C
funcin inversa de la exponencial.
Tambin podemos ver que las partes real e imaginaria son
Re(ln z) = LnIR |z|, Im(ln z) = Arg z + 2k, k ZZ.

| {0}, la funcin toma innitos valores
La funcin es innito-forme, y z C
que dieren uno de otro en mltiplos enteros de 2j .
Es interesante distinguir distintos casos dependiendo del punto en que evaluamos el logaritmo.
a) Si z0 IR+ , entonces Arg z0 = 0, luego
ln z0 = LnIR |z0 | + 2kj, k ZZ.

Por ejemplo, tenemos que:
ln 1 = 0 + 2kj = 2kj, k ZZ
ln 2 = LnIR 2 + 2kj = 0, 6931 + 2kj, k ZZ
b) Si z0 IR , entonces Arg z0 = , luego
ln z0 = LnIR |z0 | + j(2k + 1), k ZZ.

Por ejemplo, tenemos que:
ln(1) = LnIR 1 + j(2k + 1) = j(2k + 1), k ZZ

ln(2) = LnIR 2 + j(2k + 1), k ZZ
11
c) En otro caso, hemos de calcular Arg z0 . Tambin tendremos innitos

valores de ln z . Por ejemplo,
+ 2k , k ZZ
ln(2j) = LnIR |2j| + j
2

ln(1 j) = LnIR |1 j| + j + 2k = LnIR 2 + j(8k 1) , k ZZ.

4
4
Valor principal de la funcin logaritmo

Se llama valor principal del logaritmo a la expresin
Ln z = LnIR |z| + j Arg z, < Arg z ,

es decir, el logaritmo evaluado para k = 0. Esta denicin nos permite escribir
de manera ms compacta la expresin del logaritmo como
ln z = Ln z + j2k, k ZZ.
En el caso del valor principal tenemos una funcin uniforme denida z
| {0}.
C
Para puntos z0 IR+ , Arg z0 = 0, y podemos ver que el valor
principal del logaritmo coincide con el de la funcin logaritmo de variable real.
Teniendo en cuenta esto, dado que el valor absoluto de un nmero complejo
es un valor real, LnIR |z| = Ln |z|, y por tanto podemos expresar el logaritmo
como
ln z = Ln |z| + j(Arg z + 2k), k ZZ.
Notacin:
La funcin logaritmo de variable compleja la encontraremos escrita de muy
distintas formas, tales como ln z , log, o lg. El valor principal del logaritmo
vendr notado siempre con la 'L' mayscula, de forma que Ln z , Log z o Lg z
seran posibles notaciones para dicho valor principal.
Propiedades
a) Sean z1 y z2 dos nmeros complejos no nulos. Entonces,
ln(z1 z2 ) = LnIR |z1 z2 | + j arg(z1 z2 ) = LnIR |z1 | + LnIR |z2 | + j[arg z1 +

+ arg z2 ] = ln z1 + ln z2 .
Sin embargo, esta propiedad no se verica, en general, para el valor
principal del logaritmo. Como contraejemplo, podemos ver que si z1 =
z2 = 1, entonces Ln(z1 z2 ) = Ln(1) = 0 6= Ln(1) + Ln(1) = 2j .
12
b) Tambin, para cualesquiera z1 , z2 complejos no nulos, se verica

z1
ln
= ln z1 ln z2 .
z2
En este caso tampoco se verica esta propiedad, en general, para el valor
principal del logaritmo.
c) Para todo nmero complejo z 6= 0 se verica
eln z = eLnIR |z| ej Arg z ej2k = |z|ej Arg z = z.

Sin embargo, en general no se cumple que el logaritmo de la exponencial
de z sea z , es decir, que en general
ln(ez ) 6= z.
En efecto, vemos que para todo nmero complejo z = x + jy 6= 0,
ln(ez ) = LnIR |ez | + j arg(ez ) = LnIR |ez | + j(y + 2k) =

= x + j(y + 2k) = z + j2k, k ZZ.
Puesto que, con esta notacin, el valor principal del logaritmo se obtiene
para k = 0, podemos concluir que
Ln(ez ) = z, < Im z .
Nota importante:
Las igualdades donde est involucrada la funcin logaritmo de variable compleja son igualdades entre conjuntos de elementos (debido al carcter multiforme de esta funcin), es decir, son igualdades conjuntistas. Por ejemplo, si
aplicamos la propiedad b) a los nmeros complejos z1 = z2 = z , entonces vemos que ln 1 = ln z ln z ; el segundo miembro en este caso no puede sustituirse
por cero, ya que
ln zln z = ln |z|+j Arg z+2kjln |z|j Arg z2nj = 2kj2nj = 2mj,

con m ZZ, ya que m = k n con k, n ZZ. En efecto, se cumple que
ln 1 = 2mj, m ZZ.
13
Ramas de la funcin logaritmo

Hemos visto en lo anterior que la funcin logaritmo se puede escribir como
| {0}.
ln z = LnIR |z| + j(Arg z + 2k), z C
Si consideramos < Arg z , en esta denicin estn implcitas estas

propiedades:
1) Hemos elegido como semirecta para empezar a contar ngulos el eje real
negativo, es decir, = .
2) La funcin Arg z , que toma valores < Arg z tiene una discontinuidad de salto 2 en los puntos de dicha semirecta, ya que si z IR ,
entonces existen nmeros complejos arbitrarios cercanos a z en los que
los valores de Arg z se aproximan a y otros en los que dicho valor se
aproxima a + 2 = .
Visto esto, es lgico pensar que se pueden escoger
1) Cualquier semirecta = para empezar a contar ngulos.
2) La funcin + 2k, < < + 2 , que es una funcin continua en su
intervalo de denicin, como parte imaginaria de ln z .
De esta forma, a las funciones que se obtienen de la forma
ln z = LnIR |z| + j( + 2k) con k ZZ,

donde es un argumento de z tal que < < + 2 , las denominaremos ramas o determinaciones de la funcin logaritmo. Estas funciones son
| {0}.
uniformes y denidas z C
Si en la expresin anterior de las ramas consideramos los valores k = 0, = 0,
entonces tendremos la funcin
Ln z = LnIR |z| + j,
donde es un argumento de z tal que < < . A esta funcin la
llamaremos rama principal de la funcin logaritmo.
Nota 1. A la semirecta que sirve para denir las ramas la llamaremos corte de
rama. En el caso de la funcin ln z , el corte de rama ser la semirrecta = .
Nota 2. A cada punto comn a todos los posibles cortes de rama lo denominaremos punto de ramicacin. En la funcin ln z el punto de ramicacin
es siempre el origen.
14
1.2.5 Las funciones trigonomtricas

Las funciones trigonomtricas se denen de la siguiente forma:
sen z =
ejz ejz
ejz + ejz
sen z
1 ejz ejz
; cos z =
; tg z =
=
2j
2
cos z
j ejz + ejz
Son funciones uniformes y estn denidas en todo punto del plano complejo,
| tal que
salvo para el caso de la tangente, que est denido para todo z C
cos z 6= 0.
De estas deniciones se deduce fcilmente que:
1) sen(z) = sen z , cos(z) = cos z , tg(z) = tg z , de modo que sen z
y tg z son funciones impares, mientras que cos z es una funcin par.
2) ejz = cos z +j sen z , de forma que la frmula de Euler ej = cos +j sen
denida en casos anteriores para valores de reales, es vlida tambin
ahora para valores complejos.
3) Se puede demostrar que se cumplen las siguientes relaciones:
sen(z1 z2 ) = sen z1 cos z2 cos z1 sen z2

cos(z1 z2 ) = cos z1 cos z2 sen z1 sen z2
sen(2z) = 2 sen z cos z ; sen z +

= cos z ; sen
z = cos z
2
2
cos(2z) = cos2 zsen2 z ; cos z +

= sen z ; cos
z = sen z
2
2
Adems, las funciones trigonomtricas cumplen tambin las relaciones
sen(z + 2) = sen z ; cos(z + 2) = cos z ; tg(z + ) = tg z , de modo
que sen z y cos z son funciones peridicas de perodo 2 , mientras que
tg z es peridica de perodo . Puede comprobarse que estos perodos
son fundamentales, es decir, que cualquier otro perodo ser mltiplo de
stos.
4) Podemos escribir las funciones sen z y cos z de forma que dependan de
las funciones hiperblicas de variable real,
senh y =
ey ey
ey + ey
; cosh y =
2
2
As, si z = x + jy , tenemos las siguientes relaciones:
sen z = sen x cosh y + j cos x senh y

cos z = cos x cosh y j sen x senh y
y IR.
15
A modo de ejemplo probaremos la primera de estas relaciones.
ejz ejz
ej(x+jy) ej(x+jy)
ey ejx ey ejx
=
=
=
2j
2j
2j
ey (cos x + j sen x) ey (cos x j sen x)
ey + ey
=
= sen x
+
2j
2
ey ey
+ cos x
= sen x cosh y + j cos x senh y
2j
sen z =
La segunda relacin se deja al lector como ejercicio.

A partir de esto, podemos calcular los mdulos de las funciones seno y
coseno como:
p
(Re(sen z))2 + (Im(sen z))2 =
q
= sen2 x cosh2 y + cos2 x senh2 y =
q
q
2
2
2
2
= sen x cosh y + (1 sen x) senh y = senh2 y + sen2 x
| sen z| =
p
(Re(cos z))2 + (Im(cos z))2 =
q
= cos2 x cosh2 y + sen2 x senh2 y =
q
q
2
2
2
2
= cos x cosh y + (1 cos x) senh y = senh2 y + cos2 x
| cos z| =
5) Se cumple la relacin
sen2 z + cos2 z = 1.
En este caso, a diferencia de lo que ocurre en variable real, no podemos
deducir que | sen z| 1 y | cos z| 1, ya que cos2 z y sen2 z no son, en
general, nmeros reales no negativos. Es decir, | sen z| y | cos z| no estn
acotados.
6) Se puede probar que las funciones trigonomtricas de variable compleja
se anulan exclusivamente en los mismos puntos en que se anulan sus
correspondientes funciones reales. Es decir, que los ceros de las funciones
trigonomtricas son los siguientes:
cos z = 0 z = (2k + 1) , k ZZ
2
sen z = 0 z = k, k ZZ
tg z = 0 z = k, k ZZ
16
Vamos a probarlo en el caso de la funcin coseno (Las otras dos se dejan

como ejercicio para el lector). Dado que
cos z = cos x cosh y j sen x senh y,

donde z = x + jy , entonces la relacin cos z = 0 es equivalente a
cos x cosh y = j sen x senh y.

Puesto que cos x cosh y es un nmero real y j sen x senh y es imaginario
puro, la nica posibilidad de que sean iguales es que ambos sean nulos.
As pues, si cos z = 0, entonces
cos x cosh y = 0
y
sen x senh y = 0.
Ahora veremos los valores que han de tomar x e y a partir de cada una
de estas ecuaciones:
cos x cosh y = 0 Puesto que cosh y no se anula para ningn valor

de y , necesariamente cos x = 0, lo cual ocurre si
x=
+ k, k ZZ.
2
sen x senh y = 0 De lo anterior dedujimos que

x=
+ k, k ZZ;
2
para estos valores de x el seno toma el valor sen x = (1)k , que

es siempre distinto de 0, luego necesariamente senh y = 0, lo cual
solamente ocurre para y = 0.
Por tanto,
cos z = 0 z =
+ k, k ZZ.
2
Las tres razones trigonomtricas secundarias, secante, cosecante y cotangente,

se denen en trminos del seno y el coseno por las relaciones usuales.
csc z =
1
1
cos z
; sec z =
; cot z =
sen z
cos z
sen z
Estarn denidas para todo nmero complejo tal que no anule el correspondiente denominador.
17
La funcin seno como transformacin (opcional)

A continuacin vamos a estudiar el comportamiento geomtrico de la funcin
trigonomtrica w = sen z , es decir, la transformacin que realiza.
Una forma adecuada de hallar las imgenes de ciertas regiones bajo la transformacin w = sen z , con z = x + jy , consiste en considerar las imgenes de
segmentos de recta horizontales {z = x + jy| x , y = c2 , c2 > 0}.
Dado que sen z = sen x cosh y + j cos x senh y , la transformacin w = u(x, y) +
jv(x, y) = sen z tambin puede escribirse de la forma:
u(x, y) = Re sen z = sen x cosh y

v(x, y) = Im sen z = cos x senh y
Segn esto, la imagen en el w-plano del segmento horizontal anterior es la
curva cuya representacin paramtrica es
u = sen x cosh c2
x .
v = cos x senh c2
Dicha curva podemos expresarla mediante la ecuacin
u2
v2
+
= 1,
cosh2 c2 senh2 c2
que es una elipse en el w-plano, con focos en los puntos
p
w = cosh2 c2 senh2 c2 = 1.
Si ahora tomamos los puntos A = (, c2 ), B = (/2, c2 ), C = (0, c2 ),
D = (/2, c2 ) y E = (, c2 ), podemos comprobar que sus imgenes por la transformacin seno son, respectivamente, A0 = (0, senh c2 ), B 0 = ( cosh c2 , 0),
C 0 = (0, senh c2 ), D0 = (cosh c2 , 0) y E 0 = (0, senh c2 ) A0 .
Hemos de notar que si se toman valores ms pequeos de c2 la elipse se va
haciendo ms pequea, pero conserva los mismos focos en el w-plano, 1 y -1.
No obstante, la elipse tiende hacia el intervalo 1 u 1 del eje u cuando c2
tiende a 0; en este caso lmite, a diferencia del caso en que c2 > 0, la aplicacin
no es biyectiva.
1.2.6 Las funciones hiperblicas

Las funciones hiperblicas se denen de la forma
senh z =
ez ez
ez + ez
senh z
ez ez
; cosh z =
; tanh z =
= z
2
2
cosh z
e + ez
18
Son funciones univaluadas, y estn denidas en todo punto del plano complejo,
salvo tanh z que est denida para todo nmero complejo z tal que cosh z 6= 0.
Estas funciones guardan una estrecha relacin con las funciones trigonomtricas, cosa que no se da en el campo real. Estas relaciones son las siguientes:
sen(jz) =
ej(jz) ej(jz)
ez ez
1
=
=
senh z senh z = j sen(jz)
2j
2j
j
ej(jz) + ej(jz)
ez + ez
=
= cosh z cosh z = cos jz
2
2
senh z
j sen(jz)
tanh z =
=
= j tg jz tanh z = j tg jz
cosh z
cos jz
cos(jz) =
La existencia de dichas relaciones nos permite deducir una propiedad para las
funciones hiperblicas a partir de cada propiedad trigonomtrica.
Por ejemplo:
sen(z) = sen z j sen(jz) = j sen(jz) senh(z) = senh z

cos2 z + sen2 z = 1 cos2 (jz) + sen2 (jz) = 1 cos2 (jz) (j sen(jz))2 =
= 1 cosh2 z ( senh z)2 = 1 cosh2 z senh2 z = 1
Las funciones hiperblicas tambin son peridicas; en el caso del seno y
coseno hiperblicos, el perodo fundamental es 2j , y en el caso de la
tangente hiperblica es j .
A partir de esas relaciones tambin podremos calcular las races del seno y
coseno hiperblicos.
cosh z = 0 cos jz = 0 jz = (2m + 1) , m ZZ

2
z = j(2k + 1) 2 , k ZZ (k = m 1)
senh z = 0 j sen jz = 0 jz = m, m ZZ z = jk, k ZZ
(k = m)
1.2.7 Las funciones trigonomtricas e hiperblicas inversas

Las funciones trigonomtricas e hiperblicas inversas se describen en trminos
de logaritmos.
a) Funciones trigonomtricas inversas
w = sen1 z = arcsen z = j ln jz + 1 z 2
19
w = cos1 z = arccos z = j ln z + 1 z 2
w = tg1 z = arctan z =
j j+z
ln
2 jz
b) Funciones hiperblicas inversas
w = senh1 z = arcsenh z = ln z + z 2 + 1
w = cosh1 z = arccosh z = ln z + z 2 1
w = tanh1 z = arctanh z =
1 1+z
ln
2 1z
Todas estas funciones son multivaluadas (pues estn denidas en trminos de

logaritmos) y estn denidas para todo nmero complejo, salvo arctan z , que
no est denida en z = j , y arctanh z , que no est denida en z = 1.
Estas funciones son fciles de deducir a partir de la funcin de la cual son
inversas. A continuacin mostramos como ejemplo la deduccin de arcsenh z ,
y dejamos para el lector como ejercicio la deduccin del resto.
ejw ejw
Partimos de que w = sen1 z es equivalente a z = sen w =
. Esta
2j
ltima relacin la podemos escribir como sigue:
2jz = ejw
1
2jzejw = e2jw 1 e2jw 2jzejw 1 = 0
ejw
Esta ltima es una relacin cuadrtica que podemos despejar, de forma que
ejw = jz +
1 z2,
donde hay que notar que 1 z 2 es bivaluada. Tomando logaritmos llegamos

al resultado nal,
2
2
jw = ln jz + 1 z w = arcsen z = j ln jz + 1 z .
1.2.8 La funcin potencia

La funcin potencia se dene de la forma
|
w = z a = ea ln z , a C
| {0}. Sin embargo, puede
En general, es una funcin multiforme denida C
haber casos en los que sea una funcin unifome o incluso est denida tambin
en el origen.
20
a) Si a ZZ,
w = z a = ea ln z = ea(LnIR |z|+j Arg z+j2k) = ea LnIR |z| eja Arg z ej2ak

Puesto que a ZZ, entonces ak ZZ, y por tanto ej2ak = 1, con lo que
w = z a = |z|a eja Arg z

es uniforme; adems, si a ZZ+ , tambin estar denida en z = 0.
b) Si a es racional irreducible, tal que a = p/q con p 6= 0, q 6= 0 y p, q ZZ,
tenemos que
w = za = q zp
es una funcin multiforme (toma q valores) que estar denida en z = 0
si p ZZ+ .
c) Si a es un nmero irracional o tiene parte imaginaria no nula, entonces
w = z a = ea ln z
es una funcin innitoforme denida para todo nmero complejo no nulo.
Por ejemplo, si tomamos la funcin
w = z 2j = e2j ln z = e2j LnIR |z| e2 Arg z e4k ,

vemos que tiene innitos valores, puesto que e4k tiene un valor distinto
para cada k ZZ.
Nota: Cada rama de la funcin potencia se obtiene particularizando la rama

de ln z , es decir, que la rama k -sima de la funcin potencia se obtendr a
partir de la rama k -sima de la funcin logaritmo. As, podemos denir la
rama principal de la funcin potencia como
RP(z a ) = ea Ln z .
Es obvio que cada rama de la funcin potencia ser una funcin uniforme,
puesto que cada rama de la funcin logaritmo es uniforme y la exponencial es
uniforme.
Ejemplo 1.9 El valor principal de (j)j es

ej Ln(j)) = ej (LnIR (1)j 2 ) = e 2 .
Por tanto,
RP(j)j = e 2 .
21
EJERCICIOS
Sea la funcin de variable compleja: (z w )k = ew(ln z)k ,
k ZZ.
a) Demostrar que para w = 21 slo existen dos ramas distintas y hallar su

valor.
b) Demostrar que para w = n ZZ slo existe una rama.
c) Demostrar que para w = 2 existen innitas ramas.
1.2.9 La funcin exponencial generalizada

La funcin exponencial generalizada se dene como sigue:
| {0}
w = az = ez ln a , a C
Es una funcin multiforme denida en todo punto del plano complejo, aunque
hay un caso para el cual es una funcin uniforme.
a) Si z ZZ, la expresin w = az es uniforme. La comprobacin es sencilla:
az = ez(LnIR |a|+j Arg a+j2k) = ez LnIR |a| ejz Arg a ej2kz

Considerando que k ZZ, la expresin ej2kz tendr un nico valor si y
solamente si kz ZZ, en cuyo caso dicho valor ser la unidad, y eso se
dar para z ZZ. As,
az = ez LnIR |a| ejz Arg z .

b) Si tomamos a = e, tendremos
(az )a=e = ez ln e = ez(LnIR e+j2k) = ez ej2kz , k ZZ,

de modo que (az )a=e concide con la funcin exponencial ez denida anteriormente solo para k = 0.
Sin embargo, siempre entenderemos (az )a=e como equivalente a la notacin ez .
Nota: Se puede vericar que, en general y a diferencia de lo que ocurre en el

campo real, no se verican las relaciones
b1 b2 = b1 +2 ; (b ) = b .
22
1.3 Lmites
1.3.1 Introduccin. Conceptos previos
Veamos algunos conceptos previos que se utilizarn en adelante.
| a:
Se denomina plano complejo ampliado, y se denota C,
| = C
| {}.
C
Entornos.
Se denomina -entorno de z0 C| al conjunto
| : |z z | < , z C
| , IR+
D(z0 , ) = z C
.
0
0
Se denomina -entorno de z = al conjunto
1
+
|
D(, ) = z C : < |z|, IR
.
Se denomina -entorno reducido (o perforado) de z0 C| al conjunto

o
| : 0 < |z z | < , z C
| , IR+
D(z0 , ) = z C
.
0
0
Se denomina -entorno reducido (o perforado) de z = al conjunto
o
1
+
| :
< |z| < , IR
D(, ) = z C
.
1.3.2 Lmite de una funcin uniforme en un punto: concepto

| y sea z C
|
Sea w = f (z) una funcin uniforme denida en un conjunto D C
0
un punto de acumulacin de D.
Denicin 1.1 Se dice que L C| es lmite de la funcin w = f (z) cuando z

tiende a z0 en D, y se escribe
lim f (z) = L,
zz0
si para cualquier -entorno del punto L, D(L, ), existe un -entorno reducido

o
de z0 , D(z0 , ), tal que f (z) D(L, ) siempre que z D(z0 , ) y z D.
Observaciones
1. La funcin f (z) puede no estar denida en z0 ; de ah que hablemos de
entorno reducido de z0 . Y, aunque f (z) est denida en z0 , puede darse
el caso en que lim f (z) 6= f (z0 ).
zz0
1.3 Lmites
23
2. El lmite, si existe, ha de ser el mismo independientemente de la direccin

de aproximacin que se tome hacia el punto z0 donde se calcula.
Denicin de lmite en trminos de desigualdades

Si aplicamos ahora las deniciones de -entornos, obtenemos las siguientes
deniciones de lmite de una funcin en un punto:
|
|
a) Si z0 C,
L C:
Diremos que el lmite de la funcin f (z) denida en D cuando z tiende a
z0 es L si > 0 > 0 tal que |f (z)L| < siempre que 0 < |zz0 | <
y z D.
|
b) Si z0 = , L C:
es L si > 0 > 0 tal que |f (z) L| < siempre que 1 < |z| <
y z D.
|
c) Si z0 C,
L = :
z0 es si > 0 > 0 tal que 1 < |f (z)| siempre que 0 < |z z0 | <
y z D.
d) Si z0 = , L = :
Diremos que el lmite de la funcin f (z) denida en D cuando z tiende
a es si > 0 > 0 tal que 1 < |f (z)| siempre que 1 < |z| <
y z D.
Nota: El lmite de una sucesin {zn }

n=1 es un caso particular del lmite de
una funcin cuando D IN.
1.3.3 Relacin con los lmites de funciones reales

Teorema 1
Sean z = x + jy , z0 = x0 + jy0 , L = a + jb, y sea f (z) la funcin compleja (en
trminos de funciones de dos variables reales),
f (z) = u(x, y) + jv(x, y).

Entonces, se verica:
lim f (z) = L
zz0
lim
u(x, y) = a
lim
v(x, y) = b
(x,y)(x0 ,y0 )
(x,y)(x0 ,y0 )
Esto nos permitir aplicar el clculo de lmites de funciones reales al clculo

de lmites de funciones complejas.
24
1.3.4 Propiedades generales de los lmites

1. El lmite de una funcin en un punto, si existe, es nico.
2. Si c es una constante compleja, entonces lim c = c.
zz0
3. Sean lim f (z) = F ;

zz0
lim g(z) = G,
zz0
| . Entonces, se veriF, G, z0 C
can las siguientes relaciones:
lim [f (z) g(z)] = F G

zz0
lim [f (z) g(z)] = F G

zz0
F
si G 6= 0

G
f (z)
lim
=
si G = 0 y F 6= 0
zz0 g(z)
indeterminado si F = 0 y G = 0
La cuarta propiedad vendra enunciada por el siguiente teorema:
Teorema 2 (Teorema del valor absoluto)

Si limzz0 f (z) = F , entonces limzz0 |f (z)| = |F |.
Demostracin. Dado que limzz0 f (z) = F , entonces, por la denicin de

lmite, se cumple que > 0 > 0 tal que, si z D y 0 < |z z0 | < ,
entonces |f (z) F | < .
Puesto que se cumple la desigualdad ||z1 | |z2 || |z1 z2 |, entonces
||f (z)| |F || < |f (z) F | < , z D tal que 0 < |z z0 | < .

Luego, en efecto, limzz0 |f (z)| = |F |.
| . Si z
Nota: Estas propiedades solo son vlidas en C
0 = y/o L = , la
propiedad no puede aplicarse de forma automtica y es necesario estudiar cada
caso particular.
1.3.5 Teorema sobre lmites innitos

Para el caso en que z0 = y/o L = , tenemos el siguiente resultado.
Teorema 3
Se verican las siguientes equivalencias
sobre lmites innitos:

1
a) lim f (z) = F lim f
=F
z
z0
z
1
=0
b) lim f (z) = lim
zz0
zz0 f (z)
1
c) lim f (z) = lim 1 = 0.
z
z0 f
z
1.3 Lmites
25
Ejemplos
Ejemplo 1.10 Calculemos el siguiente lmite:
1
lim e z2
z0
Pasando a forma polar, tenemos:

1
1 j2
lim e z2 = lim e r2 ej2 = lim e r2 e
z0
r0
r0
= lim e r2 (cos 2j sen 2)

r0
Dado que si nos acercamos al origen por el eje real positivo ( = 0) dicho lmite
toma valor nulo, y si nos acercamos por el eje imaginario positivo ( = 2 ) ese
lmite tiende a innito, vemos que el lmite depende de la direccin por la que
nos acercamos, y por tanto concluimos que no existe el lmite buscado.
Ejemplo 1.11 Calculemos el lmite

lim
z0
Re z
.
1 + |z|
Si z = x + jy , aplicando el cambio a coordenadas polares en el lmite real,

tenemos que
x
Re z
r cos
p
= lim
= lim
= 0,
z0 1 + |z|
(x,y)(0,0) 1 +
x2 + y 2 r0 1 + r
lim
independientemente del valor de .
Ejemplo 1.12 Calculemos el lmite

4z 2
.
z (z 1)2
lim
Aplicando el teorema para lmites innitos,

2
4 z1
4z 2
lim
= lim
= lim
z0
z (z 1)2
z0 1 1 2
z
EJERCICIOS
Calcule los siguientes lmites:
1. lim e1/z
z0
[Re (z 2 )]
z0
z2
2. lim
4
z2
(1z)2
z2
= 4.
26
1.4 Continuidad
1.4.1 Continuidad de una funcin uniforme: concepto
|
Sea w = f (z) una funcin uniforme denida en D que toma valores en C.
Denicin 1.2 Se dice que la funcin f (z) es continua en z0 D si tanto

f (z0 ) como lim f (z) existen y son iguales, es decir, se verica:
zz0
lim f (z) = f (z0 ).
zz0
Es decir, f (z) es continua en z0 D si para cualquier -entorno centrado en

f (z0 ), D(f (z0 ), ), existe un -entorno centrado en z0 , D(z0 , ), de forma que
f (z) toma valores en D(f (z0 ), ) siempre que z toma valores en D(z0 , ) y
z0 D.
Diremos que la funcin f (z) es continua en D si lo es para todo z D.
Nota 1: Podemos escribir la denicin en trminos de desigualdades igual que

| y z C
| , entonces tenemos
hacamos con los lmites. Por ejemplo, si f (z0 ) C
0
que f (z) es continua en z0 si > 0 > 0 de forma que |f (z) f (z0 )| <
siempre que |z z0 | < y z D, donde en general depende de y de z0 .
Nota 2: Puede darse el caso en que no exista f (z0 ) pero s exista y sea nito
limzz0 f (z). En este caso, diremos que f (z) presenta en z0 una discontinuidad
de tipo evitable, y se puede redenir la funcin f (z) en z0 como
f (z0 ) = lim f (z),

zz0
de forma que la funcin redenida s que ser continua en z0 .
1.4.2 Continuidad uniforme de una funcin

Denicin 1.3 Una funcin compleja f (z) se dice uniformemente continua
| si > 0 > 0 tal que para cualesquier z , z D se cumple que
en D C
1 2
|f (z1 ) f (z2 )| <

siempre que |z1 z2 | < , con dependiente, en general, de e independiente
de z .
1.4 Continuidad
27
1.4.3 Relacin con las funciones reales

Teorema 4
|
Sea la funcin compleja f (z) = u(x, y) + jv(x, y) denida en D C,
con
z = x + jy , y sea z0 = x0 + jy0 . Se cumple que f (z) es continua en z0 si y slo
si las funciones u(x, y) y v(x, y) son continuas en (x0 , y0 ).
1.4.4 Propiedades generales

| es un abierto conexo y que las funciones complejas a
Supongamos que D C
|
tratar toman valores en C.
| y g : D C
| son funciones continuas en z D , entonces
1. Si f : D C
0
las funciones f (z) g(z), f (z) g(z) y f (z)/g(z) ( esta ltima en el caso
de que g(z0 ) 6= 0 ) son continuas en z0 D.
2. La composicin de funciones continuas es una funcin continua.

|
3. Si f (z) es continua en un conjunto cerrado y acotado R C,
entonces:
a) f (z) est acotada en R (|f (z)| M < , z R);

b) |f (z)| alcanza cotas mxima y mnima en R;
c) f (z) es uniformemente continua en R.
| o f (z) C
| estas propiedades no se podrn extender automtiNota: Si D C
camente, y ser necesario analizar cada caso concreto.
1.4.5 Continuidad de las funciones elementales

a) Funciones uniformes
Los polinomios complejos de grado n, Pn (z), son funciones continuas

| para cualquier valor de n IN, puesto que son combinacin de
en C
funciones continuas. Adems, si denimos Pn () = , entonces
|
tambin sern funciones continuas en C.
Las funciones racionales Pn (z)/Qm (z) son continuas en C| {z C| :

Qm (z) = 0} para cualesquiera n, m IN, puesto que es un cociente
de funciones continuas.
La exponencial ez = ex cos y + jex sen y es una funcin continua en

|
C,
puesto que sus funciones reales componentes u(x, y) = ex cos y y
28
v(x, y) = ex sen y son funciones continuas en IR2 . Sin embargo, la

| puesto que no existe
exponencial no es una funcin continua en C,
lim ez .
Las funciones trigonomtricas e hiperblicas son continuas en sus

respectivos dominios de denicin, pues son composiciones de funciones exponenciales.
b) Funciones multiformes
Cada una de las ramas de la funcin logaritmo,

| {0},
(ln z)k0 = Ln |z| + j( + 2k0 ), z C
< < + 2,
consta de las funciones reales:

(
u(r, ) = Ln r, r > 0
v(r, ) = + 2k0
< < + 2
que son continuas en los puntos donde est denido Ln z , y por

tanto cada rama de la funcin logaritmo es una funcin continua en
su dominio de denicin.
Cada rama de las funciones z a = ea ln z y az = ez ln a es composicin

de funciones continuas en sus respectivos dominios de denicin,
y por tanto todas esas ramas son continuas en sus dominios de
denicin.
EJERCICIO
| C
| denida como
Sea la funcin f : C
(
2xy
+ j(x2 y + xy 2 )
x2 +y 2
f (z) =
0
| {0}
si z = x + jy C
si z = 0
|
a) Fijado y IR, se dene g : IR C
como g(x) = f (x + jy). Es g(x)
continua en x = 0?
|
b) Fijado x IR, se dene h : IR C
como h(y) = f (x + jy). Es h(y)
continua en y = 0 ?
c) Es f continua en z = 0 ?
1.5 Derivacin
29
1.5 Derivacin
1.5.1 Derivada de una funcin uniforme en un punto:
concepto
| y con
Sea w = f (z) una funcin uniforme denida en el abierto conexo D C
|
valores en C,
y sea z0 un punto de acumulacin de D.
Denicin 1.4 Se denomina derivada de f (z) en z0 , y se nota como f 0 (z0 ),

a la expresin
f (z) f (z0 )
df
f (z0 ) = lim
=
zz0
z z0
dz z=z0
0
siempre que este lmite exista y sea nito. Si escribimos f = f (z) f (z0 ),
z = z z0 (esto ltimo nos lleva a que z = z0 + z ), podemos representar
tambin la derivada como
df
f (z0 + z) f (z0 )
f
0
f (z0 ) =
= lim
.
= lim
z0
z0 z
dz
z
z=z0
Denicin 1.5 Se dice que la funcin w = f (z) es diferenciable en z0 si existe

su derivada en ese punto.
Denicin 1.6 Se dice que la funcin w = f (z) es diferenciable en D si existe

su derivada en todo punto de D.
Relacin entre continuidad y diferenciabilidad

| es continua en l. Sin
Toda funcin w = f (z) diferenciable en un punto z0 C
embargo, el recproco no es cierto. Por tanto, la continuidad es una condicin
necesaria para la diferenciabilidad.
Veamos esto con un par de ejemplos.
Ejemplo 1.13 Consideremos la funcin w = f (z) = z 2 . Si expresamos f (z)

como par de funciones reales, f (z) = u(x, y) + jv(x, y), vemos que
u(x, y) = x2 y 2 ,
v(x, y) = 2xy
|
son funciones continuas en IR2 , y por tanto f (z) = z 2 es continua z C.
Si
|
analizamos ahora la diferenciabilidad en z0 C:
f
(z0 + z)2 z0 2
z0 2 + 2z0 z + (z)2 z0 2
= lim
= lim
=
z0 z
z0
z0
z
z
= lim (2z0 + z) = 2z0 .
lim
z0
30
|
Esto es vlido z0 C,
luego existe f 0 (z0 ), y su valor es f 0 (z0 ) = 2z0 . En este
caso la funcin es continua y tambin derivable.
Ejemplo 1.14 Consideremos ahora la funcin

w = f (z) = |z|2 .
En este caso, las funciones componentes reales
u(x, y) = x2 + y 2 ,
v(x, y) = 0
son funciones continuas en IR2 tambin, y por tanto ahora tambin tenemos
|
que f (z) = |z|2 es continua z C.
Estudiemos ahora la diferenciabilidad en
|
z0 C:
|z0 + z|2 |z0 |2

(z0 + z)(z0 + z) z0 z0
f
= lim
= lim
=
z0
z0
z0 z
z
z
z0 z0 + z0 z + zz0 + zz z0 z0
z
= lim
= lim z0
+ z0 + z .
z0
z0
z
z
lim
Consideramos ahora dos casos distintos segn el valor de z0 :

a) Si z0 = 0, entonces
f
z
lim
= lim z0
+ z0 + z = 0,
z0 z
z0
z
luego existe la derivada en el origen, y su valor es f 0 (0) = 0.
b) Si z0 6= 0, vamos a ver que el lmite (y por tanto la derivada) no existe
aproximndonos a z0 por dos direcciones distintas.
b.1) Supongamos que nos acercamos a z0 por la recta que pasa por l
paralela al eje x, y representemos z = x + jy . En este caso, la
variacin en la direccin de y es nula, y por tanto y = 0 nos lleva
a que z = z = x. As pues:
z
f
= lim z0
+ z0 + z =
lim
z0
z0 z
z
= lim (z0 + z0 + x = z0 + z0 ) = 2 Re(z0 ).
x0
b.2) Supongamos ahora que nos acercamos a z0 por la recta que pasa
por l paralela al eje y , y representemos z = x + jy . En este
1.5 Derivacin
31
caso, la variacin en la direccin de x es nula, y por tanto x = 0

nos lleva a que z = z = jy . As pues:
z
f
= lim z0
+ z0 + z = lim (z0 + z0 jy) =
z0
y0
z0 z
z
= z0 z0 = 2j Im(z0 ).
lim
Con esto, vemos que aproximndonos a z0 por dos direcciones distintas

obtenemos distintos resultados del lmite, y de esto concluimos, por la
unicidad del lmite, que no existe dicho lmite y, por tanto, no existe
| {0}.
f 0 (z0 ) para ningn z0 C
Podemos ver claramente que, a pesar de que f (z) es continua en todo el plano
complejo, solamente es derivable en z = 0.
EJERCICIO: Compruebe que, aunque la funcin f (z) = Re(z) es continua

|
|
z C,
no es diferenciable en ningn punto de C.
1.5.2 Reglas de derivacin

Las reglas de derivacin en el campo complejo son anlogas a las de las funciones de variable real.
1) Si f (z) es una funcin constante en su dominio de denicin D, entonces
f 0 (z) = 0 z D.
2) Si f1 (z) y f2 (z) son diferenciables en el punto z , entonces se cumplen las
siguientes relaciones:
a) (f1 (z) f2 (z))0 = f10 (z) f20 (z)
b) (f1 (z)f2 (z))0 = f10 (z)f2 (z) + f1 (z)f20 (z)
0
f1 (z)
f 0 (z)f2 (z) f1 (z)f20 (z)
c)
= 1
(siempre que f2 (z) 6= 0)
f2 (z)
f22 (z)
3) Regla de la cadena: Sea la funcin F (z) = g(f (z)). Si f (z) es diferenciable en el punto z y g(z) es diferenciable en el punto w = f (z), entonces
F (z) es diferenciable en el punto z y su derivada verica la relacin
F 0 (z) =
dg df
.
df dz
Las demostraciones de estas propiedades se hacen de forma anloga a las correspondientes en variable real.
32
1.5.3 Condiciones para la diferenciabilidad de funciones

de variable compleja
El teorema que vamos a ver a continuacin no tiene anlogo en el campo real
y marca una diferencia esencial entre las propiedades de las funciones reales
y las complejas, y tiene una importancia fundamental tanto en la teora de
funciones de variable compleja como en sus aplicaciones. Este teorema se
reere a la relacin que existe entre la diferenciabilidad de la funcin
f (z) = u(x, y) + jv(x, y) (z = x + jy)

y las propiedades de las funciones reales u(x, y) y v(x, y).
De lo visto hasta el momento podra pensarse que la diferenciabilidad de f (z)
es equivalente a la diferenciabilidad de las funciones u(x, y) y v(x, y). Sin
embargo, esto no es cierto. Para ilustrarlo, pongamos un ejemplo. Supongamos
la funcin f (z) = |z|2 . En el ejemplo 1.14 vimos que esta funcin solo es
diferenciable en z = 0. Sin embargo, sus funciones componentes u(x, y) =
x2 + y 2 y v(x, y) = 0 son funciones diferenciables en todo IR2 .
Visto que la relacin entre la diferenciabilidad de una funcin compleja y la
de sus funciones componentes no es equivalente, vamos a enunciar ahora los
teoremas que nos dan condiciones necesarias y condiciones sucientes para la
diferenciabilidad de una funcin de variable compleja.
Notacin: De ahora en adelante, se utilizarn indistintamente las notaciones
u
(x1 , . . . , xn ) uxi (x1 , . . . , xn )
xi
para designar a la derivada parcial de cualquier funcin u(x1 , x2 , . . . , xn ) con
respecto a la variable xi .
Teorema 5 (Condiciones necesarias para la diferenciabilidad)

Sea la funcin f (z) = u(x, y) + jv(x, y), con z = x + jy , diferenciable en
el punto z0 = x0 + jy0 . Entonces, existen las derivadas parciales ux (x0 , y0 ),
uy (x0 , y0 ), vx (x0 , y0 ) y vy (x0 , y0 ), y verican las ecuaciones
ux (x0 , y0 ) = vy (x0 , y0 ),
uy (x0 , y0 ) = vx (x0 , y0 ),
(llamadas ecuaciones o condiciones de Cauchy-Riemann).
Adems, podremos escribir f 0 (z0 ) en funcin de las derivadas parciales de u y
v , de la forma
f 0 (z0 ) = ux (x0 , y0 ) + jvx (x0 , y0 ) = vy (x0 , y0 ) juy (x0 , y0 ).
1.5 Derivacin
33
Demostracin. Para esta demostracin recordamos que

u(x1 , . . . , xi1 , xi + xi , xi+1 , . . . , xn ) u(x1 , . . . , xn )
xi 0
xi
uxi (x1 , . . . , xn ) = lim
Puesto que f (z) es una funcin diferenciable, partimos del hecho de que
f (z0 + z) f (z0 )
z0
z
f 0 (z0 ) = lim
existe y es nito, por lo que podremos calcularlo aproximndonos a z0 por

cualquier direccin. En particular vamos a suponer dos casos.
a) Supongamos que z = x. Entonces tenemos que
f (z0 + z) f (z0 )
=
f 0 (z0 ) = lim
z
z0
u(x0 + x, y0 ) u(x0 , y0 )
v(x0 + x, y0 ) v(x0 , y0 )
= lim
+j
=
x0
x
x
= ux (x0 , y0 ) + jvx (x0 , y0 ).
b) Si z = jy , entonces
f (z0 + z) f (z0 )
f 0 (z0 ) = lim
=
z0
z
v(x0 , y0 + y) v(x0 , y0 )
u(x0 , y0 + y) u(x0 , y0 )
= lim
j
=
y0
y
y
= vy (x0 , y0 ) juy (x0 , y0 ).
Puesto que el lmite existe, ha de ser nico, y por tanto las expresiones
obtenidas han de existir y ser iguales. De la existencia de estas expresiones
deducimos que ux (x0 , y0 ), uy (x0 , y0 ), vx (x0 , y0 ) y vy (x0 , y0 ) existen. Para que
adems estas expresiones sean iguales han de coincidir las partes reales e imaginarias:
ux (x0 , y0 ) + jvx (x0 , y0 ) = vy (x0 , y0 ) juy (x0 , y0 )
para lo cual necesariamente ha de cumplirse
ux (x0 , y0 ) = vy (x0 , y0 ) y vx (x0 , y0 ) = uy (x0 , y0 ),

que son las ecuaciones de Cauchy-Riemann que buscbamos.
34
Ejemplo 1.15 Consideremos la funcin

f (z) = |z|2 = x2 + y 2 ,
con z = x + jy . Las funciones componentes de f (z) son u(x, y) = x2 + y 2
y v(x, y) = 0, y sus derivadas parciales son ux = 2x, uy = 2y , vx = vy = 0.
Estas derivadas parciales existen en todo IR2 ; sin embargo,las ecuaciones de
Cauchy-Riemann slo se verican si x = y = 0, es decir, en z = 0. Por lo que,
| {0} la funcin f (z) no es diferenciable, algo
podemos asegurar que z C
que comprobamos en el ejemplo 1.14. En z = 0 se cumplen las condiciones de
Cauchy-Riemann, y adems es cierto que existe f 0 (0).
Sin embargo, las ecuaciones de Cauchy-Riemann son condiciones necesarias
pero no sucientes, y por tanto podra darse el caso en que se cumplan estas
ecuaciones y, sin embargo, la funcin no sea diferenciable, como veremos en el
siguiente ejemplo.
Ejemplo 1.16 Sea la funcin
z
f (z) = |z|4
si z 6= 0
si z = 0
Observamos que, en z = 0, la funcin no es diferenciable, puesto que

(z)5
(z)4
(rej )4
f (0 + z) f (0)
|z|4
lim
= lim
= lim
=
lim
= lim ej4
4
4
r0
r0
z0
z0
z0
z
z
|z|
r
no existe por ser dependiente de (o sea, de la direccin de aproximacin).
Analicemos ahora las ecuaciones de Cauchy-Riemann en z = 0. Las funciones
componentes de f (z) son
u(x, y) =
5x4 y 10x2 y 3 + y 5
x5 10x3 y 2 + 5xy 4
y
v(x,
y)
=
.
(x2 + y 2 )2
(x2 + y 2 )2
Calculemos las derivadas parciales:
u(x, 0) u(0, 0)
x 0
= lim
=1
x0
x0
x
x
ux (0, 0) = lim
u(0, y) u(0, 0)
00
= lim
=0
y0
y0 y
y
uy (0, 0) = lim
00
v(x, 0) v(0, 0)
= lim
=0
x0 x
x0
x
vx (0, 0) = lim
1.5 Derivacin
35
y 0
v(0, y) v(0, 0)
= lim
=1
y0
y0
y
y
vy (0, 0) = lim
Observamos que se cumple ux (0, 0) = vy (0, 0) = 1 y uy (0, 0) = vx (0, 0) = 0,

luego s que se cumplen las ecuaciones de Cauchy-Riemann en z = 0, a pesar
de que la funcin no es diferenciable en z = 0. Por tanto, estas ecuaciones son
necesarias pero no sucientes.
Teorema 6 (Condiciones sucientes para la diferenciabilidad)

Sea la funcin f (z) = u(x, y) + jv(x, y) denida en algn -entorno de z0 , con
z = x + jy y z0 = x0 + jy0 . Sean adems las derivadas parciales ux (x0 , y0 ),
uy (x0 , y0 ), vx (x0 , y0 ) y vy (x0 , y0 ) continuas en dicho -entorno de z0 , y supongamos que adems cumplen las ecuaciones de Cauchy-Riemann en ese punto,
ux (x0 , y0 ) = vy (x0 , y0 ) y uy (x0 , y0 ) = vx (x0 , y0 ).
Entonces, f (z) es diferenciable en z0 , y se verica
f 0 (z0 ) = ux (x0 , y0 ) + jvx (x0 , y0 ) = vy (x0 , y0 ) juy (x0 , y0 ).
Demostracin. Puesto que u(x, y) y v(x, y) tienen primeras derivadas continuas en un -entorno de z0 , entonces u(x, y) y v(x, y) son continuas en dicho
entorno, y podemos expresar las relaciones
u(x0 + x, y0 + y) u(x0 , y0 ) = ux (x0 , y0 )x + uy (x0 , y0 )y + 1 x + 1 y,

v(x0 + x, y0 + y) v(x0 , y0 ) = vx (x0 , y0 )x + vy (x0 , y0 )y + 2 x + 2 y,
donde
lim
(x,y)(0,0)
1 =
lim
(x,y)(0,0)
2 =
lim
(x,y)(0,0)
1 =
lim
(x,y)(0,0)
2 = 0.
Entonces tenemos que
f (z0 + z) f (z0 )
=
z0
z
u(x0 + x, y0 + y) u(x0 , y0 )
+
= lim
z0
z
v(x0 + x, y0 + y) v(x0 , y0 )
+j
=
z
ux (x0 , y0 )x + uy (x0 , y0 )y + 1 x + 1 y
= lim
+
z0
z
vx (x0 , y0 )x + vy (x0 , y0 )y + 2 x + 2 y
+j
.
z
f 0 (z0 ) = lim
Dado que |x| |z|, |y| |z|, entonces tenemos que
lim 1
z0
x
y
y
x
= lim 2
= lim 1
= lim 2
= 0,
z z0 z z0 z z0 z
36
y por tanto, nos queda que
f 0 (z0 ) =
ux (x0 , y0 )x + uy (x0 , y0 )y
vx (x0 , y0 )x + vy (x0 , y0 )y
= lim
+j
=
z0
z
z
1
= lim
[ux (x0 , y0 )x + uy (x0 , y0 )y + jvx (x0 , y0 )x + jvy (x0 , y0 )y].
z0 z
Si ahora consideramos las ecuaciones de Cauchy-Riemann,
f 0 (z0 ) = lim
z0
1
[ux (x0 , y0 )z + jvx (x0 , y0 )z] = ux (x0 , y0 ) + jvx (x0 , y0 ).
z
Puesto que las derivadas parciales ux (x0 , y0 ) y vx (x0 , y0 ) existen por hiptesis,
entonces f 0 (z0 ) existe y se puede escribir como
f 0 (z0 ) = ux (x0 , y0 ) + jvx (x0 , y0 ).

La otra representacin de f 0 (z0 ) la obtendremos aplicando de nuevo las ecuaciones de Cauchy-Riemann.
Nota sobre analoga entre funciones complejas y funciones vectoriales reales

Como sealamos casi al principio del captulo, la teora de funciones de
variable compleja podra ser interpretada en buena medida como la teora de
pares de funciones de dos variables reales. Estos pares de funciones se llaman
funciones vectoriales. En general, cualquier funcin vectorial se puede denir
como una aplicacin T : D IRn IRm (n, m IN). Hemos de recordar
tambin del anlisis de variable real que una funcin vectorial T : IRn IRm
(n, m IN) tal que
T (x1 , . . . , xn ) = (f1 (x1 , . . . , xn ), f2 (x1 , . . . , xn ), . . . , fm (x1 , . . . , xn ))

es diferenciable en un punto (x10 , . . . , xn0 ) si las funciones
f1 (x1 , . . . , xn ), f2 (x1 , . . . , xn ), . . . , fm (x1 , . . . , xn )

son diferenciables en ese punto.
|
Como el espacio vectorial IR2 es isomorfo a C,
podemos interpretar toda
|
|
funcin compleja f : D C C tal que f (z) = u(x, y) + jv(x, y) con
z = x + jy como una funcin vectorial f : D IR2 IR2 tal que f (x, y) =
(u(x, y), v(x, y)). As, podremos decir que la funcin compleja f (z) = u(x, y)+
jv(x, y) es diferenciable en el punto z0 = x0 + jy0 en el sentido real si su
funcin vectorial anloga f (x, y) = (u(x, y), v(x, y)) es diferenciable en (x0 , y0 )
1.5 Derivacin
37
en sentido real, es decir, si las funciones u(x, y) y v(x, y) son diferenciables en

el punto (x0 , y0 ).
Sabido esto, podremos aplicar a las funciones complejas otro resultado muy
interesante del anlisis de variable real que nos har falta despus. Sabemos
que la matriz jacobiana de una funcin vectorial de dos variables f : D
IR2 IR2 tal que f (x, y) = (u(x, y), v(x, y)) viene denida como la matriz
de derivadas parciales
!
u
y
v
y
u
x
v
x
Df (x, y) =
en cada punto (x, y). Con esta denicin, podamos denir precisamente la
diferenciabilidad de una funcin vectorial. Diremos que la funcin vectorial f es
diferenciable y tiene como derivada a la matriz jacobiana Df (x0 , y0 ) en el punto
(x0 , y0 ) si para todo > 0 existe algn > 0 tal que si |(x, y) (x0 , y0 )| < ,
entonces
|f (x, y) f (x0 , y0 ) Df (x0 , y0 )[(x, y) (x0 , y0 )]| |(x, y) (x0 , y0 )|,

donde la operacin Df (x0 , y0 )[(x, y)(x0 , y0 ) se reere al producto de la matriz
Df (x0 , y0 ) por el vector columna
x x0
y y0
Esta denicin se obtiene directamente a partir de la denicin del lmite que

da lugar a la derivada.
|
Teniendo en cuenta el isomorsmo existente entre C
y IR2 , lo anterior se
puede escribir en funcin de z = x + jy y z0 = x0 + jy0 , tan solo sustituyendo
los pares (x, y) y (x0 , y0 ) por z y z0 , respectivamente.
Para la demostracin del teorema de condiciones necesarias y sucientes

para la diferenciabilidad necesitaremos tener en cuenta el siguiente lema sobre
la representacin matricial de la multiplicacin de nmeros complejos.
Lema 1 La matriz
a b
c d
representa al factor a + jc del producto de dos nmeros complejos si y slo si

a = b y c = d, y en ese caso la multiplicacin (a + jc)(x + jy) = (ax cy) +
j(cx + ay) se podr representar como
a b
c d
x
y
ax cy
cx + ay
38
Demostracin. Consideremos la multiplicacin por el nmero complejo a+jc,

de forma que (a + jc)(x + jy) = (ax cy) + j(cx + ay). Esto es lo mismo que
escribir
a c
x
ax cy
=
.
c a
y
cx + ay
Al contrario, supongamos que

a b
x
= z(x + jy)
c d
y
para algn nmero complejo z = + j . Entonces, tenemos que
ax + by = x y, cx + dy = y + x
para todo x, y . En concreto, si x = 1, y = 0, habr de ser a = y c = , y si
x = 0, y = 1, tendremos que b = y d = , con lo que, en efecto, a = d y
b = c, tal y como queramos demostrar.
Expresamos nalmente el teorema que nos proporciona condiciones necesarias
y sucientes para la diferenciabilidad de f (z) en el punto z0 .
Teorema 7 (Condiciones necesarias y sucientes para la diferenciabilidad)

Una funcin compleja f (z) = u(x, y) + jv(x, y) con z = x + jy denida en un
| es diferenciable en un punto z = x + jy D si y slo
abierto conexo D C
0
0
0
si se cumplen las siguientes condiciones:
a) En el punto (x0 , y0 ) se verican las ecuaciones de Cauchy-Riemann:
u
v
u
v
=
;
=
.
x (x0 ,y0 )
y (x0 ,y0 )
y (x0 ,y0 )
x (x0 ,y0 )
b) Las funciones u(x, y) y v(x, y) son diferenciables en (x0 , y0 ); es decir, que
f es diferenciable en el sentido real.
En este caso, adems, se cumple que
v
v
u
u
0
+j
=
j
.
f (z0 ) =
x (x0 ,y0 )
x (x0 ,y0 )
y (x0 ,y0 )
y (x0 ,y0 )
Demostracin. Si aplicamos la denicin de lmite a la denicin de f 0 (z0 ),

podremos decir que f 0 (z0 ) es la derivada de f (z) en el punto z0 si para cualquier
> 0 existe algn > 0 tal que si 0 < |z z0 | < , entonces
|f (z) f (z0 ) f 0 (z0 )(z z0 )| < |z z0 |.

Para demostrar la doble implicacin habremos de demostrar la implicacin en
ambos sentidos.
1.5 Derivacin
39
) Tenemos que demostrar los enunciados a) y b) del teorema.

a) Si partimos del hecho de que f (z) es diferenciable en z0 = x0 +
jy0 , por el teorema 5 las derivadas parciales ux (x0 , y0 ), uy (x0 , y0 ),
vx (x0 , y0 ), vy (x0 , y0 ) existen y verican las ecuaciones de CauchyRiemann, ux (x0 , y0 ) = vy (x0 , y0 ) y uy (x0 , y0 ) = vx (x0 , y0 ).
b) Usemos la notacin (x, y) z , (x0 , y0 ) z0 . Por denicin, Df (x0 , y0 )
(matriz jacobiana de la funcin vectorial asociada a f (z)) es la nica
matriz con la propiedad de que para cualquier > 0 existe algn
> 0 tal que si 0 < |z z0 | < , entonces
(1.1)
|f (z) f (z0 ) Df (z0 )(z z0 )| < |z z0 |.
Si comparamos esta ecuacin con la anterior y consideramos que

la multiplicacin por un nmero complejo es una transformacin
lineal, podemos ver que f es diferenciable en el sentido real y que la
matriz Df (z0 ) representa la multiplicacin por el nmero complejo
f 0 (z0 ). En efecto, aplicando el lema 1 a la matriz jacobiana
Df (z0 ) =
u
x
v
x
u
y
v
y
v
v
con a = u
, b = u
, c = x
y d = y
sabemos que representar
x
y
a la multiplicacin por un nmero complejo si y slo si a = b y
c = d, algo que se cumple, pues son las ecuaciones de CauchyRiemann, que vimos en el apartado anterior que se cumplan. As,
dicha matriz representar la multiplicacin por el nmero complejo
a + jc =
u
v
+j ,
x
x
que no es otro que f 0 (z0 ).
) Como razonamos antes y dado que ahora es hiptesis el hecho de que se

cumplan las condiciones de Cauchy-Riemann, la matriz jacobiana Df (z0 )
v
+ j x
. Si aplirepresenta la multiplicacin por el nmero complejo u
x
camos esto en la ecuacin 1.1, podemos reducir dicha ecuacin aplicando
| a la forma compleja, de forma que constituir
la isomorfa entre IR2 y C
ahora la denicin de la derivada de la funcin compleja f (z), y de ella
podemos deducir que f 0 (z0 ) tendr el valor del nmero complejo al que
v
representa Df (z0 ), es decir, f 0 (z0 ) = u
+ j x
.
x
40
Notas:
1) Puesto que las ecuaciones de Cauchy-Riemann son condiciones necesarias para la diferenciabilidad de f (z), pueden servirnos para hallar los
puntos donde f (z) no es diferenciable.
2) Hemos de recordar que para que una funcin u : IR2 IR sea diferenciable en (x0 , y0 ) es suciente que las derivadas parciales ux (x0 , y0 )
y uy (x0 , y0 ) existan y sean continuas; sin embargo, al ser condiciones
sucientes, si no se verican no puede asegurarse que u(x, y) no sea diferenciable en ese punto.
Si trabajamos con coordenadas polares, podemos enunciar el siguiente teorema,

anlogo al anterior.
Teorema 8
Para que una funcin compleja f (z) = u(r, ) + jv(r, ), donde z = rej ,
sea diferenciable en el punto z0 = r0 ej0 6= 0 es necesario y suciente que se
cumplan las siguientes ecuaciones:
a) Las funciones u(r, ) y v(r, ) son diferenciables en el punto (r0 , 0 ).
b) En el punto (r0 , 0 ) se verican las ecuaciones de Cauchy-Riemann en
coordenadas polares:
ur (r0 , 0 ) =
1
v (r0 , 0 ) y
r0
1
u (r0 , 0 ) = vr (r0 , 0 ).
r0
Adems, la derivada de la funcin f (z) se podr calcular con la expresin
f 0 (z0 ) = ej0 (ur (r0 , 0 ) + jvr (r0 , 0 )) .
Nota: Para este teorema hay que tener en cuenta tambin lo dicho en las notas
1 y 2 del teorema anterior.
1.5 Derivacin
41
Ejercicio: Estudie en qu puntos son diferenciables las siguientes funciones:

1) f (z) = ez
Expresando f (z) como par de funciones reales, f (z) = u(x, y) + jv(x, y),
vemos que u(x, y) = ex cos y y v(x, y) = ex sen y . Estas funciones tienen
las siguientes derivadas parciales:
ux = ex cos y ; uy = ex sen y ; vx = ex sen y ; vy = ex cos y

Dichas derivadas parciales existen y son continuas en cualquier entorno
de todo punto (x, y) IR2 , y adems verican las ecuaciones de CauchyRiemann (x, y) IR2 , puesto que
ux (x, y) = ex cos y = vy (x, y) , uy (x, y) = ex sen y = vx (x, y)

Por tanto, existe la derivada de f (z), y dicha derivada toma el valor
f 0 (z) =
dez
u
v
| .
=
+j
= ex cos y + jex sen y = ez , z C
dz
x
x
2) f (z) = sen z
La funcin seno se puede escribir como
sen z =
ejz ejz
,
2j
y por ser una combinacin lineal de exponenciales, que son diferenciables

|
|
en C,
vemos que sen z es diferenciable z C.
Adems, su derivada se
puede calcular como
(sen z)0 =
jejz + jejz
ejz + ejz
| .
=
= cos z, z C
2j
2
3) f (z) = cos z
La funcin coseno se puede escribir como
cos z =
ejz + ejz
,
2
y por ser una combinacin lineal de exponenciales, que son diferenciables

|
|
en C,
vemos que cos z es diferenciable z C.
Adems, su derivada se
puede calcular como
(cos z)0 =
1 jz
jejz jejz
j jz
| .
=
e ejz =
e ejz = sen z, z C
2
2
2j
42
4) f (z) = ln z
Puesto que la funcin ln z es una funcin multiforme y la derivada de
una funcin est denida para funciones uniformes, habr que estudiar
la diferenciabilidad de cada una de las ramas de la funcin ln z , que s
| {0}, la rama k -sima
son funciones uniformes. Recordemos que z C
0
de la funcin logaritmo se puede expresar como
(ln z)k0 = Ln |z| + j( + 2k0 ), < < + 2, k0 ZZ.

Puesto que |z| = r, vemos que las funciones componentes de la rama del
logaritmo son u(r, ) = Ln r (r > 0) y v(r, ) = +2k0 ( < < +2),
y sus derivadas parciales correspondientes sern:
ur =
1
; u = 0 ; vr = 0 ; v = 1.
r
Dichas derivadas parciales existen y son continuas en algn entorno de

los puntos del dominio de denicin de la rama de la funcin logaritmo,
y verican las ecuaciones de Cauchy-Riemann en coordenadas polares,
ur =
1
1
1
= v , u = 0 = vr .
r
r
r
Por tanto, cada rama k0 -sima de la funcin logaritmo es diferenciable

| : r > 0, <
en todo punto de su dominio de denicin, {z = rej C
< + 2}. Hemos de notar que no sern diferenciables en los puntos
del corte de rama, = , que incluye al punto de ramicacin z = 0.
La derivada de la rama k0 -sima se podr calcular como:
(ln z)k0
= ej (ur + jvr ) = ej
1
1
1
= j = .
r
re
z
Esta derivada es independiente del k0 elegido, luego todas las ramas de

la funcin logaritmo tienen la misma derivada, y esto lo expresaremos
diciendo que la derivada de la funcin logaritmo es
1
| {0}.
(ln z)0 = , z C
z
5) f (z) = z a = ea ln z
Cada rama de la funcin potencia es una composicin de la funcin exponencial con la funcin logaritmo, y por tanto cada rama de la funcin
potencia ser diferenciable en su dominio de denicin por ser composicin de funciones diferenciables en ese dominio de denicin (recordemos que la rama k0 -sima de la funcin potencia se calcula a partir de
la rama k0 -sima de la funcin logaritmo, y por tanto ambas tienen el
1.6 Funciones holomorfas
43
mismo dominio de denicin). Para cualquier rama de la funcin logaritmo tendremos la misma derivada, y por tanto lo mismo ocurrir con la
funcin potencia, de forma que su derivada en su dominio de denicin
ser, aplicando la regla de la cadena,
d ea(ln z)k0 d (a(ln z)k0 )

1
1
(z ) =
= ea ln z a = ea ln z a ln z =
d (a(ln z)k0 )
dz
z
e
a 0
= ae(a1) ln z = az a1 .
| {0}
6) f (z) = az = ez ln a a C
Cada rama de la funcin exponencial generalizada es una composicin de
la funcin exponencial con la funcin z(ln a)k0 , y por tanto dicha funcin
exponencial generalizada ser diferenciable en su dominio de denicin,
o sea, en todo el plano complejo. Su derivada la calcularemos haciendo
uso de la regla de la cadena:
d ez ln a d(z ln a)
z 0
| .
(a ) =
= ez ln a ln a = ln a az , z C
d(z ln a)
dz

1.6.1 Deniciones
Hasta ahora hemos estudiado la diferenciabilidad de una funcin de variable
compleja en un punto cualquiera del plano complejo. Sin embargo, la situacin
ms interesante ser aquella en la que la funcin a tratar sea diferenciable en
un abierto conexo.
Denicin 1.7 (Holomorfa) Diremos que una funcin compleja f (z) es

|
holomorfa en el punto z0 C
si es diferenciable en todo punto de algn entorno de z0 .
Podemos encontrar tambin que en numerosas ocasiones, se dir que f (z) es

analtica en z0 en vez de holomorfa. Aunque e efectos prcticos el concepto
de holomorfa es equivalente al de analiticidad, sus deniciones son distintas,
y por tanto, de momento, consideraremos solo el notar a las funciones como
holomorfas hasta que se introduzca la denicin de funcin analtica.
Una funcin diferenciable en un punto no tiene por qu ser holomorfa en ese
punto. Esto podemos verlo en el siguiente ejemplo.
Ejemplo 1.17 En el ejemplo 1.14 vimos que f (z) = |z|2 solamente es diferenciable en z = 0. Sin embargo, puesto que no existe ningn entorno del origen
44
en el que la funcin sea diferenciable, f (z) no es holomorfa en z = 0, ni en

ningn punto del plano complejo.
Denicin 1.8 Diremos que una funcin es holomorfa en el dominio D si
es holomorfa en todos los puntos de D. Al conjunto de todas las funciones

holomorfas en D lo notaremos por H(D).
Denicin 1.9 (Puntos regulares y singulares) Sea f (z) una funcin de
|
variable compleja. Diremos que z0 C
es punto regular de f (z) si f (z) es
holomorfa en z0 . Si por el contrario f (z) no es holomorfa en z0 , diremos que
z0 es un punto singular.
Sea z0 un punto singular de la funcin de variable compleja f (z).

a) Si existe algn -entorno de z0 que no contenga otros puntos singulares
de f (z), diremos que z0 es un punto singular aislado.
b) Si todo -entorno de z0 contiene algn otro punto singular de f (z), diremos que z0 es un punto singular no aislado.
Clasicacin de puntos singulares

Sea z0 un punto singular de la funcin compleja f (z). Su clasicacin se har
atendiendo al valor de limzz0 f (z).
a) Si lim f (z) existe y es nito, diremos que z0 es un punto singular evitable
zz0
de f (z).
b) Si lim f (z) = , diremos que z0 es un polo de la funcin f (z). En
zz0
este caso, podemos asegurar que existe n IN tal que lim (z z0 )n f (z)
zz0
existe, es nito y no es nulo. El mnimo n para el cual se cumpla esto

ser el orden del polo. As, si n = 2, diremos que z0 es un polo doble, si
n = 3 diremos que es polo triple, etc.
c) Si lim f (z) no existe, entonces diremos que z0 es un punto singular
zz0
esencial de f (z).
Denicin 1.10 Diremos que la funcin de variable compleja f (z) es entera

si es holomorfa en todo el plano complejo.
Denicin 1.11 Diremos que la funcin de variable compleja f (z) es meromorfa si todos sus puntos singulares son polos, aunque puede ser que el punto
del innito sea una singularidad esencial.
45
El comportamiento del punto del innito

El comportamiento de z = en la funcin f (z) se analizar siempre estudiando el comportamiento del punto z = 0 en la funcin f (1/z), considerando
que ambos tienen el mismo comportamiento. As, si z = 0 es un punto regular
(singular) de f (1/z), z = ser un punto regular (singular) de f (z). En el
caso de ser un punto singular, tendr el mismo tipo de singularidad que z = 0
en f (1/z).
1.6.2 Operaciones con funciones holomorfas

Sean las funciones de variable compleja f, g H(D). Entonces, las
operaciones habituales entre f y g cumplen las siguientes propiedades de
holomorfa:
a) f (z) g(z) H(D)
b) f (z)g(z) H(D)
f (z)
| : g(z) = 0})
H(D {z C
c)
g(z)
Si f (z) es una funcin holomorfa en el dominio D, la imagen de D por

f (z) es R, y h(z) es holomorfa en R, entonces se verica que la composicin
F (z) = h(f (z))
es holomorfa en D.
1.6.3 Holomorfa de las principales funciones elementales

Funciones uniformes
1) Consideremos la funcin f (z) = z , cuyas funciones componentes u(x, y) =
x y v(x, y) = y (con z = x+jy ) tienen derivadas parciales ux = 1, uy = 0,
vx = 0 y vy = 1. Estas derivadas parciales existen y son continuas en
cualquier entorno de todo punto de IR2 , y adems verican las ecuaciones
de Cauchy-Riemann, puesto que se verica que
ux = 1 = vy , uy = 0 = vx .
|
Luego f (z) es diferenciable z C,
y por tanto diferenciable en cualquier
|
|
-entorno de todo z C. As pues, f (z) = z es holomorfa en todo C,
es
decir, es entera. Teniendo en cuenta lo visto en cuanto a operaciones con
funciones holomorfas, vemos entonces que las funciones
g(z) = z n
46
son enteras para cualquier n IN, y por induccin se puede demostrar

que tienen derivada
g 0 (z) = nz n1 .
Visto esto, puesto que los polinomios complejos de orden n, Pn (z), son
suma de funciones enteras, entonces Pn (z) = a0 z n + a1 z n1 + . . . + an es
una funcin entera.
2) Sean Pn (z) y Qm (z) dos funciones polinmicas complejas de orden n y
m. La funcin
Pn (z)
R(z) =
Qm (z)
| {z
es un cociente de funciones enteras, por lo que ser holomorfa en C
| : Q (z) = 0}. Se puede ver fcilmente que todas las singularidades de
C
m
R(z) son aisladas, y adems son polos, por lo que podemos decir que los
cocientes de polinomios son funciones meromorfas.
3) Sea la funcin exponencial f (z) = ez . Anteriormente vimos que esta
funcin es diferenciable en todo el plano complejo, luego es diferenciable
|
en cualquier -entorno de todo punto z C,
por lo que podemos decir
que la funcin exponencial es entera. Su nica singularidad es el punto
del innito.
4) Las funciones trigonomtricas e hiperblicas sen z , cos z , senh z y cosh z
son enteras, pues son combinaciones lineales de funciones exponenciales,
que son enteras. La nica singularidad de todas ellas es el punto del
innito.
La funcin tg z es un cociente de funciones enteras, por lo que es holo| {z C
|
morfa en C
: cos z = 0}. Adems, tiene derivada (tg z)0 =
1/ cos2 z . El punto del innito tambin es un punto singular de esta funcin.
Anlogamente, la funcin tanh z es un cociente de funciones enteras, por
| {z C
| : cosh z = 0}. Adems, tiene derivada
lo que es holomorfa en C
(tanh z)0 = 1/ cosh2 z . El punto del innito tambin es un punto singular
de esta funcin.
En resumen, las funciones Pn (z), Pn (z)/Qm (z), ez , sen z , cos z , tg z , senh z ,
cosh z y tanh z son funciones holomorfas en todo el plano complejo salvo en
los puntos en que no estn denidas. Sus nicas singularidades son los mencionados puntos en que no estn denidas y el punto del innito.
En general, todas las funciones que se obtengan a partir de las anteriores aplicando operaciones aritmticas (suma, resta, producto y cociente) o composicin, son funciones holomorfas en todo el plano complejo salvo en los puntos
en que no estn denidas.
47
Funciones multiformes
1) Sea la funcin logaritmo, f (z) = ln z . Cada rama de ln z es diferenciable
| : r > 0, < < + 2},
en su dominio de denicin, {z = rej C
luego cada rama es holomorfa en dicho dominio de denicin. As pues,
no es holomorfa en el corte de rama = , que incluye al punto de
ramicacin z = 0, y tampoco lo es en el punto del innito.
2) Sea la funcin potencia, z a = ea ln z . Al ser composicin de la funcin
exponencial, que es entera, con la funcin logaritmo, que es holomorfa
en su dominio de denicin (el mismo que el de z a ), z a es una funcin
holomorfa en su dominio de denicin.
| {0}.
3) Sea la funcin exponencial generalizada, az = ez ln a , con a C
Cada rama de esta funcin es entera, puesto que es composicin de las
funciones exponencial y potencia, que son enteras. Su nica singularidad
es el punto del innito.
1.6.4 Regla de L'Hpital

Teorema 9 (La regla de L'Hpital)
| y tales que f (z ) = g(z ) = 0
Sean f (z) y g(z) holomorfas en el punto z0 C
0
0
y g 0 (z0 ) 6= 0. Entonces, se verica que
lim
zz0
f (z)
f 0 (z0 )
= 0
.
g(z)
g (z0
La demostracin de este teorema se estudiar ms adelante.
Ejemplo 1.18 Calculamos el lmite

lim
z2j
z 2j
.
z 4 16
Tanto el numerador como el denominador son funciones enteras y concretamente son holomorfas en z = 2j , y se anulan ambas en dicho punto. Adems,
g 0 (z) = 4z 3 , de forma que g 0 (2j) = 32j 6= 0. Por tanto, podemos aplicar la
regla de L'Hpital para calcular el lmite, de forma que
lim
z2j
1
1
z 2j
=
=
j.
z 4 16
32j
32
48
Nota: Esta regla puede aplicarse reiteradamente de la siguiente forma:

Si f (z) y g(z) son funciones holomorfas en z0 , tales que f (z0 ) = g(z0 ) =
f 0 (z0 ) = g 0 (z0 ) = . . . = f (n (z0 ) = g (n (z0 ) = 0 y g (n+1 (z0 ) 6= 0, entonces
lim
zz0
f (z)
f (n+1 (z0 )
= (n+1
.
g(z)
g
(z0 )
Ejercicio. Calcule el siguiente lmite:

1 cos z
z0 sen z 2
lim
1.6.5 Otras propiedades de las funciones holomorfas

Veamos a continuacin otras propiedades de las funciones holomorfas.
Teorema 10
|
Sea f (z) una funcin compleja holomorfa en el abierto conexo D C.
Si
0
f (z) = 0, z D, entonces f (z) es constante z D.
Demostracin. Si f (z) es holomorfa en D, entonces podemos escribir su

derivada como
f 0 (z) = ux (x, y) + jvx (x, y), z = x + jy D.

Aplicando la condicin f 0 (z) = 0, tenemos que
ux (x, y) + jvx (x, y) = 0,

lo cual se dar si y slo si
ux (x, y) = 0 y vx (x, y) = 0,
y aplicando las ecuaciones de Cauchy-Riemann a estas igualdades (pues f (z)
H(D)), tendremos tambin que
vy (x, y) = 0 y uy (x, y) = 0.
Ahora bien, tenemos que ux = 0 y uy = 0, por lo que u(x, y) tomar un valor
constante real en D, u(x, y) = a, y de forma anloga razonamos que, puesto
que vx = vy = 0, v(x, y) toma un valor constante real en D, v(x, y) = b. As
pues,
f (z) = u(x, y) + jv(x, y) = a + jb, z = x + jy D
tendr el valor complejo constante a + jb en todo punto de D, c.q.d.
49
Proposicin 1 Sea f (z) una funcin holomorfa en el abierto conexo D C| .
Entonces, f (z) tiene derivadas de todos los rdenes, y dichas derivadas sern
tambin holomorfas en D.
La demostracin de esta proposicin la veremos ms adelante.
Nota: Teniendo en cuenta la proposicin anterior, podemos deducir que si

| ,
f (z) = u(x, y)+jv(x, y) es una funcin holomorfa en el abierto conexo D C
las funciones reales u(x, y), v(x, y) C (D).
Proposicin 2 Sea f (z) una funcin holomorfa en el abierto conexo D C| .

Entonces si:
a) f (z) IR z D, o
b) f (z) H(D), o
c) |f (z)| es constante (real) z D,
la funcin f (z) es constante z D.
Demostracin. La demostracin de los apartados a) y b) se deja como ejercicio al lector. La demostracin del apartado c) es como sigue.
Si |f (z)| = k , donde k es una constante real, y considerando que f (z) =
u(x, y) + jv(x, y), con z = x + jy , entonces tenemos que
u2 + v 2 = k 2 = c.
Las derivadas parciales con respecto a x e y de esta expresin sern
2uux + 2vvx = 0
y
2uuy + 2vvy = 0.
De estas expresiones obtenemos las igualdades
uux = vvx , uuy = vvy ,

que divididas entre ellas nos llevan a que
vx
ux
=
y, por tanto, ux vy vx uy = 0.
uy
vy
Si aplicamos ahora las ecuaciones de Cauchy-Riemann, tendremos la igualdad
u2x + vx2 = 0,
que es equivalente a |f 0 (z)|2 = 0, lo cual nos lleva a concluir, aplicando el
teorema 10, que f (z) es constante en todo punto de D.
50
1.7 Funciones armnicas

1.7.1 Deniciones
Del Anlisis Matemtico de funciones de variable real obtenemos las siguientes
deniciones.
Denicin 1.12 Sea T : D IR2 IR una funcin con primeras y segun-
das derivadas parciales continuas en el abierto conexo D, y tal que verica la

ecuacin de Laplace
2 T
2T
2T
+
= 0, (x, y) D.
x2
y 2
Entonces diremos que T (x, y) es una funcin armnica en D.
Denicin 1.13 Sean T, S : D IR2 IR dos funciones armnicas en D.
Entonces, si verican las relaciones
T
S
T
S
=
y
= , (x, y) D,
x
y
y
x
diremos que T y S forman un par de funciones armnicas conjugadas en D,
o bien que S es armnica conjugada de T .
1.7.2 Relacin entre funciones armnicas y funciones holomorfas

Sea f (z) = u(x, y) + jv(x, y), con z = x + jy , una funcin holomorfa en el
|
abierto conexo D C.
Entonces, las funciones reales u y v son diferenciables en
D, y verican las ecuaciones de Cauchy-Riemann en D, ux = vy y uy = vx .
Adems, por la proposicin 2, tenemos que u, v C (D), y por tanto se
cumplen las relaciones
uxy = uyx , vxy = vyx .
Apliquemos ahora derivadas paciales en las ecuaciones de Cauchy-Riemann:
/x
ux = vy uxx = vyx
uy = vx uyy = vxy
/y
Sumando las expresiones obtenidas y aplicando la segunda relacin anterior,

tenemos que
uxx + uyy = vyx vxy = 0, (x, y) D,
51
es decir, que u es una funcin armnica en D. Apliquemos otra vez las otras
derivadas parciales primeras a la ecuaciones de Cauchy-Riemann:
/y
ux = vy uxy = vyy
uy = vx uyx = vxx
/x
Restando ahora estas ltimas expresiones obtenidas y aplicando la primera

relacin obtenida anteriormente, tenemos que
vyy (vxx ) = vxx + vyy = uxy uyx = 0, (x, y) D,

es decir, que v es tambin una funcin armnica en D.
A partir de esto, podemos deducir entonces que la funcin de variable compleja
f (z) = u(x, y) + jv(x, y), con z = x + jy , es holomorfa en el abierto conexo
| si y slo si las funciones de dos variables reales u y v forman un par de
D C
armnicas conjugadas en D.
1.7.3 Propiedades elementales de las funciones armnicas

Revisamos algunas de las propiedades elementales de las funciones armnicas.
1) Si T (x, y) es constante en D, entonces es armnica en D.
2) Si u1 (x, y) y u2 (x, y) son dos funciones armnicas en D, entonces se
cumple que:
a) u1 (x, y) + u2 (x, y) es una funcin armnica en D.
b) cu1 (x, y) es una funcin armnica para cualquier constante real c.
Es decir, que el conjunto de funciones armnicas en un abierto conexo
D IR2 tiene estructura de espacio vectorial.
3) Si u y v1 forman un par de funciones armnicas conjugadas en D, y u
y v2 forman otro par de funciones armnicas conjugadas en D, entonces
necesariamente ha de cumplirse que v2 v1 = cte en D.
Demostracin. Si u y v1 forman un par de funciones armnicas conjugadas en D, entonces cumplen las relaciones
v1
u
v1
u
=
y
=
, (x, y) D.
x
y
y
x
52
As mismo, si u y v2 forman un par de funciones armnicas conjugadas

en D, entonces cumplen las relaciones
u
v2
u
v2
=
y
=
, (x, y) D.
x
y
y
x
Restando los dos pares de ecuaciones, obtenemos las relaciones
(v1 v2 )
(v1 v2 )
=0 y
= 0,
x
y
a partir de los cuales podemos deducir que la funcin v1 v2 toma un
valor constante real (x, y) D.
1.7.4 Construccin de la funcin armnica conjugada y

reconstruccin de la funcin holomorfa a partir de
la parte real y/o imaginaria
Ahora nos proponemos resolver los dos problemas siguientes:
Problema 1 Dada una funcin u : D IR2 IR armnica en D, nos interesa

hallar una funcin v : D IR2 IR armnica conjugada de u en D.
Problema 2 Dada una funcin u : D IR2 IR armnica en D, nos interesa

hallar una funcin f (z) holomorfa en D, de forma que u(x, y) = Re[f (z)], con
z = x + jy .
El poblema de encontrar una funcin holomorfa a partir de su parte imaginaria se reduce al problema 2, puesto que
v(x, y) = Re[jf (z)].

En efecto, si multiplicamos f (z) = u(x, y) + jv(x, y) por (j), tenemos que
jf (z) = v(x, y) ju(x, y),

o sea, v(x, y) = Re[jf (z)], teniendo en cuenta siempre que z = x + jy .
Por tanto, ambos problemas se reducen al siguiente. Dada la funcin u :
D IR2 IR armnica en D, nos interesa encontrar una funcin v : D
IR2 IR armonica en D, de forma que
ux = vy y uy = vx , (x, y) D.
Para resolver este problema usaremos el mtodo de Euler, considerando slo
el caso en que D sea un conjunto abierto simplemente conexo para asegurarnos
de la existencia de la armnica conjugada de la funcin u de la cual partimos.
53
Mtodo de Euler
Sea D IR2 un abierto simplemente conexo, y sea u : D IR una funcin armnica en D. Hemos de hallar una funcin v(x, y) tal que cumpla las
ecuaciones
v u
v
u
=
,
= , (x, y) D.
x
y y
x
Integrando con respecto a y la primera ecuacin de la expresin anterior, obtenemos
Z
u
v(x, y) =
dy + (x) = g(x, y) + (x).
x
Para determinar (x) derivamos en la ecuacin anterior con respecto a x,
v
=
g(x, y) + 0 (x),
x
x
y sustituyendo en la ecuacin anterior obtenemos que
u
= g(x, y) 0 (x) o sea, 0 (x) =
g(x, y).
y
x
y x
Ahora integramos con respecto a x la ecuacin anterior para obtener (x),
Z
u
(x) =
+
g(x, y) dx + k,
y x
donde k es una constante real arbitraria. Con todo esto concluimos nalmente
que
Z
Z
Z
u
u
u
v(x, y) =
dy
+
dy dx + k.
x
y x
x
Esta solucin constituir el conjunto de todas las armnicas conjugadas de u
en D, que, como se puede ver, se diferenciarn una constante aditiva k .
En cuanto al problema 2, la solucin nal ser f (z) = u(x, y) + jv(x, y), con
z = x + jy , que ser holomorfa en D.
Nota: Este problema tambin puede resolverse por el mtodo de la integral

curvilnea.
De la teora sobre integrales curvilneas reales, sabemos lo siguiente. Sean
P (x, y) y Q(x, y)dos funciones de dos variables reales que tienen primeras
derivadas parciales continuas en un abierto simplemente conexo D IR2 , y
sean (x0 , y0 ) y (x, y) un punto jo y un punto arbitrario, respectivamente, contenidos en D. Si estas funciones cumplen la relacin Py = Qx , entonces la
integral curvilnea
Z
P (s, t)ds + Q(s, t)dt

C
54
es independiente del camino C con extremos (x0 , y0 ) y (x, y) escogido, siempre

que est totalmente contenido en D. Adems, podremos expresar el resultado
como una funcin de las variables x e y ,
Z (x,y)
F (x, y) =
P (s, t)ds + Q(s, t)dt + k,
(x0 ,y0 )
donde k ser una constante aditiva real arbitraria, y las derivadas parciales
primeras de esa funcin vericarn
Fx = P, Fy = Q.
Si tenemos una funcin armnica u, sta verica la ecuacin de Laplace, de
donde se sigue que (uy )y = (ux )x en D. Adems, las segundas derivadas
parciales de u son continuas en D, lo que es equivalente a decir que las primeras
derivadas parciales de uy y ux son continuas en D. Si ahora jamos (x0 , y0 )
D y aplicamos el resultado anterior (viendo que podemos sustituir P por uy
y Q por ux ), tenemos que la funcin
Z (x,y)
v(x, y) =
ut (s, t)ds + us (s, t)dt + k,
(x0 ,y0 )
donde k es una constante aditiva real arbitraria, est bien denida en D, y sus
derivadas parciales verican
vx = uy , vy = ux .
O sea, que el conjunto de todas las funciones v(x, y) obtenido es el conjunto
de las funciones armnicas conjugadas de u(x, y) en D, y se verica que la
funcin f (z) = u(x, y) + jv(x, y), con z = x + jy , es una funcin holomorfa
en D.
1.8 Derivadas formales

A veces es conveniente trabajar con las variables z y z en lugar de x e y . Para
ello, tendremos en cuenta que, si z = x + jy entonces
x=
z + z
,
2
y=
z z
.
2j
Por tanto, cualquier funcin de variable compleja f (z) = u(x, y) + jv(x, y) se

podr expresar como
z + z z z
z + z z z
f (z) = u(x, y) + jv(x, y) = u
,
,
+ jv
.
2
2j
2
2j
1.8 Derivadas formales
55
Luego toda funcin compleja de variable compleja puede expresarse como una
funcin de z y de z, de la forma
f (z) = u(x(z, z), y(z, z)) + jv(x(z, z), y(z, z)).

Ahora, si aceptamos que z y z son "independientes", podremos obtener las
derivadas formales siguientes:
f
f u x f u y f v x f v y
=
+
+
+
z
u x z u y z v x z
v y z
f u x f u y f v x f v y
f
=
+
+
+
z
u x z u y z v x z v y z
Y puesto que
f
f
x
1 y
1 x
1 y
1
= 1,
= j,
= ,
= ,
= ,
= ,
u
v
z
2 z
2j z 2 z
2j
tenemos
v 1 v 1
f
u 1 u 1
1 u
v
1 u
v
=
+
+j
+
=
+j
+
+j
z
x 2 y 2j
x 2 y 2j
2 x
x
2j y
y
f
v 1 v
u 1 u
1
1
1 u
v
1 u v
=
+
+j
+
=
+j
+
z
x 2 y
2j
x 2 y
2j
2 x
x
2j y y
y sabiendo que
obtenemos nalmente
f
u
v
=
+j
x
x
x
f
u
v
=
+j
y
y
y
f
1
=
z
2
1
f
=
z
2
f
f
j
x
y
f
f
+j
x
y
Proposicin 3 Sea f (z) = u(x, y) + jv(x, y), con z = x + jy , una funcin

| y con u y v diferenciables (x, y) D .
denida en el abierto conexo D C
f
= 0 z D.
La funcin f (z) es holomorfa en D si y slo si
z
56
Demostracin.
) Si f (z) es holomorfa en D, con z = x + jy , entonces verica las ecuaciones de Cauchy-Riemann en D, ux = vy y uy = vx . Aplicando estas
condiciones en la segunda derivada formal obtenida, tenemos
f
1 f
f
1
u
v
v
u
=
+j
=
+j
+j
+j
=
z
2 x
y
2
x
x
y
y
u v
v u
1
+j
= 0, z D.
+
=
2
x y
x y
) Si
f
= 0, z D, entonces,
z
1
f
1 f
f
u v
v u
=
+j
.
0=
=
+j
+
z
2 x
y
2
x y
x y
Para que un nmero complejo sea nulo, sus partes real e imaginaria deben
de ser nulas. As pues, en D habrn de cumplirse
u v
u
v
=0
=
,
x y
x
y
v u
v
u
+
=0
= .
x y
x
y
Estas son las ecuaciones de Cauchy-Riemann. Como adems, por hiptesis las funciones u y v son diferenciables en D, por el teorema 6 deducimos
|
que f (z) es holomorfa en el abierto conexo D C.
De esta proposicin se pueden obtener dos conclusiones importantes:
Si f (z) es holomorfa en el abierto conexo D, entonces f (z) no depende

de z en D, o sea, que se puede expresar exclusivamente en trminos de
z.
Adems, si f (z) es holomorfa en el abierto conexo D, tenemos
1 f
f
f
f
f
=
+j
= j .
=0
z
2 x
y
x
y
Por lo que, sustituyendo esta relacin en la primera derivada formal,
obtenemos
f
f
f
=
= j .
z
x
y
Proposicin 4 Sea D un abierto del plano complejo, y D1 = {z : z D}.
Se cumple que f (z) es holomorfa en D si y slo si la funcin g(z) = f (

z ) es
holmorfa en D1 .
La demostracin de esta proposicin se deja como ejercicio para el lector.
Tema 2
Integracin compleja
2.1 Conceptos previos

Las integrales de funciones complejas de una variable compleja se denen sobre
curvas del plano complejo, por lo que revisaremos en primer lugar algunos
conceptos relacionados con curvas y conjuntos en el plano complejo. En este
tema se supondrn conocidas las nociones elementales relativas a la integracin
de funciones reales continuas a trozos en un intervalo compacto de IR. El
R
smbolo har siempre referencia a la integral de Riemann.
a) Conceptos relacionados con curvas en el plano complejo.
Denicin 2.1 Una curva en el plano complejo es una aplicacin continua
| .
: [a, b] C
Con abuso de terminologa, denominaremos curva a la imagen Img() =

([a, b]).
Frecuentemente la curva se expresa mediante la ecuacin paramtrica
(t) = x(t) + jy(t), a t b,

donde x(t) e y(t) son funciones reales continuas del parmetro real t
denidas en el segmento nito [a, b].
La curva es, por tanto, una aplicacin continua del intervalo a t b
| y los puntos imagen se ordenan atendiendo a los
en el plano complejo C
58
INTEGRACIN COMPLEJA
valores crecientes de t. A los puntos (a) y (b) los llamaremos extremo

inicial y nal de la curva , respectivamente.
Consideramos ahora otra ecuacin paramtrica de una curva continua,
1 ( ) = x1 ( ) + jy1 ( ) = z1 ( ), .
Denicin 2.2 Diremos que las ecuaciones paramtricas (t), a t

b, y 1 ( ), , determinan una misma curva si y slo si existe
una funcin = (t) continua y montona creciente en [a, b] tal que
(a) = , (b) = y (t) = 1 ((t)).
Denicin 2.3 Se dice que es una curva cerrada si sus extremos coinciden, es decir, si (a) = (b).
Denicin 2.4 Diremos que el punto z0 C| es punto mltiple de si
existen al menos dos valores t1 y t2 , de los cuales por lo menos uno es

distinto de a y de b, tales que (t1 ) = (t2 ) = z0 .
Denicin 2.5 Se dice que la curva es una curva simple (o curva de
Jordan) si no tiene puntos mltiples.
Por tanto, una curva cerrada simple es aquella para la cual (a) = (b)
con t [a, b] y no tiene puntos mltiples.
Denicin 2.6 Una curva es suave (o regular) si (t) C 1 [a, b].

Denicin 2.7 Un contorno en C| es una aplicacin : [a, b] C| que
verica lo siguiente:
1) es C 1 a trozos, es decir, es continua en [a, b] y existe un conjunto

nito {t1 , ..., tn }, con a < t1 < ... < tn < b, tal que tiene derivadas
continuas en [a, b]{t1 , ..., tn }, y 0 tiene una discontinuidad de salto
en ti , i {1, ..., n}.
2) 0 (t) 6= 0, t [a, b] {t1 , ..., tn } y limtti 0 (t) 6= 0, i {1, ..., n}.
En esta denicin, la derivada 0 (t) en los extremos a y b del intervalo
debe interpretarse lateralmente. El hecho de que la derivada de no
se anule en los intervalos [a, t1 ), (ti , ti+1 ) y (tn , b] signica la existencia
de un vector tangente a la curva en todo punto, excepto en los puntos
{t1 , ..., tn } donde, hablando de manera informal, puede haber cambios
bruscos en la direccin de la curva.
2.1 Conceptos previos
59
Nota: Diremos que una curva se recorre en sentido positivo, y lo notaremos de la forma ( ) cuando el sentido de recorrido de la misma sea el
contrario al de las agujas del reloj. Asimismo, diremos que recorremos
una curva en sentido negativo, y lo notaremos ) cuando el sentido de
recorrido de dicha curva sea el de las agujas del reloj.
|
b) Conceptos relacionados con abiertos conexos de C.
Denicin 2.8 Un abierto conexo D C| se denomina simplemente
conexo si su frontera Fr(D) (o bien, D) consta de una sola curva cerrada continua. Si dicha frontera consta de n curvas cerradas continuas,
denominadas componentes de frontera, diremos que D es un abierto nconexo.
Veamos algunos ejemplos de abiertos conexos:
1. El conjunto
| | r < |z z | < R, z C
| , r, R IR+ }
D = {z C
0
0
|
es un anillo de C,
y es abierto y acotado. Su frontera ser la unin
de dos componentes, Fr(D) = (Fr(D))1 (Fr(D))2 : la circunferencia
| : |z z | = r}, y la circunfeinterior de radio r, (Fr(D))1 = {z C
0
| : |z z | = R}. Este
rencia exterior de radio R, (Fr(D))2 = {z C
0
conjunto ser 2-conexo.
2. El conjunto
| | r < |z z | < , z C
| , r IR+ }
D = {z C
0
0
es un anillo innito. Su frontera ser la unin de dos componentes

tambin, Fr(D) = (Fr(D))1 (Fr(D))2 : la circunferencia interior
|
de radio r, (Fr(D))1 = {z C
: |z z0 | = r}, y el punto del
innito, (Fr(D))2 = {}. Al igual que el anterior, este conjunto
ser tambin 2-conexo.
3. El conjunto
| | |z 4j| + |z + 4j| < 10}
D = {z C
representa al conjunto de puntos interiores a una elipse con focos

en (0, 4), y es un abierto conexo cuya frontera tiene como nica
| | |z4j|+|z+4j| = 10}.
componente a dicha elipse, Fr(D) = {z C
Luego, en este caso, D es un abierto simplemente conexo.
60
INTEGRACIN COMPLEJA
4. El conjunto
| | x y > 0}
D = {z = x + jy C
representa geomtricamente a uno de los semiplanos en los que la

|
recta x y = 0 divide al plano complejo ampliado C.
El conjunto
D no est acotado, aunque s es conexo, y su frontera es Fr(D) =
| : x y = 0}. El punto del innito, z = , est contenido
{z C
en dicha recta, luego queda incluido en esa nica componente, y
tenemos que D es un abierto simplemente conexo.
2.2 Integracin de funciones complejas continuas

2.2.1 Denicin
Introducimos a continuacin el concepto de integral de una funcin compleja
continua a lo largo de contornos en el plano complejo.
Denicin 2.9 Sea f (z) una funcin denida y continua en el abierto conexo
|
|
|
D C
y sea : [a, b] C
un contorno en C
tal que ([a, b]) D. Si
consideramos (t) = x(t) + jy(t), t y f (z) = u(x, y) + jv(x, y), a la
expresin
Z
Z
f [(t)] 0 (t)dt,
f (z)dz =
se denomina integral de la funcin f sobre el contorno .
La integral compleja en trminos de integrales curvilneas reales

La integral del segundo miembro de la expresin anterior se entiende como
Z
Z
Z
0
0
f [(t)] (t)dt =
Re{f [(t)] (t)}dt + j
Im{f [(t)] 0 (t)}dt.
A partir de la denicin anterior, podemos ver que
f (z)dz =
[u(x(t), y(t))x0 (t) v(x(t), y(t))y 0 (t)] dt+
+j
[v(x(t), y(t))x0 (t) + u(x(t), y(t))y 0 (t)] dt.
Es evidente que las dos integrales que hemos obtenido son integrales curvilneas
R
reales del tipo P (x, y)dx + Q(x, y)dy a lo largo de la curva con P (x, y) =
61
u(x, y) y Q(x, y) = v(x, y) en el primer sumando y P (x, y) = v(x, y) y

Q(x, y) = u(x, y) en el segundo. Por tanto, la denicin dada es equivalente a
Z
Z
Z
f (z)dz = u(x, y)dx v(x, y)dy + j v(x, y)dx + u(x, y)dy
en trminos de integrales reales.
Nota. (Existencia de la integral): Teniendo en cuenta la ltima expresin

obtenida, la existencia de la integral de f (z) sobre queda garantizada por
la integrabilidad (en el sentido de Riemann) de funciones reales continuas a
trozos, pues la funciones Re{f [(t)] 0 (t)} y Im{f [(t)] 0 (t)} tienen en el intervalo [, ], a lo sumo, un nmero nito de discontinuidades de salto, por lo
que dichas integrales en [, ] existen (en el sentido de Riemann), y por tanto
existe la integral de f (z) a lo largo de .
R
Proposicin 5 La integral f es invariante frente a reparametrizaciones de
la curva , es decir, si ( ) es una funcin [c, d] [a, b] diferenciable, con
derivada ( ) > 0, [c, d] y sobreyectiva, y sea ( ) = (( )); entonces
Z
Z
f (z)dz = f (z)dz.
Demostracin. Por denicin de integral compleja,

Z
f (z)dz =
f (( )) 0 ( )d.
Aplicando la regla de la cadena, tenemos
0 ( )) =
d
d d
=
= 0 ((t)) 0 (t).
d
d d
Con lo que, sustituyendo en la expersin anterior, obtenemos

Z
Z d
Z d
0
f (z)dz =
f (( )) ( )d =
f ((( ))) 0 (( ))) 0 ( )d.
Por otra parte, si en el clculo de la integral de f (z) sobre aplicamos el

cambio de variable t = ( ), obtenemos
Z
Z b
Z d
0
f (z)dz =
f ((t)) (t)dt =
f ((( ))) 0 (( ))) 0 ( )d,
que es la integral anteriormente obtenida. Luego, se verica,

Z
Z
f (z)dz = f (z)dz,
como queramos probar.
62
INTEGRACIN COMPLEJA
Ejemplo 2.1 Comprobar que el valor de la integral, para n ZZ, es:
Z
n
(z a) dz =
2j,
0
|za|=r
si n = 1
si n =
6 1
Solucin
La curva admite la siguiente parametrizacin:
(t) = a + rejt , 0 t 2
Con esta parametrizacin, 0 (t) = jrejt , con lo que la integral resulta como
sigue:
(z a) dz =
|za|=r
re
jt n
Z
jt
jre dt = jr
n+1
ej(n+1)t dt =
R
j 2 dt = 2j si n = 1
0
2
n+1
1
n+1
j(n+1)t
jr
e
= rn+1 ej(n+1)2 1 = 0 si n 6= 1
j(n+1)
0
Este resultado se utiliza muy frecuentemente. En especial, para el caso de

n = 1, es interesante retener el resultado
Z
dz
= 2j.
za
|za|=r
Adems, como veremos ms adelante, este valor se seguir manteniendo si en

lugar de la circunferencia se toma una curva cualquiera simple cerrada y suave
a trozos, que comprenda al punto z = a en su interior.
2.2.2 Propiedades
De las propiedades, bien conocidas, de la integral de Riemann en variable
real, se deducen las siguientes propiedades para las integrales de funciones
complejas.
1) Propiedad lineal: Si f (z) y g(z) son dos funciones complejas continuas
en el contorno , y a y b dos constantes complejas arbitrarias, se cumple
Z
Z
Z
[af (z) + bg(z)] dz = a f (z)dz + b g(z)dz.
63
| , : [b, c] C,
|
2) Propiedad aditiva: Dados dos contornos 1 : [a, b] C
2
con 1 (b) = 2 (b), sea
(t) =
1 (t),
2 (t),
si t [a, b]
si t [b, c]
y f (z) continua en , entonces

Z
Z
Z
f (z)dz =
f (z)dz +
f (z)dz.
3) Propiedad de orientacin: Si f (z) es continua en el contorno y es

el contorno resultante de cambiar la orientacin de , entonces
Z
Z
f (z)dz = f (z)dz.
4) Propiedad general de estimacin: Si f (z) es continua en el contorno ,

siendo (t) = x(t) + jy(t), t , entonces el mdulo de la integral
verica
Z
Z
f (z)dz |f (z)|ds,
p
donde ds = | 0 (t)|dt = [x0 (t)]2 + [y 0 (t)]2 dt es la diferencial de longitud
de y la integral del segundo miembro es por tanto una integral del tipo
R
P (x, y)ds a lo largo de .
5) Propiedad especial de estimacin: Si f (z) es continua en el contorno
y, adems, |f ((t))| M, t [a, b], entonces
Z
f (z)dz M Long(),
siendo Long() la longitud de .

En efecto, dado que
Z
Z
Long() = ds =
Z
0
| (t)|dt =
[x0 (t)]2 + [y 0 (t)]2 dt
es igual a la longitud de , aplicando la propiedad general de estimacin,

tenemos que
Z
Z
Z
f (z)dz |f (z)|ds M ds = M Long().
64
INTEGRACIN COMPLEJA
EJERCICIOS
1) Hallar las siguientes integrales:
Z
a) I1 =
zdz, siendo la curva C1 : |z| = 1, y > 0, recorrida en el
C1
sentido de las agujas del reloj.

Sol.: I1 = j.
Z
b) I2 =
C2
zdz, siendo la curva C2 : |z| = 1, y < 0, recorrida en el
sentido contrario al de las agujas del reloj.

Sol.: I2 = j.
Z
c) I3 =
C3
ez dz , siendo la curva C3 la frontera del cuadrado con
vrtices en los puntos z0 = 0, z1 = 1, z2 = 1 + j , z3 = j , recorrida

en el sentido contrario al de las agujas del reloj.
Sol.: I3 = 4(e 1).
Z
d) I4 =
C4
Re(z)dz , siendo la curva C4 la lnea quebrada que va del
punto z = 0 al punto z = 1 y de ste ltimo al punto z = 1 + j , y

orientada en ese mismo sentido de recorrido.
Sol.: I4 =
Z
e) I5 =
C5
1
2
+ j.
|z|
z dz , donde C5 es la curva simple cerrada formada por
la semicircunferencia superior |z| = 1, Im z > 0, y por el segmento

[1, 1] del eje real, recorrida en el sentido de las agujas del reloj.
Sol.: I5 = j .
Z
f) I6 =
C6
zdz , siendo la curva C6 : |z| = t2 + jt que une los puntos
z0 = 0 y z1 = 4 + 2j , en el sentido de recorrido que va de uno a

otro.
Sol.: I6 = 10 38 j .
2) Hallar una cota superior del valor absoluto de la integral
Z
e1/z dz
donde es el arco de circunferencia (t) = ejt , 0 t /2 que une los

puntos (1, 0) y (0, 1) del plano complejo en sentido contrario a las agujas
del reloj.
1/z
Sol.: e dz e.
2
2.3 Integrales de funciones holomorfas
65

Los resultados ms interesantes para integrales complejas corresponden al caso
en que la funcin considerada es holomorfa. Se recogen en los distintos puntos
de esta seccin.
2.3.1 Teoremas sobre integrales de funciones holomorfas

Teorema 11 (Teorema de Cauchy-Goursat)
|
Sea f (z) una funcin holomorfa en un abierto simplemente conexo D C,
y
un contorno cerrado contenido en D. Entonces,
Z
f (z)dz = 0.
Demostracin. En esta demostracin nos limitaremos al caso en que es

un contorno cerrado simple contenido en un abierto simplemente conexo D,
aunque el teorema se verica para cualquier contorno cerrado contenido en D.
As, si llamamos E al abierto simplemente conexo cuya frontera es el contorno
cerrado simple y puesto que f (z) es una funcin holomorfa en D, entonces
f (z tiene derivadas de todos los rdenes en D y son holomorfas, y si escribimos
f (z) = u(x, y) + jv(x, y), las funciones u(x, y), v(x, y) C (D), en particular,
todas sus derivadas parciales de primer orden existen y son continuas en D y,
en concreto, en E = E .
Como sabemos del anlisis real, si E es un abierto simplemente conexo,
cuya frontera es un contorno cerrado simple, y si P (x, y) y Q(x, y) son dos
funciones denidas en E = E y tales que P, Q, P/y, Q/x son
continuas en E , entonces se verica la frmula de Green,
Z
ZZ
Q P
P (x, y)dx + Q(x, y)dy =
dxdy.
x
y
E
Usando la denicin de integral compleja en trminos de integrales curvilneas
reales, y aplicando la frmula de Green, tendremos
Z
Z
Z
f (z)dz = u(x, y)dx v(x, y)dy + j u(x, y)dy + v(x, y)dx =
ZZ
ZZ
v u
u v
=
dxdy + j
dxdy.
x y
x y
E
E
Dado que la funcin f es holomorfa, se cumplen las ecuaciones de CauchyRiemann, u/x = v/y , u/y = v/x, por lo que las integrales dobles
sern nulas, y por tanto
Z
f (z)dz = 0.
66
INTEGRACIN COMPLEJA
Del teorema de Cauchy-Goursat se deduce que, si 1 y 2 son dos contornos

de extremos comunes y ambos estn contenidos en un abierto simplemente
| en el que la funcin es holomorfa, entonces
conexo D C
Z
Z
f (z)dz =
f (z)dz.
1
Para probar este resultado, consideramos cierto el teorema anterior para el

caso general. As, si consideraremos dos contornos 1 y 2 , de extremos comunes, entonces = 1 2 es un contorno cerrado pertenenciente al abierto
simplemente conexo D. Aplicando el teorema anterior y teniendo en cuenta la
propiedad aditiva, tenemos que
Z
Z
Z
0 = f (z)dz =
f (z)dz +
f (z)dz.
As, aplicando la propiedad de orientacin,

Z
Z
Z
f (z)dz =
f (z)dz =
f (z)dz,
2
lo cual es el resultado que buscbamos.
Teorema 12 (Teorema general de Cauchy-Goursat)

|
Sea un contorno cerrado simple perteneciente a un dominio G C,
y sean
1 , . . . , n contornos cerrados simples pertenecientes tanto a G como al recinto
acotado cuya frontera es , y tales que cada curva i est en el exterior de
cualquier otra curva k (con i, k = 1, 2, . . . , n; i 6= k ). Sea tambin el dominio
n + 1-conexo E cuya frontera est constituida por las curvas , 1 , . . . , n y
el cual pertenece a G. Si f (z) es una funcin holomorfa en E , tendremos que
Z
n Z
X
f (z)dz =
f (z)dz,
i=1
donde todas las curvas se recorren en el mismo sentido (por ejemplo, en el

contrario al de las agujas del reloj).
Puede parecer que el teorema general de Cauchy-Goursat no tiene inters prctico, ya que aumenta el clculo de una integral a lo largo de una curva al
clculo de varias integrales a lo largo de otras curvas 1 , . . . , n . Sin embargo,
esto no es as: si es una curva cualquiera, su parametrizacin ser, en general,
desconocida; no as las parametrizaciones de 1 , . . . , n , que quedan a nuestra
eleccin siempre y cuando cumplan las condiciones del teorema, de modo que
escogiendo adecuadamente estas curvas, podremos parametrizarlas fcilmente
y, por consiguiente, realizar los clculos de las integrales a lo largo de stas y
con ello calcular la integral a lo largo de .
67
Ejemplo 2.2 Calculemos la integral

Z
dz
,
za
donde es cualquier contorno cerrado simple que no pasa por el punto a y que
se recorre en el sentido contrario al de las agujas del reloj.
Llamaremos K al abierto simplemente conexo cuya frontera es la curva .
1
Vemos que la funcin f (z) = za
no es holomorfa en el punto z = a (presenta
un polo simple en este punto). Podrn presentarse dos casos en este problema:
1) Si el punto z = a
/ K entonces y K pueden sumergirse en un abierto
simplemente conexo D en el que la funcin f (z) es holomorfa. En tal
caso, podemos aplicar el teorema de Cauchy-Goursat, con lo que aseguramos directamente que
Z
dz
= 0.
z a
2) Supongamos ahora que el punto z = a K . En este caso no podemos aplicar el teorema de Cauchy, puesto que no existe un abierto
simplemente conexo que contenga a y K en el que la funcin f (z)
sea holomorfa. Tomemos una circunferencia r centrada en el punto
z = a y de radio r sucientemente pequeo como para que el entorno
U = D(a, r) K . Entonces, el abierto E con fronteras y r (que por
tanto es doblemente conexo) puede sumergirse en un dominio G en el
que la funcin es holomorfa. En este caso podremos aplicar el teorema
general de Cauchy-Goursat, con lo que tendremos, utilizando el resultado
obtenido en el Ejemplo 2.1,
Z
Z
Z
dz
dz
dz
=
=
= 2j,
za
za
r z a
|za|=r
As pues,
dz
=
za
2j
0
si a K
si a
/K
Este ejemplo nos sirve para ilustrar que el teorema de Cauchy-Goursat deja de
ser cierto si y su interior no pueden sumergirse en un abierto simplemente
conexo en el que la funcin sea holomorfa.
68
INTEGRACIN COMPLEJA
EJERCICIOS
1) Aplicando los teoremas de Cauchy-Goursat, calcular la integral
Z
(z a)n dz, n ZZ,
donde es cualquier contorno cerrado simple que no pasa por el punto

z = a, frontera de un abierto simplemente conexo K , y que se recorre en
sentido antihorario.
0
n
Sol.: (z a) dz =
2j
0
Z
2) Sabiendo que
si n 6= 1
si n = 1 y z = a K
si n = 1 y z = a
/ K.
Z
2
ez dz = 0,
lim
donde es la frontera del tringulo de vrtices (0, 0), (R, 0), (R, R)
recorrida en sentido antihorario, calcular las integrales de Fresnel:
Z
cos r2 dr
0
sen r2 dr
0
+
siendo r = |z| IR , teniendo en cuenta que
x2
e dx =
.
2
0
Z
Z
2
Sol.:
cos r dr =
0
1
sen r dr =
.
2 2
2
69
2.3.2 Frmula integral de Cauchy

Teorema 13 (Frmula integral de Cauchy)
|
Sea f (z) una funcin holomorfa en un abierto conexo G C
y cualquier
contorno cerrado simple contenido en G, orientado positivamente. Entonces,
para cualquier punto z0 del interior de , se verica la frmula integral de
Cauchy,
Z
1
f (z)
f (z0 ) =
dz,
2j z z0
donde se recorre en el sentido contrario al de las agujas del reloj.
Demostracin. Llamaremos D al abierto simplemente conexo cuya frontera

es la curva . Sea z0 un punto cualquiera de D. Supongamos la circunferencia
r |z z0 | = r, con r tal que el disco D(z0 , r) est contenido en D. El
abierto cuyas componentes de frontera son y r es doblemente conexo, luego
por el teorema general de Cauchy-Goursat,
Z
Z
1
f (z)
1
f ()
dz =
d,
2j z z0
2j r z0
donde lgicamente r .
Si restamos f (z0 ) en ambos miembros y recordamos el resultado obtenido en
R d
2.1, r z
= 2j , tendremos
0
1
2j
f (z)
1
dz f (z0 ) =
z z0
2j
Z
r
Z
f ()
1
d
d f (z0 )
=
z0
2j r z0
Z
1
f () f (z0 )
=
d.
2j r
z0
Aplicando la propiedad general de estimacin,
Z
Z
1
f
(z)
1
|f () f (z0 )|
dz f (z0 )
ds.
2j
2 r
| z0 |
z z0
Por la parametrizacin de la circunferencia r , sabemos que | z0 | = r, y
la longitud de la misma ser 2r. Recordando ahora la denicin de funcin
continua, y asumiendo que f (z) es continua en D (pues es holomorfa ah), para
cualquier > 0 podemos escoger r sucientemente pequeo tal que |f ()
f (z0 )| < r . Aplicando todo esto en la integral obtenida, tendremos
que
Z
Z
|f () f (z0 )|
1
1
1
ds
ds =
2r = ,
2 r
| z0 |
2 r r
2 r
o sea,
Z
1
f
(z)
dz f (z0 ) .
2j
z z0
70
INTEGRACIN COMPLEJA
Puesto que, tal y como hemos dicho antes, puede ser arbitrariamente pequeo,
y por tanto podemos hacerlo tender a 0, tendremos que
Z
1
f (z)
0.
dz
f
(z
)
0
2j
0
z
z
0
Luego, a partir de lo anterior, necesariamente tendr que ser

Z
1
f (z)
dz,
f (z0 ) =
2j z z0
tal y como queramos demostrar.
Esta frmula arma que si una funcin es holomorfa en un abierto conexo que
contiene a y al conjunto de puntos D del cual es frontera, entonces los valores
de dicha funcin en los puntos de D estn completamente determinados por
los valores de la funcin en la frontera . Esto signica que un cambio en los
valores de la funcin en el interior vendr acompaado de un cambio de los
valores en la frontera para que la funcin siga siendo holomorfa.
Nota. Podremos usar esta frmula para calcular integrales a lo largo de contornos cerrados simples; esto lo veremos mejor si la notamos en la forma
Z
f (z)
dz = 2jf (z0 ).
z z0
Ejemplo 2.3 Vamos a calcular la integral

Z
dz
,
+9
z2
donde es cualquier curva simple cerrada suave a trozos que no pase por los
puntos 3j y que se recorre en sentido positivo.
Los puntos 3j son los puntos donde se anula el denominador de la funcin
f (z) del integrando; es decir, son los puntos donde la funcin no es holomorfa.
De hecho, estos puntos sern puntos singulares aislados de la funcin f (z) =
1/z 2 + 9.
Podemos tener cuatro casos distintos, dependiendo de la posicin relativa entre
la curva y los puntos.
a) La curva no encierra a su interior a los puntos 3j . En este caso,
la curva y su interior pueden sumergirse dentro de un dominio simplemente conexo en el que la funcin f (z) es holomorfa. Por tanto, de
acuerdo con el teorema de Cauchy-Goursat, en este caso
Z
dz
= 0.
2
z +9
71
b) La curva encierra en su interior al punto 3j , y queda en su exterior

el punto 3j . En este caso, aplicando la frmula integral de Cauchy,
tendremos que
dz
=
2
z +9
= .
dz = 2j
z 3j
z + 3j z=3j
3
1
z+3j
Notemos que, para este caso, la curva y su interior pueden sumergirse

en un dominio simplemente conexo en el que la funcin g(z) = 1/z + 3j
es holomorfa.
c) La curva encierra en su interior al punto 3j , y queda en su exterior
el punto 3j . En este caso, aplicando la frmula integral de Cauchy,
tendremos que
dz
=
2
z +9
dz = 2j
= ,
z + 3j
z 3j z=3j
3
1
z3j
ya que la curva y su interior pueden sumergirse en un dominio simplemente conexo en el que la funcin numeradorg(z) = 1/z 3j es holomorfa.
d) El ltimo caso es aquel en el que los puntos 3j estn ambos contenidos
en el interior de la curva . En este caso, podemos aplicar el teorema
general de Cauchy-Goursat, con lo que
Z
Z
Z
dz
dz
dz
=
+
,
2
2
2
z +9
1 z + 9
2 z + 9
donde 1 y 2 son dos curvas contenidas en el interior de la curva ,
recorridas en sentido positivo y tales que 1 contenga en su interior al
punto 3j (y no al 3j ) y 2 contenga en su interior al punto 3j (y no
al 3j ).
La primera de esas integrales es idntica a la calculada en el apartado
b), y la segunda es idntica a la calculada en el apartado c). Por tanto,
Z
Z
Z
dz
dz

dz
=
+
= = 0.
2
2
2
3
3
1 z + 9
2 z + 9
z +9
Por tanto, el valor de la integral ser
dz
=
2
z +9
si 3j pertenecen al interior o al exterior de

si 3j pertenece al interior y 3j al exterior de .
si 3j pertenece al interior y 3j al exterior de
72
INTEGRACIN COMPLEJA
2.3.3 Derivadas de un funcin holomorfa. Frmula integral general de Cauchy

Veremos a continuacin dos resultados importantes. En concreto demostraremos
que si una funcin f (z) es holomorfa en un punto, f (z) tiene derivadas de todos los rdenes en ese punto y stas son holomorfas. Y adems stas pueden
calcularse mediante integracin utilizando una generalizacin de la frmula
integral de Cauchy, que llamaremos frmula integral general de Cauchy.
Teorema 14
|
y cualquier
contorno cerrado simple contenido en G, orientado positivamente. Entonces,
para cualquier punto z0 del interior de , la funcin f (z) tiene en ese punto
derivadas de todos los rdenes y son holomorfas, y se verica la frmula integral
general de Cauchy:
Z
k!
f (z)
(k)
f (z0 ) =
dz, k IN.
2j (z z0 )k+1
Este teorema implica que si una funcin f (z) = u(x, y) + jv(x, y) es holomorfa
en D (el interior de un contorno cerrado simple) y por tanto tiene derivadas
de todos los rdenes continuas en D, entonces las funciones reales u y v , que
forman un par de funciones armnicas conjugadas, tienen derivadas parciales
continuas de todos los rdenes en D.
Adems, los valores que una funcin holomorfa toma en los puntos del interior
de un contorno cerrado simple estn predeterminados por los valores que toma
la funcin en la frontera. Por tanto, los valores de una funcin armnica en el
interior de un contorno cerrado simple estn predeterminados por los valores de
esta funcin armnica en la propia curva. Todo esto tiene aplicacin inmediata
en Mecnica de Fluidos, Electrosttica y Termodinmica, entre otros.
Al igual que hicimos con la frmula integral de Cauchy, podemos escribir la
frmula integral general de Cauchy de la forma
Z
f (z)
2j (k)
dz =
f (z0 ),
k+1
k!
(z z0 )
con lo que gracias a ella podremos calcular el valor de integrales a lo largo de
contornos cerrados simples siempre que la funcin integrando tenga la estructura de la frmula.
Ejemplo 2.4 Calculemos la integral

Z
z 3 + 2z + 1
dz,
(z 1)3
73
donde es la curva |z| = 2, recorrida en sentido positivo.

Vemos que la forma de la funcin integrando es ideal para aplicar la frmula
integral de Cauchy, por lo que es probable que podamos usar la expresin
Z
f (z)
2j 00
dz
=
f (z0 )
3
2!
(z z0 )
para z0 = 1, donde f (z) = z 3 + 2z + 1. Esta funcin es holomorfa en y en
su interior (pues es entera), por lo que, en efecto, es aplicable dicha frmula
integral general de Cauchy.
Las derivadas primera y segunda de f (z) sern
f 0 (z) = 3z 2 + 2,
f 00 (z) = 6z.
Luego f 00 (1) = 6, y por lo tanto
Z 3
z + 2z + 1
2j
dz =
6 = 6j.
3
(z 1)
2!
Notemos que, si la curva fuera |z| = 1/2, entonces podramos haber aplicado
el teorema de Cauchy-Goursat, puesto que tanto la curva como su interior
habran podido sumergirse en un dominio simplemente conexo en el que la
3 +2z+1
funcin subintegral g(z) = z(z1)
3 es holomorfa. Por tanto, en ese caso hubiera
sido
Z 3
z + 2z + 1
= 0.
(z 1)3
|z|= 12
EJERCICIOS
1. Calcular la integral
z n enz dz n ZZ,
donde es la curva |z| = 1 recorrida en sentido antihorario.

(
Z
2j
(n)n1 si n < 0
(n1)!
Sol.:
z n enz dz =
0 si n 0.
| y a IR, con |z |2 > a. Calcular la integral

2. Sea z0 C
0
Z
sen z
dz,
3
(z z0 )
| tales que:
donde la curva representa al conjunto de puntos z C
|z|2 zz0 zz0 = a.

Z
Sol:
sen z
dz = j sen z0 .
(z z0 )3
74
INTEGRACIN COMPLEJA
2.3.4 Primitivas
Teorema 15 (Teorema de la primitiva)
|
Sea f (z) una funcin holomorfa en un dominio simplemente conexo D C
y sean z0 y z dos puntos de D. Entonces, la integral de f (z) a lo largo de
cualquier contorno que, perteneciendo a D, una los puntos z0 y z , toma un
nico valor sea cual sea la curva. Por tanto, podemos escribir la expresin
Z
Z z
f (z)dz =
f (z)dz.
z0
Si z0 es un punto jo de D y z es un punto arbitrario de D, la expresin

Z z
F (z) =
f (z)dz
z0
dene en D una funcin uniforme de z . Adems, esta funcin es holomorfa en

D con la particularidad de que F 0 (z) = f (z) z D, de modo que F (z) es
una primitiva de f (z) en D. Finalmente, si (z) es otra primitiva cualquiera
de f (z) en D, entonces
Z z
(z) = F (z) + C =
f (z)dz + C,
z0
donde C es una constante compleja. Es decir, que dos primitivas cualesquiera

de la funcin f (z) dieren tan slo en una constante.
Teniendo en cuenta lo anterior, si tomamos
Z z0
(z0 ) =
f (z)dz + C,
z0
vemos que (z0 ) = C , ya que por el teorema de Cauchy-Goursat,

0. As obtenemos la regla de Barrow para el caso complejo,
Z z
f (z)dz = (z) (z0 ).
R z0
z0
f (z)dz =
z0
Notas:
1) Si la funcin f (z) es holomorfa en un dominio simplemente conexo D,
entonces f (z) tiene primitiva global en D.
2) Si la funcin f (z) es holomorfa en un dominio G (no necesariamente
simplemente conexo), entonces la funcin f (z) siempre tiene primitiva
|
local en cualquier dominio D C
que sea simplemente conexo, pero
puede que no exista primitiva global.
75
Ejemplo 2.5 Calculemos las primitivas de la funcin f (z) = ez .

| (entera), y C
| es un dominio simplemente
La funcin f (z) es holomorfa en todo C
conexo. Por tanto, f (z) tendr primitivas globalmente, que vendrn dadas por
la expresin
Z
(z) =
es ds + C,
z0
donde C es una constante compleja y z0 y z dos puntos, el primero jo y

|
el segundo genrico, de C.
La integracin se realiza a lo largo de cualquier
contorno que una los puntos z0 y z . Podemos escribir la ecuacin paramtrica
de una posible curva para unir ambos puntos de la forma
s(t) = z0 + t(z z0 ), 0 t 1,
con lo que
s0 (t) = z z0 .
Por tanto, las primitivas nos quedarn como
(z) =
e ds =
z0
t=1
ez0 +t(zz0 ) (z z0 )dt + C = ez0 +t(zz0 ) t=0 + C =
= ez ez0 + C = ez + K,
donde K ser una constante compleja.

Para la resolucin de este ejemplo tambin podramos haber procedido te|
niendo en cuenta que d(ez )/dz = ez z C,
por lo que ez es una primitiva
|
de ez en C,
y por tanto cualquier primitiva se diferenciar en ella por una
constante. De ah deduciramos, por tanto, que (z) = ez + C .
En este caso, si desesemos calcular la integral entre 0 y 1 de f (z), tendramos
Z 1
ez dz = (1) (0) = (ez + C)z=1 (ez + C)z=0 = e 1.
0
EJERCICIOS
1. Calcular las integrales
Z
I1 =
Ln zdz,
Z
I2 =
Ln(z + 3)dz,
cuando : |z| = 1 y cuando : |z| = 2.
I = 2j si : |z| = 1
1
Sol.:
4j si : |z| = 2.
I2 ( : |z| = 1) = I2 ( : |z| = 2) = 0.
76
INTEGRACIN COMPLEJA
2.
a) Utilizando la regla de Barrow, calcular la integral
Ln zdz,
1
donde Ln z = Ln |z| + j Arg z, < Arg z , a lo largo del

segmento que une 1 con j .
b) Realizar el mismo clculo usando la denicin de integral curvilnea
compleja a lo largo del arco de circunferencia unidad que une 1 con
j . Por qu son iguales ambos resultados?
Z j
Sol.:
Ln zdz = 1 j.
2
1
3. Sea la funcin
f (z) = Ln
z
1+z
, 0 6= z 6= 1,
donde Ln z = Ln |z| + j Arg z, < Arg z .

a) Estudiar la regin en la que la funcin f (z) es holomorfa.
b) Sea (t) = 1 + rejt , r > 1, t [, ]. Calcular la integral
Z
I = f (z)dz.
Sol.:
a)
b)
| {z = x, x [1, 0]}
f (z) es holomorfa en C
I = 2j.
4. Si b IR y representa al segmento rectilneo que une el punto z0 = b

con el punto z1 = b + j , calcular
Z
2
lim
ez dz.
b
Z
Sol.: lim
ez dz = 0.
77
2.3.5 Principales resultados relacionados con el mdulo

de una funcin holomorfa
En este apartado resumiremos los resultados ms importantes acerca de los
valores mximos de los mdulos de las funciones holomorfas. Aunque para
ello, antes veremos un resultado importante.
Teorema 16 (Teorema del valor medio de Gauss)

Sea f (z) una funcin holomorfa en el abierto simplemente conexo D = {z
| | |z z | < } que contiene a la circunferencia C de centro z y radio , con
C
0
0
0 < < . Entonces, el valor de f (z) en el centro de la circunferencia z0 es
igual a la media aritmtica de los valores de f (z) sobre C , es decir,
1
f (z0 ) =
2
f z0 + ej d, 0 < < .
Demostracin. Consideremos una parametrizacin de la circunferencia C :

|z z0 | = , 0 < < ,
z() = z0 + ej , 0 2.
Puesto que C D es una curva simple y suave, D es simplemente conexo
y f (z) es holomorfa en D, entonces podemos aplicar la frmula integral de
Cauchy,
1
f (z0 ) =
2j
Z
C
f (z)
1
dz =
z z0
2j
2
0
f z0 + ej
jej d.
z0 + ej z0
Simplicando la expresin del integrando llegamos a
1
f (z0 ) =
2
f z0 + ej d,
tal y como queramos probar.
Nota: De este teorema se desprende la desigualdad
1
|f (z0 )|
2
f z0 + ej d.
Lema 2 Si f (z) es una funcin holomorfa y no constante en el abierto sim-
| | |z z | < }, entonces existe al menos un punto

plemente conexo D = {z C
0
z D para el que se cumple |f (z)| > |f (z0 )|.
78
INTEGRACIN COMPLEJA
Demostracin. Procedemos por reduccin al absurdo. Supongamos que para

todo punto z D se verica |f (z)| |f (z0 )|. Como f (z) no es constante en
D por hiptesis, no podramos tener el caso de igualdad, luego partiremos
suponiendo que z D se verica |f (z)| < |f (z0 )|.
Consideremos ahora que z D pertenece a su vez a la circunferencia C :
|z z0 | = , con 0 < < . Entonces, aplicando la desigualdad que obtuvimos
como hiptesis de reduccin al absurdo, |f (z)| < |f (z0 )|, se verica que
f z0 + ej < |f (z0 )| .
Si integramos esta desigualdad, dividiendo ambos miembros por 2 , tendremos
que
Z 2
Z 2

1
f z0 + ej d < 1
|f (z0 )|d = |f (z0 )|,
2 0
2 0
o sea,
Z 2

1
f z0 + ej d < |f (z0 )|.
2 0
Esta ltima desigualdad a la que hemos llegado es una contradiccin a la
desigualdad que dedujimos del Teorema del valor medio de Gauss,
1
|f (z0 )|
2
f z0 + ej d.
Por tanto, hemos llegado a una contradiccin, y la hiptesis de partida es

falsa. As pues, necesariamente ha de existir al menos un punto z D tal que
|f (z)| > |f (z0 )|, tal y como queramos probar
A partir de lo anterior podemos ya enunciar el principio del mdulo mximo.
Proposicin 6 (Principio del mdulo mximo) Si f (z) es una funcin
| , entonces |f (z)| no
holomorfa y no constante en un abierto conexo G C
alcanza su valor mximo en G.
Demostracin. Si |f (z)| alcanzara su mximo en z0 D G, siendo el

| | |z z | < }, entonces se vericara
abierto simplemente conexo D = {z C
0
que para todo z D, |f (z)| |f (z0 )|, lo cual contradice lo establecido por el
Lema 2.
Vemos a continuacin algunas consecuencias del principio del mdulo mximo.
Corolario 1 Si f (z) es continua en un cerrado y acotado R C| y es holoo
morfa y no constante en R, entonces |f (z)| alcanza su mximo en la frontera

o
de R, Fr(R), nunca en su interior, R.
79
Demostracin. Si f (z) es continua en R (cerrado y acotado), entonces f (z)

es uniformemente continua en R, y por tanto |f (z)| alcanza su mximo en R,
o sea, existe un z R para el cual |f (z )| |f (z)| para cualquier z R.
o
Puesto que R = R Fr(R), y por el principio del mdulo mximo z 6 R,

entonces necesariamente z Fr(R), como queramos probar.
Nota: Si en el Corolario 1 consideramos que
f (z) = u(x, y) + jv(x, y),

entonces podremos decir que las funciones u(x, y) y v(x, y) alcanzan sus reo
spectivos mximos en la frontera de R, Fr(R), nunca en su interior R.
En efecto, si consideramos la funcin
g(z) = ef (z) .
o
Puesto que la funcin f (z) es holomorfa en R, se verica que g(z) es tambin

o
holomorfa en R. Por tanto, |g(z)| alcanzar su mximo en la frontera de R,

o
nunca en su interior, R. Vemos que
|g(z)| = |eu+jv | = |eu ||ejv | = |eu | = eu ,

puesto que eu > 0 para todo u IR. Es decir, retomando lo anterior, podemos
decir que la funcin eu(x,y) tiene su mximo en la frontera de R. Puesto que
la funcin eu(x,y) es positiva y estrictamente creciente para todo u(x, y) IR,
entonces
max eu(x,y) = emax(u(x,y)) .

Por tanto, podemos concluir que max(u(x, y)) se alcanzar en Fr(R).
Anlogamente para v(x, y), podemos denir la funcin
h(z) = ejf (z) = eju+v ,

o
que es holomorfa en R ya que lo es f (z). El mdulo de |h(z)| vendr dado por
|h(z)| = eju ev = ev ,
o
funcin que alcanzar su mximo en Fr(R), nunca en R. Razonando de manera

anloga al caso anterior, ev(x,y) es positiva y estrictamente creciente para todo
v(x, y) IR, por lo que
max ev(x,y) = emax(v(x,y)) ,

y por tanto max(v(x, y)) se alcanzar en la frontera de R, Fr(R).
80
INTEGRACIN COMPLEJA
Corolario 2 Si f (z) es una funcin continua en el cerrado y acotado R C| ,

o
holomorfa y no constante en R y no nula en todos los puntos de R, entonces

o
|f (z)| alcanza un mnimo en Fr(R), nunca en R.
Demostracin. Sea la funcin compleja

F (z) =
1
,
f (z)
la cual est bien denida en R, pues f (z) 6= 0 z R por hiptesis. Esta

o
funcin es continua en R, y es holomorfa y no constante en R. Luego, aplicando

el Corolario 2, |F (z)| alcanza su mximo en Fr(R). Como |F (z)| alcanzar su
mximo all donde |f (z)| alcance su mnimo, entonces |f (z)| alcanza su mnimo
en Fr(R).
Nota: Si escribimos la funcin a partir de sus funciones reales componentes,

f (z) = u(x, y) + jv(x, y), con z = x + jy , siendo u(x, y) y v(x, y) armnicas
o
en R (pues f (z) es holomorfa en R), se puede demostrar tambin que u(x, y)

y v(x, y) alcanzan sus mnimos en Fr(R).
EJERCICIOS
1. Utilizando el Teorema del valor medio de Gauss de una funcin holomorfa
|
en un entorno de un punto z0 C,
hallar
Z 2
Ln(a + b cos )d, a > b 0.
0
Sugerencia: Encontrar dos nmeros reales x, y tales que a + b cos =

|x + yej |2 (x > y 0).
Z 2
a + a2 b2
Sol.:
Ln(a + b cos )d = 2 Ln
.
2
0
81
2. Hallar dnde se obtiene el valor mximo, y calcular dicho valor, del

mdulo de la funcin f (z) = cos z + j sen z , cuando z se encuentra en el
| | y 2 + 9x2 9}.
recinto R = {z = (x, y) C
Sol.: El mximo de |f (z)| se encuentra en el punto z = 3j y tiene el
valor max |f (z)| = e3 .
3. Hallar el valor mximo del mdulo de la funcin
f (z) = sen z
cuando z [0, 2] [0, 2] e indicar el punto donde se alcanza dicho
valor mximo.
z2 =
3
2
Sol.: El valor mximo se alcanza en los puntos z1 =

+ j2 , y toma el valor max | sen z| = cosh 2 .
+ j2 ,
4. Hallar, mediante el Teorema del valor medio de Gauss, la integral

Z 2
Ln x + yej d,
0
siendo x, y IR todo que x > y 0.
Z
Sol.:
Ln x + yej d = 2 Ln x.
5. Indicar razonadamente si la siguiente armacin es verdadera o falsa,

para cada uno de los casos a1) - a3): Sea f (z) continua en un cerrado y
acotado conexo no vaco K , y holomorfa y no constante en el interior de
K . Entonces, el mnimo absoluto de
a1) ef (z) ,
a2) |f (z)|2 ,
a3) |f (z)|2
se alcanza en la frontera Fr(K).

Sol.: a1) y a3) son verdaderas, a2) es falsa.
82
INTEGRACIN COMPLEJA
2.3.6 Principales teoremas derivados de la frmula integral de Cauchy

El teorema de Cauchy-Goursat nos sugiere la siguiente cuestin. Supongamos
que en un abierto simplemente conexo D la integral de f (z) vale cero a lo
largo de cualquier contorno cerrado perteneciente a ese abierto D. Bajo qu
condiciones podramos armar que la funcin f (z) es holomorfa en D? La
respuesta a esta pregunta nos la proporciona el siguiente teorema.
Teorema 17 (Teorema de Morera)

Sea f (z) una funcin continua en un abierto simplemente conexo D, y tal que
la integral de f (z) a lo largo de cualquier contorno cerrado perteneciente a D
sea nula, es decir,
Z
f (z)dz = 0
C
para cualquier contorno cerrado C tal que C D. Entonces, f (z) es holomorfa

en D.
Demostracin. Sea z0 D, denamos la funcin compleja

Z
F (z) =
f ()d.
z0
F (z) est bien denida, ya que la integral es independiente de la curva que

tomemos. Para ver esto, consideremos las curvas C1 y C2 , ambas contenidas en
D, con extremo inicial z0 y extremo nal z . En estas condiciones, C = C1 C2
es un contorno cerrado en D, y por hiptesis
Z
Z
Z
f ()d =
f ()d
f ()d = 0,
C
C1
C2
luego, en efecto, para cualesquier curvas C1 y C2 que cumplan las condiciones

anteriormente enunciadas
Z
Z
f ()d =
f ()d,
C1
C2
o sea, que el valor de la integral es independiente del camino escogido siempre

y cuando est contenido en D y tenga extremos z0 y z , y por tanto la funcin
F (z) est bien denida.
Para lo siguiente tendremos que tener en cuenta los siguientes aspectos:
a) Sea z un punto jo de D. En este caso, f (z) = K , y a partir de esto
obtendremos el resultado de la siguiente integral:
Z z+z
f (z)d = kz = f (z)z
z
83
b) Se verica
z+z
f ()d
F (z + z) F (z) =
z0
f ()d =
f ()d,
z0
donde es una curva cualquiera que vaya de z a z + z y cuya longitud

es L () = |z|.
c) Por hiptesis f es continua en D, o sea, que para todo > 0 existe algn
> 0 tal que si | z| < entonces |f () f (z)| < para cualquier
z D.
Con lo anterior y recordando las propiedades de la integracin compleja estamos en disposicin de probar que F 0 (z) = f (z), como vemos a continuacin.
F (z + z) F (z)
= 1 |F (z + z) F (z) zf (z)| =
f
(z)
|z|
z
a),b)
Z
Z
Z
1
|z|
1
f () d f (z)d
|f () f (z)| d <
=
|z|
|z|
|z|
b),c)
Si exigimos |z| < , como tiende a 0, |z| tender tambin a 0. Teniendo

en cuenta la anterior desigualdad y teniendo en cuenta que se tiene que cumplir
para cualquier > 0, tendremos que
F (z + z) F (z)
0.
f
(z)
z
Esto es lo mismo que escribir
F (z + z) F (z)
,
z0
z
f (z) = lim
y ese lmite es la denicin de F 0 (z), por lo que deducimos que
f (z) = F 0 (z).
Por tanto, la derivada de F (z) existe en todo punto de D, por lo que F (z)
es diferenciable en D, y como D es abierto y conexo, entonces F (z) es holomorfa en D. Aplicando la proposicin 1, F (z) tendr derivadas de todos los
rdenes holomorfas en D, por lo que concluimos que, en efecto, f (z) = F 0 (z)
es holomorfa en D.
84
INTEGRACIN COMPLEJA
Por ltimo, enunciamos otros teoremas relacionados con la frmula integral de

Cauchy.
Teorema 18 (Teorema de Liouville)

|
Si f (z) es una funcin entera y |f (z)| M z C,
entonces f (z) es constante
|
z C.
Teorema 19 (Teorema Fundamental del lgebra)

Todo polinomio complejo Pn (z) = an z n +an1 z n1 +. . . a0 de grado n 1 tiene
n races, contando cada una de ellas tantas veces como indique su multiplicidad
algebraica.
Tema 3
Series complejas
3.1 Sucesiones y series numricas complejas

3.1.1 Sucesiones de nmeros complejos
Introducimos en primer lugar la denicin de sucesin numrica compleja, as
como algunas de sus propiedades ms importantes.
Denicin 3.1 Sea w0 , w1 , w2 , . . . = {wn }n=0,1,2,... una sucesin o secuencia

innita de nmeros complejos. Diremos que el lmite de la sucesin wn es w
y escribiremos
lim wn = w
si > 0 n0 IN tal que para todo n > n0 se cumple que |wn w| < .
Geomtricamente, esto signica que para valores sucientemente grandes de
n, los puntos wn pertenecen a cualquier -entorno dado de w. Como podemos
elegir tan pequeo como se quiera, se deduce que el valor de n0 necesario
depender, en general, de .
Adems, tendremos en cuenta los siguientes aspectos.
Si una sucesin tiene lmite, ste es nico.

Toda sucesin que tiene lmite se dice que es convergente. En caso contrario se dice que es divergente.
86
SERIES COMPLEJAS
Relacin con sucesiones reales

Teorema 20
Sea la sucesin de nmeros complejos {wn = un + jvn }n=0,1,2,... . Esta sucesin
es convergente si y slo si las sucesiones reales {un }n=0,1,2,... y {vn }n=0,1,2,... son
convergentes. Adems, si
lim un = u y
lim vn = v,
entonces
lim wn = u + jv = w.
Propiedades
1. Si las sucesiones complejas {zn }n=0,1,2,... y {wn }n=0,1,2,... son convergentes,
con lmites z y w respectivamente, entonces se verica:
a) lim (zn + wn ) = z + w
n
b) lim (zn wn ) = z w
n
zn
z
=
si wn 6= 0, w 6= 0.
n wn
w
c) lim
2. Si lim zn = z , entonces se verica que lim |zn | = |z| = lim zn .

n
Demostracin. En efecto, puesto que la sucesin zn converge al lmite z ,

entonces > 0 existe un n0 IN tal que n > n0 se verica |zn z| < .
Aplicando esta misma denicin de lmite a la sucesin |zn |, vemos que
||zn | |z|| < |zn z| <

para todo ndice n > n0 , por lo que lim |zn | = |z|.
n
3.1.2 Series numricas complejas

Deniciones
Denicin 3.2 Sea {wk }k=0,1,2,... una sucesin de nmeros complejos. La ex-
presin
w0 + w1 + w2 + . . . + wn + . . . =
wk
k=0
se denomina serie numrica compleja, y a la suma de los n primeros trminos
Sn = w0 + . . . + wn1 =
n1
X
k=0
se le llama suma parcial n-sima de la serie.
wk
87
Denicin 3.3 Si existe un nmero complejo S C| tal que

lim Sn = S
se dice que la serie converge y que S es la suma de la serie, y escribiremos
S=
wk .
k=0
En caso contrario (o sea, si ese nmero es innito o no existe) diremos que la

serie diverge.
Nota: Puesto que la suma de una serie es el lmite de una sucesin (la sucesin
de sumas parciales), entonces una serie que es convergente tiene una nica
suma.
Denicin 3.4 Se dice que la serie

converge la serie
wk es absolutamente convergente si
k=0
|wk | formada por los mdulos de los trminos de la serie
k=0
inicial.
Toda serie absolutamente convergente es convergente, pero no toda serie convergente es absolutamente convergente. Esto nos indica que para estudiar la
X
wk se pueden utilizar los criterios conoconvergencia absoluta de una serie
k=0
cidos para series reales de trminos no negativos (el criterio de comparacin, el
X
|wk |.
del cociente, el de la raz, etc.), aplicndolos directamente a la serie
k=0
A partir de esto, si la serie converge absolutamente, podremos deducir que

converge.
Relacin con series reales

Teorema 21
Para que la serie
X
k=0
wk , dada wk = uk +jvk converja absolutamente (converja),
es necesario y suciente que converjan absolutamente (converjan) las series
X
X
reales
uk y
vk .
k=0
k=0
88
SERIES COMPLEJAS
Criterio necesario de convergencia
Proposicin 7 Si la serie
wn converge, entonces lim wn = 0.

n
n=0
El recproco de la condicin necesaria de convergencia no es cierto, es decir,
X
si lim wn = 0, no podemos asegurar que la serie
wn sea convergente. Por
n
ejemplo, la serie armnica
X
1
k=1
n=0
1
= 0.
k k
diverge, y sin embargo lim
Operaciones con series complejas

P
P
1. Si
n=0 zn y
n=0 wn son dos series complejas convergentes, con sumas
respectivas Z y W , entonces
| .
(azn + bwn ) = aZ + bW, a, b C
n=0
Es decir, cualquier combinacin lineal de series complejas convergentes

es convergente y su suma es la misma combinacin lineal de las sumas
de las series.
2. El producto de dos series absolutamente convergentes es una serie que
converge absolutamente y cuya suma es el producto de las sumas de
aquellas. Si la serie no converge absolutamente, el producto podra ser
divergente.
3. La multiplicacin de series se puede realizar mediante el mtodo conocido
X
X
como producto de Cauchy. Sean las series
zk y
wk . El producto
k=0
k=0
de estas dos series se puede realizar mediante el producto de Cauchy,

dibujando una tabla como la que mostramos y tomando como elementos
de la nueva serie la suma de los elementos de las sucesivas diagonales.
X
k=0
zk
wk =
k=0
(z0 w0 ) + (z0 w1 + z1 w0 ) + . . . =
X
(z0 wk + z1 wk1 + . . . + zk w0 ).
k=0
w0
z0
z0 w0
z1
z1 w0
w1
z0 w1
w2
z0 w2
z1 w1
..
.
z2
z2 w 0
..
.
..
.
4. Sean las series complejas
89
zk y
k=0
wk . La divisin de estas series
k=0
podemos escribirla en forma de otra serie,

P
X
k=0 zk
P
=
dk .
k=0 wk
k=0
Para calcular los elementos dk , escribiremos esta operacin en la forma
X
k=0
zk =
X
k=0
wk
dk ,
k=0
y aplicaremos el producto de Cauchy, con lo que obtendremos
zk =
k=0
(d0 wk + d1 wk1 + . . . + dk w0 ) .
k=0
A partir de esta ltima igualdad podremos ir despejando los distintos dk

(k = 0, 1, 2, . . .) identicando trminos en la igualdad.
Ejemplo 3.1 Vamos a estudiar la convergencia de la denominada serie geomtrica de nmeros complejos,
| .
qk = 1 + q + q2 + . . . + qn + . . . , q C
k=0

P
k
Sabemos que q k = |q|k y que la serie geomtrica real
k=0 |q| converge
absolutamente si |q| < 1 y diverge si |q| 1. Adems, la suma de esta serie es
P k
1
k=0 q = 1q , para |q| < 1.
Por otro lado, es fcil ver que la suma parcial n-sima de la serie es
Sn =
1 qn
, con q 6= 1.
1q
As, tenemos que
qn
1
1
lim
=
, si |q| < 1.
n
1 q n 1 q
1q
P
Adems, si q = 1, tenemos
n=0 1 que, por el criterio necesario de convergencia, diverge.
S = lim Sn =
Tenemos, por tanto, dos casos:
Si |q| < 1, la serie converge y su suma es S =

Si |q| 1, la serie diverge.
1
.
1q
90
SERIES COMPLEJAS
3.2 Series de funciones

Denicin 3.5 Sea {fk (z)}k=0,1,2,... una sucesin de funciones complejas de| . La expresin
nidas en un conjunto E C
f0 (z) + f1 (z) + . . . + fn (z) + . . . =
fk (z)
k=0
se denomina serie de funciones complejas denida en E .

Es fcil ver que, si jamos un valor z E , obtendremos una serie numrica
que puede resultar convergente o divergente.
Denicin 3.6 Se denomina conjunto o campo de convergencia de una serie
de funciones complejas denida en E al conjunto F E en el cual la serie

converge.
Denicin 3.7 Sea la serie de funciones complejas
fk (z), denida en E
k=0
| y convergente en el conjunto F E . Para cada punto z F la serie tiene

C
una suma. A la funcin compleja f (z) que asocia a cada punto z0 F su
suma f (z0 ) la llamaremos funcin suma de la serie. Esto signica que para
todo punto z F y para cualquier > 0 existe un ndice n0 , que en general
depender de y de z (algo que abreviaremos escribiendo n0 (, z)), para el cual
n1
|f (z) Sn (z)| = f (z)

fk (z) =
fk (z) < ,
k=0
k=n
siempre que n > n0 (, z).
A la expresin Rn (z) =
el punto z .
fk (z) se le denomina resto n-simo de la serie en
k=n
Denicin 3.8 Se dice que la serie de funciones
X
k=0
fk (z) denida en E con-
verge uniformemente en un conjunto F E si la serie converge en F y,

adems, para cualquier > 0 existe algn nmero natural n0 , que en general
depender nicamente del valor de (n0 ()), para el cual
fk (z) < ,
|Rn (z)| =
k=n
siempre que n > n0 ().
3.2 Series de funciones
91
La sutl diferencia existente entre las deniciones de convergencia y convergencia uniforme reside nicamente en la posiblidad de la ltima para escoger un
ndice n() independiente del punto z . Esto se da de la misma forma en el caso
de series de funciones reales.
Propiedades Adems de las propiedades de las series numricas, las series de

funciones complejas tienen otras propiedades vinculadas fundamentalmente a
la convergencia uniforme y que son inherentes a las series de funciones. stas
propiedades son las siguientes:
1) Criterio suciente de Weierstrass
| se verican las desigualdades
Si para todo punto z de un conjunto E C
|fk (z)| ck con k = 0, 1, 2, . . ., y la serie real de trminos no negativos
X
X
fk (z) converge uniforme y
ck es convergente, entonces la serie
k=0
k=0
absolutamente en E .
2) Continuidad de la suma
Si la serie de funciones complejas
fk (z) converge uniformemente en
k=0
|
un conjunto E C,
en el que sus trminos fk (z) son funciones continuas
en E , entonces la suma de la serie es una funcin continua en E .
3) Integracin de series
Sea un contorno en el que la serie
fk (z) converge uniformemente,
k=0
y sean los trminos de dicha serie funciones continuas en . Entonces, la

serie dada puede integrarse trmino a trmino, es decir,
!
Z X
Z
X
fk (z) dz =
fk (z)dz .
k=0
k=0
Esta propiedad se puede demostrar de forma idntica a su homloga de

series de funciones reales.
4) Derivacin de series
El resultado ms importante relacionado con la derivacin de series de
funciones complejas es el que se recoge en el siguiente teorema.
Teorema 22 (teorema de Weierstrass)
P
Si la serie de funciones complejas
k=0 fk (z) converge uniformemente
|
en el interior de un abierto conexo D C
(es decir, en todo conjunto
cerrado y acotado contenido en D), y los trminos de la serie, fk (z), son
92
SERIES COMPLEJAS
funciones holomorfas en D, entonces la suma de la serie es una funcin

holomorfa en D y la serie puede derivarse trmino a trmino tantas veces
como se quiera, es decir,
!(p
fk (z)
k=0
(p
fk (z)
z D, p IN.
k=0
Adems, todas las derivadas de la serie convergen uniformemente en todo

conjunto cerrado y acotado contenido en D (es decir, en el interior de
D).
Ejemplo 3.2 Estudiamos la convergencia y la convergencia uniforme de la

serie de funciones geomtrica,
zk .
k=0
|
Esta serie est denida para todo z C,
y en el ejemplo 3.1 vimos que para
cada z0 jo la serie converge (absolutamente) si |z0 | < 1 y diverge si |z0 | 1.
Por tanto, el campo de convergencia de esta serie de funciones es G : |z| < 1.
Ahora hemos de ver si, adems, la serie de funciones converge uniformemente

en G. En este caso
|z|n
1
|Rn (z)| =
z k = z n + z n+1 + z n+2 + . . . = |z n |
=
.
|1 z|
|1 z|
k=n
Vemos que, si por ejemplo z 1 en G, y escogemos acercarnos a 1 por la recta

real, z 1 , entonces
|z|n
lim
= .
n |1 z|
Por tanto, la serie no converge uniformemente en G.
Veamos si la serie converge uniformemente en el interior de G, es decir, veamos
si converge uniformemente en los conjuntos |z| r < 1 para cualquier r < 1.

P
P
La serie z k es tal que z k = |z|k rk , y sabemos que la serie real rk
k=0
k=0
converge si |r| < 1, luego por el criterio suciente de Weierstrass de converP

k
gencia de series reales, la serie geomtrica
k=0 z converge uniformemente en
|z| r < 1 para cualquier r.
P
k
Finalmente, concluimos que la serie
k=0 z :
Converge absolutamente en |z| < 1.

Converge uniformemente en el interior de |z| < 1, es decir, en |z| r < 1.
No converge uniformemente en |z| < 1.
Diverge en |z| 1
3.3 Series de potencias
93
EJERCICIO
Hallar los valores de a IR para los cuales las series
son convergentes, y hallar sus sumas.
P
n=1
cos n
an
P
n=1
sen n
an
Sol.: Las series son ambas convergentes si a > 1, y sus sumas sern:
X
a cos 1
cos n
= 2
,
n
a
a + 1 2a cos
n=1
X
sen n
n=1
an
a sen
.
a2 + 1 2a cos

3.3.1 Deniciones y propiedades
Deniciones
Denicin 3.9 La serie de funciones de la forma
ak (z z0 )k = a0 + a1 (z z0 ) + . . . + an (z z0 )n + . . .
k=0
se denomina serie de potencias centrada en z0 .
P
k
Por ejemplo, la serie geomtrica
k=0 z es una serie de potencias centrada en
el origen y con ak = 1 para todo k IN {0}.
Denicin 3.10 Sea f (z) una funcin holomorfa en un abierto conexo G C| ,
y sea z0 G. A la serie
X
f (k (z0 )
k=0
k!
(z z0 )k
se la denomina serie de Taylor de la funcin f (z) centrada en z0 .
Denicin 3.11 Se dice que una funcin compleja f (z) es analtica en un

| si para cada punto z G existe un entorno de ese punto
abierto conexo G C
0
en el que la funcin f (z) se puede representar como una serie de potencias
centrada en z0 , o sea,
X
f (z) =
ak (z z0 )k .
k=0
94
SERIES COMPLEJAS
Propiedades
a) Radio y crculo de convergencia de una serie de potencias
X
Sea la serie de potencias
ak (z z0 )k . Siempre existe un nmero R
k=0
positivo real, tal que 0 R , denominado radio de convergencia de

la serie de potencias, y determinado por la frmula
R=
1
limn
p
,
n
|an |
de forma que:
1) Si R = 0 la serie solo converge en el punto z0 .
2) Si 0 < R < la serie converge en el crculo I = {|z z0 | < R}, denominado crculo de convergencia de la serie, y diverge en |z z0 | >
R. En la circunferencia |zz0 | = R no podemos asegurar nada sobre
la convergencia, y tendremos que estudiar la serie numrica particularizada en ese caso para ver si converge o no. Adems, la serie
converger uniformemente en el interior de I , es decir, en cualquier
cerrado y acotado contenido en I , por ejemplo en cualquier conjunto
{|z z0 | r < R}.
| y converge uniformemente en el
3) Si R = la serie converge en todo C
|
interior de C,
por ejemplo en cualquier conjunto {|z z0 | r < }.
Para el clculo del lmite involucrado en la frmula del radio de convergencia conviene recordar que:
p
p
Si existe lim n |an | y toma valor A, entonces lim n |an | = A.
n
n
p
a
Si existe lim n+1 y toma valor A, entonces lim n |an | = A.
n
n
an
b) Propiedades de la suma de una serie de potencias
X
Sea la serie de potencias
ak (z z0 )k con radio de convergencia R
k=0
y crculo de convergencia I = {|z z0 | < R} en el que su suma es la

funcin f (z).
1. Puesto que la serie de potencias
X
k=0
ak (z z0 )k converge uniforme-
mente en el interior de I , y los trminos de la serie de potencias son

funciones ak (zz0 )k holomorfas en I , por el teorema de Weierstrass:
95
a) La suma de la serie, f (z), es una funcin holomorfa en I .

b) Las derivadas de f (z) pueden determinarse derivando trmino
a trmino la serie,
f (p (z) =
!(p
ak (z z0 )k
k=0
(p
ak (z z0 )k =
k=0
k(k 1) . . . (k (p 1))ak (z z0 )kp , p IN.
k=p
Dichas series derivadas tienen el mismo radio de convergencia

R que la serie inicial y convergen uniformemente en el interior
de I .
2. Por la propiedad de integracin de series de funciones, la integral
de la funcin f (z) a lo largo del contorno contenido en el crculo
de convergencia I puede obtenerse integrando trmino a trmino la
serie,
Z
Z
X
ak (z z0 )k dz.
f (z)dz =
k=0
3. En el crculo de convergencia I , la serie de potencias es la serie de

Taylor de la funcin suma f (z) centrada en z0 , es decir,
ak =
f (k (z0 )
, k = 0, 1, 2, . . . .
k!
Demostracin. Aplicando la propiedad 1 en I , tenemos

(p
f (z) =
k(k 1) . . . (k (p 1))ak (z z0 )kp , p IN.
k=p
En el punto z = z0 esta expresin se reducir, de forma que
f (p (z0 ) = (p(p 1)(p 2) . . . 1) ap .

De la ltima expresin podemos deducir que
ak =
f (k (z0 )
, k = 1, 2, . . . .
k!
Si aceptamos que f (0 (z0 ) = f (z0 ), entonces la expresin anterior es

vlida tambin para p = 0.
4. Propiedad de unicidad. Si dos series
X
k=0
ak (z z0 ) y
X
k=0
bk (z z0 )k
96
SERIES COMPLEJAS
tienen una misma suma en un entorno de z0 , f (z), entonces los coecientes homlogos son iguales, es decir, ak = bk para k = 0, 1, 2, . . ..
Demostracin. Si en un entorno de z0
ak (z z0 ) = f (z) =
k=0
bk (z z0 )k ,
k=0
por la propiedad 3
ak =
o sea,
f (k (z0 )
= bk ,
k!
ak = bk , k = 0, 1, 2, . . . ,
tal y como pretendamos probar.
Ejemplo 3.3 Demostrar que la serie geomtrica,
zk ,
k=0
es la serie de Taylor de la funcin f (z) =
Sol. La serie geomtrica,
1
1z
en |z| < 1.
z k , es una serie de potencias centrada en z = 0.
k=0
Calculamos el radio de convergencia de esta serie, R, sabiendo que para esta

serie de potencias ak = 1, k IN {0}, tenemos que
an+1
= 1.
lim
n an
Por tanto, como mencionamos en la propiedad 1, en este caso
p
lim n |an | = 1,
n
y por tanto R = 1. Luego el crculo de convergencia de la serie geomtrica es

1
|z| < 1, y en l sabemos que la suma de esta serie es f (z) = 1z
. Es decir, que
X
1
=
z k , |z| < 1.
f (z) =
1z
k=0
Por la propiedad 3, la serie de potencias
que es la funcin f (z) =
1
1z
X
k=0
para |z| < 1.
z k es la serie de Taylor de su suma,
97
3.3.2 Desarrollo de Taylor de funciones holomorfas

Teorema 23 (Teorema de Taylor)
| y sea r la distancia
de un punto z0 G a la frontera de G. Entonces, podemos asegurar que se
verica:
1) En el crculo |z z0 | < r la funcin f (z) admite un desarrollo en serie

de Taylor, es decir,
f (z) =
ak (z z0 )k , |z z0 | < r
k=0
donde
f (k (z0 )
, k = 0, 1, 2, . . .
k!
ak =
2) Sea la circunferencia = {|z z0 | = < r}, y M () el mximo de

|f (z)| en . Podemos estimar los coecientes ak del desarrollo en serie
de Taylor de la funcin f (z) mediante las denominadas desigualdades de
Cauchy,
M ()
|ak |
, k = 0, 1, 2, . . .
k
Demostracin.
1) Sea el complejo z D(z0 , r) {z0 }. Consideremos la circunferencia
: |z z0 | = y tal que z est en el interior de . Por la frmula
integral de Cauchy,
Z
1
f ()
f (z) =
d.
2j z
Manipulando la expresin
1
z
obtendremos lo siguiente:
1
1
1
1
1
z0
=
=
zz0 =
0
z
z0 (z z0 )
z0 1 zz
1 z0
z0
Puesto que z es un punto del interior de y es un punto de , entonces
|z z0 | < | z0 |, o sea,
z z0
z0 < 1,
luego
1
1
zz0
z0
n

X
z z0
n=0
z0
98
SERIES COMPLEJAS
A partir de esto podemos deducir la siguiente expresin para
1
:
z
n

1 X z z0
1
=
z
z0 n=0 z0
Sustituyendo ahora en la expresin de f (z),
1
f (z) =
2j
n

1 X z z0
f ()
d =
z0 n=0 z0
Z
1 X
f ()
d (z z0 )n .
n+1
2j n=0 ( z0 )
Por la frmula integral general de Cauchy, tenemos que
f ()
2j (n
d =
f (z0 ),
n+1
( z0 )
n!
por lo que nalmente obtendremos
f (z) =
X
f (n (z0 )
n=0
n!
(z z0 )n , |z z0 | < r.
(k
2) Por el primer enunciado de este teorema, sabemos que ak = f k!(z0 ) . Aplicando la frmula integral de Cauchy y dado que el entorno |z z0 | < r
es un abierto simplemente conexo donde f (z) es holomorfa, y la curva
es un contorno cerrado, tendremos
f (k (z0 )
1
ak =
=
k!
k!
2j
k!
1 Z
f ()
1
d =
k+1
( z0 )
2j
f ()
d.
( z0 )k+1
Puesto que en se cumple z0 = y |f ()| M (), tenemos que
|ak |
1 M ()
1 M ()
M ()
Long() =
2 =
, k = 0, 1, 2, . . .
k+1
k+1
2
2
k
Luego, como queramos probar,
|ak |
M ()
,
k
k = 0, 1, 2, . . .
99
3.3.3 Relacin entre funciones analticas y holomorfas

Teorema 24
Sea I : |z z0 | < r un entorno de z0 , y sean A(I) el conjunto de todas las
funciones analticas en I y H(I) el conjunto de todas las funciones holomorfas
en I . Entonces, se verica que A(I) = H(I), o sea, toda funcin analtica en
un entorno de z0 es holomorfa en l, y viceversa.
Demostracin. La igualdad propuesta es una igualdad conjuntista; por

tanto, tendremos que demostrar que A(I) H(I) y que H(I) A(I).
) Si f (z) A(I), entonces por la denicin de funcin analtica, f (z) es

la suma de una serie de potencias
f (z) =
ak (z z0 )k , |z z0 | < r.
k=0
Por la propiedad 1 de las sumas de series de potencias, la funcin f (z)

ser holomorfa en |z z0 | < r, o sea, f (z) H(I).
) Si f (z) H(I), por el teorema de Taylor la funcin f (z) admite un

desarrollo en serie de Taylor centrado en z0 que la representa,
f (z) =
X
f (k (z0 )
k=0
k!
(z z0 )k , |z z0 | < r.
Luego f (z) es la suma de una serie de potencias centrada en z0 , en un

entorno del punto z0 . Por la denicin de funcin analtica, por tanto,
f (z) es analtica en |z z0 | < r, o sea, f (z) A(I).
Por tanto, a partir de este momento podremos hablar indistintamente de funciones holomorfas o funciones analticas, ya que estos conceptos son equivalentes aunque tengan deniciones diferentes.
Ejemplo 3.4 Hallemos el desarrollo en serie de Taylor centrado en z0 = 0 de

las siguientes funciones:
a) f (z) = ez
La funcin f (z) es entera, de modo que la distancia r del punto z0 = 0 a la
frontera del abierto conexo en el que la funcin es holomorfa es r = .
Por tanto, aplicando el teorema de Taylor, la funcin f (z) admite un
desarrollo en serie de Taylor de la forma
z
f (z) = e =
X
f (k (0)
k=0
k!
zk
100
SERIES COMPLEJAS
|
vlido en |z| < , es decir, en C.
Puesto que f (k (z) = ez para k =
0, 1, 2, . . ., entonces f (k (0) = 1 para k = 0, 1, 2, . . ., y por tanto
X
1 k
f (z) = e =
z , |z| < .
k!
k=0
z
b) g(z) = Ln(1 + z)
La funcin
g(z) = Ln(1 + z) = Ln |1 + z| + j Arg(1 + z), < Arg(1 + z) <

| {z C
| : Re(1 + z) 0, Im(1 + z) = 0}, o sea, en
es holomorfa en C
| {z C
|
C
: Re z 1, Im z = 0}. Por tanto, la distancia del punto
z0 = 0 a la frontera del abierto conexo donde la funcin es holomorfa (es
decir, la distancia hasta el punto 1) es r = 1. Aplicando el teorema
de Taylor, la funcin g(z) admite un desarrollo en serie de Taylor de la
forma
X
f (k (0) k
g(z) = Ln(1 + z) =
z
k!
k=0
vlido en |z| < 1. Derivando g(z) sucesivamente, encontramos que:
k = 0 g(0) = 0
1
k = 1 g 0 (0) = 1+z
=1
z=0
1
k = 2 g 00 (0) = (1+z)
= 1
2
z=0
k = 3 g 000 (0) = 2(1+z)

=2
(1+z)4
z=0
..
.
k1
= (1)k1 (k 1)!, k IN
f (k (0) = (1)(1+z)(k1)!
k
z=0
Por tanto, el desarrollo en serie de Taylor de g(z) ser
g(z) = Ln(1 + z) =
X
(1)k1
k=1
Ejemplo 3.5 Desarrollemos la funcin

f (z) =
z
(1 z)2
en serie de potencias alrededor de z = 0.
z k , |z| < 1.
101
Recordando que
X
1
=
z k , |z| < 1
1z
k=0
podemos proceder de la siguiente forma:
d
z
=z
f (z) =
2
(1 z)
dz
1
1z
d
=z
dz
!
zk
=z
k=0
kz k1 =
k=0
kz k , |z| < 1
k=1
Luego el desarrollo de la funcin f (z) es
X
z
kz k , |z| < 1.
=
f (z) =
(1 z)2
k=1
EJERCICIO
Dada la funcin compleja
f (z) =
1
.
(z 1)(z 2)
Se pide:
a) Hallar su desarrollo en serie de Taylor centrado en z0 = 0.
b) Calcular f (n (0), n IN.
c) Hallar la suma de la serie numrica
1
S =1+ 1+
2
X
k n
X
1
1 1
1
1
1
+ 1+ + 2
+ ... =
2
2
2 2 2
2
2k
k=0 n=0
Sol.:
1 XX
a) f (z) =
2 k=0 n=0
b) f (n (0) =
n
1
z k , |z| < 1
2
(2n+1 1) n!
, n = 0, 1, 2, . . .
2n+1
8
c) S = .
3
102
SERIES COMPLEJAS
3.4 Series de Laurent

3.4.1 Denicin
Hemos visto que el instrumento matemtico idneo para la representacin
mediante series de funciones holomorfas en crculos es la serie de Taylor. Ahora
bien, qu ocurre si una funcin no es holomorfa en un punto? La funcin
entonces no admite un desarrollo en serie de Taylor en torno a dicho punto, ya
que no existe un crculo centrado en ese punto en el que la funcin es holomorfa.
Veremos que existen series ms generales que las de Taylor, que comprenden
tanto potencias positivas como potencias negativas, que nos servirn para representar las funciones que son holomorfas en anillos circulares del tipo
| : r < |z z | < R, 0 r < R }.
D = {z C
0
El caso de mayor inters es aquel en el que el radio interior es r = 0, es decir, el

caso de tratarse de un entorno perforado del punto z0 , ya que estos desarrollos
permiten estudiar la funcin en entornos de aquellos puntos donde sta no es
holomorfa.
Denicin 3.12 La serie de la forma
an (z z0 )n
n=
se denomina serie de Laurent. Esta serie se entiende como la suma de dos

series:
an (z z0 )n =
n=
1
X
an (z z0 )n +
n=
an (z z0 )n =
n=0
an (z z0 )
n=1
A la serie
an (z z0 )n
n=0
an (z z0 )n
n=1
se la denomina parte principal de la serie de Laurent, y a la serie
an (z z0 )n
n=0
se la denomina parte regular de la serie de Laurent. Adems, diremos que una

serie de Laurent es convergente en un abierto conexo si y slo si sus dos partes
son convergentes en ese abierto conexo. El campo de convergencia ser la zona
comn de los campos de convergencia de las partes principal y regular.
103
3.4.2 Convergencia de la serie de Laurent

Los radios interior (r) y exterior (R) del anillo de convergencia de la serie de
Laurent los calcularemos a partir de
r = lim
p
n
|an |, R =
1
limn
p
n
|an |
donde an y an son los coecientes de la serie de Laurent. En funcin del valor

de estos coecientes, tendremos las siguientes posibilidades:
a) Si r < R, la serie de Laurent converge absolutamente en el anillo
| : r < |z z | < R},
D = {z C
0
converge absoluta y uniformemente en cualquier anillo

| : r < r |z z | R < R},
D = {z C
1
0
1
y diverge si |z z0 | < r o |z z0 | > R. Hemos de notar que no podemos

asegurar nada acerca del comportamiento de la serie en las circunferencias |z z0 | = r y |z z0 | = R que componen la frontera del anillo
D.
b) Si r > R o r = R, la serie de Laurent no es convergente en ningn abierto
conexo.
A partir de esto podemos deducir que, si
| : r < |z z | < R}
D = {z C
0
es el anillo de convergencia de una serie de Laurent
ak (z z0 )k ,
k=
entonces, por el teorema de Weierstrass, la suma f (z) de esta serie,
f (z) =
ak (z z0 )k ,
k=
es una funcin holomorfa en el anillo D.
104
SERIES COMPLEJAS
3.4.3 Teorema de Laurent

Plantemonos ahora la cuestin recproca: es posible representar una funcin
holomorfa en un anillo mediante series? La respuesta a esta cuestin nos la
proporciona el teorema de Laurent.
Teorema 25 (Teorema de Laurent)

| : r < |z z | < R} puede
Toda funcin f (z) holomorfa en un anillo D = {z C
0
representarse en este anillo como la suma de una serie de Laurent convergente
f (z) =
ak (z z0 )k
k=
cuyos coecientes estn determinados unvocamente mediante las frmulas

Z
1
f (z)
ak =
dz, k = 0, 1, 2, . . .
2j (z z0 )k+1
donde : |z z0 | = , r < < R. Adems, si N () = maxz |f (z)|, entonces
|ak |
N ()
, k = 0, 1, 2, . . .
k
Demostracin. Consideramos el anillo D0 = {z C| : r0 |z z0 | R0 },

| : r < |z z | < R}. Supondremos que D 0
contenido en el dominio D = {z C
0
contiene al punto z y a un contorno C cerrado simple cualquiera. Llamaremos
c0 y C 0 a las circunferencias de radios respectivos r0 y R0 , centradas en z0 y
orientadas en sentido positivo. Por hiptesis, f (z) es holomorfa en D y por
tanto en D0 .
Consideramos ahora la circunferencia 0 , con centro en el punto z , orientada

en sentido positivo y de radio sucientemente pequeo como para que est
contenida en el interior del anillo D0 . As, si consideramos la funcin g(s) =
f (s)
, y aplicando el Teorema general de Cauchy-Goursat, tendremos que
sz
g(s)ds =
C0
g(s)ds +
c0
g(s)ds.
0
Si ahora tenemos en cuenta la frmula integral de Cauchy, tendremos que el

valor de la integral a travs de 0 ser 2jf (z), y por tanto
Z
Z
1
f (s)
f (s)
f (z) =
ds
ds .
2j
c0 s z
C0 s z
Obtendremos el resultado buscado a partir de las dos integrales que conforman
esta expresin.
105
1) Dado que s pertenece a la circunferencia C 0 y z D0 , tenemos que
z z0 z z0
s z0 R0 < 1.
0
1
Manipulamos la expresin de sz
, teniendo en cuenta que zz
< 1 en
sz0
C 0 , de la forma:
n

1 X z z0
1
1
1
1
=
=
=
0
sz
s z0 (z z0 )
s z0 1 zz
s z0 n=0 s z0
sz0
Aplicando el criterio suciente de Weierstrass y considerando
la desigual
zz0 n
dad anterior (puesto que la serie es convergente y sz0 < 1n = 1 para
n = 0, 1, 2, . . . en C 0 ), la serie es uniformemente convergente en C 0 .

De la relacin anteriormente obtenida podemos ver que
f (s)
1 f (s)
1 X
(z z0 )n
=
,
2j s z
2j n=0
(s z0 )n+1
e integrando sobre C 0 en ambos trminos,
1
2j
C0
X 1
f (s)
ds =
sz
2j
n=0
Z
C0
f (s)
ds(z z0 )n .
n+1
(s z0 )
Este es el desarrollo que buscbamos de la primera integral.

2) Dado que s pertenece a la circunferencia c0 y z D0 , tenemos que
s z0 r0
z z0 z z0 < 1.
1
Ahora manipulamos la expresin de sz
de la siguiente manera:
n

1
1
1
1 X s z0
=
=
sz0 =
sz
z z0 1 zz
z
z
z
z
0
0
0
n=0
n1 X

X
1
(s z0 )n1
s z0
=
z z0 n=1 z z0
(z z0 )n
n=1
sz0
El ltimo desarrollo en serie ser vlido gracias al hecho de que zz
<1
0
en c0 . Aplicando el criterio suciente de Weierstrass y considerando
la
(sz0 )n1
desigualdad anterior (puesto que la serie es convergente y (zz0 )n =
1 (r0 )n
< r10 1n < 1 para n = 1, 2, . . . en c0 ), la serie es uniformemente
r0 (zz0 )n
convergente en c0 .
106
SERIES COMPLEJAS
De la relacin anteriormente obtenida podemos ver que
1 f (s)
1 X
f (s)
=
(z z0 )n
,
2j s z
2j n=1
(s z0 )n+1
e integrando sobre c0 en ambos trminos obtenemos el desarrollo que

buscbamos de la segunda integral,
Z
X
f (s)
f (s)
1
1
ds (z z0 )n .
=
n+1
2j c0 s z
2j
c0 (s z0 )
n=1
As pues, sustituyendo los desarrollos obtenidos en 1) y 2) en la expresin de
f (z), obtenemos
Z
X
1
f (s)
f (z) =
ds (z z0 )n +
n+1
2j
C 0 (s z0 )
n=0
Z
X
f (s)
1
ds (z z0 )n .
n+1
2j
(s
z
)
0
0
c
n=1
Ahora bien, dado que las funciones integrandos de ambas integrales son holomorfas en D, por el teorema general de Cauchy-Goursat podremos integrar, en
vez de sobre C 0 o c0 , sobre cualquier contorno cerrado simple contenido en el
dominio anular D. Para simplicar escogeremos circunferencias : |zz0 | = ,
con r < < R. Si escogemos la misma curva para ambas integrales podemos
compactar la expresin anterior de la siguiente manera:
Z
X
1
f (s)
f (z) =
(z z0 )n ds, n = 0, 1, 2, . . .
n+1
2j
(s
z
)
0
n=
Por tanto, podremos representar a f (z) en serie de Laurent como
f (z) =
con ak =
1
2j
ak (z z0 )k
k=
f (s)
ds
(sz0 )k+1
y : |z z0 | = , r < < R.
Para demostrar la acotacin de los coecientes de la serie de Laurent usaremos

la propiedad general de estimacin de integrales curvilneas complejas:
Z
Z
1
f (s)
f
(s)
1
ds
|ak | =
ds
2j (s z0 )k+1
2j (s z0 )k+1
1 N ()
N ()
Long() =
.
k+1
2j
k
Luego, en efecto,
|ak |
para k = 0, 1, 2, . . .
N ()
k
107
Ejemplo 3.6 Calcular el desarrollo en serie de Laurent centrado en z = j , en

la corona intermedia de convergencia, de la funcin
f (z) =
5z + 2j
.
z(z + j)
Cuanto vale dicho desarrollo en z = 1?
Sol.: La funcin f (z) es holomorfa en C| {z = 0, z = j}. Luego es holomorfa

en los siguientes entornos centrados en z = j :
1) el crculo |z j| < 1,
2) el anillo 1 < |z j| < 2, y
3) el anillo 2 < |z j| < .
Desarrollamos por tanto en la corona 1 < |z j| < 2, teniendo en cuenta que
5z + 2j
A
B
= +
,
z(z + j)
z
z+j
con lo que obtenemos A = 2, B = 3, luego
f (z) =
2
3
+
.
z z+j
Calculamos los desarrollos de las fracciones separadamente:
j
2
2
2
1
2 X
n
=
=
(1)
,
j =
z
(z j) + j
z j 1 + zj
z j n=0
zj
3
3 X
zj
3
3
1
n
=
=
=
(1)
,
z+j
(z j) + 2j
2j 1 + zj
2j n=0
2j
2j
1 < |z j|
|z j| < 2.
Luego,

X
X
3
1
1
n
,
(zj) +
(2 (j)n )
f (z) =
2j
2j
(z j)n+1
n=0
n=0
1 < |zj| < 2.
El valor del desarrollo en z = 1 es
f (1) =
5 + 2j
1+j
puesto que z = 1 pertenece a la corona de convergencia, por lo que su valor

ser el de la funcin f (z) en z = 1.
Tema 4
Residuos
4.1 Denicin de residuo

Introducimos en este nuevo tema la teora de residuos que permitir, entre otras
aplicaciones, el clculo de integrales curvilneas complejas de forma sencilla.
Comenzamos con la introduccin de la denicin de residuo.
Denicin 4.1 Sea f (z) una funcin denida en un abierto conexo G, tal que
z0 es un punto singular aislado de f (z). Se denomina residuo de la funcin
f (z) en el punto singular aislado z0 de f (z) al valor complejo
Z
1
f (z)dz,
Res [f (z), z = z0 ] =
2j
donde : |z z0 | = es una circunferencia con radio tal que en |z z0 |

no existan otros puntos singulares de la funcin f (z).
Si consideramos el desarrollo en serie de Laurent de f (z) en un entorno perforado de z0 , 0 < |z z0 | < R, con 0 < < R, tenemos
f (z) =
ak (z z0 )k , 0 < |z z0 | < R,
k=
y los coecientes ak pueden calcularse mediante la frmula

Z
1
f (z)
ak =
dz,
2j (z z0 )k+1
110
RESIDUOS
donde es una circunferencia de radio tal que 0 < < R. Si hacemos

k = 1, tendremos que
Z
1
a1 =
f (z)dz,
2j
que es precisamente la denicin de residuo de f (z) en z0 . Por tanto,
Res [f (z), z = z0 ] = a1 ,
donde a1 es el coeciente de (z z0 )1 en el desarrollo en serie de Laurent de
f (z) en el entorno perforado de z0 .
4.2 Teorema de los residuos

Teorema 26 (teorema de los residuos)
Sea f (z) una funcin holomorfa en el abierto conexo G, salvo en un nmero
G es un
nito de puntos aislados z1 , . . . , zn contenidos en G. Entonces, si E
cerrado que contiene en su interior a los puntos singulares aislados z1 , . . . , zm ,
con m n, y denotando su frontera como Fr(E), se verica
Z
Fr(E)
f (z)dz = 2j
m
X
Res [f (z), z = zk ] ,
k=1
donde Fr(E) se recorre en sentido positivo.
Demostracin. Para cada punto singular zk , k = 1, ..., m consideramos la

circunferencia k : |z zk | = k , con k = 1, . . . , m, siendo cada radio k tales
que los crculos Uk : |z zk | k estn totalmente contenidos en el abierto
E y no se intersectan entre s. Puesto que f (z) es una funcin holomorfa en
P
E = E m
k=1 Uk , por el teorema general de Cauchy-Goursat tendremos que
Z
Fr(E)
f (z)dz =
m Z
X
k=1
f (z)dz = 2j
m
X
Res [f (z), z = zk ] ,
k=1
tal y como queramos demostrar.
Ejemplo 4.1 Hallar, usando residuos, el valor de la integral

Z
C
ez
dz,
(z 1)2
donde C es una circunferencia centrada en el origen, de radio 2 y recorrida en

111
Sol.: La funcin f (z) =
ez
(z1)2
| {z = 1}, y puesto que

es holomorfa en C
el punto singular aislado z = 1 est en el interior de C , podemos aplicar el
teorema de los residuos. Por tanto,
Z
ez
ez
dz = 2j Res
,z = 1 .
2
(z 1)2
C (z 1)
Para calcular el residuo de f (z) en z = 1 hallaremos el desarrollo en serie de

Laurent de f (z) en el entorno perforado del punto donde queremos calcularlo,
z = 1, o sea, en 0 < |z 1| < . En este caso el radio exterior de este entorno
es innito porque f (z) no tiene ms puntos singulares que el de z = 1.
Sabemos que el desarrollo en serie de Taylor de ez en torno a z = 0 es
z
X
(1)k z k
k!
k=0
, |z| < .
Sin embargo, necesitamos un desarrollo en potencias de z 1. Por tanto,

manipulamos la expresin como sigue:
(z1)1
=e
1 (z1)
=e e
1 X (1)k (z 1)k
=
, |z 1| <
e k=0
k!
Por tanto, tendremos que el desarrollo de f (z) es
f (z) =
1 X (1)k (z 1)k2
ez
=
, 0 < |z 1| < .
(z 1)2
e k=0
k!
El coeciente de (z 1)1 se dar para k = 1, o sea,
(1)k
1
a1 =
=
.
ek! k=1
e
Por tanto, nalmente tendremos que
Z
ez
2j
dz =
.
2
e
C (z 1)
Ejemplo 4.2 Calcular, usando residuos, el valor de la integral

Z
1
e z2 dz,
C
donde C es una circunferencia de radio 2, centrada en el origen y recorrida en

112
RESIDUOS
1
Sol.: La funcin g(z) = e z2 es holomorfa en C| {z = 0}. El nico punto

singular de g(z) es z = 0, que est en el interior de C . Por tanto, podemos
aplicar el teorema de los residuos, con lo que
Z
h 1
i
1
e z2 dz = 2j Res e z2 , z = 0 .
C
El residuo lo calcularemos a partir del desarrollo en serie de Laurent de la

funcin g(z) en un entorno perforado de z = 0, o sea, en 0 < |z| < . El radio
exterior de este entorno es innito porque g(z) no tiene ms puntos singulares
aparte de z = 0.
Sabemos que el desarrollo en serie de Taylor de ez en torno a z = 0 es
z
X
(1)k z k
k=0
k!
, |z| < .
1
Por tanto, el desarrollo en serie de Laurent de e z2 en torno a z = 0 ser
1
z2
X
(1)k 1
=
, 0 < |z| < .
k! z 2k
k=0
En este desarollo las potencias de z tienen exponente con valor absoluto par
o nulo todas ellas (. . ., z 4 , z 2 , z 0 , z 2 , . . .). Por tanto, el coeciente de z 1
ser a1 = 0.
Aplicando esto vemos que
Z
1
e z2 dz = 0.
C
Ejemplo 4.3 Hallar, usando residuos, el valor de la integral

Z
5z 2
dz,
z(z 1)
donde C es una circunferencia centrada en el origen, de radio 2 y recorrida en

sentido positivo.
Sol.: La funcin h(z) =
5z2
z(z1)
| {z = 0, z = 1}. Los puntos

es holomorfa en C
z = 0 y z = 1 son puntos singulares aislados que estn en el interior de C . En
estas condiciones podemos aplicar el teorema de los residuos, de forma que
Z
5z 2
dz = 2j (Res [h(z), z = 0] + Res [h(z), z = 1]) .
C z(z 1)
Podramos proceder calculando los desarrollos en serie de Laurent de h(z) en

entornos perforados de z = 0 y z = 1, y obtener sus respectivos coecientes
a1 . Sin embargo, vamos a proceder de forma ms fcil.
113
Descompondremos la funcin h(z) en fracciones simples, de forma que
5z 2
A
B
2
3
= +
= +
.
z(z 1)
z
z1
z z1
Por tanto, podremos descomponer en dos la integral que queremos calcular,
tal que
Z
C
5z 2
dz =
z(z 1)
Z
C
2
dz +
z
3
dz =
C z1
2
3
2j Res , z = 0 + 2j Res
,z = 1 .
z
z1
3
Las funciones z2 y z1
son ya sus propios desarrollos en serie de Laurent en los
entornos perforados 0 < |z| y 0 < |z 1|, respectivamente. De ellos obtenemos
que:
En el caso de z2 , el coeciente de z 1 es 2, luego a1 [z = 0] = 2.

En el caso de
3
,
z1
el coeciente de (z 1)1 es 3, luego a1 [z = 1] = 3.
Por tanto, podemos concluir que

Z
5z 2
dz = 2j(2 + 3) = 10j.
C z(z 1)
EJERCICIO
Calcular, mediante residuos, la integral
Z
1
(z 3) sen
dz,
z+2
C
donde C es la circunferencia centrada en z = 1, de radio 2 y recorrida en
sentido positivo.
Sol.: 10j .
114
RESIDUOS
4.3 Clasicacin de singularidades aisladas mediante la correspondiente serie de Laurent

Si z0 es un punto singular aislado de una funcin compleja f (z), entonces por el
teorema de Laurent podemos encontrar un nico desarrollo en serie de Laurent
que represente a f (z) en un entorno perforado de z0 , de la forma
f (z) = . . .+
an
a1
+.
.
.+
+a0 +a1 (zz0 )+. . .+an (zz0 )n +. . . =
(z z0 )n
(z z0 )
X
an (z z0 )n , 0 < |z z0 | < R.
n=
Este desarrollo tendr una estructura diferente determinada por el carcter del
punto singular z0 .
1) Para que z0 sea un punto singular evitable de la funcin f (z) es necesario
y suciente que el desarrollo en serie de Laurent de f (z) en el entorno
perforado de z0 no tenga parte principal, es decir, que sea de la forma
X
f (z) =
ak (z z0 )k , 0 < |z z0 | < R.
k=0
Es claro que si esto ocurre, entonces limzz0 f (z) = a0 , luego puesto que
existe el lmite y es nito, z0 es un punto singular evitable.
En realidad, esto quiere decir que si una funcin f (z) est acotada en un
entorno perforado del punto z0 , entonces z0 es un punto singular evitable.
En este caso, el residuo de f (z) en z0 ser
Res [f (z), z = z0 ] = a1 = 0.
2) Para que z0 sea un polo de la funcin f (z) es necesario y suciente que
la parte principal del desarrollo en serie de Laurent de f (z) en el entorno
perforado de z0 no contenga ms que un nmero nito de trminos, siendo
alguno de ellos distinto de 0, es decir, sea de la forma
X
a1
am
+. . .+
+
ak (zz0 )k , 0 < |zz0 | < R, m IN.
f (z) =
(z z0 )m
z z0
k=0
En estas condiciones, el mayor valor de entre los valores absolutos de los

exponentes de las potencias negativas de z z0 con coeciente no nulo
ser el orden del polo. Con la notacin que estamos siguiendo, z0 sera
por tanto un polo de orden m. Es claro que, para este caso,
am
a1
lim f (z) = lim
+ ... +
+ a0 = .
zz0
zz0
(z z0 )m
z z0
Por tanto, en efecto, z0 es un polo de f (z).
4.4 Clculo de residuos en polos
115
3) Para que z0 sea una singularidad esencial de la funcin f (z) es necesario

y suciente que el desarrollo en serie de Laurent de f (z) en el entorno
perforado de z0 contenga innitos trminos, es decir, sea de la forma
f (z) =
ak (z z0 )k +
k=1
ak (z z0 )k ,
k=0
con la condicin adicional de que haya innitos ak distintos de cero.

Para este caso es claro que
an
a1
lim f (z) = a0 + lim
+ ... +
+ ...
zz0
zz0
z z0
(z z0 )n
no existe, por lo que, en efecto, z0 es un punto singular esencial de f (z).
Ejemplo 4.4 Teniendo en cuenta que
X
1 1
, 0 < |z| <
e =
k! z k
k=0
1
z
contiene innitos trminos en su parte principal, podemos ver fcilmente que

1
z = 0 es punto singular esencial de la funcin e z ; a partir de esto podemos ver
tambin que z = 0 es singularidad esencial de las funciones sen z1 y cos z1 , ya
1
que estas se obtienen a partir de e z .
Sin embargo, z = 0 es un punto singular evitable de las funciones
Lo vemos por ejemplo en la primera, ya que
sen z
z
1ez
.
z
sen z X (1)k z 2k
=
, |z| < .
z
(2k
+
1)!
k=0
no tiene trminos en su parte principal.

Como vimos anteriormente, si z0 es un punto singular evitable de f (z), entonces
a1 = Res [f (z), z = z0 ] = 0.
Si z0 es un punto singular esencial de f (z), el residuo slo puede obtenerse
encontrando el desarrollo en serie de f (z) en el entorno perforado de z0 y
extrayendo el trmino a1 .
Ahora bien, si z0 es un polo, existe alguna expresin que nos permita calcular
el residuo sin necesidad de hallar la serie de Laurent? En efecto, las hay, y las
vemos a continuacin.
116
RESIDUOS
a) El punto singular z0 es un polo simple de f (z)

En este caso el desarrollo en serie de Laurent de la funcin f (z) en un
entorno perforado de z0 ser de la forma
X
a1
+
ak (z z0 )k , 0 < |z z0 | < R.
f (z) =
z z0 k=0
Si ahora multiplicamos por z z0 ,
(z z0 )f (z) = a1 +
ak (z z0 )k+1 ,
k=0
y tomando lmites resolvemos
lim (z z0 )f (z) = a1 .
zz0
Es decir, si limzz0 (z z0 )f (z) existe y toma el valor k 6= 0, entonces z0

es polo simple de f (z) y se verica
Res [f (z), z = z0 ] = lim (z z0 )f (z).

zz0
Ejemplo 4.5 La funcin f (z) = 1/1 + z 2 tiene dos puntos singulares,

j . Para stos se cumple
lim f (z) = ,
zj
por lo que son polos. Adems, podemos ver que

a)
lim(z j)
zj
1
1
=
= Res [f (z), z = j] ,
(z j)(z + j)
2j
y z = j es polo simple de f (z);

b)
lim (z + j)
zj
1
1
=
= Res [f (z), z = j] ,
(z j)(z + j)
2j
y z = j es polo simple de f (z).
117
b) El punto singular z0 es un polo de orden m > 1 de f (z)

En este caso el desarrollo en serie de Laurent de la funcin f (z) en un
entorno perforado de z0 ser de la forma
X
am
a1
+
ak (zz0 )k , 0 < |zz0 | < R, m IN.
f (z) =
+. . .+
(z z0 )m
z z0 k=0
Si multiplicamos ambos miembros por (z z0 )m ,

m
(z z0 ) f (z) = am + . . . + a1 (z z0 )
m1
ak (z z0 )k+m ,
k=0
0 < |z z0 | < R
y tomando lmites resolvemos
lim (z z0 )m f (z) = am 6= 0.
zz0
Es decir, que si f (z) tiene en z0 un punto singular y se verica
lim (z z0 )m f (z) = q 6= 0,
zz0
entonces z0 es un polo de orden m.

Veamos pues cmo calcular el residuo de f (z) en z0 cuando z0 es un polo
de orden m > 1. Llamemos
m
m1
(z) = (z z0 ) f (z) = am + . . . + a1 (z z0 )
ak (z z0 )k+m ,
k=0
|z z0 | < R,
de forma que
lim (z z0 )m f (z) = (z0 ).
zz0
La funcin compleja (z) es la suma de una serie de potencias convergente, y por tanto:
La funcin (z) es una funcin analtica en |z z0 | < R.

La serie de potencias anterior es el desarrollo en serie de Taylor de
(z) en |z z0 | < R, es decir,
ap =
(p (z0 )
, p = 0, 1, 2, . . .
p!
118
RESIDUOS
Buscamos el coeciente de (zz0 )m1 (que, como podemos ver en la serie,

es el a1 de la serie original), por lo que siguiendo la frmula anterior,
a1
(m1 (z0 )
1
dm1
=
=
(z)
=
(m 1)!
(m 1)! dz m1
z=z0
1
dm1
(m 1)! dz m1
lim (z z0 ) f (z) .
m
zz0
Por tanto, podemos deducir nalmente que
Res [f (z), z = z0 ] =
1
dm1
lim m1 [(z z0 )m f (z)] .
(m 1)! zz0 dz
Ejemplo 4.6 Vamos a calcular, mediante residuos, la integral

Z
C
z(ez
1
dz,
1)
donde C es una circunferencia centrada en el origen y de radio 1 recorrida en

sentido antihorario (positivo).
| {z C
|
La funcin f (z) = z(ez11) es holomorfa en C
: z = 0 ez = 1}.
|
Sabemos que los puntos z C
tales que ez = 1 son z = ln(1) = 2kj , con
k ZZ que, como vemos incluye el punto z = 0. Por tanto, los puntos singulares
de f (z) son z = 2kj, k ZZ.
El nico punto singular dentro contenido en el interior de C es el origen. En

este caso podemos aplicar el teorema de los residuos, de forma que
Z
1
dz = 2j Res [f (z), z = 0] .
z
C z(e 1)
Calculemos el residuo implicado en esta igualdad.
Vemos que limz0 z(ez11) = , por lo que z = 0 es un polo de f (z). Puesto
que limz0 z z(ez11) = 0, z = 0 no es polo simple de f (z). Sin embargo,
lim z 2
z0
1
z
1
=
lim
=
lim
= 1 6= 0,
z(ez 1 z0 ez 1 z0 ez
donde hemos usado la regla de L'Hpital para el clculo. Por tanto, z = 0 es

un polo de orden 2 de f (z).
119
Calculando,
1
1
d
1
2
a1 = Res
,z = 0 =
lim
z
=
z(ez 1)
(2 1)! z0 dz
z(ez 1)
z
z
d
z
e 1 zez
1
1
= lim
lim
= lim
= lim z = ,
z
z
2
z
z0 2(e 1)
z0 dz e 1
z0
z0 2e
(e 1)
2
donde hemos usado la regla de L'Hpital para el clculo en dos ocasiones.
Deducimos nalmente de aqu que
1
1
Res
,z = 0 = .
z
z(e 1)
2
Por tanto,
Z
C
z(ez
1
dz = j.
1)
Mtodo alternativo para calcular residuos en polos de orden m > 1

Vemos ahora otra forma de calcular residuos en polos de orden m > 1, que
ofrece una va alternativa a la estudiada anteriormente. Vamos a ilustrar este
mtodo con un ejemplo.
Sea la funcin
z2 + 1
.
(z 1)z 3
Vamos a calcular el residuo de f (z) en el punto z = 0.
f (z) =
Puesto que limz0 f (z) = , z = 0 es un polo de f (z). Dado que
lim zf (z) =
z0
lim z 2 f (z) = ,
z0
z0 no es polo simple ni doble de f (z). Sin embargo,

lim z 3 f (z) = 1 6= 0,
z0
por lo que z = 0 es un polo de orden 3 de f (z), por lo que podemos expresar
z2 + 1
a3 a2 a1 X
f (z) =
=
+ 2 +
+
ak z k , 0 < |z| < 1.
(z 1)z 3
z3
z
z
k=0
Multiplicamos la expresin por z 3 , de forma que
X
z2 + 1
2
= a3 + a2 z + a1 z +
ak z k+3 .
z1
k=0
120
RESIDUOS
Tomando lmites en la expresin anterior,
z2 + 1
lim
= 1 = a3 .
z0 z 1
Sustituyendo este valor en la expresin primera obtendremos
z2 + 1
1
z2 + z
a2 a1 X
+
=
= 2 +
+
ak z k .
(z 1)z 3 z 3
(z 1)z 3
z
z
k=0
Ahora multiplicamos por z 2 ,
X
z+1
= a2 + a1 z +
ak z k+2 ,
z1
k=0
y tomando ahora lmites de nuevo,

z+1
= 1 = a2 .
lim
z0 z 1
Sustituimos de nuevo este resultado en la primera expresin, de forma que
z2 + 1
1
1
2z
a1 X
ak z k .
+ 3+ 2 =
=
+
3
2
(z 1)z
z
z
(z 1)z
z
k=0
Si multiplicamos esta vez por z y tomamos lmites de nuevo, tendremos que

2z
lim z
= 2 = a1 .
z0 (z 1)z 2
Por tanto,
Res [f (z), z = 0] = a1 = 2.
EJERCICIOS
1) Calcular, mediante residuos, la integral
Z
1
I1 =
ez+ z dz,
C
donde C es una circunferencia centrada en el origen, de radio 1 y recorrida

en sentido positivo.
X
2j
.
Sol.: I1 =
k!(k + 1)!
k=0
2) Calcular, mediante residuos, la integral
Z
1
I2 =
z cos
dz,
z1
C
donde C es una circunferencia centrada en el origen, de radio 2 y recorrida
en sentido positivo.
Sol.: I2 = j .
4.5 Ceros y polos
121
4.5 Ceros y polos

Vemos a continuacin la relacin que existe entre los ceros y los polos de una
funcin de variable compleja.
Denicin 4.2 Sea g(z) una funcin compleja holomorfa en un punto z0 C| .
Se dice que z0 es un cero simple de g(z) si g(z0 ) = 0 y g(z) = r(z)(z z0 ),

con r(z0 ) 6= 0.
Proposicin 8 Sea g(z) una funcin compleja holomorfa en un punto z0 C| .
Entonces g(z) tiene en z0 un cero simple si y slo si g(z0 ) = 0 y g 0 (z0 ) 6= 0.

La demostracin de esta proposicin se deja como ejercicio para el lector.
f (z)
una funcin compleja tal que f (z) y g(z)
g(z)
| y f (z ) 6= 0. Si g(z) tiene en z
sean holomorfas en el punto z0 C
0
0 un cero
simple, entonces h(z) tiene en z0 un polo simple, y cumple que
Proposicin 9 Sea h(z) =
Res [h(z), z = z0 ] =
f (z0 )
.
g 0 (z0 )
Demostracin. Analicemos el carcter de z0 en h(z). Dado que g(z0 ) = 0

(pues z0 es cero simple de g(z)) y f (z0 ) 6= 0, entonces limzz0 h(z) = . Por
tanto, z0 es un polo de h(z).
Adems, es un polo simple, puesto que
lim (z z0 )h(z) = lim (z z0 )
zz0
zz0
f (z)
f (z0 )
f (z)
= lim
=
.
(z z0 )r(z) zz0 r(z)
r(z0 )
Dado que f (z0 ) 6= 0 por hiptesis y r(z0 ) 6= 0 por ser z0 un cero simple,
entonces ese lmite existe, es nito y no nulo. Por tanto, en efecto, z0 es un
polo simple de h(z).
Como g(z) = r(z)(z z0 ), entonces g 0 (z) = r(z) + (z z0 )r0 (z), y por tanto
g 0 (z0 ) = r(z0 ) 6= 0. Por tanto, nalmente, puesto que z0 es polo simple de
h(z), deducimos que
Res [h(z), z = z0 ] = lim (z z0 )h(z) =

zz0
tal y como queramos probar.
f (z0 )
,
g 0 (z0 )
122
RESIDUOS
Ejemplo 4.7 Calculemos los residuos de la funcin

h(z) = cot z =
cos z
sen z
en los puntos z = k , con k ZZ.

Notaremos f (z) = cos z y g(z) = sen z , de forma que h(z) = f (z)/g(z).
Vemos que los puntos z = k con k ZZ son los nicos puntos donde g(z)
se anula, y por lo tanto son los puntos singulares (todos ellos aislados) de la
funcin h(z). En estos puntos tanto f (z) como g(z) son holomorfas y se verica
f (k) = cos(k) 6= 0 para todo k ZZ. Adems, tenemos que g 0 (z) = cos z ,
por lo que g 0 (k) = cos(k) 6= 0 para todo k ZZ.
Dado que g(k) = 0 y g 0 (k) 6= 0 para todo k ZZ, tenemos que los puntos k
son ceros simples de g(z), y por tanto polos simples de h(z). Por ello, podemos
calcular el residuo de h(z) en estos puntos como
Res [h(z), z = k] =
f (k)
cos(k)
=
= 1 para todo k ZZ.
0
g (k)
cos(k)
A continuacin generalizamos al caso de ceros y polos de orden m > 1.
Proposicin 10 Sea g(z) una funcin holomorfa en el punto z0 C| . En-
tonces, z0 es un cero de orden m de g(z) si y solo si g(z0 ) = g 0 (z0 ) = . . . =

g (m1 (z0 ) = 0, y g (m (z0 ) 6= 0.
Teorema 27
| un polo de orden m si la
Una funcin compleja f (z) tiene en el punto z0 C
1
funcin f (z)
tiene en z0 un cero de orden m.
4.6 Residuos en el punto del innito

Introducimos en primer lugar la denicin de residuo de una funcin de variable
compleja f (z) en el punto del innito.
Denicin 4.3 Sea f (z) una funcin holomorfa en un entorno (perforado o
no) del punto del innito (es decir, en R < |z| < o en R < |z|), siendo
| de f (z) pertenecen al interior del abierto
R tal que los puntos singulares en C
cuya frontera es la circunferencia C centrada en el origen y de radio R. Se
denomina residuo de la funcin f (z) en el punto del innito, z = , al valor
Z
1
f (z)dz = a1 ,
Res [f (z), z = ] =
2j C
4.6 Residuos en el punto del innito
123
siendo a1 el coeciente de z 1 del desarrollo en serie de Laurent de f (z) en

R < |z| < o en R < |z|.
Nota: De esta denicin podemos deducir que aunque el punto del innito sea
un punto regular de f (z), no podemos asegurar que el residuo en dicho punto
de esa funcin sea nulo.
Clculo de residuos en el punto del innito

Sabemos que el comportamiento de f (z) en el punto del innito z = puede

estudiarse analizando el comportamiento de f w1 en w = 0.
Por tanto, tendremos que
1
Res [f (z), z = ] =
2j
Z
f (z)dz,
C
donde C ser la circunferencia centrada en el origen y de radio R que est recorrida, como se indica en la integral, en sentido negativo. La parametrizacin de
esta curva ser z = Rej , con 2 0.
Si hacemos el cambio de variable z = w1 en la anterior integral tendremos que
dz = dw
. Adems, la curva C se transformar en otra curva C 0 . Aplicando el
w2
cambio de variable a la parametrizacin de C , tendremos que w1 = Rej , y por
tanto w = R1 ej = ej , con 2 0, o lo que es lo mismo, 0 2 .
Es decir, que C 0 ser una nueva circunferencia de radio = 1/R, centrada en
el origen y recorrida esta vez en sentido positivo. As pues, despus del cambio
de variable tendremos

Z
Z
1
1
1
1
f (z)dz =
f
2 dw.
2j C
2j C 0
w
w
La segunda integral coincide con la denicin del residuo de la funcin subintegral en w = 0.
Finalmente, en resumen, tenemos que el residuo de f (z) en el punto del innito
lo podemos calcular como

1
1
Res [f (z), z = ] = Res F (w) = 2 f
,w = 0 .
w
w

Nota: En el caso particular en que la funcin F (w) = w12 f w1 tenga un polo
simple en w = 0, se podr calcular el residuo como

1
1
Res [f (z), z = ] = lim w 2 f
= lim zf (z).
w0
z
w
w
124
RESIDUOS
Introducimos ahora un teorema que relaciona el valor de los residuos en los

puntos singulares de una funcin con el valor del residuo en el punto del innito
de dicha funcin, y que en muchos casos facilitar los clculos a realizar.
Teorema 28
| excepto en un nmero nito de puntos

Sea f (z) una funcin holomorfa en C,
z1 , . . . , zm , con m IN, y sea z = el punto del innito. Entonces,
m
X
Res [f (z), z = zi ] + Res [f (z), z = ] = 0.
i=1
Es decir, el valor del residuo de f (z) en el punto del innito es el opuesto de

la suma de los valores de los residuos de f (z) en los puntos singulares de esta
|
funcin en C.
Apliquemos ahora este resultado en el teorema de los residuos. Sea un
contorno simple cerrado que encierra en su interior a los puntos singulares
z1 , . . . , zn de f (z), con n IN y n < m. Entonces, tendremos que
Z
n
X
f (z)dz = 2j
Res [f (z), z = zi ] =
i=1
2j
Res [f (z), z = ] +
m
X
!
Res [f (z), z = zj ] .
j=n+1
Por lo que podemos realizar el clculo de la integral compleja utilizando los

|
residuos de la funcin f (z) en los puntos singulares zi C
de f (z) que
pertenecen al interior de , o bien utilizando los residuos de f (z) en los puntos
| de esta funcin que pertenecen al exterior de , junto con el
singulares zj C
residuo de f (z) en el punto del innito.
Ejemplo 4.8 Calcular la integral
1
dz,
8
C 1+z
donde C es la circunferencia centrada en el origen y de radio 2 recorrida en
sentido positivo.
I=
Los puntos singulares de la funcin subintegral f (z) son los ceros del denomi
nador, esto es, las 8 races 8 1. Todas ellas tienen la particularidad de que su
mdulo es la unidad, por lo que estn contenidas en el interior de la curva C .
Por tanto, aplicando teorema de residuos en el punto del innito y el teorema
de los residuos, vemos que
I = 2j
8
X
k=1
Res [f (z), z = zk ] = 2j Res [f (z), z = ] .
4.7 Aplicacin de los residuos al clculo de integrales reales
125
Para calcular el residuo de f (z) en el punto del innito vamos a calcular el

desarrollo en serie de Laurent de f (z) en el entorno perforado del punto del
innito,
X
1
1 1
1 X
1
k 1
= 8
(1) 8k =
(1)k 8(k+1) .
1 = 8
8
1+z
z 1 + z8
z k=0
z
z
k=0

Este desarrollo ser vlido si z18 < 1, por lo tanto si 1 < |z|. En l podemos
ver que slo hay potencias de z negativas y cuyo valor absoluto del exponente
ser mltiplo de 8. Por tanto, el coeciente de z 1 ser a1 = 0, y con ello
vemos que
Res [f (z), z = ] = a1 = 0,
y por tanto,
Z
I=
C
1
dz = 0.
1 + z8

4.7.1 Clculo de integrales reales de funciones racionales
en senos y cosenos
Vemos a continuacin cmo podemos aplicar la teora que hemos estudiado
sobre residuos de funciones complejas para resolver integrales reales denidas
de funciones racionales en senos y cosenos. Nos referimos a integrales de la
forma
Z
2
R(sen , cos )d,

0
donde el intervalo de integracin podr ser cualquier otro, pero siempre de

longitud 2 .
Mtodo de resolucin
Transformaremos la integral real en una integral curvilnea compleja sobre
la circunferencia unidad, y aplicaremos residuos. Aplicaremos el cambio de
variable z = ej , lo que nos llevar a que dz = jej d. Adems, al aplicar este
cambio tendremos
z z 1
ej ej
=
;
sen =
2j
2j
cos =
ej + ej
z + z 1
=
.
2
2
126
RESIDUOS
La integral nos quedar como
Z
z z 1 z + z 1 dz
R
,
;
2j
2
jz
|z|=1
esta ltima la resolveremos utilizando residuos.
Notas:
1. Este mtodo tambin puede aplicarse a los casos siguientes:
a) La funcin subintegral es de la forma g()ej g()ejn con n ZZ.
b) Los argumentos de las funciones seno y coseno son mltiplos de ,
o sea, cuando tenemos como funciones subintegrales racionales de
sen n y/o cos n, con n IN.
2. El mtodo no es vlido si la funcin subintegral R(cos , sen ) tiene polos
sobre el crculo unidad, es decir, si la integral es impropia (pues la funcin R(cos , sen ) tiene un denominador que se anula en algn punto
del intervalo [0, 2]).
4.7.2 Clculo de integrales reales impropias

Revisaremos en este apartado algunos conceptos previos.
a) Valor principal de Cauchy
Recordemos las siguientes deniciones:
Denicin 4.4 Sea f (x) una funcin Riemann-integrable en IR. Dire-
mos que la integral
f (x)dx
Z
existe si los lmites lim
f (x)dx y lim
tos, y en este caso

Z
Z
f (x)dx = lim
R
0
f (x)dx existen y son niZ
f (x)dx + lim
f (x)dx.
0
Denicin 4.5 Sea f (x) una funcin Riemann-integrable

en IR. LlaR
maremos valor principal de Cauchy de la integral f (x)dx al valor

Z
Z R
VP
f (x)dx = lim
f (x)dx,
siempre y cuando el lmite implicado exista.
127
Relacin entre ambos valores

R
1) Si la integral f (x)dx existe, entonces el valor princial de esa
integral existe tambin y toma el mismo valor que el de la integral.
R
2) Aunque exista el valor principal de la integal f (x)dx, no necesariamente tiene por qu existir dicha integral. Sin embargo, si
f (x) es par en IR (o sea, f (x) = f (x), x IR), entonces s se
cumple esta implicacin. Es decir, si f (x) es par en IR y existe
R
VP f (x)dx, entonces existe el valor de dicha integral, y ambos
son iguales. Adems, en estas condiciones, se puede armar que
Z
Z
f (x)dx = 2
f (x)dx.
b) Lema de Jordan
A continuacin introduciremos un resultado importante acerca del comportamiento de integrales de funciones complejas sobre arcos de circunferencia cuyo radio tiende a innito.
Lema 3 (Lema de Jordan) Sea R la semicircunferencia |z| = R,

0 Arg z , y sea f (z) una funcin holomorfa en un entorno del
punto del innito y tal que limz f (z) = 0. Entonces, m > 0, se
verica que
Z
f (z)ejmz dz = 0.
lim
c) Clculo de integrales reales impropias con senos y cosenos

Estudiamos en este punto una de las aplicaciones de la teora de residuos
al clculo de integrales reales impropias, en particular analizaremos el
caso de integrales impropias de la forma
Z
Z
f (x) cos axdx,
f (x) sen axdx, a = cte > 0,
siendo f (x) una funcin con n puntos singulares z1 , . . . , zn (no reales).

Aplicando la teora de anlisis complejo, podemos ver que
Z
Z
Z
jax
f (x)e dx =
f (x) cos axdx + j
f (x) sen axdx.
Nos interesar por tanto calcular el valor de la integral del primer miembro de esta igualdad, a partir del cual podremos obtener los valores de
las integrales anteriores.
Consideramos la funcin g(z) = f (z)ejaz . Esta funcin tiene las mismas
singularidades que la funcin f (z), ya que ejaz es una funcin entera.
128
RESIDUOS
Luego, tiene n singularidades, z1 , . . . , zn , todas ellas con parte imaginaria

no nula (ya que f (z) no presenta singularidades reales). Construimos
adems el contorno : C [R, R], que recorreremos en sentido positivo,
y donde R ser un nmero real y C ser la semicircunferencia centrada
en z = 0 y de radio R. Adems, consideraremos que R es sucientemente
grande como para que en el recinto limitado por estn los m puntos
singulares del semiplano superior del campo complejo (m < n). En este
caso, por el teorema de los residuos, tendremos que
Z
jaz
f (z)e
dz =
f (z)e
jaz
f (z)ejaz dz =
dz +
2j
m
X
Res f (z)ejaz , z = zi .
i=1
Si tomamos lmites con R podemos obtener
VP
f (x)ejax dx =
2j
m
X
Res f (z)e
jaz
f (z)ejaz dz.
, z = zi lim
i=1
Aplicando ahora el lema de Jordan, tenemos que

Z
lim
f (z)ejaz dz = 0.
R
Por tanto, nalmente obtenemos que

"
Z
VP
f (x) cos axdx = Re 2j
VP
Res f (z)ejaz , z = zi
#
,
i=1
"
f (x) sen axdx = Im 2j
m
X
m
X
jaz
Res f (z)e
, z = zi
#
.
i=1
EJERCICIO
Calcular, mediante las tcnicas estudiadas con residuos, la integral
Z 3
x sen ax
I=
dx, a > 0.
4
x + 4
Sol.: I = ea cos a.
Tema 5
Transformada de Laplace
5.1 Deniciones y teorema de convergencia

En general, se denomina transformada integral de una funcin f (t) a la integral
Z b
F (p) =
k(p, t)f (t)dt,
a
donde k(p, t) es el ncleo o kernel de la transformacin.

Existen diferentes tipos de transformadas integrales: la transformada de Fourier,
la transformada de Hilbert, la transformada Z, etc., En especial, la que nos
ocupar en este captulo ser la transformada de Laplace. El inters de esta
transformada radica en su utilidad para la resolucin de ecuaciones diferenciales, facilita el estudio de la estabilidad de sistemas autnomos, permite el
anlisis de circuitos elctricos lineales, y proporciona mtodos de anlisis y
sntesis de sistemas lineales e invariantes en el tiempo.
Denicin 5.1 Sea f (t) : [0, ) C| (o IR) una funcin de variable real con
valores complejos (o reales). Se denomina transformada de Laplace de f (t) a

la funcin de variable compleja dada por
Z
F (s) = L (f (t)) =
f (t)est dt,
0
| para los que la integral converja.
para aquellos valores de s C
La transformada de Laplace es el caso de transformada integral en el cual

k(p, t) = est .
130
TRANSFORMADA DE LAPLACE
Ejemplo 5.1 Sea la funcin f (t) = 1, t 0. Su transformada de Laplace

ser
F (s) =
st
1 st
dt = e .
s
0
Esta integral converger si Re s > 0, y en ese caso
1
F (s) = , Re s > 0.
s
Nota 1: Se denomina
Z transformada de Laplace bilateral de una funcin f (t) a
la integral Fb (s) =
f (t)est dt para aquellos s tales que la integral converja.

Adems, Fb (s) = 2F(js), donde F denota la transformada de Fourier de
f (t).
Nota 2: Tambin podemos considerar funciones f (t) tales que f (t) = 0 para
t < 0. Estas funciones, muy comunes en ingeniera, se designan a veces de la
forma
| (o IR),
f (t) = g(t)u(t) , g(t) : IR C
donde u(t) es la funcin escalon unitario o funcin de Heaviside, denida como
1, t 0
u(t) =
0, t < 0.
Ejemplo 5.2 Sea la funcin de Heaviside, u(t). Su transformada de Laplace

ser
1
L (u(t)) = , si Re s > 0.
s
Denicin 5.2 Se dice que la funcin f (t) : [0, ) C| (o IR) es de orden

exponencial si existen dos constantes M > 0 y IR tales que
|f (t)| M et , t 0.
Ejemplo 5.3 Se pueden demostrar las siguientes armaciones sobre funciones

de orden exponencial:
La funcin de Heaviside, u(t) =

0).
1 t0
, es de orden exponencial (con
0 t<0
La funcin f (t) = e2t es de orden exponencial (con 2).

2
La funcin f (t) = et no es de orden exponencial.
5.1 Deniciones y teorema de convergencia
131
El siguiente teorema nos da condiciones sucientes sobre f (t) para la existencia

de su transformada de Laplace.
Teorema 29 (Teorema de convergencia)

| (o IR) una funcin continua a trozos (tal que en cualquier
Sea f (t) : [0, ) C
intervalo nito [0, a], la funcin f (t) est acotada y es Riemann-integrable) y
de orden exponencial. Entonces, existe un nico , con < , tal que
Z
converge si Re s >
st
F (s) =
f (t)e dt
.
diverge si Re s <
0
| : Re s >
Adems, en este caso, F (s) ser analtica en el semiplano D {s C
}, al que llamaremos semiplano de convergencia, y se vericar
lim F (s) = 0.
El nmero se denomina abscisa de convergencia de F (s) = L (f (t)), y si

llamamos al nmo del conjunto de los IR para los cuales existe un
M > 0 tal que |f (t)| M et , entonces .
Nota: Si = , entonces F (s) es entera. Adems, hemos de notar que las

dos condiciones del teorema anterior (continuidad a trozos y orden exponencial) son condiciones sucientes.
Teorema 30 (Frmula de inversin de Laplace)

| (o IR) una funcin continua a trozos y de orden exponenSea f (t) : [0, ) C
cial, y sea F (s) su transformada de Laplace, analtica en Re s > . Entonces,
la funcin origen f (t) vendr dada por la frmula de Bromwich, o frmula de
inversin de Laplace,
Z a+j
1
1
f (t) = L (F (s)) =
VP
F (s)est ds,
2j
aj
con a > , y donde la integral se realiza a lo largo de la recta Re s = a y se

entiende, en general, como valor principal.
Ejemplo 5.4 Hallemos la transformada de Laplace de la funcin f (t) = ezt

para t 0, donde z ser una constante compleja.
Por denicin,
F (s) = L ezt =
e
0
Si s 6= z , tenemos
zt st
e dt =
e(s+z)t dt.
Re(s+z)t j Im(s+z)t
1
1 (s+z)t
1
=
F (s) =
e
lim
e
e
+
.
s+z
s + z t
s+z
0
132
En esta ltima igualdad, el lmite ser nulo siempre que Re(s + z) > 0, y no
ser nito en el resto de casos. Por tanto, la integral converge si Re(s + z) > 0,
y en ese caso
1
F (s) =
, Re s > Re z.
s+z
El semiplano de convergencia de esta transformada ser
| : Re s > Re z},
D {s C
y ah la funcin F (s) ser analtica.
5.2 Propiedades
Revisamos a continuacin algunas de las propiedades ms importantes de la
transformada de Laplace.
a) Linealidad
| (o IR), con las
Sean f (t) y g(t) dos funciones denidas en [0, ) C
propiedades dadas en el teorema de convergencia, y tales que
F (s) = L(f (t)), Re s > (f );

G(s) = L(g(t)), Re s > (g).
Entonces, para cualesquier nmeros complejos a y b, se cumple que
L [af (t) + bg(t)] = aF (s) + bG(s), Re s > max{(f ), (g)}.
Demostracin. Aplicando la denicin de transformada de Laplace, y

teniendo en cuenta que la integral es una aplicacin lineal, tendremos
que
Z
L [af (t) + bg(t)] =
Z
a
0
(af (t) + bg(t)) est dt =

0
Z
st
f (t)e dt + b
g(t)est dt = aF (s) + bG(s).
0
Ahora hemos de ver que la regin de convergencia es la enunciada. En

efecto, en la anterior igualdad podemos observar que ha de cumplirse
tanto Re s > (f ) como Re s > (g). Esto se dar cuando Re s >
max{(f ), (g)}, tal y como queramos probar.
5.2 Propiedades
133
Ejemplo 5.5 Vamos a calcular, aplicando la propiedad de linealidad,

la transformada de Laplace de f (t) =
denicin compleja de la funcin seno,
jt
e ejt
=
L [sen wt] = L
2j
|
sen t, con C.
Aplicando la
tendremos que
1 jt
L ejt .
L e
2j
Si ahora aplicamos el resultado visto en el ejemplo 5.4, tendremos que
jt
=
L e
1
, Re s > Re(j) = Im ;
s j
jt
=
L e
1
, Re s > Re(j) = Im .
s + j
As pues,
1
1
= 2
, Re s > | Im |.
L [sen wt] =
2j s j s + j
s + 2
EJERCICIOS
Calcular, aplicando la propiedad de linealidad, las transformadas de
Laplace de las siguientes funciones:
1) f1 (t) = cos t
Sol.: F1 (s) =
s2
s
, Re s > | Im |.
+ 2
s2
, Re s > | Re |.
2
2) f2 (t) = senh t
Sol.: F2 (s) =
3) f3 (t) = cosh t
Sol.: F3 (s) =
s
, Re s > | Re |.
s2 2
134
b) Transformadas de Laplace de derivadas

La principal utilidad de la transformada de Laplace es la posibilidad
de transformar una ecuacin diferencial ordinaria en una ecuacin algebraica, mediante la siguiente propiedad.
Proposicin 11 Sea f (t) una funcin continua en [0, ), con derivada
f 0 (t) continua a trozos y de orden exponencial (es decir, |f 0 (t)| kebt ,

t 0). En este caso,
0
L [f (t)] = sF (s) f (0), Re s > max{0, b}.
Demostracin. Aplicando la denicin de transformada de Laplace,

tendremos
L [f (t)] =
0
df st
e dt = lim
t0
dt
t0
0
df st
e dt.
dt
Integrando por partes, con u = est y dv = df

dt, tenemos que du =
dt
st
se dt y v = f (t). Por tanto, la anterior integral nos queda como
L [f (t)] = lim
t0
t
f (t)est 00
+
0
sest f (t)dt =
h
t i
lim f (t)est 00 + sF (s).
t0
Ahora pasemos a calcular el lmite. Por teora de clculo integral, sabemos que
Z t
f (t) =
f 0 ( )d + f (0).
0
Por tanto, teniendo en cuenta que f 0 (t) es de orden exponencial, tendremos que
|f (t)|
Z
0
keb d + |f (0)| =
t
k bt
k b
e + |f (0)| =
e 1 + |f (0)|.
b
b
0
|f ( )|d + |f (0)|
0
Si llamamos R = |f (0)| kb , tendremos que
k bt
e 1 + |f (0)| M eat ,
b
con M = max{ kb , R}, a = max{0, b}. Por tanto,
|f (t)| M eat .
5.2 Propiedades
135
Aplicando este resultado, tendremos la siguiente desigualdad:
f (t0 )est0 M eat0 est0 = M e Re(sa)t0 ej Im(sa)t0 = M e Re(sa)t0 .

De aqu deducimos que cuando t0 , tenemos que e Re(sa)t0 0
siempre que Re(s a) > 0 (en otro caso esta expresin no converge), con
lo que f (t0 )est0 0 cuando Re s > a.
Finalmente, aplicando lo anterior tendremos que el valor del lmite buscado es
h
t i
lim f (t)est 00 = lim f (t0 )est0 f (0) = f (0).
t0
t0
Si ahora ponemos esto en la expresin de la transformada de f 0 (t), tendremos que

0
L(f (t)) = sF (s) f (0), Re s > a = max{0, b}.
Nota: Este resultado tambin puede extenderse al caso en que f (t) es

una funcin continua en t > 0, pero existe limt0+ f (t) = f (0+ ). En
este caso, tendramos que
0
+
L(f (t)) = sF (s) f (0 ), Re s > a.
En general, podremos enunciar la siguiente proposicin:
Proposicin 12 Sea f (t) y sus n 1 primeras derivadas funciones con-
tinuas en el intervalo [0, ), y sea f (n (t) una funcin continua a trozos

y de orden exponencial (es decir, |f (n (t)| kect , t 0). Entonces, se
verica
(n
n
n1
n2 0
(n1
(0), Re s > max{0, c}.
L[f (t)] = s F (s)s f (0)s f (0). . .f
Nota: Este resultado puede hacerse extensivo a funciones f (t) tales que
f (t) y sus n 1 primeras derivadas sean contnuas en t > 0 pero existan
limt0+ f (t) = f (0+ ), limt0+ f 0 (t) = f 0 (0+ ), . . . , limt0+ f (n1 (t) =
f (n1 (0+ ). En este caso,
(n
n
n1
+
n2 0 +
(n1 +
(0 ),
L[f (t)] = s F (s) s f (0 ) s f (0 ) . . . f
siempre que Re s > max{0, c}.
136
c) Transformada de Laplace de la integral de una funcin

Sea una funcin f (t) denida en el intervalo real [0, ) y con valores,
en general, complejos, con F (s) = L(f (t)) para Re s > (f ), y sea
Rt
g(t) = 0 f ( )d . Entonces,
G(s) =
F (s)
, Re s > max{0, (f )}.
s
d) Cambios de escala
Sea una funcin f (t) denida en el intervalo real [0, ) y con valores, en
general, complejos, con F (s) = L(f (t)) para Re s > (f ). Para cualquier
b > 0, tendremos que
s
1 s
, Re
> (f ).
L(f (bt)) = F
b
b
b
Demostracin. Por simple desarrollo con bt = z , se deduce que

Z
st
s zb
f (z)e
dt =
0

esto es vlido siempre que Re sb > (f ).
f (bt)e
L[f (bt)] =
1
1 s
dz = F
;
b
b
b
e) Propiedades relacionadas con el desplazamiento

i) Desplazamiento de la funcin f (t)
Sea una funcin f (t) denida en el intervalo real [0, ) y con valores, en general, complejos, con F (s) = L(f (t)) para Re s > .
Consideremos la funcin de Heaviside o funcin escaln unitario,
1 t0
u(t) =
0 t < 0,
f (t a), t a
y a 0. Sea adems g(t) = f (t a)u(t a) =
0,
t < a.
Entonces, se tiene que
as
L[g(t)] = e F (s), Re s > .
Demostracin. Por simple desarrollo, considerando = t a,

tenemos que
g(t)e dt =
f (t a)est dt =
L[g(t)] = G(s) =
0
a
Z
Z
s( +a)
sa
f ( )es d = esa F (s),
f ( )e
d = e
0
siempre que Re s > .
st
5.2 Propiedades
137
ii) Desplazamiento de la transformada F (s)

Sea una funcin f (t) denida en el intervalo real [0, ) y con valores,
en general, complejos, con F (s) = L(f (t)) para Re s > . Sea
adems g(t) = eat f (t), t 0. Entonces, la transformada de
Laplace de g(t) ser
L[g(t)] = G(s) = F (s + a), Re(s + a) > .
Demostracin. Por simple desarrollo tenemos que

Z
G(s) =
at
st
f (t)e
dt =
f (t)e(a+s)t dt = F (s + a),
siempre que Re(a + s) > , o lo que es lo mismo, Re s > Re a.

f) Transformada de una funcin peridica
Sea f (t) una funcin con las caractersticas del teorema de convergencia,
peridica de perodo T > 0. En ese caso, su transformada de Laplace
viene dada por la expresin
Z T
1
f (t)est dt, Re s > 0.
L(f (t)) =
1 esT 0
|
Demostracin. Sea la funcin f : [0, ) C,
peridica de perodo
T > 0 (por lo que f (t + T ) = f (t) para todo t > 0). Entonces, la

transfomada de Laplace de f (t) ser
Z
F (s) = L[f (t)] =
Z
st
f (t)dt =
st
2T
f (t)dt +
+ ... =
Z
X
n=0
est f (t)dt
T
(n+1)T
est f (t)dt.
nT
R (n+1)T
est f (t)dt. Si consideramos t = + nT , tendremos que

Z T
Z T
s( +nT )
snT
In =
e
f ( + nT )d = e
es f ( )d.
Sea In =
nT
Por tanto, la transformada F (s) nos quedar como

Z T
X
X
snT
F (s) =
In =
e
es f ( )d.
n=0
n=0
El sumatorio de la ltima expresin es una serie geomtrica de razn

esT , y como tal ser convergente si y solo si |esT | < 1. Esta condicin
138
es equivalente a decir que |e(Re s)T ||ej(Im s)T | = |e(Re s)T | < 1, lo cual es
cierto slo si Re s > 0. Supuesto que este sumatorio converge, tendremos
que su suma es 1e1sT . Con lo que, nalmente llegamos a que
1
L[f (t)] =
1 esT
f (t)est dt,
siempre que Re s > 0, tal y como queramos probar.
EJERCICIO
Hallar la transformada de Laplace de la funcin
f (t) =
k
k
na < t (n + 1)a
(n + 1)a < t (n + 2)a,
donde n 0 es un entero par y a > 0.

Sol.: L[f (t)] =
k 1 eas
, Re s > 0.
s 1 + eas
g) Transformada de la convolucin de dos funciones
Denicin 5.3 Sean dos funciones f (t) y g(t), ambas absolutamente

integrables en IR, se denomina convolucin de f y g a la funcin denida
mediante la integral impropia
Z
(f g)(t) =
f (t )g( )d,
para aquellos valores para los que la integral sea convergente.

La operacin de convolucin verica las propiedades asociativa, conmutativa y distributiva con respecto de la suma. Adems, verica f 0 = 0;
sin embargo, 1 f 6= f .
Un caso particularmente importante de convolucin es aquel de las funciones para las cuales se dene la transformada de Laplace, es decir, el
caso en que las funciones f y g son tales que f (t) = g(t) = 0 para t < 0.
En este caso, g( ) = 0 para < 0, y f (t ) = 0 para t < 0, o sea,
para t < . Aplicando esto, tendremos que
(f g)(t) =
f (t )g( )d.
0
5.2 Propiedades
139
Teorema 31 (Teorema de convolucin)

| (o IR) que cumplen las condiSean dos funciones f (t), g(t) : [0, ) C
ciones del teorema de convergencia y tales que L(f (t)) = F (s), Re s >
(f ) y L(g(t)) = G(s), Re s > (g). En este caso, se verica que
L[(f g)(t)] = F (s)G(s), Re s > max{(f ), (g)}.
Demostracin. Esta prueba la realizaremos desarrollando la expresin de la transformada de Laplace de la convolucin. Consideraremos,
adems, que t = u, de forma que
Z
st
e
f (t )g( )d dt =
L[(f g)(t)] =
0
0
Z
Z
s(t ) s
e
e
f (t )g( )d dt =
0
0
Z
Z
s(t )
s
e
f (t )dt g( )d =
e
0
0
Z
Z
su
s
e f (u)du g( )d =
e
Z
Z
su
s
e f (u)du g( )d =
e
0
0
Z
es F (s)g( )d = F (s)G(s),
0
siempre que Re s > max{(f ), (g)}.
Nota: Otras propiedades interesantes de la transformada de Laplace seran las

siguientes:
a) Para cualquier n IN, se verica la igualdad
n
n
L[t f (t)] = (1)
dn F (s)
dsn
.
b) Para cualquier n IN, se verica la igualdad
Z
Z
f (t)
=
...
F (s)ds.
L
tn
s
s
|
{z
}
n
140
EJERCICIOS
Calcular las transformadas de Laplace de la funcin f (t), para las siguientes
deniciones de sta:
1) f (t) = tn , con n IN {0}.
Sol.: L(f (t)) =
n!
sn+1
, Re s > 0.
2) f (t) = tn et , con n IN {0}.

Sol.: L(f (t)) =
n!
, Re s > Re .
(s + )n+1
3) f (t) = et sen zt.

Sol.: L(f (t)) =
z
, Re s > | Im z| Re .
(s + )2 + z 2
Sol.: L(f (t)) =
s+
, Re s > | Im z| Re .
(s + )2 + z 2
4) f (t) = et cos zt.
5) f (t) = e2t (3 cos 6t 5 sen 6t).

Sol.: L(f (t)) =
3s 24
, Re s > 2.
(s + 2)2 + 36
5.3 Clculo de la transformada de Laplace inversa

Ahora buscamos encontrar la funcin f (t) cuya transformada de Laplace F (s)
nos es conocida; es decir, buscamos la transformada de Laplace inversa, f (t) =
L1 (F (s)), con t 0. Para ello, podremos usar dos mtodos distintos:
Mediante residuos
Teorema 32
Sea F (s) una funcin holomorfa en todo el campo complejo, excepto en
un conjunto de puntos {s1 , . . . , sn }, y tal que |F (s)| M
, con |s| R;
sb
sea adems 0 = max{Re si }i=1,...,n . Entonces,
Z a+j
n
X
1
st
f (t) =
VP
F (s)e ds =
Res F (s)est , s = si , t 0,
2j
aj
i=1
y esta funcin f (t) verica L(f (t)) = F (s) para Re s > 0 .
141
Demostracin. Sea CR la semicircunferencia compleja de radio R y

centro en a,
CR : s = a + Rej ,
.
2
2
Sean adems los nmeros complejos A = a jR y B = a + jR. Con esto

podemos denir el contorno cerrado R CR AB . Si escogemos R
sucientemente grande de forma que los puntos s1 , . . . , sn queden dentro
del contorno R , tendremos que
Z
st
F (s)e ds = 2j
R
n
X
Res F (s)est , s = si .
i=1
Por tanto,
st
st
F (s)e ds +
A
F (s)e ds = 2j
CR
n
X
i=1
Si tomamos el lmite cuando R tiende a innito, tendremos que
a+jR
lim
st
F (s)est ds =
F (s)e ds + lim
ajR
CR
2j
n
X
Res F (s)est , s = si ,
i=1
por tanto,
a+j
VP
Z
st
st
F (s)e ds+ lim
aj
F (s)e ds = 2j
CR
n
X
i=1
Para calcular el segundo lmite del primer miembro, recurrimos a la

parametrizacin de la curva, de forma que
Z
st
lim
F (s)e ds = lim
CR
F (a + jz)e(a+jz)t jdz =
CR 0
Z
at
je lim
R
h(z)ejtz dz.
CR 0
En este caso, la curva CR se transforma en la curva CR0 , que es la semicircunferencia superior de radio R y centrada en el origen. Dado que
limz h(z) = 0 (pues lims F (s) = 0), y t 0, por el lema de Jordan
tendremos que el ltimo lmite es igual a 0, y por tanto
Z
lim
F (s)est ds = 0.
R
CR
142
As pues,
a+j
VP
st
F (s)e ds = 2j
aj
n
X
Res F (s)est , s = si ,
i=1
por lo que
1
VP
2j
a+j
st
F (s)e ds = f (t) =
aj
n
X
Res F (s)est , s = si
i=1
para t 0.
Nota: Podemos observar que, para aplicar el anterior teorema, basta asegurar que lims F (s) = 0.
EJERCICIO
Calcular la transformada inversa de Laplace de la funcin compleja
F (s) =
(s +
s
.
+ 3s 10)
1)2 (s2
1 t
11
5 5t
2
Sol.: f (t) = e
t
+
e + e2t , t 0.
12
12
112
63
P (s)
y el punto singular si de la funcin
Nota: Para el caso en que F (s) = Q(s)
F (s) es un polo simple, podremos expresar
P (si ) si t
Res F (s)est , s = si = 0
e .
Q (si )
As, si F (s) tiene n polos simples en s1 , . . . , sn , tendremos que
X
n
P (s) st
P (sk ) sk t
e , s = sk =
e .
f (t) =
Res
0 (s )
Q(s)
Q
k
k=1
k=1
n
X
Esta ltima expresin se conoce como frmula de Heaviside.
EJERCICIO
Calcular la transformada inversa de Laplace de la funcin compleja
F (s) =
2s + 3
.
s2 + 4
Sol.: f (t) = 2 cos 2t +
3
sen 2t.
2
143
Mediante tablas de transformadas

Este mtodo consiste en el clculo directo de la transformada de Laplace
inversa f (t), mediante la aplicacin directa de las propiedades de la transformada de Laplace y/o de las tablas de transformadas de Laplace a la
funcin F (s), adecuadamente expresada.
Ejemplo 5.6 Vamos a hallar la expresin de f (t) = L1 (F (s)), siendo

F (s) =
s2
s
.
+ 2s + 5
Los puntos singulares de F (s) son aquellos que anulan el denominador,

o sea, s1 = 1 + 2j y s2 = 1 2j . Por tanto, F (s) es analtica en
Re s > 1. Reducimos a fracciones simples, de forma que
F (s) =
s
s+1
1
=
=
2
2
(s + 1) + 4
(s + 1) + 4 (s + 1)2 + 4
s+1
1
2
.
2
(s + 1) + 4 2 (s + 1)2 + 22
Si ahora recordamos, a partir de las tablas de transformadas elementales,

los resultados
s+
z
t
y L(sen ztet ) =
,
L(cos zte ) =
2
2
(s + ) + z
(s + )2 + z 2
con Re s > Re en ambos casos, tendremos que
1
f (t) = L (F (s)) = cos 2te
1
1
t
t
sen 2te = e
cos 2t sen 2t ,
2
2
siempre que Re s > 1.
Ejemplo 5.7 Vamos a hallar la expresin de f (t) = L1 (F (s)), siendo

F (s) =
1
.
+ 1)
s2 (s2
Si reducimos F (s) a fracciones simples tendremos que
F (s) =
1
1
1
= 2 2
.
+ 1)
s
s +1
s2 (s2
Recordando los resultados

n
L(t ) =
n!
z
,
Re
s
>
0
y
(sen
zt)
=
, Re s > | Im z|,
L
sn+1
s2 + z 2
tendremos que
f (t) = t sen t, Re s > 0.
144
5.4 Aplicacin de la transformada de Laplace a

la resolucin de EDO's
Existe una aplicacin muy interesante de la transformada de Laplace, que es
la consistente en la resolucin de problemas de valor inicial (PVI) de ecuaciones diferenciales ordinarias (EDO) con coecientes constantes, gracias a la
propiedad de las transformadas de derivadas.
Para ilustrar esta aplicacin usaremos un ejemplo. Sea el PVI dado por
y 00 + 3y 0 y = cos t,
y 0 (0) = 1, y(0) = 1.
Si aplicamos la transformada de Laplace a la EDO de este PVI, tendremos

00
0
L(y + 3y y) = L(cos t),
y aplicando la propiedad de linealidad,

00
0
L(y ) + 3 L(y ) L(y) = L(cos t).
Si usamos la nomenclatura L(y(t)) = L(y) = Y (s), tendremos, aplicando la

propiedad de transformadas de Laplace de derivadas,
s2 Y (s) sy(0) y 0 (0) + 3 [sY (s) y(0)] Y (s) = L(cos t).

Aplicando a esta expresin el valor de la transformada de Laplace de cos t y
las condiciones iniciales del PVI, obtenemos
s
(s2 + 3s 1)Y (s) s 1 3 = 2
,
s +1
de donde obtenemos que la transformada de Laplace, Y (s), de la funcin incgnita del PVI, y(t), es
Y (s) =
s
+s+4
s2 +1
.
s2 + 3s 1
A partir de esto, obtendramos y(t) como la transformada de Laplace inversa

de Y (s) con los mtodos ya estudiados.
EJERCICIOS
Resolver los siguientes problemas de valor inicial mediante aplicacin de la
transformada de Laplace
1) y 00 (t) + y(t) = 2 cos t, y(0) = 0, y 0 (0) = 1.
Sol.: y(t) = (t + 1) sen t.
2) y 00 (t) + a2 y(t) = cos(at), y(0) = y 0 (0) = 0.
Sol.: y(t) =
t
2a
sen(at).
Bibliografa
[1] J.W. Brown y R.V. Churchill, Variable compleja y aplicaciones, McGrawHill, 2004.
[2] J.W. Dettman, Applied Complex Variables. Dover Publications Inc. New
York, 1984
[3] J.E. Marsden, y M.J. Homan, Basic Complex Analysis, W.H. Freeman
and Co., New Yory, 2a ed., 1987.
[4] A.I. Markushvich, Teora de las funciones analticas (Vol. 1). Editorial
Mir, Mosc, 1978.
[5] A.D. Wunsch, Variable compleja con aplicaciones, Addison-Wesley
Iberoamericana, 2a ed., 1997.

LibroApuntesMMT1 PDF

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

LibroApuntesMMT1 PDF

Hochgeladen von

Copyright:

Verfügbare Formate

Universidad Politcnica de Madrid

Carmen Snchez vila

Las funciones trigonomtricas . . . . . . . . . . . . . . . 14

Las funciones hiperblicas . . . . . . . . . . . . . . . . . 17

Las funciones trigonomtricas e hiperblicas inversas . . 18

La funcin exponencial generalizada . . . . . . . . . . . . 21

Introduccin. Conceptos previos . . . . . . . . . . . . . . 22

Lmite de una funcin uniforme en un punto: concepto . 22

Relacin con los lmites de funciones reales . . . . . . . . 23

Propiedades generales de los lmites . . . . . . . . . . . . 24

Teorema sobre lmites innitos . . . . . . . . . . . . . . . 24

Continuidad de una funcin uniforme: concepto . . . . . 26

Continuidad uniforme de una funcin . . . . . . . . . . . 26

Relacin con las funciones reales . . . . . . . . . . . . . . 27

Continuidad de las funciones elementales . . . . . . . . . 27

Derivada de una funcin uniforme en un punto: concepto 29

Condiciones para la diferenciabilidad de funciones de

Operaciones con funciones holomorfas . . . . . . . . . . . 45

Holomorfa de las principales funciones elementales . . . 45

Otras propiedades de las funciones holomorfas . . . . . . 48

Relacin entre funciones armnicas y funciones holomorfas 50

Propiedades elementales de las funciones armnicas . . . 51

Construccin de la funcin armnica conjugada y reconstruccin de la funcin holomorfa a partir de la parte

Integracin de funciones complejas continuas . . . . . . . . . . . 60

Integrales de funciones holomorfas . . . . . . . . . . . . . . . . . 65

Teoremas sobre integrales de funciones holomorfas . . . . 65

Frmula integral de Cauchy . . . . . . . . . . . . . . . . 69

Derivadas de un funcin holomorfa. Frmula integral

Principales resultados relacionados con el mdulo de una

Principales teoremas derivados de la frmula integral de

Sucesiones y series numricas complejas . . . . . . . . . . . . . . 85

Sucesiones de nmeros complejos . . . . . . . . . . . . . 85

Series numricas complejas . . . . . . . . . . . . . . . . . 86

Desarrollo de Taylor de funciones holomorfas . . . . . . . 97

Relacin entre funciones analticas y holomorfas . . . . . 99

Series de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . 102

Convergencia de la serie de Laurent . . . . . . . . . . . . 103

Teorema de Laurent . . . . . . . . . . . . . . . . . . . . 104

Denicin de residuo . . . . . . . . . . . . . . . . . . . . . . . . 109

Teorema de los residuos

Clasicacin de singularidades aisladas mediante la correspondiente serie de Laurent . . . . . . . . . . . . . . . . . . . . . . . 114

Clculo de residuos en polos . . . . . . . . . . . . . . . . . . . . 115

Ceros y polos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121

Residuos en el punto del innito . . . . . . . . . . . . . . . . . . 122

Aplicacin de los residuos al clculo de integrales reales . . . . . 125

Clculo de integrales reales de funciones racionales en

Clculo de integrales reales impropias . . . . . . . . . . . 126

Deniciones y teorema de convergencia . . . . . . . . . . . . . . 129

Clculo de la transformada de Laplace inversa . . . . . . . . . . 140

Aplicacin de la transformada de Laplace a la resolucin de EDO's144

1.1 Primeras deniciones

Funcin univaluada y funcin multivaluada

b) Si existen elementos de D a los que f asigna ms de un elemento w, se

Ejemplo 1.2 La funcin w = z es una funcin multivaluada (bivaluada)

Representacin grca de funciones complejas

1.1 Primeras deniciones

sabiendo que j = ej 2 , gira el vector posicin de cada punto z 6= 0 un ngulo

Funciones inversa, compuesta e implcita

Sin embargo, a cada punto w R, salvo el punto w = 0, le corresponderan

z12 = w, tendremos z22 = z12 = w. Por lo tanto la funcin z = w, que es la

Ejemplo 1.4 La funcin

La funcin compleja de variable compleja como par de funciones

w = f (z) = u(x, y) + jv(x, y).

Teorema sobre lmites innitos . . . . . . . . . . . . . . . 24

Denicin de residuo . . . . . . . . . . . . . . . . . . . . . . . . 109

Clasicacin de singularidades aisladas mediante la correspondiente serie de Laurent . . . . . . . . . . . . . . . . . . . . . . . 114

Residuos en el punto del innito . . . . . . . . . . . . . . . . . . 122

Deniciones y teorema de convergencia . . . . . . . . . . . . . . 129

1.1 Primeras deniciones

Representacin grca de funciones complejas

1.1 Primeras deniciones

1.1 Primeras deniciones

. Entonces, se verica que

c) En otro caso, hemos de calcular Arg z0 . Tambin tendremos innitos

b) Tambin, para cualesquiera z1 , z2 complejos no nulos, se verica

Si consideramos < Arg z , en esta denicin estn implcitas estas

cos x cosh y = 0 Puesto que cosh y no se anula para ningn valor

sen x senh y = 0 De lo anterior dedujimos que