In Riemannian geometry, the smooth coarea formulas relate integrals over the domain of certain mappings with integrals over their codomains.
Let be smooth Riemannian manifolds of respective dimensions . Let be a smooth surjection such that the pushforward (differential) of is surjective almost everywhere. Let a measurable function. Then, the following two equalities hold:
where is the normal Jacobian of, i.e. the determinant of the derivative restricted to the orthogonal complement of its kernel.
Note that from Sard's lemma, almost every point is a regular point of and hence the set is a Riemannian submanifold of, so the integrals in the right-hand side of the formulas above make sense.
Famous quotes containing the words smooth and/or formula:
“Nations are possessed with an insane ambition to perpetuate the memory of themselves by the amount of hammered stone they leave. What if equal pains were taken to smooth and polish their manners?”
—Henry David Thoreau (1817–1862)
“Given for one instant an intelligence which could comprehend all the forces by which nature is animated and the respective positions of the beings which compose it, if moreover this intelligence were vast enough to submit these data to analysis, it would embrace in the same formula both the movements of the largest bodies in the universe and those of the lightest atom; to it nothing would be uncertain, and the future as the past would be present to its eyes.”
—Pierre Simon De Laplace (1749–1827)