Matemticas Especiales

II para Fsica
Karen M. Fonseca Romero, Ms. Sc., Dr. Sc.
Profesora Titular
 Contenidos

nmeros complejos

funciones complejas

funciones analticas

sucesiones y series de variable compleja

singularidades y polos

transformada de Fourier

mapas conformes

funciones especiales
 Contenido detallado
Captulo 1. Nmeros complejos y el plano complejo

Motivacin histrica de los nmeros complejos

Representaciones geomtrica y algebraica de

los nmeros complejos

Topologa bsica en el plano complejo

Captulo 2. Funciones complejas y transformaciones

 Contenido detallado
Captulo 1. Nmeros complejos y el plano complejo
Captulo 2. Funciones complejas y transformaciones
Funciones complejas

Funciones afines

Conexin con la electrosttica

Funcin z2. Coordenadas polares. Electrosttica.

Primera Exposicin: Funciones complejas.

Funciones multivaluadas. Ramas, puntos y lneas de ramificacin

Lmites

Continuidad
 Contenido detallado
Captulo 1. Nmeros complejos y el plano complejo
Captulo 2. Funciones complejas y transformaciones
Captulo 3. Funciones analticas
Derivada compleja

Ecuaciones de Cauchy-Riemann

Teorema de Goursat

Teorema de Looman-Menchoff

Derivada de la funcin inversa.

Mapas conformes

Transformaciones de Mbius

Exposicin de mapas conformes

Lmites de funciones
complejas
Lmite de una funcin real

El lmite de f(x) cuando x tiende a x0 existe y

es igual a L, si para todo >0 existe un >0 tal
que |f(x)L|< siempre que 0<|xx0|<.
Lmites de funciones complejas
Supongamos que f(z) est definida en una bola abierta
alrededor del punto z=z0, con la posible excepcin de z0.
Decimos que el lmite de f(z) cuando z se aproxima a z0
es w0 y escribimos
lim f (z) = w0
z!z0
si para todo > 0existe un nmero positivo () tal que
|f (z) w0 | < siempre que 0 < |z z0 | <
Como z puede acercarse a z0 por muchos caminos en el plano
complejo, si el lmite existe, es independiente del camino.
Lmite
Lmite
 Ejemplo
2
Empleando la definicin, muestre que lim z = 1
z!i
2 2
|z ( 1)| = |z + 1| = |(z i)(z + i)|
= |z i||(z i) + 2i|
|z i|(|z i| + 2)
Suponiendo que la distancia entre z e i es menor que 1
2
|z ( 1)| 3|z i| = 3 =
As,
2
|z ( 1)| siempre que |z i| () = min(1, )
3
 Ejemplo
El lmite de f(z) cuando z se aproxima a z0 es w0 lim f (z) = w0
z!z0
si para todo > 0 existe un nmero positivo () tal que|f (z) w0 | <
siempre que 0 < |z z0 | <
lim z 2 = 1 si para todo e>o existe d>0 tal que |z^2-(-1)|<e siempre que 0<|z-i|<d
z!i
2
|z ( 1)| siempre que |z i| () = min(1, )
3
En efecto, suponiendo e<3 tenemos
2
|z ( 1)| = |z i||z i + 2i| |z i|(|z i| + 2)
( + 2) 3 =
 Ejemplo
2
|z ( 1)| siempre que |z i| () = min(1, )
3

Tres valores de epsilon (3.5,3,0.9) y los deltas

correspondientes (1, 1, 0.3).
 Ejemplo
2
|z ( 1)| siempre que |z i| () = min(1, )
3

Dos valores de epsilon (3.5,3) y el delta

correspondiente (1). Se incluye la imagen de delta=1
 Ejemplo
2
|z ( 1)| siempre que |z i| () = min(1, )
3

Un valor de epsilon (0.9) y el delta correspondiente

(0.3). Se incluye la imagen de delta=0.3
 Ejemplo
z
Muestre que lim no existe
z!0 z

z x
lim = lim = 1
z!0 z x!0 x
y=0

z iy
lim = lim = 1
z!0 z y!0 iy
x=0

Cuando los lmites existen, los lmites de la suma, el producto y

la divisin de funciones son iguales a la suma, el producto y la
divisin de lmites, siempre y cuando el denominador no sea nulo
 Ejercicios
Empleando la definicin, muestre que el lmite de
z3 cuando z tiende a i es -i.

Muestre que el lmite Arg z cuando z tiende a -1 no

existe

Se puede definir el lmite cuando z se

aproxima a infinito?
El plano complejo extendido
 El plano complejo extendido

Definimos lim f (z) = lim f (1/z)

z!1 z!0
Ejercicio
z2 + 1 z2 + 1
lim lim sin(1/z) lim
z!1 z!1 (1 + 2z)( 3 2z)
z!1 z + 1
Continuidad de una
funcin compleja
 Continuidad
Supongamos que f(z) est definida en una bola abierta
alrededor del punto z=z0, y que f(z0) est definida en z0.
Entonces f(z) es continua en z0 si lim f (z) = f (z0 )
z!z0

Para ser continua en z0,

la funcin f(z) debe estar definida en z0

el lmite de la funcin cuando z tiende a z0 debe existir

el lmite debe ser igual al valor de la funcin en z0

 Continuidad
Supongamos que f(z) est definida en una bola abierta
alrededor del punto z=z0, y que f(z0) est definida en z0.
Entonces f(z) es continua en z0 si lim f (z) = f (z0 )
z!z0

Una funcin es continua en una regin si es continua en

cada punto de la regin.

La suma, producto y razn de funciones continuas es una

funcin continua, excepto si el denominador se anula.
Captulo 3. Funciones analticas
Derivada compleja
 Derivada compleja
Supongamos que f(z) est definida en una bola abierta
alrededor del punto z=z0, y que f(z0) est definida en z0.
Entonces f(z) es diferenciable en z0 si existe el lmite

df 0 f (z) f (z0 )
(z0 ) = f (z0 ) = lim
dz z!z0 z z0
Una funcin es analtica (regular o uniforme) en una regin abierta
simplemente conexa R, si es derivable en cada punto de la regin. Si
R es el plano complejo, f se dice entera.
La suma, producto y razn de funciones derivables en z es una
funcin diferenciable, excepto si el denominador se anula.
Composicin de funciones: regla de la cadena
 Ejercicios
Usando la definicin, calcule la derivada de z^2

Demuestre que la funcin conjugado de z no es derivable

en ningn lugar del plano complejo.
Encuentre los puntos del plano complejo en los cuales
la funcin mdulo cuadrado de z es derivable. La
funcin es analtica en cero?
Demuestre que si una funcin f(z) es derivable en z0,
tambin es continua en z0.
 Observaciones
Si f(x) tiene derivada en un intervalo abierto, las
derivadas superiores no necesariamente existen en
ese intervalo. Si f(z) es analtica en un abierto, existen
sus derivadas de todos los rdenes y son analticas.

Una funcin real puede tener derivadas de todos los

rdenes sin tener una serie de Taylor que converja a
esa funcin.

Una funcin puede ser continua en todas partes y

derivable en ninguna.
 Ejercicios
Demuestre que si f (z)y g(z)son funciones derivables en
z = z0 , y f (z0 ) = 0 = g(z0 ), pero g 0 (z0 ) 6= 0, entonces
f (z) f 0 (z0 )
lim = 0
z!z0 g(z) g (z0 )
Calcule los siguientes lmites
10
z +1
lim 6
z!i z + 1
z
e 1 z
lim 2
z!0 z
 Ejercicios
Considere la funcin z^2. Calcule las derivadas de u y v
con respecto a x y a y. Vea las relaciones entre ellas.

Repita el ejercicio anterior para z y para z^3.

 Ecuaciones de Cauchy-Riemann

0 u(x + x, y) v(x + x, y)
f (z) = lim +i = ux + ivx
x!0
y=0
x x
 Ecuaciones de Cauchy-Riemann

0 u(x + x, y) v(x + x, y)
f (z) = lim +i = ux + ivx
x!0
y=0
x x

u(x, y + y) v(x, y + y)
= lim +i = iuy + vy
x=0
y!0
i y i y

Si f(z) es diferenciable en z, satisface las ecuaciones

de Cauchy-Riemann

ux = v y vx = uy
Ecuaciones de Cauchy-
Riemann
 Teorema

Sea f=u+iv una funcin definida y analtica en un dominio

D del plano complejo.
Entonces, u(x,y) y v(x,y) satisfacen las ecuaciones de
Cauchy-Riemann ux = vy vx = uy en D
 Las ecuaciones CR no implican
analiticidad
4
z
La funcin f (z) = e (z 6= 0), f (0) = 0 es analtica para
todos los valores finitos de z, excepto el origen.
Sin embargo, las ecuaciones de CR se satisfacen en z=0.
x 4 y 4
@f e 0 @f e 0
= lim = 0, = lim =0
@x x!0 x 0 @y y!0 y 0
@u @u @v @v
Como todas las derivadas , , , existen y son
@x @y @x @y
iguales a cero, se cumplen las EdCR.
f no es analtica
enel origen
porque
4 4
i/4 r
lim exp re = lim e diverge.
r!0 r!0

Titchmarsh, The theory of functions, p.70

Teorema de Goursat
 Teorema de Goursat
Sea f=u+iv una funcin definida en un dominio complejo
D, tal que
@u @u @v @v
1) , , , existen en todo D
@x @y @x @y
2) u y v satisfacen las ecuaciones de CR en todo D
3) f es continua en D y
@u @u @v @v
4) @x , @y , @x , @y son continuas en D,
entonces f es analtica en D.
 Ejemplo
Consideremos la funcin f (z) = ex cos y + iex sin y

Calcule las derivadas parciales de u y v con respecto a x y y

Qu puede decir acerca de la analiticidad de la funcin f(z)?
Por qu?
Como se cumplen las EdCR y las derivadas parciales son
continuas en C, la funcin es analtica en C (entera).
Teorema de Looman-
Menchoff
 Teorema de Looman-Menchoff
Sea f=u+iv una funcin definida en un dominio complejo
D, tal que
@u @u @v @v
1) , , , existen en todo D
@x @y @x @y
2) u y v satisfacen las ecuaciones de CR en todo D y
3) f es continua en D
entonces f es analtica en D.
 Ejemplo
La funcin compleja f (z) = 2x2 + y + i(y 2 x) no es
analtica en ninguna parte.
Las ecuaciones de Cauchy-Riemann se satisfacen en
la recta y = 2x

Las funciones
@u(x, y) @v(x, y) @u(x, y) @v(x, y)
u(x, y), v(x, y), , , ,
@x @x @y @y
son continuas en todos los puntos.
La funcin es derivable en la recta y = 2x
La derivada de f sobre la recta es f (z) = 4x
0
i = 2y i
Cable no coaxial. Determine el potencial electrosttico entre las dos placas de un
cable cilndrico no coaxial. Suponga que el cilindro externo, centrado en el origen y
mantenido al potencial Ve, tiene radio uno.El cilindro interno, centrado en x=2/5 y
mantenido al potencial Vi, tiene radio 2/5.

Idea: inversin. No funciona.

Idea 2: generalizar la inversin. Aprovechar simetra (y,-y).

1 1
w= , a2R z = + a, a2R
z a w
2 2 2
(x x0 ) + y = R
2 2
u u 2
+ a x 0 + = R
u2 + v 2 u2 + v 2
2 2
u 2 2 v
2 2
+a x0 (u + v ) + (u2 + v 2 ) = R2 (u2 + v 2 )
u +v u2 + v 2
Cable no coaxial. Determine el potencial electrosttico entre las dos placas de un
cable cilndrico no coaxial. Suponga que el cilindro externo, centrado en el origen y
mantenido al potencial Ve, tiene radio uno.El cilindro interno, centrado en x=2/5 y
mantenido al potencial Vi, tiene radio 2/5.
1 1
w= , a2R z = + a, a2R
z a 2 w 2
u 2 2 v
2 2
+a x0 (u + v ) + (u2 + v 2 ) = R2 (u2 + v 2 )
u +v u2 + v 2
u2 2 2 2
2 2
+ 2(a x0 )u + (a x0 ) (u + v )+
u +v
2
v 2 2 2
2 2
= R (u + v )
u +v
1 + 2(a x0 )u + ((a x0 ) 2 R2 )(u2 + v 2 ) = 0
Cable no coaxial. Determine el potencial electrosttico entre las dos placas de un
cable cilndrico no coaxial. Suponga que el cilindro externo, centrado en el origen y
mantenido al potencial Ve, tiene radio uno.El cilindro interno, centrado en x=2/5 y
mantenido al potencial Vi, tiene radio 2/5.
1 1
w= , a2R z = + a, a 2 R
z a w
1 + 2(a x0 )u + ((a x0 )2 R2 )(u2 + v 2 ) = 0
2 (a x0 ) 2 1
u 2 u + v =
R2 (a x0 )2 R2 (a x0 ) 2
a x0 a a 2/5
c= c1 = c2 =
R2 (a x0 )2 1 a2 (2/5)2 (a 2/5)2
1 2 5a2 (4/5 a) = 5(a 2/5)(1 a2 )
c1 = c2 , a= , c=
2 3 4a2 5a3 = 5a 2 5a3 + 2a2
2
c1 = c2 , a = 2, c = 2(2a2 5a + 2) = 0 = (2a 1)(2a 4)
3
Cable no coaxial. Determine el potencial electrosttico entre las dos placas de un
cable cilndrico no coaxial. Suponga que el cilindro externo, centrado en el origen y
mantenido al potencial Ve, tiene radio uno.El cilindro interno, centrado en x=2/5 y
mantenido al potencial Vi, tiene radio 2/5.
1 2 2
w= , a2R e=
w
z a z 2 3
2 (a
x0 ) 2 1
u 2 2 u + v =
R (a x0 )2 R2 (a x0 )2
2
2 2 4 2 1 4 4
u 2 u+ +v = + = 2
3 9 1 1/4 9 3
2
2 2 4 2 1 4 8
u 2 u+ +v = 2 2 + = 2
3 9 2
2
1 2 9 3
5 2 5
1 2
c1 = c2 , a= , c=
2 3
2
c1 = c2 , a = 2, c =
3
 Funciones analticas y funciones
armnicas
@f 0 @z @u @v @u @v
=f = +i =
@x @x @x @x @x @y
@f 0 @z @u @v @u @v
i = if = i + =
@x @x @x @x @y @x

Muestre que ru rv = 0 2
r u=0=r v 2

Se dice que v es la armnica conjugada de u

 Puntos singulares
z0 es un punto singular de w=f(z) si w no es analtica en z0
1
La funcin es discontinua en z=i y en z=-i.
1 + z2
Entonces, w no es analtica en ningn dominio que
contenga uno de estos puntos o ambos.

Cuando ataca de nuevo la electrosttica?

 La funcin logaritmo
A partir de ew = |z|ei arg z podemos definir
Log z = ln |z| + i Arg z, z 6= 0 Rama principal del logaritmo
log z = ln |z| + i arg z, z 6= 0 Funcin multivaluada
log z = Log z + 2ik, k 2 Z
Continuidad
z 7! |z| es continua en C
z 7! ln |z| es continua en C\{0}
z 7! Arg |z| es continua en C\( 1, 0]
Por lo tanto, la funcin Log z es continua en C\( 1, 0]
Log(x + i) ! ln |x| + i, x 2 ( 1, 0), > 0
Log(x i) ! ln |x| i, x 2 ( 1, 0), > 0
Log z no es continua en ( 1, 0)
Derivada de la funcin
inversa
 Derivada de una funcin inversa

Teorema: Supongamos que f : U ! C es una funcin

analtica y que existe una funcin g : D ! U para algn
dominio D C sobre (into) U de manera que f(g(z))=z
para todo z 2 D . Entonces, g es analtica en D y
0 1
g (z) = 0 , para z 2 D.
f (g(z))
Petra Bonfert
 Derivada de una funcin inversa

Teorema: Supongamos que f : U ! C es una funcin analtica y que

existe una funcin continua g : D ! U de algn dominio D C
en (into) U de manera que f(g(z))=z para todo z 2 D
Entonces, g es analtica en D y 0 1
g (z) = , para z 2 D.
f 0 (g(z))
Ejemplo:
0 1 1 1
Log (z) = = =
exp0 (Log(z)) exp(Log(z)) z
Pero se debe tener cuidado con los dominios

Burckel. An introduction to classical complex analysis. v1. pp173-174

 Derivada de una funcin inversa
p
f : C 7! C, f (z) = z 2 g : C\( 1, 0] 7! C, f (z) = z
f (g(z)) = z, 8z 2 C\( 1, 0] Rama principal

f es analtica en C, g es g es continua en D = C\( 1, 0]

inversa de f en D.
Entonces, g es analtica
en D, y su derivada
puede calcularse como
0 1 1 1
g (z) = 0 = = p
f (g(z)) 2g(z) 2 z
 Derivada de una funcin inversa
2 h : C 7! D = C\[0, 1),
f : C 7! C, f (z) = z (p
f (h(z)) = z 8z 2 C\[0, 1) h(z) = z, Im z 0
p .
z, Im z < 0
f es analtica en C, h es h es continua en De = C\[0, 1).
inversa de f en D moo.
Entonces, g es analtica
en D moo, y su derivada
puede calcularse como

1 1 i
0
h (z) = 0 = h(x + i) = |x|e 2 =i
f (h(z)) 2h(z) h(x i) = |x|e i
2 =i
x < 0, > 0
 Inyectivo, sobreyectivo, biyectivo

f : {z 2 C| Re z > 0} ! C\( 1, 0], f (z) = z 2 Biyectiva

f : C ! C, f (z) = z 2 Sobreyectiva no inyectiva
p
f : C\( 1, 0] ! C, f (z) = z Inyectiva no sobreyectiva

http://www.disfrutalasmatematicas.com/conjuntos/inyectivo-sobreyectivo-biyectivo.html
Mapas conformes
 Mapas conformes

Un mapa conforme es aqul que preserva los ngulos

entre las curvas.
Definicin: una curva en el plano complejo que va del punto
A al punto B es una funcin continua : [a, b] ! C tal que
(a) = A y (b) = B.
 Ejemplos de curvas
1. (t) = (2 + i) + eit , 0 t

2.

3.

4.
 Ejemplos de curvas
1. (t) = (2 + i) + eit , 0 t

2. (t) = (2 3t) + i(1 5t), 0 t 1

3.

4.
 Ejemplos de curvas
1. (t) = (2 + i) + eit , 0 t

2. (t) = (2 3t) + i(1 5t), 0 t 1

3. (t) =8te , 0 t 3
it

>
<(1 + i)t 0t1
4. (t) = t + i
>
:
1<t2
2 + i(3 t) 2 < t 3
Una curva : [a, b] ! C es suave si las funciones x(t) y
y(t) en la representacin (t) = x(t) + iy(t) son suaves,
es decir, que tienen tantas derivadas como sea necesario.
Una curva suave a trozos es la concatenacin de un nmero finito de curvas suaves.
 ngulo entre dos curvas
Si = x + iy : [a, b] ! C es una curva suave y t0 2 (a, b)
entonces 0
(t0 ) = x (t0 ) + iy (t0 ) es un vector tangente a
0 0

la curva en z0 = (t0 )
Si C1 y C2 son dos curvas suaves que se
cruzan en el punto P, el ngulo entre ellas
en el punto P es igual al ngulo entre sus
vectores tangentes en ese punto.
Ejercicio: Encuentre el ngulo entre las curvas
1 : [0, ] ! C, 1 (t) = e it y

3 it
2 : , ! C, 2 (t) = 2 + i + 2e
2 2
 Funciones conformes
Una funcin es conforme si conserva el ngulo entre curvas.
Una funcin suave g definida sobre los complejos es conforme
en z0 si cuando quiera que dos curvas C1 y C2 se intersecten
en z0 con tangentes no nulas, entonces g C1 y g C2 tienen
tangentes diferentes de cero en g(z0) que se cruzan formando
el mismo ngulo.
Un mapa conforme de un dominio D sobre V es un mapa
derivable continuamente que es conforme en cada punto
en D y que mapea D uno a uno sobre V.
 Las funciones analticas son conformes
Sif : U ! C es analtica y si z0 2 U tal que f 0 (z0 ) 6= 0,
entonces f es conforme en dicho punto.

Si : [a, b] ! U es una curva en U tal que (t0 ) = z)

para algun t0 2 [a, b], entonces
0 0 0 0 0
(f ) (t0 ) = f ( (t0 )) (t0 ) = f (z0 ) (t0 ).
As, la tangente a la curva se rota y se escala,
0
y el angulo entre las curvas se conserva si f (z0 ) 6= 0.

&\textcolor{black}{\textrm{Si }} \gamma:
[a,b]\to U \textcolor{black}{\textrm{ es
una curva en }} U \textcolor{black}
{\textrm{ tal que }}\gamma(t_0)=z_)\\ &
\textcolor{black}{\textrm{para algn }}
 Ejemplo
2
f (z) = z es un mapa conforme de U = {z 2 C| Re z > 0}
sobre C\( 1, 0]

La funcin complejo conjugado de z no es conforme

aunque es biyectiva de C sobre C, porque cambia la
orientacin del ngulo entre curvas.
 Ejemplo
La funcin exponencial es conforme en cada punto del
plano complejo (por ser analtica con derivada no nula).
Sin embargo, no es un mapa conforme de C sobre C\{0}
porque no es inyectiva.
z
f : D = {z|0 < Im x < 2} ! C\[0, 1), f (z) = e
es conforme.
Transformaciones de
Mbius
 Transformaciones de Mbius
az + b
f (z) = , a, b, c, d 2 C, ad bc 6= 0
(cz + d
a
c si c 6= 0 d
lim f (z) = f = 1 si c 6= 0
z!1 1 si c = 0 c

Vale la pena considerar como dominio el plano complejo extendido

f : C = C [ {1} ! C
0 ad bc Los parmetros a-d no son nicos.
f (z) =
(cz + d)2 Multiplicacin por k no nula.

f:\hat{\mathbb{C}}=\mathbb{C}\cup\ \frac{az+b}{cz+d}, \quad a,b,c,d f(z) = \frac{az+b}{cz+d}, \quad a,b,c,d

f\left(-\frac{d}{c}\right) = \infty \textrm{ si
{\infty\}\to\hat{\mathbb{C}} \in\mathbb{C}, \quad ad-bc\neq 0 \in\mathbb{C}, \quad ad-bc\neq 0
}c\neq 0
 Transformaciones de Mbius
az + b z=\frac{d

f (z) = , a, b, c, d 2 C, ad bc 6= 0
(cz + d
a
c si c 6= 0 d
lim f (z) = f = 1 si c 6= 0 f\left(-\fra
}c\neq 0
z!1 1 si c = 0 c

Vale la pena considerar como dominio el plano complejo extendido

f : C = C [ {1} ! C f es biyectiva! f:\hat{\m
{\infty\}\t

0 ad bc Los parmetros a-d no son nicos.

f (z) =
(cz + d)2 Multiplicacin por k no nula.
d f (z) b Las transformaciones de Mbius \frac{az+
z= \in\math

c f (z) + a son las nicas transformaciones

conformes de C sobre ^C
f(z) = \fra
\in\math
 Transformaciones conformes
Las transformaciones afines f (z) = az + b son las nicas
aplicaciones conformes de C sobre C

f (z) = az Dilatacin y rotacin

f (z) = z + b Traslacin
1
f (z) = Inversin
z
 Inversin
1
f (z) =
z
Intercambia el interior y el exterior del crculo unidad
Crculos centrados en el origen se transforman en otros crculos
centrados en el origen, de radio recproco.
En qu se transforma el crculo unidad centrado en z=3?
 Inversin
1
f (z) =
z
Intercambia el interior y el exterior del crculo
Crculos centrados en el origen se transforman en
otros
En qu se transforma el crculo unidad centrado

En qu se transforma el crculo unidad centrado en z=1?

La inversin es su propia inversa. As, el crculo f(K) se

transforma en el crculo K. Resp. lnea a crculo.
Transformaciones afines
1
f (z) =
z
Intercambia el interior y el exterior del crculo
Crculos centrados en el origen se transforman en
otros
En qu se transforma el crculo unidad centrado
En qu se transforma el crculo unidad centrado en z=1?

La inversin es su propia inversa. As, el crculo f(K)

se transforma en el crculo K. Resp. lnea a crculo.

i
En qu se transforma la recta (t) = e t?, 4 t2R
i 1
En la recta 1 (t) = e 4 s, s = 2 R
t

Incluir imagen respectiva

Transformaciones afines
1
f (z) =
z
Intercambia el interior y el exterior del crculo
Crculos centrados en el origen se transforman en
otros
En qu se transforma el crculo unidad centrado
En qu se transforma el crculo unidad centrado en z=1?

La inversin es su propia inversa. As, el crculo f(K)

se transforma en el crculo K. Resp. lnea a crculo.
i
En qu se transforma la recta (t) = e 4 t?, t2R
1
En la recta 1 (t) = e i 4 s, s = 2 R

t
Toda transformacin de Mbius transforma crculos y lneas
en crculos o lneas (crculos que pasan por infinito).
Dados tres puntos distintos del plano complejo extendido,
existe una nica transformacin de Mbius tal que esos
puntos son las preimgenes de 0, 1 e infinito. Incluir imagen respectiva
 Transformaciones de Mbius
Intercambia el interior y el exterior del crculo
Crculos centrados en el origen se transforman en
otros
En qu se transforma el crculo unidad centrado
en z=1?

La inversin es su propia inversa. As, el crculo f(K)

se transforma en el crculo K. Resp. lnea a crculo.
i
En qu se transforma la recta (t) = e t?, t 2 R
4

1
En la recta 1 (t) = e i 4 s, s = 2 R

t
Toda transformacin de Mbius transforma crculos
z z1 z 2 z3 y lneas en crculos o lneas (crculos por infinito).
f (z) = Dados tres puntos distintos del plano complejo
z z3 z2 z1
extendido, existe una nica transformacin de
Mbius tal que esos puntos son las preimgenes
de 0, 1 e infinito.
 Transformaciones de Mbius
La inversa de una TdM es una TdM

La composicin de dos TdM es una TdM

Dados tres puntos diferentes z1, z2, z3 y otros tres puntos

diferentes w1, w2, w3, existe una nica TdM sobreyectiva
de C a C, tal que los zi se transforman en los wi.

Encuentre la TdM que transforma 0, i, infinito a -1, 0, 1.

Toda TdM es una composicin de rotaciones y

dilataciones, traslaciones, e inversiones.
f (z) = az + b, z 7! az 7! az + b
az + b b ad 1 b ad b ad
f (z) = =a+ , z!
7 z + d 7! 7 ! 7! a +
z+d z+d z+d z+d z+d
 Transformaciones conformes
No hay transformaciones conformes de C a un
subconjunto propio de C
No hay transformaciones conformes de C a un
subconjunto de C
Teorema: Si D es un dominio simplemente conexo (abierto,
conectado, sin huecos) subconjunto propio del plano
complejo, entonces existe un mapa conforme (analtico,
biyectivo) de D sobre el disco unitario (bola abierta).
 Transformaciones conformes
Teorema: Si D es un dominio simplemente conexo (abierto,
conectado, sin huecos) subconjunto propio del plano
complejo, entonces existe un mapa conforme (analtico,
biyectivo) de D sobre el disco unitario (bola abierta).

Se dice que los dos dominios son equivalentes conformes.

 El mapa de Riemann
Teorema: Si D es un dominio simplemente conexo (abierto, conectado, sin huecos) subconjunto propio
del plano complejo, entonces existe un mapa conforme (analtico, biyectivo) de D sobre el disco unitario
(bola abierta).

Se dice que los dos dominios son equivalentes conformes.

Para hallar un mapa conforme nico, deben especificarse tres
parmetros reales. Por ejemplo, el punto de D que se transforma
en el origen, y el argumento de la derivada de f en dicho punto.
 Tarea
Transformar el primer cuadrante del plano complejo en el
disco unidad. Ayuda: se puede hacer usando TdMs y la
funcin z^2.