N umeros complejos, exponenciales y polinomios Aplicaci on a las ecuaciones diferenciales lineales Notaci on y primeras deniciones z = x + iy = rei = r(cos + i sen) , r = |z | = x2 + y 2 , x = Re z , y = Im z , z = x iy .

arg z = + 2k , k Z ,

Dado un n umero complejo z con las anteriores notaciones: x es su parte real, y su parte imaginaria, r = |z | su m odulo, su argumento (o uno de sus argumentos), z su n umero complejo conjugado. El m odulo es igual a la norma eucl dea del vector (x, y ). on. El uso de la exponencial compleja La igualdad ei = cos + i sen es una denici i til. e es extremadamente u El n umero complejo i se denomina unidad imaginaria y se llaman imaginarios puros los n umeros de la forma i con real. Los n umeros complejos se identican con vectores y con puntos del plano dotado de unos ejes cartesianos; x e y son las coordenadas cartesianas. Es decir, z = x + iy se identica con el vector (x, y ). A su vez, (x, y ) tambi en designa un punto del plano, el extremo del vector (x, y ). Los n umeros reales representan puntos del eje real (eje X), y los imaginarios puros puntos del eje imaginario (eje Y). Se tienen las relaciones (x, y ) = (r cos , r sen ) tg = y x cos = x r sen = y . r

El argumento de un n umero complejo no nulo El argumento de z , z = 0, es el angulo que forma el vector z con el eje real positivo (o eje X positivo). El signo del argumento es positivo si el giro desde el eje real positivo al vector z es en sentido contrario a las agujas del reloj. El argumento de z tiene innitos valores que dieren en m ultiplos de 2 . No existe un convenio can onico o standard para elegir un u nico valor del argumento. La cuesti on del argumento est a relacionada con las expresiones multivaluadas de variable compleja, que no son objeto de estas notas. No obstante, damos las siguientes reglas de trabajo: Regla 1. Escoger el argumento entre 0 y 2 : 0 arg z < 2 . Regla 2. Escoger el argumento entre y : < arg z . Ejemplos. A) Seg un las dos reglas arg(1) = 0, arg(i) = /2, arg(1) = . B) arg(i) = 3/2 seg un la primera regla, mientras que arg(i) = /2 seg un la segunda regla. Se tienen las importantes igualdades: 1 = e0 = e2i , 1 = ei = ei .

La unidad imaginaria i La unidad imaginaria i se representa por el vector (0, 1); su m odulo es igual a 1 y su i/2 argumento es igual a /2. Por tanto, i = e . De acuerdo con la denici on de producto dada unas l neas m as abajo, se tiene: 1 = i , i2 = 1 , i3 = i , i4 = 1 , i5 = i ,

Operaciones con n umeros complejos Suma: z1 + z2 = (x1 + x2 ) + i(y1 + y2 ) Producto: z1 z2 = r1 r2 e1 +2 = (x1 x2 y1 y2 ) + i(x1 y2 + y1 x2 ) Los n umeros complejos con estas dos operaciones forman un cuerpo conmutativo. La suma de n umeros complejos corresponde a la suma de vectores del plano. El producto de n umeros complejos es una operaci on especial del plano que carece de operaciones an alogas entre vectores de dimensi on 3. Inexistencia de relaci on de orden total. En los n umeros complejos no existe ninguna relaci on de orden total compatible (en un sentido que omitimos precisar) con las operaciones de suma y producto. En t erminos m as vagos, no existe una relaci on de orden total que cumpla las propiedades que intuitivamente esperar amos de ella. En la literatura sobre n umeros complejos se adopta universalmente el convenio de que > 0 signica es real y mayor que cero. Algunas propiedades b asicas Las siguientes relaciones son ciertas para todos z, z1 , z2 C , salvo indicaci on en contrario. 1. Propiedades de la conjugaci on compleja. (Importante: leer con detenci on). z +z z z , Im z = 2 2i c) z = z si y s olo si z real a) Re z = e) z1 z2 = z 1 z 2 g) z1 z2 = z1 z2 b) z = z d) z = z si y s olo si z imaginario puro f) z1 z2 = z 1 z 2 h) zz = |z |2

2. Propiedades de la parte real. a) Re (Re z ) = Re z b) Re (z1 z2 ) = Re z1 Re z2 c) Re (z1 z2 ) = (Re z1 )(Re z2 ) en general. d) Re (z ) = Re z si real.
2

3. Propiedades de la parte imaginaria. a) Im (Im z ) = 0 Im (i Im z ) = Im z b) Im (z1 z2 ) = Im z1 Im z2 c) Im (z1 z2 ) = (Im z1 )(Im z2 ) en general. d) Im (z ) = Im z si real. 4. Propiedades del m odulo. (Elemental, pero muy importante). a) |z | = 0 si y s olo si z = 0 b) | z | = |z | c) |Re z | |z |, |Im z | |z | d) |z1 z2 | = |z1 ||z2 | e) |z1 + z2 | |z1 | + |z2 | , La funci on exponencial Damos varias deniciones equivalentes, cuya equivalencia omitimos demostrar: e =e e
z x iy

|z1 | |z2 | |z1 z2 |

(desigualdades triangulares)

= e (cos y + i sen y ) =

1 n z n ! n=0

Propiedades de la exponencial 1. ez+w = ez ew 4. |ei | = 1 si y s olo si real 6. ez = 0 para todo z C 8. ez no es inyectiva (de C en C) Polinomios Los polinomios P (z ) ser an de una variable sobre R (es decir, con coecientes reales), o sobre C (con coecientes complejos). Los coecientes ak se numeran as : P (z ) a0 z n + + ak z nk + + an Si a0 = 0 se dice que el polinomio es de grado n. Recopilamos sin demostraci on algunas propiedades b asicas de los polinomios. 1. Todo polinomio de grado n admite a lo m as n ra ces distintas (reales o complejas). 2. Todo polinomio no constante tiene al menos una ra z compleja. 3. Existen polinomios de coecientes reales que no tienen ra ces reales. Por ejemplo, P (z ) = z 2 + 1 . 4. Todo polinomio (P) admite en el campo complejo una descomposici on factorial, u nica salvo permutaci on de factores, de la forma: P (z ) = a0 (z 1 )m1 (z s )ms ,
3

2. (ez ) = ez

3. |ez | = eRe z 5. z = |z |ei arg z 7. ez es peri odica de periodo 2i 9. La imagen de C por ez es C {0}

(P)

donde 1 , , s son las ra ces distintas (reales o complejas) de P y m1 , , ms las multiplicidades de las ra ces. (Estas multiplicidades se llaman algebr aicas cuando hay que distinguirlas de otros tipos de multiplicidades). 5. Ejemplos de descomposici on factorial: 2z 2 +8 = 2(z +2i)(z 2i) , z 4 +2z 2 +1 = (z +i)2 (z i)2 , z 2 2z +2 = (z (1+i))(z (1i)) .

6. Un polinomio de grado n puede tener menos de n ra ces distintas, ya que algunas ra ces pueden tener multiplicidad mayor que 1. Polinomios: Pares de ra ces complejas conjugadas. Pasamos a enunciar una propiedad b asica desde el punto de vista de estas notas. 7. Sea una ra z de un polinomio P de coecientes reales. Entonces el n umero complejo en una ra z de P con la misma multiplicidad que . conjugado es tambi Ejemplo 1: Sabiendo que i es una ra z con multiplicidad 2 del polinomio z 4 + 2z 2 + 1 se deduce que i es tambi en una ra z con multiplicidad 2 de dicho polinomio. Ejemplo 2: Si = p + qi es una ra z con multiplicidad m del polinomio P de coecientes en es una ra z de P con multiplicidad m. reales, entonces = p qi tambi Aplicaci on a las EDO lineales homog eneas de coecientes constantes En este apartado todos los coecientes ak se suponen constantes reales. Consideremos la EDO lineal homog enea de coecientes constantes: a0 y (n) + + ak y (nk) + + an y = 0 . (CC)

olo Como es sabido, las exponenciales de la forma y = ex son soluciones de (CC) si y s si el n umero es ra z (llamada ra z caracter stica o autovalor) del polinomio: P (z ) a0 z n + + ak z nk + + an (P)

Inicialmente era real, pero hace tiempo que los matem aticos observaron que permitiendo complejo, se unica y simplica de manera sustancial la teor a y la pr actica de la ecuaci on (CC). Recapitulando, vamos a tener soluciones y = ex que pueden ser de valores complejos (porque puede ser complejo), pero de variable real, la variable x. Como consejo pr actico se nalamos que, por lo general, el trabajo con exponenciales complejas en c alculos concretos, ensayos , exploraciones, etc., es mucho m as conveniente que el uso de las soluciones con valores reales tratadas m as abajo. Ra ces m ultiples complejas Al igual que con las ra ces reales, si = p + qi es una ra z de (P) con multiplicidad m, entonces ex , x ex , xm1 ex
4

son m soluciones linealmente independientes de (CC). Si adem as q = 0, es decir, no es real, por el punto 7 del apartado sobre polinomios, se deducen otras m soluciones linealmente independientes: ex , x ex , xm1 ex

Soluciones con valores reales Dado que el problema inicial era en el campo real, y dado que los valores complejos no tienen directamente sentido como medidas de magnitudes f sicas y de otras ciencias, se plantea la cuesti on de obtener n soluciones linealmente independientes con valores reales. El punto 7 del apartado sobre polinomios nos permite resolver f acilmente esta cuesti on. En efecto, si una soluci on asociada a la ra z caracter stica = p + qi , q = 0, es y = xk ex = xk epx (cos qx + i sen qx) , entonces tambi en es soluci on, asociada a = p qi , la funci on: y = xk ex = xk epx (cos qx i sen qx) . Haciendo las combinaciones lineales (y + y )/2 e (y y )/2i se obtienen las dos soluciones reales buscadas: xk epx cos qx y xk epx sen qx . Logaritmos, potencias y ra ces Si z, w C , z = 0 , n N , se dene: ln z = ln |z | + i arg z = ln r + i z w = ew ln z i + 2ki n ), z = n r exp( n

k = 0, 1, , n 1

1. Logaritmos. La expresi on ln z es multivaluada, de hecho con innitos valores (por serlo arg z ). En un sentido que omitimos precisar, ln z es la inversa de ez . Ejemplo: ln(1) = i( + 2k ) , donde k recorre los n umeros enteros. 2. Potencias de base y exponente complejos. La expresi on z w es, en general, multivaluada con innitos valores (por serlo ln z ). En algunos casos particulares tiene un n umero nito de valores (ver las ra ces n- esimas, w = 1/n). Y si w es un n umero entero es univaluada. Ejemplo: Ponemos un ejemplo particular de aplicaci on a las ecuaciones diferenciales lineales de Euler (ver m as abajo). Sea z = x real positivo, y sea w = p + qi . xw = e(p+qi) ln x = ep ln x eqi ln x .
5

Entre los innitos valores del logaritmo, el contexto de las ecuaciones de Euler nos sugiere escoger el valor real de ln x. Teniendo en cuenta que ep ln x = (eln x )p = xp , se obtine nalmente: (E) xp+qi = xp [cos(q ln x) + i sen (q ln x)] , x > 0 . 3. Ra ces. Traduzcamos a palabras algunos aspectos de la f ormula antes escrita. a) Todo n umero complejo no nulo tiene exactamente n ra ces n- esimas ( n = 1, 2, ). b) Las n ra ces n- esimas son los v ertices de un pol gono regular de n lados. (Ya que dos ra ces consecutivas dieren en un angulo de 2/n ). c) Aplicaci on a una EDO lineal homog enea de coecientes constantes Sea la ecuaci on diferencial y (8) y = 0 . Su ecuaci on caracter stica es z 8 1 = 0 . Por tanto las ra ces caracter sticas son las ra ces octavas de la unidad:

e0 = 1

ei/4 =

2 2 (1

+ i)

ei/2 = i

ei3/4 =

2 2 (1

+ i)

y sus opuestos.

De donde 8 soluciones linealmente independientes (algunas con valores complejos) de la ecuaci on diferencial son:

ex

eix

eR(1i)x = eRx eRix

donde R =

2 2

De aqu se obtienen f acilmente 8 soluciones con valores reales: ex ex cos x sen x eRx cos Rx eRx sen Rx eRx cos Rx eRx sen Rx

Comentario. Observando que z 8 1 = (z 4 1)(z 4 + 1) , podemos tambi en resolver la (8) ecuaci on y y = 0 calculando las ra ces cuartas de 1 y las ra ces cuartas de 1. Aplicaci on a las EDO lineales de Euler homog eneas En este apartado todos los coecientes bk , ak se suponen constantes reales. Las ecuaciones de Euler homog eneas son EDO lineales de coecientes variables de la forma: b0 xn y (n) + + bk xnk y (nk) + + bn y = 0 , x > 0 . (EU) Las ecuaciones de Euler son uno de los pocos casos de EDO lineales de coecientes variables de orden 2 que admiten integraci on elemental. Desde el punto de vista matem atico y f sico representan un importante y frecuente caso l mite. t El cambio de variable independiente x = e , t = ln x (sin cambiar la funci on y ), trasforma la ecuaci on (EU) en una ecuaci on lineal de coecientes constantes de la forma en reales, pero en general distintos de los bk . (CC), donde los coecientes ak son tambi Por tanto (EU) tiene integraci on elemental. Comentario. En todo este apartado, por supuesto, x es real positivo, y ln x es real. Ejercicio 1. Realizar dicho cambio para la ecuaci on de Euler x2 y 5xy + 25y = 0.
6

Observaci on pr actica importante. Este cambio de variable da lugar a c alculos largos y muy propensos a los errores si n 2 . Ahora bien, como las soluciones de (CC) son de la forma y = et (permitiendo complejo), se deduce del cambio de variable que: Las soluciones de la ecuaci on de Euler (EU) son de la forma y = x . on de Euler, sin Por tanto, basta sustituir y = x directamente en la propia ecuaci hacer el cambio de variable, lo que lleva a un polinomio en cuyas ra ces nos dan las soluciones buscadas. Ejemplo. La ecuaci on de Euler del Ejercicio 1 tiene las soluciones y = x3+4i e y = . x
34i

z compleja, = S olo queda explicar c omo se interpreta y = x cuando es una ra p + qi , q = 0, lo que ya se ha hecho en (E). Recordando (Punto 7 de Polinomios) que = p qi tambi en es una ra z, podemos recopilar diciendo que tenemos dos soluciones linealmente independientes de (EU) con valores complejos: xp+qi = xp [cos(q ln x) + i sen (q ln x)] xpqi = xp [cos(q ln x) i sen (q ln x)]

y dos soluciones linealmente independientes de (EU) con valores reales: xp cos(q ln x) xp sen (q ln x)

Ra ces m ultiples en la ecuaci on de Euler homog enea Sea una ra z caracter stica de la ecuaci on de Euler con multiplicidad m. Entonces el cambio de variable x = et , t = ln x nos indica que x , (ln x) x , (ln x)m1 x

son m soluciones linealmente independientes de la ecuaci on de Euler. Dado que aqu ln x es real, no hay nada nuevo que decir respecto al signicado de complejo. Sistemas de ecuaciones lineales con autovalores complejos Mismas ideas y m etodos combinadas con algo de Algebra. En pr oximas notas y mensajes se dar an ejemplos que no sean demasiado largos para un examen de dos horas.