Showing an iterated integral is equal to an integral

  • Thread starter Thread starter Ultramilk
  • Start date Start date
  • Tags Tags
    Integral
Click For Summary
SUMMARY

This discussion focuses on demonstrating the equality of an iterated integral and a single integral involving a continuous function f. The problem utilizes Fubini's Theorem to rewrite the triple integral, specifically the expression 10y0z0∫ f(x) dx dz dy = (1/2) 10∫ (1-x)2 f(x) dx. Participants explore the correct application of Fubini's Theorem and the limits of integration, ultimately concluding that visualizing the integration domain as a tetrahedron is essential for correctly setting up the integrals.

PREREQUISITES
  • Understanding of Fubini's Theorem in multivariable calculus
  • Knowledge of iterated integrals and their properties
  • Familiarity with continuous functions and their integrals
  • Ability to visualize geometric interpretations of integration domains
NEXT STEPS
  • Study the application of Fubini's Theorem in various contexts
  • Learn about the geometric interpretation of triple integrals
  • Explore examples of changing the order of integration in multiple integrals
  • Investigate the properties of continuous functions in the context of integration
USEFUL FOR

Students and educators in calculus, particularly those focusing on multivariable calculus, as well as mathematicians seeking to deepen their understanding of iterated integrals and Fubini's Theorem.

Ultramilk
Messages
10
Reaction score
0

Homework Statement



Let f be continuous. Show

[itex]^{1}_{0}∫[/itex] [itex]^{y}_{0}∫[/itex] [itex]^{z}_{0}∫[/itex] f(x) dx dz dy = [itex]\frac{1}{2}[/itex] [itex]^{1}_{0}∫[/itex] (1-x)[itex]^{2}[/itex] f(x) dx

Hint: Use Fubini to rewrite the left expression into an iterated integral which ends in dx.

Homework Equations



Fubini's Theorem:
∫∫∫[itex]_{B}[/itex] f(x,y,z) dV = [itex]^{s}_{r}∫[/itex][itex]^{d}_{c}∫[/itex] [itex]^{b}_{ra}∫[/itex] f(x,y,z) dxdydz

The Attempt at a Solution



So I've been playing around with this problem for a little bit and I'm stumped.
Fubini's theorem is the theorem that states that if f is continuous then you can treat each integral as it's own separate entity right?

So with constants, yea this would be pretty simple, but two of the ends we're measuring at are variables (namely the z and y).

Well, I tried following the hint and using Fubini's theorem and I got

[itex]^{z}_{0}∫[/itex][itex]^{1}_{0}∫[/itex][itex]^{y}_{0}∫[/itex]f(x) dz dy dx
which if you work it out, becomes
[itex]\frac{1}{2}[/itex][itex]^{z}_{0}∫[/itex]f(x)dx, which I don't know how to have equal to
[itex]\frac{1}{2}[/itex] [itex]^{1}_{0}∫[/itex] (1-x)[itex]^{2}[/itex] f(x) dx

Now, I think/know this is wrong. It's probably because I didn't use Fubini's theorem right or adjust the limits correctly (although involving problems with constant number values, that's what I did).

Homework Statement


Homework Equations


The Attempt at a Solution

 
Physics news on Phys.org
Well, this is weird.
It's not letting me edit my problem. But here's the latest update to what I have done.

Well I "cheated."
But I substituted s for f(x).

So instead of [itex]^{1}_{0}∫[/itex] [itex]^{y}_{0}∫[/itex] [itex]^{z}_{0}∫[/itex] f(x) dx dz dy
it's
[itex]^{1}_{0}∫[/itex] [itex]^{y}_{0}∫[/itex] [itex]^{z}_{0}∫[/itex] s dx dz dy

that way I followed through on the integral, and it became [itex]\frac{1}{6}[/itex] s or [itex]\frac{1}{6}[/itex] f(x) if you decide to substitute s back for f(x).
And that's the exact thing you get with the right hand side as well.

I'm not sure if that's formal enough for showing.
 
Ultramilk said:
Well, this is weird.
It's not letting me edit my problem. But here's the latest update to what I have done.

Well I "cheated."
But I substituted s for f(x).

So instead of [itex]^{1}_{0}∫[/itex] [itex]^{y}_{0}∫[/itex] [itex]^{z}_{0}∫[/itex] f(x) dx dz dy
it's
[itex]^{1}_{0}∫[/itex] [itex]^{y}_{0}∫[/itex] [itex]^{z}_{0}∫[/itex] s dx dz dy

that way I followed through on the integral, and it became [itex]\frac{1}{6}[/itex] s or [itex]\frac{1}{6}[/itex] f(x) if you decide to substitute s back for f(x).
And that's the exact thing you get with the right hand side as well.

I'm not sure if that's formal enough for showing.

That's only going to work if f(x) is a constant (like s). It's not going to work for a general function of x. You want visualize the domain of integration. It's a tetrahedron, right? Now rewrite the triple integral so the dx integration is last. See if you can get the correct limits for the dy and dz integrations.
 

Similar threads

  • · Replies 105 ·
4
Replies
105
Views
11K
Replies
4
Views
3K
Replies
3
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
8
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
5
Views
2K
Replies
6
Views
2K