Study of the stability of the queueing network of Lu-Kumar-Bramson by the fluid limit method (Q1769830)

Le réseau de file l'attente de Lu-Kumar-Brawson contient deux files d'attente \((i= 1,2)\). A chaque file d'attente il y a un serveur et une salle d'attente de capacité infinie. Les clients suivent un itinéraire fixé par le réseau. Ils arrivent de l'extérieur à la cadence \(1\), ils vont faire la file \(1\) où ils ont besoin d'un service de moyenne \(m\), et puis alligner 2 où ils ont besoin d'abord d'un service de moyenne \(m_2\) et puis ils éprouvent un feedback à cette file exigeant un service de moyenne \(m_3\), ensuite ils reviennent à la première file où ils ont besoin d'un service de moyenne \(m_4\) et puis ils quittent le réseau. Donc nous avons quatre classes, 1 et 4 à la première file d'attente et 2 et 3 à la seconde. La discipline est FIFO dans les deux files d'attente. Les conditions nécessaires de stabilité sont \[ \rho_1= m_1+ m_4< 1\quad\text{et}\quad \rho_2= m_2+ m_3< 1.\tag{1} \] \textit{W. Whitt} [Manage. Sci. 39, No. 8, 1020--1028 (1993; Zbl 0783.60090)] a étudié ce réseau sous la discipline FIFO et a conjecturé que sous les conditions (1) si \(m_1= m_3= 0\) et \(m_2= m_4\) alors le réseau est stable. Le modèle fluide associé aux reseaux de \textit{M. Bramson} [Ann. Appl. Probab. 4, No. 3, 693--718 (1994; Zbl 0813.60087), ibid. 4, No. 3, 952 (1994; Zbl 0812.60080) et ibid. 4, No. 2, 414--431 (1994; Zbl 0804.60079)] a été etudié par \textit{V. Dumas} [IEEE Trans. Autom. Control 44, No. 1, 191--194 (1999; Zbl 0957.90014)]. \textit{H. Chen} et \textit{H. Zhang} [Math. Oper. Res. 22, No. 3, 691--725 (1997; Zbl 0892.60092)] ont établi des conditions suffisantes pour la stabilité des réseaux de files d'attente multiclasses sous la disciplines de service FIFO, qui ramènent dans le cas (1) à la condition \((1- m_4)(1- m_3)- 2m_4(m_2- m_1)> 0\). Mais, ces conditions ne sont pas optimales. Pour chaque nombre entier \(n\geq 1\), soit \(\tau(m)\) le temps d'interarrivée entre l'arrivée du \((n-1)\)ième client et celle du \(n\)ième client de l'extérieur; le premier client arrive au temps \(\tau(1)\). Les temps de service pour le \(n\)ième client dans les différentes classes sont \(\sigma_1(n),\dots, \sigma_4(n)\). Nous avons \[ \{(\tau(n), \sigma_1(n),\dots, \sigma_4(n))\},\;n\geq 1\text{ est une suite i.i.d.}\tag{2} \] Nous supposons que les variables aléatoires ont les premiers moments finis \[ E[\tau(1)]< \infty\text{ et }E[\sigma_k(1)]= m_k< \infty,\quad k= 1,\dots, 4.\tag{3} \] Pour \(i= 1,2\) la charge du travail pour le serveur \(i\) par unité de temps est \(\rho_1= m_1+ m_4\) et \(\rho_2= m_2+ m_3\). \textit{J. G. Dai} [in: Stochastic networks. IMA Vol. Math. Appl. 71, 71--90 (1995; Zbl 0823.60083) et Ann. Appl. Probab. 5, No. 1, 49--77 (1995; Zbl 0822.60083)] et \textit{V. Dumas} [loc. cit.] ont présentés un processus stochastique \(\{X(t), t\geq 0\}\) qui décrit la dynamique du réseaux de file d'attente. On utilise la notion de limite fluids présentée par \textit{A. N. Rybko} et \textit{A. L. Stolyar} [Probl. Inf. Transm. 28, No. 3, 199--220 (1992); translation from Probl. Peredachi Inf. 28, No. 3, 3--26 (1992; Zbl 0768.60089)] et \textit{J. G. Dai} [loc. cit.] Si \(x\) est l'état du réseau on note par \(|x|\) le nombre total des clients dans le système dans l'état \(x\). Pour toute suite d'état \((x_n)_{n\geq 0}\) avec \(|x_n|> 0\), \(\forall n\), et pour tout processus \((H(x_n, t))_{t\geq 0}\), on défini \(\overline H^n\) par \[ \forall t\geq 0,\quad \overline H^n=H(x_n,|x_n|t)/|x_n|. \] On présente un théorème dû à \textit{J. G. Dai} [loc. cit.] qui définit et caractérise les limites fluides au réseau de Lu-Kumar-Bramson. Aussi on démonstre le théorème: En plus de (1) si nous avons \(\rho_1< \rho_2\), alors tout modèle fluide \(Q(.)\) satisfait \(\lim_{t\to\infty}|Q(t)|= 0\) et donc le réseaux est stable.