path integral


The path integral is a generalization of the integral that is very useful in theoretical and applied physics. Consider a vector field F:nm and a path (http://planetmath.org/PathConnected) γn. The path integral of F along the path γ is defined as a definite integral. It can be constructed to be the Riemann sum of the values of F along the curve γ. Thusly, it is defined in terms of the parametrization of γ, mapped into the domain n of F. Analytically,

γF𝑑x=abF(γ(t))𝑑x

where γ(a),γ(b) are elements of n, and  dx=dx1dt,,dxndtdt  where each xi is parametrized into a function of t.

Proof and existence of path integral:
Assume we have a parametrized curve γ(t) with t[a,b]. We want to construct a sum of F over this interval on the curve γ. Split the interval [a,b] into n subintervals of size Δt=(b-a)/n. Note that the arc lengthsMathworldPlanetmath need not be of equal length, though the intervals are of equal size. Let ti be an element of the ith subinterval. The quantity |γ(ti)| gives the averageMathworldPlanetmath magnitude of the vector tangentPlanetmathPlanetmath to the curve at a point in the interval Δt. |γ(ti)|Δt is then the approximate arc length of the curve segment produced by the subinterval Δt. Since we want to sum F over our curve γ, we let the range of our curve equal the domain of F. We can then dot this vector with our tangent vectorMathworldPlanetmath to get the approximation to F at the point γ(ti). Thus, to get the sum we want, we can take the limit as Δt approaches 0.

limΔt0abF(γ(ti))γ(ti)Δt

This is a Riemann sum, and thus we can write it in integral form. This integral is known as a path or line integral (the older name).

γF𝑑x=abF(γ(t))γ(t)𝑑t

Note that the path integral only exists if the definite integral exists on the interval [a,b].

Properties:
A path integral that begins and ends at the same point is called a closed path integral, and is denoted with the summa symbol with a centered circle: . These types of path integrals can also be evaluated using Green’s theorem.
Another property of path integrals is that the directed path integral on a path Γ in a vector field is equal to the negative of the path integral in the opposite direction along the same path. A directed path integral on a closed path is denoted by summa and a circle with an arrow denoting direction.

Visualization Aids:

This is an image of a path γ superimposed on a vector field F.

This is a visualization of what we are doing when we take the integral under the curve S:PF.

Title path integral
Canonical name PathIntegral
Date of creation 2013-03-22 12:16:14
Last modified on 2013-03-22 12:16:14
Owner slider142 (78)
Last modified by slider142 (78)
Numerical id 19
Author slider142 (78)
Entry type Definition
Classification msc 81S40
Classification msc 46T12
Synonym line integral
Related topic ComplexIntegral
Related topic ContourIntegral
Related topic RealAndImaginaryPartsOfContourIntegral