Documente Academic
Documente Profesional
Documente Cultură
Funciones analticas
-1
f ( x0 x) f ( x0 )
f ( x0 ) : lim
x 0
x
f ( x0 x)
f ( x0 )
x0 x0 x
x
x
3
f ( z0 z ) f ( z )
f ( z0 ) : lim
z 0
z
z0 z
f ( z0 z ) f ( z0 )
z0
v
f ( z0 z )
f ( z0 )
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
(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.
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:
f ( z)
f ( z)
lim
lim ( n )
z z0 g ( z )
z z0 g
(9z )
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
10
Ms falacias:
1 1
2
2 22
2
3 333
2
4 4444
x x
x
2
x veces
2 x 1 1 x
x veces
2 1
11
Por ejemplo:
1
f ( x)
x
x
De forma similar, algunas funciones complejas
no poseen derivada en ningn punto del plano
complejo!
Demostrado por Cauchy en 1820
12
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 0
14
Ejemplo
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
lim 1
z 0
lim 1
z 0
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
zz zz z 0
f ( z ) z Re( z )
f z z f z
z z Re z z z Re z
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 Re z
lim
lim Re z 0
lim
z 0
z 0
z 0
z
z
f (0) 0
17
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
2x x ; x 0
2 x iy x
y0 ;y0
z=0
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
20
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
21
dz x x
x 0
z z
y
x
Ejemplo:
f ( z ) i lim
y 0
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
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
22
Tenemos:
df u v
i
dz x x
df
u v
i
dz
y y
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
23
u v
x y
Augustin-Louis Cauchy
(1789-1857)
u
v
y
x
24
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 , )
25
z r( cos i sin )
f(z) u (r , ) i v(r, )
u 1 v
r r
v
1 u
r
r
(r 0)
26
df u v
i
dz x x
df
u v
i
dz
y y
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
Veamos un ejemplo, un tanto artificial, donde veamos que las ECR son
necesarias pero no suficientes.
z5
f ( z) z
0,
, z0
z0
Calculemos su derivada en z = 0:
f ( z ) f ( 0)
f ( z)
f ' (0) lim
lim
z 0
z 0
z 0
z
u
x
( 0,0)
v
1
y ( 0, 0)
u
v
0
y ( 0, 0 )
x ( 0, 0 )
29
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 x
1 y
y
u
u
u
x y 1x 1y
x
y
donde 1 0 y 1 0 cuando x 0 y y 0 .
30
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
31
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 z
x
dw
w u v
f ' ( z)
lim
0
dz
z x
x
32
33
34
x x y
f ( z)
x2 y2
2
2 2
1
2
f ( z) z
z
y
i 2
x y2
iv
u v
2
2 2
2 x x y 0
x y
2
u
v
2 y x 2 y 2 0
y
x
35
y
A
x
y
z0
36
u v
x y
u
v
y
x
en todo punto de D.
37
Ejemplo
Es 1/z analtica?
1
xiy
f ( z)
x iy xiy
y
x
i 2 2
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.
La funcin es analtica en todo punto, excepto en z =390.
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
41
42
43
44
du dv
du dv
v x v y dx dy , ( x, y ) D f ( z ) dx dy A
45
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.
f1 ( z ) 2 z
Dos funciones :
f 2 ( z ) 2 z
46
u x v y
Cauchy Riemann
u y v x
en D.
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)| =
f(z) = 3
en D.
z = 2+i pertenece a D:
f(2 + i) =
49
50
51
52
53
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) se anula.
g ( z)
f ( z)
h( z )
54
55
56
57
58
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
f ( z ) u ( x, y ) iv( x, y ) x y x i (2 xy y k )
2
f ( z ) z z ik
60
61
| f ( z ) | k u ( x, y ) v ( x, y ) k
2
u
v
(a ) 2u
2v 0
x
x
(b)
u
v
2u
2v 0
y
y
u
v
(a) u
uv 0
x
x
2
(b)
u
2 v
uv v
0
y
y
62
u
v
(a) u
uv 0
x
x
2
(b)
u
2 v
uv v
0
y
y
(u v )
0
y
x
x y
x
Multiplicando (b) por u
y restando (a) por v, tenemos:
v
(u v ) 0
x
2
63
64
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.
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
(otro tipo de
singularidad)
El lmite
lim ( z z0 ) f ( z )
z z0
existe y es diferente de 0.
lim2 z
z 2
z 2
3 0
70
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
2
2
2
(
z
2
i
)
(
z
2
i
)
( z 2i)( z 2i)
71
f ( z) z
f (i ) 1
i
i
f (i ) 1
72
Gradiente de color
para el argumento
en el plano w
Combinacin en
el plano w.
Escala de grises
para mdulo en
plano w
Patrn de referencia
en el plano w, al que
hemos aadido una
parrilla cuadriculada.
73
f ( z) z
(r , ) (r , )
f ( z) z 2
(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 )
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
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.
76
crticos de f. Puedes encontrar esos puntos en la figura?
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.
En el ejemplo que nos
ocupa, el polgono
convexo es el tringulo
de la imagen.
80
81
Plano z. Esquinas: 2 2i
z 1
f ( z)
z 1
82
Funciones armnicas
Partiendo de
la ECR:
u v
x y
u
v
y
x
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
2 2 0
x
y
2
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
u v
2x
x y
u
v
2 y 1
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
u
2
2
(a)
3 x 3 y , 2 6 x,
6 xy 5, 2 6 x
x
y
x
y
2u 2u
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 ) 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
89
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
x y
cos(2 xy ) k
(f) v(x,y) = e
2
96
97
98
99
100
101
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.
102
La transformacin de
Zhukovsky
1
w z
z
Ms general:
2
a
w z
z
103
r r
f ( z) z
z r 0
f (z )
w r 0
2
z r 0 2
f (z )
w r 0
2
106
Cortes de rama
Rama 0 2
Rama
108
109
110
111
112
113