Let (left(T_{t} ight)_{t geqslant 0}) be a Feller semigroup, i.e. a strongly continuous, positivity preserving sub-Markovian semigroup
Question:
Let \(\left(T_{t}\right)_{t \geqslant 0}\) be a Feller semigroup, i.e. a strongly continuous, positivity preserving sub-Markovian semigroup on \(\left(\mathcal{C}_{\infty}\left(\mathbb{R}^{d}\right),\|\cdot\|_{\infty}\right)\), cf. Remark 7.4.
a) Show that \((t, x) \mapsto T_{t} u(x)\) is jointly continuous for \(t \geqslant 0\) and \(x \in \mathbb{R}^{d}\).
b) Conclude that for every compact set \(K \subset \mathbb{R}^{d}\) the function \((t, x) \mapsto T_{t} \mathbb{1}_{K}(x)\) is measurable.
c) Show that \((t, x, u) \mapsto T_{t} u(x)\) is jointly continuous for all \(t \geqslant 0, x \in \mathbb{R}^{d}\) and \(u \in \mathcal{C}_{\infty}\left(\mathbb{R}^{d}\right)\).
Data From 7.4 Remark
Step by Step Answer:
Brownian Motion A Guide To Random Processes And Stochastic Calculus De Gruyter Textbook
ISBN: 9783110741254
3rd Edition
Authors: René L. Schilling, Björn Böttcher