# Definition:Primitive (Calculus)

*This page is about Primitive in the context of Calculus. For other uses, see Primitive.*

## Definition

### Primitive of Real Function

Let $F$ be a real function which is continuous on the closed interval $\closedint a b$ and differentiable on the open interval $\openint a b$.

Let $f$ be a real function which is continuous on the open interval $\openint a b$.

Let:

- $\forall x \in \openint a b: \map {F'} x = \map f x$

where $F'$ denotes the derivative of $F$ with respect to $x$.

Then $F$ is **a primitive of $f$**, and is denoted:

- $\ds F = \int \map f x \rd x$

### Primitive of Complex Function

Let $F: D \to \C$ be a complex function which is complex-differentiable on a connected domain $D$.

Let $f: D \to \C$ be a continuous complex function.

Let:

- $\forall z \in D: \map {F'} z = \map f z$

where $F'$ denotes the derivative of $F$ with respect to $z$.

Then $F$ is **a primitive of $f$**, and is denoted:

- $\ds F = \int \map f z \rd z$

### Primitive of Vector-Valued Function

Let $U \subset \R$ be an open set in $\R$.

Let $\mathbf f: U \to \R^n$ be a vector-valued function on $U$:

- $\forall x \in U: \map {\mathbf f} x = \ds \sum_{k \mathop = 1}^n \map {f_k} x \mathbf e_k$

where:

- $f_1, f_2, \ldots, f_n$ are real functions from $U$ to $\R$
- $\tuple {\mathbf e_1, \mathbf e_2, \ldots, \mathbf e_k}$ denotes the standard ordered basis on $\R^n$.

Let $\mathbf f$ be differentiable on $U$.

Let $\map {\mathbf g} x := \dfrac \d {\d x} \map {\mathbf f} x$ be the derivative of $\mathbf f$ with respect to $x$.

The **primitive of $\mathbf g$ with respect to $x$** is defined as:

- $\ds \int \map {\mathbf g} x \rd x := \map {\mathbf f} x + \mathbf c$

where $\mathbf c$ is an arbitrary constant vector.

## Also known as

A **primitive** is also known as an **antiderivative**.

The term **indefinite integral** is also popular.

## Integration

The process of finding a primitive for a function is known as **integration**.

## Arbitrary Constant

From the language in which it is couched, it is apparent that the primitive of a function may not be unique, otherwise we would be referring to $F$ as ** the primitive** of $f$.

This point is made apparent in Primitives which Differ by Constant: if a function has a primitive, there is an infinite number of them, all differing by a constant.

That is, if $F$ is a primitive for $f$, then so is $F + C$, where $C$ is a constant.

This constant is known as an **arbitrary constant**.

## Indefinite Integral

From the Fundamental Theorem of Calculus, it is apparent that to find the value of a definite integral for a function between two points, one can find the value of the primitive of the function at those points and subtract one from the other.

Thus arises the notation:

- $\ds \int \map f x \rd x = \map F x + C$

where $C$ is the arbitrary constant.

In this context, the expression $\ds \int \map f x \rd x$ is known as the **indefinite integral** of $f$.

## Also see

- Results about
**primitives**can be found here.

## Sources

- 1926: E.L. Ince:
*Ordinary Differential Equations*... (previous) ... (next): Chapter $\text I$: Introductory: $\S 1.2$ Genesis of an Ordinary Differential Equation - 1937: Eric Temple Bell:
*Men of Mathematics*... (previous) ... (next): Chapter $\text{VI}$: On the Seashore - 1956: E.L. Ince:
*Integration of Ordinary Differential Equations*(7th ed.) ... (previous) ... (next): Chapter $\text {I}$: Equations of the First Order and Degree: $2$. Integration - 1989: Ephraim J. Borowski and Jonathan M. Borwein:
*Dictionary of Mathematics*... (previous) ... (next): Entry:**antiderivative** - 1989: Ephraim J. Borowski and Jonathan M. Borwein:
*Dictionary of Mathematics*... (previous) ... (next): Entry:**primitive**:**2.** - 2014: Christopher Clapham and James Nicholson:
*The Concise Oxford Dictionary of Mathematics*(5th ed.) ... (previous) ... (next): Entry:**antiderivative** - 2014: Christopher Clapham and James Nicholson:
*The Concise Oxford Dictionary of Mathematics*(5th ed.) ... (previous) ... (next): Entry:**integral**