Рассмотрим общий случай, когда для каждого узла
существует натуральное число и конечное множество индексов такое, что для всех , у которых для некоторого и для всех иного вида.Будем предполагать, что матрица
неприводима. Тогда уравнение трафикаимеет единственное с точностью до постоянного множителя положительное решение
. Рассмотрим марковский процесс на фазовом пространстве , заданный инфинитезимальными интенсивностямидля всех иных состояний
считаем, что . Процесс описывает изолированный узел в фиктивной окружающей среде, в которой на узел посылается стационарный пуассоновский поток с параметром , где – любое решение уравнения трафика (3.1.1). При этом узел предполагается имеющим ограниченную емкость . Это значит, что когда в нем находится заявок и поступает заявка, то она теряется. Уравнения равновесия для стационарных вероятностей марковского процесса, описывающего такой узел, имеют следующий вид:для
для
для
и длядля
Мы свяжем стационарное распределение
процесса со стационарными распределениями процессов и будем интересоваться достаточными условиями выполнения равенствагде
– нормирующая постоянная, зависящая от числа узлов в сети и от числа циркулирующих в ней заявок.В отличие от открытой сети, здесь удобнее пользоваться введенной в [36,37,42] концепцией ограниченной квазиобратимости. Как там показано, для замкнутых сетей ограниченная квазиобратимость дает более широкие достаточные условия для выполнения (3.1.9), чем квазиобратимость.
Лемма 1.1 [46, C.325]. Если для изолированного узла в фиктивной окружающей среде входящий поток является простейшим, то обратимость и ограниченная квазиобратимость эквивалентны.
Д о к а з а т.е. л ь с т в о. Для изолированного узла условие ограниченной
-квазиобратимости из [36,37,42] принимает вида условие обратимости – форму
и для
Достаточно показать, что при выполнении (3.1.2) – (3.1.8) из (3.1.10) следует (3.1.11). Пусть
при некотором фиксированном . Докажем, что тогда для всех выполняется (3.1.11). При соотношение (3.1.11) следует из (3.1.4) и соотношения (3.1.10) для состояний и . Предположим, что (3.1.11) выполняется для некоторого , т.е.Тогда из (3.1.5) с учетом (3.1.12) и (3.1.10) для состояний
и вытекает (3.1.11). Итак, (3.1.11) доказано с помощью индукции по . Лемма доказана.Лемма 1.2 [46, C.325]. Для ограниченной -квазиобратимости изолированного -го узла необходимо и достаточно выполнения условий
а) для
при некоторомб) для всех
где при не определенная ранее величина должна быть заменена на . Марковский процесс эргодичен, а его финальное стационарное распределение с точностью до постоянной нормировки определяется соотношениями
где при
последнее неравенство надо заменить на .Д о к а з а т.е. л ь с т в о. Рассмотрим случайное блуждание по точкам с целочисленными координатами прямоугольника
, задаваемое уравнениями (3.1.2) – (3.1.8). Равенство (3.1.13) есть циклическое условие Колмогорова (2.2.18) для четырехзвенных путей, проходящих через вершины элементарного квадрата и идущих из в по и против часовой стрелки. Равенство (3.1.14) есть условие Колмогорова для -звенных путей, проходящих через вершины прямоугольника и ведущих из в по и против часовой стрелки. Это доказывает необходимость условий (3.1.13) и (3.1.14) для обратимости, а значит (по лемме 3.1) ограниченной -квазиобратимости изолированного узла в фиктивной окружающей среде. Предположим, что (3.1.13), (3.1.14) выполнены. Любой замкнутый путь из в без самопересечений либо а) представляет собой некоторую однозвенную замкнутую дугу, либо б) проходит по границе некоторой фигуры, составленной из конечного числа примыкающих друг к другу элементарных квадратов и определенных выше - звенных прямоугольников. Для случая а) циклическое условие (2.2.18) выполняется автоматически. В случае б) перемножим равенства (3.1.13) для всех элементарных квадратов и равенства (3.1.14) для всех прямоугольников, из которых состоит упомянутая фигура. При этом интенсивности перехода для тех направленных дуг, которые не принадлежат границе фигуры, войдут множителями как в левую, так и в правую части. После сокращения на них получится циклическое условие (2.2.18) для путей, идущих по границе фигуры по и против часовой стрелки. Достаточность условий (3.1.13) и (3.1.14) доказана.