Funciones

complejas

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.

Ejemplos: f ( z ) z

( x iy )
Cules son los
dominios de
definicin de estas
funciones?

Funcin de
variable
compleja

( x 2 y 2 ) i (2 xy)

w f (z )

v ( x, y )

u ( x, y ) w u ( x , y ) i v ( x , y )
Parte real

f ( z ) 2iz 6 z
2i ( x i y ) 6( x i y )

Parte imaginaria

Cul es el valor de
en
?

f (z )

z 3 2i

(6 x 2 y ) i ( 2 x 6 y )

f ( z ) (6 x 2 y ) i ( 2 x 6 y )

u ( x, y )

v ( x, y )

( 6 3 2 2) i ( 2 3 6 2)
14 6i

Ejemplos:

Polinomios de grado n:

P( z ) c0 c1 z c2 z 2 c3 z 3 c4 z 4 cn z n
donde c0, c1...cn son constantes complejas y cn
es distinto de
P( z )
cero.
Funciones racionales (cocientes de
Q( z )
polinomios):

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

Funciones de variable compleja

Las funciones de variable real ms importantes admiten una

extensin natural a funciones de variable compleja. El caso ms
simple es el de los polinomios. Cada polinomio con coeficientes
reales define una funcin sobre C que extiende a la funcin que
define sobre R. Claramente se trata de una funcin continua. Ms
aun, todo polinomio p(z) C[z] define una funcin continua en
C si admitimos que p() = . Lo mismo ocurre con las
funciones racionales, con la precaucin de que toman el valor
infinito en los puntos donde se anulan sus denominadores (en se
extienden con el valor del lmite, finito o infinito, y el resultado es
siempre una funcin continua). Por ejemplo, la funcion
f(z) = 1
1
toma el valor en i y toma el valor 0 en .

Funciones de variable real

y f (x)

f ( x) x

Variable real

Asignacin

x
6

nciones de variable compleja

w

f (z )

Cmo representarlas geomtricamente?

f ( z) z

Parte imaginaria

f (1) (1) 1
2

Imagen

2i

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

Preimagen. Cul es la otra?

1 i
Parte real

Asignacin

esentacin mediante dos planos: z y w

z xiy

f ( z) z 2

Plano z

Plano w

v
z3 1 i

z 4 1
z1 2 i

w u iv

w1 3 4i

w3 2i

z2 1 2i

Cmo transforman

w4 1
w2 3 4i

(a) f(z) z c, (b) f(z) iz, (c) f(z) z

8

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 |, )
10

Lmite de una funcin compleja

Una funcin f(z) se dice que tiene lmite w 0 cuando z tiende a

z0, y
lim f ( z ) w0
se escribe:
z z0
En general =(, z0)

Si el lmite existe,
es nico.

z0

f(z)

w0

z
x

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

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

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 |

0 | z i |

| f ( z ) w0 || ( z i ) 2i || 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).

Tomando = ,
por ejemplo,
siempre se
cumple.

0 | z i |

12

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
13

Ejemplo

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:

i( y y)

i ( y 1)
y
2

Que se aproxima a i,
a medida que nos
acercamos al origen.

f ( z ) x 0

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

x x

x 1
x
2

f ( z ) y 0

Que tiende a 1.
Como el lmite por ambos
caminos no coincide, el
lmite no existe.
14

Punto del infinito

15

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

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

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

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:

z2 1
( z i )( z i )
lim
lim
lim ( z i ) 2i
z i z i
z i
z i
z i
El lmite existe pero no coincide con el valor
de la funcin:
la funcin no es continua.
18

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.

19

( r , ) (1 / r , )

f(z) = 1/z
Esquema de color dependiente del argumento
Dominio

Rango

Biyeccin

may thus think of the interior of the unit circle as a condensed image, a
20
ocosmos, of its exterior". To infinity and beyond, Eli Maor

(r , ) (1 / r , )

f(z) = 1/z
Esquema de color dependiente del mdulo
Dominio

Rango

Qu figura permanece
invariante?

21

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

22

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 simtricam ente :
x
y
u 2
;v 2
2
x y
x y2

23

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 transforma r 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.
24

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

v
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
2
2
u v
d (u 2 v 2 ) bu cv a 0

25

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

f(z) = 1/z
Esquema de color dependiente del argumento
Dominio

Rango

27