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:
“We were soon in the smooth water of the Quakish Lake,... and we had our first, but a partial view of Ktaadn, its summit veiled in clouds, like a dark isthmus in that quarter, connecting the heavens with the earth.”
—Henry David Thoreau (1817–1862)
“So, if we must give a general formula applicable to all kinds of soul, we must describe it as the first actuality [entelechy] of a natural organized body.”
—Aristotle (384–323 B.C.)