Jarzynski & Crooks Work Fluctuation Theorems

A harmonic trap switches from minimum x=0 to x=d at finite speed. The work distribution P(W) verifies ⟨e^−βW⟩ = e^−βΔF (Jarzynski) and P(W)/P(−W) = e^β(W−ΔF) (Crooks).