# Difference between revisions of "Stokes' Theorem"

(clarified intro) |
DavidB4-bot (Talk | contribs) (→References: Category) |
||

(12 intermediate revisions by 3 users not shown) | |||

Line 1: | Line 1: | ||

− | '''Stokes' Theorem''' | + | '''Stokes' Theorem''' states that the line integral of a closed path is equal to the surface integral of ''any'' capping surface for that path, provided that the surface normal vectors point in the same general direction as the right-hand direction for the contour: |

+ | |||

+ | :<math>\oint_C \vec F \cdot \vec{\mathrm{d}r}\ = \iint_S (\nabla \times \vec F) \cdot \vec{\mathrm{d}S},</math> | ||

+ | |||

+ | Intuitively, imagine a "capping surface" that is nearly flat with the contour. The curl is the microscopic circulation of the function on tiny loops within that surface, and their sum or integral results in canceling out all the internal circulation paths, leaving only the integration over the outer-most path.<ref>[http://www.robots.ox.ac.uk/~dwm/Courses/2VA/notes78.pdf Notes on Gauss' and Stokes' Theorem, see Section 7.6, p. 87]</ref> This remains true no matter how the capping surface is expanded, provided that the contour remains as its boundary. | ||

+ | |||

+ | Sometimes the [[circulation]] (the left side above) is easier to compute; other times the expresses the surface integral of the [[curl]] of [[vector field]] is easier to computer (particularly when it is zero).<ref> | ||

+ | *[http://www.math.oregonstate.edu/home/programs/undergrad/CalculusQuestStudyGuides/vcalc/stokes/stokes.html Calculation of both sides of Stokes' Theorem for a paraboloid, using a circle as the contour]</ref> | ||

+ | |||

+ | Stated another way, Stokes' Theorem equates the line integral of a vector fields to a surface integral of the same vector field. For this identity to be true, the ''direction'' of the vector normal ''n'' must obey the right-hand rule for the direction of the contour, ''i.e.'', when walking along the contour the surface must be on your left. | ||

+ | |||

+ | This is an extension of [[Green's Theorem]] to surface integrals, and is also the analog in two dimensions of the [[Divergence Theorem]]. The above formulation is also called as the "Curl Theorem," to distinguish it from the more general form of the Stokes' Theorem described below. | ||

+ | |||

+ | Stokes' Theorem is useful in calculating [[circulation]] in mechanical engineering. A [[conservative field]] has a circulation (line integral on a simple, closed curve) of zero, and application of the Stokes' Theorem to such a field proves that the curl of a conservative field over the enclosed surface must also be zero. | ||

+ | |||

+ | == General Form == | ||

In its most general form, this theorem is the fundamental theorem of [[Exterior Calculus]], and is a generalization of the [[Fundamental Theorem of Calculus]]. It states that if ''M'' is an oriented piecewise smooth [[manifold]] of [[dimension]] k and <math>\omega</math> is a smooth (''k''−1)-[[differential form|form]] with compact support on ''M'', and ∂''M'' denotes the boundary of ''M'' with its induced orientation, then | In its most general form, this theorem is the fundamental theorem of [[Exterior Calculus]], and is a generalization of the [[Fundamental Theorem of Calculus]]. It states that if ''M'' is an oriented piecewise smooth [[manifold]] of [[dimension]] k and <math>\omega</math> is a smooth (''k''−1)-[[differential form|form]] with compact support on ''M'', and ∂''M'' denotes the boundary of ''M'' with its induced orientation, then | ||

Line 11: | Line 26: | ||

*When k=1, and the terms appearing in the theorem are translated into their simpler form, this is just the Fundamental Theorem of Calculus. | *When k=1, and the terms appearing in the theorem are translated into their simpler form, this is just the Fundamental Theorem of Calculus. | ||

− | *When k=3, this is often called '''Gauss' Theorem''' or the '''Divergence Theorem''' and is useful in | + | *When k=3, this is often called '''Gauss' Theorem''' or the '''Divergence Theorem''' and is useful in vector calculus: |

:<math>\iiint_R (\nabla \cdot \vec w)\ \mathrm{d}V = \iint_S \vec w \cdot \vec{\mathrm{d}A}\,</math> | :<math>\iiint_R (\nabla \cdot \vec w)\ \mathrm{d}V = \iint_S \vec w \cdot \vec{\mathrm{d}A}\,</math> | ||

Line 23: | Line 38: | ||

Here S is a surface, E is the boundary path of S, and the single integral denotes path integration around E with <math>\vec{\mathrm{d}l}</math> as the length element. The <math>\nabla \times</math> on the left side is the [[curl]] operator. | Here S is a surface, E is the boundary path of S, and the single integral denotes path integration around E with <math>\vec{\mathrm{d}l}</math> as the length element. The <math>\nabla \times</math> on the left side is the [[curl]] operator. | ||

− | These last two examples (and Stokes' theorem in general) | + | These last two examples (and Stokes' theorem in general) are the subject of vector calculus. They play important roles in [[electrodynamics]]. The divergence and curl operations are cornerstones of [[Maxwell's Equations]]. |

+ | |||

+ | Stokes' Theorem is a lower-dimension version of the Divergence Theorem, and a higher-dimension version of [[Green's Theorem]]. Green’s Theorem relates a line integral to a double integral over a region, while Stokes' Theorem relates a surface integral of the curl of a function to its line integral. Stokes' Theorem originated in 1850. | ||

+ | |||

+ | == References == | ||

+ | |||

+ | <references/> | ||

+ | [[Category:Vector Analysis]] | ||

+ | [[Category:Calculus]] | ||

[[Category:Mathematics]] | [[Category:Mathematics]] | ||

[[Category:Physics]] | [[Category:Physics]] |

## Latest revision as of 15:18, 29 July 2016

**Stokes' Theorem** states that the line integral of a closed path is equal to the surface integral of *any* capping surface for that path, provided that the surface normal vectors point in the same general direction as the right-hand direction for the contour:

Intuitively, imagine a "capping surface" that is nearly flat with the contour. The curl is the microscopic circulation of the function on tiny loops within that surface, and their sum or integral results in canceling out all the internal circulation paths, leaving only the integration over the outer-most path.^{[1]} This remains true no matter how the capping surface is expanded, provided that the contour remains as its boundary.

Sometimes the circulation (the left side above) is easier to compute; other times the expresses the surface integral of the curl of vector field is easier to computer (particularly when it is zero).^{[2]}

Stated another way, Stokes' Theorem equates the line integral of a vector fields to a surface integral of the same vector field. For this identity to be true, the *direction* of the vector normal *n* must obey the right-hand rule for the direction of the contour, *i.e.*, when walking along the contour the surface must be on your left.

This is an extension of Green's Theorem to surface integrals, and is also the analog in two dimensions of the Divergence Theorem. The above formulation is also called as the "Curl Theorem," to distinguish it from the more general form of the Stokes' Theorem described below.

Stokes' Theorem is useful in calculating circulation in mechanical engineering. A conservative field has a circulation (line integral on a simple, closed curve) of zero, and application of the Stokes' Theorem to such a field proves that the curl of a conservative field over the enclosed surface must also be zero.

## General Form

In its most general form, this theorem is the fundamental theorem of Exterior Calculus, and is a generalization of the Fundamental Theorem of Calculus. It states that if *M* is an oriented piecewise smooth manifold of dimension k and is a smooth (*k*−1)-form with compact support on *M*, and ∂*M* denotes the boundary of *M* with its induced orientation, then

- ,

where *d* is the exterior derivative.

There are a number of well-known special cases of Stokes' theorem, including one that is referred to simply as "Stokes' theorem" in less advanced treatments of mathematics, physics, and engineering:

- When k=1, and the terms appearing in the theorem are translated into their simpler form, this is just the Fundamental Theorem of Calculus.

- When k=3, this is often called
**Gauss' Theorem**or the**Divergence Theorem**and is useful in vector calculus:

Where R is some region of 3-space, S is the boundary surface of R, the triple integral denotes volume integration over R with dV as the volume element, and the double integral denotes surface integration over S with as the oriented normal of the surface element. The on the left side is the divergence operator, and the on the right side is the vector dot product.

- When k=2, this is often just called
**Stokes' Theorem**:

Here S is a surface, E is the boundary path of S, and the single integral denotes path integration around E with as the length element. The on the left side is the curl operator.

These last two examples (and Stokes' theorem in general) are the subject of vector calculus. They play important roles in electrodynamics. The divergence and curl operations are cornerstones of Maxwell's Equations.

Stokes' Theorem is a lower-dimension version of the Divergence Theorem, and a higher-dimension version of Green's Theorem. Green’s Theorem relates a line integral to a double integral over a region, while Stokes' Theorem relates a surface integral of the curl of a function to its line integral. Stokes' Theorem originated in 1850.