Bevy_xpbd物理引擎中完美弹性碰撞的实现问题分析

问题背景

在使用Bevy_xpbd物理引擎进行2D物理模拟时，开发者发现了一个关于完美弹性碰撞的有趣现象。当尝试实现一个无限弹跳的小球时，即使设置了完全弹性碰撞（restitution=1.0），小球的弹跳高度仍然会逐渐衰减，无法实现理论上的无限弹跳效果。

问题重现

开发者创建了一个简单的测试场景：

1. 一个动态小球（质量为1.0）
2. 一个静态地板
3. 重力设置为98.1（Y轴负方向）

所有碰撞体都设置了：

• 摩擦系数为0
• 恢复系数为1.0（完美弹性碰撞）
• 使用SweptCCD防止穿透

现象观察

通过日志记录每次碰撞的数据，发现了一些规律：

1. 每次碰撞后，小球的垂直速度都会减少约0.81739
2. 碰撞冲量与初始速度之间存在约0.02554的差值
3. 这种能量损失非常稳定，直到最后一次碰撞时突然加倍

临时解决方案

开发者发现可以通过调整恢复系数来补偿这种能量损失：

• 当重力为98.1时，将恢复系数设为1.006249599073可实现稳定弹跳
• 但这种方法在不同重力条件下需要不同的补偿值，不具备普适性

根本原因分析

经过深入研究，发现问题出在"推测性碰撞"(Speculative Collision)机制上。推测性碰撞是一种防止物体穿透的技术，它会预先计算并施加一个预测性冲量。虽然这能有效防止穿透，但副作用是会吸收部分碰撞能量，从而影响恢复系数的准确性。

最终解决方案

有两种方法可以解决这个问题：

1. 禁用推测性碰撞：

   • 将SpeculativeMargin设置为0
   • 对于使用SweptCCD的简单场景，通常不需要推测性碰撞

2. 全局禁用推测性碰撞：

   • 设置NarrowPhaseConfig::default_speculative_margin为0
   • 适用于完全不需要推测性碰撞的场景

技术建议

1. 对于简单碰撞场景，使用SweptCCD通常就足够了
2. 在复杂场景中（如链式反应碰撞），可以同时启用SweptCCD和推测性碰撞
3. 需要精确控制碰撞能量时，应特别注意推测性碰撞的影响
4. 不同重力条件下可能需要不同的参数调整

结论

物理引擎中的各种碰撞检测机制都有其设计目的和适用场景。理解这些机制的工作原理和相互影响，对于实现预期的物理效果至关重要。在Bevy_xpbd中实现完美弹性碰撞时，合理配置CCD和推测性碰撞参数是关键所在。