Search for notes by fellow students, in your own course and all over the country.
Browse our notes for titles which look like what you need, you can preview any of the notes via a sample of the contents. After you're happy these are the notes you're after simply pop them into your shopping cart.
Title: Taylor series
Description: Proofs for Taylor series, remainder term forms, and the rigorous proof for the Fundamental Theorem of Calculus
Description: Proofs for Taylor series, remainder term forms, and the rigorous proof for the Fundamental Theorem of Calculus
Document Preview
Extracts from the notes are below, to see the PDF you'll receive please use the links above
Applied Mathematics
Advanced Calculus and
Methods of Mathematical
Physics
Homework 1
Author: Lirik Maxhuni
Jacobs University
Homework Sheet
Problem 1
Recall the mean value theorem of integral calculus: Suppose g: [a, b] β R is
Riemann integrable and non-negative, and f: [a, b] β R is continuous
...
Problem 2
Recall Taylorβs theorem in the following form
...
Then for all c, x β I,
π
π (π) (π)
π(π₯) = β
(π₯ β π)π + π π,π (π₯)
π!
π=0
where
π₯
1
π π,π (π₯) = β«(π₯ β π‘)π π (π+1)(π‘)ππ‘
π!
π
(a) Turn the derivation shown in class into a formal proof by induction
...
)
Problem 3
Compute in a smart way the 4-th order Taylor polynomials around c = 0 of
π(π₯) = π π₯ π ππ(2π₯) and π(π₯) = π π ππ π₯
...
Let f: [a, b] β R be integrable on [a, b] and continuous at Λx β (a, b)
...
Then F is continuous on [a, b] and
differentiable at Λx with F β² (Λx) = f(Λx)
...
Note: Recall the definitions of continuity and differentiability and try to
start from there, using the assumptions of the theorem
...
Problem 1
Part a
If we take f to be continuous on the closed interval [a, b], this means that f
has some min and some max values somewhere in that interval
...
Consequently, g
should be non-negative
...
Problem 2
a)
Proving the integral form formula for the remainder of Taylor series
expansion, using mathematical induction
...
To show that the statement or expression is true for n = 1
2
...
Prove that it is true for n = k + 1
1)
Show that it holds for n = 1
For n = 1, π β πΆ (2)(πΌ), πΌ = (π, π), π β πΌ
...
3)
Prove that it holds for n = k + 1
π₯
1
π π+1,π (π₯ ) =
β«(π₯ β π‘)π+1 π (π+2)(π‘)ππ‘ =
(π + 1)!
π
"π’ = (π₯ β π‘)π+1 ,
β« ππ£ = β« π (π+2)(π‘) ππ‘
ππ’ = β(π + 1)(π₯ β π‘)π ππ‘,
π£ = π (π+1)(π‘)"
π₯
π₯
1
= [(π₯ β π‘)π+1π (π+1)(π‘)| + β« π (π+1)(π‘)(π + 1)(π₯ β π‘)π ππ‘]
=
(π + 1)!
π
π
= [β(π₯ β π )π+1 π (π+1)(π ) + (π + 1)
π₯
+ β« π (π+1)(π‘)(π + 1)(π₯ β π‘)π ππ‘]
π
1
=
(π + 1)!
π₯
π (π+1)(π )
1
(π₯ β π )π+1 + β« π (π+1)(π‘)(π + 1)(π₯ β π‘)π ππ‘ =
=β
(π + 1)!
π!
π
π (π+1)(π )
(π₯ β π )π+1 + π π,π (π₯) =
=β
(π + 1)!
π (π+1)(π )
(π₯ β π )π+1 =
= π(π₯) β ππ,π (π₯) β
(π + 1)!
= π(π₯) β ππ+1,π (π₯) = π π+1,π (π₯)
The equality of the two sides is reached and therefore the theorem holds
for any π β π
...
π₯
1
β«(π₯ β π‘)π π (π+1) (π‘)ππ‘
π!
π
Let,
π‘ = π + π (π₯ β π )
Then we have
β π‘ β π = π (π₯ β π) β π =
π‘βπ
π₯βπ
ππ
π
1
1
1
=
(
(π‘ β π)) =
β ππ =
ππ‘ β ππ‘ = (π₯ β π) ππ
ππ‘ ππ₯ π₯ β π
π₯βπ
π₯βπ
Above we did a substitution, π‘ β π , however is yet incomplete, since we
also must substitute the limits of the integral that are dependant on t, to be
dependent on s
...
1
1
β«(π₯ β π)(π₯ β (π + π (π₯ β π)))π π (π+1)(π + π (π₯ β π)) ππ =
π!
0
1
1
=
β«(π₯ β π)(π₯ β π β π π₯ + π π)π π (π+1)(π + π (π₯ β π)) ππ =
π!
0
1
1
=
β«(π₯ β π)((π₯ β π π₯) + (π π β π))π π (π+1)(π + π (π₯ β π)) ππ =
π!
0
1
1
=
β«(π₯ β π)(π₯(1 β π ) β π(1 β π ))π π (π+1)(π + π (π₯ β π)) ππ =
π!
0
1
1
=
β«(π₯ β π)(π₯ β π)π (1 β π )π π (π+1)(π + π (π₯ β π)) ππ =
π!
0
1
(π₯ β π)π+1
=
β«(1 β π )π π (π+1) (π + π (π₯ β π)) ππ
π!
0
Thus, we conclude that the integral form of the Taylor series expansion
remainder can be expressed like below:
1
(π₯ β π )π+1
π π,π (π₯) =
β«(1 β π )π π (π+1)(π + π (π₯ β π)) ππ
π!
0
c)
The remainder can also be conveyed in the Lagrange form of the
remainder
...
1 (π+1)
(π₯ β π)π+1
π π,π (π₯) = β π
(π)
π!
π+1
π π,π (π₯) = π
(π+1)
(π₯ β π)π+1
(π)
(π + 1)!
Problem 3
In order to find the fourth order polynomial of the functions given:
a) π(π₯) = π π₯ π ππ(2π₯)
b) π(π₯) = π π ππ (π₯)
we split the functions in factors and then used the separate Taylor series
expansion formulas for each of the factors, as they were functions
themselves
...
β
π(π₯ ) = π π ππ(π₯) = ππ₯π (β
π=0
(β1)π
(2π + 1)!
π₯
=π βπ
π₯3
β6
(2π₯ )2π+1) = π
β π π(π₯
5)
(π₯β
π₯3
+π(π₯ 5 ))
6
=
Problem 4
Let us define a function such that for a given f(t) dt , we have
π₯
πΉ(π₯) = β« π(π‘) ππ‘
π
So, for any number in [a, b] we can obtain the same form as above
...
Therefore
π
πΉ(π) = β« π(π‘) ππ‘
π
and
π+β
πΉ(π + β) = β« π(π‘) ππ‘
π
If the Fundamental Theorem of Calculus holds, then the following equation
is true:
π+β
π
πΉ (π + β) β πΉ (π) = β« π (π‘)ππ‘ β β« π (π‘)ππ‘ =
π
π
π+β
π
π
= β« π (π‘)ππ‘ + β« π (π‘)ππ‘ β β« π (π‘)ππ‘ =
π
π
π
By means of Mean Value Theorem for Integrals, there exists a π β [π, π + β]
such that
π+β
β« π (π‘)ππ‘ = π (π ) β β
π
πΉ (π + β) β πΉ (π) = π (π ) β β
π (π ) =
πΉ (π + β) β πΉ (π)
β
If the limit of both sides of the equation as β β 0 is taken, we have
πΉ (π + β) β πΉ (π)
ββ0
β
πππ π (π ) = πππ
ββ0
It is clear that the left-hand side is the derivative of the function πΉ (π),
which means that
πππ π(π ) = πΉβ²(π)
ββ0
For the theorem to hold true, the right-hand side should be equal to the
function under the integral
...
By Squeeze Law: π β [π, π + β], π π π β€ π β€ π + β
πππ π = π
ββ0
and
πππ π + β = π ,
ββ0
Then this means that
πππ π = π
ββ0
Since π is a continuous function at π
πππ π (π ) = π (π)
ββ0
and this leads us to
πΉβ²(π) = π(π)
Consequently, the proof is concluded
Title: Taylor series
Description: Proofs for Taylor series, remainder term forms, and the rigorous proof for the Fundamental Theorem of Calculus
Description: Proofs for Taylor series, remainder term forms, and the rigorous proof for the Fundamental Theorem of Calculus