LIMITES Y DERIVADAS

CAPI TULO I

LI MI TES Y DERIVADAS

Preliminares:

Para poder estudiar funciones de valor y variable compleja, es necesario traer a la
memoria algunos conceptos bsicos acerca del conjunto C de los nmeros
complejos es decir de: C = {( ) b , a / b , a R}
De igual manera : C
n
= { ( )
i n
z / z , , z , z K
2 1
C; n , , , i K 2 1 }

A cada elemento de C denotado z, , ... , se les llaman nmeros complejos. En C se
hallan definidas dos operaciones internas, adems de la igualdad en C.

Igualdad: (a,b) = (c,d) (a = c) (b = d)
Suma: (a,b) + (c,d) = (a + c , b + d )
Producto: (a,b).(c,d) = (ac - bd , ad + bc )
Divisin: (c,d) (0,0) ;

(a , b) (a , b)(c ,-d) ac + bd -ad + bc
= = ,
(c , d) (c , d)(c ,-d) c2 + d2 c2 + d2


En estas operaciones tenemos:
(0,0) Elemento neutro aditivo de C.
(1,0) Elemento neutro multiplicador de C.
(a,b) + (0,0) = (a + 0, b + 0) = (a,b).
(1,0) .(a,b) = (a 0, b 0) = (a,b).

Proposicin:
Existe una funcin inyectiva entre R y el eje real.
dada por : : x (x,0).

Se ha comprobado que es una funcin biyectiva y que adems satisface para todo
x, y en R :

(x + y) = (x) + (y)
(x + y) = (x + y, 0) = (x,0) + (y,0) = (x) + (y)

Esto permite identificar R con el eje real.

Nota: Eje real = { (x,0) / x R }

LIMITES Y DERIVADAS















Es decir que a = (a,0). As obtenemos que:

(0,1)(0,1) = (-1,0) = -1

denotaremos la Unidad Imaginaria i como i = ( 0,1)

donde i
2
= -1 , es por eso que incorrectamente se expresa i = -1 .
A todo elemento de C se le llama un Numero Complejo y generalmente se le
denota
z
1
, z
2
, .....
Consecuencia de esto
Z = (a,b) C z = ( a,0) + (0,b) z = (a,0) + (b,0)(0,1) z = a + bi
Esto nos permite escribir C ={ a + bi / a,b R }

Definiciones:
_
1.Conjugada de Z: Si z = a + ib, definimos el conjugado de z como z = a ib

Interpretacin:
Z =(a,b)








Z =(a,-b)




Propiedades:
x (x,0)
C
LIMITES Y DERIVADAS


1.1 Z Z

1.2 W Z W Z + +

1.3 W Z W Z

1.4 0
,
_

W ,
W
Z
W
Z



2.Parte Real e I maginaria:

Si z = a + ib, definimos Re(z) = a Im(z) = b

Propiedades:
_
2.1 a = ( z + z )
2
_ _
2.2 b = ( z z ) = -i( z z )
2i 2

2.3 Re(z+w) = Re(z) + Re(w) ; Im(z+w) = Im(z) +Im(w)

_ _
2.4 Re(z) = Re(z) ; Im(z) = -Im(z)


3.Mdulo: Dado z C , definimos el mdulo de z = a + ib , como el nmero real
no negativo, zdado por:

z= a
2
+ b
2

I nterpretacin: Si z C - {0},

zes la longitud del radio vector que
representa al nmero complejo z.








Propiedades:
Z =(a,b)
z

LIMITES Y DERIVADAS


3.1 z 0
3.2 z=z
3.3 zw= z. w
3.4 Si w C - {0}, z = z / w
w
3.5 z=0 z = 0
3.6 z + w z + w (desigualdad triangular)
3.7 z - w z + w
3.8 Re(z) z, Im(z) z
_
3.9 z
2
= z.z
3.10 z
n
=z
n
, n

4.Argumento: Dado un complejo z C - {0}, definimos el argumento principal
de z como el ngulo entre 0 y 2 que determinan los radios
vectores 1 y z ,generalmente denotado .

z

1
Consecuencia: z C - {0}, z =z (cos + isen ), esta es la forma polar
o trigonomtrica del nmero complejo z.

Apreciacin: Si z =z (cos + isen ) entonces podemos escribir:
z =z (cos ( + 2k)+ isen ( + 2k)) , k

Comentario: Generalmente para z C - {0}, se define como argumento de
Z a tal que: tg = b/a; z = a + ib adems es conveniente
hacer notar algunas veces cuando uno habla del argumento
principal, a veces se toma [ - , > ( < - , ] )
frecuentemente cuando se trabaja con un logaritmo.
Denotaremos con Arg(z) el argumento principal de z ,tal
que suceda que z C - {0}.

Propiedades:
_
4.1 Arg(z) + Arg(z) = 2
4.2 Arg(zw) = Arg(z) + Arg(w)
4.3 z
+
, Arg(z) = 0
4.4 z
-
, Arg(z) =
LIMITES Y DERIVADAS

4.5 z C - {0} , Arg(z) - Arg(-z) =
Si z C
1
-z C
3
Arg(-z) - Arg(z) = , C
1
primer cuadrante

Si z C
2
-z C
4
Arg(-z) - Arg(z) = , C
2
segundo cuadrante

Si z C
3
-z C
1
Arg(z) - Arg(-z) = , C
3
tercer cuadrante

Si z C
4
-z C
2
Arg(z) - Arg(-z) = , C
4
cuarto cuadrante

Luego : Arg(z) - Arg(-z) =

Notacin Fasorial

Si z C-{0}, podemos escribir z =z , en caso: z =z (cos + isen )

Notacin Exponencial: Definamos cis = cos + isen

cis = e
i

e
i

= cos + isen (frmula de Euler)

observacin: e
i

+2k

=e
i

5.Potenciacin: Si n y z C , definimos: z
n
=z.z.z.z.z.z....z (n factores)

Propiedades :

1. (z
1
z
2
)
n
= z
1
n
z
2
n
; n Z z
1
, z
2
C

2. z
n
= z
n
; n Z z C

3. (z
1/
z
2
)
n
= z
1
n
/

z
2
n
; n Z z
1
, z
2
C , z
2
0

4. (z
n
)
m
= z
nm
; n ,m Z z C

5 (z
n
)
m
= (z
m
)
n
; n ,m Z z C

6. i
4n
=1 , i
4n+1
= i , i
4n+2
= -1 , i
4n+3
= -i
n
7. (z
1
+ z
2
)
n
=
n
z
1
n-k
z
2
k
; n Z
+


k=0 k


LIMITES Y DERIVADAS

Teorema de MOI VRE:

Si n entonces (cos + isen )
n
= cos n + isen n

Prueba: Por induccin matemtica :

1 Si n = 1 (cos + isen )
1
= (cos + isen ) = cos 1 + isen 1
Se cumple para n = 1.
2 Supongamos que se cumple para n = h , es decir:

(cos + isen )
h
= cos h + isen h

Veamos que se cumpla para n = h + 1

(cos + isen )
h+1
= (cos + isen )(cos + isen )
h

= (cos + isen )(cos h + isen h)
= (cos h cos - sen hsen )+ i(sen h cos + sen cos h)

Luego se cumple para n = h + 1 , por lo tanto la propiedad es vlida.

Comentarios:

(cis )
n
= cis n , n

cis = cis


Radicacin:

Si n Z
+
z C , diremos que el complejo b C es una raz n-esima de Z si
b
n
=z .En este caso escribimos b = z
1/n
.


Proposicin:

Si n Z
+
z =z (cos + isen ) entonces las races de Z estn dadas por:

z = z
1/n
cos +2k + i sen +2k , k = 0,1,2, . . . . n-1
n n





LIMITES Y DERIVADAS

Comentarios :

1. Si z C - {0} y n , las n races del nmero complejo z determinan un
polgono regular de n lados , es decir las n races son los vrtices de un
polgono regular de n lados.

2. las n races de z son : w
k
= z
1/n
cis + 2k ;k { 1,2,3,4,...n-1}
n

Ellas son las races del polinomio complejo: P(w) = w
n
-z

Por regla de Cardano:

n
w
j =
0

j=1

n
Re w
j =
0

j=1
n
Im w
j =
0

j=0
n n

z
1/n
cos + 2j = 0 ^ z
1/n
sin + 2j = 0

j=0 n

j=0 n


n n

cos + 2j = 0 ^ sin + 2j = 0
j=0 n

j=0 n



3. Las races de la unidad son los vrtices de un polgono regular de n lados con
centro en el origen, dadas por:


w
k
= cis + 2k ; k { 0,1,2,3,4,...n-1}

n


Adems :
n-1 n-1

cos 2k = 1 ^ sin 2k = 0
k=1 n

k=1 n


LIMITES Y DERIVADAS

Ejemplo:

Resolver : (z i)
n
= (z + i)
n
, n Z
+


Solucin:

z i
n
= 1


z i
=
e
2ki/n

k

= 1,2, . . . . , n-1
z + 1 z + 1


(no hemos considerado k = 0 , pues no hay solucin en esa alternativa.)

z i = z e
2ikin
+ i e
2ikin
z
=
i (e
2iki/n
+ 1) k = 1,2, . . . n-1
1 e
2iki/n

Ejemplo:

Resolver (z
2
+ 2iz 1)
5
= (z + 2)
10


Solucin:
[(z + i)
2
]
5
= (z + 2)
10
(z + i )
10
= (z + 2)
10


z + i
10
= 1

z + i
=
e
2ki/n10


z - 1 z +2

z
=
2e
2ki /n5
- i , k = 1,2, . . , 9
1 e
2ki /5

Polinomio de grado n con coeficientes reales (o complejos) es toda expresin de la

n
forma P(z) = a
k
z
n-k
, a
k
R ( C )
k=0


Propiedades:

1) Si P(z) es un polinomio con coeficientes reales, entonces:
es raz de P(z)

* es raz de P(z)
;
(

*: conjugada de

)

Ejemplo:

Hallar el polinomio P(z) con coeficientes reales, si sus dos races son complejos y
una se ellas es el cuadrado de la otra.

Solucin:

Sea una raz a + ib , luego por lo comentado tendremos que la otra es (a + ib)
n
y
deber coincidir con a ib .

LIMITES Y DERIVADAS

Resolviendo :

* a ib = (a + ib)
2


* a ib = a
2
b
2
+ 2iab a = a
2
b
2
^ -b = 2ab

* a = -1/2 ^ -1/2 = 1/4 - b
2
a = -1/2 ^ b = 2 3 /

* Las races sern :
2
3
2
1
i + ,
2
3
2
1
i El polinomio es :

* P(z) =
4
3
4
1
2
3
2
1
2
3
2
1
2
+ +

,
_

+ z . i i z P(z) = z
2
+ z + 1

2) Si P(z) es un polinomio de potencias pares, entonces es raz de P(z)
- es raz de P(z) .

Ejemplo:

Si tenemos P(z) = iz
4
+ 2z
2
-i , podemos ver que = e
i/4
es una raz de P(z)

- = e
i5/4
, P(e
i5/4
) = i [ e
i5/4
]
4
+ 2[ e
i5/4
]
2
i = -i + 2i i = 0

3) Si P(z) es un polinomio con coeficientes reales y todas las potencias son
pares, se tiene:
es raz - es raz - * es raz * es raz

n
Esto significa que si P(z) = a
k
z
n-k
donde: a
k
R , k = 0,1, . . . , n
k=0
Entonces, en caso conozcamos una raz podemos obtener otras tres si ella es
compleja (osea parte imaginaria no nula). Veamos un ejemplo, P(z) = z
4
+ 4
podemos ver que = 1 + i es una raz de P(z), luego *, - , - * son tambin
races de P(z). Luego las races son:

1 + i , 1 i , -1 - i , -1 + i

4) Si P(z) es un polinomio simtrico de grado n , es decir P(1/z) = z
-n
P(z).
Sabemos que n 0
es raz de P(z) 1/ es raz de P(z)


Veamos el siguiente ejemplo. Tomemos P(z) = z
2
+ bz + 1 , b R el cual es
simtrico, la cual tiene una raz compleja cuya parte real e imaginaria son iguales .
Si la raz es = c + di tambin es raz :

1
=
1
=
c id , luego tenemos :
c + di c
2
+ d
2

LIMITES Y DERIVADAS

c + di + c id
=
-b c + c = -b ^ d - d = 0
c + di c
2
+ d
2
c
2
+ d
2


b = -2c ^ c
2
+ d
2
= 1
bastara tomar c = d =
2
2
(o c = d =
2
2
para obtener la otra solucin)

As tendremos dos polinomios: P(z) = 1 2
2
+ z ( o P(z) = 1 2
2
+ + z ).

Ejercicios:

(1) Hallar el polinomio mnico P(z) de grado 3, con termino independiente 8
Cuyas races estn en progresin geomtrica de razn r =1- i , siendo los
otros dos coeficientes nmeros complejos.

Respuesta:
P(z) = z
3
(5 - i)z
2
+ (10 2i)z 8

(2) Hallar el polinomio mnico de tercer grado, que tiene sus races en
progresin aritmtica, cuya suma es 6 + 3i.

Respuesta:
P(z) = z
3
(6 + 3i)z
2
+ (9 + 0i)z (4 + 7i)

(2) Graficar R = { z C / z 1 z + 1 }
Razonemos:

z 1
2
z + 1
2

( z 1 )( z* 1) ( z + 1) (z* + 1)

z z* - z z* + 1 z z* + z + z* + 1

2(z + z*)0 Re(z) 0

Por tanto la grafica es la mostrada en la figura adjunta .

(3) Grafique: V = { z C / z + 1 < 2 z - 1 }
Razonemos:

z = x + iy , z + 1 < 2 z - 1

(x + 1) + iy
2
< 4 (x-1) + iy
2


(x + 1)
2
+ y
2
< 4[ (x 1)
2
+ y
2
]

3x
2
10x + 3y
2
+ 3 > 0

1/3 | 5/3
LIMITES Y DERIVADAS

(x 5/3)
2
+ y
2
> 16/9

La grafica es el exterior de la circunferencia de centro ( 5/3 , 0 ) y radio 4/3.


n-1 n-1
(4) Ver que cos2k
=
-1 ^ sen 2k
=
0

k=1

n

k=1
n



(5) Demostrar que: 1 + cos 72 + cos 144 + cos 216 + cos 288 = 0

Sugerencia: usar (4) con n = 5


CONCEPTOS TOPOLGICOS DEL PLANO COMPLEJ O

(1) Dados z
1 ,
z
2
C definidos la distancia entre z
1
y

z
2
como:

d(z
1
, z
2
) = z
1
- z
2


Propiedades:

1. d(z
1
, z
2
) 0

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


3. d(z
1
, z
2
) = d(z
2
, z
1
)

4. d(z
1
, z
3
) d(z
1
, z
2
) + d(z
2
, z
3
), z
2
C
Con esta definicin (C, d) es un espacio mtrico.

(2) Dado z
o
C y > 0 , definimos el disco abierto V

(z
o
)
como el siguiente conjunto:

V

(z
o
) = { z C / z - z
o
< }

La vecindad reducida de centro de z
o
y radio denotada
V

(z
o
), es el disco abierto sin el centro z
o
.









_
(3) Dado z
o
C y > 0 , definimos el disco cerrado V(z
o
) como el conjunto:

V (z
o
) V (z
o
)

LIMITES Y DERIVADAS

_
V(z
o
) = { z C / z z
o
}

_
Consecuencia: V

(z
o
) V

(z
o
)

(4) Dado A C, diremos que z
o
C es un punto de acumulacin de A s:

V
r
(z
o
) A 0 , r > 0



Esto significa que cualquier disco abierto de centro z
o
contiene infinitos
puntos de A.

Ejemplo:

A = { (x, y) / 0 < x < 1 , 0 < y < 1 } , 1 es p. a. de A.










OBS. Si z
o
es p.a. de A, no necesariamente z
o
A.

(5) Definicin
Si A C , definimos el conjunto A como:

A = { z C / z es p.a. de A }

(6) Punto I nterior
Si A C, y z
o
A, diremos que es un punto interior si:

existe V
r
(z
o
) A










z
1
es un punto interior de A.
z
2
= 1 + (i/2) no es un punto interior de A.
1
Z =1+i
V(1)
1/2
A
Z
1

Z
2

LIMITES Y DERIVADAS

(7) Punto Exterior

Si A C, z
o
se dice que es un punto exterior de A si:

Existe V
r
(z
o
)

para algn r > 0 tal que V
r
(z
o
) A
(Complemento de A).














(8) Punto Frontera
Si A C , z
o
se dice que es un punto frontera de A, si no es
punto interior ni punto exterior.









A = < 0, 1 > x < 0 , 1 > , A son los lados

Notacin. A denotar la frontera de A, es decir el conjunto de los puntos
frontera de A.

(9) Definicin
Si A C, A es abierto todo punto de A , es punto interior de A.

(10) Definicin
Si A C , A es cerrado A es abierto.

(11) Propiedades :
a) La reunin de toda familia de conjuntos abiertos es abierto.
b) La interseccin de una familia finita de conjuntos abiertos es abierto.
c) La interseccin de toda familia de cerrados es cerrado.
d) La unin finita de conjuntos cerrados es cerrado.


A
z
o

1+i

LIMITES Y DERIVADAS

Demostracin de c.
A
i
es cerrado i , ( A
i
) = U A
i
(Ley de morgan).

i
A
i
es cerrado A
i
es abierto
Aplicando b, obtenemos lo deseado.

(12) Conjunto Acotado
Si A C y se dice que es un conjunto acotado, si:
M > 0 / z M, z A











(13) Conjunto Compacto
Si A C diremos que A es compacto si A es cerrado y acotado.

(14) Cubrimientos
La familia (A)
I
se dice que es cubrimiento de A si todo z A est en
algn A
, para

I , en trminos ms simples
Si A U A
, (A
)

I
es un cubrimiento de A.

I
As I = {1, 2} , A U A
= A
1
U A
2

I

De igual manera (A)
I
donde I = { 1, 2, 3 } , es un cubrimiento de A
conforme podemos apreciar en la figura:












(15) Teorema (HEI NE BOREL)
Si A C Compacto y { V(z) }
z

A
una familia de discos con centro en z A
un cubrimiento de A, entonces existen z
1
, . . . z
n
A tales que: V(z
1
) , . . . ,
V(z
n
) cubran A.

M
A
3

A
2

A
A
1

LIMITES Y DERIVADAS

(16) Teorema (BOLZANO WEIERSTRASS)
Todo A C , infinito y acotado posee un punto de acumulacin.

(17) Dimetro
Sea A C , A , el dimetro de A denotado (A) se define por:

(A) = Supremo { z m / z, m A }

sea A el conjunto de puntos interiores de la elipse de centro cualquier punto
con a = 5 y b = 4 , entonces (A) = 10


EJ ERCICI OS N 1

(1) Si z = x + iy, comprobar que las races cuadradas de z son

w =
,
_

2
1
. [ z x+ + isgn(y) z x+ ] , donde x R
+



Solucin:
Veamos que w
2
= z

w
2
= 1 [ z x+ + isgn(y) z x+ ]
2
2

= 1 [ x + z + 2isgn(y) z x+ z x+ - sgn
2
(y)(-x + z)]

2


1 ( x + x ) , y = 0
2
1 ( x + z + 2iy + x - z ) , y > 0

=

2

1 ( x + z + 2iy + x - z ) , y < 0
2


1 ( x + x ) , y = 0
= 2 w
2
= z
z , y 0


(2) Hallar y graficar el lugar geomtrico dado por

z + (1 /z) 2

Solucin
Z = x + iy, z 0 (esto es indiscutible)
LIMITES Y DERIVADAS

z
2
+ 1 2 z x
2
y
2
+ 2ixy + 1 2 x + iy

( x
2
y
2
+ 1 )
2
+ 4 x
2
y
2
4 (x
2
+ y
2
)

hemos elevado al cuadrado ambos miembros de la desigualdad

( x
2
y
2
+ 1 )
2
- 4 y
2
0

( x
2
+ y
2
1 2y )(x
2
+ y
2
1 +2y) 0

Identificaremos las fronteras de nuestro lugar geomtrico

(a) x
2
+ y
2
1 2y = 0 x
2
+ (y -1)
2
= 2

(b) x
2
+ y
2
1 +2y = 0 x
2
+ (y + 1)
2
= 2
_
Graficaremos dichas fronteras (circunferencias de radio 2 )














(3) Identificar y graficar el lugar geomtrico dado por

(3 - z i - z 2i ) ( 3 - z ) 0

Solucin:
Graficando las fronteras
a) 3 - z i - z 2i = 0 z i - z 2i = 3
elipse de focos (0, 1) y (0, 2) , a = 3/2

b) 3 - z = 0 ^ z = 3 ( circunferencia de radio 3, centro en el
origen).








- i
- -i
3i
3 -3
LIMITES Y DERIVADAS

(4) Demostrar que la ecuacin z + 1 = c representa una circunferencia
z - 1
si c > 0 ^ c 1

Solucin
En tanto z 1, tenemos z + 1 = c z 1 , asi si z = x + iy
tendremos que:

x + 1 + iy = c x 1 + iy

( x + 1 )
2
+ y
2
= c
2
( (x-1)
2
+ y
2
)

x
2
+ 2x + 1 + y
2
c
2
x
2
+ 2c
2
x c2 c
2
y
2
= 0

(1 c
2
)x
2
+ (2 + 2c
2
)x + (1 c
2
)y
2
= c
2
1

( x
+
1+ c
2
)
2
+ y
2

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

1 c
2
1 c
2
1 c
2


( x
+
1+ c
2
)
2
+ y
2

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


( x
+
1+ c
2
)
2
+ y
2

=
4c
2
__ circunferencia
1 c
2
( 1 c
2
)
2


(5) Si z + 0 , demostrar que

Solucin
Aplicando la desigualdad triangular en C

z- z + ^ - z z +

Como z + 0 , tendremos:


z - 1 ^ - z 1
z + z +

por conocimientos acerca del valor absoluto, tenemos que:

z - 1
z +

(6) Si z
1
, z
2
, z
3
,
1
,
2
,
3
C, demostrar que

3 3 3
z
k

k
[ z
u

2
] [
v

2
]

k=1 u=1 v=1

LIMITES Y DERIVADAS

conocida como desigualdad Cauchy

Solucin
Ver Hausser, Variable Compleja , pg. 27

(7) Verificar las siguientes expresiones

n
a) z
k

=
1 z
n+1
, z 0 , 1

k=0
1 - z



n
sen 1 + sen n +1
b) cosk
=

2

2
_____

k=0
2 sen 1
2


n
cos 1 - cos n + 1
c) senk
=

2 2
____

k=0
2 sen 1
2

Solucin
a) Hagamos uso del principio de induccin matemtica

(i) Si n = 1 , se cumple (a)


n
z
k
= z
0
+ z
1
= 1 + z
k=0
1 z
1+1
= 1 z
2
= (1 z)( 1+z ) = 1 + z ( pues z 1)
1 z 1 z 1 - z

1
luego z
k
= 1 z
1 +1


k=0

1 - z


(ii) Supongamos que se cumpla para n = h


h
z
k
= 1 z
h +1
( hiptesis inductiva )

k=0

1 - z

Probemos que se cumple la igualdad para n = h + 1

h+1 h
z
k
= z
k
+ z
h+1
= 1 z
h +1
+ z
h+1
= 1 z
h +1
+ z
h+1
- z
h+2


k=0

k=0

1 z


1 z

h+1
z
k
= 1 z
(h+1)+1

k=0
1 - z



LIMITES Y DERIVADAS

Luego, por el primer principio de induccin matemtica queda demostrada dicha
Propiedad.

b) Apelamos a la parte (a) tomando z = e
i
tendremos


n
( e
i
)
k
= 1 e
(n+1)i


k=0
1 e
i

n
( e
i
)
k
= 1 e
(n+1)i
= i e
-i/2
(1 e
i(n+1)
)
k=0
e
i

/2
( e
-i/2
- e
i

/2
) 2sen( /2)


n
( cosk + isenk ) = i ( e
-i/2
e
i(n+1/2)
)
k=0
2sen ( /2)

i( cos (/ 2) - i sen (/ 2) - cos n +1 . isen n +1 . )
= 2 2___
2sen (/ 2)


Tomando partes reales e imaginarias a ambos miembros obtenemos las igualdades b
y c solicitadas.

(8) Demostrar que:

n
cos n = (-1)
k/2
cos
-k
sen
k


k=0


(k par)

n
sen n = (-1)
(k-1)/2
cos
n-k
sen
k


k=0


(k impar)


Solucin

Recordando la frmula de MOIVRE

(cos + isen )
n
= cos n + isen n


Usando el teorema del binomio

n
cos n + isen n = (-1)
(k-1)/2

,
_

k
n
cos
n-k
sen
k


k=0


n
(-1)
(k-1)/2

,
_

k
n
cos
n-k
(i)
k
sen
k


k=0


Sabemos que: i
2k
= (-1)
k

LIMITES Y DERIVADAS


cos n + isen n =


n

n
cosn
n-k
(-1)
k/2
sen
k
+ cosn
n-k
(-1)
(k-1)/2
sen
k

k=0

k=0

(k=par)

(k=impar)


Luego tomando partes reales e imaginarias a ambos miembros obtenemos las
identidades solicitadas.

(9) Resolver el siguiente sistema usando variable compleja.

x = x(t) , y = y(t)


x = x
2
y
2

y = 2xy


Solucin

Completando y simplificando el sistema:

x + iy = x
2
y
2
+ i2xy

z(t) = z
2
(t) 1_ = t + k
1
+ ik
2

z(t)

x + iy = - 1 x + iy = - (t + k
1
) + ik
2

(t + k
1
)
2
+ i k
2
(t + k
1
)
2
+ k
2
2


x = - (t + k
1
) + ik
2
y = (t + k
1
) + ik
2_

(t + k
1
)
2
+ i k
2
(t + k
1
)
2
+ i k
2


(10) Hallar todos los z, que satisfagan:


Solucin
2
1 1 1 1 1 1 1 1
z - Re(z )(z -z ) - z z - 2Im(z )Im(z ) 2(1 ) 0 z z i
1
+ +
]


Puede apreciarse que el corchete es cero, as tendremos que

z = 2 2

O sea, los puntos sobre el disco de centro en el origen y radio 2 2 son los z
buscados.



LIMITES Y DERIVADAS

(11) Dado A C, definimos A = { -z/ z A }.
Si A es abierto, entonces A es abierto

Solucin

Sea -A, luego

veamos que existe una vecindad de centro contenida en A.

Como -A, a A/= -a

Probaremos que: V(, r) A

Z V(,r) z - < r - - (-z) < r a (-z) < r

-z V(a,r) -z < r -(-z) -A

Luego A es abiero.

(12) Anlogamente al ejercicio anterior, ver que si A es abierto A tambin lo es,
{ } / A z z A
(13) Si p C, definimos p + A = { p + a / a A }

Ver que si A es abierto, entonces p + A es abierto.

Idea: y p + A
a A / y = p + a
a A r > 0 / V(a,r) A

veamos que: V(y,r) p + A lo cual significa que es un punto interior de
p + A como era arbitrario, resulta que:

( p + A ) = p + A ( notacion: A = interior de A )
asi p + A es abierto.

V(y,r) - y < r

- (p + a) < r

(- p) a < r - p V(a,r) A

- p A

a
1
A / - p = a
1

= p + a
1
, a
1
A

LIMITES Y DERIVADAS

p + a


(14) Si A, B C son abiertos, entonces A + B es abierto.


(A + B) = A + B

Sea y A + B , veamos que y es un punto interior de A + B.

Existe a A ^ b B / y = a + b

Existe r
1
, r
2
> 0 / V(a , r
1
) A ^ V(b , r
2
) B

Sea r = min{ r
1
, r
2
} ahora ver que V(y , r) A + B

V(y , r) - y < r

- a - b <r

(- a ) - b < r
2


- a V( b, r
2
) B

Existe b
1
B / - a = b
1

= a + b
1


A + B

V( y , r) A + B

y es punto interior de A + B osea ( A + B ) = A + B

asi A + B es abierto.

(15) A C A es abierto B = { 1 + i z / z C }

Ver si B es abierto.


Visualizando:
Primero sabemos que A es abierto, entonces todos sus puntos son interiores.








a
r
p r
A
B
LIMITES Y DERIVADAS




p B existe a A / p = 1 + i a

a A ( abierto ) existe r > 0 / V(a , r) A

por ver que V(p , r) B

V(p , r) p < r

1 + i a - < r
(1 + i - ) - a< r 1 + i - A

Ahora, si tomamos un a
1
A 1 + i - = a
1


= 1 + i a
1
B

V(p , r) B

existe r > 0 / V( p* , r ) B*

veamos que : V( p, r ) B

V(p , r) - p < r

* - p* < r

V( b, r
2
) B

b
1
B / - a = b
1

= a + b
1


A + B

(16) Si A = { z C / z - z - i 2 ^arg(z) [0 , 2]
ver si es cerrado.

(17) Graficar, analizar si son abiertos o cerrados, determinar las fronteras de los
siguientes conjuntos:

A = { 2z + z* / arg(z) [0 , /2] }

B = { z* - 2z / arg(z) [0 , 2 ] }

C = { z
2
/ arg (z) [ , 2] }

LIMITES Y DERIVADAS

D = { [ z ]
-1
z / z 0 }

(18) Si A= { z C /Re(z) +I m(z) Q} hallar A

Tenemos : A={ (x,y) /x+y q, q Q}





A
Tomando un z C, cualquier vecindad de
centro z y de radio r >0 ,siempre tendr
elementos de A y su complemento. Luego z es
un punto frontera (no es punto interior, no es
punto exterior).Como z es arbitrario A=C.

(19)Si tenemos B={ z + z / Re(z) Q} hallar B
Usar Re(z +z ) 0
B resulta en el 1 y 4 cuadrante

(20)Si A,B C, AB, ambos dominios , entonces AB es un dominio

(21)Representar en el plano complejo los siguientes conjuntos:
___
1)A={ z - i / z + i [1 , 2] }
_
Nota: A={ w / w [1 , 2] } ={ z / z [1 , 2] }
____
z - i = w z + i = w , A resulta ser una corona ,de centro en el
origen y radios 1 y 2
_
2) B={ z - i / e
z
2 }={ (x,y) / e
x+1
2 }={ (x,y) / x+1ln 2 }

B={ (x,y) / x ln 2 -1 }










_
3) D= { z +2z / e
zi
2 }
4) E= { z -2z / z
2
+2zi-1 4 }
5) F= { zi +1 / z +1 1 }
B
LIMITES Y DERIVADAS

z+i



(22)Si A, B C ambos acotados entonces A+B es acotado.
A acotado M
+
/


a M, a A
0
B acotado N
+
/ b N, b B

0

A+B={ a+b / a A ^b B}
a+b M+N , a+b A+B
A+B es acotado.

(23) B es cerrado y acotado z
0
+ B ={ z
0
+b / b B} es cerrado y acotado
B es abierto y acotado z
0
+ B es abierto y acotado.

(24) Sabiendo de B ={ z / z B}, mostrar que:
B es acotado B es acotado

M
+
/ b M , b B

0
_


Veamos que : p M , p B
_
p B p = b , para algn b B
_
p = b = b M

(25) Si A , B C ( AB ) = A B ?

(26) Sean A={ z C / Re(z) >0 ^ I m( z) >0 }, B={ 0,1,-1}
Ver si A+B es abierto.

A={ (x,y) / x > 0 y > 0 }
A+B =A { (x+1,y) / x > 0 y > 0 }{ (x-1,y) / x > 0 y > 0 }
A+B =A { (x,y) / x >-1 y > 0 }{ (x,y) / x > 1 y > 0 }
A+B ={ (x,y) / x >-1 y > 0 }
A+B es abierto

(27) Sea D={ z C / z1 } ,representar D+D
Se aprecia que D+D ={ z C / z2 }

(28) Sea E={ z
2
/ z< 1 } E es abierto?
E={ z
2
/ z
2
< 1 }={ z
2
/ z
2
< 1 }={ w / w< 1 } abierto

LIMITES Y DERIVADAS

(29) Sea P={ z C / Re(z) = Im(z) }, Q={ z C / Re(z) = - Im(z) }
Determine los puntos interiores de P+Q.


Se observa que P+Q=C, Esto viene como consecuencia de que:

2 2 2 2
a b a b a b a b
z a ib i i
+ +
1 1
] ]
+ + +

2 2 2 2
, Q ,
a b a b a b a b
i P q i z p q p
+ +
+ +

Luego: CP+Q.

Por definicin P+Q C. Es decir P+Q= C.
Como C es abierto, entonces (P+Q) = C .

(30) Determinar los puntos fronteras de F={ z C / Arg(z)= /n , n }

Cualquier z = x , x > 0 es un punto frontera de F, as:
F= F

LMITES Y DERIVADAS



FUNCIONES


Una funcin f: C, c C asocia a cada nmero complejo de uno (monovaluada) o
varios nmeros complejos (multivaluada).

As f(z) = z
2
es una funcin monovaluada, g(z) = z
1/2
es una funcin bivaluada
(multivaluada).

Cuando se tiene una funcin multivaluada, podemos referirnos a una rama es decir a uno
de sus valores.

Como aceleracin tenemos g: C C, g(z) = z
1/2


Sabemos que: 0,1 k ,
2
2k
cis z z
/

,
_

2 1


As tenemos )
2
( cis z z g

1


) z ( g
2
2
cis z z g
1 2

,
_

Son dos funciones monovaluadas (de valor simple).

Para entender esta situacin podemos superponer dos planos, pegados por el semieje
positivo real de ambos planos, es decir AB pegado con RS.
1

O
D
P
Q
S R
B A
C
O
2

As tenemos que al levantar estos planos pegados tenemos una superficie conocida como
una superficie de Riemann, cada uno de estos planos se denomina una rama, as
siempre para funciones multivaluadas, se habla del valor principal de dicha funcin, en este
caso es g
1
(z).

De igual manera para h(z) = z
1/3
, h tiene 3 ramas.

3) / ( cis z ) z ( h
/

3 1
1

LMITES Y DERIVADAS

,
_

3
2
cis z ) z ( h
/ 3 1
2

,
_

3
4
cis z ) z ( h
/ 3 1
3


La funcin bivaluada 1 ) (
2
z z T , la podemos expresar como una transformacin
1
2
z w , as tendramos.

w
2
= z
2
1
w = (z-1) (z+1)

z-1, z + 1 C, por tanto podemos escribir:

1 z de argumento , 1 z r , ) ( cis r e r 1 z
1 - z argumento , 1 r , ) ( cis e 1
2 2 2 2
i
2
1 1 1 1
i
1
2
1
+ + +

z r r z


) ( i
2 1
2
2 1
e r
+
r w , por lo anteriormente visto tenemos:



2 0 , - ,
2
2
cis r
2 1
2 1
2 1
< <
,
_

+ +

k
r w

As tendremos dos ramas

1 2
2 1
2 1 1
w ,
2
cis r w r w
,
_

LMITES Y DERIVADAS



LIMI TES

Sea A C una funcin f : A C puede ser monovaluada o multivaluada.

Comentario
f : A R , A ( D
f
= A )

Para funcin es de valor y variable compleja no podemos hablar de grfica de f .


g : A R , A
2

graf. g
3

graf . g = { (x , y , z ) / z = f (x,y) }


Sistema I nformal

f :
2

2


graf. f = (x , y ) , ( z , w ) / (z , w) = f (x,y) }

graf. g
4


Para compensar el vaco de la grfica se habla de la aplicacin de la transformacin que ella
determina.

Ejemplo:

f (z) = z
2
Df = C


z
2
z
2




2



z z
2


z C z = z e
i
z
2
= z
2
.ei2

Si z = x + iy , f(z) = f( x,y ) = (x + iy)
2
= x
2
- y
2
+ 2yxi



z
z

x
y v
u

z=(a,b)
LMITES Y DERIVADAS

Toda funcin compleja (variable y valor complejo) que estamos estudiando se puede
expresar como:

f(z) = f( x + iy ) = (x , y) + i v(x , y) ; donde , v :
2


As tendremos que: (x , y) = x
2
- y
2
(x , y) = 0
Si y = x
v(x , y) = 2yx v(x , y) = 2x
2


La recta y = x se transforma en el semieje positivo v.

Lmites

V

(z
o
) = V

(z
o
) (z
o
) es llamada Vecindad Reducida.









Si V
r
(z
o
) A al igual que en Mat. I definimos el limite de f : E C, E C

Definicin

z
o
E y f : E C tal que > 0 dado arbitrario = (, z
o
) > 0
tal que 0 < z z
o
< ^ z
o
Df f(z) - < diremos que el limite de f(z)
cuando z tiende a z
o
es

y escribiremos :

lim f(z) =
zz0

Expresamos lo anterior en trminos ms simples:

lim f(z) = > 0, = ( ,z
o
) > 0 tal que z V

(z
o
) Df f(z) V

( )
zz0

Definicin

Una funcion f : E C, E C se dice que es acotada si M > 0 / f(z) M , z E








z
o


V

(z
o
)
V

(z
o
)
z
o


. z
E
. f (E)
I magen de E mediante f
LMITES Y DERIVADAS

Proposicin.

Si z
o
E
1
E
2
, f : E
1
C, g : E
2
C E
1
, E
2
C y lim f(z) ^ lim g(z)
z z0 z z0

entonces :

a) lim ( f + g )(z) = lim f(z) + lim g(z)
zz0 zz0 zz0


b) lim ( f .g )(z) = lim f(z). lim g(z)
zz0

zz0

zz0


c) Si lim g(z) 0 , lim ( f /g )(z) = lim f(z) / lim g(z)
zz0 zz0

zz0

zz0


Cuestin Previa

Si f : E C, E C ,sea z = x + iy entonces la funcion f se puede expresar como f(z)
= f( x + iy ) = (x , y) + i v(x , y) ; donde , v : E
2
, E
2



Proposicin

Si z
o
E , f : E C entonces :

lim f (z) lim (x,y) ^ lim v(x,y)
zz
0
(x,y)

(x
0
,y
0
) (x,y)

(x
0
,y
0
)

donde z
o
= x
o
+ iy
o
y ademas en caso afirmativo:

lim f (z) = lim (x,y) + i lim v(x,y)
zz
0
(x,y)

(x
0
,y
0
) (x,y)

(x
0
,y
0
)

Por ejemplo analicemos el caso siguiente, y hagamos lo que se ha descrito
anteriormente:
_
f(z) = z* , z
o
= 0 , Df = C , ( z
*
=z )

f(z) = f(x + iy) = ( x + iy )* = x - iy

(x,y) = x , v(x,y) = -y , E =
2


z
o
= 0 + i0 x
o
= 0 ^ y
o
= 0

lim (x,y) = 0 ^ lim v(x,y) = 0
(x,y)

(0,0) (x,y)

(0,0)


lim f(z) = 0 + i0 = 0
z0

LMITES Y DERIVADAS

Corolario

Si lim (x,y) no existe lim v(x,y) no existe entonces

(x,y)

(x
0
,y
0
) (x,y)

(x
0
,y
0
)


lim f(z) no existe.
z0


Definicin

I ) lim f(z) = , C > 0 , M > 0 / z > M ^ z D
f
f(z) - <
z


I nterpretacin








II ) lim f(z) = N > 0 , M > 0 / z > M ^ z D
f
f(z) > N
z










Ejemplos

(1) Demostrar que lim z
3
+ (z*)
3

=
0
z0
z + (z*)
2

Solucin

Usemos la definicin:

z
3
+ (z*)
3
z
3
+ z*
3
2 z
3
_
z + (z*)
2
z - z*
2
z - z
2


Tomemos un = 1 , z - 0 < 1 z - z
2
< 1 - 1 = 1
2 2 2 4 4

1 < 4
z - z
2

M


N M
f(z)
z
LMITES Y DERIVADAS


z
3
+ z*
3
< 8 z
3
, z tal que z - 0 < 1 ^ z 0
z + z*
2
2

z
3
+ z*
3
< z tal que 0 < z - 0 < 1 ^ 8 z
3
<
z + z*
2
2

3 _____
z
3
+ z*
3
< z tal que 0 < z - 0 < 1 ^ z < /8
z + z*
2
2

3 _____

Elijamos = minimo { 1/2 , /8 ) , asi tendremos que :

0 < z - 0 < z
3
+ z*
3
- 0 <


z + z*
2



(2) Demostrar que lim z + 1 = 0

z
z
2


Solucin

Partamos: z + 1 - 0 = z + 1 | z + 1
z
2
z
2
z
2


Tomemos: M = 1 , z > 1 z + 1 < 2 z

: z + 1 - 0 = 2 z = _1_ , si z >1
z
2
2 z
2
z

z + 1 - 0 < , Si z > 1 ^ 1_ <
z
2
z

z + 1 - 0 < , Si z > 1 ^ z < 1 /
z
2


Tomemos M = mximo {1,1/ }as tenemos que:

z - 0 > M z + 1 - 0 < ( fcil de comprobar )
z
2


luego hemos demostrado que lim z + 1 = 0

z
z
2







LMITES Y DERIVADAS


(3) Demostrar que lim z
2
=

z

Solucin
Dado N > 0 , M > 0 / z > M ^ z D
f
z
2
> N (definicin)

z = z
2


z
2
> N , si z
2
> N
__
z
2
> N , si z > N
__
Tomamos M = N , as la definicin del lmite mencionado se cumple:
__
z > M z > N z
2
> N z
2
> N

(4) Analizar y calcular en caso existan los siguientes lmites

a) lim z
2
sen( / z ) b) lim z(z*)
2
+ (z*)
2
z
z0
z
3
+ 1
z0
z
3
+ 1

c) lim z

sen(z) d) lim ( z
2
z )

z
z
2
+ 1
z


e) lim z
8
+ 10z
2
+ 40z + 100 f) lim z + 1_

zi
z i
10 z
z
*
+ 1

g) lim _z + 2 ___ __ h) lim z
4
+ 16___

z2
z
2
+ (1- 3. i)z 2 + 23 i
z2ei/4
z - z * - 22 i


(5) Podra hallarse un A de manera que lim f(z)
z4+3i
Az , si z >5
donde f(z) =
z + 21 3i , si z 5


(6) Ver si existe o no, lim f(z) :

z0
_
cosz - cosz , si Re(z) > 0
z
donde f(z) =
0 , si Re(z) 0






LMITES Y DERIVADAS

Explicacin del smbolo en C










El smbolo en denota el Mayor de los Reales (+) y el -el Menor Real.
Consideremos la semiesfera superior x
2
+ y
2
+ z
2
= 1










Definimos la funcin : S { N } C

P z = L
NP
P
xy

Por construccin de , es biyectiva

Inyectiva
(P
1
) = (P
2
) P
1
= P
2


Suryectiva

Dado z C ; P / (P) = z


-1
(definicin inversa) .

Denotaremos con el smbolo , la imagen de N extendiendo la funcin a S cuando
P tiene a N.





N
P
LMITES Y DERIVADAS



DERI VACI N

Dada f: C, z
0
, dominio de C, f monovaluada, hallar las condiciones necesarias y
suficientes para que f(z
0
)

Condicin necesaria
F(z)= (x,y) + iv(x,y)

(x,y)= Re (f(z))
v(x,y)= Im(f(z))

Definiciones de derivada de f en z
0
por:

+ +

h ;
h
) z ( f ) h z ( f
lm ) z ( f
h
0 0
0
0


En general se define la funcin derivada de f denotada por f como:

'
+

h
) z ( f ) h z ( f
lm / z Df
h 0


Otra notacin:
z
) z ( f ) z z ( f
lm ) z ( f
z

+

0


0
0
0
0 z z
) z ( f ) z ( f
lm ) z ( f
z z

Hallando la condicin necesaria para que pueda existir f(z
0
)

de ) (
* *
imagen f

( ) ( )
[ ] [ ]
2 1
0 0 0 2 1 2 0 1
0 0
0
2 1 ih h
) y , v(x i ) y , x ( u ) h y , h v(x i ) h y , h u(x
lm ) z ( f
0 0 0 0
, h , h
+
+ + + + + +

Donde: ) y , x ( iy x z
0 0 0 0 0
+

( ) ( )

ih h
) y , x ( v ) h y , h v(x
i
ih h
) y , x ( u ) h y , h u(x
lm ) z ( f
o 0 0
, h , h
1
]
1

+
+ + +
+
+
+ +

2 1
0 2 0 1
2 1
0 0 2 0 1
0 0
0
2 1


Podr f(z
0
), si a lo largo del eje real e imagino los lmites no varan.
LMITES Y DERIVADAS

1. A lo largo del eje real

h
) y , x ( v ) y , h v(x
i
h
) y , x ( u ) y , h u(x
lm ) Z ( f
h
0 0
h
1
]
1

+ +
+
+

1
0 0 0 1
1
0 0 0 1
0
0
2
1
0

=
x
(x
0
,y
0
) + iv
x
(x
0
,y
0
)

2. A lo largo del eje imaginario

ih
) y , x ( v ) h y , v(x
i
ih
) y , x ( u ) h y , u(x
lm ) z ( f
h
0 0
h
1
]
1

+
+
+

2
0 0 2 0
2
0 0 2 0
0
0
1
2
0

= -i
y
(x
0
,y
0
) + v
y
(x
0
,y
0
)

para ambas deben ser iguales para que pueda (tal vez) f(Z
0
) es decir :
(1) = (2):

x
(x
0
,y
0
) = v
y
(x
0
,y
0
)........(1)

y
(x
0
,y
0
) = -v
x
(x
0
,y
0
).......(2)

Este par de ecuaciones se conoce como las ecuaciones de Cauchy Riemann.
Una condicin que f(z
0
) es que se cumplan las ecuaciones 1-2.

Consecuencia
Si no se cumple las ecuaciones C-R entonces f en dicho punto
Ejemplo:

'

0 z , 0
0 z ,
z
z
f(z) sea
2

'

0 z , 0
0 z ,
z z
) z (
f(z)
3

'

(0,0) y) (x, , 0
0,0) ( y) (x, ,
y x
) iy x (
f(z)
2 2
3

'

+
+

(0,0) y) (x, , 0
0,0) ( y) (x, ,
y x
iy xy y x i x
f(z)
2 2
3 2 2 3
3 3


y) V(x, i ) y , x ( ) z ( f +

LMITES Y DERIVADAS

'

'

(0,0) y) (x, , 0
0,0) ( y) (x, ,
y x
y x y
y) V(x,
(0,0) y) (x, , 0
0,0) ( y) (x, ,
y x
xy x
y) (x,
2 2
2 3
2 2
2 3
3
3

Luego: (0,0) v ) , ( u
y x
0 0

Luego: (0,0) v - ) , ( u
x y
0 0
Entonces se puede afirmar que se cumple C-R en Z=0

Veamos si existe o no f(0)
2
2
0
2
0 0 0 0
0
h
h
lm
h
h
h
lm
h
f(h)
lm
h
0 - h) f(0
lm
h
f(0) - h) f(0
lm ) ( f
h h h h h

+

+

( ) ( )
2
2
2 1
0 0
2 1
ih h h ,
) ih h (
) h i (h
lm
1
2
2 1
, h , h
+
+

) h (
) (h
lm (0) f
) ih (
) h i (
lm (0) f
h Si 0 h Si
2
1
h
2
2
h
2 1
1 1
0
2
1
0
2
2
0
2 2

) i ( ) h (
) i ( ) (h
lm
) ih h (
) h i (h
lm (0) f
ih h h h h Si
2
1
h
2
1 1
h
1 1 2 1
1
1
1
2 2
1
2
0
2
1 1
0
1 1

+

+



no f(0)
1
h
h
3h0 - h
lm
h
(0,0) - (h,0)
lm (0,0)
2 3
0 h 0 h
x

+


2
0

1
h
h
h ) 3(0 - h
lm
h
v(0,0) - h) (0, v
lm (0,0) v
2 3
0 h 0 h
y

+


0
0
2 2
0 0 0 0
0 1
3

1
]
1

+


) , ( v 0
0
0
h
lm
h
(0,0) - h) (0,
lm (0,0)
x
3
0 h 0 h
y

LMITES Y DERIVADAS

es decir se confirma que si las ecuaciones C-R se satisfacen, no implica que la derivada,
es decir es una condicin NECESARIA pero no suficiente.

Como y) v(x, i ) y , x ( ) z ( f + podemos ver que y) v(x, i y ) y , x ( no son continuas
en (0,0) esto ameritara la no existencia de la derivada.

Condicin necesaria y suficiente
Dada f: C, dominio de C.

0
z existir f(0) si se cumple las ecuaciones C-R y adems u, v, u
x
, v
x,
u
y
y v
y
son
continuas en
0 0 0
iy x z + ; as mismo:

) y , (x v i ) y , x ( ) z ( f
0 0 x x
+
0 0 0

) y , (x i ) y , x ( v ) z ( f
0 0 x y

0 0 0


Ejemplo:
Determine en caso exista f(0) f(z)=x
2
+ y
2
+ ix
(x,y)= x
2
+ y
2
, v(x,y)=x

, v,
x
,
y
, v
x
, v
y
son continuas en (0,0) (, v polinomios) veamos si se cumple C-R .

x
(0,0)= 0; v
y
(0,0)= 0
x
(0,0)= v
y
(0,0)

y
(0,0)= 0; v
x
(0,0)= 1
y
(0,0) -v
x
(0,0)
Las ecuaciones C-R no se satisfacen no f(0)

Definicin
Sea: f: C, dominio de C, z
0

Diremos que f es analtica en z
0
, si r>0/ f(z), z V(z
0
,r) una funcin f que es analtica
en C, se llama funcin entera.

Por ejemplo consideremos:

3
z ) z ( f
a) f(0)?
b) f es analtica en z = 0

Solucin:
a) f(z)= (x
3
-3xy
2
) + i(y
3
-3x
2
y)

x
(0,0)= v
y
(0,0) 0= 0

y
(0,0)= -v
x
(0,0) 0= -0
, v,
x
, v
x
,
y
, v
y
son continuas
f(0)= 0 +0i= 0

b) Sea z
0
0, la condicin necesaria para que f(z
0
) es que se satisfaga C-R.


LMITES Y DERIVADAS


x
(x
0
,y
0
)= 3x
0
2
3y
0
2
x
0
2
=y
0
2
....... (1)
v
y
(x
0
,y
0
)= 3y
0
2
3x
0
2

x
(x
0
,y
0
)= -6x
0
y
0
-6x
0
y
0
= -(-6x
0
y
0
)
v
x
(x
0
,y
0
)= -6x
0
y
0
x
0
y
0
= 0.......(2)
por (1) y (2)
x
0
= 0= y
0
(absurdo)

No se cumplen las ecuaciones C-R por lo tanto f(Z
0
) z
0
C
F no es analtica en z = 0.
Debe existir una pequea unidad con f(z
0
)

Definicin
Sea: f: C, dominio de C, z
0

A C , f es analtica en f es analtica en z, zA.

Ejemplo:
Determinar donde es analtica: xy i y x ) z ( f 2
2 2
+
g(z)= z
2
es entera

y x f z aquellos en ) z ( g ) z ( f
q

0
2 2
y x , entonces: y x
As f es analtica en el interior de dicha regin:

Propiedad
Si: f: C, dominio de C,
Si f analtica en A, A C , entonces f(z) es analtica en A.

Propiedad
Si: f: C, dominio de C, y g(z)= f(z)
Si f analtica en , entonces f y g son constantes:

Prueba:
) y , x ( iv ) y , x ( ) z ( f +
[ ] ) y , x ( v i ) y , x ( ) z ( g +

Ambas analticas en , luego:
Sea z un punto arbitrario:
z
0
=x
0
+iy
0

) y , x ( v ) y , x ( ; ) y , x ( v ) y , x (
: ) z ( f
x y y x 0 0 0 0 0 0 0 0

[ ] ) y , x ( v ) y , x ( ; ) y , x ( v ) y , x (
: ) z ( g
x y y x 0 0 0 0 0 0 0 0

LMITES Y DERIVADAS

) y , x ( v , ) y , x (
y x
0 0
0 0 0 0

q ) y , x ( v p ) y , x ( , ) y , x ( ) y , x ( v , ) y , x (
x y

0 0 0 0 0 0
0 0
R q p, ; iq p ) z ( g
iq p ) z ( f

+


Ejemplo:
Donde podrn f(z)= z
2
y g(z)=z
2
ser analticas?

Por la propiedad anterior, ambas deberan ser constantes, lo cual se inhabilita, es imposible.
Tienen que ser dos y no son dos.
( dominio f y g son analticas en f es analtica en |x|< |y|)

Ejemplo:
Determine donde es analtica:
y x i y x ) z ( f 2
2 2
+

ojo:
2
2 2
2 z ixy x y ) z ( f + y
2
2 2
2 z ixy y x ) z ( f +

R - C Satisfacen
(R.IV) (R.II) (RI) en analtica es f
0 0 0



Si f(z)= (x,y) + iv(x,y), f es analtica en A (A C , f: C)
Se demuestra que f(z)=
x
(x,y) + iv
x
(x,y) =
y
(x,y) + iv
y
(x,y) tambin es analtica en A.

Consecuentemente:
f(z)=
xx
(x,y) + iv
xx
(x,y)
f(z)= v
yx
(x,y) i
yx
(x,y)
f(z)= v
xy
(x,y) i
xy
(x,y)
f tambin es analtica en A.

Propiedad
Si: f: C, dominio de C
f es analtica en , entonces:

f(z)= (z,0) + iv(z,0)
f(z)=
x
(z,0) + iv
x
(z,0)
f(z)= v
xy
(z,0) - iu
xy
(z,0)

Si f es analtica:

x Z, y 0
f(z)= iz + i 2(0)= iz
LMITES Y DERIVADAS



FUNCIONES ARMNI CAS

Sea , : R
n
R , es un dominio de
n
R (abierto y conexo), para estas funciones que
tengan derivadas parciales de orden 2 (o sea ( )
2
C ) se define el Laplaciano de
como:
) ,..., (
1
1
1
2
2
n
n
i
XiXi
n
i i
x x
x

(x
1
,...,x
n
)

Nuestro inters especial, es cuando n=2. As tendremos que:

R : , ( , ) x y ,
2
R un dominio.

2 2
2 2
( , ) ( , ) ( , )
xx yy
x y x y x y
x y



+ +



El operador
2
2
2
2
y x

es conocido como el operador LAPLACIANO.

La ecuacin de Laplace: 0 , (x,y)
( , ) ( , ) 0
xx yy
x y x y + , (x,y)

DEFINICIN.-Diremos que , : R es armnica en , si ( , ) 0 x y , (x,y) .

Propiedad.
Sea , : R un dominio simtrico, es armnica en
2
R es armnica en
( , ) ( , ) v x y x y es armnica en .

Prueba

Ida.
( , ) ( , ) v x y p q , t = -x q = -y
x q x t x
q t v + ,
y q y t y
q t v +
( ) ( ) 0 1
q t x
v + , ( ) ( ) 1 0 +
q t y
v
t x
v , ,
q y
v
x tq x tt xx
q t v + ,
y qq y qt yy
q t v +
0 + +
qq tt yy xx
v v , (x,y) , simtrico
( , ) 0 v x y
El regreso es anlogo.
LMITES Y DERIVADAS


Propiedad.
Si , : R dominio de
2
R .
es armnica en k + es armnica, k constante.

Como ejemplo, tomemos ( , ) cos ,
x
x y e y
0 cos cos + y e y e
x x
yy xx

0 ) ( ) ( + + + +
yy xx yy xx
k k

Observacin.
Condicin de suficiencia para que exista una funcin armnica
2
( ) x y + , nos lleva a
considerar el problema en general.

Hallemos una armnica ( ) t , t funcin de x e y.

yy t y tt yy
y t y
xx t x tt xx
x t x
t t
t
t t
t




+

2
2


( ) ( )
yy xx t y x tt
t t t t + + +
2 2


( ) ( ) 0 0
2 2
+ + +
yy xx t y x tt
t t t t

2 2
( )
xx yy
tt
t x y
t t
h t
t t

+

+


As en caso exista una funcin armnica ( ) t se tendra que:

( ( )) ( ) Ln t h t dt A +

( )
( )
h t dt
t Be




( )
( , )
h t dt
t t x y
B e dt C

LMITES Y DERIVADAS

Aplicaciones

1) Veamos si existe una funcin armnica
2
( ) x y +
0 1
2 2
2


+
yy y
xx x
t t
t x t
y x t


2 2 2
4
( )
4 1
xx yy
x y
t t
h t
t t x
+

+ +


No existe la armnica
2
( ) x y +

2) Veamos si existe la funcin armnica:
2 2
( ) x y +

2 2
y x t +

2 2 2 2
4 1
( )
4( )
xx yy
x y
t t
h t
t t x y t
+

+ +


C y x BLn C dt
t
B C dt e Be
y x t
dt
t
+ + + +

) (
1
2 2
1
2 2


3) Sea R R
2
: una funcin armnica, determinar en caso exista a R tal que
R R v
2
: , ( , ) ( , 2 ) v x y ax y x y + + sea armnica.

x q x p x
q p v + , p = ax + y, q = x + 2y

q p x
a v +
( )
x qq x qp x pq x pp xx
q p q p a v + + +
qq pq pp xx
a a v + + 2
2

q p y q y p y
q p v 2 + +
) ( 2
y qq y qp y pq y pp yy
q p q p v + + +
qq pq pp yy
v 4 4 + +
qq pq pp yy xx
a a v v v 5 ) 4 2 ( ) 1 (
2
+ + + + +
0 v 5 1
2
+ a
^
0 4 2 + a 2 a

4) Determinar en caso exista una funcin armnica en
2
R
( ) ( )
( ) y x
y x
e
+
donde
R R :
LMITES Y DERIVADAS


( ) ( ) ( )
) (
) ' (
y x
y x x x
e
+

( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
) ( ) (
) ' 2 " ( ) ' ' " (
y x
y x x x
y x
y x x x x xx
e e
+ +
+ +
( ) ( ) ( ) ( )
) (
) ' 2 " (
y x
x y y y yy
e
+
+
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
{ }
) (
) ' 2 " ( ) ' 2 " (
y x
x y y y y x x x
e
+
+ + +

0
( ) ( ) ( )
0 ' 2 " +
x x x



( )
x
x
e B Ax ) ( +

As:
( )
) )( (
,
B Ay B Ax
y x
+ + , A, B constantes.

Propiedad.
Si C f : , un dominio de C y
( ) ( ) ( ) y x y x z
iv f
, ,
+ analtica en , entonces
( ) y x,

y
( ) y x
v
,
son armnicas en .

Para la prueba tomar en cuenta que:

( ) ( ) y x y y x x
v
, ,
,
( ) ( ) y x x y x y
v
, ,
, ) , ( y x

0 ) ( ) ( ) ( ) ( + + +
xy yx y x x y y y x x yy xx
v v v v

pues
( ) y x
v
,
es continua. Por lo expuesto
( ) y x,
es armnica en .

Anlogamente 0 v , ) , ( y x , es decir que
( ) y x
v
,
es armnica en .

DEFINICIN.- Dado , : R
2
R , diremos que R v : es una armnica
conjugada de , si
( ) ( ) ( ) y x y x z
iv f
, ,
+
( ) ( ) ( ) y x y x z
i v f
, ,
+ es analtica en .

As tendremos que si
( )
, sen
,
y e
x
y x
determinemos una armnica conjugada de .

Tenemos dos alternativas:
( ) ( ) y x
x
z
iv y e f
,
sen +
( ) ( )
y ie v f
x
y x z
sen
,
+

1

Alternativa:
( ) ( ) y x
x
z
iv y e f
,
sen +


( ) y x
y x
x
v y e
,
) sen ( y e v
x
x
sen
( ) y
x
y e v + sen

LMITES Y DERIVADAS


( ) y x x y
x
v y e
,
) sen ( y e v
x
x
cos
( ) x
x
y e v + sen

lo cual es inaceptable.

2

Alternativa:
( ) ( )
y ie v f
x
y x z
sen
,
+

( ) y
x
y x x
y e v ) sen (
,
y e v
x
x
cos
( ) y
x
y e v + cos

( )
x
x
y x
y
y e v ) sen (
,
y e v
x
y
sen
( ) x
x
y e v + cos


( ) ( )
,
x y
A A constante.

( )
z x x
z
e A y ie A y e f + + + sen cos analtica en C (o sea es una funcin entera).

Ejemplo. Dada
( )
,
) 1 (
) 1 (
2 2
2
,
y x
y x x
y x
+
+
hallar una armnica conjugada de .

Razonando:
( )
2 2 ,
) 1 (
1
1
y x
x
y x
+

+

( )
( )
( ) ( )
2
2 2
1
1 2
y x
x y
y , x
+

x y
v

y x
v
( )

+
+

y
dx
y x
x y
v
2 2 2
) ) 1 ((
) 1 ( 2


( ) ( ) y y x
y x
y
v +
+

2 2 ,
) 1 (


( ) ( ) y z
y x
y
i
y x
y x x
f +
+
+
+
+

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


( )
,
) 1 (
) 1 (
2
ik
z
z z
f
z
+

( ) 0
k constante real.
Como Z=1 , entonces
( )
,
) 1 (
ik
z
z
f
z
+

es analtica en .

LMITES Y DERIVADAS

Ejemplo. Dada
( )
2 2 2 ,
) (
2
y x
xy
v
y x
+
, , : R v { }. ) 0 , 0 (
2
R Hallar una armnica
conjugada para v.

Consideremos:
( ) ( ) ( ) y x y x z
iv f
, ,
+




( ) ( )
k
z z
f
z
+ +
+
+
+

0
2 2
2
2 2
) 0 ( 2
) 0 ( 7
0
1
, k constante real.

O sea:
( )
k
z
f
z
+
2
1






















( )
( ) ( )
( ) ( )
( ) ( )
( )
( ) ( )
2 2 2 2 2 3 2
, 2 2 4 2 2 3
, ,
2 2
2
, 2 3 2 2 3
2 2 2 2
2
, 2 2 2 2 2
( ) 2 2 (2( )2 ) 2 6
( ) ( )
2 ( 6 ) 2 2
7
( )
1 7
2( )
y x y
x x y y x y
x y y y
x y y
x y x xy x y y x xy
v
x y x y
v
x x y x x
dx dx y dx
x y
x y x y
y
x y x y

+ +

+ +

+ +
+
+ +
+ +
+ +

LMITES Y DERIVADAS

Problemas Propuestos.

1. Si A, B C deja el valor de verdad de las siguientes afirmaciones, justificando sus
respuestas.
2. Si A y B son absurdos, entonces A B es abierto
3. Si A y B son cerrados, entonces A U B es cerrado
4. Si A B , (A U B) = de A U B. (: frontera)
5. Si A es abierto y B es cerrado, entonces A B es abierto
6. Si A = A, entonces A es cerrado
7. Si B = , entonces A es abierto
8. Si A y B son abiertos, entonces pA + qB es abierto, p, q, C - {0}
9. Si A y B son cerrados, entonces (pA) U (qB) es cerrado, p,qC-{0}
10. Si A es conexo, entonces pA es conexo, p C - {0}
11. Si A y B son dos dominios, entonces A + B es un dominio
12. Si A y B no son dominios, entonces A + B nunca son dominios
13. Si A y B son acotados, entonces A + B es acotado
14. Si A y B son acotados, entonces AB es acotado.
Nota: SI A,B C se define
AB = {zw/zAwB}
15. Si A y B son convexos, entonces AB es convexo
16. Si A + B es acotado, entonces A y B son acotados
17. Si AB es un dominio, entonces A y B son dominios
18. Si (A + B) = A + B, entonces A y B son cerrados
19. Si A es abierto, entonces A B es abierto, B C si A B
20. (A) = A
21. ( )
0
0
0
A A (A
0
= {z/z es punto interior de A})
22. Sea f : C, un dominio de C, f es analtica en w un punto interior de .

23. Existir un punto p de , p w donde f es analtica . Justificar su respuesta.

24. Sea f : C C una funcin entera, demuestre que se cumple:


LMITES Y DERIVADAS

25.
2 2
) ( ' 4 ) ( z f z f ; es el operador Laplaciano.

26. Deduzca la forma compleja del teorema de Green.

27. Determinar si se cumple o no:


4 +

i i
i i

28. Resolver: cos(z
2
+ 2) = sen(z
2
2)

29. Sea E={ 3z+1 / 6 z -2 D }, si A es abierto ver que E es abierto.

30. 28.Sea E={ 3z+1 / 6 z -2 D }, si A es abierto ver que E es abierto.

31. Sean E={ zC / Re(z)+Im(z)=0 } y B ={ z C/ Re(z)=Im(z) 0},determine E+B.

32. Si A+B es acotado y B={ z
1
,z
2
,...,z
n
}, ver si A es o no acotado. JSR.

33. Analizar las siguientes afirmaciones: 1.((A))=(A) 2.(A
o
)
o
=A
o
(AC)

34. Si w es un p.a de A, muestre que w+i es un p.a de A+{i}

35. Sea f es analtica en.arg(f(z)) es armnica en ?.

36. Determine en caso exista una funcin analtica f(z) , cuyo argumento sea:
a) rsen ; b) x
2
-y
2
.

37. Determine donde se cumplen las ECR, para la funcin

((z
2
z
3
)) , si z 1
F(z)=

((z
2
)) , si z p 1

38. Determine si existe o no una funcin armnica u(x,y)= (x+y). En caso afirmativo
halle la funcin u(x,y) ms general.

39. Determine todas las soluciones de: sen z = cos (i-2z).