MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Consider $C_0$-semigroup $S_t:\mathscr{B(H)} \to \mathscr{B(H)}$ with generator $U$. Now define $P_t:\mathscr{B_1(H)} \to \mathscr{B_1(H)}$ where $P_t(\rho)=S_t\rho S_t^*$. How can I prove $P_t$ to be $C_0$-semigroup and the generator of $P_t$ is given by $A$, where $A(\rho)=U\rho+\rho U^*$?

share|cite|improve this question
This doesn't look like a research question. Bratteli and Robinson is my favorite source for the basic theory of semigroups of operators. – Nik Weaver Jan 29 '13 at 11:31
What is ${\mathcal B}_1({\mathcal H})$? – Delio Mugnolo Jan 29 '13 at 16:30
If U is bounded, this is rather obvious. However, if U is unbounded, there is in general an issue of domains. It is easy to come up with example where $U\rho$ is an unbounded operator, but $A(\rho)$ is bounded. Hence the generator of $P_t$ will in general be an extension of $A$. – Michael Renardy Jan 29 '13 at 16:45

The semigroups you construct is in general only weak-* continuous. Are you looking for so-called implemented semigroups?

See for example this paper.

share|cite|improve this answer
Andras, I do not understand. Would this semigroup be in general only weak*-continuous even if $\mathcal H$ is a Hilbert space? I thought this may happen only if the semigroup acts on a non-reflexive Banach space. – Delio Mugnolo Jan 30 '13 at 20:53
$\mathcal B(\mathcal H)$ is in general a non-reflexive Banach space... – András Bátkai Jan 31 '13 at 13:04
oh. such a stupid mistake. of course, you are right. – Delio Mugnolo Feb 1 '13 at 0:49

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.