3.2 Taylor expansion with Lagrange remainder

  3.2.1 Finding Error in Taylor series approximation
  3.2.2 Mean value theorem
  3.2.3 Rolle’s theorem

On the real line, if we have a function f(x), and we wish to know the value of this function at a point x=b given the value of f(x) and its derivatives at another point say x=a, then we write

f(b)=f(a)+(ba)f(a)+(ba)2f(a)2!+

Now suppose we want to find the value of the function at arbitrary point x given the value of f(x) and its derivative at another point say x=a, then we replace b by x above and write

f(x)=f(a)+(xa)f(a)+(xa)2f(a)2!++Rn

Where

Rn=(xa)n+1(n+1)!f(n+1)(ξ)

Where ξ is some point between x and a

If xa=h, we can write the above as

f~(x)=f(a)+hf(a)+h2f(a)2!+h3f(a)3!++hn+1(n+1)!f(n+1)(ξ)

pict
Figure 3.7:example

note: If the point of expansion is zero, Taylor series is called maclaurin series.

f~(x)=f(a)+xf(0)+x2f(0)2!+x3f(0)3!++xn+1(n+1)!f(n+1)(ξ)

Why do we use Taylor series for? To express a function as a series. This can allow one to more easily manipulate it. Also, if the function is non-linear, by expressing it in series, and dropping low order non-linear terms (h must be very small to have good approximation), then we have linearized a non-linear function in the vicinity of a point of expansion. Hence around the point of expansion, we can approximate the non-linear function by its linear Taylor series terms for the purpose of doing further linear system analysis (as it is easier to work with linear functions than non-linear ones).

3.2.1 Finding Error in Taylor series approximation

Things to know: How to find how many terms in Taylor series to approximate some given function to some accuracy?

Idea of solution: Express En, this is the error term, or the remainder. Make |En|<ϵ where ϵ is the accuracy needed. Find smallest n which makes this true

Example: How many terms needed to find ln(2) to accuracy of ϵ=108?

Expand ln(x) at x=1, hence h=21=1

ln(x)=(x1)12(x1)2+13(x1)3++Enln(2)=112+13++En

We want |En|<108, but En=1n+1<108n108, hence at least 100 million terms would be needed to computer ln(2) using Taylor series with accuracy of 108

3.2.2 Mean value theorem

if f(x) is continues on [a,b], and if f(x) exist on the open interval (a,b) then there exists a point ξ between b,a s.t.f(b)f(a)=f(ξ)(ba)

3.2.3 Rolle’s theorem

if f(x) is continuous on [a,b] and if f(x) exist on (a,b) and if f(a)=f(b) then f(ξ)=0 for some point in (a,b)