Proving Fubini's Theorem: Tips & Ideas

  • Thread starter amcavoy
  • Start date
  • Tags
    Theorem
In summary: I mean, it's not really what I was asking for.Integration under the integral sign? You know what the thread on the Leibniz rule never explained: justification for switching limits. I'd like to know how to do this. I mean, I know that you can if the limits of integration are constants and the function is continuous, but that isn't really a...I mean, it's not really what I was asking for.I'm sorry, I'm not familiar with that term.Do you want me to look it up for you?I'm sorry, I'm not familiar with that term.Do you want me to look it up for you?No, I
  • #1
amcavoy
665
0
Does anyone know how to prove Fubini's Theorem? In multivariable calc., I just accepted it as true but never learned the formal proof. Any ideas?

Thanks for your help.
 
Physics news on Phys.org
  • #2
Same here. Everywhere I turn to, authors seem to flee this proof like the plague.
 
  • #3
Well, you can always try proving it yourself. :smile:
 
Last edited:
  • #4
I did. Tought I had it but turns out I had made a limit switching without realizing it. I don't know if the limit switching is valid, but it probably isn't, otherwise the proof is just so direct, authors wouldn't say its "above the level of this course".

Actually it probably is valid, but it's proving its validity that's very hard!
 
  • #5
Hurkyl said:
Well, you can always try proving it yourself. :smile:

I'd like your opinion on this: How does one go about justifying switching limits? Could you maybe post a simple example that I could try applying to this?

I appreciate it.
 
  • #6
It ought to be easier to prove

[tex]
\iint_R f = \int_a^b \int_c^d f(x, y) \, dy \, dx
[/tex]

than to prove

[tex]
\int_a^b \int_c^d f(x, y) \, dy \, dx
= \int_c^d \int_a^b f(x, y) \, dx \, dy
[/tex]
 
  • #7
Hurkyl said:
It ought to be easier to prove

[tex]
\iint_R f = \int_a^b \int_c^d f(x, y) \, dy \, dx
[/tex]

than to prove

[tex]
\int_a^b \int_c^d f(x, y) \, dy \, dx
= \int_c^d \int_a^b f(x, y) \, dx \, dy
[/tex]

So basically it comes down to writing down the definition of an integral (limit of a series) and rearranging, right?
 
  • #8
Well, it mainly involves doing a lot of putting bounds on things (just like any other "interesting" proof in analysis). By the way, what statement of Fubini's theorem are you trying to prove?
 
  • #9
I tought Fubini's theorem was just

[tex]\int_a^b \int_c^d f(x, y) \, dy \, dx
= \int_c^d \int_a^b f(x, y) \, dx \, dy[/tex]
 
  • #10
With some conditions on f. :tongue2:

(And that both of those iterated integrals are equal to the double integral)
 
  • #11
Hmm... Maybe it's time for something similar, but a bit simpler. Is the proof for the following in differential calc. similar to the proof of Fubini's Theorem?

[tex]\frac{\partial^2\,f}{\partial x\,\partial y}=\frac{\partial^2\,f}{\partial y\,\partial x}[/tex]
 
  • #12
For your personal amusement apmcavoy, this thm of diff. cal. is called Clairaut's Theorem (also sometimes called Schwartz's Theorem...but Schwartz already has his inequality, so let's be fair and give this one to Clairaut, shall we :P)
 
  • #13
quasar987 said:
For your personal amusement apmcavoy, this thm of diff. cal. is called Clairaut's Theorem (also sometimes called Schwartz's Theorem...but Schwartz already has his inequality, so let's be fair and give this one to Clairaut, shall we :P)

lol. I am finding that my multivariable class was more and more useless as I encounter these theorems we never proved. Ahh, I hope these aren't expected until analysis :smile:
 
  • #14
Apmcavoy, do you know the proof of the Leibniz rule (differentiation under the integral sign)? From said proof is rather easy to obtain the statement wrote by Quasar.

Put "Leibniz rule" in google and you will see it.

Castilla.
 
  • #15
Castilla said:
Apmcavoy, do you know the proof of the Leibniz rule (differentiation under the integral sign)? From said proof is rather easy to obtain the statement wrote by Quasar.

Put "Leibniz rule" in google and you will see it.

Castilla.

Yes I know it (worked through it on PF a few months back!) Which statement made by Quasar are you referring to?
 
  • #16
apmcavoy said:
Yes I know it (worked through it on PF a few months back!)

Could you post the link please? I can't find the thread.

As for the statement, Castilla was probably referring to

[tex]\int_a^b \int_c^d f(x, y) \, dy \, dx= \int_c^d \int_a^b f(x, y) \, dx \, dy[/tex]
 
  • #17
quasar987 said:
Could you post the link please? I can't find the thread.

As for the statement, Castilla was probably referring to

[tex]\int_a^b \int_c^d f(x, y) \, dy \, dx= \int_c^d \int_a^b f(x, y) \, dx \, dy[/tex]

There are a few, but this was the one I could find:

https://www.physicsforums.com/showthread.php?t=36033
 
  • #18
quasar987 said:
I tought Fubini's theorem was just

[tex]\int_a^b \int_c^d f(x, y) \, dy \, dx
= \int_c^d \int_a^b f(x, y) \, dx \, dy[/tex]



This equation. If this is what you want to proof, it can be considered a corolary from Leibniz rule (differentiation under the integral sign).
 
  • #19
Castilla said:
This equation. If this is what you want to proof, it can be considered a corolary from Leibniz rule (differentiation under the integral sign).

Hmm... Integration under the integral sign? You know what the thread on the Leibniz rule never explained: justification for switching limits. I'd like to know how to do this. I mean, I know that you can if the limits of integration are constants and the function is continuous, but that isn't really a proof.
 
  • #21
quasar987 said:
I think Castilla is saying that fubini is a corolary, or at least that the proof is similar, to Leibniz rule (the theorem stated at proved by homology in post #15: https://www.physicsforums.com/showpost.php?p=264381&postcount=15)

Thanks quasar I hadn't seen that post before. That makes sense then how to prove Fubini's Theorem in a similar manner. I'm going to try writing it out and see what I get.

Thanks again for the help :smile:
 
  • #22
Fact: the function with domain [tex] [a,b]x [c,d] [/tex] is continuous.

Let be [tex]g(x,z) = \int_c^zf(x,y)dy.[/tex] Then, by the Fundamental Theorem of Calculus, [tex]\frac{\partial g}{\partial z}= f. [/tex]
Let be
[tex] G(z) = \int_a^bg(x,z)dx[/tex], so by differentiation under the integral sign
[tex] G'(z) = \int_a^bf(x,z)dx[/tex].

Assume that G' is continuous. Then

[tex] \int_c^d\int_a^bf(x,z)dxdz = \int_c^dG' = G(d) - G(c) = G(d) =
\int_a^b\int_c^df(x,y)dydx [/tex].
 
  • #23
Castilla said:
Fact: the function with domain [tex] [a,b]x [c,d] [/tex] is continuous.

Let be [tex]g(x,z) = \int_c^zf(x,y)dy.[/tex] Then, by the Fundamental Theorem of Calculus, [tex]\frac{\partial g}{\partial z}= f. [/tex]
Let be
[tex] G(z) = \int_a^bg(x,z)dx[/tex], so by differentiation under the integral sign
[tex] G'(z) = \int_a^bf(x,z)dx[/tex].

Assume that G' is continuous. Then

[tex] \int_c^d\int_a^bf(x,z)dxdz = \int_c^dG' = G(d) - G(c) = G(d) =
\int_a^b\int_c^df(x,y)dydx [/tex].

Thank you very much Castilla. That wasn't quite what I was doing, so I must have been doing it incorrectly (or going off track).

Thanks again.
 
  • #24
Pretty g.d. sweet. But I wouldn't have found that alone.
 
  • #25
Incidntally, it can be proven under other conditions (which is why I asked about the statement of the theorem):

For example, when f is bounded, discontinuous on a set of measure 0, and any horizontal or vertical line passes through only finitely many points of discontinuity.
 
  • #26
I think that the version developed is known as "Baby Fubini's theorem". There is a second version which includes double integrals (not only iterated, as the "Baby"), and Hurkyl refers to a third more "mature" version.
 
  • #27
Castilla said:
I think that the version developed is known as "Baby Fubini's theorem". There is a second version which includes double integrals (not only iterated, as the "Baby"), and Hurkyl refers to a third more "mature" version.

What do you mean by "double integrals, not only iterated"?
 
  • #28
1. Iterated integrals: [tex]\int_a^b(\int_c^dg(x,y)dx)dy[/tex] or [tex]\int_c^d(\int_a^bg(x,y)dy)dx[/tex]. The "Baby Fubini T." only says that (under certain conditions) these are equal.

2. A double integral:[tex]\int\int_Rg(x,y)dxdy[/tex] where R = (a,b) x (c,d). The "not so baby" Fubini T. says that this double integral equals the iterated integrals of the previous paragraph.

(Of course this can be extended to three iterations, etc.).

But Hurkyl's one is beyond these two statements (i believe).
 
  • #29
Accoding to my calc III book, Fubini proved a "very general version of this theorem", but the case of continuous f was known to Cauchy a century beforehand.
 

1. What is Fubini's Theorem?

Fubini's Theorem is a mathematical theorem that states that for a function of two variables defined on a rectangular region, the double integral of the function can be evaluated as an iterated integral, where the inner integral is with respect to one variable and the outer integral is with respect to the other variable.

2. Why is it important to prove Fubini's Theorem?

Proving Fubini's Theorem is important because it allows us to interchange the order of integration when evaluating double integrals. This can greatly simplify calculations and make solving certain problems more efficient.

3. What are some tips for proving Fubini's Theorem?

Some tips for proving Fubini's Theorem include carefully understanding the definition of the theorem, using the properties of integrals and limits, and breaking down the problem into smaller, more manageable parts.

4. Can Fubini's Theorem be extended to functions of more than two variables?

Yes, Fubini's Theorem can be extended to functions of more than two variables. This is known as the Tonelli's Theorem and it states that for a function of n variables, the multiple integral can be evaluated as an iterated integral with n nested integrals.

5. Are there any common mistakes to avoid when proving Fubini's Theorem?

One common mistake to avoid when proving Fubini's Theorem is assuming that the integrals are interchangeable without properly justifying it. It is important to carefully follow the steps and criteria outlined in the theorem to ensure a correct proof.

Similar threads

Replies
2
Views
173
Replies
1
Views
1K
  • Calculus
Replies
1
Views
1K
Replies
15
Views
2K
Replies
11
Views
2K
Replies
6
Views
2K
Replies
4
Views
2K
Back
Top