Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Índice general
I Introducción 3
1 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
V Cálculo de residuos 70
V.1 Series de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
V.2 Singularidades aisladas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
V.2.1 Singularidades y polos en términos de la serie de Laurent . . . . 75
V.3 Teorema de los residuos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
A Resumen 93
A.1 Números complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
A.2 Funciones holomorfas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
A.3 Series . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
A.4 Funciones analíticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
A.5 Integral compleja . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
A.6 Series de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
A.7 Teorema de los residuos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
A.8 Teoremas fundamentales de Variable Compleja . . . . . . . . . . . . . . . 106
A.9 Aplicaciones conformes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
B Ejercicios 109
B.1 Hoja 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
B.2 Hoja 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 126
B.3 Hoja 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 150
B.4 Hoja 4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 164
B.5 Hoja 5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175
B.6 Hoja 6 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 183
B.6.1 Singularidades aisladas. Series de Laurent . . . . . . . . . . . . . 183
B.6.2 Teorema de los residuos. Integrales impropias . . . . . . . . . . . 186
B.6.3 Principio del argumento. Teorema de Rouché . . . . . . . . . . . . 192
B.6.4 Teorema de Morera . . . . . . . . . . . . . . . . . . . . . . . . . . . 195
B.7 Hoja 7 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 197
B.7.1 Teorema de la aplicación abierta, Principio del módulo máximo y
lema de Schwarz . . . . . . . . . . . . . . . . . . . . . . . . . . . . 197
B.7.2 Aplicaciones conformes . . . . . . . . . . . . . . . . . . . . . . . . 201
2 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Capítulo I
Introducción
Se trata de una de las ramas más bonitas del análisis. Puesto que nos reduciremos
a trabajar con un conjunto de funciones selecto al que le exigimos más propiedades,
obtendremos resultados más rígidos que en el análisis habitual en R. Se estudiarán las
funciones analíticas que son generalización de los polinomios en Z.
Función ho- Definición I.2 Función holomorfa. Una función es holomorfa en z0 si:
lomorfa
f (z0 + h) − f (z0 )
∃f 0 (z0 ) = lı́m , h∈C
h→0 h
3 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
4 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Capítulo II
En primer lugar, vamos a ver cómo y por qué se construye el cuerpo de los
complejos. Partimos de las siguientes propiedades de los reales:
(R, +, ·) es un cuerpo.
En R, la ecuación
x2 + 1 = 0 (II.1)
Buscamos el menor cuerpo que contenga a (R, +, ·) como subcuerpo y donde (II.1)
tenga solución.
Número Definición II.1 Número complejo. Un número complejo es un par ordenado (a, b) con
complejo a, b ∈ R que satisface
(a, b) = (c, d) ⇐⇒ a = c y b = d
5 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
a 6= 0
Tenemos
1 + bd
c=
a
1 + bd
b + ad = 0 ⇐⇒ (a2 + b2 )d = −b
a
De donde obtenemos
−b
d=
a2 + b2
a
c= 2
a + b2
a=0
b 6= 0 porque el elemento (0, 0) no tiene inverso.
Tenemos por tanto:
−1
d=
b
c=0
Una vez definidas todas las operaciones del cuerpo C, podemos considerar el
cuerpo C0 = {(a, 0) : a ∈ R} ⊂ C y la aplicación
f : R 7−→ C0 (II.2)
tal que f (a) = (a, 0) es un isomorfismo de cuerpos por lo que podemos identificar
R con C0 .
El número complejo (0, 1) es solución de x2 + 1 = 0 pues
6 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Con esta notación los complejos obedecen las mismas reglas aritméticas que
cumplían los reales.
Para calcular el inverso multiplicativo de un número complejo procedemos
multiplicando y dividiendo por su conjugado:
1 a − bi a − bi a bi
= = 2 2
= 2 2
− 2
a + bi (a + bi)(a − bi) a +b a +b a + b2
Gauss demostró el Teorema Fundamental del Álgebra que nos garantiza que
cualquier polinomio con coeficientes complejos de grado n tiene n soluciones
complejas.
II.2. Conjugación
Parte real Definición II.2 Parte real (Re(z)). Es la parte del número complejo que no aparece multiplicada
(Re(z)) por i en la forma
z = a + bi
Parte ima- Definición II.3 Parte imaginaria (Im(z)). Es la parte del número complejo que aparece
ginaria multiplicada por i en la forma
(Im(z))
z = a + bi
z̄ = a − bi
Evidentemente, si tomamos un número complejo sin parte imaginaria (un número real)
tendremos que el número y su conjugado coinciden.
Módulo Definición II.5 Módulo. Sea z = a + bi un número complejo, su módulo es la raíz cuadrada
de la suma de los cuadrados de la parte real y la parte imaginaria.
p
|z| = a2 + b2
|z|2 = z · z
7 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Una vez vistas estas definiciones, veamos una serie de propiedades que resultarán
muy útiles a la hora de trabajar con complejos:
z + z̄
1. Re(z) =
2
z − z̄
2. Im(z) =
2i
3. z + w = z̄ + w̄
4. zw = z̄ w̄
z z̄
5. =
w w̄
6. |z| = |z̄|
Prácticamente cualquier otra relación entre las partes de los números complejos
puede deducirse a partir de estas propiedades.
Representación Definición II.6 Representación polar. Consiste en definir los números complejos como
polar vectores en el plano. Para ello sólo es necesario dar su módulo y el ángulo (argumento) que
forman respecto a la horizontal.
Una vez definida esta notación, tenemos otra serie de propiedades de gran utilidad:
8 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
√
Ejemplo: Para el entero z = 1 − i tenemos que |z| = 2, arg(z) = − π4
Por tanto, podríamos escribir este número como:
!
√
−π −π
z= 2 cos + 2πk + i sen + 2πk
4 4
Esta nueva representación de los números complejos resulta muy útil pues
se comporta bien respecto a la multiplicación. Es decir, con esta representación,
podemos multiplicar dos complejos basándonos en las operaciones con las ecuaciones
trigonométricas habituales.
Demostración.
pero
z1 z¯2 + z¯2 z1 = 2Re(z1 z¯2 ) ≤ 2|z1 z¯2 | = 2|z1 ||z¯2 | = 2|z1 ||z2 |
luego
9 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Para calcular las potencias de un número complejo resulta muy cómodo apoyarnos
en la representación polar de los mismos.
Ejemplo: Dados una serie de números complejos zj = rj (cos(αj ) + i sin(αj )) tenemos que
n
Y n
Y Xn Xn
zi = ri cos αj + i sin αj
i=0 i=0 i=0 i=0
La profesora pareció ignorar esta parte para saltar directamente al plano complejo extendido.
Así que estas líneas vienen por cortesía de Wikipedia
En matemáticas, el plano complejo es una forma de visualizar y ordenar el conjunto
de los números complejos. Puede entenderse como un plano cartesiano modificado, en
el que la parte real está representada en el eje de abscisas y la parte imaginaria en el
eje de ordenadas. El eje de abscisas también recibe el nombre de eje real y el eje de
ordenadas el nombre de eje imaginario.
El plano complejo a veces recibe el nombre de plano de Argand a causa de su uso
en diagramas de Argand. Su creación se atribuye a Jean-Robert Argand, aunque fue
inicialmente descrito por el encuestador y matemático Noruego-danés Caspar Wessel.
El concepto de plano complejo permite interpretar geométricamente los números
complejos. La suma de números complejos se puede relacionar con la suma con
10 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
dido C = C ∪ {∞}
Añadir el infinito a los complejos nos resultará muy ventajoso, como veremos más adelante.
Lo primero que debemos hacer para trabajar en este plano complejo es definir una
distancia. Para ello vamos a basarnos en la proyección estereográfica.
La idea es sencilla. Consideramos el plano complejo y construimos una esfera a la
que el plano corte por la mitad. Cada punto del plano lo unimos con el polo norte de la
esfera y tomamos como imagen la intersección de ese segmento con la esfera, como se
puede ver en la figura II.1.
z
P 4, 23 , 0
X u, u−2
3
P̂ v
−2, −5
3 ,0
u S
Figura II.1: Proyección estereográfica
Así, todos los puntos del plano están asociados de manera única a un punto de la
esfera y viceversa. El único punto sin imagen sería el polo norte al cual le asociamos el
infinito.
Por tanto, podemos identificar el plano complejo extendido con una esfera (la esfera
de Riemann) mediante la proyección estereográfica:
V
ψ : C 7−→ S
11 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Ejemplo: Veamos algunos ejemplos de cómo se comporta esta proyección, a fin de entenderla
mejor:
ψ z ∈ C : |z| < 1 = (x1 , x2 , x3 ) ∈ S : x3 < 0
ψ z ∈ C : |z| = 1 = (x1 , x2 , 0) ∈ S
ψ z ∈ C : |z| > 1 = (x1 , x2 , x3 ) ∈ S : x3 > 0
Despejando llegamos a
|z|2 − 1
t=
|z|2 + 1
Una vez que tenemos definida una distancia podemos hablar de límites y
continuidad.
12 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
En C definimos d(z, w) = |z − w|
Continuidad Definición II.9 Continuidad. Sea Ω un dominio (abierto y conexo) en C y sea f : Ω 7−→ C
decimos que:
13 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
A PARTADO B )
1 lı́mz→0 1 1 1 1
lı́m 1 = 1 = 1 = = = w0
z→0 f ( )
z lı́mz→0 f ( z ) f (lı́mz→0 z ) f (lı́mz→∞ z) lı́mz→∞ f (z)
Despejando llegamos a
1
lı́m f (z) =
z→∞ w0
A PARTADO C )
1 lı́mz→0 1 1 1 1
lı́m = = = = =0
z→0 f (1/z) lı́mz→0 f (1/z) f (lı́mz→0 1/z) f (lı́mz→∞ z) lı́mz→∞ f (z)
lı́m f (x) = ∞
z→∞
14 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Capítulo III
Funciones holomorfas
Función ho- Definición III.1 Función holomorfa . Sea Ω ⊂ C abierto y f : Ω 7−→ C f es holomorfa en
lomorfa z0 ∈ Ω si y sólo si existe
f (z) − f (z0 )
lı́m = f 0 (z0 )
z→z0 z − z0
Función en- Definición III.2 Función entera . Una función es entera si es holomorfa en todo C
tera
Proposición III.1. Si una función f es holomorfa en z0 entonces será continua en ese mismo
punto
f (z) − f (z0 )
lı́m = f 0 (z0 )
z→z0 z − z0
por lo que
lı́m f (z) = f 0 (z0 ) · 0 + f (z0 ) = f (z0 )
z→z0
15 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Con la última propiedad hemos obtenido algo realmente nuevo, que no se cumple
en las funciones de variable real. A continuación veremos qué le estamos pidiendo a
las funciones holomorfas que nos garantiza esto y que no lo pedimos a las funciones de
variable real.
, entonces podemos escribir f (x, y) = u(x, y) + iv(x, y). Básicamente, hemos definido
las funciones u, v que nos dan la parte real e imaginaria respectivamente de la función
f.
Tenemos que
f (z0 + h) − f (z0 )
f 0 (z0 ) = lı́m
h→0 h
si el límite existe, en cualquier dirección en que me acerque a z0 debo obtener el mismo
límite2 .
Esta vez vamos a acercarnos en concreto por dos direcciones, las de los ejes.
Eje x
Eje y
16 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Como ya indicamos, para que la función sea diferenciable, las dos derivadas que
acabamos de calcular deberían coincidir. Igualando obtenemos
df df
(x0 , y0 ) = −i (x0 , y0 )
dx dy
es decir
du dv du dv dv du
(x0 , y0 )+i (x0 , y0 ) = −i (x0 , y0 ) + i (x0 , y0 ) = (x0 , y0 )−i (x0 , y0 )
dx dx dy dy dy dy
d2 u d2 v d2 v du2
= , =
dx2 dx dy dy 2 dy dx
d2 u d2 v d2 v du2
= − , = −
dy 2 dy dx dx2 dx dy
d2 u d2 u d2 v d2 v
+ 2 =0 + =0
dx2 dy dx2 dy 2
17 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Laplaciano Definición III.4 Laplaciano. El laplaciano u operador de Laplace se aplica sobre funciones y
consiste en sumar las segundas derivadas respecto de cada variable. Es decir:
d2 f d2 f
∆(f (x, y)) = +
dx2 dy 2
Función ar- Definición III.5 Función armónica. Se dice que una función es armónica si su laplaciano es
mónica 0.
Proposición III.3. Supongamos que tenemos dos funciones u, v diferenciables en (x0 , y0 ) (por
ejemplo, existen las derivadas parciales en ese punto y son continuas en un entorno del mismo)3
y que verifican las ecuaciones de Cauchy-Riemann, entonces f = u + iv es holomorfa en
z0 = x0 + iy0
du du
u(x0 + α, y0 + β) − u(x0 , y0 ) = (x0 , y0 )α + (x0 , y0 )β + o ||(α, β)||
dx dy
dv dv
v(x0 + α, y0 + β) − v(x0 , y0 ) = (x0 , y0 )α + (x0 , y0 )β + o ||(α, β)||
dx dy
du dv dv du
(x0 , y0 ) = − (x0 , y0 ), (x0 , y0 ) = (x0 , y0 )
dy dx dy dx
3
Recordamos que si era diferenciable teníamos esta propiedad pero no al revés.
18 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
1
∂f = ∂z f = (dx f − idy f )
2
dx 1 dx 1 dy 1 dy 1
= , = , = , = ,
dz 2 dz̄ 2 dz 2i dz̄ 2i
Ahora podemos aplicar la regla de la cadena y calcular
1 1
∂z f = ∂x f + ∂u f
2 2i
1 1
∂z̄ f = ∂x f + ∂u f −
2 2i
¯ = 0.
Proposición III.4. f es holomorfa si y sólo si ∂f
19 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Proposición III.5.
z + z̄ − z0 − z̄0 z − z̄ − z0 + z̄0
f (z) − f (z0 ) = ∂x f (z0 ) − i∂y f (z0 ) + o(|z − z0 |)
2 2
Ejemplo:
1.
z2
f (z) =
(z 2 + 1)2
Esta función es holomorfa en C \ {±i}. Para verlo nos basamos en que es el cociente de
dos funciones holomorfas por lo que f (z) será holomorfa en todo C salvo los puntos en
que se anula el denominador.
Si calculamos la derivada obtenemos
2z(z 2 + 1)2 − z 2 2(z 2 + 1)2z
f 0 (z) =
(z 2 + 1)4
2.
f (z) = z · Re(z)
Vamos a reescribir esta función de la forma:
∂x f = −i∂y f
ux + ivx = −i(uy + ivy )
20 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
z2 z
z + z̄
f (z) = z = + z̄
2 2 2
¯ =
Tenemos pues que ∂f z
que sólo se anulará en z = 0.
2
3.
z5
|z|4
si z 6= 0
f (z) =
0 si x = 0
z5
lı́m = 0 = f (0)
z→0 |z|4
f (z)
lı́m
z→0 z
En este caso, vamos a ver que no existe y para ello vamos a acercarnos por dos rectas
diferentes: el eje real y la recta z = |z|eiα = reiα .
Obtenemos los siguientes resultados
x5
lı́m = lı́m 1 = 1
x→0 |x|4 x x→0
r4 ei4α
lı́m = ei4α 6= 1
r→0 r4
Por tanto, el límite no existe y la función no es holomorfa. Sin embargo, las ecuaciones
de Cauchy-Riemann si se satisfacen para esta función, con lo que queda claro que las
ecuaciones de Cauchy-Riemann no son condición suficiente para que la función
sea holomorfa.
21 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
g : R2 7−→ R2
que nos lleva el punto (x, y) a u(x, y), v(x, y)
Esta función tendrá inversa en el punto (x0 , y0 ) si su Jacobiano es distinto de 0 en
ese punto. Vamos a calcularlo
u (x , y ) u (x , y )
C-R
Jg (x0 , y0 ) = x 0 0 y 0 0
= ux (x0 , y0 )vy (x0 , y0 ) − uy (x0 , y0 )vx (x0 , y0 ) =
vx (x0 , y0 ) vy (x0 , y0 )
C-R 2 2 2 2
= ux (x0 , y0 ) + vx (x0 , y0 ) = uy (x0 , y0 ) + vy (x0 , y0 ) = |f 0 (z0 )|2
De ahí podemos extraer que h(α, β) y k(α, β) verifican las ecuaciones de Cauchy-
Riemann.
Además,
1 f 0 (z) 1
g −1 (f (z)) = hx (f (z)) + ikx (f (z)) =
0 2
ux (x, y) − iv x (x, y) = 0 2
= 0
|f (z)| |f (z)| f (z)
22 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Además, como
|xn − x| < |zn − z| < |xn − x| + |yn − y|
la sucesión zn convergerá sii lo hacen las sucesiones xn e yn .
Converge Siempre que exista ese número complejo, z, diremos que la sucesión converge. Si no
Diverge existe este límite, diremos que la sucesión diverge. En particular, si lı́mn→∞ |zn | = ∞
Diverge a ∞ diremos que diverge a ∞.
Esta divergencia a infinito tiene sentido cuando trabajamos con el plano complejo
extendido (recordemos que era el plano complejo al que habíamos añadido el infinito).
Para que la divergencia a infinito tenga auténtico sentido debemos observar la sucesión
en la esfera de Riemann donde veríamos que esta “va hacia el polo norte”
Serie Definición III.8 Serie. En matemáticas, una serie es la generalización de la noción de suma
a los términos de una sucesión infinita. Informalmente, es el resultado de sumar los P
términos:
a1 + a2 + a3 + a4 + a5 + a6 . . . lo cual suele escribirse en forma más compacta como 1≤n an .
El estudio de las series consiste en la evaluación de la suma de un número finito n de términos
sucesivos y, mediante un pasaje al límite, identificar el comportamiento de la serie a medida que
n crece indefinidamente.
zn converge a w si y sólo si lı́mn→∞ nk=1 zk = w. En este caso
P P
Una serie
escribimos
X∞
zk = w
k=1
Esto es sencillo de entender puesto que si una suma infinita converge a un número
necesitamos que los sumandos converjan a 0. De lo contrario siempre estaríamos
sumando algo no despreciable y la suma infinita tendería a infinito.
Sea sn = nk=1 zn ,
P
P P
Si |zn | converge entonces zn también converge.
23 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Pn 0
Pn
Demostración. Sean sn = k=1 zk y sn = k=1 |zk | vamos a probar que sn
converge. Para ver que converge vamos a probar que es de Cauchy.
m m
X X
|zk | = |s0m − s0n | < ε
|sm − sn | =
zk ≤
k=m+1 k=n+1
Puesto que sabemos que s0n es de Cauchy queda claro que la sucesión sn
también lo es, pues la distancia entre dos elementos de esta segunda sucesión
es siempre menor que la diferencia entre dos elementos de la primera sucesión,
que es de Cauchy.
P P
Convergencia Definición III.10 Convergencia absoluta. Si la serie |zn | converge diremos que zn
absoluta converge absolutamente.
Convergencia Definición III.11 Convergencia puntual. Sea {fn : Ω ⊂ C 7−→ C} una sucesión de
puntual funciones, decimos que {fn } converge puntualmente a f : Ω ⊂ C 7−→ C sii converge punto a
punto. Es decir
Convergencia Definición III.12 Convergencia uniforme. Sea {fn : Ω ⊂ C 7−→ C} una sucesión de
uniforme funciones, decimos que {fn } converge uniformemente a f : Ω ⊂ C 7−→ C si “tenemos
convergencia puntual con un único N (z) para todo z”. Es decir
Demostración. Primero debemos determinar quién es ese límite antes de poder llevar
a cabo la demostración.
Sea gn (z) = nk=1 fk (z) podemos ver que es una sucesión de Cauchy, pues
P
m m m
X X X
|gm (z) − gn (z)| =
fk (z) ≤
|fk (z)| ≤ Mk = |sm − sn |4 < ε
k=n+1 k=n+1 k=n+1
24 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
que
n
X ∞
X
g(z) = lı́m gn (z) = lı́m fk (z) = fk (z)
n→∞ n→∞
k=1 k=1
Serie centra- Definición III.13 Serie centrada. Una series de potencias centrada en z0 ∈ C es una serie de
da la forma
X∞
an (z − z0 )n
n=0
P∞ n
Ejemplo: Dada la serie geométrica n=0 zn podemos ver que
1 − z n+1
1 + z + z 2 + ... + z n =
1−z
(en los ejercicios podemos encontrar una demostración por inducción de esta fórmula)
Vamos a analizar ahora el resultado obtenido viendo el límite de estas series.
Si |z| < 1
lı́m z n = 0
n→∞
∞
X X 1
z n = lı́m
n→∞ 1−z
i=0
Si |z| > 1
lı́m z n = ∞
n→∞
La serie diverge, luego su suma será infinita.
25 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
con M constante.
Entonces, para todo ρ ∈ (0, |ε|) la serie converge absoluta y uniformemente en {z |z −
z0 | < ρ}.
Básicamente ese ε nos va a dar el tamaño de la bola centrada en z0 que nos permite
garantizar la convergencia y, obviamente, estamos interesados en localizar el mayor ε.
Siendo α = |z − z0 |, tenemos dos posibilidades:
n
P
Observación: φ(α) = n |an |α es una función creciente. Por tanto, dada una
sucesión α1 < α2 , ... sabemos que si φ(α2 ) < ∞ =⇒ φ(α1 ) < ∞ y que si
φ(α2 ) = ∞ =⇒ φ(α3 ) = ∞.
Por tanto, queremos buscar justo el punto en que esta función pasa de ser finita a
ser infinita.
26 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
P∞
Teorema III.9. Sea R el radio de convergencia de la serie de potencias n=0 an (z − z0 ) n .
Se tiene que
1
R=
lı́m supn→∞ |an |1/n
|an |
R = lı́m
n→∞ |an+1 |
Demostración.
1. Lo primero que debemos hacer es comprobar que esta fórmula para R coincide
con la definición del mismo dada anteriormente.
Supongamos que 0 < R < ∞ (calculando R según su definición). Vamos
a probar la igualdad dividiendo en dos desigualdades. Buscamos probar
primero que
1
lı́m sup |an |1/n ≤
n→∞ R
Dado que R es finito, existe un r ∈ (0, R) tal que supn |an |rn < ∞5 . En este caso
existe un M > 0 tal que |an |rn < M ∀n ∈ N.
M 1/n
Así, tendríamos que |an |1/n < r y en el infinito veríamos que
1 1
lı́m |an |1/n ≤ ∀r ∈ (0, R) =⇒ lı́m sup |an |1/n ≤
n→∞ r n→∞ R
1 1 1
lı́m sup |an |1/n < =⇒ ∃N > 0 ∀n ≥ N sup |an |1/n < < =⇒
n→∞ R k≥N r R
1
=⇒ ∀k ≥ N |ak |1/k < =⇒ |an |rn < M ∀n =⇒ sup |an |rn < ∞
r n→∞
pero teníamos que R > r lo que nos lleva a contradicción, pues la R marca el
límite a partir del cual la serie deja de ser convergente.
27 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
an
2. Sea β= lı́mn→∞ an+1
Si vemos que la serie converge en {z : |z − z0 | < r− } ∀r− < β, tendremos que
β ≤ R.
Como r− < β existe un N t.q. r− < an+1
an
∀n ≥ N , es decir:
|an |
an+1 <
r−
desplazándonos un término a la izquierda en la sucesión (n−1) y multiplicando
a ambos lados por (r− )n obtenemos
|an |(r+ )n ≥ M
28 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
conocimientos sobre los reales. Puesto que los reales son parte de los complejos,
deberán cumplirse las condiciones de convergencia sobre ellos
an una serie compleja y sea c = lı́m supn→∞ |an |1/n ; si c < 1 la serie
P
Sea
converge y si c > 1 diverge.
Esta c aparecía al definir el radio de convergencia como el inverso del mismo por
lo que esta resultado puede escribirse como; R > 1 implica que la serie converge
y si R < 1 diverge.
an+1
Recordemos de los reales que si ∃ lı́mn→∞ |an | = D =⇒ si D > 1 la serie diverge
y si es menor que 1, converge.
Nuevamente esto puede probarse con el teorema anterior considerando que
D = R1 . Por tanto, D > 1 =⇒ R < 1 =⇒ divergencia y viceversa.
Ejemplo:
1. Tomemos la serie
∞
X (2n)!
zn
(n)!
n=1
en este caso
|an | (2n)!((n + 1)!)2 (n + 1)2 1
R = lı́m = lı́m 2
= lı́m =
n→∞ |an+1 | n→∞ (n!) (2(n + 1))! n→∞ (2n + 2)(2n + 1) 4
2. Tomemos la serie
∞
X ∞
X
n!
z = ak z k con ak = 1 ⇐⇒ k = n!
n=0 k=0
En este caso
lı́m sup |ak |1/k = 1 =⇒ R = 1
Vamos a estudiar ahora cómo se relacionan los radios de convergencia para la suma
y el producto mediante un ejemplo.
∞
X n
X
n
(an ± bn )z = lı́m (ai ± bi )z i
n→∞
n=0 i=0
y ese límite podrá descomponerse en suma de límites cuando ambos límites existan. La
forma de garantizar que esto ocurra es tomar el mínimo de los radios de convergencia.
29 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
∞
X
2. an bn z n
n=0
Podemos operar y ver que
1
= lı́m sup |an bn |1/n = lı́m sup |an |1/n |bn |1/n ≤
R n→∞ n→∞
1 1
≤ lı́m sup |an |1/n · lı́m sup |bn |1/n =
n→∞ n→∞ R1 R2
Por tanto tenemos que R ≥ R1 R2 y tendremos la igualdad cuando exista al menos uno
de los límites superiores: lı́m supn→∞ |an |1/n ó lı́m supn→∞ |bn |1/n .
Para afirmar esto nos hemos basado en el siguiente lema:
∞
X an
3. z n con bn 6= 0
bn
n=0
Podemos calcular su radio de convergencia de la siguiente forma:
R1
Así hemos llegado a que R ≤ R2 , teniendo la igualdad en caso de que exista el límite de
|bn |1/n
4. Producto de Cauchy
∞
X n
X
n
cn z con cn = ak bn−k
n=0 k=0
Vamos a jugar un poco con esta fórmula
m
X m
X m−k
X
ci z i = ak z k bl z l =
i=0 k=0 l=0
La igualdad es cierta por puro juego aritmético. La mejor forma de que el lector se convenza
de ello y entienda un poco qué hemos hecho es agrupar de nuevo los sumatorios de la
derecha y comprobar que, efectivamente, obtenemos el sumatorio de la izquierda de la
igualdad.
Sigamos ahora con nuestro cálculo:
Xm ∞
X ∞
X 6
k
= ak z bn z n − bl z l =
k=0 n l=m−k+1
m
X ∞
X m
X ∞
X
k n k
= ak z bn z − ak z bl z l
k=0 n k=0 l=m−k+1
m
X ∞
X m
X
= ak z k bn z n − ak z k · 07
k=0 n k=0
30 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
En definitiva, hemos llegado a que, para |z| < mı́n{R1 , R2 } se cumple que
m
X m
X ∞
X
i k
ci z = ak z bn z n
i=0 k=0 n
1 1
0
= lı́m sup n1/n |an |1/n = lı́m sup n1/n · lı́m sup |an |1/n = lı́m sup |an |1/n =
R n→∞ n→∞ n→∞ n→∞ R
Función Definición III.15 Función analítica. Sea f : Ω ⊂ C 7−→ C, decimos que f es analítica en Ω
analítica si para todo z0 ∈ Ω existe una bola B(z0 , r) = {z : |z − z0 | < r} donde F coincide con una
serie de potencias centrada en z0 , es decir
∞
X
f (x) = an (z − z0 )n
n=0
8
Abuso de notación puesto que aún no hemos definido la derivada de una serie
31 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
para la última desigualdad nos basamos en tomar un |h| < δ y en que podemos
quitar los términos que se restaban, con lo que hacemos que la suma tenga un valor
mayor.
Volviendo a nuestro sumatorio tenemos
∞ ∞
|h|2 X
f (z + h) − f (z) X n−1
n
− na n z ≤ a n |z| + δ
h δ2
n=1 n=1
si tomamos ahora |z| + δ ≤ |w| < R entonces la serie converge. Para ello basta con
tomar un δ(z) apropiado.
Es decir, para cada punto z tendremos un δ que nos garantiza que el valor
absoluto de la desigualdad anterior será menor que un cierto ε, con lo que queda
claro que la función es holomorfa.
1 (n)
Observación: Si an = n! f entonces
∞
X
f (n) (z) = n(n − 1) · · · (n − k + 1)an (z − z0 )n−k
n=k
Proposición III.13 (Principio de los ceros aislados). Veamos dos enunciados equivalentes
de esta proposición
Supongamos que existe una sucesión {wk } que converge a z0 sin llegar a alcanzarlo y tal
que f (wk ) = 0 ∀k. Entonces f (z) = 0 para {z : |z − z0 | < R} pues
por continuidad
a0 = f (z0 ) = lı́m f (wk ) = 0
k→∞
32 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
f (z)
= a1 + a2 (z − z0 ) + a3 (z − z0 )2 + ... =⇒ a0 = 0
z − z0
f (z)
y por el mismo argumento aplicado a la función g(z) = z−z0 obtenemos a1 = 0 y así
sucesivamente.
Es decir, vemos que si tenemos una serie de ceros de la función que no son
aislados, sino que tienen un punto de acumulación, entonces estamos ante un caso
trivial en el que la función es nula.
1
1. con a, b ∈ C b 6= 0 en potencias de z
az + b
Sacando factor común a la b tenemos
∞ n n
1 1 1 1 1 1X na z
= az = = (−1)
b 1 − − az
az + b b1+ b b
b bn
n=0
6z
2. en potencias de z
z 2 − 4z + 13
Vamos a separarlo en la suma de dos fracciones (como se hace al integrar un cociente de
polinomios)
6z 6z −iz1 iz2
= = + =
z2− 4z + 13 (z − z1 )(z − z2 ) z − z 1 z − z2
∞ ∞ ∞
!
z n z n
i i X X X 1 1
= z − =i −i =i − zn
1− z1 1 − zz2 z1 z2 z1n z2n
n=0 n=0 n=0
z2
3. en potencias de z
(1 + z)2
Para poder resolver este ejercicio debemos darnos cuenta de que esa función se parece a la
derivada de
∞
1 1 X
= = (−1)n z n
1+z 1 − (−z)
n=0
33 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
2z + 3
4. en potencias de (z − 1)
z+1
Vemos que podemos realizar la división cómodamente con lo que obtenemos
∞ n
2z + 3 1 1 1 1X z−1
= 2+ = 2+ = 2+ = 2+ (−1)n
z+1 z+1 2+z−1 2 1+ z−1 2 2
2 n=0
|z − 1| < 2
∞
P zn
Función ex- Definición III.16 Función exponencial. La serie n! tiene radio de convergencia R = ∞
ponencial n=0
pues
an
lı́m = lı́m (n + 1)! = ∞
n→∞ an+1 n→∞ n!
∞
zn
Definimos la función exponencial como ez = exp(z) =
P
n! .
n=0
Esta función es holomorfa en C y es su propia derivada.
Por que nos será útil saberlo más adelante, veamos una serie de propiedades de las
funciones holomorfas:
a. Si f 0 = 0 en Ω =⇒ f es constante
d. Si |f | es constante en Ω =⇒ f es constante
Demostración.
1. Si f 0 = 0 en Ω, tenemos que
ux + ivx = 0 en Ω (III.1)
34 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
uux + vvx = 0
−uvx + vux = 0
por lo que (u, v) es ortogonal a (ux , vx ) y a (−vx , ux ), que son linealmente
independientes si son distintos del vector nulo.
por ser constante tendrá el mismo valor en todos sus puntos, de modo que
1.
1
ez e−z = ez−z = e0 = 1 =⇒ ez =
e−z
2.
ez̄ = ez =⇒ |ez |2 = ez ez = ez ez̄ = ez+z̄ e2Re(z)
35 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
∞
z3 z5 X z 2k+1
sin(z) = z − + + ... = (−1)k
3! 5! (2k + 1)!
k=0
Ambas series tienen radio de convergencia infinito y son enteras (son holomorfas
en C)
Además podemos ver que si derivamos formalmente estas series obtenemos la
relación habitual entre las derivadas de estas funciones cuando trabajamos en los reales.
Es decir, tenemos que
Si jugamos un poco con las series del seno y el coseno, podríamos escribirlos como:
1 iz
e + e−iz
cos(z) =
2
1 iz
sin(z) = e − e−iz
2i
Fórmula de de donde podemos sacar la fórmula de Euler:
Euler
eiz = cos(z) + i sin(z)
ez − e−z
sinh(z) =
2
e + e−z
z
cosh(z) =
2
36 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Ejemplo: Vamos a comprobar que los ceros de sin(z) y cos(z) son reales (no añadimos
ninguno al trabajar con complejos).
Para ello vamos a descomponer el seno de un número complejo como sigue:
sin(z) = sin(x + iy) = sin(x) cos(iy) + sin(iy) cos(x) = sin(x) cosh(y) + i sinh(y) cos(z)
Si tuviésemos que z es un cero de la función, tendríamos que se cumplen las ecuaciones en los
reales
cosh>1
z }| {
sin(x) cosh(y) = 0 =⇒ sin(x) = 0 =⇒ x = 0
y
sin(x)=0
z }| {
sinh(y) cos(x) = 0 =⇒ sinh(y) = 0 =⇒ y = 0
con lo que podemos ver que, efectivamente no se ha añadido ningún punto z distinto de los que
ya teníamos la trabajar con los reales.
Se deja como ejercicio para el lector la comprobación de que los ceros de sinh y cosh
son imaginarios puros.
Función pe- Definición III.17 Función periódica. Una función f es periódica de período c 6= 0 si y sólo si:
riódica
f (z + c) = f (z) ∀z ∈ C
z 7→ z 2
Trabajando con esta misma función en los reales podemos calcular dos inversas
(puesto que la función x2 no es inyectiva, salvo en el 0).
Ahora vamos a tratar de calcular la inversa de esta función en el ámbito de los
complejos.
Si tomamos un punto w de la imagen y nos restringimos a un entorno del punto que
no contenga al 0, podremos definir “cómodamente” una función inversa.
Podemos construir una curva cerrada al rededor de w que no contenta al origen en
su interior. Haciendo esto podemos definir una curva cerrada similar en torno al punto
2 = w, que se correspondería con la imagen inversa de la curva original.
z w zw
37 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Observación: Para construir estas curvas (construimos más bien aproximaciones) basta
con ver cómo avanza el ángulo en la curva inicial y calcular que el ángulo variará la
mitad en la espacio de partida.
Haciendo esto en el caso anterior, el ángulo empieza siendo 0, subirá hasta alcanzar
un cierto ángulo (pequeño si la curva escogida tiene poca altura) sin superar nunca el
ángulo π y luego volverá a 0. Tras esto el ángulo disminuirá sin llegar a -π para acabar
volviendo a ser 0.
Este proceso nos muestra que en el conjunto de partida obtendremos una curva
similar que alcanzará la mitad del ángulo máximo y la mitad del mínimo.
Al margen de la escala, la figura sería algo así (curva azul).
z 7→ z 2
z1 z2 w = z12 = z22
g1
Sin embargo, si ahora tomamos una curva cerrada que encierre el origen en su
interior (curva roja) y hacemos un trabajo similar con los ángulos, vemos que cuando
en la curva de la imagen movemos el ángulo entre (0, 2π] en el conjunto de partida
nos estaríamos moviendo entre (0, π] con lo que obtenemos una función que no sería
continua, ergo no nos vale este método para construir la inversa.
El apaño más sencillo que podríamos hacer sería omitir aquellos caminos que
encierran al origen, es decir, restringir la función inversa a un cierto dominio donde
podamos garantizar su continuidad.
Para restringir este domino vamos a quitar un radio (el correspondiente al ángulo
α). Siendo
Ω = C \ {reiα : r ≥ 0}
definimos la función inversa como
1
g1 : Ω 7−→ C g1 (w) = |w|1/2 ei 2 argα (w)
38 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Una mejor solución para las funciones multivaloradas fue dada por Riemann y se
√
apoya en la superficie de Riemann de z
La idea consiste en recorrer dos veces el camino que dibujábamos en el conjunto de
llegada y suponer que al pasar dos veces por el lugar geométrico en que se encontraba
w estamos pasando por dos puntos diferentes.
Para definir esto se apoya en la superficie de Riemann, que consiste en retorcer el
plano complejo apoyándonos en una tercera dimensión.
39 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
ψ : Ωα = C \ {reiα : r ≥ 0} 7−→ R
40 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Rama del ar- Definición III.20 Rama del argumento. Sea Ω un dominio en C y f : Ω 7−→ R un función
gumento continua tal que
z
eif (z) =
|z|
diremos que f es una rama del argumento de z en Ω.
Observación: Si f0 es una rama del argumento de z en Ω, entonces las demás ramas son de la
forma f0 + 2πk
Esta definición, como podemos observar, no es más que una mera extensión de la
definición genérica de rama de una función dada en la segunda parte de la definición
de rama de una raíz.
Rama prin- Definición III.21 Rama principal. Llamaremos Rama principal a la función
cipal
Arg : C \ {x ∈ R : x ≤ 0} 7−→ (−π, π)
que, para cada punto complejo z nos da el valor de su argumento contenido en (−π, π)
Rama de Definición III.22 Rama de una función. Sea f : Ω 7−→ C \ {0} y sea ψ : Ω 7−→ R continua
una función tal que
f (z)
eiψ(z) = ∀z ∈ Ω
|f (z)|
41 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Dada una recta se transforma en una esperial, en una recta o en una circunferencia
según la posición de la misma.
La fórmula de Euler
eiy = cos(y) + i sin(y)
puede interpretarse como que la función exponencial enrolla el eje imaginario
alrededor de la circunferencia unidad (Tristan Needham)
42 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
es la inversa de ez : Dα 7−→ Ωα
43 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Rama de Definición III.23 Rama de log(z). Sea Ω un dominio en C y sea g : Ω 7−→ C continua tal que
log(z) eg(z) = z para todo z ∈ Ω diremos que g es una rama de log(z) en Ω
/ Ω pues 0 ∈ Ω =⇒ eg(0) = 0!
Observación: 0 ∈
Llamaremos la rama principal del log(z) a la función
Log : Ωπ 7−→ C
definida por
Log(z) = log |z| + i · arg 10 (z)
Lema III.16. Sea Ω ⊂ C un dominio y sea g0 una rama del logaritmo de z en Ω, las demás
ramas son de la forma g0 + 2πki con k ∈ Z
Demostración. Es claro que h(z) = g0 (z) + 2πki es una rama, pues es continua en Ω
(ya que así lo es g0 ).
Una vez hemos visto que las funciones de este tipo son ramas, nos queda ver que
no hay más ramas posibles.
Sea H(z) una rama. Precisamente por ser una rama sabemos que cumple:
Rama del Definición III.24 Rama del log(f (z)). Sea f : Ω 7−→ C \ {0} y se F : Ω 7−→ C una función
log(f (z)) continua tal que
eF (z) = f (z) ∀z ∈ Ω
diremos que F es rama del logaritmo de f (z).
44 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Rama de z b Definición III.25 Rama de z b . Sea b ∈ C y sea log(z) una rama del logaritmo en un dominio
Ω. Entonces podemos definir la función
f : Ω 7−→ C
con
f (z) = eb log(z)
que se trata de una rama de z b .
Potencia z Definición III.26 Potencia z de a. Sea a ∈ C \ {0} y sea log(a) un logaritmo de a, definimos
de a la potencia z de a (az ) a la función:
f : C 7−→ C
con
f (z) = ez log(a)
en(log(a)+2πki) = en log(a)
45 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Capítulo IV
Integral Sea f (t) = u(t) + iv(t) una función continua f : [a, b] 7−→ C definimos la Integral
como: Z b Z b Z b
f (t) dt = u(t) dt + i v(t) dt
a a a
siendo las dos integrales de la derecha integrales sobre los reales con las que ya sabemos
trabajar.
Propiedades
Z b Z b
1. cf (t) dt = c f (t) dt
a a
Z Z
b b
2. f (t) dt ≤ |f (t)| dt
a a
Rb
Demostración. Si a f (t) = 0 =⇒ no hay nada que demostrar. Tenemos 0 ≤ 0
R
b
Sea α∈ arg a f (t) dt , tenemos que
Z
Z b b
f (t) dt = f (t) dt eiα 1
a a
1
Todo complejo puede expresarse como su módulo multiplicado por e elevado a i veces el argumento.
2
A la izquierda tenemos un módulo, que es un número real, por lo que a la derecha deberemos tener
otro. Por tanto coincide con su parte real.
46 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Curva Definición IV.1 Curva cerrada. Si α(a) = α(b) diremos que α es una curva cerrada.
cerrada
Curva sim- Definición IV.2 Curva simple. α es una curva simple si cumple la propiedad
ple
∀t1 , t2 ∈ (a, b) α(t1 ) = α(t2 ) =⇒ t1 = t2
Curva de Definición IV.3 Curva de Jordan. Una curva simple y cerrada se llama curva de Jordan.
Jordan
Diferenciable Una curva α : [a, b] 7−→ C es diferenciable a trozos si existe una partición de [a, b]:
a trozos
a = t0 < t1 < · · · < tn−1 < tn = b
tal que α’ existe en todos los intervalos (ti , ti+1 ) y se extiende a una función continua
en [ti , ti+1 ].
Longitud de Definición IV.4 Longitud de una curva. La longitud de una curva α se define como:
una curva
Z b
long(α) = |α0 (t)| dt
a
Ejemplo: Si α : [a, b] 7−→ C es un camino y β es monótona de [c, d] a [a, b], tenemos que
long(α) = long(α ◦ β)
47 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Sea α : [a, b] 7−→ C un camino y sea f : α([a, b]) 7−→ C una función continua,
Integral de definimos la Integral de línea
línea
Z Z b
f (z) dz = f (α(t))α0 (t) dt
α a
Integral Definición IV.6 Integral de línea respecto a la longitud de arco. Definimos la integral de
de línea línea respecto a la longitud de arco como:
respecto a la
longitud de Z Z b
arco f (z)| dz| = f (α(t))|α0 (t)| dt
α a
Curva recti- Definición IV.7 Curva rectificable. Una curva a : [a, b] 7−→ C es rectificable si existe una
ficable constante M > 0 tal que para cualquier partición P = {t0 , t1 , ...tn } de [a, b] se tiene que
n
X
V (α, P ) = α(tk ) − α(tk−1 ) < M
k=1
Observación:
long(α) = sup{V (α, P )}
48 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
2. Para todo a, b ∈ C
Z Z Z
(af + bg) dz = a f dz + b g dz
α α α
4. Z Z
f (z) dz ≤ |f (z)|| dz| ≤ sup |f (z)| long(α)
α α z∈α([a,b])
49 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Demostración.
1.
Z Z d Z d
0
f (z) dz = f ((α ◦ β)(s))(α ◦ β) ds = f ((α ◦ β)(s))α0 (β(s))β 0 (s)ds =
α◦β c c
Z b Z
0
= f (α(t))α (t) = f (z) dz
a α
Por tanto
Z Z b
Z b
0
|f (α(t))||α0 (t)| dt ≤
f (z) dz = f (α(t))α (t) dt l ≤
α a a
Z b
≤ sup |f (z)| |α0 (t)| dt = sup (|f (z)|)long(α)
z∈α([a,b]) a z∈α([a,b])
5 Z Z Z Z
fn dz − f dz = (fn (z) − f (z)) dz ≤ |fn (z) − f (z)|| dz| ≤
α α α α
6
Z Z Z b Z b
0 0 0 d F=G+iH
f (z) dz = F (z) dz = F (α(t))α (t) = (F ◦ α)(t) dt =
α α a a dt
Z b Z b
d d T.F.C
= (G ◦ α)(t) dt + i
(H ◦ α)(t) dt =
a dt a dt
= (G ◦ α)(b) − (G ◦ α)(b) + i (H ◦ α)(b) − (H ◦ α)(b) = (F ◦ α)(b) − (F ◦ α)(a)
50 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Dividimos la curva en dos trozos y empleamos dos ramas del logaritmo. Se deja como
ejercicio para el lector
Teorema IV.2 (Teorema de Green). Sea α : [a, b] 7−→ R2 un camino simple y cerrado en
R2 ; Ω, el interior de α y P, Q : R2 7−→ R, dos funciones continuas en Ω ∪ (α([a, b])) y C 1
en Ω, entonces Z ZZ
dQ dP
P dx + Q dy = − dx dy
α Ω dx dy
Teorema IV.3 (Teorema de Cauchy). Sea f = u + iv, una función holomorfa en Ω con
f’ continua en Ω, y sea α un camino simple y cerrado, se cumple que:
Z Z Z
Green
f (z) dz = u dx − v dy + i v dx + u dy =
α α α
ZZ ZZ ZZ
Green df
= − (vx + uy ) dx dy + i (ux − vy ) dx dy = 2i dx dy = 0
Ω Ω Ω dz̄
51 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Demostración.
Para empezar escribimos el rectángulo de la siguiente forma
R = {x + iy a ≤ x ≤ b, c ≤ y ≤ d} = [a, b] × [c, d]
Z X 4 Z
=⇒ f (z) dz ≤
f (z) dz
∂R ∂R (i)
i=1
ya que en caso de ser todas las integrales menores que 1/4 de la suma tendríamos
que nunca alcanzarían el valor y nos quedaría una desigualdad estricta.
Sin pérdida de generalidad podemos suponer que el rectángulo que satisface esta
condición es R(1) .
Ahora dividimos este rectángulo en 4 rectángulos iguales y repetimos este
proceso.
Según vamos repitiendo este proceso generamos una sucesión decreciente de
rectángulos {Rn } tales que
Z
1 Z
f (z) dz ≥ f (z) dz
4 ∂Rn−1
∂Rn
T∞
Sea z ∗ el punto en dado ε > 0 ∃δ > 0
n=1 Rn ,
f (z) − f (z ∗ )
∗ 0 ∗
|z − z | < δ =⇒
∗
− f (z ) < ε
z−z
Rn ⊂ {z |z − z ∗ | < δ}
52 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
llegamos a
Z Z
n
1 1
f (z) dz ≤ 4n ε n diam(R) n long(∂R) = εdiam(R)long(∂R)
f (z) dz ≤ 4
∂R ∂Rn 2 2
lı́m (z − zi )f (z) = 0 ∀i
z→zi
entonces Z
f (z) dz = 0
∂R
Demostración. Para demostrar que el teorema es cierto basta con demostrarlo con
un conjunto formado por un único punto. Una vez que veamos que ese punto no
molesta para el cálculo de la integral, podremos extender la idea a un conjunto finito
de puntos.
Tenemos el punto z0 , contenido en el rectángulo y en el que la función no es
holomorfa. Dado ε > 0, vamos a dividir el rectángulo en 9 rectangulitos de forma que
el rectángulo central sea un cuadrado centrado en z0 y
3
f (z ∗ ) = 0 por ser curva cerrada
R
α
53 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
con lo que hemos vuelto a ver que es menor que cualquier valor, por tanto el valor
absoluto de esta integral vale 0.
Ahora, si αz era el camino que unía z0 con z, definimos ahora el camino β que
consiste en unir αz con el camino de retorno. Este camino β forma un rectángulo
teniendo que z y z0 en vértices opuestos.
Por tratarse de un camino cerrado sabemos que la integral será 0, de modo que
Z Z Z
0= f (z) dz = f (z) dz − f (z) dz
β αz α¯z
Ahora queremos ver que esta F (z) que hemos definido es holomorfa. Para
confirmarlo vamos a ver que cumple las ecuaciones de Cauchy-Riemann.
Basándonos en la primera definición de F (z) tenemos:
Z y
∂ T.F.C.
Fy (z) = i f (x + it) dt = if (x + iy) = if (z)
∂y y0
54 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Demostración. Por el teorema anterior sabemos que existe F holomorfa tal que F 0 = f
en {z : |z − z0 | < r}.
Por el teorema fundamental sabemos que
Z
f (z)dx = F (b) − F (a)
α
pero como a = b por tratarse de un camino cerrado, tenemos que la integral vale
0
55 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Índice de un Definición IV.8 Índice de un punto con respecto a un camino cerrado. Sea α : [z, b] 7−→
punto con C un camino cerrado y sea z0 ∈ C \ α([a, b]), el índice del punto con respecto a α se define
respecto a
como:
un camino arg(α(b) − z0 ) − arg(α(a) − z0 )
cerrado Indα (z0 ) =
2π
donde arg(α(t) − z0 ) es una rama del argumento de α(t) − z0
Este índice mide el número de vueltas que da la curva alrededor del punto teniendo en cuenta
el sentido de giro.
Observación: Sea β(t) = α(t) − z0 una función β : [a, b] 7−→ C, una rama del argumento
de β será una función continua g, definida sobre el mismo dominio g : [a, b] 7−→ C y
que represente el ángulo, es decir,
β(t)
eig(t) =
|β(t)|
56 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
con c1 una constante tal que ec1 = α(t) − z0 puesto que queremos que se cumpla
eF (a) = α(t) − z0
Tenemos que F (t) es continua en [a, b] y diferenciable en los mismos puntos que α
siendo su derivada conocida.
Queremos probar que
(α(t) − z0 )e−F (t) = 1
6
No sabemos si la función existe y por tanto no sabemos si será diferenciable. Suponemos que si que lo
es y ya veremos luego qué pasa.
57 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Teorema IV.8 (Fórmula integral de Cauchy en el disco). Sea f una función holomorfa
en {z |z − z0 | < r} y sea α un camino cerrado en el disco. Entonces
Z
1 f (w)
Índα (z0 )f (z) = dw ∀z ∈ /α
2πi α w − z
Demostración. Sea
f (w) − f (z)
F (w) = , holomorfa para todo w 6= z
w−z
tenemos que
(w − z)F (w) = f (w) − f (z) → 0 cuando w → 0
f (w) − f (z)
Z Z Z Z
f (w) dw
0= F (w) dw = dw = dw − f (z)
α α w−z α w−z w−z
| α {z }
2πi·Índα (z)
Para obtener la última integral hemos realizado un cambio de variable siendo w = z + reit
Tras simplificar en la última integral llegamos a:
Z 2π
1
f (z) = f (z + reit ) dt
2π 0
Observación: En definitiva, esta fórmula nos está diciendo que el valor de la función
holomorfa en un punto z se calcula como media de los valores de la función en los
puntos que lo rodean.
Proposición IV.9. Sea α : [a, b] 7−→ C un camino cerrado y Ψ : α([a, b]) 7−→ C continua,
entonces Z
1 Ψ(w)
f (z) = dw ∀z ∈/ α([a, b])
2πi α w − z
es analítica (y por tanto holomorfa) y se cumple que
Z
(n) n! Ψ(w)
f (z) = dw ∀n ∈ N
2πi α (w − z)(n+1)
Demostración. Sea z0 ∈/ α([a, b]) y sea r = dist(z0 , α([a, b])), para cada z tal que
|z − z0 | < r tenemos Z
Ψ(w)
2πif (z) = dw
α w−z
58 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
y sabemos que
1 X z − z0 n
= 7
z−z0 w − z0
1− w−z0 n
Puesto que
N
Ψ(w) X z − z0 n
gN (z) =
w − z0 w − z0
n=0
Ψ(w) 1
gN (z) ⇒ g(w) =
w − z0 1 − z−z0
w−z0
Por tanto
N
Ψ(w) X z − z0 n
Z Z Z
g(w) dw = lı́m fN (w) dw = lı́m =
α N →∞ α N →∞ α w − z0 w − z0
n=0
∞ Z ∞ Z
X Ψ(w) X Ψ(w)
= lı́m n+1
dw(z − z0 )n = (z − z0 )n
N →∞ (w − z0 ) (w − z0 )n+1
n=0 α n=0 α
Por tanto
∞ Z
X 1 Ψ(w)
f (z) = dw(z − z0 )n
2πi α (w − z0 )n+1
n=0
7
Ocurre sólo si la razón es menor que 1 en valor absoluto, es decir, |z − z0 | < |w − z0 |, que sabemos es
cierto.
59 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
a. f es analítica en Ω
holomorfa ⇐⇒ analítica
60 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
f (w) − f (z)
Z Z Z Z
f (w) 1
0= F (w) dw = dw = − dw =⇒
∂R ∂R w−z ∂R w − z ∂R w − z
Z
1 f (w)
=⇒ f (z) = dw ∀z ∈ R \ {0}
2πi ∂R w−z
h1 (z) − h1 (z0 )
h2 (z0 ) = lı́m h2 (z = lı́m = h01 (z0 ) = f 00 (z0 )
z→z0 z→z0 z − z0
y tenemos que
f (z) = (z − z0 )2 h2 (z)
61 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Técnicamente este resultado es algo más general que eso, pues es un resultado
global mientras que el polinomio de Taylor es local.
Recordemos que un dominio simplemente conexo es aquel que “no tiene huecos”.
Es decir, toda curva cerrada se puede contraer a un punto.
62 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Por tanto Z
1 f (w)
f (z) = dw ∀z ∈ Ω
2πi polígono w−z
Z Z Z ! Z Z
1 f (w) 1 1
f (z) dz = dw = f (w) · dw =
α α 2πi polígono w−z polígono 2πi α w−z
Z
w ∈ polígono Índ = 0
= f (w) · Índα (w) = dw = 0
polígono
63 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Para la última curva αzz 0 podemos tomar cualquier curva que una esos dos
puntos por lo que tomaremos la curva más sencilla posible, la recta que une esos
puntos. Por lo que nos queda
Z 1
f (z(1 − z) + tz 0 )(z 0 − z) = dt
0
Corolario IV.16. Sea Ω un dominio simplemente conexo y sea f : Ω 7−→ C \ {0} una función
holomorfa.
Entonces f tiene un logaritmo holomorfo y una raíz cuadrada holomorfa.
eF = f ⇐⇒ f e−F = 1
Como ya hemos hecho en otras ocasiones, vamos a derivar f e−F y a ver que esta
derivada es 0, con lo que podremos concluir que la función es constante. Vamos a
ello:
f0
(f e−F )0 = f 0 e−F −f e−F = 0 =⇒ f e−F = cte 6= 0 =⇒ f e−F = ew
0 =⇒ f = e
F +w0
f
Por tanto podemos concluir que F (z) + w0 es una rama del logaritmo de f .
Vamos ahora a por la raíz.
√ En este caso es más sencillo puesto que sabemos que la rama de la raíz será
f = e1/2 log(f ) y, como ya conocemos la rama del logaritmo, ya lo tenemos.
64 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
|f (w)|
Z Z
0 1 f (w) 0 1
f (z) = 2
dw =⇒ |f (z)| = | dw| ≤
2πi ∂B(z,r) (w − z) 2πi ∂B(z,r) |w − z|2
Z
M M M
≤ | dz| = 2πr = → 0 cuando r → ∞
2πr2 ∂B(z,r) 2πr2 r
Demostración. Sea
∞
X
f (z) = an z n
n=0
f (n) (0)
Z
1 f (w)
an = = dw con r > b
n! 2π ∂B(0,r) wn+1
|f (w)| a|w|n
Z Z
1 1 a a
|an | ≤ n+1
| dw| ≤ n+1
| dw| = n+1−m
2πri = n−m
2πi ∂B(0,r) |w| 2πi ∂B(0,r) |w| 2πir r
65 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Demostración.
f (a + r0 eit ) 0 it
Z Z 2π Z 2π
1 f (w) 1 1
f (z) = dw = ir e dt = f (a+r0 eit ) dt =
2πi ∂B(a,r) w − a 2πi 0 r0 eit 2πi 0
Si la integral está acotada superior e inferiormente por el mismo valor, es que ese
es su valor. Por tanto
Z 2π Z 2π h
1 0 it 1 i
|f (a)|) = |f (a + r e )| dt = |f (a)| − |f (a + r0 eit )| dt = 0
2π 0 2π 0
9
Por la hipótesis de que a es un máximo de la función.
66 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Proposición IV.22 (Principio débil del máximo). Sea Ω un abierto acotado y sea f : Ω 7−→
C una función holomorfa y continua en Ω̄, entonces |f | alcanza su valor máximo en ∂Ω
Demostración. Como f es continua en Ω̄ y Ω̄ es compacto sabemos que |f | alcanza un
máximo M.
Si |f (z0 )| = M para z0 ∈ Ω por el principio del módulo máximo tendremos que
|f | = M en Ω y por continuidad lo será también en ∂Ω
Lema IV.23 (Lema de Schwarz). Sea f : D 7−→ D̄, siendo D el disco unidad sin su borde,
una función holomorfa que se anula en el origen entonces |f (z)| ≤ |z| para todo z en el disco
unidad y |f 0 (0)| ≤ 1.
Además, si se da la igualdad tendremos:
f (z) = eiα z
Demostración. Sea
f (z)
z si z 6= 0
g(x) =
f 0 (0) si z = 0
Por el principio débil del máximo tenemos que para |z| < r < 1
|f (w)| |f (w)| 1
|g(z)| ≤ máx |g(z)| = máx = máx ≤
|w|=r |w|=r |w| |w|=r r r
|f (z)|
Por tanto |g(z)| ≤ 1 y obtenemos que |z| ≤ 1 ∀z ∈ D
Además si tenemos alguna de las igualdades por el principio del módulo máximo
g =cte con |cte| = 1 siendo g(z) = eiα para algún α y por tanto tendremos
f (z) = zeiα
Teorema IV.24. Sea f una función holomorfa en Ω siendo este simplemente conexo y sean
zj los ceros de la función f contados tantas veces como su multiplicidad.
Para todo camino cerrado α en Ω que no contenga ningún zj ,
Z 0
X 1 f (z)
Índα (zj ) = dw
2πi α f (z)
j
67 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Demostración. Sea B un abierto tal que α ⊂ B. En B sólo puede haber un número finito
de ceros (puntos zj ) pues si hay infinitos, por el teorema de Bolzado-Weierstrass
habría puntos de acumulación lo que implicaría qu f fuese idénticamente nula.
Sean z1 , z2 , ...zn los ceros en B, contados con multiplicidad, tenemos
f 0 (z) 1 1 1 g 0 (z)
= + + ... +
f (z) z − z 1 z − zn z − zn g(z)
Observación:
1
R f 0 (z)
Si Índα (zj )=0 ó 1 entonces 2πi α f (z) dz= número de ceros contados con
multiplicidad que encierra α.
y X
Índτ (a) = Índα (wj )
j
Si a,b están en la misma región determinada por τ Índτ (z) = Índτ (b).
68 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
69 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Capítulo V
Cálculo de residuos
Serie de Definición V.1 Serie de Laurent. Una serie de Laurent centrada en z0 ∈ C es una serie de la
Laurent forma
X∞
an (z − z0 )n con z0 ∈ C y z ∈ C \ {z0 }
n=−∞
Decimos que una serie de Laurent converge si y sólo si la suma de los positivos y la de los
negativos convergen.
∞ ∞ ∞
X X X 1
an (z − z0 )n converge ⇐⇒ an (z − z0 )n y a−m convergen
n=−∞
(z − z0 )n
n=0 m=1
Si las sumas de las series son S1 y S2 diremos que la suma de la serie de Laurent es S1 + S2
y suponemos que
0≤r<R≤∞
y sea
A = {z ∈ C r < |z − z0 | < R}
70 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Demostración. Es sencillo de ver puesto que para que la primera serie converja
necesitamos que (z − z0 ) < R.
Para que converja la segunda serie necesitamos que el factor que multiplica a an
sea menor que el radio de convergencia, lo que hace que el denominado, z − z0 sea
mayor que r.
Aplicando simultáneamente ambas condiciones para la convergencia tenemos
que la serie converge en el anillo indicado en el enunciado del teorema.
Ejemplo:
1. Tomamos la serie
∞
X
zn
n=∞
Por otro
∞
X 1
z −n = si |z| > 1
1 − 1/z
m=1
Puesto que los radios son iguales nos quedaría un anillo vacío. Es decir, esta serie de
Laurent no converge.
2. Tomamos la serie
∞ ∞ ∞
1 n X zn X 1 1 m
X
z = + = ez + e1/z − 1
n=∞
|n|! n! m! z
n=0 m=1
Con estas cuentas ya podemos intuir cuál será el anillo de convergencia pero vamos a
calcularlo formalmente.
1 1 1
r = lı́m sup |a−m | m = 0 y R = 1 = =⇒ R = ∞
m→∞ lı́m supn→∞ |an | n 0
71 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
3. Tomemos la serie
2n si n ≤ 1
∞
X
n
an z siendo an = 0 si n = 0
n=−∞
1 si n ≥ 1
Demostración. Siendo 0 < r < r0 < R0 < R y sea Ω1 el semidisco superior del disco
de radios r0 , R0 y sea Ω2 el semidisco inferior del mismo disco, tenemos que por la
fórmula integral:
Z Z
1 f (w) 1 f (w)
f (z) = dw + dw
2πi ∂Ω1 w − z 2πi ∂Ω2 w − z
Sabemos que una de las dos integrales nos saldrá 0 pues el punto z sólo puede estar
contenido en una de las dos regiones Ωi .
Podemos escribir entonces
Z Z
1 f (w) 1 f (w)
f (z) = dw − dw
2πi |w−z0 |=R0 w − z 2πi |w−z0 |=r0 w − z
donde el primer sumando es una función holomorfa, por una proposición vista
anteriormente y por tanto puede escribirse como serie de potencias.
Por otro lado
Z Z
1 f (w) 1 f (w)
B(z) = − dw = − dw =
2πi ∂B(z0 ,r0 ) w−z 2πi ∂B(z0 ,r0 ) z − z0 − (w − z0 )
72 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
∞
w−z n
Z Z
1 f (w) 1 X
=− w−z dw = − 2πi(z − z ) f (w) − dw =
2πi(z − z0 ) ∂B(z0 ,r0 ) 1 − z−z0 0 ∂B(z0 ,r0 ) z − z0
n=0
∞ Z
X 1 1
= f (w)(w − z0 )n dw
2πi ∂B(z0 ,r0 ) (z − z0 )n+1
n=0
∞
!
X 1 − (2i)n+1
= zn
1 − 2i
n=0
∞ n −1
1 1 1 1X 1 X
=− = − =− zm
1−z z 1 − 1/z |{z} z z m=−∞
|1/z|<1 n=0
∞ n −1
2i −2i 1 1X 1 1 X
= = − = (2i)m+1 z m
1 − 2i 2iz 1 − 1/(2iz) |{z} z 2i z n m=−∞
|1/(2iz)|<1 n=0
Por último, también tenemos que la función es holomorfa en {z 1/2 < |z| < 1}. Vamos
a calcular su desarrollo en serie de potencias en esta región.
∞
1 X
= zn
1 − z |{z}
|z|<1 n=0
∞
2i X 1
= − n−1
1 − 2iz |{z} (2i) zn
|z|>1/2 n=1
73 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
También es cierto que esta función es holomorfa en torno al 1. El máximo radio que podemos
coger para una región centrada en el 1 donde la función sea holomorfa es la distancia entre el
punto 1 y el punto −1/2i. Llamemos a este radio R. En esta región tenemos
1 1
=−
1−z z−1
∞ n
1 1 1 1 1 X 2i
= = 2i(z−1)
= (z−1)n
2iz 1 − 2i(z − 1) − 2i 1 − 2i 1 − |{z} 1 − 2i 1 − 2i
1−2i |z−1|<|(1−2i)/(2i)|=R n=0
√
Así, calculando R, nos queda que en la región 0 < |z − 1| < 5/2 la función se escribe
como desarrollo de potencias centrado en el 1 como:
∞ n
−1 1 X 2i
f (z) = + (z − 1)n
1 − 2i z − 1 1 − 2i
n=0
Singularidad Definición V.2 Singularidad aislada. Sea f una función holomorfa en B(z0 , r)\{z0 } decimos
aislada que f tiene una singularidad aislada en z0 si f (z) está acotada cerca de z0 , es decir,
∃r0 < r y M > 0 |f (z)| < M ∀z ∈ B(z0 , r0 )
Ejemplo: La función
cos(z)
f (z) =
z
tiene un polo en z = 0
Singularidad Definición V.3 Singularidad esencial. Si lı́mz→z0 |f (z)| no existe entonces decimos que z0
esencial es una singularidad esencial.
74 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
tenemos que:
75 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Residuos Definición V.4 Residuos. Sea z0 una singularidad aislada de una función
f : B(z0 , r) \ {z0 } 7−→ C entonces definimos
Z
1
Res(f (z), z0 ) = f (w) dw ∀ε ∈ (0, r)
2πi ∂B(z0 ,ε)
1 d(m−1)
(z − z0 )m f (z)
Res(f (z), z0 ) =
(m − 1)! dz
76 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Demostración.
Z ∞
1 X
Res(f (z), z0 ) = an (z − z0 )n dz =
2πi ∂B(z0 ,ε) n=−∞
↑
conv. uniforme
∞ Z Z
1 X 1 1 1
= an (z − z0 )n dz = a−1 dz =
2πi n=−∞ ∂B(z0 ,ε) 2πi ∂B(z0 ,ε) z − z0 ↑
def índice
a−1 2πi
= · Ind∂B(z0 ,ε) · = a−1
2πi 0! ↑
Ind∂B(z0 ,ε) = 1
Teorema V.4 (Teorema de los residuos). Sea Ω simplemente conexo y sea f una función
holomorfa en Ω menos en un conjunto de singularidades aisladas zj . Entonces
Z X
f (z) dz = 2πi Res(f (z), zj ) Índα (zj )
α j
1
por el Th Cauchy, la integral es 0 para n 6= −1
77 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Capítulo VI
Además si f tiene un cero en ẑ de orden n tenemos que f (z) = (z − ẑ)n g(z) con
g(ẑ) 6= 0 y g una función holomorfa cerca de ẑ
Así, podemos escribir
f 0 (z) n(z − ẑ)n−1 g(z) + (z − ẑ)n g 0 (z) n g 0 (z)
= = +
f (z) (z − ẑ)n g(z) z − ẑ g(z)
y por lo tanto
f0 g 0 (z)
Z Z
n dz 1
Res : ẑ = +
f 2πi ∂B(ẑ,ε) z − ẑ 2πi ∂B(ẑ,ε) g(z)
78 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
donde la segunda integral es 0 por tratarse de una función holomorfa integrada sobre
un camino cerrado.
Si f tiene un polo p de orden m entonces
1
f (z) = g(z)
(z − p)m
f 0 (z) g 0 (z) f0
−m
= + =⇒ Res : p = −m
f (z) z−p g(z) f
Demostración.
Caso a: Si g(z) = 0 para algún z ∈ γ =⇒ |f (z)| < |f (z)| ⇒⇐
Caso b: Si f (z) = 0 para algún z ∈ γ =⇒ |g(z)| < |g(z)| ⇒⇐
∴ f y g no tienen ceros en γ.
Caso c: Si f y g no tienen ceros en γ tenemos:
f (z) |f (z)|
g(z) − 1 < |g(z)| + 1, para z ∈ γ
f (z)
Si g(z) = λ ∈ (−∞, 0] tenemos que 1 − λ < λ + 1 ⇐⇒ 0 < λ ⇒⇐
Entonces f /g es holomorfa en un entorno, Λ de γ y, además, omite los valores
{x ∈ R x = 0}. Por tanto
f
log: Λ 7−→ C \ {0}
g
f f (z) f (z)
log (z) = log
+ iArg
g g(z) g(z)
79 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Así
Por tanto,
f 0
Z 0
g(z)00
Z Z
1 1 f (z) 1
0= log dz = dz − dz =
2πi γ g wπi γ f (z) 2πi γ g(z)
Ejemplo: Este resultado puede emplearse para demostrar el Teorema Fundamental del
Álgebra.
n
ai z i con an 6= 0 tenemos que p tiene n raíces contadas con su multiplicidad.
P
Sea p(z) =
i=0
a a z a z n−1
0 1 n−1
|p(z) − an z n | = |a0 + a1 z + ... + an−1 z n−1 | = |an z n | + + ... +
an z n an z n an z n
puesto que el segundo factor será menor que 1 para |z| ≥ R con R suficientemente grande,
tenemos que
|p(z) − an z n | < |an z n |
para |z| = R con R grande.
Aplicando el teorema de Rouché tenemos que:
80 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Ejemplo: Demostrar que z = λ − e−z con λ > 1 tiene una única raíz y además esta es
real.
Sea f (z) = z − λ + e−z
f (z) = 0 ⇐⇒ z − λ + e−z = 0 ⇐⇒ z̄ − λ + e−z̄ = 0 ⇐⇒ f (z̄) = 0
Es decir, hemos visto que en caso de haber una raíz compleja entonces su conjugado también
sería raíz y por tanto tendríamos dos raíces. Si ahora demostramos que la raíz es única tendremos
directamente que esta no puede ser compleja.
Ahora vamos a intentar aplicar el Teorema de Rouché. Para ello debemos acotar primero en
los puntos con parte real positiva y luego aquellos con parte real nula.
Sea R > λ vamos a estudiar los puntos z tales que |z| = R, Re(z)≥ 0.
a) Integrales de la forma
Z 2π
F (cos θ, sin θ)dθ
0
Si z = eiθ entonces
z + 1/z
z = cos(θ) + i sin(θ) cos(θ) =
=⇒ 2
1 z − 1/z
= cos(θ) − i sin(θ)
sin(θ) =
z
2i
Con esto podemos hacer un cambio de variables en la integral dada obteniendo:
Z 2π
z + 1/z z − 1/z 1
Z X
F (cos θ, sin θ)dθ = F , dz = 2πi Res(f ; z)
0 |z|=1 2 2i iz
z singularidad
81 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Aplicamos ahora el teorema de residuos. Para ello miramos primero dónde presenta
singularidades esta función.
√ En este caso,
√ las singularidades de la función son los puntos
z0 = 0, z1 = −2 + 3 y z2 = −2 − 3.
Puesto que ninguna está en la curva |z| = 1 vamos por buen camino, ya que el teorema
de los Residuos exige que así sea. Aplicando el teorema y obtenemos:
Z
(z 2 − 1)2 i √ √
2 2
dz = 2πi Res(f, 0) + Res(f, −2 + 3) + Res(f, −2 − 3)
|z|=1 2z (z + 4z + 1)
1
z0 = 0 → lı́m f (z) = ∞ → lı́m zf (z) = ∞ → lı́m z 2 f (z) =
z→0 z→0 z→0 2
Por tanto sabemos que z0 es un polo de orden 2 por lo que su residuo
lı́m (z − z1 )f (z) 6= ∞
z→z1
Y su residuo es √
Res(f, z1 ) = lı́m zf (z) = · · · = 3i
z→z1
b) Integrales impropias
Se trata de integrales de la forma:
Z ∞ Z ∞ Z M
f (x)dx = lı́m f (x)dx + lı́m f (x)dx
−∞ N →∞ −N M →∞ −∞
82 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
por lo que está acotado y podremos aplicar el resultado anterior. Por otro lado, puesto
que está acotada sabemos que existen dos constantes C1 , C2 tales que |z 2 ||f (z)| ≤
C1 ∀|z| ≥ C2 .
Gracias al resultado que estamos estudiando sabemos que la integral impropia
converge. La forma de comprobarlo consiste en calcular la integral en [0, ∞) y en
(−∞, 0] y ver que ambas integrales existen. Vamos a ello
Z t Z C2 Z t Z t
1 C1 C1
|f (x)|dx = |f (x)|dx + |f (x)|dx ≤ K + C1 =K+ −
0 0 C2 C2 x2 C2 t
Ahora sólo tenemos que ver qué pasa cuando t → ∞. Es inmediato ver que en este
C1
caso la integral está acotada por K + C 2
.
Hasta aquí hemos comprobado la convergencia no de la función f (x) sino de su valor
absoluto. Para poder extender esta convergencia a la función f (x) debemos basarnos
en el siguiente truco:
Considero la función
Z t
G(t) = |f (x)| − f (x) dx
0
vemos que es creciente y acotada superiormente. Puesto que sabemos que
|f (x)| − f (x) ≤ 2|f (z)| podemos aplicar el mismo truco que hicimos para
comprobar la convergencia de |f (z)| llegando a que esta función G(t) está acotada.
Ahora sólo debemos observar que
Z t Z t
f (x)dx = |f (x)| − (|f (x) − f (x)) dx = lı́m (F (t) − G(t))
0 0 t→∞
83 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
con lo que queda claro que la integral que queremos estudiar converge.
Vamos a continuar ahora con el ejemplo. Para ello debemos determinar la región
Ω que se encontrará en la parte positiva del eje OY (ya que queríamos que la parte
imaginaria fuese positiva). Por comodidad la consideraremos un semicírculo de radio
R donde R será suficientemente grande como para contener todas las singularidades
de la función.
Las singularidades de la función son ±i y ±3i de modo que basta con tomar R > 3.
Por último también necesitamos que
C1
|f (z)| ≤ ∀|z| ≥ R
|z|2
−1
Z X 1
f (z)dz = 2πi Res(f, w) = (1 + i) + (3 − 7i)
∂ΩR 16 48
w singularidad de f
Sea f (z) = 1/(z 2 + β 2 ) y sea g(z) = f (z)eiα y podemos ver que la integral que
queremos calcular es la parte real de g(z).
1
La cota era válida cuando el módulo de z fuera grande de modo que no podemos pedir que se cumpla
en la región interior.
84 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Tenemos que |z 2 ||f (z)| → 1 cuando z → ∞. Por otro lado tenemos que:
por tanto, podemos aplicar el teorema de los residuos sobre la función g(z).
Aplicando el teorema nos queda:
Z ∞
eiα π
2 + β2
dz = ... = e−αβ
−∞ z β
Podemos ver que en este caso la función no cumple que |z|2 |f (z)| esté acotado
cuando z → ∞. No obstante, si que está acotada si multiplicamos por |z|.
La función f que estamos integrando se corresponde con la parte imaginaria de
z
g(z) = f (z)eiαz = eiαz
z2 + β2
Z π Z π
1 −R sin(θ)
≤ C1 Re dθ = C1 e−R sin(θ) dθ
0 R 0
y por el lema de Jordan2 tenemos que la última integral es menor que π/R.
2
La demostración de este lema se deja como ejercicio para el lector por ser sencilla y de escasa
importancia
85 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Sea
1 − e2zi
f (z) =
4z 2
tenemos que |z 2 ||f (z)| = 14 |1 − e2zi | ≤ 14 (1 + e−im(2z) ) de modo que estamos en
las condiciones del resultado que estamos estudiando.
Tomamos R suficientemente grande para que |z 2 ||f (z)| ≤ C1 para |z| ≥ R, Im(z) ≥
0. Si tenemos alguna singularidad con parte imaginaria positiva tomaremos R gran-
de y r pequeño para que la singularidad se contenga en nuestro ΩR,r
3
puesto que βi es un polo simple
86 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Vamos a ver ahora que ocurre con la integrar sobre el arco menor.
TO BE CONTINUED...
87 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Capítulo VII
Introducción a la representación
(transformación) conforme
Aplicación Definición VII.1 Aplicación conforme. Sea f : Ω 7−→ C una aplicación continua, decimos
conforme que es conforme en z0 si y sólo si preserva la magnitud y el sentido de los ángulos entre curvas
en z0 . Es decir:
Sea una función f decimos que es conforme si dadas dos curvas γ1 , γ2 que pasan por
γ(0) = z0 cualesquiera se cumple que:
! !
γ10 (z0 ) f 0 (z0 ) γ10 (z0 )
f (γ1 (0))
arg = arg = arg
γ20 (0) f (γ2 (0)) f 0 (z0 ) γ20 (0)
Por tanto, podemos ver que si f es holomorfa en z0 y f 0 (z0 ) 6= 0 entonces será conforme en
z0 .
Veamos algunos ejemplos para entender mejor el concepto de conformidad:
Ejemplo: Tomemos la función f (z) = z 2 que es conforme en todo punto distinto del origen.
Es sencillo ver que el efecto de esta curva sobre una recta que pasa por el origen nos da otra
recta que pasa por el origen pero tiene radio doble con respecto al eje OX. Si tomamos ahora otra
curva que pasa por el origen su imagen tiene ángulo doble que la inicial.
De forma evidente el ángulo que forman estas curvas no se conserva, pues
a − b 6= 2a − 2b
88 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
a. φ(z0 ) = 0
b. φ0 (z0 ) ∈ R
c. φ0 (z0 ) > 0
az + b
f (z) = con a, b, c, d ∈ C y cz + d 6= 0
cz + d
c = 0 =⇒ f (∞) = ∞
Es decir, que hemos pasado de una función que no estaba definida en todo C a una
función que lo está incluso en Ĉ
Además, la derivada de f es:
ad − bc
f 0 (z) =
(cz + d)2
89 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Ejemplo: Sea
z−1
f (z) =
z+1
Si tomamos la circunferencia unidad, podemos ver que su imagen es el eje OY.
Para ver esto, tomamos tres puntos por los que pase, en orden, la circunferencia. Estos puntos
podrían ser 1, −1, i y las imágenes por f de estos puntos son 0, ∞, i y si los unimos en orden
llegamos a la imagen mencionada.
Veamos ahora cómo se comporta sobre el eje OY. Para ello tomamos otros tres puntos por los
que el eje pasa de forma ordenada y estudiamos sus imágenes:
(−i, i, ∞) → (−i, i, 1)
Razón doble Definición VII.2 Razón doble. Sean z1 , z2 , z3 , z4 cuatro puntos en C tal que ninguno es
infinito, definimos la razón doble como:
(z1 − z3 )(z2 − z4 )
[z1 , z2 , z3 , z4 ] =
(z1 − z4 )(z2 − z3 )
Si zi = ∞ la razón doble se define eliminando de la definición los factores que involucran a zi .1
90 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
pues
(z − z3 )(z2 − z4 )
T (z) =
(z − z4 )(z2 − z3 )
cumple la propiedad y además es única.
Si hubiese otra, sea S, entonces S ◦T −1 sería también una transformación de Möbius
que fija tres puntos (1, 0, ∞).
Pero la única transformación de Möbius que fija tres puntos es la identidad. La
demostración de esta última propiedad se deja como ejercicio para el lector.
z2 → 1
z3 → 0
z4 → ∞
f (z2 ) → 1
f (z3 ) → 0
f (z4 ) → ∞
1→i
0→1
i→∞
En este caso
Orientación Definición VII.3 Orientación. Sea τ una circunferencia en Ĉ, una orientación en τ es una
tripleta ordenada (z1 , z2 , z3 ) con z1 , z2 , z3 ∈ τ .
91 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Observación: Si sólo tomásemos dos puntos no sabríamos en que sentido estamos recorriendo
la circunferencia ya que si salgo de uno de ellos, da igual en qué sentido recorra la circunferencia
por que llegaré al siguiente. Al dar tres puntos evitamos este problema y sólo queda una posible
orientación.
1→0
i→1
−1 → ∞
(z − 1)(i + 1) (z − 1) (1 + i)(−1 − i)
T (z) = [z, i, 1, −1] = = =
(z + 1)(1 − i) (z + 1) (i − 1)(−i − 1)
z − 1 −(1 + i)2 1−z
= =i
z+1 2 1+z
¿Y si ahora quisiéramos una nueva transformación T 0 tal que T 0 (0) = 3+2i. Si queremos
reutilizar lo anterior, buscaremos una función g : H 7−→ H con g(0) = 3 + 2i y sólo
tendríamos que calcular T 0 = g ◦ T .
0 1−z
T (z) = 2i +3
1+z
92 de 210
Variable Compleja - Resumen - 14/15 C2 - UAM Guillermo Ruiz Álvarez
Apéndice A
Resumen
con x, y ∈ R
A.1.1. Propiedades
Re(z) = x = 12 (z + z)
1
Im(z) = y = 2i (z − z)
p
|z| = x2 + y 2
|z|2 = z · z
1 z
z = |z|2
|z + w| ≤ |z| + |w|
z+w =z+w
93 de 210
Variable Compleja - Resumen - 14/15 C2 - UAM Guillermo Ruiz Álvarez
z·w =z·w
z z
w = w
zn = zn n∈Z
|z| = |z|
ez = ez
A.1.2. Representación
p
El módulo del vector sería el módulo del número complejo |z| = x2 + y 2
y
El ángulo θ que forma el vector con el eje x cumple tan(θ) = x, luego
−1 y
θ = tan
x
p
El módulo de este número es |eiθ | = cos2 (θ) + sin2 (θ) = 1
Por tanto
ez = ex+iy = ex · eiy
ez · ew = ez+w
94 de 210
Variable Compleja - Resumen - 14/15 C2 - UAM Guillermo Ruiz Álvarez
De esta forma
La parte superior de la esfera se proyecta sobre la parte del plano que corresponde
a los z con |z| > 1. Es decir, a la parte del plano que queda fuera de la
circunferencia unidad.
La parte inferior de la esfera se proyecta sobre la parte del plano que corresponde
a los z con |z| < 1. Es decir, a la parte del plano que queda dentro de la
circunferencia unidad.
Continuidad: f (z) continua en z0 ⇐⇒ ∀ε∃δ : d(z, z0 ) < δ =⇒ d(f (z), f (z0 )) < ε
95 de 210
Variable Compleja - Resumen - 14/15 C2 - UAM Guillermo Ruiz Álvarez
C, Ĉ y S2 con sus respectivas distancias son espacios completos. Es decir, que toda
sucesión de Cauchy es convergente.
Sucesión de Cauchy: {zn }n∈N es de Cauchy ⇐⇒ ∀ε∃N : d(zn , zm ) < ε ∀n, m >
N.
f (z) − f (z0 )
f (z) es holomorfa en z0 si existe el límite: f 0 (z0 ) = lı́m
z→z0 z − z0
A.2.1. Propiedades
f holomorfa en z0 =⇒ f 0 holomorfa en z0 .
f función y f 0 = 0 =⇒ f es constante.
(
ux = vy Ecuaciones de
Si f es holomorfa =⇒
uy = −vx Cauchy-Riemann
Si f es holomorfa =⇒ ∆u = ∆v = 0
96 de 210
Variable Compleja - Resumen - 14/15 C2 - UAM Guillermo Ruiz Álvarez
f 0 (z) = ux + ivx
f 0 (z) = vy − iuy
f 0 (z) = ∂z f = 12 (fx − ify )
(
∂z f = 12 (fx + ify ) = 0
Si =⇒ f es holomorfa.
u, v diferenciables
A.3. Series
Si sN converge =⇒ zn → 0 cuando n → ∞.
PN PN
Si n=0 |zn | converge =⇒ n=0 zn converge y se dice que lo hace
absolutamente.
P∞
Si |z − z0 | < 1 =⇒ n=0 an (z − z0 )n converge
P∞
Si |z − z0 | > 1 =⇒ n=0 an (z − z0 )n diverge
Si |z − z0 | = 1 hay que estudiar cada caso.
97 de 210
Variable Compleja - Resumen - 14/15 C2 - UAM Guillermo Ruiz Álvarez
1
R=
lı́m supn→∞ |an |1/n
|an |
Si an 6= 0 ∀n =⇒ R = lı́m
n→∞ |an+1 |
an (z − z0 )n y B = bn (z − z0 )n y convergen con
P P
En sumas y productos, si A =
radio de convergencia RA y RB .
n
P
n (an + bn )(z − z0 ) converge con radio de convergencia al menos mı́n(RA , RB ).
! !
X X X X
an (z − z0 )n · bn (z − z0 )n = ak bn−k (z − z0 )n
n n n k
Una función f (z) es analítica si para todo z0 existe una serie de potencias
X
n convergente con radio de convergencia R tal que f (z) = an (z − z0 )n ∀z ∈ BR (z0 )
P
n an (z−z 0 )
n
Los puntos donde una función analítica se anula, si existen, son aislados, excepto
para la función idénticamente nula f = 0.
98 de 210
Variable Compleja - Resumen - 14/15 C2 - UAM Guillermo Ruiz Álvarez
¡Cuidado!: Esto sólo se cumple donde una función sea analítica, si por ejemplo f
no es analítica en w, tenemos una sucesión {wn } que converge a w y f (wn ) =
0 para todos los puntos de la sucesión, entonces f no tiene por qué ser
idénticamente cero.
∞
X zn
f (z) = ez =
n!
n=0
A.4.2.1. Propiedades
f 0 (z) = ez
e(z+w) = ez ew
(ez )n = enz
Radio de convergencia R = ∞
∞
eiz + e−iz X z 2n
cos(z) = = (−1)n
2 (2n)!
n=0
∞
eiz − e−iz X z 2n+1
sin(z) = = (−1)n
2i (2n + 1)!
n=0
99 de 210
Variable Compleja - Resumen - 14/15 C2 - UAM Guillermo Ruiz Álvarez
Propiedades
Radio de convergencia R = ∞.
ez + e−z
cosh(z) =
2
e − e−z
z
sinh(z) =
2
Para cada valor de k, se dice que se tiene una rama del logaritmo, siendo k = 0 la rama
principal, es decir, que se ha escogido la banda horizontal {z ∈ C : −π < Im(z) < π}
100 de 210
Variable Compleja - Resumen - 14/15 C2 - UAM Guillermo Ruiz Álvarez
Sabemos que
1 = ei2πk = cos(2π) + isin(2π) ∀k ∈ Z
√
Las raíces de la unidad son aquellos z tales que z n = 1, es decir z = n
1. Tenemos
i 2kπ
z=e n tomando k = 0, . . . , n − 1 .
A.5.1. Curvas
101 de 210
Variable Compleja - Resumen - 14/15 C2 - UAM Guillermo Ruiz Álvarez
Z Z
f (z)dz = f (γ(t))γ 0 (t)dz
γ γ
A.5.2.1. Propiedades
R R R
af (z) + bg(z)dz = a γ f (z) + b γ g(z)
γ
R R R
γ = γ1 ◦ γ2 =⇒ γ f (z)dz = γ1 f (z)dz + γ2 f (z)dz
Z Z Z b
|γ 0 (t)|dt = sup f (z) · long(γ)
f (z)dz ≤ |f (z)||dz| ≤ sup f (z) ·
γ γ z∈γ a z∈γ
R R
Si fn → f uniformemente =⇒ fn → f uniformemente.
Z Z Z
∂Q ∂P
P ∂x + Q∂y = −
∂Ω Ω ∂x ∂y
Z
Si f (z) es holomorfa en Ω (dominio simplemente conexo) =⇒ f (z)dz = 0.
γ
102 de 210
Variable Compleja - Resumen - 14/15 C2 - UAM Guillermo Ruiz Álvarez
A.5.6. Teoremas
Si f es holomorfa en Ω =⇒ ∃F : F 0 = f en Ω.
103 de 210
Variable Compleja - Resumen - 14/15 C2 - UAM Guillermo Ruiz Álvarez
A.6.1. Propiedades
(
S+ = P∞ n
P
Una serie S de Laurent converge si n=0 an (z − z0 ) converge
∞
S− = n=1 a−n (z − z0 )−n converge
Si la serie de converge =⇒ S = S+ + S−
1
El radio de convergencia de S+ es R = 1
lı́m supn→∞ |an | n
1
El radio de convergencia de S− es r = lı́m supn→∞ |a−n | n
La serie S es convergente en z ∈ C : r < |z − z0 | < R .
Si f (z) es holomorfa en z ∈ C : r < |z − z0 | < R entonces
∞
X
f (z) = an (z − z0 )n
n=−∞
y Z
1 f (w)
an = dw
2πi |z−z0 |=ρ (w − z0 )n+1
con r < ρ < R
104 de 210
Variable Compleja - Resumen - 14/15 C2 - UAM Guillermo Ruiz Álvarez
A.7.1.2. Polo
F (z)
Toda función f con un polo en z = z0 puede representarse como f (z) = (z−z0 )n
para un único n ∈ Z con F (z0 ) 6= 0.
Si n = 1 se dice polo simple (de orden 1). Si n = 2 se dice polo doble (de orden 2).
A.7.3. Residuo
1
(n−1)
lı́mz→z0 (z − z0 )n f (z)
f (z) con z0 un polo de orden n: R(f (z), z0 ) = (n−1)!
f (z) con z0 una singularidad esencial: R(f (z), z0 ) = a−1 (siendo a−1 el
coeficiente de la serie de Laurent).
Z
X 1
Res f (z), zi Indγ (zi ) = f (z)dz
2πi γ
i
105 de 210
Variable Compleja - Resumen - 14/15 C2 - UAM Guillermo Ruiz Álvarez
Se puede paramétrizar la circunferencia unidad (S1 ) como z = eit con t ∈ (0, 2π).
Para los puntos z que estén en S1 se cumple
1 1 1 1
cos(t) = z+ sin(t) = z−
2 z 2i z
z = cos(t) + isin(t)
∂z
¡Cuidado!: Al parametrizar la curva de esta manera ∂t = iz
Nota: Esto es extensible a circunferencias de radio R.
Si R > 0 Z π
π
0< e−Rsin(t) dt <
0 R
Sea Ω un dominio y γ ⊂ Ω un camino cerrado que no pasa ni por los polos ni por
las raíces de f (z), siendo f (z) una función meromorfa en Ω, con {zi } sus raíces y {pj }
sus polos.
f 0 (z)
Z
X X 1
Ind(zi ) − Ind(pj ) =
2πi γ f (z)
i j
Además
f 0 (z)
Z
1
Indf (γ) (0) =
2πi γ f (z)
106 de 210
Variable Compleja - Resumen - 14/15 C2 - UAM Guillermo Ruiz Álvarez
Una aplicación conforme es una función f que conserva los ángulos. Si tenemos dos
curvas
α : [a, b] → C β : [a, b] → C
entonces !
α0 (t0 ) (f ◦ α)0 (t0 )
arg = arg
β 0 (t0 ) (f ◦ β)0 (t0 )
Sea Ω un dominio simplemente conexo tal que Ω 6= C. Entonces existe al menos una
función f : Ω → D holomorfa y biyectiva. Si se cumplen las siguientes condiciones,
para un z0 ∈ Ω, entonces dicha función es única.
f (z0 ) = 0
f 0 (z0 ) ∈ R
f 0 (z0 ) > 0
107 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
∞ se transforma a a/c.
1. Traslación: f (z) = z + z0
(z1 − z3 )(z2 − z4 )
[z1 , z2 , z3 , z4 ] =
(z1 − z4 )(z2 − z3 )
• z1 → 1
• z2 → 0
• z3 → ∞
y es única.
108 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Apéndice B
Ejercicios
B.1. Hoja 1
A PARTADO A )
1 1 1+i+i 2i 2i(1 + i) 2i − 2
+ = =− = = =i−1
i 1+i i−1 1−i (1 − i)(1 + i) 1+1
A PARTADO B )
109 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
A PARTADO C )
√ √ 3 √ √
(1 + i 3)3 = 1 + 3i 3 − 3 · 3 − i3 2 = −8 + i(3 3 − 3 3) = −8
A PARTADO D )
(1 − i)2 + 2 + i = 1 − 1 − 2i + 2 − i = 2i + 2 − i = 2 + i
1 + i 2014
d)
1−i
A PARTADO A )
Por tratarse de una sucesión geométrica de razón i sabemos que:
2015 503 3
X
k 1 − i2015 1 − (i)4 i 1+i 1 − 1 + 2i
i = = = = =i
1−i 1−i 1−i 2
k=1
A PARTADO B )
Primero debemos observar que
1 π
(1 + i) = 2 2 e 4 i
por tanto
!
n π n π π
(1 + i)n = 2 e2 4
in
=2 2 cos n + i sin n
4 4
A PARTADO C )
110 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
!20
π π π 20 π
cos + i sin = e 12 = e 12 ·20 =
12 12
π · 20 π · 20 π·5 π·5
= cos + i sin = cos + i sin
12 12 3 3
A PARTADO D )
Primero vamos a trabajar con el interior del paréntesis para convertirlo en un
número complejo en su expresión habitual, sin fracciones.
1+i (1 + i)2 1 − 1 + 2i
= = =i
1−i (1 − i)(1 + i) 1+1
√
Ejercicio 1.3: Sea z = x + iy ∈ C. Demuestre que |x| + |y| ≤ 2|z|, y que sólo hay
igualdad si |x| = |y|.
Ayuda: Si a, b ∈ R, entonces 2ab ≤ a2 + b2 (con igualdad sólo si a = b)
Veamos ahora el caso en que no son iguales. En esta ocasión, nos apoyamos en al
ayuda del enunciado y vemos que
p p √ √
|z| = x2 + y 2 ≥ 2xy ⇐⇒ 2|z| ≥ 2 xy
donde z, w ∈ C
111 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Llamando a z = a + bi y w = c + di tenemos
|(a + bi)(c − di) + 1|2 + |a + bi + c − di|2 = |ac − adi + bci + bd + 1|2 + |a + bi − c + di|2 =
A PARTADO A )
Hecho por Guille. Se aceptan correcciones.
Multiplicamos esa fracción por su conjugado para sacar el módulo al cuadrado
sabiendo que z z̄ = 1:
az + b 2 az + b āz̄ + b̄ |a|2 + ab̄z + bāz̄ + |b|2
aāz z̄ + az b̄ + bāz̄ + bb̄
= · = = =1
b̄z + ā b̄z + ā bz̄ + a b̄zbz̄ + b̄za + ābz̄ + aā |a|2 + ab̄z + bāz̄ + |b|2
A PARTADO B )
z−a
1 − āz < 1 ⇐⇒ |z − a| < |1 − āz| ⇐⇒ ||z −
a|2 < |1 − āz|2
{z } | {z }
(z−a)(z̄−ā) (1−āz)(1−az̄)
|z|2 −az̄−āz+|a|2 < 1−āz+az̄+|a|2 |b|2 ⇐⇒ |z|2 +|a|2 −2·Re(zā) < 1+|a|2 |z|2 −2·Re(zā) ⇐⇒
⇐⇒ |z|2 + |a|2 < 1 + |a|2 |z|2 ⇐⇒ |z|2 (1 − |a|2 ) < 1 − |a|2 ⇐⇒ |z|2 < 1 ⇐⇒ |z| < 1
112 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
A PARTADO A )
Aquí hay que tener algo de idea feliz, aunque sabiendo que estamos trabajando con
complejos, tampoco es demasiado raro de pensar.
Vamos a elevar el complejo cos(x) + i sin(x) al cubo de dos formas distintas y a
igualar los resultados.
1. 3
cos(x) + i sin(x) = (eix )3 = e3ix = cos(3x) + i sin(3x)
2.
3
cos(x) + i sin(x) = ... = cos3 (x)−3 cos(x) sin2 (x)+i 3 cos2 (x) sin(x) − sin3 (x)
Ahora, puesto que deben ser iguales las dos representaciones del cubo calculado,
debemos igualar las partes reales y las imaginarias.
En este caso, en cuanto forzamos la igualdad de las partes imaginarias obtenemos
la igualdad buscada.
3 cos2 (x) sin(x) − sin3 (x) = sin(3x) ⇐⇒ 3 sin(x) − 3 sin3 (x) − sin3 (x) = sin(3x) ⇐⇒
A PARTADO B )
El procedimiento a seguir
n es prácticamente igual que en el caso anterior. Vamos a
calcular cos(φ) + i sin(φ) de dos formas distintas
1. n
cos(φ) + i sin(φ) = cos(nφ) + i sin(nφ)
2.
n
n X n n−k
cos(φ) + i sin(φ) = cos(φ) i sin(φ)
k
k=0
Atendiendo al sumatorio, vemos que vamos a obtener reales siempre que k sea
par. En otro caso tendremos siempre un múltiplo de i. La suma de esos múltiplos de i
acabará siendo sin(nφ).
Aplicando esto llegamos a:
X n n−k
cos(nφ) = cosk (φ)(−1) 2 sinn−k (φ)
k
0≤k≤n
n−k n−k
2 2
sinn−k (φ) = sin2 (φ) = 1 − cos2 (φ)
113 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
1 + i tan(φ) n 1 + i tan(n · φ)
=
1 − i tan(φ) 1 − i tan(n · φ)
1 + i tan(φ) n+1
1 + i tan(n · φ) 1 + i tan(φ) 1 − tan(nφ) tan(φ) + i tan(φ) + tan(nφ)
= = =
1 − i tan(φ) 1 − i tan(n · φ) 1 − i tan(φ) 1 − tan(nφ) tan(φ) − i tan(φ) + tan(nφ)
multiplicando y dividiendo por cos(nφ) cos(φ) llegamos a
cos(nφ) cos(φ) − sin(nφ) sin(φ) + i sin(φ) cos(nφ) + cos(φ) sin(nφ)
= =
cos(nφ) cos(φ) − sin(nφ) sin(φ) − i sin(φ) cos(nφ) + cos(φ) sin(nφ)
cos(nφ) cos(φ) − sin(nφ) sin(φ) + i sin((n + 1)φ)
=
cos(nφ) cos(φ) − sin(nφ) sin(φ) − i sin((n + 1)φ)
Al igual que hicimos en el caso particular de n = 2, ahora multiplicamos y dividimos
por cos(nφ) cos(φ) − sin(nφ) sin(φ) y, sabiendo que
sin((n + 1)φ) sin(φ) cos(nφ) + cos(φ) sin(nφ)
tan((n + 1)φ) = =
cos((n + 1)φ) cos(nφ) cos(φ) − sin(nφ) sin(φ)
obtenemos directamente el resultado.
cos(nφ) cos(φ) − sin(nφ) sin(φ) + i sin((n + 1)φ) 1 + i tan((n + 1) · φ)
=
cos(nφ) cos(φ) − sin(nφ) sin(φ) − i sin((n + 1)φ) 1 − i tan((n + 1) · φ)
114 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Lo más fácil, en este caso, es ver que los módulos no coinciden. Para ello escribimos
1 π
1 + i = 2 2 e( 4 +2πk)i
Llegados a este punto, podemos ver que los módulos no coinciden, pues
r
1 − i
1
2 1928 6=
= 1
2 2
y
n−1
X n
kω k =
ω−1
k=0
φ
c) si sin 2 , entonces
n 1
X 1 sin((n + 2 )φ)
cos(kφ) = 1 +
2
k=0 sin φ2
n
X sin( n2 φ) sin( n+1
2 φ)
sin(kφ) =
k=1
sin( φ2 )
A PARTADO A )
115 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Vamos a demostrarlo por inducción. En este caso, el caso base es trivial, pues sería
n = 1 con lo que tendríamos
1 − z2 (1 − z)(1 + z)
1+z = = =1+z
1−z 1−z
Ahora suponemos que la fórmula es válida para n y vamos a ver qué ocurre para n + 1.
n+1 n
X X 1 − z n+1 1 − z n+1 + z n+1 − z n+2 1 + z n+2
zk = z k + z n+1 = + z n+1 = =
1−z 1−z 1−z
k=0 k=0
por lo que queda probado que si la ecuación se cumple para n se cumple también para
n + 1 y, puesto que se cumple para 1, podemos concluir que la ecuación es válida.
A PARTADO B )
Este caso resulta muy sencillo y rápido si nos apoyamos en el anterior y sabemos
que ω n = 1 y que ω n+1 = ω siendo ω una raíz n-ésima de la unidad.
Por el apartado anterior sabemos que
n+1 n
X X 1 − ω n+1 1−ω
zk = z k + z n+1 = −1= −1=0
1−ω 1−ω
k=0 k=0
y llegamos a
n−1
X −n n
kω k = =
1−ω ω−1
k=0
A PARTADO C )
b)
√
q
1−i 3
c) √
4
1−i
d)
√ 1/3
−i
116 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
A PARTADO A )
A PARTADO B )
√
q p
1 − i 3 = 4e(π/3+2kπ)i = 2e(π/6+kπ)i
A PARTADO C )
√ 4 √ √
q
2e(7π/16+kπ)i
4 8
1−i= 2e7π/4+2kπ =
A PARTADO D )
√ 1/3 1/6
−i = 1e(π+2kπ)i = e(π/6+kπ/3)i
b) Calcule r
√ 5 (p) √
q
(p) (p) (p)
i y 1+ i
A PARTADO A )
Para resolver este apartado basta son sustituir la fórmula que nos dan para la z en
la ecuación dada y comprobar que, efectivamente, la ecuación se verifica.
A PARTADO B )
La raíz principal puede sonar a algo exótico pero consiste, simplemente, en tomar
la raíz del número dado y, en lugar de considerar los varios ángulos posibles, tomamos
el menor posible (siempre positivo).
117 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
A efectos legales esto nos hace ahorrarnos el típico +2kπ. Veamos a modo de
ejemplo los radicales que nos pide calcular el enunciado
r
√ 5
q
(p) 3π 3π
e− 4 i = e− 8 i
(p) (p)
i =
!
√ √ √ √ √
q q q
π π
q
(p) (p) (p) (p) (p)
1+ i= 1+ i= 1 + 2/2 + i 2/2 = 2 + 2 cos + i sin
4 4
A PARTADO A )
Despejando como hemos hecho siempre tenemos que
√
z = 4 −i − 1 = eπ/4+πk/2 − 1
A PARTADO B )
Considerando z = x + iy tenemos que z 2 = x2 − y 2 + 2xyi con lo que llegamos a
x2 − y 2 = −5
A PARTADO C )
Considerando z = x + iy tenemos
Re(z + 5) = Im(z − i) ⇐⇒ x + 5 = y − 1
Ejercicio 1.13:
a) Demuestra que si α es solución de z n = µ (con µ ∈ C fijo), entonces todas las
soluciones son αωi con i = 0, 1, ..., n − 1 donde ωi son las raíces n-ésimas de la unidad
b) Encuentre razonadamente las soluciones de z 6 − 8 = 0
118 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Es sencillo e ver que los números de la forma αωi son soluciones, puesto que
(αω1 )n = αn ωin = µ · 1 = µ
A PARTADO B )
Siguiendo lo indicado en el apartado anterior las soluciones serán de la forma:
√6
z = 8ωi con i = 0, 1, 2, 3, 4, 5 y ω raíz sexta de la unidad
Ejercicio 1.14: ¿Cuándo son colineales tres puntos z1 , z2 , z3 distintos dos a dos?
Para verlo hacemos como en bachillerato con los reales: escribimos la recta que pasa
por dos de esos puntos y forzamos a que el tercero se contenga en dicha recta.
La recta que pasa por z1 y z2 sería:
L = {z1 + t(z2 − z1 )t ∈ R}
Si z3 ∈ L =⇒ ∃t z3 = z1 + t(z2 − z1 ) es decir:
z3 − z1
t= ∈R
z2 − z1
para que sea real ese resultado necesitamos que el numerador y el denominador tengan
el mismo argumento.
Intuitivamente representa que uniendo z3 con z1 obtenemos la misma recta que
uniendo z2 con z1
Ejercicio 1.15:
a) Compruebe que la ecuación
Re(az + b) = 0 con a, b ∈ C, a 6= 0
define una recta en el plano y que, recíprocamente, cada recta viene descrita por una ecuación
de este tipo.
b) Encuentre los números a, b para que la recta pase por dos puntos dados z1 , z2 ∈ C.
c) Demuestre que las rectas determinadas por las ecuaciones Re(az + b) = 0 y
Re(cz + d) = 0 respectivamente, son perpendiculares si y sólo si Re(ac̄) = 0.
d) Demuestre que la ecuación de una recta que pasa por dos puntos dados z1 y z2 puede
escribirse de la forma
z z̄ 1
z1 z¯1 1 = 0
z2 z¯2 1
119 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
A PARTADO B )
Basta con sustituir en la ecuación los valores z1 = z1r + iz1i y z2 = z2r + iz2i y
obtenemos un sistema de 4 ecuaciones de 4 incógnitas que podremos resolver.
Plan b como alternativa distinta que me convence más
ar zr + br
Utilizando la ecuación zi = escribimos un sistema de 2 ecuaciones
ai
con 3 incógnitas, que tiene sentido que salga un sistema indeterminado con infinitas
soluciones (puedo coger como b ∈ C cualquiera que pertenezca a la recta)
ar Re(z2 )−bi
Im(z2 ) = ai
ar Re(z1 )−bi
Im(z1 ) = ai
A PARTADO C )
Basándonos en el apartado a), podemos ver que las pendientes de esas rectas son,
respectivamente, aari y ccri .
Para que sean perpendiculares, debemos tener
ar ci
=− =⇒ ar cr = −ai ci =⇒ Re (ar + iai )(cr − ici ) = 0
ai cr
A PARTADO D )
Ejercicio 1.16: Describa el conjunto del plano complejo determinado por las siguientes
relaciones
a) |z − 2| − |z + 2| > 3
b) Re(z) + Im(z) < 1
c) |2z| > |1 + z 2 |
120 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
A PARTADO B )
Esta ecuación representa aquellos puntos del plano que quedan a la izquierda de la
recta y = −x + 1.
A PARTADO C )
|z − i| = Re(z) + 1
A PARTADO B )
Recordemos que, por definición, la elipse es el conjunto de puntos del plano con
suma de distancias a los focos constante.
Conocemos los focos lo que nos lleva a:
|z − 1| + |z + 1| = cte
A PARTADO C )
La hipérbola tenía definición similar a la de la elipse salvo que en este caso
considerábamos constante la diferencia de distancias a los pocos en lugar de la suma.
De aquí obtenemos que la ecuación buscada será de la forma
|z − 1| − |z + 1| = cte
121 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
A PARTADO A )
Vamos a jugar un poco con el número que nos dan. Siendo z = x + iy tenemos
x + iz 1 − i x − y + i(y − x) z x−y
· = =⇒ Re =
1+i 1−i 2 1+i 2
A PARTADO B )
2
z − 4z + 4 = 4 ⇐⇒ |z − 2|2 = 4
A PARTADO C )
Se deja como ejercicio para el lector, que deberá pasar a coordenadas polares con el
objetivo de poder esbozar el dibujo pedido.
Consejo: Acordarnos de la Lemniscata
Ejercicio 1.19:
a) Sea a ∈ C un número fijo. Encuentre el máximo de |z 12 − a| cuando z es cualquier
número complejo tal que |z| ≤ 1
b) Halle razonadamente el supremo y el ínfimo del siguiente conjunto de números reales
√
{Re(iz 4 + 1) |z| < 2}
122 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
A PARTADO B )
Siendo z = x + iy tenemos
Re(iz 4 + 1) = x4 + y 4 − 6x2 y 2 + 1
al igualarlo a 0 tenemos que los puntos extremos son: el origen y los puntos que
satisfacen a la vez las ecuaciones:
x2 − 3y 2 = 0
y 2 − 3x2 = 0
que viene a no decir nada y a dejarnos igualmente restringidos al origen
Para estudiar el comportamiento de la función en la frontera del conjunto estudiado
tenemos √ p
|z| = 2 =⇒ x2 + y 2 = 2 =⇒ y = 2 − x2
sustituyendo en la fórmula estudiada tenemos:
123 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
α(z)α(w) = zx wx + zy wy
Por otro lado
Re(zw) = Re zx wx + zy wy + i(zx wy − zy wx ) = zx wx + zy wy
A PARTADO B )
Si ya hemos visto que el producto vectorial coincide con la parte imaginaria, es
trivial ver que un medio de esa parte imaginaria nos dará el área del triángulo, pues el
producto vectorial nos da el área del paralelogramo generado por los dos vectores.
A PARTADO C )
Con imagen del producto que se nos da (tras multiplicar por 1/2) obtenemos el área
del triángulo formado por los dos puntos dados y el origen.
Puesto que el origen se contiene en la figura cuyo área estamos calculando, al hacer
esta operación con todos los vértices tenemos el área de la figura.
124 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Ejercicio 1.23: Demuestre que la condición necesaria y suficiente para que {z1 , z2 , z3 }
sea el conjunto de los vértices de un triángulo equilátero es que
125 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
B.2. Hoja 2
a) Compruebe que
!
2Re(z) 2Im(z) |z|2 − 1
π −1 (z) = , ,
|z|2 + 1 |z|2 + 1 |z|2 + 1
b) Sea ρ(z, w)= distancia (en R3 ) entre π −1 (z) y π −1 (w) para z, w ∈ C. Entonces:
V
zn → z en C =⇒ ρ(zn , z) → 0
c) Demuestre que
zn
lı́m = ∞ si |z| > 1
n→∞ n
126 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
t = 0 (polo norte) y
2
x20 t + y02 t − 2 + t = 0 ⇐⇒ t = x20 +y02 +1
.
Luego
2x0
2x0
x x20 +y02 +1 x20 +y02 +1
2y 0
2y0
y =
x20 +y02 +1 =
x20 +y02 +1
2 2
x0 +y0 −1
z 1 − x2 +y2 2 +1
2 2 x0 +y0 +1
0 0
A PARTADO C )
La forma más sencilla de ver esto es trabajando sobre la inversa de la proyección
estereográfica. Puesto que es un homeomorfismo (ya lo estudiamos en Análisis)
sabemos que π −1 es continua por lo que la imagen límite de una sucesión es el límite
de las imágenes.
n
Nos llevamos por tanto los puntos zn = zn a la esfera y vemos que van creciendo
en módulo. Cuando el módulo tiende a infinito, π −1 tiene al (0, 0, 1)
Explicación guarrísima. Trataré de mejorarla.
Ejercicio 2.2:
a) Demuestre que, mediante la proyección estereográfica, las circunferencias sobre la
esfera se transforman en circunferencias o rectas del plano. ¿Cuáles son las circunferencias
sobre la esfera que se transforman en rectas?
b) ¿Qué corresponde en la esfera de Riemann a una familia de rectas paralelas del plano?
c) Halle, en la esfera de Riemann, las imágenes de los conjuntos definidos por las
siguientes desigualdades:
1. Im(z) > 0
127 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
2. Re(z) < 1
3. |z| < 1
4. |z| > 2
A PARTADO B )
Dada una circunferencia que pasa por el polo norte (y cuya imagen es una recta)
podemos escribirla como intersección de un plano y la esfera. Todas las circunferencias
que podamos obtener haciendo girar el plano sobre una recta horizontal contenida en
él y que pasa por el polo norte, nos darán rectas paralelas.
A PARTADO C )
1. Im(z) > 0 Del cuarto de la esfera que se encuentra en la zona compleja del plano
3. |z| < 1 Son los puntos de la esfera que se encuentran en la semiesfera inferior (por
debajo del plano complejo).
1
4. |z| > 2 Son los puntos de la esfera que se encuentran a una altura mayor que 5
n n
1−2i 3−4i
Ejercicio 2.3: Decida si las sucesiones zn = 3 , wn = 5 tienen límite
(finito) o no
Para que tengan límite necesitamos que su módulo converja y para ello necesitamos
que este sea menor que 1.
En este caso tenemos:
√
5
|zn | = =⇒ lı́m |zn |n = 0 =⇒ lı́m zn = 0
3 n→∞ n→∞
128 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
5
|wn | = =⇒ lı́m |wn |n = 1
5 n→∞
Esto causa que la sucesión no tenga límite, pues tendremos puntos con el mismo
módulo pero diferente ángulo por lo que no converge.
Ejercicio 2.4: Decida razonadamente si las siguientes funciones tienen límite (finito)
o no en el punto indicado
a)
|z|2
f (x) = ( para z 6= 0) en el punto z = 0
z
b)
z 3 − 8i
f (z) = ( para z 6= −2i) en el punto z = −2i
z + 2i
|z|2 z z̄
lı́m f (z) = lı́m = lı́m = lı́m z̄ = 0
z→0 z→0 z z→0 z z→0
A PARTADO B )
z 3 − 8i
lı́m f (z) = lı́m = lı́m z 2 − 2iz − 4 = −12
z→−2i z→−2i z + 2i z→−2i
b) No existe lı́mz→∞ ez
129 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Si n < m
an z n + · · · + a0 z n (an + an−1 a0
z · · · + zn ) (an + an−1 a0
z · · · + zn )
lı́m = lı́m = lı́m =
z→∞ bm z m + · · · b0 z→∞ z n (bm z m−n + · · · bn 0 z→∞ (bm z m−n + · · · bn 0
)
z z
a0
= lı́m =0
z→∞ bm z n
Si n = m
an z n + · · · + a0 z n (an + an−1 a0
z · · · + zn ) (an + an−1
z · · · + zn )
a0
lı́m = lı́m = lı́m =
z→∞ bm z m + · · · b0 z→∞ z n (bm z m−n + · · · bn 0 z→∞ (bm + · · · zbn0 )
z
a0 an
= lı́m =
z→∞ bm bm
Si n > m
an z n + · · · + a0 z m (an z n−m + · · · + zam0 ) (an + an−1 a0
z · · · + zn )
lı́m = lı́m = lı́m =
z→∞ bm z m + · · · b0 z→∞ z m (bm + · · · zbm0 ) z→∞ (bm z m−n + · · · bn
z )
0
a0 z n
= lı́m =∞
z→∞ bm
A PARTADO B )
Debemos fijarnos en que
b)
z
si |z| ≤ 1
g(z) =
|z|2 si |z| > 1
A PARTADO A )
El único punto con posibles problemas y que deberíamos estudiar es el z = i. Vamos
a estudiar cuánto vale el límite en ese punto para ver si la función es continua o no:
z4 − 1 (z 2 − 1)(z − i)(z + i)
lı́m = lı́m = lı́m(z 2 − 1)(z + i) = −4i
z→i z − i z→i z−i z→i
130 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
A PARTADO B )
El único lugar donde podemos tener problemas es en los puntos con [z| = 1.
Para hacernos una idea de lo que podemos esperar de este límite, vamos a observar
el caso concreto de z = eiα vemos que
ei α si |z| ≤ 1
lı́m g(z) =
z→eiα 1 si |z| > 1
Por lo general, vemos que esta función no es continua en los puntos con módulo
igual a 1 salvo en el punto z = 1.
En general es bastante sencillo ver que esta función no es continua, puesto que todos
los puntos del círculo unidad se quedan fijos y los demás van a la recta real según su
módulo.
Para ver si son holomorfas las funciones, vamos a comprobar si se cumplen las
ecuaciones de Cauchy-Riemann:
∂x f = −i∂y f
A PARTADO A )
A PARTADO B )
131 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Tanto en este apartado como en el d), para que estén bien definidas las f (z)
necesitamos que si un punto z ∈ Ω entonces z̄ ∈ Ω, es decir, el conjunto es simétrico con
respecto al eje imaginario.
Vamos a considerar g = u + iv y f = U + iV con
Ux = ux ; Uy = −uy ; Vx = vx ; Vy = −vy ;
y ambas condiciones sólo se darán en caso de que todas las derivadas sean iguales
a 0.
Aplicando la definición de derivada
∂g ∂g ∂f
g holomorfa en Ω ⇐⇒ (w) = 0 ∀w ∈ Ω ⇐⇒ (z̄) = 0 ∀z ∈ Ω ⇐⇒ (z) = 0 ∀z ∈ Ω
∂ w̄ ∂z ∂z
A PARTADO C )
Hecho por Pedro. Se aceptan correcciones.
Si consideramos g = u + iv podemos ver que f = u − iv.
Por ser g holomorfa sabemos que
f es antiholomorfa
A PARTADO D )
Hecho por Rual. No fiarse al 100 %
Sabemos que f (z) = g(z). Por otro lado g(z) = u(x, y)+iv(x, y) con u, v cumpliendo
las ecuaciones de Cauchy-Riemann.
Vemos que
f (z) = g(z) = u(x, −y) − iv(x, −y)
luego podemos definir
(
U (x, y) = u(x, −y)
V (x, y) = −v(x, −y)
132 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
de forma que
f (z) = U (x, y) + iV (x, y)
Luego tenemos (
Ux = V y
Uy = −Vx
A PARTADO E )
Hecho por Pedro. Se aceptan correcciones.
√
Si consideraos g = u + iv, tendríamos que f = u2 + v 2 , que se trata de una función
real que no es holomorfa, pues no cumple las ecuaciones de Cauchy-Riemann
Ejercicio 2.8: ¿Dónde son holomorfas las siguientes funciones? ¿Cuál es su derivada?
k) log(ez + 1)
√
l) ez + 1
√
m) z 3 − 1
A PARTADO K )
Vamos a ver cómo se comporta esta función.
Primero recordamos que la función ez nos envía rectas verticales en circunferencias
y rectas horizontales en rectas que pasan por el origen.
Al tener ez + 1 estamos desplazando hacia la derecha (estamos sumando a la parte
real) una unidad las imágenes de esas rectas.
Veamos dos formas distintas de calcular el logaritmo que se pide:
1. Por composición
Sea f : Ω 7−→ C \ {0}, una rama del logaritmo de f es una función continua
F : Ω 7−→ C tal que
eF (z) = f (z) ∀z ∈ Ω
133 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Para definirla correctamente debemos quitar del dominio aquellos puntos cuya
imagen por f (z) es 0 ya que para esos puntos sería imposible encontrar una F (z)
con eF (z) = 0. Estos puntos son aquellos de la forma (2n + 1)πi con n ∈ N
También podemos ver que si en el dominio hay una curva α tal que su imagen
por f de una vuelta al origen (es decir, la curva debe girar en su dominio en torno
a una preimagen de 0) tendremos problemas, pues el argumento irá creciendo
hacia 2π y acabará valiendo 0.
Para evitar este caso excluimos del dominio los puntos (x, y) con |x| > πi, con lo
que ya tenemos el dominio buscado donde la función es holomorfa.
2. Por definición
Para definir ahora una rama del logaritmo de f consideramos
Una vez tengamos esta función F (z) bien definida, tendremos que:
eF (z) = f (z)
Vamos a definir ahora esa rama del argumento. Para ello recordamos que una
rama del argumento de f : Ω 7−→ C es una función g : Ω 7−→ R continua tal que
f (z)
eig(z) = ∀z ∈ Ω
|f (z)|
A PARTADO L )
Una vez que tenemos la rama F (z) del logaritmo de ez + 1 (definida en Ω), tenemos
también la función
1
G(z) = e 2 F (z) con G : Ω 7−→ C
134 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
A PARTADO M )
Vamos a buscar primero F (z), una rama del logaritmo de f (z) = z 3 − 1.
Para ello primero eliminamos del dominio aquellos puntos que nos llevan al 0. Es
decir, quitamos del dominio las tres raíces cúbicas del la unidad.
Nuevamente, el problema nos surje al tener curvas α que den vueltas en torno a
alguna de esas raíces. Para evitar que se produzca esto quitamos del dominio tres
segmentos infinitos cualesquiera, cada uno de ellos con inicio en una de las raíces
cúbicas del aunidad.
f (z) − f (z0 )
lı́m = f 0 (z0 )
z→z0 z − z0
2 2
Si consideramos f : R 7−→ R , dado z = x + yi, tendríamos f (x, y) =
Re(x, y), Im(x, y) y el límite de la definición de función holomorfa nos da lugar a
dos límites:
Re(x, y) − Re(x0 , y0 )
lı́m = Re0 (x, y)
z→z0 x − x0
Im(x, y) − Im(x0 , y0 )
lı́m = Im0 (x, y)
z→z0 y − y0
Calculamos ahora
f (x + ta, y + tb) − f (x, y)
D−
w f = lı́m
→ =
t→0 t
Re(x + ta, y + tb) + i Im(x + ta, y + tb) − Re(x, y) − i Im(x, y)
= lı́m
t→0 t
135 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
∂x f = −i∂y f
−θx (z) sin θ(z) + iθx (z) cos θ(z) = −i −θy (z) sin θ(z) + iθy (z) cos θ(z)
−θx (z) sin θ(z) + iθx (z) cos θ(z) = iθy (z) sin θ(z) + θy (z) cos θ(z)
de donde sacamos
, una contradicción como una casa de grande. La única forma de salvarla es que
θy (z) = θx (z) = 0, esto es, que θ sea constante y que por tanto f también lo sea.
136 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
|f 0 |2
∇(|f |) =
|f |
A PARTADO A )
Ejercicio 2.12: Halle el radio de convergencia de las siguientes series de potencias (si
no aparece el sumatorio es que no me apetecía escribir).
a) n4 z n
b) n!z n
2
c) 2−n z n
X∞
d) cos(in)z n
n=0
zn
e) 1+2n
∞
X
f) (n + an )z n
n=0
g) z n!
n
h) z 2
∞
2
X
i) an z 1+2+...+n
n=0
n
j) n! nz n
n4 n4
R = lı́m = lı́m =1
n→∞ (n + 1)4 n→∞ n4 + o(n)
A PARTADO B )
n! 1
R = lı́m = lı́m =0
n→∞ (n + 1)! n→∞ n+1
A PARTADO C )
2 2 2
2−n 2−n 2−n
R = lı́m = lı́m = lı́m −n2 −2n−1 = lı́m 22n−1 = ∞
n→∞ 2−(n+1)2 n→∞ 2−n2 −2n−1 n→∞ 2 ·2 n→∞
137 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
A PARTADO D )
∞ ∞
X X 1
n
cos(in)z = e−n + en z n
2
n=0 n=0
A PARTADO E )
P∞ 1 n
Tomamos la serie como n=0 1+2n z y entonces
1
1 + 2n+1 2 + 2n · 2 − 1
1+2n 1
R= lı́m 1 = lı́m = lı́m = lı́m 2 − =2
n→∞ n→∞ 1 + 2n n→∞ 1 + 2n n→∞ 1 + 2n
1+2n+1
A PARTADO F )
No podemos simplificar más la fórmula de la serie de modo que procedemos
directamente a calcular el radio
n + an
lı́m
n→∞ n + 1 + an+1
Numerador
n n n n
lı́m 1 − n ≤ lı́m n + 1 ≤ lı́m
+ 1 =⇒ lı́m + 1 =1
n→∞ |a| n→∞ a n→∞ |a|n n→∞ an
Denominador
n+1 n + 1 n + 1 n + 1
lı́m |a|− n
≤ lı́m n + |a| ≤ lı́m n
+|a| =⇒ lı́m n + |a| = |a|
n→∞ |a| n→∞ a n→∞ |a| n→∞ a
2. Caso |a| ≤ 1
n + an
an
n + 1
lı́m = lı́m
n→∞ n + 1 + an+1 n→∞ 1 + an+1 + 1
n n
138 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Numerador
|a|n an |a|n an
lı́m 1 − ≤ lı́m 1 + ≤ lı́m 1 +
=⇒ lı́m 1 + = 1
n→∞ n n→∞ n n→∞ n n→∞ n
Denominador
1 |a|n+1 1 |a|n+1 1 |a|n+1
lı́m 1 − ≤ lı́m 1 + + ≤ lı́m 1 + + =⇒
n→∞ n n n→∞ n n n→∞ n n
1 |a|n+1
=⇒ lı́m 1 + + =1
n→∞ n n
A PARTADO G )
Tomamos la serie como ∞ n
P
n=0 an z con an = 1 si ∃k ∈ Z tal que k! = n, y cero en
otro caso. Entonces usamos la definición y
1
R= 1 =1
lı́m supn→∞ ann
A PARTADO H )
Tomamos la serie como ∞ n k
P
n=0 an z con an = 1 si ∃k ∈ Z tal que 2 = n, y cero en
otro caso. Entonces usamos lo del apartado anterior y R = 1. Lógico por otra parte, si
|z| > 1 eso no va a converger mucho.
A PARTADO I )
Hecho por Dejuan. Se aceptan correcciones.
En esta serie
P tenemos z 1 + z 3 + z 6 + ... y para poder aplicar lo visto enPteoría
necesitamos an z , asique vamos a transformar esta serie en una de la forma bn z n
n
redefiniendo el an y el exponente de la z.
Para ello, nos damos cuenta que definiendo:
( Pk
1 si ∃k n = i=1 i
bn =
0 otros
Ese algo será un entero, que si tuvierámos el k que nos da si bn es 0 o 1, ese algo
sería k 2 . Pero a partir de n podemos sacar k
√
Pk 1 ± 1 + 8n
i=1 i = n, y despejamos k = . Tomando c = k 2 escribimos:
2
139 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
∞ ∞
2
X X
an z 1+2+...+n = bn · ac(n) 1 · z n
n=0 n=0
1
El radio de convergencia será R = rb ·ra . Procedemos a calcular ra , rb .
Como bn tiene sólo 0’s y 1’s utilizamos:
1
rb = 1 =1
lı́m sup |bn | n
|a| ≤ 1 √
1 + 8n
1+
R = lı́m p 2 = así a ojo... = 1
n→∞ 1 + 1 + 8(n + 1)
2
Entonces, el radio de convergencia R = 1
A PARTADO J )
n!
Con an = nn , tenemos que
n
n! (n + 1)n+1 1 n
n+1 n+1
R = lı́m · = lı́m = lı́m 1 + =e
n→∞ nn (n + 1)! n→∞ n n + 1 n→∞ n
P∞ n
P∞ Ejercicio 2.13: Supongamos que los radios de convergencia de las series n=0 an z y
n
n=0 bn z son iguales a r1 y r2 respectivamente. ¿Qué se puede decir respecto a los radios
de convergencia de las series:
a)
∞
X
(an ± bn )z n
n=0
b)
∞
X
an bn z n
n=0
c)
∞
X an
zn
bn
n=0
1
c depende de n
140 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
A PARTADO A )
R = mı́n{R1 , R2 }
esto se debe a que podemos escribir la suma como
∞
X n
X
(an ± bn )z n = lı́m (ai ± bi )z i
n→∞
n=0 i=0
y ese límite podrá descomponerse en suma de límites cuando ambos límites existan. La
forma de garantizar que esto ocurra es tomar el mínimo de los radios de convergencia.
A PARTADO B )
1
= lı́m sup |an bn |1/n = lı́m sup |an |1/n |bn |1/n ≤
R n→∞ n→∞
1 1
≤ lı́m sup |an |1/n · lı́m sup |bn |1/n =
n→∞ n→∞ R1 R2
Por tanto tenemos que R ≥ R1 R2 y tendremos la igualdad cuando exista al menos
uno de los límites superiores: lı́m supn→∞ |an |1/n ó lı́m supn→∞ |bn |1/n .
Para afirmar esto nos hemos basado en el siguiente lema:
Lema B.1. Sean xn , yn ≥ 0,
∃ lı́m xn =⇒ lı́m sup(xn yn ) = lı́m xn · lı́m sup yn
n→∞ n→∞ n→∞ n→∞
A PARTADO C )
∞
X an
z n con bn 6= 0
bn
n=0
Podemos calcular su radio de convergencia de la siguiente forma:
1 |an |1/n |an |1/n 1 1
= lı́m sup |an |1/n = lı́m sup 1/n
|bn |1/n
≤ lı́m sup 1/n
lı́m sup |bn |1/n = ·
R n→∞ n→∞ |bn | n→∞ |bn | n→∞ R R2
R1
Así hemos llegado a que R ≤ R2 , teniendo la igualdad en caso de que exista el límite
de |bn |1/n
Ejercicio 2.14: Pruebe que para todo z ∈ C tal que |z| < 1, se verifican las
identidades:
a)
∞
1 X
= zn
1−z
n=0
b) 2 ∞
1 X
= nz n−1
1−z
n=0
141 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
∞ N
1 − |z|n cos(α) + i sin(α)
X
n
X
n 1 − zn 1
z = lı́m z = lı́m = lı́m =
N →∞ N →∞ 1 − z N →∞ 1−z |{z} 1−z
n=0 n=0 por ser |z|<1
A PARTADO B )
∞ N N
X X d X n
nz n−1 = lı́m nz n−1 = lı́m ( z )=
N →∞ N →∞ dz
n=0 n=0 n=0
!
d 1− z N +1 −(N + 1) · zN · (1 − z) − (−1) · (1 − z N +1 )
= lı́m = lı́m =
N →∞ dz 1−z N →∞ (1 − z)2
−(N + 1) · z N + (N + 1) · z N +1 + 1 − z N +1 −(N + 1) · z N + N · z N +1 + 1
= lı́m = lı́m =
N →∞ (1 − z)2 N →∞ (1 − z)2
−(N + 1) · |z|N · eiθ + N · |z|N +1 · eiθ + 1 1
= lı́m =
N →∞ (1 − z)2 |{z} (1 − z)2
por ser |z|<1
Ejercicio 2.15: Desarrolle las siguientes funciones en series de potencias del tipo
indicado
a)
z z
y en potencias de z
z 2 − 5z + 6 (z − 1)2
b)
2z + 3 2z + 3
y en potencias de z − 1
z + 1 (z + 1)2
z z A B
= = +
z2 − 5z + 6 (z − 2)(z − 3) z−2 z−3
Para calcular estos coeficientes A y B, sumamos las dos fracciones de la derecha y
damos los valores z = 2 y z = 3.
Así obtenemos A = −2 y B = 3 y podemos escribir:
z
z2 − 5z + 6
∞ n ∞
z −2 3 1 −2 1 3 X z 1 X z n
2
= + =− − = − 3
(z − 1) z−2 z−3 2 1 − z/2 3 1 − z/3 2 2 3
n=0 n=0
142 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
A PARTADO B )
∞
2z + 3 1 X
=2+ =2+ (−1)n z n
z+1 z+1
n=0
2z + 3 A Bz + C
2
= +
(z + 1) z + 1 (z + 1)2
Calculamos A, B y C como en el apartado anterior y obtenemos:
1 = −B + C
(
1 = −B + C
3=A+C =⇒
5 = 2A + B + C
3=A+C
b)
∞
X
n(n − 1)z n
n=0
143 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
c)
∞
X (z − 2πi)n
(−1)n
n!
n=0
A PARTADO A )
∞ ∞
X z 2n X (z 2 )n 2
= = ez
n! n!
n=0 n=0
A PARTADO B )
∞ ∞
X X 2z 2
n(n − 1)z n = n(n − 1)z n =
(1 − z)3
n=0 n=2
Para la resolución de este apartado, nos hemos basado en el estudio del sumatorio:
∞
X 2
(m + 1)mz m−1 =
(1 − z)3
m=0
A PARTADO C )
∞ ∞
X (z − 2πi)n X (−z + 2πi)n
(−1)n = = e−z+2πi = e−z
n! n!
n=0 n=0
P∞ n
P∞ 2a zn
Ejercicio 2.17: Si f (z) = n=0 an z ¿qué representa n=1 n n en términos de
f?
144 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Por tanto ya tenemos el resultado pedido. Para acabar, sólo necesitamos calcular
el resultado de aplicar el nuevo operador dos veces a la función f (z). Haciéndolo,
podemos ver que:
∞
X
0 2 00
zf (z) + z f (z) = n2 an z n
n=1
b)
∞
X
ne−nz
n=0
c)
∞
X sin(nz)
n2
n=0
d)
∞
X sin(nz)
2n
n=0
e)
∞
X zn
1 + z 2n
n=0
A PARTADO A )
∞ n
X z
1+z
n=0
Tenemos una progresión geométrica, que sabemos que converge siempre que el módulo
de la razón sea menor que 1.
145 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
A PARTADO B )
∞
X ∞
X
ne−nz converge ⇐⇒ e−nz converge
n=0 n=0
A PARTADO C )
Para poder estudiar esta serie debemos ver antes
!2
1 inz eny − e−ny
sin(nz) = e − e−inz =⇒ | sin(nz)|2 = + sin2 (nx)
2i 2
Podemos ver que para n grande el segundo sumando oscila entre -1 y 1, por lo que
no nos da problemas para la convergencia y tenemos
| sin(nz)|2 en|y|
≡
n2 n2
por lo que los sumandos de la serie convergen a infinito, de modo que la serie también
divergen. Todo este razonamiento es válido sólo si |y| =6 0
A PARTADO D )
∞
X sin(nz)
2n
n=0
P∞ 1
Ejercicio 2.19: Se considera la serie n=1 nz (conocida como Zeta de Riemann)
para z ∈ C
a) Demuestre que la serie converge si Re(z) > 1
b) Demuestre que si a es un número real mayor que 1, entonces la serie converge
uniformemente en {z ∈ C Re(z) ≥ a}
146 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
P∞ 1
Tenemos entonces que la suma inicial converge si lo hace n=1 nx
A PARTADO B )
P∞ 1
Este apartado no supone ningún problema. Si en lugar de estudiar n=1 nz
P∞ 1
hubiésemos estudiado n=1 nz podríamos haber seguido los mismos pasos,
empleando siempre el valor absoluto y escribiendo ≤ en lugar de = con lo que
habríamos llegado a idéntico resultado, lo que provoca la convergencia absoluta.
P∞ k
Ejercicio 2.20: SupongamosP que la serie de potencias f (z) = k=0 ak z tiene un
radio de convergencia R = 1 y que ∞
k=0 ak = 0. Denotemos
n
X n
X
k
sn (z) = ak z y sn = ak
k=0 k=0
Pn−1 k
a) Demuestre
P∞ que sn (z) = (1 − z) k=0 sk z + sn z n y concluya que f (z) =
(1 − z) n=0 sn z n
|1−z|
b) Demuestre que f (z) → 0 cuando z se aproxima a 1 de tal forma que 1−|z| está
acotado
n−1
X n
X
k n
= ak z + an z = ak z k
k=1 k=0
2
Usando Euler escribimos el segundo factor como combinación de senos y cosenos, que nos dará un
número complejo acotado que no afecta a la convergencia de la función
147 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Las cuentas son un poco raras si las miras de golpe pero en el fondo es sólo jugar
con los índices de los sumatorios.
A PARTADO B )
No se escribirlo pero la idea está ahí. Los sn no nos preocupan por que sabemos que
tienden a 0 y el sumatorio que nos queda ignorándolos es una progresión geométrica
cuyo valor multiplicado por (1-z) es la fracción que nos dan diciendo que está acotada.
El problema es que no se cómo escribirlo bien
A PARTADO B )
Para la primera ecuación tenemos que:
148 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
n+1
= lı́m · sup |ak | = lı́m n · sup |ak | = 0
n→∞ k≥n 2 n→∞ k≥n
149 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
B.3. Hoja 3
Por otro lado sabemos que la suma de las raíces de la unidad es 1, es decir
n
X n
X
ωjn = 1 =⇒ ωjn = 0 puesto que ωj0 = 1
j=0 j=1
A PARTADO B )
n m n m n
1 X 1 X X X 1 X
P (ωj ) = ai wji = ai wji = a0 + an
n n n
j=1 i=1 j=1 i=1 j=1
3
Al no ser m múltiplo de n no puede darse el caso de tener un 0 en el denominador
150 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Basándonos en el apartado anterior conocemos el valor del sumatorio interior, que será
0 en todos los casos salvo cuando i sea múltiplo de n, cosa que sólo puede ocurrir
cuando i sea 0 ó n por lo que obtenemos el resultado esperado
≡ w3 + βw + γ = 0
siendo
β = 3h2 + 2ah + b
γ = h3 + ah2 + bh + c
3h = −a
A PARTADO B )
Aplicamos el cambio de variable pedido sobre la ecuación del apartado anterior:
w3 + βw + γ = 0 ≡ g 3 u3 + βgu + γ = 0 ≡ 4u3 − 3u + δ
siendo (
g3 = 4
βg + 3 = δ
A PARTADO C )
Para comprobar que el α dado es solución de la ecuación vamos a sustituirlo en ella
y a comprobar que la igualdad se mantiene.
Para ello vamos a analizar previamente la información que nos dan
sin(3v) = sin(2v+v) = sin(v) cos(2v)+sin(2v) cos(v) = sin(v) cos2 (v)−sin3 (v)+2 sin(v) cos2 (v) =
= 3 sin(v) − 3 sin3 (v) − sin3 (v) = 3 sin(v) − 4 sin3 (v) = δ =⇒ 4 sin3 (v) = −δ + 3 sin(v)
151 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
A PARTADO D )
Basta con resolver las ecuaciones que se han ido planteando en los sucesivos
apartados para poder encontrar el cambio de variable adecuado.
Se deja como ejercicio para el lector.
Ejercicio 3.3: Demuestre que existe un único polinomio Pn de grado n tal que
n 1 1
z + n = Pn z +
z z
Vamos ahora a sacar del sumatorio el término más grane y el más pequeño con lo
que nos queda:
n−1
X n−2
X n
n 2i−n n 1 n n−1
− z =− − z − z 2i−n
i 1 z n−1 n−1 i
i=1 i=2
152 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
A PARTADO A )
Empezamos con algo de notación. Sea Z = {zk }nk=1 ⊂ C el conjunto de todos esos
complejos y sea
n n
def
X X
P = z= tk zk tk ≥ 0, tk = 1
k=1 k=1
153 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
A PARTADO B )
Este es bastante obvio así que no voy a comentarlo mucho, pero básicamente si
coges los zk que son vértices del polígono, los semiplanos serán los generados por los
segmentos zk , zk+1 . La intersección de todos ellos será el área encerrada por todos los
segmentos, que será el polígono que teníamos.
A PARTADO C )
Siguiendo la ayuda proporcionada escribimos
P (z) = an (z − z1 )(z − z2 ) · · · (z − zn )
Sea z un cero de P 0 (z) que no anula el polinomio (es distinto de todo zi ), tenemos
n
X 1
=0
z − zi
i=1
Ahora tenemos que comprobar que esta z se contiene dentro del polinomio
mencionado en el apartado a).
Si multiplicamos y dividimos por el conjugado en cada uno de los términos del
sumatorio que estamos manejando llegamos a:
n n n
X z̄ − z¯i X z¯i X z̄
= 0 =⇒ =
|z − zi |2 |z − zi |2 |z − zi |2
i=1 i=1 i=1
154 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Si despejamos z llegamos a:
n 1
|z−zi |2
X
z= Pn 1 zi
i=1 i=1 |z−zi |2
1.
(1 − z) cos(z)
2.
cos(z)
1 − z2
3.
e−z
1+z
1.
∞ ∞ ∞
X (−1)n X (−1)n X (−1)n
(1 − z) cos(z) = (1 − z) z 2n = z 2n − z 2n+1 =
(2n)! (2n)! (2n)!
n=0 n=0 n=0
∞
X
= ak z k
k=0
siendo
(−1)k/2
si k es par
k!
ak =
(−1)(k−1)/2−1
si k es impar
k!
2.
cos(z)
1 − z2
En este caso sabemos desarrollar tanto el numerador como el cociente que da
lugar al denominador en series de potencias con lo que obtendremos algo de la
forma:
155 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
cos(z) X n
X
n
X
= an z · bn z = cn z n
1 − z2
Vamos a calcular ahora esos sumatorios:
X 1 X
cos(z) = an z n = bn z n
1 − z2
siendo
(−1)n/2 n es par
k! si n es par 1 si
an = bn =
0 si n es impar 0 si n es impar
Por último, sólo nos queda calcular los coeficientes cn . Vamos a ello:
n n/2
X X (−1)n/2 X (−1)j
cn = ak bn−k = =
k! (2j)!
k=0 0≤k≤n j=0
siendo esto válido sólo para los n pares. Cuando n sea impar tendremos cn = 0
3.
e−z
1+z
Hecho por Pedro. Se aceptan correcciones.
En esta ocasión ocurre lo mismo que en el apartado anterior. Tenemos:
∞
1 1 X X
= = (−z)i = (−1)n z n
1+z 1 − (−z)
i=0
∞
X (−z)n X (−1)n
e−z = = zn
n! n!
n=0
Vamos a por el sin(2z) que podemos escribir como serie de la siguiente forma
∞
X (−1)n · 22n+1
sin(2z) = z 2n+1 5
(2n + 1)!
n=0
5
Esta fórmula la plantó la profesora en clase. Puede obtenerse aplicando Taylor o mediante ideas felices
que permitan asemejar la función objeto de estudio a otra ya estudiada
156 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
∞
X i2k X (−1)k ∞
1 iz
(e + e−iz ) = z 2k = z 2k
2 (2k)! (2k)!
k=0 k=0
1
(cosh(z) + cos(z))
2
157 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Y por otro:
eiz̄ = exi+y = exi ey
si queremos que coincidan estos dos números complejos necesitamos y = 0 y que
Es decir, necesitamos x = πk
A PARTADO A )
Veamos primero una forma elegante de hacer esta demostración suponiendo que ya
sepamos que la ecuación es cierta en los reales.
Tenemos que la función sen2 (z) + cos2 (z) − 1 se anula en toda la recta de los reales.
Por el principio de los ceros aislados una función holomorfa que se hace 0 en todo un
eje es la función nula.
La otra forma de hacerlo, suponiendo que no sepamos nada de lo que ocurre en los
reales, es escribir los senos y cosenos como exponenciales de la siguiente forma:
1 iz
sin(z) = e − e−iz
2i
1 iz
cos(z) = e + e−iz
2
Si ahora sumamos los cuadrados obtenemos directamente un 1.
A PARTADO B )
Nuevamente, podría hacerse de dos formas al igual que el apartado anterior.
A PARTADO A )
Escribiéndolo como exponenciales tenemos la ecuación:
1 iz 1
cos(z) = 2 ⇐⇒ e + e−iz = 2 ⇐⇒ eiz + i = 4
2 ez
158 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
√
Ahora debemos despejar la z a partir de la relación eiz = 2 ± 3.
( √ √ √ √
t1 = 2 + 3 =⇒ eiz1 = 2 + 3 =⇒ iz1 = log(2 + 3) + 2kπi =⇒ z1 = −i log(2 + 3) + 2kπ
√ √ √ √
t2 = 2 − 3 =⇒ eiz2 = 2 − 3 =⇒ iz2 = log(2 − 3) + 2kπi =⇒ z2 = −i log(2 − 3) + 2kπ.
A PARTADO B )
Escribiéndolo nuevamente como exponenciales tenemos:
1 iz 3 i
e − e−iz = −
2i 4 4
1
t2 + (1 + 3i)t − 1 = 0
2
que nos da las soluciones:
" r #
1 1 1 2
t= (1 + 3i) ± (1 + i) + 4
2 2 4
Vamos a trabajar un poco con el número que hay dentro de la raíz para hacerlo lucir
mejor.
1 1 3 5 3
(1 + i)2 + 4 = (1 + 6i − 9) + 4 = 2 + i = eα con tg(α) =
4 4 2 2 4
Volvemos ahora al valor de t y aplicamos esta simplificación que acabamos de
calcular: " 1/2 #
1 1 5
t= (1 + 3i) ± eiα/2
2 2 2
(
t1 = 1 + i → eiz = t1 =⇒ iz = log |t1 | + arg(t1 ) =⇒ z = π4 + 2kπ − i 12 log(2)
t2 = 1/2(−1 + i) → eiz = t2 =⇒ iz = log |t2 | + arg(t2 ) =⇒ z = 3π 1
4 + 2kπ + i 2 log(2)
159 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
b) √
(1 − i)i , 2−1+i , i 2
tomando la rama principal del logaritmo
c)
√
i−i , log(3), log( 3 + 1), (1 + i)1+i , 2πi (calcular todos los posibles valores)
A PARTADO A )
A PARTADO B )
(1 − i)i = ei log(1−i)
con la rama principal del logaritmo (como nos indica el enunciado) nos queda
√ π
log(1 − i) = log |1 − i| + iArg(1 − i) = log 2−i
4
y sustituyendo: √
2+ π4
(1 − i)i = ei log
A PARTADO C )
Ejercicio 3.11: Denotemos por {arg(z)} el conjunto de todos los valores posibles
para el argumento de z, por {log(z)} el conjunto de todos los valores posibles de log(z)
y por {z b } el conjunto de todos los valores posibles de z b con el significado evidente
{log(z)} = log(|z|) + i{arg(z)}, {z b } = eb{log(z)} . Compruebe que:
a)
b)
{(zw)b } = {z b }{wb } (aquí AB={ab: a ∈ A, b ∈ B})
c) [
{log(z α )} =
α{log(z)} + 2kπi
k∈Z
160 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
A PARTADO B )
A PARTADO C )
Este apartado esta pichí-pichá...
[
{log(z α )} ⊂
α{log(z)} + 2kπi
k∈Z
Si x ∈ {log(z α )}
=⇒ ∃z x = log(|z|α ) + iarg(z α ) = α log(|z|) + i(Arg(z α ) +
α
S
2kπ) = α log(|z|) + iArg(z ) + i2kπ =⇒ x ∈ k∈Z α{log(z)} + 2kπi
[
{log(z α )} ⊃
α{log(z)} + 2kπi
k∈Z
S
Si x ∈ k∈Z α{log(z)} + 2kπi =⇒ ∃k, z x = α log(|z|) + αarg(z) + 2kπi =
α log(|z|) + αArg(z) + 2kπi
161 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Ejercicio 3.12: (Teorema del binomio para exponentes reales) Sea α un número real
con α ∈
/ N y sea
α α α α(α − 1) · · · (α − j + 1)
= 1, = α, = si j > 1
0 1 j j!
P∞ α
z k es 1
a) Demuestre que el radio de convergencia de la serie F (z) = k=0 k
A PARTADO B )
∞ ∞ ∞
0
X α k−1
X α k−1
X α
(1 + z)F (z) = (1 + z) kz = kz + kz k =
k k k
k=0 k=0 k=0
∞ ∞ ∞ ∞
" #
X α l
X α X α α X α
= (l+1)z + kz k = (k + 1) + k k
z = αz k = αF (z)
l+1 k k+1 k k
l=0 k=0 k=0 k=0
A PARTADO C )
Vamos a calcular primero (1 + z)α que, por definición sería (1 + z)α = eα log(1+z)
donde log(1 + z) es una rama del logaritmo de f (z) = 1 + z definida en el disco unidad
(donde tenemos convergencia).
Podemos ver que el disco unidad es simplemente conexo y que la función no se
anula en él (estamos tomando el disco sin los bordes). Por tanto podemos garantizar la
existencia de esta rama del logaritmo.
Podemos tomar pues log(1 + z) = log |1 + z| + iArg(1 + z).
Por tando, en D se cumple
F 0 (z) f 0 (z)
(log F )0 = =α = α log(f )0 = (α log f )0 =⇒
F (z) f (z)
162 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
puesto que F (0) = f (0) = tenemos que la constante es una diferencia de ángulos
equivalentes, es decir, un múltiplo de 2π.
7
Separando la exponencial en producto y la segunda exponencial en cos+isen
163 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
B.4. Hoja 4
R
Ejercicio 4.1: Calcule α |z|z̄ dz, donde α es el camino cerrado compuesto por la
semicircunferencia superior de |z| = 1 y el segmento −1 ≤ x ≤ 1; y = 0, con orientación
positiva.
R R
Ejercicio 4.2: ¿Es cierto que Re{ α f (z) dz} = α Re{f (z)} dz para cualquier f ,
función continua compleja?.
Razone la respuesta
Z Z 1 Z
f (z)dz = i(1 + i)dt = i − 1 =⇒ Re{ f (z)dz} = −1
α 0 α
Z Z
Re{f (z)}dz = 0dz = 0
α α
164 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
|dz|
Z
2πR
< 2 =
|z|=R |z − a||z + a| R − |a|2
2π
|dz|
Z Z
Rdt
= = ... =
|z|=R |z − a||z + a| 0 |R cos(t) + iR sin(t) − a||R cos(t) + iR sin(t) + a|
Z 2π Z 2π Z 2π
Rdt Rdt Rdt
< √ = =
R 2 − a2
p
0 R + a + 2R2 a2 − 4a2 R2 cos2 (t)
4 4
0 R + a + 2R2 a2 − 4a2 R2
4 4
0
2πR
=
R2 − |a|2
Ejercicio 4.5: Sea γ el cuadrado en C con vértices ±1 ±i. Acote el valor absoluto de
las siguientes integrales
Z
dz
a) 3
|z|=1 2 − z
ez
Z
b) 2
dz
|z|=1 z
Z
c) (cos z)2 dz
γ
A PARTADO A )
Z
dz
=0
|z|=1 2 − z3
puesto que la función es holomorfa en |z| ≤ 1. Por el Teorema de Cauchy, si f
es holomorfa en Ω simplemente conexo y α es un camino cerrado en Ω sabemos
directamente que la integral sobre el camino será 0.
165 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
A PARTADO B )
Hecho por Pedro. Se aceptan correcciones.
En esta ocasión no podemos aplicar el Teorema de Cauchy, pues todo Ω
simplemente conexo que tomemos que contenga la curva dada contendrá al origen
y en ese punto la función no es holomorfa.
Ayudándonos de la fórmula integral de Cauchy tenemos:
Z
f (w)
2
dw = Índγ (0)f 0 (0)2π = 2π
γ (w − 0)
A PARTADO C )
Z
(cos z)2 dz = 0
γ
Nuevamente tenemos una función holomorfa en un dominio simplemente conexo
que estamos integrando sobre una curva. Aplicando el Teorema de Cauchy tenemos
directamente que la integral será 0.
Ejercicio 4.6: Sea γ el arco del círculo |z| = 2 comprendido en el primer cuadrante.
Verifique que Z
dz π
≤
γ z2 + 1 3
Z Z Z
|dz| |dz|
Z
dz dz 8 1
≤ 2 = ≤ ≤ 9 (π) 10
γ z2 + 1 γ z +1
2
γ |z + 1|
2
γ |z | − 1 3
y es claro que si llamamos P (z) = Q(z) seguimos pudiendo aplicar la función ya que el
conjugado de un polinomio en complejos sigue siendo un polinomio y por tanto sigue
siendo holomorfo TRIPLE.
8
|z|2 − 1 ≤ |z 2 + 1| ≤ |z|2 + 1 =⇒ |z21+1| ≤ 1
|z|2 −1
9
|z| ≤ 2, |z21|−1 ≤ 4−11
R
, y γ |dz| = long(γ)
10 r=2 1
γ es un cuarto de circunferencia de radio 2, luego long(γ) = 4
· 2 · 2π = π
166 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Ejercicio 4.8: Sea γ un camino simple y cerrado que encierra un área S. Demuestre
que Z Z Z
1 1
S= x dz = − y dz = z̄ dz
i γ γ 2i γ
Vamos a ello:
Z Z P
Z z}|{ Q ZZ
1 dz=dx+idy z}|{ Green
xdz = −i xdz = −ix dx + x dy = (1 − 0)dxdy
i γ γ γ Ω
Z Z P Q ZZ
dz=dx+idy z}|{ z}|{ Green
− ydz = − y dx + iy dy = − (0 − 1)dxdy
γ γ Ω
Z Z P
Z z }| Q
1 1 1 { z }| { Green Z Z 1
zdz = (x−iy)·(dx+idy) = (x − iy) dx+(ix + y) dy = (i−(−i))dxdy
2i γ 2i γ 2i γ Ω 2i
167 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
b)
z 2 sin(z)dz
Z
, |a| =
6 1
|z|=1 (z + a)3
A PARTADO A )
Vamos a factorizar el denominador
√ −π
z 2 + 3i = 0 =⇒ z 2 = −3i =⇒ z 2 = 3eiπ/2 =⇒ z = reiθ con r = 3yθ= + kπ
4
168 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
A PARTADO B )
Basándonos en la definición de índice y considerando f (z) = z 2 sin(z), calculamos
f (2) (z) = 2z sin(z) + 2z cos(z) + 2z cos(z) − z 2 sin(z) y en este caso z = −a
z 2 sin(z)dz
Z
2πi (2) 2πi 2
= f (−a) = 2 sin(−a) − 4a cos(−a) + a sin(−a)
|z|=1 (z + a)3 2! 2!
Hemos tomado que el índice es 1, ya que la una circunferencia sólo da una vuelta
alrededor del punto. Este resultado es cierto suponiendo |a| < 1 y que el punto queda
dentro. Si el punto quedase fuera, |a| > 1, entonces el índice sería 0. Esto es fácil de
comprobar, porque al estar el punto fuera, la función queda holomorfa en el interior y
podemos aplicar el teorema de Cauchy.
b) Z 2π
cos(2t)
dt
0 5 − 4 sin(t)
169 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
A PARTADO A )
Z 2π Z 2π
1
dt = F (cos(t), sin(t))dt
0 2 + cos(t) 0
1
z = eit = cos(t) + i sin(t) = e−it = cos(t) − i sin(t)
z
1
z+ z z − z1
cos(t) = sin(t) =
2 2i
Así la integral nos queda:
Z 2π Z Z
1 1 1 2 dz
dt = dz =
0 2 + cos(t) |z|=1 2+ z+1/z iz i |z|=1 z2 + 4z + 1
2
√
Las dos raíces del denominador son −2 ± 2 3 y ambas se salen del círculo de radio
1 de modo que estamos integrando una función holomorfa sobre una curva cerrada y
por el Teorema de Cauchy tenemos que esta integral es 0.
A PARTADO B )
Aplicamos el mismo procedimiento del ejercicio anterior para resolver la integral:
z4 + 1 10iz 3 + 4z 2 + 1
Z Z
1 1 1
= 4 3 2
dz = − + dz
2 |z|=1 −2z + 5iz + 2z 2 |z|=1 2 −2z 4 + 5iz 3 + 2z 2
Podemos factorizar el denominador como:
4 3 2 2 −5 + 3i −5 − 3i
−2z + 5iz + 2z = z z + z+ =⇒
4 4
10iz 3 + 4z 2 + 1 A B C
=⇒ = 2+ −5+3i
+
4 3
−2z + 5iz + 2z 2 z z+ 4 z + −5−3i
4
La integral sobre los dos segundos sumandos será 0 por el Teorema de Cauchy así
como sobre la constante −1/2, de modo que nos basta con conocer el valor de A que
vemos es
1
A=
2.125
Es decir, tenemos que nuestra integral inicial es igual a:
Z 2π Z
cos(2t) dz
dt = 2.125 = 2πi · 2.125 · f (n) (0) = 0 puesto que f (z) = 1
0 5 − 4 sin(t) |z|=1 z2
170 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
1 − cos(z)
Z
b) dz
γ z2
Z
sin(z)
c) dz
γ z
ez
Z
d) dz
γ z2
Z
2
e) dz
γ 1 − 4z 2
A PARTADO A )
Z
z sin z 2 dz = 0
γ
por el teorema de Cauchy, pues se trata de una función holomorfa sobre una curva
cerrada.
A PARTADO B )
Aplicando fórmula integral de Cauchy en el disco.
1 − cos(z)
Z
= 2πif (1) (0) = 2πi · sin(0) = 0
γ z2
A PARTADO C )
Z
sin(z)
dz = sin(0) · 2πi = 0
γ z
aplicando la fórmula integral de Cauchy en el disco.
A PARTADO D )
ez
Z
dz = e0 2πi = 2πi
γ z2
aplicando la fórmula integral de Cauchy en el disco.
A PARTADO E )
−1/2
Z Z Z
2 1/2
dz = dz + dz = πi − πi = 0
γ 1 − 4z 2 γ 1/2 + z γ −1/2 + z
171 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
¿Cuál es el límite
√
Z 2π
lı́m n (cos(t))2n dt?
n→∞ 0
1 2n dz
Z
z+
|z|=1 z z
Z 2π Z 2n Z 2n
2n z + 1/z 1 1 1 1
(cos(t)) dt = dz = 2n z+ dz =
0 |z|=1 2 zi 2 i |z|=1 z z
Z 2n Z 2n
1 X 2n 2n−2j−1 12 1 X 2n 2n−2j−1
= 2n z dz = z dz =
i2 |z|=1 j i22n |z|=1 j ↑
j=0 j=n
Cambio de variable: k = j − n ⇐⇒ j = k + n
Z n n Z
1 X 2n 1 1 X 2n 1
dz = 2n dz =
i22n |z|=1 k=0 k z 2k+1 i2 k+n |z|=1 z 2k+1 ↑
k=0
salvo el primer término (k = 0), 1(2∗k) = 0
1 2n π 2n
= 2n 2πi · 1 · 1 = 2n−1
i2 n 2 n
Al calcular el límite tenemos 0
Ejercicio 4.14: Sea Ω un dominio en C y sea f una función holomorfa en Ω tal que
para un cierto M > 0 se tiene que |f (z)| ≤ M para todo z ∈ Ω. Pruebe que
M
|f 0 (z)| ≤
distancia(z, ∂Ω)
12
Los sumanos con exponente positivo dan como resultado 0 aplicando el Teorema de Cauchy
172 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Z
|dw| |dw|
Z Z Z
dw dw
=M ≤M ≤M ≤M
2
∂D(z,r) (w − z) 2 2 2
∂D(z,r) (w − z) ∂D(z,r) |(w − z) | ∂D(z,r) |(w − z)|
Llegados a este punto sólo tenemos que ver que la distancia entre w y z siempre será
mayor que la distancia desde z a la frontera sobre la cual estamos integrando. Es decir,
en el denominador siempre van a quedar distancias desde un punto z a la frontera y
estas distancias siempre serán mayores, por definición, que la distancia(z,∂Ω).
Por tanto nos queda
Z
0 M M
|f (0)| ≤ |dw| ≤ distancia2 (z, ∂Ω)
distancia2 (z, ∂Ω) ∂D(z,r) distancia2 (z, ∂Ω)
Ejercicio 4.16: Sea f una función holomorfa en {z ∈ C |z| < R0 }. Demuestre las
siguientes fórmulas
a) Si γ es la circunferencia de radio R < R0 y |w| < R entonces
R2 − |w|2
Z
1
f (w) = f (z)dz
2πi γ (z − w)(R2 − z w̄)
173 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
R2 − |w|2
Z Z Z
1 1 A 1 B
2
f (z)dz = dz + dz
2πi γ (z − w)(R − z w̄) 2πi γ z−w 2πi γ R2 − z w̄
Por el Teorema de Cauchy en el disco tenemos que la primera integral vale f (w). Si
conseguimos demostrar que la segunda es 0 ya estará resuelto. Para conseguirlo basta
con probar que es holomorfa en el dominio que estamos trabajando.
Tenemos que la función
w̄f (R2 /w̄
R2 − z w̄
es holomorfa en todo punto salvo en z = R2 /w̄ = wR2 /|w|2 =⇒ |z| = R2 /|w| ≥ R13
por tanto este punto no entra dentro del dominio que estamos trabajando. Es decir, la
segunda integral es la integral de una función holomorfa sobre una curva cerrada y, por
el teorema de Cauchy, sabemos que vale 0.
A PARTADO B )
13
|w|<R según el enunciado
174 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
B.5. Hoja 5
Ejercicio 5.1: Sea D el disco unidad. Demuestre que no hay ninguna función
f ∈ H(D) tal que
1 1 1
f = =f −
n n n
para n = 1, 2, 3, ...
n x
x= =⇒ nx + x = n =⇒ n =
n+1 1−x
Aplicando este cambio de variable a la función mostrada tenemos:
(1 − x)2
n 1
f =1− 2 = f (x) = 1 − 2
n+1 2n + 2n + 1 2x + 2x − 2x2 + x2 − 2x + 1
2x
f (x) =
x2+1
n
Es sencillo ver que al evaluar esta función en n+1 obtenemos la función inicial. Esta
función es holomorfa en el disco, pues es holomorfa en todo el plano complejo.
Aplicando ahora una idea similar a la del ejercicio anterior, vemos que si hubiera
otra función g(x) tal que
n 1
g =1− 2
n+1 2n + 2n + 1
tendríamos que las dos funciones en un conjunto de puntos del intervalo (0, 1) tendrían
el mismo valor, y en ese conjunto de puntos hay uno de acumulación (el 1) y, por el
teorema de continuación única, tenemos que g = f .
Es decir, sólo hay una función que cumpla la condición pedida y es la f (x) calculada
previamente.
175 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Pero decíamos que f (z) = k z g(z) con g una función holomorfa que no se anula en
el 0.
b)
f (2z) = 2f (z) ∀z ∈ C
∞
X ∞
X
f (z) = f (z 2 ) ⇐⇒ an z n = an z 2n
n=0 n=0
Así nos queda que los coeficientes de la serie deben cumplir:
(
0 n impar
an =
an/2 n par
176 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
A PARTADO B )
Hecho por Pedro. Se aceptan correcciones.
∞
X ∞
X
n n
f (2z) = 2f (z) ⇐⇒ an 2 z = 2an z n
n=0 n=0
Ejercicio 5.5: Halle todas las funciones holomorfas en el disco unidad D que satisfacen
f (z 2 ) = f (z) + z
Compruebe que no existe ninguna función entera que cumpla esta condición
Hecho por Pedro. Se aceptan correcciones. Revisado por Guille. Se siguen aceptando
correcciones
Si escribimos el desarrollo como serie de la función f tenemos que
∞
X
f (z) = an z n
n=0
y la única forma de que esta igualdad sea cierta es que todos los coeficientes coincidan,
es decir:
an = an e2πiαn ⇐⇒ 1 = e2πiαn
pero sabemos que esa última igualdad sólo es cierta si n = 0. La única explicación
posible es que la doble implicación sea falsa puesto que an = 0 para todo n > 0, con lo
que nos queda que nuestra función f es de la forma:
f = a0 =⇒ f = cte
177 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Puesto que ε era un valor cualquiera, tenemos que el máximo debe ser menor que
cualquier valor positivo y por tanto debe ser 0.
Para la segunda pregunta del enunciado la respuesta es sencilla, pues una función
constante satisface la condición.
1
f (z) = 1 ≥
1 − |z|
Por el Teorema de Liouville sabemos que si una función entera está acotada entonces
es constante.
178 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
f (z) |f (z)|
lı́m = 0 =⇒ lı́m =0
z→∞ z z→∞ |z|
A PARTADO B )
Es cierto por el teorema de Liouville. Si pide que demuestre el teorema (que se hace
con integrales de Cauchy) no lo voy a hacer.
Ejercicio 5.10: Demuestre que si a, b ∈ C y R > 0 es tal que |a| < R, |b| < R,
entonces:
f (a) − f (b)
Z
1 f (z)
dz =
2π |z|=R (z − a)(z − b) a−b
(Ayuda: Fracciones simples.) Use esta fórmula para probar el Teorema de Liouville.
(Ayuda: Haga que R → ∞).
179 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Al multiplicar por el 1/(2π), nos quedaría todo esto multiplicado por i, por lo que
creo que el enunciado tiene una errata y el factor 1/(2π) debería ser 1/(2πi).
|f (z)| ≤ πe2Re(z)
f (z + 1) = f (z)
f (z + i) = f (z)
Puesto que la función es holomorfa y vale en el origen lo mismo que en los puntos
del borde del disco unidad, es evidente que en este disco debe alcanzar un máximo y/o
un mínimo. En cualquier caso, su valor absoluto alcanza un máximo.
Por tanto, tenemos que en el disco la función es entera y está acotada y el Teorema
de Liouville nos garantiza que, en estas condiciones, la función será constante.
180 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Con las cuentas que hemos hecho al inicio del ejercicio vemos que el valor de la
función en cualquier punto de C puede calcularse a partir del valor de esta en el disco
unidad. Queda claro pues que la función es constante en C
1
g(z) = ≤1
f (z)
1 1
g(z) = = C =⇒ f (z) = = cte
f (z) C
A PARTADO B )
Tenemos que, fijados a, r
|f (z) − a| ≥ r
Pero sabemos, por la desigualdad triangular:
1
g(z) = ≤ 1 =⇒ g(z) = cte =⇒ f (z)−r+|a|+1 = cte =⇒ f (z) = cte
f (z) − r + |a| + 1
En el denominador hemos añadido una constante para forzar que este siempre sea
mayor que 1, teniendo así una cota para g(z) que nos permitiera aplicar el Teorema de
Liouville.
A PARTADO C )
Supongamos que Ω = f (C) no es denso, entonces existe una bola B(a, r) tal que
f (z) ∈
/ B(a, r), es decir
|f (z)| − a ≥ r ∀z ∈ C
181 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Pero en este caso la función f (z) sería constante, como ya hemos demostrado en el
apartado anterior, lo que nos lleva a una contradicción pues el enunciado nos dice que
f no es constante.
182 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
B.6. Hoja 6
e) sin( z12 )
A PARTADO A )
Hecho por Pedro. Se aceptan correcciones.
Vamos a ver donde se anula el denominador de esta función, que será el único punto
que nos pueda causar problemas (singularidades).
En este caso tenemos que resolver una ecuación de segundo grado bastante sencilla:
z 2 + 2z + 1 = 0 ⇐⇒ (z + 1)2 = 0 ⇐⇒ z = −1
Para calcular esta integral podemos aplicar la fórmula integral de Cauchy siendo
f (z) = 1 con lo que obtenemos:
Z
1 1
f 0 (−1) = dz = 0
2πi ∂B(−1,r) (z + 1)2
A PARTADO B )
Volvemos a buscar los puntos donde se anula el denominador de esta función:
3 3 2πik/3 2πk 2πk
z − 1 = 0 ⇐⇒ z = 1 ⇐⇒ z = e = cos + i sin
3 3
Vamos a calcular los residuos correspondientes. Para empezar, podemos ver que
todas estas singularidades son polos de orden 1, pues:
1 1
lı́m (z − 1) = = cte
z→1 (z − 1)(z − e4πi/3 )(z − e2πi/3 ) (1 − e4πi/3 )(1 − e2πi/3 )
183 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
1
Res(f, 1) = lı́m (z − 1)f (z) =
z→1 (1 − e4πi/3 )(1 − e2πi/3 )
A PARTADO C )
Hecho por Edu. Se aceptan correcciones.
El denominador se anula en 0. Vamos a ver el tipo de singularidad:
L’Hôpital L’Hôpital
cos(z) − 1 ↓ − sin(z) ↓ − cos(z) −1
lı́m 2
= lı́m = lı́m =
z→0 z z→0 2z z→0 2 2
Con lo cual es una singularidad evitable, y sabemos que su residuo es 0.
A PARTADO D )
Hecho por Edu. Se aceptan correcciones. Revisado por Guille. Se siguen aceptando
correcciones (Tutoría)
Veamos cuándo se anula el denominador:
z 2 sin(z) = 0 ⇐⇒ z = 0 ó sin(z) = 0
eiz − e−iz
sin(z) = = 0 ⇐⇒ eiz − e−iz = 0 ⇐⇒ ei2z = 0
2i
⇐⇒ z = πk, k ∈ Z
1
lı́m =∞
z→πk z 2 sin(z)
L’Hôpital
z− πk ↓ 1 (−1)k
lı́m2
= lı́m 2
=
z→πk z sin(z) z→πk 2z sin(z) + z cos(z) (πk)2
(−1)k
1 1 1
Res , πk = lı́m 2 =
z 2 sin(z) 0! z→πk z sin(z) (πk)2
Cuando k = 0, calculamos
!
d2 (z 3 f (z))
1 1 d sin z − z cos z Magia 1
Res(f (z), 0) = lı́m = lı́m =
2! z→0 dz 2 2 z→0 dz sin2 z 6
A PARTADO E )
Hecho por Edu. Se aceptan correcciones.
184 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Ejercicio 6.2: Halle los desarrollos de Laurent de las siguientes funciones en los
puntos que se indican:
a) cos z1 , a = 0
1
b) z 2 −3z+2
, a=2
c) z 2 e1/(1−z) , a = 1
A PARTADO A )
Hecho por Edu. Se aceptan correcciones.
Como sabemos el desarrollo en serie de potencias del coseno:
w = z1 magic
∞ ∞ 0
X
n w2n ↓ X (−1)n 1 ↓ X n z
2n
cos(w) = (−1) = = (−1)
(2n)! (2n)! z 2n −∞
(−2n)!
0 0
A PARTADO B )
Sacado de unos apuntes aleatorios que han dejado unos de mates
Queremos escribirlo de la manera an (z −2)n porque nos piden en a = 2. Entonces
P
tenemos que desarrollarlo en potencias de (z − 2), como en al principio de curso.
1 1 1 1
= = (z − 2)−1 · = (z − 2)−1 =
z2 − 3z + 2 (z − 2)(z − 1) z−1 1 − (2 − z)
∞
X ∞
X
−1 k −1
= (z − 2) (2 − z) = (z − 2) (−1)k (z − 2)k =
k=0 k=0
∞
X
= (−1)n+1 (z − 2)n
n=−1
A PARTADO C )
Hecho por Edu. Se aceptan correcciones.
Como sabemos el desarrollo en serie de potencias de la exponencial:
hay que centrarla en 1
∞ 1 n ∞ 0
1 X ( 1−z ) X (1 − z)−n X (1 − z)n ↓
e 1−z = = = =
n! n! −∞
(−n)!
0 0
0 ∞
X (z − 1)n X 1 1
= (−1)n = (−1)n ·
−∞
(−n)! n! (z − 1)n
0
z = (z − 1) + 2z − 1 = (z − 1)2 + 2(z − 1) + 1
2 2
↑ ↑
completar cuadrados 2z = 2(z − 1) + 2
185 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Luego
∞
2 1/(1−z) 2
X 1 1
z e = ((z − 1) + 2(z − 1) + 1) (−1)n · =
n! (z − 1)n
0
∞ ∞ ∞
X
n1 1 X 1 n 1 X 1 1
= (−1) · +2 (−1) · + (−1)n ·
n! (z − 1)n−2 n! (z − 1)n−1 n! (z − 1)n
0 0 0
Ejercicio
6.3: Sean f y g dos funciones holomorfas en
D(a, r) = z ∈ C : |z − a| < r . Demuestre que si f tiene un cero de orden n en a,
y g tiene un cero de orden m en a, con n < m, entonces f /g tiene un polo de orden m − n
en a. Calcule el residuo.
además,
h(z) h(z)
lı́m (z − a)m−n m−n
=
z→a (z − a) i(z) i(z)
que es distinto de 0 y de infinito. Por tanto, tenemos un polo de orden m − n
b) Z
1+z
dz
|z|=1 1 − cos(z)
186 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
A PARTADO A )
Hecho por Pedro. Se aceptan correcciones. Revisado por Guille. Se siguen aceptando
correcciones
Vamos a calcular la integral apoyándonos en el Teorema de los Residuos. Para ello
tenemos que encontrar todas las singularidades de la función que estamos integrando.
Estas singularidades serán los puntos que anulen el denominador. Vamos a hallarlos
√ √
2 1± 1−4 1 ± 3i
z − z + 1 = 0 =⇒ z = =
2 2
Podemos ver que ambos puntos se encuentran dentro del disco |z| = t siendo
√
t ≥ 2 + i 23 = 1. Por tanto vemos que dependiendo del valor de t tendremos un
1
(z − r+ ) 1
Res(f, r+ ) = lı́m (z − r+ )f (z) = lı́m = lı́m
z→r+ z→r+ (z − r+ ) · (z − r− ) z→r+ r+ − r−
1
Análogamente, para r− tendremos que Res(f, r− ) = r− −r +
. Es decir, que los dos
residuos son opuestos, y por lo tanto la integral de ahí vale 0 para todo t 6= 1.
A PARTADO B )
Hecho por Dejuan. Se aceptan correcciones.
Revisado por Pedro. Se siguen aceptando correcciones
Vamos a calcular las singularidades para calcular sus residuos y poder aplicar el
teorema.
1+z
lı́m = ∞ =⇒ z = 0 es un polo
z→0 1 − cos(z)
1−z 1 − 2z −2
Res (f, 0) = lı́m z = lı́m = lı́m = −2 =⇒ z = 0 polo simple
z→0 1 − cos(z) z→0 sin(z) z→0 cos(z)
Para calcular el índice, sabemos que al ser una circunferencia (|z| = 1) tiene índice
= 1.
Z
1+z
dz = 2πi · Res(f, 0) · Índγ (0) = −4πi
|z|=1 1 − cos(z)
187 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Ejercicio 6.7: Demuestre que las siguientes igualdades utilizando el teorema de los
residuos (V.4) con la elección adecuada de camino
a) Z ∞
dx π
=
0 (x2 + 1) 2 4
b)
∞
x2
Z
dx = π
−∞ (x2 + 2x + 2)2
188 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Podemos ver fácilmente que esta integral tiende a 0 cuando R tiende a infinito.
Por tanto tenemos:
Z Z Z
dx dx dx
= + ⇐⇒
γR (x2 + 1)2 IR (x2 + 1)2 CR (x2 + 1)2
Z R
i πR dx
⇐⇒ − · 2πi − 2 =
4 (R − 1)2 −R (x2 + 1)2
Y si hacemos el límite cuando R → ∞ tenemos
Z ∞ Z ∞
dx π dx π
2 2
= =⇒ 2 2
=
−∞ (x + 1) 2 0 (x + 1) 4
Vamos a hacer unas cuentas similares a las del apartado anterior, con el mismo
camino, aunque ahorrándonos parte de las explicaciones.
Las singularidades son:
√
2 −2 ± 4−8 −2 ± 2i
x + 2x + 2 = 0 =⇒ x = = = −1 ± i
2 2
Podemos ver que ambas son polos dobles y que sólo −1 + i se contiene dentro de la
región encerrada por γR a partir de un cierto R.
14
|a-b|≥ |a|-|b|. si tomamos a = z 2 y b = −1 y sabemos que |z|=R por que estamos integrando sobre
la semicircunferencia de radio R
189 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
z2
Z
1
dz = 2πi ·1 =π
γR (z 2 + 2z + 2)2 2i
R2 R2
Z
≤ √ | dz| = 2πR √
4 (R − 2)4
CR (R − 2)
b) Z ∞
dx
0 1 + x3
c) Z ∞
cos(πx)
dx
−∞ 4x2 − 1
A PARTADO A )
Hecho por Pedro. Se aceptan correcciones.
La forma de resolver este ejercicio es similar a la del anterior. Realizaremos las
cuentas sin las explicaciones detalladas del por qué de nuestras acciones Vamos a
calcular la integral:
eiz
Z
2
dz
γR (z − 1) + 1
15
gusanos!
190 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Para ello aplicamos el Teorema de los Residuos para lo que tendremos que encontrar
las singularidades de la función.
Esta función sólo presenta problemas en aquellos puntos ne los que el denominador
se anula:
(z − 1)2 + 1 = 0 ⇐⇒ (z − 1)2 = −1 ⇐⇒ z − 1 = ±i ⇐⇒ z = 1 ± i
1
=π cos(1) + i sin(1)
e
Por otro lado tenemos:
Z Z
eiz eiz eiz
Z
dz ≤ dz ≤ | dz| ≤
2 2 2
CR (z − 1) + 1 CR (z − 1) + 1 CR (z − 1) + 1
Z π
R π π
≤ e−R sin(t) dt < =
(R − 1)2 − 1 0
2
(R − 1) + 1 (R − 1)1 + 1
Ahora escribimos:
eiz eiz eiz
Z Z Z
2
dz = 2
dz + 2
dz
γR (z − 1) + 1 IR (z − 1) + 1 CR (z − 1) + 1
Ahora separamos la integral en parte real e imaginaria. Tras esto igualamos las partes
imaginarias obteniendo el resultado buscado:
Z ∞
sin(x) π
2
dx = sin(1)
−∞ (x − 1) + 1 e
A PARTADO B )
A PARTADO C )
Hecho por Pedro. Se aceptan correcciones.
Volvemos a hacer lo mismo de siempre, trabajando con la función:
eiπz
f (z) =
4z 2 + 1
e−π/2
Z
2π
f (z) dz = 2πi · Res(f, i/2) = 2πi · =√ π
γR i e
191 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
donde se ha usado, como tantas otras veces, el lema de Jordan, que dice:
Z π
π
0< e−R sin(t) dt <
0 R
Ahora tenemos Z Z Z
f (z) dz = f (z) dz + f (z) dz
γR IR CR
donde la parte imaginaria de la integral sabemos que se irá a 0, cosa que además
podemos comprobar por ser una función impar.
Ejercicio 6.9: (*) Compruebe las igualdades para |p| < 1, q > 0:
a)
∞ !−1
xp
Z
π πp
2
dx = cos
0 1+x 2 2
b)
∞
xp π · p · q p−1
Z
2
dx =
0 (x + q) sin (πp)
Este ejercicio está hecho en los ejemplos resueltos por Dragan. Me da pereza
copiarlo aquí.
p(z) = z 3 − 7z 2 + 2z − 3
en la corona z ∈ C : 1 < |z| < 10
192 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
triangular |z|=10
p(z) − f (z) = −7z 2 + 2z − 3 −7z 2 + |2z| + |−3| ≤ 723 ≤ z 3
≤
Luego por el Th de Rouche, el número de ceros en esta región son los mismo que tiene
f (z), que son 3.
2. Ceros en B(0, 1)
Tomamos g(z) = −7z 2 (porque es el término que “manda” en esta región):
triangular |z|=1
p(z) − g(z) = z 3 + 2z − 3 z + |2z| + |−3| ≤ 6 ≤ −7z 2
3
≤
Luego por el Th de Rouche, el número de ceros en esta región son los mismo que tiene
g(z), que es 2.
Conclusión: El número de ceros en la corona es 1.
Por tanto la diferencia entre polos y ceros de ambas funciones, p(z) y f (z) es la
misma. Como ninguna tiene ningún polo, tenemos que ambas tienen el mismo número
de ceros.
Es decir, la respuesta es: n
193 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
y está claro que si z0 está en el semiplano derecho, −z0 estará en el izquierdo y viceversa.
Por tanto, está claro que el polinomio va a tener dos raíces en cada semiplano.
A PARTADO B )
Aquí vamos a seguir el método de observar la variación total del argumento de f (z)
mientras z recorre la frontera de un dominio “suficientemente grande” y contenido en
el semiplano superior.
Dado que p(z) tiene un número finito de soluciones, habrá un R a partir del cual la
semicircunferencia superior encerrará todas las raíces de parte real positiva. Es decir,
existirá un R tal que γR encerrará todas las soluciones del semiplano superior.
Para ver cuántos ceros puede haber dentro del contorno γR empleamos el principio
del argumento y contamos el número de vueltas que da la curva imagen p(γr ) alrededor
del origen.
Para los puntos x ∈ IR la imagen del polinomio es p(x) = x4 − ix + 1, es decir,
tenemos la parte real siempre positiva y la parte imaginaria variando desde −R hasta
R. En ningún momento damos ninguna vuelta al origen.
Para los puntos z ∈ CR podemos escribir
4 i 1
p(z) = z 1 + 3 + 4
z z
194 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Pruebe que la ecuación z = λ − e−z , con λ ∈ R, λ > 1, tiene en z : Re(z) > 0 una
|z| = R
↓
|z − λ| ≥ |z| − |λ| = R − λ ≥ 1 para R graaande (R > λ + 1)
Luego f (z) − (z − λ) ≤ |z − λ| para |z| = R.
Si Re(z) = 0 (la parte del eje imaginario)
q
|z − λ| = |z|2 + λ2 ≥ λ > 1 ≥ f (z) − (z − λ)
Por tanto,
f (z) − (z − λ) < |z − λ| ∀z ∈ γ por el Th de Rouche
Rπ
Ejercicio 6.15: La función g viene dada por g(z) = 0 cos(z + t) dt, para z ∈ C.
Demuestre que g es entera.
Sugerencia: El teorema de Morera nos permite demostrar que funciones definidas
mediante ciertas integrales son también holomorfas, lo cual nos proporciona más ejemplos
aparte de las fórmula explícitas y series de potencias.
195 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Vale, yo aquí quería usar el teorema de Morera (IV.13) pero me ha salido sin querer
que g es obviamente entera sin usarlo. Por si acaso, voy a seguir. Simplemente vemos
que para Rcualquier rectángulo R ⊂ C, al ser simplemente conexo y g holomorfa en R,
entonces ∂R g(z) dz, que es la condición del teorema y por lo tanto g es holomorfa en
C, esto es, entera.
196 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
B.7. Hoja 7
Edu: No estoy seguro si esto llega a resolver el ejercicio o no, pero me da que no:
Toda aplicación holomorfa y biyectiva ϕ : D → D es de la forma:
z−a
ϕ(z) = eiα , para algún α ∈ R y a ∈ C, |a| < 1
1 − az
Lo comprobamos:
z − a z − azz z(1 − az) (1 − az)
|z| = 1 =⇒ |ϕ| = = = = =1
1 − az ↑ 1 − az 1 − az 1 − az
zz = |z|2 = 1
Por tanto, lleva ∂D en ∂D. Como ϕ(0) = −eiα a, y ϕ(0) = −eiα a = |a| < 1 =⇒ lleva
D en D.
Hecho por Edu. Se aceptan correcciones.
Sea f (z) = u + iv, u, v ∈ R.
3. u = v = 0, ie, f ≡ 0.
197 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Guille: El último caso no puede darse, ¿no? La única forma es que u, v no sean
analíticas (eso de alternarse no cuela, no hay un “punto siguiente” a uno dado). Es
decir, tienen ceros en puntos no aislados, y como f tiene que ser holomorfa, u, v tienen
que ser holomorfas igualmente (de esto no estoy seguro pero me parece razonable) y
por lo tanto una de las dos (o las dos) tienen que anularse en todo D.
A PARTADO A )
Hecho por Pedro. Se aceptan correcciones.
Si tenemos que las funciones son holomorfas en un Ω y continuas en el cierre, el
principio del módulo máximo nos dices que estas funciones alcanzan su valor máximo
en la frontera. Además, puesto que en la frontera estas funciones coinciden en ∂Ω,
tenemos que este máximo se alcanza en el mismo punto y es igual para ambas.
Sabemos que la frontera de un conjunto pertenece al conjunto. Así, lo que nos dice
el enunciado es que las dos funciones: |f | y |g| coinciden en una serie de puntos del
dominio que tienen un punto de acumulación en Ω. Por el teorema de continuación
única, esto nos indica que en todo el dominio estas dos funciones coinciden.
Si queremos que |f (z)| = |g(z)| ∀z ∈ Ω. Si alguna de las funciones se anulase,
podríamos tener problemas, al no ser así, la única forma de que dos complejos tengan
el mismo número es que uno sea un giro respecto al otro, es decir:
f (z) = c · g(z)
con |c| = 1
A PARTADO B )
Hecho por Pedro. Se aceptan correcciones.
Si las dos funciones tienen igual parte real en la frontera de Ω, está claro que
198 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Pero sabemos que b es un punto fijo y, por tanto f (b) = eiα b = b =⇒ eiα = 1,
cosa que sólo ocurre si α = 0. Por tanto, queda claro que la función f (z) tiene que ser la
función identidad.
17
Si es constante, cualquier z0 en la curva lo cumple
199 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
b)
1 − f (w)2
0
f (w) ≤ , ∀z ∈ D
1 − |w|2
A PARTADO A )
Se nos ocurre que tenemos que tenemos que construir una aplicación que fije el 0,
f ϕ
y como f no lo hace buscamos: D − → D − → D tal que ϕ(f (0)) = 0. Luego definimos
g = ϕ ◦ f : D 7−→ D holomorfa y tal que g(0) = 0:
Lema Schwarz f (z) − f (0)
(ϕ ◦ f )(z) = g(z) ≤ |z| =⇒
≤ |z| ⇐⇒
1 − f (0)f (z)
desig. triangular
f (z) − f (0) ≤ |z| 1 − f (0)f (z) ≤ |z| 1 + f (0)f (z)
A PARTADO B )
Misma idea. Muchas cuentas. Mucho que mirarme.
Ejercicio 7.6: Sea f función holomorfa en el disco unidad D, tal que Re(f (z)) > 0
para todo z ∈ D y además f (0) = 1. Usando una transformación de Möbius y el Lema de
Schwarz, pruebe:
a)
f (z) ≤ 1 + |z| para cada z ∈ D
1 − |z|
200 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
b)
f (z) ≥ 1 − |z| para cada z ∈ D
1 + |z|
A PARTADO A )
Vamos a emplear la aplicación conforme
1−z
T (z) =
1+z
que nos lleva del semiplano derecho al disco unidad de modo que g = T ◦ f cumple las
condiciones del lema de Schwarz.
Por tanto sabemos que |g(z)| ≤ |z| ∀z ∈ D, es decir,
1 − f (z)
1 + f (z) ≤ |z|
A PARTADO B )
Hecho por Pedro. Se aceptan correcciones.
|1 − f (z)|
|f (z)| + 1 ≥ |f (z) + 1| ≥
|z|
Trabajando ahora con los extremos tenemos:
1 − |z|
|f (z)||z| + |z| ≥ 1 − |f (z)| =⇒ |f (z)| ≥
1 + |z|
z−i
Ejercicio 7.7: Describa la imagen mediante la transformación f (z) = z+i de los
siguientes conjuntos:
a) R
b) z ∈ C : |z| < 2
c) D
d) {iy : y ∈ R}
201 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
A PARTADO B )
Vamos a estudiar a dónde nos manda la circunferencia de radio 2
Podemos ver que
2−i 22 − 1 − 2i2 3 − 4i
f (2) = = =
2+i 2
2 +1 5
2i − i 2−1 1
f (i2) = = =
2i + i 2+1 3
−22 + 1 + 2i2
2−i −3 + 4i
f (−2) = = =
2+i 2
2 +1 5
Estos puntos tienen diferentes módulos por lo que está claro que no nos dará como
imagen una circunferencia. Por tanto sólo queda que la imagen sea una recta:
1 3 4
z= +t −i t
2 5 5
A PARTADO C )
Estudiamos en esta ocasión la imagen de la circunferencia unidad por esta
aplicación:
1−i 12 − 1 − 2i
f (1) = = = −i
1+i 12 + 1
i−i 1−1
f (i) = = =0
i+i 1+1
−11 + 1 + 2i
−1 − i
f (−1) = = =i
−1 + i 11 + 1
Podemos ver que la imagen es una recta vertical, el eje imaginario recorrido de
abajo hacia arriba. Puesto que en la curva inicial dejábamos a la izquierda el interio, en
202 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
la curva imagen ocurre lo mismo, de modo que la imagen es el semiplano de parte real
negativa.
A PARTADO D )
Este es fácil. Tomamos tres puntos, como en el primer apartado y vemos su imagen
−i − i
f (−i) = −i + i = −∞
f (0) = −1
f (∞) = 1
Podemos ver que nos lleva al eje real recorrido en sentido habitual. Este caso es
posiblemente el más sencillo de todos pues podemos ver que, para cualquier valor αi
que tomemos, en la imagen por f se anularán las i con lo que obtendremos siempre un
valor puramente real.
Ejercicio 7.8: Halle una transformación de Möbius T tal que T (i) = −i, T (0) = 0,
T (−1) = ∞
203 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
(z − i)(−1 − 1) T (z) − b
=
(z − 1)(−1 − i) a−b
Luego:
2(z − i)
T (z) = b + (a − b)
(z − 1)(1 + i)
2i 3 + 2i
T (0) = b + (a − b) =
1+i k
Esto da un sistema con un grado de libertad (se saca operando e igualando parte
real e imaginaria de ambos lados). k = b = 1, a = 3 es solución del sistema. Si nos
fijamos, k = 1 y por tanto la dilatación que hemos encontrado consiste en dejar fija
T (z). De modo que la solución será nuestra T (enchufando los valores obtenidos):
z−i
T (z) = 1 + 4
(z − 1)(1 + i)
e) Ω1 = z ∈ C : Im(z) < π4 y Ω2 = D
f) Ω1 = D \ [0, 1) y Ω2 = D
A PARTADO A )
Hecho por Edu. Se aceptan correcciones.
√
Tenemos como región Ω1 la intersección de dos disquitos de radio 2 (uno de
centrado en -1, y el otro centrado en 1). Las intersecciones de√los bordes son ±i, luego
Ω1 tiene pinta de balón de rugby cuyos extremos son ∓1 ± 2 y ±i. Tomando como
orientación de giro la antihoraria, basta con construir la siguiente transformación:
−i → 0
√
−1 + 2 → 1
i→∞
204 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Luego
√
[z, −i, −1 + 2, i] = [T (z), 0, 1, ∞]
√
(z + 1 − 2)(−i − i) T (z) − 1
√ =
(−i + 1 − 2)(z − i) 0−1
√
(z + 1 − 2)2i
√ + 1 = T (z)
(−i + 1 − 2)(z − i)
Ahora tenemos que llevar el primer cuadrante a todo el hemisferio superior, cosa
que podemos conseguir gracias a la función z 2 . Ahora sólo tenemos que componer las
funciones dadas:
F (z) = T (z)2
A PARTADO B )
Solución de la tutoría.
Lo primero que vemos es que una transformación de Moebius no nos vale, porque
Ω1 tiene tres fronteras (tres rectas) y Ω2 tiene dos.
Tenemos entonces que “arreglarlo” primero con una exponencial. Para entenderlo
bien, vemos que ez nos lleva una recta x + di a un “radio”
Con la exponencial lo que hacemos es llevar la banda al medio disco (ver figura B.1),
de tal forma que le hemos quitado una de las fronteras y ya podemos hacer mejor la
transformación.
Una vez que tenemos medio disco, vamos a ir a llevarlo al primer cuadrante. Lo
hacemos llevando
−i 7→ 0
i 7→ ∞
1 7→ 1
205 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
di ez T log z
d
A PARTADO C )
Hecho en clase. Tutoría del Lunes
En este ejercicio nos piden llevar una banda vertical en un semiplano excepto una
circunferencia (puede verse cómodamente si pintamos las superficies descritas)
La forma de hacer esto lo más intuitivo posible es ir desde el conjunto de llegada
al inicial y despues calcular la inversa de la transformación. En esta ocasión todo el
cambio puede realizarse mediante una única transformación.
Vamos a llevarnos la circunferencia en una de las rectas que delimitan la banda
vertical y el eje imaginario en el otro de los límites de la banda.
Primer problema que vemos, la curva y la recta se intersecan, pero las rectas que
delimitan la banda no se intersecan... oh wait... dos rectas paralelas intersecan en el
infinito.
Por tanto, la transformación que nos lleva Ω1 en Ω2 es:
∞→0
−1 → ∞
1→1
En este caso estamos forzando (por gusto de Mavi) que el eje real siga siendo el eje
real obteniendo
2
T (z) =
z+1
A PARTADO D )
Hecho por Dani Ruiz
En este caso Ω1 es el disco unidad quitándole el trozo correspondiente al disco de
radio 12 centrado en 12 . Por otra parte Ω2 es la banda vertical entre -1 y 1. Transformamos
la circunferencia de radio 1 en la recta x = −1, y la circunferencia centrada en 12 y de
radio 21 , en la recta x = 1 (todo ello teniendo cuidado con la orientación):
1→∞
0→1
−1 → −1
206 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Luego:
A PARTADO E )
Hecho por Jorge. Se aceptan correcciones.
0 → −1
1→i
∞→1
De este modo la imagen de T3 (z) será el disco recorrido en el sentido de las agujas del
reloj. Para obtener T3 (z) se hace:
T (z) = T3 (e2z )
A PARTADO F )
207 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
∞→h
1
→ −1
2
1
1+ →1
2
Ejercicio 7.12:
Sabiendo que toda aplicación holomorfa biyectiva de D en D es de la forma
a−z
f (z) = λ |a| < 1, |λ| = 1
1 − az
describa todas las aplicaciones holomorfas biyectivas de H en H.
(z − 1)(i + 1)
ϕa (z) = [z, i, 1, −1] =
(z + 1)(i − 1)
Ejercicio 7.13: Sea el poderoso Thor el amo y señor de la galaxia. Calcule la masa del
sol sabiendo que su martillo pesa ∞ para los mortales pero para él solo 2 kg.
Hint: Thor es Vikingo.
208 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Índice alfabético
Área analítica, 3, 31
de una superficie, 167 armónica, 18
Índice entera, 15
de un punto con respecto a un camino exponencial, 34
cerrado, 56 holomorfa, 3, 15
meromorfa, 75
Aplicación periódica, 37
conforme, 88
Integral, 46
Camino, 47 de línea, 48
circunferencias en Ĉ, 90 de línea respecto a la longitud de arco,
Conjugado, 7 48
Continuidad, 13 de Riemann-Stieldjes, 48
converge, 23
Convergencia, 13 Laplaciano, 18
absoluta, 24 Lema de Schwarz, 67
puntual, 24 Longitud
uniforme, 24 de una curva, 47
Criterio
M de Weierstrass, 24 Módulo, 7
Curva
Número
cerrada, 47
complejo, 5
de Jordan, 47
Notación:
rectificable, 48 ¯ 19
∂,
simple, 47
∂, 19
Desigualdad Triangular, 9
orden del polo, 74
Diferenciable
Orientación, 91
a trozos, 47
diverge, 23 Parte
diverge a ∞, 23 imaginaria (Im(z)), 7
Dominio real (Re(z)), 7
simplemente conexo, 62 Plano
dominios conformemente equivalentes, 89 complejo extendido, 11
polo, 74
Ecuaciones
Potencia
de Cauchy-Riemann, 17
z de a, 45
Fórmula de Principio
Green, 167 de los ceros aislados, 32
fórmula de Euler, 36 débil del máximo, 67
Fórmula integral de Cauchy en el disco, 57 del argumento, 78
Función del módulo máximo, 66
209 de 210
Variable Compleja - 14/15 C2 - UAM Pedro Valero Mejía
Radio
de convergencia, 26
Rama
de log(z), 44
de z b , 45
de una función, 41
de una raíz, 40
del log(f (z)), 44
del argumento, 41
principal, 41
Razón doble, 90
Representación
polar, 8
Residuos, 76
Serie, 23
centrada, 25
de Laurent, 70
Singularidad
aislada, 74
esencial, 74
evitable, 60, 74
Sucesión
de Cauchy, 23
Superficie
de Riemann, 39
Teorema
de Cauchy, 51, 62
de Cauchy en el disco, 55
de Cauchy-Goursat, 51
de continuación única, 65
de Green, 51
de la aplicación abierta, 69
de la función inversa, 22
de Liouville, 65
de Liouville (General), 65
de los residuos, 77
de Morera, 62
de Riemann, 89
de Rouché, 79
210 de 210