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:
“Beautiful women seldom want to act. They are afraid of emotion and they do not try to extract anything from a character that they are portraying, because in expressing emotion they may encourage crow’s feet and laughing wrinkles. They avoid anything that will disturb their placidity of countenance, for placidity of countenance insures a smooth skin.”
—Laurette Taylor (1887–1946)
“I cannot give you the formula for success, but I can give you the formula for failure—which is: Try to please everybody.”
—Herbert B. Swope (1882–1958)