4.

3 SERIES DE POTENCIAS
Una serie de potencias es una serie de la forma:

Donde es una variable y las son constantes que se denominan coeficientes de la serie. Para cada establecida, la serie (1) es una serie de constantes que puede probar para ver si son convergentes o divergentes. Una serie de potencias podra ser convergente para algunos valores de y ser divergente para otros. La suma de la serie es una funcin.

Cuyo dominio es el conjunto de todas las

para las cuales la serie es convergente. Observe tiene una cantidad infinita de

que es parecida a un polinomio. La nica diferencia es que trminos. 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

son los trminos de una sucesion.

La serie

geomtrica es

una

serie

de

potencias absolutamente

convergente si

y divergente si

La serie de potencias

es absolutamente convergente para todo

La serie de potencias

solamente converge para

4.4 RADIO DE CONVERGENCIA En matemticas segn el teorema de Cauchy-Hadamard el radio de convergencia de

una serie de la forma

, con

, viene dado por la expresin:

DEFINICION:

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 semi abierto o cerrado. Si la serie converge solo para x0, r = 0. Si lo hace para cualquier valor de x, r =

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 = 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 DE SEGURIDAD. 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 = 3tiene 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 RADIO DE CONVERGENCIA INFINITO. 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.

4.5 SERIE DE TAYLOR. Teorema1: Sea f(z) una funcin analtica en todo punto del disco C0, con centro en Z0 y radio r0. Entonces, en cada punto de z del disco C0, f(z) se expresa como ( )
( )(

Es decir, la serie de potencias

( )

( )(

) converge a f(z) cuando |z z0| < r0.

La serie se denomina desarrollo en serie de Taylor o, simplemente, desarrollo de Taylor de f(z) alrededor del punto z0. Si z0 = 0, el desarrollo de Taylor adquiere la forma:
( )(

( )

y se denomina desarrollo de Maclaurin de f(z).

Teorema 2: El desarrollo en serie de Taylor alrededor de z0 de una funcin f(z) es la nica serie de potencias de (z z0) que converge a f(z) en todo punto de un disco centrado en z0. El siguiente teorema nos permite calcular el radio de convergencia del mayor crculo para el cual la serie de Taylor de una funcin f(z) converge a f(z). Teorema 4.5.2 Consideremos el desarrollo en serie de Taylor (5.3) de una funcin f(z) alrededor de z0. El mayor crculo dentro del cual esta serie converge a f(z) en cada punto es |z z0| = r, donde r es la distancia entre z0 y el punto singular de f(z) ms cercano.

Obsrvese que este teorema no afirma que la serie de Taylor no converja fuera de |z z0| = r. Slo asevera que ste es el mayor crculo en todo punto del cual la serie converge a f(z). El crculo en todo punto del cual la serie de Taylor ( )
( )(

) converge a f(z) y

el crculo en todo punto del cual la serie converge no son necesariamente iguales. El segundo de ellos puede tener un radio mayor.

4.6 REPRESENTACIN DE FUNCIONES MEDIANTE LA SERIE DE TAYLOR.

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.

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. A continuacin se enumeran algunas series de Taylor de funciones bsicas. Todos los desarrollos son tambin vlidos para valores complejos de x. 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 ey, la serie de Taylor de segundo orden en un entorno del punto (a, b) es:

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:

Funcin exponencial y logaritmo natural:

Serie geomtrica:

Teorema del binomio:

Para Y cualquier complejo.

Funciones trigonomtricas:

Donde Bs son los Nmeros de Bernoulli.

Funciones hiperblicas:

4.7 CALCULO DE INTEGRALES DE FUNCIONES EXPRESADAS COMO SERIE DE TAYLOR. DESARROLLO EN SERIE DE TAYLOR Se incluye la serie de Taylor como una herramienta para la representacin de funciones como una serie de potencias. Tambin para calcular integrales definidas de funciones con primitivas difcil de determinar. 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.

PASOS PARA ENCONTRAR UNA SERIE DE TAYLOR: 1.- derivar ( ) varias veces y evaluar cada derivada en c. ( ) (C , f ( ) ( ) Intentar de reconocer un patrn en estos nmeros 2.- usar la sucesin desarrolla en el primer paso formar los coeficientes de Taylor de terminar el intervalo de convergencia de la serie de potencia resultante. 3.- dentro de este intervalo de convergencia, determine si la serie converge o no a f(X)
( )

( )

( ) y

( )

La determinacin directa de los coeficientes de Taylor o de Maclaurin usando derivacin sucesiva pude ser difcil.

CASO DE UNA VARIABLE: Este teorema permite aproximar una funcin derivable en el entorno reducido alrededor de un punto a: E (a, d) mediante un polinomio cuyos coeficientes dependen de las derivadas de la funcin en ese punto. Ms formalmente, si 0 es un entero y una funcin que es derivable veces en el intervalo cerrado [ , ] y +1 veces en el intervalo abierto ( , ), entonces se cumple que:1 (1a)

O en forma compacta

(1b) Donde denota el factorial de , y es el resto, trmino que depende de y es pequeo si est prximo al punto . Existen dos expresiones para que se mencionan a continuacin:

(2a) donde :2 y , pertenecen a los nmeros reales, 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 , se puede probar que el resto, , se aproxima a cero cuando 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. El teorema de Taylor con expresado de la segunda forma es tambin vlido si la funcin

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). EJEMPLO: 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 . Sera (t) una funcin vectorial que va de ,y definmosla cmo vectores).Pongamos r(t) = y (de ahora en adelante, se omitirn las flechas de los 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.

EJEMPLO: 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 teorema de Rolle se sigue que:

, y al ser esta funcin diferenciable, por el

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).