UNIVERSIDAD DE LAS FUERZAS ARMADAS – ESPE

EXTENSIÓN LATACUNGA

INGENIERÍAS: MECATRÓNICA y ELECTROMECÁNICA

Matemática Superior
2. Funciones de variable compleja
Marcelo Román V.

PERÍODO ACADÉMICO: Abril - Agosto 2016

1
Conjuntos de puntos en el plano complejo
Un conjunto S de puntos en el plano complejo es
cualquier colección finita o infinita de puntos en el plano
complejo. Por ejemplo las soluciones de una ecuación
cuadrática, los puntos de una línea, los puntos del interior
de un círculo, etc.
¿Qué lugares geométricos describen las siguientes ecuaciones?

  Arg z  
La ecuación 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 )   (...)
2
Marcelo Román V.
Marcelo Román V. 3
Marcelo Román V. 4
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
círculo 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.
Marcelo Román V. 5
La distancia entre dos puntos z y a es |z-a|. De modo que un
círculo C de radio  y centrado en a, puede expresarse como:
|z-a| = 
y z
 ¿C es abierto o cerrado?
a
y

x
i
En particular, el círculo de radio unidad
centrado en el origen puede escribirse 1 x

como: |z| = 1
Marcelo Román V. 6
 Los puntos dentro del círculo C vienen representados por:
|z-a| <  (un entorno abierto centrado en a).
y z

B(a,  )  {z  C / | z  a | }
a

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

x
o reducido.

y z

a |z-a|   define un entorno
circular cerrado centrado en a.
x
Marcelo Román V. 7
y
1
2
a El anillo abierto de radios 1 y 2, viene
dado por: 1 < |z-a| < 2
x

Marcelo Román V. 8
 (1) Determina la región en el plano complejo dada por:

|z-3-i| ≤ 4
y 4
3+i
Es la región circular cerrada de radio 4 x
con centro en 3+i.

(2) Determina las regiones: (a) |z|<1; (b) |z| ≤ 1; (c) |z| >1
(a) Círculo unidad abierto (b) Círculo unidad cerrado (c) Exterior del círculo unidad.

Marcelo Román V. 9
Re(z)  1 (No es un conjunto abierto).

Marcelo Román V. 10
Marcelo Román V. 11
¿Qué lugar geométrico describe la siguiente ecuación?

| 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?

(a) | z  a |  | z  b | c
-2 2 (b) | z  a |  | z  b | c
(c) | z  a |  | z  b | c
Marcelo Román V. 12
¿Qué lugar geométrico 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 parábola e hipérbola.

Marcelo Román V. 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 círculo.
• 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 círculo.
• 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 también 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. Marcelo Román V. 14
• Una región es un conjunto formado por un dominio, más,
quizás, algunos o todos sus puntos frontera (Cuidado:
algunos autores usan región para indicar dominio).
• Un conjunto es acotado si todo punto de S está dentro de
algún círculo |z| = R. En caso contrario es no acotado.
• Un punto de S se dice que es de acumulación si cada
entorno punteado del mismo contiene al menos un punto de S.
Entonces, si S es cerrado contiene a todos sus puntos de
acumulación.
• Un punto no es de acumulación 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
acumulación a excepción del cero.
Marcelo Román V. 15
 Semiplanos infinitos y
Semiplano superior: el conjunto de todos los
puntos z = x+iy tales que y > 0 o Im(z) > 0. x

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

y

Derecho: y

x 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
Marcelo Román V. 16
Marcelo Román V. 17
 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
región). P.ej.: todo entorno es un dominio.
¿Son los siguientes conjuntos de puntos dominios?
Un anillo
y abierto
Un disco abierto 

y 1
 a
2
a

x
x y

Un cuadrado abierto  No existe camino entre

el triángulo inferior y el
sin diagonal.
triángulo superior.
Marcelo Román V. x 18
Marcelo Román V. 19
Marcelo Román V. 20
Marcelo Román V. 21
Marcelo Román V. 22
Marcelo Román V. 23
 Funciones complejas
Sea S un conjunto de números complejos z = x+iy.
Una función f definida sobre S es una regla que asigna a
cada z en S un número complejo w llamado valor de f en z.

w = f(z)
– z es una variable compleja.
– S es el dominio de definición de f.
– El conjunto de valores de la función 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 función 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. Marcelo Román V. 24
Ejemplos: f ( z )  z 2
Función de
variable w  f (z )
 ( x  iy ) 2 compleja

¿Cuáles son los

dominios de
 ( x 2  y 2 )  i (2 xy ) v( x, y)
definición de estas
funciones?
u( x, y) w  u( x, y)  iv( x, y)
Parte real Parte imaginaria
f ( z )  2iz  6 z
 2i( x  i y )  6( x  i y ) ¿Cuál es el valor de f (z )
en z  3  2i ?
 (6 x  2 y )  i ( 2 x  6 y )
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
Marcelo Román V. 25
Ejemplos:

• Polinomios de grado n:
P( z)  c0  c1 z  c2 z  c3 z  c4 z    cn z
2 3 4 n

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
función de variable compleja con valores reales. P.ej.:
f(z)= |z|2 = x2 + y2 .

Marcelo Román V. 26
Marcelo Román V. 27
 Representación
Funciones de variable real geométrica
cartesiana

y  f (x)

y f ( x)  x 2

Variable real
Asignación

x
Marcelo Román V. 28
Funciones de variable compleja w  f (z )
¿Cómo representarlas geométricamente?
f ( z)  z 2

y
f (1)  (1)  1 2
Parte imaginaria Imagen
2i f (1  i)  (1  i)  2i
2

Preimagen. ¿Cuál es la otra?

1 i
Asignación Parte real

1 1
x
Marcelo Román V. 29
Representación mediante dos planos: z y w
z  x iy f ( z)  z 2 w  u  iv
Plano z Plano w
y v
w1  3  4i
z3  1  i
w3  2i
z4  1
x u
w4  1
z2  1  2i
z1  2  i
w2  3  4i

¿Cómo transforman (a) f(z)  z  c, (b) f(z)  iz, (c) f(z)  z ?

Marcelo Román V. 30
Marcelo Román V. 31
Transformaciones mediante funciones lineales
Existen muchas situaciones prácticas donde podemos simplificar
un problema mediante una transformación en el plano complejo.
Translación: w  f ( z)  z  c con c  (c1 , c2 )
z  ( x, y )  w  ( x  c1 , y  c2 )
Rotación alrededor del origen y alargamiento/contracción:

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

z  r (cos   i sin  )  r | b | [cos(   )  i sin(   )]
(r , )  (r | b |,    )
Marcelo Román V. 32
Funciones lineales
w  f ( z)  bz  c Translación

Rotación y alargamiento/contracción

Ejemplo: w  f ( z)  iz  (i  1)
Esta función transforma el cuadrado A en el cuadrado B.

Marcelo Román V. 33
 f ( z)  z
La función/transformación 2

z  w  z  r [cos(2 )  i sin(2 )]
2 2

y v

Plano z Plano w

x u

¿Es biyectiva la transformación?

Marcelo Román V. 34
 f ( z)  z 2

z  w  z  r [cos(2 )  i sin(2 )]
2 2

y v

Plano z Plano w

x u

¿Cómo puede ser? Si a cada punto de la semicircunferencia del

plano z le corresponde un solo punto del plano w, ¿cómo media
circunferencia se transforma en una entera? ¿No hay el doble de
puntos en una circunferencia que en media? 35
Marcelo Román V.
f  ( z )  (1   ) z   z ;  [0,1]
2

Marcelo Román V. 36
f  ( z )  (1   ) z   z ;  [0,1]
2

Marcelo Román V. 37
 En general
Curva en el plano z Curva en el plano w
F ( x, y)  0 Obtenemos la transformación
de la parametrización:
Parametrizamos la curva:
u (t )  u[ x(t ), y (t )]
z  z(t )  x(t )  iy (t )
v(t )  v[ x(t ), y (t )]
Y de aquí la curva transformada:

(u, v)  0
Transformación f(z)

w  f ( z)  u( x, y)  iv ( x, y)
Marcelo Román V. 38
¿En qué curva se transforma una circunferencia de radio
unidad centrado en el origen a través de la función f(z)=z2?
Circunferencia de radio unidad Parametrizamos.
centrada en el origen: Todos los puntos de la cincurferencia
F ( x, y)  x 2  y 2  1  0 pueden expresarse como:
z  z (t )  cos t  i sin t , t  [0,2 )
La transformación es:
z  x  iy; x(t )  cos t , y(t )  sin t
f ( z )  z 2  ( x  iy ) 2 
Usando la parametrización:
 ( x  y )  i(2 xy )
2 2

u (t )  (cos t ) 2  (sin t ) 2  cos(2t )

En componentes:
v(t )  2 cos t sin t  sin(2t )
u ( x, y )  x 2  y 2
Que nos proporciona la curva:
v( x, y )  2 xy
(u, v)  u 2  v 2  1  0
La imagen traza una circunferencia de radio unidad centrada en el
origen dando dos vueltas. Marcelo Román V. 39
f  ( z )  (1   ) z   z ;  [0,1]
2

Marcelo Román V. 40
Encuentra la imagen de la línea Re(z) = 1 bajo la
transformación f(z) = z2. f ( z )  z 2  ( x  iy ) 2
u ( x, y )  x 2  y 2  1  y 2
Re(z) = x = 1,
v( x, y )  2 xy  2 y
y  v / 2, entonces u  1  v / 4 2

Marcelo Román V. 41
 ¿En qué curvas se transforman rectas verticales en el
plano z a través de la función f(z)=z2 en el plano w?
xk u ( x, y )  x  y  k  y
2 2 2
y  k 22
u
 2
v  v  4 k 2
(u  k 2
)
z  k  iy v( x, y )  2 xy  2ky y
2k  

La ecuación de un parábola abierta hacia la izquierda:

con vértice en (k2, 0) y foco en el origen.
Idem para rectas horizontales (pero serán parábolas
hacia la derecha):

yk u ( x, y )  x  y  x  k
2 2 2 2
x  u  k2 
 2
v  v  4k (u  k )
2 2
z  x  ik v( x, y )  2 xy  2kx x
2k  
Marcelo Román V. 42
 Tomemos como dominio un rectángulo con esquinas en ±3/2±3/2i. Observa
como las líneas verticales, formadas por complejos de parte real constante, se
convierten en parábolas abiertas hacia la izquierda. Y las líneas horizontales,
formadas por números complejos de parte imaginaria constante, en parábolas
abiertas a la derecha. Observa también como los ángulos entre rectas amarillas y
rosas siguen siendo rectos: la transformación es conforme. .

http://www.ima.umn.edu/~arnold/complex.html
Marcelo Román V.
Douglas N. Arnold 43
f  ( z )  (1   ) z   z ;  [0,1]
2

Marcelo Román V. 44
 Observa que puesto u ( x, y )  x 2  y 2 v( x, y )  2 xy
que la transformación
w = f(z) = z2 es: ( x, y )  ( x 2  y 2 , 2 xy )

Los puntos z sobre la hipérbola x2 – y2 = k se transforman en lineas u = k.

Los puntos z sobre la hipérbola 2xy = k’ se transforman en lineas v = k’.

Marcelo Román V. 45
 2
f(z) = z
Esquema de color dependiente del valor real

Dominio Rango

http://winnie.fit.edu/~gabdo/function.html
Marcelo Román V. 46
 3
f(z) = z
Esquema de color dependiente del argumento

Dominio Rango

Marcelo Román V. 47
 Límite de una función compleja
Una función f(z) se dice que tiene límite w0 cuando z tiende a z0, y
se escribe:
lim f ( z )  w0
z  z0

si f está definida en un entorno de z0 (a excepción tal vez de z0 mismo) y si:

 real  > 0,  un real  > 0:  z  z0 , y |z - z0| < , entonces |f(z) - w0| < .
y v
  En general =(, z0)
z0 w0
f(z) Si el límite existe,
z es único.

x u

Es decir: si dado un entorno de radio  alrededor del límite, podemos

determinar un entorno deMarcelo (, zV.0) alrededor de z0.
radioRomán 48
Observemos que como en el caso de variable real, la definición
de límite no nos dice cómo encontrarlo.
Demostremos que:
lim ( z  i)  2i
z i
Utilizando la notación anterior, tenemos en este caso:
f ( z)  z  i 0 | z  i | 
Tomando  = ,
| z  z0 || z  i | por ejemplo,
| f ( z )  w0 || ( z  i)  2i || z  i | siempre se
cumple.
0 | z  i | 
Ejercicio: Demostrar que si el límite existe,
es único. (Nota: Suponer dos valores distintos
para el límite, aplicar definiciones y demostrar entonces
que ambos valores han de ser, a la fuerza, el mismo).
Marcelo Román V. 49
¿Cuál es el equivalente a límite por la derecha y por la izquierda
de variable real en el caso de variable compleja?
En el plano complejo podemos acercarnos al límite a través de
una infinidad de trayectorias. Por ejemplo:
y
f ( z )  Arg z
   Argz  
Toda vecindad de z0 contiene
C 2
valores de Arg z en el segundo
cuadrante arbitrariamente cerca
de , pero también del tercer x
cuadrante arbitrariamente cerca 0 z
de  . Acercándonos por C1 y por
C2 obtenemos dos valores distintos
C1
del límite.
Marcelo Román V. 50
 x  x i( y  y)
2 2
Ejemplo
f ( z)  
x y x y
Esta función no está definida para z = x+iy = 0, (x = 0, y = 0).
Veamos que no existe el límite de la función 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, i( y  y)
2

a medida que nos f ( z ) x 0   i( y  1)

acercamos al origen.
y
(2) Tomando y=0 nos aproximamos a lo largo del eje x:
Que tiende a 1.
x x
2
f ( z ) y 0   x 1 Como el límite por ambos
x caminos no coincide, el
límite no existe.
Marcelo Román V. 51
Marcelo Román V. 52
Ejercicios:

(1) Sean: f ( z )  u( x, y)  iv( x, y), z0  x0  iy0 y w0  u0  iv0

Entonces:

lim f ( z )  w0 sii
z  z0

lim u ( x, y )  u 0 y lim v( x, y )  v0
( x , y ) ( x0 , y0 ) ( x , y ) ( x0 , y0 )

(2) Demostrar que si

lim f ( z )  w0  lim | f ( z ) || w0 |
z  z0 z  z0

Nota: Utilizar la definición de límite y la desigualdad:

| f ( z ) |  | w0 |  | f ( z )  w0 |

Marcelo Román V. 53
Propiedades de los límites
Sean w0 y w'0 los límites, cuando z
tiende a z0, de f(z) y g(z) respectivamente. Entonces:

lim [ f ( z )  g ( z )]  w0  w0' lim [ f ( z )  g ( z )]  w0  w0'

z  z0 z  z0

f ( z ) w0 Nota: Es fácil demostrar estas

lim  ' si w  0
'
0 propiedades a partir de u(x,y) y v(x,y).
z  z0 g ( z ) w0
En particular si f(z) = g(z) = z : lim z 2  w02
z  z0

y por inducción: lim z n  w0n Como además: lim c  c

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

tendremos: lim P( z )  P( z0 )
z  z0

Marcelo Román V. 54
Ejercicio: Demostrar que

lim f ( z )  lim f ( z )
z  z0 z  z0

Marcelo Román V. 55
Punto del infinito

Marcelo Román V. 56
Punto del infinito
•El número complejo infinito o punto del infinito,
denotado por  , no posee signo ni argumento.

•Su módulo es mayor que |z| para todo z complejo.

•¿Es un punto del plano complejo? No es localizable,

pero sí “alcanzable” a través 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.
Marcelo Román V. 57
 z 1
Ejemplo: Sea f ( z) 
z2
Determina la imagen para z = ∞.
1
1
z 1 z 1
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
1
1 z 1 z
lim f    lim  lim 1
z 0
 z  z  0 1  2 z 0 1  2 z
MarcelozRomán V. 58
Algunas relaciones útiles:

1
lim f ( z )    lim 0
z  z0 z  z0 f ( z )

1
lim f ( z )  w0  lim f    w0
z  z 0
z
1
lim f ( z )    lim 0
z  z 0 1
f 
z

Marcelo Román V. 59
 Sol.: a) 4, b) ∞, c) ∞, d) 0, e) No existe, f) 6i.

Sol.: No existe.

Marcelo Román V. 60
 Funciones complejas continuas
Una función f(z) se dice que es continua en z = z0 si f(z0)
está definida en z0 y lim f ( z )  f ( z0 )
z  z0
Decimos que f(z) es continua (Nota: si en el límite  = (, z0)
en una región si es continua no depende de z0, la continuidad
es uniforme).
en todo punto de la región.
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 composición de funciones continuas es
continua. Sea f(z) = u(x,y) + iv(x,y), entonces u y v serán
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.
Marcelo Román V. 61
  z2 1
Ejemplo:  , 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 límite de la función cuando z tiende a i:

z 1
2
( z  i)( z  i)
lim  lim  lim ( z  i)  2i
z i z  i z i z i z i

El límite existe pero no coincide con el valor de la función:

la función no es continua.

Marcelo Román V. 62
Funciones continuas

Ejercicios:

(1) Sea f(z) = u(x,y) + iv(x,y), entonces u y v serán

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

Marcelo Román V. 63
Transformación w = f(z) = 1/z
En este caso la transformación sí es biyectiva,
excluyendo al origen. En coordenadas polares la
transformación es:
(r, )  (1 / r, )
Una inversión en el círculo
unidad (lo de fuera pasa adentro
y al contrario) seguida de una
reflexión 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.
Marcelo Román V. 64
f(z) = 1/z (r, )  (1 / r, )
Esquema de color dependiente del argumento

Dominio Rango

Biyección

"We may thus think of the interior of the unit circle as a condensed image, a
microcosmos, of its exterior". To infinity
Marcelo and
Román V. beyond, Eli Maor 65
f(z) = 1/z (r, )  (1 / r, )
Esquema de color dependiente del módulo

Dominio Rango

¿Qué figura permanece invariante?

Marcelo Román V. 66
Planos z y w
superpuestos Una línea que pase por el centro O, permanece
invariante...

Una línea que no pase por el centro O se

transforma en un círculo k que pasa por O (y al
revés) y está completamente dentro del círculo
unitario de inversión c.

Si la línea es tangente al círculo unitario de

inversión c, el círculo k toca en el mismo punto
a la línea y al centro O.

...

Vamos a describirlo con algo de mates...

Marcelo Román V. 67
Veamos con más detalle la transformación 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 simétricam ente :

x y
u 2 ;v 2
x y 2
x  y2
Marcelo Román V. 68
 Ejemplo: ¿Cuál es la imagen de la recta x = c bajo la transformación
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
2 2
u  1   1 
u  v   0;
2 2
u    v   
2

c  2c   2c 
Es decir, un círculo de centro
(1/(2c), 0) que pasa por el
origen.
El semiplano x > c se
transforma en el interior del
círculo. Marcelo Román V. 69
Podemos escribir la ecuación general de un círculo 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  ecuación de un círculo a  0  ecuación de una recta

Bajo la transformación 1/z, la ecuación 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
 u  2   v  2  u 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
u v
2 2

d (u 2  v 2 )  bu  cv  a  0 70
Marcelo Román V.
a( x 2  y 2 )  bx  cy  d  0 (a, b, c, d  )
a  0  ecuación de un círculo a  0  ecuación de una recta

Se transforma bajo 1/z en: d (u 2  v 2 )  bu  cv  a  0

d  0  ecuación de un círculo d  0  ecuación de una recta
(1) a y d distintos de 0: círculos que no pasan por el centro
se transforman en círculos que no pasan por el centro.
(2) a distinto de 0 y d = 0: círculos 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 círculos 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 círculos de radio infinito, 1/z transforma
círculos en círculos. Marcelo Román V. 71
f(z) = 1/z
Esquema de color dependiente del argumento

Dominio Rango

Marcelo Román V. 72
 u = 1/a

u = -1/b
b = 0; u = -v
b distinto de 0; en
circunferencias.
v = -ku
circunf.

u2 = -v3 /(1+v)

Marcelo Román V. 73
 Transformaciones bilineales o de Möbius
az  b
M ( z)  w  (ad  bc  0, a, b, c, d  C )
cz  d
La transformación inversa es
también bilineal:

1  dw  b
M ( w)  z 
cw  a

August Ferdinand Möbius (1790-1868)

Observemos que la transformación 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.
Marcelo Román V. 74
 az  b
M ( z)  w  (ad  bc  0, a, b, c, d  C )
cz  d

Marcelo Román V. 75
Cuando c  0, T(z) tiene un cero simple en z0 = −d/c, y
entonces:
lim T ( z )  ,
z  z0

Escribirem os T ( z0 )  . Si, además, c  0, entonces

ab/ z a
lim T ( z )  lim  ,
z  z  c  d / z c
y escribirem os 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
Marcelo Román V. 76
Las transformaciones de Möbius son biyecciones

Marcelo Román V. 77
¿Cómo transforma la bilineal?

 d  ad   ad 
a z     b   b  
az  b  c  c  a  c 
f ( z)  w    
cz  d  d c cz  d
c z  
 c
De modo que cualquier
 ad 
b   transformación bilineal
a  c  puede obtenerse como
z '  cz  d   una composición de una
c z'
a bc  ad 
transformación lineal
1
z' '    z ' ' y una transformación 1/z.
z' c c
Así que para las transformaciones bilineales transforman el conjunto de
círculos y líneas en sí mismo.
Marcelo Román V. 78
b) Determinar la imagen de la región z  2  2 , al
z
considerar la transformación: f ( z) 
2z  8
z 1 2
f ( z)    C: z2  2
2z  8 2 z  4

2 4 Re(z)

z'  z  4 (traslación )

z '6  2

2 4 6 8 Re(z')
Examen
JUNIO 04/05: P-1
Marcelo Román V. 79
 z 1 2
f ( z)    C: z2  2
2z  8 2 z  4
1 2
 C : z '6  2
2 z'
1 Recordemos cómo actúa la inversión:
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 
2
 3 1
 32(u  v )  12u  1  0   u    v  2 
2 2 2

 16  16
3 1 
3

1
 z ' '  z ' '
16 16
16 16
3/16 1/4 Re(z'')
...exterior del círculo... Marcelo Román V. 80
 z 1 2
f ( z)    C: z2  2
2z  8 2 z  4
1 2
 C : z '6  2
2 z'
1 3 1
 2z' ' z ' ' 
2 16 16

z ' ' '  2 z ' ' (homotecia )

3 1
z ' ' ' 
8 8
...seguimos en 3/8 1/2 Re(z''')

el exterior del círculo...

Marcelo Román V. 81
 Z   z ' ' '  ei z ' ' ' (giro de todos los afijos 180º ,
manteniend o el módulo, claro )
3 1
Z 
8 8

-1/2 -3/8 Re(Z)

1
w   Z (traslación )
2
1 1
w 
8 8
1/8 1/4 Re(Z)

Marcelo Román V. 82
 Ejemplo: Sea a una constante compleja tal que Im(a) > 0.
Encontrar la imagen del semiplano infinito za
superior bajo la transformación bilineal: w
za
Consideremos primero el borde. Para los puntos z sobre el
eje x, tenemos: | za|
| z  a || z  a | | w | 1
| za|
De modo que el eje x
se transforma en el
círculo unidad con
centro en el origen.
z = a se transforma en
w = 0 (un punto interior
del círculo).
La transformación es continua, y de aquí podemos deducir que
la imagen del semiplanoMarcelo
superior es el interior del círculo.
Román V. 83
 Versión matricial
Podemos asociar la transformación bilineal a una matriz:

a b az  b
La matriz A    representa la transformació T ( z ) 
c d cz  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 
Marcelo Román V. 84
 az  b dw  b
Si w  T ( z )  , entonces z 
cz  d  cw  a
1 dw  b
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 )).
z2 iz  1
az  b
Sea S -1 (T ( z ))  , donde   1 i  2  1   2  i  1  2i 
cz  d       ,
a b  1  i   2  1   i 1 1 2   1  2i 2i 
   adj     (2  i ) z  1  2i
c d   i  1  1 2  1
entonces : S (T ( z )) 
(1  2i ) z  2  i
Marcelo Román V. 85
Marcelo Román V. 86
Marcelo Román V. 87
Marcelo Román V. 88
Marcelo Román V. 89
Marcelo Román V. 90
Marcelo Román V. 91
Marcelo Román V. 92
Marcelo Román V. 93
Marcelo Román V. 94
Marcelo Román V. 95
Marcelo Román V. 96
Marcelo Román V. 97