First order equation on random measures as superposition of weak solutions to the McKean-Vlasov equation
Alessandro Pinzi
TL;DR
The paper develops a framework to evolve curves of random probability measures $M_t$ via a first-order, non-local operator $\mathcal{K}_{b_t,a_t}$, and proves a nested superposition principle that represents $M_t$ as both a superposition of solutions to the non-linear Kolmogorov-Fokker-Planck equation and a superposition of weak solutions to the McKean-Vlasov SDE. It defines a measurable lifting structure with $\Lambda$ on path space and $\mathfrak{L}$ on curves of SDE paths, establishing precise compatibility and measurability properties and a mechanism to transfer existence and uniqueness from the random-measure equation to the KFP and MV equations under a linearized uniqueness assumption. The work introduces integral-metric tools to handle convergence in the space of random measures and provides a rigorous treatment of filtrations and measurability needed for the stochastic-analytic arguments. Together, these results extend stochastic and measure-valued reformulations of interacting particle systems, offering a pathway to well-posedness analyses under low-regularity coefficients and informing selection principles in infinite dimensions.
Abstract
The goal of this paper is to define an evolution equation for a curve of random probability measures $(M_t)_{t\in[0,T]}\subset \mathcal{P}(\mathcal{P}(\mathbb{R}^d))$ associated to a non-local drift $b:[0,T]\times\mathbb{R}^d \times \mathcal{P}(\mathbb{R}^d) \to \mathbb{R}^d$ and a non-local diffusion term $a:[0,T]\times \mathbb{R}^d \times \mathcal{P}(\mathbb{R}^d) \to \operatorname{Sym}_+(\mathbb{R}^{d\times d})$. Then, we show that any solution to that equation can be lifted to a superposition of solutions to a non-linear Kolmogorov-Fokker-Planck equation and also to a superposition of weak solutions to the McKean-Vlasov equations. Finally, we use this superposition result to show how existence and uniqueness can be transferred from the equation on random measures to the associated non-linear Kolmogorov-Fokker-Planck equation and to the McKean-Vlasov equation, assuming uniqueness of the linearized KFP.
