Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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|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
1  
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

2 Answers 2

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

See for example this paper.

share|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

Both the semigroup law and strong continuity follow directly from the semigroup law satisfied by $S_t$ and ${S_t}^*$ and by their strong continuity (here it is fundamental that $\mathcal H$ is a Hilbert space, strong continuity of the adjoint semigroup being false in the case of general Banach spaces). Also determining the generator is just an easy exercise in differentiation of a vector-valued function of one real variable (applying the chain rule).

share|improve this answer

Your Answer

 
discard

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.