距离约束#
在物理引擎中我们常常需要限制两个物体(或者点)之间的相对相对距离，这种效果在现实中就类似拿一根固定长度的刚体丝线连接两个物体上的某个点，这就不得不再次用到约束了。
通过之前《基于冲量的约束求解》这篇文章我们了解到我们只需要写出我们需要的约束方程，然后找出Jacobian矩阵就可以通过之前那篇文章最后导出的公式求解冲量了。接下来我们将介绍解释碰撞约束的约束方程和推导Jacobian矩阵。
距离约束的约束方程#
假设存在两个物体：物体A，物体B。我们要将 物体A 上的点PA连接到 物体B 上的点PB上。
我们的目的是使得这两个点之间的距离（在欧几里得度量下）在某个期望值 d下保持不变。为了实现这一目标，那么我们的位置约束方程可以这么写：
C=(PA−PB)⋅(PA−PB)−d2=0表示的是两个点之间的距离与期望距离相等
事实上还可以这么写
C=(PA−PB)⋅(PA−PB)−d2=0C=(PA−PB)⋅(PA−PB)−d=0C=∥PA−PB∥−d=0上述表示方式都是正确的，选择哪一种取决于具体的应用场景和个人偏好。第一种方式避免了开方运算，在某些数值计算中更为高效；而下面三种种方式则更加直观，直接表达了距离的概念。接下来采用第一种进行推导。
Jacobian矩阵#
还记得我们《物理引擎中的约束》中提到的我们找到位置约束方程后，我们还需要对时间求导，得到速度约束方程。
在这里由于我们只有一个系统所以我们的约束方程退化成了多元函数，Jacobian 矩阵退化成了梯度。
C˙=∂t∂C=∇C⋅[P˙AP˙B]其中
∇C=(∂PA∂C,∂PB∂C)=(2(PA−PB),−2(PA−PB))我们需要将其展开，我们知道
PA=cA+rA,PB=cB+rB其中：
- cA,cB 是物体质心位置
- rA,rB 是点相对于质心的局部偏移
我们知道
P˙A=vA+ωA×rA,P˙B=vB+ωB×rB带入速度约束
C˙=2(PA−PB)⋅P˙A−2(PA−PB)⋅P˙BC˙=2(PA−PB)⋅((vA+ωA×rA)−(vB+ωB×rB))C˙=2(PA−PB)⋅vA+2ωA⋅(rA×(PA−PB))−2(PA−PB)⋅vB−2ωB⋅(rB×(PA−PB))我们将其写成矩阵的形式
C˙=J⋅V=[2(PA−PB)2(rA×(PA−PB))−2(PA−PB)−2(rB×(PA−PB))]vAωAvBωB在带入我们的《物理引擎中的约束》最后的得到的方程我们可以解出冲量