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.

My Basket

You have nothing in your shopping cart yet.

Title: Taylor series
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