Está en la página 1de 78

Ampliacin de Matemticas Segundo de Ingeniera de Telecomunicacin

Exmenes resueltos de los cursos 2006/07 y 2007/08.

Departamento de Matemtica Aplicada II Universidad de Sevilla

Manuel D. Contreras Mrquez y Carmen Sez Agull

1. Leccin 1: Ecuaciones Diferenciales Ordinarias.


Problema. Obtenga las soluciones generales de las ecuaciones lineales de segundo orden siguientes A) t2 y 00 t(t + 2)y 0 + (t + 2)y = 0 para t > 0. , . B) y 00 + y = tan(t) para t 2 2

Solucin. A) La ecuacin diferencial es lineal de segundo orden y homognea. Por tanto, el conjunto de soluciones es un espacio vectorial de dimiensin dos. Es decir, si encontramos dos soluciones y1 e y2 linealmente independientes entonces la solucin general de la ecuacin viene dada por y (t) = cy1 (t) + dy2 (t) para todo t > 0, siendo c y d dos constantes arbitrarias. Recordemos que no hay un mtodo general para obtener una primera solucin no nula. Puesto que sabemos que tiene como solucin un polinomio de grado 1, digamos y1 (t) = at + b, sustituimos 0 00 en la ecuacin (teniendo en cuenta que y1 (t) = a e y1 (t) = 0) obtenemos 0 = 0t2 t(t + 2)a + (t + 2)(at + b) = (t + 2)b para todo t > 0.

Por tanto, b = 0 y a es arbitrario. De esta forma tomamos, por ejemplo, a = 1 e y1 (t) = t. Para obtener y2 (t) aplicamos el mtodo de variacin de las constantes que, en este caso, consiste en buscar una funcin v (t) de tal forma que y2 (t) = v (t)y1 (t) = v(t)t sea solucin de 0 00 la ecuacin diferencial. Derivando obtenemos que y2 (t) = v0 (t)t + v (t) e y2 (t) = v 00 (t)t + 2v0 (t). Sustituyendo en la ecuacin diferencial obtenemos 0 = = = =
00 0 t2 y2 (t) t(t + 2)y2 (t) + (t + 2)y2 (t) t2 (v 00 (t)t + 2v0 (t)) t(t + 2)(v0 (t)t + v(t)) + (t + 2)v(t)t v00 (t)t3 + v0 (t) 2t2 t2 (t + 2) + v(t) [t(t + 2) + (t + 2)t] v00 (t)t3 + v0 (t) t3 .

Observemos que hemos obtenido que la funcin v(t) es solucin de una ecuacin diferencial lineal de segundo orden homognea donde no aparece de forma explcita la funcin v (t). Concretamente, despus de simplicar, obtenemos que v 00 (t) v 0 (t) = 0. Integrando la ecuacin concluimos que v(t) = Aet + B siendo A y B constantes arbitrarias. Tomamos, por ejemplo, v (t) = et . De esta forma y2 (t) = v(t)t = et t. Finalmente, obtenemos la solucin general: y (t) = cy1 (t) + dy2 (t) = ct + det t siendo c y d dos constantes arbitrarias. 2 para todo t > 0,

B) En este caso la ecuacin diferencial es lineal de segundo orden y no homognea. Recordemos que la solucin general de una ecuacin diferencial de este tipo viene dada por la suma de la solucin general de la ecuacin homognea asociada y una solucin particular de la ecuacin completa. La ecuacin homognea asociada es y 00 + y = 0. Como bien sabemos, su solucin general es yh (t) = A cos(t) + B sen(t), siendo A y B dos constantes arbitrarias. Para obtener la solucin particular antes mencionada aplicamos el mtodo de variacin de los parmetros, es decir, buscamos una solucin particular de la ecuacin completa de la forma yp (t) = v1 (t) cos(t) + v2 (t)sen(t) siendo v1 y v2 dos funciones a determinar de tal forma que yp sea solucin de la ecuacin. Debemos ahora sustituir en la ecuacin diferencial. Previamente calculamos las derivadas. En primer lugar
0 0 0 (t) = v1 (t) cos(t) v1 (t)sen(t) + v2 (t)sen(t) + v2 (t) cos(t). yp 0 0 Puesto que tenemos que imponer que v1 (t) cos(t) + v2 (t)sen(t) = 0, tenemos que 0 (t) = v1 (t)sen(t) + v2 (t) cos(t). yp

Derivamos de nuevo:
00 0 0 (t) = v1 (t)sen(t) v1 (t) cos(t) + v2 (t) cos(t) v2 (t)sen(t). yp

Sustituimos ahora en la ecuacin:


00 (t) + yp (t) tan(t) = yp 0 0 (t)sen(t) v1 (t) cos(t) + v2 (t) cos(t) v2 (t)sen(t)] + v1 (t) cos(t) + v2 (t)sen(t) = [v1 0 0 = v1 (t)sen(t) + v2 (t) cos(t). 0 0 y v2 son soluciones del sistema Por consiguiente, v1 0 0 (t) cos(t) + v2 (t)sen(t) = 0 v1 0 0 v1 (t)sen(t) + v2 (t) cos(t) = tan(t). 0 0 Despejando, concluimos que v2 (t) = sen(t) y v1 (t) =

sen2 (t) . As que v2 (t) = cos(t) y cos(t) Z Z sen2 (t) sen2 (t) x = sen(t), v1 (t) = dt = = cos(t)dt dx = cos(t)dt cos(t) 1 sen2 (t) Z Z Z x2 1 1 1 1 1 = )dx dx = (1 )dx = (1 2 2 1x 1x 21+x 21x 1x 1 1 sen(t) 1 = sen(t) + log = x + log 2 1+x 2 1 + sen(t)

(ntese que hemos tomado cero las constantes de integracin ya que buscamos una nica solucin particular). De esta forma, yp (t) = v1 (t) cos(t) + v2 (t)sen(t) 1 sen(t) 1 cos(t) cos(t)sen(t) = sen(t) + log 2 1 + sen(t) 1 sen(t) 1 log cos(t). = 2 1 + sen(t) Finalmente, la solucin general de la ecuacin completa es y (t) = yp (t) + yh (t) 1 sen(t) 1 log cos(t) + A cos(t) + B sen(t), = 2 1 + sen(t) siendo A y B dos constantes arbitrarias. Problema. Considera la ecuacin diferencial t2 y 0 ty y 2 + t2 = 0 a. Haciendo el cambio de variable y (t) = t + una ecuacin diferencial lineal de primer orden. b. Haciendo uso del apartado anterior, calcula la solucin general de la ecuacin (*). c. Resuelve los dos siguientes problemas de valor inicial t2 y 0 ty y 2 + t2 = 0, t2 y 0 ty y 2 + t2 = 0 A) B) . y (1) = 1 y (1) = 2 Solucin. a. Derivando en la ecuacin y (t) = t + 1 v 0 (t) . obtenemos que y 0 (t) = 1 v (t) v (t)2 para t > 0. (*)

1 , comprueba que la funcin v es solucin de v (t)

Sustituimos ahora en la ecuacin (*) para obtener 2 v0 (t) 1 1 2 t 1 t t+ t+ + t2 = 0. v(t)2 v (t) v (t) Operando, multiplicando por v(t)2 y simplicando llegamos a que la funcin v (t) es solucin de la ecuacin t2 v0 (t) + 3tv(t) + 1 = 0 (**) que, como sabemos, es una ecuacin diferencial lineal de primer orden. b. Calcularemos en primer lugar la solucin general de la ecuacin t2 v 0 (t) + 3tv (t) + 1 = 0 siendo t > 0. Su ecuacin lineal homognea asociada es t2 v 0 (t)+3tv(t) = 0. Es claro que su solucin 3 v0 (t) = . Por tanto la solucin general vh de la ecuacin homognea debe debe vericar que v (t) t vericar que log |vh (t)| = 3 log(t) + k 4

c es la solucin general de la ecuacin t3 homognea. Buscamos ahora una solucin particular de la ecuacin t2 v 0 (t) + 3tv(t) + 1 = 0. Para ello usamos el mtodo de variacin de los parmetros, es decir, buscamos una solucin de h(t) la forma vp (t) = 3 . Derivando y sustituyendo en la ecuacin (**) obtenemos que h0 (t) = t y t 1 una solucin particular viene dada por vp (t) = . Por consiguiente, la solucin general de la 2t ecuacin (**) es t2 + 2c c 1 v(t) = + 3 = 2t t 2t3 siendo c una constante arbitraria. siendo k una constante arbitraria. Es decir, vh (t) = A la vista del proceso anterior, si y (t) es una solucin de la ecuacin (*), e y (t) 6= t, tenemos 1 que la funcin v(t) = es solucin de la ecuacin (**). Es decir, existe una constante c y (t) t 1 t2 + 2c = . Despejando, concluimos que tal que 3 2t y (t) t y (t) = t + 2t3 . 2c t2 (***)

A estas soluciones hay que aadir la solucin y (t) = t que ha sido eliminada en el anterior argumento. c. Para el problema A) la solucin es y (t) = t. Para buscar la solucin en el apartado B ) tomamos t = 1 en (***) y concluimos que 2 = y (1) = 1 + 2 . 2c 1

2t3 . Por tanto, c = 3/2 y la solucin es y (t) = t + 3 t2 Problema. Resuelve el problema de valores iniciales 2 2 sen(log(x)) , y 00 + y 0 2 y = x x0 x2 y (1) = 1, y (1) = 2, siendo 1 x.

Solucin. Multiplicando la ecuacin por x2 obtenemos x2 y 00 + 2xy 0 2y = sen(log(x)), que es una ecuacin de tipo EulerCauchy y que se resuelve con el cambio de variable independiente x = es . Ahora, si la nueva variable dependiente es z (s) = y (es ), entonces tenemos, como se ha visto en clase, que y 0 (x) = es z 0 (s) y y 00 (x) = e2s (z 00 (s) z 0 (s)), donde las primas en la z indican derivada con respecto a s y las primas en la y indican derivadas con respecto a t. Con lo anterior obtenemos el siguiente problema de valor inicial para las variables z y s z 00 (s) + z 0 (s) 2z (s) = sen(s), 5

que es una ecuacin diferencial de segundo orden con coecientes constantes. Para resolverla, empezamos por la ecuacin homognea z 00 (s)+ z 0 (s) 2z (s) = 0 cuya ecuacin auxiliar es m2 + m 2 = 0. Las soluciones de esta ecuacin son m1 = 1 y m2 = 2, as que la ecuacin general de la ecuacin homognea es z (h) (s) = C1 es + C2 e2s . El siguiente paso es calcular una solucin particular de la ecuacin completa. Puesto que el segundo miembro es sen(s), usamos el mtodo de coecientes indeterminados y buscamos una solucin particular de 3 1 la forma z (p) (s) = A sen(s) + B cos(s) que al sustituirla en la ecuacin nos da A = yB= . 10 10 En consecuencia, la solucin particular buscada es z (p) (s) = 3 1 sen(s) cos(s). 10 10 1 3 sen(s) cos(s), 10 10

Con esto, tenemos ya la solucin general de la ecuacin completa z (s) = C1 es + C2 e2s

que al deshacer el cambio de variable queda en los siguientes trminos: y (x) = C1 x + 1 C2 3 sen(log(x)) cos(log(x)). 2 x 10 10

Finalmente, imponemos las condiciones iniciales 1 10 3 0 2 = y (1) = C1 2C2 , 10 1 = y (1) = C1 + C2 cuya solucin es C1 = 3 2 y C2 = . En denitiva, la solucin del problema de valor inicial 2 5 con y (1) = 1, y 0 (1) = 2

2 2 sen(log(x)) y 00 + y 0 2 y = x x x2 es

3 2 1 3 y (x) = x 2 sen(log(x)) cos(log(x)). 2 5x 10 10

Cuestin. Considera la ecuacin t3 y 000 + t2 y 00 6ty 0 + 6y = 30t con t > 0. Sabiendo que la ecuacin homognea asociada tiene las siguientes tres soluciones y1 (t) = t, 1 y2 (t) = t3 e y3 (t) = 2 , encuentra la solucin general de la ecuacin. t Solucin. Calculamos en primer lugar una solucin particular de la ecuacin completa. Para ello usaremos el mtodo de variacin de los parmetros que, como sabemos, consiste en buscar una solucin de la forma yp (t) = v1 (t)y1 (t) + v2 (t)y2 (t) + v3 (t)y3 (t) = v1 (t)t + v2 (t)t3 + v3 (t)t2 6

siendo v1 , v2 y v3 tres funciones a determinar de tal forma que la funcin yp sea solucin de la ecuacin dada. En primer lugar tendremos que derivar tres veces la funcin yp para, posteriormente, sustituir en la ecuacin del enunciado. Comenzamos por la derivada primera
0 0 0 0 yp (t) = v1 (t)t + v1 (t) + v2 (t)t3 + 3v2 (t)t2 + v3 (t)t2 2v3 (t)t3 .

Imponiendo que la suma de los trminos donde aparece la primera derivada sea cero (es decir, 0 0 0 (t)t + v2 (t)t3 + v3 (t)t2 = 0) obtenemos que que v1
0 (t) = v1 (t) + 3v2 (t)t2 2v3 (t)t3 . yp

Volvemos a derivar
00 0 0 0 yp (t) = v1 (t) + 3v2 (t)t2 + 6v2 (t)t 2v3 (t)t3 + 6v3 (t)t4 .

De nuevo imponemos que la suma de los trminos donde aparece la primera derivada sea cero 0 0 0 (t) + 3v2 (t)t2 2v3 (t)t3 = 0) y obtenemos que (es decir, que v1
00 (t) = 6v2 (t)t + 6v3 (t)t4 . yp

Finalmente
000 0 0 (t) = 6v2 (t)t + 6v2 (t) + 6v3 (t)t4 24v3 (t)t5 . yp

Sustituyendo en la ecuacin obtenemos


000 00 0 + t2 yp 6typ + 6yp 30t = t3 yp 0 0 = t3 6v2 (t)t + 6v2 (t) + 6v3 (t)t4 24v3 (t)t5 + t2 6v2 (t)t + 6v3 (t)t4 6t v1 (t) + 3v2 (t)t2 2v3 (t)t3 + 6 v1 (t)t + v2 (t)t3 + v3 (t)t2 0 0 (t)t4 + 6v3 (t)t1 . = 6v2

Resumiendo, las funciones v1 , v2 y v3 deben vericar


0 0 0 (t)t + v2 (t)t3 + v3 (t)t2 = 0, v1 0 0 0 (t) + 3v2 (t)t2 2v3 (t)t3 = 0, v1 0 0 (t)t4 + 6v3 (t)t1 = 30t. 6v2 0 0 0 (t) = 5/t, v2 (t) = 3/t3 y v3 (t) = 2t2 . Podemos as tomar, Despejando concluimos que v1 v1 (t) = 5 log t, v2 (t) = 3/(2t2 ) y v3 (t) = 2t3 /3 y la solucin particular

yp (t) = v1 (t)t + v2 (t)t3 + v3 (t)t2 3 2 5 = 5t log t t + t = 5t log t t. 2 3 6 Finalmente, la solucin general de la ecuacin viene dada por la suma de la solucin particular obtenida y la solucin general de la ecuacin homognea asociada, es decir, 5 y (t) = 5t log t t + At + Bt3 + Ct2 6 7

siendo A, B y C tres constantes arbitrarias. Problema. A) Comprueba que la ecuacin t2 y 00 t(t + 2)y 0 + (t + 2)y = 0 tiene una solucin no nula y (t) que es un polinomio. B) Calcula la solucin general de la ecuacin homognea del apartado A). C) Calcula la solucin general de la ecuacin t2 y 00 t(t + 2)y 0 + (t + 2)y = t3 . Solucin. A) Ensayamos con una solucin que sea un polinomio de grado uno. Es decir, buscamos una solucin de la forma y (t) = At + B. Sustituyendo en la ecuacin obtenemos t2 0 t(t + 2)A + (t + 2)(At + B ) = 0. Reorganizando estos sumandos y simplicando, la anterior ecuacin se reduce a Bt + 2B = 0. Es decir, B = 0. Por tanto, cualquier polinomio de la forma y (t) = At es solucin. Por simplicidad, tomamos y1 (t) = t como solucin. B) Sabemos que el conjunto de soluciones es un espacio vectorial de dimensin 2. En el apartado A) del problema encontramos como solucin la funcin y1 (t) = t. Por consiguiente, es suciente encontrar otra solucin de la ecuacin que sea linealmente independiente de la anterior. Como hemos visto en clase, para buscar esa otra solucin, tenemos que encontrar una funcin no constante v (t) tal que y2 (t) = v(t)y1 (t) = v(t)t sea solucin de la ecuacin dada. Para ello sustituimos en la ecuacin: 0 = = = =
00 0 t(t + 2)y2 + (t + 2)y2 t2 y2 t2 (v 00 (t)t + 2v 0 (t)) t(t + 2)(v 0 (t)t + v (t)) + (t + 2)v (t)t t3 v 00 (t) + v 0 (t)(2t2 t2 (t + 2)) + v (t)(t(t + 2) + (t + 2)t) t3 v 00 (t) t3 v0 (t).

Es decir, v 00 (t) = v 0 (t). Una solucin de esta ecuacin es v(t) = et y, por tanto, y2 (t) = v (t)t = et t es la otra solucin buscada. Resumiendo, hemos probado que la solucin general de la ecuacin lineal homognea es y (t) = At + Bet t siendo A y B dos constantes arbitrarias. C) Recordemos que la solucin general de una ecuacin diferencial lineal de segundo orden viene dada por y (t) = Ay1 (t) + By2 (t) + yp (t) siendo yp (t) una solucin particular de la ecuacin, y1 (t) e y2 (t) dos soluciones linealmente independientes de la ecuacin homognea asociada y A y B dos constantes arbitrarias. Puesto que 8

la ecuacin homognea asociada es la que aparece en el apartado A) del enunciado, tenemos que y1 (t) = t e y2 (t) = et t. As ser suciente obtener una solucin particular yp (t) de la ecuacin completa. Para encontrar tal solucin usamos el mtodo de variacin de las constantes. Es decir, buscamos una solucin particular de la forma yp (t) = v1 (t)y1 (t) + v2 (t)y2 (t) siendo v1 (t) y v2 (t) dos funciones a determinar para que yp (t) sea solucin. Derivando obtenemos
0 0 0 0 0 (t) = v1 (t)y1 (t) + v1 (t)y1 (t) + v2 (t)y2 (t) + v2 (t)y2 (t). yp

Recordemos que, teniendo en cuenta que tenemos dos incgnitas y una sola ecuacin imponemos 0 0 0 (t)y1 (t) + v2 (t)y2 (t) = 0. Por tanto, yp (t) = que v1 (t) y v2 (t) tambin cumplan la ecuacin: v1 0 0 t v1 (t)y1 (t) + v2 (t)y2 (t) = v1 (t) + v2 (t)e (t + 1). Derivando otra vez tenemos que
00 0 0 00 0 0 00 (t) = v1 (t)y1 (t) + v1 (t)y1 (t) + v2 (t)y2 (t) + v2 (t)y2 (t) yp 0 0 t t = v1 (t) + v2 (t)e (t + 1) + v2 (t)e (t + 2).

Tenemos as que
00 0 t(t + 2)yp + (t + 2)yp t3 = t2 yp

0 0 = t2 (v1 (t) + v2 (t)et (t + 1) + v2 (t)et (t + 2)) t(t + 2)(v1 (t) + v2 (t)et (t + 1)) + +(t + 2)(v1 (t)t + v2 (t)et t) 0 0 (t) + t2 v2 (t)et (t + 1). = t2 v1

Es decir, v1 (t) y v2 (t) deben satisfacer que


0 0 (t)t + v2 (t)tet = 0. v1 0 0 (t) + t2 v2 (t)et (t + 1) = t3 . t2 v1

Simplicando,
0 0 (t) + v2 (t)et = 0. v1 0 0 (t) + v2 (t)et (t + 1) = t. v1 0 0 (t) = et y v1 (t) = 1. Teniendo en cuenta que es suciente una solucin Por consiguiente, v2 particular, podemos tomar v2 (t) = et y v1 (t) = t. Concluimos as que

yp (t) = t2 t y la solucin general viene dada por y (t) = At + Bet t t(t + 1) siendo A y B dos constantes arbitrarias. 9

Problema. a) Comprueba que la funcin y1 (t) = et es solucin de la ecuacin ty 00 (2t + 1)y 0 + (t + 1)y = 0. b) Encuentra la solucin general de la ecuacin ty 00 (2t + 1)y 0 + (t + 1)y = 0. c) Encuentra la solucin general de la ecuacin ty 00 (2t + 1)y 0 + (t + 1)y = t2 .
00 0 (t) = y1 (t) = et , tenemos que Solucin. a) Puesto que y1 00 0 (t) (2t + 1)y1 (t) + (t + 1)y1 (t) = tet (2t + 1)et + (t + 1)et ty1 = (t 2t + t)et + (1 + 1)et = 0.

b) Recordemos que el conjunto de soluciones es un espacio vectorial de dimensin 2. Por el apartado a) del problema sabemos que una solucin es la funcin y1 (t) = et . Por consiguiente, es suciente encontrar otra solucin de la ecuacin que sea linealmente independiente de la anterior. Como hemos visto en clase, para buscar esa otra solucin, tenemos que encontrar una funcin no constante v (t) tal que y2 (t) = v (t)y1 (t) = v(t)et sea solucin de la ecuacin dada. Para ello sustituimos en la ecuacin: 0 = = = =
00 0 (t) (2t + 1)y2 (t) + (t + 1)y2 (t) ty2 00 t 0 t t(v (t)e + 2v (t)e + v(t)et ) (2t + 1)(v0 (t)et + v (t)et ) + (t + 1)v(t)et et [tv00 (t) + v 0 (t) (2t 2t 1) + v(t) (t 2t 1 + t + 1)] et [tv00 (t) v0 (t)] .

Es decir, tv00 (t) = v0 (t). Una solucin de esta ecuacin es v (t) = t2 y, por tanto, y2 (t) = v (t)et = t2 et es la otra solucin buscada. Resumiendo, hemos probado que la solucin general de la ecuacin lineal homognea es y (t) = Aet + Bet t2 siendo A y B dos constantes arbitrarias. c) Recordemos que la solucin general de una ecuacin diferencial lineal de segundo orden viene dada por y (t) = Ay1 (t) + By2 (t) + yp (t) siendo yp (t) una solucin particular de la ecuacin, y1 (t) e y2 (t) dos soluciones linealmente independientes de la ecuacin homognea asociada y A y B dos constantes arbitrarias. Puesto que la ecuacin homognea asociada es la que aparece en el apartado b) del enunciado, tenemos que y1 (t) = et e y2 (t) = t2 et . As ser suciente obtener una solucin particular yp (t) de la ecuacin completa. 10

Para encontrar tal solucin usamos el mtodo de variacin de las constantes. Es decir, buscamos una solucin particular de la forma yp (t) = v1 (t)y1 (t) + v2 (t)y2 (t) siendo v1 (t) y v2 (t) dos funciones a determinar para que yp (t) sea solucin. Derivando obtenemos
0 0 0 0 0 yp (t) = v1 (t)y1 (t) + v1 (t)y1 (t) + v2 (t)y2 (t) + v2 (t)y2 (t).

Recordemos que, teniendo en cuenta que tenemos dos incgnitas y una sola ecuacin imponemos 0 0 0 (t)y1 (t) + v2 (t)y2 (t) = 0. Por tanto, yp (t) = que v1 (t) y v2 (t) tambin cumplan la ecuacin: v1 0 0 t 2 t v1 (t)y1 (t) + v2 (t)y2 (t) = v1 (t)e + v2 (t)(2t + t )e . Derivando otra vez tenemos que
00 0 0 00 0 0 00 (t) = v1 (t)y1 (t) + v1 (t)y1 (t) + v2 (t)y2 (t) + v2 (t)y2 (t) yp 0 0 = v1 (t)et + v1 (t)et + v2 (t)(2t + t2 )et + v2 (t)et (2 + 4t + t2 ).

Tenemos as que
00 0 (t) (2t + 1)yp (t) + (t + 1)yp (t) = t2 = typ 0 0 (t)(2t + t2 )et + v2 (t)et (2 + 4t + t2 ) = t v1 (t)et + v1 (t)et + v2 (2t + 1) v1 (t)et + v2 (t)(2t + t2 )et + (t + 1) v1 (t)t2 + v2 (t)t2 et 0 0 (t)et + v2 (t)t(2t + t2 )et . = tv1

Es decir, v1 (t) y v2 (t) deben satisfacer que


0 0 (t)et + v2 (t)t2 et = 0, v1 0 0 (t)et + v2 (t)t(2t + t2 )et = t2 . tv1

Simplicando,
0 0 (t) + v2 (t)t2 = 0, v1 0 0 (t)et + v2 (t)(2t + t2 )et = t. v1 0 0 Por consiguiente, v2 (t) = et /2 y v1 (t) = t2 et /2. Teniendo en cuenta que es suciente una solucin particular, podemos tomar v2 (t) = et /2 y v1 (t) = (t2 /2 + t + 1)et . Concluimos as que yp (t) = (t2 /2 + t + 1)et et t2 et et /2 = t + 1.

y la solucin general viene dada por y (t) = At2 + Bet t2 + t + 1 siendo A y B dos constantes arbitrarias. Problema. (1) Calcula la solucin general de la ecuacin homognea (1 + t)y 00 + (4t + 5)y 0 + (4t + 6)y = 0 sabiendo que admite una solucin de la forma y (t) = eat para un cierto a. 11

(2) Usando el apartado anterior, encuentra la solucin general de la ecuacin (1 + t)y 00 + (4t + 5)y 0 + (4t + 6)y = e2t . Solucin. (1) Calculamos en primer lugar el valor de a para el que la funcin y1 (t) = eat es solucin de la ecuacin diferencial. Para ello sustituimos en la ecuacin, obteniendo (1 + t)a2 eat + (4t + 5)aeat + (4t + 6)eat = 0 para cualquier t real. Dividiendo en la anterior ecuacin por eat y reordenando los trminos obtenemos que (a2 + 4a + 4)t + (a2 + 5a + 6) = 0. Por consiguiente, el valor de a debe ser solucin simultnea de las ecuaciones a2 + 4a + 4 = 0, a2 + 5a + 6 = 0.

La primera ecuacin tiene por raz doble el nmero a = 2 y la segunda ecuacin tiene las races a = 3 y a = 2. Por tanto, el nico valor para el que y1 (t) = eat es solucin es para a = 2. Resumiendo, tenemos que la funcin y1 (t) = e2t es solucin de la ecuacin diferencial dada. Observemos que la ecuacin diferencial del enunciado es lineal, de orden 2 y homognea. Por tanto, si encontramos otra solucin y2 (t) que sea linealmente independiente con la anterior, obtenemos que cualquier solucin de la ecuacin diferencial es de la forma y (t) = c1 y1 (t) + c2 y2 (t) donde c1 y c2 son constantes arbitrarias. Nos centramos, por consiguiente, en calcular y2 (t). Para ello aplicamos la frmula de Liouville. Es decir, buscamos una funcin v(t) no constante tal que la funcin y2 (t) = v(t)y1 (t) = v (t)e2t sea solucin de la ecuacin (1+ t)y 00 +(4t +5)y 0 +(4t +6)y = 0. Para encontrar una funcin v(t) vlida, exigimos que y2 (t) sea solucin de la ecuacin y obtenemos
00 0 0 = (1 + t)y2 (t) + (4t + 5)y2 (t) + (4t + 6)y2 (t) 00 2t 0 = (1 + t) v (t)e 4v (t)e2t + 4v(t)e2t + (4t + 5) v0 (t)e2t 2v (t)e2t + +(4t + 6)v(t)e2t = e2t (v 00 (t)(1 + t) + v 0 (t) (4(1 + t) + (4t + 5)) + v (t) (4(1 + t) 2(4t + 5) + (4t + 6))) = e2t (v 00 (t)(1 + t) + v 0 (t)) .

Dividiendo en la anterior ecuacin por e2t , obtenemos que v00 (t)(1 + t) + v0 (t) = 0. Una solucin 1 de esta ecuacin es, por ejemplo, v 0 (t) = . Integrando, llegamos a que podemos tomar 1+t v(t) = log(1 + t). De esta forma, y2 (t) = log(1 + t)e2t y la solucin general de la ecuacin homognea es y (t) = c1 e2t + c2 log(1 + t)e2t = (c1 + c2 log(1 + t)) e2t donde c1 y c2 son constantes arbitrarias. (2) Recordemos que si yp (t) es una solucin particular de una ecuacin diferencial lineal de segundo orden e yh (t) es la solucin general de la ecuacin lineal homognea asociada entonces y (t) = yp (t) + yh (t) es la solucin general de la ecuacin no homognea. Puesto que la ecuacin lineal homognea asociada a la ecuacin (1+t)y 00 +(4t+5)y 0 +(4t+6)y = e es (1 + t)y 00 + (4t + 5)y 0 + (4t + 6)y = 0 y la solucin general de esta ltima ya la hemos
2t

12

obtenido en el apartado anterior (concretamente, yh (t) = c1 e2t + c2 log(1 + t)e2t ) es suciente obtener una solucin particular yp (t). Para obtener yp (t) aplicamos el mtodo de variacin de las constantes que consiste en buscar una solucin de la forma yp (t) = v1 (t)e2t + v2 (t) log(1 + t)e2t siendo v1 (t) y v2 (t) dos funciones a determinar. Para encontrar dichas soluciones imponemos que yp (t) sea solucin de la ecuacin 0 0 no homognea. sto nos dar una ecuacin lineal que verican las funciones v1 (t) y v2 (t). Recordemos que la otra ecuacin viene dada por
0 0 v1 (t)e2t + v2 (t) log(1 + t)e2t = 0.

Antes de sustituir yp (t) en la ecuacin calcularemos sus derivadas: 1 2t 0 0 2t 2t 0 2t yp (t) = v1 (t)e 2v1 (t)e + v2 (t) log(1 + t)e + v2 (t) e 2 log(1 + t) 1+t 1 2t 2t 2t ; e 2 log(1 + t)e = 2v1 (t)e + v2 (t) 1+t
00 yp (t)

0 2v1 (t)e2t

1 2t e 2 log(1 + t) + + 4v1 (t)e + 1+t 1 4 2t 2t 2t +v2 (t) . e + 4 log(1 + t)e e 1+t (1 + t)2
2t 0 v2 (t)

Tenemos as que
00 0 (t) + (4t + 5)yp (t) + (4t + 6)yp (t) e2t = (1 + t)yp 1 2t 0 2t 2t 0 e 2 log(1 + t) = (1 + t) 2v1 (t)e + 4v1 (t)e + v2 (t) + 1+t 1 4 2t 2t 2t +(1 + t)v2 (t) + e + 4 log(1 + t)e e 1+t (1 + t)2 1 2t 2t 2t +(4t + 5) 2v1 (t)e + v2 (t) + e 2 log(1 + t)e 1+t +(4t + 6) v1 (t)e2t + v2 (t) log(1 + t)e2t 0 0 (t)(1 + t) + v2 (t) (1 2(1 + t) log(1 + t))) . = e2t (2v1

Es decir, dividindo por e2t , tenemos que

0 0 Resolviendo este sistema, tenemos que v1 (t) = log(1 + t) y v2 (t) = 1. Integrando obtenemos que Z Z 1+t=x Integramos v1 (t) = log(1 + t)dt = = log xdx dt = dx por partes Z 1 = x log x + x dx = x log x + x = (1 + t) (1 log(1 + t)) ; x v2 (t) = t + 1.

0 0 v1 (t) + v2 (t) log(1 + t) = 0, 0 0 (t)(1 + t) + v2 (t) (1 2(1 + t) log(1 + t)) = 1. 2v1

13

Nota: no hemos considerado las constantes de integracin porque buscamos una nica solucin particular y, por consiguiente, nicas funciones v1 (t) y v2 (t). Hemos obtenido la solucin particular yp (t) = v1 (t)e2t + v2 (t) log(1 + t)e2t = (1 + t) (1 log(1 + t)) e2t + (t + 1) log(1 + t)e2t = (1 + t)e2t . Finalmente, teniendo en cuenta todos los resultados y comentarios hechos hasta ahora, la solucin general es y (t) = (1 + t)e2t + (c1 + c2 log(1 + t)) e2t donde c1 y c2 son constantes arbitrarias.

14

2. Leccin 2: Sistemas de Ecuaciones Diferenciales.


Problema. Resuelva el siguiente problema de valor inicial 3t 2 1 1 e 1 2 1 y + 0 , y0 = 1 con y (0) = 0 . 2 2 1 2e3t 0 Solucin. Comenzamos calculando la solucin general yh del sistema homogneo asociado: 2 1 1 2 1 y. y0 = 1 2 2 1 det(A I ) = 3 + 32 3 + 1. Este polinomio tiene a = 1 como nico autovalor. Por tanto, tiene multiplicidad algebraica tres. Los autovectores de la matriz A correspondientes a este autovalor son los vectores no nulos del plano x + y + z = 0. De esta forma u1 = [1, 1, 0]t y u2 = [1, 0, 1]t son dos autovectores linealmente independientes y cualquier otro autovector es una combinacin lineal de ellos. Puesto que A2 = 0, cualquier vector no nulo de R3 es un autovector generalizado. Tomamos ahora un tal autovector generalizado que sea linelmente indepeniente con los anteriores u3 = [1, 0, 0]t . Con todo ello, tres soluciones linealmente independientes del sistema homogneo son 1 1 y1 (t) = et 1 , y2 (t) = et 0 0 1 1+t 1 y3 (t) = et (A + t(A I )) 0 = et t . 2t 0

Para ello calculamos los autovalores de la matriz A del sistema. Un sencillo clculo muestra que

La solucin general es, por tanto,

para t R, siendo A, B y C tres constantes arbitrarias.

1 1 1+t yh (t) = Ay1 (t) + By2 (t) + Cy3 (t) = Aet 1 + Bet 0 + Cet t 0 1 2t

Buscamos ahora una solucin particular del sistema completo. Para ello utilizaremos el mtodo de variacin de los parmetros, esto es, buscamos una solucin del sistema completo de la forma 1 1 1+t yp (t) = v1 (t)et 1 + v2 (t)et 0 + v3 (t)et t 0 1 2t 15

siendo vi (t), para i = 1, 2, 3, tres funciones a determinar. Dado que yp (t) = Y (t)v (t) con Y (t) la correspondiente matriz fundamental de soluciones y v(t) = [v1 (t), v2 (t), v3 (t)]t , imponiendo que 0 sea solucin (es decir, yp (t) = Ayp (t) + [e3t , 0, 2e3t ]t ) obtenemos que 3t e 0 . Y 0 (t)v (t) + Y (t)v 0 (t) = AY (t)v(t) + 3t 2e Puesto que Y 0 (t) = AY (t), obtenemos que e3t 0 . Y (t)v0 (t) = 3t 2e

Despejando, componente a componente, tenemos que

0 (t) = 3e2t , v3 0 0 (t) = e2t v3 (t)(1 + 2t) = 2(1 + 3t)e2t , v2 0 0 0 (t) = e2t v2 (t) v3 (t)(1 + t) = 3te2t . v1

Integrando obtenemos (no tenemos en cuenta la constante de integracin ya que buscamos una nica solucin particular) v3 (t) = 3 2t e , 2
2t

1 3t + , v2 (t) = e 2 3 3 2t v1 (t) = e t . 2 4 De esta forma la solucin particular encontrada es 1 1+t 1 3 3 3 1 3t 0 + e3t t 1 + 3t + yp (t) = e3t t e 2 4 2 2 1 2t 0

y la solucin general del sistema completo es 1 1 1+t 1 3 3 1 + y (t) = Aet 1 + Bet 0 + Cet t + e3t t 2 4 0 1 2t 0 1 1+t 3 1 3t 0 + e3t t e + 3t + 2 2 1 2t siendo A, B y C tres constantes arbitrarias.

16

Finalizamos el ejercicio viendo cul de estas soluciones verica la condicin inicial. Para ello sustituimos en el instante t = 0 para obtener 1 1 1 1 1 1 1 1 3 3 1 + 0 + 0 = 0 . 0 +C 0 y (0) = A 1 + B 4 2 2 0 0 1 0 1 0 0 Despejando obtenemos que A = 3/4, B = 1/2 y C = 1/2 y la solucin del problema de valores iniciales es 1 1 1+t 1 1 3 t 1 et 0 et t + e y (t) = 4 2 2 0 1 2t 1 1 1+t 1 3t 3 9 3t 1 + 3t + 0 + e3t t e e + 3t 2 2 2 0 1 2t

Cuestin. Calcula la solucin general del siguiente sistema 1 3 4 5 y 0 = 0 5 4 y + et 1 . 1 0 0 3 Solucin. Puesto que se trata de un sistema no homogneo de ecuaciones diferenciales, para calcular su solucin general tenemos que resolver el sistema homogneo asociado y encontrar una solucin particular del sistema completo. Para resolver el correspondiente sistema homogneo 3 4 5 y0 = 0 5 4 y 0 0 3

empezamos determinando los autovalores y autovectores de la matriz de los coecientes. Dado que la matriz es diagonal, es inmediato que sus autovalores son 1 = 5 y 2 = 3 (doble). Para 1 = 5 obtenemos 2 4 5 A 1 I = A 5I = 0 0 4 0 0 2 2 luego podemos tomar u1 = 1 como autovector. Por otro lado, para 2 = 3 obtenemos 0 0 4 5 A 2 I = A 3I = 0 2 4 0 0 0 17

1 luego podemos tomar u2 = 0 como autovector y vamos a encontrar ahora un autovector 0 generalizado que nos permita obtener una tercera solucin linealmente independiente. Dado que 0 8 16 (A 3I )2 = 0 4 8 0 0 0 0 podemos tomar como autovector generalizado u3 = 2 . 1 As pues, las soluciones obtenidas son 2 1 y1 (t) = e5t 1 , y2 (t) = e3t 0 , 0 0 3t y3 (t) = e3t {I + (A 3I )t} u3 = e3t 2 1

que nos dan como solucin general

2 1 3t y (h) (t) = c1 e5t 1 + c2 e3t 0 + c3 e3t 2 . 0 0 1 Para calcular una solucin particular de la ecuacin completa emplearemos el mtodo de los coecientes indeterminados, para lo cual ensayamos con una solucin del tipo a (h) t b . y (t) = e c 2a + 4b + 5c = 1 4b + 4c = 1 2c = 2 cuya solucin es y, por tanto, 1 a= , 4 1 1 y c= 4 2 1/4 y (p) (t) = et 1/4 . 1/2 b=

Sustituyendo en la ecuacin obtenemos el siguiente sistema

Concluimos que la solucin del problema es 2 1 3t 1/4 y (t) = c1 e5t 1 + c2 e3t 0 + c3 e3t 2 + et 1/4 . 0 0 1 1/2 18

Imponiendo que esta funcin sea 5t 2e e5t 0

Ntese que para calcular una solucin particular tambin podemos utilizar el mtodo de variacin de los parmetros, que consiste en ensayar con una solucin del tipo 2 1 3t y (p) (t) = v1 (t)e5t 1 + v2 (t)e3t 0 + v3 (t)e3t 2 . 0 0 1 solucin del sistema completo y simplicando llegamos a que 0 e3t 3te3t v1 (t) 1 t 3t 0 v2 (t) = e 0 2e 1 . 0 v3 0 e3t (t) 1

Ahora habra que resulver el sistema para obtener las derivadas de las funciones incgnitas y, nalmente, integrar. Problema. Resolver el problema de valor inicial 1 0 0 0 0 , x0 = 2 1 2 x + t 3 2 1 e cos t 0 con x(0) = 1 . 1

Solucin. El problema lo resolveremos en tres pasos. En primer lugar calcularemos la solucin general del sistema homogneo asociado, que llamaremos xh (t), a continuacin buscaremos una solucin particular xp (t) del sistema completo. De esta forma la solucin general del sistema ser x(t) = xp (t) + xh (t). Finalizaremos el ejercicio buscando la solucin que satisface las condiciones iniciales dadas. Solucin general del sistema homogneo asociado. El sistema homogneo asociado es 1 0 0 x0 = 2 1 2 x. 3 2 1

Tenemos que buscar tres soluciones linealmente independientes. Comenzamos calculando los autovalores, autovectores y, en su caso, los autovestores generalizados: 1 0 0 2 1 2 3 2 1 2 = (1 ) 1 2 1 = (1 ) 2 2 + 5

= (1 ) ( (1 + 2j )) ( (1 2j )) .

Un autovector de autovalor 1 es v1 = [2, 3, 2]T y, por tanto, tenemos la solucin x1 (t) = et [2, 3, 2]T .

Es decir, los autovalores son 1, 1 + 2j y 1 2j.

19

Un autovector de autovalor 1 + 2j es v 2 = [0, 1, j ]T y, por tanto, tenemos la solucin e(1+2j )t [0, 1, j ]T . Puesto que esto es una solucin compleja, tomaremos la parte real e imaginaria de sus componentes para obtener dos soluciones linealmente independientes del sistema homogneo: 0 0 0 0 0 e(1+2j )t 1 = et cos(2t) 1 + sen(2t) 0 + jet sen(2t) 1 cos(2t) 0 . j 0 1 0 1 De aqu obtenemos las soluciones reales 0 x2 (t) = et cos(2t) , sen(2t) 0 x3 (t) = et sen(2t) . cos(2t)

Por tanto,

es una matriz fundamental de soluciones, es decir, la solucin general del sistema homogneo viene dada por x(t) = c1 x1 (t) + c2 x2 (t) + c3 x3 (t) donde c1 , c2 y c3 son constantes arbitrarias. Solucin particular del sistema completo. Tenemos dos caminos para obtener una solucin particular: por el mtodo de los coecientes indeterminados y por el mtodo de vaciacin de las constantes. Mostramos a continuacin cmo se obtiene dicha solucin por cada uno de estos mtodos. a) Mtodo de los coeentes indeterminados. Teniendo en cuenta que el trmino independiente T es [0, 0, et cos t] , buscamos una solucin de la forma xp (t) = et cos(t)u + et sen(t)v siendo u, v R3 . Imponemos que esta funcin sea solucin de la ecuacin diferencial, obteniendo que et cos(t)u et sen(t)u + et sen(t)v + et cos(t)v = et cos(t)Au + et sen(t)Av + et cos(t) [0, 0, 1]T . Dividiendo por et y reordenando la anterior ecuacin obtenemos que cos(t) u + v Au [0, 0, 1]T + sen(t) (u + v Av ) = 0.

0 0 2et X (t) = 3et et cos(2t) et sen(2t) 2et et sen(2t) et cos(2t)

Es decir, u + v Au [0, 0, 1]T = 0 y u + v Av = 0. De la ltima ecuacin tenemos que u = v Av y sustituyendo en la primera concluimos que v Av + v A (v Av ) = [0, 0, 1]T . 20

Es decir, (2I 2A + A2 )v = [0, 0, 1]T . Resolviendo este sistema obtenemos que v = [0, 0, 1/3]T y, por tanto, u = [0, 2/3, 0]T . De esta forma la solucin particular obtenida es 0 0 2 1 xp (t) = et cos(t) 1 et sen(t) 0 . 3 3 0 1 b) Mtodo de variacin de las constantes. En este caso, buscamos tres funciones v1 (t), v2 (t) y v3 (t) tales que la funcin xp (t) = v1 (t)x1 (t) + v2 (t)x2 (t) + v3 (t)x3 (t) sea solucin del sistema. Por tanto, se tiene que 0 0 0 . v1 (t)x1 (t) + v2 (t)x2 (t) + v3 (t)x3 (t) = A v1 (t)x1 (t) + v2 (t)x2 (t) + v3 (t)x3 (t) + et cos t
0 0 0 (t)x1 (t) + v1 (t)x1 (t)0 + v2 (t)x2 (t) + v2 (t)x2 (t)0 + v3 (t)x3 (t) + v3 (t)x3 (t)0 v1 0 0 . = v1 (t)Ax1 (t) + v2 (t)Ax2 (t) + v3 (t)Ax3 (t) + t e cos t

Operando llegamos a

Puesto que x1 (t), x2 (t) y x3 (t) son soluciones del sistema homogneo asociado tenemos que x1 (t)0 = Ax1 (t), x2 (t)0 = Ax2 (t) y x3 (t)0 = Ax3 (t). Esto nos permite simplicar la anterior ecuacin, obteniendo que 0 0 0 0 0 . v1 (t)x1 (t) + v2 (t)x2 (t) + v3 (t)x3 (t) = t e cos t 1 0 0 (t) = 0, v2 (t) = cos(t)sen(2t) = (sen(3t) + sen(t)) Resolviendo este sistema obtenemos que v1 2 1 0 y v3 (t) = cos(t) cos(2t) = (cos(3t) + cos(t)) . Integrando, y teniendo en cuenta que bus2 1 1 cos(3t) + cos(t) y v3 (t) = camos una nica solucin, llegamos a que v1 (t) = 0, v2 (t) = 2 3 1 1 sen(3t) + sen(t) . Es decir, la solucin particular obtenida es 2 3 0 0 1 1 1 1 cos(3t) + cos(t) et cos(2t) sen(3t) + sen(t) et sen(2t) . xp (t) = 2 3 2 3 sen(2t) cos(2t) Simplicando, obtenemos que 0 0 2 1 xp (t) = et cos(t) 1 et sen(t) 0 . 3 3 0 1 21

Es decir, la misma solucin particular que con el mtodo de los coecientes indeterminados (aunque, en general, esto no tiene que ocurrir). Resumiendo, la solucin general del sistema de ecuaciones diferenciales es x(t) = xp (t) + c1 x1 (t) + c2 x2 (t) + c3 x3 (t) donde c1 , c2 y c3 son constantes arbitrarias. Solucin del problema de valores iniciales . Tenemos que 0 x(0) = 1 = xp (0) + c1 x1 (0) + c2 x2 (0) + c3 x3 (0) 1 2 0 0 0 2 = 1 + c1 3 + c2 1 + c3 0 . 3 2 0 1 0 Resolviendo este sistema obtenemos que c1 = 0, c2 =

5 y c3 = 1. Es decir, la solucin es 3 0 0 0 0 2 1 5 x(t) = et cos(t) 1 et sen(t) 0 + et cos(2t) et sen(2t) . 3 3 3 sen(2t) cos(2t) 0 1

Cuestin. (1) Qu es un sistema no lineal autnomo? Enuncia el teorema de linealizacin de Liapunov y Poincar. (2) Determina y clasica los puntos crticos del sistema no lineal x0 = x2 + y 2 1, y 0 = x2 y 2 . Solucin. (1) Un sistema autnomo de dimensin 2 es un sistema de 2 ecuaciones diferenciales y 0 (t) = f (x(t), y (t)) x0 (t) = g (x(t), y (t)) donde (f, g ) es un campo vectorial de dimensin 2 con derivadas parciales continuas en una regin del espacio R2 . El sistema se llama autnomo, o invariante en el tiempo, porque el campo (f, g) no depende explcitamente de la variable temporal t. Puede probarse que si jamos una condicin inicial x(0) = x0 , y (0) = y0 , entonces este sistema tiene solucin nica. Si (x0 , y0 ) R2 es un punto tal que f (x0 , y0 ) = g (x0 , y0 ) = 0, entonces la solucin del problema de valor inicial y 0 (t) x0 (t) x(0) y (0) = = = = f (x(t), y (t)) g (x(t), y (t)) x0 , y0 22 (1)

es constante: x(t) = x0 , y (t) = y0 para todo t R; o sea, las variables no se mueven del punto inicial. Se dice entonces que (x0 , y0 ) es un punto o solucin de equilibrio del sistema. Se dice que la solucin del problema de valor inicial (1) es estable si al tomar un punto cercano a (x0 , y0 ) como valor inicial, la solucin correspondiente se mantiene cerca de la solucin de partida. Si, adems, las soluciones que empiezan cerca no slo se mantienen cerca, sino que tienden a la solucin dada, entonces se dice que es asintticamente estable. Se dice que la solucin es inestable cuando no es estable; es decir, cuando hay soluciones que empiezan tan cerca como queramos pero que se alejan cuando el tiempo avanza. Teorema de Linealizacin de Liapunov y Poincar . Sea (x0 , y0 ) un punto de equilibrio de un sistema no lineal y 0 (t) = f (x(t), y (t)), x0 (t) = g (x(t), y (t)). Se verican las siguientes armaciones: (a) El punto (x0 , y0 ) es un punto de equilibrio asintticamente estable de un sistema no lineal autnomo plano si todos los autovalores de la matriz jacobiana D(f, g ) (x0 , y0 ) tienen parte real estrictamente negativa. (b) El punto (x0 , y0 ) es un punto de equilibrio inestable de un sistema no lineal autnomo plano si algn autovalor de la matriz jacobiana D(f, g ) (x0 , y0 ) tiene parte real estrictamente positiva. Sin embargo, el procedimiento de linealizacin no funciona si hay autovalores con parte real cero y los dems tienen parte real negativa. (2) Comenzamos calculando los puntos de equilibrio del sistema autnomo. En este caso, f (x, y ) = x2 + y 2 1, g (x, y ) = x2 y 2 . Por tanto, los puntos de equilibrio verican que 1 x2 + y 2 = 1 y x2 = y 2 . De esta forma tenemos que 2x2 = 1. Es decir, x = y los puntos de 2 equilibrio son 1 1 1 1 1 1 1 1 P1 = , , P2 = , , P3 = , , P4 = , . 2 2 2 2 2 2 2 2 Analicemos ahora la estabilidad usando el teorema de Liapunov y Poincar que fu enunciado en el apartado primero de la cuestin. Tenemos que 2x 2y . D(f, g) (x, y ) = 2x 2y De esta forma, 2 2 . D(f, g ) (P1 ) = 2 2

Los autovalores de esta matriz son 2 y 2. Por consiguiente, el teorema de Liapunov y Poincar arma que el punto es inestable.

23

En el punto P2 tenemos que 2 2 . D(f, g ) (P2 ) = 2 2 Los autovalores de esta matriz son arma que el punto es inestable. En el punto P3 tenemos que D(f, g) (P3 ) = 2 2 . 2 2

2(1 j ). Por consiguiente, el teorema de Liapunov y Poincar

Los autovalores de esta matriz son 2(1 j ). Por consiguiente, el teorema de Liapunov y Poincar arma que el punto es asintticamente estable. En el punto P4 tenemos que D(f, g) (P4 ) = 2 2 . 2 2

Los autovalores de esta matriz son 2 y 2. Por consiguiente, el teorema de Liapunov y Poincar arma que el punto es inestable.

24

3. Leccin 3: Transformacin de Laplace.


Problema. La funcin de Bessel de primer orden J1 (t) es la solucin del problema de valor inicial t2 y 00 + ty 0 + (t2 1)y = 0 con y (0) = 0 e y 0 (0) = 1/2. Calcula la transformada de Laplace de J1 (t). Solucin. Para simplicar la notacin llamaremos Y (s) a la transformada de Laplace de J1 (t). Calcularemos la transformada de Laplace de ambos trminos de la ecuacin del enunciado. Previamente, necesitamos redordar que 1. L(y 0 (t))(s) = sY (s) y (0) = sY (s); 3. L(tn f (t))(s) = (1)n Por tanto, tenemos que dn L(f (t))(s) . dsn 2. L(y 00 (t))(s) = sL(y 0 (t))(s) y 0 (0) = s2 Y (s) 1/2;

De esta forma, obtenemos que

L(t2 y (t))(s) = Y 00 (s); dL(y 0 (t))(s) = (Y (s) + sY 0 (s)); L(ty 0 (t))(s) = ds 00 L(t2 y 00 (t))(s) = s2 Y (s) 1/2 = 2Y (s) + 4sY 0 (s) + s2 Y 00 (s).

0 = L(t2 y 00 (t))(s) + L(ty 0 (t))(s) + L(t2 y (t))(s) L(y (t))(s) = 2Y (s) + 4sY 0 (s) + s2 Y 00 (s) (Y (s) + sY 0 (s)) + Y 00 (s) Y (s) = (s2 + 1)Y 00 (s) + 3sY 0 (s). Es decir, hemos obtenido una ecuacin diferencial de segundo orden que verica la funcin bus3s Y 00 (s) = 2 e integrando concluimos que hay cada Y (s). De dicha ecuacin deducimos que 0 Y (s) s +1 k una constante k tal que Y 0 (s) = . Volviendo a integrar (esta vez, haciendo un cambio (s2 + 1)3/2 de variable apropiado como, por ejemplo, s = senh(x)) concluimos que existen constantes k y c ks tales que Y (s) = + c. Puesto que (s2 + 1)1/2 " # ks 0 = lim Y (s) = lim + c = k + c, s+ s+ (s2 + 1)1/2 # " s 1 . Por otro lado, el teorema del valor concluimos que k = c. Es decir, Y (s) = k (s2 + 1)1/2 25

inicial aplicado a la funcin y 0 (t) garantiza 1 = y 0 (0) = lim sL(y 0 (t))(s) = lim s [sY (s)] s+ s+ 2 " # i 1/2 s2 h 2 s 2 s s 1 = k lim + 1 s 1 = k lim s2 s+ s+ s2 + 1 (s2 + 1)1/2 " # 1/2 1 1/2 1 s12 1 + 1 1 2 s 1+ 2 1 2 = k lim [por L0 Hpital] = k lim s2 1 s+ s+ s s s2 " # 1 / 2 1/2 1 2 1 2 1 + 1 1 k 3 s2 s3 = k lim 2 s 1+ 2 = k lim 1 = . 2 s+ s+ 2 s 2 s3 es decir, k = 1 e Y (s) = 1 s (s2 + 1)1/2 .

Cuestin.Un circuito elctrico est formado conectando un generador de f.e.m. V (t), una inductancia L y una resistencia R. La diferencia de potencial en los bornes del generador es la funcin V (t) = V0 ht0 (t) siendo t0 > 0 y V0 una constante. Se pide obtener la intensidad de corriente que recorre el circuito en un instante t. Cul es el comportamiento asinttico de la intensidad? Nota: Recurdese que por las leyes de Kircho la intensidad verica la ecuacin diferencial Li0 (t) + Ri(t) = V (t). Solucin. La solucin general de la ecuacin lineal homognea asociada es ih (t) = ceRt/L . Busquemos ahora una solucin particular del sistema completo. Usaremos las tcnicas desarrolladas en el tema de la transformada de Laplace. Como buscamos una nica solucin particular, para simplicar los clculos supondremos que i(0) = 0. Llamemos I (s) a la transformada de Laplace de la intensidad i(t). La linealidad de dicha transformada implica que LL(i0 (t))(s) + RL(i(t))(s) = L(V (t))(s). Por otro lado, de las propiedades estudiadas en clase tenemos que: L(i0 (t))(s) = sL(i(t))(s) i(0) = sI (s) y L(V (t))(s) = V0 L(ht0 (t))(s) = V0 Por consiguiente, LsI (s) + RI (s) = V0 Es decir, est0 . s est0 . s

1 es 1 y la de s+R/L es etR/L , obtenemos que la transPuesto que la transformada inversa de 1 h i s 1 1 1 1 0 formada inversa de V0 R R 1 etR/L . Por viene dada por la funcin g (t) = V s s+R/L R

1 est0 11 1 I (s) = V0 = V0 est0 . s(Ls + R) R s R s + R/L

26

consiguiente, la solucin particular obtenida es V0 1 e(tt0 )R/L ht0 (t) i(t) = L1 (I (s))(t) = g (t t0 )ht0 (t) = R 0 si t t 0, = V0 (tt0 )R/L 1e si t > t0 . R

De esta forma, la solucin general de la ecuacin viene dada por Rt/L ce si t t0 , i(t) = V0 Rt/L (tt0 )R/L ce + R 1e si t > t0 . Finalmente,

siendo c = i(0).

V0 V0 Rt/L (tt0 )R/L + 1e lim i(t) = lim ce =c+ t+ t+ R R

Cuestin. Resuelve el problema de valores iniciales y 00 2y 0 + 5y = ha (t), y (0) = y 0 (0) = 0, siendo a un nmero real positivo y ha la funcin salto en a. Solucin. Resolveremos este problema utilizando la transformada de Laplace. Si denotamos por Y (s) a la transformada de Laplace de la solucin y tenemos en cuenta que L {y 0 } (s) = sY (s) y (0) = sY (s) L {y 00 } (s) = s2 Y (s) sy (0) y 0 (0) = sY (s) esa L {ha } (s) = s al transformar la ecuacin obtenemos s2 Y (s) 2sY (s) + 5Y (s) = y, por tanto, Y (s) = Descomponiendo en fracciones simples eas . s(s2 2s + 5) esa s

1/5 (1/5)s + 2/5 as eas = + e Y (s) = s(s2 2s + 5) s (s 1)2 + 4 s1 1 2 1 1 + eas = 5 s (s 1)2 + 4 2 (s 1)2 + 4 cuya antitransformada es 1 1 (ta) y (t) = ha (t) 1 e cos(2(t a)) + sin(2(t a)) 5 2 27

Problema. Usando la transformada de Laplace resuelve el sistema de ecuaciones x00 = 3x + 2y, y 00 = 2x 2y + 40 sen(3t) con las condiciones iniciales x(0) = x0 (0) = y (0) = y 0 (0) = 0. Nota: Las funciones x e y dependen de la variable independiente t 0. Solucin. Llamaremos X (s) e Y (s) a las transformadas de Laplace de las funciones x e y respectivemente. Es decir, X (s) = L(x(t))(s) e Y (s) = L(y (t))(s). Recordemos que la transformada de Laplace de la derivada de una funcin f que es continua y derivable en [0, +) viene dada por L(f 0 (t))(s) = sL(f (t))(s) f (0). De esta forma aplicando las condiciones iniciales obtenemos que L(x0 (t))(s) = sL(x(t))(s) x(0) = sX (s); L(y 0 (t))(s) = sL(y (t))(s) y (0) = sY (s); Por otro lado, sabemos que L(sen(3t))(s) = s2 L(x00 (t))(s) = sL(x0 (t))(s) x0 (0) = s2 X (s); L(y 00 (t))(s) = sL(y 0 (t))(s) y 0 (0) = s2 Y (s).

3 . De esta forma, si aplicamos la trasformada +9 de Laplace en las ecuaciones del enunciado obtenemos que ) L(x00 (t))(s) = 3X (s) + 2Y (s), 3 . L(y 00 (t))(s) = 2X (s) 2Y (s) + 40 2 s +9 Es decir, 2X (s) + (s2 + 2)Y (s) = 40 Por tanto, X (s) = 240 , (s4 + 5s2 + 2)(s2 + 9) Y (s) = 120(s2 + 3) . (s4 + 5s2 + 2)(s2 + 9) (s2 + 3)X (s) 2Y (s) = 0, s2 3 . +9 )

Ahora hacemos una descomposicin en fracciones simples de la funcin X (s). Para ello observe mos que el polinomio (s4 +5s2 +2) puede reescribirse como (s2 + m1 )(s2 + m2 ) siendo m1 = 52 17 y m2 = 5+2 17 (obsrvese para posteriores clculos que m1 m2 = 2 y m1 + m2 = 5). De esta forma (s4 + 5s2 + 2)(s2 + 9) = (s2 + m1 )(s2 + m2 )(s2 + 9). En particular, el denominador que aparece en la expresin de X (s) tiene seis races complejas simples. Por tanto, la descomposicon adecuada es de la forma As + B Cs + D Es + F X (s) = 240 2 . + + 2 s + m1 s2 + m2 s +9 Tras algunas opereraciones obtenemos que " # 1 1 13 + 17 2 60 13 17 + . X (s) = 19 17 s2 + m1 17 s2 + m2 s2 + 9 28

Puesto que L(sen(at))(s) =

a , antitransformando obtenemos que + a2 " # 60 13 17 13 + 17 2 x(t) = sen(m1 t) sen(m2 t) + sen(3t) . 19 3 17m1 17m2 s2

Para obtener, y (t) podemos seguir un procedimiento similar haciendo una descomposicin en 120(s2 +3) fraccciones simples de Y (s) = (s4 +5 . Otro camino alternativo es despejar en la primera s2 +2)(s2 +9) de las ecuaciones del sistema para obtener que 2y (t) = 3x(t) + x00 (t) " # 60 13 17 13 + 17 2 = 3 sen(m1 t) sen(m2 t) + sen(3t) 19 3 17m1 17m2 # " 13 + 17 60 13 17 m1 sen(m1 t) m2 sen(m2 t) + 6sen(3t) 19 17 17 " # 17 13 + 60 13 17 3 m2 3 m2 = 1 sen(m1 t) 2 sen(m2 t) 4sen(3t) . 19 17m1 17m2 # 30 13 17 13 + 17 y (t) = 3 m2 3 m2 1 sen(m1 t) 2 sen(m2 t) 4sen(3t) . 19 17m1 17m2 " Problema. Considera el problema de valores iniciales y 00 + 2y 0 + y = f (t), y (0) = 0, y 0 (0) = 1, siendo 0 2(cos(t) + sen (t)) f (t) = 0

Es decir,

Calcula y ( ) e y (5 ).

si 0 t < 2, si 2 t < 4, si t 4.

Solucin. Dado que la funcin f no es continua lo ms cmodo para resolver el problema es usar el mtodo de la transformada de Laplace. Puesto que L{y 00 } = s2 L{y } sy (0) y 0 (0) y L{y 0 } = sL{y } y (0),

si denotamos por Y (s) la transformada de Laplace L{y } de la solucin y transformamos la ecuacin, entonces nos queda s2 Y (s) 1 2sY (s) + Y (s) = L{f }, y, por tanto, Y (s) = L{f } + 1 . s2 + 2s + 1 29

Para calcular la transformada de Laplace de f basta tener en cuenta que f (t) = 2[h0 (t 2 ) h0 (t 4 )][cos(t) + sen (t)] donde h0 es la funcin salto de Heaviside y utilizar la propiedad de traslacin en el dominio del tiempo, para concluir que 2s s+1 2s 4s 4s e e L{cos(t) + sen (t)}(s) = 2 e L{f }(s) = 2 e s2 + 1 s+1 2 (e2s e4s ) 2 s +1 Y (s) = 2 (s + 1) +1

As pues,

Descomponiendo en fracciones simples

= 2 e2s e4s

1 (s + 1)(s2 + 1)

1 . (s + 1)2

1 A Bs + C A(s2 + 1) + (Bs + c)(s + 1) = + = (s + 1)(s2 + 1) s+1 s2 + 1 (s + 1)(s2 + 1) e identicando los numeradores vemos que A = C = 1/2, B = 1/2. Por tanto, 2s s 1 1 1 4s Y (s) = e e . 2 + 2 + (s + 1) s + 1 s + 1 (s + 1)2 Para hallar la transformada inversa debemos usar las transformadas inversas de las funciones seno y coseno y la propiedad de traslacin en el dominio del tiempo, as como la transformada inversa de la funcin t y la propiedad de traslacin en el dominio de la frecuencia. Entonces y (t) = e(t2) cos(t) + sin(t) h0 (t 2 ) e(t4) cos(t) + sen (t) h0 (t 4 ) + tet ,

expresin que puede escribirse tambin como t < 2 tet (t2 ) e cos(t) + sen (t) + tet 2 < t < 4 y (t) = e(t2) + e(t4) + tet 4 < t. Por ltimo calculamos el valor de y ( ) e y (5 ), obteniendo y ( ) = e y (5 ) = e3 + e + 5e5 .

Cuestin. Sea y : [0, +) R una funcin continua tal que ella y su derivada son de orden exponencial. Encuentra y justica la relacin que existe entre las transformadas de Laplace de y e y0. Cuestin. La corriente de un circuito LRC en serie est regida por el problema de valor inicial I 00 (t) + 4I (t) = g (t) 30 con I (0) = I 0 (0) = 0,

donde

Determina la corriente en funcin del tiempo t. Solucin. Usaremos la transformada de Laplace. Llamaremos Y (s) a la transformada de Laplace de la solucin de la ecuacin diferencial. Comenzamos aplicando que la transformada de Laplace es lineal, por tanto, L (I 00 (t)) (s) + 4Y (s) = L (g (t)) (s).

1, 1, g (t) = 0,

si 0 < t < 1, si 1 < t < 2, si t > 2.

Calculamos ahora L (I 00 (t)) (s) y L (g (t)) (s). Recordemos que L (f 0 ) (s) = sL (f ) (s) f (0). Aplicamos esta propiedad de forma consecutiva a las funciones I 0 (t) e I (t) para concluir que L (I 00 (t)) (s) = sL (I 0 (t)) (s) I 0 (0) = sL (I 0 (t)) (s) = s [sL (I (t)) (s) I (0)] = s2 Y (s). Adems tenemos que L (g(t)) (s) = dt = g(t)e dt + g(t)e dt + 0 0 1 Z 2 Z 1 1 2s ts e dt ets dt = = e 2es + 1 . s 0 1 s2 Y (s) + 4Y (s) = Es decir, Y (s) = 1 2s e 2es + 1 . s Z
+

g(t)e

ts

1 ts

2 ts

g (t)ets dt

Por consiguiente,

Tenemos ahora que calcular la transformada de Laplace inversa de esta funcin. Comenzamos 1 . Para ello hacemos una descomposicin en fraccalculando la transformada inversa de 2 s (s + 4) ciones simples: s (s2 1 1/4 s/4 1 1 1 = 2 = L (1) (s) L (cos(2t)) (s) = L (1 cos(2t)) (s). + 4) s s +4 4 4 4 eas L (f (t)) (s) = L (f (t a)h0 (t a)) (s) para cualquier a > 0. Por tanto, 1 e2s 1 = e2s L (1 cos(2t)) (s) = L ((1 cos(2(t 2))) h0 (t 2)) (s) 2 s (s + 4) 4 4 y es 1 1 = es L (1 cos(2t)) (s) = L ((1 cos(2(t 1))) h0 (t 1)) (s). 2 s (s + 4) 4 4 31

2s e2s 2es 1 1 2 e + . 2 e + 1 = s (s2 + 4) s (s2 + 4) s (s2 + 4) s (s2 + 4)

Ahora aplicamos que

Es decir, I (t) = 1 1 2 (1 cos(2t)) + ((1 cos(2(t 2))) h0 (t 2)) ((1 cos(2(t 1))) h0 (t 1)) 4 4 4 1 si 0 < t < 1, 4 (1 cos(2t)) 1 2 (1 cos(2 t )) (1 cos(2( t 1))) si 1 < t < 2, = 4 4 1 1 2 (1 cos(2t)) + 4 (1 cos(2(t 2))) 4 (1 cos(2(t 1))) si t > 2. 4 1 cos(2t) si 0 < t < 1, 1 1 cos(2t) + 2 cos(2(t 1)) si 1 < t < 2, = 4 cos(2t) cos(2(t 2)) + 2 cos(2(t 1)) si t > 2. Z + f (t) (s) = L (f (t)) ( )d . L t s Indicacin: usa el teorema de Fubini. 1 (2) Calcula la transformada de Laplace de la funcin g (t) = (1 cos(2t)) para t > 0. t R + Solucin. (1) Recordemos que L (f (t)) ( ) = 0 f (t)et dt. Por tanto, Z
+ s t0

Cuestin.(1) Sea f : [0, +) R una funcin tal que lim +

f (t) R. Comprueba que t

L (f (t)) ( )d = = = =

f (t)e dt d = [Por el Teorema de Fubini] s 0 Z + Z + Z + Z + t t f (t)e d dt = f (t) e d dt 0 s 0 s =+ Z + Z + 1 t 1 1 ts dt f (t) dt = f (t) e 0+ e t t t 0 0 =s Z + f (t) ts f (t) e dt = L (s). t t 0
t

+ Z +

(2) Aplicaremos el primer apartado de la cuestin a la funcin f (t) = 1 cos(2t). Observemos que f (t) 1 cos(2t) 2sen(2t) = lim = [LHpital] = lim = 0. lim + + + t0 t0 t0 t t 1 Adems, 1 L (f (t)) ( ) = L (1) ( ) L (cos(2t)) ( ) = 2 . +4

32

De esta forma, Z + Z + f (t) 1 L (s) = 2 d L (f (t)) ( )d = t +4 s s Z R R 2 1 1 = lim 2 d = lim log log + 4 R+ s R+ +4 2 s 1 1 = lim log R log s log R2 + 4 + log s2 + 4 R+ 2 2 " # s2 + 4 s2 + 4 R = log . = lim log + log R+ s s R2 + 4

33

4. Leccin 4: Anlisis de Fourier.


Cuestin. A) Obtenga el desarrollo en serie de Fourier de la funcin par y 2 -peridica que toma los valores 0, si 0 < t < /2, f (t) = 1, si /2 < t < .
X (1)k B) Usando el apartado anterior, calcule la suma de la serie k=0

1 . 2k + 1

Solucin. A) Recordemos que dada una funcin f : R R continua a trozos y peridica de perodo T su serie de Fourier viene dada por
X 1 f (t) a0 + [an cos(nt) + bn sen (nt)] , 2 n=1

donde = 2/T y los coecientes de Fourier de f son los nmeros denidos por Z 2 T f (t) cos(nt) dt para n = 0, 1, 2 . . . , an = T 0 y Z 2 T bn = f (t)sen (nt) dt para n = 1, 2, . . . T 0 En nuestro caso T = 2 y, por tanto, = 1. Adems, puesto que f es una funcin par, tenemos que bn = 0 y, para n = 0, 1, 2 . . . , Z 2 Z 2 1 f (t) cos(nt) dt = f (t) cos(nt) dt an = 2 0 Z Z 2 2 f (t) cos(nt) dt = cos(nt) dt. = 0 /2 Si n = 0, entonces a0 = 2 R dt = 1 y si n > 0 entonces /2 Z 2 2 an = cos(nt) dt = sen (n ). /2 n 2

) = 0 y an = 0. Por otro lado, si n es impar, digamos n = 2k 1, Si n es par, entonces sen (n 2 entonces 2 2 an = sen (n ) = (1)k+1 . n 2 (2k 1) Por tanto, la serie de Fourier de f es
X 1 X 1 X 1 a0 + + [an cos(nt) + bn sen (nt)] = an cos(nt) = + a2k1 cos((2k 1)t) 2 2 2 n=1 n=1 k=1

2 1 X (1)k+1 cos((2k 1)t). = 2 k=1 (2k 1)

34

B) Puesto que la funcin f verica las condiciones de Dirichlet, le podemos aplicar el siguiente resultado: Teorema de convergencia de Dirichlet . Sea f : R R una funcin peridica de perodo T que satisface las condiciones de Dirichlet y sea
X 1 f (t) a0 + [an cos(nt) + bn sen (nt)] , 2 n=1

con = 2/T , su serie de Fourier. (1) Si f es continua en un punto t, entonces la serie de Fourier converge en ese punto a f (t), o sea, X 1 a0 + [an cos(nt) + bn sen (nt)] = f (t). 2 n=1 (2) Si f tiene una discontinuad de salto en un punto t, entonces la serie de Fourier converge en ese punto al punto medio del salto, o sea,
X 1 f (t ) + f (t+ ) a0 + , [an cos(nt) + bn sen (nt)] = 2 2 n=1

donde, como es habitual, f (t ) = lim 0, >0 f (t ) indica el lmite de f en t por la izquierda y f (t+ ) = lim 0, >0 f (t + ) indica el lmite de f en t por la derecha. Puesto que f es continua en cero y f (0) = 0, tenemos que 1 2X 1 0 = f (0) = (1)k+1 cos(0). 2 k=1 2k 1

Por tanto,

1 (1)k+1 = . k=1 2k 1 4 Cuestin. (1) Sea f (t) la funcin cuya transformada de Fourier es F (w) = 1+w . 1 + |w |3

Determina, de forma razonada, la transformada de Fourier de la funcin g (t) = e3tj f 0 (2t). (2) Enuncia las propiedades que hayas utilizado en el apartado anterior sobre la transformada de Fourier. Solucin. (1) Teniendo en cuenta las propiedades de la transormada de Fourier tenemos que (en la igualdad hemos indicado la propiedad que estamos usando segn el listado del apatado segundo de la cuestin) +3 (1) (2) 1 3tj 0 0 0 F{g (t)} () = F{e f (2t)} ( ) = F{f (2t)} ( + 3) = F{f (t)} 2 2 +3 1+ 2 ( + 3)( + 5) +3 +3 1 +3 (3) 1 = j . F{f (t)} = j +3 3 = j 2 2 2 2 2 8 + | + 3|3 1+| 2 | 35

(2) En el apartado anterior, hemos usado las siguientes propiedades de la transformeda de Fourier: Desplazamiento, o traslacin, en el dominio de la frecuencia. Si 0 es un nmero real entonces la transformada de Fourier de ej0 t f (t) es F ( 0 ). O sea, F{ej0 t f (t)} () = F{f }( 0 ). Escalado en el dominio del tiempo. La transformada de Fourier de f (at) viene dada por es decir F{f (at)} () = 1 F{f } (/a) . |a| (1) F (/a) ; |a| (2)

Derivacin en el tiempo. Si tanto f (t) como f 0 (t) verican las condiciones de Dirichlet, se verica que la transformada de Fourier de la derivada f 0 (t) de una funcin derivable f (t) es (j)F ( ). Es decir, F{f 0 } ( ) = (j)F{f } ( ) . (3) Cuestin. La transformada de Fourier de tres funciones y, g y r estn dadas por Y (w), G(w) y R(w). Comprueba que si y (t) verica las condiciones de Dirichlet para la integral de Fourier y es solucin de la ecuacin integral Z y (t) = g (t) + y (u)r(t u)du

entonces

1 y (t) = 2 R

G(w) jwt e dw. 1 R(w)

Solucin. Observemos que y r. Es decir,

Adems, recordemos que la transformada de Fourier de un producto de convolucin es el producto de las transformadas. Por tanto, F{y r}(w) = Y (w)R(w). De esta forma, R si aplicamos la transformada de Fourier a ambos trminos de la ecuacin y (t) = g (t) + y (u)r(t u)du G(w) concluimos que Y (w) = G(w) + Y (w)R(w). Despejando tenemos que Y (w) = . Puesto 1 R(w) que y cumple las condiciones de Dirichlet para la integral de Fourier, podemos aplicar el teorema de convergencia de la integral de Fourier que, en particular, nos permite tomar la transformada inversa de Y (w) para concluir que Z 1 G(w) jwt y (t) = e dw. 2 1 R(w) Cuestin. Sea f (t) la funcin denida por f (t) = t para 0 t < 1 y extendida peridicamente a toda la recta real. 36

y (u)r(t u)du es el producto de convolucin de las funciones y Z y (u)r(t u)du. (y r)(t) =

Solucin. (a) La forma compleja de la serie de Fourier de una funcin T-peridica es f (t)
X

a. Calcula la forma compleja de la serie de Fourier de f y dibuja la funcin a la que converge dicha serie en el intervalo [2, 2]. P b. Aplica la forma compleja de la igualdad de Parseval para deducir el valor de n2 .
n=1

cn ejnt ,

n=

donde = 2/T y los coecientes de Fourier cn vienen dados por Z 1 T f (t)ejnt dt para n = 0, 1, 2, ... cn = T 0 En nuestro caso T = 1, con lo que = 2 , y los coecientes son Z 1 1 c0 = tdt = 2 0 y, para n 6= 0, integrando por partes tenemos Z 1 j cn = . tejn2t dt = 2n 0 Puesto que la funcin verica las condiciones de Dirichlet, la serie de Fourier converge a f en los puntos de continuidad y al punto medio del salto en los puntos de discontinuidad. La grca de la suma de la serie ser
1.5

0.5

0.5

1.5

0.5

0.5

1.5

(b) La forma compleja de la igualdad de Parseval nos dice que Z X 1 T 2 2 [f (t)] dt = |c0 | + 2 |cn |2 T 0 n=1 que aplicado a nuestro caso da lugar a la igualdad
X 1 1 1 = +2 . 22 3 4 4 n n=0

37

Por tanto

y, en consecuencia,

1 1 1 1 X 1 = = 2 2 2 n=0 n 3 4 12 X 1 2 . = 2 n 6 n=0

Cuestin. a) Calcula la serie de Fourier de la funcin 2-peridica 0 si 1 < t < 0, f (t) = sen(t) si 0 < t < 1. b) Calcula la suma de la serie de Fourier obtenida en el apartado anterior. Razona la respuesta. c) Explica en qu consiste el fenmeno de Gibbs. Solucin. a) La funcin f tiene perodo T = 2 y, por tanto, frecuencia = . Su serie de Fourier viene dada por X 1 [an cos(nt) + bn sen (nt)] , a0 + 2 n=0 para n = 0, 1, 2 . . . ,

siendo an y bn sus coecientes de Fourier dados por Z Z 1 2 1 f (t) cos(nt) dt = sen(t) cos(nt) dt an = 2 1 0 y Z Z 1 2 1 f (t)sen (nt) dt = sen(t)sen (nt) dt bn = 2 1 0

para n = 1, 2, . . .

(sen( + ) + sen( )) tenemos que Puesto que sen() cos( ) = 1 2 Z 1 Z 1 1 an = sen(t) cos(nt) dt = (sen( (n + 1)t) + sen( (1 n)t)) dt. 2 0 0 R1 2 sen(2t) dt = 0 y para n > 1 As a0 = , a1 = 1 2 0 t=1 1 1 1 cos( (n + 1)t) cos( (1 n)t) an = 2 (n + 1) (1 n) t=0 1 1 1 1 1 = cos( (n + 1)) cos( (1 n)) + + 2 (n + 1) (1 n) (n + 1) (1 n) (1)n+1 (1)1n 1 1 1 + + . = 2 (n + 1) (1 n) (n + 1) (1 n) As an = 0 si n es impar y an =
1 2

(cos( ) cos( + )) y Z Z 1 1 1 bn = sen(t)sen (nt) dt = (cos( (1 n)t) + cos( (1 + n)t)) dt. 2 0 0 38

2 si n es par. Anlogamente, sen()sen( ) = (1 n2 )

As b1 =

1 2

y para n > 1 t=1 1 1 1 bn = sen( (1 n)t) + sen( (1 + n)t) = 0. 2 (1 n) (1 + n) t=0

b) Puesto que la funcin f verica las condiciones de Dirichlet para las series de Fourier y es continua en todo R, tenemos que la suma de la serie de Fourier es la propia funcin. Es decir,
X 1 f (t) = a0 + [an cos(nt) + bn sen (nt)] , 2 n=0

para todo t en R. c) El teorema de Dirichlet nos dice que, en los puntos de discontinuidad, la grca de la suma de la serie de Fourier pasa por el punto medio del salto. Si se dibujan las sumas parciales se ve que en las cercanas de los puntos de discontinuidad se reduce la velocidad de convergencia de la serie y que la grca de la suma parcial oscila alrededor de la grca de la funcin. Cuando se aumenta el nmero de trminos, las oscilaciones se condensan a ambos lados del punto pero su amplitud no decrece. Esto se conoce como el fenmeno de Gibbs. La oscilacin a cada lado de la grca de la funcin tiende a ser aproximadamente 0.9 veces el tamao del salto. Cuestin. Sean f y g dos funciones que cumplen las condiciones de Dirichlet para la integral de Fourier. Demuestra que la transformada de Fourier de f g es el producto de las transformadas de f y g. Cuestin. Halla la serie de Fourier de la funcin 2 -peridica dada por f (t) = et para t [, ) y sala para calcular la suma de las series
X n=0

1 , 1 + n2

X (1)n . 2 1 + n n=0

Solucin. La serie de Fourier compleja de una funcin T -peridica f es una serie de la forma f (t) donde =
2 T n = X

cn ejnt

n=

denota la frecuencia y los coecientes vienen dados por 1 cn = T Z


T /2

f (t)ejnt dt,
T /2

n = 0, 1, 2, ...

En nuestro caso = 1, y los coecientes de Fourier son 1 cn = 2 Z

ee

t jnt

1 dt = 2

(1jn)t

t= 1 e(1jn)t (1)n (e e ) dt = = . 2 1 jn t= 2(1 jn) 39

Sustituyendo en la expresin anterior nos da la serie f (t) (1)n (e e ) jnt e . 2 (1 jn) n=


n = X

A continuacin, vamos a usarla para sumar las dos series del enunciado. Recordemos que si f es continua en t, entonces la suma de la anterior serie es f (t) y que si f tiene una discontinuidad de salto en t, entonces la suma de la serie es el valor medio del salto. Aplicamos a continuacin este resultado: Si tomamos t = 0, teniendo en cuenta que f es continua en el origen, se verica que
n = X (1)n (e e ) (1)n (e e ) 1 + jn f (0) = 1 = = 2(1 jn) 2 (1 jn) 1 + jn n= n= n = X

(1)n (e e ) (1 + jn). 2 (1 + n2 ) n=

n = X

Identicando las partes reales se tiene que (1)n (e e ) (e e ) 1= = 2 (1 + n2 ) 2 n= de donde, despejando, obtenemos
n = X n=0 n = X

1+2

n = X n=1

(1)n 1 + n2

(1)n 1 = + . 2 1+n 2 e e

Si tomamos t = , y teniendo en cuenta que f tiene una discontinuidad de salto en dicho punto, se verica que
n = n = X X e + e e e e e 1 + jn f (+ ) + f ( ) = = = 2 2 2 (1 jn) n= 2 (1 jn) 1 + jn n=

e e (1 + jn). 2(1 + n2 ) n=

n = X

Procediendo como en el caso anterior, es decir, tomando partes reales y despejando, llegamos a la expresin n = X 1 e + e 1 . 1+ = 2 1 + n 2 e e n=0 Cuestin. Sea f una funcin cuya transformada de Fourier viene dada por F (w) = 1+w . 1 + |w|4 Considera la funcin g(t) = ej 3t f 0 (2t). Calcula de forma razonada y enunciando las propiedades que utilices la transformada de Fourier de la funcin g. 40

Solucin. Las propiedades que vamos a utilizar de la transformada de Fourier son las siguientes: 1a ) Propiedad de traslacin en el dominio de la frecuencia: F ej0 t f (t) () = F {f (t)} ( 0 ). F {f 0 (t)} () = jF {f (t)} (). 3a ) Propiedad de escalado en el tiempo: para a 6= 0, F {f (at)} () = F {f (t)} . |a| a

2a ) Propiedad de derivacin en el dominio del tiempo:

Aplicando adecuadamente estas tres propiedades tenemos que j 3t 0 1 +3 0 0 F e f (2t) ( ) = F {f (2t)} ( + 3) = F {f (t)} 2 2 1 + +3 1 +3 +3 +3 2 = j F {f (t)} =j +3 4 2 2 2 4 1+
2

2( + 3)( + 5) = j . 16 + | + 3|4

Cuestin. Calcula la transformada de Fourier de cada una de las siguientes funciones f (t) = e|t| , g(t) = te|t| y h(t) = 4t . (1 + t2 )2

Solucin. Para calcular la transformada de Fourier de f usaremos la denicin de dicha transformada, es decir F () =
+ Z 0 Z

f (t)ejt dt =

+ Z

e|t| ejt dt =

= =

(1j )t

dt +

+ Z 0

0 Z

et ejt dt + t=0

+ Z 0

et ejt dt t=+
t=0

(1+j)t

e(1j)t dt = 1 j

e(1+j)t + (1 + j) t=

1 2 1 + = 2 . 1 j 1 + j +1

Para calcular la transformada de Fourier de la funcin g usaremos la siguiente propiedad F{(jt)n f (t)}() = 41 dn F ( ). d n

En nuestro caso d F{(jt)f (t)}( ) = j F{tf (t)}( ) = d y por tanto G( ) =


4 j. ( 2 +1)2

2 2 +1

4 ( 2 + 1)2

Por ltimo para calcular la transformada de Fourier de la funcin h aplicaremos la propiedad de dualidad, que dice que F{F{f (t)}}() = 2f ( ). y obtenemos que F{h(t)}( ) = F 4t (1 + t2 )2 ( ) = j F{G(t)}( ) = 2jg () = 2je|| .

Problema. Considera la funcin f : R R que es 2-peridica y que toma los valores sen (4x) < x 0; f (x) = 1 + sen (4x) 0 < x . a) Dibuja la grca de f en el intervalo [, 3 ]. b) Calcula el desarrollo en serie de Fourier de la funcin f. c) Calcula la suma de la serie de Fourier. Es igual que f en toda la recta real? Justica la respuesta.
X

d) Usando la igualdad de Parseval con la funcin anterior, calcula la suma de la serie 1 . (2k + 1)2 k=0

Solucin. a)
Grfica de f 2

1.5

f(t)

0.5

0.5

1 4

2 t

10

42

b) Puesto que la funcin tiene perodo 2, su frencuencia es igual 1. Por tanto, su desarrollo en serie de Fourier viene dado por
X 1 f (t) a0 + [an cos(nt) + bn sen (nt)] , 2 n=1

siendo y

2 an = 2

f (t) cos(nt) dt

para n = 0, 1, 2 . . . ,

2 bn = 2

f (t)sen (nt) dt

para n = 1, 2, . . .

Para calcular estos coecientes tenemos que calcular integrales indenidas de la forma Z Z sen (4t) cos(nt) dt y sen (4t)sen (nt) dt. Para ello tenemos dos caminos: podemos usar concocidas identidades trigonomtricas o utilizar las expresiones de las funciones seno y coseno en trminos de la exponencial compleja. Nosotros hemos optado por la primera opcin. Concretamente recordemos que si y son dos nmeros reales entonces 1 sen ()sen ( ) = (cos( ) cos( + )) . 2 De esta forma, si n es un nmero natural impar tenemos que Z Z Z 1 1 1 bn = f (t)sen (nt) dt = sen (4t)sen (nt) dt + sen (nt) dt 0 Z Z 1 1 (cos((4 n)t) cos((4 + n)t) dt + sen (nt) dt = 2 0 t= 1 1 1 1 2 = = sen ((4 n)t) sen ((4 + n)t) [cos(nt)]t . + t=0 = 2 4 n 4+n n n t= Ntese que hemos usado que n es impar dos veces: en primer lugar para poder dividir por n 4 y posteriormente cuando hemos puesto que cos(n) = 1. Las otras integrales se hacen con la misma facilidad a0 an b4 bn bn = = = = 1, 0 para n > 0, 1, 0 para n par y n 6= 4, 2 = para n impar. n

Es decir, la serie de Fourier viene dada por 2X 1 1 sen ((2k + 1)t). f (t) + sen (4t) + 2 k=0 2k + 1 43

c) La funcin f cumple las condiciones de Dirichlet. Por tanto, en los puntos donde f es continua se tiene que la suma de la serie de Fourier coincide con f (t). Por otro lado, en los puntos donde f tiene una discontinuidad de salto, la suma de la serie de Fourier coincide con el valor medio del salto. En nuestro caso, f no es continua en los puntos de la forma k con k un nmero entero. Si k es par, entonces el lmite de f por la izquierda en k es cero y por la derecha es 1 (vase la grca del apartado a)). Por el contrario, si k es impar entonces el lmite de f por la izquierda en k es uno y por la derecha es cero. En cualquier caso, el valor medio del salto es 1/2. De esta forma tenemos que 1 2X 1 1/2 si t = k con k Z, . + sen (4t) + sen ((2k + 1)t) = f ( t ) en otro caso. 2 k=0 2k + 1 d) La igualdad de Parseval arma que 1 2 Z 1 1 X 2 2 [f (t)] dt = a2 + + b a n . 4 0 2 n=1 n
2

Como ya tenemos calculados todos los coecientes, para poder aplicarla ser suciente con calcular la integral: Z Z Z Z 2 2 [f (t)] dt = sen (4t) dt + dt + 2 sen (4t) dt = 2.
0 0

Por tanto,

Simplicando, concluimos que

2 1 1 1 1 1 4 X 2 = + + . 2 4 2 2 2 k=0 2k + 1
X k=0

1 2k + 1

2 . 8

Cuestin. Sea f la funcin denida por 0, f (t) = sen(t) y extendida peridicamente a todo R. (1) Determina la serie de Fourier de f.

si t 0, si 0 t <

(2) Para qu valores de t la suma de dicha serie coincide con el valor de f (t)? Justica la respuesta. Solucin. (1) La funcin dada es 2-peridica. Por tanto, tiene frecuencia = 1. De esta forma su serie de Fourier en forma compleja es
nX =+ n=

cn e

jnt

nX =+ n=

cn ejnt

44

siendo cn Z Z 1 1 jnt = f (t)e dt = sen(t)ejnt dt 2 2 0 Z jt e ejt jnt 1 e dt = 2 0 2j Z j (1n)t 1 ej (1+n)t dt. e = 4j 0

Si n 6= 1, entonces Z j (1n)t 1 1 1 1 j (1+n)t j (1n)t j (1+n)t e e e + e dt = cn = 4j 0 4j j (1 n) j (1 + n) 0 1 1 j (1+n) 1 1 1 j (1n) = + e e 4 1 n 1+n 1n 1+n 1 1 1 1 1 (1n) (1+n) + (1) (1) = 4 1 n 1+n 1n 1+n 2 1 1 2 1 n+1 = (1) (1)n+1 1 = 2 2 2 4 1n 1n 2 n 1 1 1 si n es par, n2 1 = 0 si n es impar. Si n = 1, tenemos que Z 1 1 2jt 1 2j 1 1 1 1 2j 0 1 2jt c1 = = t+ e + e = j = e 1e dt = 4j 0 4j 2j 4j 2j 2j 4j 4 0 y si n = 1, tenemos que Z 2jt 1 1 1 1 1 2j 0 1 2jt 1 2j 1 = = j. c1 = e t = e e e 1 dt = 4j 0 4j 2j 4j 2j 2j 4j 4 0

Observemos que todos los coecientes con subndice impar distinto de 1 son nulos y que c2k = 1 para cualquier k. Es decir, la serie de Fourier compleja es (4k2 1)
+ 1 X 1 1 jt j e ejt e2kjt . 2 4 k= 4k 1

Si queremos la serie de Fourier expresada en trminos de la funcin seno y coseno, recordemos que sta es X 1 [an cos(nt) + bn sen (nt)] f (t) a0 + 2 n=1 siendo an = 2 Re(cn ), bn = 2 Im(cn ). 45

Por tanto, a1 = 0, b1 = 1 , an = 0 para n impar mayor o igual que 3, a2k = 2 para n 2. Es decir, 1 2X 1 1 sen (t) + cos(2kt). 2 2 k=1 4k 1

2 y bn = 0 (4k2 1)

Otra forma alternativa de realizar los clculos es expresar la funcin exponencial en trminos de la funcin seno y coseno. En este caso tenemos que Z Z 1 1 jnt cn = f (t)e dt = sen(t)ejnt dt 2 2 0 Z 1 [sen(t) cos(nt) sen(t)sen(nt)j ] dt. = 2 0 Recordemos ahora que para cualesquiera x, y R, se tiene que sen(x) cos(y ) = 1 [sen(x + y ) + sen(x y )] , 2 1 [cos(x y ) cos(x + y )] . sen(x)sen(y ) = 2

Por tanto, 1 cn = 4 Z

([sen((n + 1)t) + sen((1 n)t)] [cos((1 n)t) cos((1 + n)t)] j ) dt.

Si n 6= 1, entonces 1 1 1 1 1 cos((n + 1)t) cos((1 n)t) sen((1 n)t) sen((n + 1)t) j cn = 4 n+1 1n 1n n+1 0 1 1 1 1 1 = cos((n + 1)) cos((1 n) ) + cos(0) + cos(0) 4 n+1 1n n+1 1n 1 1 1 1 1 1 n+1 n+1 n+1 (1) (1) + = ( 1) + 1 . = 4 n+1 1n n+1 1n 2 (n2 1) Adems tenemos que c1 = = c1 = = Z 1 ([sen(2t) + sen(0)] [cos(0) cos(2t)] j ) dt 4 0 1 1 1 1 cos(2t) tj + sen(2t)j = j, 4 2 2 4 0 Z 1 ([sen(0) + sen(2t)] [cos(2t) cos(0)] j ) dt 4 0 1 1 1 1 cos(2t) + tj sen(2t)j = j. 4 2 2 4 0

46

Otra alternativa para realizar esta parte de la cuestin es usar directamente las expresiones conocidas para los coecientes de Fourier an y bn dados por Z 2 T f (t) cos(nt)dt para n = 0, 1, 2, ... an = T 0 Z 2 T f (t)sen(nt)dt para n = 1, 2, ... bn = T 0 (2) La funcin f verica las condiciones de Dirichlet. Por tanto, le podemos aplicar el siguiente teorema: Teorema de convergencia de Dirichlet . Sea f : R R una funcin peridica de perodo T que satisface las condiciones de Dirichlet y sea
X 1 [an cos(nt) + bn sen (nt)] , f (t) a0 + 2 n=1

con = 2/T , su serie de Fourier. (1) Si f es continua en un punto t, entonces la serie de Fourier converge en ese punto a f (t), o sea, X 1 [an cos(nt) + bn sen (nt)] = f (t). a0 + 2 n=1 (2) Si f tiene una discontinuad de salto en un punto t, entonces la serie de Fourier converge en ese punto al punto medio del salto, o sea,
X 1 f (t ) + f (t+ ) [an cos(nt) + bn sen (nt)] = a0 + , 2 2 n=1

donde, como es habitual, f (t ) = f (t+ ) =


0, >0

lim f (t + ) indica el lmite de f en t por la derecha.

0, >0

lim f (t ) indica el lmite de f en t por la izquierda y

Puesto que f es continua en toda la recta real, tenemos que 1 2X 1 1 cos(2kt) f (t) = sen (t) + 2 k=1 4k2 1

para todo t R.

Cuestin. (1) Enuncia y demuestra la expresin que proporciona la trasformada de Fourier de f 0 en trminos de la transformada de Fourier de f. (2) Aplica el apartado anterior al problema de valor inicial y 0 + 2ty = 0 con y (0) = 1
2

para hallar la transformada de Fourier F (w) de la funcin f (t) = et sabiendo que F (0) = 47

Solucin. (1) Derivacin en el tiempo: Supongamos que f y f 0 verican las condiciones de Dirichlet para la integral de Fourier. La transformada de Fourier de la derivada f 0 (t) de una funcin derivable f (t) es (j)F (). Es decir, F{f 0 }() = j F{f }(). Para demostrar esta propiedad integraremos por partes como sigue: Z Z 0 0 jt jt t=R f (t)e dt = lim f (t)e f (t)(j )ejt dt F{f }( ) = t=R R + Z t = R f (t)ejt dt = lim f (t)ejt t=R + j
R+ R+

Adems, teniendo en cuenta que f verica las condiciones de Dirichlet, tenemos que
R+ t=R

t=R lim f (t)ejt t=R + jF{f }( ).

lim f (R) = lim f (R) = 0.


R+

Por tanto, lim [f (t)ejt ]t=R = 0 y concluimos que F{f 0 }() = j F{f }().
R+

(2) Para simplicar la notacin llamaremos F ( ) a la transformada de Fourier de la funcin 2 f (t) = et . Observemos que f (t) = et es solucin de la ecuacin diferencial, es decir, f 0 (t) + 2tf (t) = 0. Por tanto, F{f 0 }( ) + 2F{tf 0 (t)}() = 0. Por el apartado anterior, tenemos que F{f 0 }( ) = jF{f }( ) = jF (). Adems, sabemos que F{tf 0 (t)}() = jF 0 ( ). Por tanto, jF ( ) + 2jF 0 ( ) = 0. Es decir, F ( ) + 2F 0 () = 0. De esta forma, tenemos que F 0 ( ) 1 = . F ( ) 2 Integrando esta ecuacin, obtenemos que F () = ce 4 . Puesto que F (0) = 1 2 que F ( ) = e 4 .
1 2 2

= c, tenemos

48

5. Leccin 5: Anlisis Discreto de Fourier.


Cuestin. (1) Enuncia el teorema de Duplicacin y aplcalo para calcular la transformada discreta de Fourier del vector y = [1, 0, 2, 1]t . (2) Prueba que si el vector y es real y de dimensin par N = 2M , entonces las coordenadas de = DF T (y ) verican: 0 , M R y n = N n para n = 1, 2, ..., M 1.

Solucin. (1) Teorema de Duplicacin. Dado el vector y = (y0 , y1 , . . . , yN 1 )T de dimensin N = 2M , sean y 0 = (y0 , y2 , . . . , yN 2 )T , y 00 = (y1 , y3 , . . . , yN 1 )T , donde la T denota el vector transpuesto. Si las transformadas discretas de Fourier de y 0 e y 00 son, respectivamente, 0 = DF T (y 0 ) = ( 00 , 01 , . . . , 0M 1 )T , 00 00 T 00 = DF T (y 00 ) = ( 00 0 , 1 , . . . , M 1 ) , entonces las componentes de la transformada discreta de Fourier de y , = DF T (y ), pueden obtenerse de la siguiente manera: para n = 0, 1, . . . , M 1 n n = 0n + 00 , n wN 0 00 n M +n = n n wN ,

donde wN = exp(j 2/N ) es la raz primitiva N -sima de la unidad.

Vamos a calcular ahora la transformada discreta de Fourier de y = [1, 0, 2, 1]t aplicando este teorema repetidas veces. Llamemos y 0 = [1, 2]t e y 00 = [0, 1]t . Tenemos que N = 4 y M = 2. Por tanto, 0 = DF T (y 0 ) = 00 T y 00 = DF T (y 00 ) = ( 00 0 , 1 ) . Para calcular estas dos transformadas discretas de Fourier, aplicamos de nuevo dos veces el teorema de duplicacin a los vectores y 0 = [1, 2]t e y 00 = [0, 1]t para obtener 0 y 00 . En primer lugar,llamando u = y 0 tenemos que la descomposicin es u0 = [1] y u00 = [2] cuyas transformadas discretas de Fourier son respectivamente 0 = DF T (u0 ) = [1] y 00 = DF T (u00 ) = [2], as que tomando N = 2, M = 1, w2 = exp(j 2/2) = 1 y 0 = = DF T (u) = [ 0 , 1 ] tenemos 0 = 1 + 2 = 3 y 1 = 1 2 = 1. Es decir, 0 = = DF T (u) = [3, 1]t . Anlogamente para obtener la transformada de v = y 00 tenemos que la descomposicin es v0 = [0] y v00 = [1] cuyas transformadas discretas de Fourier son respectivamente 0 = DF T (v0 ) = [0] y 00 = DF T (v 00 ) = [1], as que tomando N = 2, M = 1, w2 = exp(j 2/2) = 1 y 00 = = DF T (v) = [ 0 , 1 ]t tenemos 0 = 0 + 1 = 1 y 1 = 0 1 = 1. Es decir, 00 = = DF T (v) = [1, 1]t . ( 00 , 01 )T Estamos ya en condiciones de clacular . Tenemos que w4 = (j 2/4) = j y 0 1 2 3 = = = =
0 00 0 00 + 00 0 w4 = 0 + 0 = 4, 0 00 1 1 01 + 00 = 1 + j, 1 w4 = 1 + 1 j 0 00 0 0 2+0 = 0 0 w4 = 0 00 0 = 2, 0 00 1 0 1 2+1 = 1 1 w4 = 1 00 = 1 j. 1j

49

(2) Supongamos que y = (y0 , y1 , . . . , yN 1 )t es un vector de dimensin par N = 2M y llamemos = ( 0 , 1 , . . . , N 1 )t = DF T (y ). Puesto que n =
N 1 P k=0 nk wN yk

para n = 0, 1, ..., N 1 y wN = exp(j 2/N ) tenemos que 0 = M = = N n =


N 1 P k=0 N 1 P k=0 N 1 P k=0 N 1 P k=0 0k wN yk = N 1 P k=0 N 1 P k=0

yk R,
M k (wN ) yk = N 1 P k=0 N 1 P k=0

Mk wN yk =

(exp(j 2M/2M ))k yk

(exp(j ))k yk = wN
(N n)k

(1)k yk R, yk =
N 1 P k=0 N k nk wN wN yk = N 1 P k=0 nk wN yk = n ,

yk =

N donde en la penltima igualdad hemos usado que wN = 1.

N 1 P k=0

wN

(N n)k

Cuestin. a. Comprueba que las columnas de la matriz de Fourier FN son ortogonales dos a dos y tienen norma igual a N . b. Usa la Transformada Discreta de Fourier para aproximar el valor de la transformada de Fourier de la seal 0 si t < 0 f (t) = 4 t te si t 0,

en las frecuencias = 0, 1, 2 y 3.

Solucin. (b). Recordemos que si f : R R es una funcin que satisface las condiciones de Dirichlet para la integral de Fourier su transformada de Fourier viene dada por Z F ( ) = f ( )ej d .

Si f es una seal causal, entonces se tiene que F () = Si llamamos y0 = f (0), y1 = f (T ), y2 = f (2T ), . . . , yk = f (kT ), . . . , yN 1 = f ((N 1)T ). y trabajamos con las frecuencias 0 = 0, 1 = 2 4 2n 2(N 1) , 2 = , . . . , n = , . . . , N 1 = , NT NT NT NT 50 Z

f ( )e

N 1 X k=0

f (kT )e

jkT

T =T

N 1 X k=0

yk ejkT .

entonces para cada n = 0, 1, 2, . . . , N 1 tenemos F ( n ) T Es decir, (F ( 0 ), F ( 1 ), . . . , F (N 1 )) T DF T (f (0), f (T ), f (2T ), . . . , f (2(N 1)T )) . En nuestro caso, tenemos que = 0, 1, 2 y 3. Por tanto, N = 4 y T = /2. De esta forma, DF T (f (0), f (/2), f ( ), f (3/2))T 2 " #T 4 4 3 3 F4 0, , 4 exp ( ) , = exp exp 2 2 2 2 2 0 1 1 1 1 4 1 j 1 j exp 2 2 = 4 1 1 exp () 2 1 1 3 4 1 j 1 j exp 32 2 14.07 6.61 + 6.14j . 4.98 6.61 6.14j
N 1 X k=0

yk e

j n kT

=T

N 1 X k=0

yk e

j 2nk

=T

N 1 X k=0

nk yk wN .

(F ( 0 ), F ( 1 ), F ( 2 ), F ( 3 ))T

Cuestin. A) Enuncia el Teorema de Duplicacin. B) Usando el teorema de duplicacin, calcula la transformada discreta de Fourier del vector v = [3, 1, 0, 1]t . Solucin. A) Teorema de Duplicacin. Dado el vector y = [y0 , y1 , . . . , yN 1 ]T de dimensin N = 2M , sean y 0 = [y0 , y2 , . . . , yN 2 ]T , y 00 = [y1 , y3 , . . . , yN 1 ]T , donde la T denota el vector transpuesto. Si las transformadas discretas de Fourier de y 0 e y 00 son, respectivamente, 0 = DF T (y 0 ) = [ 00 , 01 , . . . , 0M 1 ]T , 00 00 T 00 = DF T (y 00 ) = [ 00 0 , 1 , . . . , M 1 ] , entonces las componentes de la transformada discreta de Fourier de y , = DF T (y ), pueden obtenerse de la siguiente manera: para n = 0, 1, . . . , M 1
n n = 0n + 00 n wN , n M +n = 0n 00 n wN ,

51

donde wN = exp(j 2/N ) es la raz primitiva N -sima de la unidad. B) En nuestro ejemplo tenemos que N = 4 (es decir, M = 2), w4 = exp(j 2/4) = j y el vector y = [y0 , y1 , y2 , y3 ]T = [3, 1, 0, 1]t . Por tanto, y 0 = [3, 0]T e y 00 = [1, 1]T . Tenemos que calcular ahora la transformada discreta de Fourier de estos dos vectores. Para ello podemos optar otra vez por 1 1 aplicar el teorema de duplicacin o simplemente usar que la matriz de Fourier F2 = 1 1 y as se verica que 0 = DF T (y 0 ) = [ 00 , 01 ]T = F2 y 0 = [3, 3]T , 00 T 00 T 00 = DF T (y 00 ) = [ 00 0 , 1 ] = F2 y = [2, 0] . Tenemos que 0 1 2 3 Es decir, DF T (y ) = [5, 3, 1, 3]T . Cuestin. (1) Enuncia el teorema de Duplicacin. (2) Usa el teorema de Duplicacin para calcular la transformada discreta de Fourier del vector [1, j, 0, 0]T . Solucin. (1) Teorema de Duplicacin. Dado el vector y = (y0 , y1 , . . . , yN 1 )T de dimensin N = 2M , sean y 0 = (y0 , y2 , . . . , yN 2 )T , y 00 = (y1 , y3 , . . . , yN 1 )T , donde la T denota el vector transpuesto. Si las transformadas discretas de Fourier de y 0 e y 00 son, respectivamente, 0 = DF T (y 0 ) = ( 00 , 01 , . . . , 0M 1 )T , 00 00 T 00 = DF T (y 00 ) = ( 00 0 , 1 , . . . , M 1 ) , entonces las componentes de la transformada discreta de Fourier de y , = DF T (y ), pueden obtenerse de la siguiente manera: para n = 0, 1, . . . , M 1 n , n = 0n + 00 n wN 0 n , M +n = n 00 n wN = = = =
0 00 + 00 0 w4 = 5, 1 01 + 00 1 w4 = 3, 0 2+0 = 00 00 0 w4 = 1, 1 2+1 = 01 00 1 w4 = 3.

donde wN = exp(j 2/N ) es la raz primitiva N -sima de la unidad.

(2) Usaremos la notacin introducida en el apartado (1) de la cuestin. Observemos que en nuestro caso, N = 4, M = 2, w4 = exp(j 2/4) = exp(j/2) = j, y 0 = [1, 0]T e y 00 = [j, 0]T = 52

j [1, 0]T . Por tanto, tenemos que calcular 0 = DF T (y 0 ) y 00 = DF T (y 00 ) : 1 1 1 1 0 0 , = = DF T (y ) = 1 0 1 w2 j j 1 1 00 00 . = DF T (y ) = = j 0 1 w2


00 De esta forma tenemos que 00 = 01 = 1 y 00 0 = 1 = j. Por consiguiente,

0 1 2 3 Es decir,

= = = =

0 00 + 00 0 w4 = 1 + j, 1 1 01 + 00 = 2, 1 w4 = 1 + jj 0 00 0 M +0 = 0 0 w4 = 1 j, 1 1 M +1 = 01 00 = 0. 1 w4 = 1 jj

DF T (y ) = [1 + j, 2, 1 j, 0]T.

53

6. Leccin 6: Ecuaciones en Derivadas Parciales.


Problema. Calcula la solucin de la siguiente ecuacin en derivadas parciales uxx = utt + ux + ut , 0 < x < 1, u(0, t) = u(1, t) = 0, t > 0, u(x, 0) = ex/2 sen2 (x), 0 < x < 1. ut (x, 0) = 0, 0 < x < 1. Solucin. Vamos a resolverla utilizando el mtodo de separacin de variables. Como sabemos, este mtodo requiere en primer lugar obtener todas las soluciones no nulas de la forma u(x, t) = v(x)z (t). Sustituyendo en la ecuacin obtenemos v00 (x)z (t) = v(x)z 00 (t) + v0 (x)z (t) + v(x)z 0 (t) v00 (x) v 0 (x) z 00 (t) + z 0 (t) = . v(x) z (t) Como el miembro derecho de esta ecuacin es funcin slo de la variable t y el izquierdo lo es slo de la variable x, ambos deben ser constantes. Si denotamos por al valor de esa constante, la ecuacin se desdobla en sendas ecuaciones diferenciales de segundo orden para v(x) y z (t) : v00 (x) v 0 (x) + v(x) = 0 y z 00 (t) + z 0 (t) + z (t) = 0. Ahora imponemos las soluciones de contorno u(0, t) = v(0)z (t) = 0 y u(1, t) = v(1)z (t) = 0, ut (x, 0) = v (x)z 0 (0) = 0, Empezamos resolviendo el problema v 00 (x) v0 (x) + v(x) = 0 con v (0) = v(1) = 0. 1 1 4 2 . La ecuacin auxiliar es m m + = 0, cuyas races son m = 2 Haciendo un estudio de las soluciones, se puede comprobar que la nica situacin que no da lugar a la solucin nula es 1 4 < 0, es decir > 1 , en cuyo caso las solucines que se obtienen 4 son 1 + 4n2 2 n = , n = 1, 2, ... y vn = ex/2 sin(nx). 4 Al sustituir estos valores de en la ecuacin que verica z (t), sta nos queda z 00 (t) + z 0 (t) + 1 + 4n2 2 z (t) = 0 con z 0 (0) = 0 4 54 0 < x < 1. t > 0, y, por tanto, t > 0,

Como buscamos soluciones no nulas, debe ocurrir que v(0) = v (1) = 0 y z 0 (0) = 0.

1 + 4n2 2 = 0 y cuyas races son m = 1 nj , que junto 2 4 0 a la condicin z (0) = 0 nos da las soluciones i h n t/2 cos(nt) + sin(nt) . zn (t) = cn e 2 cuya ecuacin auxiliar es m2 + m + Hasta aqu, el mtodo de separacin de variables nos ha proporcionado una coleccin de soluciones h n i (x+t)/2 un (x, t) = cn e sin(nx) cos(nt) + sin(nt) n = 1, 2, ... 2

que verica la ecuacin diferencial uxx = utt + ux + ut y las condiciones u(0, t) = u(1, t) = 0, t > 0,y ut (x, 0) = 0, 0 < x < 1. Con estas soluciones podemos construir una solucin de la forma u(x, t) =
X

i h n cos(nt) + sin(nt) cn e(x+t)/2 sin(nx) 2 n=1

2 Tras hacer el clculo de los de Fourier de la funcin sin (x), concluimos que cn = 0 coecientes 1 2 4 para n impar. para n par y cn = 2 n n 4 n2

que sigue vericando las mismas condiciones homogneas y a la que ahora tenemos que imponer la condicin X cn n x/2 e sin(nx) = ex/2 sin2 (x). u(x, 0) = 2 n=1

Cuestin. Calcula la solucin de la siguiente ecuacin en derivadas parciales ut = uxx + u, 0 < x < , t > 0, ux (0, t) = ux (, t) = 0, t > 0, u(x, 0) = 1 + cos2 (x), 0 < x < .

Solucin. Vamos a resolverla utilizando el mtodo de separacin de variables. Como sabemos, este mtodo requiere en primer lugar obtener todas las soluciones de la forma u(x, t) = v (x)z (t). Sustituyendo en la ecuacin obtenemos v(x)z 0 (t) = v00 (t)z (t) + v (x)z (t) = [v00 (x) + v(x)]z (t) y, por tanto, v00 (x) z 0 (t) = 1. v (x) z (t)

Como el miembro derecho de esta ecuacin es funcin slo de la variable t y el izquierdo lo es slo de la variable x, ambos deben ser constantes. Si denotamos por al valor de esa constante, la ecuacin se desdobla en sendas ecuaciones diferenciales de segundo orden para v(x) y z (t): v00 (x) + v(x) = 0 y 55 z 0 (t) + ( 1)z (t) = 0.

Ahora imponemos las condiciones de contorno ux (0, t) = v0 (0)z (t) = 0 y ux (, t) = v0 ( )z (t) = 0, t > 0.

Como buscamos soluciones no nulas, debe ocurrir que v 0 (0) = v 0 ( ) = 0. En consecuencia, la funcin v(x) es la solucin del problema de contorno v 00 (x) + v (x) = 0 con v 0 (0) = v0 ( ) = 0.

Este problema de contorno es bien conocido y ya sabemos que nicamente tiene solucin no trivial para los valores n = n2 con n = 0, 1, 2... y que dichas soluciones son vn (x) = cos(nx) (n = 0, 1, 2...).

Al sustituir estos valores de en la ecuacin que verica z (t), sta nos queda z 0 (t) + (n2 1)z (t) = 0 cuya solucin general es zn (t) = e(1n )t . Hasta aqu, el mtodo de separacin de variables nos ha proporcionado una coleccin de soluciones 2 (n = 0, 1, 2...), un (x, t) = cos(nx)e(1n )t que verica la ecuacin en derivadas parciales y las condiciones de contorno. Ahora construimos una solucin de la forma X 2 cn cos(nx)e(1n )t u(x, t) =
n=0
2

a la que tenemos que imponer la condicin u(x, 0) = 1 + cos2 (x) = u(x, 0) =


X n=0

3 cos(2x) + . Observemos que 2 2

cn cos(nx)e

(1n2 )0

X n=0

cn cos(nx).

La unicidad de los coecientes del desarrollo en serie de Fourier nos dice que todos los coecientes son cero excepto c0 = 3, c2 = 1/2, as que la solucin es 1 3 u(x, t) = et + cos(2x)e3t . 2 2 Problema. Calcula la solucin de la ecuacin en derivadas parciales u 2 u u = 2 +4 + 2u t x x que satisface las condiciones de contorno u(0, t) = u(, t) = 0 56 para t > 0 con 0 < x < y t > 0

y la condicin inicial u(x, 0) = x( x)e2x para 0 < x < .

Solucin. Vamos a resolver la ecuacin utilizando el mtodo de separacin de variables. Como sabemos, este mtodo requiere en primer lugar obtener todas las soluciones no nulas de la forma u(x, t) = v(x)z (t). Sustituyendo en la ecuacin obtenemos v (x)z 0 (t) = v 00 (x)z (t) + 4v0 (x)z (t) + 2v(x)z (t) = (v 00 (x) + 4v0 (x) + 2v (x)) z (t) y, por tanto, z 0 (t) v00 (x) + 4v0 (x) + 2v (x) = . z (t) v(x)

Como el miembro derecho de esta ecuacin es funcin slo de la variable x y el izquierdo lo es slo de la variable t, ambos deben ser constantes. Si denotamos por al valor de esa constante, la ecuacin se desdobla en sendas ecuaciones diferenciales de segundo orden para v(x) y z (t) : v 00 (x) + 4v0 (x) + (2 + )v (x) = 0 y z 0 (t) + z (t) = 0. Ahora imponemos las soluciones de contorno u(0, t) = v(0)z (t) = 0 y u(, t) = v( )z (t) = 0, Como buscamos soluciones no nulas, debe ocurrir que v(0) = v () = 0. Empezamos resolviendo el problema v 00 (x) + 4v0 (x) + (2 + )v (x) = 0 con v (0) = v ( ) = 0. La ecuacin auxiliar es m2 + 4m + 2 + = 0, cuyas races son m = 2 2 .

t > 0.

Si < 2, entonces la solucin general viene dada por v (x) = Ae(2+ 2)x + Be(2 2)x siendo A y B dos constantes. Imponiendo que v (0) = v ( ) = 0 obtenemos que A = B = 0 y concluimos que la nica solucin es la nula. As que descartamos esta posibilidad. Si = 2, entonces la solucin general viene dada por v (x) = Ae2x + Bxe2x siendo A y B dos constantes. De nuevo imponiendo que v(0) = v () = 0 obtenemos que A = B = 0 y concluimos que la nica solucin es la nula. As que descartamos tambin esta posibilidad. Finalmente, si > 2, entonces la solucin general viene dada por v (x) = e2x A cos( 2x) + B sen ( 2x)

siendo A y B dos constantes. Puesto que 0 = v(0) = A, obtenemos que la solucin es de la forma v(x) = Be2x sen ( 2x). Adems 0 = v( ) = Be2 sen ( 2 ). Puesto que buscamos una solucin debe ser distinto de cero. Obviamente e2 6= 0. Esto fuerza que no nula, el nmero B sen ( 2 ) = 0. Es decir, 2 = n para algn nmero natural. Despejando obtenemos que = n2 + 2 siendo n = 1, 2, ... y, en este caso, v(x) = Be2x sen (nx). 57

Para estos valores de resolvemos ahora la ecuacin diferencial que verica la funcin z : 2 z (t) + (n2 + 2)z (t) = 0. Como sabemos, su solucin general es z (t) = ke(n +2)t siendo k una constante arbitraria.
0

Hasta aqu, el mtodo de separacin de variables nos ha proporcionado una coleccin de soluciones 2 un (x, t) = cn e2x sen (nx)e(n +2)t n = 1, 2, ... u 2 u u = 2 + 4 + 2u y las condiciones u(0, t) = u(, t) = 0, que verican la ecuacin diferencial t x x para t > 0. Con estas soluciones podemos construir una solucin de la forma u(x, t) =
X n=1

cn e2x sen (nx)e(n

2 +2)t

que sigue vericando las mismas condiciones homogneas y a la que ahora tenemos que imponer la condicin inicial u(x, 0) =
X n=1

cn e2x sen (nx) = x( x)e2x

para 0 < x < .

Simplicando, los coecientes cn deben ser tales que


X n=1

cn sen (nx) = x( x)

para 0 < x < .

Es decir, los valores cn son los coecientes del desarrollo en serie de Fourier de senos de la funcin x( x) en el intervalo [0, ]. Como sabemos Z 2 x( x)sen (nx)dx. cn = 0 Integrando por partes concluimos que cn = 0 para n par y cn = Por consiguiente la solucin es u(x, t) =
X n=1

8 para n impar. n3

cn e

2x

sen (nx)e

(n2 +2)t

X k=0

8 2 e2x sen ((2k + 1)x)e((2k+1) +2)t . 3 (2k + 1)

Problema. Calcula la solucin del siguiente problema u 2 u u = 2 +6 +1 t x x que satisface las condiciones de contorno u(0, t) = u(4, t) = 0 y la condicin inicial u(x, 0) = 0 para 0 < x < 4. 58 para t > 0 con 0 < x < 4 y t > 0

Solucin. Para resolver la ecuacin, y puesto que no es homognea, escribimos la solucin de la forma u(x, t) = v(x, t) + f (x) siendo v(x, t) una solucin de la ecuacin homognea asociada y f (x) una solucin particular de la ecuacin completa. El primer paso ser encontrar una funcin f (x) adecuada. Para ello imponemos que verique la ecuacin, es decir 0 = f 00 (x) + 6f 0 (x) + 1. Para resolver esta ecuacin lineal de segundo orden con coecientes constantes observemos que la ecuacin auxiliar asociada a la ecuacin homognea es m2 +6m = 0 y tiene como soluciones m1 = 0 y m2 = 6, as que la solucin general de la ecuacin homognea es f (h) (x) = c1 + c2 e6x . x Por otro lado, es inmediato ver que una solucin particular es f (p) (x) = as que la funcin f 6 buscada es de la forma x f (x) = c1 + c2 e6x 6 siendo c1 y c2 constantes reales arbitrarias. Veamos ahora en qu se transforman las condiciones de contorno e iniciales para v (x, t): 0 = u(0, t) = v (0, t) + f (0) = v (0, t) + c1 + c2 0 = u(4, t) = v (4, t) + f (4) = v (4, t) + c1 + c2 e24 2 3 . 0 = u(x, 0) = v(x, 0) + f (x) = v (x, 0) + c1 + c2 e6x x 6

Para conseguir que las condiciones de contorno de v(x, t) sean lo ms sencillas posibles (homogneas) tomamos c1 y c2 la solucin nica del sistema c1 + c2 = 0 2 c1 + c2 e24 = . 3 Tenemos que resolver a continuacin el siguiente problema vt = vxx + 6vx , v (0, t) = v (4, t) = 0, v (x, 0) = c1 c2 e6x + x , 6 para 0 < x < 4 y t > 0. Separamos las variables buscando soluciones de la forma v (x, t) = w(x)z (t) con lo que la ecuacin queda w(x)z 0 (t) = w00 (x)z (t) + 6w0 (x)z (t), es decir, w00 (x) + 6w0 (x) z 0 (t) = . w(x) z (t)

Como el miembro derecho de esta ecuacin es funcin slo de la variable t y el izquierdo lo es slo de la variable x, ambos deben ser constantes. Si denotamos por al valor de esa constante, la ecuacin se desdobla en sendas ecuaciones diferenciales de segundo orden para w(x) y z (t): w00 (x) + 6w0 (x) + w(x) = 0 59 y z 0 (t) + z (t) = 0.

Ahora imponemos las condiciones dadas v (0, t) = w(0)z (t) = 0, v (4, t) = w(4)z (t) = 0, para t > 0, para t > 0.

Como buscamos soluciones no nulas, debe ocurrir que w(0) = w(4) = 0. En consecuencia, la funcin w(x) es la solucin del problema de contorno w00 (x) + 6w0 (x) + w(x) = 0 con w(0) = w(4) = 0.

Este problema tiene como ecuacin auxiliar m2 + 6m + = 0 que tiene como soluciones m = 3 9 . Haciendo un estudio de las soluciones, se puede comprobar que la nica situacin que no da lugar a la solucin nula es 9 < 0, es decir 9 < , en cuyo caso las soluciones que se obtienen son n = n2 2 + 9, 16 n = 1, 2, ... y wn (x) = e3x sin( n x). 4

Al sustituir estos valores de en la ecuacin que verica z (t), sta nos queda z 0 (t) + ( que tiene como solucin zn (t) = e(
n2 2 +9)t 16

n2 2 + 9)z (t) = 0 16 .

Hasta aqu, el mtodo de separacin de variables nos ha proporcionado una coleccin de soluciones n2 2 n n = 1, 2, ..., vn (x, t) = e3x cn sin( x)e( 16 +9)t , 4 que verican la ecuacin de partida y las condiciones homogneas. Para vericar la condicin v(x, 0) = c1 c2 e6x + x razonamos en trminos de series de Fourier: con las soluciones vn (x, t) 6 podemos construir una solucin de la forma v(x, t) = e
3x X n=1

cn sin(

n2 2 n x)e( 16 +9)t , 4

a la que le imponemos la condicin pendiente v (x, 0) = e


3x X n=1

cn sin(

n x x) = c1 c2 e6x + . 4 6

Por la unicidad de los coecientes del desarrollo en serie de Fourier Z 1 4 x n cn = (c1 c2 e6x + )e3x sin( x)dx. 2 0 6 4

Integrando por partes obtenemos que 32n 4(1)n+1 1 12 n 12 cn = 2 sinh(12) c + e + e 1 . ( 1) 1 12 + n2 2 3 (122 + n2 2 )2 60

7. Leccin 7: Funciones Analticas.


Cuestin. Justica que la funcin u(x, y ) = ex cos(y ) + ey cos(x) + xy es la parte real de una funcin analtica. Calcula una armnica conjugada suya. Solucin. Observemos que ux = ex cos(y ) ey sen(x) + y , uxx = ex cos(y ) ey cos(x), uy = ex sen(y ) + ey cos(x) + x y uyy = ex cos(y ) + ey cos(x). Por tanto, uxx + uyy = 0. Es decir, u es una funcin armnica en todo el plano complejo que es un dominio simplemente conexo. Por tanto, tiene una armnica conjugada, es decir, existe una funcin v (x, y ) tal que la funcin f (x + jy ) = u(x, y ) + jv (x, y ) es analtica. Para obtener tal funcin v haremos uso que las ecuaciones de Cauchy-Riemann que arman que vy = ux = ex cos(y ) ey sen(x) + y vx = uy = (ex sen(y ) + ey cos(x) + x). Integrando en la primera ecuacin con respecto a y, deducimos que existe una funcin que depende slo de x, digamos g(x), tal que v(x, y ) = ex sen(y ) ey sen(x) + y2 + g (x). 2

Si derivamos con respecto a x obtenemos que vx (x, y ) = ex sen(y ) ey cos(x)+ g0 (x). Puesto que ya x2 sabamos que vx = ex sen(y ) ey cos(x) x concluimos que g 0 (x) = x. Por tanto, g(x) = + c 2 siendo c una constante real. Concluimos as que f (z ) = f (x + jy ) = u(x, y ) + jv(x, y ) = ex cos(y ) + ey cos(x) + xy + j (ex sen(y ) ey sen(x) + y 2 x2 + c) 2 2 y 2 x2 x x y y = (e cos(y ) + je sen(y )) + e cos(x) je sen(x) + xy + j ( ) + jc 2 2 2 2 ( x + jy ) z z2 + jc = ez + ez j + jc = 2 cosh(z ) j + jc. = ex+jy + ej (x+jy) j 2 2 2

Cuestin. Encuentra una transformacin bilineal T que lleve el interior del crculo de centro cero y radio 1 en el semiplano {z C : Re z > 1} y que je el nmero cero. Solucin. Recordemos que una transformacin bilineal es una transformacin del tipo f (z ) = az + b cz + d donde a, b, c, d C con ad bc 6= 0

y tambin sabemos que lleva rectas y circunferencias en rectas y circunferenciaas. Para calcular dichas constantes vamos a imponer las condiciones del problema: 61

* Dado que ja el nmero 0 debe cumplirse que b f (0) = 0 = , d es decir b = 0.

*Dado que lleva la circunferencia en una recta, para algn punto de dicha circunferencia el denominador debe anularse, por ejemplo para z = 1, y por tanto f (1) = a c+d implica c = d.

As pues, podemos escribir nuestra transformacin bilineal como sigue f (z ) = z z1 C.

*Por ltimo, vamos a imponer que la imagen de z = 1 y z = j pertenezcan a la recta Re z = 1. Dado que f (1) = y f (j ) = (1 j ) 2 2 si escribimos = u + jv entonces debe vericarse que u u + jv = = 1 Re (f (1)) = Re 2 2 u + jv (u + v) = 1, Re (f (j )) = Re (1 j ) = 1 2 2 y por tanto u = 2 y v = 0. Con todo esto concluimos que la transformacin buscada es f (z ) = 2z . z1

62

8. Lecciones 8, 9 y 10: Integracin Compleja. Series de Potencias. El Teorema de los Residuos.


2 cos(z ) + z 2 2 , donde Log denota el logaritmo z 2 (ez 1)Log(1 jz 2 ) principal, es decir, tal que Im(Log(z )) (, ]. Problema. Considera la funcin f (z ) = (1) Determina dnde es analtica y clasica sus singularidades aisladas (2) Determina los tres primeros trminos del desarrollo en serie de Laurent de la funcin f alrededor del origen. calcula (3) Si I C es el rectngulo cuyos vrtices son los puntos (0.2, 9), (0.2, 9), (0.2, 9) y (0.2, 9), f (z ) dz.
C

Solucin. (1) Sabemos que la funcin f es analtica donde lo sean simultneamente su numerador y denominador y no se anule el denominador. Por otro lado, tenemos que el numerador (la funcin z 7 2 cos(z ) + z 2 2) es analtica en todo el plano complejo. El denominador es una funcin analtica salvo en aquellos puntos donde 1 jz 2 sea un nmero real menor o igual que cero. Para buscar estos puntos tomamos z = x + jy (siendo x e y dos nmeros reales) y obtenemos 1 jz 2 = 1 + 2xy + j (y 2 x2 ).

Queremos ver cundo este punto es un nmero real menor o igual a cero. Puesto que la parte imaginaria queremos que sea cero obtenemos que y 2 = x2 . Por tanto, x = y. Si x = y, entonces la parte real de 1 jz 2 es 1 + 2x2 1 por lo que, en este caso, el logaritmo principal es analtico en 1 jz 2 . Por el contrario, si x = y, entonces 1 jz 2 = 1 2x2 . Este nmero es negativo si, y slo si, |x| 1/ 2. Por tanto, todos los nmeros de las semirrectas {x(1 j ) : x 1/ 2} y {x(1 j ) : x 1/ 2} no pertenecen al dominio de analiticidad de f . Ahora buscamos los ceros del denominador. La funcin z 2 se anula solamente en el punto cero. La funcin ez 1 se anula en los puntos de la forma z = 2kj para k Z. Finalmente, la funcin Log(1 jz 2 ) se anula si y slo si 1 jz 2 = 1 y esto ltimo sucede si y slo si z = 0. Resumiendo, el dominio es = C \ {x(1 j ) : |x| 1/ 2} {2kj : k Z} .

De todos los puntos donde f no es analtica, las singularidades aisladas son precisamente los puntos {2kj : k Z}. Alrededor de todos estos puntos, la funcin f es cociente de dos funciones analticas y la singularidad se produce precisamente porque el numerador se anula en ellos. Por tanto, todas las singularidades aisladas son evitables o polos. Analicemos los distintos casos. Si k 6= 0, entonces tenemos que 2 cos(2kj ) + (2kj )2 2 = 2(1 +2k 2 2 ) 2 cosh(2k )j 6= 0, las funciones z 2 y Log(1 jz 2 ) no se anulan en 2kj y la funcin ez 1 tiene un cero simple en dicho punto (ya que su derivada no se anula). Por tanto, f tiene un polo simple en 2kj. Como nos va a hacer falta en el ltimo apartado, calculamos ya los residuos en dichos polos. Para ello reescribimos f de la forma f (z ) = (2 cos(z ) + z 2 2)/(z 2 Log(1 jz 2 )) . ez 1 63

Es decir, f es el cociente de las funciones h(z ) = (2 cos(z )+z 2 2)/(z 2 Log(1jz 2 )) y g(z ) = ez 1. Puesto que h(2kj ) 6= 0 y g tiene un cero simple en cero, concluimos que Res(f, 2kj ) = h(2kj ) (1 + 2k 2 2 ) + cosh(2k )j = . g 0 (2kj ) 2k2 2 Log(1 + 4k 2 2 j )

Por el contrario, si k = 0, tenemos que el denominador h(z ) = 2 cos(z ) + z 2 2 tiene un cero de orden cuatro (ya que h(0) = h0 (0) = h00 (0) = h000 (0) = hiv) (0) = 0 y hv) (0) = 2 6= 0) y el denominador g (z ) = z 2 (ez 1)Log(1 jz 2 ) tiene un cero de orden 5 en 0 (ya que es producto de tres funciones, la primera de ellas tiene un cero de orden dos, la segunda un cero de orden uno y la tercera un cero doble). Por consiguiente, f tiene un polo simple en z = 0. (2) Por lo visto en el apartado anterior, el desarrollo en serie de Laurent de f alrededor de cero es de la forma c1 f (z ) = + c0 + c1 z + c2 z 2 + ... z Tenemos que calcular los coecientes c1 , c0 y c1 . Sabemos que alrededor del punto cero se verica que z 2 (ez 1)Log(1 jz 2 )f (z ) = 2 cos(z ) + z 2 2.

Multiplicando e igualando coecientes concluimos que c1 = j/12, c0 = j/24 y c1 = 1/24 + j 13/720.

Por tanto, escribiendo los primeros trminos del desarrollo en serie de Taylor en cero de las funciones ez 1, Log(1 jz 2 ) y 2 cos(z ) + z 2 2 tenemos que z4 z2 z3 c1 z6 z 4 jz 3 2 2 + + ... jz + + + ... + c0 + c1 z + c2 z 2 + ... = + ... z z+ 2 6 2 6 z 12 360

(3) Aplicaremos ahora el teorema de los residuos. Observemos que en el interior de la curva hay solamente tres singularidades aisladas que son precisamente 2j, 0 y 2j. Adems, f es analtica en la curva. Por tanto, I f (z ) dz = 2j (Res(f, 2j ) + Res(f, 0) + Res(f, 2j )).
C

Por lo visto en el apartado primero del problema Res(f, 2j ) = (1 + 2 2 ) + cosh(2 )j 2 2 Log(1 + 42 j )

y, por el segundo apartado, tenemos que Res(f, 0) = j/12. Por tanto, I j (1 + 2 2 ) + cosh(2 )j + . f (z ) dz = 2j (Res(f, 2j ) + Res(f, 0) + Res(f, 2j )) = 2j 2 Log(1 + 4 2 j ) 12
C

Cuestin. a. Describe el dominio de analiticidad e indica las singularidades aisladas de la funcin Log(2 + z ) f (z ) = . sen2 (z ) 64

b. Calcula positivamente.

f (z )dz siendo C la circunferencia de centro el origen y radio 1 orientada


C

Solucin. a. Sabemos que la funcin f es analtica donde lo sean simultneamente su numerador y denominador y no se anule el denominador. Por otro lado, tenemos que el numerador (la funcin z Log(2 + z )) es analtica en todos los puntos z del plano complejo salvo aquellos en que z + 2 sea un nmero real menor o igual que cero, es decir, salvo en la semirrecta (, 2]. El denominador es una funcin analtica. Adems, ste se anula en los puntos donde lo hace la funcin seno, es decir, en z = k para k Z. Resumiendo, el dominio es = C \ ((, 2] {k : k Z}) = C \ ((, 2] {k : k = 0, 1, 2, 3...}) . De todos los puntos donde f no es analtica, las singularidades aisladas son precisamente los puntos {k : k = 0, 1, 2, 3, ...}. Alrededor de todos estos, la funcin f es cociente de dos funciones analticas y la singularidad se produce precisamente porque el numerador se anula en ellos. Por tanto, todas las singularidades aisladas son evitables o polos. Adems el numerador no se anula y el denominador tiene un cero de orden dos. Por tanto, todas las singularidades aisladas son polos de orden dos. b. La funcin f es analtica en los puntos de la curva C y tiene una nica singularidad aislada en I su interior que se corresponde con el punto 0. Por el teorema de los residuos concluimos que f (z ) dz = 2j Res(f, 0). Adems sabemos que 0 es un polo doble. Por tanto,
C

Por consiguiente,

0 0 2 1 2 Log(2 + z ) Res(f, 0) = lim z f (z ) = lim z = . 2 z 0 z 0 sen (z ) 2 f (z ) dz = j.

Cuestin. Calcula

2 0

cos(2t) dt. 5 4sent

Solucin. Se trata de una integral de Poisson, es decir, del tipo

(x, y ) es un cociente de polinomios de dos variables. Para resolverla denimos z (t) = ejt y, por tanto, podemos escribir z (t) z 1 (t) sen (t) = 2j y z 2 (t) + z 2 (t) cos(2t) = . 2

(sen t, cos t)dt, donde


0

65

Sustituyendo en la integral obtenemos Z 2 Z 2 cos(2t) [z 2 (t) + z 2 (t)]/2 dt = dt 5 4[z (t) z 1 (t)]/2j 0 5 4sen t 0 Z 2 [z 4 (t) + 1]j = dt z (t)[4z 2 (t) + 10z (t)j + 4] 0 Z [z 4 + 1]j dz = 2 z [4z + 10zj + 4] zj ZC Z [z 4 + 1] = f (z )dz, dz = 2 2 C z [4z + 10zj + 4] C siendo C la circunferencia unidad centrada en el origen. Ahora vamos a aplicar el Teorema de los Residuos y para ello hemos de ver cuales son las singularidades del integrando en el interior de la curva. Dado que las races del denominador son z = 0, z = 2j y z = j/2 se tiene que Z 2 cos(2t) dt = 2j {Res(f (z ), z = 0) + Res(f (z ), z = j/2)} . 0 5 4sent Para calcular dichos residuos tendremos en cuenta que z = 0 es un polo doble y z = j/2 se trata de un polo simple, as pues 0 5 z4 + 1 = j Res(f (z ), z = 0) = 2 4z + 10zj + 4 z=0 8 17 [z 4 + 1]/z 2 = j Res(f (z ), z = j/2) = 2 0 [4z + 10zj + 4] z=j/2 8 Z
2 0

y, por tanto,

cos(2t) dt = 2j 5 4sent

5 17 j+ j 8 8

11 . 2

Cuestin. Calcula el nmero de soluciones de la ecuacin ez + z 2 = 0 en el semiplano {z C : Re z > 0}. Solucin. Para resolver esta cuestin aplicaremos el Teorema de Rouch a las funciones analticas f (z ) = z 2 y g(z ) = ez , sobre la curva de Jordan C = CR SR , siendo CR la semicircunferencia de centro el origen y radio R situada en el semiplano derecho y SR el segmento que une los puntos jR y jR. Para ello vamos a comprobar que |f (z )| > |g(z )| para todo z C. Obviamente, analizamos por separado el segmento y la semicircunferencia. - En el segmento: Si z = jy , y [R, R], entonces p |f (jy )| = |jy 2| = y 2 + 4 2 > 1 = ejy = |g (jy )| . 66

y adems

- En la semicircunferencia: Si z = Rejt , t [/2, /2] entonces f (Rejt ) = Rejt 2 Rejt 2 = |R 2| jt |g(z )| = eRe = eR cos t 1.

Aplicando el Teorema de Rouch, f (z ) = z 2 y f (z ) + g(z ) = ez + z 2 tienen el mismo nmero de ceros, contados con sus multiplicidades, en el interior de C siempre que R > 3. Como f (z ) tiene un solo cero en el interior de C concluimos que la ecuacin de partida tiene una nica solucin en el semiplano derecho. Problema. Se considera la funcin f (z ) = 2 . z sen(z ) (1) Clasica las singularidades de f y obten los residuos correspondientes. 1 (2) Sea Cn la circunferencia de centro cero y radio n + , siendo n un nmero natural. Calcula 2 Z f (z )dz.
Cn

Por tanto, tenemos que |f (Rejt )| > |g (Rejt )| para todo R > 3.

(3) Sabiendo que lim

n Cn

f (z )dz = 0, calcula la suma de la serie


X (1)n n=1

n2

son los ceros del denominador. Sabemos z 2 sen(z ) que el denominador se anula en los puntos z = 0, 1, 2, ..., donde z = 0 es un cero triple y z = 1, 2, ... son ceros simples. Dado que estos ceros no anulan al numerador nos encontramos con que z = 0 es un polo triple y z = 1, 2, ... son polos simples de la funcin f (z ). Solucin. (1) Las singularidades de f (z ) = Por lo que respecta a los residuos de las singularidades que son polos simples, zn = n Z\ {0} tenemos que 2 (1)n 1/n2 z Res (f, zn ) = = = . cos(z ) cos(n ) n2
z =n

Para z = 0, por tratarse de un polo triple, calcularemos su residuo utilizando series de Laurent. Dado que c3 c2 c1 f (z ) = 3 + 2 + + c0 + c1 z + c2 z 2 + ... z z z y que 3 z 3 5 z 5 sen(z ) = z + ..., 6 120 67

se verica que c3 c2 c1 3z3 5z 5 2 + + + c z + c z + ... . = z z + ... + c 0 1 2 3 5 z3 z2 z


2

Igualando coecientes obtenemos c3 = 1, Por lo tanto, Res(f, 0) = c2 = 0, c1 = 2 . 6

2 . 6 (2) Aplicando el Teorema de los Residuos tenemos que ) ( Z n n X X (1)k 2 . f (z )dz = 2j Res(f, k ) = 2j +2 6 k2 k=n k=1
Cn

(3) Tomaremos lmites cuando n tiende a + en la igualdad anterior. Para ello recordemos Z f (z )dz = 0. De esta forma tenemos que lim
n Cn

0 = lim

f (z )dz = 2j

Cn

X (1)k 2 +2 6 k2 k=1

Despejando obtenemos la suma de la serie


X (1)n n=1

n2

2 . 12

Cuestin. Calcula la integral

Solucin. Para calcular la integral observemos que la funcin f (z ) = z1 p(z ) = 4 q (z ) z + 2z 2 + 1

x4

x1 dx. + 2x2 + 1

es racional con gr(p) + 2 gr(q ) y sin polos en el eje real ya que sus singularidades son las races dobles, z = j , de la ecuacin z 4 + 2z 2 + 1 = 0. Dado que slo z = j est en el semiplano superior se tiene que Z + x1 dx = 2j Res(f (z ), z = j ). 4 2 x + 2z + 1 Por otra parte, por tratarse de un polo doble, 0 0 z1 z1 z1 j 2 Res = lim = . , z = j = lim (z j ) 4 2 2 2 2 z j z j z +z +1 (z j ) (z + j ) (z + j ) 4 68

y sustituyendo en la frmula anterior Z

x1 j dx = 2 j = . 4 2 4 2 x + 2x + 1 1 z n z n1 + 3z 1 = 0 3

Cuestin. a) Sea n un nmero natural. Calcula el nmero de soluciones de la ecuacin

en el dominio |z | < 1. b) Calcula el nmero de soluciones de la ecuacin 1 z 4 z 3 + 3z 1 = 0 3 en el dominio 1 < |z | < 2. Solucin. En ambos apartados aplicaremos el Teorema de Rouch que arma lo siguiente: Sea C una curva de Jordan y sean f y g dos funciones analticas en un dominio que incluye la curva C y la regin interior de dicha curva. Si |f (z )| > |g (z )| para todo z C , entonces las funciones f y f + g tienen el mismo nmero de ceros, contados tantas veces como indiquen sus multiplicidades, en la regin interior a la curva C . Recordemos que de las hiptesis tambin se obtiene que la funcin f + g no tiene ceros en los puntos de la curva C. a) Aplicamos el Teorema de Rouch con la curva C dada por la circunferencia de centro 0 y radio 1. Tomamos f (z ) = 3z y g(z ) = z n 1 z n1 1. Obsevemos que las soluciones de la ecuacin 3 del enunciado son los ceros de la funcin f + g. Tenemos que si z C (es decir, si |z | = 1) se verica que |f (z )| = 3 y |g (z )| |z |n + 1 |z |n1 + 1 = 1 + 1 +1 = 7 . Por tanto, |g (z )| < |f (z )| 3 3 3 para todo z C (obsrvese que slo comprobamos la desigualdad en los puntos de la curva y no en su interior). As que f y f + g tienen el mismo nmero de ceros en el interior de la curva C y f + g no se anula en la curva. Puesto que f tiene un slo cero en el dominio |z | < 1, tenemos que f + g tiene un slo cero en dicho dominio y ninguno en la circunferencia |z | = 1. b) Por el apartado anterior con n = 4, tenemos que la ecuacin z 4 1 z 3 + 3z 1 = 0 3 tiene una nica solucin en el disco |z | 1. Por tanto, si N es el nmero de soluciones de la ecuacin en el dominio |z | < 2, entonces la respuesta es N 1. Para obtener N aplicamos de nuevo el Teorema de Rouch pero en este caso con la curva de Jordan |z | = 2. En este caso tomamos f (z ) = z 4 y g(z ) = 1 z 3 + 3z 1. De nuevo, las soluciones de la ecuacin del enunciado 3 son los ceros de la funcin f + g. Tenemos que si |z | = 2, se verica que |f (z )| = 24 = 16 y 1 29 1 |g (z )| |z |3 + 3|z | + 1 = 23 + 6 + 1 = < 10 < 16. Por tanto, |g (z )| < |f (z )| para todo 3 3 3 z tal que |z | = 2. De esta forma, f y f + g tienen el mismo nmero de ceros en el interior de la circunferencia |z | = 2. Puesto que f tiene un cero de orden 4 en 0, tenemos que N = 4 y, por consiguiente, la solucin es 3. Problema. Consideremos la funcin 1 f (z ) = Log (z 2)2 69 6z z

siendo Log el logaritmo principal. a) Calcula el dominio donde la funcin f es analtica. b) Clasica las singularidades aisladas de la funcin f. c) Calcula el desarrollo en serie de Laurent de f en el dominio 0 < |z 2| < 2. R d) Calcula C f (z )dz siendo C la circunferencia de radio 1 centrada en 2 y orientada positivamente. 6z Solucin. a) La funcin f es el cociente de Log y (z 2)2 . Por tanto, f es analtica z en los puntos donde lo sean simultneamente ambas funciones y no se anule el denominador. Es 6z decir, f es analtica donde lo sea Log salvo el punto 2. z 6z Centrmonos en el dominio donde Log es analtica. Como hemos visto en clase, Log z es analtica salvo en los reales negativos y en el cero. Aplicando la regla de la cadena, nmeros 6 6z 6z es analtica salvo en cero y en los puntos donde = 1 concluiremos que Log z z z sea un nmero real negativo o cero. Veamos cundo sucede esto. Si z = x + jy con x e y reales tenemos que 6 6 6 6 6 1= 1= 2 (x jy ) 1 = 2 x1 2 yj. 2 2 z x + jy x +y x +y x + y2 6 Claramente, este nmero es real si y slo si y = 0. Una vez que sabemos que 1 es real, z 6 6 tenemos que ver cundo es negativo. Puesto que ahora 1 = 1, esto sucede precisamente z x cuando 6 6x 0 1= . x x 6x Si x es negativo, entonces claramente se tiene que tambin lo es. Por el contrario, si x es x 6x 0 si y slo si 6 x. positivo, entonces x Resumiendo, el donimio donde f es analtica es = C \ ((, 0] {2} [6, +)) . b) La nica singularidad aislada de f es el punto z0 = 2. Este punto z0 es un cero doble del denominador de f y el numerador es analtico en l y no se anula. Esto implica que z0 es un polo de orden 2. c) Como hemos visto en el apartado a), la funcin es analtica en el anillo 0 < |z 2| < 2. Por tanto, tiene un desarrollo en serie de Laurent en dicho anillo, es decir, alrededor de la singularidad 6z aislada 2. Puesto que Log es una funcin analtica en el disco |z 2| < 2, si llamamos z 70

Log

6z z

+ X n=0

an (z 2)n a su desarrollo en serie de Taylor tenemos que

X + 1 6z f (z ) = = Log an (z 2)n2 2 (z 2) z n=0 a0 a1 + a2 + a3 (z 2) + a4 (z 2)2 + ... = + 2 (z 2) z2

siempre que 0 < |z 2| < 2. Calculemos ahora los an . Para simplicar los clculos derivamos y usamos las propiedades de las series de potencias: 0 6z 0 + X 6z 6 n1 . nan (z 2) = Log = 6z = z z z (z 6) z n=1 Haciendo una descomposicin en fracciones simples obtenemos que 6 1 1 = + . z (z 6) z z6 Ahora queremos expresar las fracciones 1 1 y como sumas de series de potencias centradas z z6 + X 1 wn = siempre que |w| < 1. De esta forma, en 2. Para ello recordemos que 1w n=0 n X + + (1)n 1X 2z 1 1/2 1 = = = = (z 2)n 2z n +1 z 2+z2 2 n=0 2 2 1( 2 ) n=0 2 z siempre que 2 <1y

n + + X 1 1 1X z2 1 1/4 = = = (z 2)n z 2 = n +1 z6 4 + z 2 4 n=0 4 4 1( 4 ) n=0 2 z z 2 siempre que < 1. Observemos que en nuestro anillo se verica tanto que 2 < 1 4 z 2 como que 4 < 1. De esta forma, tenemos que
+ X n=1

nan (z 2)n1 =

+ + X X (1)n 1 1 1 n + = ( z 2) (z 2)n n+1 n+1 z z6 2 4 n=0 n=0 + + n X X (1) (1)n 1 1 n n+1 n+1 (z 2) = = n (z 2)n1 . n 2 4 2 4 n=0 n=1

1 Esto implica que an = n

1 (1)n n n 2 4

para n 1. Finalmente, a0 = Log 71

62 2

= log 2.

3 Es interesante observar que Re s(f (z ), 2) = a1 = , un hecho que ser usado en el siguiente 4 apartado. d) Podemos aplicar el Teorema de los Residuos. Por el apartado a), la funcin f es analtica en un dominio que contiene a la curva C y a su interior salvo al punto 2. Por consiguiente, Z 3j f (z )dz = 2j Re s(f (z ), 2) = . 2 C Cuestin. Calcula la integral Z
+ 0

x2 dx. (1 + x2 )3 z2 es par, tenemos que (1 + z 2 )3

Solucin. En primer lugar, puesto que la funcin f (z ) =


+ Z 0

x2 1 dx = (1 + x2 )3 2

+ Z

x2 dx. (1 + x2 )3

siendo z1 , ..., zk las races de (1 + z 2 )3 cuya parte imaginaria es positiva. En nuestro caso hay una nica raz en dicho semiplano que es z1 = j. Por tanto, Z + x2 dx = j Re s(f (z ), j ). (1 + x2 )3 0 Tenemoso que el denominador tiene un cero de orden 3 en j y el numerador no se anula en j. Por tanto, f tiene un cero de orden 3 en el punto j. As tenemos que 00 00 1 1 z2 3 3 Re s(f (z ), j ) = lim (z j ) f (z ) = lim (z j ) 2 zj 2 zj (1 + z 2 )3 00 00 1 1 z2 z2 3 lim (z j ) = = lim . 2 zj (z j )3 (z + j )3 2 zj (z + j )3 Puesto que 00 2(z 2 + 1) 4(2zj z 2 ) z2 = , (z + j )3 (z + j )5 1 tenemos que Re s(f (z ), j ) = . 16j Concluimos que Z + x2 dx = j Re s(f (z ), j ) = . 2 3 (1 + x ) 16 0 72

Puesto que f es un cociente de polinomios y el grado del denominador menos el grado del numerador es mayor que 2 (concretamente 4) y el denominador no se anula en la recta real R, tenemos que Z Z + Xn x2 x2 1 + 1 2 j dx = dx = Re s(f (z ), zk ) k=1 (1 + x2 )3 2 (1 + x2 )3 2 0

Cuestin. Calcula la integral

Solucin. Para simplicar la exposicin llamaremos f (z ) =

ez que es una funcin z 2 (1 z 2 ) analtica en todo el plano complejo salvo en los puntos z = 1, 0, 1 (ya que se anula el denominador). La funcin f tiene polos en dichos puntos y los tres puntos estn en el interior de la elipse. De esta forma el Teorema de los Residuos arma que Z ez dz = 2j (Re s(f (z ), 1) + Re s(f (z ), 0) + Re s(f (z ), 1)). 2 2 C z (1 z )

siendo C la elipse |z + 1| + |z 1| = 3 orientada positivamente.

ez dz z 2 (1 z 2 )

Puesto que 1 y 1 son ceros simples del denominador de f y el numerador no se anula, ambos son polos simples de f y tenemos que el residuo de f en estos puntos es el valor del numerador dividido por el valor de la derivada del denominador. As que Re s(f (z ), 1) = e 2 y Re s(f (z ), 1) = e1 . 2

Por otro lado, f tiene un polo doble en cero y z 0 0 2 ez (1 z 2 ) + 2zez e Re s(f (z ), 0) = lim z f (z ) = lim = lim = 1. z 0 z 0 1 z 2 z 0 (1 z 2 )2 As pues concluimos que 1 Z e e ez dz = 2j +1 = 2j (1 senh (e)) . 2 2 2 2 C z (1 z ) Cuestin. Calcula la integral Z f 0 (z ) dz f (z )

siendo C la circunferencia de centro el origen y radio orientada positivamente y f (z ) = 1 + z2 . 1 cos(2z )

Solucin. Recordemos que, entre otras cosas, el Principio de Variacin del Argumento arma que:

Sea f una funcin analtica en un dominio y C una curva de Jordan contenida en tal que f no se anula en ninguno de sus puntos. Sea N el nmero de ceros de f en la regin interior a la curva C contados tantas veces como indica su multiplicidad. Supongamos que las nicas singularidades de f en la regin interior a la curva C son polos y sea P el nmero de polos de f en dicha regin contados tantas veces como indica su multiplicidad. Entonces I 0 f (z ) dz = 2j (N P ). C f (z ) 73

El dominio donde la funcin f es analtica es todo el plano menos el conjunto de puntos donde el denominador de f se anula. Hemos visto en clase que cos(2z ) = 1 si, y slo si, z es un nmero entero. Por tanto, = C \ Z. La curva C est claramente contenida en . Los ceros de f son los puntos z = j y z = j. Ambos son ceros simples y estn en el interior de C. Por consiguiente, N = 2. Por otro lado, las singularidades de f son los ceros del denominador que como ya hemos visto son los puntos de Z. Todos ellos son polos dobles ya que la funcin g(z ) = 1 cos(2z ) tiene un cero doble en dichos puntos. De stos, estn en el interior de la curva 3, 2, 1, 0, 1, 2 y 3. Por consiguiente, P = 14. Aplicando ahora el principio de variacin del argumento concluimos que I 0 f (z ) dz = 2j (2 14) = 24j. C f (z ) Problema. Calcula el nmero de races con parte real negativa de la ecuacin z 5 + z 4 + 12z 3 + 3z 2 + 27z + 2 = 0. Solucin. Llamemos q (s) = z 5 + z 4 + 12z 3 + 3z 2 + 27z + 2. Aplicaremos el criterio de Nyquist para hallar el nmero de races de q en el semiplano derecho (aquellos nmeros complejos con parte real positiva). Para hallar el nmero de races de q (s) con parte real positiva, consideremos la semicircunferencia CR de radio R, situada en el semiplano derecho, cuyo centro es el origen de coordenadas y cuyo dimetro es el segmento [jR, jR] del eje imaginario. Llamamos C a la curva de Jordan formada por CR [jR, jR]. Como siempre la orientamos positivamente (en sentido contrario a las agujas del reloj). Tomando R sucientemente grande, la curva C encerrar en su interior todas las races de q con parte real positiva. Por el Principio de Variacin del Argumento, el nmero de dichas races coincidir con la variacin del argumento de q al recorrer la curva C , es decir, con el nmero de vueltas que da la curva imagen q (C ) alrededor del origen. La curva imagen q (C ) consta de dos trozos: la imagen del arco semicircular de CR y la imagen del segmento [jR, jR]. Como q es un polinomio y R es grande, la imagen del trozo semicircular es aproximadamente un arco circular que no hace falta trazar con mucho detalle. La imagen del segmento [jR, jR] s hay que dibujarla con detalle y, al unirla con la anterior, nos proporciona la curva imagen q(C ). Es interesante tambin observar que si el polinomio q tiene alguna raz digamos z0 en el eje imaginario, entonces q se anula en algn punto del segmento [jR, jR] y, por tanto, no podemos aplicar el Principio de Variacin del Argumento. En este caso, calculamos q(z ) q(z ) , o simplemente si z0 = 0, y aplicamos el criterio al nuevo polinomio que (z z0 )(z z0 ) z tiene las mismas races que q salvo z0 y z0 . Hagamos todo esto con detalle. Empezamos por dibujar la imagen del segmento [jR, jR]. Si y [R, R], entonces q (jy ) = y 5 j + y 4 12y 3 j 3y 2 + 27yj + 2 = y 4 3y 2 + 2 + jy (y 4 12y 2 + 27). 74

Por tanto, los cortes con los ejes coordenados de la curva q([jR, jR]) vienen dados por aquellos donde y 4 3y 2 + 2 = 0 o y (y 4 12y 2 + 27) = 0. Concretamente, los cortes con el eje real aparecen 4 2 cuando y (y 12y+ 27) = 0. Es decir, para y = 0, 3, 3. En estos puntos la curva vale, q(j 3) = 74, q (j 3) = 8 y q (0) = 2. En interesante apuntar aqu que ninguno de estos cortes pasa por el eje real negativo. Esto ser importante a la hora de contar el nmero de vueltas de la curva q(C ) alrededor del origen. Los cortes con el eje imaginario aparecen cuando y 4 3y 2 +2 = 0. Es decir, para y = 1, 2. En estos puntos la curva vale, q (j ) = 16j y q ( 2j ) = 7 2j. Observamos tambin que la curva no pasa por el origen. Como ya hemos comentado esto es importante para poder aplicar el Principio de Variacin del Argumento. Con todo ello podemos esbozar la curva q([jR, jR]) :
50 q([Rj,Rj]) 40

30

20

10

10

20

30

40

50 10

10

20

30

40

50

60

70

80

90

Por otro lado, sabemos que q (Rj ) pertenece al primer cuadrante y q (Rj ) pertenece al cuarto cuadrante para R muy grande. Es decir, la curva se recorre desde la esquina superior derecha del dibujo a la inferir derecha. Nos centramos ahora en la curva q (CR ). Para R sucientemente grande, esta curva se aproxima por la curva 7 R5 e5j para [/2, /2]. Esta curva se dibuja sin dicultad y obtenemos:

75

90 500 120 R exp(5pi j/2) 400 300 150 200 100 30


5

60

180

210 R5exp(5pi j/2)

330

240 270

300

Esta curva la recorremos ahora desde el punto R5 e5j/2 (abajo) hasta el punto R5 e5j/2 (arriba) en sentido de las agujas del reloj. Por tanto, da dos vueltas y media alrededor del origen. Teniendo en cuenta la la curva q([jR, jR]) da media vuelta alrededor del origen en el sentido contrario a las agujas del reloj, concluimos que la curva q(C ) da dos vueltas alrededor del origen para R sucientemente grande. Por tanto, la ecuacin del enunciado tiene dos soluciones en el semiplano derecho. Puesto que sabemos que en todo el plano tiene 5 soluciones y no hay soluciones en el eje imaginario, concluimos que la ecuacin tiene 3 soluciones en el semiplano izquierdo.

76

9. Leccin 11: La Transformacin Z.


Cuestin. Sea y una seal discreta causal. Obtn su expresin general sabiendo que para cada nmero n 0 se verica que 1 1 y [n + 1] y [n] = n 2 5 y que y [0] = 1. Solucin. La solucin de la ecuacin en diferencias es una seal en tiempo discreto causal, as que utilizaremos la propiedad de la transformada Z unilateral; concretamente, si denotamos por Y (z ) la transformada Z de la solucin, entonces Z{(y [n + 1])} = zY (z ) zy [0] = zY (z ) z. Por otro lado, sabemos que Z 1 5n = z . z1 5

En consecuencia, transformando la ecuacin dada, nos queda 1 z zY (z ) z Y (z ) = , 2 z1 5 1 z z Y (z ) z = 2 z "


1 5

o sea,

y, por tanto,

hagamos notar aqu que es conveniente haber sacado z factor comn al comienzo para poder, una vez hechas las descomposiciones en fracciones simples, anti-transformar usando las transformadas de las seales potenciales. La descomposicin en fracciones simples del primer sumando ser 1 a b = + 1 1 1 z5 z2 z5 z1 2
10 . 3

# 1 1 + ; Y (z ) = z 1 1 z1 z z 5 2 2

cuya solucin es a = 10 3

y b=

Es decir

Por consiguiente, haciendo las operaciones correspondientes, nos queda # " 13/3 10/3 + Y (z ) = z z1 z1 5 2 77

10/3 10/3 1 = + . 1 1 1 z5 z2 z5 z1 2

y su regin de convergencia, como se ha visto en clase, es |z | > 1 . Utilizando las transformadas 2 de las seales potenciales, obtenemos, nalmente 13 1 10 1 + para n = 0, 1, 2... y [n] = 3 5n 3 2n

78