Dubbelkorsprodukt
Dubbelvektorprodukt (ett annat namn: trippelvektorprodukt ) av vektorer - vektorprodukten av en vektor med vektorprodukten av vektorer och
![\left[{\vec {a}},{\vec {b}},{\vec {c}}\right]](https://wikimedia.org/api/rest_v1/media/math/render/svg/a5516ee4951b687c51ae4fdaf2bd2bfbb4f75d63)
![\left[{\vec {a)],{\vec {b)),{\vec {c}}\right]=\left[{\vec {a)],\left[{\vec {b} },{\vec {c}}\right]\right].](https://wikimedia.org/api/rest_v1/media/math/render/svg/d25ec0ade11817559ae9c35a44c380117a2b764e)
I litteraturen kallas denna typ av produkt av tre vektorer både trippel [1] (enligt antalet vektorer) och dubbel [2] (enligt antalet multiplikationsoperationer).
Egenskaper
Lagranges formel
För dubbelvektorprodukten är Lagrange-formeln giltig:
![{\displaystyle {\Big [}{\vec {a)),{\big [}{\vec {b)],{\vec {c}}{\big ]}{\Big ]}={\vec {a}}\times {\big (}{\vec {b}}\times {\vec {c}}{\big )}={\vec {b}}{\big (}{\vec {a }}\cdot {\vec {c}}{\big )}-{\vec {c}}{\big (}{\vec {a}}\cdot {\vec {b}}{\big )} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/786531cc83fa02005050f0996904731a272479ff)
som kan kommas ihåg enligt mnemonregeln "bang minus tsab" .
Bevis 1Låt oss välja en rätt ortonormal grund så att
Sedan
![\left[{\vec {b)],{\vec {c}}\right]=\left(0,0,-\beta _{2}\gamma _{1}\right),](https://wikimedia.org/api/rest_v1/media/math/render/svg/711d686f29d08b6c0f159c18cde16deafbd28417)
![\left[{\vec {a)],\left[{\vec {b)],{\vec {c}}\right]\right]=\left(-\alpha _{2}\beta _{ 2}\gamma _{1},\alpha _{1}\beta _{2}\gamma _{1},0\right)](https://wikimedia.org/api/rest_v1/media/math/render/svg/64275fc8b28ff088ed73518658feae05fb5dd992)
och
På det här sättet,
Bevis 2 (med Levi-Civita-tensorn )![\left[{\vec {a)],\left[{\vec {b)],{\vec {c}}\right]\right]={\vec {b}}\left({\vec { a}}\cdot {\vec {c}}\right)-{\vec {c}}\left({\vec {a}}\cdot {\vec {b}}\right).](https://wikimedia.org/api/rest_v1/media/math/render/svg/76f8325b29e2087be9e09986648ce21d0031b72d)
En annan version av beviset använder expansionen av korsprodukten när det gäller komponenter som använder Levi-Civita-tensorn :
![{\displaystyle [{\vec {a)],\;{\vec {b))]_{i}=\varepsilon _{ijk}a_{j}b_{k))](https://wikimedia.org/api/rest_v1/media/math/render/svg/f0208d5e804d66cac8d217f91a88608e63326b3c)
(här och nedan utförs summering över upprepade index, d.v.s. se Einsteins summeringskonvention).
![{\displaystyle \left[{\vec {a}},\left[{\vec {b}},{\vec {c}}\right]\right]_{i}=\varepsilon _{ijk}a_ {j}(\varepsilon _{klm}b_{l}c_{m})=\varepsilon _{ijk}\varepsilon _{klm}a_{j}b_{l}c_{m}=(\delta _{ il}\delta _{jm}-\delta _{im}\delta _{jl})a_{j}b_{l}c_{m}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0b0b96f916403ac58e579afcfa4731e0937067ea)
Relationen var är Kronecker-symbolen används . Ytterligare,
![{\displaystyle \left[{\vec {a}},\left[{\vec {b}},{\vec {c}}\right]\right]_{i}=\delta _{il}\ delta _{jm}a_{j}b_{l}c_{m}-\delta _{im}\delta _{jl}a_{j}b_{l}c_{m}=\delta _{il}a_ {m}b_{l}c_{m}-\delta _{im}a_{l}b_{l}c_{m}=a_{m}b_{i}c_{m}-a_{l}b_{ l}c_{i}=b_{i}({\vec {a}}\cdot {\vec {c}})-c_{i}({\vec {a}}\cdot {\vec {b} }).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c60555540b1a6169c2d6355eb0e421d7c3fa5de)
Här används egenskapen för Kronecker-deltat, vilket gör att du kan ersätta indexet över vilket summeringen med deltat utförs: Således,
![{\displaystyle \left[{\vec {a}},\left[{\vec {b}},{\vec {c}}\right]\right]_{i}=b_{i}({\ vec {a}}\cdot {\vec {c}})-c_{i}({\vec {a}}\cdot {\vec {b}}),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee8b5a9b21f31b49743c3e8d3eff66a2ec016f1d)
och genom att gå från komponenterna till hela vektorn får vi den erforderliga relationen.
Jacobi identitet
För dubbelkorsprodukten gäller Jacobi-identiteten:
![{\displaystyle {\big [}{\vec {a)),{\vec {b)],{\vec {c}}{\big ]}+{\big [}{\vec {b)), {\vec {c)),{\vec {a}}{\big ]}+{\big [}{\vec {c}},{\vec {a}},{\vec {b}}{ \big ]}={\vec {0)),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/65448711aa4cd575d4965e41d0803eccf95eb351)
vilket bevisas genom att öppna parenteserna med Lagrange-formeln:
Anteckningar
- ↑ Se till exempel Weisstein, Eric W. Vector Triple Product på Wolfram MathWorld ..
- ↑ Se till exempel M. Ya. Vygodsky, Handbook of Higher Mathematics, Moscow, 1977, sid. 156.
Se även
| Vektorer och matriser | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| Vektorer |
| ||||||||
| matriser |
| ||||||||
| Övrig | |||||||||