Anda di halaman 1dari 147

4.

Funciones bsicas

1
Funcin Exponencial

Sea z = x+iy, definimos la funcin exponencial


como:
e e (cos y i sin y)
z x

e1i e(cos i sin ) e


e3i / 2 e3 (cos / 2 i sin / 2) ie 3
Por qu?

(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
(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
z
i e cos y ie sin y e
x x 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 v y u x p ( y )e
x x

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


' ' ( y) ( y) 0
q' ( y ) p( y ) 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 x
5
O bien podramos haber alcanzado la definicin a travs de series...

6
Propiedades de la funcin exponencial
z1 z2
(1) e e e z1 z2

z1 z 2 ( x1 x2 ) i ( y1 y 2 )
e e
x1 x2
e [cos( y1 y2 ) i sin( y1 y2 )]
x1 x2
e [(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 x2

e e z1 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.
8
9
(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


ez+ 2 i = ez z y v
3

As que podemos dividir el


plano z en bandas peridicas
infinitas de ancho 2. De modo x u
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

r
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-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.
14
ez = ex (cos y + i sen y) (1.1)

15
16
17
18
19
20
21
22
(8) Frmula de Euler
x i y
e e
z

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
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 f ( ) e k
k
e e ek 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 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:

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

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


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 y z r (cos i sin )

x

i
La frmula de Euler nos dice que cos i sin e
Forma
i
exponencial
de un nmero
z re
complejo 28
y
(13) La funcin exponencial
y el conjugado z e i / 4 z e i
i
z re
z
x
z e i / 4
i
z re
i
Qu nmeros complejos satisfacen la expresin z e ?
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 2e i Todos los nmeros complejos sobre un
2 crculo de radio 2, centrado en z0=1
x
z0=1
29
(14) Producto y divisin en forma exponencial
Es sencillo multiplicar y dividir en forma
exponencial. Por ejemplo, dividamos:
/ 2 i
i e i 1 e ( / 2 ) i 1 ( / 4 ) i
( / 4 ) i
e
/ 4 i 2 2i
2 2i 8e 8e 8

En general:
i1 i 2t i (1 2 )
z1 z2 r1e r2e r1r2e
z1 r1e i1 i1
z1 r1e r1 i (1 2 )
z2 r2e i 2 i 2 e
z2 r2e r2
30
31
Aplicacin: Fasores
Muchas seales pueden ser representadas como senoides:

2 t

X (t ) a sin( t ) 32
B B B
z (t )

t
C A A C A 2 C t

D D

z (t ) acos(t ) i sin( t ) ae it

Representacin de un nmero complejo en forma de fasor


33
Cambio de Fase

B B B
z (t )

t
C A A C A 2 C t

z ' (t )
D D

z (t ) Acos(t ) i sin( t ) Ae it

i (t )
z ' (t ) A[cos(t ) i sin( t )] Ae
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

I j j t
v(t) cos t v(t) I Re e
C 2
C

La tensin se retrasa respecto a la corriente en
2


Inductancia L
v(t) I Re j L e j t
v(t) LI cos t
2

La tensin adelanta a la corriente en
2
35
v(t ) IR cos( t )

Pero R e j t Rcos(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
I I
v(t) cos t cos( t ) cos sin( t ) sin
C 2 C 2 2
I j j t

I
C
sin( t )
C
Re je
j t

I Re e
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 Resistencia
j Capacitancia
Z
C
Inductancia
j L
j j t

Como v(t) I Re R e j t
v(t) I Re
e v(t) I Re j L e j t
C
Cada una de esas frmulas pueden ser escritas como
v(t) I Re Z e j t
o
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 i
e cos i sin , e cos i sin
Podemos escribir:
i i i i
e e e e
cos , sin
2 2i
y

i i
e e

x
i
e 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:

n1

sin n sin 2
n sin n 2nn1
que es equivalente a:

2sin 2sin

n
2
n 2sin n
n1
n
40
k k
n n

n 1 n 1

sin ( k/n )
n n n n

2 sin ( k/n )
1 1

Esta identidad trigonomtrica 2sin n 2sin 2n 2sin n n 1


n

es 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 es n.
k
n 2 k i 2 i
e n
e n

n 1 i

n n en

2 sin ( k/n )
1 1

2 n 1 i

e 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 e2ki / n

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

1 e21 i n 1 e22 i n
1 e2n1 i n 1 e21 i n 1 e22 i n
1 e2n1 i n
2 k i 2 k i
2 i 2 i z
e n
e n
e n
e n

i
en
1 1

2 n 1 i 2 n 1 i

e n
e n

Introduzcamos un nmero complejo arbitrario z y definamos la


funcin:
g z z e
21 i n

2 2 i n 2 n 1 i n
z e z e
Evaluemos: g 1 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:
21 i n 2 2 i n 2 3 i n 2 n 1 i n
1, e ,e ,e , ,e , que son las races ensimas de la unidad.
2 k i 2 i 2 k i 2 i z
e n
e n
e n
e n

i
en
1 1

2 n 1 i 2 n 1 i

e n
e n

Las n races de la unidad son solucin de la ecuacin: z 1


n

Por el teorema fundamental del lgebra, la ecuacin polinmica z n 1 0


1, e , e , e , , e ,
2 1 i n 2 2 i n 2 3 i n 2 n 1 i n
tiene exactamente n races, que son:
As el polinomio z n 1 puede factorizarse nicamente como:


z n 1 z 1 z e21 i n
z e z e
2 2 i n 2 n 1 i n
z 1 g z
Como, adems:
z n 1 z 1 z n 1 z n 2 z n 3 z1 1 z 1 g z
As: g z z n1 z n2 z n3 z 1 y g 1 n . Finalmente tenemos:

the product
Longitud delofproducto
the lengths of the
de las n-1 chords
cuerdas 1 e21 i n 1 e22 i n 1 e 2 n 1 i n
g 1 n
Teorema de Cotes (1716)

Ck C3
C2

x
C1 P
O
Cn

Roger Cotes (1682 1716) Cn 1

Si C1C2C3 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 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
variable compleja
i z i z
e e iz
e e
iz
las funciones
cos z , sin z trigonomtricas y
2 2i exponencial estn
ntimamente
Con estas definiciones: relacionadas, cosa
(1) cosz (sin z) se reduce a cos x (sin x) cuando z que no ocurre en
variable real.
es real.
(2) cosz y sin z son funciones enteras (analticas en todo punto).
(3) Sus derivadas coinciden con sus equivalentes en variable real.
d d
(cos z ) sin z (sin z ) cos z
dz 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
1 ei e i
Observa por ejemplo que: 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 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 hiperblicas de variable real (recordatorio)

sin z
1 iz
2i

e e iz

1 iz
cos z e e iz
2

iz
1e e iz
tan z iz iz
i e e
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
1 x x
cosh x e e
2

2
x
sinh x e e x
tanh x x x
cosh x e e 52
Representacin grfica de las funciones reales hiperblicas
10
y sinh x 15 y cosh x
10

5
5
-3 -2 -1 0 1 2 3

-5

-10 1

-15 -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 .
-3 -2 -1 0 1 2 3 a
La curva se conoce como catenaria.

-1
53
Interpretacin de las funciones hiperblicas reales

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


2 2

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

x2 y 2 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
(tanh x) sec h 2 x
Demostracin:
(sinh x )
2

1 x
e e
x

1 x
2
e e
x
cosh x

(cosh x )
2

1 x
e e
x

1 x
2
e e
x
sinh x
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
2
1
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

cos z e e e
2
i z
2
e e
2

1 i ( x i y ) i ( x i y ) 1 y ix

e y ix

e cos x i sin x e y cos x i sin x


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

sin ix
2i

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

cos ix e e cosh x
2
x

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 Parece natural definir las funciones
2 hiperblicas de variable compleja
e x e x mediante las expresiones:
sinh x
2
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
2
e (cos y i sin y ) e x (cos y i sin y

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

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


n
63
64
65
Ejercicio: Hallar todas las soluciones de la ecuacin 3i sen z
eiz eiz eiz eiz
. sen z 3i eiz eiz 6
2i 2i
. Hacemos

eiz T
, y la ecuacin resulta:

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

6 36 4 6 2 10
T 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 ( zn ) zn 1 sin zn2

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.
f ( zn ) zn 1 cosh zn2
Biomorfos 72
Funcin logartmica
Definimos el logaritmo de un nmero complejo z como
ln z ln | z | i arg z (|z| > 0,
no continua
ln r i en z = 0).

Definido de esta manera, observemos que:


ln|z| i arg z
e ln z
e e e
ln|z| i arg z
| z | e
i 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
2 Para cada valor de n obtenemos un
posible valor de la funcin logaritmo.
/4

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:
valor principal
Ln(1 i ) ln 2 i ( / 4)

Usamos la letra mayscula 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 ( )
1 2 1 2

ln r1r2 i (1 2 )
ln r1 ln r2 i1 i 2 Esta es una relacin
familiar para los
ln z1 ln z2 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 El logaritmo no es analtico
excepto aqu en z = 0 ni a lo largo del eje real negativo

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)
2 2 2 Se satisfacen ECR
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 v 1 u
0
r r r r r
u v
f ' ( z ) (cos i sin ) i
r r
i 1 1 1
f ' ( z ) e i 0 i
r re z
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
x3 3+4i
4

x
3
95
a) Determinar la regin del plano complejo en la que la
funcin f ( x) log shz es analtica. Considrese la
determinacin del logaritmo correspondiente al ngulo 32

f ( x) log shz 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 ni, n Z
x x0
e ex
Re( w) cos y 0
2 cos y 0 y (2n 1) ; n Z
2
Im(w)

Re(w) Examen
3 JUNIO 04/05: P-1
determinacin
2
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
x R, cos y 0, seny 0 2
xR
f es analtica en C, excepto en el conjunto de puntos z x yi tales que :

z ni x 0, (2n 1) y 2n y (4n 1) ; n Z
2
2i

i
0
i 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
z

0 k , k 0,1,2...
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

x y
w1 i , z ( x iy )
z x y
2 2
x y
2 2

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

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

n=0,1,2...100
y 0 y 0

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

k=0,1,2...

101
Obtener los puntos del plano complejo donde la funcin
1
f ( z) es analtica.
1 z 2 Considerar la determinacin principal.

1 z
1
1 Log (1 z 2 )
2 2
e 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
x0
Im( w) 0 2 xy 0
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(w) Im(z)

Re(w) -1 1 Re(z)

Re(w)<0
(Re(z)<-1) y (Re(z)>1)
Im(w)=0
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
1
iw p
e e iw
1 iw p
z ; p e ;
iw
e z
2i p 2i
p 2izp 1 0;
2
p e iz 1 z
iw 2


arcsin z w i ln iz 1 z 2
Todas ellas son
Demostrar:

arccos z iLn z i 1 z 2 multiformes ...

i i z
arctan z Ln
2 iz 107
108
109
110
111
El valor principal de la
arcotangente ser:

112
113
1

sinh z Ln z z 1 2

cosh 1
z Lnz z 2
1
1 1 1 z
tanh z Ln
2 1 z

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

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

114
1 1 iz
Demostrar la expresin arctg ( z ) log
2i 1 iz
y calcular todos los valores posibles de arctg 3 .
eiw e iw
z tg ( w)
sen ( w)
iw

cos( w) i e e iw

e iw
e iw
iz e iw

e iw

1 iz 1 iz
e 2 iw
2iw log
1 iz 1 iz
1 1 iz
w arctg ( z ) log
2i 1 iz

1
arctg 3 log
2i
1 i 3 1

log
2 i
2 i2 3
4


1 i 3
1 1 i 3 1 2

log ln 1 i 2k k
2i
2 2i 3 3
2
( k ) Examen
JUNIO 02/03: P-1115
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 3 9

116
a) Solucin con signo negativo de la raz cuadrada:

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

k 0,1,2...

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

k 0,1,2...

117
b) Solucin con signo positivo de la raz cuadrada:

2

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

2

arcsin i 2k i ln 1
3 9 3

k 0,1,2...

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

En general, para k real: z e


k k ln z

z e
c
Definamos ahora z donde c c ln z
c = a+bi es complejo como:
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, zc tiene
un nmero finito de valores distintos.
Si c es irracional o complejo entonces zc es infinitamente
multivaluado.
121
Ejemplo: Calcular ii
i ln i i arg(i )
i e
i i ln i
e
i ( i ( 2n / 2 )) ( 2n / 2 )
e e Infinitos valores reales!

(n 0 , 1, )
/ 2
Valor principal real
i e
i

(n 0 )

Ejercicio: Calcular la derivada de


c 1
f ( z ) z ; f ' ( z ) cz
c
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)


M.C. Escher 1956132
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

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/ 1
z w h ( z) w exp log w

140
Reconstruccin

141
2

142
4

143
8

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.
147
SIAM News, Vol. 35, N. 8, Ocober 2002.