Professional Documents
Culture Documents
James Gregory
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
at em
at ic
Preguntas bsicas
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.
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
ww w.
funcin f ( x ) = sen 1 x.
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
a1
.c o
Tras un incidente de rebelin estudiantil, del que Gregory termin pagando las consecuencias, se traslad en 1674 a la Universidad de Edimburgo, en donde dict clases de matemticas. Un ao despus muri de un ataque de apopleja mientras mostraba a sus alumnos los satlites de Jpiter a travs del telescopio que haba ayudado a desarrollar.
ww
w.
at
em at
ic a
1.c
Gregory escribi adems La verdadera rea del crculo y de la hiprbola, obra en la cual calcul las reas por medio de series convergentes trmino que acu l mismo, as como el de serie divergente que tienden a infinito, mtodo precursor del clculo infinitesimal. Fue, as mismo, el primero en expresar las funciones trigonomtricas en forma de desarrollos de series.
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
n!, es
n=0
xn
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
Supongamos que la funcin f (x) tiene derivadas de todos los rdenes en algn ces:
f ( x) =
n=0
ww w.
at em
at ic
n=0
a1
.c o
(2)
f ( n ) (a) ( x a)n n!
Rn ( x) =
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
m
(3)
f ( n +1) (t ) ( x t )n dt. n!
Es importante anotar que toda serie de potencias define una funcin cuyo dominio
Luego
f ( a ) = ln a, f ( a ) =
at ic
f ( x) = ln x = ln a +
a1
O tambin,
.c o
(4)
Para la funcin f ( x) = ln x, la frmula de Taylor con residuo en la forma de Lagrange en x = a viene dada por:
at em
f ( x) = ln x = ln a +
ww w.
1 . 1 x
Luego
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
Ejemplo 3
b.
g ( x) = sen x
ww w.
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 !
at em
c.
h( x) = cos x
at ic
(6)
n!
n=0
xn
es
n +
a1
.c o
funcin f ( x) =
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
at em
at ic
a1
xn . n!
.c o
ww w.
b.
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,
sen x = x
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 dt =
( x t )2n + 2 x2n+ 2 , = 2n + 2 0 2n + 2
En consecuencia,
sen x = x
sen x =
(1) n x 2 n +1 . n = 0 (2 n + 1)!
ww w.
at em
x 0
2n + 2
at ic
(8)
c.
x 0
a1
.c o
As que:
cos x = 1 x2 x4 x6 x2n + + ... + (1) n + ... 2! 4! 6! (2n)!
(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 casos nlim Rn ( x) = 0. + 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,
ww w.
De esta forma,
at em
f ( x ) = 2!(1 + x ) 3 , y f (0) = 2! = 2!
f ( x) = ln (1 + x) =
n=0
ln (1 + x) = x
at ic
f ( x ) = (1 + x) 2 , y f (0) = 1 = 1!
a1
f ( x) =
1 = (1 + x) 1 , y f (0) = 1 = 0! 1+ x
.c o
(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
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 ,
f ( n ) (0) n x . n!
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:
ww w.
Si
at em
Recuerde que la expansin en una serie de Maclaurin para una funcin dada
at ic
Solucin
a1
donde m .
.c o
y
m = 1, 0
m (1 + x ) m = x n n=0 n
(serie binomial).
(11)
Si m
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
ww w.
y como la serie de Maclaurin est centrada en x = 0, se concluye entonces que el I.C.A. = (1, 1).
at em
n +
R = lim
an an +1
f ( x) =
1+ x
at ic
1 .
m n n +1 = lim = lim = 1, n + m n + m n n + 1
a1
Asumamos ahora que m no es un entero positivo. Ya que el radio de convergencia R de la serie de potencias viene dado por
.c o
Solucin
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 1 2 2 2 2 2 2 x3 = 1+ x + x + 2! 3! 2 1 1 1 1 ... n + 1 2 2 2 x n + ... + ... + n!
1 1+ x
= (1 + x)1/ 2
= 1
= 1+
ww w.
at em
at ic
a1
.c o
(12)
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, ...
i.
ww w.
at em
n=0
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,
at ic
a1
n
.c o
k =0
f ( x) dx =
a ( x a)
n =0
dx = an ( x a)n dx
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
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 ) x 3 + (a1b4 + 2a2 b1b3 + a2 b2 2 + 3a3b12 b2 ) x 4 + ...
a.
1 0
e x dx
2
b.
1 0
sen x dx x
Solucin a.
f (u ) = eu = 1 + u +
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:
ww w.
( x 2 ) 2 ( x 2 )3 ( x 2 ) n + + ... + + ... 2! 3! n!
at em
at ic
a1
Ejemplo 7
.c o
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)!
1 sen x x2 x4 x6 (1) n x 2 n dx = 1 + + ... + + ... dx 0 x 0 3! 5! 7! (2n + 1)! 1
at ic
a1
.c o
Ahora:
ww w.
Esto es;
sen x 1 1 1 ( 1) n dx = 1 + + ... + + .. 0 x 3 3! 5 5! 7 7! (2n + 1)(2n + 1)!
1
Ejemplo 8 Determine la expansin de f ( x) = cos x en una serie de Taylor alrededor del punto
x= . 3
at em
f (n) n 6x . n! 6
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 x sen sen 3 3 3 3 3 = 1 3 cos x sen x . 2 3 2 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
2 3 4
x 2 x3 x 4 xn + + + ... + + ..., y n! 2! 3! 4!
ww w.
at em
at ic
a1
(1)
.c o
sen bx = (bx)
= bx
b3 3 b5 5 b7 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
at ic
g ( x) =
a1
b.
Solucin
at em
a.
ww w.
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:
x2 x4 x6 + + ... 2! 4! 6!
.c o
sec x
b.
Como sec x =
a.
b.
Solucin
a.
se tiene entonces:
1 1 = = 1 + ( x 2 ) + ( x 2 ) 2 + ( x 2 )3 + ( x 2 ) 4 + ... 1 + x 2 1 ( x 2 )
Esto es,
1 = 1 x 2 + x 4 x 6 + x8 x10 + ... 1 + x2
b.
1 0
ww w.
Integre de 0 a 1 ambos miembros del desarrollo obtenido en a para encontrar una serie que aproxime al nmero .
at em
at ic
(1)
a1
.c o
Ejemplo 11
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)
para f (t ) = b.
Solucin a.
ww w.
at em
at ic
1 1 t2 .
a.
a1
.c o
Ejemplo 12
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,
1 1 + (t )
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! 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 1! 2 2! 2 3! 1 t 2
Pero,
x 0
1 1 t
2
Tambin,
= x+
Es decir,
sen 1 x = x +
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 2 x dx.
2 1
= 2
c 2 0
64n 2 1 + 2 c
ww w.
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
at em
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
at ic
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
a1
(1)
.c o
x 0
1 2 1 3 4 1 3 5 6 t + 2 t + 3 t + ... dt 1 + 2 2! 2 3! 2 1!
(Recuerde que n =
f ) c
1 2
1 64n 2 2 y = x . 2 c2
Luego:
at em
at ic
a1
12
.c o
ww w.
Esto es,
32 4 8 s = c 1 + n 2 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 s c 1 + n 2 = 956 1 + 960 pies. 2 3 3 956
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
f. ____ f ( x) =
1 = 1 x 2 + x 4 x 6 + ... 1 + x2
2
ww w.
2 x g. ____ f ( x) = e = 1 x +
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
1+
1 1 1 x x 2 + x 3 ... 2 8 16
at em
at ic
d. ____La funcin
x 4 x 6 x8 + ... 2! 3! 4!
a1
.c o
c. ____ Toda serie de potencias converge para al menos dos valores de la variable.
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.
( x + 5) ( x + 5) 2 ( x + 5)3 ( x + 5) 4 + + + + ... 1 2 23 3 4 45
1+ ( x + 2) ( x + 2) 2 ( x + 2)3 + + + ... 1! 2! 3!
k. l.
( x + 3) 2( x + 3) 2 + 3( x + 3)3 4( x + 3) 4 + ...
3.
at em
a.
at ic
n=0 n =1
Encuentre el radio de convergencia, el intervalo de convergencia y el intervalo de convergencia absoluta de cada una de las series dadas.
b.
(n !) P x (1)n
a1
( Pn)!
ww w.
c.
(3x + 1) n n 2n . n =1
.c o
n
d.
(2 x 3) n 4n n
m
, donde P es un entero positivo. .
e.
f.
(2) n +1 x n 2n + 3 . n=0
3n x 2 n (3n)! . n=0
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
1 t2
8.
at em
7.
at ic
1 0
cos ( x 2 ) dx.
a1
b. d.
f ( x ) = esen x . f ( x ) = ecos x = e ecos x 1 .
Ayuda: f ( x) = sen 1 x =
dt.
a. c. e.
f ( x) =
et 1 dt. t2
2
f ( x ) = ln (cos 2 x ).
ww w.
f ( x) = e x + x .
2
.c o