In mathematics, a line integral (in rare cases called a path 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.

Complex analysis

---

The line integral is a fundamental tool in complex analysis. Suppose U is an open subset of C, γ : b → U is a rectifiable curve and f : U → C is a function. Then the line integral

$\backslash int\_\backslash gamma\; f(z)\backslash ,dz$

may be defined by subdividing the interval b into a = t₀ < t₁ < ... < t_n = b and considering the expression

$\backslash sum\_\{1\; \backslash le\; k\; \backslash le\; n\}\; f(\backslash gamma(t\_k))\; (\; \backslash gamma(t\_k)\; -\; \backslash gamma(t\_\{k-1\})\; ).$

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:

$\backslash int\_\backslash gamma\; f(z)\backslash ,dz$

=\int_a^b f(\gamma(t))\,\gamma\,'(t)\,dt.

When γ is a closed curve, that is, its initial and final points coincide, the notation

$\backslash oint\_\backslash gamma\; f(z)\backslash ,dz$

is often used for the line integral of f along γ.

Important statements about contour integrals are the Cauchy integral theorem and Cauchy's integral formula.

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).

Example

Consider the function f(z)=1/z, and let the contour C be the unit circle about 0, which can be parametrized by e^it, with t in 2π. Substituting, we find

$\backslash oint\_C\; f(z)\backslash ,dz\; =\; \backslash int\_0^\{2\backslash pi\}\; \{1\backslash over\; e^\{it\}\}\; ie^\{it\}\backslash ,dt\; =\; i\backslash int\_0^\{2\backslash pi\}\; e^\{-it\}e^\{it\}\backslash ,dt$

$=i\backslash int\_0^\{2\backslash pi\}\backslash ,dt\; =\; i(2\backslash pi-0)=2\backslash pi\; i$

which can be also verified by the Cauchy integral formula.

Vector calculus

---

In qualitative terms, a line integral in vector calculus can be thought of as a measure of the effect of a given vector field along a given curve.

Definition

For some scalar field f : Rⁿ → R, the line integral on a curve C, parametrized as r(t) with t ∈ b, is defined by

$\backslash int\_C\; f\backslash \; ds\; =\; \backslash int\_a^b\; f(\backslash mathbf\{r\}(t))\; |\backslash mathbf\{r\}\text{'}(t)|\backslash ,\; dt.$

line integrals are independent of parametrization r(t), and also, because they depend only on the element of arc length, are independent of the direction of the parametrization r(t).

For a vector field F : Rⁿ → Rⁿ, the line integral on a curve C, parametrized as r(t) with t ∈ b, is defined by

$\backslash int\_C\; \backslash mathbf\{F\}(\backslash mathbf\{x\})\backslash cdot\backslash ,d\backslash mathbf\{x\}\; =\; \backslash int\_a^b\; \backslash mathbf\{F\}(\backslash mathbf\{r\}(t))\backslash cdot\backslash mathbf\{r\}\text{'}(t)\backslash ,dt.$

Line integrals are independent of parametrization, but they do depend on the direction of the parametrization r(t). Specifically, a change of direction in parametrization changes the sign of the line integral.

Path independence

If a vector field F is the gradient of a scalar field G, that is,

$\backslash nabla\; G\; =\; \backslash mathbf\{F\},$

then the derivative of the composition of G and r(t) is

$\backslash frac\{dG(\backslash mathbf\{r\}(t))\}\{dt\}\; =\; \backslash nabla\; G(\backslash mathbf\{r\}(t))\; \backslash cdot\; \backslash mathbf\{r\}\text{'}(t)\; =\; \backslash mathbf\{F\}(\backslash mathbf\{r\}(t))\; \backslash cdot\; \backslash mathbf\{r\}\text{'}(t)$

which happens to be the integrand for the line integral of F on r(t). It follows that, given a path C , then

$\backslash int\_C\; \backslash mathbf\{F\}(\backslash mathbf\{x\})\backslash cdot\backslash ,d\backslash mathbf\{x\}\; =\; \backslash int\_a^b\; \backslash mathbf\{F\}(\backslash mathbf\{r\}(t))\backslash cdot\backslash mathbf\{r\}\text{'}(t)\backslash ,dt\; =\; \backslash int\_a^b\; \backslash frac\{dG(\backslash mathbf\{r\}(t))\}\{dt\}\backslash ,dt\; =\; G(\backslash mathbf\{r\}(b))\; -\; G(\backslash mathbf\{r\}(a)).$

In words, the integral of F over C depends solely on the values of the points r(b) and r(a) and is thus independent of the path between them.

For this reason, a vector field which is the gradient of a scalar 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.

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.

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.

See also

---

• Methods of contour integration
• Nachbin's theorem
• Surface integral
• Volume integral
• Stokes' theorem
• Functional integration

External links

---

• Solved problems on path integrals

Complex analysis Vector calculus

Křivkový integrál | Kurvenintegral | Intégrale curviligne | אינטגרל קווי | Integrale di linea | Lijnintegraal | 線積分 | Kurvintegral