How to Prove an Integral with Continuous Functions and Positive Constraints?

  • Thread starter Thread starter lap
  • Start date Start date
  • Tags Tags
    Integral
Click For Summary

Homework Help Overview

The problem involves proving an integral relationship involving continuous functions f and g defined on the interval [a,b], where g(x) is strictly positive. The goal is to show the existence of a number c in [a,b] such that the integral of the product f(x)g(x) equals f(c) times the integral of g(x).

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • Participants discuss the properties of continuous functions, particularly the existence of minimum and maximum values on the interval. There are attempts to relate these properties to the integral expressions provided.

Discussion Status

Multiple interpretations of the problem are being explored, with some participants suggesting the use of inequalities involving the minimum and maximum values of f. Hints have been provided to guide the discussion towards relevant theorems, but no consensus has been reached on the approach to take.

Contextual Notes

There are indications that assumptions about the behavior of f, such as monotonicity, may not hold, which raises questions about the validity of certain inequalities being proposed. The discussion also touches on the relationship between the problem and the mean value theorem for integrals.

lap
Messages
9
Reaction score
0

Homework Statement



Let f and g be continuous fuctions on [a,b]. Moreover g(x) > 0 for all x belongs to [a,b].
Show that there is a number c belongs to [a,b] such that

∫ f(x)g(x)dx from a to b = f(c)*∫ g(x)dx from a to b



Homework Equations



Can you help me to prove this integral ?

The Attempt at a Solution



I knew that f(c) = 1/( b - a) ∫ f(x)dx from a to b but ∫ f(x)g(x) dx is not eaual to
∫f(x)dx * ∫g(x)dx. I've also tried integration by part but it doesn't work
 
Physics news on Phys.org
lap said:

Homework Statement



Let f and g be continuous fuctions on [a,b]. Moreover g(x) > 0 for all x belongs to [a,b].
Show that there is a number c belongs to [a,b] such that

∫ f(x)g(x)dx from a to b = f(c)*∫ g(x)dx from a to b



Homework Equations



Can you help me to prove this integral ?

The Attempt at a Solution



I knew that f(c) = 1/( b - a) ∫ f(x)dx from a to b but ∫ f(x)g(x) dx is not eaual to
∫f(x)dx * ∫g(x)dx. I've also tried integration by part but it doesn't work

Hint: Since ##f## is continuous on ##[a,b]##, f has a min ##m## and max ##M## on the interval: ##m\le f(x)\le M##. Start with that.
 
  • Like
Likes   Reactions: 1 person
f(a)(b-a) ≤ ∫ f(x) dx from a to b ≤ f(b)(b-a)
But then how to get the result f(c)∫ g(x)dx from a to b ?
 
lap said:
f(a)(b-a) ≤ ∫ f(x) dx from a to b ≤ f(b)(b-a)
This is certainly NOT true unless you are assuming that f is an increasing function- which you are not given in this problem.

But then how to get the result f(c)∫ g(x)dx from a to b ?
 
Please quote from what you are responding to.

LCKurtz said:
Hint: Since ##f## is continuous on ##[a,b]##, f has a min ##m## and max ##M## on the interval: ##m\le f(x)\le M##. Start with that.

lap said:
f(a)(b-a) ≤ ∫ f(x) dx from a to b ≤ f(b)(b-a)
But then how to get the result f(c)∫ g(x)dx from a to b ?

Is that supposed to be a response to me? If so, why don't you think about what my hint says about your problem.
 
lap, using LCKurtz' notation, consider any function [itex]f(x)[/itex] on the closed interval [itex][a,b][/itex]. I think we will both agree that any such function has a min and a max. Not knowing what this function is, we do know that the set of values that [itex]f(x)[/itex] takes on [itex][a,b][/itex] has a value at some [itex]A[/itex] in [itex][a,b][/itex] and some [itex]B[/itex] in [itex][a,b][/itex] such that [itex]f(A)[/itex] is a least upper bound and [itex]f(B)[/itex] is a greatest lower bound. This means that [itex]f(B)[/itex] is less than or equal to all other elements of [itex]f([a,b])[/itex] and [itex]f(A)[/itex] is greater than or equal to all other elements of [itex]f([a,b])[/itex], this is just the extreme value theorem (I'm pretty sure that's what it is called), as you might recall from your first year of calculus. What LCKurtz is asking is that you consider the case where the function [itex]f(x)=m[/itex] and the case where [itex]f(x)=M[/itex], in these cases, we can easily see the inequality that LCKurtz gave [itex]m\le{f(x)}\le{M}[/itex]. Because of the properties of this minimum and maximum, what do you think that this says about [itex]\int{m\cdot{g(x)}}dx[/itex] and [itex]\int{M\cdot{g(x)}}dx[/itex]?
 
Last edited:
[itex]\int{m\cdot{g(x)}}dx\leq \int f(x)g(x) dx\leq\int{M\cdot{g(x)}}dx[/itex] is the next step
 
Thank you very much for all the reply.
So, f(x) became a constant with min value and max value ?
And this is nothing to do with the mean value theorem for integrals ?
 
The question is whether or not you can figure out what it has to do with your problem.
 
  • #10
Hint: divide all sides by [tex]\int_a^b g(x)\ dx[/tex]
 

Similar threads

  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
9
Views
2K
Replies
2
Views
2K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 105 ·
4
Replies
105
Views
11K
Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
5
Views
2K