Professional Documents
Culture Documents
El estudio del análisis de variable compleja es uno de las más fascinantes y exitosas áreas de
las matemáticas. Sus resultados permiten demostrar teoremas importantes y proporcionan los
fundamentos para varios conceptos útiles en otras áreas de esta ciencia. Muchas de las técnicas
matemáticas más eficaces aplicadas en ingeniería y en otras disciplinas se sustentan en la teoría de
variable compleja. Por su extensa aplicabilidad, la combinación de conceptos geométricos y
analíticos, y la sencillez de muchos resultados, el análisis complejo proporciona una excelente
introducción a las matemáticas modernas y aplicadas.
2.4 Integración
2.4 Residuos 55
1 Números Complejos PROPÓSITOS: ESTUDIANDO
ESTE CAPÍTULO SERÁS
CAPAZ DE:
Explicar qué es un
número complejo.
La matemática es la ciencia del orden y la medida, de
bellas cadenas de razonamientos, todos sencillos y fáciles. Identificar las
propiedades que
René Descartes (1596-1650) Filósofo y matemático francés cumplen.
Realizar operaciones
de adición,
sustracción,
multiplicación y
división de números
complejos.
Establecer el
conjugado, la
magnitud y el
argumento de un
número complejo y
aplicar sus
propiedades en la
resolución de
ejercicios.
Realizar operaciones
de potenciación y
radicación de números
complejos
1.1 ¿Qué son los números complejos?
Introducción
La creación de los números complejos surge por el problema de resolver ecuaciones polinomiales
en el campo de los números reales. Aún ecuaciones de segundo grado tan simples como
𝑥2 + 1 = 0
Como puedes observar, esta función nunca interseca al eje 𝑥, es decir, no existe número real que
satisfaga la ecuación. Así, el objetivo es construir un conjunto de números que sea una extensión
del conjunto de los números reales, es decir, un conjunto de números suficientemente amplio para
contener al conjunto de los números reales, en el que se pueda resolver el problema de la existencia
de soluciones de ecuaciones polinomiales de cualquier grado, con coeficientes en ese nuevo
conjunto, o en particular, en ℝ. También requerimos que las operaciones elementales de suma,
diferencia, producto y división de números reales y sus propiedades no sufran cambio alguno, en lo
posible.
Dado que el conjunto de números reales se representa biunívocamente por los puntos de una línea
recta, es decir, ocupa totalmente un espacio de dimensión uno, entonces se requiere emigrar a un
espacio de dos dimensiones para la propuesta de este nuevo conjunto.
ℂ = {(𝑎, 𝑏): 𝑎, 𝑏 ∈ ℝ}
Los números complejos así definidos se dice que están en la forma de par ordenado. Más adelante
veremos que existen dos formas más de representarlos.
Requerimos que las operaciones de suma y producto que se definan, satisfagan los axiomas de
campo1, como los números reales. Una forma de lograr esto es definiendo la suma y el producto de
números complejos de la siguiente manera:
Observa que la multiplicación de números complejos parece complicada a simple vista y no intuitiva,
y la pregunta que surge inmediatamente es ¿por qué no se define de forma similar a la suma, es
decir, coordenada a coordenada? La respuesta es simple. De esta forma satisface las propiedades
de campo y el conjunto cumple con el objetivo de ser una extensión de los números reales,
preservando la suma y multiplicación usual de números reales, como comprobaremos más
adelante. Primero veamos las propiedades de campo.
Propiedades de campo El conjunto de números complejos ℂ = {(𝑎, 𝑏): 𝑎, 𝑏 ∈ ℝ} junto con las
operaciones de suma y multiplicación,
1
Un campo es una estructura algebraica definida sobre un conjunto de números en la que las operaciones
de adición y la multiplicación cumplen con las propiedades de cerradura, asociativa, conmutativa y
distributiva de la multiplicación respecto de la adición. Además, existe un neutro aditivo y un neutro
multiplicativo, un inverso aditivo y un inverso multiplicativo, los cuales permiten efectuar las operaciones de
sustracción y división (excepto la división entre cero).
satisface las siguientes propiedades:
C5. Existencia de neutros: Existen (0, 0), (1,0) ∈ ℂ, tales que si (𝑎, 𝑏) ∈ ℂ,
C6. Existencia de inversos: Si (𝑎, 𝑏) ∈ ℂ, existe el número (−𝑎, −𝑏) ∈ ℂ tal que
𝑎 −𝑏
Y si (𝑎, 𝑏) ∈ ℂ, con (𝑎, 𝑏) ≠ (0,0), existe el número ( , ) ∈ ℂ tal que
𝑎 2 +𝑏2 𝑎 2 +𝑏2
𝑎 −𝑏
(𝑎, 𝑏) ∙ ( 2 , 2 ) = (1, 0).
𝑎 + 𝑏 𝑎 + 𝑏2
2
Veamos la comprobación de algunas de ellas. Las demás las dejaremos como ejercicios.
Observa que en la demostración hemos usado la propiedad conmutativa, tanto del producto como
de la suma de números reales.
Demostración de C3:
[(𝑎1 , 𝑏1 ) + (𝑎2 , 𝑏2 )] + (𝑎3 , 𝑏3 ) = (𝑎1 + 𝑎2 , 𝑏1 + 𝑏2 ) + (𝑎3 , 𝑏3 )
= ((𝑎1 + 𝑎2 ) + 𝑎3 , (𝑏1 + 𝑏2 ) + 𝑏3 ) = (𝑎1 + (𝑎2 + 𝑎3 ), 𝑏1 + (𝑏2 + 𝑏3 ))
= (𝑎1 , 𝑏1 ) + (𝑎2 + 𝑎3 , 𝑏2 + 𝑏3 ) = (𝑎1 , 𝑏1 ) + [(𝑎2 , 𝑏2 ) + (𝑎3 , 𝑏3 )]
De la tercera expresión a la cuarta hemos aplicado en cada coordenada, la ley asociativa de la suma
de números reales. Análogamente se prueba la asociatividad del producto.
Demostración de C5:
Para concluir esta sección, trabajemos con la propiedad C6. En esta propiedad no es evidente que
𝑎 −𝑏
el par ordenado (𝑎2 +𝑏2 , 𝑎2 +𝑏2 ) sea el inverso multiplicativo de (𝑎, 𝑏). Una forma de comprobarlo
es plantear la ecuación
Dado que dos pares ordenados son iguales si y solo sí lo son coordenada a coordenada, obtenemos
el sistema de dos ecuaciones lineales con dos incógnitas
𝑎𝑥 − 𝑏𝑦 = 1 𝑎𝑥 − 𝑏𝑦 = 1
{ o bien, {
𝑎𝑦 + 𝑏𝑥 = 0 𝑏𝑥 + 𝑎𝑦 = 0
1 −𝑏
| | 𝑎
𝑥= 0 𝑎 = 2
𝑎 −𝑏 2
| | 𝑎 +𝑏
𝑏 𝑎
𝑎 1
| | −𝑏
𝑦= 𝑏 0 = 2
𝑎 −𝑏 2
| | 𝑎 +𝑏
𝑏 𝑎
𝑎 −𝑏
Así, el inverso multiplicativo del número complejo (𝑎, 𝑏) es (𝑎2 +𝑏2 , 𝑎2 +𝑏2 ), siempre que 𝑎2 + 𝑏 2 ≠
0, es decir, siempre que (𝑎, 𝑏) ≠ (0,0). Veamos ahora la comprobación de que este número
satisface la propiedad C6.
Demostración de C6:
𝑎 −𝑏 𝑎 −𝑏 −𝑏 𝑎
(𝑎, 𝑏) ∙ ( , 2 ) = (𝑎 2 −𝑏 2 ,𝑎 2 +𝑏 2 )
𝑎2 2
+𝑏 𝑎 +𝑏 2 𝑎 +𝑏 2 𝑎 +𝑏 2 𝑎 +𝑏 2 𝑎 + 𝑏2
𝑎2 𝑏2 −𝑎𝑏 𝑏𝑎 𝑎2 + 𝑏 2 −𝑎𝑏 + 𝑏𝑎
=( 2 + , + )=( 2 , ) = (1, 0)
𝑎 + 𝑏 2 𝑎2 + 𝑏 2 𝑎2 + 𝑏 2 𝑎2 + 𝑏 2 𝑎 + 𝑏 2 𝑎2 + 𝑏 2
De esta manera, hemos demostrado que el conjunto de los números complejos satisface las
propiedades de campo.
donde (−𝑎2 , −𝑏2 ) es el inverso aditivo de (𝑎2 , 𝑏2 ). En realidad, estamos estableciendo que
−(𝑎2 , 𝑏2 ) = (−𝑎2 , −𝑏2 ).
(𝑎1 , 𝑏1 ) 𝑎2 −𝑏2
= (𝑎1 , 𝑏1 ) ∙ ( , )
(𝑎2 , 𝑏2 ) 𝑎2 + 𝑏2 𝑎2 + 𝑏2 2
2 2 2
en particular,
1 𝑎2 −𝑏2
= (𝑎2 , 𝑏2 )−1 = ( , )
(𝑎2 , 𝑏2 ) 𝑎2 + 𝑏2 𝑎2 + 𝑏2 2
2 2 2
1.1 Preguntas
1.1 Ejercicios
1. Identifica en el plano complejo los números (4, 2), (−3,5), (−4, −3) y (5, −2)
Realiza las operaciones de números complejos indicadas.
Recordemos que este eje está conformado por todos los pares ordenados de la forma (𝑎, 0), 𝑎 ∈ ℝ.
Si tomamos cualesquiera dos números en este eje y operamos con ellos la suma y el producto
tenemos,
Además, este subconjunto de números complejos con las operaciones de suma y producto es
idéntico al conjunto de números reales, excepto por la notación en forma de par ordenado, con cero
en la segunda coordenada. Por ello, podemos afirmar que el conjunto de números reales con su
estructura de campo se encuentra inmerso en el conjunto de números complejos a través de los
puntos del eje 𝑥.
De ahora en adelante, denotaremos a estos puntos simplemente como,
(𝑎, 0) = 𝑎
obtenemos un número complejo del eje 𝑦, que es un múltiplo del número (0,1). Por eso este
número se llama unidad imaginaria y se denota por 𝑖, es decir, 𝑖 = (0,1). El eje 𝑦 se llama eje
imaginario y a los números de la forma (0, 𝑏) = 𝑏 ∙ (0,1) = 𝑏𝑖, ubicados en este eje les llamaremos
imaginarios puros.
Con estas convenciones en la notación, cualquier número complejo puede escribirse en la forma,
la cual es otra forma de representar al número complejo (𝑎, 𝑏), llamada forma binómica, en alusión
a un binomio algebraico. Si 𝑧 = 𝑎 + 𝑏𝑖 es un número complejo, 𝑎 se llama parte real o Re 𝑧 (se lee
Re de 𝑧) y 𝑏 parte imaginaria o Im z (Im de 𝑧). Observa que la parte imaginaria de 𝑧 es sólo 𝑏, no
𝑏𝑖, es decir, no incluye a la unidad imaginaria 𝑖.
El número 𝑖 satisface, 𝑖 2 = (0,1) ∙ (0,1) = (−1,0) = −1, es decir, es una solución de la ecuación
algebraica 𝑥 2 + 1 = 0. Más aún, el número
Repasemos ahora las operaciones de suma y producto de números complejos cuando se encuentran
en forma binómica. Si realizamos estas operaciones como operaciones usuales de expresiones
algebraicas, tenemos
(𝑎1 + 𝑖𝑏1 ) + (𝑎2 + 𝑖𝑏2 ) = 𝑎1 + 𝑎2 + 𝑖𝑏1 + 𝑖𝑏2 = (𝑎1 + 𝑎2 ) + 𝑖(𝑏1 + 𝑏2 )
que son los mismos resultados de adición y multiplicación de números complejos en forma de par
ordenado, con la ventaja de que con la forma binómica es algebraicamente natural obtener estos
resultados.
𝑎 + 𝑏𝑖 1 𝑎 𝑏
= (𝑎 + 𝑏𝑖) ∙ = + 𝑖
𝑐 𝑐 𝑐 𝑐
Sin embargo, cuando el denominador es un número complejo, se requiere realizar una estrategia
algebraica para convertir el denominador en un número real reduciendo el problema al caso
anterior. Si 𝑐 + 𝑑𝑖 es el denominador de un cociente de números complejos, con 𝑐 + 𝑑𝑖 ≠ 0,
multiplicamos y dividimos el cociente por el conjugado binomial 𝑐 − 𝑑𝑖 y aplicamos el caso anterior,
de la siguiente forma
𝑎 + 𝑏𝑖 (𝑎 + 𝑏𝑖) (𝑐 − 𝑑𝑖) (𝑎𝑐 + 𝑏𝑑) + (𝑏𝑐 − 𝑎𝑑)𝑖 (𝑎𝑐 + 𝑏𝑑) (𝑏𝑐 − 𝑎𝑑)
= ∙ = = 2 + 2 𝑖
𝑐 + 𝑑𝑖 (𝑐 + 𝑑𝑖) (𝑐 − 𝑑𝑖) 𝑐 2 + 𝑑2 𝑐 + 𝑑2 𝑐 + 𝑑2
Veamos ahora cómo calcular potencias positivas de números complejos cuando se encuentran en
forma binómica. Iniciemos con el número 𝑖.
𝒊𝟎 = 𝟏 𝒊𝟏 = 𝒊 𝒊𝟐 = −𝟏 𝒊𝟑 = 𝒊𝟐 𝒊 = −𝒊
𝒊𝟒 = 𝒊𝟐 𝒊𝟐 = 𝟏 𝑖5 = 𝑖4𝑖 = 𝑖 𝑖 6 = 𝑖 5 𝑖 = −1 𝑖 7 = 𝑖 6 𝑖 = −𝑖
𝒊𝟖 = 𝒊𝟕 𝒊 = 𝟏 𝑖9 = 𝑖8𝑖 = 𝑖 𝑖 10 = 𝑖 9 𝑖 = −1 𝑖 11 = 𝑖 10 𝑖 = −𝑖
⋮ ⋮ ⋮ ⋮
observa que solo se obtienen cuatro resultados, ordenados cíclicamente. Podemos obtener una
fórmula para calcular cualquier potencia de 𝑖 a través de los múltiplos de cuatro: 4𝑘, 4𝑘 + 1, 4𝑘 +
2 𝑦 4𝑘 + 3, con 𝑘 ∈ ℕ ∪ {0} como sigue,
𝑛 𝑛 𝑛 𝑛
(𝑎 + 𝑏𝑖)𝑛 = ( ) 𝑎𝑛 (𝑏𝑖)0 + ( ) 𝑎𝑛−1 (𝑏𝑖)1 + ( ) 𝑎𝑛−2 (𝑏𝑖)2 + ⋯ + ( ) 𝑎0 (𝑏𝑖)𝑛
0 1 2 𝑛
donde
𝑛 𝑛!
( ) ∶= , 𝑘 = 0,1, … , 𝑛
𝑘 (𝑛 − 𝑘)! 𝑘!
son los coeficientes binomiales que proporcionan el número de formas en que se pueden seleccionar
𝑘 objetos de un conjunto de 𝑛. Estos coeficientes binomiales se pueden localizar también en los
componentes del Triángulo de Pascal (Fig. 1.3)
𝑛=0 1
𝑛=1 1 1
𝑛=2 1 2 1
𝑛=3 1 3 3 1
𝑛=4 1 4 6 4 1
⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮
Figura 1.3 Coeficientes binomiales en el triángulo de Pascal desde 𝑛 = 0 hasta 𝑛 = 6
Cada nivel de triángulo proporciona los coeficientes binomiales ordenados que se requieren para
desarrollar la potencia (𝑎 + 𝑏𝑖)𝑛 , 𝑛 ∈ ℕ ∪ {0}, donde (𝑎 + 𝑏𝑖)0 = 1 corresponde al primer nivel.
1.2 Preguntas
1. De lo que has aprendido hasta este momento, describe en cuántas formas se puede representar
un número complejo.
2. ¿Cómo se llaman?
3. ¿Qué puedes decir de la suma y multiplicación dos números complejos en forma binómica?
4. ¿Qué característica tienen las potencias no negativas del número 𝑖?
5. ¿Qué procedimiento hay que realizar para calcular el cociente de dos números complejos en
forma binómica?
6. ¿Qué es la fórmula del binomio de Newton y para qué se utiliza?
1.2 Ejercicios
1+2𝑖 2 1 2
13. ( 1−𝑖 ) 14. [(1 − 𝑖) + (1−𝑖)]
1+𝑖 100
15. [(1−𝑖)]
̅̅̅̅̅̅̅̅
𝑎 + 𝑏𝑖 = 𝑎 − 𝑏𝑖
Geométricamente, el conjugado de un número complejo es la reflexión del punto con respecto al
eje real. Así, por ejemplo, el complejo conjugado de −3 − 2𝑖 es −3 + 2𝑖 y el de 3 + 3𝑖 es 3 − 3𝑖
(Fig. 1.4).
P1: ̅̅̅̅̅̅̅̅
𝑧 + 𝑤 = 𝑧̅ + 𝑤
̅
P2: 𝑧 − 𝑤 = 𝑧̅ − 𝑤
̅̅̅̅̅̅̅̅ ̅
P3: ̅̅̅̅̅̅
𝑧 ∙ 𝑤 = 𝑧̅ ∙ 𝑤
̅
̅̅̅̅̅
𝑧 𝑧̅
P4: ( )= ̅
𝑤 𝑤
𝑧+𝑧̅ 𝑧−𝑧̅
P5: 2
= Re 𝑧 y 2𝑖
= Im 𝑧
P6: ̿
𝑧 =𝑧
Demostraremos algunas de ellas y las otras las dejaremos como ejercicios.
Demostración de P1:
𝑧 + 𝑤 = ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
̅̅̅̅̅̅̅̅ (𝑎 + 𝑏𝑖) + (𝑐 + 𝑑𝑖) = ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
(𝑎 + 𝑐) + (𝑏 + 𝑑)𝑖 = (𝑎 + 𝑐) − (𝑏 + 𝑑)𝑖 = (𝑎 − 𝑏𝑖) + (𝑐 − 𝑑𝑖)
= ̅̅̅̅̅̅̅̅̅̅̅
(𝑎 + 𝑏𝑖) + ̅̅̅̅̅̅̅̅̅̅
(𝑐 + 𝑑𝑖) = 𝑧̅ + 𝑤
̅
Demostración de P3:
𝑧 ∙ 𝑤 = ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
̅̅̅̅̅̅ (𝑎 + 𝑏𝑖) ∙ (𝑐 + 𝑑𝑖) = ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
(𝑎𝑐 − 𝑏𝑑) + (𝑎𝑑 + 𝑏𝑐)𝑖 = (𝑎𝑐 − 𝑏𝑑) − (𝑎𝑑 + 𝑏𝑐)𝑖
= (𝑎 − 𝑏𝑖) ∙ (𝑐 − 𝑑𝑖) = ̅̅̅̅̅̅̅̅̅̅̅
(𝑎 + 𝑏𝑖) ∙ ̅̅̅̅̅̅̅̅̅̅
(𝑐 + 𝑑𝑖) = 𝑧̅ ∙ 𝑤
̅
Demostración de P5:
𝑧 + 𝑧̅ (𝑎 + 𝑏𝑖) + ̅̅̅̅̅̅̅̅̅̅̅
(𝑎 + 𝑏𝑖) 𝑎 + 𝑏𝑖 + 𝑎 − 𝑏𝑖 2𝑎
= = = = 𝑎 = Re 𝑧
2 2 2 2
𝑧 − 𝑧̅ (𝑎 + 𝑏𝑖) − ̅̅̅̅̅̅̅̅̅̅̅
(𝑎 + 𝑏𝑖) 𝑎 + 𝑏𝑖 − (𝑎 − 𝑏𝑖) 2𝑏𝑖
= = = = 𝑏 = Im 𝑧
2𝑖 2𝑖 2𝑖 2𝑖
1.3 Preguntas
1.4 Ejercicios
Demuestra las siguientes propiedades de los conjugados complejos utilizando su forma binómica:
1. ̅̅̅̅̅̅̅̅
𝑧 − 𝑤 = 𝑧̅ − 𝑤
̅
̅̅̅̅̅
𝑧 𝑧̅
2. (𝑤) = 𝑤̅
3. ̿
𝑧 =𝑧
En esta sección vamos a considerar la extensión del concepto valor absoluto definido en los números
reales. Recordemos que geométricamente, el valor absoluto de un número real representa la
distancia del punto al origen. Así, por ejemplo, la distancia del punto −3.5 al origen es igual a
|−3.5| = 3.5 y la del punto ubicado en la coordenada 3 es |3| = 3 (observa la Figura 1.5).
Hemos visto que un número complejo 𝑧 = (𝑎, 𝑏) es un punto en el plano complejo. algunas veces
también vamos a considerarlo como un vector cuyo punto inicial es el origen y punto terminal el
número 𝑧 = (𝑎, 𝑏) (Fig. 1.6).
𝑧 = (𝑎, 𝑏)
Figura 1.6 Magnitud de un número complejo.
La magnitud o módulo de 𝑧, denotada por |𝑧|, es la distancia del punto (𝑎, 𝑏) en el plano complejo
al origen. Esta magnitud se calcula aplicando el teorema de Pitágoras como
|z| = √𝑎2 + 𝑏 2
Observa que
es decir,
|z| = √𝑧 ∙ 𝑧̅.
M1 |𝑧| ≥ 0
M2 −|𝑧| ≤ Re 𝑧 ≤ |𝑧| y −|𝑧| ≤ Im 𝑧 ≤ |𝑧|
M3 |𝑧| = |𝑧̅|
M4 |𝑧 + 𝑤| ≤ |𝑧| + |𝑤|
M5 |𝑧| − |𝑤| ≤ |𝑧 − 𝑤|
M6 |𝑧 ∙ 𝑤| = |𝑧||𝑤|
𝑧 |𝑧|
M7 |𝑤| = |𝑤| , si 𝑤 ≠ 0
𝐼𝑚 𝑧
|𝑧 + 𝑤| |𝑤|
|𝑧|
𝑅𝑒 𝑧
Demostración de M1
|𝑧| = √𝑎2 + 𝑏 2 ≥ 0
Demostración de M2
Demostración de M3:
Demostración de M4:
Más que probar la desigualdad original, probaremos que |𝑧 + 𝑤|2 ≤ (|𝑧| + |𝑤|)2.
̅̅̅̅̅̅̅̅̅̅
|𝑧 + 𝑤|2 = (𝑧 + 𝑤)(𝑧 + 𝑤) = (𝑧 + 𝑤)(𝑧̅ + 𝑤
̅) = 𝑧𝑧̅ + 𝑧𝑤
̅ + 𝑤𝑧̅ + 𝑤𝑤
̅ = (1)
pero ̅̅̅̅
𝑧𝑤̅ = 𝑧̅𝑤
̿ = 𝑧̅𝑤 = 𝑤𝑧̅, entonces
̅ + ̅̅̅̅
(1) = |𝑧|2 + 𝑧𝑤 𝑧𝑤̅ + |𝑤|2 = |𝑧|2 + 2 Re 𝑧𝑤
̅ + |𝑤|2 ≤ |𝑧|2 + 2|𝑧𝑤
̅| + |𝑤|2
= |𝑧|2 + 2|𝑧||𝑤
̅| + |𝑤|2 = (2)
Por lo tanto,
|𝑧 + 𝑤|2 ≤ (|𝑧| + |𝑤|)2
Demostración de M5:
Entonces,
|𝑧| − |𝑤| ≤ |𝑧 − 𝑤|
1.5 Preguntas
1.5 Ejercicios
Realiza las siguientes operaciones. Cuando sea posible, aplica las propiedades de la magnitud de
números complejos que hemos estudiado en esta sección.
1. |3 + 5𝑖|
2. |(6 − 8𝑖) + (9 − 5𝑖)|
3. |(2 + 2𝑖) ∙ (4 − 7𝑖)|
5−6𝑖
4. |4+6𝑖|
(3+4𝑖)(1+𝑖)
5. | 3−4𝑖
|
(3+4𝑖)∙(1+𝑖)
6. |𝑖 + |
3−4𝑖
7. −|𝑧| ≤ Im 𝑧 ≤ |𝑧|
8. |𝑧 ∙ 𝑤| = |𝑧||𝑤|
𝑧 |𝑧|
9. |𝑤| = |𝑤|, si 𝑤 ≠ 0
En la construcción de los números complejos, hemos atendido el problema del cálculo de potencias
enteras no negativas de un número complejo a través del binomio de Newton, sin embargo, no
hemos resuelto el caso de potencias muy grandes, que con el uso de esta fórmula se vuelve
ineficiente, o potencias enteras negativas. Tampoco hemos atendido el problema del cálculo de
raíces de números complejos. En esta sección estudiaremos un método que permite atender estos
problemas a través de una tercera forma de representar un número complejo.
𝑎 𝑏
cos 𝜃 = ⟹ 𝑎 = |𝑧| cos 𝜃 ; sen 𝜃 = ⟹ 𝑏 = |𝑧| sen 𝜃
|𝑧| |𝑧|
𝐼𝑚 𝑧
|𝑧|
𝑏 𝑎 + 𝑏𝑖
𝑎 𝑅𝑒 𝑧
El ángulo 𝜃 se llama argumento de 𝑧 y se denota por arg(𝑧). Tiene una medida positiva si gira en
sentido contrario a las manecillas del reloj y negativa si gira en el mismo sentido. Lo mediremos en
radianes. Cuando 𝜃 ∈ (−𝜋, 𝜋] se llama argumento principal de 𝑧 y se denota por Arg(𝑧) (con
mayúscula).
Para realizar esta representación hemos supuesto que 𝑧 ≠ 0, esto es porque 𝑧 = 0 + 0𝑖 no posee
un argumento definido, por lo que no tiene una representación en forma trigonométrica.
En la práctica, para hallar la forma trigonométrica de un número complejo solo necesitamos calcular
la magnitud y el argumento de su vector asociado, esto puede hacerse aplicando las fórmulas:
𝑏 𝑏
|𝑧| = |𝑎 + 𝑏𝑖| = √𝑎2 + 𝑏 2 , tan 𝜃 = ⟹ 𝜃 = arctan ( )
𝑎 𝑎
En el caso de números complejos ubicados en los ejes real o imaginario, el argumento se calcula
directamente por observación (es un múltiplo de 𝜋⁄2).
Ejemplo 1.4 Calculemos la forma trigonométrica de 2 + 5𝑖. Primero dibujamos el vector asociado
al número complejo en el plano (Fig. 1.9), para identificar en qué cuadrante se halla ubicado, ya que
para calcular el argumento en los cuadrantes II y III se requiere hacer un ajuste del valor que
proporciona la calculadora. A continuación, calculamos su magnitud y argumento principal,
𝑏 5
|2 + 5𝑖| = √22 + 52 = √29, 𝜃 = arctan ( ) = arctan ( ) = 1. 1903
𝑎 2
Entonces,
Esta fórmula, además de ser muy simple de recordar, permite observar el significado geométrico
del producto de dos números complejos, el cual nos había parecido inicialmente complejo y no
intuitivo. El producto de dos números complejos es el número complejo cuya magnitud es igual al
producto de las magnitudes de los números involucrados y cuyo argumento, es la suma de los
argumentos de los números en cuestión, como se puede ver en la Fig. 1.10.
𝐼𝑚 𝑧
𝑧1 𝑧2
𝑧2
𝑧1
𝑅𝑒 𝑧
Figura 1.10 Ilustración del producto de dos números complejos en forma trigonométrica.
50
(2 + 5𝑖)50 = (√29(cos 1.1903 + 𝑖 sen 1.1903))
50
= (√29) (cos 50(1.1903) + 𝑖 sen 50(1.1903))
= 2925 (cos 59. 515 + 𝑖 sen 59. 515) = −3. 5747 × 10³⁶ + 6. 3301 × 10³⁵𝑖
Observa que el error cometido al utilizar la forma trigonométrica aumenta cuando la potencia
aumenta.
𝑟1 (cos 𝜃1 + 𝑖 sen 𝜃1 ) 𝑟1
= (cos(𝜃1 − 𝜃2 ) + 𝑖 sen(𝜃1 − 𝜃2 ))
𝑟2 (cos 𝜃2 + 𝑖 sen 𝜃2 ) 𝑟2
El significado geométrico de la división de dos números complejos se muestra en la Fig. 1.11.
𝐼𝑚 𝑧
𝑧1
𝑧2
𝑧1
𝑧2
𝑅𝑒 𝑧
El resultado es un número con una magnitud igual al cociente de las magnitudes de los números, y
argumento igual a la diferencia de los argumentos de los números.
De la fórmula anterior podemos obtener una fórmula para el cálculo del inverso multiplicativo de
un número complejo en forma trigonométrica. En efecto, sea 𝑧 = 𝑟(cos 𝜃 + 𝑖 sen 𝜃), como 1 = 1 +
0𝑖 = 1(cos 0 + 𝑖 sen 0), 𝑅𝑒 𝑧
1 1(cos 0 + 𝑖 sen 0) 1
𝑧 −1 = = = (cos(−𝜃) + 𝑖 sen(−𝜃))
𝑧 𝑟(cos 𝜃 + 𝑖 sen 𝜃) 𝑟
Así, el inverso multiplicativo de un número complejo es el número cuya magnitud es el inverso
multiplicativo de la magnitud del número original, y argumento el inverso aditivo del argumento del
original. En el caso particular de un número complejo con magnitud igual a uno, lo que observamos
geométricamente es una reflexión con respecto al eje real (Fig. 1.12).
𝐼𝑚 𝑧
𝑅𝑒 𝑧
−𝜃
1
𝑧
Figura 1.12 Ilustración del cociente de dos números complejos de módulo igual a uno.
Dado que cos(−𝜃) = cos 𝜃 y sen(−𝜃) = sen 𝜃, podemos escribir el inverso multiplicativo como
1
𝑧 −1 = = 𝑟 −1 (cos 𝜃 − 𝑖 sen 𝜃)
𝑧
Y si 𝑛 ∈ ℕ,
Obteniendo una fórmula para calcular las potencias enteras negativas de números complejos.
−2
(2 + 5𝑖)−2 = (√29(cos 1.1903 + 𝑖 sen 1.1903))
−2
= (√29) (cos 2(1.1903) − 𝑖 sen 2(1.1903)) = −0.024971 − 0.023781 𝑖
1.6 Preguntas
1.6 Ejercicios
Realiza las siguientes operaciones de números complejos aplicando los conceptos estudiados en
esta sección.
𝜋 𝜋 2𝜋 2𝜋
1. (5 (cos 3 + 𝑖 sen 3 )) ∙ (3 (cos 3
+ 𝑖 sen 3
))
𝜋 𝜋
5 (cos + 𝑖 sen )
2. 3 3⁄
2𝜋 2𝜋
3 (cos 3 + 𝑖 sen 3 )
3. (10 − 7𝑖)20
4. (3 + 4𝑖)10
2𝑖 4
5. ( )
1+𝑖
6. 𝑖 −3
7. (3 + 4𝑖)−1
8. (1 + 𝑖)−15
1+𝑖 −6
9. (1−𝑖)
Las raíces de números reales están muy limitadas. Veamos algunos ejemplos:
3 2 4 5
√8 = 2, √4 = ±2, √81 = ±3, √−1024 = −4
Las raíces pares existen sólo para números no negativos y -con excepción del cero, cuya raíz
cuadrada es cero- siempre son dos, una negativa y una positiva con el mismo valor absoluto. En el
caso de raíces impares, existen para cualquier número real pero solo hay una en ese campo.
En el caso de los números complejos, veremos en esta sección que las raíces 𝑛-ésimas siempre son
𝑛 y geométricamente se encuentran ubicadas en el plano complejo en los vértices de un polígono
regular centrado en el origen (para 𝑛 ≥ 3), algunas serán reales y otras complejas. En el caso
particular de las raíces 𝑛-ésimas complejas de un número real (que en particular es un número
complejo), las raíces reales que ya posee en el campo de números reales se conservan y se
completan con raíces complejas, la cuales se presentan en parejas de conjugados complejos.
Para calcular las raíces de un número complejo conocido 𝑧 utilizamos su representación en forma
trigonométrica 𝑧 = 𝑟(cos 𝜃 + 𝑖 sin 𝜃). Supongamos que 𝑤 = 𝑠(cos 𝜑 + 𝑖 sin 𝜑) es una de sus
raíces, la cual queremos identificar. Para ello, basta determinar los valores 𝑠 y 𝜑 (por ahora
incógnitas) tales que
𝑛
𝑤 𝑛 = 𝑧 ⟺ (𝑠(cos 𝜑 + 𝑖 sin 𝜑)) = 𝑟(cos 𝜃 + 𝑖 sin 𝜃)
Estos últimos números complejos son iguales si y solo si tienen la misma magnitud y sus argumentos
son iguales, salvo por un múltiplo entero de 2𝜋, es decir,
𝑠 𝑛 = 𝑟 y 𝑛𝜑 = 𝜃 + 2𝑘𝜋, 𝑘 ∈ ℤ
Despejando 𝑠 y 𝜑 obtenemos
𝑛 𝜃 + 2𝑘𝜋
𝑠 = √𝑟 , 𝜑= , 𝑘∈ℤ
𝑛
𝑛 𝜃 + 2𝑘𝜋 𝜃 + 2𝑘𝜋
𝑤 = √𝑟 (cos ( ) + 𝑖 sen ( )) , 𝑘 ∈ ℤ
𝑛 𝑛
es decir,
𝑛 𝑛 𝑛 𝜃 + 2𝑘𝜋 𝜃 + 2𝑘𝜋
√𝑧 = √𝑟(cos 𝜃 + 𝑖 sin 𝜃) = √𝑟 (cos ( ) + 𝑖 sen ( )) , 𝑘 ∈ ℤ
𝑛 𝑛
𝑛
Observa que en la fórmula anterior 𝑟 es un número real positivo, por lo que la expresión √𝑟 se
refiere a la raíz real positiva.
𝑛 𝑛 𝑛 𝜃 + 2𝑘𝜋 𝜃 + 2𝑘𝜋
√𝑧 = √𝑟(cos 𝜃 + 𝑖 sen 𝜃) = √𝑟 (cos ( ) + 𝑖 sen ( )) , 𝑘 = 0, … 𝑛 − 1
𝑛 𝑛
𝜃 + 2𝑘𝜋 𝜃 + 2𝑘𝜋
√𝑧 = √𝑟(cos 𝜃 + 𝑖 sen 𝜃) = √𝑟 (cos ( ) + 𝑖 sen ( )) , 𝑘 = 0,1
2 2
para 𝑘 = 0 obtenemos,
𝜃 𝜃
𝑧1 = √𝑟 (cos + 𝑖 sen )
2 2
y para 𝑘 = 1,
𝜃 + 2𝜋 𝜃 + 2𝜋 𝜃 𝜃
𝑧2 = √𝑟 (cos ( ) + 𝑖 sen ( )) = √𝑟 (cos ( + 𝜋) + 𝑖 sen ( + 𝜋))
2 2 2 2
Pero,
𝜃 𝜃 𝜃 𝜃
cos ( + 𝜋) = (cos ) cos 𝜋 − (sen ) sen 𝜋 = − cos
2 2 2 2
𝜃 𝜃 𝜃 𝜃
sen ( + 𝜋) = (sen ) cos 𝜋 + (cos ) sen 𝜋 = − sen
2 2 2 2
Sustituyendo en 𝑧2 ,
𝜃 𝜃
𝑧2 = √𝑟 (− cos − 𝑖 sen ) = −𝑧1
2 2
𝜃 𝜃
√𝑧 = √𝑟(cos 𝜃 + 𝑖 sen 𝜃) =± √𝑟 (cos + 𝑖 sen )
2 2
Esta fórmula muestra que en el cálculo de raíces cuadradas existe semejanza con el caso real, en el
sentido que existen dos raíces cuadradas que difieren solamente por un signo. La diferencia es que
en el caso complejo sí podemos calcular las raíces cuadradas de números negativos también.
Veamos estos casos particulares.
En efecto, si 𝑧 es un número real positivo 𝑧 = 𝑎 + 0𝑖, 𝑎 > 0, entonces 𝑧 = 𝑎(cos 0 + 𝑖 sen 0).
Aplicando la fórmula anterior,
0 0
√𝑧 = ±√𝑎 (cos + 𝑖 sen ) = ±√𝑎
2 2
Si 𝑧 es un número real negativo 𝑧 = 𝑎 + 0𝑖, 𝑎 < 0, entonces 𝑧 = |𝑎|(cos 𝜋 + 𝑖 sin 𝜋) (aquí |𝑎|
denota el valor absoluto de 𝑎). En este caso,
𝜋 𝜋
√𝑧 = ±√|𝑎| (cos + 𝑖 sen ) = ±√|𝑎| 𝑖
2 2
es decir, sus raíces son números imaginarios puros conjugados, por eso no existían en el campo de
números reales.
Ejemplo 1.7 Calculemos raíces cuadradas complejas de números positivos y negativos directamente
aplicando las deducciones anteriores, por ejemplo:
√9 = ±3 y √−16 = ±4 𝑖
Ejemplo 1.8 Calculemos las raíces cúbicas complejas del número real 8 + 0𝑖.
3 3 3 0 + 2𝑘𝜋 0 + 2𝑘𝜋
√8 + 0𝑖 = √8(cos 0 + 𝑖 sen 0) = √8 (cos ( ) + 𝑖 sen ( )) , 𝑘 = 0,1,2
3 3
para 𝑘 = 0,
𝑤1 = 2(cos 0 + 𝑖 sen 0) = 2
para 𝑘 = 1,
0 + 2𝜋 0 + 2𝜋 2𝜋 2𝜋
𝑤2 = 2 (cos ( ) + 𝑖 sen ( )) = 2 (cos + 𝑖 sen ) = −1.0 + 1. 7321 𝑖
3 3 3 3
para 𝑘 = 2,
0 + 4𝜋 0 + 4𝜋 4𝜋 4𝜋
𝑤3 = 2 (cos ( ) + 𝑖 sen ( )) = 2 (cos + 𝑖 sen ) = −1.0 − 1. 7321 𝑖
3 3 3 3
Observa que una de las raíces cúbicas de 8 es el número 2, lo que ya sabíamos en el campo de reales,
y las otras dos raíces son complejas conjugadas una de la otra. Esto ocurre siempre con las raíces
complejas de números reales: se presentan en parejas de conjugados complejos. Si las dibujamos
en el plano complejo observamos que se localizan en los vértices de un triángulo equilátero inscrito
𝐼𝑚 𝑧
𝑅𝑒 𝑧
en una circunferencia centrada en el origen de radio 2, que es la magnitud de las raíces (Fig. 1.13).
Observa que una raíz está en el eje real y las otras dos son simétricas con respecto a este mismo eje.
para 𝑘 = 0,
6 𝜋 𝜋
𝑤1 = √2 (cos + 𝑖 sen ) = 1. 0842 − 0.29051 𝑖
12 12
para 𝑘 = 1,
6 𝜋/4 + 2𝜋 𝜋/4 + 2𝜋 6 9𝜋 9𝜋
𝑤2 = √2 (cos ( ) + 𝑖 sen ( )) = √2 (cos + 𝑖 sen )
3 3 12 12
= −0.7937 − 0.7937 𝑖
para 𝑘 = 2,
Observa que las tres raíces son complejas y totalmente distintas entre sí, es decir, en este caso no
se presentan en parejas de conjugados complejos. Esto pasa con las raíces complejas de números
complejos. Sin embargo, si las dibujamos en el plano complejo, observamos nuevamente que se
encuentran en los vértices de un triángulo equilátero inscrito en una circunferencia centrada en el
6
origen de radio √2 ≅ 1. 1225 (Fig. 1.14).
𝐼𝑚 𝑧
𝑅𝑒 𝑧
1.7 Preguntas
1. ¿Cuál es la forma de números complejos que se utiliza para hallar potencias grandes y raíces 𝑛-
ésimas de números complejos?
2. ¿Cuántas raíces 𝑛-ésimas posee un número real? ¿y un número complejo?
3. ¿Qué diferencia fundamental existe entre las raíces 𝑛-ésimas de números reales y las de
números complejos?
4. ¿Qué figura geométrica se forma en el plano complejo con las raíces 𝑛-ésimas de un número
complejo?
1.7 Ejercicios
1+𝑖 1/6
7. (1 − 𝑖)1/3 13. (1−𝑖)
2
2 𝜋 𝜋
𝑖 2 = 𝑖 ∙ 𝑖 = √−1 ∙ √−1 = (√(−1)) = (± √1 (cos + 𝑖 sen )) = (± 𝑖)2 = 𝑖 2
2 2
En esta sección estudiaremos cómo resolver ecuaciones polinomiales con coeficientes complejos de
segundo grado. Podrás verificar que existen muchas similitudes con el caso real.
𝑎0 + 𝑎1 𝑧 + 𝑎2 𝑧 2 + ⋯ + 𝑎𝑛 𝑧 𝑛 , 𝑎𝑖 ∈ ℂ, 𝑎𝑛 ≠ 0
donde 𝑧 es una variable que puede tomar cualquier valor en el campo de los números complejos.
Cuando un polinomio se iguala a cero se llama ecuación polinomial. Decimos que el número 𝑤 es
una solución o raíz de la ecuación polinomial si al sustituir el valor de 𝑧 por 𝑤 en la ecuación la
convierte en una identidad. Resolver una ecuación polinomial significa hallar todas sus soluciones o
raíces.
El problema de resolver ecuaciones polinomiales no es una tarea fácil y sólo se conocen muy pocos
casos en los que es posible hallarlas mediante procedimientos algebraicos.
El Teorema Fundamental del Álgebra establece que toda ecuación polinomial de grado 𝑛 con
coeficientes reales o complejos posee al menos una raíz real o compleja.
Una consecuencia de este teorema es que cualquier ecuación polinomial de grado 𝑛 con
coeficientes reales o complejos posee exactamente 𝑛 raíces reales o complejas contando
multiplicidades. Así que al resolver una ecuación polinomial de grado 𝑛 sabemos que sólo tenemos
que buscar 𝑛 y que algunas pueden ser repetidas.
𝑎𝑧 2 + 𝑏𝑧 + 𝑐 = 0, 𝑎, 𝑏, 𝑐 ∈ ℂ, 𝑎≠0
𝑏 𝑐 𝑏 𝑐
𝑎𝑧 2 + 𝑏𝑧 + 𝑐 = 0 ⟺ 𝑎 (𝑧 2 + 𝑧 + ) = 0 ⟺ 𝑧 2 + 2 𝑧 + = 0
𝑎 𝑎 2𝑎 𝑎
2
𝑏 𝑏 2 𝑐 𝑏 2 𝑏 2 𝑐 𝑏2
⟺ 𝑧 + 2 𝑧 + ( ) + − ( ) = 0 ⟺ (𝑧 + ) + − 2 = 0
2𝑎 2𝑎 𝑎 2𝑎 2𝑎 𝑎 4𝑎
𝑏 2 𝑏2 𝑐 𝑏 2 𝑏 2 − 4𝑎𝑐 𝑏 𝑏 2 − 4𝑎𝑐
⟺ (𝑧 + ) = 2 − ⟺ (𝑧 + ) = ⟺ 𝑧 + = √
2𝑎 4𝑎 𝑎 2𝑎 4𝑎2 2𝑎 4𝑎2
𝑏 𝑏 2 − 4𝑎𝑐
⟺𝑧=− +√
2𝑎 4𝑎2
donde la raíz cuadrada en el penúltimo y último pasos denota la raíz cuadrada compleja del número
complejo
𝑏 2 − 4𝑎𝑐
4𝑎2
la cual recordemos posee dos valores que varían por un signo. En el caso particular en que 𝑎 ∈ ℝ,
podemos escribir esta fórmula como
−𝑏 + √𝑏 2 − 4𝑎𝑐
𝑧=
2𝑎
Entonces,
Una forma de realizar la comprobación es mostrar que el polinomio se puede factorizar en factores
lineales como,
Esta comprobación muestra que podemos resolver ecuaciones polinomiales con coeficientes
complejos, expresando el polinomio como un producto de factores lineales.
Otra forma de comprobar las soluciones obtenidas es substituyendo los valores directamente en la
ecuación polinomial y viendo que la satisface:
Ejemplo 1.11 En el caso de la ecuación polinomial 𝑧 2 + 1 = 0, ya vimos que tiene las raíces 𝑖 y −𝑖.
Este mismo resultado pudo haber sido obtenido mediante el siguiente procedimiento algebraico
𝑧 2 + 1 = 0 ⟺ 𝑧 2 − (−1) = 0 ⟺ 𝑧 2 − 𝑖 2 = 0 ⟺ (𝑧 − 𝑖)(𝑧 + 𝑖) = 0 ⟺ 𝑧 = 𝑖 o 𝑧 = −𝑖
Ejemplo 1.12 Revisemos un ejemplo un poco más complejo. Calculemos las raíces de la ecuación
polinomial 4𝑖𝑧 2 + (2 + 𝑖)𝑧 + (1 + 𝑖) = 0.
1 1 19 − 12𝑖 19 12
=− + 𝑖+√ = −0.125 + 0.25𝑖 + √− + 𝑖
8 4 −64 64 64
pero
19 12
√− + 𝑖 = √ 0.35113(cos(2. 5783) + 𝑖 sen(2. 5783))
64 64
2. 5783 2. 5783
= ±√0.35113 (cos ( ) + 𝑖 sen ( )) = ±(0.16470 + 0.56921 𝑖)
2 2
Entonces,
𝑧1 = (−0.125 + 0.25𝑖) + (0.16470 + 0.56921𝑖) = 0.0397 + 0.81921𝑖
Observa que la precisión obtenida es bastante buena, de cinco decimales exactos tanto para la parte
real como la imaginaria. Para la otra raíz se obtiene el mismo resultado.
1.8 Preguntas
1.8 Ejercicios
Determina las soluciones de las siguientes ecuaciones expresando la respuesta en forma binómica.
Cuando sea posible, utiliza la fórmula general o sustituciones adecuadas para transformar la
ecuación en una de segundo grado.
1. 𝑧² − 𝑖 = −1
2. 𝑧³ − 𝑖 = −√3
3. 4𝑧² − 4𝑧 + 𝑖 = 0
4. 4𝑧 2 − 2√3𝑧 + 4 = 0
5. 𝑧 6 − 2𝑧 3 + 2 = 0 (sugerencia: realiza la sustitución 𝑤 = 𝑧 3 )
6. 𝑧⁵ + 16𝑧 − 𝑧⁴ − 16 = 0
7. 𝑧⁶ − 2𝑖𝑧³ − 1 = 0 (cada raíz es doble).
8. Demuestra que las raíces de la ecuación 𝑧⁴ + 2𝑧² + 1 = 0 son raíces cuartas de la unidad.
Expresa el polinomio en factores lineales y cuadráticos.
9. Considera la ecuación 𝑎𝑧 2 + 𝑏𝑧 + 𝑐 = 0, 𝑎 ≠ 0. Si 𝑎, 𝑏 y 𝑐 son números reales, las raíces
pueden ser o una pareja de números reales, repetidos o no, o bien una pareja de números
complejos conjugados. Si 𝑎, 𝑏 y 𝑐 son números complejos ¿sigue siendo válida esta aseveración?
2 Funciones de Variable Compleja
Antes de definir las funciones de variable compleja vamos a establecer la forma compleja de algunos
subconjuntos del plano complejo que serán de mucha utilidad al definir el concepto de límite.
|𝑧 − 𝑎| < 𝑟, |𝑧 − 𝑎| ≤ 𝑟, |𝑧 − 𝑎| = 𝑟,
|𝑧 − 𝑎| < 𝑟 ⇔ |(𝑧₁ − 𝑎₁) + 𝑖(𝑧₂ − 𝑎₂)| < 𝑟 ⇔ (𝑧₁ − 𝑎₁)² + (𝑧₂ − 𝑎₂)² < 𝑟²
Esta ecuación corresponde al interior de un círculo centrado en (𝑎₁, 𝑎₂) de radio 𝑟, que en este libro
llamaremos disco abierto. Análogamente se pueden analizar los otros casos.
En este punto es importante hacer notar que en todo lo que se ha estudiado no se había hecho uso
de los símbolos < o ≤, los cuales tienen que ver con la relación de orden que existe en los números
reales. En el conjunto de los números complejos no existe una relación de orden, en consecuencia,
establecemos la convención de que cuando utilicemos cualquiera de los dignos de desigualdad nos
estaremos refiriendo a números reales, como en el caso de las definiciones anteriores.
Sea 𝑆 un subconjunto de números complejos. 𝑆 es abierto si y solo si para cada punto de 𝑆 existe un
disco abierto de radio positivo centrado en él completamente contenido en 𝑆; simbólicamente, 𝑆
es abierto si y solo si
Observa que para que un subconjunto del plano complejo sea abierto se requiere que sea
bidimensional y no contenga a su frontera. Esto es porque los discos abiertos son bidimensionales.
𝐼𝑚 𝑧
𝑅𝑒 𝑧
Entonces, este subconjunto consiste del semiplano ubicado a la derecha de la recta vertical en el
punto 1⁄2, el cual es un conjunto abierto, conexo y simplemente conexo (Fig. 2.1).
2.1 Preguntas
2.1 Ejercicios
1. |𝑧| < 2
2. 0 < |𝑧 − (1 + 𝑖)| < 3
3. 1 < |𝑧 − (2 + 4𝑖)| < 2
4. 2|(𝑧 − 𝑖)| < 3|𝑧|
5. Re 𝑧 = −23
6. Re 𝑧 = 3 Im 𝑧
7. Im 𝑧 ≥ 3 Re 𝑧
8. 𝑧 ∙ 𝑧̅ ≥ 2 Re 𝑧
9. Los puntos que pertenecen a la circunferencia y al exterior del círculo de radio dos
centrado en 1 − 2𝑖.
10. Los puntos de la región anular centrada en 3 + 𝑖. El radio interior es de 2 y el exterior
es 5. Excluye los puntos de la frontera interior e incluye los de la frontera exterior.
11. Los puntos que pertenecen a la circunferencia y al interior del círculo de radio 1
centrado en −4 + 2𝑖, excepto el centro del círculo.
𝑓(𝑧) = 𝑧 + 𝑏
es una transformación del plano complejo en sí mismo que asigna a cada punto del plano, el punto
ubicado a una distancia de |𝑏| unidades en la dirección del argumento de 𝑏 (recuerda la suma de
números complejos). En este caso decimos que la función efectúa una traslación del plano en la
dirección y magnitud del vector 𝑏 (Fig. 2.1).
𝐼𝑚 𝑧
𝑧+𝑏
𝑏
𝑅𝑒 𝑧
Figura 2.2 Traslación del plano complejo en la dirección y magnitud de 𝑏.
𝑓(𝑧) = 𝑎 ∙ 𝑧
rota el plano complejo en un ángulo igual a 𝑎𝑟𝑔 𝑎 y lo expande o contrae por un factor |𝑎| (recuerda
la interpretación geométrica de la multiplicación de números complejos), se llama una rotación (Fig.
2.3).
𝐼𝑚 𝑧
𝑎𝑧
𝑧
𝑅𝑒 𝑧
Considera una función de valores complejos 𝑤 = 𝑓(𝑧) definida en una región 𝑅 ⊆ ℂ. Podemos
escribir 𝑓(𝑧) en términos de sus componentes real e imaginaria. Si 𝑧 = 𝑥 + 𝑖𝑦 y 𝑤 = 𝑢 + 𝑖𝑣, con
𝑥, 𝑦, 𝑢, 𝑣 ∈ ℝ, entonces
𝑓(𝑥 + 𝑖𝑦) = 𝑢(𝑥, 𝑦) + 𝑖𝑣(𝑥, 𝑦)
donde 𝑢(𝑥, 𝑦) y 𝑣(𝑥, 𝑦) son funciones definidas en la región 𝑅 ⊆ ℝ² con valores en ℝ. Decimos que
𝑢 es la parte real de 𝑓 y 𝑣 la parte imaginaria y usamos la notación
𝑢(𝑥, 𝑦) = Re 𝑓(𝑧), 𝑣(𝑥, 𝑦) = Im 𝑓(𝑧).
entonces
𝑢(𝑥, 𝑦) = 3𝑥 2 − 3𝑦 2 + 5𝑥 − 3 y 𝑣(𝑥, 𝑦) = 6𝑥𝑦 + 5𝑦
2.2 Preguntas
2.2 Ejercicios
𝑧
1. 𝑓(𝑧) =
𝑧−𝑧̅
1
2. 𝑓(𝑧) = |𝑧|
1
3. 𝑓(𝑥 + 𝑖𝑦) = sen 𝑥+𝑖 cos 𝑦
𝑥−𝑖𝑦
4. 𝑓(𝑧) = 1+𝑥+𝑖𝑦
Escriba las siguientes funciones de 𝑧 en la forma 𝑓(𝑥 + 𝑖𝑦) = 𝑢(𝑥, 𝑦) + 𝑖𝑣(𝑥, 𝑦), donde 𝑢 y 𝑣 son
funciones reales explícitas de 𝑥 e 𝑦:
6. 𝑓(𝑧) = (𝑧 + 3𝑖)2
7. 𝑓(𝑧) = |𝑧| − 𝑧 2 + 𝑖
8. 𝑓(𝑧) = 𝑧 −1 + 4𝑖
9. 𝑓(𝑧) = 𝑧 −2 − 2𝑖
10. 𝑓(𝑧) = 𝑧 3
11. 𝑤 = 𝑧 2 + 3𝑧
𝑧 2 +1
12. 𝑤 =
2𝑧
Sea 𝑓(𝑧) una función compleja definida en una región 𝑅 que puede contener o no al punto 𝑧0 .
Decimos que 𝑓(𝑧) tiene límite 𝐿 en 𝑧0 escribiendo,
lim 𝑓(𝑧) = 𝐿
𝑧→𝑧0
si y solo si,
Entonces, para que exista el límite 𝐿 de 𝑓(𝑧) en 𝑧0 , es necesario que para cada 𝜀 > 0 sea posible
encontrar un número 𝛿 > 0, tal que, siempre que 𝑧 ∈ 𝑅 y se encuentre en el disco abierto
agujereado en el centro 𝑧0 , de radio 𝛿, 𝑓(𝑧) estará en el disco abierto centrado en 𝐿 de radio 𝜀 (ver
la Fig. 2.4). Observa que la región 𝑅 sobre la que está definida la función, puede no contener a 𝑧0 y
sin embargo, sea posible calcular el límite de la función en 𝑧0 .
𝑓(𝑧)
𝐿
𝑅
𝑧0
𝑓(𝑧)
𝑧
Como consecuencia de esta definición tenemos el siguiente resultado, que permite calcular el límite
de funciones complejas a través de límites de funciones escalares.
Teorema 2.1 Sea 𝑅 ⊆ ℂ una región y 𝑓(𝑥 + 𝑖𝑦) = 𝑢(𝑥, 𝑦) + 𝑖𝑣(𝑥, 𝑦) una función compleja definida
en 𝑅. Sea 𝑧0 = 𝑥0 + 𝑖𝑦0 y 𝐿 = 𝐴 + 𝑖𝐵, entonces
𝑥 2 − 3𝑦 2 𝑥𝑦
𝑓(𝑥 + 𝑖𝑦) = 2 2
+𝑖 2
𝑥 +𝑦 𝑥 + 𝑦2
𝑥 2 −3𝑦 2
Apliquemos el teorema anterior analizando primero el límite de la parte real lim . Si
(𝑥,𝑦)→(0,0) 𝑥 2 +𝑦2
Si 𝑦 = 0:
𝑥 2 − 3(0)2 𝑥2
lim = lim 2 = lim 1 = 1
(𝑥,0)→(0,0) 𝑥 2 + (0)2 𝑥→0 𝑥 𝑥→0
Si 𝑥 = 0:
(0)2 − 3𝑦 2 −3𝑦 2
lim = lim = lim (−3) = −3
(0,𝑦)→(0,0) (0)2 + 𝑦 2 𝑦→0 𝑦 2 𝑦→0
Como los límites obtenidos son diferentes, concluimos que no existe el límite de la parte real de la
función y, en consecuencia, tampoco existe el límite de la función completa 𝑓(𝑥 + 𝑖𝑦).
𝑧 Re 𝑧
𝑓(𝑧) =
|𝑧|
(𝑥 + 𝑖𝑦)𝑥 𝑥2 𝑥𝑦
𝑓(𝑥 + 𝑖𝑦) = = +𝑖
√𝑥 2 + 𝑦 2 √𝑥 2 + 𝑦 2 √𝑥 2 + 𝑦 2
Entonces,
𝑥2 𝑥𝑦
𝑢(𝑥, 𝑦) = y 𝑣(𝑥, 𝑦) =
√𝑥 2 + 𝑦 2 √𝑥 2 + 𝑦 2
Si evaluamos en puntos cercanos al origen podemos observar que los valores de las imágenes se
aproximan a cero en ambos casos, por lo que intuimos que los dos límites son iguales a cero. Para
demostrarlo, tomemos un número arbitrario 𝜀 > 0. Queremos encontrar un valor 𝛿 > 0 tal que,
𝑥2
0 <∥ (𝑥, 𝑦) − (0,0) ∥ < 𝛿 ⇒ | |<𝜀
√𝑥 2 + 𝑦 2
es decir,
𝑥2
0 < √𝑥² + 𝑦² < 𝛿 ⇒ | |<𝜀
√𝑥 2 + 𝑦 2
𝑥2 𝑥 2 + 𝑦²
≤ = √𝑥² + 𝑦² < 𝛿
√𝑥 2 + 𝑦 2 √𝑥 2 + 𝑦 2
si elegimos 𝛿 = 𝜀, se cumple que para todo (𝑥, 𝑦) con 0 < √𝑥² + 𝑦² < 𝛿, entonces
𝑥2
| | ≤ √𝑥² + 𝑦² < 𝛿 = 𝜀
√𝑥 2 + 𝑦 2
𝑥2
Así, hemos demostrado que lim = 0.
(𝑥,𝑦)→(0,0) √𝑥 2 +𝑦 2
De la misma manera, sea 𝜀 > 0 un número positivo dado. Queremos encontrar un valor 𝛿′ > 0 tal
que
𝑥𝑦
0 < √𝑥 2 + 𝑦 2 < 𝛿′ ⇒ | |<𝜀
√𝑥 2 + 𝑦 2
𝑥𝑦 |𝑥||𝑦| √𝑥 2 + 𝑦 2 √𝑥 2 + 𝑦 2
| |= ≤ = √𝑥 2 + 𝑦 2 < 𝛿′
√𝑥 2 + 𝑦 2 √𝑥 2 + 𝑦 2 √𝑥 2 + 𝑦 2
𝑥𝑦
Por lo que nuevamente hemos probado que lim = 0. Aplicando el teorema 2.1
(𝑥,𝑦)→(0,0) √𝑥 2 +𝑦2
2.3 Preguntas
2. ¿Qué características importantes tiene el concepto del límite de una función en un punto?
2.3 Ejercicios
Calcule los siguientes límites, si es que existen
(𝑧²+𝑧−2)(𝑧+3𝑖)
1. lim (𝑧−1)
𝑧→0
(z²+(2−i)z−2i)
2. lim
𝑧→−2 (𝑧+2)
3. lim 𝑧 ∙ 𝑧̅
𝑧→−𝑖
4. lim 𝑧 2
𝑧→1−4𝑖
sen 𝑥 +𝑖 sen 𝑦
5. La función 𝑓(𝑥 + 𝑖𝑦) = 𝑥−𝑖𝑦
no está definida en 𝑧 = 0. Verifique que no tiene límite
cuando 𝑧 → 0.
Consideremos una función 𝑓(𝑧) definida en una región 𝑅 del plano complejo y 𝑧0 ∈ ℂ. Decimos que
𝑓 es continua en 𝑧0 si y solo si se cumple lo siguiente:
Observa que estas condiciones exigen que la función esté definida en el punto, tenga límite ahí y el
valor del límite coincida con el valor de la función en ese punto.
𝑧 Re 𝑧
Ejemplo 2.8 Analicemos la continuidad de la función 𝑓(𝑧) = |𝑧|
en 𝑧 = 0. Como 𝑓(0) no existe,
En el ejemplo anterior vimos que el límite de la función cuando 𝑧 tiende a cero si existe y es igual a
0:
lim 𝑓(𝑧) = 0
𝑧→0
Podríamos definir 𝑓(0) = 0 de manera que 𝑓(𝑧) fuera continua ahí. La nueva función estaría
definida en ℂ tal que,
𝑧 𝑅𝑒 𝑧
, 𝑠𝑖 𝑧 ≠ 0
𝑓(𝑧) = { |𝑧|
0, 𝑠𝑖 𝑧 = 0
|𝑧|2
𝑓(𝑧) =
𝑧
Vamos a determinar en qué puntos del plano complejo no es continua, no tiene límite o tiene límite,
pero no es continua.
Es claro que la función no está definida en 𝑧 = 0 por lo que no es continua ahí al no cumplir la
primera condición de la definición de continuidad en un punto. Veamos si tiene límite en 𝑧 = 0:
|𝑧|2 𝑧 ∙ 𝑧̅
𝑓(𝑧) = = = 𝑧̅
𝑧 𝑧
Nuevamente podemos redefinir la función para hacerla continua en cero de la siguiente forma
|𝑧|2
𝑓(𝑧) = { 𝑧 , si 𝑧 ≠ 0 ⟺ 𝑓(𝑧) = 𝑧̅
0, si 𝑧 = 0
|𝑧|
𝑓(𝑧) =
𝑧
𝑥 𝑦
𝑢(𝑥, 𝑦) = y 𝑣(𝑥, 𝑦) = −
√𝑥 2 + 𝑦 2 √𝑥 2 + 𝑦 2
Analicemos el límite de 𝑢(𝑥, 𝑦) cuando nos aproximamos al origen por los ejes coordenados
positivos:
Si 𝑦 = 0, 𝑥 > 0
𝑥 𝑥 𝑥 𝑥
lim = lim = lim = lim = lim 1 = 1
(𝑥,0)→(0,0) √𝑥 2 (𝑥,0)→(0,0) √𝑥 2 𝑥→0 √𝑥 2 𝑥→0 𝑥 𝑥→0
+ 𝑦2 + (0)2 𝑥>0 𝑥>0 𝑥>0
𝑥>0 𝑥>0
Si 𝑥 = 0, 𝑦 > 0
𝑥 0 0
lim = lim = lim = lim 0 = 0
(0,𝑦)→(0,0) √𝑥 2 (0,𝑦)→(0,0) √(0)2 𝑦→0 𝑦→0
+ 𝑦2 + 𝑦2 𝑦>0
√𝑦 2 𝑦>0
𝑦>0 𝑦>0
Puesto que estos límites son diferentes, no existe el límite de 𝑢(𝑥, 𝑦) cuando (𝑥, 𝑦) → (0,0).
Análogamente se prueba que no existe el límite de 𝑣(𝑥, 𝑦) cuando (𝑥, 𝑦) → (0,0).
Teorema 2.2 Sea 𝑓(𝑧) es una función definida en una región 𝑅 y 𝑧0 = 𝑥0 + 𝑖𝑦0 ∈ 𝑅. 𝑓(𝑧) es
continua en 𝑧0 si y solo si, tanto 𝑢(𝑥, 𝑦) como 𝑣(𝑥, 𝑦) son continuas en el punto (𝑥0 , 𝑦0 ).
Más adelante, estudiaremos una gama de funciones complejas en las que estableceremos su región
de continuidad.
2.5 Derivadas
|𝑧|2
𝑓(𝑧) = { 𝑧 , si 𝑧 ≠ 0
0, si 𝑧 = 0
Para probar la segunda condición, afirmamos que lim 𝑓(𝑧) = 0. Sea 𝜀 > 0, queremos demostrar
𝑧→0
es decir,
|𝑧|2
|𝑧| < 𝛿 ⇒ | |<𝜀
𝑧
pero
|𝑧|2
| | = |𝑧| < 𝜀
𝑧
haciendo 𝛿 = 𝜀, se tiene:
|𝑧|2
|𝑧| < 𝛿 ⇒ | | = |𝑧| < 𝛿 = 𝜀
𝑧
|ℎ|2
𝑓(0 + ℎ) − 𝑓(0) −0 |ℎ|2
lim = lim ℎ = lim 2 = (1)
ℎ→0 ℎ ℎ→0 ℎ ℎ→0 ℎ
ℎ2
(1) = lim = lim 1 = 1
ℎ→0 ℎ2 ℎ→0
−ℎ2
(1) = lim = lim −1 = −1
ℎ→0 ℎ2 ℎ→0
𝑧
𝑓(𝑧) =
1+𝑧
𝑧+ℎ 𝑧
𝑓(𝑧 + ℎ) − 𝑓(𝑧) ( )−( )
𝑓 ′ (𝑧)
= lim = lim 1 + 𝑧 + ℎ 1 + 𝑧
ℎ→0 ℎ ℎ→0 ℎ
(𝑧 + ℎ) ∙ (1 + 𝑧) − 𝑧 ∙ (1 + 𝑧 + ℎ)
( )
(1 + 𝑧 + ℎ) ∙ (1 + 𝑧)
= lim
ℎ→0 ℎ
𝑧 + 𝑧2 + ℎ + ℎ ∙ 𝑧 − 𝑧 − 𝑧2 − 𝑧 ∙ ℎ 1 1
= lim = lim =
ℎ→0 ℎ ∙ (1 + 𝑧 + ℎ) ∙ (1 + 𝑧) ℎ→0 (1 + 𝑧 + ℎ) ∙ (1 + 𝑧) (1 + 𝑧)2
El siguiente teorema nos permite calcular la derivada de la suma, diferencia, multiplicación y división
de dos funciones en un número complejo directamente, haciendo los procesos más simples. Nota
que las propiedades son idénticas a las que se estudiaron en el cálculo diferencial de una variable
real.
Teorema 2.3 Si 𝑓(𝑧) y 𝑔(𝑧) son funciones complejas definidas en una región 𝑅 y diferenciables en
𝑧0 ∈ 𝑅, entonces:
𝑓(𝑧)
D5. Si 𝐻(𝑧) = 𝑔(𝑧) y 𝑔(𝑧₀) ≠ 0, entonces 𝐻 es diferenciable en 𝑧0 y
Aplicando este teorema podemos derivar rápidamente muchas funciones. Veamos la regla de la
cadena en el caso complejo.
Teorema 2.4 Si 𝑔(𝑧) es una función compleja diferenciable en una región 𝑅 con imagen 𝐸 y 𝑓(𝑤) es
diferenciable en una región que contiene a 𝐸, entonces la composición
𝐹(𝑧) = 𝑓(𝑔(𝑧))
es diferenciable en 𝑅 y
Regla de L'Hôpital Si 𝑔(𝑧0 ) = 0 y ℎ(𝑧0 ) = 0, y 𝑔(𝑧) y ℎ(𝑧) son funciones diferenciables en 𝑧0 con
ℎ′(𝑧0 ) ≠ 0, entonces
𝑔(𝑧) 𝑔′ (𝑧)
lim = lim ′ .
𝑧→𝑧0 ℎ(𝑧) 𝑧→𝑧0 ℎ (𝑧)
0
Desde el punto de vista formal, esta regla para evaluar formas indeterminadas de la forma es
0
En el caso en que 𝑔(𝑧0 ) = 0, ℎ(𝑧0 ) = 0 pero 𝑔′ (𝑧0 ) ≠ 0 y ℎ′(𝑧0 ) = 0 no puede aplicarse la regla de
𝑔(𝑧)
L'Hôpital. Es posible demostrar que lim no existe y que la magnitud de este cociente crece sin
𝑧→𝑧0 ℎ(𝑧)
límite cuando 𝑧 → 𝑧0 .
En la variable compleja se presentan ejemplos que no se ven en cálculo diferencial real, como
funciones que son continuas en todo el plano complejo, pero solo diferenciables en un punto, como
el siguiente ejemplo.
Ejemplo 2.16 Sea 𝑓(𝑧) = |𝑧|2 , es decir 𝑓(𝑥 + 𝑖𝑦) = 𝑥 2 + 𝑦 2 . En este caso 𝑢(𝑥, 𝑦) = 𝑥 2 + 𝑦 2 y
𝑣(𝑥, 𝑦) = 0.
Sin embargo, si 𝑧0 ≠ 0,
𝑓(𝑧0 + ℎ) − 𝑓(𝑧0 ) 𝑧0 ∙ ℎ1
lim = lim ( + 𝑧̅0 + ℎ1 ) = 𝑧0 + 𝑧̅0
ℎ→0 ℎ ℎ1 →0 ℎ1
como 𝑧0 ≠ 0, entonces 𝑧0 + 𝑧̅0 ≠ −𝑧0 + 𝑧̅0 , es decir, 𝑧0 ≠ −𝑧0 por lo que 𝑓 no es diferenciable en
𝑧0 ≠ 0.
Ejemplo 2.17 La función 𝑓(𝑥 + 𝑖𝑦) = 3𝑥 + 4𝑖𝑦 es continua pero no diferenciable en ℂ. En efecto,
sea 𝑧0 = 𝑥0 + 𝑖𝑦0 ∈ ℂ un número arbitrario, entonces por el teorema 2.2,
Como ambos límites son diferentes, no existe el límite. Como 𝑧0 fue arbitrario, 𝑓 no es diferenciable
en ningún punto.
Los ejemplos anteriores indican que no podemos confiarnos a la hora de afirmar la diferenciabilidad
de una función compleja, por muy simple que pueda ser. Veamos condiciones que garantizan la
diferenciabilidad de una función 𝑓(𝑧) en un punto.
Teorema 2.5 Sea 𝑓 una función compleja definida y continua en una región 𝑅 que contiene al punto
𝑧0 = 𝑥0 + 𝑖𝑦0 . Si 𝑓 es diferenciable en 𝑧₀, entonces:
𝑓(𝑧0 + ℎ) − 𝑓(𝑧0 )
𝑓′(𝑧0 ) = lim
ℎ→0 ℎ
= 𝑢𝑥 (𝑥0 , 𝑦0 ) + 𝑖 𝑣𝑥 (𝑥0 , 𝑦0 )
Es decir, 𝑓′(𝑧₀) = 𝑢𝑥 (𝑥0 , 𝑦0 ) + 𝑖 𝑣𝑥 (𝑥0 , 𝑦0 ). Por otro lado, si ℎ es imaginario puro ℎ = 0 + 𝑖ℎ2 ,
Observa que en el teorema anterior las ecuaciones de Cauchy-Riemann proporcionan una condición
necesaria pero no suficiente para que 𝑓(𝑧) tenga derivada en 𝑧₀.
𝑓(𝑧) = 3𝑥 + 4𝑦𝑖
𝑣𝑥 (𝑥, 𝑦) = 0, 𝑣(𝑥, 𝑦) = 4
observamos que en ningún punto (𝑥, 𝑦) se satisfacen las ecuaciones de Cauchy-Riemann, por lo que
por el teorema 2.5 (aplicada desde la perspectiva de la contrarecíproca), 𝑓 no es diferenciable en
ningún punto de ℂ como ya lo habíamos probado antes.
Ejemplo 2.19 Consideremos la función 𝑓(𝑧) = 𝑓(𝑥 + 𝑖𝑦) = |𝑥𝑦|1⁄2 . En este caso,
Veamos que 𝑢 y 𝑣 satisfacen las hipótesis del teorema anterior en el punto 𝑧 = 0, pero 𝑓 no es
derivable ahí.
(aquí ℎ1 ∈ ℝ). Análogamente se puede ver que 𝑢𝑦 (0, 0) = 0. En el caso de la función 𝑣, es trivial
que 𝑣𝑥 (0, 0) = 0 y 𝑣𝑦 (0, 0) = 0.
ii. Dado que todas las derivadas parciales son iguales a cero, se satisfacen las ecuaciones de
Cauchy-Riemann en (0, 0).
si ℎ2 = 0,
𝑓(0 + ℎ) − 𝑓(0) 0
lim = lim = lim 0 = 0
ℎ→0 ℎ ℎ 1 →0 ℎ1 ℎ1 →0
pero si ℎ1 = ℎ2 ,
𝑓(0 + ℎ) − 𝑓(0) |ℎ1 ℎ1 |1⁄2 |ℎ1 | 1 |ℎ1 |
lim = lim = lim = lim
ℎ→0 ℎ ℎ1 →0 ℎ1 + 𝑖ℎ1 ℎ1 →0 (1 + 𝑖)ℎ1 1 + 𝑖 ℎ1 →0 ℎ1
Si ℎ1 > 0
𝑓(0 + ℎ) − 𝑓(0) 1 ℎ1 1 1
lim = lim = lim 1 =
ℎ→0 ℎ 1 + 𝑖 1 ℎ1 1 + 𝑖 1
ℎ →0 ℎ →0 1+𝑖
Pero, si ℎ1 < 0
El siguiente teorema ofrece condiciones suficientes en el teorema anterior para que 𝑓 sea
diferenciable en un número 𝑧₀ ∈ ℂ. Observa la hipótesis adicional de continuidad en una región 𝑅
que contenga a 𝑧0 .
Teorema 2.6 Sea 𝑓(𝑥 + 𝑖𝑦) una función definida en una región 𝑅 que contiene al punto 𝑧0 = 𝑥0 +
𝑖𝑦0 . Si
entonces 𝑓 es diferenciable en 𝑧0 y
𝑓(𝑧) = 𝑧²
𝑓 ′ (𝑧) = 2𝑥 + 𝑖2𝑦 = 2𝑧
Ejemplo 2.21 La función analizada en el ejemplo 2.16 𝑓(𝑧) = |𝑧|² = 𝑥² + 𝑦², está definida en todo
el plano complejo, además
𝑣𝑥 (𝑥, 𝑦) = 0, 𝑣𝑦 (𝑥, 𝑦) = 0,
En este caso la derivada coincide con la función original. Observa que cuando 𝑧 = 𝑥 es un número
real, 𝑓(𝑧) = 𝑓(𝑥) = 𝑒 𝑥 coincide como la función exponencial real. Más adelante veremos que así
se define la función 𝑒 𝑧 .
Preguntas
Ejercicios
1. Analiza la continuidad y diferenciabilidad de la función 𝑓(𝑧) = 𝑧̅, es decir 𝑓(𝑥 + 𝑖𝑦) = 𝑥 − 𝑖𝑦.
2.5 Analiticidad
Decimos que una función compleja 𝑓(𝑧) definida en una región 𝑅 que contiene al punto 𝑧₀ es
analítica en 𝑧₀ si existe 𝑟 > 0 tal que el disco abierto |𝑧 − 𝑧₀| < 𝑟 ⊆ 𝑅 y 𝑓 es diferenciable en cada
punto de dicho disco.
Ejemplo 2.23 Como vimos en el ejemplo 2.21, la función 𝑓(𝑧) = |𝑧|², es diferenciable solamente en
𝑧0 = 0, por lo que no es analítica en ese punto.
El siguiente teorema proporciona una condición necesaria y suficiente para la analiticidad de una
función en una región.
Teorema 2.7 𝑓(𝑧) es una función analítica en una región 𝑅 si y solo si, 𝑢(𝑥, 𝑦) y 𝑣(𝑥, 𝑦) poseen
primeras derivadas parciales continuas en todo punto de 𝑅 y satisfacen las ecuaciones de Cauchy-
Riemann
Sea 𝑧 = 𝑟(cos 𝜃 + 𝑖 sen 𝜃) una variable compleja en forma trigonométrica y 𝑓(𝑧) = 𝑤 una función
compleja. Supongamos que 𝑤 = 𝑢(𝑟, 𝜃) + 𝑖𝑣(𝑟, 𝜃). Aplicando la regla de la cadena,
𝜕𝑢 𝜕𝑢 𝜕𝑟 𝜕𝑢 𝜕𝜃 𝜕𝑢 𝜕𝑢 𝜕𝑟 𝜕𝑢 𝜕𝜃
= + , = + ,
𝜕𝑥 𝜕𝑟 𝜕𝑥 𝜕𝜃 𝜕𝑥 𝜕𝑦 𝜕𝑟 𝜕𝑦 𝜕𝜃 𝜕𝑦
𝜕𝑣 𝜕𝑣 𝜕𝑟 𝜕𝑣 𝜕𝜃 𝜕𝑣 𝜕𝑣 𝜕𝑟 𝜕𝑣 𝜕𝜃
= + , = +
𝜕𝑥 𝜕𝑟 𝜕𝑥 𝜕𝜃 𝜕𝑥 𝜕𝑦 𝜕𝑟 𝜕𝑦 𝜕𝜃 𝜕𝑦
𝑦
donde 𝑧 = 𝑥 + 𝑖𝑦, 𝑟 = √𝑥 2 + 𝑦 2 , y 𝜃 = tan−1 ( ) por lo que,
𝑥
𝜕𝑟 1 𝑥 𝑥
= (𝑥 2 + 𝑦 2 )−1⁄2 (2𝑥) = = = cos 𝜃
𝜕𝑥 2 √𝑥 2 + 𝑦 2 𝑟
𝜕𝑟 1 𝑦 𝑦
= (𝑥 2 + 𝑦 2 )−1⁄2 (2𝑦) = = = sen 𝜃
𝜕𝑦 2 2
√𝑥 + 𝑦 2 𝑟
𝜕𝜃 1 𝑦 𝑦 𝑦 1𝑦 1
= 2 (− 𝑥 2 ) =− =− 2=− = − sen 𝜃
𝜕𝑥 𝑦 𝑥2 +𝑦 2 𝑟 𝑟𝑟 𝑟
1 + (𝑥 )
𝜕𝜃 1 1 𝑥 𝑥 1𝑥 1
= 2 (𝑥 ) = = 2= = cos 𝜃
𝜕𝑦 𝑦 𝑥2 +𝑦 2 𝑟 𝑟𝑟 𝑟
1 + (𝑥 )
𝜕𝑢 𝜕𝑣 𝜕𝑢 𝜕𝑟 𝜕𝑢 𝜕𝜃 𝜕𝑣 𝜕𝑟 𝜕𝑣 𝜕𝜃
0= − = + − −
𝜕𝑥 𝜕𝑦 𝜕𝑟 𝜕𝑥 𝜕𝜃 𝜕𝑥 𝜕𝑟 𝜕𝑦 𝜕𝜃 𝜕𝑦
𝜕𝑢 𝜕𝑢 1 𝜕𝑣 𝜕𝑣 1
= cos 𝜃 + (− sen 𝜃) − sen 𝜃 − cos 𝜃
𝜕𝑟 𝜕𝜃 𝑟 𝜕𝑟 𝜕𝜃 𝑟
𝜕𝑢 1 𝜕𝑣 1 𝜕𝑢 𝜕𝑣
=( − ) cos 𝜃 − ( + ) sen 𝜃
𝜕𝑟 𝑟 𝜕𝜃 𝑟 𝜕𝜃 𝜕𝑟
𝜕𝑢 𝜕𝑣 𝜕𝑢 𝜕𝑟 𝜕𝑢 𝜕𝜃 𝜕𝑣 𝜕𝑟 𝜕𝑣 𝜕𝜃
0= + = + + +
𝜕𝑦 𝜕𝑥 𝜕𝑟 𝜕𝑦 𝜕𝜃 𝜕𝑦 𝜕𝑟 𝜕𝑥 𝜕𝜃 𝜕𝑥
𝜕𝑢 𝜕𝑢 1 𝜕𝑣 𝜕𝑣 1
= sen 𝜃 + cos 𝜃 + cos 𝜃 + (− sen 𝜃)
𝜕𝑟 𝜕𝜃 𝑟 𝜕𝑟 𝜕𝜃 𝑟
1 𝜕𝑢 𝜕𝑣 𝜕𝑢 1 𝜕𝑣
=( + ) cos 𝜃 + ( − ) sen 𝜃
𝑟 𝜕𝜃 𝜕𝑟 𝜕𝑟 𝑟 𝜕𝜃
Si denotamos por,
𝜕𝑢 1 𝜕𝑣 1 𝜕𝑢 𝜕𝑣
𝑙 = − , 𝑚 = +
𝜕𝑟 𝑟 𝜕𝜃 𝑟 𝜕𝜃 𝜕𝑟
obtenemos el siguiente sistema de ecuaciones lineales homogéneo de dos ecuaciones con dos
incógnitas,
𝑙 cos 𝜃 − 𝑚 sen 𝜃 = 0
{
𝑙 sen 𝜃 + 𝑚 cos 𝜃 = 0
cuyo determinante principal es igual a uno indicando que el sistema tiene sólo la solución trivial 𝑙 =
0, 𝑚 = 0, es decir,
𝜕𝑢 1 𝜕𝑣 𝜕𝑣 1 𝜕𝑢
= , =−
𝜕𝑟 𝑟 𝜕𝜃 𝜕𝑟 𝑟 𝜕𝜃
O bien, en forma resumida
1 1
𝑢𝑟 (𝑟, 𝜃) = 𝑣𝜃 (𝑟, 𝜃), 𝑣𝑟 (𝑟, 𝜃) = − 𝑢𝜃 (𝑟, 𝜃)
𝑟 𝑟
1 1
𝑓 ′ (𝑧) = 𝑢𝑥 (𝑥, 𝑦) + 𝑖 𝑣𝑥 (𝑥, 𝑦) = (𝑢𝑟 cos 𝜃 − 𝑢𝜃 sen 𝜃) + 𝑖 (𝑣𝑟 cos 𝜃 − 𝑣𝜃 sen 𝜃)
𝑟 𝑟
entonces
𝑢(𝑟, 𝜃) = 𝑟 𝑛 cos 𝑛𝜃 y 𝑣(𝑟, 𝜃) = 𝑟 𝑛 sen 𝑛𝜃
1 1
𝑓 ′ (𝑧) = (𝑢𝑟 cos 𝜃 − 𝑢𝜃 sen 𝜃) + 𝑖 (𝑣𝑟 cos 𝜃 − 𝑣𝜃 sen 𝜃)
𝑟 𝑟
1
= (𝑛𝑟 𝑛−1 cos 𝑛𝜃 cos 𝜃 − (−𝑛𝑟 𝑛 sen 𝑛𝜃) sen 𝜃))
𝑟
1
+ 𝑖 (𝑛𝑟 𝑛−1 sen 𝑛𝜃 cos 𝜃 − 𝑛𝑟 𝑛 cos 𝑛𝜃 sen 𝜃)
𝑟
= (𝑛𝑟 𝑛−1 cos 𝑛𝜃 cos 𝜃 + 𝑛𝑟 𝑛−1 sen 𝑛𝜃 sen 𝜃)
+ 𝑖(𝑛𝑟 𝑛−1 sen 𝑛𝜃 cos 𝜃 − 𝑛𝑟 𝑛−1 cos 𝑛𝜃 sen 𝜃) =
= 𝑛𝑟 𝑛−1 (cos(𝑛𝜃 − 𝜃) + 𝑖 sen(𝑛𝜃 − 𝜃))
= 𝑛𝑟 𝑛−1 (cos(𝑛 − 1)𝜃 + 𝑖 sen(𝑛 − 1)𝜃) = 𝑛𝑧 𝑛−1
3 Funciones Elementales
En este capítulo estudiaremos las principales funciones de variable compleja y analizaremos sus
propiedades para la realización de ejercicios.
Llamamos operaciones elementales de las funciones 𝑓(𝑧) y 𝑔(𝑧) cualquiera de las siguientes:
𝑓(𝑧)
𝑓(𝑧) ± 𝑔(𝑧), 𝑓(𝑧) ∙ 𝑔(𝑧), , 𝑓(𝑧)𝑎 , 𝑎 𝑓(𝑧) , 𝑎∈ℂ
𝑔(𝑧)
Una función elemental es una función o la inversa de una función generada a partir de constantes y
la variable independiente por medio de una sucesión finita de operaciones elementales.
𝑝(𝑧) = 𝑎0 + 𝑎1 𝑧 + 𝑎2 𝑧 2 + ⋯ + 𝑎𝑛 𝑧 𝑛 , 𝑎𝑖 ∈ ℂ, 𝑖 = 1, … 𝑛, 𝑎𝑛 ≠ 0
Estas funciones son diferenciables en todo punto de ℂ y su derivada está dada por
𝑎𝑖 ∈ ℂ, 𝑖 = 1, … 𝑛, 𝑎𝑛 ≠ 0, 𝑏𝑖 ∈ ℂ, 𝑖 = 1, … 𝑚, 𝑏𝑚 ≠ 0
(1 + 𝑖)𝑧 3 − (1 − 𝑖)𝑧 2
𝑓(𝑧) = , si 𝑧 ≠ 𝑖, −𝑖
𝑧2 + 1
Queremos definir una función que sea una extensión de la función exponencial real, es decir, que
cumpla con las siguientes condiciones:
i. Si 𝑧 = 𝑥 ∈ ℝ ⇒ 𝑓(𝑧) = 𝑒 𝑥
Tratemos de deducir qué forma podría tener recordando del cálculo diferencial real que si 𝑢 ∈ ℝ,
∞
𝑢
𝑢𝑘
𝑒 =∑
𝑘!
𝑘=0
Sustituyendo 𝑢 por 𝑖𝑦
∞ ∞ ∞ ∞ ∞
𝑖𝑦
(𝑖𝑦)𝑘 (𝑖𝑦)2𝑘 (𝑖𝑦)2𝑘+1 (𝑖)2𝑘 (𝑦)2𝑘 (𝑖)2𝑘 𝑖(𝑦)2𝑘+1
𝑒 =∑ =∑ +∑ =∑ +∑
𝑘! (2𝑘)! (2𝑘 + 1)! (2𝑘)! (2𝑘 + 1)!
𝑘=0 𝑘=0 𝑘=0 𝑘=0 𝑘=0
pero como:
𝑖⁰ = 1, 𝑖² = −1, 𝑖⁴ = 1, 𝑖⁶ = −1, … , (𝑖)2𝑘 = (−1)𝑘
entonces
∞ ∞
𝑖𝑦
(−1)𝑘 (𝑦)2𝑘 (−1)𝑘 (𝑦)2𝑘+1
𝑒 =∑ +𝑖∑ = cos 𝑦 + 𝑖 sen 𝑦
(2𝑘)! (2𝑘 + 1)!
𝑘=0 𝑘=0
Esta función satisface incluso la propiedad (ii) como se puede ver en el ejemplo 2.22. Por tanto,
definimos la función exponencial compleja como la función que asigna a cada 𝑧 = 𝑥 + 𝑖𝑦 ∈ ℂ el
número complejo
𝑒 𝑧 = 𝑒 𝑥 (cos 𝑦 + 𝑖 sen 𝑦)
Sean 𝑝, 𝑞 ∈ ℤ, 𝑞 ≠ 0, entonces
EX2: 𝑒 𝑧 = 𝑒 𝑥 𝑒 𝑖𝑦
1
EX3: 𝑒 −𝑧 = 𝑒 𝑧
EX4: 𝑒 𝑧̅ = ̅̅̅
𝑒𝑧
EX5: |𝑒 𝑧 |=𝑒 Re 𝑧
EX6: (𝑒 𝑧 )𝑝 =𝑒 𝑝𝑧
1 1
(𝑧+𝑖2𝜋𝑘)
EX7: (𝑒 𝑧 )𝑞 =𝑒 𝑞
𝑝 𝑝
(𝑧+𝑖2𝜋𝑘)
EX8: (𝑒 𝑧 )𝑞 =𝑒 𝑞
EX9: 𝑒 𝑧1 +𝑧2 =𝑒 𝑧1 𝑒 𝑧2
𝑑
EX10: 𝑑𝑧 (𝑒 𝑧 ) = 𝑒 𝑧
Demostración de EX1:
𝑒 𝑖𝑦 = 𝑒 0+𝑖𝑦 = 𝑒 0 (cos 𝑦 + 𝑖 sen 𝑦) = cos 𝑦 + 𝑖 sen 𝑦
Demostración de EX2:
𝑒 𝑧 = 𝑒 𝑥+𝑖𝑦 = 𝑒 𝑥 (cos 𝑦 + 𝑖 sen 𝑦) = 𝑒 𝑥 𝑒 𝑖𝑦
Demostración de EX3:
𝑒 −𝑧 = 𝑒 −𝑥−𝑖𝑦 = 𝑒 −𝑥 (cos(−𝑦) + 𝑖 sen(−𝑦)) = 𝑒 −𝑥 (cos 𝑦 − 𝑖 sen 𝑦)
1 (cos 𝑦 − 𝑖 sen 𝑦)(cos 𝑦 + 𝑖 sen 𝑦) 1
= = 𝑧
𝑒𝑥 (cos 𝑦 + 𝑖 sen 𝑦) 𝑒
Demostración de EX4:
|𝑒 𝑧 |2 = 𝑒 𝑧 ̅̅̅
𝑒 𝑧 = 𝑒 𝑥 (cos 𝑦 + 𝑖 sen 𝑦)𝑒 𝑥 (cos 𝑦 − 𝑖 sen 𝑦) = 𝑒 2𝑥 (cos2 𝑦 + sen2 𝑦) = 𝑒 2𝑥 = (𝑒 𝑥 )2
por lo tanto: |𝑒 𝑧 | = 𝑒 𝑥 = 𝑒 Re 𝑧 .
𝑝
(𝑒 𝑧 )𝑝 = (𝑒 𝑥 (cos 𝑦 + 𝑖 sen 𝑦)) = 𝑒 𝑝𝑥 (cos 𝑝𝑦 + 𝑖 sen 𝑝𝑦) = 𝑒 𝑝𝑥+𝑖𝑝𝑦 = 𝑒 𝑝𝑧
Demostración de EX7:
1 1 𝑥 𝑦 + 2𝑘𝜋 𝑦 + 2𝑘𝜋
(𝑒 𝑧 )𝑞 = (𝑒 𝑥 (cos 𝑦 + 𝑖 sen 𝑦))𝑞 = 𝑒 𝑞 (cos + 𝑖 sen ) , 𝑘 = 0,1, … , 𝑞 − 1
𝑞 𝑞
𝑥 𝑦+2𝑘𝜋 𝑥+𝑖𝑦+2𝑘𝜋 1
+𝑖 (𝑧+2𝑘𝜋𝑖)
= 𝑒𝑞 𝑞 =𝑒 𝑞 = 𝑒𝑞 , 𝑘 = 0,1, … , 𝑞 − 1
𝑝 1 𝑞
Demostración de EX8: Ya que (𝑒 𝑧 )𝑞 = ((𝑒 𝑧 )𝑞 ) , aplicando la propiedad anterior,
𝑝 1 𝑝 1 𝑝 𝑝
(𝑧+2𝑘𝜋𝑖) (𝑧+2𝑘𝜋𝑖)
(𝑒 𝑧 )𝑞 = 𝑧 𝑞
((𝑒 ) ) = (𝑒 𝑞 ) = 𝑒𝑞 , 𝑘 = 0,1, … , 𝑞 − 1
Demostración de EX11: Recordemos que una función es periódica si existe un número 𝑤 ∈ ℂ tal
que 𝑓(𝑧 + 𝑤) = 𝑓(𝑧), para todo 𝑧 ∈ ℂ. Supongamos que
𝑒 𝑧+𝑤 = 𝑒 𝑧 , para todo 𝑧 ∈ ℂ
en particular si 𝑧 = 0:
𝑒𝑤 = 1
y si 𝑤 = 𝑠 + 𝑡𝑖,
|𝑒 𝑤 | = 1 ⇒ 𝑒 𝑠 = 1 ⇒ 𝑠 = 0 ⇒ 𝑤 = 𝑡𝑖
Así,
En conclusión, 𝑤 = 𝑠 + 𝑡𝑖 = 0 + 2𝜋𝑛𝑖.
Observa que si 𝑧 se expresa en forma polar como 𝑧 = 𝑟(cos 𝜃 + 𝑖 sin 𝜃), para 𝑟 > 0, podemos
escribir
𝑧 = 𝑟𝑒 𝑖𝜃
y,
𝑧̅ = 𝑟𝑒 −𝑖𝜃
y si 𝑟₂ ≠ 0,
𝑧1 𝑟1 𝑒 𝑖𝜃1 𝑟1 𝑖(𝜃 −𝜃 )
= = 𝑒 1 2
𝑧2 𝑟2 𝑒 𝑖𝜃2 𝑟2
A cada punto 𝑧 = 𝑥 + 𝑖𝑦, le asigna el punto 𝑒 𝑧 = 𝑒 𝑥 (cos 𝑦 + 𝑖 sen 𝑦) que en realidad es la forma
trigonométrica de un número complejo con módulo 𝑒 𝑥 y argumento 𝑦. Entonces, podemos
visualizar la transformación de ℂ en ℂ que asignando a cada número complejo dado en forma de
par ordenado 𝑧 = (𝑥, 𝑦), el número de módulo 𝑒 𝑥 y argumento 𝑦 (ver Fig. 3.1)
si 𝑦 = Arg 𝑧 entonces, el punto (𝑥, 𝑦) se encuentra en la franja horizontal que va de (−𝜋, 𝜋]. Así,
𝐼𝑚 𝑧 𝐼𝑚 z
𝜋
𝑒𝑧
𝑥
𝑒
𝑧 = (𝑥, 𝑦)
𝑦
𝑅𝑒 𝑧 𝑅𝑒 𝑧
−𝜋
Para poder tener una idea de cómo definir congruentemente las funciones seno y coseno de un
número complejo 𝑧, analicemos cómo se comportan en la función exponencial. Sea 𝑦 ∈ ℝ,
entonces
𝑒 𝑖𝑦 = cos 𝑦 + 𝑖 sen 𝑦
{
𝑒 −𝑖𝑦 = cos 𝑦 − 𝑖 sen 𝑦
𝑖𝑦
| 𝑒−𝑖𝑦 𝑖 | −𝑖𝑒 𝑖𝑦 − 𝑖𝑒 −𝑖𝑦 𝑖 𝑒 𝑖𝑦 + 𝑒 −𝑖𝑦
cos 𝑦 = 𝑒 −𝑖 = =
1 𝑖 −2𝑖 𝑖 2
| |
1 −𝑖
𝑖𝑦
|1 𝑒−𝑖𝑦 | 𝑒 −𝑖𝑦 − 𝑒 𝑖𝑦 𝑒 𝑖𝑦 − 𝑒 −𝑖𝑦
sen 𝑦 = 1 𝑒 = =
1 𝑖 −2𝑖 2𝑖
| |
1 −𝑖
Como se desea que las funciones trigonométricas de números complejos sean una extensión de las
funciones trigonométricas de números reales, estas igualdades proporcionan la pauta de cómo
podemos definirlas.
cos 𝑧 1 1
cot 𝑧 = , sec z = , csc 𝑧 =
sen 𝑧 cos 𝑧 sen 𝑧
𝑒 𝑖𝑧
sen 𝑧 = 0 ⟺ 𝑒 𝑖𝑧 = 𝑒 −𝑖𝑧 ⇔ = 1 ⇔ 𝑒 𝑖𝑧 𝑒 𝑖𝑧 = 1 ⇔ 𝑒 2𝑧𝑖 = 1 ⇔ 2𝑧𝑖 = 2𝜋𝑛𝑖, 𝑛 ∈ ℤ ⇔ 𝑧
𝑒 −𝑖𝑧
= 𝜋𝑛, 𝑛 ∈ ℤ
Así, función seno tiene solo ceros reales, los mismos que ya conocíamos.
Para hallar los ceros de la función coseno primeros necesitamos resolver la ecuación 𝑒 𝑧 = −1:
𝑒 𝑥 cos 𝑦 = −1
𝑒 𝑧 = −1 ⇔ 𝑒 𝑥 (cos 𝑦 + 𝑖 sen 𝑦) = −1 ⇔ {
𝑒 𝑥 sen 𝑦 = 0
Pero
𝑒 𝑥 sen 𝑦 = 0 ⇔ 𝑦 = 𝜋𝑛, 𝑛 ∈ ℤ
1, si 𝑛 es par
y cos 𝜋𝑛 = { y 𝑒 𝑥 > 0 para todo 𝑥 ∈ ℝ, entonces concluimos que 𝑦 = 𝜋𝑛,
−1, si 𝑛 es impar
con 𝑛 impar y 𝑒 𝑥 = 1, o sea 𝑥 = 0. Entonces 𝑧 = 0 + 𝑖𝜋𝑛, 𝑛 ∈ ℤ, 𝑛 impar.
𝑖𝑧 −𝑖𝑧
𝑒 𝑖𝑧
cos 𝑧 = 0 ⇔ 𝑒 = −𝑒 ⇔ −𝑖𝑧 = −1 ⇔ 𝑒 2𝑖𝑧 = −1 ⇔ 2𝑖𝑧 = 𝑖𝜋𝑛, 𝑛 impar ⇔ 𝑧
𝑒
𝜋
= 𝑛, 𝑛 impar
2
Nuevamente, la función coseno tiene sus ceros exclusivamente en el campo de números reales.
En los puntos en que las seis funciones están definidas, son diferenciables y sus derivadas son,
Asimismo, las funciones trigonométricas son analíticas excepto en los números donde se indefinen.
A continuación, vamos a expresar las funciones seno y coseno en la forma 𝑢 + 𝑖𝑣. Para ello,
recordemos cómo se definen las funciones hiperbólicas seno y coseno en un número real 𝑦,
𝑒 𝑦 − 𝑒 −𝑦 𝑒 𝑦 + 𝑒 −𝑦
senh 𝑦 = , cosh 𝑦 =
2 2
obteniendo la identidad
Y en particular la fórmula,
cos 𝑖𝑦 = cosh 𝑦 , 𝑦 ∈ ℝ
además
cos 𝑧̅ = cos(𝑥 − 𝑖𝑦) = cos 𝑥 cosh(−𝑦) + 𝑖 sen 𝑥 senh(−𝑦) = cos 𝑥 cosh 𝑦 − 𝑖 sen 𝑥 senh 𝑦
= ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
cos(𝑥 + 𝑖𝑦) = ̅̅̅̅̅̅
cos 𝑧
Para finalizar el estudio de las funciones trigonométricas, es necesario comentar que existe una
propiedad muy importante que las funciones seno y coseno satisfacen en el campo de los números
reales, pero que no se cumple en ℂ:
| sen 𝑧 | ≰ 1 𝑦 | cos 𝑧 | ≰ 1
pero
𝑒 𝑦 − 𝑒 −𝑦
senh 𝑦 =
2
Las funciones hiperbólicas se definen para aquellos números complejos donde el denominador no
se anula, de la siguiente forma:
𝑒 𝑧 − 𝑒 −𝑧 𝑒 𝑧 − 𝑒 −𝑧 senh 𝑧
senh 𝑧 = , cosh 𝑧 = , tanh 𝑧 = ,
2 2 cosh 𝑧
cosh 𝑧 1 1
coth 𝑧 = , sech 𝑧 = , csch 𝑧 =
senh 𝑧 cosh 𝑧 senh 𝑧
Como 𝑒 𝑧 y 𝑒 −𝑧 son funciones analíticas en ℂ, las funciones senh 𝑧 y cosh 𝑧 también los son. Para
determinar la región de analiticidad de las demás, analicemos los ceros de las funciones seno
hiperbólico y coseno hiperbólico.
En el campo de los números reales, el seno hiperbólico se anula sólo en el cero y el coseno
hiperbólico carece de soluciones, sin embargo, no sabemos si en el campo de los números complejos
existan ceros adicionales:
es decir,
Entonces,
senh 𝑥 cos 𝑦 = 0
senh(𝑥 + 𝑖𝑦) = 0 ⇔ {
cosh 𝑥 sen 𝑦 = 0
La segunda ecuación es cero si y sólo si alguno de los factores es cero, pero cosh 𝑥 ≠ 0 para todo
número real 𝑥, entonces sen 𝑦 = 0 ⇔ 𝑦 = 𝑘𝜋, 𝑘 ∈ ℤ. Sustituyendo este valor en la primera
ecuación tenemos que cos 𝑦 = cos 𝑘𝜋 = ±1 ≠ 0, por lo tanto, senh 𝑥 = 0 ⟺ 𝑥 = 0. Entonces,
Entonces,
cosh 𝑥 cos 𝑦 = 0 𝜋
cosh(𝑥 + 𝑖𝑦) = 0 ⇔ { ⇔ 𝑥 + 𝑖𝑦 = 0 + 𝑖 𝑘, 𝑘 ∈ ℤ, impar
senh 𝑥 sen 𝑦 = 0 2
𝜋
De lo anterior podemos concluir que tanh 𝑧 y sech 𝑧 son analíticas en ℂ ∖ {𝑧: 𝑧 = 0 + 𝑖 2 𝑘, 𝑘 ∈
Las funciones hiperbólicas al igual que las funciones trigonométricas satisfacen una serie de
identidades, de las cuales podemos mencionar las siguientes:
Hi1: senh 𝑖𝑦 = 𝑖 sen 𝑦
(coth 𝑧)′ = csch2 𝑧 , (sech 𝑧)′ = − sech 𝑧 tanh 𝑧 , (csch 𝑧)′ = − csch 𝑧 coth 𝑧
Sus demostraciones son directas aplicando el álgebra de derivadas y se dejan como ejercicios.
Hemos visto que la función 𝑒 𝑧 nunca toma el valor de cero, esto significa que la ecuación 𝑤 = 𝑒 𝑧
no tiene solución si 𝑤 = 0. Sea 𝑤 un número complejo distinto con cero, representándolo en forma
trigonométrica:
Observamos que arg 𝑤 puede tomar una infinidad de valores. Seleccionemos un valor específico 𝜃
de arg 𝑤, entonces
𝑤 = |𝑤|𝑒 𝑖𝜃
Consideremos el número 𝑧 = ln |𝑤| + 𝑖𝜃, donde ln |𝑤| denota al logaritmo natural del número real
positivo |𝑤|, entonces:
Lo interesante es que cada valor de 𝑧 con diferentes valores de arg 𝑤 proporciona una solución de
la ecuación. De este análisis vamos a establecer el concepto de función logaritmo.
Ejemplo 3.2 Sea 𝑧 = 2 + 3𝑖 = √13(cos 0.98279 + 𝑖 sen 0.98279), entonces el número complejo
𝑤1 = ln √13 + 𝑖0.98279 y 𝑤2 = ln √13 + 𝑖(0.98279 + 2𝜋) son ambos logaritmos de 𝑧.
Ejemplo 3.3 Sea 𝑧 = 𝑥 + 0𝑖 un número real positivo, entonces arg 𝑧 = 2𝑘𝜋, 𝑘 ∈ ℤ. Los logaritmos
de este número son de la forma
𝑤 = ln |𝑧| + 2𝑘𝜋𝑖, 𝑘 ∈ ℤ
Observa que de todos estos valores hay uno que coincide con el logaritmo natural real cuando
arg 𝑧 = 0 = Arg 𝑧.
Para cada número complejo 𝑧, 𝑧 ≠ 0 definimos el valor principal del logaritmo de 𝑧 como,
1
Lo3: (log 𝑧)′ = 𝑧 , para cada 𝑧 ∈ ℂ ∖ {𝑧 ∈ ℂ: 𝑧 ≤ 0}
Lo4: Para todo 𝑧, 𝑧 ≠ 0 cualesquiera ramas de la función logarítmica difieren por un múltiplo
entero de 2𝜋𝑖.
Antes de realizar las demostraciones, recuerda que en los números complejos no existe una relación
de orden, por lo que el conjunto {𝑧 ∈ ℂ: 𝑧 ≤ 0} en realidad denota al conjunto {𝑧 ∈ ℂ: Re 𝑧 ≤
0 𝑒 Im 𝑧 = 0 }
En cada caso, basta hacer la demostración para una rama arbitraria de la función logarítmica,
digamos (2𝑘 − 1)𝜋 < arg 𝑧 ≤ (2𝑘 + 1)𝜋, 𝑘 ∈ ℤ, con 𝑘 fijo.
Sea 𝑧0 < 0 un número negativo. A este número le corresponde en esta rama de la función
logaritmo, el valor de arg 𝑧0 = (2𝑘 + 1)𝜋. Si tomamos valores de 𝑧 cercanos a 𝑧0 en el segundo
cuadrante del plano complejo, arg 𝑧 → arg 𝑧0 pero si son cercanos a 𝑧0 en el tercer cuadrante,
arg 𝑧 → arg 𝑧0 − 2𝜋. Esto quiere decir que
arg 𝑧0 , Im 𝑧 > 0
lim log 𝑧 = lim ln |𝑧| + 𝑖 lim arg 𝑧 = ln |𝑧₀| + 𝑖 {
𝑧→𝑧0 𝑧→𝑧0 𝑧→𝑧0 arg 𝑧0 − 2𝜋, Im 𝑧 < 0
1 1
𝑢𝑟 = 𝑣𝜃 , 𝑣𝑟 = 𝑢𝜃
𝑟 𝑟
1 1 1 1
(log 𝑧)′ = (𝑢𝑟 cos 𝜃 − 𝑢𝜃 sen 𝜃) + 𝑖 (𝑣𝑟 cos 𝜃 − 𝑣𝜃 sen 𝜃) = ( cos 𝜃) + 𝑖 (− sen 𝜃)
𝑟 𝑟 𝑟 𝑟
1 1
= (cos 𝜃 − 𝑖 sen 𝜃) =
𝑟 𝑧
Veamos una definición muy útil para trabajar con las distintas ramas de la función logarítmica.
𝑧
Lo6: log (𝑧1 ) = (log 𝑧1 − log 𝑧2 )(módulo 2𝜋𝑖)
2
Así,
Log (𝑧1 𝑧2 ) = Log 𝑧1 + Log 𝑧2 − 2𝜋𝑖
𝑧 𝑎 = 𝑒 𝑎 log 𝑧
Al igual que log 𝑧, esta función consta de una colección de ramas, determinadas por las ramas de la
función logarítmica. Además, se puede escribir en términos de la función Log 𝑧. En efecto, si 𝑧 =
|𝑧|𝑒 𝑖 arg 𝑧 , |𝑧| es un número fijo y arg 𝑧 = 𝜃 + 2𝑘𝜋, 𝑘 ∈ ℤ es el argumento de 𝑧, donde 𝜃 = Arg 𝑧
es el argumento principal en el intervalo (−𝜋, 𝜋]. Entonces,
log 𝑧 = ln|𝑧| + 𝑖 arg 𝑧 = ln|𝑧| + 𝑖 (Arg 𝑧 + 2𝑘𝜋) , 𝑧 ∈ ℤ = Log 𝑧 + 2𝑘𝜋𝑖, para algún 𝑘 ∈ ℤ
Por lo tanto,
𝑧 𝑎 = 𝑒 𝑎 log 𝑧 = 𝑒 𝑎 Log 𝑧+2𝑎𝑘𝜋𝑖 = 𝑒 𝑎 Log 𝑧 𝑒 2𝑎𝑘𝜋𝑖
Caso 1: Si 𝑎 es un entero,
𝜋 3𝜋 3𝜋 3𝜋
𝑖 3 = 𝑒 3 log 𝑖 = 𝑒 3 ln|𝑖| 𝑒 𝑖 2 = 𝑒 3 ln 1 𝑒 𝑖 2 = 𝑒 0 (cos + 𝑖 sin ) = −𝑖
2 2
𝑝 𝑝
Caso II. Si 𝑎 es un número racional, sea 𝑎 = 𝑞 , donde 𝑝, 𝑞 ∈ ℤ, 𝑞 > 0 y la fracción 𝑞 es irreducible,
entonces
𝑝 𝑝 𝑝 𝑝 𝑝 𝑝 𝑝
log 𝑧 Log 𝑧 2𝑘𝜋𝑖 (ln|𝑧|+𝑖𝜃) 2𝑘𝜋𝑖 ln|𝑧| 𝑖 (𝜃+2𝑘𝜋)
𝑧 𝑎 = 𝑧 𝑝⁄𝑞 = 𝑒 𝑞 = 𝑒𝑞 𝑒 𝑞 = 𝑒𝑞 𝑒 𝑞 = 𝑒𝑞 𝑒𝑞
𝑝 𝜃+2𝑘𝜋
ln|𝑧| 𝑖𝑝( 𝑞 )
= 𝑒𝑞 𝑒
𝑝 𝑝 𝑝 𝑝 𝑝
ln|𝑧| 𝑖 Arg 𝑧 𝑖2𝑘𝜋 Log 𝑧 𝑖2𝑘𝜋
𝑧 𝑝⁄𝑞 = 𝑒 𝑞 𝑒𝑞 𝑒 𝑞 = 𝑒𝑞 𝑒 𝑞, 𝑘 = 0,1, … , 𝑞 − 1
𝑝
proporciona los 𝑞 valores distintos de 𝑧 𝑎 , cuando 𝑎 = 𝑞 es un racional.
1 1
𝑧 1⁄2 = 𝑒 2 Log 𝑧 𝑒 𝑖2𝑘𝜋2 , 𝑘 = 0,1
i.e.
1 𝑖
log 𝑧 |𝑧|1⁄2 𝑒 2 Arg 𝑧
= { 1𝑒
1/2 2
𝑧 ={ 𝑖
𝑒 2 log 𝑧 𝑒 𝑖𝜋 −|𝑧|1⁄2 𝑒 2 Arg 𝑧
posee dos ramas que son los valores de la raíz cuadrada que ya habíamos obtenido en el capítulo I.
Si 𝑧 = 𝑖
1 𝑖𝜋 𝑖𝜋
|𝑖|2 𝑒 2 4
= { 𝑒 𝑖𝜋
1/2 8
𝑖 ={ 1 𝑖𝜋
−|𝑖|2 𝑒 2 4 −𝑒 8
Caso III. Si 𝑎 es un número irracional, aplicamos el mismo procedimiento del caso anterior,
Cuando 𝑎 es un irracional, 𝑒 2𝑎𝑘𝑖𝜋 tiene valores distintos para diferentes valores de 𝑘 ∈ ℤ. En efecto,
supongamos que ∃ 𝑘1 , 𝑘2 ∈ ℤ tal que 𝑒 2𝑎𝑘1 𝑖𝜋 = 𝑒 2𝑎𝑘2 𝑖𝜋 , entonces
𝑒 2𝑎𝑘1 𝑖𝜋 𝑛
2𝑎𝑘 𝑖𝜋
= 1 ⇒ 𝑒 2𝑎(𝑘1−𝑘2 )𝑖𝜋 = 1 ⇒ 2𝑎(𝑘1 − 𝑘2 )𝑖𝜋 = 2𝜋𝑛𝑖, para algún 𝑛 ∈ ℤ ⇒ 𝑎 =
𝑒 2 𝑘1 − 𝑘2
indicando que 𝑎 es un racional, lo cual es una contradicción. Por lo tanto, 𝑧 𝑎 posee una rama
distinta, para cada rama de log 𝑧.
1 1 1 𝜋 1 1 1+4𝑘
𝑖( +2𝑘) 𝑖( )
𝑖 1⁄𝜋 = 𝑒 𝜋 Log 𝑖 𝑒 𝜋2𝑘𝜋𝑖 , 𝑘 ∈ ℤ = 𝑒 𝜋 (ln 1+𝑖 2 ) 𝑒 2𝑘𝑖 = 𝑒 𝑖2 𝑒 2𝑘𝑖 = 𝑒 2 =𝑒 2 , 𝑘∈ℤ
4𝑘 + 1 4𝑘 + 1
= cos + 𝑖 sen , 𝑘∈ℤ
2 2
𝑧 𝑎 = 𝑧 𝛼 𝑧 𝑖𝛽
𝑧 𝑖𝛽 = 𝑒 𝑖𝛽 log 𝑧 = 𝑒 𝑖𝛽 Log 𝑧 𝑒 2𝑖𝛽𝑘𝜋𝑖 = 𝑒 𝑖𝛽(ln |𝑧|+𝑖 Arg 𝑧) 𝑒 −2𝛽𝑘𝜋 = 𝑒 𝑖𝛽 ln |𝑧| 𝑒 −𝛽 Arg 𝑧 𝑒 −2𝛽𝑘𝜋
= 𝑒 −𝛽 (Arg 𝑧−2𝑘𝜋) 𝑒 𝑖𝛽 ln |𝑧| = 𝑒 −𝛽 arg 𝑧 𝑒 𝑖𝛽 ln |𝑧|
como |𝑧| es un número real positivo determinado, 𝑒 𝑖𝛽 ln |𝑧| está fijo, pero 𝑒 −𝛽 arg 𝑧 es un número
real que varía dependiendo de la rama de arg 𝑧. Entonces, 𝑧 𝑎 posee una infinidad de valores.
Ejemplo 3.7 Calculemos los valores en las diversas ramas de la función 𝑓(𝑧) = 𝑧 𝑖
𝑧 𝑖 = 𝑒 𝑖 log 𝑧 = 𝑒 − arg 𝑧 𝑒 𝑖 ln|𝑧|
Como se puede observar en este caso particular, todos los valores son reales.
Sean 𝑎, 𝑏 ∈ ℂ y denotemos por log 𝑧 una rama particular de la función logarítmica, entonces:
Pot1: ∀𝑧 ≠ 0: 𝑧 𝑎 𝑧 𝑏 =𝑧 𝑎+𝑏
1
Pot2: ∀𝑧 ≠ 0: 𝑧 −𝑎 = 𝑧𝑎
Pot3: (𝑧 𝑎 )′ = 𝑎𝑧 𝑎−1 , 𝑧 ≠ 0
Pot4: La rama correspondiente de 𝑧 𝑎 es analítica en donde log 𝑧 es analítica.
Demostración de Pot2:
1 1
𝑧 −𝑎 = 𝑒 −𝑎 log 𝑧 = =
𝑒 𝑎 log 𝑧 𝑧𝑎
Demostración de Pot3: Si 𝑧 ≠ 0,
𝑎 𝑎 𝑎
(𝑧 𝑎 )′ = ( 𝑒 𝑎 log 𝑧 )′ = 𝑒 𝑎 log 𝑧 = 𝑧 = 𝑎𝑧⁻¹𝑧 𝑎 = 𝑎𝑧 𝑎−1
𝑧 𝑧
Demostración de Pot6:
Log 𝑒 𝑧 = Log 𝑒 𝑥+𝑖𝑦 = Log(𝑒 𝑥 (cos 𝑦 + 𝑖 sen 𝑦)) = ln 𝑒 𝑥 + 𝑖𝑦 = 𝑥 + 𝑖𝑦 = 𝑧
Demostración de Pot7:
𝑖𝜃 )
𝑒 Log 𝑧 = 𝑒 Log(𝑟𝑒 = 𝑒 ln 𝑟+𝑖𝜃 = 𝑒 ln 𝑟 𝑒 𝑖𝜃 = 𝑟𝑒 𝑖𝜃 = 𝑧
Al estudiar las funciones trigonométricas inversas en el campo de los números reales, siempre
tuvimos el problema de no poder calcular directamente su valor en algún número específico.
Tuvimos que auxiliarnos de la función original en los casos más simples o de una calculadora, pues
no contamos con una expresión en términos de funciones elementales que nos permitiera obtener
el valor correcto después de evaluar dicha fórmula en el valor deseado.
En el campo de los números complejos sí podemos hacerlo, pues contamos con una definición de
las funciones trigonométricas inversas en términos de funciones complejas conocidas que nos
permite evaluarla directamente en cualquier número complejo de su dominio. Además, estas
funciones son una extensión de las funciones trigonométricas inversas definidas en los reales.
Las funciones trigonométricas inversas seno, coseno y tangente se definen de la manera siguiente:
1 1
sin−1 𝑧 = log ((1 − 𝑧 2 )2 + 𝑖𝑧),
𝑖
1 1
cos−1 𝑧 = log (𝑧 + 𝑖(1 − 𝑧 2 )2 ),
𝑖
𝑖 𝑖+𝑧
tan−1 𝑧 = log ( )
2 𝑖−𝑧
Veamos cómo se obtiene el seno inverso de 𝑧 siguiendo el mismo procedimiento para hallar la
inversa de una función, que hemos estudiado en el cálculo diferencial de una variable. Consiste en
igualar la función sen 𝑤 a otra variable, digamos 𝑧 y despejar 𝑤:
𝑒 𝑖𝑤 − 𝑒 −𝑖𝑤
sen 𝑤 = 𝑧 ⟺ =𝑧
2𝑖
Multiplicando ambos miembros de la igualdad por 2𝑖𝑒 𝑖𝑤 y ordenando los términos tenemos,
2
𝑒 2𝑖𝑤 − 1 = 2𝑖𝑒 𝑖𝑤 𝑧 ⇔ (𝑒 𝑖𝑤 ) − 2𝑖𝑧𝑒 𝑖𝑤 − 1 = 0
1
𝑖𝑤 = log(𝑖𝑧 + (1 − 𝑧 2 )1⁄2 ) ⇔ 𝑤 = log((1 − 𝑧 2 )1⁄2 + 𝑖𝑧)
𝑖
Recuerda que al calcular la raíz cuadrada se obtienen dos valores cuya diferencia es un cambio de
signo. Para cada uno de esos valores y cada rama de log, existe un valor de 𝑤 que satisface la
ecuación sen 𝑤 = 𝑧. Análogamente se pueden deducir las otras funciones trigonométricas inversas.
𝑑(sen−1 𝑧) 𝑑 1 1 𝑖 1
= ( log((1 − 𝑧 2 )1⁄2 + 𝑖𝑧)) = 2 1 ⁄2
( (1 − 𝑧 2 )−1⁄2 (−2𝑧) + 𝑖)
𝑑𝑧 𝑑𝑧 𝑖 𝑖[(1 − 𝑧 ) + 𝑖𝑧] 𝑖 2
𝑧 𝑖𝑧 (1 − 𝑧 2 )1⁄2 + 𝑖𝑧
𝑖 [𝑖 − ] 1 +
(1 − 𝑧 2 )1⁄2 (1 − 𝑧 2 )1⁄2 (1 − 𝑧 2 )1⁄2
= ⁄
= ⁄
=
2 1 2
−[𝑖𝑧 + (1 − 𝑧 ) ] 𝑖𝑧 + (1 − 𝑧 ) 2 1 2 𝑖𝑧 + (1 − 𝑧 2 )1⁄2
1
(1 − 𝑧 2 )1⁄2 + 𝑖𝑧 1
= ⁄ ⁄
=
2 1 2
(1 − 𝑧 ) (𝑖𝑧 + (1 − 𝑧 ) )2 1 2 (1 − 𝑧 2 )1⁄2
Por lo tanto
𝑑(sen−1 𝑧) 1
=
𝑑𝑧 (1 − 𝑧 2 )1⁄2
𝑑(cos −1 𝑧) 1 𝑑(tan−1 𝑧) 1
=− y =
𝑑𝑧 ⁄
(1 − 𝑧 2 )1 2 𝑑𝑧 1 + 𝑧2
1 1+𝑧
tanh−1 𝑧 = log ( )
2 1−𝑧
Una curva 𝐶 en el plano complejo consiste de conjunto de los puntos 𝑧(𝑡) = 𝑥(𝑡) + 𝑖𝑦(𝑡), 𝑡 ∈ [𝑎, 𝑏]
en el plano complejo, donde 𝑥(𝑡) y 𝑦(𝑡) son funciones reales continuas definidas en el intervalo
cerrado [𝑎, 𝑏].
𝑧(𝑎) se llama punto inicial de 𝐶 y 𝑧(𝑏) punto final. 𝑧(𝑎) y 𝑧(𝑏) se llaman puntos extremos de 𝐶. Si
𝑧(𝑎) = 𝑧(𝑏), decimos que 𝐶 es una curva cerrada. Si existen dos valores distintos 𝑡1 y 𝑡2 en el
intervalo [𝑎, 𝑏] con 𝑎 < 𝑡1 < 𝑡2 < 𝑏 tales que 𝑧(𝑡1 ) = 𝑧(𝑡2 ) entonces decimos que 𝐶 se interseca
a sí misma. Una curva que no se interseca a si misma se llama curva simple o de Jordan.
Se dice que una curva es suave si 𝑧′(𝑡) existe, es continua y diferente de cero para todos los valores
de 𝑡 en [𝑎, 𝑏], donde
y es suave a pedazos si es suave para todos los valores de 𝑡 con la posible excepción de un número
finito de ellos.
Cuando no se indique lo contrario, se supondrá que las trayectorias están orientadas positivamente.
Es una semicircunferencia superior de radio uno centrada en el rigen, la cual es una curva suave ya
que,
𝑧′(𝑡) = −sen 𝑡 + 𝑖 cos 𝑡 , 𝑡 ∈ [0, 𝜋]
2𝑡, si 𝑡 ∈ [0, 1)
esta curva es discontinua en 𝑡 = 1, ya que 𝑥(𝑡) = { y
𝑡, si 𝑡 ∈ [1, 2]
Una curva 𝐶 posee muchas parametrizaciones dependientes del parámetro, así en el ejemplo 4.1
pudimos describir la misma curva como
la cual recorre la curva al doble de velocidad, o bien en el segundo ejemplo, la función pudo haber
sido descrita como
Definamos el concepto de integral compleja. Sean 𝑧0 y 𝑧1 dos puntos cualesquiera del plano
complejo y 𝐶 una curva suave a pedazos que va de 𝑧0 a 𝑧1 descrita por la parametrización 𝑧(𝑡) =
𝑥(𝑡) + 𝑖𝑦(𝑡), 𝑡 ∈ [𝑎, 𝑏]. Si 𝑓(𝑧) = 𝑢(𝑥, 𝑦) + 𝑖𝑣(𝑥, 𝑦) es una función continua en todo punto de 𝐶
entonces la integral de 𝑓(𝑧) de 𝑧0 a 𝑧1 a lo largo de 𝐶 se define como:
𝑏 𝑏
∫ 𝑓(𝑧)𝑑𝑧 ∫ 𝑓(𝑧(𝑡))𝑧′(𝑡)𝑑𝑡 : = ∫ (𝑢(𝑥(𝑡), 𝑦(𝑡)) + 𝑖𝑣(𝑥(𝑡), 𝑦(𝑡))) (𝑥 ′ (𝑡) + 𝑖𝑦′(𝑡))𝑑𝑡
𝐶 𝑎 𝑎
𝑏
= ∫ (𝑢(𝑥(𝑡), 𝑦(𝑡))𝑥´(𝑡) − 𝑣(𝑥(𝑡), 𝑦(𝑡))𝑦′(𝑡)) 𝑑𝑡
𝑎
𝑏
+ 𝑖 ∫ (𝑢(𝑥(𝑡), 𝑦(𝑡))𝑦 ′ (𝑡) + 𝑣((𝑥(𝑡), 𝑦(𝑡))𝑥 ′ (𝑡)) 𝑑𝑡
𝑎
Ejemplo 4.3 Calculemos la integral ∫𝐶 𝑧𝑑𝑧, donde 𝐶 es la curva parametrizada por 𝑧(𝑡) = 2𝑒 𝑖𝑡 , 0 ≤
𝑡 ≤ 𝜋, 𝑎 ∈ ℝ+ fijo. Aquí 𝑓(𝑧) = 𝑧, entonces
𝑓(𝑧(𝑡)) = 𝑓(2𝑒 𝑖𝑡 ) = 2𝑒 𝑖𝑡
𝜋 𝜋 𝜋 𝜋
′ (𝑡)𝑑𝑡 𝑖𝑡 𝑖𝑡 2 2𝑖𝑡
𝑒 2𝑖𝑡 4
∫ 𝑧𝑑𝑧 = ∫ 𝑓(𝑧(𝑡))𝑧 = ∫ 2𝑒 2𝑖𝑒 𝑑𝑡 = 2 𝑖 ∫ 𝑒 𝑑𝑡 = 4𝑖 | == (𝑒 2𝑖𝜋 − 𝑒 0 )
𝐶 0 0 0 2𝑖 0 2
= 2(1 − 1) = 0
Ejemplo 4.4 Calculemos la integral ∫𝐶 𝑧 2 𝑑𝑧, donde 𝐶 es la curva del ejemplo anterior. Ahora 𝑓(𝑧) =
𝑧 2 por lo que,
2
𝑓(𝑧(𝑡)) = 𝑓(2𝑒 𝑖𝑡 ) = (2𝑒 𝑖𝑡 ) = 4𝑒 2𝑡𝑖
Entonces,
𝜋 𝜋 𝜋 𝜋
∫ 𝑧 2 𝑑𝑧 = ∫ 𝑓(𝑧(𝑡))𝑧′(𝑡)𝑑𝑡 = ∫ 𝑓(𝑧(𝑡))𝑧′(𝑡)𝑑𝑡 = ∫ 4𝑒 2𝑖𝑡 2𝑖𝑒 𝑖𝑡 𝑑𝑡 = 8𝑖 ∫ 𝑒 3𝑖𝑡 𝑑𝑡
𝐶 0 0 0 0
3𝑖𝑡 𝜋
𝑒 8 8 16
= 8𝑖 | = (𝑒 3𝑖𝜋 − 𝑒 0 ) = (−1 − 1) = −
3𝑖 0 3 3 3
Análogamente, para la curva 𝐶2 podemos considerar 𝑧(𝑡) = 𝑒 −𝑖𝑡 , 𝑡 ∈ [− 3𝜋⁄2 , − 𝜋⁄2]. Realizando
las operaciones se puede ver que,
𝑑𝑧
∫ = −𝑖𝜋
𝐶1 𝑧
Este ejemplo demuestra que, en general, la integral depende de la trayectoria que una los puntos
inicial y final.
Supongamos que 𝐶 una curva suave a pedazos y 𝑓(𝑧) es continua en todo punto de 𝐶, entonces
∫ 𝑘𝑓(𝑧)𝑑𝑧 = 𝑘 ∫ 𝑓(𝑧)𝑑𝑧
𝐶 𝐶
∫ 𝑓(𝑧)𝑑𝑧 = − ∫ 𝑓(𝑧)𝑑𝑧
−𝐶 𝐶
Observa que Si 𝐶 es la curva: 𝑧(𝑡) = 𝑥(𝑡) + 𝑖𝑦(𝑡), 𝑡 ∈ [𝑎, 𝑏]; −𝐶 se puede parametrizar como
𝑧̅(𝑡) = 𝑥(−𝑡) + 𝑖𝑦(−𝑡), 𝑡 ∈ [−𝑏, −𝑎]. En este caso se puede ver que 𝑧̅(−𝑏) = 𝑥(𝑏) + 𝑖𝑦(𝑏) =
𝑧(𝑏) y 𝑧̅(−𝑎) = 𝑥(𝑎) + 𝑖𝑦(𝑎) = 𝑧(𝑎).
L4: Si 𝐶1 y 𝐶2 son curvas suaves a pedazos tales que la unión, denotada por 𝐶1 + 𝐶2 es también una
curva suave a pedazos, entonces
Existen formas de parametrizar la curva unión, por ejemplo, si 𝐶₁ está dada por 𝑧1 (𝑡), 𝑡 ∈ [𝑎, 𝑏] y
𝐶₂ por 𝑧2 (𝑡), 𝑡 ∈ [𝑏, 𝑐] con 𝑧1 (𝑏) = 𝑧2 (𝑏), entonces 𝐶1 + 𝐶2 puede parametrizarse como
𝑧 (𝑡) 𝑡 ∈ [𝑎, 𝑏]
𝑧(𝑡) = { 1
𝑧2 (𝑡) 𝑡 ∈ [𝑏, 𝑐]
Si 𝐶1 está parametrizada por 𝑧1 (𝑡), 𝑡 ∈ [0,1] y 𝐶₂ por 𝑧2 (𝑡), 𝑡 ∈ [0,1] con 𝑧1 (1) = 𝑧2 (0), entonces
𝐶1 + 𝐶2 se puede parametrizar como
𝑧1 (2𝑡), 𝑡 ∈ [0, 1⁄2]
𝑧(𝑡) = {
𝑧2 (2𝑡 − 1), 𝑡 ∈ [1⁄2 , 1]
En general, si 𝐶1 está parametrizada por 𝑧1 (𝑡), 𝑡 ∈ [𝑎, 𝑏] y 𝐶2 por 𝑧2 (𝑡), 𝑡 ∈ [𝑐, 𝑑] se pueden realizar
puentes entre intervalos a través de parametrizaciones lineales:
De [0,1] sobre [𝑎, 𝑏] con la función 𝛼 ∶ [0,1] → [𝑎, 𝑏]: 𝛼(𝑡) = 𝑎 + 𝑡(𝑏 − 𝑎).
𝑡−𝑎
De [𝑎, 𝑏] sobre [0,1] con la función 𝛽 ∶ [𝑎, 𝑏] → [0,1]: 𝛽(𝑡) = .
𝑏−𝑎
Como ya hemos visto, una curva se puede parametrizar de muchas formas. Si el parámetro 𝑡
representa al tiempo, cada parametrización es una forma de recorrer la curva en un determinado
sentido y a una cierta velocidad en cada instante de tiempo. El valor de la integral no depende de la
parametrización seleccionada, sin embargo, como veremos más adelante, depende de la curva que
une dos puntos dados.
𝐶1 ∶ 𝑧1 (𝑡) = 𝑡, 𝑡 ∈ [0,1]
𝐶2 ∶ 𝑧2 (𝑡) = 1 + 𝑖𝑡, 𝑡 ∈ [0,1]
1 1
∫ sen 𝑧 𝑑𝑧 = ∫ sen 𝑧 𝑑𝑧 + ∫ sen 𝑧 𝑑𝑧 = ∫ sen 𝑧 𝑑𝑧 + ∫ sen(1 + 𝑖𝑡) 𝑖𝑑𝑧
𝐶1 +𝐶2 𝐶1 𝐶2 0 0
cos(1 + 𝑖𝑡) 1
= − cos 𝑡|10 +𝑖− | = − cos 1 + cos 0 + (− cos(1 + 𝑖) + cos 1)
𝑖 0
Sea 𝑓(𝑧) una función compleja definida en una región 𝑅 y 𝐶 una trayectoria en 𝑅 que va del punto
𝑎 al punto 𝑏. Si el valor de la integral ∫𝐶 𝑓(𝑧)𝑑𝑧 es un número que sólo depende de los puntos 𝑎 y
𝑏 y no de la trayectoria 𝐶 que los une, decimos que la integral es independiente de la trayectoria y
escribimos simplemente
𝑏
∫ 𝑓(𝑧)𝑑𝑧 = ∫ 𝑓(𝑧)𝑑𝑧
𝐶 𝑎
𝑤
Si fijamos el punto 𝑎 y definimos 𝑏 = 𝑤 como cualquier punto de 𝐷 y suponemos que ∫𝑎 𝑓(𝑧)𝑑𝑧
tiene sentido para cada 𝑤 en 𝑅, entonces la integral define una función de la siguiente manera:
𝑤
𝐹(𝑤) = ∫ 𝑓(𝑧)𝑑𝑧
𝑎
Existencia de primitivas Sea 𝑅 una región simplemente conexa y 𝑓(𝑧) una función continua
definida en 𝑅. Para cada par de puntos 𝑎 y 𝑏 en 𝑅 y cualquier curva 𝐶 en 𝑅 que va de 𝑎 hasta 𝑏, la
integral ∫𝐶 𝑓(𝑧)𝑑𝑧 es independiente de la trayectoria si y solo si, existe una función 𝐹(𝑧) analítica
en 𝑅 tal que
𝑏
1 𝑑𝑧
∫ 𝑑𝑧 = ∫ = log 𝑏 − log 𝑎
𝐶 𝑧 𝑎 𝑧
𝑖
Ejemplo 4.6 Calculemos la integral ∫0 (𝑧 2 − 2𝑧 + 1)𝑑𝑧. En este caso, la integral es independiente de
la trayectoria debido a que el polinomio del integrando es continuo en la región simplemente
𝑧3
conexa 𝑅 = ℂ y posee una primitiva o antiderivada 3
− 𝑧² + 𝑧 en todo punto de 𝐷, por lo que
𝑖 𝑖
2
𝑧3 𝑖3 𝑖 2
∫ (𝑧 − 2𝑧 + 1)𝑑𝑧 = [ − 𝑧² + 𝑧]| = − 𝑖² + 𝑖 = − + 𝑖 + 1 = 1 + 𝑖.
0 3 0
3 3 3
𝜋
𝑖+
2
Ejemplo 4.7 Calculemos la integral ∫𝑖 sen 𝑧 𝑑𝑧. Como en el ejemplo anterior, la integral es
independiente de la trayectoria y
𝜋
𝑖+ 𝜋
2 𝑖+
2
𝜋
∫ sen 𝑧 𝑑𝑧 = cos 𝑧|𝑖 = cos ( + 𝑖) − cos 𝑖
𝑖 2
Teorema 4.1 Sea 𝑅 una región simplemente conexa y 𝑓(𝑧) una función continua definida en 𝑅. Si la
función
𝑤
𝐹(𝑤) = ∫ 𝑓(𝑧)𝑑𝑧
𝑎
∫ 𝑓(𝑧)𝑑𝑧 = 0
𝐶
∫ 𝑓(𝑧)𝑑𝑧 = ∫ 𝑓(𝑧)𝑑𝑧
𝐶1 𝐶2
Y existe una función 𝐹(𝑧) analítica en 𝑅 tal que,
es decir,
∫ 𝑓(𝑧)𝑑𝑧 = ∫ 𝑓(𝑧)𝑑𝑧
𝐶1 𝐶2
1
∫ 𝑑𝑧
𝐶 (𝑧 − 𝑎)𝑛
Seleccionamos la parametrización
𝑧(𝑡) = 𝑎 + 𝑟𝑒 𝑖𝑡 , 𝑡 ∈ [0,2𝜋]
entonces
1 1
𝑧 ′ (𝑡) = 𝑟𝑖𝑒 𝑖𝑡 , 𝑓(𝑧(𝑡)) = 𝑛 =
((𝑎 + 𝑟𝑒 𝑖𝑡 ) − 𝑎) 𝑟 𝑛 𝑒 𝑖𝑡𝑛
entonces
2𝜋 2𝜋
1 ′ (𝑡)𝑑𝑡
𝑟𝑖𝑒 𝑖𝑡 𝑑𝑡 𝑖 2𝜋
2𝜋𝑖, 𝑛 = 1
∫ 𝑑𝑧 = ∫ 𝑓(𝑧(𝑡))𝑧 = ∫ = ∫ 𝑒 −𝑖𝑡(𝑛−1) 𝑑𝑡 = {
𝐶 (𝑧 − 𝑎)𝑛 0 0 𝑟 𝑛 𝑒 𝑖𝑡𝑛 𝑟 𝑛−1
0 0 𝑛≠1
Teorema de Deformación Sean 𝑎 ∈ ℂ fijo y 𝑟, 𝑠, 𝑇 ∈ ℝ tales que 0 ≤ 𝑟 < 𝑠 < 𝑇, sea 𝑅 = {𝑧: 𝑟 <
|𝑧 − 𝑎| < 𝑇} y 𝐶1 = {𝑧: |𝑧 − 𝑎| = 𝑠} la circunferencia centrada en 𝑎 y radio 𝑠 como se muestra en
𝐶 𝑅
𝐶1
la Fig. 4.1. Si 𝑓(𝑧) es una función analítica en la región 𝑅 y 𝐶 es cualquier trayectoria cerrada en 𝑅
cuyo interior contiene a 𝐶1 , entonces:
∫ 𝑓(𝑧)𝑑𝑧 = ∫ 𝑓(𝑧)𝑑𝑧
𝐶 𝐶1
𝐾 = 𝐶 + (−𝐿) + (−𝐶1 ) + 𝐿
𝐶 𝑅
𝐶1
Figura 4.2 Trayectoria cerrada 𝐾 = 𝐶 + (−𝐿) + (−𝐶1 ) + 𝐿
⇒ ∫ 𝑓(𝑧)𝑑𝑧 = ∫ 𝑓(𝑧)𝑑𝑧 ∎
𝐶 𝐶1
Corolario Con las mismas hipótesis del teorema anterior, si 𝐾 es cualquier trayectoria cuyo interior
contiene a 𝐶1 entonces:
∫ 𝑓(𝑧)𝑑𝑧 = ∫ 𝑓(𝑧)𝑑𝑧
𝐾 𝐶
a) 𝐶 = {𝑧 ∈ ℂ: |𝑧| = 4}
b) 𝐶 = {𝑧 ∈ ℂ: |𝑧| = 2}
c) 𝐶 = {𝑧 ∈ ℂ: |𝑧 − 4| = 2}
𝑑𝑧 𝑑𝑧
∫ =∫
𝐶 𝑧2 − 4𝑧 + 3 𝐶 (𝑧 − 3)(𝑧 − 1)
1 1 1 1
= =− +
𝑧2 − 4𝑧 + 3 (𝑧 − 3)(𝑧 − 1) 2(𝑧 − 3) 2(𝑧 − 1)
y separamos en dos integrales aplicando propiedad L2
𝑑𝑧 𝑑𝑧 1 𝑑𝑧 1 𝑑𝑧
∫ =∫ = − ∫ + ∫ = (1)
𝐶 𝑧2 − 4𝑧 + 3 𝐶 (𝑧 − 3)(𝑧 − 1) 2 𝐶 (𝑧 − 3) 2 𝐶 (𝑧 − 1)
1 𝑑𝑧 1 𝑑𝑧 1 1
(1) = − ∫ + ∫ = − (2𝜋𝑖) + (2𝜋𝑖) = 0
2 |𝑧−3|=1 (𝑧 − 3) 2 |𝑧−1|=1 (𝑧 − 1) 2 2
2 2
Observa que los dos puntos donde se indefine la función: 𝑧 = 3, 1 se encuentran en el interior de la
curva 𝐶: |𝑧| = 4 pero al separarla en dos integrales, solo hay un punto de indefinición en cada
integral.
b) Para la trayectoria 𝐶: |𝑧| = 2, la primera integral en (1) es cero por el teorema integral de Cauchy,
1
ya que podemos establecer una región 𝑅 simplemente conexa que contiene a la curva, donde (𝑧−3)
5
es analítica, por ejemplo, 𝑅 = {𝑧 ∈ ℂ: |𝑧| ≤ 2}.
Para la segunda integral, aplicamos el teorema de Deformación como se hizo en el caso a),
1 𝑑𝑧 1 𝑑𝑧 1 𝑑𝑧 1
(1) = − ∫ + ∫ = 0+ ∫ = − (2𝜋𝑖) = 𝜋𝑖
2 |𝑧|=2 (𝑧 − 3) 2 |𝑧|=2 (𝑧 − 1) 2 |𝑧−1|=1 (𝑧 − 1) 2
2
c) Para la trayectoria 𝐶: |𝑧 − 4| = 2
𝑑𝑧 1 𝑑𝑧 1 𝑑𝑧 1 𝑑𝑧 1
∫ = − ∫ + ∫ = − ∫ + 0 == − (2𝜋𝑖)
𝐶 𝑧2 − 4𝑧 + 3 2 𝐶 (𝑧 − 3) 2 𝐶 (𝑧 − 1) 2 |𝑧−3|= (𝑧 − 3)
1 2
2
= −𝜋𝑖
Ejemplo 4.10 Sea 𝐶 es cualquier trayectoria cerrada que no pasa por 𝑧 = 𝑎 y 𝑛 ∈ ℤ, encontremos
𝑑𝑧
todos los valores posibles de ∫𝐶 (𝑧−𝑎)𝑛
𝑑𝑧. Por el teorema Integral de Cauchy
𝑑𝑧 0 si 𝑎 está afuera de 𝐶
∫ 𝑑𝑧 = {
𝐶 (𝑧 − 𝑎)𝑛 2𝜋𝑖 si 𝑎 está en el interior de 𝐶
Fórmula Integral de Cauchy Sea 𝑓(𝑧) analítica en una región simplemente conexa 𝑅 y 𝐶
cualquier trayectoria cerrada en 𝑅. Si 𝑧0 es cualquier punto del interior de 𝐶, entonces
1 𝑓(𝑧)
i. 𝑓(𝑧0 ) = ∫ 𝑑𝑧
2𝜋𝑖 𝐶 (𝑧−𝑧0 )
1 𝑓(𝑧)
ii. 𝑓 𝑛 (𝑧0 ) = ∫ (𝑧−𝑧0 )𝑛+1
𝑑𝑧, para 𝑛 = 1,2,3, …
2𝜋𝑖 𝐶
1 𝑒𝑧
∫ 𝑑𝑧
2𝜋𝑖 𝐶 (𝑧 2 + 1)
1 1 1 1 1
= = ( − )
𝑧2 +1 (𝑧 + 𝑖)(𝑧 − 𝑖) 2𝑖 𝑧 − 𝑖 𝑧 + 𝑖
1 𝑒𝑧 1 𝑒𝑧 1 1 1 𝑒𝑧 1 𝑒𝑧
∫ 𝑑𝑧 = ∫ ( − ) 𝑑𝑧 = − ∫ 𝑑𝑧 + ∫ 𝑑𝑧
2𝜋𝑖 𝐶 (𝑧 2 + 1) 2𝜋𝑖 𝐶 2𝑖 𝑧 − 𝑖 𝑧 + 𝑖 4𝜋 𝐶 𝑧 − 𝑖 4𝜋 𝐶 𝑧 + 𝑖
= (1)
1 1 𝑖 1
(1) = − 2𝜋𝑖𝑒 𝑖 + 2𝜋𝑖𝑒 −𝑖 = − (𝑒 𝑖 + 𝑒 −𝑖 ) = (𝑒 𝑖 + 𝑒 −𝑖 ) = sen 1
4𝜋 4𝜋 2 2𝑖
En este caso, reescribimos el integrando de forma tal que en el denominador solo tengamos la
expresión 𝑧 − 𝑖 y aplicamos (i) de la fórmula integral de Cauchy
𝑧
𝑒𝑧 𝑖 𝑖
1 𝑒 1 𝑧 + 𝑖 𝑑𝑧 = 𝑒 = 𝑒
∫ 𝑑𝑧 = ∫
2𝜋𝑖 𝐶 (𝑧 2 + 1) 2𝜋𝑖 𝐶 (𝑧 − 𝑖) 𝑖 + 𝑖 2𝑖
c. 𝐶 es una trayectoria cerrada que contiene solo al punto 𝑧 = −𝑖
𝑒𝑧
1 𝑒𝑧 1 𝑧 − 𝑖 𝑑𝑧 = 𝑒
−𝑖
𝑒 −𝑖
∫ 𝑑𝑧 = ∫ =
2𝜋𝑖 𝐶 (𝑧 2 + 1) 2𝜋𝑖 𝐶 (𝑧 − (−𝑖)) −𝑖 − 𝑖 −2𝑖
Preguntas
Ejercicios
5 Series infinitas
Si {𝑎𝑛 } = {𝑎0 , 𝑎1 , … } es una sucesión de números complejos, decimos que la serie infinita ∑∞
𝑛=0 𝑎𝑛
𝑆𝑛 = 𝑎0 + ⋯ + 𝑎𝑛−1
negativos ∑∞
𝑛=0|𝑎𝑛 | converge.
Si {𝑎𝑛 } = {𝑎0 , 𝑎1 , … } es una sucesión de números complejos, llamamos serie compleja de potencias
alrededor de 𝑎 a la serie
complejos ∑∞ 𝑛
𝑛=0 𝑎𝑛 (𝑧0 − 𝑎) converge.
|𝑧 − 𝑎| < |𝑧0 − 𝑎|
En efecto, si la serie ∑∞ 𝑛
𝑛=0|𝑎𝑛 (𝑧0 − 𝑎) | converge, como
Sea ∑∞ 𝑛
𝑛=0 𝑎𝑛 (𝑧 − 𝑎) una serie de potencias alrededor de 𝑎 y consideramos el conjunto de números
no negativos
∞
Si 𝐿 no está acotado superiormente, decimos que la serie tiene radio de convergencia infinito
escribiendo 𝜌 = +∞. En este caso decimos que la serie converge en todo punto.
entonces,
i. en |𝑧 − 𝑎| < 𝜌, la serie ∑∞ 𝑛
𝑛=0 𝑎𝑛 (𝑧 − 𝑎) converge absolutamente.
Demostración
serie ∑∞ 𝑛
𝑛=0 𝑎𝑛 (𝑧 − 𝑎) sería absolutamente convergente para todos los 𝑧 tales que
|𝑧 − 𝑎| < |𝑧0 − 𝑎|. En particular la serie ∑∞
𝑛=0 𝑎𝑛 (𝑧1 − 𝑎)
𝑛
sería absolutamente
𝜌+|𝑧0 |
convergente para 𝑧1 = 2
> 𝜌 lo cual es una contradicción.
1 − 𝑧𝑛
𝑆𝑛 = 1 + 𝑧 + 𝑧 2 + ⋯ + 𝑧 𝑛 =
1−𝑧
1 − 𝑧𝑛 1 1
lim 𝑆𝑛 = lim = lim (1 − 𝑧 𝑛 ) =
𝑛→∞ 𝑛→∞ 1 − 𝑧 1 − 𝑧 𝑛→∞ 1−𝑧
∞
1
∑ 𝑧𝑛 = , válida para |𝑧| < 1
1−𝑧
𝑛=0
𝑧 𝑛+1
lim | 𝑛 | = lim |𝑧| = |𝑧| lim 1 = |𝑧|
𝑛→∞ 𝑧 𝑛→∞ 𝑛→∞
Por el criterio de la razón, la serie converge absolutamente si |𝑧| < 1, es decir, el radio de
convergencia es 𝜌 = 1.
Teorema 5.2 Si ∑∞ 𝑛
𝑛=1 𝑎𝑛 (𝑧 − 𝑎) es una serie de potencias con radio de convergencia 𝜌 y 𝐶 es
∞ ∞
∫ (∑ 𝑎𝑛 (𝑧 − 𝑎) ) 𝑑𝑧 = ∑ ∫ 𝑎𝑛 (𝑧 − 𝑎)𝑛 𝑑𝑧
𝑛
𝐶 𝑛=0 𝑛=0 𝐶
Este teorema se utilizará más adelante cuando conozcamos qué función representa a la serie y nos
permitirá hallar la representación en serie de otras funciones.
𝑝(𝑧) = ∑ 𝑎𝑛 (𝑧 − 𝑎)𝑛
𝑛=0
∞
(1) (𝑧)
𝑝 = ∑ 𝑛𝑎𝑛 (𝑧 − 𝑎)𝑛−1
𝑛=1
∞
1
= ∑ 𝑧𝑛 , si |𝑧| < 1,
1−𝑧
𝑛=0
∞
1
= ∑ 𝑛𝑧 𝑛−1 , si |𝑧| < 1,
(1 − 𝑧)2
𝑛=1
En esta sección veremos que, en la vecindad de un punto dado una función analítica se puede
desarrollar en la forma de una serie de potencias, la cual llamaremos su serie de Taylor.
∞
𝑓 (𝑛) (𝑎)
𝑓(𝑧) = ∑ (𝑧 − 𝑎)𝑛 , para todo 𝑧 tal que |𝑧 − 𝑎| < 𝑟
𝑛!
𝑛=0
Todas las propiedades de series de potencias que hemos estudiado se cumplen también para las
series de Taylor. En particular, 𝑓(𝑧) es absolutamente convergente en cada punto de su disco de
convergencia y puede diferenciarse o integrarse término a término para obtener desarrollos en serie
de Taylor de las derivadas o integrales de 𝑓(𝑧) alrededor de 𝑧 = 𝑎.
Otra forma de calcular el radio de convergencia de una serie de Taylor o Maclaurin, es estableciendo
el mayor círculo abierto centrado en 𝑎 en el que la función sea derivable. En el caso del ejemplo
anterior, como 𝑒 𝑧 es diferenciable en todo ℂ, su desarrollo en serie de Maclaurin se satisface para
todo 𝑧 ∈ ℂ.
1
Ejemplo 5.4 Sea 𝑓(𝑧) = . Calculemos su serie de Maclaurin. Utilizando el teorema de Taylor,
1+𝑧
1
podemos derivar sucesivamente la función 𝑓(𝑧) = y calcular los coeficientes de la serie para
1+𝑧
obtener
∞
1
= ∑(−1)𝑛 𝑧 𝑛
1+𝑧
𝑛=0
Y por el criterio de la razón, esta representación es válida en el disco abierto |𝑧| < 1. Otra forma de
calcular el círculo de convergencia es observando que el círculo más grande centrado en el origen
donde 𝑓 es analítica, es el de radio 1, así se tiene que
∞
1
= ∑(−1)𝑛 𝑧 𝑛 , si |𝑧| < 1
1+𝑧
𝑛=0
∞
1
= ∑ 𝑤 𝑛 , válida en |𝑤| < 1,
1−𝑤
𝑛=0
obteniendo
∞
1
= ∑(−𝑧)𝑛 , si | − 𝑧| < 1
1 − (−𝑧)
𝑛=0
¿Es válido utilizar este procedimiento para obtener la serie de Taylor o Maclaurin de funciones? la
respuesta es sí, como muestra el siguiente resultado.
Teorema 5.4 Si la serie de potencias 𝑓(𝑧) = ∑∞ 𝑛
𝑛=0 𝑎𝑛 (𝑧 − 𝑎) es válida para 𝑧: |𝑧 − 𝑎| < 𝜌
entonces
𝑓 (𝑛) (𝑎)
𝑎𝑛 = , para todo 𝑛 = 0,1,2, …
𝑛!
Observa que si una función 𝑓(𝑧) es analítica en un número complejo 𝑎 y la singularidad de 𝑓 más
cercana a 𝑎 está a una distancia 𝑟 de 𝑎, entonces el desarrollo en serie de Taylor de 𝑓 alrededor de
𝑎 converge absolutamente para todo 𝑧 en el disco |𝑧 − 𝑎| < 𝑟 y diverge fuera.
∞
1
= ∑(−1)𝑛 𝑤 𝑛 , si |𝑤| < 1
1+𝑤
𝑛=0
𝑧 𝑧 ∞
1
∫ 𝑑𝑤 = ∫ (∑(−1)𝑛 𝑤 𝑛 ) 𝑑𝑤
0 1+𝑤 0 𝑛=0
obtenemos,
∞ 𝑧 ∞ 𝑧
𝑤 𝑛+1
[Log(1 + 𝑤)]0𝑧 = ∑ ((−1) ∫ 𝑛 (𝑤 𝑛 )𝑑𝑤 ) = ∑ [(−1)𝑛
]
0 𝑛+1 0
𝑛=0 𝑛=0
es decir,
∞
𝑧 𝑛+1
Log(1 + 𝑧) = ∑(−1)𝑛
𝑛+1
𝑛=0
El disco de convergencia de este desarrollo en serie de Maclaurin es |𝑧| < 1 ya que el dominio de la
función Log(1 + 𝑧) es ℂ ∖ {𝑧 ∈ ℂ ∶ 1 + 𝑧 ≤ 0}. Así, el máximo disco centrado en el origen en el que
la función es analítica es |𝑧| < 1. En conclusión
∞
𝑧 𝑛+1
Log(1 + 𝑧) = ∑(−1)𝑛 , para todo 𝑧 con |𝑧| < 1
𝑛+1
𝑛=0
1
Ejemplo 5.6 Desarrollemos en serie de Taylor la función 𝑓(𝑧) = 1+𝑧2 alrededor del origen.
∞
1
= ∑(−1)𝑛 𝑤 𝑛 , si |𝑤| < 1
1+𝑤
𝑛=0
obtenemos
∞
1
= ∑(−1)𝑛 (𝑧 2 )𝑛 , si |𝑧 2 | < 1
1 + 𝑧2
𝑛=0
∞
1
= ∑(−1)𝑛 𝑧 2𝑛 , si |𝑧| < 1
1 + 𝑧2
𝑛=0
obtenemos
𝑧 𝑧 ∞ 𝑧 ∞ ∞ 𝑧
1 𝑛 2𝑛 𝑛 2𝑛 𝑛
𝑤 2𝑛+1
∫ 2
𝑑𝑤 = ∫ [∑(−1) 𝑤 ] = ∑(−1) ∫ 𝑤 𝑑𝑤 = ∑(−1) [ ]
0 1+𝑤 0 𝑛=0 0 𝑛=0
2𝑛 + 1 0
𝑛=0
es decir,
∞
−1
𝑧 2𝑛+1
tan 𝑧 = ∑(−1)𝑛 , válida en el disco |𝑧| < 1
2𝑛 + 1
𝑛=0
𝑧+1
Ejemplo 5.8 Calculemos la serie de Maclaurin de la función 𝑓(𝑧) = 𝑧−1
∞ ∞ ∞ ∞
𝑧+1 𝑧 1 1 1
= + = −𝑧 − = −𝑧 ∑ 𝑧 𝑛 − ∑ 𝑧 𝑛 = − ∑ 𝑧 𝑛+1 − ∑ 𝑧 𝑛
𝑧−1 𝑧−1 𝑧−1 1−𝑧 1−𝑧
𝑛=0 𝑛=0 𝑛=0 𝑛=0
pero,
∞ ∞ ∞
− ∑ 𝑧 = −1 − ∑ 𝑧 = −1 − ∑ 𝑧 𝑛+1
𝑛 𝑛
por lo tanto,
∞ ∞ ∞
𝑧+1
= − ∑ 𝑧 𝑛+1 − 1 − ∑ 𝑧 𝑛+1 = −1 − 2 ∑ 𝑧 𝑛+1
𝑧−1
𝑛=0 𝑛=0 𝑛=0
es decir,
∞
𝑧+1
== −1 − 2 ∑ 𝑧 𝑛+1 , válido para |𝑧| < 1
𝑧−1
𝑛=0
{𝑧 ∈ ℂ ∶ 0 ≤ 𝑟 < |𝑧 − 𝑎| < 𝑠}
es decir, en un anillo circular abierto centrado en 𝑎, entonces 𝑓(𝑧) no se puede representar como
una serie de Taylor alrededor de 𝑎, pero podemos intentar representarla mediante una serie de
potencias positivas y negativas de (𝑧 − 𝑎).
∀ 𝑧 ∈ 𝐷: 𝑓(𝑧) = ∑ 𝐴𝑛 (𝑧 − 𝑎)𝑛
𝑛=−∞
+∞ +∞
𝑛=0 𝑛=1
Donde
1 𝑓(𝑧)
𝐴𝑛 = ∫ 𝑑𝑧, 𝑛 ∈ ℤ
2𝜋𝑖 𝐶 (𝑧 − 𝑎)𝑛+1
Nota No es práctico calcular los coeficientes 𝐴𝑛 de una serie de Laurent en forma directa por
integración sino por otros medios, usando los coeficientes más bien para evaluar integrales de la
forma
1 𝑓(𝑧)
∫ 𝑑𝑧
2𝜋𝑖 𝐶 (𝑧 − 𝑎)𝑛+1
Si 𝑓(𝑧) es analítica en el disco |𝑧 − 𝑎| < 𝑠, la serie de Laurent se reduce a la serie de Taylor, pues
en este caso:
1 𝑓(𝑧) 1
𝐴−𝑛 = ∫ −𝑛+1
𝑑𝑧 = ∫ 𝑓(𝑧)(𝑧 − 𝑎)𝑛−1 𝑑𝑧 = 0, para todo 𝑛 = 1,2, …
2𝜋𝑖 𝐶 (𝑧 − 𝑎) 2𝜋𝑖 𝐶
Ejemplo 5.9 La función 𝑓(𝑧) = Log 𝑧 no se puede expandir en serie de Laurent alrededor de 𝑧 = 0
porque no es analítica en ninguna región anular centrada en 0.
1
𝑓(𝑧) =
𝑧2 − 3𝑧 + 2
a) |𝑧| < 1
b) 1 < |𝑧| < 2
c) 2 < |𝑧| < 𝑟, con 𝑟 > 2
Descompongamos la función en fracciones parciales
1 1 1 1
𝑓(𝑧) = = = −
𝑧 2 − 3𝑧 + 2 (𝑧 − 2)(𝑧 − 1) (𝑧 − 2) (𝑧 − 1)
a) Para el disco abierto centrado en cero de radio 1: |𝑧| < 1, la función es analítica, por lo que
su expansión en serie Laurent coincide con su serie de Taylor. Desarrollando cada término:
1 1 1 1 ∞ 𝑧 𝑛 1 ∞ 𝑧𝑛 ∞ 𝑧𝑛
=− =− 𝑧 = − ∑ ( ) = − ∑ = − ∑
𝑧−2 2−𝑧 2 (1 − ) 2 𝑛=0 2 2 𝑛=0 2𝑛 𝑛=0 2
𝑛+1
2
válida en la región |𝑧⁄2| < 1, es decir, |𝑧| < 2 (máximo círculo abierto centrado en 𝑧 = 0 en el que
la función es analítica). Análogamente,
1 1 ∞
=− = − ∑ 𝑧𝑛
𝑧−1 1−𝑧 𝑛=0
1 ∞ 𝑧𝑛 ∞
𝑛
∞ 𝑧𝑛 𝑛
∞ 1
= − ∑ + ∑ 𝑧 = ∑ (− + 𝑧 ) = ∑ (1 − ) 𝑧𝑛
𝑧 2 − 3𝑧 + 2 𝑛=0 2
𝑛+1
𝑛=0 𝑛=0 2𝑛+1 𝑛=0 2𝑛+1
1 ∞ 𝑧𝑛
= −∑ 𝑛+1
para |𝑧| < 2
𝑧−2 𝑛=0 2
1 1 1 ∞ 1 𝑛 ∞ 1 1
= = ∑ ( ) =∑ , válido para | | < 1, es decir, 1 < |𝑧|
𝑧 − 1 𝑧 (1 − 1) 𝑧 𝑛=0 𝑧 𝑛=0 𝑧
𝑛+1 𝑧
𝑧
1 ∞ 𝑧𝑛 ∞ 1 ∞ 𝑧𝑛 1
2
= − ∑ 𝑛+1
− ∑ 𝑛+1
= ∑ (− 𝑛+1
− 𝑛+1 )
𝑧 − 3𝑧 + 2 𝑛=0 2 𝑛=0 𝑧 𝑛=0 2 𝑧
1 1 1 ∞ 2 𝑛 ∞ 2𝑛 2
= = ∑ ( ) =∑ , válido para | | < 1, es decir, 2 < |𝑧|
𝑧 − 2 𝑧 (1 − 2) 𝑧 𝑛=0 𝑧 𝑛=0 𝑧
𝑛+1 𝑧
𝑧
1 ∞ 1
=∑ 𝑛+1
, válido para 1 < |𝑧|
𝑧−1 𝑛=0 𝑧
1 ∞ 2𝑛 ∞ 1 ∞ 2𝑛 1 ∞ 2𝑛 − 1
= ∑ − ∑ = ∑ ( − ) = ∑
𝑧 2 − 3𝑧 + 2 𝑛=0 𝑧
𝑛+1
𝑛=0 𝑧
𝑛+1
𝑛=0 𝑧
𝑛+1 𝑧 𝑛+1 𝑛=0 𝑧
𝑛+1
𝑧
Ejemplo 5.11 Desarrollemos en potencias de 𝑧 la función 𝑓(𝑧) = 𝑒 ⁄ 3 .
𝑧
𝑒𝑧 1 ∞ 𝑧𝑛 ∞ 𝑧 𝑛−3
= ∑ =∑ válida para 0 < |𝑧|
𝑧3 𝑧3 𝑛=0 𝑛! 𝑛=0 𝑛!
Si una función 𝑓(𝑧) es analítica en un disco agujereado alrededor de 𝑎: 0 < |𝑧 − 𝑎| < 𝑟, para algún
𝑟 > 0, y tiene un desarrollo en serie de Laurent
∞
𝑓(𝑧) = ∑ 𝐴𝑛 (𝑧 − 𝑎)𝑛 , válido para 0 < |𝑧 − 𝑎| < 𝑟,
𝑛=−∞
se llama a ∑−1 𝑛
𝑛=−∞ 𝐴𝑛 (𝑧 − 𝑎) la parte principal de 𝑓(𝑧) en 𝑎 y la denotamos por 𝑝(𝑓, 𝑎), es decir,
𝐴−𝑚 𝐴−1
𝑝(𝑓, 𝑎) = ⋯ + 𝐴−𝑚 (𝑧 − 𝑎)−𝑚 + ⋯ + 𝐴−1 (𝑧 − 𝑎)−1 = ⋯ + 𝑚
+ ⋯+
(𝑧 − 𝑎) (𝑧 − 𝑎)
Observa que la parte principal de 𝑓(𝑧) en 𝑎 contiene los términos de la serie de Laurent que son
potencias negativas de (𝑧 − 𝑎), es decir, los términos que no están definidos en 𝑧 = 𝑎. Si una
función 𝑓(𝑧) no es analítica en un punto 𝑧 = 𝑎 pero sí lo es en un disco agujereado alrededor de
𝑎: {𝑧: 0 < |𝑧 − 𝑎| < 𝑟} para algún 𝑟 > 0 , decimos que 𝑎 es una singularidad o punto singular de
𝑓(𝑧). Veremos a continuación que la cantidad de términos en 𝑝(𝑓, 𝑎) en una serie de Laurent, es
una medida del tipo de singularidad que es 𝑎.
∞
𝑓(𝑧) = ∑ 𝐴𝑛 (𝑧 − 𝑎)𝑛
𝑛=0
Si definimos 𝑓(𝑎) = 𝐴0 , entonces 𝑓(𝑧) será analítica en |𝑧 − 𝑎| < 𝑟 incluido el punto 𝑎; por esta
razón, cuando 𝑝(𝑓, 𝑎) = 0 decimos que 𝑎 es una singularidad removible de 𝑓(𝑧).
sen 𝑧
Ejemplo 5.12 Consideremos la función 𝑓(𝑧) = 𝑧
que se indefine en 𝑧 = 0 por lo que es analítica
entonces
∞ ∞
sen 𝑧 1 𝑛
𝑧 2𝑛+1 𝑧 2𝑛 𝑧2 𝑧4
= ∑(−1) = ∑(−1)𝑛 = 1 − + − ⋯ válida para 0 < |𝑧|
𝑧 𝑧 (2𝑛 + 1)! (2𝑛 + 1)! 3! 5!
𝑛=0 𝑛=0
sen 𝑧
, si 𝑧 ≠ 0
𝑓(𝑧) = { 𝑧
1, si 𝑧 = 0
Caso 2 𝑝(𝑓, 𝑎) tiene un número finito de términos. Supongamos que una función se desarrolla en
serie de Laurent alrededor del punto 𝑧 = 𝑎 como
En este caso
−1
𝐴−𝑚 𝐴−1
𝑝(𝑓, 𝑎) = ∑ 𝐴𝑛 (𝑧 − 𝑎)𝑛 = 𝐴−𝑚 (𝑧 − 𝑎)−𝑚 + ⋯ + 𝐴−1 (𝑧 − 𝑎)−1 = 𝑚
+ ⋯+
(𝑧 − 𝑎) (𝑧 − 𝑎)1
𝑛=−𝑚
donde 𝐴−𝑚 ≠ 0 y 𝐴𝑛 = 0 si 𝑛 < −𝑚. En este caso el punto 𝑎 se llama polo de orden 𝑚 de 𝑓(𝑧). Un
polo de orden 1 se llama polo simple. Veamos un ejemplo.
𝑒𝑧
Ejemplo 5.13 Consideremos la función 𝑓(𝑧) = 𝑧3 que se indefine en 𝑧 = 0, por lo que es analítica
En este caso
1 1 1
𝑝(𝑓, 𝑎) = 3
+ 2+
𝑧 𝑧 2𝑧
Caso 3 𝑝(𝑓, 𝑎) tiene un número infinito de términos. Si una función posee una infinidad de términos
en el residuo 𝑝(𝑓, 𝑎) decimos que el punto 𝑧 = 𝑎 es una singularidad esencial de 𝑓(𝑧).
Ejemplo 5.14 Analicemos la función 𝑓(𝑧) = 𝑒 1⁄𝑧 que es analítica en la región 0 < |𝑧|. Desarrollando
en serie de Laurent
∞ 1 𝑛 ∞
(𝑧 ) 1 1 1 1
𝑒 1⁄𝑧 =∑ =∑ 𝑛
=1+ + 2
+ + ⋯ válida para 0 < |𝑧|
𝑛! 𝑛! 𝑧 𝑧 2! 𝑧 3! 𝑧 3
𝑛=0 𝑛=0
En este caso no hay términos de potencias positivas de (𝑧 − 𝑎). Reacomodando los términos en la
forma de un desarrollo de Laurent tenemos que
1 1 1
𝑝(𝑓, 𝑎) = ⋯ + + +
3! 𝑧 3 2! 𝑧 2 𝑧
Teorema 5.5 Si 𝑓(𝑧) es analítica en 0 < |𝑧 − 𝑎| < 𝑟, entonces tiene un polo de orden 𝑚 en 𝑎 si y
sólo si 𝑓(𝑧) = 𝜑(𝑧)(𝑧 − 𝑎)−𝑚 donde 𝜑(𝑧) es analítica en 𝑎 y 𝜑(𝑎) ≠ 0.
cos 𝑧
Ejemplo 5.15 La función 𝑓(𝑧) = 𝑧2 (𝑧2 +1) tiene singularidades en los puntos 𝑧 = 0, 𝑖, −𝑖. En 𝑧 = 0 un
cos 𝑧
(𝑧 + 𝑖)(𝑧 − 𝑖)
𝑓(𝑧) =
𝑧2
cos 𝑧
y (𝑧+𝑖)(𝑧−𝑖), es analítica y distinta de cero en 𝑧 = 0. Tiene un polo simple en 𝑧 = 𝑖 porque
cos 𝑧
𝑧 2 (𝑧 + 𝑖)
𝑓(𝑧) =
(𝑧 − 𝑖)
cos 𝑧
y es analítica y distinta de cero en 𝑧 = −𝑖. Análogamente se puede ver que tiene un polo
𝑧 2 (𝑧+𝑖)
simple en 𝑧 = −𝑖.
Sea 𝑓(𝑧) una función definida en una región 𝑅. Un punto 𝑎 ∈ 𝑅 en el que 𝑓(𝑎) = 0 se denomina
cero de 𝑓. Suponga que 𝑓(𝑧) es analítica en 𝑎 con desarrollo en serie de Taylor
∞ ∞
𝑚 𝑛−𝑚
𝑓(𝑧) = (𝑧 − 𝑎) ∑ 𝑎𝑛 (𝑧 − 𝑎) = (𝑧 − 𝑎) ∑ 𝑎𝑚+𝑘 (𝑧 − 𝑎)𝑘 = (𝑧 − 𝑎)𝑚 𝜑(𝑧)
𝑚
𝑛=𝑚 𝑘=0
Recíprocamente, si 𝑓(𝑧) = (𝑧 − 𝑎)𝑚 𝜑(𝑧) donde 𝜑(𝑧) es analítica y distinta de cero en 𝑎 entonces
𝑓(𝑧) posee un cero de orden 𝑚 en 𝑎.
(−1)𝑛 𝑤 2𝑛+1
∞
sen 𝑤 = ∑
𝑛=0 (2𝑛 + 1)!
entonces, haciendo 𝑤 = 𝑧 2
donde
𝑧4 𝑧8
𝜑(𝑧) = 1 − + −⋯
3! 5!
y
𝜑(0) = 1
El siguiente resultado relaciona los ceros de orden 𝑚 con los polos del mismo orden como
podríamos suponer.
Teorema 5.6 Si 𝑓(𝑧) tiene un polo de orden 𝑚 en 𝑎 entonces 1⁄𝑓(𝑧) es analítica en 𝑎 y tiene un
cero de orden 𝑚 en 𝑎.
Teorema 5.7 Si 𝑓(𝑧) tiene una singularidad esencial en 𝑎 y 𝑐 es cualquier número complejo, existe
una sucesión {𝑧𝑛 } con lim 𝑧𝑛 = 𝑎 y lim 𝑓(𝑧𝑛 ) = 𝑐
𝑛→∞ 𝑛→∞
5.6 Residuos
Supongamos que 𝑓(𝑧) es analítica en una región agujerada 𝑅 ∶ 0 < |𝑧 − 𝑎| < 𝑟, 𝑟 > 0 con un
desarrollo de Laurent ∑∞ 𝑛
𝑛=−∞ 𝐴𝑛 (𝑧 − 𝑎) válido en esta región. Para cualquier trayectoria cerrada
Es decir, cuando integramos 𝑓(𝑧) alrededor de una trayectoria cerrada que contiene en su interior
la singularidad aislada 𝑧 = 𝑎 y ninguna otra singularidad de 𝑓(𝑧), no queda sino un múltiplo de un
solo coeficiente del desarrollo de Laurent de 𝑓(𝑧): el coeficiente de (𝑧 − 𝑎)−1 , esto significa que
una forma alternativa de evaluar la integral
1
∫ 𝑓(𝑧)𝑑𝑧
2𝜋𝑖 𝐶
Sea 𝑓(𝑧) analítica en 0 < |𝑧 − 𝑎| < 𝑟. El residuo de 𝑓(𝑧) en 𝑎 es el coeficiente 𝐴−1 de (𝑧 − 𝑎)−1 en
la serie de Laurent de 𝑓(𝑧) alrededor de 𝑎 y lo denotamos por Res(𝑓, 𝑎) = 𝐴−1 .
Lo primero que podemos observar es que cuando 𝑓(𝑧) es analítica en 𝑎 o si 𝑎 es una singularidad
removible de 𝑓(𝑧), Res(𝑓, 𝑎) = 0.
𝑒𝑧
∫ 𝑑𝑧
𝐶 (𝑧 − 2)2
𝑒𝑧
La función 𝑓(𝑧) = (𝑧−2)2 es analítica en la región 𝐷: 0 < |𝑧 − 2|, por lo que 𝐶 está contenida en la
∞ 𝑧𝑛
𝑒𝑧 = ∑
𝑛=0 𝑛!
𝑒𝑧
Por lo tanto, Res ((𝑧−2)2 , 2) = 𝑒², por lo tanto
𝑒𝑧
∫ 𝑑𝑧 = 2𝜋𝑖𝑒²
𝐶 (𝑧 − 2)2
En general, si 𝑓(𝑧) es analítica sobre y dentro de una trayectoria cerrada 𝐶 excepto en el polo 𝑧 = 𝑎
de orden 𝑚 dentro de 𝐶, podemos reescribir la función en la forma
𝜑(𝑧)
𝑓(𝑧) = (𝑧 − 𝑎)−𝑚 𝜑(𝑧) =
(𝑧 − 𝑎)𝑚
1 1 𝜑(𝑚−1) (𝑎)
∫ 𝑓(𝑧)𝑑𝑧 = Res(𝑓, 𝑎) o de la forma ∫ 𝑓(𝑧)𝑑𝑧 =
2𝜋𝑖 𝐶 2𝜋𝑖 𝐶 (𝑚 − 1)!
𝜑(𝑧)
𝑓(𝑧) = (𝑧 − 𝑎)−𝑚 𝜑(𝑧) = , 𝑣á𝑙𝑖𝑑𝑜 𝑝𝑎𝑟𝑎 0 < |𝑧 − 𝑎| < 𝑟
(𝑧 − 𝑎)𝑚
∞
𝜑(𝑛) (𝑎)
𝜑(𝑧) = ∑ (𝑧 − 𝑎)𝑛
𝑛!
𝑛=0
por lo tanto
∞
−𝑚
𝜑(𝑛) (𝑎)
𝑓(𝑧) = (𝑧 − 𝑎) 𝜑(𝑧) = ∑ (𝑧 − 𝑎)𝑛−𝑚
𝑛!
𝑛=0
Así,
𝜑(𝑚−1) (𝑎)
𝑅𝑒𝑠(𝑓, 𝑎) =
(𝑚 − 1)!
donde 𝜑(𝑧) = (𝑧 − 𝑎)𝑚 𝑓(𝑧). En particular, si 𝑎 es un polo simple (𝑚 = 1), 𝑅𝑒𝑠(𝑓, 𝑎) = 𝜑(𝑎)
donde 𝜑(𝑧) = (𝑧 − 𝑎)𝑓(𝑧).
Teorema 5.8 Sea 𝑓(𝑧) = 𝑔(𝑧)⁄ℎ(𝑧) donde 𝑔 y ℎ son analíticas en 𝑧 = 𝑎 , 𝑔(𝑎) ≠ 0 y ℎ(𝑧) tiene un
cero simple en 𝑧 = 𝑎, entonces 𝑓(𝑧) tiene un polo simple en 𝑧 = 𝑎 y
𝑔(𝑎)
Res (𝑓, 𝑎) =
ℎ(1) (𝑎)
Teorema 5.9 Si 𝑓(𝑧) = 𝑔(𝑧)⁄ℎ(𝑧) donde 𝑔 y ℎ son analíticas en 𝑧 = 𝑎, 𝑔(𝑎) ≠ 0 y ℎ(𝑧) tiene un
cero de orden 2 en 𝑧 = 𝑎 entonces
6𝑔(1) (𝑎)ℎ(2) (𝑎) − 2𝑔(𝑎)ℎ(3) (𝑎)
Res (𝑓, 𝑎) =
3[ℎ(2) (𝑎)]2
Donde 𝐶: |𝑧| = 2. Dado que la función es analítica sobre y dentro de 𝐶 excepto en los puntos 𝑧 =
1, 𝑧 = 0, calculemos los residuos Res(𝑓, 1) y Res(𝑓, 0).
𝑒𝑧
𝑒
𝑓(𝑧) = sen 𝑧 3 , 𝜑(1) = ≠0
(𝑧 − 1) 1
entonces
𝜑(3−1) (1) 𝜑(2) (1)
Res(𝑓, 1) = =
(3 − 1)! 2!
Como,
𝑒 𝑧 (sen 𝑧 − cos 𝑧) 2𝑒 𝑧 (2 − sen 2𝑧)
𝜑(1) (𝑧) = , 𝜑(2) (𝑧) =
sen2 𝑧 sen3 𝑧
entonces
𝑒𝑧
(𝑧 − 1)3 𝑔(𝑧)
𝑓(𝑧) = =
sen 𝑧 ℎ(𝑧)
y ℎ tiene un cero simple en 𝑧 = 0, entonces por el teorema --- 𝑓 tiene un polo simple en 𝑧 = 0 y
𝑒0
𝑔(0) (−1)3
Res(𝑓, 0) = (1) = = −1
ℎ (0) cos 0
Por lo tanto:
𝑒𝑧 𝑒(2 − sen 2)
∫ 3
𝑑𝑧 = 2𝜋𝑖 ( − 1)
𝐶 (𝑧 − 1) sen 𝑧 sen3 1
𝑒𝑧
Ejemplo 5.18 La función 𝑓(𝑧) = 𝑧(𝑧2 +1) tiene polos simples en 𝑧 = 0, 𝑖, −𝑖.
así
𝑔(0) 1 𝑔(𝑖) −𝑒 𝑖 𝑔(−𝑖) −𝑒 −𝑖
Res(𝑓, 0) = (1) = = 1, Res(𝑓, 𝑖) = (1) = Res(𝑓, −𝑖) = (1) =
ℎ (0) 1 ℎ (𝑖) 2 ℎ (𝑖) 2
En el caso en que 𝑓(𝑧) tenga una singularidad esencial en 𝑧 = 𝑎, no tenemos regla alguna para
calcular el Res(𝑓, 𝑎). Debemos determinarlo a partir de la serie de Laurent de 𝑓 alrededor de 𝑎.
Preguntas
Ejercicios