Triple product

Triple product

In mathematics, the triple product is a product of three vectors. The name "triple product" is used for two different products, the scalar-valued scalar triple product and, less often, the vector-valued vector triple product.

Contents

Scalar triple product

Three vectors defining a parallelepiped

The scalar triple product (also called the mixed or box product) is defined as the dot product of one of the vectors with the cross product of the other two.

Geometric interpretation

Geometrically, the scalar triple product

 \mathbf{a}\cdot(\mathbf{b}\times \mathbf{c})

is the (signed) volume of the parallelepiped defined by the three vectors given.

Properties

The scalar triple product can be evaluated numerically using any one of the following equivalent characterizations:


\mathbf{a}\cdot(\mathbf{b}\times \mathbf{c})=
\mathbf{b}\cdot(\mathbf{c}\times \mathbf{a})=
\mathbf{c}\cdot(\mathbf{a}\times \mathbf{b})

Switching the two vectors in the cross product negates the triple product, i.e.:

 \mathbf{c}\cdot(\mathbf{a}\times \mathbf{b})=-\mathbf{c}\cdot(\mathbf{b}\times \mathbf{a}) .

The parentheses may be omitted without causing ambiguity, since the dot product cannot be evaluated first. If it were, it would leave the cross product of a scalar and a vector, which is not defined.

The scalar triple product can also be understood as the determinant of the 3 × 3 matrix having the three vectors as its rows or columns (the determinant of a transposed matrix is the same as the original); this quantity is invariant under coordinate rotation.

\mathbf{a}\cdot(\mathbf{b}\times \mathbf{c}) = \det \begin{bmatrix}
a_1 & a_2 & a_3 \\
b_1 & b_2 & b_3 \\
c_1 & c_2 & c_3 \\
\end{bmatrix}.

Note that if the scalar triple product is equal to zero, then the three vectors a, b, and c are coplanar, since the "parallelepiped" defined by them would be flat and have no volume.

There is also this property of triple products:


[\mathbf{a}\cdot(\mathbf{b}\times \mathbf{c})] \mathbf{a}=(\mathbf{a}\times \mathbf{b})\times (\mathbf{a}\times \mathbf{c})

Scalar or pseudoscalar

Although the scalar triple product gives the volume of the parallelepiped it is the signed volume, the sign depending on the orientation of the frame or the parity of the permutation of the vectors. This means the product is negated if the orientation is reversed, by for example by a parity transformation, and so is more properly described as a pseudoscalar if the orientation can change.

This also relates to the handedness of the cross product; the cross product transforms as a pseudovector under parity transformations and so is properly described as a pseudovector. The dot product of two vectors is a scalar but the dot product of a pseudovector and a vector is a pseudoscalar, so the scalar triple product must be pseudoscalar valued.

As an exterior product

A trivector is an oriented volume element; its Hodge dual is a scalar with magnitude equal to its volume.

In exterior algebra and geometric algebra the exterior product of two vectors is a bivector, while the exterior product of three vectors is a trivector. A bivector is an oriented plane element and a trivector is an oriented volume element, in the same way that a vector is an oriented line element. Given vectors a, b and c, the product

\mathbf{a} \wedge \mathbf{b} \wedge \mathbf{c}

is a trivector with magnitude equal to the scalar triple product, and is the pseudoscalar dual of the triple product. As the exterior product is associative brackets are not needed as it does not matter which of ab or bc is calculated first, though the order of the vectors in the product does matter. Geometrically the trivector abc corresponds to the parallelepiped spanned by a, b, and c, with bivectors ab, bc and ac matching the parallelogram faces of the parallelepiped.

Vector triple product

The vector triple product is defined as the cross product of one vector with the cross product of the other two. The following relationships hold:

\mathbf{a}\times (\mathbf{b}\times \mathbf{c}) = (\mathbf{a}\cdot\mathbf{c})\mathbf{b} - (\mathbf{a}\cdot\mathbf{b})\mathbf{c}
(\mathbf{a}\times \mathbf{b})\times \mathbf{c} = -\mathbf{c}\times(\mathbf{a}\times \mathbf{b}) = -(\mathbf{c}\cdot\mathbf{b})\mathbf{a} + (\mathbf{c}\cdot\mathbf{a})\mathbf{b} .

The first formula is known as triple product expansion, or Lagrange's formula,[1][2] although the latter name is ambiguous (see disambiguation page). Its right hand member is easier to remember by using the mnemonic “BAC minus CAB”, provided one keeps in mind which vectors are dotted together. A proof is provided below.

These formulas are very useful in simplifying vector calculations in physics. A related identity regarding gradients and useful in vector calculus is Lagrange's formula of vector cross-product identity:[3]

 \begin{align}
 \nabla \times (\nabla \times \mathbf{f}) 
& {}= \nabla      (\nabla \cdot  \mathbf{f} ) 
 - (\nabla \cdot \nabla) \mathbf{f}  \\
& {}= \mbox{grad }(\mbox{div }   \mathbf{f} )
 - \nabla^2     \mathbf{f}.
\end{align}

This can be also regarded as a special case of the more general Laplace-de Rham operator Δ = dδ + δd.

Proof

The x component of \mathbf{u}\times (\mathbf{v}\times \mathbf{w}) is given by:

uy(vxwy − vywx) − uz(vzwx − vxwz)

or

vx(uywy + uzwz) − wx(uyvy + uzvz)

By adding and subtracting uxvxwx, this becomes

vx(uxwx + uywy + uzwz) − wx(uxvx + uyvy + uzvz) = (\mathbf{u}\cdot\mathbf{w}) vx(\mathbf{u}\cdot\mathbf{v}) wx

Similarly, the y and z components of \mathbf{u}\times (\mathbf{v}\times \mathbf{w}) are given by:

(\mathbf{u}\cdot\mathbf{w}) vy(\mathbf{u}\cdot\mathbf{v}) wy

and

(\mathbf{u}\cdot\mathbf{w}) vz(\mathbf{u}\cdot\mathbf{v}) wz

By combining these three components we obtain:

\mathbf{u}\times (\mathbf{v}\times \mathbf{w}) = (\mathbf{u}\cdot\mathbf{w})\ \mathbf{v} - (\mathbf{u}\cdot\mathbf{v})\ \mathbf{w} [4]

Vector or pseudovector

Where parity transformations need to be considered, so the cross product is treated as a pseudovector, the vector triple product is vector rather than pseudovector valued, as it is the product of a vector a and a pseudovector b × c. This can also be seen from the expansion in terms of the dot product, which consists only of a sum of vectors multiplied by scalars so must be vector valued.

Notation

Using the Levi-Civita symbol, the triple product is

(\mathbf{a} \cdot (\mathbf{b}\times \mathbf{c})) = \varepsilon_{ijk} a^i b^j c^k

and

(\mathbf{a} \times (\mathbf{b}\times \mathbf{c}))_i = \varepsilon_{ijk} a^j \varepsilon_{k\ell m} b^\ell c^m = \varepsilon_{ijk}\varepsilon_{k\ell m} a^j  b^\ell c^m

which can be simplified by performing a contraction on the Levi-Civita symbols, εijkεimn = δjmδkn − δjnδkm and simplifying the result.

See also

Note

  1. ^ Joseph Louis Lagrange did not develop the cross product as an algebraic product on vectors, but did use an equivalent form of it in components: see Lagrange, J-L (1773). "Solutions analytiques de quelques problèmes sur les pyramides triangulaires". Oeuvres. vol 3.  He may have written a formula similar to the triple product expansion in component form. See also Lagrange's identity and Kiyoshi Itō (1987). Encyclopedic Dictionary of Mathematics. MIT Press. p. 1679. ISBN 0262590204. 
  2. ^ Kiyoshi Itō (1993). "§C: Vector product". Encyclopedic dictionary of mathematics (2nd ed.). MIT Press. p. 1679. ISBN 0262590204. http://books.google.com/books?id=azS2ktxrz3EC&pg=PA1679. 
  3. ^ Pengzhi Lin (2008). Numerical Modelling of Water Waves: An Introduction to Engineers and Scientists. Routledge. p. 13. ISBN 0415415780. http://books.google.com/books?id=x6ALwaliu5YC&pg=PA13. 
  4. ^ J. Heading (1970). Mathematical Methods in Science and Engineering. American Elsevier Publishing Company, Inc. pp. 262–263. 

See also

References

  • Lass, Harry (1950). Vector and Tensor Analysis. McGraw-Hill Book Company, Inc.. pp. 23–25. 

Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • Triple product rule — The triple product rule, known variously as the cyclic chain rule, cyclic relation, cyclical rule or Euler s chain rule, is a formula which relates partial derivatives of three interdependent variables. The rule finds application in… …   Wikipedia

  • Triple product property — In abstract algebra, the triple product property is an identity satisfied in some groups.Let G be a non trivial finite group. Three nonempty subsets S, T, U subset G are said to have the triple product property in G if for all elements s, s in S …   Wikipedia

  • Jacobi triple product — In mathematics, the Jacobi triple product is a relation that re expresses the Jacobi theta function, normally written as a series, as a product. This relationship generalizes other results, such as the pentagonal number theorem.Let x and y be… …   Wikipedia

  • scalar triple product — mišrioji sandauga statusas T sritis fizika atitikmenys: angl. mixed product; parallelepipedal product; scalar triple product vok. gemischtes Produkt, n; skalares Dreierprodukt, n; Spatprodukt, n rus. смешанное произведение, n pranc. produit mixte …   Fizikos terminų žodynas

  • scalar triple product — Math. the volume of the parallelepiped defined by three given vectors, u, v, and w, usually represented as u·v1(v×w), [uvw], or (uvw), where × denotes a cross product and · denotes an inner product. Also, triple scalar product. [1900 05] * * * …   Universalium

  • Triple system — In algebra, a triple system is a vector space V over a field F together with a F trilinear map: (cdot,cdot,cdot) colon V imes V imes V o V.The most important examples are Lie triple systems and Jordan triple systems. They were introduced by… …   Wikipedia

  • Product rule — For Euler s chain rule relating partial derivatives of three independent variables, see Triple product rule. For the counting principle in combinatorics, see Rule of product. Topics in Calculus Fundamental theorem Limits of functions Continuity… …   Wikipedia

  • triple scalar product — noun : the scalar product of a vector with the vector product of two other vectors * * * Math. See scalar triple product …   Useful english dictionary

  • triple scalar product — Math. See scalar triple product. * * * …   Universalium

  • Triple produit de Jacobi — En mathématiques, le triple produit de Jacobi est une relation qui exprime les fonctions thêta de Jacobi, normalement écrites sous forme de séries, comme un produit. Cette relation généralise plusieurs autres résultats, tels que le théorème du… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”