Matematicas Especiales

MATEMÁTICAS ESPECIALES
-NOTAS DE CLASE-
Jhon Jairo León Salazar y Victor Barros Argote1
6 de febrero de 2008
1
Profesores del Departamento de Matemáticas U.T.P
2 Matemáticas Especiales
J. J. León - V. Barros
ÍNDICE GENERAL
1. NUMEROS COMPLEJOS 1
1.1. Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2. Algunas Generalidades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.3. La Unidad Imaginaria y el Imaginario Puro . . . . . . . . . . . . . . . . . . . . . . . . 3
1.4. Operaciones con números complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.5. El conjugado de un número complejo . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.6. Forma Polar de los Números Complejos . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.7. Los complejos y algunas propiedades generales . . . . . . . . . . . . . . . . . . . . . . 6
1.8. Desigualdad triángular . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.9. Teorema de Moivre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.10. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2. FUNCIONES ANALITICAS COMPLEJAS 13
i
ii Matemáticas Especiales
2.1. Funciones Analı́ticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.1.1. Funciones de una variable compleja . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.1.2. Operaciones entre funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.2. Lı́mites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.3. Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.4. La Derivada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.5. Ecuaciones de Cauchy-Riemman . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.6. Funciones Analı́ticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.7. Transformaciones Conformes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.7.1. Representación conforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.8. Función Exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
2.9. Función Logarı́tmica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
2.10. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
2.11. Ejercicios de repaso para los capı́tulos 1 y 2 . . . . . . . . . . . . . . . . . . . . . . . . 50
CAPÍTULO
NUMEROS COMPLEJOS
z=x+yi
1
1.1. Introducción
En ocasiones nos encontramos con expresiones algebraicas tales como
x2 + k = 0,
donde k > 0 es una constante; y al tratar de resolverla nos damos cuenta que no tienen
solución en los números reales, pues debido a que no existe un número cuyo cuadrado
sea negativo. Es a partir de ahı́ que se hace una extensión de los números reales en
donde podamos encontrar soluciones a este tipo de ecuaciones. A tal extensión se le
denomina Conjunto de los Números Complejos los cuales estudiaremos en esta primera
parte del curso. Los números complejos se denotan con el sı́mbolo C.
1.2. Algunas Generalidades
Los números complejos se presentan como pares de números reales sujetos a reglas de
operaciones aritméticas. Estos números se suelen escribir en la forma z = x + yi, donde
x y y son números reales y el sı́mbolo i se llama cantidad imaginaria de z. El número x
recibe el nombre de parte real de z y el número y recibe el nombre de parte imaginaria
de z y se denota como
Re(z) = x, Im(z) = y.
Existe el plano complejo compuesto por un par de ejes perpendiculares igual que en
el caso del plano cartesiano. Al eje vertical se le denomina Eje Imaginario y al eje
horizontal se le denomina Eje Real. Por tal razón al número complejo z se le puede
ubicar como un punto en el plano, es decir, podemos hacer que el complejo z = x + yi
corresponda con el punto en coordenadas cartesianas (x, y) 1 .
1 CARL FRIEDRICH GAUSS (1777-1855), gran matemático alemán, cuyo trabajo tuvo una importancia básica en el
álgebra, la teorı́a de los números, las ecuaciones diferenciales, la geometrı́a no euclidiana, el análisis complejo, el análisis
numérico y la mecánica teórica. También abrió el camino para un uso general y sistemático de los números complejos.
Tomado del libro de Kreyszig, pág 159, tercera edición.
1.3. LA UNIDAD IMAGINARIA Y EL IMAGINARIO PURO 3
El plano complejo también es llamado Diagrama de Argan2 .
Se dice que dos números complejos son iguales si sus respectivas partes real e imaginaria
son iguales, es decir, z1 = z2 , sı́ y sólo sı́, x1 = x2 y y1 = y2 .
1.3. La Unidad Imaginaria y el Imaginario Puro
Los números complejos surgen de añadir a el conjunto de los números reales el sı́mbo-
√
lo −1. Esta notación puede producir dificultades. Existe una conocida paradoja al
√ √
operar sin precaución con −1, y es la siguiente: ( −1)2 = −1 y, por otra parte
√ √ √ p √
( −1)2 = ( −1)( −1) = (−1)(−1) = 1 = 1
√
Se evita este tipo de inconvenientes escribiendo −1 = i y se denomina unidad imag-
inaria. Al definir a i como 0 + 1i, se tiene3
i2 = (0 + 1i)(0 + 1i) = −1
y, por lo tanto,
i2 = −1, i3 = −i, i4 = 1,
1 i 1
i5 = i, = 2 = −i, = −1, · · ·
i i i2
El número complejo 0 + yi se escribe yi y se llama número imaginario puro.
1.4. Operaciones con números complejos
Sean z1 = x1 + y1 i y z2 = x2 + y2 i dos números complejos, entonces:

2 JEAN ROBERT ARGAND (1768-1822), matemático francés. Su escrito sobre el plano complejo apareció en 1806,
nueve años después de una memoria semejante debida al matemático noruego CASPAR WESSEL (1745-1818). Tomado
del libro de Kreyszig, pág 633, tercera edición.
3 Esta notación fue introducida por Leonard Euler en 1779. Con ella se respeta la propiedad fundamental i2 = −1, y
en cambio hay poco peligro de confundir i con −i.
Adición:
z1 + z2 = (x1 + x2 ) + (y1 + y2 )i
Sustracción:
z1 − z2 = (x1 − x2 ) + (y1 − y2 )i
Multiplicación:
z1 z2 = (x1 x2 − y1 y2 ) + (x1 y2 + x2 y1 )i
División:
z1 x1 x2 + y1 y2 x2 y1 − x1 y2
= + i
z2 x22 + y22 x22 + y22
1.5. El conjugado de un número complejo
Si z = x + yi es un número complejo, entonces el número x − yi se llama conjugado

de z y se denota por z̄. Por ejemplo, si z = 5 − 3i, entonces su conjugado es el número
z̄ = 5 + 3i.
EJERCICIO 1. Demuestre que

1 1
Re(z) = x = (z + z̄), Im(z) = y = (z − z̄).
2 2i
EJERCICIO 2. Demuestre que:
(z1 + z2 ) = z̄1 + z̄2
(z1 − z2 ) = z̄1 − z̄2
(z1 z2 ) = z̄1 z̄2

z1 z̄1
=
z2 z̄2
1.6. FORMA POLAR DE LOS NÚMEROS COMPLEJOS 5
1.6. Forma Polar de los Números Complejos
Dada la similitud entre el plano real y el plano complejo podemos introducir las coor-
denadas polares r y θ y escribir
x = r cos θ, y = r sen θ,
por lo tanto el número complejo z se puede escribir en su forma polar ası́:
z = r cos θ + ir sen θ = r(cos θ + i sen θ).
A este tipo de expresión de un número complejo también se le llama forma trigonométri-

ca. Al valor r se le llama valor absoluto o módulo de z y se denota por |z|. Por con-
siguiente tenemos
p √
|z| = r = x2 + y 2 = z z̄. (1.1)
EJERCICIO 3. Demostrar la expresión 1.1.
El ángulo dirigido, medido desde el eje real (eje x) hasta la lı́nea que une al punto
(x, y) con el origen, se le llama argumento de z y se denota por arg (z). Es ası́ como
tenemos (ver figura 1.1):
y
arg (z) = θ = arctan
x
Como puede analizarse el valor del argumento de un número complejo puede ser un
ángulo θ o cualquier otro valor θ + 2nπ, con n = 1, 2, 3, .... Al valor de θ que cumple
−π < θ ≤ π
4
se le denomina el valor principal del argumento de z.
EJEMPLO 1. Sea z = 8 + 3i. Entonces tenemos que

√ √

3
|z| = r = 32 + 82 = 73 y arg (z) = arctan = 0,3587
8
4 Algunos autores definen el valor principal del argumento de z en el intervalo 0 < θ ≤ 2π, o en cualquier otro
intervalo de longitud 2π.
z=x+yi
0
Plano Z
Figura 1.1: Módulo y argumento de un número complejo z.
por lo tanto el número complejo dado se puede escribir en su forma trigonométrica o

polar ası́:
√
z= 73 (cos 0,3587 + i sen 0,3587) .
1.7. Los complejos y algunas propiedades generales
Finalmente veamos los siguientes teoremas que muestran a los números complejos como
una extensión de los números reales. La suma y la multiplicación en C satisfacen las
propiedades mostradas en los reales.
TEOREMA 1 (Ley asociativa). Sean z1 , z2 y z3 números complejos, entonces:
1. z1 + (z2 + z3 ) = (z1 + z2 ) + z3
2. z1 · (z2 · z3 ) = (z1 · z2 ) · z3 .
TEOREMA 2 (Elemento neutro). Sea z un números complejo, entonces:
1. Existe un complejo z0 tal que z + z0 = z0 + z = z
1.7. LOS COMPLEJOS Y ALGUNAS PROPIEDADES GENERALES 7
2. Existe un complejo z 0 tal que zz 0 = z 0 z = z
TEOREMA 3 (Elemento simétrico). Sea z un números complejo, entonces:
1. Para todo complejo z, existe un complejo ẑ tal que z + ẑ = ẑ + z = z0
2. Para todo complejo z 6= 0, existe un complejo z −1 tal que z · z −1 = z −1 · z = z 0
TEOREMA 4 (ley conmutativa). Sean z1 y z2 números complejos, entonces:
1. z1 + z2 = z2 + z1
2. z1 · z2 = z2 · z1
TEOREMA 5 (ley distributiva). Sean z1 , z2 y z3 números complejos, entonces:
1. z1 · (z2 + z3 ) = z1 · z2 + z1 · z3
TEOREMA 6 (Multiplicación por escalar). Sean z1 y z2 números complejos y,

a y b números reales, entonces:
1. a · (z1 + z2 ) = a · z1 + a · z2
2. a · (b · z1 ) = (a · b) · z1
3. (a + b)z1 = a · z1 + b · z1
4. 1 · z1 = z1
TEOREMA 7. Sean z, z1 y z2 números complejos, entonces:
1. |z| ≥ 0, |z| = 0 ⇐⇒ z = 0
2. |z| = |−z|
3. |z1 · z2 | = |z1 | · |z2 |

z1 |z1 |
4. =
z2 |z2 |
5. |Re(z)| ≤ |z|
6. |Im(z)| ≤ |z|
TEOREMA 8. Sean z, z1 y z2 números complejos, entonces:
1. z1 + z2 = z1 + z2
2. z1 · z2 = z1 · z2

z1 z1
3. =
z2 z2
4. z · z̄ = |z|2 = x2 + y 2
5. z + z̄ = 2x
6. z − z̄ = 2yi
7. |z̄| = |z|
8. z̄¯ = z
1.8. Desigualdad triángular
Veremos un teorema ya conocido en el cálculo vectorial y que aquı́ se demostrará en

el contexto de los números complejos. La interpretación geométrica es muy similar al
caso real.
TEOREMA 9. Sean z1 y z2 números complejos, entonces:
|z1 + z2 | ≤ |z1 | + |z2 |
1.8. DESIGUALDAD TRIÁNGULAR 9
Demostración:
|z1 + z2 |2 = (z1 + z2 )(z1 + z2 ) por teorema 8.4

= (z1 + z2 )(z1 + z2 ) por teorema 8.1
= z1 z1 + z2 z2 + z1 z2 + z2 z1 por ley distributiva
= |z1 |2 + |z2 |2 + z1 z2 + z2 z1 por teorema 8.4
Dado que z2 z1 es el conjugado de z1 z2 , entonces z1 z2 + z2 z1 = 2Re(z1 z2 ), y por lo tanto
|z1 + z2 |2 = |z1 |2 + |z2 |2 + 2Re(z1 z2 ) (1.2)

(|z1 | + |z2 |)2 = |z1 |2 + |z2 |2 + 2 |z1 | |z2 | . (1.3)
Restando miembro a miembro 1.2 y 1.3 tenemos:
|z1 + z2 |2 − (|z1 | + |z2 |)2 = −2[|z1 | |z2 | − Re(z1 z2 )]
Ahora como |z̄| = |z| y |z| ≥ |Re(z)| ≥ Re(z), entonces
|z1 | |z2 | = |z1 z2 | ≥ Re(z1 z2 ),
luego
|z1 | |z2 | − Re (z1 z2 ) ≥ 0,
y por lo tanto
|z1 + z2 |2 − (|z1 | + |z2 |)2 ≤ 0,
de donde
|z1 + z2 | ≤ |z1 | + |z2 |
La forma general de la desigualdad triángular es:

Xn X n
z ≤ |zk | , n = 2, 3, 4, ...

k

k=1 k=1
EJEMPLO 2. Identificar todos los puntos del plano complejo que satisfacen la expre-
sión |z − 4| < |4z + 8|.
Solución:
|z − 4| < |4z + 8|
|z − 4| < 4 |z + 2|
|x + yi − 4| < 4 |x + yi + 2|
p p
(x − 4)2 + y 2 < 4 (x + 2)2 + y 2
(x − 4)2 + y 2 < 16[(x + 2)2 + y 2 ]
x2 − 8x + 16 + y 2 < 16x2 + 64x + 64 + 16y 2
−15x2 − 72x − 15y 2 < 48
72 48
x2 + x + y 2 > −
15 15
2
24 64
x+ + y2 >
10 25
La región que hemos identificado y por tanto el conjunto solución, consiste en todos los
puntos exteriores a la circunferencia de radio 8/5 y centro en el punto (24/10, 0). z
1.9. Teorema de Moivre
Supongamos que queremos efectuar la operación (3 − 11i)300 . Con lo visto hasta ahora
los cálculos serı́an muy extensos; por tal motivo es necesario conseguir una herramienta
que nos permita agilizar el proceso. Esta herramienta se llama el Teorema de Moivre,
veamos:
TEOREMA 10. Sea z = r(cos θ + i sen θ) un complejo cualquiera y n un entero.

Entonces:
z n = [r(cos θ + i sen θ)]n = rn (cos nθ + i sen nθ)
1.9. TEOREMA DE MOIVRE 11
Este teorema se utiliza para determinar las raı́ces de números complejos. Por ejemplo
si n es un entero positivo,
z 1/n = [r(cos θ + i sen θ)]1/n (1.4)

√

θ + 2kπ θ + 2kπ
= n r cos + i sen (1.5)
n n
EJEMPLO 3. Resolver la ecuación z n = 1
√
n
Solución: El problema es resolver la ecuación z = 1. Por lo tanto la solución es
√

n 2kπ 2kπ
z = 1 = cos + i sen , k = 0, 1, 2, ..., n − 1
n n
√
n
Si w denota el valor correspondiente a k = 1, entonces los n valores de 1 pueden
2 3 4 n−1
escribirse como 1, w, w , w , w , ..., w . Estos valores son los vértices de un polı́gono
regular de n lados inscrito en la circunferencia unitaria con centro en (0, 0), con uno
de sus vértices en el punto (1, 0). Cada uno de estos valores se denomina raı́z n-ésima
de la unidad 5 . z
EJEMPLO 4. Encontrar las raı́ces cuartas del complejo z = 1.
Solución: Dado que el ángulo es θ = 0 y el módulo es r = 1, entonces z se puede

escribir en su forma polar
z = 1(cos 0 + i sen 0).
Es ası́ como utilizando (1.5) las raı́ces cuartas quedan determinadas por
√

4 0 + 2kπ 0 + 2kπ
wk = 1 cos + i sen
4 4
si k = 0 → w0 = 1(cos 0 + i sen 0) = 1
π π
si k = 1 → w1 = 1(cos + i sen ) = i
2 2
si k = 2 → w2 = 1(cos π + i sen π) = −1
3π 3π
si k = 3 → w3 = 1(cos + i sen ) = −i
2 2
5 Tomado del libro: Matemáticas Avanzadas para Ingenierı́a, de Erwin Kreyszig, Volumen II, Tercera Edición
Estos cuatro valores son los vértices de un cuadrado que esta inscrito en la circunferen-
cia unitaria con centro en el origen. Cada uno de estos valores se denomina raı́z cuarta
de la unidad. z
1.10. Ejercicios
z1 r1
1. Realice las operaciones indicadas ii. = [cos(θ − β) + i sen(θ − β)]
z2 r2
a) (2 + 3i) − (−5 + 2i) + 6 8. Demostrar utilizando inducción matemática el
4
3i teorema de Moivre.
b)
2−i
2. Dados z1 = 1 + 4i y z2 = −6 + 7i, representar 9. Resolver la operación (3 − 11i)300 .
√
gráficamente los complejos (−1 − 3i)8 (1 − i)6
10. Calcular
(1 + i)5
a) z1 + z2 11. Demuestre que:
b) z1 · z2
a) cos(4θ) =
z1
c) cos4 θ − 6 cos2 θ sen2 θ + sen4 θ
z2
3. Identificar todos los puntos del plano que satis- b) sen(4θ) =
facen la relación 4 cos3 θ sen θ − 4 cos θ sen3 θ
a) z 2 = 2(z − 1)
12. Encontrar los valores de las raı́ces indicadas
b) |z + 2| ≤ 2 |z + 1| √
4
a) i
c) |z + 1| ≤ 4 − |z − 1|
√
7
b) 3 + 4i
4. Demostrar los teoremas 7 y 8.
√
c) 1+i
5. Probar que (1 + z)2 = 1 + 2z + z 2
√
5
d) −i
6. Expresar cada uno de los siguientes complejos
p
3 √
en su forma polar e) 1 − 3i
a) z=i 13. Resolver las siguientes ecuaciones

b) z = −i
a) z3 = 1
c) z = −3
b) z5 − 1 = 0
7. Demostrar que si z1 = r1 (cos θ + i sen θ) y
c) z4 + 1 = 0
z2 = r2 (cos β + i sen β), entonces:
d) z 2 − 3z − 10i = 0
i. z1 z2 =
r1 r2 [cos(θ + β) + i sen(θ + β)] e) 5z 2 + 2iz + 5 = 0
CAPÍTULO
FUNCIONES ANALITICAS
COMPLEJAS
13
2.1. Funciones Analı́ticas
2.1.1. Funciones de una variable compleja
En los cursos de cálculo hemos estudiado el concepto de función de una y de dos

variables reales. El objetivo de ésta sección es extender el concepto de funciones a las
variables complejas.
Sea Ω un subconjunto de los números complejos. Una variable que toma sus valores en
Ω se llama una variable compleja.
Una función f de Ω en C, se llama una función de una variable compleja. La función f

asocia a cada número complejo z de Ω un único complejo ω, es decir, ω es una función
de z y podemos escribir
ω = f (z)
El conjunto Ω es el dominio de definición de la función y el recorrido es un subconjunto

de C formado por los elementos que estan asociados por f con los elementos de Ω. La
variable z es la variable independiente y la variable ω es la variable dependiente.
Una relación que asigne más de un valor de C a un elemento de z de Ω se suele llamar

función de valores múltiples de Ω.
La función f se puede escribir de la forma
f (z) = u(x, y) + iv(x, y) (2.1)
donde u(x, y) = Re(f (z)) y v(x, y) = Im(f (z)). Las funciones u y v son funciones
reales de las variables reales x y y.
EJEMPLO 5. Dada la función f (z) = z 2
1. Calcular la imagen de los complejos i, i + 1, −5 y 3.

2. Hallar las funciones u(x, y) y v(x, y).
Solución: 1. f (i) = i2 = −1, f (i + 1) = (i + 1)2 = 2i, f (−5) = 25, f (3) = 9.
2.1. FUNCIONES ANALÍTICAS 15
2. f (z) = z 2 = (x + yi)2 = x2 − y 2 + 2xyi y por lo tanto:
u(x, y) = x2 − y 2 , v(x, y) = 2xy
En el estudio del cálculo también hemos visto que para trazar la gráfica de una función
de una variable real necesitamos dos dimensiones, una para la variable independiente y
otra para la variable dependiente. La gráfica de una función de una variable compleja
requiere cuatro dimensiones, dos para la variable independiente z y dos para la variable
dependiente ω. Es ası́ como representamos estas dos variables en planos separados
llamados plano Z y plano W respectivamente.
La correspondencia entre los puntos (x, y) y (u, v) se llama una transformación de los
puntos (x, y) en los puntos (u, v) bajo la función f . Si z se mueve a lo largo de una
curva suave1 C1 en el plano Z y f es continua, el punto ω se moverá a lo largo de una
curva C2 en el plano W . La curva C2 se llama la imagen de la curva C1 mediante la
transformación ω = f (z).
EJEMPLO 6. Hallar la imagen de los siguientes conjuntos mediante la transforma-

ción ω = f (z) = z 2 .
1. Las rectas x = k, donde k es constante.
2. La franja 1 ≤ x ≤ 2.
3. El cuadrado cuyos vértices son (1, 1), (1, 2), (2, 1), (2, 2).
4. La recta y = x + 4.
5. Las curvas de nivel u = k y v = k, donde k es constante.
6. Cı́rculos con centro en el origen.

1 La curva C se denomina curva suave si su derivada es continua y diferente de cero en cada punto. Geométricamente,
lo anterior significa que C tiene una tangente continua en cada uno de sus puntos.
Solución: Dado que ω = f (z) = z 2 = (x + yi)2 = x2 − y 2 + 2xyi, entonces u(x, y) =

x2 − y 2 y v(x, y) = 2xy. Por lo tanto:
1. Si x = k entonces
v v2
y= → u = k2 − .
2k 4k 2
v2
La ecuación u = k 2 − es una familia de parábolas en el plano W . Cada recta
4k 2
x = k se transforma en una parábola, excepto la recta x = 0 que se transforma
en el semi-eje real negativo del plano W . ¿Por qué? Tanto la recta x = 1 como la
v2
recta x = −1 son transformadas en la misma parábola u = 1 − .
4
2. Es consecuencia de la parte 1. La franja 1 ≤ x ≤ 2 tiene como imagen la franja
v2 v2
comprendida entre las parábolas u = 1 − y u=4− .
4 16
3. También directamente de 1., podemos concluir que el cuadrado cuyos vértices son
(1, 1), (1, 2), (2, 1), (2, 2) es la parte superior de la región cerrada por las cuatro
parábolas
v2 v2 v2 v2
u=1− , u=4− , u= − 1, u= −4
4 16 4 16
v v
4. y = ⇒x+4= ⇒ 2x2 + 8x − v = 0, y resolviendo para x tenemos:
2x 2x
√
−8 ± 64 + 8v
x= ,
4
entonces
u2
u = x2 + y 2 ⇒ u2 = 32(8 + v) ⇒ v = − 8.
32
u2
Por lo tanto, la imagen de la recta y = x + 4 es la parábola v = − 8.
32
5. La parte real de f (z) es u = x2 − y 2 , luego u = k ⇒ x2 − y 2 = k, que son
hipérbolas. La parte imaginaria es v = 2xy, luego v = k ⇒ 2xy = k, que también
son hipérbolas. Es decir, a las hipérbolas x2 − y 2 = k del plano Z le corresponden
las rectas horizontales v = k del plano W .
6. Usando la forma polar y el teorema de Moivre
z = r(cos θ + i sen θ) ⇒ z 2 = r2 (cos 2θ + i sen 2θ).
El cı́rculo |z| = r es aplicado en el cı́rculo |ω| = r2 . Cada z es aplicado en un ω

que posee un radio que es igual al cuadrado de z y un argumento que es el doble
del argumento de z, es decir, arg (ω) = 2arg(z). De ésta manera un semi-cı́rculo
superior del plano Z es transformado en todo un cı́rculo del plano W . En general
la función ω = z 2 aplica el semi-plano superior del plano Z en todo el plano W .
Una región del plano Z cuya imagen mediante una función f (z) cubre el plano W
una sola vez, se llama una región fundamental de dicha función. Por ejemplo, el
semi-plano superior del plano Z es una región fundamental de la función ω = z 2 .
Naturalmente el semi-plano inferior también es una región fundamental de esa
función.
EJERCICIO 4. Hallar la imagen de los siguientes conjuntos mediante la transfor-

mación del ejemplo anterior
1. Las rectas y = k, donde k es constante.

2. La franja 3 ≤ x ≤ 7.
3. La recta y = 3x + 1.
EJERCICIO 5. Defina el concepto de región fundamental.
2.1.2. Operaciones entre funciones
Las operaciones algebraicas sobre el conjunto de las funciones de una variable compleja
se definen de idéntica manera que en el cálculo de variable real. Veamos:
Si f y g son funciones de variable compleja, entonces:
i. Suma: (f + g)(z) = f (z) + g(z).

ii. Producto: (f · g)(z) = f (z) · g(z).

f f (z)
iii. Cociente: (z) = , con g(z) 6= 0.
g g(z)
iv. Compuesta: (f ◦ g)(z) = f [g(z)].
2.2. Lı́mites
Definamos ante todo algunos conceptos topológicos básicos.
Entorno o Vecindad: Un entorno o vecindad de un punto z0 del plano complejo, es

un disco |z − z0 | < δ de centro z0 y radio positivo δ. Una vecindad de centro z0 y
radio δ se denota por Vδ (z0 ).
Punto interior: Sea A un conjunto del plano complejo. Un punto z0 es un punto
interior de A, si existe une vecindad de z0 contenida en A.
Punto frontera: Un punto z0 es un punto frontera de un conjunto A si toda vecindad
con centro en z0 contiene a lo menos un punto de A y a lo menos un punto que
no pertenece a A.
Conjunto abierto: Sea A un conjunto del plano complejo. A es abierto si todos sus
puntos son interiores.
Conjunto conexo: Un conjunto abierto A es conexo, si dos puntos cualesquiera de A
se pueden unir mediante una curva contenida enteramente en A.
También necesitaremos más adelante los siguientes conceptos, por tal razón los defini-
mos ahora.
Trayectoria simple cerrada: Es una trayectoria cerrada sin intersecciones y que no

se toca a sı́ misma. Por ejemplo una circunferencia es simple, pero una curva en
forma de ocho no lo es.
Dominio simplemente conexo: Se dice que D es un dominio simplemente conexo si
es un dominio tal que toda trayectoria simple cerrada en D contiene sólo puntos de
D. Un dominio que no es simplemente conexo se denomina múltiplemente conexo.
Ahora veamos la definición de lı́mite de una función compleja. Tengase en cuenta que
el concepto de valor absoluto es diferente que en la definición de lı́mite de una función
2.2. LÍMITES 19
de variable real.
DEFINICION 1. Sea f definida en todos los puntos z de una vecindad de z0 , excepto

posiblemente en z = z0 . Decimos que el lı́mite de f (z) cuando z tiende a z0 es igual a
ω0 . Esto se escribe
lı́m f (z) = ω0 ,
z→z0
si para todo > 0, existe una δ > 0 tal que
0 < |z − z0 | < δ ⇒ |f (z) − ω0 | < .
Esta definición afirma que para que el lı́mite de f (z) exista y sea igual a ω0 se requiere
que para cualquier > 0, exista δ > 0 tal que todo z que se encuentre en la vecindad
Vδ (z0 ) tenga como imagen un punto ω que esté en la vecindad V (ω0 ). El valor de δ
depende del escogido.
Aparentemente la definición de lı́mite de una función de variable compleja, es idéntica

a la definición de lı́mite de una función de variable real. Pero cuando afirmamos que z
tiende a z0 , significa que z se acerca a z0 y que lo puede hacer por cualquier trayectoria
continua que pase por z0 , mientras que en variable real sólo existen dos posibilidades
de acercamiento (izquierda y derecha).
EJEMPLO 7. Demostrar que

z2 + 4
lı́m = 4i
z→2i z − 2i
z2 + 4
Solución: La función f (z) = = 4i está definida en todo el plano, excepto en el
z − 2i
punto z = 2i (según la definición de lı́mite no es necesario que la función exista en un
punto para que el lı́mite de la función exista en ese punto). Para z 6= 2i tenemos:
2
z + 4
|f (z) − 4i| = − 4i = |z − 2i| < .
z − 2i
Siempre que |z − 2i| < δ entonces δ = . Por lo tanto,
|z − 2i| < δ ⇒ |f (z) − 4i| < ,
es decir que
z2 + 4
lı́m = 4i
z→2i z − 2i
TEOREMA 11. Si el lı́mite de una función de variable compleja existe, éste es único.
Demostración: Supongamos que lı́mz→z0 f (z) = ω0 y lı́mz→z0 f (z) = ω1 y que ω0 6= ω1 .

Entonces existe dado > 0 existe δ0 y δ1 mayores que cero tal que

|z − z0 | < δ0 ⇒ |f (z) − ω0 | <
2
y

|z − z0 | < δ1 ⇒ |f (z) − ω1 | < .
2
Entonces para δ = min(δ0 , δ1 ) obtenemos
|ω0 − ω1 | = |(f (z) − ω0 ) − (f (z) − ω1 )|

≤ |f (z) − ω0 | − |f (z) − ω1 |
<
siempre que |z − z0 | < δ. Haciendo = |ω0 − ω1 | entonces |ω0 − ω1 | < |ω0 − ω1 | lo que
es contradictorio a lo supuesto. z
TEOREMA 12. Sea ω = f (z) = u(x, y) + iv(x, y) definida en una región Ω excepto
posiblemente en z0 ∈ Ω. Sea z = x + yi, z0 = x0 + y0 i y ω0 = u0 + v0 i. Entonces
lı́mz→z0 f (z) = ω0 = u0 + v0 i, sı́ y sólo sı́
lı́m u(x, y) = u0 y lı́m v(x, y) = v0

(x,y)→(x0 ,y0 ) (x,y)→(x0 ,y0 )
Demostración: (⇒)
Supongamos que
lı́m u(x, y) = u0 y lı́m v(x, y) = v0 .

(x,y)→(x0 ,y0 ) (x,y)→(x0 ,y0 )
2.2. LÍMITES 21
Entonces para todo > 0, existe δ1 > 0 y δ2 > 0 tal que

p
0 < (x − x0 )2 + (y − y0 )2 < δ1 ⇒ |u(x, y) − u0 | <
2
y
p
0< (x − x0 )2 + (y − y0 )2 < δ2 ⇒ |v(x, y) − v0 | < .
2
Si δ = min(δ1 , δ2 ), entonces
p
0 < (x − x0 )2 + (y − y0 )2 < δ ⇒ |u(x, y) − u0 + i(v(x, y) − v0 )|
≤ |u(x, y) − u0 | + i |(v(x, y) − v0 )| < .

Por lo tanto
lı́m f (z) = ω0 .
z→z0
(⇐)
Supongamos que
lı́m f (z) = ω0 .
z→z0
Entonces para todo > 0, existe δ > 0, tal que
|x − x0 + i(y − y0 )| < δ ⇒ |u(x, y) − u0 + i(v(x, y) − v0 )| <
como
|u(x, y) − u0 | ≤ |u(x, y) − u0 + i(v(x, y) − v0 )|
y
|v(x, y) − v0 | ≤ |u(x, y) − u0 + i(v(x, y) − v0 )|
tenemos que
|u(x, y) − u0 | < y |v(x, y) − v0 | <
siempre que
p
0< (x − x0 )2 + (y − y0 )2 < δ
entonces
lı́m u(x, y) = u0 y lı́m v(x, y) = v0 .
(x,y)→(x0 ,y0 ) (x,y)→(x0 ,y0 )
z
EJEMPLO 8. Calcular
lı́m (3z + 5i)
z→2i
Solución: f (z) = 3z + 5i = 3x + (3y + 5)i. Entonces
lı́m 3x = 0 y lı́m (3y + 5) = 11.

(x,y)→(0,2) (x,y)→(0,2)
De donde
lı́m (3z + 5i) = 0 + 11i = 11i.
z→2i
Tal como en el cálculo de variable real, en el cálculo de variable compleja se tienen las
siguientes propiedades, resumidas en el siguiente teorema:
TEOREMA 13. Sean f y g funciones de variable compleja y sea k una constante

compleja. Si
lı́m f (z) = ω1 y lı́m g(z) = ω2
z→z0 z→z0
entonces
1. lı́mz→z0 [f (z) + g(z)] = lı́mz→z0 f (z) + lı́mz→z0 g(z) = ω1 + ω2 .
2. lı́mz→z0 kf (z) = k lı́mz→z0 f (z) = kω1 .
3. lı́mz→z0 [f (z) · g(z)] = lı́mz→z0 f (z) · lı́mz→z0 g(z) = ω1 · ω2 .

lı́m f (z)
f (z) z→z0 ω1
4. lı́mz→z0 = = , con ω2 6= 0.
g(z) lı́m g(z) ω2
z→z0
EJEMPLO 9. Calcular
(2z + 3)(z − 1)
lı́m
z→−2i z 2 − 2z + 4
2.2. LÍMITES 23
Solución:
(2z + 3)(z − 1) lı́m (2z + 3)(z − 1)

z→−2i
lı́m =
z→−2i z 2 − 2z + 4 lı́m z 2 − 2z + 4
z→−2i
lı́m (2z + 3) · lı́m (z − 1)
z→−2i z→−2i
=
4i
1 11i
=− +
2 4
z
DEFINICION 2. El lı́m = ω0 , si para todo > 0, podemos encontrar un M > 0,

z→∞
tal que
|z| > M ⇒ |f (z) − ω0 |
f (z)
TEOREMA 14. Si la función h(z) = esta definida para todo complejo excepto
g(z)
para z = z0 en alguna región que contiene a z0 y si lı́m g(z) = 0 y lı́m f (z) = k 6= 0,
z→z0 z→z0
donde k es una constante compleja. Entonces
f (z)
lı́m = ∞.
z→z0 g(z)
EJEMPLO 10. Calcular
1 + 3i
lı́m .
z→i (z − i)2
Solución:
f (z) = 1 + 3i y lı́m 1 + 3i = 1 + 3i,
z→i
2
g(z) = (z − i) y lı́m(z − i)2 = 0.
z→i
Entonces aplicando el teorema 14 obtenemos

1 + 3i
lı́m = ∞.
z→i (z − i)2
2.3. Continuidad
DEFINICION 3. Una función f definida en una región Ω es continua en un punto

z0 de Ω si:
lı́m f (z) = f (z0 )
z→z0
Esta definición es equivalente a decir que f es continua en z0 de su dominio, sı́ y sólo

sı́, para todo > 0 existe una δ > 0, tal que
|z − z0 | < δ ⇒ |f (z) − f (z0 )| <
(el δ depende del que se tome).
La función f es continua en una región Ω si es continua en todos los puntos de Ω.
Directamente de las propiedades de los lı́mites podemos demostrar las siguientes propiedades
algebraicas de la continuidad.
TEOREMA 15. Si f y g son funciones continuas en z0 y k es una constante compleja,

entonces son continuas en z0 las funciones:
1. f + g.
2. f · g.
3. f /g.
EJEMPLO 11. La función polinómica
f (z) = an z n + an−1 z n−1 + · · · + a1 z + a0 ,
donde ak = C y C es una constante compleja, para k = 1, 2, ..., n es continua en todo

el plano.
Solución: La función idéntica I(z) = z es continua en todo el plano, ya que
lı́m z = z0 .
z→z0
2.4. LA DERIVADA 25
Se puede encontrar δ > 0, dado > 0 tal que
|z − z0 | < δ ⇒ |I(z) − z0 | < ,
es decir, |I(z) − z0 | = |z − z0 | < , por lo tanto δ = . Las funciones z 2 , z 3 ,...,z n son

continuas porque son producto de funciones continuas y como la función polinómica es
la suma del producto de funciones continuas, entonces es continua (La función constante
es continua). z
2.4. La Derivada
DEFINICION 4. Sea f una función definida en una región Ω y sea z0 ∈ Ω. Se dice

que f es diferenciable en z0 , si el siguiente lı́mite existe:
f (z0 + h) − f (z0 )
f 0 (z0 ) = lı́m
h→0 h
A f 0 (z0 ) se le llama la derivada de f en z0 . Podemos obtener una forma equivalente

para la derivada de f en el punto z0 ∈ Ω, veamos:
f (z) − f (z0 )
f 0 (z0 ) = lı́m
z→z0 z − z0
Donde h = ∆z = z − z0 .
f (z)
La derivada de f en cualquier punto z ∈ Ω se denota f 0 (z) o .
dz
EJEMPLO 12. Sea f (z) = z 2 + 1. Hallar f 0 (z)y f 0 (2 + i).
Solución:
f (z + h) − f (z)
f 0 (z) = lı́m
h→0 h
(z + h) + 1 − (z 2 + 1)
2
= lı́m
h→0 h
h(2z + h)
= lı́m = 2z
h→0 h
Si z0 = 2 + i entonces f 0 (2 + i) = 2(2 + i) = 4 + 2i. Si aplicamos directamente la

definición 4., tenemos
(2 + i + h)2 + 1 − (2 + i)2 − 1
f 0 (2 + i) = lı́m = 4 + 2i
h→0 h
z
Tal como sucede en el cálculo de una variable real la existencia de la derivada en un

punto implica la continuidad en ese punto, pero no lo contrario.
TEOREMA 16. Si f es derivable en z0 , entonces f es continua en ese punto.
Demostración: Supongamos que f es derivable en z0 , entonces

f (z) − f (z0 )
f 0 (z) = lı́m
z→z0 z − z0
existe.

f (z) − f (z0 )
lı́m |f (z) − f (z0 )| = lı́m (z − z0 )
z→z0 z→z0 z − z0
f (z) − f (z0 )
= lı́m · lı́m (z − z0 )
z→z0 z − z0 z→z0
= f 0 (z0 ) · 0 = 0
entonces
lı́m f (z) = f (z0 ),
z→z0
y por lo tanto f es continua en z0 . z
El siguiente ejemplo nos permite demostrar que si una función es continua en un punto,
no implica que la función sea derivable en dicho punto.
EJEMPLO 13. La función f (z) = |z|2 es continua en todo el plano complejo pero
solo es derivable en el origen.
Solución: Dada la función f (z) = |z|2 = z · z̄, tenemos: Si z = 0, entonces

f (0 + h) − f (0)
f 0 (0) = lı́m = lı́m h̄ = 0.
h→0 h h→0
2.4. LA DERIVADA 27
Si z 6= 0, entonces
f (z + h) − f (z)
f 0 (z) = lı́m
h→0 h
(z + h)(z + h) − z · z̄
= lı́m
h→0
h
h̄
= lı́m z + h̄ + z̄ ,
h→0 h

h̄ h̄
pero lı́mh→0 z + h̄ + z̄ no existe porque lı́mh→0 no existe. Por lo tanto la función
h h
no es derivable en z 6= 0. z
Las fórmulas de derivación en el cálculo de una variable real son válidas para funciones
de variable compleja. El siguiente teorema nos determina este hecho.
TEOREMA 17. Si f y g son funciones de variable compleja tales que f 0 y g 0 existan

y si k es una constante compleja, entonces:
d
1. (z) = 1
dz
d
2. (k) = 0
dz
d d d
3. [f (z) ± g(z)] = f (z) ± g(z)
dz dz dz
d d
4. (kf (z)) = k f (z)
dz dz
d d d
5. [f (z) · g(z)] = g(z) f (z) + f (z) g(z)
dz dz dz
g(z) d f (z) − f (z) d g(z)
d f (z) dz dz
6. = , con g(z) 6= 0
dz g(z) [g(z)]2
7. Si ω = f (η) y η = g(z), entonces
d d d
ω= ω · η.
dz dη dz
Esta es la conocida regla de la cadena.
Demostración de 6:
f (z + h) f (z)
−
d f (z) g(z + h) g(z)
= lı́m
dz g(z) h→0 h
f (z + h)g(z) − f (z)g(z + h)
= lı́m
h→0 hg(z)g(z + h)

1 f (z + h)g(z) − g(z)f (z) + g(z)f (z) − f (z)g(z + h)
= lı́m
h→0 g(z)g(z + h) h

1 d d
= 2
g(z) f (z) − f (z) g(z)
[g(z)] dz dz
z
d 2
EJEMPLO 14. Calcular [z + 2]3 .
dz
Solución: ω = f (g(z)) = (z 2 + 2)3 , entonces η = g(z) = z 2 + 2 y ω = f (η) = η 3 . Ahora,

como
dω dη
= 3η 2 y = 2z,
dη dz
entonces
dω
= 3η 2 · 2z = 3(z 2 + 2)2 · 2z = 6z(z 2 + 2)2
dz
z
2.5. Ecuaciones de Cauchy-Riemman
TEOREMA 18. Si la función f (z) = u(x, y) + iv(x, y) es derivable en un punto z de

su dominio Ω. Entonces se satisfacen las ecuaciones
∂u ∂v ∂u ∂v
= y =− (2.2)
∂x ∂y ∂y ∂x
llamadas ecuaciones de Cauchy-Riemman.
Demostración: Sea z0 = x0 +y0 i un punto de la región Ω. Supongamos que f 0 (z) existe.

Entonces
f (z0 + ∆z) − f (z0 )
f 0 (z0 ) = lı́m .
∆z→0 ∆z
2.5. ECUACIONES DE CAUCHY-RIEMMAN 29
Haciendo ∆z = ∆x + i∆y. Tenemos que

u(x0 + ∆x, y0 + ∆y) + iv(x0 + ∆x, y0 + ∆y) − u(x0 , y0 ) − iv(x0 , y0 )
f 0 (z0 ) = lı́m
(∆x,∆y)→(0,0) ∆x + i∆y
u(x0 + ∆x, y0 + ∆y) − u(x0 , y0 )
= lı́m
(∆x,∆y)→(0,0) ∆x + i∆y
v(x0 + ∆x, y0 + ∆y) − v(x0 , y0 )
+i lı́m
(∆x,∆y)→(0,0) ∆x + i∆y
El lı́mite es independiente de la trayectoria por lo cual ∆z → 0. Analizaremos dos
casos.
Si ∆x = 0, entonces ∆y → 0, luego
u(x0 , y0 + ∆y) − u(x0 , y0 )
f 0 (z0 ) = lı́m
∆y→0 i∆y
v(x0 , y0 + ∆y) − v(x0 , y0 )
+ i lı́m
∆y→0 i∆y
∂u(x0 , y0 ) ∂v(x0 , y0 )
=−i +
∂y ∂y
Como z0 es un punto cualquiera de Ω tenemos
∂u ∂v
f 0 (z) = −i + . (2.3)
∂y ∂y
Si ∆y = 0, entonces ∆x → 0, luego
u(x0 + ∆x, y0 ) − u(x0 , y0 )
f 0 (z0 ) = lı́m
∆x→0 ∆x
v(x0 + ∆x, y0 ) − v(x0 , y0 )
+ i lı́m
∆x→0 ∆x
∂u(x0 , y0 ) ∂v(x0 , y0 )
= +i
∂x ∂x
Entonces
∂u ∂v
f 0 (z) =
+i . (2.4)
∂x ∂x
Como z0 es un punto cualquiera de Ω tenemos
∂u ∂v
f 0 (z) = +i .
∂x ∂x
De (2.3) y (2.4) obtenemos las ecuaciones (2.2) llamadas de Cauchy-Riemann. Luego,

si la derivada de la función existe, entonces se satisfacen las ecuaciones de Cauchy-
Riemann2 . z
EJEMPLO 15. (Encontrar los errores dentro del siguiente procedimiento) La función
 3 3
3 3

x − y x − y


2 2
+i , si z 6= 0
f (z) = x + y x2 + y 2

0 , si z = 0
Satisface las ecuaciones de Cauchy-Riemann en el origen, pero la derivada en el origen

no existe.
Solución:
u(x, 0) − u(0, 0) x3
ux (0, 0) = lı́m = lı́m 3 = 1
(x,y)→(0,0) x x→0 x
3
y
uy (0, 0) = lı́m − 3 = −1
y→0 y
De la misma manera obtenemos que
vx (0, 0) = 1 y vy (0, 0) = −1.
Luego se satisfacen las ecuaciones de Cauchy-Riemann en el origen.
Ahora veamos que la derivada de la función en el origen no existe:
x3 − y 3
3
x − y3

+i −0
f (z) − f (0) x2 + y 2 x2 + y 2
f 0 (0) = lı́m = lı́m
z→0 z (x,y)→(0,0) x + yi
2 Tanto Cauchy como Riemann, son los precursores del Análisis Complejo. Riemann que fue filósofo, introdujo el
concepto de integral, tal como se enseña en los cursos básicos de cálculo. Trabajó con series de Fourier, ecuaciones
diferenciales ordinarias y parciales, creando nuevos métodos para su solución y efectuó contribuciones importantes a
la teorı́a de números y a la fisica-matemática. Creador también de la geometrı́a de Riemann, base matemática de la
teorı́a de la relatividad de Einstein. Su trabajo motivó muchas ideas de la matemática moderna, especialmente en
topologı́a y análisis funcional (Veáse N. Burbaki, Elements of Mathematics. General Topology, Parte I, Pág. 161-166,
Paris Hermann).
Tomando la trayectoria x = 0, tenemos

−y + iy
f 0 (0) = lı́m = 1 + i,
y→0 iy
y tomando la trayectoria y = 0, tenemos
x + ix
f 0 (0) = lı́m = 1 + i,
x→0 x
Por las dos trayectorias hemos llegado al mismo lı́mite, pero si tomamos la trayectoria
y = x, tenemos
ix 1 i
f 0 (0) = lı́m = + ,
x→0 x + ix 2 2
Por lo tanto hemos encontrado por trayectorias diferentes lı́mites diferentes, entonces
f 0 (0) no existe. z
TEOREMA 19. Sea la función f (z) = u(x, y) + iv(x, y). Supongamos que las fun-
ciones u y v junto con sus derivadas parciales de primer orden son continuas en un
punto (x0 , y0 ) de la región de definición. Si se cumplen las ecuaciones de Cauchy-
Riemann entonces f 0 (z0 ) existe.
Además si las condiciones del teorema se satisfacen, la derivada de f se puede expresar

en la forma
∂u ∂v
f 0 (z) = +i
∂x ∂x
o alternativamente
∂v ∂u
f 0 (z) =
−i ,
∂y ∂y
como ya habı́amos visto en la demostración del teorema 18.
Demostración: Como las primeras derivadas parciales de u(x, y) y v(x, y) son continuas
entonces
∂u ∂u
∆u = ∆x + ∆y + 1 ∆x + 2 ∆y
∂x ∂y
y
∂v ∂v
∆v = ∆x + ∆y + 3 ∆x + 4 ∆y
∂x ∂y
∂u ∂u ∂v ∂v
con , , , calculadas en (x0 , y0 ) y 1 , 2 , 3 , 3 → 0, cuando (∆x, ∆y) → (0, 0).
∂x ∂y ∂x ∂y
Como se satisfacen las ecuaciones de Cauchy-Riemann, reemplazamos y obtenemos:
∆f ∂u ∂v ∆x ∆y
= +i + (1 + i3 ) + (2 + i4 )
∆z ∂x ∂x ∆z ∆z
∆z = ∆x + i∆y ⇒ |∆z| ≥ |∆x| y |∆z| ≥ |∆y|,
entonces
∆x ∆y
∆z ≤ 1 y ∆z ≤ 1,

∆x ∆y
pero (∆x, ∆y) → 0 entonces (1 + i3 ) y (2 + i4 ) tiende a cero.
∆z ∆z
∆f ∂u ∂v
lı́m = f 0 (z0 ) = +i
∆z→0 ∆z ∂x ∂x
por lo tanto f 0 (z0 ) existe. z
EJEMPLO 16. Calcular f 0 (z) si f (z) = sen x cosh y + i cos x senh y
Solución: Tenemos que las funciones u y v se definen como:
u(x, y) = sen x cosh y y v(x, y) = cos x senh y,
luego
∂u ∂u
= cos x cosh y = sen x senh y
∂x ∂y
∂v ∂v
= − sen x senh y = cos x cosh y
∂x ∂y
Como u y v junto con sus primeras derivadas parciales son continuas en todo el plano
y además se satisfacen las ecuaciones de Cauchy-Riemann en todo el plano podemos
concluir que la derivada de la función existe en todos los puntos del plano complejo.
Entonces
∂u ∂v
f 0 (z) = +i = cos x cosh y + i sen x senh y
∂x ∂x
z
EJEMPLO 17. Comprobar que las ecuaciones de Cauchy-Riemann en coordenadas

polares son las siguientes:
∂u 1 ∂v ∂v 1 ∂u
= y =− , (2.5)
∂r r ∂θ ∂r r ∂θ
donde r 6= 0.
Solución. Las relaciones que nos permiten el paso de coordenadas rectangulares a co-
ordenadas polares son las siguientes
p y
x = r cos θ y = r sen θ r= x2 + y 2 θ = tan−1 ,
x
es ası́ como
!
∂u ∂u ∂r ∂u ∂θ ∂u x ∂u −y
= + = p +
∂x ∂r ∂x ∂θ ∂x ∂r x2 + y 2 ∂θ x + y2
2
entonces
∂u ∂u 1 ∂u
= cos θ − sen θ
∂x ∂r r ∂θ
∂u ∂u ∂r ∂u ∂θ ∂u 1 ∂u
= + = sen θ + cos θ
∂y ∂r ∂y ∂θ ∂y ∂r r ∂θ
∂v ∂v ∂r ∂v ∂θ ∂v 1 ∂v
= + = cos θ − sen θ
∂x ∂r ∂x ∂θ ∂x ∂r r ∂θ
∂v ∂v ∂r ∂v ∂θ ∂v 1 ∂v
= + = sen θ + cos θ.
∂y ∂r ∂y ∂θ ∂y ∂r r ∂θ
∂u ∂v
Ahora, como = , tenemos
∂x ∂y

∂u 1 ∂v ∂v 1 ∂u
− cos θ − + sen θ = 0
∂u ∂v
y, como = − , tenemos
∂y ∂x

∂u 1 ∂v ∂v 1 ∂u
− sen θ + + cos θ = 0
entonces
∂u 1 ∂v ∂v 1 ∂u
− =0 y + =0
por lo tanto
∂u 1 ∂v ∂v 1 ∂u
= y =−
con r 6= 0 z
TEOREMA 20. La fórmula equivalente para la derivada de una función en coorde-

nadas polares es
0 ∂u ∂v
f (z) = (cos θ − i sen θ) +i
∂r ∂r
∂u ∂v
Demostración: Reemplazando los valores de y de , obtenidas en el ejemplo 18
∂x ∂x
tenemos que
∂u ∂v
f 0 (z) = +i
∂x
∂x
∂u 1 ∂u ∂v 1 ∂v
= cos θ − sen θ + i cos θ − sen θ .
Usando las ecuaciones (2.5) tenemos

0 ∂u ∂v
f (z) = (cos θ − i sen θ) +i
∂r ∂r
z
1
EJEMPLO 18. Calcular f 0 (z) donde f (z) = , con z 6= 0.
z
Solución. Sea z = r(cos θ + i sen θ), entonces

1
f (z) = = r−1 (cos θ − i sen θ)
z
y tenemos que
u(r, θ) = r−1 cos θ y v(r, θ) = r−1 sen θ
por lo tanto
∂u sen θ ∂u cos θ
=− =− 2
∂θ r ∂r r
∂v cos θ ∂v sen θ
=− = 2 .
∂θ r ∂r r
En z 6= 0, se satisfacen las ecuaciones de Cauchy-Riemann (2.5) y además tanto u como

v y sus primeras derivadas parciales son continuas. Por lo tanto la derivada de f existe
y es
0 ∂u ∂v 1 1
f (z) = (cos θ − i sen θ) +i =− (cos 2θ − i sen 2θ) = −
∂r ∂r r2 z2
z
2.6. Funciones Analı́ticas
DEFINICION 5. Una función f es analı́tica en un punto z0 de su dominio, si existe

una vecindad de z0 tal que f 0 (z) exista para todo punto de la vecindad.
Si f es analı́tica en todos los puntos de una región Ω se dice que f es analı́tica en Ω. Si

f es analı́tica en todo el plano complejo entonces f se llama una función entera. A una
función analı́tica en un punto z0 también se le acostumbra llamar holomorfa o regular
en z0 .
Si f ésta definida en un dominio Ω (abierto), las propiedades de diferenciabilidad y

analiticidad son equivalentes; pero en otros casos la analiticidad exige que la función
sea derivable en un conjunto mayor. Es decir, f es analı́tica en un disco |z| ≤ a, si es
derivable en el disco |z| ≤ a + δ, donde a es una constante mayor que cero.
EJEMPLO 19. La función f (z) = |z|2 no es analı́tica en ningún punto del plano,
pero es derivable en el origen.
Solución: En el ejemplo 14 de la sección 2.4 demostramos que la derivada de f sólo

existe en el origen y que f 0 (0) = 0. Si tomamos cualquier vecindad de z0 tenemos que
f 0 (z) no existe para ningún z en la vecindad. Luego la función no es analı́tica en el
origen z
EJEMPLO 20. La función polinómica es una función entera.
Solución: Si f es polinómica entonces f (z) = an z n + an−1 z n−1 + · · · + a1 z + a0 . Ya

hemos visto que esta función es derivable en todo el plano complejo, entonces si z0 es
cualquier punto del plano, f 0 (z) existe para todo z en la vecindad de z0 y por lo tanto
f es analı́tica en todo el plano. Es decir, f es una función entera. z
De las propiedades de la derivada se puede deducir fácilmente que la suma, el producto

3
y el cociente de funciones analı́ticas en Ω, son funciones analı́ticas en Ω.
Si f es analı́tica en Ω1 y si f (Ω1 ) está contenida en Ω2 y g es analı́tica en Ω2 , entonces

g ◦ f es analı́tica en Ω1 .
EJEMPLO 21. Comprobar que la función
f (z) = ex (cos y + i sen y)
es analı́tica en todo el plano (entera).
Solución:
f (z) = ex (cos y + i sen y) = ex cos y + iex sen y
entonces
u(x, y) = ex cos y y v(x, y) = ex sen y,
y por lo tanto
∂u ∂v ∂v ∂u
= ex cos y = ex sen y = ex cos y = −ex sen y
∂x ∂x ∂y ∂y
Como se satisfacen las ecuaciones de Cauchy-Riemann y tanto u y v como sus primeras
derivadas son continuas en todo el plano. Entonces f 0 (z), existe para todo z y por lo
tanto la función es entera. z
TEOREMA 21. Si la función f (z) = u(x, y) + iv(x, y) es analı́tica y si u y v tienen

segundas derivadas parciales continuas; entonces u y v satisfacen las ecuaciones de
Laplace
∂2u ∂2u ∂2v ∂2v
+ =0 y + =0
∂x2 ∂y 2 ∂x2 ∂y 2
3 En este caso se advierte que f /g es analı́tica en Ω, sı́ y sólo sı́, g(z) 6= 0.
Demostración: Como f es analı́tica en Ω entonces se satisfacen las ecuaciones de

Cauchy-Riemann
∂u ∂v ∂u ∂v
= y =− .
∂x ∂y ∂y ∂x
Derivando en ambos lados tenemos
∂2u ∂2v ∂2u ∂2v
= y =− . (2.6)
∂x2 ∂x∂y ∂y 2 ∂y∂x
Debido a la continuidad de (2.6) se cumple que
∂2v ∂2v
=
∂y∂x ∂x∂y
y del mismo modo se tiene que
∂2u ∂2u
= −
∂y 2 ∂x2
en Ω.
Luego las funciones u y v satisfacen las ecuaciones de Laplace en Ω. z
Más adelante4 demostraremos que si una función es analı́tica su derivada también lo

es. Esto significa que existen derivadas parciales en todos los ordenes continuas de u y
de v.
DEFINICION 6. Una función F (x, y) real, de dos variables reales que tienen derivadas
parciales de segundo orden continuas y que satisfacen la ecuación de Laplace se llama
una función armónica5 .
Podemos afirmar que si f (z) = u(x, y) + iv(x, y) es analı́tica en Ω, entonces u y v son

funciones armónicas en Ω. Estas funciones son llamadas conjugadas 6 .
Si u y v son funciones armónicas que satisfacen las ecuaciones de Cauchy-Riemann en

un dominio Ω, entonces son parte real e imaginaria de una función analı́tica f en Ω
Dada una función armónica podemos obtener su conjugada usando las ecuaciones de
Cauchy-Riemann.
4 Cuando iniciemos el tema de Integración compleja
5 Ası́ se llaman las soluciones de la ecuación de Laplace que tienen derivadas parciales de segundo orden continuas y,
su teorı́a se denomina teorı́a del Potencial.
6 Aquı́ el término conjugada tiene un significado diferente al de conjugado de un número complejo.
EJEMPLO 22. Se tiene la función u(x, y) = ln(x2 + y 2 ). Encontrar f (z) = u(x, y) +

iv(x, y), tal que f sea analı́tica.
Solución: Derivando la función u(x, y) = ln(x2 + y 2 ), tenemos que

∂u 2x ∂u 2y
= 2 y = 2 ,
∂x x + y2 ∂y x + y2
entonces
∂u ∂v ∂v 2x
= ⇒ = 2 ,
∂x ∂y ∂y x + y2
integrando con respecto a y obtenemos
Z
2x y
v= dy = 2 arctan + h(x),
x2 + y 2 x
Por lo tanto
∂v 2y
=− 2 + h0 (x).
∂x x + y2
∂v ∂u
Como = − , entonces h0 (x) = 0. De donde h(x) = k, y k es una constante; por
∂x ∂y
lo tanto:
y
v(x, y) = 2 arctan + k,
x
y entonces
y
f (z) = ln(x2 + y 2 ) + i 2 arctan +k .
x
z
TEOREMA 22. Si f (z) = u(x, y) + iv(x, y) es una función analı́tica en Ω, entonces

la familia de curvas u(x, y) = k1 son trayectorias ortogonales a la familia de curvas
v(x, y) = k2 y viceversa, en todo punto de Ω donde f 0 (z) 6= 0.
Demostración: Derivando u(x, y) = k1 implı́citamente, tenemos:

∂u ∂u
du = dx + dy = 0
∂x ∂y
entonces
∂u
dy
= − ∂x (2.7)
dx ∂u
∂y
2.7. TRANSFORMACIONES CONFORMES 39
La expresión (2.7) da la pendiente de la curva general de la familia u(x, y) = k1 . Del

mismo modo
∂v ∂v
dv = dx + dy = 0
∂x ∂y
entonces
∂v
dy
= − ∂x . (2.8)
dx ∂v
∂y
Esta es la pendiente de la curva general de la familia v(x, y) = k2 . Como f es analı́tica
se satisfacen las ecuaciones de Cauchy-Riemann, entonces usando este hecho en (2.8),
tenemos
∂u
dy ∂y
= (2.9)
dx ∂u
∂x
pero (2.9) es precisamente el negativo del recı́proco de la pendiente de la curva gen-
eral de la función u(x, y) = k1 en un punto común. Por tanto las dos familias son
ortogonales. z
2.7. Transformaciones Conformes
Ahora veremos que si la función f es analı́tica su representación es conforme. Es decir,

conserva los ángulos entre curvas orientadas tanto en magnitud como en sentido. Las
transformaciones conformes tiene gran utilidad en las matemáticas para ingenierı́a ya
que permiten resolver problemas bidimensionales con valores en la frontera; mediante la
transformación de una región complicada en otra más sencilla. En el capı́tulo siguiente
daremos algunos ejemplos sobre estos problemas.
2.7.1. Representación conforme
Sea ω = f (z) una función analı́tica en el plano Z, tal que f 0 (z0 ) 6= 0. Entonces la
imagen de un arco suave en la vecindad de z0 del plano Z, es un arco suave en el plano
W.
Si
f 0 (z0 ) = r0 eiθ0 ,
entonces
0 ∆ω
θ0 = arg (f (z0 )) = lı́m arg
∆z→0 ∆z
donde
∆ω = f (z0 + ∆z) − f (z0 ).
Sea C una curva suave a través de z0 y sea la curva suave S su imagen bajo la transfor-
mación analı́tica ω = f (z). Al describir un sentido positivo para C, la transformación
determina un sentido positivo a lo largo de S.
Supongamos que z0 +∆z es un punto en C en el sentido positivo desde z0 . El argumento

de ∆z tiende al ángulo de inclinación φ de la recta tangente a C en z0 , cuando ∆z
tiende a cero. Es decir
lı́m (arg (∆z)) = φ
∆z→0
Sea ω0 la imagen de z0 y ω0 + ∆ω la imagen de z0 + ∆z, entonces
lı́m (arg (∆ω)) = Φ,

∆ω→0
donde Φ es el ángulo de inclinación de la recta tangente a S en el punto ω0 .
Tenemos
∆ω
∆ω = ∆z .
∆z
Debido a que el argumento de un producto es la suma de los argumentos de los factores,
entonces
∆ω
arg (∆ω) = arg (∆z) + arg
∆z
aplicando lı́mite cuando ∆z tiende a cero

∆ω
lı́m arg (∆ω) = lı́m arg (∆z) + lı́m arg
∆z→0 ∆z→0 ∆z→0 ∆z
entonces
Φ = φ + θ0
de donde, bajo la transformación, la tangente a C dirigida en z0 se gira un ángulo
θ0 = Φ − φ.
Esto significa que la transformación ω = f (z), analı́tica en z0 con f 0 (z) 6= 0, gira las
tangentes de todas las curvas que pasen por z0 en un mismo ángulo θ0 .
Ahora, supongamos que tenemos en el plano Z un par de curvas suaves C1 y C2 las

cuales se interceptan en el punto z0 . Sean φ1 Y φ2 los ángulos de inclinación de sus
respectivas rectas tangentes en z0 , y sean Φ1 Y Φ2 los ángulos de inclinación a las
curvas S1 y S2 en el punto ω0 . Entonces
Φ1 = φ1 + θ0 y Φ2 = φ2 + θ0 ,
y restando estas últimas ecuaciones tenemos
α = Φ2 − Φ1 = φ2 − φ1 .
De esta manera el ángulo entre las curvas S1 y S2 es el mismo en magnitud y en sentido

que el ángulo entre C1 y C2 .
Una transformación que conserva los ángulos de esta forma entre cada par de curvas en
el punto z0 , se llama Conforme en z0 . Si la transformación es conforme en todo punto
de la región Ω, entonces decimos que es conforme en Ω.
Una transformación que conserva las magnitudes de los ángulos pero no necesariamente
el sentido se llama isogonal.
La discusión anterior prueba el resultado que sintetizamos en el siguiente teorema:
TEOREMA 23. Si f (z) es analı́tica y f 0 (z) 6= 0 en una región Ω, entonces la trans-

formación ω = f (z) es conforme en Ω.
Una transformación conforme transforma pequeñas figuras en la vecindad de un punto

z0 del plano Z en pequeñas figuras semejantes en el plano W . Veamos, si z está muy
próximo a z0 , entonces
f (z) − f (z0 ) ω − ω0
= ' f 0 (z0 ),
z − z0 z − z0
entonces
ω − ω0 ' f 0 (z0 )(z − z0 ),
si en lugar de casi igual ('), tomamos la igualdad, tenemos
ω − ω0 = f 0 (z0 )(z − z0 ), (2.10)
lo cual establece una relación de uno a uno si f 0 (z0 ) 6= 0. La imagen por la relación
(2.10) es semejante a la original y su dimensión varı́a en |f 0 (z0 )|.
Un punto en el que f 0 (z0 ) 6= 0, se llama un punto crı́tico de la transformación.
Si ω = f (z) es una transformación del plano Z en el plano W , podemos pensar que es

una transformación del plano Z en sı́ mismo. Con esta interpretación, los puntos para
los cuales f (z) = z, los llamamos puntos fijos o puntos invariantes
EJEMPLO 23. Dada la transformación ω = f (z) = z 2 − 2, entonces:
1. Demostrar que la transformación es conforme.

2. Hallar los puntos crı́ticos.
3. Hallar los puntos fijos o invariantes.
Solución: Analizando cada una de las situaciones, tenemos:
1. Como ω = f (z) = z 2 − 2 es una función polinómica, es analı́tica en todo el plano.

Por el teorema 23., la transformación es conforme excepto donde f 0 (z) = 0. Pero,
f 0 (z) = 0 solamente en el origen. Entonces la transformación es conforme en todo
el plano excepto en el origen.
2. El z = 0 es el único punto crı́tico de la transformación.
3. Como ω = f (z) = z 2 − 2, entonces z 2 − 2 − z = 0, de donde z = −1 y z = 2. Estos
valores son los puntos fijos de la transformación.
La aplicaciones más importantes de las transformaciones conformes se deben a la

propiedad que poseen las funciones armónicas, de permanecer siendo armónicas bajo
un cambio de variable que surja de una transformación conforme. Este valioso resultado
lo recogemos en el siguiente teorema:
TEOREMA 24. Una función armónica g(x, y) se transforma en otra función armónica
bajo un cambio de variable que surge de una transformación conforme ω = f (z).
Antes de demostrar el teorema siguiente, miremos su alcance. Por ejemplo, supongamos

que queremos resolver un problema bidimensional con valores en la frontera en una
región Ω dada. procedemos entonces de la siguiente manera
i. Encontrar una aplicación conforme f que transforme el problema de frontera de la

región Ω en uno para la región más sencilla Ω0 (generalmente cı́rculo o semi-plano).
ii. Resolver el problema de frontera transformado.
iii. Transformar la solución a las coordenadas originales, mediante la transformación

inversa f −1
Dejaremos las aplicaciones fı́sicas para más adelante cuando tengamos más manejo del
cálculo complejo.
Demostración teorema 24: Supongamos la transformación
x = X(u, v) y y = Y (u, v)
entonces g(x, y) se transforma en
g [X(u, v), Y (u, v)] = G(u, v),
luego
∂g ∂g ∂u ∂g ∂v ∂g ∂g ∂u ∂g ∂v
= + y = +
∂x ∂u ∂x ∂v ∂x ∂y ∂u ∂y ∂v ∂y
∂2g ∂g ∂ 2 u ∂u ∂ 2 g ∂u ∂ 2 g ∂v

= + +
∂x2 ∂u ∂x2 ∂x ∂u2 ∂x ∂v∂u ∂x
∂g ∂ 2 v ∂v ∂ 2 g ∂ 2 g ∂v

+ + +
∂v ∂x2 ∂x ∂u∂v ∂v 2 ∂x
∂2g ∂g ∂ 2 u ∂u ∂ 2 g ∂u ∂ 2 g ∂v

= + +
∂y 2 ∂u ∂y 2 ∂y ∂u2 ∂y ∂v∂u ∂y
∂g ∂ 2 v ∂v ∂ 2 g ∂ 2 g ∂v

+ + +
∂v ∂y 2 ∂y ∂u∂v ∂v 2 ∂y
2.8. Función Exponencial
Del cálculo de variable real sabemos que el desarrollo de series de McLauren de las
funciones ex , sen x y cos x es:
∞
x x2 x3 X xn
e =1+x+ + + ··· =
2! 3! n=0
n!
∞
x3 x5 X x2n+1
sen x = x − + − ··· = (−1)n
3! 5! n=0
(2n + 1)!
∞
x2 x4 X x2n
cos x = 1 − + − ··· = (−1)n
2! 4! n=0
(2n)!
Todas estas serie tienen radio de convergencia infinito.
Si reemplazamos la variable x por la variable compleja z, las serie anteriores se trans-

forman en funciones de variable compleja, definidas en todo el plano complejo.
2.8. FUNCIÓN EXPONENCIAL 45
Tomemos iy en vez de x en la función exponencial, entonces:

y2 y3i y4
eiy = 1 + iy − − + + ··· ,
2! 3! 4!
es decir, podemos escribir
∞ ∞
iy
X y 2n
n
X y 2n+1
e = (−1) +i (−1)n ,
n=0
(2n)! n=0
(2n + 1)!
de donde
eiy = cos y + i sen y.
Esta última expresión nos permite presentar un número complejo en forma exponencial.
Por ejemplo, e2πi = cos 2π + i sen 2π = 1. En general se tiene que
z = r (cos θ + i sen θ) = reiθ .
La función exponencial en términos de las funciones reales u(x, y) y v(x, y), se expresa
de la siguiente manera:
ω = ez = ex+yi = ex eyi = ex (cos y + i sen y),
de donde
u(x, y) = ex cos y y v(x, y) = ex sen y. (2.11)
TEOREMA 25. La función ω = ez es una función analı́tica en todo el plano (entera).
Demostración: Según las ecuaciones (2.11)

∂u ∂u
= ex cos y y = −ex sen y
∂x ∂y
∂v ∂v
= ex sen y y = ex cos y.
∂x ∂y
Como se satisfacen las ecuaciones de Cauchy-Riemann en todo el plano y tanto las
funciones u y v como sus primeras derivadas parciales son continuas en todo el plano,
la función ω = ez es analı́tica (entera). Además se cumple que
d z
(e ) = ex (cos y + i sen y) = ez
dz
z
Algunas de las propiedades más comunes de la función exponencial están dadas por el
siguiente teorema.
TEOREMA 26. La función ω = ez satisface las siguientes propiedades:
1. ez 6= 0 para todo z.
2. ez1 · ez2 = ez1 +z2
ez1
3. z2 = ez1 −z2
e
1
4. e−z = z
e
z n
5. (e ) = enz
z+2πki
6. (ez )1/n = e n , con n entero y k = 0, 1, 2, ..., (n − 1).
7. ez es periódica con periodo 2πi
EJERCICIO 6. Demostrar el teorema anterior.
EJEMPLO 24. Encontrar las imágenes de las rectas x = k y y = k, con k constante,

del plano Z bajo la transformación ω = ez .
Solución: Si x = k, entonces
ek (cos y + i sen y) = ρ(cos φ + i sen φ)
de donde ρ = ek y φ = y. La función transforma la familia de rectas x = k en una

familia de cı́rculos con centro en el origen y radio ρ. Del mismo modo si y = k, entonces
ρ = ex y φ = k. La función transforma la recta y = k en rayos φ = k z
EJEMPLO 25. Resolver la ecuación ez = 1.
Solución: Tenemos que si
ez = 1 ⇒ ex (cos y + i sen y) = 1,
por lo tanto las partes real e imaginaria del número complejo son
ex cos y = 1 y ex sen y = 0.
2.9. FUNCIÓN LOGARÍTMICA 47
Como ez 6= 0, entonces sen y = 0 ⇒ y = nπ, con n entero. Esto implica que
cos y = cos nπ = (−1)n ,
y por consiguiente
ex cos y = 1 ⇒ (−1)n ex = 1,
ahora, como ex > 0, n tiene que ser par y por lo tanto y = 2πk para k entero y
x = 0. Finalmente z toma los valores en el conjunto 2πk, donde k = 0, ±1, ±2, .... Las
soluciones de ez = 1 son pues, los números 2πk, con k = 0, ±1, ±2, .... z
EJERCICIO 7. Verifique si f 0 (z) existe y si ese es el caso hallarla.
2.9. Función Logarı́tmica
Sean z y ω dos números complejos. Si z 6= 0 y ω es tal que eω = z, entonces ω se llama

el logaritmo natural de z y se denota
ω = ln z. (2.12)
Haciendo z = reiθ y ω = u + iv, tenemos que
z = eω ⇒ reiθ = eu+iv .
Por lo tanto
r = eu y eiθ = eiv ,
y, como consecuencia
u = ln r y v = θ + 2nπ, con n entero.
Reemplazando en (2.12) tenemos
ω = ln z = ln r + i(θ + 2nπ), con n entero.
De acuerdo con el concepto de función, la relación anterior no lo es, ya que para un

z 6= 0 existen infinitas imágenes diferentes. Recordemos que una función de este tipo
es a lo que llamamos función de valores múltiples.
De ésta función de múltiples valores podemos obtener funciones restringiendo el valor

del argumento de ln z, a un intervalo de longitud 2π.
Como ln z es la función inversa de ez y hemos tomado como región fundamental para

ésta función la franja −π < y ≤ π (la más usada), entonces tomamos
ω = ln z = ln r + iθ, π<y≤π
como el valor principal o la rama principal de ln z.
2.10. Ejercicios
1. Calcular f (z + 1), f (z/1), f (z − 1) y f (f (z)), si también es una isometrı́a. Deducir de lo anteri-
2 −1
f (z) = z +1, f (z) = z , f (z) = (1+z)(1−z) . or que la función
2. Estudiar de que manera se transforma el sector f (z) − f (0)

g(z) =
circular f (1) − f (0)
0 ≤ arg (z) ≤ θ es una isometrı́a que verifica g(0) = 0 y g(1) =

1.
en las aplicaciones ω = z 3 , ω = z 4 y ω = z 6 .
Cuánto debe valer θ para que se recubra una so- 6. Sea ω = g(z), donde g(z) es una isometrı́a que
la vez el plano W ? (Una región del plano Z cuya verifica g(0) = 0 y g(1) = 1. Observe que |ω|2 =
imagen cubre el plano W una sola vez se llama |z|2 , |1 − ω|2 = |1 − z|2 , puesto que g conserva
una región fundamental de la función ω = f (z)). las distancias. Deducir que si Re(ω) = Re(z), y
de aquı́ que g(i) = i o −i.
3. Determinar la imagen de la banda |Re(z)| < 1
z̄
si 7. Probar que lı́m , no existe.
z→0 z
ω = (1 + z)(1 − z)−1 . 8. Demuestre el teorema 13.
4. Hallar la imagen del disco |z| < 1 en la trans- 9. Usando los teoremas sobre lı́mites calcular:
formación (2z + 3)(z − 1)
a) lı́m
ω = 2z 2 . z→−2i z 2 − 2z + 4
iz − 1
5. Una función f (z) se llama una isometrı́a si no b) lı́m
z→i z + 1
modifica las distancias, es decir, si z−1−i

c) lı́m
z→(1+z) z 2 − 2z + 2
|f (z1 ) − f (z2 )| = |z1 − z2 | (2z − 3)(4z + i)

d) lı́m
z→i/2 (iz − 1)2
para todo par de números complejos z1 y z2 . Si e) lı́m (z · z̄)
z→−i
f (z) es una isometrı́a y α y β son dos constantes,
f) lı́m (z̄)2
con |α| = 1, demostrar que g(z) = αf (z) + β z→i
2.10. EJERCICIOS 49
n
10. Explique exactamente que significan las expre- z − z0
c) f (z) =
z − z1
siones
16. Demostrar que cada una de las funciones sigu-
1
a) lı́m =∞ ientes son derivables en todo el plano complejo
z→i (z − i)2
4 y calcular la derivada.
2z + 1
b) lı́m =2
z→∞ z4 + 1
a) f (z) = ex (cos y + i sen y)
11. Calcular
1 b) f (z) = cos x cosh y − i sen x senh y
a) lı́m
z→1 z−i
c) f (z) = cosh x cos y + i senh x sen y
z+2
b) lı́m
z→−3i z 2 + (2 − i)z − (3 + 3i)
17. Determinar cuales de las siguientes funciones
12. Determinar si las funciones siguientes son con-
son enteras
tinuas en el punto z0 .
z 2 + 2(1 + z) + 4i a) f (z) = z 2 3z + 5
a) f (z) = , con z0 = −2i
z+2 b) f (z) = y 3 − 3x2 y − 3xy 2 i + x3 i
z2 − 4
b) f (z) = , con z0 6= 2i
z−2 c) f (z) = e−y (cos x + i sen x)
c) f (z) = z̄ 2 , con z0 6= 2i z2 + 1
d) f (z) =
z−i
13. Sea z = x + yi, z0 = x0 + y0 i. Demostrar que
18. Demuestre que las siguientes funciones son con-
f (z) = u(x, y) + iv(x, y) es continua en z0 , sı́ y
tinuas en todas partes pero no son analı́ticas en
sólo sı́, las funciones u(x, y) y v(x, y) son con-
ninguna parte
tinuas en el punto (x0 , y0 ).
a) f (z) = x3 + xy 2 − x2 yi − y 3 i
14. Encontrar la derivada de cada una de las sigu-
ientes funciones en el punto indicado si éste b) f (z) = cos(nx) + i sen(nx)
está dado.
19. Demuestre que u(x, y) es una función armónica
3
a) f (z) = z − z en z0 = a en todo el plano y encuentre una conjugada
b) f (z) = z 2 + iz + 1 − i en z0 = 1 + i armónica v(x, y) de u(x, y) tal que f (z) =

u(x, y) + iv(x, y) sea analı́tica en todo el plano
c) f (z) = (z 2 + 1)1/2
(entera).
15. Determinar la región donde existen las
a) u(x, y) = ekx cos(ky), con k constante.
derivadas de las funciones siguientes y calcu-
larlas (n es entero). b) u(x, y) = 2x(1 − y)
a) f (z) = (z − z0 )n c) u(x, y) = senh x · sen y
b) f (z) = z 2 z̄ 20. Estudiar la demostración del teorema 22.
2.11. Ejercicios de repaso para los capı́tulos 1 y 2

1. Encontrar y graficar las imágenes de las siguientes regiones, bajo el mapeo ω = 1/z, en donde z 6= 0.
1
a) |z| < 1 b) |z| ≤ c) y>0 d) y≤0
2
2. Repetir el problema anterior, pero ahora bajo el mapeo ω = ez .
3. Si se proporciona |z| y arctan(y/x). Está el número |z|eiθ determinado de manera única?
4. ¿Qué se entiende por el valor principal del argumento de un número complejo?
5. Demuestre la desigualdad triangular.
6. ¿Cuál es la fórmula de Moivre y para que es especialmente útil?
7. ¿Qué entiende por el hecho de que f es analı́tica en un dominio Ω?
8. ¿Son analı́ticas las funciones |z|, Re(z), Im(z)?
9. La fórmula para la derivada de funciones de variable compleja se parece a la de funciones de variable

real, pero existe una gran diferencia. Explı́quela.
10. ¿Es posible que una función sea diferenciable en un punto sin que sea analı́tica allı́?
11. ¿Cómo están relacionados cos z, sen z, con ez ?
12. ¿Tiene solución la ecuación sen z = −100?
13. ¿Cómo se define ln z?

√ √ √
14. ¿Qué recuerda sobre 4 1, 8 1, n 1?
√ √
15. Si se conocen los valores de 8 1. ¿Cómo se obtiene a partir de ellos los valores de 8 z para cualquier z?
16. Graficar la región 2 < |z + i| < 3 en el plano complejo.
17. Encontrar una función analı́tica f (z) = u(x, y) + iv(x, y), tal que:
y 2
−y 2
a) v(x, y) = b) u(x, y) = cos x cosh y c) u(x, y) = ex cos 2xy.
x2 + y 2
18. ¿Son armónicas las siguientes funciones? Si la respuesta es afirmativa, encontrar una función armónica
conjugada.
y
a) ex/2 cos b) sen x cosh y.
2
19. Encontrar el valor de la derivada de
a) sen z, en el punto 3 + 2i b) e1/z , en el punto i
20. Comprobar que las ecuaciones de Cauchy-Riemann en coordenadas polares son:

∂u 1 ∂v ∂v 1 ∂u
= y =−
2.11. EJERCICIOS DE REPASO PARA LOS CAPÍTULOS 1 Y 2 51
21. Demostrar que la siguiente función es derivable en el plano complejo y calcule la derivada.
f (z) = cos x cosh y − i sen x senh y.
22. Determinar si la siguiente función es entera
f (z) = y 3 − 3x2 y − 3xy 2 i + x3 i
23. Calcular en la forma u + iv lo siguiente
a) sen(1,7 + 1,5i) b) cos(π + πi)
24. Encontrar todas las soluciones de las siguientes ecuaciones
a) sen z = cosh 3 b) sen z = 1000
25. ¿Para cuáles valores de z se obtiene un valor real de sen z?
26. Calcular el valor principal del logaritmo natural de z, si z es igual a:
a) 1+i
b) −4
c) 2,5 + 3,8i
d) −100
e) −16 − 0,1i
f) 0,6 + 0,8i
27. Resolver las siguientes ecuaciones para z:
a) ln z = 3 − i
b) ln z = (2 − i/2)
√
c) ln z = 2 + πi
d) ln z = 200

Matematicas Especiales

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Matematicas Especiales

Cargado por

Copyright:

Formatos disponibles

MATEMÁTICAS ESPECIALES

1.2. Algunas Generalidades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2

1.3. La Unidad Imaginaria y el Imaginario Puro . . . . . . . . . . . . . . . . . . . . . . . . 3

1.4. Operaciones con números complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

1.5. El conjugado de un número complejo . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

1.6. Forma Polar de los Números Complejos . . . . . . . . . . . . . . . . . . . . . . . . . . 5

1.7. Los complejos y algunas propiedades generales . . . . . . . . . . . . . . . . . . . . . . 6

1.8. Desigualdad triángular . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8

1.9. Teorema de Moivre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

2. FUNCIONES ANALITICAS COMPLEJAS 13

2.1. Funciones Analı́ticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14

2.1.1. Funciones de una variable compleja . . . . . . . . . . . . . . . . . . . . . . . . . 14

2.1.2. Operaciones entre funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17

2.5. Ecuaciones de Cauchy-Riemman . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28

2.6. Funciones Analı́ticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35

2.7. Transformaciones Conformes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39

2.7.1. Representación conforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39

2.8. Función Exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44

2.9. Función Logarı́tmica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47

2.11. Ejercicios de repaso para los capı́tulos 1 y 2 . . . . . . . . . . . . . . . . . . . . . . . . 50

En ocasiones nos encontramos con expresiones algebraicas tales como

1.2. Algunas Generalidades

El plano complejo también es llamado Diagrama de Argan2 .

1.3. La Unidad Imaginaria y el Imaginario Puro

El número complejo 0 + yi se escribe yi y se llama número imaginario puro.

1.4. Operaciones con números complejos

Sean z1 = x1 + y1 i y z2 = x2 + y2 i dos números complejos, entonces:

en cambio hay poco peligro de confundir i con −i.

1.5. El conjugado de un número complejo

Si z = x + yi es un número complejo, entonces el número x − yi se llama conjugado

EJERCICIO 1. Demuestre que

(z1 + z2 ) = z̄1 + z̄2

(z1 − z2 ) = z̄1 − z̄2

(z1 z2 ) = z̄1 z̄2

1.6. Forma Polar de los Números Complejos

por lo tanto el número complejo z se puede escribir en su forma polar ası́:

z = r cos θ + ir sen θ = r(cos θ + i sen θ).

A este tipo de expresión de un número complejo también se le llama forma trigonométri-

EJERCICIO 3. Demostrar la expresión 1.1.

EJEMPLO 1. Sea z = 8 + 3i. Entonces tenemos que

Figura 1.1: Módulo y argumento de un número complejo z.

por lo tanto el número complejo dado se puede escribir en su forma trigonométrica o

1.7. Los complejos y algunas propiedades generales

TEOREMA 1 (Ley asociativa). Sean z1 , z2 y z3 números complejos, entonces:

TEOREMA 2 (Elemento neutro). Sea z un números complejo, entonces:

1. Existe un complejo z0 tal que z + z0 = z0 + z = z

2. Existe un complejo z 0 tal que zz 0 = z 0 z = z

TEOREMA 3 (Elemento simétrico). Sea z un números complejo, entonces:

1. Para todo complejo z, existe un complejo ẑ tal que z + ẑ = ẑ + z = z0

2. Para todo complejo z 6= 0, existe un complejo z −1 tal que z · z −1 = z −1 · z = z 0

TEOREMA 4 (ley conmutativa). Sean z1 y z2 números complejos, entonces:

TEOREMA 5 (ley distributiva). Sean z1 , z2 y z3 números complejos, entonces:

TEOREMA 6 (Multiplicación por escalar). Sean z1 y z2 números complejos y,

TEOREMA 7. Sean z, z1 y z2 números complejos, entonces:

3. |z1 · z2 | = |z1 | · |z2 |

TEOREMA 8. Sean z, z1 y z2 números complejos, entonces:

1.8. Desigualdad triángular

Veremos un teorema ya conocido en el cálculo vectorial y que aquı́ se demostrará en

TEOREMA 9. Sean z1 y z2 números complejos, entonces:

|z1 + z2 | ≤ |z1 | + |z2 |

|z1 + z2 |2 = (z1 + z2 )(z1 + z2 ) por teorema 8.4

Dado que z2 z1 es el conjugado de z1 z2 , entonces z1 z2 + z2 z1 = 2Re(z1 z2 ), y por lo tanto

|z1 + z2 |2 = |z1 |2 + |z2 |2 + 2Re(z1 z2 ) (1.2)

si para todo > 0, existe una δ > 0 tal que

0 < |z − z0 | < δ ⇒ |f (z) − ω0 | < .

|z − 2i| < δ ⇒ |f (z) − 4i| < ,

Entonces para todo > 0, existe δ1 > 0 y δ2 > 0 tal que

≤ |u(x, y) − u0 | + i |(v(x, y) − v0 )| < .

|x − x0 + i(y − y0 )| < δ ⇒ |u(x, y) − u0 + i(v(x, y) − v0 )| <

DEFINICION 2. El lı́m = ω0 , si para todo > 0, podemos encontrar un M > 0,

|z − z0 | < δ ⇒ |f (z) − f (z0 )| <

(el δ depende del que se tome).