Operator semi-group of density evolution equation for a repairable redundant system with two same components (Q4456538)

For a repairable redundant system consisting of two components with exponential lifetime and general repair time distribution, the probability densities of the system in some state at time \(t\) are determined by a system of ordinary and partial differential equations, called density evolution equations by the authors. They consider the corresponding abstract Cauchy problem and show that the operator associated to the equations is dispersive, meaning by the Phillips generation theorem that it generates a positive strongly continuous semigroup. Using the theory of positive semigroups, the authors also obtain some convergence results for the solutions. Unfortunately, most statements in the paper appear without a proof, which makes it difficult to read.