Math-Net.

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

H. К. Аренбаев, Асимптотическое поведение полиномиаль-

ного распределения, Теория вероятн. и ее примен., 1976,
том 21, выпуск 4, 826–831

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

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

Параметры загрузки:
IP: 79.246.237.63
12 июля 2023 г., 20:17:06
 ТЕОРИЯ ВЕРОЯТНОСТЕЙ
Т о м XXI И ЕЕ ПРИМЕНЕНИЯ Выпуск 4
1976

КРАТКИЕ СООБЩЕНИЯ

АСИМПТОТИЧЕСКОЕ ПОВЕДЕНИЕ
ПОЛИНОМИАЛЬНОГО РАСПРЕДЕЛЕНИЯ

а. К, АРЕНБАЕВ

В работе [1] была рассмотрена задача сближения биномиального распределения

с распределениями Гаусса и Пуассона. Пусть
т п т
Р 1т) = — г) п — ,

(п г>)т л
т
- У 2ппрд
п

р (р;л>=
4 S —п (ш)1 4 (» = 1, 2).

В [ 1 ] было доказано: при п — » оо

Р 1 ( р ; « ) = ЯаР + р о ( п Ч п [ 1 , - р = - ] ) . ^ = ] / ^ . (1)

Pi(p:")= l ?
g ^ + ° ( j r ) ' Ь = 3/2^ (1 + 4 е - Н а:=/ г а ; > .
? (2)

-1 3 1 3
Сравнение главных членов ( 1 ) и (2) показывает, что при"р <sg га ' и л и 1 — р <gg ге~ '
л у ч ш е й аппроксимацией в указанном смысле является распределение Пуассона, а
-1 3
при re ' <g; min ( р , 1 — р) — распределение Гаусса. В данной заметке рассматривает­
с я многомерный аналог приведенной задачи.;
1. П у с т ь имеется полиномиальная схема с распределением вероятностей

1
Р =Р (т ъ . . ., то„) = г-^ Г~ Р? . • • Р?\
п п> ' к> тЛ . . . тЛ г 1 ' ' • гц i
L
к
m
P i + • • • + ?* = 1 . i + - - - + n»&= (3)
Ф о р м у л у (3) перепишем в следующем виде:
r
Р
п~ m \...m Hn-m -...-m )\/i-'-- r
l T Р - Г 1 - - - - - Г )
l T
p
г X
(п — m — . . . — m )\
x // Pp.+i \ H-l r / r
r o

m,,\
i \1 - - . . . - p)
k ' Л 1 - Й - - . . - Р ,P l r

Из (4) л е г к о следует (4)

Лемма 1 . При фиксированном т г

Р (тп ъ . . . , ш,) = т Л { п _ р Ц1-

{ р.) \ (5)
1
m i + . . . +1*1^=71
Лемма 2. При га —* оо имеет место

-<v!+...+vU)/»
e f 4 . м
 Асимптотическое поведение полиномиального распределения 827

где
т v n
m — (п — т — . . . — {—\)
i х i i
, я . = 1 — р — . . . — .p., х p = *min
0 р {

V п р ^ \

k—1
2
Й1 Г 1 г г—1 г j=i+l J

Д о к а з а т е л ь с т в о . Ф о р м у л а (6) получается применением преобразования

(7)
к соотношению (см. [2])

. . . +ж|)/2
Р =
^ \ 6 2 /+° \ П-о

т . - пр.
где ж. = '
fnpi

2. П у с т ь

a n
П = П^тти, . . ., m _ ) =
х f c 1
т\ . . . т _ \г е ,. i = Pv
х к г

П = n '(mi, . . . ,
2 2 т_) к х
1
(У2яп)*- ур ...р 1 к '

где суммирование ведется по всем точкам полиномиального распределения.

Теорема 1. При п - » оо|

0
Pi =ТЛЕГ(ft+• • • + *-i> + О* + • • • + [*• y»-(p +. .. + l
1
J W l )])-
(8)
Д о к а з а т е л ь с т в о . Нетрудно заметить, что

M m P m (9)
Pi = S ( fc> n fc>'
W i + . .. +m =n k

где
n—m,,
ra 'm„

Л/ Ю • '"if
« 1 Pit "
> e = flj + • • • + a _
t r

Н а основании (5) из (9) получим:

га!
(9')
m ! (га — т )\
fc к (га — т )\ К

Применяя к правой части ( 9 ' ) теорему 2 работы [ 1 ] , п о л у ч и м ( 8 ) .

 828 Н. К. Аренбаев

Теорема 2. При п оо
c
1 / Cj. t_i \ / 1 \
Ра + 0 (10)
^(тк --- 7^г) + +
^ ) '
где с; (г = 1,. . ., /г — 1) — абсолютные константы и

Рг
(V2nf~yя^я/ К
°1 К
'/ 2 л Y
оо оо
а
г=5'-- ^{ %
-Т-^-У1-\ г-( - )Рг\Уг Я к 1
+ РгУ1 ^ }X

+ )
xe-^+- ^ 'V...^_ , 1

л
г —
(к —
0i p

•2 + 4 exp j — ~2
Я — (к~
1 г) р />. — i — 1)

я, — (к — г) р .
Я; Р;

2
Д о к а з а т е л ь с т в о . Пусть у = у* + . . . -f- и

П
2 1 Л г - П | = г 2 1^п-П |+ 2 2 1^п- *1- ( " )
тп,+ . . . +тп .=п А х <(п )Чз
2 Р|) х*>(г.р )'Ь 0

Согласно многомерному а н а л о г у неравенства Бернштейна

5
1
i. — П, I = О (12)
про

Последовательно применяя формулу суммирования Эйлера — Маклорена, п о л у ч и м :

1
К7г 1
Х2<(,гр ) 1з 0

Я, — (/с — О р я . — (fc — г)
X. .3.1
Я. — р-
г 1
г
• 2 + 4 ехр
И
р. (к — i — 1) 1
О (13)
2 у я<_ Л J ' " \

;Т,ак как функция Q положительна в области б; < г/; < со (i = 1,. . ., /с — 1 ) , то

Jc—i оо
Л - — p.

Х2<(ггр )Чз 0

I Я
г ~ A
( ' — ') Pi 1
A
PiV
=- у ,Л. J
1

3=t+l
(14)
Н а основании леммы 2 и соотношений (11) — (14) п о л у ч и м (10).
4. И з сравнения соответствующих членов в (8) и (10) следует, что при достаточно
1 3
б о л ь ш о м п и min ( р , 1 — р ) <g: л Г ' (г = 1,. . . , к
г 1) д л я P . ., т ) л у ч ш и м
г n к

приближением в рассмотренном смысле является распределение Пуассона, а при

- 1 3
, m m ( p j , 1 — р^ ^ > и ' (г = 1,. . . , к — 1) — распределение Гаусса. Рассмотрим про­
межуточный с л у ч а й :
1 1
m i n (р{, 1 — p.) <^ —— (i = 1, . . . , r ) : и min (pjt. 1 — р^) ^> (/ = r - f 1 i) t
 Асимптотическое поведение полиномиального распределения 829

Пусть
-(oi+ . . . +а)
е
П , (т ъ . . . . т) П ( mг 2 r + v . . . , т^) = — - ^ " Т ^ ^ k - r - i у - - ~ ~ ~ X
к

X ехр{-4 ^ .
ГО. — П g - Рг
Х т U =
Y^i ' ' ? =
i - K - - - — P r •" = " - ^ -Г Г - т
г О - ^ . . . . Д
as 1 = 2 I Лг ( ro
i-' • • • - П
1 ( l m
т г ) П г ( т г + 1

nit-f . . . -j-mj=ra £

s 2 = 2 IP n (mi, . . . , - П ( т 2 ъ . . ., m )Щ (m r r + 1 , . . . , . . . , ) |.
m i + . . . +m —n k

Теорема 3. При n —* oo

+ (15)
. + +
<* • • • *»•+ ( + 0 mia
у » ( P i + . . . + P, ]) °Ш'

+ 0 +
Ш +
• •• +
^ H 0 1 ,
v- +• - • + ^ > I ) •
гЗе с,- (г = 1,. . . . к — 1) — абсолютные константы и р„ = min p , t р =
п min p. t

Д о к а з а т е л ь с т в о . Идея доказательства заключается в сведении к результа­

там теорем 1 и 2. Рассмотрим оценку д л я s v Очевидно, что
16
.»i<s' 1 + i" v ( )
где
Р , П т Р т ж П
s[ = S I п ( ь •••• к~д - п ( 1' • • • • г> 2 К+1- • •• ' I•
mi-b . . . +m£=n
• (17)

Р m n m П
^ = 2 I п ( i- • • • ' "V> - i ( " Ь • • • • r-) 1 2 ( т г + 1 , . . . , т ^ ) .
mi+ •.. -\-т^=п
(18)
Введем обозначения: т ~ т -\- . . . -\- т , р = р + . . . + p , g = 1 — р, t = m —- 1 Т х r

2
— др, р = min (p/n, р ). Применяя к (17) равенство (5) и разбивая область суммирова­
ния по т, получим
s P M
i= S J ) 2 i p _ .K+i. • • •. « - i ) -
n m k
m m n m
m: I f \>Vm r+l+ • •• -t- ,c= -
-П {>п ,...,т _А\+
г г+1 к ^ _ P (m)X n

m: I i |< Vn/2
,n n m I9
X S |P _ (n*r+v-' *-l)- 8K+l----' k-l)l-
n m ( >
m
r-|-i+ • • • +™=n—m fc

m
где P (m) = -—n—' чТ P (1 — p ) n
~ m
. Н а основании работы [1]
1 4 r l
" и v
' ml (n — m)\
^ P ( m ) = 0(p).
n (20)
I t1> Vn^
При I t | < V y ^ имеем n — от = и. (1 — p) (1 + О
2 (1/Уй")), поэтому по теореме 2 для
830 Н. К. Аренбаев

\т — пр\< Vn/2

m
S Р
'I п-т K+V • • • • - П. К + 1 т _Л\
и =
r + l + • • • +m^.=n—m
1 C c
/ r+1 , ft-l \ / 1 \

Ввиду (20) и (21) из (19) будем иметь

c c
1 / r+i , , k-i \ . „ / 1
яр 0

Рассмотрим оценку д л я s". И з (18) имеем

P m m n те
Л = 2 l „(i r ) - i ("Н> • • • • г)1 2 П (т 2 г + 1 го^).
т
=0 т,,.).^ . . . +m —n—m k

(23).
Н а основании ( 9 ' )
п п
2 |i» (m„ . . . , m ) -
n r П ^ , . . . , m )| = p ^ IP„ ( « ) - П^п»)]. (24>
m=o
и' ( % + . . . + о,)"
r
» 3 f
nW= m , ( B 1 w ) , p m
g - m
. ni.(«)= " m ,' " e - ' - - ; V . поэ-
; a + +

тому ввиду (23) и (24)

p n m
*i = S ™
i (»») - n x 21 * ( r+i; • •• . +

р
+ S 1 „ Н - П 1 ( т ) | . S П , ^ , . . . , ^ ) . { 2 5 >
m
I1 | < Vn/2 r+i+ •• • =n—m

На основании работы [1]

т П т
Ц _ 1Лг( >- 1( )1 = W (26>
I t |>Vn/2

Применяя д л я нашего с л у ч а я линейное преобразование (7) и формулу суммирования

Эйлера — Маклорена д л я ] t | < У и/2» можно показать, что

YJ П,К + 1 ,..., . _ )==1 П к 1 + 0 / - Л г \ . (27),

• . . +m =n—тп te \ "о /

Н а основании (25), (26), (27) и теоремы 1 п о л у ч и м

± = } f ± p { l + . . . + P r ) + { P i + . . . + Рг) О ( m i * [ l , y K ( p i + \ . . + p j ] ) •
(28>
Из (16), (22) и (28) следует (15).
Т а к как

р , , • • • ( 1
Рг+1 • • • Рк-1)

{п - т - . . . - т _Л\
г + 1
m
к
!
i p i уу П

ч т^. . . . т \ т• k-l> I £i у
V

Р
( Л- Г
 Вероятностная модель коррозии 831

т о вывод оценки д л я s ничем не отличается от предыдущего с л у ч а я . Теорема полностью

2

доказана.
Автор выражает искреннюю благодарность Ю . В . П р о х о р о в у за постановку зада­
ч и и постоянное внимание.
Поступила в редакцию
5.1.76

ЛИТЕРАТУРА

[1] Ю . В . Прохоров, Асимптотическое поведение биномиального распределения, У с п е ­

х и матем. наук, V I I I , 3 (1953), 1 3 5 - 1 4 2 .
£2] В . М . Калинин, О . В . Шалаевский, Исследования по классическим проблемам тес-
рии вероятностей и математической статистики, I I , Записки научн. семинаров
Л О М И , 26 (1972).

A S Y M P T O T I C B E H A V I O U R OF A M U L T I N O M I A L D I S T R I B U T I O N

JV. К. AUENBAEV (ALMA-ATA)

(Summary)

L e t P ( « ! , . . ., m ) be the probability of a multinomial distribution and П , П

n k х 2

and П be multidimensional distributions: Poisson, Gaussian and a combination of them

3

respectively. A s y m p t o t i c estimates for the sums

2
mi+...+m =n
P
l „- il n
С = 1.2,3)
fc

are obtained.

П Р Е Д Е Л Ь Н А Я ТЕОРЕМА Д Л Я ОДНОЙ ВЕРОЯТНОСТНОЙ

МОДЕЛИ КОРРОЗИИ

. В. П. носко

1. Описание модели. П у с т ь П = {(х, у, z): 0 < z < 6 } — бесконечный плоский

л и с т толщины б > 0 с основаниями П = {(х, у, z) : z = 0 } и П = {(х, у, z) : z = б } .
г 2

Предположим, что на П и П 1 заданы случайные точечные множества S и S ,

а 2 x 2

1 2
порождающие независимые однородные пуассоновские потоки гр ( А ^ ' ) и т) ( Д ^ ' ) 2

с конечными интенсивностями Х > 0 и Я > 0 соответственно (см., например, [ 1 ] ) .

г 2

Здесь — борелевские множества в П , g = 1, 2. Заметим, что с вероятностью 1

а

множество точек в S и S% счетно, так что их можно перенумеровать. Предположим, что

x

жаждая точка 0\® е S является центром сферы, вырезающей в листе П полусфери-

п

? q
ческое у г л у б л е н и е ( « л у н к у » ) L | ' радиуса R[ \ g = 1, 2. П р и этом не исключено, что
9
две л у н к и и l / . \ i ф / , могут быть вложены одна в д р у г у ю . Символом p r [G] б у ­ g

дем обозначать ортогональную проекцию множества G С П на плоскость Пд, 0 = 1 , 2 .

Е с л и оФдФ —Ътрезок, соединяющий точки Of> <=> S и Of е= S , йц = prj. [О^О^] и t
1
2

*P +Rf<Y&+dl, (1)
то соответствующие л у н к и ЬУ и 1,Ф не пересекаются. В этом случае будем писать:
2 ) 2 )
L ! p || Х - . В противном случае л у н к и £ Ф и L j пересекаются; будем обозначать это
y
так: Lf ^ Lf>.