Is g(x) Equal to g(a) If Their Integrals Are Equivalent?

Click For Summary
SUMMARY

The discussion centers on the mathematical question of whether the equality of integrals involving functions g(x) and g(a) implies that g(x) equals g(a). Participants clarify that while integrals can be equal, this does not necessarily lead to the conclusion that the functions themselves are equal. Specifically, it is established that if the integral of f(x)g(x) equals the integral of f(x)g(a), it does not imply g(x) = g(a). Counterexamples are provided to illustrate that equality of integrals does not guarantee equality of the functions involved.

PREREQUISITES
  • Understanding of definite and indefinite integrals
  • Familiarity with the properties of integrable functions
  • Knowledge of mathematical notation and terminology related to integrals
  • Basic concepts of function equality in calculus
NEXT STEPS
  • Study the properties of definite integrals and their implications on function equality
  • Explore counterexamples in calculus that demonstrate non-equivalence of functions despite equal integrals
  • Learn about the implications of the Fundamental Theorem of Calculus on integrals
  • Investigate the concept of well-behaved functions in the context of integration
USEFUL FOR

Mathematicians, calculus students, and educators seeking to deepen their understanding of integrals and function properties, particularly in the context of equality and counterexamples.

Steve Zissou
Messages
75
Reaction score
4
TL;DR
wondering if integrand terms can be cancelled
Howdy all,

Let's say we have, in general an expression:

$$ \int f(x) g(x) dx $$

But in through some machinations, we have, for parameter ##a##,

$$ \int f(x) g(x) dx = \int f(x) g(a) dx $$

...can we conclude that ## g(x) = g(a) ## ????

Thanks
 
  • Skeptical
Likes   Reactions: PeroK
Physics news on Phys.org
No.
 
BvU said:
No.
Thank you. Is there any chance you can help me understand?
 
let f(x)=1
let g(x)=x
integrate from 0 to 1
then a=½ satisfies your relation
 
  • Like
Likes   Reactions: Steve Zissou
Frabjous said:
let f(x)=1
let g(x)=x
integrate from 0 to 1
then a=½ satisfies your relation
Thank you Frabjous.
How about this? Let's say we have
$$ \int f(x) g(a) dx = \int f(x) g(b) dx $$
...where a and b are parameters. Can we say that ## g(a)=g(b) ##??
...or even that ## a = b ##?
Thanks again
 
Steve Zissou said:
Thank you Frabjous.
How about this? Let's say we have
$$ \int f(x) g(a) dx = \int f(x) g(b) dx $$
...where a and b are parameters. Can we say that ## g(a)=g(b) ##??
Assuming that ∫f(x) is well behaved, yes. g(a) and g(b) are constants that can be pulled out of the integral.

Edit: By well behaved, I mean not equal to ±∞ or 0.
 
Last edited:
Steve Zissou said:
TL;DR Summary: wondering if integrand terms can be cancelled

Howdy all,

Let's say we have, in general an expression:

$$ \int f(x) g(x) dx $$

But in through some machinations, we have, for parameter ##a##,

$$ \int f(x) g(x) dx = \int f(x) g(a) dx $$

...can we conclude that ## g(x) = g(a) ## ????

Thanks
Are these indefinite integrals?
 
:smile:

On the left, ##g## is a function of ##x##. On the right ##g(a)## is a number. ##g(x) = g(a)## would mean ##g(x)## is a constant.

Steve Zissou said:
How about this? Let's say we have
$$ \int f(x) g(a) dx = \int f(x) g(b) dx $$
...where a and b are parameters. Can we say that ## g(a)=g(b) ##??
...or even that ## a = b ##?
Thanks again
No. If ##\int f(x) = 0 ## nothing can be said about ##a## and ##b##

##\ ##
 
PeroK said:
Are these indefinite integrals?
I was hoping to be able to make definite integrals here.
 
  • #10
I'm very sorry guys, allow me to make my examples firmer. I don't want to waste your time. I'll be back with a "better question."
 
  • #11
Steve Zissou said:
I was hoping to be able to make definite integrals here.
There's a general mathematical idea that ##A = B## if and only if ##A - B = 0##. You can apply that to your questions. Also, ##g(a)## and ##g(b)## are just numbers. For example:
$$\int_0^1f(x)g(x) \ dx = \int_0^1kf(x) \ \Rightarrow \ \int_0^1f(x)(g(x)-k) \ dx = 0$$But, lots of definite integrals are zero. So, for any function ##f##, there will be lots of functions ##g## where that integral is zero. In fact, if ##h## is some function where ##\int_0^1 h(x) \ dx = 0##, then ##g(x) = k + \frac{h(x)}{f(x)}## will be a counteraxample to your claim.
 
  • Like
Likes   Reactions: Steve Zissou
  • #12
Thank you all for looking at this. I wish I had a more concrete example but I'm just trying to understand a certain concept here. So please allow me to rephrase my original question.
How about this? Let's say ## f = f(x,y) ## and also ## g = g(x,y) ##.
$$\int_{0}^{\infty}f(x,y)g(x,y)dx =\int_{0}^{\infty}f(x,y)g(x,a)dx$$
where ##a## is some number.
Can we conclude that ##g(x,y)=g(x,a)##?
 
  • #13
Steve Zissou said:
Thank you all for looking at this. I wish I had a more concrete example but I'm just trying to understand a certain concept here. So please allow me to rephrase my original question.
How about this? Let's say ## f = f(x,y) ## and also ## g = g(x,y) ##.
$$\int_{0}^{\infty}f(x,y)g(x,y)dx =\int_{0}^{\infty}f(x,y)g(x,a)dx$$
where ##a## is some number.
Can we conclude that ##g(x,y)=g(x,a)##?
Are you just making this stuff up? What is the point of all, one wonders!
 
  • Like
Likes   Reactions: Frabjous
  • #14
Steve Zissou said:
g(x,y)=g(x,a)
Since a is some number, you do realize that this means g(x,y)=g(x)? What concept are you actually trying to understand?
 
  • #15
Steve Zissou said:
Let's say ## f = f(x,y) ## and also ## g = g(x,y) ##.
$$\int_{0}^{\infty}f(x,y)g(x,y)dx =\int_{0}^{\infty}f(x,y)g(x,a)dx$$
where ##a## is some number.
Can we conclude that ##g(x,y)=g(x,a)##?
Nope! A trivial counterexample: ##f\left(x,y\right)=e^{-x},\;g\left(x,y\right)=\left(x-1\right)y##. Both of your integrals equal zero, but ##g\left(x,y\right)\neq g\left(x,a\right)##.
 
  • Like
Likes   Reactions: Steve Zissou and PeroK
  • #16
renormalize, thanks for your reply. In your example, can we not conclude that ##(x-1)y=(x-1)a##?
 
  • #17
I'm imagining that the two integrals are Riemann sums in a limit. So I'm seeing the ##f(x,y)##'s all cancelling out as additive terms.
 
  • #18
Steve Zissou said:
renormalize, thanks for your reply. In your example, can we not conclude that ##(x-1)y=(x-1)a##?
No, the left integral vanishes for any arbitrary ##y##. Nothing forces ##y=a##.
 
  • #19
Thank you to those who have shared their insights here.
Let me rephrase one more time.
$$\int_{0}^{\infty}f(x)g(x)dx=\int_{0}^{\infty}f(x)h(x)dx$$
1) Can we "cancel" the ##f(x)## terms on each side, thereby now having
$$\int_{0}^{\infty}g(x)dx=\int_{0}^{\infty}h(x)dx$$
2) Can we also now say
$$g(x)=h(x)$$
Thanks
 
  • Sad
Likes   Reactions: PeroK
  • #20
Steve Zissou said:
Thank you to those who have shared their insights here.
Let me rephrase one more time.
$$\int_{0}^{\infty}f(x)g(x)dx=\int_{0}^{\infty}f(x)h(x)dx$$
1) Can we "cancel" the ##f(x)## terms on each side, thereby now having
$$\int_{0}^{\infty}g(x)dx=\int_{0}^{\infty}h(x)dx$$
2) Can we also now say
$$g(x)=h(x)$$
Thanks
No to both questions. Plenty of counterexamples have been given above.
 
  • Like
Likes   Reactions: PeroK
  • #21
Hill said:
No to both questions. Plenty of counterexamples have been given above.
Thank you Hill.
 

Similar threads

  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 25 ·
Replies
25
Views
4K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K