Combined Friction Rate

Documentation

Lean 4 Proof

def combinedFrictionRate (β_L V T β_C K_eff Tstar β_I G T_min β_S E ξ : ℝ) : ℝ :=
  learningFrictionRate β_L V T + cascadeFrictionRate β_C K_eff T Tstar
  + institutionalFrictionRate β_I G T T_min + shockFrictionImpulse β_S E ξ

Dependency Graph

Module Section

Results T-80 through T-89: Endogenous Information Friction Dynamics