Sections / Section 11: Dynamics and Business Cycles / learningFrictionRate

Learning Friction Rate

defprovedDynamics & Crises

Documentation

Lean 4 Proof

def learningFrictionRate (β_L V T : ℝ) : ℝ := -β_L * V * T

Dependency Graph

Used by

combined_rate_steady_state learning_reduces_friction friction_channels_oppose minsky_friction_spiral f_T_specified combinedFrictionRate learning_at_zero

Location

thesis/CESProofs/Dynamics/EndogenousT.lean:31

Module Section

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

In the same file

cascadeFrictionRate 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