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:
“It may seem strange that any road through such a wilderness should be passable, even in winter, when the snow is three or four feet deep, but at that season, wherever lumbering operations are actively carried on, teams are continually passing on the single track, and it becomes as smooth almost as a railway.”
—Henry David Thoreau (1817–1862)
“The formula for achieving a successful relationship is simple: you should treat all disasters as if they were trivialities but never treat a triviality as if it were a disaster.”
—Quentin Crisp (b. 1908)