Cross-Level Comparison at Tensor Powers: a Lifted N-Particle Subsolution Lies below N Times a Mean-Field Supersolution with the Tensor-Averaged Cost

In the setting of N-Particle Systems on the Wasserstein Space: Particles, Configurations and the Configuration Level. 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 $\Gamma\in\mathcal{M}_{p\times d}(\mathbb{R})$, and let $c:\mathbb{R}^{dN}\to\mathbb{R}$ be uniformly continuous for the Euclidean distance and the metric of The Absolute Value Metric on the Real Line, with $b\in\mathbb{R}$ such that $|c(x)|\le b$ for every $x\in\mathbb{R}^{dN}$. Let $\tilde{c}$ be the tensor-averaged cost of $c$, bounded and uniformly continuous 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. The $N$-particle equation is the lifted $N$-particle Hamilton-Jacobi equation with potential $V$, noise intensity $\sigma$, discount $\lambda_{0}$, control cost $\theta$, common-noise matrix $\Gamma$ and running cost $c$, whose viscosity sub- and supersolutions are functions on the domain $\mathcal{D}_{N}$ of the configuration-level Langevin pair named there; the mean-field equation is 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}$, whose viscosity sub- and supersolutions are functions on the domain $\mathcal{D}$ of the Langevin pair named there. For $\mu\in\mathcal{D}$, $\mu^{\otimes N}\in\mathcal{D}_{N}$ by The Langevin Free-Energy Pair across the Particle and Configuration Levels: Tensor Powers, One-Particle Marginals and Diagonal Translation Hessians §tensor. The letter $\sigma$ denotes the noise intensity; 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.

1. (Comparison)¶ Let $U:\mathcal{D}_{N}\to\mathbb{R}$ be a viscosity subsolution of the $N$-particle equation that is bounded above, and let $v:\mathcal{D}\to\mathbb{R}$ be a viscosity supersolution of the mean-field equation that is bounded below. Then

2. (Solutions)¶ The $N$-particle equation has a unique bounded viscosity solution $U_{N}$, by Well-Posedness of the Lifted N-Particle Hamilton-Jacobi Equation: Comparison, Existence and Uniqueness of a Bounded Viscosity Solution §existence and Well-Posedness of the Lifted N-Particle Hamilton-Jacobi Equation: Comparison, Existence and Uniqueness of a Bounded Viscosity Solution §uniqueness, and the mean-field equation has a unique bounded viscosity solution $\bar{u}_{N}$, 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. They satisfy $U_{N}(\mu^{\otimes N})\le N\,\bar{u}_{N}(\mu)$ for every $\mu\in\mathcal{D}$.