The Unapologetic Mathematician

Mathematics for the interested outsider

Iterated Integrals II

Let’s get to proving the assertions we made last time, starting with


where f is a bounded function defined on the rectangle R=[a,b]\times[c,d].

We can start by defining

\displaystyle F(x)={\int\limits^-}_c^df(x,y)\,dy

And we easily see that \lvert F(x)\rvert\leq M(d-c), where M is the supremum of \lvert f\rvert on the rectangle R, so this is a bounded function as well. Thus the upper integral


and the lower integral


are both well-defined.

Now if P_x=\{x_0,\dots,x_m\} is a partition of [a,b], and P_y=\{y_0,\dots,y_n\} is a partition of [c,d], then P=P_x\times P_y is a partition of R into mn subrectangles R_{ij}. We will define


Clearly, we have


and so we find


That is


and, similarly


We also define m_{ij} and M_{ij} to be the infimum and supremum of f over the rectangle R_{ij}, which gives us the inequalities

\displaystyle m_{ij}(y_j-y_{j-1})\leq{\int\limits^-}_{y_{j-1}}^{y_j}f(x,y)\,dy\leq M_{ij}(y_j-y_{j-1})

and from here we find

\displaystyle m_{ij}\mathrm{vol}(R_{ij})\leq{\int\limits_-}_{x_{i-1}}^{x_i}{\int\limits^-}_{y_{j-1}}^{y_j}f(x,y)\,dy\,dx\leq{\int\limits^-}_{x_{i-1}}^{x_i}{\int\limits^-}_{y_{j-1}}^{y_j}f(x,y)\,dy\,dx\leq M_{ij}\mathrm{vol}(R_{ij})

Summing on both i and j, and sing the above inequalities, we get

\displaystyle L_P(f)\leq\underline{I}\leq\overline{I}\leq U_P(f)

and since this holds for all partitions P, the assertion that we’re trying to prove follows.

The second assertion from last time can be proven similarly, just replacing F(x) by the lower integral over [c,d]. And then the third and fourth assertions are just the same, but interchanging the roles of [a,b] and [c,d]. Finally, the last assertion is a consequence of the first four. Indeed, if the integral over R exists, then the upper and lower integrals are equal, which collapses all of the inequalities into equalities.

December 17, 2009 - Posted by | Analysis, Calculus

1 Comment »

  1. […] copy of these three for each index between and . The proofs of these are pretty much identical to the proofs in the two-dimensional case, and so I’ll just skip […]

    Pingback by Iterated Integrals IV « The Unapologetic Mathematician | December 21, 2009 | 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 412 other followers

%d bloggers like this: