1

4. Funciones bsicas
2
Funcin Exponencial
Sea z = x+iy, definimos la funcin exponencial
como:
) sin (cos y i y e e
x z
+
Por qu?
(1) e
z
se reduce a e
x
cuando z es real (cuando y = 0).
(2) e
z
es una funcin entera (es analtica en todo punto).
(3) Su derivada coincide con la funcin misma, como
en el caso de la exponencial real.
e i e e
i
+
+
) sin (cos
1

3 3 2 / 3
) 2 / sin 2 / (cos ie i e e
i
+
+

3
(2) Veamos que e
z
es una funcin entera, es decir analtica para
todo z:
Tenemos: u(x,y) = e
x
cos y ; v(x,y) = e
x
sin y
cuyas derivadas parciales son continuas para todo (x,y) y

u
x
= e
x
cos y = v
y
u
y
= -e
x
sin y = -v
x
es decir, cumplen las las ECR, para todo (x,y).
(3) Su derivada es:
z x x
z
e y ie y e
x
v
i
x
u
dz
de
+

sin cos
4
Podramos haber abordado la definicin de la
siguiente manera:
Recordando que la funcin exponencial real se determina
por la ecuacin diferencial f'(x) = f(x) con f(0)=1, nos
preguntamos si existe una solucin analtica a:
f'(z) = f(z) con f(z)=1. Si la solucin existe, coincidir con
e
x
cuando z = x.
0 ) 0 ( , 1 ) 0 ( ), (
) (
+

v u z f iv u
x
v
i
x
u
dz
z df
) , ( ), , ( y x v
x
v
y x u
x
u

Supongamos como soluciones (separacin de variables):

0 ) 0 ( , ) ( ) , ( ; 1 ) 0 ( , ) ( ) , ( q e y q y x v p e y p y x u
x x
5
) ( ) ( '
) ( ) ( '
y p y q
y q y p

Todas las soluciones son de la forma:
con A y B constantes. Como:
0 ) 0 ( , ) ( ) , ( ; 1 ) 0 ( , ) ( ) , ( q e y q y x v p e y p y x u
x x
Derivemos ambas ecuaciones respecto a y y apliquemos CR:
x
x y
x
x
x y
x
e y p u v e y q
e y q v u e y p
) ( ) ( '
) ( ) ( '


0 ) ( ) ( ' '
) ( ) ( ' ) ( ' '
) ( ) ( ' ) ( ' '
+

y y
y q y p y q
y p y q y p

y B y A sin cos +
y y q y y p
q p p q
sin ) ( ; cos ) (
0 ) 0 ( ) 0 ( ' ; 1 ) 0 ( ) 0 ( '


y ie y e z f
x x
sin cos ) ( +
6
O bien podramos haber alcanzado la definicin a travs de series...
7
Propiedades de la funcin exponencial
2 1
2 1
2 1
2 1
2 1 2 1 2 1
) sin (cos ) sin (cos
)] sin cos cos (sin
) sin sin cos [(cos
)] sin( ) [cos(
2 2 1 1
2 1 2 1
2 1 2 1
2 1 2 1
) ( ) (
z z
x x
x x
x x
y y i x x z z
e e
y i y e y i y e
y y y y i
y y y y e
y y i y y e
e e

+ +
+ +

+ + +

+
+
+ + + +
2 1 2 1
z z z z
e e e
+
(1)
8
(2) Resolvamos e
z
= 1:

Igualando la parte imaginaria:
e
x
sin y = 0 y = t n (n = 0,1,2.....).
Igualando la parte real:
1 = e
x
cos y = e
x
cos (t 2n) = e
x
x=0.
z = t 2n i (n = 0,1,2.....).
En particular e
0
= 1.
(3) (e
z
)
-1
= e
-z
Observemos que 1 = e
0
= e
z-z
= e
z
e
-z
.
(4) (e
z
)
n
= e
nz
, con n entero.
Para n=0,1 la igualdad es cierta por definicin.
Para n > 1, aplicamos e
z+w
= e
z
e
w
e induccin.
Para n < -1, (e
z
)
n
= [(e
z
)
-1
]
n
= (e
-z
)
n
= e
nz
.

9
10
y
x

-
-3
3
u
v
(5) Observemos que e
z
0 z. El rango de la funcin
exponencial es todo el plano w, excepto 0, C - {0}.
(7) De modo que e
z
es peridica con periodo 2 i
e
z+ 2 i
= e
z
z
(6) arg e
z
= y t 2n (n = 0,1,2...).
As que podemos dividir el
plano z en bandas peridicas
infinitas de ancho 2. De modo
que la imagen de cada banda
llena la totalidad del plano w
(excepto w = 0). La banda
- < y se denomina regin
fundamental o principal de e
z
.
11
( ) ( ) y e R x y y x r
y i y e e z f
x
x z
+
+
, ) / arctan( ,
) sin (cos ) (
2 2
Las lneas y = c e y = d se transforman en los rayos
respectivamente (a excepcin del origen). Las lnea x = a y x = b se
transforma en los crculos de radio R = a, b respectivamente.
Combinando ambos hechos, observa como se transforma el rectngulo.
d c,
12
f(z) = exp(z) = e
x
(cos y + i sen y)
Esquema de color dependiente del valor real
Dominio Rango
13
f(z) = exp(z) = e
x
(cos y + i sen y)
Esquema de color dependiente del valor imaginario
Dominio Rango
http://winnie.fit.edu/~gabdo/function.html
14
The complex exponential
maps the infinite open strip
bounded by the horizontal
lines through i one-to-
one onto the plane minus the
negative real axis. The lines
of constant real part are
mapped to circles, and lines
of constant imaginary part to
rays from the origin. In the
animation we view a
rectangle in the strip rather
than the entire strip, so the
region covered is an annulus
minus the negative real axis.
The inner boundary of the
annulus is so close to the
origin as to be barely visible.
We also make the strip a bit
thinner than 2, so that the
annulus does not quite close
up.
15
e
z
= e
x
(cos y + i sen y) (1.1)
16
17
18
19
20
21
22
23
y i y e e
y i z
sin cos +

sin cos i e
i
+
) sin (cos y i y e
e e
x
y i x z
+

+
(8) Frmula de Euler
Cuando z es imaginario puro (x = 0):
24
( ) ( )
( )
( )

i
k
k
nk
n
k k k k
k k
n
n
e i f
i k
ke i i i
d
df
e i f
e e e e e
e f e f
n f f
f f f
n i n i
i i i
+

+ +
+

+
+ +
+ + + + +
+
sin cos ) (
) sin (cos cos sin
sin cos ) (
) ( ) (
) ( )] ( [
) ( ) ( ) (
) sin( ) cos( sin cos
) sin( ) cos( sin cos sin cos
) (
Cmo lleg Euler a esta frmula? (Series de potencias ...)
25
0 1 +
i
e

sin cos i e
i
+
(9) The most remarkable frmula in math
(Richard Feynman)
nos proporciona la siguiente identidad:
Observa que para
la frmula de Euler,

26
From Gianluca Gorni's web site
27
Ejercicio: Hallar todas las soluciones de e
z
= 3+4i
Solucin: Igualando mdulos
|e
z
| = e
x
= 5
x = ln(5) = 1,609. Igualando partes real e imaginaria:
e
x
cos y = 3; e
x
sin y = 4
cos y = 0,6; sin y = 0,8 y = 0,927 t 2n
z = 1,609 + (0,927 t 2n) i (n = 0,1,2.....)
(10) |e
iy
| = |cos y + i sin y| = (cos
2
y + sin
2
y) = 1
(11) |e
z
| = |e
x+iy
|= |e
x
| |e
iy
|= |e
x
|= e
x
> 0
( ) ( ) ( ) ( )
4 2 2
2
4
2
4
2
4 5 . 0 4
5 . 0 sin 5 . 0 cos 5 . 0 sin 5 . 0 cos e e e e e
i
+ +
+
28
) sin (cos i r z +
z

y
x
r

i
e i + sin cos
i
re z
(12) Las formas exponencial y trigonomtrica
Recuerda que la forma polar para un nmero complejo es
La frmula de Euler nos dice que
Forma
exponencial
de un nmero
complejo
29

i
i
re z
re z

4 / i
e z
4 / i
e z

(13) La funcin exponencial

y el conjugado
i
e z Qu nmeros complejos satisfacen la expresin ?
El mdulo es 1 y puede tomar cualquier valor, de modo que
satisfacen la expresin todos los nmeros complejos sobre el
crculo unidad.
x
y
z
i
e z

i
e z 2 1+
Todos los nmeros complejos sobre un
crculo de radio 2, centrado en z
0
=1
Qu nmeros complejos satisfacen la expresin ?
x
y
2
i
e z 2 1+
z
0
=1
30
(14) Producto y divisin en forma exponencial
Es sencillo multiplicar y dividir en forma
exponencial. Por ejemplo, dividamos:
( )
( ) i
i
e i
e i
4 /
2 /
8 2 2

i
i
i
e
e
e
i
i
) 4 / (
) 4 / (
) 2 / (
8
1
8
1
2 2

2
1
2 2
1 1

i
i
e r z
e r z

) (
2
1
2
1
2
1
) (
2 1 2 1 2 1
2 1
2
1
2 1 2 1

+


i
i
i
i t i i
e
r
r
e r
e r
z
z
e r r e r e r z z
En general:
31
32
Aplicacin: Fasores
Muchas seales pueden ser representadas como senoides:
t
) sin( ) ( t a t X
a

33
[ ]
t i
ae t i t a t z

+ ) sin( ) cos( ) (
t

A
A
B B
C
D
C
D
A
B
C

) (t z
t
Representacin de un nmero complejo en forma de fasor
34
) (
)] sin( ) [cos( ) ( '



+
t i
Ae t i t A t z
t

+ 2

+ A
A
B
B
C
D
C
D
A
B
C

) (t z
t
Cambio de Fase

[ ]
t i
Ae t i t A t z

+ ) sin( ) cos( ) (
) ( ' t z
35
Corriente Alterna
) cos( ) ( t I t i
Resistencia R
) cos( v(t) t IR

,
_

cos v(t) t
C
I

,
_

+
2

cos v(t) t LI
( )
t j
e R I

Re v(t)

,
_

t j
e
C
j
I

Re v(t)
( )
t j
e L j I

Re v(t)
La tensin est en fase con la corriente
Inductancia L
La tensin adelanta a la corriente en
La tensin se retrasa respecto a la corriente en
2

Circuitos
2

36
( ) ( )
( )
t j
t j t j
e R I t IR t R
e R R t j t R e R
t IR t v

Re ) cos( v(t) Por tanto . cos

e que As . ) sin( ) cos( Pero
) cos( ) (

+

( )

,
_

,
_

,
_

t j t j
e
C
j
I je
C
I
t
C
I
t t
C
I
t
C
I

Re Re ) sin(
2

sin ) sin(
2

cos ) cos(
2

cos v(t)
( ) ( )
t j t j
Le j I je L I t L I
t t L I t LI



Re Re ) sin(
2

sin ) sin(
2

cos ) cos(
2

cos v(t)

,
_

,
_

+
37

'

L j
C
j
R
Z

Definimos la impedancia compleja Z como

Si definimos la tensin compleja como V = IZ
( )
t j
e IZ

Re v(t) o
( ) ( )
t j t j t j
e L j I e
C
j
I e R I

Re v(t) Re v(t) Re v(t) Como

,
_

( )
t j
e Z I

Re v(t)
Cada una de esas frmulas pueden ser escritas como
( )
t j
e V

Re v(t) podemos escribirlo en la forma
Resistencia
Capacitancia
Inductancia
38
i
e
Podemos escribir:


sin cos , sin cos i e i e
i i
+



sin
2
, cos
2

+

i
e e e e
i i i i
x
y
i
e

i
e

cos 2

Funciones trigonomtricas
A partir de la frmula de Euler:
39
Whittaker & Watson,
A Course of
Modern Analysis,
Fourth edition 1927
(Un parntesis)
40
Observa que los autores suponen que el lector est familiarizado con la
siguiente identidad trigonomtrica:
( )
1
1
2
2
sin sin sin
n
n
n
n n n

L
( ) ( )
( )
( )
1
2
2 sin 2 sin 2 sin
n
n n n
n

L
que es equivalente a:
P.K. 1999
MM3: ODEs
Esta identidad trigonomtrica es
equivalente al siguiente teorema geomtrico:
s
i
n

(

k

/
n

)
n
( ) 1 n
n

k
n

1
2

s
i
n

(

k

/
n

)
n
( ) 1 n
n

k
n

1
Si equiespaciamos n+1 puntos alrededor del crculo
unidad y trazamos un conjuntos de cuerdas paralelas, entonces
el producto de las longitudes dobladas de las n-1 cuerdas es n.
( ) ( )
( )
( )
1
2
2sin 2sin 2sin
n
n n n
n

L
P.K. 1999
MM3: ODEs
Reordenando las cuerdas, introduciendo nmeros complejos y usando la idea de que
el valor absoluto y la suma de nmeros complejos corresponde a la adicin de
vectores. La longitud de la k-sima cuerda ser:
2

s
i
n

(

k

/
n

)
n
( ) 1 n
n

k
n

1
2k i
n
e

( ) 2 1 n i
n
e

2 i
n
e

1
i
n
e

2

s
i
n

(

k

/
n

)
( ) ( ) ( ) ( )
( )
( )
( )
( )
( )
2 1 2 2 2 1 2 1 2 2 2 1
1 1 1 1 1 1
i n i n n i n i n i n n i n
e e e e e e

L L
n i k
e n k
/ 2
1 ) / sin( 2


Y el producto de la longitud de las n-1 cuerdas ser:
P.K. 1999
MM3: ODEs
Introduzcamos un nmero complejo arbitrario z y definamos la
funcin:
2k i
n
e

( ) 2 1 n i
n
e

2 i
n
e

1
i
n
e

2

s
i
n

(

k

/
n

)
( )
( )
( )
( )
( )
( )
( )
2 1 2 2 2 1 i n i n n i n
g z z e z e z e

L
2k i
n
e

( ) 2 1 n i
n
e

2 i
n
e

1
z
( )
( )
( )
( )
( )
( )
( )
2 1 2 2 2 1
1 1 1 1 .
i n i n n i n
g e e e

L
Evaluemos:
Para ello observemos que en los factores aparecen los n nmeros:
( ) ( ) ( ) ( ) 2 1 2 2 2 3 2 1
1, , , , ,
i n i n i n n i n
e e e e

K
, que son las races ensimas de la unidad.
P.K. 1999
MM3: ODEs
( )
( )
( )
( )
( )
( )
( )
2 1 2 2 2 1
1 1
i n i n n i n n
z z z e z e z e

L
2k i
n
e

( ) 2 1 n i
n
e

2 i
n
e

1
i
n
e

2

s
i
n

(

k

/
n

)
2k i
n
e

( ) 2 1 n i
n
e

2 i
n
e

1
z
( ) ( ) ( ) ( ) 2 1 2 2 2 3 2 1
1, , , , , ,
i n i n i n n i n
e e e e

K
Las n races de la unidad son solucin de la ecuacin:
Por el teorema fundamental del lgebra, la ecuacin polinmica
1 0
n
z
tiene exactamente n races, que son:
As el polinomio 1
n
z puede factorizarse nicamente como:
( ) ( ) 1 z g z
Como, adems:
( ) ( )
1 2 3 1
1 1 1
n n n n
z z z z z z

+ + + + + L
( ) ( ) 1 z g z
As: ( )
1 2 3
1
n n n
g z z z z z

+ + + + + L
y ( ) 1 . g n
( )
( )
( )
( )
( )
( )
2 1 2 2 2 1
the product of the lengths of the chords 1 1 1
i n i n n i n
e e e

L
( ) 1 g n
Finalmente tenemos:
1
n
z
Longitud del producto de las n-1 cuerdas
45
Si
1 2 3 n
CCC C L
1 2
1
n
n
x PC PC PC L
es un n-gono regular inscrito en un crculo de radio unidad centrado
en O y P el punto sobre
1
OC a distancia x de O, entonces
Teorema de Cotes (1716)
1
C
k
C
3
C
O
2
C
n
C
1 n
C

P
x
Nota: Cotes no public una prueba de este teorema, quizs porque el uso de los nmeros
complejos no eran todava considerado una manera respetable de probar un teorema en
geometra.
Roger Cotes (1682 1716)
46
A partir de la observacin anterior, resulta natural definir las
funciones seno y coseno de una variable compleja z por medio de
las siguientes expresiones:
i
e e
z
e e
z
z i z i z i z i
2
sin ,
2
cos

Funciones trigonomtricas de variable compleja

Observa que en
variable compleja
las funciones
trigonomtricas y
exponencial estn
ntimamente
relacionadas, cosa
que no ocurre en
variable real.
z z sin ) (cos
dz
d
z z cos ) (sin
dz
d

Con estas definiciones:

(1) cos z (sin z) se reduce a cos x (sin x) cuando z
es real.
(2) cos z y sin z son funciones enteras (analticas en todo punto).
(3) Sus derivadas coinciden con sus equivalentes en variable real.
47
Ejemplo: Resolver cos

z = 5.
Solucin: Aplicamos la definicin en exponenciales del coseno:
cos z = [e
iz
+ e
-iz
]/2 = 5
e
iz
+ e
-iz
10 = 0; multiplicando la ecuacin por e
iz
e
i2z
10 e
iz
+ 1 = 0; Haciendo el cambio de variable t = e
iz
t = e
iz
= 5 t (25-1) = 9.899 o 0.101
z = t 2n t 2.292 i (n=0,1,2....)
e
-y
= 9.899 0.101 y = t 2.292
e
ix
= 1 x = t 2n (n=0,1,2....)

48
Two-to-one
coverings of a disk
by the complex
cosine restricted to
a rectangle of width
2 and height 2
centered at the
origin.
49
Two-to-one
coverings of a disk
by the complex
sine restricted to a
rectangle of width
2 and height 2
centered at the
origin.
50
El resto de funciones trigonomtricas se definen en relacin a las
funciones seno y coseno mediante las relaciones conocidas:
z
z
z
z
z
z
z
z
z
z
sin
1
csc ,
cos
1
sec ,
sin
cos
cot ,
cos
sin
tan
Las frmulas usuales para las funciones trigonomtricas de variable real
siguen siendo vlidas para las correspondientes de variable compleja:
2 1 2 1 2 1
2 1 2 1 2 1
sin cos cos sin ) sin(
sin sin cos cos ) cos(
z z z z z z
z z z z z z
t t
t
1 sin cos
2 2
+ z z
tan z y sec z (cot z y csc z) no son enteras, ya que no son analticas en
los puntos donde cos z (sin z) es 0.

i i
i i
e e
e e
i

1
tan Observa por ejemplo que:
51
52
Las funciones hiperblicas reales se definen por analoga a las
definiciones de seno, coseno y tangente en variable compleja:
( )
x x
e e x

+
2
1
cosh
( )
x x
e e x


2
1
sinh
x x
x x
e e
e e
x
x
x

cosh
sinh
tanh
( )
iz iz
e e
i
z


2
1
sin
( )
iz iz
e e z

+
2
1
cos
iz iz
iz iz
e e
e e
i
z

1
tan
Funciones hiperblicas de variable real (recordatorio)
53
-3
-15
-10
-5
5
10
15
-2
-1 0 1 2 3
x y sinh
-
1
1
-3 -2 -1 0 1 2 3
x y tanh
-3 -2 -1 0 1 2 3
1
5
10
x y cosh
Representacin grfica de las funciones reales hiperblicas
Nota: La ecuacin de una cuerda suspendida
de dos puntos a la misma altura es

,
_

a
x
a y cosh .
La curva se conoce como catenaria.
54
Interpretacin de las funciones hiperblicas reales
crculo el sobre hallan se ) sin , (cos x x
1
2 2
+ y x
) 1 sin cos (
2 2
+ x x
1 sinh cosh
2 2
x x hiprbola la sobre halla se ) sinh , (cosh x x
1
2 2
y x
) sin , (cos x x
) sinh , (cosh x x
As como las funciones circulares (trigonomtricas) aparecen en
problemas que involucran integrales con (1-x
2
)
1/2
, las
hiperblicas aparecen con (1+x
2
)
1/2
.
55
Derivadas de las funciones hiperblicas reales
x x
x x
x x
2
h sec ) (tanh
sinh ) (cosh
cosh ) (sinh

Demostracin:
( ) ( ) x e e e e x
x x x x
sinh
2
1
2
1
) (cosh

1
) (cosh sinh tanh Como

x x x
x
x
x
x
x x x x x x
2
2
2
2
1 2
h sec
tanh 1
1
cosh
sinh
) (cosh cosh sinh ) )(cosh 1 ( sinh ) (tanh

+
+

( ) ( ) x e e e e x
x x x x
cosh
2
1
2
1
) (sinh +

56
57
( ) ( ) ( )
( ) ( ) [ ]
2
sin
2
cos
sin cos sin cos
2
1
2
1
2
1
2
1
cos
) ( ) (
y y y y
y y
ix y ix y y i x i y i x i z i z i
e e
x i
e e
x
x i x e x i x e
e e e e e e z

+ + +

+ +
+ + +
Escribamos las funciones trigonomtricas complejas
en forma binmica: ) , ( ) , ( ) ( y x v i y x u z f +
y x i y x z sinh cos cosh sin sin +
De la misma manera para la funcin seno tenemos:
y x i y x z sinh sin cosh cos cos
58
( ) x e e ix
x x
cosh
2
1
cos +

( )
x i e e
i
e e
i
i
e e
i
e e
i
ix
x x
x x x x x x
sinh ) (
2
) (
2
) (
2
1
2
1
sin
2

x i
x
x i
ix
ix
ix tanh
cosh
sinh
cos
sin
tan
Si particularizamos en las definiciones de las funciones
trigonomtricas complejas para z = ix tendremos:
59
x ix cosh cos x i ix sinh sin x i ix tanh tan
Estos resultados nos dan una regla general para convertir
identidades trigonomtricas en identidades hiperblicas:
Cualquier identidad trigonomtrica seguir siendo vlida si
reemplazamos sin(), cos(), tan() por sinh(), cosh(), tanh()
respectivamente. Teniendo en cuenta, adems, que si hay un
producto de dos sin() tan(), cambia el signo del trmino
sustituido.
Por ejemplo:
sinh cosh cosh sinh ) sinh( + +
sinh sinh cosh cosh ) cosh( + +
sin sin cos cos ) cos( +
sin cos cos sin ) sin( + +
60
(1) Resolver cos

z = 0
cos z = cos x cosh y i sin x sinh y = 0
Parte real: cos x cosh y = 0 cos x = 0;
x = t (2n+1)/2 (n = 0,1,2...)
Parte imaginaria: sin x sinh y = 0 sinh y = 0; y = 0
z = t (2n+1)/2 (n = 0,1,2....)
(2) Resolver sin

z = 0
sin z = sin x cosh y + i cos x sinh y = 0
Parte real: sin x cosh y = 0 sin x = 0;
x = t n (n = 0,1,2...)
Parte imaginaria: cos x sinh y = 0 sinh y = 0; y = 0
z = t n (n = 0,1,2....)
Los ceros de cos z y sin z son los mismos que los de sus
anlogas funciones cos x y sin x reales.
61
Funciones hiperblicas complejas
Hemos definido las funciones hiperblicas de una variable real como:
2
sinh
2
cosh
x x
x x
e e
x
e e
x

Parece natural definir las funciones

hiperblicas de variable compleja
mediante las expresiones:
2
sinh ,
2
cosh
z z z z
e e
z
e e
z

(1) Estas funciones son enteras y con derivadas:

(cosh z)

= sinh z ; (sinh z)

= cosh z
(2) Otras funciones hiperblicas se definen como:
tanh z = sinh z / cosh z ; coth z = cosh z / sinh z
sech = 1/cosh z ; csech z = 1/sinh z
que son analticas excepto en los puntos en que el denominador
se anula.
62
( ) ( )
( ) y i y e y i y e
e e e e z
x x
y i x y i x z z
sin (cos ) sin (cos
2
1
2
1
2
1
cosh
+ +
+ +

+
Escribamos las funciones hiperblicas complejas en forma binmica:
y x i y x z sin cosh cos sinh sinh +
y x i y x z sin sinh cos cosh cosh +
De la misma manera podemos demostrar que:
63
Ejercicio: Demostrar la identidad de Moivre para funciones
hiperblicas:
) sinh( ) cosh( ) sinh (cosh n n
n
+ +
( ) ) sin( ) cos( sin cos n i n i
n
+ +
Ejercicio: Demostrar que : cosh (iz) = cos z y sinh (iz) = sin z
Ejemplo: Veamos que |cos

z|
2
= cos
2
x + sinh
2
y
|cos z|
2
= cos
2
x cosh
2
y + sin
2
x sinh
2
y
Como cosh
2
y sinh
2
y = [(e
y
+ e
-y
)]
2
-[(e
y
- e
-y
)]
2
= 1
|cos z|
2
= cos
2
x (1 + sinh
2
y) + sin
2
x sinh
2
y = cos
2
x + sinh
2
y
64
65
66
Ejercicio: Hallar todas las soluciones de la ecuacin
. ( ) sen 3 6
2 2
iz iz iz iz
iz iz
e e e e
z i e e
i i

. Hacemos
iz
e T
, y la ecuacin resulta:
1 2
6 6 1 0 T T T T

+
, cuyas soluciones son:
6 36 4 6 2 10
3 10
2 2
T
t + t
t
, de donde
( ) ( )
( ) ln 3 10 ln 3 10 2 iz k i + + +
, y tambin
( ) ( )
( ) ln 3 10 ln 3 10 2 iz k i + + +
con k un nmero entero. Despejando z se obtiene la solucin:
( ) ( )
2 ln 3 10 , 2 ln 3 10 z k i z k i + + +
, con k un n entero.

3 sen i z
67
y x i y x z sinh cos cosh sin sin +
f(z) = sen z
Esquema de color dependiente del valor imaginario
Dominio Rango
68
f(z) = cosh z
Esquema de color dependiente del valor real
Dominio Rango
y x i y x z sin sinh cos cosh cosh +
69
f(z) = cosh z
Esquema de color dependiente del valor imaginario
Dominio Rango
y x i y x z sin sinh cos cosh cosh +
70
71
Pescando Biomorfos
Algunas veces me considero un pescador.
Los programas de ordenador y las ideas son
mis herramientas, caas y redes. Los
grficos que aparecen en mi pantalla son
trofeos y deliciosas mieles.
Clifford A. Pickover,
Computers, Pattern, Chaos and Beauty
http://sprott.physics.wisc.edu/pickover/home.htm
72
Partimos de una funcin iterada::

Escogemos una regin del plano complejo y
tomamos cada punto de esta regin como
semilla inicial z
0
para iterar. Tomemos uno
de ellos. Lo iteramos, por ejemplo, 150 veces.
Conocido el valor final de z, pintamos en
funcin del valor absoluto de su parte real e
imaginaria:
(1) Si alguna de ellas excede o es igual a 100
(por ejemplo), pintamos z
0
como un punto
blanco,
(2) En caso contrario lo pintamos en negro.
2
1
sin ) (
n n n
z z z f
+
2
1
cosh ) (
n n n
z z z f
+
Biomorfos
73
i r
z i z z
+
+
ln
arg | | ln ln
z e z e e e e
z i z i z z i z z

+ arg arg | | ln arg | | ln ln
| |
Funcin logartmica
Definimos el logaritmo de un nmero complejo z como
Definido de esta manera, observemos que:
El logaritmo complejo es multivaluado, una correspondencia
multvoca, no una biyeccin. Debido a la multivaluacin de la
funcin arg z, a cada z corresponden un nmero infinito de
valores.
(|z| > 0,
no continua
en z = 0).
74
i z + 1
4 /
2
,... 2 , 1 , 0 ), 2 4 / ( 2 ln ) 1 ln( + t + n n i i
Por ejemplo, calculemos el valor de
Para cada valor de n obtenemos un
posible valor de la funcin logaritmo.
Podemos construirnos una funcin unvoca
tomando el argumento principal Arg z, en
vez de arg z.
75
Valor principal del logaritmo
El valor principal de ln z se define como el valor
correspondiente al valor principal del argumento de z:
z i z z Arg ln Ln +
Usamos la letra mayscula L para designar al valor principal:
) 4 / ( 2 ln ) 1 Ln( i i + +
valor principal
( ) <
,... 2 , 1 , 0 ), 2 4 / ( 2 ln ) 1 ln( + t + n n i i
Tenemos:
76
77
[ ] [ ]
2 1
2 1 2 1
2 1 2 1
) (
2 1 2 1 2 1
ln ln
ln ln
) ( ln
ln ln ) ( ln
2 1 2 1
z z
i i r r
i r r
e r r e r e r z z
i i i
+
+ + +
+ +

+



(1)
Esta es una relacin
familiar para los
logaritmos naturales
Sea z
1
= z
2
= e
i
= -1, entonces si tomamos ln z
1
= lnz
2
= i
PERO: no se cumple para el valor principal!
Ln(z
1
z
2
) = Ln(1) = 0
ln(e
z
) = ln(e
x+iy
) = ln(e
x
) + i y t 2ni
= z t 2ni
observa que ln(z
1
z
2
) = ln(z
1
) + ln(z
2
) = 2i = ln(1)
78
79
Resumen repeticin
80
81
82
83
84
z i z z Arg ln Ln f(z) +
Esquema de color dependiente del argumento
Dominio Rango
85
86
87
88
Derivada del ln(z)
Sea ln z = u(x,y) + i v(x,y).
Entonces: u(x,y) = ln|z| = ln(x
2
+y
2
)
v(x,y) = arg z = tan
-1
(y/x) + 2n; n=0,1,...
u
x
= x/(x
2
+y
2
)
v
y
= y/(x
2
+y
2
)
(ln z)
/
= u
x
+ i v
x
= x/(x
2
+y
2
) i y/(x
2
+y
2
)
= (x - i y)/(x
2
+y
2
) = 1/z
Ejercicio:
Repetir los clculos anteriores en polares.
89
Analiticidad de Ln z
z i z z Arg ln Ln +
Como no existe ln 0, Ln z no est definido en z = 0.
Como el argumento principal Arg z toma valores
, el logaritmo experimenta un salto
al cruzar el eje real negativo.
<
x
y
i z z + ln Ln
i z z ln Ln
90
El logaritmo no es analtico
en z = 0 ni a lo largo del eje real negativo
x
y
Analtica en todo
punto
excepto aqu
De modo que podemos tomar como dominio de analiticidad:
D = plano z {R
-
U 0}
Existen y son continuas las derivadas parciales y se cumplen
las ECR en el dominio D?
u
x
= x/(x
2
+y
2
) = v
y
= [1/(1+(y/x)
2
)](1/x)
u
y
= y/(x
2
+y
2
) = -v
x
= -[1/(1+(y/x)
2
)](-y/x)
Se satisfacen ECR
91
92
93
94
Veamos sin son continuas las derivadas parciales y se
cumplen las ecuaciones de CR en el dominio D en polares:
Repetimos: tomaremos como dominio de analiticidad
D = Z -{R
-
U 0}, o en polares los z's tq. r > 0 y - < .
z re
i
r
e z f
r
v
i
r
u
i z f
u
r r
v v
r r r
u
i
i
1 1
0
1
) ( '
) sin (cos ) ( '
1
0
1 1

,
_

,
_

95
Ejemplo: determinar el mayor dominio de analiticidad
de la funcin f(z) = Ln[z-(3+4i)].
El Ln() es analtico para todo punto del plano z excepto
la recta semi-infinita negativa y el cero. Descartaremos
los valores de z que hacen que el argumento de f() sea
negativo o cero: z-(3+4i) = x+iy-3-4i = (x-3)+i(y-4).
Es decir: y-4 = 0, x-3 0
y = 4
x 3
x
y
3
4
3+4i
96
Z n i n z e e e w
seny
e e
i y
e e e e
shz w
z z z
x x x x z z

+
+

, 1 0
2
cos
2 2
2

( ) [ ] z sh x f log ) (

'

< < >

2
7
arg
2
3
, 0 /

w w C w D

0 cos
2
) Re( y
e e
w
x x
Z n n y y
x

;
2
) 1 2 ( 0 cos
0

Re(w)
Im(w)

2
3

( ) [ ] z sh x f log ) (
a) Determinar la regin del plano complejo en la que la funcin
es analtica. Considrese la determinacin del
logaritmo correspondiente al ngulo
determinacin
2
3

Examen
JUNIO 04/05: P-1
97
Z n n y n seny seny
e e
w
x x
< < < <
+

; 2 ) 1 2 ( 0 0
2
) Im(
< 0 , 0 seny x
0
; 2 ) 1 2 (

< <
x
Z n n y n
< 0 , 0 cos , seny y R x
R x
Z n n y

;
2
) 1 4 (

{ } { } Z n n y n y n x i n z
f

'

< <
+
;
2
) 1 4 ( 2 ) 1 2 ( , 0
: que tales yi x z puntos de conjunto el en excepto C, en analtica es



i
i
i 2
0
98
b) Determinar la regin del plano en la que la funcin
1
]
1

,
_

z
Log z f

cos ) (
Respuesta.
) ( cos
1
w Log
z
Log
1
]
1

,
_

Determinacin principal no analtica en: w

1
= 0; Re(w
1
) < 0; Im(w
1
) = 0
es analtica.
1) /z no analtica en z = 0.
99
( )
... 2 , 1 , 0 ,
2 1
2
... 2 , 1 , 0 ,
2
0 cos ) 2
1
t t
+

t t +
k
k
z
k k
z
z
w

'

t

(b) 0
(a) ... 1 , 0
sinh sin 0 ) Im(
1
v
k k u
v u w

0 cos 0 cosh cos 0 ) Re(
0
1
< <
>
u v u w

iv u w +
1
100

'

t t

1
]
1
+ +

<

t t +

<

... 2 , 1 , 0 , 2
2
3 , 2
2
0
0 cos
0 ) (
... 2 , 1 , 0 , ) 1 2 (
0 cos
) (
k k k u
v
u
v b
n n u
u
k u a

) ( ,
2 2 2 2
1
iy x z
y x
y
i
y x
x
z
w +
+

+


2
2
2
2 2
) 1 2 ( 4
1
) 1 2 ( 2
1
1 2 ) (
+
+

,
_

+
+
+

n
y
n
x n
y x
x
a
n=0,1,2...
101

'

1
]
1
+ +

'

1
]
1
+ +

k k
x
y
k k
x
y
b
4 1
2
,
4 3
2
0
2
4 3
,
2
4 1
1
0
) (
k=0,1,2...
102
Obtener los puntos del plano complejo donde la funcin
es analtica.
Considerar la determinacin principal.
2
1
1
) (
z
z f

( )
( ) ( )
( )

> < <

< < >



0 2 0 ) Im(
1 0 1 0 ) Re(
2 1 1
) ( y 0
que tales 1 puntos los en todos analtica es ) (
1
2 2 2 2
2 2 2
2
) 1 (
2
1
2
1
2
2
xy w
y x y x w
xy i y x z w
w Arg - w
z w z f
e z
z Log

0
0

y
x
1 1 1 0
1 0
2
2
< > >
>
x x x y
imposible y x
103
Im(z)
Re(z)
-1 1
(Re(z)<-1) y (Re(z)>1)
Im(z)=0
Zonas de no analiticidad plano z Zonas de no analiticidad plano w
Re(w)
Im(w)
Re(w)<0
Im(w)=0
104
Sol.: u(x,y) = 1/2 Log [x
2
+ (y-3)
2
]
v(x,y) = Arg (z-3i) + 4
f(z) = Log |z - 3i| + 4i
105
106
107
Funciones trigonomtricas e hiperblicas inversas
Determinemos la inversa del seno a partir de
iw iw
iw iw
e
p
e p
i
e e
z

1
; ;
2
z w sin
i
p
p
z
2
1

2 2
1 ; 0 1 2 z iz e p izp p
iw
+
( )

,
_

+
z i
z i
Ln
i
z
z i z iLn z
2
arctan
1 arccos
2
Todas ellas son
multiformes ...
( )
2
1 ln arcsin z iz i w z +
Demostrar:
108
109
110
111
112
El valor principal de la
arcotangente ser:
113
114
( )
( )

,
_

+
+ +

z
z
Ln z
z z Ln z
z z Ln z
1
1
2
1
tanh
1 cosh
1 sinh
1
2 1
2 1
2
1
2
1
2
1
1
1
tanh ;
1
1
cosh ;
1
1
sinh
z
z
dz
d
z
z
dz
d
z
z
dz
d

2
1
2
1
2
1
1
1
tan ;
1
1
cos ;
1
1
sin
z
z
dz
d
z
z
dz
d
z
z
dz
d
+

115
Demostrar la expresin
y calcular todos los valores posibles de .

,
_

iz
iz
i
z arctg
1
1
log
2
1
) (
( ) 3 arctg
( )
( )

,
_

,
_

+

+
+

iz
iz
i
z arctg w
iz
iz
iw
iz
iz
e
e e iz e e
e e i
e e
w
w sen
w tg z
iw
iw iw iw iw
iw iw
iw iw
1
1
log
2
1
) (
1
1
log 2
1
1
) cos(
) (
) (
2
( )
) (
3
2
3
2
1 ln
2
1
2
3
2
1
log
2
1
4
3 2 2
log
2
1
3 1
3 1
log
2
1
3

+

,
_

,
_

+ +

,
_

,
_

,
_

k
k k i
i
i
i
i
i
i
i
i
arctg

Examen
JUNIO 02/03: P-1
116
P1. Junio 2007
1. Obtener la forma binmica de
Respuesta.
)
3
arcsin(

i
[ ]
1
1
]
1

+ t

,
_

t
9
1
3
log
3
arcsin
1 log arcsin
2
2

i i
z iz i z
117
... 2 , 1 , 0 k
) 2 (
9
1
3
ln
3
arcsin
2
t t
1
1
]
1

+ +

,
_

+ +

,
_

k i i i
a) Solucin con signo negativo de la raz cuadrada:
... 2 , 1 , 0 k
9
1
3
ln ) 2 (
3
arcsin
2
t t
1
1
]
1

,
_

+ + + +

,
_

i k i
118
... 2 , 1 , 0 k
) 2 0 (
3 9
1 ln
3
arcsin
2
t t
1
1
]
1

+ +

,
_

,
_

k i i i
b) Solucin con signo positivo de la raz cuadrada:
... 2 , 1 , 0 k
3 9
1 ln 2
3
arcsin
2
t t
1
1
]
1

,
_

+ +

,
_

i k i
119
120
Potencias
Podemos expresar potencias de nmeros complejos en forma de
funciones exponenciales/logartmicas cuando el exponente es real.
Por ejemplo, z z z
e e z e z
ln 2 ln 2 ln
2

En general, para k real:
z k k
e z
ln

Definamos ahora donde

c = a+bi es complejo como:
c
z
z c c
e z
ln

Observa que si z = e entonces z

c
= e
c
proporciona un nico
valor: e
c
= e
a
(cos b + i sin b). Para cualquier otra base, dado
que ln(z) es multivaluado, z
c
lo ser tambin. El nmero de
valores es infinito excepto cuando c es racional.
El valor principal de z
c
ser e
cLn(z)
121

Si c = n = 1,2,.... entonces z
n
es univaluado e idntico a la
potencia ensima habitual de z

Si c = n = -1,-2,.... la situacin es similar.

Si c = 1/n = 2,3,.... entonces

z
c
=
n
z = e
(1/n)ln

z
(z 0)
el exponente se determina en funcin de los mltiplos de
2i/n y obtenemos distintos valores de la raz n
th

Si c = p/q, siendo el cociente de dos enteros positivos, z

c
tiene
un nmero finito de valores distintos.

Si c es irracional o complejo entonces z

c
es infinitamente
multivaluado.
Es decir:
122
( )
) , , (n
n n i i
i i i i
i i i
e e
e e i
1 0
) 2 / 2 ( )) 2 / 2 ( (
) arg( ln
ln
t
+ +
+

) (n
e i
i
0
2 /

Ejemplo: Calcular i
i
Infinitos valores reales!
Valor principal real
Ejercicio: Calcular la derivada de
1
) ( ' ; ) (


c c
cz z f z z f
123
124
125
126
127
128
129
130
Recuerda que una funcin es analtica en una regin R si es
diferenciable en todos los puntos de R.
Los trminos funcin holomorfa, funcin diferenciable, funcin
compleja diferenciable o funcin regular se usan a menudo de
forma intercambiable para referirse a funcin analtica. Muchos
matemticos prefieren el trmino funcin holomorfa, mientras que
funcin analtica es ms usado por fsicos e ingenieros.
Recuerda que una funcin analtica en todos los puntos del plano
complejo se llama entera. Como hemos visto una funcin analtica
puede no serlo en uno o ms puntos singulares o a lo largo de los
cortes de ramas.
Para acabar, una funcin univaluada que es analtica en todo punto
de su domino a excepcin de un conjunto discreto de singularidades
(polos y singularidades no esenciales), se denomina funcin
meromorfa.
131
M.C. Escher
132
Qu efecto quiere conseguir
Escher en esta litografa?
Por qu aparece una mancha
blanca en el centro del cuadro?
The Mathematical Structure of
Eschers Print Gallery
B. de Smit and H. W. Lenstra Jr.
Notices of the AMS, vol. 50, N. 4
(April 2003)
Prentententoonstelling (Galera de grabados)
M.C. Escher 1956
133
Lo que yo trat de representar era solamente una superficie
que se hincha, de forma anular, sin principio ni fin.
El espejo mgico de M. C. Escher (Bruno Ernst, ed. Taschen)
134
Mundo
real
Mundo
curvo
Transformacin
135
Transformacin
Anti-transformacin
Cualquier camino simple cerrado alrededor del
origen del mundo curvo se antitransforma
en un camino no cerrado en el mundo real.
Por ejemplo el camino ABCD.
136
) log exp( ) ( w w w h z w

w
w log
w log
) log exp( w
137
i i
w w w h z w

2 / ) 256 log 2 ( con

) log exp( ) (
+

Rectificacin de la litografa
138
El efecto Droste
En Alemania la marca de
chocolate Droste es famosa
por el efecto visual de una
de sus cajas de cacao.
En ella la imagen se contiene
a s misma en pequea escala.
139
Tras un zoom de 2
8
= 256 volvemos a la imagen original.
Escher and the Droste effect
http://escherdroste.math.leidenuniv.nl/
140

,
_

w w z h w z
w w w h z w
log
1
exp ) (
) log exp( ) (
/ 1 1

141
Reconstruccin
142
2
143
4
144
8
145
16
146
32
147
Una rotacin en sentido horario de 157.6255960832. . . grados y
un zoom de 22.5836845286. . . . nos devuelve a la imagen original.
M.C. Escher: More Mathematics Than Meets the Eye, Sara Robinson.
SIAM News, Vol. 35, N. 8, Ocober 2002.