En matemáticas, específicamente en álgebra multilineal, un tensor diádico (también denominado simplemente como diádico) es un tensor de segundo orden representado en una notación acorde con el álgebra vectorial.[1]
Introducción
Existen numerosas formas de multiplicar dos vectores. El producto escalar opera dos vectores y devuelve un escalar, mientras que el producto vectorial[2] devuelve un vector axial. Ambos tienen varias interpretaciones geométricas importantes y se utilizan ampliamente en matemáticas, física e ingeniería. El producto diádico toma dos vectores y devuelve un tensor de segundo orden, denominado tensor diádico, que se puede utilizar para contener información física o geométrica, aunque en general no existe una forma directa de interpretar esta información geométricamente.
El producto diádico es distributivo respecto a la adición de vectores y asociativo con respecto a la multiplicación escalar. Por lo tanto, el producto diádico es lineal con respecto a ambas operaciones. En general, se pueden sumar dos tensores diádicos para obtener otro tensor diádico, y se puede multiplicarlos por un números para escalar sus componentes. Sin embargo, el producto de tensores diádicos no es conmutativo; cambiar el orden de los vectores da como resultado tensores diádicos diferentes.
El formalismo del álgebra diádica es una extensión del álgebra vectorial para incluir el producto diádico de vectores. El producto diádico también es asociativo con los productos escalar y vectorial con respecto a otros vectores, lo que permite combinar los productos escalar, vectorial y diádico para obtener otros escalares, vectores o tensores diádicos.
También comparte algunos aspectos con el álgebra matricial, ya que los componentes numéricos de los vectores se pueden organizar en vectores fila o en vectores columna, y los de tensores de segundo orden en matrices cuadradas. Además, los productos escalar, vectorial y diádico se pueden expresar en forma matricial. Las expresiones diádicas pueden parecerse mucho a sus equivalentes matriciales.
El producto escalar de un tensor diádico con un vector da otro vector, y al tomar el producto escalar de este resultado se obtiene un escalar derivado del tensor diádico. El efecto que tiene un tensor diádico determinado sobre otros vectores puede proporcionar interpretaciones físicas o geométricas indirectas.
La notación diádica fue establecida por primera vez por Josiah Willard Gibbs en 1884. La notación y la terminología están relativamente obsoletas en la actualidad. Sus usos en física incluyen la mecánica de medios continuos y el electromagnetismo.
En este artículo, las variables en mayúsculas y negrita denotan tensores diádicos, mientras que las variables en minúsculas y negrita denotan vectores. Una notación alternativa utiliza barras superiores o inferiores dobles y simples, respectivamente.
Definiciones y terminología
Productos diádico, externo y tensorial
Se denomina díada a un tensor de orden dos y de rango uno, y es el producto diádico de dos vectores (vectores complejos con carácter general), mientras que un diádico es un tensor general de orden dos (que puede ser de rango completo o no).
Existen varios términos y notaciones equivalentes para este producto:
- El producto diádico de dos vectores
y
se denota por
(yuxtapuesto; sin símbolos intermedios como signos de multiplicación, cruces, puntos u otros) - El producto externo de dos vectores columna,
y
, se indica y define como
o
, donde T significa que se trata de un vector transpuesto - El producto tensorial de dos vectores
y
se denota como ![{\displaystyle \mathbf {a} \otimes \mathbf {b} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/cadfafe070375453940be5c48be4248bbe9bb5ad)
En el contexto diádico, todos tienen la misma definición y significado, y se usan como sinónimos, aunque la denominación producto tensorial es un ejemplo del uso más general y abstracto del término.
Espacio euclídeo tridimensional
Para ilustrar el uso del producto, considérese el espacio euclídeo tridimensional, haciendo que
![{\displaystyle {\begin{aligned}\mathbf {a} &=a_{1}\mathbf {i} +a_{2}\mathbf {j} +a_{3}\mathbf {k} \\\mathbf {b} &=b_{1}\mathbf {i} +b_{2}\mathbf {j} +b_{3}\mathbf {k} \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e07098cda29e5479edb00f2aad95871661d86ce)
sean dos vectores, en los que i, j, k (también denominados e1, e2, e3) son una base estándar en este espacio vectorial (véase también coordenadas cartesianas). Entonces, el producto diádico de a y b se puede representar como una suma de componentes:
![{\displaystyle {\begin{aligned}\mathbf {ab} =\qquad &a_{1}b_{1}\mathbf {ii} +a_{1}b_{2}\mathbf {ij} +a_{1}b_{3}\mathbf {ik} \\{}+{}&a_{2}b_{1}\mathbf {ji} +a_{2}b_{2}\mathbf {jj} +a_{2}b_{3}\mathbf {jk} \\{}+{}&a_{3}b_{1}\mathbf {ki} +a_{3}b_{2}\mathbf {kj} +a_{3}b_{3}\mathbf {kk} \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f8060098342c51acb4cb0bb26189e9b535fff18)
o por extensión de vectores fila y columna, una matriz de orden 3×3 (también el resultado del producto exterior o producto tensorial de a y b):
![{\displaystyle \mathbf {ab} \equiv \mathbf {a} \otimes \mathbf {b} \equiv \mathbf {ab} ^{\mathsf {T}}={\begin{pmatrix}a_{1}\\a_{2}\\a_{3}\end{pmatrix}}{\begin{pmatrix}b_{1}&b_{2}&b_{3}\end{pmatrix}}={\begin{pmatrix}a_{1}b_{1}&a_{1}b_{2}&a_{1}b_{3}\\a_{2}b_{1}&a_{2}b_{2}&a_{2}b_{3}\\a_{3}b_{1}&a_{3}b_{2}&a_{3}b_{3}\end{pmatrix}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f77886ef8e95e092094a4b364c589730addd2256)
Una díada es un componente de un tensor diádico (un monomio de la suma o, equivalentemente, una entrada de la matriz): el producto diádico de un par de bases multiplicado escalarmente por un número.
Así, como los vectores de la base estándar (y unitarios) i, j, k, tienen las representaciones:
![{\displaystyle {\begin{aligned}\mathbf {i} &={\begin{pmatrix}1\\0\\0\end{pmatrix}},&\mathbf {j} &={\begin{pmatrix}0\\1\\0\end{pmatrix}},&\mathbf {k} &={\begin{pmatrix}0\\0\\1\end{pmatrix}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/462d5869954241fb741e33710348ba808c3d50ce)
(que se pueden transponer), las díadas de base estándar (y unidad) tienen la representación:
![{\displaystyle {\begin{aligned}\mathbf {ii} &={\begin{pmatrix}1&0&0\\0&0&0\\0&0&0\end{pmatrix}},&\mathbf {ij} &={\begin{pmatrix}0&1&0\\0&0&0\\0&0&0\end{pmatrix}},&\mathbf {ik} &={\begin{pmatrix}0&0&1\\0&0&0\\0&0&0\end{pmatrix}}\\\mathbf {ji} &={\begin{pmatrix}0&0&0\\1&0&0\\0&0&0\end{pmatrix}},&\mathbf {jj} &={\begin{pmatrix}0&0&0\\0&1&0\\0&0&0\end{pmatrix}},&\mathbf {jk} &={\begin{pmatrix}0&0&0\\0&0&1\\0&0&0\end{pmatrix}}\\\mathbf {ki} &={\begin{pmatrix}0&0&0\\0&0&0\\1&0&0\end{pmatrix}},&\mathbf {kj} &={\begin{pmatrix}0&0&0\\0&0&0\\0&1&0\end{pmatrix}},&\mathbf {kk} &={\begin{pmatrix}0&0&0\\0&0&0\\0&0&1\end{pmatrix}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/093a2a41d29ded90038fa05798f66c948e000f99)
A continuación se facilita un ejemplo numérico simple en la base estándar:
![{\displaystyle {\begin{aligned}\mathbf {A} &=2\mathbf {ij} +{\frac {\sqrt {3}}{2}}\mathbf {ji} -8\pi \mathbf {jk} +{\frac {2{\sqrt {2}}}{3}}\mathbf {kk} \\[2pt]&=2{\begin{pmatrix}0&1&0\\0&0&0\\0&0&0\end{pmatrix}}+{\frac {\sqrt {3}}{2}}{\begin{pmatrix}0&0&0\\1&0&0\\0&0&0\end{pmatrix}}-8\pi {\begin{pmatrix}0&0&0\\0&0&1\\0&0&0\end{pmatrix}}+{\frac {2{\sqrt {2}}}{3}}{\begin{pmatrix}0&0&0\\0&0&0\\0&0&1\end{pmatrix}}\\[2pt]&={\begin{pmatrix}0&2&0\\{\frac {\sqrt {3}}{2}}&0&-8\pi \\0&0&{\frac {2{\sqrt {2}}}{3}}\end{pmatrix}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/004e10c7876a31cff93419b2d7711a762379f08f)
Espacio euclídeo de dimensión N
Si el espacio euclídeo es N-dimensional, y
![{\displaystyle {\begin{aligned}\mathbf {a} &=\sum _{i=1}^{N}a_{i}\mathbf {e} _{i}=a_{1}\mathbf {e} _{1}+a_{2}\mathbf {e} _{2}+{\ldots }+a_{N}\mathbf {e} _{N}\\\mathbf {b} &=\sum _{j=1}^{N}b_{j}\mathbf {e} _{j}=b_{1}\mathbf {e} _{1}+b_{2}\mathbf {e} _{2}+\ldots +b_{N}\mathbf {e} _{N}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e223b2ecbe051a9201ba7f0d9158f16c3078e08f)
donde ei y ej son los vectores de la base canónica en N dimensiones (el índice i en ei selecciona un vector, no un componente del vector como en ai), entonces en forma algebraica su producto diádico es:
![{\displaystyle \mathbf {ab} =\sum _{j=1}^{N}\sum _{i=1}^{N}a_{i}b_{j}\mathbf {e} _{i}\mathbf {e} _{j}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/636c05a7c69e35a608f6421ccdd7907c78eb708b)
Esto se conoce como la "forma noión" de un tensor diádico. Su producto externo/tensor en forma matricial es:
![{\displaystyle \mathbf {ab} =\mathbf {ab} ^{\mathsf {T}}={\begin{pmatrix}a_{1}\\a_{2}\\\vdots \\a_{N}\end{pmatrix}}{\begin{pmatrix}b_{1}&b_{2}&\cdots &b_{N}\end{pmatrix}}={\begin{pmatrix}a_{1}b_{1}&a_{1}b_{2}&\cdots &a_{1}b_{N}\\a_{2}b_{1}&a_{2}b_{2}&\cdots &a_{2}b_{N}\\\vdots &\vdots &\ddots &\vdots \\a_{N}b_{1}&a_{N}b_{2}&\cdots &a_{N}b_{N}\end{pmatrix}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad4b70465daf4dd188d93df178b4575309411239)
Un polinomio diádico A, también conocido como diádico, se forma a partir de múltiples vectores ai y bj:
![{\displaystyle \mathbf {A} =\sum _{i}\mathbf {a} _{i}\mathbf {b} _{i}=\mathbf {a} _{1}\mathbf {b} _{1}+\mathbf {a} _{2}\mathbf {b} _{2}+\mathbf {a} _{3}\mathbf {b} _{3}+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/51d18d0fa8839b9f2da9ff13e2fdc7723386445d)
Un diádico que no puede reducirse a una suma de menos de N díadas se dice que es completo. En este caso, los vectores que lo forman no son coplanarios (véase Chen (1983)).
Clasificación
La siguiente tabla clasifica los tensores diádicos:
| Determinante | Matriz de adjuntos | Matriz y sus rangos |
Cero | = 0 | = 0 | = 0; rango 0: todo ceros |
Lineal | = 0 | = 0 | ≠ 0; rango 1: al menos un elemento distinto de cero y todos los subdeterminantes de orden 2 × 2 cero (diádico único) |
Plano | = 0 | ≠ 0 (diádico simple) | ≠ 0; rango 2: Al menos un subdeterminante de orden 2 × 2 distinto de cero |
Completo | ≠ 0 | ≠ 0 | ≠ 0; rango 3: determinante no nulo |
Identidades
Las siguientes identidades son consecuencia directa de la definición del producto tensorial:[3]
- 1. Compatible con la multiplicación escalar:
![{\displaystyle (\alpha \mathbf {a} )\mathbf {b} =\mathbf {a} (\alpha \mathbf {b} )=\alpha (\mathbf {a} \mathbf {b} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5abed9713f8d26e4a82ea8b825cc7eb71db66f1b)
- para cualquier escalar
.
- 2. Distributividad sobre la adición de vectores:
![{\displaystyle {\begin{aligned}\mathbf {a} (\mathbf {b} +\mathbf {c} )&=\mathbf {a} \mathbf {b} +\mathbf {a} \mathbf {c} \\(\mathbf {a} +\mathbf {b} )\mathbf {c} &=\mathbf {a} \mathbf {c} +\mathbf {b} \mathbf {c} \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b3ca9eb9e714fd08a70b3ed1ef08e7b35dc6eb5c)
Álgebra diádica
Producto de tensor diádico y vector
Hay cuatro operaciones definidas sobre un vector y diádicas, construidas a partir de los productos definidos sobre vectores.
| Izquierda | Derecha |
Producto escalar | | |
Producto vectorial | | |
Producto de tensor diádico y tensor diádico
Hay cinco operaciones de un tensor diádico con otro tensor diádico. Sean a, b, c, d vectores reales. Entonces:
| | Producto escalar | Producto vectorial |
Producto escalar | Producto escalar | Producto escalar doble
y | Producto escalar vectorial |
Vectorial | | Producto vectorial escalar | Producto vectorial doble |
Sean
![{\displaystyle \mathbf {A} =\sum _{i}\mathbf {a} _{i}\mathbf {b} _{i},\quad \mathbf {B} =\sum _{j}\mathbf {c} _{j}\mathbf {d} _{j}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fbd9b8ca50f837c5a872df31222c430f9abd32e5)
dos diádicos generales. Entonces:
| | Producto escalar | Producto vectorial |
Producto escalar | Producto escalar | Producto escalar doble
y | Producto escalar vectorial |
Vectorial | | Producto vectorial escalar | Producto vectorial doble |
Producto escalar doble
La primera definición del producto escalar doble es el producto interior de Frobenius,
![{\displaystyle {\begin{aligned}\operatorname {tr} \left(\mathbf {A} \mathbf {B} ^{\mathsf {T}}\right)&=\sum _{i,j}\operatorname {tr} \left(\mathbf {a} _{i}\mathbf {b} _{i}^{\mathsf {T}}\mathbf {d} _{j}\mathbf {c} _{j}^{\mathsf {T}}\right)\\&=\sum _{i,j}\operatorname {tr} \left(\mathbf {c} _{j}^{\mathsf {T}}\mathbf {a} _{i}\mathbf {b} _{i}^{\mathsf {T}}\mathbf {d} _{j}\right)\\&=\sum _{i,j}(\mathbf {a} _{i}\cdot \mathbf {c} _{j})(\mathbf {b} _{i}\cdot \mathbf {d} _{j})\\&=\mathbf {A} {}_{\centerdot }^{\centerdot }\mathbf {B} \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2cfee0d443268ab528b71729ae05d851e6c70de4)
Además, dado que,
![{\displaystyle {\begin{aligned}\mathbf {A} ^{\mathsf {T}}&=\sum _{i,j}\left(\mathbf {a} _{i}\mathbf {b} _{j}^{\mathsf {T}}\right)^{\mathsf {T}}\\&=\sum _{i,j}\mathbf {b} _{i}\mathbf {a} _{j}^{\mathsf {T}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/456a40be7c97ecf588f11b31d46b7118e609ce6c)
se entiende que
![{\displaystyle \mathbf {A} {}_{\centerdot }^{\centerdot }\mathbf {B} =\mathbf {A} {\underline {{}_{\centerdot }^{\centerdot }}}\mathbf {B} ^{\mathsf {T}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/59e0164a0930e6beef0cd7396179aa4ef03c52c2)
y entonces la segunda definición posible del producto escalar doble es como la primera, pero con una transposición adicional en el segundo diádico. Por estas razones, se prefiere la primera definición del producto escalar doble, aunque algunos autores todavía utilizan la segunda.
Producto vectorial doble
Se puede ver que, para cualquier díada formada a partir de dos vectores a y b, su producto vectorial doble es cero.
![{\displaystyle \left(\mathbf {ab} \right){}_{\times }^{\times }\left(\mathbf {ab} \right)=\left(\mathbf {a} \times \mathbf {a} \right)\left(\mathbf {b} \times \mathbf {b} \right)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d9e96d00523d8900763be5b40be70e553b290cd)
Sin embargo, por definición, un producto diádico vectorial doble sobre sí mismo generalmente será distinto de cero. Por ejemplo, un tensor diádico A compuesto de seis vectores diferentes
![{\displaystyle \mathbf {A} =\sum _{i=1}^{3}\mathbf {a} _{i}\mathbf {b} _{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f937bf8fbd3f60ae6cfa3c704fb2e842533ebcca)
tiene un producto vectorial doble por sí mismo distinto de cero:
![{\displaystyle \mathbf {A} {}_{\times }^{\times }\mathbf {A} =2\left[\left(\mathbf {a} _{1}\times \mathbf {a} _{2}\right)\left(\mathbf {b} _{1}\times \mathbf {b} _{2}\right)+\left(\mathbf {a} _{2}\times \mathbf {a} _{3}\right)\left(\mathbf {b} _{2}\times \mathbf {b} _{3}\right)+\left(\mathbf {a} _{3}\times \mathbf {a} _{1}\right)\left(\mathbf {b} _{3}\times \mathbf {b} _{1}\right)\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/97e3124661942d3e4aeac239dd80a5fde39d766d)
Contracción tensorial
El estímulo o factor de expansión surge de la expansión formal del diádico en una base de coordenadas reemplazando cada producto diádico por un producto escalar de vectores:
![{\displaystyle {\begin{aligned}|\mathbf {A} |=\qquad &A_{11}\mathbf {i} \cdot \mathbf {i} +A_{12}\mathbf {i} \cdot \mathbf {j} +A_{13}\mathbf {i} \cdot \mathbf {k} \\{}+{}&A_{21}\mathbf {j} \cdot \mathbf {i} +A_{22}\mathbf {j} \cdot \mathbf {j} +A_{23}\mathbf {j} \cdot \mathbf {k} \\{}+{}&A_{31}\mathbf {k} \cdot \mathbf {i} +A_{32}\mathbf {k} \cdot \mathbf {j} +A_{33}\mathbf {k} \cdot \mathbf {k} \\[6pt]=\qquad &A_{11}+A_{22}+A_{33}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/21f5453a39750ad2240a5ef1cb4259f2cf5f4907)
en notación indexada, esta es la contracción de índices en el tensor diádico:
![{\displaystyle |\mathbf {A} |=\sum _{i}A_{i}{}^{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1e569f2b60cb66441bf6de13150878b6f85c0d15)
Solo en tres dimensiones surge el factor de rotación al reemplazar cada producto diádico por un producto vectorial
![{\displaystyle {\begin{aligned}\langle \mathbf {A} \rangle =\qquad &A_{11}\mathbf {i} \times \mathbf {i} +A_{12}\mathbf {i} \times \mathbf {j} +A_{13}\mathbf {i} \times \mathbf {k} \\{}+{}&A_{21}\mathbf {j} \times \mathbf {i} +A_{22}\mathbf {j} \times \mathbf {j} +A_{23}\mathbf {j} \times \mathbf {k} \\{}+{}&A_{31}\mathbf {k} \times \mathbf {i} +A_{32}\mathbf {k} \times \mathbf {j} +A_{33}\mathbf {k} \times \mathbf {k} \\[6pt]=\qquad &A_{12}\mathbf {k} -A_{13}\mathbf {j} -A_{21}\mathbf {k} \\{}+{}&A_{23}\mathbf {i} +A_{31}\mathbf {j} -A_{32}\mathbf {i} \\[6pt]=\qquad &\left(A_{23}-A_{32}\right)\mathbf {i} +\left(A_{31}-A_{13}\right)\mathbf {j} +\left(A_{12}-A_{21}\right)\mathbf {k} \\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bd209c1d383ed8a3009424fdf877bcec006f9fad)
En notación indexada, esta es la contracción de A con el tensor de Levi-Civita
![{\displaystyle \langle \mathbf {A} \rangle =\sum _{jk}{\epsilon _{i}}^{jk}A_{jk}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/03507d5309d4785db5bde20d29de512271b62ca5)
Unidad diádica
Existe una unidad diádica, denotada por I, tal que, para cualquier vector a,
![{\displaystyle \mathbf {I} \cdot \mathbf {a} =\mathbf {a} \cdot \mathbf {I} =\mathbf {a} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c19e3a3222ac36455a892e0d5845e754ee867f86)
Dada una base de 3 vectores a, b y c, con la base recíproca
, la unidad diádica se expresa por
![{\displaystyle \mathbf {I} =\mathbf {a} {\hat {\mathbf {a} }}+\mathbf {b} {\hat {\mathbf {b} }}+\mathbf {c} {\hat {\mathbf {c} }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b92aa533f0e5279a1039c93c37309d893c72552b)
En la base estándar (para las definiciones de i, j, k consúltese la sección anterior Espacio euclídeo tridimensional),
![{\displaystyle \mathbf {I} =\mathbf {ii} +\mathbf {jj} +\mathbf {kk} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/16d9843b29e8655ee4680e9cf2b36f44ecba04d2)
Explícitamente, el producto escalar por la derecha de la unidad diádica es
![{\displaystyle {\begin{aligned}\mathbf {I} \cdot \mathbf {a} &=(\mathbf {i} \mathbf {i} +\mathbf {j} \mathbf {j} +\mathbf {k} \mathbf {k} )\cdot \mathbf {a} \\&=\mathbf {i} (\mathbf {i} \cdot \mathbf {a} )+\mathbf {j} (\mathbf {j} \cdot \mathbf {a} )+\mathbf {k} (\mathbf {k} \cdot \mathbf {a} )\\&=\mathbf {i} a_{x}+\mathbf {j} a_{y}+\mathbf {k} a_{z}\\&=\mathbf {a} \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e8c9e5d71f31fd90b51f6edc95d107686e8499fb)
y por la izquierda
![{\displaystyle {\begin{aligned}\mathbf {a} \cdot \mathbf {I} &=\mathbf {a} \cdot (\mathbf {i} \mathbf {i} +\mathbf {j} \mathbf {j} +\mathbf {k} \mathbf {k} )\\&=(\mathbf {a} \cdot \mathbf {i} )\mathbf {i} +(\mathbf {a} \cdot \mathbf {j} )\mathbf {j} +(\mathbf {a} \cdot \mathbf {k} )\mathbf {k} \\&=a_{x}\mathbf {i} +a_{y}\mathbf {j} +a_{z}\mathbf {k} \\&=\mathbf {a} \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5feb93e6aec3c659dab8d7a67383904d2a12ab9a)
La matriz correspondiente es
![{\displaystyle \mathbf {I} ={\begin{pmatrix}1&0&0\\0&1&0\\0&0&1\\\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f64d0bfec401006e07ffe75348214ddfa2c42fff)
Esto se puede plantear sobre bases más cuidadosas (explicando lo que podría significar el contenido lógico de la notación yuxtapuesta) utilizando el lenguaje de los productos tensoriales. Si V es un espacio vectorial de dimensión finita, un tensor diádico en V es un tensor elemental en el tensor producto de V con su espacio dual.
El producto tensorial de V y su espacio dual es isomorfo al espacio de aplicaciones lineales de V sobre V: un tensor diádico vf es simplemente una aplicación lineal que envía cualquier w en V a f(w)v. Cuando V es un espacio euclídeo de dimensión n, se puede usar el producto interno para identificar el espacio dual con el propio V, haciendo de un tensor diádico un producto tensorial elemental de dos vectores en el espacio euclídeo.
En este sentido, la unidad diádica ij es la función del espacio tridimensional sobre sí mismo enviando a1i + a2j + a3k a a2i, y jj envía esta suma a a2 'j. Ahora se revela en qué sentido (preciso) ii + jj + kk es la identidad: envía a1i + a2j + a3k sobre sí mismo, porque su efecto es sumar cada vector unitario en la base estándar escalada por el coeficiente del vector en esa base.
Propiedades de los tensores diádicos unitarios
![{\displaystyle {\begin{aligned}\left(\mathbf {a} \times \mathbf {I} \right)\cdot \left(\mathbf {b} \times \mathbf {I} \right)&=\mathbf {ba} -\left(\mathbf {a} \cdot \mathbf {b} \right)\mathbf {I} \\\mathbf {I} {}_{\times }^{\,\centerdot }\left(\mathbf {ab} \right)&=\mathbf {b} \times \mathbf {a} \\\mathbf {I} {}_{\times }^{\times }\mathbf {A} &=(\mathbf {A} {}_{\,\centerdot }^{\,\centerdot }\mathbf {I} )\mathbf {I} -\mathbf {A} ^{\mathsf {T}}\\\mathbf {I} {}_{\,\centerdot }^{\,\centerdot }\left(\mathbf {ab} \right)&=\left(\mathbf {I} \cdot \mathbf {a} \right)\cdot \mathbf {b} =\mathbf {a} \cdot \mathbf {b} =\mathrm {tr} \left(\mathbf {ab} \right)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d86ba2374a53060396b608b5926f8ff7fd67359e)
donde tr denota la traza.
Ejemplos
Proyección y reyección de vectores
Un vector a distinto de cero siempre se puede dividir en dos componentes perpendiculares, una paralela (‖) a la dirección de un vector unitario n y otra perpendicular (⊥) a él;
![{\displaystyle \mathbf {a} =\mathbf {a} _{\parallel }+\mathbf {a} _{\perp }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/308188bb843e84b11c7398bdc51373c814ce54fa)
La componente paralela se encuentra mediante la proyección vectorial, que es equivalente al producto escalar de a por el tensor diádico nn,
![{\displaystyle \mathbf {a} _{\parallel }=\mathbf {n} (\mathbf {n} \cdot \mathbf {a} )=(\mathbf {nn} )\cdot \mathbf {a} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8b58ee0d2b3d055643037a2ec2d8dd7696545745)
y la componente perpendicular se encuentra a partir de la reyección vectorial, que es equivalente al producto escalar de a por el tensor diádico I − nn,
![{\displaystyle \mathbf {a} _{\perp }=\mathbf {a} -\mathbf {n} (\mathbf {n} \cdot \mathbf {a} )=(\mathbf {I} -\mathbf {nn} )\cdot \mathbf {a} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd201a471a83118c59579b0d4ad3adafa0cc6480)
Rotación diádica
Rotaciones 2d
El tensor diádico
![{\displaystyle \mathbf {J} =\mathbf {ji} -\mathbf {ij} ={\begin{pmatrix}0&-1\\1&0\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb65617aeb3bbd237e25f25293c6683f7713935e)
es un operador de rotación de 90° en sentido antihorario en 2d. Se puede puntear a la izquierda con un vector r = xi + y'j para producir el vector,
![{\displaystyle (\mathbf {ji} -\mathbf {ij} )\cdot (x\mathbf {i} +y\mathbf {j} )=x\mathbf {ji} \cdot \mathbf {i} -x\mathbf {ij} \cdot \mathbf {i} +y\mathbf {ji} \cdot \mathbf {j} -y\mathbf {ij} \cdot \mathbf {j} =-y\mathbf {i} +x\mathbf {j} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/67853dcf7b82ce3808e8e2efc2c4eee3b12dcbf5)
en resumen
![{\displaystyle \mathbf {J} \cdot \mathbf {r} =\mathbf {r} _{\mathrm {rot} }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e326b924282daa91e9b9df37824ebb4b1c04323)
o en notación matricial
![{\displaystyle {\begin{pmatrix}0&-1\\1&0\end{pmatrix}}{\begin{pmatrix}x\\y\end{pmatrix}}={\begin{pmatrix}-y\\x\end{pmatrix}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/416b05b5b69b6d0e053f261f28b170ab0e467afe)
Para cualquier ángulo θ, el tensor diádico de rotación 2d para una rotación en sentido antihorario en el plano es
![{\displaystyle \mathbf {R} =\mathbf {I} \cos \theta +\mathbf {J} \sin \theta =(\mathbf {ii} +\mathbf {jj} )\cos \theta +(\mathbf {ji} -\mathbf {ij} )\sin \theta ={\begin{pmatrix}\cos \theta &-\sin \theta \\\sin \theta &\;\cos \theta \end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f2c3966a6751de3f85daff42aeb75d04939432e3)
donde I y J son como anteriormente, y la rotación de cualquier vector 2d a = axi + ayj es
![{\displaystyle \mathbf {a} _{\mathrm {rot} }=\mathbf {R} \cdot \mathbf {a} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/431c34090b937ccc8c9e4e3157744c890beee12f)
Rotaciones 3d
Se puede realizar una rotación general 3d de un vector a, alrededor de un eje en la dirección del vector unitario ω y en sentido antihorario a través del ángulo θ, usando la fórmula de rotación de Rodrigues en forma diádica
![{\displaystyle \mathbf {a} _{\mathrm {rot} }=\mathbf {R} \cdot \mathbf {a} \,,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/09d1a0d03e75f4e46d025325afe7afd8f3b3a109)
donde el tensor diádico de rotación es
![{\displaystyle \mathbf {R} =\mathbf {I} \cos \theta +{\boldsymbol {\Omega }}\sin \theta +{\boldsymbol {\omega \omega }}(1-\cos \theta )\,,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6e2cbb3674955f3894cb144fc58520561e94ffbd)
y las entradas cartesianas de ω también forman las del tensor diádico
![{\displaystyle {\boldsymbol {\Omega }}=\omega _{x}(\mathbf {kj} -\mathbf {jk} )+\omega _{y}(\mathbf {ik} -\mathbf {ki} )+\omega _{z}(\mathbf {ji} -\mathbf {ij} )\,,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/621732c8c2737ad2232e612e06fe1aa7240761ce)
El efecto de Ω sobre a es el producto vectorial
![{\displaystyle {\boldsymbol {\Omega }}\cdot \mathbf {a} ={\boldsymbol {\omega }}\times \mathbf {a} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/1759e5f6d0dd8cc31399e1ba91acb0171c4346fb)
que es la forma diádica del producto vectorial con un vector columna.
En la teoría de la relatividad especial, la transformación de Lorentz con velocidad v en la dirección de un vector unitario n se puede expresar como
![{\displaystyle t'=\gamma \left(t-{\frac {v\mathbf {n} \cdot \mathbf {r} }{c^{2}}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c108b1168a524771513814d9390a384df0b5de3)
![{\displaystyle \mathbf {r} '=[\mathbf {I} +(\gamma -1)\mathbf {nn} ]\cdot \mathbf {r} -\gamma v\mathbf {n} t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7530f1fd9a93b9f35538c12c2086c93a15684b2d)
donde
![{\displaystyle \gamma ={\frac {1}{\sqrt {1-{\dfrac {v^{2}}{c^{2}}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d020d967c83dac5cf2992da9e42e8a17e480955)
es el factor de Lorentz.
Términos relacionados
Algunos autores generalizan el término diádico a conceptos relacionados como tríadico, tetrádico y poliádico.[4]
Véase también
Referencias
- ↑ J. Michael Finn (2009). Classical Mechanics. Jones & Bartlett Publishers. pp. 67 de 576. ISBN 9780763779603. Consultado el 17 de mayo de 2024.
- ↑ El producto vectorial solo existe en espacio prehilbertianos orientados en tres y siete dimensiones, y solo tiene propiedades aprovechables en espacios tridimensionales con producto interno. El producto exterior, otra operación relacionada con el producto vectorial, existe para todos los espacios vectoriales.
- ↑ Spencer (1992), page 19.
- ↑ Por ejemplo, I. V. Lindell; A. P. Kiselev (2001). «Polyadic Methods in Elastodynamics». Progress in Electromagnetics Research 31: 113-154. doi:10.2528/PIER00051701.
Bibliografía
- P. Mitiguy (2009). «Vectors and dyadics». Universidad Stanford, USA. Capítulo 2
- Spiegel, M.R.; Lipschutz, S.; Spellman, D. (2009). Vector analysis, Schaum's outlines. McGraw Hill. ISBN 978-0-07-161545-7.
- A.J.M. Spencer (1992). Continuum Mechanics. Dover Publications. ISBN 0-486-43594-6. .
- Morse, Philip M.; Feshbach, Herman (1953), «§1.6: Dyadics and other vector operators», Methods of theoretical physics, Volume 1, New York: McGraw Hill Education, pp. 54–92, ISBN 978-0-07-043316-8, MR 0059774 ..
- Ismo V. Lindell (1996). Methods for Electromagnetic Field Analysis. Wiley-Blackwell. ISBN 978-0-7803-6039-6. .
- Hollis C. Chen (1983). Theory of Electromagnetic Wave - A Coordinate-free approach. McGraw Hill. ISBN 978-0-07-010688-8. .
- K. Cahill (2013). Physical Mathematics. Cambridge University Press. ISBN 978-1107005211.
Enlaces externos
- Análisis vectorial, un libro de texto para uso de estudiantes de matemáticas y física, basado en las conferencias de J. Willard Gibbs PhD LLD, Edwind Bidwell Wilson PhD
- Teoría de campo avanzada, I.V.Lindel
- Análisis vectorial y diádico
- Análisis introductorio del tensor
- Nasa.gov, Fundamentos del análisis tensorial para estudiantes de Física e Ingeniería con una introducción a la teoría de la relatividad, J.C. Kolecki
- Nasa.gov, Introducción a Tensores para estudiantes de Física e Ingeniería, J.C. Kolecki
Datos: Q2396526