Infinitesimal generators
[10/0%]Let be either the space with respect to a finite measure or else the continuous functions vanishing at infinity for some locally compact separable metric space . In the former case, we say if for almost every , in the latter case if for all . A semigroup is non-negative if implies for all . Suppose that is a semigroup, the space contains the constant functions, and for all . Show that is a contraction if and only if is non-negative.
Show that and commute and that
Show that for any we have
Hint: Approximate by a Riemann sum.
Show that if is a contraction semigroup and is the resolvent, then
Show that if is a bounded operator and , then is a strongly continuous semigroup of operators with infinitesimal generator . (We cannot assert that the are contractions.)
Prove that if is dissipative, the domain of is dense in , and the range of is dense in , then defined in (37.12) is a closed extension of that is dissipative and the range of is equal to . Show there is only one such closed extension of .
If the range of equals for a single value of , then the range of equals for every value of .
Hint: Define as the inverse of , then use (37.3) to define for other values of .
Let be a Markov process with transition probabilities given by . Determine and .
Let be a strongly continuous semigroup of contraction operators and let be the infinitesimal generator. Show that is dense in for every positive integer .
This is a continuation of Exercise 36.5. Prove that if with compact support, is the semigroup given in Exercise 36.5, and is the infinitesimal generator, then the Fourier transform of is .
Suppose that is a strongly continuous semigroup, but not necessarily of contractions. Thus and in norm if , but we do not assume . Prove that there exist constants such that for all .
Hint: Use the uniform boundedness principle from functional analysis to prove there exists such that if . Then use the semigroup property.