 Solution

Let $E$ be the underlying Banach space. By the Laplace-transform formula for a semigroup resolvent,These are Bochner integrals, defined for every $f\in E$ and $\lambda >0$. The contraction semigroup bound and semigroup property giveInterchanging and regrouping these Bochner integrals is justified by the integrable bound $e^{-\lambda s-\mu t}\Vert f\Vert$, whose integral is $\Vert f\Vert /(\lambda \mu )$. For $\lambda \ne \mu$, set $v=s+t$ and evaluate the inner scalar integral:Since $f$ was arbitrary, the resolvent identity follows:For $\lambda =\mu$, both sides vanish, so that case holds as well.