and that the condition \(\psi(x,y)\leq z\leq\Psi(x,y)\) indicates that \(D\) is between the graph of \(\psi\) and \(\Psi\) over \(D_0\text{.}\) By slicing the domain into thin domains similarly as done in Section 5.2 one can show the following generalised version of Fubini's theorem.
Theorem6.2.Fubini's Theorem.
Suppose that \(D\) has the form (6.2) with \(\varphi,\Phi\) continuous on \([a,b]\text{,}\) and \(\psi,\Psi\) continuous on \(D_0\) as defined above. If \(f\) is continuous on \(D\) then
Note that we can interchange the roles of \(x,y,z\) arbitrarily.
Example6.3.
Let \(D\) be the domain bounded below by \(z=\sqrt{x^2+y^2}\text{,}\) and bounded from above by \(9x^2+4y^2+z^2=5\text{.}\) Find the limits for the triple integral of a function \(f(x,y,z)\) over the domain \(D\text{.}\)
We first find the projection, \(D_0\text{,}\) of the domain onto the \(xy\)-plane. The intersection of \(z=\sqrt{x^2+y^2}\) and \(9x^2+4y^2+z^2=5\) forms a curve in space. Its projection onto the \(xy\)-plane is the boundary of \(D_0\text{.}\) To find that projection we eliminate \(z\) from the two equations. If we substitute the first into the second equation we get