Antiderivative (Indefinite Integral)

Definition and basic properties

Formally, a function F is an antiderivative of f on an interval I if F is differentiable on I and F'(x) = f(x) for every x in I. If F is one antiderivative, then every antiderivative has the form F(x) + C where C is a real constant; this constant is called the constant of integration. Antiderivatives inherit continuity from differentiability: if f has an antiderivative on I, then f must be continuous almost everywhere in the classical contexts familiar from elementary calculus, and often one works with continuous f to guarantee existence. Simple rules mirror differentiation: the antiderivative operator is linear, so ∫(a f(x) + b g(x)) dx = a ∫ f(x) dx + b ∫ g(x) dx when a and b are constants.

Existence, uniqueness and conventions

Not every function that appears in advanced analysis has an elementary antiderivative expressible in terms of elementary functions. However, many standard functions encountered in applied mathematics do. Uniqueness up to an additive constant follows directly from the mean value theorem: if F and G are antiderivatives of f on an interval, then (F − G)' = 0, so F − G is constant. For definite integrals, the fundamental theorem of calculus connects antiderivatives to accumulation: if F is any antiderivative of a continuous f on [a,b], then ∫_a^b f(x) dx = F(b) − F(a). For further discussion of integration techniques and the relation between definite and indefinite integrals see integration.

Common methods and examples

• Direct antiderivatives: polynomials integrate termwise: ∫ x^n dx = x^{n+1}/(n+1) + C for n ≠ −1.
• Substitution (change of variable): used when an integrand contains a composite function and its derivative.
• Integration by parts: derived from the product rule, useful for products of functions.
• Partial fractions: decomposes rational functions to simpler terms that are integrable.

Some antiderivatives lead to special functions (for example, the integral of e^{x^2} does not express in elementary terms and is related to the error function). When closed-form antiderivatives are unavailable, numerical integration or series expansions are typical alternatives. Textbooks and reference tables collect many standard antiderivatives and techniques; a concise guide is available at further reading.

Applications and distinctions

Antiderivatives are basic tools in solving differential equations, computing areas and accumulated quantities, physics (for example finding displacement from velocity), and in many areas of engineering and probability. It is important to distinguish indefinite integrals (families of antiderivatives, written ∫ f(x) dx) from definite integrals (numbers computed with limits). The notation and choice of constant matter when using antiderivatives to evaluate definite integrals: any antiderivative suffices because the constant cancels when taking differences. Higher-order antiderivatives are obtained by repeatedly reversing differentiation and are used in solving differential equations of higher order.

Notable facts

Historically, the connection between antiderivatives and sums of infinitesimal quantities was developed in the 17th century and became formalized with the fundamental theorem of calculus. Modern studies in symbolic integration analyze which elementary functions have elementary antiderivatives, leading to algorithmic tests in computer algebra. Despite limitations, the antiderivative remains a central concept linking local change (derivative) with global accumulation (integral).

For an introductory course treatment and worked examples, consult standard calculus texts or online resources that explain techniques and provide practice problems. See also calculus and discussions of integration and differentiation.