How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
A positive Lyapunov exponent at a hyperbolic equilibrium does not produce a chaotic invariant set of the time-one map: the three-dimensional repulsive model has rate and no compact invariant set with more than one point
A declared-model counterexample in the one-label three-dimensional force branch, refuting the implication from a positive Lyapunov exponent at an equilibrium to a chaotic compact invariant set of the time-one map: the dimensionless repulsive model with potential U(q)=-||q||^2/2 has a complete flow, exponent 1 at its equilibrium along each unstable direction, and a nonlinearly unstable equilibrium, yet every nonempty compact invariant set of its time-one map is {0}; this singleton fails the sensitivity clause of the page's chaos list. The counterexample is a model computation; it reports no measurement.
Statement refuted
False statement. Let be the associated field of a complete autonomous stability model in the sense of The model vocabulary of stability and chaos: the associated flow of a declared force model, equilibria, periodic and homoclinic orbits, and invariant sets, with flow . If an equilibrium has a positive real eigenvalue of and Lyapunov exponent along a corresponding eigenvector, then the time-one map possesses a compact invariant set with more than one point on which its restriction is chaotic in the stated sense of Chaos in the stated sense for maps of the model: topological mixing, dense periodic points and sensitive dependence, as one precise list among several (continuous, topologically mixing, dense periodic points, sensitive dependence).
Facts & Assumptions
Given: the dimensionless one-label Cartesian force model with , mass , kinetic matrix , potential , force , field , equilibrium , and complete flow
The growth computation (Two declared linear models worked through: the harmonic flow has zero finite-time growth in every direction, while the repulsive linear model has exact rates and the positive Lyapunov exponent at its equilibrium): for and , the derivative flow acts as ; along the finite-time rate at the equilibrium is for every , so the Lyapunov exponent is , and the linearisation has positive eigenvalue .
The chaos list (Topological mixing, dense periodic points, sensitive dependence, and the stated chaos list): sensitivity requires such that for every and every there are and with and ; on a one-point space the only admissible is , so no positive satisfies the condition.
Time-one invariance and instability (The model vocabulary of stability and chaos: the associated flow of a declared force model, equilibria, periodic and homoclinic orbits, and invariant sets clause (iv), Hyperbolic linearisation of an equilibrium of the model: exponential dichotomy of the linearised flow, local exponential asymptotic stability in the stable case, and instability in the saddle case clause 3): for the complete flow, is a bijection with inverse ; a compact invariant set of satisfies , and a hyperbolic equilibrium with a positive-real-part eigenvalue is unstable.
Norms (The Euclidean inner product on , Open ball, closed ball and sphere in a metric space): , so boundedness in the state chart implies boundedness of both transformed vectors.
Counterexample
The antecedent holds: by [L1] the model has equilibrium , the linearisation has eigenvector with eigenvalue , and the Lyapunov exponent along that direction exists and equals . The explicit flow is defined for every real time. This satisfies the antecedent of the refuted statement.
Classification of compact invariant sets of : let be compact with , and let a state of have transformed coordinate . By [L1], for , which is unbounded; this contradicts boundedness of . Hence on . Since is a bijection and , applying the same argument to shows on . Therefore every nonempty compact invariant set of is the singleton .
The one-point invariant set fails the chaos list: for every admissible in the sensitivity condition of [L2] coincides with the base point, so for every and every ; the sensitivity clause fails, and with it the four-clause list of Chaos in the stated sense for maps of the model: topological mixing, dense periodic points and sensitive dependence, as one precise list among several.
Conclusion: the antecedent of the refuted statement holds for the declared model (step 1.1), while its time-one map has no compact invariant set with more than one point (step 1.2) and its only compact invariant set is not chaotic in the stated sense (step 2.1); the implication is therefore false. Nonlinear instability of the equilibrium from [L3] does not repair it: instability of a single state and chaos of a compact invariant set are different properties.
Remarks
-
Scope of the refutation. The counterexample refutes the stated implication for the time-one map and the page's precise chaos list; it does not argue that positive exponents are irrelevant to chaotic behaviour, only that the value of an exponent at a single equilibrium does not by itself produce the listed properties. The horseshoe theorem A smooth periodically forced one-label Cartesian model with a transverse homoclinic horseshoe: the physical stroboscopic map has a compact invariant set conjugate to the shift, chaotic in the stated sense establishes those properties by an explicit conjugacy, not from an exponent.
-
No empirical content. The computation is a substitution in a dimensionless linear model; it involves no measurement, no numerical integration and no claim about physical systems exhibiting exponential separation.
Depends on
Finite-time tangent growth rates and Lyapunov exponents of the model's flow: the rate per unit time of a transported deviation, with its existence convention and its limits
Chaos in the stated sense for maps of the model: topological mixing, dense periodic points and sensitive dependence, as one precise list among several
Topological mixing, dense periodic points, sensitive dependence, and the stated chaos list
Hyperbolic linearisation of an equilibrium of the model: exponential dichotomy of the linearised flow, local exponential asymptotic stability in the stable case, and instability in the saddle case
Two declared linear models worked through: the harmonic flow has zero finite-time growth in every direction, while the repulsive linear model has exact rates and the positive Lyapunov exponent at its equilibrium
The model vocabulary of stability and chaos: the associated flow of a declared force model, equilibria, periodic and homoclinic orbits, and invariant sets
The mechanical first-order field, Lagrangian and energy of a configuration-dependent kinetic metric in a chart
The Euclidean inner product on
Open ball, closed ball and sphere in a metric space
Dimensions and SI unit conventions of the non-relativistic classical mechanics framework
Dependency tree · 2 levels
Sources
- Iain Stewart, Advanced Classical Mechanics (MIT 8.09/8.309, Fall 2014), Chapter 7 pp. 143-195: the warning that a positive exponent at a hyperbolic equilibrium is not a definition or proof of chaos
- Gerald Sussman and Jack Wisdom, Structure and Interpretation of Classical Mechanics, 2nd ed., §4.3 and §7.2: the distinction between exponential divergence of nearby trajectories and chaos, with the explicit warning that a picture is not a proof
- Konstantin Likharev, Essential Graduate Physics: Classical Mechanics (title page last edited September 1, 2026), Chapter 9: the qualitative chaos discussion whose equivalence claims are refuted by this model