2 Funciones

Descargar como ppt, pdf o txt
Descargar como ppt, pdf o txt
Está en la página 1de 142

2.

Funciones de variable compleja

Gary Larson

Conjuntos de puntos en el plano complejo


Un conjunto S de puntos en el plano complejo es
cualquier coleccin finita o infinita de puntos en el plano
complejo. Por ejemplo las soluciones de una ecuacin
cuadrtica, los puntos de una lnea, los puntos del interior
de un crculo, etc.
Qu lugares geomtricos describen las siguientes ecuaciones?

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 )

(...)

Un conjunto de puntos S se llama abierto si cada punto de


S tiene un vecindad constituida enteramente por puntos que
pertenecen a S. Por ejemplo los puntos del interior de un
crculo o un cuadrado.
El complementario de un conjunto de puntos S es el
conjunto de todos los puntos que no pertenecen a S.
Un conjunto de puntos S se llama cerrado si su
complementario es abierto. Ej.: los puntos sobre y dentro de
una circunferencia o un cuadrado, puesto que sus
complementarios (los puntos exteriores a la circunferencia o
al cuadrado) son abiertos.
5

La distancia entre dos puntos z y a es |z-a|. De modo que un


crculo C de radio y centrado en a, puede expresarse como:

|z-a| =
y

C es abierto o cerrado?

a
y

En particular, el crculo de radio unidad


centrado en el origen puede escribirse
como:

|z| = 1

i
x

1
6

Los puntos dentro del crculo C vienen representados por:

|z-a| < (un entorno abierto centrado en a).


z

B (a, ) {z C / | z a | }

0 < |z-a| < define un entorno punteado


o reducido.

|z-a| define un entorno

circular cerrado centrado en a.


x

1
a

El anillo abierto de radios 1 y 2, viene

dado por:

1 < |z-a| < 2

(1) Determina la regin en el plano complejo dada 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.

Re(z) 1 (No es un conjunto abierto).

10

11

Qu lugar geomtrico describe la siguiente ecuacin?

| 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).

Ejercicio: Qu representan las


siguientes ecuaciones?

-2

(a) | z a | | z b | c
(b) | z a | | z b | c
(c) | z a | | z b | c
12

Qu lugar geomtrico describen las siguientes ecuaciones:

(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

Un punto interior de un conjunto S es un punto para el que


podemos encontrar un entorno o vecindad cuyos puntos
pertenecen todos a S. Por ejemplo, el centro de un crculo.
Un punto frontera de un conjunto S es un punto tal que
todo entorno alrededor de l contiene puntos que pertenecen a
S y que no pertenecen a S. Por ejemplo los puntos que forman
la frontera de un crculo.
Si un punto no es interior ni frontera de un conjunto de
puntos S, entonces es un punto exterior a S.
Entonces, si S es abierto no posee puntos frontera, solo
puntos interiores. Si S es cerrado posee tambin a sus puntos
frontera.
Algunos conjuntos no son ni abiertos ni cerrados. Contienen
algunos puntos frontera. Por ejemplo un entorno punteado.
El plano complejo C es abierto y cerrado a la vez. No posee puntos
frontera.

14

Una regin es un conjunto formado por un dominio, ms,


quizs, algunos o todos sus puntos frontera (Cuidado:
algunos autores usan regin para indicar dominio).
Un conjunto es acotado si todo punto de S est dentro de
algn crculo |z| = R. En caso contrario es no acotado.
Un punto de S se dice que es de acumulacin si cada
entorno punteado del mismo contiene al menos un punto de S.
Entonces, si S es cerrado contiene a todos sus puntos de
acumulacin.
Un punto no es de acumulacin si existe un entorno
punteado del mismo que no contenga puntos de S. P.ej.:
Todos los puntos del conjunto S = {i/n} (n = 1,2,...) no son de
acumulacin a excepcin del cero.
15

Semiplanos infinitos

Semiplano superior: el conjunto de todos los


puntos z = x+iy tales que y > 0 o Im(z) > 0.

Inferior: z = x+iy tales que y < 0 o Im(z) < 0.

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

Gaston Maurice Julia


1893 - 1978

Utilizando la identidad de Moivre:

z0 r (cos i sin )

r (cos i sin ), (r (cos i sin )) , (r (cos i sin )) ,...


2

r (cos i sin ), r

2 2

(cos 2 i sin 2 ), r 4 (cos 4 i sin 4 ),...18

En el paso ensimo tendremos:


2n

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

De modo que todos los puntos del plano complejo


pertenecen a uno de estos dos conjuntos:
(a) Si escapan al infinito (r > 1): conjunto de escape E.
En este caso los puntos exteriores del crculo unidad.
(b) Si permanecen recluidos
en una regin finita (r 1):
conjunto prisionero P.
En este caso el crculo unidad
cerrado.
La frontera de P (r = 1) es
el conjunto de Julia de esta
iteracin: la circunferencia unidad.

20

Julia centr sus estudios en el


conjunto de iteraciones cuadrticas:

z n 1 z c
2
n

Fijado el parmetro complejo c establecemos una iteracin


cuadrtica en concreto.

Sumar c = a + ib, consiste en


una traslacin.

Al potenciar el mdulo, la iteracin


nos manda al origen o al infinito,
Elevar al cuadrado implica
excepto para el mdulo de valor 1
multiplicar el ngulo por dos.
(con c = 0).

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

Cmo discriminar si un punto del plano complejo


pertenece o no al conjunto de escape E c?
Existe un sencillo criterio:
Si |z| |c| y |z| > 2, entonces z es un punto de
escape de la iteracin zn+1 = zn2 + c.
Supongamos que definimos r(c) = max (|c|, 2), y
que se cumplen las condiciones del criterio.
Entonces, existe un > 0 tal que r(c) = 2 + y
|z| r(c).
23

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

Curso de fractales en nuestra pgina del departamento:


http://matap.dmae.upm.es/cursofractales/index.html

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 conjunto S se llama conexo si cualquier par de sus puntos pueden


conectarse mediante un camino formado por puntos que pertenecen a S.
Un abierto conexo se denomina dominio (en algunos textos se denomina
regin). P.ej.: todo entorno es un dominio.

Son los siguientes conjuntos de puntos dominios?


y

Un disco abierto

1
2

Un anillo
abierto

x
x

Un cuadrado abierto
sin diagonal.
x

No existe camino entre


el tringulo inferior y el
tringulo superior.
26

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

El valor de c determina si un conjunto de Julia es


conexo o no.
Para determinar qu valores de c producen conjuntos
de Julia conexos parece que no quede ms remedio
que determinar cada conjunto iterando todos los puntos
del plano complejo para cada funcin z 2 + c.
Afortunadamente, se puede demostrar que basta
con iterar z0 = (0, 0) para cada c.
30

Si la rbita con semilla z0 = (0, 0)


no escapa al infinito,
entonces el conjunto de Julia es
conexo.
El conjunto de todos los valores c
tales que sus
correspondientes conjuntos de
Julia son conexos
forman en el plano complejo el
famoso conjunto
de Mandelbrot.

Este es el dibujo original


que Mandelbrot
descubri a la
comunidad cientfica a
finales de los 70 cuando
trabajaba en el centro de
investigacin Thomas J.
Watson.

31

En la figura de la izquierda estn


representados algunos conjuntos de Julia
con distintos valores de c (indicados
en el plano complejo por las lneas de
color azul). Para valores de c dentro del
conjunto de Mandelbrot la forma de los
conjuntos de Julia es semejante a
crculos. Fuera del conjunto tenemos
nubes de puntos desconectados
(conjuntos de Julia no conexos). Los
conjuntos de Julia ms interesantes
estticamente se observan
en la frontera. Las formas dendrticas de
los conjuntos de Julia corresponden a las
fronteras filamentosas del conjunto de
Mandelbrot. En la imagen inferior
puedes observar un gif animado
del efecto de la variacin continua del
parmetro c en las formas de los
conjuntos J a lo largo de
una lnea que va desde la frontera de M
(forma dendrtica) hasta su interior
(forma circular).
32

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)

z es una variable compleja.


S es el dominio de definicin de f.
El conjunto de valores de la funcin f se llama rango de f.

Como w es complejo (w = u+i v; con u y v reales) podemos escribir:

w = f(z) = u(x,y) + i v(x,y)

Una funcin compleja f(z) es equivalente a un par de funciones reales


u(x,y) y v(x,y), cada una dependiente de dos variables reales x e y.

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

donde c0, c1...cn son constantes complejas y cn es distinto de


cero.
P( z )
Funciones racionales (cocientes de polinomios):

Q( z )

Si en f(z) = u+iv, v = v(x,y) = 0, entonces f es una


funcin de variable compleja con valores reales. P.ej.:
f(z)= |z|2 = x2 + y2 .
40

41

Funciones de variable real

Representacin
geomtrica
cartesiana

y f (x)
y

f ( x) x

Variable real
Asignacin

x
42

w f (z )

Funciones de variable compleja


Cmo representarlas geomtricamente?

y
Parte imaginaria

f (1) (1) 1
2

Imagen

2i

f ( z) z

f (1 i ) (1 i ) 2i
2

Preimagen. Cul es la otra?

1 i
Parte real

Asignacin

x
43

Representacin mediante dos planos: z y w

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

Cmo transforman (a) f(z) z c, (b) f(z) iz, (c) f(z) z ?


44

45

Transformaciones mediante funciones lineales


Existen muchas situaciones prcticas donde podemos simplificar
un problema mediante una transformacin en el plano complejo.
Translacin:

w f ( z) z c

con c (c1 , c2 )

z ( x, y ) w ( x c1 , y c2 )
Rotacin alrededor del origen y alargamiento/contraccin:

w f ( z ) bz con b | b | (cos i sin )


z r (cos i sin ) r | b | [cos( ) i sin( )]
(r , ) (r | b |, )
46

Funciones lineales

w f ( z ) bz c

Translacin

Rotacin y alargamiento/contraccin
Ejemplo:

w f ( z ) iz (i 1)

Esta funcin transforma el cuadrado A en el cuadrado B.

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

Cmo puede ser? Si a cada punto de la semicircunferencia del


plano z le corresponde un solo punto del plano w, cmo media
circunferencia se transforma en una entera? No hay el doble de
puntos en una circunferencia que en media?
49

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 )

Y de aqu la curva transformada:

(u , v) 0
Transformacin f(z)

w f ( z ) u ( x, y ) iv( x, y )
52

En qu curva se transforma una circunferencia de radio


unidad centrado en el origen a travs de la funcin f(z)=z2?
Circunferencia de radio unidad
centrada en el origen:
F ( x, y ) x 2 y 2 1 0
La transformacin es:

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:

z z (t ) cos t i sin t , t [0,2 )


z x iy; x(t ) cos t , y (t ) sin t
Usando la parametrizacin:

u (t ) (cos t ) 2 (sin t ) 2 cos(2t )


v(t ) 2 cos t sin t sin( 2t )
Que nos proporciona la curva:

(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

Encuentra la imagen de la lnea Re(z) = 1 bajo la


transformacin f(z) = z2. f ( z ) z 2 ( x iy ) 2

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

En qu curvas se transforman rectas verticales en el


plano z a travs de la funcin f(z)=z2 en el plano w?
xk

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

La ecuacin de un parbola abierta hacia la izquierda:


con vrtice en (k2, 0) y foco en el origen.
Idem para rectas horizontales (pero sern parbolas
hacia la derecha):
yk
z x ik

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

Tomemos como dominio un rectngulo con esquinas en 3/23/2i. Observa


como las lneas verticales, formadas por complejos de parte real constante, s
convierten en parbolas abiertas hacia la izquierda. Y las lneas horizontales,
formadas por nmeros complejos de parte imaginaria constante, en parbola
abiertas a la derecha. Observa tambin como los ngulos entre rectas amaril
rosas siguen siendo rectos: la transformacin
conforme.
es .

http://www.ima.umn.edu/~arnold/complex.html

Douglas N. Arnold

57

f ( z ) (1 ) z z ; [0,1]
2

58

59

60

Observa que puesto


que la transformacin
w = f(z) = z2 es:

u ( x, y ) x 2 y 2

v( x, y ) 2 xy

( x, y ) ( x 2 y 2 , 2 xy )

Los puntos z sobre la hiprbola x2 y2 = k se transforman en lineas u = k.


Los puntos z sobre la hiprbola 2xy = k se transforman en lineas v = k.

61

f(z) = z

Esquema de color dependiente del valor real


Dominio

http://winnie.fit.edu/~gabdo/function.html

Rango

62

f(z) = z

Esquema de color dependiente del argumento


Dominio

Rango

63

64

Lmite de una funcin compleja


Una funcin f(z) se dice que tiene lmite w 0 cuando z tiende a z0, y
se escribe:

lim f ( z ) w0

z z0

si f est definida en un entorno de z0 (a excepcin tal vez de z0 mismo) y si:


real > 0, un real > 0: z z0 , y |z - z0| < , entonces |f(z) - w0| < .
y

z0

f(z)

En general =(, z0)


w0

Si el lmite existe,
es nico.

Es decir: si dado un entorno de radio alrededor del lmite, podemos


determinar un entorno de radio (, z0) alrededor de z0.

65

Observemos que como en el caso de variable real, la definicin


de lmite no nos dice cmo encontrarlo.
Demostremos que:

lim( z i ) 2i
z i

Utilizando la notacin anterior, tenemos en este caso:

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 |

Ejercicio: Demostrar que si el lmite existe,


es nico. (Nota: Suponer dos valores distintos
para el lmite, aplicar definiciones y demostrar entonces
que ambos valores han de ser, a la fuerza, el mismo).

66

Cul es el equivalente a lmite por la derecha y por la izquierda


de variable real en el caso de variable compleja?
En el plano complejo podemos acercarnos al lmite a travs de
una infinidad de trayectorias. Por ejemplo:

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

Esta funcin no est definida para z = x+iy = 0, (x = 0, y = 0).


Veamos que no existe el lmite de la funcin cuando z tiende a 0.
(1) Nos aproximamos al origen a lo largo del eje y. Tomando
x=0 en f(z), tenemos:
Que se aproxima a i,
a medida que nos
acercamos al origen.

i( y y)

i ( y 1)
y
2

f ( z ) x 0

(2) Tomando y=0 nos aproximamos a lo largo del eje x:


Que tiende a 1.
2
x x
Como el lmite por ambos
f ( z ) y 0
x 1
caminos no coincide, el
x
lmite no existe.

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

(2) Demostrar que si

lim f ( z ) w0 lim | f ( z ) || w0 |

z z0

z z0

Nota: Utilizar la definicin de lmite y la desigualdad:

| f ( z ) | | w0 | | f ( z ) w0 |
70

Propiedades de los lmites


Sean w0 y w'0 los lmites, cuando z
tiende a z0, de f(z) y g(z) respectivamente. Entonces:

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

Nota: Es fcil demostrar estas


propiedades a partir de u(x,y) y v(x,y).

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

Entonces, para un polinomio P(z) = a0+a1z+...+anzn,


tendremos:

lim P ( z ) P ( z0 )

z z0

71

Ejercicio: Demostrar que

lim f ( z ) lim f ( z )

z z0

z z0

72

Punto del infinito

73

Punto del infinito


El nmero complejo infinito o punto del infinito,
denotado por , no posee signo ni argumento.
Su mdulo es mayor que |z| para todo z complejo.
Es un punto del plano complejo? No es localizable,
pero s alcanzable a travs de cualquier trayectoria
en la que |z| sea creciente.
Se opera como en los reales. Por ejemlo:
z / = 0, z/0 = , etc.
Cuando el plano complejo incluye al punto del infinito ,
hablamos de plano complejo extendido.
74

Ejemplo: Sea

z 1
f ( z)
z2

Determina la imagen para z = .

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

Algunas relaciones tiles:


lim f ( z )

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.: a) 4, b) , c) , d) 0, e) No existe, f) 6i.

Sol.: No existe.

79

La esfera de Riemann

Bernhard Riemann
(1826 - 1866)

Esfera de radio unidad centrada en


el cero del plano complejo.
Proyeccin estereogrfica: hacemos
corresponder cada punto del plano con
un punto de la esfera como muestra la
grfica. El polo norte N de la esfera
corresponde al punto del infinito.

80

Otra forma de la
esfera de Riemann

Ahora ya podemos definir


lmites al infinito. Si
lim f ( z ) w0
z

para todo real > 0, un real


> 0: |f(z) - w0| < para todo
z: |z|> 1/.

O:

lim f ( z )

z z0

si para todo real > 0, un real > 0:

|f(z)| < 1/ siempre que |z - z0| < .

81

Espirales esfricas de M.C. Escher


La proyeccin estereogrfica tiene dos
propiedades importantes: las circunferencias
siempre se transforman en circunferencias y
la transformacin conserva ngulos.

| z | r Arg( z )
Espiral de Arqumedes. Dado que Arg z , la ecuacin
anterior solo representa una espira de la espiral.

82

83

84

Funciones complejas continuas


Una funcin f(z) se dice que es continua en z = z0 si f(z0)
est definida en z0 y lim f ( z ) f ( z 0 )
z z0

Decimos que f(z) es continua


en una regin si es continua
en todo punto de la regin.

(Nota: si en el lmite = (, z0)


no depende de z0, la continuidad
es uniforme).

Ejercicio:Las sumas, diferencias y productos de funciones


continuas son continuas. El cociente de dos funciones
continuas es continuo salvo en los puntos en que se anula el
denominador. La composicin de funciones continuas es
continua. 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. Y a la inversa:
f(z) ser continua en todo punto en que u(x,y) y v(x,y) lo sean.
85

Ejemplo:

z2 1

,
z

i
Sea: f ( z ) z i

3i, z i

Es continua f(z) en z = i? (1) f(i) = 3i est definido.


(2) Calculemos el lmite de la funcin cuando z tiende a i:

z 1
( z i )( z i )
lim
lim
lim ( z i ) 2i
z i z i
z i
z i
z i
2

El lmite existe pero no coincide con el valor de la funcin:


la funcin no es continua.

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

Transformacin w = f(z) = 1/z


En este caso la transformacin s es biyectiva,
excluyendo al origen. En coordenadas polares la
transformacin es:

(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

Gardner, M. The Sixth Book of Mathematical Games from Scientific American.


Chicago, IL: University of Chicago Press, 1984.

http://mathworld.wolfram.com/Inversion.html

91

Planos z y w
superpuestos

Una lnea que pase por el centro O, permanece


invariante...
Una lnea que no pase por el centro O se
transforma en un crculo k que pasa por O (y al
revs) y est completamente dentro del crculo
unitario de inversin c.
Si la lnea es tangente al crculo unitario de
inversin c, el crculo k toca en el mismo punto
a la lnea y al centro O.
...
Vamos a describirlo con algo de mates...
92

Veamos con ms detalle la transformacin f(z) = 1/z.


1
1
f ( z)
u ( x, y ) iv( x, y );
z x iy
1
u
v
x iy
2 2 i 2 2 ;
u iv u v
u v
u
v
x 2 2 ; y 2 2
u v
u v
y simtricamente :
x
y
u 2
;v 2
2
x y
x y2

93

Ejemplo: Cul es la imagen de la recta x = c bajo la transformacin


f(z) = 1/z?

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

Es decir, un crculo de centro


(1/(2c), 0) que pasa por el
origen.
El semiplano x > c se
transforma en el interior del
crculo.

94

Podemos escribir la ecuacin general de un crculo y una recta


en el plano z en la forma:

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

d 0 ecuacin de una recta

(1) a y d distintos de 0: crculos que no pasan por el centro


se transforman en crculos que no pasan por el centro.
(2) a distinto de 0 y d = 0: crculos que pasan por el centro
se transforman en rectas que no pasan por el centro.
(3) a = 0 y d distinto de 0: rectas que no pasan por el centro
se transforman en crculos que pasan por el centro.
(4) a = d = 0: rectas que pasan por el centro se transforman
en rectas que pasan por el centro.
De hecho, si pensamos en rectas como crculos de radio infinito, 1/z transforma
crculos en crculos.

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

Transformaciones bilineales o de Mbius

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

August Ferdinand Mbius (1790-1868)

Observemos que la transformacin no est definida para z = -d/c.


Y lo mismo ocurre con w = a/c en el caso de la inversa.
El conjunto de posibles transformaciones bilineales forman un grupo.
99

az b
M ( z) w
cz d

(ad bc 0, a, b, c, d C )

100

Cuando c 0, T(z) tiene un cero simple en z0 = d/c, y


entonces:

lim T ( z ) ,

z z0

Escribiremos T ( z0 ) . Si, adems, c 0, entonces


ab/ z a
lim T ( z ) lim
,
z
z c d / z
c
y escribiremos T () a / c.
Ejemplo: Si T(z) = (2z + 1)/(z i), calcula T(0), T(), T(i).

T (0) 1 /( i ) i, T () lim T ( z ) 2,
z

T (i ) lim T ( z ) , T (i )
z i

101

Las transformaciones de Mbius son biyecciones

102

Cmo transforma la bilineal?

d
ad
ad

a z b

az b
a
c
c
c

f ( z) w


d
cz d
c
cz d

c z
c

De modo que cualquier


ad

transformacin bilineal
b

a
c
puede obtenerse como
z ' cz d

una composicin de una


c
z'
transformacin lineal
1
a bc ad
z' '

z ' ' y una transformacin 1/z.


z'
c
c
As que para las transformaciones bilineales transforman el conjunto de
crculos y lneas en s mismo.
103

b) Determinar la imagen de la regin z 2 2 , al


z
considerar la transformacin:
f ( z)
2z 8

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

Recordemos cmo acta la inversin:


1
z' '
z'
a ( x 2 y 2 ) bx cy d 0 d (u 2 v 2 ) bu cv a 0

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

...exterior del crculo...

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

z ' ' ' 2 z ' ' ( homotecia )


z ' ' '

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

Ejemplo: Sea a una constante compleja tal que Im(a) > 0.


Encontrar la imagen del semiplano infinito
za
w
superior bajo la transformacin bilineal:

za

Consideremos primero el borde. Para los puntos z sobre el


eje x, tenemos:
| za|

| z a || z a |

De modo que el eje x


se transforma en el
crculo unidad con
centro en el origen.
z = a se transforma en
w = 0 (un punto interior
del crculo).

| w |

| za|

La transformacin es continua, y de aqu podemos deducir que


la imagen del semiplano superior es el interior del crculo.

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.

esta transformacin tendr un cero en z = z1 (T(z1) = 0 ,


T(z2) = 1 y tiene un polo en z = z3 (T(z3) = ). De modo
que T(z) transforma los complejos z1, z2, z3 en 0, 1, e ,
respectivamente.

117

De la misma manera, la transformacin de Moebius:

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.

Despejando w, tenemos w = i(z i)/(z + i).

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

Ejemplo: Construye una transformacin de


Moebius que transforma los puntos , 0, 1 sobre el
eje real en los puntos 1, i, 1 sobre el crculo |w| =
1.
Puesto que z1 = , los trminos z z1 y z2 z1 en:
z z1 z2 z3
T ( z)
son 1. Y entonces: z z3 z2 z1

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

La matriz asociada es : adj A


c a
2z 1
z i
Ejemplo : Si T ( z )
y S ( z)
, encontrar S -1 (T ( z )).
z2
iz 1
az b
, donde
cz d
1 i 2 1

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)

August Ferdinand Mbius (1790-1868)

Max Bill, Endless surface. From 1953 to 1956.


Size125 x 125 x 80 cm. Open air Sculpture
Middlelheim Museum, Antverpen, Belgium.

139

140

Moebius Strip II, M. C. Escher (1963)

141

142

También podría gustarte