English

Jensen's inequality in geodesic spaces with lower bounded curvature

Metric Geometry 2021-03-30 v2 Differential Geometry Probability

Abstract

Let (M,d)(M,d) be a separable and complete geodesic space with curvature lower bounded, by κR\kappa\in \mathbb R, in the sense of Alexandrov. Let μ\mu be a Borel probability measure on MM, such that μP2(M)\mu\in\mathcal P_2(M), and that has at least one barycenter xMx^{*}\in M. We show that for any geodesically α\alpha-convex function f:MRf:M\to \mathbb R, for αR\alpha\in \mathbb R, the inequality f(x)M(fα2d2(x,.))dμ,f(x^*)\le \int_M (f -\frac{\alpha}{2}d^2(x^*,.))\,{\rm d}\mu, holds provided ff is locally Lipschitz at xx^* and either positive or in L1(μ)L^1(\mu). Our proof relies on the properties of tangent cones at barycenters and on the existence of gradients for semi-concave functions in spaces with lower bounded curvature.

Keywords

Cite

@article{arxiv.2011.08597,
  title  = {Jensen's inequality in geodesic spaces with lower bounded curvature},
  author = {Quentin Paris},
  journal= {arXiv preprint arXiv:2011.08597},
  year   = {2021}
}

Comments

21 pages