MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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

Let $X$ be a Banach space, and $(P_t)_{t \ge 0}$ a strongly continuous semigroup of bounded operators on $X$. Using the uniform boundedness principle, it's simple to prove that there are constants $M, \omega$ such that $$\|P_t\| \le M e^{\omega t} \quad (*)$$ for all $t$. Moreover, if $M=1$ you can get a contraction semigroup by studying $e^{-\omega t} P_t$, and I'm having trouble thinking of an example where that's not the case.

What is a simple example of a semigroup $P_t$ for which (*) cannot hold with $M=1$?

If possible, I'd like to see an example where $X$ is a separable Hilbert space.

share|cite|improve this question
up vote 6 down vote accepted

There are many examples constructed with weighted shifts. The following is a Hilbert space example.

Let us consider the Hilbert space $L^2((0,1),\mu)$, where $\mu$ denotes the measure defined by $$\mu(A):=2\lambda(A\cap(0\tfrac12))+\lambda(A\cap(\tfrac12,1)).$$ for all Lebesgue measurable sets A. Here $\lambda$ is the Lebesgue-measure. Furthermore, let $T(t)$ be the nilpotent left shift semigroup. Obviously, $T$ satises the semigroup property and, since the norm $\|\cdot\|_{\mu}$ is equivalent to the norm $\|\cdot\|_{\lambda}$, $T$ is strongly continuous.

Clearly, $\|T(t)\|\leq 2$.

In addition we see that $T(t) = 0$ for all $t>1$.

Finally, consider the function $$f_t = \frac{1}{\sqrt{t}}\chi_{(\frac12,\frac12+t)}$$ for $t\in(0,\tfrac12)$. Clearly, $\|f_t\|_{\mu} = 1$ and $$\|T(t)f_t\|_{\mu} = 2.$$

ADDED:

Theoretically, you can always introduce an equivalent norm in your space which makes your semigroup a contraction semigroup, see Lemma II.3.10 in K. Engel, R. Nagel One-Parameter Semigroups for Linear Evolution Equations. The construction is, however, in most cases highly non-constructive and can only used for theoretical purposes.

It is more important that there are examples in Hilbert spaces where it is imnpossible to find an equivalent Hilbert space norm (i.e., the semigroup is not similar to a contraction semigroup), see

Packel, E.W. A semigroup analogue of Foguel's counterexample. (English) Proc. Am. Math. Soc. 21, 240-244 (1969).

share|cite|improve this answer
    
Thanks very much! – Nate Eldredge Jun 28 '13 at 18:50
    
Just to point out that the modification of the norm as described for example by Engel and Nagel and quite common in the theory of dynamical systems and facilitates substantially some of the arguments. On refers to them usually as Lyapunov norms and are important for example in smooth ergodic theory. The comments made by András apply verbatim to the construction in dynamics. – John B Dec 20 '15 at 23:37

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.