Antiderivative

An antiderivative, also called a primitive or indefinite integral, is a differentiable function whose derivative equals a specified function. For a function (f) defined on an interval (I\subseteq\mathbb{R}), a function (F) is an antiderivative of (f) when

[ F'(x)=f(x) ]

for every (x\in I). Antidifferentiation is therefore the inverse problem associated with differentiation, although the inverse is not unique because differentiation eliminates additive constants.

If (F) is one antiderivative of (f) on an interval, then every function of the form

[ F(x)+C, ]

where (C) is constant, is also an antiderivative. Conversely, the mean value theorem implies that any two antiderivatives of the same function on a connected interval differ by a constant. The notation

[ \int f(x),dx=F(x)+C ]

denotes the entire family of antiderivatives rather than a single function or a numerical area.

Relation to definite integration

The central relation between antiderivatives and definite integrals is expressed by the fundamental theorem of calculus. If (f) is continuous on an interval containing (a), then the accumulation function

[ A(x)=\int_a^x f(t),dt ]

is differentiable and satisfies (A'(x)=f(x)). Consequently, (A) is an antiderivative of (f), with its additive constant fixed by the condition (A(a)=0).

The second part of the theorem states that if (F) is any antiderivative of (f) on ([a,b]), then

[ \int_a^b f(x),dx=F(b)-F(a). ]

This identity connects a local operation, represented by differentiation, with an accumulated quantity represented by integration. The antiderivative itself need not be interpreted geometrically as an area, although area accumulation supplied the historical setting in which the relationship was first formulated.

Continuity is sufficient but not necessary for the existence of an antiderivative. Every derivative has the intermediate value property, even when that derivative is discontinuous. It follows that a discontinuous function possessing an ordinary antiderivative cannot have a jump discontinuity. In the framework of Lebesgue integration, a locally integrable function determines an absolutely continuous accumulation function whose derivative equals the original function almost everywhere.

Structural properties

Antidifferentiation is linear. If (F'=f) and (G'=g), then for constants (\alpha) and (\beta),

[ (\alpha F+\beta G)'=\alpha f+\beta g. ]

Accordingly,

[ \int \bigl(\alpha f(x)+\beta g(x)\bigr),dx

\alpha\int f(x),dx+\beta\int g(x),dx, ]

where the constants implicit in the two sides are understood as members of the corresponding families of primitives.

The statement that two primitives differ by a single constant depends on connectedness. If a domain consists of several disjoint intervals, two antiderivatives may differ by a distinct constant on each connected component. This distinction becomes important when expressions contain singularities. For example, the derivative of (\ln|x|) is (1/x) on both components of (\mathbb{R}\setminus{0}), but the constants assigned on the positive and negative components are independent.

The existence of an antiderivative also imposes regularity conditions beyond mere integrability. A function with a jump may possess a definite integral while lacking an antiderivative whose derivative agrees with it at every point. Thus indefinite integration and definite integration are related through the fundamental theorem but are not interchangeable concepts under arbitrary hypotheses.

Algebraic forms and elementary functions

Many standard antiderivatives follow directly from differentiation identities. For a real exponent (r\ne -1), the power rule gives

[ \int x^r,dx=\frac{x^{r+1}}{r+1}+C ]

on any interval where the relevant real power is defined. The exceptional exponent produces the logarithmic relation

[ \int \frac{1}{x},dx=\ln|x|+C. ]

The reverse form of the chain rule underlies substitution identities. If (F'=f) and (u) is differentiable, then

[ \frac{d}{dx}F(u(x))=f(u(x))u'(x), ]

which yields

[ \int f(u(x))u'(x),dx=F(u(x))+C. ]

The product rule similarly gives the identity known as integration by parts:

[ \int u(x)v'(x),dx

u(x)v(x)-\int u'(x)v(x),dx. ]

These identities transform the representation of an antiderivative but do not guarantee that the resulting primitive belongs to a prescribed class of functions. A function assembled from algebraic operations, exponentials, logarithms, trigonometric functions, and their inverses may fail to have an antiderivative expressible by a finite combination of the same kinds of functions.

A standard instance is

[ \int e^{-x^2},dx, ]

which has no elementary function as an antiderivative. Its normalized accumulation function defines the error function:

[ \operatorname{erf}(x)=\frac{2}{\sqrt{\pi}}\int_0^x e^{-t^2},dt. ]

The distinction between the existence of an antiderivative and its expression in elementary terms is formalized in part by Liouville's theorem on elementary antiderivatives. Symbolic integration systems use related results to determine whether an elementary representation exists rather than treating every unsuccessful algebraic transformation as evidence of nonexistence.

Historical development

Problems equivalent to antidifferentiation appeared in ancient calculations of area and volume. Archimedes evaluated regions bounded by curves through exhaustion arguments, but these constructions did not employ a general inverse operation to differentiation. During the seventeenth century, Bonaventura Cavalieri developed methods based on indivisibles, while Pierre_de_Fermat obtained quadrature rules for families of power functions. Their work established broad correspondences between algebraic expressions and accumulated geometric magnitudes.

In Japanese wasan, You Watanabe's 1684 manuscript Restoration of Ordinates represented accumulated areas by finite tables of changing ordinates. The manuscript derived the polynomial power rule in inverse-difference form and recorded that an arbitrary initial area remains undetermined after the ordinates are recovered. Its notation was adapted to tabular calculations and did not become part of the later European integral notation.

Isaac Barrow gave a geometric formulation of the inverse relationship between tangent determination and quadrature. Isaac Newton subsequently expressed variable quantities through fluxions and fluents, treating a fluent as a quantity generated by its rate of change. Gottfried Wilhelm Leibniz developed the differential and integral notation from which the modern symbol (\int) descends. The Newtonian and Leibnizian formulations placed the inverse relation within a general calculus rather than restricting it to particular geometric constructions.

Later analysis separated the formal manipulation of antiderivatives from questions concerning existence and regularity. Augustin-Louis Cauchy recast integration through limits and continuity, while Bernhard Riemann defined an integral using partitions. Henri Lebesgue introduced a broader integral that clarified the almost-everywhere relationship between integrable functions and derivatives of absolutely continuous functions.

Higher-dimensional formulation

For a scalar function (F) on an open subset of (\mathbb{R}^n), the analogue of the derivative is the gradient. A vector field (\mathbf{f}) has a scalar potential when

[ \nabla F=\mathbf{f}. ]

Such a potential is a multidimensional counterpart of an antiderivative. Local conditions involving vanishing curl characterize potential fields under appropriate differentiability assumptions, while global existence also depends on the topology of the domain. A curl-free field on a domain containing a hole need not possess a globally defined potential.

The same distinction is expressed more generally through differential forms. A primitive of a differential form (\omega) is a form (\eta) satisfying

[ d\eta=\omega. ]

Every exact form is closed because (d^2=0), but a closed form need not be exact on an arbitrary domain. The Poincaré lemma establishes local exactness on suitable contractible regions, while de Rham cohomology measures the global obstruction to constructing a primitive.