Chapter 9: Vector Calculus
Section 9.7: Conservative and Solenoidal Fields
Example 9.7.2
Prove that F=2 x y−y3 i+x2−3 x y2 j is conservative.
Solution
Mathematical Solution
By the comment under Table 9.7.2, the curl of F can be computed by augmenting F with a zero third-component. The vanishing of this curl is then equivalent to the identity fy=gx, where Fx,y=fx,y i+gx,y j. An implementation of this approach is
∂∂y2 x y−y3= 2 x−3 y2=∂∂xx2−3 x y2
A scalar potential for F is u=x yx−y2 and ∇u=2 x y−y3x2−3 x y2=F. Either way, it should be clear that F is conservative.
Maple Solution - Interactive
Table 9.7.2(a) provides a solution based on the vanishing of the curl of F, where F is augmented to have a zero third component.
Initialize
Tools≻Load Package: Student Vector Calculus
Loading Student:-VectorCalculus
Tools≻Tasks≻Browse: Calculus - Vector≻ Vector Algebra and Settings≻ Display Format for Vectors
Press the Access Settings button and select "Display as Column Vector"
Display Format for Vectors
Define the vector field F
Enter the components of F in a free vector. Context Panel: Evaluate and Display Inline
Context Panel: Student Vector Calculus≻Conversions≻To Vector Field
Context Panel: Assign to a Name≻F
2 x y−y3,x2−3 x y2,0 = −y3+2⁢x⁢y−3⁢x⁢y2+x20→to Vector Field−y3+2⁢x⁢y−3⁢x⁢y2+x20→assign to a nameF
Obtain the curl of F
Write the name F. Context Panel: Evaluate and Display Inline
Context Panel: Student Vector Calculus≻Curl
F = →curl
Alternate computation of the curl of F
Common Symbols palette: Del and cross-product operators
Context Panel: Evaluate and Display Inline
∇×F =
Table 9.7.2(a) Syntax-free access to the Curl command
It is also possible to exhibit a scalar potential whose gradient is the vector F. This is done in Table 9.7.2(b).
Obtain a scalar potential for F and verify its gradient is F
Context Panel: Student Vector Calculus≻Scalar Potential
Context Panel: Student Vector Calculus≻Differentiate≻Gradient (Complete the dialog as per the figure to the right.)
F = →scalar potential−x⁢y3+x2⁢y→gradient
Table 9.7.2(b) Scalar potential and its gradient
Maple Solution - Coded
Table 9.7.2(c) provides a solution via an application of the Curl command.
Install the Student VectorCalculus package.
withStudent:-VectorCalculus:
Set display of vectors via BasisFormat.
BasisFormatfalse:
Define F via the VectorField command.
F≔VectorField2 x y−y3,x2−3 x y2,0:
Show that the curl of F vanishes (i.e., is the zero vector)
Use the Curl command to show ∇×F=0.
CurlF =
Table 9.7.2(c) Solution via the the Curl command
Table 9.7.2(d) obtains a scalar potential and shows that its gradient is F.
Obtain a scalar potential
Apply the ScalarPotential command.
u≔ScalarPotentialF
−x⁢y3+x2⁢y
Show ∇u=F
Apply the Gradient command.
Gradientu =
Table 9.7.2(d) Scalar potential and its gradient
The Student VectorCalculus package tries to infer coordinate systems and coordinate-variable names whenever possible. In Table 9.7.2(d), the Gradient command infers the coordinate variables from the scalar u. Since u has only the two variables x and y, the Gradient command assumes it should return a two-component vector.
<< Previous Example Section 9.7 Next Example >>
© 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