Diap 4

Notes
4. Funciones Analı́ticas Complejas
Diego Montero
Facultad de Ingenierı́a
Semestre Marzo2022 - Agosto2022
Introducción
Outline Notes
Funciones dadas por Series de Potencias

1 Introducción Series de Taylor y Maclaurin
2 Números Complejos. Funciones. 5 Series de Laurent. Integración Residuo

Diferenciación Series de Laurent
Funciones, Curvas y Regiones Singularidades y Ceros. Infinito
Lı́mite. Derivada. Función Analı́tica Integración por el método de residuos
Ecuaciones de Cauchy-Riemann. Ecuación de Laplace Fórmulas para Residuos
Función Exponencial Teorema Residuo
Funciones Trigonométricas, Hiperbólicas Evaluación de Integrales Reales
Logaritmo. Potencia General.
6 Mapeo Conforme
3 Integración Compleja Transformada Z , Mapeo
Integral de Lı́nea en el Plano Complejo Mapeos por medio de otras funciones
Teorema de la Integral de Cauchy Transformaciones Fraccionarias Lineales. Transformada
Fórmula de la Integral de Cauchy Möbius, Transformada Bilineal
Derivadas de Funciones Analı́ticas Transformaciones Fraccionarias Lineales Especiales
4 Series de Potencia. Series de Taylor 7 Análisis Complejo. Teorı́a Potencial.

Sucesiones, Series y Pruebas de Convergencia Campos Electrostáticos
Series de Potencias Uso del Mapeo Conforme
Montero, Diego (MA-18563) Análisis Complejo 1 / 258

Introducción
Campos Vectoriales Notes
Dado un campo escalar f (x, y , z), entonces ∇f es un campo vectorial.
¿Son todos los campos vectoriales el resultado del gradiente de una

función escalar?
No. Solo campos vectoriales especiales F⃗ = ∇f (campos gradientes)

Si F⃗ = ∇f =⇒ ∇ × F⃗ = ∇ × ∇f = 0
Campos gradientes son irrotacionales
Campos gradientes son conservativos: trayectoria cerrada, no existe

perdida/ganacia de energı́a de una masa/carga en movimiento
Campo Vectorial ⊃ Campo Gradiente ⊃ Campo Potencial

F⃗ = ∇f Incompresible ∇ · F⃗ = 0
F⃗ Irrotacional Irrotacional ∇ × F⃗ = 0
Introducción
Campos Vectoriales Notes
Campo Vectorial ⊃ Campo Gradiente ⊃ Campo Potencial

F⃗ = ∇f Incompresible ∇ · F⃗ = 0
F⃗ Irrotacional Irrotacional ∇ × F⃗ = 0
Campos Vectoriales F⃗ :
F⃗ soluciones a EDPs que tienen propiedades como irrotacional,
incompresible
EDPs: modelos fisicos, e.g.: conservación de masa, momento, energı́a
Campo Vectorial genérico F⃗
F⃗ = −∇ϕ + ∇ × A⃗ Descomposición Helmholtz

− ∇ϕ : Campo Potencial: conservativo, irrotacional
∇×A⃗ : Campo solenoidal: incompresible (sin divergencia)
Electromagnetismo, flujo de fluidos, ecuaciones Navier-Stokes

Introducción
Campo Potencial. Ecuación de Laplace Notes
Campo Potencial: Estable, Incompresible, Irrotacional V

⃗ = ⟨V1 , V2 ⟩
∂V⃗
Estable: =0
∂t
Incompresible: ∇ · V
⃗ =0 ∂V1 ∂V2
+ =0
∂x ∂y
Irrotacional: ∇ × V
⃗ =0 ∂V2 ∂V1
− =0
∂x ∂y
Si V
⃗ = ∇φ, estas condiciones se satisfacen automaticamente para una
función potencial de valores reales φ que satisface ∇2 φ = 0 (ecuación de
Laplace)
∂2φ ∂2φ

∇·V =
⃗ ∂ ∂ ∂φ ∂φ
, · , = + = ∇2 φ = 0
∂x ∂y ∂x ∂y ∂x 2 ∂y 2
Introducción
Campo Potencial Estable Incompresible Irrotacional Ecuación Laplace

∂V
⃗
V⃗ = ⟨V1 , V2 ⟩ = ∇φ
∂t
=0 ∇·V
⃗ =0 ∇×V
⃗ =0 ∇2 φ = 0
I ZZ
R
C V⃗ · u⃗ ds = ∇×V
⃗ dA = 0
C R
V⃗ Circulación neta alrededor de C
I ZZ
V⃗ · n⃗ ds = ∇·V ⃗ dA = 0
C R
Flux neto a través de C
u⃗
Soluciones de ∇2 φ = 0: teorı́a de
n⃗ Variable Compleja z ∈ C

Introducción
Soluciones de ∇2 φ = 0: teorı́a de Varible Compleja z ∈ C
Variable Compleja z = x + iy
Función Compleja f (z) = z 2 . f (z) es analı́tica
Potencial Complejo Φ(z):
Φ(z) = φ(x, y ) + iψ(x, y )

φ(x, y ): función Potencial
ψ(x, y ): función Corriente
Si Φ(z) es una función analı́tica, entonces φ(x, y ) y ψ(x, y )

satisfacen la ecuación de Laplace
∇2 φ = 0 ∇2 ψ = 0
Introducción
Campo Potencial. Ecuación de Laplace. Ejemplo Notes

∂V
⃗
V⃗ = ⟨V1 , V2 ⟩ = ∇φ
∂t
=0 ∇·V
⃗ =0 ∇×V
⃗ =0 ∇2 φ = 0
Potencial Complejo Φ(z):

∂φ ∂φ ∂ψ ∂ψ
∇φ = , = ,−
z = x + iy ∂x ∂y ∂y ∂x
∇·V
(
Φ(z) = φ(x, y ) + iψ(x, y ) ⃗ =2−2=0
2 2
V⃗ = ⟨2x, −2y ⟩
∇×V⃗ =0+0=0
Φ(z) = z = (x + iy )
= (x 2 − y 2 ) + i(2xy ) ∂2φ ∂2φ
∇2 φ = 2
+ =2−2=0
φ(x, y ) = x 2 − y 2 función Potencial ∂x ∂y 2
ψ(x, y ) = 2xy función Corriente ∂2ψ ∂2ψ
∇2 ψ = 2
+ =0+0=0
∂x ∂y 2

Introducción
Campo Potencial. Ecuación de Laplace. Ejemplo Notes

∂V
⃗
V⃗ = ⟨V1 , V2 ⟩ = ∇φ
∂t
=0 ∇·V
⃗ =0 ∇×V
⃗ =0 ∇2 φ = 0
2 2
φ(x, y ) = x − y
V⃗ (x, y ) = ⟨V1 (x, y ), V2 (x, y )⟩
V⃗ (x, y ) = 2xı̂ − 2y ȷ̂
4
C
R
2
V⃗ 1. EDP
0
⇓
y
2. Solución de EDP define
⟨x, y ⟩ un Campo Vectorial V⃗
−2
⇓
3. EDO para una partı́cula
−4 en el Campo Vectorial V⃗
u⃗
−4 −2 0 2 4
x

n⃗ ẋ
ẏ
=
2x
−2y
=
2
0
0
−2 y
x

d x V1 (x, y )
x(t)

C1 e 2t

= =
dt y V2 (x, y ) y (t) C2 e −2t
Números Complejos — Funciones
Outline Notes


6 Mapeo Conforme


Números Complejos — Funciones Funciones, Curvas y Regiones
Plano Complejo z ∈ C Notes
z: variable compleja
1 variable, 2 dimensiones: ℜ{z}, ℑ{z} =⇒ Plano Complejo C
f (z) : z 7→ z, función compleja

Dominio de f (z) = {z|z ∈ C} — Plano z
Rango de f (z) = {z|z ∈ C} — Plano w
Cálculo sobre funciones complejas

Lı́mite, continuidad, trayectorias, derivada, integral, . . .
Cı́rculos y Discos Notes
Regiones del plano z: dominio, rango, lı́mite, trayectorias, continuidad,

derivada, integral, . . .
y y
y
ρ ρ2
x
a ρ1
1
a
x
x
Circunferencia Unitaria Circunferencia Plano

Corona plano complejo
|z| = 1 Complejo
Disco circular abierto: |z − a| < ρ (ρ-vecindad del punto a)
Disco circular cerrado: |z − a| ≤ ρ
Exterior cı́rculo C : |z − a| > ρ
Corona abierta: ρ1 < |z − a| < ρ2 ρ2 > ρ 1
Corona cerrada: ρ1 ≤ |z − a| ≤ ρ2 ρ2 > ρ 1
Conjuntos Plano Complejo. Conceptos Notes
Conjunto de puntos: colección finita o infinita de puntos complejos

Conjunto abierto S: cualquier punto de S tiene una vecindad que consta
completamente de puntos que pertenecen a S. E.g. ℜ(z) = x > 0
semi-plano derecho
Conjunto abierto S conexo: si dos puntos de S pueden unirse por una
cadena finita de segmentos rectos cuyos puntos pertenezcan a S =⇒
dominio, e.g. disco abierto, corona abierta
Complemento de S: conjunto de todos los puntos que no pertenecen a S.
S es cerrado si su complemento es abierto, e.g. S : { z/ |z| ≤ 1}
Punto frontera de S: punto para el que toda vecindad contiene puntos que
pertenecen a S y puntos que no pertenecen a S.
Si S es abierto =⇒ no puntos de frontera
Si S es cerrada =⇒ contiene todos los puntos de frontera
Región: conjunto que consta de un dominio + algunos/todos puntos
frontera
Números Complejos — Funciones Lı́mite. Derivada. Función Analı́tica
Función Compleja Notes
S conjunto de números complejos

Función f sobre S: regla que asigna a cada z ∈ S un número
complejo w
w = f (z)
z varı́a en S =⇒ z es variable compleja
S: dominio de definición de f
E.g. w = f (z) = z 2 + 3z: función compleja definida ∀z (dominio S
es todo el plano complejo)
Rango f : conjunto de todos los valores de f . f 7→ w donde w ∈ C
w = f (z) = u(x, y ) + iv (x, y )

Función Compleja, ejemplo 1 Notes
w = f (z) = z 2 + 3z. Encontrar u(x, y ), v (x, y ). Calcular f (z) para

z = 1 + 3i
f (z) = f (x + iy ) = (x + iy )2 + 3(x + iy )
= x 2 − y 2 + 2ixy + 3x + 3iy
u(x, y ) = ℜ (f (z)) = x 2 − y 2 + 3x
v (x, y ) = ℑ (f (z)) = 2xy + 3y
f (1 + 3i) = (1 + 3i)2 + 3(1 + 3i) = 1 − 6i − 9 + 3 + 9i
= −5 + 15i
u(1, 3) = −5
v (1, 3) = 15
Función Compleja, ejemplo 2 Notes
w = f (z) = 2iz + 6z. Encontrar u(x, y ), v (x, y ). Calcular f (z) para

z = 12 + 4i
f (z) = f (x + iy ) = 2i(x + iy ) + 6(x − iy )

= 2ix − 2y + 6x − 6iy
u(x, y ) = ℜ (f (z)) = 6x − 2y
v (x, y ) = ℑ (f (z)) = 2x − 6y

1 1 1
f + 4i = 2i + 4i + 6 − 4i
2 2 2
= i − 8 + 3 − 24i
= −5 − 23i

Lı́mite, continuidad Notes
lim f (z) = l
z→z0
l es el lı́mite de f (z) cuando z → z0 si f está definida en una vecindad de z0

(excepto quizá z0 ) y si los valores de f están “próximos” a l para todo z
“próximo” a z0
∀ϵ > 0, existe un δ > 0 tal que ∀z ̸= z0
Si existe un lı́mite, entonces es
en el disco |z − z0 | < δ se tiene
único
|f (z) − l| < ϵ f (z) es continua en z = z0 si
f (z0 ) está definida y
y v
lim f (z) = f (z0 )
z→z0
z
f (z) está definida en alguna
f (z) vecindad de z0
l
z0
δ ϵ f (z) es continua en un dominio si
es continua en cada uno de los
u
x
puntos
Derivada. Diferenciabilidad Notes
f ′ (z0 ): derivada función compleja f en z0
f (z0 + ∆z) − f (z0 )

f ′ (z0 ) = lim
∆z→0 ∆z
Si el lı́mite existe, f es diferenciable en z0
∆z = z − z0 =⇒ z = z0 + ∆z
f (z) − f (z0 )
f ′ (z0 ) = lim
z→z0 z − z0
Importante: por la definición del lı́mite, f (z) está definida en alguna vecindad de z0 , y z
f (z) − f (z0 )
en f ′ (z0 ) = lim puede aproximarse a z0 desde cualquier dirección en el
z→z0 z − z0
plano complejo. Diferenciabilidad en z0 significa que a lo largo de cualquier trayectoria
por la cual z → z0 , el cociente siempre tiende a un cierto valor, y todos estos valores son
iguales.

Derivada. Diferenciabilidad Notes
f (z) = z 2 es diferenciable para todo z y su derivada f ′ (z) = 2z porque:
(z + ∆z)2 − z 2
f ′ (z) = lim = lim (2z + ∆z) = 2z
∆z→0 ∆z ∆z→0
reglas de diferenciación: mismas que en cálculo real

′
′ ′ ′ ′ ′ ′ ′ ′ f f ′ g − fg ′
(cf ) = cf , (f +g ) = f +g , (fg ) = f g +fg , =
g g2
Regla de la Cadena y regla de Potencias (z n )′ = nz n−1 , n entero

Si f (z) es diferenciable en z0 =⇒ f es continua en z0
Derivada. Diferenciabilidad, ejemplo z no diferenciable Notes
f (z) = z = x − iy . f (z) no tiene derivada en ningún punto
∆z = ∆x + i∆y
f (z + ∆z) − f (z) (z + ∆z) − z ∆z ∆x − i∆y
= = =
∆z ∆z ∆z ∆x + i∆y
II
∆x − i∆y z + ∆z
Si ∆y = 0 =⇒ = +1
∆x + i∆y
∆x − i∆y
Si ∆x = 0 =⇒ = −1 z
∆x + i∆y I
x

Funciones Analı́ticas Notes
Definición 2.1 (Analiticidad)

Una función f (z) es analı́tica en un dominio D si f (z) está definida y
es diferenciable en todos los puntos de D
Una función f (z) es analı́tica en un punto z = z0 en D si f (z) es
analı́tica en una vecindad de z0
Función analı́tica: función que es analı́tica en algún dominio
analiticidad de f (z) en z0 =⇒ f (z) tiene una derivada en todos los puntos de

alguna vecindad de z0
analı́tica en D = holomorfa en D
Funciones Analı́ticas, ejemplo Notes
Polinomios, funciones racionales

Potencias enteras 1, z, z 2 , z 3 , . . . y los polinomios
f (z) = c0 +c1 z +c2 z 2 +. . .+cn z n c0 , . . . , cn : constantes complejas
son analı́ticos en todo el plano complejo.

Cociente o función racional: f (z) es analı́tica excepto en los puntos
donde h(z) = 0
g (z)
f (z) =
h(z)
Fracciones parciales: funciones racionales especiales, son analı́ticas

excepto en z0
c
c ̸= 0, c y z0 complejos, m entero positivo
(z − z0 )m

Números Complejos — Funciones Ecuaciones de Cauchy-Riemann. Ecuación de Laplace
Ecuaciones de Cauchy-Riemann Notes
Criterio para verificar la analiticidad de una función compleja
w = f (z) = f (x + iy ) = u(x, y ) + iv (x, y )
f (z) es analı́tica en un dominio D si y sólo si
∇u = ⟨ux , uy ⟩ = ⟨vy , −vx ⟩

ux = vy uy = −vx ∀z ∈ D
Teorema 2.1 (Ecuaciones de Cauchy-Riemann)

Sea f (z) = u(x, y ) + iv (x, y ) definida y continua en alguna vecindad de un punto
z = x + iy , y diferenciable en z mismo. Entonces, en ese punto existen las
derivadas parciales de primer orden de u y v y satisfacen las ecuaciones de
Cauchy-Riemann. Por tanto, si f (z) es analı́tica en un dominio D, entonces las
derivadas parciales existen y satisfacen para todos los puntos de D
u x = vy uy = −vx ∀z ∈ D
Ecuaciones de Cauchy-Riemann — demostración Notes

y
Hipótesis: existe la derivada de f (z) en z II

z + ∆z
f (z + ∆z) − f (z)
f ′ (z) = lim
∆z→0 ∆z
z
z = x + iy =⇒ ∆z = ∆x + i∆y I
[u(x + ∆x, y + ∆y ) + iv (x + ∆x, y + ∆y )] − [u(x, y ) + iv (x, y )]

f ′ (z) = lim
∆z→0 ∆x + i∆y
∆y → 0 =⇒ trayectoria I , luego ∆x → 0
u(x + ∆x, y ) − u(x, y ) v (x + ∆x, y ) − v (x, y )
f ′ (z) = lim + i lim
∆x→0 ∆x ∆x→0 ∆x
′
f (z) = ux + ivx
∆x → 0 =⇒ trayectoria II , luego ∆y → 0
u(x, y + ∆y ) − u(x, y ) v (x, y + ∆y ) − v (x, y )
f ′ (z) = lim + i lim
∆y →0 i∆y ∆y →0 i∆y
′
f (z) = −iuy + vy
ux = vy vx = −uy
Ecuaciones de Cauchy-Riemann — demostración Notes
Las siguientes ecuaciones obtenidas en la demostración son bastante

prácticas para calcular derivadas f ′ (z)
f ′ (z) = ux + ivx
f ′ (z) = −iuy + vy
Ecuaciones de Cauchy-Riemann, ejemplo 1 Notes
f (z) = z 2 es analı́tica para todo z. Por lo tanto, f (z) = x 2 + 2ixy − y 2 ,

ux = 2x = vy y uy = −2y = −vx .
f (z) = z = x − iy : ux = 1, vy = −1 =⇒ f (z) no es analı́tica
Teorema 2.2 (Ecuaciones de Cauchy-Riemann)

Si dos funciones continuas con valores reales u(x, y ) y v (x, y ) de dos
variables reales x y y tienen primeras derivadas parciales continuas que
satisfacen las ecuaciones de Cauchy-Riemann en algún dominio D,
entonces la función compleja f (z) = u(x, y ) + iv (x, y ) es analı́tica en D

¿f (z) = z 3 es analı́tica?
f (z) = f (x + iy ) = (x + iy )3 = x 3 + 3x 2 iy − 3xy 2 − iy 3
u(x, y ) = x 3 − 3xy 2 v (x, y ) = 3x 2 y − y 3
ux = 3x 2 − 3y 2 vy = 3x 2 − 3y 2 =⇒ ux = vy
uy = −6xy − vx = −(6xy ) =⇒ uy = −vx
∴ f (z) = z 3 es analı́tica para todo z
Encontrar la función analı́tica mas general f (z) cuya parte real sea
u = x2 − y2 − x
ux = 2x − 1 = vy =⇒ v (x, y ) = 2xy − y + k(x)

dk dk
uy = −2y − vx = −2y + =⇒ = 0 =⇒ k = const. ∈ R
dx dx
f (z) = u(x, y ) + iv (x, y ) = x 2 − y 2 − x + i (2xy − y + k)
f (z) = (x 2 + 2ixy + i 2 y 2 ) − (x + iy ) + ik
f (z) = z 2 − z + ik

Demostrar que si f (z) es analı́tica en un dominio D y

|f (z)| = k =constante en D, entonces f (z) =constante en D
Por hipótesis |f |2 = |u + iv |2 = u 2 + v 2 = k 2
uux + vvx = 0 uuy + vvy = 0
vx = −uy y vy = ux
uux − vuy = 0 uuy − vux = 0
u(uux − vuy ) = 0 − v (uux − vuy ) = 0
v (uuy − vux ) = 0 u(uuy − vux ) = 0
(u 2 + v 2 )ux = 0 (u 2 + v 2 )uy = 0
Si k 2 = u 2 + v 2 = 0 =⇒ u = v = 0 =⇒ f = 0
Si k 2 = u 2 + v 2 ̸= 0 =⇒ ux = vy = 0 =⇒ ux = vy = 0
∴ u = const v = const =⇒ f = const
Ecuaciones de Cauchy-Riemann, forma polar Notes
z = re iθ
z = r (cos (θ) + i sin (θ))

f (z) = f re iθ = u(r , θ) + iv (r , θ)

1
∇u = ur , uθ
r
(
ur = 1r vθ
Cauchy-Riemann = 1 (r > 0)
r uθ = −vr

Ecuación de Laplace. Funciones Armónicas. Notes
Teorema 2.3 (Ecuación de Laplace)

Si f (z) = u(x, y ) + iv (x, y ) es analı́tica en un dominio D, entonces u y v
satisfacen la ecuación de Laplace
∇2 u = uxx + uyy = 0
∇2 v = vxx + vyy = 0
en D y tienes segundas derivadas parciales continuas en D

Demostración: al derivar una función analı́tica es en sı́ misma analı́tica
ux = vy uy = −vx
uxx = vyx uyy = −vxy vyx = vxy
∴uxx + uyy = 0
Ecuación de Laplace. Funciones Armónicas. Notes
Funciones Armónicas: soluciones de la ecuación de Laplace que

tienen derivadas parciales de segundo orden continuas. Teorı́a del
Potencial.
Partes real e imaginaria de una función analı́tica son funciones
armónicas
Si dos funciones armónicas u y v satisfacen las ecuaciones de

Cauchy-Riemann en un dominio D, entonces son las partes real e
imaginaria de una función analı́tica f en D.
v es la función armónica conjugada de u en D

Ecuación de Laplace. Funciones Armónicas, ejemplo Notes
Comprobar que u = x 2 − y 2 − y es armónica en todo el plano complejo y

encontrar una función armónica conjugada v de u.
∇2 u = 0 ux = 2x uy = −2y − 1
vy = ux = 2x vx = −uy = 2y + 1
dh dh
v = 2xy + h(x) vx = 2y + =⇒ =1
dx dx
h(x) = x + k k ∈R
v = 2xy + x + k función armónica conjugada de u
f (z) = u + iv = x 2 − y 2 − y + i (2xy + x + k)
f (z) = z 2 + iz + ik
Números Complejos — Funciones Función Exponencial
Función Exponencial Notes
f (z) = e z f (z) = exp (z)

e z = e x+iy = e x e iy = e x [cos (y ) + i sin (y )]
u(x, y ) = e x cos (y ) v (x, y ) = e x sin (y )
ux = e x cos(y ) = vy = e x cos(y )
uy = −e x sin(y ) = −vx = −e x cos(y )
Si z = x =⇒ e z = e x [cos (0) + i sin (0)] = e x , ∀x ∈ R
z
Si z = iy =⇒ e = cos (y ) + i sin (y ) , ∀y ∈ R
z
=⇒ e : función entera, analı́tica ∀z ∈ C
(e z )′ = e z f ′ (z) = ux + ivx
f ′ (z) = ux (x, y ) + ivx (x, y ) =⇒ (e x cos (y ))x + i (e x sin (y ))x
= e x cos (y ) + ie x sin (y ) = e z
Función entera f (z): función que es analı́tica para todo z ∈ C

Función Exponencial. Propiedades Notes
e z1 +z2 = e z1 e z2
e z1 e z2 = e x1 [cos (y1 ) + i sin (y1 )] e x2 [cos (y2 ) + i sin (y2 )]
e z1 e z2 = e x1 +x2 [cos (y1 ) cos (y2 ) + i sin (y1 ) cos (y2 )
+i cos (y1 ) sin (y2 ) − sin (y1 ) sin (y2 )]
z1 z2 x1 +x2
e e =e [cos (y1 + y2 ) + i sin (y1 + y2 )] = e z1 +z2
Si z1 = x, z2 = iy =⇒ e z = e x e iy
Si z = iy =⇒ e iy = cos (y ) + i sin (y ) fórmula Euler
z = r [cos (θ) + i sin (θ)] =⇒ z = re iθ
π π
e 2πi = 1 e 2i = i e πi = −1 e − 2 i = −i e −πi = −1
q
e = |cos (y ) + i sin (y )| = cos2 (y ) + sin2 (y ) = 1 :
iy
|e z | = e x =⇒ arg (e z ) = y ± 2nπ (n = 0, 1., 2, . . .)

z x x
|e | = e ̸= 0 =⇒ e ̸= 0 ∀z
Función Exponencial. Propiedades Notes
Periodicidad de e z con periodo 2πi
e z+2πi = e z ∀z
Todos los valores que puede asumir w = e z ya han sido asumidos en la

banda horizontal de ancho 2π
y
x
−π < y ≤ π
−π
Región fundamental de e z

Función Exponencial, ejemplos Notes
e 1.4−0.6i = e 1.4 [cos (0.6) + i sin (0.6)]

= 4.055 (0.825 − 0.565i) Ecuación e z = 3 + 4i
= 3.347 − 2.290i |e z | = e 5 = 5 =⇒ x = ln (5) = 1.609

1.4−0.6i 1.4 e z = e x cos (y ) + ie x sin (y )
= e = 4.055
e x cos (y ) = 3 =⇒ cos (y ) = 0.6
e

Arg e 1.4−0.6i = − 0.6 e x sin (y ) = 4 =⇒ sin (y ) = 0.8
e 2+i = e 2 [cos (1) + i sin (1)] y = 0.927
z = 1.609 + 0.927i ± 2nπi
e 4−i = e 4 [cos (1) − i sin (1)]
h i (n = 0, 1, 2, . . .)
e 6 = e 2 e 4 cos2 (1) + sin2 (1)
= e (2+i)+(4−i) Infinidad de soluciones sobre la recta x =

1.609 a una distancia 2π de sus vecinos
Números Complejos — Funciones Funciones Trigonométricas, Hiperbólicas
Funciones Trigonométricas Notes
e ix = cos (x) + i sin (x) e −ix = cos (x) − i sin (x)

1 ix 1 ix
e + e −ix e − e −ix

cos (x) = sin (x) =
2 2i
1 iz 1 iz
e + e −iz e − e −iz

cos (z) = sin (z) =
2 2i
sin (z) cos (z)
tan (z) = cot (z) =
cos (z) sin (z)
1 1
sec (z) = csc (z) =
cos (z) sin (z)
[cos (z)]′ = − sin (z) [sin (z)]′ = cos (z) [tan (z)]′ = sec2 (z)
e iz = cos (z) + i sin (z) ∀z

Funciones Trigonométricas, ejemplo 1 Notes
cos (z) = cos (x) cosh (y ) − i sin (x) sinh (y )
1 i(x+iy ) −i(x+iy )

cos (z) = e +e
2 2 2 2
|cos (z)| = cos (x) + sinh (y )
1 −y
= e [cos (x) + i sin (x)] 2 2
2 cosh (y ) = 1 + sinh (y )
1 y 2 2 2
+ e [cos (x) − i sin (x)] |cos (z)| = cos (x) cosh (y )
2
2 2
1 y + sin (x) sinh (y )
−y
= e +e cos (x) h i
2 2 2
= cos (x) 1 + sinh (y )
1 y −y

− i e −e sin (x) 2
+ sin (x) sinh (y )
2
2
1 y 2 2
−y = cos (x) + sinh (y )
cosh(y ) = (e + e )
2
1 y −u

2 2 2
sinh(y ) = e −e |sin (z)| = sin (x) + sinh (y )
2
|cos (x)| ≤ 1 |sin (x)| ≤ 1 x ∈R
cos (2 + 3i) = cos (2) cosh (3) − i sin (2) sinh (3)
|cos (z)| → ∞, |sin (z)| → ∞ cuando y → ∞
= −4.190 − 9.109i
sin (z) = sin (x) cosh (y ) + i cos (x) sinh (y )
Resolver cos (z) = 5

1 iz
cos (z) = e + e −iz
2
1 1 2iz
e iz cos (z) = (e 2iz + 1) =⇒ 5e iz = e +1
2 2
e 2iz − 10e iz + 1 = 0 ecuación cuadrática en e iz
p
iz −y +ix −y ix 10 ± 100 − 4(1)(1)
e =e =e e =
2(1)
√
e −y e ix = 5 ± 25 − 1 ≈ 9.899 y 0.101
n o n o
ℜ e iz = e −y = {9.899, 0.101} ℑ e iz = e ix = +1
− y = ln (9.899) = 2.922 − y = ln (0.101) = −2.292
=⇒ y = ±2.292
x = ±2nπ (n = 0, 1, 2, . . .)
=⇒ z = ±2nπ ± 2.292i (n = 0, 1, 2, . . .)

Resolver cos (z) = 0, sin (z) = 0
|cos (z)|2 = cos2 (x) + sinh2 (y )

0 = cos2 (x) + sinh2 (y )
=⇒ cos (x) = 0, sinh(y ) = 0 =⇒ y = 0
1
z = ± (2n + 1)π (n = 0, 1, 2, ..)
2
|sin (z)|2 = sin2 (x) + sinh2 (y )

0 = sin2 (x) + sinh2 (y )
=⇒ sin (x) = 0, sinh(y ) = 0 =⇒ y = 0
z = ±2nπ (n = 0, 1, 2, ..)
Funciones Trigonométricas, fórmulas generales Notes
cos (z1 ± z2 ) = cos (z1 ) cos (z2 ) ∓ sin (z1 ) sin (z2 )
sin (z1 ± z2 ) = sin (z1 ) cos (z2 ) ± sin (z2 ) cos (z1 )
cos2 (z) + sin2 (z) = 1

Funciones Hiperbólicas Notes
1 z 1 z
e + e −z e − e −z

cosh(z) = sinh(z) =
2 2
[cosh(z)]′ = sinh(z) [sinh(z)]′ = cosh(z)
sinh(z) cosh(z)
tanh(z) = coth(z) =
cosh(z) sinh(z)
1 1
sech(z) = csch(z) =
cosh(z) sinh(z)
1 iz 1 iz
e + e −iz e − e −iz

cosh(iz) = sinh(iz) =
2 2
= cos (z) = i sin (z)
cos (iz) = cosh(z) sin (iz) = i sinh(z)
Números Complejos — Funciones Logaritmo. Potencia General.
Logaritmo Notes
Logaritmo natural de z = x + iy se denota por ln (z) y se define como la

inversa de la función exponencial
w = ln (z) para z ̸= 0
w
e =z z = 0 imposible e w ̸= 0∀w
w = u + iv , z = re iθ =⇒
e w = e u+iv = re iθ =⇒ |e w | = e u , arg(e w ) = v
|e w | = e u = r arg(e w ) = v = θ
u = ln (r ) ln (r ) log. natural real r = |z|
ln (z) = ln (r ) + iθ (r = |z| > 0, θ = arg(z))
arg(z): múltiplos enteros de 2π =⇒ ln(z) para z ̸= 0 posee una

infinidad de valores

Logaritmo Notes
valor principal ln (z): valor de ln (z) correspondiente al valor principal

Arg(z)
Ln(z) = ln (|z|) + i Arg(z) (z ̸= 0)
Unicidad de Arg(z) =⇒ Ln(z) posee un solo valor
ln (z) = Ln(z) ± 2nπi (n = 0, 1, 2, . . .)
Si z es un real positivo =⇒ Arg(z) = 0, por lo que Ln(z) idéntico a ln (x)

Si z es un real negativo =⇒ Arg(z) = π
Ln(z) = ln (|z|) + πi
Para r real positivo y e ln(r ) = r , entonces e ln(z) = z

dado que arg(e z ) = y ± 2nπ
ln (e z ) = z ± 2nπi n = 0, 1, 2, . . .
Logaritmo natural. Valor principal. Notes
ln (1) = 0, ±2πi, ±4πi, . . .

Ln(1) = 0
ln (4) = 1.386294 ± 2nπi
Ln(4) = 1.386294
ln (−1) = ±πi, ±3πi, ±5πi, . . .
Ln(−1) = πi
ln (−4) = 1.386294 ± (2n + 1)πi
Ln(−4) = 1.386294 + πi
π 3π 5π
ln (i) = i, − , i, . . . π
2 2 2 Ln(i) = i
π 2
ln (4i) = 1.386294 + i ± 2nπi π
2 Ln(4i) = 1.386294 + i
π 2
ln (−4i) = 1.386294 − i ± 2nπi π
2 Ln(−4i) = 1.386294 − i
2
ln (3 − 4i) = ln (5) + i arg(3 − 4i)
Ln(3 − 4i) = 1.609438 − 0.927295i
= 1.609438 − 0.924295i ± 2nπi

Logaritmo natural. Valor principal. Notes
ln (3 − 4i) = 1.609438 − 0.924295i ± 2nπi Ln(3 − 4i) = 1.609438 − 0.927295i
v
−0.9 + 6π
−0.9 + 4π
−0.9 + 2π
u
−0.9
1 2
−0.9 − 2π
ln (z1 z2 ) = ln (z1 ) + ln (z2 )

z1
ln = ln (z1 ) − ln (z2 )
z2
Logaritmo. Relaciones funcionales Notes
Sea z1 = z2 = e πi = −1
ln (z1 ) = ln (z2 ) = πi
ln (z1 z2 ) = ln (z1 ) + ln (z2 )
Si ln (z1 z2 ) = ln (1) = 2πi
Ln (z1 z2 ) = Ln(1) = 0

Logaritmo. Analiticidad Notes
Teorema 2.4 (Analiticidad del Logaritmo)

Para cada n = 0, ±1, ±2, . . ., ln (z) = Ln(z) ± 2nπi define una función
analı́tica, excepto en 0 y en el eje real negativo, y tiene la derivada
1
[ln (z)]′ = (z ̸= 0 o real negativo )
z
Demostración
1 2 y
ln x + y 2 + i tan−1
ln (z) = ln (r ) + i(θ + c) = +c c = 2nπ
2 x
x 1 1
ux = 2 = vy = 2
x + y2 1 + yx x
y 1 y
uy = 2 = −v x = − 2
− 2
x + y2 1 + yx x

Logaritmo. Analiticidad Notes
1 2 y
ln (z) = ln x + y 2 + i tan−1 +c c = 2nπ
2 x
f ′ (z) = ux + ivx
x 1 y
= 2 + i 2
− 2
x + y2 1+ y x

x
x − iy 1
= 2 =
x + y2 z
y
ln (z) = Ln(z) ± 2nπi
x
Rama: cada función
Corte rama: eje real negativo
Rama Principal: n = 0

Potencias Generales Notes
z c = e c ln(z) c : complejo, z ̸= 0
c c Ln(z)
z =e valor principal de z c
posee un solo valor y es idéntica a
Si c = n = 1, 2, . . . =⇒ z n
la n-ésima potencia usual de z
Si c = −1, −2, . . . =⇒ similar
1 √ 1
Si c = , n = 2, 3, . . . =⇒ z c = n z = e n ln(z)
n
Potencias Generales, ejemplo Notes
i i = e i ln(i) = exp (i ln (i))

h π i
= exp i i ± 2nπi
2
− π2 ∓2nπ
=e
π
n = 0 =⇒ e − 2 valor principal
(1 + i)2−i = exp [(2 − i) ln (1 + i)]
√

1
= exp (2 − i) ln 2 + πi ± 2nπi
4

π 1 1
= 2e 4 ±2nπ sin ln (2) + i cos ln (2)
2 2

Potencias Generales Notes
convencionalismo: si z = x =⇒ z c = e c ln(x)
Si z = e, entonces la base del logaritmo natural z c = e c se considera

como el único valor obtenido por e z = e x [cos (y ) + i sin (y )]
z c = e c ln(z) , para cualquier número complejo a
az = e z ln(a)
Integración Compleja
Outline Notes


6 Mapeo Conforme


Integración Compleja Integral de Lı́nea en el Plano Complejo
Integral de Lı́nea Notes
Integral Indefinida: función cuya derivada es igual a una función analı́tica

dada en una región
Integrales Complejas definidas = Integrales de Lı́nea (complejas)
Z
f (z) dz
C
f (z): integrando, C : curva de integración (C en el plano complejo,

trayectoria de integración)
z(t) = x(t) + iy (t) (a ≤ t ≤ b)
Asumimos: C curva suave =⇒ derivada continua, ̸= 0 ∀t
dz
ż(t) = = ẋ(t) + i ẏ (t)
dt
z(t + ∆t) − z(t)
ż(t) = lim
∆t→0 ∆t
Definición: Integral de Lı́nea Compleja Notes
f (z) definida en C , donde C : z(t) = x(t) + iy (t) para a ≤ t ≤ b

t0 (= a), t1 , t2 , . . . , tn−1 , tn (= b)
z0 , z1 , z2 , . . . , zn−1 , zn (= Z ) donde zj = z(tj )
ζ1 ∈ [z0 , z1 ] =⇒ ζ1 = z(t1 ), t0 ≤ t ≤ t1 ζ2 ∈ [z1 , z2 ]
n
X
Sn = f (ζm ) ∆zm
m=1
∆zm = zm − zm−1
|∆tm | = |tm − tm−1 | → 0 cuando n → ∞
=⇒ |∆zm | → 0
Z
lim Sn = f (z) dz
n→∞ C

Integral de Lı́nea Compleja. Propiedades Notes
Z I
f (z) dz f (z) dz C : trayectoria cerrada
C C
Suposición general: todas las trayectorias de integración son suaves por
secciones
Operación lineal (linealidad)
Z Z Z
[k1 f1 (z) + k2 f2 (z)] dz = k1 f1 (z) dz + k2 f2 (z) dz
C C C
Z Z Z z0
Revertir sentido f (z) dz = − f (z) dz
Z z0 Z Z Z
Descomponer la trayectoria f (z) dz = f (z) dz + f (z) dz
C C1 C2
Integral de Lı́nea Compleja: Existencia Notes
Suposiciones: f (z) es continua y C es suave por secciones =⇒ existencia de

Z
f (z) dz
C
f (z) = u(x, y ) + iv (x, y )

ζm = ξm + iηm ∆zm = ∆xm + i∆ym
Xn ∞
X
Sn = f (ζm ) ∆zm = (u + iv ) (∆xm + i∆ym )
m=1 m=1
u = u (ξm , ηm )
v = v (ξm , ηm )
n n
" n n
#
X X X X
Sn = u∆xm − v ∆ym + i u∆ym + v ∆xm
m=1 m=1 m=1 m=1
Z
lim Sn = f (z) dz
n→∞
ZC Z Z Z
= u dx − v dy + i u dy + v dx
C C C C

Método Integración 1: Integración indefinida, substitución Notes

de lı́mites
Z b
f (x) dx = F (b) − F (a) F ′ (x) = f (x)
a
Extiende solamente a funciones analı́ticas complejas

Dominio D simplemente conexo: toda trayectoria simple cerrada
contiene sólo puntos de D (no auto-intersecciones)
Teorema 3.1 (Integración indefinida de funciones Analı́ticas)
Sea f (z) analı́tica en un dominio D simplemente conexo. Entonces, en el dominio

D existe una integral indefinida de f (z); es decir, una función analı́tica F (z) tal
que F ′ (z) = f (z) en D, y para todas las trayectorias en D que unen dos puntos
z0 y z1 en D se tiene Z z1
f (z) dz = F (z1 ) − F (z0 )
z0
Método Integración 1: Integración indefinida, substitución Notes

de lı́mites
Simplemente conexo es esencial: si f (z) es entera, podemos

considerar D = C (que es simplemente conexo)
Ejemplos:
1 3 1+i
Z 1+i
2 1 2 2
1 z dz = z = (1 + i)3 = − + i
0 3 0 3 3 3
Z πi
2 cos (z) dz = sin (z)|πi
−πi = 2 sin (πi) = 2i sinh(π) = 23.097i
−πi
Z 8−2πi
z 8−3πi
z
3πi πi

3 e 2 dz = 2e 2 = 2 e 4− 2 − e 4+ 2 = 0
8+πi 8+πi
Z i
dz iπ iπ
4 = Ln(i) − Ln(−i) = − − = iπ D : plano complejo
−i z 2 2
sin el origen 0 + 0i y el eje real negativo. D es simplemente conexo.

Método Integración 2: Uso de una representación de la Notes

trayectoria
Teorema 3.2 (Integración mediante el empleo de la trayectoria)
Sea C una trayectoria suave por secciones, representada por z = z(t),

donde a ≤ t ≤ b. Sea f (z) una función continua sobre C . Entonces
Z Z b
dz
f (z) dz = f [z(t)] ż(t) dt ż =
C a dt
Demostración:
Z Z Z Z Z
f (z) dz = u dx − v dy + i u dy + v dx
C C C C C
z = x + iy =⇒ ż = ẋ + i ẏ dx = ẋdt, dy = ẏ dt
Z b Z b Z
f [z(t)] ż(t) dt = (u + iv ) (ẋ + i ẏ ) dt = [u dx − v dy + i(u dy + v dx)] dt
a
Za Z C
= (u dx − v dy ) dt + i (u dy + v dx) dt
C C
Método Integración 2: Uso de una representación de la Notes

trayectoria
Pasos para aplicar el teorema ??
A Representar la trayectoria C en la forma z(t), a ≤ t ≤ b
dz
B Calcular la derivada ż(t) =
dt
C Sustituir z(t) por todo z en f (z) =⇒ x = x(t), y = y (t)
D Integrar f [z(t)] ż(t) sobre t desde a hasta b

1
Método Integración 2: integral z alrededor de |z| = 1 Notes
I
dz
= 2πi C : circunferencia unitaria, sentido antihorario
C z
z(t) = cos (t) + i sin (t) = e it 0 ≤ t ≤ 2π

Antihorario : incremento de t desde 0 hasta 2π
ż(t) = ie it
1
f [z(t)] = = e −it
z(t)
Z Z b
f (z) dz = f [z(t)] ż(t) dt
C a
I Z 2π Z 2π
dz −it it
= e ie dt = i dt = 2πi
C z 0 0
1
Integral z alrededor de |z| = 1 Notes
Conexidad simple en el teorema ?? es esencial
Z b
f (z) dz = F (z1 ) − F (z0 )
a
Z z0
Si z1 = z0 =⇒ f (z) dz = F (z0 ) − F (z0 ) = 0
z0
I
dz
= 2πi
C z
1
z no es analı́tica en z = 0
Cualquier dominio conexo simple que contiene a la circunferencia
unitaria, debe contener z = 0 =⇒ teorema ?? no aplica!
1 1 3
es analı́tica sobre la corona < z < , pero este dominio no es
z 2 2
simplemente conexo
1
Integral zm con Potencia entera m Notes
y
C
Sea f (z) = (z − z0 )m , m es un entero y z0 es una ρ
constante. Integrar en sentido antihorario alrededor z0
de la circunferencia de radio ρ con centro z0
z(t) = z0 + ρ [cos (t) + i sin (t)] = z0 + ρe it 0 ≤ t ≤ 2π

m m imt it
(z − z0 ) = ρ e dz = iρe dt
I Z 2π Z 2π
(z − z0 )m dz = ρm e imt iρe it dt = iρm+1 e i(m+1)t dt
C 0 0
Z 2π Z 2π
m+1
= iρ cos ((m + 1)t) dt + i sin ((m + 1)t) dt
0 0
(
2πi si m = −1
I
(z − z0 )m dz =
C 0 si m ̸= −1 y entero
Dependencia con respecto a la trayectoria Notes
Una integral de lı́nea compleja depende no sólo de los puntos terminales de la

trayectoria, sino en general también de la trayectoria misma
y
Ejemplo: Integral de una función no analı́tica. 2 z = 1 + 2i
f (z) = ℜ(z) = x
C∗ C2
a Integrar f (z) desde 0 hasta 1 a lo largo de C ∗
C1
b Integrar f (z) a lo largo de C , que consta de C1 y C2 x
1
a C ∗ : z(t) = t + 2it 0 ≤ t ≤ 1 =⇒ ż(t) = 1 + 2i, f [z(t)] = x(t) = t

Z Z 1
1 1
ℜ(z) dz = t(1 + 2i) dt = (1 + 2i) = + i
C∗ 0 2 2
b C1 : z(t) = t (0 ≤ t ≤ 1) =⇒ ż(t) = 1, f [z(t)] = x(t) = t

C2 : z(t) = 1 + it (0 ≤ t ≤ 2) =⇒ ż(t) = i, f [z(t)] = x(t) = 1
Z Z Z Z 1 Z 2
1
ℜ(z) dz = ℜ(z) dz + ℜ(z) dz = t dt + 1 · i dt = + 2i
C C1 C2 0 0 2

Cotas para las Integrales. Desigualdad ML Notes

Z

L longitud de C
f (z) dz ≤ ML constante tal que |f (z)| ≤ M

C
M
en todos los puntos de C
Demostración: n
X X n n
X
|Sn | = f (ζm ) ∆zm ≤ |f (ζm )| |∆zm | ≤ M |∆zm |

m=1 m=1 m=1
n
X
|∆zm | : longitud cuerda entre zm−1 , zm =⇒ |∆zm | = L∗
m=1
L∗ → L cuando n → ∞
Z

∴ lim |Sn | = f (z) dz ≤ ML

n→∞ c
Estimación de una integral Notes

y
1 z =1+i
Encontrar una
Z cota superior del valor absoluto de
la integral z 2 dz, C es el segmento de la recta C
C
de 0 a 1 + i x
1
Z

f (z) dz ≤ ML

C
p √
L = 12 + 1 2 = 2 |f (z)| = |z 2 | ≤ 2
2 √
z dz ≤ 2 2 ≈ 2.828
Valor absoluto de la integral es:

2 2 2√

− + i =
3 3 3 2 ≈ 0.9428

Integración Compleja Teorema de la Integral de Cauchy
Teorema Integral de Cauchy Notes
Integral Lı́nea de f (z) sobre C : puntos finales y trayectoria seleccionada

Condiciones sobre las que esto no ocurre son importantes: si f (z) es
analı́tica en el dominio D, y D es simplemente conexo
=⇒ la integral no dependerá de la trayectoria seleccionada
Trayectoria simple cerrada: trayectoria cerrada sin auto-intersecciones
Dominio simplemente conexo D: toda trayectoria simple cerrada en D

contiene sólo puntos en D
Dominio simplemente conexo D
Interior disco circular, elipse o cuadrado

Interior de una curva cerrada simple
Anillo circular o corona (doblemente conexo)
Dominio acotado: (D está completamente contenido en algún
circulo alrededor del origen) es p−veces conexo si su frontera consta
de p conjuntos cerrados conexos sin puntos en común. E.g., corona
p=2

Teorema 3.3 (Teorema Integral de Cauchy)

Si f (z) es analı́tica en un dominio simplemente conexo D, entonces para
toda trayectoria simple cerrada C en D,
I
f (z) dz = 0
C
Teorema Integral de Cauchy, ejemplos Notes
Funciones Enteras: analı́ticas ∀z ∈ C

I I I
e z dz = 0 cos (z) dz = 0 z n dz = 0 (n = 0, 1, 2, . . .)
C C C
Puntos fuera del contorno. f (x) no analı́tica

I I
dz
sec(z) dz = 0 2
=0 C : circunferencia unitaria
C C z +4
1
sec(z) = cos(z)
: no analı́tica en z = ± π2 , ± 3π
2
, . . ., fuera de C
1
z 2 +4
: no analı́tica en z = ±2i, fuera de C
Función no analı́tica
I Z 2π
z dz = e −it ie it dt = 2πi C : z(t) = e it circunferencia unitaria
C 0
no contradice el teorema de Cauchy, f (z) = z es no analı́tica

Teorema Integral de Cauchy, ejemplos Notes
Analiticidad: suficiente, no necesaria

(
si m = −1
I
I m 2πi
dz circunferencia (z − z0 ) dz =
=0 C : 0 ̸ −1
si m =
c z2 unitaria C
1
Este resultado no es consecuencia del teorema de Cauchy, z2
no es analı́tica en z = 0
Simplemente conexo: esencial

I
dz
= 2πi C : circunferencia unitaria, sentido antihorario
C z
1 3 1
C contiene la corona 2
< |z| < 2
donde f (z) = z
es analı́tica, pero este dominio no es
simplemente conexo
∴ la condición de que el dominio D sea simplemente conexo es esencial!
Teorema Integral de Cauchy. Demostración Notes
I
f (z) dz = 0
C
Suposición: f ′ (z) es continua
I I I
f (z) dz = (u dx − v dy ) + i (u dy + v dx)
C C C
′
f (z) : analı́tica en D =⇒ f (z) existe en D
′ tienen derivadas parciales
f (z) = ux + ivx f ′ (z) = −iuy + vy =⇒ u, v
continuas en D
I ZZ
∂v ∂u teorema de Green
(u dx − v dy ) = − − dx dy
C R ∂x ∂y R: región acotada por C
ux = vy uy = −vx Cauchy-Riemann
I ZZ
(u dx − v dy ) = (0) dx dy = 0
C R

Independencia de la trayectoria Notes
Teorema 3.4 (Independencia de la trayectoria)

Si f (z) es analı́tica en un dominio simplemente conexo D, entonces la
integral de f (z) es independiente de la trayectoria en D.
Demostración
Z Z Z Z
f dz + f dz = 0 =⇒ f dz = − f dz
C1 C2∗ C1 C2∗
I I
f (z) dz = f (z) dz
C1 C2
Principio de deformación de la trayectoria Notes
Deformación siempre contiene puntos en los

que f (z) es analı́tica =⇒ valor de la
integral permanecerá igual
Ejemplo: (
si m = −1
I
m 2πi
(z − z0 ) dz =
C 0 ̸ −1, m entero
si m =
Integración sentido antihorario alrededor de cualquier trayectoria cerrada conexa

que contenga z0 en su interior
E.g., C : |z − z0 | = ρ

Existencia de la Integral Indefinida Notes
Z z1
f (z) dz = F (z1 ) − F (z0 ) F ′ (z) = f (z)
z0
Teorema 3.5 (Existencia de una integral indefinida)

Si f (z) es analı́tica en un dominio simplemente conexo D, entonces existe
una integral indefinida F (z) de f (z) en D — F ′ (z) = f (z) — que es
analı́tica en D, y para todas las trayectorias en D que unen dos puntos
z0 , z1 ∈ D, la integral de f (z) desde z0 hasta z1 puede evaluarse por
Z z1
f (z) dz = F (z1 ) − F (z0 ) F ′ (z) = f (z)
z0
Existencia de la Integral Indefinida. Demostración Notes
Cumple condiciones Teorema Integral Cauchy: f (z) es analı́tica en D simplemente conexo

R
C f (z) dz desde z0 ∈ D hasta cualquier z ∈ D es independiente de la trayectoria
Mantenemos z0 fijo, F (z):
Z z
F (z) = f (z ∗ ) dz ∗ F (z) analı́tica en D?, F ′ (z) = f (z)?
z0
F (z + ∆z) − F (z) 1
Z z+∆z Z z
1
Z z+∆z
= f (z ∗ ) dz ∗ − f (z ∗ ) dz ∗ = f (z ∗ ) dz ∗ [A]
∆z ∆z z0 z0 ∆z z
Z z+∆z Z z+∆z
f (z) dz ∗ = f (z) dz ∗ = f (z)∆z
z z
Z z+∆z
1
=⇒ f (z) = f (z) dz ∗ [B]
∆z z
[A] − [B] → 0 cuando ∆z → 0 (?)
Z z+∆z
F (z + ∆z) − F (z) 1
− f (z) = [f (z ∗ ) − f (z)] dz ∗
∆z ∆z z

Existencia de la Integral Indefinida. Demostración Notes
Z z+∆z
F (z + ∆z) − F (z) 1
− f (z) = [f (z ∗ ) − f (z)] dz ∗
∆z ∆z z
f (z) es analı́tica =⇒ continua. ∀ϵ > 0, ∃δ > 0
si |z ∗ − z| < δ =⇒ |f (z ∗ ) − f (z)| < ϵ
Z

Si |∆z| < δ, f (z) dz ≤ ML (L : longitud C , M : |f (z)| ≤ M)
C
Z z+∆z
F (z + ∆z) − F (z)
= 1 ∗ ∗ 1

− f (z) [f (z ) − f (z)] dz ≤ |∆z| ϵ |∆z| = ϵ
∆z |∆z| z

F (z + ∆z) − F (z)
− f (z)<ϵ
∆z
F (z + ∆z) − F (z)
F ′ (z) = lim = f (z)
∆z→0 ∆z
Como z ∈ D =⇒ F (z) es analı́ticaZen D y es una integral indefinida o

antiderivada de f (z) en D: F (z) = f (z) dz
Teorema de Cauchy para dominios múltiplemente conexos Notes
Si D dominio doblemente conexo

f (z) analı́tica con dominio D ∗ , contiene a D
I I
f (z) dz = f (z) dz
C1 C2
sentido antihorario
I I
f dz − f dz = 0
C1 C2

Integración Compleja Fórmula de la Integral de Cauchy
Fórmula de la Integral de Cauchy Notes
Teorema 3.6 (Fórmula Integral de Cauchy)

Sea f (z) analı́tica en un dominio simplemente conexo D. Entonces para cualquier
punto z0 ∈ D y cualquier trayectoria simple cerrada C en D que contenga a z0 ,
I
f (z)
dz = 2πif (z0 )
C z − z0
la integración en sentido antihorario. Alternativamente, f (z0 ) representada por

una integral de contorno:
I
1 f (z)
f (z0 ) = dz
2πi C z − z0
Fórmula de la Integral de Cauchy. Demostración Notes
I
f (z)
dz = 2πif (z0 )
C z − z0
f (z) = f (z0 ) + [f (z) − f (z0 )]
I I I
f (z) dz f (z) − f (z0 )
dz = f (z0 ) + dz
C z − z0 C z − z0 C z − z0
I I
dz f (z) − f (z0 )
f (z0 ) = f (z0 )2πi dz → 0 (?)
C z − z0 C z − z0
I I
f (z) dz = f (z) dz f (z) analı́tica ∀D ∗ que contiene D y sus bordes
C1 C2
Reemplazamos C por un pequeño circulo K de radio ρ
∀ϵ > 0, ∃δ > 0 tal que ∀z ∈ |z − z0 | < δ =⇒ |f (z) − f (z0 )| < ϵ

f (z) − f (z0 )
Si ρ <δ =⇒ < ϵ
z − z0 ρ
I
f (z) − f (z0 ) ϵ
dz < 2πρ = 2πϵ desigualdad ML (ϵ > 0)

K z − z0 ρ

Fórmula de la Integral de Cauchy, ejemplos Notes
I
f (z)
dz = 2πif (z0 )
C z − z0
ez
I
dz = 2πie z = 2πie 2 ≈ 46.4268i
1

C z −2 z=2
z0 = 2 dentro de C
I 3 I 1 3
2z − 3

z −6 1 3 π
2 dz = 1
= 2πi z −3 = − 6πi
C 2z − i C z − 2i 2 z= 2i 8
1
z0 = i dentro de C
2
z2 + 1
Integrar g (z) = en sentido antihorario alrede-
z2 − 1
dor de cada una de las circunferencias, centros en
z = 1, z = 12 , z = −1 + 12 i, z = i
I
f (z)
dz = 2πif (z0 ) si f (z) analı́tica en D simplemente conexo, z0 ∈ D y C encierra z0
C z − z0
g (z) no es analı́tica en −1 y 1
(a) |z − 1| = 1 contiene z0 = 1
z 2 +1
z2 + 1 1
g (z) = = z+1
z +1 z −1 z −1
I 2 I z 2 +1 2
z +1 z+1 z +1
= = 2πif (1) = 2πi = 2πi
C z −1
2
C z −1 z + 1 z=1

1
(b) z − = 1 contiene z0 = 1 =⇒ mismo resultado 2πi
2

z2 + 1
Integrar g (z) = en sentido antihorario alrede-
z2 − 1
dor de cada una de las circunferencias, centros en
z = 1, z = 12 , z = −1 + 12 i, z = i
g (z) no es analı́tica en −1 y 1

1
(c) z − −1 + i = 1 contiene z0 = −1
2
z 2 +1
z2 + 1 1
g (z) = = z−1
z −1 z +1 z +1
I 2 I z 2 +1 2
z +1 z−1 z +1
= = 2πif (−1) = 2πi = −2πi
C z −1
2 z − 1 z=−1
C z +1
I
(d) |z − i| = 1 =⇒ g (z) dz = 0 (?)
C
tan (z)
Fracciones parciales: integrar g (z) = alrededor de la circunferencia
z2 − 1
3
C : |z| = 2 en sentido antihorario
tan (z) no es analı́tica en ± π2 , ± 3π
2 , . . .. Todos estos puntos están afuera del
contorno C
1 1
2
= no es analı́tica en 1 y −1
z −1 (z − 1)(z + 1)

1 1 1 1
= −
z2 − 1 2 z −1 z +1
I I I
tan (z) 1 tan (z) tan (z)
2
dz = dz − dz
C z −1 2 C z −1 C z +1
2πi
= [tan (1) − tan (−1)] = 2πi tan (1) ≈ 9.785i
2

Fórmula de la Integral de Cauchy. Dominio múltiplemente Notes

conexos
Si f (z) es analı́tica sobre C1 y C2 y en el dominio en forma de anillo

acotado por C1 y C2 , y z0 ∈ D
I I
1 f (z) 1 f (z)
f (z0 ) = dz + dz
2πi C1 z − z0 2πi C2 z − z0
integral exterior sobre C1 : sentido

antihorario
integral interior sobre C2 : sentido horario
Integración Compleja Derivadas de Funciones Analı́ticas
Derivadas de Funciones Analı́ticas Notes
Teorema 3.7 (Derivadas de una función analı́tica)

Si f (z) es una función analı́tica en un dominio D, entonces tiene derivadas de
todos los órdenes en D, las cuales también son funciones analı́ticas en D. Los
valores de estas derivadas en un punto z0 están dados por:
I
1 f (z)
f ′ (z0 ) = dz
2πi C (z − z0 )2
I
′′ 2! f (z)
f (z0 ) = dz
2πi C (z − z0 )3
I
n! f (z)
f (n) (z0 ) = dz
2πi C (z − z0 )n+1
n = 1, 2, 3, . . .
C : trayectoria simple cerrada que contiene a z0 y cuyo interior pertenece por
completo a D
Sentido antihorario de integración alrededor de C

Derivadas de Funciones Analı́ticas. Demostración Notes

1 f (z) f (z0 + ∆z) − f (z0 ) 1 f (z)
I I
′ ′
f (z0 ) = dz f (z) = lim f (z0 ) = dz
2πi C (z − z0 )2 ∆z→0 ∆z 2πi C z − z0
"I #
f (z0 + ∆z) − f (z0 ) 1 f (z) f (z)
I
= dz − dz
∆z 2πi∆z C z − (z0 + ∆z) C z − z0
1 f (z)
I
= dz ∆z → 0 ?
(z − z0 − ∆z)(z − z0 )
2πi C
f (z) f (z)
f (z)∆z
I I I
dz − dz = dz [A]
2
C (z − z0 − ∆z)(z − z0 ) C (z − z0 ) C (z − z0 − ∆z)(z − z0 )2
[A] → 0 cuando ∆z → 0 (?)
f (z) es analı́tica en C =⇒ |f (z)| ≤ K . Sea d la distancia mı́nima de z0 a C
2 2 1 1
∀z ∈ C =⇒ |z − z0 | ≥ d =⇒ ≤
|z − z0 |2 d2
d ≤ |z − z0 | = |z − z0 − ∆z + ∆z| ≤ |z − z0 − ∆z| + |∆z|
d d
Si |∆z| ≤ =⇒ − |∆z| ≥ −
2 2
1 1 2
d ≤ d − |∆z| ≤ |z − z0 − ∆z| =⇒ ≤
2 |z − z0 − ∆z| d
d
Sea L la longitud de C . Si |∆z| ≤ , por la desigualdad ML
2
I
f (z)∆z 2 1
dz ≤ KL|∆z| →0

C (z − z0 − ∆z)(z − z0 )2 d d2

Derivadas de Funciones Analı́ticas. Ejemplos Notes
I I
1 f (z) 2! f (z)
f ′ (z0 ) = dz f ′′ (z0 ) = dz
2πi C (z − z0 )2 2πi C (z − z0 )3
1 Para cualquier contorno que contiene z0 = πi (sentido antihorario)

I
cos (z)
dz = 2πi [cos (z)]′ z=πi = −2πi sin (πi) = 2π sinh(π)

C (z − πi)2
2 Para cualquier contorno que contiene al punto z0 = −i (sentido antihorario)
z 4 − 3z 2 + 6
I
4 2
′′
= πi 12z 2 − 6 z=−i = −18πi

dz = πi z − 3z + 6
(z + i)3

C z=−i
3 Para cualquier contorno para el que 1 este dentro y ±2i este fuera (sentido antihorario)
′
ez ez e z (z 2 + 4) − e z 2z
I
6eπ
dz = 2πi = 2πi = i
C (z − 1)2 (z 2 + 4) z2 + 4
z=1 (z 2 + 4)2
z=1 25

Desigualdad de Cauchy Notes
I
(n) n! f (z)
f (z0 ) = dz n = 1, 2, 3, . . .
2πi C (z − z0 )n+1
C : circunferencia de radio r y centro z0 . Aplicamos la desigualdad ML,
con |f (z)| ≤ M sobre C
I

(n)
n! f (z) n! 1
f (z0 ) = dz ≤ M n+1 2πr

2π C (z − z0 )
n+1 2π r
n!M
(n)
f (z0 ) ≤ n Desigualdad de Cauchy

r
Teorema de Liouville Notes
Teorema 3.8 (Teorema de Liouville)

Si una función entera f (z) está acotada en valor absoluto para toda
z ∈ C, entonces f (z) debe ser una constante.
Demostración
Hipótesis: |f (z)| está acotada, |f (z)| < K ∀z
f (z0 ) ≤ K ∀r (desigualdad Cauchy)
′
r
f (z) es entera: r → ∞ =⇒ f ′ (z0 ) = 0
z0 es arbitrario, entonces f ′ (z0 ) = 0 ∀z ∈ C y f (z) es una constante

Teorema de Morera Notes
Teorema 3.9 (Teorema de Morera (Inverso del teorema de la Integral de

Cauchy))
Si
I f (z) es continua en un dominio simplemente conexo D y si
f (z) dz = 0 para toda trayectoria cerrada en D, entonces f (z) es
C
analı́tica en D.
Series Potencia — Taylor
Outline Notes


6 Mapeo Conforme


Series Potencia — Taylor Sucesiones, Series y Pruebas de Convergencia
Sucesiones Notes
Sucesión infinita
z1 , z2 , z3 , . . . , zn , zn+1 {z1 , z2 , z3 , . . . , zn , zn+1 } {zn }
Convergencia lim z = c zn → c
n
n→∞
∀ϵ > 0, ∃N tal que |zn − c| < ϵ ∀n > N
y
ϵ
x
c c −ϵ c c +ϵ
Sucesión divergente: Sucesión que no converge
Sucesiones, ejemplos Notes
in

1 i 1
1 = i, − , − , , . . . es convergente con lı́mite 0
n 2 3 4
n
2 {i } = {i, −1, −i, 1, . . .} es divergente
3 zn = (1 + i)n es divergente

1 4
4 {zn } , zn = xn + iyn = 1 − + i 2 +
n2 n
y
3 8 10i 15 6
6i, + 4i, + , + 3i, . . .
4 9 3 16
4
lim zn = c = 1 + 2i
n→∞
lim xn = 1 = ℜ{c} 2
c
n→∞
lim yn = 2 = ℑ{c} x
n→∞
1

Sucesiones Notes
Teorema 4.1 (Sucesiones de las partes reales e imaginarias)

Una sucesión z1 , z2 , . . . , zn , . . . de números complejos zn = xn + iyn
(n = 1, 2, 3, . . .) converge a c = a + ib si y sólo si la sucesión de las partes
reales x1 , x2 , . . . , xn , . . . converge a a y la sucesión de las partes imaginarias
y1 , y2 , . . . , yn , . . . converge a b
Demostración: zn → c = a+ib implica la convergen- b+ϵ
y
cia xn → a y yn → b porque si |zn − c| < ϵ, entonces

zn está dentro de la circunferencia de radio ϵ, centro b c
c
|xn − a| < ϵ |yn − b| < ϵ b−ϵ
x
Recı́procamente: si xn → a y yn → b cuando n → ∞, y
a−ϵ a a+ϵ
entonces para un ϵ > 0 es posible elegir N tan grande

ϵ
b+
que, para toda n > N 2
b c
ϵ ϵ
|xn − a| < |yn − n| < b− ϵ
2
2 2
x
a− ϵ a a+ ϵ
2 2
Series Notes
Sucesión z1 , z2 , . . . , zm , . . ., es posible formar la sucesión de sumas

s 1 = z1
s 2 = z1 + z2
...
s n = z1 + z2 + . . . + zn
...
∞
X
Sucesión sumas parciales de la serie infinita, serie: zm = z1 + z2 + . . .
m=1
serie convergente: lim sn = s ∞
n→∞
∞
X
X Residuo: Rn = zm
suma o valor de la serie s = zm m=n+1
m=1 Rn = zn+1 + zn+2 + . . .
serie divergente: serie que no
s = sn + Rn =⇒ Rn = s − sn
converge

Series Notes
Teorema 4.2 (Partes reales e imaginarias)

∞
X
Una serie zm con zm = xm + iym converge con sumas s = u + iv si y
m=1
sólo si x1 + x2 + . . . converge a la suma u, y v1 + v2 + . . . converge a la
suma v .
Pruebas para la convergencia y divergencia Notes
Teorema 4.3 (Divergencia)

∞
X
Si una serie zm = z1 + z2 + . . . converge, entonces lim zm = 0. Por
m→∞
m=1
lo tanto, si lim zm ̸= 0 o no existe el lı́mite, entonces la serie diverge.
m→∞

Demostrar convergencia aún cuando la suma de la serie es desconocida

Cauchy: serie converge si y solo si sus sumas parciales eventualmente se
acercan
Teorema 4.4 (Principio de convergencia de Cauchy para series)

∞
X
Una serie zm = z1 + z2 + . . . converge si y sólo si para todo ϵ > 0 (sin
m=1
importar cuán pequeño sea), es posible encontrar un N (que en general depende
de ϵ) tal que
|zn+1 + zn+2 + . . . + zn+p | < ϵ ∀n > N ∧ p = 1, 2, 3, . . .

n
X
sn = zi sn converge =⇒ ∀ϵ > 0, ∃N tal que ∀n, m > N (m > n)
i=0
|sm − sn | < ϵ
p = m − n =⇒ |sn+p − sn | = |zn+1 + zn+2 + . . . + zn+p | < ϵ
∞
X
Convergencia absoluta: |zm | = |z1 | + |z2 | + . . . es convergente
m=1
∞
X ∞
X
Condicionalmente convergente: si zm converge, pero |zm |
m=1 m=1
diverge

Teorema 4.5 (Prueba de comparación)

Si se tiene una serie z1 + z2 + . . . y es posible encontrar una serie
convergente b1 + b2 + . . . con términos reales no negativos tales que
|zn | ≤ bn para n = 1, 2, 3, . . .
entonces la serie dada converge, incluso absolutamente
Demostración: ∀ϵ > 0, ∃N tal que

bn+1 + . . . + bn+p < ϵ para todo n > N ∧ p = 1, 2, . . .
|z1 | ≤ b1 , |z2 | ≤ b2 , . . .
|zn+1 | + . . . + |zn+p | ≤ bn+1 + . . . + bn+p < ϵ
|z1 | + |z2 | + . . . converge =⇒ z1 + z2 + . . . es absolutamente convergente
Teorema 4.6 (Serie Geométrica)

∞
(
1
X si |q| < 1
qm = 1 + q + q2 + q3 + . . . = 1−q
m=0
diverge si |q| ≥ 1
Demostración
Si |q| ≥ 1 =⇒ lim |q m | ≥ 1, diverge
m→∞
Sea |q| < 1 sn = 1 + q + q 2 + . . . + q n
qsn = q + q 2 + q 3 + . . . + q n + q n+1
sn − qsn = 1 − q n+1
1 − q n+1 1 q n+1
sn = = −
1−q 1−q 1−q
1
n →∞ =⇒ serie convergente con suma s =
1−q

Teorema 4.7 (Prueba de la razón)

Si una serie z1 + z2 + z3 + . . . con zn ̸= 0 (n = 1, 2, . . .) tiene la propiedad de que
para todo n mayor que alguna N

zn+1
zn ≤ q < 1 n>N

(en donde q < 1 es fija), entonces esta serie converge absolutamente. Si para
toda n > N
zn+1
zn ≥ 1 n>N

la serie diverge
|zn+1 | ≥ |zn | para n > N, diverge

|zn+1 | ≤ |zn |q para n > N =⇒
|zN+2 | ≤ |zN+1 | q, |zN+3 | ≤ |zN+2 | q ≤ |zN+1 | q 2 , . . . |zN+p | ≤ |zN+1 | q p−1
1
|zN+1 | + |zN+2 | + |zN+3 | + . . . ≤ |zN+1 | (1 + q + q 2 + . . .) ≤ |zN+1 |
1−q
Teorema 4.8 (Prueba de la razón)

Si una serie z1 + z2 + . . . con zn ̸= 0 (n = 1, 2, . . .) es tal que
zn+1
lim = L, entonces
n→∞ zn
a Si L < 1, la serie converge absolutamente
b Si L > 1, la serie diverge
c Si L = 1, no concluyente

zn+1
a kn = , L = 1 − b < 1. kn → 1 − b, e.g., kn ≤ q = 1 − 1 b < 1 ∀n > N
2
zn
1
b L = 1 + c > 1, kn ≥ 1 + c > 1 ∀n > N ∗ (suficientemente grande)
2
=⇒ divergencia

1 1
c Serie armónica 1 + + + ...
2 3
zn+1 n
= =⇒ L = 1 y diverge
zn n+1
∞
X 1 1 1 1 1 zn+1 n2
2
=1+ + + + ... = =⇒ L = 1, converge
n=0
n 4 9 16 25 zn (n + 1)2
Z n
1 1 dx 1
sn = 1 + + . . . + 2 ≤ 1 + 2
=2−
4 n 1 x n
Ejemplo Prueba de la razón. Determinara si la serie converge.

∞
X (100 + 75i)n 1
= 1 + (100 + 75i) + (100 + 75i)2 + . . .
n! 2!
n=0
|100+75i|n+1
zn+1 (n+1)! |100 + 75i| 125
zn =

|100+75i|n
= = → L = 0 converge
n+1 n+1
n!
¿Converge o diverge?
∞
X i 1 1 i 1 i 1
3n
+ 3n+1 = i + + + + + + ...
2 2 2 8 16 64 128
n=0

zn+1 1 1 1 1
Razones = , , , , . . . =⇒ converge
zn 2 4 2 4

Teorema 4.9 (Prueba de la raı́z)

Si una serie z1 + z2 + . . . es tal que para toda n mayor que alguna N
pn
|zn | ≤ q < 1 n>N
(en donde q < 1 es fija), entonces esta serie converge absolutamente. Si

para una infinidad de n se tiene que
p
n
|zn | ≥ 1
entonces la serie diverge
Teorema 4.10 (Prueba de la raı́z)

p
n
Si una serie z1 + z2 + . . . es tal que lim |zn | = L, entonces
n→∞
a Si L < 1, la serie converge absolutamente
b Si L > 1, la serie diverge
c Si L = 1, no concluyente
Ejemplo:
∞
X (−1)n 1 1 1
2n + 3
(4 − i)n = − (4 − i) + (4 − i)2 + . . .
n=0
2 4 7 19
r √ √
n |(4 − i) |
n |4 − i| 17 17
= √ = √ → L = > 1 diverge
22n + 3 n n
4 +3 n n
4 +3 4

Series Potencia — Taylor Series de Potencias
Series de Potencias Notes
Series más importantes en el análisis complejo:

Sus sumas son funciones analı́ticas
Toda función analı́tica puede ser representada por una serie de

potencias
Una serie de potencias en potencias de (z − z0 ):

∞
X
an (z − z0 )n = a0 + a1 (z − z0 ) + a2 (z − z0 )2 + a3 (z − z0 )3 + . . .
n=0
z variable compleja
coeficientes: a0 , a1 , . . . constantes complejas (o reales)
centro z0 constante compleja (o real)
si z0 = 0
∞
X
an z n = a0 + a1 z + a2 z 2 + a3 z 3 + . . .
n=0

Comportamiento de Convergencia
Serie con términos variables: converge para algún z y diverge para
otros
Serie de Potencias: converge para a) un disco con centro z0 , b) todo
el plano z, c) solamente en z0
Ejemplo 1. Convergencia en un disco. Serie Geométrica

∞
X
La serie geométrica z n = 1 + z + z 2 + z 3 + . . . converge absolutamente si |z| < 1 y
n=0
diverge si |z| ≥ 1
Ejemplo 2. Convergencia para todo z

∞
X zn z2 z3
La serie de potencias =1+z + + + . . . es absolutamente convergente
n=0
n! 2! 3!
para toda z. n+1
z
n = |z| → 0 cuando n → ∞
(n+1)!
z n+1
n!
Ejemplo 3. Convergencia solo en el centro (serie inútil) La serie de

∞
X
potencias n!z n = 1 + z + 2z 2 + 6z 3 + . . . converge sólo en z = 0, pero
n=0
diverge para todo z ̸= 0
(n + 1)!z n+1

= (n + 1)|z| → ∞ cuando n → ∞ (z fijo y ̸= 0)
n!z n

Teorema 4.11 (Convergencia de una serie de potencias)

a Converge en el centro z0
b Si converge en un punto z = z1 ̸= z0 =⇒ converge absolutamente
para todo z que esté más próximo a z0 que a z1 ; es decir,
|z − z0 | < |z1 − z0 |
c Si diverge en un z = z2 , diverge para todo z que este más lejos de z0
que de z2
y
Div.
z1
Conv.
z0
z2
x
b Convergencia z = z1
lim an (z1 − z0 )n = 0
n→∞ y
|an (z1 − z0 )| < M para cada n = 0, 1, . . . Div.

n n
z − z0 ≤ M z − z0
|an (z − z0 )n | = an (z1 − z0 )n

z1
Conv.
z1 − z0 z1 − z0
z0
∞ ∞
z − z0 n
X X
|an (z − z0 )n | ≤ M
z1 − z0
z2
x
n=1 n=1

z − z0
hip. |z − z0 | < |z1 − z0 | =⇒ <1
z1 − z0
∴ converge por serie geométrica

Radio de convergencia
Cı́rculo Convergencia: incluye todos y
los puntos de convergencia Div.
|z − z0 | = R Conv.
R
z0
R radio de convergencia
Convergencia |z − z0 | < R x
Divergencia |z − z0 | > R
Circunferencia de convergencia:
puede converger o divergir
R = ∞ si converge para todo z
R = 0 si converge sólo en el centro z = z0
Comportamiento en la Circunferencia de Convergencia de rádio R = 1:

X zn
converge ∀z y
n2
X 1 Div.
converge
n2
Conv.
R
z0
Xz n
converge en −1 pero diverge en 1
n x
X
z n diverge ∀z

Teorema 4.12 (Radio de convergencia R)

an+1
Suponer que la sucesión , n = 1, 2, . . ., converge con lı́mite L∗ . Si L∗ = 0,
an
entonces R = ∞; es decir, la serie de potencias converge para todo z. Si L∗ ̸= 0
(por lo tanto L∗ > 0), entonces

1 an
R = ∗ = lim (Cauchy-Hadamard)
L n→∞ an+1
an+1
Si → ∞, entonces R = 0 (convergencia sólo en el centro z0 )
an
∞
X
Demostración: an (z − z0 )n
n=0
an+1 (z − z0 )n+1 an+1

|z − z0 | =⇒ lim an+1 |z − z0 | = L∗ |z − z0 |

=
an (z − z0 ) an n→∞ an
1
Sea L∗ > 0, convergencia si L = L∗ |z − z0 | < 1 =⇒ |z − z0 | < ∗
L
Ejemplo 1: Radio de Convergencia El radio de convergencia de la serie de potencias

∞
X (2n)!
2
(z − 3i)n
n=0
(n!)
" (2n)! #
(2n)! ((n + 1)!)2 (n + 1)2

(n!)2 1
R = lim (2n+2)!
= lim 2
= lim =
n→∞ n→∞ (2n + 2)! (n!) n→∞ (2n + 2)(2n + 1) 4
2
((n+1)!)
1
La serie converge en el disco abierto |z − 3i| < de radio R = 14 , y centro z0 = 3i
4

Ejemplo 2: Extensión teorema ??, Radio de Convergencia R.

Encontrar el radio de convergencia R de la serie de potencias
∞
X 1 1 1 1 1
1 + (−1)n + n z n = 3 + z + 2 + z2 + z3 + 2 + z4 + . . .
n=0
2 2 4 8 16

1 1 1
Secuencia de razones: ,2 2 + , , . . . no converge. Teorema ?? no
6 4 8 2 + 14
aplicable
1 p
n
p
n
R= L
e = lim |an | |an | converge?
L
e n→∞
q (
 n 1n n impar 1
2
p
n
p
2
|an | = q lim |an | =
n 2+ 1
→1 n→∞ n par n→∞ 1
2n
1 np o
R= , l es el mayor punto lı́mite de la sucesión n |an |
e
l
e
l = 1 =⇒ R = 1. ∴ la serie converge para |z| < 1
e
Series Potencia — Taylor Funciones dadas por Series de Potencias
Funciones — Representación por Series de Potencias Notes
∞
X
f (z) = an z n = a0 + a1 z + a2 z 2 + a3 z 3 (|z| < R)
n=0
f (z) está representada/desarrollada por la serie de potencias. E.g.,

∞
1 X
f (z) = = z m (|z| < 1)
1−z
n=0
Unicidad de representación de f (z) mediante series potencias

∞
X
Nota: simplificación an (z − z0 )n con z0 = 0
n=0

Teorema 4.13 (Continuidad de la suma de una serie de potencias)
Si una función f (z) puede ser representada por una serie de potencias con radio
de convergencia R > 0, entonces f (z) es continua en z = 0
Demostración:
X ∞
f (z) = an z n f (0) = a0 lim f (z) = f (0) = a0
z→0
n=0
∀ϵ, ∃δ > 0 tal que |z| < δ =⇒ |f (z) − a0 | < ϵ
∞
X
an z n converge absolutamente para |z| ≤ r , 0 < r < R
n=0
∞ ∞ ∞
X X 1X
|an |r n = |an |r n−1 =|an |r n = S converge (sea S su suma)
n=0 n=1
r n=1
∞ ∞ ∞

X X X
0 < |z| ≤ r , |f (z) − a0 | = an z n ≤ |z| |an ||z|n−1 ≤ |z| |an |r n−1 = |z|S

n=1 n=1 n=1
ϵ ϵ
|z|S < ϵ cuando |z| < δ, 0 < δ < r ∧ δ < =⇒ |z|S < δS < S = ϵ
S S
Teorema 4.14 (Teorema de indentidad para series de potencia)

∞
X ∞
X
n
Suponer que las series de potencias an z y bn z n convergen para
n=0 n=0
|z| < R, en donde R es positivo, y que tiene la misma suma para todos
estos z. Entonces estas series son idénticas
an = bn para todo n = 0, 1, 2 . . .
Demostración por inducción.
a0 + a1 z + a2 z 2 + . . . = b0 + b1 z + b2 z 2 + . . . (|z| < R)
Sumas de las dos series de potencias son continuas en z = 0 (teorema ??)
Considerar |z| > 0, y z → 0 en los dos lados, se observa que a0 = b0 : ✓ n = 0
Asumir que an = bn para n = 0, 1, . . . , m, es posible omitir términos iguales, y
dividir por z m+1 tal que z m+1 ̸= 0
am+1 + am+2 z + am+3 z 2 + . . . = bm+1 + bm+2 z + bm+3 z 2 + . . .

Operaciones con Series de Potencias Notes
Suma/Resta término a término de dos series de potencias con radios de

convergencia R1 y R2 produce una serie de potencias con radio de
convergencia por lo menos igual al menor de R1 y R2
Multiplicación término a término de dos series de potencias
∞
X X∞
f (z) = ak z k g (z) = bm z m
k=0 m=0
∞ ∞
" #" #
X X
k m
s(z) = f (z)g (z) = ak z bm z
k=0 m=0
= a0 b0 + (a0 b1 + a1 b0 )z + (a0 b2 + a1 b1 + a2 b0 )z 2 + . . .
X∞
= (a0 bn + a1 bn−1 + . . . + an b0 ) z n
n=0
s(z) converge absolutamente para todo z dentro del cı́rculo mas pequeño de
convergencia de las dos series. The suma s(z) = f (z)g (z)
Diferenciación término a término: serie derivada de la serie de potencias

X∞
an z n = a0 + a1 z + a2 z 2 + a3 z 3 + . . .
n=0
" ∞
#′ ∞ ∞
′
X X X
n
an z = [an z n ] = nan z n−1 = a1 + 2a2 z + 3a3 z 2 + . . .
n=0 n=0 n=1
Teorema 4.15 (Diferenciación término a término)

La serie derivada de una serie de potencias tiene el mismo radio de convergencia
que la serie original
∞
!
X n n
E.g. Encontrar R de la serie z = z 2 + 3z 3 + 6z 4 + 10z 5 + . . .
n=2
2
" ∞ #′′ ∞ ∞ ∞
!
z2 X n z2 X n−2
X n(n − 1) n X n n
z = n(n − 1)z = z = z
2 n=1 2 n=2 n=2
2 n=2
2
∴R=1
Teorema 4.16 (Integración término a término)

∞
X
Integración término a término de la serie an z n
n=0
∞
Z X ∞ Z
X
an z n dz = an z n dz
n=0 n=1
∞
X an n+1
= z
n=0
n+1
a1 a2
= a0 z + z 2 + z 3 + . . .
2 3
R mismo radio de convergencia que la serie original
Funciones Analı́ticas. Sus derivadas Notes
Teorema 4.17 (Funciones Analı́ticas. Sus derivadas)

Una serie de potencias con radio de convergencia R diferente de cero
representa una función analı́tica en todo punto interior de su cı́rculo de
convergencia. Las derivadas de esta función se obtiene por diferenciación
término a término de la serie original. Todas las series ası́ obtenidas tienen
el mismo radio de convergencia que la serie original. Por tanto, en virtud
de la primera afirmación, cada una de ellas representa una función
analı́tica.

Series de Potencia: resumen Notes
Series “bondadosas”:
Diferenciar e integrar término a término
La suma de series de potencia (con radio de convergencia positivo) es

una función analı́tica y tiene derivadas de todos los órdenes =⇒ son
funciones analı́ticas
Recı́proco: toda función analı́tica f (z) puede representarse por

series de potencias (?)
Series Potencia — Taylor Series de Taylor y Maclaurin
Series de Taylor y Maclaurin Notes
∞
X n 1 (n)
f (z) = an (z − z0 ) donde an = f (z0 )
n=0
n!
f (z ∗ )
I
1
an = n+1 dz ∗
2πi C (z ∗ − z0 )
Integración antihoraria alrededor de C , trayectoria simple cerrada que
contiene z0
f (z) es analı́tica en un dominio que contiene a C
Serie de Maclaurin: serie Taylor con centro z0 = 0
Residuo después del término an (z − z0 )n
(z − z0 )n+1 f (z ∗ )
I
Rn (z) = ∗ n+1 (z ∗ − z)
dz ∗
2πi C (z − z0 )
z − z0 ′ (z − z0 )2 ′′ (z − z0 )n (n)
f (z) = f (z0 ) + f (z0 ) + f (z0 ) + . . . + f (z0 ) + Rn (z)
1! 2! n!

Teorema 4.18 (Teorema de Taylor)
Sea f (z) analı́tica en un dominio D, y sea z = z0 cualquier punto en D. Entonces

∞
X 1
existe exactamente una serie de Taylor f (z) = an (z − z0 )n , an = f (n) (z0 ),
n=0
n!
con centro z0 que representa f (z). Esta representación es válida en el mayor disco
abierto con centro z0 sobre el cual f (z) es analı́tica. Los coeficientes satisfacen
la desigualdad
M
|an | ≤ n
r
en donde M es el máximo de |f (z)| sobre la circunferencia |z − z0 | = r en D cuyo
interior esta en D
Los residuos Rn (z) se pueden representar de la forma:
(z − z0 )n+1 f (z ∗ )
I
Rn (z) = ∗ n+1 (z ∗ − z)
dz ∗
2πi C (z − z0 )
f (z ∗ )
I
1 y
Demostración ?? f (z) =
∗−z
dz ∗
C z 2πi
1 1 1 z∗
= ∗ = z
z∗ − z

z − z0 − (z − z0 ) (z − z0 ) 1 − zz−z
∗ 0
∗ −z r
0 C
z0

∗
z − z0
|z − z0 | < |z − z0 | =⇒ ∗
<1
z − z0 x
1 − q n+1 1 q n+1
1 + q + . . . + qn = = − (q ̸= 1)
1−q 1−q 1−q
1 n q n+1 z − z0
= 1 + q + ... + q + q=
1−q 1−q z ∗ − z0
" #
1 1 z − z0 z − z0 2 z − z0 n 1 z − z0 n+1

= 1+ + + ... + +
z∗ − z z ∗ − z0 z ∗ − z0 z ∗ − z0 z ∗ − z0 z∗ − z z ∗ − z0
1 f (z ∗ ) z − z0 f (z ∗ ) (z − z0 )n f (z ∗ )
I I I
∗ ∗ ∗
f (z) = dz + dz + . . . + dz + Rn (z)
∗
2πi C z − z0 2πi ∗
C (z − z0 ) 2 2πi ∗
C (z − z0 )n+1
z − z0 ′ (z − z0 )2 ′′ (z − z0 )n (n)
f (z) = f (z0 ) + f (z0 ) + f (z0 ) + . . . + f (z0 ) + Rn (z)
1! 2! n!


y
Serie Taylor converge y representa a f (z) si y sólo si lim Rn (z) = 0

n→∞
z∗
z
(z − z0)n+1 f (z ∗ )
I
r
Rn (z) = dz ∗ z0
C
2πi C (z ∗ − z0 )n+1 (z ∗ − z)
|z ∗ − z0 | = r L = 2πr x
f (z ∗ )

|z ∗ − z| > 0 y analiticidad de f (z) dentro y sobe C =⇒ ∗ ≤M e ∀z ∗ sobre C
z −z
|z − z0 |n+1 f (z ∗ ) n+1
I
dz ≤ |z − z0 | e 1 2πr
∗
|Rn (z)| = ∗ n+1 ∗
M
2π
C (z − z0 ) (z − z) 2π r n+1
n+1
e z − z0

|Rn (z)| ≤ M r
|z − z0 |
|z − z0 | < r =⇒ <1
r
n+1
e z − z0

M r → 0 cuando n → ∞
Precisión en la aproximación de f (z): seleccionar un n lo suficientemente

grande
Singularidad: en el cı́rculo de convergencia, existe (por lo menos) un punto

singular de f (z), z = c para el cual f (z) no es analı́tica
f (z) es singular en c, o tiene una singularidad en c
Radio de convergencia R es usualmente igual a la distancia desde z0 hasta

el punto singular más cercano de f (z)
1
, singularidad en z = 1
1−z
π 3π
tan (z), singularidad en ± , ,...
2 2
R puede ser mayor al punto singular mas próximo
Ln(z) es singular a lo largo del eje real negativo y la distancia de
z0 = −1 + i a ese eje es igual a 1
Taylor Ln(z), z0 = −1 + i =⇒ R = 2
Importantes series de Taylor Notes
Series Geométricas
1 n!
Sea f (z) = . Entonces se tiene f (n) (z) = , f (n) (0) = n!.
1−z (1 − z)n+1
Por tanto, el desarrollo de Maclaurin es la serie geométrica
∞
1 X
= zn = 1 + z + z2 + z3 + . . . (|z| < 1)
1−z
n=0
f (z) es singular en z = 1; este punto se encuentra en el cı́rculo de

convergencia
Función Exponencial
f (z) = e z es analı́tica para toda z, y (e z )′ = e z . La serie de Maclaurin es
∞
X 1 (n) 1 1
f (z) = an z n an = f (z) = e z =
n! n! z=0 n!
n=0
∞
X zn z2 z3
ez = =1+z + + + ...
n! 2! 3!
n=0
∞ ∞ ∞
iy
X (iy )n X y 2k
k
X y 2k+1
e = = (−1) +i (−1)k
n! (2k)! (2k + 1)!
n=0 k=0 n=0
iy
e = cos (y ) + i sin (y )

Funciones trigonométricas e hiperbólicas
∞
X z 2n z2 z4
cos (z) = (−1)n =1− + − +...
(2n)! 2! 4!
n=0
∞
X z 2n+1 z3 z5
sin (z) = (−1)n =z− + − +...
(2n + 1)! 3! 5!
n=0
∞
X z 2n z2 z4
cosh(z) = =1+ + + ...
(2n)! 2! 4!
n=0
∞
X z 2n+1 z3 z5
sinh(z) = =z+ + + ...
(2n + 1)! 3! 5!
n=0
Logaritmo
∞
X 1 (n)
f (z) = Ln(1 + z) f (z) = an z n an = f (z0 ) = (−1)n−1
n!
n=0
z2 z3
Ln(1 + z) = z − + − +... |z| < 1
2 3
z2 z3

1
− Ln(1 − z) = Ln =z+ + + ... |z| < 1
1−z 2 3
z3 z5

1+z
Ln =2 z+ + + ... |z| < 1
1−z 3 5

Series de Potencias: Métodos Prácticos Notes
Sustitución.
1
Encontrar la serie de Maclaurin de f (z) =
1 + z2
∞ ∞
1 1 X X
2
= = (−z 2 )n = (−1)n z 2n
1+z 1 − (−z )
2
n=0 n=0
= 1 − z2 + z4 − z6 + . . . (|z| < 1)
Integración
Encontrar la serie de Maclaurin de f (z) = tan−1 (z)
1
f ′ (z) = f (0) = 0
1 + z2
∞
X (−1)n z3 z5
tan−1 (z) = z 2n+1 = z − + − +... |z| < 1
n=0
2n + 1 3 5
esta serie representa el valor principal de w = u + iv = tan−1 (z), definido como el valor
en el que |u| < π2
Métodos Prácticos Notes
Desarrollo usando la serie geométrica

1
Desarrollar en potencias de z − z0 donde c − z0 ̸= 0
c −z
1 1 1
= =
c −z c − z0 − (z − z0 ) z−z0
(c − z0 ) 1 − c−z 0
∞ n
1 X z − z0
=
c − z0 c − z0
n=0
z − z0 n

1 z − z0
= 1+ +
c − z0 c − z0 c − z0

z − z0
Converge : < 1 =⇒ |z − z0 | < |c − z0 |
c − z0

Métodos Prácticos Notes

Serie binomial, reducción por fracciones parciales: Encontrar la serie de Taylor de f (z) = 2z 2 +9z+5 con centro z0 = 1
z 3 +z 2 −8z−12
2z 2 + 9z + 5 1 2 1 2
f (z) = = + = −
z 3 + z 2 − 8z − 12 (z + 2)2 z −3 [3 + (z − 1)]2 2 − (z − 1)
 
1  1 1
f (z) =  h i2  −

9 1 + 13 (z − 1) 1 − 12 (z − 1)
∞
1 −m n m(m + 1) 2 m(m + 1)(m + 2) 3

−m
X
= (1 + z) = z = 1 − mz + z − z + ... |z| < 1
(1 + z)m n=0 n 2! 3!
∞ ∞
z −1 n
n
1 X −2 z −1
X
f (z) = −
9 n=0 n 3 n=0 2
−a (−1)k (a)k Γ(a + k) Γ(2 + k)

= , (a)k = (2)k = = Γ(2 + k) = (1 + k)! k ∈ N =⇒ Γ(k) = (k + 1)!
k k! Γ(a) Γ(2)
−2 (−1)n (2)n (−1)n (n + 1)!

n
= = = (−1) (n + 1) (2)n = Γ(n + 2) = (n + 1)!
n n! n!

z − 1 1 z − 1 2

< 1 =⇒ |z − 1| < 3, < 1 =⇒ |z − 1| < 2,
2

3 (z + 2) z=−2 2 z − 3 z=3

∞ n
" #
X (−1) (n + 1) 1 n 8 31 23 2
f (z) = − (z − 1) = − − (z − 1) − (z − 1) − . . .
n=0 3n+2 2n 9 54 108
|z − z0 |z=−2 = 3 |z − z0 |z=3 = 2 z0 = 1 =⇒ converge |z − 1| < 2
Series Laurent — Residuo
Outline Notes


6 Mapeo Conforme


Series Laurent — Residuo Series de Laurent
Series de Laurent Notes
Generalizan las series de Taylor: desarrollo de f (z) con potencias

positivas y negativas de z − z0
Converge en una corona con centro z0
f (z): puntos singulares no sólo fuera del cı́rculo más grande, sino
también dentro del cı́rculo más pequeño
f (z) se representa por una serie única de Taylor con centro z0
f (z) se puede representar por varias series de Laurent de Taylor con
centro z0 y válida en diferenes coronas
e.g.: serie converge 0 < |z − z0 | < R
z0 : punto singular
Parte Principal
Residuo
Integración por el método del residuo
Teorema 5.1 (Teorema de Laurent)
Si f (z) es analı́tica sobre dos cı́rculos concéntricos C1 y C2 con centro en z0 y en la corona entre éstos dos, entonces f (z) puede
representarse mediante la serie de Laurent
C1
∞ ∞
X n
X bn C
f (z) = an (z − z0 ) +
n=0 n=1 (z − z0 )n
2
= a0 + a1 (z − z0 ) + a2 (z − z0 ) + . . . + z0
b1 b2 C2
... + + + ...
z − z0 (z − z0 )2
Los coeficientes de esta serie de Laurent están definidos por las integrales
1 f (z ∗ ) 1
I I
∗ ∗ n−1 ∗ ∗
an = dz bn = z − z0 f (z ) dz
2πi C (z ∗ − z0 )n+1 2πi C
Cada integral se toma en sentido antihorario alrededor de cualquier trayectoria simple cerrada C que esté en la corona y abarque
el cı́rculo interior.
Esta serie converge y representa a f (z) en la corona abierta que se obtiene a partir de la corona dada al incrementar de manera
continua el cı́rculo C1 y reducir C2 hasta que ambos cı́rculos llegan a un punto en donde f (z) es singular.
En el importante caso especial en el que z0 es el único punto singular de f (z) dentro de C2 , este cı́rculo puede reducirse hasta el
punto z0 , con lo que se obtiene convergencia en un disco, excepto en el centro. En este caso las series (o suma finita) de las
potencias negativas se denomina parte principal de f (z) en z0 .

∞ ∞
X n
X bn
f (z) = an (z − z0 ) +
(z − z0 )n
n=0 n=1
f (z ∗ )
I I
1 1
an = dz ∗ bn = (z ∗ − z0 )n−1 f (z ∗ ) dz ∗
2πi C (z ∗ − z0 )n+1 2πi C
∞
X
f (z) = an (z − z0 )n
n=−∞
f (z ∗ )
I
1
an = dz ∗ (n = 0, ±1, ±2, . . .)
2πi C (z ∗ − z0 )n+1
Ejemplo 1: Uso de la serie de Maclaurin

Encontrar la serie de Laurent de z −5 sin (z) con centro en 0.
∞
X z 2n+1
sin (z) = (−1)n
(2n + 1!)
n=0
∞ 2n+1 ∞
−5 −5
X
n z
X (−1)n 2n−4
z sin (z) = z (−1) = z
(2n + 1!) (2n + 1)!
n=0 n=0
1 1 1 1 2
= 4− 2+ − z + −... (|z| > 0)
z 6z 120 5040
La corona de convergencia es todo el plano complejo sin el origen. La
1
parte principal de la serie en 0 es z −4 − z −2
6

Ejemplo 2: Sustitución
1
Encontrar la serie de Laurent de z 2 e z con centro en 0.
∞
X zn
ez =
n=0
n!

1 1 1 1 1 1
z 2e z = z 2 1 + + + . . . = z2 + z + + + + ... (|z| > 0)
1!z 2!z 2 2 3!z 4!z 2
1
Ejemplo 3: Desarrollo de 1−z
1
Desarrollar (a) en potencias no negativas de z, (b) en potencias negativas de z
1−z
∞
1 X n
(a) = z válido si |z| < 1
1−z n=0
∞
1 −1 X 1 1 1
(b) = −1
=− = − − 2 − ... válido si |z| > 1
1−z z(1 − z ) n=0
z n+1 z z
Ejemplo 4: Desarrollos de Laurent en coronas concéntricas diferentes

1
Encontrar todas las series de Laurent de 3 con centro en 0
z − z4
∞ ∞
1 X n 1 1 X n−3 1 1 1
= z = z = 3 + 2 + + 1 + z + ... (0 < |z| < 1)
1−z n=0
z 1−z
3
n=0
z z z
∞ ∞
1 1 1 −1 1 X 1 X 1
= 3 = 3 −1
=− 4 =−
z3 −z 4 z (1 − z) z z(1 − z ) z n=0 z n
n=0
z n+4
1 1
=− − 5 − ... (|z| > 1)
z4 z

Ejemplo 5: Uso de fracciones parciales (1/2)

−2z + 3
Encontrar todas las series de Taylor y de Laurent de f (z) = con centro en 0
z 2 − 3z + 2
1 1
f (z) = − −
z −1 z −2
∞
1 X
(a) = zn (|z| < 1)
1−z n=0
∞
1 −1 X 1
(b) = = − (|z| > 1)
z 1 − z1

1−z n=0
z n+1
∞
1 1 X 1 n
(c) − = 1
= z (|z| < 2)
z −2 2 1 − 2z n=0
2n+1
∞
1 1 X 2n
(d) − =− = − (|z| > 2)
z 1 − z2

z −2 n=0
z n+1
Ejemplo 5: Uso de fracciones parciales (2/2)

−2z + 3
Encontrar todas las series de Taylor y de Lauread de f (z) = con centro en 0
z 2 − 3z + 2
I (a) y (c): válidas para |z| < 1
∞ y
X 1
f (z) = 1 + n+1 z n
n=0
2 III
II
I
II (c) y (b): válido para 1 < |z| < 2 x
z0 1 2
∞ ∞
X 1 n X 1
f (z) = n+1
z −
n=0
2 n=0
z n+1
III (d) y (b): válido para |z| > 2 Si f (z) es analı́tica dentro
∞ de C2 (|r | < 1), bn =
X 1
f (z) = − (2n + 1) n+1 0 =⇒ serie de Taylor
n=0
z

Series Laurent — Residuo Singularidades y Ceros. Infinito
Singularidades y Ceros Notes
En general
singularidad en z0 : f (z0 ) no es analı́tica

Series Laurent
cero z0 : f (z0 ) = 0
Series Taylor
Singularidades Notes
f (z) es singular o tiene una singularidad en un punto z = z0 si

f (z0 ) no es analı́tica (puede no estar definida)
en la vecindad de z0 , f (z) es analı́tica
z = z0 es un punto singular de f (z)
Singularidad aislada z = z0 de f (z) : si z = z0 tiene una vecindad

sin ninguna otra singularidad de f (z)
π 3π
tan (z): singularidades aisladas en ± , ± ...
2 2
1
tan singularidad no aislada en 0
z
π
tan (z) no esta definida en + πk k = 0, 1, 2, 3, . . .
2
1 π 2
= + πk =⇒ z =
z 2 π (1 + 2k)
k → ∞ =⇒ z → 0
en la vecindad de z0 = 0 existen infinitas singularidades

Clasificación singularidades aisladas de f (z) en z0 : serie de Laurent

∞ ∞
X X bn
f (z) = an (z − z0 )n +
n=0 n=1
(z − z0 )n
válida en la vecindad inmediata del punto singular z = z0 , excepto en z0
0 < |z − z0 | < R
∞
X n
an (z − z0 ) es analı́tica en z = z0
n=0
∞
X bn
Parte Principal: . Para un número finito de términos:
n=1
(z − z0 )n
b1 bm
+ ... + (bm ̸= 0)
z − z0 (z − z0 )m
Polo: singularidad de f (z) en z = z0 . m: orden (m = 1 polo simple)
∞
X bn
Singularidad esencial aislada en z = z0 : si tiene infinidad de
n=1
(z − z0 )n
términos
No se considerará singularidades no aisladas
Ejemplo 1: Polos. Singularidades esenciales

(
1 3 z =0 m = 1 polo simple
f (z) = +
z(z − 2)5 (z − 2)2 z =2 m = 5 polo quinto orden
Singularidad esencial aislada en z = 0
∞
1 X 1 1 1
ez = n
=1+ + 2
+ ...
n=0
n!z z 2!z
∞
(−1)n
X
1 1 1 1
sin = 2n+1
= − 3
+ 5
− +...
z n=0
(2n + 1)!z z 3!z 5!z
∞
X (−1)n 2n−4
1
f (z) = sin (z) = z , z = 0 polo de cuarto orden
z5 n=0
(2n + 1)!
X ∞
z n−3 0 < |z| < 1, z = 0 polo tercer orden



1

= n=0X∞
z3 − z4  1
− |z| > 1, Serie Laurent infinitos términos


z n+1
n=0

Ejemplo 2: Comportamiento cerca de un polo

1
f (z) = 2
z
f (z) tiene un polo en z = 0
|f (z)| → ∞ cuando z → 0 por cualquier trayectoria
Teorema 5.2 (Polos)

Si f (z) es analı́tica y tiene un polo en z = z0 , entonces |f (z)| → ∞
cuando z → z0 de cualquier manera
1
Ejemplo 3: Comportamiento cerca de una singularidad esencial f (z) = e z
Singularidad esencial en z = 0.


 no lı́mite trayectoria eje imaginario

∞ trayectoria valores reales positivos
z → 0 =⇒ f (z) =


 0 trayectoria reales negativos
c = c0 e iα , c ∈ ϵ−vecindad de z = 0

f (c)

1 1 e −iθ cos (θ) − i sin (θ)
z = re iθ =⇒ e z = e re iθ = e r = exp = c0 e iα
r

cos (θ)

iθ
f re = exp = c0 =⇒ cos (θ) = r ln(c0 )

r
sin (θ)
Arg f (re iθ ) = − = α =⇒ − sin (θ) = αr
r
cos2 (θ) + sin2 (θ) = r 2 [ln (c0 )]2 + α2 r 2 = 1
1 α
r2 = tan (θ) = −
[ln (c0 )]2 + α2 ln (c0 )
r puede ser arbitrariamente pequeño si α = α + 2nπ =⇒ no influye en c
z = 0 punto excepcional
Teorema 5.3 (Teorema de Picard)

Si f (z) es analı́tica y tiene una singularidad esencial aislada en un punto
z0 , entonces asume todos los valores, con como máximo un valor
excepcional, en una ϵ-vecindad arbitrariamente pequeña de z0 .
Ceros de funciones analı́ticas Notes
Si f (z) es analı́tica en un dominio D

Cero en z0 ∈ D si f (z0 ) = 0
Cero de orden n: f (z0 ), f ′ (z0 ), f ′′ (z0 ), . . . , f (n−1) (z0 ) son igual a cero pero
f (n) (z0 ) ̸= 0
Cero primer orden, cero simple: f (z0 ) = 0 y f ′ (z0 ) ̸= 0
Cero de segundo orden: f (z0 ) = 0, f ′ (z0 ) = 0 y f ′′ (z0 ) ̸= 0
f (z) = 0 Orden z = z0
f (z) = 1 + z 2 primero (simple) ±i
2
f (z) = 1 − z 4 segundo ±1, ±i
f (z) = (z − a)3 tercero a
f (z) = e z — —
f (z) = sin (z) simple 0, ±π, ±2π, . . .
f (z) = sin2 (z) segundo 0, ±π, ±2π, . . .
f (z) = 1 − cos (z) segundo 0, ±2π, ±4π, . . .
f (z) = [1 − cos (z)]2 cuarto 0, ±2π, ±4π, . . .

Serie de Taylor en un cero

Un cero z = z0 de n−ésimo orden:
f (z0 ) = 0 =⇒ f ′ (z0 ) = 0, f ′′ (z0 ) = 0, . . . , f (n−1)(z0 )=0
Coeficientes de la serie de Taylor: a0 = 0, a1 = 0, . . . , an−1 = 0
f (z) = an (z − z0 )n + an+1 (z − z0 )n+1 + . . .

= (z − z0 )n an + an+1 (z − z0 ) + an+2 (z − z0 )2 + . . .

(an ̸= 0)
Teorema 5.4 (Ceros)

Los ceros de una función analı́tica f (z)(̸≡ 0) son aislados; es decir, cada
uno de ellos tiene una vecindad que no contiene ceros adicionales de f (z)
Polos son provocados a menudo por ceros en el denominador
Teorema 5.5 (Polos y ceros)

Sea f (z) analı́tica en z = z0 tal que tiene un cero de n−ésimo orden en
1
z = z0 . Entonces, tiene un polo de n−ésimo orden en z = z0 . Lo
f (z)
h(z)
mismo se cumple para si h(z) es analı́tica en z = z0 y h(z0 ) ̸= 0
f (z)

Esfera de Riemann. Ceros en el infinito Notes
Estudiar f (z) para |z| grande

Esfera S de diámetro 1, N polo Norte
Cada z ∈ C existe un punto en S
(plano complejo finito)
punto en el infinito ∞: plano
complejo extendido
Proyección Estereográfica
Cı́rculo unitario 7→ “ecuador” de S
Interior cı́rculo unitario 7→ hemisferio sur
Exterior cı́rculo unitario 7→ hemisferio norte
Rectas que pasan por el origen 7→ “meridianos”
Cı́rculos con centro en el origen 7→ “paralelos”
Todo cı́rculo y recta en el plano z 7→ cı́rculo sobre S
Proyección Estereográfica Notes
Stereographic Projection
https://www.youtube.com/watch?v=VX-0Laeczgk

Proyección Estereográfica Notes
Proyección Estereográfica 2D Esfera Riemann, Proyección Estere-

https://www.desmos.com/ ográfica 3D Riemann Sphere projection
calculator/tukfkwt2h1 https://www.geogebra.org/m/ https://www.geogebra.org/m/
afha3f6m v5eka2ak
Riemann Sphere
https://www.geogebra.org/m/ https://www.geogebra.org/m/
jfemjwkr zqx4kxpc
Analı́tica o singular en el infinito Notes

1 1
Analizar f (z) para |z| grande: z = =⇒ f (z) = f ≡ g (w )
w w
en una vecindad de w = 0
f (z) analı́tica o singular en el infinito si g (w ) es analı́tica o

singular en w = 0
g (0) = lim g (w ) si el lı́mite existe

w →0

1
f (z) tiene un cero de n−ésimo orden en el infinito si f tiene tal
w
cero en w = 0 (aplica a polos y singularidades esenciales)

Analı́tica o singular en el infinito Notes
Ejemplos:
1
f (z) = es analı́tica en ∞
z2
1
g (w ) = f = w 2 es analı́tica en w = 0
w
f (z) tiene un cero de segundo orden en ∞
f (z) = z 3 es singular en ∞ y tiene un polo de tercer orden

1 1
g (w ) = f = polo de tercer orden en w = 0
w w3
1
f (z) = e z : singularidad esencial en ∞ dado que e w tiene tal
singularidad en w = 0
cos (z) , sin (z): singularidad esencial en ∞
Series Laurent — Residuo Integración por el método de residuos
Integración por el método de residuos Notes

I
Propósito: evaluar f (z) dz
C
Si f (z) es analı́tica en todas partes sobre y dentro de C =⇒
I
f (z) dz = 0
C
Si f (z) tiene una singularidad en un punto z = z0 en el interior de C ,
pero de otra forma es analı́tica sobre y dentro de C =⇒
∞
X b1 b2
f (z) = an (z − z0 )n + + + ...
z − z0 (z − z0 )2
n=0
Converge ∀z próximo a z0 (excepto en z = z0 ) en algún dominio de la
forma 0 < |z − z0 | < R
I I
1
b1 = f (z) dz f (z) dz = 2πib1 sentido antihorario
2πi C C
b1 = Res (f (z))
z=z0

Series Laurent — Residuo Integración por el método de residuos
Integración por el método de residuos Notes

sin (z)
Ejemplo 1: Integrar f (z) = , sentido antiorario alrededor del cı́rculo unitario C
z4
sin (z) 1 1 z z3
f (z) = 4
= 3 − + − + −... converge |z| > 0
z z 3!z 5! 7!
1
Polo de tercer orden en z = 0, residuo b1 = −
I 3!z
sin (z) πi
4
dz = 2πib1 = −
C z 3
1 1
Ejemplo 2: Integrar f (z) = en sentido horario alrededor de C : |z| =
z3 − z4 2
1
f (z) = singular en z = 0, z = 1
z 3 (1 − z)
1 1 1 1
= 3 + 2 + + 1 + z + ... (0 < |z| < 1)
z3 − z4 z z z
I
dz
b1 = 1 =⇒ 3 − z4
= −2πi Res f (z) = −2πi
C z z=0
1 1 1 1
Si 3 = − 4 − 5 − 6 − ... (|z| > 1) =⇒ b1 = 0 ✗
z − z4 z z z
Series Laurent — Residuo Fórmulas para Residuos
Fórmulas para Residuos Notes
Polo Simple en z0
Res f (z) = b1 = lim (z − z0 )f (z)

z=z0 z→z0
p(z) p(z0 )
Res f (z) = Res = ′
z=z0 z=z0 q(z) q (z0 )
p(z)
f (z) = , p(z) ̸= 0, q(z0 ) = 0 =⇒ f (z) polo simple en z0
q(z)
9z + i
E.g.: Res =
z=i z(z 2 + 1)
9z + i 10i
lim (z − i) = = −5i
z→i z(z + i)(z − i) −2
p(z0 ) 9i + i
p(z) = 9z + i, q ′ (z) = 3z 2 + 1 =⇒ Res = = −5i
z=i q ′ (z0 ) −2

Series Laurent — Residuo Fórmulas para Residuos
Fórmulas para Residuos Notes
Polos de cualquier orden en z0

Sea f (z) una función analı́tica con un polo de cualquier orden m > 1 en
z = z0
m−1
1 d m
Res f (z) = lim [(z − z0 ) f (z)]
z=z0 (m − 1)! z→z0 dz m−1
n ′ o
m = 2 =⇒ Res = lim (z − z0 )2 f (z)
z=z0 z→z0
50z
E.g.: f (z) = tiene un polo de segundo orden en z = 1
z 3 + 2z 2 − 7z + 4
50z
f (z) =
(z + 4)(z − 1)2

d 2
d 50z 200
Res f (z) = lim (z − 1) f (z) = lim = 2 =8
z=1 z→1 dz z→1 dz z +4 5
Series Laurent — Residuo Teorema Residuo
Teorema del Residuo Notes
Teorema 5.6 (Teorema del residuo)

Sea f (z) una función analı́tica dentro de una trayectoria simple cerrada C
y sobre C , excepto por un número finito de puntos singulares z1 , z2 , . . . , zk
dentro de C . Entonces la integral de f (z) en sentido antiorario alrededor
de C es igual a 2πi multiplicado por la suma de los residuos de f (z) en
z1 , . . . , zk : I Xk
f (z) dz = 2πi Res f (z),
C z=zj
j=1

4 − 3z
I
Ejemplo 1: evaluar 2
dz en sentido antihorario de cualquier trayectoria
C z −z
simple cerrada tal que (a) 1 y 0 estén dentro de C, (b) 0 esté dentro de C y 1
esté fuera, (c) 1 esté dentro y 0 esté fuera, y (d) 0 y 1 estén fuera de C
4 − 3z 4 − 3z
f (z) = = =⇒ polos en 0, 1
z2 − z z(z − 1)
4 − 3z 4 − 3z
Res = lim (z − 0) = −4
z=0 z(z − 1) z→0 z(z − 1)
4 − 3z 4 − 3z 4 − 3z
Res = lim (z − 1) = lim =1
z=1 z(z − 1) z→1 z(z − 1) z→1 z
a 2πi(−4 + 1) c 2πi
b −8πi d 0
tan (z) 3
Ejemplo 2: integrar 2
en sentido antihorario alrededor de C : |z| =
z −1 2
π 3π
tan (z) no es analı́tica en ± , ± , . . .. Puntos fuera de C
2 2
z 2 − 1 = (z − 1)(z + 1) =⇒ polos en z = ±1
I
tan (z) tan (z) tan (z)
= 2πi Res 2 + Res 2
C z2 − 1 z=1 z − 1 z=−1 z − 1
" #
tan (z) tan (z)
= 2πi +
2z z=1 2z z=−1
= 2πi tan (1) ≈ 9.7855i

Ejemplo 3. Polos ysingularidades esenciales : Integrar en sentido antihorario

ze πz
I
π
4 − 16
+ ze z dz, C es la elipse 9x 2 + y 2 = 9.
C z
z 4 − 16 = 0 en z = ±2i, ±2 =⇒ polos en ±2i
ze πz
πz
ze πz
πz
ze 1 ze 1
Res 4 = = − Res = =−
z=2i z − 16 4z 3 z=2i 16 z=−2i z 4 − 16 4z 3 z=2i 16
π π2
ze z : singularidad esencial en 0 con residuo
2
π2 π3 π2 1

π π
ze z = z 1+ + + . . . = z + π + + ... (|z| > 0)
z 2!z 2 3!z 3 2 z
I
1 1 1 1
f (z) dz = 2πi − − + π 2 = π(π 2 − )i ≈ 30.221i
c 16 16 2 4
Series Laurent — Residuo Evaluación de Integrales Reales
Integrales de funciones racionales de cos (θ) y sin (θ) Notes
Z 2π
J= F (cos (θ) , sin (θ)) dθ F (cos (θ) , sin (θ)) función real racional y finita
0
sin2 (θ)
e.g. F (cos (θ) , sin (θ)) =
5 − 4 cos (θ)
(
cos (θ) = 12 e iθ + e −iθ = 1
z + z1

iθ 2
e = z =⇒
sin (θ) = 2i1 e iθ − e −iθ = 1
z − z1

2i
F se convierte en una función racional de z, f (z)
dz dz
= ie iθ =⇒ dθ =
dθ I iz
dz
J= f (z)
C iz
θ ∈ [0, 2π], z = e iθ ∈ C : |z| = 1 en sentindo antihorario

Integrales de funciones racionales de cos (θ) y sin (θ) Notes
Z 2π
dθ
Ejemplo: Demostrar √ = 2π
0 2 − cos (θ)

1 1 dz
cos (θ) = z+ dθ = C : |z| = 1 en sentido antihorario
2 z iz
I dz I I
iz dz 2 dz
√ 1 1
= √ =− √ √
C 2 − +2 z
z C − i
z − 2 2z + 1
2 i C (z − 2 − 1)(z − 2 + 1)
2
√ √
Integrando 2 polos: z1 = 2 + 1 fuera de C , z2 = 2 − 1
Res (f (z)) = lim (z − z2 )f (z)
z=z2 z→z2

1 1 1
Res √ √ = lim √ =−
z=z2 (z − 2 − 1)(z − 2 + 1) z→z2 z − 2−1 2
I dz
iz 2 1
√ = 2πi − − = 2π
2 − 12 z + z1

C i 2
Integrales impropias de funciones racionales Notes

Z ∞ Z 0 Z b
f (x) dx = lim f (x) dx + lim f (x) dx
−∞ a→−∞ a b→∞ 0
Z ∞ Z R
si los dos lı́mites existen =⇒ f (x) dx = lim f (x) dx
−∞ R→∞ −R
Z ∞
valor principal de Cauchy de la integral: pr. v. f (x) dx
−∞
R b
R2 2
Z Z
R
e.g. lim x dx = lim − x dx = ∞ =0 lim
R→∞ −R R→∞ 2
b→∞ 0 2
(
diferente de 0 ∀x ∈ R
f (x) función racional real, con denominador:
grado ≥ 2× grado del numerador
y
Z R Z
S
lim f (z) dz = lim f (z) dz
R→∞ −R R→∞ [−R,R]
x
I
−R R
f (z) dz C : trayectoria cerrada
C S’
C : trayectorias R + S ó R + S ′
I Z Z R X
f (z) dz = f (z) dz + f (x) dx = 2πi Res f (z)
C S −R
Z R X Z
f (x) dx = 2πi Res f (z) − f (z) dz
−R S
Z
R → ∞ =⇒ f (z) dz → 0
S
z = Re iθ 0≤θ≤π grado denominador ≥ 2 × numerador
k
|f (z)| < 2 |z| = R > R0 , para k y R0 suficientemente grandes
|z|
Z
f (z) dz < k πR = k π

R2 (R > R0 ) Desigualdad M-L

S R
Z ∞ X
f (x) dx = 2πi Res f (z) (polos semi-plano superior)
−∞

Z ∞ dx π
Ejemplo: Integral impropia desde 0 a ∞: Demostrar = √
0 1 + x4 2 2
Z ∞ X y
f (x) dx = 2πi Res f (z)
−∞ z2 z1
1
f (z) = 1 + z 4 =⇒ 4 ceros de orden 1
1 + z4 x
πi/4 3πi/4 −3πi/4 −πi/4
z1 = e , z2 = e , z3 = e , z4 = e
=⇒ f (z) : 4 polos en z1 , z2 , z3 , z4 z3 z4

1 1
Res f (z) = = − e πi/4
z=z1 4z 3 z=z1 4

1 1 −πi/4
Res f (z) = = e
z=z2 4z 3 z=z2 4
Z ∞ dx 2πi πi/4 2πi h π i π π
4
=− e − e −πi/4 = − 2i sin = π sin = √
−∞ 1 + x 4 4 4 4 2
Z ∞
1 ∞
Z
dx dx π
= = √
0 1 + x4 2 −∞ 1 + x 4 2 2

Integrales de Fourier Notes
Z ∞ Z ∞
f (x) cos (sx) dx f (x) sin (sx) dx s∈R y
−∞ −∞
f (x) racional, grado denominador ≥ 2× numerador

I S
f (z)e isz dz s>0∈R
C
Z ∞ X h i x
f (x)e isx dx = 2πi Res f (z)e isz −R R
−∞
X h i
Res f (z)e isz : polos semi-plano superior
Z ∞ X n h io
f (x) cos (xs) dx = −2π ℑ Res f (z)e isz
−∞
Z ∞ X n h io
f (x) sin (xs) dx = 2π ℜ Res f (z)e isz
−∞
Integrales de Fourier Notes
Ejemplo: demostrar que

Z ∞ Z ∞
cos (sx) π −ks sin (sx)
2 + x2
dx = e 2 + x2
dx = 0 s > 0, k > 0
−∞ k k −∞ k
Z ∞ X n h io
f (x) cos (xs) dx = −2π ℑ Res f (z)e isz
−∞
Z ∞ X n h io
f (x) sin (xs) dx = 2π ℜ Res f (z)e isz
−∞
e isz
f (z) = polo simple en z = ik
k2 + z2
e isz e isz e −ks

Res 2 2
= =
z=ik k + z 2z z=ik 2ik
Z ∞ isx −ks
e e π
2 2
dx = 2πi = e −ks
−∞ k + x 2ik k
e isx = cos (sx) + i sin (sx)

Otros tipos de integrales impropias reales Notes
Z B |f (x)| → ∞ en un punto a ∈ [A, B]

f (x) dx lim |f (x)| = ∞
A x→a
Z B Z a−ϵ Z B
f (x) dx = lim f (x) dx + lim f (x) dx
A ϵ→0 A η→0 a+η
Z a−ϵ Z B Z B
lim f (x) dx + f (x) dx Valor principal de Cauchy: pr. v. f (x) dx
ϵ→0 A a+ϵ A
Z 1 Z −ϵ Z 1
dx dx dx
e.g.: pr. v. = lim + dx =0
−1 x3 ϵ→0 −1 x3 ϵ x3
Teorema 5.7 (Polos simples sobre el eje real)

si f (z) tiene un polo simple en z = a sobre el eje real
Z
lim f (z) dz = πi Res f (z)
r →0 C2 z=a
Otros tipos de integrales impropias reales Notes
p(x)
Si f (x) es una functión racional y el grado del denominador es 2×
q(x)
grado del numerador:
Z ∞ X X
pr. v. f (x) dx = 2πi Res f (z) + πi Res f (z)
−∞
Primera suma: polos sobre semi-plano superior

Segunda suma: polos sobre el eje real (polos simples)

Otros tipos de integrales impropias reales. Ejemplo Notes

Z ∞
dx
Polos en el eje real. Encontrar valor principal pr. v.
−∞ (x − 3x + 2)(x + 1)
2 2
Z ∞ X X
pr. v. f (x) dx = 2πi Res f (z) + πi Res f (z)
−∞
z 2 − 3z + 2 = (z − 1)(z − 2)
(z 2 + 1) = (z − i)(z + i) f (z) polos simples en:

1 1
z = 1 Res f (z) = lim (z − 1) =−
z=1 z→1 (z − 1)(z − 2)(z 2 + 1) 2

1 1
z = 2 Res f (z) = lim (z − 2) =
z=2 z→2 (z − 1)(z − 2)(z 2 + 1) 5

1 1 3−i
z = i Res f (z) = lim (z − i) 2 = =
z=i z→i (z − 3z + 2)(z − i)(z + i) 6 + 2i 20
z = −i semi-plano inferior (no se considera)
Z ∞
dx 3−i 1 1 π
pr. v. 2 − 3x + 2)(x 2 + 1)
= 2πi + πi − + =
−∞ (x 20 2 5 10
Mapeo Conforme
Outline Notes


6 Mapeo Conforme


Mapeo Conforme Transformada Z , Mapeo
Transformada Z , Mapeo Notes
Transformada Z (Mapeo) w = f (z)
w = u(x, y ) + iv (x, y ) z = x + iy
f (z): mapeo de su dominio de definición D en el plano complejo z

sobre su rango de valores en el plano complejo w
Transformada Z
plano z −−−−−−−−−→ plano w
(Mapeo)
Para un z0 ∈ D, el punto w0 = f (z0 ) imagen de z0 con respecto a f
Aplicaciones
Transformada Z : Análisis Discreto
Transformada Laplace: Análisis Continuo

Transformada
Transformada Lineal
Lineal
A, B ∈ C plano z −−−− −−−−→ plano w
w = Az + B Lı́nea →
− Lı́nea
E.g.: Encontrar la imagen de la banda semi-infinita x > 0, 0 < y < 2 para w = iz + 1.

Trazar la gráfica en el plano z y en el plano w .
w = iz + 1
f (z) = u + iv , w = u + iv plano w
v
u + iv = i(x + iy ) + 1 plano z
→∞
y
2
u + iv = ix − y + 1
u =1−y v =x →∞
u
x >0 0<y <2 x
−1 1
v >0 −1<1−y <1

v >0 −1<u <1

Transformada Z , Mapeo: Transformada Lineal Notes
E.g.: Encontrar la imagen de la región delimitada por x = 0, y = 0, x = 1, y = 2 en el

plano z para la transformada w = (1 + i)z + 2 − i.
w = (1 + i)z + 2 − i
u + iv = (1 + i)(x + iy ) + 2 − i
Si y = 2 : u = x v =x +1
u + iv = x + iy + ix − y + 2 − i
v −u =1
u =x −y +2 v =x +y −1
Si x = 0
plano w
u =y +2 v =y −1 plano z
v
y 3
2
y =2−u v =1−u 2
Si y = 0 : u = x + 2 v =x −1 1
u
−3 −2 −1
u−v =3 −1
1 2 3 4
x
Si x = 1 : u = 3 − y v =y 1
−2
−3
u+v =3

Transformada
Transformada Inversa plano z −−−Inversa
−−−−−→ plano w
(plano xy ) (plano uv )
1 Lı́nea →
− Circulo
w=
z Circulo →
− Lı́nea
Forma Cartesiana: z = x + iy Forma Polar : z = re iθ
1 1 1
w= =⇒ z = w=
z w z
1 u − iv
x + iy = w = u + iv = Re iϕ
u + iv u − iv
u − iv 1 1
x + iy = 2 Re iϕ = iθ = e −iθ
u + v2 re r
u v 1
x + iy = 2 −i 2 R= ϕ = −θ
u + v2 u + v2 r
u v 1
x= 2 y =− 2 Re iϕ = iθ
u + v2 u + v2 re

Transformada Z , Mapeo: Transformada Inversa Notes

1
Encontrar la imagen de la lı́nea x − y = 1 sobre w =
z
1 1
w= =⇒ z =
z w
u v
x= 2 y =− 2
u + v2 u + v2
x −y =1 plano z
plano w
v
u v y
+ 2 =1
u2 + v 2 u + v2
u + v = u2 + v 2 1
1
2
x
2 2
u −u+v −v =0 1
u
2 2 1
−1 2
1 1 1
u− + v− =
2 2 2
(x − h)2 + (y − k)2 = r 2

1 1 1
(h, k) = , r= √
2 2 2

1
Encontrar la imagen de |z + 1| = 1 sobre w =
z
plano z
|z + 1| = 1 y
1
|(x + 1) + iy | = 1
p
(x + 1)2 + y 2 = 1
x
(x + 1)2 + y 2 = 12 −2 −1
x 2 + 2x + y 2 = 0
1 1 −1
w= =⇒ z =
z w plano w
u v v
x= 2 y =− 2
u + v2 u + v2
2 2 1
u 2u −v
+ + =0
u2 + v 2 u2 + v 2 u2 + v 2 u
− 12
1 + 2u 1 −1
= 0 =⇒ u = −
u2 + v 2 2

Propiedades inversión w = z1
1
Forma polar z = re iθ , w = Re iϕ . La inversión w = w
1 1 1
Re iϕ = = e −iθ =⇒ R = , ϕ = −θ
re iθ r r
|z| = r = 1 7→ |w | = R = 1; e iϕ = e −iθ
1
Mapping Inversion z
https://www.geogebra.org/m/qcghbyvc
1
w= : toda lı́nea recta o circulo 7→ circulo o lı́nea recta
z
Toda recta o circulo en el plano z:

A(x 2 + y 2 ) + Bx + Cy + D = 0 (A, B, C , D ∈ R)
Si A = 0 =⇒ recta en el plano z
Si A ̸= 0 =⇒ circulo en el plano z. En términos de z y z
z +z z −z
Azz + B +C +D =0
2 2i
Para w = z1 , sustituimos z = w1 y multiplicamos por w w
w +w w −w
A+B +C + Dw w = 0
2 2i
En términos de u y v
A + Bu − Cv + D(u 2 + v 2 ) = 0
Si D ̸= 0 =⇒ un circulo en el plano w
Si D = 0 =⇒ recta en el plano w
Mapeo Conforme Notes
¿Qué es Mapeo Conforme?
Si w = f (z) es una Función Analı́tica y f ′ (z) ̸= 0 en una región R del

plano z, entonces el mapeo w = f (z) es conforme.
Un mapeo w = f (z) se denomina conforme si preserva la magnitud y dirección

de los ángulos entre sus curvas orientadas
plano−z
plano−w
Conformidad: las imágenes C1∗ y C2∗ de C1 y C2 forman el mismo ángulo
α (0 ≤ α ≤ π) en magnitud y dirección
Ejemplo 1: verificar si w = z 2 es conforme.
(
f (z) es analı́tica ∀z ∈ D
Conforme
f ′ (z) ̸= 0
w = f (z) = z 2 =⇒ f (z) es analı́tica (polinomio)
f ′ (z) = 2z
Si z ̸= 0 =⇒ f (z) es conforme
∴ w = z 2 es conforme ∀z ∈ C excepto en z = 0

Ejemplo 2: verificar si w = e z es conforme.
(
f (z) es analı́tica ∀z ∈ D del plano z
Conforme
f ′ (z) ̸= 0
w = f (z) = e z =⇒ f (z) es analı́tica en todas partes
f ′ (z) = e z
Si z = 0 =⇒ e 0 = 1
∴ w = e z es conforme ∀z ∈ C
Mapeo Conforme. Transformación especial w = z 2 Notes
w = z2
Forma Cartesiana Forma Polar
u = x2 − y2 R = r2
v = 2xy ϕ = 2θ
Forma Cartesiana: ecuación de lı́nea

Forma Polar: ecuación de la circunferencia
w =z 2
plano z −−−→ plano w
Lı́nea →
− Parábola
Forma Cartesiana Forma Polar
w = z2 w = z2
2
u + iv = (x + iy )2 Re iϕ = re iθ
u + iv = x 2 + 2ixy − y 2 Re iϕ = r 2 e i2θ
u = x2 − y2 v = 2xy R = r2 ϕ = 2θ

1
Ejemplo 1: Encontrar la imagen de la región ≤ x ≤ 1 sobre w = z 2
2
plano z
w = z2 y
u = x2 − y2 v = 2xy
1
Si x = =⇒ x
2 0.5 1
1
u= − y2 v = y
4
1
v2 = − u −
4 plano w
v
(y − y0 )2 = 4a(x − x0 ) (parábola)
2
1
(x0 , y0 ) = , 0 vértice
4 1
2 u
2
Si x = 1 =⇒ u = 1 − y v = 2y 1
4
1
v2
u =1− =⇒ v 2 = −4(u − 1)
4

Ejemplo 1.1: Mapeo w = f (z) = z 2

Coordenadas cartesianas: z = x + iy
u = ℜ(z 2 ) = x 2 − y 2 v = ℑ(z 2 ) = 2xy
x = c mapeadas sobre u = c 2 − y 2 , v = 2cy =⇒ v 2 = 4c 2 (c 2 − u)

y = k mapeadas sobre v 2 = 4k 2 (k 2 + u)
4 v 4 v
3 3
2 2
1 1
u u
−5 5 −5 5
−1 −1
1 −2 −2 1
x= 2
y= 2
−3 −3
−43 y =2 −4 3
x= x =2 y= 2
2 y =1
x =1
Ejemplo 2: Demostrar que la imagen de la circunferencia |z − 1| = 1 sobre w = z 2 es el

cardioide R = 2[1 + cos (ϕ)]
|z − 1| = 1 =⇒ |(x − 1) + iy | = 1
p
(x − 1)2 + y 2 = 1
(x − 1)2 + y 2 = 1
r 2 = 2r cos (θ)
2 2
x − 2x + y = 0 2
r 2 = 4r 2 cos2 (θ)
Forma Polar w = z 2
1
ϕ 2 i2θ 2
R 2 = 4R [1 + cos (2θ)]
Re = r e =⇒ R = r ϕ = 2θ 2
R = 2 [1 + cos (ϕ)]
x = r cos (θ) y = r sin (θ)
[r cos (θ)] − 2r cos (θ) + [r sin (θ)]2 = 0
2
r 2 − 2r cos (θ) = 0

Ejemplo 3: Mapeo w = f (z) = z 2

Polar: z = re iθ , w = Re iϕ =⇒ w = z 2 = r 2 e 2iθ
R = r 2 , ϕ = 2θ
Circunferencias r = r0 mapeadas sobre circunferencias R = r02
Rayos θ = θ0 sobre rayos ϕ = 2θ0
3 π π
Región 1 ≤ |z| ≤ , ≤θ≤
2 6 3
9 π 2π
Mapeo sobre región 1 ≤ |w | ≤ , ≤ϕ≤
4 3 3
y v
x u
1 2 −4 −3 −2 −1 1 2 3 4
Teorema 6.1 (Conformidad de Mapeo por funciones analı́ticas)

El mapeo w = f (z) por una función analı́tica f es conforme excepto en
puntos crı́ticos, es decir, en puntos donde la derivada f ′ (z) es cero
E.g.: w = f (z) = z 2 tiene un punto crı́tico en z = 0, donde

f ′ (z) = 2z = 0 y los ángulos se duplican, de modo que la conformidad
falla.

Mapeo Conforme. Transformación especial w = z n Notes
Ejemplo 4: Conformidad de w = z n
El mapeo w = z n , n = 2, 3, . . . es conforme, excepto en z = 0, donde
w ′ = nz n−1 = 0
n = 2 =⇒ w = z 2 : en 0, los ángulos se duplican
arg z = θ 7→ arg w = 2θ
n en general: los ángulo en 0 son multiplicados por un factor n sobre
el mapeo
π
0 ≤ θ ≤ 7→ semi-plano v ≥ 0
n
Mapeo por w = z n
1
Mapeo Conforme. Transformación especial w = z + z Notes
1
w = u + iv = r [cos (θ) + i sin (θ)] + [cos (θ) − i sin (θ)]
r
1 1
u = a cos (θ) v = b sin (θ) a=r+ , b=r−
r r
x2 y2
|z| = r 7→ elipse + 2 =1
a2 b
|z| = 1 7→ segmento − 2 ≤ u ≤ 2 sobre el eje u
w =z+ 1
z
plano z −−−−−→ plano w
Lı́nea →
− Hipérbola
θ definida
Circulo →
− Elipse
r definido

1
1
Ejemplo 1: Demostrar que la imagen del ángulo θ = β sobre w = z + es una ramificación de
z
hipérbola.
1
w =z+
z
1 −iθ (x − h)2 (y − k)2
u + iv = re iθ + e − =1 (hipérbola)
r a 2 b2
u + iv = r [cos (θ) + i sin (θ)] u2 v2
1 − =1
+ [cos (θ) − i sin (θ)] cos2 (θ) sin2 (θ)
r
u2 v2
1 − =1
u + iv = cos (θ) r + 2
cos (β) sin2 (β)
r

1
+ i sin (θ) r −
r plano z plano w
y v
1
u = cos (θ) r +
r

1 β x u
v = sin (θ) r −
r
u 1 v 1
=r+ =r−
cos (θ) r sin (θ) r
1
Ejemplo 2: Demostrar que la imagen de la circunferencia |z| = 2 es la elipse sobre

1
w =z+
z
|z| = 2 =⇒ r = 2
!2 !2
Centro: (0, 0) u v
+ =1
z = re iθ r+ 1
r
r− 1
r
1 u2 v2
w =z+
z + 3 2 = 1
5 2
1 −iθ 2 2
u + iv = re iθ + e
r

1 1
u + iv = cos (θ) r + + i sin (θ) r − plano z plano w
r r 2
y v
u v
1
= cos (θ) 1
= sin (θ)
r+ r
r− r
x u
−2 2
x2 y2
2
+ 2 =1 (elipse) −2
a b

1
1
Ejemplo 3: Mapeo w = z + . Aerofoil de Joukowski
z
1 (z + 1)(z − 1)
w ′ (z) = 1 − 2 =
z z2
′
w (z) = 0 en z = ±1, mapeo no es conforme
The Joukowski Mapping: Airfoils from Circles

https://demonstrations.wolfram.com/TheJoukowskiMappingAirfoilsFromCircles/
Mapeo Conforme. Transformación especial w = e z Notes
w = ez u + iv = e x [cos (y ) + i sin (y )]
u + iv = e x+iy u + iv = e x cos (y ) + ie x sin (y )
u + iv = e x e iy u = e x cos (y ) v = e x sin (y )
Caso 1: sea x = a, (x = const.)
u = e a cos (y ) v = e a sin (y )
u 2 + v 2 = e 2a plano z plano w
y v
2 2 2
(x − h) + (y − k) = r (circulo)
(h, k) = (0, 0) centro x u
a ea
a
r =e

a > 0
 e a > 1, r > 1
a<0 e a < 1, 0 < r < 1

a=0 e 0 = 1, r = 1


w = ez u + iy = e x [cos (y ) + i sin (y )]
u + iv = e x+iy u + iv = e x cos (y ) + ie x sin (y )
u + iv = e x e iy u = e x cos (y ) v = e x sin (y )
Caso 2: sea y = b, (y = const.)

plano z plano w
u = e x cos (b) v = e x sin (b) y v
v e x sin (b) sin (b) a
= x = = tan (b) x u
u e cos (b) cos (b) ea
v = u tan (b) lı́nea radial
|e z | = e x , Arg(z) = y
Lı́nea vertical x = x0 7→
circunferencia |w | = e x0
Lı́nea horizontal y = y0 7→ rayo
arg w = y0
Región fundamental
−π ≤ Arg z ≤ π 7→ plano w sin el
origen
0 < y ≤ π 7→ semi-plano superior
0 ≤ arg w ≤ π
parte izquierda (x < 0) 7→
dentro del disco |w | ≤ 1
parte derecha (x > 0) 7→
fuera del disco |w | ≤ 1

Ejemplo 1: Determinar y trazar la imagen de la región 0 ≤ x ≤ 1, 0 ≤ y ≤ π sobre

w = ez
w = ez u = e x cos (y ) v = e x sin (y )
Si 0 ≤ y ≤ π
sin (y ) ≥ 0 =⇒ 0 ≤ sin (y ) ≤ 1 sin (x) cos (x)
y y
Si 0 ≤ x ≤ 1 1 1
e0 ≤ ex ≤ e1 x x
1 1
0 ≤ e x sin (y ) ≤ e =⇒ v ∈ [0, e]
π
Si 0 ≤ y ≤ =⇒ cos (y ) ≥ 0 plano z plano w
2 y v
π 3π π e
Si ≤y ≤ =⇒ cos (y ) ≤ 0
2 2
− 1 ≤ cos (y ) ≤ 1
u
− 1 ≤ e x cos (y ) ≤ e
x
1 −1 e
− 1 ≤ u ≤ e =⇒ u ∈ [−1, e]
Mapeo Conforme Mapeos por medio de otras funciones
Transformación por otras funciones w = sin (z) Notes
w = sin (z)
u + iv = sin (x + iy )
sin (A + B) = sin (A) cos (B) + cos (A) sin (B)
u + iv = sin (x) cos (iy ) + cos (x) sin (iy )
cos (iy ) = cosh (y ) sin (iy ) = i sinh (y )
u + iv = sin (x) cosh (y ) + i cos (x) sinh (y )
u = sin (x) cosh (y ) v = sinh (y ) cos (x)

w = sin (z) u = sin (x) cosh (y ) v = sinh (y ) cos (x)
Caso 1: si x = a, (x = const.) Caso 2: si y = b, (y = const.)
u = sin (a) cosh (y ) u = sin (x) cosh (b)

v = sinh (y ) cos (a) v = sinh (b) cos (x)
u v u v
= cosh (y ) = sinh (y ) = sin (x) = cos (x)
sin (a) cos (a) cosh (b) sinh (b)
u2 v2 u2 v2
− = cosh 2
(y ) − sinh2
(y ) + = sin2 (x) + cos2 (x)
sin2 (a) cos2 (a) cosh2 (b) sinh2 (b)
u2 v2 u2 v2
2
− =1 2
+ =1
sin (a) cos2 (a) cosh (b) sinh2 (b)
x2 y2 x2 y2
2
− 2 =1 hipérbola 2
+ 2 =1 elipse
a b a b
w = u + iv = sin (z) = sin (x) cosh(y ) + i cos (x) sinh(y )

u = sin (x) cosh(y ) v = cos (x) sinh(y )
sin (z) periodo 2π sin2 (x) + cos2 (x) = 1

Franja vertical cosh2 (y ) − sinh2 (y ) = 1
1 1
S : − π≤x ≤ π u2 v2
2 2 2
− = cosh2 (y ) − sinh2 (y ) = 1
sin (x) cos2 (x)
π u2 v2
f ′ (z) = cos (z) = 0, z = ± : + = sin2 (x) + cos2 (x) = 1
2 2
cosh (y ) sinh2 (y )
puntos crı́ticos

Ejemplo 1: Mapeo de un rectángulo por w = sin (z)
Lados verticales x = A y x = D 7→ − cosh(1) ≤ u ≤ −1 y

1 ≤ u ≤ cosh(1) (v = 0)
Ejemplo 2: Demostrar que la transformada w = sin (z) mapea la mitad superior (y > 0) de la
π
lı́nea x = c1 , para − < c1 < 0 en una relación uno-a-uno sobre el semi-plano (v > 0) de la
2
u2 v2
rama izquierda de la hipérbola 2
− =1
sin (c1 ) cos2 (c1 )
u2 v2
w = sin (z) u = sin (c1 ) cosh (y ) v = sinh (y ) cos (c1 ) 2
− =1
sin (c1 ) cos2 (c1 )
π plano w
y >0 − < c1 < 0 plano z v

2 y
u = sin (c1 ) cosh (y ) =⇒ u<0

| {z } | {z }
<0 (−) >0 (+) x
u
−1 1
− π2
v = sinh (y ) cos (c1 ) =⇒ v >0

| {z } | {z }
>0 (+) >0 (+)

Función Coseno

1
w = cos (z) = sin z + π
2
1
Mapeo w = sin (z) precedido por una traslación hacia la derecha π
2
unidades
Función Seno Hiperbólico
w = sinh(z) = −i sin (iz)
Rotación antihoraria Z = iz seguida por el mapeo Z ∗ = sin (Z ), seguida

por otra rotación horaria w = −iZ ∗
Transformaciones Fraccionarias Lineales. Transformada Möbius,

Mapeo Conforme Transformada Bilineal
Transformaciones Fraccionarias Lineales Notes
Definición 6.1 (Transformación Möbius—Transformación Bilineal

—Transformación Fraccionaria Lineal)
az + b Mapeo Inverso
w=
cz + d
dw − b
z=
a, b, c, d: constantes complejas o −cw + a
reales tal que ad − bc ̸= 0
(
′ a(cz + d) − c(az + b) ad − bc f (z) es analı́tica
w = =
(cz + d) 2 (cz + d)2 f ′ (z) ̸= 0 si ad − bc ̸= 0
w =z +b (Traslación)
w = az |a| = 1 (Rotación)
w = az + b (Transformación Lineal)
1
w= (Inversión en el cı́rculo unitario)
z
Plano Complejo Extendido: plano complejo + ∞
az + b
Mapeo Bilineal w =
cz + d
Si cz + d ̸= 0 =⇒ z 7→ w
d c
Si c ̸= 0 ∧ z = − =⇒ cz + d = 0 z = − 7→ w = ∞
c d
a
Si z = ∞ =⇒ w = si c ̸= 0 ∧ w = ∞ si c = 0
c
dw − b
Mapeo Bilineal Inverso z =
−cw + a
Si − cw + a ̸= 0 =⇒ w 7→ z
a a
Si c ̸= 0 ∧ w = =⇒ −cw + a = 0 w= 7→ z = ∞
c c

Puntos Fijos w = f (z): puntos que son mapeados sobre si mismos (“se
mantienen fijos”)
w = f (z) = z
Mapeo Identidad w = z: todos puntos fijos

w = z: infinidad puntos fijos
1 1 √
w= : 2 puntos fijos z = =⇒ z = ± 1
z z
Rotación w = az |a| = 1: 1 punto fijo
Translación: ningún punto fijo en el plano finito

Puntos Fijos
az + b
w= (ad − bc ̸= 0)
cz + d
w =z mapeo identidad
az + b
z= =⇒ cz 2 − (a − d)z − b = 0
cz + d
Teorema 6.2 (Puntos Fijos)

Una transformación fraccionaria lineal, no la identidad, tiene cuando
mucho dos puntos fijos. Si se sabe que una transformación fraccionaria
lineal tiene tres o más puntos fijos, entonces debe ser el mapeo identidad
w =z

Teorema 6.3 (Circunferencias y Rectas)

az + b
Toda transformación fraccionaria lineal w = mapea todas las
cz + d
circunferencias y rectas en el plano z sobre todas las circunferencias y
rectas en el plano w

Mapeo Conforme Transformaciones Fraccionarias Lineales Especiales
Transformaciones Fraccionarias Lineales Especiales Notes
Teorema 6.4 (Tres puntos y sus imágenes dadas (cross ratio))
Tres puntos distintos dados z1 , z2 , z3 siempre pueden transformarse sobre

tres puntos distintos prescritos w1 , w2 , w3 mediante una, y sólo una,
transformación fraccionaria lineal w = f (z). Este mapeo está definido
implı́citamente por la ecuación
w − w1 w2 − w3 z − z1 z2 − z3
· = ·
w − w3 w2 − w1 z − z3 z2 − z1
(Si uno de estos puntos es el punto ∞, entonces el cociente de las dos
diferencias que contienen a este punto debe sustituirse por 1)
Mapeo semiplanos 7→ discos: semi-plano y ≥ 0 7→ disco unitario |w | ≤ 1

E.g.: Encontrar la transformación fraccionaria lineal que mapea z1 = −1, z2 = 0, z3 = 1
sobre w1 = −1, w2 = −i, w3 = 1.
w − w1 w2 − w3 z − z1 z2 − z3 plano z
· = · y
w − w3 w2 − w1 z − z3 z2 − z1
w − (−1) −i − 1 z − (−1) 0 − 1
=
w − 1 −i − (−1) z − 1 0 − (−1) x
z −i plano w
w=
−iz + 1 v y =5
x = −2 x =2 y =1
y = 1/2
x−i
z = x =⇒ −ix+1
=⇒ |w | = 1 y =0
x = −1 x =1
u
z = i =⇒ w = 0 1
x = −1/2 x = 1/2
z = 0, i, ∞ 7→ w = −i, 0, i
eje ℑ positivo
z 7→ S : u = 0, −1 ≤ v ≤ 1

Ejemplo 2: Ocurrencia de ∞ (Transformación de Cayley )

Determinar la transformación fraccionaria lineal que mapea z1 = 0, z2 = 1, z3 = ∞ sobre
w1 = −1, w2 = −i, w3 = 1
plano z
y
w − w1 w2 − w3 z − z1 z2 − z3
· = ·
w − w3 w2 − w1 z − z3 z2 − z1 x
w − (−1) −i − 1 z −0 1−∞ plano w

· = ·
w −1 −i − (−1) z −∞ 1−0 v y =0
x = −1
1−∞ x = −1/2
x = −2 y = 1/2
=1 y =1
z −∞ y =5
z −i u
w = 1
z +i x = 1/2
x =2
x =1
Ejemplo 3: Mapeo del disco unitario sobre el semi-plano derecho: Encontrar la

transformación fraccionaria lineal que mapea z1 = −1, z2 = i, z3 = 1 sobre
w1 = 0, w2 = i, w3 = ∞.
1+z plano z
w= y
1−z
Si |z| < 1 x
!
1+z 1 1+z 1+z
ℜ = +
1−z 2 1−z 1−z y = .4
plano w
v
x = .6 y = .1
1 1+z 1+z 1 2 − zz
= + = x = .4
2 1−z 1−z 2 |1 − z|2 y = .9
x = −.4
2
1 − |z| u
= >0
|1 − z|2 y = −.9
y = −.1
w −1 y = −.4
z=
w +1

Ejemplo 4: Mapeo semi-plano y ≥ 0 7→ semi-plano v ≥ 0: Encontrar la

transformación lineal que mapea los puntos z1 = −2, z2 = 0, z3 = 2 sobre los puntos
w1 = ∞, w2 = 41 , w3 = 3
8
plano z
z +1
w=
2z + 4
x
x +1 −2 2
z = x =⇒ u = recta plano w
2x + 4 v
sobre x
iy + 1
z = iy =⇒ w =
2iy + 4 y =1
2 + y2
y =2
y x = −1
x =1
y =5
x = −3
u= v= u
2y 2 + 8 2y 2 + 8 1
semi-circunferencia y ≥ 0
Mapeo de discos sobre discos

Disco unitario en el plano z 7→ disco unitario plano w
z − z0
w= c = z̄0 |z0 | < 1
cz − 1
plano z plano w
y v x = 1/2
y = −1/2
x =0
x = −1/2
z = z0 7→ w = 0
y =0
1 x u
z0 = B A A∗ B∗
2 z0 1 z0 1
2z − 1 y = 1/2
=⇒ w =
z −2
Si |z| = 1, c = z̄0 , z z̄ = |z|2

z − z0
|z − z0 | = |z − z0 | = |z̄ − z̄0 | = |z̄ − c|
|w | = = |z − z0 | = 1
|z − z0 | = |z||z̄ − c| = |z z̄ − zc| = |1 − cz| cz − 1 cz − 1
|z − z0 | = |cz − 1|

Mapeo de regiones angulares sobre el disco unitario

Combinación: transformaciones fraccionarias lineales + transformación
w = z n (n entero mayor que 1)
π π
E.g.: mapear la región angular D : − ≤ arg(z) ≤ sobre el disco
6 6
unitario |w | ≤ 1
Z = z 3 mapea D sobre la mitad derecha de Z
Z −1 z3 − 1
w =i =⇒ w = i 3
Z +1 z +1
z3 − 1
Mapeo de regiones angulares sobre el disco unitario: w = i
z3 + 1

Mapeos de Dominios Estándar

Principio
Definir tres puntos de frontera z1 , z2 , z3 del dominio D en el plano z.
Seleccionar sus imágenes w1 , w2 , w3 en la frontera de la imagen D ∗ de D
en el plano w . Obtener el mapeo ??. Verificar que D mapea sobre D ∗ , no
su complemento. De ser el caso, intercambiar los dos puntos w .
3B1B Complex Plane

https://www.desmos.com/calculator/bjdfrukc31

Análisis Complejo. Teorı́a Potencial
Outline Notes


6 Mapeo Conforme

Introducción Notes
Mapeo Conforme: función analı́tica compleja w = f (z) definida en

un dominio D
∀z ∈ C, f (z) : z 7→ w
Preserva magnitud y dirección de los ángulos entre sus curvas
orientadas, excepto en los puntos crı́ticos f ′ (z) = 0
Aplicación: problemas de potencial (problemas con valor en la

frontera). Teoria del Potencial
Ecuación Laplace ∇2 φ = 0: EDP modelo para gravitación,
electrostática, conducción calor en estado estacionario, flujo de fluidos
incompresibles
Caso en dos dimensiones: ∇2 φ = φxx + φyy = 0

Teorı́a del Potencial Notes
∇2 φ = 0
Ecuación de Laplace
∇2 φ = φxx + φyy = 0
Soluciones φ: funciones analı́ticas complejas Φ(z) = φ(z) + iψ(z)
Teorema 7.1 (Ecuación de Laplace)

Si f (z) = u(x, y ) + iv (x, y ) es analı́tica en un dominio D, entonces u y v satisfacen la ecuación
de Laplace
∇2 u = uxx + uyy = 0 ∇2 v = vxx + vyy = 0
en D y tienen segundas derivadas parciales continuas en D.
Análisis Complejo. Teorı́a Potencial Campos Electrostáticos
Campos Electrostáticos Notes
Ley Coulomb: fuerza eléctrica de atracción/repulsión entre

partı́culas cargadas
fuerza: gradiente de una función φ, potencial electrostático
todo punto que no existan cargas: ∇2 φ = 0
superficies φ =const.: superficies equipotenciales
Para todo punto P donde ∇φ ̸= ⃗0 =⇒ ∇φ ⊥ a la superficie

φ =const. a través de P
Problemas bidimensionales: φ independiente de una coordenada
∂2φ ∂2φ
∇2 φ = + =0
∂x 2 ∂y 2
lı́neas (curvas) equipotenciales en el plano xy

Campos Electrostáticos. Ejemplo 1 (1/2) Notes
φ(x = −1) = φ1
φ(x = 1) = φ2
Potencial entre placas paralelas: Encontrar el
x
potencial φ del campo entre dos placas conduc- −1 1
toras paralelas que se extienden hasta el infinito y

que se mantienen a los potenciales φ1 y φ2 .
φ(−1) = a(−1) + b = φ1 φ′ (−1) = a

φ depende solamente de x: φ′′ = 0 φ(1) = a(1) + b = φ2 φ′ (1) = a
φ = ax + b 1 1
a = (φ2 − φ1 ) b = (φ2 + φ1 )
2 2
a, b: valores de frontera de φ
1 1
e.g., placas corresponden a x = −1 y φ(x) = (φ2 − φ1 ) x + (φ2 + φ1 )
2 2
x =1
φ(−1) = φ1 φ(1) = φ2
1 1
φ(x) = (φ2 − φ1 ) x + (φ2 + φ1 )
2 2
φ1 = 0 φ2 = 110

2
φ
=
Potencial entre cilindros coaxiales. Encon-
2)
(r
φ
1
φ
=
trar el potencial φ entre dos cilindros conductores
1)
(r
x
φ
coaxiales que se extiende hasta el infinito por am- r1 r2
bos extremos y se mantienen a los potenciales φ1

y φ2
φ′′ 1
φ depende solamente de =−
φ′ r
r = x 2 + y 2 : φ′′ = 0
p
ln φ = − ln r ′ + ae
′
r 2 urr + rur + uθθ = 0 a

φ′ =
r
uθθ = 0, u = φ φ(r ) = a ln (r ) + b (r1 ≤ r ≤ r2 )
r φ′′ + φ′ = 0 a, b :determinados por los valores
de φ en los cilindros
2
φ
=
Potencial entre cilindros coaxiales. Encon- 2)
(r
φ
1
φ
=
trar el potencial φ entre dos cilindros conductores

1)
(r
x
φ
coaxiales que se extiende hasta el infinito por am- r1 r2
bos extremos y se mantienen a los potenciales φ1

y φ2
(r1 ≤ r ≤ r2 )

φ(r ) = a ln (r ) + b 1 φ2 − φ1
b= φ1 + φ2 − [ln (r2 ) + ln (r1 )]
φ(r1 ) = φ1 φ(r2 ) = φ2 2 ln (r2 ) − ln (r1 )
φ(r1 ) = a ln (r1 ) + b = φ1 φ2 − φ1
φ(r ) = ln (r ) +
φ(r2 ) = a ln (r2 ) + b = φ2 ln (r2 ) − ln (r1 )

φ2 − φ1 1 φ2 − φ1
a= φ1 + φ2 − [ln (r2 ) + ln (r1 )]
ln (r2 ) − ln (r1 ) 2 ln (r2 ) − ln (r1 )
2b = φ1 + φ2 − a [ln (r1 ) + ln (r2 )] φ(r1 ) = φ1 φ(r2 ) = φ2


φ2 − φ1 1 φ2 − φ1
φ(r ) = ln (r ) + φ1 + φ2 − [ln (r2 ) + ln (r1 )]
ln (r2 ) − ln (r1 ) 2 ln (r2 ) − ln (r1 )
φ(r1 ) = φ1 φ(r2 ) = φ2
φ1 = 0 φ2 = 110
2 2.0 1
1.5
100
1.0
80
0.5
3
0.0 0 60
6 40
20

y
Potencial en una región angular. Encontrar el

2
φ
potencial φ entre las placas conductoras que se x

mantienen a los potenciales φ1 (placa inferior) y φ2 y
que forman un ángulo α, en donde 0 < α ≤ π (figura
φ1
2π
α= 3
)

1 1
a + b − α = φ1 a + b α = φ2
2 2
φ2 + φ1 φ2 − φ1
θ = Arg(z), (z = x + iy ̸= 0) es a= b=
constante sobre los rayos θ =const. 2 α
1 1
θ armónica; es la parte imaginaria de φ(x, y ) = (φ2 + φ1 ) + (φ2 − φ1 ) θ
2 α
una función analı́tica: Ln(z)
y
φ(x, y ) = a + b Arg(z) θ = tan−1
x
α α
φ = φ2 φ − = φ1
2 2

1 1
φ(x, y ) = (φ2 + φ1 ) + (φ2 − φ1 ) θ
2 α
y
θ = tan−1
x
α α
φ = φ2 φ − = φ1
2 2
φ1 = 0 φ2 = 110
1
3
100
75
0
50
25
0
3
Campos Electrostáticos. Potencial Complejo Notes
Definición 7.1 (Potencial Complejo Φ(z))

Sean φ(x, y ) armónica sobre algún dominio D y ψ(x, y ) una conjugada
armónica de φ en D. Entonces:
Φ(z) = φ(x, y ) + iψ(x, y )
es una función analı́tica de z = x + iy
Φ(z):
ψ Armónica conjugada de φ: Φ(z) = φ(x, y ) + iψ(x, y ) satisfacen
Cauchy-Riemman φx = ψy , φy = −ψx
ψ =const. intersecan con las lineas equipotenciales φ =const.
formando ángulos rectos (excepto en Φ′ (z) = 0)
dirección fuerza eléctrica: lineas de fuerza

Campos Electrostáticos. Potencial Complejo Notes

Ejemplo 1’: φ(x) = ax + b
ψ = ay Lineas de fuerza: rectas y =const. par-

Φ(z) = az + b = ax + b + iay alelas al eje x
Ejemplo 2’: φ = a ln (r ) + b
φ = a ln (|z|) + b
ψ = a Arg(z) Lineas de fuerza: rectas que pasan por
Φ(z) = a Ln(z) + b el origen
Ejemplo 3’: φ(x, y ) = a + b Arg(z)
i Ln(z) = i ln (z) − Arg(z)

[i Ln(z)] (−b) + a = a − ib Ln(z) Lineas de fuerza: circunferencias
Φ(z) = a + b Arg(z) − ib ln (|z|) concéntricas |z| =const.
Campos Electrostáticos. Superposición. Ejemplo 4 (1/3) Notes
Potencial de un par de lı́neas fuente (un par de cables cargados): Determinar el

potencial de un par de cables con cargas opuestas de la misma intensidad en los puntos
z = c y z = −c sobre el eje real.
z − c
φ1 = K ln (|z − c|) φ2 = −K ln (|z + c|) φ = ℜ {Φ(z)} = K ln = const.
z +c
Φ1 (z) = K Ln(z − c) Φ2 (z) = −K Ln(z + c)
ψ = ℑ {Φ(z)}
Φ(z) = Φ1 (z) + Φ2 (z)
ψ = K [Arg(z − c) − Arg(z + c)] = const.
Φ(z) = K [Ln(z − c) − Ln(z + c)]
ψ = K (θ1 − θ2 ) = const.
z
θ2
−
θ1
y
θ2 θ1 x
−c c Lineas equipotenciales y lı́neas de fuerza (discontinuas)

Φ(z) = K [Ln(z − c) − Ln(z + c)]

z − c
φ = ℜ {Φ(z)} = K ln = const.
z +c
ψ = ℑ {Φ(z)} = K [Arg(z − c) − Arg(z + c)] = const. = K (θ1 − θ2 ) = const.
(x, y), c = 1 (x, y), c = 1 400 (x, y), c = 1 30 (x, y), c = 1 30

400
20 20
300
400 300 400 30 10 30 10
300 20 20
300 10 10
200 200 200 0 0 0 0
100 200 100 10 10
20 20
30 10 30 10
100 100
1.5
1.0 1.5
1.0 1.5
1.0 20 1.5
1.0 20
0.5
0.0 0.5
0.0 0.5
0.0 0.5
0.0
1 0 0.5
1.0 1 0 0.5
1.0 1 0 0.5
1.0 30 1 0 0.5
1.0 30
1 2 1.5 1 2 1.5 1 2 1.5 1 2 1.5
400 30 30
1.5 400 1.5 1.5 1.5
20 20
1.0 1.0 300 1.0 1.0
0.5 300 0.5 0.5 10 0.5 10
0.0 0.0 200 0.0 0 0.0 0
0.5 200 0.5 0.5 0.5
10 10
1.0 100 1.0 100 1.0 1.0
20 20
1.5 1.5 1.5 1.5
30 30
1 0 1 2 1 0 1 2 1 0 1 2 1 0 1 2
Φ(z) = K [Ln(z − c) − Ln(z + c)]

z − c
φ = ℜ {Φ(z)} = K ln = const.
z +c
ψ = ℑ {Φ(z)} = K [Arg(z − c) − Arg(z + c)] = const. = K (θ1 − θ2 ) = const.
(z) = (z) + i (z), VF = x, y (z) = (z) + i (z), VF = y, x = x, y

2 2
400 400
1 1
300 300
0 0
200 200
1 1
100 100
2 2
1 1 0 1 1 0
2 0 2 2 0 2

Análisis Complejo. Teorı́a Potencial Uso del Mapeo Conforme
Uso del Mapeo Conforme Notes
Resolución problemas con valores en la frontera (problema de Dirichlet) para la

ecuación de Laplace:
1 Encontrar una solución en algún dominio D (asumir condiciones de frontera)
2 Usar mapeo conforme: mapear D en D ∗ para el cual se conoce la solución (o es
más fácil resolver)
3 Mapear la solución del dominio D ∗ al dominio D
Teorema 7.2 (Funciones armónicas bajo mapeo conforme)

Si φ∗ es armónica en un dominio D ∗ en el plano w . Suponer que w = u + iv = f (z) es
analı́tica en un dominio D en el plano z y mapea D de manera conforme sobre D ∗ .
Entonces, la función
φ(x, y ) = φ∗ (u(x, y ), v (x, y ))

es armónica en D
Uso del Mapeo Conforme. Ejemplo 1 (1/4) Notes
Encontrar el potencial entre los cilindros C1 : |z| = 1 (conectado a tierra, potencial

U1 = 0 V) y C2 : z − 25 = 25 cuyo potencial es U2 = 110 V.
Mapeo disco |z| = 1 sobre disco |w | = 1:
C2 7→ C2∗ : |w | = r0
z −b
w= , b = z0
bz − 1
4
0 7→ r0 ∧ 7→ −r0
5
4 4
0−b 5
−b − r0
r0 = = b − r0 = 4b = 4r5 0
0−1 5
− 1 5
−1

1
r0 = 2,
2
2z − 1
w = f (z) =
z −2
Φ∗ (w ) = a Ln(w ) + k =⇒
φ∗ (u, v ) = ℜ {Φ∗ (w )} = a ln (|w |) + k
ψ ∗ (z) = ℑ {Φ∗ (w )} = a Arg(w )

Encontrar el potencial entre los cilindros C1 : |z| = 1 (conectado a tierra, potencial U1 = 0) y

C2 : z − 52 = 25 cuyo potencial es U2 = 110 V.

∗
φ (u, v ) = a ln (|w |) + k
Si |w | = 1 =⇒ φ∗ = a ln (1) + k = 0, k = 0
Si |w | = r0 = 12 =⇒ φ∗ = a ln 12 + k = 110,

110
a= = −158.7
ln 12

2z − 1
Φ(z) = Φ∗ (f (z)) = a Ln
z −2

2z − 1
φ(z) = ℜ {Φ(z)} = a ln
z −2
ψ(z) = ℑ {Φ(z)} = a [Arg(2z − 1) − Arg(z − 2)]
2z − 1
φ(z) = const. si y solo si =const. =⇒ |w | =const. si
z −2
z − b
b = 12 en w = (lı́neas equipotenciales)
bz − 1
Rayos arg w = const. lı́neas de fuerza: arcos circulares

∗ 2z − 1 Φ∗ (w ) = a Ln(w )
Φ(z) = Φ (f (z)) = a Ln
z −2 2z − 1
a = −158.7 w = f (z) =
z −2
2 1.0 2 2.0
1 1
z = 25 0
0.8 1.5
0.6 100
1.0
0.4 20
75 0.5
0.2
3 3
0.0 0.0 0 40
0
50
6 6
60
25
4 4 80
0
5 5

(z) = (z) + i (z),

1.0
VF = r, r
1 (z) = (z) + i (z), VF =1.0 1r , r = r, r
1
2 2
1 z = 25 1 z = 25
0.8 0.8
100 100
0.6 0.6
0.4 0.4
75 75
0.2 0.2
3 3
0.0 0 0.0 0
50 50
6 6
25 25
4 0 4 0
5 5
Encontrar el potencial entre dos placas semicirculares P1 y P2 con potenciales −3000V y 3000V.
1 Mapeo disco unitario sobre mitad derecha plano w
1+z
w = f (z) =
1−z
|z| 7→ u = 0 (eje v )
z = −1, i, 1 7→ w = 0, i, ∞ y z = −1 7→ w = −i
Semicirculo superior 7→ mitad semiplano superior
Semicirculo inferior 7→ mitad semiplano inferior
2 Encontrar el potencial φ∗ (u, v ) en la mitad derecha del plano w
1 1 y
φ(x, y ) = (φ1 + φ2 ) + (φ2 − φ1 )θ θ = tan−1
2 α x
1 1
φ∗ (u, v ) = (−3000 + 3000) + (3000 + 3000)β
2 π
6000 v
φ∗ (u, v ) = β β = tan−1
π u
∗ ∗ 6000i
φ(u, v ) = ℜ {Φ (w )} =⇒ Φ (w ) = − Ln(w )
π
Ln(z) = ln(|z|) + i Arg(z)

Encontrar el potencial entre dos placas semicirculares P1 y P2 con potenciales −3000V y 3000V.
6000i 1+z
Φ∗ (w ) = − Ln(w ) w = f (z) =
π 1−z
3 Substituir el mapeo en Φ∗ (w ), obtener el potencial complejo Φ(z)

6000i 1+z
Φ(z) = Φ∗ (f (z)) = − Ln
π 1−z

6000 1 + z
+ i Arg 1 + z
φ(z) = ℜ − i ln
π 1−z 1−z

6000 1+z
φ(z) = Arg
π 1−z

6000 1 + z
ψ(z) = ℑ {Φ(z)} = − ln
π 1−z

1+z
φ(z) = const. arcos circulares Arg 1−z
=⇒ Arg(w ) =const.
(lineas equipotenciales)

1+z
ψ(z) = const. lineas de fuerza 1−z =⇒ Ln (|w |) = const.
(arcos circulares)
6000i
Φ(z) = Φ∗ (f (z)) Φ∗ (w ) = − Ln(w )
π
6000i 1+z 1+z
Φ(z) = − Ln w = f (z) =
π 1−z 1−z
2 1.0 1.0
1 2
0.8 1
3000 0.8 3000
0.6 0.6
2000 2000
0.4 0.4
0.2 1000 1000
3 0.2
3
0.0 0 0 0.0 0 0
6 1000 1000
6
2000 2000
4 3000 4 3000
5 5

(z) = (z) + i (z),

1.0
VF = r, r
1 (z) = (z) + i (z), VF =1.0 1r , r = r, r
1
2 2
1 3000 1 3000
0.8 0.8
0.6 2000 0.6 2000
0.4 0.4
1000 1000
0.2 0.2
3 3
0.0 0 0 0.0 0 0
1000 1000
6 6
2000 2000
4 3000 4 3000
5 5
Uso del Mapeo Conforme Notes
ANÁLISIS COMPLEJO, Una introducción visual e interactiva, Juan Carlos

Ponce Campuzano.
https:
//complex-analysis.com/contenido/tabla_de_contenidos.html

Diap 4

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Diap 4

Cargado por

Copyright:

Formatos disponibles

Notes

4. Funciones Analı́ticas Complejas

Semestre Marzo2022 - Agosto2022

Funciones dadas por Series de Potencias

2 Números Complejos. Funciones. 5 Series de Laurent. Integración Residuo

4 Series de Potencia. Series de Taylor 7 Análisis Complejo. Teorı́a Potencial.

Montero, Diego (MA-18563) Análisis Complejo 1 / 258

Campos Vectoriales Notes

Dado un campo escalar f (x, y , z), entonces ∇f es un campo vectorial.

¿Son todos los campos vectoriales el resultado del gradiente de una

No. Solo campos vectoriales especiales F⃗ = ∇f (campos gradientes)

Campos gradientes son irrotacionales

Campos gradientes son conservativos: trayectoria cerrada, no existe

Campo Vectorial ⊃ Campo Gradiente ⊃ Campo Potencial

Montero, Diego (MA-18563) Análisis Complejo 2 / 258

Campos Vectoriales Notes

Campo Vectorial ⊃ Campo Gradiente ⊃ Campo Potencial

F⃗ = −∇ϕ + ∇ × A⃗ Descomposición Helmholtz

Montero, Diego (MA-18563) Análisis Complejo 3 / 258

Campo Potencial. Ecuación de Laplace Notes

Campo Potencial: Estable, Incompresible, Irrotacional V

Montero, Diego (MA-18563) Análisis Complejo 4 / 258

Campo Potencial. Ecuación de Laplace Notes

Campo Potencial Estable Incompresible Irrotacional Ecuación Laplace

Montero, Diego (MA-18563) Análisis Complejo 5 / 258

Campo Potencial. Ecuación de Laplace Notes

Soluciones de ∇2 φ = 0: teorı́a de Varible Compleja z ∈ C

Φ(z) = φ(x, y ) + iψ(x, y )

Si Φ(z) es una función analı́tica, entonces φ(x, y ) y ψ(x, y )

Montero, Diego (MA-18563) Análisis Complejo 6 / 258

Campo Potencial. Ecuación de Laplace. Ejemplo Notes

Campo Potencial Estable Incompresible Irrotacional Ecuación Laplace

Potencial Complejo Φ(z):

Montero, Diego (MA-18563) Análisis Complejo 7 / 258

Campo Potencial. Ecuación de Laplace. Ejemplo Notes

Campo Potencial Estable Incompresible Irrotacional Ecuación Laplace

Montero, Diego (MA-18563) Análisis Complejo 8 / 258

Números Complejos — Funciones

Funciones dadas por Series de Potencias

2 Números Complejos. Funciones. 5 Series de Laurent. Integración Residuo

4 Series de Potencia. Series de Taylor 7 Análisis Complejo. Teorı́a Potencial.

Montero, Diego (MA-18563) Análisis Complejo 9 / 258

Plano Complejo z ∈ C Notes

f (z) : z 7→ z, función compleja

Rango de f (z) = {z|z ∈ C} — Plano w

Cálculo sobre funciones complejas

Montero, Diego (MA-18563) Análisis Complejo 10 / 258

Números Complejos — Funciones Funciones, Curvas y Regiones

Cı́rculos y Discos Notes

Regiones del plano z: dominio, rango, lı́mite, trayectorias, continuidad,

Circunferencia Unitaria Circunferencia Plano

Conjuntos Plano Complejo. Conceptos Notes

Conjunto de puntos: colección finita o infinita de puntos complejos

Números Complejos — Funciones Lı́mite. Derivada. Función Analı́tica

Función Compleja Notes

S conjunto de números complejos

w = f (z) = u(x, y ) + iv (x, y )

Montero, Diego (MA-18563) Análisis Complejo 13 / 258

Función Compleja, ejemplo 1 Notes

w = f (z) = z 2 + 3z. Encontrar u(x, y ), v (x, y ). Calcular f (z) para

Montero, Diego (MA-18563) Análisis Complejo 14 / 258

Números Complejos — Funciones Lı́mite. Derivada. Función Analı́tica

Función Compleja, ejemplo 2 Notes