Semn 2 - Clse 5 19/09/08 Tem 1: Series Series de Potencis y Series de Tylor 1. Algebr y convergenci de series de potencis El álgebr elementl de series se puede reconsiderr l luz de ls series de potencis. De est form recordmos que los índices en ls series son mudos n n (x x 0 ) n 1 = j j (x x 0 ) j 1 = j=1 k=0 k+1 (k + 1) (x x 0 ) k en l últim sumtori hemos hecho k = j 1, por lo cul j = k + 1. Ls series se iguln b n (x x 0 ) n = n n (x x 0 ) n 1 b n (x x 0 ) n = k+1 (k + 1) (x x 0 ) k = k=0 n+1 (n + 1) (x x 0 ) n por lo cul Si l iguldd hubier sido n (x x 0 ) n = n n (x x 0 ) n 1 = Ls series se sumn n (x x 0 ) n + o tmbién n (x x 0 ) n + b n = n+1 (n + 1). b k (x x 0 ) k = 0 + 1 (x x 0 ) + k=2 n+1 (n + 1) (x x 0 ) n = n+1 = n (n + 1) ( n + b n ) (x x 0 ) n n=2 b k+2 (x x 0 ) k+2 = 0 + 1 (x x 0 ) + k=0 = ( n + b n ) (x x 0 ) n n=2 ( n + c n 2 ) (x x 0 ) n, y en este último cso c 2 = c 1 = 0 y c i = b i+2. Nótese como en los dos ejemplos nteriores hemos hecho coincidir los dós índices de l sumtori desde el comienzo. Héctor Hernández / Luis Núñez 1 Universidd de Los Andes, Mérid
Semn 2 - Clse 5 19/09/08 Tem 1: Series con L series tmbién se multiplicn, esto es n (x x 0 ) n b n (x x 0 ) n = c n (x x 0 ) n c n = 0 b n + 1 b n 1 + 2 b n 2 + + j b n j + + n 2 b 2 + n 1 b 1 + n b 0 Si lgun de ls series de potencis es bsolutmente convergente, entonces su multiplicción con otr, será bsolutmente convergente. Pero tmbién ls series de potencis se invierten! y pr ello utilizmos todo lo visto nteriormente vemos. Supongmos que se tiene un serie del tipo y y 0 = 0 + 1 (x x 0 ) + 2 (x x 0 ) 2 + + n (x x 0 ) n + = n (x x 0 ) n Es decir tenemos y y 0 expresdo en términos de un serie de potencis de (x x 0 ) n entonces, igul podremos plnternos invertir el proceso, vle decir, expresr (x x 0 ) en términos de potencis (y y 0 ) n Esto es (x x 0 ) = b n (y y 0 ) n (x x 0 ) = k b k j (x x 0 ) j k=0 j=0 y l igulr términos con l mism potenci, despejmos los coeficientes b n en términos de los n, de form que b 1 = 1 1 b 2 = 2 ( 1 ) 3 b 3 = 2( 2) 2 1 3 ( 1 ) 5 b 4 = 5 1 2 3 2 1 4 5 3 2 ( 1 ) 7. =. Igulmente, si un serie f(x) = n(x x 0 ) = c n (x x 0 ) n converge pr un entorno R x R entonces por el criterio de Myornte de Weierstrss, convergerá bsolut y uniformemente pr S x S con 0 S R. Más ún, el criterio de Abel nos grntiz ls siguientes propieddes: Héctor Hernández / Luis Núñez 2 Universidd de Los Andes, Mérid
Semn 2 - Clse 5 19/09/08 Tem 1: Series Ddo que todos los términos n (x) = c n (x x 0 ) n son funciones contínus de x y f(x) = c n (x x 0 ) n converge uniformemente pr un entorno S x S, entonces l función f(x) es contínu en el intervlo de convergenci. Si los términos n (x) = c n (x x 0 ) n son funciones contínus de x, entonces l serie puede ser derivd término término d c n (x x 0 ) n = c n n (x x 0 ) n 1 (nótese como cmbi el comienzo de l serie) y convergerá c n n (x x 0 ) n 1 df(x) n (x) d n(x) contínus n (x), converge uniformemente en, b. De igul mner ls series pueden ser integrds término término b f(x) = b c n (x x 0 ) n = b c n (x x 0 ) n = c n n + 1 (x x 0) n+1. 2. Serie de Tylor Pr los físicos el uso propido (y frecuente) de l serie Tylor fcilit muchos cálculos. L ide detrás de este tipo de series es l de l proximción de un determind función por un serie de potencis en donde existe un form sistemátic de construir los coeficientes y, dependiendo de el número de términos que utilicemos en l serie, tendremos un ide de cun proximd es l serie y cunto es el error que cometemos l desrrollr l serie hst un determindo término. Así supodremos que f = f(x) es un función contínu y contínumente diferencible. Con lo cul, si denotmos df(x) = f (x), entonces supondremos que f (x), f (x), f (x),, f (n) (x) están definids en el intervlo, b. De cursos nteriores se sbe que: +h f (x) = f(+h) f() f(+h) = f()+ +h f (x) f(+h) f()+hf (), donde hemos supuesto que en intervlo, + h l función f (x) es constnte y tiene como vlor f (). Ahor bien, esto vle todo x y pr culquier función, por lo tnto se cumple Héctor Hernández / Luis Núñez 3 Universidd de Los Andes, Mérid
Semn 2 - Clse 5 19/09/08 Tem 1: Series que: f(x) f() + (x )f (), Con lo cul podemos construir f(+h) = f()+ +h f (x) f () + (x )f (), f (x) f () + (x )f (),.. f (n 1) (x) f (n 1) () + (x )f (n) (). f (x) f()+ +h f () + (x )f () f()+hf ()+ h2 2 f (),, que no es otr cos que un proximción de segundo orden f( + h). En generl podemos construir f( + h) = f() + +h = f() + hf () + = f() + hf () + f (x) = f() + +h +h dv du = f() + hf () + h2 2 f () + +h ( +h +h +h f (x) dv du f () + f () + ( +h dv +h +h +h f (x) ) f (x) ) f (x) y si repetimos ese procedimiento n veces, suponiendo que ls derivds de f(x) existn, tendremos l proximción n 1 l función. Esto es f( + h) = f() + hf () + h2 2! f () + h3 3! f () + + hn 1 (n 1)! f n 1 () + R n y tmbién es fácil convencerse por inspección que el residuo o el error que cometemos en l proximción n 1 viene ddo por l integrción enésim de l derivd enésim, vle decir R n = +h y por el Teorem del Vlor medio +h du dτg(τ) = hg(ξ) +h dv }{{} n veces +h f (x) R n = hn f (n) (ξ) con ξ + h Héctor Hernández / Luis Núñez 4 Universidd de Los Andes, Mérid
Semn 2 - Clse 5 19/09/08 Tem 1: Series Ahor bien, un elección stut del prámetro h = x nos llev l conocid expresión de l serie de Tylor pr un función de un vrible f(x) = f() + (x )f () + y el error vendrá ddo por R n = (x )2 f () + 2! (x )n f (n) (ξ) (x )3 f () + + 3! con ξ + h (x )n 1 f n 1 () + R n (n 1)! sí l expnsión de Tylor especific el vlor de un función en un punto x en términos de el vlor de l función y sus derivds en un punto de referenci. L expnsión se hce en términos de potencis de l diferenci, (x ), entre el punto que se evlú y el punto de referenci. Alguns otrs forms de expresr l serie de Tylor, serín f(x + h) = h n f n (x) = h n dn n f(x) = h n D n f(x) = e hd f(x) donde, D d Si el punto de referenci es = 0 tendremos l serie de Mclurin f(x) = f(0) + xf () + x2 2! f () + x3 3! f () + + xn 1 (n 1)! f n 1 () + R n 2.1. Alguns Series de Tylor Un listdo incompleto de ls series de Tylor más utilizds es e x = 1 + x + x2 2 + x3 3! + x4 4! + + xn + pr < x < sen x = x x3 3! + x5 5! x7 7! + + ( 1)n+1 x 2n 1 (2n 1)! + pr < x < cos x = 1 x2 2 + x4 4! x6 6! + + ( 1)n+1 x 2n 2 (2n 2)! + pr < x < rctn x = x x3 3 + x5 5 x7 7 + + ( 1)n+1 x 2n 1 (2n 1) + pr 1 < x < 1 ln(1 + x) = x x2 2 + x3 3 x4 xn + + ( 1)n+1 4 n + pr 1 < x < 1 (1 + x) m = 1 + mx + m(m 1) x2 2 + m(m 1)(m 2)x3 3! + + m! (m n)! xn + x Héctor Hernández / Luis Núñez 5 Universidd de Los Andes, Mérid
Semn 2 - Clse 5 19/09/08 Tem 1: Series 2.2. L expnsión binomil Por su uso frecuente, consideremos el cso de l expnsión binomil (1 + x) m = 1 + mx + m(m 1) x2 + m(m 1)(m 2)x3 2 3! + = m! (m n)! xn, ( ) m = x n, n ( ) m donde el término se denomin el coeficiente binomil y l serie termin cundo n m = n. Ahor bien, escrito de l form compct se sugiere que el exponente m tendrí que ser entero y positivo. Pero no es sí. L serie explícit no se restringe vlores enteros y positivos de m. Por ello, l form compct pero exct de l expnsión binomil es ( 1 + x ) m ( x m(m 1) ( x ) 2 m(m 1)(m 2) ( x ) 3 = 1 + m + + + ) 2 3! Γ(1 + m) ( x ) n =. Γ(1 + n)γ(1 + m n) Donde hemos utilizdo l función Γ(x) como l generlizción del fctoril pr vlores que no se restringen enteros positivos. Cundo m es un entero positivo tendremos Γ(1 + m) = m!. Nótese tmbién que si el exponente es negtivo, ( 1 + x ) m tiene un singulridd o un polo en x =. 2.3. Tylor en vris vribles Sólo por rzones de completitud, y pr reforzr los conceptos de que es un desrrollo en series pr un función lrededor de un determindo punto, escribiremos el desrrollo en series de Tylor pr un funcionón de dos vribles f = f(x, y). Est es f(x, y) = f(, b) + (x ) f x b + (y b) f y b + 1 (x ) 2 f b xx + 2(x )(y ) f xy 2! b + (y ) 2 f yy b + 1 (x ) 3 f xxx 3! b + 3(x ) 2 (y ) f xxy b + 3(x )(y ) 2 f xyy b + (y ) 3 f yyy b + De un mner más compct f ( ) x j + x j 1 ( ) 0 = x k n k f (x m ) x m =x m 0 f ( r + ) = 1 ( ) n r f (x m ) Héctor Hernández / Luis Núñez 6 Universidd de Los Andes, Mérid r=
Semn 2 - Clse 5 19/09/08 Tem 1: Series Dónde hemos utilizdo l siguiente convención f x = x = x; f y = y = y; f xx = 2 x 2 = xx; f xy = 2 x y = xy; f yy = 2 y 2 = yy; Héctor Hernández / Luis Núñez 7 Universidd de Los Andes, Mérid