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

Math-Net.

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

А. А. Марков, Трудность метода моментов;


два примера неполного разрешения ее, Из-
вҍстiя Россiйской Академiи Наукъ. VI серiя, 1922,
том 16, 281–286

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


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

Параметры загрузки:
IP: 67.205.163.100
1 мая 2017 г., 11:55:57
Известия Российской Академии Наук. 1922
(Bulletin de Г Académie des Sciences de Russie J.

Т р у д н о с т ь м е т о д а м о м е н т о в ; дйа п р и м е р а
неполного р а з р е ш е н и й ее.
А. А . Маркова.

(Доложено в заседании Отделения Фдзико-Математических Наук 8 февраля 1922 года).

Исчисление вероятностей тесно связано с исчислением конечных раз­


ностей. К уравнениям в конечных разностях обычно приводит нас и метод
математических ожиданий. Чтобы установить но этому методу вторую пре­
дельную теорему, в том или ином случае, надо найти главную часть,
наивысшего порядка, решений составленных уравнений ; для первой же
теоремы достаточно, конечно, выяснить порядок возрастания одной величины.
Успех в приведенных мною примерах обусловлен возможностью для
главной части искомых величин свести наши уравнения к последовательности
обыкновенных уравнений первого порядка с одним неизвестным, о решении
которых можно сделать необходимые нам заключения. В других же случаях
такое отделение неизвестных невыполнимо, или получаются уравнения вто­
рого и высших порядков, которые, если не совсем не позволяют вывесть
из них необходимые заключения, то представляют для таких заключений
большие затруднения.
Мы покажем эти затруднения на двух сравнительно простых примерах,
для которых постараемся отчасти разрешить их, хотя бы путем рассуядений,
строгость которых можно оспаривать. Положим, что в двух сосудах про­
исходит особого рода обмен шаров, определяемый следующими условиями:
1) до обмена в одном сосуде а белых, Ъ черных, в другом с белых,
d черных шаров и никаких других, при чем для простоты а — Ъ, c — d;
2) обмен производится последовательными операциями;
3) при каждой операции из обоих сосудов извлекается по одному шару;
4) шар, вынутый из первого сосуда, где до обмена было а белых и
Ъ черных шаров, поступает во второй, а в первом сосуде заменяется новым
шаром того же цвета;
5) шар, вынутый из второго сосуда, определяет цвет шара прибавляе­
мого в заключение каждой операции в первый сосуд, где таким образом
число шаров постепенно увеличивается на одну единицу, между тем как
во втором сосуде число шаров поддерживается неизменным;
ИРАН 1922. — а8і — 19
— 282 —

6) цвет прибавляемого шара для одной задачи а) совпадает с цветом


вынутого из второго сосуда, а для другой Ь) обратен, т. е. черный, если
вынут белый, и белый, если вынут черный шар.
Спрашивается, какие предельные заключения можно сделать о числе
белых шаров, извлеченных при таком обмене из обоих сосудов, если число
операций увеличивается беспредельно.
Обозначив символом Р а , вероятность, что при п операциях будет
3

извлечено а белых шаров из первого сосуда и ß белых шаров из второго


сосуда, без особого труда получаем уравнение для перехода от п операций
к TI - н 1 операциям

Р
-^Лі+і, щ ß = а ,ß ВРПі а ? е_! -+- СР^ а~і, ß "*~ ^ п, а-1, ß-i,

где в случае а): Е= (п-на-нЪ) (с -~н d),


А= (пч-Ъ — $)(а-+~$~ а), В = (л-*-6 — ß ^ - l ) ( C H - a — ß . - H l
О = (а ß) (d - н ß — а ч - 1 ), D = (а - н ß — 1) (с ~н а — ß)

и в случае Ь): U = ( п - н а - н Ь) (с - н d ) ,
А = фч-Щ ( d - f - p — a), B = ( 6 - t - ß — 1 ) (с + а-ß-ні),
С = (пч~а~ß) ( d n - ß — а - н 1), ' В = (п + а - ß - н і ) ( с - ь а — ß)

Числа і ч н ß — а и с - н а — ß должны быть положительными и по­


тому разность а —ß обязательно лежит в конечных пределах: — с , - н й .
Нетрудно также заметить, что при нашем предположении относительно
а, &, с, d, вероятность извлечения белого шара при каждой операции для
обоих сосудов имеет одну и ту же величину

^ ач-Ь с.-н.Д 2 •

и тому же числу —• равна вероятность g = 1 —р извлечения черного шара.


Отсюда вытекают точные равенства

мат. ож. а = мат. ож. ß = пр = ~ щ мат. ож. ос — ß = 0.

Такие замечания служат нам основанием в предельных выводах огра­


ничиться числом ß. Для полного установления второй предельной теоремы
h
следовало бы рассмотреть мат. ожид. (3 — %p) при всех значениях положи­
тельного целого числа Іг; но мы ограничимся только А — 2 , что позволит
— 283 —

нам сделать заключения относительно первой теоремы, которая в случае а)


оказывается уже не применимою.
h
Вместе с мат. ожид. (ß — np) , как и в других случаях, нам придется
рассматривать математические ожидания других выражений. Мы обозначим
символом

Л
математическое ожидание произведения со^ Х , где
Ä ; i
іо = (с-+-а-$)
д ( с - ь а - ß - l ) . . ,(<M-a-ß-#-f-l), X = (ß~^) ,

при п операциях и на основании вышеприведенного уравнения найдем связь


1
между М^ и М ' , при различных парах д\ h . Для указанной цели
г п

h
надо обе части нашего уравнения помножить на со^ (ß — пр—p) —
v
— іо ( X — h) и, придавая числам a, ß всевозможные значения, сложить
д

результаты. В левой части мы получим таким образом

9
(П + Й + !)) (c4~d)M JX.i,

а в правой части имеем четыре суммы различного типа, которые можно


соединить в одну при помощи следующих простых равенств

2 Р Ф ( Х , а — Р ) = м.о. Ф ( Х , а — ß),
ялР

2Р ,«, Ф(Х,а—Р) = м . о . Ф ( Х + 1 , а - р —1),


я м

£ ф
' n , « - i , ß (*> а — ß) = м. о. Ф (X, а н- 1 — ß),

2 Р , , м Ф (X, а -
я м ß) = м. о. Ф (X - 4 - 1, а - ß),

где Ф (X, а — ß) означает любую Функцию X, а — ß.


Ha основании таких равенств правая часть приводится в случае а)
к математическому ожиданию суммы
h Ä
( _ X ~ь Ъ -t- qn)(X — p) (d - i - ß — a)со^ -+- (— X -+- Ь -*~gn)(X-*-#) a> -*~ p+1

.-+- (X -+- a -+- pn) (X — Pf (d.-+- ß — a) (c + a — ß -t- 1 ) со г нн


—н (X -+- ci jpw) (X ~+- qf (с и - a — ß) со^, .

которую при помощи равенств

d!~f-ß — a = rf-hc — (c + a — (S— g)-*-g,


c4-a — $ — e-+-k—$—-g-*-g y
( d - f - ß - — a ) (c-t- a — ß-+- l ) = ( c - t - a — ß — g ) (с -ь a — ß — g + 1)-*-
- H L ( ê "-+- a — ß — # H - 1) ни Ж ,
И Р А Н 1922. !9*
_ 284 —

где
M = g(c-+-d—g-h-1), L = c-*-d—2g,
преобразуем в
(-M-^qn) (k-pf (-(ùg+^id+c-g^ + Ç-l + b+qn) (k + qf V
+ (Ь-Й-Ьpn) ( X - p f ( - ь) д+1 ^{cl^c-2g)<ù +g(c + d - g+1) c o ^ ) g

h
+ {\-*-a-*~pn)(\-*~q) ( t o ^ -+go) ) g

и наконец после надлежащих упрощений получаем

(а+Ъ+п) \(~k+qf-(k-pf\ v> +Ck+-a+prì)


g+l (k-pf g (c+d-g+1)10^-*
h Ä
+ (d + c — g) (a-*-b-+-n) (X-p) ы +д(к-*-а-*-pn) д {(k-*-qf — (X — p ) } & . g

Подобным же образом в случае b) последовательно получаем


Ä
( Х ч - & ч - pn) (X —jp)* ч ~ ß •— a) tù -*~ (X ч - 6 -+-jpw) (X - н #) с о ^ ч~
g

h
ч - ( — Х ч - а ч - д ч г ) (X—p) ( й ч - ß — а ) ( с + а — ß-t- l j o a ^ n -
ч - ( — X ч - а ч - gn) (X ч - qf (с ч ~ а — ß)

затем

Ä
+ (-Х a - f gn) (X ч - g) ( с о ^ +

и наконец
A A Л
(a-нЬ-ня) i(X-H ) —(X—jj) |
FF j r ( d - b c . ^ - f - i ) (Х~-^)
-*~(d~*~c—g) (a-t-b-*-n) (к—pf ы -+-д(—Х-ьа-f-gw) д {(X-i-g)*-.(X—jp) } A
w .
Отсюда для трех пар чисел # и й:

1 ) ^ = 2 ^ = 0, 2)0 = *=*= I ; 3)^=0 Ä = 2 5

получаем в случае а) уравнения


1,1
(a + 6-f-n) М^ г = (а + Ь-*-п) ( c - + - d - 2 ) Ж ^ ~ь2 ( с - н и - 1) 2 0
Ж -*
(сч~ с?) ( с ч - d — 1) (а ч - 6 ч - и)
^ _ , . -, • ?

1 1 0
(а+ь + п)(б-ь й) Ж^_== {(a -н & н- n) [c + d - 1) -ь 1} Ж ; я) Л£ * -*
0 2
- (с н- rf) Ж ' fr ^ Ф 0? - M — 1) .fr -fr- S •+•*)

:
v ;
n 4

tm 4
n n • 4
— 286 —

n в случае Ь) уравнения

1
(а + Ъч-п) (c+tï) М^ г = (а-.-5-.-n) {сч-d-2) Ж;° - 2(сч-d-1) M *
(с -+- d) (с -+- d —* Y) (я -+- Ь -t- n)
2

(ач-Ъ + п) (сч-d) М ^\(а п + Ъч-п){с+а-\)-ЦМ п ч-{ач-Ъч-п)М™


2 С 1 ъ
-(сч-d) M°' •+-( ~*-Я) (o-t-d— ) (" *»)

0,2
(c -+- d) Mil, R , ч - d) ,,0,2 ч - 2 ,-1,1
= (с 7V ilC Л C+ d

Ha основании этих уравнений, не отделяя неизвестные, мы поста­


2
раемся сделать необходимые заключения о главной части величины Ж^' .
Можно было бы, конечно, исключая две остальные неизвестные, получить
2
уравнение с одною неизвестною Ж°' ; но так как порядок этого уравнения
выше первого, то мы предпочитаем прямо рассматривать совокупность
2 0 1 2
уравнений со всеми тремя неизвестными Ж ' , Ж ^ , Ж ^ .
Первая из них Ж^° не может возрастать беспредельно, но, сохраняя
всегда положительные значения, не превосходит с н - d, так как все зна­
1
чения с + а — (3 не превосходят сч-d. По той же причине Ж ^ не может
возрастать быстрее, чем первая степень п.
Что же касается третьей величины M°f, то порядок ее возрастания
как раз представляет тот вопрос, который нам надо разрешить вместе
с нахождением, если возможно, главной ее части; при чем наши заключения
в случаях а) и Ь) оказываются совершенно различными.
Останавливаясь сперва на случае а), попробуем предположить,
2
порядок Ж°' равным единице и соответственно такому предположению за
2
главную часть Ж ^ возьмем одночлен Ѳщ с постоянным коэФФицентом G.
Тогда главною частью может быть только некоторое постоянное if,
пусть наконец главною частью будет постоянное N. Подставляя такие
выражения на место неизвестных в наши уравнения, мы на основании их
приходим к равенствам

^(c-t-d-mc + d)^ = + , K {c d)0 ( с + ( г ) ^ 2 І - ь - ^ 67 — 1,

2
из которых последнее несовместимо с положительностью величины Ж ^ ;
2
откуда заключаем, что порядок Ж°' относительно n равен двум и что сле-
ИРАН 1922.
— 286 —

довательно к случаю а,) не применима не только вторая, но и первая пре­


дельная теорема.
2
Для случая Ь) начнем с предположения, что порядок Ж ^ равен двум
3
и соответственно этому за главную часть Ж°' возьмем одночлен второй
О2
степени GW, с постоянным коэффициентом G. Такой вид главной части М п

1
заставляет нас за главную часть Ж ^ взять одночлен En первой степени,
пусть наконец число N будет главною частью Ж^°. , Подставляя такие
выражения на место неизвестных в наши уравнения, приходим к равенствам
(с ч - = К = — (c4-d)G, <?=Я=0.
2
•Уничтожение главных частей вида Gn и Кп заставляет нас за главную
2 1
часть Ж°' взять одночлен первой степени Gn а за главную часть Ж * '
:

2 0
постоянное число К; пусть наконец главною частью Ж ' будет постоянное N.
2 д 2,0
Подставляя эти выражения на место Ж°' , Ж * , Ж в наши уравнения,
получаем следующие равенства

(сч-d) (сч-d—1) г сч-d , ~


лт
N=- ( л чп
(c4~d)G п Т
—2Кч —,
Т7
К— — (сч-d)G

откуда

2
Найдя таким образом, что главная часть Ж ^ выражается одно­
членом п первой степени заключаем, что к случаю Ь) можно приложить
по крайней мере первую предельную теорему, согласно которой с вероят­
ностью сколь угодно близкою к достоверности можно утверждать, что отно-
В 1
шение — при достаточно больших значениях будет отклоняться от —
П À
меньше, чем на любое заданное положительное число.
Путь, которым мы достигли своих заключений, нельзя признать вполне
строгим, так как мы не произвели надлежащего исследования составленных
уравнений и не доказали возможности выделения из их решений главных
членов принятой нами Формы. Вопрос об этой возможности, связанный
с общей теорией уравнений в конечных разностях, остается открытым.