Universidad Nacional de Crdoba Facultad de Ciencias Qumicas

Fsica III
Apunte Complementario N1 Una muy breve e incompleta introduccin a los nmeros complejos
I.REPRESENTACIN ALGEBRAICA Y EL PLANO COMPLEJO Supongamos que venimos trabajando con los nmeros reales, que ya conocemos de antes, y queremos resolver la ecuacin x 2 a = 0 . Mientras a sea positivo no hay problema, y tendremos dos soluciones reales x = a . Pero si queremos escribir lo mismo para a negativo, estaremos tomando la raz cuadrada de un nmero negativo. Por ejemplo, si a = 4 tendremos x = 4 . Si aceptamos que las reglas usuales del lgebra siguen siendo vlidas con estos nmeros, podremos poner x = 4 = ( 1) 4 = 1 4 = 1 2 .

)( ) (

Evidentemente, podremos hacer lo mismo para cualquier valor negativo de a. Por lo tanto, slo necesitamos definir un nuevo nmero cuyo cuadrado sea 1 , que se denota convencionalmente como i = 1 1 y se conoce como la unidad imaginaria. Cualquier nmero de la forma ia, donde a es un nmero real, lo llamaremos un nmero imaginario. Ahora vamos a complicar un poco el asunto. Supongamos que queremos hallar las soluciones de la ecuacin cuadrtica x 2 8 x + 25 = 0 . La frmula usual para las soluciones de la cuadrtica nos dice

x =

( 8 )

( 8 ) 4 (1)( 25 ) 2 (1)
2

= 4 16 25 = 4 9 = 4 3 .1 = 4 3i .

Ahora cada solucin es la suma (algebraica) de un nmero real y un nmero imaginario. A estos nmeros los llamaremos nmeros complejos, y siempre podremos escribirlos en la forma z = x + iy , donde x e y son nmeros reales. Esta forma de escribir un nmero complejo se conoce como su representacin algebraica, tambin llamada representacin rectangular por motivos que veremos en seguida. Dado un nmero complejo z escrito en representacin rectangular, z = x + iy , llamaremos a x su parte real, y a y su parte imaginaria, y denotaremos

x = Re ( z ) , y = Im ( z ) .

En algunos textos, principalmente de ingeniera, la letra i denota intensidad de corriente elctrica, de modo que la unidad imaginaria se denota por j.

Podemos usar el hecho de que x e y son ambos nmeros reales Im z para introducir una representacin geomtrica de los nmeros complejos llamada el plano complejo.2 Simplemente interpretay z remos la parte real y la parte imaginaria como coordenadas Cartesianas en un plano, como muestra la figura. Consistentemente, al eje horizontal se lo llama eje real, y al vertical eje imaginario. Ahora, si vamos a trabajar con nmeros complejos, la x Re z pregunta obvia es cmo operamos con ellos? Cmo se suman, multiplican, etc.? Bueno, la forma ms fcil es asumir que las reglas usuales del lgebra siguen valiendo, es decir que a este respecto, i no tiene nada de especial. As, para sumar dos nmeros complejos pondremos

( a + ib ) + ( c + id ) = a + ib + c + id = ( a + c ) + i ( b + d ) ,
Im z

(a+c)+i(b+d)

c+id

a+ib
Re z

donde en el ltimo paso sacamos factor comn i. Entonces, las partes reales se suman por su cuenta, y las partes imaginarias por la suya. Lo mismo pasa si restamos dos nmeros complejos. Respecto a la suma, entonces, podemos interpretar los nmeros complejos como vectores en el plano ( x, y ) , con la parte real como componente x y la parte imaIm z ginaria como componente y, lo que representamos en la figura de la izquierda; y se y z suman como si fueran vecz tores, lo cual es muy convex
Re z

niente. Ya que estamos, podemos definir el mdulo z de un nmero complejo como lo hacemos para un vector:

x + iy = x 2 + y 2 . Sin embargo, esta analoga con vectores tiene sus limitaciones: con nmeros complejos podemos realizar otras operaciones que no estn definidas para vectores en el plano. Por ejemplo, podemos multiplicarlos:

( a + ib )( c + id ) = ac + ( ib ) c + a ( id ) + ( ib )( id ) = ( ac bd ) + i ( bc + ad ) ,
donde hemos usado que i 2 = 1 . Esta es nuestra regla para multiplicar complejos. La regla para dividir complejos es un poco mas complicada, pero podemos entenderla si recordamos que, si a + ib x + iy = c + id entonces debe valer ( x + iy )( c + id ) = a + ib . Usando nuestra flamante regla de multiplicacin, vemos que

( xc yd ) + i ( yc + xd ) = a + ib ,
de donde, igualando partes reales con reales e imaginarias con imaginarias, sale

La introduccin de esta representacin ha sido atribuida diversamente a Wessel, Argand o Gauss.

Complejos

cx dy = a, dx + cy = b. Resolviendo este sistema de dos ecuaciones para las dos incgnitas x e y, obtenemos
x= ac + bd bc ad , y= 2 . 2 2 c +d c + d2

As, nuestra regla de divisin queda a + ib ( ac + bd ) + i ( bc ad ) = . c + id c2 + d 2 Podemos aprovecharla para definir la inversa de un nmero complejo, tomando a = 1 y b = 0 , lo que da 1 c id c id = 2 = . 2 2 c + id c + d c + id

Esta ltima expresin nos da adems otra forma de calcular el mdulo de un nmero complejo, como
c + id = ( c + id )( c id ) .
2

El complejo c id que se obtiene de c + id simplemente cambiando el signo de i, se conoce como su conjugado, y se denota por ( c + id ) * o c + id . En el Im z plano complejo, conjugar es simplemente reflejar respecto del eje real. Debemos notar que ( z + w ) * = z * + w * , ( zw ) * = z * w * , y z ( z / w ) * = z * / w * , etc. En particular, para cualquier funcin real3,

( f ( z ) ) * = f ( z *) .
Otro resultado til, que puede verificarse fcilmente, es Re z =
z + z* ; 2

x Re z

Im z =

z z* . 2i

z*

II.REPRESENTACIN POLAR Y LA FRMULA DE EULER

Siguiendo con nuestra analoga del plano complejo como el plano Cartesiano y los nmeros complejos como vectores en el plano, nos damos cuenta que otra posible representacin de los complejos es en coordenadas polares ( , ) en lugar de en Cartesianas
Im z y z

( x, y ) . De las frmulas de transformacin entre coordenadas Cartesianas y polares, es fcil ver que
Re z = x = cos , y Im z = y = sin y Im z

x Re z

= x 2 + y 2 = z , = arctan = arctan , x Re z
y que podemos poner

z = ( cos + i sin ) .

Es decir, que lleve reales en reales:

f ( x ) real siempre que x sea real.

3

Complejos

El nmero complejo ( cos + i sin ) tiene evidentemente mdulo 1, y nos gustara poder representarlo como una funcin simple del ngulo . Para hacerlo, recordemos los siguientes desarrollos en serie de Taylor: x x 2 x3 x 4 x5 x2 x4 + + + + + ; cos x = 1 + + ; 1! 2! 3! 4! 5! 2! 4! 2 3 Usando que i = 1 , i = i , etc., vemos que ex = 1 +
e = 1+
i

sin x =

x x3 x5 + + 1! 3! 5!

( i ) ( i )
1! + 2!

( i )
3! +

+ +i

( i )
4!

( i )
5!

= 1+ i

1! 2! 3! = cos + i sin

4
4!

5
5!

Esta expresin es conocida como frmula de Euler. As, la representacin polar de un nmero complejo queda z = ei . En esta representacin, nos referimos a como el mdulo de z, y a Im z como su fase. Los nmeros complejos de la forma ei con real tienen todos mdulo uno, y si vara de 0 a 2, recorren un ei 1 crculo de radio 1 en el plano complejo, llamado el crculo unidad, que se muestra en la figura de la derecha. La frmula de Euler es fundamental para trabajar en la prctica con nmeros complejos. Re z Un resultado de gran utilidad que se obtiene de ella es ei + e i ei e i cos = Re ei = , sin = Im ei = . 2 2i Usando la representacin polar, las frmulas para el producto y el cociente de dos complejos se simplifican notablemente: 1ei1 1 i(1 2 ) i (1 + 2 ) i1 i 2 ( 1e ) ( 2e ) = ( 12 ) e ; ei2 = e . 2 2 Es decir: al multiplicar dos complejos, los mdulos se multiplican y las fases se suman; al dividirlos, los mdulos se dividen y las fases se restan. Tambin usando la representacin polar, podemos ver ahora qu significa la exponencial de un nmero complejo: e x +iy = e x eiy , es decir, el mdulo es la exponencial de la parte real, y la fase es la parte imaginaria. Desafo al lector: usando frmula de Euler y la frmula del producto en representacin polar, recupere las frmulas conocidas para el coseno y el seno de la suma de dos ngulos.

III.RESOLUCIN DE ECUACIONES DIFERENCIALES LINEALES

El uso de nmeros complejos simplifica notablemente la resolucin de ecuaciones diferenciales lineales. Ello es debido a que la derivada de una funcin exponencial, como la que aparece en la frmula de Euler, es muy sencilla: d t d 2 t e = e t , e = 2 e t , etc. 2 dt dt Como ejemplo, consideremos la ecuacin de movimiento para un oscilador armnico con disipacin viscosa, que escribiremos como
Complejos

2 + 0 x + 2 x =0 con y 0 constantes reales. Si proponemos una solucin de la forma

z ( t ) = e t ,
la substitucin en la ecuacin nos da

+ 2 + 02 ) e t = 0 .

Como la igualdad debe valer para todo tiempo, y la funcin exponencial no es constante, lo que debe ser cero es el parntesis, es decir

2 + 2 + 02 = 0 . Esta es una ecuacin algebraica para los valores de , cuyas soluciones son (verifquelo)

= 2 02 .
2 Tenemos tres casos posibles, segn que el discriminante 2 0 sea positivo, nulo o negativo. Supongamos 2 02 < 0 . En ese caso podemos rescribir como

= i ,
con = 02 2 real. La solucin general queda en este caso

z ( t ) = ae +t + be t = ae t eit + be t e it . Puede sonar extrao que hayamos obtenido una solucin compleja, pero la reduccin a una solucin real es fcil: slo debemos recordar que las constantes a y b tambin pueden ser complejas, y elegirlas adecuadamente. Escribindolas en representacin polar tendermos
z ( t ) = a eia e t eit + b eib e t e it = e t a e (

i t + a )

+ b e (

i t +b )

),

y queremos que esta funcin sea real. Aqu nos sirve de gua la expresin del coseno como suma de exponenciales complejas, ya que si reducimos el parntesis a una expresin como esa, tendremos una funcin real. Esto podemos conseguirlo tomando mdulos iguales y fases opuestas: A a = b = , a = b = . 2 As, substituyendo obtenemos A i ( t + ) i ( t + ) z ( t ) = e t e +e = Ae t cos (t + ) , 2 que es real. Notemos que la solucin real obtenida tiene dos constantes reales para ajustar, A y , lo que est bien, ya que es solucin de una ecuacin diferencial de segundo orden. Notemos tambin que la solucin compleja tena dos constantes complejas para ajustar, pero estas equivalen a cuatro constantes reales, ya que debemos especificar dos nmeros reales para especificar un complejo (sus partes real e imaginaria, o bien su mdulo y su fase). Las dos que sobran las hemos determinado al imponer las dos condiciones adicionales que nos dejaron una solucin real.

Complejos