Welcome to MathOverflow

Question

0

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^*$?

flag	asked Jan 29 at 11:22 preetinder 1

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 at 11:31

1

What is ${\mathcal B}_1({\mathcal H})$? – Delio Mugnolo Jan 29 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 at 16:45

András Bátkai · Answer 1 · 2013-01-29 16:49:36Z UTC

2

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

See for example this paper.

answered Jan 29 at 16:49

András Bátkai
806●1●4●12

	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 at 20:53
	$\mathcal B(\mathcal H)$ is in general a non-reflexive Banach space... – András Bátkai Jan 31 at 13:04
	oh. such a stupid mistake. of course, you are right. – Delio Mugnolo Feb 1 at 0:49

Delio Mugnolo · Answer 2 · 2013-01-30 01:09:36Z UTC

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).

Generator of a generated $C_0$ semigroup.

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

2 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.