Professional Documents
Culture Documents
ECE-BUAP
CALCULO INTEGRAL
ALEJANDRO RAM IREZ PARAMO
1. Integral definida Denici on 1.1. Sean a, b R con a < b. Recibe el nombre de partici on del intervalo [a, b], todo conjunto nito {x0 , ..., xn } de puntos de [a, b] con la propiedad de que a = x0 < x1 < ... < xn = b.
1 1 1 1 1 As , por ejemplo, los conjuntos {0, 2 , 1}, {0, 1 4 , 2 , 1} y {0, 8 , 4 , 2 , 1} son a particiones del intervalo [0, 1]. b
Denici on 1.2. Sean f una funci on denida y acotada sobre el intervalo [a, b] y sea {x0 , ..., xn } una partici on del intervalo [a, b]. Fijemos, por cada subintervalo [xi , xi+1 ] un punto x i [xi , xi+1 ]. Denotemos (xi ) = xi f xi1 . Una suma tal como n i=1 (xi )(xi ) recibe el nombre de suma de Riemann. Denici on 1.3. Sean f una funci on denida y acotada sobre el intervalo [a, b]. Diremos que f es integrable (seg un Riemann) sobre el intervalo [a, b], si existe un n umero S con la propiedad de que para todo > 0 existe un > 0 tal que para cualquier partici on {x0 , ..., xn } del intervalo [a, b], con umero (xi ) < (i = 1 n) se cumple que | n i=1 f (xi )(xi ) S | < . El n S se denomina integral (de Riemann) denida de f y es denotado por el b s mbolo a f (x)dx. Es importante comentar que si el n umero S , de la denici on anterior existe, este es u nico (vea [3]). Una pregunta natural que se desprende de la denici on anterior es: Toda funci on integrable? El siguiente resultado nos da una respuesta parcial. Theorem 1.4. Toda funci on continua sobre un intervalo [a, b] es integrable sobre el. Theorem 1.5. (1) Si f es integrable sobre el intervalo [a, b], entonces para todo c (a, b), f es integrable sobre [a, c] y [c, b]. Rec procamente, si para todo c (a, b), f es integrable sobre [a, c] y [c, b], entonces f es c b integrable sobre el intervalo [a, b]; m as a un a f (x)dx + c f (x)dx = b a f (x)dx.
1
A continuaci on presentamos algunas propiedades de la integral denida. Theorem 1.6. Si f y g son funciones integrables sobre el intervalo [a, b], entonces tambi en lo son f + g y cf (para cualquier constante c). M as a un: (1) Si f es constante; digamos f (x) = c, entonces a cdx = c(b a); b b b (2) a [(f + g )(x)]dx = a f (x)dx + a g (x)dx; b b (3) Para cualquier constante c, a cf (x)dx = c a f (x)dx; Del teorema anterior se sigue que si f y g son integrables sobre el intervalo b b [a, b], entonces tambi en lo es la funci on f g y, a [(f g )(x)]dx = a f (x)dx b a g (x)dx. En las siguientes propiedades, comparamos magnitudes de las funciones y magnitudes de las integrales. Theorem 1.7. Supongamos que f y g son funciones integrables sobre el intervalo [a, b]. Las siguientes propiedades se cumplen: (1) Si para todo x [a, b] se tiene que f (x) 0, entonces a f (x)dx 0; b (2) Si para todo x [a, b] se cumple que f (x) g (x), entonces a f (x)dx b a g (x)dx, (3) Si para todo x [a, b] se verica que m f (x) M , entonces b m(b a) a f (x)dx M (b a). Observaci on: Del Teorema ??, se sigue que si f es integrable sobre el x intervalo [a, b], y consideremos para cada x [a, b], F (x) = a f (t)dt, entonces F resulta ser una funci on denida sobre el intervalo [a, b]. Adem as, es posible demostrar que la funci on F resulta ser hasta continua. Theorem 1.8. (Teorema Fundamental del C alculo) Sea f una funci on integrable sobre [a, b] x (1) Si para cada x [a, b], F (x) = a f (t)dt y f es continua en el punto c [a, b], entonces F es derivable en c, y F (c) = f (c). (2) Si para cada x [a, b] se cumple que g (x) = f (x), para alguna b funci on g , entonces a f (x)dx = g (b) g (a). El teorema anterior nos dice que calcular una integral (denida) es m as sencillo si conocemos una funci on 2. Integral indefinida En la presente secc on abordaremos, grosso modo, el problema siguiente: Dada una funci on f es preciso hallar una funci on F cuya derivada sea igual a f. Denici on 2.1. Si en todos los puntos de [a, b] se verica que F (x) = f (x), diremos entonces que F es una primitiva de la funci on f .
b b
Observemos que el Teorema fundamental del c alculo nos dice que toda funci on continua f , sobre un intervalo [a, b], tiene una primitiva; a saber, x F (x) = a f (t)dt. Por otro lado, es f acil ver que si f tiene una primitiva, esta no es u nica. Theorem 2.2. Si F1 y F2 son dos primitivas de f , sobre el intervalo [a, b], entonces su diferencia es una constante (i.e. F1 (x) F2 (x) = C , donde C es una constante. Del teorema anterior se deduce que si conocemos una primitiva F , de la funci on f , entonces cualquier otra primitiva de f tiene la forma F + C ; donde C es una constante. Denici on 2.3. Si F es una funci on primitiva de f , la expresi on F + C se llama integral indenida de la funci on f y se designa mediante el s mbolo f (x)dx. En este caso, f se llama integrando. En otras palabras, la denici on anterior nos dice que si F (x) = f (x), entonces F (x) + C = f (x)dx. Adem as, de la Denici on 2.3 tenemos que: La derivada de una integral indenida es igual al integrando, es decir, si F (x) = f (x), entonces ( f (x)dx) = (F (x) + C ) = f (x). A continuaci on presentamos algunas propiedades de la integral indenida. Theorem 2.4. Las siguientes armaciones se verican. (1) [f (x) + g (x)]dx = f (x)dx + g (x)dx. (2) [f (x) g (x)]dx = f (x)dx g (x)dx. (3) Para toda constante c, se cumple que cf (x)dx = c f (x)dx. cnicas de integracio n 3. Te
Cambio de variable
Theorem 3.1. (F ormula de sustituci on) Si f y g son continuas, entonces g (b) b a f (g (x))g (x)dx = g (a) f (u)du. Para el caso de integrales indenidas se tiene el siguiente resultado: f (u)du. f (g (x))g (x)dx =
senn (x)cos2k+1 (x)dx = senn (x)(cos2 (x))k cos(x)dx = senn (x)(1 sen2 (x))k cos(x)dx A continuaci on, se sustituye u = sen(x). (b) Si la potencia del seno es impar; digamos n = 2k + 1, se aparta un factor de seno y se emplea sen2 (x) = 1 cos2 (x) para expresar los factores restantes en t erminos del coseno: 2 k +1 m sen (x)cos (x)dx = (sen2 (x))k sen(x)cosm (x)dx = (1 cos2 (x))k sen(x)cosm (x)dx A continuaci on, se sustituye u = cos(x). (c) Si las potencias del seno y el coseno son pares a la vez, aplicamos las identidades del angulo medio: 1 1 2 sen x = 2 (1 cos2x), cos2 x = 2 (1 + cos2x); o tambi en 1 senxcosx = 2 sen2x. Para el caso en que tenemos potencias solamente de seno o coseno; i.e. integrales de la forma senn (x)dx o cosn (x)dx, tenemos dos casos: (1) n impar; i.e. n = 2k +1: Use sen2k+1 (x)dx = (1cos2 x)k sen(x)dx o cos2k+1 (x)dx = (1 sen2 x)k cos(x)dx; despu es use sustituci on. (2) n par; i.e. n = 2k : Use la sustituci on del inciso (c). Veamos c omo evaluar integrales de la forma tanm (x)secn (x)dx: (a) Si la potencia de la secante es par; digamos n = 2k , se separa un factor de sec2 x y se usa sec2 x = 1 + tan2 x a n de expresar los factores restantes en t erminos de tanx: m 2 k tan (x)sec (x)dx = tanm (x)(sec2 x)k1 sec2 xdx = tanm (x)(1 + tan2 x)k1 sec2 xdx A continuaci on, se sustituye u = tanx. (b) Si la potencia de la tangente es impar; digamos m = 2k +1, se aparta un factor de secxtanx y se emplea tan2 x = sec2 (x) 1 para expresar los factores restantes en t erminos de secx: 2 k +1 n tan (x)sec (x)dx = (tan2 (x))k secn1 (x)sec(x)tan(x)dx = (sec2 (x) 1)k secn1 (x)sec(x)tan(x)dx En seguida se reemplaza u = sec(x). (c) Si m es un entero positivo par (m = 2k ) y n un entero positivo impar (2s +1), llevamos el problema a potencias impares de la secante como sigue: escribimos tanm (x)secn (x)dx = (tan2 (x))k secn (x)dx = (sec2 (x) 1)k secn (x)dx; nalmente usamos integraci on por partes para resolver las integrales de las potencias impares de la secante. Para evaluar integrales de la forma: 1 [sen(A (1) sen(mx)cos(nx)dx; empleamos la identidad: senAcosB = 2 B ) + sen(A + B )]; (2) sen(mx)sen(nx)dx; empleamos la identidad: senAsenB = 1 2 [cos(A B ) cos(A + B )];
(3)
donde P y
Q son polinomios. (se dice que la fracci on es propia cuando el grado del polinomio P es menor que el de Q; en otro caso la fracci on se llama impropia). P ( x) Ahora estamos interesados en integrales de la forma Q (x) dx; donde P y
P (x) Q son polinomios y la fracci on Q (x) es propia. Para tal efecto debemos factorizar el polinomio Q como un producto de factores lineales y cuadr aticos. El siguiente teorema justica este hecho.
Theorem 3.3. Cualquier polinomio con coecientes reales se puede expresar como un producto de factores lineales y cuadr aticos, de tal forma que cada uno de sus factores tenga coecientes reales Despu es de haber factorizado a Q, el m etodo de las fracciones parciales depende de la naturaleza de dichos factores. Tenemos los siguientes casos: (1) Todos los factores de Q son lineales y ninguno se repite; es decir, Q(X ) = (a1 x + b1 )(a2 x + b2 ) (an x + bn ) y no hay dos factores id enticos. En este caso escribimos:
P ( x) Q(x)
A1 a1 x+b1
A2 a2 x+b2
+ ... +
An an x+bn
donde A1 , A2 ,...,An son constantes que se van a determinar. (2) Los factores de Q son lineales y algunos est an repetidos. Supongamos que aj x + bj es un factor que se repite p veces. Entonces, correspondiente a este factor estar a la suma de p fracciones parciales:
A1 (aj x+bj )p
+ ... +
Ap (aj x+bj )
(3) Los factores de Q son lineales y cuadr aticos y ninguno de los factores cuadr aticos se repite. Correspondiente al factor cuadr atico ax2 +bx+ c en el denominador, se encuentra la fracci on parcial de la forma:
Ax+B ax2 +bx+c
donde A y B son constantes que se van a determinar. (4) Los factores de Q son lineales y cuadr aticos, y algunos de los factores 2 cuadr aticos se repiten. Si ax + bx + c es un factor de Q que se repite p veces. Entonces, correspondiente a este factor estar a la suma de p fracciones parciales:
A1 x+B 1 (ax2 +bx+c)p
+ ... +
donde A1 , A2 ,...,Ap y B1 ,...,Bp son constantes que se van a determinar. Si un integrando es una funci on racional de senx y cosx, se puede reducir a una funci on racional de t por medio de la sustituci on t = tan x 2 ; ya que 1t2 2t con tal sustituci on tenemos que: senx = 1+t2 y cosx = 1+t2 . Luego, se usa 2 x = 2arctant y dx = 1+ dt. t2
Remark 3.5. Sabemos de Teorema 1.8, que toda funci on continua, en el intervalo (a, b), tiene en el una funci on primitiva. Sin embargo, no cada funci on primitiva (incluso cuando esta existe), puede expresarse mediante un n umero nito de funciones elementales. Tal es el caso de las funciones 2 cosx primitivas expresadas por las integrales: ex dx, senx x dx, x dx, (1 1 1 2 k senx) 2 dx y lnx dx; entre muchas otras. 4. Aplicaciones
g (y ))dy
Longitud de arco
Denici on 4.1. Sup ongase que la funci on f es continua en el intervalo cerrado [a, b]. Sup ongase adem as que existe un n umero L con la siguiente propiedad: Para cualquier > 0 existe > 0 tal que para toda partici on del intervalo P P | L | < . | [a, b], es cierto que si |||| < , entonces | n i1 i i=1 Entonces se escribe: L = lim||||0 n i=1 |Pi1 Pi y L se denomina longitud de arco de la curva y = f (x) del punto A(a, f (a)) al punto B (b, f (b)). Si el l mite de la denici on anterior existe, se dice que el arco es recticable. Theorem 4.2. (F ormula de longitud de arco) Si la funci on f y su derivada f son continuas en [a, b], entonces la longitud de la curva y = f (x), desde el punto A(a, f (a)) hasta el punto B (b, f (b)) est a dada por: L=
b a (1
+ [f (x)]2 )1/2 dx
Si la ecuaci on de la curva es x = g (y ); c y d, al intercambiar los papeles de x y y en el teorema anterior obtenemos la f ormula siguiente: L=
d c (1
+ [g (y )]2 )1/2 dy
Denici on 4.3. Un s olido es un cilindro recto si est a limitado por dos regiones planas congruentes R1 y R2 , situadas en planos paralelos, y por una supercie lateral generada por un segmento rectil neo que tiene sus
puntos extremos sobre las fronteras de R1 y R2 , el cual se mueve de tal manera que siempre es perpendicular a los planos R1 y R2 . Denici on 4.4. Sea S un s olido tal que S se encuentra entre los planos trazados perpendicularmente al eje x en a y b. Si la medida del area de la secci on plana de S , trazada perpendicularmente al eje x en x, est a dada por A(x), donde A es continua en [a, b], entonces la medida del volumen de S est a dada por: V =
b a [A(x)]dx.
+ [f (x)]2 )1/2 dx
Si la curva se describe con la ecuaci on x = g (y ); c y d, la f ormula en la denci on anterior se convierte en: d A = 2 c g (y )(1 + [g (y )]2 )1/2 dy
Denici on 4.7. Sean f y g funciones continuas en el intervalo [a, b], y supongamos que para todo x [a, b], se tiene que f (x) g (x) 0. Si V unidades c ubicas es el volumen del s olido de revoluci on generado al girar, alrededor del eje x, la regi on limitada por las curvas y = f (x), y = g (x), y las rectas x = a y x = b, entonces: V =
b 2 a ([f (x)]
[g (x)]2 )dx.
Denici on 4.8. (Capas cil ndricas) Sea f una funci on continua en el intervalo [a, b], donde a 0. Sup ongase que para todo x [a, b], se tiene que f (x) 0. Si R es la regi on limitada por la curva y = f (x), el eje x, y las rectas x = a y x = b, si S es el s olido de revoluci on obtenido al girar R alrededor del eje y , y si V unidades c ubicas es el volumen de S (en unidades c ubicas), entonces: V = 2
b 2 a xf (x) dx.
Integraci on aproximada
(1) Regla del punto medio: a f (x)dx Mn = x n i=1 f (xi ); donde (ba) para cada i = 1, n, xi = 1/2(xi1 + xi ) y x = n . b x (2) Regla del trapecio: a f (x)dx Tn = 2 [f (x0 ) + 2f (x1 ) + 2f (x2 ) + ... + 2f (xn1 ) + f (xn )]; donde para cada i = 1, n, xi = a + ix y a) x = (b n . b x (3) Regla de Simpson: a f (x)dx Sn = 3 [f (x0 ) + 4f (x1 ) + 2f (x2 ) + 4f (x3 )... + 2f (xn2 ) + 4f (xn1 ) + f (xn )]; donde para cada i = 1, n, a) y n es un n umero par. xi = a + ix, x = (b n 5. Sucesiones y series
b
Integral impropia
Al denir la integral denida a f (x)dx, pretendimos que la funci on f estaba denida; adem as de acotada, sobre el intervalo [a, b]. Ahora extenderemos la denici on de la integral denida para abarcar los casos: (a) el intervalo es innito, y (b) la funci on no es acotada. En estas circunstancias la integral se llamar a: Integral impropia. Denici on 5.1. ( Integrales impropias del tipo I) on (1) Si para todo n umero t a existe a f (x)dx, entonces, por denici t mite exista. a f (x)dx = limt a f (x)dx, siempre que el l b on (2) Si para todo n umero t b existe t f (x)dx, entonces, por denici b b mite existe. f (x)dx = limt t f (x)dx, si el l Las integrales impropias (1) y (2) se llaman convergentes si tales l mites existen, en otro caso se dicen divergentes. b (3) Si f (x)dx y b f (x)dx son convergentes, entonces por denici on
f (x)dx t b
b f (x)dx
b f (x)dx.
Ahora denimos integrales impropias del Tipo II. Denici on 5.2. ( Integrales impropias del tipo II) (1) Si f es continua en [a, b) y discontinua en b, entonces denimos b t mite exista. a f (x)dx = limtb a f (x)dx, siempre que el l (2) Si f es continua en (a, b] y discontinua en a, entonces denimos b b mite exista. a f (x)dx = limta+ t f (x)dx, siempre que el l Las integrales impropias (1) y (2) se llaman convergentes si tales l mites existen, en otro caso se dicen divergentes. (3) Si f tiene una discontinuidad en c, para alg un a < c < b, y si c b son convergentes a f (x)dx y c f (x)dx son convergentes, entonces b c b denimos a f (x)dx = a f (x)dx + c f (x)dx.
10
Theorem 5.3. Sean f y g funciones continuas tales que para cada x a, f (x) g (x) 0. Entonces: (1) Si a f (x)dx es convergente, entonces a g (x)dx es convergente. (2) Si a g (x)dx es divergente, entonces a f (x)dx es divergente.
Sucesiones
Denici on 5.4. Una sucesi on o secuencia es una funci on con dominio, N = {1, 2, 3, ...}, el conjunto de los n umeros naturales y contradominio cualquier conjunto. Denici on 5.5. Una sucesi on sucesi on {an } tiene l mite L si para toda > 0, existe n0 N tal que |an L| < simepre que n n0 ; escribimos limn an = L. Si existe limn an decimos que la sucesi on {an } converge (o que es convergente). De lo contrario diremos que la sucesi on diverge. Theorem 5.6. Si limx f (X ) = L y f est a denida para todo n N, entonces tambi en limn f (n) = L. Theorem 5.7. Si {an } y {bn } son sucesiones convergentes y c es una constante, entonces: (1) La sucesi on constante {c} tiene a c como su l mite; (2) limn can = climn an ; (3) limn (an + bn ) = limn an + limn bn ; (4) limn (an bn ) = limn an limn bn ; (5) limn an bn = limn an limn bn , limn an n (6) Si limn bn = 0, entonces limn a bn = limn bn . Theorem 5.8. Si para toda n n0 , an cn bn y si limn an = L = limn bn , entonces limn cn = L. Otra propiedad u til de los l mites de sucesiones se expresa en el siguiente tresultado. Theorem 5.9. Si limn |an | = 0, entonces limn an = 0 Theorem 5.10. La sucesi on {rn } es convergente para todo 1 < r 1, y es divergente para los dem as valores de r. Adem as, si 1 < r < 1, entonces limn rn = 0, mientras que para r = 1, entonces limn rn = 1. Denici on 5.11. Diremos que la sucesi on {an } es: (1) Creciente, si para toda n 1, se cumple que an+1 an . (2) Decreciente, si para toda n 1, se verica que an+1 an . (3) Mon otona, si {an } es creciente o decreciente. (4) Acotada superiormente, si existe M R tal que para toda n 1, an M . Nos referimos a M como cota superior de la sucesi on. (5) Acotada inferiormente, si existe m R tal que para toda n 1, an m. Llamamos a M como cota inferior de la sucesi on. (6) Acotada si es acotada superior e inferiormente. Theorem 5.12. Toda sucesi on acotada y mon otona es convergente.
11
6. Series Denici on 6.1. Si {an } es una sucesi on y denotamos para cada n N, sn = a1 + a2 + ... + an = n a , entonces la sucesi on {sn } se llama serie i=1 i a innita. Esta serie innita se representa por n=1 n = a1 + a2 + ...am + .... Los n umeros an se denominan t erminos de la serie. Los n umeros sn se llaman sumas parciales de la serie innita. Denici on 6.2. Sea on n=1 an una serie innita dada, y sea {sn } la sucesi de sumas parciales que denen esta serie innita. Entonces, si limn sn existe y es igual a S , deicimos que la serie dada es convergente y que S es la suma de la serie innita dada. Si limn sn no existe, se dice que la serie dada es divergente y la serie no tiene suma.
n1 converge si |r | < 1 y su Theorem 6.3. La serie geom etrica n=1 ar a n 1 suma es n=1 ar = 1r . Por otro lado, si |r| 1, la serie es divergente.
n=1 an
Remark 6.5. El rec proco del teorema anterior es falso, esto es, el hecho de que limn an = 0 no garantiza que la serie n=1 an sea convergente.
1 1 Ejemplo 6.6. Considere la sucesi on { n }. Se sabe que limn n = 0; sin 1 embargo, es posible demostrar que la serie n=1 n es divergente.
Theorem 6.7. (Prueba de la divergencia) Si limn an no existe, o si limn an = 0, entonces la serie n=1 an es divergente.
olo Theorem 6.8. Si n=1 bn son dos series innitas que s n=1 an y dieren en los primeros m t erminos (i.e., an = bn para todo n > m, entonces ambas series convergen o ambas series divergen. Theorem 6.9. Si n=1 bn son dos series innitas convergentes, n=1 an y tambi en lo son las series n=1 can (donde c es una constante), n=1 (an + ( a b ) . Adem a s: bn ) y n n=1 n (1) ca = c n n=1 n=1 an ; ( a + b ) = (2) n n=1 bn , n=1 an + n=1 n (3) n=1 (an bn ) = n=1 an n=1 bn .
Theorem 6.10. (Prueba de la integral) Sean f una funci on continua, positiva y decreciente en [1, ), y an = f (n). Entonces: (1) Si 1 f (x)dx converge, entonces la serie n=1 an es convergente. (2) Si 1 f (x)dx diverge, entonces la serie n=1 an es divergente. Corollary 6.11. La serie p, gente cuando p 1
1 n=1 np
Theorem 6.12. (Prueba de comparaci on) Supongamos que son dos series innitas de t erminos positivos.
n=1 bn
12
(1) Si n=1 an es convergente y para todo n N, tenemos que an bn , entonces en converge. n=1 bn tambi b es divergente y para todo n N, tenemos que an bn , (2) Si n=1 n entonces n=1 an tambi en diverge. Theorem 6.13. (Prueba de comparaci on de l mites) Supongamos que n=1 an y n=1 bn son dos series innitas de t erminos positivos. n (1) Si limn a bn = c > 0, ambas series convergen o ambas series divergen. n en (2) Si limn a n=1 an tambi n=1 bn es converge, entonces bn = 0, y converge. n (3) Si limn a n=1 an es divern=1 bn diverge, entonces bn = , y gente. Series alternantes Denici on 6.14. Una serie alternante es aquella cuyos t erminos son positivos y negativos alternativamente Theorem 6.15. (Prueba de la serie alternante) Si la serie alternante satisface las condiciones: (1) Para todo n N, an+1 an , y (2) limn an = 0 entonces la serie es convergente.
n1 a n n=1 (1)
Denici on 6.16. Una serie n=1 an se llama: (1) absolutamente convergente si la serie n=1 |an | es convergente. (2) condicionalmente convergente si la serie n=1 an es convergente pero no absolutamente convergente. Theorem 6.17. Si una serie tonces tambi en es convergente.
n=1 an
Theorem 6.18. (Prueba de la relaci on) Supongamos que n=1 an es una series innita. Las siguientes armaciones se verican. +1 (1) Si limn | an an | = L < 1, entonces la serie es absolutamente convergente. an+1 +1 (2) Si limn | an an | = L > 1 o limn | an | = , la serie es divergente. +1 (3) Si limn | an an | = 1, con esta prueba nada se puede concluir acerca de la convergencia. Theorem 6.19. (Prueba de la ra z) Supongamos que innita. Las siguientes armaciones se verican.
1
n=1 an
es una series
(1) Si limn |(an ) n | = L < 1, entonces la serie es absolutamente convergente. 1 +1 (2) Si limn |(an ) n | = L > 1 o limn | an an | = , la serie es divergente.
13
(3) Si limn |(an ) n | = 1, con esta prueba nada se puede concluir acerca de la convergencia.
Serie de potencias
Denici on 6.20. Una serie de potencias en x a (o centrada en a, es una n serie de la forma: n=0 cn (x a) . Remark 6.21. Por conveniencia consdideramos x a)0 = 1; aun cuando x = a.
n Theorem 6.22. Sea n=0 cn (x a) una serie de potencias dada. Entonces se cumple una y s olo una de las siguientes condiciones: (1) La serie converge s olo cuando x = 0; (2) La serie es convergente para todos los valores de x, (3) Existe un n umero real R > 0 tal que la serie es convergente para todos los valores de x tales que |x a| < R y diverge para todos los valores de x tales que |x a| > R.
Denici on 6.23. (1) El n umero R del caso (3), se denomina radio de convergencia de la serie de potencias. Por convenci on, el radio de convergencia es R = 0; para el caso (1) y R = para el caso (2). (2) El intervalo de convergencia de una serie de potencias, es el conjunto de todos los x R para los cuales la serie es convergente.
Remark 6.25. Si bien el radio de convergencia son cambia al derivar o integrar una serie de potencias, es importante decir que el intervalo de convergencia s puede cambiar.
14
Theorem 6.26. Si f tiene una representaci on (desarrollo) en serie de potencias en a; esto es, si: n f (x) = n=0 cn (x a) , |x a| < R. Entonces los coecientes est an expresados por la f ormula: cn =
f (n) (a) n! .
Al sustituir esta f ormula de cn en la serie, si f tiene una representaci on en serie de potencias en a, ha de ser de la forma:
f (a) n () f (x) = n=0 n! (x a) La serie de la ecuaci on () se conoce por el nombre de serie de Taylor de la funci on f en a. Cuando a = 0, la serie de () se transforma en la serie: f (a) n ( ) f (x) = n=0 n! x Esta u ltima serie se conoce como serie de Maclaurin de f .
(n) (n)
References
1. 2. 3. 4. L. Leithold, El c alculo con geometr a anal tica, Harla, 1987. N. Piskunov, C alculo diferencial e integral, Tomo I Mir Mosc u, 1980. Spivak M., Calculus, Repla, 1988. J. Stewart, C alculo de una variable, trascendentes tempranas, 4ta Ed., Thomson learning, 2001.
nica, BUAP, Avenida San Claudio y 18 Facultad de Ciencias de la Electro sur s/n E-mail address : aparamo@ece.buap.mx