ABSTRACT

The imperfect production center complexity to do with job maximization strategies is shown to have some criteria under which an optimal solution exists.

2010 Subject Classification: 60K25, 97M40, 35Q93

Keywords:

M/M/1 Queue, Governing Equations, Modified Equations, Group Structure

1. Introduction

The economies of oil producing nations depend heavily on oil price dynamics. These dynamics are the determinants of budgetary sizes and capital project allocations in nations with oil. As a result, it has gained attention even among mathematicians: Cai and Newt [1] , Krugman [2] especially with the downturn dynamics of 2015; Lee and Huh [3] . Because to mathematicians, if nation A derives proceeds in a space X when the dynamics are positively increasing and sufficient for instance, the dynamics can be represented.¹ Practically, if T is an arbitrary operator and X is a proceed space for A, one can write that

$T\mathrm{<mo>\; :\; </mo>}X\to Y$ (1)

¹The converse is also true.

Now, given additional information on (1) above, vital considerations can be made. Suppose a price shock occurs when X is complete. Then (1) is a transformation from Banach space to any space. Consequently, understanding the nature of inverse maps that reverse Y to X could be the solution of certain interesting problems. The direct interpretation is that to do with the needed policy maps that can take (1) to completeness once again.

In the queuing literature, it is well known for N-homogenous jobs that the stationary probability of maintaining these jobs in a uni-server production center is given by

$P_N=\left(1-\rho \right){\rho }^N$ (2)

The parameter $\rho$ is the occupation rate of the center, Medhi [4] . Unfortunately, homogeneity of jobs is unrealistic, Krishnamoorthy [5] . Suppose X is isomorphic to a job space Z. Suddenly, an oil price shock² occurs in the neighborhood of X. Trivially, the completeness property of Z will alter similar to that of X a.s. Consequently, the extended job space $Z_{ext}$ is nowhere dense in Z. Thus, working under homogenous assumptions in $Z_{ext}$ is simplistic a.s. A re-consideration of the job size bracket $\left\{N\right\}\in Z_{ext}$ is necessary for a complete discussion and analysis in $Z_{ext}$ . Moreover, the understanding of needed maps that takes $Z_{ext}$ to Z is equivalent to that which takes X to Y given that the later space is a normed space.

In the past, a lot of studies considered the stationary behavior of jobs in $Z_{ext}$ and Z identical. Nowadays, there are re-considerations proving otherwise. For instance, Krishnamoorthi and Sreenivan [6] , Kumar and Sharma [7] and more recently, Som and Kumar [8] . On managing queuing systems in $Z_{ext}$ , Ke and Pearn [9] studied an M/M/1 queuing system with server breakdowns and vacations where the arrival rate varies according to the server status and the vacation norm determined by the number of arrivals during the vacation period. Jayachitra and Albert [10] studied an Erlangian model under server breakdowns and multiple vacations and provided a cost model to determine the optimal operating policy at minimum cost. What is inherent in most of these management models is that the optimal criterion is proved from the service process. Essentially, optimal criterion from the number of jobs in the system is scarce in the literature.

²Similar to that of 2015 that takes oil price from 100+ USD to the neighborhood of 20+ USD.

³From principal component analysis of several factors affecting a steady state system from the exterior, policies, occupation rates and constraint size have the largest Eigen values.

Our aim is to present a methodology that studies the problem of strategies in imperfect production centers from the stationary number of jobs in the system. The most important gain is the generalization of known basic results. This extends the capacity of known results to centers with jobs of distinct characteristics. For instance, in service centers with normal jobs and constraint jobs, less time spending on jobs and delaying jobs, difficult to process jobs and easy to process jobs, etc. In this respect, our work is purely for operational research purpose geared towards best practices in centers with distinct job characteristics. We wish to provide the understanding of principal components of imperfect centers and develop optimal criteria under which production is maximized.

It turns out that³ the problem herein is that of how best the coupling of system policies (T), occupation rates ( $\rho$ ) and available constraints c can be tackled in $Z_{ext}$ .

2. Preliminary Results

Lemma 1 An operationally useful policy map $T$ is necessarily compact and infinite dimensional in $Z_{ext}$ .

Proof.

It is enough to show that an infinite dimensional compact operator cannot have a close range in a complete normed space.

Let $Z$ and $Z_{ext}$ be arbitrary normed spaces where $Z_{ext}$ is complete. Suppose that

$T\mathrm{<mo>\; :\; </mo>}Z\to Z_{ext}$

is infinite dimensional and compact.

Suppose to the contrary that $TZ$ is closed. Then $TZ$ is complete.

Thus,

$Z={\displaystyle \underset{n=1}{\overset{\infty }{\cup }}}n{B}_Z$ (3)

where $B_Z$ is the unit ball of jobs in Z.

It follows directly from (3) that

$TZ={\displaystyle \underset{n=1}{\overset{\infty }{\cup }}}nT{B}_Z.$ (4)

Since T is compact and $nT{B}_Z$ is bounded, then $nT{B}_Z$ is compact.

Given that $dimT=\infty$ ; $nT{B}_Z$ is nowhere dense in $TZ$ . Hence, $TZ$ is of the first Baire category.

This contradiction completes the prove. □

Lemma 2 Let ${\left\{z_n\right\}}_{n\ge 0}$ be a job sequence in $Z_{ext}$ . If ${\left\{z_n\right\}}_{n\ge 0}$ has a convergent point $z$ in $Z$ , then the measurable policy map $T$ such that $T{z}_n\to Tz$ is a strong job policy.

Proof. It suffices to show that if $Z$ and $Z_{ext}$ are normed job spaces, then for any ${\left\{z_n\right\}}_{n\ge 0}\in Z_{ext}$ and a point $z\in Z$ given that $T\in K\left(Z\mathrm{,}{Z}_{ext}\right)$ and $z_n\stackrel{w}{\to }z$ , then $T{z}_n\to Tz$ strongly.

Let $y_n=T{z}_n$ and $y=Tz$ . We show that $y_n\stackrel{w}{\to }y$ . Suppose that $y^{\mathrm{<mo>\; *\; </mo>}}\in Z^{\mathrm{<mo>\; *\; </mo>}}$ and define $z^{\mathrm{<mo>\; *\; </mo>}}$ by

$z^{*}\left(z\right)=y^{*}\left(Tz\right).$ (5)

Clearly $z^{\mathrm{<mo>\; *\; </mo>}}$ is linear. Similarly, since T is compact $z^{\mathrm{<mo>\; *\; </mo>}}$ is compact. Thus, $z^{\mathrm{<mo>\; *\; </mo>}}$ is bounded.

Given that $z_n\stackrel{w}{\to }z$ , we have $z^{\mathrm{<mo>\; *\; </mo>}}\left(z_n\right)\to z^{\mathrm{<mo>\; *\; </mo>}}\left(a\right)$ . Hence, $y^{\mathrm{<mo>\; *\; </mo>}}\left(T{z}_n\right)\to y^{\mathrm{<mo>\; *\; </mo>}}\left(Tz\right)$ .

Now to show the last component of the lemma, suppose that $T{z}_n$ does not converge to $Tz$ . Then ( $T{z}_n$ ) has a sub sequence ( $T{z}_{n^{\prime }}$ ) such that $\Vert T{a}_{n^{\prime }}-Ta\Vert >\alpha$ for some $\alpha >0$ . Since $z_{n^{\prime }}\stackrel{w}{\to }z$ , then ( $z_{n^{\prime }}$ ) is bounded. Given that T is compact, then ( $T{z}_{n^{\prime }}$ ) has a Cauchy sub-sequence.

Consequently,

$\Vert T{z}_{n^{″}}-Tz\Vert \to 0.$ (6)

This contradiction completes the proof. □

Lemma 3 A job policy $T^{\mathrm{<mo>\; *\; </mo>}}$ on $Z_{ext}$ is compact if a corresponding job policy $T\in Z$ is compact.

Proof. Suppose that Z is a normed space and $Z_{ext}$ is a Banach space.

Furthermore, suppose that T is compact. Let ( $y_n^{\mathrm{<mo>\; *\; </mo>}}$ ) be a sequence in $B\left(Z_{ext}^{\mathrm{<mo>\; *\; </mo>}}\mathrm{,}{Z}^{\mathrm{<mo>\; *\; </mo>}}\right)$ . If $\psi$ is a functional such that for any $n>0$ , we have

${\psi }_n\left(y\right)=\left(y,y^{*}\right)$ (7)

Then

$\left|{\psi }_n\left(y\right)\right|=\left|\left(y,y^{*}\right)\right|\le \Vert y\Vert \Vert y_n^{*}\Vert \le \Vert y\Vert$ (8)

Thus, ${\psi }_n$ ’s are uniformly bounded. In addition,

$\left|{\psi }_n\left(y\right)-{\psi }_n\left(y^{\prime }\right)\right|=\left|\left(y-y^{\prime }\mathrm{,}{y}_n^{\mathrm{<mo>\; *\; </mo>}}\right)\right|\le \Vert y-y^{\prime }\Vert \mathrm{.}$ (9)

Thus, ${\psi }_n$ ’s are equicontinuous and so $\left\{{\psi }_n\left(y\right)\mathrm{<mo>\; :\; </mo>}y\in T{B}_Z\right\}$ is compact. This implies that there exist a sub sequence

$\left\{{\psi }_{n^{\prime }}\left(Tz\right)\right\}=\left\{\left(z\mathrm{,}{T}^{\mathrm{<mo>\; *\; </mo>}}{y}_n^{\mathrm{<mo>\; *\; </mo>}}\right)\right\}$ (10)

which converges uniformly on $B\left(Z\mathrm{,}{Z}_{ext}\right)$ . Hence T* is compact. □

Lemma 4 Given $\left\{N\right\}=\left\{c\right\}\oplus \left\{n\right\}\mathrm{<mo>\; ;\; </mo>}\left\{c\right\}\cap \left\{n\right\}=\left\{\right\}$ ; then

$E\left[N\right]=\frac{{\rho }^c\left[\rho +c\left(1-\rho \right)\right]}{1-\rho }\mathrm{.}$ (11)

Proof. Denote by $V\left(z\right)$ the probability generating function (PGF) for the new jobs $n\in \left\{N\right\}$ when there are $c\ge 0$ fixed constraint jobs in a system such that

$V\left(z\right)={\displaystyle \underset{c\oplus n=0}{\overset{\infty }{\sum }}}{P}_{c\oplus n}{z}^{c\oplus n};\mathrm{<mi>\; </mi>\; <mi>\; </mi>}n=0,1,2,3,\cdots$ (12)

That means

$V\left(z\right)=P_c+P_{c+1}z+P_{c+2}{z}^2+P_{c+3}{z}^3+\cdots ;\mathrm{<mi>\; </mi>}n=0,1,2,3,\cdots$ (13)

And in view of (2), we have

$V\left(z\right)=\left(1-\rho \right){\rho }^c+\left(1-\rho \right){\rho }^{c+1}z+\left(1-\rho \right){\rho }^{c+2}{z}^2+\cdots$ (14)

So that

$V\left(z\right)=\frac{\left(1-\rho \right){\rho }^c{z}^c}{1-\rho z}$ (15)

The lemma holds upon differentiating (15) at $z=1$ . □

⁴This is the only case the classical M/M/1 model depicts in its expectation.

It is interesting to note that if $c=0$ in (11) above, then $\left\{c\right\}\oplus \left\{n\right\}=\left\{\right\}\oplus \left\{n\right\}=\left\{n\right\}$ . Consequently, there is only one job group $\left\{n\right\}$ in the system (homogenous).⁴ In this case, the result goes to that of a classical production center with homogenous jobs as expected.

Lemma 5 For a finite capacity imperfect production center with two distinct job groups $\left\{n\right\}$ and $\left\{c\right\}$ , we have

$E\left[N\right]=\frac{{\rho }^c\left[\left(1-{\rho }^K\right)\left(c\left(1-\rho \right)+\rho \right)-K\left(1-\rho \right){\rho }^K\right]}{1-\rho }$ (16)

Proof. In view of (2) and for $N=K<\infty$ , it can be shown that the PGF $W\left(z\right)$ is

$W\left(z\right)=\frac{\left(1-\rho \right){\left(\rho z\right)}^c\left(1-{\left(\rho z\right)}^K\right)}{1-\rho z}$ (17)

Differentiating (17) w.r.t z, we have

$W^{\prime }(z)=\frac{\left(1-\rho z\right)\left[c\rho \left(1-\rho \right){\left(\rho z\right)}^{c-1}\left(1-{\left(\rho z\right)}^K\right)-K\rho \left(1-\rho \right){\left(\rho z\right)}^{c+K-1}\right]+\varphi \left(z\right)}{{\left(1-\rho z\right)}^2}$ (18)

where

$\varphi \left(z\right)=\rho \left(1-\rho \right){\left(\rho z\right)}^c\left(1-{\left(\rho z\right)}^K\right)$ (19)

Which gives

$E\left[N\right]=\frac{{\rho }^c\left[\left(1-\rho \right)\left(1-{\rho }^K\right)\left[c\left(1-\rho \right)+\rho \right]-K{\left(1-\rho \right)}^2{\rho }^K\right]}{{\left(1-\rho \right)}^2}$ (20)

upon substituting z = 1 in (18) above. Finally, the lemma holds if (20) is rearranged and simplified. □

Corollary 6 From the numerical results (Tables 1-6 in the appendix), it is clear that

1) $\rho \to \rho \left(c\right)$ .

2) $\left\{N\left(\rho \right)\right\}\to \left\{N\left(\rho \mathrm{,}c\right)\right\}$ .

Lemma 7 (First Criterion) A maximizer of the group $\left\{N\right\}$ is the solution for the policy map-constraint-occupation rate problem $G\left(\mathrm{.}\right)$ such that

$G\left({\partial }_{T}N,{\partial }_{\rho }N,{\partial }_{c}N,N,T,c,\rho \right)=0.$ (21)

Proof. We seek a solution $N\left(c\mathrm{,}\rho \mathrm{,}T\right)$ for $G\left(\mathrm{.}\right)$ such that

$G(.)={\partial }_{c}N+F\left({\partial }_{T}N,{\partial }_{\rho }N,N,T,c,\rho \right).$ (22)

where $F\left(\mathrm{.}\right)$ is a real valued semi-linear continuous function with respect to all its arguments. (22) is equivalent to

$G(.)={\partial }_{c}N+{\partial }_{T}N+h\left(T,c,\rho ,N\right){\partial }_{\rho }N+\bar{h}\left(T,c,\rho ,N\right).$ (23)

By Lemma 1, T is necessarily compact. Let T be a fixed point of G(.). Then (23) reduces to

${\partial }_{c}N=-h\left(c,\rho ,N\right){\partial }_{\rho }N-\bar{h}\left(c,\rho ,N\right).$ (24)

Consider a differentiable arc $B\mathrm{<mo>\; :\; </mo>}\rho \to \rho \left(c\right)$ in the $\left(\rho \mathrm{,}c\right)$ plane such that points on $B\to \left(\rho \left(c\right)\mathrm{,}c\right)$ .

By multivariate chain rule on the left hand side of (24), we have

$\frac{\text{d}}{\text{d}c}N\left(\rho \left(c\right),c\right)={\partial }_{c}N\left(\rho \left(c\right),c\right)+{\partial }_{\rho }N\left(\rho \left(c\right),c\right)\frac{\text{d}\rho \left(c\right)}{\text{d}c}.$ (25)

Assuming that $N\left(\rho \mathrm{,}c\right)$ solves (21) and combining (24) and (25) and rearranging, we have

$\frac{\text{d}}{\text{d}c}N\left(\rho \left(c\right),c\right)=\left(-h\left(\mathrm{..}\right)+\frac{\text{d}\rho \left(c\right)}{\text{d}c}\right){\partial }_{\rho }N\left(\rho \left(c\right),c\right)-\bar{h}\left(\mathrm{..}\right)$ (26)

So⁵ that the couple differential equations

$\frac{\text{d}}{\text{d}\rho }N\left(\rho \left(c\right),c\right)=h\left(\rho \left(c\right),c,N\left(\rho \left(c\right),c\right)\right)$ (27)

and

$\frac{\text{d}}{\text{d}c}N\left(\rho \left(c\right),c\right)=\left(-\bar{h}\left(\rho \left(c\right),c,N\left(\rho \left(c\right),c\right)\right)\right)$ (28)

constitute in general a solution for $G\left(\mathrm{.}\right)$ for $N\left(\rho \left(c\right)\mathrm{,}c\right)$ when T is a fixed point of $G\left(\mathrm{.}\right)$ . □

Lemma 8 (Second Criterion) Any continuously differentiable solution $N\left(\rho \mathrm{,}c\right)$ for $G\left(\mathrm{.}\right)$ satisfying the first criterion above must coincide with the original solution $\tilde{N}\left(\tilde{\rho }\left(c\right)\mathrm{,}c\right)$ along the base curve $\rho =\rho \left(c\right)$ .

Proof. Since (27) and (28) are coupled systems, only in rare cases analytic solution exists in closed form. However, if we specify an initial value for $c_0$ , ${\rho }_0$ and $N_0$ , then the existence of a unique solution pair $\tilde{\rho }\left(c\right)$ and $\tilde{N}\left(\tilde{\rho }\left(c\right)\mathrm{,}c\right)$ is guaranteed. A solution $\hat{N}\left(\tilde{\rho }\left(c\right)\mathrm{,}c\right)$ that did not pass through the origin leading to $\tilde{N}\left(\tilde{\rho }\left(c\right)\mathrm{,}c\right)$ cannot be a solution for $G\left(\mathrm{.}\right)$ since it is nowhere differentiable around $G\left(\mathrm{.}\right)$ . □

Lemma 9 (Optimality Criterion) Suppose $\Vert T\Vert \to \Vert T_{\max }\Vert$ so that the constraint dependent occupation rate ${\rho }_c\to {\rho }_{\max }\left(c\right)\in \left(0,1\right)$ . A solution $N\left(\rho \left(c\right),c\right)$ that passes through the origin $\tilde{N}\left(\tilde{\rho }\left(c\right)\mathrm{,}c\right)$ for $G\left(\mathrm{.}\right)$ is optimal a.s.

Proof. Given that $\Vert T\Vert \to \Vert T_{\max }\Vert$ , we have ${\rho }_c\to {\rho }_{\max }\left(c\right)\in \left(0,1\right)$ . By the numerical approximation (Tables 1-6 in the appendix) $N\left(\rho \left(c\right),c\right)\to N_{\max }\left(\rho \left(c\right),c\right)$ . Given that $G\left(\mathrm{.}\right)$ is $N\left(\rho \left(c\right),c\right)$ dependent, it is then trivial. □

3. Scope for Future Work

^{5 $\left(\mathrm{..}\right)=\left(\rho \left(c\right)\mathrm{,}c\mathrm{,}N\left(\rho \left(c\right)\mathrm{,}c\right)\right)\mathrm{.}$}

There is a scope in extending our results to some special cases of the problem solved in this work. For instance, when the function $h\left(\mathrm{..}\right)$ is independent of N or when $h\left(\mathrm{..}\right)$ and $\bar{h}\left(\mathrm{..}\right)$ are linear or even non-linear combination of $\rho$ and T and N. The author are grateful to all literature sources used.

Competing Interest

There is no competing interest of any kind within the authorship of this work.

Authors Contribution

SS: Drafted the entire manuscript, provided the introductory chapter (Section 1) and proved Lemmas 1, 2, 3, 5, 7, 8 and 9 together with Corollary 6.

HM: Participated in the sequence alignment of the manuscript and provided the numerical simulations.

MLM: Participated in the design of the manuscript and proved lemma 4 under my supervision.

All authors read and approved the final manuscript.

Acknowledgements

The authors are grateful to Dr. Babangida A. Albaba; the current Rector of the Katsina State Institute of Technology and Management (KSITM) for spearing time to go through the entire thesis leading to this manuscript and for making valuable suggestions.

Cite this paper

Sani, S., Musa, H. and Malumfashi, M.L. (2017) Criteria for Maximizing Jobs in Imperfect Production Centers. Applied Mathematics, 8, 1257-1266. https://doi.org/10.4236/am.2017.89094

References

Appendix

For a numerical approximation, we study the model in (11) under various sizes of constraint numbers c and varying occupation rate $\rho$ for $E\left[N\right]$ . The following numerical results are obtained.