Limit Theorems in Wasserstein Distance for Empirical Measures of Diffusion Processes on Riemannian Manifolds
Feng-Yu Wang,Jie-Xiang Zhu
DOI: https://doi.org/10.1214/22-aihp1251
2023-01-01
Abstract:Let (M, rho) be a connected compact Riemannian manifold without boundary or with a convex boundary partial derivative M, let V is an element of C-2 (M) such that mu(dx) := e(V(x)) dx is a probability measure, where dx is the volume measure. Let {lambda(i)}(i >= 1) be all non-trivial eigenvalues of -L with Neumann boundary condition if partial derivative M not equal phi, where L := Delta + del V for Delta being the Laplace-Beltrami operator on M. Then the empirical measures {mu(t)}(t>0) of the diffusion process generated by L (with reflecting boundary if partial derivative M not equal phi) satisfy (lim)(t -> infinity) {tE(x) [W-2 (mu(t), mu)(2)]} = Sigma(infinity)(i=1) 2/lambda(2)(i) uniformly in x is an element of M, where E-x is the expectation for the diffusion process starting at point x, and W-2 is the L-2-Wasserstein distance induced by the Riemannian metric. The limit is finite if and only if d <= 3, and in this case we derive (lim)(t -> infinity) (x is an element of M) (sup)|P-x (tW(2)(mu(t), mu)(2) < a) - P(Sigma(infinity)(k=1) 2 xi(2)(k)/lambda(2)(k) < a)| = 0, a >= 0, where {xi(k)} k >= 1 are i.i.d. standard Gaussian random variables. Moreover, E-x[W-2(mu(t), mu)(2)] similar to t (- 2/d-2) for d >= 5, and when d = 4 we have E-x [W-2(mu(t), mu)(2)] <= ct(-1) log t for some constant c > 0 and large t while the same type lower bound estimate holds for M = T-4. Finally, we establish the long-time large deviation principle for {W-2(mu(t), mu)(2)}(t >= 0) with a good rate function given by the information with respect to mu.