ϕ(r)=rlogr−r+1; integrals use dμr. For τ>0 its unique positive bounded optimizer satisfies
H+Cdyt+τb0logr+ν=0. Put dw=(r/b0)dμr, fˉw=∫fdw/∫dw, f0=f−fˉw,
V=∫t02dw>0, Bf=∫t0f0dw, Af=∫f02dw. These covariance integrals are unnormalized.
For bounded frozen forcing H↦H+αf, with b0,κ,Cd fixed,
With k=b0logr, the same formulas replace f by k for τ response. In particular Fτ=∫b0ϕ(r)≥0 and Fττ≤0. Both inequalities are strict except when r=1,
equivalently H+Cdyˉt is constant, yˉ=∫tdμr. There is no universal sign of yτ.
Also yCd=−yV/(τ+CdV), FCd=y2/2 and FCdCd=−y2V/(τ+CdV). These
are parameter responses, not evolution or an observed pair force. Changes of physical mass that also change
b0,κ need their extra chain-rule terms; varying Cd alone does not compare distinct η
actions.
The zero-entropy endpoint G0 additionally inherits continuous feature potential and full support of the
feature measure from the preceding convex-envelope theorem; bounded measurability alone does not justify a