直交tensorの微分は、反対称tensorの微分と元の直交tensorの積に分解
できる
(2次元の場合)$ \exists\theta;\mathrm{d}\pmb{A}=(\pmb{\epsilon}\mathrm{d}\theta)\cdot\pmb{A}=\pmb{\epsilon}\cdot\pmb{A}\mathrm{d}\theta
任意の2次元2階反対称tensorの微分が$ \pmb\epsilon\mathrm d\thetaとなる
$ \thetaの解まで求まると便利なんだけどなーtakker.icon
(3次元の場合)$ \exists\pmb{\theta};\mathrm{d}\pmb{A}=({\Large\pmb{\epsilon}}\cdot\mathrm{d}\pmb{\theta})\cdot\pmb{A}
$ \pmb{\epsilon}\mathrm{d}\theta,{\Large\pmb{\epsilon}}\cdot\mathrm{d}\pmb{\theta}が反対称tensorになる 導出
$ \pmb{A}\cdot\pmb{A}^\top=\pmb{I}(=\rm Const.)
$ \implies \pmb{0}=\mathrm{d}(\pmb{A}\cdot\pmb{A}^\top)=(\mathrm{d}\pmb{A})\cdot\pmb{A}^\top+\pmb{A}\cdot\mathrm{d}(\pmb{A}^\top)
$ \implies ((\mathrm{d}\pmb{A})\cdot\pmb{A}^\top)^\top=-(\pmb{A}\cdot\mathrm{d}(\pmb{A}^\top))^\top=-(\mathrm{d}\pmb{A})\cdot\pmb{A}^\top
$ \because \mathrm{d}(\pmb{A}^\top)=(\mathrm{d}\pmb{A})^\top
$ \begin{aligned}\implies&\exists\pmb{\Omega};\\&\begin{dcases}\mathrm{d}\pmb{\Omega}&=(\mathrm{d}\pmb{A})\cdot\pmb{A}^\top\\\mathrm{d}\pmb{\Omega}&=-(\mathrm{d}\pmb{\Omega})^\top\end{dcases}\end{aligned}
$ \begin{aligned}\iff&\exists\pmb{\Omega};\\&\begin{dcases}\mathrm{d}\pmb{A}&=(\mathrm{d}\pmb{\Omega})\cdot\pmb{A}\\\mathrm{d}\pmb{\Omega}&=-(\mathrm{d}\pmb{\Omega})^\top\end{dcases}\end{aligned}
$ \iff
(2次元の場合)$ \exists\theta;\mathrm{d}\pmb{A}=(\pmb{\epsilon}\mathrm{d}\theta)\cdot\pmb{A}=\pmb{\epsilon}\cdot\pmb{A}\mathrm{d}\theta
(3次元の場合)$ \exists\pmb{\theta};\mathrm{d}\pmb{A}=({\Large\pmb{\epsilon}}\cdot\mathrm{d}\pmb{\theta})\cdot\pmb{A}
応用例
ある質点が、直交tensor$ \pmb{A}(t)を用いて$ \pmb{r}(t)=\pmb{A}(t)\cdot\pmb{r}(0)と表される運動をしているとする
$ \because|\pmb{r}(t)|^2=(\pmb{A}\cdot\pmb{r}(0))\cdot(\pmb{A}\cdot\pmb{r}(0))=(\pmb{A}\cdot\pmb{A}^\top):\pmb{r}(0)\pmb{r}(0)=\pmb{I}:\pmb{r}(0)\pmb{r}(0)=|\pmb{r}(0)|^2
$ \implies |\pmb{r}|=\rm Const.
そうっぽい
このとき、質点の速度$ \dot{\pmb{r}}は、あるvectorの時間微分係数$ -\dot{\pmb{\theta}}を用いて
$ \dot{\pmb{r}}=\dot{\pmb{A}}\cdot\pmb{r}(0)
$ =({\Large\pmb{\epsilon}}\cdot-\dot{\pmb{\theta}})\cdot\pmb{A}\cdot\pmb{r}(0)
$ =({\Large\pmb{\epsilon}}\cdot-\dot{\pmb{\theta}})\cdot\pmb{r}
$ =\dot{\pmb{\theta}}\times\pmb{r}
と表される。