Sections / Section 11: Dynamics and Business Cycles / cascadeFrictionRate

Cascade Friction Rate

defprovedDynamics & Crises

Documentation

Lean 4 Proof

def cascadeFrictionRate (β_C K_eff T Tstar : ℝ) : ℝ := β_C * K_eff * (Tstar - T)

Dependency Graph

Used by

combined_rate_steady_state friction_channels_oppose cascade_vanishes_at_critical minsky_friction_spiral f_T_specified combinedFrictionRate cascade_increases_friction

Location

thesis/CESProofs/Dynamics/EndogenousT.lean:38

Module Section

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

In the same file

learningFrictionRate institutionalFrictionRate shockFrictionImpulse combinedFrictionRate learning_reduces_friction cascade_increases_friction institutional_reform_lowers_friction friction_channels_oppose minsky_friction_spiral friction_hysteresis cascade_vanishes_at_critical learning_at_zero combined_rate_steady_state f_T_specified