Manuscript Hawk02-A@1 · Hawk02-A.tex · proposition · 7fbae745
Proposition: Adiabatic diagnostic
Stage 1: the fixed-background comparison object › Power and the quasistatic ledger · lines 443–469 · proof included or linked
Hawk02-A@1#prop:adiabatic, Hawk02-A@1#eq:adiabatic
For a differentiable mass ledger satisfying ,
If for a fixed , then
only up to the declared stopping time.
Proof. Differentiate and substitute the ledger equation. The cubic formula follows by differentiating .
Displayed formulas in this passage
Hawk02-A@1#eq:adiabatic · line 447
unlabeled · line 458