If f is even then then left and right integrals are equal

  • Thread starter Thread starter Euklidian-Space
  • Start date Start date
  • Tags Tags
    even Integrals
Click For Summary

Homework Help Overview

The discussion revolves around the property of even functions in the context of definite integrals, specifically examining the equality of integrals over symmetric intervals. The original poster attempts to demonstrate that if \( f \) is an even function, then the integral from \(-a\) to \(0\) is equal to the integral from \(0\) to \(a\).

Discussion Character

  • Conceptual clarification, Mathematical reasoning, Problem interpretation

Approaches and Questions Raised

  • Participants explore the use of substitution to relate the two integrals, questioning how the limits of integration change with variable substitution. There is discussion about the implications of reversing integration limits and the role of dummy variables in integrals.

Discussion Status

Participants are actively engaging with the problem, raising questions about the steps taken and clarifying concepts related to integration. Some guidance has been offered regarding the use of substitution and the treatment of dummy variables, but there is still uncertainty about the implications of these steps.

Contextual Notes

There is an ongoing debate about the handling of negative signs during substitution and the interpretation of dummy variables in integrals. Participants express confusion about how these concepts affect the equality being proven.

Euklidian-Space
Messages
38
Reaction score
0

Homework Statement


If ##f## is an even function then $$\int_{-a}^{0} f = \int_{0}^{a} f$$

Homework Equations

The Attempt at a Solution


My attempt was trying to show the upper sum of both integrals were equal.

Take a partition of [-a,0] call it ##P_{1}##, and ##P_{2}## for [0.a].

if we can show that ##U(f,P_{1}) = U(f,P_{2})## I think that might do it. However, i am not sure how to get there
 
Physics news on Phys.org
I think it would be helpful to know that f is even if f(x) = f(-x)
 
Just do a substitution, say, y=-x. Then the result follows.
 
momoko said:
Just do a substitution, say, y=-x. Then the result follows.

is that a substitution on the limits or the variable?
 
Euklidian-Space said:
is that a substitution on the limits or the variable?
Yes (to both). If you change the variable, the limits of integration change as well.
 
Mark44 said:
Yes (to both). If you change the variable, the limits of integration change as well.

ok i keep getting a negative in there and I can't figure out how to get rid of it. here is my working

$$\int_{0}^{a} f(x) dx = \int_{0}^{a} f(-x) dx $$

let ##y = -x## ##\rightarrow## ##dy = -dx##. So we now have ##-\int_{0}^{-a} f(y) dy = \int_{-a}^{0} f(y) dy##

now if i sub -x back in for y I get a negative infront again since du = -dx. Any thoughts?
 
Euklidian-Space said:
ok i keep getting a negative in there and I can't figure out how to get rid of it. here is my working

$$\int_{0}^{a} f(x) dx = \int_{0}^{a} f(-x) dx $$

let ##y = -x## ##\rightarrow## ##dy = -dx##. So we now have ##-\int_{0}^{-a} f(y) dy = \int_{-a}^{0} f(y) dy##

now if i sub -x back in for y I get a negative infront again since du = -dx. Any thoughts?
Yes. When you reverse the order of the integration limits, the sign of the integral changes.

IOW, ##\int_a^b f(x)dx = -\int_b^a f(x)dx##
 
Euklidian-Space said:
ok i keep getting a negative in there and I can't figure out how to get rid of it. here is my working

$$\int_{0}^{a} f(x) dx = \int_{0}^{a} f(-x) dx $$

let ##y = -x## ##\rightarrow## ##dy = -dx##. So we now have ##-\int_{0}^{-a} f(y) dy = \int_{-a}^{0} f(y) dy##

now if i sub -x back in for y I get a negative infront again since du = -dx. Any thoughts?
Please do not start with what you need to prove.
Try to start from LHS and end with RHS.
 
momoko said:
Please do not start with what you need to prove.
Try to start from LHS and end with RHS.
He (or she) is not starting with what needs to be proved.
 
  • #10
fourier jr said:
I think it would be helpful to know that f is even if f(x) = f(-x)
Let f be any odd function, then lim x -> -a (f(-a)-f(x))/(-a-x) = (-f(a) - f(x))/(-a-x) = (f(a) + f(x))/(a+x) = (f(a) - f(-x))/(a-(-x)) = lim y -> a (f(a) - f(y))-(a-y)this proves that f'(-a) = f'(a), now since your function is even, it must be a derivative of and odd function , Good luck ;)
Edit, y = -x , just for the fancy notation !
 
  • #11
Mark44 said:
Yes. When you reverse the order of the integration limits, the sign of the integral changes.

IOW, ##\int_a^b f(x)dx = -\int_b^a f(x)dx##

Yeah but isn't that not what we want. Maybe i am not seeing something but it seems we wouldn't want the negative out in front?
 
  • #12
Euklidian-Space said:
ok i keep getting a negative in there and I can't figure out how to get rid of it. here is my working

$$\int_{0}^{a} f(x) dx = \int_{0}^{a} f(-x) dx $$

let ##y = -x## ##\rightarrow## ##dy = -dx##. So we now have ##-\int_{0}^{-a} f(y) dy = \int_{-a}^{0} f(y) dy##

now if i sub -x back in for y I get a negative infront again since du = -dx. Any thoughts?
Try doing the substitution only on one side of the equation you started with.
 
  • #13
Noctisdark said:
Let f be any odd function, then lim x -> -a (f(-a)-f(x))/(-a-x) = (-f(a) - f(x))/(-a-x) = (f(a) + f(x))/(a+x) = (f(a) - f(-x))/(a-(-x)) = lim y -> a (f(a) - f(y))-(a-y)this proves that f'(-a) = f'(a), now since your function is even, it must be a derivative of and odd function , Good luck ;)
Edit, y = -x , just for the fancy notation !
lim y -> a (f(a) - f(y))-(a-y) this is meant to be lim y-> a (f(a)-f(y))/(a-y)
 
  • #14
vela said:
Try doing the substitution only on one side of the equation you started with.
but i have been working on just one side. i do not see a point where i stop working on the side that I "started" with
 
  • #15
Oh, I misunderstood what you wrote. You got
$$\int_0^a f(x)\,dx = \int_0^a f(-x)\,dx = -\int_0^{-a} f(y)\,dy = \int_{-a}^0 f(y)\,dy.$$ Do you see that you've shown what you setting out to prove?
 
Last edited:
  • #16
vela said:
Oh, I misunderstood what you wrote. You got
$$\int_0^a f(x)\,dx = \int_0^a f(-x)\,dx = -\int_0^{-a} f(y)\,dy = \int_{-a}^0 f(y)\,dy.$$ Do you see that you've shown what you setting out to prove?

But the variables are different no? When you sub -x back in for y wouldn't you get $$-\int_{-a}^{0} f(-x) dx?$$
 
  • #17
Remember the variable of integration is a dummy variable.
 
  • #18
vela said:
Remember the variable of integration is a dummy variable.

I am sorry if I am being difficult vela, but I just don't understand why showing

$$\int_{0}^{a}f(x)dx = \int_{-a}^{0} f(y) dy$$
shows that
$$\int_{0}^{a}f(x)dx = \int_{-a}^{0} f(x) dx$$

if anything i think i have shown...

$$\int_{0}^{a} f(x) dx = -\int_{-a}^{0} f(x) dx$$
 
Last edited:
  • #19
Euklidian-Space said:
I am sorry if I am being difficult vela, but I just don't understand why showing

$$\int_{0}^{a}f(x)dx = \int{-a}^{0} f(y) dy$$
shows that
$$\int_{0}^{a}f(x)dx = \int_{-a}^{0} f(x) dx$$

if anything i think i have shown...

$$\int_{0}^{a} f(x) dx = -\int_{-a}^{0} f(x) dx$$
You may want to use the Edit feature to fix your typo !
 
  • #20
SammyS said:
You may want to use the Edit feature to fix your typo !
No that's what i meant...

Since dy = -dx we get that negative out in front done we?
 
  • #21
Euklidian-Space said:
No that's what i meant...

Since dy = -dx we get that negative out in front done we?
So ##\displaystyle \ \int{-a}^{0} f(y) dy\ ## is not a typo ??

What does it mean ?
 
  • #22
SammyS said:
So ##\displaystyle \ \int{-a}^{0} f(y) dy\ ## is not a typo ??

What does it mean ?
oh sorry, didnt see that. it is fixed now.
 
  • #23
Euklidian-Space said:
I am sorry if I am being difficult vela, but I just don't understand why showing

$$\int_{0}^{a}f(x)dx = \int_{-a}^{0} f(y) dy$$
shows that
$$\int_{0}^{a}f(x)dx = \int_{-a}^{0} f(x) dx$$
Well it's like this:

##\displaystyle \ \int_{-a}^{0} f(y) dy\ ##

##\displaystyle \ =\int_{-a}^{0} f(t) dt\ ##

##\displaystyle \ =\int_{-a}^{0} f(u) du\ ##

...
It's even equal to ##\displaystyle \ \int_{-a}^{0} f(x) dx\ ##

That's what vela means by "it's a DUMMY variable."
 
  • #24
SammyS said:
Well it's like this:

##\displaystyle \ \int_{-a}^{0} f(y) dy\ ##

##\displaystyle \ =\int_{-a}^{0} f(t) dt\ ##

##\displaystyle \ =\int_{-a}^{0} f(u) du\ ##

...
It's even equal to ##\displaystyle \ \int_{-a}^{0} f(x) dx\ ##

That's what vela means by "it's a DUMMY variable."

Again I am sorry man i just don't understand. dy = -dx right? then how does ##\int_{-a}^{0} f(y) dy = \int_{-a}^{0} f(x) dx##? when dy = -dx? I do not see how using a "DUMMY variable" justifies dy = -dx to dy = dx
 
  • #25
Euklidian-Space said:
Again I'm sorry man i just don't understand. dy = -dx right? then how does ##\int_{-a}^{0} f(y) dy = \int_{-a}^{0} f(x) dx##? when dy = -dx? I do not see how using a "DUMMY variable" justifies dy = -dx to dy = dx
Look at a specific function.

Do the following integrals give different results?
##\displaystyle \ \int_{-2}^{0} (x^2+3) dx\ ##

##\displaystyle \ \int_{-2}^{0} (u^2+3) du\ ##
 
  • Like
Likes   Reactions: vela

Similar threads

Replies
6
Views
3K
Replies
2
Views
1K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 15 ·
Replies
15
Views
2K
Replies
15
Views
2K