Apuntes Calculo IV Var - Compleja - Version 0.5

Universidad Michoacana de San Nicols de Hidalgo
Facultad de Ingeniera Elctrica
Apuntes para la Materia de

Clculo IV
f(z)=z2+z
Para las Carreras:

Ingeniera Elctrica
Ingeniera Electrnica
Ingeniera en Computacin.
octubre de 2015
Nombre de la materia:
Clave:
No. De horas /semana :
Objetivo:
1) Introducir al estudiante a los conceptos bsicos de la teora de las funciones de
variable compleja, revisar los conceptos de lmite, continuidad, derivada e integral
para este tipo de funciones, introducir el concepto de funcin analtica, el
desarrollo en serie de Laurent y el teorema de los residuos y su importancia en la
teora de integracin de funciones complejas.
2) Se dar una introduccin a la Transformacin de Laplace, sus propiedades, el uso
de las Tablas de Transformadas de Laplace y su aplicacin a la solucin de
ecuaciones diferenciales.
3) Tambin se darn las bases del anlisis de Fourier para seales continuas en el
caso peridico y en el caso no peridico.
Contenido
1. Elementos de la Teora de Variable Compleja. ............................................... 19 hrs.
2. Integracin en el plano complejo ................................. ................................ 19 hrs.
3. Serie de Laurent y teorema de los residuos ............ ..................................... 12 hrs.
4. Transformada de Laplace. .................................. .......................................... 14 hrs.
5. Introduccin al anlisis de Fourier. .................... ........................................... 10 hrs.
Exmenes parciales. ....................................... 6 hrs.
Total ....... ....................... 80 hrs.
Bibliografa:
Texto principal:
1. Matemticas Avanzadas para Ingeniera. Tomos I y II.
Erwin Kreyszig
Ed. Limusa Wiley
Programa Desarrollado
1.
Elementos de la Teora de Variable Compleja. (20 horas)
1.1.
Repaso de nmeros complejos
1.1.1. Formas de representacin de nmeros complejos: rectangular, polar,
par ordenado, forma grfica, vectorial y forma exponencial.
1.1.2. Conversin de rectangular a polar
1.1.3. Conversin de polar a rectangular y correccin en el segundo y tercer
cuadrantes.
1.1.4. Operaciones elementales con nmeros complejos (suma, resta,
multiplicacin y divisin de nmeros complejos)
1.1.5. El argumento y el argumento principal de un nmero complejo
1.1.6. El complejo conjugado y sus propiedades
1.1.7. El mdulo o magnitud de un nmero complejo y sus propiedades
1.1.8. Potencias y races de nmeros complejos
1.2.
Desigualdades y regiones en el plano complejo
1.3.
Funciones de una variable compleja
1.3.1. Funciones componentes
1.3.2. Funcin de variable compleja como transformacin o mapeo entre dos
planos
1.4.
Lmites y continuidad de una funcin compleja
1.5.
Derivada y derivabilidad de una funcin compleja
1.6.
Condiciones necesarias para la derivabilidad de una funcin compleja y
ecuaciones de Cauchy Riemann.
1.6.1. Condiciones suficientes para la derivabilidad.
1.7.
Funciones analticas y puntos singulares.
1.8.
Funciones Armnicas y la ecuacin de Laplace.
1.9.
Funciones exponenciales y logartmicas
1.10. Funciones trigonomtricas .
1.11. Funciones hiperblicas.
Primer examen parcial (2 Horas).
2.
3.
3.1.2. Series, sucesin de sumas parciales, convergencia de una serie.

3.1.3. Ejemplos de sucesiones y series tpicas (aritmtica, geomtrica,
armnica y otras)
3.1.4. Serie geomtrica y su convergencia
3.1.5. Expansin en serie de 1/(1-z).
3.2.
Series de Taylor y Maclaurin y su regin de convergencia.
3.3.
Series de Laurent y su regin de convergencia.
3.4.
Definicin de ceros, polos y residuos
3.5.
Teorema de los residuos.
Segundo examen parcial (2 Horas).
CLCULO IV
CB0003-T
5
Integracin en el plano complejo. (20 horas)

2.1.
Integrales de lnea o de camino
2.1.1. Definicin de camino o arco suave a trozos .
2.1.2. Caminos y su parametrizacin.
2.1.3. Definicin de integral de camino o de lnea y sus propiedades bsicas.
2.1.4. Ejemplos de integracin de funciones a lo largo de caminos abiertos y
cerrados.
2.2.
Independencia de la trayectoria y primitivas
2.3.
El teorema de Cauchy-Gousart
2.3.1. Dominios simple y mltiplemente conexos
2.3.2. El principio de deformacin de caminos.
2.4.
Frmulas integrales de Cauchy
4.
Transformada de Laplace. (14 horas )

Origen de la transformacin de Laplace
Definicin de la Transformada de Laplace bilateral y unilateral de una
funcin de variable real.
4.3.
Clculo de transformadas de Laplace mediante la definicin.
4.4.
Ejemplos de funciones tpicas y su transformada. La funcin escaln, la
funcin rampa.
4.5.
Propiedades de la Transformada de Laplace
4.5.1. Propiedad de Linealidad
4.5.2. Primera propiedad de traslacin (traslacin o corrimiento real).
4.5.2.1. La funcin escaln con corrimiento y su transformada
4.5.2.2. La funcin pulso y su transformada
4.5.2.3. La funcin Impulso Unitario o Delta de Dirac y su transformada
4.5.3. Segunda propiedad de traslacin (traslacin o corrimiento complejo)
4.5.4. Transformada de la derivada y de la derivada mltiple
4.5.5. Transformada de la integral
4.5.6. Teorema del valor final
4.5.7. Teorema del valor inicial
4.5.8. Propiedad de cambio de escala.
4.6.
La convolucin y su transformada de Laplace
4.7.
La transformada inversa de Laplace
4.7.1. La frmula de inversin
4.7.2. Propiedades de la Transformada inversa de Laplace
4.7.3. Clculo de la transformada inversa mediante el uso de Tablas y
expansin en fracciones parciales.
4.8.
Solucin de ecuaciones integro-diferenciales por medio de transformada
de Laplace.
5.
Introduccin al anlisis de Fourier. ( 10 horas)
5.1.
Funciones y seales peridicas.
5.1.1. Definiciones. Funcin peridica, periodo fundamental, frecuencia
fundamental, frecuencia en Hertz, frecuencia angular
5.1.2. Funciones sinusoidales, Amplitud, frecuencia y fase.
5.2.
Funciones ortogonales, ortogonalidad de funciones sinusoidales.
5.3.
Series de Fourier en su forma trigonomtrica para una seal de periodo
arbitrario T.
5.3.1. Coeficientes de Fourier y su obtencin
5.3.2. Valor promedio y componente de CD, componentes armnicas.
5.4.
Series de Fourier en su forma exponencial compleja, espectro de
frecuencia discreto.
5.5.
Simetras par e impar y serie de Fourier de seales simtricas
5.6.
De la Serie a la Integral de Fourier
5.7.
Formas equivalentes de la integral de Fourier
5.8.
La transformada de Fourier.
5.9.
Propiedades de la transformada de Fourier.
5.10. Transformada de Fourier para algunas funciones del tiempo simples.
Espectro de frecuencia continuo.
5.11. La funcin rect, la funcin sinc y la funcin sinc normalizada
5.12. Relacin entre la transformada de Laplace y la transformada de Fourier.
5.13. Teoremas de Parseval y de Rayleigh.
5.14. Condiciones de existencia de la Transformada de Fourier.
5.15. Seales de energa finita y de potencia finita.
5.16. La densidad espectral de energa y de potencia.
5.17. La autocorrelacin y la densidad espectral de energa.
Tercer examen parcial (2 Horas)
4.1.
4.2.
ltima Revisin: Junio de 2015.

Jos Juan Rincn Pasaye.
Serie de Laurent y teorema de los residuos. (10 horas)

3.1.
Sucesiones y series
3.1.1. Progresiones o sucesiones, trmino general, convergencia de una
sucesin
Captulo 1. Elementos de la Teora de Variable Compleja

1.1 Nmeros Complejos
La principal razn por la cual se introducen los nmeros imaginarios en el conjunto total de nmeros
es la misma por la cual se introducen los nmeros negativos en el conjunto de nmeros reales:
As como los nmeros negativos permiten hallar la solucin de ecuaciones de la forma x + 1 = 0 , los
nmeros imaginarios permiten hallar la solucin de ecuaciones de la forma x 2 + 1 = 0 la cual no tiene
solucin en el conjunto de los nmeros reales R .
Para conseguir un objetivo an ms general se introducen los nmeros complejos. Estos nmeros
proporcionarn adems las soluciones de las ecuaciones algebraicas generales de la forma
a 0 + a1 x + ... + a n x n = 0 con coeficientes ai R .
El conjunto de los nmeros complejos que de aqu en adelante se denotar por el smbolo C
contiene todos los tipos de nmeros que se requieren en Ingeniera como se ilustra en la figura 1.1 y
por lo tanto permite encontrar la solucin de cualquier ecuacin cuya solucin sea un nmero.
Conjunto de los Nmeros Complejos C

Nmeros
Racionales Q
Qc
Nmeros
Irracionales
Nmeros Enteros
Nmeros Naturales
Nmeros
Imaginarios
Nmeros
Reales R
El cero
Fig. 1.1.- El conjunto de los Nmeros Complejos contiene a todos los conjuntos de nmeros.
1.1.1- Definiciones
El nmero i se denomina unidad imaginaria y es el nmero tal que i 2 = 1 . En ocasiones se denota
i = 1 . Tambin suele representarse por la letra j en lugar de la letra i .
Un nmero se dice nmero imaginario si es un mltiplo del nmero i , es decir, un nmero
imaginario tiene la forma iy , donde y R .
10
Apuntes de Variable Compleja
Captulo 1.- Elementos de la teora de variable compleja.
Un nmero z se llama nmero complejo y se denota z C , si z es la suma de un nmero real x

ms un nmero imaginario iy , es decir, z = x + iy , donde x, y R .
Si z = x + iy , al nmero real x se le llama parte real de z, denotado Re( z ) y al nmero real y se le
llama parte imaginaria de z , denotado Im( z ) . (Obsrvese que la parte imaginaria no incluye al
nmero i , es decir, la parte imaginaria es un nmero real).
Ejemplo 1.1. Si z = 3 2i C , entonces Re( z ) = 3 , Im( z ) = 2 .
Ejemplo 1.2. El nmero real z = 2 C (Aunque z = 2 es nmero real, tambin es nmero
complejo), en este caso Re( z ) = 2 , Im( z ) = 0 , es decir, z = 2 + i 0 .
De acuerdo al ejemplo anterior, todo nmero real es un nmero complejo con parte
imaginaria cero y todo nmero imaginario es un nmero complejo con parte real cero. El nico
nmero complejo que es real e imaginario a la vez es el cero, ya que 0 = 0 + i 0 .
1.1.2.- Representacin de nmeros complejos.

Un nmero complejo z puede ser representados de varias maneras:
Forma rectangular.- Es la forma en que se defini un nmero complejo z , es decir, en forma de suma
de un real ms un imaginario, es decir,
z = x + iy
(1.1)
Forma de par ordenado.- Como un nmero complejo z consta de dos nmeros reales, en ocasiones
se representa simplemente como z = ( x, y ) , donde x es la parte real de z , y y es la parte
imaginaria de z .
Forma Grfica.- Todo par ordenado se puede representar como un punto o como un vector en un
plano. As, el nmero complejo z = ( x, y ) se puede representar en el plano complejo C como el
punto de coordenadas cartesianas ( x, y ) o tambin como el vector que va del origen al punto ( x, y ) .
Ver figura 1.2.
Im(z)
z=(x,y)
Plano Complejo
Re(z)
Fig. 1.2.- Representacin grfica de un nmero complejo en el plano Complejo.

UMSNH-FIE
Elabor: Jos Juan Rincn Pasaye
Forma polar.- En lugar de expresar las coordenadas rectangulares del punto z = ( x, y ) podemos
expresar sus coordenadas polares z = r , donde r 0 es la distancia del punto z al origen, se
denomina magnitud o mdulo de z y se denota como z , y es el ngulo de la recta que une al
punto con el origen, medido en sentido anti horario con respecto a la parte derecha de la horizontal.
Ver figura 1.3.
z =r
Plano
Complejo
Fig. 1.3. Coordenadas polares de un nmero complejo.
Forma trigonomtrica.- Observando las figuras 1.2 y 1.3 se observa que existe una relacin entre las
coordenadas rectangulares z = ( x, y ) y las coordenadas polares z = r de un nmero complejo z
x = r cos , y = r sin
(1.2)
por lo tanto, el nmero complejo z = x + iy se puede escribir en la forma siguiente
z = r (cos + i sin )
(1.3)
que algunos autores denotan de manera abreviada como

z = r cis( )
(1.4)
Forma exponencial.- A Leonhard Euler (Matemtico Suizo, 1707-1783) se le atribuye la llamada

Frmula de Euler siguiente, que relaciona una funcin exponencial con las funciones trigonomtricas
seno y coseno, como sigue
ei = cos + i sin
(1.5)
usando la frmula de Euler se puede escribir la forma trigonomtrica (1.3) en una nueva forma
z = rei
(1.6)
denominada forma exponencial del nmero complejo z .
Conversin entre representacin Rectangular y Polar.

Las expresiones (1.2) permiten la conversin directa de un nmero de polar a rectangular.
Ejemplo 1.3.- El nmero complejo z = 1 45 se escribe en su forma rectangular como
1
1
+i
z = cos(45) + i sin(45) , es decir, z =
.
2
2
UMSNH-FIE
Sin embargo, la conversin de rectangular a polar requiere un mayor cuidado.

Primero se tiene que tener cuidado en la manera de expresar el ngulo del nmero complejo z ,
tambin llamado argumento del nmero complejo o arg ( z ) , ya que un mismo ngulo se puede
representar de mltiples maneras, ya sea que se estn usando grados o radianes, de hecho,
= arg( z ) = + 2 k , k = 0, 1, 2, 3,...
(1.7)
o bien,
= arg( z ) = + 360k , k = 0, 1, 2, 3,...

donde = Arg ( z ) se denomina argumento principal de z (ntese que se escribe con mayscula
para distinguirlo de = arg ( z ) y adems
<
(1.8)
o bien,
180 < 180
Una vez teniendo este cuidado, podemos obtener una expresin para a partir de (1.2), dividiendo
y entre x se obtiene
y
= tan 1
x
(1.9)
en forma similar, podemos obtener una expresin para r del teorema de Pitgoras, ya que r es la
hipotenusa del tringulo cuyos catetos son x e y , ver figura 1.2, es decir,
r = x2 + y 2
(1.10)
Sin embargo, se tiene que tener una precaucin adicional al evaluar la frmula (1.9) mediante una
calculadora, ya que al hacer la divisin de y entre x se pierde la informacin de signo de estas
componentes y entonces la calculadora no tiene elementos para decidir en cual cuadrante se
encuentra el nmero complejo. Para aclarar esta situacin se presentan los siguientes cuatro
ejemplos:
Ejemplo 1.4.- El nmero complejo z = 1 + i 3 se encuentra en el primer cuadrante, entonces la
calculadora no tiene problemas con el signo de y / x , por lo tanto = tan 1
( 3 ) = 60 , adems
r = 1 + 3 = 2 , por lo tanto la forma polar de z es z = 2 60 , o bien, z = 2 / 3 .
Ejemplo 1.5.- El nmero complejo z = 1 i 3 se encuentra en el cuarto cuadrante, entonces la
calculadora no tiene problemas con el signo de y / x , por lo tanto = tan 1 3 = 60 , adems

2
r = 1 + 3 = 2 , por lo tanto la forma polar de z es z = 2 60 , o bien, z = 2 / 3 .

UMSNH-FIE
Ejemplo 1.6.- El nmero complejo z = 1 + i 3 se encuentra en el segundo cuadrante, entonces la

calculadora tendr problemas con el signo de y / x , ya que lo interpretar como si estuviera en el
cuarto cuadrante, es decir, con la calculadora se obtiene = tan 1 3 = 60 lo cual es incorrecto,

para corregir el resultado hay que sumar 180, por lo tanto el resultado correcto es
= 180 + tan 1 3 = 120 . Adems r = 1 + 3 = 2 , por lo tanto la forma polar de z es

z = 2 120 , o bien, z = 2 2 / 3 . En la figura 1.4 se muestra la correccin realizada
Im(z)
z = 1 + i 3
180 (correccin)
120(correcto)
-1
-60
Re(z)
(calculadora)
Plano Complejo
C
Fig. 1.4. Correccin del ngulo obtenido por la calculadora cuando el nmero est en el segundo cuadrante.
Ejemplo 1.7.- El nmero complejo z = 1 i 3 se encuentra en el tercer cuadrante, entonces la

calculadora tendr problemas con el signo de y / x , ya que lo interpretar como si estuviera en el
primer cuadrante, es decir, con la calculadora se obtiene = tan 1
( 3 ) = 60 lo cual es incorrecto,
para corregir el resultado hay que restar 180, por lo tanto el resultado correcto es
= tan 1 3 180 = 120 . Adems r = 1 + 3 = 2 , por lo tanto la forma polar de z es

z = 2 120 , o bien, z = 2 2 / 3 . En la figura 1.5 se muestra la correccin realizada
Im(z)
Plano Complejo
C
60 (calculadora)
-1
-120(correcto)
Re(z)
-180 (correccin)
z = 1 i 3
Fig. 1.5. Correccin del ngulo obtenido por la calculadora cuando el nmero est en el tercer cuadrante.
UMSNH-FIE
Observacin: Si se cuenta con una calculadora o programa de clculo numrico que cuente
con la funcin atan2, se puede calcular directamente sin necesidad de hacer correcciones el
ngulo del nmero complejo z = x + iy como = atan2( y, x) .
1.2.- Operaciones Fundamentales con Nmeros Complejos.

Antes de introducir las operaciones fundamentales, conviene definir lo que se entiende por nmeros
complejos iguales:
Igualdad de nmeros complejos: Dos nmeros complejos de dicen iguales si sus partes reales son
iguales y sus partes imaginarias son iguales, es decir,
z1 = z2 sii Re( z1 ) = Re( z2 ) y Im( z1 ) = Im( z2 )
(1.11)
Ejemplo1.8. Los nmeros complejos z1 = 1 + j y z2 = 2 45 son iguales y tambin son iguales al

nmero complejo z3 = 2 405 , o al nmero complejo z4 = 2 315 .
Suma de nmeros complejos: La suma de dos nmeros complejos z1 , z2 es el nmero complejo
z1 + z2 cuya parte real es la suma de las partes reales de z1 , z2 y cuya parte imaginaria es la suma
de las partes imaginarias de z1 , z2 , es decir, si z1 = x1 + iy1 , z2 = x2 + iy2 , entonces
z1 + z2 = ( x1 + x2 ) + i( y1 + y2 )
(1.12)
Producto o multiplicacin de nmeros complejos: La multiplicacin de dos nmeros complejos

z1 = x1 + iy1 , z2 = x2 + iy2 es el nmero complejo z1 z2 dado por
z1 z2 = z1 z2 = ( x1 x2 y1 y2 ) + i ( x1 y2 + x2 y1 )
(1.13)
El conjugado complejo (o simplemente conjugado) del nmero complejo z = x + iy es el nmero

complejo z cuya parte imaginaria tiene signo cambiado respecto a la parte imaginaria de z , es
decir,
z = x iy
(1.14)
El conjugado de un nmero complejo tiene propiedades interesantes que utilizaremos a lo largo de

este curso. A continuacin se presenta una lista resumida de dichas propiedades. Se recomienda al
lector verificar cada una de ellas.
Propiedades del conjugado complejo
2
i.
zz = z
ii.
z = z z C
UMSNH-FIE
( Propiedad de involucin )
6
iii.
iv.
z = z Im z = 0 z R
z = z Re z = 0 z imaginario puro
v.
z1 + z2 = z1 + z2
vi.
z1 z2 = z1 z2
________
vii.
viii.
ix.
Se generaliza para n sumandos. Comprobar

Se generaliza para n factores. Comprobar
z1 z1
z
z
Pues si z = 1 ( z2 0) zz2 = z1 z z2 = z1 z = 1
=
z2
z2
z 2 z2
z + z = 2 Re( z )
z z = 2i Im( z )
Ejemplo de Aplicacin
Sea la ecuacin: 0 + 1 z + ... + n z n = 0 con coeficientes i C para i = 0,..., n
Si p es una raz de la ecuacin, entonces p es raz de la ecuacin con coeficiente conjugados
0 + 1 z + ... + n z n = 0 .
En particular, si i R , para i = 0,..., n , p y p son races de la misma ecuacin, y obtenemos la conocida
propiedad de que las races de un polinomio con coeficientes reales, aparecen como parejas de races
conjugadas.
Divisin de nmeros complejos: Usando la propiedad ix del conjugado complejo, podemos convertir
una divisin de nmeros complejos en una multiplicacin. As, la divisin de dos nmeros complejos
z1 / z2 se puede calcular multiplicando numerador y denominador por el conjugado del
denominador como sigue
z
z z
z z
(1.15)
z1 / z2 = 1 = 1 2 = 1 22
z 2 z 2 z2
z2
sustituyendo z1 = x1 + iy1 , z2 = x2 + iy2 se obtiene
z1 z1 z2 ( x1 + iy1 ) ( x2 iy2 ) x1 x2 + y1 y2 + ix2 y1 ix1 y2
=
=
=
2
z2
x2 2 + y2 2
x2 2 + y2 2
z2
(1.16)
Separando en parte real y parte imaginaria queda como sigue
x y x y
z1 x1 x2 + y1 y2
= 2
+ i 2 21 1 2 2
2
z2 x2 + y2
x2 + y2
(1.17)
Se recomienda aprenderse el procedimiento para convertir la divisin en una multiplicacin, ms

que aprenderse el resultado dado por (1.17).
Ejemplo 1.9. Realizar las siguientes operaciones con los nmeros complejos dados en forma
rectangular z1 = 1 + i , z2 = 1 + 2i :
a) z1 + z2
b) z1 z2
UMSNH-FIE
c) z1 z2
d) z1 / z2
Solucin:
z1 + z2 = (1 + i) + (1 + 2i) , agrupando trminos semejantes:
a)
b)
c)
d)
z1 + z2 = 1 + (1) + (1 + 2)i = 0 + 3i = 3i
z1 z2 = (1 + i) (1 + 2i) , agrupando trminos semejantes:
z1 z2 = 1 (1) + (1 2)i = 2 i
z1 z2 = (1 + i )(1 + 2i ) , multiplicando trmino por trmino:
z1 z2 = (1)(1) + (1)(2i) + (i )(1) + i (2i ) , simplificando
z1 / z2
= (1) + (2i ) + (i ) + (2i 2 ) , recordando que = i 2 = 1 y agrupando trminos semejantes

= 3 + i
1+ i
=
, multiplicando numerador y denominador por el conjugado de 1 + 2i :
1 + 2i
1 + i 1 2i (1 + i )(1 2i )
=
=
, realizando la multiplicacin en el numerador:
1 + 2i 1 2i
12 + 22
( 1 + 2) + (i 2i ) 1 3i
=
=
, separando partes real e imaginaria:
5
5
1 3
= i
5 5
Ejemplo 1.10. Realizar las siguientes operaciones con los nmeros complejos dados en forma polar
z1 = 2 45 , z2 = 1 30 :
a) z1 + z2
b) z1 z2
c) z1 z2
d) z1 / z2
Solucin: La multiplicacin y la divisin se realizan fcilmente si los nmeros estn en forma polar, sin
embargo, para la suma y la resta se requiere que los nmeros estn en su forma rectangular, por esta
razn, primeramente los transformamos a su forma rectangular:
3 1
z1 = 2 45 = 1 + i , z2 = 1 30 =
+i
2
2
3 1
z1 + z2 = (1 + i ) +
+ i , agrupando trminos semejantes:
a)
2
2
3 3
z1 + z2 = 1 +
+ i 2 1.866 + 1.5i
2
3 1
z1 z2 = (1 + i )
+ i , agrupando trminos semejantes:
b)
2
2
3 1
z1 z2 = 1
+ i 2 0.134 + 0.5i
2
c)
(
=(
z1 z2 =
)
) (e ) =
2 45 (1 30 ) , usando la forma exponencial:

2ei / 4
i /6
2ei ( / 4 + /6) = 2ei 5 /12 , regresando a la forma polar:
= 2 75 (es decir, solo se multiplican los mdulos y se suman los ngulos).

UMSNH-FIE
d)
2 45
, usando la forma exponencial:
1 30
z1 / z2 =
2ei / 4
= 2ei ( / 4 /6) = 2ei /12 , regresando a la forma polar:
i /6
e
= 2 15 (es decir, solo se dividen los mdulos y se restan los ngulos).
Ejemplo 1.11. Realizar las siguientes operaciones con los nmeros complejos dados en diversas
formas z1 = 2 45 , z2 = 1 + i , pero expresar el resultado en forma rectangular.
a) z1 + z2
b) z1 z2
c) z1 z2
d) z1 / z2
Solucin: Primero convertimos los nmeros a la forma faltante:

z1 = 2 45 en forma rectangular es z1 = 1 + i ,
z2 = 1 + i en forma polar es z2 = 2 135

y usamos la forma ms conveniente de acuerdo a la operacin a realizar:
a)
z1 + z2 = (1 + i ) + ( 1 + i ) = 2i
b)
z1 z2 = (1 + i ) ( 1 + i ) = 2
c)
z1 z2 =
d)
z1 / z2 =
)(
2 45
2 135 = 2 180 = 2
2 45
= 1 90 = i
2 135
El mdulo de un nmero complejo y sus propiedades.

Se llama mdulo de un complejo z = x + iy , o tambin magnitud o valor absoluto del complejo, al
nmero real positivo, designado por z , dado por
z = x2 + y 2
(1.18)
Es decir, el mdulo de z es la magnitud del vector correspondiente a z = x + iy , o bien, la distancia del

punto ( x, y ) al origen del plano complejo.
Propiedades del mdulo de un nmero complejo
a)
z =0 z=0
b) si z R , z es el valor absoluto del nmero real z.

c)
z = z
d)
z = zz
e)
z1 z2 = z1 z2
En efecto: z1 z2 = ( z1 z2 )( z1 z2 ) = ( z1 z2 )( z1 z2 ) =
2
= ( z1 z1 )( z2 z2 ) = z1 z2 z1 z2 = z1 z2
UMSNH-FIE
f)
z
z1
= 1
z2
z2
En efecto: Sea
( z 2 0)
z1 = z z2 z1 = z z2 z =
g)
z1
= z ( z 2 0) . Entonces
z2
z1
z2
z1 + z2 = ( z1 + z2 )( z1 + z2 ) = z1 z1 + ( z1 z2 + z2 z1 ) + z2 z2 = z1 + z2 + 2 Re( z1 z2 )
Anlogamente: z 1 z 2
= z1
2
2
+ z2
2 Re( z1 z 2 )
Por lo tanto: z1 + z 2 + z1 z 2 = 2 z1 + z 2
Algunas desigualdades importantes que involucran el mdulo de un nmero complejo

a)
Re z z , Im z z
b) Desigualdad triangular: z1 + z 2 z1 + z 2
En efecto: Re( z 1 z 2 ) z 1 z 2 = z 1 z 2 = z 1 z 2
Luego z1 + z 2 = z1 + z 2 + 2 Re( z1 z 2 ) z1 + z 2 + 2 z1 z 2 = ( z1 + z 2
2
Por tanto: z1 + z 2 z1 + z 2 , ( generalizable a n sumandos )

c) Anlogamente: z1 z 2 z1 z 2
d)
z Re z + Im z
e) Desigualdad de Cauchy:
n
n
2
2
a
b
a
bi ai , bi C para i = 1,..., n
i i
i
i =1
i =1
i =1
1.1.3.- Potencias y Races de Nmeros Complejos.

Elevacin a potencia entera. Se define la n-sima potencia de z como la multiplicacin repetida por s
misma n veces, es decir , para n positivo:
zn =
z
z
...
z
(1.19)
n veces
Adems,
z n =
1
y z0 = 1
n
z
(1.20)
De la definicin y propiedades de la multiplicacin de nmeros complejos, se deduce que la elevacin

a potencia entera de exponente natural, cumple las mismas leyes de exponentes que en el caso de los
nmeros reales:
n m
z z
=z
n+m
zn
zm
=z
n m
( )
(n > m) ; z
n m
=z
nm
z1n z n2
= (z1z 2 )
Adems, si expresamos el nmero complejo z en su forma exponencial

z n = r n ein
UMSNH-FIE
z1n
z
; n = 1
z2 z2
( z 2 0)
(1.21)
10
Y usando la Frmula de Euler (1.5), se obtiene

z n = r n ( cos(n ) + i sen(n ) )
(1.22)
Haciendo r = 1 , se obtiene la frmula de De Moivre; que proporciona un procedimiento sencillo para

expresar cos(n ) , sen(n ) en trminos de cos , sen :
( cos + i sen )
= ( cos( n ) + i sen( n ) )
(1.23)
Races de un nmero complejo. Se llama raz n-sima de z (donde n N ), a todo complejo w tal
que wn = z y se denota
1
zn = w
(1.24)
A continuacin se demuestra la siguiente propiedad: Todo nmero complejo z 0 , posee n races

n-simas distintas que denotaremos wk , todas ellas tienen el mismo mdulo n r y sus respectivos
A rg z 2k
argumentos son k =
k = 0, 1,..., n 1 .
+
n
n
En efecto, consideremos la forma exponencial del nmero complejo z = rei y de sus races w = ei ,
como wn = z , de la frmula de Euler se obtiene
wn = n ( cos(n ) + isen(n ) ) = z = r ( cos + isen )
(1.25)
Pero de (1.7)
= arg( z ) = + 2 k , k = 0, 1, 2, 3,...
Sustituyendo en (1.25) se obtiene
n ( cos(n ) + isen(n ) ) = r ( cos( + 2 k ) + isen( + 2 k ) ) , k = 0, 1, 2, 3,...
(1.26)
Para que la igualdad anterior se cumpla es suficiente con que se cumpla lo siguiente:
n = r,
n = + 2 k , k = 0, 1, 2, 3,...
Despejando
= n r,
=
+ 2 k
, k = 0, 1, ..., n 1
n
(1.27)
Obsrvese que en la expresin anterior no se consideran todos los posibles valores de k , ya que a
+ 2 k
partir del n-simo valor, el resultado de la divisin =
difiere de los resultados previos en un
n
mltiplo de 2 y por lo tanto representa la misma raz.
En resumen, z1/ n tiene n resultados que son:
UMSNH-FIE
11
z1/ n
+ 2 k
= wk = n r
, k = 0,1,..., n 1
n
(1.28)
O bien,
+ 2 k
z1/ n = wk = n r cos
n

Donde r = z y = Arg ( z ) .
+ 2 k
+ i sen
, k = 0,1,..., n 1
n
(1.29)
Si representamos geomtricamente las n races n-simas de z son los vrtices de un polgono regular
de n lados, inscrito en una circunferencia de radio
z y uno de cuyos vrtices es el punto
z cos + isen , al cual se denomina la raz principal de z . En la figura 1.6 se representa

n
n
un nmero complejo z y sus n races n-simas.

w0 =
Im(z)
w1
w2
2
n
2
n
w3
2
n
w0
2
n
n 2
n
Re(z)
w4
2
n
wn-1
2
n
2
n
Figura 1.6.- Un nmero complejo
z y sus n races n-simas
Ejemplo 1.12. Races de la unidad. En particular si z = 1 , sus n races k son:

2 k
2 k
k = 11/ n = cos
+ i sen
, k = 0,1,..., n 1
n
n
(1.30)
Si llamamos = 1 = cos( 2n ) + isen( 2n ) , en este caso, se cumple que k = k , entonces las n races
de la unidad son 1, , 2 ,...., n 1 . Estas races se representan en la figura 1.7 para el caso n=8
Im(z)
2
3
z =1
Re(z)
Figura 1.7.- Las 8 races octavas de la unidad

UMSNH-FIE
12
Una propiedad interesante que se deduce del ejemplo anterior es la siguiente: Como la multiplicacin
de un complejo z por k equivale a incrementar el argumento de z en 2 k resulta que:
n
Si u1 es cualquier raz n-sima de z , las n races de z sern

u1 , u1 , u1 2 ,...., u1 n 1
, donde = 1
(1.31)
2
n
Ejemplo 1.13. Obtener las 3 races cbicas de z = 1 + i y representarlas en forma polar y en forma
rectangular, tambin representarlas en la forma (1.31) y en forma grfica.
Solucin: Primeramente expresamos el nmero en su forma polar: z = 1 + i = 2 / 4 , es decir,
r = 2 , = / 4 . Ahora aplicando (1.28) con n=3, se obtiene
Para k=0: z1/3 = w0 =
Para k=1: z1/3 = w1 =
Para k=2: z1/3 = w2 =
( / 4) 6
1.1225 15 1.0842 + 0.1905i
= 2
3
12
( / 4 + 2 ) 6 2
2
= 2
+
1.1225 135 0.7937 + 0.7937i
3
12 3
( / 4 + 4 ) 6 4
2
= 2
+
1.1225 255 0.2905 1.0842i
3
12 3
2
Que en forma grfica se representan en la siguiente figura

Im(z)
z = 1+ i
w1
2
3
w0
6
2
3
Re(z)
2
3
w2
Figura 1.8.- Las tres races cbicas de z = 1 + i
Usando la expresin (1.31), con u1 = w0 = 6 2

u1 , u1 , u1 2 =
Donde = 1
12
6
, las tres races son:
12
12
, 6 2
12
2
3
1.2.- Desigualdades y regiones en el plano complejo.

UMSNH-FIE
13
En el conjunto de los nmero reales ( R ) existe un orden, es decir, dados dos nmero reales x, y ,
siempre podemos saber si se cumple o no se cumple la desigualdad x < y , en otras palabras, en la
recta de los nmeros reales siempre sabemos cul de los dos nmeros x, y est a la izquierda del
otro, ver figura 1.9.
R
x< y
Figura 1.9.- Orden en la recta de los nmeros reales
Por esta razn se dice que el conjunto de los nmeros reales es un con junto ordenado.
A diferencia de R , el conjunto de los nmeros complejos ( C ) no est bien ordenado, por esta razn
la desigualdad z1 < z2 no tiene sentido si z1 o z2 son nmeros complejos.
Es decir, las desigualdades solo tienen sentido entre nmeros reales, los cuales sin embargo, pueden
estar especificados en trminos expresiones que involucran nmeros complejos.
As como las desigualdades que involucran nmeros reales conocidos y desconocidos, denotan
intervalos o subconjuntos de la recta real, las desigualdades que involucran nmeros complejos
desconocidos y reales conocidos, representan regiones del plano complejo.
Ejemplo 1.14: La desigualdad 1 < x < 2, x R representa la regin (intervalo) mostrada en la figura
1.10
R
1
1 < x < 2
Figura 1.10.- Desigualdad
1 < x < 2, x R y su regin correspondiente
Ejemplo 1.15: La desigualdad 1 < z < 2, z C no tiene sentido, pero por ejemplo, la desigualdad
1 < Re( z ) < 2, z C si lo tiene y representa la franja vertical infinita delimitada por las rectas
verticales Re( z ) = 1 y Re( z ) = 2 mostrada en la figura 1.11
Im( z )
Re( z )
1 < Re( z ) < 2
UMSNH-FIE
1 < Re( z ) < 2, z C y su regin correspondiente
14
Ejemplo 1.15: En forma similar, la desigualdad 1 < Im( z ) < 2, z C representa la franja horizontal
infinita delimitada por las rectas horizontales Im( z ) = 1 e Im( z ) = 2 mostrada en la figura 1.12
Im( z )
1 < Im( z ) < 2

Re( z )
1
1 < Im( z ) < 2, z C y su regin correspondiente
Como puede verse, las igualdades que involucran nmeros complejos desconocidos y reales
conocidos tambin pueden representar regiones en el plano complejo
Ejemplo 1.16. De acuerdo a los ejemplos anteriores:
Re( z ) = 1 y Re( z ) = 2 son rectas verticales

Im( z ) = 1 e Im( z ) = 2 son rectas horizontales
Ejemplo 1.17. Una regin de especial importancia es la regin dada por
z =r
(1.32)
Donde r es un nmero real positivo.

La expresin (1.32) representa el conjunto de puntos z del plano complejo que estn a una distancia
dada r del origen, es decir, es un crculo de radio r con centro en el origen.
Ejemplo 1.18. En forma similar, la regin
z z0 = r
(1.33)
Donde z0 es un nmero complejo conocido y r > 0 , representa los puntos z del plano complejo,
tales que el vector z z0 tiene una magnitud igual a una constante de valor r , es decir, representa un
crculo de radio r con centro en el punto z0 . Ver figura 1.13.
Im( z )
r = z z0
z - z0
z0
Figura 1.13.- Igualdad

UMSNH-FIE
Re( z )
z z0 = r y su regin correspondiente (crculo)

15
Ejemplo 1.19. En forma similar, si en lugar de una igualdad, escribimos una desigualdad, por ejemplo,
la regin
z z0 < r
(1.34)
Donde z0 es un nmero complejo conocido y r > 0 , representa los puntos z del plano complejo,
tales que el vector z z0 tiene una magnitud menor que una constante de valor r , es decir,
representa el interior de un crculo de radio r con centro en el punto z0 .
A esta regin suele llamrsele disco de radio r con centro en z0 . Ver figura 1.14.
Im( z )
z
z - z0 < r
z0
Re( z )
z z0 < r y su regin correspondiente (disco)
Conjuntos abiertos y cerrados. Para definir cuando un conjunto es abierto o cerrado, debemos
hacer notar primeramente que un conjunto o regin en el plano complejo puede contener por dos
tipos de puntos:
Punto interior: Es un punto del conjunto que est rodeado solamente de puntos
pertenecientes al mismo conjunto.
Punto frontera: Es un punto que puede pertenecer o no al conjunto y que est rodeado tanto
de puntos del conjunto como de puntos que no pertenecen al conjunto
Un conjunto o regin en el plano complejo se dice que es abierto si est formado solamente de
puntos interiores.
Un conjunto o regin en el plano complejo se dice que es cerrado si es el complemento de un
conjunto abierto, o bien, si contiene todos sus puntos frontera.
El conjunto de todos los puntos frontera de un conjunto se denomina simplemente la frontera del
conjunto.
Ejemplo 1.20. Usando las definiciones anteriores, la nica diferencia entre el conjunto dado por la
desigualdad
z z0 < r
(1.35)
Con el conjunto dado por la desigualdad
z z0 r
(1.36)
Es que el primero es un disco abierto y el segundo es un disco cerrado, es decir, el segundo disco s
contiene a su frontera que es el crculo z z0 = r y el primero no la contiene.
Ejemplo 1.21. La doble desigualdad siguiente
UMSNH-FIE
16
r0 < z z0 < r1
(1.37)
Donde z0 es un nmero complejo conocido y adems r1 > r0 > 0 , representa los puntos z del plano
complejo, tales que el vector z z0 tiene una magnitud mayor que r0 , pero menor que r1 , es decir,
una magnitud de valor entre r0 y r1 .
En otras palabras, es decir, representa el interior de una regin anular delimitada por el crculo de
radio menor r0 y el crculo de radio mayor r1 con centro en el punto z0 .
A esta regin suele llamrsele anillo de radio menor r0 y radio mayor r1 con centro en z0 . Ver figura
1.15.
Im( z )
r1
r0
z0
Re( z )
r0 < z - z0 < r1
r0 < z z0 < r1 y su regin correspondiente (regin anular)
Al conjunto dado por la desigualdad z z0 < r se le llama Bola abierta de radio r con centro en
z0 o tambin Vecindad abierta del punto z0 , de radio r .

Al conjunto dado por la desigualdad z z0 r se le llama Bola cerrada de radio r con centro en
z0 o tambin Vecindad cerrada del punto z0 , de radio r .

Un conjunto D se dice que es acotado si existe un nmero finito positivo r , tal que D se puede
encerrar completamente por una bola abierta de radio r , de lo contrario se dice que D es no
acotado.
Todo conjunto no acotado es forzosamente abierto.

Ejemplo 1.22. Los conjuntos de los ejemplos del 1.16 al 1.21 se clasifican a continuacin:
Las rectas horizontales y verticales del ejemplo 1.16 son conjuntos no acotados, por lo tanto
son abiertos.
El crculo del ejemplo 1.17 es un conjunto acotado y es cerrado ya que todos los puntos que
contiene son puntos frontera.
El disco del ejemplo 1.18 es acotado pero abierto, ya que no contiene su frontera.
El disco del ejemplo 1.19 es acotado y cerrado, ya que contiene toda su frontera.
UMSNH-FIE
17
El anillo del ejemplo 1.21 es acotado pero abierto.

1.3.- Funciones de una variable compleja
1.3.1.- Repaso de conceptos bsicos de funciones
Una funcin o aplicacin es una relacin que se establece entre los elementos de dos conjuntos A,
B, de manera que a cada valor del primer conjunto (A) le corresponde solamente un valor del
segundo conjunto (B).
Ejemplo 1.23. Dados dos conjuntos de nmeros A = {1, 2,3, 4} , B = {1, 2,3, 4,5, 6, 7,8} se pueden
establecer muchas relaciones entre los elementos de los conjuntos, pero no todas ellas sern
funciones, por ejemplo, la relacin r mostrada en la figura 1.16a no es una funcin, pero la relacin
f mostrada en la figura 1.16b s lo es.
1
2
3
4
Relacin r
Conjunto A
(a)
1
2
3
4
5
6
7
8
1
2
3
4
Conjunto B
Conjunto A
1
2
3
4
5
6
7
8
Relacin f
Conjunto B
(b)
Figura 1.16.- Dos ejemplos de relaciones establecidas entre dos conjuntos A y B
Notacin: Una relacin o funcin f del conjunto A al conjunto B se denota simblicamente

f : A B y se puede representar detalladamente haciendo una lista de cmo se relaciona
cada elemento y del segundo conjunto (B) con el elemento x del primer conjunto (A) como
sigue:
y = f ( x)
(1.38)
Expresin que se deber leer como: el elemento y est en la relacin o funcin f con el
elemento x
En la expresin (1.38) tambin se acostumbra decir que el elemento y B es la imagen del
elemento x A bajo la funcin f , o bien, que x A es la preimagen de y B bajo la funcin f .
A una relacin que asigna mltiples imgenes a un solo elemento del primer conjunto en ocasiones
se le llama funcin multivaluada.
UMSNH-FIE
18
Otra manera de ver la notacin (1.38) muy usual en fsica y en ingeniera es verla como la
expresin de una relacin de dependencia. En este caso x e y se consideran variables y se dice
que y depende de x mediante la funcin f . Por lo tanto y es la variable dependiente, mientras
que x es la variable dependiente .
Ejemplo 1.24. Usando la notacin anterior, la relacin r mostrada en la figura 1.16a se puede
representar por la siguiente lista:
2 = r (1) , 3 = r (2) , 4 = r (3) , 5 = r (4) , 7 = r (4)
(1.39)
Obsrvese que esta relacin asigna mltiples (dos) imgenes al elemento 4 A , es decir, r (4) = 5, 7
por esta razn no es una funcin, pero puede considerarse una funcin multivaluada.
Y la funcin f de la figura 1.16b se puede representar por la siguiente lista:
1 = f (1) , 3 = f (2) , 5 = f (3) , 7 = f (4)
(1.40)
Obsrvese que esta lista se puede abreviar enunciando simplemente la regla algebraica para formarla:
y = f ( x) = 2 x 1
(1.41)
La cual se aplica a cada elemento del conjunto A para obtener su imagen en el conjunto B.
Es de esperarse que si los conjuntos A, B son infinitos (como los reales o los complejos) , en lugar de
hacer una lista como en (1.39) o en (1.40), se preferir la expresin algebraica como en (1.41).
En el caso de conjuntos infinitos, una forma equivalente a la lista de imgenes con su preimagen es
el conjunto de pares ordenados (preimagen, imagen), es decir, ( x, f ( x) ) que pueden
representarse en un plano y conforman la grfica de la funcin f .
Ejemplo 1.25. Si en el ejemplo dado por la figura 1.16b y por la expresin (1.41) los conjuntos A, B se
reemplazan por el conjunto de los nmeros reales, entonces f : R R y la grfica de la funcin
f ( x) = 2 x 1 se muestra en la figura 1.17.
f ( x)
( x , f ( x ))
f(x)
x
0
0.5
-1
Figura 1.17.- Ejemplo de funcin
UMSNH-FIE
f : R R y su grfica (recta inclinada)
19
1.3.2.- Funciones en el caso complejo.

Si en una funcin f : A B consideramos que los conjuntos A, B pueden ser R o C entonces se
tienen cuatro posibilidades:
f
f
f
f
: R R : Funcin real de variable real

: R C : Funcin real de variable compleja
: C R : Funcin compleja de variable real
: C C : Funcin compleja de variable compleja.
Dado que en realidad R C (todo nmero real es tambin complejo) el cuarto caso de la lista
anterior incluye los primeros tres casos. Sin embargo en ocasiones se consideran los cuatro casos
para hacer nfasis en el tipo de valores que se espera que tomen las variables consideradas y los
resultados de las operaciones realizadas.
Una funcin compleja f de una variable compleja z en general es una funcin de un conjunto
D C en C , es decir, f : D C y se denota por w = f ( z ) . Al conjunto D se le llama el Dominio
de la funcin.
Es decir, f es la funcin que a cada nmero complejo z D , le asocia un nico nmero complejo
w que se puede calcular con la expresin algebraica w = f ( z )
Si a cada valor de z en D corresponde ms de un valor de w , no se trata de una funcin, pero
suele decirse que w es una funcin multivaluada o multiforme de z (por ejemplo la funcin
w = z1/n , que a cada nmero complejo z le hace corresponder sus n races n-simas ).
Una funcin multivaluada puede considerarse como una coleccin de funciones monovaluadas.
Cada miembro de la coleccin se llama una rama de la funcin. Se suele considerar un miembro
particular como rama principal de la funcin multiforme y al valor de la funcin correspondiente a
esa rama se le llama valor principal.
El conjunto imagen, recorrido o rango de una funcin es el conjunto de valores que toma la
funcin:
(1.42)
R ( f ) = {w C w = f ( z ) para algn z D}
1.3.3.- Funciones componentes.

Una funcin compleja de variable compleja se puede expresar siempre en trminos de dos funciones
de reales de variable real llamadas sus funciones componentes.
As, si consideramos la funcin f : C C dada por w = f ( z ) , como tanto w como z son variables
complejas, se pueden expresar en forma rectangular como sigue
w = u + iv , z = x + iy
UMSNH-FIE
20
Pero como w depende de z , entonces u, v dependern de x, y , es decir,

w = f ( z ) = f ( x + iy ) = u ( x, y ) + i v( x, y )
(1.43)
En otras palabras, la funcin compleja de una sola variable compleja w = f ( z ) se puede expresar en
trminos de dos funciones reales de dos variables reales u = u ( x, y ), v = v( x, y ) , estas son las
funciones componentes de w = f ( z ) .
Ejemplo 1.26. La funcin f ( z ) = z 2 , puede expresarse como f ( z ) = ( x + iy) 2 = ( x 2 y 2 ) + 2 xyi , por lo
tanto sus funciones componentes son: u( x, y ) = x 2 y 2 , v( x, y ) = 2 xy .
A la inversa, dadas dos funciones reales u ( x, y ) , v( x, y ) de las variables reales x, y, se puede construir
siempre la funcin w = u ( x, y ) + iv( x, y ) , la cual es una funcin de z = x + iy , recordando que:
x = Re( z ) =
z+z
2
(1.44)
y = Im( z ) =
zz
2i
(1.45)
y que
Ejemplo 1.27. En el caso del ejemplo anterior, donde w = ( x 2 y 2 ) + 2 xyi , sustituyendo las
expresiones (1.44), (1.45) se obtiene:
1
1
z + z (z z )
w = ( z + z )2 2 ( z z )2 + 2
i
4
4i
2
2i
Simplificando se obtiene
w = z2
Ejemplo 1.28. Tomando ahora la funcin w = ( x 2 + y 2 ) + 2 xyi , se obtiene:
2
z+z zz
z + z z z
w=
+
+ 2
2 2i
2 2i
Simplificando
1
w = ( z 2 z 2 + 2 zz )
2
que es funcin de z en la que tambin interviene z .
Ms adelante se ver una condicin suficiente para que la funcin u ( x, y ) + iv( x, y) dependa
nicamente de z , sin intervencin de z , como ocurri en el ejemplo 1.27 y no ocurre en los
ejemplos 1.28 y 1.29.
2
Ejemplo 1.29. Si consideramos la funcin f ( z ) = z = z z , se obtienen sus funciones componentes al

sustituir z = x + iy , entonces f ( z ) = x 2 + y 2 , es decir, u( x, y) = x 2 + y 2 , v( x, y ) = 0 , en otras palabras,
el resultado es puramente real, por lo tanto f es un ejemplo de funcin real de variable compleja.
UMSNH-FIE
21
Si
la variable z se representa en coordenadas polares z = r , entonces, las funciones

componentes quedan de la forma : f ( z ) = u (r , ) + iv(r , )
1.3.4. Representacin grfica. La funcin de variable compleja como transformacin o mapeo.

No puede hacerse una representacin grfica de la funcin w = f (z ) tan conveniente como en el
caso de funciones reales de una variable real y = f (x) , que se representan mediante curvas en el
plano, o como en el caso de funciones reales de dos variables reales z = f ( x, y ) , que se representan
mediante superficies en el espacio tridimensional.
Para el caso de funciones complejas w = f (z ) , es decir u + iv = f ( x + iy ) , se necesitara un espacio de
dimensin cuatro ya que intervienen cuatro variables (dos independientes x, y y dos dependientes
u, v ) .
Una manera de lograr una representacin grfica es mediante dos planos complejos; el plano z
(variable dependiente) de ejes x e y , y el plano w (variable independiente) de ejes u y v . Se
trazarn algunos puntos (arbitrarios) en el plano complejo z y se obtendrn los puntos
correspondientes en el plano w .
z = x + iy
f ( z)
w = u + iv
Toda funcin f de variable compleja define una transformacin o mapeo entre el plano z y el
plano w como sigue: A cada punto P( x, y ) en el plano z , en el dominio de definicin de la funcin
f le corresponder el punto P' (u, v) en el plano w . Tambin se dice que el punto P( x, y ) se
transforma o se mapea en el punto P' (u, v) mediante la transformacin o mapeo f . Entonces P'
es la imagen de P bajo la transformacin f .
Se puede obtener informacin ms descriptiva sobre el comportamiento de f , estudiando cmo se
transforman algunas curvas o regiones seleccionadas del plano z , en lugar de representar
simplemente la transformacin de puntos individuales.
Ejemplo 1.30. Graficar en el plano w la transformacin del rectngulo marcado en el plano z (figura
1.18). Marcar en el plano w los puntos: A, B, C y D correspondientes a la transformacin de los
puntos A, B, C y D respectivamente, mediante la funcin compleja w = f ( z ) = z 2 .
y
2
B'
D'
f ( z) = z
-1
v
8
2
2
-9
-4
-1
-2
C'
-3
-8
A
A'
Plano Z
UMSNH-FIE
Plano W
22

Figura 1.18.- Mapeo de un rectngulo del plano Z al plano W mediante la funcin w = f ( z ) = z 2
Solucin: Las funciones componentes de f ( z ) = z 2 son
u ( x, y ) = x 2 y 2
v( x, y ) = 2 xy
(1.46)
(1.47)
A partir de estas dos ecuaciones podemos obtener la ecuacin que describe el comportamiento de v
en trminos de w de dos maneras: eliminando x o eliminando y :
Para eliminar x se despeja en una ecuacin y se sustituye en la otra, obtenindose
v2
2
u=x 2
(1.48)
4x
La cual (si x es constante) es la ecuacin de una parbola simtrica respecto al eje horizontal u con
vrtice en u = x 2 que se abre hacia la izquierda (conforme v crece, u se va haciendo ms negativo).
Para eliminar y se despeja en una ecuacin y se sustituye en la otra, obtenindose
v2
u = 2 y2
(1.49)
4y
La cual (si y es constante) es la ecuacin de una parbola simtrica respecto al eje horizontal u con
vrtice en u = y 2 que se abre hacia la derecha (conforme v crece, u se va haciendo ms positivo).
El rectngulo dado en el plano Z consta de lneas verticales y horizontales. Al moverse un punto del
plano Z por las lneas verticales x permanece constante y podemos aplicar la ecuacin (1.48),
mientras que al moverse un punto del plano Z por las lneas horizontales y permanece constante y
entonces podemos aplicar la ecuacin (1.49).
v2
Segmento AB: En este segmento x = 2 , obtenindose la parbola u = 4 . Esta parbola solo se
16
recorre para valores de y en el intervalo 3 y 2 , es decir, de acuerdo a la ecuacin (1.47), v
vara el intervalo 12 v 8 , y por lo tanto u vara en el intervalo 5 u 4 , obtenindose el
segmento de parbola en color rojo mostrada en la figura 1.18.
v2
Segmento CD: En este segmento x = 1 , obtenindose la parbola u = 1 . Esta parbola se
4
recorre para valores de y variando de 2 a -3, es decir, de acuerdo a la ecuacin (1.47), v vara de -4
a 6, y por lo tanto u vara de -3 a -8, obtenindose el segmento de parbola en color azul mostrada
en la figura 1.18.
v2
Segmento BC: En este segmento y = 2 , obtenindose la parbola u = 4 , esta parbola se
16
recorre para valores de x de 2 a -1, es decir, de acuerdo a la ecuacin (1.47), v vara de 8 a -4, por lo
tanto u vara de 0 a -3, obtenindose el segmento de parbola en color verde mostrado en la figura
1.18.
UMSNH-FIE
23
v2
9 , esta parbola se
36
recorre para valores de x de -1 a 2, es decir, de acuerdo a la ecuacin (1.47), v vara de 6 a -12, por lo
tanto u vara de -8 a -5, obtenindose el segmento de parbola en color naranja mostrado en la
figura 1.18.
Segmento DA: En este segmento y = 3 , obtenindose la parbola u =
A veces, para usar conceptos geomtricos sencillos como traslacin, rotacin, simetra, etc. se
superponen los planos z y w , considerando la transformacin entre puntos de un solo plano. Por
ejemplo, w = z + 2 representa una traslacin de cada punto z , dos unidades a la derecha, o bien,
por ejemplo w = z , transforma cada punto z en su simtrico respecto al eje real.
1.4.- Lmite de una funcin de variable compleja
Definicin. Sea f una funcin de variable compleja definida en todos los puntos de un entorno de
z0 . Se dice que f ( z ) tiende a w0 si para todo nmero > 0 , existe otro nmero ( ) > 0 tal que
siempre que 0 < z z0 < ocurrir que f ( z ) w0 <
Al nmero w0 se le llama lmite de la funcin f cuando z tiende a z0 y se denota
lim f ( z ) = w0
(1.50)
z z0
En la figura 1.19 se muestran las vecindades circulares involucradas en la definicin del lmite,
obsrvese que de acuerdo a la definicin, dado una vecindad de radio arbitrario que encierra a w
siempre podremos encontrar una vecindad dentro de la cual se puede mover libremente z sin que w
se salga del radio dado.
z0
w = f (z)
0 < z - z0 <
x
Plano Z
w0
z - z0 <
Plano W
Figura 1.18.- Siempre que z se encuentre en el disco de radio , w se encontrar en el disco de radio
Si expresamos los nmeros complejos involucrados en la definicin en forma rectangular: z = x + iy ,

f ( x, y ) = u ( x, y ) + iv( x, y ) , z0 = x0 + iy0 , w0 = u0 + iv0 , la definicin anterior equivale a lo siguiente
lim [u ( x, y ) + iv( x, y )] = u0 + iv0
x x0
y y0
(1.51)
Que corresponde al lmite de una funcin vectorial real de dos variables reales, es decir, de una
funcin de R 2 en R 2 . Por lo tanto, todas las propiedades de los lmites de tales funciones vectoriales
son aplicables al lmite de una funcin compleja de variable compleja.
UMSNH-FIE
24
De ah que puedan afirmarse las siguientes propiedades que se demuestran en un curso de funciones
vectoriales de dos variables.
Propiedades de los lmites de funciones de variable compleja

i. Si el lmite existe, es nico.
lim [ f ( z ) + g ( z ) ] = w0 + 0
z z0
lim f ( z ) = w0
z z0
ii. Si lim f ( z ) = w0 , y lim g ( z ) = 0 , entonces lim f ( z ) g ( z ) = w
0 0
z z0
z z0
z z0
f ( z ) w0
=
, si 0 0
zlim
z0 g ( z ) 0
Re f ( z ) = lim u ( x, y ) = Re w0 = u0
zlim
z0
x x0
y y0
f ( z ) = u ( x, y ) + iv( x, y )
z = x + iy
Im f ( z ) = lim v( x, y ) = Im w0 = v0
zlim
z0
x x0
0
0
0
y y0
entonces
iii. Sea
w0 = u 0 + iv0
lim f ( z ) = w0
lim f ( z ) = w0
z z0
z z0
lim f ( z ) = w
0
z z0
iv. Generalizaciones de la definicin para lmites que involucran al infinito:
lim f ( z ) = M > 0 ( M ) > 0 tal que 0 < z z 0 < f ( z ) > M
z z0
lim f ( z ) = w0 > 0 N ( ) > 0 tal que z > N f ( z ) w0 <
lim f ( z ) = M > 0 N ( M ) > 0 tal que z > N f ( z ) > M
z
z
Ejemplo 1.31. Demostrar que lim ( 2 z + i ) = 3i encontrando el nmero > 0 correspondiente a un

z i
> 0 tal que 0 < z i < implica que ( 2 z + i ) 3i < .

Solucin:
Suponiendo que
( 2 z + i ) 3i < , simplificando se obtiene

2 z 2i <
factorizando
2 z i <
es decir,
z i <
pero si z i
0 < z i <
UMSNH-FIE
2
25
por lo tanto, si se elige = / 2 se pueden seguir los pasos del ltimo hacia el primero y se garantiza
que ( 2 z + i ) 3i < .
Ejemplo 1.32. Demostrar que el siguiente lmite no existe
z
lim
(1.52)
z 0 z
Solucin.
Si el lmite existe, de acuerdo a la propiedad (i) debe ser el mismo independientemente de la
direccin por la cual z tienda a cero. A continuacin se calcula el lmite por dos direcciones distintas:
Si primero se supone que z tiende a cero en forma horizontal, es decir, tomando puros valores
reales, es decir, si z = x + iy supondremos que y = 0 , por lo tanto
_______
z
( x + i 0)
x
lim = lim
= lim = 1
z 0 z
x 0 x + i 0
x 0 x
Ahora se supone que z tiende a cero en forma vertical, es decir, tomando puros valores imaginarios,
o es decir, si z = x + iy supondremos que x = 0 , por lo tanto
_______
z
(0 + iy )
iy
lim = lim
= lim
= 1
z 0 z
y 0 0 + iy
y 0 iy
Como el resultado depende de la direccin elegida, el lmite no puede existir, pues si existiera el
resultado habra sido nico.
Ejemplo 1.33. Calcular el lmite siguiente
z2
(1.53)
z 0 z
Solucin 1. Podemos expresar todo en trminos de funciones reales de variables reales y usar la
propiedad (iii), es decir,
z2
lim = lim [ u ( x, y ), v ( x, y ) ]
z 0 z
x 0
y 0
lim
z2
, es decir,
z
x3 + xy 2
y3 + x2 y
u ( x, y ) = 2
,
v
(
x
,
y
)
=
x + y2
x2 + y2
donde u ( x, y ), v( x, y ) son las funciones componentes de f ( z ) =
Sustituyendo
lim
z 0
x3 + xy 2 y 3 + x 2 y
z2
= lim 2
, 2
2
0
z xy
x
+
y
x + y2
0
x 3 + xy 2
y3 + x2 y
= lim 2
,
lim
0 x + y2
x 0 x 2 + y 2
xy
0
y 0
Factorizando
UMSNH-FIE
26
x( x 2 + y 2 )
y( y 2 + x2 )
,
lim
= lim 2
0
x 0
x + y2
x2 + y 2
xy
0
y 0
= lim x, lim y = [ 0, 0]
0
x 0
xy
0
y 0
es decir, u 0, v 0 , por lo tanto f ( z ) 0
Solucin 2. Por lo general es menos laborioso trabajar todo con nmeros complejos y usar la
propiedad (ii):
z2
z
z
lim = lim ( z ) = lim z lim = 0 1 = 0

z 0 z
z 0
z 0
z
z 0 z
1.4.1. Continuidad
Definicin. Una funcin de variable compleja w = f ( z ) se dice que es continua en un punto z0 si
lim f ( z ) = f ( z0 )
(1.54)
z z0
En forma similar, w = f ( z ) se dice que es continua en un dominio D C si es continua en todo

punto de dicho dominio.
De acuerdo a la definicin anterior, existen tres formas en las cuales una funcin w = f ( z ) puede no
ser continua en un punto z0 , entonces se dice que es discontinua en z0 si:
1) Si lim f ( z ) no existe,
z z0
2) Si f ( z0 ) no existe,
3) O si ambos lim f ( z ) , f ( z0 ) existen pero son distintos.
z z0
Ejemplo 1.34. De acuerdo al ejemplo anterior, la funcin f ( z ) =
z
es continua en todo punto del
z
plano complejo, excepto en z = 0

De las propiedades de los lmites se deducen las siguientes propiedades:
Propiedades de las funciones continuas
f ( z) + g ( z)
f ( z )
Si f ( z ) , g ( z ) son continuas en z 0 , tambin lo son las funciones f ( z ) g ( z )

f ( z)
, para g ( z0 ) 0
g ( z )
Si f ( z ) es continua en z 0 , lo son f (z ) y f (z )
UMSNH-FIE
27
Si f ( z ) = u + iv es continua en z0 = x0 + iy0 , sus funciones componentes u ( x, y ) , v( x, y ) lo son

en ( x0 , y0 )
La composicin de funciones continuas, es continua.
1.5. La derivada de una funcin de variable compleja

Definicin. Sea w = f ( z ) una funcin compleja de variable compleja, definida en un entorno del
punto z0 . Se dice que f ( z ) es derivable en z0 si existe el lmite
f ( z ) f ( z0 )
f ( z0 + z ) f ( z0 )
lim
= lim
(1.55)
z z0
0
z z0
z
Si dicho lmite existe, recibe el nombre de derivada de f ( z ) en z0 .
Notacin. Se acostumbra denotar la derivada de f ( z ) en z0 de cualquiera de las siguientes

maneras: f ' ( z 0 ) ,
f
z
,
z = z0
f
( z0 ) .
z
Ejemplo 1.35. Usando la definicin, calcular la derivada de la funcin f ( z ) = z 2 en z0 .

Solucin. Directamente de la definicin
f ( z0 + z ) f ( z0 )
( z0 + z ) 2 z0 2
f '( z0 ) = lim
= lim
z 0
z 0
z
z
haciendo las operaciones
z0 2 + 2 z0 z + (z )2 z0 2
2 z0 z + (z ) 2
= lim
= lim
z 0
z 0
z
z
factorizando
z (2 z0 + z )
= lim
z 0
z
si z 0 se obtiene
f '( z0 ) = lim (2 z0 + z ) = 2z0
z 0
Obsrvese que el resultado anterior es vlido para cualquier punto arbitrario z0 C , es decir, la
funcin f ( z ) = z 2 es derivable en todos los puntos del plano complejo.
Ejemplo 1.36. Usando la definicin, encontrar los puntos del plano complejo en donde la funcin
f ( z ) = z es derivable.
Solucin. De la definicin se tiene que
f ( z + z ) f ( z )
z + z z
z + z z
z
f '( z ) = lim
= lim
= lim
= lim
z 0
z 0
z 0
z 0 z
z
z
z
Como ya se demostr en el ejemplo 1.32, el lmite anterior no existe para ningn valor de z C .
UMSNH-FIE
28
Ejemplo 1.37. Usando la definicin, encontrar los puntos del plano complejo en donde la funcin
2
f ( z ) = z es derivable.
Solucin. De la definicin se obtiene

2
z + z z
( z + z )( z + z ) z z
z
z
z z + zz + z z
z
= lim
= lim z + z + z
z 0
z 0
z
z
z
= z + lim z
z 0
z
La nica manera en que este ltimo lmite puede existir es que z=0, es decir, la derivada solo existe si
z=0 y su valor es:
z
f '(0) = 0 + lim 0 = 0
z 0
z
f '( z ) = lim
z 0
= lim
z 0
1.6.- Funciones analticas y puntos singulares.

La existencia de la derivada de una funcin compleja de variable compleja, tiene consecuencias muy
importantes en lo que se refiere a las propiedades de la funcin. La investigacin de estas
consecuencias es el tema central de la teora de funciones de variable compleja.
A continuacin introducimos un conjunto de definiciones que nos permitirn distinguir algunos
aspectos relacionados con la existencia de la derivada de una funcin de variable compleja.
Funcin analtica en un conjunto abierto. Una funcin de variable compleja f (z ) se dice analtica
en un conjunto abierto A C , si es derivable en todos los puntos de dicho conjunto A . Tambin
se dice entonces que f ( z ) es regular u holomorfa en A .
Para que f ( z ) sea analtica en un conjunto cerrado C , se requiere que sea analtica en algn
conjunto abierto que contenga totalmente a C
Funcin analtica en un punto. Una funcin de variable compleja f ( z ) se dice analtica en un
punto z 0 si es analtica algn conjunto abierto que contiene a dicho punto z 0 .
Funcin entera. Una funcin de variable compleja f ( z ) se dice entera si es analtica en todo el
plano complejo C .
Punto singular. Un punto z 0 se dice punto singular aislado o singularidad aislada de f ( z ) si la
funcin no es derivable en z 0 , pero s es analtica en algn entorno de z 0 .
Ejemplo 1.38 La funcin f ( z ) = z 2 es entera (ver ejemplo 1.35):
UMSNH-FIE
29
Ejemplo 1.39 En forma similar al ejemplo 1.35 se puede verificar que la funcin polinomial
f ( z ) = an z n + an 1 z n 1 + ... + a1 z + a0 donde n es un nmero natural arbitrario y a0 , a1 ,..., an son
constantes complejas arbitrarias, es una funcin entera.
Ejemplo 1.40 La funcin constante f ( z ) = a , la funcin identidad f ( z ) = z , y la funcin potencia
d n
f ( z ) = z n son casos particulares de la anterior, por lo tanto son enteras. Adems
z = nz n 1
dz
z C .
Ejemplo 1.41 La funcin f ( z ) = z no es derivable en ningn punto (ver ejemplo 1.36).
2
Ejemplo 1.42 La funcin f ( z ) = z solo es derivable en z = 0 , (ver ejemplo 1.37).
1.6.1.- Relacin entre derivabilidad y continuidad:

Teorema: Si una funcin de variable compleja w = f ( z ) es derivable en un punto z0 , entonces es
continua en z0
Demostracin: Sea f (z ) derivable en z 0 , entonces f '( z0 ) existe y por lo tanto el siguiente lmite
f ( z0 + z ) f ( z0 )
z
lim [ f ( z0 + z ) f ( z0 )] = lim
z 0
z
f ( z0 + z ) f ( z0 )
= lim
z
lim
z 0
z
z 0
z 0
Se puede escribir como

= f '( z0 ) lim z =0
z 0
Por lo tanto
lim f ( z 0 + z ) = f ( z 0 )
z 0
Por lo tanto f ( z ) es continua en z 0 .
Observacin 1: El recproco no siempre se cumple, es decir, existen funciones que siendo

continuas, no son derivables.
2
Ejemplo 1.43: la funcin f ( z ) = z es continua en todo C y sin embargo, como se ha visto en el

ejemplo 1.37, solo es derivable en z = 0 .
Observacin 2: Una manera usual de aplicar el teorema anterior es en forma negada, es decir, si
una funcin f (z ) no es continua en un punto, no puede ser derivable en dicho punto.
UMSNH-FIE
30
1
Ejemplo 1.44 La funcin f ( z ) = 2
no es continua en los puntos z = i , z = i , por lo tanto no
z +1
ser derivable en z = i , z = i , se puede demostrar que fuera de estos puntos la funcin s es
derivable, por lo tanto, estos son puntos singulares aislados de f ( z ) .
Propiedades de las operaciones con funciones analticas.

i.
ii.
iii.
iv.
Si f (z ) y g (z ) son derivables en z 0 , lo son tambin f + g , f , fg y tambin f g si g ( z0 ) 0

y sus derivadas vienen dadas por las mismas reglas de derivacin que las funciones reales de
variable real.
Anlogamente si f ( z ) y g ( z ) son analticas en un dominio D , tambin lo son f + g , f , fg en
D y tambin f g si g ( z ) 0 z D .
Si w = f ( z ) es analtica en un dominio D y g ( w) lo es un dominio que contiene la imagen de D
bajo f , entonces la funcin compuesta h( z ) = g [ f ( z )] es analtica en D y se cumple la regla de la
cadena: h' ( z ) = g ' [ f ( z )]. f ' ( z ) , z D , es decir,
dh dg df
=
(1.56)
dz df dz
Si w = f (z ) es analtica en un dominio D y existe la funcin inversa z = f 1 ( w) y es analtica en
df 1 ( z )
1
D' , su derivada es:
=
dz
f '( z )
Las demostraciones de estas ltimas propiedades son formalmente idnticas al caso de funciones
reales de variable real, dado que la definicin formal de lmite y de derivada son idnticas en ambos
casos.
1.7.- Condiciones necesarias para la derivabilidad (condiciones de Cauchy-Riemann)

Sea w = f ( z ) definida en un dominio D C . Si la funcin se escribe en trminos de sus funciones
componentes f ( z ) = u ( x, y ) + iv( x, y ) .Qu condiciones que deben cumplir las funciones
componentes u ( x, y ) , v( x, y) para que f sea derivable en un punto z 0 D ?. a continuacin se
obtienen dichas condiciones.
Si se supone que la funcin w = f ( z ) es derivable en el punto z 0 D , es decir, que existe f '( z0 ) ,
entonces existe el lmite
f ( z0 + z ) f ( z0 )
f '( z0 ) = lim
(1.57)
z 0
z
se puede escribir en trminos de las funciones componentes como
u ( x0 + x, y0 + y ) + iv( x0 + x, y0 + y ) u ( x0 , y0 ) iv( x0 , y0 )
x 0
x + i y
y 0
f '( z0 ) = lim
UMSNH-FIE
(1.58)
31
Como el lmite anterior existe, no importa por cual camino z = x + iy tienda a cero, el resultado
ser el mismo. A continuacin se har tender a cero z de dos caminos distintos, uno horizontal y
otro vertical, como se muestra en la figura 1.19
camino 2
camino 1
x
Plano z
Figura 1.19.- Dos caminos por los cuales z 0
Por el camino 1.- z se hace tender a cero tomando solamente valores reales, o sea y = 0 y por lo
tanto z = x , entonces, de acuerdo a (1.58)
u ( x0 + x, y0 ) + iv( x0 + x, y0 ) u ( x0 , y0 ) iv( x0 , y0 )
f '( z0 ) = lim
x 0
x
es decir,
u ( x0 + x, y0 ) u ( x0 , y0 )
v( x0 + x, y0 ) v( x0 , y0 )
f '( z0 ) = lim
+ i lim
x 0
x 0
x
x
de donde resulta que
f '( z0 ) =
u ( x0 , y0 ) v( x0 , y0 )
+i
x
x
(1.59)
Por el camino 2.- z se hace tender a cero tomando solamente valores imaginarios, o sea x = 0 y
por lo tanto z = iy , entonces, de acuerdo a (1.58)
u ( x0 , y0 + y ) + iv( x0 , y0 + y ) u ( x0 , y0 ) iv( x0 , y0 )
f '( z0 ) = lim
y 0
i y
es decir,
u ( x0 , y0 + y ) u ( x0 , y0 )
v( x0 , y0 + y ) v( x0 , y0 )
f '( z0 ) = lim
+ i lim
y 0
0
i y
i y
simplificando
u ( x0 , y0 + y ) u ( x0 , y0 )
v( x0 , y0 + y ) v( x0 , y0 )
f '( z0 ) = i lim
+ lim
y 0
0
y
y
de donde resulta que
u ( x0 , y0 ) v( x0 , y0 )
f '( z0 ) = i
+
(1.60)
y
y
Por tanto, se han obtenido dos expresiones diferentes (1.59) y (1.60) para la derivada f '( z0 ) .
Igualando partes reales y partes imaginarias por separado de estas expresiones se obtiene:
UMSNH-FIE
32
u ( x0 , y0 ) v( x0 , y0 )
=
x
y
v( x0 , y0 )
u ( x0 , y0 )
=
x
y
(1.61)
Por lo tanto, si la derivada existe se deben cumplir las ecuaciones (1.61), por lo tanto, las ecuaciones
(1.61) son las condiciones necesarias para existencia de la derivada f '( z0 ) .
A las ecuaciones (1.61) se les llama condiciones de Cauchy-Riemann y son necesarias pero no
suficientes para que f '( z0 ) exista.
Observacin 1: Si una funcin f ( z ) cumple las condiciones de Cauchy-Riemann en un punto z0 , no

se puede asegurar la existencia de su derivada en dicho punto.
Observacin 2: Si una funcin f ( z ) no cumple las condiciones de Cauchy-Riemann en un punto, si

se podr asegurar la no existencia de su derivada en dicho punto.
Ejemplo 1.45. La funcin f ( z ) = z no es derivable en ningn punto (ver ejemplo 1.36). Verificar que
las condiciones de Cauchy-Riemann no se cumplen en ningn punto.
Solucin. Las funciones componentes de f ( z ) = z son: u ( x, y ) = x , v( x, y ) = y . Calculando las
derivadas parciales se obtiene
v
u
u
v
= 1 ,
=0,
=1,
=0
x
y
y
x
u
por lo tanto, no se cumplen las condiciones de Cauchy-Riemann en ningn punto, ya que
=1,
x
v
= 1 son distintas ( x, y ) C .
y
2
Ejemplo 1.46. La funcin f ( z ) = z solo es derivable en el origen, (ver ejemplo 1.37). Verificar en
qu puntos se cumplen las condiciones de Cauchy-Riemann.
2
Solucin. Las funciones componentes de f ( z ) = z son: u( x, y) = x 2 + y 2 , v( x, y ) = 0 . Calculando las

derivadas parciales se obtiene
v
u
u
v
= 0,
= 2y ,
= 2x ,
=0
x
y
y
x
por lo tanto, el nico punto en el que se cumplen las condiciones de Cauchy-Riemann es el origen, es
2
decir x = 0, y = 0 , por lo tanto, la funcin f ( z ) = z no puede ser derivable en ningn punto,

excepto en el origen.
UMSNH-FIE
33

2
Ejemplo 1.47. La funcin f ( z ) = z es entera (derivable en todos lados) (ver ejemplo 1.35). Verificar
en qu puntos se cumplen las condiciones de Cauchy-Riemann.
Solucin. Las funciones componentes de f ( z ) = z 2 son: u ( x, y) = x 2 y 2 , v( x, y ) = 2 xy . Calculando
las derivadas parciales se obtiene
v
u
u
v
= 2x ,
= 2 y ,
= 2x ,
= 2y
x
x
y
y
por lo tanto, se cumplen las condiciones de Cauchy-Riemann en todos los puntos del plano complejo,
como era de esperarse.
1.7.1 Condiciones suficientes para derivabilidad

Como ya se aclar en la seccin anterior, si una funcin f ( z ) cumple las condiciones de CauchyRiemann en un punto z0 , no se puede asegurar la existencia de su derivada en dicho punto, es decir,
las condiciones de Cauchy-Riemann son necesarias pero no son suficientes para la garantizar la
derivabilidad de la funcin en un punto.
Lo anterior significa que se pueden agregar condiciones a las de Cauchy-Riemann para lograr la
suficiencia y garantizar la derivabilidad de una funcin en un punto. A continuacin se enuncian (sin
demostracin) dichas condiciones:
Condiciones suficientes para derivabilidad. Sea f ( z ) = u ( x, y ) + iv( x, y ) definida en un dominio
D C. Una condicin suficiente para que f ( z ) sea derivable en el punto z0 = x0 + iy0 D , es que las
u v u v
,
,
,
no solo existan, sino que sean continuas en ( x0 , y0 ) y cumplan
derivadas parciales
x x y y
en dicho punto las condiciones de Cauchy- Riemann.
Ejemplo 1.48. La funcin f ( z ) = z 2 tiene las funciones componentes u ( x, y) = x 2 y 2 , v( x, y ) = 2 xy ,
cuyas derivadas parciales son
v
u
u
v
= 2x ,
= 2 y ,
= 2x ,
= 2y
x
y
y
x
Estas derivadas son funciones continuas en todos los puntos ( x, y ) del plano, adems, las condiciones
de Cauchy-Riemann se cumplen tambin en todos los puntos del plano complejo, por lo tanto la
funcin es derivable en todos lados, (lo cual ya se haba comprobado en el problema 1.35).
1.8.- Funciones armnicas.

Definicin. Sea f ( x, y ) una funcin real de dos variables reales definida en un conjunto abierto
D, es decir, f : D R , donde D R 2 , la funcin f se le llama armnica en D si tiene
UMSNH-FIE
34
derivadas parciales continuas de primer y segundo orden en D que satisfacen la siguiente

ecuacin
2 f 2 f
+
=0
x 2 y 2
(1.62)
A la ecuacin (1.62) se le llama la Ecuacin de Laplace.

Las funciones armnicas estn ntimamente relacionadas con las funciones componentes de una
funcin de variable compleja analtica, de acuerdo a la siguiente propiedad
Teorema. Si una funcin de variable compleja f ( z ) = u ( x, y ) + iv( x, y ) es analtica, sus funciones
componentes u ( x, y ), v( x, y ) son funciones armnicas y se dice que son armnicas conjugadas.
Demostracin.
Si u ( x, y ), v( x, y ) son las componentes de una funcin analtica f , entonces dicha funcin es
derivable en un dominio D y por lo tanto en ese dominio cumple las condiciones de CauchyRiemann, es decir, en todos los puntos de D se cumple
u v v
u
(1.63)
= ,
=
x y x
y
Derivando la primera ecuacin respecto a x y la segunda respecto a y se obtiene
2u 2 v
2v
2u
=
,
= 2
x 2 xy yx
y
restando ambas ecuaciones
2u 2u 2 v
2v
+
=
x 2 y 2 xy yx
pero si u ( x, y ), v( x, y ) son continuas y con derivadas continuas en D el orden de la derivacin no
altera el resultado, es decir,
2v
2v
=
, por lo tanto
xy yx
2u 2u
+
=0
x 2 y 2
en forma similar se demuestra para la funcin v( x, y ) si se deriva la primera ecuacin (1.63) respecto
a y y la segunda respecto a x .
Ejemplo 1.49. Considerando la funcin f ( z ) = z 2 cuyas funciones componentes son u ( x, y) = x 2 y 2 ,
v( x, y) = 2 xy , verificar que estas componentes son funciones armnicas conjugadas.
Solucin. Las derivadas parciales de las funciones componentes son
v
u
u
= 2x ,
= 2 y ,
= 2x ,
x
y
y
v
= 2 y . Derivando nuevamente se obtiene
x
2v
2u
2u
2v
=
2
,
=
0
,
=
2
,
=0
x 2
y 2
y 2
x 2
UMSNH-FIE
35
Sustituyendo en la ecuacin de Laplace se observa que para u ( x, y ) se satisface
2u 2u
+
= 22 = 0
x 2 y 2
En forma similar, para v( x, y ) se obtiene
2v 2v
+
= 0+0 = 0
x 2 y 2
Ejemplo 1.50.
Verifica que la funcin u ( x, y ) = 4 xy 3 4 x3 y + x es armnica. Encuentra adems la funcin armnica
v( x, y ) conjugada de u ( x, y ) .
Solucin.
Para verificar si u ( x, y ) es armnica, obtenemos sus derivadas para sustituir en la ecuacin de
Laplace. Las primeras derivadas son:
u
u
= 4 y 3 12 x 2 y + 1 ,
= 12 xy 2 4 x3
x
y
Derivando nuevamente
2u
2u
=
24
xy
,
= 24 xy
x 2
y 2
Lo cual obviamente satisface la ecuacin de Laplace.
La funcin armnica conjugada v( x, y ) debe satisfacer las condiciones de Cauchy Riemann, por lo
tanto
v u
(1.64)
=
= 4 y 3 12 x 2 y + 1
y x
v
u
(1.65)
=
= (12 xy 2 4 x3 )
x
y
Integrando respecto a y la ecuacin (1.64) se obtiene
v( x, y ) = ( 4 y 3 12 x 2 y + 1)dy + ( x )
(1.66)
Donde ( x) es la constante de integracin, que puede contener a x por que se est integrando
respecto a y . Integrando
v ( x, y ) = y 4 6 x 2 y 2 + y + ( x )
Derivando esta expresin respecto a x se obtiene

v 4
= ( y 6 x 2 y 2 + y + ( x) ) = 12 xy 2 + '( x)
x x
(1.67)
(1.68)
Igualando la expresin anterior con (1.65) se obtiene

v
= (12 xy 2 4 x 3 ) = 12 xy 2 + '( x)
x
UMSNH-FIE
36
De donde
'( x) = 4 x 3
Integrando
( x) = x 4
Finalmente se sustituye en (1.67) y la armnica conjugada buscada es
v ( x, y ) = y 4 6 x 2 y 2 + y + x 4
1.9.- Funciones exponenciales complejas.

En los cursos previos en donde se introducen las funciones de variable real, se definen las funciones
algebraicas como aquellas que se pueden expresar por combinaciones finitas de sumas
multiplicaciones y/o divisiones de la variable independiente y las funciones trascendentes que no se
pueden expresar de esa manera y que son las siguientes:
Funciones exponenciales
Funciones logartmicas,
Funciones trigonomtricas,
Funciones trigonomtricas inversas
Funciones hiperblicas,
Funciones hiperblicas inversas.
A continuacin se trata de extender las funciones trascendentes reales al plano complejo, es decir,
definir funciones complejas de variable compleja, de forma que su restriccin al caso de valores reales
de la variable coincida con la funcin real del mismo nombre. Se pretende adems que en el dominio
en el que la funcin sea derivable, la expresin formal de la derivada coincida con la de la
correspondiente funcin real.
Para definir la funcin exponencial compleja f ( z ) = e z para la variable z C de forma que si z es
un valor real coincida con la funcin exponencial real. Tambin se desea que la expresin de su
derivada sea, como en el caso real: f '( z ) = e z . Y que se cumpla la propiedad ms importante de la
funcin exponencial real: la ley de exponentes.
La funcin exponencial f ( z ) = e z denotada tambin f ( z ) = exp( z ) . Para que se mantenga la ley de
exponentes, deber cumplir:
(1.69)
exp( z ) = e z = e x +iy = e x eiy
iy
Quedando por definir e .
Definicin. Si el exponencial e iy se define como sigue
eiy = cos y + iseny
(1.70)
Resulta que
eiy1 eiy2 = (cos y1 + iseny1 )(cos y2 + iseny2 )
UMSNH-FIE
37
Desarrollando el producto
= (cos y1 cos y2 seny1seny2 ) + i (seny1 cos y2 + cos y1seny2 )
Usando identidades trigonomtricas lo anterior se puede escribir como
= cos( y1 + y2 ) + isen( y1 + y2 )
Que de acuerdo a la definicin (1.70) se puede escribir como
= ei ( y1 + y2 )
Y por lo tanto la definicin (1.70) permite cumplir la ley de los exponentes.
Definicin. Se define la funcin exponencial de una variable compleja z = x + i y , denotada
exp( z ) e z como
exp( z ) = e z = e x + i y = e x eiy = e x (cos y + i seny )
donde y se expresa en radianes.
(1.71)
Con la definicin anterior, la funcin exponencial cumple todas las propiedades del caso real, adems
de otras propiedades nuevas. A continuacin se enuncian algunas de estas propiedades:
i)
Cuando z es puramente real, es decir z = x R , el valor de la funcin exponencial compleja

coincide con el valor de la exponencial real e x .
ii)
La funcin exponencial f ( z ) = e z est definida y es continua z C .
iii) El mdulo y el argumento de f ( z ) = e z se deduce directamente de su definicin (1.71).

ez = ex
(1.72)
arg ( e z ) = y
(1.73)
iv) La funcin exponencial es entera y su derivada es

d z
e = ez
(1.74)
dz
Demostracin:
Por la definicin, las funciones componentes de f ( z ) = e z son
(1.75)
u ( x, y ) = e x cos y , v ( x, y ) = e x seny
Derivando
u
v u
v
= e x cos y = ,
= e x seny =
( x , y ) R 2
x
y y
x
Adems estas derivadas son continuas en todo el plano R 2 , por lo tanto e z es analtica en todo
el plano, es decir, e z es entera, y por lo tanto su derivada se puede calcular de (1.59),
obtenindose
d z u v
e =
+ i = e x cos y + ie x seny = e z
dz
x
x
UMSNH-FIE
38
v)
z1 + z2
z1 , z2 C , ya que ambos miembros tienen el mismo mdulo e x1 + x2 y el mismo
z1 z2
=e e
argumento y1 + y 2
e z1
z1 , z2 C , ya que ambos miembros tienen el mismo mdulo e x1 x2 y el mismo
= z2
vi) e
e
argumento y1 y2
z1 z2
vii) e z =
1
. Ambos miembros tienen el mismo mdulo e x y el mismo argumento y .
z
e
viii) ( e z ) = e nz n entero . Ambos miembros tienen el mismo mdulo e nx y el mismo argumento ny

ix) e z 0 z C , pues e z = e x > 0
x)
eiy = 1 y R , pues eiy = e 0 = 1
xi) e i = 1
xii) Si n es cualquier nmero entero, e 2 n i = 1 y recprocamente: e z = 1 z = 2n i donde n es un
entero.
Demostracin:
La primera parte es inmediata de la definicin e2 n i = cos(2n ) + isen(2n ) = 1
e z = 1
e x = 1
x = 0 z = 2n i
El recproco: Si e = 1 = 1 2n
z
y = 2n
arg e = 2n
z
xiii) e z1 = e z2 z1 z2 = 2n i para algn n entero

xiv) e z es peridica con periodo T = 2 i , es decir e z +2 i = e z
xv)
(e )
z
m
n
= en
( z + 2 k i )
para k = 0,1...n 1
xvi) e z = e z , Se sigue directamente de la definicin.

xvii) Frmulas de Euler: De la definicin (1.70) se obtiene
eiy = cos y + iseny , e iy = cos y iseny
Sumando las dos ecuaciones anteriores se obtiene
eiy + e iy
cos y =
2
UMSNH-FIE
(1.76)
(1.77)
39
Si en lugar de sumar se restan, se obtiene

seny =
eiy e iy
2i
(1.78)
El mapeo definido por la funcin exponencial

El dominio de la funcin f ( z ) = e z es todo el plano complejo, pero su recorrido excluye el origen, es
decir, si w 0 existir algn z C tal que e z = w .
Como la funcin f ( z ) = e z es peridica, la igualdad w = e z se cumplir para una infinidad de nmeros
z C que difieren entre ellos por un mltiplo del periodo 2 i (ver propiedad (xiii)).
Todo punto del plano z , puede llevarse a la banda 0 y < 2 por una traslacin de un mltiplo
entero de 2 i . Por periodicidad, esta traslacin no cambia el valor de la funcin. Por lo tanto, los
puntos contenidos en esta banda del plano z al mapearse por w = e z , llenan todo el plano w (ver
figura 1.20.
v
y= 2
x=a
x=0
y=b
w=e
y=b
y=0
x
w =1 y
y = 0, 2
w = ea y
Plano z
Plano w
Figura 1.20.- Mapeo de rectas horizontales y verticales mediante la funcin w = e z .
La imagen en el plano w del segmento x = a al variar y de 0 a 2 es la circunferencia de radio e a

centrada en el origen. Cuando a crece de a + , el radio del crculo crece desde 0 hasta ,
cubriendo todo el plano w.
La imagen en el plano w de la recta y = b donde 0 y < 2 es la semirrecta que inicia en el origen
con ngulo y = b . Cuando x crece de a + la semirrecta es recorrida de 0 a . Cuando b
crece de 0 a 2 , la semirrecta gira en torno al origen, barriendo todo el plano w.
1.9.1.- La funcin logaritmo de variables complejas

En los cursos bsicos de clculo con funciones de variable real se defini el logaritmo de base a ,
donde a > 0, a 1 como la funcin inversa de la funcin exponencial de base a , es decir, si
y = log a x significa que x = a y .
UMSNH-FIE
40
Para el caso particular en que la base era a = e (el nmero de Neper), la funcin reciba el nombre
de logaritmo neperiano o logaritmo natural y se denotaba y = ln( x) . Cuando la base era a = 10 , se
suprima la a en la notacin y se escriba y = log( x)
En el anlisis complejo, se define anlogamente la funcin logaritmo como funcin inversa de la
funcin exponencial compleja.
Definicin. Sea z C y supngase que z 0 . Si w es un nmero complejo tal que z = e w ,

entonces se dice que w es un logaritmo de z . Y se escribe w = log( z ) . Es decir ,
(1.79)
w = log( z ) z = e w
Observacin. Debido a la periodicidad de la funcin exponencial, se ver que la ecuacin z = ew

tiene infinidad de soluciones. Es decir que w = log( z ) es una funcin multivaluada.
En efecto, Sea w = u + iv y sean r = z y = arg( z ) = + 2k
< , es decir, = Arg ( z ) en radianes.
donde k es un entero y donde
Sustituyendo en z = e w se obtiene
e w = eu +iv = eu (cos v + isen v ) = r (cos + i sen )
(1.80)
Igualando mdulo y ngulo se obtiene eu = r , es decir,

u = ln r
(1.81)
y adems
v = = + 2 k
(1.82)
w = log z = ln r + ( + 2k )i
(1.83)
Por lo tanto
Para k = 0, 1, 2,...
Se le llama logaritmo principal de z o valor principal del logaritmo, denotado w = Log ( z ) al
valor obtenido en (1.83) cuando k=0, es decir,
Log ( z ) = ln(r ) + i
(1.84)
La funcin logaritmo principal definida como en (1.84) es una funcin univaluada y est definida
en todo el plano complejo, excepto en el origen. Su recorrido es la franja horizontal de anchura 2
< v , donde v = Im( w) .
En el caso en que z es puramente real y positivo, es decir, z = x R y x > 0 , entonces el valor

principal de su logaritmo complejo, coincide con su logaritmo real neperiano, es decir:
Log x = ln x
UMSNH-FIE
41
En la figura 1.21 se muestra el mapeo de un crculo de radio r centrado en el origen en el plano z y una
semirecta que parte del origen con un ngulo . Se puede observar que cada punto del crculo y cada
punto de la recta tienen una infinidad de imgenes separadas una distancia vertical de 2 en el plano
w. Una vuelta completa sobre el crculo en el plano z se mapea en una infinidad de segmentos
verticales de recta de alto 2 en el plano w.
v
+ 4
z
r
+ 2
w = log z
ln r
2
4
6
Plano z
Plano w
Figura 1.21.- Mapeo de un crculo de radio r y una semirecta inclinada mediante la funcin w = log( z ) .
A partir de la funcin multiforme log z = ln r + ( + 2k )i , adems de la funcin univaluada Log z ,

obtenida dando a k el valor de cero, pueden obtenerse otras funciones univaluadas, tomando
cualquier otro valor de k .
Cada una de estas funciones recibe el nombre de rama de la funcin logaritmo. El dominio de
todas ellas es el plano complejo excepto el origen. Y el recorrido de la rama correspondiente a un
valor particular de k es la franja horizontal de anchura 2 : (2k 1) < v (2k + 1)
Tambin pueden definirse otras ramas partiendo de una redefinicin de la funcin principal como
F ( z ) = ln r + i con r > 0 y 0 < 0 + 2 . A la semirrecta = 0 se le llama corte de la rama.
En el caso del valor principal Log z , el corte de la rama es la semirrecta = .
Propiedades de la funcin logaritmo de variable compleja.

i) La funcin Log z = ln r + i , donde < es continua en todo el plano complejo, excepto en
los puntos del semieje real negativo, es decir, excepto en el corte de esta rama, por lo tanto
tampoco es derivable en esos puntos.
Explicacin:
En los puntos en los que la funcin Log z = ln r + i no tiene ningn problema de
continuidad, sus valores estn bien definidos y son iguales al lmite de la funcin al acercarse a esos
valores.
UMSNH-FIE
42
Sin embargo, si z0 = x0 es un nmero real negativo (por lo tanto es un punto en el semieje real
negativo), entonces z0 = x0 es decir, r = x0 y = , entonces Log z0 = ln x0 + i , pero el lmite
lim Log z no est definido, ya que si nos acercamos por arriba de z0 = x0 este lmite tiende a
z z0
ln x0 + i , pero si nos acercamos por debajo de z0 = x0 el lmite tiende a ln x0 i , por lo tanto,
Log z no es continua en z0
ii) La funcin Log z es analtica en el dominio D = {z C | z 0 , < Arg ( z ) < } y su derivada en
ese dominio es
d
1
( Log z ) =
dz
z
(1.85)
Demostracin
De acuerdo a la propiedad (i), la funcin Log z = ln r + i es continua en D y si z = r , sus
funciones componentes son
u (r , ) = ln r , v(r , ) =
(1.86)
Derivando
u 1 v
u
u
= ,
= 0,
= 0,
=1
(1.87)
r r r
Estas derivadas son continuas y satisfacen en D las condiciones de Cauchy-Riemann que en

coordenadas polares son las siguientes
u v
r
=
r
(1.88)
v
u
r =
r

Por lo tanto la funcin Log z es analtica en D y su derivada se puede calcular como sigue
d
1
1
u v
1
z D
Log z = e i + i = e i = i =
dz
r
z
r
r re
iii) Si z1 z2 0 , se verifican las siguientes propiedades del logaritmo de una multiplicacin
log( z1 z2 ) = log z1 + log z2 .
Demostracin: de (1.83) se obtiene
log( z1 z2 ) = ln r1r2 + (1 + 2 + 2k )i = ln r1 + ln r2 + (1 + 2 + 2k )i
= log z1 + log z 2
Log ( z1 z2 ) = Log z1 + Log z2 + 2 i ( z1 , z2 ) siendo:
1 si 2 < Arg z1 + Arg z 2
(z1 , z 2 ) = 0 si < Arg z1 + Arg z 2

1 si < Arg z + Arg z 2
1
2
iv) Si z1 z2 0 , se verifica: log( z1 / z2 ) = log z1 log z2 . La demostracin es anloga a la del producto.

UMSNH-FIE
43
1.9.2.- Exponentes complejos

Dados dos nmeros complejos z1 0 y z 2 se define la elevacin de una nmero complejo a una
potencia compleja como sigue
z1z2 = e z2 log z1 = exp( z2 log z1 )
(1.89)
De esta definicin es evidente que z1z2 tiene una infinidad de valores posibles debido a que log z1 los
tiene. Se consideran a continuacin los casos en que z1 o z2 son constantes.
Funcin potencia (base variable).
En el caso f ( z ) = z siendo una constante compleja y z 0 . De acuerdo a (1.89) se tendr que
z = e log z
(1.90)
i
Si z = re , con < resulta:
ln r + i ( + 2 k )]
z = e log z = e [
(1.91)
Donde k es un entero arbitrario
Por lo tanto la funcin potencia f ( z ) = z es multivaluada como log z . Cada rama de log z dar lugar
a una rama de la funcin potencia.
Si en la funcin potencia z = e log z se toma como determinacin de log z la rama principal L og z , se
obtiene el valor principal de z , es decir,
valor principal de z = e Log z
Considerando este valor principal, se trata de una funcin continua y analtica en el dominio D
definido por {r > 0, < < } , por ser funcin compuesta de continua y analticas.
Adems la derivada de esta funcin se puede calcular como
d
z = z 1
dz
Demostracin:
d d Log z Log z
e Log z
z = e
= e
= Log z = e( 1) Log z = z 1
dz
dz
z
e
En forma similar ocurre para otras ramas de log z
(1.92)
Otras propiedades de la funcin potencia compleja se enlistan a continuacin:

i.
Para los valores principales de z se cumple:

z 1 z 2 = z 1 + 2
Demostracin:
(1.93)
z 1 + 2 = e (1 + 2 ) Log z = e 1Log z e 2Log z = z 1 z 2

UMSNH-FIE
44
ii.
Tambin para los valores principales:

( z1 z2 ) = z1 z2 e ( z1z2 )
Demostracin:
Log z + Log z2 + 2 i ( z1 , z2 )]
( z1 z2 ) = e Log ( z1z2 ) = e [ 1
= z1 z2 e 2 i ( z1z2 )
(1.94)
Casos particulares:
Caso = m entero:
m ln r + i ( + 2 k )]
En este caso z m = e [
= em ln r eim e2 k mi , pero e2 k mi = 1 . Por lo tanto z m = r m eim . En este caso
z m es continua y coincide con la potenciacin vista antes.
Caso racional: =
En este caso z
p/q
p
, donde p , q son enteros y primos entre s.
q
=e
( p / q )[ ln r + i ( + 2 k )]
=e
( p / q )ln r i ( p / q ) 2 k ( p / q ) i
, donde e
2 k ( p / q ) i
=e
2 k pi
q
( 1)
q
. Por lo
tanto, en este caso z p / q tiene q determinaciones y coincide con la potenciacin de exponente racional
vista antes.
Funcin exponencial (base constante).

En el caso f ( z ) = z , con 0 , complejo. De acuerdo a (1.89) se obtiene
z = e z log
(1.95)
Por cada determinacin de log , se tendr una determinacin de .

Si se toma el valor principal Log de log , se tiene el valor principal de z .
Este valor principal es una funcin entera por ser composicin de funciones enteras. Adems, su
derivada est dada por
d z
= z Log
(1.96)
dz
Puesto que
d z d zLog
= e
= ( Log )e zLog = z Log
dz
dz
1.10.- Funciones trigonomtricas de variable compleja.

Una forma natural de definir las funciones seno y coseno de una variable compleja es a partir de la
generalizacin de la Frmula de Euler que se ha visto que se cumple para variables reales y aplicarla
para variables complejas, es decir, para z C :
eiz + e iz
cos z =
(1.97)
2
UMSNH-FIE
45
e e iz
2i
iz
sen z = sin z =
(1.98)
Evidentemente, de (1.97) y (1.98) se puede obtener la Frmula de Euler siguiente

eiz = cos( z ) + i sin( z )
(1.99)
Propiedades de las funciones trigonomtricas de variable compleja:

A partir de las definiciones del seno y el coseno (1.97), (1.98) se pueden demostrar las siguientes
propiedades:
i) Para el caso real z = x R , el valor de las funciones definidas en (1.97), (1.98) coincide con el valor
de las funciones seno y coseno de variable real.
ii) Las funciones sin( z ) y cos( z ) son enteras y sus derivadas son:
d
( senz ) = cos z
(1.100)
dz
d
(cos z ) = senz
(1.101)
dz
Demostracin: Son enteras por ser combinaciones lineales de las funciones enteras: eiz y eiz ,
adems
d
d eiz e iz eiz + e iz
( senz ) =
= cos z
=
dz
dz 2i
2
En forma similar para cos z .
iii) Las funciones sin( z ) y cos( z ) son peridicas con periodo 2 . Esto se cumple debido a que la
funcin e z es de periodo 2 i , por lo tanto eiz , eiz lo son de periodo 2.
Todas las identidades trigonomtricas que se demuestran en un curso bsico de trigonometra se

pueden demostrar tambin para variables complejas a partir de las definiciones (1.97), (1.98). A
continuacin se enlistan solo algunas de las ms importantes:
iv) sin( z ) = sin( z ) y cos( z ) = cos( z ) . Es consecuencia directa de la definicin.
v) sen 2 z + cos 2 z = 1 . Se obtiene directamente de la definicin
sin( z1 z2 ) = sinz1 cos z2 cos z1sinz2

vi)
cos( z1 z2 ) = cos z1 cos z2 sinz1sinz2
Demostracin: Sustituyendo las definiciones en la expresin sinz1 cos z2 + cos z1sinz2 se obtiene
1
sinz1 cos z2 + cos z1sinz2 = eiz1 e iz1 eiz2 + e iz2 + eiz1 + e iz1 eiz2 e iz2
4i
Desarrollando los productos y simplificando
UMSNH-FIE
)(
) (
)(
46
1
= ei ( z1 + z2 ) e i ( z1 + z2 ) = sen( z1 + z2 )
2i
En forma similar para la diferencia y para el coseno.
vii) sin z = cos z , cos z = sinz .

2
Demostracin. Se puede demostrar partiendo
sen z = sen cos z cos senz = cos z .

2
2
2
Y en forma similar para cos z

2
viii)
de
la
propiedad
anterior,
pues
cos nz + i sen nz = ( cos z + i senz ) . Esta propiedad se obtiene directamente de la frmula de
Euler (1.99):
n
cos nz + i sen nz = einz = ( eiz ) = ( cos z + i senz )
sen z = sen x cos h y + i cos x sin h y

ix)
cos z = cos x cos h y i sen x sin h y
e y e y
sinh y =
= i sen(iy )
2
donde
cosh y = cos (iy ) =
e y + e y
2
Partiendo de la la propiedad (vi)

sen z = sen( x + iy ) = sen x cos iy + cos x sen iy = sen x cos h y + i cos x sin h y
cos z = cos( x + iy ) = cos x cos iy sen x sen iy = cos x cos h y i sen x sin h y
x) senz = senz
(1.102)
(1.103)
cos z = cos z
eiz e iz e i z ei z ei z e i z
En efecto, senz =
=
= senz .
=
2i
2i
2i
En forma similar para el coseno
xi) Las funciones sin( z ) y cos( z ) no son acotadas, pues

2
cos z = cos 2 x + sinh 2 y ,
senz = sen 2 x + sinh 2 y
En efecto, de (1.102) se obtiene

2
sen z = sen 2 x cosh 2 y + cos 2 x sinh 2 y

= sen 2 x 1 + sinh 2 y + cos 2 x sinh 2 y = sen 2 x + sinh 2 y
Anlogo para cos( z ) .

xii)
cos z = 0 z =
UMSNH-FIE
+ k ; senz = 0 z = k donde k es un entero arbitrario.

47
Es decir, que las races de sen( z ) y cos( z ) son las mismas de de senx y cosx respectivamente.
Demostracin: senz = 0 eiz e iz = 0 e 2iz = 1 2iz = 2k i por lo tanto z = k .
Anlogo para el coseno
Las funciones trigonomtricas restantes
Para nmeros complejos z C - + k , k entero se definen la tangente y la secante

2
senz
tan z = tg ( z ) =
cos z
1
sec z =
cos z
(1.104)
(1.105)
Y para nmeros complejos z C - {k , k entero} se definen la cotangente y la cosecante
cos z
sen z
1
csc z =
sen z
cot g z =
(1.106)
(1.107)
Propiedades: Las siguientes son solo algunas de varias propiedades que se pueden obtener
directamente de las definiciones anteriores.
i) Las funciones anteriores son analticas en sus respectivos campos de existencia y en ellos su
derivada est dada por:
d
d
(tg z ) = sec 2 z = 1 + tg 2 z
(sec z ) = sec z tg z
dz
dz
d
d
(cot g z ) = csc 2 z
(csc z ) = csc z cot g z
dz
dz
ii) tg ( z1 z2 ) =
tg z1 tg z2
1 tg z1tg z2
1.11.- Funciones hiperblicas de variable compleja.

Las funciones seno y coseno hiperblicos de una variable compleja z C se definen formalmente
con la mismas expresiones usadas en el caso de variable real:
e z + e z
Ch z = cosh z =
(1.108)
2
e z e z
Sh z = sinh z =
(1.109)
2
UMSNH-FIE
48
A partir de las definiciones anteriores, se pueden demostrar las siguientes propiedades de las
funciones seno y coseno hiperblicos de variable compleja
i) En el caso en que z sea puramente real, es decir, z = x R , el valor de estas funciones coincide
por definicin con el valor de las funciones coseno y seno hiperblico reales.
ii) Las funciones sinh z y cosh z son enteras por ser combinaciones lineales de las funciones enteras
e z y e z . y sus derivadas son las siguientes:
d
(sinh z ) = cosh z
(1.110)
dz
d
(cosh z ) = sinh z
(1.111)
dz
iii) Las funciones sinh z y cosh z son peridicas con periodo 2i, pues e z y e z son peridicas con ese
periodo.
iv) Directamente de comparar las definiciones de las funciones trigonomtricas con las hiperblicas se
pueden obtener las siguientes relaciones:
cos iz = cosh z
(1.112)
sin iz = i sinh z
(1.113)
cosh iz = cos z
(1.114)
sinh iz = i sin z
(1.115)
De acuerdo con (1.112) y (1.113) se deduce que De toda identidad trigonomtrica vlida en el
campo complejo, se deduce una identidad hiperblica vlida tambin en el campo complejo,
reemplazando z por iz y expresando las funciones trigonomtricas de iz por medio de funciones
hiperblicas de z mediante (1.112) y (1.113). Las siguientes identidades se pueden obtener
utilizando esta observacin.
v) cosh( z ) = cos z , sinh( z ) = sinh z
vi) cosh 2 z sinh 2 z = 1 .
Se puede obtener partiendo de la identidad cos 2 z + sen 2 z = 1 : cambiando z por iz:
cos 2 iz + sen 2iz = 1 segn (1.112) y (1.113): cosh 2 z sinh 2 z = 1
vii)
sinh( z1 z2 ) = sinh z1 cosh z2 cosh z1 sinh z2

, Se obtienen aplicando la observacin a la
cosh( z1 z2 ) = cosh z1 cosh z2 sinh z1 sinh z2
propiedad (vi) para funciones trigonomtricas.
sinh z = sinh x cos y + i cosh x sen y

, Se demuestra directamente sustituyendo z = x + iy y
cosh z = cosh x cos y + i sinh x sen y

luego aplicando la propiedad anterior.
viii)
UMSNH-FIE
49
ix) sinh z = sinh z ,
cosh z = cosh z
x) cosh z = cos 2 y + sinh 2 x
sinh z = sen 2 y + sinh 2 x
i + k i , sinh z = 0 z = k i donde k es un entero arbitrario. Esto se cumple

2
pues sinh z = 0 e z e z = 0 e 2 z = 1 2 z = 2k i z = k i .
Anlogo para cosh z .
xi) cosh z = 0 z =
Las funciones hiperblicas restantes

Se definen para nmeros complejos z C + k i donde k es un entero arbitrario:

2
sinh z
Thz = tanh z =
(1.116)
cosh z
1
sec h z =
(1.117)
cosh z
Se definen para nmeros complejos z C {k i} donde k es un entero arbitrario:
cosh z
sinh z
1
csc h z =
sinh z
Cth z = coth z =
(1.118)
(1.119)
Propiedades
i) Las funciones anteriores son analticas en sus respectivos campos de existencia y en ellos su
derivada est dada por:
d
(tanh z ) = sech 2 z
dz
d
(coth z ) = csc h 2 z
dz
d
(sec h z ) = sec h z tanh z
dz
d
(csc h z ) = csc h z coth z
dz
ii) Otras propiedades de estas funciones se obtienen a partir de las propiedades vistas para sinh z y
cosh z .
1.12.- Funciones trigonomtricas inversas
Dado que las funciones trigonomtricas se han definido en trminos de exponenciales, sus funciones
inversas se podrn expresar en trminos de funciones logartmicas.
UMSNH-FIE
50
Se define la funcin w = arcsin z = arcsen z , como la inversa del seno es decir:

w = arcsin z z = sin w
(1.120)
Pero de la definicin de la funcin seno:
eiw e iw
2i
iw
Multiplicando ambos miembros por 2ie se obtiene
2ieiw z = e 2iw 1
z=
Igualando a cero
iw 2
(e )
2izeiw 1 = 0
(1.121)
La ecuacin anterior es una ecuacin cuadrtica en eiw , despejando

eiw = iz + z 2 + 1
(1.122)
de donde
w = i log iz + 1 z 2
(1.123)
Por lo tanto
w = arcsen z = i log iz + 1 z 2
(1.124)
Como es sabido 1 z 2 es funcin bivaluada de z , por lo tanto (1.124) define una funcin con
una doble infinitud de determinaciones.
Si se usan ramas concretas para la raz y el logaritmo, la correspondiente funcin w = arcsin z ser
analtica por ser funcin compuesta de funciones analticas.
En forma similar se define la funcin inversa del coseno
w = arccos z z = cos w
(1.125)
Procediendo de forma anloga a lo hecho para arcsin z se obtiene:

w = arccos z = i log z + z 2 1
(1.126)
Y en forma similar
w = arctan z =
i
i+z
log
2
iz
(1.127)
Tomando una rama analtica de cada una de ellas, se demuestra que sus derivadas son:
d
1
arcsin z =
,
dz
1 z2
UMSNH-FIE
d
1
arccos z =
,
dz
1 z2
d
1
arctan z =
dz
1+ z2
51
1.13.- Funciones hiperblicas inversas
Actuando de forma anloga a como se ha hecho con las funciones inversas de las trigonomtricas
Se define la funcin inversa del seno hiperblico como
ew e w
w = arcsin h z z =
2
(1.128)
De la definicin
e2 w 2 ze w 1 = 0
por lo tanto
ew = z + 1 + z 2
es decir,
w = arcsin h z = log z + 1 + z 2
(1.129)
w = arccos h z = log z + z 2 1
(1.130)
1
1+ z
w = arctan h z = log
2
1 z
(1.131)
Y anlogamente:
Tomando una rama concreta de cada funcin, las correspondientes funciones obtenidas son analticas
en su dominio de definicin siendo sus respectivas derivadas:
d
1
d
arcsin h z =
;
arccos h z =
2
dz
dz
1+ z
UMSNH-FIE
1
2
z 1
d
1
arctan h z =
dz
1 z2
52

Apuntes Calculo IV Var - Compleja - Version 0.5

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

Apuntes Calculo IV Var - Compleja - Version 0.5

Cargado por

Copyright:

Formatos disponibles

Universidad Michoacana de San Nicols de Hidalgo

Facultad de Ingeniera Elctrica

Apuntes para la Materia de

Para las Carreras:

3.1.2. Series, sucesin de sumas parciales, convergencia de una serie.

Integracin en el plano complejo. (20 horas)

Transformada de Laplace. (14 horas )

ltima Revisin: Junio de 2015.

Serie de Laurent y teorema de los residuos. (10 horas)

Captulo 1. Elementos de la Teora de Variable Compleja

Conjunto de los Nmeros Complejos C

Apuntes de Variable Compleja

Captulo 1.- Elementos de la teora de variable compleja.

Un nmero z se llama nmero complejo y se denota z C , si z es la suma de un nmero real x

1.1.2.- Representacin de nmeros complejos.

Fig. 1.2.- Representacin grfica de un nmero complejo en el plano Complejo.

Apuntes de Variable Compleja

Captulo 1.- Elementos de la teora de variable compleja.

Fig. 1.3. Coordenadas polares de un nmero complejo.

que algunos autores denotan de manera abreviada como

Forma exponencial.- A Leonhard Euler (Matemtico Suizo, 1707-1783) se le atribuye la llamada

Conversin entre representacin Rectangular y Polar.

Apuntes de Variable Compleja

Captulo 1.- Elementos de la teora de variable compleja.

Sin embargo, la conversin de rectangular a polar requiere un mayor cuidado.

= arg( z ) = + 360k , k = 0, 1, 2, 3,...

r = 1 + 3 = 2 , por lo tanto la forma polar de z es z = 2 60 , o bien, z = 2 / 3 .

Ejemplo 1.5.- El nmero complejo z = 1 i 3 se encuentra en el cuarto cuadrante, entonces la

calculadora no tiene problemas con el signo de y / x , por lo tanto = tan 1 3 = 60 , adems

r = 1 + 3 = 2 , por lo tanto la forma polar de z es z = 2 60 , o bien, z = 2 / 3 .

Apuntes de Variable Compleja

Captulo 1.- Elementos de la teora de variable compleja.

Ejemplo 1.6.- El nmero complejo z = 1 + i 3 se encuentra en el segundo cuadrante, entonces la

cuarto cuadrante, es decir, con la calculadora se obtiene = tan 1 3 = 60 lo cual es incorrecto,

= 180 + tan 1 3 = 120 . Adems r = 1 + 3 = 2 , por lo tanto la forma polar de z es

Ejemplo 1.7.- El nmero complejo z = 1 i 3 se encuentra en el tercer cuadrante, entonces la

= tan 1 3 180 = 120 . Adems r = 1 + 3 = 2 , por lo tanto la forma polar de z es

Apuntes de Variable Compleja

Captulo 1.- Elementos de la teora de variable compleja.

1.2.- Operaciones Fundamentales con Nmeros Complejos.

z1 = z2 sii Re( z1 ) = Re( z2 ) y Im( z1 ) = Im( z2 )

Ejemplo1.8. Los nmeros complejos z1 = 1 + j y z2 = 2 45 son iguales y tambin son iguales al

Producto o multiplicacin de nmeros complejos: La multiplicacin de dos nmeros complejos

El conjugado complejo (o simplemente conjugado) del nmero complejo z = x + iy es el nmero

El conjugado de un nmero complejo tiene propiedades interesantes que utilizaremos a lo largo de

Apuntes de Variable Compleja

Captulo 1.- Elementos de la teora de variable compleja.

Se generaliza para n sumandos. Comprobar

Separando en parte real y parte imaginaria queda como sigue

Se recomienda aprenderse el procedimiento para convertir la divisin en una multiplicacin, ms

Apuntes de Variable Compleja

Captulo 1.- Elementos de la teora de variable compleja.

= (1) + (2i ) + (i ) + (2i 2 ) , recordando que = i 2 = 1 y agrupando trminos semejantes

2 45 (1 30 ) , usando la forma exponencial:

2ei ( / 4 + /6) = 2ei 5 /12 , regresando a la forma polar:

= 2 75 (es decir, solo se multiplican los mdulos y se suman los ngulos).

Apuntes de Variable Compleja

Captulo 1.- Elementos de la teora de variable compleja.

Solucin: Primero convertimos los nmeros a la forma faltante:

z2 = 1 + i en forma polar es z2 = 2 135

El mdulo de un nmero complejo y sus propiedades.

Es decir, el mdulo de z es la magnitud del vector correspondiente a z = x + iy , o bien, la distancia del

b) si z R , z es el valor absoluto del nmero real z.