Why is the definite integral of 1/x from -1 to 1 undefined?

Click For Summary

Discussion Overview

The discussion centers around the question of why the definite integral of the function ##\frac{1}{x}## from -1 to 1 is considered undefined. Participants explore various aspects of integration theory, including the fundamental theorem of calculus, Riemann integrals, and alternative definitions such as the Cauchy principal value and Lebesgue integrals.

Discussion Character

  • Debate/contested
  • Technical explanation
  • Conceptual clarification

Main Points Raised

  • One participant notes that the fundamental theorem of calculus requires the integrand to be defined over the closed interval, which is not the case for ##\frac{1}{x}## due to its undefined nature at ##x=0##.
  • Another participant suggests that the integral can be approached using limits, but concludes that neither limit exists, leading to the integral being undefined.
  • Some participants mention that while the Riemann integral does not exist for this function over the specified interval, alternative definitions such as the Cauchy principal value yield a result of 0.
  • It is pointed out that the Lebesgue integral also does not exist for the interval ##[-1, 1]##, as it leads to an indeterminate form when considering the integrals over the subintervals ##[-1, 0]## and ##[0, 1]##.
  • One participant emphasizes the geometric interpretation, stating that the areas under the curve on either side of the y-axis are infinite but of opposite signs, complicating any attempt to define the integral in a conventional sense.

Areas of Agreement / Disagreement

Participants generally agree that the Riemann integral does not exist for the function ##\frac{1}{x}## over the interval from -1 to 1. However, there are competing views regarding alternative methods of integration, such as the Cauchy principal value and the Lebesgue integral, which lead to different interpretations of the integral's value.

Contextual Notes

The discussion highlights limitations in the definitions of integrals, particularly regarding discontinuities and the behavior of the function at points of singularity. The reliance on different integration techniques introduces additional complexity and uncertainty in the conclusions drawn.

Saracen Rue
Messages
150
Reaction score
10
TL;DR
Why is ##\int_{-1}^{1} \frac {1} {x} dx## undefined?
I've always been taught that the indefinite integral of ##\frac{1}{x}## is ##\ln(|x|)##. Extending this to definite integrals, particularly over limits involving negative values, should work just like any other integral:

$$\int_{-1}^{1} \frac {1} {x} dx = \ln(|-1|) - \ln(|1|) = \ln(1) - \ln(1) = 0 - 0 = 0$$

However, this doesn't seem to be the case as every online calculator/program I use states the answer as being undefined. What I'm struggling with is why it's undefined, as all the rules I know for integration and maths in general imply the answer should be ##0##. I should note that I've never been the strongest with understanding the theory behind a lot of calculus. My teachers always dismissed my questions in high school or didn't know the answers themselves and insisted for me to just follow the formulae they give to get the answers they want. Any actual theory I know is self taught, so I apologies in advance if I struggle to follow explanations for this question if cover more complicated theory.

Thank you for your time.
 
Physics news on Phys.org
Well, for short, you are using the fundamental theorem of calculus, which assumes the integrand function ##f(x)## to be defined in the closed interval ##[a,b]##. Then
$$\int_a^b f(x)\, dx = F(b)-F(a)$$
But ##f(x)=x^{-1}## is not defined in ##[-1,1]## since it's not defined for ##x=0## and FTC is not applicable. So the integral $$\int_{-1}^{1} x^{-1}\, dx$$ defined as the area under the curve is simply not defined. This integral is usually defined by the limits
$$\int_{-1}^{1} x^{-1}\, dx = \lim_{\varepsilon \to 0^-}\int_{-1}^{\varepsilon} x^{-1}\, dx + \lim_{\varepsilon \to 0^+}\int_{\varepsilon}^{1} x^{-1}\, dx$$
Since neither of the two limits exist, the integral cannot exist. Although if you want, you can use a different definition for the integral, usually known as its Principal Value:
$$\int_{-1}^{1} x^{-1}\, dx = \lim_{\varepsilon \to 0^-}\left(\int_{-1}^{\varepsilon} x^{-1}\, dx + \int_{\varepsilon}^{1} x^{-1}\, dx\right) = 0$$
 
  • Like
Likes   Reactions: Santiago24, jedishrfu, Delta2 and 1 other person
The definition of the Riemann Integral allows for countable many discontinuities or points where the function is not defined over the domain of integration. However the function must be bounded over the domain of integration and this function isn't bounded over (-1,1)(it becomes ##\pm\infty## at 0) hence the Riemann Integral doesn't exist.
 
Last edited:
  • Like
Likes   Reactions: Santiago24
As other people said, the Riemann integral does nor exist, but this does not mean you cannot integrate it this or that way. For instance, the Cauchy principal value of this integral is 0.
Also, via Laplace transform and comparison to the harmonic series, ##\int_0^1 1/x dx## has regularized value of 0.
 
It's worth mentioning that the Lebesgue integral also does not exist. The Lebesgue integrals over the intervals ##[-1,0]## and ##[0,1]## exist (as extended real numbers):
$$\int_{-1}^{0}\frac{1}{x}\ dx = -\infty$$
$$\int_{0}^{1}\frac{1}{x}\ dx = +\infty$$
But ##\int_{-1}^{1} \frac{1}{x}\ dx## does not exist, because if it did, it would have to equal ##\int_{-1}^{0}\frac{1}{x}\ dx + \int_{0}^{1}\frac{1}{x}\ dx = -\infty + \infty##, which is undefined.

Geometrically speaking, the graph of the part of the function to the right of the y-axis has positive infinite area, and the graph of the part to the left of the y-axis has negative infinite area. You can't "cancel" ##+\infty## and ##-\infty## in a well-defined way.
 
  • Like
Likes   Reactions: Delta2

Similar threads

  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 15 ·
Replies
15
Views
4K
  • · Replies 27 ·
Replies
27
Views
3K
  • · Replies 14 ·
Replies
14
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 20 ·
Replies
20
Views
4K