Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Funciones básicas en VC
UNMSM-FIEE
SEMESTRE 2022-II
1
Función Exponencial
de u v
z
i e cos y ie sin y e
x x z
dz x x
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 x v y u x p ( y )e x
p' ( y ) q ( y ) p' ' ( y ) q' ( y ) p( y )
' ' ( y) ( y) 0
q' ( y ) p( y) q' ' ( y ) p' ( y ) q( 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
z1 z 2
(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:
r
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 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
15
16
17
18
19
20
21
(8) Fórmula de Euler
x i y
e e
z
e (cos y i sin y )
x
e e cos y i sin y
z iy
i
e cos i sin
22
¿Cómo llegó Euler a esta fórmula? (Series de potencias ...)
cos i sin cos i sin cos( ) i sin( )
cos i sin cos(n ) i sin(n )
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 ) ke k
d
k i
f ( ) cos i sin e i
23
(9) “The most remarkable fórmula in math”
(Richard Feynman)
i
e 1 0
24
From Gianluca Gorni's web site
25
(10) |eiy| = |cos y + i sin y| = (cos2y + sin2y) = 1
e 4 0.5i
e 4
2
2
cos 0.5 e sin 0.5
4
e cos
4 2 2
0.5 sin 2 0.5 e 4
z
r y z r (cos i sin )
x
i
La fórmula de Euler nos dice que cos i sin e
Forma
i
exponencial
de un número
z re
complejo 27
y
(13) La función exponencial
y el conjugado z e i / 4 z e i
i
z
z re x
z e i / 4
i
z re
i
¿Qué números complejos satisfacen la expresión ze ?
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
¿Qué números complejos satisfacen la expresión z 1 2 e ?
y
z 1 2ei Todos los números complejos sobre un
2 círculo de radio 2, centrado en z0=1
x
z0=1
28
(14) Producto y división 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:
i 1 i 2 t i (1 2 )
z1 z 2 r1e r2 e r1r2 e
z1 r1e i1 i 1
z1 r1e r1 i (1 2 )
z 2 r2 e i 2 i 2 e
z 2 r2 e r2
29
30
Aplicación: Fasores
Muchas señales pueden ser representadas como senoides:
2 t
X (t ) a sin(t ) 31
B B B
z (t )
t
C A A C A 2 C t
D D
z ( t ) a cos( t ) i sin( t ) ae i t
B B B
z (t )
t
C A A C A 2 C t
z ' (t )
D D
i (t )
z ' (t ) A[cos(t ) i sin(t )] Ae
33
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
I π j j t
v(t) cos t v(t) I Re e
C 2
C
La tensión 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 tensión adelanta a la corriente en
2
34
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 jej 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
35
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 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
36
Funciones trigonométricas
A partir de la fórmula 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
37
(Un paréntesis)
38
Observa que los autores suponen que el lector está familiarizado con la
siguiente identidad trigonométrica:
n 1
sin n sin 2
n ⋯sin n 2nn1
que es equivalente a:
n 1 n 1
sin ( k/n )
n n n n
2 sin ( k/n )
1 1
n 1 i
n n e n
2 sin ( k/n )
1 1
2 n 1 i
e n
1 e 21 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
2 k i 2 k i
2 i 2 i z
e n
e n
e n
e n
i
e n
1 1
2 n 1 i 2 n 1 i
e n
e n
i
e n
1 1
2 n 1 i 2 n 1 i
e n
e n
the product
Longitud delofproducto
the lengths of the
de las cuerdas 1 e
n-1 chords
2 1 i n
1 e
2 2 i n
⋯ 1 e
2 n 1 i n
g 1 n
Teorema de Cotes (1716)
Ck C3
C2
x
C1 P
O
Cn
xn 1 PC1 PC 2⋯ PC n
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.
44
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
variable compleja
i z i z
e e iz
e e
iz
las funciones
cos z , sin z trigonométricas y
2 2i exponencial están
í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 (analíticas 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
45
Ejemplo: Resolver cos z = 5.
Solución: Aplicamos la definición en exponenciales del coseno:
47
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.
48
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
1 e i 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 analíticas en
los puntos donde cos z (sin z) es 0.
sin z
1 iz
e e iz
1 iz
cos z e e
2
iz
2i
iz
1e e iz
tan z 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 1 x x
cosh x e e
2
2
sinh x e x e x
tanh x x x
cosh x e e 51
Representación gráfica de las funciones reales hiperbólicas
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
x
y a cosh .
-3 -2 -1 0 1 2 3 a
La curva se conoce como catenaria.
-1
52
Interpretación de las funciones hiperbólicas reales
2 2 2 2
(cos x , sin x ) se hallan sobre el círculo x y 1 ( cos x sin x 1)
x2 y2 1
• (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 54
55
Escribamos las funciones trigonométricas complejas
en forma binómica: 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
1 y
2
e cos x i sin x e y cos x i sin x
e y e y e y e y
cos x i sin x
2 2
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 x
cos ix e e cosh x
2
sin ix i sinh x
tan ix i tanh x
cos ix cosh x
57
sin ix i sinh x cos ix cosh x tan ix i tanh x
1 z z 1 x i y x i y
cosh z e e e e
2 2
2
1 x x
e (cos y i sin y ) e (cos y i sin y
cos i sin n
cos(n ) i sin(n )
e iz T
, y la ecuación resulta:
1
T T 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
1 0 ln 3
10 2 k i
, y también
iz ln 3
1 0 ln 3
1 0 2 k i
z 2 k i ln 3 10 , z 2 k i ln 3 10
, con k un nº entero.
65
f(z) = sen z sin z sin x cosh y i cos x sinh y
Esquema de color dependiente del valor imaginario
Dominio Rango
66
f(z) = cosh z cosh z cosh x cos y i sinh x sin y
Esquema de color dependiente del valor real
Dominio Rango
67
f(z) = cosh z
Esquema de color dependiente del valor imaginario
Dominio Rango
Clifford A. Pickover,
Computers, Pattern, Chaos and Beauty
http://sprott.physics.wisc.edu/pickover/home.htm
70
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:
z 1 i
2 Para cada valor de n obtenemos un
posible valor de la función logaritmo.
/4
73
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 mayúscula L para designar al valor principal:
Ln z ln z iArg z
74
75
(1) ln ( z1 z 2 ) ln r1e i r2 e i ln r1 r2 e i ( )
1 2 1 2
ln r1 r2 i ( 1 2 )
ln r1 ln r2 i 1 i 2 Esta es una relación
familiar para los
ln z1 ln z 2 logaritmos naturales
78
79
80
81
82
f(z) Ln z ln z iArg z
Esquema de color dependiente del argumento
Dominio Rango
83
84
85
86
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)
Ejercicio:
Repetir los cálculos anteriores en polares.
87
Propiedad de 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
88
De modo que podemos tomar como dominio de analiticidad:
D = plano z –{R- U 0}
y
Analítica en todo
punto El logaritmo no es analítico
excepto aquí en z = 0 ni a lo largo del eje real negativo
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
93
Ejemplo: determinar el mayor dominio de analiticidad
de la función f(z) = Ln[z-(3+4i)].
x
3
94
a) Determinar la región del plano complejo en la que la
función f ( x) logshz es analítica. Considérese la
determinación del logaritmo correspondiente al ángulo 32
3 7
f ( x) logsh z
D w C / w 0, arg w
x 2 2
e z e z e x e x e 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/2018: P-1
determinación
2
95
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 analítica en C, excepto en el conjunto de puntos z x yi tales que :
z n i∪ x 0 , ( 2 n 1) y 2 n ∪ y ( 4 n 1) ; n Z
2
2i
i
0
i 96
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.
97
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
98
(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...
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
n=0,±1,±2...
99
y 0 y 0
(b ) 1 4 k 3 4 k 2 2
1
x 2 , 2 x 3 4k , 1 4k
k=0,±1,±2...
100
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
1 z
2
1
2
e 2
Log (1 z 2 )
Re(w) -1 1 Re(z)
Re(w)<0
(Re(z)<-1) y (Re(z)>1)
Im(w)=0
Im(z)=0
102
Ejercicio
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 106
107
108
109
110
El valor principal de la
arcotangente será:
111
112
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 dz
2
1 z dz
2
1 z 2
113
1 1 iz
Demostrar la expresión arctg ( z ) log
2i 1 iz
y calcular todos los valores posibles de arctg 3.
e iw e iw
z tg ( w )
sen ( w )
cos( w ) i e e
iw
iw
e iw
e iw
iz eiw
e
iw
1 iz 1 iz
e 2 iw
2 iw log
1 iz 1 iz
1 1 iz
w arctg ( z ) log
2i 1 iz
1 i 3 1 2 i2 3
arctg 3
1
2i
log
1 i 3
2 i
log
4
1 1 i 3 1 2
log ln 1 i 2 k k
2i
2 2i 3 3
2
(k ) Examen
JUNIO 02/18: P-1114
P1. Junio 2016
arcsin(i )
3
Respuesta.
arcsin z i log iz 1 z 2
2
arcsin i i log 1
3 3 9
115
a) Solución con signo negativo de la raíz 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...
116
b) Solución con signo positivo de la raíz 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...
117
118
Potencias
Podemos expresar potencias de números complejos en forma de
funciones exponenciales/logarítmicas cuando el exponente es real.
Por ejemplo, ln z 2
ze ln z
z e
2
e
2 ln z
c
Definamos ahora z donde
c = a+bi es complejo como:
z e
c c ln z
(n 0 , 1, ⋯ )
/ 2
Valor principal real
i e
i
(n 0 )
130
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)
132
Mundo
“real”
Transformación
Mundo
“curvo”
133
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
134
log w log w
exp( log w) w
w ֏ z h( w) w exp( log w) 135
Rectificación de la litografía
w ֏ z h( w) w exp( log w)
con (2i log 256) / 2i
136
El efecto Droste
En Alemania la marca de
chocolate Droste es famosa
por el efecto visual de una
de sus cajas de cacao.
137
Escher and the Droste effect
http://escherdroste.math.leidenuniv.nl/
139
Reconstrucción
140
2
141
4
142
8
143
16
144
32
145
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.
146
SIAM News, Vol. 35, N. 8, Ocober 2002.