Time evolution
| Relationship | Physical meaning and scope | Learn it |
|---|
| x˙=f(x,t) | The current state and time determine its instantaneous rate under a chosen model. | Ch. 1 |
vn+1=vn+han qn+1=qn+hvn+1 | Semi-implicit Euler: update velocity before position. First order, often useful for mechanical stability. | Ch. 1 |
| E=T+V | Mechanical energy used as a diagnostic when the modeled system should conserve it. | Ch. 1 |
Rigid-body motion
| Relationship | Physical meaning and scope | Learn it |
|---|
| p=mv | Linear momentum for mass m and COM velocity v. | Ch. 3 |
| τ=r×F | Torque about a reference point from an off-center force. | Ch. 2, 3 |
| L=Iω | Angular momentum when inertia and angular velocity are expressed in the same frame. | Ch. 3 |
| R˙=[ω]×R | Orientation rate under the chapter's world-frame angular-velocity convention. | Ch. 3 |
| IW=RIBRT | Rotate a body-frame inertia tensor into world coordinates. | Ch. 2 |
Coordinates and articulated dynamics
| Relationship | Physical meaning and scope | Learn it |
|---|
| vsite=J(q)q˙ | A kinematic Jacobian maps joint velocity into site velocity. | Ch. 4 |
| L(q,q˙)=T−V | The Lagrangian combines kinetic and potential energy. | Ch. 5 |
| M(q)q¨+c(q,q˙)+g(q)=τ | Standard joint-space dynamics grouping inertia, velocity effects, gravity, and applied generalized force. | Ch. 5 |
| τ=RNEA(q,q˙,q¨) | Inverse dynamics: forces required for a requested acceleration. | Ch. 6 |
| q¨=ABA(q,q˙,τ) | Tree forward dynamics without constructing and factorizing the dense mass matrix. | Ch. 6 |
Architecture boundary: these generalized-coordinate equations explain common robotics algorithms. LavenderSim's current native engine instead stores Cartesian body state and enforces articulation with joint constraints and sequential impulses.
Constraint equations
| Relationship | Physical meaning and scope | Learn it |
|---|
| ϕ(q)=0 | A holonomic configuration must remain on its constraint manifold. | Ch. 7 |
| J(q)q˙=0 | Allowed velocity has no component that changes an ideal bilateral constraint. | Ch. 7 |
| v+=v∗+M−1JTλ | Constraint impulse changes unconstrained velocity through inverse mass. | Ch. 11 |
| A=JM−1JT | Constraint-space effective mass, including coupling between rows. | Ch. 11 |
| Relationship | Physical meaning and scope | Learn it |
|---|
| gn≥0,λn≥0,gnλn=0 | Ideal non-penetration: separation gap and pushing reaction cannot both be positive. | Ch. 9 |
| jn=−meff−1(1+e)vn− | One-dimensional normal bounce impulse for an approaching contact, before unilateral projection. | Ch. 9 |
| hrebound≈e2hdrop | Ideal gravity-only sphere bounce, useful as a scoped restitution check. | Ch. 9 |
Friction limits
| Relationship | Physical meaning and scope | Learn it |
|---|
| ∥λt∥≤μλn | Coulomb friction disk: legal tangent impulse grows with normal support. | Ch. 10 |
| tanθc=μs | Ideal block-on-incline threshold before static friction can no longer hold. | Ch. 10 |
| P=F⋅v+τ⋅ω | Instantaneous mechanical power; dissipative friction should not add energy in its modeled direction. | Ch. 10 |
Complementarity and iteration
| Relationship | Physical meaning and scope | Learn it |
|---|
| w=Aλ−b≥0,λ≥0,λTw=0 | Linear complementarity form of a linearized unilateral solve. | Ch. 11 |
| λi←ΠΩi(λi+(bi−Ai:λ)/Aii) | Projected Gauss–Seidel row update onto the legal set Ωi. | Ch. 11 |
| xk+1=FN(xk,uk) | One control step as N ordered physics substeps with held command. | Ch. 12 |
Symbol and unit conventions
| Symbol | Meaning | SI unit |
|---|
| q,v,a | position, linear velocity, linear acceleration | m, m/s, m/s² |
| R,ω,α | rotation, angular velocity, angular acceleration | unitless, rad/s, rad/s² |
| m,I | mass and inertia tensor | kg, kg·m² |
| F,τ,j,λ | force, torque, impulse, constraint force/impulse by context | N, N·m, N·s, declared per equation |
| h,Δt | timestep | s |
| e,μ | restitution and friction coefficient | unitless |