UNIVERSIDAD DE LAS FUERZAS ARMADAS ESPE

EXTENSIN LATACUNGA

INGENIERAS: MECATRNICA y ELECTROMECNICA

Matemtica Superior
3. Funciones analticas
Marcelo Romn V.
PERODO ACADMICO: Abril - Agosto 2016
1

Derivada de una funcin compleja

Teorema del valor intermedio para funciones reales

Sea f(x) continua para a < x < b y f(a) f(b) entonces f toma todos los
valores entre f(a) y f(b) en el intervalo a < x < b
Teorema del valor medio para funciones reales Si f(x) es continua en a < x < b y f
'(x) existe para a < x < b, entonces hay al menos un punto c (a < c < b) tal que: f '(c)
= [ f(b) f(a) ] / [ b a ].
Ninguno de los dos teoremas aplican a las funciones complejas.
Por ejemplo: el teorema del valor intermedio, nos dice que si f(a)
= -1 y f(b) = 1 entonces necesariamente existe al menos un valor
x, a < x < b, tal que f(x) = 0. En compleja, podemos empezar en 1 y acabar en +1 sin haber pasado por (0+0i). Marcelo Romn V.

-1

Adems los dos

caminos tienen
2
longitudes diferentes.

Derivada de una funcin real

f ( x0 x) f ( x0 )
f ( x0 ) := lim
x 0
x

Si no existe el lmite, no existe la

derivada en x0. Decimos
entonces que f(x) no es derivable
o no es diferenciable en x0.
Podemos hacer el lmite por la
derecha y por la izquierda, y
ambos deben coincidir.

f ( x0 x)
f ( x0 )

x0 x0 x
x

Marcelo Romn V.

Derivada de una funcin compleja

f ( z0 z ) f ( z )
f ( z0 ) := lim
z 0
z
Observemos que ahora el lmite se puede hacer no
solamente por la derecha o por la izquierda, sino
por infinitos caminos. Para que la derivada est definida
el lmite debe existir y ser el mismo independientemente
del camino.

z0 z

f ( z0 z ) f ( z0 )

v
f ( z0 z )

z0
z

f ( z0 )

Marcelo Romn V.

u
4

Ejemplo:
Mostrar que f(z) = zn es diferenciable para todo z y
que f/(z) = nzn-1.
n n i
i
n

z
(

z
)

0
0

n
n
i
( z0 z ) z0
i =0
f ( z0 ) := lim
= lim
=
z 0
z 0
z
z
n
n n i
i

z
(

z
)

i 0
n
n n i
i =1
lim
= lim z0 (z ) i 1 = nz0n 1
z 0
z 0
z
i =1 i
n

Observa que el resultado es independiente de la trayectoria

con que z se aproxima a cero. Como z0 es arbitrario, el
resultado es vlido para todo z y f(z) = nzn-1.
Marcelo Romn V.

La reglas de derivabilidad son las mismas que en clculo

de funciones reales de variable real:

(c f)/ = c f/
(f+g)/ = f/ + g/
(f g)/ = f/ g + f g/
(f/g)/ = (f/ g - f g/)/g2
La regla de la cadena rige de la misma forma.
Ejercicio:
Demostrar las reglas a
partir de la definicin
de derivada.
Marcelo Romn V.

Marcelo Romn V.

Marcelo Romn V.

Regla de L'Hpital:
Si f(z0) = 0 y g(z0) = 0 y las funciones son
diferenciables en z0 con g'(z0) diferente de 0,
entonces:

f ( z)
f ' ( z)
lim
= lim
z z0 g ( z )
z z0 g ' ( z )
Extensin: Si f(z0) = f'(z0) = ... =
f(n-1)(z0) = 0 y g(z0) = g'(z0) = ...
= g(n-1)(z0) = 0 y las funciones y
las 2n funciones derivadas son
diferenciables en z0 (y con
g(n)(z0) diferente de cero),
entonces:
lim
Marcelo Romn V.

z z0

Guillaume Franois Antoine

Marquis de L'Hpital
(1671 1704)
( n)

f ( z)
f ( z)
= lim ( n )
g ( z ) z z0 g ( z )
9

Diferenciales
Si w = f(z) es continua y tiene primera derivada continua en una
regin R, entonces:

w = f ' ( z ) z z = f ' ( z ) dz dz
donde 0 cuando z 0.
dw
w
dw = f ' ( z ) dz
f ' ( z) =
= lim
dz z 0 z
Diferencial de w
Marcelo Romn V.

10

Ms falacias:

1 =1
2

2 = 22
2

3 = 333
2

Derivando a ambos lados:

4 = 4444
2

2 x = 1

1 = x

x =
x

x
2

x veces

x veces

2 =1
Marcelo Romn V.

11

Algunas funciones reales no poseen derivada

(en ciertos puntos)...

Por ejemplo:

1
f ( x) =
x

De forma similar, algunas funciones complejas

no poseen derivada en ningn punto del plano
complejo!
Demostrado por Cauchy en 1820

12

Marcelo Romn V.

Algunas funciones complejas no poseen derivada en ningn punto

f ( z) = z

f ( z z ) f ( z )
(funcin continua en todo el f ( z ) = lim
z 0
plano complejo porque sus
z
componentes u y v lo son)
z z z
z
= lim
= lim
x
z 0
z 0 z
z
z z
x i y
x i y
1
y
= lim
= lim
2
z 0 x i y
z 0 x i y

Ejemplo

Sigamos dos caminos distintos:

1

lim = 1

z 0

lim = 1

z 0

El lmite no es nico, por lo tanto no existe lmite.

13
Como z es arbitrario, no existe derivada en ningn punto.
Marcelo Romn V.

f ( z z ) f ( z )
f ( z ) = lim
z 0
z
(funcin continua en todo el
plano complejo porque sus
2
2
| z z | | z |
componentes u y v lo son)
= lim
z 0
z
Sigamos de nuevo los dos
caminos distintos anteriores:
( z z )( z z ) z z
=
lim
1
z = z; lim = z z
z 0
z
z 0
2
z = z; lim = z z

z
z 0
= lim z z z
z 0
z
Como el lmite debe ser nico:

Ejemplo

f ( z ) =| z |2

z z = z z z = 0
Marcelo Romn V.

La derivada existe solo en z = 0 y vale 0.

Este ejemplo muestra como una funcin
puede ser diferenciable en un punto sin
serlo en ningn otro de su entorno. 14

Obtener los puntos del plano complejo donde la funcin

f ( z) = z Re( z)

es diferenciable. Calcular su derivada.

f z z ) f z )
z z ) Rez z ) z Rez )
= lim
=
lim
z 0
z 0
z
z
x x i y y )x x ) x iy )x =
= lim
z 0
x iy
= lim

z 0

x )2 2 xx i yx xy xy )
x iy

Si z = 0 :
f 0 z ) f 0)
z Rez )
= lim
= lim Rez ) = 0
lim
z 0
z 0
z 0
z
z
f (0) = 0
Marcelo Romn V.

15

Si z 0 :
z = x i 0 :

f z z ) f z )
x ) 2 xx iyx
= lim
=
lim
z 0
x 0
z
x
= lim x 2 x iy = 2 x iy
2

x 0

z = 0 iy :
f z z ) f z )
i xy )
=
= lim x = x
lim
lim
z 0
y 0
y 0
z
y
2 x = x ; x = 0
2 x iy = x z=0
y=0 ;y=0

f(z) no es diferencia ble en los puntos z 0

Marcelo Romn V.

16

La existencia de derivada en un punto implica la

continuidad de la funcin en ese punto.
Supongamos que existe f(z):

lim f ( z ) f ( z0 ) =

z z0

f ( z) f ( z)
lim
lim ( z z0 ) =
z z0
z z0
z z0
f ' ( z0 ) 0 = 0 lim f ( z ) = f ( z0 )
z z0

Marcelo Romn V.

17

A First Course in Complex Analysis

Matthias Beck, Gerald Marchesi, and Dennis Pixton

Marcelo Romn V.

18

Ecuaciones de Cauchy-Riemann
Si la derivada existe, el lmite
es independiente del camino

f ( z z ) f ( z )
f ( z ) = lim
z 0
z

u( x x, y y ) i v( x x, y y ) u( x, y ) i v( x, y )
= lim
z 0
x iy
Seguimos el camino 1 : sea y0

z z
y

f ( z ) = lim

u ( x x, y) u ( x, y)

v( x x, y ) v( x, y )
i lim
x 0
x

df u v
=
i
Marcelo Romn V.
19
dz x x
x 0

Seguimos el camino 2 : sea x0

z z
y

f ( z ) = i lim

u( x, y y ) u( x, y )

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

df
u v
= i
dz
y y
y

Ejemplo:
f ( z) = z 2 = ( x iy ) 2 ; u( x, y) = x 2 y 2 ; v( x, y) = 2 xy

df u v
= i = 2 x i (2 y) = 2( x i y) = 2 z
dz x x

df
u v
= i = i(2 y) 2 x = 2( x i y) = 2 z
dz
y y

20
Marcelo Romn V.

Tenemos:

df u v
=
i
dz x x

df
u v
= i
dz
y y

Igualando ambas expresiones:

u v
u v
i = i
x x
y y
Igualando las partes real e imaginaria obtenemos las
ecuaciones de Cauchy-Riemann:

u v
=
x y

u
v
=
y
x

Marcelo Romn V.

21

Ecuaciones de Cauchy-Riemman (ECR)

Propuestas por primera vez por DAlembert
en 1752 en el contexto de la dinmica de
fluidos.

u v
=
x y

Augustin-Louis Cauchy
(1789-1857)

u
v
=
y
x

Despus de 250 aos de casi

hibernacin compleja, entre
1814 y 1851 Cauchy y Riemman
fundan el anlisis complejo.

Marcelo Romn V.

22

Podemos dar en forma polar una funcin de variable

compleja cualquiera. Por ejemplo, sea:

En forma polar,
tendremos:

1
f ( z) = z
z

( z 0)

1
f ( z ) = r (cos i sin )
=
r (cos i sin )
1
r (cos i sin ) (cos i sin ) =
r
1

1
r cos i r sin
r
r

u ( r , )

v ( r , )

Marcelo Romn V.

23

ECR en forma polar

En forma polar
tenemos:

z = r( cos i sin )
f(z) = u (r , ) i v(r, )

Demostrar que las ECR toman la forma:

u 1 v
=
r r

v
1 u
=
r
r
(r 0)

Ejercicio: Comprobarlo para la funcin f(z) = 1/z.

Marcelo Romn V.

24

Recuerda que hemos tomado dos caminos muy particulares

para encontrar las ECR. Hemos demostrado que si
f(z) = u(x,y)+iv(x,y) es diferenciable en un punto z0,
entonces las primeras derivadas parciales de u(x,y) y v(x,y)
existen en ese punto y satisfacen en l las ECR.
Adems, podemos calcular el valor de f(z0) a travs
de las expresiones:

df u v
=
i
dz x x

df
u v
= i
dz
y y

Las ECR son una condicin necesaria para la derivabilidad.

Marcelo Romn V.

25

Veamos que f ( z ) = z 2 , que hemos probado

que es diferenciable en todas partes, cumple las ECR:

Ejemplos:

f ( z) = ( x i y)

= ( x 2 y 2 ) i (2 xy )
Sin embargo para:

u
v
= 2 x,
= 2 x,
x
y
u
v
= 2 y,
= 2y
y
x

f ( z ) =| z |2 = ( x 2 y 2 ) Las ECR no se satisfacen excepto

u
v
= 2 x,
= 0,
x
y
u
v
= 2 y,
=0
y
x

para z = 0. Entonces la derivada no

existe para ningn z distinto de 0.
Pero no podemos asegurar la
existencia de la derivada en z = 0,
aunque en este caso la hemos
demostrado anteriormente.
26
Marcelo Romn V.

Veamos un ejemplo, un tanto artificial, donde veamos que las ECR son
necesarias pero no suficientes.

z5
4, z0
f ( z) = z
0,
z=0

Calculemos su derivada en z = 0:

f ( z ) f (0)
f ( z)
f ' (0) = lim
= lim
z 0
z 0
z 0
z

Que tiene valor 1 sobre el eje real y -1 sobre la

lnea y = x, p.ej. De modo que f(z) no tiene
derivada en z = 0.
Y sin embargo, las condiciones
de CR en z = 0 se cumplen:
De modo que las condiciones
son necesarias, pero no
suficientes.

z
f ' (0) = lim
z 0 z

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

u
v

=0=
y ( 0, 0)
x ( 0, 0 )27

Marcelo Romn V.

Condiciones suficientes de derivabilidad

Sea f(z) = w = u(x,y) + iv(x,y) definida en un entorno del punto
z0= x0 + iy0, supongamos que las primeras derivadas parciales de
u(x,y) y v(x,y) existen en el entorno de ese punto y son continuas
en z0. Entonces, si las parciales satisfacen las ECR en z0, la derivada
f(z) en z0 existe.
Sumamos y restamos

u = u ( x x, y y ) u ( x, y ) =
u = {u ( x x, y y ) u ( x, y y )} {u ( x, y y ) u ( x, y )} =
u

1 y =
u =

1 x
x

u
u
u =
x y 1x 1y
x
y
28
donde 1 0 y 1 0 cuando x 0 y y 0 .
Marcelo Romn V.

De la misma manera, para v(x,y):

v
v
v = x y 2 x 2 y
x
y
donde 2 0 y 2 0 cuando x 0 y y 0 .
As que:

u v
u v
w = u iv = i x i y x y
x
y
x
y
donde = 1 i 2 0 y = 1 i 2 0
cuando x 0 y y 0 .
Podemos utilizar en esta ltima igualdad las ECR:

u v
=
x y

u
v
=
y
x
Marcelo Romn V.

29

 u v
u v
w = u iv = i x i y x y
x
y
x
y
u v
=
x y

u
v
=
y
x

u v
v u
w = u iv = i x i y x y
x
x
x
x

u v
i iy
x x

u v
w = i (x iy ) x y

x
x
z
dw
w u v
f ' ( z) =
= lim
=
i

0
dz
z x
x

30
Marcelo Romn V.

Marcelo Romn V.

31

Marcelo Romn V.

32

Estudiar la derivabilidad de la funcin

y en caso afirmativo hallar la derivada.

x x y
f ( z) =
x2 y 2
2

2 2

1
2
f ( z) = z
z

y
i 2
x y2
iv

u v
2
2 2
=
2 xx y ) = 0
x y
2
u
v
= 2 y x 2 y 2 ) = 0
y
x

se cumplen las ECR

slo en x=0, y=0

Pero u(x, y) y v(x, y) no estn definidas para x = 0, y = 0

f(z) no derivable z C
Marcelo Romn V.

33

Funciones analticas u holomorfas

Una funcin f(z) es analtica (u holomorfa) en un
abierto A si posee derivada en todo punto de A.
Cuando se dice que una funcin f es
analtica en un conjunto S que no es
abierto, quedar sobrentendido que f es
analtica en algn abierto que contiene a S.
Cuando decimos que una funcin
es analtica en un punto z0 , la
derivada debe existir en todos los puntos
de algn entorno de z0.
|z|2

Nota: observa que f(z) =

es solo derivable en
z = 0, pero tampoco ah es analtica. Marcelo Romn V.

y
A
x

y
z0
34

Existe una forma rpida y fcil de comprobar

si una funcin f (z) es analtica?

Sea f ( z) = u( x, y) iv( x, y) continua en un dominio D:

f(z) es analtica en un dominio D sii u(x,y) y v(x,y)
son continuas y poseen primeras derivadas parciales
continuas en D y satisfacen las ecuaciones de CR:

u v
=
x y

u
v
=
y
x

en todo punto de D.
Marcelo Romn V.

35

Resumen: Es f(z) analtica en z0?

1. Escribe f(z) como f(z) = u(x,y) + iv(x,y).
2. Encuentra ux(x,y), uy(x,y), vx(x,y) y vy(x,y).
3. Comprueba que se cumplen las ecuaciones
de Cauchy-Riemann:
ux(x0,y0) = vy(x0,y0)
uy(x0,y0) = -vx(x0,y0)
4. Comprueba que ux(x,y), uy(x,y),vx(x,y) y
vy(x,y) son continuas en (x0,y0).
Marcelo Romn V.

36

Ejemplo

Es 1/z analtica?
1
x iy
f ( z) =

x iy x iy
x y
= 2 2 i 2 2
x y x y
u( x, y)

v( x, y)

u v x 2 y 2
u
v
2 xy
= = 2
,
= = 2
2 2
x y ( x y )
y
x ( x y 2 ) 2
Las ecuaciones de Cauchy-Riemann se cumplen. Pero f(z)
no es continua en cero ni sus parciales tampoco.
37
La funcin es analtica en todo punto,Marcelo
excepto
en z = 0.
Romn V.

Ejemplo

Es (1+z)/(1-z) analtica?

1 z 1 x i y (1 x ) i y (1 x ) i y
f ( z) =
=
=

1 z 1 x i y (1 x ) i y (1 x ) i y
1 x2 y2

2y
=
i
2
2
2
2
(
1

x
)

y
(
1

x
)

u 2 (1 x) y
v u
4 y (1 x)
v
=
= ,
=
=
2
2
x (1 x) 2 y 2
y y (1 x) 2 y 2
x

Al igual que antes, la funcin es analtica en todo punto,

excepto en x = 1 e y = 0, en z = 1.
Marcelo Romn V.

38

Marcelo Romn V.

39

Marcelo Romn V.

40

Nota: Para resolver este problema se usa notacin exponencial

que no veremos hasta el captulo siguiente. Puedes volver a l
ms adelante.

Marcelo Romn V.

41

Marcelo Romn V.

42

Encontrar todas las posibles funciones complejas

f(z) = u(x,y) + iv(x,y) analticas en la regin D = {z C/ |z| 3}, que
cumplan simultneamente:
(a) Re(f(z)) = u(x)
(b) f(0) = 0
(c) mx |f(z)| = 6, z D

Respuesta.
1. f(z) = u(x) + iv(x,y) analtica en D => Se cumplen ecuaciones de
Cauchy Riemann en D

u y = vx = 0, por ser u = u(x) v = v(y)

du dv
du dv

vx = v y dx = dy , ( x, y ) D f ( z ) = dx = dy = A

Marcelo Romn V.

43

u = Ax B

v = Ay C

A, B, C R

2. f(0) = 0 = B + iC B = 0, C = 0

u = Ax

f ( z ) = A ( x iy ) = A z
v = Ay
3.

max f ( z ) = max Az = A max z = 6 A = 2

zD
zD
zD

=3

f1 ( z ) = 2 z
Dos funciones :
f 2 ( z ) = 2 z
Marcelo Romn V.

44

a) De la funcin f(z) se sabe:

1. Es analtica en |z 2| < 3,
2. f(z) = f(z) en |z 2| < 3,
3. |f(z)| =

Dar la expresin de f(z) en |z 2| < 3 y, en particular, calcular el

valor de f(2 + i).
Respuesta.
f(z) = u(x,y) + iv(x,y)

D : |z - 2| < 3
Marcelo Romn V.

45

1.- f(z) analtica en D.

u x = v y
Cauchy Riemann
en D.
u
=

y
x

2.- f(z) = f(z), en D.

u ( x, y) iv ( x, y) = u ( x, y) iv ( x, y), en D.
v( x, y) = 0, en D.

Marcelo Romn V.

46

De las condiciones 1 y 2,

u x = 0
en D. u = cte. en D f ( z ) = cte. en D.

u y = 0
3.- |f(z)| =

f(z) = 3

en D.

z = 2+i pertenece a D:
f(2 + i) =

Marcelo Romn V.

47

Sol.: (a) a = -b; c = 1. (b) a = b = -1

(a) En ningn punto. (b) En ningn punto.

(c) C - {z = +i, -i} (d) C (e) En ningn punto.
(f) C - {z = 0} (g) En ningn punto.

48

Marcelo Romn V.

Marcelo Romn V.

49

Marcelo Romn V.

50

Marcelo Romn V.

51

Gracias a las propiedades de las derivadas, si dos funciones

son analticas en un dominio D, su suma y su producto son
analticos en D. Y su cociente es analtico en D si el
denominador no se anula en ningn punto de D.
Una composicin de funciones analticas ser analtica.
(1) Las funciones polinmicas son analticas en todo punto.
Son funciones enteras.

f ( z) = c0 c1 z c2 z 2 c3 z 3 c4 z 4 cn z n
(2) La funciones racionales
donde g(z) y h(z) son polinomios,
son analticas excepto, quizs,
en los puntos donde h(z) Marcelo
se anula.
Romn V.

g ( z)
f ( z) =
h( z )
52

Marcelo Romn V.

53

Marcelo Romn V.

54

Nota: Derivada en el infinito

Marcelo Romn V.

55

Marcelo Romn V.

56

Qu tienen de especial las funciones analticas?

Veremos ms adelante cosas como:

Si una funcin es analtica entonces todas sus derivadas tambin

son analticas (en franco contraste con las funciones de variable
real).

Toda funcin analtica puede expresarse como serie de potencias.

Las funciones analticas estn determinadas por sus valores de
contorno: si disponemos de los valores de una funcin analtica
para los puntos de la circunferencia unidad, estos valores determinan
totalmente los valores en todo el crculo unidad. Podemos expresar
los valores de la funcin en los puntos interiores a travs de una
frmula integral que involucraMarcelo
los valores
del contorno.
Romn V.
57

Ejercicio: Encontrar la forma ms general de la funcin

analtica f(z) cuya parte real u(x,y) es: u(x,y) = x2 - y2 - x.
Exigimos que se cumplan las ECR:

u
v
= 2x 1 =
x
y

Integrando respecto a y:
v( x, y ) =

v
dy k ( x) = (2 x 1)dy k ( x) = 2 xy y k(x)
y

Exigiendo que se cumpla la segunda ECR:

u
v
dk ( x)
= 2 y = = 2 y
k ( x) = k = cte
y
x
dx

f ( z ) = u ( x, y) iv ( x, y ) = x y x i(2 xy y k )
2

f ( z ) = z z ik

Marcelo Romn V.

58

Marcelo Romn V.

59

3. Demostrar que si f(z) es analtica en un dominio D y

|f(z)| es constante en D, entonces f(z) es constante en D.

| f ( z ) |= k u ( x, y) v ( x, y) = k
2

Derivando con respecto a x e y:

u
v
(a) 2u 2v = 0
x
x

(b)

u
v
2u 2v = 0
y
y

Multiplicando (a) por u y (b) por v:

u
v
(a) u
uv = 0
x
x
2

(b)

Marcelo Romn V.

u
2 v
uv v
=0
y
y
60

u
v
(a) u
uv = 0
x
x
2

(b)

u 2 v
uv v
=0
y
y

Exigiendo ECR y sumando ambas ecuaciones:

u
v
u v
2
2 u
=
=
(u v )
=0
y
x
x y
x
Multiplicando (b) por u
y restando (a) por v, tenemos:

v
(u v ) = 0
x
2

Si k2 = u2+ v2 = 0 entonces u = v = 0 f(z) = 0 (cte)

Si k 0 entonces ux= uy= vx= vy= 0

u = cte, v = const f(z) = cte

Marcelo Romn V.

61

Marcelo Romn V.

62

Ejercicios:
(1) Demostrar el teorema de la derivada nula,
que si f(z) = 0 en todos los puntos de un dominio D,
entonces f(z) es constante en D. (Lo tienes resuelto en el
siguiente par de transparencias).

(2) Demuestra bajo las mismas condiciones, lo mismo

para Re(f), Im(f) o Arg(f) constante en D.

Marcelo Romn V.

63

Marcelo Romn V.

64

Marcelo Romn V.

65

Marcelo Romn V.

66

Puntos singulares
Una singularidad o punto singular de f (z) es un punto zo
en el cual f (z) no es analtica, pero es analtica en algn
punto de todo entorno de z0. (Posee f(z) = |z|2 singularidades?)
Tipos de singularidades:
(1) Aislada: si existe un entorno para el que el nico punto singular
es z0. Si no podemos encontrar semejante entorno, la singularidad
es no aislada. Si f(z) tiene un nmero finito de singularidades,
todas sern aisladas.
(2) Evitable en z0: si el lmite cuando z tiende a z0 de f(z) es finito.
(3) Esencial: es una singularidad que no es un polo (otro tipo de
singularidad que definimos a continuacin) ni es evitable.
(4) En el infinito: si g(z) = f(1/z) tiene una singularidad en z = 0,
decimos que f(z) tiene el mismo tipo de singularidad en el
infinito.
Marcelo Romn V.
67

Polos
(otro tipo de
singularidad)
El lmite

Un polo de orden n de f (z) es un punto z0

para el cual se cumple:

existe y es diferente de 0.

lim ( z z0 ) f ( z )

z z0

P.ej. El punto z = 2 es un polo simple o de orden 1 de

2z 3
f ( z) =
z2
2

porque

lim 2 z

lim ( z 2) f ( z ) =
1

z 2
z 2

Marcelo Romn V.

3 0
68

Observa que el orden de un polo z o es la potencia

del trmino z zo

z2
z2
f ( z) = 2
=
z z 12 ( z 4)( z 3)

z
f ( z) =
3
( z i)
z
f ( z) = 2
( z 4) 2

zo = -3, 4 son polos

simples.

zo = -i es un polo de tercer orden.

z
z
f ( z) =
=
2
2
2
(
z

2
i
)
(
z

2
i
)
( z 2i)( z 2i)

Esta funcin tiene 2 puntos singulares, polos de 2 orden

en z = -2i y z = +2i.
Marcelo Romn V.

69

Visualizing complex analytic functions using domain coloring

Hans Lundmark, Department of Mathematics
(Linkping University, Sweden) http://www.mai.liu.se/~halun/complex/complex.html

f ( z) = z

f (i) = 1

Mejor tener un patrn

nico en el plano w y
observar qu patrn en
el plano z nos llevara a l.

i
i

f (i) = 1

70
Marcelo Romn V.

Gradiente de color
para el argumento
en el plano w

Combinacin en
el plano w.

Escala de grises
para mdulo en
plano w

Marcelo Romn V.

Patrn de referencia
en el plano w, al que
hemos aadido una
71
parrilla cuadriculada.

f ( z) = z

f ( z) = z 2

(r , ) (r , )

(r , ) (r 2 ,2 )

Esquinas 2 2i
Estos son los patrones
en el plano z cuya
imagen bajo las
transformaciones f(z)
acaban todas en el patrn
de referencia.

f ( z) = z 3

f ( z) = z 4

(r , ) (r 3 ,3 )

(r , ) (r 4 ,4 )

Observa que un cero de

orden k en z0 se
reconoce porque los anillos
sombreados se acumulan
en l y si recorremos un
pequeo crculo a su
alrededor en sentido
antihorario cambiaremos
cclicamente de color
(de amarillo a negro)
k veces.
72
Marcelo Romn V.

Veamos el polinomio:

f ( z) = ( z 2) 2 ( z 1 2i)( z i)

Plano z. Esquinas: 3 3i
Ceros del polinomio:

z = 1 2i
z = 2 (raz doble)
z = i

73
Marcelo Romn V.

Plano z. Esquinas: 3 3i
Aqu hacemos la parrilla ms
apreciable. Recuerda que la
imagen de esta cuadrcula
distorsionada proporciona en
el plano w una parrilla con
cuadrados de lado 1. Observa
que la transformacin es
conforme: los ngulos se
preservan en la
transformacin, si dos curvas
se intersectan con un ngulo
determinado en el punto z0,
entonces sus imgenes bajo la
transformacin f se intersectan
con el mismo ngulo en f(z0).
Aqu estamos viendo el
fenmeno en la direccin
inversa.

La conformalidad se rompe en los puntos donde

la derivada de f se hace 0, en los llamados puntos
crticos de f. Puedes encontrar esos puntos en la figura?

74
Marcelo Romn V.

Nota sobre transformaciones conformes:

Marcelo Romn V.

75

Marcelo Romn V.

76

Marcelo Romn V.

77

Funciones armnicas
Partiendo de
la ECR:

u v
=
x y

u
v
=
y
x

Suponiendo que sus segundas derivadas existen y son continuas

(ms adelante se demostrar que si f es analtica en z0, u y v poseen
parciales continuas de todo orden en ese punto):
2
2
2
2

u v
=
2
x
xy

Derivando
respecto
a x e y:

u u
2 =0
2
x
y
2

u
v
y
=
2
y
xy

Derivando
respecto a
y y x:

v v
2 =0
2
x
y
2

u(x,y) y v(x,y), las componentes de una funcin analtica,

78
son funciones armnicas: cumplen la ec. de Laplace.
Marcelo Romn V.

Una funcin (x,y) es armnica en un dominio si (x,y)

es C2 (i.e.: tiene derivadas parciales hasta el orden 2 y son
continuas) y satisface la ecuacin de Laplace en dicho
dominio:

= 2 2 =0
x
y
2

Hemos visto que si f(z) es analtica en cierto dominio, entonces su

parte real u(x,y) y su parte imaginaria v(x,y) son armnicas en dicho
dominio (ambas cumplen la ecuacin de Laplace).
Dada una (x,y) armnica en un dominio simplemente conexo D,
existe una funcin analtica en D cuya parte real es (x,y) y tambin
existe una funcin analtica en D cuya parte imaginaria es (x,y).
Dada una funcin armnica u(x,y), parte real de una funcin compleja,
decimos que v(x,y) es la funcin armnica conjugada de u(x,y), si
79
u(x,y) + iv(x,y) es analtica.
Marcelo Romn V.

Ejemplo: Verificar que u(x,y) = x2 - y2 - y es armnica en todo

el plano complejo y encontrar la funcin armnica conjugada
v(x,y).

u
= 2x
x

u
=2
2
x
2

u
= 2 y 1
y

u
u u
y
= 2
2 =0
2
2
y
x y
2

Si v(x,y) es la armnica conjugada de u(x,y), entonces

ambas cumplen las ECR:

u v
=
= 2x
x y

u
v
= = 2 y 1
y
x
80

Marcelo Romn V.

u v
=
= 2x
x y
v
v( x, y) = dy k ( x) = 2 xdy k ( x) = 2 xy k(x)
y
u
v
dk ( x)
= 2 y 1 = = 2 y
k ( x) = x c
y
x
dx
v( x, y ) = 2 xy x c

f(z) = u i v = x 2 - y 2 y i ( 2 xy x c)
f ( z ) = z 2 i (z c)
Marcelo Romn V.

81

82
Marcelo Romn V.

(a) Verifica que u(x, y) = x3 3xy2 5y es armnica en todo

el plano complejo.
(b) Encontrar la funcin armnica conjugada de la funcin u.
2
2
u

u
2
2
(a)
= 3 x 3 y , 2 = 6 x,
= 6 xy 5, 2 = 6 x
x
y
x
y

2u 2 u
2 = 6x 6x = 0
2
x y
v u
v
u
2
2
(b)
=
= 3x 3 y ;
=
= 6 xy 5
y x
x
y
Integrando la primera, v( x, y ) = 3x 2 y y 3 h( x)
v
= 6 xy h' ( x), h' ( x) = 5, h( x) = 5 x C
x
83
2
3
Y entonces : v( x,y ) = 3x y y 5 x C Marcelo Romn V.

Como veremos en el siguiente captulo..

84
Marcelo Romn V.

En el siguiente ejercicio se resuelve la misma cuestin de

forma alternativa...
Marcelo Romn V.

85

86
Marcelo Romn V.

87
Marcelo Romn V.

Marcelo Romn V.

88

89
Marcelo Romn V.

Marcelo Romn V.

90

(a) v(x,y) = -x + k
(b) -ex cos y + k
(c) v(x,y) = [(y-1)2 - (x+1)2]/2 + k
(d) v(x,y) = cos x senh y + k
(e) v(x,y) = arg z + k
(f) v(x,y) = e x y cos(2 xy ) k
2

Marcelo Romn V.

91

Marcelo Romn V.

92

Marcelo Romn V.

93

Marcelo Romn V.

94

Marcelo Romn V.

95

Marcelo Romn V.

96

Ejercicio: Demuestra que para

f ( z) = z 2 = ( x iy ) 2 ; u( x, y) = x 2 y 2 ; v( x, y) = 2 xy
v(x,y) es armnica conjugada de u(x,y), pero que si
intercambiamos ambas no es cierto. Es decir, que
f ( z) = u( x, y) iv ( x, y); u( x, y) = 2 xy; v( x, y) = x 2 y 2
no es analtica.
Ejercicio: Demostrar que si u y v son armnicas conjugadas
mutuamente, entonces son funciones constantes.
Ejercicio: Si u es armnica conjugada de v en un dominio D,
entonces u es armnica conjugada de v en D.
Marcelo Romn V.

97

La transformacin de
Zhukovsky

1
w= z
z
Ms general:
2

a
w= z
z

Nikolai Egorovich Zhukovskii (1847-1921)

(o Zhukovsky o Joukowski)

La imagen de un crculo que pasa por z = 1 o z = -1 es una curva

similar a la seccin transversal de un ala de avin.

Marcelo Romn V.

98

Puntos de ramificacin y cortes de rama

Para univaluar la raz cuadrada de z hagamos como en el caso real,
tomando arbitrariamente una de las dos posibilidades:

2
f ( z) = z =
r = r

2
2

= z = r0

w = r 0
f (z )

Si giramos siguiendo un camino

continuo como muestra la figura
tendremos:

z = r0 2

f (z )

w = r 0
2

f(z) sufre una crisis de identidad!

Marcelo Romn V.

99

Este camino continuo

no nos genera problemas.
Cul es la diferencia?
Rodear el origen z = 0
parece ser lo que nos
genera la crisis.
z = 0 es en este caso un
punto de ramificacin de
la funcin raz cuadrada.
Qu ocurre si damos dos
vueltas alrededor del origen?
100

Marcelo Romn V.

Decimos que z0 es un punto de ramificacin de f(z) si

el valor de f(z) no regresa a su valor original cuando
trazamos una curva cerrada alrededor de l, de manera
que f vara de forma continua a medida que recorremos
la curva.

Observacin: debe ocurrir para cualquier curva alrededor

de z0 (lejana o cercana). La funcin no tiene por qu ser
continua o existir en z0.

Marcelo Romn V.

101

Cul es la regin ms grande posible sin crisis de identidad?

Para todos los puntos
de la regin R la raz cuadrada
est univaluada.

Deseamos una regin, lo mayor

posible, tal que no exista
posibilidad de trazar un camino
continuo y cerrado que contenga
al origen en su interior: una rama.

Regin infinitesimal alrededor

del eje x positivo.
102

Univaluamos la funcin raz cuadrada cortando

el plano complejo a lo largo del eje real positivo.
A es un punto infinitesimalmente cercano
al corte por arriba. Y B por abajo. La funcin
es discontinua a travs del corte de rama.

Cortes de rama

Rama 0 < < 2

Nota: El corte es totalmente arbitrario.

Marcelo Romn V.

Rama < <

103