| Version 6 |
Version 5 |
| A third kind of ``products'' between two Euclidean vectors $\vec{a}$ and $\vec{b}$, besides the scalar product $\vec{a}\!\cdot\!\vec{b}$ and the vector product $\vec{a}\!\times\!\vec{b}$, is the\, {\em dyad product}\, $\vec{a}\,\vec{b}$,\, which is usually denoted without any multiplication symbol.\, The dyad products and the finite sums |
A third kind of ``products'' between two Euclidean vectors $\vec{a}$ and $\vec{b}$, besides the scalar product $\vec{a}\!\cdot\!\vec{b}$ and the vector product $\vec{a}\!\times\!\vec{b}$, is the\, {\em dyad product}\, $\vec{a}\,\vec{b}$,\, which is usually denoted without any multiplication symbol.\, The dyad products and the finite sums |
| \begin{align} |
$$\Phi := \sum_\mu \vec{a}_\mu \vec{b}_\mu$$ |
| \Phi := \sum_\mu \vec{a}_\mu \vec{b}_\mu |
|
| \end{align} |
|
| of them are called {\em dyads}. |
of them are called {\em dyads}. |
|
|
| A dyad is not a vector, but an operator.\, It \PMlinkescapetext{functions} on any vector $\vec{v}$ producing from it new vectors or new dyads according to the definitions |
A dyad is neither a scalar nor a vector, but an operator.\, It \PMlinkescapetext{functions} on any vector $\vec{v}$ producing from it new vectors or new dyads according to the definitions |
| \begin{align} |
$$\Phi*\vec{v} := \sum_\mu \vec{a}_\mu(\vec{b}_\mu*\vec{v}), \quad |
| \Phi*\vec{v} := \sum_\mu \vec{a}_\mu(\vec{b}_\mu*\vec{v}), \quad |
\vec{v}*\Phi := \sum_\mu (\vec{v}*\vec{a}_\mu)\vec{b}_\mu.$$ |
| \vec{v}*\Phi := \sum_\mu (\vec{v}*\vec{a}_\mu)\vec{b}_\mu. |
|
| \end{align} |
|
| Here the asterisks \PMlinkescapetext{mean either dots (producing two vectors) or crosses (producing two dyads).\, One can also allow the asterisks to mean} empty, in which case the vector $\vec{v}$ must be replaced by a scalar $v$; the products $\Phi v$ and $v\Phi$ are dyads. |
Here the asterisks \PMlinkescapetext{mean either dots (producing two vectors) or crosses (producing two dyads).\, One can also allow the asterisks to mean} empty, in which case the vector $\vec{v}$ must be replaced by a scalar $v$; the products $\Phi v$ and $v\Phi$ are dyads. |
|
|
| The dyad product obeys the distributive laws |
|
| $$\vec{a}(\vec{b}+\vec{c}) = \vec{a}\vec{b}+\vec{a}\vec{c}, \quad |
|
| (\vec{b}+\vec{c})\vec{a} = \vec{b}\vec{a}+\vec{c}\vec{a},$$ |
|
| which can be verified by multiplying an arbitrary vector $\vec{v}$ and both sides and then comparing the results.\, Likewise, the scalar factor transfer rule is valid.\, It follows that if\, |
|
| $\vec{a} = a_1\vec{e_1}+a_2\vec{e_2}+a_3\vec{e_3}$\, and\, |
|
| $\vec{b} = b_1\vec{e_1}+b_2\vec{e_2}+b_3\vec{e_3}$\, in the orthonormal basis\, $\{\vec{e_1},\,\vec{e_2},\,\vec{e_3}\}$ (for the brevity, we confine us to vectors of $\mathbb{R}^3$), their dyad product is the sum |
|
| $$a_1b_1\vec{e_1}\vec{e_1}+a_1b_2\vec{e_1}\vec{e_2}+a_1b_3\vec{e_1}\vec{e_3}\\ |
|
| +a_2b_1\vec{e_2}\vec{e_1}+a_2b_2\vec{e_2}\vec{e_2}+a_2b_3\vec{e_2}\vec{e_3}\\ |
|
| +a_3b_1\vec{e_3}\vec{e_1}+a_3b_2\vec{e_3}\vec{e_2}+a_3b_3\vec{e_3}\vec{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)^T$\, and $(b_1,\,b_2,\,b_3)$. |
|
|
|
| The {\em unit dyad}\, |
|
| $I := \vec{e_1}\vec{e_1}+\vec{e_2}\vec{e_2}+\vec{e_3}\vec{e_3}$\, |
|
| \PMlinkescapetext{satisfies} |
|
| $$I\cdot\vec{v} = \vec{v}\cdot I = \vec{v}$$ |
|
| and |
|
| $$\Phi\cdot I = I\cdot\Phi = \Phi$$ |
|
| for all vectors $\vec{v}$ and dyads $\Phi$. |
|
|
|
|
|
|
|
|
|
| \begin{thebibliography}{9} |
\begin{thebibliography}{9} |
| \bibitem{VV}{\sc K. V\"ais\"al\"a:} {\em Vektorianalyysi}. \,Werner S\"oderstr\"om Osakeyhti\"o, Helsinki (1961). |
\bibitem{VV}{\sc K. V\"ais\"al\"a:} {\em Vektorianalyysi}. \,Werner S\"oderstr\"om Osakeyhti\"o, Helsinki (1961). |
| \end{thebibliography} |
\end{thebibliography} |