2 Funciones
2 Funciones
2 Funciones
Gary Larson
Arg z
La ecuacin Arg z= define una semirecta infinita de pendiente
. Entonces la desigualdad anterior define un sector infinito
comprendido entre las semirectas infinitas Arg z= y Arg z= .
Arg( z zo )
(...)
|z-a| =
y
C es abierto o cerrado?
a
y
|z| = 1
i
x
1
6
B (a, ) {z C / | z a | }
1
a
dado por:
|z-3-i| 4
Es la regin circular cerrada de radio 4
con centro en 3+i.
4
3+i
x
(2) Determina las regiones: (a) |z|<1; (b) |z| 1; (c) |z| >1
(a) Crculo unidad abierto (b) Crculo unidad cerrado (c) Exterior del crculo unidad.
10
11
| z 2 | | z 2 | 5
Una elipse de focos en -2 y 2 (suma de distancias a
los focos igual a 5) con semieje mayor igual a 5/2).
-2
(a) | z a | | z b | c
(b) | z a | | z b | c
(c) | z a | | z b | c
12
(d ) | z a | | z b | c
(e) | z 2 | Re( z ) 3
( f ) | z i | Im z 1
Nota: Busca las definiciones de parbola e hiprbola.
13
14
Semiplanos infinitos
Derecho:
z = x+iy tales que x > 0 o Re(z) > 0.
x
y
Izquierdo:
z = x+iy tales que x < 0 o Re(z) < 0
x
Qu regiones describen?
(a) Im(z) = 0, (b) Im(z) = a,
(c) Re(z) = 0, (d) Re(z) = a
16
17
Conjuntos de Julia
Cuando deca en 1980 a mis amigos que estaba trabajando con H.
Hubbard en el estudio de polinomios de grado 2 en variable compleja (y
ms especficamente en z z2 + c ), me preguntaban: Esperas
encontrar alguna cosa nueva?
Adrien Douady
Iteracin: z n 1
Condicin inicial y rbita:
2
n
z , ( z ) , ( z ) ,... z , z , z ,...
2 2
z0 r (cos i sin )
r (cos i sin ), r
2 2
z n r [cos(2n ) i sin( 2n )]
Si comenzamos con un nmero complejo de mdulo r < 1,
sucesivamente el mdulo ir disminuyendo hasta tomar valor
r = 0 para n infinito.
Al contrario, si r > 1 el mdulo aumentar exponencialmente,
tendiendo a infinito.
El caso frontera, r = 1, mantendr los valores de la iteracin
en un crculo de radio unidad sobre el plano complejo.
19
20
z n 1 z c
2
n
21
c = 0.275
c = 1/4
c=0
c = -3/4
c = -1.312
c = -1.375
c = -2
c=i
c=(+0.285,+0.535)
c=(-0.125,+0.750)
c=(-0.500,+0.563)
c=(-0.687,+0.312)
22
Observemos que:
|z2 + c| |z2| - |c| = |z|2 - |c| |z|2 - |z| = (|z| - 1)|z|
Recordemos que |z| r(c) = 2 + . Entonces:
(|z| - 1)|z| (1 + )|z|.
En conclusin, si z cumple las condiciones previas,
entonces: |z2 + c| (1 + )|z|.
De modo que en cada iteracin el mdulo del nuevo
valor crece.
24
Fractint/Winfract
Ultrafractal (UF) probablemente es el programa de generacin
de fractales ms usado por la comunidad de ciberartistas que
experimentan con fractales.
Puedes bajarte una versin de evaluacin en
http://www.ultrafractal.com/, la pgina oficial del programa.
No te pierdas la galera de imgenes en:
http://www.ultrafractal.com/showcase.html.
Te hars una idea de las posibilidades de UF.
Ejecutar Ultrafractal localmente.
25
Conjuntos conexos
Un disco abierto
1
2
Un anillo
abierto
x
x
Un cuadrado abierto
sin diagonal.
x
Teorema:
Cualesquiera dos puntos de
un dominio pueden unirse
por medio de una lnea
poligonal contenida en el
dominio.
27
El conjunto de Mandelbrot
Benoit Mandelbrot
(1924 -)
28
z n 1 z c
2
n
29
z n 1 z c
2
n
31
33
34
35
36
37
Funciones complejas
Sea S un conjunto de nmeros complejos z = x+iy.
Una funcin f definida sobre S es una regla que asigna a
cada z en S un nmero complejo w llamado valor de f en z.
w = f(z)
38
Ejemplos:
f ( z) z
( x iy ) 2
Cules son los
dominios de
definicin de estas
funciones?
Funcin de
variable
compleja
( x 2 y 2 ) i (2 xy )
u ( x, y )
f ( z ) 2iz 6 z
2i ( x i y ) 6( x i y )
(6 x 2 y ) i ( 2 x 6 y )
w f (z )
v ( x, y )
w u ( x, y ) i v ( x, y )
Parte real
Parte imaginaria
Cul es el valor de f (z )
en z 3 2i ?
f ( z ) (6 x 2 y ) i ( 2 x 6 y )
( 6 3 2 2) i ( 2 3 6 2)
u ( x, y )
v ( x, y )
14 6i
39
Ejemplos:
Polinomios de grado n:
P ( z ) c0 c1 z c2 z c3 z c4 z cn z
2
Q( z )
41
Representacin
geomtrica
cartesiana
y f (x)
y
f ( x) x
Variable real
Asignacin
x
42
w f (z )
y
Parte imaginaria
f (1) (1) 1
2
Imagen
2i
f ( z) z
f (1 i ) (1 i ) 2i
2
1 i
Parte real
Asignacin
x
43
z xiy
y
Plano z
Plano w
z3 1 i
z 4 1
z1 2 i
w u iv
f ( z) z 2
w1 3 4i
w3 2i
w4 1
z2 1 2i
w2 3 4i
45
w f ( z) z c
con c (c1 , c2 )
z ( x, y ) w ( x c1 , y c2 )
Rotacin alrededor del origen y alargamiento/contraccin:
Funciones lineales
w f ( z ) bz c
Translacin
Rotacin y alargamiento/contraccin
Ejemplo:
w f ( z ) iz (i 1)
47
f ( z) z
2
2
z w z r [cos(2 ) i sin( 2 )]
La funcin/transformacin
y
v
Plano w
Plano z
Es biyectiva la transformacin?
48
f ( z) z
2
2
z w z r [cos(2 ) i sin( 2 )]
2
v
Plano w
Plano z
f ( z ) (1 ) z z ; [0,1]
2
50
f ( z ) (1 ) z z ; [0,1]
2
51
En general
Curva en el plano w
Curva en el plano z
Obtenemos la transformacin
de la parametrizacin:
F ( x, y ) 0
Parametrizamos la curva:
u (t ) u[ x(t ), y (t )]
v(t ) v[ x(t ), y (t )]
z z (t ) x(t ) iy (t )
(u , v) 0
Transformacin f(z)
w f ( z ) u ( x, y ) iv( x, y )
52
f ( z ) z 2 ( x iy ) 2
( x y ) i (2 xy )
2
En componentes:
u ( x, y ) x 2 y 2
v( x, y ) 2 xy
Parametrizamos.
Todos los puntos de la cincurferencia
pueden expresarse como:
(u , v) u 2 v 2 1 0
La imagen traza una circunferencia de radio unidad centrada en el
origen dando dos vueltas.
53
f ( z ) (1 ) z z ; [0,1]
2
54
Re(z) = x = 1,
u ( x, y ) x 2 y 2 1 y 2
v( x, y ) 2 xy 2 y
y v / 2, entonces u 1 v / 4
2
55
z k iy
2
y
k
u
u ( x, y ) x y k y
2
2
2
v
4
k
(
u
k
)
v
v( x, y ) 2 xy 2ky
y
2k
u ( x, y ) x y x k
v( x, y ) 2 xy 2kx
2
x u k 2 2
2
2
v v 4k (u k )
x
2k
56
http://www.ima.umn.edu/~arnold/complex.html
Douglas N. Arnold
57
f ( z ) (1 ) z z ; [0,1]
2
58
59
60
u ( x, y ) x 2 y 2
v( x, y ) 2 xy
( x, y ) ( x 2 y 2 , 2 xy )
61
f(z) = z
http://winnie.fit.edu/~gabdo/function.html
Rango
62
f(z) = z
Rango
63
64
lim f ( z ) w0
z z0
z0
f(z)
Si el lmite existe,
es nico.
65
lim( z i ) 2i
z i
f ( z) z i
| z z0 || z i |
| f ( z ) w0 || ( z i ) 2i || z i |
0 | z i |
Tomando = ,
por ejemplo,
siempre se
cumple.
0 | z i |
66
f ( z ) Arg z
Arg z
Toda vecindad de z0 contiene
valores de Arg z en el segundo
cuadrante arbitrariamente cerca
de , pero tambin del tercer
cuadrante arbitrariamente cerca
de . Acercndonos por C1 y por
C2 obtenemos dos valores distintos
del lmite.
C2
z0
x
C1
67
Ejemplo
x x i( y y)
f ( z)
x y
x y
2
i( y y)
i ( y 1)
y
2
f ( z ) x 0
68
69
Ejercicios:
(1) Sean: f ( z ) u ( x, y ) i v( x, y ), z0 x0 iy0 y w0 u0 iv0
Entonces:
lim f ( z ) w0 sii
z z0
lim
( x , y ) ( x0 , y 0 )
u ( x, y ) u0 y
lim
( x , y ) ( x0 , y 0 )
v( x, y ) v0
lim f ( z ) w0 lim | f ( z ) || w0 |
z z0
z z0
| f ( z ) | | w0 | | f ( z ) w0 |
70
lim[ f ( z ) g ( z )] w0 w0'
z z0
f ( z ) w0
lim
'
z z0 g ( z )
w0
si w 0
'
0
lim[ f ( z ) g ( z )] w0 w0'
z z0
2
2
lim
z
w
0
En particular si f(z) = g(z) = z : z z0
y por induccin:
lim z n w0n
z z0
Como adems:
lim c c
z z0
lim P ( z ) P ( z0 )
z z0
71
lim f ( z ) lim f ( z )
z z0
z z0
72
73
Ejemplo: Sea
z 1
f ( z)
z2
1
1
z 1
1
z
lim f ( z ) lim
lim
1
z
z z 2
z
2 1
1
z
Cuando z tiende a infinito obtenemos f(z) = 1.
Nota. Una forma alternativa de encontrar el valor en el infinito
es encontrar la imagen de 1/z para z =0.
1
lim f
z 0
z
1
1
1 z
z
lim
lim
1
z 0 1
z 0 1 2 z
2
z
75
z z0
lim f ( z ) w0
z
lim f ( z )
z
1
lim
0
z z0 f ( z )
1
lim f w0
z 0
z
1
lim
0
z 0
1
f
z
76
77
78
Sol.: No existe.
79
La esfera de Riemann
Bernhard Riemann
(1826 - 1866)
80
Otra forma de la
esfera de Riemann
O:
lim f ( z )
z z0
81
| z | r Arg( z )
Espiral de Arqumedes. Dado que Arg z , la ecuacin
anterior solo representa una espira de la espiral.
82
83
84
Ejemplo:
z2 1
,
z
i
Sea: f ( z ) z i
3i, z i
z 1
( z i )( z i )
lim
lim
lim ( z i ) 2i
z i z i
z i
z i
z i
2
86
Funciones continuas
Ejercicios:
(1) Sea f(z) = u(x,y) + iv(x,y), entonces u y v sern
continuas en todo punto en el que f(z) lo sea.
(2) Y a la inversa: f(z) ser continua en todo punto en que
u(x,y) y v(x,y) lo sean.
Nota: Recuerda que, u(x,y) ser continua en (a,b) sii
lim(x,y)(a,b) u(x,y) = u(a,b).
87
(r , ) (1 / r , )
Una inversin en el crculo
unidad (lo de fuera pasa adentro
y al contrario) seguida de una
reflexin respecto al eje x.
Las circunferencias de radio r se
convierten en circunferencias de
radio 1/r. En particular, una
circunferencia de radio unidad
permanece invariante.
88
(r , ) (1 / r , )
f(z) = 1/z
Esquema de color dependiente del argumento
Dominio
Rango
Biyeccin
"We may thus think of the interior of the unit circle as a condensed image, a
microcosmos, of its exterior". To infinity and beyond, Eli Maor
89
(r , ) (1 / r , )
f(z) = 1/z
Esquema de color dependiente del mdulo
Dominio
Rango
?
Qu figura permanece invariante?
90
http://mathworld.wolfram.com/Inversion.html
91
Planos z y w
superpuestos
93
1
1
1
u
v
f ( z)
u iv; x iy
2 2 i 2 2 ;
z x iy
u iv u v
u v
La recta a transformar es : x c ( y cualquier valor)
u
v
x 2 2 c ; y 2 2 ;
u v
u v
u
u v 0;
c
2
1
1
2
u v
2c
2c
94
a ( x 2 y 2 ) bx cy d 0 (a, b, c, d )
a 0 ecuacin de un crculo
a 0 ecuacin de una recta
Bajo la transformacin 1/z, la ecuacin general se convertir en:
a ( x 2 y 2 ) bx cy d 0
u
v
x 2 2 ; y 2 2
u v
u v
2
2
u
u
v
v
a 2 2 2 2 b 2 2 c 2 2 d 0
u v
u v
u v
u v
a bu cv
d 0
2
2
u v
d (u 2 v 2 ) bu cv a 0
95
a ( x 2 y 2 ) bx cy d 0 (a, b, c, d )
a 0 ecuacin de un crculo
a 0 ecuacin de una recta
Se transforma bajo 1/z en: d (u 2 v 2 ) bu cv a 0
d 0 ecuacin de un crculo
96
f(z) = 1/z
Esquema de color dependiente del argumento
Dominio
Rango
97
u = 1/a
u = -1/b
v = -ku
b = 0; u = -v
b distinto de 0; en
circunferencias.
circunf.
u2 = -v3 /(1+v)
98
az b
M ( z) w
cz d
(ad bc 0, a, b, c, d C )
La transformacin inversa es
tambin bilineal:
dw b
M ( w) z
cw a
1
az b
M ( z) w
cz d
(ad bc 0, a, b, c, d C )
100
lim T ( z ) ,
z z0
T (0) 1 /( i ) i, T () lim T ( z ) 2,
z
T (i ) lim T ( z ) , T (i )
z i
101
102
d
ad
ad
a z b
az b
a
c
c
c
f ( z) w
d
cz d
c
cz d
c z
c
transformacin bilineal
b
a
c
puede obtenerse como
z ' cz d
z
1
2
f ( z)
2z 8 2 z 4
C: z2 2
Re(z)
z ' z 4 (traslacin)
z '6 2
2
Re(z')
Examen
JUNIO 04/05: P-1
104
z
1
2
f ( z)
2z 8 2 z 4
1 2
C : z '6 2
2 z'
C: z2 2
z '6 2 ( x 6) 2 y 2 2 2 ( x 2 y 2 ) 12 x 32 0
3
32(u v ) 12u 1 0 u
16
3
1
z ' '
16 16
2
3/16 1/4
1
v 2
16
2
z ' '
3
1
16 16
Re(z'')
105
z
1
2
f ( z)
2z 8 2 z 4
1 2
C : z '6 2
2 z'
1
3
1
2 z' '
z ' '
2
16 16
C: z2 2
3 1
8 8
...seguimos en
el exterior del crculo...
3/8
1/2
Re(z''')
106
Z z ' ' ' ei z ' ' ' (giro de todos los afijos 180 ,
manteniendo el mdulo, claro)
3 1
Z
8 8
-1/2
Re(Z)
-3/8
1
w Z (traslacin )
2
1 1
w
8 8
1/8
1/4
Re(Z)
107
za
| z a || z a |
| w |
| za|
108
109
110
111
112
113
114
115
Mbius Transformations Revealed is a short video by Douglas Arnold and Jonathan Rogness
which depicts the beauty of Mbius transformations and shows how moving to a higher
dimension reveals their essential unity. It was one of the winners in the
2007 Science and Visualization Challenge and was featured along with the other winning entries
in the September 28, 2007 issue of journal Science. The video, which was first released on
YouTube in June 2007, has been watched there by more than a million viewers and classified as a
"Top Favorite of All Time" first in the Film & Animation category and later in the Education
category. It has been selected for inclusion in MathFilm Festival 2008.
116
Tripletes a Tripletes
Observa que podemos crear una transformacin de Moebius
a partir de tres puntos:
z z1 z 2 z3 z 2 z3 z z1 az b
M ( z)
z z3 z 2 z1 z 2 z1 z z3 cz d
b z1 ; d z3 ;
a z 2 z3 z 2 d ;
c z 2 z1 z 2 b.
117
w w1 w2 w3
S ( w)
transforma w1, w2, w3 en 0, 1we ,w3y w
S-12 transforma
0, 1 e
w1
en w1, w2, w3.
De modo que w = S-1(T(z)) transforma el triplete z1, z2, z3 en
el triplete w1, w2, w3. Observa que como w = S-1(T(z)),
tenemos que S(w) = T(z) y
w w1 w2 w3 z z1 z 2 z3
w w3 w2 w1 z z3 z 2 z1
118
Ejemplo:
Construye una transformacin de Moebius que transforma los puntos 1, i, 1 sobre el crculo unidad |z| = 1 a los puntos 1, 0 y 1 sobre el eje real.
w w1 w2 w3 z z1 z 2 z3
w w3 w2 w1 z z3 z 2 z1
w 1 0 1
z 1 i 1
w 1
z 1
o
i
w 1 0 (1) z 1 i 1
w 1
z 1
119
120
121
122
w 1 i 1
1 0 1
w 1 1
o S ( w) i
T ( z)
w 1 i 1 z 1 1
w 1 z 1
123
Versin matricial
Podemos asociar la transformacin bilineal a una matriz:
a b
az b
representa la transformaci T ( z )
La matriz A
cz d
c d
a1 z b1
a2 z b2
Si T1 ( z )
, T2 ( z )
,
c1 z d1
c2 z d 2
az b
entonces T2 (T1 ( z )) viene dada por T ( z )
cz d
a b a2 b2 a1 b1
c d c2 d 2 c1 d1
124
az b
dw b
Si w T ( z )
, entonces z
cz d
cw a
dw b
1
y podemos escribir : T ( w)
.
cw a
d b
i 1 1 2
Sea S -1 (T ( z ))
a b
adj
c d
1 i 2 1 2 i 1 2i
,
2i
i 1 1 2 1 2i
(2 i ) z 1 2i
1
entonces : S (T ( z ))
(1 2i ) z 2 i
125
Jos Leys
http://www.josleys.com/
126
127
128
129
130
131
132
133
134
135
136
137
138
La banda de Moebius
(Mbius strip)
139
140
141
142