定義
剛體(rigid body),是指在完整約束作用下,內部任意成對質點在運動過程中間距始終保持常數的質點組。
剛體是一種理想模型。
剛體的旋轉運動是剛體運動學的核心內容,它為關于矢量的時間變化率在慣性參考系與旋轉參考系之間關系的研究做了鋪墊。
剛體的自由度
在三維空間中,一個由
質點表示的剛體最多可以擁有
個自由度。在很多時候,由于約束方程的存在,剛體實際的自由度是小于
的。
正如定義里提到,剛體內部的約束通常都是完整的,它們具有形式:
其中兩個下指標
和
分別表示第
個質點和第
個質點。
則表示一個固定常數,對于不同的指標(不同的質點對),該常數可能改變,但并不與剛體的定義沖突,因為我們所定義的“常數”通常是指那些不會隨時間變化的量。
由于
,不難得出,形如上述的方程該一共有
個。
按照慣性思維,若系統存在約束,
坐標間則存在依賴關系,那么獨立坐標的個數該是
減去約束方程的個數,所以對于剛體,該有
這個看似正確的推論其實是錯誤的。因為當
時,它會變成一個負數,很明顯不滿足。
原因在于,這
個約束條件并非全是獨立的,它們中的很多其實都是多余的,所以找出一個能夠將多余約束條件消去的關系就成了找出剛體獨立坐標個數的關鍵。
如圖,假設非共線的三質點
的間距
,
和
均已知,接下來只要再知道第四點
分別與前三點的間距,四點所構成的三棱錐每條邊都將是已知量,那么之后便可根據基本幾何原理,唯一地確定點
的位置。由于
是任意的,所以只要知道剛體內非共線三點的間距,便能夠唯一確定其它任意點的位置。
這樣一來,
個質點其實只需要
個,所以剛體的實際自由度該不得超過
,也就是
。
而這三個非共線質點的位置是相互依賴的,有約束方程
于是這三個方程又將剛體的自由度進一步地減少為了
所以確定剛體內一個質點的位置所需要用到的坐標數該是
。
無論一個剛體由多少個質點構成,只需要
個坐標便可以完全確定其位形。
同樣的結論也可通過單純地考慮“非共線三點即可確定剛體內其它所有質點位置”得到:
在三維空間想要確定任意一個點,需要
個坐標沒有異議。但如果這時加入第二個點,由于兩點間存在剛體的約束條件,它們的間距必須是個定值,所以點二只有可能在一個以點一為中心的球面上運動,進而需要
個坐標。最后,一旦兩個點都已確定,第三個點就只能繞著一條貫穿之前兩點的軸轉動,故只需要
個坐標。所以總的坐標個數:
。
當系統存在除剛體的剛性約束以外的其它約束條件時,剛體自由度還將會被進一步減少。
獨立坐標的分配
如圖,剛體的位置可由一個建立在其內部,相對外界參考系
的
參考系完全確定。
有時候,我們也將位于剛體內部的
參考系稱為局部參考系,將位于外部的
參考系稱為全局參考系。通常,全局參考系是不會動的。
所以確定
與
的相對位置,需要用到
個坐標;又因為剛體自身的幾何位置,剩下的
個坐標則需用來確定參考系
與
之間的相對方向。
相對方向的確定
參考系
和
的相對方向最有效的一種表示法是使用這兩組不同坐標系的坐標軸之間的方向余弦(direction cosine)。
在解析幾何中,一個矢量的三個方向余弦是該矢量與三條坐標軸之間角度的余弦。兩個矢量的方向余弦則是這兩個矢量夾角的余弦。
將
平移使得兩個坐標系原點重合。根據方向余弦的定義,由于基矢量均是單位長度
其中,夾角
的第一個下指標對應
參考系的基矢量,第二個下指標對應了
參考系的基矢量。
方向余弦可被用來表示這兩組基矢量之間的關系。
設基
張成的空間為
,基
張成的空間為
。根據投影公式,有
同理,可以得到一組相反關系
方向余弦同樣可被直接用來表示某點在這兩組參考系的坐標之間的關系。
對于任意矢量
,有
于是
或者相反關系
可見,如果固定剛體內部的
參考系,在剛體的運動中,這
個方向余弦將會是剛體方向隨時間變化的函數。每一個方向余弦都描述了剛體在空間中某一時刻相對于另一個原點重合的參考系的瞬時方向。由于我們僅需要
個方向坐標便可完全確定剛體的方向,所以這
個方向余弦并非全部都是獨立的。
為消去多余的方向余弦,需找出方向余弦之間的關系。
由于兩組基矢量均為標準正交,有
另一組基矢量間也具有相同的關系
用
表示
參考系的基矢量(
,
,
),用
表示
參考系的基矢量(
,
,
),可將之前得到的兩組基矢量之間的關系寫成更為緊湊的形式
同理
將上面三個方程合并
求基矢量長度的平方
又根據基矢量之間標準正交的特性,有
結果是一個二階張量,或者
的單位矩陣。它與克羅內克符號(Kronecker delta)有相似特點,即
可以得到關系
于是,
(1)當
時,
,
為活指標,該等式表示了
個方程。
(2)當
時,
,
均為活指標,該等式表示了
個方程。
所以等式總共表示了
個方程,這六個方程組成了
個約束條件,可以被用來消去多余方向余弦。
所以,實際獨立的方向余弦個數為
,即,我們只需要
個獨立方向坐標,即可完全確定剛體的方向。
需要注意的是,在微分幾何中,
本身嚴格意義上來講并非克羅內克符號
,但它與克羅內克符號的關系可通過調整上下指標來得到
其中
是協變度規張量。
可見,只有對于標準正交基(比如笛卡爾坐標系),二者才相等。這也是許多教材對這兩者不做區分的原因。