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 F= ∇u.
In physics, because of the connection of the scalar u to potential energy, the conservative field is typically taken as F=−∇u.
The scalar u 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 ∇×F≡0.
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 fx,y,z is differentiable, it has a differential that can be written as df=fx dx+fy dy+fz dz.
Given the arbitrary collection of symbols ux dx+uy dy+uz dz, the claim that this is an exact or total differential is the claim that a differentiable function ux,y,z exists, and the given expression is its differential.
Solenoidal Vector Field F
A vector field F whose divergence vanishes everywhere (∇·F≡0) 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 u whose Laplacian vanishes everywhere is said to be "harmonic." Thus, u is harmonic if ∇2u= ∇·∇u=0 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
∇·∇×F≡0
Curls don't spread.
∇×∇u≡0
Gradients don't twist.
Table 9.7.2 Two differential identities
Define a "curl" for planar vector fields Fx,y=fx,y i+gx,y j by adding a third component 0 k. Vanishing of the curl is then equivalent to the identity fy=gx. 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 r=x i+y j+z k. Since dr=dx i+dy j+dz k is itself a vector, this ebook will use the notation dr, whereas some texts might write dr.
Characterizations of Conservative Vector Field F
1.
F= ∇u
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 F·dr is exact
If F·dr=a dx+b dy+c dz is exact, then there exists a differentiable function u whose first partial derivatives are a,b,c, respectively, so F=ux i+uy j+uz k= ∇u, and F is necessarily conservative.
4.
F has the Path-Independence property
If F is conservative, then from Characterization 3,
∫CF·dr=∫PQdu=uQ−uP
and the integral is independent of the path C. The converse is also true, so that path independence implies the existence of a scalar potential u, making F conservative.
5.
F has the Closed-Loop property
On any closed path C, pick two points P and Q. This separates the loop into two paths, c1 clockwise from P to Q and c2, counterclockwise from P to Q.
The integral around the loop is the sum of the integral over c1 plus the negative of the integral over c2. But, by the Closed-Loop property, this sum is zero, so the integrals over c1 and c2 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 ∇u equals the difference in the endpoint values of u."
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 c1 and c2 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, c2 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 c1 and then c2 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 F=fx,y,z i+gx,y,z j+hx,y,z k. For Recipe 1 to apply, the curl of F must vanish. For Recipe 2 to apply, the divergence of F must vanish.
Recipe 1
ux,y,z=∫axft,b,c dt+∫bygx,t,c dt+∫czhx,y,t dt
Recipe 2
A=∫axht,y,z dt−∫czfa,y,t dt j−∫axgt,y,z dt k
Table 9.7.4 Recipes for obtaining scalar and vector potentials
If F has a scalar potential ux,y,z, it is unique up to an additive constant. Thus, if there is another scalar potential vx,y,z, then u−v 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 C=A−B is itself a gradient vector, so that ∇×C=0, that is, the curl of C must vanish.
Examples
Example 9.7.1
Show that the line integral of F=2 x y−y3 i+x2−3 x y2 j over any circle in the plane is zero.
Example 9.7.2
Prove that F=2 x y−y3 i+x2−3 x y2 j is conservative.
Example 9.7.3
Find a scalar potential for F=2 x y−y3 i+x2−3 x y2 j.
Example 9.7.4
If ux,y is a scalar potential for F=2 x y−y3 i+x2−3 x y2 j, show that ∫CF·dr=uQ−uP, where C is that part of the parabola y=x2 between P and Q, the points −2,4, and 2,4, respectively.
Example 9.7.5
For F=2⁢x⁢z+y2 i+2 x y−z3 j+x2−3⁢y⁢z2 k; C1, the line from the origin to the point 1,1,1; and C2, the polygonal path from the origin to 1,0,0 to 1,1,0, to 1,1,1, show that the line integral of F along C1 and C2 have the same value.
Example 9.7.6
For F=2⁢x⁢z+y2 i+2 x y−z3 j+x2−3⁢y⁢z2 k, show that the line integral along any member of the family of curves x=t,y=tk,z=t2 k,t∈0,1, k≥1, has the value 1.
Example 9.7.7
Prove that F=2⁢x⁢z+y2 i+2 x y−z3 j+x2−3⁢y⁢z2 k is conservative by showing it is curl free.
Example 9.7.8
Find a scalar potential for F=2⁢x⁢z+y2 i+2 x y−z3 j+x2−3⁢y⁢z2 k.
Example 9.7.9
Show that F=2⁢x⁢z+y2 i+2 x y−z3 j+x2−3⁢y⁢z2 k is not solenoidal.
Example 9.7.10
If ux,y,z is a scalar potential for
F=2⁢x⁢z+y2 i+2 x y−z3 j+x2−3⁢y⁢z2 k
show that ∫CF·dr=uQ−uP, where C is given parametrically by the equations x=1+2 t,y=2 t2−t+3,z=2+t3, and P and Q are its endpoints when t=0,1, respectively.
Example 9.7.11
Show that F=x z i+x2−y z j+y2 k 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 F=3x2−y2 i−6 x y j 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
Download Help Document