有限轉(zhuǎn)動
為了尋找一種用轉(zhuǎn)動參量(轉(zhuǎn)動角度付呕、方向余弦)表示的坐標(biāo)變換表征延曙,讓我們先考慮順時針方向的主動有限旋轉(zhuǎn)芹务。
如上圖所示蝉绷,矢量
順時針經(jīng)過有限角度
后變成了矢量
。
將
定義為沿轉(zhuǎn)軸
方向的單位矢量枣抱,不難得出
根據(jù)一些簡單的幾何關(guān)系熔吗,其它的矢量也可使用
和
一并表示:
于是,轉(zhuǎn)動后的矢量
可表示為
代入相關(guān)量后可以得到
這是有限角度的矢量轉(zhuǎn)動公式(rotation formula)佳晶,對任何旋轉(zhuǎn)皆有效桅狠,無論角度多大。
轉(zhuǎn)動角度
與歐拉角之間的關(guān)系可以通過考慮轉(zhuǎn)動算子的跡在變換前后均不變得到:
由于當(dāng)
,
中跌,去平方后等式右邊為正咨堤,所以
無限微小轉(zhuǎn)動
因為存在多次不同轉(zhuǎn)動的變換矩陣是由矩陣乘法連接,矩陣乘法運算不具有對易性漩符,因此一喘,除了此時的轉(zhuǎn)動為無窮小的情況,轉(zhuǎn)動變換是通常無法使用矢量來表征的嗜暴。
考慮被動轉(zhuǎn)動變換(順時針)凸克,轉(zhuǎn)動角度取無窮小,變換前后矢量的坐標(biāo)的變化僅保留到一階小量:
抽象指標(biāo)形式
矩陣形式
其中
是無窮小算子
微小轉(zhuǎn)動的情況不受矩陣乘法運算不對易問題的影響闷沥,因為矩陣加法具有對易性萎战,所以現(xiàn)在矩陣
對易:
所以微小轉(zhuǎn)動算子可以用矢量來表征。
(例)使用泰勒展開并只保留一階項舆逃,可以得到含歐拉角的無限微小轉(zhuǎn)動矩陣
根據(jù)剛體運動學(xué)(5)撞鹉,將
代入本征方程,可以得到關(guān)于轉(zhuǎn)軸的方向余弦
取
颖侄,解得
矩陣
的逆矩陣
證明很簡單:
根據(jù)
的正交性鸟雏,
可見,無窮小算子
是一個反對稱矩陣
若
览祖,反對稱矩陣的對角元必須為零孝鹊。
若
,總共可以有
個不同的矩陣元展蒂,不妨將無窮小算子記為如下形式:
物理量
又活,
,
組成矢量
對于位矢的無限微小轉(zhuǎn)動
定義位矢在參考系的微小轉(zhuǎn)動下坐標(biāo)的變化
可見锰悼,等式右側(cè)可表示為兩個矢量的叉乘
位矢
的正交變換為
矢量
的正交變換與位矢
的變換在形式上相似柳骄,
其中
為變換矩陣
的行列式。
矢量
的特征可從有限轉(zhuǎn)動公式得到箕般。
在無限微小極限下耐薯,角度
,
丝里,
曲初,轉(zhuǎn)動公式變?yōu)?/p>
于是
可見,矢量
總是沿轉(zhuǎn)軸方向杯聚。
三維坐標(biāo)反演矩陣通常具有形式
根據(jù)矢量在坐標(biāo)反演下表現(xiàn)出的不同性質(zhì)臼婆,可將矢量分為極矢量(polar vector)和軸矢量/偽矢量(axial vector/pseudo-vector)
(1)極矢量是變換形如
這一類的矢量。大部分矢量幌绍,如位矢及其關(guān)于時間的微商等均屬于極矢量颁褂。極矢量在坐標(biāo)反演下會改變符號故响。
設(shè)宇稱算子為
,它執(zhí)行坐標(biāo)反演
那么對于極矢量
颁独,則有
(2)最簡單的一類偽矢量由兩個極矢量的叉乘產(chǎn)生:
而
可見彩届,偽矢量在反演下不改變符號
偽矢量的變換遵循
根據(jù)剛體運動學(xué)(2),正交矩陣的行列式
奖唯。
如果是常規(guī)正交變換惨缆,
,
那么極矢量與偽矢量的變換具有相同形式丰捷。
剛才提到過坯墨,矢量
遵循上述變換規(guī)律,所以是一個偽矢量病往。
對于兩種矢量的點積捣染,有
所以對于標(biāo)量,我們同樣可以沿用定義停巷,將變換方式形如
的標(biāo)量稱為偽標(biāo)量(pseudo-vector)
一個偽標(biāo)量與一般標(biāo)量的乘積仍是一個偽標(biāo)量
一個偽標(biāo)量與偽矢量的乘積是一個極矢量
從下列關(guān)系也可以證明
是一個偽矢量:
由于
均為極矢耍攘,
符合偽矢量的定義。
記號
由于許多表達(dá)式涉及到兩個矢量間的叉乘積畔勤,為了方便表示蕾各,引入置換符號(permutation symbol)/列維齊維塔密度(Levi-Civita density)
在張量分析中,由于置換符號并非嚴(yán)格遵循張量變換(這里主要指正交變換)但具有相似形式庆揪,人們將其稱為相對張量(relative tensor)式曲,比如矢量
就是一個一階相對張量。
著名的列維齊維塔符號(Levi-Civita symbol)是一個絕對張量(absolute tensor)缸榛,二者之間的關(guān)系為
其中
是體積元(volume element)吝羞。
使用置換符號,兩個矢量
的叉乘可以表示為
總結(jié)
接下來是逆時針方向的主動轉(zhuǎn)動變換的公式總結(jié)内颗。
轉(zhuǎn)動公式
(注意與順時針轉(zhuǎn)動公式的區(qū)別)
無限小轉(zhuǎn)動:
钧排,
,
無限小算子
為反對稱矩陣均澳,使用關(guān)系
恨溜,可將其表示為
對于無限小轉(zhuǎn)動變換,
负懦,
其中
是一個反對稱矩陣筒捺,
另一種比較有用的表征為
其中
是無限小轉(zhuǎn)動生成算子(infinitesimal rotation generator),它們分別為
纸厉,
,
這些生成算子之間具有性質(zhì)
對易子
也屬于李括號(Lie bracket)五嫂,因此用來定義含轉(zhuǎn)動參量的旋轉(zhuǎn)群群的李代數(shù)颗品。