1 Definition and basic idea
A lower sum is a rectangular approximation to the area under the graph of a function on an interval. Instead of using the actual curve, the interval is split into smaller pieces, and on each piece the rectangle’s height is chosen from the smallest function value there. This produces an area estimate that lies below, or at most touches, the true area when the function is nonnegative.
Lower sums are central to the early development of integration because they express the idea of building a complicated area from simple shapes. By comparing them with upper sums, one can judge how closely the rectangles capture the behavior of the function.
1.1 Partition of an interval
To form a lower sum, one first chooses a partition of the interval. A partition divides the interval into finitely many subintervals by listing points in increasing order. The finer the partition, the more detailed the approximation can become.
Each subinterval is treated separately. This local approach allows the method to respond to changes in the function’s shape, since narrow intervals can capture steep variation more effectively than broad ones.
1.2 Infimum on subintervals
On each subinterval, the lower sum uses the infimum of the function values. For bounded functions, the infimum is the greatest lower bound, and in many common cases it is the minimum value actually attained on that subinterval. This choice guarantees that the rectangle does not extend above the function on that piece.
Using the infimum makes the construction robust even when a minimum is not attained. The method depends only on the lower edge of the function’s values, not on a specific point where the minimum occurs.
1.3 Construction of rectangles
After the infimum is found on each subinterval, a rectangle is built with that height and with width equal to the length of the subinterval. The area of each rectangle is then height times width. Adding these areas gives the lower sum.
This construction creates a piecewise constant approximation from below. Where the function stays nearly flat, the rectangles may fit well; where it varies quickly, the approximation may be rougher.
1.4 Lower sum notation
Lower sums are often written using a partition and a function. If a partition is denoted by \(P\) and the function by \(f\), the lower sum is commonly written as \(L(f,P)\) or a similar notation. The exact symbol may vary by text, but the meaning is consistent.
The notation emphasizes that the value depends on both the function and the chosen partition. Different partitions generally produce different lower sums for the same function.
2 Examples
Examples help show how lower sums behave for functions with different shapes. In each case, the same general process is used: divide the interval, find the lowest value on each piece, and add the rectangle areas.
2.1 Constant functions
For a constant function, every subinterval has the same function value. The infimum on each piece equals that constant, so every rectangle has identical height. As a result, the lower sum equals the exact area of the region under the graph.
This is the simplest case. It shows that lower sums can be exact when the function does not vary across the interval.
2.2 Increasing functions
For an increasing function, the infimum on each subinterval occurs at the left endpoint. The rectangles therefore use left-endpoint heights and lie beneath the graph. As the partition becomes finer, these lower sums usually move closer to the true area.
This example illustrates how the method adapts to monotone behavior. The location of the smallest value is easy to identify, so computation is straightforward.
2.3 Decreasing functions
For a decreasing function, the infimum on each subinterval occurs at the right endpoint. The rectangles again stay below the curve, but the heights now come from the right side of each subinterval. This yields a lower estimate that improves as the intervals are shortened.
Comparing increasing and decreasing cases shows that lower sums depend not only on the function’s values, but also on how those values are distributed across the interval.
2.4 Piecewise-defined functions
Piecewise-defined functions may change formula from one subinterval to another. Lower sums handle these functions by treating each partition piece separately. If a partition is chosen so that its points align with the breakpoints, computation becomes much easier.
These examples are useful because they show how lower sums respond to jumps, corners, or changes in slope. The method remains valid as long as the function is bounded on the interval.
3 Properties
Lower sums have several basic properties that make them useful in analysis. They are sensitive to the partition, behave predictably under refinement, and are naturally compared with upper sums.
3.1 Dependence on the partition
A lower sum is not a fixed number attached only to the function. It changes when the partition changes, because the subintervals determine where the infimum is taken. Two different partitions can produce quite different estimates.
This dependence is essential. It allows increasingly accurate approximations to emerge from increasingly detailed subdivisions.
3.2 Effect of refining partitions
If a partition is refined by adding more points, the lower sum cannot decrease in an unpredictable way; it typically moves upward or stays the same. Smaller subintervals may have larger infima than larger ones, so the rectangles can fit more tightly beneath the graph.
This monotonic behavior under refinement is one of the main reasons lower sums are useful. It supports the idea of approaching the true area through better and better approximations.
3.3 Comparison with upper sums
Lower sums are paired with upper sums, which use supremum values instead of infima. The lower sum gives an estimate from below, while the upper sum gives an estimate from above. Together they bracket the possible integral value.
When the two sums are close, the function is well approximated by rectangles on that partition. When they become equal in the limit, the function is integrable in the Riemann sense.
3.4 Bounds for the function area
For a nonnegative bounded function, every lower sum is less than or equal to the actual area under the curve, assuming the area is interpreted as a definite integral. This makes lower sums useful as guaranteed underestimates. They provide safe bounds rather than exact values.
If the function can take negative values, the interpretation requires care, since “area under the curve” and signed integral are not always the same. The lower-sum framework remains important, but the geometric picture must be adjusted accordingly.
4 Relation to Riemann integration
Lower sums are one of the standard building blocks of Riemann integration. They describe how the integral can be approached by approximating a function with rectangles chosen from below.
4.1 Lower Riemann sums
In many textbooks, the term lower Riemann sum refers to a lower sum formed from a partition and the infimum on each subinterval. It is part of the Riemann-sum framework, where the integral is approximated by finite sums of rectangular areas.
This terminology highlights the link between algebraic summation and geometric approximation. Lower sums are the “from below” counterpart to the more familiar upper estimates.
4.2 Darboux sums
Lower sums are often presented as part of the Darboux approach to integration. In that setting, lower and upper sums are called Darboux sums. The lower Darboux sum uses infima, and the upper Darboux sum uses suprema.
The Darboux viewpoint makes clear that integration can be defined without choosing sample points inside each subinterval. Instead, the extreme values of the function on each piece determine the approximation.
4.3 Integrability criterion
A bounded function is Riemann integrable when lower and upper sums can be made arbitrarily close by choosing suitable partitions. Equivalently, the supremum of all lower sums equals the infimum of all upper sums. This common value is the definite integral.
The criterion shows why lower sums matter: they measure the best approximation from below, and their behavior reveals whether a function has a well-defined integral.
4.4 Limit of lower sums
For integrable functions, lower sums over finer and finer partitions tend toward the integral value. The limit is not taken from a single fixed partition, but from a family of partitions whose mesh becomes smaller. In well-behaved cases, the lower sums converge to the same number as the upper sums.
This limiting process gives lower sums their conceptual role. They are not merely rough estimates; they are part of the mechanism that defines the integral itself.
5 Computation
Computing lower sums often requires identifying minima or infima on each subinterval and multiplying by the corresponding widths. The difficulty depends on the shape of the function and the regularity of the partition.
5.1 On equal subintervals
When an interval is split into equal parts, the computation is usually simpler because each width is the same. One only needs to determine the lower value on each piece and then sum the resulting products. This is especially convenient for monotone functions.
Equal subintervals are common in introductory examples. They make the pattern of the approximation easy to recognize and compare across refinements.
5.2 On unequal subintervals
Unequal partitions require a separate width for each rectangle. The calculation is still the same in principle, but the arithmetic becomes more varied. Such partitions can be useful when the function changes rapidly in one region and slowly in another.
This flexibility can improve approximation quality. Concentrating smaller intervals where the function varies more can make lower sums more efficient.
5.3 Using monotonicity
If a function is monotone on a subinterval, the infimum is easy to locate. For increasing functions, it is at the left endpoint; for decreasing functions, at the right endpoint. This observation often turns a difficult minimization problem into a simple endpoint evaluation.
Monotonicity is one of the most practical tools in lower-sum computation. It reduces the need for detailed analysis of the function on each interval.
5.4 Handling discontinuities
When a function has discontinuities, lower sums still make sense as long as the function remains bounded. The infimum on a subinterval may be influenced by a jump or isolated dip, so partitions are often chosen to isolate problematic points. This can improve the quality of the estimate.
Discontinuities may slow convergence, but they do not automatically prevent the use of lower sums. The key issue is whether the function can still be approximated closely enough by lower and upper sums together.
6 Applications
Lower sums appear in both theoretical and computational settings. They provide estimates, support proofs, and offer a clear introduction to the meaning of integration.
6.1 Approximating definite integrals
One of the main uses of lower sums is numerical approximation of definite integrals. They give a controlled underestimate that can be combined with upper sums to trap the true value between two bounds. This is helpful when an exact antiderivative is difficult to find.
In practice, lower sums can serve as a first approximation or as part of a two-sided estimate. Their simplicity makes them suitable for introductory calculations.
6.2 Proving integrability
Lower sums are often used in proofs that a function is integrable. By showing that lower and upper sums can be made arbitrarily close, one demonstrates that the function has a Riemann integral. This approach is especially effective for continuous functions on closed intervals.
The method provides a rigorous framework for moving from geometric intuition to precise analysis. It explains why smoothness or mild regularity leads to integrability.
6.3 Estimating areas and errors
Because lower sums underestimate the integral for nonnegative functions, they can be used to estimate area from below. When paired with an upper sum, they also allow an error estimate for the approximation. The gap between the two bounds measures the uncertainty.
This is useful in applied calculus, where exact evaluation may not be practical. Lower sums offer a transparent way to control approximation error.
6.4 Introductory calculus exercises
Lower sums are a standard topic in early calculus courses. They help students understand how integrals arise from partitions, rectangle areas, and limiting processes. Exercises often ask for lower sums of simple polynomial, linear, or step functions.
These problems build intuition for the definite integral before formal antiderivatives are introduced. They also reinforce the connection between algebraic computation and geometric interpretation.