Abstract:
We define a class of not necessarily linear C0-semigroups (Pt)t≥0 on Cb(E) (more generally, on Cκ(E):=1κCb(E), for some growth bounding continuous function κ) equipped with the mixed topology τM1 for a large class of topological state spaces E. In the linear case we prove that such (Pt)t≥0 can be characterized as integral operators given by measure kernels satisfying certain properties. We prove that the strong and weak infinitesimal generators of such C0-semigroups coincide. As a main result we prove that transition semigroups of Markov processes are C0-semigroups on (Cb(E),τM1), if they leave Cb(E) invariant and they are jointly weakly continuous in space and time. In particular, they are infinitesimally generated by their generator (L,D(L)) and thus reconstructable through an Euler formula from their strong derivative at zero in (Cb(E),τM1). This solves a long standing open problem on Markov processes. Our results apply to a large number of Markov processes given as the laws of solutions to SDEs and SPDEs, including the stochastic 2D Navier-Stokes equations and the stochastic fast and slow diffusion porous media equations. Furthermore, we introduce the notion of a Markov core operator (L0,D(L0)) for the above generators (L,D(L)) and prove that uniqueness of the Fokker-Planck-Kolmogorov equations corresponding to (L0,D(L0)) for all Dirac initial conditions implies that (L0,D(L0)) is a Markov core operator for (L,D(L)). As a consequence we can identify the Kolmogorov operator of a large number of SDEs on finite and infinite dimensional state spaces as Markov core operators for the infinitesimal generators of the C0-semigroups on (Cκ(E),τMκ) given by their transition semigroups. Furthermore, if each Pt is merely convex, we prove that (Pt)t≥0 gives rise to viscosity solutions to the Cauchy problem of its associated (non linear) infinitesimal generators. We also show that value functions of optimal control problems, both, in finite and infinite dimensions are particular instances of convex C0-semigroups on (Cκ(E),τMκ).