Documentos de Académico
Documentos de Profesional
Documentos de Cultura
funciones de
variable compleja
Arnold Oostra
Luis Eduardo Olivar Robayo
Arnold Oostra
Es Matemático, Magister en
Ciencias Matemáticas y Doctor
en Ciencias Matemáticas de
la Universidad Nacional de
Colombia, sede Bogotá. Sus áreas
de interés son la lógica, los aportes
matemáticos de Charles S. Peirce,
el álgebra y la variable compleja.
Es autor de múltiples artículos
y capítulos de libro. Desde 1996
se desempeña como profesor
de planta del Departamento de
Matemáticas y Estadística de la
Universidad del Tolima.
Introducción a las funciones de
variable compleja
Arnold Oostra
Luis Eduardo Olivar Robayo
2023
Oostra, Arnold
Introducción a las funciones de variable compleja /
Arnold Oostra, Luis Eduardo Olivar Robayo.
-- 1ª. Ed. -- Ibagué : Sello Editorial Universidad del Tolima,
2023.
148 p. : il.
Contenido: Los números complejos -- Nociones métricas
y topológicas -- Funciones de variable compleja –
Funciones holomorfas -- Integración compleja.
ISBN: 978-628-7537-53-8
515.73
O59i
Primera edición.
ISBN versión electrónica 978-628-7537-53-8
Número de páginas: 148
Ibagué – Tolima – Colombia
publicaciones@ut.edu.co
Índice de figuras 4
Prólogo Prólogo 7 4
2
55
56
58
59
60
60
61
62
65
70
74
79
Capítulo 83
83
89
95
99
101
Capítulo 105
105
111
116
122
133
138
141
145
147
Índice de figuras
Figura 1.
1. Representación gráfica de suma y resta de dos
números complejos . . . . . . . . . . . . . . . . . . . . 14
12
Figura 2.
2. Representación polar de un complejo y su con-
jugado . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
15
Figura 3.
3. Producto de dos números complejos . . . . . . . 19
17
Figura 4.
4. Pentágono con vértices las raíces quintas de i . 22
20
Figura 5.
5. Mediatriz de la recta determinada por z1 y z2 . 25
23
Figura 6.
6. La circunferencia de Apolonio . . . . . . . . . . 27
25
Figura 7.
7. Representación esférica del plano extendido . . 29
27
Figura 8.8. Proyecciones estereográficas de círculos en el
plano extendido . . . . . . . . . . . . . . . . . . . . . . 35
33
Figura 9.
9. Representación de una función compleja . . . . 56
54
Figura 10.
10. Partes imaginaria y real de la funciónf (z) = z 2 . 59
57
Figura 11.
11. Imágenes de rectas y un rectángulo mediante la
función f (z) = z 2 . . . . . . . . . . . . . . . . . . . . . 59
57
1
Figura 12.
12. Imagen de una recta por la función f (z) = . . 62
60
z
Figura 13.
13. Imágenes de rectas por la función f (z) = ez . . 69
67
Figura 14.
14. Imágenes de rectas por la función f (z) = senz . 74
72
Figura 15.
15. Función f (z) = log z . . . . . . . . . . . . . . . 79
77
Figura 16.
16. Independencia de las trayectorias . . . . . . . . 124
122
Figura 17.
17. Sentido de las curvas . . . . . . . . . . . . . . . 125
123
Figura 18.
18. División del triángulo . . . . . . . . . . . . . . . 128
126
Figura 19.
19. Dominio estrella . . . . . . . . . . . . . . . . . . 133
131
4
7
Prólogo
Los autores.
Ibagué, octubre 2021.
Capítulo
1
Capítulo
Capítulo1 1
Los
Losnúmeros
númeroscomplejos
complejos
Los números complejos
En En
esteeste
primer
primer
capítulo
capítulo
se introduce
se introduce
el sistema
el sistema
de los
de los
números
números
complejos
complejos
en sus
en sus
distintas
distintas
perspectivas.
perspectivas.
1.1.
1.1.El El
campo
campo
dede
loslos
números
números
complejos
complejos
El sistema
El sistema
numérico
numérico
complejo
complejo
se puede
se puede
introducir
introducir
comocomo
sigue.
sigue.
Definición
Definición 1.1.1. El conjunto
1.1.1. El conjunto
de las
de parejas
las parejas
ordenadas
ordenadas
de números
de números
reales
reales (a,∈b)R∈ junto
(a, b) 2
R junto
2
con con
dos dos
operaciones, la adición
operaciones, la adición
dadadada
por por
(a, b)
(a,+b)(c,+d)
(c,=d)(a=+(ab,+c +
b, cd)+ d) (1.1)(1.1)
y laymultiplicación
la multiplicación
dadadada
por por
(a,· (c,
(a, b) b) ·d) =−
(c,=d)(ac −ad
(acbd, bd,+adbc)
+ bc) (1.2)(1.2)
lo denotamos C yC
lo denotamos sus integrantes
y sus los llamamos
integrantes números
los llamamos complejos.
números complejos.
7 7
Introducción a las funciones de variable compleja
Capítulo
10 1. Los números complejos 8
Capítulo 1 · Los números complejos
f : R→C
a → (a, 0),
|z|2 = a2 + b2 .
1
1. Rez = (z + z),
2
1
2. Im z = (z − z),
2i
3. z + w = z + w,
4. zw = z w,
5. z = z.
Demostración. Si z = a + bi entonces
1 z
1. = 2 (para z ̸= 0),
z |z|
2. |z w| = |z| |w|,
z |z|
3. = (para w ̸= 0),
w |w|
4. |z| = |z|,
5. | − z| = |z|.
Proposición
Proposición
1.2.1. Dados
1.2.1. Dados
z, wz,∈wC∈tenemos:
C tenemos:
|z +|zw|+2 w|
+ 2|z+−|zw|−2 w|
= 22(|z| 2
= 2(|z|+ 2|w|
+2|w|
). 2 ). (1.8)(1.8)
Figura 1: Representación
Figura 1: Representación
gráfica
gráfica
de suma
de suma
y resta
y resta
de dos
de dos
números
números
complejos
complejos
Demostración. En efecto,
Demostración. En efecto,
por por
(1.7)(1.7)
tenemos:
tenemos:
|z +|zw|+2 w|
= 2(z=+(zw)(z
+ w)(z
+ w),
+ w),
luego,
luego,
por por
la proposición
la proposición
1.1.2 numeral
1.1.2 numeral
(3) (3)
y laypropiedad
la propiedad
distribu-
distribu-
tivativa
obtenemos:
obtenemos:
|z +|zw|+2 w|
= 2|z|
=2 |z|
+ 22Re(zw) +2|w|
+ |w|
+ 2Re(zw) . 2. (1.9)(1.9)
De la
Demisma
la misma
manera:
manera:
|z −|zw|−2 w|
= 2|z|
=2 |z|
− 22Re(zw)
− 2Re(zw) +2|w|
+ |w| , 2, (1.10)
(1.10)
y alysumar
al sumar
(1.9)(1.9)
y (1.10)
y (1.10)
se obtiene
se obtiene
la igualdad
la igualdad
(1.8).
(1.8).
Como
Como
puedepuede
esperarse
esperarse
a partir
a partir
de ladeinterpretación
la interpretación
vectorial,
vectorial,
tam-tam-
biénbién
es válida
es válida
la desigualdad
la desigualdad
triangular.
triangular.
|z − w| ≤ |z| + |w|.
Proposición 1.2.3.
Proposición Dados
1.2.3. Dadosz, wz,∈wC∈tenemos:
C tenemos:
|z| − −|w|
|z||w| ≤ |z≤−|zw|.
− w|. (1.13)
(1.13)
Demostración. PorPor
Demostración. un lado
un lado
|z| =
|z||(z
=− |(zw)
−+ +≤
w)w| w||z≤−|zw|
−+w||w|, estoesto
+ |w|,
es: es:
|z| −
|z||w| ≤ |z≤−|zw|;
− |w| − w|; (1.14)
(1.14)
y, por otraotra
y, por parte,
parte,
|w| |w|
= |(w − z)−+z)z|+≤z||w
= |(w ≤−|wz|−+z||z|
+= |z||z=−|zw|
−+w||z|
+ |z|
de donde
de donde |w||z|
|w| − −≤ |z||z≤−|zw|,
− w|, y factorizando
y factorizando el signo
el signo llegamos
llegamos a a
|z||w|
|z| − − |w| ≥ −|z
≥ −|z − w|.
− w|. (1.15)
(1.15)
De De (1.14)
(1.14) y (1.15)
y (1.15) llegamos
llegamos a a
−|z−|z
− w|−≤ ≤−
w||z| |z||w|
− |w|
≤ |z≤−|zw|,
− w|,
queque equivale
equivale a laadesigualdad
la desigualdad (1.13).
(1.13).
1.3.
1.3. Representación
Representaciónpolar
polar
Podemos
Podemos
representar
representar
los números
los númeroscomplejos
complejos
no nulos
no nulosen coordena-
en coordena-
das das
polares
polares (r,donde
(r, θ) θ) donde
r esrlaesdistancia
la distancia
al origen
al origen
y θ yesθelesángulo
el ángulo
(en (en
radianes)
radianes)
comprendido
comprendido entreentre
el eje
el eje
realreal
positivo
positivo
y elysegmento
el segmentodeter-
deter-
minado
minado
por por
el complejo
el complejo
y elyorigen
el origen
del del
plano,
plano,
comocomo
se puede
se puede
ver ver
en la
en la
Figura
Figura
2. 2.
Dadas
Dadas lascoordenadas
Dadas
las coordenadas
las coordenadas polares
polares rr yyrθ,θ,ylas
polares las coordenadas
θ, coordenadas
las cartesianas
coordenadas
cartesianas
cartesianas
se determinan
se determinan
se determinanpor las
por por igualdades:
las igualdades:
las igualdades:
xx==xrr=cos
cos θ, θ,
r θ,
cos
yy==yrr=sen
sen
r θ.θ. θ.
sen
Luego
Luego
Luego
zz==zxx=
++xyiyi
+==yirr=cos
cos θ++θiir+
r θcos rsen
sen θ==θr(cos
i r θsen r(cosθθ++θiisen
= r(cos +sen θ)==
i θ)
sen θ)rr=cisrθ,cis
cis θ, θ,
donde
donde seseadopta
donde adoptalalanotación
se adopta notación
la notación
cisθcis
cis θ==θcos
cos θ++θiisen
= θcos +sen θ, θ,
i θ,
sen
lalaexpresión
expresión
la expresión
zz==zrr=cisrθcis
cis θ θ
esesllamada
llamada lalaforma
es llamada forma polar
la forma
polar delcomplejo
del
polar complejo
del nonulo
complejo
no nulo
no nulo
z.z. z.
Figura
Figura
Figura
2: Representación
2:Representación
2: polar
Representación
polar deun
polar
de uncomplejo
de complejo
un yysu
complejosu conjugado
yconjugado
su conjugado
y
tan θ =
x
si x ̸= 0, o
r= (Rez)2 + (Imz)2 ,
Imz
tan θ = .
Rez
Demostración. En efecto,
z1 z2 = (r1 cis θ1 )(r2 cis θ2 )
= r1 r2 cis θ1 cis θ2
= r1 r2 (cos θ1 + i sen θ1 )(cos θ2 + i sen θ2 )
= r1 r2 (cos θ1 cos θ2 − sen θ1 sen θ2 ) + i(sen θ1 cos θ2 + sen θ2 cos θ1 )
= r1 r2 (cos(θ1 + θ2 ) + i sen(θ1 + θ2 ))
= r1 r2 cis(θ1 + θ2 ).
La Figura La
3 muestra
Figura el productoeldeproducto
3 muestra dos números
de doscomplejos.
números complejos.
Producto
Figura 3: Figura 3:de dos números
Producto de doscomplejos
números complejos
Combinando
Combinando
(1.20)
(1.20)
con con
(1.16)
(1.16)
se obtiene
se obtiene
el resultado.
el resultado.
Proposición
Proposición 1.3.3. Dados
1.3.3. Dados
los los
complejos
complejos
no nulos
no nulos
zi =zir=
i cis i, 1
riθcis ,1≤
θi ≤
i ≤ in,≤tenemos:
n, tenemos:
z1 z2z.1.z.2z.n. .=znr1=r2r.1.r.2r.n. .cis(θ 1 + 1θ2++θ2· ·+
rn cis(θ ·+· · θ· n+) θn ) (1.21)
(1.21)
Demostración.
Demostración. PorPor
inducción,
inducción,
a partir
a partir
de la
deproposición
la proposición
1.3.1. Los Los
1.3.1.
detalles
detalles
se dejan
se dejan
comocomo
ejercicio
ejercicio
parapara
el lector.
el lector.
Si todos
Si todos
los los
números
números
elegidos
elegidos
en la enproposición
la proposición
1.3.31.3.3
son son
iguales,
iguales,
estoesto
es es
z1 =z1z2==z2· ·=· =
· · ·zn==znz= z
La La
ecuación
ecuación (1.22)
(1.22)
se cumple
se cumple
paraparatodotodo
n ∈n Z,∈ ya
Z, que
ya que
en la
en la
proposición
proposición 1.3.2 se demostró
1.3.2 se demostró
quequez −1 z=
−1 −1 −1
r= rcis(−θ), y siynsi<n 0< 0
cis(−θ),
tenemos
tenemos
z n =z n(z=−1(z
)−n .) Cuando
−1 −n
. Cuando |z|1=obtenemos
|z| = 1 obtenemosla célebre
la célebre
fórmula
fórmula
de de Moivre,
de Moivre,
(cos(cos
θ + θi sen θ)n θ)
+ i sen =ncos
= nθ
cos+
nθi sen
+ i sen
nθ. nθ. (1.23)
(1.23)
Utilizando
Utilizando
la ecuación
la ecuación
(1.22)
(1.22)
podemos
podemos
establecer
establecer
unaunafórmula
fórmula
pa- pa-
ra encontrar
ra encontrar
raíces
raíces
arbitrarias
arbitrarias
de números
de números
complejos.
complejos.
Dado Dado
un com-
un com-
plejo
plejo
no nulo
no nulo
a ∈ aC,∈ buscamos
C, buscamos
un número
un número
complejo
complejo
z talz que
tal que
z n =z na.= a.
Utilizando
Utilizando
la forma
la forma
polar,
polar,
si z si=z|z| |z|θcisy θa y=a|a|
= cis cisentonces
|a|α,
= cis α, entonces
por por
la ecuación(1.22)
la ecuación(1.22)es: es:
|z|n |z|
cisnnθ nθ|a|
cis= |a|α,
=cis cis α,
y deyesta igualdad
de esta tenemos:
igualdad tenemos:
α +α2kπ
+ 2kπ
|z| =|z| =|a| |a| y y θ =θ = con con0 ≤ 0k ≤
n n
≤kn≤
− n1.− 1.
n n
Así Así
hemos demostrado
hemos el siguiente
demostrado resultado.
el siguiente resultado.
Proposición 1.3.4.
Proposición ParaPara
1.3.4. cualquier entero
cualquier positivo
entero n, dado
positivo un com-
n, dado un com-
plejoplejo
no nulo
no nulo
a =a |a| |a|αcissus
= cis raíces
α sus raíces
n-ésimas están
n-ésimas dadas
están por por
dadas la la
fórmula
fórmula
α +α2kπ+ 2kπ
(1.24)
(1.24)
n n
zk =zk =|a| cis
|a| cis , ,
n n
donde k recorre
donde los nlosvalores
k recorre enteros,
n valores enteros,
0 ≤ 0k ≤
≤kn≤
− n1.− 1.
Corolario 1.3.1.
Corolario Las Las
1.3.1. raíces
raíces
n-ésimas de ladeunidad
n-ésimas están
la unidad dadas
están por:por:
dadas
2kπ 2kπ
= cis , , 0 ≤ 0k ≤
zk =zkcis ≤kn≤
− n1.− 1. (1.25)
(1.25)
n n
Demostración. En efecto,
Demostración. parapara
En efecto, la unidad 1 se 1tiene
la unidad se tiene y arg
|1| =|1|1 = 1 y 1arg
= 10,= 0,
luego en (1.24)
luego queda:
en (1.24) queda:
√
n √n 0 +0 2kπ
+ 2kπ 2kπ 2kπ
zk =zk =1 cis1 cis = cis
= cis . .
n n n n
Por Por
ejemplo, las raíces
ejemplo, cúbicas
las raíces de ladeunidad
cúbicas son:son:
la unidad
2 · 02· ·π0 · π
z0 =z0cis
= cis = cos= 0cos
+ 0i sen
+ i 0sen
= 01 =
+ 10i+=0i1,= 1,
3 3 √ √
2 · 12· ·π1 · π 2π 2π 2π 2π 1 1 3 3
z1 =z1cis
= cis = cos + i sen = −= −
= cos + i sen + i + i, ,
3 3 3 3 3 3 2 2 √2 √2
2 · 22· ·π2 · π 4π 4π 4π 4π 1 1 3 3
z2 =z2cis
= cis = cos + i sen = −= − i − i. .
= cos + i sen
3 3 3 3 3 3 2 2 2 2
Se observa que,que,
Se observa geométricamente, las raíces
geométricamente, cúbicas
las raíces de la
cúbicas deunidad
la unidad
representan los vértices de un triángulo equilátero. En general, las las
representan los vértices de un triángulo equilátero. En general,
raíces n-ésimas
raíces n-ésimas
de cualquier
de cualquier
númeronúmero
complejo
complejo
no nulonoson
nulo
losson
vértices
los vértices
de un de
polígono
un polígono
regularregular
de n lados.
de n lados.
Por ejemplo,
Por ejemplo,
las raíces
las raíces
quintasquintas
de de
i son los
i son
vértices
los vértices
de un pentágono
de un pentágono
regularregular
(ver la(ver la Figura
Figura 4). 4).
4: Pentágono
FiguraFigura 4: Pentágono
con vértices
con vértices
las raíces
las quintas
raíces quintas
de i de i
1.4. 1.4.
Geometría
Geometría
en elenplano
el plano
complejo
complejo
Diversas
Diversas
figurasfiguras
de la geometría
de la geometría
plana se
plana
pueden
se pueden
expresar
expresar
con sen-
con sen-
cillez mediante
cillez mediante
ecuaciones
ecuaciones
de variable
de variable
compleja.
compleja.
1.4.1.1.4.1.
La recta
La recta
Si L esSiuna
L es
recta
unaenrecta
el plano
en el C,plano
de la
C,geometría
de la geometría
analítica
analítica
elemental
elemental
sabemos
sabemos
que L que
está Lcompletamente
está completamente determinada
determinada
por unpor
punto
un punto
a en La en L
y un vector
y un vector
dirección
dirección
b ̸= 0, bde̸=la0,siguiente
de la siguiente
manera: manera:
L = {zL∈=C{z z∈=Ca + z= R}.t ∈ R}.
∈ tb,
tb,at + (1.26) (1.26)
y como t ∈
yycomo
como
y como ∈ podemos
tt∈∈tR,
R, podemos
R, podemosutilizar
utilizar
utilizar
esta
esta
esta
última
última
última
igualdad
igualdad
para
para
expresar la recta como
expresar
lalarecta
recta
la recta
como:
como:
como:
zz −−za− a
LL =
=L =zz ∈∈zC
C
∈ CIm
ImIm = 0= 0. . (1.27)
(1.27)
bb b
Esto se ge
Esto
Esto
Esto
se
se generaliza
se
generaliza
generaliza
como
como
como
sigue.
sigue.
sigue. Proposición
Proposición
Proposición
Proposición1.4.1.
1.4.1. En
EnEn
1.4.1. el
el plano
plano
el plano
complejo,
complejo,
complejo,
toda
toda
recta
recta
se se
puede
puede
expre- sar mediante
expre-
sar
sarsar
mediante
mediante
mediante
una
unauna
ecuación
ecuación
ecuación
de
de la
de
la forma
forma
la forma
Re(αz
Re(αz +
+ β)
Re(αz β)
+ β)
=
= 0,
0,
= 0,
donde α, β ∈
donde
donde
donde ∈con
α,ββα,∈∈βCC
α, con
C con
αα ̸=
̸= ̸= oo0,bien
α0,
0, bien
o bien
mediante
mediante
mediante
unauna
ecuación
ecuación
de de
la forma
la forma
′′ ′
Im(α
Im(α
Im(α +zββ+′′))β=
zz + ′
= ) 0,
= 0,
donde α′ , β ′ ∈
donde
donde
donde ∈con
β ′CC
αα′ ,′ ,βαβ′′′,∈∈ con
C con
αα′′ ̸=α′0.
̸= ̸= 0.
0.
Demostración
Demostración.
Demostración.
Demostración. Haciendo
Haciendo
Haciendo αα =
=αaa= a1 +ia
11+ia
+ia 22,, ββ2 ,==β b= 11 +ib 2 , z2 ,=
b1 +ib z x+iy
= x+iy tenemos
tenemosque αz + β =
que
queque
αz
αz+ +ββ+==
αz β (a
(a x−
=11x(a −
1 x a
a− y
ya +
+ybb
22 2 11 1+)
) b+
+ ) i(a
i(a
+ i(a
xx
22 2 +
+ x a
+ y
11 1a+y b+ ).
2 2b En
). En
consecuencia,
consecuencia, la igualdad R
lala igualdad
la
igualdad
igualdad
Re(αz
Re(αz
Re(αz ++ β)β)
+ β)= 0 equivale
= 0= equivale
0 equivale aa aa11xa1−x a−2 ya2+y b+1 b=1 = queque
0, 0, la ecuación d
es es
lala ecuación
la
ecuación
ecuación
dede una
de
unaunarecta
rectarecta
porque
porque
porque aa11,,aaa12,2 ano
no
2 no
son son
ambosambos cero
cerodadodado
queque
α ̸= 0. Por o
αα̸≠= ̸=Por
α0.0. Por
0. Por
otro
otrootro
lado,
lado,
lado,como
comocomoRe(iw)
Re(iw)
Re(iw) == −Im(w),
−Im(w),
= −Im(w), la segunda
la segunda ecuación implica Re(iα
ecuación
implica
implica
implica
Re(iα
Re(iα ′′ ′
zz +
Re(iα +ziβ)
iβ)
+ iβ) == Re(i(α
=
Re(i(α
Re(i(α′′ ′
zz ++z ββ+′′)) ))β ′=
)) −Im(α
= −Im(α ′ ′
z +z β+′ )β=′
)=
0, 0, también corre
queque
también
también
tambiéncorresponde
corresponde
corresponde aa una
una
a una
recta
recta
recta
por
porpor la
la primera
primera
la primera parte.
parte.
El mismo
El
Elmismo
El
mismo
mismo
cálculo
cálculo
cálculo
permite
permite
permite concluir
concluir
concluir
que
queque
los los
siguientes
siguientes
conjuntos
conjuntos los semiplano
sonson
los
lossemiplanos
los
semiplanos
semiplanosasociados
asociados
asociados
aa la
laa recta
recta
la recta
con
concon
ecuación
ecuación
ecuaciónRe(αz + β)
Re(αz + β)
= 0:
= 0:
H= z∈C
HH=H== ∈C
zz∈∈zCC Re(αz
Re(αz
Re(αz +
+β)β)
+> β)
> 00> ,0, ,KK= = =z ∈z C∈ CRe(αz
K Re(αz
+ β)
+ β)
< 0< 0. .
(1.28)
(1.28)
Podemos
Podemos
Podemos
Podemosencontrar
encontrar
encontrar
otra
otra
otra
ecuación
ecuación
ecuación
compleja
compleja
compleja
de de
unauna
recta
recta
en en
térmi- nos de la func
térmi-
nos
nosnos
de
dela
de
lafunción
función
la función
conjugado.
conjugado.
conjugado.
αz +
αz +αz
ββ +
=βαz
= αz=+αzβ,+ β,
donde α, β ∈ C co
donde
donde
donde α,α,ββ∈∈C
α, βC∈con
con
Cα con̸=α
α̸= 0.̸= 0.
0.
Demostración. Pa
Demostración. ParaPara
Para
Demostración.
Demostración. cualquier
cualquiercualquier complejo
complejocomplejo
w ∈wC∈tenemos
C tenemos
tenemos w
w= =www=sisiwyysisolo
y si w − w = 0
solo
solosi
solo
siwwsi
−−ww−==w0,0,=sisi0,yy si
solo
solo
y solo
sisi 2iImw
si 2iImw
2iImw = 0,=si0,y sisolo
y solo
si
si Imwsi Imw
Imw = 0.=De
= 0. 0. esta
De De manera, αz +
esta
estamanera,
esta
manera,
manera,
αz
αz++αz ββ +==βαz αz=++αzββ + si
si βyy si
solo
solo
y solo
si Im(αz
si Im(αz
+ β)+= 0,=lo
=β)0, lo0,cual
cual
lo cual
por la proposición 1
porpor
lalaproposición
la proposición
proposición 1.4.1
1.4.1 corresponde
1.4.1corresponde
corresponde aa una
a una
rectarecta
en elenplano.
plano.
el plano.
Demostración. En
Demostración.
Demostración.
Demostración. En
En efecto,
En
efecto,efecto,
|z
|z −
−|zzz11−
|| =z1 ||z=−|zz2−
= | si
z2 |y sisolo
solo
y solosi
si |z|zsi− 22
−|zzz1− 2
1|| z=1= = 2 |2 , si y solo si
| |z−z
|z−z 2 |2 |, ,sisi
|z−z|z−z22
2 |yy,solo
2
solo
si si|z|
y si
solo|z|si
22
|z|2 −2Re(zz
−2Re(zz
−2Re(zz 11)+|z
)+|z 22
11| =
1 )+|z
2 2 2
1 | |z|= −2Re(zz
−2Re(zz
|z|
−2Re(zz
2222)+|z
)+|z 22|| (véase
2 )+|z
22
(véase
2 | (véase
2
la ecuación (1.10
lalaecuación
la ecuación
ecuación (1.10)),
(1.10)),
(1.10)),
sisi yy solo
sisolo
y solo
si
si 2Re si 2Re
2Re z(z2z(z − z2 1− ) z+ 1 )|z +
11|| |z
−
− | 2 22
|z
1 22|z − || |z==
2 | 2
0,
0,=si
si
0,y solo si:
si
yysolo
solo
y si:
solo
si: si: 2
|z R
|z11|22|z−1 ||z2
− 2
2 | |z2 |
Re Rezz22 −
Re −zz2z11−zzz++
1 z + = 0,= 0, (1.29)
(1.29)(1.29)
2 2
2
ya que |z1 | −|z
2
2
|z|z 2 2 −|z
|z12|2|22|−|z
2 2
1 |1 |−|z 2|
yayaque
que
ya que 22 2 es es un
un número
esnúmero
un númeroreal.real.
real. (1.29)
PeroPero es
es la
(1.29) laesecuación
ecuación
la ecuación deuna
de de recta por pro
unarecta
una recta
una por proposición
recta
por por
proposición
proposición 1.4.1.
1.4.1. Si z1Si=z1x=
Si
1.4.1. 1 +x1 11, iy
iy+ zz221 ,=
=z2xx=
22 +
+xiy
2iy
+22 y y x + iy, entonc
yz2 =
iy
z z==xzx+
=+iy,
xiy, entonces
+entonces la ecuación
iy, entonces
la ecuación (1.29)
la ecuación
(1.29)(1.29)
adquiere la forma:
adquiere forma:
la forma:
(x2 −
x22 −xx
22 2 22
2 1−+xy
2 22
1 22+−yy
2y11− y1
2
(x22−−
(x (xx2x11−
)x
)xx+
+
1 )x
(y 22 −
(y+ −
(yyy211−
)y
)yy=
1 )y = ,, ,
2 2
que es que
una es
expresión
una expresión
cartesiana
cartesiana
conocida conocida
para laparamediatriz
la mediatriz
del segmen-
del segmen-
to quetoune
que
losune
puntos
los puntos
(x1 , y1 )(xy1 ,(x
y12), yy2 ).
(xLa
2 , y2verificación
). La verificación
de los de
detalles
los detalles
se dejan
se como
dejan ejercicio.
como ejercicio.
Para estos
Para mismos
estos mismospuntos,puntos,
y utilizando
y utilizando
la expresión
la expresión
(1.27) (1.27)
con con
a = za1 y= bz1= yz2b −
= zz1 ,2 la
− zrecta
1 , la que
rectapasa
que por
pasalospor
puntos
los puntos
z1 y zz2 1 yy z2 y
que es que
perpendicular
es perpendicular
a la mediatriz
a la mediatriz
encontrada
encontrada
(ver Figura
(ver Figura
5), tiene
5), tiene
ecuación
ecuación
Im zIm 2 − z1z2z− −z1z2z −
− z1z2z−
1 z=1 0.
z1 = 0.
Comparando
Comparando
con la con la ecuación
ecuación (1.29),(1.29),
se observa
se observa
que tienen
que tienen
el mis-el mis-
mo coeficiente
mo coeficiente
de z. Se
de puede
z. Se puede
comprobar
comprobar
como ejercicio
como ejercicio
que lasque
si- las si-
guientes
guientes
rectas rectas
son perpendiculares:
son perpendiculares:
Re(αzRe(αz y=
+ β) =+0β) 0 y Im(αz
Im(αz + γ) =+0,γ) = 0,
para todo
paraα,todo C γcon
∈ β,
β, γ α, ∈Cα con
̸= 0.α ̸= 0.
Figura 5: Mediatriz
Figura 5: Mediatriz
de la recta
de la determinada
recta determinada
por z1 por
y z2z1 y z2
En general, dados
En general, los puntos
dados los puntos
z0 , zz10, ,. z. 1.,,.z.n. ,∈znC,∈llamamos
C, llamamos
n n
α
e
[z0 , z[z10] ,∪z1[z
]∪ [z21] ,∪z2·]·∪· ∪· ·[z
1, z ·∪ [z,n−1
n−1 zn ], =
zn ] =[zk−1[z,k−1
zk ] , zk ]
k=1 k=1
una una
poligonal desde
poligonal z0 hasta
desde z0 hasta
zn . zn .
v
d
1.4.2.
1.4.2.La La
circunferencia
circunferencia u
La circunferencia
La circunferencia con con
centro
centro
z0 ∈z0 C∈ (fijo)
C (fijo)
y radio
y radio
r >r 0>(real
0 (real t
positivo)
positivo)
es elesconjunto
el conjunto
de todos
de todos
los complejos
los complejos
z que
z que
distan
distan
r derzde
0 es
, z0 , es d
decir,
decir,
que que
satisfacen
satisfacen
|z −|zz0−
|= | = r.
z0r.
z − zz0−=z0|z=−|zz0−
| cis
z0 |θcis
= θr =
cisrθ,cis θ,
c
de donde
de donde
z = zz(θ)
= z(θ)
= z0=+zr0 +
cisrθ,cis θ,
que que
es una expresión
es una expresión
paramétrica de ladecircunferencia.
paramétrica la circunferencia.
Por Por
otrootro
lado,lado, se sigue
se sigue que que el interior
el interior de ladecircunferencia,
la circunferencia,
estoesto
es es
el disco
el disco con con
abierto
abierto centro
centro z0 yzradio
0 y radio
r, está
r, está
dadodado
por por
B(zB(z , r){z=∈{zC∈: |z
0 , r)0= C− : |zz0−
|< | <. r} .
z0 r}
representa representa
círculo. un
un representa círculo.
Este
un es un Este
círculo. Esteeses
célebre unun célebre
teorema célebre teorema
teorema de Apolonio,
de Apolonio, Apolonio,
véase la Figuravéase
6, según
la Figura
el cual6,lasegún
circunferencia
el cual la circunferencia
es el lugar geométrico
es el lugar geométrico
AP AP
de los puntos Pdepara
los puntos
los cuales
P para
se cumple
los cuales
la razón
se cumple =laλ, razón
siendo λ = λ, siendo λ
PB PB
una constante una
positiva.
constante positiva.
(x − a1 )2 + (y (x
− a−2 )a21 )=2 +
λ2(y
(x − ab12)2 +
= λλ22(y − bb21))22. + λ2 (y − b2 )2 .
(x −
donde k esdonde
una k es
donde k esuna
constante constante
una
positiva.
constante positiva.
Esta Esta
positiva. Estaesesde
es la ecuación lalauna
ecuación
ecuación de
de una
circunferencia.circunferencia.
Figura 6: La Figura
circunferencia
6: La circunferencia
de Apolonio de Apolonio
De De
nuevo, seansean
nuevo, z1 , zz21 ,∈z2C∈dos
C dos
puntos
puntos
fijosfijos
diferentes.
diferentes.
La ecuación
La ecuación
de la
deelipse
la elipse
con con
focos
focos
z1 , z21 ,esz2 es
|z −|zz1−| +
z1|z
| +−|zz2−| =
z2 |k,= k,
siendo
siendo k una
k una constante
constante realreal positiva.
positiva.
Ejemplo
Ejemplo La La
1.4.1.
1.4.1. igualdad
igualdad |z −|z4i|
−+ 4i||z++|z4i|
+ 4i|
= 10 10 representa
= representa la la
2 2 2 2
x xy y
elipse + + = 1,=como
elipse 1, como
se puede
se puede
verificar
verificar
sustituyendo
sustituyendo
z =zx=+xyi,
+ yi,
9 9 25 25
y haciendo
y haciendo
los cálculos
los cálculos
correspondientes.
correspondientes.
PorPor
fin, fin,
la ecuación
la ecuación
de la
dehipérbola
la hipérbola
con con
focos
focos
z1 , z21 ,esz2 es
|z −|zz1−| −
z1 |z
| −−|zz2−| =
z2 |±k,
= ±k,
siendo
siendo cualquier
kk cualquier constante
k cualquier
constante
constantereal
real nono
real no nula
nula (el (el
nula casocaso
k =kk=0
(el caso se
0=se0reduce
se reduce
a laarecta
la recta
mediatriz).
mediatriz).
Ejemplo
Ejemplo1.4.2. La igualdad
1.4.2. La igualdad
|z −|z5i|
−−5i||z−+|z5i| = ±6
+ 5i| representa
= ±6 representa
la la
2 2 2 2
y yx x
hipérbola
hipérbola
con con
ecuación
ecuación
cartesiana
cartesiana − − = 1.= 1.
9 9 16 16
1.5.
1.5. LaLa
esfera
esfera
dede
Riemann
Riemann
ConConfrecuencia
frecuencia
aparecen
aparecen funciones
funcionesqueque
se convierten
se convierten en infinitas
en infinitas
cuando
cuando
la variable
la variable
se aproxima
se aproxima a una punto
un puntodado.dado.
ParaPara
analizar
analizar estaesta
situación
situación
introducimos
introducimos el plano
el plano extendido
extendidoel cual
el cual
es Ces∞ C=∞C=∪C{∞}. ∪ {∞}.
La representación
La representación geométrica
geométrica de C de∞ Ces∞ una
es una
esfera
esfera
unidad
unidad
en Ren3 , R
que
3
, que
denotaremos
denotaremos S, así
S, que
así que
3 32 2 2
S =S = x21,, xx32), x∈3 )R∈
(x1 ,(x Rx1 +x1x+ 2+x22x+2
3 =x231=.1 .
7: Representación
FiguraFigura 7: Representación
esféricaesférica
del plano
delextendido
plano extendido
Para cada
Parapunto
cadazpunto
∈ C, consideremos
z ∈ C, consideremos
la rectalaquerecta
va de
queNvaa de
z la
N a z la
cual toca
cual
a Stoca
en aZ S̸=enN.ZEn̸= la En la Figura
N.Figura 7 podemos 7 podemos
ver queversi |z|
que>si1 |z| > 1
entoncesentonces
Z está enZ está
el hemisferio
en el hemisferio
norte, sinorte,
|z| < si1 |z|
entonces
< 1 entonces
Z está enZ está
el en el
hemisferio
hemisferio
sur, y cuando
sur, y cuando
|z| = 1 tenemos
|z| = 1 tenemos
que Z estáqueenZ está
el ecuador
en el ecuador
de la de la
esfera Sesfera
y geométricamente
S y geométricamentela posición
la posición
de Z coincide
de Z coincide
con la deconz∈la C.
de z ∈ C.
CuandoCuando
|z| → ∞, |z| tenemos
→ ∞, tenemos
que Z → queN,Z luego
→ N,podemos
luego podemos
identificar
identificar
a a
N con ∞ N en
conC∞ ∞ . en C∞ .
1.5.1. 1.5.1.
Relación
Relación
de coordenadas
de coordenadas deCS y C
de S y
por
oo por
por
o por
((1
((1 −−t)x,
((1−
((1 −
t)x,
t)x, (1(1−
t)x,
(1 −t)y,
−(1 −t)y,
t)y,t)y,
t) tt ∈
t)t)t) ∈
t∈ R∈R.R
tR . .. (1.30)
(1.30)
(1.30)
(1.30)
Encontremos
Encontremos
Encontremos
Encontremos elelvalor
el valor
valor
el valor
dedettde
de cuando
tcuando
cuando lalalínea
t cuando
la línea
línea
la línea (1.30)
(1.30)
(1.30)
(1.30)interseca
interseca
interseca aa SSaaen
interseca en
S Senenun
un
un un
punto
punto diferente
punto
diferente
diferente
diferente deN.
de
de de
N. N.Para
N.Para
Para Para este
este
este valor
este
valor
valor dedettde
valor
de tenemos
tenemos
ttenemos
t tenemosqueque
que que −
((1((1
((1 ((1 −
− t)x,−t)x,
t)x, t)x,
(1 −(1−−
(1 −
(1
t)y,
t)y,t)y,
t) ∈t)S,
t) ∈
∈ S,
S, ycomo
∈ yyS, como
como
y como eses
SSSesS la
lalaesfera
es esfera
esfera
la esferaunidad
unidad
unidad
unidad tenemos
tenemos
tenemos
tenemos
queque
que que
222 2222 2 22 222 2 2 22 2 2
(1
(1 −
(1−
− t)t)
(1t)− xxt)
x+ +
x+(1+−
(1(1−(1
−t)
t)−
t)yyt)y +
+
y+tt +
t=
=t=11=1 1
22 2 22 2 2 22 2 2
(1−
(1
(1 −(1
−t)
t)−
t) (x
(xt)
(x(x
+
++yy+y)) y= )11=−
)== 1tt22−t2t2
1−−
22 2 22 2 2
(1(1−
(1 −t)
−(1t)−
t) t)|z||z|
|z|
|z| ==(1
= −(1−
−
=(1
(1 −t)(1
t)(1
t)(1 ++
t)(1
+ t)+t)t)
t)
22 2 2
(1(1−
(1 −t)|z|
−(1 −t)|z|
t)|z|
t)|z|
=
==11=+
1++
1tt +t t
22 2 2 22 2 2
|z|
|z|
|z| |z|
−
−−t|z|
−
t|z|
t|z|
t|z|
=
==11=+
1++
1tt +t t
22 2 2 22 2 2
|z|
|z|
|z| |z|
−−11−
− 1=
== =t(|z|
1t(|z|
t(|z|
t(|z|
+++ +1).
1).
1). 1).
Como
Como
Como
Como
zzz ̸≠=z∞
̸= ∞
∞ ∞porque
̸= porque
porque
porque
NN̸=
N ̸=
N̸=Z,
̸=
Z, tenemos
Z,tenemos
tenemos
Z, tenemos
22 2 2
|z|
|z|
|z| |z|
−
−−11−
11
tt t=
==t =22 2 2
|z||z|
|z|
|z| ++11+
+ 11
y, por
y, por
por lo tanto,
y, por
lo
lo tanto,
tanto, reemplazando
lo tanto,
reemplazando
reemplazando este
reemplazando
este
este valor
este
valor
valor enen(1.30),
valor
en en(1.30),
(1.30),
(1.30),llegamos
llegamos
llegamos a: a:a:
llegamos
a:
22 2 2
2x
2x
2x 2x 2y2y2y
2y |z||z|
|z| |z|
−
−− 11−1 1
xxx111 =
x
=1 =222 2 ,, , xx,x22 2=
= x=
= 2 = 22|z|
2 21
,
, , x
x,3x
3 =
=
3x=3 = 22|z|
2 +21
.. . . (1.31)
(1.31)
(1.31)
(1.31)
|z|
|z|
|z| |z|
+
++111+ 1 |z|
|z|
|z| +
++ 1+11 |z|
|z||z| +
+ 1+1 1
Por
Por
PorPor
el
el
el teorema
el teorema
teorema
teorema 1.1.2,
1.1.2,
1.1.2,esto
esto
esto
1.1.2, esto
lo
lolopodemos
podemos
lo
podemos
podemos
expresar
expresar
expresar
expresar
como:
como:
como:
como:
22 2 2
zzz+
+
+zz̄z̄z̄+ z̄ −i(z
−i(z
−i(z
−i(z
−
−−z̄)−
z̄)
z̄)z̄) |z|
|z||z||z|
−
−− 11−1 1
xxx111 =
x
=1 =222 2 ,, , xx,x222=
= x=2 = 22 2 2 ,, , xx,33x=
= x
= =
3 3 = 22|z|
2 +21
,, , , (1.32)
(1.32)
(1.32)
(1.32)
|z| |z|
|z|
|z| ++111+ 1
+ |z||z|
|z|
|z| ++11+
+ 11 |z||z|
|z| +
+ 1+1 1
siyel
yy si
si el
el punto
sipunto
punto
el punto
ZZ̸=
Z ̸=N
̸=Z Nes
̸=
N Nesdado,
es dado,
dado,
es podemos
dado,
podemos
podemos
podemosencontrar
encontrar
encontrar
encontrar
x,x,
x, yenyen
yyx,en enfunción
función
función
función
de (x1 , x2 , x3 ) donde t = x3 :
x1 x1
x1 = (1 − t)x, entonces x = = ,
1−t 1 − x3
(1.33)
x2 x2
x2 = (1 − t)y, entonces y = = .
1−t 1 − x3
Nota 1.5.1. La correspondencia entre los puntos de S y C∞ es lla-
mada la proyección estereográfica.
Ahora utilizando
Ahora las ecuaciones
utilizando (1.32),
las ecuaciones tenemos:
(1.32), tenemos:
′
x1 xx x′1x+
1 1+
′
2 xx x′2x+
2 2+
′
3 xx
3 3=x′3 =
(z +(zz̄)(z ′
+ z̄)(z+ z′¯′+
)−z¯′ )(z−−(zz̄)(z ′
− z′¯′−
− z̄)(z )+ z¯′ )(|z|
+ 2(|z|
− 21)(|z ′ 2 ′ 2
− 1)(|z
| −| 1)− 1)
= = 2 2 ′ 2 ′ 2
. .
(|z| (|z|
+ 1)(|z | +| 1)+ 1)
+ 1)(|z
Realizando
Realizando
los productos
los productos
de los
de paréntesis,
los paréntesis,
cancelando
cancelando
y agrupando
y agrupando
términos
términos
semejantes
semejantes
llegamos
llegamos
a: a:
′ 2(z z¯2(z
′ +z¯z̄z
′ +′ )z̄z
+′ )|z| |z|′ |22|z−′ |2|z|
+2 |z −2 |z| ′ 2 ′ 2
− 2|z−| |z+| 1+ 1
x1 xx x′1x+
1 1+
′
2 xx x′2x+
2 2+
′
3 xx x′3 =
3 3= 2 2 ′ 2 ′ 2
. .
(|z| (|z|+ 1)(|z
+ 1)(|z | +| 1)+ 1)
Como z z¯′ +
Como z z¯z̄z
′ +′ z̄z z¯′ +
= ′z= z z¯z′ z+
¯′ z=z¯′2ℜe(z z¯′ ), z¯tenemos
= 2ℜe(z ′ ), tenemos
queque
′ 4ℜe(z z¯′ ) +
4ℜe(z z¯′ )|z| |z|′ |22|z−′ |2|z|
+2 |z −2 |z| ′ 2 ′ 2
− 2|z−| |z+| 1+ 1
x1 xx x′1x+
1 1+
′
2 xx x′2x+
2 2+
′
3 xx x′3 =
3 3= ′ |2 + ′ |21)
. .
(|z|2(|z|
+ 21)(|z
+ 1)(|z + 1)
Sumando
Sumando
y restando
y restando |z2′ |,2|zen
|z|2 ,|z| | elennumerador
′ 2
el numerador
y agrupando
y agrupando
térmi-
térmi-
nos nos
obtenemos
obtenemos
′
x1 xx x′1x+
1 1+
′
2 xx
2 2+x′2x+ ′
3 xx x′3 =
3 3=
−2(|z| 2
−2(|z| − 22ℜe(z z¯′ ) +
− 2ℜe(z z¯′ )|z+
′ 2 ′ 2
| |z
)+ + 2(|z|
| )(|z| ′ 2 ′ 2 2 ′ 22 ′ 2
+ 2|z+| |z+| |z|+ |z
|z|| |z+| 1+ 1
= = 2 2 ′ 2 ′ 2
= =
(|z| (|z|+ 1)(|z
+ 1)(|z | +| 1)+ 1)
−2|z−2|z − z ′−|2 z+′ |2(1++(1|z| +2 )(1
|z|2+
)(1|z+′ 2 ′ 2
| |z
) |)
= = 2 2 ′ 2 ′ 2
, (1.36)
, (1.36)
(|z| (|z|+ 1)(|z
+ 1)(|z| +| 1)+ 1)
y reemplazando
y reemplazando(1.36) en (1.35)
(1.36) en (1.35) tenemos:
tenemos:
′ 2′ 2 − z ′−
−2|z−2|z |2 z+′ |2(1++(1|z|+2 )(1
|z|2+ ′ 2 ′ 2
)(1|z+| |z
) |)
[d(z,[d(z, 2 −22− 2
z )] z )]= = ′ |2 +′ |21)
(|z|2(|z|
+ 21)(|z
+ 1)(|z + 1)
′ 2 ′ 2
2
+ 21)(|z
2(|z|2(|z| | +| 1)+−1)2(−2|z
+ 1)(|z − 2(−2|z− z ′−|2 z+′ |2(1++(1|z|
+2 )(1
|z|2+ ′ 2 ′ 2
)(1|z+| |z
)) | ))
= = 2 2 ′ 2 ′ 2
(|z| (|z|
+ 1)(|z | +| 1)+ 1)
+ 1)(|z
4|zz ′−
4|z − |2 z ′ |2
= = 2 2 ′ |2 + ′ |21)
. .
(|z| (|z|
+ 1)(|z
+ 1)(|z + 1)
De De
donde,
De
donde,
donde,
finalmente,
finalmente,
finalmente,
−z ′z|−
2|z−2|z
2|z ′
| z′|
d(z, z ′d(z,
d(z, )z ′=
)=z′) = 1 1. . 1 . (1.37)
(1.37)
(1.37)
[(|z| 2 [(|z|
[(|z|+2 +
1)(|z+ ′1)(|z
|2′ |2++′1)]
21)(|z |21)]
+2 21)] 2
Cuando
Cuando
Cuando
Z′ Z Z ,′N=
=′ N
= tenemos
,N
tenemosque:
, tenemos
que:que:
2 2 2 2 2
[d(z, ∞)]
[d(z, ∞)]
[d(z, ∞)]
== x1=
x+ x212x+
1 +
2 2
x(x
2 + 3+3−
2(x −1)
(x 22
− 1)2
31)
2 2
= = (x=
(x
1 + +x212x+
1 (x
2
xx2223x)+
2 +
2
3 )−x−232x −
)2x
3 3+
2x
+131+ 1
−
2−
= =2 = 2x 3−3 2x3
22x
22 2
|z||z| −|z|
−11− 1
−
2−
= =2 = 222− 22 2 2
|z||z| +|z|
+11+ 1
2 2
2(|z|
2(|z| ++1)21)+
2(|z| −−1)2(z|−22(z|
2(z| 2
−−1)2
1)− 1)
== = 2 2 2
|z||z| +|z|
+11+ 1
44 4
= = =2 2 2, , ,
|z||z|+|z|
+1 1+ 1
luego
luego
luego
22 2
d(z, ∞)
d(z, ∞)
=∞)
d(z, = = 1 1.. 1. (1.38)
(1.38)
(1.38)
(|z| 2 +
(|z| 2(|z|
+1)21)2+2 1) 2
Ejemplo
Ejemplo
Ejemplo
1.5.2. SeaSea
1.5.2.
1.5.2. ΛSeaunun
Λ círculo
Λ círculo
un círculo contenido
contenido
contenidoen
enS. enEntonces
S. Entonces
S. Entonces
existe
existe
existe
un
un un
único
único
plano
único
plano
plano
P ⊆ RPR⊆
P ⊆ con
3 3
con
R Pcon
3
∩
PS ∩PS=∩=Λ. SΛ. De
= Λ.laDe
De lageometría
geometría
la geometría analítica
analítica tenemos
analítica
tenemos
tenemos
queque que
P =P ={(x
P{(x
= 1{(x
1, x ,2x
,x21,3x
) 32:), x: 13xβ
)11:β+x
1 1+
β
x12xβ+βx
22 2+2+
βx2x3 +
β
3β
3x3=
3=βl},
3l},
= l},
donde
donde
donde
(β1(β ,ββ213, )β32es
, β12,(β un
), βes
3 )unvector
es vector ortogonal
un vector ortogonal aaPPyaylPleses
ortogonal y un esnúmero
lun número
un número real.
real.real.
Podemos
Podemos suponer
Podemossuponer queque
suponer β1que
2 2
β+1 +β 2 2
2β+
1 2 +β 22 2
β
23 3+
= β
= 2
1.
3 Utilizando
1.
= Utilizando
1. esta
Utilizandoesta información
esta
información
información
es posible demostrar
es posible
es posible
demostrar
demostrar que quesique
siΛ Λcontiene
si contiene
Λ contiene a aNN,a,entonces
entonces
N , entoncessu
su proyección
proyección
su proyección
estereográfica en en
estereográfica
estereográfica CC es
enes una
C unaeslínea
una
línearecta,
línea
recta, y yenenyotro
recta, otrocaso
en otro es
casocasoes una
una circunfe-
es una
circunfe-
circunfe-
rencia.
rencia.
rencia.
Veamos.
Veamos.Veamos.Si Si ΛΛ pasa
Si Λ por
pasa pasa
porNpor
N== N(0,(0,
=0,0,1),
(0, 0,de
1), delala
1), deecuación
ecuación
la ecuacióndel plano
del del
plano
plano
0 · β01·+
β010·+·ββ01 2+
·+
β021·+β· β · β=
12 3+ lβresulta
13 ·= 3l resulta
= l resulta
β β=
3 3 =
β
l. 3 Ahora
l.
= Ahora
l. Ahora
utilizando
utilizando
utilizando
las
las ecuaciones
ecuaciones
las ecuaciones
(1.31)
(1.31)
tenemos que:que:
tenemos
2xβ2xβ
1 1 2yβ22yβ2 x2 +x2y 2+−y 21 − 1
+ + + + β3 =,
β3 =,
x2 +x2y 2++y 21 + 1x2 +x2y 2++y 21 + 1x2 +x2y 2++y 21 + 1
luego:
luego:
2xβ2xβ
1 + 12yβ + 2x2+β3x+
+ 22yβ 2
β3y 2+β3y−
2
β3β3−=β3lx=2 +
lx2ly+
2
ly 2l + l
+
Factorizando
Factorizando
los términos
los términos
al cuadrado,
al cuadrado,
2xβ2xβ
1 + 12yβ + 2x2+(βx32−
+ 22yβ (β3l)−+l)y 2+(βy32−
(β3l)−=l)l +
= βl 3+, β3 , (1.39)
(1.39)
peropero
cuando
cuando
Λ pasa
Λ pasa
por por
N tenemos
N tenemos
que que
β3 =β3l,=luego
l, luego
2xβ2xβ
1 + 12yβ
+ 22yβ
= 2l +
= βl 3+ β3
Podemos
Podemos
llevar
llevar
estaesta
ecuación
ecuación
a laadela una
de una
rectarecta
despejando
despejando
y: y:
−β1−β1 l + βl 3+ β3
=+axb +con
y =yax b con
a =a = , b =, b = . .
β2 β2 2β2 2β2
Cuando
Cuando
Λ no
Λ pasa
no pasa
por por
N , tenemos
N , tenemos (1.39):
por por (1.39):
β1 β1 β2 β2 l + βl 3+ β3
2 2 x + x2 + 2 y + yx2++x2y 2+=y 2 = , ,
β3 −β3l − l β3 −β3l − l β3 −β3l − l
y formando
y formandocuadrados
cuadrados
2 2 β1 β1 β12 β12 2 2 β2 β2 β22 β22
x +x2 + 2 x + x + + +
2 l)2
y +y 2 + 2 y + y + = =
2 l)2
β3 −β3l − l (β3 −
(β3l)− β3 −β3l − l (β3 −
(β3l)−
β2 β2 β 2 β 2 l + βl 3+ β3
= = 1 21 + 2 + 2 22 + 2 + , ,
(β3 −
(β3l)− l) (β3 −
(β3l)− l) β3 −β3l − l
= ββ=323232 −
= −βll32222−
+lββ2121212++
+ 2222
+βββ 2
1222+ β2
11 −− l1l222− l2
=
= = 222
.. 2 .
(β333 −
(β −
(βl) 3 − l)
l)
Finalmente
Finalmente,
Finalmente,
Finalmente,
llegamos
llegamos
llegamos
aa la
la aecuación
ecuación
la ecuación
222 2
(x −
(x −(x
a)−
a) a)(y
+
+ (y −
+ b)2−
−(y
b) 22
b)r2r222=
=
= ,, r2 ,
donde
donde
donde
donde √
√ √ a
ββ111 β1 ββ222 β2 − l1l222− l2
11 −
=−
aa = a−= − ,, bb = =, −
b−= − ,, rr = =, r = ,, ,
ββ333 −
−βll3 − l ββ333 −
−βll3 − l ββ333 −
−βll3 − l
que es la ec
que
que esque
es la
laesecuación
ecuación
la ecuación
de
de una
una
de una
circunferencia.
circunferencia.
circunferencia.
En
En la
la
EnFigura
la Figura
Figura 88 podemos
podemos ver la ilustració
8 podemos
ver
ver la
la
verilustración
ilustración
la ilustraciónde
de este
este
de este
ejemplo.
ejemplo.
ejemplo.
Figura 8: Pro
Figura
Figura
Figura8: Proyecciones
8: Proyecciones
8: Proyeccionesestereográficas
estereográficas
estereográficas
de
de círculos
círculos
de círculos
en
en el
elenplano
plano
el plano
exten-
exten- dido
exten-
dido
didodido
1.2. Verifique:
(3 − 4i)(2 + i) 1
(2 − 4i)(6 + 8i) = 4
a) 2z + 4w b) 3z − 2w c) z − w − 4
1.4. Identifique todos los puntos del plano complejo que satisfacen
la condición dada. En cada caso, elabore un dibujo.
a) Re (1 − i)z = 1 b) Re z 2 = −1 c) Im z 2 < 0
√
(1 − i 3)7
a) √ (pase primero a forma polar ambos términos).
( 3 − i)3
1.9. Encuentre todos los valores de cada una de las siguientes raíces
complejas y elabore un dibujo:
√
a) 18i
√
−1 + i 3
b)
2
√
3
c) 27i
4 √
d) 2 − 2i 3
√
5
e) 4 + 4i
1.10. Haciendo:
2π 2π 2π
w = cos + i sen = cis ,
n n n
pruebe que las raíces n-ésimas de la unidad pueden ser expresadas por
1, w, w2 , . . . , wn−1 .
a) 1 + z + z 2 + · · · + z n = 0
b) (z − 1)n = (z + 1)n
c) 1 − z 2 + z 4 − z 6 + · · · + (−1)n z 2n = 0
|z − i|
= 2.
|z − 4i|
Capítulo
2
Capítulo 2
Nociones métricas y
Nociones métricas y
topológicas
topológicas
Los conceptos de análisis y topología que se repasan en este capí-
tulo ya se han estudiado en los cursos correspondientes. Para mayores
detalles se pueden consultar los textos [1, 2, 3, 4].
C × C −→ R : (z, w) → |z − w|
37
Introducción a las funciones de variable compleja
Capítulo 2. Nociones métricas y topológicas
40 38
Capítulo 2 · Nociones métricas y topológicas
1. |z − w| ≥ 0 y además |z − w| = 0 si y solo si z = w,
2. |z − w| = |w − z|,
3. |z − w| ≤ |z − u| + |u − w|.
Demostración.
3. Dado z0 ∈ i∈I Ai , existe j ∈ I tal que z0 ∈ Aj . Como Aj es
abierto, existe ϵ > 0tal que B(z0 , ϵ) ⊆ Aj y, dado que Aj ⊆ i∈I Ai ,
también B(z0 , ϵ) ⊆ i∈I Ai .
Por fin, los subconjuntos conexos son los que no se pueden separar
mediante abiertos en distintas “piezas”.
Un conjunto del plano puede ser conexo y, aún así, tener “huecos”.
Esa característica también se puede expresar con precisión.
2.2.1.
2.2.1.
2.2.1.Sucesiones
Sucesiones
Sucesiones
Una
Una
Una
sucesión
sucesión
sucesión
compleja eses
compleja
compleja una
esuna
unafunción
función
funcióndede
de
loslos
los
números
números
números
naturales
naturales
enen
loslos
ros naturales en los
complejos:
complejos:
complejos:
NNN−→
−→ −→CC :Cn: :n
→
n→→
z(n)
z(n)
z(n)
== z=nz.znn..
Una
Una
Una
sucesión
sucesión
sucesión
sese
denota
sedenota
denota
{z{z }nnn}}onnde
n{z oode
de
manera
manera
manera simple
simple
simple
{z{z
{z
n Los
}.nn}.
}. Los
índices
índices
nn
sese
}. Los índices n pueden
sepueden
pueden
tomar
tomar
tomar
desde
desde
desde
0 o00desde
oodesde
desde1, 1,
según
1, según
según
convenga.
convenga.
convenga.
UnaUna
Unasubsucesión
subsucesión
subsucesión dedede
una una
unasucesión
sucesión
sucesión compleja
compleja
compleja {z{z
n }nn}es
{z } es
es
unaunasucesión
sucesión
es una sucesión“contenida”
“contenida”
“contenida” enenen
ella
ella
ella
{z{z
n{z}kkk}}con
k nn kk con
con
la lacondición
la condición
condición dede
de
que
que
que
si si
si jj <k kentonces
j < entonces
j < k entoncesnjn<n <n<n
. n
j j k kkEsto
. Esto
. Esto
corresponde
corresponde
corresponde a componer
aa componer
componer la la
la
sucesión,
sucesión,
sucesión,en en
en
tanto
tanto función,
función,
con
n tanto función, con
con
unauna
una
función
función
función
estrictamente
estrictamente
estrictamente creciente
creciente
creciente dede
de
números
números
números naturales
naturales
naturales NN −→−→
naturales N −→ N.N.N.
LaLa
La
noción
noción
noción
más
más
más
importante
importante
importante
enen
en
el el
estudio
el estudio
estudio
dede
de
laslas
las
sucesiones
sucesiones
sucesiones
eses
la la
dede
convergencia.
cesiones es la de convergencia.
convergencia.
Definición
Definición
Definición
2.2.1.
2.2.1.Una
2.2.1. Una
Una
sucesión
sucesión
sucesión compleja
compleja
compleja {z{z
{z
n }nn}converge
} converge
converge si siexiste
existeunun
número
erge si existe un número
número
complejo
complejo
complejo ∈ Ctal
z z∈z ∈C C tal
tal
queque
que
para
para
paracualquier
cualquier
cualquier ϵ ϵ>
ϵ>>0 0(real)
(real)existe
existe
0 (real) existe tal
N∈N
N N∈N∈ Ntal
tal
que
que
que
para
para
para
cada
cada
cada
nn≥n≥ ≥NN
N sese
se
tiene:
tiene:
tiene:
|zn|z|z−
nn−
−z|
z| <
z|<
ϵ.
<ϵ.ϵ.
EsEsdecir,
Esdecir,
decir,
znz∈
zn∈
n ϵ) ϵ)salvo
∈B(z,
B(z,B(z, ϵ)salvo
salvo
para
para
para
unun
un
número
número
número
finito
finito
finito
dedeíndices.
índices.EnEn
caso
o de índices. En caso
caso
contrario,
contrario,
contrario,
la la
sucesión
lasucesión
sucesióndiverge.
diverge.
diverge.
Proposición
Proposición
Proposición 2.2.1.
2.2.1.EnEn
2.2.1. En
la la
definición
ladefinición
definición anterior
anterior
anteriorel el
complejo
el complejo
complejo si si
z, z, existe,
existe,
eses
plejo z, si existe, único
esúnico
único
y se
y yse
llama
sellama el ellímite
llama el límite
límite
dede
de
la lasucesión.
la sucesión.
sucesión. EnEn
En
eseese
ese
caso
caso
caso
sese
escribe:
escribe:
aso se escribe:
z=zz==lı́mlı́m
lı́m
znz.znn..
n→∞
n→∞
n→∞
Proposición
Proposición
Proposición2.2.2.
2.2.2.Toda
2.2.2. Toda
Toda
sucesión
sucesión
sucesión que
que
que
converge
converge
convergeesesacotada,
es acotada,
acotada,
esto
esto
es,es,
existe
cotada, esto es, existe
existe
MM> 0>(real)
M> 00(real)
(real)
taltal
tal
que
que
que
|zn|z|z
| n<
n| |<
M
<M para
M para
para
todo
todo
todo
índice
índice
índice
n.n.
n.
n.
1. La sucesión (real) |zn | converge a |z|.
Demostración.
1. Porque |zn | − |z| ≤ |zn − z|.
De manera
De intuitiva,
Demanera
manera una una
intuitiva,
intuitiva, unaserie
serie es una
serie esessuma
una infinita:
unasuma
suma infinita:
infinita:
ta:
z1 +zz121+
+
+zzz232+
+
+zzz343+
+
+z.z4.4.++. . . .
ParaPara
Para
formalizar
formalizar
formalizar
estaesta
idea,
estaidea,
idea,
se definen
sesedefinen
definen
las sumas
las
lassumas
sumas
parciales de una
parciales
parciales de
desuce-
una
unasuce-
suce-
ales de una sión:
suce-
sión:
sión:
s1 =ssz11==zz11
s2 =ssz221=+ =zzz121++zz22
s3 =ssz331=+ =zzz121++
+zzz232++zz33
s4 =ssz441=+ =zzz121++
+zzz232+
++zzz343++zz44
.. .. ..
. ..
sn =ssnsnn−1 ==s+sn−1zn++zznn
n−1
.. .. ..
. ..
Tal Tal
sucesión
Talsucesión
sucesión
de sumas
de
desumas
sumas
parciales
parciales
parciales
puede
puede
puede
o no oconverger.
ono
noconverger.
converger.
r. Definición
Definición
Definición2.2.2.2.2.2.UnaUna
2.2.2. Una
serieserie
serie
de números
de
denúmeros
números
complejos converge
complejos
complejos converge
converge
si existe
sisiexiste
existe
onverge si existe
el límite
elellímite
límite
de lade
de
correspondiente
lalacorrespondiente
correspondiente
sucesión
sucesión
sucesión
de sumas
de
desumas
sumas
parciales,
parciales,
parciales,
que en
que
que
eseen
enese
ese
iales, que en ese
caso caso
caso
se llama
se la suma
sellama
llama lala suma
suma
de lade
de
serie
lalaserie
serie
y se ydenota:
yse
sedenota:
denota:
∞
∞
∞
zn . zznn. .
n=0 n=0
n=0
En En
caso
Encaso
caso
contrario,
contrario,
contrario,
la serie diverge.
lalaserie
serie diverge.
diverge.
∞ ∞
∞
Proposición
Proposición
Proposición 2.2.7. Si laSi
2.2.7.
2.2.7. Siserie
lala serie
serie
compleja
compleja
complejazn converge entonces
zznn converge
converge entonces
entonces
onverge entonces n=0 n=0
n=0
zlı́m
lı́m lı́mn =zzn0.
n= =0.0.
n→∞n→∞
n→∞
∞ ∞
∞∞ ∞
∞
∞ Proposición
Proposición
Proposición2.2.8 (Linealidad).
2.2.8
2.2.8 (Linealidad).
(Linealidad).
Si lasSiSiseries
las
lasseries
serieszn , zznn,w, n conver-
wwnn conver-
conver-
, wn conver- n=0 n=0 n=0
n=0 n=0 n=0
∞ ∞
∞
n=0
gen gen
gen
entonces,
entonces,
entonces,
parapara
para
complejos
complejos
complejos b ∈∈laC,
a,a,bC,
a, b ∈ serie
C, lala serie
serie(azn +(az
(azbw ++
nnn con-
bwnn)) con-
) bw con-
(azn + bwn ) con- n=0 n=0n=0
verge
verge
verge
y además
yyademás
además
se tiene:
se
setiene:
tiene:
∞
∞
∞ ∞
∞
∞ ∞ ∞
∞
(azn(az
+
(azbw
nn++)bw
n bw
=nan))=
=aazn + zbznn++bw
b n . wwnn. .
. n=0 n=0
n=0 n=0 n=0
n=0 n=0 n=0
n=0
∞
Corolario 2.2.1. Si la serie compleja zn converge entonces la se-
n=0
∞
rie conjugada zn también converge, y además:
n=0
∞
∞
zn = zn .
n=0 n=0
c0 + c1 + c2 + c3 + · · · + cn .
fin, si |c| < 1 entonces lı́m cn+1 = 0 luego la sucesión (2.1) converge.
n→∞
En conclusión, para cada complejo c ∈ C con |c| < 1 resulta la serie
geométrica convergente:
∞
1
cn = .
n=0
1−c
∞ n
i 9 + 3i
En particular, por ejemplo, = .
n=0
3 10
∞ n
i
Ejemplo 2.2.7. Se considera . Esta serie converge porque:
n=1
n
∞ n
i i 1 i 1 i 1 i
= − − + + − − + ...
n=1
n 1 2 3 4 5 6 7
1 1 1 1 1 1
= − + − + ... + i 1 − + − + ...
2 4 6 3 5 7
y estas dos series reales convergen porque son alternantes cuyas suce-
siones de valores absolutos son estrictamente decrecientes y convergen
a cero. Por otro lado, la serie de valores absolutos
∞ n ∞
i 1
=
n n
n=1 n=1
diverge.
∞
también la serie zn converge. En este caso, esta serie converge
n=0
absolutamente.
Proposición
2.2.12 (Criterio del cociente). Supóngase que existe l =
zn+1
lı́m , en ese caso se trata de un número real no negativo.
n→∞ zn
∞
Si l < 1 entonces la serie compleja zn converge;
n=0
∞
Si l > 1 entonces la serie compleja zn diverge.
n=0
Proposición
2.2.13 (Criterio de la raíz). Supóngase que existe r =
n
lı́m |zn |, en ese caso se trata de un número real no negativo.
n→∞
∞
Si r < 1 entonces la serie compleja zn converge;
n=0
∞
Si r > 1 entonces la serie compleja zn diverge.
n=0
∞
entonces la serie de potencias an (z − a)n converge absolutamente
n=0
para todo z tal que |z − a| < R.
∞
Ejemplo 2.2.8. En el caso de la serie geométrica z n se tiene a = 0
n=0
1
y an = 1 para cada n. Es claro que R = lı́m √
n = lı́m 1 = 1, luego
n→∞ 1 n→∞
su radio de convergencia es 1.
∞
Ejemplo 2.2.9. Para la serie nz n se tiene a = 0, an = n, luego
n=0
n 1
el radio de convergencia es R = lı́m = lı́m 1 = 1.
n→∞ n+1 n→∞ 1+ n
∞
zn 1
Ejemplo 2.2.10. Para la serie es a = 0 y an = , de donde
n=0
n! n!
1
n! (n + 1)!
R = lı́m 1 = lı́m = lı́m n + 1 = +∞,
n→∞
(n+1)!
n→∞ n! n→∞
∞ n
1 n a |b|
a) = (−1) n+1 z n , para |z| < .
az + b n=0
b |a|
∞
1 1 1 1
b) = − z n , para |z| <
(z − a)(z − b) a − b n=0 bn+1 an+1
mı́n{|a|, |b|}.
∞
1 1
c) = n+1
(z − a)n , para |z − a| < |b − a|.
b−z n=0
(b − a)
3
Capítulo
Capítulo
Capítulo33
Funciones
Funcionesde
devariable
variable compleja
compleja
Funciones de variable compleja
A fin
A fin
de de
construir
construirununadecuado
adecuadoacervo
acervodedeejemplos,
ejemplos, en
en este
este capí-
capí-
tulotulo
se se
estudian
estudianlaslas
funciones
funcionesbásicas
básicasenenlos
losnúmeros
números complejos.
complejos. Se
hacehace
énfasis
énfasis
especial
especialenensusucomportamiento
comportamientogeométrico,
geométrico, pues
pues deben
deben
entenderse
entenderse
como
comotransformaciones
transformacionesdeldelplano.
plano.
3.1.
3.1. Funciones
Funcioneselementales
elementales
3.1.1.
3.1.1. Nociones
Nocionesgenerales
generales
UnaUna
función
función
de de
variable complejaestá
variablecompleja estádefinida
definidaen
enun
un subconjunto
subconjunto
D de
D números
de númeroscomplejos
complejos y toma
y tomavalores
valoresenenlos
losnúmeros
númeroscomplejos.
complejos. De
manera
manerasimbólica,
simbólica,
es es
unauna
función
función
: D⊆⊆CC−→
f f: D −→C.C.
Si la
Si variable
la variable
es es
z =z =x +
x+yiyientonces
entonceslalaparte
partereal
real ee imaginaria
imaginaria de
la imagen
la imagen
f (z), consideradas
f (z), consideradascomo
comofunciones
funcionesreales
reales de
de dos
dos variables
variables
5353
Introducción a las funciones de variable compleja
Capítulo 56
Capítulo
3. Funciones
3. Funciones
de variable
de compleja
variable compleja 54 compleja
Capítulo 3 · Funciones de variable 54
reales, se reales,
denotanse denotan
u, v : D ⊆u,Rv2 :−→
D ⊆R,R2 −→ R,
de manera
deque
manera
f (x +que
yi)f=
(xu(x,
+ yi)
y)=
+ u(x, + iver
i v(x,y)y), v(x, y), ver 9.
Figura Figura 9.
Figura 9: Representación
Figura 9: Representación
de una función
de unacompleja
función compleja
Las funciones
Las funciones
de variable
de compleja
variable compleja
no se pueden
no se representar
pueden representar
de de
manera gráfica
maneracomo
gráfica
se hace
comocon
se hace
las funciones
con las funciones
reales, luego
reales,
su luego
com- su com-
portamiento
portamiento
geométricogeométrico
se estudiase mediante
estudia mediante
el efecto eldeefecto
la función
de la función
sobre ciertos
sobresubconjuntos,
ciertos subconjuntos,
en especial
en sobre
especial
las sobre
rectaslashorizontales
rectas horizontales
y verticales.
y verticales.
En las secciones
En las secciones
siguientessiguientes
se presentan
se presentan
las principales
las principales
funcionesfunciones
de variable
de compleja,
variable compleja,
cuyo conocimiento
cuyo conocimiento
será útil será
en elútil
de- en el de-
sarrollo del
sarrollo
cálculo
deldiferencial
cálculo diferencial
e integralecomplejo.
integral complejo.
3.1.2. 3.1.2.
La función
La función
lineal lineal
TomandoTomando
el nombreel del
nombre
cálculo
delreal,
cálculo
una real,
función
una compleja
función compleja
lineal lineal
tiene la forma
tiene la forma
f (z) + b =donde
= azf (z) b donde
az + a, b ∈ C ya, ab ̸=
∈C0. yEla dominio
̸= 0. El de
dominio de
esta función
estaesfunción
todo elesplano
todocomplejo.
el plano complejo.
Para su estudio
Para suseestudio
considerarán
se considerarán
varios casos.
varios casos.
• f (z) = z + b
un un
ángulo
ángulo
α= α Arg(a
= Arg(a Nótese
2 ).2 ). Nóteseque
quesisiz z==|z|(cos
|z|(cosθθ++iisen
senθ)
θ) se
se tiene
tiene
lo siguiente.
lo siguiente.
f (z)
f (z)
=a =2 za2=
z=(cos
(cosαα ++ i sen
i senα)|z|(cos
α)|z|(cosθθ++i isen
senθ)
θ)
==|z|(cos
|z|(cosθ+ θ +i sen
i senθ)(cos
θ)(cosαα++i isen
senα)
α)
==|z||z|coscos
(θ(θ++α)α)++i sen
i sen(θ(θ++α)
α)
AsíAsí
f (z) tiene
f (z) tiene
el mismo
el mismo valor
valor
absoluto
absolutoque quez zyysusuargumento
argumento aumenta
aumenta
en α.
en La
α. Laimagen
imagenporpor
esta
esta
función
funcióndedeuna unalínea
línearecta
rectaeses también
también una
una
línea
línea
recta,
recta,
rotada
rotadaununángulo
ánguloarg(a
arg(a2 )2 )respecto
respectoalalorigen,
origen, así
así que
que esta
esta
función
función
preserva
preserva
laslas
líneas
líneas
rectas
rectasy yloslosángulos.
ángulos.
Combinando
Combinando loslos
análisis
análisis
dedelosloscasos
casosparticulares,
particulares,lalafunción
función lineal
lineal
f (z)
f (z)
= az + b+ corresponde
= az b correspondededemanera
manerasimultánea
simultánea aa una
una homotecia
homotecia
concon
centro
centro
en en
el origen
el origen
y factor
y factor|a|,|a|,una
unarotación
rotaciónalrededor
alrededor del
del origen
origen
de ángulo
de ángulo
Arg(a)
Arg(a)y una
y una
traslación
traslaciónenenelelvector
vectorb.b.La
Laimagen
imagen porpor esta
esta
función
función
de de
cualquier
cualquierrecta
rectasiempre
siempreesesuna unarecta,
recta,yy ella
ella preserva
preserva los
los
ángulos.
ángulos.
3.1.3.
3.1.3. LaLa
función
funciónconjugado
conjugado
La Lafunción
funcióncompleja
complejaconjugado
conjugadoestá
estádefinida
definidacomo
como ff(z)
(z) = = z,z, su
su
dominio
dominioes estodo
todo
el el
plano
planocomplejo
complejoy ysussusfunciones
funcionescomponentes
componentes son son
= vx, =v −y.
u =u x, = −y.LaLa imagen
imagendedeuna
unarecta
rectavertical
verticalxx== pp eses la
la misma
misma
recta
recta
vertical
vertical
u= = la
u p; p; la
imagen
imagendede
unaunarecta
rectahorizontal
horizontalyy==sses es la
la recta
recta
horizontal
horizontalv =v −s.
= −s. LaLa imagen
imagendedecualquier
cualquierfigura
figuraeseslala misma
misma figura
figura
reflejada
reflejadade de
manera
manera horizontal
horizontaleneneleleje
ejereal.
real.Esta
Esta función
función preserva
preserva
todas
todas
las las
rectas
rectas
y los
y los
ángulos.
ángulos.
Combinando
Combinando
esta
esta
función
funcióncon
conlalaanterior
anteriorseseobtiene
obtiene elel resultado
resultado
siguiente.
siguiente.
Proposición
Proposición 3.1.1. Las
3.1.1. Las
funciones
funcionescomplejas
complejasdedelalaforma
formaff(z)(z) =
= az+b
az+b
y g(z)
y g(z)
= az
= az
+ b, donde
+ b, donde b∈
a, a, b ∈C,C,dan
dancuenta
cuentadedetodos
todos los
los movimien-
movimien-
tos tos
de de
la geometría
la geometríaeuclidiana
euclidianaenenelelplano:
plano:reflexiones,
reflexiones, traslaciones,
traslaciones,
rotaciones
rotaciones
y homotecias.
y homotecias.
3.1.4.
3.1.4.La La
función
función
cuadrática
cuadrática
El dominio
El dominio de ladefunción
la función cuadrática
cuadráticaf (z)f=(z) z 2=esz 2todo
es todo
el plano
el plano
C. C.
Las funciones
Las funciones componentes
componentes son uson=u 2 22 2
x =−xy ,−vy=, 2xy, v = 2xy,ver gráfica
ver gráfica
en laen la
Figura
Figura
10a 10ay Figura y Figura 10b.10b. La imagen
La imagen de laderecta la recta
vertical
vertical
x=x a ̸= 0a ̸= 0
2v 2 v 2 4a4 −v4a2 4 2
es u es
= ua2=−a4a −
2 = = , −v
4a2 4a2 4a2
esta, esta
es unaes una
parábolaparábola con el convértice
el vértice
(a2 , 0)
(a2 , 0)
que se
queabre
se abre
en elen sentido
el sentido negativo
negativo
de u de(“hacia
u (“haciala izquierda”)
la izquierda”)
y corta
y corta
el el
eje imaginario
eje imaginario en v en = ±2a
v = ±2a2
. De .manera
2
De manera similar,similar,
la imagen
la imagen
de laderecta
la recta
v2 v2 2 2v 2 −4cv42 −4c4
horizontal
horizontal
y = yc = ̸= c0 ̸= es 0u es = u4c =
2 − c
4c2
−= c =
4c2 4c2
, una , una
parábola
parábola
con el
con el
vértice
vértice 2
, 0) que
(−c (−c 2
, 0) quese abre se abre
en elensentido
el sentidopositivo
positivode ude y corta
u y corta
el ejeel eje
imaginario
imaginario
en v en = ±2cv = 2±2c , ver2 ,laver la Figura
Figura 11a,11a, y unyrectángulo
un rectángulo mediante
mediante
f (z)f=(z)z =forma
2
z forma
2
una una figura figura
en forma
en formade hoja,de hoja, ver la verFigura
la Figura11b.11b.
Se nota
Se nota
que, que,
aunque aunque las rectas
las rectas
son perpendiculares,
son perpendiculares, ambasambas
parábolas
parábolas
tienen
tienen
comocomoeje, el eje, ejeelreal.
eje real.
(a) Recta
(a) Recta
horizontal
horizontal
y vertical
y vertical (b) Rectángulo
(b) Rectángulo × [−1,
[0, 1] [0, 1] × 1]
[−1, 1]
p(z) a0 + a1 z + a2 z 2 + · · · + am z m
r(z) = = .
q(z) b0 + b1 z + b2 z 2 + · · · + bn z n
Aquí
Aquí q(z)̸= ̸=0, 0,es esdecir,
q(z) decir,alalmenos
menosunounodedelosloscoeficientes
coeficientes bbi i es
es
diferente de de
diferente cero.
cero.ElEldominio
dominiodedeestaestafunción r(z)esestodo
funciónr(z) todo elel plano
plano
excepto loslos
excepto finitos
finitospuntos
puntos z0zen
0 los
en cuales
los cualesq(z
q(z )
00 =
) =0, esto
0, estoes,
es,las
lasraíces
raíces
deldel
denominador,
denominador, queque son a alolomás
son másn.n.
UnUncasocasoparticular
particular es es
la la
función
funcióninverso
inversomultiplicativo
multiplicativoque queseseestu-
estu-
diará en en
diará seguida.
seguida. Otro
Otrocaso
casoespecial,
especial,ununpoco pocomas masgeneral,
general,eseslalafunción
función
racional
racionalcuyo
cuyo numerador
numeradory ydenominador
denominadorson sonambos
ambosde degrado
grado menor
menor
o igual a 1.
o igual DeDe
a 1. manera
maneraexplícita,
explícita,sesetrata tratadedeuna unafunción
funciónss definida
definida
como
como
azaz++b b
s(z)
s(z)==
czcz++d d
donde
dondea, b,
a,c,b,dc,∈d C∈C sonsonnúmeros
númeroscomplejos
complejosfijos fijosyyc,c,ddno
noson
sonaalala vez
vez
cero.
cero.
Cuando
Cuando c= c= 0 se
0 setiene
tienes(z)
s(z)==ad zad z++db ,db ,y ysesetrata
tratadedeuna
unafunción
función
lineal. Cuando
lineal. Cuando c ̸=
c ̸= resulta
0, 0, resulta
azaz++b b ac (cz
a
c
(cz
++ b −ad
d)d)++b − ad
c c aa ad ad−−bcbc
s(z) ==
s(z) == == −− ..
cz cz
++ dd czcz++d d c c c(cz
c(cz++d)d)
AsíAsí
pues,
pues,
si ad
si ad
−− bc bc
== 0 entonces
0 entoncess sesesuna
unafunción
funciónconstante
constante(a
(asaber,
saber,
cuando
a a
c c
cuando 0 y0 dy en
c ̸=c ̸= b b
d
en
caso
caso
contrario).
contrario).ElElcaso
casomás
másinteresante
interesanteocurre
ocurre
cuando
cuando − bc
ad ad − bc
̸= ̸= que
0, 0, que
son
son
laslasllamadas
llamadastransformaciones
transformacionesdedeMöbius
Möbius
queque
se se
estudiarán
estudiarán luego.
luego.
3.2.2.
3.2.2. LaLafunción
funcióninverso
inversomultiplicativo
multiplicativo
LaLa
función
función
inverso multiplicativoestá
multiplicativo
inverso estádefinida
definidacomo
como
11
f (z)== . .
f (z)
zz
Su Sudominio
dominio es es
la la
región
regiónDD==CC−−{0} {0}dedetodos
todoslosloscomplejos
complejos no no
nulos.
nulos.
LasLasfunciones
funciones componentes
componentesson sonu u==x2x+y
xx
2 2yyv v=
2 +y =−−x2x+yyy
2 +y2 2, ,ambas
ambas
tienen
tienencomocomodominio
dominio el el
plano
planoexcepto
exceptoelelorigen
origenRR −−{(0,
22
0)}.Si
{(0,0)}. Si zz ==
|z|(cos θ +θ i+sen
|z|(cos i sen entonces
θ) θ) entonces
1 1 1 1 11
f (z) = = = = coscos
f (z) (−θ)
(−θ)
++ i sen
i sen
(−θ)
(−θ) == (cos (cosθθ−−i isen
senθ). θ).
z z |z||z| |z|
|z|
El efecto
El efecto
geométrico
geométrico
de estadefunción
esta función
es unaesreflexión
una reflexión
en la circun-
en la circun-
ferencia
ferencia
unidadunidad
S 1 seguida
S 1 seguida
de unadereflexión
una reflexión
en el eje
en real.
el eje real.
y = − v
2 +v−
y u= 2 ulo2 +vcual
v
2 lo muestra,
cual muestra, de otra de manera,
otra manera, que estaque función
esta función es es
igual aigual
su propiaa su propiainversa. inversa.
Por otro Porlado,
otro la lado,
imagenla imagen
de la recta
de la vertical
recta vertical
x = ax̸==0aes̸=u0 =es xu2 +y a a
=2 x=2 +ya(u 2
2 =+ a(uv 22),+dev 2donde
), de donde
u2 + vu22 = + vua2, esto
= ua , esto
1 2 1 22 1
es u − es 2au −+2av =+ 4a v122 ,=esta
1
4a 2 ,esesta
una es circunferencia
una circunferenciacon centro
con centro1
2a
, 0 2a
,0
y radio y radio
2a
1
, de 1
2a
manera
, de manera
que pasa
que por
pasa el por
origen
el origen
aunque aunque
este punto
este punto
no no
pertenece
pertenece
al recorridoal recorrido
de la función.
de la función.En la En Figurala Figura
12 se 12
muestran
se muestran la la
recta yrecta
su imageny su imagen en un en mismo
un mismo plano.plano.
1 1
Figura 12: Imagen
Figura 12: Imagen
de unaderecta
una por
rectalapor
función
la función
f (z) =f (z) =
z z
3.2.3.3.2.3.
Transformaciones
Transformaciones
de Möbius
de Möbius
Definición
Definición Una transformación
3.2.1.3.2.1. Una transformación
de Möbius
de Möbius
es unaesfunción
una función
de de
variable
variable
compleja
compleja
S definida
S definida
como: como:
az + baz + b
S(z) =S(z) = , ,
cz + dcz + d
donde donde d∈
a, b, c, a, C dson
b, c, ∈ Cnúmeros
son números
complejos
complejos
fijos tales
fijos que
talesadque
− bc
ad̸=−0.bc ̸= 0.
Corolario
Corolario 3.2.1. EnEnuna
3.2.1. unatransformación
transformacióndedeMöbius
Möbius puede
puede tomarse
tomarse
ad − −=
adbc bc 1.
= 1.
Demostración. Basta
Demostración. Basta
multiplicar
multiplicartodos
todoslos
loscoeficientes
coeficientes de
de la
la transfor-
transfor-
mación
mación
dada
dada
porpor
11
λ λ==√√ ..
adad−−bcbc
Proposición
Proposición 3.2.3.Excepto
3.2.3. Exceptolalafunción
funciónidéntica,
idéntica,una
unatransformación
transformación
de Möbius
de Möbius
tiene
tiene
a lo
a lo
más
másdos
dospuntos
puntosfijos.
fijos.
Demostración. LaLa
Demostración. ecuación
ecuaciónS(z)
S(z)==z zequivale
equivaleaa
2 2
czcz++(d(d−−a)z
a)z−−b b==0.0.
Si cSi̸=c 0,
̸= esta
0, estaes es
unauna
ecuación
ecuacióncuadrática
cuadráticaque, que,enenlos
los complejos,
complejos, tiene
unauna o dos
o dossoluciones;
soluciones;
si sic =
c =0 0pero
peroa a̸≠=ddentonces
entonces eses una
una ecuación
ecuación
lineal
lineal
conconunauna única
única
solución;
solución;por porfin,
fin,sisic c==00yy aa == dd entonces
entonces la
ecuación
ecuación se reduce
se reduce a −b
a −b== 0, 0,que
quenonotiene
tienesolución
soluciónsisibb̸=
̸= 00 yy que
que tiene
infinitas
infinitassi bsi=b 0. EnEn
= 0. este
este último
últimocasocasolalatransformación
transformación de de Möbius
Möbius es
S(z)S(z)= z.
= z.
EnEnconsecuencia,
consecuencia,porporejemplo,
ejemplo,lalafunción
función conjugado
conjugado no no es
es una
transformación
transformacióndedeMöbius,
Möbius,porque
porquenonoeseslalafunción
función idéntica
idéntica yy tiene
infinitos
infinitos
puntos
puntos
fijos,
fijos,
a saber,
a saber,todos
todoslos
losreales.
reales.
Proposición
Proposición
3.2.4.
3.2.4.
La La
1. 1. compuesta
compuestadede
dos
dostransformaciones
transformacionesde
deMöbius
Möbius es
es una
una trans-
formación
formación
de de
Möbius.
Möbius.
Toda
2. 2. Toda
transformación
transformación dedeMöbius
Möbiusesesbiyectiva,
biyectiva,yysu
su función
función inver-
sa sa
también
tambiénes es
una
una
transformación
transformacióndedeMöbius.
Möbius.
Capítulo
Demostración. 3. Funciones
Capítulo 3 · Funciones decompleja
de variable variable compleja 63
65
3.2.3. Transformaciones
Demostración. de Möbius
az + b αz + β
1. La compuesta de S(z) = y T (z) = es
cz + d γz + δ
az + b αz + β
Definición 3.2.1. Una
1. La transformación
compuesta
(aα +de +de
S(z)
bδ)z =Möbius
(aβ + bδ) es
y Tuna
(z) función
= de es
ST (z) = cz + d . γz + δ
variable compleja S definida(cα como:
+ dγ)z + (cβ + dδ)
(aα + bδ)z + (aβ + bδ)
ST (z)
az =
+b .
S(z) = , + dγ)z + (cβ + dδ)
(cα
cz + d
az + b dz − b
2. La
donde a, b,inversa deson
c, d ∈ C S(z) =
números es S −1 (z)
complejos = tales que. ad − bc ̸= 0.
fijos
cz + d −cz + a
az + b dz − b
Corolario 3.2.2. Lasinversa
2. La transformaciones
de S(z) = de Möbius constituyen
es S −1 (z) = un.
grupo con la composición. cz + d −cz + a
Corolario 3.2.2. Las transformaciones de Möbius constituyen un
grupo con la composición.
Se nota que la composición de transformaciones de Möbius co-
rresponde al producto matricial, y que el determinante del producto
es el producto deSelos
nota que la composición
determinantes. Por otrode transformaciones
lado, la función inver-de Möbius co-
rresponde ala producto
sa también corresponde la inversamatricial,
matricial.y Así
que se
el observa
determinante
que eldel producto
grupo de transformaciones de Möbius es isomorfo al grupo lineallaes-función inver-
es el producto de los determinantes. Por otro lado,
saconstituido
pecial SL2 (C) también corresponde
por todas lasa lamatrices
inversa complejas
matricial. 2Así
× 2secon
observa que el
grupo
determinante 1. de transformaciones de Möbius es isomorfo al grupo lineal es-
pecial SL2 (C) constituido por todas las matrices complejas 2 × 2 con
determinante 1.
∞
∞
x2n+1 x2n
sen x = (−1)n cos x = (−1)n (3.2)
(2n +
∞ 1)! (2n)!∞
n=0 x2n+1 n=0 x2n
sen x = (−1)n cos x = (−1)n (3.2)
n=0
(2n + 1)! n=0
(2n)!
ez = ex+iy = ex eiy ,
donde
donde
ex eesx es
la la
función
función
exponencial
exponencialreal.
real.¿Qué
¿Quéesesahora
ahoraeeiyiy siendo
siendo yy un
número
númeroreal?real?
PorPor
definición
definiciónsesetiene
tienelolosiguiente:
siguiente:
∞ ∞ n n 22
iy iy (iy)
(iy) 0 0 1 1 (iy)
(iy) (iy)3 3 (iy)
(iy) (iy)44
e e= = ==
(iy)
(iy) ++(iy)
(iy) ++ ++ ++ +
+......
n=0n=0
n! n! 22 3!3! 4!4!
y 2 y 2 iyiy
3 3
y 4y 4 iyiy 55
y 6y 6 iyiy7 7
= 1=+1 iy
+ iy− − − − ++ ++ −− −− ++. .. .. .
2 22 24 43! 3!6 6 4!4! 5!5! 6!6! 7!7!
y y y y yy yy3 3 yy55 yy77
= =1 −1 − + + − − ++ . .... . ++i i y y−− ++ −− + + ......
2 2 4! 4! 6!6! 3!3! 5!5! 7!
7!
∞ ∞ ∞∞
n ny 2ny 2n 2n+1
n n yy
2n+1
= = (−1) (−1) ++i i (−1) (−1)
n=0n=0
(2n)!
(2n)! n=0 n=0
(2n
(2n++1)! 1)!
= cos
= cos
y +y i+sen
i sen
y. y.
Esta
Esta
notable
notable
igualdad,
igualdad,
válida
válida para
paratodotodoy y∈∈R,R,seseconoce
conocecomo
como fórmula
fórmula
de de
Euler : :
Euler
eiyeiy==cos
cosy y++i sen
i seny.y. (3.4)
(3.4)
Ahora
Ahora la la
forma
formapolar
polardedeununnúmero
númerocomplejo
complejo sese puede
puede expresar
expresar
de de
manera
manera justificada
justificadacomo
comoz z==rere , ,siendo
iθ iθ
siendorr == |z|
|z| yy θθ =
= arg(z).
arg(z).
UnUncaso
caso muymuy especial
especialseseobtiene
obtienepara
paray y==π,π, puespues entonces
entonces eeiπ
iπ
=
coscos
π +π i+sen
i sen
π= π=−1−1 ++0 i0= −1,esesdecir,
i =−1, decir,
eiπeiπ++1 1==0.0.
Esta
Esta
expresión
expresión
hahasido
sidoreconocida
reconocidacomo
como“el
“elteorema
teorema más
más bello”
bello” en
matemáticas.
matemáticas.
Combinando
Combinando
loslos
resultados
resultadosanteriores
anterioresseseobtiene
obtiene
ez e=
z
(cosy y++i sen
=exe(cos
x
i seny),
y),
de de
manera
manera queque
laslas
funciones
funcionescomponentes
componentesdedelalaexponencial
exponencial sonson uu =
ex cos
ex cos
y yy vy =
v = ex sen
ex sen
y. y.Con
Conesta
estadescripción
descripcióntambién
también se
se pueden
pueden de-
de-
mostrar
mostrarlaslas
propiedades
propiedadesenunciadas
enunciadasantes,
antes,por
porejemplo
ejemplo sisi zz =
= xx +
+ iy,
w = u + iv entonces:
4. ez e−z = 1.
5. ez ̸= 0 para todo z ∈ C.
1
6. = e−z .
ez
7. ez = ez .
8. ez = ew si y solo si ez−w = 1.
Para una
Para recta
unavertical
recta vertical
fija, la fija,
imagen
la imagen
de cualquier
de cualquier
segmentosegmento
de longi-
de longi-
tud 2πtudrecorre
2π recorre
la circunferencia
la circunferencia
una vez,unaasívez,
queasí
la que
rectala completa
recta completa
la la
describe
describe
infinitasinfinitas
veces. Por
veces.suPor
parte,
su parte,
la imagenla imagen
de la recta
de lahorizontal
recta horizontal
y = c es
y= c es cex+(cos
ex (cos i sen
c+c),i sen
x ∈c),R,xque
∈ R,es que
una essemirrecta
una semirrecta
que parte
que del
parte del
origen origen
(sin incluirlo)
(sin incluirlo)
ver la ver la Figura
Figura 13. Se13. notaSeque
notacualquier
que cualquier
recta recta
y = c y+ = 2kπc +describe
2kπ describe
la misma la misma
semirrecta.
semirrecta.
La imagen
La imagen
de unaderecta
una recta
diagonal
diagonal
es una esespiral
una espiral
logarítmica.
logarítmica.
13: Imágenes
FiguraFigura 13: Imágenes
de rectas
de rectas
por la por
función
la función z
f (z) =fe(z) = ez
A partir
A partir
de aquídeseaquí
puedese puede
determinar
determinar
la imagen
la imagen
de diferentes
de diferentes
sub- sub-
conjuntos
conjuntos
del plano,
del plano,
por ejemplo,
por ejemplo,
la imagen
la imagen
de la región
de la región
determinada
determinada
por x por
< 0,x−π< 0, y ≤<π yes≤elπdisco
< −π es el abierto
disco abierto
de radiode 1radio
sin el1 origen,
sin el origen,
esto esesto
0 <es|w| 1. En
0 < |w| < 1.conclusión,
En conclusión,
podemospodemos
pensarpensar
que la que
función
la función
exponencial
exponencial
complejacompleja
pliega pliega
el plano
el sobre
plano sí
sobre
mismosí mismo
infinitas
infinitas
veces. veces.
Esta función
Esta función
no es inyectiva
no es inyectiva
ni sobreyectiva,
ni sobreyectiva,
y tomay todos
toma los
todosvalores
los valores
exceptoexcepto
el cero.el cero.
3.4.
3.4.
3.4. Las
Las
Las
funciones
funciones
funciones
trigonométricas
trigonométricas
trigonométricas
A partir
AA partir
partir
de de
la
dela
fórmula
lafórmula
fórmula dedeEuler
deEuler
Euler
(3.4),
(3.4),
(3.4),
obtenemos
obtenemos
obtenemos
las
las las
siguientes
siguientes
siguientes
igualdades,
igualdades,
igualdades,
válidas
válidas
válidas
para
para
para
todo
todo
todo
y y∈y∈R:∈
R:R:
eiyeiy= cos
eiy==coscos
y y++ sen
i sen
yi + i sen
y,y, y,
e−iy
e−iy==cos
e−iy =cos
cos
y y−− sen
i sen
yi − i sen
y.y. y.
La La
solución
La solución
solución
de de
este
deeste
este
sistema
sistema
sistema
es:es:es:
eiyeiy
+ e−iy
eiy++e−iy
e−iy eiy
eiy−iy −iy
e− ee−−iye−iy
coscos
cos
y= y y== , , sen
, sen
sen
y y==
y= .. . (3.5)
(3.5)
(3.5)
2 22 2i2i 2i
Estas
Estas
Estas
igualdades
igualdades
igualdades
se se
toman
setoman
toman
como
como
como
definición
definición
definición
de
delas
de
laslas
funciones
funciones
funciones
trigo-
trigo-
trigo-
nométricas
nométricas
nométricas
complejas.
complejas.
complejas.
Definición
Definición
Definición3.4.1. Para
3.4.1.
3.4.1.Para
Para
cada
cada
cada
número
número
número
complejo
complejo
complejo
z,z,se
sedefinen
z, se
definen
definen
las
las las
fun-
fun-fun-
ciones
ciones
ciones
seno
seno
seno
y coseno
yycoseno
coseno
como:
como:
como:
iziz −iz−iz
eize−
e− e−e e−iz eeiziz+
e+iz −iz
ee+−ize−iz
sensen
sen
z= zz== , , , cos
coscos
z z==
z= .. .
2i 2i2i 22 2
LasLas
Las
demás
demás
demás
funciones
funciones
funciones
trigonométricas
trigonométricas
trigonométricas
sesedefinen
se
definen
definen
de
dela
de
lamanera
manera
la manera
usual.
usual.
usual.
A partir
AA partir
partir
de dela
dela
definición
ladefinición
definición
dedela
delafunción
lafunción
función
exponencial
exponencial
exponencial
como
como
como
serie
serie
serie
se se
obtienen
obtienen
obtienen
laslas
las
expresiones:
expresiones:
expresiones:
∞ ∞
∞ 2n+1
2n+1
2n+1 ∞
∞ ∞ 2n
2n 2n
n nz
n zz nn zzn z
sensen
sen
z =zz== (−1)(−1)
(−1) , , , cos
coscos
z z==
z = (−1)
(−1)
(−1) .. .
n=0n=0
n=0
(2n
(2n
(2n
+ +1)!
+1)!1)! n=0
n=0n=0
(2n)!
(2n)!
(2n)!
Estas
Estas
Estas
series,
series,
series,
queque
que
convergen
convergen
convergen enenen
todo
todo
todo
elelplano
elplano
plano
complejo,
complejo,
complejo,también
también
también
se se
habrían
habrían
habrían
podido
podido
podido
tomar
tomar
tomar
como
como
como
definición
definición
definición
dedelas
de
lasfunciones
las
funciones
funciones
trigonométricas
trigonométricas
trigonométricas
complejas,
complejas,
complejas,
generalizando
generalizando
generalizando
asíasíasí
laslaslas
series
series
series
dedepotencias
depotencias
potencias
reales.
reales.
reales.
Tomando
Tomando
Tomando
z =zz=
x=+
xx+ se
yi+yiyise
tiene:
setiene:
tiene:
iziz −y+ix
eize=
e= e=e−y+ix
e−y+ix −y−y−y
==e=
e (cos
e (cos
(cos
xx++ sen
i sen
xi + i sen
x),
x),x),
e−iz
e−iz
e−iz
== y−ix
e=ey−ix
ey−ix y y y
==e=e(cos x x−−
e(cos
(cos sen
i sen
xi − i sen
x).
x).x).
Luego:
Luego:
Luego:
y yy y −y−y yyy y −y
e e+ e+ e+e −y
e−y eee −
e−
−e−ee−y
−y−y
e
sensen
sen
z= sen
zz==sen
sen
x xx +++i+cos
ii cos
cos
i cos
xxx x
2 22 222 2
== sen
=sen
sen
x cosh
xxcosh
cosh
y+ y y+
i+cos
i cos
i cossenh
x xx senh
senh
x senh
y,y,
y,y,
Se obtienen
Se obtienen
obtienen
asíasí
así
laslas
las
funciones
funciones
funciones
componentes
componentes
componentes
componentes
dede
delas
de
las
laslas
funciones
funciones
funciones
funciones
trigonomé-
trigonomé-
trigonomé-
trigonomé-
tricas.
tricas.
tricas.
Teniendo
Teniendo
Teniendoen en
cuenta
encuenta
cuenta
que
que
que
senh
senh
senh
0 0=0=0=0y0yycosh
ycosh
cosh
cosh
000== 1,cuando
0=1,
=
1, cuando
cuando
1, cuando
zzz=
=
=z xx=
x+
+
+x0i
0i
+ 0i
es real,
es real,
real,
en en
las
en las
las
funciones
funciones
funciones
componentes
componentes
componentes sese
seobtiene:
seobtiene:
obtiene:
obtiene:
sensen
sen
z= sen
zz==sen
sen
x cosh
xxcosh
cosh
0+ cos
0 0+i+i cos
cos
i cos senh
x xx senh
xsenh
senh =sen
000==
0 sen
sen
= sen
x,
x,
x, x,
coscos
cos
z= cos
zz==cos
cos
x cosh
xxcosh
cosh
0− sen
i sen
0 0−i− sen
i sen senh
x xx senh
xsenh
senh =cos
000==
0 cos
coscos
= x.
x.
x. x.
Esto
Esto
demuestra
demuestra
demuestra
el el
hecho
elhecho
hecho
siguiente.
siguiente.
siguiente.
Proposición
Proposición
Proposición 3.4.1. Las
3.4.1.
3.4.1.Las
Las
funciones
funciones
funciones
trigonométricas
trigonométricas
trigonométricas
trigonométricas
complejas
complejas
complejas
complejas
genera-
genera-
genera-
genera-
lizan
lizan
las las
las
trigonométricas
trigonométricas
trigonométricas
reales.
reales.
reales.
En En
En
consecuencia
consecuencia
consecuencia
se se
tienen,
setienen,
tienen,
por
por
por
ejemplo,
ejemplo,
ejemplo,
ejemplo,
los
los
loslos
valores
valores
valores
valores
siguientes.
siguientes.
siguientes.
siguientes.
π ππ
sensen
sen
0 =000=
=00 sensen
sen= =1=1 1 sen
sen
sen
sen
π ππ=π=
=0=
00 0 sen
sen
sensen
2π
2π
2π2π
=
=
=00=
0 0
2 22
π ππ
coscos
cos
0 =001=
=11 coscos
cos= =0=0 0 cos
cos
cos
cos =−1
π ππ=π= −1
−1
= −1 cos
cos
coscos
2π
2π
2π2π
=
=
=11=
1 1
2 22
A partir
A partir
partir
de de
la
de definición
la
la definición
definición
se se
obtienen
seobtienen
obtienen
dede
deinmediato
deinmediato
inmediato
inmediato
las
las
laslas
siguientes
siguientes
siguientes
siguientes
iden-
iden-
iden-
iden-
tidades.
tidades.
tidades.
Proposición
Proposición
Proposición
3.4.2. Para
3.4.2.
3.4.2. Para
Para
cada
cada
cada
número
número
número
número
complejo
complejo
complejo
complejo Cse
zCC
zzz∈∈
∈ ∈ se
setiene:
C se
tiene:
tiene:
tiene:
sensen
1. 1. sen
z +zzcos
2 222
++cos
cos
2 222
z= zz=
1,
=1,1,
sensen
2. 2. sen
(−z)
(−z)
(−z)
== −sen
=−senz yzzcos
−sen yycos
cos
(−z)
(−z)==cos
(−z) =cos
cos
cos
z.z.
z.z.
emostración.
.2.3. Transformaciones de Möbius
Demostración.
az + b αz + β
1. La compuesta de S(z) = y T (z) = es
efinición 3.2.1. 1. Una transformación
cz + d de Möbius γz es
+ δuna función de
ariable compleja S definida(aα como: iz
+ bδ)ze+ (aβe−iz
2 iz
+ bδ)
2
ST (z)
2 = − . e + e−iz
sen z + (cα
cos +
2
z=dγ)z +
az ++b (cβ
2i + dδ) 2
S(z) = , −2iz
cz + 2iz
e d −2+e e + 2 + e−2iz
2iz
=− + = 1.
onde a, b, c, d ∈ C son números complejos 4 tales que ad − bc
fijos 4 ̸= 0.
az + b dz − b
2. La inversa de S(z) = es S −1 (z) = .
cz + d −cz + a
orolario 3.2.2. 2. Las transformaciones de Möbius constituyen un
rupo con la composición. e−iz − eiz eiz − e−iz
sen (−z) = =− = −sen z;
2i 2i
e−iz + eiz eiz + e−iz
cos
Se nota que la composición de transformaciones de Möbius
(−z) = = = cosco-
z.
2 2
esponde al producto matricial, y que el determinante del producto
el producto de los determinantes. Por otro lado, la función inver-
a también corresponde a la inversa matricial. Así se observa que el
De manera similar, haciendo las cuentas con las definiciones, se
rupo de transformaciones de Möbius es isomorfo al grupo lineal es-
obtienen las siguientes identidades que generalizan las usuales.
ecial SL2 (C) constituido por todas las matrices complejas 2 × 2 con
eterminanteProposición
1. 3.4.3. Para cualesquier números complejos z, w ∈ C se
tiene:
Capítulo
Capítulo 3. Funciones
3 · Funciones decompleja
de variable variable compleja 71
73
Proposición 3.4.4.
∞
2n+1 ∞
2n
74 3. Funciones
Capítulo
Capítulo 3. Funciones
de variable
de variable
compleja
compleja
Capítulo 3 · Funciones de variable72 72
compleja
3.5.3.5.El logaritmo
El logaritmo
complejo
complejo
Consideremos
Consideremos
el problema
el problema
de encontrar
de encontrar
un número
un número
complejo
complejo
w ∈ Cw ∈ C
tal que:
tal que: √ √
ew = e1w+=i 1 3.
+ i 3.
Si w =
Si uw+=vui,+esto
v i, se
esto
traduce
se traduce
como:como:
π π π π
+ i sen
eu (coseuv(cos i sen
v +v) = 2v) = + i sen
cos2 cos + i sen
. .
3 3 3 3
Esta Esta
ecuación
ecuación
se resuelve
se resuelve
tomandotomando
eu = e2u (esto
= 2 (esto
es, u es,
= ln
u = y 2) y
2) ln
π
de 3manera
v = 3v, = π
, de manera
que una
quesolución
una solución
es w = es ln πi
Pero
w 2=+ln32. + πi
3
. Pero
también
también
se se
puedepuede
tomartomar
cualquier
cualquier
otro argumento
otro argumento
que difiera
que difiera
de π3 en
de unπ
3
en
múltiplo
un múltiplo
enteroentero
de 2π,dede2π,manera
de manera
que hay que infinitas
hay infinitas
soluciones
soluciones
que sequepueden
se pueden
expresar
expresar
como:como:
π π
w = lnw 2=+lni 2 + +
i 2kπ+ 2kπ, ,k ∈ Z.k ∈ Z.
3 3
x2 +y 2 = u2 +vz2 .̸=Por
1 la solución
0, una general
parte, esto a laque
implica ecuación
x = u(x = 2z) es:
ew2 +y u
= u2 +v 2,
y = − u2 +vv
2 lo cual muestra, de otra manera, que esta
w = ln |z| + i (Arg(z) + 2kπ) , función es
igual a su propia inversa. Por otro lado, la imagen de la recta vertical
x = a ̸= 0 esdonde a Z.
u = kx2∈+y 2 = a(u + v ), de donde u + v
2 2 2 2
= ua , esto
1 2
1
es u − 2a + v 2 = 4a12 , esta es una circunferencia con centro 2a ,0
y radio 2a1
, de manera que pasa por el origen aunque este punto no
Escogiendo
pertenece al recorrido el valor principal
de la función. En la Figura se obtiene
12 seuna funciónlacompleja.
muestran
recta y su imagen en un mismo
Definición 3.5.1. plano.
Se define la función logaritmo principal para cada
z ̸= 0 como:
ln |z| 1
Figura 12: Imagen de una recta Log por
z = la función
+ i Arg(z).
f (z) =
z
√
Así, por ejemplo, Log 1 + i 3 = ln 2+ πi
3
, Log i = πi
2
y Log(−1) =
πi.
1. Por
Definición 3.2.1. Unalatransformación
definición 3.5.1 de Möbius es una función de
variable compleja S definida como:
eLog z = eln |z|+i Arg(z) = eln |z| (cos Arg(z) + i sen Arg(z)) =
az + b = |z| (cos Arg(z) + i sen Arg(z)) = z.
S(z) = ,
cz + d
donde a, b, c, d ∈ C son números complejos fijos tales que ad − bc ̸= 0.
2. Si z = x + yi entonces ez = ex (cos y + i sen y) de donde |ez | = ex
y Arg (ez ) = y0 con y0 = y + 2kπ, aquí k ∈ Z es el único entero tal
que −π < y0 ≤ π. En consecuencia, Log (ez ) = ln |ez | + i Arg (ez ) =
ln ex + i y0 = x + (y + 2kπ)i = x + yi + 2kπi = z + 2kπi.
1 3πi
En el segundo caso no siempre es k = 0, por ejemplo Log e 2 + 2 =
1
2
− πi
2
. La prueba de las identidades siguientes es similar.
de manera que Log [(−1)i] ̸= Log (−1) + Log i. Por otro lado, respecto
al último caso, por ejemplo:
Log (−1)2 = Log 1 = 0,
2 Log (−1) = 2πi,
1. z a+b = z a z b ,
Una posibilidad consiste en escoger otro rango para los valores del
argumento. En general, cada porción que se escoja define una rama
del logaritmo.
S
πi una
Así, por ejemplo, log(−1) = πi + 2kπi y log i = 2 + 2kπi . En
imag
el resultado siguiente, las operaciones a la derecha de cada igualdad
uno
se realizan entre conjuntos, como se acostumbra en álgebra.
Proposición 3.5.5. Para números complejos no nulos z, w ̸= 0 se
tiene:
por condiciones,
aparte. En estas aparte. En estas condiciones,
la función LR : Rla−→función
wC definida
LR : R −→ wC definida
como
o LR (z, θ) = ln|z| + iLθRes
(z,biyectiva,
θ) = ln|z|con es biyectiva,
+ i θinversa w → econ, Im(w)
inversa.w → e , Im(w) .
Figura
Figura 15: Función f (z) = logFunción
15: z f (z) = log z
Ejercicios
ercicios para para 3el capítulo 3
el capítulo
Dado
3.1. con
3.1. Dado el triángulo el triángulo
vértices 3 + 4i,con vértices
−3 + 4i y −5i, 4i, −3 + 4i y −5i, encuentre
3 +encuentre
su imagen por cada función
magen por cada función y elabore un dibujo. y elabore un dibujo.
a) f (z) = z − 3 + a)
5i f (z) = z − 3 + 5i
b) f (z) = iz
c) f (z) = iz + 2 − i
d) f (z) = iz + 2 − i
3 − 4i
e) f (z) = z − 5 + 2i
5
4
Capítulo
Capítulo 4
Capítulo 4
Funciones holomorfas
Funciones holomorfas
Funciones holomorfas
Aunque las funciones de una variable compleja en realidad tienen
dos variables reales, su derivada se puede definir exactamente como
Aunque
en el las funciones
caso real, porque en de
losuna variable
números compleja
complejos en realidad
existe tienen
la división. Sin
dos variables
embargo, estoreales, su derivada
trae consigo se puedesorprendentes.
consecuencias definir exactamente como
en el caso real, porque en los números complejos existe la división. Sin
embargo, esto trae consigo consecuencias sorprendentes.
|z|
1. No existe lı́m (como en las funciones reales).
z→0 z
z
2. No existe lı́m (en el caso real es la función constante 1).
z→0 z
Re(z)
3. No existe lı́m (como antes, la restricción de esta función
z→0 z
a los números reales es la función constante 1).
f (z) − f (z0 )
lı́m .
z→z0 z − z0
Ejemplo 4.1.3.
f
3. Si g(z) ̸= 0, la función cociente es derivable en z, y
g
′
f f ′ (z)g(z) − f (z)g ′ (z)
(z) = .
g [g(z)]2
Ejemplo 4.1.5.
Si fSi
Siesff derivable
es
es derivable
en en
derivable z entonces ambos
z entonces ambos
límites
ambos límites
existen
límites existen
cuando
existen cuando
t tiende
cuando tiende
tt tiende
a cero,
aa cero,y además:
cero, yy además:
+ t,+y)t, −
u(xu(x − u(x,
y)u(x, y) y) v(xv(x
v(x
+ t,
+y)
+ −
y) −
t,t,y) − v(x,
v(x,
v(x,
y)y)
y) ∂u∂u
∂u ∂v∂v
∂v
f ′ (z)
ff′′(z)
= lı́m
(z) =
= lı́m +i +i
lı́mlı́m
lı́m === +i+i
+i . ..
t→0t→0
t→0 t t t→0t→0
t→0 t tt ∂x∂x
∂x ∂x∂x
∂x
De De
manera
De manera
queque
manera u, vu,tienen derivadas
v tienen parciales
derivadas parciales
respecto
parciales respecto
a x,
respecto aa x,
y además:
x, yy además:
además:
∂u∂u ∂v ∂v
∂v ∂f∂f
∂f
f ′ (z)
f ′ (z)
= = + i+ ii = =
= . ..
∂x∂x ∂x∂x
∂x ∂x∂x
∂x
• Aproximación
•• Aproximación
Aproximación
porpor
valores
valores
imaginarios
imaginarios
imaginarios
Si hSi
Si=hh ti
= con
ti con
t ∈t R, como
∈ R, como
número
número
número
complejo
complejo
complejo
es es
es
hh=
h==
(0,(0,
(0, luego
t),t),
t), luego
luego
z +zzh+
+=hh(x,
= y +yt)+de
= (x, t) de
donde:
donde:
f (zff+
(z +−
(zh)
+ h)f−(z)
f (z) u(x, y +y t)
u(x, ++t) i+v(x,
v(x, +−
y +yy t)
i v(x, + t) − (u(x,
t) −
(u(x,
(u(x,
y)y)
y)
++ i+v(x,
iiv(x,
v(x,
y))y))
y))
= =
h h it it
it
v(x,v(x, +−
y +y t) − v(x,
t) v(x,
v(x, y) u(x,
y) y) u(x,
u(x,
y+ yy +
t) −
t)−
+ t) −u(x,
u(x,
u(x,
y)y)
y)
= = − i−− ii . ..
t t t tt
Si fSi
Siesff derivable
es
es derivable
derivable
en en
z entonces
z entonces
ambos
ambos
ambos
límites
límites
límites
existen
existen
existen
cuando
cuando
cuando
t tiende
tt tiende
tiende
a cero,
aa cero,
cero,
y además:
yy además:
y +yt)+−t)v(x,
v(x,v(x, − v(x,
y) y) u(x,
u(x,
y +yy t)
u(x, +−
+ t) − u(x,
t) −
u(x,
u(x, y) ∂v∂v
y)y) ∂v ∂u∂u
∂u
f ′ (z)
ff′′(z)
= lı́m
(z) =
= lı́m −i−ilı́mlı́m
lı́m === −i−i
−i . ..
t→0t→0
t→0 t t t→0t→0
t→0 t tt ∂y∂y
∂y ∂y∂y
∂y
De De
modo
De modo
queque
modo u, vu,tienen derivadas
v tienen parciales
derivadas parciales
respecto
parciales respecto
a y,
respecto aa y,
y además:
y, yy además:
además:
′ ′′ ∂v ∂v ∂u ∂u ∂u∂u∂u ∂v∂v ∂v ∂f∂f
∂f
f (z) = = − i− i = −i
f (z) = −i + i+ + ii = = −i
= −i
−i . ..
∂y ∂y ∂y ∂y ∂y ∂y
∂y ∂y∂y ∂y ∂y∂y
∂y
AsíAsí
Así
se ha
se
se ha
demostrado
demostrado
el siguiente
el siguiente
siguiente
resultado.
resultado.
resultado.
Proposición
Proposición
Proposición 4.2.1. Si la
4.2.1. Si función
la función
de de
de
variable
variable
variable
compleja
compleja
compleja f=ff =u
=+uu+
iv
+iveses
iv es
derivable
derivable
derivable
en en
z =z x=+x iy, entonces
+ iy, entonces
existen
existen
existen
ambas
ambas
ambas derivadas
derivadas
derivadas parciales
parciales
parciales
de cada
de
de cada
cada
unauna
de de
las las
funciones
funcionescomponentes
componentes
componentes v en
u, u,
u, vv en
en
(x,(x,
(x,
y)y)y además
y) yy además
ademássese
se
satisfacen
satisfacen
satisfacen ecuaciones
las las ecuaciones
de deCauchy-Riemann:
Cauchy-Riemann:
Cauchy-Riemann:
∂u ∂u ∂v ∂v ∂u∂u
∂u ∂v∂v∂v
= = ==−
=−−
∂x ∂x ∂y ∂y ∂y∂y
∂y ∂x∂x∂x
∂f ∂f
Estas célebres ecuaciones se pueden resumir como = −i ,o
∂x ∂y
∂f ∂f
bien como =i .
∂y ∂x
Ejemplo 4.2.1.
Ejemplo
Ejemplo
4.2.2. Se considera
4.2.2. Se considerala función
la función
de variable
de variable
compleja:
compleja:
5 5
z z si zsi̸=z0,̸= 0,
= =|z|4 |z|4
f (z)f (z)
0 0 si zsi=z0.= 0.
Sus Sus
funciones
funciones
componentes
componentes
son:son:
x5 −x510x 3 2 3 2
− 10x
y +y 5xy 4
+ 5xy 4
5x4 y5x−4 y10x 2 3 2 35
− 10x y +y y + y 5
u =u = y yv =v = . .
(x2 (x
+ 2y 2+)2y 2 )2 (x2 (x+ 2y 2+)2y 2 )2
Ahora,
Ahora,
por por
ejemplo,
ejemplo,
+ s,+0)s,−0)u(0,
u(0 u(0 − u(0,
0) 0)u(s,u(s,
0) 0)
= = = 1= 1
s s s s
∂u ∂u ∂u ∂u ∂v ∂v
luego
luego (0, 0) 0) 1.= De
(0,= 1. De
forma
forma
similar
similar (0, 0)
(0,=0) 0,= 0, (0, 0)
(0,=0) 0=y 0 y
∂x ∂x ∂y ∂y ∂x ∂x
∂v ∂v
(0, 0)
(0,= = De
0) 1. 1. De
estaesta
manera,
manera,las las
derivadas
derivadas
parciales
parciales
de udey uv ynov no
∂y ∂y
solosolo
existen
existen
en zen=z 0,= sino
0, sino
que que
además
ademássatisfacen
satisfacen
las las
ecuaciones
ecuacionesde de
Cauchy-Riemann
Cauchy-Riemann en ese
en ese
punto.
punto.
PeroPero
f nof es
noderivable
es derivable
en zen=z0,=ya
0, que
ya que
y para
y para
h =ht(cos θ + θi sen
= t(cos + i sen
θ) con
θ) con ∈ tR∈yRθ yfijo
t > t0,>t 0, θ fijo
se tiene:
se tiene:
h4 h4 t4 (cos θ + θi sen
t4 (cos + i sen
θ)4 θ)4
= = = cos cos+4θi sen
= 4θ + i sen
4θ, 4θ,
|h|4 |h|4 t4 t4
que que
depende
depende
del del
ángulo
ángulo
θ, luego
θ, luego
el límite
el límite
no existe
no existe
cuando
cuando
h tiende
h tiende
a a
0. 0.
Ahora
Ahora
se nota
se nota
que que
parapara (x,̸=y)(0,
(x, y) (0,se
̸= 0) 0)tiene,
se tiene,
por por
ejemplo,
ejemplo,
∂u ∂u(5x4(5x
− 430x2 2 2 2 4
− 30x 5y 42)(x
y +y 5y+ )(x + 2y 2+) −
y 2 )(x−5 (x
− 510x3 2 3 2
− 10x
y +y 5xy 4
)4x4 )4x
+ 5xy
= =
∂x ∂x (x2 (x
+ 2y 2+)3y 2 )3
∂u
luego para x = 0, y ̸= 0 es = 5, mientras que para todo y =
∂x
∂u
0 resulta = 1, el mismo valor que toma en (0, 0). De donde la
∂x
∂u
derivada parcial no es continua en el punto (0, 0).
∂x
f (x + s) − f (x)
= f ′ (x + λs)
x+s−x
para ciertos valores λ, µ con 0 < λ < 1, 0 < µ < 1. Si las derivadas
Demostración. Si h = s + it entonces:
f (z + h) − f (z)
=
h
u(x + s, y + t) − u(s, t) v(x + s, y + t) − v(s, t)
= +i
h h
∂u ∂u ∂v ∂v + Dt
∂x
(x, y)s + ∂y
(x, y)t ∂x
(x, y)s + ∂y
(x, y)t Es
= +i +
h h h
∂u
(x, y)s − ∂v
(x, y)t ∂v
(x, y)s + ∂u
(x, y)t
Es + Dt
= ∂x ∂x
+ i ∂x ∂x
+
h h h
∂u s + it ∂v s + it Es + Dt
= (x, y) +i (x, y) +
∂x h ∂x h h
∂u ∂v
Es + Dt
= (x, y) + i (x, y) + .
∂x ∂x h
Es
de donde lı́m Es = 0, y
Ahora como |s| ≤ |h|, resulta ≤ |E|,
h h→0 h
Dt
de la misma manera lı́m = 0.
h→0 h
∂u ∂v ∂f
Así, el límite existe y f ′ (z) = (x, y) + i (x, y) = .
∂x ∂x ∂x
4.4.
4.4.
4.4.
4.4. Funciones
Funciones
Funciones
Funciones
armónicas
armónicas
armónicas
armónicas
Si Si
Si
Siu,
u, vu,son
vvson
son
laslas
las
las
componentes
componentes
componentes
componentes
dede
de
una
deuna
una
una
función
función
función
función
holomorfa
holomorfa
holomorfa
holomorfa
entonces
entonces
entonces
entonces
se
se se
se
orfa entonces se
cumplen
cumplen
cumplen
cumplenlaslas
las
ecuaciones
ecuaciones
ecuaciones
ecuacionesdede
de
Cauchy-Riemann:
deCauchy-Riemann:
Cauchy-Riemann:
Cauchy-Riemann:
∂u∂u
∂u
∂u ∂v∂v
∂v
∂v ∂u
∂u
∂u
∂u ∂v∂v∂v
∂v
==== , ,,, ==−
=
=−−
− . . ..
∂x∂x
∂x
∂x ∂y∂y
∂y
∂y ∂y
∂y∂y
∂y ∂x∂x∂x
∂x
PorPor
Por
Por
el el
hecho
elhecho
hecho
mencionado
mencionado
mencionado
mencionado enen
en
en
lalala
sección
lasección
sección
sección
anterior,
anterior,
anterior,
anterior,
estas
estas
estas
estas
derivadas
derivadas
derivadas
derivadaspar-
par-
par-
par-
s derivadas par-
ciales
ciales
ciales
ciales
a su
aasu
vez
suvez
vez
sonson
son
son
derivables
derivables
derivables
derivables
concon
con
con
continuidad,
continuidad,
continuidad,
continuidad,
de
dede
manera
demanera
manera
maneraque
que
que
que
se
sese
puede
se
puede
puede
puede
era que se puede
intercambiar
intercambiar
intercambiar
intercambiar
el el
orden
elorden
orden
orden
dede
de
derivación.
dederivación.
derivación.
derivación. Así,
Así,
Así,
Así,
pues:
pues:
pues:
pues:
Definición
Definición
Definición
Definición 4.4.1.
4.4.1.
4.4.1.Una
4.4.1. Una
Una
Una
función
función
función
funciónreal
real
real
real
FFFde
Fdede
de
dos
dos
dos
dos
variables
variables
variables
variables
es armónica
eses
esarmónica
armónica
armónica
les es armónica
si es
si
sisies
es
solución
essolución
solución
de de
de
la ecuación
delalaecuación
la ecuación
ecuación
dede
de
Laplace:
deLaplace:
Laplace:
Laplace:
∂ 2∂F
∂2∂2F2FF ∂ 2∂F
∂2∂F
22
FF
2
+
222
++
+ 2
==0.
=
=0.0.
0.
∂x∂x∂x∂x ∂y∂y ∂y22
∂y 2
Ejemplo
Ejemplo
Ejemplo
Ejemplo 4.4.1.
4.4.1.
4.4.1.LaLa
4.4.1. La
función
Lafunción
función
función
FF
(x,
FF(x,
(x,
(x,
y)y)y)
=y)=x==2xx y yes
yeses
2 22 2 2 22
−x−y−− armónica;
es
armónica;
armónica;
armónica; lala función
la
la
función
función
función
ónica; la función
F (x,
FFF(x,
(x,
y)
(x,y)
=y)= x y++yyno
y no
2 2 2 2 222
x=x+ no
no
eses
es
armónica;
esarmónica;
armónica;
armónica; lalala
función
lafunción
función
función FF(x,
F(x,
F(x,
(x,
y)y)y)
=
y)
== e cos
ecos
e cos
xx xx
e= cos
yy sí
ysí
y sí
es
es
sí es
es
) = ex cos y sí es
armónica.
armónica.
armónica.
armónica.
Proposición
Proposición
Proposición
Proposición4.4.1.
4.4.1.SiSi
4.4.1.
4.4.1. Si
fSif=
ff=
u
==+
uuu+
iv
+ es
iveses
+iviv una
esuna
una
una
función
función
función
función de
dede
variable
de
variable
variable
variable
comple-
comple-
comple-
comple-
variable comple-
ja ja
ja
holomorfa
ja holomorfa
holomorfa
holomorfa
entonces
entonces
entonces
entonces
ambas
ambas
ambas
ambas
componentes
componentes
componentes
componentes vu,vson
u,u,u, vvson
son
son
funciones
funciones
funciones
funcionesreales
reales
reales
reales
funciones reales
armónicas.
armónicas.
armónicas.
armónicas.
∂v ∂u
En efecto, a partir de la condición = se obtiene:
∂y ∂x
∂u
v= dy + φ(x).
∂x
y, por
y, por
el otro:
el otro:
∂v ∂v ∂u ∂u
= −= − = 2y.
= 2y.
∂x ∂x ∂y ∂y
Igualando
Igualando
resulta
resulta
φ′ (x) = 0=de0 donde
φ′ (x) de donde = c=esc una
φ(x)φ(x) es una
constante
constante
real.real.
Así Así
v =v2xy
= 2xy
+ c+y cseyobtiene
se obtiene
la función
la función
holomorfa:
holomorfa:
(z)(x=2 (x
f (z)f = − 2y 2−) +
y 2 )i(2xy + c)+=c)z 2=+z 2ci,+ ci,
+ i(2xy
cuyacuya
componente
componente
realreal
es laesfunción
la función
dada.
dada.
En general,
En general,
se tiene
se tiene
el resultado
el resultado
que que
sigue.
sigue.
Proposición
Proposición 4.4.2. ParaPara
4.4.2. todatoda
función
función
realreal
armónica
armónica
u existe
u existe
unauna
función
función
realreal
armónica
armónica
v, única
v, única
salvo
salvo
unaunaconstante
constante
real,real,
tal tal
que que
la la
función
función
de variable
de variable
compleja
compleja
f =fu=+uiv+es iv holomorfa.
es holomorfa.
CabeCabe
anotar
anotar
que que
parapara
unauna
función
función
holomorfa
holomorfa + excepto
u +uiv, iv, excepto
en en
el caso
el caso
constante,
constante,
la función
la función
v +viu+ no es holomorfa.
iu no es holomorfa.
La La
que que
sí essí es
holomorfa
holomorfa
es −v
es +
−viu+=iui(u
=+ i(uiv).
+ iv).
Ejercicios
Ejercicios
para
para
el el
capítulo
capítulo
4 4
Encuentre
4.1.4.1. Encuentre
los límites
los límites
siguientes,
siguientes,
si existen.
si existen.
z 2 +z 24 + 4 z 3 +z 38i+ 8i
a) a)
lı́m lı́m , , b) b)
lı́m lı́m2 2 . .
z − z2i− 2i
z→2iz→2i z→2iz→2iz +z 4 + 4
Demuestre
4.2.4.2. Demuestre la proposición
la proposición
4.1.4:
4.1.4:
La función
La función
f esfcontinua
es continua
en elen el
conjunto
conjunto
P siPy si
solo
y solo
si para
si para
todotodo
abierto
abierto
U laUimagen
la imagen
recíproca
recíproca
−1 −1
f (Uf )(U )
es laesintersección
la intersección
de PdeconP con
un abierto
un abierto
del del
plano.
plano.
f (k) (0)
ak = .
k!
a) f (z) = z Im(z),
b) f (z) = z Re(z),
c) f (z) = z + Re(z) Im(z).
a) u = ax2 − ay 2 + bx + cy + d,
b) u = ax2 − ay 2 + bxy + cx + dy + e,
c) u = x4 − 6x2 y 2 + y 4 ,
d) u = e−x cos y.
5
Capítulo
Capítulo 5
Integración compleja
Integración compleja
Las integrales de funciones de variable compleja se definen como
integrales de línea. Una vez más, surge una conexión sorprendente
entre la integral y la derivada.
Ejemplo 5.1.1.
103
Introducción a las funciones de variable compleja
106
Capítulo 5. Integración compleja 104
Capítulo 5 · Integración compleja
• Límites
• Derivadas
Definición 5.1.1. La curva z = x + iy es derivable en t0 si las fun-
ciones reales x, y lo son ambas en t0 , y además la derivada en t0 se
define como:
z ′ (t0 ) = x′ (t0 ) + i y ′ (t0 ).
• Integrales
b b
1. (cz(t)) dt = c z(t) dt (c ∈ C);
a a
b b b
2. (z(t) + w(t)) dt = z(t) dt + w(t) dt;
a a a
b
b b
3. z(t)w (t) dt = z(t)w(t) −
′
z ′ (t)w(t) dt.
a a a
1 1
2
2 2
3|z| dz = 3 t + t (1 + i) dt = 6(1 + i) t2 dt = 2 + 2i.
C 0 0
se toma
se toma
de nuevo
de nuevo
z(t)z(t)
= e=it
con
eit con
0 ≤0t ≤
≤ t2π, luego
≤ 2π, luego
z ′ (t)z ′= eiti yeitasí:
(t)i = y así:
2π 2π 2π 2π
dz dz 1 1
= = it i eititidt
eit=dti = i dt =dt2πi.= 2πi.
S 1 zS 1 z 0 e
0 e 0 0
La primera
La primera
pregunta
pregunta
matemática
matemáticaqueque
se impone
se imponees sieslasidefinición
la definición
de la
deintegral
la integral
es una
es una
“buena
“buena
definición”,
definición”,
estoesto
es, si
es,ella
si ella
no depende
no dependede de
la parametrización
la parametrización
de la
decurva
la curva
C. C.
Ejemplo
Ejemplo 5.2.5. Para
5.2.5. Para
determinar
determinar
la integral
la integral 3z 2 3z otraotra
dz,2 dz, parame-
parame-
C C
trización
trización
del del
segmento
segmento de recta
de recta
C de C 0dea 01 a+1i +esi z(t)
es z(t)
= (1=+(1i)t con
+2 i)t 2
con
0 ≤0t ≤≤ t1.≤Ahora
1. Ahora′ ′
z (t)z =(t)2(1
= 2(1
+ i)t+= i)t(2=+(22i)t, luego:
+ 2i)t, luego:
1 1 1 1
2 2 2
3z 2 3z
dz2=dz = 3 (1 +2 i)t(2
3 +(1i)t +(22i)t
+ 2i)t
dt =dt = 3(2i)t 4
(2 4+(22i)t
3(2i)t + 2i)t
dt dt
C C 0 0 0 0
1 1
5 5 1 1
= (−12
= (−12 + 12i) t dtt =dt(−12
+ 12i) = (−12 + 12i) = −2
+ 12i) = −2
+ 2i.
+ 2i.
0 0 6 6
El valor
El valor
obtenido
obtenido
es elesmismo
el mismo
del del
ejemplo
ejemplo
inicial.
inicial.
Ejemplo
Ejemplo 5.2.6. Para
5.2.6. Para
describir
describirla circunferencia
la circunferencia unidad
unidadS 1 en
S 1 sentido
en sentido
positivo
positivounauna vez vez
también
también
se podría
se podría tomar
tomar
z(t)z(t)= cos cos 2πt
= 2πt + i+ seni sen
2πt 2πt
= =
concon
e2πite2πit 0 ≤0t ≤ ≤ t1.≤Entonces
1. Entonces
z ′ (t)z ′=
(t)2πi e2πite,2πit
= 2πi y ,ahora:
y ahora:
1 1 1 1
dz dz 1 11 1
= = 2πit 2πit 2πit 2πit
2πi 2πi
e edt =dt2πi = 2πi dt =dt2πi t =
= 2πi t 2πi.
= 2πi.
S 1 zS 1 z 0 e0 e 0 0 0 0
De Denuevo,
nuevo,
el resultado
el resultado
es el
es mismo
el mismo
parapara
dos dos
parametrizaciones
parametrizaciones
distintas.
distintas.
Ejemplo
Ejemplo 5.2.7. Para
5.2.7. Para
describir
describir
la circunferencia
la circunferencia unidad S 1 en
unidad S 1 sentido
en sentido
negativo
negativo
unaunavez vez
se puede
se puede
tomar
tomar = cos
z(t)z(t) cos (−t)
= (−t) + i sen
+ i sen = cos
(−t)(−t) = tcos
−t −
i seni sen
t = te= econcon
−it −it
0 ≤0t ≤≤ t2πi. Entonces
≤ 2πi. Entonces
z ′ (t)z ′=
(t)−i e, y ,resulta:
−it −it
= e−i y resulta:
2π 2π
dz dz 2π 2π 1 1 −it −it
= = −it −it −i e−i e dt =dt−i = −i dt =dt−2πi. = −2πi.
z 1 z 0 0e e
−S 1 −S 0 0
Ahora
Ahora
el resultado
el resultado
es elesmismo
el mismo
peropero
concon
signo
signo
contrario.
contrario.
esto es:
f dz = f dζ.
C C
En En
efecto,
efecto,
tomando
tomando
z(t)z(t)
= t=+ tt2+i con
t2 i con
0 ≤0t ≤ ≤ t1,≤se
1, tiene
se tiene
z ′ (t)z ′=
(t) =
1 +12ti, luego:
+ 2ti, luego:
1 1
2 2
2 2 2
3z 3zdz =dz = 3 t 3+ t 2+i t (1
i +(12ti)
+ 2ti)
dt dt
C C 0 0
1 1
= 3= 3 (t2 −(t2t4−+t42t+3 i)(1
2t3 i)(1
+ 2ti)
+ 2ti)
dt dt
0 0
1 1
2 4 4 3 3 5 5
= 3= 3 (t2 − (t 5t−)5t+ )(4t
+ (4t− 2t−)2ti dt
) i dt
0 0
1 1 1 1
= 3= 3 − 1− + 1 3+ 13 −1 − i. i.
3 3 3 3
El resultado
El resultado
es elesmismo
el mismo
del del
ejemplo
ejemploinicial.
inicial.
Ejemplo
Ejemplo 5.2.9. De De
5.2.9. nuevo,
nuevo,
si CsiesC elessegmento
el segmento
de la
deparábola
la parábola 2
y =yx= x2
de 0dea 01 a+1i +
entonces:
i entonces:
2 8 85i 5i
dz2=
3|z|3|z| dz =+ +. .
C C 5 52 2
PuesPues
tomando
tomandoz(t)z(t) + t2+
= t= i con
t2 i con
0 ≤0t ≤ ≤ t1≤se1tiene
se tiene
z ′ (t)z ′=
(t)1=
+ 12ti,
+ 2ti,
luego:
luego:
1 1
2 2
3|z|3|z|
dz = dz = 3(t23(t
+ 2t4+)(1t4 +
)(12ti)
+ 2ti)
dt dt
C C 0 0
1 1
2 4 4 3 3 5 5
= 3= 3 (t2 + (t t +
)+ t )(2t
+ (2t
+ 2t+)2ti )dti dt
0 0
1 11 1 1 11 1
= 3= 3 + + + 3+ 3 + + i. i.
3 35 5 2 23 3
En En
esteeste
caso,
caso,
el resultado
el resultado
es muy
es muy
distinto.
distinto.
Cuando
Cuandola integral
la integral
es diferente
es diferente
por por
distintas
distintas
trayectorias,
trayectorias,se puede
se puede
pensar
pensar
queque
la integral
la integralpor por
el camino
el camino
cerrado
cerrado
obtenido
obtenido
al iralporir por
unauna
curva
curva
y volver
y volver
por por
la otra
la otra
no es
no cero;
es cero;
en contraste,
en contraste,
si lasi integral
la integral
es es
igual
igual
por por
ambas
ambastrayectorias,
trayectorias,
la integral
la integral
por por
la curva
la curva
cerrada
cerradaseríasería
cero.
cero.
Estos
Estos
dos dos
casos
casos
son son
evidentes
evidentes
en los
en ejemplos
los ejemplos
calculados.
calculados.
dz dz
z dzz=dz0,= 0,mientras
mientras
queque = 2πi ̸= 0.̸= 0.
= 2πi
S1 S1 S1 zS1 z
5.3.
5.3. Propiedades
Propiedadesde
delalaintegral
integral
La La ideaidea
de de
recorrer
recorrer
unaunacurva
curva enendosdossentidos,
sentidos,oode
deiriryyvolver
volver aa lolo
largolargode una
de unamisma
mismacurva,
curva,
se se
puede
puedeprecisar
precisarcomo
comosigue.
sigue.SiSilala función
función
z : z[a, [a, −→
: b] b] −→ C Cdescribe
describela lacurva
curvaCCuna unavez,
vez,entonces
entonces lala función
función
z̃ : z̃[−b, −a]−a]
: [−b, −→−→ C definida
C definida comocomoz̃(t) z(−t)laladescribe
z̃(t)==z(−t) describe enen sentido
sentido
contrario
contrario y sey denota
se denota
−C.−C.
Proposición
Proposición
5.3.1. Con
5.3.1. Con
la la
terminología
terminologíaanterior,
anterior,resulta:
resulta:
f dzf dz
==−− f fdz.dz.
−C−C CC
Demostración.
Demostración. EnEn
efecto:
efecto:
−a
−a −a−a
′ ′
f dzf dz
= = f (z̃(t))z̃
f (z̃(t))z̃
(t)(t)
dtdt
== f (z(−t))z′ (−t)(−1)
f (z(−t))z ′
(−t)(−1)dt.
dt.
−C −C −b −b −b−b
Sustituyendo
Sustituyendos =s −t
= −t se se
tiene
tiene
dsds
== −dt,luego:
−dt, luego:
a a b b
′ ′ ′ ′
f dzf dz
= = f (z(s))z
f (z(s))z(s)(s)
dsds
== −− f (z(s))z
f (z(s))z(s) ds==−− ff dz.
(s)ds dz.
−C −C b b a a CC
De De la misma
la misma manera
manerase se
formaliza
formalizalalaidea ideadederecorrer
recorrervarias
varias curvas
curvas
unaunatrastrasotra. otra.
Si Si
la la
función
función ] −→CCdescribe
: 1[a, 1b,1b] 1−→
z1 z:1 [a describelala curvacurva C C11 yy
z2 :z[a b2 ], b−→
: ,[a
2 2 C describe
2 ] −→ C describela la
curva
curva C2C, 2con , conlas
lascondiciones
condicionesadicionales
adicionales
b1 =b1 a=2 (esto
a2 (esto siempre
siemprese se
puede
puedelograr)
lograr)y yz1z(b (b
1 11) )= = zz (a
(a
2 2 22),
), de
de manera
manera
quequelas lascurvascurvas sonson
sucesivas,
sucesivas,entonces
entonceslalafunción funciónzz : : [a[a11, ,bb22]] −→
−→ C C
definida
definida como como
z1 (t), si sia1a≤
z1 (t), 1 ≤t t≤≤b1b,1 ,
z(t)
z(t)
==
z2 (t), si sia2a≤
z2 (t), 2 ≤t t≤≤b2b.2 .
describe
describe
primero
primerola la curvaC1Cy
curva 1 y
luego
luegolalaCC
2 .2 .Esta
Estacurva
curva nueva
nueva se
se
denota
denota
C= CC =1 C
+1 C . 2.
+2 C
Demostración.
Demostración. En En
el caso n =n 2=se2 tiene,
el caso parapara
se tiene, la parametrización
la parametrización
mencionada:
mencionada:
b2 b2
′
f dzf =
dz = f (z(t))z (t) ′dt
f (z(t))z (t)=dt =
C1 +C
C21 +C2 a1 a1
b1 b1 b2 b2
′ ′ ′ ′
= = f (z1f(t))z 1 (t)1dt
(z1 (t))z (t)+dt + f (z2f(t))z 2 (t)2dt
(z2 (t))z (t) dt
a1 a1 a2 a2
= = f dzf+dz + f dz. f dz.
C1 C1 C2 C2
El caso general
El caso se deduce
general por por
se deduce inducción.
inducción.
Ejemplo 5.3.1.
Ejemplo A fin
5.3.1. de calcular
A fin la integral
de calcular la integral 3z 2 3z siendo
dz,2 dz, C laC la
siendo
C C
unión de los
unión segmentos
de los segmentosde recta de 0dea 01 ay 1dey 1dea 11 a+1i,+sea
de recta i, sea el1 el
C1 C
primer segmento
primer y Cy2 el
segmento C2segundo.
el segundo.
Para el primer
Para pasopaso
el primer sea sea
z1 (t)z1= con
(t)t = t con ≤ t1,≤entonces
0 ≤0t ≤ z1′ (t)z1′ =
1, entonces (t)1= 1
y así:
y así: 1 1
3z 2 3z dz = 3t2 dt
dz2= 3t2=dt1.= 1.
C1 C1 0 0
Para el segundo
Para el segundosea sea (t)1=+1it+con
z2 (t)z2= 0 ≤0t ≤≤ t1,≤de
it con 1, manera que que
de manera
z2′ (t)z2′ = y isey tiene:
(t)i = se tiene:
1 1 1 1
2 2
3z 3z 2
dz = dz = 3(1 3(1 + it) dt i=dt3= 3 (1 −(1t2−
+ iit) 2
)+ t2 )2ti i dt i dt
+ 2ti
C2 C2 0 0 0 0
1 1
2
2 2i 2i
= 3= 3 −2t−2t + (1+−(1t − ) it )dti =dt3= −1
3 + −1 + = −3 =+−32i.
+ 2i.
0 0 3 3
Una vez más, se obtiene el mismo valor de la integral por los dis-
tintos caminos escogidos en el apartado anterior.
Ejemplo 5.3.2. Ahora se quiere calcular la integral 3|z|2 dz, siendo
C
C la unión de los segmentos de recta de 0 a 1 y de 1 a 1 + i.
En conclusión:
2 2
3|z| dz = 3|z| dz + 3|z|2 dz = 1 + 4i.
C C1 C2
1. (cf ) dz = c f dz, aquí c ∈ C,
C C
2. (f + g) dz = f dz + g dz.
C C C
= f dz + g dz.
C C
Demostración. En efecto:
b b
′
f dz = f (z(t))z (t) dt = F ′ (z(t))z ′ (t)dt
C a a
b
d
= (F (z(t))) dt = F (z(b)) − F (z(a)),
a dt
esta última igualdad por el teorema fundamental del cálculo.
Ejemplo 5.3.3. Para todo entero n ̸= −1 y para cualesquier puntos
z1 , z2 ∈ C se tiene:
z2 z
n z n+1 2 z2n+1 − z1n+1
z dz = = .
z1 n + 1 z 1 n+1
Corolario 5.3.1. En particular, si la función f tiene antiderivada en
su dominio D y C es cualquier curva cerrada contenida en D entonces:
f dz = 0.
C
En En
particular,
particular,
si Csies
C cualquier
es cualquier curva
curva
cerrada
cerrada
contenida
contenida
en D
en enton-
D enton-
ces:ces:
′
f (z)g (z)′ (z)
f (z)g dz =dz−= − f ′ (z)g(z)
f ′ (z)g(z)
dz. dz.
C C C C
5.4.
5.4. ElEl
teorema
teorema
dede
Cauchy
Cauchy
El célebre
El célebre
teorema
teorema
integral
integral
de de
Cauchy
Cauchy
constituye
constituye
el corazón
el corazón
de de
la teoría
la teoría
de integración
de integración
de funciones
de funciones
de variable
de variable
compleja
compleja
y sey puede
se puede
enunciar
enunciar
comocomo
sigue.
sigue.
Teorema
Teorema5.4.1. Si fSiesf una
5.4.1. es una
función
función
holomorfa
holomorfa
en un
en un
abierto
abierto
sim-sim-
plemente
plemente
conexo
conexo entonces:
H, H, entonces:
f dzf =
dz0,= 0,
C C
parapara
cualquier
cualquier
curva
curva
cerrada
cerrada
C contenida
C contenida
en H.
en H.
El enunciado
El enunciado
queque
sigue
sigue
es del
es del
todo
todo
equivalente,
equivalente,
de manera
de manera
quequela la
integral
integral
de una
de una
función
función
holomorfa
holomorfa
no depende
no depende
de la
detrayectoria.
la trayectoria.
Proposición
Proposición5.4.1. Si fSi es
5.4.1. f una
es unafunción
función
holomorfa
holomorfa
en en
un un
abierto
abierto
simplemente
simplemente
conexo
conexo
H, H,entonces:
entonces:
f dzf =
dz = f dzf dz
C1 C1 C2 C2
parapara
cualesquier
cualesquier
curvas
curvas
C1 ,CC12, en en cuyos
C2 H H cuyos
puntos
puntos
inicial
inicial
y final
y final
coin-
coin-
ciden,
ciden,
respectivamente.
respectivamente.
Demostración.
Demostración. Pues,
Pues,
en esas
en esas
condiciones,
condiciones,
la curva
la curva
C1 −C1C−2 C
=2 C=1 +
C1 +
(−C(−C
2 ) es
2 ) una
es una
curva
curva
cerrada
cerrada
contenida
contenida
en en
H, de
H, donde:
de donde:
0 =0 = f dzf =
dz = f dzf +dz + f dzf = dz = f dzf −dz − f dz.
f dz.
C1 −C
C21 −C2 C1 C1 −C2 −C2 C1 C1 C2 C2
En En
el otro
el otro
sentido,
sentido,
suponiendo
suponiendo este
esteresultado,
resultado,sisiCCesesuna
unacurva
curva cerrada
cerrada
en en seasea
H, H, z0 zun
0 un
punto
puntocualquiera
cualquieradedeC.C.AlAltomar
tomarCC11como como la la curva
curva C
queque
comienza
comienza y termina
y terminaenenz0zy0 yCC
2 2la curva
la curvaconstante
constante en
en el
el punto
punto zz00,
entonces
entonces
f dz
f dz
= = f fdzdz== f fdzdz==0.0.
C C C1C1 C2C2
El teorema
El teorema
integral
integral
dede
Cauchy
Cauchysesepuede
puedeextender
extenderde
devarias
varias maneras
maneras
a regiones
a regiones
másmás
generales.
generales.
Corolario
Corolario 5.4.2.Si Sif fesesuna
5.4.2. unafunción
funciónholomorfa
holomorfa en
en un
un abierto
abierto H,
H,
entonces:
entonces:
f fdzdz==0,0,
CC
para
para
cualquier
cualquier
curva
curva
cerrada
cerradaC CenenHHcuyo
cuyointerior
interiorestá
está contenido
contenido en
H. H.
Es Es
decir,
decir,
el el
abierto
abiertoHHpodría
podríatener
tenerhuecos
huecos pero
pero lala curva
curva C
C no
contiene
contiene
ninguno
ninguno dede
ellos.
ellos.
Demostración.
Demostración. Como
Como C Ceses
conexo,
conexo,está
estácontenido
contenidoen enuna
unacomponente
componente
conexa
conexa
de de
H;H; como
comoes escompacto,
compacto,está estácontenido
contenidoen enun
unabierto
abierto conexo
conexo
contenido
contenido
en en
HH que
que incluye
incluyeunaunafranja
franjadedeanchura
anchurapositiva
positiva alrededor
alrededor
de de
la curva;
la curva;
la la
unión
unión dedeeste
esteconexo
conexocon conelelinterior
interiorde
de lala curva
curva es
es un
un
abierto
abierto
simplemente
simplemente conexo
conexo HH ′ ′
⊆⊆H.H.La Lafunción
funciónffesesholomorfa
holomorfa en en H
H′′
y sey puede aplicar
se puede aplicarel el
teorema
teoremaa aesaesaregión.
región.
Más aún,
Más la la
aún, integral a lo
integral largo
a lo largodedeuna
unacurva
curvacerrada
cerradanonodepende
depende de
la trayectoria particular
la trayectoria particular escogida,
escogida,siempre
siempreque
queno
nocambien
cambien loslos huecos
huecos
rodeados
rodeadosporpor
la la
curva, (ver
curva, (verlalaFigura
Figura16).16).Con
Conprecisión,
precisión, se
se tiene
tiene el
hecho siguiente.
hecho siguiente.
CorolarioCorolario
5.4.3. Si 5.4.3.
Corolario es una
Si Si
f 5.4.3. ffunción
fesesuna
una
holomorfa
función
funciónholomorfa
en
holomorfa
un abierto
en
en un
un abierto
H, abierto H,
H,
entonces:entonces:
entonces:
f dz = ffdz
fdz
dz== f fdzdz
C1 CC
1C21 C2C2
para cualesquier
para
para
cualesquier
curvas
cualesquier
cerradas
curvas
curvas 1 ,cerradas
C2 en H
Ccerradas CC1recorridas
,1 C
,C2 2en
enHHen
recorridas
recorridas
el mis- en en el
el mis-
mis-
mo sentido
moymo
sentido
tales
sentido
quey la
tales
y región
tales
queque
comprendida
la la
región
regióncomprendida
comprendida
entre las dos entre
entre
estálas
las
conte-
dos
dos está
está conte-
conte-
nida en H.
nida
nida
en en
H.H.
de donde:de donde:
de donde:
f dz = ffdz
fdz.
dz== f fdz.
dz.
C1 CC
1C21 C2C2
dz dzdz
EjemploEjemplo
5.4.1.
Ejemplo
5.4.1.
5.4.1. = 2πi. ==2πi.
2πi.
z−i z−z−i i
|z−1|=2 |z−1|=2
|z−1|=2
dz dzdzdz dz
dz
En efecto,En
por
En
efecto,
elefecto,
hecho
porpor
probado,
el el
hecho
hecho
probado,
probado, = ==. Por un .. Por
Por un
un
z−i z z−−zi−
i i zz−−ii
|z−1|=2 |z−1|=2
|z−1|=2
|z−i|=1 |z−i|=1
|z−i|=1
donde la curvadonde
se donde
recorre
la curva
laencurva
sentido
se recorre
se recorre
positivo
en sentido
enrespecto
sentido
positivo
apositivo
K. respecto
respecto
a K.a K.
En estas circunstancias,
En Enestasestas
circunstancias,
vercircunstancias,
la Figura ver 17,ver
lasiFigura
lala Figura
región17,K17,sitiene
lasi región
la región
K tiene
K tiene
uecos entonces
n huecos
n lahuecos
curva
entonces
entonces
fronterala curva
la
∂Kcurvaestá
frontera
frontera
constituida
∂K∂K estápor
está
constituida
nconstituida
+1 porpor
n +n1+ 1
vas simples:curvas
la curvas
curva
simples:
exterior
simples:
la curva y las
Clae curva curvas
exterior
nexterior
Ce C yinteriores
elas
y las
n curvas
n curvas
C ij , con
interiores
interiores
C ij ,Ccon
ij , con
j ≤ n, cada1 una
≤1j≤≤ dejn,
las
≤cada
cuales
n, cada
unarodea
una
de las
deunlas
cuales
hueco.
cuales
rodea
Larodea
curva
un hueco.
unexterior
hueco.La se curva
La curvaexterior
exteriorse se
rre en sentido
recorre
recorre
positivo
en sentido
en
y sentido
todaspositivo
laspositivo
interiores
y todas
y todas
enlas
el interiores
las
sentido
interiores
contrario
en el ensentido
el sentido
contrario
contrario
gativo. o negativo.
o negativo.
de demanera
demanera
de manera
que:
manera que:
que:
que:
f dz fffdz
=dz
dz== = f dz fffdz
+dz
dz+++f dz f ffdz
=dz
dz0.
===0.0.
0.
∂K ∂K
∂K
∂K Ce CC
eCee Ci CiC
Cii
Para
Para
Para
el caso
Para elel
elcaso
caso
general,
casogeneral,
general,
se se
general,procede
seprocede
se procede
porpor
procede por
inducción.
porinducción.
inducción.
inducción.
A continuación
AA
Acontinuación
continuación
se desarrolla
continuación sese
sedesarrolla
desarrolla
la demostración
desarrollalala
lademostración
demostración
deldel
demostración teorema
delteorema
del teorema
de de
teorema Cauchy
deCauchy
Cauchy
ema de Cauchy
bajo
bajo
bajo
distintas
bajo distintas
distintas
hipótesis.
distintashipótesis.
hipótesis.
hipótesis.
• Derivadas
•••Derivadas
Derivadas
parciales
Derivadas parciales
parciales
continuas
parcialescontinuas
continuas
(Caso
continuas(Caso
(Caso
1 )111
(Caso ) ))
EnEn una
Enuna
En una
primera
una primera
primera
primeraversión
versión
versión
se se
versión suponen
sesuponen
se suponen
condiciones
suponen condiciones
condiciones
adicionales
condiciones adicionales
adicionales
sobre
adicionalessobre
sobre
icionales sobre
la la
función
lafunción
la función
holomorfa
función holomorfa
holomorfa
holomorfaque,
que,
que,
en en
que, realidad,
enrealidad,
en realidad,
después
realidad,después
después
se se
después podrán
sepodrán
se podrán
demostrar
podrán demostrar
demostrar
rán demostrar
siempre
siempre
siempre
siempre(véase
(véase
(véase
el corolario
(véase elel
elcorolario
corolario
5.5.2).
corolario 5.5.2).
5.5.2).
5.5.2).
Si Siuna
Siuna
Si una
función
una función
función
de de
función variable
devariable
de variable
variable compleja
compleja
compleja
compleja f= f ffu
== =
+uuivu++ tiene
+ivivtiene
iv tiene
componentes
tiene componentes
componentes
e componentes
u yuuvuyyentonces
yvvventonces
entonces
haciendo
entonces haciendo
haciendo
haciendoz =zzzx== =
+xxx
iy
++ resulta
+iyiyresulta
iy resulta
resultalo siguiente:
lololosiguiente:
siguiente:
siguiente:
bb bb
′ ′ ′′
f dz
fffdz
= dz==
dz = f (z)z
ff(z)z
f(z)z
(z)z
dt dtdtdt
C CCC a a aa
bb bb
′ ′ ′′ ′ ′ ′′
= == =(u (u +(u
(u
iv)(x
++ +iv)(x
iv)(x
+ iy
iv)(x +++)iyiy
dt
iy) )dt
) dt
dt
a a aa
bb bb bb bb
′ ′ ′′ ′ ′ ′′ ′ ′ ′′ ′ ′ ′′
= == =(ux(ux − vy
(ux
(ux −−−vy
)vy
vy
dt) )+
dt
)dt
dti+++i ii(uy(uy (uy
+ vx
(uy +++vx
)vx
vx
dt) dt
) dt
) dt a
a a
a a a a
a
= == =u dx −
uuudxdx
dx v−−−vvvdy
dy +dy
dyi+++i iiv dxv vvdx
+dxdxu++dy.
+uuudy.
dy.
dy.
C CC
C C CC
C
Estas
Estas
Estas
expresiones
Estas expresiones
expresiones
recuerdan
expresiones recuerdan
recuerdan
de de
recuerdan inmediato
deinmediato
de inmediato
unun
inmediato conocido
unconocido
un conocido
resultado
conocido resultado
deldel
resultado del
o resultado cálculo
delcálculo
cálculo
en en
cálculo varias
envarias
en varias
variables
variasvariables
variables
reales.
variablesreales.
reales.
reales.
Teorema
Teorema5.4.5 (Green).
5.4.5 (Green).SeanSeanP (x,
P (x,
y), y),
Q(x, y) funciones
Q(x, y) funciones
reales
reales
concon
derivadas
derivadas
parciales
parciales
continuas
continuas en en
unaunaregión
regióncerrada
cerrada
y simplemente
y simplemente
conexa
conexa
R cuya
R cuya
frontera
frontera
es la
es curva
la curva En En
C. C. tales
tales
condiciones:
condiciones:
∂Q∂Q ∂P ∂P
P dxP+dxQ+dyQ= dy = − − dx dy,
dx dy,
C C ∂x ∂x ∂y ∂y
R R
donde
donde
la curva
la curva
C se
C recorre
se recorre
en en
sentido
sentido
positivo.
positivo.
En En
el caso
el caso
de dela función
la función
de de
variable
variable
compleja
compleja
f =f u=+uiv, si las
+ iv, si las
componentes
componentes u, vu,tienen
v tienen
derivadas
derivadasparciales
parciales
continuas
continuas
entonces
entonces
porpor
el el
teorema
teorema
de Green
de Green se obtiene
se obtiene
estaesta
igualdad:
igualdad:
∂v ∂v ∂u ∂u ∂u ∂u ∂v ∂v
f dzf =
dz = − − − − dx dy dx +
dyi+ i − − dx dy. dx dy.
C C ∂x ∂x ∂y ∂y ∂x ∂x ∂y ∂y
R R R R
Pero
Pero
si, además,
si, además,
se satisfacen
se satisfacen
las las
condiciones
condiciones
de Cauchy-Riemann,
de Cauchy-Riemann,
entonces:
entonces:
∂u ∂u ∂v ∂v ∂v ∂v ∂u ∂u ∂v ∂v ∂v ∂v
= −= −, de, donde
de donde
− − − − = −= − + + = 0,= 0,
∂y ∂y ∂x ∂x ∂x ∂x ∂y ∂y ∂x ∂x ∂x ∂x
∂u ∂u ∂v ∂v ∂u ∂u ∂v ∂v ∂u ∂u ∂u ∂u
= = , de, donde
de donde − − = = − − = 0.= 0.
∂x ∂x ∂y ∂y ∂x ∂x ∂y ∂y ∂x ∂x ∂x ∂x
En En
consecuencia,
consecuencia,
ambas
ambas
integrales
integrales
dobles
dobles
se anulan
se anulan
y así
y así f dzf =
dz =
C C
0, con
0, con
lo cual
lo cual
se ha
se ha
demostrado
demostrado
el siguiente
el siguiente
resultado.
resultado.
Teorema
Teorema5.4.6. Si fSiesf una
5.4.6. es una
función
función
holomorfa
holomorfa
concon
derivada
derivada
continua
continua
en en
un un
abierto
abierto
simplemente
simplemente conexo
conexo entonces:
H, H, entonces:
f dzf =
dz0,= 0,
C C
parapara
cualquier
cualquier
curva
curva
cerrada
cerrada
C contenida
C contenida
en en
H. H.
Triángulos (Caso
• Triángulos
2) (Caso 2 )
la segunda versión
En ladel
segunda
teorema
versión
integral
del de
teorema
Cauchyintegral
se suponen
de Cauchy se suponen
iones adicionales
condiciones
sobre adicionales
la curva, que
sobre
ahora
la curva,
se toma
quecon
ahora
unase toma con una
particular. forma particular.
Sea f : D 5.4.7.
ma 5.4.7. Teorema ⊆ C −→ SeaCfuna
: D función
⊆ C −→ holomorfa
C una función
en el holomorfa en el
or y en la frontera
interior de
y en
un latriángulo
frontera Tdecontenido
un triángulo
en elT dominio
contenido en el dominio
tonces: D. Entonces:
f dz = 0, f dz = 0,
C C
ndo C la frontera
siendo
de TC. la frontera de T .
∆ L
además el triángulo Tn tiene diámetro ∆n = n
y perímetro Ln = n .
2 2
f (z) − f (z0 )
R(z) = − f ′ (z0 ),
z − z0
resulta
resulta
lı́mlı́m
R(z) = 0.=Ahora
R(z) 0. Ahora
se tiene:
se tiene:
z→zz→z
0 0
y como
y como la función
la función
lineal
lineal +−
f (zf0 )(z+0 )(z (zz− 0 )f )f0′)(zes
z0′ (z 0 ) holomorfa
es holomorfa en en
todotodo
el plano
el planoC con
C con
derivada
derivadacontinua,
continua, porpor el caso
el caso ya probado
ya probadodel del
teorema
teorema
integral
integral
de Cauchy
de Cauchy su integral
su integral a loalargo
lo largode cualquier
de cualquier curva
curva
cerrada
cerrada
es es
cero.
cero.
En Enparticular,
particular,
parapara
cada cada
triángulo
triángulo Tn T sen tiene:
se tiene:
′ ′
f (z)
f (z)
dz =dz = [f (z[f0 )(z+0 )(z+− (zz− 0 )f
z0(z)f0 )]
(zdz dz + (z −
0 )] + (zz−
0 )R(z)
z0 )R(z)
dz dz
Cn Cn Cn Cn Cn Cn
= = (z − (zz−0 )R(z)
z0 )R(z)dz. dz.
Cn Cn
ε ε
Ahora
Ahoradadodadocualquier
cualquier ε >ε 0, > también
0, también > 0>y0existe y existe
δ >δ 0>tal
0 tal
L∆L∆
ε ε
queque
si 0si<0|z<−|zz− 0| z<0 |δ<entonces
δ entonces |R(z)| < < . Si. el
|R(z)| Si entero
el entero
n sen toma
se toma
L∆L∆
suficientemente
suficientemente grande
grandepara para
queque ∆< ∆2<δ,2 entonces
n n
δ, entonces
parapara
cadacada
z ∈zC∈n Cn
∆ ∆ ε ε
se tiene
se tiene
|z −|z z−
0 | z≤
0| ∆≤n ∆=n =n <n δ, < de
δ, dedonde
donde|R(z)|
|R(z)|< < . Por . Por
la la
2 2 L∆L∆
desigualdad
desigualdad MLML (proposición
(proposición 5.3.4),
5.3.4),
resulta:
resulta:
f (z) − − dz
f (z)
dz dz
=
= (z (zz 0 )R(z)
z 0 )R(z)
dz ≤ ≤
Cn Cn Cn Cn
ε ε ∆ ∆ ε L ε ε
ε L
≤∆
≤n ∆n Ln L
=n =n n n =n =n , n ,
L∆L∆ 2 L∆
2 L∆
2 2 4 4
y, por
y, por
lo tanto:
lo tanto:
n n n εn ε
f (z) dz dz
≤4≤ 4 f (z) dz dz
≤4≤ 4n =n ε.= ε.
f (z) f (z)
4 4
C C Cn Cn
Puesto
Puesto
quequeε esε arbitrario,
es arbitrario,
se concluye
se concluye f dzfdz
queque
=0=y,0 por
y, por
lo lo
C C
tanto,
tanto, f dzf =
dz0.= 0.
C C
• Dominio
Dominio
• Dominio
estrella
estrella
estrella
(Caso
(Caso
(Caso
) )3 )
33
En
En En
la
la tercera
tercera
la tercera versión
versión
versión
del
deldel
teorema
teorema
teoremadede Cauchy
deCauchy
Cauchyconsiderada
considerada
consideradaaquí,
aquí,
aquí,
se sese
suponen
suponen
suponencondiciones
condiciones
condiciones adicionales
adicionales
adicionales sobre
sobre
sobre
el eldominio
eldominio
dominiode de
holomorfía,
deholomorfía,
holomorfía,quequeque
ahora
ahora
ahora
se
se toma
toma
se toma con
concon
una
unauna
forma
forma
formaespecial.
especial.
especial.UnUn Un
conjunto
conjunto
conjuntoS del
SS del
del
planoplano
plano
es eses
unauna
estrella
estrella sisi existe
estrella existe
si existe
algún
algún
algún
punto
punto
punto
z0z∈ z∈
0 0S ∈Stal
Stalque,
talque,
que,
para
para
para
todo
todo
todo
z ∈zz ∈
S,∈ el
S,
S, el
el
segmento
segmento
segmento de
de recta
de
rectarecta
que
queque
une
une une
a az0za0con
zcon
0 con
z zestá
zestá
está
contenido
contenido
contenido
en enen S.
S. Además
S. Además
Además
de auténticas
auténticas
de auténticas estrellas,
estrellas,
estrellas,
esto
esto
esto
incluye
incluye
incluye
triángulos,
triángulos,
triángulos, cuadriláteros,
cuadriláteros,
cuadriláteros,
óvalos,
óvalos,
óvalos,
etcétera.
etcétera.
etcétera.
Se
Se nota
Se
nota nota
que
queque
todo
todo
todo
conjunto
conjunto
conjuntoestrella
estrella
estrellaes es
simplemente
essimplemente
simplemente
conexo.
conexo.
conexo.
Lema
Lema Lema5.4.1.
5.4.1. Si
SiffSieses
5.4.1. f una
es
unauna
función
función
función
holomorfa
holomorfa
holomorfaenenun
enun
abierto
unabierto
abierto
estrella
estrella
estrella
H, H, H,
entonces
entonces
entonces
existe
existe
existe
una
unaunafunción
función
función
holomorfa
holomorfa
holomorfa
F F: FH −→
: :HH−→ CC
−→ tal
Ctal
que
tal que
que
F ′ (z)
FF′′(z)
(z)
= ==
para
parapara
f (z)f (z) cada
cada
cada
zz∈∈zH. ∈ H.
H.
Es
Es decir,
decir,
Es decir,
toda
toda
toda
función
función
función
holomorfa
holomorfa
holomorfa
enen
un
en
un
abierto
unabierto
abierto
estrella
estrella
estrella
posee
posee
posee
alguna
alguna
alguna
antiderivada.
antiderivada.
antiderivada.
Demostración.
Demostración.
Demostración.Siendo
Siendo
Siendo
z0z0un
zun
0 punto
un
punto
punto
dedereferencia
dereferencia
referencia
de de
la
deestrella
lalaestrella
estrella
H, H,para
H, para
para
cada
cada
zz ∈ H∈se
∈zH se
Hdefine:
define:
se define:
z z z
FF(z)
(z)
F (z)
== = f (w)f (w)
f (w)
dw,dw,
dw,
z0 z0 z0
donde
donde dondeesta
estaesta
integral
integral
integralsesecalcula
se
calcula
calcula
a aloalolargo
lolargo
largo
deldel
del
segmento
segmento
segmento de de recta
de recta
recta
de de
de
z0 az0z.
z.aComo
Como
z. Como HH es esun
H es
unconjunto
un
conjunto
conjunto abierto,
abierto,
abierto,verver
ver
Figura19,
Figura19,
Figura19, para para
parael punto
el
el punto
punto
z ∈z HH∈ existe
existe
H existe rr >> 0tal
r 0> tal
0 tal
que
queque
sisi|w
si|w−|w−z|−z|<z|<r<entonces
r rentonces
entonces w w ∈w H. Para
∈∈ H.
H. Para
Para
cualquier
cualquier
cualquier hh ∈∈hC,
C,∈ siC,
si|h|
si <
|h| |h|
<r,<r,elr,
eltriángulo
el
triángulo
triángulo concon
con
vértices
vértices
vértices
z0 ,zz,
z00, ,zz,z,+zzh+
+está
hh está
está
contenido
contenido
contenido en
en H.
en
H.Luego,
Luego,
H. Luego,ffeses
fholomorfa
es
holomorfa
holomorfa enen este
eneste
este
triángulo
triángulo
triángulo
y su yyfrontera
su
su frontera
frontera
y, por
por
y, por
la
la versión
versión
la versión anterior
anterior
anteriordel
deldel
teorema,
teorema,
teorema, sese tiene:
setiene:
tiene:
z+h
z+hz+h
z z z
z0z0z0
ff(w)
(w)
f (w)
dwdw+ dw+ + f (w) f (w)
f (w)
dwdw +
dw++ f (w) f f(w)
(w)
dwdw =
dw0, ==0,0,
zz00 z0 z+h
z+hz+h z z z
todas
todas
todas
las
las integrales
las
integrales
integrales
aalolo
alargo
lo
largo
largo
dedesegmentos
desegmentos
segmentos
dederecta.
derecta.
recta.
Es Es
decir:
Es decir:
decir:
z+h
z+hz+h
z z z
z zz
ff(w)
(w) dw−
f (w)
dw − − f (w)
dw f (w)
f (w)
dwdw =
dw=−=−− f (w)ff(w)
(w)
dw,dw,
dw,
zz00 z0 z0z0 z0 z+h
z+h
z+h
o bien:
o bien: z+h
z+h
F (zF+ +−
(zh) h)F−(z) = = f (w)
F (z) f (w)
dw,dw,
z z
de donde,
de donde,
para
para
h ̸=h0:̸= 0:
F (zF+ +−
(zh) F (z) 1 1z+hz+h
h)F−(z)
= = f (w)
f (w)
dw.dw.
h h h h
z z
Ahora
Ahora
bien,
bien,
concon
algoalgo
de elaboración
de elaboración
se nota
se nota
queque
el número
el número
complejo
complejo
f (z) también
f (z) también
se puede
se puede
expresar
expresar
comocomo
unauna
integral
integral
desde
desde
z hasta
z hasta
z +zh.+ h.
PuesPues
comocomo
z esz constante
es constante para
para
la variable
la variable
w, se
w, tiene:
se tiene:
z+h
z+h z+h
z+h
f (z)
f (z)
dw dw= f=(z)
f (z) dw dw = hf
= (z),
hf (z),
z z z z
luego,
luego,
finalmente:
finalmente:
F (zF+ +−
(zh) h)F−(z)
F (z) 1 1z+hz+h 1 1z+hz+h
− f−
(z)
f (z)
= = f (w)
f (w) − −
dw dw f (z)
f (z)
dw dw
h h h h
z z h h z z
1 1z+hz+h
= = (f (w) − f−
(f (w) (z))
f (z))
dw.dw.
h h
z z
ComoComoes holomorfa,
es holomorfa, la función
la funciónf esf continua
es continuaen zeny zpara
y para
cualquier
cualquier
ε >ε0>existe
0 existe
δ >δ 0>tal0 tal
queque0 <0|w <−|wz|−< z|δ<implica
δ implica|f (w)
|f (w)
− f− (z)|
f (z)|
< ε.< ε.
Tomando
Tomando δ ≤δr≤y r|h|y |h|
< δ,<se δ, tiene
se tiene
0 <0|w<− |wz|−<z|δ<paraδ para
cadacada
punto
puntow w
en el
ensegmento
el segmento de recta
de recta
entre
entre
z yzz y+zh.+Luego
h. Luego|f (w)
|f (w)
− f− (z)| < ε<para
f (z)| ε para
estos
estos
valores
valores
y, por
y, por
la desigualdad
la desigualdad MLML (proposición
(proposición 5.3.4), resulta:
5.3.4), resulta:
z+h
F (z
F+(zh)
+ −h)F− (z)
F (z) 1 1 z+h
− f− f(z)
(z) = = (f (w) − f−
(f (w) (z)) dwdw
f (z)) ≤ ≤
h h |h| |h|z z
1 1
≤ ≤ ε|h|ε|h| = ε.= ε.
|h| |h|
F (zF+(zh)+−h)F−(z)
F (z)
Es Es
decir,
decir,
lı́mlı́m = f=(z), lo cual
f (z), lo cual
significa
significa
queque
la fun-
la fun-
h→0h→0 h h
ciónción
F es
F derivable
es derivableen zencon
z con′
F (z) ′
F (z)
= f=(z).
f (z).
Si fTeorema
es una
ma 5.4.8. Teorema función
5.4.8. Si fholomorfa
5.4.8. Siesf una
es una
función
enfunción
un abierto
holomorfa
holomorfa
estrella
en unen abierto
un abierto
estrella
estrella
onces: H entonces:
H entonces:
f dz = 0, f dzf =
dz0,= 0,
C C C
ra cualquier curva
parapara
cerrada
cualquier
cualquier
C curva
contenida
curva
cerrada
cerrada
en H.
C contenida
C contenida
en H.
en H.
La fórmula
5.5.
5.5. La
integral
La
fórmula
fórmula
deintegral
Cauchy
integral
dede
Cauchy
Cauchy
resultado sorprendente
Un Unresultado
resultado
y muy
sorprendente
especial
sorprendente
deylamuy
y
teoría
muy
especial
de
especial
funciones
de la
deteoría
la teoría
de funciones
de funciones
iable compleja
de variable
de
es variable
que elcompleja
valor
compleja
deesuna
que
es función
que
el valor
el valor
holomorfa
de una
de una
función
enfunción
un holomorfa
holomorfa
en un
en un
interior a una
puntopunto
curva
interior
interior
cerrada
a una
aestá
una
curva
determinado
curva
cerrada
cerrada
está
completamente
está
determinado
determinado completamente
completamente
s valores quepor
toma
por
los la
valores
losfunción
valores
queaque
toma
lo largo
toma
la función
de
la la
función
curva.
a loalargo
Con
lo largo
precisión,
de ladecurva.
la curva.
ConCon
precisión,
precisión,
expresa en eso
la siguiente
eso
se expresa
se expresa
igualdad
en la
ensiguiente
la
conocida
siguiente
igualdad
como
igualdad
conocida
fórmulaconocida
como
integralcomo
fórmula
fórmula
integral
integral
uchy. de Cauchy.
de Cauchy.
SeaTeorema
f una 5.5.1.
ma 5.5.1. Teorema funciónSea
holomorfa
5.5.1. Sea
f una
f una
función
enfunción
unaholomorfa
región
holomorfa
D, en
seauna
en
C una
región
región
D, sea
D, sea
C C
urva cerradauna
contenida
una
curva
curva
cerrada
encerrada
D ycontenida
seacontenida
z0 un en enyen
punto
D Dsea
ylasea
zcomponente
0 un
z0 punto
un punto
en la
encomponente
la componente
Proposición
Proposición
Proposición
5.5.1.
5.5.1.En
5.5.1.EnEn laslascondiciones
las
condiciones
condicionesdeldeldel
teorema
teorema
teorema
5.5.1
5.5.1
5.5.1
tenemos:
tenemos:
tenemos:
11 1 f (z)
f (z)
f (z)
ff′ (z
′ ′
f0 )0(z
(z )=0=) = dz.dz.
dz.
2πi
2πi
2πi
CC(zC(z z0−)z20z)02)2
−(z−
Así
AsíAsí
que
queque
los
losvalores
los
valores
valores
de
dela
de
laderivada
la
derivada
derivada
también
también
tambiéndependen
dependen
dependen
de de
los
delos
valores
los valores
valores
que que
toma
toma
toma
la
la función
función
la función
original
original a alolo
original alargo
lo
largo
largo
dede
la
dela
curva.
lacurva.
curva.
Demostración.
Demostración.
Demostración. Sea
SeaSea
hh∈∈ hCC∈tal
talque
C tal
queque . 2rPor
|h|<2r<
|h||h|< .2r .Por
Por
la la
fórmula
lafórmula
fórmula de de
Cauchy
de Cauchy
Cauchy
(teorema
(teorema
(teorema 5.5.1)
5.5.1)tenemos
tenemos
5.5.1) tenemos
(z0f0+
ff(z +0h)
(z +−−
h) h)ff− ) 0) 1 1 1
(z(z0f)0(z f (z)
f (z)
f (z) f (z)
ff(z)(z)
== = − −− dz dz
dz
hh h 2πih
2πih
2πih
CC C z− z z−z0−z−0z0− h−hhz −zzz− 0−zz00
11 1 f (z)f (z)
f (z)
== = dz.dz. dz.
2πi
2πi2πi
CC −(z−
(zC(z z0−z− 0z− −h)(z
0h)(z − z−0−)zz0 0))
h)(z
Ahora
Ahora
Ahora
11 1 11 1 h hh
== = + + + , ,,
(z −
(z −(zzz0−
0−− − h)(z
z0h)(z
h)(z−−z0z−)0 )z0 )(z(z−(z
− z)02z)02)2(z (z
z0− −(z−
z0−z−0z0h)(z
−−h)(z
− z−
h)(z )2zz00))22
0−
luego
luego
luego
f (z
(z0f0 +
(z
+0h)+−
h) −
h)ff−
(z
(z0f0)(z
) 0)
== =
hh h
11 1 f f(z)f (z) h h h
(z) f (z)
ff(z)
(z)
== = 2
++
2 2
+ dz, dz,
dz,
2πi
2πi2πi C−
CC(z(z −z0−
(z z)0 )z0 ) 2πi
2πi2πi
S (z −(z−
S S(z z0−z−0z0h)(z
−−h)(z
− z−
h)(z )2zz00))22
0−
en
en la la
enúltima
última
la última integral
integral
integral seseha
sehacambiado
hacambiado
cambiado la lacurva
lacurva
curvaCC por
C por
por
la circunfe-
la
la circunfe-
circunfe-
rencia
rencia
rencia S. Dado
S. Dado
S. Dadoque
queque
este
este este
conjunto
conjunto
conjunto S SesSescompacto
escompacto
compacto y layy la
función
la función
funciónf esff es
es
continua,
continua,
continua, la
la imagen
imagen
la imagen de
deSde Sporpor
S por
f fesfescompacta
escompacta
compacta y, y,
eny,en
particular,
enparticular,
particular, es unes
es un
un
conjunto
conjunto
conjunto acotado.
acotado.
acotado.Sea
SeaSeaMM M >>0>0real 0real
real
taltaltal
quequeque
|f (z)|
|f|f(z)|
≤≤
(z)| M≤M para
M parapara
cadacada
cada
z ∈ zS,
S,∈ sese
S,nota
nota
se nota
que
queque
para
para para
estos
estos
estosmismos
mismos
mismos puntos
puntos
puntos se se
tiene
setiene
tiene
|z −
|z|zz−0−− −
−≥
zz00h| h| ≥
h| ≥
|z −|zzz0−
0|| −
−
z0|h|
||h|
−= |h|
=rr= −−r|h|
|h|
−> |h|
>r >r−− = = ,
r rr r r
r2r − =
2 22 2 2
y, yasí:
, yasí:
así:
f f
(z)
(z)
f (z) MMM 2M2M
< < < = == 2M
(z r 2 2 3 ,3 3 , ,
(z−−(zzz0−0−z−0h)(z
−
h)(z −−z0−
h)(z z)0z)0 ) ( 2r ()r2r(2)r
2 2 2
2
)r r rr
para
para
para
cada
cada
cada
z z∈
z ∈∈
S.S.S. EnEn
Enconsecuencia,
consecuencia,
consecuencia,por porporlalala
desigualdad
desigualdad
desigualdad MLML
ML(pro-
(pro-
(pro-
posición
posición
posición 5.3.4)
5.3.4)tenemos:
5.3.4) tenemos:
tenemos:
f (z
(z −−f−(z f (z) |h| |h|
|h|
+00 +
ff0(z h)
+h)h) ff(z )0 )0 ) 11 1
0(z
−−−
f (z)
(z) 2M2M
2M
≤≤≤ 3 3(2πr)
2M2M
2M
= ==2 |h|.
(2πr)
(2πr) |h|.
|h|.
h hh 2πiCC C(z(z−−
2πi
2πi 222
zz00z))0 ) 2π 2π2πr rr 3 r rr22
Ahora
Ahora
Ahora existe
existe
existeelelel
límite
límite
límitecuando
cuando
cuandoh htiende
tiende
tiende
aacero,
acero,
cero,
y ylayladerivada
laderivada
derivada
f ′ (zff0′)′(z
(z00))
toma
toma
toma
el el
valor
el valor
valor
indicado
indicado
indicado en
enen
elelel
enunciado.
enunciado.
enunciado.
Este
Este
Esteproceso
proceso
proceso
que
que
que aplicamos
aplicamos
aplicamosa alalalafunción
función
función
sesese
puede
puede
puede
repetir
repetir
repetir
concon
con
la la
la
función
función
función
derivada,
derivada,
derivada,
lololo
cual
cual
cual
tiene
tiene
tieneimportantes
importantes
importantes consecuencias
consecuencias
consecuencias teóricas.
teóricas.
teóricas.
Proposición
Proposición
Proposición
5.5.2.
5.5.2.En
5.5.2. En En las
laslascondiciones
condiciones
condiciones del
deldelteorema
teorema
teorema
5.5.1 tenemos:
5.5.1
5.5.1 tenemos:
tenemos:
′′ ′′ ′′ 22 2 ff(z)
(z)
f (z)
fff(z(z0(z 0))0=)== dz.
dz.
dz.
2πi
2πi
2πi CC C(z
(z(z−
−− zz00)z3)03)3
Demostración.
Demostración.
Demostración. DeDeDenuevo
nuevo
nuevo para
para
para |h||h|<<2r2r,,2ryy, por
|h| ypor
porlos
los
los
resultados
resultados
resultados anteriores:
anteriores:
anteriores:
′ ′′
f (zf0(z
(z+ 0
0 h)
++ −
h)
h) −
−
f ′ ′′
f
(z
f(z
0(z
)0 )
0 ) 22 2 f (z)
(z)
f (z)
−−− ===
h hh 2πi2πi
2πiCC C(z (z(z−− z00z))303)3
1 11 f f
(z)
f(z)
(z) f (z)
(z)
f (z) 2hf
2hf
2hf(z)
(z)
(z)
= = −−− −−− dzdz dz
2πih2πih
2πihC CC(z(z(z −−−z0zz0−0−− h) 2 2
h)h) (z2 (z(z−− 22 2
zz00z))0 ) (z(z(z −−z−0z)0z)0 )
3 3 3
22
1 11 f (z) (z)(z(z(z
ff(z) −−− zz00)z)303)−3
−− (z
(z(z −− z00z− −0 − h) 22 2
h)h) −−z−0z)0z−
(z(z(z )0 )−−2h(z
2h(z −−
2h(z z−
0− −
zz00h) h)
−2h)
= =
dz dz
dz
−
−− zz00z− − 2 2 2 3 3 3
2πi2πi
2πiC CCh hh (z(z 0 − h)
h)h) −−z−0z)z0 )0 )
(z(z(z
1 11 f (z)
ff(z)
(z) 3(z 3(z
3(z−−− zz00z)h)h 22 2
0 )h−−− 2h2h33 3
= = 22 2 33 3
dz
dzdz
2π 2π2π S SSh hh (z(z(z −−− zz0 0z−
0− −h)
h) h)(z
(z −
(z −
z z
)
)
00 0 )
1 M11 M
M3r|h|2 22
3r|h|
3r|h| ++2|h| 33 3
+2|h|
2|h| 4M4M
2 22
≤ ≤ r r2r 232 3 3 (2πr)
(2πr) == 4 4 3r|h|
(2πr)
= 3r|h|
3r|h|
+++2|h|
2|h|
2|h| . ..
|h||h|
2π 2π
2π |h| ( 2()(22)r)rr rr
El El
límite
El límite
límite
cuando
cuando
cuandohhtiende
htiende
tiende
aa cero
acero
cero
existe
existe
existe
yyla
ylala
segunda
segunda
segunda
derivada
derivada
derivada
f ′′ (z
ff′′0′′)(z
(z00))
toma
toma
tomael el
valor
el valor
valor
indicado.
indicado.
indicado.
(k)
f (k+1) (z0 ) = (f ′ ) (z0 ) =
k! f ′ (z) k! f (z)
= k+1
dz = (k + 1) k+2
dz,
2πi C (z − z0 ) 2πi C (z − z0 )
Ejemplo 5.5.2.
ez + sen z
dz = 2πi e0 + sen 0 = 2πi.
S1 z
a) De 0 a 3 + 4i,
b) de 3 + 4i a 2 + 5i,
c) de 0 a z1 ,
d) de z1 a z2 .
5.3. Con la definición de integral, pruebe que z n dz = 0 para
S1
todo entero n ̸= −1.
a) z(t) = 1 + it, 0 ≤ t ≤ 2,
b) z(t) = 1 − t + it, 0 ≤ t ≤ 1,
5.5. Evalúe la integral Re(z) dz para cada una de las siguientes
C
curvas:
5.6. Muestre que (2z − 1) dz = 2i, si C recorre el triángulo con
C
vértices 0, 1, i en ese orden.
5.8. Evalúe las siguientes integrales por cualquier curva que una
los puntos. Observe que en realidad no es necesario encontrar parame-
trización alguna.
1+i√3 πi −10
dz
a) 2
3z dz, b) z
e dz, c) 2
.
0 0 −11 (z + 9)
1
ma de Cauchy (cuando aplique) y también la igualdad 2 =
z +9
1 1 1
− .
6i z − 3i z + 3i
dz dz
a) 2
, b) 2
.
|z−i|=1 z + 9 |z−2i|=2 z + 9
5.10. Encuentre f (z) dz para las siguientes funciones.
S1
ez
a) f (z) = , b) f (z) = z 4 + iz + Im(z).
z − 2i
5.12. Encuentre f (z) dz para las siguientes funciones.
S1
ez ez
a) f (z) = , b) f (z) = .
z − 2i z(z − 1)2
Bibliografía
[7] Ahlfors LV. Complex Analysis. 3rd ed. New York: McGraw-Hill;
1979.
[9] Bak J, Newman DJ. Complex Analysis. 3rd ed. New York: Sprin-
ger Science+Business Media; 2010.
[10] Charris J, de Castro R, Varela J. Fundamentos del Análisis Com-
plejo de una variable. Bogotá: Academia Colombiana de Ciencias;
2000.
[11] Conway JB. Functions of One Complex Variable II. vol. 159 of
Graduate Texts in Mathematics. Springer Science & Business
Media; 1995.
[12] Freitag E, Busam R. Complex Analysis. 2nd ed. Berlin: Springer-
Verlag; 2009.
[13] Grove EA, Ladas GE. Introduction to Complex Variables. Bos-
ton: Houghton Mifflin; 1974.
[14] Lang S. Complex Analysis. vol. 103 of Graduate Texts in Mathe-
matics. 4th ed. New York: Springer Science+Business Media;
1999.
[15] Markushevich AI. Teoría de las funciones analíticas. Moscú:
Editorial Mir; 1970. 2 tomos.
[16] Marsden JE, Hoffman MJ. Basic Complex Analysis. 3rd ed. New
York: W. H. Freeman; 1999.
[17] Needham T. Visual Complex Analysis. Oxford: Clarendon Press;
1997.
[18] Palka BP. An Introduction to Complex Function Theory. Un-
dergraduate Texts in Mathematics. New York: Springer-Verlag;
1991.
[19] Ponnusamy S, Silverman H. Complex Variables with Applica-
tions. Boston: Birkhäuser; 2006.
[20] Priestley HA. Introduction to Complex Analysis. 2nd ed. Oxford:
Oxford University Press; 2003.
[21] Spivak M. Cálculo infinitesimal. México: Reverté; 1996.
[22] Stein EM, Shakarchi S. Complex Analysis. vol. 2 of Princeton
Lectures in Analysis. Princeton: Princeton University Press; 2003.
Índice de palabras
Adherencia,
Adherencia, 42 42 compleja, 105 de,
orientación Forma
depolar, 1799
Laplace,
Apolonio, 27 106
Apolonio, 27 de Jordan, 106 Función
Formaanalítica,
polar, 17 96
Argumento, 18 parametriza-
Argumento, 18 derivable, Función 99
armónica,
ción108
de,
Circunferencia analítica, 96
105 conjugado, 11,9958
Circunferencia
unidad, 62 integrable, 109 armónica,
simple, 106
Conjunto 62
unidad, orientaciónde,106 conjugado,
continua, 85 11,
abierto, 40 Desigualdad 58
Conjunto abierto,
acotado, 43 40 parametrización de, coseno, 70
continua, 85
triangular,
cerrado,4341
acotado, 105 14 coseno,
cuadrática, 59 70
compacto, 43 Disco 106
simple, cuadrática, 59
cerrado,
conexo,41 44 devariable compleja,
de variable
abierto, 26
estrella, 131 Desigualdad 55 compleja,
compacto, 43 cerrado, 40
simplemente triangular, 14 derivable, 55 86
conexo, 44 44
conexo, Ecuaciones de 26 derivable, 86
Disco abierto, entera, 96 96
Coordenadas
estrella, 131 Cauchy- entera,
cartesianas, 13 cerrado,Riemann,
40 exponencial,
exponencial, 66
simplemente
polares, 16 conexo, 90 de 66
44 Ecuaciones holomorfa, 96
Criterio de con- Ecuación holomorfa, 96
Cauchy- Riemann,90
vergencia
Coordenadas de la circunfe- inversoinverso
multiplicativo,
multi-
de la raíz, 51
cartesianas, 13 Ecuación de la26
rencia, 61 plicativo,
del cociente, circunferencia,
de la elipse, 2826 61
polares, lineal, 56
51 16 de la lineal, 56
de la elipse, 28
Curva
Criterio de hipérbola, logaritmo principal,
logaritmo
cerrada,
convergencia 106 de la de la hipérbola,
28 28 75 principal,
compleja,
raíz, 51 105 de lade la
mediatriz, 24 75
periódica, 68
de Jordan, 106 mediatriz, periódica, 68
del derivable,
cociente,108 51 de la recta,
24 23 racional, 60 60
racional,
integrable,
Curva cerrada, 109106 de la recta,
de Laplace, 9923 seno, seno,
70 70
145
Introducción a las funciones de variable compleja
146
Capítulo 5. Integración compleja 146
valor absoluto,
valor absoluto,11 Números
Métrica,complejos,
40 9 convergente,
Serie 48
Fórmula 11
dedeMoivre, absolutamente
Parteimaginaria,10 de potencias, 52
Fórmula Números convergen-
20 real, 10 complejos,
de de Moivre, definición te,de,
51 48
de Euler,
20 67 9
Planoextendido, convergente,
28 geométrica, 49
de Euler,
de las raíces67de un 48
Parte
Poligonal, 26 Subsucesión, 45
de las raíces
complejo, 21 de potencias,
imaginaria, 10
de un Proyección Sucesión 52
integral deCauchy, real, 10
complejo, estereográfica, 31 definición de,
Plano extendido, convergente,
134 21
Radiodeconvergencia, 48 45
28
integral
integral de
general de geométrica,
definición de, 4549
52
Poligonal, 26
Cauchy,
Cauchy, 137 Subsucesión, 45
Proyección
Rama este- 77 Superficie de
delogaritmo,
134 Sucesión
Homotecia, reográfica, Riemann, 78
integral 57 Raícesdela convergente,
31unidad,21
general
Integral, 111 de Teoremade 45Cauchy,
Cauchy, Reflexión, 58 definición de,
Radio de conver- 122
Interior,
13742 Región,gencia,
44 52 45
Rama de de Superficie127
Green, de
Leydelparalelogramo,
Homotecia, 57 Representación polar,
13 logaritmo, Riemann,
de Jordan, 106
Integral, 111 16 78
77
Límitede42
Interior, función,83 rectangular,
Raíces de la 13 Topología, 40
unidad, Teorema
de sucesión,
Ley 45
del paralelo- Rotación, 57 21 Transformaciónde
de Cauchy,
gramo, 13 Reflexión, 58 Cayley, 63
Multifunción Segmento,
Región, 44 25 122
Límite
logaritmo, 78 Representación de Möbius, 62 127
de Green,
de función, 83 Serieabsolutamente
polar, 16 51 de Jordan, 106
Métrica, 40
de sucesión, convergente, Traslación, 57
rectangular, Topología, 40
45
13 Transformación
Multifunción Rotación, 57 de Cayley, 63
logaritmo, de Möbius, 62
78 Segmento, 25 Traslación, 57
Índice de símbolos
C∞ Plano extendido. 28
S 1 Circunferencia Unidad. 62
S Esfera de Rieman. 28
C Números complejos. 9, 10
i Número imaginario. 10
R Números reales. 10
Im Parte imaginaria. 10, 12, 15, 18, 23–25, 36, 46, 49, 63, 78, 79,
95–97, 102, 140
Re Parte real. 10, 12, 14, 15, 18, 23–25, 36, 40, 42, 46, 49, 78, 85, 87,
91, 95–97, 102, 110, 111, 139
R2 Plano real. 9
9 786287 537538