Line integral
From Wikipedia, the free encyclopedia
In mathematics, a line integral (sometimes called a path integral or curve integral) is an integral where the function to be integrated is evaluated along a curve. Various different line integrals are in use. In the case of a closed curve it is also called a contour integral.
The function to be integrated may be a scalar field or a vector field. The value of the line integral is the sum of values of the field at all points on the curve, weighted by some scalar function on the curve (commonly arc length or, for a vector field, the scalar product of the vector field with a differential vector in the curve). This weighting distinguishes the line integral from simpler integrals defined on intervals. Many simple formulas in physics (for example, ) have natural continuous analogs in terms of line integrals (). The line integral finds the work done on an object moving through an electric or gravitational field, for example.
Contents |
[edit] Vector calculus
In qualitative terms, a line integral in vector calculus can be thought of as a measure of the total effect of a given field along a given curve.
[edit] Line integral of a scalar field
For some scalar field f : U ⊆ Rn R, the line integral along a curve C ⊂ U is defined as
where r: [a, b] C is an arbitrary bijective parametrization of the curve C such that r(a) and r(b) give the endpoints of C.
The function f is called the integrand, the curve C is the domain of integration, and the symbol ds can be heuristically interpreted as an elementary arc length. Line integrals of scalar fields do not depend on the chosen parametrization r.
[edit] Line integral of a vector field
For a vector field F : U ⊆ Rn Rn, the line integral along a curve C ⊂ U, in the direction of r, is defined as
where r: [a, b] C is a bijective parametrization of the curve C such that r(a) and r(b) give the endpoints of C.
Line integrals of vector fields are independent of the parametrization r in absolute value, but they do depend on its orientation. Specifically, a reversal in the orientation of the parametrization changes the sign of the line integral.
[edit] Path independence
If a vector field F is the gradient of a scalar field G, that is,
then the derivative of the composition of G and r(t) is
which happens to be the integrand for the line integral of F on r(t). It follows that, given a path C , then
In words, the integral of F over C depends solely on the values of G in the points r(b) and r(a) and is thus independent of the path between them.
For this reason, a line integral of a vector field which is the gradient of a scalar field is called path independent.
[edit] Applications
The line integral has many uses in physics. For example, the work done on a particle traveling on a curve C inside a force field represented as a vector field F is the line integral of F on C.
[edit] Relationship with the line integral in complex analysis
Viewing complex numbers as 2D vectors, the line integral in 2D of a vector field corresponds to the real part of the line integral of the conjugate of the corresponding complex function of a complex variable.
Due to the Cauchy-Riemann equations the curl of the vector field corresponding to the conjugate of a holomorphic function is zero. This relates through Stokes' theorem both types of line integral being zero.
Also, the line integral can be evaluated using the change of variables.
[edit] Complex line integral
The line integral is a fundamental tool in complex analysis. Suppose U is an open subset of C, γ : [a, b] U is a rectifiable curve and f : U C is a function. Then the line integral
may be defined by subdividing the interval [a, b] into a = t0 < t1 < ... < tn = b and considering the expression
The integral is then the limit of this sum, as the lengths of the subdivision intervals approach zero.
If γ is a continuously differentiable curve, the line integral can be evaluated as an integral of a function of a real variable:
When γ is a closed curve, that is, its initial and final points coincide, the notation
is often used for the line integral of f along γ.
The line integrals of complex functions can be evaluated using a number of techniques: the integral may be split in to real and imaginary parts reducing the problem to that of evaluating two real-valued line integrals, the Cauchy integral formula may be used in other circumstances. If the line integral is a closed curve in a region where the function is analytic and containing no singularities, then the value of the integral is simply zero, this is a consequence of the Cauchy integral theorem. Because of the residue theorem, one can often use contour integrals in the complex plane to find integrals of real-valued functions of a real variable (see residue theorem for an example).
[edit] Example
Consider the function f(z)=1/z, and let the contour C be the unit circle about 0, which can be parametrized by eit, with t in [0, 2π]. Substituting, we find
where we use the fact that any complex number z can be written as reit where r is the modulus of z. On the unit circle this is fixed to 1, so the only variable left is the angle, which is denoted by t. This answer can be also verified by the Cauchy integral formula.
[edit] Quantum mechanics
The "path integral formulation" of quantum mechanics actually refers not to path integrals in this sense but to functional integrals, that is, integrals over a space of paths, of a function of a possible path. However, path integrals in the sense of this article are important in quantum mechanics; for example, complex contour integration is often used in evaluating probability amplitudes in quantum scattering theory.
[edit] See also
- Methods of contour integration
- Nachbin's theorem
- Surface integral
- Volume integral
- Functional integration