Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
1.3.DALSZEWŁASNOŚCICAŁKIRIEMANNASTIELTJESA
13
1.2.27.Wykazać,żejeślif(x)=lim
n→∞
fn(x)dlax[a,b],to
V(f;a,b)lim
n→∞
V(fn;a,b).
1.2.28.Załóżmy,żeszeregiΣ
n=1aniΣ
n=1bnzbieżnebezwzględniei{xn}
jestciągiemróżnychpunktówprzedziału(0,1).Udowodnić,żefunkcjafokreś-
lonawnastępującysposób:
f(0)=0,
f(x)=Σ
an+Σ
bn
dla
x(0,1],
xnx
xn<x
jestciągławkażdympunkciex/=xn,nN,oraz
f(xn)f(x
-
n)=an,
f(x+
n)f(xn)=bn.
Wykazaćrównież,że
V(f;0,1)=
n=1
Σ
(|an|+|bn|).
1.3DALSZEWŁASNOŚCI
CAŁKIRIEMANNASTIELTJESA
WtympodrozdzialerozpatrujemycałkęRiemanna–Stieltjesawzględemfunkcjiowa-
haniuskończonym.Jeśliαjestfunkcjąowahaniuskończonymna[a,b]orazα=pq,
gdziepiqrosnącena[a,b]ijeślifR(p)orazfR(q)(patrzpodrozdział1.1),to
przyjmujemy
a
b
f(x)(x)=
a
b
f(x)dp(x)
a
b
f(x)dq(x).
Powyższadefinicjaniezależyodsposobuprzedstawieniafunkcjiαjakoróżnicydwóch
funkcjirosnących.
TWIERDZENIE1.Jeślifunkcjefiαmająwahanieskończonena[a,b]ijednaznich
jestciągła,to
a
b
f(x)(x)=f(b)α(b)f(a)α(a)
a
b
α(x)df(x).
Powyższetwierdzeniejestnazywanetwierdzeniemocałkowaniuprzezczęści.
TWIERDZENIE2.Załóżmy,żefiϕfunkcjamiciągłymina[a,b]iϕjestściśle
rosnącana[a,b].Jeśliψjestfunkcjąodwrotnądoϕ,to
a
b
f(x)dx=
ϕ(a)
ϕ(b)
f(ψ(y))(y).
Twierdzenietonazywamytwierdzeniemocałkowaniuprzezpodstawienie.