Работы по математической теории массового обслуживания - Хинчин А.Я.
Скачать (прямая ссылка):
<P{|J[**W”P*(0]*|>j7].
о
Отсюда, применяя неравенство Чебышева, находим в силу
(21.2)
г
Р{|А’*(7)-р4|>в}<^тм{[$[*,(0-Р*(0]л],} =
гг
= {SJ[хк(и) — Р*(И)] [хк (•V) — Р*(v)]dudv) =
о о
ГГ
[м {хк (и) хк (v)} — Р* (и) Р* (v)] du dv=*
Ф 0
JJ [М {xk (tt) хк (v)} — Р* (а) р* (г/)] du dv.
«<a<v<r
Так как величина xk(u)xk{v) может принимать лишь значения 1 и 0, то М {**(«)**(«)} = Р {**(«)xk(v) = 1} есть вероятность застать систему в состоянии k как в момент а, так и в момент v; поэтому при v~^>u
М {хк (и) хк (г»)} = Рй (и) Р** (г; — и), и мы находим
р{|л;т-р,|>.}<? JJ р*(«)[р»(«-я)-
о€в€гг<Г
— Р* (v)]dudv=
т
I р*(и) du 1IP** (ф—“)—р* («)]
о а
Т Г—в
= J Р**(*) — р* (*+«)] dz.
о о
Пусть теперь б^>0 произвольно мало и А настолько велико, что при z^>A
|Р/*(*) — Pkl<Y (0 <*<«)•
Тогда при z^>A, и^>0
|Р**(*) —
IР* (« + «) — Р* I = I ^ Р/ (0) Р<*(«+«)— Рк 1=
=IЕ Р* <°> Р»(* + «> - ft] I < 7 Е Р< (0) =4.
/ i
и следовательно,
|Р**(*) — P*(* + «)IO
Поэтому при Ту А
Р{|^(Г)-р,|>е}< т т
^ Фп Idu JI Р** ^ ~ Р*Idz <
О о
^р“{1^+1б^}<'Аг{лг+бг,}=|^+^-
Беря сначала д достаточно малым, выбирая затем А описанным выше образом и беря, наконец, Т достаточно большим, мы видим, что правая часть последнего неравенства сколь угодно мала при достаточно большом Т. Этим наша теорема доказана.
Глава 7
ЗАДАЧА ЭРЛАНГА ДЛЯ БЕСКОНЕЧНОГО ПУЧКА § 22. Уравнение для производящей функции
Если число линий в пучке бесконечно, то рассматриваемую установку нельзя уже причислять к «системам с потерями», так как потери становятся невозможными. Расчет вероятностей различных состояний сохраняет, однако, практическое значение и в этом случае, так как на практике встречаются такие положения, когда потери недопустимы и число линий должно быть достаточно большим для того, чтобы вероятность потери оказалась пренебрегаемо малой; в таких случаях вероятности различных состояний дают возможность оценить степень использования системы, что в свою очередь имеет значение для расчета быстроты износа и других экономических показателей.
Если в формулах Эрланга (20.3) перейти к пределу при п—юо, то мы получаем
можно поэтому предвидеть, что это пуассоновское распределение и даст нам вероятности различных состояний в случае бесконечного пучка. Однако метод, которым мы пришли к формулам (20.3), в случае бесконечного пучка оказывается неприменимым, так как теорема Маркова, на которой он основан, существенным образом предполагает число состояний конечным. Мы покажем, что случай бесконечного пучка может быть очень просто изучен методом производящих функций.
Те рассуждения, которые привели нас в § 20 к системе (<?*) уравнений Эрланга, сохраняются почти полностью и в случае бесконечного пучка. Различие состоит, очевидно, лишь в том, что группа уравнений системы (?), построенная
(k—0, 1, 2, ...);
нами в § 20 для 0<^А<^л, теперь имеет место для любого 0, последнее же из уравнений системы («^) отпадает совсем. Таким образом, мы получаем для вероятностей различных состояний в случае бесконечного пучка систему уравнений
Ро (0=—л.р0 (0 4- р, (f);
Р*Ю=ЬР*-,(0-(Ь + А)Р*(0-ЫА-Н)Р*+1(0 • tf*)
(А > 0). .
Эту систему можно считать более простой, чем система (tf), так как здесь для всех k 0 мы имеем уравнения одинакового типа; именно это обстоятельство и позволяет применить к решению системы (<?*) метод производящих функций (к системе (4>) он непосредственно применен быть не может). Положим
ф(*,*)=ЕР*<о**
[ряд, очевидно, сходится при |х|^1 и любом /]; положим еще для А]>0
bPk-At)-kPk(f) = Qk(f); тогда система уравнений (tf*) получает более краткий вид:
Р« (*)=-Q, (О; \
Pk(i) = Qk(t)-Qk+l(f) (ft>0). /
Отсюда
f=?P*(0**----------------<?.(0 +Е [<?*(*)-<?*+, (')]**=
к=0 k=i
=(*-1) S 0,(0**-' —
k ss 1
00
= (х-\){К2 p*_, (0 - § kPk(f) **-»} —
tsl *ssl
-.(Jf—1) {я,Ф — ^ ,
ИЛИ
?®_j_ (*_!)*?_\(X-|)фа0. (22.1)
Это простое уравнение с частными производными первого порядка и послужит нам для определения функции Ф (i, х). Прежде всего мы его еще несколько упростим преобразованием неизвестной функции. Положим
где F(t,x)—новая неизвестная функция. Мы будем иметь
уравнение (22.2) равносильно уравнению
D(F, L) А D (/, х) '
и значит, общим решением его служит соотношение Д (?) = /?[(*_ !)*-<],
