Jensen's inequality in geodesic spaces with lower bounded curvature
Let $(M,d)$ be a separable and complete geodesic space with curvature lower bounded, by $\kappa\in \mathbb R$, in the sense of Alexandrov. Let $\mu$ be a Borel probability measure on $M$, such that $\mu\in\mathcal P_2(M)$, and that has at least one barycenter $x^{*}\in M$. We show that for any geode...
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Artikel |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext bestellen |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | Let $(M,d)$ be a separable and complete geodesic space with curvature lower
bounded, by $\kappa\in \mathbb R$, in the sense of Alexandrov. Let $\mu$ be a
Borel probability measure on $M$, such that $\mu\in\mathcal P_2(M)$, and that
has at least one barycenter $x^{*}\in M$. We show that for any geodesically
$\alpha$-convex function $f:M\to \mathbb R$, for $\alpha\in \mathbb R$, the
inequality \[f(x^*)\le \int_M (f -\frac{\alpha}{2}d^2(x^*,.))\,{\rm d}\mu,\]
holds provided $f$ is locally Lipschitz at $x^*$ and either positive or in
$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. |
---|---|
DOI: | 10.48550/arxiv.2011.08597 |