2019/07/21 by Steinerberger, Stefan
#Classical Analysis and ODEs (math.CA) #FOS: Mathematics #FOS: Physical sciences #Mathematical Physics (math-ph)
paper · doi:10.48550/arxiv.1907.09023
Let M be a smooth, compact d-dimensional manifold, d ≥ 3, without boundary and let G: M × M → ℝ ∪ \∞\ denote the Green's function of the Laplacian -Δ (normalized to have mean value 0). We prove a bound on the cost of transporting Dirac measures in \x1, …, xn\ ⊂ M to the normalized volume measure dx in terms of the Green's function of the Laplacian W2( (1)/(n) ∑k=1nδxk, dx) \lesssimM \frac1n1/d + (1)/(n) | ∑k, ℓ=1 \atop k ≠ ℓnG(xk, xℓ)|1/2. We obtain the same result for the Coulomb kernel G(x,y) = 1/‖x-y‖d-2 on the sphere \mathbbSd, for d ≥ 3, where we show that W2((1)/(n) ∑k=1n δxk, dx) \lesssim \frac1n1/d + (1)/(n) | ∑k, ℓ=1 \atop k ≠ ℓn(\frac1‖xk - xℓ‖d-2 - cd ) |(1)/(2), where cd is the constant that normalizes the Coulomb kernel to have mean value 0. We use this to show that minimizers of the discrete Green energy on compact manifolds have optimal rate of convergence W2( (1)/(n) ∑k=1nδxk, dx) \lesssim n-1/d. The second inequality implies the same result for minimizers of the Coulomb energy on \mathbbSd which was recently proven by Marzo & Mas.