dyad product

A third kind of “products” between two Euclidean vectors $\overrightarrow{a}$ and $\overrightarrow{b}$, besides the scalar product $\overrightarrow{a}\cdot \overrightarrow{b}$ and the vector product $\overrightarrow{a}\times \overrightarrow{b}$, is the  dyad product  $\overrightarrow{a}\overrightarrow{b}$,  which is usually denoted without any multiplication symbol.  The dyad products and the finite formal sums

$\mathrm{\Phi }:={\displaystyle \sum _{\mu }}{\overrightarrow{a}}_{\mu }{\overrightarrow{b}}_{\mu }$ (1)

of them are called dyads.

A dyad is not a vector, but an operator.  It on any vector $\overrightarrow{v}$ producing from it new vectors or new dyads according to the definitions

$\mathrm{\Phi }*\overrightarrow{v}:={\displaystyle \sum _{\mu }}{\overrightarrow{a}}_{\mu }({\overrightarrow{b}}_{\mu }*\overrightarrow{v}),\overrightarrow{v}*\mathrm{\Phi }:={\displaystyle \sum _{\mu }}(\overrightarrow{v}*{\overrightarrow{a}}_{\mu }){\overrightarrow{b}}_{\mu }.$ (2)

Here the asterisks empty, in which case the vector $\overrightarrow{v}$ must be replaced by a scalar $v$; the products $\mathrm{\Phi }v$ and $v\mathrm{\Phi }$ are dyads.

The dyad product obeys the distributive laws

$$\overrightarrow{a}(\overrightarrow{b}+\overrightarrow{c})=\overrightarrow{a}\overrightarrow{b}+\overrightarrow{a}\overrightarrow{c},(\overrightarrow{b}+\overrightarrow{c})\overrightarrow{a}=\overrightarrow{b}\overrightarrow{a}+\overrightarrow{c}\overrightarrow{a},$$

which can be verified by multiplying an arbitrary vector $\overrightarrow{v}$ and both of these equations and then comparing the results.  Likewise, the scalar factor transfer rule is valid.  It follows that if we have  $\overrightarrow{a}=a_1\overrightarrow{e_1}+a_2\overrightarrow{e_2}+a_3\overrightarrow{e_3}$  and  $\overrightarrow{b}=b_1\overrightarrow{e_1}+b_2\overrightarrow{e_2}+b_3\overrightarrow{e_3}$  in the orthonormal basis  $\{\overrightarrow{e_1},\overrightarrow{e_2},\overrightarrow{e_3}\}$ (for the brevity, we confine us to vectors of ${ℝ}^3$), their dyad product is the sum

$\overrightarrow{a}\overrightarrow{b}=$ $a_1{b}_1\overrightarrow{e_1}\overrightarrow{e_1}+a_1{b}_2\overrightarrow{e_1}\overrightarrow{e_2}+a_1{b}_3\overrightarrow{e_1}\overrightarrow{e_3}+$

$a_2{b}_1\overrightarrow{e_2}\overrightarrow{e_1}+a_2{b}_2\overrightarrow{e_2}\overrightarrow{e_2}+a_2{b}_3\overrightarrow{e_2}\overrightarrow{e_3}+$

$a_3{b}_1\overrightarrow{e_3}\overrightarrow{e_1}+a_3{b}_2\overrightarrow{e_3}\overrightarrow{e_2}+a_3{b}_3\overrightarrow{e_3}\overrightarrow{e_3},$

which shows that the dyad product has been formed similarly as the matrix product of the vectors  ${(a_1,a_2,a_3)}^{\text{T}}$  and $(b_1,b_2,b_3)$.

The unit dyad

$$\text{I}:=\overrightarrow{e_1}\overrightarrow{e_1}+\overrightarrow{e_2}\overrightarrow{e_2}+\overrightarrow{e_3}\overrightarrow{e_3}=\nabla \overrightarrow{r},$$

where $\overrightarrow{r}$ is the position vector,

$$\text{I}\cdot \overrightarrow{v}=\overrightarrow{v}\cdot \text{I}=\overrightarrow{v}$$

and

$$\text{I}\times (\overrightarrow{u}\times \overrightarrow{v})=\overrightarrow{v}\overrightarrow{u}-\overrightarrow{u}\overrightarrow{v}$$

for all vectors $\overrightarrow{u}$ and $\overrightarrow{v}$.

The product of two dyad products  $\overrightarrow{a}\overrightarrow{b}$  and  $\overrightarrow{c}\overrightarrow{d}$  is defined to be the dyad

$(\overrightarrow{a}\overrightarrow{b})(\overrightarrow{c}\overrightarrow{d}):=(\overrightarrow{b}\cdot \overrightarrow{c})(\overrightarrow{a}\overrightarrow{d})$ (3)

and the product of such dyads as (1) to be the formal sum of individual products (3).  The multiplication of dyads is associative and distributive over addition.  The unit dyad acts as unity in the ring of dyads:

$$\text{I}\mathrm{\Phi }=\mathrm{\Phi }\text{I}=\mathrm{\Phi }\mathit{\hspace{1em}}\forall \mathrm{\Phi }$$

Title	dyad product
Canonical name	DyadProduct
Date of creation	2013-03-22 15:26:44
Last modified on	2013-03-22 15:26:44
Owner	pahio (2872)
Last modified by	pahio (2872)
Numerical id	15
Author	pahio (2872)
Entry type	Definition
Classification	msc 15A72
Related topic	Frame
Related topic	DotProduct
Related topic	CrossProduct
Related topic	PositionVector
Related topic	KalleVaisala
Defines	dyad
Defines	unit dyad
Defines	product of dyads