Useful stochastic bounds in time-varying queues with service and patience times having general joint distribution

Shreehari Anand Bodas,Royi Jacobovic

2024-06-19

Abstract:Consider a first-come, first-served single server queue with an initial workload $x>0$ and customers who arrive according to an inhomogeneous Poisson process with rate function $\lambda:[0,\infty)\rightarrow[0,\lambda_h ]$ for some $\lambda_h>0$. For each $i\in\mathbb{N}$, let $S_i$ (resp., $Y_i$) be the service (resp., patience) time of the $i$'th customer and assume that $(S_1,Y_1),(S_2,Y_2),\ldots$ is an iid sequence of bivariate random vectors with non-negative coordinates. A customer joins if and only if his patience time is not less than his prospective waiting time (i.e., the left-limit of the workload process at his arrival epoch). Let $\tau(x)$ be the first time when the system becomes empty and let $N^*_\lambda(\cdot)$ be the arrival process of those who join the queue. In the present work we suggest a novel coupling technique which is applied to derive stochastic upper bounds for the functionals: \begin{equation*} \int_0^{\tau(x)}g\circ W_x(t){\rm d}t\ \ \text{and}\ \ \int_0^{\tau(x)}g\circ W_x(t){\rm d}N^*_\lambda(t)\,, \end{equation*} where $W_x(\cdot)$ is the workload process in the queue and $g(\cdot)$ is any lower semi-continuous function. We also demonstrate how to utilise these bounds via some examples under the additional assumption that $\lambda(\cdot)$ is periodic.

Probability

What problem does this paper attempt to address?

The problem that this paper attempts to solve is how to derive the stochastic upper bounds of the functionals of the workload process in a queuing system with time - varying arrival rates and general joint distributions of service and patience times. Specifically, the paper focuses on a single - server queue with first - come - first - served, where the initial workload is \(x > 0\), and customers arrive according to a non - homogeneous Poisson process with an arrival rate function \( \lambda: [0, \infty) \rightarrow [0, \lambda_h]\). The service time and patience time of each customer are denoted as \(S_i\) and \(Y_i\) respectively, and it is assumed that \((S_1, Y_1), (S_2, Y_2), \ldots\) is a sequence of independent and identically distributed two - dimensional random vectors with non - negative coordinates. A customer will join the queue only if the patience time is not less than the expected waiting time.

The main objective of the paper is to derive the stochastic upper bounds of the following functionals by introducing a new coupling technique:
\[ \int_0^{\tau(x)} g \circ W_x(t) \, dt \quad \text{and} \quad \int_0^{\tau(x)} g \circ W_x(t) \, dN^*_\lambda(t), \]
where \(W_x(t)\) is the workload process in the queue, \(g(\cdot)\) is an arbitrary lower semi - continuous function, \(\tau(x)\) is the time when the system is empty for the first time, and \(N^*_\lambda(\cdot)\) is the arrival process of customers joining the queue.

By introducing a new coupling technique, the paper solves the problem of how to effectively analyze and derive the stochastic upper bounds of these functionals in the case of time - varying arrival rates and dependencies between service and patience times. This problem is very important in practical applications because many real - world queuing systems have time - varying arrival rates and complex dependencies in customer behavior.