Manuscript Hawk05-C@1 · Hawk05-C.tex · theorem · ba0719f1
Theorem: Capacity crossover before a positive cutoff
Replacing the clock: compatibility, crossover, and cutoff › A supplied semiclassical clock · lines 977–1010 · proof included or linked
Hawk05-C@1#thm:crossover
For the supplied laws above:
increases strictly and decreases strictly;
there is exactly one crossover in the retained clock interval if and only if
a strict interior turnover occurs if and only if that inequality is strict;
if , the envelope is increasing throughout the interval.
The crossover is a capacity-envelope time, not automatically a physical recovery transition or the exact maximum of a finite Page mean.
Proof. Differentiating gives
The difference starts at , increases strictly in time, and is continuous. The intermediate value theorem proves existence and uniqueness exactly under the endpoint condition. The minimum selects the increasing branch before the crossing and the decreasing branch afterward.
Displayed formulas in this passage
unlabeled · line 985
unlabeled · line 1000