You are on page 1of 94

Mtodos Matemticos I:

Variable compleja y Transformadas Integrales


http://www.dmae.upm.es

Mario Zamecnik y Eusebio Valero


(Grupos A, C y D)

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

Todas las transparencias del curso


estn accesibles en ppt en:
http://www.dmae.upm.es/bartolo.html
Seccin: Docencia-Mtodos Matemticos I

Mtodos Matemticos I:
Variable compleja y Transformadas Integrales

El examen y el criterio de evaluacin sern


comunes. Cada profesor corregir a su(s)
grupo(s).
En este curso la nota final podr ser
mejorada hasta en un factor de 1,25 en
funcin de trabajos no obligatorios
realizados a lo largo del curso.
3

2. Nmeros complejos

Un nmero complejo z es un par ordenado de nmeros


reales x e y, escrito como:

z = (x,y)

(Notacin en componentes o coordenadas cartesianas).


x se llama la parte real de z:
Re(z) := x
y se llama la parte imaginaria de z:
Im(z) :=y
El conjunto de nmeros complejos, se denota por C:

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

(0,1) se llama la unidad imaginaria y se denota por:

i (0 ,1)
(Los ingenieros elctricos a menudo usan j para evitar confusiones
con el smbolo i, que asocian a la intensidad elctrica).

Un nmero complejo z = (x,y) se escribe comnmente


como (notacin algebraica o binmica, afijo en textos
de antao):

z=x+iy

Si x = 0 (z = i y), entonces z se dice que es un imaginario


puro. Si y = 0 (z = x), entonces z se comporta como un
nmero real.
6

Suma y producto de nmeros complejos

z1 x1 iy1

Sean:

z 2 x2 iy2
Parte real

Suma

En la facultad tenamos un profesor


cojo al que llambamos el complejo.
Tena una pierna real y otra imaginaria.
Memorias de un estudiante
de matemticas

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

Esto nos permite una manera prctica de operar.


Por ejemplo:

(4 5i )(2 3i ) [4 2 (5i ) 3i ] [4 3i (5i ) 2]


(8 15) i (12 10) 23 2i
8

La resta y la divisin se definen como operaciones


inversas de la suma y la multiplicacin respectivamente
Resta (operacin inversa a la
suma)

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

z1z2 = (18+3i)(-7+2i) = -132 + 15i


10

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

Tambin se suele denotar como : z


*

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

En la prctica, obtenemos el cociente de dos nmeros


complejos z1 / z2 multiplicando el numerador y
denominador de por el complejo conjugado de z2.

x1 iy1
x1 iy1 x2 iy2

x2 iy2 x2 iy2 x2 iy2


x1 x2 y1 y2
x2 y1 x1 y2
i 2
2
2
2
x2 y 2
x2 y 2

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

z1 z 2 (18-3i )(-7-2i ) -132-15i z1 z 2


z1 (18 3i )(-7 2i )
-120 57i z1


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

Las propiedades son


fciles de probar
escribiendo z en
forma algebraica
x+iy, y usando las
correspondientes
propiedades de los
nmeros reales.

15

0+z = z+0 = z (Neutro para la suma)


z +(-z) = (-z)+z = 0 (Opuesto para la suma)
z 0 = 0 z = 0 (Neutro para el producto)
z 1 = 1 z = z (Identidad para el producto)
z z-1 = z-1 z = 1

(Inverso para el producto)

(Para todo z distinto de 0)

{C,+,} con las propiedades anteriores es un cuerpo.


No es posible ordenar el conjunto de los nmeros complejos.
Carecen de sentido expresiones como z > 0 o z1 < z2,
por ejemplo.
16

La aventura de la ecuacin cbica


"Cardano y Tartaglia. Las matemticas en el Renacimiento italiano".
Francisco Martn Casalderrey, editorial Nivola
La noche del 12 de febrero de 1535
en Venecia, Tartaglia se enfrentaba a
la lista de 30 problemas de su rival
Antonio Mara del Fiore. Problemas
del tipo: "Un hombre vende un zafiro
por 500 ducados, obteniendo as un
beneficio de la raz cbica del precio
que pag por l. A cunto asciende el
beneficio?"
x 3 x 500
3

x 500 x; x 5003 3 500 2 3 500 x 2 x 3

x 1500 x x 124250000 0
3

Niccolo Fontana Tartaglia


17
(1499-1557)

El nacimiento de los nmeros complejos


Al cabo de 8 das deba consignar las
soluciones ante notario...
Luca Pacioli haba comparado la
dificultad de la resolucin de la
ecuacin de tercer grado con el viejo
problema de la cuadratura del crculo.

Luca Pacioli

Escipione del Ferro (1465 - 1526) fue el


primero en encontrarla (?) (1505-1515):

x 3 px q

p, q
2

q
q
p
x

2
2
3
3

(1445 - 1517)

q
q
p

2
2
3

18

El nacimiento de los nmeros complejos


Poco antes de morir, revel su secreto
a su yerno (sucesor en su ctedra) y a
su alumno Antonio Mara del Fiore.
En el siglo XVI cualquier erudito poda
ser desafiado a una disputa pblicamente.
Muchas veces haba una apuesta de por
medio... Reputacin.

Luca Pacioli
(1445 - 1517)

Tartaglia haba alcanzado reputacin en Venecia al resolver algunos


problemas para los ingenieros del Arsenal veneciano (45). Su fama
lleg a odos de del Fiore que pertrechado con su secreto lo ret...
19

El nacimiento de los nmeros complejos


Del Fiore perdi estrepitosamente:
no pudo resolver ninguno de los
30 problemas de Tartaglia. Y
Tartaglia redescubri la frmula de
del Ferro.
El resultado lleg a odos de
Gerolamo Cardano (1501-1576).
Que procur hacerse con el secreto de
Tartaglia.

Gerolamo Cardano
(1501-1576)

"Juro por los Santos Evagenlios y por mi fe como caballero no hacer


pblicos tus descubrimientos, si me los cuentas..."
20

El nacimiento de los nmeros complejos


[The poem in which he revealed the secret
of solving the cubic to Cardan]
When the cube and the things together
Are equal to some discrete number, 1
Find two other numbers differing in this one.
Then you will keep this as a habit
That their product shall always be equal
Exactly to the cube of a third of the things. 2
The remainder then as a general rule
Of their cube roots subtracted
Will be equal to your principal thing. 3
1
[Solve x3 + cx = d]
2
[Find u, v such that u - v = d
Niccolo Fontana Tartaglia
and uv = (c/3)3 ]
(1499-1557)
3
[Then x = 3 u 3 v ]
21

El nacimiento de los nmeros complejos


En 1542 Cardano y su alumno
Ludovico Ferrari (1522 - 1565)
consiguieron permiso para rebuscar
entre los papeles de del Ferro:
encontraron la famosa frmula!
Puesto que Tartaglia no haba sido el
primer descubridor, podan publicarla.
Ars Magna (1545): Considerada como la
fecha de nacimiento de los nmeros
complejos. Resolucin de ecuaciones de
tercer y cuarto grado.Divide 10 en dos
partes, de modo que una por la otra
den 40. x(10-x)=40;

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

Forma general de la ecuacin cbica y solucin:


x 3 px q

p, q
2

q
q
p
x

2
2
3
3

q
q
p

2
2
3

Funcionaba bien en algunos casos, como:


x 3 6 x 20 ; x 3 108 10 3 108 10

Pero en otros ... : x 3 15 x 4 ; x 3 121 2 3 121 2


Cardano saba que x = 4 es solucin de esta ecuacin.
Rafael Bombelli (1526-1572) resolvi la situacin operando
como lo hacemos hoy con nmeros complejos.

24

Demuestra que la ecuacin de tercer grado:


t 3 a1t 2 a2t a3 0
1
se reduce bajo el cambio de variable: t x a1
3

a:

x 3 px q

cuyas soluciones son:


2

q
q
p
x

2
2
3
3

q
q
p

2
2
3

Confirma que los nmeros complejos son necesarios


incluso para encontrar las races reales de:
t 3 19t 30 0

25

60 aos despus de Bombelli:


A pesar de que podemos
pensar que la ecuacin
x3 - 6x2 + 13x - 10 = 0 tiene
tres races, nicamente una
de ellas es real, la cual es 2, y
las otras dosson
simplemente imaginarias.
Ren Descartes
(1596-1650)

Ren Descartes
"La Gomtrie" (1637)
26

Gottfried von Leibnitz


Los nmeros imaginarios
(1646 1716)

son un excelente y
maravilloso refugio del
Espritu Santo, una especie de
anfibio entre ser y no ser

Otros trminos que han sido


usados para referirse a los
nmeros complejos incluyen :
Sofisticados
(Cardano)
Sin sentido
(Nper)
Inexplicables
(Girard)
Incomprensibles (Huygens)
Imposibles (Diversos autores)
27

Leonhard Euler
(1707 1783)

Con Euler los imaginarios se


incorporan definitivamente en la
Matemtica.
formulam
Leonhard Euler (1777)

littera i

i2 = -1; introdujo la notacin binmica.


Demostr que el conjunto de los nmeros
imaginarios era cerrado para las
cuatro operaciones bsicas, as como
para la potenciacin y la radicacin.

Estos nmeros no son nada,


ni menos que nada, lo cual
necesariamente los hace
imaginarios, o imposibles.

28

Nuestra aritmtica (...),


constituye la creacin
de los tiempos modernos,
(...).
A los nmeros enteros se
han agregado las fracciones;
a las cantidades racionales,
las irracionales;
a las positivas, las negativas;
y a las reales, las imaginarias.

Karl Friedrich Gauss


(1777-1855)
Nmeros ntegros complexos
K. F. Gauss (1831)

Qu es un nmero complejo? Gauss dio la respuesta


satisfactoria definitiva en 1831 al establecer la
interpretacin geomtrica: x+iy (x,y).

29

La visualizacin de los nmeros


reales mediante los puntos de una
recta o de los nmeros complejos
mediante los puntos del plano no
solamente penetr sin gran resistencia
en el anlisis, sino que se puede decir
con razn que, en el caso de los
nmeros complejos, esta
visualizacin (Argand, Gauss) fue
lo que hizo posible vencer la fuerte
oposicin de la comunidad
matemtica al dar carta de ciudadana
Miguel de Guzmn a los nmeros complejos.
(1936-2004)
El rincn de la pizarra: ensayos de
visualizacin en anlisis matemtico.

30

El plano complejo (Plano z, de Argand o de Gauss)


Eje imaginario

(Im)

Mdulo:

Tambin llamado valor absoluto


(el mdulo de un real es su valor absoluto)

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,}

El argumento est multivaluado.

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, ...)

Ejemplo: supongamos que

arg z { 2.55 2 , 2.55, 2.55 2 , 2.55 4 , }


{2.55 2k } (k 0, 1, )

Arg z 2.55

33

Ejercicio: Demostrar que

(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

Ejercicio: Demostrar que para a, b, c, d enteros siempre


existen u y v enteros tal que: ( a 2 b 2 )(c 2 d 2 ) u 2 v 2
Encontrar u y v para:
z a ib

w c id

(89 2 1012 )(1112 1332 ) u 2 v 2


t u iv

| 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

(2) ( z z )( ww) ( z w)( zw) t t


zw t
(a ib)(c id ) (ac bd ) i (bc ad )

Liber quadratorum (1225)


Leonardo de Pisa (Fibonacci) u iv
(1170-1250)

u ac bd

v | bc ad |

36

Suma y resta de nmeros complejos


en el plano complejo

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

C con la suma y el producto por un escalar posee estructura


de espacio vectorial real bidimensional, es isomorfo a R2.
El conjunto {1, i} es base de ese espacio. Y podemos
identificar C con los vectores libres del plano R2. Pero
recordemos que C tiene algo ms: el producto complejo.
38

Desigualdad triangular

| z1 z 2 || z1 | | z 2 |

y
z1

z1 z 2

| z1 z 2 |

| z1 |
| z2 |

z2

Qu significa que |z1| > |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

Demostremos la desigualdad triangular:

| 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

Extrayendo la raz cuadrada (recordemos que el


mdulo es siempre positivo), la desigualdad triangular
queda demostrada.
40

Ejercicio: Demostrar que | z1 z 2 || z1 | | z 2 |


Ejercicio: Demostrar que | z1 z 2 || z1 | | z 2 |
Podemos generalizar la desigualdad triangular:
n

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

Forma polar y trigonomtrica


A partir de las coordenadas polares (r,) tenemos:

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:

Escribir el siguiente nmero complejo z1=1+i,


en forma polar y trigonomtrica:
mdulo:

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:

dem para z2=-1-i :

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

Nota: tan(1) = tan(2) = 1, pero z2 est en el tercer


cuadrante, as que 2 = -3/4.

44

y
arctan ,
x

x0

y
arctan , x 0, y 0
x

Arg z arctan

y
, x 0, y 0
x

Dos nmeros complejos


sern iguales sii:

| z1 || z 2 |
Arg z1 Arg z 2

x 0, y 0
x 0, y 0
45

46

Propiedades del argumento

arg( z1 z 2 ) arg z1 arg z 2


arg z1 {1 2n : n Z }
arg z 2 { 2 2n : n Z }

Usemos las relaciones


trigonomtricas
siguientes:
cos1 2 cos1 cos 2 sin 1 sin 2
sin(1 2 ) sin 1 cos 2 cos1 sin 2

z1 z 2 | z1 | cos 1 i sin 1 | z 2 | cos 2 i sin 2


| z1 || z 2 | { cos 1 cos 2 sin 1 sin 2
i sin 1 cos 2 cos 1 sin 2 }
| z1 || z 2 | cos(1 2 ) i sin(1 2 )

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

Tengamos en cuenta que arg z es un conjunto. Y en general


dado un conjunto A, A+A no es igual a 2A. Por ejemplo:

arg i { / 2 2n : n Z } Hemos demostrado en


arg i arg i { 2n : n Z } particular que para z1= z2 = z:
2
arg( z ) arg z arg z
2 arg i { 4n : n Z }
arg i arg i 2 arg i
Pero recordemos que en
2
general:
arg(
z
) 2 arg z
2 arg i arg i arg i
arg(i 2 ) arg i arg i 2 arg i
As que en general:

Observemos tambin que:

Arg[(i ) 2 ] Arg(1)

Arg( z1 z 2 ) Arg z1 Arg z 2


Arg(i ) Arg(i )
2 2

48

Multiplicacin en forma trigonomtrica


En realidad ya tenemos la solucin a partir de las propiedades
del argumento:

z z1 z 2 r1 cos 1 i sin 1 r2 cos 2 i sin 2


r1r2 [ cos 1 cos 2 sin 1 sin 2
i sin 1 cos 2 cos 1 sin 2 ]
r1r2 [cos(1 2 ) i sin(1 2 )]
r r1r2 z1 z 2

arg z1 z 2 arg z1 arg z 2

z1 z 2 z1 z 2

arg z1 z 2 arg z1 arg z 2

49

Producto de nmeros complejos en el plano complejo

z z1 z 2

y
r r1r2

z2
r2
1 2

z1

r1
1

x
50

Producto de nmeros complejos en el plano complejo

z2

y zz
1 2

Observa que los


tringulos azul y
rojo son semejantes.
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

Multiplicar por i es equivalente a


girar 90 grados en sentido antihorario (operador rotacin):

z
iz

iz ir (cos i sin )

x
2

i z

r ( sin i cos )
r[cos( / 2) i sin( / 2)]

i z

"The number you have


dialed is imaginary.

Prueba que: Re(iz ) Im z

Re( z ) Im(iz )

Please rotate your phone


90 degrees and try again."
Anonimous
53

Representacin matricial de los nmeros complejos

x
z
y

1 0
0 1
x
y

x
0
0 1
1
Acta como 1

Acta como i
(una rotacin de 90)

Con la suma y el producto matricial clsico, y teniendo en


cuenta que toda matriz no cero de este tipo es invertible,
tenemos un cuerpo.
El mdulo es igual a la raz cuadrada del determinante.
A qu corresponde el conjugado de z en forma matricial?
54

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

Supongamos que perdemos el bus:


v
T
a
y queremos
cerca...

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

En que tiempo s es mnimo?

ds
0
dt

v
t
a

Es decir: el tiempo
correspondiente a la
parte real del tiempo
complejo T.
57

Relatividad especial: la importancia de i


Distancia espacial
(teorema de Pitgoras)

s ( x1 x2 ) ( y1 y2 ) ( z1 z 2 )
2

(ds) 2 (dx) 2 (dy ) 2 (dz ) 2


(ds) 2 (ds ' ) 2 (dx' ) 2 (dy ' ) 2 (dz ' ) 2

Albert Einstein
(1879 1955)

Mtrica euclidiana

Invariancia frente a rotaciones


y/o translaciones
58

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

En vez de hablar de distancia entre eventos (posiciones) en el


espacio
tridimensional, los fsicos hablan de intervalos entre eventos en
el espacio de cuatro-dimensional espaciotiempo. Parece razonable
definir la mtrica
de ese
espaciotiempo
como:
2
2
2
2
2

(ds ) (cdt ) (dx) (dy ) (dz )

Pero es incorrecto! La mtrica as definida no es invariante bajo


las transformaciones de Lorentz. Para comprobarlo, supn que
el movimiento es solo en el eje x, y calcula:

(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

Cmo hacer (ds)2 invariante? Lo que Minkowski descubri


es que en vez de usar c(dt) debemos tomar ic(dt).
(ds ) 2 c 2 (dt ) 2 (dx) 2 (dy ) 2 (dz ) 2
Demostrar que de esta manera (ds)2 es invariante bajo
las transformaciones de Lorentz. Observa que usando ic(dt)
o lo que es lo mismo c(idt), tenemos un tiempo imaginario!
Las consideraciones sobre el espacio y el tiempo que quisiera
presentarles surgieron en el seno de la fsica experimental, y en
ello radica su fuerza. Son radicales. De ahora en adelante el
espacio en s mismo y el tiempo en s mismo estn condenados
a ser sombras; slo un tipo de unin entre los dos conservar
una realidad independiente.

Hermann Minkowski
(1864 1909)
61

Divisin en forma polar


Pensemos que la divisin es la operacin inversa del producto:
Sean z1 = r1(cos1+i sin1) y

z2 = r2(cos2+i sin2).

Queremos z = z1/z2 . Entonces: z z2 = z1.


De modo que:

|z z2| = |z| |z2| = |z1|


|z| = |z1|/|z2|
arg(z z2) = arg(z) + arg(z2) = arg(z1)
arg(z) = arg(z1) - arg(z2)

As que:

z1/z2 = (r1/r2)[cos(1-2)+i sin (1-2)]


62

Divisin de nmeros complejos en el plano complejo

z1
z
z2

z1
y

r1

z2

r1
r
r2

r2

1 2

x
63

Ejemplos:

(1) Usando la forma trigonomtrica, evaluar:

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

Abraham de Moivre (1667 - 1754)

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 )

Ejercicio: Demostrar por induccin.

65

El teorema de Moivre es una mquina de


generar identidades trigonomtricas. Por ejemplo:

cos 3 i sin 3 (cos i sin )


3

cos 3i cos sin 3 cos sin i sin


3

Igualando las partes reales e imaginarias:

cos 3 cos 3 cos sin


3

sin 3 3 cos sin sin


2

66

Otra manera ingeniosa de derivar identidades trigonomtricas:


z cos i sin
1
z 1 cos i sin
z
z z 1 2 cos

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 )

2 cos(6 ) 12 cos(4 ) 30 cos(2 ) 20 2 6 cos 6 ( )


1
3
15
5
6
cos ( ) cos(6 ) cos(4 ) cos(2 )
32
16
32
16

67

1
Ejercicio: Sumar Dn ( x)
2
n

S1 : cos(kx)
k 0

S 2 : sin( kx)
k 0

z cos(kx) i sin( kx)


k

2 cos x cos(2 x) ... cos(nx)

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

que posee n distintos valores. Es decir nz est multivaluada.


Sean w = R(cos + i sin),
z = r(cos + i sin)
Entonces por el teorema de Moivre:
wn = Rn[cos(n) + i sin(n)] = r(cos + i sin)

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

Los n valores se equireparten en un crculo de radio nr


con centro en el origen, constituyendo los vrtices de
un polgono regular de n caras.
El valor de nz obtenido al tomar el valor principal de
arg(z) y k = 0 en la frmula de arriba se asume como valor
principal de w = nz
70

Ejemplo: races de la unidad


1 1(cos 0 i sin 0)

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

Ejercicio: Encuentra las races cbicas de 1 - i

71

Ejercicio: Sea zk cualquier raz ensima de la unidad,


prueba que:

1 z k z ...z
2
k

n 1
k

0, si z k 1

Si 1, z1, z2, ..., zn-1 son las races de la unidad, demuestra:

( 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

El segundo paso (extraer races a ambos lados) puede parecer


el origen de la falacia, pero no lo es. Basta con determinar el
valor principal en ambas races.
El tercer paso es el origen de la falacia. No existe regla que garantice
que:

a
b

excepto si a>0 y b>0.


La nica manera de que dos nmeros u y v (u,v distintos de cero)
tengan el mismo cuadrado es que u = v o u = -v. En nuestro caso,
podamos haber escrito:

a
b

a
a

b
b
74

1 1

;
1
1

1
;
1

1
1

1
1

De esta manera no se produce falacia.


Observemos que pasa lo mismo con:

(1)(1) 1;
1 1 1;

(1)(1) 1;
i 1;
2

1 1

75

Un producto infinito para :

cos i sin

1/ 2



cos i sin
2
2

Elevando al cuadrado a ambos lados:




2
cos isin
cos 2 sin 2 i 2 sin 2 cos 2


2

Igualando las partes imaginarias



sin 2 sin cos
2
2
76

Un producto infinito para :



sin 2 sin
2



cos
4
4

2 sin





cos 2 2 sin cos cos
2
4
4
2

(Aplicamos el resultado encontrado al ngulo mitad. )

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

Dividiendo la igualdad entre :

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

Ya podemos encontrar todas las soluciones


de una ecuacin como:
zn + 23 = 0 z = (-23)1/n.
Sern n soluciones.
O las soluciones de ecuaciones como:
zn/m + 1 = 0 z = (-1)m/n
Cuntas soluciones tiene?
79

Cualquier complejo elevado a m est univaluado,


nos proporcionar un nico valor.
Si m/n es irreducible, tendremos n soluciones. Si es
reducible, m/n = p/q, y tendremos q < n soluciones
distintas.
Es importante, por tanto, simplificar m/n siempre.
Adems: supongamos que hemos simplificado hasta
alcanzar m/n. Tomemos una solucin de las n
posibles.
Al elevarla a n/m debera darnos z, pero nos dar m
valores y solo uno de ellos es z!
80

A pesar de las diferencias entre N, Z, Q, R y C,


poseen muchas propiedades comunes como
la conmutatividad y la asociatividad de la suma y
el producto, la distributividad del producto respecto
a la suma o la existencia de elemento unidad
para la multiplicacin.
Se puede ampliar ms el concepto de
nmero de modo que se conserven
estas propiedades?

Segn el teorema de Frobenius


no es posible un campo mayor
que C.

F. Frobenius
(1849 - 1917)

81

Cuaterniones e
hipercomplejos

Sir William Rowan


Hamilton (1805 - 1865)

Los cuaterniones son nmeros


complejos en cuatro dimensiones
en lugar de dos (Hamilton 1843).
As un cuaternin q se expresa
como: q = a+ib+jc+kd donde
a,b,c,d son nmeros reales. {1, i,
j, k} hacen de base en el
hiperespacio de los cuaterniones.
{1, i} era la base estndar para
los nmeros complejos,
simplemente se aaden dos
vectores unitarios, j y k,
perpendiculares entre s. La
propiedad conmutativa para el
producto de cuaterniones no rige.
82

Es el precio que pagamos por


obtener un lgebra consistente.
As que en general, el producto
qq de dos cuaterniones no es
igual que el producto qq (como
ocurre con el producto matricial
estndar, por ejemplo).
Las reglas de Hamilton para la
base de cuaterniones son:
i j = k, j k = i, k i = j
j i = -k, k j = -i, i k = -j
i i = j j = k k = -1, i j k = -1
Los cuaterniones se emplean
para describir dinmicas en 3
dimensiones.

El software de vuelo del Space


Shuttle usaba cuaterniones para el
control de navegacin y vuelo. Su
uso consegua compacidad de
cdigo, velocidad de cmputo y
evitaba aparicin de singularidades
en los clculos.

83

Hamilton desarroll tambin otra


lgebra alternativa: la de los
nmeros hipercomplejos. En vez
de sacrificar la conmutatividad,
sacrific la existencia de inverso.
En el lgebra hipercompleja no
todo elemento h distinto de 0
posee inverso 1/h. La base de
cuatro elementos posee la misma
notacin que la de cuaterniones,
pero las reglas de multiplicacin
son distintas:
i j = k, j k = -i, k i = -j
j i = k, k j = -i, i k = -j
i i = j j = -k k = -1 i j k = 1

El puente de
Brougham sobre
el Canal Real,
donde Hamilton
inscribi sus
famosas reglas
para los
cuaterniones.
84

The Complex Number Song


(Tune:John Brown's Body)
Mine eyes have seen the glory of the Argand diagram
They have seen the i's and thetas of De Moivre's mighty plan
Now I can find the complex roots with consummate elan
With the root of minus one

Complex numbers are so easy


Complex numbers are so easy
Complex numbers are so easy
With the root of minus one

In Cartesian co-ordinates the complex plane is fine


But the grandeur of the polar form this beauty doth outshine
You be raising i+40 to the power of 99
With the root of minus one

You'll realise your understanding was just second rate


When you see the power and magic of the complex conjugate
Drawing vectors corresponding to the roots of minus eight
With the root of minus one
(Probably) Mrs P.E.Perella

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

Demuestra el teorema del binomio para nmeros complejos:

n n i i
( z0 z1 ) z0 z1
i 0 i
n

donde n es un entero positivo.


Sugerencia: Usa induccin.

94

You might also like