Sections / Section 13: Hierarchical Architecture / policyResponse

Policy Response

defprovedHierarchy

Documentation

Lean 4 Proof

def policyResponse (J : ℕ) (ρ T_new T_old Tstar : ℝ) : ℝ :=
  effectiveCurvatureKeff J ρ T_new Tstar - effectiveCurvatureKeff J ρ T_old Tstar

Dependency Graph

Used by

policyResponse_nonneg policyResponse_pos_crossing spillover_stronger_for_complements liquidity_trap monetary_transmission_ordering

Location

thesis/CESProofs/Hierarchy/MonetaryPolicy.lean:35

Module Section

Monetary Policy and the Liquidity Trap

In the same file

policyResponse_nonneg policyResponse_pos_crossing liquidity_trap liquidity_trap_escape policy_ineffective_above_critical monetary_transmission_ordering institutional_amplification policyMargin policyMargin_pos_subcritical policyMargin_narrowing policyMargin_zero_at_critical complementary_sectors_smaller_margin