You are on page 1of 117

[Fecha]

Universidad Simn Bolvar


Matemticas VI

Prof. Humberto F. Valera Castro

Matemticas VI

Prof. Humberto F. Valera Castro

Matemticas VI

Prof. Humberto F. Valera Castro

Matemticas VI

Matemticas VI
Prof. Humberto F. Valera Castro

UNIVERSIDAD SIMON BOLIVAR


Caracas 2015
Prof. Humberto F. Valera Castro

Matemticas VI

Prof. Humberto F. Valera Castro

Matemticas VI

Prof. Humberto F. Valera Castro

Matemticas VI

Prof. Humberto F. Valera Castro

Matemticas VI

Parte I
Parametrizacin de superficies. rea
de una Superficie.
Integracin de campos escalares y
vectoriales. Rotacional Divergencia y
Laplaciano. Teorema de la
divergencia. Teorema de Stokes.
Campos conservativos. Teorema de
Gauss. Aplicaciones

Prof. Humberto F. Valera Castro

Matemticas VI

Prof. Humberto F. Valera Castro

Matemticas VI

Parte I
1.1 Superficies
Veremos ahora las integrales de superficie que es lo equivalente a una integral de lnea
siendo ahora la regin de integracin una superficie en lugar de una curva; estas integrales
permiten estudiar mejor los campos vectoriales y se aplican para determinar la cantidad de
flujo o de flujo elctrico o de flujo magntico que pasa a travs de una superficie en la
direccin normal a la misma.
As como las integrales curvilneas se calculan mediante integrales simples
(unidimensionales), las integrales de superficie se reducen a integrales dobles
(bidimensionales).
Hay diversas maneras de expresar analticamente una superficie
1. Mediante una representacin explicita dada por una ecuacin de la forma
= (, ) [ = (, ) = ()]

donde f es una funcin definida en un

dominio D del plano xy con primeras derivadas continuas

2. Mediante una representacin implcita en la cual se considera a una superficie como


un conjunto de puntos (, , ) que satisfacen una ecuacin de la forma (, , ) =
0 donde F es una funcin copntinua en un dominio 3 y con derivadas continuas
, , .
3. Mediante una representacin paramtrica o vectorial dando tres funciones
= (, ), = (, ), = (, ) que expresan x, y, z en funcin de dos
parmetros u y v.
v

z
p
= (, )
= (, )
= (, )

x
Prof. Humberto F. Valera Castro

10

Matemticas VI

Aqu (, ) vara en un conjunto conexo bidimensional D en el plano uv . Dar estas tres


ecuaciones es equivalente a dar una funcin vectorial definida en el dominio D del plano
uv.
(, ) = (, ) + (, ) + (, ) , (, )
= (, ). Se supone
La cual determina la posicin de cada punto P de la superficie 0
adems que las funciones componentes (, ), (, ), (, ) son continuas y con
derivadas continuas. Estas condiciones se imponen a fin de que en los puntos de la
superficie exista plano tangente y este vari continuamente.

Ejemplo 1.1.1
1. Representacin paramtrica de una esfera
=
{ = ,
=

0 < 2 ,

0<

Elevando al cuadrado y sumando tenemos 2 + 2 + 2 = 2


z

[0,2] [0, ] Hemisferio superior


2

[0,2] [ , ] Hemisferio inferior


2

Prof. Humberto F. Valera Castro

Matemticas VI

11

2. Representacin paramtrica de un cono de altura h


=
{ =
=
2 + 2 = 2 2 = 2

0 2
0

2
2 = 2 2 = 2 + 2
2

Cono con vrtice en el origen y eje 0z de altura h y ngulo


r

3. Si la superficie viene dada en forma explcita por la ecuacin = (, ), entonces


tomamos x e y como parmetros
=
{ =
(, ) = + + (, )
= (, )

Prof. Humberto F. Valera Castro

12

Matemticas VI

1.2 Producto vectorial fundamental


Dada una superficie S representada por la ecuacin vectorial
(, ) = (, ) + (, ) + (, ) , (, )
Si mantenemos constante u la ecuacin depende de v y en consecuencia se obtiene una
curva sobre la superficie (una para cada constante a la que igualamos u). Anlogamente
obtenemos curvas sobre la superficie que dependen del parmetro u sin ms que hacer v
constante:
V

v0

Curvas u constante

curvas v constante
y

u0

Y as se obtiene sobre la superficie S una red de curvas paramtricas de tal forma que una
u-curva (v constante) y una v-curva (u constante) que pasan por cada punto P de S.
Se tiene:
=

=
+
+

Vector tangente a la curva u constante.


=

=
+
+

Vector tangente a la curva v constante.


El producto vectorial

se denomina producto vectorial fundamental de la

representacin (, ) y viene dado por

Prof. Humberto F. Valera Castro

Matemticas VI

| |

= = | | + |

|
|


(, )
(, )
(, )
=
+
+
(, )
(, )
(, )

| + |

13

| =

Ahora bien

(0 , 0 )
(0 , 0 )
( , ) =

0 0
determina un vector normal al plano tangente a la superficie ((, ), (, ), (, )).
Los vectores
=

Son vectores normales unitarios a la superficie S en el punto P. Uno de ellos es la normal


exterior (apunta hacia fuera) y el otro es la normal interior (apunta hacia adentro).
Si (0 , 0 ) en la cual

son continuas y el producto vectorial fundamental

0, el punto imagen (0 , 0 ) se llama punto regular de (, ).

Los puntos en los que no son continuas

o bien

= 0 se llaman puntos

singulares de .
Si todos los puntos son regulares habr plano tangente en todo punto y ste varia en forma
continua, la superficie no tendr puntas o aristas.

Ejemplo 1.2.1
Dada la representacin explicita = (, ) de una superficie, determina en cada punto, el
plano tangente y las normales unitarias

(, ) = + + (, )
Prof. Humberto F. Valera Castro

14

Matemticas VI

= +
,

= +

Ahora bien

|1

=
|
0

|

+

+ =
=
=

1 + 2 + 2

0 en todo punto. Los nicos puntos singulares son aquellos donde


Luego

no son continuas.
En un punto 0 (0 , 0 , 0 ) = 0 (0 , 0 , (0 , 0 )) el plano tangente tiene por ecuacin
(0 , 0 )( 0 ) (0 , 0 )( 0 ) + ( 0 ) = 0
Es decir,
0 =

( 0 ) +
( 0 )

Ejemplo 1.2.2
Para la ecuacin del cono (, ) = (, , ) . Determina las
normales unitarias.

= (, , )

= (, , 0)

Ahora bien,


=
|

Prof. Humberto F. Valera Castro

|
0

Matemticas VI

15

= + + 2
= (0,0,0) luego el punto = (0,0,0) es un punto singular, en el no
Si = 0,
hay plano tangente.
= 2 2 2 2 + 2 2 2 2 + 2 4

= 2 2 + 4 =
Luego
= (, , )
= (, , ) (

1.3 rea de una Superficie


Sea S una superficie definida por la representacin vectorial = (, ), (, )
Consideremos un pequeo rectngulo en el dominio D de lados paralelos a los ejes
coordenados y de longitudes de los lados , . Mediante la aplicacin , este rectngulo
se transforma en un rectngulo curvilneo ABCD sobre la superficie S el cual est limitada
por imgenes de los lados del rectngulo, siendo las longitudes de sus lados curvilneos
iguales a:

N
rv

ru

Y
u

Si el rea es bastante pequea, entonces el rea del rectngulo curvilneo es


Prof. Humberto F. Valera Castro

16

Matemticas VI


=
=

Y por lo tanto, si queremos calcular el rea de toda la superficie S debemos sumar todas esas
reas infinitesimales, lo cual no es ms que calcular la integral doble sobre el dominio D.
Estas consideraciones sugieren la siguiente definicin
Definicin 1.3.1
El rea de una superficie S dada por la representacin vectorial (, ) definida en un
dominio D, se determina mediante la integral doble

( ) =

Ejemplo 1.3.1
Si S viene dada explcitamente por una ecuacin de la forma = (, ), (, ) ,
tenemos que
(, ) = + + (, )

= +
,

= +

=
+ = 1 + 2 + 2

Por lo tanto
() = 1 + 2 + 2

donde D es la proyeccin de S en el plano xy


Hay otras frmulas anlogas cuando se proyecta sobre los otros planos coordenados
Cuando S est en un plano paralelo al plano xy, f es constante,

Prof. Humberto F. Valera Castro

Matemticas VI

17


=
=0

y la ecuacin anterior se convierte en
() =

Ejemplo 1.3.2
Si S viene dada implcitamente por la ecuacin F(, , ) = 0. Si S puede proyectarse en
forma uno a uno sobre el plano xy, la ecuacin F(, , ) = 0 define a z como funcin de x e
y,

= (, ) entonces

= ,

Luego
2
2
2
( ) + ( ) + ( )

( ) =

| |

Ejemplo 1.3.3
Consideremos el hemisferio S de radio a y centro en el origen
Disponemos de las representaciones
Implcitas: 2 + 2 + 2 = 2
Explicita: = 2 2 2
Paramtrica: (, ) = (, , )
Podemos calcular el rea del hemisferio
A partir de la representacin paramtrica
Prof. Humberto F. Valera Castro

18

Matemticas VI

= (, , )

= (, , 0)

= |

|
0

= 2 (2 , 2 , )


= 2

Luego tenemos que

2
2

( ) =
= 2 = 22

0
0

A partir de la representacin explicita

=
=
,

2 2 2 2

() = 1 + 2 + 2 = 1 +

=
=

2 2 2 2
2
2
+

2 2 2 2 2 2

Usando coordenadas polares


2

( ) =

= 2

= 22

Prof. Humberto F. Valera Castro

Matemticas VI

19

1.4 Integrales de Superficie


Si S es una superficie representada por = (, ), est definida en una regin D
del plano uv y si es un campo escalar definido y acotado sobre S, entonces la integral de
superficie del campo extendida a S se denota y define mediante la integral doble:
= ((, ))

Ntese que si ((, )) = 1 en todo, resulta


= ()

Adems, si (, , ) es un campo vectorial definido y acotado sobre S y es el vector


normal unitario a S dado por =

=
donde

Entonces = . es un campo escalar y se tiene


= .

= . = ((, )).

que se denomina el flujo del campo a travs de S y en la direccin de la normal

Ejemplo 1.4.1
Sea S la semi esfera 2 + 2 + 2 = 1, 0 (, , ) = + .
Sea el vector normal exterior unitario a S. Calcula el valor de la integral de superficie
. , empleando:
a) La representacin paramtrica (, ) = + +
b) La representacin = 1 2 2

= (, , ) ,
= (, , 0)

Prof. Humberto F. Valera Castro

20

Matemticas VI

= |

Normal exterior

2
2
| = ( , , )
0

= .
=
. = ((, )).

((, )) = (, , 0),
= 3 2 + 3 2 = 3
((, )).
2
3

= =

= (
) = 1 2 2 ,

= 2

(1 2 ) =

4
3

, , 1) = (
,
, 1)

1 2 2 1 2 2

Normal exterior
= (, ).
=
(, , ).

2
1 2 2

= (
. = .

: + 1,
2

2
1 2 2

2 + 2
1 2 2

2 + 2
1 2 2

) =

2
1 2

= 2
0

2
1 2

= ( )

Integrando por partes


= 2 ,

1 2

= 2,

= 1 2

= 2 [(

2]
0

+ 2 1 2 ] =
0

4
3

Prof. Humberto F. Valera Castro

Matemticas VI

21

1.5 Aplicaciones
Supongamos que el campo escalar (, , ) representa la densidad superficial de masa
(masa por unidad de rea), entonces
La Masa de una superficie S viene dada por
= (, , )

Las coordenadas del centro de gravedad son


=

1
(, , ) ,

1
(, , ) ,

1
(, , )

El momento de inercia respecto a una recta L


= (, , ) 2 (, , )

donde (, , ) representa la distancia de un punto de la superficie a la recta L.

Ejemplo 1.5.1
Calcule el flujo del campo (, , ) = ( 2 , , ) a travs de la superficie lateral del
cilindro 2 + 2 = 4, 0 4

= 2
Sea : { = 2
=

, 0 2, 0 4

Luego
(, ) = (2 , 2, )

= (2, 2, 0) ,
= (0,0,1)

= |2 2 0| = (2 , 2, 0)
0
0
1
Prof. Humberto F. Valera Castro

22

Matemticas VI


. = ((, )).

= (42 , 2, 4 ). (2 , 2, 0)

=
0

(82 482 ) = 16
0

Ejemplo 1.5.2
Determine el momento de inercia de un recipiente esfrico homogneo respecto de un
dimetro.

= (, , ) 2 (, , ) ,

: 2 + 2 + 2 = 2

2
2
2
( ) + ( ) + ( )

=
|

= ( 2 + 2 )

= 2
0

4 2 + 4 2 + 4 2
=
2

( 2 + 2 )

= 2

2 2 2

( 2 2 )

= 4 [
2
2
3
0

3
2

2 2 2 ]
0

3
84
3
= 4 [
+ ]=
3
3
Ahora bien,
= = 42

84
22
2
=
=

=
2

2
34
3
3

Prof. Humberto F. Valera Castro

Matemticas VI

23

1.6 Operadores diferenciales


1. Si es un campo escalar definido en un conjunto 3 , el gradiente de denotado
por es el campo vectorial definido por
=

+
+

como el
2. Sea = (, , ) definido en un conjunto 3 , definimos el rotacional de
campo vectorial

= ||




|
| = ( ) + ( ) + ( )


Teorema 1.6.1
Para cualquier campo escalar de clase 2 , entonces
() = 0
Demostracin:
Basta con calcular

|
() =
|

|
= ( ) + ( ) + ( ) = 0
|

Ya que las derivadas cruzadas son iguales por ser de clase 2

, se llaman irrotacionales.
Los campos vectoriales para los cuales = 0
Un campo vectorial para los cuales existe otro campo vectoria tal que = se
llama campo rotacional y el campo potencial vectorial de .

Prof. Humberto F. Valera Castro

24

Matemticas VI

3. Sea = (, , ) definido en un conjunto 3 , definimos la divergencia como el


campo escalar definido por
= . =


+
+

Teorema 1.6.2
Para cualquier campo vectorial de clase 2 , entonces
( ) = 0
Demostracin:
Veamos



= ( ) + ( ) + ( )



entonces
. ( ) =

2
2
2
2
2
2

=0

Ya que las derivadas cruzadas son iguales por ser de clase 2

Los campos vectoriales para los cuales . = = 0 se llaman Solenoidales.

Podemos tambin definir


2 2 2
. () = () =
+ 2 + 2 = 2
2

y lo llamamos el Laplaciano de y que denotamos .


Si 2 = = 0 decimos que es Armnica.

Prof. Humberto F. Valera Castro

Matemticas VI

25

Algunas propiedades, donde , ,


1. ( + ) = +
2. () =
3. () = +

4. ( ) =

5. ( + ) = ( ) + ( )
6. ( + ) = +
7. ( ) = ( ) +
.
8. ( ) = ( ) +

1.7 Superficie orientable


Antes de proceder a eso dos teoremas, debemos dar algunas nociones acerca de lo que es
superficie orientable. Las consideraciones que haremos a continuacin son intuitivas,
basadas en los dibujos geomtricos y sin mucho rigor matemtico a fin de no recargar la
exposicin.
Sea S una superficie y = (, ), (, ) una representacin paramtrica de S. Si la

funcin r es inyectiva, entonces se dice que es una parametrizacin simple (puntos distintos

de D tienen imgenes por r puntos distintos en S)

Si S es una superficie regular, entonces r es continua con primeras derivadas continuas y el

=
producto vectorial

es no nulo en todo punto. As, S admite vector normal en

todo punto y este varia continuamente, pero, en cada punto podemos considerar al vector
o bien
y entonces tenemos sobre S dos campos normales
(, )
(, ),
normal
uno de los cuales apunta hacia afuera y lo denominamos normal exterior; el otro apunta
en sentido opuesto.
Prof. Humberto F. Valera Castro

26

Matemticas VI

En las superficies que conocemos, con las que hemos venido trabajando: esfera, elipsoide,
paraboloide, cilindros, conos, hiperboloides, y en toda superficie dada por una ecuacin en
forma explicita = (, ), siempre es posible definir un campo de vectores normales
) que varia continuamente, y as decimos que esas superficies son orientables, en
(
0

cambio, si no es posible definir un tal campo de vectores normales a S satisfaciendo las


propiedades mencionadas, se dice que la superficie S es no orientable.
En las superficies orientables podemos distinguir dos lados o caras, de tal manera que no se
puede pasar de un lado a otro a menos que se atraviese la superficie, como en el toro o la
esfera, o tambin a travs del borde si se trata de una superficie abierta.
Una superficie no orientable, las cuales no son muy comunes, por ejemplo la cinta o banda
de Mobius que puede obtenerse fcilmente a partir de una banda de papel rectangular de
30 cm por 5 cm.

1.8 Teorema de la divergencia o de gauss-Ostrograsdki


Si V es un slido en 3 limitado por una superficie cerrada y orientable S y sea la normal
unitaria exterior a S y si es un campo vectorial continuo con primeras derivadas continuas
en V, entonces
(. ) = .

donde . = = + +
representa la divergencia del campo = (, , )

Ejemplo 1.8.1
Sea S la superficie del cubo (0 1, 0 1, 0 1) y es la normal exterior a
S. Si = ( 2 , 2 , 2 ), encuentre el flujo de a travs de S.
Prof. Humberto F. Valera Castro

Matemticas VI

27

S2

S3
y

S1

. = (2 + 2 + 2) = 2 ( + + ) = 3

Si no aplicramos el teorema tenemos que calcular seis integrales . , es decir,

Para la tapa 1 : 0 1, 0 1, = 0 , = (0,0, 1)


1

. = ( 2 , 2 , 0). (0,0, 1) = 0
1

Para la tapa 2 : 0 1, 0 1, = 1 = (0,0,1)


1

. = ( 2 , 2 , 1). (0,0,1) = 1
2

Para la tapa 3 : 0 1, 0 1, = 0 = (1,0,0)


. = 0
3

De forma anloga
. = 1 ; . = 0 ; . = 1
4

Luego
. = 3

Prof. Humberto F. Valera Castro

28

Matemticas VI

1.9 Teorema de Stoke o del Rotor


Consideremos una superficie S parametrizada por (, ) = (, , (, )), (, ) .
Supongamos que D es una regin cuya frontera es una curva cerrada simple.
z

Supongamos que : [, ] 2 , ( ) = ( ( ), ( )), sea una parametrizacin de la


frontera L de D en direccin antihorario. Esto determina una orientacin en la curva C
frontera de S dada por la funcin
Para recordar esta orientacin (direccin positiva) de C, pensemos en un observador que
camina a lo largo de la frontera de la superficie y cuya direccin vertical coincida con la
normal exterior, se mover en direccin positiva si la superficie est a su izquierda. Esta
orientacin de C se llama orientacin inducida por una normal hacia arriba
Teorema de Stokes o del Rotor
Sea S una superficie orientable definida por una funcin = (, ), (, ) 2 ,
continua con primera y segunda derivadas continuas en D y sea un campo vectorial
continuo con primera derivada continua. Si C es la curva frontera de S orientada en forma
positiva, entonces se tiene que
. = .

= = (




) + ( ) + ( )


Prof. Humberto F. Valera Castro

Matemticas VI

29

Ejemplo 1.9.1
Usa el teorema de Stokes para calcular la integral de lnea
3 + 3 3

Donde C es la interseccin del cilindro 2 + 2 = 1 y el plano + + = 1, la orientacin


de C corresponde al movimiento antihorario en el plano xy

= 1 ,

(, ) = {(, ): 2 + 2 1}

= ( 3 , 3 , 3 ) = (0,0,3( 2 + 2 ))
=

(, ) = (, , 1 ),

= (1,1,1)

= 3( 2 + 2 )
.
Luego
1 2

. = . = 3( 2 + 2 ) = 3 3 =

0 0

3
2

Verifique el resultado calculando la integral de lnea

Prof. Humberto F. Valera Castro

30

Matemticas VI

Prof. Humberto F. Valera Castro

Matemticas VI

31

Parte II
Nmero Complejos.
Funciones Complejas.
Funciones elementales.
Funciones Analticas.
Teorema de Cauchy-Riemann. Frmula
de Cauchy. Series de Potencias.
Singularidades y residuos. Residuos.
Aplicaciones.

Prof. Humberto F. Valera Castro

32

Matemticas VI

Prof. Humberto F. Valera Castro

Matemticas VI

33

Parte II
2.1 Nmeros Complejos
Un nmero complejo es una expresin de la forma
= +
donde x y son nmeros reales, e i representa la unidad imaginaria, caracterizada por
satisfacer la igualdad 2 = 1. Los nmeros x y se denominan, respectivamente, la parte
real y la parte imaginaria de z y se denotan
= ,

Dos nmeros complejos 1 = 1 + 1 , 2 = 2 + 2 son iguales si sus partes real e


imaginaria son respectivamente iguales, es decir, si se satisface:
1 = 2 ; 1 = 2
A partir de la expresin = + se observa que los nmeros complejos pueden ser,
considerados como pares ordenados (, ) de nmeros reales, en los cuales la primera
componente corresponde a la parte real y la segunda a la parte imaginaria. En particular,
la unidad imaginaria est representada por el par ordenado = (0,1). De esta observacin
se deduce que el conjunto de los nmeros complejos es representable grficamente en un
plano, el llamado plano complejo, mediante un sistema de coordenadas cartesianas,
correspondiendo a cada nmero complejo = + el nico punto P en el plano con
coordenadas cartesianas x y; y recprocamente, al punto P de coordenadas x y en el plano
se asocia el nmero complejo = + .
En la representacin anterior, los nmeros reales, que representan los nmeros complejos
con parte imaginaria nula, corresponden a los puntos del eje de las abscisas, al cual
llamamos eje real. Asimismo, los nmeros con parte real nula, que se denominan nmeros
imaginarios puros, corresponden al eje de ordenadas o eje imaginario.

Prof. Humberto F. Valera Castro

34

Matemticas VI
Eje imaginario
(0,y)
i = (0,1)

(x,0)

Eje real

-i = (0, -1)

2.2 Operaciones algebraicas con nmeros complejos


La suma y producto de dos nmeros complejos 1 = 1 + 1 , 2 = 2 + 2 se define
mediante las frmulas:
1 + 2 = (1 + 2 ) + (1 + 2 )
1 . 2 = (1 2 1 2 ) + (1 2 + 1 2 )
Se verifique las operaciones de suma y producto de nmeros complejos son conmutativas,
es decir:
1 + 2 = 2 + 1
1 . 2 = 2 . 1
e igualmente asociativas:
(1 + 2 ) + 2 = 1 + (2 + 2 )
(1 2 )3 = 1 (2 3 )
Y se satisface adems la ley distributiva:
1 (2 + 2 ) = 1 2 + 1 3
La identidad con respecto a la suma es el cero complejo 0 = 0 + 0 = (0,0), que satisface
+ 0 = para cualquier z complejo. Asimismo, la identidad con respecto al producto es
el nmero complejo 1 = 1 + 0 = (1,0), que satisface 1 = , para cualquier z.
Prof. Humberto F. Valera Castro

Matemticas VI

Dado

un

nmero

complejo

= + = (, ),

su

opuesto

es

el

35

nmero

= = (, ), que verifica + () = 0.
Se define entonces la diferencia de dos nmeros complejos 1 = 1 + 1 , 2 = 2 + 2 ,
mediante
1 2 = 1 + (2 ) = (1 2 ) + (1 2 )
Igualmente, si = + = (, ) es un nmero complejo diferente de cero, su inverso es
el nmero
1 =

)
+ 2
=( 2
, 2
2
2
2
+
+
+ + 2

que verifica 1 = 1. La divisin del nmero complejo 1 entre el nmero complejo


2 (2 0), se define entonces por
1
= 1 21
2
Adems de las leyes conmutativa, asociativa y distributiva, las operaciones definidas para
nmeros complejos conservan las propiedades bsicas de las correspondientes con nmeros
reales; esto permite realizar las operaciones algebraicas con nmeros complejos
formalmente como si se tratase de nmeros reales, tomando en consideracin la igualdad
2 = 1, tal como se ilustrar en los ejemplos siguientes.

Ejemplos 2.2.1
1. (3 + ) + (2 5) = 3 + 2 + 5 = 5 4
2. (1 + 3) (2 + 4) = 1 + 2 + 3 4 = 3
3. (2 )(5 + 2) = 2(5 + 2) (5 + 2) = 10 + 4 + 5 2 2 = 8 + 9
3 + 2
3 + 2 1 +
3 + 3 + 2 + 2 2 1 + 5
)(
)=
4.
=(
=
1
1
1+
1 2
2

Prof. Humberto F. Valera Castro

36

Matemticas VI

2.3 Valor absoluto y conjugado de un nmero complejo


El valor absoluto de un nmero complejo = + se define como el nmero real
|| = 2 + 2
y representa en el plano complejo la distancia entre el punto z y el origen de coordenadas.
Entonces, la distancia entre dos puntos, 1 = 1 + 1 , 2 = 2 + 2 est dada por el
nmero
|1 2 | = (1 1 )2 + (2 2 )2
El conjugado del nmero complejo = + es el nmero complejo
=
Cuya representacin geomtrica corresponde al punto simtrico de z respecto del eje real
Eje imaginario
(0,y)

0
(0,-y)

2.3.1 Propiedades
1. ||2 = ( )2 + ( )2
2. | | ||
3. | | ||
4. || = 0 = 0
5. =
6. || =
7.
1 2 = 1 2
9.
1 2 = 1 2
Prof. Humberto F. Valera Castro

(x,0)

Eje real

Matemticas VI

1
1
10. ( ) =
,
2
2
11. = ||2
+
12. =
2

13. =
2

37

2 0

Ejemplos 2.3.1
+ 2 = 3 2
)
3 + 2 = 3
) |(2 + )( + 2)| = |2 + || + 2| = 2 + 1| + 2| = 3| + 2|

Ejemplos 2.3.2

Expresemos en trminos de z la recta de ecuacin en coordenadas cartesianas = 2 + 1

A partir de las igualdades


=

+
,
2

La ecuacin = 2 + 1 se puede escribir como



+

) + 1 = + + 1
= 2(
= 1 (1 2) + (1 2) = 2
2
2
2

Ejemplo 2.3.3
Expresar la circunferencia de ecuacin ( 1)2 + ( 1)2 = 4 en trminos de z

( 1)2 + ( 1)2 = 4 ( 1)2 + ( 1)2 = 2


y por lo tanto
|( 1) + ( 1)| = |( + ) (1 + )| = | (1 + )| = 2

Prof. Humberto F. Valera Castro

38

Matemticas VI

2.4 Forma Polar de un nmero complejo


Sea un nmero complejo = + , 0, consideremos adems el segmento dirigido
desde el origen hasta que represente a z. Si llamamos = || a la longitud del segmento, y
el ngulo medido en radianes que tal segmento forma con el semi eje real positivo, se tiene:
= ; =
Entonces
= ( + )
que representa la forma polar del nmero complejo z, el nmero es llamado un
argumento de z, abreviadamente .
Eje imaginario
(0,y)
r

(x,0)

Eje real

La forma polar tambin se puede expresar como:


= ( + ) =
donde representa la funcin exponencial de exponente imaginario.
En el caso = 1, la expresin anterior = + = recibe el nombre de frmula
de Euler.
El nmero puede ser calculado a partir de la relacin
=

si se especifica el cuadrante al cual pertenece el punto z. Adems, para cualquier entero k,


el nmero + 2 es tambin un argumento de z; se conviene entonces en llamar valor
Prof. Humberto F. Valera Castro

Matemticas VI

39

principal del al valor nico de tal que < y lo denotamos


(algunos autores consideran tal que 0 < 2).
Dados dos nmeros complejos no nulos,
1 = 1 (1 + 1 ) = 1 1 , 2 = 2 (2 + 2 ) = 2 2
Se verifica fcilmente usando frmulas trigonomtricas, que
1 2 = 1 2 ((1 + 2 ) + (1 + 2 )) = 1 2 (1+2)
Observe que
| | = | + | = 2 + 2 = 1
entonces la igualdad anterior revela las relaciones
|1 2 | = |1 ||2 |
(1 2 ) = 1 + 2
De igual forma, si se tienen los nmeros complejos
= ( + ) = ,
1 = 1 (1 + 1 ) = 1 1 , 2 = 2 (2 + 2 ) = 2 2
se obtienen las frmulas
1 1
1
= (( ) + ()) =

1 1
1
= ((1 2 ) + (1 2 )) = (12)
2 2
2
1 =

Ejemplos 2.4.1
Exprese el nmero = 23 2 en forma polar

|| = 16 = 4
Adems, si consideramos que z representa un punto en el tercer cuadrante, tenemos
Prof. Humberto F. Valera Castro

40

Matemticas VI

= = (

2
23

) = (

7
3
)=
3
6

Entonces
7

= 4 6

Ejemplos 2.4.2
3

= 6 4 ( )

3
2
= = 6 ( ) = 6 ( ) = 32
4
2
3
2
= = 6 ( ) = 6 ( ) = 32
4
2
Entonces,
= 32 + 32

Ejemplos 2.4.3
Efecta el producto (23 2)(23 + 2) en forma polar

Segn los ejemplos 1 y 2 se tiene:


23 2 = 4

23 + 2 = 6

Entonces
23

(23 2)(23 + 2) = 24 12

Prof. Humberto F. Valera Castro

Matemticas VI

41

2.5 Potencias y races de un nmero complejo


Definicin 2.5.1
Para cada nmero natural n, un nmero complejo w se dice la raz ensima del nmero

complejo z si = . Escribimos = =

1
.

Si = , suponiendo que =
As,
=
De lo cual se deduce
= , = +
es decir,
= ,

Entonces,
+
+
+
) + (
)) = ; = 0,1,2,
= ( (

Ejemplo 2.5.1
10

(1 + 3)

= = (

3
)= ,
1
3

= 1 + 3 = 4 = 2

Entonces

1 + 3 = 2 3
As, tenemos:

Prof. Humberto F. Valera Castro

42

Matemticas VI
10

(1 + 3)

10
(2 3 )

= 210

10
3

= 210 2

4
3

= 210 ( (

4
4
) + ( ))
3
3

1
3
= 210 ( + )
2
2

Ejemplo 2.5.2
Calcular las races cbicas de = 1 +

Ya que
= = (

1
3
)=
,
1
4

1 + = 2

= 2

3
4

Entonces,

= (2)

1
3

3
+2
4
3 ,

= , 1,2,

Es decir,

2
2
6
6
0 = 2 ( ( ) + ( )) = 2 ( + )
4
4
2
2
11
11
6
6
) + (
)) = 2(1650 + 1650 )
1 = 2 ( (
12
12
6

2 = 2 ( (

19
19
6
) + (
)) = 2(2850 + 2850 )
12
12

Prof. Humberto F. Valera Castro

Matemticas VI

43

2.6 Funciones de variable compleja


Definicin 2.6.1
Una funcin f definida en un conjunto S de nmeros complejos, es una regla que hace
corresponder a cada elemento z de S un nmero complejo w, lo cual expresamos mediante
la correspondencia
= ( )
se denomina funcin compleja de una variable compleja.
Es decir, si = + , = +
Se tiene entonces
( + ) = (, ) + (, )
Lo cual indica que la funcin () de una variable compleja puede expresarse en trminos
de dos variables (, ) (, ), denominadas, respectivamente parte real de f y parte
imaginaria de f, que son ambas funciones de dos variables reales que toman valores reales.

Ejemplo 2.6.1
Si () = 2 = ( + )2 = 2 2 + 2 (, ) = 2 2 (, ) = 2

Prof. Humberto F. Valera Castro

44

Matemticas VI

2.7 Lmite de funciones complejas


Una vecindad de radio , (0 ) de un nmero complejo es el conjunto de los puntos z que
satisfacen la desigualdad | 0 | < .
(0 ), de 0 es una vecindad de 0 de la cual se ha
Una vecindad reducida de radio ,
excluido el punto 0 .
Si f es una funcin definida para todo z, con la posible excepcin de = 0 , de una regin R,
entonces el nmero complejo 0 es el lmite de () cuando z tiende a 0 , esto es,
() = 0

(0 )
> 0, > 0 | () 0 | <
() .
0

2.7.1 Propiedades
Si () = 0 y () = 1 entonces,
0

1. ( () + ()) = 0 + 1
0

2. ( ()()) = 0 1
0

3.

()

0 ()

0
1

, 1 0

Teorema 2.7.1
Sea

() = (, ) + (, ) la funcin de variable compleja. Sean 0 = 0 + 0 ,

0 = 0 + 0 entonces
() = 0

Prof. Humberto F. Valera Castro

Matemticas VI

45

Si y slo si

(,)(0 ,0 )

(, ) = 0

(,)(0 ,0 )

(, ) = 0

Ejemplo 2.7.1
( 2 + (2 ) 2)

( 2 + (2 ) 2) ( 2 + (2 ) 2) 0

=
=

( 2 + (2 ) 2)
( + 2)( )
=
= ( + 2) = ( + 2) = 1 + 2

Para demostrar esto, tomemos


| () (1 + 2)| = |( + 2) (1 + 2)| = | 2 + 2 + 1 2|
= |( 2 + 1) + 2( )| = |( + )( ) + 2( )|
= |( )( + + 2)| < | || + 2 + |,
Como | + 2 + | || + |2 + | < || + 3
Entonces
| () (1 + 2)| < | |(|| + 3)
Si | | < 1 || < 2 || || | | < 1
Por consiguiente,
| |(|| + 3) < 5| | | | < 1
Entonces
| |(|| + 3) < 5| | <
1

Tomando = (1, ), tenemos


5

| () (1 + 2)| <
().
Para todo

Prof. Humberto F. Valera Castro

46

Matemticas VI

Proposicin 1
( )
=0
()

0 , () = 0 () =

Proposicin 2
( )
=
0 ()

0 , 0 0 () = 0 () =
0

Ejemplo 2.7.2
3 3 + 2 +

2 3 + 2

1 1

3+ 2+ 3 3
3 3 + 2 +

=

=
3
1
2

2 + 2
2
2+ 2 3

Ejemplo 2.7.3
4 +

2 1

2 + 2
4 +
=

=
1
2 1

1 2

Ejemplo 2.7.4
2
3
1

1
2
3
=
=0

1 3

Prof. Humberto F. Valera Castro

Matemticas VI

47

2.8 Continuidad
Diremos que una funcin f de una variable compleja es continua en el punto 0 , si se cumple
las siguientes condiciones
1. Existe (0 )
2. Existe ()
0

3. () = (0 )
0

Decimos, adems, que si f es continua en un subconjunto S del plano complejo, si f es


continua en todo S.

Ejemplo 2.8.1
La funcin
2
( ) = {
1

No es continua en 0 = , pues no se cumple la condicin (3),


ya que () = 1 1 = ()

Teorema 2.8.1
Sean () () dos funciones de variable compleja continuas en un domino D. Entonces
1. La funcin () + () es continua en D
2. La funcin ()() es continua en D
3. La funcin

()
()

es contini en { : () = 0}

Prof. Humberto F. Valera Castro

48

Matemticas VI

Teorema 2.8.2
Sean () () dos funciones de variable compleja continuas definidas respectivamente
en los conjunto D y E, tales que ( ) . Si f es continua en D y g es continua en ( ),
entonces = (()) es continua en D.

Teorema 2.8.3
Sea () = (, ) + (, ) la funcin de variable compleja. Entonces f es contunua en
0 = 0 + 0 si y solo si las funciones componentes, (, ) (, ) son continuas
en(0 , 0 ).

Ejemplo 2.8.2
Estudiemos la continuidad en = 1 de la funcin
() = 2 + +


2 + 2

Verifiquemos la continuidad de f de dos maneras


Escribamos () en funcin de z, para ello consideremos
=

+

, =
2
2

Sustituyendo en ()
+

(
)(
)
+

2
2
)+(
)+
( ) = 2 (
2
2
+ 2
2
(
) +(
)
2
2
= + +
Prof. Humberto F. Valera Castro


3
1
1
+
= + +
2
2
2

Matemticas VI

49

Entonces f es continua, ya que es la suma de funciones continuas.


Otra manera
() = (2 +

)
(
)
+

2 + 2
2 + 2

De donde se deduce
(, ) = 2 +

(
)
,

2 + 2
2 + 2

Como u y v estn definidas en el punto (1,0) y adems

(,)(1,0)

(, ) = 3 = (1,0)

(,)(1,0)

(, ) = 0 = (1,0)

Podemos concluir que u v son continuas en el punto (1,0). Entonces por el teorema 2.8.3
f es contiuna en = 1

2.9 Derivadas de funciones complejas


Consideremos un nmero complejo fijo 0 y una funcin () definida en una vecindad de
0 , inclusive en el punto 0 . Decimos que () es derivable en z 0 , si existe el lmite
() (0 )
0
0

Al cual llamamos la primera derivada de () en el plano 0 y denotamos con el smbolo


(0 ).
Si hacemos = 0 , el lmite anterior se expresa entonces como
(0 + ) (0 )
0

(0 ) =

Prof. Humberto F. Valera Castro

50

Matemticas VI

Si una funcin () es derivable en todo punto de un subconjunto S del plano, decimos


entonces que () es derivable en S. En tal caso, observamos que la derivada puede ser
considerada como una funcin que a todo z en S, hace corresponder el nmero complejo
().
De acuerdo con esta observacin, igual que en el caso de funciones de variable real, se define
entonces la derivada segunda de una funcin () de variable compleja, en un punto z,
como la derivada primera de () en ese punto. Es decir,
() = (())
Ms generalmente, se define las derivadas sucesivas de () en un punto, mediante la
frmula
() () = ( (1) ()) ; 2
En la cual () () expresa la derivada de orden n de la funcin ()

Observacin: La definicin de derivada de una funcin de variable compleja, es similar a la


derivada de una funcin de variable real. Como consecuencia de ello, en el caso de funciones
de variables complejas se conservan las propiedades bsicas de las derivadas de funciones
de variable real.
En particular se conserva la relacin entre continuidad y derivabilidad de una funcin en
un punto. Asimismo, continan siendo vlidas las reglas bsicas para el clculo de las
derivadas de la suma, producto y cociente de funciones, e igualmente la regla de la cadena
para el calcula de las derivadas de funciones compuestas.

Prof. Humberto F. Valera Castro

Matemticas VI

51

2.10 Reglas de derivacin


1. (() + ()) = () + ()
2. (()()) = ()() + ()()
3.

( )
()() ()()
(
)=
2
()
(())

4. Si la funcin () es derivable en el punto 0 y la funcin ()es derivable en el punto


(0 ) entonces la funcin compuesta
()() = ((0 ))(0 )

Ejemplo 2.10.1
2 4
() = 2
,
+

()

() =

( 2 4)( 2 + ) ( 2 4)( 2 + ) 2( 2 + ) ( 2 4)2 2(4 + )


=
= 2
( 2 + ) 2
( 2 + )2
( + ) 2

Entonces,
() =

2 (4 + )
2 + 8
=
( 2 + )2 (1 + )2

Ejemplo 2.10.2
() = ( 3 )4 ,

()

() = 4( 3 )3 3 2 = 12 2 ( 3 )3

Prof. Humberto F. Valera Castro

52

Matemticas VI

2.11 Ecuacin de Cauchy - Riemann


En esta seccin estudiaremos un criterio bsico para estudiar la derivabilidad de las
funciones de una variable compleja.
Una condicin necesaria para que una funcin () = (, ) + (, ) sea derivable
en un punto = + de un dominio D, es que existan las derivadas parciales de u y de
v con respecto a x e y en D y satisfagan las ecuaciones de Cauchy Riemann:

=
,

Adems
() =

+
=

Una condicin suficiente para que una funcin () = (, ) + (, ) sea derivable


en un punto = + de un dominio D es que las funciones parte real y parte imaginaria
posean primeras derivadas parciales continuas en el punto (, ) y satisfagan las
ecuaciones de Cauchy Riemann

Ejemplo 2.11.1
Consideremos la funcin () = .
Las partes real e imaginaria de () son, respectivamente, las funciones
(, ) = ; (, ) = 0

= 1,
=0

Lo cual indica que las ecuaciones de Cauchy Riemann no se satisfacen, entones la funcin
() = no es derivable.

Prof. Humberto F. Valera Castro

Matemticas VI

53

Ejemplo 2.11.2
Sea la funcin () = ||2 = 2 + 2 , entonces
(, ) = 2 + 2 ; (, ) = 0

= 2,
= 2,


=
=0

Se deduce que las ecuaciones de Cauchy Riemann se cumplen solamente si = = 0, por


lo tanto la funcin dada no es derivable para los puntos 0.

Ejemplo 2.11.3
Sea la funcin () = 2 = 2 2 + 2, entonces
(, ) = 2 2 ; (, ) = 2

= 2,
= 2,

= 2,
= 2

Por lo tanto, la funcin es derivable en todo punto del plano


Luego
() =

+
=

= 2 + 2 = 2

2.12 Ecuacin de Cauchy Riemann en forma polar


Supongamos una funcin () = (, ) + (, ) derivable en un punto 0.
Consideremos las ecuaciones de la transformacin en coordenadas polares
= ,

Podemos escribir
= + = ( + ) = (, )
= 2 + 2 ;

= ( )

Prof. Humberto F. Valera Castro

54

Matemticas VI

(, ) = ( 2 + 2 , ( )) ; (, ) = ( 2 + 2 , ( ))

Calculemos las derivadas parciales de las funciones (, ), (, )

=
;
=
;
= 2
;
= 2
2
2 + 2 2 + 2 +
+ 2
Entonces usando la regla de la cadena para funciones de dos variables reales, tenemos:

(, ) =
(, ) (, ) +
(, ) (, )

(, ) (
(, ) ( 2
)+
)

+ 2
2 + 2

1
(, )
(, )

De forma anloga, obtenemos:

1
(, ) =
(, ) +
(, )

1
(, ) =
(, )
(, )

1
(, ) =
(, ) +
(, )


Como () es derivable en el punto z, son vlidas las ecuaciones de Cauchy Riemann,
entonces


1
1
] [
=

=0[
+ ] = 0



(1)


1
1
] + [
=

+
=0[
+ ] = 0 (2)




Prof. Humberto F. Valera Castro

Matemticas VI

55

Ahora bien, multiplicando por la ecuacin (1) y por a la (2) y luego sumndolas
tenemos:
[

1
1
] 2 [

+ ] = 0

1
1
] 2 + [

+ ] = 0}

1
1

=0
=

Anlogamente, multiplicando por ( ) sen la ecuacin (1) y por la (2) se


tiene:
[

1
1
] + [

+ ] 2 = 0

1
1
] + [

+ ] 2 = 0 }

1
+
=0
=

Es decir
1
1
=
;
=


Que son las ecuaciones de Cauchy Riemann en forma Polar
Y adems,
() = (, ) = ( ) [

+ ] = ( ) [ ]

Ejemplo 2.12.1
Determine si la funcin
() = ( ) = + ,

<<
2
2

es derivable en todo punto, y calcule ().


Prof. Humberto F. Valera Castro

56

Matemticas VI

(, ) = ; (, ) =

= ,
=0
=0 ,

=1

Las derivadas parciales obtenidas son continuas en ambas variables, y satisfacen las
ecuaciones
1
1
=
;
=


Se deduce entonces que () es derivable en todo punto de su dominio.
Adems,
() = ( ) [

1
1
1
1
+ ] = ( ) = = =

2.13 Funciones Analticas


Definicin 2.13.1
Una funcin () de una variable compleja es una funcin analtica en un punto 0 de su
dominio, si es derivable en 0 , y adems en todo punto z en alguna vecindad de 0 .
Diremos que () es analtica en un dominio D, si es analtica en todo punto de D.

Propiedades
1. Una funcin () de una variable compleja que es analtica en un punto, se caracteriza
por poseer derivadas sucesivas de todos los rdenes en dicho punto, los cuales resultan
tambin funciones analticas en tal punto.

Prof. Humberto F. Valera Castro

Matemticas VI

57

2. Si () = (, ) + (, ) es analtica en un punto, entonces las funciones


(, ) (, ) poseen derivadas parciales sucesivas de todos los rdenes, las cuales
resultan funciones continuas en las dos variables, en dicho punto.

Ejemplo 2.13.1
La funcin () =

es analtica en todo punto 0. En efecto, si z 0 , siempre es posible

elegir una vecindad de z que no contiene al origen, entonces, dicha vecindad est constituida
por puntos donde () es derivable.
A pesar de que () no es analtica en el origen, en el cual ni siquiera esta definida, si
consideramos una vecindad arbitraria V del origen, podemos verificar () es analtica en
cualquier punto 1 0 en dicha vecindad.
En efecto, () es derivable en 1 0, y adems, siempre es posible obtener una vecindad
D que contiene a 1 y formada por puntos en los cuales () es derivable.
1

En este caso decimos que el origen es un punto singular de () = .

z1
0

Ms generalmente, si una funcin () de una variable compleja no es analtica en un punto


0 , pero dada cualquier vecindad de 0 ella contiene algn punto en que () es analtica,
decimos que 0 es un punto singular de ().

Prof. Humberto F. Valera Castro

58

Matemticas VI

2.14 Funciones Armnicas


Decimos que una funcin (, ) de dos variables reales es una funcin armnica en un
dominio D del plano xy, si tiene derivadas parciales de segundo orden continuas en D, y stas
satisfacen la ecuacin de Laplace
2 2
+
=0
2 2

2 2
+
2 ,
2 2

Laplaciano de h.
Comprobemos que si una funcin () = (, ) + (, ) es analtica en un dominio D
del plano, entonces (, ) (, ) son funciones armnicas en D.
En efecto, si () es analtica en D, las funciones (, ) (, ) poseen derivadas
parciales de segundo orden continuas en D. Adems se satisfacen en D las ecuaciones de
cauchy Riemann,

=
,

Derivando ambos miembros de cada una de estas ecuaciones, primero con respecto a la
variable x y despus con respecto a y, se obtiene:
2
2
=
,
2

2
2
= 2

2
2
=
,
2

2
2
=
2

Recordando ahora que, por continuidad de las derivadas parciales de segundo orden
2
2
2
2
=
;
=

Prof. Humberto F. Valera Castro

Matemticas VI

59

Entonces, tenemos:
2 2
2
2
2 2
2
2
+
=

=
0;
+
=

+
=0
2 2
2 2

De lo cual se concluye que, si () es analtica en un dominio D, entonces sus partes
real e imaginaria son funciones armnicas en D.

En el caso en que dos funciones armnicas cualesquiera, (, ) (, ), satisfacen las


ecuaciones de Cauchy Riemann en un conjunto D, decimos que (, ) es una funcin
conjugada armnica de (, ) en D, y , (, ) (, ) son funciones armnicas
conjugadas en D: Entonces, la conclusin anterior puede ser enunciada tambin de la
manera siguiente:
Si () es analtica en un dominio D, las partes real e imaginaria de f son funciones
armnicas conjugadas en D.
La afirmacin recproca de la anterior afirmacin tambin es vlida. Es decir., si
(, ) (, ) son armnicas conjugadas en un dominio D, y consideremos la funcin de
una variable compleja () = (, ) + (, ) entonces () es analtica en D.

Ejemplo 2.14.1
Las funciones (, ) = 2 (1 ), (, ) = 2 + 2 2 , son funciones armnicas en
todo el plano.
En efecto,

2
2
= 2 2;
= 2,
= 0;
=0

2
2
Y por lo tanto

Prof. Humberto F. Valera Castro

60

Matemticas VI

2 2
+
=0
2 2
Tambin,

2
2
= 2;
= 2 + 2,
=
2;
= 2

2
2
Por consiguiente,
2 2
+
=0
2 2
Ahora bien, estas mismas funciones (, ) = 2 (1 ), (, ) = 2 + 2 2 sirven
para comprobar que si (, ) es una conjugada armnica de (, ), en general, no se
cumple que (, ) es una conjugada armnica de (, ).
Para ello, basta comprobar que existen puntos (, ) del plano para los cuales no se cumplen
las ecuaciones de Cauchy Riemann, es decir,

=
,

En efecto, si x 0 e y 1 , se tiene

= 2 2 =

= 2 + 2 2 2 =

Ahora bien, podemos concluir que:


Si (, ) es una conjugada armnica de (, ), entonces (, ) es una conjugada
armnica de (, ).

Prof. Humberto F. Valera Castro

Matemticas VI

61

2.15 Integrales en el campo Complejo


2.15.1 Integral de una funcin de una variable compleja
Empecemos nuestro estudio tratando construir la integral de una funcin de variable
compleja utilizando los conocimientos previos que poseemos de integrales definidas de una
funcin real de variable real.
Consideremos una funcin compleja = (). Sean los nmeros complejos ; y la
curva C que los une.
Como en el caso real podemos dividir la curva C en pequeos segmentos determinados por
los puntos
= 0 , 1 , , =
y

Los cuales son obtenidos cuando nos movemos uniformemente de a a lo largo de la curva
C de la misma forma que en el caso real podemos considerar la suma

= ( )( 1 )
=1

Si la funcin () es continua y la curva C es de longitud finita, podemos definir la integral


de f a lo largo de la curva C como:

() = () = ( )( 1 )

=1

Prof. Humberto F. Valera Castro

62

Matemticas VI

Llamada la integral compleja de lnea o integral de lnea de () a lo largo de la curva


C, o la integral definida de () desde a a lo largo de C

2.15.2 Integral definida de una funcin compleja de variable real


Si ( ) = ( ) + ( ), es una funcin continua a trozos, Entonces la integral
definida de f en funcin de dos integrales definidas reales

( ) = ( ) + ( )

Ejemplo 2.15.2.1

( ) = = +

Entonces

= + =
0

[ ]04

[ ]04

==

2
2
+ (1 )
2
2

Prof. Humberto F. Valera Castro

Matemticas VI

63

2.16 Integral de Lnea


2.16.1 Contornos
En general la integral de una funcin de variable compleja depende de la escogencia de la
curva a lo largo de la cual definimos la integral. Por lo tanto introduciremos las clases de
curvas adecuadas para estudiar la integral de lnea de una funcin de variable compleja.
Definicin 2.16.1
Un arco C es el conjunto de puntos = (, ) en el plano complejo tales que
= ( ),

= ( ) [, ]

donde ( ), ( ) son funciones continuas de la variable t.


y

Definicin 2.16.2
El arco C es un arco simple o arco de Jordn si (1 ) (2 ) 1 2 para
(, ). Es decir, un arco C se llama simple cuando no tiene puntos donde se cruza a si
mismo.

Prof. Humberto F. Valera Castro

64

Matemticas VI

Definicin 2.16.3
Cuando el arco C es simple y () = () se dice que C es una curva simple cerrada o curva
de jordan

Ejemplo 2.16.1
El circulo determinado por
( ) = + ,

0 2

de centro en el origen es una curva simple cerrada

Definicin 2.16.4
Un arco C descrito por ( ) = ( ) + ( ) se dice que es un arco rectificable si ( ) existe
y es continua en el intervalo [, ] ( ) 0 a, b

Prof. Humberto F. Valera Castro

Matemticas VI

65

2.16.2 Integral de Lnea de una funcin compleja de variable


compleja
Sea C un contorno representado por la ecuacin
( ) = ( ) + ( ) [, ]
Definamos la integral de lnea de f a lo largo de C como

() = (( ))( )

Como
(( ))() = [(( ), ( )) + ( ( ), ( ))](( ) + ( ))
Entonces,

() = ( ) + ( + )

Tambin podemos definir

() = + +

Asociado con cada contorno C de la integral, existe un contorno C que consiste del mismo
conjunto de puntos, pero con el orden invertido de tal forma que el nuevo contorno C se
extiende desde b hasta el punto a.
El contorno C esta descrito por
= ( )
Entonces

() = (( ))(())

Prof. Humberto F. Valera Castro

Matemticas VI

66

Por medios de un cambio de variable, obtenemos


() = ()

Nota: En general el sentido en que ( ) recorre C define lo que se llama la orientacin de C.


Una curva o contorno C se dice que est orientada positivamente, si se describe en el sentido
opuesto al movimiento de las manecillas del reloj. (Sentido antihorario)

Ejemplo 2.16.2.1
Sea C el crculo unitario en la direccin positiva. Evaluemos

El circulo C est determinado por


( ) = + ,

0 2

y
( ) = + = ( + )
2
2
1
1

= ( + ) ( + ) = = 2

0
0

Ejemplo 2.16.2.2
Integrar 2 a lo largo de un contorno C dado por ( ) = + 2 , 0 1

2 = ( + 2 )2 (1 + 2) = ( 2 + 2 3 4 )(1 + 2)

1
2

4)

= ( 5 + (4 3 2 5 )2 =
0

2
( 1)
3

Prof. Humberto F. Valera Castro

Matemticas VI

Ejemplo 2.16.2.3
Calcular
2

a lo largo de las siguientes contornos


a) 1 es el segmento de recta OB que va de = 0 = 2 + (figura 1)
b) 2 es el contorno OAB de la figura 2

Figura 1

Figura 2

a) Observemos que los puntos de 1 estn en la recta determinada por = 2.


Entonces parametrizando la curva 1 obtenemos la ecuacin
1 : () = 2 + , () = 2 +
1
2

= (2 +

)2 (

1 + 2) = (4 2 + 4 2 2 )(2 + )

0
1

= (3 + 4)(2 + ) 2 =
0

2 11
+

3 3

b) El contorno 2 esta formado por la unin de los segmentos OA y AB. Entonces


2 = 2 + 2
2

Podemos considerar la ecuacin para mtrica de OA dada por () = , 0 2


y la ecuacin paramtrica de AB dada por () = 2 + , 0 1

Prof. Humberto F. Valera Castro

67

68

Matemticas VI
2
2

1
2

= + (2 + )2 =
2

1
1
8
2)
(
+ [ 4 + 4 ]
3
0
0

2 11
+

3 3

2.17 Teorema de Cauchy-Goursat


Sea C un contorno cerrado y simple. Sea () una funcin analtica sobre y en el interior de
C. Entonces
() = 0

Ejemplo 2.17.1
Verifique que
= 0

Donde n es un nmero entero positivo y C es la circunferencia || = , > 0

Como > 0 la funcin () = es entera, luego por el teorema de Cauchy-Goursat


= 0

Veamos que esto es cierto. Una parametrizacin de || = , > 0 es


() = ,
As,
Prof. Humberto F. Valera Castro

0 2

Matemticas VI
2

= (

2
) (

+1

69

(+1)

+1

(+1)
[
] =0
+1 0

Luego se verifica el teorema de Cauchy-Goursat

2.17.1 Extensin del Teorema de Cauchy-Goursat


Sean 1 y 2 dos contornos cerrados simples, 2 completamente en el interior de 1 . Los
puntos que son a la vez interiores a 1 y exteriores a 2 forman un dominio doblemente
conexo.

Como consecuencia inmediata del teorema de Cauchy Goursat obtenemos el siguiente


resultado

Teorema 2.17.1
Si f es analtica en todos los puntos del dominio doblemente conexo determinado por los
contornos 1 y 2 , incluyendo 1 y 2 , ambas orientados positivamente, entonces:
() = ()
1

Prof. Humberto F. Valera Castro

70

Matemticas VI

Ejemplo 2.17.1.1
En el ejemplo 2.16.2.1 obtuvimos:

1
= 2

donde C es la circunferencia unitaria || = 1


Como f z 1 es analtica para todo 0, aplicando el teorema obtenemos
z

1
= 2

donde C es cualquier contorno que encierra a || = 1

Otro resultado que vamos a establecer mediante un teorema es el siguiente:


Teorema2.17.1.1
Sea C un contorno simple cerrado. Supongamos que cada uno de los contornos simples
cerrados 1 , 2 , , esta contenido en el interior de C pero es exterior a cualquier otro de
estos contornos (los contornos , 1 no se intersectan). Entonces
() = () + () + + ()

Siempre y cuando f sea analtica en el interior y en la frontera de la regin mltiplemente


conexa formada por C como contorno exterior y 1 , 2 , , como contornos interiores.

Prof. Humberto F. Valera Castro

Matemticas VI

71

2.18 Frmula Integral de Cauchy


Sea f una funcin analtica en todo el dominio D. sea C un contorno (orientado
positivamente) cerrado simple en D cuyo interior est completamente contenido en D.
Si 0 es un punto en el interior de C entonces
(0 ) =

1
( )

2 0

Esta ecuacin se conoce con el nombre de Frmula integral de Cauchy

A continuacin estudiaremos algunas de las aplicaciones y consecuencias de la frmula


integral de Cauchy.
I.

Clculo de integrales definidas


En las aplicaciones es ventajoso modificar ligeramente la frmula integral de Cauchy, en
vez de 0 escribiremos z y usaremos a s como variable compleja de integracin:
( ) =

1
( )

Ejemplo 2.18.1
Calcular

2 + 1

en donde C es cualquier contorno simple cerrado que contiene a = pero no a =

Prof. Humberto F. Valera Castro

72

Matemticas VI
y
C
i

Escribamos

=
2 + 1
( + )( )

Ahora bien, si
( ) =

1
= ,
+

Tenemos que
1
( )

2 () =
=
= +
(
)(
)


Por lo tanto, el valor de la integral con = es
1
2 () = 2 ( ) =
2
Si C encierra a = pero no a = ,
Tenemos que
( ) =

1
= ,

Luego
2 () = 2 (

Prof. Humberto F. Valera Castro

1
) =
2

Matemticas VI

73

Si C encierra a = y a =
y

-i

Entonces tenemos,

= 2
+ 2
+1
1 + 1
2 + 1

Las integrales del segundo miembro surgen respectivamente de los casos anteriores,
entonces

= =0
+1

Ejemplo 2.18.2
Calcular

(9 2 )( + )

en donde C es la circunferencia definida por || = 2

Definamos
( ) =

9 2

Prof. Humberto F. Valera Castro

Matemticas VI

74

que es analtica en el contorno C y en el interior de C , aplicando la frmula integral de


Cauchy para = ( est en el interior de C)

(
)
(
)
=
2

=
2
=
(9 2 )( + )
9+1
5

II.

Frmulas integrales para derivadas de funciones analticas


Podemos obtener una frmula para la derivada () derivando la integral en la frmula
integral de Cauchy
( ) =

1
( )

Con respecto a z.
As
() =

1
( )

2 ( )2

Derivando de nuevo con respecto a z, se tiene:


() =

2
( )

2 ( )3

() =

6
( )

2 ( )4

En general la derivada de orden n de () se puede obtener la frmula:


() () =

!
( )

2 ( )+1

Prof. Humberto F. Valera Castro

Matemticas VI

75

La frmula de Cauchy nos muestra que si tenemos una funcin analtica con derivada
continua en una regin D entonces existen las derivadas de todos los rdenes de dicha
funcin en D. Es decir, que si () es analtica existen todas sus derivadas
(), (), , () (),
Y son analticas.
Teorema 2.18.1 (Desigualdad de Cauchy)
Sea C una circunferencia con centro en a y radio r. Sea () una funcin analtica en un
conjunto D que coniene a C y a su interior. Entonces
| () ()|

!
= 0,1,2,

Suponiendo que f es acotada y | ()| en C.


Demostracin:
Parametrizamos la curva C por = ( ) = + 0 2.
Usando la frmula integral para derivadas encontramos que
| () ()|

| ()|
!
!

!
!
(
)

2 | |+1
2 +1
2 +1

Teorema 2.18.2 (Liouville)


Sea f una funcin analtica en todo el plano. Si f es acotada entonces f es constante.

Definicin 2.18.1
Una funcin analtica en todo el plano se dice funcin entera

Prof. Humberto F. Valera Castro

76

Matemticas VI

Ejemplo 2.18.2
Hallar el valor de la integral

||=2

( 2

+ 4 )2

Factorizando el integrando

( 2

1
1
=
2
2
( 2) ( + 2)2
+ 4)

Tomando
( ) =

1
= 2,
( + 2)2

Entonces
(2) =

1
( )
1

=
2 ( )2
2 ||=2 ( 2 + 4)2

As como
() =

2
2
1
(2) =
=
3
3
( + 2)
(4)
32

Entonces

||=2

( 2

= 2 ( ) =
2
+ 4)
32
16

Prof. Humberto F. Valera Castro

Matemticas VI

77

2.19 Series de Taylor y Laurent


2.19.1 Funciones representadas por series de potencias
Si una serie

( )
=0

tiene radio de convergencia > 0, entonces la suma de esta serie es una funcin de z, es
decir,

() = ( ) , | | <
=0

Decimos entonces que () esta representada por esta serie de potencia o desarrollada en
serie de potencias alrededor del punto = .
La importancia de considerar funciones representables por series de potencias se pondr de
manifiesto por estos resultados que enunciaremos sin demostracin:
1. Si dos series de potencias


=0

=0

convergen para || < , con > 0, si

= () ; = ()
=0

=0

y () = () || < entonces las series son iguales. Tenemos entonces que si


una funcin es desarrollable en serie alrededor de un punto, este desarrollo es nico.

2. Si
=0 es una serie con radio de convergencia > 0, entonces la serie puede

derivarse e integrarse trmino a trmino y la serie as obtenida tiene el mismo radio de


convergencia > 0, es decir,
Prof. Humberto F. Valera Castro

78

Matemticas VI

() = , || < () = 1 , || <
=0

=1

() = , || < () =
=0

=0

+1

, || <
+1

Veremos ahora que toda funcin analtica es representable en serie de potencias, esta
representacin es llamada serie de Taylor y es muy parecida a las series de Taylor reales.

2.19.2 Serie de Taylor


Si f es analtica en un dominio D, entonces f es diferenciable tantas veces como queramos en
D. Si 0 , entonces
(0 )
() (0 )
2
( 0 ) + +
( 0 ) +
() = (0 ) + (0 )( 0 ) +
2!
!
para | 0 | < .
Es decir,

() = ( 0 ) | 0 | <
=0

() (0 )
=
!

Prof. Humberto F. Valera Castro

Matemticas VI

79

Ejemplo 2.19.2.1
La funcin () = es analtica en el plano. El mayor disco abierto de centro 0 = 1 en
el plano es | 1| < 1
Ahora bien,
() =

1
,

() =

1
2
(
)
,

=
, ,
2
3

()

( ) =

(1)+1 ( 1)!

Entonces
( 1)2 2( 1)3
(1)+1 ( 1)! ( 1)
= ( 1)
+
++
+ , | 1| < 1
2
6
!
( 1)2 ( 1 )3
(1)+1 ( 1)
= ( 1)
+
+ +
+
2
3

Ejemplo 2.19.2.2
Comprobar cada uno de los siguientes desarrollos de Taylor

1. =
=0

1
, || <
!

(1) 2
2. =
, || <
(2 + 1)!
=0

1
3.
= , || <
1
=0

1
4.
= (1) , || < 1
1+
=0

1
5. = (1) ( 1) , | 1| < 1

=0

Prof. Humberto F. Valera Castro

80

Matemticas VI

1
1
6.
= [(1) + 2(+1) ]( 1) , | 1| < 1
(3 )
3
=0

1. Se tiene que () = es una funcin entera y () () =


Entonces

=
=0

1
, || <
!

2. Se tiene que () = es una funcin entera, adems



=
2
De esta forma utilizando el desarrollo de , podemos escribir

=0

=0

=0


1
1
1
1
1
=
= [ () () ] = [ () ]
2
2
!
!
2
!
Ahora bien,
0

={
2 (1) = 2 + 1

Entonces

=
=0

3. () =

1
1

de () =

(1) 2+1
|| <
(2 + 1)!

es analtica en todo 1. Entonces el desarrollo de Mclaurin


1

es vlido para todo || < 1

Ahora bien,
() () =
Entonces
Prof. Humberto F. Valera Castro

!
() (0) = !
(1 )

Matemticas VI

=0

=0

81

1
() (0)
=
= , | < 1|
1
!
4. Se tiene que () =

1
1+

es analtica en todo 1. Entonces

=0

=0

1
1
=
= () = (1) , | < 1|
(
)
1 + 1
5. De forma anloga tenemos que

1
1
=
= (1) ( 1) , | 1| < 1
1 + ( 1)
=0

6. Usando fracciones simples tenemos que


1
13 1
1
1
1
1
3
) (
)
=
+
= (
(3 )

3 3 1 + ( 1)
3 ( 1) 2
1
1
1 1
)+ . (
= (
3 1 + ( 1)
3 2

1
)
( 1)
1
2

=0

=0

( 1)
1
1 1

= (1) ( 1) + .
3
3 2
2

=0

=0

1
1
= (1) ( 1) + 2(+1) ( 1)
3
3

1
= [(1) + 2(+1) ]( 1) , | 1| < 1
3
=0

Prof. Humberto F. Valera Castro

82

Matemticas VI

2.19.3 Serie de Laurent


Ya hemos visto que una funcin f analtica en una vecindad de un punto = 0 admite una
representacin en serie de potencias alrededor de ese punto de la forma

() = ( 0 ) ,

| 0 | <

=0

donde el radio de convergencia R puede ser eventualmente infinito; este resultado no es


entonces aplicable a una funcin f respecto al punto = 0 en donde ella no sea analtica,
tenemos sin embargo, un resultado similar, donde consideramos funciones analticas ya no
en un disco abierto de la forma | 0 | < sino en un anillo, esto es, una regin definida
por
Y

0 1 < | 0 | < 2

Ejemplo 2.19.3.1

() = 0 < ||, , {0}

1 = 0 2 =

Prof. Humberto F. Valera Castro

Matemticas VI

83

Ejemplo 2.19.3.2
( ) =

1
0 < || < 1
( 1)
y

Tambin podemos considerar para esta funcin, cuyas singularidades estn en


= 0 = 1 el anillo

1
2

< | |
2

1/2

Ejemplo 2.19.3.3
( ) =

1
1
3
3
< | | <
( 1)( 2)
2
2
2

1 < || < 2

Prof. Humberto F. Valera Castro

84

Matemticas VI

Como veremos en estos anillos la funcin f admite desarrollo en serie de potencias, donde a
diferencia del desarrollo de Taylor, admitimos exponentes negativos, es decir, desarrollos de
la forma:
+ + 2 ( 0 )2 + 1 ( 0 ) + 0 + 1 ( 0 )1 + 2 ( 0 )2 +
Que denotamos por

( 0 ) +
=0

=1

( 0 )

Este desarrollo en serie, llamado serie de Laurent de la funcin f, depende del anillo en que
se considere la funcin y es nicamente determinado en un anillo dado.

2.19.4 Teorema de Laurent


Si f es analtica en el anillo definido por 1 < | 0 | < 2 entonces, () puede escribirse
como

() = ( 0 ) +
=0

=1

( 0 )

Estas series convergen uniformemente en el anillo 1 < | 0 | < 2 y los coeficientes son
dados por
=

1
( )
1

()( 0 )1
, =
+1
2 ( 0 )
2

Prof. Humberto F. Valera Castro

Matemticas VI

85

donde la integracin se toma en sentido antihorario sobre un contorno simple cerrado C


contenido en el anillo
y

Ejemplo 2.19.4.1
Desarrollemos la funcin
( ) =

1
( 1)

en distintas regiones anulares; () es singular en = 0 = 1 lo cual nos sugiere varios


casos
a. 0 < || < 1
y

1
1
1
1
1
) = (1 + + 2 + 3 + + ) = 1 2
= (
( 1)
1

Prof. Humberto F. Valera Castro

86

Matemticas VI

b. 1 < ||

1
1
1
1
1 1
1
1
1
) = 2 (1 + + 2 + +) = 2 + 3 + 4 + +
= 2(
( 1) 1 1

c. 0 < | 1| < 1
y

1
1
1
1
(1 ( 1) + ( 1)2 ( 1)3 + + )
(
)=
=
( 1) 1 1 + ( 1)
1
=

1
1 + ( 1) ( 1)2 + ( 1)3 + +
1

d. 1 < | 1|
y

Prof. Humberto F. Valera Castro

Matemticas VI

87

1
1
1
1
1
1
(
)=
(1 +
=
+
+ +)
2
2
( 1)
( 1) ( 1) 1 1
1 ( 1)2
1
=

1
1
1
+
+
+ +
2
3
( 1)
( 1)
( 1)4

e.

1
2

< | |
2

1/2

1
=
( 1)

1
( )
2

1
1
2
1+
1+ 2 1
1
)(
)
(
2
2

1 2
1 2
1
(
)
(
)
1
2
2
2
(1
=
+
+ +) (1
+
+ +)
1
1
1 2
1 2
1 2

( )
2 ( 2)
2 ( 2)
2
1
2

1 2
1 4
( )
( )
1
2
2
(1
=
+
+
+ +)
2
2
1 4
1
1
( )
( )
( )
2
2
2
=

1
1
( )
2

1
1
22 ( )
2

1
1 6
4
2 ( )
2

+ +

Prof. Humberto F. Valera Castro

88

Matemticas VI

2.20 Mtodo de los Residuos


2.20.1 Ceros de una funcin
Definicin 2.20.1
Si una funcin f es analtica en un dominio D y () = 0 decimos que a es un
cero de f o que () tiene un cero en = .

Definicin 2.20.2
Si () = () = = (1) () = 0 () () 0 decisimos que a es un cero de orden n
de f o que f tiene un cero de orden n en = .
Lo ceros de orden 1, es decir, cuando () = 0, () 0 se llaman tambin ceros simples.
Generalizando el estudio de comportamiento local de las funciones al plano extendido,
1

diremos que una funcin f tiene un cero de orden n en el infinito si la funcin ( ) tiene un

cero de orden n en = 0.

Ejemplo 2.20.1
1. () = ( ) tiene un cero de orden m en =
2. () = tiene un ceros simples en = ,
3. () =

1
1

tiene un cero simple en infinito

4. () = no tiene ceros en todo el plano extendido


5. () =

tiene ceros simples en = , {1}

Prof. Humberto F. Valera Castro

Matemticas VI

89

Definicin 2.20.3
Un punto es llamado punto aislado de S, si existe una vecindad de a que no contiene
otros puntos de S.

Definicin 2.20.4
Un punto es llamado punto de acumulacin de S, si cualquier vecindad de b contiene
puntos de S distintos de b.

Ejemplo 2.20.3
a. Si = {1,2,3, } todo punto de S es aislado y S no tiene puntos de acumulacin en

b. = { : } consiste de puntoa aislados y = 0 es un punto de acumulacin

Teorema 2.20.1
Si f es una funcin analtica no nula y = {/() = 0} entonces todos los puntos de S
son aislados.

Prof. Humberto F. Valera Castro

90

Matemticas VI

2.20.2 Singularidades de una funcin


Definicin 2.20.2.1
Un punto = se dice punto singular de una funcin f, si () no es analtica en = , pero
cualquier vecindad de a contiene un punto en donde f es analtica.

Definicin 2.20.2.2
1

Decimos que una f es singular en el infinito si ( ) es singula en = 0.

Si f tiene una singularidad aislada en = , entonces podemos representarla por su serie de


Laurent

() = ( ) +
=0

=1

( )

Valida en alguna vecindad reducida de = , la segunda serie en esta expresin

=1

( )

Es llamada la parte principal de () en la vecindad de = , de esta parte se infiere que


tipo de comportamiento tiene la funcin en las cercanas de = y tendremos entonces
distintos tipos de singularidades.

Prof. Humberto F. Valera Castro

Matemticas VI

91

Definicin 2.20.2.2 (Polo)


Si podemos encontrar un entero m tal que
( ) () = 0

Entonces = es llamado polo de orde m. Si = 1 a es llamado un polo simple


O si = es una singularidad aislada de una funcin f cuyo desarrollo de Laurent en una
vecindad de = es de la forma

() = ( ) +
=0

1
2
3

+
+
++
2
3
( )
( )
( )

Es decir, 0 = 0 > . Entonces decimos que f tiene un polo de orden


m en = .

Ejemplo 2.20.2.1
1. () =

1
2
+
= 0 = 1
2
( 1)4
( 1)

de orden 4.
En efecto,
[
0

1
2
1
2
]
[
]=10
+
=

+
0 ( 1)2
( 1)4
( 1)2 ( 1)4

Entonces = 0 es un polo simple de f.


Otra manera de ver estos es
( ) =

1
1
2
1
2
[
]
+

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

Prof. Humberto F. Valera Castro

92

Matemticas VI

Es una funcin analtica en alguna vecindad de = 0 y por tanto es representable en la


forma


=0

Luego, resulta
( ) =

1
0
[0 + 1 + 2 2 + +] = + 1 + 2 + 3 2 + +

Entonces = 0 es un polo simple de f.


Analogamente se ve que = 1 es un polo de orden 4, ya que
( 1
1

)4

( 1)2
1
2
[
] = [
+
+ 2] = 2 0
1
( 1)2 ( 1)4

O escribiendo
( ) =

( 1)2
1
[
+ 2]
( 1)4

Definicin 2.20.2.3
Un punto singular = 0 de la funcin () es evitable si existe el llmite de f cuando z
tiende a 0 .

Ejemplo 2.20.2.2
() =



= 0
=1
0

Haciendo (0) = 1 convierte en analtica, por lo tanto = 0 es una singularidad evitable.


De hecho en una vecindad reducida de = 0

Prof. Humberto F. Valera Castro

Matemticas VI

93

1
3 5 7
2 4 6
= [ + + ] = 1 + +

3! 5! 7!
3! 5! 7!

Definicin 2.20.2.3 (Singularidad esencial)


Llamaremos singularidad esencial de una funcin () a toda singularidad que no sea un
polo ni singularidad evitable, en particular:
Si = es un punto aislado de () entonces = es una singularidad esencial si y slo si
en el desarrollo de Laurent de ()

() = ( ) +
=0

=1

( )

tenemos infinitos coeficientes distintosde cero.

Ejemplo 2.20.2.3
1. La funcin
1

=
=0

1
1
1
1
=
1
+
+
+
+
!
2! 2 3! 3

tiene en = 0 una singularidad esencial, se sigue de aqu que tiene en infinito uan
sigularidad esencial.
2. La funcin

(1)
1
1
1
1
=
=
+
+
2+1
3
(2 + 1)!

3!
5! 5
=0

tiene en = 0 una singularidad esencial.

Prof. Humberto F. Valera Castro

94

Matemticas VI

Veamos un sencillo resultado, til para determinar los polos de una funcin.
Teorema 2.20.1
Los ceros de una funcin () son los polos de la funcin

1
()

y recprocamente.

Los polos y las singularidades evitables son, por definicin aislados, sin embargo, las
singularidades esenciales pueden ser aisladas o no, de aqu se sigue que cualquier
singularidad no aislada es necesariamente esencial, veamos unos ejemplos
Ejemplo 2.20.2.4
1. La funcin
1

() = 1 =

, = 1, 2,

y estos puntos no son polos de () pues si as fuese, por el teorema 2.20.1 seran ceros de
1
()

, lo cual es falso, luego son singularidades esenciales, adems = 0 es un punto

singular de () y es tambin punto de acumulacin del conjunto


{

1
,

= 1, 2, }

Luego, es una singularidad no aislada, y por lo tanto, esencial.


2. La funcin
1
1
1
() = =
=
= 1, 2,
1

y = 0 es un punto singular de () y es tambin punto de acumulacin del conjunto

Prof. Humberto F. Valera Castro

Matemticas VI

1
,

95

= 1, 2, }

Luego, es una singularidad no aislada.


Tenemos entonces que todo punto de acumulacin de singularidad es una singularidad
esencial, consideremos el siguiente resultado
Teorema 2.20.2
Si () es no nula, entonces todo punto de acumulacin de ceros de () es una singularidad
esencial de ().

Del teorema se deduce que si () tiene infinitos ceros, necesariamanete tiene alguna
singularidad esencial, que puede ser finita o no.
Ejemplo 2.20.2.5
La funcin () = tiene ceros simples en = , , entonces tiene una
singularidad en infinito, y entonces
1
1
( ) =

Con infinitos ceros en


{

1
,

= 1, 2, }

Tiene en = 0 una singularidad esencial. Adems

Tiene un cero simple en infinito, correspondiente al cero simple en = 0 de

Prof. Humberto F. Valera Castro

96

Matemticas VI

2.21 Residuos
Hemos visto que si () tiene en = una singularidad aislada y = se halla en el
interior de C, entonces () se representa por la serie de Laurent

() = ( 0

=0

=1

( 0 )

Donde los coeficientes son dados por


=

1
( )
1

()( 0 )1
, =
+1
2 ( 0 )
2

donde la integracin se toma en sentido antihorario sobre un contorno simple cerrado C


contenido en el anillo.
Cuando = 1 tenemos que
1 =

1
()
2

El coeficiente 1 se llama residuo de () en residuo de () en = y

se

1 = (, ).
El residuo de una funcin en un polo simple puede ser hallado de forma sencilla.
En efecto, si
( ) =

1
+ 0 + 1 ( ) +

Entonces
( ) () = 1 + 0 ( ) + 1 ( )2 +
Luego
1 = (, ) = ( ) ()

Prof. Humberto F. Valera Castro

denota

Matemticas VI

97

En particular, si
( ) =

( )
() 0, () = 0, () 0
( )

Entonces
( ) ( )
() + ( )() ()
=
=

( )
()
()

(, ) =

Para el caso general de un polo de orden n tenemos

1
2
3

( ) =
+
+
+

+
+ ( )
( )
( )2 ( )3
=0

( ) () = + 1 ( ) + + 1 ( )1 + 0 ( ) + 1 ( )+1 +
Derivando 1 veces cada miembro de la igualdad tenemos:
( + 1)!
1
[( ) ()] = ( 1)! 1 + ! 0 ( ) +
1 ( )2 +
1

2!
Ahora, tomando lmite cuando z tiende al punto a, obtenemos:
(, ) = 1 =

1
1
( 1 [( ) ()])
( 1)!

Ejemplo 2.21.1
1. Si () es analtica en = ,entonces

() = ( 0 )
=0

En una vecindad de = y por tanto (, ) = 0

Prof. Humberto F. Valera Castro

98

Matemticas VI

2. () =

4 1
4 1
=
= 2, = 1 ,
2 + 3 + 2 ( + 2)( + 1)

Luego
(, 2) = ( + 2) () = ( + 2) (
2

4 1
8 1
)=
=9
( + 2)( + 1)
2 + 1

4 1
4 1
)=
(, 1) = ( + 1)() = ( + 1) (
= 5
1
1
( + 2)( + 1)
1 + 2

2. Calculemos la integral
3 2

3 3 2

Donde C es la circunferencia || = 1
La funcin
( ) =

3 2
3 2
=
3 3 2 2 ( 3)

Tiene un polo simple en = 3 y un polo de orden 2 en = 0.


Ahora bien, = 0 es en el interior de || 1.
Entonces

3 2
1
21
3 2
2
(
)
(
)
(
[
(
)])

,
0
=

0
(2 1)! 0 21
3 3 2
2 ( 3)
= (
0

2 3 2
2( 3) 3 + 2
1
[ ( 2
)]) = (
)=
2
0
( 3)

( 3)
3

Ahora extenderemos este mtodo de evaluar integrales de lnea


()

donde () tiene una nica singularidad en el interior de C al caso en que hay un nmero
finito de singularidades de ().

Prof. Humberto F. Valera Castro

Matemticas VI

99

Teorema 2.21 De los Residuos


Sea () una funcin analtica en todos los puntos de un contorno cerrado C y en el interior
excepto para un nmero finito de puntos 1 , 2 , , interiores a C, entonces

() = 2 (, )

=1

donde el sentido de recorrido es antihorario.

Ejemplo 2.21.2
Calcule la integral de lnea

( 3
)
1
| |=1
2

( ) = 3
=
=
( 2 1) ( + 1)( 1)
Ahora bien, () presenta en = 0 y = 1 un singularidad simple.
Solo = 0 y = 1 estn en el interior de la circunferencia.
Por lo tanto,

(
)
(
)
(
)
) = 1
, 0 = + 0 = (
0
0
( + 1)( 1)

)=
(, 1) = ( 1) () = ( 1) (
1
1
( + 1)( 1)
2
Luego

( 3
) = 2 (1 + ) = ( 2)
1
2
| |=1
2

Prof. Humberto F. Valera Castro

100

Matemticas VI

2.22 Aplicaciones
El clculo de residuos se puede usar en la evaluacin de algunas integrales reales:
trigonomtricas e impropias.

2.22.1 Integrales trigonomtricas


Consideremos una integral del tipo:
2

= (cos , )
0

donde (cos , ) es una funcin racional real de definidas en el intervalo


[0,2].
Tomando = tenemos
=

+ 1
1
2 + 1
= ( + ) =
2
2

1
1
2 1
=
= ( ) =
2
2

2
= =

Ahora bien, cuando 0 2, la variable z recorre la circunferencia unitaria en


sentido antihorario.
Entonces la integral se convierte en
= ( )

donde f es una funcin racional en la variable z.

Prof. Humberto F. Valera Castro

Matemticas VI

101

Ejemplo 2.22.1.1
Calcule el valor de la integral
2

=
0

, >1
+

La condicin > 1 garantiza que el integrando es finito en [0,2],


luego haciendo
=

2 + 1
=
,
2

=
,

|| = 1

tenemos

=
2
2
2
||=1 ( + + 1)
||=1 + 2 + 1
2

=
La funcin

( ) =

1
2 + 2 + 1

Tiene polos simples en = = + 2 1 = = 2 1 , pero de estos


dos slo est en el interior C el polo = ,
luego
1
)
= 2(2)(, ) = 4 ( ) ( 2

+ 2 + 1
1
1
) = 4 (
)
= 4 ( ) (

( )( )

=

4
( + 2 1 + + 2 1)

2
2 1

Prof. Humberto F. Valera Castro

102

Matemticas VI

Ejemplo 2.22.1.2
Calcule el valor de la integral
2 (

1 + 2 )

5 4

Sabemos que
=

=
,

2 + 1
=
, || = 1
2

Tenemos
2 + + 1
1 + 2 =
,

2 2 5 + 2
5 4 =

2 + + 1
(
)
( 2 + + 1)
1

=
=

2 2 5 + 2
||=1 2 2 5 + 2

( 2 + + 1)
1
=

2 ||=1 ( 2) ( 1)
2
1

El punto = est en el interior de || = 1y el punto = 2 esta fuera


2

Entonces
( 2 + + 1)
1
1
1
2 7
) = ( ) ( )
= (2) (, ) = ( ) (

2
2
2 ( 2) ( 1)
3 4
2

Prof. Humberto F. Valera Castro

Matemticas VI

103

2.22.2 Integrales impropias del tipo ()


Caso I

() ,

La funcin compleja () est bien definida y es analtica excepto para un nmero finito de
polos, ninguno de los cuales est en el eje real.
Llamemos 1 , 2 , , a los polos en el semiplano superior ( > 0), como son en
nmero finito y > 0 = 1,2, , , podemos hallar un contorno C que los
contenga a todos en su interior como en la figura siguiente

. 1

. .

.2
-r

donde C es el arco de circunferencia de radio r.


Aplicando el teorema de los residuos tenemos:

() = () + () = 2 (, )

=1

Haciendo tender r a infinito

() = 2 (, ) ()

=1

Ahora bien,

Prof. Humberto F. Valera Castro

104

Matemticas VI

( )

> 0, > 0
||

Entonces
| ()|

= 1

Por lo tanto, como

=0
1

Se sigue que

() = 2 (, )

=1

Como caso particular tenemos el siguiente:


Si () es una funcin racional real,
( ) =

( )
() 0 () () + 2
( )

Entonces

() = 2 (, )

=1

donde , = 1,2, son polos de ()en el plano superior ( > 0)

Prof. Humberto F. Valera Castro

Matemticas VI

105

Ejemplo 2.22.2.1
Calcular la integral impropia

2
2
2
( + 9)( + 1)

Sea la funcin

( ) =

( 2

+ 9)( 2 + 1)2

Veamos cuales son los polos en el semiplano superior:


( 2 + 9)( 2 + 1)2 = ( + 3)( 3)( + )2 ( )2
Luego los polos = 3 (polo simple) y = (polo doble) estan en semiplano superior,
Entonces
= 2 [(, 3) + (, )]

1
)
(, 3) = ( 3) (
=
3
( + 3)( 3)( 2 + 1)2
6.64
(, ) =

3
( 2
)
=
( + 9)( 2 + 1)2
128

Por lo tanto
= 2 [

1
3
5
]=
+
6.64 128
96

Prof. Humberto F. Valera Castro

106

Matemticas VI

Caso II
En las misma condiciones que en el caso I excepto que ahora consideramos funciones ()
que tengan finitos polos en el eje real, con la condicin que estos sean polos simples, tenemos
la frmula

() = 2 (, ) + (, )

=1

=1

donde 1 , 2 , , son polos de () en el semiplano superior y 1 , 2 , , son polos en el


eje real.

Observe que el caso I esta incluido en el casoII


Igual que en el caso I, se verifica que
Si () es una funcin racional real,
( ) =

( )
() 0 () () + 2
( )

Entonces

() = 2 (, ) + (, )

=1

=1

donde , = 1,2, son polos de ()en el plano superior ( > 0) y 1 , 2 , , son


polos en .

Prof. Humberto F. Valera Castro

Matemticas VI

107

Ejemplo 2.22.2.2
Calcule la integral

2
3 + 2

( ) =

1
1
=
2 3 + 2 ( 1)( 2)

tiene polos simples en = 1 = 2,


luego
= [(, 1) + (, 2)] = [

1
1
]=0
+
12 21

Ejemplo 2.22.2.3
Calcule la integral

2
( 1)( + 4)

( ) =

1
( 1)( 2 + 4)

Tenemos polos simples en 1 , 2 2, entonces


2
1
) + (
) = 2
= 2(, 2) + (, 1) = 2 (
(2 1)4
1+4

Prof. Humberto F. Valera Castro

108

Matemticas VI

Caso III
En el clculo de integrales de Fourier a menudo es preciso evaluar integrales de la forma

() ()

Tenemos entonces el siguiente resultado


Si () es una funcin analtica excepto en un nmero finito de polos y todos sus polos en el
eje real son simples y existe > 0 tal que
| ()|


||

Entonces

() = 2 (() , ) + (() , ) ,

=1

>0

=1

donde 1 , 2 , , son polos de () en el semiplano superior y 1 , 2 , , son polos en el


eje real.
Si en la frmula anterior hacemos = cos + y separamos parte real e
imaginarias tenemos:

() = [2 (() , ) + (() , )]

=1

=1

() = [2 (() , ) + ( () , )]

=1

=1

Prof. Humberto F. Valera Castro

Matemticas VI

109

Ejemplo 2.22.2.4
Calcular

2 + 4 + 5
2 + 4 + 5

() =


2 + 2
2 + 4 + 5

Luego


(2+)

)]
= [2 ( () , 2 + )] = [2 (
2
2 + + 2 +
+ 4 + 5
= [ 12 ] = [ 1 2 ]
= [ 1 (cos(2) + (2))] =


cos 2
= [ 1 (cos(2) + (2))] =
+ 4 + 5

Ejemplo 2.22.2.5
Calcular

=
0

( 2 + 2 )2

>0 ,

>0

Notemos que el integrando es una funcin par


Luego
1
=

2 ( 2 + 2 )2
Prof. Humberto F. Valera Castro

110

Matemticas VI

La funcin
() =


( 2 + 2 )2

Tiene un polo simple en = 0 y polos de orden 2 en =


Entonces
= [2 (() , ) + (() , 0)]


0
(
) + (
)]
= [2
( + )2
(0 + 2 )2
= [2 (

= [2 (

( + )2 ( + )2 2( + )
)
+ 4]
( + )2

43 + 42 + 42
)
+ 4]
2 (164 )

+ 2

)
= (

+
44
24
=

(2 ( + 2) )
4
2

Prof. Humberto F. Valera Castro

Matemticas VI

Prof. Humberto F. Valera Castro

111

112

Matemticas VI

Prof. Humberto F. Valera Castro

Matemticas VI

113

INDICE GENERAL
CONTENIDOS
Parte I
1.1 Superficies

...... 9

1.2 Producto vectorial fundamental .... 12


1.3 Area de una Superficie ....... 15
1.4 Integral de Superficie ...... 19
1.5 Aplicaciones ....... 21
1.6 Operadores diferenciales .. 23
1.7 Superficies Orientables 25
1.8 Teorema de la Divergencia ...... 26
1.9 Teorema de Stoke ....... 28
2.1 Nmero Complejos --------....... 33
2.2 Operaciones Algebraicas .......... 34
2.3 Valor Absoluto y Conjugada de un nmero Complejo ........ 36
2.4 Forma Polar .......... 38
2.5 Potencias y races de un nmero complejo ......... 41
2.6 Funciones de variable compleja .. ................. 43
2.7 Lmite .......... 44
2.8 Continuidad . .................... 47
2.9 Derivadas ..................... 49
2.10 Reglas de Derivada . .................... 51
2.11 Ecuacin de Cauchy-Riemann ........ 52
2.12 Ecuacin de Cauchy-Riemann en forma polar ......... 53
Prof. Humberto F. Valera Castro

114

Matemticas VI

2.13 Funciones Analticas ... 56


2.14 Funciones Armonicas ........ 58
2.15 Integrales Complejas .. 61
2.16 Integral de Linea ........ 63
2.17 Teorema de Cauchy Goursat ........ 68
2.18 Frmula Integral de Cauchy ......... 71
2.19 Series de Taylor y series de Laurent ......... 77
2.20 Mtodos de los residuos .......... 88
2.21 Residuos .......... 96
2.22 Aplicaciones ......... 100

Prof. Humberto F. Valera Castro

Matemticas VI

Prof. Humberto F. Valera Castro

115

116

Matemticas VI

Prof. Humberto F. Valera Castro

You might also like