There are numerous ways to multiply two Euclidean vectors. The dot product takes in two vectors and returns a scalar, while the cross product[a] returns a pseudovector. Both of these have various significant geometric interpretations and are widely used in mathematics, physics, and engineering. The dyadic product takes in two vectors and returns a second order tensor called a dyadic in this context. A dyadic can be used to contain physical or geometric information, although in general there is no direct way of geometrically interpreting it.
The dyadic product is distributive over vector addition, and associative with scalar multiplication. Therefore, the dyadic product is linear in both of its operands. In general, two dyadics can be added to get another dyadic, and multiplied by numbers to scale the dyadic. However, the product is not commutative; changing the order of the vectors results in a different dyadic.
The formalism of dyadic algebra is an extension of vector algebra to include the dyadic product of vectors. The dyadic product is also associative with the dot and cross products with other vectors, which allows the dot, cross, and dyadic products to be combined to obtain other scalars, vectors, or dyadics.
It also has some aspects of matrix algebra, as the numerical components of vectors can be arranged into row and column vectors, and those of second order tensors in square matrices. Also, the dot, cross, and dyadic products can all be expressed in matrix form. Dyadic expressions may closely resemble the matrix equivalents.
The dot product of a dyadic with a vector gives another vector, and taking the dot product of this result gives a scalar derived from the dyadic. The effect that a given dyadic has on other vectors can provide indirect physical or geometric interpretations.
In this article, upper-case bold variables denote dyadics (including dyads) whereas lower-case bold variables denote vectors. An alternative notation uses respectively double and single over- or underbars.
A dyad is a tensor of order two and rank one, and is the dyadic product of two vectors (complex vectors in general), whereas a dyadic is a general tensor of order two (which may be full rank or not).
There are several equivalent terms and notations for this product:
the dyadic product of two vectors and is denoted by (juxtaposed; no symbols, multiplication signs, crosses, dots, etc.)
In the dyadic context they all have the same definition and meaning, and are used synonymously, although the tensor product is an instance of the more general and abstract use of the term.
be two vectors where i, j, k (also denoted e1, e2, e3) are the standard basis vectors in this vector space (see also Cartesian coordinates). Then the dyadic product of a and b can be represented as a sum:
or by extension from row and column vectors, a 3×3 matrix (also the result of the outer product or tensor product of a and b):
A dyad is a component of the dyadic (a monomial of the sum or equivalently an entry of the matrix) — the dyadic product of a pair of basis vectorsscalar multiplied by a number.
Just as the standard basis (and unit) vectors i, j, k, have the representations:
(which can be transposed), the standard basis (and unit) dyads have the representation:
For a simple numerical example in the standard basis:
where ei and ej are the standard basis vectors in N-dimensions (the index i on ei selects a specific vector, not a component of the vector as in ai), then in algebraic form their dyadic product is:
This is known as the nonion form of the dyadic. Their outer/tensor product in matrix form is:
A dyadic polynomialA, otherwise known as a dyadic, is formed from multiple vectors ai and bj:
A dyadic which cannot be reduced to a sum of less than N dyads is said to be complete. In this case, the forming vectors are non-coplanar,[dubious – discuss] see Chen (1983).
so the second possible definition of the double-dot product is just the first with an additional transposition on the second dyadic. For these reasons, the first definition of the double-dot product is preferred, though some authors still use the second.
The spur or expansion factor arises from the formal expansion of the dyadic in a coordinate basis by replacing each dyadic product by a dot product of vectors:
in index notation this is the contraction of indices on the dyadic:
In three dimensions only, the rotation factor arises by replacing every dyadic product by a cross product
In index notation this is the contraction of A with the Levi-Civita tensor
Explicitly, the dot product to the right of the unit dyadic is
and to the left
The corresponding matrix is
This can be put on more careful foundations (explaining what the logical content of "juxtaposing notation" could possibly mean) using the language of tensor products. If V is a finite-dimensional vector space, a dyadic tensor on V is an elementary tensor in the tensor product of V with its dual space.
The tensor product of V and its dual space is isomorphic to the space of linear maps from V to V: a dyadic tensor vf is simply the linear map sending any w in V to f(w)v. When V is Euclidean n-space, we can use the inner product to identify the dual space with V itself, making a dyadic tensor an elementary tensor product of two vectors in Euclidean space.
In this sense, the unit dyadic ij is the function from 3-space to itself sending a1ia2ja3k to a2i, and jj sends this sum to a2j. Now it is revealed in what (precise) sense iijjkk is the identity: it sends a1ia2ja3k to itself because its effect is to sum each unit vector in the standard basis scaled by the coefficient of the vector in that basis.
A nonzero vector a can always be split into two perpendicular components, one parallel (‖) to the direction of a unit vectorn, and one perpendicular (⊥) to it;
The parallel component is found by vector projection, which is equivalent to the dot product of a with the dyadic nn,
and the perpendicular component is found from vector rejection, which is equivalent to the dot product of a with the dyadic I − nn,
A general 3d rotation of a vector a, about an axis in the direction of a unit vectorω and anticlockwise through angle θ, can be performed using Rodrigues' rotation formula in the dyadic form
where the rotation dyadic is
and the Cartesian entries of ω also form those of the dyadic
^The cross product only exists in oriented three and seven dimensional inner product spaces and only has nice properties in three dimensional inner product spaces. The related exterior product exists for all vector spaces.
Morse, Philip M.; Feshbach, Herman (1953), "§1.6: Dyadics and other vector operators", Methods of theoretical physics, Volume 1, New York: McGraw-Hill, pp. 54–92, ISBN978-0-07-043316-8, MR0059774.
Ismo V. Lindell (1996). Methods for Electromagnetic Field Analysis. Wiley-Blackwell. ISBN978-0-7803-6039-6..
Hollis C. Chen (1983). Theory of Electromagnetic Wave - A Coordinate-free approach. McGraw Hill. ISBN978-0-07-010688-8..
K. Cahill (2013). Physical Mathematics. Cambridge University Press. ISBN978-1107005211.