Shock Friction Impulse

def proved Dynamics & Crises

Documentation

Lean 4 Proof

def shockFrictionImpulse (β_S E ξ : ℝ) : ℝ := β_S * E * ξ

Dependency Graph

Used by

combined_rate_steady_state minsky_friction_spiral f_T_specified combinedFrictionRate

Location

thesis/CESProofs/Dynamics/EndogenousT.lean:50

Module Section

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

In the same file

learningFrictionRate cascadeFrictionRate institutionalFrictionRate 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