Alphabeta Math
CounterexampleConstruction: AI-adaptedVerification: AI-adapted
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 1 and no compact invariant set with more than one point

Physical scope

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 G:S0→R6N be the C1 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 Φ:R×S0→S0. If an equilibrium has a positive real eigenvalue λ of DG and Lyapunov exponent λ along a corresponding eigenvector, then the time-one map f:=Φ1:S0→S0 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 Q=R3, mass m=1, kinetic matrix M=I3, potential U(q)=−12∥q∥22, force F(q,v)=q, field G(q,v)=(v,q), equilibrium (0,0), and complete flow Φt(q,v)=(12(q+v)et+12(q−v)e−t, 12(q+v)et−12(q−v)e−t).

[L1]

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 ±1 and the positive Lyapunov exponent 1 at its equilibrium): for u:=q+v and w:=q−v, the derivative flow acts as (u,w)↦(etu,e−tw); along (e1,e1) the finite-time rate at the equilibrium is 1 for every t>0, so the Lyapunov exponent is 1, and the linearisation has positive eigenvalue 1.

[L2]

The chaos list (Topological mixing, dense periodic points, sensitive dependence, and the stated chaos list): sensitivity requires δ>0 such that for every x and every ε>0 there are y and n≥1 with d(x,y)<ε and d(fn(x),fn(y))≥δ; on a one-point space the only admissible y is x, so no positive δ satisfies the condition.

[L3]

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, f=Φ1 is a bijection with inverse Φ−1; a compact invariant set of f satisfies f(K)=K, and a hyperbolic equilibrium with a positive-real-part eigenvalue is unstable.

[L4]

Norms (The Euclidean inner product ⟨x,y⟩=∑k<nxkyk on Rn, Open ball, closed ball and sphere in a metric space): ∥(q,v)∥22=12(∥u∥22+∥w∥22), so boundedness in the state chart implies boundedness of both transformed vectors.

Counterexample

technique · direct
1.1givenL1

The antecedent holds: by [L1] the model has equilibrium (0,0), the linearisation has eigenvector (e1,e1) with eigenvalue 1>0, and the Lyapunov exponent along that direction exists and equals 1. The explicit flow is defined for every real time. This satisfies the antecedent of the refuted statement.

1.2givenL1L3L4algebra

Classification of compact invariant sets of f: let K be compact with f(K)=K, and let a state of K have transformed coordinate u≠0. By [L1], ∥fn(q,v)∥2≥12∥u∥2en for n≥0, which is unbounded; this contradicts boundedness of K. Hence u=0 on K. Since f is a bijection and f(K)=K, applying the same argument to f−n(K)=K shows w=0 on K. Therefore every nonempty compact invariant set of f is the singleton {(0,0)}.

2.1step 1.2L2algebra

The one-point invariant set fails the chaos list: for X={(0,0)} every admissible y in the sensitivity condition of [L2] coincides with the base point, so d(fn(x),fn(y))=0<δ for every n and every δ>0; 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.

3.1step 1.1step 1.2step 2.1L3∎

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

Depends on

Dependency tree · 2 levels

Sources