Eduardo Espinoza Ramos

84

Y v

f
1
2
0 1 X 0 1 u

1
Sea f : C  C / w  f ( z )  , donde z = x + iy, w = u + iv
z

1 1 w u  iv u v
Como w   z   2 2
 2 2
i 2
z w w w u v u v u  v2

u v
Por lo tanto z  x  iy  2 2
i , de donde
u v u  v2
2

u v
x 2 2
 y , como x > 1  y > 0, entonces
u v u  v2
2

u v u2  v2 u
1    0 , de donde 0  v<0
u2  v2 u2  v2 u2  v2

por lo tanto u 2  v 2  u  0  v < 0, completando cuadrado

1 1 1 1
(u  ) 2  v 2   v < 0 de donde C ( ,0) , R 
2 4 2 2

2.5. LÍMITE DE UNA FUNCIÓN COMPLEJA DE VARIABLE

COMPLEJA.-

a) DEFINICIÓN.- Sea f: D  C  C, una función compleja de Variable compleja

z, definida en la región D  C excepto posiblemente
85 Eduardo Espinoza Ramos

en z 0 , entonces diremos que el límite de f(z) es el número complejo L cuando z se

aproxima a z 0 ( zlim f ( z )  L ) , sí y solo sí, para todo  > 0, existe un  > 0 tal
 z0

que si 0  || z  z 0 ||   , entonces || f(z) – L || < . Es decir:

lim f ( z )  L    > 0,   > 0 / 0  || z  z 0 ||    || f(z) – L || < 
z  z0

Y v

z  f f(z)

z0 L

0 X 0 u

Ejemplo.- Demostrar que: lim z  i  2i

z i

Desarrollo

lim z  i  2i    > 0,   > ? / 0 < || z – i || <   || (z + i) – 2i || < 

z i

|| (z + i) – 2i || = || z – i || <  = , por lo tanto es suficiente tomar  = 

para que lim z  i  2i

z i

z 1
Ejemplo.- Pruebe que: lim 2
z 3 z2
Desarrollo

z 1 z 1
lim  2    > 0,   > ? / 0 < || z – 3 || <   ||  2 ||  
z 3 z2 z2
Funciones Analíticas Complejas 86

z 1 z 3 1
||  2 ||  || ||  || || . || z  3 || ..
z2 z2 z2
. (1)

1 1 1
Sea || z  3 ||  1     z 3
2 2 2

1 3
  z  2  , invirtiendo
2 2
2 1 1
   2  || ||  2 ... (2)
3 z2 z2

al reemplazar (2) en (1) se obtiene:

z 1 1 
||  2 ||  || || . || z  3 ||  2 2   de donde  2 
z2 z2 2

1 
por lo tanto    min{ , }
2 2

3z 4  2 z 3  8 z 2  2 z  5
Ejemplo.- Demostrar que: lim  4  4i
z i z i

Desarrollo

3z 4  2 z 3  8 z 2  2 z  5
lim  4  4i    > 0,   > ? tal que sí
z i z i

3z 4  2 z 3  8 z 2  2 z  5
0 < || z – i || <   ||  ( 4  4i ) ||  
z i

3z 4  2 z 3  8 z 2  2 z  5
||  ( 4  4i ) ||  || 3 z 3  (3i  2) z 2  (5  2i ) z  i  4 ||
z i

 || [3z 2  (6i  2) z  1  4i ]( z  i ) ||

 || [3( z  i  i ) 2  (6i  2)( z  i  i )  1  4i ]( z  i ) ||

87 Eduardo Espinoza Ramos

 || 3( z  i ) 2  (12i  2)( z  i )  10  6i || || z  i ||

 [3 || z  i || 2  || 12i  2 || || z  i ||  || 10  6i ||] || z  i ||


 (3  13  12) 2     2 
28

1 
por lo tanto    min{ , }
2 28
2.6. TEOREMA.-

Sea w = f(z) = u(x,y) + iv(x,y), z = x + iy, z 0  x 0  iy 0 ,

w0  u 0  iv 0  u 0 ( x 0 , y 0 )  iv 0 ( x 0 , y 0 ) .

Si w está definida en una región D  C, con la posible excepción de z 0 , y

u , v : R 2  R son funciones de valor real, demuestre que el límite de w existe en z0

y zlim f ( z )  w0 sí y solo sí lim u( x, y)  u 0 y lim v ( x, y )  v 0

 z0 ( x , y )( x0 , y0 ) ( x , y )  ( x0 , y 0 )

Demostración

i) Demostraremos la condición suficiente.

Supongamos que ( x, y )lim( x , y ) u ( x, y)  u 0 y ( x , y )lim v ( x, y )  v 0 entonces 

0 0  ( x0 , y 0 )
 > 0, existen 1  0 y  2  0 tales que:


| u ( x, y )  u 0 |  ,  (x,y) tal que z  x  iy  V ' ( z 0 )  D
2


| v ( x, y )  v 0 |  ,  (x,y) tal que z  x  iy  V ' ( z 0 )  D
2
Funciones Analíticas Complejas 88

Si   min{1 ,  2 } , entonces las dos desigualdades anteriores se verifican

 (x,y) tal que z  V ' ( z 0 )  D

Ahora utilizando la desigualdad triangular

|| f ( z )  w0 ||  || (u ( x, y )  u 0 )  (v ( x, y )  v 0 )i ||

 [u ( x, y )  u 0 ] 2  [v ( x, y )  v 0 ] 2

 (u ( x, y )  u 0 ) 2  ( v ( x, y )  v 0 ) 2

 
 | u ( x, y )  u 0 |  | v ( x, y )  v 0 |   
2 2
|| f ( z )  w0 ||   ,  z  V' ( z 0 )  D , por lo tanto existe zlim f ( z )  w0
z 0

ii) Demostraremos la condición necesaria.

Supongamos que zlim f ( z )  w0 entonces   > 0,   > 0 tal que

z 0

|| f ( z )  w0 ||   ,  z  V' ( z 0 )  D puesto que:

| u ( x, y )  u 0 |  | Re( f ( z )  w0 ) |  || f ( z )  w0 ||   y

| v( x, y )  v 0 |  | Im( f ( z )  w0 ) |  || f ( z )  w0 ||  

Luego se tiene:

| u ( x, y )  u 0 |   ,  (x,y) tal que z  x  iy  V ' ( z 0 )  D

| v ( x, y )  v 0 |   ,  (x,y) tal que z  x  iy  V ' ( z 0 )  D

es decir que existe ( x, y )lim( x , y ) u ( x, y)  u 0 y / x , y )lim v ( x, y )  v 0

0 0  ( x0 , y 0 )
89 Eduardo Espinoza Ramos

lim f ( z ) si existe donde f ( z )  z

Ejemplo.- Calcular z 0 z
Desarrollo

2
z z x2  y2 2 xy
f ( z)    2 2
i 2 , donde
z z.z x y x  y2

x2  y2 2 xy
u ( x, y )  , y v ( x, y ) 
x y 2 2
x2  y2

Y
T
T: x=0

S S: y=0
0 X
x2  0 x2
lim u ( x, y )  lim  lim 1
( x , y ) 
S
( 0 ,0 ) x 0 x2  0 x 0 x2

0 y2 y2
lim u ( x, y )  lim  lim  1
( x , y ) 
T
( 0, 0 ) y 0 0 y2 x 0  y2

u ( x, y ) 
 

lim lim u ( x, y ) lim u ( x, y )
como ( x , y )  ( 0, 0 ) ( x , y )  ( 0, 0) ( x , y )  ( 0, 0 )
S T

z
por lo tanto lim f ( z )  lim , 
z 0 z 0 z

2.7. TEOREMA.-

Si zlim f ( z )  w0 existe, demuestre que para cada  > 0, existe un número positivos 
z 0

> 0 tal que para dos puntos cualquiera z1 , z 2  V' ( z 0 ) , entonces

|| f ( z 2 )  f ( z1 ) ||   .
Funciones Analíticas Complejas 90

Demostración


Sea  > 0 un número pequeño cualquiera, existe  > 0 tal que || f ( z 2 )  w0 ||  y
2

|| f ( z1 )  w0 ||  donde z1 , z 2  V' ( z 0 )
2

Ahora aplicamos la desigualdad triangular

|| f ( z 2 )  f ( z1 ) ||  || ( f ( z 2 )  w0  ( w0  f ( z1 )) ||

 
 || f ( z 2 )  w0 ||  || f ( z1 )  w0 ||   
2 2

 || f ( z 2 )  f ( z1 ) ||   ,  z1 , z 2  V ( z 0 )
'

OBSERVACIÓN.- El teorema anterior indica que una función no tiene limite cuando
z tiende a un punto z 0 , ósea que para algún M > 0 puede
existir
en cada V ' ( z 0 ) puntos z1 , z 2 tales que || f ( z1 )  f ( z 2 ) ||  M ,   > 0
a) DEFINICIÓN.- Si una función no es acotada en ninguna vecindad reducida de

lim f ( z ) no existe. Si además f está definida

z 0 , entonces z z 0

en
alguna vecindad reducida de z 0 , decimos que f diverge a infinito cuando z  z 0

az
Ejemplo.- La función f (z)  , a  0, z 0  0 está definida para todo
z  z0
complejo, excepto para z  z 0 , demuestre que f(z) diverge a infinito cuando
z tiende a z 0
Desarrollo

az
 M > 0, || f(z) || > M, sí || ||  M
z  z0
91 Eduardo Espinoza Ramos

Sí || z  z 0 ||  1  || z ||  || z 0 || 1 , y por lo tanto

az | a | ( || z 0 || 1)
|| ||  M Sí || z  z 0 || 
z  z0 M

| a | ( || z 0 || 1)
sea   min{1, } entonces || f(z) || > M
M

 z  V' ( z 0 ) por lo tanto f(z) diverge a infinito cuando z tiende a z 0 .

z2
Ejemplo.- La función f ( z )  2 , diverge a infinito cuando z
z  (2  i ) z  (3  3i )
tiende a –3 puesto que zlim z  2  1
 3

lim z 2  (2  i ) z  (3  3i )  0
z  3

2.8. PROPIEDADES DE LÍMITES DE FUNCIONES COMPLEJAS.-

Supongamos que zlim f ( z )  A y lim g ( z )  B , entonces:

 z0 z  z0

1 lim ( f ( z )  g ( z ))  lim f ( z )  lim g ( z )  A  B

z  z0 z  z0 z  z0

2 lim ( f ( z )  g ( z ))  lim f ( z )  lim g ( z )  A  B

z  z0 z  z0 z  z0

3 lim f ( z ).g ( z )  lim f ( z ). lim g ( z )  A.B

z  z0 z  z0 z  z0

4 Si zlim f ( z )  A  0 , probar que existe  > 0, tal que || f ( z ) ||  1 || A || para

z 0 2
0  || z  z 0 ||  

f ( z )  A  0 , entonces lim 1 1
5 Sí zlim
z

0 z  z0 f ( z) A
Funciones Analíticas Complejas 92

lim f ( z )
f ( z ) z  z0 A
6 lim   , B  0, g(z)  0,  z
z  z0 g ( z ) lim g ( z ) B
z  z0

7 Si f ( z )  a n z n  a n 1 z n 1  ...  a1 z  a 0 , una función polinómica en z,

entonces:

lim f ( z )  lim (a n z n  a n 1 z n 1  ...  a1 z  a 0 )

z  z0 z  z0

 a n z 0n  a n 1 z 0n 1  ...  a1 z 0  a 0

8 Sí zlim f ( z )  L1 y lim g ( z )  L 2 entonces L1  L 2 . (propiedad de

 z0 z  z0
unicidad)

9 Si zlim f ( z )  A y lim g (z ) existen; sí  V ' ( z ) tal que f ( z )  z ,

z z A  0 0
0

 z  V' ( z 0 ) entonces zlim g ( f ( z))  lim g ( z) .

 z0 z A

Demostración

1 Como lim f ( z )  A    > 0,  1  0 / 0  || z  z 0 ||  1 

z  z0

|| f ( z )  A || 
2

además lim g ( z )  B   > 0,   2  0 / 0  || z  z 0 ||   2 

z  z0

|| g ( z )  B || 
2
Sea 0  || z  z 0 ||   , donde   min{1 ,  2 } , entonces por la desigualdad
triangular se tiene:
|| ( f ( z )  g ( z ))  ( A  B) ||  || ( f ( z )  A)  ( g ( z )  B ) ||

 
 || f ( z )  A ||  || g ( z )  B ||   
2 2
93 Eduardo Espinoza Ramos

como || (f(z) + g(z)) – (A + B)|| < , siempre que 0  || z  z 0 ||   entonces

lim ( f ( z )  g ( z ))  A  B
z  z0

2 En forma similar que (1) se deja como ejercicio.

3 f(z).g(z) – AB = f(z).g(z) – B f(z) + B f(z) – AB

= f(z).(g(z) – B) + B(f(z) – A)

|| f(z). g(z) – AB||  || f(z) || || g(z) – B || + || B ||. || f(z) – A||

 || f(z) ||. ||g(z) – B || + ( || B || + 1) || f(z) – A|| ... (1)

como zlim f ( z )  A , entonces se puede encontrar 1  0 tal que || f(z) – A ||<1

z 0

para 0  || z  z 0 ||  1 , por propiedad de la desigualdad se tiene:

|| f(z) – A ||  || f(z) || - || A ||  || f(z) || - || A || < 1  || f(z) || < 1 + || A ||

ósea que || f(z) || < p, donde p es una constante positiva.

además lim g ( z )  B entonces   > 0,  2  0 tal que

z  z0

|| g ( z )  B ||  para 0  || z  z 0 ||   2
2p

También zlim f ( z )  A    > 0,   3  0 , tal que:

z 0


|| f ( z )  A ||  , para 0  || z  z 0 ||   3
2( || B || 1)

Utilizando estos resultados en (1) se tiene:

|| f(z).g(z) – AB ||  || f(z) ||.|| g(z) – B || + ( || B || + 1)|| f(z) – A ||

   
 p  ( || B || 1)   
2p 2( || B || 1) 2 2
Funciones Analíticas Complejas 94

como || f(z).g(z) – AB || < , para 0  || z  z 0 ||   , donde

  min{1 ,  2 ,  3 } por lo tanto zlim f ( z ).g ( z )  A.B

z 0

4 Como lim f ( z )  A   
1
|| A ||  0 ,   > 0, tal que
z  z0 2
1
|| f ( z )  A ||  || A || , para 0  || z  z 0 ||  
2

A = A – f(z) + f(z), aplicando la desigualdad triangular

|| A || = || (A – f(z) + f(z) ||  || f(z) – A || + || f(z) ||

1
|| A ||  || f ( z )  A ||  || f ( z ) ||  || A ||  || f ( z ) ||
2
1
 || f ( z ) ||  || A ||
2

1 1
5 Dado  > 0,   = ? tal que sí 0  || z  z 0 ||    ||  ||  
f ( z) A

1 1 1 1
||  ||  . || f ( z )  A || ..
f ( z) A || A || || f ( z ) ||
. (1)

por hipótesis se tiene   > 0, podemos encontrar 1  0 tal que sí

1
0  || z  z 0 ||  1 entonces || f ( z )  A ||  || A || 2 
2

además lim f ( z )  A , A  0, podemos encontrar   0 tal que sí

z  z0 2

1
0  || z  z 0 ||   2  || f ( z ) ||  || A || , por el ejercicio (4), entonces:
2

Sí   min{1 ,  2 } tal que sí 0  || z  z 0 ||   entonces:

95 Eduardo Espinoza Ramos

1 1 1 1 1 2 || A || 2
||  ||  . || f ( z )  A ||  . . 
f ( z) A || A || || f ( z ) || || A || || A || 2