Can a function inside the integral be erased?

8 replies · 3K views · last reply
CECE2
Messages
5
Reaction score
1
Given that $$\int_a^b f(x)g(x) \, dx = \int_a^b f(x)h(x) \, dx$$ and $$f(x)=e^x$$, is it true that $$\int_a^b g(x) \, dx = \int_a^b h(x) \, dx$$?
 
Does the first equation hold for any ##a## and ##b## or for are ##a## and ##b## fixed?
 
Hill said:
Does the first equation hold for any ##a## and ##b## or for are ##a## and ##b## fixed?
##a## and ##b## are fixed scalar values
 
CECE2 said:
##a## and ##b## are fixed scalar values
Then my answer is, no, not necessarily. ##g(x)## and ##h(x)## can "cut out" different sections of the ##f(x)##.
 
  • Like
Likes   Reactions: CECE2 and DaveE
For your consideration... the laziest, least rigorous, counter example; graphic novel style.
Hand-drawn sketch on graph paper with four panels: f(x) a rising convex curve over [a, b]; g(x) a narrow bump near a with height 1; h(x) a narrow bump near b with height 1; and f(x) with both bumps overlaid, labelled integral from a to b of f(x)g(x)dx and integral from a to b of f(x)h(x)dx.
 
  • Like
Likes   Reactions: CECE2 and PeroK
Hill said:
Then my answer is, no, not necessarily. ##g(x)## and ##h(x)## can "cut out" different sections of the ##f(x)##.
Thank you
 
DaveE said:
For your consideration... the laziest, least rigorous, counter example; graphic novel style.
View attachment 341189
Thank you! one counter example must be enough
 
CECE2 said:
Given that $$\int_a^b f(x)g(x) \, dx = \int_a^b f(x)h(x) \, dx$$ and $$f(x)=e^x$$, is it true that $$\int_a^b g(x) \, dx = \int_a^b h(x) \, dx$$?
Note that the question is equivalent to this. Given that
$$\int_a^b e^xf(x) \ dx = 0$$Is it true that:
$$\int_a^bf(x) \ dx = 0$$
 
And if we let ##f(x) = e^{-x}g(x)## above, then the question is equivalent to:

Given that
$$\int_a^b g(x) \ dx = 0$$Is it true that:
$$\int_a^be^{-x}g(x) \ dx = 0$$Which doesn't look very likely. In fact, in that formulation it's fairly clear that the set of functions that fail the original hypothesis must bean infinite dimensional subspace of the space of integrable functions.