Chapter 9: Vector Calculus
Section 9.7: Conservative and Solenoidal Fields
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.
Solution
Mathematical Solution
If C1 is parametrized by x=y=z=t, t∈0,1, then the line integral along C1 is
∫016 t2−4 t3 dt=1
If the three segments of C2 are parametrized by the position vectors
r1=t00, r2=1t0, r3=11t
then F·dr on each segment becomes 0,2 t dt,1−3 t2dt, respectively. Hence the line integral along C2 is
∫010 dt+∫012 t dt+∫011−3 t2 dt=1
Maple Solution - Interactive
Table 9.7.5(a) provides a solution in which the requisite line integrals are formed via the LineInt command accessed through the Context Panel.
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 z+y2,2 x y−z3,x2−3 y z2 = 2⁢x⁢z+y2−z3+2⁢x⁢y−3⁢y⁢z2+x2→to Vector Field2⁢x⁢z+y2−z3+2⁢x⁢y−3⁢y⁢z2+x2→assign to a nameF
Form and evaluate the line integral of F along C1
Write the name F. Context Panel: Evaluate and Display Inline
Context Panel: Student Vector Calculus≻Line Integral Complete the dialog as per the figure at the right.
Context Panel: Evaluate Integral
F = →line integral∫01−4⁢t3+6⁢t2ⅆt=1
Form and evaluate the line integral of F along C2
F = →line integral∫010ⅆt+∫012⁢tⅆt+∫01−3⁢t2+1ⅆt=1
Table 9.7.5(a) Solution via the LineInt command accessed through the Context Panel
To emphasize how much tedious work the LineInt command actually saves in the line integration over C2, Table 9.7.5(b) containing a solution from first principles, is provided. Three separate line segments must be parametrized, and F·dr must be evaluated on each.
Form a list of nodes for the polygonal line C2
Write a list of nodes. Context Panel: Assign to a Name≻P
0,0,0,1,0,0,1,1,0 ,1,1,1→assign to a nameP
Form a position-vector representation of each segment of C2
Write a vector representation of each segment. Context Panel: Evaluate and Display Inline
Context Panel: Assign to a Name: r[k], k=1,2,3
P1+t⋅P2−P1 = →assign to a namer1
P2+t⋅P3−P2 = →assign to a namer2
P3+t⋅P4−P3 = →assign to a namer3
Obtain a parametric representation of each line segment in C2
Form a sequence of the general position vector and the position vector of a segment of C2. Context Panel: Evaluate and Display Inline
Context Panel: Equate
Context Panel: Assign to a Name≻s[k], k=1,2,3
x,y,z,r1 = →equatex=t,y=0,z=0→assign to a names1
x,y,z,r2 = →equatex=1,y=t,z=0→assign to a names2
x,y,z,r3 = →equatex=1,y=1,z=t→assign to a names3
Evaluate F·dr on each segment of C2
Expression palette: Evaluation template
Common Symbols palette: Dot-product operator
Calculus palette: Differentiation operator
Context Panel: Evaluate and Display Inline
F·ⅆⅆ t r1x=a|f(x)s1 = 0
F·ⅆⅆ t r2x=a|f(x)s2 = 2⁢t
F·ⅆⅆ t r3x=a|f(x)s3 = −3⁢t2+1
Form and evaluate line integrals on each segment of C2
Calculus palette: definite-integral operator
∫012 t ⅆt+∫011−3 t2 ⅆt = 1
Table 9.7.5(b) Line integral on C2 from first principles
Maple Solution - Coded
Table 9.7.5(c) provides a solution in which the requisite line integrals are formed and evaluated with the LineInt command in the Student VectorCalculus package.
Install the Student VectorCalculus package.
withStudent:-VectorCalculus:
Set display of vectors via BasisFormat.
BasisFormatfalse:
Define F via the VectorField command.
F≔VectorField2 x z+y2,2 x y−z3,x2−3 y z2:
LineIntF,Line0,0,0,1,1,1,output=integral = ∫01−4⁢t3+6⁢t2ⅆt
LineIntF,Line0,0,0,1,1,1 = 1
LineIntF,LineSegments0,0,0,1,0,0,1,1,0,1,1,1,output=integral
∫010ⅆt+∫012⁢tⅆt+∫01−3⁢t2+1ⅆt
LineIntF,LineSegments0,0,0,1,0,0,1,1,0,1,1,1 = 1
Table 9.7.5(c) Solution via the LineInt command
In Table 9.7.5(d), the line integral of F along C2 is obtained from first principles.
Define the nodes on C2
P≔0,0,0,1,0,0,1,1,0 ,1,1,1:
r1≔P1+t⋅P2−P1:
r2≔P2+t⋅P3−P2:
r3≔P3+t⋅P4−P3:
Use the Equate command to obtain a parametric representation of each line segment in C2
s1≔Equatex,y,z,r1:
s2≔Equatex,y,z,r2:
s3≔Equatex,y,z,r3:
Obtain dr with the diff command.
Obtain F·dr with the DotProduct command.
Evaluate F·dr on each segment of C2 with the eval command.
evalDotProductF,diffr1,t,s1 = 0
evalDotProductF,diffr2,t,s2 = 2⁢t
evalDotProductF,diffr3,t,s3 = −3⁢t2+1
Use the Int and top-level int commands to form and evaluate line integrals on each segment of C2
Int0,t=0..1+Int2 t,t=0..1+Int1−3 t2,t=0..1=:-int0,t=0..1+:-int2 t,t=0..1+:-int1−3 t2,t=0..1
∫010ⅆt+∫012⁢tⅆt+∫01−3⁢t2+1ⅆt=1
Table 9.7.5(d) Line integral along C2 implemented from first principles
With the Student VectorCalculus package installed, access to the top-level int command requires the "colon dash" prefix.
<< 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