Registry · Definition IV.D299 tau-effective formalized

IV.D299 — Beta function

The beta function beta(alpha_X) = mu * d(alpha_X)/d(mu) = d(alpha_X)/d(ln mu) for a coupling alpha_X(mu) associated with sector X. Its sign determines whether the coupling grows (beta > 0) or shrinks (beta < 0) with increasing energy in the orthodox renormalization group.

Book IV Part 2 Ch. 14

Lean Formalization

Module: TauLib.BookIV.Calibration.RunningRegime

Symbol: Tau.BookIV.Calibration.BetaFunction