Line integral

Line integral
Topics in Calculus
Fundamental theorem
Limits of functions
Continuity
Mean value theorem
Matrix calculus
Partial derivative
Multiple integral
Line integral
Surface integral
Volume integral
Jacobian

In mathematics, a line integral (sometimes called a path integral, contour integral, or curve integral; not to be confused with calculating arc length using integration) is an integral where the function to be integrated is evaluated along a curve.

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

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 visualised as the surface created by z = f(x,y) and a curve C in the x-y 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

Definition

For some scalar field f : URnR, the line integral along a piecewise smooth curve CU is defined as

\int_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.

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.

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 sub-intervals [ti-1, ti] of length Δt = (ba)/n, then r(ti) denotes some point, call it a sample point, on the curve C. We can use the set of sample points {r(ti) : 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(ti-1) and r(ti). We then label the distance between each of the sample points on the curve as Δsi. The product of f(r(ti)) and Δsi can be associated with the signed area of a rectangle with a height and width of f(r(ti)) and Δsi respectively. Taking the limit of the sum of the terms as the length of the partitions approaches zero gives us Ġ

I = \lim_{\Delta t \rightarrow 0} \sum_{i=1}^n f(\mathbf{r}(t_i))\Delta s_i.

We note that the distance between subsequent points on the curve, is

\Delta s_i = |\mathbf{r}(t_i+\Delta t)-\mathbf{r}(t_i)|=|\mathbf{r}'(t_i)|\Delta t.

Substituting this in to our 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.

Basically is the area under the constraint of the scalar function z=f(x,y), where x=u(t) and y=v(t) is the constraint.

Line integral of a vector field

Definition

For a vector field F : URnRn, the line integral along a piecewise smooth curve CU, in the direction of r, is defined as

\int_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.

Derivation

The trajectory of a particle along a curve inside a vector field. At the bottom are the vectors of the field seen by the particle as it travels along the curve. The sum of the dot products of these vectors with the tangent vector of the curve at each point of the trajectory results in the line integral.

The line integral of a vector field can be derived in a very similar manner as in 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 = (ba)/n. Letting ti be the ith point on [a,b], then r(ti) 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, Δsi. As before, evaluating F at all the points on the radiation curve and taking the dot product with each displacement vector which 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{s}_i

We see that the displacement vector between adjacent points on the curve is

\Delta\mathbf{s}_i = \mathbf{r}(t_i+\Delta t)-\mathbf{r}(t_i)=\mathbf{r}'(t_i)\Delta t

Substituting this into our 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.

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 : UC is a function. Then the line integral

\int_\gamma f(z)\,dz

may be defined by subdividing the interval [a, b] into a = t0 < t1 < ... < tn = b and considering the expression

\sum_{1 \le k \le n} f(\gamma(t_k)) ( \gamma(t_k) - \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:

\int_\gamma f(z)\,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

\oint_\gamma f(z)\,dz

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

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


\begin{align}
\oint_C 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\pi-0)=2\pi i
\end{align}

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.

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

Viewing complex numbers as 2-dimensional vectors, the line integral of a 2-dimensional 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)\mathbf{i}+y(t)\mathbf{j} and f(z) = u(z) + iv(z), then:

\int_C \overline{f(z)}\,dz = \int_C (u-iv)\,dz = \int_C (u\mathbf{i}+v\mathbf{j})\cdot d\mathbf{r} - i\int_C (v\mathbf{i}-u\mathbf{j})\cdot d\mathbf{r},

provided that both integrals on the right hand side exist, and that the parametrization z(t) of C has the same orientation as \mathbf{r}(t).

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

External links


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • line integral — Math. the limit, as the norm of the partition of a given curve approaches zero, of the sum of the product of the length of the arcs in the partition times the value of the function at some point on each arc. [1870 75] * * * In mathematics, the… …   Universalium

  • Line Integral Convolution — Die Line Integral Convolution (Abkürzung: LIC, zu deutsch: Linienintegralfaltung) ist eine Methode zur wissenschaftlichen Visualisierung von Vektorfeldern (z. B. Strömungsfeldern). Sie stellt ein globales Verfahren zur Verfügung, um alle… …   Deutsch Wikipedia

  • line integral — noun An integral the domain of whose integrand is a curve …   Wiktionary

  • line integral — noun : the limit of the sum of products formed by dividing a given arc into n parts and multiplying the length of each part by the value of the function to be integrated at any point in this part, the number of parts increasing indefinitely and… …   Useful english dictionary

  • Integral — This article is about the concept of integrals in calculus. For the set of numbers, see integer. For other uses, see Integral (disambiguation). A definite integral of a function can be represented as the signed area of the region bounded by its… …   Wikipedia

  • integral — integrality, n. integrally, adv. /in ti greuhl, in teg reuhl/, adj. 1. of, pertaining to, or belonging as a part of the whole; constituent or component: integral parts. 2. necessary to the completeness of the whole: This point is integral to his… …   Universalium

  • line — line1 linable, lineable, adj. lineless, adj. linelike, adj. /luyn/, n., v., lined, lining. n. 1. a mark or stroke long in proportion to its breadth, made with a pen, pencil, tool, etc., on a surface: a line down the middle of the page. 2. Math. a …   Universalium

  • Integral nonlinearity — Integral non linearity (acronym INL) is a term describing the maximum deviation between the ideal output of a DAC and the actual output level. The term often used as an important specification for measuring error in a digital to analog converter… …   Wikipedia

  • Integral movement — This article is about the integral movement in philosophy and psychology. See Integral (disambiguation) for other uses. The integral movement (also called the integral paradigm, integral philosophy, the integral worldview, or the integral… …   Wikipedia

  • Integral Systems — Infobox Company company name = Integral Systems company company type = Public (nasdaq2|ISYS) foundation = Lanham, Maryland, USA (1982) location city = Lanham, Maryland location country = United States key people = John Higginbotham, CEO William… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”