Register to reply 
Question on integration bounds 
Share this thread: 
#1
Feb1813, 07:28 PM

P: 320

hey everyone
is integrating from [itex]L<x<L[/itex] the same as integrating over [itex]L \leq x \leq L[/itex]? im looking for a rigorous response, so if you have time could you explain why, rather than simply yes or no? thanks! 


#2
Feb1813, 08:16 PM

P: 1,474

If you're speaking about a Riemman Integral, then last I checked there was zero contribution from the endpoints.



#3
Feb1813, 08:31 PM

Sci Advisor
P: 820

Which definition of integration are you using?



#4
Feb1813, 08:41 PM

Sci Advisor
HW Helper
PF Gold
P: 3,171

Question on integration bounds
Assuming the function is integrable on ##[L,L]##, it will have the same integral on ##(L,L)##.
For the Lebesgue integral, the reason is simple: the two endpoints have measure zero, so they do not contribute to the value of the integral. The Riemann integral is only defined on closed intervals, so we have to define what is meant by integrating over ##(L,L)##. The usual way to do this is to use improper integrals: $$\lim_{\epsilon \rightarrow 0^+} \int_{L + \epsilon}^0 f(x) dx + \lim_{\epsilon \rightarrow 0^+} \int_0^{L  \epsilon} f(x) dx$$ Note that we have $$\int_{L}^{L} f(x) dx = \int_{L}^{L + \epsilon} f(x) dx + \int_{L + \epsilon}^0 f(x) dx + \int_0^{L  \epsilon} f(x) dx + \int_{L  \epsilon}^{L} f(x) dx$$ so to prove what we want, we simply need to show that $$\lim_{\epsilon \rightarrow 0^+} \int_{L}^{L + \epsilon} f(x) dx = \lim_{\epsilon \rightarrow 0^+} \int_{L  \epsilon}^{L} f(x) dx = 0$$ But this is quite straightforward; since ##f## is integrable over ##[L,L]##, by definition it is bounded on that interval, say ##f(x) \leq M## for all ##x \in [L,L]##. Then $$\left \int_{L}^{L + \epsilon} f(x) dx \right \leq \int_{L}^{L + \epsilon} f(x) dx \leq \int_{L}^{L + \epsilon} M dx = M\epsilon$$ which converges to 0 as ##\epsilon \rightarrow 0^+##. We can do the same thing for the other small interval. 


#5
Feb1813, 08:44 PM

P: 204

pwsnafu, I'm curious what integral definitions produce different answers in this case?



#6
Feb1813, 09:45 PM

Sci Advisor
P: 820

##\int_{[a,b]} f \, d\mu = \int_{(a,b)} f \, d\mu + f(a)\, \mu(\{a\}) + f(b) \, \mu(\{b\})##. So for any atomless measure (including the Lebesgue measure) the integrals are equal. But if ##\mu(\{a\}) \neq 0## then the integrals are different. 


#7
Feb1813, 09:47 PM

P: 320

for the record i am talking about a reimann integral. apologies for the ambiguity. thanks i appreciate your response(s)! 


#8
Feb1813, 09:55 PM

Sci Advisor
P: 820




#9
Feb1813, 10:09 PM

Sci Advisor
HW Helper
PF Gold
P: 3,171




#10
Feb1913, 12:41 AM

Sci Advisor
HW Helper
PF Gold
P: 3,171

By the way, another way to see this is to observe that if ##f## is integrable over ##[L,L]##, then integrating ##f## over ##(L,L)## is equivalent to setting ##f(L) = f(L) = 0##, and integrating over ##[L, L]##. So the problem reduces to showing that if you change the value of a function at a finite number of points, the integral does not change. It's easy to see that this in turn is equivalent to showing that if you integrate a function which is zero everywhere except at a finite number of points (it suffices to consider just one point, by linearity), the result is zero. This is an easy Riemann sum argument.



#11
Feb1913, 02:04 AM

P: 320




Register to reply 
Related Discussions  
Quick question. How do you change the bounds of integration if using sec?  Calculus & Beyond Homework  4  
Changing bounds of integration.  Calculus & Beyond Homework  3  
Confusion about the constant of integration and bounds  Calculus  1  
Upper Bounds Integration  Calculus & Beyond Homework  9  
Error Bounds for Approximate Integration  Calculus & Beyond Homework  4 