Avoid common mistakes on your manuscript.
1 Introduction
In 1964, Wei and Norman [11] showed that a system of linear differential equations with non-constant coefficients can under certain conditions be translated into another possibly simpler system of equations. The Wei–Norman method finds many applications throughout science but has not been used much in applied probability. (Exception are [4, 6] and [7].) We propose as an application the \(PH/G/\infty \) infinite server queue with phase-type arrivals and general service time distribution. Denoting \(X_t\) the process counting the customers in the system and \(J_t\) the current phase of the arrival process at time t, it has been shown in [8] that the matrix of generating functions G(t) given by
fulfills a system of nonlinear differential equations, namely
Here, the matrices A and B and the scalar function f are defined as follows. The arrival distribution is assumed to be continuous phase-type (see, e.g., [2]), coinciding with the distribution of the absorption time of a continuous-time Markov chain on the state space \(\{1,2,\ldots ,n,n+1\}\) with generator matrix \({\left[ {\begin{matrix} {T}&{}{t}\\ {0}&{}0 \end{matrix}}\right] }\). The \(n\times n\) matrix \({T}\) has non-positive entries in the diagonal and non-negative entries offside the diagonal. The column vector \({t}\) is such that the row sums of the generator matrix are zero. With \(q=(q_1,\ldots ,q_{n})^{{\mathsf {T}}}\) the vector of the initial probabilities, we then define \(B=t\cdot q^{{\mathsf {T}}}\) and \({A}={T}+B\). Finally, \(f(t)=(z-1)(1-H(t))\), with H the cdf of the service time distribution.
If \({A}\) and \({B}\) commute or f is constant, then \({A}+f(s){B}\) and \({A}+f(t){B}\) commute for any combination of \(s,t\ge 0\) and we readily find a solution of (2) by means of the matrix exponential, namely \({G}(t)=e^{\int _0^t ({A}+f(s){B})\,ds}\). However, if the commutator \( AB:={A}{B}-{B}{A}\) is not zero, then this is no longer true. For example, in the \(E_2/G/\infty \) queue, where the interarrival distribution is Erlang-2, we have (with \(q_1=1\))
and it follows that \({A}{B}=\lambda ^2{\left[ {\begin{matrix} 1&{}0\\ 0&{}-1 \end{matrix}}\right] }\not =0\).
Suppose that there are m matrices \({M}_{i}\) (henceforth called ‘basis’) such that \([{M}_{i},{M}_{j}]\) is itself a linear combination of basis elements for every \(i,j=1,2,\ldots ,m\) and \({A}\) and \({B}\) are expressible as linear combinations of the identity matrix I and the \({M}_{i}\). Then, it is shown in [11] that at least locally around \(t=0\) one has the product representation
The functions \(g_i,i=1,\ldots ,m\) fulfill a system of—hopefully easier or more insightful—differential equations.
We will briefly demonstrate the idea with the above E\(_2\)/G/\(\infty \) example. Here, we can choose the basis \({M}_{1}={\left[ {\begin{matrix} 1&{}0 \\ 0&{}-1 \end{matrix}}\right] }\), \({M}_{2}={\left[ {\begin{matrix} 0&{}1 \\ 0&{}0 \end{matrix}}\right] }\) and \({M}_{3}={\left[ {\begin{matrix} 0&{}0\\ -1&{}0 \end{matrix}}\right] }\), with \([{M}_{1},{M}_{2}]=-2{M}_{2}\), \([{M}_{1},{M}_{3}]=2{M}_{3}\) and \([{M}_{2},{M}_{3}]={M}_{1}\). We then express \({A}\) and \({B}\) in (3) in terms of the identity matrix \({I}\) and the basis elements as \({A}=-\lambda {I}+\lambda {M}_{2}-\lambda {M}_{3}\) and \({B}=-\lambda {M}_{3}\). It can be shown that with this choice of the basis we obtain the system (cf. [3, 10])
where the dependence on t was omitted. After some rearrangements and setting \(R(t)=g_1(t)'\), we obtain the Riccati equation
which is still difficult to solve, but once a solution R is found, \(g_1,g_2\) and \(g_3\) follow by integration.
2 Problem statement
There are still considerable problems and many open questions related to this approach.
-
i.
The Erlang-2 example led us to the classical standard basis of the special linear Lie algebra \(\mathfrak {sl}(2,\mathbb R)\). For the \(E_3/G/\infty \) system, A and B can be written as linear combinations of I and a basis of \(\mathfrak {sl}(3,\mathbb R)\). Are A and B in the presence of Erlang-n arrivals in general representable in terms of a basis of \(\mathfrak {sl}(n,\mathbb R)\)? More generally: Which basis has to be chosen? The question whether the representation in (4) is only local around \(t=0\) or global depends also on the choice of the basis. For \(2\times 2\) matrices, it has been shown in [10] that there is always an appropriate basis leading to a global representation. What does this mean for two-phase distributions? A peculiarity of the approach is that the order of the basis elements in (4) influences the system (5). What is the most useful ordering for different phase-type arrival distributions?
-
ii.
What use can be made of systems like (5)? Even if no solution can be found one might still draw conclusions regarding the generating function (1) and hence the joint distribution of \(X_t\) and \(J_t\).
-
iii.
Riccati equations appear frequently in connection with the method ( [3]). Are some of these equations solvable in the \(PH/G/\infty \) context? Obviously, we could not solve (6), so this is an open question to begin with.
3 Discussion
The Norman–Wei method is clearly not restricted to this particular application. After all, similar systems of differential equations are quite common in applied probability. The Kolmogorov forward equation for time-inhomogeneous CTMCs is an immediate example. (See also the application for birth-and-death processes in [7] and more general jump processes in [1].) As in the \(PH/G/\infty \) setting, the primary question is how the structure of the problem at hand influences the choice of the basis and thereby the form of the new system of differential equations. In case of the Kolmogorov equation, it would be interesting which generator matrices are related to which Lie algebras ([9] goes into this direction). We note that there is a second algebraic approach complementing the Wei–Norman method, namely the apparently more popular Magnus expansion that searches for representations of G(t) of the form \(e^{\sum _{i=1}^{m} g_i(t){M}_{i}}\) (see, e.g., [5], where also the Wei–Norman approach is mentioned). This approach could also be worthwhile to investigate in connection with queuing problems such as the one presented here.
References
Arai, T.: Path integral and instanton calculus for stochastic jump processes with a finite number of states. Phys. Rev. E 98(4), 042147 (2018)
Bladt, M., Nielsen, B.F.: Matrix-Exponential Distributions in Applied Probability, volume 81. Springer, (2017)
Cariñena, J.F., Marmo, G., Nasarre, J.: The nonlinear superposition principle and the Wei-Norman method. Int. J. Mod. Phys. A 13(21), 3601–3627 (1998)
House, T.: Lie algebra solution of population models based on time-inhomogeneous Markov chains. J. Appl. Probab. 49(2), 472–481 (2012)
Iserles, A., MacNamara, S.: Applications of Magnus expansions and pseudospectra to Markov processes. Eur. J. Appl. Math. 30(2), 400–425 (2019)
Kawanishi, K.: On the counting process for a class of Markovian arrival processes with an application to a queueing system. Queueing Syst. 49(2), 93–122 (2005)
Ohkubo, J.: Lie algebraic discussions for time-inhomogeneous linear birth-death processes with immigration. J. Stat. Phys. 157(2), 380–391 (2014)
Ramaswami, V., Neuts, M.F.: Some explicit formulas and computational methods for infinite-server queues with phase-type arrivals. J. Appl. Probab. 17(2), 498–514 (1980)
Sumner, J.G., Fernández-Sánchez, J., Jarvis, P.D.: Lie Markov models. J. Theor. Biol. 298, 16–31 (2012)
Wei, J., Norman, E.: Lie algebraic solution of linear differential equations. J. Math. Phys. 4(4), 575–581 (1963)
Wei, J., Norman, E.: On global representations of the solutions of linear differential equations as a product of exponentials. Proc. Am. Math. Soc. 15(2), 327–334 (1964)
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Löpker, A. The Wei–Norman method for the infinite-server queue with phase-type arrivals. Queueing Syst 100, 221–223 (2022). https://doi.org/10.1007/s11134-022-09784-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11134-022-09784-5