17

Analysis
Homework7
AUDREY ADISAPUTRO
May 5, 2023

Exercise 5..3

Proof:
5:[a,b] ->
R be a bounded function

suppose I
a sequence partitions
of (Pry [a,
of b]

s.t. *(U(Pr,f)-L(Px,5)) 0
=

Given Eco, by assumption 5 NEA s.t. When I

IN,
U(P1,f) -

((Px,f) < E

More
specifically,
U(Pr,f) -
L (PN,f) < E

Then, s

0 =
It -

If u(Pr,t)
=
-

2(PN,f) 62

since250
is amblerary, we musta re

5 t t
=

f is a Remann Integrable

Let NEN
ECO, Choose S.t. When KIN,

U(P1,f) -

((Px,f) < E

Then, when I IN

It
b

U(Pr,f) -

(t =

U(Pr,t) -

=UPr,H) -

St
-U(PE,f)-LIP=, f < 2

Hence, If E*
=

UCPK,5)

Moreover, since II* (UPr,f)-L(Pr,f)) 0, =

and * UIP,t)= Yat

(ML(Px,t) E*[UP, K) = -

(UlPr,f)-((Pr,f)1)

U(P,k) =

(U(Pr,f)-21Pr,fl)
b

It
=

-
0

-Pit
Hence, F (Prt)= f=UlPr

f is a Riemann Integral, and !t=E*U(Pr,f):Fo (Past

#
 27
Exercise 5.2.2

Proof:
Letf and I be in CIA, b]
U(5 + 9,P) = U(f,P) U19,P)
+

((f 9,p)=((t,P) ((9,P)

+ +

4(f 9,p) + -

((f 9,p) u(f,P)

+

-
-

((f,P) u(g,p)
+
-

((9,P)

Take E>0,

I
a
partition PCof[a, b) S.t. U If, P2')-(15, Pg) < E
I a Partition Pg" of
[a,b] s.t U (9, P3)-(19,493):
Let Ps=Pd'UPS,
Then PC is a refinement of PCand Pal, and

((f,P() ((t,Pa) = u(5,pa)

=
- ult,Pa)

((9, P2) ((9,Pa)

= = U (9, Pa) - U(9,Pa)

Ult,Pa)-((5, P2) = Ult,Pa)- LIf, Pa')

U19, Pa)-((9, P2) = U19, PaY-2(9, Pa

by propositition 5.1.1,

L(f,Pz) ((9,Pa) ((f 9,Pe)

+

=
+

4(f 9,P2) = U(5,Pa) U)9,Pa)

+ +

.
Hence,
UH, Pa)-((5,P2) = (Ulf,Pg) -L(5,Pa)) (u(9,Pa) +
-

((9,Pe)) < E
+
E
=

:for a chosen E30,5a partition PC [a,b]

of
s.t.,
n(8 + 9,42)-L(5 9,42) +
< E

:ft9 is
integrable on [9, b]

Take E>0,

Ultimate
I
a
partition 49of[a,b]

I a Partition Pg" [a,b]

of Sit.
Let Ps=Pa'UPa,
Then PC PCand
is a refinement of
Pal, and

UI5.PC) < U(5,Pa') <- +

4 (9,42)- U(9,Pq4 <
9+ =
4(f 9,Pa) - u(5,Pa) 4(9,Pa)
+ +

<(f (9 +

e
+

Since fig integrable on

a,b,(11+ 9) = 4(f 9,42)
+

(15 -it 79
:: 9)
+ + +

(15 9) (t 19 +
+
-
2

:[15+ 9) -15-19 <

a, this holds for all Lo

...((f(x) g(x))dx (f(x)dx (g(x)dx

+ =
+

#
 3/
Exercise 5.2.5

PrOOS:
f:[a,b] - Rcontinuous function,

S.t. f(x) = 0 for all xe[a,b) and Bat 0

=

By F.T.C.
/

F(x): Yat
=
is continuous and diffrentiable,
With F=t

:0 9f
=

F(x)
= +

yf = F(x)

F(x)20 as
f(x)10, atthe same time we know F(x) 0
=
for all X=[9,b]

...
Since F'=
7, and F(x) 0
=

for Xe[9,b]
all

then f(x) 0
=
for all x=[a,b]

:f(x) 0
=
for all X

/F
 4/7
Exercise 5.2.6

ProUf:

Let 1:[9, b] -> IRbe a continuous function

at 0
=

by Min-Max
Theorem,
f achieves absolute minimum (m) and absolute maximum (M)

in [a,b] atpoint C, 2 with C, <22

Then,

mib-asata re
by I.V.T., 7 c = c, (2 c[a,b]

:. f(c) bat
=

given t 0, =

f(x) a9t
=
0
=

:
I (t [a,b] s.t.f(C) 0
=

#
 57
Exercise 5.2.7

Proof:
Let5: [a, b] -> 1, 9: [a,b] -> IRcontinuous functions

S.t. tB=

F(x) =
=
5,5(x)
G(x) =
=
I9(x)
Since It I =

F(b) G(b)
0,F(a) G(b) 0
- = -
=

LetH(x): F(X) =
-

G(x)

-(a) H(b) 0 =

:by Rolle's Theorem, I CG(a, b) s.t. H'(C) 0

=

by FTC,
H'(x) F'(x)=
-

G'(x)

f(x)
= -

g(x)

:H'() f(x) =
-

g(C) =
0

f(C) -

g() 0
=

:.f(C) g(C) =

:fac([a,b] S.t.f(C) g() =

If
 6/7
Exercise 5.2.8

Proof:

Le f(([a,b]
+

Let X, B,Y be arbitary numbers in [a,b]

for a b,4f =
-

35
(1) Suppose a <BCY
I
B

then 4t St+ $5
=

as if a 1 b= c, [a,c7 [a,b] v[b,

=

c],

then $7 45+35
=

Inspitethe
B

c =>

..alf t B5 = +

as for a
1b, c =
-

It

(III) suppose B <XY

Y

then itat the

Y

c
(t i7 t
= =
+

:It it+?t =

as for a
1b, c =
-

It

1IV) Suppose BCY<<

Y X

then It 11+ 1 =
f

y B=15t
B

17 - -
=

..dt 35+st Be=- It

=

as toradb,

In

supposeEntere
B

..at 2 It
Y
=
+

as for a
1b, c =
-

It

(11) Suppose Y <<<

them but its atthe

X

... (t 4f+15
=

as toradb, Be=- It
*
 7/7
Exercise 5.2.17

Proof:

f:[a,b] -> RR is continuous

9: R -> IR is
<pschitz continuous

h(x):=

P9(t -
x) f(t)dt

Since 9 IIS Lpschitz continuous,

I k>0 s.t. 19(x)-9(y) =

kIx-y), for all x, y = [a,b]

Then, F x, y =[a, by

(h(x) -

h(y))
=

(8(95t -x) -

g(+ -
x))f(t)d 19(9)t
t -
x) -

g(+ -
y))f(t)dt

I KIx-y11ft)/dt
=

=
y11f(+)1dt
k1x -

F(x
=
-

y)

...(hix) h(y)) E(x

- =
-

y)

where I k
=

$, 1f(+)1 dt
Since I is continuous, 181 is continuous

We know If Iintegrable and Yalfit)1dt is constant co

... <

:his 4pshitz continuous

If