Chapter 9: Vector Calculus
Section 9.7: Conservative and Solenoidal Fields
|
Essentials
|
|
Table 9.7.1 defines a number of relevant terms.
Term
|
Definition
|
Conservative Vector Field F
|
•
|
A conservative field F is a gradient of some scalar, do that .
|
•
|
In physics, because of the connection of the scalar to potential energy, the conservative field is typically taken as .
|
•
|
The scalar is called the "scalar potential" for F.
|
|
Irrotational Vector Field F
|
•
|
An irrotational field is one for which the curl vanishes everywhere.
Hence, F is irrotational if .
|
•
|
Irrotational fields are also said to be "curl free."
|
|
Path-Independent Property of F
|
•
|
A vector field F for which the line integral between any two points P and Q has the same value over any curve connecting P and Q is said to have the "Path-Independent" property.
|
|
Closed-Loop Property of F
|
•
|
A vector field F for which the line integral around any closed path is zero is said to have the "Closed-Loop" property.
|
•
|
The Closed-Loop property and the Path-Independent property are equivalent. If F has one such property, it automatically has the other.
|
|
Exact (or Total) Differential
|
•
|
As per Section 4.11, if a scalar is differentiable, it has a differential that can be written as .
|
•
|
Given the arbitrary collection of symbols , the claim that this is an exact or total differential is the claim that a differentiable function exists, and the given expression is its differential.
|
|
Solenoidal Vector Field F
|
•
|
A vector field F whose divergence vanishes everywhere () is called a solenoidal field.
|
•
|
In other words a solenoidal field is "divergence free."
|
|
Scalar Potential for F
|
•
|
If F is the gradient of some scalar function, that scalar function is called the "scalar potential" for F.
|
|
Vector Potential for F
|
•
|
If F is the curl of a vector field A, then A is said to be a "vector potential" for F.
|
|
Harmonic Function
|
A scalar function whose Laplacian vanishes everywhere is said to be "harmonic." Thus, is harmonic if everywhere.
|
Table 9.7.1 Glossary of relevant terms
|
|
|
Recall Identities 1 and 2 in Table 9.4.1. For the reader's convenience, these two differential identities are listed again in Table 9.7.2, along with the mnemonics that appear in the paragraphs below the original table.
Identity
|
Mnemonic
|
|
Curls don't spread.
|
|
Gradients don't twist.
|
Table 9.7.2 Two differential identities
|
|
|
Define a "curl" for planar vector fields by adding a third component . Vanishing of the curl is then equivalent to the identity . It is then convenient to use the terms "curl free" and "irrotational" for any Cartesian field in two or three dimensions.
Table 9.7.3 lists characterizations of conservative vector fields. In other words, a vector field F with any one of the characteristics listed in Table 9.7.3 is necessarily conservative, and a conservative field F has every one of the properties in the table. Because it appears so often in the literature, the symbol dr is taken as the differential of the position vector . Since is itself a vector, this ebook will use the notation dr, whereas some texts might write .
Characterizations of Conservative Vector Field F
|
1.
|
|
|
2.
|
F is irrotational
|
•
|
Differential Identity 2 (gradients don't twist) shows that any vector field that is curl free (i.e., irrotational) must necessarily be a gradient. Hence, that field is conservative.
|
|
3.
|
The expression is exact
|
•
|
If is exact, then there exists a differentiable function whose first partial derivatives are , respectively, so , and F is necessarily conservative.
|
|
4.
|
F has the Path-Independence property
|
•
|
If F is conservative, then from Characterization 3,
|
and the integral is independent of the path . The converse is also true, so that path independence implies the existence of a scalar potential , making F conservative.
|
5.
|
F has the Closed-Loop property
|
•
|
On any closed path , pick two points P and Q. This separates the loop into two paths, clockwise from P to Q and , counterclockwise from P to Q.
|
•
|
The integral around the loop is the sum of the integral over plus the negative of the integral over . But, by the Closed-Loop property, this sum is zero, so the integrals over and must be equal, and F has the Path-Independence property.
|
|
Table 9.7.3 Characterizations of "Conservative"
|
|
|
Characterization 2 in Table 9.7.3 provides a computational way to test if F is conservative. Any vector field whose curl vanishes identically is necessarily conservative.
Characterization 3 in Table 9.7.3 is the basis for what some texts call the "Fundamental Theorem for Line Integrals." A loose statement of such a theorem might be "the line integral of the tangential component of the gradient equals the difference in the endpoint values of ."
Characterization 5 in Table 9.7.3 shows that if F has the Closed-Loop property, then it has the Path-Independence property. If F has the Path-Independence property, then it has the Closed-Loop property by similar manipulations. For example, let and be two distinct paths from P to Q. If the integral from P to Q over each path has the same value, then since the integral from Q to P over, say, is the negative of the integral from P to Q, integrating around the closed loop from P to Q and back to P by traversing and then must necessarily have the value zero.
Differential Identity 1 in Table 9.7.2 provides a characterization of solenoidal (divergence-free) fields. Since the divergence of any curl is zero, then any such curl is necessarily a solenoidal field.
•
|
Certain vector fields are both conservative and solenoidal. These are fields whose scalar potential is harmonic.
|
•
|
Figure 9.7.1 is a Venn diagram showing the relationship between conservative and solenoidal fields.
|
•
|
Those fields that are both conservative (C) and solenoidal (S) have a scalar potential that is harmonic (H).
|
|
>
|
use plots, plottools in
module()
local p1,p2,p3,p4,p5,p6;
p1 := circle([0,0],1):
p2 := ellipse([.9,.5],.8,.6):
p3 := rectangle([-2,1.5],[2,-1.5], style=line):
p4 := textplot({[-.5,.5,"C"], [.45,.55,"H"], [1.2,.5,"S"],[1.5,-.75,"N"]}, font=[TIMES,BOLD,14]):
p5 := textplot({[-.4,0,"Conservative"],[-1,-1.1,"Not Conservative"],[.58,.25,`Harmonic`],[1,.9,"Solenoidal"]}, font=[TIMES,ROMAN,10]):
p6 := display([p1,p2,p3,p4,p5], scaling=constrained, axes=none):
print(p6);
end module:
end use:
|
|
Figure 9.7.1 Conservative vs. Solenoidal
|
|
|
|
|
|
Table 9.7.4 provides Recipe 1 for finding a scalar potential, and Recipe 2 for finding a vector potential for the vector field . For Recipe 1 to apply, the curl of F must vanish. For Recipe 2 to apply, the divergence of F must vanish.
Recipe 1
|
|
Recipe 2
|
|
Table 9.7.4 Recipes for obtaining scalar and vector potentials
|
|
|
If F has a scalar potential , it is unique up to an additive constant. Thus, if there is another scalar potential , then is necessarily a constant.
If F has a vector potential A, it is unique up to the addition of a gradient. Thus, if there is another vector potential B, then the difference is itself a gradient vector, so that , that is, the curl of C must vanish.
|
|
Examples
|
|
Example 9.7.1
|
Show that the line integral of over any circle in the plane is zero.
|
Example 9.7.2
|
Prove that is conservative.
|
Example 9.7.3
|
Find a scalar potential for .
|
Example 9.7.4
|
If is a scalar potential for , show that , where is that part of the parabola between P and Q, the points , and , respectively.
|
Example 9.7.5
|
For ; , the line from the origin to the point ; and , the polygonal path from the origin to to , to , show that the line integral of F along and have the same value.
|
Example 9.7.6
|
For , show that the line integral along any member of the family of curves , , has the value 1.
|
Example 9.7.7
|
Prove that is conservative by showing it is curl free.
|
Example 9.7.8
|
Find a scalar potential for .
|
Example 9.7.9
|
Show that is not solenoidal.
|
Example 9.7.10
|
If is a scalar potential for
show that , where is given parametrically by the equations , and P and Q are its endpoints when , respectively.
|
Example 9.7.11
|
Show that is solenoidal but not conservative, and find a vector potential both with Maple's VectorPotential command and by Recipe 2 in Table 9.7.4. If these differ, show that the difference is a gradient and find a scalar potential for this gradient.
|
Example 9.7.12
|
Show that is both solenoidal and conservative. Find a scalar potential and a vector potential. Show that the scalar potential is harmonic.
|
|
|
|
<< Previous Section Table of Contents Next Section >>
© Maplesoft, a division of Waterloo Maple Inc., 2024. All rights reserved. This product is protected by copyright and distributed under licenses restricting its use, copying, distribution, and decompilation.
For more information on Maplesoft products and services, visit www.maplesoft.com
|