A field guide, not a formula dump

Equations with meaning.

Use this page to recover the physical question behind a symbol. Every row names what the equation predicts, the assumptions hidden inside it, and where to derive or test it.

Time evolution

RelationshipPhysical meaning and scopeLearn it
x˙=f(x,t)\dot{x}=f(x,t)The current state and time determine its instantaneous rate under a chosen model.Ch. 1
vn+1=vn+hanv_{n+1}=v_n+h a_n
qn+1=qn+hvn+1q_{n+1}=q_n+h v_{n+1}
Semi-implicit Euler: update velocity before position. First order, often useful for mechanical stability.Ch. 1
E=T+VE=T+VMechanical energy used as a diagnostic when the modeled system should conserve it.Ch. 1

Rigid-body motion

RelationshipPhysical meaning and scopeLearn it
p=mvp=mvLinear momentum for mass mm and COM velocity vv.Ch. 3
τ=r×F\tau=r\times FTorque about a reference point from an off-center force.Ch. 2, 3
L=IωL=I\omegaAngular momentum when inertia and angular velocity are expressed in the same frame.Ch. 3
R˙=[ω]×R\dot{R}=[\omega]_{\times}ROrientation rate under the chapter's world-frame angular-velocity convention.Ch. 3
IW=RIBRTI_W=R I_B R^TRotate a body-frame inertia tensor into world coordinates.Ch. 2

Coordinates and articulated dynamics

RelationshipPhysical meaning and scopeLearn it
vsite=J(q)q˙v_{site}=J(q)\dot qA kinematic Jacobian maps joint velocity into site velocity.Ch. 4
L(q,q˙)=TVL(q,\dot q)=T-VThe Lagrangian combines kinetic and potential energy.Ch. 5
M(q)q¨+c(q,q˙)+g(q)=τM(q)\ddot q+c(q,\dot q)+g(q)=\tauStandard joint-space dynamics grouping inertia, velocity effects, gravity, and applied generalized force.Ch. 5
τ=RNEA(q,q˙,q¨)\tau=\operatorname{RNEA}(q,\dot q,\ddot q)Inverse dynamics: forces required for a requested acceleration.Ch. 6
q¨=ABA(q,q˙,τ)\ddot q=\operatorname{ABA}(q,\dot q,\tau)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

RelationshipPhysical meaning and scopeLearn it
ϕ(q)=0\phi(q)=0A holonomic configuration must remain on its constraint manifold.Ch. 7
J(q)q˙=0J(q)\dot q=0Allowed velocity has no component that changes an ideal bilateral constraint.Ch. 7
v+=v+M1JTλv^+=v^*+M^{-1}J^T\lambdaConstraint impulse changes unconstrained velocity through inverse mass.Ch. 11
A=JM1JTA=JM^{-1}J^TConstraint-space effective mass, including coupling between rows.Ch. 11

Collision and contact

RelationshipPhysical meaning and scopeLearn it
gn0,  λn0,  gnλn=0g_n\ge0,\;\lambda_n\ge0,\;g_n\lambda_n=0Ideal non-penetration: separation gap and pushing reaction cannot both be positive.Ch. 9
jn=(1+e)vnmeff1j_n=-\frac{(1+e)v_n^-}{m_{eff}^{-1}}One-dimensional normal bounce impulse for an approaching contact, before unilateral projection.Ch. 9
hrebounde2hdroph_{rebound}\approx e^2h_{drop}Ideal gravity-only sphere bounce, useful as a scoped restitution check.Ch. 9

Friction limits

RelationshipPhysical meaning and scopeLearn it
λtμλn\lVert\lambda_t\rVert\le\mu\lambda_nCoulomb friction disk: legal tangent impulse grows with normal support.Ch. 10
tanθc=μs\tan\theta_c=\mu_sIdeal block-on-incline threshold before static friction can no longer hold.Ch. 10
P=Fv+τωP=F\cdot v+\tau\cdot\omegaInstantaneous mechanical power; dissipative friction should not add energy in its modeled direction.Ch. 10

Complementarity and iteration

RelationshipPhysical meaning and scopeLearn it
w=Aλb0,  λ0,  λTw=0w=A\lambda-b\ge0,\;\lambda\ge0,\;\lambda^Tw=0Linear complementarity form of a linearized unilateral solve.Ch. 11
λiΠΩi(λi+(biAi:λ)/Aii)\lambda_i\leftarrow\Pi_{\Omega_i}(\lambda_i+(b_i-A_{i:}\lambda)/A_{ii})Projected Gauss–Seidel row update onto the legal set Ωi\Omega_i.Ch. 11
xk+1=FN(xk,uk)x_{k+1}=F^N(x_k,u_k)One control step as NN ordered physics substeps with held command.Ch. 12

Symbol and unit conventions

SymbolMeaningSI unit
q,v,aq,v,aposition, linear velocity, linear accelerationm, m/s, m/s²
R,ω,αR,\omega,\alpharotation, angular velocity, angular accelerationunitless, rad/s, rad/s²
m,Im,Imass and inertia tensorkg, kg·m²
F,τ,j,λF,\tau,j,\lambdaforce, torque, impulse, constraint force/impulse by contextN, N·m, N·s, declared per equation
h,Δth,\Delta ttimesteps
e,μe,\murestitution and friction coefficientunitless