• Aucun résultat trouvé

University of Toronto – MAT137Y1 – LEC0501

N/A
N/A
Protected

Academic year: 2022

Partager "University of Toronto – MAT137Y1 – LEC0501"

Copied!
3
0
0

Texte intégral

(1)

University of Toronto – MAT137Y1 – LEC0501

Calculus!

Notes about slides 4 and 5

Jean-Baptiste Campesato January 14

th

, 2019

Disclaimer: those arequick-and-dirtynotes written just after the class, so it is very likely that they contain some mistakes/typos…

Send me an e-mail if you find something wrong/suspicious and I will update the notes.

The following criterion can be very useful to prove that a function is integrable!

Theorem 1(from slide 4).

Let𝑓 be a bounded function on[𝑎, 𝑏].

Then𝑓 is integrable on[𝑎, 𝑏]if and only if

∀𝜀 > 0, ∃a partition𝑃 of[𝑎, 𝑏], 𝑈𝑃(𝑓 ) − 𝐿𝑃(𝑓 ) < 𝜀 Proof.

⇒∶

We know that𝑓 is integrable on[𝑎, 𝑏], i.e.

𝐼𝑎𝑏(𝑓 ) = 𝐼𝑎𝑏(𝑓 ) (1)

where

𝐼𝑎𝑏(𝑓 ) =sup{𝐿𝑃(𝑓 ), ∀𝑃 partition of [a,b]} and 𝐼𝑎𝑏(𝑓 ) =inf{𝑈𝑃(𝑓 ), ∀𝑃 partition of [a,b]}

We want to prove:

∀𝜀 > 0, ∃a partition𝑃 of[𝑎, 𝑏], 𝑈𝑃(𝑓 ) − 𝐿𝑃(𝑓 ) < 𝜀

Let𝜀 > 0.

Then𝐼𝑎𝑏(𝑓 ) + 𝜀2 is greater than 𝐼𝑎𝑏(𝑓 ) which is the greatest lower bound of the upper Darboux sums.

Hence𝐼𝑎𝑏(𝑓 ) +𝜀2is not an lower bound of the upper Darboux sums.

That means that there exists a partition𝑃1of[𝑎, 𝑏]such that 𝑈𝑃1(𝑓 ) < 𝐼𝑎𝑏(𝑓 ) +𝜀

2

(2)

2 Notes about slides 4 and 5

Similarly𝐼𝑎𝑏(𝑓 ) −𝜀2is less than𝐼𝑎𝑏(𝑓 )which is the least upper bound of the lower Darboux sums.

Hence𝐼𝑎𝑏(𝑓 ) −𝜀2is not an upper bound of the lower Darboux sums.

That means that there exists a partition𝑃2of[𝑎, 𝑏]such that 𝐿𝑃2(𝑓 ) > 𝐼𝑎𝑏(𝑓 ) −𝜀

2 Let𝑃 = 𝑃1∪ 𝑃2.

Then𝑃 is finer than𝑃1, hence

𝑈𝑃(𝑓 ) ≤ 𝑈𝑃1(𝑓 ) < 𝐼𝑎𝑏(𝑓 ) +𝜀

2 (2)

and similarly𝑃 is finer than𝑃2, hence

𝐿𝑃(𝑓 ) ≥ 𝐿𝑃2(𝑓 ) > 𝐼𝑎𝑏(𝑓 ) −𝜀

2 (3)

We derive from (2) and (3) that

𝑈𝑃(𝑓 ) − 𝐿𝑃(𝑓 ) < 𝐼𝑎𝑏(𝑓 ) +𝜀

2 − 𝐼𝑎𝑏(𝑓 ) +𝜀 2 Using (1), we obtain that the RHS of the above inequality is𝜀.

Therefore we have well obtained a partition𝑃 of[𝑎, 𝑏]such that 𝑈𝑃(𝑓 ) − 𝐿𝑃(𝑓 ) < 𝜀 Which is what we wanted to prove.

⇐∶

We know that

∀𝜀 > 0, ∃a partition𝑃 of[𝑎, 𝑏], 𝑈𝑃(𝑓 ) − 𝐿𝑃(𝑓 ) < 𝜀 and we want to prove that𝑓 is integrable, i.e. that

𝐼𝑎𝑏(𝑓 ) = 𝐼𝑎𝑏(𝑓 ) It is enough to prove that

∀𝜀 > 0, 0 ≤ 𝐼𝑎𝑏(𝑓 ) − 𝐼𝑎𝑏(𝑓 ) < 𝜀

Let𝜀 > 0.

By our assumption, there exists a partition𝑃 of[𝑎, 𝑏]such that𝑈𝑃(𝑓 ) − 𝐿𝑃(𝑓 ) < 𝜀.

Then, we have

𝐿𝑃(𝑓 ) ≤ 𝐼𝑎𝑏(𝑓 ) ≤ 𝐼𝑎𝑏(𝑓 ) ≤ 𝑈𝑃(𝑓 ) Hence

0 ≤ 𝐼𝑎𝑏(𝑓 ) − 𝐼𝑎𝑏(𝑓 ) ≤ 𝑈𝑃(𝑓 ) − 𝐿𝑃(𝑓 ) < 𝜀 We have well obtained

0 ≤ 𝐼𝑎𝑏(𝑓 ) − 𝐼𝑎𝑏(𝑓 ) < 𝜀

(3)

MAT137Y1 – LEC0501 – J.-B. Campesato 3 The following proof is a good application of the above criterion.

Theorem 2(From slide 5). If𝑓 ∶ [𝑎, 𝑏] → ℝis non-decreasing then𝑓is integrable on[𝑎, 𝑏].

Remark 3. Notice that we don’t assume that𝑓 is continuous, only that𝑓 is non-decreasing!

Proof. First, notice that𝑓is bounded. Indeed, for any𝑥 ∈ [𝑎, 𝑏]we have𝑎 ≤ 𝑥 ≤ 𝑏and hence, since 𝑓is non-decreasing, we have

𝑓 (𝑎) ≤ 𝑓 (𝑥) ≤ 𝑓 (𝑏)

Hence,𝑓 is bounded from above by𝑓 (𝑏)and from below by𝑓 (𝑎).

Then, according to the above criterion, it is enough to prove that

∀𝜀 > 0, ∃a partition𝑃 of[𝑎, 𝑏], 𝑈𝑃(𝑓 ) − 𝐿𝑃(𝑓 ) < 𝜀

Let𝜀 > 0.

Set𝑛 = ⌊(𝑓 (𝑏)−𝑓 (𝑎))(𝑏−𝑎)

𝜀 ⌋ + 1. Then

(𝑓 (𝑏) − 𝑓 (𝑎))(𝑏 − 𝑎)

𝑛 < 𝜀 (4)

Let𝑃 = {𝑎 = 𝑥0< 𝑥1 < ⋯ < 𝑥𝑛 = 𝑏}be the partition of[𝑎, 𝑏]consisting in𝑛subintervals of the same length, i.e.𝑥𝑘= 𝑎 + 𝑘𝑏−𝑎𝑛 .

𝑎 = 𝑥0

𝑏−𝑎 𝑛

𝑥1

𝑏−𝑎 𝑛

𝑥2

𝑏−𝑎 𝑛

𝑥3

𝑏−𝑎 𝑛

𝑥4 𝑥𝑛−1 𝑥𝑛= 𝑏

𝑏−𝑎 𝑛

Since𝑓 is non-decreasing, we easily check(do it!)that sup

[𝑥𝑘−1,𝑥𝑘]

𝑓 = 𝑓 (𝑥𝑘) and inf

[𝑥𝑘−1,𝑥𝑘]𝑓 = 𝑓 (𝑥𝑘−1) Then

𝑈𝑃(𝑓 ) =

𝑛

𝑘=1((𝑥𝑘− 𝑥𝑘−1) sup

[𝑥𝑘−1,𝑥𝑘]

𝑓)=

𝑛

𝑘=1(𝑏 − 𝑎

𝑛 𝑓 (𝑥𝑘)) = 𝑏 − 𝑎 𝑛

𝑛

𝑘=1

𝑓 (𝑥𝑘) and

𝐿𝑃(𝑓 ) =

𝑛

𝑘=1((𝑥𝑘− 𝑥𝑘−1) inf

[𝑥𝑘−1,𝑥𝑘]𝑓 )=

𝑛

𝑘=1(𝑏 − 𝑎

𝑛 𝑓 (𝑥𝑘−1)) = 𝑏 − 𝑎 𝑛

𝑛

𝑘=1

𝑓 (𝑥𝑘−1) Therefore

𝑈𝑃(𝑓 ) − 𝐿𝑃(𝑓 ) = 𝑏 − 𝑎 𝑛

𝑛

𝑘=1

(𝑓 (𝑥𝑘) − 𝑓 (𝑥𝑘−1))

= 𝑏 − 𝑎

𝑛 (𝑓 (𝑥1) − 𝑓 (𝑥0) + 𝑓 (𝑥2) − 𝑓 (𝑥1) + 𝑓 (𝑥3) − 𝑓 (𝑥2) + ⋯ + 𝑓 (𝑥𝑛) − 𝑓 (𝑥𝑛−1))

= 𝑏 − 𝑎

𝑛 (𝑓 (𝑥𝑛) − 𝑓 (𝑥0))

= 𝑏 − 𝑎

𝑛 (𝑓 (𝑏) − 𝑓 (𝑎)) We deduce from (4) that

𝑈𝑃(𝑓 ) − 𝐿𝑃(𝑓 ) < 𝜀 which is what we wanted to prove!

Références

Documents relatifs

Show that a Dedekind ring with finitely many prime ideals is

Homework problems due December 10, 2014.. Please put your name and student number on each of the sheets you are

Delano¨e [4] proved that the second boundary value problem for the Monge-Amp`ere equation has a unique smooth solution, provided that both domains are uniformly convex.. This result

The second mentioned author would like to thank James Cogdell for helpful conversation on their previous results when he was visiting Ohio State University.. The authors also would

The eight remaining buttons allow you to perform the following functions: display the error log, trap log, and state change log; create a network; graphically represent the status

To install voice communication on modem A, take the end of the telephone line that you disconnected from the wall jack in step 1 and connect it to the second jack

• If you need the ability to halt the system from the console terminal, for example, when installing system software or performing certain types of backup, set

IOMATCH() must be disabled to prevent a read from terminating prematurely when the binary data appears as a decimal 10 (ie.. The format of the data stream into the Logic