Is it possible to express transcendental function such as
,
,
,
using polynomials? The next theorem answers such a question. transcendental function Let
be polynomials in
. Then a function
satisfies a polynomial equation
Taylor's Theorem
NOTE Note that for , we have
, where
. Thus for
, Taylor's theorem is the same as Mean Value Theorem. For
, we have
, where
is the difference of the value of line
and function
at
. In other words,
is an error caused by approximation of the value of
by the line. Similarly,
is an approximation error of
by a quadratic polynomial.
Proof
Let be an expression satisfying
Check |
---|
![]() |
![]() |
![]() |
![]() |
|
![]() |
![]() |
||
![]() |
![]() |
In Taylor's theorem with is called Maclaurin's Theorem. Set
. Then we have
Understanding 1. Taylor polynomial around
P(x) =
.
2. Lagrange's remainder
Note that
. Now we show
, where
. Note that
can represents all numbers form 0 to
. Since
, we have
.
Error Estimate Error estimate is to find the bound for the absolute value of remainder term.
SOLUTION
Since
, we have
. Find a Taylor polynomial around
, we have
SOLUTION
Since
, we have
. Thus Taylor polynomial around
is
Now we divide this into two cases.
case 1. is even. Let
. Then
case 2. is odd. Let
. Then
.
Thus
![]() |
![]() |
![]() |
MacLaurin Series Expansion of Basic Functions
1. |
![]() |
2. |
![]() |
3. |
![]() |
4. |
![]() |
5. |
![]() |
6. |
![]() |
![]() |
---|
Note that ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Understanding In MacLaurin's theorem, a function is expressed by Taylor polynomial and error term. If the size of error estimate is getting close to 0, then we should be able to write as infinite series.
NOTE
Check |
---|
![]() |
To show MacLaurin series expansion, we need to show
. But it is not easy to show
by using Lagrange's Remainder
. So, we use different method. Suppose we express a MacLaurin series expansion of
as
. Then showing
approachs 0 is the same as showing
converges. To show
converges, it is useful Limit Ration Test.
Limit Ration Test
Radius of Convergence Replace by
. Then
. Now
. Thus
implies
and for
,
converges.
![]() |
---|
.
2. Let
. Then since
, we have
. Now for
is even,
and for
, we have
. Thus
![]() |
![]() |
![]() |
|
![]() |
![]() |
Check |
---|
Limit Ratio Test handles consecutive term. But for
![]() ![]() |
Radius of Convergence If
, then
converges. Thus we say
a radius of convergence.
2. Let
. Then
. Put
. Then
Landau little o
Proof
![]() |
---|
Show
![]() |
Thus
. Then a sequence
is decreasing and bouded blow by 0. Thus,
. On the other hand, since
,
. Therefore,
converges.
SOLUTION
Since the denominator is , we find Taylor polynomial of 2nd degree of
.
![]() |
![]() |
![]() |
SOLUTION Since the denominator is , we find Taylor polynomial of 3rd degree of
.
implies ,
![]() |
![]() |
![]() |
|
![]() |
![]() |
![]() |
![]() |
![]() |
Exercise A
|
Exercise B
|
(c)
??????
(d)
,
(a) By the exercise 1(d)we can obtain
Now using this fact, calculate
(b)
is called Machin's formulaUsing this formula, calculate
100 digts after the decimal point