

Study with the several resources on Docsity
Earn points by helping other students or get them with a premium plan
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
Community
Ask the community for help and clear up your study doubts
Discover the best universities in your country according to Docsity users
Free resources
Download our free guides on studying techniques, anxiety management strategies, and thesis advice from Docsity tutors
The properties of the cross product and dot product of vectors, including the mixed product, double cross product, and the relationship between the cross product and the curl. Mathematical identities and proofs using mathematica.
Typology: Schemes and Mind Maps
1 / 3
This page cannot be seen from the preview
Don't miss anything!
va a1, a2, a3; vb b1, b2, b3; vc c1, c2, c3; vd d1, d2, d3;
ü Mixed product a. ( b × c ) The product a .( b x c ) is called the mixed product. The geometric meaning of the mixed product is the volume of the parallelepiped spanned by the vectors a , b , c , provided that they follow the right hand rule. This fact is consistent with the above identities. It turns out that the mixed product equals the 3×3 determinant whose rows are the coordinates of the vectors in the order of the mixed product.
a . b c det
a 1 a 2 b 1 b 2 c 1 c 2
a 3 b 3 c 3 The most important property of the mixed product is that it is “circular” a .( b × c ) = c .( a × b ) = b .( c × a ) Here is a Mathematica “proof” of this property Simplifyva.Crossvb, vc vc.Crossva, vb 0 Simplifyva.Crossvb, vc vb.Crossvc, va 0
ü Double cross product a ×( b × c ) = ( a.c ) b - ( a.b ) c The following identity holds for the double cross product of three vectors a ×( b × c ) = ( a.c ) b - ( a.b ) c Here is a Mathematica proof of this identity: SimplifyCrossva, Crossvb, vc va.vc vb va.vb vc 0, 0, 0 How to prove this Identity? ü Here is a proof First we prove the identity with the unit mutually orthogonal vectors u and v. Let u and v be unit vectors such that u and v are orthogonal. Then a ×( u × v ) = ( a.v ) u - ( a.u ) v To prove this identity we notice that the vector a ×( u × v ) is orthogonal to u × v and therefore must be in the plane spanned by u and v. Therefore a ×( u × v ) must be a linear combination of u and v. That is a ×( u × v ) = a u + b v Since u and v are unit vectors and u ¦ v , by the definition of the cross product we have ( u × v )× u = v and ( u × v )× v = - u. Further, since u ¦ v , we have u. v = 0. Therefore a = u. ( a ×( u × v )) = a .(( u × v )× u ) = a.v
and b = v. ( a ×( u × v )) = a .(( u × v )× v ) = -( a.u ) This proves a ×( u × v ) = ( a.v ) u - ( a.u ) v whenever u and v are unit vectors and u ¦ v. Now we choose any orthogonal unit vectors u and v in the plane spanned by b and c and write b = a u + b v and c = g u + d v. Then, using the linearity of the cross product and the facts u × u = v × v = 0 and v × u = -u × v , we have a ×( b × c ) = a × ((a u + b v )×(g u + d v )) = ag ( a ×( u × u )) + ad ( a ×( u × v )) + bg ( a ×( v × u )) + bd ( a ×( v × v )) = (ad-bg) ( a ×( u × v )) Using the linearity of the dot product we get ( a.c ) b - ( a.b ) c = ( a. (g u + d v )) (a u + b v ) - ( a. (a u + b v )) (g u + d v ) = (ag - ag) ( a.u ) u + (ad - bg) ( a.v ) u +(bg - ad) ( a.u ) v +(bd - bd) ( a.v ) v = (ad-bg) (( a.v ) u - ( a.u ) v ) Together with a ×( u × v ) = ( a.v ) u - ( a.u ) v the preceding two identifies prove that a ×( b × c ) = ( a.c ) b - ( a.b ) c ü Dot product of two cross products ( a x b ). ( c x d ) = ( a.c ) ( b.d ) - ( a.d )( b.c ) Here is the Mathematica proof of the identity in the title. Simplifyva.vc vb.vd va.vd vb.vc Crossva, vb.Crossvc, vd 0 Crossva, vb a3 b2 a2 b3, a3 b1 a1 b3, a2 b1 a1 b2 Crossvc, vd c3 d2 c2 d3, c3 d1 c1 d3, c2 d1 c1 d2 The identity in the title is deduced by using first the “circularity” property of the mixed product and then the identity for the double cross product of three vectors: ( a × b ). ( c × d )) = c .( d × ( a × b )) = c. (( b. d ) a - ( a. d ) b ) = ( b. d ) ( a.c ) - ( a. d ) ( b.c )
The last identity proved in the preceding section, when applied to an abstract version of Green’s theorem, yields the defining property of the Curl. First rewrite ( a × b ).( c × d ) = ( a. c ) ( b. d ) - ( a. d ) ( b. c ) as ( a × b ).( c × d ) = ( a. c ) ( d. b ) - ( b. c )( d. a )
In the formulas below we use the formal Nabla operator vector! = (^) ∑∑ x , (^) ∑∑ y , (^) ∑∑ z . Applied to a scalar function f the formal Nabla operator vector gives the gradient! f of that function. The expression! f is a vector function. One
2 Curl_via_Cross.nb