INSTITUTO TECNOLGICO DE IGUALA CLCULO INTEGRAL

4.2.- SERIE NUMRICA Y CONVERGENCIA PRUEBA DE LA RAZN (CRITERIO DE ALEMBERT).

En matemticas, una serie es la suma de los trminos de una sucesin. Se

representa una serie con trminos an como

donde n es el ndice final de

la serie. Las series infinitas son aquellas donde i toma el valor de absolutamente todos los nmeros naturales, es decir, .

Las series convergen o divergen. En clculo, una serie diverge si

no existe o si tiende a infinito; puede converger si .

para algn

Algunos tipos de series

Una serie geomtrica es una serie en la cual cada trmino se obtiene multiplicando el anterior por una constante, llamada razn. Ejemplo (con constante 1/2):

En general, una serie geomtrica, de razn z, es convergente, slo si |z| < 1, a:

La serie armnica es la serie

La serie armnica es divergente.

INSTITUTO TECNOLGICO DE IGUALA CLCULO INTEGRAL

Una serie alternada es una serie donde los trminos alternan el signo. Ejemplo:

Una serie telescpica es la suma representa de la siguiente manera:

, donde an = bn bn+1. Se

La convergencia de dicha serie y su suma se pueden calcular fcilmente, ya que:

Una serie hipergeomtrica es una serie de la forma cumple que

, que

Sumas conocidas
Artculo principal: Frmula de Faulhaber

Criterios de convergencia
2

INSTITUTO TECNOLGICO DE IGUALA CLCULO INTEGRAL

Clasificar una serie es determinar si converge a un nmero real o si diverge ( u oscilante). Para esto existen distintos criterios que, aplicados a la serie en cuestin, mostrarn de qu tipo es (convergente o divergente). Condicin del resto

Para que una serie . Sin embargo, si resulta que

sea divergente, una condicin suficiente es que

, entonces la condicin no da criterio

acerca de su convergencia o divergencia y se tendr que buscar mtodos distintos para averiguar si converge o diverge. Esta afirmacin es muy til, ya que nos ahorra trabajo en los criterios cuando el lmite es distinto de cero. Demostracin: Por hiptesis:

Para todo S R Sabemos que R Por lo tanto teniendo en cuenta que ( ) entonces y que para todo S

Queda demostrada la proposicin.

INSTITUTO TECNOLGICO DE IGUALA CLCULO INTEGRAL

CRITERIO DE D'ALEMBERT O CRITERIO DEL COCIENTE (CRITERIO DE LA RAZN)

Sea una serie Si existe

, tal que ak > 0 (serie de trminos positivos).

con

, el Criterio de D'Alembert establece que: si L < 1, la serie converge. si L > 1, entonces la serie diverge. si L = 1, no es posible decir algo sobre el comportamiento de la serie.

En este caso, es necesario probar otro criterio, como el criterio de Raabe. Criterio de Cauchy (raz ensima)

Sea una serie supongamos que existe

, tal que ak > 0 (serie de trminos positivos). Y

, siendo Entonces, si:

L < 1, la serie es convergente. L > 1 entonces la serie es divergente. L=1, no podemos concluir nada a priori y tenemos que recurrir al criterio de Raabe, o de comparacin, para ver si podemos llegar a alguna conclusin.

INSTITUTO TECNOLGICO DE IGUALA CLCULO INTEGRAL

Criterio de Raabe En algunas series, puede ocurrir que ni el criterio de D'Alembert ni el de la raz nos permitan determinar la convergencia o divergencia de la serie, entonces recurrimos al criterio de Raabe.

Sea una serie supongamos que existe

, tal que ak > 0 (serie de trminos positivos). Y

, siendo Por tanto, si L > 1, entonces la serie es convergente y si L < 1, la serie es divergente. Criterio de la integral de Cauchy Si f(x) es una funcin positiva y montonamente decreciente definida en el intervalo [1, ) tal que f(n) = an para todo n, entonces si es finita. converge si y slo

Ms generalmente, y para el tipo de funcin definida antes, pero en un intervalo [N,), la serie

converge si y slo si la integral

converge.

INSTITUTO TECNOLGICO DE IGUALA CLCULO INTEGRAL

Criterio de condensacin de Cauchy

Sea

una serie montona de nmeros positivos decrecientes.

converge si y slo si la serie

converge. Criterio de Leibniz

Una serie de la forma

(con

) se llama alternada. Tal serie

converge si se cumplen las siguientes condiciones:

a)

para n par y n impar

b) La serie tiene que ser absolutamente decreciente es decir que:

Si esto se cumple, la serie contrario la serie diverge.

es condicionalmente convergente de lo

Nota: Se debe descartar primero la convergencia absoluta de aplicar este criterio, usando los criterios para series positivas. Criterios de convergencia comparativos

antes de

Son aplicables en caso de disponer de otra serie

tal que se conozca

su condicin, tal como la divergencia para la serie geomtrica con razn (en valor absoluto) mayor que 1, |z| > 1. Entonces:

INSTITUTO TECNOLGICO DE IGUALA CLCULO INTEGRAL

Criterio de comparacin directa (de la mayorante o de Gauss) Si

Si Si

converge diverge

converge diverge

Criterio de comparacin por paso al lmite del cociente

Entonces:

Si L = 0 y Si y

converge diverge

converge diverge

En otro caso, ambas series comparten la misma condicin (ambas convergen, o bien ambas son divergentes).

Tipos de convergencia
Convergencia absoluta Una serie alternada an converge absolutamente si

es una serie convergente. Se demuestra que una serie que converge absolutamente, es una serie convergente.

INSTITUTO TECNOLGICO DE IGUALA CLCULO INTEGRAL

4.3.- SERIE DE POTENCIAS

Definicin
Una serie de potencias alrededor de x=0 es una serie de la forma:

Una serie de potencias alrededor de x=c es una serie de la forma:

En el cual el centro es c, y los coeficientes an son los trminos de una sucesion.

Ejemplos

La serie geomtrica es una serie de potencias absolutamente convergente si | x | < 1 y divergente si | x | > 1 | x | = 1

La serie de potencias todo

es absolutamente convergente para

La serie de potencias

solamente converge para x = 0.

Pero, qu se puede decir acerca de la convergencia para otros valores de x?. Como se establece una serie de potencias de la forma converge para todo el valor de x perteneciente a cierto intervalo con centro en x=0, y diverge para los valores de x que estn fuera de este intervalo.

INSTITUTO TECNOLGICO DE IGUALA CLCULO INTEGRAL

4.4.-RADIO DE CONVERGENCIA
En matemticas, segn el teorema de Cauchy-Hadamard, el radio de convergencia de una serie de la forma , viene dado por la expresin: , con

Definicin
Si nos limitamos al conjunto de los nmeros reales, una serie de la forma , con , recibe el nombre de serie de potencias centrada en x0. La serie converge absolutamente para un conjunto de valores de x que verifica que | x x0 | < r, donde r es un nmero real llamado radio de convergencia de la serie. Esta converge, pues, al menos, para los valores de x pertenecientes al intervalo (x0 r, x0 + r), ya que la convergencia para los extremos de este ha de estudiarse aparte, por lo que el intervalo real de convergencia puede ser tambin semiabierto o cerrado. Si la serie converge solo para x0, r = 0. Si lo hace para cualquier valor de x, r =

Ejemplos
Mostraremos el radio de convergencia de algunos desarrollos en series de potencias con sus respectivos radios de convergencia sin justificar porqu el radio de convergencia es el dado.

Radio de convergencia finito

La funcin 1 / (1 x) en su desarrollo con centro 0, o sea, en series de potencia x x0 = x 0 = x, tiene el siguiente aspecto:

. (para el clculo de la serie vea serie de Taylor). Su radio de convergencia es r = 1. Eso significa que para calcular si tomo cualquier valor cuya distancia al x0
9

INSTITUTO TECNOLGICO DE IGUALA CLCULO INTEGRAL

= 0 es menor que r = 1, por ejemplo el x = 0.25, entonces al remplazarlo en la serie el resultado de calcular la serie ser el mismo que remplazarlo en la funcin, de hecho

. (la cuenta se puede hacer por serie de potencia). Y por otro lado

. Pero si tomamos un elemento fuera del radio de convergencia, por ejemplo el x = 2, los ms probable es que al remplazarlo en la serie, sta diverja (por eso el nombre de radio de convergencia). Efectivamente:

Distancia a la singularidad
El clculo del radio de convergencia no es simple. Veamos una funcin con dos desarrollos en serie con distintos centros y analicemos sus radios de convergencia. La misma funcin 1 / (1 x) en su desarrollo con centro x0 = 3 tiene la forma:

. Pero en este caso su radio de convergencia es r = 2. Notemos que la funcin 1 / (1 x) tiene una singularidad en el 1; y que en los dos caso anteriores el radio de convergencia coincide con la distancia del centro a la singularidad: | 0 1 | = 1 y | 3 1 | = 2. Esto ser siempre verdadero para sta funcin, pero, no puede generalizarse, como veremos en el siguiente ejemplo:

Como no hay singularidades reales podra suponerse que el radio es infinito, sin embargo su radio de convergencia es . Este radio parece caprichoso pero tiene que ver con el hecho de que pasando la funcin a dominio complejo, existe una singularidad en el denominador.La serie

10

INSTITUTO TECNOLGICO DE IGUALA CLCULO INTEGRAL

Radio de convergencia infinito

Por ejempo, la funcin ex puede desarrollarse en series de potencia de x 0 = x, de hecho .

y esto vale para todo real x por eso el radio de convergencia ser infinito.

Radio de convergencia: Para cada serie de potencias de la forma , existe un nmero (0 1), llamado radio de convergencia de la serie de potencias, tal que diverge para |x x0| > . converge absolutamente para |x x0| < y

Si la serie la serie

converge para todo valor real de x, entonces = 1. Si converge solamente en x0, entonces = 0.

11

INSTITUTO TECNOLGICO DE IGUALA CLCULO INTEGRAL

4.5.-SERIE DE TAYLOR
En matemticas, una serie de Taylor de una funcin f(x) infinitamente derivable (real o compleja) definida en un intervalo abierto (a-r, a+r) se define como la siguiente suma:

Aqu, n! es el factorial de n y f (n)(a) indica la n-sima derivada de f en el punto a. Si esta serie converge para todo x perteneciente al intervalo (a-r, a+r) y la suma es igual a f(x), entonces la funcin f(x) se llama analtica. Para comprobar si la serie converge a f(x), se suele utilizar una estimacin del resto del teorema de Taylor. Una funcin es analtica si y solo si se puede representar con una serie de potencias; los coeficientes de esa serie son necesariamente los determinados en la frmula de la serie de Taylor. Si a = 0, a la serie se le llama serie de Maclaurin. Esta representacin tiene tres ventajas importantes:

La derivacin e integracin de una de estas series se puede realizar trmino a trmino, que resultan operaciones triviales. Se puede utilizar para calcular valores aproximados de la funcin. Es posible demostrar que, si es viable la transformacin de una funcin a una serie de Taylor, es la ptima aproximacin posible.

Algunas funciones no se pueden escribir como serie de Taylor porque tienen alguna singularidad. En estos casos normalmente se puede conseguir un desarrollo en serie utilizando potencias negativas de x (vase Serie de Laurent. Por ejemplo f(x) = exp(1/x) se puede desarrollar como serie de Laurent.

12

INSTITUTO TECNOLGICO DE IGUALA CLCULO INTEGRAL

Definicin La serie de Taylor de una funcin f de nmeros reales o complejos que es infinitamente diferenciable en un entorno de nmeros reales o complejos a, es la serie de potencias:

que puede ser escrito de una manera ms compacta como

donde n! es el factorial de n y f (n)(a) denota la n-sima derivada de f en el punto a; la derivada cero de f es definida como la propia f y (x a)0 y 0! son ambos definidos como uno. Historia El filsofo eleata Zenn de Elea consider el problema de sumar una serie infinita para lograr un resultado finito, pero lo descart por considerarlo imposible: el resultado fueron las paradojas de Zenn. Posteriormente, Aristteles propuso una resolucin filosfica a la paradoja, pero el contenido matemtico de esta no qued resuelto hasta que lo retomaron Demcrito y despus Arqumedes. Fue a travs del mtodo exhaustivo de Arqumedes que un nmero infinito de subdivisiones geomtricas progresivas podan alcanzar un resultado trigonomtrico finito.1 Independientemente, Liu Hui utiliz un mtodo similar cientos de aos despus.2 En el siglo XIV, los primeros ejemplos del uso de series de Taylor y mtodos similares fueron dados por Madhava of Sangamagrama.3 A pesar de que hoy en da ningn registro de su trabajo ha sobrevivido a los aos, escritos de matemticos hindes posteriores sugieren que l encontr un nmero de casos especiales de la serie de Taylor, incluidos aquellos para las funciones trigonomtricas del seno, coseno, tangente y arcotangente. En el siglo XVII, James Gregory tambin trabaj en esta rea y public varias series de Maclaurin. Pero recin en 1715 se present una forma general para construir estas series para todas las funciones para las que existe y fue presentado por Brook Taylor, de quin recibe su nombre. Las series de Maclaurin fueron nombradas as por Colin Maclaurin, un profesor de Edinburgo, quin public el caso especial de las series de Taylor en el siglo XVIII.

13

INSTITUTO TECNOLGICO DE IGUALA CLCULO INTEGRAL

4.6.-SERIES DE MACLAURIN (TAYLOR ALREDEDOR DE 0) NOTABLES

La funcin coseno.

Una aproximacin de octavo orden de la funcin coseno en el plano de los complejos.

14

INSTITUTO TECNOLGICO DE IGUALA CLCULO INTEGRAL

A continuacin se enumeran algunas series de Taylor de funciones bsicas. Todos los desarrollos son tambin vlidos para valores complejos de x. Funcin exponencial y logaritmo natural

Serie geomtrica

Teorema del binomio

para y cualquier complejo

Funciones trigonomtricas

Donde Bs son los Nmeros de Bernoulli.

15

INSTITUTO TECNOLGICO DE IGUALA CLCULO INTEGRAL

Funciones hiperblicas

Funcin W de Lambert

Los nmeros Bk que aparecen en los desarrollos de tan(x) y tanh(x) son Nmeros de Bernoulli. Los valores C(,n) del desarrollo del binomio son los coeficientes binomiales. Los Ek del desarrollo de sec(x) son Nmeros de Euler. Varias variables La serie de Taylor se puede generalizar a funciones de d variables:

donde es un coeficiente multinomial. Como ejemplo, para una funcin de 2 variables, x e y, la serie de Taylor de segundo orden en un entorno del punto (a, b) es:

16

INSTITUTO TECNOLGICO DE IGUALA CLCULO INTEGRAL

Un polinomio de Taylor de segundo grado puede ser escrito de manera compacta as:

donde

es el gradiente y

es la matriz hessiana. Otra forma:

17

INSTITUTO TECNOLGICO DE IGUALA CLCULO INTEGRAL

4.7.- Calculo de integrales de funciones expresadas como serie de Taylor

Teorema De Taylor

La funcin exponencial y = ex (lnea roja continua) y su aproximacin mediante un polinomio de Taylor alrededor del origen de (lnea verde discontinua). En clculo, el teorema de Taylor, recibe su nombre del matemtico britnico Brook Taylor, quien lo enunci con mayor generalidad en 1712, aunque previamente James Gregory lo haba descubierto en 1671. Este teorema permite obtener aproximaciones polinmicas de una funcin en un entorno de cierto punto en que la funcin sea diferenciable. Adems el teorema permite acotar el error obtenido mediante dicha estimacin
o

Caso de una variable

Este teorema permite aproximar una funcin derivable en el entorno reducido alrededor de un punto a: (a, d) mediante un polinomio cuyos coeficientes dependen de las derivadas de la funcin en ese punto. Ms formalmente, si

18

INSTITUTO TECNOLGICO DE IGUALA CLCULO INTEGRAL

0 es un entero y una funcin que es derivable , (1a) ]y +1 veces en el intervalo abierto ( ,

veces en el intervalo cerrado [

), entonces se cumple que:1

O en forma compacta

(1b) Donde denota el factorial de , y es el resto, trmino que depende de . Existen dos expresiones para

y es pequeo si

est prximo al punto

que se mencionen a continuacin:

(2a) Donde y , pertenecen a los nmeros reales, :2 a los enteros y es un nmero

real entre y

(2b) Si es expresado de la primera forma, se lo denomina Trmino

complementario de Lagrange, dado que el Teorema de Taylor se expone como una generalizacin del Teorema del valor medio o Teorema de Lagrange, mientras que la segunda expresin de R muestra al teorema como una generalizacin del Teorema fundamental del clculo integral. Para algunas funciones aproxima a cero cuando , se puede probar que el resto, , se

se acerca al ; dichas funciones pueden ser

expresadas como series de Taylor en un entorno reducido alrededor de un punto y son denominadas funciones analticas.
19

INSTITUTO TECNOLGICO DE IGUALA CLCULO INTEGRAL

El teorema de Taylor con vlido si la funcin

expresado de la segunda forma es tambin

tiene nmeros complejos o valores vectoriales. Adems

existe una variacin del teorema de Taylor para funciones con mltiples variables.

Caso de varias variables

El teorema de Taylor anterior (1) puede generalizarse al caso de varias variables como se explica a continuacin. Sea B una bola en RN centrada en el punto a, y f una funcin real definida sobre la clausura cuyas derivadas

parciales de orden n+1 son todas continuas en cada punto de la bola. El teorema de Taylor establece que para cualquier :

Donde la suma se extiende sobre los multi-ndices (esta frmula usa la notacin multi-ndice). El resto satisface la desigualdad:

Para todo con ||=n+1. Tal como sucede en el caso de una variable, el resto puede expresarse explcitamente en trminos de derivadas superiores (vase la demostracin para los detalles).

Demostracin
Para demostrar el teorema de Taylor para el caso multidimensional, considrese un funcin o campo escalar, que suponemos

continuo y, para simplificar lo expuesto (aunque una generalizacin es trivial), de clase cmo . Sea (t) una funcin vectorial que va de , y definmosla

(de ahora en adelante, v se omitirn las flechas de

20

INSTITUTO TECNOLGICO DE IGUALA CLCULO INTEGRAL

los vectores).Pongamos r(t) = y Ahora hagamos g(t) = f[r(t)] y recordemos que . Notemos ahora que:

Ahora, derivando sucesivas veces, encontramos que podemos poner de forma muy cmoda:

Donde el exponente sobre el gradiente es entendido cmo las sucesivas veces que hacemos el gradiente; es decir, hacemos el producto escalar que est dentro del parntesis, luego volvemos a derivar otra vez la funcin, obteniendo otro producto escalar, y as "n" veces. Ahora, empleando el teorema de Taylor para una variable real, expandimos g(t) en su serie de McLaurin:

Y haciendo t=1 y sustituyendo las derivadas por las expresiones antes hallada se evidencia que:

Obsrvese que el primer trmino aparece el gradiente y en el segundo la matriz hessiana, pero escrito con esta notacin particular que resulta ms cmodo y compacto. La expresin obtenida es equivalente a la expresada ms arriba mediante la notacin multindice.

21

INSTITUTO TECNOLGICO DE IGUALA CLCULO INTEGRAL

Demostracin
La demostracin de la frmula (1a), con el resto de la forma (2a), se sigue trivialmente del teorema de Rolle aplicado a la funcin:

Un clculo rutinario permite ver la derivada de esta funcin cumple que:

Se define ahora la funcin G como:

Es evidente que esta funcin cumple diferenciable, por el teorema de Rolle se sigue que:

, y al ser esta funcin

Y como:

Se obtiene finalmente que:

Y substituyendo en esta frmula la definicin de F(a), queda precisamente la frmula (1a) con la forma del resto (2a).
Especial:Buscar

22