Beruflich Dokumente
Kultur Dokumente
Bartolo Luque
(Grupo B)
R. V. Churchill y J. W. Brown
Variable Compleja y Aplicaciones, McGraw-Hill 1996
Programa y texto bsico que fijan el contenido y el nivel de
conocimientos a efectos de enseanza y exmenes.
1
Mtodos Matemticos I:
Variable compleja y Transformadas Integrales
Mtodos Matemticos I:
Variable compleja y Transformadas Integrales
2. Nmeros complejos
z = (x,y)
C : ( x, y ) : x, y
Dos nmeros complejos son iguales si y slo si sus partes
reales e imaginarias son iguales:
(x1,y1) = (x2,y2) sii x1= x2 , y1= y2
5
i (0 ,1)
(Los ingenieros elctricos a menudo usan j para evitar confusiones
con el smbolo i, que asocian a la intensidad elctrica).
z=x+iy
z1 x1 iy1
Sean:
z 2 x2 iy2
Parte real
Suma
Parte imaginaria
z1 z 2 ( x1 x2 ) i ( y1 y2 )
Producto
z1 z 2 ( x1 x2 y1 y2 ) i ( x1 y2 x2 y1 )
7
Ejemplos:
(1)
i 2 (0 i )(0 i ) (0 1) i (0 0) 1
De modo que podemos sustituir siempre:
i 1
2
i i
(2)
1 1
z1 z 2 z
Qu es z ? z + z2 = z1
z ( x1 x2 ) i ( y1 y2 )
Divisin (operacin inversa al producto)
z1
z Qu es z ? z z2 = z1, siempre que z20.
z2
Ejercicio:
demostrar
que es cierto.
x1 x2 y1 y2
x2 y1 x1 y2
z
i
2
2
2
2
x2 y 2
x2 y 2
Ejemplo:
Sean z1=18 + 3i
z2 = -7 + 2i
Re(z1) = 18,
Re(z2) = -7
Im(z1) = 3,
Im(z2) = 2
Calcular:
z1+z2 = 11 + 5i,
z1-z2 = 25+i
Complejo conjugado
El complejo conjugado z de un nmero complejo z = x + i y
se define como:
z x iy
Es sencillo
demostrar
que:
zz
z1 z 2 z1 z 2 2 Re( z1 z 2 )
z1 z 2 z1 z 2
z1 z 2 z1 z 2
z1 z 2 z1 z 2
z1 / z 2 z1 / z 2
zz
Re( z )
2
zz
Im( z )
2i
11
Por ejemplo:
z x iy x iy x iy z
z1 z2 ( x1 iy1 ) ( x2 iy2 ) ( x1 x2 ) i ( y1 y2 )
( x1 x2 ) i ( y1 y2 ) ( x1 iy1 ) ( x2 iy2 )
z1 z 2
z1 z 2 ( x1 x2 y1 y2 ) i ( x1 y2 x2 y1 )
( x1 x2 y1 y2 ) i ( x1 y2 x2 y1 )
( x1 iy1 )( x2 iy2 ) z1 z 2
z z ( x iy ) ( x iy ) 2 x
x Re( z )
2
2
2
12
Observemos que:
z z ( x iy )( x iy ) x y
2
x1 iy1
x1 iy1 x2 iy2
13
Ejemplos:
(1) Sean de nuevo:
z1=18 + 3i
z2 = -7 + 2i
z1 (18 3i )(-7-2i )
-120-57i
2
2
z2
7 2
53
2
2
7 2
53
z2
z2
(2)
1 1 i i
i
i i i 1
14
Propiedades algebraicas
La suma y el producto dotan
a C de estructura de cuerpo.
Ley de clausura:
z1 + z2 y z1 z2 pertenecen a C.
Ley conmutativa:
z 1 + z2 = z 2 + z 1
z 1 z 2 = z2 z 1
Ley asociativa:
(z1 + z2) + z3 = z1 + (z2 + z3)
(z1 z2) z3 = z1 (z2 z3)
Ley distributiva:
z1 (z2 + z3) = z1 z2 + z1 z3
15
x 1500 x x 124250000 0
3
Luca Pacioli
x 3 px q
p, q
2
q
q
p
x
2
2
3
3
(1445 - 1517)
q
q
p
2
2
3
18
Luca Pacioli
(1445 - 1517)
Gerolamo Cardano
(1501-1576)
Gerolamo Cardano
(1501-1576)
5 15
Solucin intrigante.
22
x mx n
2
x
t 3 a1t 2 a2t a3 0
1
t x a1
3
x px q
3
p, q
23
p, q
2
q
q
p
x
2
2
3
3
q
q
p
2
2
3
24
a:
x 3 px q
q
q
p
x
2
2
3
3
q
q
p
2
2
3
25
Ren Descartes
"La Gomtrie" (1637)
26
son un excelente y
maravilloso refugio del
Espritu Santo, una especie de
anfibio entre ser y no ser
Leonhard Euler
(1707 1783)
littera i
28
29
30
(Im)
Mdulo:
z
r
r : z x y
2
| z | Re z , | z | Im z , | z || z |
zz x 2 y 2 | z |2
Argumento:
(Re)
Eje real
y
: arg z arctan
x
Para z = 0, el ngulo
no est definido.
31
Ejemplo:
Dibujar el nmero complejo z = -3-2i en el plano complejo y
evaluar mdulo y argumento
Mdulo:
r
3 2i
r z (3) 2 (2) 2
13
La calculadora
no distingue
Argumento:
x
2
2
2
arg z arctan
arctan
3
3
{ 146.3, 33.7, 213.7,}
3.73 rad
32
Valor principal
Para que sea nico, basta con imponer la condicin
adicional de que pertenezca a un cierto intervalo semiabierto
I de longitud 2 (como [0,2 ), ( , ], etc)
Escoger este intervalo I se conoce como
tomar una determinacin del argumento.
Arg z
Se denomina determinacin principal o
valor principal a Arg z, el valor de en
el rango:
: Arg z
arg z : {Arg z 2k }
(k 0, 1, 2, ...)
Arg z 2.55
33
(1) Re z | Re z || z |
(2) Im z | Im z || z |
( Nota :| z | (Re z ) (Im z ) )
2
(3)
| z || z |
(4)
(5)
z z | z |
| z1 z 2 || z1 || z 2 |; | z1 z 2 z n || z1 || z 2 | | z n |
( 6)
z1
z1
z2
z2
( z 2 0)
34
Ejercicio:
z x iy x iy x iy
z x iy x iy x iy
x y
z
x
x y
Grficamente el conjugado
es una reflexin respecto
al eje real.
35
w c id
| z |2 | w |2 | t |2
(1) ( z z )( ww) ( zw)( z w) ( zw)( zw) t t
zw t
u iv (a ib)(c id ) (ac bd ) i (bc ad )
u | ac bd | v bc ad
3.554 2 23.0482
626 2 23.312 2
u ac bd
v | bc ad |
36
En la suma (y la resta)
los nmeros complejos
se comportan como vectores
z1
z 2 z1
z2
z1 z 2
x
Prueba que si |z1| = |z2| = |z3| y z1 + z2 +z3 = 0,
entonces estamos hablando de los vrtices
de un tringulo equiltero.
Sugerencia:
Muestra que |z1-z2|2 = |z2-z3|2 = |z3-z1|2
37
z1
z1
3 z1
2
Desigualdad triangular
| z1 z 2 || z1 | | z 2 |
y
z1
z1 z 2
| z1 z 2 |
| z1 |
| z2 |
z2
El mdulo de z
es equivalente a
la distancia
euclidiana del
vector libre (x,y).
La distancia entre
z1 y z2 es |z1-z2|.
As disponemos de
un espacio mtrico
donde podemos
definir lmites,
continuidad, ... 39
| z1 z 2 | ( z1 z 2 )( z1 z 2 ) ( z1 z 2 )( z1 z 2 )
2
z1 z1
z1 z 2 z 2 z1
z2 z2
2 Re( z1 z 2 ) 2| z1 z 2 | 2| z1 || z 2 | 2| z1 || z 2 |
| z1 z 2 | | z1 | 2 | z1 || z 2 | | z 2 | (| z1 | | z 2 |)
2
z
j 1
| z j |
(n 2, 3, ...)
j 1
Ejercicio:
Demostrar por induccin.
Hemos demostrado que es cierto para n = 2.
Supongamos que es cierto para n y demostremos
que entonces es tambin cierto para n+1.
41
z
r
x r cos
y r sin
z x iy
x
Forma trigonomtrica
z r cos i sin
r cos ir sin
z r
r 0
Forma polar
Utilizamos el
argumento principal
r
En ingeniera:
r cis
42
Ejemplo:
r1
r1 z1 (1) 2 (1) 2 2
z1 1 i
argumento:
1
arg z1 arctan
1
{ / 4 2n } (n 0,1, )
1 Arg( z1 ) / 4
z1 2 cos i sin
4
4
z1 2 / 4
43
Ejemplo:
Mdulo:
Argumento:
x
1
r2
r2 z 2 (1) 2 (1) 2 2
z 2 1 i
z 2 2 3 / 4
1
arg z 2 arctan
1
{ / 4 2n } (n 0,1, )
2 Arg( z 2 ) 3 / 4
3
3
z 2 2 cos
i sin
4
4
44
y
arctan ,
x
x0
y
arctan , x 0, y 0
x
Arg z arctan
y
, x 0, y 0
x
| z1 || z 2 |
Arg z1 Arg z 2
x 0, y 0
x 0, y 0
45
46
1 2 arg( z1 z2 )
arg( z1 z 2 ) {1 2 2n : n Z }
{1 2n : n Z } { 2 2n : n Z } arg z1 arg z 2
47
Arg[(i ) 2 ] Arg(1)
Arg(i ) Arg(i )
2 2
48
z1 z 2 z1 z 2
49
z z1 z 2
y
r r1r2
z2
r2
1 2
z1
r1
1
x
50
z2
y zz
1 2
z1
1
51
Potencias de i
i 1
2
i 3 i
i 1
4
i
1
i i
5
i 6 1
1
i
Por ejemplo:
254
(i ) i 1( 1) 1
4 63
52
z
iz
iz ir (cos i sin )
x
2
i z
r ( sin i cos )
r[cos( / 2) i sin( / 2)]
i z
Re( z ) Im(iz )
x
z
y
1 0
0 1
x
y
x
0
0 1
1
Acta como 1
Acta como i
(una rotacin de 90)
Qu significa un
nmero complejo?
Anteriores a Gauss:
Caspar Wessel
(1745 - 1818)
Primera representacin
geomtrica en 1797.
Jean Argand
(1768 - 1822)
Idem y adems consider
i como una rotacin de 90.
Jhon Wallis (1616 - 1703)
Algebra(1673)
55
Qu significa un
nmero complejo?
t 0 xb 0
1 2
t 0 xb at
2
x=0
x p d
Bus parado en el
semforo (arrancando)
x p d vt
T corriendo
para pillarlo
1 2
xb (T ) x p (T ) ,
aT d vT
Alcanzar el bus en T:
2
2
Supn que hay dos soluciones
v
d
v
T 2
reales. Qu significan T+ y T-?
a
a
a
Y si hay una nica solucin real?
Si:
T es un tiempo complejo y no alcanzars el bus.
v2
d
Pero adems tiene significado fsico...
2a
56
d v
d v
v
2 i 2
a a
a a
a
saber en qu momento estuvimos ms
s xb x p
1 2
s at d vt
2
ds
0
dt
v
t
a
Es decir: el tiempo
correspondiente a la
parte real del tiempo
complejo T.
57
s ( x1 x2 ) ( y1 y2 ) ( z1 z 2 )
2
Albert Einstein
(1879 1955)
Mtrica euclidiana
Transformaciones
de Lorentz
x vt
x'
Transformaciones
de Galileo
x' x vt
y' y
z' z
t' t
1 (v / c )
y' y
z' z
t'
t vx / c 2
1 (v / c ) 2
59
(ds ) 2 (ds ' ) 2 (cdt ' ) 2 (dx' ) 2 (dy ' ) 2 (dz ' ) 2
Por ejemplo:
t'
dt '
t vx / c 2
dt '
1 (v / c ) 2
v / c2
1 (v / c )
dx
t '
t '
dx dt
x
t
1
1 (v / c )
dt
60
Hermann Minkowski
(1864 1909)
61
z2 = r2(cos2+i sin2).
As que:
z1
z
z2
z1
y
r1
z2
r1
r
r2
r2
1 2
x
63
Ejemplos:
i cos / 2 i sin / 2
2 2i 8 cos / 4 i sin / 4
1 cos 0
i
2 2i
2 2i
i
1
cos / 4 i sin / 4
2 2i
8
(2) dem para:
z x iy r (cos i sin )
1 1
[cos( ) i sin( )]
z r
1
(cos i sin )
r
1/ z
x
y
1/ z
64
Frmula de Moivre
Potencias enteras de complejos
en forma polar:
z r cos i sin
z 2 r 2 cos 2 i sin 2
z 1 r 1 cos( ) i sin( )
z 2 r 2 cos(2 ) i sin( 2 )
z r cos n i sin n
n
cos i sin
n 0, 1, ...
cos(n ) i sin( n )
65
66
z z
1 n
n6
2 n cos n ( )
z z
1 6
2 cos ( ) ;
6
z cos(n ) i sin( n )
n
z n cos(n ) i sin( n )
z n z n 2 cos(n )
Por ejemplo:
z z
1 6
z 6 6 z 4 ...
( z 6 z 6 ) 6( z 4 z 4 ) 15( z 2 z 2 ) 20
2 cos( 6 )
2 cos( 4 )
2 cos( 2 )
67
1
Ejercicio: Sumar Dn ( x)
2
n
S1 : cos(kx)
k 0
S 2 : sin( kx)
k 0
z : cos x i sin x
n 1
z
1
k
S1 iS 2 z
z 1
k 0
n
z n 1 1
cos[(n 1) x] i sin[(n 1) x] 1
Re
S1 Re
(cos x 1) i sin x
z 1
cos(nx) cos[(n 1) x] cos x 1
2 2 cos x
En teora de series de
Fourier la funcin
Dn(x) se llama
ncleo de Dirichlet.
1
Dn ( x)
2n 1
sin
x
1
1
2
S1
2
2
x
2 sin
2
68
Races de z
Si z = wn, entonces w se llama la raz ensima de z y
podemos escribirla como:
n
w z
r = Rn,
o
R = nr
y
n = +2k
o
= /n + 2k/n
tomando los valores k = 0,1,...., n-1, obtendremos las n races.
69
Resumiendo:
n
2k
2k
z r cos
i sin
n
n
k 0, 1, , n 1
donde z r cos i sin
n
z 1
0 2k
0 2k
1 1 cos
i sin
n
n
w0 cos 0 i sin 0 1
Ecuacin
ciclotmica
k 0, 1, , 4
2
2
w1 cos
i
sin
5
5
4
4
w2 cos
i sin
5
5
6
6
w3 cos
i sin
5
5
8
8
w4 cos
i sin
5
5
71
1 z k z ...z
2
k
n 1
k
0, si z k 1
( z z1 )( z z 2 )...( z z n 1 ) 1 z z ... z
2
n 1
72
Falacia
1 1
1
1
;
1
1
1
1
i 1
i
1
;
;
1 i
2 2i
i 3
1 3
i i
;
2 2i
2i 2i
1 3 1 3
;
2 2 2 2
1
1
1
1
i 3
1 3
2 2i 2i 2i
2
i
3i
i 3i
2 2i 2i 2i
1 2
73
a
b
a
b
a
a
b
b
74
1 1
;
1
1
1
;
1
1
1
1
1
(1)(1) 1;
1 1 1;
(1)(1) 1;
i 1;
2
1 1
75
cos i sin
1/ 2
cos i sin
2
2
2
cos isin
cos 2 sin 2 i 2 sin 2 cos 2
2
sin 2 sin cos
2
2
76
cos
4
4
2 sin
cos 2 2 sin cos cos
2
4
4
2
Aplicndolo reiteradamente...
sin 2 cos cos ... cos n sin n
2
4
2
2
n
77
sin n
... cos n
4
2
2n
cos ...
4
8
cos cos
...
4
8
16
sin
cos cos
sin
cos cos
cos
2
2
cos
2
4
2
2
Usando reiteradamente
en el producto infinito
2 2
2
2 2 2
...
2
n
Producto infinito
de Vite para
2
cos k
k 2
2
1 cos
cos
2
2
78
F. Frobenius
(1849 - 1917)
81
Cuaterniones e
hipercomplejos
83
El puente de
Brougham sobre
el Canal Real,
donde Hamilton
inscribi sus
famosas reglas
para los
cuaterniones.
84
85
Problemas propuestos
86
Sol.: a) z 3 / 2 iy , y
b) z x i 2 x , x
87
Sol.:
a) z 1 i
b) z 1 / 5 13 / 5 i
c) z 1 / 2
88
Sol.: z1 2 i
z2 2 i
89
Sol.: z1 y iy
z 2 y iy , y
90
Sol.: z i , k Z
91
Sol.: z 1
92
Sol.: a) z1 1 i , z2 1 7i
b) z1 4 2i , z 2 1 2i y ( z1 , z 2 )
3
1
c) z1
(1 i ) , z 2
(1 i )
2
2
93
n n i i
( z0 z1 ) z0 z1
i 0 i
n
94