Lower Convergence: The Solution with the Local Cost Is Asymptotically below the Mean-Field Solutions with the Mollified Costs

In the setting of N-Particle Systems on the Wasserstein Space: Particles, Configurations and the Configuration Level. The letter $N$, fixed in N-Particle Systems on the Wasserstein Space: Particles, Configurations and the Configuration Level §particles as the number of particles, is used here only as a running index of sequences; no object below depends on it otherwise. The letter $\eta$, which denotes vector fields in Wasserstein Spaces, Random Vectors, Vector Fields and Symmetric Matrices in Every Dimension: Standing Notation §fields, denotes here a mollifier kernel; the letter $\sigma$ denotes the noise intensity, and the swap map written $\sigma$ in Couplings on Euclidean Space: Product Coupling, Swap, Finiteness of the Cost, Push-Forward Couplings, Modifying One Marginal, Quantisation, Gluing over a Finitely Supported Measure, and the Lipschitz Bound §swap is not used; the letter $\theta$ denotes the control cost, and tolerances are written $\vartheta$.

Let $V$ be a confining potential on $\mathbb{R}^{d}$, let $\lambda_{0},\sigma\in\mathbb{R}$ be positive, let $\theta\in\mathbb{R}$ satisfy $0<\theta\le1$, let $p\in\mathbb{N}$ and let $\Gamma\in\mathcal{M}_{p\times d}(\mathbb{R})$ be a real $p\times d$ matrix. Let $L\in\mathbb{R}$ be nonnegative, let $\Phi$ be a convex Lipschitz integrand with constant $L$, let $\eta$ be a mollifier kernel of radius $1$ on $\mathbb{R}^{d}$, and let $f:\mathbb{R}^{d}\to\mathbb{R}$ be bounded and uniformly continuous for the Euclidean distance and the metric of The Absolute Value Metric on the Real Line. Let $(\varepsilon_{N})_{N\in\mathbb{N}}$ be real numbers with $0<\varepsilon_{N}\le1$ for every $N\in\mathbb{N}$ such that, for every positive $\tau\in\mathbb{R}$, there is $N_{0}\in\mathbb{N}$ with $\varepsilon_{N}\le\tau$ for every $N\in\mathbb{N}$ with $N_{0}\le N$.

Let $(\mathcal{D},\mathcal{D}_{\Sigma},\mathcal{E},\Sigma)$ be the Langevin free-energy pair with potential $V$ and noise intensity $\sigma$, and let $|s|$ be the absolute value of $s\in\mathbb{R}$. The function $\nu\mapsto\int_{\mathbb{R}^{d}}f\,d\nu$ on $\mathcal{P}_{2}(\mathbb{R}^{d})$ is bounded and uniformly continuous for $W_{2}$ by Running Costs for N-Particle Systems: Integrals of Bounded Uniformly Continuous Functions and Costs of the Empirical Measure §integral, read with $m=d$; let $u:\mathcal{D}\to\mathbb{R}$ be the unique bounded viscosity solution of the Langevin Hamilton-Jacobi equation with common noise and density cost with potential $V$, noise intensity $\sigma$, discount $\lambda_{0}$, common-noise matrix $\Gamma$, control cost $\theta$, running cost $\nu\mapsto\int_{\mathbb{R}^{d}}f\,d\nu$ and integrand $\Phi$, which exists and is unique by Well-Posedness of the Langevin Hamilton-Jacobi Equation with Common Noise and a Density Cost: Existence and Uniqueness of a Bounded Viscosity Solution §existence and Well-Posedness of the Langevin Hamilton-Jacobi Equation with Common Noise and a Density Cost: Existence and Uniqueness of a Bounded Viscosity Solution §uniqueness. For each $N\in\mathbb{N}$, let $g_{\varepsilon_{N}}$ be the mollified mean-field cost with data $f$, $\Phi$, $\eta$ and $\varepsilon_{N}$, bounded and uniformly continuous for $W_{2}$ by The Mollified N-Particle Cost: Regularity, Its Tensor-Averaged Cost, and the Defect against the Local Cost §regularity, and let $u'_{N}:\mathcal{D}\to\mathbb{R}$ be the unique bounded viscosity solution of the Langevin Hamilton-Jacobi equation with common noise with potential $V$, noise intensity $\sigma$, discount $\lambda_{0}$, common-noise matrix $\Gamma$, control cost $\theta$ and running cost $g_{\varepsilon_{N}}$, which exists and is unique by Well-Posedness of the Hamilton-Jacobi Equation with Common Noise for Controlled Langevin Dynamics: Existence and Uniqueness of a Bounded Viscosity Solution §existence and Well-Posedness of the Hamilton-Jacobi Equation with Common Noise for Controlled Langevin Dynamics: Existence and Uniqueness of a Bounded Viscosity Solution §uniqueness.

(Lower convergence)¶ For all positive $R,\vartheta\in\mathbb{R}$ there is $N_{1}\in\mathbb{N}$ such that