Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Funciones analticas
1
Derivada de una funcin compleja
f ( x0 x) f ( x0 )
f ( x0 ) : lim
x 0 x
y 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.
f ( x0 x)
Podemos hacer el lmite por la
f ( x0 ) derecha y por la izquierda, y
ambos deben coincidir.
x0 x0 x x
x 3
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.
y z0 z f ( z0 z ) f ( z0 ) v
z0 f ( z0 z )
z f ( z0 )
x u
4
Ejemplo:
Mostrar que f(z) = zn es diferenciable para todo z y
que f/(z) = nzn-1.
n
n n i
( z0 z ) z0
n n i
z 0 ( z ) i
z n
0
lim
i 0
f ( z0 ) : lim
z 0 z z 0 z
n
n n i
i 1
i 0 z ( z ) i
n
n n i
lim lim z0 (z ) i 1 nz0n 1
z 0 z z 0
i 1 i
(c f)/ = c f/
(f+g)/ = f/ + g/
(f g)/ = f/ g + f g/
(f/g)/ = (f/ g - f g/)/g2
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
10
Ms falacias:
1 1
2
2 22
2
3 333
2
2 x 1 1 x
x veces
x x
2
x
x veces
2 1
11
Algunas funciones reales no poseen derivada
(en ciertos puntos)...
Por ejemplo:
y y
1
f ( x)
x
x x
13
Curva de Weierstrass
La curva de Weierstrass es, histricamente
hablando, el primer fractal conocido. Fue
creado o descubierto (segn las preferencias
filosficas del lector) por el matemtico
Karl Weierstrass en 1861. Lo notable en este
caso, respecto a la curva de Koch, es que
disponemos de la ecuacin, como serie infinita,
de la curva: Karl Theodor Wilhelm
W ( x) a cos(b x)
n n Weierstrass (1815 1897)
n 0
lim
z z z
lim
z
x
z 0 z z 0 z
z z
x i y x i y
y 1
lim lim
2 z 0 x i y z 0 x i y
z Sigamos dos caminos distintos:
x lim 1 lim 1
1 2
z 0 z 0
lim
x 2 2 xx i yx xy xy
z 0 x iy
Si z 0 :
f 0 z f 0 z Re z
lim lim lim Re z 0
z 0 z z 0 z z 0
f (0) 0
17
Si z 0 :
z x i 0 :
f z z f z x 2 xx iyx
2
lim lim
z 0 z x 0 x
lim x 2 x iy 2 x iy
x 0
z 0 iy :
f z z f z i xy
lim lim lim x x
z 0 z y 0 y y 0
2x x ; x 0
2 x iy x
z=0
y0 ;y0
18
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
19
A First Course in Complex Analysis
Matthias Beck, Gerald Marchesi, and Dennis Pixton
20
Ecuaciones de Cauchy-Riemann
Si la derivada existe, el lmite
f ( z z ) f ( z ) es independiente del camino
f ( z ) lim
z 0 z
lim
u ( x x , y y ) i v ( x x , y y ) u ( x , y ) i v ( x , y )
z 0 x iy
u v u v
i i
x x y y
Igualando las partes real e imaginaria obtenemos las
ecuaciones de Cauchy-Riemann:
u v u v
x y y x
23
Ecuaciones de Cauchy-Riemman (ECR)
Propuestas por primera vez por DAlembert
en 1752 en el contexto de la dinmica de
fluidos.
u v u v
x y y x
Despus de 250 aos de casi
hibernacin compleja, entre
1814 y 1851 Cauchy y Riemman
fundan el anlisis complejo.
Augustin-Louis Cauchy
(1789-1857)
24
Podemos dar en forma polar una funcin de variable
compleja cualquiera. Por ejemplo, sea:
1
f ( z) z ( z 0)
En forma polar, z
tendremos:
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 , ) 25
ECR en forma polar
u 1 v v 1 u
r r r r
(r 0)
27
Veamos que f ( z ) z , que hemos probado
2
Ejemplos:
que es diferenciable en todas partes, cumple las ECR:
u v
f ( z) ( x i y) 2
2 x, 2 x,
x y
( x 2 y 2 ) i (2 xy )
u v
2 y, 2y
Sin embargo para:
y x
f ( z ) | z |2 ( x 2 y 2 ) Las ECR no se satisfacen excepto
para z = 0. Entonces la derivada no
u v existe para ningn z distinto de 0.
2 x, 0, Pero no podemos asegurar la
x y
existencia de la derivada en z = 0,
u v aunque en este caso la hemos
2 y, 0
y x demostrado anteriormente. 28
Veamos un ejemplo, un tanto artificial, donde veamos que las ECR son
necesarias pero no suficientes.
z5 Calculemos su derivada en z = 0:
, z0
f ( z) z 4
f ( z ) f ( 0) f ( z)
0, z0 f ' (0) lim lim
z 0 z 0 z 0 z
4
z
Que tiene valor 1 sobre el eje real y -1 sobre la f ' (0) lim
z 0 z
lnea y = x, p.ej. De modo que f(z) no tiene
derivada en z = 0.
u v
Y sin embargo, las condiciones 1
de CR en z = 0 se cumplen: x ( 0,0) y ( 0, 0)
De modo que las condiciones
u v
son necesarias, pero no 0
suficientes. y ( 0, 0 ) x ( 0, 0 )
29
Condiciones suficientes de derivabilidad
u v u v
x y 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 32
dz z 0 z x x
33
34
1 2
Estudiar la derivabilidad de la funcin f ( z) z
z
y en caso afirmativo hallar la derivada.
f ( z)
x x y
2
2 2
i 2
y
x2 y2 x y2
u iv
u v
2 x x y 0
2 2 2
y x
Examen
35
JUNIO 02/03: P-1
Funciones analticas u holomorfas
Una funcin f(z) es analtica (u holomorfa) en un
abierto A si posee derivada en todo punto de A.
38
Ejemplo Es 1/z analtica?
1 xiy
f ( z)
x iy xiy
x y
2
i 2 2
x y
2
x y
u ( x, y ) v ( x, y )
u v x 2 y 2 u v 2 xy
2 , 2
x y ( x y )
2 2
y x ( x y 2 ) 2
43
44
Encontrar todas las posibles funciones complejas
(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
du dv du dv
v x v y dx dy , ( x, y ) D f ( z ) dx dy A
45
u Ax B
A, B, C R
v Ay C
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 46
P2. Junio 2006
1. Es analtica en |z 2| < 3,
3. |f(z)| = 3
Respuesta.
u x v y
Cauchy Riemann en D.
u y v x
u ( x, y ) iv( x, y ) u ( x, y ) iv( x, y ), en D.
v( x, y ) 0, en D.
48
De las condiciones 1 y 2,
ux 0
en D. u cte. en D f ( z ) cte. en D.
uy 0
3.- |f(z)| = 3
f(z) = 3 en D.
z = 2+i pertenece a D:
f(2 + i) = 3
49
Sol.: (a) a = -b; c = 1. (b) a = b = -1
53
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
57
58
Qu tienen de especial las funciones analticas?
Veremos ms adelante cosas como:
f ( z ) u ( x, y ) iv( x, y ) x y x i (2 xy y k )
2 2
f ( z ) z z ik
2
60
61
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 2 2
u v u v
(a ) 2u 2v 0 (b) 2u 2v 0
x x y y
Multiplicando (a) por u y (b) por v:
u v u 2 v
(a) u 2
uv 0 (b) uv v 0
x x y y
62
u v u 2 v
(a) u 2
uv 0 (b) uv v 0
x x y y
Exigiendo ECR y sumando ambas ecuaciones:
2 u
u v u v
(u v )
2
0
x y y x x
x
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
63
64
Ejercicios:
65
66
67
68
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. 69
Polos Un polo de orden n de f (z) es un punto z0
(otro tipo de
singularidad) para el cual se cumple:
El lmite
z z0
lim ( z z0 ) f ( z )
n
existe y es diferente de 0.
70
Observa que el orden de un polo zo es la potencia
del trmino z zo
z
f ( z) zo = -i es un polo de tercer orden.
( z i) 3
z z z
f ( z) 2 f ( z)
( z 4) 2 ( z 2i)( z 2i) 2
( z 2i ) 2
( z 2i ) 2
i
i
f (i ) 1 72
Gradiente de color Escala de grises
para el argumento para mdulo en
en el plano w plano w
Patrn de referencia
en el plano w, al que
Combinacin en
hemos aadido una
el plano w.
parrilla cuadriculada.
73
f ( z) z f ( z) z 2
Esquinas 2 2i
(r , ) (r , ) (r , ) (r 2 ,2 )
Estos son los patrones
en el plano z cuya
imagen bajo las
transformaciones f(z)
acaban todas en el patrn
de referencia.
z 1 2i
z 2 (raz doble)
z i
75
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
La conformalidad se rompe en los puntos donde fenmeno en la direccin
la derivada de f se hace 0, en los llamados puntos inversa.
crticos de f. Puedes encontrar esos puntos en la figura? 76
Nota sobre transformaciones conformes:
77
78
79
Teorema de Lucas
Si f es un polinomio,
entonces los ceros de
su derivada f caen todos
en el polgono convexo
que tiene como aristas
a los ceros de f.
80
Cmo se ven los polos de una funcin racional bajo
este esquema de color?
Los ciclos de color van en direccin opuesta (Si recorremos en
sentido horario van de negro a amarillo) y el valor absoluto crece
hasta infinito a medida que nos aproximamos al polo (en lugar de
de desvanecerse como ocurre al acercarnos a un cero).
1 1
f ( z) f ( z) 2
z z
Polo simple en z = 0. Polo de segundo orden en z = 0.
81
Veamos una transformacin de Moebius o bilineal: z 1
f ( z)
Un cero en z = 1 y un polo simple en z = -1. z 1
82
Plano z. Esquinas: 2 2i
Funciones armnicas
u v u v
Partiendo de y
la ECR: x y 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):
Derivando u v
2 2
u 2
v 2
respecto y
a x e y: x 2
xy y 2
xy
u u
2 2
Derivando v v
2 2
2 0 respecto a 2 0
x 2
y y y x: x 2
y
u(x,y) y v(x,y), las componentes de una funcin analtica,
son funciones armnicas: cumplen la ec. de Laplace. 83
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
2 2 0
2
x y
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
u(x,y) + iv(x,y) es analtica. 84
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 u
2x y 2 y 1
x y
u2
u 2
u u 2 2
2 y 2 2 0
x 2
y 2
x y
2
u v u v
2x y 2 y 1
x y y x 85
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)
86
87
(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 2 2 u u u
(a) 3 x 3 y , 2 6 x, 6 xy 5, 2 6 x
x x y y
2u 2u
2
2 6x 6x 0
x y
v u v u
(b) 3x 3 y ;
2 2
6 xy 5
y x x y
Integrando la primera, v( x, y ) 3 x 2 y y 3 h( x)
v
6 xy h' ( x), h' ( x) 5, h( x) 5 x C
x
Y entonces : v( x,y ) 3 x 2 y y 3 5 x C 88
Como veremos en el siguiente captulo.. 89
En el siguiente ejercicio se resuelve la misma cuestin de
forma alternativa...
90
91
92
93
94
95
(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
2 2
x y
(f) v(x,y) = e cos(2 xy ) k
96
97
98
99
100
101
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.
1
w z
z
Ms general:
2
a
w z Nikolai Egorovich Zhukovskii (1847-1921)
z (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.
103
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:
r
f ( z) z 2
r r
2 2
z r 0 w r 0
2
f (z )
Si giramos siguiendo un camino
continuo como muestra la figura
tendremos:
z r 0 2 w r 0
f (z ) 2
f(z) sufre una crisis de identidad!
104
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.
106
Cul es la regin ms grande posible sin crisis de identidad?
Para todos los puntos
de la regin R la raz cuadrada
est univaluada.
Cortes de rama
Rama 0 2 Rama
Nota: El corte es totalmente arbitrario. 108
Hojas y superficies de Riemann
En la superficie de Riemann la funcin est univaluada. Cada rama
corresponde a un piso (hoja de Riemman). Para el caso de la raz
cuadrada: las vueltas impares tocan arriba y las pares abajo.
109
Superficie de Riemann para f(z) = z1/3
En particular si f(z)
no posee puntos
de ramificacin,
la superficie de
Riemann coincide
con el plano
complejo C.
110
111
112
113