4.

Funciones bsicas

Funcin Exponencial
Sea z = x+iy, definimos la funcin exponencial
como:

e e (cos y i sin y )
z

e1i e(cos i sin ) e

Por qu?

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

(1) ez se reduce a ex cuando z es real (cuando y = 0).

(2) ez 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.

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

ux = ex cos y = vy

uy = -ex sin y = -vx

es decir, cumplen las las ECR, para todo (x,y).

(3) Su derivada es:

de
u v
x
x
z

i e cos y ie sin y e
dz x x
z

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
ex cuando z = x.
df ( z ) u v

i u iv f ( z ), u (0) 1, v(0) 0
dz
x x
u
v

u ( x, y ),
v ( x, y )
x
x

Supongamos como soluciones (separacin de variables):

u ( x, y ) p ( y )e x , p (0) 1;

v( x, y ) q ( y )e x , q(0) 0

u ( x, y ) p ( y )e x , p (0) 1;

v( x, y ) q ( y )e x , q(0) 0

Derivemos ambas ecuaciones respecto a y y apliquemos CR:

p ' ( y )e x u y v x q ( y )e x
q ' ( y ) e v y u x p ( y )e
x

p' ( y ) q( y )
q' ( y ) p( y )

p' ' ( y ) q' ( y ) p( y )

' ' ( y) ( y) 0
q' ' ( y ) p' ( y ) q( y )

Todas las soluciones son de la forma: A cos y B sin y

con A y B constantes. Como: q' (0) p(0) 1; p ' (0) q (0) 0
p( y ) cos y; q ( y ) sin y

f ( z ) e cos y ie sin y
x

O bien podramos haber alcanzado la definicin a travs de series...

Propiedades de la funcin exponencial

(1)

z1 z 2

z1 z 2

e e
z1

z2

( x1 x2 ) i ( y1 y 2 )

x1 x2

[cos( y1 y2 ) i sin( y1 y2 )]

x1 x2

[(cos y1 cos y2 sin y1 sin y2 )

i (sin y1 cos y2 cos y1 sin y2 )]

e (cos y1 i sin y1 )e (cos y2 i sin y2 )
x1

e e
z1

x2

z2

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

(5) Observemos que ez 0 z. El rango de la funcin

exponencial es todo el plano w, excepto 0, C - {0}.
(6) arg ez = y 2n

(n = 0,1,2...).

(7) De modo que ez es peridica con periodo 2 i

y
v
ez+ 2 i = ez z
3

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

-3

10

f ( z ) e e (cos y i sin y )
z

x 2 y 2 , arctan( y / x) R e x , y

Las lneas y = c e y = d se transforman en los rayos c, d

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.

11

f(z) = exp(z) = ex (cos y + i sen y)

Esquema de color dependiente del valor real

Dominio

Rango

12

f(z) = exp(z) = ex (cos y + i sen y)

Esquema de color dependiente del valor imaginario

Dominio

http://winnie.fit.edu/~gabdo/function.html

Rango

13

The complex exponential

maps the infinite open strip
bounded by the horizontal
lines through i one-toone 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.

14

ez = ex (cos y + i sen y)

(1.1)

15

16

17

18

19

20

21

22

(8) Frmula de Euler

e e
z

x i y

e (cos y i sin y )
x

Cuando z es imaginario puro (x = 0):

e z e i y cos y i sin y
i

e cos i sin
23

Cmo lleg Euler a esta frmula? (Series de potencias ...)

cos i sin cos i sin cos( ) i sin( )
cos i sin n cos(n ) i sin(n )
f ( ) f ( ) f ( )
[ f ( )]n f (n )
f ( ) e k
k

e e e

k ( )

f ( ) e k

k n

e nk

f ( ) cos i sin e k
df
sin i cos i (cos i sin ) ke k
d
k i
f ( ) cos i sin ei

24

(9) The most remarkable frmula in math

(Richard Feynman)

Observa que para

la frmula de Euler,
i

e cos i sin
nos proporciona la siguiente identidad:

e 1 0
25

From Gianluca Gorni's web site

26

(10) |eiy| = |cos y + i sin y| = (cos2y + sin2y) = 1

(11) |ez| = |ex+iy|= |ex| |eiy|= |ex|= ex > 0
e 4 0.5i

cos 0.5 e 4 sin 0.5

2

e cos
4 2

0.5 sin 2 0.5 e 4

Ejercicio: Hallar todas las soluciones de ez = 3+4i

Solucin: Igualando mdulos

|ez| = ex = 5
x = ln(5) = 1,609. Igualando partes real e imaginaria:
ex cos y = 3; ex sin y = 4

cos y = 0,6; sin y = 0,8 y = 0,927 2n

z = 1,609 + (0,927 2n) i

(n = 0,1,2.....)

27

(12) Las formas exponencial y trigonomtrica

Recuerda que la forma polar para un nmero complejo es

z r (cos i sin )

La frmula de Euler nos dice que

Forma
exponencial
de un nmero
complejo

cos i sin e

z re

i
28

(13) La funcin exponencial

y el conjugado

z re

z re

y
z e i / 4

z e i
z

z e i / 4

Qu nmeros complejos satisfacen la expresin

z e i

El mdulo es 1 y puede tomar cualquier valor, de modo que

satisfacen la expresin todos los nmeros complejos sobre el
crculo unidad.
i
Qu nmeros complejos satisfacen la expresin z 1 2e ?
y

z 1 2e i
2

z0=1

Todos los nmeros complejos sobre un

crculo de radio 2, centrado en z0=1
29

(14) Producto y divisin en forma exponencial

Es sencillo multiplicar y dividir en forma
exponencial. Por ejemplo, dividamos:

i e

/ 2 i

2 2i 8e
En general:

z1 r1e

i1

z 2 r2 e i 2

/ 4 i

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

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

z1 z 2 r1e r2 e

i 2 t

r1r2 e

i (1 2 )

i1

z1 r1e
r1 i (1 2 )
i 2 e
z 2 r2 e
r2
30

31

Aplicacin: Fasores
Muchas seales pueden ser representadas como senoides:

X (t ) a sin(t )

32

z (t )

A 2

z (t ) a cos(t ) i sin(t ) ae

it

Representacin de un nmero complejo en forma de fasor

33

Cambio de Fase
B

z (t )

z ' (t )

A 2

z (t ) A cos(t ) i sin(t ) Ae
i (t )
z ' (t ) A[cos(t ) i sin(t )] Ae
it

34

Corriente Alterna

i (t ) I cos(t )

Circuitos

Resistencia R

v(t) IR cos(t )

v(t) I Re R e j t

La tensin est en fase con la corriente

v(t)

cos t
C
2

La tensin se retrasa respecto a la corriente en

Inductancia L

v(t) LI cos t
2

La tensin adelanta a la corriente en

j j t
v(t) I Re
e
C

v(t) I Re j L e j t

35

v(t ) IR cos( t )

Pero R e j t R cos(t ) j sin(t ) . As que Re R e j t

R cos t. Por tanto v(t) IR cos(t ) I Re R e j t

v(t)

cos t
cos(

t
)
cos

sin(

t
)
sin

C
2 C
2
2

j j t
I
I
j t

sin( t )
Re je
I Re
e
C
C
C

v(t) LI cos t I L cos(t ) cos sin(t ) sin

2
2
2

I L sin( t ) I L Re je j t I Re j Le j t
36

Definimos la impedancia compleja Z como

R
j
C

Resistencia
Capacitancia
Inductancia

j L

Como v(t) I Re R e

j t

j j t
v(t) I Re
e
C

v(t) I Re j L e j t

Cada una de esas frmulas pueden ser escritas como

v(t) I Re Z e

j t

v(t) Re IZ e j t

Si definimos la tensin compleja como V = IZ

podemos escribirlo en la forma

v(t) Re V e j t

37

Funciones trigonomtricas
A partir de la frmula de Euler:
i

e cos i sin , e

cos i sin

Podemos escribir:
i

e e
2

cos ,

e e
2i

sin

x
2 cos
38

(Un parntesis)

Whittaker & Watson,

A Course of
Modern Analysis,
Fourth edition 1927

39

Observa que los autores suponen que el lector est familiarizado con la
siguiente identidad trigonomtrica:

sin sin

2
n

L sin

n 1
n

2n1

que es equivalente a:

2sin 2sin L

2
n

2sin n
n 1
n

40

k
n

n 1
n

Esta identidad trigonomtrica 2sin n 2sin 2n L

2 sin ( k/n )

n 1

sin ( k/n )

k
n

2sin nes
n 1
n

equivalente al siguiente teorema geomtrico:

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
P.K. 1999 es n.
MM3: ODEs

k
n

n 1
2 sin ( k/n )

2 k i
n

e
2 si

n(

2 i
n

k /
n)

i
n

2 n 1 i
n

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 sin( k / n) 1 e 2 ki / n

Y el producto de la longitud de las n-1 cuerdas ser:

1 e

2 1 i n

P.K. 1999

1 e

2 2 i n

L 1 e

2 n 1 i n

1 e

MM3: ODEs

2 1 i n

1 e

2 2 i n

L 1 e

2 n 1 i n

2 k i
n

e
2 si

n(

k /

2 i
n

2 k i
n

2 i
n

en
n)

2 n 1 i
n

2 n 1 i
n

Introduzcamos un nmero complejo arbitrario z y definamos la

funcin:
2 1 i n
2 2 i n
2 n 1 i n
g z

Evaluemos:

ze

ze

g 1

L z e

1 e 1 e L 1 e
2 1 i n

2 2 i n

2 n 1 i n

Para ello observemos que en los factores aparecen los n nmeros:

1, e 2 1 i n , e 2 2 i n , e 2 3 i n , K , e 2 n 1 i

P.K. 1999

, que son las races ensimas de la unidad.

MM3: ODEs

2 k i
n

e
2 si

n(

2 i
n

e
k /

n)

2 k i
n

i
n

2 i
n

2 n 1 i
n

2 n 1 i
n

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

z n 1 z 1 z e 2 1 i

z e L z e

2 n 1 i n

2 2 i n

z 1 g z

Como, adems:

z n 1 z 1 z n 1 z n 2 z n 3 L z1 1

As:

g z z n 1 z n 2 z n 3 L z 1 y

z 1 g z

g 1 n . Finalmente tenemos:

2 1 i n
the
product
the lengths
of the
1 e 2 2 i n L 1 e 2 n 1 i n g 1 n
Longitud
delofproducto
de las
n-1 chords
cuerdas 1 e

P.K. 1999

MM3: ODEs

Teorema de Cotes (1716)

Ck

C3
C2
C1

Cn
Cn 1

Roger Cotes (1682 1716)

Si C1C2C3 L Cn es un n-gono regular inscrito en un crculo de radio unidad centrado

en O y P el punto sobre OC1 a distancia x de O, entonces
x n 1 PC1 PC2 L PCn

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.

45

Funciones trigonomtricas de variable compleja

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:
Observa que en

e e
cos z
2
iz

i z

e e
, sin z
2i

Con estas definiciones:

iz

i z

variable compleja
las funciones
trigonomtricas y
exponencial estn
ntimamente
relacionadas, cosa
que no ocurre en
variable real.

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

d
(cos z ) sin z
dz

d
(sin z ) cos z
dz
46

Ejemplo: Resolver cos z = 5.

Solucin: Aplicamos la definicin en exponenciales del coseno:

cos z = [eiz + e-iz]/2 = 5

eiz + e-iz 10 = 0; multiplicando la ecuacin por eiz

ei2z 10 eiz + 1 = 0; Haciendo el cambio de variable t = eiz
t = eiz = 5 (25-1) = 9.899 o 0.101

e-y = 9.899 0.101

y = 2.292

eix = 1 x = 2n (n=0,1,2....)

z = 2n 2.292 i

(n=0,1,2....)

47

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.

48

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.

49

El resto de funciones trigonomtricas se definen en relacin a las

funciones seno y coseno mediante las relaciones conocidas:

sin z
cos z
1
1
tan z
, cot z
, sec z
, csc z
cos z
sin z
cos z
sin z
Observa por ejemplo que:

1 e i e i
tan i
i e e i

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.

Las frmulas usuales para las funciones trigonomtricas de variable real

siguen siendo vlidas para las correspondientes de variable compleja:

cos( z1 z 2 ) cos z1 cos z 2 sin z1 sin z 2

sin( z1 z 2 ) sin z1 cos z 2 cos z1 sin z 2
cos 2 z sin 2 z 1
50

51

Funciones hiperblicas de variable real (recordatorio)

1 iz
iz
sin z
e e
2i

1 iz
cos z e e iz
2

iz

1e e
tan z iz
i e e iz
iz

Las funciones hiperblicas reales se definen por analoga a las

definiciones de seno, coseno y tangente en variable compleja:

1 x x
sinh x e e
2

1 x x
cosh x e e
2
x

sinh x e e
tanh x
x x
cosh x e e

52

Representacin grfica de las funciones reales hiperblicas

y sinh x

10

y cosh x

15
10
5

5
-3

-2

-1

-5
1

-10
-3

-15

-2

-1

-1

Nota: La ecuacin de una cuerda suspendida

de dos puntos a la misma altura es

y tanh x 1

-3

-2

x
.
a

y a cosh

La curva se conoce como catenaria.

-1

53

Interpretacin de las funciones hiperblicas reales

2
2
(cos x, sin x ) se hallan sobre el crculo x 2 y 2 1 (cos x sin x 1)

(cosh x, sinh x) se halla sobre la hiprbola

cosh 2 x sinh 2 x 1
x2 y2 1

(cos x, sin x)

(cosh x, sinh x)

As como las funciones circulares (trigonomtricas) aparecen

en problemas que involucran integrales con (1-x2)1/2, las
hiperblicas aparecen con (1+x2)1/2.
54

Derivadas de las funciones hiperblicas reales

(sinh x) cosh x
(cosh x) sinh x

Demostracin:

(tanh x) sec h 2 x

1 x
1 x
x
x

(sinh
x
)

e
cosh x

2
2
1 x
1 x
x
x

(cosh
x
)

e
sinh x

2
2
1
Como
tanh
x

sinh
x
(cosh
x
)

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

sinh 2 x

1
2
cosh x
1 tanh 2 x
sec h 2 x

55

56

Escribamos las funciones trigonomtricas complejas

en forma binmica: f ( z ) u ( x, y ) i v ( x, y )

1 iz
1 i ( x i y ) i ( x i y ) 1 y ix
i z
cos z e e e
e
e
e y ix
2
2
2
1 y
e cos x i sin x e y cos x i sin x
2
e y e y
e y e y
cos x
i sin x
2
2

cos z cos x cosh y i sin x sinh y

De la misma manera para la funcin seno tenemos:

sin z sin x cosh y i cos x sinh y

57

Si particularizamos en las definiciones de las funciones

trigonomtricas complejas para z = ix tendremos:

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

1 x
x
cos ix e e cosh x
2
sin ix i sinh x
tan ix

i tanh x
cos ix cosh x
58

sin ix i sinh x

cos ix cosh x

tan ix i tanh x

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:

sin( ) sin cos cos sin

sinh( ) sinh cosh cosh sinh
cos( ) cos cos sin sin

cosh( ) cosh cosh sinh sinh

59

(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)/2 (n = 0,1,2...)

Parte imaginaria: sin x sinh y = 0 sinh y = 0; y = 0

z = (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 = n (n = 0,1,2...)

Parte imaginaria: cos x sinh y = 0 sinh y = 0; y = 0

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

60

Funciones hiperblicas complejas

Hemos definido las funciones hiperblicas de una variable real como:

e x e x
cosh x
2
e x ex
sinh x
2

Parece natural definir las funciones

hiperblicas de variable compleja
mediante las expresiones:

e z e z
e z e z
cosh z
, sinh z
2
2

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

61

Escribamos las funciones hiperblicas complejas en forma binmica:

1 z z 1 xi y xi y
cosh z e e e e

2
2
1 x
e (cos y i sin y ) e x (cos y i sin y
2

cosh z cosh x cos y i sinh x sin y

De la misma manera podemos demostrar que:

sinh z sinh x cos y i cosh x sin y

62

Ejemplo: Veamos que |cos z|2 = cos2x + sinh2y

|cos z|2 = cos2x cosh2y + sin2x sinh2y
Como cosh2y sinh2y = [(ey + e-y)]2-[(ey - e-y)]2 = 1
|cos z|2 = cos2x (1 + sinh2y) + sin2x sinh2y = cos2x + sinh2y

Ejercicio: Demostrar que : cosh (iz) = cos z y sinh (iz) = sin z

Ejercicio: Demostrar la identidad de Moivre para funciones
hiperblicas:

cos i sin

cos(n ) i sin( n )

(cosh sinh ) cosh(n ) sinh( n )

n

63

64

65

3i sen z

Ejercicio: Hallar todas las soluciones de la ecuacin

eiz e iz
eiz e iz

3i eiz e iz 6
. sen z
2i
2i
. Hacemos

eiz T
, y la ecuacin resulta:

T T 1 6 T 2 6T 1 0
, cuyas soluciones son:

36 4
6 2 10

3 10
2
2

, de donde

iz ln 3 10 ln 3 10 2k i
, y tambin

iz ln 3 10 ln 3 10 2k i
con k un nmero entero. Despejando z se obtiene la solucin:

z 2k i ln 3 10 , z 2k i ln 3 10

, con k un n entero.

66

f(z) = sen z

sin z sin x cosh y i cos x sinh y

Esquema de color dependiente del valor imaginario

Dominio

Rango

67

f(z) = cosh z

cosh z cosh x cos y i sinh x sin y

Esquema de color dependiente del valor real

Dominio

Rango

68

f(z) = cosh z
Esquema de color dependiente del valor imaginario
Dominio

Rango

cosh z cosh x cos y i sinh x sin y

69

70

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
71

Partimos de una funcin iterada::

f ( z n ) z n 1 sin z n2
Escogemos una regin del plano complejo y
tomamos cada punto de esta regin como
semilla inicial z0 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 z0 como un punto
blanco,
(2) En caso contrario lo pintamos en negro.

Biomorfos

f ( z n ) z n 1 cosh z n2

72

Funcin logartmica
Definimos el logaritmo de un nmero complejo z como

ln z ln | z | i arg z
ln r i

(|z| > 0,
no continua
en z = 0).

Definido de esta manera, observemos que:

ln z

ln| z| i arg z

e e

ln| z| i arg z

| z | e

i arg z

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.

73

Por ejemplo, calculemos el valor de

ln(1 i ) ln 2 i ( / 4 2n ), n 0,1,2,...
z 1 i

2
/4

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

Valor principal del logaritmo

Tenemos:

ln(1 i ) ln 2 i ( / 4 2n ), n 0,1,2,...

El valor principal de ln z se define como el valor

correspondiente al valor principal del argumento de z:

Ln(1 i ) ln 2 i ( / 4)

valor principal

Usamos la letra mayscula L para designar al valor principal:

Ln z ln z iArg z
75

76

(1) ln ( z z ) ln r e
1 2

i 1

r2 e

i 2

lnr r e
1 2

i ( 1 2 )

ln r1r2 i (1 2 )

ln r1 ln r2 i1 i 2
ln z1 ln z 2

Esta es una relacin

familiar para los
logaritmos naturales

Sea z1 = z2 = ei = -1, entonces si tomamos ln z1 = lnz2 = i

observa que ln(z1z2) = ln(z1) + ln(z2) = 2i = ln(1)

PERO: no se cumple para el valor principal!

Ln(z1z2) = Ln(1) = 0
ln(ez) = ln(ex+iy) = ln(ex) + i y 2ni
= z 2ni

77

78

Resumen repeticin

79

80

81

82

83

f(z) Ln z ln z iArg z
Esquema de color dependiente del argumento

Dominio

Rango

84

85

86

87

Derivada del ln(z)

Sea

ln z = u(x,y) + i v(x,y).

Entonces: u(x,y) = ln|z| = ln(x2+y2)

v(x,y) = arg z = tan-1(y/x) + 2n; n=0,1,...

ux = x/(x2+y2)
vy = y/(x2+y2)
(ln z)/ = ux + i vx= x/(x2+y2) i y/(x2+y2)

= (x - i y)/(x2+y2) = 1/z

Ejercicio:
Repetir los clculos anteriores en polares.
88

Analiticidad de Ln z

Ln z ln z iArg z
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.

y
Lnz ln z i

x
Lnz ln z i
89

De modo que podemos tomar como dominio de analiticidad:

D = plano z {R- U 0}

y
Analtica en todo
punto
excepto aqu

El logaritmo no es analtico
en z = 0 ni a lo largo del eje real negativo

x
Existen y son continuas las derivadas parciales y se cumplen
las ECR en el dominio D?
ux = x/(x2+y2) = vy = [1/(1+(y/x)2)](1/x)
uy = y/(x2+y2) = -vx = -[1/(1+(y/x)2)](-y/x)

Se satisfacen ECR
90

91

92

93

Repetimos: tomaremos como dominio de analiticidad

D = Z -{R- U 0}, o en polares los z's tq. r > 0 y - < .
Veamos sin son continuas las derivadas parciales y se
cumplen las ecuaciones de CR en el dominio D en polares:

u 1 1 v

r r r

v
1 u
0
r
r
u v
f ' ( z ) (cos i sin )
i
r
r
1
1

i 1
f ' ( z ) e i 0 i
z
r
re
94

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
y
3+4i
x3
4

x
95

a) Determinar la regin del plano complejo en la que la

funcin f ( x) log sh z es analtica. Considrese la
3

determinacin del logaritmo correspondiente al ngulo

2

f ( x) log sh z

3
7
D w C / w 0,
arg w

2
2
x

e z e z e x e x
e e
w shz

cos y i
seny
2
2
2
w 0 e z e z e 2 z 1 z ni, n Z

e e
Re( w)
2
x

cos y 0

x0

cos y 0 y (2n 1)

Im(w)

Re(w)
3
determinacin
2

;nZ
2

Examen
JUNIO 04/05: P-1

96

e x e x
Im(w)
seny 0 seny 0 (2n 1) y 2n ; n Z
2
x 0, seny 0 (2n 1) y 2n ; n Z
x0

y (4n 1) ; n Z
2
x R, cos y 0, seny 0
xR
f es analtica en C, excepto en el conjunto de puntos z x yi tales que :

z ni x 0, (2n 1)
2i

y 2n y ( 4n 1) ; n Z
2

i
0

97

b) Determinar la regin del plano en la que la funcin

f ( z ) Log cos
z

es analtica.
Respuesta.

Log cos Log ( w1 )
z

Determinacin principal no analtica en: w1 = 0; Re(w1) < 0; Im(w1) = 0

1) /z no analtica en z = 0.

98

2) w1 cos
0 k , k 0,1,2...
z
z 2
2
z
, k 0,1,2...
1 2k
u k k 0,1... (a)
Im(w1 ) 0 sin u sinh v
v 0 (b)
w1 u iv

Re( w1 ) 0 cos u cosh

v 0 cos u 0
0

99

(a) u k
u (2n 1) , n 0,1,2...
cosu 0
v0

(b) v 0

cosu 0
u 2 2k ,3 2 2k , k 0,1,2...

x
y
w1 2

i
,
2
2
2
z x y
x y

z ( x iy )
2

x
1
1
2
y
(a) 2 2 2n 1 x
2
x y
2(2n 1)
4(2n 1)

n=0,1,2...100

 y0

y0

(b) 1
2
2
1 4k 3 4k

x 2 , 2
x 3 4k , 1 4k

k=0,1,2...

101

Obtener los puntos del plano complejo donde la funcin

1
es analtica.
f ( z)
1 z 2 Considerar la determinacin principal.

1 z
2

1
Log (1 z 2 )
2

f ( z ) es analtica en todos los puntos w 1 z 2 tales que

w 0 y - Arg ( w)

w 1 z 2 1 x 2 y 2 i 2 xy

Re( w) 0 1 x 2 y 2 0 x 2 y 2 1
Im(w) 0 2 xy 0

x0
y0

x 0 y 2 1 imposible
y 0 x 2 1 x 1 x 1
102

Zonas de no analiticidad plano w

Zonas de no analiticidad plano z

Im(z)

Im(w)

Re(w)

Re(w)<0
Im(w)=0

-1

Re(z)

(Re(z)<-1) y (Re(z)>1)
Im(z)=0

103

Sol.: u(x,y) = 1/2 Log [x2 + (y-3)2]

v(x,y) = Arg (z-3i) + 4
f(z) = Log |z - 3i| + 4i
104

105

106

Funciones trigonomtricas e hiperblicas inversas

Determinemos la inversa del seno a partir de sin w z

e e
z
2i
iw

iw

1 iw
e
p

p e ;
iw

p 2izp 1 0;
2

p e iz 1 z
iw

arcsin z w i ln iz 1 z 2
Demostrar:

1
p
p
z
2i

arccos z iLn z i 1 z 2
i iz
arctan z Ln

2 iz

Todas ellas son

multiformes ...

107

108

109

110

111

El valor principal de la
arcotangente ser:

112

113

z Ln z

sinh z Ln z z 1
cosh 1

z2

1 1 z
tanh z Ln

2 1 z
1

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

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

z
1 z
1 z
114

Demostrar la expresin

1
1 iz
arctg ( z ) log

2i
1 iz

y calcular todos los valores posibles de arctg

3 .

sen( w)
e iw e iw
iw
iw
iw
iw
z tg ( w)
iw

iz

iw
cos( w) i e e
e

2 iw

1 iz
1 iz

2iw log

1 iz
1 iz

1
1 iz
w arctg ( z ) log

2i
1 iz

1 i 3
2 i2 3
1
1
log

arctg 3 log

2i
2
i
4
1

i
3

1 i 3
1
1

log
ln 1 i
2k k

2i
2
2i
3
3

2
( k )
Examen
JUNIO 02/03: P-1
115

P1. Junio 2007

1. Obtener la forma binmica de

arcsin(i )
3
Respuesta.

arcsin z i log iz 1 z 2

2
arcsin i i log 1
3
9
3

116

a) Solucin con signo negativo de la raz cuadrada:

2

arcsin i i ln 1
9
3
3
k 0,1,2...

i ( 2k )

arcsin i ( 2k ) i ln 1
3
9
3

k 0,1,2...

117

b) Solucin con signo positivo de la raz cuadrada:

arcsin i i ln
3

k 0,1,2...

2
1

i (0 2k )
9 3

arcsin i 2k i ln

k 0,1,2...

2
1

9
3

118

119

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

ze

En general, para k real:

z e

z e
k

k ln z

Definamos ahora z donde

c = a+bi es complejo como:

z e
c

c ln z

El valor principal de zc ser ecLn(z)

Observa que si z = e entonces zc = ec proporciona un nico
valor: ec = ea(cos b + i sin b). Para cualquier otra base, dado
que ln(z) es multivaluado, zc lo ser tambin. El nmero de
valores es infinito excepto cuando c es racional.

120

Es decir:

Si c = n = 1,2,.... entonces zn 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

zc = nz = e(1/n)ln z (z0)
el exponente se determina en funcin de los mltiplos de 2i/n y
obtenemos distintos valores de la raz nth

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.

121

Ejemplo: Calcular ii

i e
i

i ln i

i ( i ( 2n / 2 ))

i ln i i arg( i )

( 2n / 2 )
Infinitos valores reales!

(n 0 , 1, )

i e
i

Valor principal real

/ 2

(n 0 )
Ejercicio: Calcular la derivada de

f ( z ) z ; f ' ( z ) cz
c

c 1

122

123

124

125

126

127

128

129

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

M.C. Escher

131

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)

Qu efecto quiere conseguir

Escher en esta litografa?
Por qu aparece una mancha
blanca en el centro del cuadro?

Prentententoonstelling (Galera de grabados)

132
M.C. Escher 1956

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)

133

Mundo
real

Transformacin

Mundo
curvo

134

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.

Anti-transformacin

Transformacin
135

 log w

log w

exp( log w)

w z h( w) w exp( log w)

136

Rectificacin de la litografa

w z h( w) w exp( log w)
con (2i log 256) / 2i

137

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.

138

Escher and the Droste effect

http://escherdroste.math.leidenuniv.nl/

Tras un zoom de 28 = 256 volvemos a la imagen original.

139

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

1/

z w h ( z) w

exp log w

140

Reconstruccin

141

142

143

144

 16

145

 32

146

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.

147