Definite Integral as a Limit of Riemann Sums
The definite integral is often introduced as the area under a curve, but its deeper meaning lies in the limit of Riemann sums. Day to day, in this article we will explore the definition, the construction of Riemann sums, the passage to the limit, and several examples that illustrate the process. Understanding this limit not only clarifies why integration works but also connects calculus to the intuitive idea of approximating a region with rectangles. By the end, you will see how the definite integral emerges naturally from a simple counting argument and why this viewpoint is essential for both theoretical mathematics and practical applications.
1. Introduction: From Approximation to Exactness
When you first learn about integration, the textbook usually shows a curve (y=f(x)) on ([a,b]) and draws a handful of rectangles that approximate the area under the graph. Each rectangle’s height is taken from the function value at a chosen point inside the subinterval, while its width is the length of that subinterval. Adding the areas of all rectangles gives a Riemann sum
[ S_n = \sum_{i=1}^{n} f(x_i^*);\Delta x_i, ]
where
- (\Delta x_i = x_i - x_{i-1}) is the width of the (i)-th subinterval,
- (x_i^*) is a sample point in ([x_{i-1},x_i]), and
- (n) is the number of subintervals.
If you make the rectangles finer—i.e., increase (n) and let the maximum width (\max\Delta x_i) shrink—the sum becomes a better approximation.
[ \int_{a}^{b} f(x),dx = \lim_{|P|\to 0}\sum_{i=1}^{n} f(x_i^*);\Delta x_i. ]
Here (|P|) denotes the norm of the partition (P), the length of the longest subinterval. This limit, when it exists, gives a precise, unambiguous value for the area (or more generally, the accumulated quantity) described by (f) Nothing fancy..
2. Constructing a Riemann Sum
2.1 Partition of the Interval
A partition (P) of ([a,b]) is a finite ordered set
[ P:\ a = x_0 < x_1 < x_2 < \dots < x_n = b. ]
The subintervals ([x_{i-1},x_i]) can be of equal length (uniform partition) or of varying lengths (non‑uniform partition). The choice influences the speed of convergence but not the final limit, provided the function is integrable.
2.2 Choosing Sample Points
For each subinterval we pick a point (x_i^*) that determines the rectangle’s height. Common choices are
- Left endpoints: (x_i^* = x_{i-1})
- Right endpoints: (x_i^* = x_i)
- Midpoints: (x_i^* = \frac{x_{i-1}+x_i}{2})
- Arbitrary points: any point inside the subinterval.
The type of Riemann sum (left, right, midpoint) can affect the speed of convergence but not the limit for continuous functions.
2.3 The Sum Itself
With (\Delta x_i = x_i - x_{i-1}) the width of each subinterval, the Riemann sum becomes
[ S(P,f) = \sum_{i=1}^{n} f(x_i^*);\Delta x_i. ]
If the partition is uniform, (\Delta x_i = \Delta x = \frac{b-a}{n}) for all (i), and the sum simplifies to
[ S_n = \Delta x \sum_{i=1}^{n} f(x_i^*). ]
3. Passing to the Limit
The core idea is to let the partition become infinitely fine. Formally, we consider a sequence of partitions ({P_k}) whose norms (|P_k|) tend to zero. For each partition we compute the corresponding sum (S(P_k,f)).
[ L = \int_{a}^{b} f(x),dx. ]
3.1 Existence of the Limit
A function (f) is Riemann integrable on ([a,b]) if the above limit exists and is the same for all possible choices of sample points. Sufficient conditions include:
- Continuity on ([a,b]) (the most common textbook case).
- Boundedness and a set of discontinuities of measure zero (e.g., step functions, monotone functions).
If a function fails these conditions, the limit may depend on how we choose the sample points, and the Riemann integral does not exist.
3.2 Upper and Lower Sums
To prove integrability, one often uses upper and lower Darboux sums:
[ U(P,f) = \sum_{i=1}^{n} M_i\Delta x_i,\qquad L(P,f) = \sum_{i=1}^{n} m_i\Delta x_i, ]
where (M_i = \sup_{x\in[x_{i-1},x_i]} f(x)) and (m_i = \inf_{x\in[x_{i-1},x_i]} f(x)). If the infimum of all upper sums equals the supremum of all lower sums, the common value is the integral. This approach is equivalent to the limit of Riemann sums and often easier to handle theoretically.
4. Worked Examples
4.1 Integral of a Linear Function
Compute (\displaystyle\int_{0}^{2} (3x+1),dx) using a right‑endpoint Riemann sum with uniform partitions.
- Partition: (x_i = 0 + i\Delta x,; \Delta x = \frac{2-0}{n} = \frac{2}{n}).
- Right endpoint: (x_i^* = x_i = i\Delta x).
- Sum:
[ S_n = \sum_{i=1}^{n} \bigl[3(i\Delta x)+1\bigr]\Delta x = \Delta x\sum_{i=1}^{n}\bigl(3i\Delta x+1\bigr) = \Delta x\Bigl(3\Delta x\sum_{i=1}^{n}i + \sum_{i=1}^{n}1\Bigr). ]
- Use (\sum_{i=1}^{n}i = \frac{n(n+1)}{2}) and (\sum_{i=1}^{n}1 = n):
[ S_n = \Delta x\Bigl(3\Delta x\frac{n(n+1)}{2} + n\Bigr) = \frac{2}{n}\Bigl(3\frac{2}{n}\frac{n(n+1)}{2} + n\Bigr) = \frac{2}{n}\Bigl(3\frac{(n+1)}{1} + n\Bigr) = \frac{2}{n}\bigl(3n+3 + n\bigr) = \frac{2}{n}(4n+3). ]
- Take the limit as (n\to\infty):
[ \lim_{n\to\infty} S_n = \lim_{n\to\infty}\frac{2}{n}(4n+3) = 2\cdot4 = 8. ]
Thus (\displaystyle\int_{0}^{2} (3x+1),dx = 8), matching the antiderivative method (\bigl[\tfrac{3}{2}x^{2}+x\bigr]_{0}^{2}=8) Most people skip this — try not to..
4.2 Integral of a Non‑Polynomial Function
Evaluate (\displaystyle\int_{0}^{\pi} \sin x,dx) via midpoint Riemann sums.
- Uniform partition: (\Delta x = \frac{\pi}{n}).
- Midpoint of subinterval (i): (x_i^* = \left(i-\tfrac12\right)\Delta x).
- Sum:
[ S_n = \sum_{i=1}^{n} \sin!\Bigl(\Bigl(i-\tfrac12\Bigr)\Delta x\Bigr)\Delta x. ]
- Recognize the sum as a Riemann sum for (\sin x) on ([0,\pi]). By the definition of the integral,
[ \lim_{n\to\infty} S_n = \int_{0}^{\pi} \sin x,dx = \bigl[-\cos x\bigr]_{0}^{\pi}=2. ]
The limit exists because (\sin x) is continuous on the closed interval.
4.3 A Function with a Discontinuity
Consider (f(x)=\begin{cases}1,&x\neq 0\0,&x=0\end{cases}) on ([-1,1]). The function is bounded and discontinuous only at a single point, which has measure zero. Using any Riemann sum, the contribution of the point (x=0) is zero because a single point does not affect the total area.
[ \int_{-1}^{1} f(x),dx = 2. ]
This example illustrates that a finite number of discontinuities does not prevent the existence of the Riemann integral.
5. Why the Limit Perspective Matters
- Rigorous foundation: The limit of Riemann sums provides a precise definition that works for any bounded function, not just those with easily drawn areas.
- Numerical integration: Algorithms such as the trapezoidal rule, Simpson’s rule, and Monte Carlo integration are all derived from approximating the integral by finite sums and then refining them. Understanding the limit clarifies why these methods converge.
- Extension to higher dimensions: The same idea extends to double and triple integrals, where volumes are approximated by boxes, and the limit yields the multiple integral.
- Connection to physics: Many physical quantities—work, charge, probability—are defined as limits of sums. Recognizing the integral as a limit makes the transition from discrete measurements to continuous models natural.
6. Frequently Asked Questions
Q1. Does the choice of sample points affect the value of the integral?
For a Riemann‑integrable function, no. Whether you use left, right, midpoint, or any arbitrary points, the limit of the sums will be the same. The choice only influences the speed of convergence.
Q2. What if the limit does not exist?
If the limit depends on how the partition is refined, the function is not Riemann integrable. In such cases, more general integrals—Lebesgue, improper, or gauge integrals—may still assign a value.
Q3. How fine must the partition be?
There is no fixed “how fine.” The definition requires that the norm (|P|) become arbitrarily small. Practically, you increase (n) until the change in successive sums falls below a desired tolerance.
Q4. Can a function be unbounded and still have a Riemann integral?
No. A Riemann integrand must be bounded on the interval. Unbounded functions may have an improper integral, defined as a limit of integrals over truncated intervals.
Q5. Is the definite integral always an area?
Geometrically, for non‑negative functions it equals the area under the curve. For functions that take negative values, the integral gives the signed area—positive portions minus negative portions. In physics, the integral often represents accumulated quantity, not literal area.
7. Conclusion
Viewing the definite integral as the limit of Riemann sums transforms a vague notion of “area under a curve” into a concrete, mathematically rigorous process. Now, by partitioning the interval, selecting sample points, forming a sum, and letting the partition become infinitely fine, we capture the exact accumulated value of a function over a range. Plus, this perspective underpins numerical methods, extends to higher dimensions, and connects calculus to real‑world modeling. Whether you are a student mastering the fundamentals or a professional applying integration in engineering or data science, appreciating the limit definition equips you with a deeper intuition and a solid foundation for further exploration.
