Vous êtes sur la page 1sur 35

VARIABLE COMPLEJA

MANUEL CURREA
614101008
Fundacin Universitaria Konrad Lorenz
March 16, 2012
2
Contents
Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
Nmeros Complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Operaciones basicas en C . . . . . . . . . . . . . . . . . . . . . . . 6
Geometra de los Nmeros Complejos . . . . . . . . . . . . . . . . 8
Representacin Polar y Exponencial . . . . . . . . . . . . . . . . . 11
Funciones Analticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
Dominio de una Funcin . . . . . . . . . . . . . . . . . . . . . . . . 17
Lmites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
Derivadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
Funciones Elementales . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
Integrales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
Series . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
Residuos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
3
4 CONTENTS
Introduccin
El presente documento se realiza con el n de demostrar la suciencia en el curso de
variable compleja, que imparte la Fundacin Universitaria Konrad Lorenz como
parte de su programa academico de pregado en Matematicas. Repasaremos los
conceptos bsicos de variable compleja, haciendo nfasis en el desarrollo de ejem-
plos.
Todos los ejercicios aqui desarrollados, son los propuestos en el libro: Variable
Compleja y Aplicaciones escrito por Ruel V. Churchill y James Ward Brown.
Se utilizo la quinta edicin de la cual existen dos copias en la biblioteca de la
Fundacin. En los capitulos de Series y Residuos, tambin nos apoyamos con el
texto Matemticas Avanzadas Para ingeniera escrito por Peter V. ONeil
(sexta edicin).
El trabajo aqui presentado ha sido apoyado por la profesora Jenny Carvajal
Caminos, con quien nos reuniamos semanalmente (los miercoles para ser mas
precisos) para revisar los avances en cuanto a desarrollo temtico, estas tutorias
fueron sugeridas por la Coordinadora Diana Carrillo.
Muchas gracias por el apoyo brindado, espero que este trabajo sirva tambien
como ayuda a los proximos estudiantes del curso de variable compleja.
MANUEL CURREA
CONTENTS 5
Nmeros Complejos
Cuando encontramos ecuaciones como r
2
+ 1 = 0 nos damos cuenta que en los
R no encontramos un numero que cumpla la condicin, es por esta razn que se
hace necesario ampliar el conjunto de donde podemos extraer la solucin; asi pues
denimos los numeros complejos como pares ordenados
. = (r, j) (1)
por otro lado decimos que;
i
2
= 1 (2)
entonces decimos que un numero complejo tiene la forma . = r + ji con
r, j 2 R , y llamamos a este el conjunto numerico de los complejos que se simboliza
con C . Los numeros r y j se conocen como la parte real y parte imaginaria de
z, respectivamente, la mayoria de textos coincide en escribir;
Re(.) = r Im(.) = j (3)
si ., n 2 C , . = r
1
+j
1
i n = r
2
+j
2
i , tenemos las siguientes deniciones
Denition 1 Dos nmeros complejos son iguales, si y solo si sus partes reales e
imaginarias son iguales, es decir
. = n ()r
1
= r
2
j
1
= j
2
Denition 2
i
2
= 1
i
3
= i
2
i = 1
i
4
= i
2
i
2
= 1
6 CONTENTS
Operaciones basicas en C
Denition 3 (Operaciones basicas en C)
. + n = (r
1
+ r
2
) + i(j
1
+ j
2
)
.n = (r
1
r
2
j
1
j
2
) + i(r
1
j
2
+ r
2
j
1
)
.
n
= (
r
1
r
2
+ j
1
j
2
r
2
2
+ j
2
2
) + i(
j
1
r
2
r
1
j
2
r
2
2
+ j
2
2
)
bajo estas condiciones, los numeros complejos son una extensin de los reales.
Si un complejo tiene su parte real nula, se dice que es un imaginario puro (y
visceversa)
r + 0i (rca| jnro)
0 + ji (i:aqi:ario jnro)
Example 4 comprobar
(
p
2 i) i(1
p
2i) = 2i
(
p
2 i) i
p
2 =
p
2 i i
p
2 =
2i =
Example 5 comprobar
5
(1 i)(2 i)(3 i)
=
i
2
5
(2 i 2i 1)(3 1)
=
5
(1 3i)(3 i)
=
5
3 i 9i 3
=
5
10i
i
i
=
i
2i
2
=
i
2
CONTENTS 7
Example 6 comprobar
(1 i)
4
= 4
(1 i)
2
2
=
(1 2i 1)
2
=
(2i)
2
=
4i
2
= 4
Example 7 hallar la solucion de .
2
+ . + 1 = 0
. = r + ji
(r + ji)
2
+ (r + ji) + 1 = 0
r
2
+ 2rji + j
2
i
2
+ r + ji + 1 = 0 dc:arro||a:do
r
2
j
2
+ r + 1 + i(2rj + j) = 0 ca|cn|a:do j aqrnja:do
1qna|a:do |a: jartc: rca| c i:aqi:aria, tc:c:o:
r
2
j
2
+ r + 1 = 0 (2rj + j) = 0
rc:o|ic:do c| :i:tc:a
. =
1
2

p
3
2
Example 8 Demostrar
Im(i.) = Re .
Im(i(r + ji)) = Re . si . = r + ji
Im(ir j) = Re . Resolviendo
r = Re . Que es precisamente la parte real de .
Example 9 Demostrar
Re(i.) = Im.
Re(i(r + ji)) = Im. si . = r + ji
Re(ir j) = Im. Resolviendo
j = Im. Que es precisamente la parte imaginaria de .
8 CONTENTS
Geometra de los Nmeros Complejos
Podemos representar un complejo . en un plano cartesiano, si tomamos el eje hori-
zontal y representamos la parte real y al eje vertical lo utilizamos para representar
la parte imaginaria, de esta menera tenemos
. = (r, j)
donde . = r + ji con Re . = r y Im. = j
Denition 10 (mdulo o norma de un complejo) El valor absoluto de un
complejo . = r + ji se dene como el numero real no negativo
_
r
2
+ j
2
y se
denota como j.j
j.j =
_
r
2
+ j
2
(MODULO)
Denition 11 El conjugado de un complejo . = r+ji se dene como el numero
r ji , y se denota por ., es decir;
. = r ji
notese que j.j = j.j
Example 12 Calcular . + 3i
:i . = r + ji, c:to:cc: . = r ji
dc do:dc r ji + 3i = r i(j 3) = r + i(j 3)
)i:a|:c:tc r + ji 3i = . 3i
Example 13 probar que

(2. + 5)(
p
2 i)

=
p
3 j2. + 5j
n:a:do |a dc)i:icio: dc a|or a/:o|nto

(2. + 5)(
p
2 i)

= j2. + 5j

p
2 i

=
(2 j.j + 5)
p
3
p
3 j2 j.j + 5j
CONTENTS 9
Example 14 usando el hecho de que j.
1
.
2
j es la distancia entrelos puntos z
1
y
z
2
, dar un argumento geometrico para ver que la ecuacin j. 4ij +j. + 4ij = 10
,representa una elipse con focos (0, 4);
co:o . = r + ji
jr + ji 4ij +jr + ji + 4ij = 10
aqrnja:do jr + i(j 4)j +jr + i(j + 4)j = 10
n:a:do |a dc)i:icio: dc :or:a
_
r
2
+ (j 4)
2
+
_
r
2
+ (j + 4)
2
= 10
_
r
2
+ j
2
8j + 16 +
_
r
2
+ j
2
+ 8j + 16 = 10
_
r
2
+ j
2
8j + 16 = 10
_
r
2
+ j
2
+ 8j + 16
c|ca:do a| cnadrado
_
_
r
2
+ j
2
8j + 16
_
2
=
_
10
_
r
2
+ j
2
+ 8j + 16
_
2
100 20
_
r
2
+ j
2
+ 8j + 16 + r
2
+ j
2
+ 8j + 16 = r
2
+ j
2
8j + 16
:i:j|i)ica:do 16j 100 = 20
_
r
2
+ j
2
+ 8j + 16
c|ca:do a| cnadrado dc :nco 256j
2
+ 3200j + 10000 = 400(r
2
+ j
2
+ 8j + 16)
:i:j|i)ica:do 3600 = 400r
2
+ 144j
2
)i:a|:c:tc
r
2
3
2
+
j
2
5
2
= 1
dc do:dc c
2
= 25 9
c = 4
Example 15 Usando el hecho de que j.
1
.
2
j es la distancia entrelos puntos
z
1
y z
2
, dar un argumento geomtrico para ver que la ecuacin j. 1j = j. + ij
,representa la recta de pendiente 1 que pasa por el origen
co:o . = r + ji
jr + ji 1j = jr + ji + ij
10 CONTENTS
Figure 0-1 Elipse j. 4ij +j. + 4ij = 10
n:a:do |a dc)i:icio: dc :or:a (r 1)
2
+ j
2
= r
2
+ (j + 1)
2
j = r
CONTENTS 11
-5 -4 -3 -2 -1 1 2 3 4 5
-5
-4
-3
-2
-1
1
2
3
4
5
x
y
recta j. 1j = j. + ij
Representacin Polar y Exponencial
Denition 16 (Forma polar de un complejo) sea . = r+ji un complejo no
nulo, podemos representarlo como:
r = r cos 0 j = r sin0
y puede ser representado como
. = r(cos 0 + i sin0) (4)
Se debe tener en cuenta que el valor de 0 no es unico, por ser las funciones
sin0 y cos 0 funciones periodicas, es decir si un complejo tiene ngulo c , entonces
0 = c + 2: (: = 0, 1, 2, 3, ...)
Es claro que el valor de r es la longuitud del vector correspondiente a . , es
decir r es la norma de . . El numero 0 se llama argumento de . y se dene como
tan0 =
j
r
(ARGUMENTO)
En general, entonces
. = r [cos (0 + 2:) + i sin(0 + 2:)] (: = 0, 1, 2, 3, ...)
12 CONTENTS
se acostumbra llamar a 0 el argumento de . ( arg . ), si arg . este
se llama el valor principal de arg . .
la ecuacion c
i
= cos 0 +i sin0 se conoce como formula de euler , si utilizamos
4 se puede expresar en forma exponencial un complejo, asi;
. = rc
i
Basados en esto, a continuacion revisaremos algunas propiedades;
si .
1
y .
2
son complejos, entonces;
.
1
.
2
= r
1
r
2
[cos(0
1
+ 0
2
) + i sin(0
1
+ 0
2
)]
.
1
=
1
r
c
i
.
1
.
2
=
r
1
r
2
[cos(0
1
0
2
) + i sin(0
1
0
2
)]
arg(
.
1
.
2
) = arg .
1
arg .
2
.
n
= r
n
c
in
(cos 0 + i sin0)
n
= cos :0 + i sin:0 (Formula de De Moivre)
esta ltima es conocida como la frmula de De Moivre
Example 17 Hallar un valor para arg . , si . =
2
1+
p
3i
2
1 +
p
3i
1
p
3i
1
p
3i
=
2 + 2
p
3i
4
. =
1
2
+
p
3
2
i
tan0 =
p
3
0 =

3
CONTENTS 13
Example 18 Hallar un valor para arg . , si . = (
p
3 i)
6
(
p
3 i)
6
= cos 60
1
+ i sin60
1
tan0
1
= (
1
p
3
) =
_

p
3
3
_
0
1
=

6
0 = 60
1
0 =
Example 19 Expresando los factores individuales de la izquierda en forma expo-
nencial, efectuar las operaciones requeridas, y cambiar nalmente a coordenadas
rectangulares, para probar que;
i(1
p
3i)(
p
3 + i) = 2(1 +
p
3i)
usando las deniciones ARGUMENTO y MODULO, tenemos
c

2
2c

3
2c

6
= 4c

3
4c

3
= 4(cos

3
+ i sin

3
) = 4(
1
2
+ i
p
3
2
)
2(1 + i
p
3)
Example 20 Expresando los factores individuales de la izquierda en forma expo-
nencial, efectuar las operaciones requeridas, y cambiar nalmente a coordenadas
rectangulares, para probar que;
(1 + i)
7
= 8(1 + i)
usando las deniciones ARGUMENTO y MODULO, tenemos
(
p
2c

4
)
7
= 8
p
2c

7
4
8
p
2c

7
4
= 8
p
2(cos
7
4
+ i sin
7
4
) = 8
p
2(
p
2
2
i
p
2
2
)
8(1 + i)
14 CONTENTS
Example 21 probar que c
i
= c
i
jor 4 cos 0 + i sin0 = cos 0 i sin0
= cos(0) + i sin(0)
= c
i
Example 22 Usar la Formula de De Moivre para deducir las siguientes identi-
dades trigonomtricas
a) cos 30 = cos
3
03 cos 0 sin
2
0 /) sin30 = 3 cos
2
0 sin0sin
3
0
n:a:do 1or:n|adc1c'oirc co: : = 3, :c tic:c
(cos 0 + i sin0)
3
= cos 30 + i sin30
(cos 0 + i sin0)
3
= cos
3
0 + 3 cos
2
0 sin0i 3 cos 0 sin
2
0 sin
3
0i 1rja:dic:do
= (cos
3
0 3 cos 0 sin
2
0) + (3 cos
2
0 sin0 sin
3
0)i qrnja:do
cos 30 + i sin30 = (cos
3
0 3 cos 0 sin
2
0) + (3 cos
2
0 sin0 sin
3
0)i 1i:a|:c:tc
cos 30 = cos
3
0 3 cos 0 sin
2
0 sin30 = 3 cos
2
0 sin0 sin
3
0
Se obtiene la respuesta, separando las partes reales e imaginarias.
Example 23 Hallar las cuatro races de la ecuacion .
4
+ 4 = 0, y usarlas para
factorizar .
4
+ 4 en factores cuadraticos con coecientes reales.
.
4
+ 4 = 0
.
4
= 4
. = (4)
1
4
(4)
1
4
= 4
1
4
c
(
0
+2k)
1
4
=
p
2(cos(0
0
+ 2/) + i sin(0
0
+ 2/))
=
p
2(cos
_
0
0
+ 2/
4
_
+ i sin
_
0
0
+ 2/
4
_
/ = 0, 1, 2, 3
CONTENTS 15
Entonces las 4 races son;
p
2
_
p
2
2
+ i
p
2
2
_
= 1 + i / = 0
p
2
_

p
2
2
+ i
p
2
2
_
= 1 + i / = 1
p
2
_

p
2
2
i
p
2
2
_
= 1 i / = 2
p
2
_
p
2
2
i
p
2
2
_
= 1 i / = 3
.
1
= 1 + i .
2
= 1 i .
3
= 1 + i .
4
= 1 i
en forma compleja podemos escribir;
.
1
= 1 i .
2
= 1 i
siendo estas las soluciones de (.
2
+ 2. + 2) y (.
2
2. + 2) respectivamente,
entonces podemos escribir
.
4
+ 4 = (.
2
+ 2. + 2)(.
2
2. + 2)
Example 24 Probar que la formula cuadrtica usual resuelve la ecuacin cuadrtica
a.
2
+ /. + c = 0 (a 6= 0) (5)
cuando los coecientes a, / y c son nmeros complejos.
Prueba. Tenemos a.
2
+/. +c = 0 con a 6= 0 y a, /, c 2 C, entonces al ser a 6= 0,
se puede escribir la ecuacin 5 , al dividir por a de esta manera;
.
2
+
/
a
. +
c
a
= 0
Ahora, restamos
c
a
, en ambos lados de la ecuacin;
.
2
+
/
a
. =
c
a
Completando el cuadrado de la izquierda, tenemos;
.
2
+
/
a
. +
_
/
2a
_
2
=
c
a
+
_
/
2a
_
2
factorizando y realizando las operacines;
16 CONTENTS
_
. +
/
2a
_
2
=
4ac + /
2
4a
2
Si estraemos la raz cuadrada en ambos lados de la ecuacin;
_
. +
/
2a
_
=
_
4ac + /
2
4a
2
Despejando la . y realizando los clculos, tenemos;
. =
/ +
p
/
2
4ac
2a
No es necesario el signo al que estamos acostumbrados en la raz, ya que
existen dos races cuadradas del complejo /
2
4ac.
Example 25 Hallar las races de la ecuacin .
2
+ 2. + (1 i) = 0
Utilizando la ecuacin 5 , tenemos a = 1, / = 2, c = 1 i;
. =
2 +
_
4 4(1 i)
2
efectuando las operaciones;
. = 1 +
p
i
desarrollando igual que en el ejercicio 23, teniendo en cuenta que
p
i = 1
1
4
,
se obtiene;
. = 1 + (
p
2
2
+
p
2
2
i), 1 + (
p
2
2

p
2
2
i)
CONTENTS 17
Funciones Analticas
Dominio de una Funcin
Ahora nos vamos a ocupar de las funciones de variable compleja, si hacemos una
analoga con los textos y cursos de variable real, podemos decir que una funcin
) denida sobre o
1
es una regla que asigna a cada . en o un nmero n complejo.
As pues, el nmero n es el valor de ) calculado en . y se denota por )(.); esto
es;
n = )(.)
si n = n +i, y este es el valor de una funcion ) en . = r +ji, entonces )(.)
puede ser expresado en terminos de un par de funciones de valores reales, es decir;
)(.) = n(r, j) + i(r, j) (6)
tambin la podemos expresar en coordenadas polares asi;
)(.) = n(r, 0) + i(r, 0) (7)
Al igual que en las funciones de variable real, podemos dar un dominio de
denicin de la funcin de variable compleja, cuando no se menciona, se sobreen-
tiende, que es el mximo conjunto posible.
Example 26 Describir el dominio de denicin de )(.) =
z
z+z
.
Como puede verse el numerador no genera ningun inconveniente, por el con-
trario en el denominador debemos asegurar que no se vuelva cero, asi que buscamos
donde se hace cero y estos puntos los quitamos del dominio.
. + . = 0
si . = r + ji, entonces r + ji + r ji = 0, de donde 2r = 0, lo que nos lleva
a r = 0, como r = Re(.) como lo dice (3), entonces el dominio sera;
Re . 6= 0
es decir, todos los . para los que su parte real no es cero.
Example 27 Describir el dominio de denicin de )(.) =
1
1jzj
2
.
Como en el ejemplo anterior debo analizar en que puntos 1 j.j
2
= 0, asi
pues, con un poco de operacion y recordando la denicin de MODULO, tenemos
1
El conjunto S se llama el dominio de denicin de f:
18 CONTENTS
que 1 = r
2
+ j
2
, entonces el dominio de la funcin son todos los ., tales que
r
2
+ j
2
6= 1.
Example 28 Expresar )(.) = .
3
+ . + 1 en la forma )(.) = n(r, j) + i(r, j).
si . = r+ji, entonces )(r+ji) = (r+ji)
3
+(r+ji) +1 y con unas cuantas
operaciones tenemos: )(.) = r
3
+ 3r
2
ji 3rj
2
j
3
i + r + ji + 1, y agrupando;
)(.) = r
3
3rj
2
+ r + 1 + (j j
3
+ 3r
2
j)i y entonces;
n(r, j) = r
3
3rj
2
+ r + 1 (r, j) = j j
3
+ 3r
2
j
Example 29 Sea )(.) = r
2
j
2
2j +i(2r 2rj), donde . = r +ji. Usar que
r =
. + .
2
e j =
. .
2i
para expresar )(.) en trminos de ., y simplicar el resultado.
Example 30 Reemplazando los valores de r y j, en la funcin;
)(.) =
_
. + .
2
_
2

_
. .
2i
_
2
2
_
. .
2i
_
+i
_
2
_
. + .
2
_
2
_
. + .
2
__
. .
2i
__
resolviendo;
)(.) =
.
2
+ 2.. + .
2
4

.
2
2.. + .
2
4(1)

.
i
+
.
i
+ i. + i.
.
2
2
+
.
2
2
)(.) = .
2
+ 2.i
Lmites
Al tener funciones de variable compleja, podemos pensar en calcular lmites de
estas funciones. Como las propiedades de los lmites en complejos son anlogas
a las propiedades en los reales, no se hace necesario el enunciarlas. Sin embargo
realizaremos algunos ejemplos para dejar claro esto.
Example 31 Calcular lim
z!1i
[r + i (2r + j)]
solo basta recordar que . = r +ji, entonces lim
z!1i
[1 + i (2(1) + (1))] = 1 +i
CONTENTS 19
Derivadas
Si tenemos una funcin )(.), le podemos calcular su derivada basandonos en las
siguientes reglas;
d
d.
c = 0
d
d.
. = 1
d
d.
[c)(.)] = c)
0
(.)
d
d.
.
n
= :.
n1
: 2 Z, (:i : 2 Z

). 6= 0)
d
d.
[)(.) + 1(.)] = )
0
(.) + 1
0
(.)
d
d.
[)(.)1(.)] = )(.)1
0
(.) + )
0
(.)1(.)
d
d.
_
)(.)
1(.)
_
=
1(.))
0
(.) )(.)1
0
(.)
[1(.)]
2
Como podemos ver funcionan identicamente a la variable real.
Example 32 Hallar la derivada de (2.
2
+i)
5
, basandonos en las anteriores reglas;
d
d.
(2.
2
+ i)
5
= 5(2.
2
+ i)
4
(4.) = 20.(2.
2
+ i)
Ecuaciones de Cauchy-Riemann
Cuando derivamos funciones de variable compleja, debemos asegurar que dicha
derivada exista. hasta ahora nos hemos limitado al clculo de derivadas, pero
recordemos que una funcion de variable compleja se puede escribir como;
Example 33
)(.) = n(r, j) + i(r, j) (8)
a continuacin, daremos las condiciones necesarias para que las derivadas ex-
istan.
Theorem 34 Supongamos que
)(.) = n(r, j) + i(r, j) (9)
20 CONTENTS
y que )
0
(.) existe en un punto .
0
= r
0
+ij
0
. Entonces las primeras derivadas
parciales de n y deben existir en ese punto y deben satisfacer en l las ecuaciones
de Cauchy-Riemann
n
x
=
y
n
y
=
x
(10)
Adems, )
0
(.
0
) se puede expresar como
)
0
(.
0
) = n
x
+ i
x
(11)
donde las derivadas parciales estn evaluadas en (r
0
, j
0
).
Theorem 35 Sea la funcin
)(.) = n(r, j) + i(r, j) (12)
denida en algn - entorno de un punto .
o
= r
0
+ ij
0
. supongamos que las
derivadas parciales de primer orden de las funciones n y respectao a r y j
existen en todos los puntos de ese entorno y son continuas en (r
0
, j
0
). Entonces,
si esas derivadas parciales satisfacen las ecuaciones de cauchy-Riemann
n
x
=
y
n
y
=
x
(13)
en (r
0;
j
0
), La derivada )
0
(.
0
) existe.
Si la funcin esta denida en coordenadas polares
)(.) = n(r, 0) + i(r, 0)
las ecuaciones de Cauchy-Rieman, pasan a ser;
n
r
=
1
r

1
r
n

=
r
(14)
y la derivada se dene como
)
0
(.
0
) = c
i
(n
r
+ i
r
) (15)
Example 36 Demostrar mediante el teorema 35, que )
0
(.) y su derivada f
00
(.)
existen en todas partes, y calcular )
00
(.), para )(.) = i. + 2
como . = r + ji, )(.) = i(r + ji) + 2 = 2 j + ir, entonces tenemos;
n(r, j) = 2 j (r, j) = r
n
x
= 0
y
= 0
CONTENTS 21
n
y
= 1
x
= 1
Asi satisface 13 y en virtud del teorema 35, entonces la derivada existe, y es;
)
0
(.) = i
)
00
(.) = 0
Example 37 Demostrar mediante el teorema 35, que )
0
(.) y su derivada f
00
(.)
existen en todas partes, y calcular )
00
(.), para )(.) = c
x
c
iy
Reescribimos la funcion como
)(.) = c
x
(cos(j) + i sin(j)) = c
x
(cos j i sinj)
de aqui tenemos
n = c
x
cos j = c
x
sinj
n
x
= c
x
cos j
y
= c
x
cos j
n
y
= c
x
sinj
x
= c
x
sinj
Cumple 13, entonces la derivada existe
)
0
(.) = c
x
(cos j + i sinj)
)
00
(.) = c
x
(cos j i sinj)
Example 38 Hallar el dominio de denicin y la derivada de )(.) =
p
rc
i

2
)(.) =
p
r
_
cos
0
2
+ i sin
0
2
_
n =
p
r cos
0
2
=
p
r sin
0
2
el dominio es r 0 y < 0 <
n
r
=
1
2
p
r
cos
0
2

=
1
2
p
r cos
0
2
n

=
1
2
p
r sin
0
2

r
=
1
2
p
r
sin
0
2
22 CONTENTS
Cumple las condiciones 14, entonces existe y su derivada es;
)
0
(.) = c
i
(
1
2
p
r
cos
0
2
+ i
1
2
p
r
sin
0
2
)
)
0
(.) =
1
2
p
r
c
i
c
i

2
)
0
(.) =
1
2
p
r
c
i

2
Funciones Analiticas
Una funcin ) de variable compleja ., se dice analitica en un conjunto abierto, si
tiene derivada en todo punto de ese abierto.
Example 39 Determinar los puntos singulares de la funcin
2. + 1
.(.
2
+ 1)
nos interesan los puntos en que el denominador se hace cero, entonces
.(.
2
+ 1) = 0
. = 0 .
2
+ 1 = 0
. = 0 . = i
. = 0, i
Example 40 Determinar los puntos singulares de la funcin
.
2
+ 1
(. + 2)(.
2
+ 2. + 2)
nos interesan los puntos en que el denominador se hace cero, entonces
(. + 2)(.
2
+ 2. + 2) = 0
. + 2 = 0 .
2
+ 2. + 2 = 0
Esta ecuacin ya la resolvimos en el ejemplo 23
. = 2 . = 1 i
. = 0, 1 i
CONTENTS 23
Funciones Elementales
En esta seccin aprenderemos como tratar con las funciones trascendentes en
variable compleja, note que todos los resultados se pueden utilizar en el analisis
real en el caso que . = r + 0i. Un concepto para tener en cuenta a lo largo de
toda la seccion es la denicin de funcin exponencial;
c
z
= c
x
(cos j + i sinj) (16)
c
i
= cos 0 + i sin0 (17)
Example 41 Vericar que
c
z
1
c
z
2
= c
(z
1
z
2
)
entonces si .
1
= r
1
+ j
1
i y .
2
= r
2
+ j
2
i, reemplazando tenemos
c
x
1
+y
1
i
c
x
2
+y
2
i
= c
(z
1
z
2
)
c
x
1
+y
1
i
c
(x
2
+y
2
i)
=
c
z
1
c
z
2
=
Example 42 Calcular la derivada de la funcin sin.
Podemos escribir por denicin
sin. =
c
iz
c
iz
2i
(18)
la derivada del miembro derecho es
ic
iz
+ ic
iz
2i
=
i(c
iz
+ c
iz
)
2i
Finalmente
(c
iz
+ c
iz
)
2
= cos . (19)
:i )(.) = sin., c:to:cc:)
0
(.) = cos .
Example 43 Probar que c
iz
= cos . + i sin. para todo nmero complejo ..
Prueba.
c
iz
= cos . + i sin. (20)
24 CONTENTS
=
(c
iz
+ c
iz
)
2
+ i
c
iz
c
iz
2i
rcc:j|a.a:do 18 j 19 c: 20
=
c
iz
+ c
iz
+ c
iz
c
iz
2
(21)
=
2c
iz
2
= c
iz
(22)
Example 44 Hallar la parte real y la parte imaginaria de sinh.
Usando la denicin de sinh.
sinh(r + ij) =
1
2
(c
x+yi
c
xyi
) (23)
=
1
2
(c
x
(cos j + i sinj) c
x
(cos j i sinj))
=
1
2
(c
x
c
x
) cos j + i
1
2
(c
x
+ c
x
) sinj
= sinhrcos j + i coshrsinj (24)
Example 45 Hallar la parte real y la parte imaginaria de cosh.
Usando la denicin de cosh.
cosh(r + ji) =
1
2
(c
x+yi
+ c
xyi
) (25)
=
1
2
(c
x
(cos j + i sinj) + c
x
(cos j i sinj))
=
1
2
(c
x
c
x
) cos j + i
1
2
(c
x
+ c
x
) sinj
= coshrcos j + i sinhrsinj (26)
Example 46 Hallar la parte real y la parte imaginaria de tanh.
Sabemos que
tanh. =
sinh.
cosh.
rcc:j|a.a:do 26 j 24 tc:c:o:;
CONTENTS 25
tanh(r + ij) =
sinhrcos j + i coshrsinj
coshrcos j + i sinhrsinj
=
(sinhrcos j + i coshrsinj)(coshrcos j + i sinhrsinj)
(coshrcos j + i sinhrsinj)(coshrcos j + i sinhrsinj)
=
sinhrcoshrcos
2
j + sinhrcoshrsin
2
j + i(cosh
2
rsinj cos j sinh
2
rsinj cos j)
cosh
2
rcos
2
j + sinh
2
rsin
2
j
=
sinhrcoshr + i sinj cos j
cosh
2
rcos
2
j + sinh
2
rsin
2
j + cosh
2
rsin
2
j cosh
2
rsin
2
j
=
1
2
sinh2r + i
1
2
sin2j
cosh
2
r sin
2
j
=
sinh2r
2(cosh
2
r sin
2
j)
+ i
sin2j
2(cosh
2
r sin
2
j)
Example 47 Resolver la ecuacion sin. = 2
Usando la denicin de la funcin sin., ecuacion 18
2 = sin. =
c
iz
c
iz
2i
=
c
2iz
1
2c
iz
i
De aqui obtenemos c
2iz
4ic
iz
1 = 0, que es una ecuacion de segundo grado
en c
iz
, usando 5, tenemos;
c
iz
=
1
2
(4i +
p
16 + 4) = i(2
p
3)
Debemos recordar las propiedades de los logaritmos y entonces
. =
1
i
log i(2
p
3) = i log i(2
p
3) = i(log i + log(2
p
3))
= i(i(

2
+ 2:) + log(2
p
3))
=

2
+ 2: i log(2
p
3)
Es decir, para cada : 2 Z tenemos dos soluciones;
.
1n
=

2
+2: i log(2 +
p
3) .
2n
=

2
+2: i log(2
p
3)
26 CONTENTS
Integrales
Estudiaremos primero las funciones complejas n(t) de una cariable real t, si n(t) =
n(t) + i(t), donde las funciones n y son funciones reales de t.
Supongamos que n
0
y
0
existen en t. entonces tenemos
n
0
(t) = n
0
(t) + i
0
(t)
tambien podemos denir
_
b
a
n(t)dt =
_
b
a
n(t)dt + i
_
b
a
(t)dt (27)
siempre y cuando a t /.
Example 48 Calcular
_
2
1
(
1
t
i)
2
dt
Usando 27
_
2
1
(
1
t
2
2i
1
t
1)dt =
_

1
t
2i lnt t
_
j
2
1
=
1
2
2i ln2
Example 49 Probar que si m y n son enteros,
_
2
0
c
im
c
in
d0 =
_
0 :i : 6= :
2 :i : = :
Si : = :
_
2
0
c
im
c
in
d0 =
_
2
0
c
im
c
im
d0
=
_
2
0
c
(imim)
d0
=
_
2
0
d0
= 2
Si : 6= :
CONTENTS 27
_
2
0
c
im
c
in
d0 =
_
2
0
c
(imin)
d0
=
_
2
0
c
(imin)
d0
=
1
i(::)
c
(imin)
j
2
0
=
1
i(::)
_
c
(imin)2
1
_
= 0
usando 4
Example 50 Calcular
_

6
0
c
i2t
dt
_
6
0
c
i2t
dt =
_
6
0
cos 2tdt + i
_
6
0
sin2tdt jor 4
=
1
2
sin2t j

6
0
i
1
2
cos 2t j

6
0
=
1
2
sin

3
i
1
2
cos

3
+ i
1
2
=
1
2
p
3
2
i
1
2
1
2
+ i
1
2
=
p
3
4
+
1
4
i
Theorem 51 (Teorema de Cauchy-Goursat) Si una funcin f es analtica
en todos los puntos interires a un contorno cerrado simple y sobre los puntos de
C, entonces
_
C
)(.)d. = 0 (28)
Example 52 Aplicar el teorema de Cauchy-Goursat para mostrar que
_
C
)(.)d. = 0
Cuando el contorno C es el circulo j.j = 1, con cualquier orientacin, y cuando
a) )(.) =
z
2
z3
/) )(.) =
1
z
2
+2z+2
Para la funcin )(.) =
z
2
z3
, tenemos que )(.) no es analtica en . = 3, el
cual es un punto fuera del contorno, entonces
28 CONTENTS
_
C
.
2
. 3
d. = 0
Para la funcin )(.) =
1
z
2
+2z+2
, )(.) no es analtica en . = 1 i, los cuales
no estan en el contorno, entonces
_
C
1
.
2
+ 2. + 2
d. = 0
Theorem 53 (Frmula Integral de Cauchy) sea f analtica en el interior y
en los puntos de un contorno cerrado simple C, orientado positivamente. Si Z
0
es un punto interior a C, entonces
)(.
0
) =
1
2i
_
C
)(.)d.
. .
0
(29)
La formula 29 la utilizamos para calcular ciertas integrales a lo largo de con-
tornos cerrados
Example 54 Sea C el contorno del cuadrado cuyos lados estn sobre las rectas
r = 2 e j = 2, con C recorrido positivamente, calcular las siguientes integrales
a)
_
C
e
z
z(
i
2
)
d.
En este caso .
0
=
i
2
, y .
0
es interior a C , ademas )(.) = c
z
es analtica
en C, entonces podemos utilizar la formula 29
)(
i
2
) =
1
2i
_
C
c
z
. (
i
2
)
d.
2i)(
i
2
) =
_
C
c
z
. (
i
2
)
d.
_
C
c
z
. (
i
2
)
d. = 2ic

i
2
= 2i(i)
= 2
/)
_
C
z
2z+1
d.
En este caso .
0
=
1
2
, y .
0
es interior a C , ademas )(.) =
z
2
es analtica en
C, entonces podemos utilizar la formula 29
CONTENTS 29
)(
1
2
) =
1
2i
_
C
.
2. + 1
d.
2i)(
1
2
) =
_
C
.
2. + 1
d.
_
C
.
2. + 1
d. = 2i(
1
4
)
=
i
2
c)
_
C
cos z
z(z
2
+8)
d.
En este caso .
0
= 0, y .
0
es interior a C , ademas )(.) =
cos z
z
2
+8
es analtica
en C, entonces podemos utilizar la formula 29
)(0) =
1
2i
_
C
cos .
.(.
2
+ 8)
d.
2i)(0) =
_
C
cos .
.(.
2
+ 8)
d.
_
C
cos .
.(.
2
+ 8)
d. = 2i
cos 0
8
=
i
4
Como podemos observar, este teorema es de gran utilidad, supongamos ahora
que si una funcin es analtica en un punto, sus derivadas de todos los ordenes
son tambien funciones analticas en ese punto, ademas si convenimos en denotar
)(.) por )
(0)
(.) y en que 0! = 1, por induccion matemtica se puede vericar esta
notable formula
)
(n)
(.
0
) =
:!
2i
_
C
)(.)d.
(. .
0
)
n+1
(30)
Example 55 Sea C el contorno del cuadrado cuyos lados estn sobre las rectas
r = 2 e j = 2, con C recorrido positivamente, calcular las siguientes integrales
a)
_
C
tan(
z
2
)
(zx
0
)
2
d. (2 < r
0
< 2)
En este caso .
0
= r
0
, y .
0
es interior a C , ademas )(.) = tan(
z
2
) es analtica
en C, : = 1 entonces podemos utilizar la formula 30
30 CONTENTS
)
(1)
(r
0
) =
1!
2i
_
C
tan(
z
2
)
(. r
0
)
2
d.
2i)
(1)
(r
0
) =
_
C
tan(
z
2
)
(. r
0
)
2
d.
co:o )
(1)
(r
0
) =
1
2
sec
2
(
r
0
2
) c:to:cc:
_
C
tan(
z
2
)
(. r
0
)
2
d. = 2i
1
2
sec
2
(
r
0
2
)
= i sec
2
(
r
0
2
)
/)
_
C
cosh(z)
z
4
d.
En este caso .
0
= 0, y .
0
es interior a C , ademas )(.) = cosh(.) es analtica
en C, : = 3 entonces podemos utilizar la formula 30
)
(3)
(0) =
3!
2i
_
C
cosh(.)
.
4
d.
2i)
(3)
(0)
3!
=
_
C
cosh(.)
.
4
d.
Calculamos la tercera derivada de la funcin
)
(0)
(.) = cosh(.)
)
(1)
(.) = sinh(.)
)
(2)
(.) = cosh(.)
)
(3)
(.) = sinh(.)
nalmente reemplazamos
2i sinh(0)
3!
=
_
C
cosh(.)
.
4
d.
_
C
cosh(.)
.
4
d. = 0
CONTENTS 31
Series
Cuando trabajamos variable compleja, debemos asegurar que toda funcion sea
integrable, que pasa si la funcin no es diferenciable?, lamentablemente las for-
mulas 29 y 30 nos exigen la derivabilidad de orden n. por esto se nos hace necesario
poder expresar cualquier funcion compleja en terminos de una serie de potencias.
Theorem 56 (Teorema de Taylor) Sea ) una funcin analtica en un disco
abierto j. .
0
j < 1
0;
centrado en .
0
y de radio 1
0:
Entonces, en todo punto . de
ese disco, )(.) admite la representacion en serie
)(.) =
1

n=0
a
n
(. .
0
)
n
(j. .
0
j < 1
0
)
donde
a
n
=
)
(n)
(.
0
)
:!
(: = 0.1.2.3....).
esta serie de potencias converge a )(.) cuando j. .
0
j < 1
0
si .
0
= 0 entonces se llama serie de Maclaurin.
Example 57 Hallar la representacin en Serie de Maclaurin de
. cosh(.
2
)
Cuando )(.) = cos ., tenemos
)
(2n)
(0) = (1)
n
j )
(2n+1)
(0) = 0 (: = 0, 1, 2, 3, ...)
entonces la serie de Maclaurin es
cos . =
1

n=0
(1)
n
.
2n
(2:)!
sabemos que cosh. = cos(i.)
cosh. =
1

n=0
.
2n
(2:)!
32 CONTENTS
reemplazando .
2
cosh.
2
=
1

n=0
.
4n
(2:)!
. cosh.
2
=
1

n=0
.
4n+1
(2:)!
Example 58 Hallar la serie de maclaurin de la funcin
)(.) =
.
.
4
+ 9
reorganizando tenemos
.
.
4
+ 9
=
.
9
_

_
1
1 +
_
z
2
3
_
2
_

_
.
9
_

_
1
1 +
_
z
2
3
_
2
_

_ =
.
9
1

n=0
(1)
n
_
.
2
3
_
2n
=
1

n=0
(1)
n
3
2n+2
.
4n+1
de donde

z
3

2
< 1, entonces j.j <
p
3
En variable compleja es de vital importancia poder representar potencias de
exponente negativo, para esto tenemos el siguiente teorema
Theorem 59 (Teorema de Laurent) Sea f una funcin analtica en un do-
minio anular 1
1
< j. .
0
j < 1
2
, y sea C cualquier contorno cerrado simple en
torno de .
0
, orientado positivamente, contenido en ese dominio. Entonces,en todo
punto . de ese dominio, )(.) admite la representacion en serie
)(.) =
1

n=0
a
n
(. .
0
)
n
+
1

n=0
/
n
(. .
0
)
n
(1
1
< j. .
0
j < 1
2
) (31)
Donde
a
n
=
1
2i
_
C
)(.)d.
(. .
0
)
n+1
(: = 0, 1, 2, ...) (32)
y
/
n
=
1
2i
_
C
)(.)d.
(. .
0
)
n+1
(: = 0, 1, 2, ...)
CONTENTS 33
Example 60 Dar un desarrollo en serie de potencias de z para la funcin
)(.) =
1
.
2
(1 .)
Por su descomposicion en fracciones parciales, tenemos
1
.
2
(1 .)
=

.
+
1
.
2
+
C
1 .
desarrollando
1 = .(1 .) + 1(1 .) + c.
2
de donde = 1 = C = 1, entonces
1
.
+
1
.
2
+
1
1 .
=
1
.
+
1
.
2
+
1

n=0
.
n
Valido en 0 < j.j < 1. Ya que los puntos singulares son . = 0 y . = 1.
Example 61 Representar la funcin
z+1
z1
por su serie de Maclaurin
Ordenando los terminos tenemos
. + 1
. 1
=
.
. 1
+
1
. 1
= .
1
1 .

1
1 .
= .
1

n=0
.
n

n=0
.
n
=
1

n=0
.
n+1

n=0
.
n
desarrollando algunos terminos tenemos
.
1
.
2
.
3
.
4
.
5

n=5
.
n+1
1. .
1
.
2
.
3
.
4

n=5
.
n
= 12
1

n=1
.
n
Valido para j.j < 1, por tener puntos singulares en . = 1
34 CONTENTS
Residuos
Mostraremos un resultado importante en el clculo de integrales, utilizando la
suma de los residuos de las funciones en los puntos singulares
Theorem 62 Si C es un conjunto cerrado simple positivamente orientado, dentro
del cual y sobre el cual una funcin ) es analtica a excepcin de un nmero nito
de puntos singulares .
k
(/ = 1, 2, ..., :) interior a C, entonces
_
C
)(.)d. = 2i
n

k=1
Res
z=z
k
)(.)
Example 63 Evaluar la integral
_
C
2d.
4.
2
1
donde C es la circunferencia unitaria con orientacin positiva, j.j = 1
para utilizar el teorema de los residuos, se reescribe la )n:ci o:
)(.) =
2
4.
2
1
=
1
2(.
1
2
)(. +
1
2
)
teniendo asi dos puntos singulares .
1
=
1
2
y .
2
=
1
2
, ambos dentro de la
curva, entonces podemos aplicar el teorema, entonces
_
C
2
4.
2
1
d. = 2i(Res)(.
1
) + Res)(.
2
))
entonces Res)(.
1
) =
1
2
y Res)(.
2
) =
1
2
asi
_
C
2
4.
2
1
d. = 2i(
1
2

1
2
)
_
C
2
4.
2
1
d. = 0
Example 64 Calcular la integral
_
C
1d.
(.
2
+ 1)
2
donde C es la semi-circunferencia de radio R en el semiplano superior centrada
en el origen, desde R hasta -R, con R1, orientada en sentido positivo
CONTENTS 35
Entonces reescribiendo
1
(.
2
+ 1)
2
=
1
(. 1)
2
(. + 1)
2
) tiene dos puntos singulares dobles, . = i y . = i. Pero solo el punto . = 1
se encuentra en el interior de C.
Hallamos el residuo para . = i
Res)(.) =
i
4
nalmente
_
C
2
4.
2
1
d. = 2i(Res)(.))
= 2i(
i
4
)
=

2

Vous aimerez peut-être aussi