Proving Properties of Double Integrals

Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
7 replies · 3K views
_N3WTON_
Messages
350
Reaction score
3

Homework Statement


Prove the following property:
If [itex]m <= f(x,y) <= M \hspace{2 mm} \forall (x,y) \in D,[/itex] then:
[itex]mA(D) <= \int\int f(x,y)\,dA <= MA(D)[/itex]

Homework Equations


I use a few other known properties in the proof (see below)

The Attempt at a Solution


First, I should state that this problem is for Multivariable Calc. My ability to do proof's is severely lacking, and it is a skill I would like to learn (although I have yet to take a course on it, perhaps next semester). So I am hoping you all will be as critical as possible so I can learn from my mistakes. Also, I am not sure if I am using correct terminology, so please inform me if I am not. This is my attempt:
Given that m and M are real numbers such that:
[itex]m <= f(x,y) <=M \hspace{2 mm}\forall (x,y) \in D[/itex]
It is known that:
[itex]\int\int mdA <= \int\int f(x,y) \,dA <= \int\int MdA[/itex]
Lemma:
[itex]{if} \hspace{2 mm} f(x,y)>=g(x,y) \hspace{2 mm}\forall (x,y) \in D[/itex]
then:
[itex]\int\int f(x,y)\,dA >= \int\int g(x,y)\,dA[/itex]
Lemma:
[itex]\int\int cf(x,y)\,dA = c\int\int f(x,y)\,dA[/itex]
then:
[itex]m\int\int\,dA <= \int\int f(x,y)\,dA <= M\int\int\,dA[/itex]
Lemma:
[itex]\int\int\,dA = A(D)[/itex]
Therefore:
[itex]mA(D) <= \int\int f(x,y)\,dA <= MA(D)[/itex]
Proved.
Again, please be very critical, I want to learn how I can become better at this. :)
 
Last edited:
Physics news on Phys.org
_N3WTON_ said:

Homework Statement


Prove the following property:
If [itex]m <= f(x,y) <= M \hspace{2 mm} \forall (x,y) \in D,[/itex] then:
[itex]mA(D) <= \int\int f(x,y)\,dA <= MA(D)[/itex]
What are m(A) and M(A)?
_N3WTON_ said:

Homework Equations


I use a few other known properties in the proof (see below)

The Attempt at a Solution


First, I should state that this problem is for Multivariable Calc. My ability to do proof's is severely lacking, and it is a skill I would like to learn (although I have yet to take a course on it, perhaps next semester). So I am hoping you all will be as critical as possible so I can learn from my mistakes. Also, I am not sure if I am using correct terminology, so please inform me if I am not. This is my attempt:
Given that m and M are real numbers such that:
[itex]m <= f(x,y) <=M \hspace{2 mm}\forall (x,y) \in D[/itex]
It is known that:
[itex]\int\int mDA <= \int\int f(x,y) \,dA <= \int\int MdA[/itex]
Lemma:
[itex]{if} \hspace{2 mm} f(x,y)>=g(x,y) \hspace{2 mm}\forall (x,y) \in D[/itex]
then:
[itex]\int\int f(x,y)\,dA >= \int\int g(x,y)\,dA[/itex]
Lemma:
[itex]\int\int cf(x,y)\,dA = c\int\int f(x,y)\,dA[/itex]
then:
[itex]m\int\int\,dA <= \int\int f(x,y)\,dA <= M\int\int\,dA[/itex]
Lemma:
[itex]\int\int\,dA = A(D)[/itex]
Therefore:
[itex]mA(D) <= \int\int f(x,y)\,dA <= MA(D)[/itex]
Proved.
Again, please be very critical, I want to learn how I can become better at this. :)
 
Mark44 said:
What are m(A) and M(A)?
m and M are real numbers...A(D) is the area of some closed, bounded region in the xy-plane
 
_N3WTON_ said:

Homework Statement


Prove the following property:
If [itex]m <= f(x,y) <= M \hspace{2 mm} \forall (x,y) \in D,[/itex] then:
[itex]mA(D) <= \int\int f(x,y)\,dA <= MA(D)[/itex]

Homework Equations


I use a few other known properties in the proof (see below)

The Attempt at a Solution


First, I should state that this problem is for Multivariable Calc. My ability to do proof's is severely lacking, and it is a skill I would like to learn (although I have yet to take a course on it, perhaps next semester). So I am hoping you all will be as critical as possible so I can learn from my mistakes. Also, I am not sure if I am using correct terminology, so please inform me if I am not. This is my attempt:
Given that m and M are real numbers such that:
[itex]m <= f(x,y) <=M \hspace{2 mm}\forall (x,y) \in D[/itex]
It is known that:
[itex]\int\int mdA <= \int\int f(x,y) \,dA <= \int\int MdA[/itex]
Is the above given information? If not, how is it "known that ..."? You have cited the lemmas below, so I can see where they came from. I don't doubt that it's true, though.
_N3WTON said:
Lemma:
[itex]{if} \hspace{2 mm} f(x,y)>=g(x,y) \hspace{2 mm}\forall (x,y) \in D[/itex]
then:
[itex]\int\int f(x,y)\,dA >= \int\int g(x,y)\,dA[/itex]
Lemma:
[itex]\int\int cf(x,y)\,dA = c\int\int f(x,y)\,dA[/itex]
then:
[itex]m\int\int\,dA <= \int\int f(x,y)\,dA <= M\int\int\,dA[/itex]
Lemma:
[itex]\int\int\,dA = A(D)[/itex]
Therefore:
[itex]mA(D) <= \int\int f(x,y)\,dA <= MA(D)[/itex]
Proved.
Again, please be very critical, I want to learn how I can become better at this. :)
I would organize things differently. Put the lemmas at the top so that they don't interrupt the logic of your argument.
It's given that m <= f(x, y) <= M, for all (x, y) in D,
so ##\int\int mdA \leq \int\int f(x, y) dA \leq \int\int MdA##,
hence ##m \int\int dA \leq \int\int f(x, y) dA \leq M\int\int dA##,
and the conclusion follows from this.
 
Mark44 said:
Is the above given information? If not, how is it "known that ..."? You have cited the lemmas below, so I can see where they came from. I don't doubt that it's true, though.
The above is not given information, thanks for pointing that out. So maybe it would work better if I stated that I am "taking the double integral over the entire region D" instead of saying "it is known"?
 
Mark44 said:
I would organize things differently. Put the lemmas at the top so that they don't interrupt the logic of your argument.
It's given that m <= f(x, y) <= M, for all (x, y) in D,
so ##\int\int mdA \leq \int\int f(x, y) dA \leq \int\int MdA##,
hence ##m \int\int dA \leq \int\int f(x, y) dA \leq M\int\int dA##,
and the conclusion follows from this.
Thanks for the advice! :)
 
_N3WTON_ said:
The above is not given information, thanks for pointing that out. So maybe it would work better if I stated that I am "taking the double integral over the entire region D" instead of saying "it is known"?
I think that's better.
 
Mark44 said:
I think that's better.
Awesome, thanks for the advice!