Difference between revisions of "Conservative Vector Fields"

From Department of Mathematics at UTSA
Jump to navigation Jump to search
(Created page with "<strong>Conservative Vector Fields</strong> * [https://www.youtube.com/watch?v=cVTcsHcispQ Conservative Vector Fields] Video by James Sousa, Math is Power 4U * [https://www.y...")
 
 
(6 intermediate revisions by 2 users not shown)
Line 1: Line 1:
 +
===Path Independence===
 +
If a vector field '''F''' is the gradient of a scalar field ''G'' (i.e. if '''F''' is conservative), that is,
 +
 +
:<math>\mathbf{F} = \nabla G ,</math>
 +
 +
then by the multivariable chain rule, the derivative of the composition of ''G'' and '''r'''(''t'') is
 +
 +
:<math>\frac{dG(\mathbf{r}(t))}{dt} = \nabla G(\mathbf{r}(t)) \cdot \mathbf{r}'(t) = \mathbf{F}(\mathbf{r}(t)) \cdot \mathbf{r}'(t)</math>
 +
 +
which happens to be the integrand for the line integral of '''F''' on '''r'''(''t''). It follows, given a path ''C '', that
 +
 +
:<math>\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)).</math>
 +
 +
In other words, the integral of '''F''' over ''C'' depends solely on the values of ''G'' at 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''.
 +
 +
=== Stokes' Theorem ===
 +
 +
Stokes' Theorem is effectively a generalization of Green's theorem to 3 dimensions, and the "curl" is a generalization of the quantity <math>\frac{\partial F_y}{\partial x} - \frac{\partial F_x}{\partial y}</math> to 3 dimensions. An arbitrary oriented surface <math>\sigma</math> can be articulated into a family of infinitesimal surfaces, some parallel to the xy-plane, others parallel to the zx-plane, and the remainder parallel to the yz-plane. Let <math>\mathbf{F}</math> denote an arbitrary vector field.
 +
 +
Let <math>\sigma</math> be a surface that is parallel to the yz-plane with counter-clockwise oriented boundary <math>C</math>. Green's theorem gives:
 +
 +
<math>\int_{\mathbf{q} \in C} \mathbf{F}(\mathbf{q}) \cdot d\mathbf{q} =
 +
\iint_{\mathbf{q} \in \sigma}\left(\frac{\partial F_z}{\partial y} - \frac{\partial F_y}{\partial z}\right)(\mathbf{dS} \cdot \mathbf{i}) =
 +
\iint_{\mathbf{q} \in \sigma}\left(\left(\frac{\partial F_z}{\partial y} - \frac{\partial F_y}{\partial z}\right)\mathbf{i}\right) \cdot \mathbf{dS}</math>
 +
 +
<math>\mathbf{dS} \cdot \mathbf{i}</math> is positive if the normal direction to <math>\sigma</math> points in the positive x direction and is negative if otherwise. If the normal direction to <math>\sigma</math> points in the negative x direction, then <math>C</math> is oriented clockwise instead of counter-clockwise in the yz-plane.
 +
 +
[[File:3D loop decomposition.svg|thumb|Decomposing a 3D loop into an ensemble of infinitesimal loops that are parallel to the yz, zx, or xy planes.]]
 +
 +
Repeating this argument for <math>\sigma</math> being parallel to the zx-plane and xy-plane respectively gives:
 +
 +
<math>\int_{\mathbf{q} \in C} \mathbf{F}(\mathbf{q}) \cdot d\mathbf{q} =
 +
\iint_{\mathbf{q} \in \sigma}\left(\frac{\partial F_x}{\partial z} - \frac{\partial F_z}{\partial x}\right)(\mathbf{dS} \cdot \mathbf{j}) =
 +
\iint_{\mathbf{q} \in \sigma}\left(\left(\frac{\partial F_x}{\partial z} - \frac{\partial F_z}{\partial x}\right)\mathbf{j}\right) \cdot \mathbf{dS}</math>
 +
 +
and
 +
 +
<math>\int_{\mathbf{q} \in C} \mathbf{F}(\mathbf{q}) \cdot d\mathbf{q} =
 +
\iint_{\mathbf{q} \in \sigma}\left(\frac{\partial F_y}{\partial x} - \frac{\partial F_x}{\partial y}\right)(\mathbf{dS} \cdot \mathbf{k}) =
 +
\iint_{\mathbf{q} \in \sigma}\left(\left(\frac{\partial F_y}{\partial x} - \frac{\partial F_x}{\partial y}\right)\mathbf{k}\right) \cdot \mathbf{dS}</math>
 +
 +
Treating <math>\sigma</math> as an ensemble of infinitesimal surfaces parallel to the yz-plane, zx-plane, or xy-plane gives:
 +
 +
<math>\int_{\mathbf{q} \in C} \mathbf{F}(\mathbf{q}) \cdot d\mathbf{q} =
 +
\iint_{\mathbf{q} \in \sigma}\left(
 +
\left(\frac{\partial F_z}{\partial y} - \frac{\partial F_y}{\partial z}\right)\mathbf{i} +
 +
\left(\frac{\partial F_x}{\partial z} - \frac{\partial F_z}{\partial x}\right)\mathbf{j} +
 +
\left(\frac{\partial F_y}{\partial x} - \frac{\partial F_x}{\partial y}\right)\mathbf{k}
 +
\right) \cdot \mathbf{dS} </math>
 +
 +
This is Stokes' theorem, and
 +
<math>\nabla \times \mathbf{F} =
 +
\left(\frac{\partial F_z}{\partial y} - \frac{\partial F_y}{\partial z}\right)\mathbf{i} +
 +
\left(\frac{\partial F_x}{\partial z} - \frac{\partial F_z}{\partial x}\right)\mathbf{j} +
 +
\left(\frac{\partial F_y}{\partial x} - \frac{\partial F_x}{\partial y}\right)\mathbf{k}</math>
 +
is the "curl" of <math>\mathbf{F}</math> which generalizes the "circulation density" to 3 dimensions.
 +
 +
The direction of <math>\nabla \times \mathbf{F}</math> at <math>\mathbf{q}</math> is effectively an "axis of rotation" around which the counterclockwise circulation density in a plane whose normal is parallel to <math>\nabla \times \mathbf{F}</math> is <math>|\nabla \times \mathbf{F}|</math>. Out of all planes that pass through <math>\mathbf{q}</math>, the plane whose normal is parallel to <math>\nabla \times \mathbf{F}</math> has the largest counterclockwise circulation density at <math>\mathbf{q}</math> which is <math>|\nabla \times \mathbf{F}|</math>.
 +
 +
An arbitrary vector field <math>\mathbf{F}</math> that is differentiable everywhere is considered to be "irrotational" or "conservative" if <math>\nabla \times \mathbf{F} = \mathbf{0}</math> everywhere, or equivalently that <math>\int_{\mathbf{q} \in C} \mathbf{F}(\mathbf{q}) \cdot d\mathbf{q} = 0</math> for all continuous closed curves <math>C</math>
 +
 +
=== Conservative vector fields ===
 +
 +
A vector field <math>\mathbf{F}</math> for which <math>\nabla \times \mathbf{F} = \mathbf{0}</math> at all points is an "<b>conservative</b>" vector field. <math>\mathbf{F}</math> can also be referred to as being "<b>irrotational</b>" since the gain around any closed curve is always 0. 
 +
 +
A key property of a conservative vector field <math>\mathbf{F}</math> is that the gain of <math>\mathbf{F}</math> along a continuous curve is purely a function of the curve's end points. If <math>C_1</math> and <math>C_2</math> are two continuous curves which share the same starting point <math>\mathbf{q}_0</math> and end point <math>\mathbf{q}_1</math>, then <math>\int_{\mathbf{q} \in C_1} \mathbf{F}(\mathbf{q}) \cdot d\mathbf{q} = \int_{\mathbf{q} \in C_2} \mathbf{F}(\mathbf{q}) \cdot d\mathbf{q}</math>. In other words, the gain is purely a function of <math>\mathbf{q}_0</math> and <math>\mathbf{q}_1</math>. This property can be derived from Stokes' theorem as follows:
 +
 +
Invert the orientation of <math>C_2</math> to get <math>-C_2</math> and combine <math>C_1</math> and <math>-C_2</math> to get a continuous closed curve <math>C_3 = C_1 - C_2</math>, linking the curves together at the endpoints <math>\mathbf{q}_0</math> and <math>\mathbf{q}_1</math>. Let <math>\sigma</math> denote a surface for which <math>C_3</math> is the counterclockwise oriented boundary.
 +
 +
Stokes' theorem states that <math>\int_{\mathbf{q} \in C_3} \mathbf{F}(\mathbf{q}) \cdot d\mathbf{q} = \iint_{\mathbf{q} \in \sigma} (\nabla \times \mathbf{F})|_\mathbf{q} \cdot \mathbf{dS} = 0</math>. The gain around <math>C_3</math> is the gain along <math>C_1</math> minus the gain along <math>C_2</math>: <math>\int_{\mathbf{q} \in C_3} \mathbf{F}(\mathbf{q}) \cdot d\mathbf{q} = \int_{\mathbf{q} \in C_1} \mathbf{F}(\mathbf{q}) \cdot d\mathbf{q} + \int_{\mathbf{q} \in -C_2} \mathbf{F}(\mathbf{q}) \cdot d\mathbf{q}</math> <math> = \int_{\mathbf{q} \in C_1} \mathbf{F}(\mathbf{q}) \cdot d\mathbf{q} - \int_{\mathbf{q} \in C_2} \mathbf{F}(\mathbf{q}) \cdot d\mathbf{q}</math>. Therefore:
 +
 +
<math>\int_{\mathbf{q} \in C_3} \mathbf{F}(\mathbf{q}) \cdot d\mathbf{q} = 0</math> <math>\implies \int_{\mathbf{q} \in C_1} \mathbf{F}(\mathbf{q}) \cdot d\mathbf{q} = \int_{\mathbf{q} \in C_2} \mathbf{F}(\mathbf{q}) \cdot d\mathbf{q}</math>
 +
 +
===Scalar Potential===
 +
If '''F''' is a conservative vector field (also called ''irrotational'', ''curl-free'', or ''potential''), and its components have continuous partial derivatives, the '''potential''' of '''F''' with respect to a reference point <math>\mathbf r_0</math> is defined in terms of the line integral:
 +
 +
:<math>V(\mathbf r) = -\int_C \mathbf{F}(\mathbf{r})\cdot\,d\mathbf{r} = -\int_a^b \mathbf{F}(\mathbf{r}(t))\cdot\mathbf{r}'(t)\,dt,</math>
 +
 +
where ''C'' is a parametrized path from <math>\mathbf r_0</math> to <math>\mathbf r,</math>
 +
 +
: <math>\mathbf{r}(t), a\leq t\leq b, \mathbf{r}(a)=\mathbf{r_0}, \mathbf{r}(b)=\mathbf{r}.</math>
 +
 +
The fact that the line integral depends on the path ''C'' only through its terminal points <math>\mathbf r_0</math> and <math>\mathbf r</math> is, in essence, the '''path independence property''' of a conservative vector field. The fundamental theorem of line integrals implies that if ''V'' is defined in this way, then <math> \mathbf{F}= -\nabla V,</math> so that ''V'' is a scalar potential of the conservative vector field '''F'''. Scalar potential is not determined by the vector field alone: indeed, the gradient of a function is unaffected if a constant is added to it. If ''V'' is defined in terms of the line integral, the ambiguity of ''V'' reflects the freedom in the choice of the reference point <math>\mathbf r_0.</math>
 +
 +
==Resources==
 +
* [https://en.wikibooks.org/wiki/Calculus/Vector_calculus Vector Calculus], Wikibooks: Calculus
 +
 
<strong>Conservative Vector Fields</strong>
 
<strong>Conservative Vector Fields</strong>
  
Line 4: Line 91:
 
* [https://www.youtube.com/watch?v=VLTUku45Qs4 Conservative Vector Fields - The Definition and a Few Remarks] Video by Patrick JMT
 
* [https://www.youtube.com/watch?v=VLTUku45Qs4 Conservative Vector Fields - The Definition and a Few Remarks] Video by Patrick JMT
 
* [https://www.youtube.com/watch?v=gAb1ZTD41wo Showing a Vector Field on R^2 is Conservative] Video by Patrick JMT
 
* [https://www.youtube.com/watch?v=gAb1ZTD41wo Showing a Vector Field on R^2 is Conservative] Video by Patrick JMT
 +
  
 
<strong>Finding a Potential Function of a Conservative Vector Field</strong>
 
<strong>Finding a Potential Function of a Conservative Vector Field</strong>
Line 11: Line 99:
 
* [https://www.youtube.com/watch?v=nY4mW_R-T40 Potential Function of a Conservative Vector Field] Video by Krista King
 
* [https://www.youtube.com/watch?v=nY4mW_R-T40 Potential Function of a Conservative Vector Field] Video by Krista King
 
* [https://www.youtube.com/watch?v=Rb12YouJXyA Potential Function of a Conservative Vector Field in 3D] Video by Krista King
 
* [https://www.youtube.com/watch?v=Rb12YouJXyA Potential Function of a Conservative Vector Field in 3D] Video by Krista King
 +
  
 
<strong>The Fundamental Theorem of Line Integrals</strong>
 
<strong>The Fundamental Theorem of Line Integrals</strong>
Line 22: Line 111:
 
* [https://www.youtube.com/watch?v=xVhHow_usMQ The Fundamental Theorem for Line Integrals] Video by Patrick JMT
 
* [https://www.youtube.com/watch?v=xVhHow_usMQ The Fundamental Theorem for Line Integrals] Video by Patrick JMT
 
* [https://www.youtube.com/watch?v=hT3YSXQaUHQ Potential Function of a Conservative Vector Field to Evaluate a Line Integral] Video by Krista King
 
* [https://www.youtube.com/watch?v=hT3YSXQaUHQ Potential Function of a Conservative Vector Field to Evaluate a Line Integral] Video by Krista King
 +
 +
==Licensing==
 +
Content obtained and/or adapted from:
 +
* [https://en.wikibooks.org/wiki/Calculus/Vector_calculus#Volume,_path,_and_surface_integrals Vector calculus, Wikibooks: Calculus] under a CC BY-SA license
 +
* [https://en.wikipedia.org/wiki/Scalar_potential Scalar potential, Wikipedia] under a CC BY-SA license

Latest revision as of 08:15, 3 November 2021

Path Independence

If a vector field F is the gradient of a scalar field G (i.e. if F is conservative), that is,

then by the multivariable chain rule, the derivative of the composition of G and r(t) is

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

In other words, the integral of F over C depends solely on the values of G at 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.

Stokes' Theorem

Stokes' Theorem is effectively a generalization of Green's theorem to 3 dimensions, and the "curl" is a generalization of the quantity to 3 dimensions. An arbitrary oriented surface can be articulated into a family of infinitesimal surfaces, some parallel to the xy-plane, others parallel to the zx-plane, and the remainder parallel to the yz-plane. Let denote an arbitrary vector field.

Let be a surface that is parallel to the yz-plane with counter-clockwise oriented boundary . Green's theorem gives:

is positive if the normal direction to points in the positive x direction and is negative if otherwise. If the normal direction to points in the negative x direction, then is oriented clockwise instead of counter-clockwise in the yz-plane.

Decomposing a 3D loop into an ensemble of infinitesimal loops that are parallel to the yz, zx, or xy planes.

Repeating this argument for being parallel to the zx-plane and xy-plane respectively gives:

and

Treating as an ensemble of infinitesimal surfaces parallel to the yz-plane, zx-plane, or xy-plane gives:

This is Stokes' theorem, and is the "curl" of which generalizes the "circulation density" to 3 dimensions.

The direction of at is effectively an "axis of rotation" around which the counterclockwise circulation density in a plane whose normal is parallel to is . Out of all planes that pass through , the plane whose normal is parallel to has the largest counterclockwise circulation density at which is .

An arbitrary vector field that is differentiable everywhere is considered to be "irrotational" or "conservative" if everywhere, or equivalently that for all continuous closed curves

Conservative vector fields

A vector field for which at all points is an "conservative" vector field. can also be referred to as being "irrotational" since the gain around any closed curve is always 0.

A key property of a conservative vector field is that the gain of along a continuous curve is purely a function of the curve's end points. If and are two continuous curves which share the same starting point and end point , then . In other words, the gain is purely a function of and . This property can be derived from Stokes' theorem as follows:

Invert the orientation of to get and combine and to get a continuous closed curve , linking the curves together at the endpoints and . Let denote a surface for which is the counterclockwise oriented boundary.

Stokes' theorem states that . The gain around is the gain along minus the gain along : . Therefore:

Scalar Potential

If F is a conservative vector field (also called irrotational, curl-free, or potential), and its components have continuous partial derivatives, the potential of F with respect to a reference point is defined in terms of the line integral:

where C is a parametrized path from to

The fact that the line integral depends on the path C only through its terminal points and is, in essence, the path independence property of a conservative vector field. The fundamental theorem of line integrals implies that if V is defined in this way, then so that V is a scalar potential of the conservative vector field F. Scalar potential is not determined by the vector field alone: indeed, the gradient of a function is unaffected if a constant is added to it. If V is defined in terms of the line integral, the ambiguity of V reflects the freedom in the choice of the reference point

Resources

Conservative Vector Fields


Finding a Potential Function of a Conservative Vector Field


The Fundamental Theorem of Line Integrals

Licensing

Content obtained and/or adapted from: