2019 ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА Т. 6 (64). Вып. 3
МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ
МАТЕМАТИКА
УДК 519.2 МБС 60Е99
Об асимптотической нормальности в одном обобщении задачи Реньи*
С. М. Ананьевский, Н. А. Крюков
Санкт-Петербургский государственный университет,
Российская Федерация, 199034, Санкт-Петербург, Университетская наб., 7—9
Для цитирования: Ананьевский С. М., Крюков Н. А. Об асимптотической нормальности в одном обобщении задачи Реньи // Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия. 2019. Т. 6(64). Вып. 3. С. 353-362. https://doi.org/10.21638/11701/spbu01.2019.301
В представленной работе рассматривается одно обобщение известной задачи случайного заполнения отрезка большой длины единичными интервалами. На отрезок [0,х], если х > 1, в соответствии с законом распределения помещается открытый интервал единичной длины, где — это распределение левого конца единичного интервала, которое сосредоточено на отрезке [0, х — 1]. Первый размещаемый интервал занимает место (4,4 +1) и разбивает отрезок [0, х] на две части [0, 4] и [4 + 1, х], которые в дальнейшем заполняются независимо друг от друга согласно следующим правилам. На отрезке [0,4] случайным образом выбирается точка ¿1, распределенная в соответствии с законом и размещается интервал (¿1,41 + 1), а на отрезке [4 + 1,х] случайным образом выбирается точка = 4 + 1 + и, где и — случайная величина, распределенная по закону и размещается интервал (42,42 + 1). Таким же образом далее за-
полняются вновь образованные отрезки. Если х < 1, то процесс заполнения считается законченным и на отрезок [0, х] единичный интервал не размещается. В конце процесса заполнения на отрезке [0, х] будут располагаться единичные интервалы так, что расстояния между соседними интервалами будут меньше единицы. В данной статье в качестве _Рх рассматриваются законы распределения, имеющие плотности распределения, графики которых обладают свойством центральной симметрии относительно точки (х — 1/2,1/х — 1). В этот класс распределений входит, в частности, и равномерное распределение на отрезке [0, х — 1], согласно которому проблема случайного заполнения была исследована раньше другими авторами. В работе получено асимптотическое описание поведения центральных моментов и доказана асимптотическая нормальность случайной величины Жх, где N — общее количество разместившихся
* Работа выполнена при финансовой поддержке РФФИ (грант №18-01-00393).
(¡5 Санкт-Петербургский государственный университет, 2019
единичных интервалов на отрезке [0, х]. Кроме того, в работе доказано, что распределения случайных величин N одинаковы для всех законов распределения указанного класса.
Ключевые слова: случайное заполнение, асимптотическое поведение моментов, асимптотическая нормальность.
Введение. Впервые эта задача в частном случае, когда закон распределения Ех имеет равномерную плотность распределения на отрезке [0, х — 1], изучалась А. Ре-ньи [1]. Он интересовался асимптотическим поведением математического ожидания случайной величины Nx. Реньи показал, что математическое ожидание числа разместившихся единичных интервалов на отрезке [0, х] удовлетворяет соотношению
ЕМх = Ах + Л — 1 + 0(х-п) (х —^то) (1)
при любом п > 1.
При этом им была вычислена константа
г
А = е о " ¿г « 0.748. (2)
В дальнейшем Дворецкий и Роббинс [2] продолжили изучение свойств распределения случайной величины Nx с равномерным законом распределения размещаемых интервалов. Они получили уточнение поведения математического ожидания этой случайной величины, изучили асимптотику центральных моментов старших порядков, а также привели доказательство асимптотической нормальности
В работе [3] было предложено изучать обобщение задачи Реньи в следующей постановке. На отрезок [0, х + 1] помещаем интервал (г, г + 1), где г — случайная величина, имеющая плотность распределения рх, удовлетворяющая равенствам
2
рх(и) + рх(х — и) = — при [ 0, ж] и РхЫ) = 0 при 0, ж]. (3)
х
Отметим, что такая постановка задачи включает в себя все ситуации, когда плотность рх является, в частности, линейной функцией на отрезке [0, х]. Классическая задача, рассмотренная в работах Реньи [1] и Дворецкого и Роббинса [2] подпадает под это описание и является частным случаем такой постановки задачи.
В работе [3] было доказано, что при сделанных предположениях (3) на закон распределения Ех выполняется равенство
£ЛГж = Аж + А-1 + 0^^ ^ (х —у оо), (4)
где А — константа из (2).
Отметим, что эта же асимптотика для математического ожидания случайной величины Nx в случае, когда рх(и) — плотность равномерного закона распределения на отрезке [0, х], была получена Дворецким и Роббинсом [2]. В работах [4-8] изучались иные, в том числе более общие постановки задачи. В работах [4-7] рассматривались задачи, когда размещаемые интервалы могли, в свою очередь, иметь случайную длину. В работе [8] предложена дискретная модель заполнения отрезка.
В этой работе мы продолжаем исследования свойств распределения случайной величины Ых, когда закон размещения интервалов отличается от равномерного, начатые в работе [3].
Статья состоит из двух частей. В первой части изучено асимптотическое поведение центральных моментов случайной величины Nx при х ^ то и доказана ее асимптотическая нормальность. Во второй части работы мы доказываем, что для всех рх(и), удовлетворяющих условию (3), распределение случайной величины N одинаково.
1. Центральные моменты и асимптотическая нормальность случайной величины Докажем, что поведение моментов случайной величины N одинаковое для всех законов распределения Ех, удовлетворяющих свойству (3).
Справедливы следующие теоремы.
Теорема 1. Существует положительная константа Л2 такая, что
Е(МХ-ЕМХ)2 = Х2х + Х2 + о((^\ ) (х-юо). (5)
Теорема 2. Для любого натурального к и любого положительного е
Е {Кх - ЕКх)к = скх^ + о (х^-^ (х —у оо), (6)
где ей — некоторые положительные константы и
с2й — ^г., , Л2-
Теорема 3. Случайные величины
Мх- ЕМХ
£ *
у/Е(МХ-ЕМХ)2
асимптотически нормальны при х ^ то.
Замечание. Здесь следует особо отметить, что формулировки этих теорем не отличаются от формулировок теорем, приведенных и доказанных Дворецким и Роб-бинсом в работе [2] для случая, когда Ех — равномерный закон распределения. В нашем случае Ех — произвольное распределение, удовлетворяющее условиям (3).
Доказательство теорем. Пусть далее Рх — распределение с плотностьюрх(Ь), удовлетворяющей условиям (3). Покажем, что справедлива следующая лемма.
Лемма. Для любых измеримых функций у и ф верно равенство
х
У (ф)ф(х - г) + ф - г)ф{г)) ¿Рх(г) = ^ ^ (Ф)Ф(х -г) + ф - г)ф{г)) Л. (7)
0 0 Вестник СПбГУ. Математика. Механика. Астрономия. 2019. Т. 6(64). Вып. 3 355
х
Доказательство леммы. Введем функцию /(г) = у(г)^(х — г). Заметим, что для любой измеримой и интегрируемой на [0, х] функции $(г) выполнено равенство
/• х 2 с х
/ (д(г)+д(х-г))<1Рх(г) = -
ио х и 0
2 гХ
х0
Следовательно,
х
I (ф)ф(х-ь)+ф-$фю)с1рхю = I (т+/(х~ь))с1Рх(ь) = 11 та.
о 0 0
Продолжая, далее получаем
х х х х
- / /(г)л = - / /(г)л + - / /(ж - ¿)сй = - [ (<р(ь)Ф(х -г) + ср(х - г)ф(г)) л,
х х х х
что доказывает лемму.
Далее, положим Ь(х) = Ах + А — 1, где А — константа из (2). Введем последовательность функций у>&(х) = Е (Жх — Ь(х ))к, к = 1, 2,... , и уо(х) = 1.
Пусть Nx/г обозначает количество разместившихся единичных интервалов на отрезке [0, х] при условии, что первый интервал занял место (г, г + 1). Также пх будет обозначать случайную величину, обладающую плотностью рх(г). Тогда
х+1 — мх + 1))к /Пх
^к(х + 1) = Е (Е (^+1 — Ь(х + 1))к /пх)
= E ((^ — Ь(пх)) + — Дх — пх)))' =
х к
= ^¿(г)^к-г(х — г)рх(г)йг = ^с' / (х — г)рх(г)^г
о 4=0 4=0 о
к х
1к
= С к / (<Рг(£)<Рк-г(х - г) + <рк-г(£)<Рг(х ~ Рх(£)Л =
2
к х
к1
00
Последнее равенство следует из леммы. Таким образом, верно равенство
^к(х + 1) = ^2с1- [ ФМфь-^Х (8)
¿=о х о
Также заметим, что при 0 < х < 1
^к (х) = Е (Nx — Ь(х))к = (1 — А — Ах)к (9)
и при х = 1
^(1) = Е (N1 — Ь(1))к = (2 — 2А)к . (10)
х
х
х
Здесь мы можем сказать, что для всех k > 0 функции ^ (x) совпадают при x G (0,1] для разных p(x), удовлетворяющих (3), и, в частности, совпадают со случаем, когда р(х) = ^ при 0 < х < 1 и р(х) = 0 при х ф (0,1), то есть со случаем, рассматриваемым в работе [2].
Равенство (8) однозначно определяет функции ^ (x) для любых k > 0. Кроме того, справедливы следующие соотношения:
k
E (N - ENx)k = E ((Nx - L(x)) - ^(x))k = ]T Ck^i(x)(-^1(x))k-i. (11)
¿=0
Значит, центральные моменты случайных величин Nx однозначно определяются функциями y>k(x), и они точно такие же как и для классического случая, когда
р(х) = — при 0 < х < 1 и р(х) = 0 при х Ф (0,1).
x
Следовательно, для них выполнены теоремы 1 и 2.
Для того чтобы показать, что из теоремы 2 следует теорема 3 воспользуемся результатом, который можно найти в [9, стр. 390], и формулировку которого приведем здесь.
Теорема о слабой сходимости. Пусть 'распределение случайной величины X однозначно определяется ее моментами и случайные величины Xn имеют моменты любого порядка. Пусть
lim ЕХП = EXk, k = 1, 2,... Тогда Xn слабо сходятся к X.
Рассмотрим моменты порядка k случайных величин Zx.
Из теорем 1 и 2 следует, что
Г' [ "2" ] -I- П ( -Т-[ 2"] £
CfcX1 2) О ( х1?>
lim EZX =----—— = 0, если к — нечетное,
Л л 4\\2
(2k)!
Cfcxb ] о ( ж[ 2 ] 1 1
2kk!
если k — четное.
Для окончания доказательства теоремы 3 достаточно применить приведенную теорему о слабой сходимости.
2. Одинаковая распределенность. Покажем, что распределения случайных величин Nx одинаковы для всех законов распределения ^Х, которые удовлетворяют условию (3).
и
lim EZx
Пусть ni(t) и П2 (t) — две случайные величины, имеющие плотности распределения pi,t и p2,t, соответственно, и удовлетворяющие условию
2
—ад) = — при и (Е [0,4] и ^¿(м) = 0 при и ^ [0,4], г = 1,2.
г (12) Введем два семейства случайных величин £1(г) и £2(г), которые определяются равенствами
£1 (г + 1) = 1 + аЫг))+ а (г — п1(г)), а(г) = 0 при 0 < г< 1 и £1 (1) = 1,
(13)
£2(г + 1) = 1 + £2(п2(г))+ £2(г — Ыг)), £2(г) = 0 при 0 < г< 1 и £2(1) = 1,
^ (14)
где £;1(х) при х € [0,г] обозначает случайную величину, одинаково распределенную со случайной величиной £1(х) и независимую с £1(5) для всех в € [0,г], а £2(х) обозначает случайную величину, одинаково распределенную со случайной величиной £2 (х) и независимую с £2(5) для всех в € [0,г].
Теорема 4. При любом г > 0 'распределения случайных величин £1(г) и £2(г) совпадают, т. е.
£1(г) = £2 (г).
Следствие из теоремы 4. Пусть п1(х) и п2(х) — случайные величины, имеющие плотности распределения р1(и) и р2(и), которые удовлетворяют условию (3). Через N обозначим количество разместившихся единичных интервалов на отрезке [0, х], когда случайное размещение интервала (г, г + 1) происходит в соответствии с плотностью р4(и), где г = 1, 2.
Тогда
N1 = N2
1' X 1УХ'
Доказательство теоремы 4. Пусть
n(t)=r/i(t) при r/i(t) < - и Ti(t) = t - r/i(t) при rji{t)>- для г = 1,2.
Покажем, что
Т1(t)== T2(i)== т (t),
(15)
где т(£) — случайная величина с равномерным распределением на отрезке [0, |]. Заметим, что
P Ki(t) е
»4
P Т2(t) е
»4
1.
Пусть [а, Ъ] С [0, . Тогда вероятность того, что случайная величина т.Д4) принимает значения из [а, 6), равна
Р (т<(4) е [а, 6]) = Р (щ е [а, 6]) + Р (п е [4 - 6, 4 - а])
Ь Ь—а Ь Ь—а
Jpilt(u)du+ ! pilt(u)du = Jpilt(u)du + ! 0 ~ м)^ Ли
Ь — Ь а Ь — Ь
Ь
! (тч,г{и) + ^ -РгЛи)^ = = Р(т £ [а, 6)).
Это и означает справедливость (15).
Далее, определим при 4 > 0 семейство случайных величин £(4) следующими равенствами:
е(4) = о при 4< 1, е(1) = 1,
£(4 + 1) = 1+е(т(4)) + £> - т(4)), ( )
где £ (ж) при х е [0,4] обозначает случайную величину одинаково распределенную со случайной величиной £(ж) и независимую с £(в) для всех в е [0,4].
Докажем, что £1(4) = £(4) для любого 4 > 0. Доказательство будем проводить по индукции. Для 0 <4 < 1 равенство верно.
Предположим, что оно выполняется для всех 4 < т. Докажем, что оно в этом случае выполняется и для 4 < т + 1. Не умаляя общности можно считать, что 4 > 0. Тогда
£1(4 +1) = 1 + £1(т(4)) + £1 (4 - П1(4)), £(4 +1) = 1+ £(т(4))+ £ (4 - т(4)). Докажем справедливость равенства
£1 (П1(4)) + £1(4 - П1(4)) = £(т1 (4)) + £(4 - Т1 (4 - т(4)). (17)
Заметим, что при 771(4) < | выполняется равенство г/х(4) = тх(4) и равенство (17) очевидно.
Если же ?71(4) > то
П1 (4) + Т1(4) = 4,
и в этом случае получаем
£1(П1 (4)) + £1(4 - П1 (4)) = £1(4 - Т1 (4)) + £1 (т1 (4)) = £1(т1(4)) + £1(4 - Т1 (4)). Остается принять во внимание (15). Тогда
£1(П1(4)) + £1(4 - П1(4)) = £1(т(4)) + £1 (4 - т(4)) для всех 0 < 4 < т.
Учитывая индукционное предположение, делаем заключение, что
& (ni(t))+a(t - ni(t)) = е(т (t)) + e(t - т (t))
для всех 0 < t < m.
Принимая во внимание определения (13) и (16) семейств случайных величин (t) и £(t), приходим к равенству
(t) = C(t) при всех t < m + 1.
Это верно для любого натурального m. Отсюда следует утверждение теоремы 4.
Доказательство следствия из теоремы 4. Для случайных величин Nx+i/ni(x) справедливо равенство
Nx+i/ni(x) = Nni(x) + + 1,
где Nni(ж) и — независимые случайные величины (г = 1, 2). Из описания
процедуры заполнения отрезка [0, x + 1] следует равенство Nx+i/ni(x) = N.+i. Таким образом, выполняются равенства
N+i = ^^^(ж) + ^.-^^(ж) + 1 (г = 1, 2),
при этом N£ = 0, если 0 < x < 1, и N = 1 (г = 1, 2).
Это полностью удовлетворяет описанию случайных величин, данных в (13) и (14). Осталось сослаться на теорему 4. Тогда
Ni = N2
1 V X
что завершает доказательство следствия. Литература
1. Renyi A. On a one-dimensional problem concerning space-filling // Publ. of the Math. Inst. of Hungarian Acad. of Sciences. 1958. Vol.3. P. 109-127.
2. Dvoretzky A., Robbins H. On the "parking" problem // Publ. of the Math. Inst. of Hungarian Acad. of Sciences. 1964. Vol. 9. P. 209-226.
3. Ananjevskii S. M. Some Generalizations of Parking Problem // Vestnik St. Petersburg University: Mathematics. 2016. Vol.49. Issue 4. P.299-304. https://doi.org/10.3103/S1063454116040026
4. Ney P. E. A random interval filling problem // Annals of Math. Statist. 1962. Vol. 33. P. 702-718.
5. Mannion D. Random packing of an interval // Adv. Appl. Prob. 1976. Vol.8. P. 477-501.
6. Ananjevskii S. M. The "parking" problem for segments of different length // Journal of Mathematical Sciences. 1999. Vol.93. P. 259-264. https://doi.org/10.1007/BF02364808
7. Ананьевский С. М., Шульгина Е. А. О мере заполненной части отрезка в задаче «парковки» // Вестн. С.-Петерб. ун-та. Серия 1. Математика. Механика. Астрономия. 2013. Вып. 4. С. 3-12.
8. Ananjevskii S.M., Kryukov N. A. The Problem of Selfish Parking // Vestnik St. Petersburg University, Mathematics. 2018. Vol.51. Issue 4. P.322-326. https://doi.org/10.3103/S1063454118040039
9. Billingsley P. Probability and Measure. In: Wiley series in probability and mathematical statistics. Third Edition. New York: John Wiley Sons, 1985.
Статья поступила в редакцию 6 марта 2019 г.;
после доработки 17 марта 2019 г.; рекомендована в печать 21 марта 2019 г.
Контактная информация:
Ананьевский Сергей Михайлович — канд. физ.-мат. наук, доц.; ananjevskii@mail.ru Крюков Николай Алексеевич — аспирант; kryuknik@gmail.com
On asymptotic normality in one generalization of the Renyi problem*
S. M. Ananjevskii, N. A. Kryukov
St. Petersburg State University, Universitetskaya nab., 7—9, St. Petersburg, 199034, Russian Federation
For citation: Ananjevskii S. M., Kryukov N. A. On asymptotic normality in one generalization of the Renyi problem. Vestnik of Saint Petersburg University. Mathematics. Mechanics. Astronomy, 2019, vol. 6(64), issue 3, pp. 353-362. https://doi.org/10.21638/11701/spbu01.2019.301 (In Russian)
In this present paper we consider one generalization of the well-known problem of random filling a segment of large length with unit intervals. On the segment [0,x], if x > 1, in accordance with the distribution law Fx we will place an open interval of unit length. Fx is the distribution of the left end of the unit interval, which is concentrated on the segment [0, x — 1]. Let the first allocated interval take the place of (t,t + 1) and divide the segment [0,x] into two parts [0,t] and [t + 1,x], which are further filled independently of each other according to the following rules. On the segment [0, t] a point ii is selected randomly in accordance with the law Ft, and the interval (t1,t1 + 1) is placed. A point t2 is selected randomly in the segment [t + 1, x] such that u = t2 — t — 1 is a random variable distributed according to the law Fx_t_1, and we place the interval (t2,t2 + 1). In the same way then the newly formed segments are filled. If x < 1, then the filling process is considered complete and the unit interval is not placed on the segment [0, x]. At the end of the filling process, unit intervals will be located on the segment [0, x] so that the distances between adjacent intervals are less than one. In this article we consider distribution laws Fx having distribution densities such that their graphs have the property of central symmetry with respect to the point (x — 1/2,1/x — 1). This class of distributions includes, in particular, a uniform distribution on the segment [0,x — 1], according to which the problem of random filling was investigated earlier by other authors. Let Nx be the total number of single units placed on the segment [0,x]. We are interested in the properties of the distribution of this random variable. We obtain an asymptotic description of the behavior of central moments and prove the asymptotic normality of the random variable Nx. In addition, we establish that the distributions of the random variables Nx are the same for all the distribution laws of the specified class.
Keywords: random fill, the asymptotic behaviour of moments, asymptotic normality. References
1. Renyi A., "On a one-dimensional problem concerning space-filling', Publ. of the Math. Inst. of Hungarian Acad. of Sciences 3, 109—127 (1958).
2. Dvoretzky A., Robbins H., "On the "parking' problem", Publ. of the Math. Inst. of Hungarian Acad, of Sciences 9, 209-226 (1964).
3. Ananjevskii S. M., "Some Generalizations of Parking Problem", Vestnik St. Petersburg University: Mathematics 49, issue 4, 299-304 (2016). https://doi.org/10.3103/S1063454116040026
4. Ney P. E., "A random interval filling problem", Annals of Math. Statist. 33, 702-718 (1962).
5. Mannion D., "Random packing of an interval", Adv. Appl. Prob. 8, 477-501 (1976).
*The work is supported by Russian Foundation for Basic Research (grant N 18-01-00393).
6. Ananjevskii S. M., "The "parking' problem for segments of different length", Journal of Mathematical Sciences 93, 259-264 (1999). https://doi.org/10.1007/BF02364808
7. Ananjevskii S. M., Shulgina E. A., "On the measure of the occupied part of a segment in the parking "problem", Vestnik St. Petersburg University. Ser. 1. Mathematics. Mechanics. Astronomy, issue 4, 3-12 (2013). (In Russian)
8. Ananjevskii S. M., Kryukov N. A., "The problem of selfish parking", Vestnik St. Petersburg University: Mathematics 51, issue 4, 322-326 (2018). https://doi.org/10.3103/S1063454118040039
9. Billingsley P., Probability and Measure, in Wiley series in probability and mathematical statistics (Third Edition, John Wiley Sons, New York, 1985).
Received: March 6, 2019 Revised: March 17, 2019 Accepted: March 21, 2019
Author's information:
Sergey M. Ananjevskii — ananjevskii@mail.ru Nikolay A. Kryukov — kryuknik@gmail.com