Smoothness of the density for McKean-Vlasov SDEs with measurable kernel

Abstract

Consider the McKean-Vlasov SDE $$d{X}_t=⟨b(X_t-\cdot ),\hat{I}{¼}_t⟩dt+d{W}_t,\hat{I}{¼}_t=\mathrm{Law}(X_t),$$ where $W$ is the $n$-dimensional Brownian motion and $b:{\mathbb{R}}^d\to {\mathbb{R}}^d$ is a measurable function. First assuming $b\in L^{\infty }$, we prove that the law $\hat{I}{¼}_t$ of $X_t$ has a density $p_t$ with respect to the Lebesgue measure, which is continuously differentiable with gradient being ${\hat{I}}^3$-Hölder continuous for each ${\hat{I}}^3\in (0,1)$. Assume further that $b\in {\mathcal{C}}_b^1$, we prove that the density $p_t$ is infinitely differentiable. In the regularization by noise perspective, this shows McKean-Vlasov SDEs tend to have a smoother density function than SDEs without density dependence, under the same regularity assumption of the coefficients. We observe similar phenomenon for singular interaction kernels satisfying Krylov's integrability condition, for distributional kernels $b\in B_{\infty ,\infty }^{\hat{I}}\pm$, $\hat{I}\pm \in (-1,0)$, and for processes driven by an $\hat{I}\pm$-stable noise for $\hat{I}\pm \in (1,2)$.

31 pages. The assumption of Theorem 1.2 is weakened from $b\in {\mathcal{C}}_b^{1+\hat{I}\pm }$ to $b\in {\mathcal{C}}_b^1$