Intuition of error in Taylor appoximation and finding error in approximation of a function by a constant function

212 Views Asked by At

I am reading up on Taylor approximation of a function and I'm trying to develop the intuition for the remainder, when approximating a function with $n^{th}$ degree polynomial which has a continuous $(n+1)^{th}$ derivate, given by $\frac{1}{n!}\int_{a}^{x} (x - t)^nf^{(n+1)}(t)dt$

My intuition of linear approximation is this: We used a constant first derivate to evaluate at x (since we approximate f at a). Hence, we have to use the information about rate of rate of change from the any point $ t \in (a,x)$ to compensate for this error. Specifically, the second derivative gives the difference between the first derivatives at two successive points and scales it over unit interval. Therefore, f''(t) corrects for error at t but introduces new error from (t, x) which is corrected with the same logic at the next point. Thus, the integral given above. Is this correct?

My reasoning is because if I begin the approximation using a constant function and reason that by using the rate of change at every point, a function can be reconstructed starting from any point. But if I try to use the above integral to compute the error in estimates for the constant function, it doesn't work because of the $(-t)$. Is there a formula to estimate the error including the constant case?

I understand the proof of the integral using integration by parts (and requirement of the continuity of $f^{(n+1)}(x)$ is to be able to use the first fundamental theorem).

Can you please help me fix my intuition of the integral?

1

There are 1 best solutions below

2
On

Here is some intuition: Let $j_a^nf$ be the $n^{\rm th}$ Taylor polynomial of $f$ at $a$. If the $(n+1)^{\rm st}$ derivative of $f$ were identically zero then this polynomial $j_a^nf$ would produce the exact value of $f$ for all $x$, and the error $R(x):=f(x)-j_a^nf(x)$ would be identically zero. It follows that in the case of nonzero error the nonvanishing of $f^{(n+1)}(t)$ in certain points of the interval $[a,x]$ (when $x>a$) has to be the culprit. Linearity then would indicate that we have a formula of the form $$R_n(x)=\int_a^x w(t)f^{(n+1)}(t)\>dt$$ with a certain more or less "universal" weight function $w$. That this weight function has the simple form appearing in "Taylor's theorem with integral remainder" is due to the secret of partial integration, an intuitive explanation of which I still have to see.