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:
“There are acacias, a graceful species amusingly devitalized by sentimentality, this kind drooping its leaves with the grace of a young widow bowed in controllable grief, this one obscuring them with a smooth silver as of placid tears. They please, like the minor French novelists of the eighteenth century, by suggesting a universe in which nothing cuts deep.”
—Rebecca West (1892–1983)
“In the most desirable conditions, the child learns to manage anxiety by being exposed to just the right amounts of it, not much more and not much less. This optimal amount of anxiety varies with the child’s age and temperament. It may also vary with cultural values.... There is no mathematical formula for calculating exact amounts of optimal anxiety. This is why child rearing is an art and not a science.”
—Alicia F. Lieberman (20th century)