On diffusions
[13/100%]Let be the generator of a diffusion process in the sense of Definition 23.1 and denote by the diffusion and drift coefficients. Show that and .
Show that under the assumptions of Proposition 23.5 we can interchange integration and differentiation: and that the resulting function is in .
Let be a closed operator such that ; here . Show that .
Let be a second order differential operator. Determine its formal adjoint , i.e. the linear operator satisfying for all . What is the formal adjoint of the operator ?
Complete the proof of Proposition 23.6 (Kolmogorov's forward equation).
Let be a . Show that is a diffusion process and determine its generator.
Let be a diffusion process with the infinitesimal generator as in (23.1). Write .
Show that is an martingale for all .
Show that is a local martingale for all .
Denote by , the quadratic covariation of the martingales and , cf. (15.8) and Theorem 15.15.b). Show that
denotes the Euclidean scalar product and
Remark. The operator is called carré - du - champ or mean - field operator.
Consider the , where such that , is Lipschitz continuous. Show that all , are polynomially bounded.
Let be a and denote by the strong solution of the SDE
where . The following problem makes a connection between and Brownian motion killed with rate .
Show that for
with the potential .
Use the Feynman - Kac formula to rewrite the formula for in the following way:
for a suitable operator semigroup . The corresponding process is a Brownian motion killed at rate .
This is a particular case of Doob's - transform with .
Let be a local martingale with and denote its quadratic variation by . Show that implies that .
Let be a continuous, real - valued local martingale and . Show the following Itô formula .
Let be a continuous local martingale. Show that is a localizing sequence which makes bounded.
Prove the converse of Corollary 23.20.