Contents · Previous · Next

ϕ(r)=rlog⁡r−r+1\phi(r)=r\log r-r+1; integrals use dμrd\mu_r. For τ>0\tau>0 its unique positive bounded optimizer satisfies H+Cdyt+τb0log⁡r+ν=0H+C_dyt+\tau b_0\log r+\nu=0. Put dw=(r/b0)dμrdw=(r/b_0)d\mu_r, fˉw=∫f dw/∫dw\bar f_w=\int f\,dw/\int dw, f0=f−fˉwf_0=f-\bar f_w, V=∫t02dw>0V=\int t_0^2dw>0, Bf=∫t0f0dwB_f=\int t_0f_0dw, Af=∫f02dwA_f=\int f_0^2dw. These covariance integrals are unnormalized. For bounded frozen forcing H↦H+αfH\mapsto H+\alpha f, with b0,κ,Cdb_0,\kappa,C_d fixed,

yα=−Bfτ+CdV,rα=−rτb0[f0−CdBft0τ+CdV],Fαα=−1τ[Af−CdBf2τ+CdV]≤0. y_\alpha=-\frac{B_f}{\tau+C_dV},\quad r_\alpha=-\frac r{\tau b_0}\left[f_0-\frac{C_dB_ft_0}{\tau+C_dV}\right],\quad \mathcal F_{\alpha\alpha}=-\frac1\tau\left[A_f-\frac{C_dB_f^2}{\tau+C_dV}\right]\le0.

With k=b0log⁡rk=b_0\log r, the same formulas replace ff by kk for τ\tau response. In particular Fτ=∫b0ϕ(r)≥0\mathcal F_\tau=\int b_0\phi(r)\ge0 and Fττ≤0\mathcal F_{\tau\tau}\le0. Both inequalities are strict except when r=1r=1, equivalently H+CdyˉtH+C_d\bar y t is constant, yˉ=∫t dμr\bar y=\int t\,d\mu_r. There is no universal sign of yτy_\tau. Also yCd=−yV/(τ+CdV)y_{C_d}=-yV/(\tau+C_dV), FCd=y2/2\mathcal F_{C_d}=y^2/2 and FCdCd=−y2V/(τ+CdV)\mathcal F_{C_dC_d}=-y^2V/(\tau+C_dV). These are parameter responses, not evolution or an observed pair force. Changes of physical mass that also change b0,κb_0,\kappa need their extra chain-rule terms; varying CdC_d alone does not compare distinct η\eta actions.

For g=H+Cdyˉtg=H+C_d\bar y t, dϖ=dμr/b0d\varpi=d\mu_r/b_0 and gˉ=∫g dϖ/∫dϖ\bar g=\int g\,d\varpi/\int d\varpi,

r=1−g−gˉτb0+O(τ−2),F=F∞−12τ∫(g−gˉ)2dϖ+O(τ−2),F∞=∫H dμr+Cdyˉ2/2. r=1-\frac{g-\bar g}{\tau b_0}+O(\tau^{-2}),\qquad \mathcal F=\mathcal F_\infty-\frac1{2\tau}\int(g-\bar g)^2d\varpi +O(\tau^{-2}),\quad \mathcal F_\infty=\int H\,d\mu_r+C_d\bar y^2/2.

The zero-entropy endpoint G0G_0 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

Contents · Previous · Next