You are on page 1of 147

1

4. Funciones básicas
2
Función Exponencial
Sea z = x+iy, definimos la función 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 función entera (es analítica en todo punto).

(3) Su derivada coincide con la función misma, como
en el caso de la exponencial real.
e i e e
i
÷ = + =
+
) sin (cos
1
t t
t
3 3 2 / 3
) 2 / sin 2 / (cos ie i e e
i
= + =
+
t t
t
3
(2) Veamos que e
z
es una función entera, es decir analítica 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
= + =
c
c
+
c
c
= sin cos
4
Podríamos haber abordado la definición de la
siguiente manera:
Recordando que la función exponencial real se determina
por la ecuación diferencial f'(x) = f(x) con f(0)=1, nos
preguntamos si existe una solución analítica a:
f'(z) = f(z) con f(z)=1. Si la solución existe, coincidirá con
e
x
cuando z = x.
0 ) 0 ( , 1 ) 0 ( ), (
) (
= = = + =
c
c
+
c
c
= v u z f iv u
x
v
i
x
u
dz
z df
) , ( ), , ( y x v
x
v
y x u
x
u
=
c
c
=
c
c
¬
Supongamos como soluciones (separación 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 podríamos haber alcanzado la definición a través de series...
7
Propiedades de la función 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 = ± nt (n = 0,1,2.....).
Igualando la parte real:
1 = e
x
cos y = e
x
cos (± 2nt) = e
x
¬ x=0.
¬ z = ± 2nt 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 definición.
Para n > 1, aplicamos e
z+w
= e
z
e
w
e inducción.

Para n < -1, (e
z
)
n
= [(e
z
)
-1
]
–n
= (e
-z
)
–n
= e
nz
.


9
10


y
x
t
-t
-3t
3t
u
v
(5) Observemos que e
z
= 0 ¬ z. El rango de la función
exponencial es todo el plano w, excepto 0, C - {0}.
(7) De modo que e
z
es periódica con periodo 2t i
e
z+ 2t i
= e
z
¬ z
(6) arg e
z
= y ± 2nt (n = 0,1,2...).

Así que podemos dividir el
plano z en bandas periódicas
infinitas de ancho 2t. De modo
que la imagen de cada banda
llena la totalidad del plano w
(excepto w = 0). La banda
-t < y s t se denomina región
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
= = ÷ = + =
+ = =
| u , ) / arctan( ,
) sin (cos ) (
2 2
Las líneas y = c e y = d se transforman en los rayos
respectivamente (a excepción del origen). Las línea x = a y x = b se
transforma en los círculos de radio R = a, b respectivamente.
Combinando ambos hechos, observa como se transforma el rectángulo.
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 + = =
u u
u
sin cos i e
i
+ =
) sin (cos y i y e
e e
x
y i x z
+ =
=
+
(8) Fórmula de Euler
Cuando z es imaginario puro (x = 0):
24
( )( )
( )
( )
u
u
u
| | | u | u
| u
u u u
u u u u
u
u u u
| u
u u
| u | u
u u u u
| u | u | | u u
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
) (
¿Cómo llegó Euler a esta fórmula? (Series de potencias ...)
25
0 1= +
t i
e
u u
u
sin cos i e
i
+ =
(9) “The most remarkable fórmula in math”
(Richard Feynman)
nos proporciona la siguiente identidad:
Observa que para
la fórmula de Euler,
t u =
26
From Gianluca Gorni's web site

27
Ejercicio: Hallar todas las soluciones de e
z
= 3+4i
Solución: Igualando módulos
|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 ± 2nt
z = 1,609 + (0,927 ± 2nt) 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 u u i r z + =
z
u
y
x
r
u
u u
i
e i = + sin cos
u i
re z =
(12) Las formas exponencial y trigonométrica
Recuerda que la forma polar para un número complejo es
La fórmula de Euler nos dice que
Forma
exponencial
de un número
complejo
29
u
u
i
i
re z
re z
÷
=
=
4 / t i
e z =
4 / t i
e z
÷
=
(13) La función exponencial
y el conjugado
u i
e z = ¿Qué números complejos satisfacen la expresión ?
El módulo es 1 y puede tomar cualquier valor, de modo que
satisfacen la expresión todos los números complejos sobre el
círculo unidad.
x
y
z
u i
e z =
u
u i
e z 2 1+ =
Todos los números complejos sobre un
círculo de radio 2, centrado en z
0
=1
¿Qué números complejos satisfacen la expresión ?
x
y
2
u i
e z 2 1+ =
z
0
=1
30
(14) Producto y división 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
t
t
÷
÷
= ÷
= ÷
i
i
i
e
e
e
i
i
) 4 / (
) 4 / (
) 2 / (
8
1
8
1
2 2
t
t
t
÷
÷
÷
= =
÷
÷
÷
2
1
2 2
1 1
u
u
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
u u
u
u
u u u u
÷
+
= =
= =
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
Aplicación: Fasores
Muchas señales pueden ser representadas como senoides:
t
) sin( ) ( t a t X e =
a
e
t 2
e
t
33
| |
t i
ae t i t a t z
e
e e = + = ) sin( ) cos( ) (
t
e
t 2
e
t A
A
B B
C
D
C
D
A
B
C
e
) (t z
t e
Representación de un número complejo en forma de fasor
34
) (
)] sin( ) [cos( ) ( '
| e
| e | e
÷
= ÷ + ÷ =
t i
Ae t i t A t z
t
e
| t + 2
e
| t + A
A
B
B
C
D
C
D
A
B
C
e
) (t z
| e ÷ t
Cambio de Fase
|
e
|
| |
t i
Ae t i t A t z
e
e e = + = ) sin( ) cos( ) (
) ( ' t z
35
Corriente Alterna
) cos( ) ( t I t i e =
Resistencia R
) cos( v(t) t IR e =
|
.
|

\
|
÷ =
2
π
cos v(t) t
C
I
e
e
|
.
|

\
|
+ =
2
π
cos v(t) t LI e e
( )
t j
e R I
e
Re v(t) =
|
|
.
|

\
| ÷
=
t j
e
C
j
I
e
e
Re v(t)
( )
t j
e L j I
e
e Re v(t) =
La tensión está en fase con la corriente
Inductancia L
La tensión adelanta a la corriente en
La tensión se retrasa respecto a la corriente en
2
t
Circuitos
2
t
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
e
e e
e e
e e
e
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
e e
e e
e
e
e e
e
e
e
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
e e
e e e e
e e e e e
Re Re ) sin(
2
π
sin ) sin(
2
π
cos ) cos(
2
π
cos v(t)
= = ÷ =
=
|
.
|

\
|
÷ =
|
.
|

\
|
+ =
37
¦
¦
¹
¦
¦
´
¦
÷
=
L j
C
j
R
Z
e
e
Definimos la impedancia compleja Z como
Si definimos la tensión compleja como V = IZ
( )
t j
e IZ
e
Re v(t) o =
( ) ( )
t j t j t j
e L j I e
C
j
I e R I
e e e
e
e
Re v(t) Re v(t) Re v(t) Como =
|
|
.
|

\
| ÷
= =
( )
t j
e Z I
e
Re v(t) =
Cada una de esas fórmulas pueden ser escritas como
( )
t j
e V
e
Re v(t) = podemos escribirlo en la forma
Resistencia
Capacitancia
Inductancia
38
u i
e
Podemos escribir:
u u u u
u u
sin cos , sin cos i e i e
i i
÷ = + =
÷
u u
u u u u
sin
2
, cos
2
=
÷
=
+
÷ ÷
i
e e e e
i i i i
x
y
u i
e
÷
u i
e
÷
u cos 2
u
Funciones trigonométricas
A partir de la fórmula de Euler:
39
Whittaker & Watson,
A Course of
Modern Analysis,
Fourth edition 1927
(Un paréntesis)
40
Observa que los autores suponen que el lector está familiarizado con la
siguiente identidad trigonométrica:
( )
1
1
2
2
sin sin sin
n
n
n
n n n
t
t t
÷
÷
=
( )( )
( )
( )
1
2
2sin 2sin 2sin
n
n n n
n
t
t t
÷
=
que es equivalente a:
Esta identidad trigonométrica
es equivalente al siguiente teorema geométrico:
s
i
n

(

k
t
/
n

)

n
t
( ) 1 n
n
t ÷
k
n
t
1
2

s
i
n

(

k
t
/
n

)

n
t
( ) 1 n
n
t ÷
k
n
t
1
Si equiespaciamos n+1 puntos alrededor del círculo
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
t
t t
÷
=
Reordenando las cuerdas, introduciendo números complejos y usando la idea de que
el valor absoluto y la suma de números complejos corresponde a la adición de
vectores. La longitud de la k-ésima cuerda será:
2

s
i
n

(

k
t
/
n

)
n
t
( ) 1 n
n
t ÷
k
n
t
1
2k i
n
e
t
( ) 2 1 n i
n
e
t ÷
2 i
n
e
t
1
i
n
e
t
( ) ( ) ( ) ( )
( )
( )
( )
( )
( )
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
t t t t t t ÷ ÷
÷ ÷ ÷ = ÷ ÷ ÷
n i k
e n k
/ 2
1 ) / sin( 2
t
t ÷ =
Y el producto de la longitud de las n-1 cuerdas será:
Introduzcamos un número complejo arbitrario z y definamos la
función:
2k i
n
e
t
( ) 2 1 n i
n
e
t ÷
2 i
n
e
t
1
i
n
e
t
( )
( )
( )
( )
( )
( )
( )
2 1 2 2 2 1 i n i n n i n
g z z e z e z e
t t t ÷
= ÷ ÷ ÷
2k i
n
e
t
( ) 2 1 n i
n
e
t ÷
2 i
n
e
t
1
z
( )
( )
( )
( )
( )
( )
( )
2 1 2 2 2 1
1 1 1 1 .
i n i n n i n
g e e e
t t t ÷
= ÷ ÷ ÷ Evaluemos:
Para ello observemos que en los factores aparecen los n números:
( ) ( ) ( ) ( ) 2 1 2 2 2 3 2 1
1, , , , ,
i n i n i n n i n
e e e e
t t t t ÷
, que son las raíces enésimas de la unidad.
( )
( )
( )
( )
( )
( )
( )
2 1 2 2 2 1
1 1
i n i n n i n n
z z z e z e z e
t t t ÷
÷ = ÷ ÷ ÷ ÷
2k i
n
e
t
( ) 2 1 n i
n
e
t ÷
2 i
n
e
t
1
i
n
e
t
2k i
n
e
t
( ) 2 1 n i
n
e
t ÷
2 i
n
e
t
1
z
( ) ( ) ( ) ( ) 2 1 2 2 2 3 2 1
1, , , , , ,
i n i n i n n i n
e e e e
t t t t ÷
Las n raíces de la unidad son solución de la ecuación:
Por el teorema fundamental del álgebra, la ecuación polinómica 1 0
n
z ÷ =
tiene exactamente n raíces, que son:
Así el polinomio 1
n
z ÷ puede factorizarse únicamente como:
( ) ( ) 1 z g z = ÷
Como, además:
( )( )
1 2 3 1
1 1 1
n n n n
z z z z z z
÷ ÷ ÷
÷ = ÷ + + + + +
( ) ( ) 1 z g z = ÷
Así: ( )
1 2 3
1
n n n
g z z z z z
÷ ÷ ÷
= + + + + + 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
t t t ÷
= ÷ ÷ ÷
( ) 1 g n = =
Finalmente tenemos:
1 =
n
z
Longitud del producto de las n-1 cuerdas
45
Si
1 2 3 n
C C C C
1 2
1
n
n
x PC PC PC ÷ = ·
es un n-ógono regular inscrito en un círculo 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, quizás porque el uso de los
números complejos no eran todavía considerado una manera respetable de probar un
teorema en geometría.
Roger Cotes (1682 –1716)
46
A partir de la observación 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 trigonométricas de variable compleja
Observa que en
variable compleja
las funciones
trigonométricas y
exponencial están
í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 (analíticas en todo punto).
(3) Sus derivadas coinciden con sus equivalentes en variable real.
47
Ejemplo: Resolver cos

z = 5.
Solución: Aplicamos la definición en exponenciales del coseno:

cos z = [e
iz
+ e
-iz
]/2 = 5
e
iz
+ e
-iz
– 10 = 0; multiplicando la ecuación por e
iz
e
i2z
–10 e
iz
+ 1 = 0; Haciendo el cambio de variable t = e
iz
t = e
iz
= 5 ± \(25-1) = 9.899 o 0.101

z = ± 2nt ± 2.292 i (n=0,1,2....)
e
-y
= 9.899 ó 0.101 ¬ y = ±2.292
e
ix
= 1 ¬ x = ±2nt (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 trigonométricas se definen en relación 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 fórmulas usuales para las funciones trigonométricas de variable real
siguen siendo válidas 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
± = ±
= ± 
1 sin cos
2 2
= + z z
tan z y sec z (cot z y csc z) no son enteras, ya que no son analíticas en
los puntos donde cos z (sin z) es 0.
u u
u u
u
i i
i i
e e
e e
i
÷
÷
+
÷
=
1
tan Observa por ejemplo que:
51
52
Las funciones hiperbólicas reales se definen por analogía 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 hiperbólicas 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 =
Representación gráfica de las funciones reales hiperbólicas
Nota : La ecuación de una cuerda suspendida
de dos puntos a la misma altura es



|
.
|

\
|
=
a
x
a y cosh .
La curva se conoce como catenaria.

54
Interpretación de las funciones hiperbólicas reales
círculo 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 hipérbola 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 (trigonométricas) aparecen
en problemas que involucran integrales con (1-x
2
)
1/2
, las
hiperbólicas aparecen con (1+x
2
)
1/2
.

55
Derivadas de las funciones hiperbólicas reales
x x
x x
x x
2
h sec ) (tanh
sinh ) (cosh
cosh ) (sinh
=
'
=
'
=
'
Demostración:
( ) ( ) 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 trigonométricas complejas
en forma binómica:
) , ( ) , ( ) ( 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 función 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
trigonométricas 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 trigonométricas en identidades hiperbólicas:
Cualquier identidad trigonométrica seguirá siendo válida si
reemplazamos sin(), cos(), tan() por sinh(), cosh(), tanh()
respectivamente. Teniendo en cuenta, además, que si hay un
producto de dos sin() ó tan(), cambia el signo del término
sustituido.
Por ejemplo:
¢ u ¢ u ¢ u sinh cosh cosh sinh ) sinh( + = +
¢ u ¢ u ¢ u sinh sinh cosh cosh ) cosh( + = +
¢ u ¢ u ¢ u sin sin cos cos ) cos( ÷ = +
¢ u ¢ u ¢ u 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 = ±(2n+1)t/2 (n = 0,1,2...)
Parte imaginaria: sin x sinh y = 0 ¬ sinh y = 0; y = 0
z = ± (2n+1)t/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 = ± nt (n = 0,1,2...)
Parte imaginaria: cos x sinh y = 0 ¬ sinh y = 0; y = 0
z = ± nt (n = 0,1,2....)

Los ceros de cos z y sin z son los mismos que los de sus
análogas funciones cos x y sin x reales.

61
Funciones hiperbólicas complejas
Hemos definido las funciones hiperbólicas de una variable real como:
2
sinh
2
cosh
x x
x x
e e
x
e e
x
÷
÷
÷
=
+
=
Parece natural definir las funciones
hiperbólicas 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 hiperbólicas 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 analíticas 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 hiperbólicas complejas en forma binómica:
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
hiperbólicas:
) sinh( ) cosh( ) sinh (cosh u u u u n n
n
+ = +
( ) ) sin( ) cos( sin cos u u u u 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 ecuación
.

( ) 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 ecuación 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
÷ ± + ÷ ±
= = = ÷ ±
, de donde
( ) ( )
( ) ln 3 10 ln 3 10 2 iz k i t = ÷ + = ÷ + +
, y también
( ) ( )
( ) ln 3 10 ln 3 10 2 iz k i t t = ÷ ÷ = + + +
con k un número entero. Despejando z se obtiene la solución:

( ) ( )
2 ln 3 10 , 2 ln 3 10 z k i z k i t t t = ÷ ÷ + = + ÷ +
, 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, cañas y redes. Los
gráficos 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 función iterada::


Escogemos una región del plano complejo y
tomamos cada punto de esta región 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
función 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
u 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
| |
Función logarítmica
Definimos el logaritmo de un número complejo z como
Definido de esta manera, observemos que:
El logaritmo complejo es multivaluado, una correspondencia
multívoca, no una biyección. Debido a la multivaluación de la
función arg z, a cada z corresponden un número infinito de
valores.
(|z| > 0,
no continua
en z = 0).
74
i z + =1
4 / t
2
,... 2 , 1 , 0 ), 2 4 / ( 2 ln ) 1 ln( = + ± = + n n i i t t
Por ejemplo, calculemos el valor de
Para cada valor de n obtenemos un
posible valor de la función logaritmo.
Podemos construirnos una función unívoca
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 mayúscula L para designar al valor principal:
) 4 / ( 2 ln ) 1 Ln( t i i + = +
valor principal
( ) t u t s < ÷
,... 2 , 1 , 0 ), 2 4 / ( 2 ln ) 1 ln( = + ± = + n n i i t t
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
+ =
+ + + =
+ + =
= =
+
u u
u u
u u u u
(1)
Esta es una relación
familiar para los
logaritmos naturales
Sea z
1
= z
2
= e
ti
= -1, entonces si tomamos ln z
1
= lnz
2
= ti



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 ± 2nti
= z ± 2nti
observa que ln(z
1
z
2
) = ln(z
1
) + ln(z
2
) = 2ti = ln(1)
78
79
Resumen repetición
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) + 2nt; 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 cálculos 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.
t u t s < ÷
x
y
t i z z + =ln Ln
t i z z ÷ =ln Ln
90
El logaritmo no es analítico
en z = 0 ni a lo largo del eje real negativo
x
y
Analítica 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 -π < ө s π.
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
= =
|
.
|

\
|
+ =
|
.
|

\
|
c
c
+
c
c
÷ =
c
c
÷ = =
c
c
c
c
= =
c
c
÷
u
u
u u
u u
95
Ejemplo: determinar el mayor dominio de analiticidad
de la función f(z) = Ln[z-(3+4i)].

El Ln() es analítico 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-3s 0
y = 4
x s 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
e = · = · = · =
+
+
÷
=
÷
= =
÷
÷ ÷ ÷
, 1 0
2
cos
2 2
2
t
( ) | | z sh x f log ) ( =
)
`
¹
¹
´
¦
< < > e =
2
7
arg
2
3
, 0 /
t t
w w C w D
· =
÷
=
÷
0 cos
2
) Re( y
e e
w
x x
Z n n y y
x
e ÷ = · =
=
;
2
) 1 2 ( 0 cos
0
t
Re(w)
Im(w)
t o
2
3
=
( ) | | z sh x f log ) ( =
a) Determinar la región del plano complejo en la que la
función es analítica. Considérese la
determinación del logaritmo correspondiente al ángulo

determinación t o
2
3
=
Examen
JUNIO 04/05: P-1
97
Z n n y n seny seny
e e
w
x x
e < < ÷ · < · <
+
=
÷
; 2 ) 1 2 ( 0 0
2
) Im( t t
¬ < = 0 , 0 seny x
0
; 2 ) 1 2 (
=
e < < ÷
x
Z n n y n t t
¬ < = e 0 , 0 cos , seny y R x
R x
Z n n y
e
e ÷ = ;
2
) 1 4 (
t
{ } { } Z n n y n y n x i n z
f
e
)
`
¹
¹
´
¦
÷ = < < ÷ = =
+ =
;
2
) 1 4 ( 2 ) 1 2 ( , 0
: que tales yi x z puntos de conjunto el en excepto C, en analítica es
 
t
t t t
i t
i t ÷
i t 2
0
98
b) Determinar la región del plano en la que la función
(
¸
(

¸

|
.
|

\
|
=
z
Log z f
t
cos ) (
Respuesta.
) ( cos
1
w Log
z
Log =
(
¸
(

¸

|
.
|

\
|
t
Determinación principal no analítica en: w
1
= 0; Re(w
1
) < 0; Im(w
1
) = 0
es analítica.
1) π/z no analítica en z = 0.
99
( )
... 2 , 1 , 0 ,
2 1
2
... 2 , 1 , 0 ,
2
0 cos ) 2
1
± ± =
+
=
± ± = + = · = =
k
k
z
k k
z
z
w t
t t
t
¹
´
¦
=
± = =
· ÷ = =
(b) 0
(a) ... 1 , 0
sinh sin 0 ) Im(
1
v
k k u
v u w
t
0 cos 0 cosh cos 0 ) Re(
0
1
< · < = =
>
u v u w
  
iv u w + =
1
100
¦
¹
¦
´
¦
± ± =

¸

(
¸
(
+ + e
=
·
)
`
¹
<
=
± ± = + = ·
)
`
¹
<
=
... 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
t
t
t
t
t
t
) ( ,
2 2 2 2
1
iy x z
y x
y
i
y x
x
z
w + =
+
÷
+
= =
t t t
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
¦
¹
¦
´
¦

¸

(
¸
(
+ +
e
=
¬
¦
¹
¦
´
¦
¦
)
¦
`
¹

¸

(
¸
(
+ +
e
=
¬
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 función
es analítica.
Considerar la determinación 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 analítica 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
t
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| + 4πi
105
106
107
Funciones trigonométricas e hiperbólicas 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 expresión

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
Z e
+ =
|
|
.
|

\
|
|
.
|

\
|
+ + =
|
|
.
|

\
|
+ ÷ =
=
|
|
.
|

\
|
+ ÷
=
|
|
.
|

\
|
÷
+
=
k
k k i
i
i
i
i
i
i
i
i
arctg
t
t
t
t
Examen
JUNIO 02/03: P-1
116
P1. Junio 2007
1. Obtener la forma binómica de
Respuesta.
)
3
arcsin(
t
i
| |
(
(
¸
(

¸

+ ± ÷ ÷ =
|
.
|

\
|
÷ ± ÷ =
9
1
3
log
3
arcsin
1 log arcsin
2
2
t t t
i i
z iz i z
117
... 2 , 1 , 0 k
) 2 (
9
1
3
ln
3
arcsin
2
± ± =
(
(
¸
(

¸

+ +
|
|
.
|

\
|
+ + ÷ =
|
.
|

\
|
t t
t t t
k i i i
a) Solución con signo negativo de la raíz cuadrada:
... 2 , 1 , 0 k
9
1
3
ln ) 2 (
3
arcsin
2
± ± =
(
(
¸
(

¸

|
|
.
|

\
|
+ + ÷ + + =
|
.
|

\
|
t t
t t
t
i k i
118
... 2 , 1 , 0 k
) 2 0 (
3 9
1 ln
3
arcsin
2
± ± =
(
(
¸
(

¸

+ +
|
|
.
|

\
|
÷ + ÷ =
|
.
|

\
|
t
t t t
k i i i
b) Solución con signo positivo de la raíz cuadrada:
... 2 , 1 , 0 k
3 9
1 ln 2
3
arcsin
2
± ± =
(
(
¸
(

¸

|
|
.
|

\
|
÷ + ÷ + =
|
.
|

\
|
t t
t
t
i k i
119
120
Potencias
Podemos expresar potencias de números complejos en forma de
funciones exponenciales/logarítmicas 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á también. El número 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 idéntico a la
potencia enésima habitual de z

- Si c = n = -1,-2,.... la situación 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 función de los múltiplos de
2ti/n y obtenemos distintos valores de la raíz n
th

- Si c = p/q, siendo el cociente de dos enteros positivos, z
c
tiene
un número 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 t t t
) (n
e i
i
0
2 /
=
÷
=
t
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 función es analítica en una región R si es
diferenciable en todos los puntos de R.
Los términos función holomorfa, función diferenciable, función
compleja diferenciable o función regular se usan a menudo de
forma intercambiable para referirse a función analítica. Muchos
matemáticos prefieren el término “función holomorfa”, mientras que
“función analítica” es más usado por físicos e ingenieros.
Recuerda que una función analítica en todos los puntos del plano
complejo se llama entera. Como hemos visto una función analítica
puede no serlo en uno o más puntos singulares o a lo largo de los
cortes de ramas.
Para acabar, una función univaluada que es analítica en todo punto
de su domino a excepción de un conjunto discreto de singularidades
(polos y singularidades no esenciales), se denomina función
meromorfa.
131
M.C. Escher
132

¿Qué efecto quiere conseguir
Escher en esta litografía?

¿Por qué aparece una mancha
blanca en el centro del cuadro?
The Mathematical Structure of
Escher’s Print Gallery

B. de Smit and H. W. Lenstra Jr.
Notices of the AMS, vol. 50, N. 4
(April 2003)
Prentententoonstelling (Galería 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 mágico de M. C. Escher (Bruno Ernst, ed. Taschen)
134
Mundo
“real”
Mundo
“curvo”
Transformación
135
Transformación
Anti-transformación
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 o
o
= = = 
w
w log
w log o
) log exp( w o
137
i i
w w w h z w
t t o
o
o
2 / ) 256 log 2 ( con
) log exp( ) (
+ =
= = = 
Rectificación de la litografía
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 pequeña 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
o
o
o
o


141
Reconstrucción
142
2 ×
143
4 ×
144
8 ×
145
16 ×
146
32 ×
147
Una rotación 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.
SI AM News, Vol. 35, N. 8, Ocober 2002.