4_Funciones_basicas.ppt

4. Funciones básicas
1
Función Exponencial
Sea z = x+iy, definimos la función exponencial
como:
e  e (cos y  i sin y)
z
x
e1i  e(cos   i sin  )  e
¿Por qué?
e3i / 2  e3 (cos  / 2  i sin  / 2)  ie 3
(1) ez se reduce a ex cuando z es real (cuando y = 0).
(2) ez 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.
2
(2) Veamos que ez es una función entera, es decir analítica 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
3
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
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 (separación 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  v y  u x  p ( y )e
x
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 cos y  ie sin y
x
x
5
O bien podríamos haber alcanzado la definición a través de series...
6
Propiedades de la función exponencial
(1)
e
z1  z 2
e
z1  z 2
e e
z1 z 2
e
( x1  x2 )  i ( y1  y 2 )
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 (cos y1  i sin y1 )e (cos y2  i sin y2 )
x1
e e
z1
x2
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 definición.
Para n > 1, aplicamos ez+w = ez ew e inducción.
Para n < -1, (ez)n = [(ez)-1] –n = (e-z) –n = enz.
8
9
(5) Observemos que ez  0  z. El rango de la función
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 periódica con periodo 2 i
y
ez+ 2 i = ez  z
v
3
Así que podemos dividir el
plano z en bandas periódicas
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 región
fundamental o principal de ez.

x
u
-
-3
10
f ( z )  e  e (cos y  i sin y )
z
r 
x

x  y ,  arctan( y / x)  R  e ,   y 
2
2
x
Las líneas y = c e y = d se transforman en los rayos   c, d
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.
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) Fórmula de Euler
e e
z
x i y
 e (cos y  i sin y )
x
Cuando z es imaginario puro (x = 0):
e z  ei y  cos y  i sin y
i
e  cos  i sin 
23
¿Cómo llegó Euler a esta fórmula? (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
k
e e e
k (  )
f ( )  e k
e 
k n
 e nk
f ( )  cos   i sin   e k
df
  sin   i cos   i (cos   i sin  )  kek
d
k i
f ( )  cos   i sin   e i
24
(9) “The most remarkable fórmula in math”
(Richard Feynman)
Observa que para 
la fórmula de Euler,

i
e  cos  i sin 
nos proporciona la siguiente identidad:
i
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
e40.5i 
e
4
 
2

2
cos 0.5  e4 sin 0.5 
e  cos
4 2
2

0.5  sin 2 0.5  e4
Ejercicio: Hallar todas las soluciones de ez = 3+4i
Solución: Igualando módulos
|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 trigonométrica
Recuerda que la forma polar para un número complejo es
z
r

y
z  r (cos   i sin  )
x
La fórmula de Euler nos dice que
Forma
exponencial
de un número
complejo
cos  i sin   e
z  re
i
i
28
(13) La función exponencial
y el conjugado
z  re
y
z  e i / 4
i
z  re
z  e i
z
x
z  e  i / 4
i
i
z

e
¿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.
i
z

1

2
e
¿Qué números complejos satisfacen la expresión
?
y
z  1  2e i
2
x
Todos los números complejos sobre un
círculo de radio 2, centrado en z0=1
z0=1
29
(14) Producto y división 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
i1
z2  r2e
i 2
 / 4 i
i
1 e (  / 2 ) i
1 (  / 4 ) i



e
(  / 4 ) i
2  2i
8e
8
i1
z1 z2  r1e r2e
i 2t
 r1r2e
i (1  2 )
i1
z1 r1e
r1 i (1  2 )
 i 2  e
z2 r2e
r2
30
31
Aplicación: Fasores
Muchas señales pueden ser representadas como senoides:
a


2

t
X (t )  a sin( t )
32
B

B
z (t )
t
C
A
D
B
A
A 2

 C

C
t
D
z (t )  acos(t )  i sin( t )  ae
it
Representación de un número complejo en forma de fasor
33
Cambio de Fase
B
z (t )

t  
C

D
B
B
z ' (t )
A
A 

  C

A 2  
t
C

D
z (t )  Acos(t )  i sin( t )  Ae
i (t  )
z ' (t )  A[cos(t   )  i sin( t   )]  Ae
it
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 tensión está en fase con la corriente
v(t) 
I
π

cos  t  
C
2

La tensión se retrasa respecto a la corriente en
Inductancia L

2
π

v(t)  LI cos  t  
2

La tensión adelanta a la corriente en
  j j t 
v(t)  I Re
e 
C


v(t)  I Re j L e j t

2
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 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
Z 
C

 j L
Resistencia
Capacitancia
Inductancia

Como v(t)  I Re R e
j t
  j j t 
v(t)  I Re
e  v(t)  I Re j L e j t
C




Cada una de esas fórmulas pueden ser escritas como

v(t)  I Re Z e
j t

o

v(t)  Re IZ e j t

Si definimos la tensión compleja como V = IZ
podemos escribirlo en la forma

v(t)  Re V e j t

37
Funciones trigonométricas
A partir de la fórmula de Euler:
i
e  cos  i sin  , e
 i
 cos  i sin 
Podemos escribir:
i
e e
2
 i
 cos ,
i
e e
2i
 i
 sin 
y
e
i

e
 i
e
 i
x
2 cos 
38
(Un paréntesis)
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 trigonométrica:

sin n sin
2
n
sin
 n 1
n
 2nn1
que es equivalente a:
 2sin  2sin 

n
2
n
2sin   n
 n1
n
40
k
n
n

 n 1

n
n
n
1
Esta identidad trigonométrica  2sin n  2sin 2n 
2 sin ( k/n )
 n 1
sin ( k/n )
k
n
1
 2sin     n
n 1 
n
es equivalente al siguiente teorema geométrico:
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.
k
n
e
2 k i
n
e
2 i
n

n
n
en
1
1
2 sin ( k/n )
 n 1
e
i
2  n 1 i
n
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 sin( k / n)  1  e 2 ki / n
Y el producto de la longitud de las n-1 cuerdas será:
1  e21 i n 1  e22 i n


1  e2n1 i n  1  e21 i n 1  e22 i n
 
1  e2n 1 i n

e
2 k i
n
e
2 i
n
e
2 k i
n
e
i
z
2 i
n
en
1
e
1
2  n 1 i
n
e
2  n 1 i
n
Introduzcamos un número complejo arbitrario z y definamos la
función:
21 i n
2 2  i n
2 n 1 i n

g  z  z  e
Evaluemos:
z  e
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 números:
1, e21 i n , e2 2  i n , e23 i n ,
, e2 n 1 i
n
, que son las raíces enésimas de la unidad.
e
2 k i
n
e
2 i
n
e
2 k i
n
e
i
z
2 i
n
en
1
e
1
2  n 1 i
n
e
2  n 1 i
n
n
Las n raíces de la unidad son solución de la ecuación: z  1
Por el teorema fundamental del álgebra, la ecuación polinómica z n  1  0
1, e21 i n , e2 2  i n , e23 i n , , e2 n 1 i n ,
tiene exactamente n raíces, que son:
z n  1 puede factorizarse únicamente como:
Así el polinomio

z n  1   z  1 z  e21 i
n
z  e    z  e 
2 n 1 i n
2 2 i n


 z  1 g  z 
Como, además:
zn  1 
Así:
 z  1  z n 1  z n 2  z n 3 
g  z   z n1  z n2  z n3 
 z1  1 
g 1  n . Finalmente tenemos:
 z 1 y

 z  1 g  z 

2 1 i n
Longitud
delofproducto
de las
n-1 chords
cuerdas  1  e  
the
product
the lengths
of the
1  e22 i n
 1  e 
2 n 1 i n
  g 1  n
Teorema de Cotes (1716)
Ck
C3
C2
x
C1
O
P
Cn
Roger Cotes (1682 –1716)
Cn 1
Si C1C2C3 Cn es un n-ógono regular inscrito en un círculo de radio unidad centrado
en O y P el punto sobre
OC1 a distancia x de O, entonces
x n  1  PC1  PC2
PCn
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.
45
Funciones trigonométricas de variable compleja
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:
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
trigonométricas y
exponencial están
íntimamente
relacionadas, cosa
que no ocurre en
variable real.
(1) cosz (sin z) se reduce a cos x (sin x) cuando z
es real.
(2) cosz y sin z son funciones enteras (analíticas 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.
Solución: Aplicamos la definición en exponenciales del coseno:
cos z = [eiz + e-iz]/2 = 5
eiz + e-iz – 10 = 0; multiplicando la ecuación 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 = 9.899 ó 0.101
e
 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 trigonométricas se definen en relación 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 ei  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 analíticas en
los puntos donde cos z (sin z) es 0.
Las fórmulas usuales para las funciones trigonométricas de variable real
siguen siendo válidas para las correspondientes de variable compleja:
cos( z1  z2 )  cos z1 cos z2  sin z1 sin z2
sin( z1  z2 )  sin z1 cos z2  cos z1 sin z2
cos 2 z  sin 2 z  1
50
51
Funciones hiperbólicas 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 iz
i e e
iz
Las funciones hiperbólicas reales se definen por analogía 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
x

52
Representación gráfica de las funciones reales hiperbólicas
y  sinh x
10
y  cosh x
15
10
5
5
-3
-2
0
-1
1
2
3
-5
1
-10
-3
-15
-2
-1
-1
0
1
2
3
Nota: La ecuación de una cuerda suspendida
de dos puntos a la misma altura es
y  tanh x 1
-3
-2
0
1
2
3
 x

y a cosh   .
a
La curva se conoce como catenaria.
-1
53
Interpretación de las funciones hiperbólicas reales
2
2
(cos x, sin x ) se hallan sobre el círculo x 2  y 2  1 (cos x  sin x  1)
(cosh x, sinh x) se halla sobre la hipérbola
cosh 2 x  sinh 2 x  1
x2  y 2  1
(cos x, sin x)
(cosh x, sinh x)
Así como las funciones circulares (trigonométricas) aparecen
en problemas que involucran integrales con (1-x2)1/2, las
hiperbólicas aparecen con (1+x2)1/2.
54
Derivadas de las funciones hiperbólicas reales
(sinh x)  cosh x
(cosh x)  sinh x
(tanh x)  sec h 2 x
Demostración:


 
 


1 x
1 x
x 
x

(sinh
x
)

e

e

e

e
 cosh x
•
2
2
1 x
1 x
x 
x

(cosh
x
)

e

e

e

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 trigonométricas complejas
en forma binómica: 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 función seno tenemos:
sin z  sin x cosh y  i cos x sinh y
57
Si particularizamos en las definiciones de las funciones
trigonométricas 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 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:
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
análogas funciones cos x y sin x reales.
60
Funciones hiperbólicas complejas
Hemos definido las funciones hiperbólicas de una variable real como:
e x  e x
cosh x 
2
e x  ex
sinh x 
2
Parece natural definir las funciones
hiperbólicas 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 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.
61
Escribamos las funciones hiperbólicas complejas en forma binómica:




1 z  z 1 xi y  xi 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
hiperbólicas:
cos   i sin  
n
 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 ecuación
eiz  e  iz
eiz  e iz

 3i  eiz  e  iz  6
. sen  z  
2i
2i
. Hacemos
eiz  T
, y la ecuación resulta:
T  T 1  6  T 2  6T  1  0
, cuyas soluciones son:
T 
6 
36  4
6  2 10

 3  10
2
2
, de donde






iz  ln 3  10  ln 3  10   2k  i
, y también


iz  ln 3  10  ln 3  10    2k  i
con k un número entero. Despejando z se obtiene la solución:



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, 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
71
Partimos de una función iterada::
f ( z n )  z n 1  sin z n2
Escogemos una región del plano complejo y
tomamos cada punto de esta región como
semilla inicial z0 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 z0 como un punto
blanco,
(2) En caso contrario lo pintamos en negro.
Biomorfos
f ( zn )  zn 1  cosh zn2
72
Función logarítmica
Definimos el logaritmo de un número 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:
e
ln z
e
ln| z| i arg z
e e
ln| z| i arg z
| z | e
i arg z
z
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.
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 función logaritmo.
Podemos construirnos una función unívoca
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 mayúscula L para designar al valor principal:
Ln z  ln z  iArg z
75
76
(1) ln ( z1 z2 )  ln r1e i r2 e i   ln r1r2 e i (  ) 
 ln r1r2  i (1   2 )
 ln r1  ln r2  i1  i 2 Esta es una relación
1
2
 ln z1  ln z2
Sea
1
2
familiar para los
logaritmos naturales
z1 = z2 = ei = -1, entonces si tomamos ln z1 = lnz2 = i
observa que ln(z1z2) = ln(z1) + ln(z2) = 2i = ln(1)
PERO: ¡no se cumple para el valor principal!
Ln(z1z2) = Ln(1) = 0
ln(ez) = ln(ex+iy) = ln(ex) + i y  2ni
= z  2ni
77
78
Resumen repetición
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 cálculos 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
Analítica en todo
punto
excepto aquí
El logaritmo no es analítico
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
2
2
2
uy = y/(x +y ) = -vx = -[1/(1+(y/x) )](-y/x)
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 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-3 0
y=4
y
3+4i
x3
4
3
x
95
a) Determinar la región del plano complejo en la que la
función f ( x)  log shz  es analítica. Considérese la
determinación del logaritmo correspondiente al ángulo   32 
f ( x)  log shz 
3
7 

D  w  C / w  0,
 arg w 

2
2 

e z  e z e x  e x
e x  e x
w  shz 

cos y  i
seny
2
2
2
w  0  e z  e  z  e 2 z  1  z  ni, n  Z
e e
Re( w) 
2
x
x
cos y  0 
x0
cos y  0  y  (2n  1)
Im(w)
Re(w)
3
determinación   
2

2
;nZ
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
x0

y  (4n  1) ; n  Z
2
x  R, cos y  0, seny  0 
xR
f es analítica en C, excepto en el conjunto de puntos z  x  yi tales que :
z  ni x  0, (2n  1)
2i


 y  2n   y  ( 4n  1) ; n  Z
2

i
0
 i
97
b) Determinar la región del plano en la que la función
   
f ( z )  Log cos 
  z 
es analítica.
Respuesta.
   
Log cos   Log ( w1 )
  z 
Determinación principal no analítica en: w1 = 0; Re(w1) < 0; Im(w1) = 0
1) π/z no analítica 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
v  0
(b) v  0  

   

cosu  0 u    2k ,3  2k , k  0,1,2...
2

 2
w1 

z

x
x y
2
2
i
y
x y
2
z  ( x  iy )
,
2
2

x
1 
1
2
  y 
(a)  2 2  2n  1   x 
2
x y
4(2n  1)
 2(2n  1) 
n=0,±1,±2...100
y  0
 y  0

 
(b)   1
2 
 1  4k 3  4 k    
 2
 x   2 , 2    x   3  4k , 1  4 k 

 



k=0,±1,±2...
101
Obtener los puntos del plano complejo donde la función
1
es analítica.
f ( z) 
1  z 2 Considerar la determinación principal.
1  z 
2
1
2
e
1
Log (1 z 2 )
2
f ( z ) es analítica 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
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
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| + 4πi
104
105
106
Funciones trigonométricas e hiperbólicas 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 i z
arctan z  Ln

2 iz

2

Todas ellas son
multiformes ...
107
108
109
110
111
El valor principal de la
arcotangente será:
112
113
sinh
1
cosh
1

z  Lnz 

 1
z  Ln z  z  1
2
z
2
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 expresión
arctg ( z ) 
1
 1  iz 
log 

2i
 1  iz 
 
y calcular todos los valores posibles de arctg 3 .
sen( w)
eiw  e iw
iw
iw
iw
iw


z  tg ( w) 
 iw

e

e

iz
e

e

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 
arctg
 
1 i 3  1
  2  i2 3 
1
  log 

3  log 



2i
2
i
4
1

i
3




 1 i 3 1 
1
 2
 


 log   
  ln 1  i
 2k     k

2i
2  2i 
 3
 3
 2
Examen
( k  )
JUNIO 02/03: P-1115
P1. Junio 2007
1. Obtener la forma binómica de

arcsin( i )
3
Respuesta.

arcsin z  i log iz  1  z 2

 
2
arcsin  i   i log   1 
9
 3
 3
 



116
a) Solución con signo negativo de la raíz cuadrada:
2




 

arcsin  i   i ln
 1
9
 3
  3
k  0,1,2...


  i(  2k )



2



arcsin  i   (  2k )  i  ln   1 
3
9
 3


k  0,1,2...
 




117
b) Solución con signo positivo de la raíz cuadrada:
2






 
arcsin  i   i ln  1 
   i (0  2k )
9 3 
 3
 

k  0,1,2...
2





arcsin  i   2k  i  ln  1 
 


9
3
 3



k  0,1,2...
 
118
119
Potencias
Podemos expresar potencias de números complejos en forma de
funciones exponenciales/logarítmicas cuando el exponente es real.
ln z
2
ln z 2
2 ln z
Por ejemplo,
ze
En general, para k real:
z e
z e
k
e
k ln z
c
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á también. El número de
valores es infinito excepto cuando c es racional.
120
Es decir:

Si c = n = 1,2,.... entonces zn 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
zc = nz = e(1/n)ln z (z0)
el exponente se determina en función de los múltiplos de
2i/n y obtenemos distintos valores de la raíz nth

Si c = p/q, siendo el cociente de dos enteros positivos, zc tiene
un número finito de valores distintos.

Si c es irracional o complejo entonces zc es infinitamente
multivaluado.
121
Ejemplo: Calcular ii
i e
i
e
i ln i
e
i ( i ( 2n  / 2 ))
i ln i  i arg(i ) 
e

 ( 2n  / 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 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.
130
M.C. Escher
131
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)
¿Qué efecto quiere conseguir
Escher en esta litografía?
¿Por qué aparece una mancha
blanca en el centro del cuadro?
Prentententoonstelling (Galería 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 mágico de M. C. Escher (Bruno Ernst, ed. Taschen)
133
Mundo
“real”
Transformación
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-transformación
Transformación
135
 log w
log w
exp( log w)
w
w  z  h( w)  w  exp( log w)
136
Rectificación de la litografía

w  z  h( w)  w  exp( log w)
con   (2i  log 256) / 2i
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 pequeña 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
1

 exp  log w 


140
Reconstrucción
141
2
142
4
143
8
144
16
145
 32
146
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.
SIAM News, Vol. 35, N. 8, Ocober 2002.
147