Riemann integration, Lebesgue integration
line integral/contour integration
integration of differential forms
integration over supermanifolds, Berezin integral, fermionic path integral
Kontsevich integral, Selberg integral, elliptic Selberg integral
integration in ordinary differential cohomology
integration in differential K-theory
A line integral is an integral along a curve. These are sometimes called path integrals (not to be confused with the path integral in quantum physics, which is integration over a space of curves rather than along a curve in some space) and contour integrals (especially in complex analysis).
By the modern understanding of the integration of differential forms, one integrates differential 1-forms (cotangent vector fields) along oriented curves, and so this would be the natural way to understand a line integral. However, there are several slightly different line integrals, and not all of them are reducible to integration of -forms along oriented curves. Sometimes we have to fall back on more basic notions, ultimately the integration of pseudo--forms on a -dimensional space.
Here we assume familiarity with integration of differential forms and pseudoforms, defining in terms of them the various classical notions of line integral.
In each case, the classical notation (developed before the rigorous treatment of analysis in the 19th century) is not taken literally by the classical definition (developed after the rigorous treatment and still found in calculus texts), and this definition is accompanied by a reparametrisation? theorem. We would like to make sense of the classical notation and eliminate the reparametrisation theorems (or at least make them all special cases of a general theorem to be proved once for all) using differential forms. Often we find that we can relax some of the restrictions in the classical definition as well.
Classically, we have a Cartesian space , a continuous map , and a continuously differentiable map ; the line integral of along is defined as
where the integral on the right is a Riemann integral and is the derivative of componentwise. If is a continuously differentiable increasing bijection, then
the reparametrisation theorem.
We can start to justify the classical notation by interpreting as the same map as ; then we have
in which case the classical notation simply seems to be suppressing some of the notation in the formal definition on the right. In particular, we interpret as meaning .
But this suggests that we should really be looking at differential forms. Since is a Cartesian space, we may identify it with any of its tangent spaces and so identify with a tangent vector field on , or equivalenty a vector-valued -form. Since is only serving to parametrise the curve, it should be interpreted as something trivial, in this case the identity map on , also viewed as a vector-valued -form. Then is a vector-valued -form (which we can do since a Cartesian space has a trivial connection), and is an ordinary -form. Finally, since the curve is given up to an increasing reparametrisation, it is an oriented -submanifold of . Now we may interpret the notation
literally as the integral of a -form. It is now no longer necessary that be given by a continuously differentiable parametrisation; the vector-valued -form is continuously differentiable regardless, and so we only need to be a rectifiable curve? (although it is a theorem that such a curve must have a parametrisation —by arclength if nothing else— that is continuously differentiable almost everywhere, so that the classical definition still covers this using a Riemann integral).
However, this operation from to is something more fundamental in differential geometry; in fact, is simply , the cotangent vector field that corresponds to the tangent vector field . Understanding this, we wish to generalise to any (pseudo)-Riemannian manifold. In this case, we cannot interpret literally, but we may still interpret as a vector-valued -form, indeed as the tautological one that (viewing a -form as an operation on vector fields) is the identity map on vector fields. With this understanding, the classical notation still makes sense, although it is probably easier to write
as the most general definition of the line integral of a vector field along an oriented curve in a (pseudo)-Riemannian manifold.
Classically, we again have a Cartesian space , now a continuous map from to or , and again a continuously differentiable map ; the line integral of along is defined as
where again the integral on the right is a Riemann integral and is the derivative of componentwise. If is a continuously differentiable bijection (whether increasing or decreasing), then
the reparametrisation theorem.
We cannot interpret as the differential of anything; rather, is the magnitude of the line integral element from the previous section. In particular, identifying with again, we have
so seems to mean . Using the standard orientation on to change the -form to the pseudo--form , this is consistent with .
But for this to really make sense, we have to see what kind of object is on . It is neither a -form (which can be integrated along an oriented curve) nor a pseudo--form (which can be integrated along a pseudo-oriented curve, that is a transversely oriented curve); it is instead an absolute -form, which can be integrated along an unoriented curve. If we interpret as the canonical vector-valued -form again, then we can take its magnitude to get a positive semidefinite (nonnegative-scalar-valued, and in this case actually definite) absolute -form, so is literally true.
It would be nice to have notation without fake differentials and with the one piece of structure that actually plays a role: the metric. If we multiply two -forms using the symmetric product (instead of the exterior product as usual for differential forms), then we get a symmetric bilinear form, and in this way the (symmetric) square of the arclength element is the metric . Since is positive, we can reasonably call it the principal square root of . Thus,
defines the line integral of a scalar field along an unoriented curve in a Riemannian manifold.
On a pseudo-Riemannian manifold, itself may not be positive and so may not have a square root. In that case, we can take the absolute value of first and use
although this is most intuitive for curves that are consistently timelike or spacelike. It's also possible to keep the previous formula and allow one of these two types of curve to have imaginary arclength; which one depends on conventions. In any case, a line integral along a lightlike curve is zero.
Classically, we have the complex plane , a continuous map , and a continuously differentiable map ; the contour integral (or line integral again) of along is defined as
where the integral on the right is a Riemann integral and is the derivative of . If is a continuously differentiable increasing bijection, then
the reparametrisation theorem.
We start to justify the classical notation by interpreting as the same map as ; then we have
in which case the classical notation seems again to be suppressing some of the notation in the formal definition. In particular, is interpreted as .
But again, we should really be looking at differential forms. We may identify the space with the scalar field and so identify with a scalar field on , or equivalenty a -form. Since is only serving to parametrise the curve, it should be interpreted as the identity map on , also viewed as a -form. Then is a -form, and is a -form. Finally, since the curve is given up to an increasing reparametrisation, it is an oriented -submanifold of . Now we may interpet the notation
literally as the integral of a -form. It is now no longer necessary that be given by a continuously differentiable parametrisation; the vector-valued -form is continuously differentiable regardless, and so we only need to be a rectifiable curve? (although it is a theorem that such a curve must have a continuously differentiable parametrisation after all).
Classically, we have the complex plane , a continuous map , and a continuously differentiable map ; the absolute contour integral (or whatever one calls it) of along is defined as
where the integral on the right is a Riemann integral and is the derivative of . If is a continuously differentiable bijection (whether increasing or decreasing), then
the reparametrisation theorem.
As before, if is interpreted as the same map as ; then we have
so seems to mean . As before, if we use the standard orientation on to change the -form to the pseudo--form , then is the absolute value of from before.
Of course, we should really be looking at differential forms. Again, is a scalar field on , or equivalenty a -form. Again is the identity map on , viewed as a -form. Then is a -form, its absolute value is a (positive definite) absolute -form, and is a (more general) absolute -form. Since is given up to an arbitrary reparametrisation, it is an unoriented -submanifold of , which is just what we need for an absolute -form. Now we may interpet the notation
literally as the integral of an absolute -form.
This is actually a special case of the line integral of a scalar field, since
since is the standard metric on .
Here are a couple of old Usenet posts that explain how line integrals of scalar fields should be viewed in terms of forms and pseudoforms.
These are obsolete with the concept of absolute forms, but they contain more explicit calculations.
See also
Last revised on November 14, 2017 at 21:12:03. See the history of this page for a list of all contributions to it.