Professional Documents
Culture Documents
Funciones analíticas
1
Derivada de una función compleja
f ( x0 x) f ( x0 )
f ( x0 ) : lim
x 0 x
y Si no existe el límite, 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 límite por la
f ( x0 ) derecha y por la izquierda, y
ambos deben coincidir.
x0 x0 x x
x 3
Derivada de una función compleja
f ( z0 z ) f ( z )
f ( z0 ) : lim
z 0 z
Observemos que ahora el límite se puede hacer no
solamente por la derecha o por la izquierda, sino
por infinitos caminos. Para que la derivada esté definida
el límite debe existir y ser el mismo independientemente
del camino.
y z 0 z f ( z0 z ) f ( z0 ) v
z0 f ( z0 z )
z f ( z0 )
x 4 u
Ejemplo:
Mostrar que f(z) = zn es diferenciable para todo z y
que f/(z) = nzn-1.
n
n n i
( z 0 z ) z 0
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 0
i 1
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
Más 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, históricamente
hablando, el primer fractal conocido. Fue
creado o descubierto (según las preferencias
filosóficas del lector) por el matemático
Karl Weierstrass en 1861. Lo notable en este
caso, respecto a la curva de Koch, es que
disponemos de la ecuación, 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
2 x x ; x 0
2 x iy x
z=0
y0 ;y0
18
La existencia de derivada en un punto implica la
continuidad de la función 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 límite
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 D’Alembert
en 1752 en el contexto de la dinámica de
fluidos.
u v u v
x y y x
Después de 250 años de casi
“hibernación compleja”, entre
1814 y 1851 Cauchy y Riemman
fundan el análisis complejo.
Augustin-Louis Cauchy
(1789-1857)
24
Podemos dar en forma polar una función 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 ningún 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:
4, z0
f ( z) z
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
línea 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 función 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 analíticas u holomorfas
Una función f(z) es analítica (u holomorfa) en un
abierto A si posee derivada en todo punto de A.
38
Ejemplo ¿Es 1/z analítica?
1 xiy
f ( z)
x iy xiy
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
x y ( x y )
2 2
y x ( x y 2 ) 2
43
44
Encontrar todas las posibles funciones complejas
(b) f(0) = 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 analítica 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,
u x 0
en D. u cte. en D f ( z ) cte. en D.
u y 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 analíticas en un dominio D, su suma y su producto son
analíticos en D. Y su cociente es analítico en D si el
denominador no se anula en ningún punto de D.
Una composición de funciones analíticas será analítica.
(1) Las funciones polinómicas son analíticas 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 analíticas?
Veremos más 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 analítica 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 analítica, pero es analítica en algún
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 número finito de singularidades,
todas serán aisladas.
(2) Evitable en z0: si el límite 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 continuación) 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 límite
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 término 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
1
i
i
f (i ) 1 72
Gradiente de color Escala de grises
para el argumento para módulo en
en el plano w plano w
Patrón de referencia
en el plano w, al que
Combinación en
hemos añadido una
el plano w.
parrilla
73 cuadriculada.
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 patrón
de referencia.
z 1 2i
z 2 (raíz doble)
z i
75
Plano z. Esquinas: 3 3i
Aquí hacemos la parrilla más
apreciable. Recuerda que la
imagen de esta cuadrícula
distorsionada proporciona en
el plano w una parrilla con
cuadrados de lado 1. Observa
que la transformación es
conforme: los ángulos se
preservan en la
transformación, si dos curvas
se intersectan con un ángulo
determinado en el punto z0,
entonces sus imágenes bajo la
transformación f se
intersectan con el mismo
ángulo en f(z0).
Aquí estamos viendo el
La conformalidad se rompe en los puntos donde fenómeno en la dirección
la derivada de f se hace 0, en los llamados puntos inversa.
críticos 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 polígono convexo
que tiene como aristas
a los ceros de f.
80
¿Cómo se ven los polos de una función racional bajo
este esquema de color?
Los ciclos de color van en dirección 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 transformación 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 armónicas
u v u v
Partiendo de y
la ECR: x y y x
Suponiendo que sus segundas derivadas existen y son continuas
(más adelante se demostrará que si f es analítica 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 función analítica,
son funciones armónicas: cumplen la ec. de83Laplace.
Una función (x,y) es armónica en un dominio si (x,y)
es C2 (i.e.: tiene derivadas parciales hasta el orden 2 y son
continuas) y satisface la ecuación de Laplace en dicho
dominio:
2 2
2 2 0
2
x y
Hemos visto que si f(z) es analítica en cierto dominio, entonces su
parte real u(x,y) y su parte imaginaria v(x,y) son armónicas en dicho
dominio (ambas cumplen la ecuación de Laplace).
Dada una (x,y) armónica en un dominio simplemente conexo D,
existe una función analítica en D cuya parte real es (x,y) y también
existe una función analítica en D cuya parte imaginaria es (x,y).
Dada una función armónica u(x,y), parte real de una función compleja,
decimos que v(x,y) es la función armónica conjugada de u(x,y), si
u(x,y) + iv(x,y) es analítica. 84
Ejemplo: Verificar que u(x,y) = x2 - y2 - y es armónica en todo
el plano complejo y encontrar la función armónica 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 x85
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 armónica en todo el
plano complejo.
(b) Encontrar la función armónica conjugada de la función 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 x88 C
Como veremos en el siguiente capítulo..
89
En el siguiente ejercicio se resuelve la misma cuestión 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 armónica 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 analítica.
1
w z
z
Más general:
2
a
w z Nikolai Egorovich Zhukovskii (1847-1921)
z (o Zhukovsky o Joukowski)
La imagen de un círculo que pasa por z = 1 o z = -1 es una curva
similar a la sección transversal de un ala de avión.
103
Puntos de ramificación y cortes de rama
Para univaluar la raíz cuadrada de z hagamos como en el caso real,
tomando arbitrariamente una de las dos posibilidades:
r
f ( z) z 2
r 2 r 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.
¿Cuál 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 ramificación de
la función raíz cuadrada.
106
¿Cuál es la región más grande posible sin crisis de identidad?
Para todos los puntos
de la región R la raíz 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 función está univaluada. Cada rama
corresponde a un piso (hoja de Riemman). Para el caso de la raíz
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 ramificación,
la superficie de
Riemann coincide
con el plano
complejo C.
110
111
112
113