Differentiation is the process of finding the derivative of a given function. Sometimes we need to reverse the process of differentiation: we want to discover an unknown function whose derivative is given.
| Concept | Notation | Meaning |
|---|---|---|
| Antiderivative of | with F'(x)=f(x) | A function whose derivative is |
| Indefinite integral | , the family of all antiderivatives | |
| Integral sign | Indicates the operation of integration | |
| Integrand | The function being integrated | |
| Variable of integration | in | The variable with respect to which we integrate |
| Constant of integration | Arbitrary constant added to any antiderivative |
Antiderivatives
A function is called an antiderivative (also a primitive function or integral1) of a function on an interval if
F'(x) = f(x) \qquad \text{for every } x \text{ in } I.1We may also say that is an integral function of .
For example, because , the function is an antiderivative of . Because the derivative of a constant is zero, the derivatives of the following functions
and in general , are the same.
- In general, if is an antiderivative of , so that F'(x) = f(x), then is also an antiderivative of , where is an arbitrary number, since (F(x)+C)' = F'(x) + 0 = f(x). This shows that if has an antiderivative, it has infinitely many antiderivatives.
- If is a function whose derivative is on an interval, then every function having the same derivative on that interval can be written as for some constant . This means that if we have one antiderivative of , then we have all antiderivatives of .
Let and be two functions such that F'(x) = G'(x) on a certain interval. Then there exists a constant such that for all in the interval.
Proof
Let . Then
h'(x) = F'(x) - G'(x) = 0.This shows that the slope of the tangent line to the graph of at each point is zero and hence the tangents are always horizontal. This means that the graph of cannot go up or down. Therefore, is a constant function , or equivalently .
More rigorous proof
Consider two arbitrary numbers and in the given interval. From the Mean Value Theorem, we have
h(x_2) - h(x_1) = h'(c)(x_2 - x_1)for some between and . Because h'(x) = 0 for all values of ,
h'(c) = 0 \Rightarrow h(x_2) = h(x_1).Because and are arbitrary, the above calculations show that is a constant function . That is, and differ only by a constant:
- The above theorem depends on the domain of definition being an interval. For example, let
F(x) = \begin{cases} x^2 & \text{if } -1 < x < 1 \\ x^2 - 4 & \text{if } 2 < x < 3 \end{cases}
and
G(x) = \begin{cases} x^2 + 5 & \text{if } -1 < x < 1 \\ x^2 - 3 & \text{if } 2 < x < 3 \end{cases}.Then F'(x) = G'(x) = 2x for all , but is not of the form .

Two piecewise functions with equal derivatives on a disconnected domain, but not differing by a single constant.
Indefinite Integrals
It follows from the above theorem that if is an antiderivative of in an interval , the general form of the function which has the derivative or the differential in is , where is an arbitrary constant.2 This expression is called the indefinite integral of .
2Any constant value can be assigned to . It is therefore called "arbitrary constant."
Let be an antiderivative of in an interval , so that F'(x) = f(x) for every in . The expression , where is an arbitrary constant, is called the indefinite integral of and is denoted by
The process of finding from is called indefinite integration.
- The symbol is called the integral sign.
- is called the integrand or subject of integration.
- The differential indicates that is the variable of integration.
It follows from the above definition that:
If , or equivalently , then
where is an arbitrary constant, called the constant of integration.
For example, because or , we have
Also because , we have
- An indefinite integral is a family of functions . From a geometric perspective, an indefinite integral is a collection of curves. Each curve is formed by moving one of the curves parallel to itself either upward or downward along the -axis.
- In writing , it is assumed, although not explicitly stated, that this formula holds true for all values of within a certain interval where both and are defined.
The notation can be interpreted in two ways:
- We can regard as a single symbol, which means "integrate with respect to ." It operates on a function and produces its general antiderivative, or integral . In this interpretation the integral sign and the go together; indicates the operation of integration and specifies that the variable of integration is . In this interpretation is viewed as the inverse of differentiation with respect to , i.e., .
- We may rewrite using differentials as , so we can say is the differential of . Writing the integral sign in front of each side of this equation, we get . But . Therefore, \int dF(x) = \int F'(x)\,dx = F(x)+C. In this viewpoint, is an operation that acts on the differential of a function and returns the original function (plus a constant). Thus, the symbol for integration (without thinking of the as part of the symbol) can be viewed as the inverse of the operation denoted by the symbol .
Both interpretations are valid, and we will use both of them throughout this text. The second one is particularly useful, not only for evaluating integrals, but also for solving certain differential equations (a differential equation is an equation that contains the derivatives of an unknown function, and we try to discover that unknown function).
- Notice that
\bbox[8px, #E6F0FA, border: 3px solid #0066CC]{\frac{d}{dx}\left[\int f(x)\,dx\right] = f(x),}
or equivalently , and
\bbox[8px, #E6F0FA, border: 3px solid #0066CC]{\begin{aligned} \int dF(x) &= \int\frac{d(F(x))}{dx}\,dx \\ &= \int F'(x)\,dx = F(x)+C. \end{aligned}}We observe that the signs and , or and , annul each other in either order. However, when follows ; that is, when we integrate after differentiating, we must add an arbitrary constant , since differentiation discards any constant that was present in the original function. When (or ) follows , no constant arises: differentiating returns exactly.
Different Meanings of the Indefinite Integral Across Textbooks
Notice that different books use the notation in two distinct ways.
- A specific antiderivative. Some books treat as some particular function such that F'(x) = f(x). On this reading, and and are all valid. Examples include Lang's A First Course in Calculus, Spivak's Calculus, Simmons's Calculus with Analytic Geometry, and Courant's Differential and Integral Calculus.
- The family of all antiderivatives. Other books treat as denoting the entire family of antiderivatives, written where is an arbitrary constant. On this reading, is incomplete or even incorrect; the proper statement is . Examples include Stewart's Calculus, Apostol's Calculus, Thomas' Calculus (now continued by other authors), and Anton's Calculus.
Both are logically defensible. The difference is one of convention, not mathematics. We follow the second convention, as it is far more common in calculus textbooks.
Does Every Function Have an Antiderivative?
A natural question arises: do antiderivatives, and thus indefinite integrals, exist for every function ? The answer is no. Nevertheless, it can be shown that every continuous function has an antiderivative (or hence indefinite integral); that is, if is a continuous function, then there exists a function such that F'(x) = f(x) and . However, this does not mean that we can necessarily find or that we can express it in terms of familiar functions, because there are many non-elementary functions whose derivatives are elementary functions. For example, there is no combination of the functions that we have been dealing with so far whose derivative is , , , or . In other words,
cannot be expressed in terms of familiar functions.