Series de potencia
La velocidad de cada de un paracaidista de masa m viene dada como funcin del tiempo por
v (t ) = 40 mg tanh
v (t ) = gt (g 2 /120m ) t 3 .
En el apndice 1 se presenta el anlisis de aproximar muchas funciones por medio de los polinomios de Taylor. As por ejemplo, la funcin f ( x) = sen x que aparece all en el ejemplo 4 puede aproximarse por un polinomio de Taylor de 5 grado en la forma
sen x x
x3 x5 + . 3! 5!
2 En este captulo veremos que muchas funciones, incluyendo a sen x , e x , etc., x pueden representarse exactamente por una serie de potencias y obtener el valor
1 0
e x dx
2
sen x dx, los cuales son imposibles de calcular por los mtodos estudiados en x el captulo 3.
Captulo 6: Series de potencia preguntas: (1) qu funciones pueden representarse por medio de series de potencias?; (2) cul es el dominio de la funcin (intervalo de convergencia) para que dicha funcin pueda representarse como una serie de potencias? En el primer mdulo de este captulo presentamos los conceptos bsicos que se refieren a la segunda pregunta.
378
30
Preguntas bsicas
1. Para qu valores de x se cumple la siguiente igualdad?:
1 = 1 + x + x 2 + x 3 + x 4 + ... 1 x
a ( x 3)
n=0 n
converge para
Introduccin
En el ejemplo 1 del mdulo 27 vimos que la serie geomtrica
ar
n =1
n 1
= a + ar + ar 2 + ar 3 + ... + ar n 1 + ...
a , 1 r
es convergente siempre que r < 1 , y en este caso la suma converge al valor es decir:
ar
n =1
n 1
= a + ar + ar 2 + ar 3 + ... + ar n 1 + ... =
a . 1 r
(1)
379
(2)
Ntese que el dominio de f(x) son todos los reales x, x 1 . Sin embargo, si x +2, se tendr
1 = 1 + 2 + 22 + 23 + ... + 2n 1 + ..., 1 2
igualdad que carece de validez. Cabe entonces la siguiente pregunta: para qu valores de x tiene sentido la igualdad (2)? El propsito de este mdulo es dar respuesta a esta pregunta.
380
c [( x)]
n=0 n
(1)
ii.
Si ( x) = ( x a), la serie:
c ( x a)
n=0 n
= c0 + c1 ( x a) + c2 ( x a) 2 + ... + cn ( x a) n + ...
(2)
c x
n=0 n
= c0 + c1 x + c2 x 2 + ... + cn x n + ...
(3)
Observaciones
i.
c 0
n =0 n
= c0 + c1 0 + c2 02 + c3 03 + ...
De aqu, c0 00 = c0 , pero 0 no es un nmero, lo que indica una pequea falla en la definicin y en la cual pasaremos inadvertidos. En este caso se conviene entonces que c0 00 es igual a c0. ii. Los trminos cn ( x a ) n en (2) y cn x n en (3) son llamados trminos generales de las series (2) y (3), respectivamente. Una serie de potencias es un ejemplo de una serie de funciones. Para un valor fijo de x, las series de potencias se transforman en series de trminos constantes y cuya convergencia o divergencia depende del valor de x. Frecuentemente estamos interesados en responder la pregunta: para qu valores de x, una serie de potencias dada converge? La respuesta es simple: los valores de x para los cuales una serie de potencias converge forman un intervalo de la recta real, un punto nico o toda la recta real.
iii.
Vea el mdulo 30 del programa de televisin Elementos bsicos de clculo integral y series
381
Captulo 6: Series de potencia El siguiente teorema nos proporciona la respuesta adecuada. Se har el razonamiento inicial para series de potencias de la forma
a x , pero los
n n =0 n
a ( x a) .
n n=0 n
Teorema 1 Sea {an } una sucesin de reales y P 0 . Supongamos que la serie de trminos constantes mente. Demostracin Si la serie de trminos constantes
n +
a P
n=0 n
a x
n=0 n
converge absoluta-
a P
n=0 n
teorema 1 del mdulo 28, lim an P n = 0. Es decir, dado = 1 > 0, existe N ` tal que si
n n > N , entonces an P < 1.
(1)
Ahora
an x n = an P n . xn x = an P n . Pn P
x . P
As que
an x n = an P n
Como la serie
P
n=0
x < P
a x
n=0 n
a x
n=0 n
converge.
382
Mdulo 30: Intervalo de convergencia y radio de convergencia de una serie de potencias Observacin i. De acuerdo con el teorema anterior, el conjunto en el cual la serie de potencias
a x
n=0 n
al cero ( x < P P < x < P ) . ii. El conjunto I.C.A. = { x : x < p } se llama intervalo de convergencia absoluta de la serie de potencias
a x .
n n =0 n
Figura 30.1
iii.
iv.
a x
n=0 n
1.
Si R = 0, entonces la serie slo converge absolutamente para x = 0 y diverge para x 0. Si R > 0, entonces la serie converge absolutamente para x < R y diverge para x > R . Para determinar si el I.C.A. es semiabierto o cerrado se debe hacer el anlisis de la serie numrica resultante al reemplazar en la serie
2.
a x
n=0 n
3.
a x
n=0 n
converge absolu-
383
c x
n=0 n
hacemos an = cn x n , entonces, de
acuerdo con el criterio del cociente absoluto (teorema 3, mdulo 29), la serie
a
n=0
n +
an+1 < 1. an
Por tanto, para determinar el I.C.A. y el radio de convergencia R podemos usar la ltima desigualdad. vi. Observaciones similares a las cuatro anteriores pueden hacerse para las series de potencia de la forma
c ( x a) . En particular, la observan n =0 n
c ( x a)
n=0 n
1.
Si R = 0, entonces la serie converge absolutamente para x = a y diverge para x a. Si R > 0, la serie converge absolutamente para x a < R y diverge para x a > R. En el caso de la convergencia, se tiene:
xa <R R < xa < R a R < x < a + R.
2.
Figura 30.2
384
Para las siguientes series de potencias determine el I.C.A. (intervalo de convergencia absoluta), el IC (intervalo de convergencia) y el R (radio de convergencia).
a.
(1)
n =1
n 1
xn n
b.
n! x
n =0
c.
n!
n=0
xn
d.
x
n=0
xn . n
xn n
(1)
n =1
n 1
(1)
Pero
n +
lim
n n = x lim = x < 1, n + n +1 n +1
es decir, la serie de potencias converge absolutamente si x < 1. En conclusin: I.C.A. = { x : x < 1} = { x : 1 < x < 1} . Geomtricamente corresponde al intervalo de la recta real que aparece en la figura 30.3.
Figura 30.3
385
Anlisis en los extremos del intervalo Si x = 1, entonces, sustituyendo este valor de x en (1), la serie de potencias se transforma en la serie de trminos constantes
(1)n 1
n =1
(1) n , n
que corresponde a una serie divergente. Si x = 1, entonces, sustituyendo este valor de x en (1), la serie de potencias se transforma en la serie de trminos constantes
(1)
n =1
n 1
1 , n
(1)
n =1
n 1
1 1 1 1 1 =1 + + ... 2 3 4 5 n
que corresponde a la serie armnica alterna que es condicionalmente convergente. La figura 30.4 recoge toda la informacin anterior.
Figura 30.4
386
Mdulo 30: Intervalo de convergencia y radio de convergencia de una serie de potencias Esto es,
n +
lim
Puesto que
lim (n + 1) = + ,
n +
entonces la ltima desigualdad tiene sentido slo cuando x = 0, es decir, cuando x = 0, lo cual indica que la serie de potencias absolutamente para x = 0 y diverge si x 0.
n! x
n =0
slo converge
c.
Sea an =
xn . n!
Entonces,
n +
lim
y puesto que
n +
lim
1 = 0, n +1
n +
lim
desigualdad que se verifica independientemente del valor que tome la variable x . Es decir, la serie converge absolutamente para todo x . En conclusin: I.C.A. = (, +) = I.C. y R = +.
387
lim
an +1 x n +1 = lim n = x . n x an
x
n =0
Si x = 1, la serie de potencias
x
n=0
(1)
n=0
= 1 1 + 1 1 + 1 1 + ... ,
Si x = 1, la serie de potencias
x
n=0
se transforma en la numrica
1 =1
n n=0 n=0
la cual es divergente (criterio de divergencia para series). En conclusin: I.C.A. = I.C. = (1,1) y R = 1. Ejemplo 2 Determine el I.C.A., el I.C. y el radio de convergencia de las series de potencias siguientes:
a.
n =1
( x 3) n 2n n
b.
( x + 3) n . 5n n=0
c.
k (k + 1)(k + 2)...(k + n 1) n x n! n =1
k 1.
388
Mdulo 30: Intervalo de convergencia y radio de convergencia de una serie de potencias Solucin Sea an =
( x 3)n 2n n
a.
La serie
n =1
( x 3) n 2n n
an +1 < 1. an
Esto es,
n +
lim
o
lim
n
lim Y como n
n = 1, se deduce que n +1
x3 2
Por ahora se puede deducir que el I.C.A. = { x :1 < x < 5} . Anlisis en los extremos del intervalo Si x = 1, la serie de potencias
n =1
( x 3) n 2n n
2
n =1
(2)n
n
=
n =1
(1)n n
n =1
(1) n n
pero la serie
n =1
1 n =1 n
1/ 2
1 < 1). 2
n =1
( x 3) n 2n n
389
2
n =1
2n
n
=
n =1
1 n
la cual es divergente.
Figura 30.5
b.
Sea an =
( x + 3)n . 5n
Es decir:
n +
lim
390
Mdulo 30: Intervalo de convergencia y radio de convergencia de una serie de potencias Si x = 2, la serie se transforma en
Figura 30.6
c.
n+
lim
an +1 k (k + 1)(k + 2)...(k + n 1)(k + n) xn+1 n! < 1 lim <1 n + an (n + 1)! k (k + 1)...(k + n 1) xn k +n lim x <1 n+ n +1 x <1 1 < x < 1.
El I.C.A. = { x : 1 < x < 1} y R = 1.
Anlisis en los extremos del intervalo Cuando x = 1, la serie dada se transforma en la serie de trminos constantes:
k (k + 1)(k + 2)...(k + n 1) . n! n =1
(1)
391
y el criterio no proporciona informacin con respecto a la convergencia o divergencia de la serie (1). Al fallar el criterio del cociente, el criterio de Raabe (teorema 8, mdulo 28) puede proporcionar la informacin necesaria. Considrese entonces el siguiente lmite:
a lim n n 1 . n + an +1
Esto es,
a (1 k )n n +1 1 = lim = 1 k = . lim n n 1 = lim n n + n + n + n + k + a n k n +1
Como por hiptesis, k 1, 1 k 0, es decir, < 1 y la serie es divergente. Dejamos al lector el anlisis y consideracin resultante al sustituir en la serie inicial x por 1 y demostrar que la serie resultante es divergente. Por tanto, la serie converge absolutamente en (1, 1). En conclusin: I.C.A. = I.C. = ( 1, 1) y R = 1. Observacin Para determinar el radio de convergencia de una serie de potencias de cualquiera de las formas:
c x
n=0 n
(1)
c ( x a) ,
n n =0 n
(2)
n +
an . an +1
Ahora, como la serie (1) corresponde a una serie alrededor de x = 0, el intervalo de convergencia absoluta de la serie de potencias (1) es ( R, R) . Grficamente corresponde al intervalo de la recta real que aparece en la figura 30.7.
Figura 30.7
392
Similarmente, como la serie (2) corresponde a una serie alrededor de x = a, el intervalo de convergencia absoluta de la serie dada por (2) es (a R, a + R) y corresponde al intervalo de la recta real que aparece en la figura 30.8.
Figura 30.8
393
394
31
James Gregory James Gregory, matemtico y astrnomo escocs, naci en Drumoak en 1638 y falleci en Edimburgo en 1675. Hizo sus primeros estudios en el Marischal College de Aberdeen y posteriormente se traslad a Londres, en donde complet su formacin como matemtico, public su primera obra, Avances de la ptica, y trab amistad con el influyente Robert Moray, antiguo presidente de la Royal Society. Con las cartas de recomendacin de Moray en su poder, viaj a Francia e Italia, en donde estudi geometra, mecnica y astronoma. De regreso en Londres, sus estudios y trabajos en Italia le sirvieron como tarjeta de presentacin ante sus colegas ingleses y logr el respaldo del matemtico John Collins ante la Royal Society, que le acept como socio en 1688. A finales de ese mismo ao fue nombrado catedrtico de matemticas de la Universidad de Saint Andrews, probablemente tambin por intercesin de Moray. All se dedic a la enseanza de la matemtica elemental y de los rudimentos cientficos y a mantener correspondencia con Collins y los grandes matemticos britnicos de la poca: Isaac Barrow, RenFranois de Sluse y, muy especialmente, Isaac Newton. Cuando public su Avances de la ptica en 1663, James Gregory apenas dispona de una biblioteca suficiente sobre el tema y no conoca la ley de refraccin, ni tampoco la obra Diptrica de Descartes, aparecida en 1637. A pesar de ello, formul una ley sobre la refraccin y construy un modelo para medirla, equivalente a la ley del seno, basndose en la experiencia. Fue en esa poca cuando estableci los principios tericos del instrumento que se conoce como telescopio refractor de Gregory.
Preguntas bsicas
1. Sin usar derivacin, determine la expansin en una serie de Maclaurin para la funcin f(x) = sec x. 2. Use la serie binomial para conocer la expansin en una serie de Maclaurin para la funcin f ( x ) = sen 1 x.
Introduccin
Las series de potencias son herramientas tiles para aproximar funciones. Supongamos que la serie de potencias puede escribirse en la forma
a x
n=0 n
f ( x) = a0 + a1 x + a2 x 2 + a3 x3 + ... + ... = an x n
n=0
para cada valor de x perteneciente al intervalo de convergencia de la serie. Se dice entonces en este caso que la serie de potencias serie de potencias de f (x) .
a x
n=0 n
es una representacin en
395
As por ejemplo, la serie del ejemplo 1d del mdulo 30, en serie de potencias de f ( x) =
x , es una representacin
n n =0
xn , es n = 0 n!
396
En el apndice I, teorema 1.1 (frmula de Taylor), se puede ver que la frmula de Taylor con residuo puede utilizarse para determinar una representacin en serie de potencias de una funcin dada. El teorema establece que el polinomio de Taylor de grado n para f ( x) en x = a viene dado por:
f ( x) = f (a) + f (a)( x a) +
donde Rn ( x ) =
(1)
Existe una forma alternativa y muchas veces ms simple de manejar para Rn ( x) , conocida como la frmula de Cauchy o forma integral del resto, dada por
Rn ( x) =
x a
f ( n +1) (t ) ( x t )n dt. n!
Al hacer que n + en la ecuacin (1) se obtiene el teorema que enunciamos a continuacin. Teorema 1: Representacin en serie de Taylor Supongamos que la funcin f (x) tiene derivadas de todos los rdenes en algn intervalo I que contiene el punto a, y adems lim Rn ( x) = 0 para cada x I . Entonn +
ces:
f ( x) =
n=0
(2)
Para una funcin dada f (x), cuando se cumple (2) se dice que es la representacin en serie de Taylor para f ( x) en x = a . Si a = 0, se obtiene:
f ( x) =
n =0
n=0
f ( n ) (a) ( x a)n n!
(3)
Es importante anotar que toda serie de potencias define una funcin cuyo dominio Elementos bsicos de clculo integral y series
397
Captulo 6: Series de potencia es el intervalo de convergencia de la serie. Ejemplo 1 Encuentre la serie de Taylor para f ( x) = ln x en x = a, a > 0.
Vea el mdulo 31 del programa de televisin Elementos bsicos de clculo integral y series
Luego
f ( a ) = ln a, f ( a ) =
O tambin,
f ( x) = ln x = ln a +
Para la funcin f ( x) = ln x, la frmula de Taylor con residuo en la forma de Lagrange en x = a viene dada por:
f ( x) = ln x = ln a +
n x a ( x a) 2 ( x a ) n 1 n n +1 ( x a ) + ... + ( 1) + ( 1) , a 2a 2 (n 1)a n 1 n n n
1 . 1 x
Luego
398
1 es: 1 x
f ( x) =
1 1 1 2! 3! n! = + x + x 2 + x 3 + ... + x n + ... 1 x 1 1 2! 3! n!
Esto es,
1 = 1 + x + x 2 + x3 + ... + x n + ... = x n . 1 x n=0
(5)
x
n=0
es
absolutamente convergente en el intervalo (1, 1). Esto indica entonces que la funcin f ( x) =
1 puede representarse como una serie de potencias en la forma 1 x
b.
g ( x) = sen x
c.
h( x ) = cos x
tucin que f (0) = f (0) = ... = f ( n ) (0) = e0 = 1. Por tanto, la serie de Maclaurin para f ( x ) = e x es:
ex = 1 + x +
x 2 x3 xn xn + + ... + + ... = . n! 2! 3! n=0 n !
(6)
n!
n=0
xn
es
n +
399
y la serie converge absolutamente para todo x (vea el ejemplo 1c, mdulo 30). Para demostrar que la serie (6) representa la funcin e x para todo x , escogemos un valor arbitrario x 0 y usamos la frmula del Resto de Lagrange para dicha funcin, esto es, Rn ( x) = Demostremos que lim Rn ( x) = 0.
n
Para ello, obsrvese inicialmente que para un x fijo el nmero n no es constante y depende de n; adems satisface n < x y, en consecuencia:
en < e .
x
As que:
e n
n xn x x <e . n! n!
Es decir,
Rn ( x) < e
x
xn . n!
do es evidente ya que
n!
n=0
xn
que es
Si g ( x) = sen x, entonces en el ejemplo 4 del apndice I aparecen la funcin y las primeras siete derivadas de la funcin evaluadas en x = 0. Ntese que los valores aparecen por ciclos as:
f (0) = 0, f (0) = 1, f (0) = 0, f (0) = 1 (primer ciclo),
f iv (0) = 0, f ( v ) (0) = 1, f ( vi ) (0) = 0, f ( vii ) = 1 (segundo ciclo).
Entonces,
g ( x) = sen x = 0 + x +
Es decir,
400
donde hemos expresado Rn ( x) en la forma integral de Cauchy. Para demostrar que lim Rn ( x) = 0, partamos del hecho de que
n +
sen
(2 n + 2)
(t ) 1 para todo t.
De esta forma,
x 0
x 0
( x t )2 n +1 dt .
(7)
Ahora, como
x 0
(x t)
2 n +1
( x t )2n + 2 x2n+ 2 dt = , = 2n + 2 0 2n + 2
x 0
En consecuencia,
sen x = x x3 x5 x 7 ( 1) n x 2 n +1 + + ... + + ... 3! 5! 7! (2n + 1)!
sen x =
(1) n x 2 n +1 . n = 0 (2 n + 1)!
(8)
c.
x 0
401
(9)
Puede probarse fcilmente, y se deja como ejercicio para el lector, que las series de potencias (8) y (9) que representan al sen x y al cos x son absolutamente convergentes para todo x . En lo sucesivo, para la representacin de funciones por medio de series de Taylor o de Maclaurin escribiremos stas sin la forma de Resto, asumiendo que en dichos
Rn ( x) = 0. casos nlim +
Ejemplo 4 Determine la expansin en serie de Maclaurin para la funcin f ( x) = ln (1 + x). Solucin Si f ( x) = ln (1 + x), entonces f (0) = ln (1) = 0. Adems,
f ( x) = 1 = (1 + x) 1 , y f (0) = 1 = 0! 1+ x
f ( x ) = (1 + x ) 2 , y f (0) = 1 = 1!
f ( x ) = 2!(1 + x ) 3 , y f (0) = 2! = 2!
De esta forma,
f ( x) = ln (1 + x) =
n=0
ln (1 + x) = x
(10)
En el ejemplo 1a del mdulo 30 demostramos que la serie (10) es convergente en el intervalo (1, 1] y absolutamente convergente en el intervalo (1, 1) . Luego
ln (1 + x) = (1) n 1 x n x 2 x3 x 4 xn = x + + ... + (1) n 1 + ... n 2 3 4 n n =1
402
Mdulo 31: Representacin de funciones por medio de series de potencias En particular, si x =1 se tiene:
(1 + x ) n = 1 + nx +
Nuestro propsito ahora es extender la frmula binomial al caso en el cual n y x est en el intervalo de convergencia de la llamada serie binomial. Ejemplo 5: La serie binomial Determine la expansin en una serie de Maclaurin para la funcin f ( x ) = (1 + x ) m , donde m . Solucin Recuerde que la expansin en una serie de Maclaurin para una funcin dada
f ( x) est dada por f ( x) =
n =0
f ( n ) (0) n x . n!
Si
f ( x) = (1 + x) m , entonces f (0) = 1 f ( x) = m(1 + x) m 1 , f (0) = m f ( x) = m(m 1)(1 + x) m 2 , f (0) = m(m 1) f ( x ) = m(m 1)(m 2)(1 + x) m 3 , f (0) = m(m 1)(m 2) . . . f
(n)
m Si usamos el llamado coeficiente binomial denotado por el smbolo n , el cual se define como:
403
y
m = 1, 0
m (1 + x ) m = x n n=0 n
(serie binomial).
(11)
Asumamos ahora que m no es un entero positivo. Ya que el radio de convergencia R de la serie de potencias viene dado por
m n n +1 = lim = lim = 1, + n + m n mn n + 1
R = lim
n +
an an +1
y como la serie de Maclaurin est centrada en x = 0, se concluye entonces que el I.C.A. = (1, 1). Ahora, el comportamiento de la serie binomial (11) en los extremos del intervalo de convergencia depende de los valores de m, como se describe enseguida sin demostracin: i. ii. iii. Si m 0, la serie (11) converge absolutamente a (1 + x ) m para x = 1. Si m 1, la serie (11) diverge para x = 1. Si 1 < m < 0, la serie converge condicionalmente a (1 + x ) m = 2m para
x = 1 y diverge para x = 1.
Ejemplo 6 Use la serie binomial para expandir en una serie de Maclaurin la funcin
f ( x) =
1 1+ x
404
La funcin
1 m= . 2
f ( x) =
1 1+ x
f ( x) =
1 1+ x
= (1 + x)1/ 2
1 1 1 1 1 1 1 2 2 2 2 2 2 2 1 x3 = 1+ x + x + 2 2! 3! 1 1 1 1 ... n + 1 2 2 2 x n + ... + ... + n!
1 1+ x
= (1 + x)1/ 2
= 1
= 1+
(12)
405
f ( x) = an x n = a0 + a1 x + a2 x 2 + ...
n=0
g ( x) = bn x n = b0 + b1 x + b2 x 2 + ...
n=0
para todo x I 2 (intervalo de convergencia de g). Entonces, para todo x I1 I 2 se cumple que: i.
f ( x) g ( x) = an x n bn x n = [ an bn ] x n
n =0 n =0 n=0
ii. donde,
f ( x) g ( x) = an x n bn x n = cn x n n =0 n=0 n=0
(producto de Cauchy)
cn = ak bn k , n = 0, 1, 2, 3, ...
k =0
Teorema 3: Derivacin e integracin de series de potencias Supongamos que una funcin f ( x) puede expandirse en una serie de Taylor alrededor del punto x = a y en un intervalo I . Es decir,
f ( x) = an ( x a) n = a0 + a1 ( x a) + a2 ( x a) 2 + ... para x I .
n=0
i.
ii.
f ( x) dx =
an ( x a)n dx = an ( x a)n dx
n =0 n =0
( a) n +1 ( a) n +1 = an ; n +1 n=0
, I
En las secciones anteriores hemos restringido nuestra consideracin a series de potencias en x o en ( x a). En el siguiente teorema supondremos, para facilitar la
406
Mdulo 31: Representacin de funciones por medio de series de potencias coleccin y el agrupamiento de trminos, que la funcin g ( x) tiene en su expansin en series de potencias trmino constante igual a cero.
(1) (2)
donde ambas series tienen radio de convergencia positivo; entonces f ( g ( x) ) puede representarse por una serie de potencias en la forma:
y = f ( g ( x) ) = a0 + a1 (b1 x + b2 x 2 + ...) + a2 (b1 x + b2 x 2 + ...) 2 + a3 (b1 x + b2 x 2 + ...)3 + ...
= a0 + a1b1 x + (a1b2 + a2 b12 ) x 2 + (a1b3 + 2a2 b1b2 + a3b13 ) x3 + (a1b4 + 2a2 b1b3 + a2 b2 2 + 3a3b12 b2 ) x 4 + ...
a.
1 0
e x dx
2
b.
1 0
sen x dx x
f (u ) = eu = 1 + u +
( x 2 ) 2 ( x 2 )3 ( x 2 ) n + + ... + + ... 2! 3! n!
Es decir,
e x = 1 x 2 +
2
Ahora, integrando en ambos miembros de la ltima igualdad de 0 a 1, se tiene, de acuerdo con el teorema 3ii:
407
El grado de aproximacin depende del nmero de trminos que se elijan en la ltima expansin. b. De acuerdo con la ecuacin (8) del ejemplo 3, se sabe que
sen x = x x3 x5 x 7 ( 1) n x 2 n +1 + + ... + + ... 3! 5! 7! (2n + 1)!
As que:
sen x x2 x4 x6 (1) n x 2 n = 1 + + ... + + ... x 3! 5! 7! (2n + 1)!
Ahora:
1 sen x x2 x4 x6 (1) n x 2 n dx = 1 + + ... + + ... dx 0 x 0 3! 5! 7! (2 n + 1)! 1
Esto es;
Ejemplo 8
f (n) n 6x . n! 6
408
Mdulo 31: Representacin de funciones por medio de series de potencias Sin embargo, la tcnica de sustitucin y algunas ayudas algebraicas nos permiten escribir la expansin para f ( x) = cos x sin usar derivacin. En efecto,
cos x = cos x + = cos cos 3 3 3 = 1 3 cos x sen x . 2 3 2 3 x sen sen 3 3 x 3
(1)
Ahora, si cos u = 1
de sustitucin, se tiene:
( x / 3) 2 ( x / 3) 4 ( x / 3)6 cos x = 1 + + ... 3 2! 4! 6!
(2)
cos x =
1 2
1 3 1 3 1 = x x + x + x + ... 2 2 3 2 2! 3 2 3! 3 2 4! 3
x 2 x3 x 4 xn + + + ... + + ..., y 2! 3! 4! n!
409
sen bx = (bx)
= bx
b3 3 b5 5 b 7 7 x + x x + ..., 3! 5! 7!
(2)
se tiene entonces de (1) y (2), de acuerdo con el producto de Cauchy (teorema 2ii, seccin 31.3):
Ejemplo 10 Sin usar derivacin, encuentre la expansin en una serie de Maclaurin hasta el trmino de grado 6 de cada una de las siguientes funciones: a.
ecos x
b.
sec x
a.
x 2 x 4 x6 + + ... 2! 4! 6!
Pero como cos x tiene un trmino constante diferente de cero, no podemos aplicar directamente la tcnica de sustitucin. Sin embargo, si escribimos
cos x = 1 + g ( x), siendo g ( x) la serie con trmino constante igual a cero:
g ( x) =
x2 x4 x6 + + ... 2! 4! 6!
410
Mdulo 31: Representacin de funciones por medio de series de potencias b. Como sec x =
1 2 1 4 1 6 1 1 , donde g ( x) = x x + x ..., y = 2! 4! 6! cos x 1 g ( x)
b.
Integre de 0 a 1 ambos miembros del desarrollo obtenido en a para encontrar una serie que aproxime al nmero .
Solucin
1 1 Como 1 + x2 = 1 ( x2 ) , y teniendo en cuenta adems que
1 = 1 + u + u 2 + u 3 + ..., 1 u
a.
se tiene entonces:
1 1 = = 1 + ( x 2 ) + ( x 2 ) 2 + ( x 2 )3 + ( x 2 ) 4 + ... 2 2 1+ x 1 ( x )
Esto es,
1 = 1 x 2 + x 4 x 6 + x8 x10 + ... 1 + x2
b.
1 0
(1)
411
Pero,
1 0
1 1 dx = [ arctan x ]0 = arctan 1 = . 4 1 + x2
(2)
De otro lado,
1 0
(1 x 2 + x 4 x 6 + x 8 x10 + ...) dx
1
x3 x5 x 7 x9 x11 = x + + + ... 3 5 7 9 11 0
1 1 1 1 1 1 . = 1 + + + ... = (1)n 3 5 7 9 11 2n + 1 n =0
(3)
Ejemplo 12 a. Use la serie binomial para determinar la expansin en una serie de Maclaurin para f (t ) = b.
1 1 t2 .
Integre de 0 a x ambos miembros de la serie obtenida en a para determinar la serie de Maclaurin para g ( x) = sin 1 x .
1 1+ x
la siguiente expre-
Sea g (t ) = t 2 . Entonces,
f ( g (t )) = f (t 2 ) = 1 1 1 3 1 3 5 2 3 ( t 2 ) + 2 ( t 2 ) 2 3 (t ) + ... 2 1! 2 2! 2 3!
Es decir,
412
= 1+
1 2 1 3 4 1 3 5 6 1 3 5 7 8 t + 2 t + 3 t + t + ... 2 1 2 2! 2 3! 24 4!
Por tanto,
1 1 t 1
2
= 1+
1 2 1 3 4 1 3 5 6 1 3 5 7 8 t + 2 t + 3 t + t + ... 2 1! 2 2! 2 3! 2 4 4!
b.
x 0
x 1 2 1 3 4 1 3 5 6 dt = 1 + t + 2 t + 3 t + ... dt 0 2 2! 2 3! 2 1! 1 t 2
Pero,
x 0
1 1 t
2
Tambin,
x 0
1 2 1 3 4 1 3 5 6 t + 2 t + 3 t + ... dt 1 + 2 2! 2 3! 2 1!
x
1 t 3 1 3 t 5 1 3 5 t 7 = t + + 2 + 3 + ... 2 1! 3 2 2! 5 2 3! 7 0 = x+
1 x3 1 3 x5 1 3 5 x7 1 3 5 7 x9 + + 3 + + ... 2 1! 3 22 2! 5 2 3! 7 24 4! 9
Es decir,
sen 1 x = x + 1 1 3 1 3 5 7 1 3 5 7 9 x3 + 2 x5 + 3 x + 4 x + ... 2 3 1! 2 2! 5 2 3! 7 2 4! 9
Ejemplo 13 Use la serie binomial para determinar la longitud de uno de los cables del puente de Occidente (vea el ejemplo 3 del mdulo 21). Solucin
dy Sabemos que ds = 1 + dx, dx
2
donde y = Qx 2 = As que:
4f 2 dy 8f x , y de aqu: = 2Qx = 2 x. c2 dx c
s = 2 2 1 +
0
64 f 2 2 x dx c4
1 2
= 2
c 2 0
64n 2 2 1 + 2 x dx. c
413
(Recuerde que n =
f ) c
1 64n 2 2 y = x . 2 c2
Luego:
s = 2
c 2 0 c 64n 2 2 32n 2 2 512n 4 4 2 x + ... dx 1 + 2 x dx = 2 0 1 + 2 x 4 c c c 12
Esto es,
32 4 8 s = c 1 + n2 n + ... . 5 3
Para valores pequeos de n, que es el caso ms general que se presenta en la prctica, esta serie converge tan rpidamente que basta tomar slo dos o tres trminos para obtener una aproximacin suficiente. Por tanto,
8 352 8 960 pies. s c 1 + n 2 = 956 1 + 2 3 3 956
414
Mdulos 30 y 31
I. Series de potencia 1. En el espacio correspondiente escriba V o F segn sea verdadero o falso el enunciado dado. Justifique su respuesta.
a
n=0
b. ____ Si
a x
n=0 n
c. ____ Toda serie de potencias converge para al menos dos valores de la variable. d. ____La funcin tiene como intervalo de convergencia el intervalo (1, 1). son:
2 3 f ( x) = 1 + x+ 1+ x ,x + x + ...
1+
f. ____ f ( x) =
1 = 1 x 2 + x 4 x 6 + ... 1 + x2
2
x 2 g. ____ f ( x) = e = 1 x +
x 4 x 6 x8 + ... 2! 3! 4!
2.
En los siguientes ejercicios encuentre primero una frmula para las series de potencias dadas y luego determine el intervalo de convergencia y de convergencia absoluta. Analice los extremos.
a.
x x2 x3 x4 x5 + + ... 1 2 2 3 3 4 4 5 5 6
x x3 x5 x 7 x9 + + ... 3! 5! 7! 9!
b. c. d.
x + 2 x 2 + 3x3 + 4 x 4 + ...
1 x + x 2 x3 x 4 + ... 2 3 4
Elementos bsicos de de clculopotencia integral y series 415 Captulo 6: Series
e.
1
1
x x2 x3 x4 + + ... 1 3 2 4 3 5 4 6
x x 2 x3 x 4 + + ... 2 2 2 23 2 4
f.
g.
1 + 2x +
22 x 2 23 x3 24 x 4 + + ... 2! 3! 4!
h.
( x 1) ( x 1) 2 ( x 1)3 ( x 1) 4 + + + + ... 1 2 3 4
1+ ( x + 1) ( x + 1)3 ( x + 1)3 + + + ... 2 22 23
i.
j.
k. l.
( x + 3) 2( x + 3) 2 + 3( x + 3)3 4( x + 3) 4 + ...
3.
Encuentre el radio de convergencia, el intervalo de convergencia y el intervalo de convergencia absoluta de cada una de las series dadas.
1 2 3 4...n x 2 n +1 . n =1 1 3 5 7...(2n 1)
a.
b.
(n !) P x
n=0
( Pn)!
c.
(3x + 1) n . n 2n n =1
d.
(1)n
n =1
(2 x 3) n 4n n
e.
f.
(2) n +1 x n . 2n + 3 n=0
3n x 2 n . n = 0 (3n )!
g.
h.
i.
( x 3) n . n n=0 2 + 1
j.
n !( x + 1) n . 3n n=0
4.
Escriba los cinco primeros trminos de la expansin en una serie de Maclaurin para la funcin dada.
f ( x) = 1 . 1 x f ( x) = 1 . 1 + x2
a. c. e.
b. d. f.
f ( x) = e x .
f ( x) = sen x. g ( x) = ln (1 + x).
f ( x) = cos x.
g.
t ( x ) = e x sen x.
h.
1 cos 2 x . 2
p( x) =
1 1 x2
.
e x e x . 2
i. k.
f ( x) = sen 2 x =
j.
f ( x) = senh x =
f ( x ) = e x cos x.
5.
Escriba los cinco primeros trminos de la expansin en una serie de Taylor (potencias de (x a)) para la funcin dada.
f ( x) = sen x, a = . 6
a. c.
f ( x ) = e x , a = 1.
b.
. 3
f ( x) = cos x, a =
d.
f ( x) = tan x, a =
. 4
6.
Encuentre los cinco primeros trminos de la serie de Maclaurin para la funcin f ( x ) = sen 1 x.
x
Ayuda: f ( x) = sen 1 x =
1 1 t2
dt.
7. 8.
1 0
cos ( x 2 ) dx.
b. d.
f ( x) =
et 1 dt. t2
2
f ( x ) = ln (cos 2 x ).