Teoría de Funciones de Variable Compleja - José Miguel Marín Antuña

TEORÍA DE FUNCIONES DE
VARIABLE COMPLEJA
JOSÉ MIGUEL MARÍN ANTUÑA
TEXTO DE LAS CARRERAS LICENCIATURA E

INGENIERÍA FÍSICA
TEORÍA DE FUNCIONES DE
VARIABLE COMPLEJA
TEXTO DE LAS CARRERAS LICENCIATURA E INGENIERÍA
FÍSICA
JOSÉ MIGUEL MARÍN ANTUÑA
PÁGINA LEGAL
Primera edición, Editorial Universitaria, 2014.
Calle 23 No. 565 e/ F y G, Vedado, La Habana, Cuba.
E-mail: eduniv@mes.edu.cu
Teléfono: (+537) 837 4538
e ISBN 978-959-16-2278-5
© Todos los derechos reservados José Miguel Marín Antuña, Profesor
Emérito. Facultad de Física de La Universidad de La Habana. Cuba. E-mail:
marin@fisica.uh.cu
Índice
Introducción 9
1 Funciones de variable compleja. Funciones analı́ticas 11
1.1 Números complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.1.1 Un poco de historia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.1.2 Definiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.1.3 Operaciones con números complejos . . . . . . . . . . . . . . . . . . . . . 14
1.1.4 Interpretación geométrica de los números complejos . . . . . . . . . . . . 16
1.1.5 Potencia y raı́z de un número complejo . . . . . . . . . . . . . . . . . . . 20
1.1.6 Esfera de los números complejos . . . . . . . . . . . . . . . . . . . . . . . 23
1.2 Sucesiones de números complejos . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.2.1 Definiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
1.2.2 Criterio de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
1.3 Funciones de variable compleja. Lı́mite y continuidad . . . . . . . . . . . . . . . 30
1.3.1 Conceptos fundamentales . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
1.3.2 Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
1.3.3 Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
1.4 Derivación con respecto al argumento complejo.

Funciones analı́ticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
1.4.1 Derivadas y diferenciales . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
1.4.2 Condiciones de diferenciabilidad de una función . . . . . . . . . . . . . . 40
3
4 ÍNDICE
1.4.3 Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
1.4.4 Funciones analı́ticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
1.4.5 Funciones conjugadas armónicas . . . . . . . . . . . . . . . . . . . . . . . 46
1.5 Ejercicios del Capı́tulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
2 Integración de funciones de variable compleja 51
2.1 Concepto de integral de funciones de variable compleja . . . . . . . . . . . . . . 51
2.2 Teorema de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
2.2.1 Formulación inicial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
2.2.2 Teorema de Goursat . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
2.2.3 Corolario del Teorema de Cauchy . . . . . . . . . . . . . . . . . . . . . . 60
2.2.4 Generalización del Teorema de Cauchy . . . . . . . . . . . . . . . . . . . 60
2.3 Integral Indefinida. Fórmula de Newton-Leibnitz . . . . . . . . . . . . . . . . . . 63
2.4 Integrales que dependen analı́ticamente de un parámetro . . . . . . . . . . . . . 68
2.5 Fórmula Integral de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
2.5.1 Obtención de la fórmula . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
2.5.2 Consecuencias de la Fórmula Integral de Cauchy . . . . . . . . . . . . . . 74
3 Series de funciones analı́ticas 85
3.1 Conceptos fundamentales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
3.1.1 Series numéricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
3.1.2 Series funcionales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
3.2 Propiedades de las series convergentes

uniformemente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
3.3 Series de potencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
3.3.1 Propiedades de las series de potencias . . . . . . . . . . . . . . . . . . . . 97
3.3.2 Desarrollo de una función analı́tica en serie de potencias . . . . . . . . . 104

ÍNDICE 5
3.4 Series de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
3.4.1 Propiedades de las series de Laurent . . . . . . . . . . . . . . . . . . . . 111
3.4.2 Desarrollo de una función analı́tica en serie de Laurent . . . . . . . . . . 114
3.5 Puntos singulares de las funciones analı́ticas . . . . . . . . . . . . . . . . . . . . 124
3.5.1 Clasificación de los puntos singulares . . . . . . . . . . . . . . . . . . . . 124
3.5.2 Conducta de las funciones analı́ticas en el entorno de sus puntos singulares

aislados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130
3.5.3 Clasificación de las singularidades en el entorno del infinito . . . . . . . . 136
4 Prolongación analı́tica. Funciones elementales de variable compleja 143
4.1 Prolongación analı́tica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143
4.1.1 Teorema de unicidad de las funciones analı́ticas . . . . . . . . . . . . . . 143
4.1.2 Prolongación analı́tica. Concepto de superficie de Riemann . . . . . . . . 147
4.1.3 Prolongación analı́tica a través de la frontera . . . . . . . . . . . . . . . . 151
4.1.4 Prolongación analı́tica por medio de series de potencias . . . . . . . . . . 154
4.1.5 Concepto de función analı́tica completa . . . . . . . . . . . . . . . . . . . 159
4.2 Funciones elementales de variable compleja . . . . . . . . . . . . . . . . . . . . . 160
4.2.1 Función exponencial. Funciones trigonométricas . . . . . . . . . . . . . . 161
4.2.2 Función logaritmo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 168
4.2.3 Funciones trigonométricas inversas . . . . . . . . . . . . . . . . . . . . . 176
4.2.4 Función potencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 178
5 Teorı́a de residuos y sus aplicaciones 187
5.1 Residuo. Teorema fundamental de residuos . . . . . . . . . . . . . . . . . . . . . 187
5.1.1 Definición. Fórmulas para el cálculo de residuos . . . . . . . . . . . . . . 187
5.1.2 Teorema fundamental de residuos . . . . . . . . . . . . . . . . . . . . . . 194

6 ÍNDICE
5.2 Aplicación de la teorı́a de residuos al cálculo de integrales definidas de variable

real . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 197
R 2π
5.2.1 Integrales del tipo 0 f (sin x, cos x)dx . . . . . . . . . . . . . . . . . . . 198
R∞
5.2.2 Integrales del tipo I = −∞ f (x)dx . . . . . . . . . . . . . . . . . . . . . 200
R∞ R∞
5.2.3 Integrales del tipo I = −∞ f (x) cos αx dx ó I = −∞ f (x) sin αx dx . . . . 203
5.2.4 Otros tipos de integrales . . . . . . . . . . . . . . . . . . . . . . . . . . . 212
5.2.5 Integrales de funciones multivaluadas . . . . . . . . . . . . . . . . . . . . 230

R∞
5.2.6 Integrales del tipo 0 f (x) ln xdx . . . . . . . . . . . . . . . . . . . . . . 236
5.3 Residuo logarı́tmico y sus aplicaciones. Principio del argumento . . . . . . . . . 242
5.3.1 Concepto de residuo logarı́tmico . . . . . . . . . . . . . . . . . . . . . . . 242
5.3.2 Principio del argumento . . . . . . . . . . . . . . . . . . . . . . . . . . . 246
6 Representaciones conformes 259
6.1 Conceptos fundamentales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 260
6.1.1 Transformaciones que conservan las propiedades armónicas . . . . . . . . 260
6.1.2 Significado geométrico del módulo y del argumento de la derivada de una

función analı́tica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 263
6.1.3 Representación conforme . . . . . . . . . . . . . . . . . . . . . . . . . . . 266
6.1.4 Principio de correspondencia de fronteras . . . . . . . . . . . . . . . . . . 267
6.1.5 Teorema de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 269
6.2 Función bilineal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 273
6.2.1 Función lineal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 273
6.2.2 Función de inversión . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 274
6.2.3 Función bilineal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 275
6.2.4 Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 281
6.3 Funciones elementales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 289
6.3.1 Función potencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 289

ÍNDICE 7
6.3.2 Función exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 291
6.3.3 Función seno . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 294
6.3.4 Ejemplos de aplicación de las funciones elementales . . . . . . . . . . . . 297
6.4 Función de Joukovsky. Perfiles de Joukovsky . . . . . . . . . . . . . . . . . . . . 300
6.5 Integral de Schwarz-Christoffel . . . . . . . . . . . . . . . . . . . . . . . . . . . . 306
6.5.1 Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 319
6.6 Aplicación de las representaciones conformes a la resolución de problemas de

frontera . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 334
6.6.1 Construcción de la función de Green mediante representaciones conformes 334
6.6.2 Resolución de problemas de frontera para la ecuación de Laplace mediante

representaciones conformes . . . . . . . . . . . . . . . . . . . . . . . . . . 338
6.6.3 Método del potencial complejo . . . . . . . . . . . . . . . . . . . . . . . . 343
7 Cálculo Operacional 373
7.1 La transformada de Laplace y sus propiedades . . . . . . . . . . . . . . . . . . . 375
7.1.1 Definiciones fundamentales . . . . . . . . . . . . . . . . . . . . . . . . . . 375
7.1.2 Transformada de las funciones elementales . . . . . . . . . . . . . . . . . 379
7.1.3 Propiedades de la transformada de Laplace . . . . . . . . . . . . . . . . . 381
7.1.4 Tabla de transformadas de Laplace . . . . . . . . . . . . . . . . . . . . . 390
7.2 Determinación del original a partir de la transformada . . . . . . . . . . . . . . 391
7.2.1 Fórmula de Mellin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 392
7.2.2 Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 402
7.2.3 Caso de función regular en el infinito . . . . . . . . . . . . . . . . . . . . 407
7.3 Aplicación de la transformada de Laplace a la solución de ecuaciones diferenciales410
7.3.1 Ecuaciones diferenciales ordinarias . . . . . . . . . . . . . . . . . . . . . 410
7.3.2 Ecuaciones en derivadas parciales . . . . . . . . . . . . . . . . . . . . . . 417
7.4 Otras transformadas integrales . . . . . . . . . . . . . . . . . . . . . . . . . . . . 424

8 ÍNDICE
7.4.1 Transformada de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . 425
7.4.2 Transformada de Mellin . . . . . . . . . . . . . . . . . . . . . . . . . . . 427
7.4.3 Transformada de Hankel . . . . . . . . . . . . . . . . . . . . . . . . . . . 428
7.4.4 Transformación de una integral de contorno . . . . . . . . . . . . . . . . 431
7.4.5 Prolongación analı́tica de la transformada de Fourier . . . . . . . . . . . 433
8 Respuestas e indicaciones a los ejercicios 439
8.1 Capı́tulo 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 439
8.2 Capı́tulo 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 439
8.3 Capı́tulo 4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 440
8.4 Capı́tulo 5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 441
8.5 Capı́tulo 6 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 442
8.6 Capı́tulo 7 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 442
8.7 Capı́tulo 8 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 444
9 Apéndice 1. Principio de simetrı́a 449
10 Apéndice 2. Redondeamiento de ángulos 459
10.1 Redondeamiento de ángulos menores que π . . . . . . . . . . . . . . . . . . . . . 459
10.2 Redondamiento de ángulos mayores que π . . . . . . . . . . . . . . . . . . . . . 461
11 Apéndice 3. La transformada de Fourier 467
Bibliografı́a 473
Introducción
En la presente obra se desarrollan los conceptos fundamentales y los métodos de trabajo de

la teorı́a de funciones de una variable compleja. En la literatura actual, generalmente se en-
cuentran cursos muy amplios de esta teorı́a dedicados fundamentalmente a aquellos lectores
que han escogido por especialidad las Matemáticas, a la vez que que se hallan otros cursos que
solamente desarrollan los elementos de esa teorı́a. Además, no existe hasta el momento un libro
en español que, a nuestro juicio, satisfaga las exigencias de un desarrollo sistemático y completo
de las funciones de variable compleja a pesar de que cada vez son más populares en la Fı́sica y
en la técnica los métodos que exigen una aplicación seria de la teorı́a de las funciones analı́ticas.
Hacer hincapié en dicha aplicación dentro del contenido de un curso matemático especializado
es difı́cil y el que al respecto se hace en los cursos elementales es insuficiente.
El fin que se propone el presente libro es precisamente eliminar esta insuficiencia desarrollando
con la rigurosidad necesaria los métodos fundamentales de la teorı́a de funciones de una variable
compleja para aquellas personas que la necesitan en aras de su aplicación a problemas fı́sicos y
técnicos. Su contenido está basado en el curso que el autor ha desarrollado durante 45 años en
la asignatura de Métodos Matemáticos de la Fı́sica para el tercer año de la carrera de Fı́sica
de la Universidad de La Habana. Dos ediciones anteriores de este libro han sido utilizadas
también como texto de los estudiantes de la carrera de Fı́sica Nuclear del Instituto de Ciencias
y Tecnologı́as Aplicadas. Como libro de consulta ha sido empleado en carreras tecnológicas y
pedagógicas de Cuba, ası́ como en la carrera de Matemáticas de la Universidad de La Habana.
Algunas universidades latinoamericanas han contado con ejemplares de esas ediciones como
texto de consulta también.
Sin embargo, en su revisión el autor ha encontrado deficiencias en el emplanaje de los ejemplares

editados y también erratas que hacen deseable una nueva edición del libro. Es por eso que nos
dimos a la tarea de hacer un análisis detallado de las ediciones anteriores y de elaborar una
nueva versión del texto, si bien hemos querido mantener el estilo y el espı́ritu inicial de la obra,
pues ha sido de agrado de muchas generaciones de estudiantes que lo han utilizado para su
formación en el apasionante, elegante, bello y útil tema de la teorı́a y las aplicaciones de las
funciones de una variable compleja.
No obstante lo dicho, la necesidad y el deseo de una exposición más amplia y sistemática de

los contenidos ha conducido a la realización de un análisis más detallado de algunas cuestiones,
por encima de lo que comunmente puede hacerse en el marco de un programa de conferencias.
Es por ello que aparecen algunos temas que normalmente no entran en el contenido de dicho
programa, pero que son de gran utilidad al fı́sico y al ingeniero.
9
10 José Marı́n Antuña
El desarrollo del material es bastante cercano al tradicional. Sin embargo, no se hace un análisis
especial de las funciones elementales de variable compleja al inicio del libro, como comunmente
se lleva a cabo en otras obras, sino que éstas se introducen como una prolongación analı́tica
directa de las funciones elementales de variable real; los teoremas sobre la prolongación analı́tica
permiten, de forma uniforme, trasladar al campo complejo las propiedades conocidas de las
funciones de variable real.
La exposición de la teorı́a de residuos va encaminada a permitir la aplicación directa por parte

del lector de este poderoso aparato de trabajo como un arma de uso cotidiano en los problemas
de integración que se planteen; por ello está adornado de múltiples ejemplos. Igualmente,
el concepto y las implicaciones del residuo logarı́tmico han sido desarrollados ampliamente,
más de lo que habitualmente suelen hacer otros autores, ya que este sencillo concepto permite
profundizar más en la esencia y el comportamiento de las funciones analı́ticas y permite, de
paso, despejar algunas viejas incógnitas de carácter algebraico.
En el desarrollo de la materia también hemos hecho énfasis en la aplicación de la teorı́a de las

representaciones conformes a la solución de problemas de la Fı́sica Matemática, por ser uno
de los aparatos más poderosos que pueden usarse en las investigaciones en esa disciplina. Dos
apéndices del libro se dedican a ese tópico.
También se hace énfasis en la aplicación de la transformada de Laplace a la solución de pro-

blemas con ecuaciones diferenciales, tanto ordinarias, como en derivadas parciales, por ser ellas
un aparato de amplia utilización por los lectores a quienes va dirigido este libro.
Además, hemos introducido a través de ejemplos y ejercicios propuestos los conceptos de algunas
de las funciones especiales más importantes de la Fı́sica Matemática con las que el lector puede
encontrarse en el transcurso de su actividad profesional. Sin embargo, el libro no pretende
un estudio sistemático de las funciones especiales que son tratadas con mayor amplitud y
sistematicidad en el libro de Métodos Matemáticos de la Fı́sica del autor.
Este libro, como su nombre lo indica, está dedicado principalmente a la teorı́a de funciones de
una variable compleja; sin embargo, no se concibe un libro de teorı́a matemática que no contenga
ejemplos esclarecedores y que no proponga al lector ejercicios que le permitan comprobar sus
conocimientos. Por eso, sin ser un libro amplio en ejercicios, al final de cada capı́tulo se proponen
varios de ellos sobre la materia desarrollada. Al final del Capı́tulo 7 se ofrecen las respuestas a
los ejercicios propuestos y las indicaciones para la solución de algunos de ellos. Se recomienda
al lector la solución de los ejercicios propuestos, a fin de comprobar los conocimientos teóricos
adquiridos, ası́ como para adquirir la destreza necesaria en el manejo de dicha teorı́a.
Las opinones de los lectores sobre esta nueva versión del libro serán recibidas con agrado y
agradecimiento por el autor.
La Habana, Cuba, 2012.

Capı́tulo 1
Funciones de variable compleja.

Funciones analı́ticas
1.1 Números complejos
El concepto de número complejo apareció, en primer lugar, como resultado de la necesidad

de sistematizar los cálculos. Los matemáticos se vieron necesitados de utilizarlos desde épocas
relativamente tempranas. Inclusive las más sencillas operaciones algebraicas con números reales
se salen del marco del campo de los números reales. Es conocido que no toda ecuación algebraica
puede ser resuelta con números reales; por consiguiente, es necesario renunciar a la aplicación
automática de los métodos de solución establecidos y en cada caso investigar minuciosamente
las posibilidades de aplicación de dichos métodos o ampliar el campo de los números reales, de
manera que las operaciones algebraicas fundamentales sean siempre aplicables. Tal ampliación
es, precisamente, el concepto de número complejo.
La propiedad fundamental de los números complejos es que las operaciones matemáticas con
ellos realizadas no se salen de los lı́mites de su definición.
El concepto de número complejo es familiar al lector inclusive de los cursos de álgebra elemental.
En dichos cursos generalmente se llega al concepto de número complejo al analizar la ecuación
x2 + 1 = 0 (1.1)
Lo primero que se observa es que no existen números

√ reales que satisfagan dicha ecuación. Por
eso se introduce un nuevo número ”imaginario” i = −1, con ayuda del cual la citada ecuación
resulta soluble y cuyas raı́ces son +i y −i.1
1
La primera referencia a los números ”imaginarios” como las raı́ces cuadradas de números reales negativos
se remonta al siglo XVI (Cardano, 1545). Hasta la mitad del siglo XVIII los números complejos aparecen en
algunos trabajos aislados de diferentes matemáticos (Newton, Bernoulli, Clairaut). En la segunda mitad del
siglo XVIII se introduce el sı́mbolo i y comienza un desarrollo sistemático de la teorı́a de los números complejos
en los trabajos de eminentes matemáticos y fı́sicos como Leonard Euler, August Cauchy, Karl Weierstrass,
11
Inmediatamente pueden introducirse los números complejos como la suma de los números reales
x y los números imaginarios iy. Una vez introducidos estos números, resultan solubles todas
las ecuaciones de segundo grado
x2 + px + q = 0 (1.2)
y en general todas las ecuaciones del tipo
xn + p1 xn−1 + p2 xn−2 + · · · + pn = 0 (1.3)
con coeficientes arbitrarios.
Como podemos considerar que el lector está familiarizado, desde los cursos de álgebra ele-
mental, con el concepto de número complejo, resumiremos en forma axiomática los momentos
fundamentales de la definición de número complejo y las operaciones aritméticas que con ellos
se realizan. Exigiremos solo que los axiomas y las operaciones que introduzcamos contengan,
como caso particular, los conceptos y operaciones con los números reales.
1.1.1 Un poco de historia
La aritmética de los números reales responde a una serie de reglas entre las cuales se encuentra
el hecho de que el producto de dos números positivos y el producto de dos números negativos
tiene que ser positivo. Por ejemplo, 5 × 3 = 15 y también (−5) × (−3) = 15. Si uno se propone
la tarea de hallar la raı́z√cuadrada de un número negativo como −15 encuentra que debe ocurrir
que, si llamamos r = −15, entonces r × r = −15 lo que contradice la regla anterior de los
números reales. Por lo tanto, r no puede ser un número real. Aunque por mucho tiempo
los matemáticos rechazaron la posibilidad de introducir entes nuevos más allá de los números
reales, llegó un momento en el que la idea tuvo que admitirse para poder seguir ampliando
el campo de aplicaciones de la Matemática. Fue en el siglo 16 donde por primera vez se hizo
dicha introducción. El médico, filósofo y astrólogo Gerolamo Cardano introdujo en su libro
”Ars Magna” (”arte superior” o ”álgebra”) el siguiente problema: Hallar los números en que
se divide el número 10 de manera que multiplicadas entre sı́ se obtenga el número 40.
Cardano expresa que el problema no tiene solución, ya que no existen dos números reales a
y b que a la vez cumplan que a + b = 10 y que ab = 40. Planteado en términos modernos
del Algebra esto significarı́a que a(10 − a) = 40, o sea, a2 − 10a − 40 = 0. Sin embargo,
profundizando en el asunto, el propio Cardano propuso como posible solución
√ √
5+ −15, 5 − −15
pues, efectivamente:
Bernhard Riemann, Casper Bessel y otros.
Funciones de Variable Compleja 13
√ √ √ √ √
(5 + −15) × (5 − −15) = 25 − 5 −15 + 5 −15 − ( −15)2 = 25 − (−15) = 25 + 15 = 40
√
Al ”número” −15 que el propio Cardano rechazaba por ser ”inquietante” y a veces ”inútil”
tenı́a la rara virtud de permitir la solución del problema planteado. Como posteriormente la
manipulación de tales raı́ces ”sofisticadas” permitió resolver todas las ecuaciones de segundo
y de tercer grado, se comenzó a aceptar, no sin reservas, tales ”números” que de otra forma
hubieran sido desechados como tantas otras cuestiones que no se han sabido apreciar. Otros
matemáticos, como Bombelli, hicieron aportes a la solución de ecuaciones de tercer grado con el
uso de tales números y solamente ya comenzado el siglo 17 René Descartes acuñó el término de
”imaginarios” para los números que eran definidos como raı́ces de números negativos. Leibnitz
quiso decirles ”números anfibios”, pero felizmente prevaleció el nombre de imaginarios, si bien
eran mirados con reserva, como ciertos objetos de segunda clase. Solamente en la segunda mitad
del propio siglo 17 ese gigante del pensamiento matemático
√ llamado Leonard Euler introdujo el
sı́mbolo i para lo que llamó ”unidad imaginaria” i = −1 y consiguió la incorporación total de
los números imaginarios y los que después se denominaron ”complejos” que fueron escritos en
su forma algebraica como a + ib, donde a y b son números reales, al universo de la Matemática.
Es a la pluma del propio Euler a la que se debe la llamada ”identidad de Euler” eiπ + 1 = 0
considerada como la más bella fórmula mamtemática y con la que Euler logró establecer su
famosa identidad eiθ = cos θ + i sin θ y la introducción de los logaritmos de números negativos,
ya que, según su propio razonamiento, si eiπ = −1, ln(−1) = iπ. Por último, en el siglo 19,
casi 300 años después de los trabajos de Cardano, un matemático irlandés, William Hamilton,
introdujo otra notación para los números complejos: el número complejo a + ib fue identificado
por Hamilton como un par de números reales (a, b) cuyas reglas de composición son las que a
continuación expondremos de manera axiomática en este capı́tulo.
1.1.2 Definiciones
Llamaremos número complejo z al par ordenado de números reales
z = (x, y) (1.4)
e identificaremos al número complejo z = (x, 0) con el número real x.
En esta definición debemos insistir en que es fundamental el orden en que se colocan los números
que conforman el par, ya que no es igual el número complejo (x, y) al número complejo (y, x).
El primer número del par recibe el nombre de parte real del número complejo z, lo que se
indica escribiendo x = Re z; el segundo número del par y se denomina parte imaginaria del
número complejo z y se representa por el sı́mbolo y = Im z.
Los números reales se entienden como un subconjunto de los números complejos aquı́ definidos:
x = (x, 0). El subconjunto de los números complejos cuya parte real es nula: (0, y) son llamados
número imaginarios puros. Este nombre tiene su origen en los primeros tiempos de estudio
de los números complejos.
Diremos que dos números complejos z1 = (x1 , y1 ) y z2 = (x2 , y2 ) son iguales si y solo si son
iguales sus partes reales y sus partes imaginarias, es decir, z1 = z2 si y solo si x1 = x2 , y1 = y2 .
Como consecuencia, podemos decir que z = 0 si y solo si x = 0, y = 0.
Llamaremos complejo conjugado o simplemente conjugado del número z = (x, y) al número

complejo (x, −y) y lo representaremos por el sı́mbolo z ∗ o z̄.
1.1.3 Operaciones con números complejos
Definiremos las operaciones algebraicas con números complejos.
1. Llamaremos suma de dos números complejos z1 = (x1 , y1 ) y z2 = (x2 , y2 ) al número

complejo z = (x, y) tal que x = x1 + x2 , y = y1 + y2 . Esta operación será representada
simbólicamente por z = z1 + z2 .
Es fácil comprobar que para la operación ası́ definida se cumplen la propiedad conmuta-
tiva: z1 + z2 = z2 + z1 y la propiedad asociativa: z1 + (z2 + z3 ) = (z1 + z2 ) + z3 . Además,
es evidente que, considerados los números reales como un subconjunto de los números
complejos, la operación suma definida por nosotros coincide con la operación conocida de
suma de dos números reales. Esto nos indica que la operación de suma de dos números
complejos está construida correctamente.
2. Llamaremos diferencia de dos números complejos z1 = (x1 , y1 ) y z2 = (x2 , y2 ) al número

complejo z = (x, y) tal que z + z2 = z1 , lo que se representará con el sı́mbolo z = z1 − z2 .
De esta definición es fácil concluir que x = x1 − x2 , y = y1 − y2 .
3. Llamaremos producto de dos números complejos z1 = (x1 , y1 ) y z2 = (x2 , y2 ) al número

complejo z = (x, y) determinado por las relaciones
x = x1 x2 − y1 y2 , y = x1 y2 + x2 y1 (1.5)
La operación se simboliza por z = z1 ·z2 . Se puede comprobar sin dificultad que tiene lugar
la propiedad conmutativa: z1 ·z2 = z2 ·z1 , la propiedad asociativa: z1 ·(z2 ·z3 ) = (z1 ·z2 )·z3
y la propiedad distributiva: z1 · (z2 + z3 ) = z1 · z2 + z1 · z3 .
Además, considerando a los números reales como un caso particular de los números com-
plejos, vemos que se obtiene la regla conocida para la multiplicación de dos números
reales, de donde concluimos que la operación de multiplicación de dos números complejos
está bien construida.
Analicemos ahora un producto que juega un papel muy importante en la teorı́a de los
números complejos. Este producto es z · z ∗ . Según la definición de producto se obtiene:
z · z ∗ = (x2 + y 2 , 0) (1.6)
Es decir se obtiene un número real. Llamaremos módulo del número complejo z a la raı́z
cuadrada de dicho producto y lo representaremos por:
p
|z| = x2 + y 2 (1.7)
4. Llamaremos división de dos números complejos a la operación inversa a la de multipli-
cación. Llamaremos cociente de los números complejos z1 = (x1 , y1 ) y z2 = (x2 , y2 ) (si
z2 6= 0) al número complejo z = (x, y) que multiplicado por el divisor nos da el dividendo:
z · z2 = z1 , lo que se expresará con el sı́mbolo z = zz12 . De lo anterior se concluye que
la parte real x y la parte imaginaria y se determinan del sistema lineal de ecuaciones
algebraicas
xx2 − yy2 = x1 (1.8)

xy2 + yx2 = y1
con determinante x22 + y22 diferente de cero. Resolviendo este sistema se obtiene :
x1 x2 + y1 y2 x2 y1 − x1 y2
x= 2 2
; y= (1.9)
x2 + y2 x22 + y22
Una vez axiomatizadas las operaciones con números complejos, podemos buscar una forma
más cómoda de escribirlos: la llamada forma algebraica o forma binómica de un número
complejo.
En virtud de la operación suma, el número complejo z = (x, y) se puede escribir como
z = (x, 0) + (0, y)
y en virtud de la operación de multiplicación podemos escribirlo como
z = (x, 0) + (0, y) = x · (1, 0) + y · (0, 1)
El número (1, 0) es la unidad real: (1, 0) = 1 y el número (0, 1) recibe el nombre de unidad
imaginaria y se representa por i = (0, 1).
Por consiguiente, concluimos que el número complejo z = (x, y) puede representarse de la forma
z = x + iy (1.10)
que permite darle un significado algebraico directo.
Basándonos en la definición de dos números complejos vista anteriormente, es fácil obtener

la condición que satisface la unidad imaginaria introducida. Efectivamente, en virtud de la
operación de multiplicación tenemos que
i · i = i2 = (0, 1) · (0, 1) = (−1, 0) = −1
De aquı́, la unidad imaginaria puede introducirse como
√
i= −1
aunque esta expresión no tenga sentido en el campo de los números reales.
1.1.4 Interpretación geométrica de los números complejos
Para el estudio de las propiedades de los números complejos es muy cómoda su interpretación
geométrica. Puesto que un número complejo se define como un par ordenado de números reales,
es lógico pensar que podemos representar geométricamente al número complejo z = (x, y) =
x + iy a través del punto (x, y) en el plano R2 con un sistema de coordenadas cartesianas e
identificar al número z = 0 con el origen de coordenadas.
En lo adelante este plano recibirá el nombre de plano complejo y se le dará al eje de las
absisas el nombre de eje real y al eje de las ordenadas el nombre de eje imaginario.
Es evidente que de esta forma se establece una correspondencia entre cada número complejo
z = x + iy y cada punto (x, y) del plano. Además, cada punto (x, y) del plano complejo (es
decir, cada número complejo z = x + iy) determina de manera única las coordenadas de un
vector con base en el origen de coordenadas y vértice en el punto (x, y) del plano, cuya longitud
es, por definición de módulo de un vector
p
r= x2 + y 2 ≡ |z|
es decir, el módulo del número complejo z.
Ası́ pues, podemos afirmar que existe una relación biunı́voca entre el conjunto de los números
complejos, tal y como han sido definidos aquı́ y el conjunto de todos los vectores del plano com-
plejo con base en el inicio de coordenadas. Aquı́ estamos considerando solamente los números
con ambas partes -real e imaginaria- finitas y los vectores del plano de módulo finito. Más ade-
lante veremos cómo extender esta correspondencia a lo que posteriormente definiremos como
el punto infinitamente alejado del plano complejo correspondiente al número complejo que
llamaremos ”infinito”.
Introduzcamos ahora una nueva forma de representar a los números complejos: la llamada
forma trigonométrica de los números complejos. La relación entre las coordenadas carte-
sianas y las coordenadas polares es, como se sabe, (Fig. 1.1)
Figura 1.1: Plano Complejo
x = r cos ϕ
y = r sin ϕ (1.11)
de donde, automáticamente, se obtiene la llamada forma trigonométrica de escribir el número

complejo:
z = r(cos ϕ + i sin ϕ) (1.12)
Del análisis anterior se infiere que el radio polar r es el módulo del número complejo z: r = |z|.
El ángulo polar recibe el nombre de argumento del número complejo z, lo que se representa
con la notación ϕ = Arg z.
Dados el módulo y el argumento de un número complejo, sus partes real e imaginaria quedan
definidas con precisión por la relación (1.12). Sin embargo, la afirmación recı́proca no es cierta,
pues dado el número complejo z, si bien su módulo queda definido unı́vocamente por la expresión
p
r = |z| = x2 + y 2 ≥ 0 (1.13)
su argumento queda determinado con exactitud de un múltiplo de 2π:
y
ϕ = Arg z = arctan + 2πn
x
para los cuadrantes I y IV
y
ϕ = Arg z = arctan + 2(n + 1)π (1.14)
x
para los cuadrantes II y III.
donde arctan es el valor principal o rama principal univaluada de Arctan, es decir, mayor que
−π/2 y menor o igual a π/2; n es un número entero arbitrario.
En lo adelante, a la par que el sı́mbolo Arg z, que representa todo el conjunto de valores del
argumento, con el número entero n arbitrario, utilizaremos el sı́mbolo arg z, que representa uno
cualquiera de los valores de Arg z cuando a n se da un valor entero concreto. En el caso que
sea necesario se señalará cuál es el valor especı́fico que se toma. A cada uno de los valores del
argumento, correspondiente a un valor fijo entero de n le llamaremos rama del argumento de
z y, en particular, a la rama correspondiente a n = 0 rama principal del argumento de z. De
esta manera, tenemos que el argumento de un número complejo es igual al valor de la rama
principal del argumento, que puede tomarse según la conveniencia de los futuros cálculos entre
0 y 2π, entre −π y π, etc. más un número entero de 2π, equivalente a un número entero de
vueltas alrededor del punto z = 0 origen de coordenadas. Es decir, si representamos a la rama
principal del argumento por arg0 z, tendremos:
Arg z = arg0 z + 2nπ
donde n toma valores enteros. Esta notación será de utilidad más adelante en el análisis de las
funciones de variable compleja.
Es obvio que, como dos números complejos son iguales sı́ y solo sı́ son iguales sus partes reales y
sus partes imaginarias, dos números complejos serán iguales sı́ y solo sı́ son iguales sus módulos
y sus argumentos.
Basándonos en la interpretación geométrica introducida al inicio de este punto, es fácil estable-

cer la posición en el plano complejo de los números z = z1 +z2 y z = z1 −z2 ; esto evidentemente
se lleva a cabo utilizando las reglas conocidas para la suma y resta de vectores en un plano
(Fig. 1.2)
De lo planteado anteriormente es fácil establecer las desigualdades del triángulo:
|z1 + z2 | ≤ |z1 | + |z2 |; |z1 − z2 | ≥ |z1 | − |z2 | (1.15)

Figura 1.2: Suma y resta de números complejos
De la definición (1.5) se deduce que para multiplicar dos números complejos sus módulos se
multiplican y sus argumentos se suman. Efectivamente, si representamos al número complejo
zk por
zk = xk + iyk ≡ rk (cos ϕk + i sin ϕk )
con k = 1, 2, tenemos:
z = z1 · z2 = r1 r2 {[cos ϕ1 cos ϕ2 − sin ϕ1 sin ϕ2 ] + i[cos ϕ1 sin ϕ2 + sin ϕ1 cos ϕ2 ]} =

= r1 r2 {cos(ϕ1 + ϕ2 ) + i sin(ϕ1 + ϕ2 )} (1.16)
Es decir, que, efectivamente, |z| = |z1 | · |z2 | y Arg z = Arg z1 + Arg z2 . Si analizamos la división
z = z1 /z2 , de manera similar se concluye que |z| = |z 1|
|z2 |
y Arg z = Arg z1 − Arg z2 , es decir, que
en la división los módulos se dividen y los argumentos se restan.
Es conveniente introducir aquı́ lo que comúnmente se conoce con el nombre de forma expo-
nencial de un número complejo. Dados el módulo |z| = r y el argumento Arg z = ϕ del
número complejo z = x + iy, su forma exponencial es
z = reiϕ ≡ |z|eiArg z ≡ |z|ei argo z+2nπ (1.17)
donde n es un número entero arbitrario.
Entonces (1.16) podrá escribirse de la siguiente forma
z1 · z2 = r1 r2 ei(ϕ1 +ϕ2 )
Solo posteriormente, al estudiar las funciones elementales de variable compleja, esta forma será
debidamente justificada con rigor, pero debido a la comodidad de su uso, la hemos introducido
ahora.
1.1.5 Potencia y raı́z de un número complejo
Analicemos ahora las operaciones de potenciación y radicación de los números complejos. Usare-
mos indistintamente la forma trigonométrica o la forma exponencial de los números complejos
estudiadas en el punto anterior.
Por definición, por potencia enésima de un número complejo z se entiende la multiplicación

reiterada de dicho número por sı́ mismo n veces. Nos circunscribiremos a este concepto de
potencia, aunque más adelante estudiaremos una generalización de la operación de potenciación,
cuando un número complejo se eleve a cualquier número real o complejo.
Por el momento para el caso particular de una potencia entera podemos afirmar que
z n = {r(cos ϕ + i sin ϕ)}n = rn (cos nϕ + i sin nϕ) (1.18)
Como consecuencia de esta operación, deducimos la llamada fórmula de Moivre:
(cos ϕ + i sin ϕ)n = (cos nϕ + i sin nϕ) (1.19)
Es evidente que (1.18) puede escribirse de manera equivalente como
z n = rn einϕ
√
Por definición, el número w = n z = z 1/n se llama raı́z enésima del número z si se cumple
que wn = z. Por consiguiente, si llamamos z = reiϕ y w = Reiψ , tendremos que
wn = Rn einψ = reiϕ (1.20)
Como dos números complejos son iguales sı́ y solo sı́ son iguales sus módulos y sus argumentos,
de (1.20) concluimos que r = Rn y nψ = ϕ + 2kπ, con k entero. Por lo tanto, para el módulo
y el argumento de la raı́z enésima obtenemos las expresiones
√
n
ϕ + 2kπ
R= r; ψ = (1.21)
n
De esta forma, para la raı́z enésima de un número complejo obtenemos la expresión
p √ ϕ+2kπ
w= n
(z) = n
rei n (1.22)
En nuestra deducción, hasta el momento, no existe ninguna limitación al número k que puede
tomar cualquier valor entero desde −∞ hasta +∞. Sin embargo, no es difı́cil ver que k tomará
solamente los valores k = 0, 1, 2, ..., n − 1, por lo que solo habrá n valores diferentes de la raı́z
enésima de z. Efectivamente:
Para k = 0 obtenemos:
√ ϕ
w1 = n
rei n
√ ϕ+2π
w2 = n
rei n
.......................................................
Para k = n − 1 obtenemos:
√ ϕ+(n−1)2π
wn = n
rei n
Todos estos números son distintos, pues sus argumentos lo son; por lo tanto, existen n raı́ces
distintas. Pero, para k = n obtenemos:
√ ϕ
wn+1 = n
rei( n +2π) = w1
es decir, comienzan a repetirse los valores. Igualmente, si hacemos k = −1 obtenemos wn ; si

hacemos k = −2 obtenemos wn−1 ; etc. Ası́ pues, quedan limitados efectivamente los valores de
k y se obtienen exactamente n raı́ces distintas.
Si analizamos dos raı́ces sucesivas wl y wl+1 observamos que sus módulos son √ iguales y que sus
2π
argumentos se diferencian en el valor constante n , por lo que los valores de z son los vértices
n
de un polı́gono regular de n lados

√ y n vértices inscrito en una circunferencia con centro en el
origen de coordenadas y radio r. n
Ejemplos
√
3
1. Hallar todos los valores de −i
3π
Como −i = 1 · ei 2 , para k = 0 obtenemos
π
w1 = ei 2 = i
Para k = 1 obtenemos
√
i 7π 3 i
w2 = e 6 =− −
2 2
Para k = 2 obtenemos
√
i 11π 3 i
w3 = e 6 = −
2 2
El gráfico de los valores hallados puede verse en la figura 1.3

Se ve que los tres valores hallados son los vértices de un triángulo equilátero inscrito en
la circunferencia de radio 1 centrada en z = 0.
√
3
2. Hallar los valores de 1.
Como 1 = 1 · ei·0 , para k = 0 obtenemos:
w1 = 1
√
i 2π 1 3
w2 = e 3 =− +i
2 2
√
i 4π 1 3
w3 = e 3 =− −i
2 2
Figura 1.3: Raı́ces cúbicas de −i
1.1.6 Esfera de los números complejos
Además de la representación de los números complejos como puntos de un plano, en muchos

problemas es útil otro tipo de representación geométrica. Construyamos una esfera S (Fig. 1.4)
que toque al plano complejo en el punto z = 0 con su polo sur O. El polo norte P de dicha
esfera lo uniremos, mediante rectas, con todos los puntos del plano complejo. Al hacer esto
es evidente que a cada punto z del plano le corresponde un único punto bien definido Z de la
esfera, que es aquél donde la esfera es cortada por la recta P z. De forma similar, a cada punto
Z de la esfera (excepto al polo norte P) le corresponde un punto bien determinado z del plano,
que es aquel punto donde el plano es cortado por la recta P Z. La correspondencia descrita
entre puntos del plano y puntos de la esfera recibe el nombre de proyección estereográfica.
La esfera ası́ construida se conoce con el nombre de esfera de Riemann. Riemann fue quien
introdujo por primera vez el concepto de esfera de los números complejos con el fin de definir
geométricamente, de la forma más precisa posible, el punto infinitamente alejado.
Acordemos considerar al punto Z de la esfera, que corresponde al punto z del plano mediante la
proyección estereográfica, como una nueva representación del número complejo. Para realizar
las operaciones con números complejos dados sobre la esfera, utilizaremos sus proyecciones
Figura 1.4: Esfera de Riemann. Proyección estereográfica
estereográficas sobre el plano y realizaremos allı́ todas las operaciones algebraicas definidas en
los puntos anteriores de este epı́grafe, para posteriormente regresar a la esfera.
Al punto P -polo norte de la esfera- no le corresponde ningún punto del plano, por lo que la
correspondencia entre los puntos del plano y de la esfera no es biunı́voca. A fin de cerrar esta
correspondencia y hacerla biunı́voca, introduzcamos un nuevo ”número” complejo en el plano:
∞ (se lee ”infinito”) que se pone en correspondencia al punto P polo norte de la esfera de
Riemann. Ası́, el número z = ∞, desde el punto de vista geométrico, cumple la misma función
que los números z = 2 + 5i, z = −3 o z = i, pues señala la posición de su correspondiente punto
P de la esfera. Sin embargo, este número no puede participar en las operaciones aritméticas
que conocemos, ya que estas están definidas solo para los números complejos (puntos de la
esfera) que corresponden a puntos del plano.
Excepto el punto P , que llamaremos infinitamente alejado, todos los demás puntos de la
esfera serán llamados puntos finitos. Si en el futuro queremos incluir en nuestras considera-
ciones al punto P , (al número z = ∞) haremos nuestro análisis en la esfera de Riemann S que
también se conoce como esfera de los números complejos. Pero si excluimos el punto P
(el número z = ∞) de nuestro análisis, utilizaremos el plano.
Para denominar al conjunto de todos los números complejos (puntos) finitos usaremos el término
plano finito o plano abierto y para denominar al conjunto de todos los números, incluyendo
z = ∞, usaremos el término plano completo o plano cerrado. El término plano abierto es
equivalente al término plano complejo definido en el punto 3 de este epı́grafe donde no habı́a
sido definido el punto infinitamente alejado, en tanto que el término plano cerrado equivale al
nuevo término de esfera de los números complejos.
La proyección estereográfica transforma los lugares geométricos de los puntos del plano en
sus correspondientes lugares geométricos en la esfera. Ası́, por ejemplo, a una circunferencia
arbitraria c en el plano, le corresponde una circunferencia C sobre la esfera, que no pasa por el
polo P y a una recta arbitraria l del plano le corresponde una circunferencia L que pasa por el
polo P sobre la esfera (Fig. 1.5).
Ası́ pues, vemos que las imágenes de rectas y circunferencias del plano no se diferencian
geométricamente sobre la esfera; ambas son circunferencias. Es por eso que resulta lógico
considerar que en el plano complejo completo las rectas son casos particulares de circunferen-
cias que pasan por el punto infinitamente alejado, ya que sus imágenes sobre la esfera son
circunferencias que pasan por el punto P , imagen de z = ∞. De esta manera, dos rectas
cualesquiera en el plano no paralelas se cortarán en dos puntos, uno de los cuales es z = ∞.
Las circunferencias dividen a la esfera en dos partes, a las que llamaremos cı́rculos. En
particular son cı́rculos todos los semiplanos; por ejemplo, el semiplano superior Im z > 0 es el
hemisferio posterior de la esfera. Si la circunferencia C no pasa por el punto P (es decir, es una
circunferencia verdadera en el plano) uno de los dos cı́rculos por ella determinados contiene al
punto P ; a dicho cı́rculo le llamaremos cı́rculo exterior a la circunferencia C.
Una de las consecuencias fundamentales de la proyección estereográfica es que el punto infinita-

mente alejado es único, ya que, independientemente de la recta por la que nos movamos hacia el
infinito en el plano (entendiendo por ello que nos movamos alejándonos cada vez más del origen
de coordenadas z = 0), en la imagen sobre la esfera nos moveremos acercándonos cada vez más
al punto P polo norte de la esfera e imagen en ella de z = ∞. Por eso los números z = ±∞+iy,
z = x ± i∞ o z = ±∞ ± i∞ tienen un mismo significado geométrico y son equivalentes entre
sı́. Es por eso que el punto infinitamente alejado es representado simplemente por la expresión
z = ∞, entendiendo con ello el punto del plano que corresponde al polo P de la esfera de
Riemann, al que nos acercamos cualquiera que sea el camino que escojamos para alejarnos del
punto z = 0, origen de coordenadas.
1.2 Sucesiones de números complejos
En el desarrollo sistemático de la teorı́a de funciones de variable compleja es de fundamental

importancia introducir los conceptos e ideas principales del Análisis Matemático. Es por ello
que en este epı́grafe dedicaremos nuestra atención a la ampliación al plano complejo de los
conceptos de sucesión de números y de convergencia de sucesiones.
Figura 1.5: Esfera de Riemann. Proyección de rectas y circunferencias
1.2.1 Definiciones
Si a cada número natural n le corresponde un número complejo zn , entonces en el conjunto

de los números complejos se dice que está dada una sucesión de números complejos zn ,
que se representa por el sı́mbolo {zn }; cada número que la integra se llama elemento de dicha
sucesión.
Esta definición no elimina la posibilidad de que se repitan los elementos de una sucesión; en
particular todos los elementos de una sucesión pueden coincidir.
El número complejo c = a + ib se llama lı́mite de la sucesión {zn } de números complejos

zn = xn + iyn para n → ∞ si para cada ε > 0 existe un número N (ε) > 0 tal que n > N
implica que
|c − zn | < ε (1.23)
Si la sucesión {zn } tiene lı́mite, se dice de ella que es convergente al número c, lo que se
representa con la notación
lim zn = c
n→∞
Llamaremos entorno ε de un punto z0 en el plano complejo al conjunto de puntos z del plano

que satisfagan la condición
|z − z0 | < ε
es decir, que todos se encuentren contenidos en el interior de un cı́rculo abierto con centro en
z0 y radio ε. Entonces podemos afirmar que el punto c es el lı́mite de la sucesión convergente
{zn } si todos los elementos de dicha sucesión, a partir de cierto número dependiente de ε se
encuentran contenidos en el interior del entorno ε del punto c.
Como cada número zn = xn + iyn está definido por dos números reales xn y yn , a cada sucesión
de números complejos le corresponden dos sucesiones {xn } y {yn } de números reales.
Teorema 1
Para que la sucesión {zn } de números complejos converja al número complejo c = a + ib es

necesario y suficiente que las sucesiones {xn } y {yn } converjan, respectivamente, a los números
a = Re c y b = Im c.
Demostración:
1. Necesidad
Sabemos que {zn } → c; hay que demostrar que {xn } → a y que {yn } → b.
Puesto que la sucesión {zn } converge a c y como el módulo de un vector es no menor
siempre que sus coordenadas, podemos escribir que
|a − xn | ≤ |c − zn | < ε; |b − yn | ≤ |c − zn | < ε, ∀n > N
lo que automáticamente establece la convergencia de las sucesiones {xn } y {yn }.
2. Suficiencia
Sabemos que {xn } → a y que {yn } → b. Es decir, que
ε ε
|a − xn | < √ ; |b − yn | < √ , ∀n > N
2 2
Entonces, como
p
|c − zn | = (a − xn )2 + (b − yn )2
queda demostrada la convergencia de la sucesión {zn } al número c.

Demostrado el teorema.
Diremos que una sucesión {zn } es acotada si existe un número positivo tal que se cumple la
relación |zn | < M para todo n.
Al igual que en la teorı́a de las sucesiones de números reales, tiene lugar la siguiente propiedad;
Teorema 2
De toda sucesión acotada puede separarse una subsucesión convergente.
Demostración:
Si la sucesión {zn } = {xn + iyn } es acotada, resulta evidente que también lo son las sucesiones
{xn } y {yn } formadas por las partes reales e imaginarias de los elementos zn de la sucesión
{zn } .
Para las sucesiones acotadas de números reales se cumple la propiedad de poder escogerse
de ellas subsucesiones convergentes, lo que se demuestra comúnmente en los cursos de Análisis
Matemático. Esto significa que de las sucesiones {xn } y {yn } podemos escoger las subsucesiones
convergentes {xnk }, {ynk }. Llamemos a y b a los lı́mites de estas subsucesiones respectivamente.
Entonces resulta evidente, en virtud del teorema 1, que la sucesión de números complejos
{znk } = {xnk + iynk }
subsucesión de la sucesión acotada {zn } , es convergente y que su lı́mite es el número complejo

c = a + ib.
1.2.2 Criterio de Cauchy
Hasta el momento hemos establecido el concepto de convergencia de una sucesión a través

de la definición expresada por la fórmula (1.23). Esta definición nos dice claramente que el
concepto de convergencia de una sucesión está estrechamente relacionado con la existencia del
lı́mite de dicha sucesión, pero no constituye un criterio práctico para analizar si la sucesión
dada es convergente o no, ya que para hacer ese análisis con ayuda de la expresión (1.23) harı́a
falta conocer a priori el número c lı́mite de la sucesión. Esto no siempre es factible, ya que la
mayorı́a de las veces el problema que se plantea es hallar el valor del lı́mite, es decir, el número
c no es conocido, por lo que la fórmula (1.23) no es aplicable como criterio para determinar la
convergencia o no de la sucesión. Por ello, es deseable encontrar otra fórmula, es decir, otro
criterio, que nos permita determinar si una sucesión es convergente o no y que no involucre al
propio lı́mite, para -en caso positivo- dedicarnos a encontrar el valor del número c, lı́mite de la
sucesión. Tal criterio es el llamado Criterio de Cauchy:
Teorema 3 (Criterio de Cauchy)

Para que la sucesión {zn } de números complejos sea convergente es necesario y suficiente que
para toda ε > 0 exista un número N (ε) > 0 tal que n > N y m > N impliquen
|zn − zm | < ε (1.24)
Demostración:
1. Necesidad
Tenemos que la sucesión {zn } converge y se quiere demostrar que, entonces, tiene lugar
la fórmula (1.24).
En virtud del teorema 1, convergen las sucesiones de números reales {xn } y {yn } y sabemos
de los cursos de Análisis Matemático que para las sucesiones convergentes de números
reales se cumple el Criterio de Cauchy, es decir, que para cualquier ε > 0 existen dos
números N1 (ε) y N2 (ε) tales que n > N1 , m > N1 implican que
ε
|xn − xm | < √
2
y n > N2 , m > N2 implican que
ε
|yn − ym | < √
2
Entonces tendremos que
p
|zn − zm | = (xn − xm )2 + (yn − ym )2 < ε
siempre que
n > N (ε), m > N (ε)

donde
N (ε) = max{N1 (ε), N2 (ε)}

2. Suficiencia
Conocemos que la relación (1.24) se cumple y debemos demostrar que ello implica la
convergencia de la suceción {zn }. Es fácil ver de (1.24) que para n > N (ε) y m > N (ε)
se cumple que
|xn − xm | ≤ |zn − zm | < ε; |yn − ym | ≤ |zn − zm | < ε

Esto significa que se cumple el criterio de Cauchy para las sucesiones {xn } y {yn } de
números reales, lo que significa que esas sucesiones son convergentes. Por el teorema 1,
esto implica que la sucesión de números complejos {zn } = {{xn + iyn } es convergente.
1.3 Funciones de variable compleja. Lı́mite y continui-

dad
1.3.1 Conceptos fundamentales
El concepto de función de una variable compleja será introducido de forma similar a la definición
común de función de una variable real.
Veamos, previamente, algunos conceptos que son necesarios para introducir el concepto de
función.
Sea {E} un conjunto arbitrario de puntos del plano complejo. Diremos que z es un punto
interior del conjunto {E} si se puede encontrar un entorno ε de z totalmente contenido en
{E}.
Por ejemplo, todo punto z que cumpla que |z| < 1 es un punto interior del conjunto |z| ≤ 1,
en tanto que el punto z = 1 no es interior de dicho conjunto, ya que todo entorno ε del mismo
hay puntos que no pertenecen al conjunto. Un conjunto formado solo por puntos interiores se
llama conjunto abierto. Un conjunto se llama conexo si dos puntos cualesquiera del mismo
pueden ser unidos por una lı́nea formada enteramente por puntos del conjunto.
Por ejemplo, (ver figura 1.6) el conjunto |z| < 1 es un conjunto abierto y conexo. Igualmente,
el conjunto 2 < |z| < 3 es un conjunto abierto y conexo. Sin embargo, la unión de ambos
no es un conjunto conexo, ya que los puntos de |z| < 1 no pueden ser unidos a los puntos de
2 < |z| < 3 por una lı́nea de puntos formada totalmente por puntos del conjunto.
El punto z se llama punto exterior del conjunto {E}, si existe un entorno ε del mismo de
puntos no pertenecientes a {E}.
El conjunto de puntos que no pertenecen a {E} pero que en todo entorno ε de cada uno de ellos
hay puntos de {E} se llama frontera de {E}. Representaremos la frontera de un conjunto con
distintas letras, por ejemplo Γ, C u otras.
Por ejemplo, la frontera del conjunto |z| < 1 es la circunferencia |z| = 1. La frontera del
conjunto 2 < |z| < 3 está compuesta por las circunferencias |z| = 2 y |z| = 3. El número de
partes no conexas de la frontera de un conjunto se llama orden de conexión del conjunto.
Ası́ por ejemplo, el conjunto |z| < 1 es un conjunto simplemente conexo pues su frontera
está formada por una sola lı́nea, en tanto que el conjunto 2 < |z| < 3 es un conjunto biconexo
pues su frontera está formada por dos lı́neas no conexas.
Llamaremos dominio D en el plano complejo al conjunto {E} de puntos de dicho plano que
sea abierto y conexo. El nombre de dominio para los conjuntos abiertos y conexos está dado
por el hecho de que en ellos serán definidas las funciones de una variable compleja. En la figura
1.7 se muestra un ejemplo de dominio multiconexo (en particular, cinco veces conexo) cuya
frontera Γ está formada por los contornos cerrados Γ0 , Γ1 y Γ2 , por los cortes γ1 y γ2 y por el
punto aislado α.
Figura 1.6: Conjuntos conexos y no conexos
El conjunto de puntos formado por el dominio D y todos los puntos de su frontera

S Γ será
llamado dominio cerrado y se representará por D̄ = D + Γ, o también D̄ = D Γ ya que el
signo ”+” lo utilizaremos en el texto en el sentido de unión de conjuntos.
En la figura 1.8 (a) tenemos el ejemplo de un dominio biconexo y en la figura 1.8 (b) el de un
dominio simplemente conexo.
Diremos que la frontera de un dominio es recorrida en sentido positivo cuando es recorrida

de manera que el dominio que ella contiene siempre quede a la izquierda del recorrido; en el
caso contrario diremos que es recorrida en sentido negativo.2
Diremos que en el dominio D está dada una función de la variable compleja z si a cada punto de
D se pone en correspondencia mediante una ley dada un número complejo w. Simbólicamente
representaremos lo dicho por
2
El escoger un sentido positivo y el otro negativo es totalmente arbitrario y se hace ası́ por razones históricas;
la aplicación del sentido del recorrido de la frontera de un dominio (o del recorrido en general de cualquier
contorno cerrado en el plano complejo) se verá al estudiar las integrales de funciones de variable compleja.
Figura 1.7: Dominio multiconexo
w = f (z) (1.25)
El conjunto de valores w recibe el nombre de valores funcionales, rango o codominio de

la función f . Como quiera que el valor funcional w = u + iv es un número complejo, definir
una función de la variable compleja z = x + iy equivale a definir dos funciones reales u(x, y) y
v(x, y) de las variables reales x y y, de forma que la función de variable compleja (1.25) puede
ser escrita de la forma
w = u(x, y) + iv(x, y) (1.26)
A menudo se hace necesario analizar funciones multivaluadas, que son aquellas en las que
a cada valor de z corresponden más de un valor de w. Para el estudio de esas funciones
tiene importancia capital el análisis de lo que se llama sus ramas univaluadas. La función
univaluada f (z) se llama rama univaluada de la función multivaluada F (z) si el valor de
f (z) en cada punto z del dominio D coincide con uno de los valores de F (z). Por el momento
Figura 1.8: Dominio biconexo y dominio simplemente conexo
trabajaremos solamente con funciones univaluadas y dejaremos para cuando estudiemos el

concepto de prolongación analı́tica el análisis detallado de las funciones multivaluadas.
1.3.2 Continuidad
Para seguir el mismo orden lógico que se establece en el estudio de las funciones de una variable
real, estudiemos la definición de lı́mite de una función de una variable compleja:
El número complejo c se llama lı́mite de la función f (z) cuando z tiende a z0 (a veces también
se dice ”para z tiende a z0 ”), si para cualquier ε > 0 existe un número δ(ε) > 0 tal que
0 < |z − z0 | < δ implica que |c − f (z)| < ε. El hecho de que c es el lı́mite de la función f (z)
cuando z tiende a z0 se representa mediante el sı́mbolo
lim f (z) = c (1.27)

z→z0
Debemos destacar que en la definición de lı́mite dada no se exige que z tienda a z0 por una
trayectoria determinada ya que para la existencia del lı́mite se pide que cuando la distancia
modular (o sea, simplemente la distancia) entre z y z0 sea menor que δ, independientemente
del argumento de los números z y z0 , la distancia entre los números complejos c y f (z) sea
menor que ε. Lo dicho significa que el lı́mite cuando z tiende a z0 existe solamente cuando
el valor de f (z) se acerca al número c independientemente de la trayectoria por la que
z se acerque a z0 . Si por distintas trayectorias se obtienen valores lı́mites diferentes de f (z),
entonces el lı́mite de f (z) en el punto z0 simplemente no existe. Este hecho nos conducirá a
resultados importantes próximamente.
Veamos una afirmación casi evidente:
Teorema 4
Para que el número c = a + ib sea el lı́mite de la función f (z) cuando z tiende a z0 es necesario
y suficiente que existan los siguientes lı́mites:
lim u(x, y) = a, lim v(x, y) = b

x→x0 ;y→y0 x→x0 ;y→y0
Demostración:
1. Necesidad
Como se cumple que |c − f (z)| < ε para |z − z0 | < δ, tendremos que
|a − u(x, y)| ≤ |c − f (z)| < ε, |b − v(x, y)| ≤ |c − f (z)| < ε
siempre que |x − x0 | ≤ |z − z0 | < δ; |y − y0 | ≤ |z − z0 | < δ, lo que demuestra la necesidad

de la afirmación.
2. Suficiencia
Como se cumple que
ε ε
|a − u(x, y)| < √ ; |b − v(x, y)| < √
2 2
siempre que
δ δ
|x − x0 | < √ ; |y − y0 | < √
2 2
se obtiene que
p
|c − f (z)| = (a − u)2 + (b − v)2 < ε
cuando
p
|z − z0 | = (x − x0 )2 + (y − y0 )2 < δ
lo que demuestra la suficiencia.
Definición
Se dice que la función f (z) es continua en el punto z0 del dominio D, si el valor funcional
de f (z0 ) existe, el lı́mite de dicha función cuando z tiende a z0 existe y es igual a la función
evaluada en dicho punto, es decir, si
lim f (z) = f (z0 ) (1.28)

z→z0
Si la función f (z) es continua en cada punto del dominio D, se dice que es continua en el
dominio.
Es evidente que la condición necesaria y suficiente para que una función de variable compleja
f (z) = u(x, y) + iv(x, y)
sea continua en el punto z0 = x0 + iy0 es que sean continuas su parte real u(x, y) y su parte
imaginaria v(x, y) en el punto (x0 , y0 ) del plano (x, y). La demostración de esta afirmación se
basa en el teorema anterior y se deja al lector como ejercicio.
Lo arriba dicho nos permite trasladar a las funciones de variable compleja las propiedades fun-
damentales que gozan las funciones de dos variables reales; por ejemplo, la suma y el producto
de dos funciones f1 (z) y f2 (z) continuas en el dominio D son continuas en dicho dominio; la
función φ(z) = ff12 (z)
(z)
es continua en todos los puntos del dominio D donde f2 (z) no se anule,
etc.
1.3.3 Ejemplos
1. Analicemos la función
w = kz (1.29)
donde k es una constante real positiva.

Si llamamos r = |z|, R = |w|, ϕ = arg z y θ = arg w, la función (1.29) se escribirá en
forma de dos igualdades3 :
3
Aquı́ en realidad deberı́a escribirse θ = ϕ + 2nπ. Sin embargo, esto no es indispensable, pues en el caso que
nos ocupa el valor de la función no varı́a al añadir la cantidad 2nπ al argumento. Procederemos de forma similar
en otros ejemplos. Solamente en determinados casos lo dicho no es válido; cuando ası́ sea, lo especificaremos.
R = kr; θ = ϕ (1.30)
Las ecuaciones (1.30) nos permiten aclarar el sentido geométrico de la función (1.29).
En efecto, la segunda igualdad (1.30) nos dice que la función (1.29) no realiza ninguna
rotación del rayo Oz trazado desde el origen de coordenadas hasta un punto arbitrario
z del plano al transformar el plano z en el plano w. La primera igualdad (1.30) indica
que los módulos de los números z crecen si k > 1 (o decrecen si k < 1) k veces al pasar
del plano z al plano w. De esta forma, la función (1.29) realiza un estiramiento (o un
encogimiento, si k < 1) del plano z en todas direcciones con coeficiente de estiramiento k
(Fig. 1.9).
Figura 1.9: Representación de la función w = kz
En lo adelante usaremos en nuestro lenguaje la siguiente terminologı́a: diremos que la

función w = f (z) realiza la representación del plano z en el plano w o lo que es lo mismo,
transforma el plano z en el plano w, ya que a cada punto del plano z le corresponde un
punto w del plano w dado por la ley f . Posteriormente veremos que entre el conjunto de
representaciones posibles juega un papel fundamental en la teorı́a de funciones de variable
compleja y sus aplicaciones un tipo particular de representaciones que reciben el nombre
de representaciones conformes.
2. Veamos la función
w = z2 (1.31)
En virtud de la fórmula (1.18) para la potencia de un número complejo, tenemos que
R = r2 ; θ = 2ϕ (1.32)
Por consiguiente, ante la representación (1.31) todos los puntos que se encuentren en el
rayo arg z = ϕ0 se transforman en los puntos que se encuentran en el rayo arg w = 2ϕ0 y
todos los puntos que se encuentran sobre la circunferencia |z| = r0 se transforman en los
puntos que están sobre la circunferencia |w| = r02 .
Figura 1.10: Representación de la función w = z 2
Ası́, por ejemplo, el dominio encerrado en el ángulo de la figura 1.10, es decir, el sector
0 ≤ arg z ≤ π/3 se transforma mediante la función (1.31) en el sector 0 ≤ arg w ≤ 2π/3 de
forma tal que, por ejemplo, los puntos que se encuentren sobre el sector de circunferencia
|z| = 2 se transformarán en los puntos que se encuentran sobre el sector de circunferencia
|w| = 4.
3. Veamos la función de variable compleja w = f (z), definida en el cı́rculo cerrado |z| ≤ 1

por las igualdades4
1
f (z) = , ∀|z| < 1
1 − |z|
f (z) = ∞, ∀|z| = 1 (1.33)
Esta función transforma el cı́rculo cerrado |z| ≤ 1 en el segmento cerrado {1 ≤ u ≤

∞, v = 0} del plano complejo w.
4. Veamos la función de variable compleja
w = |z|z (1.34)
Para ella tendremos que
R = r2 ; θ = ϕ (1.35)
La representación (1.34) nos recuerda a la representación (1.31), pero no coincide con

ella, pues, por ejemplo, el sector de la figura 1.10 se transforma en el mismo sector con
la diferencia de que los puntos de la circunferencia |z| = r0 se transforman en los de la
circunferencia |w| = r02 . Más adelante podremos percatarnos de la gran diferencia que
existe entre los ejemplos 1 y 2 y los ejemplos 3 y 4. En cuanto a la continuidad de las
funciones, es fácil comprobar que las funciones de los ejemplos 1, 2 y 4 son continuas en
el plano z. La función del ejemplo 3 es continua en los cı́rculos abiertos |z| < 1 y |z| > 1.
5. Analicemos la función de variable compleja
z∗

1 z
w = f (z) = − (1.36)
2i z ∗ z
Teniendo en cuenta que z = r(cos ϕ + i sin ϕ) y que z ∗ = r(cos ϕ − i sin ϕ) y utilizando

relaciones trigonométricas conocidas, no es difı́cil concluir que
w = sin 2ϕ (1.37)
En (1.37) se observa claramente que en un entorno arbitrario del punto z0 = 0 la función

toma todos los valores posibles del intervalo [−1, 1]. Por consiguiente, para ningún w0 = c
la desigualdad |w0 − w| < ε puede cumplirse a la vez para todas las z de un entorno
arbitrariamente pequeño del punto z0 = 0 con solo suponer que ε < 1. Esto significa,
simplemente, que esta función no tiene lı́mite cuando z tiende a cero. Sin embargo, si z
tiende a cero a lo largo de cualquier trayectoria z = z(t) (que pase por el punto z = 0) el
lı́mite de la función f (z) = f [z(t)] existe; sin embargo, semejantes lı́mites, tomados a lo
largo de trayectorias distintas, difieren entre sı́.
4
La segunda igualdad en (1.33) tiene que ser escrita explı́citamente, ya que la división por cero no ha sido
definida.
1.4 Derivación con respecto al argumento complejo.

Funciones analı́ticas
Hasta este instante la teorı́a de las funciones de una variable compleja ha venido construyéndose
de forma completamente análoga a la teorı́a de las funciones de una variable real. Sin embargo,
el concepto de función diferenciable o derivable, que introduciremos en la variable compleja
de forma análoga a como se introduce en las funciones de una variable real, nos conducirá a
diferencias sustanciales entre ambas teorı́as en lo que a las propiedades y al comportamiento
de las funciones de variable compleja se refiere.
1.4.1 Derivadas y diferenciales
Definición 1
Sea D el dominio de definición de la función de variable compleja f (z) y sea z0 un punto de

dicho dominio. Si existe el lı́mite
f (z0 + ∆z) − f (z0 )

lim (1.38)
∆z→0 ∆z
entonces la función f (z) se dice que es derivable en el punto z0 con respecto a la variable
compleja z.
Para representar esta derivada se usa el sı́mbolo f 0 (z0 ).
Del hecho de que existe el lı́mite (1.38) se desprende que la razón incremental puede ser escrita
de la siguiente forma
∆f f (z0 + ∆z) − f (z0 )

= = f 0 (z0 ) + α(z0 , ∆z)
∆z ∆z
donde α es una función infinitesimal con respecto a ∆z; es decir, α → 0, cuando ∆z → 0. De

aquı́, el incremento de la función puede expresarse en la forma
∆f = f 0 (z0 )∆z + α(z0 , ∆z)∆z (1.39)
Definición 2
La parte principal, lineal con respecto a ∆z del incremento (1.39) se llama diferencial de la
función f (z) en el punto z0 y se representa por
df = f 0 (z0 )∆z ≡ f 0 (z0 )dz (1.40)

pues ∆z ≡ dz ya que si en (1.40) hacemos f (z) = z, obtenemos df = dz = 1 · ∆z. El hecho

de que la función tenga diferencial tal y como lo hemos definido aquı́ se expresa diciendo que
f (z) es diferenciable. Al igual que en la teorı́a de funciones de una variable real, toda función
de una variable compleja derivable es diferenciable. Es decir, aquı́ también los conceptos de
función derivable (que existe el lı́mite (1.38)) y de función diferenciable (que existe la expresión
(1.40)) son equivalentes: toda función derivable en un punto es diferenciable en dicho punto y
viceversa.
De esta manera se justifica aquı́ el uso de la notación para la derivada de una función como la
razón de los diferenciales de la función y de la variable independiente z, al igual que en el caso
de las funciones de una variable real:
df
f 0 (z0 ) =
dz
Hagamos énfasis en el hecho de que, en virtud de la definición de lı́mite, si existe el lı́mite

(1.38), éste no depende de la trayectoria por la que ∆z tienda a cero, es decir por la que el
punto z0 + ∆z se acerque a z0 . Veremos de inmediato que este hecho conduce a determinadas
condiciones que deberán cumplirse para la existencia de la derivada de una función de variable
compleja respecto a su argumento complejo.
1.4.2 Condiciones de diferenciabilidad de una función
Teorema 5
Si la función
f (z) = u(x, y) + iv(x, y)

es diferenciable (derivable) en el punto z0 = x0 + iy0 , entonces en el punto (x0 , y0 ) existen las
derivadas parciales de u(x, y) y v(x, y) las que satisfacen en (x0 , y0 ) las ecuaciones
∂u ∂v ∂u ∂v
= ; =− (1.41)
∂x ∂y ∂y ∂x
que se conocen con el nombre de condiciones de Cauchy-Riemann.5
Demostración:
Analicemos la razón incremental

5
Estas relaciones en realidad fueron obtenidas por primera vez por D’Alembert (1752) y Euler (1755) en sus
trabajos sobre problemas hidrodinámicos, por lo que algunos autores las llaman condiciones de D’Alembert-
Euler. No obstante, por razones históricas, se utiliza más el nombre de condiciones de Cauchy-Riemann, que
utilizaremos en nuestro texto.
f (z0 + ∆z) − f (z0 )

∆z
la que por hipótesis del teorema tiene lı́mite, pues f (z) es derivable en z0 . Como existe, este
lı́mite es independiente de la trayectoria por la que se tome el incremento ∆z. Tomemos, pues,
un incremento paralelo al eje Ox: ∆z = ∆x (y = const.). Entonces tendremos:
f (z0 + ∆z) − f (z0 ) u(x0 + ∆x, y0 ) − u(x0 , y0 ) v(x0 + ∆x, y0 ) − v(x0 , y0 )

= +i
∆z ∆x ∆x
Como el lı́mite de la izquierda existe, existirá el lı́mite de la parte derecha cuando ∆z = ∆x → 0.

Tomando dicho lı́mite obtenemos
df (z0 ) ∂u(x0 , y0 ) ∂v(x0 , y0 )

= +i (1.42)
dz ∂x ∂x
Tomemos ahora un incremento paralelo al eje Oy: ∆z = i∆y (x = const.). Entonces:
f (z0 + ∆z) − f (z0 ) u(x0 , y0 + ∆y) − u(x0 , y0 ) v(x0 , y0 + ∆y) − v(x0 , y0 )

= +i =
∆z i∆y i∆y
v(x0 , y0 + ∆y) − v(x0 , y0 ) u(x0 , y0 + ∆y) − u(x0 , y0 )
= −i
∆y ∆y
De nuevo, el lı́mite de la izquierda existe, por lo que existirán los lı́mites de la parte derecha.
Como el lı́mite de la izquierda existe, es independiente de la trayectoria y de nuevo da la
derivada de f (z) respecto a z, de manera que obtenemos cuando ∆y → 0:
df (z0 ) ∂v(x0 , y0 ) ∂u(x0 , y0 )

= −i (1.43)
dz ∂y ∂y
Comparando las expresiones (1.42) y (1.43) y en virtud de que dos números complejos son
iguales sı́ y solo sı́ son iguales sus partes reales y sus partes imaginarias, se obtienen las ecua-
ciones (1.41).
Veamos ahora un teorema en cierta medida recı́proco del anterior.
Teorema 6
Si las funciones u(x, y) y v(x, y) de las variables reales x y y son diferenciables en el punto (x0 , y0 )
y si sus derivadas parciales en dicho punto cumplen las condiciones de Cauchy-Riemann (1.41),
entonces la función de variable compleja
f (z) = u(x, y) + iv(x, y)
es derivable en el punto z0 = x0 + iy0 .
Demostración:
Del Análisis Matemático de funciones de varias variables se sabe que una función de varias
variables es diferenciable (tiene diferencial) en un punto si sus derivadas parciales son continuas
en dicho punto. Bajo esta suposición, la diferenciabilidad implica que los incrementos ∆u =
u(x0 + ∆x, y0 + ∆y) − u(x0 , y0 ) y ∆v = v(x0 + ∆x, y0 + ∆y) − v(x0 , y0 ) de las funciones se
pueden escribir de la siguiente forma:
∆u = ux (x0 , y0 )∆x + uy (x0 , y0 )∆y + α(x0 , y0 , ∆x, ∆y)h

∆v = vx (x0 , y0 )∆x + vy (x0 , y0 )∆y + β(x0 , y0 , ∆x, ∆y)h (1.44)
p
donde h = ∆x2 + ∆y 2 es la distancia incremental y α y β son funciones infinitesimales de ∆x
y ∆y que tienden a cero cuando h tiende a cero. Por consiguiente, para la razón incremental
∆f /∆z de la función f tenemos:
∆f (ux ∆x + uy ∆y) + i(vx ∆x + vy ∆y) (α + iβ)h

= +
∆z ∆x + i∆y ∆x + i∆y
y como por hipótesis del teorema uy = −vx , vy = ux obtenemos, haciendo los pasos pertinentes,
la siguiente expresión:
∆f (ux + ivx )∆x + (−vx + iux )∆y (α + iβ)(∆x − i∆y)

= + =
∆z ∆x + i∆y h

∆x ∆y
= ux + ivx = (α + iβ) −i
h h
Al hacer ∆x → 0 y ∆y → 0, como ∆x
h
− i ∆y
h
permanece acotado en tanto (α + iβ) → 0
obtenemos en el lı́mite
f 0 (z0 ) = ux (x0 , y0 ) + iv(x0 , y0 )
lo que significa que, efectivamente, f (z) es derivable en z0 .
Es útil hacer algunas observaciones. En primer lugar, el teorema 6 no es exactamente el

recı́proco del teorema 5, porque en el teorema 5 se demuestra solo la existencia de las derivadas
parciales de u y v en el punto (x0 , y0 ) y que ellas satisfacen las condiciones de Cauchy-Riemann,

mientras que el teorema 6 exige la continuidad de esas derivadas parciales, además de que
cumplan con las condiciones de Cauchy Riemann. Uniendo ambos teoremas podemos enunciar
una condición necesaria y suficiente de derivabilidad de una función de variable compleja en los
siguientes términos:
Para que la función f (z) = u(x, y) + iv(x, y) de la variable compleja z = x + iy sea derivable
respecto a z en el punto z0 = x0 + iy0 es necesario y suficiente que las derivadas parciales de u
y v en el punto (x0 , y0 ) sean continuas y satisfagan las condiciones de Cauchy-Riemann (1.41).
En segundo lugar y gracias a lo arriba expresado, contamos con un algoritmo bien preciso
para hallar la derivada de una función de variable compleja respecto al argumento complejo:
Calculamos las derivadas parciales de u y v. Si estas son continuas en el punto donde queremos
calcular la derivada y cumplen las condiciones de Cauchy-Riemann, entonces la derivada existe
en ese punto y se calcula por la fórmula
f 0 (z0 ) = ux (x0 , y0 ) + ivx (x0 , y0 ) (1.45)
1.4.3 Ejemplos
Veamos cómo calcular la derivada de algunos ejemplos.
1. Sea la función
w = kz
donde k es una constante real. Tenemos que w = k(x + iy) = kx + iky. Por lo tanto,
tenemos que u(x, y) = kx y v(x, y) = ky. Calculemos las derivadas parciales de u y
v para determinar dónde son continuas y cumplen las condiciones de Cauchy-Riemann,
condición necesaria y suficiente para que la derivada respecto a z exista. Tenemos:
ux = k, uy = 0, vx = 0, vy = k
Por tanto se verifica que las condiciones de Cauchy-Riemann ux = vy , uy = −vx se

cumplen para toda x y toda y. Ası́ pues, la derivada de w = kz respecto a z existe para
toda z y es igual a
w0 = ux + ivx = k + i · 0 = k
2. Para la función
w = z2
tenemos de manera similar que

u(x, y) = x2 − y 2 , v(x, y) = 2xy
Por lo tanto,
ux = 2x, uy = −2y, vx = 2y, vy = 2x
Ası́ pues, las condiciones de Cauchy-Riemann ux = vy , uy = −vx se cumplen para toda x

y toda y, de manera que la derivada de w respecto a z existe para toda z y es:
w0 = ux + ivx = 2x + i2y = 2(x + iy) = 2z
Más adelante podremos percatarnos de que el hecho de haber obtenido la misma regla de
derivación de la potencia que en la variable real obedece a razones profundas dentro de
la teorı́a de funciones de variable compleja.
3. Sea la función
w = |z|2
muy parecida a la anterior, salvo que en vez de lapvariable al cuadrado tenemos en ella el
módulo de la variable al cuadrado. Como |z| = x2 + y 2 es un número real, tendremos
que para esta función
u(x, y) = x2 + y 2 , v(x, y) = 0
Calculando las derivadas parciales tendremos
ux = 2x, uy = 2y, vx = 0, vy = 0
Las condiciones de Cauchy-Riemann, ux = vy , uy = −vx solo se cumplen en el punto

x = 0, y = 0, y no se cumplen en ningún otro punto del plano. Esto significa que la
función w = |z|2 solo tiene derivada respecto a su argumento complejo z en el punto
z = 0. Dicha derivada es: w0 = ux |(0,0) + ivx |(0,0) = 0 y no tiene derivada respecto a z en
más ningún otro punto del plano.
Resulta de interés destacar un hecho que está sugerido por los resultados de los ejemplos aquı́
vistos: las funciones de variable compleja tienen derivada respecto a su argumento complejo z
en todos los puntos de un dominio (en los dos primeros ejemplos, en todo el plano complejo) o
tienen derivada solamente en puntos aislados. Más adelante podremos percatarnos de la gran
diferencia en las consecuencias de esta realidad.
1.4.4 Funciones analı́ticas
Estamos preparados para estudiar la definición siguiente
Definición
La función f (z) de una variable compleja z se llama analı́tica en el dominio D si es derivable

en todos los puntos de D y su derivada es continua en D.
Las funciones analı́ticas se conocen también con los nombres de funciones regulares o monó-
genas. Si el dominio de analiticidad D es finito, se dice que la función es holomorfa. Si el
dominio de analiticidad D es todo el plano complejo, la función analı́tica se llama entera.
Históricamente a las funciones de variable compleja derivables en un dominio se les llamó

también funciones meromorfas. El nombre de analı́ticas apareció posteriormente al analizar
las series de potencias y será comprendido cabalmente en un futuro capı́tulo de este libro.
La exigencia de la condición de la continuidad de la derivada de la función en la definición de

analiticidad se añade con el objetivo de simplificar algunos cálculos posteriores. Como podremos
percatarnos más adelante, ello no varı́a en nada el contenido matemático del concepto de función
analı́tica. Aún más, veremos que la continuidad de la derivada y, más aún, su analiticidad es
una consecuencia de la definición y no una condición a imponer en la misma.
Como consecuencia de la definición y de los teoremas 5 y 6, tiene lugar la siguiente afirmación.
Teorema 7
Para que la función f (z) = u(x, y) + iv(x, y) de la variable compleja z = x + iy sea analı́tica
en el dominio D es necesario y suficiente que las funciones u(x, y) y v(x, y) tengan derivadas
parciales continuas en D que cumplan las condiciones de Cauchy-Riemann (1.41).
Demostración:
1. Necesidad
Por hipótesis, f (z) es analı́tica en D, es decir, derivable en todo D con derivada continua.
En virtud del teorema 5, ello significa que la derivada respecto a z de f (z) viene dada
por la fórmula (1.45) para todo punto z0 de D, lo que significa que, efectivamente, u(x, y)
y v(x, y) tienen derivadas parciales continuas que cumplen las condiciones de Cauchy-
Riemann en todo punto de D.
2. Suficiencia
Tenemos por hipótesis que existen las derivadas parciales de u(x, y) y v(x, y) continuas
en D que satisfacen las condiciones de Cauchy-Riemann en D. Por lo tanto, de acuerdo
con el teorema 6, la función f (z) es derivable con respecto a z en todos los puntos de D,
es decir, es analı́tica en D.
El teorema 7 nos ofrece un algoritmo poderoso para investigar la analiticidad de una función
de variable compleja: para determinar si una función dada es analı́tica en un dominio dado,
debemos simplemente comprobar si su parte real y su parte imaginaria son continuas en el
dominio y cumplen en sus puntos las condiciones de Cauchy-Riemann. Desde esta perspectiva,
las funciones de los ejemplos 1 y 2 del punto anterior son analı́ticas en todo el plano complejo
(enteras), mientras que el tercer ejemplo es una función no analı́tica de la variable compleja z,
ya que tiene derivada solamente en el punto aislado z = 0.
El lector puede comprobar que, si la variable compleja z viene dada en coordenadas polares, es
decir, z = reiϕ las condiciones de Cauchy-Riemann para la función
f (z) = u(r, ϕ) + iv(r, ϕ)
tienen la forma
∂u 1 ∂v 1 ∂u ∂v
= ; =− (1.46)
∂r r ∂ϕ r ∂ϕ ∂r
Igualmente se puede comprobar que las condiciones de Cauchy-Riemann para la función dada
en polares:
f (z) = R(x, y){cos Φ(x, y) + i sin Φ(x, y)}
tienen la forma
∂R ∂Φ ∂R ∂Φ
=R ; =− (1.47)
∂x ∂y ∂y ∂x
1.4.5 Funciones conjugadas armónicas
El concepto de función analı́tica es uno de los más importantes en la teorı́a de funciones de

variable compleja debido al importante papel que juegan las funciones analı́ticas, tanto en la
solución de problemas puramente matemáticos, como en las distintas aplicaciones de la variable
compleja a la Fı́sica y a otras disciplinas. Por ejemplo, supongamos que f (z) = u(x, y)+iv(x, y)
es analı́tica en D. Si las condiciones de Cauchy-Riemann (1.41) -válidas en D- son derivadas
una vez, la primera respecto a x y la segunda respecto a y, se obtiene
∂2u ∂2v ∂2u ∂2v

= ; = −
∂x2 ∂x∂y ∂y 2 ∂y∂x
Como las derivadas parciales de u y v son continuas por definición de función analı́tica, las
segundas derivadas parciales cruzadas son iguales entre sı́, por lo que, sumando estas dos
expresiones, se obtiene para la función u la llamada ecuación de Laplace:
∂2u ∂2u
∇2 u ≡ + =0 (1.48)
∂x2 ∂y 2
De igual forma, podemos obtener la misma ecuación de Laplace para la función v(x, y). Es
decir, la parte real y la parte imaginaria de la función f (z) analı́tica en D son solución de
(satisfacen) la ecuación de Laplace en D. Es decir, son lo que se conocen con el nombre de
funciones armónicas en D y, como son la parte real y la parte imaginaria de una función
analı́tica, se les llama funciones conjugadas armónicas. La ecuación de Laplace aparece en
Fı́sica al estudiar los fenómenos relacionados con procesos estacionarios (no dependientes del
tiempo). De ahı́ la importancia que adquiere para la Fı́sica el dominio de la teorı́a y de los
métodos de las funciones de variable compleja.
En el desarrollo del libro, de manera diferente a otros textos, postergaremos el estudio especı́fico
de las funciones elementales de variable compleja para el capı́tulo concerniente a la prolongación
analı́tica y dejaremos, por lo tanto, para ese momento el análisis minucioso de diversos ejemplos
de funciones analı́ticas, aunque trabajaremos con algunas funciones que definiremos a partir de
sus expresiones algebraicas. De esta manera desarrollaremos primero, de la forma más general
posible, la teorı́a de las funciones analı́ticas para, una vez logrado este propósito, pasar al
estudio particular de ejemplos.
1.5 Ejercicios del Capı́tulo

1. Escribir en forma trigonométrica:
√
a)1 + i 3
b)1 − cos α + i sin α
2. Hallar:
√
a) 3 + 4i
√
b) 6 −64
√
c) 3 i − 1
3. Hallar: ii .
4. Resolver los sistemas de ecuaciones:
z1 + 2z2 = 1 + i
3z1 + iz2 = 2 − 3i
(1 + i)z1 − (1 − i)z2 = 0
(2 + i)z1 − (1 − 2i)z2 = 0
5. Escribir las fórmulas de la proyección estereográfica en coordenadas cartesianas.
6. Decir si son dominios los conjuntos de puntos:
a)|z 2 − 1| ≤ 1
b) cos ϕ < r < 2 cos ϕ; −π ≤ ϕ < π
(r y ϕ son las coordenadas polares).

dw
7. Usando la fórmula obtenida en el epı́grafe 4, calcular dz
para las funciones:
a)w = 3z 2 − 4z + 7
b)w = (1 − 4z 2 )2
3z − 1
c)w =
2z + 1
8. Investigar la analiticidad de las siguientes funciones:
a)w = z 3
1
b)w =
z2
√
3
c)w = z
d)w = zRe z
e)w = z + z ∗
f )w = tan(arg z)
g)w = xy + iy
9. Demostrar que si f (z) y f ∗ (z) son analı́ticas a la vez en un dominio, entonces f (z) = const.
10. Hallar la conjugada armónica y la función analı́tica correspondiente de:
a)u(x, y) = x3 − 3xy 2
b)v(x, y) = cos x sinh y

Capı́tulo 2
Integración de funciones de variable

compleja
2.1 Concepto de integral de funciones de variable com-

pleja
Supongamos que tenemos definida en cierto dominio del plano complejo z una curva seccional-
mente lisa C. Con ayuda de la expresión en paramétricas de la curva C introduzcamos las
coordenadas de cada uno de los puntos x y y por medio de las ecuaciones
x = x(t); y = y(t)
que son funciones seccionalmente lisas del parámetro t; dicho parámetro varı́a entre los lı́mites
α ≤ t ≤ β. Es obvio que las funciones x(t) y y(t) deben satisfacer la condición
x2 (t) + y 2 (t) 6= 0
El dar las coordenadas x y y de esta curva C equivale a dar la función compleja
z(t) = x(t) + iy(t)
de variable real t.
Supongamos que en cada punto z de la curva C está definido el valor de la función f (z).
Veamos el importante concepto de integral de la función f (z) a lo largo de la curva C. Para
ello, dividamos la curva C en N partes, mediante los puntos z0 , z1 , z2 ,..., zN , que corresponden
a valores crecientes del parámetro t, (tk < tk+1 ). (Fig. 2.1). Llamemos ∆zk = zk − zk−1 y
construyamos las sumas integrales:
51
N
X
SN = f (ẑk )∆zk (2.1)
k=1
donde ẑk es un punto arbitrario del segmento de curva ∆zk .
Figura 2.1: Contorno C de integración
Si existe el lı́mite de las sumas (2.1) cuando max |∆zk | → 0, independientemente del tipo de
partición efectuado e independientemente de la forma en que se escojan los puntos ẑk , dicho
lı́mite recibe el nombre de integral de la función f (z) por la curva C (dı́cese también por
el contorno C) y se representa por la expresión
Z
f (z)dz (2.2)
C
Como f (z) = u(x, y) + iv(x, y), para la suma integral (2.1) tendremos la siguiente expresión:
Integración 53
N
X
SN = [u(x̂k , ŷk ) + iv(x̂k , ŷk )](∆xk + i∆yk ) =
k=1
N
X N
X
= [u(x̂k , ŷk )∆xk − v(x̂k , ŷk )∆yk ] + i [v(x̂k , ŷk )∆xk + u(x̂k , ŷk )∆yk ] (2.3)
k=1 k=1
Cada una de las sumas de la expresión (2.3) es la suma integral de una integral curvilı́nea de
segundo tipo en variables reales, cuya definición puede verse en cualquier curso de Análisis
Matemático.
Sabemos que para que exista una integral curvilı́nea de segundo tipo es suficiente que el contorno
C de integración sea seccionalmente liso y que las funciones que se integran sean seccionalmente
continuas.1 Por consiguiente, si ello se cumple, tendremos que:
Z Z Z
f (z)dz = (udx − vdy) + i (vdx + udy) (2.4)
C C C
La expresión (2.4) puede servir como definición de la integral de f (z) por el contorno C. De ella
se deduce un conjunto de propiedades que son una consecuencia inmediata de las propiedades
de las integrales curvilı́neas de segundo tipo de variable real; por ejemplo:
1. El signo de la integral depende del sentido de integración:

Z Z
f (z)dz = − f (z)dz (2.5)
C C−
2. Z Z Z
f (z)dz + f (z)dz = f (z)dz (2.6)
C1 C2 C1 +C2
3. Si a es una constante compleja:

Z Z
af (z)dz = a f (z)dz (2.7)
C C
4. Z Z Z
[f1 (z) + f2 (z)]dz = f1 (z)dz + f2 (z)dz (2.8)
C C C
5. Z Z

f (z)dz ≤ |f (z)||dz| (2.9)

C C
1
de donde se deduce que la integral (2.2) existe en el caso que la función f (z) no sea analı́tica, con tal que
sea seccionalmente continua
La comprobación de estas propiedades se plantea al lector como ejercicio.
En el futuro estudiaremos integrales de funciones analı́ticas en determinado dominio y nos

interesarán, especialmente, los casos en que la frontera del dominio es una curva seccionalmente
lisa y cerrada que no se corta consigo misma. A este tipo de curva le llamaremos contorno
cerrado y a las integrales del tipo (2.2) por ese tipo de contorno le llamaremos integrales de
contorno.
2.2 Teorema de Cauchy
2.2.1 Formulación inicial
En la integración de funciones de variable compleja tiene lugar una singular e importantı́sima

propiedad que establece una sustancial diferencia cualitativa entre esta teorı́a y la integración
de funciones de variable real y a la que nos dedicaremos de inmediato.
Teorema 8 (Teorema de Cauchy)
Si la función univaluada f (z) es analı́tica en el dominio simplemente conexo D entonces, su

integral por cualquier contorno cerrado contenido totalmente en D es igual a cero.
Demostración:
En los cursos de Análisis Matemático de funciones de variable real se obtiene la siguiente

relación integral, conocida con el nombre de fórmula de Green:
Z Z Z
∂Q ∂P
(P dx + Qdy) = − dxdy (2.10)
C G ∂x ∂y
donde G es la región del plano (x, y) encerrada en el contorno C y las funciones P (x, y) y Q(x, y)
son continuas con derivadas continuas en el dominio G (es decir, P, Q ∈ C 1 (G)) y continuas en
la clausura C ∪ G (o sea, P, Q ∈ C(C ∪ G)).
Basándonos en (2.10) y en virtud de que en nuestra definición de función analı́tica postulamos

la continuidad de la derivada, podemos escribir
Z Z Z
f (z)dz = (udx − vdy) + i (vdx + udy) =
C C
Z Z Z Z C
∂v ∂u ∂u ∂v
= − − dxdy + i − dxdy
G ∂x ∂y G ∂x ∂y
Como por hipótesis del teorema f (z) es analı́tica en D y por tanto en G, las derivadas parciales
de u y v cumplirán con las condiciones de Cauchy-Riemann, lo que significa que los paréntesis
en las integrales por el dominio G se anulan, por lo que, efectivamente,
Integración 55
Z
f (z)dz = 0 (2.11)
C
2.2.2 Teorema de Goursat
Nosotros hemos definido en anteriormente como función analı́tica a aquella que es derivable (y
por lo tanto, continua) en un dominio y que, además, su derivada es continua en ese dominio.
Bajo estas suposiciones, como se ve, el teorema de Cauchy se demuestra con gran facilidad.
Sin embargo, con posterioridad a Cauchy, el matemático francés Edouard Goursat demostró el
mismo teorema sin necesidad de suponer la continuidad de la derivada de la función analı́tica.
Su demostración lo único que exigı́a era que la función f (z) fuese derivable en los puntos del
dominio.
Gracias a esa demostración de Goursat del teorema de Cauchy la definición de analiticidad

de una función de variable compleja se simplifica. Podemos definir entonces como analı́tica a
aquella función de variable compleja que sea derivable en los puntos de un dominio dado, sin
exigir la continuidad de la derivada.
Más adelante veremos que la continuidad de la derivada (y, aún más, la analiticidad de dicha
derivada) es una consecuencia directa de esta nueva definición de función analı́tica.
Para efectuar la demostración de Goursat del teorema de Cauchy tengamos en consideración

que la expresión (2.11) demostrada según Cauchy, es decir, suponiendo la continuidad de la
derivada, tiene validez para todas las potencias de z: f (z) = 1, f (z) = z, f (z) = z 2 , etc., ya
que estas funciones son analı́ticas y sus derivadas son continuas; es decir que
Z Z Z
dz = 0; zdz = 0; z 2 dz = 0 (2.12)
C C C
Con el fin de efectuar la demostración de Goursat del teorema de Cauchy enunciemos y de-
mostremos la siguiente afirmación:
Lema
Si f (z) es analı́tica2 en el dominio D y si C es un contorno perteneciente a D que encierra

a un subdominio G, donde C es la frontera de dicho subdominio, entonces, para cualquier
ε > 0 se puede dividir el dominio G en un número finito de cuadrados y partes de cuadrados
de contornos Ck tales que dentro o sobre cada contorno Ck existe un punto zk para el que se
cumple que
2
En lo adelante, cuando digamos que una función es analı́tica, lo supondremos en el sentido de la nueva
definición, es decir, derivable y continua, sin suponer la continuidad de la derivada

f (z) − f (zk ) 0

z − zk − f (zk )<ε
(2.13)
donde k = 1, 2, ..., n y z es un punto cualquiera dentro o sobre Ck .
Demostración:
Dividamos el dominio G en cuadrados y partes de cuadrados, como se ilustra en la figura 2.2.

Sea ε > 0. Si existe un cuadrado en el que no pueda encontrarse ni un solo punto zk tal que
la desigualdad (2.13) se cumpla para todo z de ese cuadrado, entonces procederemos a dividir
dicho cuadrado en cuatro partes iguales.
Figura 2.2: Para el lema de la demostración de Goursat.
(Si el análisis se realiza en un cuadrado incompleto , dividiremos todo el cuadrado en cuatro

partes iguales, tomando en consideración las porciones que queden dentro de G). Si en los
cuadrados más pequeños obtenidos no se encuentra de nuevo ni un solo punto zk que cumpla
la desigualdad (2.13), volveremos a subdividir el dominio mediante el mismo procedimiento
cuantas veces sea necesario.
Pueden suceder dos cosas:

Integración 57
1. Que al realizar en todo el cuadrado que lo requiera un número finito de subdivisiones, se

obtenga una subdivisión tal que se cumpla la desigualdad (2.13) para todos los subdo-
minios. En ese caso el lema quedará demostrado.
2. Que al subdividir el cuadrado A0 un número finito de veces no se encuentren puntos

zk tales que se cumpla la desigualdad (2.13). Esto implicarı́a que después de dividir el
cuadrado A0 una vez, se encontrarı́a al menos un cuadrado menor A1 para el que no
existirı́a una zk tal que cumpliese con la desigualdad (2.13) cuando A1 se subdividiera
un número finito de veces. Luego de subdividir A1 una vez, se encontrarı́a un cuadrado
menor A2 para el que no se encontrarı́a una zk tal que (2.13) se cumpliese después de que
A2 se subdividiera un número finito de veces y ası́ sucesivamente.
Cada cuadrado de la sucesión de cuadrados A0 , A1 , A2 ,..., Ak ,... estarı́a contenido en el
anterior: A0 ⊃ A1 ⊃ A2 ⊃ ... ⊃ Ak ⊃ .... Por lo tanto, para cada k entera existirá un
punto z0 contenido en todos estos cuadrados a la vez. Pero la dimensión de Ak tiende
a cero cuando k crece. Por consiguiente, para cada número δ > 0 se encontrará un
número k0 tal que, para toda k > k0 , los puntos del cuadrado Ak estarán dentro de la
circunferencia |z − z0 | = δ. Y como hemos supuesto que en ningún cuadrado Ak existen
puntos zk para los que se cumpla (2.13), en el lı́mite para k → ∞ concluirı́amos que en
el punto z0 ocurrirı́a que

f (z) − f (z0 ) 0

z − z0 − f (z0 ) ≥ ε, ∀|z − z0 | < δ (2.14)
Y como z0 ∈ G, donde f (z) es analı́tica, obtendrı́amos un absurdo, ya que no existirı́a la

derivada en z0 ∈ G, la que deberı́a existir, lo que está en contradicción con el resultado
(2.14) obtenido aquı́.
Por lo tanto concluimos que la desigualdad (2.13) debe siempre cumplirse.
Demostrado el lema.
Demostración de Goursat del Teorema de Cauchy:
Queremos demostrar ahora la relación (2.11). Sea el contorno de integración C el tomado en la

demostración del lema anterior y hagamos en él la misma construcción descrita en dicho lema
e ilustrada en la figura 2.2.
En virtud del lema demostrado para la función
f (z) − f (zk )
∆k (z) = − f 0 (zk ), ∀k = 1, 2, ..., n (2.15)
z − zk
tendremos que
|∆k (z)| < ε (2.16)

Además, como las funciones ∆k (z) son continuas y sus lı́mites cuando z → zk se anulan,
postularemos que ∆k (zk ) = 0.
En virtud de (2.15), para cualquier punto z ∈ Ck podremos escribir que
f (z) = f (zk ) − zk f 0 (zk ) + zf 0 (zk ) + (z − zk )∆k (z) (2.17)
Integrando por el contorno Ck y teniendo en cuenta las relaciones (2.12), obtendremos que
Z Z
f (z)dz = (z − zk )∆k (z)dz (2.18)
Ck Ck
Por consiguiente, para la integral por el contorno C tendremos que
Z n Z
X
f (z)dz = f (z)dz (2.19)
C k=1 Ck
Pues en la suma de integrales se anularán las integraciones por todos los lados de los cuadrados
internos al dominio G en virtud de que dichos lados se recorrerán al realizar la integración dos
veces, una en sentido positivo y otra en sentido negativo y quedará solamente la integración
por los arcos que forman el contorno C.
De (2.18) y (2.19) concluimos que
Z n Z
X
f (z)dz = (z − zk )∆k (z)dz
C k=1 Ck
y, por consiguiente, que
Z n Z
X
f (z)dz ≤ |z − zk ||∆k (z)||dz|

C k=1 Ck
De (2.16) concluimos que
Z n Z
X

f (z)dz < ε
|z − zk ||dz| (2.20)
C k=1 Ck
Pero es evidente que
√
|z − zk | ≤ lk 2
Integración 59
donde lk es la longitud de un lado del cuadrado Ck . Por lo tanto
Z √ Z
|z − zk ||dz| ≤ lk 2 |dz| (2.21)
Ck Ck
Y, además,
Z
|dz| = 4lk
Ck
si Ck es un cuadrado completo, en tanto
Z
|dz| ≤ 4lk + Lk
Ck
si Ck es un cuadrado incompleto, donde Lk es la longitud del arco de C que forma parte de Ck .
Sustituyendo en (2.21), obtenemos que
Z √ √
|z − zk ||dz| ≤ 4 2lk2 = 4 2Rk (2.22)
Ck
si Ck es un cuadrado completo, donde Rk es el área del cuadrado completo y
Z √ √ √
|z − zk ||dz| < 2lk (4lk + Lk ) < 4 2Rk + 2SLk (2.23)
Ck
si Ck es un cuadrado incompleto, donde S es la longitud del lado de un cuadrado cualquiera

que contenga a todo el contorno C y a todos los cuadrados completos que tengan que utilizarse
para recubrir el dominio G. Esto implica que la suma de todas las áreas Rk será menor o igual
que S 2 .
Si L es la longitud del contorno C obtenemos, en virtud de las desigualdades (2.20), (2.22) y

(2.23), que
√ √
Z
f (z)dz < ε(4 2S 2 + 2SL) = ε0

(2.24)
C
√ √
donde ε0 = ε(4 2S 2 + 2SL).
Como ε > 0 es arbitrario, ε0 > 0 también lo será y, como C f (z)dz tiene un valor constante
R
definido para el contorno cerrado C y para la función dada f (z) y, como según (2.24), dicho
valor constante es menor que cualquier número ε0 > 0 tan pequeño como se quiera, concluimos
que dicha integral tiene que ser igual a cero.
2.2.3 Corolario del Teorema de Cauchy
Teorema 9
Si f (z) es analı́tica en el dominio simplemente conexo D, entonces las integrales por cualquier
curva que una los puntos fijos z1 y z2 pertenecientes a D tienen el mismo valor.
Demostración:
En virtud del teorema de Cauchy tenemos que para la curva cerrada C = C1 + C2 que pasa por
los puntos z1 y z2 (Fig. 2.3) se cumple que
Z Z Z Z
f (z)dz = f (z)dz = f (z)dz + f (z)dz = 0 (2.25)
C C1 +C2 C1 C2
La integración por C1 se efectúa desde z1 hasta z2 , en tanto que la integración por C2 se realiza
desde z2 hasta z1 .
Cambiándole el sentido de integración a la integral por C2 y teniendo en cuenta que al cambiar

el sentido de integración la integral cambia de signo, queda demostrado el corolario.
2.2.4 Generalización del Teorema de Cauchy
Por la utilidad que presenta en las distintas aplicaciones debe formularse el teorema de Cauchy
para el caso en que el contorno de integración C sea la frontera del dominio de analiticidad. En
ese caso el teorema se formula exigiendo la analiticidad de la función en el dominio y, además,
su continuidad en la unión del dominio con su frontera; es decir, que el teorema se enunciarı́a
de la siguiente manera:
Si la función f (z) es analı́tica en el dominio simplemente conexo D y continua en el dominio

cerrado D̄ = D ∪ Γ, entonces
Z
f (z)dz = 0 (2.26)
Γ
La demostración de esta afirmación es una repetición literal de las demostraciones ya realizadas

y, por lo tanto, no la volveremos a hacer.
Hasta este instante en los enunciados del teorema de Cauchy se ha especificado que el dominio
de analiticidad es simplemente conexo, lo que tiene importancia fundamental, como se puede
apreciar fácilmente en el siguiente ejemplo:
Integración 61
Figura 2.3: Corolario del teorema de Cauchy
Sea
1
f (z) =
z
Evidentemente , en z = 0 dicha función no es analı́tica, pero en el dominio anular (Fig. 2.4)

D : { 21 < |z| < 2} sı́ lo es. Tomemos por contorno de integración C la circunferencia |z| = 1
contenida totalmente en el dominio de analiticidad. Con excepción del hecho de que el dominio
es biconexo, todas las demás condiciones del teorema de Cauchy se cumplen y, sin embargo,
tenemos que:
2π 2π
ieiϕ dϕ
Z Z Z Z
dz
f (z)dz = = =i dϕ = 2πi 6= 0
C |z|=1 z 0 eiϕ 0
Es decir, que al formular el teorema para dominios multiconexos hay que tener cuidado.
Teorema 10
Figura 2.4: Ejemplo para justificar la necesidad del teorema de Cauchy para dominios multi-
conexos
Si la función f (z) es analı́tica en el dominio multiconexo D y continua en D̄ = D ∪ Γ, entonces
Z
f (z)dz = 0
Γ
donde por Γ se entiende toda la frontera del dominio D recorrida en sentido positivo (es decir,
de manera que el dominio se encuetre siempre a la izquierda).
Demostración:
Sea, por ejemplo, un dominio triconexo de frontera Γ = C0 + C1 + C2 . Con ayuda de los cortes
L1 y L2 podemos convertir a dicho dominio en un dominio simplemente conexo (Fig. 2.5). Para
el dominio simplemente conexo tiene validez el teorema de Cauchy, por lo que podemos escribir
Integración 63
Z Z Z Z
0= f (z)dz = f (z)dz + f (z)dz + f (z)dz +
Γ C0+ C1− C2−
Z Z Z Z
+ f (z)dz + f (z)dz + f (z)dz + f (z)dz (2.27)
L+
1 L+
2 L−
1 L−
2
Figura 2.5: Dominio multiconexo para demostrar el teorema de Cauchy

− −
En virtud de la fórmula (2.5) de este capı́tulo, las integrales por L+ +
1 , L1 , L2 y L2 se anulan.
2.3 Integral Indefinida. Fórmula de Newton-Leibnitz
De forma similar a como se hace en las funciones de variable real, a la función F (z) analı́tica
en el dominio D y cuya derivada F 0 (z) es igual a la función f (z), la llamaremos función
primitiva, o simplemente primitiva de la función f (z).
Teorema 11
Sea F1 (z) una función primitiva de la función f (z). Para que la función F2 (z) sea también
primitiva de f (z) es necesario y suficiente que
F2 (z) = F1 (z) + C
donde C es una constante arbitraria.
Demostración:
1. Necesidad:
Sea F20 (z) = F10 (z) = f (z).
Analicemos la función Φ(z) = F2 (z) − F1 (z).
Evidentemente, su derivada Φ0 (z) = 0. Pero si suponemos que Φ(z) = U (x, y) + iV (x, y),
pues es una función de variable compleja y como, además, es analı́tica, tendremos que su
derivada viene dada por
∂U ∂V ∂V ∂U
Φ0 (z) = +i = −i =0
∂x ∂x ∂y ∂y
de donde concluimos que
∂U ∂U ∂V ∂V
= 0, = 0, = 0, =0
∂x ∂y ∂x ∂y
lo que significa que U = const. y V = const. y, por lo tanto, Φ(z) = C.
Demostrada la necesidad.
2. Suficiencia:
Sea F2 (z) = F1 (z) + C.
Derivando obtenemos F20 (z) = F10 (z) = f (z), ya que la derivada de la función constante
es cero.
Demostrada la suficiencia.
Definición:
Al conjunto de todas las primitivas posibles de una función f (z) se le llama integral indefinida
de f (z).
Para la integral indefinida en la variable compleja no se usa la misma simbologı́a que en la

variable real, sino otra comúnmente llamada forma de Cauchy de expresar una integral
indefinida como integral de lı́mite superior variable y que se fundamenta en el siguiente teorema.
Integración 65
Teorema 12
Sea la función f (z) definida y continua en el dominio simplemente conexo D y tal que su integral
por cualquier contorno cerrado contenido en D se anule.3 Entonces la función
Z z
F (z) = f (ζ)dζ (2.28)
z0
donde z ∈ D y z0 ∈ D, es analı́tica en D y se cumple que
F 0 (z) = f (z)
es decir, es primitiva de f (z).
Demostración:
Nuestro objetivo es demostrar que existe la derivada de F (z) para cualquier punto z ∈ D y que
su derivada es f (z). Para ello, calculemos el incremento
Z z+∆z Z z
∆F = f (ζ)dζ − f (ζ)dζ (2.29)
z0 z0
Como por hipótesis la integral de f (z) por cualquier contorno cerrado contenido en D se anula,
nuestra integral no depende del camino de integración. Es decir,
Z z+∆z
∆F = f (ζ)dζ (2.30)
z
Como, además, f (z) es continua por hipótesis, podemos escribir que
f (ζ) = f (z) + η(ζ) (2.31)
donde η(ζ) es una función infinitesimal, es decir, |η(ζ)| → 0 cuando ζ → z.
Entonces, para el incremento ∆F obtenemos la expresión
Z z+∆z Z z+∆z Z z+∆z

∆F = f (z)dζ + η(ζ)dζ = f (z)∆z + η(ζ)dζ (2.32)
z z z
3
Es bueno aclarar que el teorema de Cauchy establece que si una función es analı́tica, entonces su integral por
cualquier contorno cerrado contenido en el dominio de analiticidad es igual a cero; sin embargo, nada aún nos
permite afirmar que si una función es continua y su integral por cualquier contorno cerrado dentro del dominio
de continuidad es cero, la función sea analı́tica en ese dominio. Más adelante volveremos sobre este asunto.
Ası́ pues, obtenemos
1 z+∆z
Z
∆F
≤ 1 max |η(ζ)| · |∆z|

∆z − f (z) =
|∆z| η(ζ)dζ |∆z|
z
Es decir, que

∆F
∆z − f (z) ≤ max |η(ζ)| (2.33)

Como para ∆z → 0, |η(ζ)| → 0, la expresión (2.33) nos indica que la función F (z) es analı́tica
en D, pues es derivable en todo punto de D, ya que su derivada existe en esos puntos, y que,
además, su derivada, efectivamente, es dF
dz
= f (z).
Este teorema nos indica, efectivamente, que la primitiva de una función continua de variable
compleja, es decir, su integral indefinida, puede expresarse a través de la fórmula (2.28).
Teorema 13 (Fórmula de Newton-Leibnitz)
Si la función f (z) es continua en el dominio simplemente conexo D y su integral por cualquier

contorno cerrado contenido en el dominio D es igual a cero, entonces
Z z2
f (z)dz = F (z2 ) − F (z1 ) (2.34)
z1
donde F (z) es una primitiva de f (z) y z1 , z2 ∈ D.
Demostración:
Analicemos la función
Z z
Φ(z) = f (ζ)dζ
z1
con lı́mite superior variable. En virtud de los teoremas 11 y 12 podemos escribir que
Z z
Φ(z) = f (ζ)dζ = F (z) + C (2.35)
z1
de donde Φ(z1 ) = 0 = F (z1 ) + C. Por consiguiente, C = −F (z1 ).
Ası́ pues
Integración 67
Z z
f (ζ)dζ = F (z) − F (z1 )
z1
de donde, por fin
Z z2
f (ζ)dζ = F (z2 ) − F (z1 )
z1
Veamos un ejemplo importante que ilustra lo demostrado en el teorema 12. Analicemos la

siguiente función:
Z z
dζ
F (z) = (2.36)
1 ζ
La función que figura bajo la integral es continua en todo el plano complejo excepto en el
punto z = 0 (es más, puede comprobarse que es analı́tica en ese dominio); por consiguiente, la
expresión (2.36) tiene sentido siempre que la curva de integración no pase por el punto z = 0.
Bajo estas condiciones, en virtud del teorema 12, la función F (z) es una función analı́tica
univaluada en cualquier dominio simplemente conexo D del plano complejo que no contenga
al punto z = 0, y no depende del camino de integración que tomemos en la fórmula (2.36).
Tomemos por dominio simplemente conexo D todo el plano complejo cortado por la parte
negativa del eje real y excluido el punto z = 0; es decir, el dominio {−π < arg z ≤ π, z 6= 0}.
Consideremos que el camino de integración en la fórmula (2.36) está contenido totalmente en
el dominio en cuestión, o sea, que no corta a la parte negativa del eje real, ni pasa por z = 0.
Entonces, para valores reales positivos z = x y tomando como camino de integración en la
fórmula (2.36) el segmento correspondiente del eje real, cosa que podemos hacer porque la
integral cerrada por cualquier contorno es igual a cero, de manera que la integral entre z = 1 y
z = x da el mismo valor por cualquier contorno, en particular por el segmento de eje real entre
1 y x, obtenemos
Z x
dξ
F (x) = = ln x (2.37)
1 ξ
Es decir, para valores positivos reales de su argumento, la función F (z) coincide con la función
logaritmo de variable real. Por eso, para la función (2.36) en el dominio D considerado {−π <
arg z ≤ π, z 6= 0} utilizaremos el mismo sı́mbolo y escribiremos
Z z
dζ
ln z = (2.38)
1 ζ
Esta última expresión, en la que el camino de integración es escogido como se especificó arriba,
puede considerarse como la definición de la función logaritmo para todos los valores complejos
del argumento z, tomados en el dominio simplemente conexo considerado. Más adelante, en

el capı́tulo que dedicaremos al estudio de las funciones elementales de variable compleja estu-
diaremos detalladamente las propiedades de esta función; por ahora sólo señalaremos que, en
virtud del teorema 12, tiene lugar la relación
1
(ln z)0 = (2.39)
z
es decir, que en el dominio considerado la derivada de esta función tiene la misma expresión
que la derivada con respecto a valores reales positivos del argumento.
2.4 Integrales que dependen analı́ticamente de un pará-

metro
Más adelante será necesario analizar integrales del tipo
Z
f (z) = F (z, ζ)dζ (2.40)
C
que dependen de la variable compleja z como un parámetro. Para este tipo de integrales tiene
lugar la siguiente afirmación:
Teorema 14
Sea una función de las variables complejas z y ζ, definida para toda z perteneciente a cierto
dominio D y toda ζ perteneciente a cierta curva lisa C (la relación entre el dominio D y la
curva C es totalmente arbitraria) y tal que:
1. F (z, ζ) sea analı́tica con respecto a z ∈ D, para cualquier ζ ∈ C.
2. F (z, ζ) sea continua con respecto a ζ ∈ C, para cualquier z ∈ D.

∂F (z,ζ)
3. ∂z
sea continua con respecto a ambos argumentos.
Entonces la función f (z), definida por la fórmula (2.40), es analı́tica en el dominio D y se

cumple que
Z
0 ∂F (z, ζ)
f (z) = dζ (2.41)
C ∂z
Demostración:
Sea
Integración 69
F (z, ζ) = U (x, y, ξ, η) + iV (x, y, ξ, η) (2.42)
donde z = x + iy y ζ = ξ + iη. Entonces, en virtud de la expresión (2.4) de este capı́tulo,

tendremos que
Z
f (z) = u(x, y) + iv(x, y) = {U (x, y, ξ, η)dξ − V (x, y, ξ, η)dη} +
CZ
+i {V (x, y, ξ, η)dξ + U (x, y, ξ, η)dη} (2.43)

C
Por las hipótesis 1,2 y 3 del teorema, las funciones de variable real U y V son continuas y, por
tanto, podemos derivar bajo el signo de integración:
Z
∂u ∂U ∂V
= dξ − dη (2.44)
∂x C ∂x ∂x
Z
∂v ∂V ∂U
= dξ + dη (2.45)
∂y C ∂y ∂y
Pero, por las condiciones de Cauchy-Riemann:
∂U ∂V ∂U ∂V
= ; =−
∂x ∂y ∂y ∂x
ya que F (z, ζ) es analı́tica con respecto a z.
Teniendo en cuenta estas condiciones en las expresiones (2.44) y (2.45), concluimos que
∂u ∂v
=
∂x ∂y
Idénticamente se obtiene que
∂u ∂v
=−
∂y ∂x
Es decir, que las funciones u(x, y) y v(x, y) satisfacen las condiciones de Cauchy-Riemann, lo
que significa que f (z) es analı́tica.
Además, podemos escribir que

Z
0 ∂u ∂v ∂U ∂V
f (z) = +i = dξ − dη +
∂x ∂x C ∂x ∂x
Z Z
∂V ∂U ∂U ∂V
+i dξ + dη = +i (dξ + idη) =
C ∂x ∂x C ∂x ∂x
Z
∂F (z, ζ)
= dζ
C ∂z
Pues
∂F (z, ζ) ∂U ∂V
= +i
∂z ∂x ∂x
ya que F (z, ζ) es analı́tica con respecto a z y dζ = dξ + idη.
De esta forma queda establecida la fórmula (2.41).
2.5 Fórmula Integral de Cauchy
2.5.1 Obtención de la fórmula
Una de las consecuencias más sensacionales del teorema de Cauchy (2.10) es que con su ayuda
puede establecerse la ı́ntima relación que existe entre los valores de una función analı́tica en los
puntos internos de su dominio de analiticidad y sus valores en la frontera de dicho dominio.
Analicemos la siguiente integral dependiente analı́ticamente de un parámetro:
Z
f (ζ)dζ
I(z) = (2.46)
C ζ −z
donde f (z) es una función analı́tica en el dominio D y donde el contorno C perteneciente a D

es cerrado (Fig.2.6).
Evidentemente, I(z) = 0 si el punto z está fuera del dominio encerrado por el contorno C, ya
que en ese caso la función bajo la integral, como función de ζ, es analı́tica en todo el dominio
encerrado por C y, por el teorema de Cauchy, la integral (2.46) se anula.
Sin embargo, si el punto z se encuentra en el interior del dominio encerrado por el contorno
C, la función bajo la integral deja de ser analı́tica en el punto ζ = z, por lo que no podemos
afirmar en ese caso que la integral es cero.
Integración 71
Figura 2.6: Obtención de la fórmula integral de Cauchy
Para calcular la integral haremos lo siguiente:
Rodeamos el punto conflictivo z con una circunferencia Cr de radio r centrada en z (Fig.2.7).

En el dominio biconexo de frontera C + Cr formado, la función bajo la integral es analı́tica.
Por lo tanto, se cumple el teorema de Cauchy:
Z Z
f (ζ)dζ f (ζ)dζ
+ =0 (2.47)
C ζ −z Cr− ζ −z
El primer sumando en la expresión (2.47) es I(z). Teniendo en cuenta la propiedad (2.5) de

este capı́tulo para las integrales de funciones de variable compleja, podemos escribir de (2.47)
Z Z
f (ζ)dζ dζ
I(z) = = f (z) +
Cr ζ − z Cr ζ − z
f (ζ) − f (z)
Z
+ dζ ≡ I1 (z) + I2 (z) (2.48)
Cr ζ −z
Figura 2.7: Para la obtención de la fórmula integral de Cauchy
Analicemos las integrales I1 (z) e I2 (z) de la expresión (2.48) por separado. En la circunferencia
Cr tenemos que ζ = z + reiϕ , de donde
dζ = ireiϕ dϕ
ya que z es un parámetro en la integral y la variable de integración ζ recorre la circunferencia

con radio r constante, de manera que el argumento del número complejo ζ − z varı́a entre 0 y
2π. Ası́ pues:
2π
ireiϕ dϕ
Z
I1 (z) = f (z) = 2πif (z) (2.49)
0 reiϕ
Por otra parte,
Z
dζ
|I2 (z)| ≤ max |f (ζ) − f (z)| = 2π max |f (ζ) − f (z)| (2.50)
Cr ζ − z
Integración 73
ya que |ζ − z| = r y |dζ| = rdϕ.
En la expresión (2.50) tenemos que max |f (ζ) − f (z)| → 0 cuando r → 0, pues f (z) es analı́tica
y por consiguiente continua. De aquı́ I2 (z) → 0 cuando r → 0 y como en la expresión (2.48)
I(z) e I1 (z) (I1 (z) = 2πif (z) según (2.49)) no dependen de r, tendremos, por lo tanto que, si
hacemos r → 0, y si el punto z está encerrado por el contorno C, resulta I(z) = 2πif (z). Ası́
pues, hemos obtenido la expresión
Z
1 f (ζ)dζ
f (z) = (2.51)
2πi C ζ −z
que recibe el nombre de fórmula integral de Cauchy.
Esta formidable fórmula nos establece el carácter orgánico que existe en la geometrı́a de las
funciones analı́ticas, algo muy nuevo y propio de la variable compleja: los valores de una función
analı́tica en los puntos contenidos dentro de un contorno C están estrechamente relacionados
con los valores de dicha función sobre el contorno C y, una vez conocidos los valores de la función
sobre un contorno cerrado, no podemos suponerle otros valores en el interior del contorno que
no sean los dados por la fórmula integral de Cauchy, si queremos que la función sea analı́tica.
La fórmula integral de Cauchy es de gran importancia en la teorı́a de funciones de variable

compleja, porque con su ayuda se pueden establecer las principales propiedades de las funciones
analı́ticas, se puede investigar el comportamiento de dichas funciones ası́ como su esencia.
También es una fórmula de gran utilidad práctica, ya que nos permite calcular los valores de
cualquier función analı́tica si conocemos sus valores sobre un contorno cerrado. En este sentido
es interesante destacar el hecho dado por esta fórmula de que para tener toda la información
(los valores funcionales) de una función analı́tica en un dominio basta tener una información
parcial de ella: sus valores sobre un contorno cerrado que encierre al dominio en cuestión. Esta
situación es propia de la variable compleja y no tiene lugar en la teorı́a de funciones de variable
real.
La fórmula integral de Cauchy nos permite también calcular con gran facilidad las integrales
de variable compleja por contornos cerrados cuyo integrando tenga la forma de un numerador
analı́tico dentro del contorno dividido por la diferencia de la variable de integración y el valor
numérico complejo de un punto del interior del contorno de integración. Ese tipo de integrales
podrá calcularse sin usar las reglas anteriormente estudiadas de integración, a lo que llamaremos
”integrar sin integrar”. Por ejemplo, si queremos calcular la integral
eiz
Z
dz
|z|=2 z − π2
como la integral es por el contorno circular de radio 2 centrado en z = 0 en cuyo interior se

encuentra el punto z = π2 de una función cuyo numerador es la función analı́tica dentro del
contorno eiz , por la fórmula integral de Cauchy tendremos:
eiz
Z
i π2
π dz = 2πie = 2πi · i = −2π
|z|=2 z− 2
2.5.2 Consecuencias de la Fórmula Integral de Cauchy
Podemos ahora examinar más profundamente las funciones anaı́ticas. Las consecuencias que a
continuación estudiarmeos constituyen propiedades de las funciones analı́ticas.
1. Teorema 15
Toda función analı́tica en un dominio tiene en dicho dominio derivadas de cualquier orden,
analı́ticas en el dominio.
Demostración:
En efecto, si la función f (z) es analı́tica en el dominio D, entonces, para cualquier contorno
C ∈ D podemos representar a f (z) con ayuda de la fórmula integral de Cauchy (2.51).
Como la función
f (ζ)
F (z, ζ) =
ζ −z
es analı́tica para toda z perteneciente al dominio encerrado por el contorno C y toda

ζ ∈ C y su derivada
∂F (z, ζ) f (ζ)
=
∂z (ζ − z)2
es continua con respecto a sus argumentos, ya que z 6= ζ, pues z es un punto interior

del dominio encerrado por el contorno C y ζ es un punto que pertenece al contorno C,
entonces se cumplen todas las hipótesis del teorema 14, por lo que la derivada de f (z) se
calcula por la expresión (2.41):
Z
0 1 f (ζ)dζ
f (z) = (2.52)
2πi C (ζ − z)2
Ahora bien, esta derivada es también una función analı́tica en D, pues la función inte-
f (ζ)
grando en (2.52), F (z, ζ) = (ζ−z) 2 , cumple también las hipótesis del teorema 14, por lo
que podemos escribir que

Z
00 2 f (ζ)dζ
f (z) = (2.53)
2πi C (ζ − z)3
Podemos repetir este razonamiento tantas veces como queramos, lo que nos permitirá por
inducción concluir que para la enésima derivada de la función f (z) se cumple que
Integración 75
Z
(n) n! f (ζ)dζ
f (z) = (2.54)
2πi C (ζ − z)n+1
Como n es arbitrario, queda demostrada la propiedad enunciada.
La expresión (2.54) se conoce con el nombre de Fórmula generalizada de Cauchy.
Hemos ası́ concluido una importante y original propiedad de las funciones de variable
compleja: Estas funciones o son infinitas veces derivables en los puntos de un dominio (si
son analı́ticas en dicho dominio) o sólo pueden tener derivada de primer orden si acaso
en algún punto aislado del dominio, o no tener en general derivada respecto a z.
Recalcamos el hecho de que el concepto de analiticidad es un concepto colectivo; una
función es analı́tica en D si es derivable en el entorno de cada punto de D. Ello implica
automáticamente la no existencia de puntos de analiticidad aislados. Si la función es
analı́tica entonces tiene derivadas de cualquier orden todas analı́ticas, entendiendo por
tal derivables en todos los puntos del dominio D. No obstante, algunas funciones no
analı́ticas pueden eventualmente tener primera derivada respecto a z en algún punto
aislado de su dominio de definición. Por ejemplo, la función f (z) = |z|2 ≡ (x2 + y 2 ) + i · 0
que es derivable respecto a z en el punto z = 0, no tiene derivada en ningún otro punto
del plano, ya que sólo en z = 0 se cumplen las condiciones de Cauchy-Riemann.
A partir de la propiedad demostrada, podemos destacar lo siguiente: la discusión que
hicimos al definir el concepto de función analı́tica queda completamente esclarecida en este
instante. Nosotros en un principio habı́amos definido la función analı́tica en un dominio
como aquella derivable en todos los puntos del dominio y con derivada continua. La
razón de tal definición fue la de hacer más simple la demostración del teorema de Cauchy
con el uso del teorema de Green. Luego, al desarrollar la demostración de Goursat del
teorema de Cauchy, vimos que no era necesaria la continuidad de la derivada de la función
para demostrar la propiedad de que la integral por cualquier contorno cerrado dentro del
dominio de analiticidad es cero.
Como consecuencia, podemos redefinir el concepto de función analı́tica diciendo que f (z)
es analı́tica en en dominio D, si es derivable en todos los puntos de dicho dominio, sin
exigir ya la continuidad de la derivada.
La propiedad que acabamos de demostrar nos dice que la derivada de una función analı́tica
en un dominio es también analı́tica en ese dominio (y por tanto, continua en el dominio).
Es decir, que la condición de continuidad de la derivada de una función analı́tica, en vez
de ser un postulado de la definición, es una consecuencia de ella.
La fórmula generalizada de Cauchy (2.54) tiene también una gran importancia práctica,
ya que nos permite ”integrar derivando”, lo que se evidencia en el siguiente ejemplo.
Intentemos calcular la integral
eiz
Z
dz
|z|=2 (z − π2 )3
El numerador de la integral es una función analı́tica dentro del cı́rculo dde frontera dada
por la circunferencia por la que se integra. Si observamos la fórmula (2.54), vemos que
en el punto interior z = π2 el denominador se hace cero. Como en este caso teneos que en
la fórmula (2.54) n + 1 = 3, tendremos
eiz
Z
2πi iz 00 π
π 3 dz = (e ) |z= π2 = πi(−ei 2 ) = π
|z|=2 (z − 2 ) 2!
2. Teorema 16 (Teorema de Morera)

Si la función f (z) es continua en el dominio simplemente conexo D y si la integral de f (z)
por cualquier contorno cerrado contenido en D es igual a cero, entonces la función f (z)
es analı́tica en el dominio D.
Demostración:
Como por hipótesis
Z
f (ζ)dζ = 0
C
donde C es cualquier contorno cerrado contenido en D, la integral entre dos puntos

cualesquiera pertenecientes a D no depende del camino de integración que se escoja y
define, por lo tanto, la función
Z z
F (z) = f (ζ)dζ (2.55)
z0
que, de acuerdo con el teorema 12, es analı́tica en D y cumple que F 0 (z) = f (z). Pero,
por la propiedad anterior, la derivada de una función analı́tica es también anaı́tica, lo que
significa que f (z) es analı́tica en D.
El teorema de Morera, junto con el teorema de Cauchy, nos permite afirmar que la
condición necesaria y suficiente para que una función de variable compleja continua en un
dominio sea analı́tica en dicho dominio es que su integral por cualquier contorno cerrado
contenido en el dominio sea igual a cero.
3. Teorema 17. Teorema del valor medio

Si la función f (z) es analı́tica en el dominio D, entonces para cualquier punto z ∈ D tiene
lugar la fórmula del valor medio:
Z 2π
1
f (z) = f [z + reiϕ ]dϕ (2.56)
2π 0
donde r es el radio de una circunferencia centrada en z contenida totalmente en el dominio

D.
Es decir, si la función f (z) es analı́tica en un cı́rculo, su valor en el centro del cı́rculo es
igual a su promedio sobre la circunferencia frontera del cı́rculo. De ahı́ el nombre de la
propiedad.
Demostración:
Integración 77
Para el cı́rculo de frontera Cr centrado en el punto z ∈ D de radio r tiene lugar la fórmula

integral de Cauchy (2.51):
Z
1 f (ζ)dζ
f (z) =
2πi Cr ζ −z
Pero tenemos que
ζ = z + reiϕ
donde r es constante por estar integrándose a lo largo de la circunferencia. De aquı́
dζ = ireiϕ dϕ
y, colocando estas expresiones en la fórmula integral de Cauchy, obtenemos:
2π
f [z + reiϕ ] iϕ
Z
1
f (z) = ire dϕ (2.57)
2πi 0 reiϕ
Cancelando en la expresión (2.57) el numerador con el denominador, obtenemos la fórmula

del valor medio (2.56).
4. Teorema 18. Principio del máximo y del mı́nimo del módulo de una función
analı́tica
Si la función f (z) es analı́tica en el dominio D y continua en D̄ = D ∪ Γ, entonces el
máximo y el mı́nimo del módulo de f (z) se alcanzan sobre la frontera Γ.
Demostración:
Demostremos el teorema para el máximo del módulo de f (z) por reducción al absurdo.
Supongamos que el máximo se alcanza en un punto interior z0 ∈ D.
M = max |f (z)| ≡ |f (z0 )| (2.58)
Tracemos una circunferencia con centro en z0 y radio r contenida totalmente en D lo que

siempre es factible, ya que, por suposición, z0 es interior del dominio D (Fig. 2.8)
En virtud del teorema del valor medio (2.56) y teniendo en cuenta (2.58) tendremos que
Z 2π Z 2π
1 iϕM
M = |f (z0 )| ≤ |f [z0 + re ]|dϕ ≤ dϕ = M (2.59)
2π 0 2π 0
El signo ”rigurosamente menor” no es válido, ya que una constante no puede ser menor
que ella misma. Por eso concluimos que
Z 2π
1
|f [z0 + reiϕ ]|dϕ = M (2.60)
2π 0
Figura 2.8: Para la demostración del principio del valor máximo y mı́nimo del módulo de una
función analı́tica.
Como la función f (z) es continua sobre el contorno de integración, de (2.58) y (2.60)

concluimos que
|f [z0 + reiϕ ]| = M (2.61)
Efectivamente, en virtud de (2.58) el módulo de nuestra función no puede ser mayor

que M en ningún punto del contorno Cr de integración. Si suponemos que en cierto
punto ζ0 del contorno de integración Cr el módulo |f (ζ0 )| es rigurosamente menor que
M , entonces, por la continuidad de la función f (z), encontrarı́amos un entorno de ζ0 en
el que |f (ζ)| < M ; en otras palabras, encontrarı́amos un segmento [ϕ1 , ϕ2 ] de integración
en el que
|f [z0 + reiϕ ]| ≤ M − ε, ε > 0 (2.62)
Pero entonces
Integración 79
Z 2π Z ϕ2
1 iϕ 1
|f [z0 + re ]|dϕ = |f [z0 + reiϕ ]|dϕ +
2π 0 2π ϕ1
Z ϕ1 Z 2π
1 1
+ |f [z0 + reiϕ ]|dϕ +
|f [z0 + reiϕ ]|dϕ ≤
2π 0 2π ϕ2
1 1
≤ (M − ε)(ϕ2 − ϕ1 ) + M [2π − (ϕ2 − ϕ1 )] < M (2.63)
2π 2π
lo que entra en contradicción con (2.60). Por lo tanto, efectivamente, la relación (2.61)
se cumple a lo largo de toda la circunferencia. Esto significa que la función |f (z)| es
constante e igual a su valor máximo en D sobre la circunferencia centrada en z0 y de
radio r.
Puesto que el radio r es arbitrario, concluimos que
|f (z)| = M = const.
en todo el cı́rculo en cuestión.

El cı́rculo centrado en z0 puede tomarse de manera que toque tangencialmente a la frontera
Γ del dominio D, por lo que podemos afirmar que, si suponemos que el máximo del módulo
de f (z) se alcanza en un punto interior de D, el módulo de f (z) es constante e igual a
dicho máximo en el interior del cı́rculo, su circunferencia frontera y al menos un punto
de la frontera Γ del dominio D.
Ahora es fácil demostrar que |f (z)| = M en cualquier otro punto zn arbitrariamente
escogido en el interior del dominio D. Para ello unimos, mediante una curva totalmente
contenida en D, el punto z0 y el punto zn y cubrimos dicha curva con cı́rculos totalmente
contenidos en D, según se ilustra en la figura 2.9.
Como quiera que en el punto z1 perteneciente a la circunferencia inicial y centro de una
nueva circunferencia
|f (z1 )| = M = const.
repitiendo los razonamientos efectuados anteriormente, concluimos que |f (z)| = M =

const. en todo el cı́rculo con centro en z1 . Si repetimos un número finito de veces este
proceso llegamos a la conclusión de que
|f (zn )| = M = const.
y como el punto zn fue escogido arbitrariamente, concluimos que |f (z)| = M = const.

en todo el dominio D y en su frontera Γ, ya que siempre la cadena de circunferencias
escogida puede tomarse de forma que toquen tangencialmente al menos un punto a Γ.
Lo dicho significa que en D̄ ≡ D ∪ Γ
M 2 = u2 + v 2 (2.64)
Figura 2.9: Para la demostración del principio del máximo y el mı́nimo
en todo el dominio D̄, donde u = Re f (z) y v = Im f (z).

Derivando la expresión (2.64) con respecto a x y a y obtenemos
∂u ∂v
2u + 2v =0
∂x ∂x
∂u ∂v
2u + 2v =0 (2.65)
∂y ∂y
Con ayuda de las condiciones de Cauchy-Riemann y de las expresiones (2.65) se obtiene
∂u ∂u
u −v =0
∂x ∂y
∂u ∂u
v +u =0 (2.66)
∂x ∂y
que es un sistema homogéneo de ecuaciones con determinante u2 + v 2 = M 2 6= 0, que sólo

tiene solución trivial:
Integración 81
∂u ∂u
≡ 0, ≡0
∂x ∂y
de donde concluimos que
u = Re f (z) ≡ const.
De forma idéntica se concluye que
v = Im f (z) ≡ const.
por lo que la función f (z) ≡ const. en el dominio D.

Es decir, si suponemos que el máximo del módulo de la función f (z) se alcanza en el
interior del dominio de analiticidad, esto implica que dicha función es constante en todo
el dominio y su frontera (por lo que el máximo del módulo se alcanza también en la
frontera). Por lo tanto, si la función no es constante, el máximo del módulo se podrá
alcanzar solamente en la frontera Γ del dominio D.
Para demostrar el teorema para el mı́nimo del módulo de f (z), basta analizar la función
1
g(z) = f (z) y valerse de la primera parte de la demostración, pues si f (z) no se hace cero
en el interior de D, la función g(z) también será analı́tica en D y como tal, su módulo
alcanzará su valor máximo sobre Γ, lo que implica que el módulo de f (z) alcanzará su
mı́nimo sobre Γ.
5. Teorema 19. Teorema de Liouville

Si f (z) es entera (es decir, analı́tica en todo el plano complejo) y a su vez acotada,
entonces es constante.
Demostración:
Por hipótesis tenemos que la función f (z) es analı́tica en todo el plano y que, además,
|f (z)| ≤ M . Tomemos un punto arbitrario z del plano complejo y tracemos con centro
en él y radio R arbitrario una circunferencia CR . Escribamos con ayuda de la fórmula
generalizada de Cauchy (2.54) la derivada de f (z):
Z
0 1 f (ζ)dζ
f (z) = (2.67)
2πi CR (ζ − z)2
Como el contorno de integración es una circunferencia de radio R centrada en z, tendremos

que
2π 2π
f [z + Reiϕ ] f [z + Reiϕ ]
Z Z
0 1 1
f (z) = 2 i2ϕ
iReiϕ dϕ = dϕ (2.68)
2πi 0 R e 2π 0 Reiϕ
Valoremos la expresión (2.68). Tenemos

2π
|f [z + Reiϕ ]|
Z
0 1 M
|f (z)| ≤ dϕ ≤ (2.69)
2π 0 R|eiϕ | R
A la izquierda en (2.69) tenemos una magnitud que no depende de R, ya que es el valor de

la derivada de la función en el punto z. Sin embargo, a la derecha tenemos una expresión
que mayora a dicha derivada y que depende de R y que es cada vez más pequeña a
medida que R es mayor. Como la función f (z) por hipótesis es entera, el radio R de la
circunferencia puede tomarse tan grande como se desee, por lo que en el lı́mite cuando
R → ∞, resulta que el módulo de la derivada -que no puede ser negativo- está acotado
por cero. Por lo tanto concluimos que |f 0 (z)| ≡ 0, lo que conduce a que f 0 (z) ≡ 0, es
decir, que f (z) = const.
Ası́ pues, una función analı́ica en todo el plano, excluyendo el caso trivial en que sea cons-
tante, es tal que su módulo aunque sea por una dirección determinada, crece indefinida-
mente cuando su argumento tiende al infinito. Esto es una propiedad sustancialmente
distinta de las propiedades de las funciones de variable real, ya que en la variable real,
por ejemplo, la función sin x, que es continua y derivable en todos los puntos del eje real,
es acotada cuando x → ∞; el teorema de Liouville nos indica que la función de varia-
ble compleja sin z, que estudiaremos detenidamente más adelante, no puede ser acotada
cuando z → ∞, pues es entera.
Una sencilla aplicación del teorema de Liouville al álgebra elemental lo constituye la
demostración del Teorema Fundamental del Algebra, que establece que todo polinomio
de grado n
Pn (z) = a0 + a1 z + a2 z 2 + ... + an z n , n ≥ 1, an 6= 0
tiene al menos una raı́z.

La demostración de este teorema por métodos puramente algebraicos resulta complicada;
sin embargo, la teorı́a de funciones de variable compleja lo hace casi evidente.
En efecto, si Pn (z) no se anulase para ningún valor de z, entonces la función
1
f (z) = (2.70)
Pn (z)
es analı́tica en todo el plano complejo, es decir, entera. Pero como |f (z)| → 0 cuando
z → ∞, de acuerdo con el teorema de Liouville 19, tendrı́a que ser f (z) = const. lo que
evidentemente no es cierto. Por lo tanto concluimos que el polinomio Pn (z) debe tener al
menos una raı́z.
En los cursos de álgebra elemental, por lo general, el Teorema Fundamental del Algebra
se plantea sin demostración y a partir de él se demuestra que un polinomio de grado n no
tiene más de n raı́ces. Más adelante, con la ayuda del concepto de residuo logarı́tmico y del
Teorema de Rouché, veremos otra demostración más completa del Teorema Fundamental
del Algebra.
Integración 83
2.6 Ejercicios del Capı́tulo

1. Calcular las integrales:
Ri
(a) −i |z|dz
a lo largo de
i. la recta entre los dos puntos.
ii. la semicircunferencia derecha |z| = 1.
2z−1
R
(b) |z|=3 z(z−1)
dz
Ri
(c) 0
z sin zdz
R 1+i z∗
(d) 0 e dz
a lo largo de
i. la lı́nea quebrada 0, 1, 1 + i,
ii. la lı́nea quebrada 0, i, 1 + i.
R −2+i
(e) −2
(z + 2)2 dz
R
2. ¿Cuál es el sentido geométrico de la integral C
|dz|?
3. Calcular:
sin πz
Z
4
dz
C z2 − 1
donde C es la circunferencia x2 + y 2 − 2x = 0.
4. Calcular:
eπz
Z
C (z 2 + 1)2
donde C es la elipse 4x2 + y 2 − 2y = 0.
5. Calcular las integrales

R ez dz
(a) C z+ πi
2
R cos z
(b) C z dz
R tan πz
(c) C (z−a)22 , donde a es real, −2 < a < 2.
(d) C sinh 2z
R
z4
donde C es el cuadrado formado por las rectas
x = ±2, y = ±2
Capı́tulo 3
Series de funciones analı́ticas
En este capı́tulo estudiaremos las series funcionales cuyos miembros son funciones de variable
compleja. El análisis de este tipo de series es de gran importancia, por cuanto nos revela más
nı́tidamente el comportamiento de las funciones de variable compleja y porque constituye un
aparato útil en los problemas que requieren el uso de la teorı́a de funciones de variable compleja.
3.1 Conceptos fundamentales
3.1.1 Series numéricas
Comenzaremos extendiendo nuestros conceptos de series numéricas al campo de los números

complejos.
Sea {zn } una sucesión de números complejos y establezcamos el concepto de serie de números
complejos:
∞
X
S= zn (3.1)
n=1
Analicemos lo que recibe el nombre de suma parcial (suma de los primeros N términos):
N
X
SN = zn (3.2)
n=1
Decimos que la serie de números complejos (3.1) es convergente si la sucesión {SN } de sumas
parciales (3.2) converge cuando N → ∞. El lı́mite de la sucesión de sumas parciales recibe el
nombre de suma de la serie (3.1). A la serie
85
∞
X
rN = zn (3.3)
n=N +1
comúnmente se le da el nombre de resto de la serie (3.1) y se puede comprobar que si la serie

(3.1) converge, entonces para cualquier ε > 0 puede hallarse un número K > 0 tal que para
todo N ≥ K se cumple que |rN | < ε.
En virtud de la teorı́a desarrollada en el epı́grafe 2.2 del capı́tulo 2 para las sucesiones de
números complejos no es difı́cil comprobar que se cumple el criterio de Cauchy. Es decir, que la
condición necesaria y suficiente para que la serie (3.1) sea convergente es que para todo ε > 0
pueda encontrarse un K > 0 tal que siempre que N ≥ K y M ≥ K se cumpla que

XM
zn < ε (3.4)

n=N
De lo anterior se puede concluir que para que la serie (3.1) converja es necesario que
lim zn = 0
n→∞
En efecto, por el criterio de Cauchy, si la serie (3.1), para todo ε > 0 se puede hallar un número
K > 0 tal que siempre que n ≥ K se cumple que
|zn+1 | = |Sn+1 − Sn | < ε
Si la serie de miembros reales y positivos
∞
X
|zn | (3.5)
n=1
converge, evidentemente convergirá también la serie (3.1), la que en este caso se dice que es
convergente absolutamente.
Uno de los métodos más usados para investigar la convergencia de una serie con miembros
complejos es analizar la serie formada por los módulos de los miembros de la serie que se
quiere investigar; se puede utilizar por ello los criterios suficientes de convergencia de series con
miembros positivos, como son el criterio de D’Alembert, según el cual la serie (3.5) converge si
a partir de cierto número N > 0 se cumple que

zn+1
zn ≤ l < 1

Series de funciones analı́ticas 87
para toda n ≥ N , o el criterio de la raı́z enésima de Cauchy, según el cual la serie (3.5) converge
si a partir de cierta N > 0 se cumple que
p
n
|zn | ≤ q < 1
para toda n ≥ N .
3.1.2 Series funcionales
Supongamos en el dominio D una sucesión de funciones univaluadas de variable compleja

{fn (z)} definidas en dicho dominio D. A la expresión del tipo:
∞
X
S(z) = fn (z) (3.6)
n=1
se le llama serie funcional. Es evidente que, si fijamos un punto z0 ∈ D, la serie (3.6) se

transforma en una serie numérica. Si la serie (3.6) converge en cada punto de D, entonces se
dice que ella es convergente en todo el dominio.
Analicemos la suma parcial de la serie funcional (3.6):
N
X
SN (z) = fn (z) (3.7)
n=1
Si para N → ∞ la sucesión {SN (z)} de sumas parciales converge, entonces la serie (3.6) es
convergente. El lı́mite de la sucesión de sumas parciales (3.7) recibe el nombre de suma de la
serie (3.6).
En virtud de la definición dada la suma de la serie funcional S(z) es una función univaluada en
el dominio D. Basándonos en la definición de convergencia de las series numéricas ya conocida
podemos decir, pues, que la serie (3.6) es convergente en el punto prefijado z ∈ D si, para
cualquier ε > 0 puede hallarse un número K > 0, en general dependiente de ε y del punto z
donde se analiza la convergencia, tal que para todo N ≥ K(ε, z) se cumple que

XN
S(z) − fn (z) < ε (3.8)

n=1

Destacamos que en esta definición el número K depende en general de ε y del punto z donde
se analiza la convergencia. Por esa causa, la convergencia definida se conoce con el nombre de
convergencia puntual.
Al igual que para las funciones de variable real, en la teorı́a de series de funciones de variable
compleja juega un papel fundamental el concepto de convergencia uniforme. Por ejemplo, de
cualquier curso de Análisis Matemático se sabe que una serie convergente puntualmente (según
la definición (3.8)) de funciones continuas no siempre tiene como suma una función continua;
sin embargo, una serie convergente uniformemente de funciones continuas siempre tiene como
suma una función continua.
Las series convergentes uniformemente de funciones de variable compleja gozan de un conjunto

de propiedades importantes a cuyo estudio nos dedicaremos de inmediato.
Si para cualquier número ε > 0 puede hallarse un número K(ε) > 0 tal que para toda N ≥ K(ε)
la desigualdad (3.8) se cumple a la vez para todo punto z ∈ D, entonces la serie (3.6) se llama
convergente uniformemente en el dominio D .
Obsérvese que el número K que se logra encontrar depende solamente del número ε y es el
mismo para todo z ∈ D y, por lo tanto, común para todo z ∈ D.
Tiene lugar el Criterio de Cauchy:
Teorema 20
Para que la serie (3.6) converja uniformemente en el dominio D es necesario y suficiente que
para cualquier ε > 0 se pueda hallar un número K(ε) > 0 tal que para todos los números
N ≥ K y M ≥ K se cumpla que

XM
fn (z) < ε (3.9)

n=N
Demostración:
Necesidad:
En virtud de la convergencia uniforme de la serie (3.6) se cumple que para todo ε > 0 puede
hallarse un número K(ε) > 0 tal que en todos los puntos z del dominio D tienen lugar la
desigualdades
M
N

X ε X ε
S(z) − fn (z) < ; S(z) − fn (z) < (3.10)

2 2
n=1 n=1
siempre que N ≥ K(ε) y M ≥ K(ε). De (3.10) se deduce (3.9).
Suficiencia:
De la expresión (3.9) y por el criterio de Cauchy para las sucesiones de números complejos,
estudiado en el capı́tulo 2, se deduce que para cualquier z ∈ D fija la sucesión {SN (z)} es
convergente. Por consiguiente, al cumplirse (3.9), la serie (3.6) converge en el dominio D a
cierta función.
S(z) = lim SM (z)

M →∞
pero, de (3.9)

XM XM XN
lim fn (z) = lim fn (z) − fn (z) =

M →∞ M →∞ n=1
n=1
n=N N
N

X X
= lim SM (z) − fn (z) = S(z) − fn (z) < ε

M →∞
n=1 n=1
para toda N ≥ K(ε) en todos los puntos z ∈ D a la vez, lo que demuestra la convergencia
uniforme de la serie (3.6) en el dominio D.
En la aplicación práctica tiene lugar el siguiente criterio suficiente de convergencia uniforme,

conocido con el nombre de Criterio de Weierstrass:
Teorema 21
Si en todo el dominio D los miembros de la serie funcional (3.6) pueden ser mayorados por
miembros de una serie numérica convergente absolutamente, entonces la serie (3.6) converge
uniformemente en el dominio D.
Demostración:
Por hipótesis se cumple uniformemente para toda z ∈ D la siguiente relación:
|fn (z)| ≤ |zn | (3.11)
Como la serie
∞
X
|zn |
n=1
por hipótesis converge, para todo ε > 0 puede hallarse una N > 0 tal que
∞
X
|zn | < ε
n=k+1
para toda k ≥ N .
Pero, en virtud de (3.11) en el dominio D tiene lugar la desigualdad
∞ ∞ ∞
X X X
fn (z) ≤ |fn (z)| ≤ |zn | < ε

n=k+1 n=k+1 n=k+1
para k ≥ N , lo que demuestra la convergencia uniforme de la serie (3.6) en el dominio D.
3.2 Propiedades de las series convergentes

uniformemente
Veamos las propiedades fundamentales de las series convergentes uniformemente
Teorema 22
Si las funciones fn (z) son continuas en el dominio D y la serie
∞
X
fn (z)
n=1
converge uniformemente a la función F (z), entonces F (z) es también continua en D.
Demostración:
Analicemos la expresión |F (z + ∆z) − F (z)|, donde los puntos z y z + ∆z pertenecen al dominio

D.
En virtud de la convergencia uniforme de la serie
∞
X
fn (z)
n=1
para cualquier ε > 0 puede hallarse una N (ε) > 0 tal que se cumplen a la vez las relaciones
N N
X ε X ε
|F (z + ∆z) − fn (z + ∆z)| < ; |F (z) − fn (z)| < (3.12)
n=1
3 n=1
3
para cualesquiera puntos z y z + ∆z contenidos en el dominio D.

Por otro lado, en virtud de la continuidad de las funciones fn (z), para cualquier punto z ∈ D,
para el número ε > 0 escogido y el número N hallado, puede encontrarse una δ > 0 tal que

X N XN ε
fn (z + ∆z) − fn (z) < (3.13)

3

n=1 n=1
siempre que |∆z| < δ. De (3.12) y (3.13) y en virtud de que el módulo de la suma no es mayor
que la suma de los módulos, concluimos que para el ε > 0 puede hallarse una δ > 0 tal que si
|∆z| < δ se cumple que
|F (z + ∆z) − F (z)| < ε
Teorema 23
Si la serie (3.6) de funciones continuas fn (z) converge uniformemente en el dominio D a la

función F (z), entonces la integral de esta función por cualquier curva seccionalmente continua
C contenida totalmente en D puede hallarse integrando término a término la serie (3.6); es
decir:
Z ∞ Z
X
F (z)dz = fn (z)dz (3.14)
C n=1 C
Demostración:
Puesto que la serie (3.6) converge uniformemente para todos los puntos z ∈ D, para cualquier
ε > 0 se puede hallar un número K(ε) > 0 tal que se cumple

∞
X ε
fn (z) < (3.15)

L

n=N +1
para N ≥ K, donde L es la longitud de la curva C.
Entonces
Z Z Z
N Z
X ∞
X ∞
X
F (z)dz − fn (z)dz = fn (z)dz ≤ fn (z) |dz| < ε

C C C C
n=1 n=N +1 n=N +1
Las propiedades de las series de funciones de variable compleja convergentes uniformemente

expresadas por los teoremas 22 y 23 son análogas a las propiedades de las series convergentes
uniformemente de funciones continuas de variable real.
Veremos ahora una propiedad fundamental de las series convergentes uniformemente cuyos
términos son funciones analı́ticas.
Teorema 24 (Primer teorema de Weierstrass)
Sean las funciones fn (z) analı́ticas en el dominio D y sea la serie
∞
X
F (z) = fn (z)
n=1
convergente uniformemente en cualquier subdominio cerrado D̄1 del dominio D. Entonces:
1. La suma de la serie F (z) es una función analı́tica en el dominio D.
2. La serie puede ser derivada término a término:
∞
X
F 0 (z) = fn0 (z)
n=1
3. La serie formada por las derivadas de fn (z) converge uniformemente en cualquier subdo-
minio cerrado del dominio D.
Demostración:
1. Por hipótesis la serie
∞
X
F (z) = fn (z)
n=1
converge uniformemente y fn (z) son analı́ticas en D. Entonces, tomando un contorno C

arbitrario que rodee al punto z (Fig. 3.1), tendremos que
∞ ∞ Z
X X 1 fn (ζ)dζ
F (z) = fn (z) = =
n=1 n=1
2πi C ζ − z
Z P∞ Z
1 n=1 fn (ζ)dζ 1 F (ζ)dζ
= = (3.16)
2πi C ζ −z 2πi C ζ − z
En los cálculos arriba hemos tenido en cuenta el hecho de que como la serie converge
uniformemente, se pueden intercambiar los signos de integración y de sumatoria, ya que
Figura 3.1: Para la demostración del primer teorema de Weierstrass
por ser convergente uniformemente la serie, se puede integrar término a término. La

expresión (3.16) significa que, efectivamente, F (z) es analı́tica dentro del contorno C
y, como C es arbitrario, es analı́tica en el dominio D. Esto, además implica que en
el dominio D existe la derivada F 0 (z), ya que F (z) es analı́tica. Demostremos que esa
derivada puede ser obtenida derivando término a término la serie; es decir, demostremos
la segunda afirmación del teorema:
2. Como F (z) es analı́tica en D y como la serie converge uniformemente en D, por lo que se

pueden intercambiar la integración con la sumatoria, tendremos, en virtud de la fórmula
generalizada de Cauchy para el contorno C tomado anteriormente, que
Z Z P∞
0 1 F (ζ)dζ 1 n=1 fn (ζ)dζ
F (z) = 2
= =
2πi C (ζ − z) 2πi C (ζ − z)2
∞ Z ∞
X 1 fn (ζ)dζ X
= 2
= fn0 (z) (3.17)
n=1
2πi C (ζ − z) n=1
Lo que demuestra la segunda afirmación.

3. Demostremos que la serie de las derivadas converge uniformemente. Tomemos un subdo-

minio cerrado arbitrario D̄1 y envolvámoslo con un contorno arbitrario C contenido en D̄
(Fig. 3.2).
Figura 3.2: Para la demostración del primer teorema de Weierstrass
Denotemos por d a la distancia menor que hay entre el contorno C y la frontera del
dominio D̄1 y l a la longitud del contorno C. Analicemos la siguiente suma finita de
términos de la serie de las derivadas:

m m Z 1 Z Pm f (ζ)dζ
X
0
X 1 fn (ζ)dζ n=k n ≤
fn (z) = =

2πi (ζ − z)2 2πi (ζ − z) 2

n=k

n=k C C
Z
Z Pm m
1 | n=k fn (ζ)| |dζ| 1 X |dζ|
≤ ≤ max f (ζ) ≤

2 n
2π C |ζ − z| 2π C |ζ − z|2

n=k

X m l
≤ max fn (ζ) (3.18)

2πd2
n=k
El intercambio entre las integrales y la sumatoria es válido por el simple hecho de que
aquı́ estamos trabajando con sumas finitas. Como por hipótesis del teorema la serie
∞
X
fn (ζ)
n=1
converge uniformemente, para esta serie se cumple el criterio de Cauchy, es decir, para
un número ε > 0 escogido a priori arbitrariamente, siempre se puede hallar un número
N (ε) > 0 tal que k > N y m > N implican que
m
X
fn (ζ) < ε (3.19)

n=k
Sustituyendo (3.19) en (3.18) obtenemos

m
X l
fn0 (z) < ε (3.20)

2πd2

n=k
es decir, que la serie cumple el criterio de Cauchy por lo que converge uniformemente.
Corolario
Si la serie de funciones analı́ticas en el dominio D converge uniformemente en cualquier sub-

dominio cerrado del dominio D, entonces podemos derivarla término a término cuantas veces
queramos.
La demostración de este corolario es evidente a partir del hecho de que la derivada de una
función analı́tica es analı́tica.
Es necesario destacar que la demostración efectuada del punto 3 del teorema 24 nos permite
solamente garantizar la convergencia uniforme de la serie formada por las derivadas en cualquier
subdominio cerrado D̄1 del dominio D, inclusive cuando la serie
∞
X
fk (ζ)
k=1
converja uniformemente en todo el dominio cerrado D̄. Esto se debe a que en la expresión
(3.20) se puede garantizar que el miembro derecho es pequeño sólo si d es distinto de cero, lo
que significa que, efectivamente, el dominio D̄1 es un subdominio de D y no puede coincidir
con él, ya que de hacerlo, d → 0 y pese a la pequeñez de ε, la parte derecha en (3.20) se
hace inmensamente grande, no pudiéndose, por tanto, garantizar el cumplimiento del criterio
de Cauchy.
Por ejemplo, la serie

∞
X zn
n=1
n2
converge uniformemente en el cı́rculo cerrado |z| ≤ 1, mientras que derivando término a término
la serie derivada
∞
X z n−1
n=1
n
no converge en todo ese cı́rculo, sino sólo en un subdominio cualquiera de éste, ya que para
z = 1 la serie que se obtiene es la serie armónica que, como se sabe, diverge.
Por lo tanto, la tercera parte del teorema 24 no puede ser generalizada a todo el dominio.
En la demostración del teorema 24 supusimos la convergencia uniforme de la serie en cualquier

subdominio cerrado D̄1 del dominio de analiticidad. El teorema, con mayor razón, tendrá
validez también en el caso en que nuestra serie converja uniformemente en todo el dominio
cerrado D̄.
Como será demostrado en el siguiente teorema, esta última condición puede ser sustituida por
la convergencia uniforme de la serie en la frontera Γ del dominio D.
Teorema 25 (Segundo teorema de Weierstrass)
Si las funciones fn (z) son analı́ticas en el dominio D y continuas en D̄ = D ∪ Γ y si la

serie converge uniformemente en la frontera Γ del dominio D, entonces dicha serie converge
uniformemente en todo el dominio D̄.
Demostración:
Analicemos en D̄ la suma
m
X
fn (z)
n=k
y tomemos el máximo del módulo. Como es una suma finita de funciones analı́ticas, será
también una función analı́tica. Por consiguiente, podemos utilizar el principio del máximo del
módulo y escribir
m m
X X
max fn (z) = max fn (z) < ε (3.21)

n=k D̄ n=k Γ̄
La desigualdad en (3.21) se cumple para toda k ≥ N y m ≥ N gracias al criterio de Cauchy

para las series de funciones analı́ticas, ya que por hipótesis la serie converge uniformemente en
la frontera Γ.
Este teorema tiene importancia práctica, ya que en general es más fácil trabajar con las ecuacio-
nes de las curvas que constituyen la frontera del dominio, que con las inecuaciones que describen
los dominios, por lo que haciendo un análisis de la convergencia sobre la frontera del dominio
se puede determinar la convergencia de la serie en el dominio.
3.3 Series de potencias
3.3.1 Propiedades de las series de potencias
En los epı́grafes anteriores fueron analizadas las series funcionales del tipo (3.6). En ellas no se
especificaba la forma de las funciones fn (z). Un caso particular de extraordinaria importancia
se presenta en las funciones fn (z) = an (z−z0 )n , donde los coeficientes an son en general números
complejos arbitrarios y z0 es un punto fijo del plano complejo.
Ası́ se forman las llamadas series de potencias:
∞
X
an (z − z0 )n (3.22)
n=0
que comenzaremos a estudiar de inmediato.
Inicialmente se observa que los miembros de la serie (3.22) son funciones analı́ticas en todo el
plano complejo; es decir, enteras. Por lo tanto, para dicha serie son válidos todos los teoremas
estudiados en los dos epı́grafes anteriores.
Sin embargo, es necesario establecer con mayor precisión cuáles son las propiedades de este tipo
de serie. Para conocer con exactitud el comportamiento de las series del tipo (3.22) debemos
tratar de averiguar tres cuestiones fundamentales:
1. ¿Qué podemos decir sobre el dominio de convergencia de esta serie?
2. ¿Qué podemos decir sobre el carácter de dicha convergencia?
3. ¿Qué podemos decir sobre las propiedades de dicha convergencia?
Para responder a estas tres preguntas formuladas y conocer, por lo tanto, las caracterı́sticas de
las series de potencias, viene en nuestra ayuda un teorema fundamental:
Teorema 26 (Teorema de Abel)

Si la serie de potencias (3.22) converge en el punto z1 , entonces dicha serie converge absolu-
tamente en cualquier punto z tal que |z − z0 | < |z1 − z0 | y converge uniformemente para los
puntos z tales que |z − z0 | < ρ|z1 − z0 |, donde 0 < ρ < 1.
Si la serie (3.22) diverge en el punto z2 , entonces diverge también en todos los puntos z que
cumplan que |z − z0 | > |z2 − z0 |.
Demostración:
Por hipótesis la serie (3.22) converge en el punto z1 . Tenemos que demostrar su convergencia
en cualquier punto contenido en el cı́rculo con centro en z0 y radio |z1 − z0 | (Fig. 3.3).
Figura 3.3: Para la demostración del teorema de Abel
Tenemos que
n
n
n z − z0
|an (z − z0 ) | = an (z1 − z0 )
(3.23)
z1 − z0
Como por hipótesis la serie converge en el punto z1 , los números an (z1 − z0 )n tienden a cero
cuando n → ∞, ya que esa es una condición necesaria de convergencia. Ello implica que la
sucesión {an (z1 − z0 )n } es acotada lo que nos permite escribir:
|an (z1 − z0 )n | < M (3.24)
Ası́ pues, de (3.23) y (3.24) obtenemos que
|an (z − z0 )n | < M q n (z) (3.25)
donde

z − z0
q(z) =
z1 − z0
y q(z) < 1 por hipótesis del teorema.
Es decir, hemos hallado un mayorante funcional de los miembros de nuestra serie y como dicho
mayorante converge absolutamente, por el criterio de comparación podemos afirmar que nuestra
serie converge absolutamente en cada punto z que esté en el interior del cı́rculo de radio |z1 −z0 |.
Ahora bien, si
|z − z0 | < ρ|z1 − z0 |
entonces
q(z) < ρ < 1
y por consiguiente
|an (z − z0 )n | < M ρn (3.26)
Es decir, en este caso el mayorante de nuestra serie es numérico, por lo que, por el criterio de
Weierstrass, nuestra serie converge uniformemente.
Demostremos ahora la tercera afirmación del teorema. Por hipótesis, la serie (3.22) diverge en
el punto z2 y queremos demostrar que diverge en todos los puntos tales que |z − z0 | > |z2 − z0 |.
Supongamos lo contrario, es decir, que la serie converge en el punto z. Como |z2 − z0 | < |z − z0 |,
en virtud de lo demostrado en las dos primeras partes del teorema, la serie debe convergir en
el punto z2 , lo que contradice la hipótesis de que en z2 diverge. Por lo tanto, la serie tiene que
ser divergente en z.
Una vez demostrado el teorema de Abel podemos hacer el siguiente análisis: veamos la serie
(3.22) y tracemos un rayo que parta del punto z0 hacia el infinito (Fig. 3.4).
Figura 3.4: Para la demostración del teorema de Abel
Evidentemente, en el punto z0 la serie converge, ya que todos los sumandos son iguales a cero,
excepto el término a0 que, en general, no es cero, pero es acotado.
Para los puntos z 6= z0 son posibles las siguientes alternativas:
1. Que en ningún punto del rayo, exceptuando el punto z0 , la serie converja.

En ese caso la serie es divergente en todo el plano complejo excepto el punto z0 . Por
ejemplo, la serie
∞
X
n!z n
n=0
diverge en todo el plano complejo excepto en el punto z0 = 0, lo que puede verificarse

usando el criterio de D’Alembert.
2. Que la serie converja en todos los puntos del rayo.

Entonces la serie será convergente en todo el plano complejo. Por ejemplo la serie
∞
X 1 n
z
n=0
n!
3. Que en el rayo existan dos tipos de puntos: unos donde la serie converja y otros donde
diverja.
Entonces el teorema de Abel nos garantiza que todos los puntos de convergencia se en-
cuentran rigurosamente separados de los puntos de divergencia.
Llamemos
R= sup |z − z0 | = inf |z − z0 | (3.27)

donde converge donde diverge
Entonces queda definido un cı́rculo con centro en el punto z0 y radio R (Fig. 3.5) que recibe el
nombre de cı́rculo de convergencia de dicha serie.
c En todos los puntos interiores del cı́rculo de convergencia la serie de potencias (3.22) es
convergente y es divergente fuera de dicho cı́rculo. En la circunferencia frontera del cı́rculo de
convergencia existen puntos de convergencia y puntos de divergencia de la serie por la propia
definición de radio de convergencia. En cualquier subdominio circular cerrado centrado en z0
del cı́rculo de convergencia la serie (3.22) converge uniformemente.
En virtud del teorema 24 de este capı́tulo podemos afirmar que dentro del cı́rculo de convergen-
cia la serie (3.22) converge a una función analı́tica f (z), ya que las funciones fn (z) = an (z −z0 )n ,
como vimos, son analı́ticas en todo el plano complejo. Además, en virtud de la teorı́a desarrolla-
da en el epı́grafe 2 de este capı́tulo, podemos asegurar que dentro del cı́rculo de convergencia la
serie (3.22) puede ser derivada e integrada cuantas veces se desee y que el radio de convergencia
de las series obtenidas es igual al radio de convergencia de la serie inicial.
Puede comprobarse que los coeficientes an de la serie (3.22) vienen expresados a través de los
valores de la función suma de la serie y de sus derivadas evaluados en el centro del cı́rculo de
convergencia, por la fórmula
f (n) (z0 )
an = (3.28)
n!
P∞
donde f (z) = n=0 an (z − z0 )n es la suma de la serie.
Efectivamente, haciendo z = z0 en la expresión de la suma de la serie obtenemos f (z0 ) = a0 ;

derivando una vez miembro a miembro obtenemos que
∞
X
f 0 (z) = an n(z − z0 )n−1
n=1
de donde, evaluando para z = z0 , nos queda f 0 (z0 ) = a1 . Análogamente, para la expresión de

la derivada de orden k:
∞
X
(k)
f (z) = an n(n − 1)...(n − k + 1)(z − z0 )n−k
n=k
Evaluando para z = z0 obtenemos:
f (k) (z0 ) = ak k!
El radio de convergencia R de una serie de potencias, definido mediante la relación (3.27), puede
expresarse en función de los coeficientes del desarrollo por la fórmula de Cauchy-Hadamard:
1 ¯ n |an |
p
= lim (3.29)
R n→∞
p
donde la parte derecha representa el lı́mite superior de la sucesión { n |an |}, es decir, el punto
lı́mite mayor de esa sucesión.
Demostremos la fórmula (3.29). Sea l = R1 . Tenemos que demostrar que en cualquier punto
z = z1 que cumpla la relación |z1 − z0 | < 1l la serie converge y que en cualquier punto z = z2
que satisfaga la condición |z2 − z0 | > 1l diverge.
p
Como l es el lı́mite superior de la sucesión { n |an |}, para cualquier ε > 0 puede encontrarse un
número N > 0 tal que para todo k ≥ N se cumple que
p
k
|ak | < l + ε
p
Por otro lado, para ese mismo ε existe un número infinito de miembros de la sucesión { n |an |}
mayores que l − ε. Tomemos un punto arbitrario z = z1 que satisfaga la relación l|z1 − z0 | < 1
y escojamos por ε al número
1 − l|z1 − z0 |
>0
2l|z1 − z0 |
Entonces
p
n 1 + l|z1 − z0 |
|an ||z1 − z0 | < (l + ε)|z1 − z0 | = =q<1
2
Esto significa que la serie
∞
X
an (z1 − z0 )n
n=0
P∞
está mayorada por la progresión geométrica n=0 q n convergente, pues q < 1. Ası́ pues, queda
demostrada la convergencia en el punto z1 .
Tomando ahora un punto z = z2 que satisfaga la relación l|z2 − z0 | > 1 y escogiendo por ε al
número l|z2 −z2 0 |−1 > 0 obtenemos que
p
n
|an ||z2 − z0 | > (l − ε)|z2 − z0 | = 1
para el conjunto infinito de valores de n.
De aquı́
|an (z2 − z0 )n | > 1
lo que en virtud del criterio necesario de convergencia significa que nuestra serie de potencias
∞
X
an (z2 − z0 )n
n=0
diverge.
Ası́ pues, queda demostrada la validez de la fórmula (3.29) para el radio de convergencia.
Por ejemplo, la serie
∞
X
(z − z0 )n
n=0
cuyos coeficientes an son todos iguales a 1, tiene como radio de convergencia la expresión
1
R=
l
donde
p
n
√
n
l = lim |an | = lim 1=1
n→∞ n→∞
Es decir, R = 1, o sea, que nuestra serie converge en el cı́rculo |z − z0 | < 1 a cierta función
analı́tica. Para hallar dicha función utilicemos la definición de suma como lı́mite de sumas
parciales:
1 − (z − z0 )n 1
f (z) = lim Sn (z) = lim = (3.30)
n→∞ n→∞ 1 − (z − z0 ) 1 − (z − z0 )
En la expresión (3.30) hemos utilizado el hecho de que en el dominio de los números complejos
es válida la fórmula de la suma de la progresión geométrica con un número finito de miembros y
que es posible hacer el paso al lı́mite cuando el número de miembros en la progresión geométrica
crece indefinidamente.
Resumamos todo este análisis efectuado contestando a las tres preguntas que nos habı́amos
formulado al inicio del epı́grafe:
1. El dominio de convergencia de la serie de potencias es un cı́rculo de radio R dado por la

fórmula (3.29); R puede tener cualquier magnitud, es decir, 0 ≤ R ≤ ∞.
2. En dicho dominio la convergencia es absoluta en todo el cı́rculo y uniforme en cualquier

subdominio circular cerrado de dicho cı́rculo.
3. Las propiedades de dicha convergencia son:
(a) La suma de la serie es una función analı́tica en el cı́rculo de convergencia.

(b) La serie puede ser derivada e integrada término a término cuantas veces se desee.
El radio de convergencia de las nuevas series ası́ obtenidas será el mismo radio de
convergencia de la serie inicial.
3.3.2 Desarrollo de una función analı́tica en serie de potencias
Hemos visto que una serie de potencias en su cı́rculo de convergencia define a una función
analı́tica en dicho cı́rculo. Es lógico plantearnos el problema recı́proco: Dada una función
analı́tica en un cı́rculo, ¿es posible ponerle en correspondencia una serie de potencias conver-
gente uniformemente a ella en dicho cı́rculo? Esta pregunta en la teorı́a de funciones de variable
real tiene respuesta negativa. Sin embargo, en la teorı́a de funciones de variable compleja la
respuesta es afirmativa y la da el siguiente teorema:
Teorema 27 (Teorema de Taylor)
Si la función f (z) es analı́tica dentro de un cı́rculo con centro en el punto z0 , entonces ella
puede ser desarrollada dentro de dicho cı́rculo en una serie de potencias de (z − z0 ) convergente
absoluta y uniformemente a ella en dicho cı́rculo y ese desarrollo es único.
Demostración:
Tenemos un cı́rculo con centro en el punto z0 , donde la función f (z) es analı́tica. Escojamos
un punto z de dicho cı́rculo y tracemos una circunferencia C, de radio mayor que |z − z0 | y
centrada en el punto z0 , que esté contenida en el cı́rculo de analiticidad en cuestión (Fig. 3.6).
Figura 3.5: Para la demostración del teorema de Taylor
Como la función f (z) es analı́tica, podemos usar la fórmula integral de Cauchy y escribir
Z
1 f (ζ)dζ
f (z) = (3.31)
2πi C ζ −z
Transformemos la expresión bajo la integral en la fórmula (3.31); tenemos
∞ n X ∞
1 1 1 1 X z − z0 (z − z0 )n
= · = = (3.32)
ζ −z ζ − z0 1 − z−z
ζ−z0
0
ζ − z0 n=0 ζ − z0 n=0
(ζ − z0 )n+1
En la expresión anterior hemos utilizado la fórmula (3.30) teniendo en cuenta que


z − z0
ζ − z0 < 1

Para todo ζ ∈ C la serie (3.32) converge uniformemente con respecto a ζ, pues si llamamos r
al radio de la circunferencia C vemos que esta serie está mayorada por la serie numérica
∞
X |z − z0 |n
n=0
rn+1
que converge, pues |z − z0 | < r.
Sustituyendo (3.32) en (3.31) e integrando término a término, lo que puede hacerse por la
convergencia uniforme de la serie y el Teorema 23, obtenemos
∞ ∞
(z − z0 )n
Z X Z
1 X
n 1 f (ζ)dζ
f (z) = n+1
f (ζ)dζ = (z − z0 ) · (3.33)
2πi C n=0 (ζ − z0 ) n=0
2πi C (ζ − z0 )n+1
Como el punto z es escogido de manera arbitraria dentro del cı́rculo de analiticidad, hemos
obtenido que la función f (z) se desarrolla en la serie de potencias
∞
X
f (z) = an (z − z0 )n (3.34)
n=0
convergente, por construcción, uniformemente en el interior del cı́rculo de analiticidad de la

función, donde los coeficientes del desarrollo son números que vienen dados por la expresión
Z
1 f (ζ)dζ 1 (n)
an = ≡ f (z0 ) (3.35)
2πi C (ζ − z0 )n+1 n!
La igualdad del extremo derecho en la expresión (3.35) tiene lugar porque la función f (z) es
por hipótesis analı́tica en el entorno del punto z0 y por la fórmula generalizada de Cauchy para
la derivada de una función analı́tica. Esa derivada, por ser f (z) analı́tica, es única, por lo que
los coeficientes son únicos y, por tanto, el desarrollo es único.
La serie (3.34) de coeficientes (3.35) se conoce con el nombre de Serie de Taylor y al desarrollo
efectuado de la función f (z) analı́tica en el cı́rculo con centro en z0 se llama desarrollo de
Taylor.
Hagamos las siguientes observaciones:

1. Para cada punto z arbitrariamente escogido en el interior del cı́rculo de analiticidad de

f (z) es posible escoger una circunferencia C como la que usamos en la demostración del
teorema; por lo tanto se justifica la convergencia uniforme de la serie en todo el cı́rculo
en cuestión.
2. En virtud del Teorema de Cauchy, el contorno circular de integración C en la fórmula

(3.35) puede ser sustituido por cualquier contorno arbitrario que envuelva al punto z0 y
que esté contenido en el cı́rculo de analiticidad.
3. Anteriormente habı́amos llamado función entera a aquella función que era analı́tica en
todo el plano. Por el teorema 27 podemos dar una definición equivalente y decir que una
función entera es aquella que puede ser desarrollada en una serie de potencias de radio
de convergencia infinito.
4. Si el radio de convergencia de la serie es finito, la función se denomina holomorfa.
Apoyándonos en la teorı́a de funciones de variable compleja podemos contestar cuestiones sobre

las funciones de variable real que en la teorı́a de funciones de variable real no podı́an recibir
respuesta satisfactoria. Por ejemplo, supongamos que tenemos la función de variable real
1
f (x) =
1 + x2
cuyo gráfico viene dado por la figura 3.6.
Esta función puede ser derivada cuantas veces se quiera y es continua junto con sus derivadas de
cualquier orden; es decir, es un análogo de función analı́tica. Si desarrollamos esta función en
serie de Taylor en la variable real con centro en x0 = 0 y buscamos el intervalo de convergencia
de dicha serie, obtenemos que, a pesar de ser una función continua y derivable en todo el eje real,
la serie de potencias de esta función converge a ella solamente en el intervalo −1 < x < 1; fuera
de dicho intervalo la serie diverge. Sin embargo, para una función similar en sus propiedades
(Fig. 3.7):
2
F (x) = e−x
que es también continua y derivable con derivada continua de cualquier orden en todo el eje
real, su serie de potencias de Taylor con centro en x0 = 0 es convergente en todo el eje real. Si
nos preguntamos por qué ocurre que dos funciones que desde el punto de vista de sus propie-
dades diferenciales son muy similares tienen desarrollos en series de potencias convergentes en
intervalos tan diferentes, veremos que en la teorı́a de funciones de una variable real no existe
ningún elemento que permita responder a tal pregunta.
De lo anteriormente dicho vemos una diferencia fundamental entre la teorı́a de funciones de

variable compleja y la teorı́a de funciones de variable real: el teorema de Taylor para las fun-
ciones de variable compleja establece una correspondencia biunı́voca entre la función analı́tica
en el entorno de un punto y su serie de potencias con centro en dicho punto. Esto significa que
1
Figura 3.6: Función f (x) = 1+x2
existe una equivalencia entre la analiticidad de una función, como función derivable un número
infinito de veces en el entorno de un punto del plano complejo y la posibilidad de que dicha
función pueda ser desarrollada en una serie de potencias convergente absoluta y uniformemente
a ella en dicho entorno.
Inclusive, históricamente, al estudiar la derivación respecto a un argumento complejo D’Alem-

bert, Bernoulli, Euler y otros matemáticos llamaron meromorfas a las funciones que tenı́an
derivada respecto a z. Cauchy por su parte, denominó analı́tica a la función que podı́a ex-
presarse de manera analı́tica como una suma de potencias. Posteriormente se vió que ambos
conceptos eran equivalentes: allı́ donde la función es meromorfa (derivable) es analı́tica (de-
sarrollable en serie de potencias) y viceversa, allı́ donde la función es analı́tica (desarrollable
en serie de potencias) es meromorfa (derivable). En lo adelante por tanto se usará el término
función analı́tica para ambas por la equivalencia de ambas concepciones.
1 −x2
Del análisis hecho con las funciones de variable real f (x) = 1+x 2 y F (x) = e se ve que esa
equivalencia no tiene lugar para las funciones de variable real: la función puede ser derivable
en un dominio y su serie convergente en otro dominio distinto del primero. La incógnita de por
qué las funciones f (x) y F (x) de propiedades y caracterı́sticas diferenciales tan similares tienen
2
Figura 3.7: Función F (x) = e−x
desarrollos en series de potencias convergentes en intervalos tan disı́miles no tiene contestación

alguna en la teorı́a de funciones de variable real; sin embargo, con la ayuda de la teorı́a de
funciones de variable compleja puede recibir una respuesta satisfactoria.
En lugar de la función f (x) veamos la función de variable compleja
1
f (z) =
1 + z2
Es evidente que, con centro en z0 = 0, su cı́rculo de analiticidad es |z| < 1, ya que en los puntos
z = +i, z = −i esta función deja de ser analı́tica. Por consiguiente, su desarrollo en serie de
Taylor centrado en z0 = 0 puede ser efectuado solamente dentro de dicho cı́rculo con radio de
convergencia R = 1. De aquı́ que su caso particular, cuando
z = x + iy = x (y = 0)
tendrá el mismo radio de convergencia, es decir, la serie será convergente en el intervalo (−1, 1)
del eje real.
Por el contrario, aunque aún no hemos visto qué es ni cómo se comporta la función de variable
compleja
2
F (z) = e−z
más adelante veremos que es analı́tica en todo el plano complejo (entera), por lo que el radio
de convergencia de su serie será R = ∞. Por lo tanto, su caso particular para z = x será una
serie convergente para todo x real.
En general, si la función f (z) es analı́tica en cierto dominio D y z0 es un punto interno de este

dominio, entonces el radio de convergencia de la serie de Taylor de esta función con centro en
z0 no es menor que la distancia entre el punto z0 y la frontera del dominio D.
Esto último podemos observarlo en el ejemplo expuesto arriba. La función
1
f (z) =
1 + z2
puede ser desarrollada en serie con centro en z0 = 0:
∞
X ∞
X
n
an z ≡ z 2n
n=0 n=0
con radio de convergencia R = 1.
De la misma manera podemos decir que esta función puede ser desarrollada en serie con centro
en z0 = 2i :
∞ n
X i
an z−
n=0
2
con radio de convergencia R = 12 , ya que con centro en 2i siempre podemos hallar un cı́rculo
dentro del que se cumplan los requisitos del teorema de Taylor y cuyo radio máximo posible es
1
2
. Se deja al lector hallar los coeficientes de este desarrollo a modo de ejercicio.
Sin embargo, la función
1
f (z) =
1 + z2
no puede ser desarrollada en serie de Taylor con centro en el punto z0 = i:

∞
X
an (z − i)n
n=0
pues es imposible hallar un cı́rculo centrado en z0 = i dentro del que la función sea analı́tica,
ya que en el mismo centro de ese cı́rculo deja de serlo.
En la teorı́a de funciones de variable compleja esta situación no debe inquietarnos; aunque en

la teorı́a de funciones de variable real ello pudiera ser un obstáculo insalvable, en la teorı́a de
funciones de variable compleja existen otras series más generales en las que pueden desarrollarse
las funciones de variable compleja y que pasaremos a estudiar de inmediato.
3.4 Series de Laurent
3.4.1 Propiedades de las series de Laurent
Llamaremos serie de Laurent a la serie de potencia del tipo
∞
X
f (z) = an (z − z0 )n (3.36)
n=−∞
Para un punto z0 fijo del plano complejo y los coeficientes an dados, debemos investigar cuál
es el dominio de convergencia de la serie (3.36), cómo es el carácter de dicha convergencia y
cuáles son las propiedades de la función suma de la serie (3.36) en el dominio de convergencia.
Con el fin de investigar estas cuestiones escribamos la serie de Laurent (3.36) en la forma
siguiente:
−1
X ∞
X
n
f (z) = an (z − z0 ) + an (z − z0 )n (3.37)
n=−∞ n=0
El primer sumando en la expresión (3.37) recibe el nombre de parte principal de la serie

de Laurent, en tanto que el segundo sumando se denomina parte regular de dicha serie. El
por qué reciben estos nombres se comprenderá más adelante; ahora trataremos de analizar el
comportamiento y las propiedades de nuestra serie.
La parte regular de la serie de Laurent, como se ve, es una serie de potencias positivas del tipo
de las estudiadas por nosotros en el epı́grafe anterior, por lo que se puede asegurar de inmediato,
en virtud de la teorı́a allı́ desarrollada que esta parte regular tiene un radio de convergencia
R que define un cı́rculo dentro del cual la serie converge uniformemente y su suma es dentro
de dicho cı́rculo una función analı́tica y se puede integrar y derivar término a término cuantas
veces se desee. Precisamente por eso es que esta parte se llama parte regular de la serie: su
suma es una función analı́tica en el entorno del punto z0 .
Para analizar la parte principal de la serie (3.36) hagamos el siguiente cambio de ı́ndice de
sumatoria: n = −m. Entonces para la parte principal tendremos
−1 ∞ ∞ ∞
X
n
X
−m
X 1 X
an (z − z0 ) = a−m (z − z0 ) = a−m m
= a−m ζ m (3.38)
n=−∞ m=1 m=1
(z − z0 ) m=1
donde
1
ζ=
z − z0
Esto no es más que una serie de potencias del tipo de las estudiadas en el epı́grafe 4.3 con
respecto a la variable ζ. Por eso, podemos asegurar que la expresión (3.38) será convergente en
el interior de un cı́rculo con centro en ζ = 0 y radio R1 , es decir, será convergente en el interior
del cı́rculo |ζ| < R1 .
Volviendo a la variable inicial, obtenemos que
1
< R1
|z − z0 |
es decir,
1
|z − z0 | > ≡r
R1
1
donde r = R1
.
Es decir, que la parte principal de la serie de Laurent (3.36) resulta convergente para valores
de z fuera del cı́rculo de radio r y centro en z0 .
Ası́ pues, la parte regular de la serie de Laurent converge dentro del cı́rculo con radio R y
la parte principal converge fuera del cı́rculo con radio r; ambos cı́rculos son concéntricos, con
centro en el punto z0 .
Por consiguiente, la serie completa, es decir, la serie de Laurent, será convergente en el dominio
formado por la intersección de ambos dominios de convergencia: el interior del cı́rculo de radio
R, |z − z0 | < R y el exterior del cı́rculo de radio r, |z − z0 | > r, ya que en dicha intersección
convergirá a la vez la parte principal y la parte regular de la serie, por lo que convergirá la serie
completa (Fig. 3.8).
Es evidente que existen dos posibilidades:

Figura 3.8: Anillo de convergencia de la serie de Laurent
1. Que sea R < r. En este caso, donde converge la parte principal diverge la regular y
viceversa, por lo que la serie (3.36) carece de sentido.
2. Que sea R > r. Entonces, la parte principal y la parte regular (y por lo tanto la serie
(3.36)) convergirán a la vez en el anillo con centro en z0 : r < |z − z0 | < R y se tendrá,
en virtud del teorema de Abel 26, que en cualquier subdominio anular del anillo de
convergencia de la serie (3.36) convergirá uniformemente.
Ası́ pues, las caracterı́sticas de la serie (3.36) pueden resumirse como sigue:
1. El dominio de convergencia es un anillo con centro en el punto z0 .
2. La serie de Laurent (3.36) converge absolutamente en este anillo y uniformemente en

cualquier subdominio anular de dicho anillo.
3. La suma de la serie de Laurent es una función analı́tica en el anillo de convergencia y en

él puede derivarse e integrarse bajo el signo de sumatoria cuantas veces se desee.
3.4.2 Desarrollo de una función analı́tica en serie de Laurent
En la discusión efectuada en el punto anterior concluimos que la serie de Laurent (3.36) con-
vergı́a en un anillo circular con centro en el punto z0 y que la suma de dicha serie era una
función analı́tica en dicho anillo. El comportamiento de la función suma de la serie en el punto
z0 no ha quedado establecido en nuestro análisis: la función suma en el entorno del punto z0
por consiguiente, puede dejar de ser analı́tica.
Esta caracterı́stica que presenta la función suma de la serie de Laurent nos permite suponer
que una función que no sea analı́tica en el entorno de determinado punto z0 del plano complejo,
pero para la cual exista un anillo centrado en z0 dentro del que la función sea analı́tica, pueda
expresarse en términos de una serie de Laurent convergente absoluta y uniformemente a ella
en dicho anillo. Esta propiedad queda establecida rigurosamente por el siguiente teorema.
Teorema 28 (Teorema de Laurent)
Si la función f (z) es analı́tica en un anillo circular con centro en el punto z0 , entonces ella puede
ser desarrollada en dicho anillo en una serie de Laurent convergente absoluta y uniformemente
a ella en el anillo y ese desarrollo es único.
Demostración:
Tomemos el anillo con centro en z0 , donde por hipótesis la función f (z) es analı́tica. Fijemos
un punto z del anillo y tracemos dos circunferencias C1 y C2 dentro del anillo con centro ambas
en z0 y radios respectivamente r1 y r2 tales que (Fig. 3.9)
r < r1 < |z − z0 | < r2 < R
Para el subdominio anular de frontera Γ = C1 ∪ C2 tiene lugar la fórmula integral de Cauchy

escrita para el dominio biconexo:
Z Z Z
1 f (ζ)dζ 1 f (ζ)dζ 1 f (ζ)dζ
f (z) = = + =
2πi Γ ζ −z 2πi C2+ ζ − z 2πi C1− ζ − z
Z Z
1 f (ζ)dζ 1 f (ζ)dζ
= − ≡ f2 (z) + f1 (z) (3.39)
2πi C2 ζ − z
+ 2πi C1 ζ − z
+
Analicemos las funciones f1 (z) y f2 (z) por separado.
Como la función f2 (z) está dada por una integral por el contorno C2 , tenemos que

z − z0 |z − z0 |
ζ − z0 = <1

r2
Por lo tanto
Figura 3.9: Para la demostración del teorema de Laurent
∞ n X ∞
1 1 1 1 X z − z0 (z − z0 )n
= · = = (3.40)
ζ −z ζ − z0 1 − z−z
ζ−z0
0
ζ − z0 n=0 ζ − z0 n=0
(ζ − z0 )n+1
Sustituyendo la expresión (3.40) en la que define a f2 (z) obtenemos
∞
X
f2 (z) = an (z − z0 )n (3.41)
n=0
donde
Z
1 f (ζ)dζ
an = , n≥0 (3.42)
2πi C2 (ζ − z0 )n+1
Es importante señalar que la expresión (3.42) no puede identificarse, como se hizo en el teorema
27, con la derivada de orden n de f (z) evaluada en el punto z0 , pues la hipótesis del teorema
garantiza la analiticidad de la función f (z) solamente en el anillo centrado en z0 y nada se

afirma respecto a las propiedades de esa función en el propio punto z0 .
Para la función f1 (z), como se integra por C1 , tendremos que

ζ − z0 r1
z − z0 = |z − z0 | < 1

por lo que podemos escribir
∞ m
1 1 1 1 X ζ − z0
= · ζ−z0
== − =
ζ −z z − z0 1 − z−z z − z0 m=0 z − z0
0
∞ −∞
X (ζ − z0 )m X (z − z0 )n
=− = − (3.43)
m=0
(z − z0 )m+1 n=−1
(ζ − z0 )n+1
donde hemos realizado el cambio de ı́ndice de sumatoria m + 1 = −n.
Sustituyendo (3.43) en la expresión que define a f1 (z) obtenemos
−∞
" # −1
(z − z0 )n
Z
1 X X
f1 (z) = − f (ζ) − n+1
dζ = an (z − z0 )n (3.44)
2πi C1 n=−1
(ζ − z0 ) n=−∞
donde
Z
1 f (ζ)dζ
an = , n ≤ −1 (3.45)
2πi C1 (ζ − z0 )n+1
Regresando a la expresión (3.39) obtenemos que
∞
X
f (z) = an (z − z0 )n (3.46)
n=−∞
por lo que el desarrollo en serie de Laurent queda demostrado. Los coeficientes del desarrollo,
an , que vienen dados por las fórmulas (3.42) y (3.45), según sea n ≥ 0 o n ≤ −1, en realidad
son los mismos, ya que en virtud del teorema de Cauchy
Z Z
f (ζ)dζ f (ζ)dζ
− =0
C2 (ζ − z0 )n+1 C1 (ζ − z0 )n+1
f (ζ)
ya que C1 y C2 forman la frontera del dominio biconexo donde la función (ζ−z 0)
n+1 es analı́tica.
Aún más, en virtud del mismo teorema de Cauchy, ambos contornos pueden ser deformados
como se desee dentro del dominio anular, sin que por ello el valor de la integral varı́e. De aquı́
que los coeficientes del desarrollo (3.46) vengan expresados para cualquier n positiva o negativa
por la fórmula única
Z
1 f (ζ)dζ
an = (3.47)
2πi C (ζ − z0 )n+1
donde el contorno de integración C es cualquier curva seccionalmente lisa contenida totalmente

en el anillo de analiticidad de f (z) y que rodee al punto z0 (Fig. 3.10).
Figura 3.10: Contorno de integración para el cálculo de los coeficientes de la serie de Laurent
Como aquı́ los coeficientes (3.47) no son la derivada de orden n de la función f (z) evaluada en
el punto z0 , aún tenemos que demostrar que el desarrollo (3.46) obtenido es único. Para ello,
supondremos que es posible otro desarrollo
∞
X
f (z) = bn (z − z0 )n (3.48)
n=−∞
y trataremos de demostrar que los coeficientes vienen expresados por la misma fórmula (3.47);
entonces, en virtud de la arbitrariedad del desarrollo(3.48) supuesto, quedará demostrada la
unicidad.
Tomemos un contorno arbitrario C dentro del anillo de analiticidad de f (z) como se ve en la

figura 3.10. Dividiendo (3.48)por (z − z0 )m+1 con m fijo arbitrario, tenemos
∞
f (z) X
m+1
= bn (z − z0 )n−m−1 (3.49)
(z − z0 ) n=−∞
Integrando por el contorno C la expresión (3.49) obtenemos
Z ∞ Z
f (z)dz X
m+1
= bn (z − z0 )n−m−1 dz (3.50)
C (z − z0 ) n=−∞ C
Para la integral debajo del signo de sumatoria tenemos
Z Z
n−m−1 dz
(z − z0 ) dz = = 2πi, ∀n = m (3.51)
C C z − z0
= 0, ∀n 6= m
La igualdad a cero cuando n 6= m se obtiene porque, si n ≥ m + 1, el integrando a la izquierda

en (3.51) es analı́tico (una potencia positiva de (z − z0 )) cuya integral es cero por el teorema
de Cauchy y si n < m, la integral a la izquierda en (3.51) es del tipo
Z
dz
≡0
C (z − z0 )k
pues k ≥ 2 y por la fórmula generalizada de Cauchy la integral serı́a igual a la derivada k − 1

de f = 1, es decir, cero.
Ası́ las cosas hemos obtenido que
Z
(z − z0 )n−m−1 dz = 2πiδnm (3.52)
C
donde δnm es el sı́mbolo de Croneker. Sustituyendo en (3.50) queda
Z ∞
f (z)dz X
= bn 2πiδnm ≡ bm · 2πi (3.53)
C (z − z0 )m+1 n=−∞
de donde se deduce que bm ≡ am , lo que demuestra la unicidad del desarrollo de f (z) en serie
de Laurent.
El teorema de Laurent acabado de demostrar permite sacar las siguientes conclusiones.
Si tenemos una función f (z) analı́tica en el plano complejo, con excepción -digamos- de los
puntos z0 , z1 , z2 y z3 = ∞, donde la función deja de ser anaı́tica (estos puntos, como veremos
después, se denominan puntos singulares y decimos que la función tiene una singularidad
en dichos puntos), entonces podemos hacer la siguiente construcción: rodeamos el punto z0 con
una pequeña circunferencia y trazamos otra circunferencia con centro en z0 y radio |z1 − z0 | y
obtenemos ası́ el anillo (1) (Fig. 3.11). En dicho anillo la función f (z) es analı́tica y cumple,
por lo tanto, los requisitos de teorema de Laurent, de manera que admite un desarrollo del
tipo (3.46) de coeficientes dados por (3.47), donde el contorno de integración será una curva
cerrada cualquiera contenida en el anillo (1) y que rodee al punto z0 . Este tipo de desarrollo en el
entorno de un solo punto como es el caso, ya que la circunferencia interior del anillo puede tener
un radio tan pequeño como se quiera, se conoce con el nombre de desarrollo en el entorno
del punto singular z0 . Por otro lado, En el anillo (2) (Fig. 3.11) de frontera formada por
las circunferencias de radios |z1 − z0 | y |z2 − z0 | de nuevo la función f (z) es analı́tica y de
nuevo se cumplen los requisitos del teorema de Laurent. Por lo tanto, la función f (z) tendrá un
desarrollo en potencias de (z − z0 ), pues el anillo está centrado en el punto z0 , también del tipo
(3.46) con coeficientes que vendrán dados también por la fórmula (3.47), aunque el contorno
de integración ahora será una curva cerrada que rodee al punto z0 , pero contenida en el anillo
|z1 − z0 | < |z − z0 | < |z2 − z0 |. La diferencia entre los contornos de integración en estos dos
casos, harán que en general los coeficientes an por ellos calculados sean distintos, por lo que los
desarrollos serán diferentes; ello es lógico, ya que ambos desarrollos expresan a la función f (z)
en dominios diferentes. El desarrollo en la región (2) no tiene un nombre especı́fico como en el
caso del desarrollo en la región (1).
Si suponemos una circunferencia de radio mayor que |z2 − z0 | tan grande como se quiera,
pues con módulo mayor que |z2 | en el caso que estamos analizando no existen más puntos de
singularidad de f (z) en el plano complejo, tendremos un ”anillo” (3) de radio interior |z2 − z0 |
y radio exterior tan cercano al infinito como se quiera donde también será factible un desarrollo
en la forma (3.46).
Usualmente, si z0 = 0, se dice que el desarrollo es en el entorno de cero. Ese desarrollo es en

potencias de z
∞
X
f (z) = an z n
n=−∞
Tomando como centro de los anillos el punto z0 = 0, el desarrollo en el ”anillo” más exterior,
equivalente a la región (3) de la figura 3.11, pero en la que el centro de los anillos es el origen de
las coordenadas, se acostumbra a llamar desarrollo en el entorno del infinito. Este argot
se justifica por el hecho de que, si hacemos el cambio de variables z = ζ1 , el punto z = 0 se
transforma en el punto ζ = ∞.
Figura 3.11: Diferentes anillos en los que puede realizarse el desarrollo en serie de Laurent
Si sucediera que la función f (z) fuese analı́tica en el entorno del punto z0 , pero no lo fuese en
los puntos z1 y z2 , entonces existirá un cı́rculo de radio |z1 − z0 | centrado en el punto z0 en el
que el desarrollo en potencias de (z − z0 ) será de Taylor, ya que en dicho cı́rculo se cumplen los
requisitos del teorema de Taylor.

Idioma

Teoría de Funciones de Variable Compleja - José Miguel Marín Antuña

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Teoría de Funciones de Variable Compleja - José Miguel Marín Antuña

Cargado por

Copyright:

Formatos disponibles

TEORÍA DE FUNCIONES DE

TEXTO DE LAS CARRERAS LICENCIATURA E

1 Funciones de variable compleja. Funciones analı́ticas 11

1.1 Números complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

1.1.1 Un poco de historia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12

1.1.3 Operaciones con números complejos . . . . . . . . . . . . . . . . . . . . . 14

1.1.4 Interpretación geométrica de los números complejos . . . . . . . . . . . . 16

1.1.5 Potencia y raı́z de un número complejo . . . . . . . . . . . . . . . . . . . 20

1.1.6 Esfera de los números complejos . . . . . . . . . . . . . . . . . . . . . . . 23

1.2 Sucesiones de números complejos . . . . . . . . . . . . . . . . . . . . . . . . . . 25

1.2.2 Criterio de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28

1.3 Funciones de variable compleja. Lı́mite y continuidad . . . . . . . . . . . . . . . 30

1.3.1 Conceptos fundamentales . . . . . . . . . . . . . . . . . . . . . . . . . . . 30

1.4 Derivación con respecto al argumento complejo.

1.4.1 Derivadas y diferenciales . . . . . . . . . . . . . . . . . . . . . . . . . . . 39

1.4.2 Condiciones de diferenciabilidad de una función . . . . . . . . . . . . . . 40

1.4.4 Funciones analı́ticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45

1.4.5 Funciones conjugadas armónicas . . . . . . . . . . . . . . . . . . . . . . . 46

1.5 Ejercicios del Capı́tulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47

2 Integración de funciones de variable compleja 51

2.1 Concepto de integral de funciones de variable compleja . . . . . . . . . . . . . . 51

2.2 Teorema de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54

2.2.1 Formulación inicial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54

2.2.2 Teorema de Goursat . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55

2.2.3 Corolario del Teorema de Cauchy . . . . . . . . . . . . . . . . . . . . . . 60

2.2.4 Generalización del Teorema de Cauchy . . . . . . . . . . . . . . . . . . . 60

2.3 Integral Indefinida. Fórmula de Newton-Leibnitz . . . . . . . . . . . . . . . . . . 63

2.4 Integrales que dependen analı́ticamente de un parámetro . . . . . . . . . . . . . 68

2.5 Fórmula Integral de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70

2.5.1 Obtención de la fórmula . . . . . . . . . . . . . . . . . . . . . . . . . . . 70

2.5.2 Consecuencias de la Fórmula Integral de Cauchy . . . . . . . . . . . . . . 74

2.6 Ejercicios del Capı́tulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83

3 Series de funciones analı́ticas 85

3.1 Conceptos fundamentales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85

3.1.1 Series numéricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85

3.1.2 Series funcionales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87

3.2 Propiedades de las series convergentes

3.3 Series de potencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97

3.3.1 Propiedades de las series de potencias . . . . . . . . . . . . . . . . . . . . 97

3.3.2 Desarrollo de una función analı́tica en serie de potencias . . . . . . . . . 104

3.4 Series de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111

3.4.1 Propiedades de las series de Laurent . . . . . . . . . . . . . . . . . . . . 111

3.4.2 Desarrollo de una función analı́tica en serie de Laurent . . . . . . . . . . 114

3.5 Puntos singulares de las funciones analı́ticas . . . . . . . . . . . . . . . . . . . . 124

3.5.1 Clasificación de los puntos singulares . . . . . . . . . . . . . . . . . . . . 124

3.5.2 Conducta de las funciones analı́ticas en el entorno de sus puntos singulares

3.5.3 Clasificación de las singularidades en el entorno del infinito . . . . . . . . 136

3.6 Ejercicios del Capı́tulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 140

4 Prolongación analı́tica. Funciones elementales de variable compleja 143

4.1 Prolongación analı́tica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143

4.1.1 Teorema de unicidad de las funciones analı́ticas . . . . . . . . . . . . . . 143

4.1.2 Prolongación analı́tica. Concepto de superficie de Riemann . . . . . . . . 147

4.1.3 Prolongación analı́tica a través de la frontera . . . . . . . . . . . . . . . . 151

4.1.4 Prolongación analı́tica por medio de series de potencias . . . . . . . . . . 154

4.1.5 Concepto de función analı́tica completa . . . . . . . . . . . . . . . . . . . 159

4.2 Funciones elementales de variable compleja . . . . . . . . . . . . . . . . . . . . . 160

4.2.1 Función exponencial. Funciones trigonométricas . . . . . . . . . . . . . . 161

4.2.2 Función logaritmo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 168

4.2.3 Funciones trigonométricas inversas . . . . . . . . . . . . . . . . . . . . . 176

4.2.4 Función potencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 178

4.3 Ejercicios del Capı́tulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 184

5 Teorı́a de residuos y sus aplicaciones 187