SERIES DE TAYLOR

Al igual que en el clculo real, las series complejas de Taylor juegan un papel muy importante, sobre todo para aproximar funciones mediante series de potencias. Una serie de la forma 1X
n=0

cn(z z0)n := c0 + 1X
n=1

cn(z z0)n con cn; z; z0 2 C se llama serie de potencias. Teorema 1 Dada la serie de potencias P
1n = 0

c
n

( z z
0

)
n

, s e a R := 1 l__m sup jcnj1=n 2 [0;1] 1. Si 0 < R < 1, la serie converge absoluta y uniformemente en el disco abierto fz : jz z0j < Rg y diverge en fz : jz z0j > Rg: 2. Si R = 1=0 := 1, la serie converge absoluta y uniformemente en todo el plano complejo. 3. Si R = 1=1 := 0, la serie slo converge en el punto z = z0: El nmero R 2 R := R[f1g se llama radio de convergencia P de la serie de potencias
1n = 0

c
n

( z z
0

)
n

. E

l d i s c o a b i e r t o d e r a d i o R y c e n t r o z
0

e n e l p l a n o c o m p l e j o

, B
R

( z
0

) = fz 2 C : jz z0j < Rg, es el disco o crculo de convergencia de dicha serie. Particularizando la segunda parte del teorema de la convergencia analtica (Teorema 5, Sesin 9) a la serie formada por las funciones analticas gn(z) = cn(zz0); se deduce de forma inmediata el resultado siguiente: Teorema 2 (Analiticidad de las series de potencias) Sea P
1n = 0

c
n

( z z
0

)
n

u n a s e r i e de potencias con radio de convergencia R > 0 y sea f la funcin suma en el crculo de convergencia de la serie BR(z0). Entonces, f es una funcin analtica en BR(z0) y sus derivadas son f(k)(z) = 1X
n=k

n(n 1):::(n k + 1)cn(z z0)nk; 8k 2 N; 8z 2 BR(z0) Es decir: una serie de potencias puede derivarse trmino a trmino k veces para hallar la derivada k-sima de la funcin suma y, adems, el radio de convergencia de todas estas series derivadas sigue siendo R, el radio de convergencia de la serie de potencias original.

P Asimismo y en virtud del Teorema 3-2 de la Sesin 9, una serie de potencias f(z) =
1n = 0

c
n

( z z
0

)
n

p u e d e s e r i n t e g r a d a t r m i n o a t r m i n o a l o l

a r g o d e c u a l q u i e r c o n t o r n o contenido en su crculo de convergencia: Z f(z)dz = 1X

n=0

cn Z (z z0)ndz; 8 _ BR(z0) Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 2 Teorema 3 (Teorema de Taylor) Sea f una funcin analtica en z0 2 C y sea BR(z0) el mayor disco abierto centrado en z0 tal que f es analtica en BR(z0). Entonces existe una serie de potencias que converge a f en BR(z0), es decir, f(z) = 1X
n=0

cn(z z0)n; jz z0j < R (1) donde cn = f(n)(z0) n! ; n = 0; 1; 2; ::: (2) Prueba. Sea 0 < r < R y (t) = z0 + reit; 0 _ t _ 2_; el crculo de centro z0 y radio

r orientado positivamente. Por la frmula integral de Cauchy, f(z) = 1 2_i I f(_) _z d_ z 2 int (3) donde 1 _z = 1 _ z0 1 1 zz0
_z0

= 1 _ z0 1X
n=0

_ z z0 _ z0 _n uniformemente en _ 2 = @Br(z0) ya que jz z0j < j_ z0j si z 2 int = Br(z0): Sustituyendo en (3), f(z) = 1 2_i I
1X n=0

f(_)(z z0)n (_ z0)n+1 d_ (4) Por otra parte, f(_)=(_ z0) es continua para 8_ 2 y, por tanto, acotada en el compacto : Ello implica que la serie que aparece en el integrando de (4) es uniformemente convergente, por lo que podemos intercambiar sumacin e integracin con el siguiente resultado: f(z) = 1X
n=0

1 2_i

I f(_)(z z0)n (_ z0)n+1 d_ = 1X

n=0

_ (z z0)n 1 2_i I f(_) (_ z0)n+1 d_ _ = 1X

n=0

_ (z z0)n f(n)(z0) n! _ donde cn = 1 2_i I f(_) (_ z0)n+1 d_ = f(n)(z0) n! (5) por la frmula integral de Cauchy para las derivadas (Teorema 5, Sesin 8). Como el radio del crculo es arbitrario con tal de que f sea analtica en [ int = Br(z0); esta representacin de f es vlida en el mayor disco abierto centrado en z0 que est contenido en el dominio de analiticidad de f: Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 3 La serie de potencias (1) se conoce como la serie de Taylor de la funcin f(z) en z0. En el caso particular z0 = 0; la serie de Taylor se conoce tambin como serie de MacLaurin. Obsrvese que el teorema anterior no asegura la convergencia de la serie de potencias a f(z) cuando jz z0j = R: Aplicando el principio de deformacin de contornos a la expresin integral (5) de los coe.cientes de Taylor, vemos que, en general, cn =

1 2_i I f(z) (z z0)n+1 dz (n 2 N) donde puede ser cualquier contorno cerrado simple contenido en el dominio de analiticidad de f tal que z0 2 int: Ejemplo 1 Series de MacLaurin ms importantes: ez = 1X
n=0

zn n! (8z 2 C) sin z = 1X
n=1

(1)n1 z2n1 (2n 1)! (8z 2 C) cos z = 1X

n=1

(1)n1 z2n2 (2n 2)! (8z 2 C) Log (1 + z) = 1X

n=1

(1)n1 zn n (jzj < 1) arctan z = 1X

n=1

(1)n1 z2n1 2n 1 (jzj < 1) (1 + z)_ = 1X

n=0

_ _ n _ zn (_ 2 C; jzj < 1; pero 8z 2 C si _ 2 N) La ltima serie se conoce como la frmula binomial y en ella

_ _ n _ := _(_ 1):::(_ n + 1) n! Cuando _ =2 Z; la frmula binomial slo es vlida para la rama principal de la funcin f(z) = (1 + z)_ (aqulla en la que f(0) = 1). En particular, para _ = 1 obtenemos la serie geomtrica 1 1z = 1X
n=0

_ 1 n _ (1)nzn = 1X
n=0

zn = 1 + z + z2 + ::: + zn + ::: (jzj < 1) El Teorema 2 implica que f(k)(z0) = k!ck para 8k _ 0 y, por tanto, que la serie de Taylor de una funcin f(z) en uno de sus puntos de analiticidad z0 es la nica Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 4 serie de potencias que converge a dicha funcin en cualquier crculo abierto centrado en z0: Adems, del enunciado del Teorema de Taylor se deduce que el mayor crculo de convergencia BR(z0) de la serie de Taylor de f en z0 es aqul para el cual el radio R es igual a la distancia entre z0 y el punto ms prximo en el cual f no es analtica (pues, de otro modo, f seguira siendo analtica en un crculo de radio an mayor). Ejemplo 2 Las singularidades de la funcin f(z) = 1=(1 + z2) son los puntos z = _i. Luego el radio de convergencia de la serie de Taylor de f(z) en 0 es R = j_i 0j = j_ij = 1. Esto explica por qu el radio de convergencia de la P serie real de potencias
1n = 0

( 1 )
n

x
2

, x 2 R ( q u e e s l a s e r i e d e M a c L a u r i n d e l a f u n c i n r e a l f ( x

) = 1 = ( 1 + x2) 2 C1(R)) vale 1. Ejercicio 1 (i) Obtener la serie de Taylor de arctan z en B1(0) integrando trmino a trmino la serie de 1=(1+z2) en B1(0) y, recprocamente, (ii) obtener la serie de Taylor de 1=(1 + z2) en B1(0) derivando trmino a trmino la serie de arctan z en B1(0). Corolario 1 (Caracterizacin de las funciones analticas) Sea f una funcin de.nida en un conjunto abierto A _ C: Entonces f es analtica en A si y slo si para 8z0 2 A existe r > 0 tal que el disco Br(z0) _ A y f tiene una representacin en serie de potencias en Br(z0): Prueba. El Teorema de Taylor muestra que toda funcin analtica f es representable mediante una serie de potencias (a saber, su serie de Taylor) en todo disco abierto contenido en su dominio de analiticidad. Recprocamente, si f es la funcin suma de una serie de potencias convergente en Br(z0); entonces Br(z0) est contenido en el crculo de convergencia de la serie y, por el Teorema 2, f es analtica en Br(z0) y esto para 8z0 2 A; de donde concluimos que f es analtica en A: Nota 1 El corolario anterior muestra que la analiticidad de una funcin es equivalente a su representabilidad en serie de potencias, por lo que la segunda propiedad puede ser tomada como de.nicin alternativa de la primera. Esta situacin contrasta con lo que ocurre en el caso real; pues las condiciones de derivabilidad y representabilidad mediante series de potencias no son, ni mucho menos, equivalentes para las funciones reales. Las series de Taylor permiten tambin el estudio de los ceros de una funcin analtica. De.nicin 1 Se dice que el punto z0 es un cero aislado de f si f(z0) = 0 y existe un entorno reducido de z0 en el cual f no se anula. Si f es analtica en z0 y f(z0) = 0, el desarrollo de Taylor de f en z0 no tiene trmino constante c0, de manera que f(z) = 1X
n=1

cn(z z0)n = c1(z z0) + c2(z z0)2 + ::: (6) Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 5

para 8z 2 BR(z0); donde BR(z0) es el mayor disco centrado en z0 en el que f es analtica: Si, adems, todos los dems coe.cientes cn, n = 1; 2; ::: son tambin cero, la representacin (6) de f(z) en serie de Taylor es idnticamente nula por lo que, en virtud de la unicidad de dicha representacin, f _ 0 en BR(z0). Supongamos ahora que los coe.cientes de (6) no son todos nulos y sea cm, m _ 1, el primer coe.ciente no nulo. Por tanto, f(z) = cm(z z0)m + cm+1(z z0)m+1 + ::: = (z z0)m_(z) (7) donde _(z) := cm + cm+1(z z0) + ::: = 1X
k=0

cm+k(z z0)k (8) es una funcin analtica en BR(z0) (ya que tiene un desarrollo de Taylor en z0 en dicho crculo) tal que _(z0) = cm 6= 0: Por continuidad, _(z) 6= 0 en un entorno de z0. Estas observaciones conducen a la siguiente de.nicin. De.nicin 2 Sean m 2 N y f una funcin analtica en z0. Si f(z) = (z z0)m_(z), donde _(z) 6= 0, en un entorno de z0, decimos que la funcin f tiene un cero de orden m en z0. Obsrvese que de la de.nicin anterior se deduce que _ es analtica en z0, ya que f(z) y (z z0)m son funciones analticas en z0. Por lo visto anteriormente, el orden de z0 coincide con el orden del primer coe.ciente no nulo de la serie de Taylor de f en z0: Proposicin 1 Sea f una funcin analtica en z0: Entonces f tiene en z0 un cero de orden m si y slo si f(z0) = f(1)(z0) = ::: = f(m1)(z0) = 0 y f(m)(z0) 6= 0. Prueba. ()) Aplicando la regla de Leibniz al producto (z z0)m_(z), obtenemos f(n)(z) = Xn
k=0

_ n k _ dk dzk (z z0)mdnkz dznk _(z) = Xn

k=0

_ n k _

m(m 1):::(m k + 1)(z z0)mk_(nk)(z) Para 0 _ k _ n y n = 1; 2; :::;m 1; tenemos que mk_mn_1 con lo cual, todos los exponentes del factor zz0 son positivos y, por tanto, f(n)(z0) = 0. Adems, de f(m)(z) = Xm
k=0

_ m k _ m(m 1):::(m k + 1)(z z0)mk_(mk)(z) deducimos f(m)(z0) = m!_(z0) 6= 0 (() Por el teorema de Taylor, cn = f(n)(z0)=n! (n 2 N); donde cn son los coe.cientes de la serie de Taylor (6) de f en z0: Por hiptesis, c0 = ::: = cm1 = 0 y cm 6= 0; de donde f tiene en el disco de convergencia BR(z0) la expresin (7) y (8). Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 6 Ejemplo 3 1. La funcin f(z) = (z 1)(z + 1)2 tiene un cero de orden 1 en z = 1 y otro de orden 2 en z = 1. La derivada, f0(z) = (z + 1)2 + 2(z 1)(z + 1), se anula, asimismo, en z = 1 ya que ste es un cero de orden 2. 2. Los ceros de la funcin f(z) = z sinh z son z = in_; n 2 Z. De f0(z) = sinh z + z cosh z deducimos que z = 0 es de orden 2 y el resto, de orden 1: Teorema 4 (Aislamiento de ceros) Sea f una funcin analtica en z0 y sea f(z0) = 0: Entonces, o (i) existe un entorno de z0 en el que f(z) = 0 nicamente en z = z0, o (ii) existe un entorno de z0 en el que f(z) = 0 en todo punto del entorno. Prueba. Supongamos que z0 es un cero de orden m 2 N de f: El factor _(z) en (7) es analtico y, por tanto, continuo en cierto disco BR(z0): Por continuidad, existe r > 0 tal que _(z) 6= 0 para 8z 2 Br(z0) ya que _(z0) 6= 0: Como f(z) = (z z0)m_(z) en BR(z0) _ Br(z0); concluimos que el nico cero de f en Br(z0) es z0: La posibilidad (ii) corresponde al caso en el que f y todas sus derivadas (y, por tanto, todos los coe.cientes de Taylor) se anulan en z0: As, pues, una funcin analtica f slo puede tener ceros aislados en su dominio de analiticidad, a menos que se anule idnticamente en un disco. Corolario 2 Sea f una funcin analtica en un conjunto abierto A y sea z0 2 A. Si existe una sucesin de puntos distintos z1; z2; ::: en A tal que l__mk!1 zk = z0 y f(zk) = 0 para 8k 2 N; entonces f(z) = 0 para 8z 2 BR(z0) _ A: Este resultado conduce trivialmente al principio de continuacin analtica o teorema de identidad: Si dos funciones analticas f y g de.nidas en un dominio A coinciden en un conjunto de puntos con un punto de acumulacin z0 2 A, entonces f = g en A: Esta conclusin es vlida, en particular, si f = g en un entorno de algn punto de A: Ejemplo 4 Probar la identidad

sin2 z = 1 2 (1 cos 2z) 8z 2 C Solucin. De.namos la funcin entera F(z) := sin2 z+1 2 cos 2z1 2 : Entonces se cumple que F(z) se anula en todo punto del eje real. Por el Corolario 2 (ya que los puntos del eje real no son aislados), F(z) = 0 para 8z 2 C. El mismo argumento del ejemplo anterior muestra que si una funcin entera es constante sobre un arco de curva cualquiera de longitud arbitrariamente pequea, entonces es constante en todo el plano complejo. Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 7

1. Problemas propuestos
1. Dar el radio de convergencia de las series de Taylor de las siguientes funciones en los puntos indicados (sin efectuar el desarrollo corespondiente): (a) sin z z2 + 4 ; z0 = 0; (b) ez z(z 1) ; z0 = 4i; (c) z ez + 1 ; z0 = 0; (d) sec _z; z0 = 1: 2. Desarrollar la funcin f(z) = z z2 z 2 en serie de Taylor alrededor del punto z0 = 1. Cul es el radio de convergencia? 3. Cul es el radio de convergencia de la serie de Taylor de la funcin f(z) = 1 1 + z2 alrededor del punto z0 = 2? 4. Calcular la serie de Maclaurin de la funcin f(z) = ez 1z

Serie De Taylor
Diferenciacin e integracin de la serie de potencias La suma de una serie de potencias es una funcin f(x) =n=0cn(x - a)n, cuyo dominio e: intervalo de convergencia de la serie. Nos gustara poder diferenciar e integrar estas funciones, y el siguiente teorema (que no demostraremos) indica que se puede hacer esto diferenciando o integrando cada trmino de la serie, del mismo modo que se hara con un polinomio. Esto se denomina diferenciacin e integracin trmino a trmino. Teorema: Si la serie de potencias cn(x - a)n tiene el radio de convergencia R > 0, entonces la funcin f definida por: fx= c0+ c1x-a+c2(x-a)2+=n=0cn(x-a)n Es diferenciable (y como consecuencia continua) en el intervalo (a -R, a + R), y

Los radios de convergencia de las series de potencias en las ecuaciones a) y b) son R. NOTA 1: Las ecuaciones a) y b) se pueden volver a escribir en la forma:

Se sabe que para sumas finitas, la derivada de una suma es igual a la suma de las derivadas y que la integral de una suma es igual a la suma de las integrales. Las ecuaciones c) y d) afirman que lo mismo es vlido para sumas infinitas, siempre y cuando se trate de series de potencias. NOTA 2: Aunque el teorema 2 establece que el radio de convergencia no cambia cuando una serie de potencias se diferencia o se integra, esto no significa que el intervalo de convergencia no se altere. Puede suceder que la serie original converja en un punto extremo, en tanto que la serie diferenciada diverja ah. NOTA 3: La idea de diferenciar una serie de potencias trmino a trmino es la base de un potente mtodo para resolver ecuaciones diferenciales.

Ejemplo: Exprese a 1/(1-x)2 en forma de una serie de potencias, diferenciando la ecuacin 1. Cul es el radio de convergencia? Solucin: Al diferenciar ambos lados de la ecuacin 1(1-x)2=1+x+ x2+ x3+ = n=0xn Obtenemos 1(1-x)2=1+2x+ 3x2+ = n=0nxn-1 Si se desea se puede sustituir n con n + 1 y escribir la respuesta como 1(1-x)2= n=0(n-1)xn...

Serie de Taylor
De Wikipedia, la enciclopedia libre Saltar a navegacin, bsqueda 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:

sin(x) y aproximaciones de Taylor centradas en 0, con polinomios de grado 1, 3, 5, 7, 9, 11 y 13.

La funcin exponencial (en azul), y la suma de los primeros n+1 trminos de su serie de Taylor en torno a cero (en rojo).

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.

Contenido
[ocultar]

1 Definicin 2 Historia 3 Series de Maclaurin (Taylor alrededor de 0) notables o 3.1 Funcin exponencial y logaritmo natural o 3.2 Serie geomtrica o 3.3 Teorema del binomio o 3.4 Funciones trigonomtricas o 3.5 Funciones hiperblicas o 3.6 Funcin W de Lambert 4 Varias variables 5 Aplicaciones 6 Referencias 7 Vase tambin

[editar] 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.

[editar] 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.

[editar] 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.

Las dos imgenes de arriba puestas juntas. A continuacin se enumeran algunas series de Taylor de funciones bsicas. Todos los desarrollos son tambin vlidos para valores complejos de x.

[editar] Funcin exponencial y logaritmo natural

[editar] Serie geomtrica

[editar] Teorema del binomio

para y cualquier complejo

[editar] Funciones trigonomtricas

Donde Bs son los Nmeros de Bernoulli.

[editar] Funciones hiperblicas

[editar] 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.

[editar] 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:

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:

[editar] Aplicaciones
Adems de la obvia aplicacin de utilizar funciones polinmicas en lugar de funciones de mayor complejidad para analizar el comportamiento local de una funcin, las series de Taylor tienen muchas otras aplicaciones. Algunas de ellas son: anlisis de lmites y estudios paramtricos de los mismos, estimacin de nmeros irracionales acotando su error, teorema de L'Hopital para la resolucin de lmites indeterminados, estudio de puntos estacionarios en funciones (mximos o mnimos relativos o puntos sillas de tendencia estrictamente creciente o decreciente), estimacin de integrales, determinacin de convergencia y suma de algunas series importantes, estudio de orden y parmetro principal de infinitsimos, etc