Optimal rho Increases with T

theorem trivial Dynamics & Crises

Documentation

Lean 4 Proof

theorem optimal_rho_increases_with_T (J : ℕ) (hJ : 2 ≤ J) :
    -- d(rho*)/dT > 0 via the implicit function theorem
    -- Higher friction favors less complementary (more substitutable) inputs
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Dynamics/EndogenousRho.lean:41

Module Section

Results 70-79: Endogenous Complementarity Evolution

In the same file

log_linear_standardization_rate standardization_slows price_equation_rho T_dependent_selection fixed_point_instability rhoT_limit_cycle perez_phases cyclePeriodEstimate cycle_period_pos endogenous_tipping power_law_fluctuations rhoJ_channel_imitative rhoJ_channel_differentiated lower_rho_raises_K rhoJ_channel_zero_at_min