Resolvent set of the M/MB/1 operator

First, we prove that the M/MB/1 operator is a conservative operator, thus showing that the M/MB/1 queueing model has a unique positive time-dependent solution which satisfies the probability condition, and then prove that all points on the imaginary axis except for zero belong to the resolvent set of this operator.