CC BY
18
2016 ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА Сер. 1. Том 3(61). Вып. 4
МАТЕМАТИКА
УДК 519.2
НЕКОТОРЫЕ ОБОБЩЕНИЯ ЗАДАЧИ О «ПАРКОВКЕ»
С. М. Ананьевский
Санкт-Петербургский государственный университет,
Российская Федерация, 199034, Санкт-Петербург, Университетская наб., 7—9
В известной задаче о «парковке» венгерского математика Реньи, изучается асимптотика математического ожидания числа открытых единичных интервалов, случайным образом заполняющих отрезок большой длины. При этом длина заполняемого отрезка неограниченно возрастает.
В настоящей работе рассматриваются обобщения данной задачи в двух направлениях. Первое направление — это случай, когда длина размещаемых интервалов имеет случайный характер. В отличие от оригинальной постановки задачи, в работе изучается как поведение математического ожидания числа размещенных интервалов, так и поведение математического ожидания меры заполненной части большого отрезка. Второе направление относится к случаю, когда распределение местоположения размещаемых интервалов единичной длины отлично от равномерного, что предполагается в классической задаче о «парковке». Библиогр. 5 назв.
Ключевые слова: случайное заполнение, задача о «парковке», асимптотика математического ожидания.
Введение. Задача случайного заполнения отрезка интервалами (первоначальное название — задача о «парковке») впервые была рассмотрена А. Реньи [1]. В задаче рассматривается следующий процесс. На улице длины х случайным образом располагается автомобиль длины 1. Если х < 1, процесс парковки заканчивается, если же х > 1, первый автомобиль занимает место + 1), разбивая улицу на два свободных участка [0,Ь] и [Ь +1, х]. Случайная величина Ь имеет равномерный закон распределения на отрезке [0, х — 1]. После постановки первого автомобиля образовавшиеся свободные участки [0, Ь] и [Ь +1, х] заполняются по тому же правилу независимо друг от друга. Общее число расположившихся автомобилей после окончания процесса заполнения улицы обозначим через Ых. Реньи показал [1], что математическое ожидание числа разместившихся автомобилей удовлетворяет соотношению
ЕМх = Ах + Л — 1 + 0(х-п) (х ^то) (1)
при любом п > 1.
(¡5 Санкт-Петербургский государственный университет, 2016 БОТ: 10.21638/11701/зрЪи01.2016.401
При этом им была вычислена константа
ехр {-2 [ ---—дм 0.748.
Позднее, в работах П.Нея [2], Дворецкого и Роббинса [3], изучались моменты более старших порядков величины Ых.
В данной работе рассматриваются обобщения классической задачи о «парковке» в двух направлениях.
(I) Рассматривается задача о «парковке», когда длина размещаемых автомобилей является случайной величиной (в настоящее время существует довольно большое разнообразие автомобилей по длине), при этом закон размещения равномерный. Такой постановке задачи можно придать следующую интерпретацию: на линейном носителе записывается приходящая информация, каждый кусок которой занимает случайное место и имеет случайную длину.
(II) Рассматривается задача о «парковке», когда размещаемые автомобили по-прежнему имеют единичную длину, а закон их случайного расположения отличен от равномерного.
Л
и
Основные результаты. Рассмотрим эти два направления.
(I) На отрезок [0, х] случайным образом будем размещать интервалы длины I, где I является случайной величиной. Будем предполагать, что существуют такие числа а и Ь (0 < а < Ь < ж), что Р(а < I < Ь) = 1. Если длина первого интервала I больше х, то процесс размещения на этом отрезке заканчивается, если же длина первого интервала I меньше или равна х, то на отрезке [0, х — I] выбираем точку Ь, где Ь — случайная величина с равномерным законом распределения на [0,х — I], и размещаемый интервал занимает место + I). Свободными для дальнейшего заполнения будут отрезки [0, Ь] и [Ь +1, х], которые заполняются по такому же правилу независимо друг от друга.
Поскольку Р(I > а > 0) = 1, процесс заполнения обязательно закончится. Нас будут интересовать две величины: Ых — число разместившихся интервалов на отрезке [0, х] и Мх — мера заполненного множества на том же отрезке. Заметим, что в случае Р(I = 1) = 1 эти величины совпадают. В работе будем интересоваться математическими ожиданиями ЕЫх и ЕМх, а именно их асимптотическим поведением при неограниченном увеличении отрезка [0, х]. В частности, нам важно получить значения констант в асимптотике. Отметим, что случай двухточечного распределения случайной длины размещаемых интервалов рассмотрен в работах [4] и [5].
Теорема 1. Для описанного выше процесса заполнения справедливы соотношения
ЕНХ = ХЕ^х + \-\ + о[{^Х 2^ (ж->оо), (2)
ЕМХ = Хх + ХЕ1 - Е1 + О ^ (ж->оо), (3)
где с — некоторая константа, зависящая от Е1, а Л — константа Реньи, присутствующая в (1).
(II) Рассмотрим несколько задач, связанных со случайным заполнением отрезка большой длины единичными интервалами в случаях, когда закон расположения интервалов отличен от равномерного.
Общая постановка задачи следующая. На отрезок [0,x], если x > 1, в соответствии с законом распределения Fx помещаем интервал длины 1, который занимает место (t,t + 1). Этот интервал разбивает отрезок на 2 части [0,t] и [t + 1,x], которые в дальнейшем заполняются независимо друг от друга согласно законам Ft и Fx-t-i соответственно. Если же x < 1, процесс заполнения будет закончен. Как и прежде, Nx будет обозначать общее число разместившихся интервалов на отрезке [0,х]. Мы, в частности, будем интересоваться существованием величины
enx
lim -
¡с^ж х
и, в случае существования, ее значением. Следует отметить, что данный предел не всегда существует, что показывает пример с законом распределения Fx, при котором размещаемый интервал всегда располагается в середине отрезка. В этом случае существуют
r ENx 1 , ENx lim ml-= - и lim sup-= 1.
xx 2 x^ж x
(IIa) Рассмотрим следующую задачу. Введем семейство функций {px}(x > 0), являющихся плотностями вероятностных распределений, удовлетворяющих условиям
Pi(t)+ Pi(1 - t) = 2 при t e [0,1] и pi(t) = 0 при t £ [0,1].
Положим
Px(t) = -pi ( - ) при ж > 0 и ро(0) = 1. xx
Далее на отрезок [0,x + 1] поместим интервал (t,t + 1), где t — случайная величина,
имеющая плотность распределения px, удовлетворяющую равенствам
2
рх(и) + рх(х — и) = — при и G [0, х] и рх{и) = 0 при и£[0, ж].
x
Таким образом, закон распределения Fx+i будет иметь плотность px. Этот случай включает в себя все ситуации, когда плотность px является линейной функцией на отрезке [0, x] и, в частности, классическую постановку задачи, рассмотренную Реньи. Заметим, что в качестве функции px можно выбрать любую функцию, удовлетворяющую введенным условиям, график которой центрально-симметричен относительно точки (0; 1/x).
Теорема 2. При сделанных предположениях на закон распределения Fx выполняется равенство
ENX = Хх + Х - 1 + 0 (х —у оо), (4)
где X — константа из (1).
(IIb) В следующей задаче закон распределения Fx будет иметь плотность распределения
qx(u) = --^—— для и е[е,х - 1-е] и qx = 0 для и £[е,х - 1-е]
(x — 1 — 2е)
при некотором фиксированном е > 0.
На языке задачи о «парковке» это означает, что автомобили располагаются на расстоянии друг от друга не ближе, чем е.
Теорема 3. В вышеописанном случае для любого п > 1 справедливо соотношение
= + (х —оо). (5)
1 + е 1 + е
Здесь, так же как и раньше, Л — константа из (1). Доказательство основных результатов
Доказательство теоремы 1. Докажем вначале соотношение (2). Пусть первым появился интервал длины I и его левый конец находится в точке Ь. Обозначив через Кх+1 | I, Ь число разместившихся интервалов на отрезке [0, х+1] при условии, что первый интервал имеет длину I и занимает место +¡), можем составить равенство
Мх+1 I ¡,Ь = N | I + Кх-г | I.
Тогда будем иметь
x x
ENx+l | l = - [ ENt \ldt+- [ ENx-t | Idt + 1, x J x J
0 0
где Nx | l обозначает число разместившихся интервалов на отрезке [0, x] при условии, что длина первого интервала равна l. Введем обозначение n(x) = ENx | l и получим равенство
x x x
nix + /) = - / nit)dt + - nix - t)dt + 1 = - / nit)dt + 1. x x x
0 0 0
Функция n(x) удовлетворяет следующим условиям:
n(x) = 0 при 0 < x < l и n(l) = 1; (6)
x
n(x + I) = - f n(t)dt + 1. (7)
x
0
Введем новую функцию v(x) = n(lx) + 1, для которой равенство (7) перепишется в виде
x
v{x + 1) = - [ v(t)dt, (8)
x
0
а начальные условия (6) примут вид
v(x) = 1 при 0 < x < 1 и v(1) = 2. (9)
Для дальнейшего доказательства воспользуемся результатом, являющимся частным случаем теоремы 1 из [3], который сформулируем в виде леммы.
Лемма. Пусть функция / (х) определена для всех х > 0 следующим образом:
/(х) = 1 при 0 < х < 1 и /(1) = 2; (10)
X
/(ж + 1) = - I /(Шг для ж > 0. (И)
х
о
Тогда будет выполняться равенство
f(x) = \x + \-l + 0^-y (ж->оо),
(12)
где с — любая константа, удовлетворяющая неравенству с > 2е, а А — константа из (1).
Продолжая доказательство теоремы, замечаем, что для функции V(х) выполнены условия леммы, следовательно, будем иметь
v(x) = Аж + А + О ) (ж —у оо).
Отсюда следует
п(ж) = Ауж + А - 1 + О ^ j (ж —у оо),
учитывая P(a < l < b) = 1 и ENx = E(ENx | l) = En(x), получаем утверждение (2). Далее покажем справедливость утверждения (3).
Введем обозначение Mx | l,t — лебегова мера занятой части отрезка [0, x] по окончании процесса заполнения при условии, что первый размещаемый интервал имел длину l и занимал место (t,t + l). Тогда справедливо равенство
Mx+i I l,t = Mt I l + Mx-t 11 + l,
из которого следует
EMx+l \ I = — f EMt \ldt+— [ EMx-t | Idt + I. x J x J
0 0
Введя обозначение m(x) = EMx | l, получим для функции m(x) равенство
x x x
mix + /) = — / m(t)dt H--/ mix — t)dt + 1 = — / m(t)dt + I
x x x
0 0 0
с начальными условиями
m(x) = 0 при 0 < x < l и m(l) = l.
Далее введем в рассмотрение функцию /х(ж) = |то(7ж) + 1, удовлетворяющую равенствам
ц(х) = 1 при 0 < x < 1, yU,(1) = 2 Вестник СПбГУ. Сер.1. Математика. Механика. Астрономия. Т. 3(61). 2016. Вып. 4 529
х
2 [
/х(ж + 1) = — / /лШЛ, х
х
о
которые совпадают с равенствами (10) и (11). Применяя лемму к функции ц, получаем з
/х(ж) = Хх + А + О ^ (ж —>• оо).
Выражая функцию т(х) через ¡(х) и вычисляя математическое ожидание, имеем
ЕМХ = Хх + ХЕ1 - Е1 + О ^ (ж->оо),
что совпадает с (3).
Доказательство теоремы 2. Пусть Ых | Ь обозначает число разместившихся интервалов единичной длины на отрезке [0, х] при условии, что левый конец первого интервала находится в точке Ь. Тогда верно равенство
Кх+1 | Ь = N + Кх-г + 1.
Обозначив через п(х) математическое ожидание общего количества разместившихся интервалов на отрезке [0,х], можем написать
г(х + 1) = ЕКх+1 = ЕЕ(Кх+1 | Ь) = ^ п(Ь)рх(Ь)& + ^ п(х — Ь)рх(Ь)& + 1 =
оо
х х
= I п(г)(рх(г) + рх( я-*))сй + 1 = ! ! п{ь)<й + 1.
Применяя обозначение V(х) = п(х) + 1 и проверяя начальные условия, получаем
х
2
2
(ж + 1) = — / 1/ШсИ при ж > 0,
х
о
а также
V(х) = 1 для 0 < х < 1 и V(1) = 2. Это полностью совпадает с условиями (10) и (11) леммы и позволяет заключить
г/(ж) = Аж + А + О ^ (ж —оо).
Окончательно получаем
п(ж) = Аж + А - 1 + О ^ (ж-»оо).
Доказательство теоремы 3. Пусть, как и прежде, Ых | Ь обозначает число разместившихся интервалов единичной длины на отрезке [0, х] при условии, что левый конец первого интервала при последовательном размещении находится в точке Ь;
и
х
х
п(х) — математическое ожидание общего количества разместившихся интервалов на отрезке [0, х], то есть п(х) = ЕЖХ. Тогда будем иметь
N,+1 I Ь = N + Ях-г + 1 и, следовательно, выполняется
п(х+ 1) = ЕЕШх+1 I £) = —!— [ п(г)Л-\--[ п(х-г)Л+1 = —^— [ п(г)Л+1.
х — 2е у х — 2е у х — 2е ]
ее е
Вводим новое обозначение у>(х) = п((1 + е)х + е) + 1. Тогда для функции у>(х) будет справедливо равенство
х
2
2 f
<р(х + 1) = — / ip(t)dt для ж > 0, ж J
о
причем у>(х) = 1 при 0 < х < 1 и у>(1) = 2.
Применяя лемму к функции у, получаем равенство
^(ж) = Лж + Л-1 + ^ (ж-^оо),
из которого следует утверждение теоремы 3:
Х — Е
при любом n > 1.
Заключение. В работе рассмотрено несколько задач, которые являются обобщениями задачи случайного заполнения интервалами отрезка большой длины. Удалось получить новые результаты об асимптотике математического ожидания количества размещенных интервалов и асимптотике математического ожидания меры заполненной части отрезка в случае, когда длина размещаемого интервала является случайной величиной. При этом закон распределения расположения размещаемых интервалов, как и в классической задаче, предполагался равномерным. В этом случае получены точные значения констант в асимптотических выражениях и выявлена их зависимость от закона распределения длины размещаемых интервалов.
Рассмотрено обобщение классической задачи для случая, когда закон распределения расположения размещаемых интервалов единичной длины отличен от равномерного. В этом случае также получены новые результаты об асимптотике математического ожидания количества размещенных интервалов. Кроме того, в этом направлении обобщения классической задачи показано, что для одного достаточно широкого класса распределений положения размещаемых интервалов асимптотика математического ожидания числа поместившихся интервалов такая же, как и в задаче Реньи.
Литература
1. Renji A. On a one-dimensional problem concerning space-filling // Publ. of the Math. Inst. of Hungarian Acad. of Sciences. Vol. 3. 1958. P. 109-127.
2. Ney P. E. A random interval filling problem // Annals of Math. Statist. Vol.33. 1962. P. 702-718.
3. Dvoretzky A., Robbins H. On the «parking» problem // Publ. of the Math. Inst. of Hungarian Acad. of Sciences. Vol. 9. 1964. P. 209-226.
4. Ananjevskii S. M. The «parking» problem for segments of different length // Journal of Mathematical Sciences. 1999. Vol. 93. P. 259-264.
5. Ананьевский С. М, Шульгина Е. А. О мере заполненной части отрезка в задаче «парковки» // Вестн. С.-Петерб. ун-та. Сер. 1. Математика. Механика. Астрономия. 2013. Вып. 4. С. 3-12.
Статья поступила в редакцию 21 февраля 2016 г. Сведения об авторе
Ананьевский Сергей Михайлович — кандидат физико-математических наук, доцент; st003603@spbu.ru
SOME GENERALIZATIONS OF "PARKING" PROBLEM
Sergey M. Ananjevskii
St. Petersburg State University, Universitetskaya nab., 7-9, St. Petersburg, 199034, Russian Federation; st003603@spbu.ru
In the original Renyi statement of the "parking' problem open intervals of unit length fill a segment of large size. The asymptotic behaviour of the mean of the number of placed intervals is studied.
We study two generalizations of "parking' problem. The first generalization is the case where the length of placed intervals is a random value. In this case both the asymptotic behaviour of the mean of the number of placed intervals and the asymptotic behaviour of the mean of the measure of occupied part of large segment are studied. The second generalization is the case where a random position of unit interval is a random variable with not uniform distribution. Two different problems are studied in the second generalization. Refs 5.
Keywords: random filling, "parking" problem, asymptotic behaviour of the mean.
References
1. Renji A., "On a one-dimensional problem concerning space-filling', Publ. of the Math. Inst. of Hungarian Acad. of Sciences 3, 109-127 (1958).
2. Ney P. E., "A random interval filling problem", Annals of Math. Statist. 33, 702-718 (1962).
3. Dvoretzky A., Robbins H., "On the "parking' problem", Publ. of the Math. Inst. of Hungarian Acad. of Sciences 9, 209-226 (1964).
4. Ananjevskii S. M., "The "parking' problem for segments of different length", Journal of Mathematical Sciences 93, 259-264 (1999).
5. Ananjevskii S. M., Shulgina E. A., "On the measure of the occupied part of a segment in the "parking" problem", Vestnik of Saint Petersburg University. Series 1. Mathematics. Mechanics. Astronomy, Issue 4, 3-12 (2013) [in Russian].
Для цитирования: Ананьевский С. М. Некоторые обобщения задачи о «парковке» // Вестник Санкт-Петербургского университета. Серия 1. Математика. Механика. Астрономия. 2016. Т. 3(61). Вып. 4. С. 525-532. DOI: 10.21638/11701/spbu01.2016.401
For citation: Ananjevskii S. M. Some generalizations of "parking' problem. Vestnik of Saint Petersburg University. Series 1. Mathematics. Mechanics. Astronomy, 2016, vol. 3(61), issue 4, pp. 525532. DOI: 10.21638/11701/spbu01.2016.401
