22.1. 刚体动力学#

在力学中,刚体是一个理想化的物理模型,我们对这个模型的基本假设是它不会产生任何形变;用更严谨的说法讲,刚体是一种任意两个质点之间的距离在运动过程中保持不变的物体。生活中我们遇到的一些比较坚硬的物体都不是刚体,因为它们在受力时总会产生微小的形变,只不过肉眼看不到——严格来讲它们应该属于劲度(stiffness)很强的弹性体。事实上,物体只有发生形变才可能产生抵抗的作用力,在力学中刚体的受力情况其实是取物体形变程度趋于零的极限得到的。

22.1.1. 刚体的运动#

../../_images/animation-rigid_bodies-rigid_motion.png

图 22.1 坐标系的选择以及刚性运动的描述#

§21.2 中我们已经了解了什么是刚性运动(还记得超弹性体的能量要满足刚性运动下的不变性吗?),即只包含平移和旋转的运动。事实上,这个结论可以从刚体的定义推导出来。接下来,如图 22.1 所示,我们将参考构型下刚体的质心为原点构造直角坐标系,并且选取质心为参考点(即刚体在任一时刻的旋转都认为是关于质心的旋转),那么参考构型下的任意一点 X 与刚体经过一系列运动后该点位置 x 的关系可以表示为

(22.1)#x(t)=R(t)X+c(t)

其中 R 是旋转矩阵,c 是运动后刚体的质心;这里我们将和运动时间 t 有关的量写成了函数的形式。通过式 (22.1) 我们自然可以想到,如果需要刻画刚体的运动,需要分别研究好 c(t)R(t),它们分别对应于刚体的平动和转动。

22.1.1.1. 刚体的平动#

刚体的平动完全由质心的运动刻画,我们可以直接将整个刚体看成位置与质心重合的质点,因此刚体平动的速度 v 与质心位置的关系是 v=c˙

22.1.1.2. 刚体的转动#

由刚体的定义可以推出任意两点在任一时刻的相对速度与它们的相对位置正交,利用这个结论,我们可以证明绕定点转动的刚体一定存在唯一一个过该点的转动瞬轴(instantaneous axis),即在其上的任一质点速度为 0 的轴。证明方法可以参考 [00],大体思路就是找到刚体上两个具有不平行速度的质点,过它们分别作两个垂直于速度方向的平面,交线就是转动瞬轴,如图 22.2 所示。

../../_images/animation-rigid_bodies-instantaneous_axis.png

图 22.2 通过刚体质点的速度确定转动瞬轴:取两个速度方向不平行的质点 AB,过 A 作垂直于 vA 的平面 PA,过 B 作垂直于 vB 的平面 PBPAPB 的交线即为转动瞬轴。#

如果我们将刚体每一时刻的位置都统一减去质心的位置,那么剩下的部分就是刚体绕质心的转动,在每一时刻都存在一个转动瞬轴。借助“任意两点在任一时刻的相对速度与它们的相对位置正交”这个结论,读者不难推理出刚体每个质点上的速度构成的速度场就是围绕着转动瞬轴的涡,并且速度的大小与质点到转动瞬轴的位置成正比。

提示:证明刚体质点速度的性质

由于任意两点在任一时刻的相对速度与它们的相对位置正交,且转动瞬轴上所有质点的速度均为 0,读者可以尝试证明:任意一个不在转动瞬轴上质点的速度必然垂直于转动瞬轴与质点质心连线张成的平面,由此可以立即得到速度场是绕着转动瞬轴的旋转。

../../_images/animation-rigid_bodies-velocity_length.png

图 22.3 在垂直于转动瞬轴的平面 PC 上证明速度的大小与到轴的距离成正比#

若希望证明速度的大小与质点到转动瞬轴的位置成正比,我们可以只在过质心与转动瞬轴垂直的平面 PC 上证明此结论,对于空间中的其他点,其速度等于该点在 PC 上投影点处的速度。如图 22.3,设质心为点 C,在 PC 上再取两点 AB 使得 ABC 不共线,记向量 CACB 分别为 rArBAB 的速度分别为 vAvB,那么我们有

rAvA=rBvB=0(rArB)(vAvB)=0

其中 表示向量的内积。通过这些等式可以立即得到

rAvB=rBvA

这等价于

rAvBcosrA,vB=rBvAcosrB,vA

由于 rArB 不共线,所以等式两边的三角函数必不为零,再利用 rAvA 垂直、rBvB 垂直且等式两边三角函数必须反号,读者不难推出 cosrA,vB=cosrB,vA,于是得出向量模长的关系 rArB=vAvB,这也正是我们希望证明的速度大小的关系。

到这里读者不难发现,刚体上所有质点的速度的总自由度其实很少,我们只需要知道转动瞬轴的方向,以及一个能够表示速度大小的量,就能够还原出整个刚体的转动速度。角速度(angular velocity)便是这样一个描述刚体转动有多快的量,它是一个三维矢量,记为 ω;其方向与转动瞬轴平行,刚体的转动方向遵循右手定则,即当 ω 指向自身时看到的刚体是逆时针转动的;其大小又记为不加粗的 ω,表示刚体每秒钟旋转的圈数,单位为秒的负一次方(s1),因此角速度又称为角频率向量(angular frequency vector)。

通过上述对刚体质点上速度的研究,我们不难证明:若刚体质心固定,对于任一质点,设质心到该点的向量为 r,则该点的速度为 ω×r。这也对应于式 (22.1) 中旋转部分的速度,即

(22.2)#R˙X=ω×(xc)=ω×(RX)

22.1.2. 刚体力学#

我们已经建立的刚体的状态(位置和方向)与速度和角速度之间的关系,接下来将会继续了解速度与角速度如何受外力的影响。

22.1.2.1. 力影响速度#

刚体平动的加速度(也即质心的加速度)乘以刚体的质量就等于其所受的合外力,即

(22.3)#mv˙=mc¨=F

其中 m 表示刚体的质量,F 表示其受到的合外力。式 (22.3) 的形式非常像牛顿第二定律,但二者并不能混为一谈,感兴趣的读者可以阅读以下对该式的证明。

Proof. 为了方便推理,我们将刚体近似成由 N 个质点组成的质点系统,并且所有的外力只会作用在质点上。我们分别记质点 i 的质量、位移、受到的外力为 mixifi。另外,为了保持任意两个质点间的距离不变,质点之间还会存在内力,记质点 i 受到质点 j 作用的力为 fijinner,由牛顿第三定律可知 fijinner+fjiinner=0

首先,由质心的定义 c=1miNmixi 等式两边分别对时间求二阶导数可以得到

mc¨=iNmix¨i

对每个质点应用牛顿第二定律,并考虑到质点 i 所受的力为其所受的外力以及其余质点作用于它的内力,上式可继续变化:

mc¨=i=1Nmix¨i=i=1N(fi+jifijinner)=i=1Nfi+i=1Nj=i+1N(fijinner+fjiinner)=F

22.1.2.2. 力矩影响角速度#

为了描述力如何影响角速度,我们需要先引入力矩(torque)的概念,因为只有力矩才能与角速度的变化率建立直接关系。

Definition 22.1 (力矩)

设力 F 的作用点为 A,选取参考点 O,记向量 OAr,则 F 的力矩为

τ=r×F

力矩与角速度变化率的关系也可以表示成类似式 (22.3) 的形式,但在此前我们还需要引入惯性张量(inertia)的概念。

Definition 22.2 (惯性张量)

选取参考点 O,其位置记为 xO

对于一个连续介质刚体而言,设其占据的区域为 Ω,则它的惯性张量为

I=Ω(r2Irr)ρdx

其中 r=xxO 表示 O 到位置 x 的位移矢量,ρ 为定义在 Ω 上的刚体的密度场。

对于 N 个点的质点系统而言,设质点 i 的质量为 miO 到质点 i 的位移为 ri,则该质点系统的惯性张量为

I=i=1Nmi(ri2Iriri)

现在我们选取参考点为刚体的质心,那么对于刚体中的任一位置 x,其关于参考点的相对位移 r=xc=RX(见式 (22.1)),所以只要我们知道参考构型下刚体的惯性张量 Iref,就可以求得 t 时刻下刚体的惯性张量:

I(t)=Ω(t)(r(t)2Ir(t)[r(t)])ρ(x,t)dx=Ωref(R(t)X2IR(t)XX[R(t)])ρref(X)dX=R(t)(Ωref(X2IXX)ρref(X)dX)[R(t)]=R(t)Iref[R(t)]

这里我们使用了 ref 下标表示参考构型下的量,并且也将和时间有关的量显式地表示成了关于 t 的函数,第二个等号用到了换元法以及 dx=d(RX+c)=dX 这个体积微元的旋转和平移不变性的关系。这个结论对于质点系统同样有效,读者不妨自行证明。

在力矩与角速度变化率的关系可以表示为

(22.4)#Iω˙=τω×Iω

其中 τ=iτi 为总力矩。我们同样可以借助质点系统对式 (22.4) 进行证明,感兴趣的读者可以阅读。

Proof. 我们继续使用上一个证明中的记号,另外记 vi=x˙iai=x¨i。选取质心为参考点,并记 ri=xic 为质点 i 相对质心的位移。那么质点 i 所受外力力矩为 τi=ri×fi,质点系统的角动量(angular momentum)为

(22.5)#J=i=1Nri×mivi

将式 (22.5) 两边对时间求导可得

J˙=ddti=1N(xic)×mivi=i=1N(viv)×mivi+ri×miai=i=1Nvi×mivi+v×i=1Nmivi+i=1Nri×miai=i=1Nri×(fi+jifijinner)=i=1Nτi+i=1Nj=i+1N(ri×fijinner+rj×fjiinner)=i=1Nτi+i=1Nj=i+1N(rirj)×fijinner=τ

其中最后一步是因为两个质点之间的内力必然沿两点连线的方向。

将式 (22.1) 两边对时间求导,再利用式 (22.2) 可得 vi=v+ω×ri,将此代入式 (22.5) 可得

J=i=1Nri×mi(v+ω×ri)=(i=1Nmiri)×v+i=1Nmiri×(ω×ri)=i=1Nmi[(riri)ω(riω)ri]=(i=1Nmi(ri2Iriri))ω=Iω

其中第二行等号后的 i=1Nmiri=0ri×(ω×ri)=(riri)ω(riω)ri 这个等式关系读者可以自行验证。上式的形式与动量与速度的关系 p=mv 在形式上十分相似,角动量 J 与动量 p 相对应,角速度 ω 与线速度 v 相对应,惯性张量 I 充当的就是质量 m 的角色。将上式的两边对时间求导可得

τ=J˙=I˙ω+Iω˙=Iω˙+(R˙IrefR+RIrefR˙)ω=Iω˙+([ω]II[ω])ω=Iω˙+ω×Iω

其中 [ω]=[0ωzωyωz0ωxωyωx0]ω 的叉乘矩阵,对于任一三维向量 y[ω]y=ω×y;第三个等号我们用了旋转矩阵的导数 R˙=[ω]R,这可以借助式 (22.2) 通过 X 的任意性推导出来。由此可立即得出式 (22.4)

22.1.3. 刚体模拟的时间积分算法#

我们在本节中通过列出刚体模拟的时间积分算法对上述介绍的结论进行总结。在模拟过程中需要维护的量包括刚体质心的位置 c、平动速度 v、旋转矩阵 R 以及角速度 ω,此外我们需要知道或者与计算得到的量包括时间步长 h、刚体的质量 m 以及参考构型下的惯性张量 Iref。那么在每个时间步需要依次执行以下步骤:

  1. 计算外力 F=ifi 和外力矩 τ=i(RXi)×fi

  2. 更新速度:vv+hmF

  3. 更新质心位置:cc+hv

  4. 计算的当前惯性张量 I=RIrefR

  5. 更新角速度:ωω+hI1(τω×Iω)

  6. 更新旋转矩阵:Rrotvec_to_matrix(hω)R

在第 5 步我们需要求惯性张量的逆,首先对于体积非零的刚体而言 I 一定可逆,其次 I 是一个 3×3 的矩阵,求逆运算的开销不会很大,并且可以预计算出 Iref1,并利用 I1=RIref1R 避免每个时间步都求一次逆。在第 6 步中的 rotvec_to_matrix() 运算可以参考 §19.1 中各种旋转表示之间的转换,注意这里不用 R˙=[ω]R 的离散化形式是为了避免修改 R 后不再是旋转矩阵。