In mathematics, a line integral is an integral where the function to be integrated is evaluated along a curve. The terms path integral, curve integral, and curvilinear integral are also used; contour integral as well, although that is typically reserved for line integrals in the complex plane.
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 formulae in physics (for example, W = F · s) have natural continuous analogs in terms of line integrals (W = ∫_{C} F · ds). The line integral finds the work done on an object moving through an electric or gravitational field, for example.
Contents

Vector calculus 1

Line integral of a scalar field 1.1

Definition 1.1.1

Derivation 1.1.2

Line integral of a vector field 1.2

Definition 1.2.1

Derivation 1.2.2

Path independence 1.3

Applications 1.4

Flow across a curve 2

Complex line integral 3

Example 3.1

Relation between the line integral of a vector field and the complex line integral 3.2

Quantum mechanics 4

References 5

See also 6

External links 7
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. More specifically, the line integral over a scalar field can be interpreted as the area under the field carved out by a particular curve. This can be visualized as the surface created by z = f(x,y) and a curve C in the xy plane. The line integral of f would be the area of the "curtain" created when the points of the surface that are directly over C are carved out.
Line integral of a scalar field
The line integral over a scalar field f can be thought of as the area under the curve C along a surface z = f(x,y), described by the field.
Definition
For some scalar field f : U ⊆ R^{n} → R, the line integral along a piecewise smooth curve C ⊂ U is defined as

\int\limits_C f\, ds = \int_a^b f(\mathbf{r}(t)) \mathbf{r}'(t)\, dt.
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 and a < b.
The function f is called the integrand, the curve C is the domain of integration, and the symbol ds may be intuitively interpreted as an elementary arc length. Line integrals of scalar fields over a curve C do not depend on the chosen parametrization r of C.
Geometrically, when the scalar field f is defined over a plane (n=2), its graph is a surface z=f(x,y) in space, and the line integral gives the (signed) crosssectional area bounded by the curve C and the graph of f. See the animation to the right.
Derivation
For a line integral over a scalar field, the integral can be constructed from a Riemann sum using the above definitions of f, C and a parametrization r of C. This can be done by partitioning the interval [a,b] into n subintervals [t_{i1}, t_{i}] of length Δt = (b − a)/n, then r(t_{i}) denotes some point, call it a sample point, on the curve C. We can use the set of sample points {r(t_{i}) : 1 ≤ i ≤ n} to approximate the curve C by a polygonal path by introducing a straight line piece between each of the sample points r(t_{i1}) and r(t_{i}). We then label the distance between each of the sample points on the curve as Δs_{i}. The product of f(r(t_{i})) and Δs_{i} can be associated with the signed area of a rectangle with a height and width of f(r(t_{i})) and Δs_{i} respectively. Taking the limit of the sum of the terms as the length of the partitions approaches zero gives us I

I = \lim_{\Delta s_i \rightarrow 0} \sum_{i=1}^n f(\mathbf{r}(t_i))\Delta s_i.
We note that, by the mean value theorem, the distance between subsequent points on the curve, is

\Delta s_i = \mathbf{r}(t_i+\Delta t)\mathbf{r}(t_i)\approx\mathbf{r}'(t_i)\Delta t.
Substituting this in the above Riemann sum yields

I = \lim_{\Delta t \rightarrow 0} \sum_{i=1}^n f(\mathbf{r}(t_i))\mathbf{r}'(t_i)\Delta t
which is the Riemann sum for the integral

I = \int_a^b f(\mathbf{r}(t)) \mathbf{r}'(t)\, dt.
Line integral of a vector field
Definition
For a vector field F : U ⊆ R^{n} → R^{n}, the line integral along a piecewise smooth curve C ⊂ U, in the direction of r, is defined as

\int\limits_C \mathbf{F}(\mathbf{r})\cdot\,d\mathbf{r} = \int_a^b \mathbf{F}(\mathbf{r}(t))\cdot\mathbf{r}'(t)\,dt.
where · is the dot product and r: [a, b] → C is a bijective parametrization of the curve C such that r(a) and r(b) give the endpoints of C.
A line integral of a scalar field is thus a line integral of a vector field where the vectors are always tangential to the line.
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.
The line integral of a vector field along a curve is the integral of the corresponding 1form under the musical isomorphism over the curve considered as an immersed 1manifold.
Derivation
The trajectory of a particle (in red) along a curve inside a vector field. Starting from a, the particle traces the path C along the vector field F. The dot product (green line) of its displacement vector (red arrow) and the field vector (blue arrow) defines an area under a curve, which is equivalent to the path's line integral. (Click on image for a detailed description.)
The line integral of a vector field can be derived in a manner very similar to the case of a scalar field. Again using the above definitions of F, C and its parametrization r(t), we construct the integral from a Riemann sum. Partition the interval [a,b] into n intervals of length Δt = (b − a)/n. Letting t_{i} be the ith point on [a,b], then r(t_{i}) gives us the position of the ith point on the curve. However, instead of calculating up the distances between subsequent points, we need to calculate their displacement vectors, Δr_{i}. As before, evaluating F at all the points on the curve and taking the dot product with each displacement vector gives us the infinitesimal contribution of each partition of F on C. Letting the size of the partitions go to zero gives us a sum

I = \lim_{\Delta t \rightarrow 0} \sum_{i=1}^n \mathbf{F}(\mathbf{r}(t_i)) \cdot \Delta\mathbf{r}_i
By the mean value theorem, we see that the displacement vector between adjacent points on the curve is

\Delta\mathbf{r}_i = \mathbf{r}(t_i+\Delta t)\mathbf{r}(t_i)\approx\mathbf{r}'(t_i)\Delta t
Substituting this in the above Riemann sum yields

I = \lim_{\Delta t \rightarrow 0} \sum_{i=1}^n \mathbf{F}(\mathbf{r}(t_i)) \cdot \mathbf{r}'(t_i)\Delta t
which is the Riemann sum for the integral defined above.
Path independence
If a vector field F is the gradient of a scalar field G (i.e. if F is conservative), that is,

\nabla G = \mathbf{F},
then the derivative of the composition of G and r(t) is

\frac{dG(\mathbf{r}(t))}{dt} = \nabla G(\mathbf{r}(t)) \cdot \mathbf{r}'(t) = \mathbf{F}(\mathbf{r}(t)) \cdot \mathbf{r}'(t)
which happens to be the integrand for the line integral of F on r(t). It follows that, given a path C , then

\int_C \mathbf{F}(\mathbf{r})\cdot\,d\mathbf{r} = \int_a^b \mathbf{F}(\mathbf{r}(t))\cdot\mathbf{r}'(t)\,dt = \int_a^b \frac{dG(\mathbf{r}(t))}{dt}\,dt = G(\mathbf{r}(b))  G(\mathbf{r}(a)).
In other 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 conservative vector field is called path independent.
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.
Flow across a curve
For a vector field F : U ⊆ R^{2} → R^{2}, such as F(x,y) = (P(x,y), Q(x,y)) the line integral across a piecewise smooth curve C ⊂ U, is defined as

\int\limits_C \mathbf{F}(\mathbf{r})\cdot\,d\mathbf{r}^t = \int_a^b  Q(x,y) dx + P(x,y) dy = \int_a^b (P(\mathbf{r}(t)), Q(\mathbf{r}(t)) )\cdot (r'_2(t), r'_1(t)) dt.
where · is the dot product and r: [a, b] → C, r(t) = (r_1(t), r_2(t)) is a bijective parametrization of the curve C such that r(a) and r(b) give the endpoints of C.
Complex line integral
In complex analysis, the line integral is defined in terms of multiplication and addition of complex numbers. Suppose U is an open subset of the complex plane C, f : U → C is a function, and L\subset U is a curve of finite length, parametrized by \gamma : [a,b] \to L, where \gamma(t)=x(t)+iy(t). The line integral

\int_L f(z)\,dz
may be defined by subdividing the interval [a, b] into a = t_{0} < t_{1} < ... < t_{n} = b and considering the expression

\sum_{k=1}^{n} f(\gamma(t_k)) [ \gamma(t_k)  \gamma(t_{k1}) ] =\sum_{k=1}^{n} f(\gamma_k) \Delta\gamma_k.
The integral is then the limit of this Riemann sum as the lengths of the subdivision intervals approach zero.
If the parametrization \gamma is continuously differentiable, the line integral can be evaluated as an integral of a function of a real variable:

\int_L f(z)\,dz =\int_a^b f(\gamma(t))\,\gamma\,'(t)\,dt.
When L is a closed curve, that is, its initial and final points coincide, the notation

\oint_L f(z)\,dz
is often used for the line integral of f along L. A closed curve line integral is sometimes referred to as a cyclic integral in engineering applications.
The line integral with respect to the conjugate complex differential \overline{dz} is defined^{[1]} to be

\int_L f \overline{dz} := \overline{\int_L \overline{f} dz} = \int_a^b f(\gamma(t))\,\overline{\gamma'(t)}\,dt.
The line integrals of complex functions can be evaluated using a number of techniques: the integral may be split into real and imaginary parts reducing the problem to that of evaluating two realvalued 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. The residue theorem allows contour integrals to be used in the complex plane to find integrals of realvalued functions of a real variable (see residue theorem for an example).
Example
Consider the function f(z)=1/z, and let the contour L be the unit circle about 0, parametrized by γ(t)=e^{it} with t in [0, 2π] (which generates the circle counterclockwise). Substituting, we find

\begin{align} \oint_L f(z)\,dz & = \int_0^{2\pi} {1\over e^{it}} ie^{it}\,dt = i\int_0^{2\pi} e^{it}e^{it}\,dt \\ & =i\int_0^{2\pi}\,dt = i(2\pi0)=2\pi i. \end{align}
Here we have used the fact that any complex number z can be written as re^{it} 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.
Relation between the line integral of a vector field and the complex line integral
Viewing complex numbers as 2dimensional vectors, the line integral of a 2dimensional vector field corresponds to the real part of the line integral of the conjugate of the corresponding complex function of a complex variable. More specifically, if \mathbf{r} (t) = (x(t), y(t)) is a parameterization of L and f(z)=u(z)+iv(z), then:

\int_L \overline{f(z)}\,dz = \int_L \bar{f}\,dx + i\int_L \bar{f}\,dy = \int_L (u,v)\cdot d\mathbf{r} + i\int_L (v,u)\cdot d\mathbf{r},
provided that both integrals on the right hand side exist, and that the parametrization \gamma of L has the same orientation as \mathbf{r} (just expand the Riemann sum for the lefthand integral and take the limit).
By Green's theorem, the area of a region enclosed by a smooth, closed, positively oriented curve L is given by the integral

\frac{1}{2i} \int_L \overline{z} \; dz
This fact is used, for example, in the proof of the area theorem.
Due to the CauchyRiemann 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.
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.
References

^ Ahlfors, Lars. Complex Analysis 2nd edition. p. 103.
See also
External links

Hazewinkel, Michiel, ed. (2001), "Integral over trajectories",

Khan Academy modules:

"Introduction to the Line Integral"

"Line Integral Example 1"

"Line Integral Example 2 (part 1)"

"Line Integral Example 2 (part 2)"

Path integral at PlanetMath.org.

A pictoral explanation of the path integral

Contour Integrals Module by John H. Mathews

Line integral of a vector field – Interactive
This article was sourced from Creative Commons AttributionShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, EGovernment Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a nonprofit organization.