Physics Nonlinear Dynamics From Rs

The five routes to chaos

Nonlinear dynamics is the study of systems where a small change in the starting state can grow into a wildly different outcome, a behavior called sensitive dependence on initial conditions. The most famous image is the butterfly effect: a flap of wings in one place, a storm elsewhere. These systems do not settle into a simple repeatable pattern, but their disorder is not random either. They follow recognizable routes, and the classic textbook describes five canonical types of bifurcation, the points where a system's behavior abruptly changes: saddle-node, pitchfork, transcritical, Hopf, and period-doubling.

The period-doubling route is the most celebrated path to chaos. A system oscillates with period 1, then period 2, then 4, then 8, each step doubling the time before the pattern repeats. The ratio of the intervals between these doublings approaches a universal number, the Feigenbaum constant, roughly 4.669. This constant appears across countless different systems, from dripping faucets to electronic circuits, which suggests something deep and structural underneath the surface variety.

In Recognition Science, the framework models a ledger, a discrete record of recognition events, and the forced cost of each event. The framework's central theorem proves that any cost function meeting five plain conditions must equal J(x) = (x + 1/x)/2 - 1. In this account, chaos arises when the recognition cost grows beyond a threshold set by the golden ratio φ. The framework then derives the five bifurcation types as a fixed count, not an empirical accident. Its machine-checked library of formal theorems proves that the number of bifurcation types is exactly 5, and that the period-doubling target is exactly 2^3 = 8.

The framework also connects the Feigenbaum constant to the golden ratio. Its approximation gives δ ≈ 3φ ≈ 4.854, which is close to the measured 4.669 but not equal. This is a model, not a proof. The framework's library establishes the structural counts, five bifurcation types and eight periods, with zero unproved assumptions. It also proves that at equilibrium, when the recognition cost is at unity, the cost J(1) equals zero, meaning a stable state has zero recognition cost.

What this changes is the status of those textbook numbers. The five bifurcation types are not a list someone happened to write down; within this framework, they are a forced consequence of the cost function. The period-doubling cascade reaching 8 is not a coincidence; it is the same 2^3 that appears elsewhere in the framework's derivations. The framework does not claim to predict the precise value of the Feigenbaum constant, but it does claim that the structure of chaos has a fixed, derivable skeleton.

theorem bifurcationTypeCount : Fintype.card BifurcationType = 5 := by decide

theorem periodDoublingTarget_8 : periodDoublingTarget = 8 := by decide

/-- At equilibrium: J = 0. -/
theorem equilibrium : Jcost 1 = 0 := Jcost_unit0

What this page does not claim

The framework does not prove the exact value of the Feigenbaum constant, only an approximation of 3φ. The framework does not claim that all chaotic systems follow exactly five bifurcation types, only that these are the canonical ones. The framework does not derive the full equations of motion for any specific physical chaotic system.

Verify this page

Every tagged claim above names its theorem. To check one yourself rather than trust this page, elaborate the source module with Lean 4 and audit its axiom basis:

$ lake env lean IndisputableMonolith/Physics/NonlinearDynamicsFromRS.lean
expected axiom basis: [propext, Classical.choice, Quot.sound] (the Lean kernel's standard three; no RS-specific axioms)

A page whose claims cannot be reproduced this way does not ship. In production, every anchor links to the exact declaration in the public source release, and this block carries the build receipt for the page itself.

Derived articles

This page is generated by a question-recursion engine: the questions its answers raise become the next pages. The current agenda, with open targets marked red: