4.

Funciones bsicas

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

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

e1+i = e(cos + i sin ) = e

Por qu?

e 3+i / 2 = e3 (cos / 2 + i sin / 2) = ie3

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

v(x,y) = ex sin y Tenemos: u(x,y) = ex cos 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 z u v = + i = e x cos y + ie x sin y = e z dz x x
3

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
4

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 x = v y = u x = p ( y )e x
p' ' ( y) = q' ( y) = p( y) p' ( y) = q( y) ' ' ( y) + ( y) = 0 q' ' ( y ) = p' ( y ) = q( y ) q' ( y) = p( 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 x cos y + ie x sin y
5

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

Propiedades de la funcin exponencial

(1)

e z1 + z2 = e z1 e z2

e z1 + z2 = e ( x1 + x2 ) +i ( y1 + y2 ) = e x1 + x2 [cos( y1 + y2 ) + i sin( y1 + y2 )] = e x1 + x2 [(cos y1 cos y2 sin y1 sin y2 ) + i (sin y1 cos y2 + cos y1 sin y2 )] = e x1 (cos y1 + i sin y1 )e x2 (cos y2 + i sin y2 ) = e z1 e z2
7

(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 ez+ 2 i = ez z v

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.

x - u

-3
10

(r =

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

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

Rango

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

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

10

21

22

11

(8) Frmula de Euler

e z = e x +i y = e x (cos y + i sin y )
Cuando z es imaginario puro (x = 0):

e z = e i y = cos y + i sin y

e i = 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 e k e k = e k ( + ) f ( ) = e k

(e )

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 = e i

24

12

(9) The most remarkable frmula in math

(Richard Feynman)

Observa que para = la frmula de Euler,

ei = cos + i sin
nos proporciona la siguiente identidad:

e +1 = 0
25

From Gianluca Gorni's web site

26

13

(10) |eiy| = |cos y + i sin y| = (cos2y + sin2y) = 1 (11) |ez| = |ex+iy|= |ex| |eiy|= |ex|= ex > 0
e 4+ 0.5i =

(e

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 )

x
cos + i sin = e i

La frmula de Euler nos dice que

Forma exponencial de un nmero complejo

z = re i
28

14

(13) La funcin exponencial y el conjugado

y
z = e i / 4

z = e i
z

z = re i z = re
i
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 + 2 e ?
y
z = 1 + 2ei
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 ( / 4 )i
En general:

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

z1 z 2 = r1e i1 r2 e i 2t = r1r2 e i (1 + 2 ) z1 r1e i1 r1 i (1 2 ) = i 2 = e z 2 r2 e r2

30

z1 = r1ei1 z 2 = r2 ei 2

15

31

Aplicacin: Fasores
Muchas seales pueden ser representadas como senoides:

a

2

X (t ) = a sin(t )

32

16

z (t )

t
A

C
D

A 2

z ( t ) = a [cos( t ) + i sin( t ) ] = ae i t
Representacin de un nmero complejo en forma de fasor
33

Cambio de Fase
B

z (t )

+ C

A 2 +

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

34

z ' (t )

17

Corriente Alterna

i (t ) = I cos( t )
Resistencia R

Circuitos
v(t) = I Re R e j t

v(t) = IR cos(t )
La tensin est en fase con la corriente

v(t) =

cos t 2

j j t v(t) = I Re C e

La tensin se retrasa respecto a la corriente en

Inductancia L

v(t) = LI cos t + 2

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

La tensin adelanta a la corriente en

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) = =

I I cos t = cos( t ) cos + sin( t ) sin = C 2 2 2 C

j j t I I sin( t ) = Re je j t = I Re C e 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

18

Definimos la impedancia compleja Z como

R j Z = C j L

Resistencia Capacitancia Inductancia

Como v(t) = I Re R e j t

j j t v(t) = I Re C e

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:

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

Podemos escribir:

e i + e i = cos , 2

e i e i = sin 2i

e i

e i
x
2 cos
38

e i

19

(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:
2 sin n sin n

sin (

n 1) n

= 2nn1
n1) n

que es equivalente a:

( 2sin n )( 2sin 2n )

2sin (

) =n
40

20

k n
sin ( k/n )

k n

( n 1)
n

2 sin ( k/n )

( n 1)
n

Esta identidad trigonomtrica ( 2sin )( 2sin ) ( 2sin es equivalente al siguiente teorema geomtrico:
n 2 n

( n 1)
n

)=n

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.

k n

( n 1)
2 sin ( k/n )

2 k i n

e
2 si n( k/ n)

2 i n

e
1

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

1 e

2 ( 2 ) i n

1 e

2 ( n 1) i n

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

2 n 1) i n

21

2 k i n

e
2 si n( k/ n)

2 i n

e
i
n

2 k i n

2 i n

e
1

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) =

(z e

)(z e

Evaluemos:

g (1) =

) (z e ) (1 e ( ) ) (1 e ( ) ) (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 , , e 2( n 1) i
n

, que son las races ensimas de la unidad.

2 k i n

e
2 si n( k/ n)

2 i n

e
i
n

2 k i n

2 i n

e
1

2 ( n 1 ) i n

2 ( n 1 ) i n

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

( z 1) ( z e 2(1) i n ) ( z e 2( 2 ) i n )
( z 1) ( z n 1 + z n 2 + z n 3 +
+ z +1 y

(z e (

2 n 1) i n

( z 1) g ( z )

Como, adems:
zn 1 = + z 1 + 1) =

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

As:

g ( z ) = z n 1 + z n 2 + z n 3 +

g (1) = n . Finalmente tenemos:

2 1 i n 2 2 i n Longitud del de las n-1 chords cuerdas = 1 e ( ) the product ofproducto the lengths of the 1 e ( )

)(

) (1 e (

) = g (1) = n

22

Teorema de Cotes (1716)

Ck C3 C2
O

C1 Cn

Roger Cotes (1682 1716)

C n 1

Si C 1 C 2 C 3 C n es un n-gono regular inscrito en un crculo de radio unidad centrado en O y P el punto sobre O C 1 a distancia x de O, entonces
xn 1 = PC1 PC
2

PC

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

ei z + e i z ei z e i z cos z = , sin z = 2 2i
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.

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

d (cos z ) = sin z dz

d (sin z ) = cos z dz
46

23

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
-y e = 9.899 0.101

eix

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

y = 2.292

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

24

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:

tan z =

sin z cos z 1 1 , 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

25

51

Funciones hiperblicas de variable real (recordatorio)

sin z =

1 iz e e iz 2i

cos z =

1 e iz e iz tan z = iz i e + e iz

1 iz e + e iz 2

Las funciones hiperblicas reales se definen por analoga a las definiciones de seno, coseno y tangente en variable compleja:

sinh x =

1 x x e e 2

cosh x =

1 x x e +e 2

)
52

sinh x e x e x tanh x = = cosh x e x + e x

26

Representacin grfica de las funciones reales hiperblicas

y = sinh x
15 10 5
5

y = cosh x

10

-3

-2

-1

0 -5 -10 -15

1 -3 -2 -1 0 1 2 3

y = tanh x 1

Nota : La ecuacin de una cuerda suspendida de dos puntos a la misma altura es x y = a cosh . a La curva se conoce como catenaria.
53

-3

-2

-1

-1

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

27

Derivadas de las funciones hiperblicas reales

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

Demostracin:

(tanh x) = sec h 2 x

1 1 x e e x = e x + e x = cosh x 2 2 1 x 1 x = e x e x = sinh x (cosh x ) = e + e 2 2 1 Como tanh x = sinh x (cosh x )

(sinh x ) =

( (

) ( ) (

) )

(tanh x) = sinh x(1)(cosh x) 2 sinh x + cosh x(cosh x) 1 sinh 2 x +1 cosh 2 x = 1 tanh 2 x = = sec h 2 x
55

56

28

Escribamos las funciones trigonomtricas complejas en forma binmica: f ( z ) = u ( x, y ) + i v( x, y )

cos z =

1 iz 1 1 e + e i z = ei ( x +i y ) + e i ( x +i y ) = e y +ix + 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 = (e x e x ) = i sinh x 2

cos ix =
tan ix =

1 x e + e x = cosh x 2
sin ix i sinh x = = i tanh x cos ix cosh x
58

29

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

30

Funciones hiperblicas complejas

Hemos definido las funciones hiperblicas de una variable real como:

e x + e x 2 x e ex sinh x = 2 cosh x =

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:

cosh z =

1 z z 1 x+i y xi y 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

31

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 )n = cos(n ) + i sin(n )

(cosh + sinh ) n = cosh(n ) + sinh(n )
63

64

32

65

Ejercicio: Hallar todas las soluciones de la ecuacin

. sen

3 i = sen z

(z) =

e iz e iz e iz e iz = 3i e iz e iz = 6 2i 2i

. Hacemos

e iz = T
, y la ecuacin resulta:

T T

= 6 T

+ 6T 1 = 0

, cuyas soluciones son:

T =

6 2 10 36 + 4 = = 3 2 2

10

, de donde

iz = ln 3 +
, y tambin

( (

1 0 = ln 3 +

10 + (2 k )i 1 0 + ( + 2 k ) i

iz = ln 3

1 0 = ln 3 +

con k un nmero entero. Despejando z se obtiene la solucin:

z = 2 k i ln 3 +
, con k un n entero.

10 , z = + 2 k i ln 3 +

10

)
66

33

f(z) = sen z
Dominio

sin z = sin x cosh y + i cos x sinh y

Rango

Esquema de color dependiente del valor imaginario

67

f(z) = cosh z
Dominio

cosh z = cosh x cos y + i sinh x sin y

Rango

Esquema de color dependiente del valor real

68

34

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

35

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

2 f ( z n ) = z n +1 = sin z n

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

2 f ( z n ) = z n +1 = cosh z n

72

36

Funcin logartmica
Definimos el logaritmo de un nmero complejo z como

ln z = ln | z | +i arg z = ln r + i
Definido de esta manera, observemos que:

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

eln z = eln|z|+ i arg z = eln|z|ei arg z =| z | ei arg z = 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
Para cada valor de n obtenemos un posible valor de la funcin logaritmo.

2
/4

Podemos construirnos una funcin unvoca tomando el argumento principal Arg z, en vez de arg z.
74

37

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

38

(1) ln ( z1 z 2 ) = ln [r1e i r2 e i ] = ln [r1 r2 e i ( + ) ] = ln r1 r2 + i ( 1 + 2 ) = ln r1 + ln r2 + i 1 + i 2 Esta es una relacin

1 2 1 2

= ln z1 + ln z 2
Sea

familiar para los logaritmos naturales

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

39

Resumen repeticin

79

80

40

81

82

41

83

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

Dominio

Rango

84

42

85

86

43

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

44

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) Se satisfacen ECR uy = y/(x2+y2) = -vx = -[1/(1+(y/x)2)](-y/x)
90

45

91

92

46

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

1 u v =0= r r u v f ' ( z ) = (cos i sin ) + i r r 1 1 1 f ' ( z ) = e i + i 0 = i = z re r

94

47

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 determinacin del logaritmo correspondiente al ngulo = 3 2

f ( x) = log[sh(z )]

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

3 7 < arg w < D = w C / w > 0, 2 2 x x

e x e x Re(w) = cos y = 0 2
Im(w)

x=0 cos y = 0 y = (2n 1) ; n Z 2

Re(w)
3 determinacin = 2

Examen JUNIO 04/05: P-1

96

48

Im(w) =

e x + e x seny < 0 seny < 0 (2n 1) < y < 2n ; n Z 2 x = 0, seny < 0 ( 2 n 1) < y < 2n ; n Z x=0 y = (4n 1) ; n Z 2 x R, cos y = 0, seny< 0 xR
< y < 2 n } y = ( 4 n 1) ; n Z 2

f es analtica en C, excepto en el conjunto de puntos z = x + yi tales que :

{z = n i} {x = 0 , ( 2 n 1)
2i

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

49

2) w1 = cos z=

( z ) = 0 z = + k , 2

k = 0,1,2...

2 , 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 v = 0 (b) v = 0 cosu < 0 u 2 + 2k ,3 2 + 2k , k = 0,1,2...

w1 =

x
x +y
2 2

y
x +y
2 2

,
2

z = ( x + iy )

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

n=0,1,2...100

50

y = 0 y = 0 (b ) 1 2 1 + 4k 3 + 4k 2 , x , x 2 3 + 4k 1 + 4k 2
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

=e

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 x=0 Im( w) = 0 2 xy = 0
y=0

x = 0 y 2 > 1 imposible y = 0 x 2 > 1 x > 1 x < 1

102

51

Zonas de no analiticidad plano w

Im(w)

Zonas de no analiticidad plano z

Im(z)

Re(w)

-1

Re(z)

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

(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

52

105

106

53

Funciones trigonomtricas e hiperblicas inversas

Determinemos la inversa del seno a partir de sin w = z

z=

e e 2i
iw

iw

p eiw ;

1 iw =e p

p z= 2i

1 p

p 2 2izp 1 = 0;

arcsin z = w = i ln iz + 1 z 2
Demostrar:

p = eiw = iz + 1 z 2

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

Todas ellas son multiformes ...

107

108

54

109

110

55

111

El valor principal de la arcotangente ser:

112

56

113

sinh 1 z = Ln z + z 2 + 1 cosh 1 z2 1 1+ z Ln 2 1 z

( z = Ln (z +

) 1)

tanh 1 z =

d 1 d 1 d 1 sinh 1 z = ; cosh 1 z = 2 ; tanh 1 z = 2 dz 1 z2 1 + z dz z 1 dz d 1 d 1 d 1 sin 1 z = ; cos 1 z = ; tan 1 z = 2 2 dz 1+ z2 1 z dz 1 z dz

114

57

Demostrar la expresin

arctg ( z ) =

1 1 + iz log 2i 1 iz

y calcular todos los valores posibles de arctg

z = tg ( w ) = e 2 iw =

( 3).
( )

sen ( w ) e iw e iw e iw e iw = iz e iw + e iw = cos( w ) i e iw + e iw

1 + iz 1 + iz 2 iw = log 1 iz 1 iz 1 1 + iz log w = arctg ( z ) = 2i 1 iz

arctg = 1+ i ( 3 ) = 21i log 1 i

2 + i2 3 3 1 = = log 4 3 2i = + k 3
Examen JUNIO 02/03: P-1115

1 i 3 1 1 2 log ln 1 + i 3 + 2 k 2 + 2 = 2i 2i (k )

P1. Junio 2007

1. Obtener la forma binmica de

arcsin(i ) 3
Respuesta.

arcsin z = i log iz 1 z 2

]

116

2 arcsin i = i log 1 + 9 3 3

58

a) Solucin con signo negativo de la raz cuadrada:

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

+ i ( + 2k )

2 arcsin i = ( + 2k ) + i ln + 1 + 3 9 3 k = 0,1,2...

117

b) Solucin con signo positivo de la raz cuadrada:

2 + i (0 + 2k ) arcsin i = i ln 1 + 9 3 3 k = 0,1,2...

2 arcsin i = 2k + i ln 1 + 9 3 3 k = 0,1,2...
118

59

119

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

z=e

z =e

=e

En general, para k real:

z k = e k ln z
c

Definamos ahora z donde c = a+bi es complejo como: El valor principal de zc ser ecLn(z)

z c = e c ln 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

60

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, zc tiene un nmero finito de valores distintos. Si c es irracional o complejo entonces zc es infinitamente multivaluado.
121

Ejemplo: Calcular ii

i i = ei ln i = e
(n = 0 , 1,
Valor principal real

i (ln i + i arg( i ) )

=
Infinitos valores reales!

e i (i ( 2n + / 2 )) = e ( 2n + / 2 )
)

i i = e / 2
(n = 0 )

Ejercicio: Calcular la derivada de

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

122

61

123

124

62

125

126

63

127

128

64

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

65

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

66

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

67

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)

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

136

68

Rectificacin de la litografa

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

69

Escher and the Droste effect

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

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

139

w z

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

140

70

Reconstruccin

141

142

71

143

144

72

 16

145

32

146

73

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

74