Chapter 37

Infinitesimal generators

[10/0%]
LaTeX
Problem 37.1

Let B\mathcal{B} be either the space L2L^{2} with respect to a finite measure or else the continuous functions vanishing at infinity for some locally compact separable metric space SS. In the former case, we say f≥0f \geq 0 if f(x)≥0f(x) \geq 0 for almost every xx, in the latter case if f(x)≥0f(x) \geq 0 for all xx. A semigroup is non-negative if f≥0f \geq 0 implies Ptf≥0P_{t} f \geq 0 for all t≥0t \geq 0. Suppose that PtP_{t} is a semigroup, the space B\mathcal{B} contains the constant functions, and Pt1=1P_{t} 1=1 for all tt. Show that PtP_{t} is a contraction if and only if PtP_{t} is non-negative.

?
Problem 37.2

Show that PtP_{t} and RλR_{\lambda } commute and that

PtRλf=∫0∞e−λsPs+tfds P_{t} R_{\lambda } f=\int _{0}^{\infty } e^{-\lambda s} P_{s+t} f d s

Show that for any a<ba<b we have

∥∫abeλtPtfdt∥≤∫abe−λt∥Ptf∥dt \left\| \int _{a}^{b} e^{\lambda t} P_{t} f d t\right\| \leq \int _{a}^{b} e^{-\lambda t}\left\| P_{t} f\right\| d t

Hint: Approximate RλfR_{\lambda } f by a Riemann sum.

?
Problem 37.3

Show that if PtP_{t} is a contraction semigroup and RλR_{\lambda } is the resolvent, then

∥Rλ∥≤1/λ(37.18) \left\| R_{\lambda }\right\| \leq 1 / \lambda \tag {37.18}
?
Problem 37.4

Show that if AA is a bounded operator and Tt=etAT_{t}=e^{t A}, then TtT_{t} is a strongly continuous semigroup of operators with infinitesimal generator AA. (We cannot assert that the TtT_{t} are contractions.)

?
Problem 37.5

Prove that if L\mathcal{L} is dissipative, the domain of L\mathcal{L} is dense in B\mathcal{B}, and the range of λ−L\lambda -\mathcal{L} is dense in B\mathcal{B}, then L‾\overline{\mathcal{L}} defined in (37.12) is a closed extension of L\mathcal{L} that is dissipative and the range of λ−L‾\lambda -\overline{\mathcal{L}} is equal to B\mathcal{B}. Show there is only one such closed extension of L\mathcal{L}.

?
Problem 37.6

If the range of λ−L\lambda -\mathcal{L} equals B\mathcal{B} for a single value of λ\lambda, then the range of λ−L\lambda -\mathcal{L} equals B\mathcal{B} for every value of λ\lambda.

Hint: Define RλR_{\lambda } as the inverse of λ−L\lambda -\mathcal{L}, then use (37.3) to define RaR_{a} for other values of aa.

?
Problem 37.7

Let (Xt,P[x])\left(X_{t}, \mathbb {P}[x]\right) be a Markov process with transition probabilities given by Ptf(x)=f(x+t)P_{t} f(x)=f(x+t). Determine L\mathcal{L} and D(L)\mathcal{D}(\mathcal{L}).

?
Problem 37.8

Let PtP_{t} be a strongly continuous semigroup of contraction operators and let L\mathcal{L} be the infinitesimal generator. Show that D(Ln)\mathcal{D}\left(\mathcal{L}^{n}\right) is dense in B\mathcal{B} for every positive integer nn.

?
Problem 37.9

This is a continuation of Exercise 36.5. Prove that if f∈C2f \in C^{2} with compact support, PtP_{t} is the semigroup given in Exercise 36.5, and L\mathcal{L} is the infinitesimal generator, then the Fourier transform of Lf\mathcal{L} f is f^(u)ψ(u)\widehat{f}(u) \psi (u).

?
Problem 37.10

Suppose that PtP_{t} is a strongly continuous semigroup, but not necessarily of contractions. Thus Pt+s=PtPsP_{t+s}=P_{t} P_{s} and Ptf→fP_{t} f \rightarrow f in norm if f∈Bf \in \mathcal{B}, but we do not assume ∥Pt∥≤1\left\| P_{t}\right\| \leq 1. Prove that there exist constants K,b>0K, b>0 such that ∥Pt∥≤Kebt\left\| P_{t}\right\| \leq K e^{b t} for all t≥0t \geq 0.

Hint: Use the uniform boundedness principle from functional analysis to prove there exists c,t0c, t_{0} such that ∥Pt∥≤c\left\| P_{t}\right\| \leq c if t≤t0t \leq t_{0}. Then use the semigroup property.

?