Académique Documents
Professionnel Documents
Culture Documents
Números Complejos
Los números naturales N y números enteros Z aparecieron de manera natural al resolver ecuaciones como
x−5=3 x+5=3 x + 5 = 5.
z = a + bi 7→ (a, b),
donde a es la parte real de z la cual denotamos Re(z) y b es la parte imaginaria de z que denotamos por Im(z).
1
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
Geométricamente, los números complejos se pueden identificar con los puntos del plano haciendo corresponder
al complejo z = x + yi y el punto de coordenadas (x, y). De ahı́ que el conjunto C reciba el nombre de plano
complejo. En adelante, identificaremos
z = a + bi ≡ (a, b)
a + bi = c + di ⇔ a=c b=d
En particular, a + bi = 0 si y solo si a = b = 0.
1. Re(iz)
2. Im(iz)
DEM: Sean z, zk ∈ C luego z = a + bi ≡ (a, b), y zk = ak + bk i ≡ (ak , bk ) veamos las siguientes propiedades
I) z1 + z2 = z2 + z1 V) z1 z2 = z2 z1
(a1 , b1 )(a2 , b2 ) = (a1 a2 − b1 b2 , a1 b2 + b1 a2 )
(a2 , b2 )(a1 , b1 ) = (a2 a1 − b2 b1 , a2 b1 + b2 a1 )
III) z + 0 = z VII) z1 = z
(a, b) · (1, 0) = (a − b0, 0 + b) = (a, b) = z
IV) Existe −z ∈ C tal que z + (−z) = 0 VIII) Para z 6= 0 existe z −1 ∈ C tal que zz −1 = 1.
Definición 3. (Inverso)
a b
Si z ∈ C con z = a + bi 6= 0 entonces z −1 = , −
a 2 + b2 a 2 + b2
2
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
zw = 1 = 1 + 0i,
a b
Como z = a + bi 6= 0 entonces a2 + b2 6= 0, podemos ver que la solución a este sistema es x = ,y=− 2
a2 +b 2 a + b2
Ası́ que es inverso multiplicativo de z = a + bi el cual denotamos por z1−1 está dado por
a b a b
z −1 = w = − i ≡ , −
a 2 + b2 a 2 + b2 a 2 + b2 a 2 + b2
PROPIEDADES ALGEBRAICAS
z1 z1 + z2 z2 z2 z1 + z2 (11) (9) (11) z
2 z2
= = + = (z1 + z2 )z3−1 = z1 z3−1 + z2 z3−1 = +
z2 z3 z3 z3 z3 z3 z3
(9 (9)
(1 + z)2 = 1 + 2z + z 2 (1 + z)2 = (1 + z)(1 + z) = (1 + z)1 + (1 + z)z = 1 + z + z + z 2 = 1 + 2z + z 2
(9)
(−1)z = −z z + (−1)z = z(1 + (−1)) = z(0) = 0
1 1
=z = 1(z −1 )−1 = zz −1 (z −1 )−1 = z1 = z
1/z z −1
(z1 z2 )(z3 z4 ) = z1 [z2 (z3 z4 )] = z1 [(z2 z3 )z4 ] = z1 [(z3 z2 )z4 ] = z1 [z3 (z2 z4 )]
(z1 z2 )(z3 z4 ) = (z1 z3 )(z2 z4 )
= (z1 z3 )(z2 z4 )
(z1 z2 )(z1−1 z2−1 ) = (z1 z1−1 )(z2 z2−1 ) 1 1 1
= (z1 z2 )−1 = z1−1 z2−1 =
= (1)(1) = 1 z1 z2 z1 z2
z1 z2 z1 z2 z1 z2 1 1 1 1 1 z z
1 2
= = z1 z2 = z1 z2 = z1 z2 =
z3 z4 z3 z4 z3 z4 z3 z4 z3 z4 z3 z4 z3 z4
z1 z z1 z1 z z1 z z1 1 z1 −1 z1 z1
= = = z = zz = 1 =
z2 z z2 z2 z z2 z z2 z z2 z2 z2
3
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
El número |z| es la distancia del punto (a, b) al origen, osea la longitud del vector z.
La desigualdad z1 < z2 NO tiene sentido salvo que sean números reales, la desigualdad |z1 | < |z2 | SI tiene
sentido y significa que el punto z1 está más cercano al origen que el punto z2 .
Nótese que para todo λ ∈ R se tiene λ(x, y) = (λx, λy) = (λ, 0)(x, y)
5. z = z
z−z
2. Im(z) =
2i 6. z n = z n , n ∈ N
z z 1 1
3. z + w = z + w 7. ( ) = en particular ( ) =
w w̄ w w
z
2. zz = |z|2 . En particular z −1 =
|z|2 6. Re(z) ≤ |z|
Ejemplo 1. Calcule
4
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
(3 + 7i)2 (3 − 7i)2
Verifique =
8 + 6i 8 − 6i
(2 + i√5)(1 + i√3)3
Halle √ √
5+i 3
500
−3 + i
Ejemplo 2. Halle .
2i − 1
√ !100
1+i 3
1−i
Consecuencia: |z| − |w| ≤ |z − w|.
Dem: Primero recuerde que |z| − |w| ≤ |z − w| es equivalente a −|z − w| ≤ |z| − |w| ≤ |z − w|.
|w| = |w − z + z| ≤
5
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
z = r (cos θ + i sen θ) .
donde θ := arg(z) es un ángulo (cualquiera) formado por el eje real positivo con el
vector z. En adelante arg(z) es llamado argumento de z,
arg(z) NO es una función pues a z se le puede asociar θ o θ + 2π, ect. Es decir, puede tomar infinitos valores
posibles.
y
Un argumento para z puede hallarse a partir de la ecuación tan(θ) = pero hay que tener en cuenta que los
x
valores que arroja la calculadora siempre están entre (−π/2, π/2).
En general la forma polar se reescribe como
z = |z| cos(arg (z)) + i sin(arg (z))
Argumento principal de z
OBS: El argumento principal puede también definido en cualquier intervalo semiabierto I de longitud 2π,
ArgI : C − 0 → I. Por ejemplo
5π 5π
Arg[0,2π) (−1 − i) = Arg( π2 ,− 3π
2 ]
(−1 + i) = − .
4 4
6
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
Arg : C\{0} → (−π, π] es una función discontinua en R− ∪ {0}. Análogamente, Arg : C\{0} → [0, 2π) es
discontinua en R+ {0}.
Dado que el argumento principal de z depende del cuadrante donde se encuentra, usaremos los siguientes tips
para calcularlo.
tan−1 xy si x > 0 (osea z está en el I y IV cuadrante)
π
si x = 0 e y > 0 (osea z está en el semieje imaginario positivo)
2
y
Arg(z) = π + tan−1 x si x < 0 e y ≥ 0 (osea z está en el II cuadrante)
−1 y
−π + tan x si x < 0 e y < 0 (osea z está en el III cuadrante)
−2π
si x = 0 e y < 0 (osea z está en el semieje imaginario negativo)
π
SOL: No es difı́cil dar los argumentos principales, Arg(i) = 2 y Arg(−1 − i) = − 3π
4 . Por tanto,
nπ o n 3π o n 5π o
arg(i) ∈ + 2πk k∈Z arg(−1 − i) ∈ − + 2πk k∈Z = + 2πk k∈Z
2 4 4
Proposition 7. Sean z, z1 , z2 ∈ C.
7
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
Arg(−1 − i)
Arg(1 + i).
La forma polar de −1 + i
X∞ n ∞
X ∞
X
t t2n t2n+1
et = cos t = (−1)n sin t = (−1)n
n=0
n! n=0
(2n)! n=0
(2n + 1)!
Si z = x + iy ∈ C, la propiedad et+s = et es sugiere definir ez = ex eiy . Pero que es eiy ?. Observe que de la
definición de et encontramos que
X∞ ∞
X X∞ X∞ X∞
(iy)n (iy)n (iy)n (iy)2m (iy)2m+1
eiy = = + = +
n=0
n! n=par
n! n=impar
n! m=0
(2m)! m=0
(2m + 1)!
∞
X X∞
y 2mm y 2m+1
= (−1) +i (−1)m
m=0
(2m)! m=0
(2m + 1)!
= cos(y) + i sen(y)
1
Para θ ∈ R tenemos entonces que eiθ = cos(θ) + i sen(θ).
La forma polar de z se puede escribir de la siguiente manera z = reiθ .
Si z ∈ R, la exponencial compleja se reduce obviamente a la exponencial real.
Ejemplo 5. Algunos valores para eiθ
Proposition 9. (Propiedades de ez )
Para todo z, w ∈ C
8
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
z = 0 + 2πk (k ∈ Z)
6) Directa
7) ez = ez+w ⇔ ew = 1 entonces w = 2πki (k ∈ Z)
Para finalizar esta sección expresemos cualquier z ∈ C en forma exponecial
Definición 10. (Forma Exponencial de z)
Para forma o representación exponencial de un complejo z está dada por
z = Reiθ 0 ≤ θ ≤ 2π
z = z0 + Reiθ 0 ≤ θ ≤ 2π
Esto se puede ver vectorialmente (ver figura) sin más que observar que un punto
z que recorre la circunferencia |z − z0 | = R una vez en sentido antihorario
corresponde a la suma de vector fijo z0 y de un vector de longitud R cuyo
ángulo de inclinación θ varia entre 0 ≤ θ ≤ 2π.
Fórmula de de Moivre
para n = 1, z 1 = reiθ .
Hip Inductiva Supongamos que la ecuación es valida para n = m es decir, z m = rm eimθ .
Demostremos la validez para n = m + 1
z m+1 = zz m = (reiθ ) rm eimθ = rm+1 ei(m+1)θ
9
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
Queda demostrado ası́ para todo entero positivo. Asimismo si adoptamos el convenio de z 0 = 1, entonces tambien
es valida para n = 0. Y que paso cuando n es negativo? Resp/ la ecuación se reescribe de la siguiente forma
z n = (z −1 )−n − n = 1, 2, 3 . . .
Dado que (1.2) es valida para los positivos entonces
1 −n 1 −n
z n = (z −1 )−n = ei(−θ) = ei(−n)(−θ) = rn einθ
r r
Entonces,
cos(3θ) = cos(t)3 − 3 cos θ sin2 θ sin(3θ) = 3 cos2 sin θ − sin3 θ
√ 7
Ejemplo 7. Hallar 3+i
√ π
SOL: No es difı́cil ver que Arg( 3 + i) = 6.
Luego usando la formula de Moivre
√ 7 π 7 7π √3 i √
i( 6 ) 7 i( 6 ) 7
3 + i = 2e =2 e =2 − − = −64 3+i
2 2
Ejemplo 8. Hallar (1 − i)23
Pero, − 23π
4 =
π
4 − 6π. Por tanto,
√ 23π √ π √ √2 √
2
(1 − i)23 = ( 2)23 ei(− 4 ) = ( 2)23 ei( 4 ) = ( 2)23 +i
2 2
z1 = r1 eiθ1 y z1 = r1 eiθ2
r1 = r2 y θ1 = θ2 + 2πk k = 1, 2, . . ..
Esta importante observación, unida a la expresión z n = rn einθ es útil para hallar las
raı́ces n-ésimas de un número complejo z0 = r0 eiθ0 . El método se basa en que una
raı́z n-ésima de z0 es un número complejo no nulo z = reiθ tal que
10
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
Ejemplo 9. Halle las n-raı́ces de la unidad, esto es, halle las soluciones de z n = 1.
SOL: Observe que 1 = 1ei(0+2πk) con k ∈ Z. Las n soluciones a esta ecuación están dadas por,
0 2πk 2πk
ck = 11/n = (1)1/n ei( n + n ) = ei( n )
11
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
Por tanto,
π √ π 7π √
c0 = 2ei(− 6 ) = 3 − i, c1 = 2ei( 2 ) = 2i c2 = 2ei( 6 ) = − 3 − i.
Por tanto,
π 3π 17π
c0 = (2)1/6 ei( 12 ) , c1 = (2)1/6 ei( 4 ) c2 = (2)1/6 ei( 12 )
Las secciones cónicas proporcionan ejemplos adicionales de conceptos vista hasta ahora.Aunque pueden utilizarse
las fórmulas d ela geometrı́a analı́tica con x = Re(z) y z = Im(z), es fácil definir las secciones cónicas en términos
de distancia.
Definición 13. (Cónica: Elipse)
Una elipse se define como el conjunto de todos los puntos z ∈ C tales que la suma
de sus distancia a dos puntos fijos z0 , z1 ∈ C, llamados focos, es constante. En otras
palabras, satisfacen la siguiente ecuación:
Ejemplo 13. ¿Cuál es la ecuación compleja de la elipse que pasa a través de i y que tiene
sus focos en ±1?
¿Como hallamos la constante c? Resp/ dado√que la elipse pasa por z = i entonces debe
cumplir esta ecuación c = |i − 1| + |i + 1| = 2 2. Ası́ la ecuación de la elipse es:
√
|z − 1| + |z + 1| = 2 2
12
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
x2
y=
4
Ejemplo 15. Cuál es la ecuación de la hipérbola con focos ±1 que pasa por el punto 1 + i.
¿Como hallamos la constante c? Resp/ dado que la hipérbola pasa por z = 1 + i entonces debe cumplir esta
√
ecuación c = |1 + i − 1| − |1 + i + 1| = 5 − 1. Ası́ la ecuación de la hipérbola es:
√
|z − 1| − |z + 1| = 5 − 1
ε-ENTORNO esta región es la que nosotros llamamos disco abierto con centro
en z0 y radio ε.
|z − z0 | < ε
ENTORNO PERFORADO su inecuación esta dada por
0 < |z − z0 | < ε
13
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
LÍNEAS: Sea L una linea recta en C. Del álgebra lineal sabemos que L está deter-
minada por un punto en L y un vector director. Ası́ que si z1 en cualquier punto en
L y z2 es su vector director entonces
Si z2 6= 0 entonces
z − z1 z − z1
L= z∈C:t= = z ∈ C : Im =0
z2 z2
SEMIPLANOS n o
Semiplano superior z ∈ C : Im z−z 1
> 0 .
n z2 o
Semiplano inferior z ∈ C : Im z−z
z2
1
<0
i) Re(z) = 3.
iii) |2z − i| = 4.
v) |z − 3| − |z + 3| = 4.
Ejemplo 17. Analicemos algunas regiones
b) Grafique −2 ≤ Re(z) ≤ 3.
Ejercicio 4. Grafique
Re(z) < 2.
Re(z − i) = 2
|z + i| = |z − i|
14
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
z2 + z2 = 2
Conjunto Abierto. Diremos que S es un conjunto abierto si todos sus puntos son interiores. Ejemplo:
ε-entorno con centro en z0 ∈ C y radio ε.
Punto Frontera. Diremos que a es un punto frontera de una región S ⊆ C si toda bola B(a; ǫ) contiene
puntos de S y que no están en S.
Punto de acumulación. Diremos que a es un punto de acumulación de una región S ⊆ C si toda bola
perforada B(a; ǫ) lo suficientemente pequeña contiene puntos de S.
Conjunto Arconexo. Si γ : [a, b] → S ⊂ C es continua se dice que es un arco en S de pro inicial γ(a) y
punto final γ(b). Un conjunto S se dice que es conexo por arcos cuando para cada par a, b ∈ S existe un
arco γ : [0, 1] → S de origen γ(0) = a y extremo γ(1) = b. Todo conjunto S conexo por arcos es conexo. El
recı́proco se cumple si S es abierto.
Dominio. Diremos que S es un dominio (o región) si es abierto y conexo. Ejemplo: un anillo (sin frontera)
r1 < |z − z0 | < r2 .
15
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
Note que
n o
L = {z + t(N − z) : t ∈ R} = {tN + (1 − t)z : t ∈ R} = (1 − t)x, (1 − t)y, t : t ∈ R
y L ∩ S 2 \ {N } = P implica que existe un t0 ∈ R\ {1} tal que P = (1 − t0 )x, (1 − t0 )y, t0 es decir,
x1 = (1 − t0 )x, x2 = (1 − t0 )y, x 3 = t0
y como x1 2 + x2 2 + x3 2 = 1 obtenemos
|z|2 − 1 2
(1 − t0 )2 (x2 + y 2 ) + t20 = 1 ⇒ t0 = ⇒ 1 − t0 =
|z|2 + 1 |z|2 + 1
2x 2y |z|2 − 1
Luego, x1 = , x 2 = y x 3 = . Por tanto, podemos definir la función
|z|2 + 1 |z|2 + 1 |z|2 + 1
φ :C → S 2 \ {N }
2x 2y |z|2 − 1
(x, y, 0) → φ(x, y) = 2
, 2 , 2
|z| + 1 |z| + 1 |z| + 1
la cual se puede extender a toda la esfera S 2 uniendo el infinito del plano complejo ∞ a los complejos
φe :C ∪ {∞} → S 2 \ {N }
e
z ∈ C → φ(z) = φ(z)
∞ → N,
C ∪ {∞} recibe el nombre de plano complejo extendido y se denota por C∞ . El método anteriormente explicado se
denomina proyección estereográfica y la esfera se llama esfera de Riemann.
Proposition 16. (Cı́rculos enviá en cı́rculos)
Bajo la proyección estereográfica, cı́rculos en la esfera corresponden a cı́rculos y lineas
rectas en el plano.
x2 + y 2 + ax + by + c = 0 (1.3)
esta ecuación representa, o bien un circulo, un punto, o vació. Observe que si comple-
temos cuadrados, tenemos que
a 2 a 2 a 2 + b2
(x + + (y + = −c
2 2 4
2 2
Los tres posibles casos corresponden al hecho de que a +b 4 − c es positivo, cero, ó estrictamente negativo.
Consideremos un circulo en la esfera, el cual se expresa como la intersección de la esfera y un plano AX +BY +CZ =
D. La proyección estereográfica de este circulo sobre el plano C consiste de puntos z = x + iy ∈ C que satisfacen
2x 2y |z|2 − 1
A( ) + B( 2 ) + C( 2 )=D (1.4)
|z|2
+1 |z| + 1 |z| + 1
Reescribiendo
16
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
2A 2B −(C + D)
x2 + y 2 + a′ x + b′ y + c′ = 0, a′ = b′ = c′ =
C −D C −D C −D
es decir, tiene misma forma de la ecuación (1.3).
A 2 B 2 A2 + B 2 C +D A2 + B 2 + C 2 − D2
(x + + (y + = 2
+ = > 0?
C −D C −D (C − D) C −D (C − D)2
Ası́ que la proyección estereográfica de un circulo en C a la esfera es otro circulo contenido en la esfera.
El argumento es reversible, todo circulo en el plano es el foco de soluciones de una ecuación de la forma
x2 + y 2 + ax + by + c = 0
Al aplicar la proyección estereográfica a los puntos de este circulo, obtenemos una curva en la esfera. Ahora veamos
que esta curva es justamente un circulo en la esfera. Para ello basta mostrar que ψ(x, y) = (X, Y, Z) satisfacen la
ecuación de un plano AX + BY + CZ = D para algunos coeficientes A, B, C, D.
Teniendo en mente la ecuación del plano escrita en términos de las coordenadas x, y (ver 1.4), que es equivalente
a
(C − D)(x2 + y 2 ) + |{z} 2B y + − (C + D) = 0
2A x + |{z} (1.6)
| {z } | {z }
1 a b c
17
Capitulo II
Funciones Complejas
En esta sección vamos a estudiar funciones que dependen de una variable compleja f (z) y definiremos para ella
una teorı́a de la derivación.
Definición 17. (Función Compleja)
Una función de variable compleja es una función f : S ⊆ C −→ C, tal que f (z) = w.
Es decir, es una regla que asigna un número complejo w a cada número complejo z
de un conjunto S.
Quiero recalcar que para definir una función hacen falta dos ingredientes: Un dominio de definición y una regla
de asignación. Cuando no se haga mención explicita del dominio de definición se sobreentenderá que es el más
grande posible.
Y si escribimos a z = reiθ (forma polar) podemos expresar la función compleja de esta forma
Note que un función compleja f (z) consiste en unpar de funciones reales de dos variables reales, u(x, y) y
v(x, y) también para la forma polar u(r, θ), v(r, θ) .
Si v = 0 entonces f (z) = u(x, y) es una función real de una variable compleja, Por ejemplo f (z) = |z|2 =
x2 + y 2 o g(z) = Re(z) = x.4
Dada la transformación w = f (z) o, de manera equivalente, u = u(x, y), v = v(x, y), a (x, y) se le conoce
como coordenadas rectangulares del punto P en el plano z, y a (u, v) como coordenadas curvilı́neas de P .
Las curvas
u(x, y) = c1 , v(x, y) = c2 ,
donde c1 y c2 son constantes, se llaman coordenadas curvas, y cada par de estas curvas se intersecan en un
punto. Estas curvas se llevan a rectas ortogonales del plano w.
18
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
√ √
a) f : C → C definida como f (z) = 3 − 2i. Aquı́, dom(f ) = C .Si z = x + iy entonces f (z) = 3 − 2i y
√
u(x, y) = 3 v(x, y) = −2.
b) f : C → C definida como f (z) = z 2 . Aquı́ dom(f ) = C. Si z = x+iy entonces f (z) = (x+iy)2 = (x2 −y 2 )+i2xy
y por lo tanto
u(x, y) = x2 − y 2 v(x, y) = 2xy.
Otra forma de expresar esta función es utilizando coordenadas polares, si z = reiθ entonces
Por ende,
u(r, θ) = r2 cos(2θ) v(r, θ) = r2 sen(2θ).
1 z
c) f : C → C definida como f (z) = = 2 . Dom(f ) = S = C\{0}. Si z = x + iy entonces
z |z|
x − iy x −y
f (z) = 2 2
= 2 2
+i 2 .
x +y x +y x + y2
De aquı́ concluimos
x y
u(x, y) = v(x, y) = − .
x2 + y2 x2 + y2
Por otra parte, usando coordenadas polares z = reiθ tenemos que
z reiθ 1 1 1
f (z) = 2
= 2
= e−iθ = cos(θ) − i sen(θ).
|z| r r r r
Luego,
1 1
u(r, θ) = cos(θ) v(r, θ) = − sen(θ).
r r
p(z) = a0 + a1 z + a2 z 2 + · · · + an z n
Sol: Las raı́ces están dadas por la ecuación p(z) = 0 y como es un polinomio cuadrático, las raı́ces están dadas
por
p(z)
f (z) = ,
q(z)
donde p(z) y q(z) son polinomios complejos. Note que su dominio está dado por
S = {z ∈ C : q(z) 6= 0} .
19
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
z + 5i
Por ejemplo f (z) = es una función racional compleja.
z 3 + 2iz 2 − 5
az + b
Si función racional dada por f (z) = donde ad − bc 6= 0 son conocidas como Transformaciones de
cz + d
Möbius que son muy importantes en las aplicaciones de fı́sica e ingenierı́a eléctrica. (la veremos después)
. z-plano w-plano
a) f (z) = z + 1
b) f (z) = iz
c) f (z) = z
20
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
Ahora si p
u(x, y) = x2 − y 2 = c1 ⇒ v(x, y) = 2xy = 2y y 2 + c1
donde c1 > 0 tenemos que f ({x − y = c1 }) = ({u = c1 }). Es decir, esta hipérbola se mapea en una recta vertical.
Si le colocamos una orientación a la hipérbola en z-plano esta induce una orientación a la curva u = c1 . Para
verificar la orientación inducida basta con estudiar la imagen de dos puntos cualesquiera.
Ahora, si consideramos las hipérbolas
c22
v(x, y) = 2xy = c2 ⇒ u(x, y) = x2 − y 2 = x2 −
4x2
Ası́ que, f ({xy = c2 }) = ({v = c2 }) esta hipérbola (rotada) se transforma en una recta horizontal v = c2 en el plano
w. Recuerde que una orientación en el z-plano induce una orientación el el w-plano. Basta tomar la imagen de dos
puntos cualesquiera.
Pregunta: Si S es el cuadrado limitado por las rectas x = 0, x = 1, y = 1, y = 0. f (S) =?
Note que f (S) es la región comprendida entre estas rectas y parábolas. Si queremos tener más datos para graficar
nuestra región podemos mapear los puntos de intersección de las rectas que limitan a S.
Veamos que el punto
Estudio mas general: Usando la forma exponencial w = z 2 = r2 ei2θ esto nos lleva a concluir que
21
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
z x x
Otra forma, Observe que f (z) = = 2 2
−i 2 entonces
zz x +y x + y2
x y
u(x, y) = 2 v(x, y) = − 2 (2.1)
x + y2 x + y2
Consideremos el circulo x2 +y 2 = 1 en el z-plano, luego u(x, y) = x y v(x, y) = −y, es decir, u2 +v 2 = 1 (orientacion
negativa).
1
Ejemplo 24. Halle la imagen del subconjunto S = {z ∈ C : |z − 1| < 1} bajo la función f (z) = .
z
SOL: observe que |z − 1| = 1 es equivalente a (x − 1)2 + y 2 = 1, por ende x2 + y 2 = 2x. Usando (2.1) encontramos
que p p
x 1 y 1 − (x − 1)2 x(2 − x)
u(x, y) = 2 2
= v(x, y) = − 2 2
=− =− ∈ R.
x +y 2 x +y 2x 2x
22
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
En conclusión
1
f (|z − 1| = 1) = {u = }.
2
Ahora la region S donde se mapea? Resp: Estudiemos
el mapeo de un z ∈ S, por ejemplo para z = 21 ya que
|z − 1| = 21 < 1 y f ( 12 ) = 2 que pertenece a la región que
está al lado derecho de la recta u = 21 .
Ejemplo 25 (Mapeo de la función exponencial).
Analicemos diferentes mapeos de la función f (z) = ez
u(x,y) v(x,y)
z }| { z }| {
SOL: Observe que f (z) = ez = ex eiy = ex cos(y) +i ex sen(y). De aquı́, observemos que
|f (z)| = |ex ||eiy | = ex arg (f (z)) = y + 2nπ
Recta Horizontal Lh : y = c2 > 0: Observe que f (Lh ) = f (x + ic2 ) = ex eic2 y por tanto
|f (Lh )| = ex Arg(f (Lh )) = c2 = const
Esto implica que la función exponencial mapea rectas horizontales en rayos con argumento c2 .
En conclusión los segmentos verticales yhorizontales transforman en porciones de circunferencias y rayos,
respectivamente.
Más cositas
23
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
Las rectas verticales izquierdas x = −a, −π ≤ y < π se mapean en circulo de radio r < 1.
La región punteada del z-plano x < 0, −π ≤ y < π se mapea en 0 < |w| < 1 en el w-plano.
asi que los valores complejos ez y ez+2πik , con k ∈ Z, son idénticos. Por tanto, cada franja horizontal −π ≤
y − 2πk < π, con k = 0, ±1, ±2, . . . también se mapea en C\{0} y el mapeo ez : C −→ C\{0} manda un
número infinito de puntos de C al mismo punto en C\{0}.
Este resultado es indeseable, en vista de que no permite la discusión de una función inversa, excepto sobre
cada una de las franjas infinitas descritas anteriormente. La función inversa es verdaderamente importante,
porque la inversa de la exponencial real es el logaritmo. Para eliminar esta dificultad, imagine que el rango
del mapeo consiste en un numero infinito de copia de C\{0} apiladas en capas unas sobre otras, cada una
cortada a lo largo del eje real negativo con el borde superior de una capa “pegada” al borde inferior de la
capa superior, produciendo un conjunto R que asemeja un rampa infinita en espiral.
El conjunto R difiere de C\{0} en que cada punto de R queda determinado univocamente en coordenadas
polares, mientras que los puntos de C\{0} no se pueden determinar en la misma forma, porque el argumento
es multivaluado. Si utilizamos a R como el rango de la función ez y medimos distancias cortas en R de
la manera obvia, observamos que ez mapea a C continuamente en R y que el mapeo es uno a uno. Asi
ez : C −→ R tiene inversa, la cual estudiaremos más adelante.
Las funciones multivaluadas es una generalizaciónn del concepto de función pues consiste en una regla que asigne
a cada punto z del dominio más de un valor.
24
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
Note que ella es una función multivaluada pues a cada 0 6= z = reiθ le asigna dos valores
√ θ √ i( θ +π) √ θ
C0 = rei( 2 ) y C1 = re 2 = − rei 2 = −C0
Si restringimos 0 ≤ θ < 2π diremos que estamos en una rama de la función
multivaluada z 1/2 mientras si restringimos 2π ≤ θ < 4π estamos en otra rama
de la función. Con el fin de mantener la función unı́voca escogemos una ba-
rrera artificial (una semirrecta desde 0 sin incluir el punto) la cual acordamos
no cruzar. Esta barrera es conocida como rama y el punto 0 es el punto de
ramificación.
Ejemplo 27. La función f (z) = arg(z) es multievaluada y una de su ramas es el argumento principal −π <
Arg(z) < π.
Dem:
a) y b) directas de la definición.
c) y d) similares, hagamos la item c)
1 iz 1
cos z cos w − sen z sin w = e + e−iz ) eiw + e−iw − eiz − e−iz ) eiw − e−iw
4 4
1 1
= eiz eiw + e−iz e−iw = ei(z+w) + e−i(z+w)
2 2
= cos(z + w)
π
e) Hacer w = 2 en la fórmula para sen(z + w)
25
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
1 iz 1 1 1
cos z = e + e−iz = eiz + e−iz = eiz + e−iz = e−iz + eiz = cos(z)
2 2 2 2
k) Por el apartado e), basta probar la afirmación para la función sen z. De la identidad
w w w w w w
sin(z + w) − sen(z) = sen z + + − sen z + − = 2 sin( ) cos(z + )
2 2 2 2 2 2
se sigue que sin(z + w) − sen(z) = 0 para todo z ∈ C si y sólo si sen w2 = 0. Por el apartado i), esto es
equivalente a que w = 2πk (k ∈ Z) sea un múltiplo entero de 2 .
a) cosh(z) = cos(iz)
b) sinh(z) = −i sen(iz)
c) cosh2 z − sinh2 z = 1
d) sin(z) = sin(x + iy) = sin x cos(iy) + cos x sin(iy) = sin x cosh(y) + i cos x sinh y.
π
Si sin z es real si z ∈ R o si z = 2 + iy + kπ con y ∈ R y k ∈ Z.
Si cos y es real si z ∈ R o si z = iy + πk con y ∈ R y k ∈ Z.
sinh z iπ
e) tanh z = = −i tan(iz), (z 6= 2 + kπi, k ∈ Z)
cosh z
DEM:
26
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
ln x = y ⇐⇒ x = ey (⇒ x > 0)
En C sabemos que la función f (z) = ez NO es invertible al no ser inyectiva (por ser periodica). Por definición,
los posibles logaritmo de 0 6= z ∈ C son todos los complejos w ∈ C tales que
ew = z
log(−1) =
√
log(−1 − 3i) =
log(−2i) =
log(ez ) 6= z,
z1
log = log(z1 ) − log(z2 ), elog(z) = z.
z2
27
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
Ejemplo 29.
Note que Log (z1 z2 ) 6= Log (z1 ) + Log (z2 ) pues si z1 = −1 y z2 = i tenemos que
Log (z1 z2 ) = Log (−i) = −iπ/2 y Log (z1 ) + Log (z2 ) = iπ + iπ/2 = i3π/2
son diferentes.
Si z0 6= 0, la ecuación ew = z0 tiene por tanto infinitas soluciones, dadas por
w = log z0 = ln |z0 | + i arg (z0 ) + 2πk = ln |z0 | + iArg(z0 ) + 2πki; k∈Z:
Es decir, las soluciones difieren entre sı́ en 2πi. A cada solución w se les denomina logaritmos de z0 6= 0.
Ejemplo 30. Resuelva las siguientes ecuaciones
ez = −1.
ez = e2+i .
ez
Esta ecuación es equivalente 2+i = 1 ⇔ ez−(2+i) = 1 y aplicando la definición de logaritmo tenemos que
e
z − (2 + i) = log(1) = ln |1| + i2πk = i2πk, en otras palabras z = 2 + i(1 + 2πk).
28
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
log(i − z) = 1.
Potencias de la forma z w
z w = ew log(z)
ii =
i−2i =
23−i =
(−1 + i)i =
2.3. Lı́mites
La definición de lı́mite es esencialmente la misma que hemos aprendido en el cálculo.
Definición 30. (Limite )
Sea f (z) una función definida en una vecindad de z0 (excepto posiblemente en z0 )
lı́m f (z) = w0
z→z0
significa que dado ǫ > 0 existe δ > 0 tal que |f (z) − w0 | < ǫ siempre que 0 < |z − z0 | < δ.
29
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
Recordemos que la definición proporciona un medio para comprobar si un punto dado es un lı́mite de una función
pero no proporciona un método para calcularlo.
Ejemplo 32. Compruebe los siguientes lı́mites:
z 1+i
lı́m = .
z→1+i 4 4
1 + i z 1 + i |z − (1 + i)|
Nótese que f (z) −
4 = 4 − 4 = 4
. Por consiguiente, para cualquier número ǫ > 0,
f (z) − 1 + i < ǫ siempre que 0 < |z − (1 + i)| < 4ǫ.
4
iz i
lı́m = .
z→1 2 2
Nótese que
i iz
i i i |z − 1|
f (z) −
= − = (z − 1) = |z − 1| = .
2 2
2 2 2 2
i
Por consiguiente, para cualquier número ǫ > 0, f (z) − < ǫ siempre que 0 < |z − 1| < 2ǫ.
2
z
Ejemplo 33. Veamos que el lı́m no existe.
z→0 z
Observe que por el camino (real) z = (x, 0)
z x + i0
lı́m = lı́m =1
z→0 z z→0 x − i0
y=0 y=0
como obtuvimos un resultado diferente tenemos que este lı́mite no existe, pues
si existiese debe ser único.
Proposition 31. (Propiedades de limites )
Si lı́m f (z) y lı́m g(z) existen. Entonces
z→z0 z→z0
lı́m f (z)
f (z) z→z0
lı́m = siempre que lı́m g(z) 6= 0.
z→z0 g(z) lı́m g(z) z→z0
z→z0
Los ejemplos más sencillos son los polinomios complejos o funciones de variable compleja y valor real como
f (z) = |z|2 y g(z) = Re(z).
30
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
SOL: Esta función es continua en todo C excepto quiza en z = 2i. Por eso estudiamos la continuidad de f en
z = 2i. Para ello, observe que
z2 + 4 (z + 2i)(z − 2i)
lı́m f (z) = lı́m = lı́m = lı́m z + 2i = 4i.
z→2i z→2i z − 2i z→2i z − 2i z→2i
Por otro lado, note que existe f (2i) = 3 + 4i pero es evidente que este valor no coincide con el valor del lı́mite, por
ende f no es continua en z = 2i, y esto implica que f no es continua en todo su dominio.
Por otro lado, note que existe f (i) = 2i y como este valor coincide con el valor del lı́mite entonces f es continua en
z = i.
Nota: La suma, resta, el producto, el cociente y la composición de funciones continuas son funciones continuas
en su respectivo dominio de definición.
Teorema 33.
Si f (z) = u(x, y) + iv(x, y), z0 = x0 + iy0 , w0 = u0 + iv0 . Entonces
Dem: (ejercicio)
1
Ejemplo 36. Pruebe que el lı́m no existe.
z→0 z
1
Suponemos que lı́m existe por el teorema anterior deben existir los siguientes lı́mites
z→0 z
lı́m u(x, y) lı́m v(x, y).
(x,y)→(0,0) (x,y)→(0,0)
Pero observe que si consideramos el camino real (x, 0) en el primer lı́mite tenemos
x 1
lı́m u(x, y) = lı́m = lı́m = ∞
(x,y)→(0,0) (x,y)→(0,0) x2 + y 2 x→0 x
y=0 y=0
es decir, NO existe, ası́ que llegamos a una contradicción. De igual forma, si consideramos el camino imaginario
1
(0, y) en el segundo lı́mite vemos que también llegamos a un absurdo. Por tanto, el lı́mite lı́m no existe.
z→0 z
31
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
A veces resulta conveniente añadir al z-plano el punto del infinito denotado por ∞ y usarlo para calcular
limites relacionados con él. Al conjunto C ∪ {∞} es el plano complejo amplificado en se denota por C∞
Teorema 34. Si z0 y w0 son puntos de los z-planos y w-planos respectivamente. Entonces
1
i) lı́m f (z) = ∞ ⇔ lı́m = 0,
z→z0 z→z0 f (z)
ii) lı́m f (z) = w0 ⇔ lı́m f (1/z) = w0 ,
z→∞ z→0
1
iii) lı́m f (z) = ∞ ⇔ lı́m = 0.
z→∞ z→0 f (1/z)
iz + 3 2z + i 2z 3 − 1
1. lı́m = ∞, 2. lı́m = 2, 3. lı́m = ∞.
z→−1 z+1 z→∞ z+1 z→∞ z 2 + 1
2/z + i 2 + iz lı́m 2 + iz
z→0
f (1/z) = = lı́m f (1/z) = =2
1/z + 1 z+1 z→0 lı́m z + 1
z→0
2.4. Derivadas
La derivada de una función compleja de una variable compleja se define exactamente, de la misma manera que
el caso real del calculo elemental.
Definición 35 (Derivada).
Sea f : C → C una función definida en un entorno de z0 ∈ C. La derivada de f en z0 que
se denota por f ′ (z0 ) se define como
siempre que exista este lı́mite. Cuando existe la derivada de f en z0 diremos que f es
derivable (o diferenciable) en z0 .
32
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
Si se incrementa z0 en z se obtiene el punto Q. Este punto tiene como imagen Q′ en el w-plano. Por tanto,
de acuerdo con la figura, se ve que P ′ Q′ representa el número complejo ∆w = f (z0 + z) − f (z0 ). Se sigue que
la derivada en z0 (si existe) es
f (z0 + ∆z) − f (z0 ) P ′ Q′
lı́m = lı́m
∆z→0 ∆z Q→P P Q
es decir, el lı́mite del cociente de P ′ Q′ entre P Q cuando el punto Q tiende a P . Esta interpretación es sin
duda válida si z0 se sustituye por z. Es decir, la función derivada
f (z + ∆z) − f (z) dw
f ′ (z) = lı́m = .
∆z→0 ∆z dz
Dem En efecto,
33
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
Por otro lado, consideremos el camino imaginario (0, y) entonces ∆z = i∆y. Luego, ∆z = −i∆y = −∆z.
Por lo tanto, z + z = −z + z, esto es 2z = 0. Luego, la función sólo es derivable en ese punto z = 0 y no en todo C.
Sol:
Se dice que una función f (z) es analı́tica en un punto z0 si existe una vecindad |z − z0 | < δ
en la cual f ′ (z) existe que para toda la δ-vecindad.
Nota: Como sinónimos de analı́tica suelen usarse también los términos regular y holomorfa.
Es importante observar que si la derivada existe en un ÚNICO punto diremos que la función NO es analı́tica,
por ejemplo como la función f (z) = |z|2 que solo es derivable en z = 0.
Una función que sea analı́tica en todo C la llamaremos función entera. Un ejemplo de función entera serı́a la
función exponencial compleja como lo veremos y otro ejemplo sencillo serı́an los polinomios complejos.
f
Si f y g son analı́ticas en su dominio D, entonces f + g, f · g, g y f ◦ g son funciones analı́ticas en D.
z3 + 4 √
Ejemplo 42. El dominio de analiticidad de la función f (z) = 2 2
es C\{± 3, ±i}.
(z − 3)(z + 1)
34
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
ux = vy y uy = −vx .
Ahora como f ′ (z0 ) existe por hipótesis puedo elegir cualquier camino por ejemplo el camino real (x, 0), es decir
∆z = ∆x entonces la ecuación anterior se transforma
u(x0 + ∆x, y0 ) − u(x0 , y0 ) + i [v(x0 + ∆x, y0 ) − v(x0 , y0 )]
lı́m = ux (x0 , y0 ) + ivx (x0 , y0 ).
∆x→0 ∆x
Y si consideramos otro camino (0, y), esto es, ∆z = i∆y tenemos
NOTA: Las ecuaciones de Cauchy-Riemann son en honor al matemático francés Cauchy quién fue el que las
descubrió y utilizó y por el matemático alemán Riemann quién hizo de ellas un instrumento esencial en la teorı́a de
funciones de variable compleja.
Ejemplo 43.
1. Anteriormente probamos que la función f (z) = z 2 es derivable para todo z ∈ C. Ası́ que debe satisfacer las
ecuaciones de Cauchy Riemann. Recordemos que u(x, y) = x2 − y 2 y v(x, y) = 2xy
Luego f ′ (0) = 0.
35
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
3. Veamos que la función f (z) = Re(z) no es derivable ya que no satisface las ecuaciones de Cauchy-Riemann
ux = 1 6= 0 = vy y vx = 0 = uy .
Note que f ′ (z0 ) también se puede calcular si se conocen las derivadas parciales uy (x0 , y0 ) y vy (x0 , y0 ) de la
siguiente forma:
f ′ (z0 ) = −iuy (x0 , y0 ) + vy (x0 , y0 ).
Saber que una función satisface las ecuaciones de Cauchy-Riemann en un punto z0 no es suficiente para
asegurar que existe la derivada en ese punto. Un ejemplo que satisface estas condiciones es la función dada
por D. Menchoff en 1936
5
z , si z 6= 0
f (z) = |z|4
0, si z = 0
y
u(0, ∆y) − u(0, 0) 0
uy (0, 0) = lı́m = lı́m = lı́m 0 = 0
∆y→0 ∆y ∆y→0 (∆y)5 ∆x→0
similarmente obtenemos que vy (0, 0) = 1 y vx (0, 0) = 0. Sin embargo, f ′ (0) no existe pues
f (z) − f (0) f (z) z4
f ′ (0) = lı́m = lı́m = lı́m 4
z→0 z−0 z→0 z z→0 |z|
si consideramos el camino (x, 0) note que el lı́mite darı́a 1 pero si consideramos el camino (x, x) el lı́mite darı́a
−1, entonces el valor no fue único, por tanto el lı́mite no existe.
ux = v y y uy = −vx
36
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
u(x + ∆x, y + ∆y) − u(x, y) u(x + ∆x, y + ∆y) − u(x + ∆x, y) + u(x + ∆x, y) − u(x, y)
= .
∆z ∆z
Aplicando u es continua y diferenciable en la variable y entonces de TVM existe un c1 ∈ [y, y + ∆y] tal que
Analogamente, como u es continua y diferenciable en la variable x entonces de TVM existe un c2 ∈ [y, y + ∆y] tal
que
u(x + ∆x, y) − u(x, y)
ux (c2 , y) ≈
∆x
Por lo tanto,
37
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
x = r cos(θ) y y = r sen(θ).
Si f (z) = u(x, y) + iv(x, y) note que usando la regla de la cadena para funciones de dos variables
∂u ∂u ∂x ∂u ∂y
ur = = + = ux cos(θ) + uy sen(θ),
∂r ∂x ∂r ∂y ∂r
∂u ∂u ∂x ∂u ∂y
uθ = = + = ux (−r sen(θ)) + uy (r cos(θ)),
∂θ ∂x ∂θ ∂y ∂θ
∂v ∂v ∂x ∂v ∂y
vr = = + = vx cos(θ) + vy sen(θ),
∂r ∂x ∂r ∂y ∂r
∂v ∂v ∂x ∂v ∂y
vθ = = + = vx (−r sen(θ)) + vy (r cos(θ))
∂θ ∂x ∂θ ∂y ∂θ
Ahora, si suponemos que f satisface las ecuaciones de Cauchy Riemann, es decir, ux = vy y uy = −vx . Entonces
vθ = rur y uθ = −rvr .
rur = vθ , uθ = −rvr
de las ecuaciones de Cauchy-Riemann en (r0 , θ0 ) entonces f ′ (z) = e−iθ (ur + ivr ) existe.
1
Ejemplo 46. Estudie analiticidad de f (z) =
z
1 1 1 −1
SOL: Observe que f (z) = = e−iθ = cos(θ) +i sen(θ) . Note que
z r |r {z } | r {z }
u(r,θ) v(r,θ)
38
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
rur = vθ uθ = −rvr
Dado que las primeras derivadas parciales de u y v son continuas (urθ = uθr y vrθ = vθr ) por el teorema anterior
existe f ′ (z) = e−iθ (ur + ivr ) en C\{0}.
−iθ
′ −iθ cos(θ) sen(θ) −iθ e 1 1
f (z) = e − 2 +i 2 =e − 2 = − iθ 2 = − 2
r r r (re ) z
vθ = rur uθ = −rvr .
Luego, por el teorema anterior f ′ (z) existe f ′ (z) = e−iθ (ur + ivr ) en C\{0} y está dada por
1 θ 1 θ 1 1 2θ 1
f ′ (z) = e−iθ 2/3
cos( ) + i 2/3
sen( ) = 2/3 e−iθ eiθ/3 = 2/3 e−i( 3 ) = 2θ
3r 3 3r 3 3r 3r
3r2/3 ei( 3 )
1 1
= = 2/3 .
3(reiθ )2/3 3z
Regla de L’Hôpital
Demostración.
g(z) − g(z0 )
g(z) g(z) − g(z0 ) z − z0 g ′ (z0 )
lı́m = lı́m = lı́m = ′ .
z→z0 h(z) z→z0 h(z) − h(z0 ) z→z0 h(z) − h(z0 ) h (z0 )
z − z0
39
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
Dado que las funciones trigonométricas e hiperbólicas se definen a partir de la función exponencial compleja,
sus inversas se describen en términos de logaritmos complejos.
La inversa de la función seno la cual denotaremos por sen−1 (z) debe verificar lo siguiente:
Esto es equivalente a
eiw − e−iw
z= ⇐⇒ 2iz = eiw − e−iw .
2i
Multipliquemos la ecuación anterior por eiw y obtenemos
(eiw )2 − 2izeiw − 1 = 0
√
2iz ± −4z 2 + 4 √
Entonces eiw = = iz ± 1 − z 2 . Ahora aplicando logaritmo tenemos
2
p
log(eiw ) = log(iz + 1 − z 2 )
lo que implica
p p
iw + 2πk1 i = ln iz ± 1 − z 2 + i arg (iz ± 1 − z 2 )
p p
= ln iz ± 1 − z 2 + i Arg(iz ± 1 − z 2 ) + 2πk2
con k1 , k2 ∈ Z. Entonces
p p
iw = ln iz ± 1 − z 2 + i Arg(iz ± 1 − z 2 ) + 2(k2 − k1 )π
p
= log(iz ± 1 − z 2 )
Note que estas funciones son multivaluadas, pero cuando se usan ramas especı́ficas de la raı́z cuadrada y las
funciones logaritmicas, las tres funciones inversas se convierten en funciones univaluada, y podemos ver que ellas
serán funciones analı́ticas por ser composición de funciones analı́ticas.
Calculemos la derivada de la función sen−1 (z), utilizando la derivada de logaritmo y regla de la cadena
d i − z(1 − z 2 )−1/2 i(1 − z 2 )1/2 − z
sen−1 (z) = −i = −i .
dz iz + (1 − z 2 )1/2 (1 − z 2 )1/2 (iz + (1 − z 2 )1/2 )
Luego,
d 1
sen−1 (z) = .
dz (1 − z 2 )1/2
Similarmente,
d 1
cos−1 (z) = −
dz (1 − z 2 )1/2
40
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
y
d 1
tan−1 (z) = .
dz 1 + z2
Observe que la derivada de tan−1 (z) no depende de los valores adoptados por las raı́ces cuadradas, es decir, no
depende de la manera en que la función se haga univaluada.
Ejemplo 49. Calcule:
√ √ ln |1 + √2| + i(0 + 2πk)
sen−1 (−i) = −i log(1 ± 2) donde log(1 ± 2) = √
ln |1 − 2| + i(π + 2πk)
y escogiendo ramas especı́ficas de la raı́z cuadrada y del logaritmo tenemos que las derivadas de las funciones
univaluadas están dadas por
d 1
(senh−1 (z)) = ,
dz (1 + z 2 )1/2
d 1
(cosh−1 (z)) = 2 ,
dz (z − 1)1/2
d 1
(tanh−1 (z)) = .
dz 1 − z2
Ejemplo 50. Resuelva
1 1
tanh−1 (0) = log(1) = (ln(1) + 2πki) = iπk.
2 2
cos(z) = 2. Esto es equivalente a
eiz + e−iz = 4
√
y multiplicando por eiz tenemos que e2iz − 4eiz + 1 = 0, lo que implica que eiz = 2 ± 3 y aplicando logaritmo
obtenemos √
iz = log(2 ± 3),
√ √ √
en otras palabras, z = −i log(2 ± 3) = −i ln(2 ± 3) + i(0 + 2πk) = 2πk − i ln(2 ± 3).
41
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
cosh(z) = 0. Dado que cosh(z) = cosh(x) cos(y) + i senh(x) sen(y) tenemos que
cosh(x) cos(y) = 0 y senh(x) sen(y) = 0.
π
Como cosh(x) 6= 0 se tiene que cos(y) = 0 lo que implica que y = (2k + 1) . Utilizando esto en la segunda
2
π
ecuación obtenemos sen((2k + 1) ) = (−1)k 6= 0 lo que produce senh(x) = 0, esto es, x = 0. Luego,
2
π
z = (2k + 1) i.
2
En esta sección mapearemos lı́neas verticales y horizontales bajo la función seno. Para ello recordemos que
sen(z) = sen(x) cosh(y) +i cos(x) senh(y) .
| {z } | {z }
u(x,y) v(x,y)
42
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
Por lo tanto, la imagen de este tipo de rectas verticales son hipérbolas con semiejes sen(c0 ) y cos(c0 ). Dado que
sen2 (c0 ) + cos2 (c0 ) = 1 el foco de la hipérbola están en ±1. En general, uno puede decir, que las imágenes de los
casos anteriormente estudiados x = nπ y x = (2n + 1)π/2 son hiperbólas degeneradas.
Por otra parte, analicemos la imagen de las lı́neas horizontales.
Ası́ que estudiemos primero la imagen de y = 0.
Hxx + Hyy = 0.
| {z }
∆H
La temperatura T (x, y) en una placa delgada situada en el plano xy es con frecuencia una función armónica.
Otro ejemplo clásico de función armónica es el potencial electrostático que varı́a en el interior de una región del
espacio tridimensional libre de cargas.
Ejemplo 51. Sea T (x, y) = e−y sen(x) la temperatura en una semifranja 0 < x < π, y > 0. Demuestre que T es
armónica
SOL: Observe que las primeras derivas parciales están dadas por
Teorema 46.
Si una función f (z) = u(x, y) + iv(x, y) es analı́tica en un dominio D las funciones compo-
nentes u(x, y) y v(x, y) son armónicas en D.
43
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
DEM: Como f es analı́tica la ec. C-R se verifica, esto es, ux = vy y uy = −vx derivando aquı́ respecto a x (e y)
Ahora como las segundas derivadas parciales son continuas entonces uxy = uyx y vxy = vyx . Por tanto
NOTA: Note que el teorema anterior se verifica en la función T del Ejemplo 51 ya que ella es la parte real de la
función f (z) = e−y sen(x) − ie−y cos(x).
2xy x2 − y 2
Ejemplo 52. Demuestre que las funciones reales u = y v = son armónicas.
(x2 + y 2 )2 (x2 + y 2 )2
Claramente f (z) es analı́tica en todo punto z 6= 0, por Teorema afirmamos que u y v son armónicas en todo dominio
del plano xy que no contenga el origen.
Definición 47 (Funciones Armónicas Conjugadas).
Sea u, v dos funciones armónicas en un dominio D que verifican C-R se dice que v es
armónica conjugada de u:
Sol: Dado que la conjugada v esta relacionada con u por medio de C-R. ux = vy y uy = −vx . Por tanto,
vy = −6xy. Integrando aqui respecto a y, tenemos que
Ahora derivemos respecto a y y usando uy = −vx encontramos que 3y 2 −3x2 = 3y 2 −C ′ (x). Por tanto C(x) = x3 +C
y
v(x, y) = −3xy 2 + x3 + C
es la armónica conjugada de u.
OBS: Si v es armónica conjugada de u en un dominio D, NO necesariamente u es conjugada armónica de v en
D.
Ejemplo 54. v(x, y) = 2xy es armónica conjugada de u(x, y) = x2 − y 2 pero u(x, y) no es armónica conjuga de
v(x, y).
Principio de Reflexión
44
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
El siguiente teorema no enseña a predecir cuándo una función cumple el principio de Reflexión.
Teorema 49 (Prueba Principio de Reflexión).
Sea f una función analı́tica en un dominio D que contiene un segmento simétrico del eje x.
Entonces f (z) = f (z) para todo z ∈ D si y sólo si f (x) es real para todo x de ese segmento.
Ejemplo 55.
f (z) = z + 1. Note que como f es un polinomio complejo su dominio es C, ası́ que es claro que este dominio
contiene el eje real y f (x) = x + 1 es real para cualquier x real, ası́ que f (z) = f (z).
f (z) = z 2 es otro polinomio complejo ası́ que su dominio C contiene el eje real y es claro que f (x) = x2 es
real para todo x de ese eje real, luego f (z) = f (z).
f (z) = z + i es una función que no satisface el principio de reflexión pues f (x) = x + i no es real.
f (z) = iz 2 es una función que no satisface el principio de reflexión pues f (x) = ix2 no es real.
2. Si a cada valor de z corresponde más de un valor de w, se dice que f es una función multivaluada de z.
a) Rama de una función multivaluada: restricción de la función de manera que sea univaluada en su
dominio.
b) Linea de ramificación (corte ramal): curva o linea en el plano complejo que separa las distintas
ramas de una función multivaluada. La elección de esta linea no es única.
c) Hojas de Riemann: extensión del dominio de una función multivaluada para que sea continua y
univaluada en su dominio. La colección de todas ellas se conoce como superficie de Riemann.
3. Una función multivaluada puede considerarse como una colección de funciones unı́vocas.
4. Cada función multievaluada se le define una rama principal, y al correspondiente valor de la función en esta
rama, es el valor principal.
5. Siempre que se hable de una función, a menos que se diga otra cosa, se entenderá que se trata de una función
unı́voca.
Ejemplo 56.
a) Si w = z 2 , por cada valor de z se presenta un solo valor de w. Ası́, w = f (z) = z 2 es una función unı́voca de z.
b) Si w2 = z, por cada valor de z hay dos valores de w. Ası́, w2 = z define una función multivaluada (en este caso
con dos valores) de z.
45
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
Nos interesa analizar los cambios que sufre w cuando la variable z se mueve siguiendo una trayectoria C
alrededor de un punto z0
Ejemplo 57. Halle los puntos de ramificación y lineas de ramificación para w = z 1/2 .
SOL: Consideremos una curva cerrada C en el z-plano que encierre el origen z = 0 (véase figura). Adicionalmente
√ θ
no es difı́cil ver que cualquier z = reiθ en el z-plano se enviá a w = rei( 2 ) en el w-plano.
Observe que en el punto A = reiθ1 , y se enviá en
√ i( θ1 )
w1 = re 2 .
46
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
El primer intervalo, 0 ≤ θ < 2π, suele conocerse como rango principal de θ, y corresponde a la rama principal de
la función w = z 1/2 .
Ejemplo 58. Considere la función multivaluada w = z 1/2 . Demuestre
a) Las ramas son discontinuas y, por lo tanto, no analı́tica sobre la linea de ramificación.
b) Las distintas ramas se conectan con continuidad sobre los puntos la linea de ramificación.
SOL a): Sabemos por el ejemplo anterior que las ramas de f están dadas por
w = f (z) = |z|1/2 ei( θ2 ) si 0 ≤ θ < 2π
1/2 1 1
w = f (z) = z =⇒
w = f (z) = |z|1/2 ei( θ2 ) si 2π ≤ θ < 4π
2 2
El corte ramal elegido es el conjunto L = {z : Rez ≥ 0, Imz = 0}; une 0 con z = ∞. Sin perdida de generalidad
demostremos que la rama f1 (z) presenta una discontinuidad en L.
Observese que para un punto z ∗ ∈ L (sobre el eje real),
cuando z tiende a cruzar el corte ramal hacia z ∗ , la función f1 (z) presenta un discontinuidad de salto de 2|z ∗ |1/2
Sol b) Veamos que en todo punto z ∗ ∈ L (sobre el eje real), hay continuidad entre la rama f1 (z) y la rama f2 (z),
en efecto,
arg z → 2π si z → z ∗ por debajo del eje real para la rama f1 (z)
arg z → 2π si z → z ∗ por encima del eje real para la rama f2 (z)
Entonces,
2π−ǫ 2π+ǫ
lı́m∗ f (z) = lı́m |z ∗ |1/2 ei( 2 ) = −|z ∗ |1/2 lı́m∗ f (z) = lı́m |z ∗ |ei( 2 ) = −|z ∗ |1/2
z→z ǫ→0 z→z ǫ→0
arg z→2π − arg z→2π +
En resumen, las funciones multivaluadas pueden caracterizarse por sus puntos y lineas de rami-
ficación. Los cortes ramales, nos permiten trabajar con una rama de la función multivaluada que
será discontinua sobre los puntos del corte ramal. No existe una manera única de definir un corte
ramal; en general, será determinado a partir de las necesidades del cálculo. Cada corte ramal impone
una restricción en el recorrido del argumento limitando su variación a un intervalo de longitud 2π y,
viceversa, cada determinación del argumento implica un corte en el plano complejo.
Sol: Para obtener la rama principal de la función infinitamente multievaluada log ♥, se elige
47
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
Re(iz + 1) = 1 − y ≤ 0 y Im(iz + 1) = x = 0.
√
Ejemplo 60. Dónde es analı́tica la función f (z) = 1 + ez ?
√
Sol: Como bien sabemos la funcion f (♥) = ♥ es multievaluada. Eligiendo nuevamente
√
Ahora determinemos el corte ramal L correspondiente a f (z) = 1 + ez (re-
cuerde que son los puntos donde f (z) será discontinua), tendremos que resolver
entonces las siguientes inecuaciones
√
Ejemplo 61. Dónde es analı́tica la función f (z) = z 2 − 1?
√
Sol: Como bien sabemos la función f (♥) = ♥ es multievaluada y tiene un punto ramal en ♥ = 0. Aquı́ vamos
a elegir
0 < arg (♥) ≤ 2π ⇐⇒ la linea de ramificación es L = {♥ : Re♥ ≥ 0, Im♥ = 0}.
√
Luego, la función f (♥) = ♥ será analı́tica en C − L.
√
Ahora determinemos el corte ramal L correspondiente a f (z) = z 2 − 1 (re-
cuerde que son los puntos donde f (z) será discontinua y recuerde tambien que
los cortes ramales nacen en los puntos de ramificación), tendremos que resolver
entonces las siguientes inecuaciones
A = C − {x + iy : |x| ≥ 1, y = 0}.
√
EJERCICIO: Halle el conjunto de analiticidad f (z) = z 2 − 1 pero considerando
48
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
p
Ejemplo 62. Considérese la función multivaluada f (z) = z + 3 (z − 1)2 . A
partir del corte ramal que se indica en la figura, elı́jase la rama definida por
f (0) = 1. Determinar el valor de f (z) en los puntos z1 = 1 + i y z2 = −i.
θ+2πk
f (z) = z + (z − 1)2/3 = z + |z − 1|2/3 e2i( 3 )
k = 0, 1, 2.
Ahora tenemos que fijar el k para ello sabemos que f (0) = 1, pero antes observe
que si z0 = 0, θ0 = π y
π+2πk
f (0) = 0 + (0 − 1)2/3 = 0 + |0 − 1|2/3 e2i( 3 )
=1 si y solo si k = 1
Ahora ya podemos pasar a calcular f (1 + i) y f (−i), Observe que para z1 = 1 + i , θ1 = π/2 y para z2 = −i ,
θ2 = 5π/4 de manera que
π
+2π
2/3 2/3 2i( 2 3 )
f (1 + i) = 1 + i + (1 + i − 1) =1+i+ |i| e
√
5π π 1 3
=1+i+ ei( 3 ) =1+i+e i(2π− 3 )
=1+i+( −i )
√ 2 2
3 3
= + i(1 − )
2 2
5π
√ 4 +2π )
f (−i) = −i + (−i − 1)2/3 = −i + ( 2)2/3 e2i( 3
√
13π π 3 1
= −i + 21/3 ei( 6 ) = −i + 21/3 ei(2π+ 6 ) = −i + 21/3 ( +i )
√ 2 2
3 1
= 21/3 − i21/3
2 2
Ejemplo 63. Halle los puntos de ramificación y lineas de ramificación para w = z 1/5 .
θ1
SOL: Para z1 = r1 eiθ1 en el z-plano tenemos que su imagen es w1 = r1 ei( 5 ) , ahora veamos que ocurre al realizar
a partir de z1 un circuito completo en sentido contrario a las manecillas del reloj, en torno al origen.
A medida que el valor de θ aumenta de θ1 a θ1 + 2π, que es lo que ocurre al realizar un circuito completo en
sentido contrario a las manecillas del reloj, en torno al origen, se tiene
1/5 θ1 +2π 1/5 θ1 2π 2πi
w = r1 ei( 5 )
= r1 ei( 5 ) ei( 5 ) = w1 e 5
De manera similar, después de tres y cuatro circuitos completos en torno al origen, se tiene
6πi 8πi
w = w1 e 5 y w1 e 5
49
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
(También pueden tomarse otros intervalos para θ de longitud 2π; por ejemplo, −π ≤ θ < π, π ≤ θ < 3π, etcétera,
al primero de los cuales se le considera rango principal.). Observese que la función w = z 1/2 tiene 5 ramas distintas,
despues de pasar por ellas regresa a la rama (principal) original.
Dado que al rodear sucesivamente z = 0 se obtienen diferentes valores de f (z), entonces z = 0 es un punto de
ramificación.
√
Ejemplo 64. Sea w = f (z) = z 2 + 1.
a) Muestre que z = ±i son puntos de ramificación de f (z).
b) Muestre que una vuelta completa en torno a ambos puntos de ramificación no produce ningún cambio en las
ramas de f (z).
c) Determine donde es analı́tica.
p
SOL a): Se tiene w = (z 2 + 1)1/2 = (z − i)(z + i). Entonces, arg w = 21 arg (z − i) + 21 arg (z + i) de manera que
1 1
Cambio en arg w = {Cambio en arg (z − i)} + {Cambio en arg(z + i)}
2 2
Sea C una curva cerrada que encierre al punto i pero no al punto −i. Entonces, a medida que el punto z da una
vuelta completa por C en contra de las manecillas del reloj,
de manera que
Cambio en arg w = π
Por tanto, w no vuelve a su valor original, es decir, hubo un cambio de rama.
Como una vuelta completa en torno a z = i
modifica las ramas de la función, z = i es un
punto de ramificación. De manera similar, si
C es una curva cerrada que encierra al punto
−i pero no a i, se muestra que z = −i es un
punto de ramificación.
50
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
de manera que
Cambio en arg w = 2π
Ası́, una vuelta completa en torno a los dos puntos de ramificación NO da lugar a ningún cambio de w por ende
NO hubo cambio de rama.
Otra justificación de a) y b): Sabemos que si z − i = r1 eiθ1 y z + i = r2 eiθ2 entonces
√ θ1 θ2
w1 = {r1 r2 ei(θ1 +θ2 ) }1/2 = r1 r2 ei( 2 ) ei( 2 )
lo que muestra que NO se obtiene el mismo valor de w1 , es decir, hubo un cambio de rama, lo que indica que
z = i es un punto de ramificación.
Pero en este caso, en que, θ1 aumenta de α1 a α1 + 2π mientras θ2 aumenta de α2 a α2 + 2π. Por tanto,
√ α1 +2π α2 +2π √ α1 α2
w= r1 r2 ei( 2 ) ei( 2 ) = r1 r2 ei( 2 ) ei( 2 ) = w1
A = C − {x + iy : x = 0, |y| ≤ 1}.
EJER: Compruebe que la función puede ser analı́tica en la gráfica derecha siempre que tomamos
51
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
√ p
Ejemplo 65. Sea w = f (z) = z 2 + 1 = (z − i)(z + i).
√ θ1 θ2
w = {r1 r2 ei(θ1 +θ2 +2πk) }1/2 = r1 r2 ei( 2 ) ei( 2 ) ei(kπ) (2.6)
√ θ1 θ2
w = − r1 r2 ei( 2 ) ei( 2 )
√ √
A medida que z recorre C1 de 0 a 1, r1 cambia de 1 a 2, θ1 cambia de 3π/2 a −π/4, r2 cambia de 1 a 2, θ2
cambia de π/2 a π/4. Entonces
q
√ θ1 θ2 √ √ i(− π ) i( π ) √
w = − r1 r2 ei( 2 ) ei( 2 ) = − 2 2e 8 e 8 = − 2
√ θ1 θ2
Sol b) Como en el√inciso a), w = − r1 r2 ei( 2 ) ei( 2 ) . En la segunda
√ figura se ve que, a medida que z recorre C2 ,
r1 cambia de 1 a 2, θ1 cambia de 3π/2 a 7π/4, r2 cambia de 1 a 2 y θ2 cambia de π/2 a π/4. Entonces
q
√ θ θ
i( 21 ) i( 22 )
√ √ i( 7π ) i( π ) √
w = − r1 r2 e e =− 2 2e 8 e 8 = 2
52
Capitulo III
Integración
Las integrales son muy importantes en el estudio de funciones de una variable compleja. La teorı́a de integración
que desarrollaremos en este capı́tulo es notable por su elegancia matemática. Los teoremas son, en general, concisos
y potentes, y sus demostraciones muy sencillas casi siempre. La teorı́a tiene, además, múltiples aplicaciones en
Matemáticas Aplicadas.
ˆ
Con objeto de introducir las integrales de f (z)dz de un modo sencillo y elegante, estudiaremos primero las
curvas complejas z(t).
En el curso de calculo integral (varias variables) se considera el concepto de derivada de una función vectorial
f : [a, b] ⊂ R → Rm , f (t) = f1 (t), f2 (t), . . . , fm (t)
donde fi : [a, b] → R. La función vectorial f es diferenciable en el [a, b] (en los puntos a y b se trata de las
derivadas unilaterales) si, y só1o si, las funciones fi son diferenciables para todo t ∈ [a, b] y
f ′ (t) = f1′ (t), f2′ (t), . . . , fm
′
(t) .
x = x(t) y = y(t) 0 ≤ t ≤ t0
Las funciones x(t) y y(t) deben ser continuas para que el punto x(t), y(t) represente el movimiento del lápiz
sin levantar la punta del papel.
Más ampliamente, decimos que una curva C es determinada por dos ecuaciones reales
x = x(t)
C: a≤t≤b (parametrización: r(t) = x(t), y(t) ) (3.1)
y = y(t)
donde x(t) y y(t) son funciones continuas en el intervalo [a, b]. En esta idealización matemática, no hay que inter-
pretar el parametro t como el tiempo, solamente t es un parámetro que varia de a hasta b. Si consideramos la curva
en el plano complejo C, en lugar de dos ecuaciones reales (3.1) se forma una ecuación compleja.
n
C : z = z(t) = x(t) + iy(t) a≤t≤b (3.2)
53
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
El número complejo z(a) = x(a) + iy(a) es el punto inicial de la curva y el punto final de la curva es el número
complejo z(b) = x(b) + iy(b).
Definición 51. Arco y curva de Jordan
El arco C es un arco simple, o arco de Jordan, si NO se corta a sı́ mismo; esto es,
si z(t1 ) = z(t2 ) cuando t1 6= t2 . Cuando el arco C es simple excepto por el hecho de
que z(b) = z(a), decimos que C es una curva cerrada simple, o curva de Jordan.
Ejemplo 66. Indique cuáles de los siguientes arcos son curvas de Jordan.
i)
t + it si 0 ≤ t ≤ 1,
z(t) =
t + i si 1 ≤ t ≤ 2
p
La función real |z ′ (t)| = x′ (t)2 + y ′ (t)2 es continua e integrable en [a, b] y
ˆ b
|z ′ (t)|dt = L
a
Para mayor sencillez, en el presente capitulo vamos a trabajar solamente con curvas suaves, sin embargo los
resultados son válidos para las curvas más generales.
d z0 t
Ejemplo 67. Demuestre que dt [e ] = z0 ez0 t donde z0 = x0 + iy0
x(t) y(t)
z }| { z }| {
Sol: observe que ez0 t = ex0 t+iy0 t = ex0 t cos(y0 t) + i sin(y0 t) = ex0 t cos(y0 t) +i ex0 t sin(y0 t). Usando (3.3)
54
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
concluimos que
d z0 t
[e ] = [ex0 t cos(y0 t)]′ + i[ex0 t sin(y0 t)]′
dt
= x0 ex0 t cos(y0 t) − y0 ex0 t sin(y0 t) + i x0 ex0 t sin(y0 t) + y0 ex0 t cos(y0 t)
= (x0 + iy0 ) ex0 t cos(y0 t) + iex0 t sin(y0 t)
= (x0 + iy0 )ex0 t+ity0
= (x0 + iy0 )etz0
d
EJER: Demuestre que dt [z0 z(t)] = z0 z ′ (t) donde z0 = x0 + iy0
Hay que decir que no toda regla de derivación del Cálculo es válida para funciones del tipo w(t) = u(t) + v(t).
Supongamos, por ejemplo, que z(t) es continua en [a, b]; esto es, ambas, u y v son continuas allı́. Aunque w′ (t)
exista cuando a < t < b, el teorema del valor medio NO tiene por qué ser aplicable. Para ser exactos, no es
necesariamente cierto que ∃c ∈ (a, b) tal que
w(b) − w(a)
w′ (c) = .
b−a
En efecto, considere la función w(t) = eit con 0 ≤ t ≤ 2π. Entonces, |w′ (t)| = |ieit | = 1, esto es, w′ (t) 6= 0, mientras
que w(2π) − w(0) = 0.
Observe que !
ˆ b ˆ b ˆ b
Re z(t)dt = x(t)dt = Re(z(t))dt
a a a
y !
ˆ b ˆ b ˆ b
Im z(t)dt = y(t)dt = Im(z(t))dt
a a a
ˆ 1
Ejemplo 68. Calcule (1 + it)2 dt
0
Sol:
1 1 1 1
t3 1 t2 1 2
ˆ ˆ ˆ ˆ
2 2 2
(1 + it) dt = (1 + 2it − t )dt = (1 − t )dt + i 2tdt = t− + i = + i.
0 0 0 0 3 0 2 0 3
55
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
ˆ
b ˆ b
DEM e): Note que si w(t)dt = 0 la desigualdad es trivial pues 0 ≤ |w(t)|dt ya que |w(t)| es una función
a a
ˆ
b ˆ b
real no negativa. Ası́ que podemos suponer que w(t)dt 6= 0 esto implica que el complejo w(t)dt 6= 0. Luego,
a a
su forma polar
ˆ
ˆ b b ˆ b
iθ0
w(t)dt = r0 e , =⇒ r0 = w(t)dt , θ = arg w(t)dt (3.4)
a a a
pero como r0 es un número real el otro lado de la igualdad (la integral) debe ser también un real. Por ende
ˆ ! ˆ
b ˆ b ˆ b b
−iθ0 −iθ0
w(t)dt = r0 = e w(t)dt = Re e w(t)dt = Re(e−iθ0 w(t))dt
a a a a
ˆ b ˆ b ˆ b
−iθ −iθ
≤ e 0 w(t) dt = e 0 |w(t)| dt = |w(t)| dt.
a a a
Demostración: Dado que W ′ (t) = w(t) entonces obviamente U ′ (t) = u′ (t) y V ′ (t) = v(t) y
ˆ b ˆ b ˆ b ˆ b ˆ b
w(t)dt = u(t)dt + i v(t)dt = U ′ (t)dt + i V ′ (t)dt
a a a a a
b b b
= U (t) + iV (t) = W (t)
a a a
donde hemos usado el Teorema Fundamental del Cálculo para funciones de valor y variable real.
ˆ π/4
Ejemplo 69. Calcule eit dt si se sabe que la derivada de la función −ieit es eit .
0
56
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
√ √ ! √ √ !
ˆ π/4 π/4 2 2 2 2
it it
e dt = −ie = −i eiπ/4 − 1 = −i +i −1 = +i 1− .
0 0 2 2 2 2
Las integrales de funciones complejas de una variable compleja se definen sobre curvas del plano complejo en
lugar de intervalos de la recta real como en el caso de funciones complejas de variable real. Ası́ que en la siguiente
sección introducimos las clases de curvas adecuadas para el estudio de esas integrales.
3.1. Caminos
Definición 56. Integral de camino
Sea f (z) una función continua de una variable compleja definida en D. Si C : z = z(t) = x(t)+iy(t)
con a ≤ t ≤ b representa un camino suave que está en D. Definimos la integral de f (z) a lo largo
del camino C como ˆ ˆ b
f (z)dz = f (z(t))z ′ (t)dt.
C a
Proposition 57 (Propiedades ).
Si f (z) y g(z) son funciones de valor y variable complejas y z0 ∈ C. Entonces
ˆ ˆ
a) z0 f (z)dz = z0 f (z)dz,
C C
ˆ ˆ ˆ
b) (f (z) + g(z)) dz = f (z)dz + g(z)dz,
C C C
ˆ ˆ
c) f (z)dz = − f (z)dz
−C C
ˆ ˆ ˆ
d) Si C = C1 ∪ C2 entonces f (z)dz = f (z)dz + f (z)dz
C C1 C2
π π
ˆ
zdz si C es la mitad derecha de la circunferencia z(t) = 2eit donde − ≤t≤ .
C 2 2
π π
ˆ ˆ
2
ˆ
2
π
it 2
zdz = 2eit 2ie
|{z} |{z} dt = 4i dt = 4it π = 4πi
π π −2
C −2 −2
f (z(t)) z ′ (t)
57
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
dz
ˆ
si C es la circunferencia unitaria |z| = 1 orientada positivamente. Entonces consideramos la parame-
C z
trización del camino C como z(t) = eit con 0 ≤ t ≤ 2π. Por lo tanto,
ˆ
dz
ˆ 2π ′
z (t)
ˆ 2π 2π
= dt = idt = it = 2πi
C z 0 z(t) 0 0
ˆ
Re(z)dz donde C es la parametrización del gráfico y = x2 desde (−1, 1) hasta (2, 4). Note que z(t) = t+it2 ,
C
−1 ≤ t ≤ 2.
2
t3 2
ˆ 2 ˆ 2
t2
ˆ ˆ
Re(z)dz = t(1 + 2it)dt = tdt + 2i t2 dt = + 2i
C −1 −1 −1 2 3 −1
1 8 1 3
=2 − + 2i + = + 6i.
2 3 3 2
ˆ
f (z)dz donde f (z) = y − x − i3x2 y C1 es el camino OAB y C2 es el camino OB.
C
Observe que OA está parametrizada por z(t) = it, 0 ≤ t ≤ 1. Ası́ que x = 0 e y = 1
por ende
t2 1
ˆ 1
i
ˆ
f (z)dz = tidt = i = .
OA 0 2 0 2
AB está dado por z(t) = t + i, 0 ≤ t ≤ 1 entonces x = t e y = 1. Luego,
ˆ ˆ 1
t2 1 1 1
f (z)dz = (1 − t − 3it2 )dt = t − − it3 = 1 − − i = − i.
AB 0 2 0 2 2
Luego
1−i
ˆ
f (z)dz =
C1 2
Por otra parte, C2 esta parametrizada por z = t + it con 0 ≤ t ≤ 1
ˆ ˆ 1 ˆ 1
f (z)dz = −i3t2 (1 + i)dt = 3(1 − i) t2 dt = 1 − i.
C2 0 0
Evidentemente, pues, las integrales de f (z) a lo largo de los caminos C1 y C2 toman valores distintos, pese a
que ambos caminos tienen el mismo punto inicial y el mismo punto final.
Obsérvese que, en consecuencia, el valor de la integral f (z) sobre el contorno cerrado simple OABO, o sea,
C1 − C2 , es
−1 + i
ˆ ˆ
f (z)dz − f (z)dz = .
C1 C2 2
1
ˆ
dz donde C es una semicircuferencia de radio 1. Resp: iπ
C z
ˆ
z 2 dz donde C es la frontera de la región dada por un cuarto de circulo de radio 1 Resp: 0
C
La trayectoria C en una integral de caminos puede contener un punto en la linea de ramificación. Los siguientes
dos ejemplos ilustran esto.
ˆ
Ejemplo 71. Halle z 1/2 dz donde C el arco semicircular z = 3eit con 0 ≤ t ≤ π desde el punto z = 3 hasta el
C
z = −3 y y la linea de ramificación es 0 < Argz < 2π
58
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
Luego
√
t √ 3t √ 3t
3ei( 2 ) 3ieit = −3 3 sin + i3 3 cos
f [z(t)]z ′ (t) =
2 2
′
es decir, f [z(t)]z (t) será continua en √ en intervalo [0, π] cuando su valor en t = 0 es
definido como f [z(0)]z ′ (0) = 0 + i(3 3). De manera que
ˆ √ ˆ π i( 3t ) √ 2 i( 3t ) π √
z 1/2 dz = 3 3i e 2 dt = 3 3i e 2 = −2 3(1 + i)
C 0 3i 0
Ejemplo
ˆ 72.
Halle z a−1 dz donde 0 6= a ∈ R y C es un circulo orientado positivamente z = Reit con
C
−π ≤ t ≤ π.
Sol: Observe que f (z) = z a−1 = e(a−1)Log z = e(a−1) ln |z|+iArgz = |z|a−1 eiArgz donde usare-
mos el brazo principal de Log (z) dado por −π < θ < π
Cuando z(t) = Reit es fácil ver que
f [z(t)]z ′ (t) = (Ra−1 ei(a−1)t )(iReit ) = iRa eiat = −Ra sin(at) + iRa cos(at)
luego,
π
eiat π 2Ra eiaπ−e
−iaπ
2Ra
ˆ ˆ
z a−1 dz = iRa eiat dt = iRa =i =i sin(aπ)
C −π ia −π a 2i a
De aqui podemos concluir que ˆ
z n−1 dz = 0 n = ±1, ±2, . . .
C
En el caso en que a = 0 tenemos
π π
1 iReit
ˆ ˆ ˆ
dz = dt = i dt = 2πi
C z −π Reit −π
59
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
2πr
ˆ
Por otra parte, |dz| = = π.
C 4
Sol b) Dado que z 1/2 es una función multivaluada, debemos elegir una rama para que la
función sea univaluada, por la forma del camino CR el brazo más apropiado de z 1/2 es
√ π 3π
z 1/2 = reiθ/2 , − <θ< .
2 2
Ahora, observe que
ˆ ˆ 1/2
z 1/2 z |z|1/2 R1/2 R1/2 π
ˆ ˆ
≤
2
dz 2 |dz| = 2
|dz| = 2
|dz| = 2
(πR) = √
CR z + 1 C z +1 C |z | R C R R
3.2. Primitivas
Note que
ˆ ˆ b
zdz = z(t)z ′ (t)dt
C a
z(t)2
pero una primitiva del integrando es ya que su derivada es z(t)z ′ (t). Si usamos el Teorema Fundamental del
2
Cálculo para funciones complejas de variable real tenemos que
w(t)
ˆ ˆ b z }| { b z(t)2 b z(b)2 − z(a)2 z 2 − z12
zdz = z(t)z ′ (t) dt = W (t) = = = 2 .
C a a 2 a 2 2
z22 − z12
ˆ
Por lo tanto, zdz = , ası́ que la integral fue independiente del camino, por eso podemos reescribir la
C 2
anterior expresión de la forma ˆ z2
z 2 − z12
zdz = 2 .
z1 2
Además, observe que si en el ejemplo anterior hubiésemos considerado a C como un camino cerrado, la integral
serı́a nula.
Definición 58 (Primitiva ).
Una función F definida en un dominio D es primitiva de una función continua f en D, si
satisface
F ′ (z) = f (z) en todo z ∈ D.
60
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
Nótese que la primitiva es necesariamente una función analı́tica. Además, la primitiva de una función f dada es
única, salvo una constante aditiva compleja. Esto se debe a que, si G fuese otra primitiva de f
NOTA: El teorema NOOOOOO afirma que alguna de esas propiedades sea válida para una f dada en un
cierto dominio D. Lo que afirma es que si una de ellas es cierta entonces las demás lo son necesariamente.
De este teorema concluimos que si f (z) tiene primitiva en D podemos generalizar el Teorema Fundamental
del Cálculo para integrales de caminos en D
ˆ ˆ b b
f (z)dz = f (z(t))z ′ (t)dt = F (z(t)) = F (z(b)) − F (z(a)) = F (z2 ) − F (z1 ).
C a a
1+i
z 3 1+i (1 + i)3 2
ˆ
Ejemplo 74. Calcule la siguiente integral z 2 dz = = = (−1 + i).
0 3 0 3 3
dz
ˆ
Ejemplo 75. Halle donde C es la circunferencia z(t) = 2eit , −π ≤ t ≤ π orientada positivamente.
C z2
1 1
Sol: Dado que f (z) = 2 es una función continua en C\{0} y F (z) = − es una primitiva de f en C\{0} por
z z
el Teorema 61 tenemos que la integral sobre un camino cerrado es cero. Por lo tanto,
dz
ˆ
2
= 0.
C z
dz
ˆ
Ejemplo 76. Halle donde C es la circunferencia z(t) = 2eit , −π ≤ t ≤ π orientada positivamente.
C z
1
Sol: La función es continua C\{0} y F (z) = log(z) serı́a su mejor “primitiva”.
z
Lastimosamente, F (z) = log(z) NO es derivable en el corte de ramificación, pues ni
siquiera está definida.
En particular, si utilizamos la rama cualquiera del logaritmo
61
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
Entonces
ˆ
dz
ˆ 2i
dz 2i π π
= = Log (z) = Log (2i) − Log (−2i) = ln(2) + i − ln(2) − i = πi.
C1 z −2i z −2i 2 2
62
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
Luego,
ˆ ˆ b h ′ ′ i
ˆ b h i
f (z)dz = u x(t), y(t) x (t) − v x(t), y(t) y (t) dt + i v x(t), y(t) x′ (t) + u x(t), y(t) y ′ (t) dt.
C a a
En términos de integrales de lı́nea de funciones reales de dos variables reales tenemos que la anterior integral se
puede escribir de la siguiente forma:
ˆ ˆ ˆ
f (z)dz = udx − vdy + i vdx + udy.
C C C
Recordemos un resultado de Cálculo que nos va a permitir escribir las integrales de lı́nea como integrales dobles
Teorema 60 (Teorema de Green).
Supongamos que P (x, y) y Q(x, y) ası́ como sus derivadas parciales de primer orden, son continuas
en la región cerrada R formada por el camino cerrado simple C y todos los puntos de su interior.
Entonces ˆ ¨
P dx + Qdy = (Qx − Py )dA.
C R
= 0dA + i 0dA = 0
R R
En l últma ecuación, hemos usado el hecho de que f es analı́tica en R y por ende satisface las ecuaciones de
Cauchy-Riemann ux = vy e uy = −vx . Por tanto, si f es analı́tica en R y f ′ es continua en R entonces
ˆ
f (z)dz = 0.
C
Este resultado fue obtenido por Cauchy en el primer tercio del siglo XIX.
Una vez probado que el valor de esa integral es cero, la orientación de C es irrelevante pues si C recorre en
sentido negativo ˆ ˆ
f (z)dz = − f (z)dz = 0.
C −C
ˆ
3
Ejemplo 78. Calcule ez dz donde C es un camino cerrado simple con cualquier orientación.
C
63
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
3
SOL: La f (z) = ez es una función entera (es composición de funciones enteras, p(z) = z 3 y q(z) = ez ). Además,
3
su derivada f ′ (z) = 3z 2 ez es una función continua en todo el plano complejo. Ası́ que,
ˆ
3
ez dz = 0.
C
NOTA: Goursat fue el primero en demostrar que la continuidad de f ′ puede ser omitida. Esta observación es muy
importante y por eso la versión modificada del teorema de Cauchy se conoce como
Teorema 61 (Teorema de Cauchy-Goursat).
Si f es una función analı́tica en los puntos de un camino cerrado simple, y en todos los puntos de
su interior, entonces ˆ
f (z)dz = 0.
C
z2
ˆ
Ejemplo 79. Calcule dz.
|z|=1 z−3
z2
SOL: Como |z| = 1 es un camino cerrado simple y el dominio de analiticidad de la función f (z) = es
z−3
C\{3} tenemos que ella es analı́tica sobre |z| = 1 y en el interior de |z| = 1. Por el Teorema de Cauchy-Goursat
z2
ˆ
dz = 0.
|z|=1 z − 3
Ejemplo 80. Si ˆC denota algún contorno cerrado que se encuentre en el disco abierto
zez
|z| < 2, entonces 2 5
dz = 0
C (z + 9)
SOL: Dado |z| < 2 es un dominio simplemente conexo y que las dos problemas z = ±3i del
zez
integrando son exteriores a este disco entonces afirmamos que f (z) = 2 es analı́tica
(z + 9)5
en C y en el interior de C. Por el Teorema de Cauchy-Goursat.
zez
ˆ
2 5
dz = 0
C (z + 9)
Definición 62.
Un dominio D se dice que es simplemente conexo si todo camino cerrado simple contenido
en él encierra sólo puntos de D. Cuando un dominio no es simplemente conexo se dice que
es múltiplemente conexo.
Ejemplos sencillos de dominios simplemente conexos son los cı́rculo con centro en z0 y radio r y un ejemplo de
un dominio múltiplemente conexo son los anillos región encerrada por dos circunferencias concéntricas.
De manera colonial un dominio simplemente conexo NO tienes huecos y un dominio múltiplemente conexo
SI tiene huecos.
Teorema 63 (Cauchy-Goursat dominios simplemente conexos ).
Si f es una función analı́tica en un dominio simplemente conexo. Entonces
ˆ
f (z)dz = 0
C
Demostración: En el caso en que C sea simple y está contenido en D, la función f es analı́tica en todo punto
interior a C y en todo punto de C; y el teorema de Cauchy-Goursat asegura la validez.
64
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
Ahora supongamos que C es cerrado pero intersecta consigo mismo un número finito de veces como ilustra la
Figura, Por lo tanto, C = C1 ∪ C2 ∪ C3 ∪ C4 donde Ci son contornos cerrados simples. Luego
ˆ 4 ˆ
X
f (z)dz = f (z)dz = 0
C i=1 Ci
Las sutilezas aparecen cuando el contorno tiene infinitas autointersecciones. Un ejercicio en el Taller ilustra un
método que resulta eficaz con frecuencia para probar que el teorema C-G es todavı́a aplicable.
Corolario 64 (Existencia de Primitivas).
Toda función analı́tica en un dominio D simplemente conexo tiene una primitiva en D.
ˆ
Demostración: Por el Teorema 63 tenemos que f (z)dz = 0 para todo camino cerrado C en D. Luego por
C
Teorema 61, (ver c) ⇒ a)) concluimos que f tiene un primitiva en D. .
Observese que este corolario afirma también que toda función entera tiene primitiva pues el plano complejo es
un dominio simplemente conexo.
Teorema 65 (Cauchy-Goursat para dominios múltiplemente conexos).
Si f es una función analı́tica en una región R acotada por una curva C = C1 ∪ C2 orientada
positivamente (ver gráfico), entonces
ˆ
f (z)dz = 0
C
ˆ ˆ
Adicionalmente, f (z)dz = f (z)dz es decir, existe una deformación de C1 a C2 .
C1 −C2
Demostración: Consideremos unos cortes cruzados horizontales (ver figura 2) de manera que
la región R se divide en dos subregiones simplemente conexas R1 y R2 y forman dos curvas
cerradas simples orientadas positivamente C 1 y C 2 . Por tanto
ˆ ˆ ˆ ˆ C−G
f (z)dz = f (z)dz = f (z)dz + f (z)dz = 0 + 0
C C1 ∪C2 C1 C2
Demostración: Como la función es analı́tica en R en particular lo es en la región comprendida por las curvas
65
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
El corolario anterior afirma: Si se deforma C1 hasta convertirlo en C2 pasando siempre por los puntos en los
que f es analı́tica, entonces el valor de la integral no cambia,
ˆ ˆ
f (z)dz = f (z)dz
C1 C2
.
Este Corolario nos permite DEFORMAR siempre una curva arbitraria C a una bola abierta B(z0 , R) =
|z − z0 | < R contenida en el interior de C.
ˆ ˆ
f (z)dz = f (z)dz
C B(z0 ,R)
dz
ˆ
Ejemplo 81. Calcule donde C es cualquier camino cerrado simple que contiene
C z
al disco |z| ≤ 2 orientados positivamente.
dz
ˆ
SOL: Dado que en el Ejemplo 76 calculamos = 2πi. Por el principio de
|z|=2 z
deformación de caminos tenemos
dz dz
ˆ ˆ
= = 2πi.
C z |z|=2 z
1 f (z)
ˆ
f (z0 ) = dz.
2πi C z − z0
f (z) f (z)
ˆ ˆ
dz = dz.
C z − z 0 Cρ z − z0
Nótese que esta igualdad es válida para todo radio ρ > 0, por lo tanto ρ puede ser
tan pequeño como uno quiera; ası́, tomando limite cuando ρ → 0 también es válida,
f (z) f (z)
ˆ ˆ
dz = lı́m dz.
C z − z 0 ρ→0 Cρ z − z0
= f (z0 )(2πi)
66
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
f (z) − f (z0 )
ˆ
Solo falta comprobar que dz = 0. Como f es analitica en z0 y por tanto continua, sabemos que
Cρ z − z0
para cada ǫ > 0 existe un δ > 0 tal que
Como ˆ ˆ
f (z) − f (z0 ) f (z) − f (z0 ) ǫ ǫ
ˆ
0≤ dz ≤ |dz| = |dz| = (2πρ) = 2πǫ
C z − z 0 C z − z 0 ρ C ρ
El miembro de la izquierda es esta desigualdad es una constante ≥ 0 y menor que un número positivo 2πǫ (puede
ser arbitrariamente pequeño, luego debe ser cero. Es decir,
f (z) − f (z0 )
ˆ
dz = 0.
Cρ z − z0
NOTA: La anterior fórmula es conocida como la fórmula Integral de Cauchy. Esta fórmula indica que los valores
de f en el interior de C vienen determinados completamente por los valores de f en C. Además esta fórmula nos
permite calcular ciertas integrales sobre caminos cerrados simples
f (z)
ˆ
dz = 2πif (z0 ).
C z − z0
z
ˆ
Ejemplo 82. Calcule 2 )(z + i)
dz donde C es la circunferencia |z| = 2 orientado positivamente.
C (9 − z
z
z
ˆ
(9−z 2 )
SOL: Dado que la anterior integral es igual dz y como el dominio de analiticidad de f (z) =
C (z + i) (9 − z2)
es C\{±3} tenemos que f es analı́tica sobre C y en el interior de C. Además, observe que z0 = −i es un punto
interior a C. Luego, por la fórmula integral de Cauchy
z π
ˆ
2 )(z + i)
dz = 2πif (−i) = .
C (9 − z 5
ˆ z
e sen z
Ejemplo 83. Calcule dz donde C es la circunferencia |z − i| = 2 orientado positivamente.
C z−i
SOL: Note que podemos aplicar la fórmula integral de Cauchy ya que f (z) = ez sen z es una función analı́tica
en el interior y sobre el camino cerrado y simple C. Además, como i es un punto interior de C tenemos que
ˆ z
e sen z
dz = 2πif (i) = 2πiei sen i.
C z − i
ˆ
Ejemplo 84. * Demuestre ez dz = 0
|z|=1
SOL: Es una plicación directa del Teorema de Cauchy Goursat ya que la función ez es analı́tica en el interior y
sobre el camino cerrado y simple |z| = 1.
sen z
ˆ
Ejemplo 85. Calcule 2
dz
|z|=2 z − 1
67
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
1 f (s) 2 f (s)
ˆ ˆ
′ ′′
f (z) = ds. f (z) = ds.
2πi C (s − z)2 2πi C (s − z)3
en general,
n! f (s)
ˆ
(n)
f (z) = ds.
2πi C (s − z)n+1
2 f (s)
ˆ
f ′′ (z) = ds.
2πi C0 (s − z)3
donde C0 sea el entorno de |z − z0 | < ǫ/2. Por tanto, como f ′′ existe implica que f ′ es
analı́tica en z0 . Podemos entonces aplicar el mismo argumento a la función analı́tica
f ′ (z) para concluir que f ′′ es analı́tica y ası́ sucesivamente.
Corolario 70.
Si f (z) = u(x, y) + iv(x, y) es analı́tica en un punto z = (x, y) entonces u(x, y) y
v(x, y) tienen derivadas parciales continuas de todo orden en z = (x, y).
Demostración: Como f es analı́tica en un punto z = (x, y), por Teorema 69, f ′ y f ′′ son analı́ticas. Por ende, f ′
y f ′′ son continuas en z = (x, y). Y como
f ′ (z) = ux + ivx = vy − iuy ux , uy , v x , v y son continuas en z = (x, y).
f ′′ (z) = uxx + ivxx = vyx − iuyx =⇒ uxx , uyx , vyx , vyx son continuas en z = (x, y).
De la ultima ecuación se deduce fácilmente que u(x, y) es armónica.
ˆ 2z
e
Ejemplo 86. Calcule 4
dz donde C es |z| = 1 orientada positivamente.
C z
68
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
dz
ˆ
= 2πif (z0 ) = 2πi.
C z − z0
dz
ˆ
Ejemplo 88. Calcule donde z0 ∈ R+ .
C (z − z0 )n+1 C
dz
ˆ
= 2πif n (z0 ) = 0.
C (z − z0 )n+1
dz
ˆ
Ejemplo 89. Calcule donde C es la circunferencia |z| = 3 orientada positivamente.
C z(z − 1)2
1 A B C A + z(−2A − B + C) + z 2 (A + B)
= + + = .
z(z − 1)2 z z − 1 (z − 1)2 z(z − 1)2
a cada una de las integrales a la derecha de la anterior ecuación podemos aplicar la extensión de la fórmula integral
de Cauchy para f (z) = 1 y obtenemos
dz
ˆ
2
= 2πi − 2πi + 0 = 0.
C z(z − 1)
69
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
n!M
|f (n) (z0 )| ≤ .
Rn
Esta desigualdad se llama desigualdad de Cauchy.
+
Demostración Sea RC = B(z0 , R) de manera que usando el Teorema 68, (EFIC)
encontramos que
ˆ
n! f (z)
= n! f (z)
ˆ
|f n (z0 )| = n+1
dz n+1
dz
2πi CR (z − z0 ) 2π CR (z − z0 )
n! |f (z)| n! M n!M (2πR)
ˆ ˆ
≤ |dz| ≤ |dz| =
2π CR |z − z0 |n+1 2π Rn+1 CR 2πRn+1
n!M
=
Rn
Gracias a la desigualdad anterior vamos a demostrar que las únicas funciones enteras y acotadas en todo el plano
son las constantes.
Teorema 73 (Teorema de Liouville).
Si f es entera y acotada en C entonces f (z) es constante.
Demostración Por contradicción, supongamos que P (z) 6= 0 para todo z ∈ C. De manera que la función
1
f (z) = es entera
P (z)
Afirmamos que f es acotada: En efecto, para ello escribamos
w
za a1 an−1
{ }|
a2
0
P (z) = + n−1 + n−2 + · · · + +an z n (3.6)
z zn z z
Nótese que podemos encontrar un número R > 0 suficientemente grande tal que para |z| > R,
|a0 | |a1 | |a2 | |an−1 | |a0 | |a1 | |a2 | |an−1 |
|w| ≤ n
+ n−1 + n−2 + · · · + < n + n−1 + n−2 + · · · +
|z| |z| |z| |z| R R R R
|an | |an | |an | |an |
≤ + + + ··· +
2n 2n 2n 2n
|an |
≤
2
Entonces cuando |z| > R
|an | n |an | n
|P (z)| = |an + w||z|n ≥ |an | − |w||z|n ≥ |an | − |z| > R
2 2
70
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
Evidentemente,
1 2
|f (z)| = < siempre que |z| > R.
|P (z)| |an |Rn
Ası́ pues, f es acotada en la región |z| > R. Por otra parte, como f es continua en |z| ≤ R, también es acotada en
|z| ≤ R, entonces es acotada en todo C. Por el Teorema de Liouville f (z) y en consecuencia P (z) son constantes.
Pero P (z) NO es constante porque su grado es mayor a n ≥ 1.
Demostración: Del Teorema Fundamental del Álgebra sabemos que P (z) tiene un cero en z1 y por ende
donde Q1 (z) es un polinomio de grado n − 1. Si ahora aplicamos el Teorema Fundamental del Álgebra al polinomio
Q1 (z), existe un número z2 tal que
P (z) = (z − z1 )(z − z2 )Q2 (z),
donde Q2 (z) es un polinomio de grado n − 2. Continuando con este proceso se llega a (3.7).
NOTA: Algunas de las constantes zk pueden aparecer más de una vez. Esto es, un polinomio de grado n tiene
n raı́ces complejas.
En esta sección demostraremos un importante resultado sobre los valores máximos de módulos de funciones
analı́ticas, |f (z)|.
Lo anterior, muestra que si f es analı́tica en B(z0 , ρ), entonces su valor en el centro del disco es el promedio
de sus valores sobre la circunferencia. Este resultado se conoce como el Teorema del valor medio de Gauss.
Entonces
ˆ 2π
1
|f (z0 )| ≤ |f (z0 + ρeit )|dt (3.8)
2π 0
Por otra parte, de la hipótesis sabemos que |f (z0 + ρeit )| ≤ |f (z0 )| esto implica
ˆ 2π ˆ 2π ˆ 2π
it
|f (z0 + ρe )|dt ≤ |f (z0 )|dt = |f (z0 )| dt = 2π|f (z0 )|.
0 0 0
Ası́ que,
2π
1
ˆ
|f (z0 + ρeit )|dt ≤ |f (z0 )|. (3.9)
2π 0
71
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
Luego, ˆ 2π
|f (z0 )| − |f (z0 + ρeiθ )| dθ = 0.
0
Por lo tanto, |f (z0 )| = |f (z0 + ρeiθ )| lo que es equivalente a |f (z0 )| = |f (z)| para todo z ∈ Cρ . Y como z1 fue un
punto arbitrario del entorno 0 < |z − z0 | < ǫ, vemos que |f (z)| = |f (z0 )| se satisface para B(z0 , ǫ). Esto implica
necesariamente que, f (z) = f (z0 ) para todo z ∈ B(z0 , ǫ).
Demostración Por contradicción, supongamos que |f (z)| alcanza un máximo en algún punto z0 de RC , es decir,
Luego, por el lema anterior f es constante, f (z) = f (z0 ) en RC , pero esto es una contradicción ya que por hipótesis
f NO es constante en RC .
NOTA: Note que el corolario implica que si f (z) = u(x, y) + iv(x, y) la componente u(x, y) también tiene un
máximo en la frontera de R y no en su interior donde u es armónica. Para ello, considere la función
g(z) = ef (z)
entonces por el corolario anterior |g(z)| debe alcanzar su máximo en la frontera de R. Y como la exponencial es
creciente entonces u(x, y) también alcanza su máximo en la frontera de R.
Ejemplo 90. Sea R la región rectangular 0 ≤ x ≤ π, 0 ≤ y ≤ 1. Demuestre que
| sen(z)| alcanza su valor máximo en la frontera de R.
y la función sen2 (x) alcanza su máximo en x = π/2 y senh2 (y) es máximo para y = 1 tenemos que el módulo
| sen(z)| alcanza su valor máximo en z = (π/2, 1). Lo cual comprueba el corolario anterior, pues el módulo de f
debe alcanzar un valor máximo en algún punto de la frontera de R y no en el interior de R.
Teorema 78 (Principio del Módulo Minimo).
+
Sea f es analı́tica en un dominio RC . Si existe a ∈ RC tal que
|f (a)| ≤ |f (z)| ∀z ∈ RC .
Demostración Si f (a) = 0 no hay nada que mostrar pues 0 ≤ |f (z)|, ∀z ∈ RC . Supongamos pues f (a) 6= 0, ∀a ∈
RC . Definamos la función
1
g(z) =
f (z)
72
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
Claramente g es analı́tica en RC y
1 hip 1
|g(z)| = ≤ = |g(a)|, ∀z ∈ RC
|f (z)| |f (a)|
73
Capitulo IV
Sucesiones y series
Una función f : N ֒→ C denotada por f (n) = zn se llama sucesión de números complejos. Entonces una
sucesión es un conjunto de números complejos z1 , z2 , . . . arreglados en un orden definido y formados de acuerdo a
una regla definida, la cual denotamos {zn }n∈N . Cada número complejo en la sucesión es llamado un término y zn
es llamado el término n-ésimo.
n 1 i
Ejemplo 91. {i }n∈N , {−1 + ni}n∈N , + .
n n2 n∈N
lı́m zn = z.
n→∞
lı́m xn = x y lı́m yn = y.
n→∞ n→∞
Demostración: (⇐=) Supongamos que lı́m xn = x y que lı́m yn = y, entonces para cada ǫ > 0, ∃N1 , N2 ∈ N
n→∞ n→∞
tales que,
|xn − x| < ǫ siempre que n > N1 |yn − y| < ǫ siempre que n > N2 .
Tomemos entonces un N0 > N1 , N2 de tal manera que xn y yn estén aún más cerca de sus limites, esto es,
ǫ ǫ
|xn − x| < |yn − y| < siempre que n > N0 .
2 2
Ahora observe que si n > N0 entonces
ǫ ǫ
|zn − z| = |(xn + iyn ) − (x + iy)| = |(xn − x) + i(yn − y)| ≤ |xn − x| + |yn − y| < + = ǫ.
2 2
Por tanto, lı́m zn = z.
n→∞
(=⇒) Ahora supongamos que lı́m zn = z, es decir, ∀ǫ > 0, ∃N0 ∈ N tal que n > N0 entonces
n→∞
|zn − z| < ǫ es decir que |(xn + iyn ) − (x + iy)| = |(xn − x) + i(yn − y)| < ǫ
74
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
75
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
Como en el caso real, denotaremos por Sk la k-ésima suma parcial de esta serie, como la suma de los primeros
k-términos de la sucesión {zn }n∈N . Esto es,
k
X
Sk = zn = z1 + z2 + · · · + zk .
n=1
N
X N
X N
X
Demostración: Consideremos las sumas parciales SN = zn = xn + i yn , es decir,
n=1 n=1 n=1
N
X N
X
SN = XN + iYN donde XN = Xn e YN = yn
n=1 n=1
∞
X
Ahora, si zn = S es porque lı́m SN = S. Ahora teniendo en mente que SN = XN + iYN y el Teorema (80)
N →∞
n=1
conluimos que
lı́m SN = S si y sólo si lı́m XN = X e lı́m YN = Y
N →∞ N →∞ N →∞
∞
X
Criterio del termino n-ésimo Si lı́m an 6= 0 entonces an diverge.
n→∞
n=1
Criterio de Comparación.
∞
X ∞
X
Si 0 ≤ an ≤ bn y bn es convergente entonces an converge.
n=1 n=1
X∞ ∞
X
Si 0 ≤ cn ≤ dn y cn diverge entonces dn diverge.
n=1 n=1
Criterio de la integral. Suponga que an ≥ 0 y que f es una función continua, decreciente, con valores
∞
X ˆ ∞
positivos para x ≥ 1. Si f (n) = an para todo entero n ≥ 1 entonces an y f (x)dx ambas convergen o
n=1 1
divergen.
76
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
X∞
1
Criterio de la serie p. Sea p
. Si p > 1 la serie converge. Si 0 < p ≤ 1 la serie diverge.
n=1
n
∞
X
Demostración: Supongamos que zn = Z, es decir, lı́m Sn = Z. Ahora observe que
n→∞
n=1
∞
X ∞
X
Proposition 85. Si |zn | converge entonces zn converge
n=1 n=1
∞
X ∞ p
X
Demostración: |zn | converge entonces por definición, x2n + yn2 converge, pero sabemos que |xn | ≤
p n=1
p n=1
x2n + yn2 y |yn | ≤ x2n + yn2 por el criterio de comparación de series reales, las dos series
∞
X ∞
X
|xn | y |yn |
n=1 n=1
son convergentes. Y como toda serie real absolutamente convergente implica que es convergente, es decir,
∞
X ∞
X
xn y yn convergen
n=1 n=1
Por la tanto existen x e y valores a los que convergen las anteriores series. Luego, tenemos que,
∞
X ∞
X ∞
X
zn = xn + i yn = x + iy = z converge
n=1 n=1 n=1
X∞
i+1
Ejemplo 93. Demuestre que la serie es convergente
n=1
n4 + 1
77
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
Esta última serie converge, por el criterio de la serie p. ∞Ası́ que por el criterio de comparación para series reales
X∞ X i+1
i+1
concluimos que
n4 + 1 es convergente y por ende n4 + 1
converge.
n=1 n=1
Note que si la serie es real estos dos criterios son válidos y no son necesarios los módulos (excepto el módulo
dentro de la raı́z n-ésima).
X∞ n
1 1
Ejemplo 94. Determine la convergencia de +i 1+ .
n=1
n+2 n
X∞
i n
Ejemplo 96. Determine la convergencia de
n=0
3
∞
i 1 X i n 1 9 + 3i
SOL: Claramente esta serie es geométrica pues = < 1. Por lo tanto, = i
= .
3 3 n=0
3 1 − 3
10
∞
X 1 1 n
Ejemplo 97. Determine la convergencia de +i .
n=1
n3 +n 5
78
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
X∞
1 n 1
SOL: Primero observe que la serie real “hace parte” de una serie geométrica con razón |r| = < 1,
n=1
5 5
X∞ X∞
1 1 1 1
y converge a 1 − 1 = 4 . Por otro lado, la serie real 3
n +n
≤
n3
esta última serie converge (serie p).
1− 5 n=1 n=1
X∞
1
Ası́ que por el criterio de comparación concluimos que 3+n
también es convergente.
n=1
n
X∞ n
1 1
Usando el Teorema 82 afirmamos que la serie compleja 3
+i es convergente.
n=1
n +n 5
X∞
1 i
Ejemplo 98. Determine la convergencia de √ + .
n=1
3
n n!
X∞ X∞
1 1 i
SOL: Note que la serie real √ diverge por el criterio de la serie p = 1/3 < 1. Entonces √ + la
n=1
3
n n=1
3
n n!
∞
X
serie diverge. (Recuerde que el Teorema 82 dice que zn converge si su la parte real e imaginaria converge y esto
n=1
no sucede.)
X∞
(10 + 15i)n
Ejemplo 99. Determine la convergencia de .
n=1
n!
SOL: Como el zn involucra un factorial, utilizaré el Criterio del cociente. Para ello, consideremos
(10+15i)n+1 (10+15i)n (10+15i)
(n+1)! 10 + 15i
lı́m (10+15i)n = lı́m n!(n+1)
= lı́m = lı́m |10 + 15i|
(10+15i) n n→∞ |n + 1|
n→∞
n! n→∞ n! n→∞ n + 1
√
102 + 152
= lı́m =0<1
n→∞ n+1
Entonces la serie converge.
X∞
(1 − i)n
Ejemplo 100. Determine la convergencia de .
n=1
(2 + 3i)n
SOL: Como todos los términos están elevados al exponente n vemos que es útil usar el criterio de la raı́z n-ésima.
Para esto, observemos
s √ r
n (1 − i)
n 1−i |1 − i| 2 2
lı́m = lı́m √ =
n→∞ (2 + 3i)n = n→∞
lı́m = lı́m
2 + 3i n→∞ |2 + 3i| n→∞ 13 13
<1
X∞ n ∞
X X∞
1+i 3 (4i)n n!
a) √ . b) . c) .
n=1
1 − 3i n=1
(1 + i)n n=1
nn
79
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
si dado ǫ > 0 puede hallarse un número N [que suele depender de ǫ y de z] tal que
1
SOL: debemos encontrar el N en términos de SOLO ǫ tal que | 1+nz − 0| < ǫ para n > N . Observe que,
1 1 1
| − 0| = | |<ǫ ⇐⇒ |1 + nz| >
1 + nz 1 + nz ǫ
Pero, sabemos que 1 + n|z| = |1| + |nz| ≥ |1 + nz| > 1ǫ , entonces n > 1/ǫ−1
|z| . Este N hallado depende de ǫ y de z. por
lo tanto solo tenemos asegurado que converge a cero para |z| ≥ 2. Si queremos convergencia uniforme debemos
encontrar otro N que NO depende de z pero que cumpla la misma desigualdad. Observe que
1/ǫ − 1 1/ǫ − 1
n> > pues |z| ≥ 2
|z| 2
80
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
¿Si la región fuese |z| ≥ δ, (δ > 0 arbitrario) habrı́a convergencia uniforme en |z| ≥ δ?
P
Si las sumas parciales Sn (z) converge uniformemente a S(z), se dice que un converge uniformemente a S(z)
para todo z ∈ R.
A
Rn (z) = un+1 (z) + un+2 (z) + · · · = S(z) − Sn (z)
se le conoce como el residuo de la serie después de n términos. Ası́, de manera equivalente, se afirma que
la serie converge uniformemente a S(z) en R si, para todo ǫ > 0, puede hallarse un número N tal que
para toda z en R,
|Rn (z)| = |S(z) − Sn (z)| < ǫ para toda n > N
∞
X
Ejemplo 103. Probar que z n (1 − z) converge para |z| < 1 y calcule su suma.
i=1
SOL: Veamos que {SK } converge para |z| < 1. Observe que
SK (z) = z(1 − z) + z 2 (1 − z) + z 3 (1 − z) + · · · + z k (1 − z)
= z − z 2 + z 2 − z 3 + z 3 + · · · + z k − z k+1
= z − z k+1
∞
X
Ahora lı́m Sk (z) = lı́m z − z k+1 = z (pues |z| < 1). Por tanto, z n (1 − z) = z.
K→∞ K→∞
i=1
ln(ǫ) ln(ǫ)
|SK (z) − z| = | − z k+1 | = |z|k+1 < ǫ ⇐⇒ (k + 1) ln |z| < ln ǫ ⇐⇒ n> −1> −1
ln(|z|) ln(δ)
81
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
∞
X zn
Como esta última serie converge (p-serie), entonces la serie converge absolutamwnte, y por tanto
i=1
n(n + 1)
converge para |z| ≤ 1
¿Como estudio la convergencia UNIFORME para esta clase de series?
P
Demostración: Consideremos el residuo de la serie un (z), esto es, Rn (z) = S − Sn . Observe que
82
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
Dado que Sn (z) es una suma finita de funciones continuas entonces debe ser continua , es decir que, ∀ǫ > 0 podemos
encontrar un δ tal que
ǫ
|Sn (z + h) − Sn (h)| < cuando |z + h − z| = |h| < δ.
3
P
Por otra parte un (z) converge uniformemente para todo z, podemos elegir N tal que si n > N entonces
ǫ ǫ
|Rn (z)| < |Rn (z + h)| <
3 3
Por tanto,
Demostración: Dado que S(z) = Sn (z) + Rn (z) por el Teorema (91) sabemos que S(z), Sn (z) y Rn (z) son
continuas en R sus integrales existen, es decir,
ˆ ˆ ˆ
S(z)dz = Sn (z)dz + Rn (z)dz
C
ˆC ˆ C ˆ ˆ
= u1 (z) + u2 (z)dz + · · · + un (z)dz + Rn (z)dz
C C C
P
Por hipótesis, la S(z) = un (z) es uniformemente convergente, de manera que, dado un ǫ > 0, puede hallarse un
número N independiente de z en tal que |Rn (z)| = |S(z) − Sn (z)| < ǫ cuando n > N . Si la longitud de la curva C
se denota L, se tiene
ˆ ˆ ˆ ˆ
S(z)dz − Sn (z)dz = Rn (z)dz ≤ ǫ |dz| = ǫL
C C C C
Entonces como ǫ puede hacerse tan pequeño como se desee al elegir n lo bastante grande, entonces necesariamente
∞
ˆ X ∞ ˆ
X
un (z)dz = un (z)dz
C n=1 n=1 C
demuestra el resultado.
Series de Potencias
83
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
Es claro que la serie de potencias (4.1) converge para z = a, y éste puede ser el único punto en el que converja.
En general, esta serie converge también en otros puntos. En ese caso, puede mostrarse que existe un número
positivo R tal que (4.1) converja para |z − a| < R y diverja para |z − a| > R, y para |z − a| = R pueda
converger o pueda no converger.
A R suele conocerse como radio de convergencia de la serie (4.1), y el cı́rculo z − a| < R, como cı́rculo
de convergencia.
∞
X (z + 2)n−1
Ejemplo 106. Hallar la región de convergencia de la serie
i=1
(n + 1)3 4n
Entonces la serie converge (abs) para |z + 2| < 4. Analicemos ahora la frontera |z + 2| = 4. Observe que
(z + 2)n−1 1 1
3 n = 3
≤ 3
(n + 1) 4 4(n + 1) n
P 1
y puesto que n3 converge (serie-p), la serie también converge en la frontera.
Ejercicio 8. Hallar la región de convergencia de las series
∞
X (−1)n−1 z 2n−1
i=1
(2n − 1)!
∞
X
n!z n
i=1
a) absolutamente para |z| < |z0 | b) uniformemente para |z| ≤ |z1 |, donde
|z1 | < |z0 |.
P
Demostración a): Como an z0n converge, entonces lı́m an z0n = 0 ası́ que existirá un N tal que si n > N
n→∞
entonces
1
|an z0n | < 1 es decir que, |an | <
|z0 |n
Por tanto,
X X X |z n | X |z| n
|an z n | = |an ||z n | ≤ =
|z0 |n |z0 |
N +1 N +1 N +1 N +1
X X X
Está última serie es una serie geométrica convergente si |z| < |z0 |. Por tanto an z n = |an z0n | + |an z0n |
N N +1
converge (abs) si |z| < |z0 |.
|z n | P
Demostración b): Tomando Mn = |z01|n entonces Mn converge porque |z1 | < |z0 |. Por el item a) |an z n | < Mn
P
para |z| < |z1 | < |z0 |. Usando el criterio de M de Weierstrass, an z n es uniformemente convergente.
84
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
ez
Ejemplo 107. Halle la serie de Maclaurin de .
1+z
X∞
zn 1 1
SOL: Dado que la serie de Maclaurin de ez es en |z| < ∞ y la función = tiene la serie
n=0
n! 1 + z 1 − (−z)
∞
X ∞
X
de Maclaurin (−z)n = (−1)n z n en |z| < 1. Luego, usando el primer item de la observación anterior tenemos
n=0 n=0
que
z
e z2 z3 z2 z3
= 1+z+ + + ··· 1 − z + z2 − z3 + · · · = 1 + − + · · · en |z| < 1.
1+z 2 6 2 3
X∞
f n (z0 )
f (z) = (z − z0 )n (4.2)
n=0
n!
X∞
f n (0) n
Si z0 = 0 entonces f (z) = z para |z| < R0 y se conoce como serie de Maclaurin.
n=0
n!
85
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
1 f (s)
ˆ
f (z) = ds (4.3)
2πi C s − z
N
X −1
1 − ♥N 1 ♥N
Recuerde que ♥n = = − siempre que ♥ =
6 1. Teniendo en
n=0
1−♥ 1−♥ 1−♥
mente esto, encontramos que
1 h X z n ( zs )N i X z n
N −1 N −1
1 1 zN
= z = ( ) + z = n+1
+
s−z s(1 − s ) s n=0 s 1− s n=0
s (s − z)sN
X∞
f (n) (0) n zN f (s)
ˆ
Aplicando limite aquı́, cuando N → ∞ encontramos que f (z) = z pues lı́m ds = 0
n! N →0 2πi C (s − z)sN
n=0 0
Por tanto,
zN ˆ f (s) M r0 r N r
lı́m N
ds = lı́m = 0, pues <1
N →0 2πi C (s − z)s N →∞ r0 − r r0 r0
0
86
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
La función ez es entera ası́ que admite una representación en serie de Taylor alrededor de un z0 ∈ C arbitrario
X∞ X∞
(z − z0 )n zn
ez = ez 0 para |z − z0 | < ∞. ez = para |z| < ∞.(Maclaurin)
n=0
n! n=0
n!
La función z 2 e3z también es entera y por tanto tiene una representación en serie de Maclaurin
X∞ X∞
(3z)n 3n z n+2
z 2 e3z = z 2 = para |z| < ∞.
n=0
n! n=0
n!
eiz − e−iz
Dado que sen(z) = entonces
2i
"∞ ∞
# "∞ #
1 X (iz)n X (−iz)n 1 X n n
n i z
sen(z) = − = [1 − (−1) ] .
2i n=0 n! n=0
n! 2i n=0 n!
1
La función f (z) = es analı́tica excepto en z = 1 tiene la siguiente representación en serie de Maclaurin
1−z
(recordemos que es la misma de la serie geométrica)
∞
X
1
= zn para |z| < 1.
1 − z n=0
1
La función f (z) = es analı́tica excepto en z = −1 tiene la siguiente representación en serie de Maclaurin
1+z
∞
X
1 1
= = (−1)n z n para |z| < 1.
1+z 1 − (−z) n=0
1
La función f (z) = es analı́tica excepto en 0 tiene asociada la siguiente serie de Taylor alrededor de z0 = 1
z
∞
X
1 1
= = (−1)n (z − 1)n para |1 − z| = |z − 1| < 1.
z 1 − (1 − z) n=0
Ejercicio 9. Compruebe que las siguientes funciones tienen las siguientes representaciones en series de Maclaurin
∞
X z 2n
a) cos(z) = (−1)n sug: derive sen(z)
n=0
(2n)!
∞
X z 2n+1
b) senh(z) = . Sug: Utilice la propiedad senh(z) = −i sen(iz)
n=0
(2n + 1)!
87
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
X∞
z 2n
c) cosh(z) = Sug: recuerde cosh(z) = cos(iz) use a)
n=0
(2n)!
1
Ejemplo 109. Halle la serie de Taylor de alrededor de z0 = 1.
z2
1
SOL: Sabemos que la función tiene la siguiente representación en serie de Taylor alrededor de 1,
z
∞
X
1 1
= = (−1)n (z − 1)n |z − 1| < 1.
z 1 − (1 − z) n=0
X∞
1
Derivando la anterior igualdad tenemos que − = (−1)n n(z − 1)n−1 . Es decir,
z2 n=1
X∞ X∞
1 n+1 n−1
= (−1) n(z − 1) = (−1)n (n + 1)(z − 1)n , para |z − 1| < 1.
z2 n=1 n=0
1 + 2z 2
Ejemplo 110. Calcular la serie de Maclaurin de la función f (z) =
z3 + z5
SOL: Dado que no es analı́tica en z = 0 no se puede desarrollar f (z) en la serie de Maclaurin. Pero, como
1 + 2z 2 1 + 2z 2 1 a(1 + z 2 ) + b 1 1
= = = 2 − (a = 2, b = −1)
z3 + z5 z 3 (1 + z 2 ) z3 1 + z2 z3 1 + z2
1
X∞
= 3 2− (−z 2 )n
z n=0
1 1 1
= 3 2 − (1 − z 2 + z 4 − z 6 + z 8 − · · · ) = 3 + − z + z 3 − z 5 + · · ·
z z z
1 1
A los términos 3 y los llamaremos términos negativos de z ya que se pueden escribirse como z −3 y z −1 .
z z
Aquellas series que tengan potencias negativas las llamaremos Serie de Laurent.
1 f (z)dz 1 f (z)dz
ˆ ˆ
an = bn = . (4.5)
2πi C (z − z0 )n+1 2πi C (z − z0 )−n+1
88
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
donde R1 < |z − z0 | < R2 . Cualquiera de las dos formas (4.4) y (4.6) se llama una serie de Laurent.
Cuando f es analı́tica en el disco |z − z0 | < R2 entonces el Teorema de Cauchy-Goursat nos dice que
1 f (z)dz 1
ˆ ˆ
bn = = f (z)(z − z0 )n−1 dz = 0
2πi C (z − z0 )−n+1 2πi C
Más aún, usando EFIC encontramos que
1 f (z)dz f n (z0 )
ˆ
an = =
2πi C (z − z0 )n+1 n!
Por tanto, (4.4) se reduce a una serie de Taylor centrada en z0 .
X∞
f n (z0 )
f (z) = (z − z0 )n
n=0
n!
Sin embargo, si f no es analı́tica en z0 pero lo es en los demás puntos del disco |z − z0 | < R2 diremos que la
representación es válida en el disco perforado 0 < |z − z0 | < R2 .
1
Ejemplo 111. Halle la serie de Laurent alrededor de z0 = 0 de la función en los siguientes dominios
(z − 1)(z − 2)
|z| < 1, 1 < |z| < 2 y 2 < |z| < ∞.
1 1 1
SOL: Dado que = − es analı́tica en esos dominios. Analicemos su representación en
(z − 1)(z − 2) z−2 z−1
series de potencias en cada uno de esos dominios
|z| < 1
∞ ∞
1 1 1 1 1 X zn X n
f (z) = − =− z + =− + z
z−2 z−1 2(1 − ) 1 − z 2 n=0 2n n=0
2
z
Esta represntación solo es válida si | | < 1 y |z| < 1 y dado que el primer sumando de derecha-izquierda es
2
válida en |z| < 1 y el segundo sumando es válido en |z/2| < 1 tenemos que ambas son válidas en la intersección,
es decir, |z| < 1. Luego,
X∞ X∞ X∞
zn n
f (z) = − + z = (1 − 2−n−1 )z n
n=0
2n+1 n=0 n=0
89
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
En los siguientes ejemplos podemos apreciar que el conocimiento de algunas series de Laurent nos permite calcular
ciertas integrales.
Ejemplo 112. Halle la serie de Laurent alrededor de z0 = 0 de la función e1/z .
X∞
zn
SOL: Recordemos que la serie de Maclaurin para ez = , para |z| < ∞. Ası́ que si en la anterior expresión
n=0
n!
cambiamos z por 1/z tenemos
∞
X 1 1 1 1
e1/z = n
=1+ + 2
+ 3
+ ··· 0 < |z| < ∞.
n=0
n!z z 2!z 3!z
Observemos que en este caso no aparecen potencias positivas de z, porque los coeficientes de esas potencias son
1
cero. Además, note que el coeficiente que acompaña a = 1. Pero según el Teorema de Laurent ese coeficiente
z
viene dado por
1
ˆ
1 = b1 = e1/z dz,
2πi C
donde C es cualquier curva cerrada simple orientada positivamente que rodea al origen. Entonces despejando,
ˆ
e1/z dz = 2πi.
C
1
Ejemplo 113. Halle la serie de Laurent alrededor de z0 = i de la función .
(z − i)2
SOL: Claramente esta función ya tiene la forma de una serie de Laurent, con z = i, En efecto,
X∞
1
= cn (z − i)n 0 < |z − i| < ∞
(z − i)2 n=−∞
1 dz
ˆ
cn =
2πi C (z − i)n+1
donde C es, por ejemplo, cualquier circunferencia |z − i| = R orientada positivamente. Ası́ que,
ˆ
dz 0, si n 6= −2,
n+1
=
C (z − i) 2πi, si n = −2.
90
Capitulo V
Residuos
Definición 98 (Singularidades).
Si f NO es analı́tica en z0 pero es analı́tica en algún punto de cualquier entorno de z0 , diremos
que z0 es una singularidad. Si, además, existe un entorno perforado 0 < |z − z0 | < ǫ de z0 en el
cual f es analı́tica, diremos que z0 es una singularidad aislada.
Cuando z0 es una singularidad aislada de f , entonces existe una R2 -vecindad perforada 0 < |z − z0 | < R2 donde
f es analı́tica. Por consiguiente, f tiene un representación en serie de Laurent..
∞
X b1 b2 bn
f (z) = an (z − z0 )n + + + ··· + .
n=0
(z − z0 ) (z − z0 )2 (z − z0 )n
Definición 99 (Residuo de f ).
El número complejo b1 que es el coeficiente de 1/(z − z0 ) se llama residuo de f
en la singularidad z0 , el cual denotaremos por
1
ˆ
Res(f ; z0 ) = b1 = f (z)dz,
2πi C
dz
ˆ
Ejemplo 115. Calcule donde C es la circunferencia |z − 2| = 1 orien-
C z(z − 2)4
tada positivamente.
SOL: Aquı́ podrı́amos usar EFIC. Pero vamos a calcularla usando la definición de
Residuo, (Serie de Laurent). Observe que z = 0 y z = 2 son singularidades aisladas
1
de , pero solo z = 2 está en el interior de C.
z(z − 2)4
Hallemos pues la Serie de Laurent alrededor de z = 2. Por comodidad denotemos
u = z − 2 entonces
91
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
∞ ∞
1 1 1 1 X u n X n (z − 2)
n−4
= = u = (− ) = (−1)
z(z − 2)4 (2 + u)u4 2u4 (1 + 2 ) 2u4 n=0 2 n=0
2n+1
X n−4 ∞
1 1 1 1 n (z − 2)
= − + − + (−1)
2(z − 2)4 4(z − 2)3 8(z − 2)4 16(z − 2) n=4 2n+1
Ası́ que
1 1
ˆ
dz
ˆ
dz πi
1
Res z(z−2) 4;2 =− = 4
=⇒ 4
=− .
16 2πi C z(z − 2) C z(z − 2) 8
ˆ
2
Ejemplo 116. Calcule e1/z dz donde C es la circunferencia |z| = 1 orientada positivamente.
C
2
SOL: Como f (z) = e1/z es analı́tica en C\{0} y z = 0 es una singularidad aislada, luego la serie de Laurent
alrededor de z = 0 está dada por
∞
X
2 1 1 1
e1/z = 2n
= 1 + 2 + 4 + ··· 0 < |z| < ∞.
n=0
n!z z z
2
Ası́ que, Res(e1/z ; 0) = 0 y por tanto,
ˆ
2 2
e1/z dz = (2πi)Res(e1/z ; 0) = 0
C
Demostración: Consideremos curvas simples en cada punto singular, Ck (t) = zk + rk eit , 0 ≤ t ≤ 2π (rk su-
ficientementes pequeños para que no tengan puntos en común). Usando la deformación de caminos y Teorema
Cauchy-Goursat, encontramos que
ˆ ˆ ˆ ˆ
f (z)dz = f (z)dz + f (z)dz + · · · + f (z)dz
C C1 C2 Cn
!
1 1
ˆ ˆ
= 2πi f (z)dz + · · · + f (z)dz2πi
2πi C1 2πi Cn
n
X
= 2πi Res(f (z); zk ).
k=1
5z − 2
ˆ
Ejemplo 117. Calcule dz donde C es la circunferencia |z| = 2 orientada positivamente.
C z(z − 1)
5z − 2
SOL: La función f (z) = tiene dos singularidades aisladas z = 0 y z = 1 y ambas están dentro de
z(z − 1)
5z − 2 5z − 2
C. Ası́ que debemos hallar Res , 0 y Res , 1 . Para ello, debemos calcular la serie de Laurent
z(z − 1) z(z − 1)
92
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
1 1 1
X∞
5z − 2 5(u + 1) − 2
= = 5−2 = 5−2 (−z)n
z(z − 1) (u + 1)u u 1+u u n=0
1
= 5 − 2 + 2u − 2u2 + 2u3 + · · ·
u
3
= + 2 − 2(z − 1) + 2(z − 1)2 − · · ·
z−1
5z − 2
Por ende, Res , 1 = 3. Luego,
z(z − 1)
ˆ
5z − 2 h 5z − 2 5z − 2 i
dz = 2πi Res , 0 + Res , 1 = 10πi.
C z(z − 1) z(z − 1) z(z − 1)
Otro método: Usando fracciones parciales y FIC
5z − 2 2 3
ˆ ˆ ˆ
= dz + dz = 2πi(2) + 2πi(3) = 10πi
C z(z − 1) C z C z−3
2 3 2
Otro método: Como z y z−3 ya son series de Laurent alrededor de z = 0 y de z −1 respectivamente. Res z,0 =2
3
y Res z−1 ,1 = 3
Para ello consideremos la circunferencia |z| = R1 suficientemente grande para que C sea interior a ella (ver
figura). Si C0 denota una circunferencia |z| = R0 orientada positivamente con R0 > R1 . Por el teorema de Laurent
f (z) admite la representación
∞
X b1 b2
f (z) = an z n + + 2 + ··· , R1 < |z| < ∞
n=0
z z
1
ˆ
donde b1 = f (z)dz. (OJO, b1 no tiene porque ser un residuo de f en z = 0, ya que no sabemos si z = 0 es
2πi C0
un punto singular de f .) Observe,
1 1 X an b1
2
f( ) = n+2
+ + b2 + b 3 z · · · ,
z z n=0
z z
93
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
1 1
Aquı́ si tenemos la existencia de un Residuo por que z = 0 es una singularidad de z 2 f ( z ), especı́ficamente tenemos
que ˆ 1 1
f (z)dz = (2πi)b1 = (2πi)Res 2 f ( ), 0
C0 z z
Finalmente, como f es analitica en la región cerrada por C y C0 , el principio de deformación de caminos nos lleva
a que ˆ ˆ 1 1
f (z)dz = f (z)dz = (2πi)Res 2 f ( ), 0
C C0 z z
5z − 2
ˆ
Ejemplo 118. Use reducción de residuos para hallar dz donde C es la circunferencia orientada posi-
C z(z − 1)
tivamente |z| = 2.
5
5z − 2 1 z −2
(5 − 2z)z
SOL: Dado que f (z) = tenemos que f = 1 1 = . Luego,
z(z − 1) z z ( z −1) 1−z
1 1 5 − 2z
Res 2 f ( ), 0 = Res ,0 .
z z z(1 − z)
5 − 2z
Hallemos la serie de Laurent alrededor de z = 0. Observe que si 0 < |z| < 1,
z(1 − z)
1 3 1
X∞
5 − 2z a(1 − z) + b
= = 2+ = 2+3 zn
z(1 − z) z(1 − z) z 1−z z n=0
1
2 3
= 2 + 3 + 3z + 3z + 3z + · · ·
z
5
= + 3 + 3z + 3z 2 + · · ·
z
Por lo tanto, ˆ
5z − 2 1 1 5 − 2z
dz = 2πiRes 2 f ( ), 0 = 2πiRes , 0 = 10πi
C z(z − 1) z z z(1 − z)
La porción constituida por los términos con potencias negativas es conocida como la parte principal1 de f en z0 .
Usando esta parte principal clasificaremos las singularidades aisladas en tres tipos:
Definición 102 (Polos de orden m).
Cuando la parte principal de f existe y es finita. Esto es,
∞
X b1 b2 bm
f (z) = an (z − z0 )n + + + ··· + .
n=0
(z − z0 ) (z − z0 )2 (z − z0 )m
94
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
Ejemplo 119. Clasifique las singularidades aisladas de las siguientes funciones y calcule su residuo
senh(z) 1 − cos(z) c) f (z) = e1/z
a) f (z) = . b) g(z) = .
z4 z2
SOLa): Note que 0 es una singularidad aislada de f y la serie de Laurent alrededor de 0 está dada por
∞
senh(z) 1 X z 2n+1 1 11 z z3
= = + + + + ···
z4 z 4 n=0 (2n + 1)! z3 3! z 5! 7!
válida en 0 < |z| < ∞, ası́ que 0 es un polo de orden 3 y su residuo es b1 = 1/6.
SOLb): Como 0 es una singularidad aislada de g y la serie de Laurent alrededor de 0 está dada por
∞
!
1 − cos(z) 1 X 2n
z2 z4
n z 1
2
= 2 1− (−1) = − + + ···
z z n=0
(2n)! 2! 4! 6!
válida en 0 < |z| < ∞, dado que la parte principal es cero, 0 es una singularidad evitable o removible y su
residuo es b1 = 0. Esta singularidad recibe este nombre pues la función g se puede convertir en entera adicionando
el valor de 1/2 en 0, es decir, g(0) = 1/2.
SOLc): Tiene como singularidad aislada al 0 y la serie de Laurent alrededor de ese punto
∞
X 1 1 1 1
e1/z = n
=1+ + + ···
n=0
n!z z 2! z 2
válida en 0 < |z| < ∞, por ende 0 es una singularidad esencial y su residuo es b1 = 1.
Ejemplo 120. Clasificar la singularidad en cada caso y de la región de convergencia de cada serie
e2z
a) ; z = 1 SOL: Sea u = z − 1 entonces
(z − 1)3
∞ ∞
e2z e2(u+1) e2 2u e2 X (2u)n 2
X 2n n−3
= = e = = e u
(z − 1)3 u3 u3 u3 n=0 n! n=0
n!
∞
e2 2e2 2e2 X 2n n−3
= + + + u
u3 u2 u n=0
n!
∞
X 2n
e2 2e2 2e2
= 3
+ 2
+ + (z − 1)n−3
(z − 1) (z − 1) z − 1 n=3 n!
Por tanto, z = 1 es un polo de orden 3. La serie converge para todos los valores z 6= 1
95
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
1
b) (z − 3) sin( ); z = −2 SOL: Sea u = z + 2 entonces
z+2
1 1 X (−1)n 1 X (−1)n 1 X (−1)n+1 1
(z − 3) sin( ) = (u − 5) sin( ) = (u − 5) = − 5
z+2 u n=0
(2n + 1)! u2n+1 n=0
(2n + 1)! u2n n=0
(2n + 1)! u2n+1
5 1 3!
=1− − + 5 3 + ···
u 3!u2 u
5 1 3!
=1− − +5 + ···
(z + 2) 3!(z + 2)2 (z + 2)3
Por tanto, z = −2 es una singularidad esencial. La serie converge para todos los valores z 6= −2
z − sin z
c) ;z=0 SOL:
z3
z − sin z 1 X (−1)n
2n+1
1 z3 z5 z7
= z − z = z − z + − + + · · ·
z3 z3 n=0
(2n + 1)! z3 3! 5! 7!
1 z2 z4
= − + + ···
3! 5! 7!
Por tanto, z = 0 es una singularidad evitable. La serie converge para todos los valores z
z
d) ; z = −2 SOL: Sea u = z + 2 entonces
(z + 1)(z + 2)
1 1 1 1 1 1
X∞
z u−2
= = 1− = 1+ = 1+ un = 1 + 1 + u + u2 + u3 + · · ·
(z + 1)(z + 2) u(u − 1) u u−1 u 1−u u n=0
u
2
= + 1 + u + u2 + u3 · · ·
u
2
= + 1 + (z + 2) + (z + 2)2 + (z + 2)3 · · ·
(z + 2)
Por tanto, z = −2 es un polo simple. La serie converge para todos los valores 0 < |z − 2| < 1
1
Ejemplo 121. * Clasificar la singularidad de en z = 3
z 2 (z − 3)2
1 1 1 1 u
SOL: Sea u = z − 3 entonces = 2 = 2 . Pero recuerde que si | | < 1,
z 2 (z − 3)2 u (3 + u)2 9u 1 + u 2 3
3
X∞ X∞
1 (−1)n n 1 1 (−1)n n−1
= u Derivando − = nu
1+
u 3n 3 u 2 3n
3
n=0 1+ n=0
3
Por tanto
∞ ∞
1 1 1 1 X (−1)n+1 n−1 X (−1)n+1 n−3
= = nu = nu
z 2 (z − 3)2 9u2 1 + u 2 9u2 n=1 3n−1 n=1
3n+1
3
1 2 3 4
= 2 2 − 3 + 4 − 5u + ···
3 u 3 u 3 3
1 2 3 4
= 2 − 3 + − 5 (z − 3) + · · ·
3 (z − 3)2 3 (z − 3) 34 3
Por tanto, z = 3 es un polo de orden 2. La serie converge para todos los valores 0 < |z − 3| < 3
96
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
φ(m−1) (z0 )
Res(f (z), z0 ) =
(m − 1)!
z+1
Ejemplo 122. Indique si la singularidad aislada z0 = 3i de f (z) = es un polo y calcule su residuo.
z2 + 9
z+1 3i + 1 18 − 6i 1 1
Note que φ(z) = es analı́tica en 3i y φ(3i) = = = − i 6= 0. Luego, 3i es un polo simple.
z + 3i 6i 36 2 6
Por ende,
z+1 φ0 (3i) 1 1
Res 2
, 3i = = φ(3i) = − i.
z +9 0! 2 6
z 3 + 2z
Ejemplo 123. Indique si la singularidad aislada z0 = i de g(z) = es un polo y calcule su residuo.
(z − i)3
z 3 + 2z
, SOL: Note que la función g(z) = donde φ(z) = z 3 +2z es analı́tica en i y φ(i) = i3 +2i = −i+2i = i 6= 0.
(z − i)3
Ası́ que, i es un polo de orden 3. Luego,
z 3 + 2z φ′′ (i)
Res ,i = = 3i.
(z − i)3 2!
(log(z))3
Ejemplo 124. Indique si la singularidad aislada z0 = i de h(z) = , donde log(z) es la rama del logaritmo
z2 + 1
complejo ln |z| + iθ, con 0 < θ < 2π z0 = i.
SOL: Note que es incorrecto considerar a φ(z) como el seno hiperbólico complejo, pues aunque es analı́tico en 0
y senh(0) = 0. Ası́ que, para calcular el residuo debemos utilizar la serie de Laurent de l(z) alrededor de 0 como lo
hicimos en el primer item del Ejemplo 119.
97
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
f (z) = (z − z0 )m g(z).
Demostración:
Ejemplo 126. Muestre que la función f (z) = z(ez − 1) tiene un cero en z0 = 0 de orden 2.
SOL: Veamos esto de dos formas, primero por la definición, f (0) = 0 y como f ′ (z) = ez (z + 1) − 1 tenemos
f (0) = 0 pero f ′′ (z) = ez (z + 2) = 2 6= 0. Luego, z0 = 0 es un cero de orden 2. Ahora, veamos esto pero usando el
′
teorema anterior. Para ello, observe que f (z) = (z − 0)2 g(z) donde
z
e − 1 si z 6= 0,
g(z) = z
1 si z = 0
El teorema que sigue muestra como los ceros de orden m pueden producir polos de orden m.
Teorema 108.
Supongamos que p y q son funciones analı́ticas en z0 , p(z0 ) 6= 0 y q tiene un cero de orden
p(z)
m en z0 . Entonces tiene un polo de orden m en z0 .
q(z)
Demostración Dado que q tien un cero de orden m en z0 entonces q(z) = (z − z0 )m g(z) donde g es analı́tica y
no nula en z0 . Ası́ que,
p(z)
p(z) p(z) g(z)
= = .
q(z) (z − z0 )m g(z) (z − z0 )m
p(z)
Por lo tanto, podemos considerar a φ(z) = ya que es analı́tica en z0 pues p y g lo son. Además, φ(z0 ) =
g(z)
p(z0 ) p(z)
6= 0. Por tanto, tiene un polo de orden m en z0
g(z0 ) q(z)
En particular si m = 1 el teorema anterior se convierte en el siguiente resultado:
Proposition 109.
Si p y q son funciones analı́ticas en z0 , p(z0 ) 6= 0, q tiene un cero de orden 1 en z0 .
p(z) p(z) p(z0 )
(q(z0 ) = 0, q ′ (z0 ) 6= 0) Entonces tiene un polo simple en z0 y Res , z0 = ′ .
q(z) q(z) q (z0 )
1
Ejemplo 127. Muestre que z0 = 0 es un polo de orden 2 de la función f (z) = .
z(ez − 1)
98
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
SOL: En el ejemplo 126 mostramos que q(z) = z(ez − 1) tiene un cero de orden 2 en z0 = 0. Note que si p(z) = 1
es claro que ella es analı́tica en 0 y p(0) = 1 6= 0. Por el Teorema 108 concluimos que 0 es un polo de orden 2.
Ejemplo 128. Muestre que z0 = nπ, n ∈ Z es un polo simple de la función f (z) = cot(z) y calcule su residuo.
cos(z)
SOL: Como f (z) = cot(z) = . Ası́ que, si consideramos a p(z) = cos(z) y q(z) = sen(z) son claramente
sen(z)
analı́ticas en nπ. Además, veamos que q(z) tiene un cero de orden 1 en nπ pues q(nπ) = sen(nπ) = 0 y como
q ′ (z) = cos(z) tenemos que q ′ (nπ) = cos(nπ) = (−1)n 6= 0. Además, p(nπ) = cos(nπ) = q ′ (nπ) 6= 0. Entonces por
la proposición anterior, tenemos que nπ es un polo simple de cot(z) y
p(nπ)
Res cot(z), nπ = ′ = 1.
q (nπ)
z
Ejemplo 129. Muestre que z0 = 1 + i es un polo simple de la función f (z) = y calcule su residuo.
z4 + 4
SOL: Note que las singularidades de f (z) se tienen cuando z 4 + 4 = 0, esto es, z = (−4)1/4 y las cuatro raı́ces
complejas están dadas por
√ π 2πk √ π πk
ck = 4ei( 4 +i 4 ) = 2ei( 4 +i 2 )
4
0≤k≤3
√ iπ
Observe que 1 + i = c0 = 2e 4 . Ahora, si consideramos a p(z) = z y q(z) = z 4 + 4 son funciones enteras en
particular analı́ticas en 1 + i. Además,
√ π
p(1 + i) = 1 + i 6= 0 q(1 + i) = (1 + i)4 + 4 = ( 2e 4 i )4 + 4 = 4eiπ + 4 = −4 + 4 = 0.
Por otra parte, q ′ (z) = 4z 3 ası́ que
√ √ !
√ π √ 3π i √ 2 2
′ 3
q (1 + i) = 4(1 + i) = 4( 2e 4 i )3 = 8 2e 4 = 8 2 − +i = −8 + 8i 6= 0.
2 2
π tanh(z)
Ejemplo 130. Muestre que z0 = 2i es un polo simple de la función f (z) = y calcule su residuo.
z2
lı́m f (z) = ∞.
z→z0
99
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
φ(z)
f (z) =
(z − z0 )m
lı́m (z − z0 )m
1 (z − z0 )m z→z0 0
lı́m = lı́m = = = 0,
z→z0 f (z) z→z0 φ(z) lı́m φ(z) φ(z0 )
z→z0
hemos utilizado el hecho de que φ(z) es una función analı́tica en z0 (por tanto continua en z0 ) y φ(z0 ) 6= 0. Este
último limite implica que lı́m f (z) = ∞.
z→z0
En el siguiente teorema veremos que el comportamiento local de f en una singularidad evitable es completamente
diferente al comportamiento en un polo.
Teorema 111 (Comportamiento de un sing. evitable).
Si z0 es una singularidad evitable de una función f . Entonces f es analı́tica y acotada en
algún entorno perforado 0 < |z − z0 | < ǫ.
Demostración: Como z0 es una singularidad evitable, entonces f es analı́tica en un disco |z−z0 | < R2 siempre que
se defina adecuadamente su valor f (z0 ), esto hace que f sea continua en cualquier ǫ-disco cerrado |z − z0 | ≤ ǫ < R2 .
En consecuencia, f será acotada en ǫ-disco y esto implica que , ademas de analı́tica, f debe ser acotada en el entorno
perforado 0 < |z − z0 | < ǫ.
Proposition 112.
Sea f una función analı́tica y acotada en 0 < |z − z0 | < ǫ. Si f no es analı́tica en z0 , tiene
en ese punto una singularidad evitable.
Demostración: Como f no es analitica en z0 entonces z0 debe ser una sing. aislada de f y f (z) viene repre-
sentada por una serie de Laurent en el anillo 0 < |z − z0 | < ǫ
X b1 b2 b3
f (z) = an (z − z0 )n + + + + ...
n=0
z − z0 (z − z0 )2 z − z0 ) 3
hipotesis f es acotada, luego existe un M > 0 tal que |f (z)| < M para todo z en el anillo 0 < |z − z0 | < ǫ. Por
tanto,
1 |f (z)||dz| 1 M (2πρ)
ˆ
|bn | ≤ ≤ = M ρn
2π C |z − z0 |−n+1 2π ρ−n+1
Comos los bn son constantes y ρ se puede elegir arbitrariamente pequeño, concluimos que bn = 0 (n = 1, 2, 3, . . .)
en la serie de Laurent. Esto significa que z0 es una singularidad evitable de f .
El comportamiento de una función en las proximidades de una singularidad esencial es caótico. El próximo
teorema afirma que: “En todo entorno perforado de una singularidad esencial z0 , una función f toma valores
arbitrariamente cercanos a cualquier número complejo dado.” Esto es, la imagen de f cerca de z0 es densa en
C.
100
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
|f (z) − w0 | < ǫ
Pero esto significarı́a que z0 era una singularidad evitable de f , NO esencial. Lo cual contradice la hipótesis.
Caso II Si g(z0 ) = 0, la función g debe tener un cero de cierto orden finito m en z0 , esto es, g(z) = (z − z0 )m g(z)
donde g(z0 ) 6= 0 pues g(z) no es idénticamente nula en anillo. Ahora verifiquemos que f tiene un polo de orden m
en z0 . En efecto,
1 (z − z0 )m g(z) 0
lı́m = lı́m = = 0, ⇐⇒ lı́m f (z) = ∞
z→z0 f (z) z→z0 1 + w0 g(z) 1 + w0 (0) z→z0
Ejemplo 131. f (z) = e1/z es una función con una singularidad esencial en 0, observe que esta función toma el
valor de −1 infinitas veces en un entorno perforado de 0, pero el valor de 0 no lo toma.
1
SOL: Para ello, observe que al resolver la ecuación e1/z = −1 obtenemos que = (2n + 1)iπ con n ∈ Z, ası́ que
z
1 −i
z= = y hay infinitos z en un entorno perforado de 0, 0 < |z| < R para algún R > 0.
(2n + 1)iπ (2n + 1)π
+
Supongamos que f es meromorfa en el dominio RC , y f (C) 6= 0. La imagen f (C) = Γ es un camino cerrado,
NO necesariamente simple, en el w-plano
101
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
Nótese que, puesto que f no tiene ceros sobre C, el contorno Γ no pasa por el origen del plano. Sean w, w0 ∈ Γ
donde w0 fijo y sea φ0 un valor de arg w0 . Hagamos variar arg w de manera continua a lo largo de la orientación
indicada por la curva Γ, con valor inicial φ0 , cuando w vuelve de nuevo al punto w0 de partida, arg w = arg w0 := φ1 .
Definición 116 (Cambio del argumento).
Dada un función w = f (z) definimos el cambio en el argumento de f (z) cuando z
recorre C una vez en el sentido positivo, partiendo de un punto arbitrario z0 como
Si Γ gira en sentido positivo en torno del origen y negativo si gira en sentido negativo.
Si Γ NO encierra el origen, el número de vueltas es cero.
En el siguiente resultado veremos que el número de vueltas se puede determinar a partir del numero de ceros y
polos de f interiores a C.
Teorema 117 (Principio del Argumento).
Supongamos que:
Entonces
f ′ (z)
ˆ
dz = i∆C arg (f (z)) = 2πi(Z − P ).
C f (z)
Demostración: Sea z(t) para a ≤ t ≤ b los puntos de la curva C, y dado que f (C) = Γ no pasa por el origen
del w-plano entonces podemos expresar a f (z(t)) = ρ(t)eiφ(t) . Luego
d d
ˆ
f ′ (z)
ˆ b
f ′ (z(t))z ′ (t)dt
ˆ b (f (z(t))) ˆ b (ρ(t)eiφ(t) )
dz = = dt = dt
C f (z) a f (z(t)) a f (z(t)) a ρ(t)eiφ(t)
dado que
d
f (z(t)) = ρ′ (t)eiφ(t) + ρ(t)eiφ(t) iφ′ (t).
dt
Por tanto,
ˆ
f ′ (z)
ˆ b
ρ′ (t)
ˆ b b
dz = dt + i φ′ (t)dt = ln(ρ(t)) + iφ(t) = i φ(b) − φ(a) = i∆C arg (f (z))
C f (z) a ρ(t) a a
102
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
f ′ (z) m0 g ′ (z)
= +
f (z) z − z0 g(z)
′
f ′ (z)
como gg(z)
(z)
es analı́tica en z0 , admite un desarrollo en serie de Taylor centrada en z0 por lo tanto f (z) tiene un polo
simple en z0 , con residuo m0 .
caso II: Si f tiene un polo de orden mp en z1 , entonces
φ(z)
f (z) = φ(z) analı́tica y φ(z1 ) 6= 0
(z − z1 )mp
z5 − 1
ˆ
Ejemplo 132. Calcule dz, donde C es la circunferencia |z| = 2 orientada positivamente.
C z 6 − 6z + 5
SOL: Si consideramos la función f (z) = z 6 − 6z + 5 es entera (f puede ser considerada meromorfa ya que al no
tener singularidades) entonces f ′ (z) = 6z 5 − 6 = 6(z 5 − 1). Ası́ que,
z5 − 1 1 f ′ (z) 1
ˆ ˆ
6
dz = dz = 2πi(Z − P )
C z − 6z + 5 6 C f (z) 6
z 6 − 6z + 5 = (z − 1)2 (z 4 + 2z 3 + 3z 2 + 4z + 5),
z5 − 1
ˆ
6
dz = 2πi.
C z − 6z + 5
Otra forma, más sencilla de visualizar esto lo veremos en el siguiente teorema conocido como Teorema de Rouché.
(z − 1) cot(z) − 1
ˆ
Ejemplo 133. Calcule dz, donde C es la circunferencia |z| = 4 orientada positivamente.
C z−1
103
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
(z − 1) cot(z) − 1 f ′ (z)
ˆ ˆ
dz = dz = 2πi(Z − P ).
C z−1 C f (z)
Note que Z = 3 pues los ceros de f (z) son los mismos ceros de sen(z) los cuales son z = 0, ±π y todos están dentro
de |z| = 4. Además, P = 1 pues f tiene un polo simple en 1 ya que φ(z) = sen(z) la cual es analı́tica en 1 y
φ(1) = sen(1) 6= 0. Por lo tanto,
(z − 1) cot(z) − 1
ˆ
dz = 4πi.
C z−1
dz
ˆ
Ejemplo 134. Calcule dz, donde C es la circunferencia |z| = 4 orientada positivamente.
C sen(πz) cos(πz)
sen(πz) π
SOLSi consideramos la función meromorfa f (z) = tan(πz) = entonces f ′ (z) = π sec2 (πz) = .
cos(πz) cos2 (πz)
Ası́ que,
dz 1 f ′ (z)
ˆ ˆ
dz = dz = 2i(Z − P ).
C sen(πz) cos(πz) π C f (z)
Note que Z = 3 pues los ceros de f (z) son los mismos ceros de sen(πz) los cuales son z = n, n ∈ Z pero los únicos
que están dentro de |z| = 4 son z = −1, 0, 1. Además, los polos de f son los ceros de cos(πz) los cuales z = (n + 1)/2,
pero los únicos que están dentro del camino son z = ±1/2. Por lo tanto, P = 2. Luego,
dz
ˆ
dz = 2i.
C sen(πz) cos(πz)
1
Ejemplo 135. Si f (z) = y C es la circunferencia eiθ , 0 ≤ θ ≤ 2π calcule ∆C arg(f (z)).
z2
SOL: Note que f tiene un polo de orden 2 en z0 = 0 (entonces P = 2) y no tiene ceros (Z = 0), y es analı́tica y
no nula en C. Entonces
1 1
∆C arg( 2 ) = −2,
2π z
1
Note que C está orientada positivamente, ası́ que la imagen Γ de C bajo la función 2 gira en torno al origen dos
z
1
veces en sentido negativo. Y esto se puede comprobar observando que Γ admite la reparametrización f (C) = 2iθ =
e
e−2iθ = eiΘ , donde −4π ≤ Θ ≤ 0.
Una consecuencia del principio del argumento es el Teorema de Rouché el cual sirve para localizar regiones
del plano en las que una función analı́tica tiene ceros.
Teorema 118 (Teorema de Rouché).
Supongamos que:
a) dos funciones f (z) y g(z) son analı́ticas en el interior de un camino cerrado simple C
y sobre C,
b) |f (z)| > |g(z)| en todos los puntos de C.
Entonces f (z) y f (z) + g(z) tienen contando multiplicidades el mismo número de ceros
interiores a C.
104
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
Denotemos por Zf y Zf +g los numeros de ceros , contando multiplicidades, de f (z) y f (z) + g(z) respectivamente,
1
interiores a C, Por el Principio del Argumento, Zf = ∆ arg f (z) y
2π C
1 1 g(z)
Zf +g = ∆C arg f (z) + g(z) = ∆C arg f (z) 1 +
2π 2π f (z)
1 1 g(z)
= ∆ arg f (z) + ∆ arg 1 +
2π C 2π C f (z)
1
= Zf + ∆ arg F (z)
2π C
g(z)
donde F (z) = 1 + . Observe que,
f (z)
g(z)
|F (z) − 1| = | |<1
f (z)
Esto significa que la imagen de la curva, F (C) esta en el disco |w − 1| < 1, es decir, F (C) no encierra el origen
w = 0. Por tanto
g(z)
∆C arg 1 + =0
f (z)
Ejemplo 136. Indique si el polinomio z 6 − 6z + 5 tiene todos los ceros en |z| < 2.
SOL: Sea C la circunferencia |z| = 2, y tomemos aquı́ f (z) = z 6 y g(z) = −6z + 5 tenemos que
es claro que |f (z)| > |g(z)| sobre C, ası́ que por Teorema Roché f (z) y f (z) + g(z) tienen el mismo número de ceros
en el interior de C, es decir, en |z| < 2, y dado que f tiene 6 ceros entonces el polinomio tiene f (z)+g(z) = z 6 −6z +5
seis ceros en |z| < 2, recordemos que en el Ejemplo 132 mostramos esto de otra forma.
Ejemplo 137. Halle el número de raı́ces de z 7 − 4z 3 + z − 1 en |z| < 1.
SOL: Sea C la circunferencia |z| = 1, tomemos aqui, f (z) = −4z 3 y g(z) = z 7 + z − 1 tenemos que
es claro que |f (z)| > |g(z)| sobre C, ası́ que por Teorema de Rouché f (z) y f (z) + g(z) tienen el mismo núme-
ro de ceros en el interior de C, es decir, en |z| < 1, y dado que f tiene 3 ceros entonces el polinomio tiene
f (z) + g(z) = z 7 − 4z 3 + z − 1 tres ceros en |z| < 1.
luego |f (z)| > |g(z)| sobre |z| = 1 y como f tiene sus tres ceros z 3 = (−1/4) en |z| < 1,
1 1/3 i( π + 2πk )
zk = e 3 3 , k = 0, 1, 2.
2
Por Teorema de Rouché, f (z) + g(z) = z 7 − 4z 3 + z − 1 tiene la misma cantidad de ceros que f en |z| < 1.
Ejemplo 138. Muestre que las tres raı́ces del polinomio z 3 − 6z + 8 están entre las circunferencias 1 < |z| < 3.
SOL: Veamos que en |z| < 1 no hay ceros, para ello considere f (z) = 8 y g(z) = z 3 − 6z tenemos que
es claro que |f (z)| > |g(z)| sobre |z| = 1, ası́ que por el teorema anterior f (z) y f (z) + g(z) tienen el mismo número
de ceros en |z| < 1, y como f no tiene ceros entonces el polinomio tiene f (z) + g(z) = z 3 − 6z + 8 no tiene ceros en
105
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
|z| < 1, ası́ que las tres raı́ces de z 3 − 6z + 8 deben estar en |z| > 1.
es claro que |f (z)| > |g(z)| sobre |z| = 3, ası́ que por el teorema anterior f (z) y f (z) + g(z) tienen el mismo número
de ceros en |z| < 3, y como f tiene 3 ceros entonces el polinomio tiene f (z) + g(z) = z 3 − 6z + 8 tiene 3 ceros en
|z| < 3, ası́ que las tres raı́ces de z 3 − 6z + 8 deben estar en 1 < |z| < 3.
106
Capitulo VI
cuando el lı́mite de la derecha existe decimos que la integral impropia converge. Y la integral impropia de f sobre
la recta está dada por
ˆ ∞ ˆ 0 ˆ R2
f (x)dx = lı́m f (x)dx + lı́m f (x)dx
−∞ R1 →∞ −R1 R2 →∞ 0
y si los dos lı́mites existen se dice que la integral impropia converge a la suma. El valor principal de Cauchy es
el número ˆ ∞ ˆ R
V.P. f (x)dx = lı́m f (x)dx
−∞ R→∞ −R
pero
∞ 0 R2
x2 0 x2 R2
ˆ ˆ ˆ
xdx = lı́m xdx + lı́m xdx = lı́m + lı́m
−∞ R1 →∞ −R1 R2 →∞ 0 R1 →∞ 2 −R1 R2 →∞ 2 0
R12 R22
= − lı́m + lı́m
R1 →∞ 2 R2 →∞ 2
Note que si f es una función par (esto es, f (−x) = f (x)) tenemos que
R R
1
ˆ ˆ
f (x)dx = f (x)dx.
0 2 −R
Luego, ˆ
∞ R R ∞
1 1
ˆ ˆ ˆ
f (x)dx = lı́m f (x)dx = lı́m f (x)dx = V.P. f (x)dx
0 R→∞ 0 2 R→∞ −R 2 −∞
107
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
ˆ R ˆ ˆ n
X
f (x)dx + f (z)dz = f (z)dz = 2πi Res(f (z), zk )
−R CR C k=1
x2
SOLPrimero observe que la función f (x) = es par y extendamos esta función al caso complejo de manera
x6 +1
p(z) z2
que f (z) = = 6 . Ahora,
q(z) z +1
i) Calculemos los ceros de q(z) = z 6 + 1 , esto es, z 6 = −1 lo que implica que sus ceros son de la forma
zk = ei( 6 + 6 ) , para k = 0, · · · , 5. Note que estos tres ceros z0 = eiπ/6 , z1 = eiπ/2 = i y z2 = ei5π/6 están
π 2πk
en el semiplano superior (osea, la parte imaginaria es positiva), mientras que z3 = ei7π/6 , z4 = ei3π/2 y
z5 = ei11π/6 están en el semiplano inferior.
ˆ R
z2 x2 z2
ˆ ˆ
ii) Note que 6
dz = 6
dx + 6
dz pues C = [−R, R] ∪ CR .
C z +1 −R x + 1 CR z + 1
108
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
donde hemos usado |z 6 + 1| ≥ ||z|6 − 1| y el hecho que R > 1 pues i es un cero de p(z) (o un polo de f (z)) y
él debe estar dentro de C. Ası́ que,
ˆ ˆ 2
z2 z 2
πR3
dz = R
ˆ
dz ≤ dz =
6 6 R 6 − 1 CR R6 − 1
CR z + 1 CR z + 1
Este método también funciona si los argumentos de seno y coseno son múltiplos enteros de θ, es decir, si por
z a − z −a
ejemplo sen(aθ) con a ∈ Z cambiamos este por pues lo que hacemos es lo siguiente
2i
eiaθ − e−iaθ (eiθ )a − (e−iθ )a z a − z −a
sen(aθ) = = = .
2i 2i 2i
z a + z −a
De forma análoga, si tenemos cos(aθ) lo sustituimos por .
2
2π
dt
ˆ
Ejemplo 140. Calcule .
0 5 + 3 sen(t)
Como 3z 2 + 10iz − 3 = (3z + i)(z + 3i) las singularidades de f (z) son z = −i/3 y z = −3i, la única singularidad
que está dentro del camino es z = −i/3. Entonces por el teorema de los residuos
2
ˆ
2dz
ˆ
2dz 3(z + 3i) 1 π
= = 2πiRes , −i/3 = 2πi( ) =
|z|=1 3z 2 + 10iz − 3 |z|=1 3(z + i/3)(z + 3i) (z + i/3) 4i 2
109
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
2
donde para calcular el residuo usamos el hecho que z = −i/3 es un polo simple y φ(z) = es analı́tica en
3(z + 3i)
1
z = −i/3 y no nula en el punto pues φ(−i/3) = 6= 0.
4i
La teorı́a de los residuos permite calcular integrales impropias que aparecen en la teorı́a y aplicaciones de la
integral de Fourier. Las cuales son de la forma
ˆ ∞ ˆ ∞
f (x) sen(ax)dx y f (x) cos(ax)dx,
−∞ −∞
donde a es una constante positiva. Note que NO podemos aplicar el método para integrales impropias de funciones
pares pues ˆ ˆ
lı́m f (z) sen(az)dz 6= 0, lı́m f (z) cos(az)dz 6= 0
R→∞ CR R→∞ CR
esto se debe a que f (z) sen(az) y f (z) cos(az)) NO son acotadas
| sen(az)|2 = sen2 (ax) + senh2 (ay) −→ ∞, cuando y → ∞
(lo mismo ocurre con | cos(az)|2 = cos2 (ax) + senh2 (ay)) lo que podemos hacer para solucionar este problema es
trabajar con ˆ
f (z)eiaz dz ya que eiaz = cos(az) + i sen(az)
C
en algunas ocasiones es sencillo, en otras ocasiones es necesario utilizar el siguiente Lema de Jordan (también
lo usaremos si hay alguna singularidad real)
110
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
∞
cos(3x)
ˆ
Ejemplo 141. Halle dx.
−∞ (x2 + 1)2
1
SOL: Note que f (x) = 2 , a = 3 y que el integrando f (x) cos(3x) es
(x + 1)2
par.
1
i) Como f (z) = tiene dos polos en z = ±i de orden 2, una en el semiplano superior y una en el
(z 2 + 1)2
semiplano inferior.
ii) Dado que f no tiene ninguna singularidad real entonces consideramos C = [−R, R] ∪ CR y usando Teorema
de los residuos nos lleva a
ˆ R
ei3x ei3z ei3z ei3z
ˆ ˆ
2 2
dx + 2 2
dz = 2 2
dz = 2πRes( 2 , i).
−R (x + 1) CR (z + 1) C (z + 1) (z + 1)2
1
|f (z)ei3z | = |f (z)||ei3z | = |f (z)||ei3(x+iy) | = |f (z)||ei3x ||e−3y | = |f (z)||e−3y | ≤ |f (z)| ≤
(R2 − 1)2
Luego, ˆ ˆ
1 πR
ˆ
i3z
f (z)e dz ≤ f (z)e i3z
dz ≤ dz =
2 2
(R − 1) CR (R − 1)2
2
CR CR
ˆ
lo que implica lı́m f (z)ei3z dz = 0.
R→∞ CR
x
SOL: Note que f (x) = , a = 1 y el integrando f (x) sen(x) no es par.
x2 + 2x + 2
z
i) Calculemos los polos de f (z) = que estén en el semiplano superior. Para esto, resolvamos
z 2 + 2z + 2
2
z + 2z + 2 = 0 y obtenemos que z = −1 ± i una está en el semiplano superior y la otra en el semiplano inferior.
ii) Dado que f no tiene ninguna singularidad real entonces consideramos C = [−R, R] ∪ CR y usando Teorema
de los residuos nos lleva a
ˆ R
xeix zeiz zeiz zeiz
ˆ ˆ
2
dx + 2
dz = 2
dz = 2πiRes( 2 , −1 + i).
−R x + 2x + 2 CR z + 2z + 2 C z + 2z + 2 z + 2z + 2
111
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
|z| R
|f (z)eiz | ≤ |f (z)| = ≤
|z − (−1 + i)||z + 1 + i| (R − (−1 + i))(R + 1 + i)
y
ˆ ˆ
R
ˆ
f (z)e dz ≤
iz f (z)eiz dz ≤ dz
(R − (−1 + i))(R + 1 + i)
CR CR CR
πR2
=
(R − (−1 + i))(R + 1 + i)
si tomaramos el lı́mite cuando R → ∞ no va para cero, ası́ que debemos usar el Lema de Jordan el cual
R
podemos aplicar ya que MR = → 0 cuando R → ∞. Entonces usando este lema
(R − (−1 + i))(R + 1 + i)
zeiz
ˆ
concluimos que lı́m 2
dz = 0, y por ende
R→∞ C z + 2z + 2
R
ˆ ∞
xeix (cos(1) + sen(1))e−1 (cos(1) − sen(1))e−1
2
dx = 2πi + i .
−∞ x + 2x + 2 2 2
C = C R ∪ L2 ∪ C ρ ∪ L1 ,
112
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
eiz
SOL:Aquı́ consideramos f (z) = la cual tiene una singularidad real en z = 0, y consideremos una curva-muesca
z
C en z = 0 como se muestra en la figura
Usando el teorema Cauchy-Goursat
Por tanto,
eiz
ˆ
lı́m dz = 0.
R→∞ C
R
z
Por otro lado, sabemos que
eiz eiz
ˆ
lı́m dz = −πiRes , 0) = −πi(1),
ρ→0 Cρ z z
donde usamos para calcular el residuo el hecho que 0 es un polo simple y φ(z) = eiz es analı́tica en 0 y
φ(0) = e0 = 1 6= 0.
Tomando lı́mite cuando R → ∞ y ρ → 0 en la última ecuación del tercer item tenemos
ˆ ∞
sen(r)
2i dr = πi.
0 r
ˆ ∞
sen(r) π
Esto implica que dr = .
0 r 2
113
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
C = C R ∪ L2 ∪ C ρ ∪ L1
tal que evite pasar por un punto (corte) de ramificación (ver figura) y donde
C contiene las singularidades z1 , · · · zn de f (z).
Por el Teorema de los residuos
ˆ ˆ ˆ ˆ ˆ n
X
f (z)dz + f (z)dz + f (z)dz + f (z)dz = f (z)dz = 2πi Res(f (z), zk )
CR L1 Cρ L2 C k=1
ˆ ˆ
Probar lı́m f (z)dz = 0 y lı́m f (z)dz = 0 y calculamos la integral que deseamos.
R→∞ CR ρ→0 Cρ
∞
ln(x)
ˆ
Ejemplo 144. Calcule dx.
0 (x2 + 4)2
log(z)
SOL: I) Aquı́ consideremos la función compleja f (z) = la cual tiene dos
(z 2 + 4)2
singularidades en z = ±2i, y donde f (z) tiene punto de ramificación en el origen
originada por la función log(z). Para evitar problemas adicionales en la muesca C
usaremos la siguiente rama del logaritmo
π 3π
log(z) = ln |z| + iθ, − <θ< .
2 2
Según la curva C consideremos ρ < 1 y z = 2i es la única singularidad que está dentro
de la muesca.
II) Teniendo en mente el Teorema de Residuos,
ˆ
log(z)
ˆ
log(z)
ˆ
log(z)
ˆ
log(z) log(z)
2 2
dz + 2 2
dz + 2 2
dz + 2 2
dz = 2πiRes , 2i
CR (z + 4) L2 (z + 4) Cρ (z + 4) L1 (z + 4) (z 2 + 4)2
z = rei0 = r, (ρ ≤ r ≤ R) z = reiπ = −r (R ≤ r ≤ ρ)
entonces
ˆ ρ ˆ R
log(z) log(z) ln(r) + iπ ln(r)
ˆ ˆ
dz + dz = − dr + dr
L2 (z 2 + 4)2 L1 (z 2 + 4)2 R (r 2 + 4)2
ρ (r 2 + 4)2
ˆ R ˆ R
ln(r) dr
=2 2 2
dr + iπ 2 2
ρ (r + 4) ρ (r + 4)
114
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
ˆ ˆ
log(z) | ln |z| + iarg z| | ln ρ| + |iπ| − ln ρ + π ρπ − ρ ln ρ+
ρ→0
dz ≤ |dz| ≤ (πρ) ≤ 2 (πρ) = (π) −→ 0
Cρ (z 2 + 4)2 Cρ |z 2 + 4|2 (ρ 2 − 4)2 (ρ − 4) 2 (ρ − 2)4
ˆ ˆ
log(z) | ln |z| + iarg z| ln R + π R→∞
dz |dz| ≤ (πR) −→ 0
(z 2 + 4)2 CR |z 2 + 4|2 (R2 − 4)2
CR
Calcule las singularidades de f (z) que están dentro de C y a partir del Teorema del Residuo
ˆ ˆ ˆ ˆ ˆ N
X
f (z)dz+ f (z)dz+ f (z)+ f (z)dz = f (z)dz = 2πi Res(f (z), zi )
L1 CR L2 Cρ C i=1
ˆ ˆ
Muestre que lı́m f (z)dz = 0 y lı́m f (z)dz = 0.
R→∞ CR ρ→0 Cρ
115
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
SOL:
z −a
Consideremos la función multivaluada f (z) = pues z −a = e−a log(z) elegimos
z+1
la rama 0 < θ < 2π cuyo punto de ramificación es 0 y el cual se encuentra sobre el
camino cerrado simple C que se puede apreciar en la siguiente figura
z −a z −a z −a z −a z −a z −a
ˆ ˆ ˆ ˆ ˆ
dz+ dz+ dz+ dz = dz = 2πiRes( , −1)
L1 z + 1 CR z + 1 L2 z + 1 Cρ z + 1 C z+1 z+1
z = rei0 = r, (ρ ≤ r ≤ R) z = rei2π = r (R ≤ r ≤ ρ)
entonces
ˆ R −a ˆ R −a −i2πa ˆ R −a
e−a(ln |z|+iθ) e−a(ln |z|+iθ) r r e r
ˆ ˆ
dz + dz = dr − dr = (1 − e−i2πa ) dr
L1 z + 1 L2 z + 1 ρ r + 1 ρ r + 1 ρ r +1
z −a φ(z)
Por otra parte como = donde φ(z) = z −a = e−a log(z) es analı́tica y
z+1 z+1
z −a
entonces z = −1 es un polo simple de f (z) y por ende Res( , −1) = e−aiπ . De manera que
z+1
R
r−a z −a z −a
ˆ ˆ ˆ
(1 − e−2aπi ) dr = 2πie−aiπ − dz − dz
ρ r+1 Cρ z + 1 CR z + 1
z −a z −a
ˆ ˆ
Ahora veamos que lı́m dz = 0 y lı́m dz = 0 Ahora, observe que
R→∞ CR z+1 ρ→0 Cρ z+1
ˆ ˆ
z −a |z|−a |R|−a 1 1
ˆ
dz ≤ |dz| ≤ |dz| = a (2πR)
z+1 |z + 1| ||z| − 1| R R − 1
CR CR CR
y análogamente
ˆ ˆ
z −a |z|−a
ˆ
|z|−a ρ−a ρ1−a
dz ≤ |dz| ≤ |dz| = (2πρ) = (2π)
Cρ z + 1 Cρ |z + 1| Cρ ||z| − 1| 1−ρ 1−ρ
como 0 < 1 − a es evidente que los valores de estas dos integrales tienden a 0, cuando R → ∞ y ρ → 0. En
consecuencia, ˆ ∞ −a
−2aπi r
(1 − e ) dr = 2πie−aiπ
0 r+1
ˆ ∞ −a
r 2πie−aiπ eiaπ 2πi π
Por lo tanto, dr = ·
−2aπi ) eiaπ
= iaπ −aπi
= .
0 r + 1 (1 − e e − e sen(aπ)
Ejercicio 10.
ˆ +∞
xa
dx, −1 < a < 3.
0 (x2 + 1)2
116
Capitulo VII
Transformaciones conformes
Conservación de ángulos: Sea C un arco suave en el z-plano y sea f (z) una función definida en todos los
puntos de C de manera que
Γ = f (C), =⇒ Γ(t) = f (C(t)), a≤t≤b
es una parametrización de la curva Γ en el w-plano.
En consecuencia,
Demostración: Consideremos dos curvas C1 y C2 tal que C1 (t0 ) = z0 = C2 (t0 ), y sean θ1 , θ2 los ángulos de
inclinación de sus respectivas rectas tangentes en z0 de manera que α = θ2 − θ1 . Adicionalmente sea Γ1 = f (C1 ) y
Γ2 = f (C2 ) (véase figura).
De (7.1) sabemos que los angulo de inclinación de las curvas C1 y C2 en el punto z0 están dados por
arg C1 (f ′ (z0 )) = φ1 − θ1 arg C2 (f ′ (z0 )) = φ2 − θ2
donde φ1 y φ2 son los ángulos de inclinación de sus respectivas rectas tangentes en w0 . Dado que f ′ (z0 ) 6= 0 entonces
φ1 − θ1 = φ2 − θ2 . En otras palabras, el ángulo φ2 − φ1 de Γ1 a Γ2 es igual en magnitud y sentido, al angulo θ2 − θ1
de C1 a C2 .
117
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
1
Otro ejemplo es la rama principal de logaritmo Log(z) cuya derivada es 6= 0 en {z ∈ C : |z| > 0 ∧ −π < Arg(z) < π}.
z
Veamos otros ejemplos no tan triviales.
1
Ejemplo 147. Considere g : C\{0} → C definida por g(z) = y consideremos las curvas γ1 : {(x, y) : x = y, x ≥ 0}
z
y γ2 = {(x, y) : x = 1, y ≥ 1}. Muestre que g es conforme pues preserva el ángulo entre las curvas.
1 x y
SOL: Primero, observemos que g ′ (z) = − 6= 0 para todo z ∈ C\{0}. Dado que g(z) = 2 −i 2
z2 x + y2 x + y2
tenemos que f (γ1 ) es la recta u = −v y f (γ2 ) es la circunferencia (u − 1/2)2 + v 2 = 1/4. Segundo, observe que el
ángulo entre γ1 y γ2 es π/4 y el ángulo entre f (γ1 ) y f (γ2 ) es π/4.
SOL: Dado que f ′ (z) = 0 si z = 0, entonces consideremos las curvas dadas por
γ1 : {(x, y) : y = 0} γ2 : {(x, y) : x = 0}
Dado que f (z) = x2 − y 2 + i(2xy) tenemos f (γ1 ) es el semieje positivo u y f (γ2 ) es el semieje negativo −u. Note
que el ángulo entre γ1 y γ2 es π/2 pero el ángulo entre sus imágenes es π, ası́ que está función no es conforme en 0
pues no preservo el ángulo entre las curvas.
Definición 123 (Aplicación isogonal).
Una aplicación que preserva el valor absoluto del ángulo entre arcos suaves pero NO nece-
sariamente el sentido se llama isogonal.
118
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
Estas transformaciones reciben este nombre en honor al matemático y astrónomo alemán August Ferdinand
Möbius.
119
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
a) Traslaciones: T (z) = z + b, 1
c) Inversiones: T (z) = ,
z
b) Dilataciones: T (z) = az si a ∈ R\{0} d) Rotaciones: T (z) = eiθ z
Demostración: Si c = 0 entonces
az + b a b a b
T (z) = = z+ = z+
d d d d a
b
pues a 6= 0 ya que ad 6= 0 y esta se puede ver como la composición de una traslación (z + ) y una dilatación o
a
a
rotación dependiendo de si es real o complejo. Si c 6= 0 entonces
d
az + b a(z + b/a) a z + b/a a z + d/c − d/c + b/a a −d/c + b/a
T (z) = = = = = 1+
cz + d c(z + d/c) c z + d/c c z + d/c c z + d/c
pues a y c no pueden ser cero al mismo tiempo ya que ad − bc 6= 0 y esta se puede ver como la composición de una
d −d/c + b/a −d/c + b/a a
traslación (z + ) una inversión , una traslación 1 + y finalmente una dilatación (si real)
c z + d/c z + d/c c
a
o rotación (si complejo).
c
Ejemplo 150. Encuentre una trasformación de Mobiüs que mapee el circulo |z − i| = 1 en el circulo |z − 2| = 2
Demostración: El conjunto de puntos fijos de f están dados por la ecuación, T (z) = z, z ∈ C. esto nos lleva a
resolver
az + b
=z ⇒ az + b = z (cz + d) ⇒ 0 = cz 2 + (d − a)z − b
cz + d
Por lo tanto, toda transformación de Möbius tiene a lo más dos puntos fijos. En consecuencia, si T tiene tres o más
puntos fijos en C∞ entonces T (z) = z.
Demostremos que una transformación de Möbius queda determinada por su acción en tres puntos distintos
dados de C∞ .
120
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
entonces T es única
Demostración: Supongamos que existe otra transformación de Möbius S(z) tal que
121
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
Observe que si z = z1 entonces (z1 − z3 )(z2 − z1 )(w − w1 )(w2 − w3 ) = 0 y por ende w = w1 . Analogamente, , si
z = z2 entonces w = w3 . Si z = z2 , nos lleva a la ecuación
(w − w1 )(w2 − w3 ) = (w − w3 )(w − w1 )
simplificando un poco encontramos que la ecuación tiene una única solución, w = w2 . Dejo al lector demostrar que
(7.2) se puede reescribir como
az + b
w = T (z) =
cz + d
az + b
Ejemplo 153. Usando (7.2) halle la transformación de Mobiüs T (z) = tal que
cz + d
T (−1) = −i T (0) = 1, T (1) = i
1
SOL: Aquı́ z1 = 1, z2 = 0, z3 = −1, w1 = i, w2 = ∞ = lı́m y w3 = 1. Reemplazando estos valores en (7.2)
w2 →0 w2
(w − w1 )(w2 − w3 ) (z − z1 )(z2 − z3 ) (w − i)(1/w2 − 1) (z − 1)(0 + 1)
= lı́m =
(w − w3 )(w2 − w1 ) (z − z3 )(z2 − z1 ) w2 →0 (w − 1)(1/w2 − i) (z + 1)(−1)
w−i 1−z
, es decir que, = , despejando aqui w en términos de z llegamos a la transformación
w−1 z+1
(i + 1)z + (i − 1)
w = T (z) = T (z) =
2z
Observación: Cuando un zi = ∞ o un wi = ∞ la expresión (7.2) siempre va a suprimir los factores que contienen
a zi o wi . Por ejemplo en el caso en que z2 = ∞ entonces (7.2) quedará de la siguiente forma
(w − w1 )(w2 − w3 ) z − z1
=
(w − w3 )(w2 − w1 ) z − z3
122
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
(z − z3 ) (z2 − z4 )
T (z) =
(z − z4 ) (z2 − z3 )
El siguiente resultado afirma que la razón cruzada es invariante para el grupo de las transformaciones de mobiüs,
en otras palabras la imagen de un valor z* por medio de la razón cruzada (z∗, z2 , z3 , z4 ) = (S(z∗), S(z2 ), S(z3 ), S(z4 ))
donde S es cualquier transformación de Mobiüs.
Proposition 131 (Invarianza de T. razón cruzada).
Si z2 , z3 , z4 puntos distintos en C∞ y S es cualquier transformación de Möbius. Entonces
Demostración: Sea T (z) = (z, z2 , z3 , z4 ) luego T es una transformación de Mobiüs. Consideremos ahora la
transformación de Mobiüs dada por M = T S −1 de manera que
luego existe S = M −1 T (pues T y M existen por ser razones cruzadas). Observe que
123
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
representa una circunferencia si (A 6= 0) o una recta (si A = 0). La necesidad de la condición B 2 + C 2 > 4AD
resulta evidente cuando A 6= 0 pues podemos reescribir la ecuacion como
√
B 2 C 2 B 2 + C 2 − 4AD 2
(x + ) + (y + ) =( )
2A 2A 2A
Si A = 0, la condición se convierte en B 2 + C 2 > 0, lo cual significa que B y C NO son ambas ceros, y por ende
existe la recta.
Reescribiendo (7.3) en coordenadas complejas
z+z z−z B C B C
Azz + B( ) + C( )+D =0 ⇐⇒ Azz + ( − )z + ( + )z + D = 0
2 2i 2 2i 2 2i
En otras palabras, (7.3) es equivalente a
C : Azz + βz + βz + D = 0, A, D ∈ R, β ∈ C (7.4)
Sea C un circulo que NO pasa por el origen, esto es, (A 6= 0, D 6= 0) entonces TI (C) = Γ es un circulo que
NO pasa por el origen.
Sea C un circulo que SI pasa por el origen, esto es, (A 6= 0, D = 0) entonces TI (C) = Γ es una recta que NO
pasa por el origen.
Sea C una recta que NO pasa por el origen, esto es, (A = 0, D 6= 0) entonces TI (C) = Γ es un circulo que SI
pasa por el origen.
Sea C una recta que SI pasa por el origen, esto es, (A = 0, D = 0) entonces TI (C) = Γ es una recta que SI
pasa por el origen.
124
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
Orientación de Cı́rculos
Intuitivamente, estos tres puntos dan una dirección a Γ. Esto es, vamos de z1 a z2 a z3 . Observe que si solo se
dan dos puntos z1 a z2 , podrı́a ser ambigüo. Porque?
Definición 135 (Orientación de cı́rculos-rectas).
Si (z1 , z2 , z3 ) es una orientación de Γ entonces definimos lado derecho de Γ con respecto
a (z1 , z2 , z3 ) se define como el conjunto
{z : Im(z, z1 , z2 , z3 ) > 0}
{z : Im(z, z1 , z2 , z3 ) < 0}
Ejemplo 156. Si (−i, 0, i) es una orientación del eje imaginario entonces {z : Re(z) > 0} es el lado derecho de
este eje.
SOL: Aquı́ tenemos que demostrar que {z : Im(z, −i, 0, i) > 0} = {z : Re(z) > 0}. En efecto,
(z − 0) (−i − i) 2z 2z z+i 2
(z, −i, 0, i) = = =( )( )= (|z|2 + iz)
(z − i) (−i − 0) z−i z−i z+i |z − i|2
Por tanto,
{z : Im(z, −i, 0, i) > 0} = {z : Im(iz) > 0} = {z : x > 0} = {z : Re(z) > 0}.
Ejemplo 157. Si (−i, −1, i) es una orientación de Γ entonces halle es el lado derecho e izquierdo de Γ.
SOL: Aquı́ tenemos que hallar {z : Im(z, −i, −1, i) > 0} y {z : Im(z, −i, −1, i) < 0}. Observe,
{z : Im(z, −i, −1, i) > 0} = {z : Im(−izz + i) > 0} = {z : −|z|2 + 1 > 0} = {z : |z| < 1}.
{z : Im(z, −i, −1, i) < 0} = {z : Im(−izz + i) < 0} = {z : −|z|2 + 1 > 0} = {z : |z| > 1}.
Ejemplo 158. Encuentre una función analı́tica f : G −→ D, donde G = {z : Re(z) > 0} y f (G) = D = z : |z| < 1
SOL: Consideremos la orientación de (−i, 0, i) en la frontera de G (es decir, el eje imaginario) de manera que la
razón cruzada (ver Ejemplo 156)
2z
S(z) = (z, −i, 0, i) = .
z−i
125
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
De manera similar, consideremos la orientación (−i, −1, i) en la frontera de D (es decir, |z| = 1) de manera que la
razón cruzada (ver Ejemplo 157)
2i(z + 1)
R(z) = (z, −i, −1, i) =
(i − 1)(z − i)
Entonces T = R−1 S mapea G dentro de D y el eje imaginario dentro de |z| = 1. Despues de una manipulación
algebraica encontramos que
z−1
T (z) =
z+1
Ejemplo 159. Mappee de manera conforme la intersección de los discos |z−1| < 1 y |z−i| < 1 al primer cuadrante.
Ahora una ves identificada la region nos damos cuenta que podemos rotarla un angulo θ = − 3π
4 para ello usamos
la Transformación de rotación dada por
−3π
T2 (z) = ei( 4 )z
SOL: Usando la transformación del Ejemplo 158, T (z) = z−1 z+1 logramos enviar el semiplano Rez > 0 al disco
|w| < 1 Ası́ que los ceros de p(z) = 0 que estamos buscando en el z-plano (Rez > 0) tienen su imagen en el w-plano,
especı́ficamente en |w| < 1, y tienen la siguiente relación
z−1 1+w
w = T (z) = , ⇐⇒ z=
z+1 1−w
126
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
1+w
Encontremos entonces el polimonio en la variable w, q(w) = p( 1−w )=0
11(1 + w)4 − 10(1 + w)3 (1 − w) − 4(1 + w)2 (1 − w)2 + 10(1 + w)(1 − w)3 + 9(1 − w)4 = 0
w4 + 3w3 + 8w2 − 2w + 1 = 0
Ahora nuestro objetivo se centra en calcular cuantos ceros tiene q(w) = w4 + 3w3 + 8w2 − 2w + 1 = 0 en |w| < 1.
definiendo f (z) = 8w2 y g(z) = w4 + 3w3 − 2w + 1 = 0 vemos que
es claro que |f (z)| > |g(z)| sobre |z| = 1, ası́ que por el Teorema de Roché f (z) y q(z) = f (z) + g(z) tienen el mismo
número de ceros en |z| < 1, y como f tiene 2 ceros entonces el polinomio tiene q(z) = w4 + 3w3 + 8w2 − 2w + 1
tiene 2 ceros en |z| < 1. Por ende tambiém podemos concluir que p(z) = 0 tiene 2 ceros en el semiplano derecho.
a)
b)
c)
127
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
d)
e)
f)
Simetrı́a en Circulos
Los puntos z y z son simétricos con respecto al eje real. Ahora vamos a generalizar este concepto de puntos
simetricos, respecto a cualquier circulo Γ.
Definición 137 (Puntos Simétricos ).
Los puntos z y z ∗ son simétricos con respecto al circulo Γ en z-plano extendido,
si existe un transformación de Mobiüs T que mapee
T (z ∗ ) = w = T (z)
A primera vista podrı́a parecer que la simetrı́a con respecto a Γ depende de la transformación T , pero la
verdad es que la simetrı́a es independiente de la transformación utilizada. En efecto supongamos que
S también mapea S(Γ) = R∞ , por tanto la aplicación M = ST −1 mapea el eje real en si mismo, es decir,
M (R∞ ) = ∞. Mas aun,
128
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
az + b
M (z) = , donde a, b, c, d ∈ R
cz + d
Dado que la Razón Cruzada es una transformación de Mobiüs que enviá cualquier circulo Γ a eje real,
podrı́amos entonces redefinir los puntos simétricos a un circulo de la siguiente forma
Definición 138 (Puntos Simétricos-Razón Cruzada).
Diremos que z, z ∗ ∈ C∞ son puntos simétricos con respecto a Γ si
Si Γ : |z − a| = R y z ∈ Γ entonces z ∗ = z.
SOL: Primero, hallemos una trasformación de Mobiüs T tal que S(Γ) = R∞ . Para ello tomemos 3 puntos
cualquiera del Γ, por ejemplo, 0,−1 + i,−2 y los enviamos a 0, 1, ∞. Luego,
z(i + 1) −iz
S(z) = =
(z + 2)(i − 1) z−2
De manera que
2−i 2+i
w = S(i) = , =⇒ w=
5 5
y dado que el mapeo inverso esta dado por
−2w −2( 2+i
5 ) 1
S −1 (w) = =⇒ S −1 (w) = 2+i
= − (−1 + i)
w+i 5 +i
2
Por tanto, el punto simétrico de i esta dado por z ∗ = − 21 (−1 + i)
Si Γ es una linea recta, entonces sin perdida de generalidad supongamos z4 = ∞, luego si z ∗ y z son
simétricos entonces
z∗ − z z − z
3 3
|(z ∗ , z2 , z3 , ∞)| = |(z, z2 , z3 , ∞)|, ⇐⇒ = ⇐⇒ |z ∗ − z3 | = |z − z 3 |
z2 − z3 z2 − z3
129
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia
(z ∗ , z2 , z3 , z4 ) = (z, z2 , z3 , z4 ) = (z − a, z2 − a, z3 − a, z4 − a) = (z − a, z 2 − a, z 3 − a, z 4 − a)
(z 2 − a)(z2 − a) (z 3 − a)(z3 − a) (z 4 − a)(z4 − a)
= (z − a, , , )
z2 − a z3 − a z4 − a
R2 R2 R2
= (z − a, , , )
z2 − a z3 − a z4 − a
R2
=( , z2 − a, z3 − a, z4 − a)
z−a
R2
=( + a, z2 , z3 , z4 )
z−a
Por lo tanto,
R2 R2 z∗ − a R2
z∗ = + a, ⇐⇒ z∗ − a = ⇐⇒ = := t > 0
z−a z−a z−a |z − a|2
Esto implica que z ∗ = a + t(z − a), es decir z ∗ vive en la recta L : a + t(z − a), 0 < t < ∞. Adicionalmente la
segunta expresion implica que |z ∗ − a||z − a| = R2 .
|z ∗ − a| R
= ⇐⇒ |z ∗ − a||z − a| = R2 .
R |z − a|
(T z ∗ , T z2 , T z3 , T z4 ) = (z ∗ , z2 , z3 , z4 ) = (z, z2 , z3 , z4 ) = (T z, T z2 , T z3 , T z4 )
130