Skip to main content
3 of 4
replaced deprecated tag 'geometry'; added top-level tag; minor editing
Ricardo Andrade
  • 6.2k
  • 5
  • 42
  • 69

Computations with the distance function on a Riemannian manifold

Let $(M,g)$ be a complete Riemannian, connected, compact manifold (with or without boundary). Let $f(r)$ be a decreasing function of $r =$ geodesic distance. If $\Omega \subset M$, then $$ \int_{\Omega} f(r)\, dV \leq \int_{\Omega^\star} f(r)\, dV \, ,$$ where $\Omega^\star$ is a geodesic ball with the same volume as $\Omega$.

Is that true? What if $\Omega$ is large? How can one define a geodesic ball, say if the radius is larger than $\mathrm{inj}(M,g)$?

Henry
  • 207
  • 1
  • 8