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

Click For Summary

Discussion Overview

The discussion centers around the relationship between integrals involving functions g(x) and g(a) and whether equality of integrals implies equality of the functions themselves. Participants explore various scenarios involving definite and indefinite integrals, questioning the implications of integral equivalence on the functions involved.

Discussion Character

  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Some participants assert that if $$\int f(x) g(x) dx = \int f(x) g(a) dx$$, it does not necessarily imply that $$g(x) = g(a)$$.
  • Others provide examples, such as letting $$f(x) = 1$$ and $$g(x) = x$$, to illustrate specific cases where the relation holds for certain values of a.
  • One participant suggests that if $$\int f(x) g(a) dx = \int f(x) g(b) dx$$, then under certain conditions, it could imply that $$g(a) = g(b)$$.
  • Counterexamples are presented to challenge the idea that integrals can be "cancelled" or that equality of integrals leads to equality of functions, with specific functions provided that demonstrate this point.
  • Participants express confusion regarding the nature of the integrals (definite vs. indefinite) and the implications of their equivalence.
  • There is a discussion about the behavior of functions and the conditions under which integrals might equal zero, complicating the conclusions that can be drawn.
  • One participant questions the validity of the examples being discussed and the underlying concepts being explored.
  • Another participant emphasizes that the cancellation of terms in integrals does not lead to the conclusion that the functions themselves are equal.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the implications of integral equivalence for the functions involved. Multiple competing views and counterexamples are presented, leading to ongoing debate and uncertainty.

Contextual Notes

Participants mention the need for well-behaved functions and the potential for integrals to equal zero, which complicates the discussion. The nature of the integrals (definite vs. indefinite) is also a point of contention that affects the conclusions drawn.

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
3K
  • · 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