An indefinite integral is something less definite than a definite integral. Whereas a definite integral is typically some kind of number or other concrete quantity, an indefinite integral is typically another variable quantity of the same type as the integrand.
The term ‘indefinite integral’ is itself rather indefinite, having been used for a variety of slightly different concepts. Both semidefinite integrals and antiderivatives are more precise versions of indefinite integrals. The fundamental theorem of calculus is basically the theorem that these different kinds of indefinite integral are essentially the same thing.
To begin with, we will discuss the integration of real-valued functions on the real line, but much of this can be generalized to other contexts. So let be a partial function from to ; typically, the domain of will be an interval, but we do not require this.
If is a real number (usually in the domain of , or at least in the domain's closure), then the semidefinite integral of from (or with initial point ) is the function
(If , then we must define as .)
The semidefinite integral is defined in terms of the definite integral. We can put names such as ‘Riemann’ and ‘Lebesgue’ between ‘semidefinite’ and ‘integral’ to specify a particular kind of definite integral to be used. Note that the domain of the semidefinite integral is an interval containing and contained in the domain of (or at least in its closure if we allow improper integral?s or integrating almost functions). If we start by defining as a locally integrable function? on a closed interval containing , then the semidefinite integral will also have as its domain.
The value at of the semidefinite integral from may be denoted
for short. Notice that this notation has no dummy variable; we only need to introduce the dummy variable to unfold the definition. (Indeed, some writers will abuse notation, writing for the semidefinite integral.) But as in , the here is not a free variable either, since we cannot freely use substitution; it has to be viewed as variable quantity? instead. Rather, if you want to evaluate when is some number , then the notation for this is following the general logic of variable quantities; but unwrapping the definition of semidefinite integral, this can also be written as . (In each of these, has now become a dummy variable.)
If and are real numbers (with in the domain of or its closure), then the indefinite integral of from with initial value is the function
We may write this value as for short.
This is only one of the meanings of ‘indefinite integral’, but it is the only one that doesn't have alternative unambiguous terminology. Note that is the value of the indefinite integral at ; thus, is the initial value if is the initial point. But for authors who use this concept, there is often no need to mention either or (and hence no terminology needed for them), because they are interested only in whether some other function is an indefinite integral of , where is a locally integrable function on some closed interval.
If is a partial function from to , then is an antiderivative of (or an antidifferential of ) if is the derivative of on its domain:
A posteriori, must be differentiable.
This is the usual meaning of ‘indefinite integral’ in modern Calculus textbooks using the Riemann integral, especially when the domain of is an interval.
If is a Lebesgue-measurable partial almost function from to , then is an almost antiderivative of if is the derivative of almost everywhere:
We are especially interested in the case where is absolutely continuous.
This is not standard terminology, but it fits in well with other ‘almost’ terminology in measure theory. This is a common meaning of ‘indefinite integral’ when using the Lebesgue integral.
The main property linking the different kinds of indefinite integral is the fundamental theorem of calculus (FTC). For various definitions of integral, one can prove that every semidefinite integral, or more generally any indefinite integral in the sense of Definition , is an antiderivative; and that every antiderivative, or more generally every almost antiderivative, is an indefinite integral; possibly with technical conditions (depending on the type of integral concerned) such as differentiability or absolute continuity. See that article for details.
Indefinite integrals provide solutions to differential equations. Of course, the definition of an antiderivative is that it is the solution to a particularly simple differential equation. Employing the FTC, we see that the indefinite integrals are the solutions to the corresponding initial-value problems. Specifically, the solution to
is the indefinite integral of with initial point and initial value :
Some more general initial-value problems can be solved similarly; for example, the implicit solution to the separable IVP
is
Similarly, the solution to the linear IVP
is
where .
When is an exterior -form on a subspace of the cartesian space , then we can define an antiderivative (or antidifferential) of to be any real-valued function on such that . Then when is a point in (or perhaps its closure), we can define the value of the semidefinite integral of with initial point to be the integral of along a straight line segment from ; the domain is a star-convex set? radiating from and contained in (the closure of) . If we define an indefinite integral as a semidefinite integral plus a constant initial value, then every antiderivative of on a star-convex set is an indefinite integral. Conversely, every indefinite integral is an antiderivative if is closed. If is not closed, then it still has indefinite integrals (as long as it's continuous or otherwise locally integrable), but these are no longer antiderivatives (which non-closed forms never have).
This can perhaps be generalized to Riemannian manifolds by considering integrals along geodesics; although the geodesic between two points is not always unique (even when it exists), it is unique on a sufficiently small (and often quite large) neighbourhood. (For example, on a sphere, as long as is integrable, we can define the indefinite integral this way at every point except the one directly opposite the initial point.)
However, this straight-line definition seems rather artificial, and it might be best to use the more notion of semidefinite integral below, applicable only to closed forms but on more general manifolds.
We can generalize to exterior differential forms on differentiable manifolds, generalizing the FTC to the Stokes theorem. It's clear what an antiderivative is in this context: is an exterior antiderivative of iff is the exterior derivative of . On a smooth manifold, we know what ‘almost’ means and so can also define exterior almost antiderivatives.
If is a -form on any differentiable manifold and is a point in its domain, then the semidefinite integral of with initial point is defined at another point iff the integral of is the same along any path from to (and then that integral is the value). We can define an indefinite integral by adding a constant initial value. Then every antiderivative on a path-connected domain is an indefinite integral, and conversely every indefinite integral is an antiderivative. By definition, is exact iff an antiderivative exists, and therefore iff an indefinite integral exists on each path-connected component?. Similarly, is closed iff it has an indefinite integral on a neighbourhood of each point; if the domain of is simply connected, then the indefinite integral can be extended to the entire domain.
It remains to consider a good notion of semidefinite and indefinite integrals for higher-rank forms.
In an algebraic limit field , the notion of a derivative is well defined and is represented by the Newton-Leibniz operator . Given a subset , and a function , the set of antiderivatives of is the fiber of the Newton-Leibniz operator at :
An antiderivative is an element of the above subset.
Last revised on February 7, 2024 at 23:38:42. See the history of this page for a list of all contributions to it.