nLab indefinite integral

Redirected from "semidefinite integral".
Indefinite integrals

Indefinite integrals

Idea

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.

Definitions and notation

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 ff be a partial function from \mathbb{R} to \mathbb{R}; typically, the domain of ff will be an interval, but we do not require this.

Definition

If aa is a real number (usually in the domain of ff, or at least in the domain's closure), then the semidefinite integral of ff from aa (or with initial point aa) is the function

x a xf(t)dt. x \mapsto \int_a^x f(t) \,\mathrm{d}t .

(If x<ax \lt a, then we must define a x\int_a^x as x a-\int_x^a.)

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 aa and contained in the domain of ff (or at least in its closure if we allow improper integral?s or integrating almost functions). If we start by defining ff as a locally integrable function? on a closed interval II containing aa, then the semidefinite integral will also have II as its domain.

The value at xx of the semidefinite integral from aa may be denoted

af(x)dx \int_a f(x) \,\mathrm{d}x

for short. Notice that this notation has no dummy variable; we only need to introduce the dummy variable tt to unfold the definition. (Indeed, some writers will abuse notation, writing a xf(x)dx\int_a^x f(x) \,\mathrm{d}x for the semidefinite integral.) But as in dy/dx\mathrm{d}y/\mathrm{d}x, the xx 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 af(x)dx\int_a f(x) \,\mathrm{d}x when xx is some number bb, then the notation for this is ( af(x)dx)| x=b(\int_a f(x) \,\mathrm{d}x)|_{x=b} following the general logic of variable quantities; but unwrapping the definition of semidefinite integral, this can also be written as a bf(x)dx\int_a^b f(x) \,\mathrm{d}x. (In each of these, xx has now become a dummy variable.)

Definition

If aa and CC are real numbers (with aa in the domain of ff or its closure), then the indefinite integral of ff from aa with initial value CC is the function

xC+ a xf(t)dt. x \mapsto C + \int_a^x f(t) \,\mathrm{d}t .

We may write this value as C+ af(x)dxC + \int_a f(x) \,\mathrm{d}x 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 CC is the value of the indefinite integral at aa; thus, CC is the initial value if aa is the initial point. But for authors who use this concept, there is often no need to mention either aa or CC (and hence no terminology needed for them), because they are interested only in whether some other function FF is an indefinite integral of ff, where ff is a locally integrable function on some closed interval.

Definition

If FF is a partial function from \mathbb{R} to \mathbb{R}, then FF is an antiderivative of ff (or an antidifferential of fdxf \,\mathrm{d}x) if ff is the derivative of FF on its domain:

xdomF,f(x)=F(x). \forall\, x \in \dom F,\; f(x) = F'(x) .

A posteriori, FF must be differentiable.

This is the usual meaning of ‘indefinite integral’ in modern Calculus textbooks using the Riemann integral, especially when the domain of ff is an interval.

Definition

If FF is a Lebesgue-measurable partial almost function from \mathbb{R} to \mathbb{R}, then FF is an almost antiderivative of ff if ff is the derivative of FF almost everywhere:

essxdomF,f(x)=F(x). \operatorname{ess}\forall\, x \in \dom F,\; f(x) = F'(x) .

We are especially interested in the case where FF 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.

Properties

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

dydx=f(x),y| x=a=C \frac{\mathrm{d}y}{\mathrm{d}x} = f(x),\; y|_{x=a} = C

is the indefinite integral of ff with initial point aa and initial value CC:

y=C+ af(x)dx. y = C + \int_a f(x) \,\mathrm{d}x .

Some more general initial-value problems can be solved similarly; for example, the implicit solution to the separable IVP

g(y)dydx=f(x),y| x=a=C g(y) \frac{\mathrm{d}y}{\mathrm{d}x} = f(x),\; y|_{x=a} = C

is

Cg(y)dy= af(x)dx. \int_C g(y) \,\mathrm{d}y = \int_a f(x) \,\mathrm{d}x .

Similarly, the solution to the linear IVP

dydx+P(x)y=Q(x),y| x=a=C \frac{\mathrm{d}y}{\mathrm{d}x} + P(x) \,y = Q(x),\; y|_{x=a} = C

is

y=C+ aQ(x)μ(x)dxμ(x), y = \frac{C + \int_a Q(x) \,\mu(x) \,\mathrm{d}x}{\mu(x)} ,

where μ(x)=exp aP(x)dx\mu(x) = \exp \int_a P(x) \,\mathrm{d}x.

Generalizations

In cartesian spaces

When ω\omega is an exterior 11-form on a subspace SS of the cartesian space n\mathbb{R}^n, then we can define an antiderivative (or antidifferential) of ω\omega to be any real-valued function ff on SS such that df=ω\mathrm{d}f = \omega. Then when PP is a point in SS (or perhaps its closure), we can define the value of the semidefinite integral of ω\omega with initial point PP to be the integral of ω\omega along a straight line segment from PP; the domain is a star-convex set? radiating from PP and contained in (the closure of) SS. If we define an indefinite integral as a semidefinite integral plus a constant initial value, then every antiderivative of ω\omega on a star-convex set is an indefinite integral. Conversely, every indefinite integral is an antiderivative if ω\omega is closed. If ω\omega 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 ω\omega 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.

On 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: α\alpha is an exterior antiderivative of ω\omega iff ω\omega is the exterior derivative of α\alpha. On a smooth manifold, we know what ‘almost’ means and so can also define exterior almost antiderivatives.

If ω\omega is a 11-form on any differentiable manifold and PP is a point in its domain, then the semidefinite integral of ω\omega with initial point PP is defined at another point QQ iff the integral of ω\omega is the same along any path from PP to QQ (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, ω\omega is exact iff an antiderivative exists, and therefore iff an indefinite integral exists on each path-connected component?. Similarly, ω\omega is closed iff it has an indefinite integral on a neighbourhood of each point; if the domain of ω\omega 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 algebraic limit fields

In an algebraic limit field FF, the notion of a derivative is well defined and is represented by the Newton-Leibniz operator D˜\tilde{D}. Given a subset SFS \subseteq F, and a function f:SFf:S \to F, the set of antiderivatives of ff is the fiber of the Newton-Leibniz operator at ff:

{gD 1(S,F)|D˜(g)=f}\{g \in D^1(S, F) \vert \tilde{D}(g) = f\}

An antiderivative is an element of the above subset.

See also

Last revised on February 7, 2024 at 23:38:42. See the history of this page for a list of all contributions to it.