SEMANA 2

LÍMITE DE FUNCIONES DE VARIABLE COMPLEJA

y f v

f(z) 
L
z 

z0=x0+iy0
x u
Plano z Plano w

Vecindad de z0:
V  z0   z  C / || z  z0 ||  

Definición: Diremos que el límite de f cuando z se aproxima a z0, es L si y solo si

dado >0,  >0 tal que si 0<||z-z0||< entonces ||f(z) - L|| < , osea:

lim f z   L  Dado >0,  >0 tal que si

z  z0

0<||z-z0||< entonces ||f(z)-L||<

Ejemplo: Sea
z² ; z  i
f z   
0 ; z  0
Probar que lim f z   1
z  i

Vemos:
lim f z   1  Dado >0, >0 tal que si 0<||z-i||<
z  i
entonces ||f(z)+1|| < 
como zi se tiene:
|| f z   1 |||| z ²  1 |||| z  i z  i  |||| z  i |||| z  i ||  || z  i || 

Tomemos un  auxiliar: 1 = 1, de este modo:

||z - i||<1 y luego
f z   1    z  i     z  i  2i     z  i  2i    1  2

 f  z   1  3    2 = /3

Tomando  = min{1;/3}, se tiene probado el límite.

PROPIEDADES DEL LÍMITE:

Sean lim f z   L1 , lim g z   L2 entonces

z z0 z  z0

1) lim f z    lim f z   L1 ;  real o imaginario

z z0 z z0

2) lim  f z   g z   lim f z   lim g z   L1  L2

z z0 z z0 z z0

3) lim  f z .g z   lim f z . lim g z   L1.L2

z z0 z z0 z z0

 f z   zlim f z  L
4) Si L20  lim     z 0  1
z  z 0 g z   
  zz
lim g z L2
0

Observación: Si un límite existe esto es independiente de la trayectoria

como z  z0 .

Observación: Probar que

z
lim no existe
z 0 z
z
Procedimiento: supongamos que lim existe
z 0 z

L0: y =x
z=iy

z=x+ix

Z=x
Eso quiere decir que no debe interesar la manera como te acerques a (0;0):

z x
1) Eje x: lim  1
z 0 z x
(Absurdo)
z iy
2) Eje y: lim   1
z 0 z  iy

z
Esto quiere decir que en realidad lim no existe
z 0 z
 Complementando:
3) L0: y = x
z x  ix 1  i
lim  lim 
z 0 z z 0 x  ix 1 i

CONTINUIDAD DE UNA FUNCIÓN COMPLEJA EN UN PUNTO

Definicion.-Diremos que f es continua en el punto z0 si se cumple:
1) f(z0) está definida.
2) lim f z  existe
z  z0

3) lim f z   f z 0 
z  z0

 z ²; z  i
Ejemplo: Sea f  z    ,determine si f es continua en z0 = i
0, z  i
Veamos:
1) f i   0 (ok)
Se observa que f no

es continua en i.
2) lim f z   1 ; existe (ya se probó)
z i

3) lim f z   f i 
z i

Obs.: Las funciones que si son continuas en todo punto del plano son:
1) Cualquier polinomio p(z)
2) ez
3) Sen(z)
4) Cos(z)
5) Senh(z)
6) Cosh(z); entre otros

DERIVADA COMPLEJA Y LAS ECUACIONES DE CAUCHY

– RIEMANN

Sea z0 un número complejo en el dominio de una función f. Definimos la derivada

de f en z0 como el siguiente límite:

df z 0  f z 0  z   f z 0 
 f ´z 0   lim
dz z 0 z
f  z   f  z0 
 lim
z  z0 z  z0

Siempre y cuando exista el límite (osea no debe cambiar el valor del límite si se
usa cualquier trayectoria que se aproxime al punto “z0”.

Teorema: En todos los puntos donde f´(z) existe se cumple las ecuaciones de
Cauchy – Riemann.
 u v u v
 , 
x y y x

Demostración:
Hipótesis { f´(z) existe
Tesis { ux = vy; uy = -vx

Veamos:
f z  z   f z 
f ´z   lim (existe)
z  0 z

Donde: z = x+iy; z=x+iy; f(z)=u(x,y)+iv(x,y)

Asimismo:
z+z = (x+x) + i(y+y)
f z  z   ux  x ,  y  y   ivx  x ;  y  y 

u  x  x, y  y   iv  x  x, y  y   u  x, y   iv  x, y  

 f ´ z   lim
 x , y  0,0 x  iy

u  x  x; y  y   u  x; y    i v  x  x; y  y   v  x; y  

= lim
 x , y  0,0  x  iy

1) A través del eje X:

f ´z   lim
ux  x, y   ux, y   ivx  x, y   vx, y 
x 0 x

u x  x, y   u x, y  vx  x, y   vx, y 

f ´z   lim  i lim
x 0 x x 0 x

u v
f  z  i ……… (1)
x x
2) A través del eje Y:
u  x, y  y   u  x, y   i v  x, y  y   v  x, y 
f   z   lim 
y 0 iy

u  x, y  y   u  x, y  v  x, y  y   v  x, y 
f   z   i lim  lim
y 0 y y 0 y

u v
f   z   i  ………. (2)
y y

Como f   z  existe entonces (1) y (2) son iguales:

u v u v
  ; 
x y y x

Ejemplo: Hallar f   z  en c/u

1) f(z) = z²
2) f(z) = ez
3) f(z) = Sen(z)
u = x² - y²
Solución: 1) f(z) = z² v = 2xy
u v
f  z   i  2 x  izy
x x
f   z   2  x  iy   2 z

Solución: 2) u = exCosy
f(z) = ez v = exSeny
u v
f  z   i  e xCosy  ie x Seny  e z
x x
Solución: 3) u = SenxCosh(y)
h(z) = Sen(z) v = CosxSenh(y)
 u v
h  z    i  Cos  x  Cosh  y   i  Sen  x  Senh  y  
x x
h´z   Cosx Cosiy  Senx Seniy
h  z   Cos  x  iy   Cos  z 

Recordemos:
Recordemos:
Teorema: En todos los puntos donde f´(z) existe, se cumplen las ecuaciones de
Cauchy - Riemann.
u v u v
 , 
x y y x

Asimismo este teorema permite calcular la derivada f´(z) de dos maneras:

u v
1) f ´ z   i
x x
u u
2) f ´ z   i 
y y

Sin olvidarnos de que por definición:

f z  z   f z 
f ´z   lim
z 0 z

Ejemplo: Se calculó la derivada de f z   z ², g z   e z , hz   Senz obteniéndose:

1) f   z   2 z 2) g´z   e z 3) h´z   Cosz 

El siguiente teorema permite obtener los puntos donde f ( z ) exista.

Teorema: Sea f(z)=u(x;y)+iv(x;y). Si tanto u, v como las primeras derivadas

parciales ux, uy, vx, vy son continuas en alguna vecindad del punto z0; (disco
abierto centrado en z0) las ecuaciones de Cauchy – Riemann son una condición
necesaria y suficiente para que exista f ( z0 ) .
Ejemplo: Determine los puntos donde f´(z) existe para cada uno de las siguientes
funciones.
a. f(z) = ||z||²
b. g(z) = x²+iy²
c. h(z) = z
d. p(z) = z²
Solución:
a. u = x²+y²
f(z) = ||z||² v=0

ux = 2x, uy=2y, vx = 0, vy = 0 son continuas en todo punto del plano. Ahora

consideremos las ecuaciones de C-R.
ux = vy ; uy = -vx
2x = 0 ; 2y = 0
x=0 ; y=0
 Existe la derivada de f(z) = ||z||² ,únicamente en (0,0).

b. u = x²
g(z) = x²+iy² v = y²

Son continuas en todo punto del plano. Ahora consideremos las ecuaciones de C-
R.
ux = vy ; uy = -vx
2x = 2y ; 0=0
x=y ; 0=0

b: x=y y=x

 =
 Existe la derivada de g(z) = x²+iy² únicamente en los puntos de la recta L:x=y

Obs. Determinar el valor de:

u v
g   2  2i   i 2 2i  2 x 2 2i  i 0  4
x 2 2i x

u v
g´ 1  i   i 1i  2 x 1i  i0  2
x 1i x
g´1  2i    ,pues 1+2i  L:x=y

c. u=x
h(z) = z v = -y

ux = 1, uy = 0 , vx = 0, vy = -1; son continuas en todo punto del plano. Ahora las

ecuaciones de C-R.
u v u v
 ; 
x y y x
1 = -1 , 0=0
  R² =

 No existe la derivada en ningún punto para esta función h(z).

d. u = x² - y²
p(z) = z² v = 2xy

ux = 2x, uy = -2y, vx = 2y, vy = 2x, son continuas en todo punto del plano. Ahora las
ecuaciones de C-R.
u v u v
 , 
x y y x
 2x = 2x , -2y = -2y
0=0 , 0=0
R²  R² = R²
 p(z) = z² es derivable en todo punto del plano.

CONJUNTO ABIERTO, CONJUNTO CONEXO

DOMINIO
1) Conjunto abierto: Diremos que A es un conjunto abierto si para todo punto
zA, existe un disco abierto V ( z ) tal que V ( z )  A.

Ejemplo:
1) Todo el plano:

2)
A1 = {(x,y)IR²/x>0, y>0}
A2 A1
A2 = {(x,y)IR²/x<0, y>0}

A3 A4 A3 = {(x,y)IR²/x<0, y<0}
A4 = {(x,y)IR²/x>0, y<0}

3) A1
y=c

A2 A1
A2
x=k

A1 = {(x,y)IR²/x>k} A1 = {(x,y)IR²/y>c}
A2 = {(x,y)IR²/x<k} A2 = {(x,y)IR²/y<c}

4)
2) Conjunto conexo: Diremos que A es un conjunto conexo si para todo par de
puntos P y Q en A la poligonal que los una está contenido en A.
Ejemplo:
1) 2)
es conexo pero
por separado

3)
A1 A2 A1  A2 = A
es un conjunto conexo pero no un
conjunto abierto.

4) B1 B2

B1  B2 = B no es un conjunto conexo.

3) Dominio: Diremos que el conjunto D es llamado dominio si es abierto y

conexo.

FUNCIÓN ANALÍTICA
Definición: Diremos que f es analítica en punto z0 si existe la derivada f´(z) en
todo punto de alguno vecindad de z0.

V(z0)

z0
Definición: Diremos que f es analítica en un dominio D, si f es analítica en cada
punto de D.

Ejemplo: Determinar cual de las funciones puede ser analítica y diga en qué lugar
puede serlo.
1. f(z) = ||z||²
2. g(z) = x²+iy²
3. h(z) = z
4. p(z) = z²

Solución:
1. f(z) = ||z||², ha resultado ser derivable únicamente en el origen (0;0)
Luego f(z) = ||z||² no es analítica en el origen ni en
ningún punto del plano,pues (0;0) no es abierto .

2. g(z)=x²+iy², ha resultado ser derivable únicamente en los puntos de L: y=x;

pero no es analítica en dichos puntos de L, ni en ningún
otro punto,pues L no es abierto.

3. h(z) = z , ha resultado ser que no es derivable en ningún punto del plano, por lo
cual no es analítica en ningún punto del plano.

4. p(z) = z², ha resultado ser derivable en todo punto del plano; por lo cual p(z)
es analítica en todo punto del plano.
Función entera: Es aquella función compleja que es analítica en todo punto del
plano.
Ejemplos. Cualquier polinomio p(z),la función exponencial e z,las funciones
trigonometricas Sen(z), Cos(z), las funciones hiperbólicas Senh(z), Cosh(z), son
funciones continuas en todo el plano entre otras.

Teorema: Si f es derivable en z0 entonces f es continua en z0.

Demostración: Considere para z  z0

 f z   f z0  
 z  z 0 
 z  z 0 

Tomaremos el límite cuando z  z0

 f z   f z0  
lim   lim z  z 0   0
z  z0
 z  z0  z  z0

f ´z 0  0 = 0

 f z   f z0  
 lim  z  z 0   0
z  z0
 z  z 0 
lim f z   f z 0 
z  z0

 f es continua en z0

f es analítica en z0  f es derivable en z0  f es continua en z0

f es analítica en z0  f es derivable en z0  se cumple las ec. de C-R en z0

Recordemos:
f es analítica en z0  f es derivable en z0  Se cumple la ecuación de
Cauchy Rieman:
u  x, y  v  x, y 
 
x y
u  x, y  v  x, y 
 
y x

Problema:
Sea f analítica tal que:  Re{f´(z)} = 3x²-4y-3y²
f (1+i) = 0
f(-i) = 6 – 3i
Hallar: f(2+i) = ¿?
u v
Solución: f  z  i
x x
u
Tenemos que:  x, y   3 x ²  4 y  3 y ²
x

Como: f es analítica  f es derivable  Se cumple la ec. C.R.

Tenemos:
u
C-R  x, y   v x, y 
x y
u
x, y    v x, y 
y x
u
x, y   3x²  4 y  3 y ²   v x, y 
x y

 u(x,y) = x³ - 4xy – 3xy² + g(y) Integrando respecto a “x”

 v(x,y) = 3x²y – 2y² - y³ + h(x) Integrando respecto a “y”

Usando la otra ecuación de Cauchy Rieman:

 u
x, y    v x, y 
y x
4 x  6 xy  g´ y     6 xy  h  x  

dg  y  dh  x 
4 x  6 xy   6 xy 
dy dx

dg y  dhx 
 4x 
dy dx

dh  x  dg  y 
Sea: 4x  k  ; k constante real ………….. (I)
dx dy

dg  y 
Entonces: k …………… (II)
dy
Integrando (II): g(y) = ky + p ; k,p constantes reales
dh  x  dh  x 
de (I): 4x   k  4x  k   h(x) = 2x² - kx + q; k,q
dx dx
constantes reales.
De esta manera:
u(x,y) = x³ - 4xy-3xy²+ky+p
v(x,y) = 3x²y – 2y²-y³+2x²-kx+q
 f  x  iy    x³  4 xy  3xy ²  ky  p   i  3x² y  2 y ²  y ³  2 x²  kx  q 

Evaluando las ecuaciones:

x=0
f  i   f 0  1i   6  3i donde y = -1

 k  p  i 2  1  q  6  3i
p–k=6
-1 + q = -3
q = -2
f 1  i   0 donde x = 1; y = 1
 6  k  p  i2  k  q  0  0i 
k p6 y k=0

donde q = -2 , k = 0 , p = 6

 f z   x³  4 xy  3xy²  6  i3x² y  2 y ²  y ³  2 x²  2

Piden:
f 2  i   ? donde x=2 ; y =1
Rpta. f(2+i) = 15i

JUEVES 15-09-2011

FUNCIÓN ARMÓNICA
Una función real (x,y) diremos que es armónica en el dominio DIR² si cumple la
ecuación de Laplace.
 ²  ²
 0 , (x,y) D
x ² y ²

Practica Dirigida Nº 2
13. u = 2x(1-y) = 2x – 2xy,verifique si u es armonica.
Solucion:
ux = 2 – 2y , uxx = 0
uy = -2x , uyy = 0

Osea uxx + uyy = 0 ; (x,y) IR²

 u es armónica en D = R²

15. a) u = 3x²y + 2x² - 3y³ - 2y²

ux = 6xy + 4x uxx = 6y+4
 uy = 3x² - 9y² - 4y uyy = -18y – 4

Ahora: uxx + uyy= -12y = 0

y=0

Osea se cumple la ecuación de

Laplace en todo punto de L: y=0,
pero u no es armónica pues u no es dominio,pues no es abierto.

b) u = 2xy + 3xy² - 2y³

ux = 2y+3y² uxx = 0
uy = 2x+6xy-6y² uyy = 6x-12y

Al sumar e igualar a uno:

uxx + uyy = 0 + 6x-12y = 0
6x = 12y  x = 2y

Osea u cumple la ec. De Laplace en todo punto de L 0: x = 2y, pero u no es

armónica,pues L no es conjunto abierto.

Teorema: Sea (x,y) armónica con un dominio D simplemente conexo (que no

tenga agujeros) entonces existe una función analítica f en D tal que
f z    x, y   ivx, y ; así mismo existe g analítica en D tal que

g z   ux, y   i x, y  .
Tanto a u como a v se les llama armónica conjugada.

PD Nº 2
13. u = 2x-2xy ,es armónico en D = R² por el teorema anterior existe una
 función analítica f en D = IR² tal que:
f  z    2 x  2 xy   iv  x, y   u( x; y)  iv( x; y) al ser f analítica

podemos usar las ecuaciones de Cauchy Rieman.

ux = vy ; uy = -vx
2 – 2y = vy ; -2x = -vx
v = 2y-y²+h(x) ; -2x = -[h´(x)]
h´(x) = 2x  h(x) = x² + k
 v = 2y – y² + x² + k
 f(z) = (2x – 2xy) + i(2y – y² + x² + k)

15. c) u = xexCosy - yexSeny

Veamos si es armónica:

u x  Cosy

x
 
xe x  ySenyex

 
u x  Cosy e x  xe x  ySenyex

u xx  Cosye  e  xe   ySenye
x x x x

u xx  Cosy2e  xe   ye Seny
x x x

u xx  2e x Cosy  xe x Cosy  ye x Seny

PD. 2

u y   xe x Seny  e x  ySeny
y
u y   xe x Seny  e x Seny  yCosy

u y   xe x Seny  e x Seny  e x yCosy

u yy   xe x Cosy  e x Cosy  e x Cosy  ySeny

u yy   xe x Cosy  e x Cosy  e x Cosy  e x ySeny

 u yy   xe x Cosy  2e x Cosy  ySenyex

Al sumar uxx+uyy = 0 ; (x,y)IR²

 u es armónica en el dominio D = IR²
 Por teoría anterior existe una función analítica en el plano tal que
 
f z   xe x Cosy  ye x Seny  ivx, y  ; al ser f analítica podemos usar las
ecuaciones de C-R.

ux = vy ; uy = -vx (*)
Cosyex  Cosyxex  e x ySeny  v y
Integración parcial respecto a y

v  Senyex  Senyxex  e x  ySenydy

Pauta:  ySenydy  yCosy   Cosydy

v=x ; dv = Senydy  ySenydy   yCosy  Seny

dv = dx ; v = -Cosy

v  Senyex  Seny.xe x  e x  yCosy  Seny  hx 

v  Senyex  Seny.xe x  e x yCosy  e x Seny  hx 

v  xe x Seny  e x yCos y   hx 

Por Otro Lado de (*)

  
 xe x Seny  e x Seny  e x yCosy   Seny e x  xe x  e x yCosy  h´x  
 xe x Seny  e x Seny  e x yCosy  e x Seny  xe x Seny  e x yCosy  h´x 
h´x   0  hx   k , k  IR
 v  xe x Seny  e x yCosy  k
   
 f z   xe x Cosy  ye x Seny  i xe x Seny  e x yCosy  k , kIR 

REGLAS DE DERIVACIÓN PARA FUNCIONES COMPLEJAS

Sean f y g funciones derivables y sea  una constante, entonces:

d
1) f z    d  f z   f ´z 
dz dz

2)
d
 f z   g z   df z   d g z   f ´z   g´z 
dz dz dz

3)
d
dz
 f  z  .g  z    f   z  .g  z   f  z  .g   z 
d  f  z   f   z  .g  z   f  z  .g   z 
4)   , g(z)  0
dz  g  z    g  z  ²

Veamos (3):
f(z)=u(x;y)+iv(x;y)=u+iv
g(z) = a(x,y)+ib(x,y) = a+ib

 f z .g z   au  vb  iav  bu


d
 f z .g z    au  vb  i  av  bu
dz x x

= au   vb  i  av   bu
x x  x x 
= a x .u  aux  v x b  vbx   ia x v  avx  bx u  bux 

P.D.L:
f   z  g  z   f  z  g´ z   ux  ivx  a  ib   u  iv  ax  ivx 

 aux  v x b  iavx  bux   a x u  vbx   ia x v  ubx 

f ´z g z   f z g´z   aux  a x u  v x b  vbx   iavx  a x v  bux  ubx  L.q.q.d.
 REGLA DE HOSPITAL PARA FUNCIONES COMPLEJAS
Teorema: Sean f y g funciones analíticas en z0 tal que f(z0)=g(z0), g ( z0 )  0 ,

entonces
f  z  f   z0 
lim 
z  z0 g  z  g   z0 

Senz Cosz
Obs. lim  lim 1
z 0 z z 0 1
P.D. Nº2

z  Senz 1  Cosz
19) d) lim  lim
z 0 z³ z 0 3z ²
Senz 1 Senz 1
= lim  lim 
z 0 6 z 6 z 0 z 6

26) u = 3x²y+ax³-y³-2by ; a,b  IR

Calcular a y b para los cuales existe una función compleja entera.
f z   3x² y  ax³  y ³  2by  ivx, y  que verifique f 1  i   0

Solución: f al ser por dato entera (analítica en todo el plano) se tiene las ec., de
C-R (en todo el plano)
ux = vy ; uy = -vx
 vy = 6xy+3ax² integrando respecto a y
v = 3xy²+3ax²y+h(x)
la otra ec. De C-R: uy = -vx
3x² - 3y² - 2b = -[3y²+6axy+h´(x)]
3x²-3y²-2b = -3y² - 6ax – h´(x)
h´x   6axy  3x²  2b
Debe ser a = 0
 h´(x) = -3x²+2b
 h(x) = -x³+2bx+k; k, b  IR

Luego:
f z   3x² y  y ³  2by  i3xy²  x³  2bx  k 

Dato:
f 1,1  0  0i entonces 3  1  2b  i3  1  2b  k   0  i0
2 – 2b = 0  2+2b+k=0
b=1 k = -4
 f z   3x² y  y ³  2 y   i3xy²  x³  2 x  4 (ok)