Вы находитесь на странице: 1из 10

Math-Net.

Ru
Общероссийский математический портал

А. А. Марковъ, О предҍльныхъ величинахъ интеграловъ,


Извҍстiя Императорской Академiи Наукъ, 1895, том 2, вы-
пуск 3, 195–203

Использование Общероссийского математического портала Math-Net.Ru подразу-


мевает, что вы прочитали и согласны с пользовательским соглашением
http://www.mathnet.ru/rus/agreement

Параметры загрузки:
IP: 67.205.163.100
1 мая 2017 г., 11:48:45
ИЗВЪСТІЯ ИМПЕРАТОРСКОЙ ЛКАДЕМІИ НАУКЪ. 1895. № 3 (МАРТЪ).

(Bulletin de l'Académie Impériale des Sciences de St.-Pétersbourg.


1895. Mars. № 3.)

О предѣльныхъ велжчинахъ интеграловъ,


А.. А . М а р к о в а »

(Доложено в ъ засѣданіи Физико-математическаго отдѣлевія 25 января 1895 г.)

1
Въ запискѣ) «Sur les valeurs limites des intégrales» знаменитый П. Л.
Чебышевъ поднялъ слѣдующій вопросъ о предѣльныхъ величинахъ инте­
граловъ:
Даны числа
а <и < < Ъ V

и значенія интеграловъ

Г f(x)dx = а , 0 f xf{x) dx — а 1?
l
f x f(x)dx — а ,...,
2

J J J
a a <>

n l
\x ~~ f{x)äx = a _ n l 5

найти точные высшій и низшій предѣлы для


çfi
f(x) dx
при условіи, что f(x) не можетъ получать, въ промежуткѣ отъ х = а до
X — Ь, отрицательныхъ значеній.
Для случая
а = и или Ъ = V

мною дано въ диссертаціи «О нѣкоторыхъ приложеніяхъ алгебраическихъ


непрерывныхъ дробей» полное рѣшеніе вопроса Чебышева.
Я показалъ также, что при нѣкоторыхъ ограниченіяхъ нетрудно опре-
дѣлить для данной Функціи Q (х) точныя предѣлъныя величины интеграловъ

(ü(x)f(x)dx и (o(x)f(x)dx.

1) Journal de Liouville; 2-е série, X I X .


Физ.-Мат. стр. 195. I
196 А. А. МАРЕОВЪ,
2
А въ запискѣ ) «Sur une question de maximum et de minimum proposée
par M. Te hé by chef f» мною обнаружена возможность значительны хъ об­
общение
Что касается вопроса о предѣльныхъ величинахъ интеграла

f(x) dx
J
«

при и не равномъ а и г; не равномъ Ъ то мои результаты могутъ служить :

основаніемъ для его рѣшенія въ каждомъ частномъ случаѣ. Однако дѣло


представляется весьма сложнымъ въ виду необходимости различать много
случаевъ.
Напримѣръ при п — 2, полагая согласно Чебышеву

а •== О, b = I, а = р,
0 а = pd
г 7
2
а = pd ч- к,
2

я пришелъ къ слѣдующимъ заключеніямъ:

I. p(u — d)(v — d)-+-k < 0.


Точный высшій оредѣлъ для I fix)dx равенъ p .
При разсмотрѣніи же низшаго предѣла приходится различить три
случая:
2

1) 1
^j - < d— k
_, точный низшій пред) i>
p{v d}

2) d— J c
- < d-^—rJ^—r, » » » -w)
i
* !

(ri - >uf
3) - g - > ^-+-^Z^y,

II. p(u — d)(v — d)-i-k > 0.

f (ж) равенъ нулю.


и
При разсмотрѣніи же высшаго оредѣла приходится различать нѣсколько
случаевъ:
1) V< d ~ J ± r i y точный высшій предѣлъ j — ^ ^ ;

2) 'fi > » »

2) Acta mathématica j I X .
Физ.-Мат. с т р . 196.
2
О ПРЕДѢЛЬНЫХЪ ВЕЛИЧИНАХЪ ИНТЕГРАЛОВЪ. 197

3') I < и -+- и

pd (и -^v — d) — к
и < ä-^^r < ѵ, » ф

3") £< и г;

V (I — V) >

4') I > г/- г;


p(l — d){l-*-d—u~-v)— к
и < d ~ ^ J } < v , » » У)
а

(I — и)[1 — г') >

4") ?> м V

pä(l—d) — k
» » и(1 — и)

Всѣ эти выводы можно пояснить чертежами, подобные которымъ даны


въ моей диссертаціи.
Послѣ выхода въ свѣтъ моей диссертаціи П. X Чебышевъ опублико-
валъ свои Ф ормулы для рѣшенія того же вопроса о предѣльныхъ величи-
нахъ интеграла
f(x)dx.

Переходъ отъ моихъ Ф ор


м улъ къ Формуламъ Чебышева выяснилъ
н р о Ф . К. А. Поссе въ своей прекрасной монограФІи «Sur quelques appli­

cations des fractions continues algébriques», * '


Одно изъ важныхъ примѣненій подобиыхъ изслѣдованіи состоитъ въ
рѣшеиіи слѣдующаго вопроса:

Можно ли изъ безчисленнаго мноя^ества равенствъ

a =
Q f(x) dx — f (x) dx,
x a =
t xf(x)dx = x f (x) dx,
x ...

заключать о равенствѣ
f(x) dx =• f {x)dx
t

при условіи
f(x)>0 и /;(&)> 0 fa < я ^ 6).

Послѣднему вопросу посвящено недавно появившееся замѣчательное


изслѣдованіе «Recherches sur les fractions continues» Стіельтьеса, прежде­
временная смерть котораго представляетъ большую потерю для науки.
Физ.-Мат. стр. 197. 5
198 А. А. МАРКОВЪ,

Но еще раньше Стіельтьеса нашъ знаменитый Чебышевъ разсмот-


рѣлъ важный частный случай, когда

— а = b = оо и fix) — ~=е
У2к

Разсужденія Чебышева, относящаяся къ этому случаю, могутъ быть


3
замѣнены болѣе простыми, какъ показалъ проф. Н. Я . Сонинъ въ запискѣ )
«О точности опредѣленія предѣльныхъ величинъ интеграловъ».
Прибавимъ, что Н. Я . Сонинъ вмѣсто нѣкоторыхъ неравенствъ
Чебышева вывелъ лучшія.
Впрочемъ для вышеуказаныаго вопроса это улучшеніе неравенствъ
Чебышева не имѣетъ значенія; такъ какъ необходимо было только дока­
зать расходимость нѣкотораго ряда, а расходимость его очевидна.
Вмѣсто вышеупомянутаго ряда можно разсматривать также корни
уравненія
9 , » = О,

гдѣ цѣлая Функція w-ой степени <p (х) опредѣлена условіями


m

k
(x f{x)y {x)dx
m = 0 (k = 0 , 1 , 2 , . . . , m — 1).

Именно, заключеніе
f(x)dx = f (x) dx
x

вытекаетъ изъ того обстоятельства, что при достаточно большихъ m


уравненіе
0
?m(*) =

имѣетъ корни между каждыми двумя числами, лежащими между а ш Ъ.


Это соображеніе примѣняется съ успѣхомъ не только къ случаю
Чебышева, но и ко многимъ другимъ.
Разсматривая случай
i 2 % 2
— а = 5 = оо, fte)=^e^ ?

П. X Чебышевъ имѣлъ въ виду доказать одно важное предложеніе теоріи


4
вѣроятностей, что и было имъ сдѣлано въ запискѣ ) «О двухъ теоремахъ
теоріи вѣроятностей».

3) Зап. Акад.. Н а у к ъ ; L X I X .
4) Прил. къ Зап. А к . Н а у к ъ ; L V .
Физ.-Мат. стр. 198.
О ПРЕДѢЛЬНЫХЪ ВЕЛИЧИНАХЪ ИНТЕГРАЛОВЪ. 199

Доказательство Чебышева наводитъ на мысль о необходимости видо-


измѣнить первоначальный вопросъ, замѣняя равенства
ъ
с к
J x f(x) dx = а к

неравенствами
a k
' k < [ % f(x)dx < а", л

гдѣ разности & — сс весьма малы.


к к

Видоизмѣненнымъ вопросомъ П. Л. Чебышевъ занялся въ своемъ


послѣднемъ мемуарѣ «О суммахъ, зависящихъ отъ положительныхъ зна-
ченій какой либо Функціи».
Полное рѣшеніе видоизмѣненнаго вопроса во всей общности весьма
сложно и едва-ли можетъ получить большія примѣненія.
Поэтому въ послѣднемъ мемуарѣ Чебышева мы находимъ только
выводъ нѣкоторыхъ нредѣловъ для интеграла

f(x)dx или f(x) dx

при довольно сложныхъ ограниченіяхъ даниыхъ неравенствъ

а о < (°f{x)dx < а",...,


•Vi
0 ос < Cx f(x)dx
к
J
o
k
< а,
к

Главная цѣль этихъ ограниченій состоитъ въ томъ, чтобы каждая


система значеній
/•00 /»00 «ос л

1
f(x)dx, xf(x)dx,..., x f(x)dx 1

удовлетворяющая вышеуказанньмъ неравенствам^ была возможна.


Вопросъ о такой возможности представляетъ самостоятельный интересъ.
Рѣшая его для болѣе общаго случая, когда имѣемъ

«о < (f(*)fa < А , • • *, «'* < fW(*)<te < а\,...,

я убѣдился, что условія, необходимый и достаточный для возможности всѣхъ


промежуточныхъ системъ значеній интеграловъ
Физ.-Мат. стр. 199. 5
200 A. A. І А Р К О В Ъ ,

n l
(f(x)dz, (xf(x)dx ) ..,, \x ~ f(x)dx,

выражаются неравенствами
1
а, > О, *о'» > О,

а' 1 1
3

> о, > О,
ft >
23
а ,аГ
г
ff 1
2
f
Jit

а,, а > о, а, а 1 0 n
> о,
а g 5 а2 3

а",, Z а' , 2

а,, а j , 1
«si /
а

/зУ,
Z

'

" ' 7
о, а,
а
л t ff
01 ? а 2 î а3
а 1 5 а 2
> о,
а , а, і 2 3 а , 3 а g, а 4

и т. д.
Если эти условія выполнены, легко рѣшается вопросъ о иредѣльныхъ
значеніяхъ интеграла
ff(x)Q(x)dx

для всякой данной Функціи О (х), удовлетворяющей условіямъ


, (Я 1)
0(0) = û'(0) = Û(0) = . •. = О ~ (0) = О
и
QW(x) > О (0 < x < I).

Искомый предѣльныя значенія получаются изъ предѣльныхъ значеній


того же интеграла
\f{x)ü{x)dx

при
J I I
f f(x)dx = а 0 5 f xf(x)dx = a", f x*f(x)dx = a' ,...0

•'ft Jn ^

и при

( f(x) dx = a" , 0 f a; f {x) dx == <, ( x" f(x) dx = u\,...


J
0 0 "'ft
Фпз.-Мат. стр. !
О ПРЕДѢЛЬНЫХЪ ВЕЛЙЧИНАХЪ ИНТЕГРАЛОВЪ. 201

Напримѣръ, если даны неравенства

а• о < 'оf f{%) dx < а a'j < Г xf(x) dx < а


о

и числа a удовлетворяюсь неравенствамъ

a'j > 0, л \ < a' ï, а


0
а < і*>
2

то предѣльными значеніями интеграла

ж f(x) dx
3


будутъ
а'
И
(а" а " —
0 2 л\ OL\) Р- ъ\ а " 1 — а\
2 а" 2

а'

Что касается вопроса о точныхъ предѣльныхъ величинахъ интеграла

то и при сдѣланныхъ нами ограниченіяхъ онъ остается весьма сложнымъ.


Однако нашихъ ограниченій достаточно для того, чтобы можно было
дѣлать тѣ же выводы, какіе сдѣлалъ Чебышевъ, при болѣе сложныхъ
ограниченіяхъ, въ іюслѣднемъ своемъ мемуарѣ и въ мемуарѣ «О разложе-
иіи въ непрерывную дробь рядовъ, расположенныхъ по нисходящимъ
ö
степенямъ иеремѣнной» ).
Эта возможность обусловлена во первыхъ существованіемъ всѣхъ
системъ промежуточныхъ значеній для интеграловъ

и во вторыхъ перемежаемостью корней нѣкоторыхъ уравненій.


Чтобы выяснить о какихъ уравненіяхъ идетъ здѣсь рѣчь, положимъ
п — 6.
Въ этомъ случаѣ къ ранѣе написаниымъ 8-ми неравенствамъ надо при­
соединить еще два

5) П р и л . к ъ З а п . А к . Н а у к ъ ; L X X L
Физ.-Мат. стр. 201. J
202 A. A. ІАРКОВЪ,

ft a
2 )
05 a

a
3>

a 2 , a , 3 a 4
> О ft > о
a з>
a , 3 a 4 , a 5
ft
' 3?
a 5?

и важную роль играютъ


a
; a
1 1
i5 2î

корни 5 â
уравненш ОС 2 , a 3 , # = 0,
a 0 6
33 45 *

OC ! , OC g j i

КОрНИ 7) 2
уравненія a 2 , a g, ж = О,

a g, a 4 , ж

ff a
i5
tt 1
' 05 «• s ,
tt Ж
a 2 ?

корни 2 j , x , x уравненія //
= о.
t s

- 25 a . 4 ж 2

/
a
-S'
a
" 5 4 's> ж 8

f ft г «

oc 0? a n a , 1 2

корни х'\, as'а, ж" уравненія = 0,


3
a 1 ? c c . ос , аз2 3

a a a
2) 35 45 ^

a a a
S 5 45 5? &

a
0 5 i5 a a
2 5 1
OCj, 0C 2? OCgj 3/
и наконецъ корни # , $ уравненія
2 s
= 0,
OCg j OCg, GC^ , 00

8
oc cc 85 45 a 5 ? a?

гдѣ числа a ограничены только неравенствами

a
'o < a
o < a
"o5 a, < < a 5 < • a 5 < a. 5

Фи8.-Мат. стр. 202, 8


О ПРЕДМЬНЫХЪ ВЕЛИЧИНАХЪ ИНТЕГРАЛОВЪ. 203

Для даннаго случая вышеупомянутая перемежаемость корней выра-


жается неравенствами

#1 < Х х < Х\ < KJj < ^ < я ' < Я < #" <
я 2 2 7] 2 < | Й < < Я 3 < Я" .
3

6
Мои выводы основаны на двухъ теоремахъ, доказанныхъ въ запискѣ )
«О Функціяхъ, получаемыхъ при обращеніи рядовъ въ непрерывный дроби».
Развитіе намѣченныхъ пунктовъ и выводъ дальнѣйшихъ заключеній со­
ставить предметъ другой статьи.
25 января 1895 года.

6) Прид. къ З а п . А к . Н а у к ъ ; L X X I V . Пользуюсь случаемъ для исправленія опечатки,


замѣченной мною (на 29-ой стр.) в ъ ФОрмулировкѣ теоремы о корняхъ : слова «меньше» и
«больше» надо переставить между собой.

Физ.-Мат. стр. 208. 9 и