Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Variablefinal - Junio12 PDF
Variablefinal - Junio12 PDF
Indice
Introducci on 1 Algebra De Los N umeros Complejos (C) 1.1 Sistemas Num ericos . . . . . . . . . . . . . . . . . . 1.1.1 Construcci on de los N umeros Complejos (C) . 1.1.2 Soluci on de la Ecuaci on x2 + 1 = 0 . . . . . . 1.1.3 Reales vs. Complejos . . . . . . . . . . . . . 1.2 Funciones B asicas de los Complejos . . . . . . . . . . 1.3 Plano Complejo y la Forma Polar . . . . . . . . . . . 1.3.1 Plano Complejo . . . . . . . . . . . . . . . . 1.3.2 Plano Polar . . . . . . . . . . . . . . . . . . 1.3.3 Interpretaci on Geom etrica del Producto de N umeros Complejos . . . . . 1.3.4 Esfera de Riemann . . . . . . . . . . . . . . . 1.4 Otras Operaciones y Funciones . . . . . . . . . . . . 1.4.1 Funci on Exponencial Compleja . . . . . . . . 1.4.2 Ra ces de N umeros Complejos . . . . . . . . . 1.4.3 Ecuaci on Cuadr atica de Coecientes Complejos 1.4.4 Logaritmo Complejo . . . . . . . . . . . . . . 1.4.5 Potencias Complejas . . . . . . . . . . . . . . 1.4.6 Funciones Trigonom etricas Complejas . . . . . 1.5 Ejercicios Del Cap tulo . . . . . . . . . . . . . . . . . 2 L mites y Derivadas 2.1 Regiones en el Plano Complejo 2.2 Funciones Complejas . . . . . . 2.3 L mites y Continuidad . . . . . 2.4 Derivaci on . . . . . . . . . . . 5 9 11 11 13 16 20 21 25 25 26 27 29 30 30 31 34 35 36 38 42 49 49 51 55 58
. . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
6 2.5 Ecuaciones de Cauchy-Riemann . . . . . . . . . 2.5.1 Ecuaciones de Cauchy-Riemann en forma 2.5.2 Funciones Arm onicas . . . . . . . . . . . 2.5.3 Familias de Funciones Ortogonales . . . Ejercicios del Cap tulo . . . . . . . . . . . . . . . . . Polar . . . . . . . . . . . . . . . . . . . . . . . .
2.6
3 Integraci on Compleja 3.1 Curvas en el Plano Complejo . . . . . . . . . . . . . 3.1.1 Clasicaciones . . . . . . . . . . . . . . . . . 3.1.2 Parametrizaci on . . . . . . . . . . . . . . . . 3.2 Integraci on Compleja . . . . . . . . . . . . . . . . . . 3.2.1 Propiedades de la Integraci on Compleja . . . . 3.3 Teorema de Cauchy . . . . . . . . . . . . . . . . . . 3.4 Consecuencias del Teorema de Cauchy . . . . . . . . 3.4.1 Principio de Independencia del Camino . . . . 3.4.2 Integral Denida . . . . . . . . . . . . . . . . 3.4.3 Teorema Fundamental del C alculo . . . . . . . 3.4.4 Principio de Deformaci on de Curvas . . . . . . 3.4.5 F ormula Integral de Cauchy . . . . . . . . . . 3.4.6 Multiples Puntos de No Analiticidad . . . . . 3.4.7 F ormula Integral de Cauchy para las Derivadas 3.5 Teorema Fundamental del Algebra . . . . . . . . . . . 3.6 Ejercicios del Cap tulo . . . . . . . . . . . . . . . . . 4 Sucesiones y Series 4.1 Sucesiones . . . . . . . . . . . . . . . . . . 4.2 Series . . . . . . . . . . . . . . . . . . . . . 4.2.1 Criterios de Convergencia . . . . . . 4.2.2 Serie Geom etrica . . . . . . . . . . . 4.3 Series de Potencias . . . . . . . . . . . . . . 4.3.1 Comparaci on con la Serie Geom etrica 4.3.2 Series de Taylor . . . . . . . . . . . 4.3.3 Series de Laurent . . . . . . . . . . 4.4 Teorema del Residuo de Cauchy . . . . . . . 4.5 Ejercicios del Cap tulo . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
113 . 113 . 117 . 117 . 121 . 125 . 130 . 137 . 143 . 152 . 163
INDICE 5 Transformada Zeta o de Riemann 5.1 Sucesiones Causales y Muestreo . . . . . 5.2 Transformada Zeta . . . . . . . . . . . . 5.2.1 F ormulas B asicas . . . . . . . . 5.3 Corrimientos . . . . . . . . . . . . . . . 5.3.1 Retraso . . . . . . . . . . . . . . 5.3.2 Avance . . . . . . . . . . . . . . 5.4 Transformada Zeta Inversa . . . . . . . . 5.4.1 M etodo de Comparaci on . . . . . 5.4.2 Divisiones Sucesivas . . . . . . . 5.4.3 Integral de Inversi on . . . . . . . 5.5 Convoluci on Discreta . . . . . . . . . . . 5.6 Ecuaciones en Diferencias . . . . . . . . 5.7 Soluci on de una Ecuaci on en Diferencias 5.8 Ejercicios del Cap tulo . . . . . . . . . .
7 165 . 165 . 166 . 167 . 171 . 171 . 173 . 175 . 176 . 179 . 182 . 186 . 189 . 193 . 199
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
Introducci on
El presente texto es el resultado de un largo proceso de ltraci on de las notas de preparaci on de clase que he hecho para el curso de Variable Compleja, al que asisten los estudiantes de las Ingenier as Electr onica y de Telecomunicaciones de la Universidad Santo Tom as. A todos ellos, les agradezco su colaboraci on durante estos u ltimos a nos. La realizaci on de este texto se debe a la necesidad de construir un documento que cubra los temas propuestos para un curso de Variable Compleja, con el enfoque adecuado para los ingenieros, y la vista puesta en la resoluci on de las ecuaciones en diferencias por medio de la transformada zeta o de Riemann. El texto busca ser auto contenido e intuitivo, en lo posible, dentro de un mundo de lo imaginario y evitando caer en el se nalamiento de lo complejo. Las demostraciones rodean la formalidad del an alisis complejo y buscan la construcci on de aproximaciones geom etricas. Se viaja constantemente entre la inducci on y la deducci on, generalizando resultados de los n umeros reales a los n umeros complejos, trabaj andolos all y particulariz andolos al mundo de los reales. Este libro no tiene ninguna pretensi on de originalidad en los resultados, presentaci on o ejercicios; s olo da un aporte desde el punto de vista did actico. Agradezco la colaboraci on de la Ingeniera M onica Rueda, directora del Departamento de Ciencias B asicas de la Universidad Santo Tom as, Sede Bogot a, por permitirme seguir con el curso de Variable Compleja para completar este trabajo. A los Profesores Al Jim enez de la Universidad Distrital Francisco Jos e de Caldas, Alexander Muc a y Germ an Escobar de la Universidad Santo Tom as, por su dedicada lectura del texto preliminar; es claro que todos los errores deben ser adjudicados u nicamente al autor. Mi gratitud a toda mi familia, y a unas mujeres muy especiales: mi madre y mi esposa Laura, por el animo que me imparten siempre. 9
Recordemos la siguiente cadena de contenencias de conjuntos de n umeros N Z Q =RC I nos indica: los N umeros Naturales (N) forman parte de los N umeros Enteros (Z), y estos a su vez de los N umeros Racionales (Q), que junto con los N umeros Irracionales (I) conforman los N umeros Reales, y estos est an contenidos en los N umeros Complejos (C). La principal diferencia que podemos encontrar entre ellos, no es la cantidad de elementos, cardinalidad del conjunto; sino la posibilidad de resolver ecuaciones, cada vez m as complejas, en las que intervienen las operaciones de suma y producto, veamoslo mediante algunos ejemplos: 1. En los N umeros Naturales (N) no tiene sentido la ecuaci on x + 3 = 2, pero s en los N umeros Enteros (Z). 11
12
CAP ITULO 1. ALGEBRA DE LOS NUMEROS COMPLEJOS (C) 2. En los N umeros Enteros (Z) no tiene sentido la ecuaci on 2x + 1 = 2, pero s en los N umeros Racionales (Q). 3. En los N umeros Racionales (Q) no tiene sentido la ecuaci on x2 2 = 0 , pero s en los N umeros Reales (R). Lo mismo ocurre con
n
lim
1+
1 n
que es acotado y creciente pero no converge en Q sino en R. 4. Por u ltimo, en los N umeros Reales (R) no tiene sentido la ecuaci on x2 + 1 = 0, pero s en los N umeros Complejos (C). La forma como se construyen los N umeros Complejos (C) se tiene de manera natural si se recuerda la contrucci on de los dem as conjuntos de n umeros de la cadena de contenencias, veamos: 1. Los N umeros Enteros se obtienen de los N umeros Naturales, uniendolos a ellos con sus inversos aditivos y el cero, Z = N {0} N. 2. Los N umeros Racionales se obtienen a partir del producto cartesiano de los enteros por s mismo, Q = {(m, n) Z Z : n = 0}, o m as com unmente Q= m : m, n Z y n = 0 , n
considerando como iguales las parejas que representan la misma fracci on.
13
3. Los N umeros Reales se originan a partir de los N umeros Racionales considerando sucesiones mon otonas y acotadas de N umeros Racionales que no convergen en los Racionales. Aqu las operaciones son inducidas como generalizaciones de las que se tienen en el conjunto anterior. Los N umeros Complejos se construyen a partir de los N umeros Reales an alogamente como se construyeron los N umeros Racionales a partir de los N umeros Enteros en el numeral 2. anterior, esta construcci on es la parte central de la siguiente secci on.
1.1.1
Denici on 1.1.1. Consideremos el producto cartesiano R R = {(x, y ) : x R, y R}, donde denimos una relaci on de igualdad, dada por (x, y ) = (w, z ) si y s olo si x = w, y = z, y dos operaciones de suma y producto, dadas por (x, y ) + (w, z ) = (x + w, y + z ). (x, y ) (w, z ) = (xw yz, xz + yw). (1.1) (1.2)
Ejemplo 1.1.1. Utilizando las deniciones de suma y producto denidas para los n umeros complejos, tenemos: a. (1, 2) + (5, 7) = (1 + 5, 2 + 7) = (6, 9) b. (1, 2) (5, 7) = (1 5 2 7, 1 7 + 2 5) = (5 14, 7 + 10) = (9, 17) c. (x, y )2 = (x2 y 2 , xy + xy ) = (x2 y 2 , 2xy ) d. (2, 3)2 = (22 32 , 2 2 3) = (5, 12)
14
Proposici on 1.1.1. El conjunto de n umeros as denido bajo estas operaciones y relaci on de igualdad cumple las siguientes propiedades: Dados (x, y ), (w, z ) y (r, s) en R R se tiene 1. Asociativa: (x, y ) + (w, z ) + (r, s) = (x, y ) + (w, z ) + (r, s)
2. Conmutativa (x, y ) + (w, z ) = (w, z ) + (x, y ) 3. Elemento Neutro: Existe (0, 0) R R, tal que, para todo (x, y ) R R se tiene que (x, y ) + (0, 0) = (x, y ) 4. Inverso Aditivo: Para cada (x, y ) R R, existe (m, n) R R tal que (x, y ) + (m, n) = (0, 0) donde (m, n) = (x, y ). Es decir, (x, y ) = (x, y ). 5. Asociativa: (x, y ) (w, z ) (r, s) = (x, y ) (w, z ) (r, s)
6. Conmutativa (x, y ) (w, z ) = (w, z ) (x, y ) 7. Elemento Neutro: Existe (1, 0) R R tal que para todo (x, y ) R R se tiene que (x, y ) (1, 0) = (x, y ) 8. Existencia de Inversos: Para cada (x, y ) R R \ {(0, 0)} existe (m, n) R R tal que (x, y ) (m, n) = (1, 0) donde (m, n) = Es decir,
x , y x2 +y 2 x2 +y 2
(x, y )1 =
x2
x y , 2 2 + y x + y2
15
Por lo anterior, podemos ver que el conjunto R R bajo las operaciones denidas en (1.1) y (1.2) tiene una estructura algebr aica de Cuerpo, que es la misma que tienen los N umeros Racionales y Reales. Ejemplo 1.1.2. De acuerdo con la proposici on anterior, tenemos: a. (2, 4) = (2, 4) b. (2, 3)1 =
2 , 3 22 +32 22 +32
2 3 , 13 13
c. (4, 2) (2, 4) = (4, 2) + (2, 4) = (2, 6) d. (4, 5) (2, 3) = (4, 5) (2, 3)1 = (4, 5)
2 3 , 13 13
23 2 , 13 13
en los dos u ltimos ejemplos, vemos que la resta es la suma del inverso aditivo y la divisi on es el producto por el inverso multiplicativo. Como el n umero complejo (0, 0) no tiene inverso multiplicativo, en los n umeros complejos tambi en al igual que en los n umeros reales es imposible la divisi on por el m odulo de la suma. Veamos ahora que si consideramos el subconjunto de R R denido por {(x, 0) : x R}, tenemos a. (x, 0) + (y, 0) = (x + y, 0), b. (x, 0) (y, 0) = (xy, 0). Las operaciones son cerradas en este subconjunto, pues la segunda componente se mantiene como cero, que es su caracter stica, y tambi en notamos que la primera componente corresponde a la suma y el producto respectivamente de los n umeros reales, por tanto realizando la identicaci on (x, 0) x, con x R se tiene que R R {0} R R. Es decir, los n umeros reales son un subconjunto propio (no igual) de R R.
16
Actividad 1.1. Muestre que: a. a partir de la ecuaci on (x, y ) (m, n) = (1, 0), que: (m, n) = x y . , 2 2 + y x + y2
x2
b. el producto de n umeros complejos es conmutativo. c. la propiedad distributiva de los n umeros complejos. Actividad 1.2. Resuelva las siguientes ecuaciones en los n umeros complejos. a. (2, 3) (4, 5) + (x, y ) = (2, 3) b. (2, 3) (x, y ) + (1, 2) = (3, 5) Actividad 1.3. Demuestre las siguientes propiedades de los n umeros complejos: a. Para todo (x, y ) C se cumple que: (x, y ) (0, 0) = (0, 0). b. Si se cumple que: (m, n) (p, q ) = (0, 0), entonces, (m, n) = (0, 0) o (p, q ) = (0, 0).
1.1.2
Soluci on de la Ecuaci on x2 + 1 = 0
Como x2 0 para todo x R, tenemos que x2 + 1 > 0. Por tanto la ecuaci on x2 + 1 = 0 no tiene soluci on en los reales, luego busquemos la soluci on en el conjunto R R. Bajo la identicaci on hecha anteriormente, tenemos 1 (1, 0) xunavariablecompleja(w,z),entonces x2 + 1 = 0 es equivalente a (w, z ) (w, z ) + (1, 0) = (0, 0), 0 (0, 0) y
1.1. SISTEMAS NUMERICOS de donde (w2 z 2 , 2wz ) + (1, 0) = (0, 0) (w2 z 2 + 1, 2wz ) = (0, 0)
17
y por la igualdad entre los elementos de R R obtenemos el siguiente sistema de ecuaciones en los n umeros reales w2 z 2 + 1 2wz =0 = 0,
para la segunda ecuaci on se tiene que: i. w = 0 o ii. z = 0, analizando los dos casos: i. Si w = 0 en la primera ecuaci on tenemos z 2 + 1 = 0, z 2 = 1 y z = 1 o z = 1, as las soluciones son (0, 1) y (0, 1). ii. Si z = 0 en la primera ecuaci on tenemos w2 + 1 = 0, que sabemos no tiene soluci on en los reales. As , la ecuaci on x2 + 1 = 0 tiene por soluciones en el conjunto R R a (0, 1) y (0, 1).
Denici on 1.1.2. El elemento (0, 1) de R R se llama Unidad Imaginaria y lo notaremos por i. i (0, 1), que cumple i2 (0, 1)2 = (1, 0) 1.
18
El uso de la unidad imaginaria i fu e introducido por Leonard Euler en 1777 y totalmente incorporado en la notaci on de los n umeros complejos por Karl Friendrich Gauss, para muchos historiadores el matem atico m as importante de todos los tiempos. Actividad 1.4. Resuelva las siguientes ecuaciones en los n umeros complejos, considerando z = (x, y ). a. z 2 + 4 = 0 b. z 2 + z + 1 = 0 Ahora, al multiplicar la unidad imaginaria i por un elemento del conjunto {(x, 0) : x R}, vemos que (0, 1) (b, 0) = (0, b), as , por esto podemos caracterizar un elemento de R R en t erminos de la unidad imaginaria por (a, b) = (a, 0) + (0, b) = (a, 0) + (0, 1) (b, 0) a + ib. Dando lugar a la siguiente denici on, ahora s el conjunto de los N umeros Complejos, base fundamental del trabajo que se desea presentar.
Denici on 1.1.3. El elemento a + ib de R R se llama un N umero Complejo, y al conjunto R R con las operaciones de suma y multiplicaci on, la relaci on de igualdad de la Denici on 1.1.1. y con las propiedades de la Proposici on 1.1.1. se le llama Conjunto de los N umeros Complejos, que lo notamos por C y tenemos que C = {z : z = a + ib con a, b R, i2 = 1}. As , tenemos la siguiente equivalencia entre las notaciones utilizadas (x, y ) x + yi,
19
donde el n umero real que acompa na a la i corresponde a la segunda componente en la pareja del elemento de R R. Bajo esta nueva presentaci on, es natural el producto de n umeros complejos, asumi endolo como el producto de dos binomios donde la i es la variable, veamos: (a + bi) (c + di) = ac + adi + bci + bdi2 = ac + adi + bci + bd(1) = (ac bd) + (ad + bc)i (ac bd, ad + bc)
Denici on 1.1.4. Al conjunto {(a, 0) : a R} C, lo llamamos Eje Real, y al conjunto {(0, b) : b R} C, lo llamamos Eje imaginario. Actividad 1.5. a. Determinar una f ormula para las potencias de i. b. Calcular (1 + i)100 . Sugerencia: Calcular primero (1 + i)2 . c. Expresar los siguientes n umeros en la forma a + bi. 1. (3 2i) (4 + 5i) + (3 2i) (4 5i) 2. (2 i) (4 + 3i) (5 + 2i) 3. 4. 6.
32i 4+3i 22i 7+i 4
5. i 3i + 4i2 + 2i 6
2i 4 1+i
3+4i 23i 3
20
1.1.3
Desde el punto de vista algebr aico los n umeros reales y los complejos tienen la misma estructura, son cuerpos algebr aicos. En los complejos se pueden resolver un n umero mayor de ecuaciones que en los reales, luego la pregunta es: Por qu e hemos trabajado m as en los reales que en los complejos?, o Tienen alguna ventaja los n umeros reales sobre los n umeros complejos? La respuesta es que los n umeros reales son un conjunto ordenado y los n umeros complejos no, veamos La relaci on en R es de orden, ya que cumple:
I. Si 0 < a y 0 < b, entonces, 0 < a + b, II. Si 0 < a y 0 < b, entonces, 0 < ab, III. (Ley de Tricotomia) Para todo a R se cumple una y s olo una de las siguientes armaciones i. 0 < a, ii. 0 = a, iii. 0 < a.
Supongamos que existe tambi en una relaci on de orden en C, que generaliza , entonces por La Ley de Tricotomia y con a = i, nos preguntamos, cu al de las siguientes armaciones es cierta? i. 0 i, Analicemos cada una de ellas: i. si 0 i, entonces, por II. 0 i2 = 1. Lo cual es contradictorio, as , 0 i. ii. si 0 = i, entonces, 0 ser a soluci on de la ecuaci on x2 + 1 = 0, lo cual no es cierto. As 0 = i. iii. si 0 i, entonces, por II. 0 (i)(i) = 1. Lo cual tambi en es contradictorio, as , i 0. ii. 0 = i, iii. 0 i.
21
Concluimos que en los n umeros complejos NO podemos denir una relaci on de orden que tenga un buen comportamiento con las operaciones denidas en el. Se pueden lograr diversas formas de dar un orden al conjunto de los n umeros complejos. Por ejemplo, utilizando su semejanza con R R se pueden ordenar por medio de una espiral que comienza en (0, 0), entre m as avanza sobre la espiral son mayores. O tambi en se puede usar un orden estilo el diccionario que se denomina lexicogr aco, pero estos ordenes no respetan las primeras dos condiciones de la denici on de conjunto ordenado, a esto se reere cuando decimos que no se comportan bien con las operaciones denidas en el. Actividad 1.6. Determinar otro par de n umeros complejos que no veriquen la Ley de Tricotomia. Actividad 1.7. Investigar c omo funciona el orden lexicogr aco para los n umeros complejos, dar ejemplos. Actividad 1.8. Dar un ejemplo que muestre que el orden lexicogr aco no se comporta adecuadamente con la suma y el producto de los n umeros complejos.
1.2
Las siguientes funciones son denidas exclusivamente para n umeros complejos, y posteriormente nos facilitar an muchos de los c alculos que tendremos para realizar durante el curso. Sea z = a + ib Parte Real. Re : C R z Re(z ) = a. Parte Imaginaria. Im : C R z Im(z ) = b. Conjugado.
22
a2 + b 2 .
Ejemplo 1.2.1. Dado z = 2 + 3i, entonces tenemos: Re(z ) = 2, Im(z ) = 3, z = 2 3i y |z | = 13. Proposici on 1.2.1. Sean z y w n umeros complejos, entonces 1. z w = z w 2. zw = z w 3. z 1 = z 1 4. z w
z w
5. z = z 6. |zw| = |z ||w| 7.
z w
|z | |w |
8. Re(z )= 9. Im(z )=
z +z 2 z z 2i
12. |z | = | z | = |z | 13. |z |2 = z z
1.2. FUNCIONES BASICAS DE LOS COMPLEJOS 14. |z + w| |z | + |w| Desigualdad Triangular. (|z | + |w|)2 .
23
Nota: Las barras en 11. al lado izquierdo simbolizan el valor absoluto en R y al lado derecho el valor absoluto complejo. Ejemplo 1.2.2. Veamos la comprobaci on de algunos de los numerales de la proposici on anterior: 1. z w = z w Sean z = a + bi y w = c + di dos n umeros complejos, entonces: z w = (a + bi) (c + di) = (a c) + (b d)i) = (a c) (b d)i) = (a bi) (c di) =zw z +z 8. Re(z )= 2 Sea z = a + bi, entonces: z+z (a + bi) + a + bi = 2 2 (a + bi) + (a bi) = 2 2a = = a = Re(z ) 2 11. |Re(z )| |z |. a2 a2 + b2 = |z |.
De la relaci on |z |2 = zz podemos obtener dos consecuencias: a. Factorizaci on. En el algebra real conocimos el caso de factorizaci on diferencia de cuadrados perfectos, que correspond a a: A2 B 2 = (A B )(A + B ),
24
ahora en los n umeros complejos podemos agregar un nuevo caso de factorizaci on Suma de Cuadrados Perfectos, que corresponde a: A2 + B 2 = (A Bi)(A + Bi), que por ejemplo lo podemos aplicar en: z 2 + 4 = (z 2i)(z + 2i).
b. Divisi on. Para facilitar el proceso de divisi on de n umeros complejos podemos multiplicar y dividir por el conjugado del denominador, as : a + bi c + di a + bi = , c + di c + di c + di = (a + bi)(c di) , (c + di)(c di) ac + bd ad + bc + 2 i. c2 + d 2 c + d2
4 7 + i. 5 5 Actividad 1.9. Probar cada uno de los numerales de la anterior proposici on. = Actividad 1.10. Calcular: 5 + 3i 2 1. + , 1 + 2i 1 i 3i30 i19 . 2i 1
2.
25
1.3
1.3.1
Recordemos que nuestra primera aproximaci on a los n umeros complejos fue como una representaci on en el producto cartesiano de R R, y por tanto podemos hacer la correspondencia del eje x con el eje real , y el eje y con el eje imaginario, representaci on que denominamos Plano Complejo. As un n umero complejo z de la forma a + ib se puede representar como un punto en el plano cartesiano Im a + ib b
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
a Figura 1.1
Re
y todo punto en el plano lo podemos ver como un n umero complejo. De este modo un n umero complejo es un vector con punto inicial en el complejo 0+ i0, el origen, y punto nal el complejo z , as la suma de n umeros complejos se puede representar como una suma de vectores. La distancia entre los n umeros complejos z = a + ib y w = c + id es el m odulo de la diferencia entre ellos dist(z , w) = |z w| = que cumple Proposici on 1.3.1. Dados z , w y v n umeros complejos 1. dist(z , w) 0 2. dist(z , w) = 0 z = w 3. dist(z , w) = dist(w, z ) 4. dist(z , w) dist(z , v ) + dist(v , w) Actividad 1.11. Demostrar cada numeral de la proposici on anterior. Actividad 1.12. En el plano complejo, dado un n umero complejo representar su conjugado, su negativo, su m odulo, su parte real y su parte imaginaria. (a c)2 + (b d)2 ,
26
1.3.2
Plano Polar
Introduciendo coordenadas polares en el plano complejo, obtenemos una nueva representaci on que nos ser a de gran utilidad para una interpretaci on geom etrica del producto de n umeros complejos y la obtenci on de nuevas operaciones en los complejos. As dado un n umero complejo z ubicado sobre el plano complejo en el plano complejo trazamos el segmento de recta que lo une con el origen Im
z = a + ib
. . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Re
Figura 1.2 donde r = |z | es la longitud de dicho segmento y es el angulo que se forma entre el eje real y el segmento (si z = 0), as por trigonometr a, para el n umero complejo z = a + ib se pueden relacionar su representaci on cartesiana con su representaci on polar mediante las ecuaciones: a = r Cos(), y, b = r Sen() tenemos la Representaci on Polar para todo z no nulo z = r Cos() + iSen() , donde el angulo se llama un argumento de z que se nota arg (z ), y NO es u nico. Si se cumple que < entonces se llama Argumento Principal de z y se nota por Arg (z ), donde arg (z ) = Arg (z ) + 2k : con k Z , por simplicidad cualquier elemento de este conjunto lo notamos por arg (z ).
1.3. PLANO COMPLEJO Y LA FORMA POLAR Si z = x + yi, el argumento lo podemos calcular por: y arctan( x ) si x > 0, y arctan( x ) si x < 0, arg (z ) = si x = 0 y y > 0, 2 si x = 0 y y < 0. 2 Ejemplo 1.3.1. Escribir en forma polar: 1. 1 + i. Calculamos: |1 + i| = as , 1 + i = i 2e 4 . 2; arg (1 + i) = arctan 1 1 = , 4
27
2e 4 i .
Actividad 1.13. La igualdad de n umeros complejos en forma cartesiana se tiene si son iguales componente a componente. C omo es la igualdad de n umeros complejos en forma polar? Actividad 1.14. Escribir en forma polar 1. 2 + 3i 2. 2 3i 3. 2 + 3i 4. 2 3i 5. 2i 6. 2
1.3.3
Tenemos que la suma entre complejos tiene la interpretaci on geom etrica de la suma de vectores en el plano por el m etodo del paralelogramo, aprovechemos la
28
representaci on polar de los n umeros complejos para interpretar geom etricamente el producto entre complejos. Sean z y w n umeros complejos con las representaciones polares z = |z | Cos() + iSen() y w = |w| Cos() + iSen() , entonces tenemos z w = |z | Cos() + iSen() |w| Cos() + iSen() = |z ||w| [Cos()Cos() Sen()Sen()] + i[Sen()Cos() + Sen()Cos()] = |z ||w| Cos( + ) + iSen( + ) , as , mod(zw) = |z ||w| y arg (zw) = + = arg (z ) + arg (w)
. . zw . . .
Im
|z ||w|
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
|w|
|z |
Re
Figura 1.3 Actividad 1.15. Es cierta la relaci on Arg (zw) = Arg (z ) + Arg (w)? Actividad 1.16. C omo se puede interpretar geom etricamente, en el plano 1 complejo, z ?, y por tanto la divisi on de complejos. Actividad 1.17. Explicar a la luz de la interpretaci on geom etrica del producto las conocidas leyes de los signos en la multiplicaci on de n umeros reales.
29
1.3.4
Esfera de Riemann
Otra representaci on de los n umeros complejos se puede realizar al ubicar una esfera de radio una unidad sobre el plano complejo, de tal forma que el polo sur de la esfera coincida con el origen del plano complejo. Posteriormente, desde el polo norte de la esfera se proyecta una recta que pasa por la esfera y un punto del plano. Este proceso se conoce como Proyecci on Estereogr aca y la esfera como Esfera de Riemann. En la Proyecci on Estereogr aca se asocia de forma biunivoca cada punto del plano con un punto sobre la esfera, donde: ESFERA polo sur polo norte ecuador circulos de radio m aximo PLANO origen punto en el innito circunferencia centrada en el origen l neas rectas
En el plano complejo al alejarnos del origen nos estamos aproximando al innito, como esto puede ser en cualquier direcci on pensariamos en innitos puntos innitos, pero en la esfera de Riemann vemos que este punto es u nico. En la gr aca se observa como el ecuador en la esfera de Riemann se transforma en una circunferencia en el plano complejo.
Figura 1.4 Actividad 1.18. Determinar sobre la esfera la proyecci on estereogr aca del punto 1 + i.
30
1.4
1.4.1
Denici on 1.4.1. Sea z = x + iy , entonces denimos la Funci on Expoz nencial Compleja e por: ez = ex eiy := ex Cos(y ) + iSen(y ) que se conoce como La F ormula de Euler, donde ex corresponde a la funci on exponencial real. Para z = iy tenemos que ez = eiy = Cos(y ) + iSen(y ), ya que representaci on polar de un n umero complejo toma la forma z = rei , donde r = |z | y = arg (z ). De lo anterior podemos expresar la igualdad de n umeros complejos en forma polar como: Sean z = |z |ei y w = |w|ei tenemos que |z | = |w| z = w y = + 2k, donde k Z. A diferencia de la representaci on cartesiana, vemos que la representaci on en forma polar NO es u nica, un mismo n umero puede tener varias presentaciones. Proposici on 1.4.1. Sean z = x + iy y w n umeros complejos, se tiene que 1. 2. 3. 4. 5.
e0 = 1. As la
ez ew = ez +w , 1 ez = e z, ez = 0, |ez | = ex y y = arg (ez ), donde < y < ez = 1, si y s olo si, z = 2ki con k Z,
31
Actividad 1.19. Demostrar la Proposici on anterior. Del numeral 1. de la anterior Proposici on, podemos derivar un resultado fundamental y es que si n es un n umero entero entonces (ez )n = ez ez = enz ,
n veces
en particular si z = i entonces (ei )n = ein , n Z que se conoce como la F ormula de De Moivre, que tambi en se escribe como
n
Cos() + iSen()
= Cos(n) + iSen(n), n Z.
ez , (ez )5 .
Actividad 1.21. Apartir de la f ormula de De Moivre y la igualdad de n umeros complejos, demostrar: 1. Cos(2) = Cos2 Sen2 2. Sen(2) = 2 Sen Cos 3. Sen(3) = 3 Sen 4 Sen3 4. Cos(3) = 4 Cos3 3 Cos
1.4.2
En esta secci on resolveremos el problema de dado un n umero complejo z y un n umero natural n determinar el n u mero complejo (o los n umeros) w tales que: n n w = z , o lo que es igual, w = z . Consideremos, en forma polar, z = |z |ei y w = |w|ei entonces tenemos (w)n = |w|ei
n
= z,
32
de donde por la F ormula de De Moivre |w|n ein = |z |ei , por la igualdad entre n umeros complejos en forma polar |w|n = |z | y n = + 2k, k Z, donde |w| =
n
|z | y =
2k + , k Z, n n
aqu k s olo necesita tomar como valores k = 0, 1, . . . , n 1. ya que los dem as valores se repiten, pues si por ejemplo k = n se tiene que
e(
+ 2k )i n n
= e n i e2i = e n i ,
que corresponde a k = 0. As la ecuaci on wn = z tiene n soluciones diferentes, siempre que z = 0. Cada soluci on se llama la ra z en esima del n umero z . Ejemplo 1.4.1. Determinar 5 1.
on la operaci on inversa Consideremos w = 5 1, entonces por ser la radicaci de la potenciaci on, tenemos que w5 = 1. Escribiendolo en forma polar w y 1, tenemos: w = rei as , rei
5
1 = 1ei0 ,
= 1ei0 ,
1.4. OTRAS OPERACIONES Y FUNCIONES Las soluciones en forma expl cita son: k=0: k=1: k=2: k=3: k=4: w0 = e0i = Cos(0) + iSen(0) = 1 + 0i w1 = e w2 = e w3 = e w4 = e
2 1 i 5
33
2 2 i 5
2 3 i 5
2 4 i 5
2 5 4 5 6 5 8 5
2 5 4 5 6 5 8 5
que corresponden a los v ertices de un pent agono regular inscrito en un c rculo de radio 1. Im w1
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
w2
w0 Re
w3
w4
Figura 1.5 Aqu es clara la raz on de porque las ra ces para k mayor o igual a 5 se repiten.
34
En general, al representar en el plano complejo las ra ces en esimas de un n umero complejo no nulo, se obtiene un poligono regular de n lados. Una visualizaci on de este hecho la podemos ver en http://demonstrations.wolfram.com/RootsComplex/ Actividad 1.22. Demostrar que si w es soluci on de z , entonces w tambi en lo es. Es decir z = w.
1.4.3
Al ser los n umeros complejos un cuerpo al igual que los n umeros reales, muchos de los resultados, m etodos y f ormulas en los reales se pueden extender sin ning un problema, por ejemplo la f ormula cuadr atica, es decir, dada la ecuaci on Az 2 + B z + C = 0, con A, B, C C, tenemos que su soluci on est a dada por z= B + B 2 4AC , 2A
donde, se considera u nicamente antes del radical + en lugar de , ya que en los complejos la ra z cuadrada ya contiene la posibilidad . Ver Ejercicio 1.22. Ejemplo 1.4.2. Resolver la ecuaci on: z 2 + (1 i)z 6 + 17i = 0. Identicando A = 1, B = 1 i y C = 6 + 17i, tenemos que (1 i)2 4(1)(6 + 17i) 1 + i + 24 70i z= = , 2(1) 2 resolviendo el radical w = 24 70i o w 2 = 24 70i, tenemos (1 i) + |2470i| = as |w| = de donde w = 74 Cos(0.62) + iSen(0.62) = (7 5i), 242 + 702 = 74 y Arg (2470i) = arctan 70 24 = 1.24 rad.,
74 y Arg (w) =
1.4. OTRAS OPERACIONES Y FUNCIONES luego z= z 0 = 3 2i y z 1 = 4 + 3i. Actividad 1.23. Resolver la ecuaci on: z 2 (1 4i)z 5 + i = 0. 1 + i (7 5i) , 2
35
1.4.4
Logaritmo Complejo
Al igual que en el caso real, denimos el logaritmo como la operaci on inversa de la exponencial, es decir Log (z ) = w El n umero w tal que
ew = z.
Tambi en, como |ew | = eRe(w) = 0, se tiene que z = 0. Con las anteriores consideraciones si z = rei , r = |z |, = Arg (z ) y w = u + iv , tenemos de ew = z que
eueiv = rei ,
considerando m odulo
eu|eiv | = r|ei |,
as r = eu , u = ln r y Arg (z ) = = v, de donde Log (z ) = w = u + iv = ln|z | + iArg (z ). Como w + 2ki, k Z tambi en satisface la ecuaci on z = ew , tenemos log (z ) = w + 2ki = u + iv + 2ki = ln|z | + i(Arg (z ) + 2k ).
36
Denici on 1.4.2. Sea z = 0, entonces se dene el Logaritmo Principal de z como Log (z ) = ln|z | + i Arg (z ), y el logaritmo complejo de z como log (z ) = ln|z | + i arg (z ) + 2k , con k Z.
Ejemplo 1.4.3. Determinar: a. Log (i) b. log (1) a. Tenemos que: |i| = 1, Arg (i) = /2, as Log (i) = ln 1 + i =i . 2 2
b. Tenemos que: | 1| = 1, arg (1) = + 2k con k Z, as log (1) = ln 1 + i( + 2k ) = i( + 2k ), k Z. Actividad 1.24. Resolver las ecuaciones: 1. Log (z ) = i 2. log (z ) = i 3.
eZ + i = 0
1.4.5
Potencias Complejas
La evoluci on del concepto de potenciaci on a trav es del desarrollo de la numeraci on es un buen ejemplo del pensamiento matem atico. En primaria nos ense naron que 23 es una potencia donde 2 es la base y 3 el exponente, y la resolvemos por la siguiente regla: La base se multiplica el n umero de veces que dice el exponente, as 23 = 2 2 2 = 8. Pero, las dicultades empiezan si el exponente es cero, Qu e es 20 ?, si volvemos a la denici on que teniamos ser a 2 multiplicado 0 veces,
37
Qu e interpretaci on se puede dar?, y las dicultades aumentan si el exponente es un n umero entero negativo Qu e es 23 ?, y Qu e pasa si el exponente es un fraccionario o un n umero irracional? Las soluciones se dan buscando ampliar el concepto de potenciaci on de tal forma que cumpla con las propiedades b asicas denidas hasta el momento, para el caso de un exponente irracional por ejemplo 3 tenemos por las propiedades del logaritmo natural que 2 Por lo anterior
3
= eln 2
=e
3ln 2
Notemos que se utiliza el logaritmo complejo, no el principal, lo cual hace que la respuesta no siempre sea u nica. Ejemplo 1.4.4. Determinar (1 + i)i . Calculamos primero log (1 + i) = ln |1 + i| + i(/4 + 2k ) = ln 2 + i(/4 + 2k ) con k Z, con este resultado y la denici on de potencia, tenemos: (1 + i)i = ei[ln
2+i(/4+2k)]
38
1.4.6
El principal m etodo para la producci on de resultados en los n umeros complejos consiste en exportar, de forma coherente, los resultados que conocemos en los n umeros reales. La coherencia la podemos interpretar como que al devolvernos, de los n umeros complejos particularizando a los n umeros reales, los resultados se conserven de una forma razonable. As , procederemos para la denici on de las funciones trigonom etricas. Dada la f ormula de Euler 1.4.1. ei = Cos() + i Sen(), y ei = Cos() i Sen(), sumandolas para coseno y restandolas para seno, obtenemos: Sen() =
ei ei
2i
Cos() =
ei + ei ,
2
donde R. Podemos hacer la extensi on considerando a como un n umero complejo, y as tenemos una denici on en los complejos de las funciones trigonom etricas.
eiz eiz
2i
Cos(z ) :=
eiz + eiz .
2
Las dem as funciones trigonom etricas las podemos obtener de forma natural a partir de seno y coseno, por ejemplo T an(z ) := Sen(z ) eiz eiz . = iz Cos(z ) (e + eiz )i
Una idea importante en nuestro futuro trabajo, es la posibilidad de representar las funciones como la suma de su parte real m as i veces su parte imaginaria,
1.4. OTRAS OPERACIONES Y FUNCIONES veamos esto por ejemplo con seno. Sea z = x + yi, entonces: Sen(z ) = Sen(x + yi) = e(x+yi)i e(x+yi)i , 2i i xiy e exi+y , 2
39
ey + ey ey ey + i Cos x , 2 2 Sen(x + yi) = Sen x Cosh y + i Cos x Senh y. = Sen x As , con z = x + yi tenemos: Re (Sen(z )) = Sen x Cosh y, y Im (Sen(z )) = Cos x Senh y.
Ejemplo 1.4.5. Calcular Sen( + i). Sen( + i) = Sen( ) Cosh(1) + i Cos( ) Senh(1), = 0 1.54308 + i (1) 1.1752 = 1.1752 i. Al calcular la funci on seno compleja en un n umero real x, tenemos: Sen(x + 0i) = Sen(x) Cosh(0) + i Cos(x) Senh(0), = Sen(x) 1 + i Cos(x) 0 = Sen(x), vemos as , que al devolvernos la denici on era coherente. Las funciones trigonom etricas inversas complejas, por ejemplo arcsen(z ), se pueden lograr por el siguiente m etodo w = arcsen(z ) Sen(w) = z ,
40
de donde
eiw = iz +
as
1 z2, 1 z2 .
1 i2 , 2 ,
= i log 1
considerando el de la ra z, tenemos dos posibilidades: 1. considerando el signo m as +: i log 1 + 2 = i ln| 1 + 2| + i(arg (1 + 2) + 2k ) , = i (0.8813 + i(0 + 2k )) , = 2k + 0.8813 i, con k Z. 2. considerando el signo menos : i log 1 2 = i ln| 1 2| + i(arg (1 2) + 2k ) , = i (0.8813 + i( + 2k )) , = (2k + 1) 0.8813 i, con k Z. As , las soluciones de arcsen(i) son: 2k + 0.8813 i y (2k + 1) 0.8813 i, con k Z.
1.4. OTRAS OPERACIONES Y FUNCIONES Veamos como se comporta arcoseno al considerarla en los n umeros reales. Ejemplo 1.4.7. Calcular arcsen(1). arcsen(1) = i log i 1 + 1 12 ,
41
= i log i +
0 ,
+ 2k con k Z. 2
Actividad 1.26. Determinar las f ormulas para las dem as funciones trigonom etricas y trigonom etricas inversas. Actividad 1.27. A qu e es igual Sen(z + w)? Actividad 1.28. Determinar el dominio de arctan(z ). Actividad 1.29. Determinar: 1. Sen(2 + 3i). 2. T an(2 + 3i). 3. arcsen(1 + i). Actividad 1.30. Demostrar que para todo n umero complejo z : 1. Sen2 (z ) + Cos2 (z ) = 1. 2. Sen(2z ) = 2 Sin(z )Cos(z ). 3. |Cos(z )|2 = Cos2 (Rez ) + Senh2 (Imz ).
42
1.5
2. Hallar todos los z tales que: a. Re(z ) = Re(z ) b. Im(z ) = Im(z ) c. z = z d. z = z e. z = |z | 3. Calcular (2 + 5i)(1 + 3i)3 5 + 3i
c. Re(z + i) = 4 d. |z 1 + 2i| = |z + 3 + i| e. |z + 1| + |z 1| = 4 f. |z + 1| |z 1| = 4
1.5. EJERCICIOS DEL CAP ITULO 5. Escribir en forma polar: a. i b. 1 + i c. 1 + i d. 1 i e. 2 f. 3i g. 3 + 3i 6. Escribir en forma rectangular: a. 2e3i b. e100i c. 10e/6 i d. 2e5/4
43
7. a. Hallar la forma polar para (1 + i)(1 + b. Use el resultado anterior para calcular Cos 8. Hallar todos los z tales que: a. ez = 1 + i b. z 3 = 1 c. z 4 = 16i d. z 2 + z + 1 = 0 7 12 Sen
3i)
7 12
44
CAP ITULO 1. ALGEBRA DE LOS NUMEROS COMPLEJOS (C) 9. Determine si las siguientes armaciones son v alidas o falsas. D e un ejemplo para explicar en el caso de no ser ciertas: a. log z n = n log z b. Log z n = n Log z c. elog z = z d. log ez = z e. eLog z = z f. Log ez = z g. 1z = 1
10. Hallar los valores de ii . Cu al es el valor principal? 11. Resolver z 6 z 3 2 = 0 12. Calcular 1 + i + i2 + i3 + + in Ayuda: Exprese su respuesta dependiendo del valor de n. 13. Determinar, para k N: a. Re(1 + i)2k+1 b. Im(1 + i)2k+1 14. Calcular la parte real y la parte imaginaria de 15. Calcular los n umeros complejos z tales que 2z i , 2 + iz sea: a. Un n umero real b. un n umero imaginario puro (sin parte real)
z 1+z 2
donde z C
1.5. EJERCICIOS DEL CAP ITULO 16. Calcular los n umeros complejos z tales que 2z 1 , z2 tenga: a. argumento principal /2 b. argumento principal /2
45
17. Dados dos n umeros complejos A y B, y un n umero positivo = 1, justicar que el conjunto zA = , zC: zB representa una circunferencia en el plano complejo. Determine su centro y su radio. 18. Demostrar que: a.
ei = ei ,
b. |z | |w|
|z w|
|z | + |w|
19. Cuales de las siguientes armaciones son ciertas para z , w C y R? Si es cierta demuestrela, de lo contrario refute con un contra-ejemplo. a. Re(zw) = Re(z )Re(w) b. Re(z ) = Re(z ) c. Im(z w) = Im(w z )
46
b.
3 1 2i
(1+i)2 23i
e. Re
j.
ez i = 0 ez + i = 0
c. Sen(z ) = 2
d. log (z ) = 1 + i e.
22. Hallar el conjunto de puntos del plano complejo que determina cada una de las siguientes relaciones y gracarlos: a. Re(z 2 ) < 1 b.
3
arg (z )
2 3
c. |z 3i|
d. Im(z 1 ) < 3 e. z + z 2 = 1
f. |z i| = |z 1|
23. Resolver las siguientes ecuaciones siendo x, y R a. i(x + yi) = x + 1 + 2yi b. x2 y 2 + 2xyi = ix + y c. x2 + y 2 = 1 2x + yi
47
24. Si |z | = 1, demostrar que para cualquiera a, b C, con bz + a = 0, se tiene: az + b =1 bz + a 25. Calcular: a. [(1)2 ]1/3 b. [(1)1/3 ]2 c. comparar los resultados. 26. Si 1, w y w2 son raices c ubicas de 1, con w = 1, probar que: a. 1 + w + w2 = 0 b. (1 + w2 )4 = w c. (1 w)(1 w2 )(1 w4 )(1 w5 ) = 9 27. Si z 1 , z 2 y z 3 son tres n umeros complejos tales que: |z 1 | = |z 2 | = |z 3 | = 1, y z 1 + z 2 + z 3 = 0, entonces, z 1 , z 2 y z 3 son los v ertices de un tri angulo equilatero inscrito en una circunferencia de radio uno y centro en el origen.
48
2.1
Denici on 2.1.1. Una bola abierta de centro z 0 C y radio r R+ es el conjunto de puntos que se encuentran a una distancia menor que r de z 0 , es decir Br (z 0 ) = {z C : |z z 0 | < r}.
49
50
Denici on 2.1.2. Dado un conjunto S C tenemos que: 1. un punto z 0 es un punto interior de S , si existe r > 0 tal que Br (z 0 ) S, 2. un punto z 1 es un punto exterior de S , si existe r > 0 tal que Br (z 1 ) S = , 3. un punto z 2 es un punto frontera de S , si para todo r > 0, se tiene que Br (z 2 ) S = y Br (z 2 ) S c = , donde S c es el complemento deS con respecto a C. Im S . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . z . . . . 1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . z . . . . . . . . . . . 2. . . . . . . . . . . . . . . . . . . . . . . .z 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ..
Re Figura 2.1
Denici on 2.1.3. El conjunto de los puntos interiores a S se llama el interior de S , el conjunto de los puntos exteriores a S se llama el exterior de S y el conjunto de los puntos frontera de S se llama la frontera de S , que se notan int(S ), ext(S ) y f r(S ) respectivamente.
51
Denici on 2.1.5. Dado un conjunto S C un punto z es un punto l mite de S si cada bola con centro en z contiene puntos de S diferentes de z , es decir (Br (z ) \ {z }) S = . El conjunto de todos los puntos l mites de S se llama el derivado de S , que se nota S .
Denici on 2.1.6. Un conjunto abierto S C es arco conexo si cada par de puntos se pueden unir por medio de una l nea quebrada totalmente contenida en S . Im
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . .. .. . . . . . W . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .z . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . .
Re Figura 2.2
Denici on 2.1.7. Un conjunto S C es acotado si existe una constante M > 0, tal que S BM (0). Actividad 2.1. Dar un ejemplo de cada una de las anteriores deniciones. Actividad 2.2. Dar un ejemplo de un conjunto que no sea arco conexo.
2.2
Funciones Complejas
El concepto de funci on compleja es el mismo que el de funci on en los n umeros reales, u nicamente cambian los conjuntos de salida y llegada. La parte importante, que nos ser a de gran utilidad m as adelante, es que se puede separar su
si z = x + iy entonces f (z ) = u(x, y ) + iv (x, y ), o en polares si z = rei entonces f (z ) = u(r, ) + iv (r, ), que corresponden: u a la parte real y v a la parte imaginaria. Ejemplo 2.2.1. Determinar la parte real y la parte imaginaria de la funci on f (z ) = z 2 , en coordenadas cartesianas y en coordenadas polares. Sea z = x + iy , entonces f (z ) = z 2 = (x + iy )2 = x2 y 2 + 2xy i, de f (z ) = z 2 = (x + iy )2 = x2 y 2 + 2xy i, donde u(x, y ) = x2 y 2 y v (x, y ) = 2xy. Ahora, sea z = rei , entonces f (z ) = z 2 = (rei )2 = r2 e2i = r2 Cos(2) + ir2 Sen(2), de donde u(r, ) = r2 Cos(2) y v (r, ) = r2 Sen(2). Ejemplo 2.2.2. Determinar la parte real y la parte imaginaria de la funci on f (z ) = log (z ) en coordenadas cartesianas y en coordenadas polares. Sabemos que: f (z ) = log (|z |) + i (arg (z ) + 2k ), donde k Z
2.2. FUNCIONES COMPLEJAS si z = x + yi, sabemos que: y arctan( x ) y arctan( x ) arg (z ) = 2 2 de donde para k ln ln log (z ) = ln ln por tanto u(x, y ) = ln x2 + y 2 y y arctan( x ) + 2k arctan( y ) + (2k + 1) x + 2k 2 + 2k 2 Ahora, si z = rei , entonces f (z ) = log (z ) = log (rei ) = ln r + i ( + 2k ) si x > 0, si x < 0, si x = 0 y y > 0, si x = 0 y y < 0. Z
y x2 + y 2 + i (arctan( x ) + 2k ) y ) + (2k + 1) ) x2 + y 2 + i (arctan( x
53
x2 + y 2 + i ( + 2k ) 2 x2 + y 2 + i ( + 2k ) 2
v (x, y ) =
54 de donde
u(r, ) = ln r y v (r, ) = + 2k. As , podemos ver que para algunas funciones es m as pr actico una representaci on que la otra. Actividad 2.3. Determinar la parte real y la parte imaginaria de: 1. f (z ) = ez 2. f (z ) = z n , n Z 3. f (z ) = Sen(z ) 4. f (z ) = |z | 5. f (z ) = z 2 z 6. f (z ) = 1/z Las funciones de los complejos en los complejos presentan dicultades en su representaci on, pues necesitariamos gracar en cuarta dimensi on. Para poder darnos una buena idea de las gr acas de las funciones complejas se suele gracar su m odulo |f (z )| y as obtenemos una representaci on en tercera dimensi on, veamos algunos ejemplos de estas gr acas:
Sin z
Tan z
Csc z
ArcTan z
Exp z
Log z
Figura 2.3
55
2.3
L mites y Continuidad
Denici on 2.3.1. Sean f : A B una funci on y z 0 A (derivado de A Denici on 2.1.5), entonces f tiene un l mite L cuando z se aproxima a z 0 , si para cada > 0 existe > 0 tal que para z A y 0 < |z z 0 | < , entonces |f (z ) L| < , lo cual lo escribimos como
z z 0
lim f (z ) = L.
La anterior denici on de l mite coincide con la que conocemos del c alculo real, salvo que en lugar de tomar valor absoluto, para determinar las distancias, consideramos el m odulo de un n umero complejo. Pero por la gran semejanza no sorprende el siguiente resultado. Proposici on 2.3.1. Si se tiene que:
z z 0
lim f (z ) = L y lim g (z ) = M,
z z 0
3. lim f (z ) g (z ) = L M
z z 0
4. lim
z z 0
L f (z ) = , siempre que M = 0 g (z ) M
56
Teorema 2.3.1. Sean z = x + iy , f (z ) = u(x, y ) + i v (x, y ) y z 0 = x0 + iy0 , entonces: Si existen los l mites reales
(x,y )(x0 ,y0 )
lim
u(x, y ) y
lim
v (x, y ),
entonces
z z 0
lim f (z ) =
lim
u(x, y ) + i
lim
v (x, y ).
La similitud entre las propiedades de los l mites en los n umeros complejos y el caso real, hace que su resoluci on sea similar, con la ventaja que en los n umeros complejos no existen expresiones cuadr aticas irreducibles. Ejemplo 2.3.1. Resolver: z41 z i z 2 + 1 lim Aqu tenemos, (z 2 + 1)(z 2 1) z41 = lim z i z i z 2 + 1 z2+1 lim = lim z 2 1
z i
= i2 1 = 2.
lim f (z ) = f (z 0 ).
2.3. L IMITES Y CONTINUIDAD Ejemplo 2.3.2. Analizar la continuidad de la funci on f (z ) = z . Sean z = x + yi y z 0 = x0 + y0 i, entonces:
z z 0
57
lim f (z ) = lim z
z z 0
= lim x + yi
z z 0
= lim x yi
z z 0
= x0 y0 i = f (z 0 ), luego la funci on f (z ) = z es continua en todo el plano complejo. Ejemplo 2.3.3. Analizar la continuidad de la funci on f (z ) = |z |. Sean z = x + yi y f (z ) = u(x, y ) + iv (x, y ) entonces f (z ) = |z | = de donde: u(x, y ) = x2 + y 2 y v (x, y ) = 0 Ahora por el Teorema 2.3.1 tenemos que para z 0 = x0 + iy0 cualquier n umero complejo:
z z 0
x2 + y 2 + 0i,
lim |z | =
lim
x2 + y 2 + i
lim
x0 2 + y0 2 = |z 0 |
= f (z 0 ), as , la funci on m odulo es continua. Actividad 2.4. Evaluar (3z + 1)(z 1) z 2i z2+z1 lim
z 18 + 1 z i z 10 + 1 lim lim
1. f (z ) = Re(z ) 2. f (z ) = |z | 3. f (z ) = Arg (z )
2.4
Derivaci on
Extendemos la denici on de derivada que se tiene en el caso real a los complejos, utilizando la misma denici on de l mite, considerando como variables z 0 y h n umeros complejos.
Denici on 2.4.1. Sean f (z ) una funci on compleja y z 0 un punto interior al dominio de f . Denimos la derivada de f en z 0 como: f (z 0 + h) f (z 0 ) df (z 0 ) = lim , h0 dz h siempre que el l mite exista. Dada la similitud en la denici on de derivada y las propiedades de los l mites de los casos real y complejo, se tiene que las reglas de derivaci on que se conocen en el c alculo real son las mismas para el caso complejo. Proposici on 2.4.1. Sean f (z ) y g (z ) funciones complejas, y un n umero complejo. Entonces: 1. 2.
d dz d dz
donde h C
(f (z ) + g (z )) =
d f (z ) dz
d g (z ) dz
(f (z )) = dd f (z ) z
2.4. DERIVACION 3. 4. 5.
d dz d dz d dz
59
(f (z )g (z )) = f (z ) dd g (z ) + g (z ) dd f (z ) z z
f (z ) g (z )
d d g (z ) d f (z )f (z ) d g (z ) z z 2 (g (z ))
(f (g (z ))) = f (g (z ))g (z )
Que corresponden a las reglas usuales que conocemos de derivaci on. Otro resultado importante que es an alogo al obtenido en el an alisis real, es la implicaci on de la derivabilidad con respecto a la continuidad de una funci on, veamos Proposici on 2.4.2. Si una funci on compleja f tiene derivada en un punto z 0 , entonces f es continua en z 0 . Supongamos que f es diferenciable en z 0 , es decir f (z 0 + h) f (z 0 ) h0 h lim existe, entonces calculamos lim f (z 0 + h) = lim f (z 0 + h) f (z 0 ) h + f (z 0 ) h
h0
h0
= lim
f (z 0 + h) f (z 0 ) lim h + lim f (z 0 ) h0 h0 h0 h
= f (z 0 ) 0 + f (z 0 ) = f (z 0 ). Denici on 2.4.2. Una funci on compleja f es anal tica en z 0 si es derivable en todos los puntos de Br (z 0 ) para alg un r > 0. Un punto z 1 es singular o una singularidad para una funci on f (z ), si f (z ) no es anal tica en z 1 pero si en todos los dem as puntos de Br (z 1 ) para alg un r > 0, estos los denominaremos tambi en puntos problema.
60
La noci on de una funci on anal tica es m as fuerte que el de ser derivable, una funci on puede ser derivable en un punto y no ser anal tica en dicho punto. Una funci on es anal tica en conjuntos que sean abiertos. Si una funci on es anal tica en todo el plano complejo se dice que es entera. Los puntos singulares son puntos problemas aislados de la funci on, en las funciones racionales (polinomio sobre polinomio) son los puntos que no pertenecen al dominio de la funci on. Actividad 2.8. Dar un ejemplo de una funci on derivable en un punto, pero no anal tica en ese punto. Actividad 2.9. Analizar la derivada de las siguientes funciones en z = i 1. f (z ) = Re(z ) 2. f (z ) = |z |
2.5
Ecuaciones de Cauchy-Riemann
Hasta el momento no existe una diferencia marcada entre el an alisis real y el complejo, los comportamientos de los conceptos de l mites, continuidad y derivaci on han sido una copia exacta del caso real. Las ideas se bifurcan con la aparici on del teorema central de esta secci on. Sean z 0 = x0 + iy0 un n umero complejo y f (z ) = u(x, y ) + iv (x, y ) una funci on de variable compleja, como d f (z 0 ) f (z 0 + h) f (z 0 ) = lim donde h C, z z 0 dz h si h = m + in y volviendo a la notaci on de parejas ordenadas f (x0 + m, y0 + n) f (x0 , y0 ) d f (z 0 ) = lim . (m,n)(0,0) dz m + in
2.5. ECUACIONES DE CAUCHY-RIEMANN Si el l mite existe, da igual al acercarnos por cualquier camino, en particular: Im
m=0
61
z0 n = 0
Re Figura 2.4 i. Si n = 0, h R d f (z 0 ) f (x0 + m, y0 ) f (x0 , y0 ) = lim (m,n)(0,0) dz m f (x0 , y0 ) = = ux (x0 , y0 ) + ivx (x0 , y0 ) x ii. Si m = 0, h = in f (x0 , y0 + n) f (x0 , y0 ) d f (z 0 ) = lim (m,n)(0,0) dz in 1 1 f (x0 , y0 ) = (uy (x0 , y0 ) + ivy (x0 , y0 )) , = i y i de donde: ux (x0 , y0 ) + ivx (x0 , y0 ) = as , como
1 i
igualando la parte real y la parte imaginaria, tenemos ux (x0 , y0 ) = vy (x0 , y0 ) vx (x0 , y0 ) = uy (x0 , y0 ) que se conocen como las ecuaciones de Cauchy-Riemann. El anterior resultado lo resumimos en el siguiente teorema.
62
Teorema 2.5.1. Sean un n umero complejo z 0 = x0 + iy0 y una funci on de variable compleja f (z ) = u(x, y ) + iv (x, y ). Si f (z ) es una funci on anal tica en z 0 , entonces satisface las ecuaciones de Cauchy-Riemann en z 0 . El anterior teorema nos da una condici on necesaria mas no suciente para que una funci on sea anal tica. Es decir, Si f (z ) es anal tica = se cumplen las Ecuaciones de Cauchy-Riemann El hecho que se cumplan las ecuaciones de Cauchy-Riemann NO implica que la funci on sea anal tica. Pero el que no se cumplan las ecuaciones de CauchyRiemann en alg un punto, esto si implica que la funci on no es anal tica en ese punto. Adem as, la derivada de f (z ) la calculamos, considerando el caso cuando n = 0, es decir al acercarnos por valores reales, as : f (z ) = ux (x, y ) + ivx (x, y ).
tica. Ejemplo 2.5.1. Determinar si la funci on f (z ) = z es anal Sea z = x + iy , entonces sabemos que: f (z ) = z = x + iy = x yi, de donde u(x, y ) = x ux = 1 uy = 0 v (x, y ) = y vx = 0 vy = 1
como para ning un z = x + yi se cumple ux (x, y ) = vy (x, y ) entonces la funci on f (z ) = z NO es anal tica en el plano complejo. Esta es una funci on continua en todo el plano complejo y no derivable en el plano complejo, algo dif cil de imaginar.
63
como para todo z = x+yi se cumple ux (x, y ) = vy (x, y ) y uy (x, y ) = vx (x, y ) pero el hecho de satisfacer las Ecuaciones de Cauchy-Riemann no implica que la funci on sea derivable, la condici on de Cauchy-Riemann es necesaria mas no suciente. El pr oximo Teorema, una versi on mejorada del anterior, nos da condiciones necesarias y sucientes para que una funci on sea anal tica.
Teorema 2.5.2. Sean un n umero complejo z 0 = x0 + iy0 y una funci on de variable compleja f (z ) = u(x, y ) + iv (x, y ). Si u, v, ux , uy , vx , vy son continuas en (x0 , y0 ) entonces: f (z ) es una funci on anal tica en z 0 , si y s olo si, satisface las ecuaciones de Cauchy-Riemann en z 0 . Ahora si estamos en condiciones de asegurar cuando una funci on es anal tica. Ejemplo 2.5.3. Determinar si la funci on f (z ) = ez es anal tica. Sabemos que si z = x + yi entonces f (z ) = ez = ex Cos(y ) + iex Sen(y ) u(x, y ) = ex Cos(y ) ux = ex Cos(y ) uy = ex Sen(y ) v (x, y ) = ex Sen(y ) vx = ex Sen(y ) vy = ex Cos(y )
64
Como u, v, ux , uy , vx , vy son continuas en todo (x, y ) R2 y se satisfacen las ecuaciones de Cauchy-Riemann en todo el plano complejo, tenemos que ez es una funci on entera, y su derivada es f (z ) = ux + ivx = ex Cos(y ) + iex Sen(y ) = ez como era de esperarse. Actividad 2.10. Demostrar que: f (z ) = z 2 e3z , es anal tica en todo el plano complejo y determinar su derivada.
2.5.1
Sea f (z ) = u(r, ) + iv (r, ) una funci on compleja en donde z = rei . Sabemos de la Secci on 1.3. que x = rCos() y y = rSen() entonces por la regla de la cadena del c alculo vectorial ur = de donde ur = ux Cos() + uy Sen() Por otra parte v = de donde v = vx rSen() + vy rCos() si suponemos que f (z ) satisface las Ecuaciones de Cauchy-Riemann, la u ltima ecuaci on se transforma en v = uy rSen() + ux rCos() = rur De igual forma podemos obtener u = rvr . v v x v y = + x y u u x u y = + r x r y r
65
As , las Ecuaciones de Cauchy-Riemann en forma Polar son: la derivada en forma polar se calcula por: f (z ) = ei (ur + ivr )
Ejemplo 2.5.4. Determinar si la funci on f (z ) = Log (z ) es anal tica. Sabemos que si z = rei entonces f (z ) = Log (z ) = ln(r) + i , donde = Arg (z ), por tanto < , u(r, ) = ln(r) 1 r v (r, ) =
ur =
vr = 0 v = 1.
u = 0 Ahora,
1 r ur = r = 1 = v y r vr = r 0 = 0 = u . r Como u, v, ur , u , vr , v son continuas en todo (r, ) R2 y se satisfacen las ecuaciones de Cauchy-Riemann en polares en todo su dominio de denici on, que es el plano complejo menos el origen y el eje real negativo, tenemos que Log (z ) es una funci on anal tica en C \ R {0} , y su derivada es f (z ) = ei (ur + ivr ) = ei como era de esperarse. Ejemplo 2.5.5. Determinar si la funci on f (z ) = z n con n N es anal tica. Sabemos que si z = rei entonces f (z ) = z n = rn Cos(n) + i rn Sen(n), 1 + i0 r = 1 1 = , i re z
r ur = r nrn1 Cos(n) = nrn Cos(n) = v y r vr = r nrn1 Sen(n) = nrn Sen(n) = u . Como u, v, ur , u , vr , v son continuas en todo (r, ) R2 y se satisfacen las ecuaciones de Cauchy-Riemann en polares en todo el plano complejo, tenemos que z n es una funci on entera, y su derivada es f (z ) = ei (ur + ivr ), = ei nrn1 Cos(n) + inrn1 Sen(n) , = nrn1 ei ein , = nrn1 ei(n1) , = n(rei )n1 , = nz n1 , como era de esperarse. Actividad 2.11. Determinar que la funci on f (z ) = anal tica en todo el plano complejo menos el origen. Actividad 2.12. Determinar que la funci on f (z ) = el plano complejo menos el origen.
1 zn
con n N es
67
2.5.2
Veremos el comportamiento geom etrico de la parte real y la parte imaginaria de un funci on anal tica.
Denici on 2.5.1. Una funci on real (x, y ) que tiene derivadas de segundo orden continuas en una regi on se dice arm onica si satisface la ecuaci on de Laplace bidimensional, 2 2 + 2 = 0. x2 y Proposici on 2.5.1. Sea f (z ) = u(x, y ) + iv (x, y ) una funci on anal tica en una regi on , entonces las funciones u(x, y ) y v (x, y ) son arm onicas. Demostraci on. Consideraremos que u y v tienen derivada de segundo orden continuas. Como f es anal tica se satisfacen las Ecuaciones de CauchyRiemann, veamos para la funci on u(x, y ): v u = x y y u v = , y x
derivando la primera igualdad con respesto a x y la segunda igualdad con respecto a y , obtenemos: 2u 2v = x2 xy y 2u 2v = , y 2 yx
como las derivadas parciales mixtas son iguales, tenemos: 2u 2u 2v 2v + = = 0. x2 y 2 xy yx Por tanto u(x, y ) es arm onica, de igual forma se procede para v (x, y ). Si f (z ) = u(x, y ) + iv (x, y ) es una funci on anal tica se dice que u y v son funciones arm onicas conjugadas. Las funciones arm onicas y la Ecuaci on de Laplace tienen aplicaciones en areas tales como el esfuerzo de placas, el ujo de uidos en dos dimensiones y la electrost atica. En los Ejercicios 5.e. y 5.f. se muestran las Ecuaciones de Laplace en coordenadas polares.
68
Ejemplo 2.5.6. Determinar una funci on arm onica conjugada para u(x, y ) = xy + x + 2y . Primero veamos que la funci on es arm onica: 2u (xy + x + 2y ) , = 2 x x x = (y + 1) = 0, x y 2u = (xy + x + 2y ) , 2 y y y (x + 2) = 0, = y por tanto 2u 2u + = 0 + 0 = 0, x2 y 2 satisface la ecuaci on de Laplace, por tanto es arm onica. Busquemos ahora su arm onica conjugada, como: ux = y + 1 = vy y uy = x + 2 = vx ,
donde c es una constante para la integral que es con respecto a x, luego la constante puede depender de y , por eso la escribimos como c(y ), para calcularla derivamos v con respecto a y , obteniendo: vy = c (y ) = y + 1, de donde: 1 c(y ) = y 2 + y + c, 2 1 1 1 v (x, y ) = x2 2x + c(y ) = x2 2x + y 2 + y + c, 2 2 2
as ,
69
el valor de la constante c lo podemos determinar si conocemos un valor inicial para la funci on, por ejemplo si sabemos que f (2i) = 4 + 5i, tenemos: f (2i) = 4 + i(4 + c) = 4 + 5i, por tanto c = 1 y la funci on: 1 1 f (z ) = xy + x + 2y + i x2 2x + y 2 + y + 1 , 2 2 con z = x + yi.
2.5.3
Recordemos que dos familias de funciones son ortogonales si en los puntos de corte forman angulos rectos, esto lo podemos vericar de dos formas: el producto de sus pendientes es 1 o el producto punto de sus gradientes es cero. Proposici on 2.5.2. Sea f (z ) = u(x, y ) + iv (x, y ) una funci on anal tica, entonces las familias de curvas denidas por: u(x, y ) = c son ortogonales. Demostraci on. Calculemos los gradientes de u y v : u(x, y ) = ux , uy y v (x, y ) = k,
70
Ejemplo 2.5.7. Sabemos que la funci on f (z ) = z 2 es anal tica, y su parte 2 2 real es u(x, y ) = x y y la parte imaginaria v (x, y ) = 2xy , por tanto las familias de curvas: x2 y 2 = c y 2xy = k, son ortogonales. En la gr aca vemos con l neas punteadas a u(x, y ) = c y Con l neas continuas v (x, y ) = k .
2 2 1 0 1 2
Figura 2.5 Actividad 2.13. Gracar las familias de curvas correspondientes a la parte 1 real e imaginaria de f (z ) = z .
71
2.6
2. Sea f (z ) =
si z = 3i y f (3i) = 4 + 6i.
a. Demostrar que
z 3i
lim f (z )
existe y determinar su valor. b. Es f (z ) continua en z = 3i? c. Es f (z ) continua para z = 3i? Explicar. 3. Determinar, si es posible, los valores de las constantes para las cuales f (z ) es anal tica. a. f (z ) = x + ay + i(bx + y ) b. f (z ) = Cos(x)(Cosh(y )+aSenh(y ))+iSen(x)(Cosh(y )+bSenh(y )) 4. Construir la funci on anal tica f (z ), si es posible, conociendo su parte real o su parte imaginaria. a. u(x, y ) = 3ex Cos(y ) + 1
y b. v (x, y ) = Arctan( x ), x > 0, f (1) = 0
72 b. f (z ) = vy + ivx
= 4|f (z )|2 =0
e. urr + 1 u + r r v + f. vrr + 1 r r
=0
6. Si f (z ) = u(x, y ) + iv (x, y ) es anal tica en todo el plano complejo, es decir, es entera. Demostrar que: a. Si v = u2 entonces f es constante. b. Si u2 = v 2 entonces f es constante. tica entonces f es constante. c. Si f = u iv es anal 7. Determine una funci on anal tica cuya parte real sea: u(r, ) = 5rCos() + r4 Cos(4). 8. Determine una funci on anal tica cuya parte real sea: u(r, ) = Cos() r2 + 1 r .
9. Encuentre las trayectorias ortogonales para las siguientes familias de curvas: a. x3 y xy 3 = c, b. ex Cos(y ) + xy = c.
3.1
La integral que deniremos ser a una integral de l nea, por esto claricaremos las principales curvas sobre las que vamos a trabajar.
R Im f=u+iv b
Re
Figura 3.1 73
74
Denici on 3.1.1. Una funci on f : [a, b] C denida f (t) = u(t)+ iv (t) se dice una curva si es continua, aqu f es continua si u y v son continuas como funciones reales. Y de igual forma se dice que es una curva diferenciable si u y v son derivables. As , una curva (gama) es la imagen de una funci on vectorial continua f (t) = u(t) + iv (t) en el plano complejo, u y v son funciones que dependen de una variable real t: x = u(t) y y = v (t) se conocen como ecuaciones param etricas de , la funci on f (t) se conoce como una parametrizaci on de , y a t se le dice el par ametro, por tanto al crecer el par ametro la curva toma un sentido u orientaci on en su construcci on.
3.1.1
Clasicaciones
Denici on 3.1.2. Sea una curva parametrizada por la funci on (t) con t [a, b], entonces: es cerrada si (a) = (b), es decir, sus extremos coinciden, es simple si para a < t1 < t2 < b se tiene que (t1 ) = (t2 ), es decir, no se autointersecta, se llama una curva de Jordan si es cerrada y simple.
Simple y no cerrada
Cerrada y no simple
Figura 3.2
de Jordan
75
Denici on 3.1.3. Sea , entonces la misma curva pero recorrida en sentido contrario se llama curva inversa y la notamos por . Si est a denida por la funci on (t) con t [a, b], entonces se dene por la funci on (t) = (a + b t), con t [a, b]. Pues, (a) = (a + b a) = (b), y (b) = (a + b b) = (a), y tambi en, a a + b t b siempre que a t b.
3.1.2
Parametrizaci on
Veamos las principales curvas y sus parametrizaciones, pues como ya notaremos las parametrizaciones no necesariamente son u nicas. Segmentos de recta Sea un segmento de recta que une los puntos P y Q, la parametrizaci on de este segmento desde P hasta Q est a dada por la funci on: (t) = P (1 t) + Q t con t [0, 1], vemos que (0) = P y (1) = Q, es decir, comienza en P y termina en Q. Ejemplo 3.1.1. Parametrizar el segmento de recta que va desde el punto P = 2 3i hasta el punto Q = 4 + 2i. (t) = P (1 t) + Q t con t [0, 1], = (2 3i)(1 t) + (4 + 2i)t con t [0, 1], (t) = (2 + 2t) + (3 + 5t)i con t [0, 1], x(t) + y (t) i
76 Circunferencias
Recordemos que ei = Cos + iSen es la f ormula de Euler, si varia entre 0 y 2 , la pareja (Cos, Sen) dibuja una circunferencia en el plano de radio uno y centrada en el origen. Por tanto, para r > 0, la funci on: () = rei con 0 2, es la parametrizaci on de una circunferencia centrada en el origen y de radio r, que se dibuja empezando en el punto (r, 0) y va en sentido contrario a las manecillas del reloj (sentido positivo). Ahora, como la suma de n umeros complejos tiene por interpretaci on geom etrica la suma de vectores en el plano, al sumar z 0 estamos trasladando los puntos de la circunferencia centrada en el origen a una nueva circunferencia de centro z 0 y de radio r. Por tanto, la parametrizaci on de una circunferencia centrada en z 0 y de radio r que se construye en sentido positivo desde el punto z 0 + r est a dada por: () = z 0 + rei con 0 2. Ejemplo 3.1.2. Determinar una parametrizaci on para la circunferencia de centro en z 0 = 2 + 3i y de radio r = 4 que se recorre en el sentido contrario a las manecillas del reloj. Se puede parametrizar por la funci on () = 2 + 3i + 4ei = 2 + 3i + 4(Cos + i Sen) = (2 + 4Cos) + i(3 + Sen) con 0 2, con 0 2, con 0 2.
Ejemplo 3.1.3. Parametrizar la misma circunferencia del ejemplo anterior, pero en el sentido de las manecillas del reloj. Sabemos que en el sentido contrario a las manecillas del reloj, () = 2 + 3i + 4ei con 0 2, para cambiar la orientaci on, consideramos la funci on () = (0 + 2 ), () = 2 + 3i + 4ei(2) = 2 + 3i + 4e2i ei = 2 + 3i + 4 e = (2 + 4Cos) + i(3 Sen)
i
77
z0
3i
Re
Figura 3.3 Asociadas con funciones de los reales en los reales Dada la gr aca de una funci on y = f (x) de un intervalo cerrado [a, b] contenido en los reales, se puede parametrizar como una curva en el plano complejo, por: (t) = t + if (t) con t [a, b]. Ejemplo 3.1.4. Parametrizar la curva correspondiente a la gr aca de la funci on y = x2 desde el punto P (1, 1) hasta el punto Q(2, 4).
4
x2
1.0
0.5
0.5
1.0
1.5
2.0
Figura 3.4 Se puede parametrizar por: (t) = t + it2 con t [1, 2]. Y en sentido contrario desde Q hasta P , por: (t) = (1 + 2 t) = (1 t) + i(1 t)2 con t [1, 2].
78
Actividad 3.1. Determinar una parametrizaci on para cada una de las siguientes curvas: 1. Un segmento de recta que va desde P = 1 hasta Q = i. 2. La media circunferencia superior que tiene por extremos de su diametro los puntos P = 2 + 3i y Q = 6 + 3i, en el sentido positivo. 3. El item anterior en sentido negativo. 4. La media circunferencia superior que tiene por extremos de su diametro los puntos P = 2 + 3i y Q = 6 + 7i, en el sentido positivo. 5. los lados de un tri angulo que tiene por v ertices los puntos P = 1 + i, Q = 1 + 3i y R = 3 + 3i, en sentido positivo comenzando y terminando en P. 6. La curva imagen de la funci on y = Sen x desde (0, 0) hasta (2, 0). 7. La curva cuya imagen es la relaci on y 2 = x desde el punto P (4, 2) al punto Q(4, 2). Actividad 3.2. Mostrar una curva con dos parametrizaciones diferentes.
3.2
Integraci on Compleja
Ya estamos en condiciones de denir la Integraci on de una funci on compleja sobre una curva diferenciable en el plano complejo.
Denici on 3.2.1. Sea f (z ) una funci on compleja denida sobre todos los puntos de una curva diferenciable que se puede parametrizar por (t) con t [a, b], entonces se dene la integral compleja de f (z ) sobre por:
b
f (z ) dz :=
a
siempre que la integral del lado derecho exista como una integral de Riemman. Veamos algunos ejemplos
79
Ejemplo 3.2.1. Integrar la funci on f (z ) = z a lo largo de el segmento de recta que va desde el punto P = 2 3i hasta el punto Q = 4 + 2i. Ya del Ejemplo 3.1.1, tenemos que el segmento de recta desde P hasta Q se parametriza por: (t) = (2 + 2t) + (3 + 5t)i con t [0, 1], de donde (t) = 2 + 5i, por tanto,
1
z dz =
0 1
=
0
(19 21t)dt + i
0
(4 + 20t)dt,
17 + 14i. 2 Observe como en la segunda l nea obtenemos dos integrales reales, la primera corresponde a la parte real y la segunda corresponde a la parte imaginaria. =
1 Ejemplo 3.2.2. Integrar la funci on f (z ) = z a lo largo de una circunferencia de radio r > 0 centrada en el origen y recorrida en sentido positivo.
La curva la podemos parametrizar por: () = rei con 0 2, de donde () = riei , por tanto,
1 dz = z =
2 0 2
1 riei d, rei i d,
= 2i. Notemos que no import o el radio r de la circunferencia, este resultado nos ser a de gran utilidad durante el cap tulo.
f (z ) dz ,
donde 1. f (z ) = z 2 y es el segmento de recta que va desde P = 1 hasta Q = i. 2. f (z ) = z 2 y es el cuarto de circunferencia centrada en el origen que va desde P = 1 hasta Q = i. 3. f (z ) = z y es una circunferencia de radio 2 y centro el origen orientada en forma positiva. 4. f (z ) = z y es una circunferencia de radio 2 y centro el origen orientada en forma negativa.
3.2.1
La integral denida en la secci on anterior tiene las siguientes propiedades, algunas semejantes a las de la integral real. Proposici on 3.2.1. Sean f (z ) y g (z ) funciones complejas denidas sobre una curva diferenciable , entonces: 1. Para m y n constantes complejas, (mf (z ) + ng (z ))dz = m
f (z )dz + n
g (z )dz ,
conocida como propiedad de linealidad. 2. Considerando la integral sobre , que es recorrida en sentido contrario, tenemos: f (z )dz =
f (z )dz .
f (z )dz +
2
f (z )dz ,
3.3. TEOREMA DE CAUCHY 4. Sean M y L n umeros reales positivos tales que: |f (z )| M, para todo z , y L = long () longitud de , entonces f (z )dz M L,
81
que se conoce como acotamiento de la integral. 5. La denici on de la Integraci on Compleja depende de la parametrizaci on de la curva sobre la que se integra, pero como vimos esta no es necesariamente u nica, pero se tiene: La integraci on compleja es independiente de la parametrizaci on de la curva. Actividad 3.4. C omo se calcula la longitud de una curva conociendo una parametrizaci on de ella? Actividad 3.5. Mediante un ejemplo ilustre cada uno de los items de la proposici on anterior. Observaci on: Aunque sabemos que un ejemplo no es suciente para demostrar una proposici on, por eso aqu se hace es una ilustraci on de la veracidad de la misma. Actividad 3.6. Encuentre una cota para 1 dz , 1+z
3.3
Teorema de Cauchy
En esta secci on enuciaremos y demostraremos el Teorema de Cauchy, resultado central a lo largo del cap tulo y el curso. Previamente necesitamos enunciar dos resultados, que nos permitir an la demostraci on del teorema. Resultado 1: Sean f (z ) = u(x, y ) + iv (x, y ) donde z = x + iy y una curva
82
diferenciable que se puede parametrizar por (t) = x(t) + iy (t) con t [a, b], entonces:
b
f (z )dz =
a
f ((t)) (t)dt
=
a
=
a
+i
a
f (z )dz =
u dx v dy + i
u dy + v dx.
Resultado 2: Teorema de Green. Sean (omega) la regi on interior de una curva de Jordan y p y q funciones reales continuas tales que tienen primeras derivadas parciales continuas en la regi on . Entonces: (px + qy )dxdy =
p dy q dx.
Teorema 3.3.1. Teorema de Cauchy. Sean una curva de Jordan y f (z ) una funci on anal tica en y su interior, entonces: f (z ) dz = 0.
Demostraci on. Utilizaremos los Resultados 1 y 2. Sean el interior de y con z = x + yi sea f (z ) = u(x, y ) + iv (x, y ), como f (z ) es anal tica en
83
entonces por el Teorema de Cauchy-Riemann ux , uy , vx , vy son continuas en y por tanto podemos aplicar el Teorema de Green, as : f (z ) dz =
u dx v dy + i
u dy + v dx
(vx + uy )dxdy + i
(ux vy )dxdy
z2
z dz +4
donde es una circunferencia de radio 1 centrada en el origen y recorrida en sentido positivo. Representemos la regi on de integraci on,
Im
2i
Re
-2i
Figura 3.5
84
vemos que la funci on f (z ) = z2z tiene puntos singulares en 2i y en y su +4 interior f (z ) es anal tica y por tanto por el Teorema de Cauchy, tenemos: z2 z dz = 0. +4
1 a lo largo de una circunEjemplo 3.3.2. Integrar la funci on f (z ) = z ferencia de radio r > 0 centrada en el origen y recorrida en sentido positivo.
1 Como f (z ) = z no es anal tica en z = 0 punto interior de la curva , NO es aplicable el Teorema de Cauchy, y como ya vimos en el Ejemplo 3.2.2 el resultado es 2i.
determinar cu ando es aplicable el Teorema de Cauchy, explique su respuesta en cada caso: 1. f (z ) = z 2 y una circunferencia centrada en z = i de radio 2. 2. f (z ) = z 2 y media circunferencia desde P = 2 + 2i hasta Q = 4 + 4i, centrada en z 0 = 3 + 3i y orientada positivamente. angulo recorrido en forma negativa de v ertices 2 i 3. f (z ) = z y un rect y 2 i.
z y un rect angulo recorrido en forma positiva de v ertices 2 i 4. f (z ) = z2 +4 y 2 i. z 5. f (z ) = z2 y un cuadrado recorrido en forma positiva de v ertices 2 2i +4 y 2 2i. z 6. f (z ) = z2 y un rect angulo recorrido en forma positiva de v ertices 2 3i +4 y 2 3i.
2 2 2
1 1 d z , donde : | z i | = . 1 + z2 4
85
z2
1 dz , donde : |z | = 1. + 8z
3.4
Del Teorema de Cauchy se desprenden un gran n umero de resultados, que tienen que ver no necesariamente con funciones anal ticas o curvas de Jordan, veamos los principales. Antes una denici on.
Denici on 3.4.1. Un conjunto S C se dice simplemente conexo si toda curva cerrada contenida totalmente en S contiene en su interior exclusivamente puntos de S . Por ejemplo, el siguiente conjunto es arco conexo y no simplemente conexo, ya que para la curva cerrada K todos los puntos que encierra no son de S .
. . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.. . .... .... ...... S .... .... .. . . . .... ................ .. ...... . . . . . . . . . ........................ .. ........ .. .. .. .. .. .. . . . . . . . .. ...... ...... .. . . .. . . . . . . K ...... ........ .. .. .. ........ . . ... ...... . . ......................... .................... .. .. . ............. .... .... ... .... .. .
Figura 3.6 As un conjunto simplemente conexo se caracteriza por no tener huecos, por ser el interior de una curva de Jordan.
86
3.4.1
Sean una regi on simplemente conexa, f (z ) una funci on anal tica en , P y Q dos puntos interiores a . Si C y K son dos curvas que van ambas desde P hasta Q totalmente contenidas en , entonces: f ( z ) dz =
C K
f (z ) dz .
11111111111 00000000000 00000000000 11111111111 K 00000000000 11111111111 00000000000 11111111111 00000000000 11111111111 00000000000 11111111111 C 00000000000 11111111111 00000000000 11111111111 00000000000 11111111111 00000000000 11111111111 00000000000 11111111111
Figura 3.7 Consideremos = C K una curva de Jordan partiendo de P recorriendo C hasta Q y volviendo por K recorriendola en sentido inverso, para la cual sobre ella y su interior f (z ) es una funci on anal tica, as por el Teorema de Cauchy, tenemos: f (z ) dz , 0=
C K
=
C
f (z ) dz +
K
f (z ) dz ,
=
C
f (z ) dz
K
f (z ) dz ,
f (z ) dz =
K C
f (z ) dz .
87
111111111111 000000000000 .Q 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 C 000000000000 111111111111 S 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 R 000000000000 111111111111 000000000000 111111111111 . 000000000000 111111111111 P 000000000000 111111111111 K
Figura 3.8 podemos considerar ir desde P hasta R, y por el procedimiento anterior ver que ambas son iguales, de igual forma entre R y S y tambi en entre S y Q, sumando los tramos se tiene el resultado esperado. Otra forma ser a considerando una tercera curva L que con los mismos extremos no las intersecte, y se tendr a que:
.
C K
.
P
Figura 3.9 f ( z ) dz =
C L
f (z ) dz , y,
L
f ( z ) dz =
K
f (z ) dz ,
por transitividad f (z ) dz =
C K
f (z ) dz .
z dz , y
C
z dz ,
donde: 1. es el segmento de recta que va desde P = 1 hasta Q = i. 2. C es el cuarto de circunferencia centrada en el origen que va desde P = 1 hasta Q = i. Actividad 3.10. Calcular Re(z ) dz , y
C
Re(z ) dz ,
donde: 1. es el segmento de recta que va desde P = 1 hasta Q = i. 2. C es el cuarto de circunferencia centrada en el origen que va desde P = 1 hasta Q = i. Realizar una conclusi on sobre lo ocurrido en estas dos Actividades.
3.4.2
Integral Denida
Por el resultado anterior el Principio de Independencia del Camino, vemos que si la funci on es anal tica y no existan ambig uedades la integral depender a de los extremos de integraci on, esto da pie a la siguiente denici on.
Denici on 3.4.2. Sean una regi on simplemente conexa, f (z ) una funci on anal tica en , P y Q dos puntos interiores a y una curva que va desde P hasta Q totalmente contenida en , entonces:
Q
f (z ) dz :=
P
f (z ) dz .
89
z dz .
0
Como la funci on f (z ) = z es entera (anal tica en todo el plano complejo), no importa el camino que tomemos para la integral, con la u nica condici on que comience en 0 y termine en 1 + i, por ejemplo: un segmento de recta, un trozo de par abola, etc. Realizandola por el segmento de recta, (t) = 0(1 t) + (1 + i)t con t [0, 1],
1+i 1
z dz =
0 0
(1 + i)t(1 + i)dz , t2 2
1
,
0
1 0 2
= i.
z dz .
0
tica en ning un punto del plano Aqu como la funci on f (z ) = z no es anal complejo, y la integral depender a del camino, por tanto NO estar a bien denida la integral.
3.4.3
En la integraci on compleja tambi en se tiene una versi on del Teorema Fundamental del C alculo que facilitar a, como ya suponemos, los c alculos. Antes de enunciarlo veamos una proposici on que rearma la fortaleza de la analiticidad sobre la derivabilidad de una funci on. Proposici on 3.4.1. Sea f (z ) una funci on anal tica en una regi on simplemente conexa , entonces existe una funci on F (z ) en tal que: d F (z ) = f (z ), para todo z . dz Esta funci on F (z ) se denomina una antiderivada de f (z ) en .
90
La demostraci on es bastante t ecnica y est a fuera del alcance e inter es del curso, se puede consultar en Complex Analysis for Mathematics and Engineering de John H. Mathews.
Teorema 3.4.1. Teorema Fundamental del C alculo. Sean f (z ) una funci on anal tica en una regi on simplemente conexa , P y Q puntos interiores de , entonces para F (z ) una antiderivada de f (z ) en , se tiene que:
Q
f (z ) dz = F (Q) F (P ).
P
Demostraci on. Sea una curva contenida en que va desde el punto P hasta el punto Q, que tiene por parametrizaci on (t) con t [a, b] de tal forma que (a) = P y (b) = Q, entonces:
Q
f ( z ) dz =
P
f (z ) dz ,
b
=
a b
=
a
z 2 dz .
i
91
tenemos: z dz =
2
i 1 z
1 dz . z
Como la funci on f (z ) = es anal tica en todo el plano complejo excepto en 0, que corresponde a un conjunto que no es simplemente conexo y su antiderivada es Log (z ) que no es anal tica en el eje real negativo, tenemos que considerar una regi on tal que: sea simplemente conexa, contenga a i y a i y no a 0, y no tenga puntos del eje real negativo. Podriamos considerar la regi on:
S
i
Figura 3.10
92 donde:
i i
Actividad 3.11. Calcular la integral a lo largo del segmento de recta que une los puntos:
i+2
2z dz .
3i
Compare el resultado al que se obtiene al utilizar el Teorema Fundamental del C alculo. Actividad 3.12. Calcular
z2
dz , +1
donde: 1. es el segmento de recta que va desde P = 2 hasta Q = 2. 2. es la media circunferencia superior centrada en el origen que va desde P = 2 hasta Q = 2. 3. es la media circunferencia inferior centrada en el origen que va desde P = 2 hasta Q = 2. 4. Comparar los resultados y obtener una conclusi on con:
2 2
z2
3.4.4
Sean una regi on (encerrada por la l nea punteada exceptuando la regi on sombreada), f (z ) una funci on anal tica en , adem as C y K dos curvas de Jordan contenidas en con la misma orientaci on que contienen una regi on donde f (z ) no es anal tica (la regi on sombreada), pero si es f (z ) anal tica en la regi on comprendida entre C y K .
93
1111111 0000000 0000000 1111111 . 1111111 0000000 0000000 1111111 0000000 1111111
Q
f (z ) dz .
Supongamos que K y C tienen ambas orientaci on positiva, y sean P y Q puntos sobre cada una de las curvas, como se muestra en la Figura 3.11, consideremos la curva denida por:
de donde, 0=
K
f (z ) dz + f (z ) dz +
K
f ( z ) dz +
C
f (z ) dz + f (z ) dz
C
f (z ) dz , f (z ) dz ,
QP
PQ
0=
f (z ) dz f (z ) dz
QP
QP
0=
K
f (z ) dz ,
C
f (z ) dz =
K C
f (z ) dz .
1 dz , z
C
Re
Figura 3.12 Por el Principio de deformaci on de Curvas se tiene que como el punto sin1 gular de f (z ) = z es 0, se puede considerar la curva C , que tiene la misma orientaci on y tambi en contiene a 0, as : 1 dz = z 1 dz = 2i. z
donde es el cuadrado de v ertices 1 i, recorrido en sentido positivo, realizando una u nica integral.
95
3.4.5
El siguiente resultado nos proporciona una f ormula para calcular integrales sobre curvas cerradas, sin necesidad de recurrir a la denici on. Sean una regi on simplemente conexa, f (z ) una funci on anal tica sobre , K una curva de Jordan orientada positivamente contenida en y a un punto interior a K . Entonces: f (z ) dz = 2if (a). K za
.a
Figura 3.13 Consideremos C una circunferencia centrada en a de radio > 0 con orientaci on positiva contenida totalmente en K , entonces por el Principio de Deformaci on de Curvas, se tiene: f (z ) f (z ) dz = dz , C za K za realizando esta u ltima integral por la denici on de la integral compleja, tenemos que: C se parametriza por la funci on (t) = a + ei con 0 t 2 , aqu es importante que la orientaci on sea positiva, y as : f (z ) dz = za
2 0
f (a + ei ) i i e d, a + ei a
=
0
f (a + ei )id,
96
como f (z ) es anal tica en a y por tanto continua, se tiene que cuando i entonces f (a + e ) f (a), por tanto: f (z ) dz = za
2
f (a + ei )id,
0
= f (a)i
0
d,
z2
z dz . +1
Re
-i
3.4. CONSECUENCIAS DEL TEOREMA DE CAUCHY de |z i| = 1, por tanto por la F ormula Integral de Cauchy tenemos: z dz = z2 + 1 =
97
z dz (z i)(z + i)
z z +i
zi
dz
f (z ) =
Im
c
2
a
3
Re
Figura 3.15
98
a. Como : |z | = 1 no contiene puntos problema de la funci on, entonces por el Teorema de Cauchy, z1 dz = 0. 2 |z |=1 z z 6 b. Como : |z 3| = 1 incluye al punto problema z = 3, tenemos por la F ormula Integral de Cauchy, z1 dz = 2 z z6
z 1 z +2 |z 3|=1
|z 3|=1
z3
dz ,
= 2i
z1 z+2
,
z =3
|z +2|=1
z (2)
dz ,
= 2i
z1 z3
,
z =2
z1 dz , z (z 2 + 1)
4. |z + i| = 1 . 2
99
3.4.6
Con la F ormula Integral de Cauchy se pueden resolver integrales sobre curvas cerradas pero con un u nico punto problema, aqu veremos como podemos proceder cuando la curva encierra un n umero nito de puntos problema de la funci on.
Sea una regi on simplemente conexa, una curva de Jordan totalmente contenida en y f (z ) una funci on anal tica en salvo en a1 , a2 , . . . , an puntos en el interior de , entonces para C1 , C2 , . . . , Cn circunferencias centradas en a1 , a2 , . . . , an respectivamente orientadas igual que C y de radios sucientemente peque nos de tal forma que queden contenidas en C y no se corten mutuamente, se tiene:
n
f ( z ) dz =
k=1 Ck
f (z ) dz .
a1
1
a2
C1 P
C2
Figura 3.16
los separamos por medio de un segmento de recta que une los puntos P y Q sobre , dividiendola en dos curvas 1 y 2 , como se muestra en la gura, por
100 tanto: f (z ) dz =
1
f (z ) dz +
2
f (z ) dz ,
=
1
f (z ) dz +
f (z ) dz +
f (z ) dz
2
f (z ) dz ,
PQ
QP
1 P Q
f (z ) dz +
QP 2
f (z ) dz ,
=
C1
f (z ) dz +
C2
f (z ) dz .
De la misma forma se puede proceder en el caso de n puntos problema dentro de la curva. Ejemplo 3.4.8. Calcular z2 z1 dz . z6
c 2 3
b Re
Figura 3.17
3.4. CONSECUENCIAS DEL TEOREMA DE CAUCHY Aqu , tenemos por el Principio anterior: z1 dz = z2 z 6 z1 dz + z2 z 6 z1 dz z2 z 6
101
por tanto,
z2
z1 6i 4i dz = + = 2i. z6 5 5 z1 dz , z (z 2 + 1)
2. |z + i| = 3 . 2 3. |z | = 3.
3.4.7
Otra situaci on que se nos puede presentar es que tengamos puntos problema de multiplicidad mayor que uno, y aqu le daremos soluci on. Bajo las mismas condiciones de la F ormula Integral de Cauchy, es decir: una curva de Jordan orientada positivamente, f (z ) una funci on anal tica en y su interior, a un punto interior a , se tiene que: 2i (n) f (z ) dz = f (a), para n = 0, 1, 2, . . . . n +1 (z a) n!
Consideremos h C tal que |h| es un n umero peque no de tal forma que a + h sea un punto interior a ,
102
. a+h .a
Figura 3.18 para este punto a + h aplicamos la F ormula Integral de Cauchy, para obtener: f (a + h) = ahora, calculamos: f (a + h) f (a) = 1 2i 1 2i h 2i f (z ) 1 dz z (a + h) 2i 1 1 z (a + h) z a f (z ) dz , [z (a + h)][z a] f (z ) dz , za 1 2i f (z ) dz , z (a + h)
f (z ) dz ,
= de donde,
f (z ) dz , [z (a + h)][z a]
f (z ) dz . [z a]2
103
f (z ) dz ,
= de donde,
f (z ) dz . [z a]3
que en el caso n = 0, considerando que 0! = 1 y f (0) (a) = f (a), la funci on cero derivada es la funci on sin derivar, tenemos: f (a) = 1 2i f (z ) dz , (z a)1
que es la F ormula Integral de Cauchy, por tanto la F ormula de Cauchy para las Derivadas es su generalizaci on para n = 0, 1, 2, . . . . Actividad 3.16. Comprobar la F ormula de Cauchy para las Derivadas en el caso n = 3. La demostraci on general se puede realizar por inducci on matem atica, pero no es del inter es de nuestro curso.
1 dz , z2
|z |=1
donde : |z | = 2, orientada positivamente. Corresponde a la F ormula de Cauchy para las Derivadas en el caso n = 2, por tanto: z5 2i d2 5 d z = z , 3 2! dz 2 z=i (z i ) = i 20z 3 = 20.
Im
z =i
: z
i Re
Figura 3.19
105
Im
: z
C1 C2
2i 0 2i
Re
C3
Figura 3.20 Aqu los puntos problema, de no analiticidad, son z = 2i y z = 0, por el Principio de Multiples Puntos de no Analiticidad, tenemos: ez dz = z 2 (z 2 + 4) ez dz + z 2 (z 2 + 4) ez dz + z 2 (z 2 + 4) ez dz , z 2 (z 2 + 4)
C1
C2
C3
para C1 , C2 y C3 circunferencias de radio 1, centradas en 2i, 0 y 2i respectivamente. ahora, aplicando la F ormula Integral de Cauchy para C1 y C3 , y
106
z 2i
dz +
C2
z 2 +4
(z 0)2
dz +
C3
ez z 2 (z 2i)
z (2i)
dz ,
= 2i
ez z 2 (z + 2i)
+
z =2i
ez 2i d 1! dz z 2 + 4
+ 2i
z =0
ez z 2 (z 2i)
,
z =2i
= 2i
e2i (z 2 + 4 2z )ez + 4(4i) (z 2 + 4)2 e2i 1 e2i + + 16i 4 16i e2i e2i +i+ 4 4
+
z =0
e2i 4(4i)
= 2i
2 2 i 2
donde : |z | = 2, orientada positivamente. Actividad 3.18. Halle una f ormula para la integral
z n dz , n Z
107
3.5
Este Teorema requiere para ser enunciado terminolog a elemental, pero para su demostraci on es necesario un gran edicio matem atico. Parte de este edicio esta sustentado en los m etodos estudiados durante este cap tulo. El primero en realizar una demostraci on del Teorema fu e el Matem atico Alem an Carl Friedrich Gauss, quien durante su vida realiz o cerca de veinte diferentes pruebas, aqu veremos una de ellas. Veamos unos resultados previos necesarios en su demostraci on. Proposici on 3.5.1. Desigualdad de Cauchy. Sean f (z ) una funci on anal tica en una circunferencia centrada en z 0 y de radio r > 0 y su interior, M > 0 una cota superior para el m odulo de f (z ) en la circunferencia y su interior, entonces, para n N se tiene: |f (n) (z 0 )| n!M . rn
Como f (z ) es anal tica en una circunferencia centrada en z 0 y de radio r > 0 y su interior, se cumplen las condiciones de la F ormula Integral de Cauchy para las Derivadas, por tanto: f (n) (z 0 ) = n! 2i f (z ) dz , (z z 0 )n+1
|z z 0 |=r
|z z 0 |=r
n! = 2 n! 2
2 0
2 0
n! 1 M n! (2 )M n = n . 2 r r
108
Teorema 3.5.1. Teorema de Liouville Sea f (z ) una funci on anal tica y de m odulo acotado en todo C, entonces f (z ) es constante. Demostraci on. Por la Desigualdad de Cauchy para n = 1, tenemos que: |f (0)| M , r
donde |f (z )| M para todo z C, ahora como el radio es arbitrario, condirando que r tenemos que: f (z ) = 0 para todo z C. Por tanto, f (z ) es una funci on constante. Este Teorema nos arma que las u nicas funciones enteras (anal ticas en todo C) y acotadas son las funciones constantes, o de otra forma, si una funci on es entera y no constante no puede ser acotada.
Teorema 3.5.2. Teorema Fundamental del Algebra. Todo polinomio complejo de grado mayor o igual a uno tiene al menos una ra z. Demostraci on. Supongamos que p(z ) es un polinomio complejo de grado n 1 (no constante) y para realizar una prueba por contradicci on, supondremos que p(z ) = 0 para todo z C, es decir, no tiene ra ces complejas. Sea p(z ) = a0 + a1 z + + an z n . Como p(z ) = 0 entonces la funci on f (z ) = 1 , p(z )
es anal tica en todo C pues es una funci on racional y su denominador nunca se anula. Por otra parte, an z n = p(z ) a0 a1 z an1 z n1 , de donde, |an ||z |n |p(z )| |a0 | |a1 ||z | |an1 ||z |n1 .
3.5. TEOREMA FUNDAMENTAL DEL ALGEBRA Para |z | 1, |p(z )| |an ||z |n (|a0 | + |a1 ||z | + + |an1 ||z |n1 ), = |z |n1 |an ||z | |a0 | |a1 | |an1 | n2 nn n 1 |z | |z | |z |
109
|z |n1 (|an ||z | |a0 | |a1 | |an1 |) . Y por tanto |f (z )| = 1 1 0, n 1 p(z ) |z | (|an ||z | |a0 | |a1 | |an1 |)
cuando |z | . Esto implica que para alg un n umero positivo R, |f (z )| < 1, si |z | > R. Y en el disco cerrado |z | R, se tiene que |f (z )| es una funci on escalar continua y por tanto es acotada por un n umero real M > 0 ( Teorema del Valor Extremo). Por tanto en todo el plano complejo se tiene que: |f (z )| M + 1, as , f (z ) es una funci on anal tica en todo el plano complejo y acotada en el, luego por el Teorema de Liouville, se debe tener que f (z ) debe ser constante, lo cual es contradictorio. As , p(z ) debe tener al menos una ra z en el plano complejo. Al demostrar que el polinomio tiene una ra z, se puede factorizar como un factor lineal por un polinomio de grado n 1, al repetir el proceso obtenemos una versi on m as fuerte del Teorema Fundamental del Algebra , que podemos resumir en el siguiente resultado. Corolario 3.5.3. Todo polinomio complejo de grado n 1, se puede factorizar como el producto de n factores lineales.
110
3.6
z (z 2 4)(z 1)
b. : |z 1| = 1.5 c. : |z 2| = 3 d. : |z | = 3 2. f (z ) =
z z 2 +4
a. : |z | = 1 b. : |z 2i| = 1 c. : |z + 2i| = 1 d. : |z | = 3 3. f (z ) =
z (z 2 +4)(z 1) 1 2
a. : |z | =
b. : |z 1| = 1.5 c. : |z 2| = 3 d. : |z | = 3 4. f (z ) =
z 1 (z 2 4)(z +1)2 1 2
a. : |z | =
b. : |z 2| = 1
111
sen (z ) dz a lo largo de la par abola y = x2 . 6. Sea una curva parametrizada por z (t) = eit , t [0, 2 ] . Calcule: a. b. c.
cos z dz z senz dz z
cos(z 2 ) dz z
f (z )dz donde:
y . 2.
9. f (z ) = ez y es el contorno del cuadrado con v ertices en los puntos 0, 1, 1 + i, i orientada en sentido positivo. En los ejercicios del 10 al 12 calcular las siguientes integrales donde el camino es un contorno arbitrario entre los l mites de integraci on:
En los ejercicios del 13 al 15, sea el c rculo |z | = 1, con orientaci on positiva, calcular: 13. 14. 15.
z2 dz z 3 z
dz
1 dz z 2 +2z +2
Si es el contorno del cuadrado con v ertices 1 + i, 1 + i, 1 i, 1 i recorridos en el sentido positivo, calcular: 16. 17. 18.
ez dz z (i/2) Cos(z ) dz z 3 (z 2 +8) z dz 2z +1
Hallar el valor de la integral de g (z ) a lo largo del c rculo |z i| = 2 en sentido positivo cuando 19. g (z ) = 20. g (z ) =
1 z 2 +4 1 (z 2 +4)2
Sea una curva de Jordan descrita en sentido positiva, y sea g (w) = hallar g (w) si: 21. w est a en el interior de . 22. w est a en el exterior de .
z 3 +2z dz (z w)3
4.1
Sucesiones
Una forma de almacenamiento de datos discretos (informaci on) es en un conjunto ordenado que puede ser nito o innito, tender a un valor o no, tener una secuencia o no, estar representados por una f ormula o no, etc.
Denici on 4.1.1. Una sucesi on es una funci on que tiene por dominio los n umeros enteros o un subconjunto de ellos. Z C n z (n) = z n Realizaremos enfasis en las sucesi ones que tienen por dominio los n umeros naturales N = {0, 1, 2, 3, . . . }. Observemos que se puede utilizar para los elementos de la sucesi on dos tipos de 113
114
notaci on: como funci on z (n) o como un t ermino ordenado de un conjunto z n , ambas nos indican lo mismo pero sin embargo como funci on es m as usada en aplicaciones propias de la ingenier a. Las sucesiones se pueden representar en el plano complejo por la secuencia de puntos que la forman,
Im
z1 z0 z2 z3
z4 z5
Re
la sucesi on no comienza en n = 0 pues se tendr a una divisi on indenida, por eso nos adelantamos un t ermino y comenzamos en n = 1. Al representar los diferentes elementos de la sucesi on sobre el plano complejo vemos que cada vez se encuentran m as cercanos al origen. Ejemplo 4.1.2. {z n } = {in } = {1, i, 1, i, 1, . . . }, aqu los puntos sucesivos nos indican que los t erminos de la sucesi on continuan apareciendo de acuerdo a la secuencia que indican los primeros t erminos.
4.1. SUCESIONES
115
Aqu todos los t erminos de la sucesi on se encuentran ubicados sobre una circunferencia de radio una unidad centrada en el origen, y moviendose sobre ella con un argumento de /4 en sentido positivo, y repitiendose cada cuatro potencias.
Im
z1
z5
i z 1 1 z0 z4
z6
z2
Re
z3
z7
Figura 4.2 De acuerdo con los anteriores ejemplos y similarmente a lo que acontece en los n umeros reales, vemos que algunas sucesiones tienden a aproximarse a un valor, este concepto es la convergencia que lo deniremos por:
Denici on 4.1.2. Una sucesi on {z n } se dice convergente si existe un n umero L tal que: lim z n = L,
n
lo notamos por z n L. Si no existe el n umero L se dice que la sucesi on es divergente. Una idea b asica sobre la convergencia de una sucesi on es que apartir de un n umero N todos los t erminos z n con n > N est an dentro de un c rculo de centro L y radio > 0, es decir para la convergencia de una sucesi on no nos interesan los primeros valores de la sucesi on sino el comportamiento de los u ltimos.
116
Im
z N 1 zN zN zN
L
3
zN zN
4
z1
5
z0
Re
in n+1
i 1 i 1 , , ,... 1, , 2 3 4 5
0, la sucesi on converge a 0.
Ejemplo 4.1.4. Unas sucesiones importantes son las potencias de n umeros complejos, recordemos que elevar un n umero complejo a una potencia corresponde a multiplicar el argumento por la potencia y el m odulo elevarlo a la potencia indicada, seg un la Ley de De Morgan. Y por tanto: zn 0 si |z | < 1, si |z | > 1.
Cuando |z | = 1, la sucesi on queda atrapada en el circulo unidad y salvo cuando z = 1 no tiende a un u nico valor.
4.2. SERIES
117
4.2
Series
Las series corresponden a sumas innitas, podemos verlas como sucesiones si consideramos que dada una sucesi on {z n }, creamos una nueva sucesi on {sn } denida por: s0 = z 0 , s1 = z 0 + z 1 , s2 = z 0 + z 1 + z 2 , . . .
n
sn = z 0 + + z n =
k=0
zk ,
de esta forma la convergencia y la representaci on se tienen de la misma forma que en las sucesiones, pero muchas veces es m as importante el decidir si la serie converge o diverge que el valor al que lo hace en el caso de ser convergente. Las series las notaremos
z n o simplemente por
n=0
zn,
esta u ltima desde que exista claridad sobre los ndices. Muchas veces no nos interesan los primeros t erminos sino los siguientes despu es de cierta cantidad.
i } podemos formar la serie Ejemplo 4.2.1. Dada la sucesi on {z n } = { n
n=1
i , n
de la cual sabemos que cada t ermino tiende a cero, pero sobre la suma no podemos decir nada a un.
4.2.1
Criterios de Convergencia
Como hemos visto hasta el momento, las series complejas y las reales no tienen mayor diferencia, veremos que bajo sutiles cambios se pueden adecuar los criterios
118
que se tienen para las series reales a las series complejas. Aqu no realizaremos un estudio exhaustivo de dichos criterios sino nos limitaremos a enunciar los que nos ser an de utilidad m as adelante. Criterio 1. Condici on Necesaria para la Convergencia. Si z n converge, entonces lim z n = 0.
n
O de forma m as u til su contrarrec proca, que es equivalente Corolario 4.2.1. Prueba del en esimo T ermino para la Divergencia. Si lim z n = 0 entonces,
n
z n diverge.
in .
n=0
Esta serie repite indenidamente la suma de 1 y 1 que se anula y la de i y i que tambi en se anula. Pero veamos que el resultado var a dependiendo la agrupaci on que hagamos:
= 0.
=1+
= 1.
por tanto no es claro su resultado. Ahora, si aplicamos el Criterio para la Divergencia vemos que:
n
lim in = 0,
pues no existe (no tiende a un u nico valor). Por tanto, la serie es divergente.
119
n=1
i . n
Vemos que: i = 0, n n lim pero de este resultado el criterio no decide. El criterio y m as su corolario nos sirve para decidir sobre divergencia no para armar sobre la convergencia. Criterio 2. Prueba de la Raz on. erminos no nulos tales que: Sea n=0 z n una serie de t
n
lim
z n+1 = , zn
entonces, i. si < 1 la serie es convergente, ii. si > 1 la serie es divergente, iii. si = 1 el criterio no decide. La u nica diferencia con el caso real del criterio es la consideraci on del m odulo en el cociente, esto se puede explicar f acilmente pues as se convierten en t erminos positivos que es la condici on en el caso real. Ejemplo 4.2.4. Determinar la convergencia de la serie
n=1
in . n!
Calculamos:
n
lim
in+1 (n+1)! in n!
= lim
120
lim
|z n | = ,
entonces, i. si < 1 la serie es convergente, ii. si > 1 la serie es divergente, iii. si = 1 el criterio no decide. Ejemplo 4.2.5. Determinar la convergencia de la serie
n=1
i . nn
Calculamos:
n
lim
i = lim n nn
n n
|i| |nn |
1 = 0 < 1, n n
Actividad 4.1. Determinar la convergencia o divergencia de cada una de las siguientes series complejas: 1. 2. 3. 4.
(2i)n n=1 n2 , n=1
1+
i n , n
4.2. SERIES
121
4.2.2
Una de las principales series para nuestro trabajo es la Serie Geom etrica, es una de las pocas que no s olo podemos decidir su convergencia sino que podemos dar su valor de convergencia. Dado un n umero complejo z , veamos la suma
n
Sn = 1 + z + z + + z
n1
+z =
k=0
zk ,
y deseamos saber cual es el posible resultado cuando n tiende a innito, si diverge o converge, y en este u ltimo caso a cual valor. Consideremos z Sn = z + z 2 + z 3 + + z n + z n+1 , y realizamos Sn z Sn = (1 + z + z 2 + + z n1 + z n ) (z + z 2 + z 3 + + z n + z n+1 ), = 1 z n+1 , 1 z n+1 , 1z ahora si n por el Ejemplo 4.1.4., tenemos: Sn =
n
de donde
lim Sn =
por tanto tenemos Proposici on 4.2.1. Serie Geom etrica Sea z un n umero complejo tal que |z | < 1, entonces:
zn =
n=0
1 . 1z
La regi on donde este resultado es cierto se llama Regi on de Convergencia, y en este caso corresponde al interior de una circunferencia centrada en el origen y de radio uno.
122
Re
Figura 4.4 Ejemplo 4.2.6. Calcular la siguiente suma 3 3 3 3 + + + + . 10 100 1000 10000 Esta suma la podemos ver como: S= S=3 1 10
1
1 10
1 10
1 10
,
1 0 10
= 1,
1 10 1 10
+
n
1 10
1 10
1 10
+ 1 ,
=3
n=0
1 ,
1 como <1 10 1 1 1 , 1 10 3 1 s= = . 9 3 =3
4.2. SERIES
123
Lo cual corresponde a la intuici on que pudimos tener de la suma S al verla en forma decimal: 3 3 3 3 S= + + + + , 10 100 1000 10000 = 0, 3 + 0, 03 + 0, 003 + 0, 0003 + , 1 = 0, 3333 = . 3 Ejemplo 4.2.7. Se deja caer una pelota de tenis desde una altura de 20 metros, sabemos que cada vez que toca el suelo la pelota rebota a la mitad de la altura desde la que cay o. Determinar la distancia que recorr o verticalmente hasta quedar en reposo.
20
15
10
10
15
Figura 4.5 La suma que deseamos calcular es: S = 20 + 10 + 10 + 5 + 5 + 2, 5 + 2, 5 + 1, 25 + 1, 25 + , que la podemos escribir como: S = 20 + 2(10 + 5 + 2, 5 + 1, 25 + ), = 20 + 2 10 = 20 + 2 10
n=0
1 2
+ 10 1 2
n
1 2
+ 10
1 2
1 = 20 + 20 1, 1 2 = 60.
124
As , la pelota antes de conseguir el reposo (pr actico, pues en teor a no llega al reposo) recorre verticalmente 60 metros. Actividad 4.2. Dado un cuadrado de cartulina de lado una unidad, se construye otro cuadrado de cartulina, sobrepuesto sobre el anterior, tomando como v ertices los puntos medios del primero, posteriormente se realiza el mismo procedimiento con el siguiente cuadrado y as sucesivamente.
Figura 4.6 Determinar la cantidad de cartulina necesaria para realizar este proceso indenidamente. Actividad 4.3. Tri angulo de Sierpinski. Una gura muy importante en la Teor a Fractal es el Tri angulo de sierpinski, que se construye partiendo de un tri angulo equil atero al que se le dibuja un tri angulo interior tomando como v ertices los puntos medios del primero, aqu se obtienen cuatro tri angulos tres con la misma orientaci on del primero y uno invertido. A cada uno de los tri angulos con la misma orientaci on del inicial se le vuelve aplicar el mismo procedimiento y los tri angulos en posici on invertida se dejan igual, y as sucesivamente hasta el innito. Aqu se muestra el momento tres del proceso:
125
Figura 4.7 Si el area del tri angulo incial es de una unidad cuadrada, determinar la suma de las areas de todos los tri angulos en posici on invertida.
4.3
Series de Potencias
Al igual que en el caso real se puede expresar una funci on (bajo ciertas condiciones) como un polinomio innito, en los n umeros complejos tambi en consideraremos el caso de potencias negativas en la representaci on de una funci on.
an (z z 0 )n = a0 + a1 (z z 0 ) + a2 (z z 0 )2 + ,
n=0
donde los coecientes an son n umeros complejos (posiblemente algunos o todos reales) y z 0 un punto jo en el plano complejo se llama Serie de Potencias centrada en z 0 .
126
Cuando la serie converga lo har a a una funci on f (z ) dentro de una regi on de convergencia de la serie de la forma |z z 0 | < R, que corresponde a un circulo centrado en z 0 y de radio R que le denominaremos radio de convergencia de la serie. Cualquier funci on real que tiene una representaci on en serie de potencias, tiene una funci on compleja (su extensi on natural al plano complejo) que tiene por expansi on en serie una forma an aloga. Este resultado nos facilitar a la determinaci on de series en los complejos. Veamos algunos resultados que nos aclarar an el comportamiento de la regi on de convergencia de una serie de potencias. Proposici on 4.3.1. Si la serie de potencias
an (z z 0 )n = a0 + a1 (z z 0 ) + a2 (z z 0 )2 + ,
n=0
converge para un valor z = a, entonces convege para todo z que cumpla: |z z 0 | < |z 0 a|. Es decir, la serie converge para todos los z que est an dentro del circulo centrado en z 0 y tiene al punto a en la frontera. Demostraci on. Como la serie es convergente en el punto a se tiene: an (a z 0 )n 0, si n , esto implica que para z = a cada t ermino de la serie est a acotado por un n umero M , es decir: |an (a z 0 )n | < M para todo n N. As , se obtiene que: |an (z z 0 ) | = an (a z 0 )
n n
z z0 a z0
z z0 <M a z0
(*)
127
M
n=0
z z0 a z0
de la hip otesis |z z 0 | < |a z 0 | tenemos que: z z0 < 1, a z0 y la serie del segundo miembro de () es una serie geom etrica convergente. As , la serie del primer miembro tambi en es convergente en la regi on que deseabamos |z z 0 | < |a z 0 |.
Im
Punto donde estamos seguros de la convergencia de la serie
z0
a z0
Re
Figura 4.8
128
an (z z 0 )n = a0 + a1 (z z 0 ) + a2 (z z 0 )2 + ,
n=0
tiene por regi on de convergencia un circulo de la forma |z z 0 | < R = donde: an+1 L = lim . n an
1 , L
si L = 0 el radio de convergencia es , es decir, la serie converge en todo el plano complejo, si L = el radio de convergencia es 0. Las anteriores condiciones de la proposici on tambi en son ciertas si se utiliza el Criterio de la ra z para establecer el valor de L, donde: L = lim
n
|an |.
Demostraci on. Por el Criterio de la Raz on, sabemos que la serie es convergente si: an+1 (z z 0 )n+1 lim < 1, n an ( z z 0 ) n de donde |z z 0 | lim
n
an+1 < 1, an
as , la regi on de convergencia que se obtiene es: |z z 0 | < Se puede calcular R directamente por: R = lim siempre que el l mite exista. an , an+1 1 = R. L
129
Ejemplo 4.3.1. Determinar la regi on de convergencia de la serie de potencias denida por: (z i)n . n n=1 Por la proposici on anterior, para determinar la regi on de convergencia se 1 debe calcular L sabiendo que an = n , por tanto: L = lim
n 1 n+1 1 n
= 1,
as , la serie es convergente en la regi on: 1 = 1, L que corresponde a una circunferencia centrada en i y de radio 1. |z i| <
Im
Re
Figura 4.9 Ejemplo 4.3.2. Determinar la regi on de convergencia de la serie de potencias denida por: (1)n+1 (z 1 i)n . n ! n=1 Sabiendo que an =
(1)n+1 , n!
tenemos que:
(1)n+2 (n+1)! (1)n+1 n!
L = lim
= lim
1 = 0, n n + 1
130
as , el radio de convergencia es y se tiene que la serie converge en todo el plano complejo. Actividad 4.4. Determinar la regi on de convergencia de la serie de potencias denida por: n 6n + 1 (z + 2i)n . 2 n + 5 n=0
4.3.1
Dada una funci on f (z ) y un n umero complejo z 0 nos interesa determinar una expansi on de la funci on en una serie de potencias centrada en z 0 , ya tenemos una forma muy eciente de realizar este proceso para algunas funciones racionles (divisi on de dos polinomios), y consiste en ver la Serie Geom etrica de derecha a izquierda. Es decir: f (w) = 1 = 1w
Aqu , la regi on de convergencia la obtenemos de forma natural de la restricci on que ya la f ormula trae consigo. Veamos algunos ejemplos de este proceso. Ejemplo 4.3.3. Determinar la serie de potencias para la funci on f (z ) centrada en z 0 = 0, si: 1. f (z ) = 2. f (z ) = 3. f (z ) = 1. f (z ) = con w = z , tenemos:
1 , 1+z 1 , 1+z 2 3 . 2z
1 1 = , 1+z 1 (z )
f (z ) =
n=0
(z )n , donde | z | < 1
f (z ) =
n=0
131
1 1 , = 2 1+z 1 (z 2 )
f (z ) =
n=0
f (z ) = 3.
f (z ) = con w = z , tenemos: 2 3 f (z ) = 2 3 f (z ) = 2
3 1 3 = , 2z 2 1 z 2
n=0
z 2 1 2
, donde
n
z <1 2
n=0
Figura 4.10
132
si z 0 = i, si z 0 = 1 + i, si z 0 = 0. 1 1 = , 1+z 1 + i + (z i) 1 1 i 1 + i 1 z 1+i
z (z i)(z 2)
=
i con w = z , tenemos: 1+i
f (z ) =
1 1+i
n=0
zi 1+i
n+1
, donde
zi <1 1+i 2.
f (z ) =
n=0
1 1+i
Im z i 2
i
Re
Figura 4.11
133
Vemos que la circunferencia con centro en z 0 = i comienza a crecer hasta 1 es z = 1, de que encuentra el primer punto problema, que para f (z ) = 1+ z acuerdo con la Proposici on 4.3.1. 2. f (z ) = 2 2 = , 3z 3 1 i (z 1 i) 1 2 1i 2 i 1 z 2i
= con w = f (z ) =
z 1i , 2i
tenemos: z1i 2i
n+1 n
2 2i
, donde
n=0
z1i <1 2i
f (z ) = 2
n=0
1 2i
5.
Im z 1 i 5
i
Re
Figura 4.12
134
La regi on tiene como punto l mite z = 3, punto problema para la funci on f (z ). As , el radio se puede determinar como la distancia del centro al punto problema m as cercano. dist(1 + i, 3) = |(1 + i) 3| = | 2 + i| = 5.
z = i2 + 2i , (z i)(z 2) zi z2
2 1 1 1 1 i + = i2 zi 2i z2 2i 1
z 2
z i
1 1 , i2 1 z 2
en el primer t ermino y w = 1 f (z ) = 2i
n=0
z i
1 + i2
n=0
z 2
si |z |<1
si |z |<2
la primera serie se tiene si |z | < 1 y la segunda si |z | < 2, por tanto las dos son v alidas en la intersecci on de las dos regiones, que es |z | < 1, y all : 1 f (z ) = 2i
(i)
n=0
1 2
Los puntos problema de la funci on son z = i y z = 2, el c rculo centrado en 0 comienza a crecer, encuentra primero a z = i, y detiene su crecimiento quedando de radio 1.
135
1 Re
Figura 4.13 Actividad 4.5. Determinar la serie de potencias para la funci on f (z ) centrada en z 0 , si: 1. f (z ) = 2. f (z ) = 3. f (z ) =
1 3+z i i z
si z 0 = 2i, si z 0 = 1 + i, si z 0 = i.
z (z 2 +4)(z 3)
Actividad 4.6. Determinar y gracar la regi on de convergencia de la serie de potencias para la funci on f (z ) centrada en z 0 , si: 1. f (z ) = 2. f (z ) = 3. f (z ) =
1 3i+z
si a. z 0 = 2i b. z 0 = 2i, si a. z 0 = 1 2i b. z 0 = 2i, si a. z 0 = i b. z 0 = 1 + i.
z z 2 z 6
z (z 2 +4)(z 2 9)
Las siguientes tres proposiciones nos dan luces sobre el comportamiento de una serie de potencias dentro de su regi on de convergencia
136
Proposici on 4.3.3. Continuidad n Una serie de potencias on continua f n=0 an (z z 0 ) representa una funci dentro de su circulo de convergencia |z z 0 | < R, con R = 0.
Proposici on 4.3.4. Integraci on t ermino a t ermino n Una serie de potencias n=0 an (z z 0 ) puede integrarse t ermino a t ermino dentro de su circulo de convergencia |z z 0 | < R, con R = 0, para cualquier contorno , que se encuentre totalmente contenido en la regi on.
Proposici on 4.3.5. Derivaci on t ermino a t ermino n ermino a t ermino Una serie de potencias n=0 an (z z 0 ) puede derivarse t dentro de su circulo de convergencia |z z 0 | < R, con R = 0. A partir de la derivaci on y con la serie geom etrica se pueden obtener nuevas f ormulas con igual regi on de convergencia, veamos: d d 1 = dz 1 z dz
zn,
n=0
1 = (1 z )2 volviendo a derivar: 2 = (1 z )3
n z n1 ,
n=1
n(n 1) z n2 ,
n=2
y as sucesivamente. Estas f ormulas son v alidas en |z | < 1, ya que heredan la regi on de la f ormula inicial. Actividad 4.7. Determinar la serie de potencias para la funci on f (z ) = 1 centrada en z 0 = i. (2 + z )2
137
4.3.2
Series de Taylor
Hasta aqu las funciones a las que podemos determinar una expansi on en series de potencias est an limitadas a las que podemos comparar con la serie geom etrica. Otra forma de la determinaci on de la serie de potencias para una funci on requiere u nicamente de la posibilidad de derivar la funci on indenidamente en un punto dado, este concepto se debe al matem atico brit anico Brook Taylor en 1715. Sea f (z ) una funci on anal tica en z 0 , entonces tiene derivadas de todos los ordenes en z 0 , y queremos representarla por medio de un polinomio innito de potencias de (z z 0 ), es decir: f (z ) = a0 + a1 (z z 0 ) + a2 (z z 0 )2 + a3 (z z 0 )3 + a4 (z z 0 )4 + , debemos calcular los coecientes ak para determinar el polinomio, realizaremos el siguiente proceso: 1. calculamos en z 0 y obtenemos a0 = f (z 0 ),
138 4. derivamos f (z )
Teorema 4.3.1. Teorema de Taylor Dada una funci on anal tica en z 0 , entonces f tien una representaci on en serie de potencias de la forma:
f (z ) =
n=0
an (z z 0 )n donde |z z 0 | < R,
donde R se puede calcular por el Criterio de DAlambert Proposici on 4.3.2. y los an son los Coecientes de Taylor y se calculan por: an = f (n) (z 0 ) , para n = 0, 1, 2, . . . . n!
Aunque la regi on de convergencia que es de la forma |z z 0 | < R, y su radio R se puede obtener como la distancia del centro z 0 al punto singular de f (z ) m as cercano, al igual que con las series que se obten an al comparar con la serie geom etrica. Ejemplo 4.3.5. Determinar la serie de potencias para la funci on f (z ) = ez centrada en z 0 = 0. Como f (z ) = ez es anal tica en 0 se puede determinar una representaci on como una serie de Taylor. f (n) (z ) = ez,
f (n) (0)=e0 =1, para todo n=0,1,2,...,
139
f (z ) = ez =
n=0
1 (z 0)n = n!
n=0
zn , n!
= lim
1 = 0, n+1
as , el radio es y la regi on de convergencia |z 0| < , la convergencia es en todo el plano complejo. Ejemplo 4.3.6. Determinar la serie de potencias para la funci on f (z ) = Sen(z ) centrada en z 0 = 0. Como f (z ) = Sen(z ) es anal tica en 0 se puede determinar una representaci on como una serie de Taylor, f (0) (z ) = Sen(z ), f (1) (z ) = Cos(z ), f (2) (z ) = Sen(z ), f (3) (z ) = Cos(z ), f (4) (z ) = Sen(z ), f (0) (0) = 0, f (1) (0) = 1, f (2) (0) = 0, f (3) (0) = 1, f (4) (0) = 0,
como las derivadas de Sen(z ) se repiten cada cuatro, de los resultados anteriores podemos generalizar que para los ordenes pares se anulan y los impares van alternando entre los valores 1 y 1. As , los coecientes de Taylor son: f (n) (0) (1)n = , n! (2n + 1)!
an =
f (z ) = Sen(z ) =
n=0
(1)n
n=0
1 5 1 7 1 z z + , = z z3 + 6 120 5040 y el radio de la regi on de convergencia lo podemos calcular por el Criterio de DAlambert, 1 = lim R n
(1)n+1 (2n+3)! (1)n (2n+1)!
= lim
1 = 0, (2n + 3)(2n + 2)
as , el radio es y la regi on de convergencia |z 0| < , la convergencia es en todo el plano complejo. Ejemplo 4.3.7. Determinar la serie de potencias para la funci on f (z ) = Cos(z ) centrada en z 0 = 0. Como sabemos que cos(z ) es la derivada de sen(z ), y ya tenemos la serie de potencias para sen(z ) podemos por la Proposici on 4.3.4. calcular la serie para Cos(z ), as : Cos(z ) = d d Sen(z ) = dz dz
(1)n
n=0
=
n=0
(1)n
Cos(z ) =
n=0
(1)n
1 1 1 6 = 1 z2 + z4 z + , 2 24 720 conservando la misma regi on de convergencia de la serie de potencias de Sen(z ), es decir |z 0| < , todo el plano complejo.
141
Como tenemos dos m etodos para el c alculo de series de potencias para una funci on, es posible que para una funci on dada sea posible aplicar cualquiera de los dos m etodos. La siguiente proposici on nos asegura que por cualquier camino obtendremos el mismo resultado. Proposici on 4.3.6. Sean dos series de potencias con centro en z 0 :
an ( z z 0 )
n=0
y
n=0
bn (z z 0 )n ,
tales que representan la misma funci on y tienen la misma regi on de convergencia, entonces: an = bn para todo n = 0, 1, 2, 3, . . . . Ejemplo 4.3.8. Determinar la serie de potencias para la funci on f (z ) = centrada en z 0 = 0.
1 1z
Esta es la serie geom etrica, pero para reforzar e ilustrar la idea de la anterior proposici on la realizaremos por series de Taylor, entonces: f (0) (z ) = f (1) (z ) = f (2) (z ) = f (3) (z ) = f (4) (z ) = . . . f (n) (z ) = de donde, an = f (n) (0) n! = = 1 para todo n, n! n! n! , (1 z )n+1 1 , 1z 1 , (1 z )2 2 , (1 z )3 6 , (1 z )4 24 , (1 z )5 f (0) (0) = 1, f (1) (0) = 1, f (2) (0) = 2, f (3) (0) = 6, f (4) (0) = 24, . . . f (n) (0) = n!,
1(z 0) =
n=0 n=0
zn,
= 1 + z + z2 + z3 + z4 + , y el radio de la regi on de convergencia lo podemos calcular por el Criterio de DAlambert, 1 1 = lim = 1, R n 1 as , el radio es R = 1 y la regi on de convergencia |z 0| < 1, tal como esperabamos. Ejemplo 4.3.9. Determinar la serie de potencias para la funci on f (z ) = centrada en z 0 = i.
1 1z
La misma funci on del ejemplo anterior cambiando el centro a z 0 = i, ya sabemos que: f (n) (z ) = n! n! , f (n) (i) = , n +1 (1 z ) (1 i)n+1
para todo n,
n=0
1 (z i)n , n +1 (1 i)
= lim
1 1 = , n |1 i| 2
143
as , el radio es R = 2 y la regi on de convergencia |z i| < 2, que corresponde al circulo centrado en i que tiene a 1, el punto problema, en su borde.
Im z i 2
i
Re
Figura 4.14 Actividad 4.8. Determinar la serie de Taylor y la regi on de convergencia para la funci on f (z ) centrada en z 0 , si: 1. f (z ) = Log (z ) si z 0 = i, 2. f (z ) = ez si z 0 = i, 3. f (z ) =
1+z 1z
si z 0 = i.
4.3.3
Series de Laurent
se conoce como una serie de Laurent centrada en el punto z 0 , la podemos partir en dos series una que corresponde a la Parte de Taylor y la otra la denominaremos
an (z z 0 ) +
n= n=0
an (z z 0 )n ,
=
n=1
a n (z z 0 )n
+
n=0
an (z z 0 )n ,
Parte de Taylor
para determinar su regi on de convergencia, analizaremos cada parte por separado utilizando el Criterio de la ra z. Primero veamos la Parte Principal de Laurent:
n
|an (z z 0 )n | =
|an | |z z 0 |1 ,
|an (z z 0 )n | =
|an | |z z 0 |,
as la regi on de convergencia para la serie de Laurent corresponde a la intersecci on de las dos regiones en cada restricci on, as obtenemos la regi on: R1 < |z z 0 | < R2 , con 0 R1 < R2 , esta regi on corresponde a un anillo (o regi on anular ) centrada en z 0 de radio interno R1 y radio externo R2 , si el radio interno R1 = 0 se dice que es un disco perforado, pues como la desigualdad es estricta no contiene al punto z 0 .
145
R1 z0
R2
R1
z0
R2
Figura 4.15
Teorema 4.3.2. Teorema de Laurent Si f (z ) es anal tica en el anillo r < |z z 0 | < R, entonces, f (z ) tiene una representaci on u nica como una Serie de Laurent,
f (z ) =
n=
an (z z 0 )n ,
que es v alida en la regi on r < |z z 0 | < R, los coecientes an vienen dados por: f ( s) 1 ds, con n Z, an = 2i (s z 0 )n+1 donde es una curva de Jordan orientada positivamente contenida totalmente en la regi on anular r < |z z 0 | < R. Esta representaci on se tiene cuando realizamos la expansi on en series de potencias alrededor de un punto singular, o en una regi on que est a limitada entre dos puntos singulares. Ejemplo 4.3.10. Realizar el desarrollo en series de potencias para la funci on f (z ) = 1 , 1z
146
La funci on presenta una singularidad en el punto z = 1, que nos genera dos regiones posibles:
Im
1 Re
a. |z | < 1, b. 1 < |z |.
z 1
Figura 4.16 Veamos el desarrollo para cada una de ellas. a. |z | < 1: es obvio por ser la f ormula b asica de la serie geom etrica que,
f (z ) =
n=0
zn
b. 1 < |z |: para obtener la parte exterior de la circunferencia debemos tener la restricci on, 1 < 1, z que la conseguimos al dividir por z , f (z ) = 1 1 1 = 1, 1z z 1 z 1 = z
n=0 si
1 z
147
Vemos que en la parte a. obtuvimos u nicamente parte de Taylor y en la parte b. u nicamente parte principal de Laurent. Ejemplo 4.3.11. Realizar el desarrollo en series de potencias para la funci on f (z ) = 2 , (z + 1)(z + 3)
en todas las regiones posibles centradas en z 0 = 0. La funci on presenta singularidades en los puntos z = 1 y z = 3, ellos nos generan tres regiones posibles:
Im
|z|>3
Re
|z|<1 1<|z|<3
Figura 4.17 Por fracciones parciales sabemos que: f (z ) = 2 1 1 = , (z + 1)(z + 3) z+1 z+3
veamos la expansi on en cada regi on, comparando cada parte con la serie geom etrica.
148 a. |z | < 1: f (z ) =
1 1 1 1 1 = , z z+1 z+3 1 (z ) 3 1 3
=
n=0
(1)n (z 0)n
si |z |<1
1 3
n=0
1 3
(z 0)n ,
si |z |<3
=
n=0
(1)n +
1 3
n+1
b. 1 < |z | < 3: En la segunda serie de la parte a. ya se obtuvo la restricci on |z | < 3, luego 1 , aqu tenemos que ocuparnos de la primera parte, es decir de la funci on z+1 procederemos como la parte b. del Ejemplo 4.3.10., veamos: f (z ) = 1 1 1 1 1 1 = , 1 z+1 z+3 z 1 z 3 1 z 3 1 1 (1) n z 3 n=0
n si |z |>1
1 = z
n=0
1 3
si |z |<3
zn,
=
n=0
(1)
1 z n+1
+
n=0
1 3
n+1
= +
c. 3 < |z |:
149
En la primera serie de la parte b. ya se obtuvo la restricci on 1 < |z |, luego 1 , la tenemos que ocuparnos de la segunda parte, es decir de la funci on z+3 forma de lograr la restricci on, ya sabemos, es dividiendo por z , veamos: 1 1 1 1 1 1 , = 1 3 z+1 z+3 z 1 z z 1 z 1 z
f (z ) =
(1)n
n=0 si 1<|z |
1 1 zn z
(3)n
n=0 si 3<|z |
1 , zn
=
n=0
f (z ) =
Sen(z ) , z3
centrada en z 0 = 0.
Tenemos del Ejemplo 4.3.6. que la serie de potencias para sen(z ) es:
Sen(z ) =
n=0
(1)n
150
(1)n
n=0
=
n=0
(1)n
=
n=0
(1)n
1 z2 z4 1 + + , z 2 3! 5! 7! el primer t ermino es la parte principal de Laurent y los dem as son la Parte de Taylor. La serie hereda la convergencia de la funci on Sen(z ) salvo en 0 pues all se indetermina, as su regi on de convergencia es 0 < |z | que corresponde al plano complejo con una perforaci on en 0. = Ejemplo 4.3.13. Realizar el desarrollo en series de potencias para la funci on f (z ) = e z , centrada en z 0 = 0. Tenemos del Ejemplo 4.3.5. que la serie de potencias para ez es: ez=
zn n=0 n! , 1
1 , n! z n
1 1 1 1 + + + , + 2 3 z 2!z 3!z 4!z 4 aqu el primer t ermino es la parte de Taylor y los dem as son la parte principal de Laurent, la convergencia es el todo el plano complejo excepto 0, que se puede escribir 0 < |z |. =1+
151
Actividad 4.9. Realizar el desarrollo en serie de potencias para la funci on f (z ) = Cos alrededor de z 0 = 0. Actividad 4.10. Para la funci on f (z ) = z1 , z2 + 1 1 z2 ,
determinar todas las posibles regiones centradas en z 0 = 1 + i donde se puede desarrollar en series de potencias, y describa como son la parte principal de Laurent y la parte de Taylor, su n umero de t erminos es nito, innito o nulo. Realizar un gr aco. Actividad 4.11. Realizar el desarrollo en series de potencias de la funci on f (z ) = 1 , 3z + 2
z2
para cuatro regiones diferentes. Realizar un gr aco. Actividad 4.12. Realizar el desarrollo en series de potencias de la funci on f (z ) = para las siguientes regiones: a. |z | < 2, b. 2 < |z | < 3, c. 1 < |z 3| < 6, d. 0 < |z + 3| < 5, e. 5 < |z + 3|. z2 z , +z6
152
4.4
Recordemos de la Denici on 2.4.2. que una singularidad para una funci on f es un punto donde f no es anal tica, pero s en los puntos a su alrededor. Al desarrollar una funci on f (z ) sobre una singularidad z 0 de la funci on,
f (z ) =
n=1
an (z z 0 )n
+
n=0
an (z z 0 )n ,
Parte de Taylor
la singularidad se puede clasicar seg un el n umero de t erminos de la parte principal de Laurent, as : i. La parte principal de Laurent es cero, es decir, todos los coecientes an son nulos, entonces se dice que es una singularidad removible. ii. La parte principal contiene un n umero nito de t erminos, la singularidad se denomina un polo. Si n en la parte principal de Laurent es el mayor ndice tal que an = 0, entonces se dice que es un polo de orden n. Un polo de orden uno se dice tambi en polo simple. iii. La parte principal de Laurent es innita, se dice que z 0 es una singularidad esencial.
(z ) tiene una singularidad en z 0 = 0, Ejemplo 4.4.1. La funci on f (z ) = Sen z al realizar su desarrollo en serie de Laurent alrededor de 0, tenemos:
f (z ) =
Sen(z ) z2 z4 =1 + , z 3! 5!
Sen(z ) f (z ) = = z3
(1)n
n=0
1 z2 z4 1 + + , z 2 3! 5! 7!
4.4. TEOREMA DEL RESIDUO DE CAUCHY como la parte principal de Laurent es un polo de orden 2.
1 , z2
153
entonces la singularidad z 0 = 0 es
Ejemplo 4.4.3. La funci on f (z ) = e z tambi en tiene una singularidad en z 0 = 0, al realizar su desarrollo en serie de Laurent alrededor de 0, tenemos:
f (z ) = e =
n=0
1 z
=1+
como el n umero de t erminos de la parte principal de Laurent es innito, entonces z 0 = 0 es una singularidad esencial.
Denici on 4.4.1. Un n umero z 0 es un cero de una funci on f , si f (z 0 ) = 0. Adem as, una funci on anal tica f tiene un cero de orden n en z 0 si: f (z 0 ) = 0, f (z 0 ) = 0, f (z 0 ) = 0, . . . , f (n1) (z 0 ) = 0, pero f (n) (z 0 ) = 0.
Ejemplo 4.4.4. La funci on f (z ) = (z 1)3 tiene un cero en z = 1, veamos de que orden: f (1) = 0, f (1) = 0, f (1) = 0, f (1) = 6 = 0,
Ejemplo 4.4.5. La funci on f (z ) = Sen(z ) tiene un cero en z = 0, no el u nico,veamos de que orden: f (0) = Sen(0) = 0, entonces es de orden 1. La siguiente proposici on nos ayuda en la clasicaci on de los polos. f (0) = Cos(0) = 1 = 0,
154
Proposici on 4.4.1. Si las funciones f y g son anal ticas en z 0 y f tiene un cero de orden n en z 0 y g (z 0 ) = 0, entonces la funci on: F (z ) = tiene un polo de orden n en z 0 . Ejemplo 4.4.6. La funci on f (z ) = z 2 (z Sen(z ) , i)3 (z + 3)4 g (z ) , f (z )
presenta un polo simple en z = 0, un polo de orden 3 en z = i y un polo de orden 4 en z = 3. Otra forma para la clasicaci on de los polos es: Proposici on 4.4.2. Una funci on f tiene un polo de orden m en z 0 , si:
z z 0
lim (z z 0 )m f (z ) = am ,
existe, es nito y diferente de cero. Demostraci on. Como z 0 es un polo de orden m, al desarrollar f alrededor de z 0 , se tiene la serie de Laurent, con am = 0: f (z ) = a(m1) a1 am + + + +a0 +a1 (z z 0 )+a2 (z z 0 )2 + , m m 1 (z z 0 ) (z z 0 ) z z0
lim (z z 0 )m f (z ) = am = 0.
Ejemplo 4.4.7. Veamos este resultado ilustrado en el ejemplo anterior: f (z ) = z 2 (z Sen(z ) , i)3 (z + 3)4
155
lim (z 0)
lim(z i)3
z 2 (z
lim (z + 3)4
z 2 (z
luego es un polo de orden 4. Con los anteriores conceptos ya podemos denir la idea central de la secci on.
Denici on 4.4.2. Si una funci on compleja f (z ) tiene un polo en z 0 en1 tonces el coeciente a1 del t ermino z en la expansi on en serie de Lauz0 rent de f (z ) alrededor de z 0 se denomina el Residuo de f (z ) en z 0 , que lo notamos Res f (z ), z 0 = a1 . Es conveniente recordar que el Residuo existe si la parte principal de Laurent es no nula y nita, para que la singularidad sea un polo. Pero para su c alculo, resultar a dispendioso el tener que realizar el desarrollo en serie de Laurent alrededor del polo, por tanto veremos otra alternativa. Primero consideraremos el caso de un polo simple y luego buscaremos generalizar una f ormula. 1. f(z ) tiene un polo simple en z 0 . Entonces, al expandir f en serie de Laurent alrededor de z 0 obtenemos: f (z ) = a 1 + a0 + a1 (z z 0 ) + a2 (z z 0 )2 + , z z0
2. f(z ) tiene un polo de orden 2 en z 0 . Entonces, al expandir f en serie de Laurent alrededor de z 0 obtenemos: f (z ) = a2 a1 + + a0 + a1 (z z 0 ) + a2 (z z 0 )2 + , 2 (z z 0 ) z z0
al multiplicar por (z z 0 )2 , (z z 0 )2 f (z ) = a2 + a1 (z z 0 )+ a0 (z z 0 )2 + a1 (z z 0 )3 + a2 (z z 0 )4 + , y no hemos despejado a1 , pero procediendo de la misma forma que obtuvimos la serie de Taylor en la secci on 4.3.2., d (z z 0 )2 f (z ) = a1 + 2a0 (z z 0 ) + 3a1 (z z 0 )2 + 4a2 (z z 0 )3 + , dz de donde, Res f (z ), z 0 = lim
z z 0
d (z z 0 )2 f (z ) = a1 . dz
3. f(z ) tiene un polo de orden 3 en z 0 . Entonces, al expandir f en serie de Laurent alrededor de z 0 obtenemos: f (z ) = a2 a 1 a3 + + + a0 + a1 (z z 0 ) + a2 (z z 0 )2 + , 3 2 (z z 0 ) (z z 0 ) z z0
al multiplicar por (z z 0 )3 , (z z 0 )3 f (z ) = a3 +a2 (z z 0 )+a1 (z z 0 )2 +a0 (z z 0 )3 +a1 (z z 0 )4 + , derivando dos veces, d2 (z z 0 )3 f (z ) = 2a1 + 6a0 (z z 0 ) + 12a1 (z z 0 )2 + , 2 dz
157
4. f(z ) tiene un polo de orden m en z 0 . Generalizando, el anterior proceso, notamos que a1 aparece multiplicado por (m 1)!, por tanto: Res f (z ), z 0 = dm1 1 lim (z z 0 )m f (z ) = a1 . m 1 z z (m 1)! 0 dz
La aplicaci on de esta f ormula se realiza como un procedimiento compuesto de los siguientes pasos: i. Determinar el orden del polo, ii. multiplicar la funci on por (z z 0 )m , iii. derivar con respecto a z m 1-veces, iv. calcular el l mite cuando z z 0 , v. multiplicar por
1 . (m1)!
Ejemplo 4.4.8. Calcular los residuos en cada uno de los polos de la funci on f (z ) = z1 . (z 2)2 (z 3)
Por la Proposici on 4.4.1. tenemos que los polos de f son z = 2 de orden 2 y z = 3 de orden uno, polo simple. Para z = 2: Res f (z ), 2 = 1 d z1 lim (z 2)2 , z 2 (2 1)! dz (z 2)2 (z 3) 2 = 2. z 2 (z 3)2
= lim
= lim
Ejemplo 4.4.9. Calcular los residuos en cada uno de los polos de la funci on f (z ) = (z 2 z . + 4)2
Por la Proposici on 4.4.1. tenemos que los polos de f son z = 2i ambos de orden 2. Para z = 2i: Res f (z ), 2i = 1 d z lim (z 2i)2 , 2 (2 1)! z2i dz (z 2i) (z + 2i)2 2i z = 0. z 2i (z + 2i)3
= lim
Para z = 2i: Res f (z ), 2i = 1 d z lim (z + 2i)2 , 2 (2 1)! z2i dz (z 2i) (z + 2i)2 2i z = 0. z 2i (z 2i)3
= lim
159
Actividad 4.14. Demostrar que si z 0 es un polo simple para la funci on f (z ) = entonces g (z ) , h(z )
g (z 0 ) . h (z 0 ) Utilice este resultado para calcular los residuos de la funci on: z . f (z ) = (z 1)(z 2) Res f (z ), z 0 =
El siguiente teorema nos relaciona el c alculo de los residuos de una funci on con el c alculo de integrales complejas sobre curvas de Jordan.
Teorema 4.4.1. Teorema del Residuo de Cauchy Sea una regi on simplemente conexa del plano complejo y una curva de Jordan orientada positivamente contenida en . Si una funci on f (z ) es anal tica sobre y en el interior de excepto en un n umero nito de puntos singulares z 1 , z 2 , . . . , z n del interior de , entonces:
n
f (z )dz = 2i
k=1
Res f (z ), z k .
Antes de realizar la demostraci on recordemos un resultado que tenemos de integraci on, y es que: (z z 0 )n dz =
|z z 0 |=r
0 2i
si n = 1, si n = 1.
Donde la integral es recorrida positivamente. Demostraci on. Sin perdida de generalidad supongamos que tenemos u nicamente dos puntos singulares z 1 y z 2 en el interior de , por la consecuencia del Teorema de Cauchy 3.4.6. sobre Multiples Puntos de No Analiticidad, tenemos: f (z )dz = f (z )dz + f (z )dz ,
C1 C2
160
C1 z1
z2
C2
Figura 4.18 ahora, si para cada una de las integrales del lado derecho desarrollamos la funci on como una serie de Laurent centradas en z 1 y z 2 respectivamente, tenemos: Res f (z ), z 1 a2 + + a0 + a1 ( z z 1 ) + 2 (z z 1 ) z z1 dz + Res f (z ), z 1 (z z 1 )2 (z z 1 )dz + ,
C1
f (z )dz =
C1 C1
dz ,
= + a 2
C1
C1
dz + z z1
+ a0
C1
dz + a1
= + a2 0 + Res f (z ), z 1 2i + a0 0 + a1 0 + ,
f (z )dz = 2iRes f (z ), z 1 ,
C1
161
f (z )dz +
C2
f (z )dz ,
= 2i Res f (z ), z 1 + Res f (z ), z 2
De la misma forma se puede generalizar cuando tenemos m as de dos singularidades. Ejemplo 4.4.10. Resolver la siguiente integral donde est a orientada positivamente: z1 dz . 2 (z 2) (z 3)
Im
a. |z 2| = 1 , 2
1 b. |z 3| = 2 ,
a
2 3
b
Re
c. |z | = 4.
Figura 4.19 Por el Ejemplo 4.4.8. tenemos: a. |z 2| = 1 . Como z = 2 es la u nica singularidad dentro de la regi on 2 tenemos: z1 dz = 2i Res f (z ), 2 = 2i (2) = 4i. (z 2)2 (z 3)
162
b. |z 3| = 1 . Como z = 3 es la u nica singularidad dentro de la regi on 2 tenemos: z1 dz = 2i Res f (z ), 3 = 2i (2) = 4i. (z 2)2 (z 3)
c. |z | = 4. Ahora z = 2 y z = 3 son las singularidades dentro de la regi on, as : z1 dz = 2i Res f (z ), 2 + Res f (z ), 3 (z 2)2 (z 3) = 2i(2 + 2) = 0. ,
163
4.5
Tomando como regi on de convergencia: a. |z 2| > 1 b. |z 2| < 1 c. 0 < |z 1| < 2 2. Expresar como serie f (z ) = z (z 1)(2 z )
Tomando como regi on de convergencia: a. |z | < 1 b. 1 < |z | < 2 c. |z | > 2 d. 0 < |z 1| < 1 e. 0 < |z 2| < 1 3. Determinar la serie de potencias para f (z ) centrada en z 0 : a. f (z ) = b. f (z ) = c. f (z ) = d. f (z ) = e. f (z ) =
1 z +1 1 z +1 1 z2
con z 0 = 0 con z 0 = 1
con z 0 = i con z 0 = 0
1 z 2 +z +1 1 z 4 1
con z 0 = 0
Tomando una regi on de convergencia: a. alrededor de 0 b. dos regiones diferentes con centro en i. 6. Determinar la expansi on en serie de Laurent para f (z ) = z 2 Sen alrededor de los puntos z = 0 y z = 7. Determine los polos y los residuos de las siguientes funciones a. f (z ) = b. f (z ) = 8. Calcular a.
|z |=5 2z +1 z 2 z 2 z +1 (z 1)(z +3)
1 z
z2
2z + 1 dz z2
b.
|z |=5
z+1 dz (z 1)(z + 3)
5.1
Recordemos que hemos asumido como denici on de una sucesi on una funci on que tiene por dominio los n umeros naturales N = {0, 1, 2, 3, . . . }. Ahora bien, podemos extender la denici on al conjunto de los n umeros enteros Z, as sus terminos se extienden en ambas direcciones.
Denici on 5.1.1. Una sucesi on {xn } es una Sucesi on Causal si para n Z se tiene que xn = 0. 165
166
Realizaremos enfasis en las sucesiones que tienen por dominio los n umeros naturales N. Es decir, en las sucesiones con dominio en los n umeros naturales las extendemos tomando como cero los t erminos a la izquierda del primer t ermino: {xn } = {. . . , x3 , x2 , x1 , x0 , x1 , x2 , . . . } = {. . . , 0, 0, 0, x0 , x1 , x2 , . . . } Por otra parte, una funci on f (t) denida para t 0 se le puede realizar un muestreo o discretizar, simplemente considerando un per odo T > 0 y construyendo la sucesi on: {f (nT )} = {. . . , 0, 0, f (0T ), f (1T ), f (2T ), . . . } as , le podemos dar tratamiento como una sucesi on causal.
5.2
Transformada Zeta
Denici on 5.2.1. Dada una sucesi on causal {xn } denimos su Transformada Zeta Z como el operador
Z {xn } =
n=0
xn zn
Observaciones: 1. Z : Sucesiones Causales Series de Laurent 2. Pudimos tomar la sumatoria desde hasta , pero como la sucesi on es causal los t erminos negativos son nulos. Ejemplo 5.2.1. Consideremos la sucesi on {xn } = {2, 5, 3, 2, 0, 0, 0, 0, 0, . . . }
167
5.2.1
F ormulas B asicas
an zn a z
n
=
n=0
1 a 1 z z = za =
siempre que
a <1 z
Derivando formalmente con respecto a a la anterior f ormula obtenemos: d d z Z { an } = da da z a z n1 Z {n a } = (z a)2 que en el caso particular de a = 1, da lugar a: Z {n} = Z {0, 1, 2, 3, . . . } = z siempre que 1 < |z |. (z 1)2
Actividad 5.1. D e una justicaci on, mediante la denici on de la transformada zeta, de: d d Z {xn } = Z { xn } . da da Actividad 5.2. Qu e f ormula se puede obtener al volver a derivar? Realizar un ejemplo aplicado a una sucesi on.
168
Ejemplo 5.2.2. Calcular Z {1, 1, 1, 1, 1, 1, . . . }. La f ormula general para la sucesi on es {(1)n }, donde la podemos ver como {an } con a = 1, por tanto: Z {1, 1, 1, 1, 1, 1, . . . } = Z {(1)n } = z z = siempre que 1 < |z |. z (1) z+1
Proposici on 5.2.1. La transformada zeta tiene la propiedad de linealidad, es decir: Z {xn + yn } = Z {xn } + Z {yn }, con y constantes. Veamos, por denici on de la transformada zeta:
Z {xn + yn } =
n=0
xn + yn zn xn yn + n n z z
=
n=0
=
n=0
xn yn + n z zn n=0
= Z {xn } + Z {yn }. Ejemplo 5.2.3. Calcular Z {1, 3, 5, 7, 9, 11, . . . }. La f ormula general para la sucesi on es {2n + 1}, por tanto: Z {2n + 1} = 2Z {n} + Z {1} z z =2 + (z 1)2 z 1 z 2 + 2z = (z 1)2 Actividad 5.3. Calcular la transformada zeta de la sucesi on: {3, 8, 13, 18, 23, 28, . . . }.
169
Ejemplo 5.2.4. Calcular la transformada zeta de la sucesi on que se obtiene t al muestrear la funci on f (t) = e con un per odo T > 0. La sucesi on causal correspondiente es: {f (nT )} = {enT } = {(eT )n }, que tiene por transformada zeta, z . z eT Actividad 5.4. Calcular la transformada zeta del muestreo de la funci on f (t) = Sen(t) con un per odo T > 0. Z {f (nT )} = Z {(eT )n } = Ayuda: Recordar: Sen() =
ei ei 2i
Otras propiedades operacionales de la transformada zeta son: Multiplicaci on por an . Sea Z {xn } = X (z ) entonces para una constante a tenemos: z = X (z ) Z { an x n } = X a z z a
z Ejemplo 5.2.5. Conocemos que: Z {n} = (z . Ahora queremos calcular 1)2 n la transformada zeta de la sucesi on {2 n}, por el resultado anterior se tiene:
Z {2n n} = Z {n}|z z
2
= =
z (z 1)2
z 2
z z 2
(z 1)2 2 2z = (z 2)2 Multiplicaci on por np , donde p es un entero positivo. Sea Z {xn } = X (z ) entonces: Z { n xn } = Nota: El simbolo z dd z
p p
d z dz
X (z ).
170
1. primero derivamos X (z ) con respecto a z , 2. posteriormente multiplicamos por z , 3. el elevado a la p nos indica que este proceso lo repetimos p veces.
z Ejemplo 5.2.6. Conocemos que: Z {2n } = z . Ahora queremos calcular la 2 transformada zeta de la sucesi on {2n n}, por el resultado anterior, con p = 1, se tiene: 1 d n n Z {2n } Z {2 n} = Z {n 2 } = z dz d z = z dz z 2 d z = z dz z 2 2 = z (z 2)2 2z = (z 2)2
Compare el resultado con el resultado del ejemplo anterior. Ejemplo 5.2.7. Calcular la transformada zeta de la sucesi on {n2 2n }. Por el resultado anterior, pero ahora con p = 2, tenemos: d Z {n 2 } = z Z {2n } dz d d z z = z dz dz z 2 d 2z = z dz (z 2)2 d 2z = z dz (z 2)2 2z 4 = z (z 2)3 2z 2 + 4z = (z 2)3
2 n 2
5.3. CORRIMIENTOS
171
Actividad 5.5. A partir de la denici on de la transformada zeta de la n sucesi on {a xn }, demostrar que: Z {an xn } = Z {xn }|z z .
a
Actividad 5.6. Para los casos p = 1 y p = 2, a partir de la denici on de transformada zeta, demostrar: Z {np xn } = z d dz
p
Z { xn } .
5.3
Corrimientos
Dada una sucesi on causal {xn } = {. . . , 0, 0, 0, x0 , x1 , x2 , . . . } consideramos como su momento inicial el que corresponde al t ermino x0 , al movernos a izquierda o derecha sobre la sucesi on cambiando el punto de inicio estamos realizando un corrimiento. Cuando la sucesi on corresponde a una lista con informaci on este proceso coincide con adelantar o retrasar el inicio de la aparici on de la informaci on.
5.3.1
Retraso
Al realizar un desplazamiento hacia la izquierda, como la sucesi on es causal, aparecer an ceros como valores iniciales de la sucesi on, por ejemplo si realizamos tres corrimientos a izquierda {xn } = {0, 0, 0, x0 , x1 , x2 , . . . }. Considerando la sucesi on como un contenedor de informaci on, este proceso corresponde a realizar un retraso de tres momentos en la aparici on de los datos que se archivan. Para p Z+ , esto lo representamos como la sucesi on {xnp }, donde los p primeros elementos son ceros y posteriormente aparece x0 .
172
como los t erminos de indice negativo son cero 0 x0 x1 x2 0 + + + p + p+1 + p+2 + 0 z z z z z xn = z n+p n=0 = = 1 zp
n=0
xn zn
Ejemplo 5.3.1. Calcular la transformada zeta de la sucesi on {0, 0, 0, 1, 2, 4, 8, 16, 32, 64, 128, . . . } Esta sucesi on corresponde a un retraso de 3 posiciones de la sucesi on {2n }, por tanto: Z {0, 0, 0, 1, 2, 4, 8, 16, 32, 64, 128, . . . } = 1 Z {2n } 3 z 1 z = 3 z z2 z = 3 . z (z 2)
5.3. CORRIMIENTOS
173
5.3.2
Avance
Ahora, consideramos el movernos hacia la derecha en la sucesi on, esto producira una nueva sucesi on donde omitimos los primeros t erminos de la sucesi on inicial. Considerando la sucesi on como un dispositivo de almacenamiento de informaci on, saltamos a una informaci on m as adelante omitiendo los primeros datos almacenados. Para p Z+ , esto lo representamos como la sucesi on {xn+p }, donde los p primeros elementos fueron omitidos y el primero en aparecer es xp . {xn+p } = {xp , xp+1 , . . . }. Consideremos su transformada zeta, para p = 1: xn+1 zn n=0 x1 x 2 xn+1 xn+2 = 0+ + + n + n+1 + z z z z
Z {xn+1 } =
As , Z {xn+1 } = z Z {xn } z x0 .
174
Ahora, para p = 2: Z {xn+2 } = xn+2 zn n=0 xn+2 xn+3 x2 x3 + + n + n+1 + = 0+ z z z z 1 y complementando afuera por z 2 z2
= z2
sumando y restando x0 +
xn xn+1 x1 x1 x2 + 2 + + n + n+1 + x0 1 1 z z z z z = z 2 Z {xn } z 2 x0 z x1 . = z 2 x0 + As , Z {xn+2 } = z 2 Z {xn } z 2 x0 z x1 . Y en general, para un avance de p posiciones, se tiene que:
p1
Z {xn+p } = z Z {xn }
k=0
xk z pk .
Se puede notar la semejanza que tiene la f ormula de la transformada zeta de un avance con la f ormula de la transformada de Laplace de una derivada. Ejemplo 5.3.2. Calcular la transformada zeta de la sucesi on {4, 8, 16, 32, 64, 128, . . . } Esta sucesi on corresponde a un avance de 2 posiciones de la sucesi on {2n },
5.4. TRANSFORMADA ZETA INVERSA por tanto: Z {4, 8, 16, 32, 64, 128, . . . } = z 2 Z {2n } z 2 20 z 21 z = z2 z 2 2z z2 z3 = z 2 2z z2 4z = . z2
175
5.4
Hasta el momento hemos obtenido a partir de {xn } una sucesi on causal una funci on X (z ) en variable z , correspondiente: Z {xn } = X (z ). En esta secci on consideraremos la obtenci on de la sucesi on cuya transformada zeta es la funci on dada, esto corresponde a la Transformada Zeta Inversa de una funci on, que lo notaremos por: Z 1 (X (z )) = {xn }. As , Z 1 (X (z )) = {xn }, si y s olo si, Z {xn } = X (z ). Al igual que la transformada zeta, su inversa, la transformada zeta inversa tambi en es lineal, Proposici on 5.4.1. La transformada zeta inversa Z 1 tiene la propiedad de linealidad, es decir para y constantes, tenemos: Z 1 (X (z ) + Y (z )) = Z 1 (X (z )) + Z 1 (Y (z )). Veamos, al componer el t ermino del lado izquierdo con Z , por ser inversas tenemos: Z (Z 1 (X (z ) + Y (z ))) = X (z ) + Y (z ), y al componer el t ermino de la derecha tambi en con Z , por la linealidad de la
176
transformada zeta, tenemos: Z (Z 1 (X (z )) + Z 1 (Y (z ))) = Z (Z 1 (X (z ))) + Z (Z 1 (Y (z ))) = X (z ) + Y (z ), como ambos resultados son iguales se tiene la linealidad de la transformada zeta inversa. Nuestro empe no en el resto de esta secci on estar a puesto en el estudio de m etodos para el c alculo de la transformada zeta inversa.
5.4.1
M etodo de Comparaci on
El m etodo consiste en comparar la funci on X (z ) con los resultados de las f ormulas b asicas de la transformada zeta, como realmente tenemos dos f ormulas es muy sencillo. Las f ormulas con las que compararemos son: Z 1 y Z 1 z ( z a) 2 = {n an1 }. z za = { an }
Lo dem as son utilizar m etodos algebraicos para llevarlos a estas f ormulas, como por ejemplo fracciones parciales y la linealidad de la transformada zeta inversa, es claro que consideraremos por este m etodo u nicamente funciones racionales (divisi on de dos polinomios). Veamos algunos ejemplos. Ejemplo 5.4.1. Calcular Z 1 de las funciones: 1. X (z ) = 2. X (z ) = 3. X (z ) = 4. X (z ) = 5. X (z ) =
z z 3 z z +1 z (z +1)2 1 z 3 z z 2 z 6
5.4. TRANSFORMADA ZETA INVERSA 1. Claramente corresponde a la primera f ormula, con a = 3: Z 1 z z3 = {3n } = {1, 3, 9, 27, 81, . . . }.
177
4. En las f ormulas b asicas observamos que tienen en el numerador z , y aqu 1 nuestra funci on X (z ) = z3 no tiene z en el numerador, podriamos agregar z multiplicando y dividiendo por el, veamos: X (z ) = 1 1 z = , z3 zz3
el segundo factor ya coincide con nuestra primera f ormula b asica y el primero nos se nala un retraso de un paso, as : Z 1 1 z3 = Z 1 1 z z z3 z z3
= Z 1
retraso de un paso
0, 3n1
si n = 0 si n 1
= {0, 1, 3, 9, 27, 81, . . . }. 5. Separamos por fracciones parciales y aplicamos linealidad, pero este proceso lo podemos realizar de dos formas:
178
CAP ITULO 5. TRANSFORMADA ZETA O DE RIEMANN Forma a. X (z ) = de donde Z 1 z z2 z 6 3 = Z 1 5 1 z3 2 + Z 1 5 1 z+2 z2 z z 3/5 2/5 = = + z6 (z 3)(z + 2) z3 z+2
z2
si n = 0 si n 1
z2
= {0, 1, 1, 7, 13, 55, 133, 463, 1261, 4039, 11605, . . . } Forma b. Primero pasamos a dividir z a X (z ) y ahora s realizamos fracciones parciales: 1 1/5 1/5 X (z ) = 2 = , z z z6 z3 z+2 ahora pasamos nuevamente el z a multiplicar: X (z ) = 1/5 z 1/5 z , z3 z+2
179
1 n 1 3 (2)n 5 5
= {0, 1, 1, 7, 13, 55, 133, 463, 1261, 4039, 11605, . . . }. Esta u ltima forma es m as sencilla pues evita considerar el retraso. Actividad 5.7. Calcular la transformada zeta inversa de X (z ), si 1. X (z ) = 2. X (z ) = 3. X (z ) = 4. X (z ) = 5. X (z ) = 6. X (z ) =
z z i 1 z i 1 z 2 (z +2) z (z 2)(z 1)2 z z 2 +1 z2 z 2 z 6
5.4.2
Divisiones Sucesivas
Por este m etodo se pueden determinar los primeros t erminos de la sucesi on, dicilmente podemos determinar la f ormula general como en el m etodo de comparaci on, pero nos permite testear las soluci on. En el m etodo de la divisi on sucesiva se compara directamente con la denici on de la transformada zeta. Recordemos que cuando realizamos la divisi on entre dos polinomios p(z ) y q (z ) tenemos: p(z ) | r(z ) donde grado(r(z )) < grado(q (z )), y p(z ) r (z ) = c( z ) + , q (z ) q (z ) q (z ) c(z )
180
si grado(p(z )) grado(q (z )) entonces c(z ) a lo sumo es de grado cero (una r(z ) constante), si continuamos realizando la divisi on q obtendremos que: (z ) X (z ) =
r (z ) q (z )
p(z ) = q (z )
n=0 1 zp
xn r (z ) , + zn q (z )
tiene t erminos
m
n=0
xn , zn
que nos da los primeros m + 1 t erminos de la transformada zeta, y de donde: Z 1 (X (z )) = {x0 , x1 , . . . , xm , . . . }. Veamos que al realizar las divisiones sucesivas buscamos que X (z ) se parezca a la denici on de la transformada zeta, y entonces extraemos los coecientes para formar la sucesi on que corresponde a la transformada inversa. El n umero de t erminos que podemos obtener para la sucesi on depende de nuestras necesidades y principalmente de nuestra paciencia en la divisi on. Es pr actico p(z ) dividir previamente la fraccci on q(z) por la mayor potencia del denominador, esto facilita las cuentas. Veamos primero un ejemplo donde la divisi on sea inmediata y exacta Ejemplo 5.4.2. Calcular Z 1 Z 1 2 3z 2 4z 4 z5
23z 2 4z 4 z5
4z 4 3z 2 + 2 z5 4 3 2 = Z 1 + 3 + 5 z z z = {0, 4, 0, 3, 0, 2, 0, 0, 0, . . . } = Z 1
Ahora un ejemplo donde la divisi on no es exacta. Ejemplo 5.4.3. Calcular los primeros t erminos de Z 1
z z 2 +1
181
Dividiendo primero por la mayor potencia del denominador z 2 , tenemos: z X (z ) = 2 = z +1 Realizando la divisi on: 1 z 1 1 3 z z 1 3 z 1+ 1 z
Cociente
z z2 z 2 +1 z2
1 z
1+
1 z2
1 z2
realizando la primera divisi on, podemos observando el cociente determinar que los dos primeros t erminos de la sucesi on son 0 y 1, prosigamos la divisi on 1 z 1 1 3 z z 1 3 z 1 1 + 3+ 5 z z 1 z5 . . . Por tanto tenemos que: Z 1 z z2 + 1 = Z 1 1 1 1 3 + 5 + z z z = {0, 1, 0, 1, 0, 1, . . . }, 1+ 1 z2 1 1 1 3 + 5 + z z z
Cociente
el signo = nos indica que la igualdad es cierta considerando que estamos encontrando los primeros t erminos, y la presici on depender a del n umero de divisiones sucesivas que se realicen. Actividad 5.8. Determinar, si es posible, los primeros 6 t erminos de Z 1 (X (z )) por divisiones sucesivas, si
182 1. X (z ) = 2. X (z ) = 3. X (z ) = 4. X (z ) =
5. X (z ) = 1 6. X (z ) = z
5.4.3
Integral de Inversi on
A diferencia de la transformada de Laplace real, la transformada zeta inversa cuenta con una f ormula para su determinaci on, esta f ormula esta basada en el c alculo de una integral compleja sobre una curva de Jordan. Daremos primero una justicaci on incompleta de la raz on de ser de la f ormula integral para la inversa, recordemos dos resultados: Resultado a. F ormula integral de Cauchy para las derivadas Sean una curva de Jordan orientada positivamente que tiene a z 0 en su interior y f (z ) una funci on anal tica sobre y su interior, entonces: f (n) (0) = n! 2i f (z ) dz (z z 0 )n+1
Resultado b. F ormula de la Serie de Taylor Sea f (z ) una funci on anal tica en z 0 , entonces:
f (z ) =
n=0
an (z z 0 )n , f (n) (z 0 ) . n!
donde an =
Estos dos resultados se pueden reescribir, considerando z 0 = 0 como Resultado a. F ormula integral de Cauchy para las derivadas Sean una curva de Jordan orientada positivamente que tiene a 0 en su interior y f (z ) una funci on anal tica sobre y su interior, entonces: f (n) (0) 1 = n! 2i f (z )z n1 dz
183
Resultado b. F ormula de la Serie de Taylor Sea f (z ) una funci on anal tica en 0, entonces:
f (z ) =
n=0
f (n) (0) n! . z n
(n)
Vemos que dada la funci on f (z ) los coecientes de Taylor f n!(0) dependen u nicamente de n, es decir constituyen una sucesi on, as si identicamos: xn = f (n) (0) n! y X (z ) = f (z ),
X (z )z
n1
dz
X (z ) =
n=0
xn , z n
X (z )z
n1
dz
X (z ) =
n=0
xn , zn
estas dos u ltimas igualdades forman un par de transformada zeta (su inversa y directa), por tanto podemos intuir que se debe dar un comportamiento para la determinaci on del t ermino en esimo, de la forma Z 1 (X (z )) = 1 2i X (z )z n1 dz .
donde es una curva de Jordan orientada positivamente que tiene a 0 y los puntos singulares de X (z ) en su interior. En la visualizaci on anterior (no demostraci on) no es claro este u ltimo aspecto: tiene los puntos singulares de X (z ) en su interior. Por esto realizaremos la demostraci on por otro camino, componiendo Z y Z 1 y vericando que se obtiene el operador identidad.
184
(Z {xn }) = Z
1 k=0
xk zk
1 = 2i
k=0
xk zk
z n1 dz
1 = 2i
xk
k=0
z nk1 dz
Ahora, recordemos que si es una curva de Jordan orientada positivamente que tiene a 0 en su interior, entonces: z p dz =
2i si p = 1 0 si p = 1
por tanto, todos los t erminos de la sumatoria se anulan excepto el t ermino cuando n k 1 = 1, es decir cuando k = n. As : Z 1 (Z {xn }) = Veamos algunos ejemplos Ejemplo 5.4.4. Calcular la transformada zeta inversa de X (z ) =
z . z 3
1 xn 2i = xn . 2i
Consideraremos como la circunferencia centrada en cero y de un radio tal que contenga los puntos singulares de X (z ), en este caso el punto singular es z = 3, luego podemos considerar como radio r = 4 Z 1 z z3 = 1 z z n1 dz 2i |z|=4 z 3 1 zn = dz 2i |z|=4 z 3 1 = 2i z n 2i z =3 n =3 .
5.4. TRANSFORMADA ZETA INVERSA Ejemplo 5.4.5. Calcular la transformada zeta inversa de X (z ) =
1 . z 3
185
Al igual que en el ejemplo anterior, consideraremos como la circunferencia centrada en cero y de radio r = 4. La diferencia de este ejemplo radica en que para n = 0 tenemos que 0 es un punto singular, para n > 0 el u nico punto singular es z = 3, luego tenemos que calcular por casos separados. Caso a. Para n = 0. x0 = 1 2i 1 2i 1 2i 1 2i 1 2i 1 z 01 dz z3 1 dz z (z 3) 1 dz + z (z 3) + 2i
z =0
|z |=4
|z |=4
= =
|z |=1
|z 3|= 1 2
1 dz z (z 3)
2i
1 z3
1 z
z =3
2i
1 1 + 2i 3 3
= 0.
|z |=4
|z |=4
1 2i z n1 2i
z =3
xn = o de otra forma Z 1 1 z3
0, 3n1
si n = 0 si n 1
Ya este resultado lo teniamos del Ejemplo 5.4.1.4 Actividad 5.9. Determinar, si es posible, Z 1 (X (z )) por la integral de inversi on, si 1. X (z ) = 2. X (z ) = 3. X (z ) = 4. X (z ) =
(z 2)(z 1)2 z3 1 z 2 (z +2) z (z 2)(z 1)2 z2 z 2 z 6
5. X (z ) = 1 6. X (z ) = z
5.5
Convoluci on Discreta
Buscamos denir una operaci on entre sucesiones causales que tenga la propiedad: Dadas dos sucesiones causales {xn } y {yn }, se cumpla Z ({xn } {yn }) = Z {xn } Z {yn }. Determinemos dicha operaci on, sean {xn } = {x0 , x1 , x2 , x3 , . . . } y {yn } = {y0 , y1 , y2 , y3 , . . . },
187
y0 y1 y2 y3 + 1 + 2 + 3 + 0 z z z z
x0 y0 x0 y1 + x1 y0 x0 y2 + x1 y1 + x2 y0 + + z0 z1 z2 + x0 y3 + x1 y2 + x2 y1 + x3 y0 + z3
= Z {x0 y0 , x0 y1 + x1 y0 , x0 y2 + x1 y1 + x2 y0 , x0 y3 + x1 y2 + x2 y1 + x3 y0 , . . . }
n
=Z
k=0
xk ynk
Denici on 5.5.1. Dadas dos sucesiones {xn } y {yn } denimos la operaci on Convoluci on Discreta o simplemente Convoluci on y la notamos por , como:
n
{xn } {yn } =
k=0
xk ynk
Observaci on: Note la semejanza entre la convoluci on discreta y la convoluci on continua (denida en la Transformada de Laplace), recordemos: Dadas dos funciones f y g denidas en en intervalo [0, +), entonces:
t
(f g )(t) =
0
f ( ) g (t ) d.
Ejemplo 5.5.1. Calcular {n} {2n }. Deseamos calcular: {0, 1, 2, 3, . . . } {1, 2, 4, 8, . . . } = {cn },
188 entonces:
c0 = x0 y0 = 0 1 = 0; c1 = x0 y1 + x1 y0 = 0 2 + 1 1 = 1; c2 = x0 y2 + x1 y1 + x2 y0 = 0 4 + 1 2 + 2 1 = 4; c3 = x0 y3 + x1 y2 + x2 y1 + x3 y0 = 0 8 + 1 4 + 2 2 + 3 1 = 11; . . .
n
cn =
k=0
k 2nk .
Por tanto, {n} {2n } = {0, 1, 4, 11, . . . }. Como ya mostramos en la introducci on de la Convoluci on Discreta, se tiene:
Teorema 5.5.1 (Teorema de la Convoluci on). Dadas dos sucesiones causales {xn } y {yn }, se cumple: Z ({xn } {yn }) = Z {xn } Z {yn }. y tambi en Z 1 (X (z ) Y (z )) = Z 1 (X (z )) Z 1 (Y (z )). Veamos un ejemplo de esta u ltima propiedad, que es en realidad la que es bastante u til. Ejemplo 5.5.2. Calcular Z 1 Z 1 z2 (z 1)2 (z 2)
z2 (z 1)2 (z 2)
z z2
5.6. ECUACIONES EN DIFERENCIAS Actividad 5.10. Realizar los siguientes calculos: 1. {1} {xn } 2. {(1)n } {n} 3. {n} {n} 4. Z ({1} {xn }) 5. Z ({(1)n } {n}) 6. Z ({n} {n})
189
Actividad 5.12. Mediante ejemplos verique (no es una demostraci on) las siguientes propiedades: 1. {xn } {yn } = {yn } {xn } 2. ({xn } {yn }) {wn } = {xn } ({yn } {wn }) (Conmutativa) (Asociativa)
3. {xn } ({yn } + {wn }) = {xn } {yn } + {xn } {wn } (Distributiva) 4. Cu al es el m odulo de la convoluci on? Es decir, una sucesi on {un } tal que para toda sucesi on {xn } se cumpla: {xn } {un } = {xn }.
5.6
Ecuaciones en Diferencias
Las ecuaciones en diferencias corresponden a un modelo matem atico de fen omenos que cambian en el tiempo de forma discreta, cuando las observaciones realizadas en un experimento se realizan en instantes tn para n = 0, 1, 2, 3, 4, . . . , separados por un per odo de tiempo de amplitud constante. La transici on entre dos estados se realiza por una ley establecida por conjeturas basadas en la experimentaci on o
190
la observaci on, como el cambio entre un estado y el estado siguiente viene dado por: xn = xn+1 xn , de aqu viene el nombre de ecuaci on en diferencias, donde la inc ognita es el estado en esimo xn . La diferencia entre los pasos que se consideran nos da el orden de la ecuaci on, por ejemplo, si la diferencia entre los estados que intervienen es de un paso se dice que es de primer orden, si es de dos pasos se dice de segundo orden y as sucesivamente. Una Ecuaci on en Diferencias lineal de primer orden con coecientes constantes, tiene por forma general: yn+1 ayn = xn , donde xn es el t ermino en esimo de la sucesi on de entrada y yn es el t ermino en esimo de la sucesi on de salida, que es la inc ognita de le ecuaci on. Para determinar su soluci on es necesario suponer o conocer un valor inicial y0 . La ecuaci on en diferencias anterior la podemos caracterizar por el siguiente esquema:
xn
rn
D a
yn
Figura 5.1 donde la sucesi on de entrada {xn } es adicionada con un factor +a de la sucesi on {yn } para dar lugar a una sucesi on auxiliar {rn }, la cual descansa durante un paso del proceso para asumir el valor de la sucesi on {yn }, esto es: rn yn+1 de donde, yn+1 = xn + ayn , = xn + ayn , = rn ,
191
Una Ecuaci on en Diferencias lineal de segundo orden con coecientes constantes, tiene por forma general: yn+2 + ayn+1 byn = xn , Para determinar su soluci on es necesario suponer o conocer sus dos primeros valores iniciales y0 y y1 . La ecuaci on en diferencias est a caracterizada por el siguiente esquema:
xn
rn
D a
vn
yn
b
Figura 5.2 donde la sucesi on de entrada {xn } es adicionada con un factor a de la sucesi on auxiliar {vn } y un factor +b de la sucesi on {yn } para dar lugar a una sucesi on auxiliar {rn }, la cual descansa durante un paso del proceso para asumir el valor de la sucesi on auxiliar {vn }, que a su vez descansa otro paso para dar lugar a la sucesi on {yn }. Las sucesiones auxiliares nos sirven para establecer relaciones entre los diferentes estados del proceso, esto es: rn = vn+1 , yn+1 = vn , xn avn + byn = rn , como yn+1 = vn entonces yn+2 = vn+1 , as : rn xn avn + byn = yn+2 , = rn ,
yn+2 = xn ayn+1 + byn , as , obtenemos la ecuaci on inicial: yn+2 + ayn+1 byn = xn . Estos ejemplos de ecuaciones en diferencias, nos muestran el proceso de una sucesi on, que puede ser el resultado de un muestreo de un fen omeno o evento, esta se ltra realizando una retroalimentaci on con sus salidas en los bloques circulares S y con retardos de la se nal en los bloques rectangulares D, todo ocurriendo de forma instant anea en cada paso del proceso discreto. Actividad 5.13. Determinar la ecuaci on en diferencias que representa cada uno de los siguientes esquemas: 1.
xn
rn
D 3
yn
Figura 5.3 2.
xn
rn
D 1
vn
yn
Figura 5.4
193
Actividad 5.14. Determinar el esquema que representa cada una de las siguientes ecuaciones: 1. yn+1 2yn = xn . 2. yn+2 + 3yn+1 + 2yn = xn .
5.7
Como ya se mencion o, los m etodos utilizados en la resoluci on de ecuaciones diferenciales por la Transformada de Laplace son muy parecidos a los que utilizaremos para resolver ecuaciones en diferencias por medio de la Transformada Zeta. Ejemplo 5.7.1. Resolver la ecuaci on en diferencias yn+1 + yn = xn , donde {xn } = {1} = {1, 1, 1, . . . } y y0 = 0. Aplicamos transformada zeta a ambos lados de la ecuaci on: Z {yn+1 + yn } = Z {1}, por linealidad: Z {yn+1 } + Z {yn } = Z {1}, por la f ormula de transformada zeta de un avance de una sucesi on y la transformada de la sucesi on 1: z Z {yn } z y0 + Z {yn } = llamando Y (z ) = Z {yn } y y0 = 0, tenemos: z Y (z ) + Y (z ) = de donde: Y (z ) = z , z1 z , z1
z , (z 1)(z + 1)
194
por fracciones parciales: Y (z ) 1 = , z (z 1)(z + 1) 1 1 , 2(z 1) 2(z + 1) z z , 2(z 1) 2(z + 1) z 2(z 1) z 2(z + 1)
Y (z ) =
{yn } =
195
como rn = 1 yn , tenemos que r0 = 1 y0 = 1 0 = 1, de aqu la obligatoriedad de tener un valor inicial para la sucesi on yn , en este caso y0 = 0. Y como yn+1 = rn , podemos determinar que y1 = r0 = 1, n 0 1 2 3 . . . xn 1 1 1 1 . . . rn 1 yn 0 1
Actividad 5.15. Completar la tabla de estado de la ecuaci on en diferencias del ejemplo anterior hata n = 5. Ahora, veamos el proceso al resolver una ecuaci on en diferencias de segundo orden. Ejemplo 5.7.2. Resolver la ecuaci on en diferencias yn+2 + yn = xn , donde {xn } = {n} = {0, 1, 2, 3, . . . }, y0 = 0 y y1 = 1. Aplicamos transformada zeta a ambos lados de la ecuaci on: Z {yn+2 + yn } = Z {n}, obteniendo: z 2 Z {yn } z 2 y0 z y1 + Z {yn } = z , (z 1)2
196
z 2 2z + 2 Y (z ) = , z (z 1)2 (z i)(z + i) 1/2 1/4 1/2 i 1/4 + 1/2 i 1/2 + + , 2 (z 1) z1 zi z+i 1 z 1 z + 2 (z 1)2 2 z 1 1 i 4 2 z + zi 1 i + 4 2 1 i + 4 2 z , z (i)
Y (z ) =
197
como r1 = 1 y1 = 1 1 = 0, v1 = r0 = 0 y y2 = v1 = 0, n 0 1 2 3 . . . xn 0 1 2 3 . . . rn 0 0 vn 1 0 0 yn 0 1
Actividad 5.16. Utilizando la tabla de estado de la ecuaci on en diferencias del ejemplo anterior, determinar los primeros 10 elementos de {yn } considerando la sucesi on {xn } = {2n }
198
Actividad 5.17. Determine la f ormula general de yn para la ecuaci on de la Actividad anterior, es decir resolver: yn+2 + yn = 2n , con y0 = 0 y y1 = 1.
199
5.8
1. La sucesi on de Fibonacci est a dada por {1, 1, 2, 3, 5, 8, 13, 21, . . . }. Los valores son generados de forma recursiva por la f ormula xn+1 = xn + xn1 para n > 1 Determinar una f ormula para el t ermino en esimo, sin necesidad de conocer todos los anteriores. 2. Resolver las siguientes ecuaciones en diferencias bajo las condiciones iniciales dadas: a. yn+2 6 yn+1 + 8 yn = 0 con y0 = 3 y y1 = 4. b. yn+2 + yn = 0 con y0 = 1 y y1 = 0. c. yn+2 2 yn+1 + yn = 0 con y0 = 2 y y1 = 2. d. yn+2 6 yn+1 + 8yn = 3n con y0 = 1 y y1 = 3. e. yn+2 8 yn+1 + 17 yn = 2 3n con y0 = 0 y y1 = 1.
6 f. yn+2 5 yn+1 + yn = in + (i)n con y0 = 0 y y1 = 1.
g. yn+2 2 yn+1 + yn = n2 3n con y0 = 1 y y1 = 1. 3. Demostrar el Teorema del valor inicial que dice: si {xn } es una sucesi on cuya transformada Z es X (z ), entonces:
z
lim X (z ) = x0
z2 z2 z 2
200
Bibliograf a
[1] Brown, James y Churchill, Ruel. Variable Compleja y Aplicaciones. McGraw Hill. 2004. [2] James, Glyn. Matem aticas Avanzadas para Ingenier a. Prentice Hall. 2004. [3] Kreyszig, Erwin. Matem aticas Avanzadas para Ingenier a II. Limusa Wiley. 2001. [4] Mathews, John. Complex Analisys for Mathematics and Engineering. Jones and Bartlett Publishers. 2006. [5] ONeal, Peter. Matem aticas Avanzadas para Ingenier a. Thomson. 2004. [6] Zill, Dennis. A rst course in complex analysis with applications. Jones and Bartlett Publishers. 2006.
201