Interpolated measures with bounded density in metric spaces satisfying the curvature-dimension conditions of Sturm (Q444882)

\((X, d, m)\) is a metric measure space. \((X,d,m)\) is said to admit a local Poincaré inequality if there are constants \(\lambda \geq 1\), \(0 < C < \infty\) such that, for any continuous function \(u\) defined on \(X\), any point \(x \in X\) and \(r>0\) with \(m(B(x,r)) >0\) and any upper gradient \(g\) of \(u\), we have NEWLINE\[NEWLINE \int B(x, r): | u - \langle u\rangle_{B(x, r)}| dm \leq Cr \int B(x, \lambda r): g dm .NEWLINE\]NEWLINE Here \(\langle u\rangle_{B(x, r)} = \int B(x, r): u dm\) and \( \int A : u dm = \frac{1}{m(A)} \int_{A} u dm\) denote average integrals.NEWLINENEWLINEA locally compact \(\sigma\)-finite measure space \((X, d, m)\), with \(N\)-Ricci curvature bounded below by \(K\), is called a \(CD(K, N)\) in the sense of Sturm if certain integral inequalities are satisfied; the measure contraction property \(MCP(K, N)\) of the measure space \((X, d, m)\) is taken in the sense of Ohta.NEWLINENEWLINEIn this paper, the author first establishes several results to prove the existence of good geodesics and then uses them to prove the following results.NEWLINENEWLINE(i) If \((X, d, m)\) is a \(CD(K, \infty)\) space then we have the local Poincaré inequality NEWLINE\[NEWLINE \int_{B(x, r)} | u -\langle u\rangle_{B(x, r)}| dm \leq 8r e^{K- \frac{r^{2}}{3}} \int_{B(x, 2r)} g d m. NEWLINE\]NEWLINENEWLINENEWLINE(ii) Any \(CD(K, N)\) space has the \(MCP(K, N)\) property.NEWLINENEWLINEThe validity of the local Poincaré inequality is also established in more general form.