10.3: Serie Taylor y Maclaurin
( \newcommand{\kernel}{\mathrm{null}\,}\)
- Describir el procedimiento para encontrar un polinomio Taylor de un orden determinado para una función.
- Explicar el significado y significado del teorema de Taylor con resto.
- Estimar el resto para una aproximación de la serie Taylor de una función dada.
En las dos secciones anteriores discutimos cómo encontrar representaciones de series de potencia para ciertos tipos de funciones, específicamente, funciones relacionadas con series geométricas. Aquí discutimos representaciones de series de potencia para otros tipos de funciones. En particular, abordamos las siguientes preguntas: ¿Qué funciones se pueden representar por series de poder y cómo encontramos tales representaciones? Si podemos encontrar una representación de series de potencia para una función en particularf y la serie converge en algún intervalo, ¿cómo demostramos que la serie realmente converge af?
Descripción general de la serie Taylor/Maclaurin
Considere una funciónf que tenga una representación de serie de potencia enx=a. Entonces la serie tiene la forma
∞∑n=0cn(x−a)n=c0+c1(x−a)+c2(x−a)2+….
¿Cuáles deberían ser los coeficientes? Por ahora, ignoramos los temas de convergencia, pero en cambio nos centramos en lo que debería ser la serie, si existe una. Volvemos a discutir la convergencia más adelante en esta sección. Si la serie Ecuación\ ref {eq1} es una representación paraf atx=a, ciertamente queremos que la serie sea igual af(a) atx=a. Evaluando la serie enx=a, vemos que
∞∑n=0cn(x−a)n=c0+c1(a−a)+c2(a−a)2+⋯=c0.
Así, la serie es igualf(a) si el coeficientec0=f(a). Además, nos gustaría que la primera derivada de la serie power igualef′(a) enx=a. Ecuación diferenciadora\ ref {eq2} término por término, vemos que
ddx(∞∑n=0cn(x−a)n)=c1+2c2(x−a)+3c3(x−a)2+….
Por lo tanto, enx=a, la derivada es
ddx(∞∑n=0cn(x−a)n)=c1+2c2(a−a)+3c3(a−a)2+⋯=c1.
Por lo tanto, la derivada de la serie es igualf′(a) si el coeficientec1=f′(a). Continuando de esta manera, buscamos coeficientescn tales que todas las derivadas de la serie de potencias Ecuación\ ref {eq4} coincidan con todas las derivadas correspondientes def atx=a. La segunda y tercera derivadas de la Ecuación\ ref {eq3} vienen dadas por
d2dx2(∞∑n=0cn(x−a)n)=2c2+3⋅2c3(x−a)+4⋅3c4(x−a)2+…
y
d3dx3(∞∑n=0cn(x−a)n)=3⋅2c3+4⋅3⋅2c4(x−a)+5⋅4⋅3c5(x−a)2+⋯.
Por lo tantox=a, en, el segundo y tercer derivados
d2dx2(∞∑n=0cn(x−a)n)=2c2+3⋅2c3(a−a)+4⋅3c4(a−a)2+⋯=2c2
y
d3dx3(∞∑n=0cn(x−a)n)=3⋅2c3+4⋅3⋅2c4(a−a)+5⋅4⋅3c5(a−a)2+⋯=3⋅2c3
igualf″ yf'''(a), respectivamente, sic_2=\dfrac{f''(a)}{2} yc_3=\dfrac{f'''(a)}{3⋅2}. De manera más general, vemos que sif tiene una representación de serie de potencia enx=a, entonces los coeficientes deben ser dados porc_n=\dfrac{f^{(n)}(a)}{n!}. Es decir, la serie debería ser
\sum_{n=0}^∞\dfrac{f^{(n)}(a)}{n!}(x−a)^n=f(a)+f′(a)(x−a)+\dfrac{f''(a)}{2!}(x−a)^2+\dfrac{f'''(a)}{3!}(x−a)^3+⋯ \nonumber
Esta serie de poder paraf es conocida como la serie Taylor paraf ena. Ifx=0, entonces esta serie es conocida como la serie Maclaurin paraf.
Sif tiene derivados de todos los pedidos enx=a, entonces la serie Taylor para la funciónf ata es
\sum_{n=0}^∞\dfrac{f^{(n)}(a)}{n!}(x−a)^n=f(a)+f′(a)(x−a)+\dfrac{f''(a)}{2!}(x−a)^2+⋯+\dfrac{f^{(n)}(a)}{n!}(x−a)^n+⋯ \nonumber
La serie de Taylor paraf a 0 es conocida como la serie Maclaurin paraf.
Más adelante en esta sección, mostraremos ejemplos de encontrar series de Taylor y discutiremos las condiciones bajo las cuales la serie Taylor para una función convergerá a esa función. Aquí, señalamos un resultado importante. Recordemos que las representaciones de series de poder son únicas. Por lo tanto, si una funciónf tiene una serie power ata, entonces debe ser la serie Taylor paraf ata.
Si una funciónf tiene una serie de potencia en una que convergef en algún intervalo abierto que contienea, entonces esa serie de potencia es la serie Taylor paraf ata.
La prueba se desprende directamente de lo discutido anteriormente.
Para determinar si una serie de Taylor converge, necesitamos mirar su secuencia de sumas parciales. Estas sumas parciales son polinomios finitos, conocidos como polinomios de Taylor.
Polinomios de Taylor
La suman^{\text{th}} parcial de la serie Taylor para una funciónf ata se conoce como polinomio de Taylor den^{\text{th}} grado. Por ejemplo, las sumas parciales 0 th, 1 st, 2 nd y 3 rd de la serie Taylor están dadas por
\begin{align*} p_0(x) &=f(a) \\[4pt] p_1(x) &=f(a)+f′(a)(x−a) \\[4pt]p_2(x) &=f(a)+f′(a)(x−a)+\dfrac{f''(a)}{2!}(x−a)^2\ \\[4pt]p_3(x) &=f(a)+f′(a)(x−a)+\dfrac{f''(a)}{2!}(x−a)^2+\dfrac{f'''(a)}{3!}(x−a)^3 \end{align*}
respectivamente. Estas sumas parciales se conocen como los polinomios Taylor de 0 th, 1 st, 2 nd y 3 rd grado def ata, respectivamente. Six=a, entonces estos polinomios se conocen como polinomios de Maclaurin paraf. Ahora proporcionamos una definición formal de polinomios de Taylor y Maclaurin para una funciónf.
Sif tienen derivados enx=a, entonces el polinomio de Taylor den^{\text{th}} -grado def ata es
p_n(x)=f(a)+f′(a)(x−a)+\dfrac{f''(a)}{2!}(x−a)^2+\dfrac{f'''(a)}{3!}(x−a)^3+⋯+\dfrac{f^{(n)}(a)}{n!}(x−a)^n. \nonumber
El polinomio den^{\text{th}} -grado Taylor paraf at0 se conoce como el polinomio den^{\text{th}} -grado Maclaurin paraf.
Ahora mostramos cómo usar esta definición para encontrar varios polinomios de Taylor paraf(x)=\ln x atx=1.
Encuentra los polinomios de Taylorp_0,p_1,p_2 yp_3 paraf(x)=\ln x enx=1. Utilice una utilidad gráfica para comparar la gráfica def con las gráficas dep_0,p_1,p_2 yp_3.
Solución
Para encontrar estos polinomios de Taylor, necesitamos evaluarf y sus tres primeras derivadas enx=1.
\ [\ begin {alinear*} f (x) &=\ ln x & f (1) &=0\\ [5pt]
f′ (x) &=\ dfrac {1} {x} & f′ (1) &=1\\ [5pt]
f "(x) &=−\ dfrac {1} {x^2} & f" (1) &=−1\ [5pt]
f"' (x) &=\ dfrac {2} {x^3} & f"' (1) &=2\ end {align*}\]
Por lo tanto,
\begin{align*} p_0(x) &= f(1)=0,\\[4pt]p_1(x) &=f(1)+f′(1)(x−1) =x−1,\\[4pt]p_2(x) &=f(1)+f′(1)(x−1)+\dfrac{f''(1)}{2}(x−1)^2 = (x−1)−\dfrac{1}{2}(x−1)^2 \\[4pt]p_3(x) &=f(1)+f′(1)(x−1)+\dfrac{f''(1)}{2}(x−1)^2+\dfrac{f'''(1)}{3!}(x−1)^3=(x−1)−\dfrac{1}{2}(x−1)^2+\dfrac{1}{3}(x−1)^3 \end{align*}
Las gráficasy=f(x) y los tres primeros polinomios de Taylor se muestran en la Figura\PageIndex{1}.

Encuentra los polinomios de Taylorp_0,p_1,p_2 yp_3 paraf(x)=\dfrac{1}{x^2} enx=1.
- Pista
-
Encuentre las tres primeras derivadas def y evalúelas enx=1.
- Contestar
-
\ [\ begin {alinear*} p_0 (x) &=1\\ [5pt]
p_1 (x) &=1−2 (x−1)\\ [5pt]
p_2 (x) &=1−2 (x−1) +3 (x−1) ^2\\ [5pt]
p_3 (x) &=1−2 (x−1) +3 (x−1) ^2−4 (x−1) ^3\ end {alinear*}\]
Ahora mostramos cómo encontrar polinomios de Maclaurin parae^x, \sin x, y\cos x. Como se indicó anteriormente, los polinomios de Maclaurin son polinomios de Taylor centrados en cero.
Para cada una de las siguientes funciones, encuentre fórmulas para los polinomios Maclaurinp_0,p_1,p_2 yp_3. Encuentra una fórmula para el polinomio de Maclaurin den^{\text{th}} grado y escríbala usando notación sigma. Utilice una utilidad gráfica para comparar las gráficas dep_0,p_1,p_2 yp_3 conf.
- f(x)=e^x
- f(x)=\sin x
- f(x)=\cos x
Solución
Ya quef(x)=e^x, sabemos quef(x)=f′(x)=f''(x)=⋯=f^{(n)}(x)=e^x para todos los enteros positivosn. Por lo tanto,
f(0)=f′(0)=f''(0)=⋯=f^{(n)}(0)=1 \nonumber
para todos los enteros positivosn. Por lo tanto, tenemos
\ (\ begin {align*} p_0 (x) &=f (0) =1,\\ [5pt]
p_1 (x) &=f (0) +f′ (0) x=1+x,\\ [5pt]
p_2 (x) &=f (0) +f′ (0) x+\ dfrac {f "(0)} {2!} x^2=1+x+\ dfrac {1} {2} x^2,\\ [5pt]
p_3 (x) &=f (0) +f′ (0) x+\ dfrac {f "(0)} {2} x^2+\ dfrac {f"' (0)} {3!} x^3=1+x+\ dfrac {1} {2} x^2+\ dfrac {1} {3!} x^3,\ end {alinear*}\)
\ (\ displaystyle\ begin {alinear*} p_n (x) &=f (0) +f′ (0) x+\ dfrac {f "(0)} {2} x^2+\ dfrac {f"' (0)} {3!} x^3++\ dfrac {f^ {(n)} (0)} {n!} x^n\\ [5pt]
&=1+x+\ dfrac {x^2} {2!} +\ dfrac {x^3} {3!} ++\ dfrac {x^n} {n!} \\ [5pt]
&=\ suma_ {k=0} ^n\ dfrac {x^k} {k!} \ end {align*}\).
La función y los tres primeros polinomios de Maclaurin se muestran en la Figura\PageIndex{2}.

b. Paraf(x)=\sin x, los valores de la función y sus primeras cuatro derivadas atx=0 se dan de la siguiente manera:
\ [\ begin {align*} f (x) &=\ sin x & f (0) &=0\\ [5pt]
f′ (x) &=\ cos x & f′ (0) &=1\\ [5pt]
f "(x) &=−\ sin x & f" (0) &=0\\ [5pt]
f"' (x) &=− cos x & f"' (0) &=−1\\ [5pt]
f^ {(4)} (x) &=\ sin x & f^ {(4)} (0) &=0. \ end {alinear*}\]
Dado que la cuarta derivada es\sin x, el patrón se repite. Es decir,f^{(2m)}(0)=0 yf^{(2m+1)}(0)=(−1)^m porm≥0. lo tanto, tenemos
\ (\ begin {align*} p_0 (x) &=0,\\ [5pt]
p_1 (x) &=0+x=x,\\ [5pt]
p_2 (x) &=0+x+0=x,\\ [5pt]
p_3 (x) &=0+x+0−\ dfrac {1} {3!} x^3=x−\ dfrac {x^3} {3!} ,\\ [5pt]
p_4 (x) &=0+x+0−\ dfrac {1} {3!} x^3+0=x−\ dfrac {x^3} {3!} ,\\ [5pt]
p_5 (x) &=0+x+0−\ dfrac {1} {3!} x^3+0+\ dfrac {1} {5!} x^5=x−\ dfrac {x^3} {3!} +\ dfrac {x^5} {5!} ,\ end {alinear*}\)
y param≥0,
\ [\ begin {alinear*} p_ {2m+1} (x) =p_ {2m+2} (x) &=x−\ dfrac {x^3} {3!} +\ dfrac {x^5} {5!} −+ (−1) ^m\ dfrac {x^ {2m+1}} {(2m+1)!} \\ [5pt]
&=\ sum_ {k=0} ^m (−1) ^k\ dfrac {x^ {2k+1}} {(2k+1)!}. \ end {alinear*}\]
Las gráficas de la función y sus polinomios Maclaurin se muestran en la Figura\PageIndex{3}.

c. Paraf(x)=\cos x, los valores de la función y sus primeras cuatro derivadas atx=0 se dan de la siguiente manera:
\ [\ begin {alinear*} f (x) &=\ cos x & f (0) &=1\\ [5pt]
f′ (x) &=−\ sin x & f′ (0) &=0\\ [5pt]
f "(x) &=−\ cos x & f" (0) &=−1\\ [5pt]
f"' (x) &=\ sin x & f"' (0) &=0\\ [5pt]
f^ {(4)} (x) &=\ cos x & f^ {(4)} (0) &=1. \ end {alinear*}\]
Dado que la cuarta derivada es\sin x, el patrón se repite. En otras palabras,f^{(2m)}(0)=(−1)^m yf^{(2m+1)}=0 param≥0. Por lo tanto,
\ (\ begin {align*} p_0 (x) &=1,\\ [5pt]
p_1 (x) &=1+0=1,\\ [5pt]
p_2 (x) &=1+0−\ dfrac {1} {2!} x^2=1−\ dfrac {x^2} {2!} ,\\ [5pt]
p_3 (x) &=1+0−\ dfrac {1} {2!} x^2+0=1−\ dfrac {x^2} {2!} ,\\ [5pt]
p_4 (x) &=1+0−\ dfrac {1} {2!} x^2+0+\ dfrac {1} {4!} x^4=1−\ dfrac {x^2} {2!} +\ dfrac {x^4} {4!} ,\\ [5pt]
p_5 (x) &=1+0−\ dfrac {1} {2!} x^2+0+\ dfrac {1} {4!} x^4+0=1−\ dfrac {x^2} {2!} +\ dfrac {x^4} {4!} ,\ end {alinear*}\)
y paran≥0,
\ [\ begin {alinear*} p_ {2m} (x) &=p_ {2m+1} (x)\\ [5pt]
&=1−\ dfrac {x^2} {2!} +\ dfrac {x^4} {4!} −+ (−1) ^m\ dfrac {x^ {2m}} {(2m)!} \\ [5pt]
&=\ sum_ {k=0} ^m (−1) ^k\ dfrac {x^ {2k}} {(2k)!}. \ end {alinear*}\]
Las gráficas de la función y los polinomios de Maclaurin aparecen en la Figura\PageIndex{4}.

Encuentra fórmulas para los polinomios Maclaurinp_0,\,p_1,\,p_2 yp_3 paraf(x)=\dfrac{1}{1+x}.
Encuentra una fórmula para el polinomio de Maclaurin den^{\text{th}} grado. Escribe tu respuesta usando notación sigma.
- Pista
-
Evaluar las primeras cuatro derivadas def y buscar un patrón.
- Contestar
-
\displaystyle p_0(x)=1;\;p_1(x)=1−x;\;p_2(x)=1−x+x^2;\;p_3(x)=1−x+x^2−x^3;\;p_n(x)=1−x+x^2−x^3+⋯+(−1)^nx^n=\sum_{k=0}^n(−1)^kx^k
Teorema de Taylor con el resto
Recordemos que el polinomio de Taylorn^{\text{th}} -grado para una funciónf ata es la suman^{\text{th}} parcial de la serie Taylor paraf ata. Por lo tanto, para determinar si la serie Taylor converge, necesitamos determinar si la secuencia de polinomios de Taylor{p_n} converge. No obstante, no sólo queremos saber si la secuencia de polinomios Taylor converge, queremos saber si converge af. Para responder a esta pregunta, definimos el restoR_n(x) como
R_n(x)=f(x)−p_n(x). \nonumber
Para que la secuencia de polinomios de Taylor converjaf, necesitamos que el resto converjaR_n a cero. Para determinar siR_n converge a cero, introducimos el teorema de Taylor con el resto. Este teorema no sólo es útil para demostrar que una serie de Taylor converge a su función relacionada, sino que también nos permitirá cuantificar qué tan bien el polinomio Taylor den^{\text{th}} grado se aproxima a la función.
Aquí buscamos un encuadernado en|R_n|. Considere el caso más simple:n=0. p_0Sea el 0 º polinomio de Taylor ena para una funciónf. El restoR_0 satisface
R_0(x)=f(x)−p_0(x)=f(x)−f(a).
Sif es diferenciable en un intervaloI que contienea yx, entonces por el Teorema del Valor Medio existe un número realc entrea yx tal quef(x)−f(a)=f′(c)(x−a). Por lo tanto,
R_0(x)=f′(c)(x−a). \nonumber
Usando el Teorema del Valor Medio en un argumento similar, podemos mostrar que sif esn tiempos diferenciables en un intervaloI que contienea yx, entonces eln^{\text{th}} restoR_n satisface
R_n(x)=\dfrac{f^{(n+1)}(c)}{(n+1)!}(x−a)^{n+1} \nonumber
para algún número realc entrea yx. Es importante señalar que el valorc en el numerador anterior no es el centroa, sino un valor desconocidoc entrea yx. Esta fórmula nos permite obtener un límite sobre el restoR_n. Si por casualidad sabemos que∣f^{(n+1)}(x)∣ está delimitado por algún número realM en este intervaloI, entonces
|R_n(x)|≤\dfrac{M}{(n+1)!}|x−a|^{n+1} \nonumber
para todosx en el intervaloI.
Ahora declaramos el teorema de Taylor, que proporciona la relación formal entre una funciónf y su polinomio de Taylor den^{\text{th}} gradop_n(x). Este teorema nos permite encuadernar el error al usar un polinomio de Taylor para aproximar un valor de función, y será importante para probar que una serie de Taylor paraf converge af.
Dejarf ser una función que pueda diferenciarsen+1 tiempos en un intervaloI que contenga el número reala. Dejarp_n ser el polinomio de Taylorn^{\text{th}} -grado def ata y dejar
R_n(x)=f(x)−p_n(x) \nonumber
ser eln^{\text{th}} resto. Entonces para cada unox en el intervaloI, existe un número realc entrea yx tal que
R_n(x)=\dfrac{f^{(n+1)}(c)}{(n+1)!}(x−a)^{n+1} \nonumber .
Si existe un número realM tal que∣f^{(n+1)}(x)∣≤M para todosx∈I, entonces
|R_n(x)|≤\dfrac{M}{(n+1)!}|x−a|^{n+1} \nonumber
para todosx enI.
Prueba
Fijar un puntox∈I e introducir la función deg tal manera que
g(t)=f(x)−f(t)−f′(t)(x−t)−\dfrac{f''(t)}{2!}(x−t)^2−⋯−\dfrac{f^{(n)}(t)}{n!}(x−t)^n−R_n(x)\dfrac{(x−t)^{n+1}}{(x−a)^{n+1}}. \nonumber
Afirmamos queg satisface los criterios del teorema de Rolle. Dado queg es una función polinómica (int), es una función diferenciable. Además,g es cero ent=a yt=x porque
\begin{align*} g(a) &=f(x)−f(a)−f′(a)(x−a)−\dfrac{f''(a)}{2!}(x−a)^2+⋯+\dfrac{f^{(n)}(a)}{n!}(x−a)^n−R_n(x) \\[4pt] &=f(x)−p_n(x)−R_n(x) \\[4pt] &=0, \\[4pt] g(x) &=f(x)−f(x)−0−⋯−0 \\[4pt] &=0. \end{align*}
Por lo tanto,g satisface el teorema de Rolle, y en consecuencia, existec entrea yx tal que ahorag′(c)=0. calculamosg′. Usando la regla del producto, observamos que
\dfrac{d}{dt}\left[\dfrac{f^{(n)}(t)}{n!}(x−t)^n\right]=−\dfrac{f^{(n)}(t)}{(n−1)!}(x−t)^{n−1}+\dfrac{f^{(n+1)}(t)}{n!}(x−t)^n. \nonumber
En consecuencia,
\ [\ begin {align} g′ (t) &=−f′ (t) + [f′ (t) −f "(t) (x−t)] +\ left [f" (t) (x−t) −\ dfrac {f"' (t)} {2!} (x−t) ^2\ derecha] +\ nonumber\\
&\ quad+\ left [\ dfrac {f^ {(n)} (t)} {(n−1)!} (x−t) ^ {n−1} −\ dfrac {f^ {(n+1)} (t)} {n!} (x−t) ^n\ derecha] + (n+1) r_n (x)\ dfrac {(x−t) ^n} {(x−a) ^ {n+1}}\ end {align}\ nonumber\].
Observe que hay un efecto telescópico. Por lo tanto,
g'(t)=−\dfrac{f^{(n+1)}(t)}{n!}(x−t)^n+(n+1)R_n(x)\dfrac{(x−t)^n}{(x−a)^{n+1}} \nonumber .
Por el teorema de Rolle, concluimos que existe un númeroc entrea yx tal queg′(c)=0. Desde
g′(c)=−\dfrac{f^{(n+1})(c)}{n!}(x−c)^n+(n+1)R_n(x)\dfrac{(x−c)^n}{(x−a)^{n+1}} \nonumber
concluimos que
−\dfrac{f^{(n+1)}(c)}{n!}(x−c)^n+(n+1)R_n(x)\dfrac{(x−c)^n}{(x−a)^{n+1}}=0. \nonumber
Añadiendo el primer término en el lado izquierdo a ambos lados de la ecuación y dividiendo ambos lados de la ecuación porn+1, concluimos que
R_n(x)=\dfrac{f^{(n+1)}(c)}{(n+1)!}(x−a)^{n+1} \nonumber
según se desee. De este hecho, se deduce que si existeM tal que∣f^{(n+1)}(x)∣≤M para todosx enI, entonces
|R_n(x)|≤\dfrac{M}{(n+1)!}|x−a|^{n+1} \nonumber .
□
El teorema de Taylor no solo nos permite probar que una serie de Taylor converge a una función, sino que también nos permite estimar la precisión de los polinomios de Taylor en la aproximación de valores de función. Comenzamos observando aproximaciones lineales y cuadráticas def(x)=\sqrt[3]{x} atx=8 y determinamos qué tan precisas son estas aproximaciones en la estimación\sqrt[3]{11}.
Considera la funciónf(x)=\sqrt[3]{x}.
- Encuentra el primer y segundo polinomios de Taylor paraf alx=8. Utilice una utilidad gráfica para comparar estos polinomios conf cercax=8.
- Utilice estos dos polinomios para estimar\sqrt[3]{11}.
- Usa el teorema de Taylor para encuadernar el error.
Solución:
a. paraf(x)=\sqrt[3]{x}, los valores de la función y sus dos primeras derivadas atx=8 son los siguientes:
\ [\ begin {alinear*} f (x) &=\ sqrt [3] {x}, & f (8) &=2\\ [5pt]
f′ (x) &=\ dfrac {1} {3x^ {2/3}}, & f′ (8) &=\ dfrac {1} {12}\\ [5pt] f "(x) &=\ dfrac {1}\\ [5pt]
f" (x) &=\ dfrac {1}\\ [5pt] ac {−2} {9x^ {5/3}}, & f "(8) &=−\ dfrac {1} {144.} \ end {alinear*}\]
Así, los polinomios de Taylor primero y segundox=8 están dados por
\ (\ begin {align*} p_1 (x) &=f (8) +f′ (8) (x−8)\\ [5pt]
&=2+\ dfrac {1} {12} (x−8)\ end {alinear*}\)
\ (\ begin {alinear*} p_2 (x) &=f (8) +f′ (8) (x−8) +\ dfrac {f "(8)} {2!} (x−8) ^2\\ [5pt]
&=2+\ dfrac {1} {12} (x−8) −\ dfrac {1} {288} (x−8) ^2. \ end {alinear*}\)
La función y los polinomios de Taylor se muestran en la Figura\PageIndex{5}.

b. Usando el primer polinomio de Taylor enx=8, podemos estimar
\sqrt[3]{11}≈p_1(11)=2+\dfrac{1}{12}(11−8)=2.25. \nonumber
Usando el segundo polinomio de Taylor enx=8, obtenemos
\sqrt[3]{11}≈p_2(11)=2+\dfrac{1}{12}(11−8)−\dfrac{1}{288}(11−8)^2=2.21875. \nonumber
c. Por Nota, existe una c en el intervalo(8,11) tal que el resto al aproximarse\sqrt[3]{11} por el primer polinomio de Taylor satisface
R_1(11)=\dfrac{f''(c)}{2!}(11−8)^2. \nonumber
No conocemos el valor exacto dec, por lo que encontramos un límite superior enR_1(11) determinando el valor máximo def'' en el intervalo(8,11). Ya quef''(x)=−\dfrac{2}{9x^{5/3}}, el valor más grande para|f''(x)| en ese intervalo ocurre enx=8. Utilizando el hecho de quef''(8)=−\dfrac{1}{144}, obtenemos
|R_1(11)|≤\dfrac{1}{144⋅2!}(11−8)^2=0.03125.
Del mismo modo, para estimarR_2(11), utilizamos el hecho de que
R_2(11)=\dfrac{f'''(c)}{3!}(11−8)^3.
Ya quef'''(x)=\dfrac{10}{27x^{8/3}}, el valor máximo def''' en el intervalo(8,11) esf'''(8)≈0.0014468. Por lo tanto, tenemos
|R_2(11)|≤\dfrac{0.0011468}{3!}(11−8)^3≈0.0065104.
Encuentra el primer y segundo polinomios de Taylor paraf(x)=\sqrt{x} alx=4. Utilice estos polinomios para estimar\sqrt{6}. Usa el teorema de Taylor para encuadernar el error.
- Pista
-
Evaluarf(4),f′(4), yf''(4).
- Contestar
-
p_1(x)=2+\dfrac{1}{4}(x−4);p_2(x)=2+\dfrac{1}{4}(x−4)−\dfrac{1}{64}(x−4)^2;p_1(6)=2.5;p_2(6)=2.4375;
|R_1(6)|≤0.0625;|R_2(6)|≤0.015625
De Ejemplo\PageIndex{2b}, los polinomios de Maclaurin para\sin x están dados por
p_{2m+1}(x)=p_{2m+2}(x)=x−\dfrac{x^3}{3!}+\dfrac{x^5}{5!}−\dfrac{x^7}{7!}+⋯+(−1)^m\dfrac{x^{2m+1}}{(2m+1)!} \nonumber
param=0,1,2,….
- Utilice el quinto polinomio Maclaurin para\sin x aproximar\sin\left(\dfrac{π}{18}\right) y encuadernar el error.
- ¿Para qué valores delx quinto polinomio Maclaurin se\sin x aproxima al interior0.0001?
Solución
a.
El quinto polinomio de Maclaurin es
p_5(x)=x−\dfrac{x^3}{3!}+\dfrac{x^5}{5!} \nonumber .
Usando este polinomio, podemos estimar de la siguiente manera:
\sin\left(\dfrac{π}{18}\right)≈p_5\left(\dfrac{π}{18}\right)=\dfrac{π}{18}−\dfrac{1}{3!}\left(\dfrac{π}{18}\right)^3+\dfrac{1}{5!}\left(\dfrac{π}{18}\right)^5≈0.173648. \nonumber
Para estimar el error, use el hecho de que es el sexto polinomio Maclaurinp_6(x)=p_5(x) y calcule un límite enR_6(\dfrac{π}{18}). Por Nota, el resto es
R_6\left(\dfrac{π}{18}\right)=\dfrac{f^{(7)}(c)}{7!}\left(\dfrac{π}{18}\right)^7 \nonumber
para algunosc entre 0 y\dfrac{π}{18}. Utilizando el hecho de que∣f^{(7)}(x)∣≤1 para todosx, nos encontramos con que la magnitud del error es a lo sumo
\dfrac{1}{7!}⋅\left(\dfrac{π}{18}\right)^7≤9.8×10^{−10}. \nonumber
b.
Necesitamos encontrar los valores dex tal que
\dfrac{1}{7!}|x|^7≤0.0001. \nonumber
Resolviendo esta desigualdad parax, tenemos que el quinto polinomio Maclaurin da una estimación a dentro0.0001 siempre y cuando|x|<0.907.
Usar el cuarto polinomio Maclaurin para\cos x aproximar\cos\left(\dfrac{π}{12}\right).
- Pista
-
El cuarto polinomio Maclaurin esp_4(x)=1−\dfrac{x^2}{2!}+\dfrac{x^4}{4!}.
- Contestar
-
0.96593
Ahora que somos capaces de encuadernar el restoR_n(x), podemos usar este límite para demostrar que una serie de Taylor paraf a converge af.
Representando funciones con las series Taylor y Maclaurin
Ahora discutimos temas de convergencia para la serie Taylor. Comenzamos mostrando cómo encontrar una serie de Taylor para una función, y cómo encontrar su intervalo de convergencia.
Encuentra la serie Taylor paraf(x)=\dfrac{1}{x} enx=1. Determinar el intervalo de convergencia.
Solución
Paraf(x)=\dfrac{1}{x}, los valores de la función y sus primeras cuatro derivadas atx=1 son
\ [\ begin {alinear*} f (x) &=\ dfrac {1} {x} & f (1) &=1\\ [5pt]
f′ (x) &=−\ dfrac {1} {x^2} & f′ (1) &=−1\\ [5pt]
f "(x) &=\ dfrac {2} {x^3} & f" (1) &=2! \\ [5pt]
f"' (x) &=−\ dfrac {32} {x^4} & f"' (1) &=−3! \\ [5pt]
f^ {(4)} (x) &=\ dfrac {432} {x^5} & f^ {(4)} (1) &=4!. \ end {alinear*}\]
Es decir, tenemosf^{(n)}(1)=(−1)^nn! para todosn≥0. Por lo tanto, la serie Taylor paraf atx=1 está dada por
\displaystyle \sum_{n=0}^∞\dfrac{f^{(n)}(1)}{n!}(x−1)^n=\sum_{n=0}^∞(−1)^n(x−1)^n.
Para encontrar el intervalo de convergencia, utilizamos la prueba de ratio. Nos encontramos con que
\dfrac{|a_{n+1}|}{|a_n|}=\dfrac{∣(−1)^{n+1}(x−1)n^{+1}∣}{|(−1)^n(x−1)^n|}=|x−1|.
Así, la serie converge si|x−1|<1. Eso es, la serie converge para0<x<2. A continuación, tenemos que verificar los puntos finales. Enx=2, vemos que
\displaystyle \sum_{n=0}^∞(−1)^n(2−1)^n=\sum_{n=0}^∞(−1)^n
diverge por la prueba de divergencia. Del mismo modo, enx=0,
\displaystyle \sum_{n=0}^∞(−1)^n(0−1)^n=\sum_{n=0}^∞(−1)^{2n}=\sum_{n=0}^∞1
diverge. Por lo tanto, el intervalo de convergencia es(0,2).
Encuentra la serie Taylor paraf(x)=\dfrac{1}{2} atx=2 y determina su intervalo de convergencia.
- Pista
-
f^{(n)}(2)=\dfrac{(−1)^nn!}{2^{n+1}}
- Contestar
-
\dfrac{1}{2}\displaystyle \sum_{n=0}^∞\left(\dfrac{2−x}{2}\right)^n. El intervalo de convergencia es(0,4).
Sabemos que la serie Taylor que se encuentra en este ejemplo converge en el intervalo(0,2), pero ¿cómo sabemos que realmente converge af? Consideramos esta pregunta con más generalidad en un momento, pero para este ejemplo, podemos responder a esta pregunta escribiendo
f(x)=\dfrac{1}{x}=\dfrac{1}{1−(1−x)}. \nonumber
Es decir,f puede ser representado por la serie geométrica\displaystyle \sum_{n=0}^∞(1−x)^n. Dado que se trata de una serie geométrica, converge hasta\dfrac{1}{x} siempre y cuando|1−x|<1. Por lo tanto, la serie Taylor que se encuentra en Example converge af(x)=\dfrac{1}{x} on(0,2).
Consideramos ahora la pregunta más general: si una serie de Taylor para una funciónf converge en algún intervalo, ¿cómo podemos determinar si realmente converge af? Para responder a esta pregunta, recordemos que una serie converge a un valor particular si y sólo si su secuencia de sumas parciales converge a ese valor. Dada una serie de Taylor paraf ata, la suman^{\text{th}} parcial viene dada por el polinomio de Taylorn^{\text{th}} -gradop_n. Por lo tanto, para determinar si la serie Taylor converge af, necesitamos determinar si
\displaystyle \lim_{n→∞}p_n(x)=f(x).
Desde el restoR_n(x)=f(x)−p_n(x), la serie Taylor converge af si y solo si
\displaystyle \lim_{n→∞}R_n(x)=0.
Ahora declaramos este teorema formalmente.
Supongamos quef tiene derivadas de todos los órdenes en un intervaloI que contienea. Luego la serie Taylor
\sum_{n=0}^∞\dfrac{f^{(n)}(a)}{n!}(x−a)^n \nonumber
converge af(x) para todosx enI si y solo si
\lim_{n→∞}R_n(x)=0 \nonumber
para todosx enI.
Con este teorema, podemos probar que una serie de Taylor paraf a un converge af si podemos probar que el restoR_n(x)→0. Para probarloR_n(x)→0, normalmente usamos el límite
|R_n(x)|≤\dfrac{M}{(n+1)!}|x−a|^{n+1} \nonumber
del teorema de Taylor con resto.
En el siguiente ejemplo, encontramos la serie Maclaurin parae^x y\sin x y mostramos que estas series convergen a las funciones correspondientes para todos los números reales al demostrar que los restosR_n(x)→0 para todos los números realesx.
Para cada una de las siguientes funciones, encuentra la serie Maclaurin y su intervalo de convergencia. Use Note para probar que la serie Maclaurin paraf convergef en ese intervalo.
- e^x
- \sin x
Solución
a. Usando el polinomion^{\text{th}} -grado Maclaurin parae^x encontrado en el Ejemplo a., encontramos que la serie Maclaurin parae^x viene dada por
\displaystyle \sum_{n=0}^∞\dfrac{x^n}{n!}.
Para determinar el intervalo de convergencia, utilizamos la prueba de ratio. Desde
\dfrac{|a_{n+1}|}{|a_n|}=\dfrac{|x|^{n+1}}{(n+1)!}⋅\dfrac{n!}{|x|^n}=\dfrac{|x|}{n+1},
tenemos
\displaystyle \lim_{n→∞}\dfrac{|a_{n+1}|}{|a_n|}=\lim_{n→∞}\dfrac{|x|}{n+1}=0
para todosx. Por lo tanto, la serie converge absolutamente para todosx, y así, el intervalo de convergencia es(−∞,∞). Para demostrar que la serie convergee^x para todosx, utilizamos el hecho de quef^{(n)}(x)=e^x para todosn≥0 ye^x es una función cada vez mayor en(−∞,∞). Por lo tanto, para cualquier número realb, el valor máximo dee^x para todos|x|≤b ese^b. Por lo tanto,
|R_n(x)|≤\dfrac{e^b}{(n+1)!}|x|^{n+1}.
Ya que acabamos de mostrar que
\displaystyle \sum_{n=0}^∞\dfrac{|x|^n}{n!}
converge para todosx, por la prueba de divergencia, sabemos que
\displaystyle \lim_{n→∞}\dfrac{|x|^{n+1}}{(n+1)!}=0
para cualquier número realx. Al combinar este hecho con el teorema squeeze, el resultado es\displaystyle \lim_{n→∞}R_n(x)=0.
b. Usando el polinomion^{\text{th}} -grado Maclaurin para\sin x encontrado en el Ejemplo b., encontramos que la serie Maclaurin para\sin x viene dada por
\displaystyle \sum_{n=0}^∞(−1)^n\dfrac{x^{2n+1}}{(2n+1)!}.
Para aplicar la prueba de relación, considere
\ [\ begin {alinear*}\ dfrac {|a_ {n+1} |} {|a_n|} &=\ dfrac {|x|^ {2n+3}} {(2n+3)!} ⋅\ dfrac {(2n+1)!} {|x|^ {2n+1}}\\ [5pt]
&=\ dfrac {|x|^2} {(2n+3) (2n+2)}\ end {align*}. \ nonumber\]
Desde
\displaystyle \lim_{n→∞}\dfrac{|x|^2}{(2n+3)(2n+2)}=0
para todosx, obtenemos el intervalo de convergencia como(−∞,∞). Para mostrar que la serie Maclaurin converge a\sin x, mirarR_n(x). Para cada unox existe un número realc entre0 yx tal que
R_n(x)=\dfrac{f^{(n+1)}(c)}{(n+1)!}x^{n+1}.
Ya que∣f^{(n+1)}(c)∣≤1 para todos los números enterosn y todos los números reales c, tenemos
|R_n(x)|≤\dfrac{|x|^{n+1}}{(n+1)!}
para todos los números realesx. Usando la misma idea que en la parte a., el resultado es\displaystyle \lim_{n→∞}R_n(x)=0 para todosx, y por lo tanto, la serie Maclaurin para\sin x converge a\sin x para todos realesx.
Encuentra la serie Maclaurin paraf(x)=\cos x. Utilice la prueba de ratio para mostrar que el intervalo de convergencia es(−∞,∞). Demuestre que la serie Maclaurin converge\cos x para todos los números realesx.
- Pista
-
Utilice los polinomios de Maclaurin para\cos x.
- Contestar
-
\displaystyle \sum_{n=0}^∞\dfrac{(−1)^nx^{2n}}{(2n)!}
Por la prueba de ratio, el intervalo de convergencia es(−∞,∞). Desde|R_n(x)|≤\dfrac{|x|^{n+1}}{(n+1)!}, la serie converge a\cos x para todos los realesx.
En este proyecto, utilizamos los polinomios de Maclaurine^x para demostrar quee es irracional. La prueba se basa en suponer que esoe es racional y llegar a una contradicción. Por lo tanto, en los siguientes pasos, suponemose=r/s para algunos enterosr ys dondes≠0.
- Escribe los polinomios Maclaurinp_0(x),p_1(x),p_2(x),p_3(x),p_4(x) parae^x. p_0(1),p_1(1),p_2(1),p_3(1),p_4(1)Evaluar para estimare.
- DejarR_n(x) denotar el resto cuando se utilizap_n(x) para estimare^x. Por lo tantoR_n(x)=e^x−p_n(x),, yR_n(1)=e−p_n(1). Suponiendo quee=\dfrac{r}{s} para los enterosr ys, evaluarR_0(1),R_1(1),R_2(1),R_3(1),R_4(1).
- Usando los resultados de la parte 2, muestran que por cada restoR_0(1),R_1(1),R_2(1),R_3(1),R_4(1), podemos encontrar un enterok tal quekR_n(1) sea un entero paran=0,1,2,3,4.
- Anote la fórmula para el polinomio de Maclaurinn^{\text{th}} -gradop_n(x) parae^x y el resto correspondienteR_n(x). Mostrar quesn!R_n(1) es un entero.
- Usa el teorema de Taylor para escribir una fórmula explícita paraR_n(1). Concluir queR_n(1)≠0, y por lo tanto,sn!R_n(1)≠0.
- Utilice el teorema de Taylor para encontrar una estimación sobreR_n(1). Utilice esta estimación combinada con el resultado de la parte 5 para demostrarlo|sn!R_n(1)|<\dfrac{se}{n+1}. Concluir que sin es lo suficientemente grande, entonces|sn!R_n(1)|<1. Por lo tanto,sn!R_n(1) es un número entero con magnitud menor a 1. Así,sn!R_n(1)=0. Pero a partir de la parte 5, eso lo sabemossn!R_n(1)≠0. Hemos llegado a una contradicción, y en consecuencia, la suposición original de que e es racional debe ser falsa.
Conceptos clave
- Los polinomios de Taylor se utilizan para aproximar funciones cercanas a un valorx=a. Los polinomios de Maclaurin son polinomios de Taylor enx=0.
- Los polinomios de Taylor den^{\text{th}} grado para una funciónf son las sumas parciales de la serie Taylor paraf.
- Si una funciónf tiene una representación de serie de potencia enx=a, entonces es dada por su serie Taylor enx=a.
- Una serie Taylor paraf converge af si y solo si\displaystyle \lim_{n→∞}R_n(x)=0 dondeR_n(x)=f(x)−p_n(x).
- La serie Taylor parae^x, \sin x, y\cos x convergen a las funciones respectivas para todos x reales.
Ecuaciones Clave
- Serie Taylor para la funciónf en el puntox=a
\displaystyle \sum_{n=0}^∞\dfrac{f^{(n)}(a)}{n!}(x−a)^n=f(a)+f′(a)(x−a)+\dfrac{f''(a)}{2!}(x−a)^2+⋯+\dfrac{f^{(n)}(a)}{n!}(x−a)^n+⋯
Glosario
- Polinomio Maclaurin
- un polinomio de Taylor centrado en0; el polinomio de Taylor den^{\text{th}} -grado paraf at0 es el polinomio de Maclaurin den^{\text{th}} grado paraf
- Serie Maclaurin
- una serie de Taylor para una funciónf enx=0 se conoce como una serie de Maclaurin paraf
- Polinomios de Taylor
- el polinomio den^{\text{th}} grado Taylor paraf atx=a esp_n(x)=f(a)+f′(a)(x−a)+\dfrac{f''(a)}{2!}(x−a)^2+⋯+\dfrac{f^{(n)}(a)}{n!}(x−a)^n
- Serie Taylor
- una serie de potencia ena que converge a una funciónf en algún intervalo abierto que contienea.
- Teorema de Taylor con resto
-
para una funciónf y el polinomio de Taylorn^{\text{th}} -grado paraf atx=a, el restoR_n(x)=f(x)−p_n(x) satisfaceR_n(x)=\dfrac{f^{(n+1)}(c)}{(n+1)!}(x−a)^{n+1}
para algunosc entrex ya; si existe un intervaloI que contienea y un número realM tal que∣f^{(n+1)}(x)∣≤M para todosx enI, entonces|R_n(x)|≤\dfrac{M}{(n+1)!}|x−a|^{n+1}