1 Definition
The definite integral is a mathematical expression that represents the accumulated effect of a function over a specified interval. In its most familiar form, it assigns a single number to a function and two endpoints, capturing the total contribution of the function’s values across that range. It is used to formalize notions such as area, accumulation, and total change.
1.1 Riemann sums
A common starting point for defining the definite integral is the Riemann sum. The interval is divided into many small subintervals, and on each piece the function is sampled at a chosen point. The function value is multiplied by the width of the subinterval, and the resulting products are added together. As the partition becomes finer, these sums are intended to approach a limiting value.
1.2 Limit of partitions
The rigorous definition of the definite integral depends on taking the limit of these approximating sums as the number of subintervals increases without bound and the largest subinterval length tends to zero. When this limit exists and is independent of the sample points chosen in the subintervals, the function is said to be integrable on the interval.
1.3 Notation and interval bounds
The definite integral is typically written with lower and upper limits, such as the integral from a to b of a function f(x) with respect to x. The lower bound indicates the starting point of the interval, and the upper bound marks the endpoint. The order of the bounds matters, since reversing them changes the sign of the value.
1.4 Signed area interpretation
When a function is drawn on a coordinate plane, the definite integral can be interpreted as signed area between the graph and the x-axis. Portions of the graph above the axis contribute positively, while portions below contribute negatively. This interpretation explains why the integral measures net accumulation rather than ordinary geometric area alone.
2 Basic properties
The definite integral satisfies several algebraic and order-related properties that make it useful in computation and theory. These rules follow from the structure of limits and from the way accumulation behaves under addition and comparison.
2.1 Linearity
The integral is linear. The integral of a sum is the sum of the integrals, and multiplying a function by a constant multiplies the value of the integral by the same constant. This property allows complicated expressions to be broken into simpler parts.
2.2 Additivity over intervals
If an interval is split into smaller parts, the integral over the whole interval equals the sum of the integrals over the subintervals. This reflects the idea that total accumulation can be assembled from contributions on adjacent pieces. It also supports piecewise computation.
2.3 Order and comparison properties
If one function is everywhere less than or equal to another on the same interval, then its integral is also less than or equal to the other’s. In particular, a nonnegative function has a nonnegative definite integral. These comparison facts are often used to estimate integrals and prove bounds.
2.4 Symmetry properties
Certain integrals simplify because of symmetry. An odd function integrated over an interval symmetric about the origin has value zero, while an even function over such an interval can be reduced to twice the integral over the positive half. Symmetry arguments frequently shorten calculations and reveal underlying structure.
3 Fundamental Theorem of Calculus
The Fundamental Theorem of Calculus links differentiation and integration, showing that they are inverse processes in a precise sense. It provides the main bridge between accumulated quantities and antiderivatives, and it is one of the central results of calculus.
3.1 FTC Part 1
The first part states that if a function is continuous, then the accumulation function built from its definite integral is differentiable, and its derivative recovers the original function. This result explains why integration produces a smooth antiderivative-like quantity from a continuous rate of change.
3.2 FTC Part 2
The second part gives a method for evaluating definite integrals using antiderivatives. If F is an antiderivative of f, then the integral from a to b of f(x) dx equals F(b) minus F(a). This formula is the standard computational tool for exact evaluation.
3.3 Relationship to antiderivatives
Antiderivatives provide a compact way to calculate accumulated change. While an indefinite integral represents a family of antiderivatives, the definite integral extracts a specific numerical total from an interval. The Fundamental Theorem shows that the two ideas are tightly connected.
4 Methods of evaluation
Definite integrals can be evaluated by exact formulas when possible, or by approximation methods when symbolic methods are difficult. The choice of method depends on the form of the integrand and the purpose of the calculation.
4.1 Substitution
Substitution changes variables to simplify the integrand, often by reversing the chain rule. A new variable is introduced, and the bounds are adjusted accordingly if the integral is definite. This method is especially effective when the integrand contains a composite expression and its derivative.
4.2 Integration by parts
Integration by parts is based on the product rule and is useful for integrals involving products of functions. One part is differentiated and the other is integrated, often leading to a simpler expression. For definite integrals, the endpoint terms play an essential role in the final result.
4.3 Trigonometric integrals
Integrals containing powers or products of trigonometric functions often require identities and case distinctions. Standard transformations can reduce the problem to simpler forms, such as converting powers using half-angle formulas or rewriting products with trigonometric identities. These methods are common in calculus and analysis.
4.4 Partial fractions
Rational functions can often be decomposed into simpler fractions before integration. Partial fraction decomposition breaks a complicated rational expression into terms whose integrals are easier to evaluate. This technique is particularly effective when the denominator factors into linear or quadratic pieces.
4.5 Numerical integration
When an exact antiderivative is unavailable or inconvenient, numerical integration provides approximations from sampled values. These methods estimate the integral by replacing the curve with simpler shapes or interpolating functions. They are widely used in computation and applied science.
4.5.1 Trapezoidal rule
The trapezoidal rule approximates the region under a curve by trapezoids rather than rectangles. The area of each trapezoid is computed from endpoint values, and the pieces are summed. It is simple, efficient, and often improved by using many subintervals.
4.5.2 Simpson's rule
Simpson’s rule uses parabolic arcs to approximate the integrand more accurately than linear interpolation alone. It combines values at evenly spaced points with specific weights, producing a high-quality estimate for smooth functions. The method is especially effective when curvature is moderate and the interval is subdivided evenly.
5 Geometric interpretations
The definite integral has important geometric meanings that extend beyond abstract accumulation. It connects calculus to areas, volumes, lengths, and other measurable properties of shapes.
5.1 Area between curve and axis
The most familiar interpretation of a definite integral is the signed area between a graph and the coordinate axis. Positive and negative parts contribute according to their position relative to the axis. To obtain ordinary geometric area, one must account for absolute values or split the interval into regions where the function keeps a fixed sign.
5.2 Areas between curves
The area enclosed between two curves can often be found by integrating the difference of the upper function and the lower function. This approach measures the vertical separation across an interval. It is a standard method in planar geometry and applied calculus.
5.3 Volumes of revolution
Definite integrals can be used to compute the volume of solids formed by rotating a curve or region around an axis. Common techniques include the disk method, washer method, and cylindrical shell method. These formulas translate geometric slicing into one-dimensional integration.
5.4 Arc length and surface area applications
Although the definite integral does not directly equal length or surface area, it provides the framework for calculating them. Arc length is obtained by integrating a differential element derived from the curve’s slope, and surface area uses a similar idea with rotational geometry. These applications show how integration measures more than flat area.
6 Applications
Definite integrals appear throughout mathematics, physics, engineering, statistics, and other quantitative fields. They convert local rates or densities into totals, averages, and expected values.
6.1 Displacement and velocity
If velocity is known as a function of time, the definite integral over a time interval gives displacement. Positive and negative velocities contribute according to direction, so the result measures net change in position. This makes the integral a natural tool for motion analysis.
6.2 Work and force
In mechanics, work is often computed by integrating force over distance. When the force varies, the integral accumulates the contribution of each small segment of motion. This formulation also applies to springs, pumping problems, and other systems with variable resistance or input.
6.3 Mass and density
A density function can be integrated to determine total mass. In one dimension, the integral of linear density gives mass along a rod; in higher dimensions, area or volume density can be integrated over a region. The same principle applies to charge, population, and other distributed quantities.
6.4 Probability and expected value
In probability theory, definite integrals are used to compute probabilities for continuous random variables and to find expected values. The area under a probability density function over an interval gives the probability of the variable lying within that range. Integrals also define moments, variances, and related statistical quantities.
6.5 Averaging functions
The average value of a function over an interval is defined using the definite integral divided by the interval length. This gives a single representative value for a varying quantity. Average value formulas are useful in science, engineering, and data analysis.
7 Improper definite integrals
Some definite integrals extend beyond the standard setting because the interval is unbounded or the integrand becomes unbounded. These cases are called improper integrals and must be handled through limiting processes.
7.1 Infinite intervals
An integral over an infinite interval, such as from a finite endpoint to infinity, is defined by a limit of integrals over longer and longer finite intervals. The integral converges if this limit exists and is finite. Such integrals often arise in decay processes, probability, and analysis.
7.2 Unbounded integrands
If the integrand has a vertical asymptote or another singularity within the interval, the integral is defined by splitting the interval at the problematic point and taking limits. Convergence depends on whether the area near the singularity remains finite. Some singularities are integrable, while others cause divergence.
7.3 Convergence tests
Various tests help determine whether an improper integral converges. Comparison with known integrals, estimation by bounds, and asymptotic analysis are common tools. These tests are important because apparent area may be misleading when the interval is infinite or the function is unbounded.
8 Generalizations
The concept of the definite integral extends far beyond single-variable functions on finite intervals. Broader integral forms preserve the central idea of accumulation while adapting it to more complex domains and functions.
8.1 Integrals of piecewise functions
Piecewise-defined functions are integrated by splitting the domain into regions where each formula applies. The total integral is then obtained by adding the contributions from each part. This approach is especially useful for models with different behavior in different intervals.
8.2 Multiple integrals
Double and triple integrals extend the definite integral to functions of two or three variables. They are used to compute area, volume, mass, and other accumulated quantities over regions in the plane or space. Coordinate changes and region descriptions become central in these settings.
8.3 Line integrals
A line integral accumulates values along a curve rather than across an interval. It can measure work done by a vector field or the total of a scalar function along a path. This generalization is important in vector calculus and physics.
8.4 Lebesgue integral connection
The Lebesgue integral provides a more flexible framework for integration in advanced analysis. It broadens the class of functions that can be integrated and often handles limits more effectively than the Riemann approach. For well-behaved functions, both notions agree, but the Lebesgue integral is more powerful in theory.
9 Historical development
The definite integral emerged from early efforts to measure area and other accumulated quantities with precision. Over time, it evolved from geometric argument to symbolic calculus and finally to a rigorous analytical theory.
9.1 Early area problems
Ancient mathematicians studied the problem of finding areas of curved regions using exhaustion methods. These techniques approximated shapes by inscribed and circumscribed figures. Such work laid the foundation for later ideas of limit and accumulation.
9.2 Development of calculus notation
The modern integral sign and endpoint notation developed during the creation of calculus in the seventeenth century. Symbolic methods made it easier to express summation over continuous ranges and to connect integration with differentiation. Standard notation later became a central part of mathematical communication.
9.3 Modern rigorous formulation
In the nineteenth century, mathematicians developed precise definitions of limit, continuity, and integrability. This led to rigorous formulations of the definite integral that clarified when and why the integral exists. Modern analysis builds on these foundations and extends them in many directions.