Existence of flows for linear Fokker-Planck-Kolmogorov equations and its connection to well-posedness

Abstract

Let the coefficients $a_{ij}$ and $b_i$, $i,j \leq d$, of the linear Fokker-Planck-Kolmogorov equation (FPK-eq.) $$\partial_tμ_t = \partial_i\partial_j(a_{ij}μ_t)-\partial_i(b_iμ_t)$$ be Borel measurable, bounded and continuous in space. Assume that for every $s \in [0,T]$ and every Borel probability measure $ν$ on $\mathbb{R}^d$ there is at least one solution $μ= (μ_t)_{t \in [s,T]}$ to the FPK-eq. such that $μ_s = ν$ and $t \mapsto μ_t$ is continuous w.r.t. the topology of weak convergence of measures. We prove that in this situation, one can always select one solution $μ^{s,ν}$ for each pair $(s,ν)$ such that this family of solutions fulfills $$μ^{s,ν}_t = μ^{r,μ^{s,ν}_r}_t \text{ for all }0 \leq s \leq r \leq t \leq T,$$which one interprets as a flow property of this solution family. Moreover, we prove that such a flow of solutions is unqiue if and only if the FPK-eq. is well-posed.