Journal of Applied Mathematics and Physics
Vol.06 No.11(2018), Article ID:88423,17 pages
10.4236/jamp.2018.611185
Asymptotic Stability of the Dynamic Solution of an N-Unit Series System with Finite Number of Vacations
Abdugeni Osman1, Abdukerim Haji1*, Askar Ablimit2
1College of Mathematics and System Sciences, Xinjiang University, Urumqi, China
2School of Mathematics and Physics, Xinjiang Education Institute, Urumqi, China
Copyright © 2018 by authors and Scientific Research Publishing Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).
http://creativecommons.org/licenses/by/4.0/
Received: October 4, 2018; Accepted: November 10, 2018; Published: November 13, 2018
ABSTRACT
We investigate an N-unit series system with finite number of vacations. By analyzing the spectral distribution of the system operator and taking into account the irreducibility of the semigroup generated by the system operator we prove that the dynamic solution converges strongly to the steady state solution. Thus we obtain asymptotic stability of the dynamic solution of the system.
Keywords:
N-Unit Series System, C0-Semigroup, Irreducibility, Asymptotic Stability
1. Introduction
The series repairable systems are the classical repairable systems in reliability theory. As a result of the strong practical background of series repairable systems, many researchers have studied them extensively under varying assumptions (see [1] [2] [3] [4] ). In [4] , the authors studied an N-unit series system with finite number of vacations and obtained some reliability expressions such as the Laplace transform of the reliability, the mean time to the first failure, the availability and the failure frequency of the system by using the supplementary variable method and the generalized Markov progress method as well as the Laplace transform. The authors used the dynamic solution and its asymptotic stability in calculating the availability and the reliability. But they did not prove the existence of the dynamic solution and the asymptotic stability of the dynamic solution. Motivated by this, A. Osman and A. Haji proved in [5] the existence of a unique positive dynamic solution of the system by using C0-semigroup theory of linear operators. In this paper, we further study this system and prove that the dynamic solution of the system converges strongly to its steady state solution by analyzing the spectral distribution of the system operator and taking into account the irreducibility of the semigroup generated by the system operator; thus we obtain the asymptotic stability of the dynamic solution of this system.
The rest of this paper is organized as follows: In Section 2, we present the mathematical model of the system and give some results obtained in [5] . In Section 3, we obtain main result on stability of the system by analyzing the spectral distribution of the system operator and taking into account the irreducibility of the semigroup generated by the system operator.
2. Previous Results
According to [4] , the N-unit series system with finite number of vacations can be described by the following integro-differential equations:
(1)
With the boundary conditions
(2)
and the initial conditions
(3)
where
.
Here
;
and the symbols in the equations have the following meaning.
: The probability that n units at time t are in working state and the repairman is idle;
: The probability that at time t the repairman is repairing the failed unit
, the elapsed repair time lies in
;
: The probability that n units at time t are in working state, the repairman is in
vacation and the elapsed repair time lies in
;
: The probability that at time t unit
is waiting for repair, the repairman is in
vacation and the elapsed repair time lies in
;
is positive constant;
is the vacation rate function of the repairman;
is the repair rate function of unit k
.
Throughout the paper we require the following assumption for the vacation rate function
and the repair rate functions
.
General Assumption 2.1: The functions
and
:
are measurable and bounded such that
(4)
In [5] , the authors transformed the system (1), (2) and (3) into the following abstract Cauchy problem ( [6] , Def.II.6.1) on the Banach space
.
(5)
where
with norm
(6)
(7)
,
(8)
(9)
(10)
(11)
(12)
(13)
(14)
(15)
(16)
(17)
and proved the following results.
Theorem 2.1: The operator
generates a positive contraction C0-semigroup
.
Theorem 2.2: The system (1), (2) and (3) has a unique positive dynamic solution
(18)
which can be expressed as
. (19)
3. The Main Result
To prove our main result on the asymptotic stability of the dynamic solution of system, we first prove the some lemmas. In [7] , A. Haji and A. Radl gave the following result.
Lemma 3.1: Let
, then
1)
.
2) If
and there exists
such that
, then
.
In our situation the operator
is
-matrix, as follows:
(20)
where
,
,(21)
,
, (22)
,
, (23)
,
, (24)
,
,(25)
,
,
, (26)
,
, (27)
,
(28)
, (29)
, (30)
,
, (31)
, (32)
, (33)
, (34)
,
, (35)
, (36)
,
, (37)
, (38)
,
, (39)
, (40)
, (41)
, (42)
,
. (43)
Lemma 3.2: For the operator
we have
.
Proof: All the entries of
are positive and one can compute each column sum of the
-matrix
as follows.
, (44)
, (45)
, (46)
, (47)
, (48)
, (49)
, (50)
, (51)
, (52)
, (53)
, (54)
, (55)
, (56)
, (57)
,
, (58)
. (59)
From these results we know that the matrix
is column stochastic and thus
. Applying Lemma 3.1 1), we immediately obtain
.
Using Lemma 3.1 2) we can show that 0 is the only spectral point of A on the imaginary axis.
Lemma 3.3: The spectrum
of A satisfies
. (60)
Proof: By Lemma 3.1 it suffices to prove that
for all
,
.
Since the General Assumption 2.1 implies that there exists
such that
and
for all
. Using the abbreviation
we can estimate
(61)
The first term on the right hand side of the inequality (61) can be estimated as
(62)
where we used the strict positivity of
on
in the last inequality. By inserting (62) into (61) we have
(63)
Using the same way we can also estimate
, (64)
, (65)
. (66)
Using (63)-(66) we can estimate each column sum of absolute entries of
as follows.
(67)
(68)
(69)
,
(70)
(71)
(72)
From (67)-(72) we deduce
, thus the spectral radius fulfills
. This implies
for all
, i.e.
for all
. By Lemma 3.1 2) we obtain that
for all
, i.e.,
.
Lemma 3.4: If the operator
is defined as
(73)
then for the set
we have
. Moreover, if
, then
, (74)
where
,
,
,
,
, (75)
,
,
,
(76)
,
,
,
, (77)
,
,
(78)
,
,
, (79)
, (80)
,
, (81)
,
, (82)
, (83)
,
,
(84)
, (85)
,
, (86)
,
,
(87)
The resolvent operator of the differential operators
where
with domain
, (
,
) are given by
(88)
(89)
(90)
(91)
Applying the same method as in [7] we can express the resolvent of A in terms of the resolvent of
, the Dirichlet operator
and the boundary operator as follows.
Lemma 3.5: If
, then
. (92)
The following property of C0-semigroup
generated by the system operator
is useful to prove the asymptotic stability of the dynamic solution of the system.
Theorem 3.6: The semigroup
generated by
is irreducible.
Proof: The representation (4) for the resolvent of
shows that it is a positive operator for
. We know from the proof of Lemma 3.3 that
, Hence the inverse of
can be computed via the Neumann series
. (93)
Using Lemma 3.5 we can now prove as in ( [7] Lemma 3.9) that
transforms any positive vector
into a strictly positive vector:
. (94)
By ( [8] Def. C-III 3.1) this is equivalent to the irreducibility of the semigroup
generated by
.
Using Lemma 3.2, Lemma 3.3 and Theorem 3.6 we obtain the following result.
Theorem 3.7: The space X can be decomposed into the direct sum
, (95)
where
is one-dimensional and spanned by a strictly positive eigenvector
of A. In addition, the restriction
is strongly stable.
Corollary 3.8: For all
, there exists
, such that
(96)
where
.
From Corollary 3.8 together with Theorem 2.2 we obtain our main result as follows.
Corollary 3.9: The dynamic solution of the system (1), (2) and (3) converges strongly to the steady state solution as time tends to infinity, that is, there exists
, such that
, (97)
where
as in Corollary 3.8.
4. Conclusion
In this paper, we investigated an N-unit series system with finite number of vacations. The study of the dynamic solution as well as its stability is in demand in terms of theory and practice. We discussed the asymptotic stability of the dynamic solution and proved that the dynamic solution converges strongly to the steady state solution by analyzing the spectral distribution of the system operator and taking into account the irreducibility of the semigroup generated by the system operator.
Acknowledgements
This research was supported by the National Natural Science Foundation of China (No. 11361057, No. 11761066) and the Natural Science Foundation of Xinjiang Uighur Autonomous Region (No. 2014211A002).
Conflicts of Interest
The authors declare no conflicts of interest regarding the publication of this paper.
Cite this paper
Osman, A., Haji, A. and Ablimit, A. (2018) Asymptotic Stability of the Dynamic Solution of an N-Unit Series System with Finite Number of Vacations. Journal of Applied Mathematics and Physics, 6, 2202-2218. https://doi.org/10.4236/jamp.2018.611185
References
- 1. Liu, R.B., Tang, Y.H. and Luo, C.Y. (2007) A New Kind of N-Unit Series Repairable System and Its Reliability Analysis. Mathematica Applicata, 20, 164-170.
- 2. Liu, R.B., Tang, Y.H. and Cao, B.S. (2008) A New Model for the N-Unit Series Repairable System and Its Reliability Analysis. Chinese Journal of Engineering Mathematics, 25, 421-428.
- 3. Kovalyov, M.Y. Portmann, M.C. and Oulamara, A. (2006) Optimal Testing and Repairing a Failed Series System. Journal of Combinatorial Optimization, 12, 279-295. https://doi.org/10.1007/s10878-006-9633-0
- 4. Liu, R.B. and Liu, Z.M. (2011) Reliability Analysis of an N-Unit Series Repairable System with Finite Number of Vacations. Operations Research and Management Science, 20, 102-107.
- 5. Osman, A. and Haji, A. (2016) Well-Posedness of an N-Unit Series System with Finite Number of Vacations. Journal of Applied Mathematics and Physics, 4, 1592-1599. https://doi.org/10.4236/jamp.2016.48169
- 6. Engel, K.-J. and Nagel, R. (2000) One-Parameter Semigroups for Linear Evolution Equations. Graduate Texts in Mathematics, 194, Springer-Verlag, Berlin.
- 7. Haji, A. and Radl, A. (2007) A Semigroup Approach to Queueing Systems. Semigroup Forum, 75, 610-624. https://doi.org/10.1007/s00233-007-0726-6
- 8. Nagel, R. (1986) One-Parameter Semigroups of Positive Operators. Springer-Verlag, Berlin.