Upper Convergence: Mean-Field Solutions with the Tensor-Averaged Mollified Costs Are Asymptotically below the Solution with the Local Cost

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 as a running index: for each $N\in\mathbb{N}$, the mollified $N$-particle cost and its tensor-averaged cost below are those formed in that setting with this $N$, and in real arithmetic $N$ is its image under the canonical map. 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 $M\in\mathbb{R}$, there is $N_{0}\in\mathbb{N}$ with

the power being that of Natural Number Power of an Element of a Field.

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 $c_{N}=c_{N,\varepsilon_{N}}$ be the mollified $N$-particle cost with data $f$, $\Phi$, $\eta$ and $\varepsilon_{N}$, bounded and uniformly continuous on $\mathbb{R}^{dN}$ by The Mollified N-Particle Cost: Regularity, Its Tensor-Averaged Cost, and the Defect against the Local Cost §regularity; let $\tilde{c}_{N}$ be its tensor-averaged cost, bounded and uniformly continuous on $\mathcal{P}_{2}(\mathbb{R}^{d})$ by The Tensor-Averaged Cost of a Bounded Uniformly Continuous Cost is Bounded and Uniformly Continuous §bound and The Tensor-Averaged Cost of a Bounded Uniformly Continuous Cost is Bounded and Uniformly Continuous §uniform; and let $\bar{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 $\tilde{c}_{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.

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