Sections / Section 11: Dynamics and Business Cycles / friction_hysteresis

Friction Hysteresis

theoremtrivialDynamics & Crises

Documentation

Lean 4 Proof

theorem friction_hysteresis :
    -- Recovery rate (channels 1+3 only) < buildup rate (channels 1+3+2)
    -- because cascade channel adds positive feedback during buildup
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Dynamics/EndogenousT.lean:161

Module Section

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

In the same file

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