ВУЗ:
Составители:
Рубрика:
17
где функция
()
t
ϕ
также интегрируема по Риману на
[;]
ab
. Тогда справедлива
формула
()()()().
bb
aa
fxdgxfxxdx
ϕ=
∫∫
(2.5.1)
Доказательство. Заметим, что оба выписанных интеграла существуют. Дока -
жем их равенство. Запишем произвольную сумму Стилтьеса
σ
в виде
11
111
1
000
()(()())()()()().
ii
ii
xx
nnn
iiiii
iii
xx
fgxgxfxdxfxdx
σξξϕξϕ
++
−−−
+
===
=−=⋅=
∑∑∑
∫∫
Представим теперь интеграл в правой части формулы (2.5.1) следующим обра-
зом :
1
1
0
()()()().
i
i
x
b
n
i
ax
fxxdxfxxdx
ϕϕ
+
−
=
=
∑
∫∫
Тогда
1
1
0
()()(()())().
i
i
x
b
n
i
i
ax
fxxdxffxxdx
σϕξϕ
+
−
=
−=−
∑
∫∫
Пусть
L
- такая постоянная, что ()
xL
ϕ
≤
для всех
x
из промежутка
[;]
ab
, и
пусть
i
ω
- колебание функции
()
fx
на отрезке
1
[;].
ii
xx
+
Тогда для всех
x
из отрез-
ка
1
[;]
ii
xx
+
выполняется неравенство
()(),0,...,1.
ii
ffxinξω
−≤=−
Поэтому справедливо неравенство
11
111
000
()()()()().
ii
ii
xx
b
nnn
iiii
iii
axx
fxxdxffxxdxLdxLx
σϕξϕωω
++
−−−
===
−≤−≤=∆
∑∑∑
∫∫∫
Поскольку функция
()
fx
интегрируема по Риману на отрезке
[;]
ab
, то при
0
d
→
имеем:
1
0
0.
n
ii
i
xω
−
=
∆→
∑
Поэтому
0
lim()(),
b
d
a
fxxdx
σϕ
→
=
∫
и равенство (2.5.1) доказано.
Теорема доказана .
Следствие. Пусть функция
()
fx
интегрируема по Риману на отрезке
[;]
ab
.
Предположим, далее, что функция
()
gx
непрерывна на отрезке
[;]
ab
и имеет всю -
ду в нем, за исключением, быть может, конечного числа точек, производную
'()
gx
, которая интегрируема по Риману на
[;]
ab
(в тех точках, где производная не
существует, функция
'()
gx
доопределяется произвольным образом ). Тогда
()()()'().
bb
aa
fxdgxfxgxdx
=
∫∫
PDF created with FinePrint pdfFactory Pro trial version http://www.fineprint.com
где функция ϕ(t ) также интегрируема по Риману на [a; b] . Тогда справедлива
формула
b b
∫ f ( x)dg ( x) =∫ f ( x)ϕ ( x)dx.
a a
(2.5.1)
Доказательство. Заметим, что оба выписанных интеграла существуют. Дока-
жем их равенство. Запишем произвольную сумму Стилтьеса σ в виде
n −1 n −1 xi +1 n −1 xi +1
σ =∑ f (ξi )( g ( xi +1 ) −g ( xi )) =∑ f (ξi ) ⋅ ∫ϕ ( x)dx =∑ ∫ f (ξ )ϕ ( x) dx.i
i =0 i =0 xi i =0 xi
Представим теперь интеграл в правой части формулы (2.5.1) следующим обра-
зом:
b n −1 xi +1
∫f ( x)ϕ( x)dx =∑ ∫ f ( x)ϕ ( x)dx.
a i =0 xi
Тогда
b n −1 xi +1
σ −∫f ( x)ϕ ( x) dx =∑ ∫( f (ξ ) − f ( x))ϕ ( x)dx.
i
a i =0 xi
Пусть L - такая постоянная, что ϕ ( x) ≤L для всех x из промежутка [a; b] , и
пусть ωi - колебание функции f ( x) на отрезке [ xi ; xi +1 ]. Тогда для всех x из отрез-
ка [ xi ; xi +1 ] выполняется неравенство
f (ξi ) − f ( x) ≤ωi , i =0,..., n −1.
Поэтому справедливо неравенство
b n −1 xi +1 n−1 xi +1 n −1
σ −∫f ( x)ϕ ( x)dx ≤∑ ∫ f (ξ ) − f ( x) ϕ ( x) dx ≤∑ ω L ∫dx =L∑ ω ∆x .
i i i i
a i =0 xi i =0 xi i =0
Поскольку функция f ( x) интегрируема по Риману на отрезке [a; b] , то при d → 0
имеем:
n −1
∑ ω ∆x
i =0
i i → 0.
Поэтому
b
lim σ =∫f ( x)ϕ ( x) dx,
d→0
a
и равенство (2.5.1) доказано.
Теорема доказана.
Следствие. Пусть функция f ( x) интегрируема по Риману на отрезке [a; b] .
Предположим, далее, что функция g ( x) непрерывна на отрезке [a; b] и имеет всю-
ду в нем, за исключением, быть может, конечного числа точек, производную
g '( x) , которая интегрируема по Риману на [a; b] (в тех точках, где производная не
существует, функция g '( x ) доопределяется произвольным образом). Тогда
b b
∫f ( x) dg ( x) =∫f ( x) g '( x)dx.
a a
17
PDF created with FinePrint pdfFactory Pro trial version http://www.fineprint.com
Страницы
- « первая
- ‹ предыдущая
- …
- 15
- 16
- 17
- 18
- 19
- …
- следующая ›
- последняя »
