The Unapologetic Mathematician

Mathematics for the interested outsider

The Mean Value Theorem for Multiple Integrals

As in the single variable case, multiple integrals satisfy a mean value property.

First of all, we should note that, like one-dimensional Riemann-Stieltjes integrals with increasing integrators, integration preserves order. That is, if f and g are both integrable over a Jordan-measurable set S, and if f(x)\leq g(x) at each point x\in S, then we have


This is a simple consequence of the definition of a multiple integral as the limit of Riemann sums, since every Riemann sum for f will be smaller than the corresponding sum for g.

Now if f and g are integrable on S and g(x)\geq0 for every x\in S, then we set m=\inf f(S) and M=\sup f(S) — the infimum and supremum of the values attained by f on S. I assert that there is some \lambda in the interval [m,M] so that


In particular, we can set g(x)=1 and find

\displaystyle mc(S)\leq\int\limits_Sf(x)\,dx\leq Mc(S)

giving bounds on the integral in terms of the Jordan content of S. Incidentally, g(x)\,dx here is serving a similar role to the integrator d\alpha in the integral mean value theorem for Riemann-Stieltjes integrals.

Okay, so since g(x)\geq0 we have mg(x)\leq f(x)g(x)\leq Mg(x) for every x\in S. Since integration preserves order, this yields

\displaystyle m\int\limits_Sg(x)\,dx\leq\int\limits_Sf(x)g(x)\,dx\leq M\int\limits_Sg(x)\,dx

If the integral of g is zero, then our result automatically holds for any value of \lambda. Otherwise we can divide through by this integral and set


which will be between m and M.

One particularly useful case is when S has Jordan content zero. In this case, we find that any integral over S is itself automatically zero.

About these ads

December 29, 2009 - Posted by | Analysis, Calculus


  1. [...] in for integrals are Jordan measurable, and their boundaries have zero Jordan content, so we know changing things along these boundaries in an integral will make no [...]

    Pingback by Integrals are Additive Over Regions « The Unapologetic Mathematician | December 30, 2009 | Reply

  2. [...] infinitesimal pieces of -dimensional volume. Now, with the change of variables formula and the mean value theorem in hand, we can pull out a macroscopic [...]

    Pingback by The Geometric Interpretation of the Jacobian Determinant « The Unapologetic Mathematician | January 8, 2010 | Reply

  3. [...] analogue of the integral mean value theorem that holds not just for single integrals, not just for multiple integrals, but for integrals over any measure [...]

    Pingback by The Integral Mean Value Theorem « The Unapologetic Mathematician | June 14, 2010 | Reply

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s


Get every new post delivered to your Inbox.

Join 366 other followers

%d bloggers like this: