Proving Properties of Double Integrals

Click For Summary

Homework Help Overview

The discussion revolves around proving properties of double integrals in the context of Multivariable Calculus. The original poster seeks to establish a relationship between the bounds of a function \( f(x,y) \) and its double integral over a region \( D \), specifically that if \( m \leq f(x,y) \leq M \) for all \( (x,y) \in D \), then \( mA(D) \leq \int\int f(x,y)\,dA \leq MA(D) \).

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • Participants discuss the original poster's attempt at a proof, questioning the terminology and logical flow. Some suggest rephrasing certain statements for clarity, while others provide feedback on the organization of lemmas and the proof structure. There is also a query regarding the definitions of \( m(A) \) and \( M(A) \), and whether the information presented is given or derived.

Discussion Status

The discussion is ongoing, with participants providing constructive feedback and suggestions for improvement. There is an emphasis on critical evaluation of the proof attempt, and participants are actively engaging in clarifying concepts and terminology. No consensus has been reached, but various interpretations and suggestions are being explored.

Contextual Notes

Some participants express uncertainty about the original poster's use of terminology and the presentation of known properties. There is a focus on ensuring that the proof is logically sound and clearly articulated, with attention to the structure of the argument and the definitions involved.

_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!
 

Similar threads

  • · Replies 19 ·
Replies
19
Views
3K
  • · Replies 9 ·
Replies
9
Views
3K
Replies
8
Views
2K
Replies
2
Views
2K
  • · Replies 105 ·
4
Replies
105
Views
11K
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
20
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
9
Views
2K