 
        
        книги из ГПНТБ / Мания, Г. М. Статистическое оценивание распределения вероятностей
.pdf| 
 | 
 | Отсюда, | при t — 02 — 0Х будем иметь . | 
 | 
 | |||||||||
| Ш 2- Л У = | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||||
| = | ехр 1 | (к - | 
 | к ? | 1 [ | 
 | _ | л | [:(4v + | 2) х - | к г- | к Г | ||
| 2 (02 - | 0J | 
 | 
 | ехр | 2 (03- | 0а) | 
 | |||||||
| 
 | 
 | 
 | 
 | 
 | 7= 0 | 
 | 
 | |||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||
| 
 | оо | 
 | 
 | 
 | 
 | [ (4 v + | 4) X + ^ — /2]2 | 
 | 
 | 
 | ||||
| 
 | 
 | 
 | ехр | 
 | 
 | 
 | (1.4.34) | |||||||
| 
 | 
 | 
 | 
 | 
 | 2 (02 | 0Х) | 
 | 
 | 
 | |||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||||
| и | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
| /г | (®г | 
 | 
 | ®i) = | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
| — ехр | 
 | (к ~ | 
 | к? | 
 | 2 | ехр | [(4 v + | 2) X + | tx + | t2]2 | |||
| 
 | 2 ( 02 | 
 | 0Х) | 
 | 2(02 - | ВО | . | |||||||
| 
 | 
 | 
 | 
 | 
 | 
 | |||||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 7= | 0 | 
 | 
 | 
 | 
 | 
 | 
| - | V | 
 | ехр Г _ | [ ( 4 у + | 4 ) А - < , - | t . f i | 
 | 
 | (1.4.35) | |||||
| 
 | Н | 
 | 
 | I | 
 | 
 | ЧЧ.-Ч) | J | 
 | 
 | ||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||||||
| 
 | 
 | Из леммы 1.3 | и формул (1.4.32), (1.4.33), ,(1.4.24) заклю | |||||||||||
| чаем, | 
 | что | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||
| и | 
 | 
 | 
 | 1т = Д (02 - 0х) + « 0 ) | 
 | 
 | 
 | 
 | ||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |
| 
 | 
 | 
 | 
 | P m | = | f%( 0 2 ~ ~ ® i ) + | 0 ( 1 ) • | 
 | 
 | 
 | 
 | |||
| 
 | 
 | Следовательно, в силу (1.4.21), | 
 | 
 | 
 | |||||||||
| 
 | 
 | 1 Рсs | (Iх; ») = | к (02-0х) + | /2 (02 - | 0i) 4- ®п, | (1.4.36)) | |||||||
где еп- » 0 , равномерно относительно tx и /2 из любого ко нечного интервала.
Таким образом, мы нашли второй сомножитель общего, члена суммы (1.4.3), а для первого сомножителя имеем
| Рп(%, «2) = | п ! | 6М 02 - | 0l)S2“ Sl ( l - | е2)n-Sp | 
| 
 | ||||
| Si! («2~ si)! (« - | «а) 1 | 
 | 
 | |
| _L | А ^ А ^2 •: | 
 | 
 | |
| " « | V"0a(02— 91)(1 — ©2) | 
 | 
 | |
| Х е х р | _ <*» ~ ^)2 | _____ J*____ | (1 + йл) > | (1.4.37)» | 
| 2 01 | 2 (02 — 02) | 2 ( 1 - 0 ,) | 
 | 
 | 
€0
 
| тде | по-прежнему | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||||
| 
 | 
 | 
 | sx = | п | - f itl V | n , | 
 | 
 | — X < | < | X , | 
 | 
 | 
 | 
 | ||||
| 
 | 
 | 
 | s2 = | 
 | n 02+ | t2V~n , | 
 | 
 | - X < 1 2< X , | 
 | 
 | 
 | 
 | 
 | |||||
| 
 | 
 | 
 | Д tx = | Д t2 | = | 
 | 1 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||
| 
 | 
 | 
 | Y~n | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||
| и | an-> 0 | при | я с о . | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||||
| 
 | Следовательно, в силу (1.4.36) и (1.4.37), | 
 | 
 | 
 | 
 | 
 | 
 | ||||||||||||
| lim Рп (0<?>, 0<jft | X) = | Ф (01э 02; X) = | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||||||||||
| 
 | 
 | 
 | 1 | 
 | 
 | 
 | 
 | X | X | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ехр | 
 | 
 | 
 | 
 | 
 | -------- —— | } х | ||||
| 2 те ]/ 0i(02—0х)(1 — 62), | 
 | ' | 2 0* | 2(02- | 0!) | ||||||||||||||
| 
 | 
 | 
 | 2 ( 1- | 02) ' Л | |||||||||||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | —X —X | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||
| X - [1 - | /х (02 - | 9х) - | h (02 | - | 0х)1 di t d U . | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||||||
| 
 | Учитывая | (1.4.34) | и (1.4.35) | и раскрывая скобки под | ин | ||||||||||||||
| тегралом, | будем | иметь | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||||
| Ф (01, 021X) = | 2 т е ]/ 01(02 - | 01) | (1 | 02) | X | 
 | 
 | 
 | 
 | 
 | 
 | ||||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||||||||
| 
 | 7 | 7 | 
 | 
 | 
 | п | 
 | 
 | % | - | Ч 2 | п | 
 | 
 | 
 | 
 | 
 | 
 | |
| x | j | J « P ( - | 
 | 
 | 
 | 
 | 
 | dtр | di*2 | 
 | |||||||||
| 20! | 
 | 
 | 2 (0а - | 01) | 2 ( 1 - | 
 | 0.) | 
 | 
 | 
 | |||||||||
| 
 | —X | —X | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||
| 
 | 
 | 
 | 
 | 
 | 1 | 
 | 
 | 
 | 
 | 
 | оо | X X | 
 | 
 | 
 | 
 | 
 | 
 | |
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ехр | 
 | 
 | J ] | X | |||
| 
 | 2 те ]/ 01(03 - | 
 | 01)(1 - | 02) | 
 | 
 | 
 | 
 | 
 | ||||||||||
| 
 | 
 | v=0 — x — x | 
 | 
 | 
 | 2 01. | 
 | ||||||||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||||
| X ехр j — | 2(1 | *t | 02) | 
 | 1(4v + | 2)X — tx - | 
 | 
 | 
 | 
 | 
 | 
 | |||||||
| - | 
 | 
 | 
 | 
 | 2 (02- 0x) | 
 | 
 | 
 | 
 | 
 | 
 | ||||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||||||
| — ехр | 
 | n | 
 | 
 | 
 | 
 | n | 
 | 
 | 
 | [(4 v -f- 4) X + | ^ | — /2]2 | ]+ | |||||
| 
 | 2 0i | 
 | 
 | 2 ( 1 - 0 0 | 
 | 
 | 
 | 2 (0a - | 
 | 0i) | 
 | 
 | |||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||||||||
| + | exp | 
 | J l _____ | 
 | f2 | 
 | 
 | 
 | ,[(4 V + | 2) X + | ;* + | <,!» | 
 | 
 | |||||
| 
 | 
 | fc2 | 
 | 
 | 
 | 
 | 2 (02- | 
 | 0i) | 
 | 
 | 
 | |||||||
| 
 | 201- | 2(1 - | 02) | 
 | 
 | 
 | 
 | 
 | 
 | ||||||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||||||||||
61
 
| 
 | exp | Г | t\ | 
 | 
 | % | [ ( 4 v + 4 ) X - t i + t , ] r | dt1dt2 | ||||||
| 
 | 
 | 20x | 2(1 - | 02) | 
 | 2 (0*— Эх) | 
 | |||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 1 | 
 | 
 | X | 
 | 
 | 
 | 
 | 
 | 
| 
 | 2 « K | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||
| 
 | 0x <0* — ©i) (1 - 02) | 
 | 
 | 
 | 
 | 
 | ||||||||
| 
 | X | 
 | X | 
 | 
 | 
 | 
 | 
 | 
 | /l)2 | 
 | 
 | 
 | 
 | 
| X | 
 | 
 | 
 | exp | 
 | t\ | 
 | 
 | (t2 - | 
 | 
 | d / i d 12 — | ||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||||
| 
 | ■X | — X | 
 | 
 | 2 0 x | 
 | 
 | 2 ( 0 2 - | 0 x ) | 
 | 2 ( 1 | - 0 , ) | 
 | |
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||
| 
 | 
 | 
 | 
 | 
 | 
 | 1 | 
 | 
 | X. | 
 | 
 | 
 | 
 | |
| 
 | 2те У | 0i (02 - | 0i)(A | - | 
 | 
 | 
 | 
 | ||||||
| 
 | ea) | 
 | 
 | 
 | 
 | 
 | ||||||||
| 
 | 
 | 00 | X X | 
 | 
 | 
 | t? | 
 | t\ | 
 | R4v+ 2 ) X - / x+ *2]2 | |||
| X 2 | > , | 
 | ;exp | 
 | 
 | 
 | ||||||||
| 
 | ' 2 | 
 | 
 | 
 | 
 | 26x | 2(1 — 6,) | 
 | 2 (02- | 0!) | ||||
| 
 | v^O—x —x | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||||
| 
 | exp | 
 | 
 | 
 | 
 | t\ | 
 | [ (4 v + 4) X — tx— (212 | d'ti dt2 . | |||||
| 
 | 
 | 20x | 2 (1 - 02) | 
 | 2 (0, — 0x) | 
 | ||||||||
| 
 | 
 | 
 | 
 | 
 | 
 | (1.4.38) | ||||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |
| 
 | 
 | Преобразуем это | выражение. Полагая, | как и раньше, | ||||||||||
| 
 | 
 | 
 | 
 | 
 | 
 | h — zi К 0х<1 — 0х) . | 
 | 
 | 
 | 
 | ||||
| имеем | 
 | 
 | 
 | t2 = | 22У 02(1 — ©i ),- | 
 | 
 | 
 | 
 | |||||
| 
 | 
 | 1 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | X | 
 | 
 | 
 | 
 | 
 | |
| 2 | 75 К | 
 | ©х (02 - | © х ) ( 1 | - | е 8) | 
 | 
 | 
 | 
 | 
 | |||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||||||||
| 
 | X | 
 | X | 
 | 
 | 
 | 
 | 
 | ti | 
 | 
 | 
 | 
 | 
 | 
| 
 | 
 | 
 | 
 | 
 | 
 | п | __ | 
 | __ | { / | ^l)2 | 
 | ||
| 
 | 
 | 
 | 
 | 
 | 
 | ___________ | <d ^x d 12 | |||||||
| X | J | 
 | J | “ P | i - | 2 6x | 
 | 2(1 - | 08) | 
 | 2 (02— ©x) | |||
| 
 | — X — X | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||
| 
 | 
 | 
 | 
 | 
 | 
 | X | 
 | 
 | X | 
 | 
 | 
 | 
 | 
 | 
| 
 | 
 | 
 | 
 | 
 | / 01(1- 01) | / 0в(1- в 1)' | 
 | 
 | 
 | 
 | ||||
| 
 | ' 2 теV "1 - | tf2 | J | 
 | 
 | 
 | exp | {; — | у | 0- (2j,- Zj) | } dZi dz. | |||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||||||
| 
 | 
 | 
 | 
 | 
 | / 0/ l - e i ) | 
 | / е 2( . i - 02) | 
 | 
 | 
 | 
 | |||
62
где
| D _ | I | 
 | 
 | ^2) | л | у \_ | I | («! - 2 R zxz2 + z\). | ||
| 
 | 
 | ■j— | ||||||||
| к | V е , ( 1 - в а) ’ | e ( | l ’ 2' ~ | 
 | 
 | (1.4.39) | ||||
| 
 | Далее, нетрудно видеть, что | 
 | 
 | |||||||
| 
 | 
 | 
 | 
 | |||||||
| 
 | _____ t\___________ tj | 
 | _ | [ ( 4 у + | 2 ) X - | tr - f8]« | ||||
| 
 | 
 | 2e2 | 2(1 - | 02) | 
 | 2(es. - e 1) | ||||
| 
 | = | _ i | - 0 | ( Zl, z , ) - 2 ( 2 v + | 1)*X*, | 
 | ||||
| где | переменные tx и t2 связаны c | zx и г2 следующими соотно | ||||||||
| шениями: | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |
| 
 | к = (4 v + 2)Х вх + гх Т/ 91 (1 - 0г) г | 
 | ||||||||
| 
 | к = | (4v + | 2) X (1 - | 02) + | z21/ 02(1 - 02) • | |||||
| 
 | Полагая теперь | 
 | 
 | 
 | 
 | 
 | 
 | |||
| 
 | = (4 v + 4) X 0j + zx У (1 — 0г) г | (1.4.40) | ||||||||
| 
 | к = | 
 | 
 | 
 | 
 | 
 | z2У02(1 | 
 | ||
| 
 | (4 v + | 4) X (1 | — 02) + | — 02) | 
 | |||||
| будем иметь | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||
| 
 | _____ к_____ tl | __ | [ ( 4 у + | 4 )Я, — к — ^ ]2' | ||||||
| 
 | 
 | 2 | 0! | 2(1 - | 0Я) | 
 | 2 (02 — | 0,) | ||
| 
 | = | — | -1 | 0 (Zl, z2) - | 2 (2 v + | 2)*Х*. | 
 | |||
Преобразовывая интегралы в правой части формулы (1.4.38)
спомощью подстановок (1.4.39) и (L4.40), получим
Ф(0J, 02; X) =
| V 0а(1— 0а) | 1 0 (zx, z2) \dz1 dz2 — | 
| ехр | |
| 2-п У 1 — R2 J | 
 | 
| X | 
 | 
| / M l - Л ) У М 1- У ' | 
 | 
63
| 2 л ] Л | - R2 | 
| X.— 2 (2 v + | 1) X 6, | 
/ 9 , 0 - 6 , )
X |
exp {— 2 (2 v + l ) 2X2} X
2
V=0
Я— 2 (2 v - f - 1) X (1 — 92)
/02( 1- 02)
j’ expj — -i-0(z1,z2)jd e1dz2 +
| — X — 2 (2 v 4 - 1)X0, | — X — 2(2v* + 1) X (1 — 0a) | |||||
| 
 | / 9 , (1- 6,) | 
 | / 6 2 ( 1 - 6 2 ) | |||
| + | 
 | 1 | 
 | 2 V exp { — 2 (2 v + 2)2X2} X | ||
| 2izV | 1- Я 2 | |||||
| 2 | 
 | |||||
| 
 | 
 | 
 | 
 | v-0 | 
 | |
| X — 2 (2 V + | 2) X 0, | X — | 2 (2 V + 2) X (1 — 0a) | |||
| 
 | / 0, 0 - 0,) | 
 | / 62(1- 62) | |||
| X | 
 | 
 | 
 | 
 | 1 | |
| 
 | 
 | 
 | 
 | exp I ------ — 6 (z1,z2)dz1 dz2 | ||
| — X — 2 (2 V + 2) X 0, — X — 2 (2 v + 2 )X (l- | ||||||
| 
 | / 6, ( 1-H ,) | 
 | / 62(1- 62) | |||
| 
 | Отсюда | непосредственно следует | ||||
| Ф (0„ 02; X) = | X | X | ||||
| 
 | 
 | 
 | 
 | |||
| 
 | 
 | 
 | / 6 , ( 1 —6,) / 0 2 (1 - 02) | |||
| 
 | 
 | 
 | X | 
 | X | |
| 
 | 
 | 
 | / 9 , 0 - 9 0 | / 62( 1- 62) | ||
| 
 | 
 | 
 | 
 | CD | 
 | |
| 
 | г-Х у .’ - | У | г 2 | ( ~ ‘ )>' 1 е х р 1 ~ 2 *П , , Х | ||
| 
 | 
 | 
 | 
 | fe=l | ||
| / | 0, 0 - 0,) | X — 2k\(l — ( | ||||
| 
 | / 02(1 ■ | |||||
| X | 
 | 
 | 
 | 
 | exp { -------— 0(2!, zs) } dzxdz2. | |
| — X — 2kX 0, | — X — 2 fe X (1 — 0a) | |||||
| 
 | / 9 , 0 - 9 0 | 
 | / 62(1- 63) | |||
Тем самым теорема доказана.
64
Теперь рассмотрим частные случаи.
| Если | 0Х = 0 | и | 02 = | 1, | то | 
| 
 | 
 | 
 | со | 
 | 
 | 
| И т Рп (0, | 1; X) = | 1 - | 2 V | ( - | l )^1exp { - 2fc2X2} = K(X) . | 
| Л — оо | 
 | 
 | 
 | 
 | 
 | 
Й=1
| Если 0Х = | 0 | и | 02 = 0, | то | 
 | 
 | ||
| 
 | 
 | 
 | 
 | / | 0 ( 1 - | 0) | 
 | 
 | 
| lim | (0’ , ; 1 ) “ | у | к | 1 е х р | - | т Н | г | ||
| п-+<х>р ” | ||||||||
| 
 | 
 | 
 | 
 | К 0 ( 1 - 9 ) | X— 2feX (1— 6) | |||
| 
 | 
 | 
 | 
 | 
 | 
 | |||
| 
 | 00 | 
 | 
 | 
 | 
 | / | 0(1— 0) | |
| i = | 2 ^ | ( - | 
 | 1)*-* exp { - 2 fe2X2] j | exp { - | |||
| ]/2 | k=\ | 
 | 
 | 
 | 
 | — X — 2 fe X (1 — 0) | ||
| 
 | 
 | 
 | 
 | 
 | ||||
| 
 | 
 | 
 | 
 | 
 | 
 | V | 0 ( 1 - 0 ) | |
| Если, | наконец, | 0X = | 1 | — 02 = 0, | ||
| lim Pn (0, | 1 | - 0; X) | = Ф (0; | X) = | ||
| /!->■ oo | 
 | X | 
 | 
 | X | |
| 
 | 
 | 
 | 
 | |||
| 
 | 
 | У 0 ( 1 - 0 ) | У 6 ( 1 - 0 ) | |||
| 
 | 1 | Г | 
 | 
 | I e x p { | |
| 
 | 
 | 
 | 
 | |||
| 2 7C |/ 1 — R2 J | 
 | 
 | ||||
| 
 | 
 | X | 
 | 
 | X | |
| 
 | 
 | / 0 ( 1 - 0 ) | / | 0 ( 1 - 0 ) | ||
| 
 | 1 | 
 | OO | 
 | 
 | |
| 
 | ■ 9 | ( | - | i)* -1 X | ||
| 2 tzV | 1 | |||||
| - - R 2 | £ = I | 
 | 
 | |||
| 
 | 
 | 
 | 
 | 
 | ||
| 
 | 
 | X — 2 * X 0 | X — 2 Ы 0 | |||
| 
 | 
 | / 0 ( 1 - 0 ) | У 0 ( 1 - 0 ) | |||
to
y 9 ( Z i , г2)
j dz
d
| X e x p {— 2& 2 X2} l | 
 | 1 | 
 | d z 1d ?2 , | |
| j* exp | 2 0 | (Zi, z2) | |||
| 
 | 
 | 
| — X — 2fe X0 | — X — 2fcX0 | 
| /0 ( 1 — 0) | / 0 ( 1 - 0 ) | 
| 5. Г. M. Мания | 65 | 
где
| 
 | 
 | 
 | 1 - | 0 * | 
 | 
 | 
 | 
 | 
 | 
 | |
| В | приложении к | книге | приведена | таблица | для | функции | |||||
| Ф (0, X), [25] (см. табл. 2). С | помощью | этой | таблицы при дос | ||||||||
| таточно больших п(п ^ | 100) | можно указать | верхний и нижний | ||||||||
| пределы отклонения Sn(х) — F (%) на интервале | [х: 0 ^ | F (х) ^ | |||||||||
| ^ 1 — | 0} , | гарантируемые | с | наперед | заданной вероятностью. | ||||||
| Пусть, | наприхер, | 0 | = | 0,25, | X = | 1, 6; | тогда для доста | ||||
| точно больших п с вероятностью | 0,,9883 | можно | гарантировать | ||||||||
| неравенство | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |
-- i A < S n( x ) - F ( x ) ^ - b L
| У п | У п | 
| для всех х из интервала {х :0,25 ^ F (х) | 0,75) .I | 
I
J
Г Л А В А II
| НЕПАРАМЕТРИЧЕСКАЯ ОЦЕНКА ПЛОТНОСТИ | 
 | ||||
| 
 | РАСПРЕДЕЛЕНИЯ | 
 | 
 | 
 | |
| Первые результаты в области непараметрическсго оценива | |||||
| ния плотности распределения принадлежат советским математи | |||||
| кам В. И. Г л и в е н к о и Н. | В. С м и р н о в у , | которые в каче | |||
| стве оценки рассматривали | гистограмму. | В. | И. Г л и в е н к о | ||
| установил, что при | некоторых условиях | гистограмма с вероят | |||
| ностью I равномерно сходится к теоретической | плотности | [5], а | |||
| Н. В. С м и р н о в | получил предельное распределение для | мак | |||
симума абсолютной величины нормированного отклонения гисто
| граммы от теоретической плотности [58]. | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||||||||
| За последние | годы вопросы | непараметрическсго приближе | |||||||||||||
| ния плотности получили | ноЕсе | ссЕепение в работах | Р о з е н - | ||||||||||||
| б л а т т а | [96], Н. Н. | 
 | Ч е н ц о в а | [66], | П а р з е н а | [90], | |||||||||
| Э. А. Н а д а р а я | [47], У о т с о н а | и Л и д б е т т е р а | [105] | и др., | |||||||||||
| изучивших | свойства „обобщенной гистограммы'1, т. | е. | статистики | ||||||||||||
| 
 | 
 | 
 | 
 | 
 | П | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
| где Хг, ..., Хп—выборка | из | генеральной | совокупности | X с | не | ||||||||||
| прерывной | плотностью | f(x), | ядро | К{х) —некоте рая бсрелеЕская | |||||||||||
| функция, | интегрируемая | 
 | по мере | Лебега, | = | —последова | |||||||||
| тельность | положительных | чисел, | стремящаяся к нулю, | причем | |||||||||||
| В § 1 | доказывается | теорема Э. А. | Н а д а р а я | [47] об усло | |||||||||||
| виях равномерной | сходимости | fn(x) | к | f(x) | с вероятностью | 1. | |||||||||
| Далее, в | §§ 2 — 3 | следуют его же | результаты [48, 49], позво | ||||||||||||
| ляющие оценить | точность | fn(x) | и при | заданном | коэффициенте | ||||||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 67 | 
доверия построить на данном сегменте доверительную область
ДЛЯ f(x).
В § 4 исследуется локальная и глобальная точность одной непараметрической оценки плотности двумерного распределения, которая является двумерным аналогом оценки Р о з е н б л а т т а
[96].
| 
 | 
 | 
 | § 1. РАВНОМЕРНАЯ СХОДИМОСТЬ /„ (*) К /(*) | 
 | ||||||
| 
 | 
 | П а р з е н о м | [90] было доказано, | что | при некоторых усло | |||||
| виях fn(x)' по вероятности | сходится | к f(x) равномерно на всей | ||||||||
| прямой. Условия сходимости с вероятностью 1 устанавливает | ||||||||||
| 
 | 
 | Т е о р е м а | 2.1 [47]. | Если | 
 | 
 | 
 | 
 | 
 | |
| 1° | К(х)—функция с ограниченным, изменением и JK ( x ) d x = l ; | |||||||||
| • | ( | • | 00 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
| 2° | ряд | —ynfl2 | 
 | 
 | 
 | 
 | 
 | 
 | ||
| е | сходится при любом у > | 
 | ||||||||
| 3° f(x) равномерно непрерывна на всей оси, | 
 | |||||||||
| то с вероятностью 1 | 
 | 
 | 
 | 
 | 
 | 
 | ||||
| 
 | 
 | 
 | 
 | Vn= | sup | I fn(x)-f(x) | | 
 | |||
| сходится к нулю. | x£Rl | 
 | 
 | 
 | 
 | 
 | ||||
| 
 | 
 | 
 | 
 | 
 | 
 | |||||
| ^ | Д о к а з а т е л ь с т в о . | Пусть Vn — | sup* I /„ (x) — E fn{x) J. | |||||||
| М / | 
 | 
 | 
 | 
 | 
 | 
 | x^R1 | 
 | ||
| Покажем, | что | с вероятностью | 1. В самом деле, | применив | ||||||
| формулу интегрирования по частям, находим,, что | 
 | |||||||||
| 
 | 
 | sup | I fn(x )-E fn(x) | = | sup | 
 | 
 | 
 | 
 | ||
| 
 | 
 | : x£Rl | 
 | x^R1 | 
 | 
 | 
 | 
 | ||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | oo | 
 | 
| 
 | - | T . f | 
 | 
 | ^ | sup | Т | | Э Д - | |||
| 
 | 
 | 
 | x£Ri | 
 | 
 | |||||
| 
 | 
 | 
 | dK | x —u | < | sup | \ S n( x ) - F ( x ) \ | - I j i , | ||
| 
 | 
 | 
 | h | |||||||
| 
 | 
 | 
 | 
 | 
 | Vx £ R L | i | ' | h | ||
| 
 | 
 | 
 | 
 | 
 | i | 
 | 
 | . | > | (2. 1Л) | 
68
где [х= Var K(x), Sn(x)- эмпирическая функция распределения, построенная по выборке, a F{x) ~ функция распределения X.
Нетрудно заметить, что
| p { d „(0. 4 > | 
 | - ^ | } « : p | { « (0. i » - ^ } | + | 
| + P { d - ( 0 | , | 1 )> | y = r J | = 2 (1 -P * (X )), | (2.1.2) | 
| D~(0, | 1) были | определены | в гл. I). | Из | известной | формулы | |||
| Н. | В. | С м и р н о в а | [57] (см. | (1.1.3)), | как | показали | Д в о р е ц  | ||
| кий , | К и ф е р | и В о л ь ф о в и ц [78], | следует неравенство | ||||||
| 
 | 
 | 
 | 
 | 
 | 1— | —aX2 | 
 | (2.1.3) | |
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||
| где | 0 < а ^С 2, | a | ch | 1, здесь и ниже означает положительную | |||||
| константу. Тогда | из (2.1.2) и (2.1.3) имеем | 
 | 
 | ||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | (2.1.4) | 
| 
 | В силу (2.1.1) и (2.1.4), | 
 | 
 | 
 | 
 | ||||
| 
 | 
 | 
 | 
 | P { sup |fn(x)~ E fn(x) |> | г] < | 
 | |||
| 
 | 
 | 
 | 1 | 
 | x^R1 | 
 | 
 | 
 | 
 | 
| 
 | 
 | 
 | 
 | D | 
 | 
 | 
 | 
 | |
| < P | 
 | sup [ 5 | 
 | 
 | 
 | 
 | 
 | 
 | |
| 
 | { x^ R 1 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |
Неравенство (2.1.5) с применением леммы Бореля-Кантелли
| позволяет утверждать, что Vn стремится | к нулю с вероятностью | |||
| 1 при п—>~со. | 
 | 
 | 
 | 
 | 
| Для доказательства | теоремы остается | показать, | что | |
| sup ] Е /„(* )—f(x) |->-0. | Пусть S > 0 . | Тогда, | полагая | М — | 
| x^R1 | 
 | 
 | 
 | 
 | 
| = max f(x), имеем | 
 | 
 | 
 | ' | 
| x£R' | 
 | 
 | 
 | 
 | 
| 
 | 
 | 
 | 
 | 6» | 
