Jarzynski-Jensen: exp(-beta<W>) <= <exp(-betaW)> = exp(-beta*dF); hence <W> >= dF

Layer 1 — Physicsin the quantum-thermodynamics subtree

Jarzynski-Jensen second-law corollary. From framework F8, combine Jensen's convexity inequality E[exp(-X)] >= exp(-E[X]) with Jarzynski's equality E[exp(-beta*W)] = exp(-beta*delta-F). Deduction: exp(-beta*delta-F) >= exp(-beta*E[W]),…

Related concepts

Jarzynski-via-Jensen second-law corollary: <W> >= dF (Jensen on convex exp(-x))

Explore Jarzynski-Jensen: exp(-beta*<W>) <= <exp(-beta*W)> = exp(-beta*dF); hence <W> >= dF on the interactive knowledge graph →