Pure Collapse Susceptibility

theorem proved Dynamics & Crises

Lean 4 Proof

theorem pure_collapse_susceptibility (M T : ℝ) (_hT : 0 < T) :
    steadyStateSusceptibility M 0 T = 0 := by
  simp [steadyStateSusceptibility]

Dependency Graph

Location

thesis/CESProofs/Dynamics/VarianceCollapse.lean:170

Module Section

Results 86-92: Endogenous Variance Dynamics

In the same file

variance_decay_nonneg decay_factor_in_unit variance_decay_monotone varianceRecurrence steady_state_variance steady_state_unique steadyStateSusceptibility susceptibility_proportional_to_M varianceGap variance_gap_shrinks pure_collapse_steady_state minimum_information_sources double_jeopardy