La aproximación de Taylor es diferente del valor real

El problema es usar el norte polinomio de Taylor para aproximar el valor de F ( X ) = X 2 porque X con norte = 3 , X 0 = 2 , X = 1.09 .

Descubrí que el 3 El tercer polinomio de Taylor con resto es

X 2 porque X = 4 porque ( 2 ) + [ 4 porque ( 2 ) + 4 pecado ( 2 ) ] [ X + 2 ] + [ porque ( 2 ) 4 pecado ( 2 ) ] [ X + 2 ] 2 + [ 2 porque ( 2 ) + 1 3 pecado ( 2 ) ] [ X + 2 ] 3 + [ ( X + 2 ) 4 24 ] [ 8 porque ( ξ ( X ) ) + dieciséis pecado ( ξ ( X ) ) ]

aproximando X = 1.09 utilizando el polinomio de Taylor,

( 1.09 ) 2 porque ( 1.09 ) = 4 porque ( 2 ) + [ 4 porque ( 2 ) + 4 pecado ( 2 ) ] [ ( 1.09 ) + 2 ] + [ porque ( 2 ) 4 pecado ( 2 ) ] [ ( 1.09 ) + 2 ] 2 + [ 2 porque ( 2 ) + 1 3 pecado ( 2 ) ] [ ( 1.09 ) + 2 ] 3 + [ ( ( 1.09 ) + 2 ) 4 24 ] [ 8 porque ( ξ ( X ) ) + dieciséis pecado ( ξ ( X ) ) ] = 0.0938985 + [ ( ( 0.91 ) 4 24 ] [ 8 porque ( ξ ( X ) ) + dieciséis pecado ( ξ ( X ) ) ]

Sin embargo, ( 1.09 ) 2 porque ( 1.09 ) = 0.549479 que es una gran cantidad de decimales diferentes de la aproximación de Taylor de 0.0938985 .

¿Hay algo que extraño?

Tenga en cuenta que el término restante tiene un tamaño de aproximadamente 1 , 3 3 con algo de esfuerzo, de modo que un error de 0.5 no es tan sorprendente.
Veo. Gracias. ¿Cuál sería el límite superior para el error de truncamiento?
Eso depende de cómo atas X . Sin límites se obtiene con Cauchy-Schwarz | 8 porque ( ξ ) + dieciséis pecado ( ξ ) | 8 1 + 2 2 porque 2 ( ξ ) + pecado 2 ( ξ ) , de modo que el límite refinado correcto en el coeficiente de arriba es 5 / 3 < 0.75 . Por lo tanto, el error está acotado por 3 4 | X + 2 | 4 .

Respuestas (2)

Esto solo significa que el tercer orden no es suficiente en particular porque 1.09 esta muy lejos de 2 .

Para abreviar la historia, lo que tienes es

X 2 porque ( X ) = norte = 0 ( norte 2 + norte + 4 ) porque ( 2 π norte 2 ) + 4 norte pecado ( 2 π norte 2 ) norte ! ( X + 2 ) norte
Entonces, si truncas a O ( ( X + 2 ) pag + 1 ) tendrás los siguientes resultados
( 2 0.4926841712 3 0.0938985194 4 0.6047229336 5 0.5723469909 6 0.5466012534 7 0.5489493571 8 0.5495411050 9 0.5494858556 10 0.5494781119 11 0.5494788050 12 0.5494788702 13 0.5494788647 14 0.5494788644 )

Expande solo la serie del coseno alrededor X = 2 y tendrás:

X 2 C o s X = X 2 ( C o s ( 2 ) + s i norte ( 2 ) [ X + 2 ] C o s ( 2 ) [ X + 2 ] 2 2 s i norte ( 2 ) [ X + 2 ] 3 6 )
(Expandiendo el X 2 en un polinomio de Taylor y multiplicar todo por fuerza bruta también funciona, pero la serie de Taylor para X 2 simplemente se reducirá a X 2 de todos modos, por lo que no es necesario)

evaluado en X = 1.09 :

( 1.09 ) 2 C o s ( 1.09 ) 0.549479
( 1.09 ) 2 ( C o s ( 2 ) + s i norte ( 2 ) [ 0.91 ] C o s ( 2 ) [ 0.91 ] 2 2 s i norte ( 2 ) [ 0.91 ] 3 6 ) 0.557713

Pero de esta forma no obtienes los mismos polinomios de Taylor de la función dada. Esto sería correcto si la tarea fuera simplemente evaluar eficientemente la función usando la serie de Taylor dado que los valores exactos de porque 2 y pecado 2 fueron proporcionados desde otro lugar.
Veo tu punto y agradezco tus comentarios. Pero en la respuesta de Claude, hay términos de C o s ( 2 norte π 2 ) y y s i norte ( 2 norte π 2 ) . ¿No es eso lo mismo? ¿Los valores exactos de estos también tienen que ser probados en otro lugar?
Ahora no me quejo, pero la pregunta pedía n=3 y parece que Claude tuvo que usar más términos para acercarse mucho.
Uno podría incluso preguntarse, 4 votos a favor en este momento, ¿es solo para echarme en cara que hice un trabajo tan malo?
No hiciste un mal trabajo, solo resolviste una tarea diferente y modificada. Escribiendo pecado ( X + norte π 2 ) es solo una forma abreviada de escribir la secuencia de derivadas pecado X , porque X , pecado X , porque X , pecado X , . . . , todos usando los mismos valores numéricos, solo que con diferentes signos.
Pero, ¿por qué está bien en la respuesta de Claude contener cos (2) y sin (2) mientras que en la mía no lo es?
¿Dónde ves que se toma la culpa? En su producto, solo contiene algunos términos que un truncamiento de grado 3 de la expresión completa no contendría. Por el contrario, en la respuesta correcta a la tarea dada, estos términos aparentemente importantes están todos contenidos desde el grado 5 en adelante, lo que refleja el comienzo de la aparición de dígitos correctos.
Ok, y mi solución en su forma expandida completa es en realidad también un quinto grado. Ese no es el problema. Su respuesta no es muy diferente de la mía si realmente la expandes, simplemente lo hice más rápido y más corto. Lo que no entiendo es por qué dijiste que cos (2) y sin (2) no pueden ser parte de esto, porque "los valores exactos deben proporcionarse en otro lugar", pero en su respuesta está bien contener cos(2) y sen(2)
Si tiene disponible una función de coseno precisa, la tarea no tiene sentido. Así que imagínate en una isla aislada, solo tienes disponible una tablilla de piedra en la que se encuentran los valores de porque 2 y pecado 2 están grabados, y por alguna razón inefable necesitas calcular F ( 1.09 ) . Como dije, su enfoque es más eficiente, pero no es la tarea en cuestión.
Y no, tu fórmula expandida no es la tarea original del polinomio de Tayor de grado 5, ya que faltarían los términos derivados del grado 4 y los términos 5 de la serie del factor coseno.
Recibí el comentario de "discusión extendida", así que mi palabra final: Claude debe tener la misma tableta de piedra disponible, pero de alguna manera está bien, pero para mí no lo es.
Piense en el producto como un esquema rectangular, un eje los términos del primer factor, el otro del segundo. Dentro del esquema están los productos de los términos del eje. Los productos del mismo grado se ubican en anti-diagonales. o Lo que haces es sumar sobre un cuadrado de 3 términos de cada lado. o Lo que exige la tarea es sumar sobre el triángulo delimitado por la antidiagonal de grado 3. o El cuadrado 3 está contenido en el triángulo 5, pero no lo llena por completo.
Ok, no discuto eso, y gracias por aclararlo para mí (sin ser sarcástico). Lo que discuto es que no puedo tener cos(2) y sin(2) porque son valores exactos, pero él los tiene. ¡Gracias y que tenga un buen día!