The Hamilton-Jacobi Equation with Common Noise for Controlled Langevin Dynamics in a Confining Potential on the Wasserstein Space

In the setting of The Intrinsic Calculus on the Wasserstein Space: Standing Notation. Let $V$ be a confining potential on $\mathbb{R}^{d}$, with gradient map $\nabla V$, let $\lambda_{0},\sigma,\theta\in\mathbb{R}$ be positive, let $\kappa\in\mathbb{R}$ be nonnegative, let $g:\mathcal{P}_{2}(\mathbb{R}^{d})\to\mathbb{R}$, and let $(\mathcal{D},\mathcal{D}_{\Sigma},\mathcal{E},\Sigma)$ be the Langevin free-energy pair with potential $V$ and noise intensity $\sigma$, a penalty pair by The Langevin Free-Energy Pair is a Wasserstein-Coercive Penalty Pair: Growth Bounds, Continuity of the Translation Hessian, and the First Variation of the Penalty §pair, so that $\Sigma(\nu)=\nabla V+\tfrac{\sigma^{2}}{2}\xi_{\nu}$ for $\nu\in\mathcal{D}_{\Sigma}$, with $\xi_{\nu}$ the score. For $\nu\in\mathcal{P}_{2}(\mathbb{R}^{d})$, $\langle\cdot,\cdot\rangle_{\nu}$ and $\lVert\cdot\rVert_{\nu}$ are the inner product and norm of $L^{2}(\nu;\mathbb{R}^{d})$, and $\mathrm{tr}\,Y$ is the trace of $Y\in\mathcal{S}(d)$. 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. (The operator)¶ The Langevin Hamilton-Jacobi operator with common noise, with potential $V$, noise intensity $\sigma$, discount $\lambda_{0}$, common-noise intensity $\kappa$, control cost $\theta$ and running cost $g$, is the Hamilton-Jacobi operator with common noise and penalty drift of that pair with discount $\lambda_{0}$, common-noise intensity $\kappa$, control cost $\theta$ and running cost $g$, a second-order equation operator over $\mathcal{D}_{\Sigma}$; by the formula for $\Sigma$, its value at $(\nu,r,q,Y)$ is

2. (The equation)¶ The Langevin Hamilton-Jacobi equation with common noise is

that is, $F(\nu,r,q,Y)=0$, with $(\nu,q)$ in the bundle $\mathcal{V}(\mathcal{D}_{\Sigma})$, $r\in\mathbb{R}$ and $Y\in\mathcal{S}(d)$. Its classical and viscosity solutions, subsolutions and supersolutions are those of The Discounted Hamilton-Jacobi Equation with Common Noise and a Penalty Drift on the Wasserstein Space §equation for this pair and these coefficients.