Scribd Logo
Upload

Welcome to Scribd!

  • Métodos Numéricos - Capitulo 2

    Uploaded by

    LAURA GARZON CANTOR
    8 views22 pages

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document

    Copyright:

    © All Rights Reserved
    Download as PDF or read online from Scribd
    Flag for inappropriate content
    8 views22 pages

    Métodos Numéricos - Capitulo 2

    Uploaded by

    LAURA GARZON CANTOR

    Copyright:

    © All Rights Reserved
    Download as PDF or read online from Scribd
    Flag for inappropriate content
    of 22
    CAPITULO 2 SERIES DE TAYLOR En vista de la dificultad de trabajar con algunas funciones y dada la facilidad de otras, lo que se buscard en esta seccién es aproximar de alguna manera las funciones “dificiles” por medio de funciones “faciles”. Las funciones més sencillas que se conocen son los polinomios, ya que para evaluar estos nunca se tiene problemas de dominio y solo basta con la suma y al producto usual de nimeros reales para evaluarlos. En esta seccién se buscard dicha aproximacién. 2.1 Series de MacLaurin ‘Consideremos una recta, por ejemplo: f(x)=2x+3 Para conocer la ecuuacién de una recta necesitamos saber un punto y la pendiente de la recta. Si se reformula en este caso, por ejemplo, se podria sacar un punto evaluando la funcién fen cero, asi 0) = 3 y, ademés, se necesita sacar la pendiente (es decir el crecimiento de fen cero), es decir: f(0)=2 Ahora, es natural pensar en el proceso inverso, si se tiene un punto f{0) y la ppendiente f"(0), ise puede encontrar la recta, zen qué format? 22 Merooos w encos Para esto, se puede ver la recta como: fix) = flO) + f()x Si se quiere generalizar esta observacién, analicese un polinomio de grado 2: ffx) =2+3x+ 78 Se saca un punto y el crecimiento en este punto, asi f(0) = 2, f"(0) = 3, con estos dos datos, a diferencia del caso de la recta, no es posible recuperar la funcién original, se necesita un dato adicional que es la segunda derivada (es decir, el crecimiento del crecimiento), f(0) =14 aSera que con estos datos se puede recuperar la funcidn original y, de la misma forma, la recta?, es decir, el punto mds el crecimiento, multiplicado por x, més el ctecimiento del crecimiento, por x dos veces. Véase: Cuando se analiza esto, se ve que el coeficiente de xno es el original ;Por qué se afect6? Y se nota que al derivar ese coeficiente, este fue multiplicado por dos en la primera derivada; ast, para recuperar la funcin se debe dividir el crecimiento del crecimiento entre dos y se ve que, efectivamente, se puede recuperar la funcién de la siguiente manera: f°(0) 2 F(x)= (0) +/(0) ‘Trétese de generalizar este resultado, sea p(x) un polinomio de grado tres, se intentard recuperar si se tienen los datos /(0), ["(0),"(0) y f"(O), entonces: “(0)x? 31 F(x En general, un polinomio se puede escribir como: an s()=fo}-7 0) LOE. foes (oer LO ,f Nétese que esta es una suma, donde el niimero de términos depende del grado del polinomio, esto se debe a que si el polinomio es de grado 1, las derivadas superiores se anulan (son cero). Ahora, si se trata de generalizar este hecho a fanciones diferentes a los polinomios, la expresién 2.1 no sirve, ya que las derivadas nunca se anulan a partir de cierto n, por lo tanto se construira una serie, Ja cual sera llamada serie de MacLaurin y es dada por: (2.2) £( Ahora, como es una ser se puede construir para deben estar definidos, ¢ una vecindad de cero. ble en una vecindad de de fy seré denotada por Ejemplo 2.1. Hallar I Considérese la funcién funcién, asi Después se evaluarin to Sustituyendo estos valor Denotando esta serie po Esta es la serie de MacLa 5 jqué relacién existe e Esta pregunta ya fue MacLaurin y el polinom SMp(x)=p(x), sila funci Antes de contestar esta Ejemplo 2.2. Hallar las Al igual que en el ejemy puede ver que (;Seaor le Carmmao 2: Sens 0¢ Timon 23 (2.2) f(0)+f" (0) O” w )e +e fe a nl Ahora, como es una serie no se puede garantizar que esta converge, sin embargo, si se puede construir para cualquier funcién donde los valores {f(0),"(0).f"(O)---} deben estar definidos, es decir, la funcin debe ser infinitamente diferenciable en una vecindad de cero. Definici6n 2.1, (serie de MacLaurin). Sea funa funcién infinitamente diferencia- ble en una vecindad de cero, la serie dada por 2.2 es llamada la serie de MacLaurin de fy ser denotada por SMF (Burden y Faires, 2003) Ejemplo 2.1. Hallar la serie de MacLaurin de fix)=e' Considérese la funcién f(x)=e% el primer paso es hallar todas las derivadas de la funcién, asf: Aad=f () =f" =. Después se evaluarén todas en cero: 1=fl0) =f (0) =f" (0) Sustituyendo estos valores en 2.2, se obtiene: 1a By aE. pe fF (x)= ™(0) 2! Denotando esta serie por SMF(x), asi: SMf(: HES Esta es la serie de MacLaurin de la funcién exponencial, ahora la pregunta natural es squeé relaci6n existe entre lafuncién y la serie de MacLaurin? nl Esta pregunta ya fue contestada para los polinomios, en ese caso la serie de ‘MacLaurin y el polinomio son iguales, es decir, si p ¢s un polinomio se tiene que ‘SMp(x)=p(2), sila funcién no es polinémica, sse cumple la igualdad? [Antes de contestar esta pregunta, considérese el siguiente ejemplo: Ejemplo 2.2. Hallar la serie de MacLaurin i Ja funcién: f)- ee Al igual que en el ejemplo anterior, se deben hallar todas las derivadas de fi Se puede ver que (;Seftor lector: verificar!): 24 |Mer0008 unerecos ——_Matooosmumencos FC (Ex ‘Asi, evaluando estas derivadas en cero se lega a: f0(0) = n! Sustituyendo en 2.2, se obtiene que; aaisu( 2 ares Ph. Ix, ‘Vuelvase a la pregunta jqué relacin existe entre la serie y la funcién? Para esto, se van a tabular algunos valores de xen la funcién fy la serie de MacLaurin de la funcién SMf. Asi, se consideran algunos valores particulare Tabla 2.1 Valores dela sucesién x TARE tate o i 14040104400. oe l= | S0g-Gh4 Fuente elaboracn poi, Estos valores sugieren que la igualdad se tiene, sin embargo, al seguir evaluando valores més alejados de cero, a funcién f pueda tener “problemas” (valores que no pertenecen al dominio de la funcién). Tabla2.2 Valores dela sucesién x ee Tent 1 | Noestédefnida [1414740440 .0m Z fl T4242 P44 PH we Fume elsboracin propia, En estos puntos, la el segundo valor x. ositivos dé un nega Delo anterior se pue de x. Ahora, la cuest Analicese qué pasa c 2.2; esta funcién tie recordar que esta cer << Alit hasta el problem extremo sea el punto la funcién o al domini el cual serd llamado in En este intervalo de co tremos del intervalo n este no es un proceso de cual debe ser el inte Para hallar el intervalo de series, como por eje Véase aqui el criterio d ii Y,por tanto, x11), tiene la convergencia a Cartruro 2: Seaies 0€ Tan.on 25 En estos puntos, la funcién y la serie de MacLaurin no son iguales, es més, en el segundo valor x =1 no tiene ningun sentido decir que la suma de nimeros positivos dé un negativo. Delo anterior se puede concluir que SMf(x) = f(x) se cumple para ciertos valores de x, Ahora, la cuestién es spara cudles? ‘Analicese qué pasa con el dominio de la funcién y de sus derivadas en el ejemplo 2.2: esta funci6n tiene problemas de domino en x = 1, sin embargo, se debe recordar que esta centrada en x = 0, asf: Gréfica 2.1 Dominio dela funcién fe [eeeeneel tas Estamos aqui Problema Fuente: labora poi. Alir hasta el problema, se tomar un intervalo abierto con centro en cero y cuyo extremo sea el punto més cercano de los puntos que no pertenecen al dominio de la funcién o al dominio de alguna de sus derivadas. Asi, se tiene el intervalo (-1,1), el cual serd llamado intervalo de convergencia. Eneeste intervalo de convergencia se puede asegurar que SMf (x) = fix), en los ex- tremos del intervalo no se puede asegurar nada y por fuera son diferentes, aunque este no es un proceso formal para probar la convergencia de la serie, da una idea de cual debe ser el intervalo donde se tiene la igualdad de la serie de MacLaurin. Para hallar el intervalo de manera analitica, se recurre a criterios de convergencia de series, como por ejemplo, criterio del cociente o la raiz. ‘Vease aqui el criterio del cociente aplicado a la serie 2.3 Y, por tanto, x €(-1,1), es decir SMF (x) = f(x) para los valores de x en los cuales se tiene la convergencia absoluta y uniforme de SMf (x) = x). 26 Meroo0s numenicos Ahora, volviendo a la funcién fx) = e', al aplicar criterio del cociente se tiene: am timate Dima * Ln Bla, Peel at esha nl Es decir, la serie es convergente para todo valor real. Esto se esperaba, ya que la funcién exponencial no tiene problemas de dominio. Con esto, se puede asegurar ‘que para todo valor real se cumple. Pee Qatar tthe Ey a 3! nt Viéndolo en otra forma, la ecuacién dice que se puede aproximar la funcién exponencial por medio de polinomios, tanto como se desee. Asi, geométricamente se tiene que (grdficas realizadas en maple11): Grafica 2.2 Aproximaciones con series de Taylor or anranmaont ‘ieee sasha ta — teloersraton Aproximacién orden 1;e"= 1-4 TAL Cvofru 2: Senes oe Tav1oR, Ctr 2: Sets oe Tato, [nn a deere meee “Teforapprsimaton ot sneterosei fo) — tporaspronmaton Aproximadién orden 2; erates ws = os + a) taporssprxiation aap ‘Aproximacién orden 3;¢"1+x-+=—+— 26 27 28 ‘Merop0s Nunencos Moos mmwencoss “et appreninnton ot ‘ieee seaneboae 1) 8) — toyernpramaton Aproximacion orden 4:e" 2 1-+x-4+% 4% 4% Paria’ Fuente des cua abla labora ropa, Como se observa, a medida que avanza el grado de la serie de MacLaurin, mejora Ia aproximacién. 2.2 Series de Taylor La serie de MacLaurin fue calculada evaluando la funcién y todas sus derivadas en cero, esto es llamado el centro. Hay funciones en las cuales no se puede hacer este cdlculo, por ejemplo, la funcién f(x)=x, ya que esta funcién a pesar de que esté definida en cero, sus derivadas no. Existen dos formas de arreglar este problema, la primera es no evaluar la funcién nilas derivadas en cero sino en otro valor, digase c, para esto se trasladaré el centro dela funcién cunidades ala derecha, por traslacién de funciones se sabe que esto se obtiene al sustituir x por (x ¢)y, asi la serie de MacLaurin estaria trasladada, ala que se llamaré, de ahora en adelante, serie de Taylor, y que centrada en c toma Ia forma: (2.5) STH()=f0) +f (Olere) +e OD SPOes = Definicién 2.2. (se: una vecindad de C, en G, y sera denotac Nota 2.1. En el cas misma que la serie ¢ Fécilmente, se pued ‘como cero y traslada y calcular la serie de éjetcicio toma la for STe(x}e(0}+g Con esto, ya se pued calcular la serie de f( real positivo c, que es Esta teorfa es vista de el propésito de nosot: se van a tener alguna 2.2.1 Series de Ta Cuando se trabajan n ‘gunas restricciones pz de la funcién exponer embargo, como el pro con dicho centro; el camente y el segundo tampoco se conozcan Casoi Al hallar la serie de ' forma (x-c)', es decir, © para evitar la propa dec (ver seccién 1.1.2 snuméricamente (por Cavtruo 2: Senes oe Trvi08 29 Definicién 2.2. (serie de Taylor). Sea f una funcién infinitamente diferenciable en una vecindad de C, la serie dada por 5 ¢s llamada la serie de Taylor de f centrada en Gy serd denotada por STcf (Burden y Faires, 2003) (Rudin, 1976). Nota 2.1. En el caso que el centro es cero, se tiene que la serie de Taylor es la misma que la serie de MacLaurin y de esta forma se escribe simplemente el caso: STY(x) = SMflx) Pécilmente, se puede ver que este ejercicio es equivalente a dejar fijo el centro como cero y trasladar la funcién, es decir, redefinir una nueva funcién g(x)=f(x+c) y calcular la serie de MacLaurin, formas mds amigables para la maquina. Asi, el jercicio toma la forma: x ste(epatoye( pL ET, AO, sae Con esto, ya se pueden centrar todas nuestras series en cero, por ejemplo, para calcular la serie de f(x)=/x no se puede centrar en cero, pero sien cualquier valor real positivo c, que es equivalente a calcula la serie de MacLaurin de g(x)=V¥. Esta teoria es vista de manera general, asi este valor ¢ sea arbitrario, sin embargo, el propésito de nosotros es aplicar las series de Taylor numéricamente, con lo cual se van a tener algunas restricciones numéricas sobre dichos valores. 2.2.1 Series de Taylor desde el punto de vista numérico Cuando se trabajan numéricamente las series de Taylor, se deben considerar al- unas restricciones para la escogencia del centro c, por ejemplo, la serie de Taylor Ge la funcién exponencial centrada en c=? se puede calcular analiticamente, sin ‘embargo, como él propésito es trabajar numéricamente, se tienen dos problemas con dicho centro; el primero es que el valor del centro no es conocido numéri- camente y el segundo es que la funcidn y sus derivadas evaluadas en este centro tampoco se conozcan numéricamente, esto lleva a considerar varios casos: Casoi ‘Al hallar la serie de Taylor de f(x) centrada en c, aparecen los términos de la forma (x-c)", es decir, se deben realizar varias operaciones con el valor numérico cc para evitar la propagacion del error en la maquina, debido a la aproximacién de ¢ (ver seccién 1.1.2) es conveniente que el centro sea un valor que se conozca numeéricamente (por lo menos racional). Mero00s nunencos Caso ii Como tambien es necesario trabajar con los valores fc), estos deben exisir, por «jemplo, si se considera la funcién In(x) y se toma el centro en ¢ = 0, es imposible hallar dichos valores fuera de estos, que existan tampoco garantiza un buen trabajo numérico, ya que si para la misma funcién se tomara el centro ¢ = 2, se ve la obligacién de utilizar el valor In2, el cual es un valor desconocido numéricamente. Asi al escoger el centro de una serie de Taylor de una funcién f(x), se deben tener en cuenta los casos anteriores. Otro problema que se presenta numéricamente en las series de Taylor es a misma serie en si, ya que no se pueden numéricamente sumar “infinitos valores’, por lo tanto, se debe parar la suma en algiin término, esto se remedia en parte gracias al teorema de Taylor. Recuérdese la definicién 2.1. (serie de MacLaurin), Sea funa funci6n infinitamente diferenciable en una vecindad de cero, la serie dada por 2.2 es llamada la serie de MacLaurin de fy seré denotada por SMF (Burden y Faires, 2003) eat ey wt 3t ‘Como no se puede trabajar con la serie (desde el punto de vista numérico) ya ue es una suma infinita, entonces se debe truncar la serie, es decir, aproximar la serie por medio de una suma finita, de a misma manera en que la serie de Taylor sugiere que se trabaje con los primeros términos de esta. Entonces, se tiene la forma: Notese que se perdié la igualdad, sin embargo, el teorema de Taylor afirma un poco més, dice que la igualdad se puede recuperar si se suma un término que describe el error. 2.2.2 Teorema de Taylor (truncamiento) Teorema 2.1. (teorema de Taylor). Sea funa funcion infinitamente diferenciable en un intervalo abierto que contiene @ ¢, sea I el intervalo de convergencia de la serie de Taylor generada por fpara cualquier n EN, se tiene la igualdad: 2H se) sO}e/ LOE, PU 9 i) Donde x€I y el por la formula Donde € es un valor Nota 2.2 + Rn(G) nunca + Este teorema ‘un caso part + Nose puede que tiene centro se tendria E Sx Dado que el resto nos ositivo M, tal que: Donde M depende & desigualdad: F(0)+F"(0)x+. a Ejemplo 2.3. Conside lun error no mayor 2 i Del ejemplo 2.1 se sabe Por lo tanto, el resto ta Nota 2.3. Se observa es el punto en el quese: se conoce. Asi, se acota ign sobre & de esta for donde se trunca la serie Carino 2: Sens o¢ Tanon 31 uo 2: SeesieTanon Donde x&I y el término que describe el error (el cual se Ilamaré resto) es dado por la formula: me (Ea ™ (n+l)! Donde es un valor que esta entre cero y x (Rudin, 1976). Nota 2.2 + Rn(6) nunca seri conocido, es més, el valor de € nunca seré conocido. + Este teorema obviamente es aplicable a la serie de MacLaurin, ya que este es. tun caso particular de la serie de Taylor, + Nose puede escribir & €(0, x), ya que el valor de x esté en un intervalo abierto que tiene centro en ceto, es decir, el valor de x puede ser negativo con lo cual se tendria E(x, 0). Dado que el resto no se puede medir, se debe acotar, es decir, buscar un valor real positivo M, tal que: (2.7) |R,(E)sM Donde M depende tinicamente de n. Si se puede encontrar este valor, se tendré la desigualdad: (2.8) Msf(x)sf(OpS (Ose. oO ag 1 HO} Ose AO Ejemplo 2.3. Considerar la funcién flx) e*y calcular una aproximacién de ¢ con un error no mayor a 10% Del ejemplo 21 se sabe que" (®) Por lo tanto, el resto toma la forma: cone Nota 2.3, Se observa que el resto depende de tres variables &, x yn y sel valor de x es el punto en el que se evaluaré la funcién que en este caso es x= 1, el valor de & no se conoce, Asi se acotarn todos los factores que dependen de él, usando la restric- cién sobre de esta forma el resto dependeré tinicamente de n, que dar el término donde se trunca la serie. 32 Meroo0s nusencos Alacotar la parte que depende de & se tiene que: O 0, cuando k> <, Esto permite que se pueda usar el criterio de la tolerancia para parar la sucesin de sumas parciales. Ejemplo 2.6. Por medio de las sumas parciales de la serie de Taylor de In(x+1), halle una aproximacién de In(3) con por lo menos dos cifras significativas, Dada por: Del ejemplo anteri puede tomar la suc Antes de comenzar tolerancia que en es ¥ tal como en el ¢ cevaluar Ia serie es x Asi, se tiene que el cumple cuando: EN, Ast, la posible aprox de In3 con por lo me Es decir las dos prim Ejemplo 2.7. Aprox la serie de McLauris significativas. Solucién: ver ejercici Cavtuno 2: Sens 0¢ Tartok 39 Del ejemplo anterior se tiene que la serie de Taylor es dada por 2.5, de lo cual se puede tomar la sucesién de sumas parciales {sy §, 5, «} dada por ones n ‘Antes de comenzar a evaluar la sucesién de sumas parciales, se debe calcular la tolerancia que en este caso es: T,= 10%= ,001 ¥ tal como en el ejemplo anterior, se sabe que el valor que se debe tomar para evaluat la serie es x = 2,10 cual se muestra en la siguiente tabla: Tabla 2.7 Fjemplo 2.6 a i Na 1 |_-0.666666667 | -0,666666667 2 | carne | -ossesases | 02500000 3 | -cove7esas2 | -0.967654321 | _0,1000000 4 | -oossaez7ie | -1,037037037__| 00476190 5 | 0026337449 | -1,063374486 | _0,0247678 6 | 0014631916 078006401 | _0,0135731 7 | 2008361095 | -1,086367496 | o,0076064 8 | -000477305 | -1,091244802 | _0,0044695 9 | -ozesorss | -1,094135057_| _o0026a16 10 | -ooot73a15s | -109sa6s210 | _0,0015824 a1 | -oootost002 | -1,096920211 | _0,0009581 Fuente ean poi As{, se tiene que el criterio para parar la sucesién dada por el teorema 1.3 se cumple cuando: EN,,

    You might also like