Smooth Coarea Formula

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:

    Success can make you go one of two ways. It can make you a prima donna, or it can smooth the edges, take away the insecurities, let the nice things come out.
    Barbara Walters (b. 1931)

    “It’s hard enough to adjust [to the lack of control] in the beginning,” says a corporate vice president and single mother. “But then you realize that everything keeps changing, so you never regain control. I was just learning to take care of the belly-button stump, when it fell off. I had just learned to make formula really efficiently, when Sarah stopped using it.”
    Anne C. Weisberg (20th century)