Coarea formula

Coarea formula

In the mathematical field of geometric measure theory, the coarea formula expresses the integral of a function over an open set in Euclidean space in terms of the integral of the level sets of another function. A special case is Fubini's theorem, which says under suitable hypotheses that the integral of a function over the region enclosed by a rectangular box can be written as the iterated integral over the level sets of the coordinate functions. Another special case is integration in spherical coordinates, in which the integral of a function on Rn is related to the integral of the function over spherical shells: level sets of the radial function. The formula plays a decisive role in the modern study of isoperimetric problems.

For smooth functions the formula is a result in multivariate calculus which follows from a simple change of variables. More general forms of the formula for Lipschitz functions were first established by Herbert Federer (Federer 1959), and for Sobolev functions by Fleming & Rishel (1960).

A precise statement of the formula is as follows. Suppose that Ω is an open set in Rn, and u is a real-valued Lipschitz function on Ω. Then, for an L1 function g,

\int_\Omega g(x) |\nabla u(x)|\, dx = \int_{-\infty}^\infty \left(\int_{u^{-1}(t)}g(x)\,dH_{n-1}(x)\right)\,dt

where Hn − 1 is the (n − 1)-dimensional Hausdorff measure. In particular, by taking g to be one, this implies

\int_\Omega |\nabla u| = \int_{-\infty}^\infty H_{n-1}(u^{-1}(t))\,dt,

and conversely the latter equality implies the former by standard techniques in Lebesgue integration.

More generally, the coarea formula can be applied to Lipschitz functions u defined in Ω ⊂ Rn, taking on values in Rk where k < n. In this case, the following identity holds

\int_\Omega g(x) |J_k u(x)|\, dx = \int_{\mathbb{R}^k} \left(\int_{u^{-1}(t)}g(x)\,dH_{n-k}(x)\right)\,dt

where Jku is the k-dimensional Jacobian of u.

Applications

  • Taking u(x) = |x − x0| gives the formula for integration in spherical coordinates of an integrable function ƒ:
\int_{\mathbb{R}^n}f\,dx = \int_0^\infty\left\{\int_{\partial B(x_0;r)} f\,dS\right\}\,dr.
\left(\int_{\mathbb{R}^n} |u|^{n/n-1}\right)^{\frac{n-1}{n}}\le n^{-1}\omega_n^{-1/n}\int_{\mathbb{R}^n}|\nabla u|
where ω −1/n is the volume of the unit ball in Rn.

See also

References


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Smooth coarea formula — In Riemannian geometry, the smooth coarea formulas relate integrals over the domain of certain mappings with integrals over their codomains.Let scriptstyle M,,N be smooth Riemannian manifolds of respective dimensions scriptstyle m,geq, n. Let… …   Wikipedia

  • List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… …   Wikipedia

  • List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… …   Wikipedia

  • Dirac delta function — Schematic representation of the Dirac delta function by a line surmounted by an arrow. The height of the arrow is usually used to specify the value of any multiplicative constant, which will give the area under the function. The other convention… …   Wikipedia

  • Herbert Federer — Herbert Federer, an American mathematician, is one of the creators of geometric measure theory, at the meeting point of differential geometry and mathematical analysis. Federer was born July 23, 1920, in Vienna. After emigrating to the US in 1938 …   Wikipedia

  • Geometric measure theory — In mathematics, geometric measure theory (GMT) is the study of the geometric properties of the measures of sets (typically in Euclidean spaces), including such things as arc lengths and areas. It has applications in image processing.Deep results… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”