Math 2.0

Systems theory; control Counterexample

Failure of Aizerman's conjecture

Builds on System of linear differential equationsAsymptotic stabilityEquilibrium pointMean value theoremFailure of Kalman's conjecture

Counterexample

Aizerman's conjecture concerns systems of the form x˙=Px+q f(e),e=rTx,\dot x = P x + q\, f(e), \qquad e = r^{T} x, where x∈ℝnx \in \R^n, PP is a constant real n×nn \times n matrix, q,r∈ℝnq, r \in \R^n are constant vectors, and f ⁣:ℝ→ℝf \colon \R \to \R satisfies f(0)=0f(0) = 0. Assume that k1<f(e)/e<k2k_1 < f(e)/e < k_2 for all e≠0e \ne 0, and that for every k∈(k1,k2)k \in (k_1, k_2) the linear system x˙=(P+k qrT)x\dot x = (P + k\, q r^{T}) x is asymptotically stable. The conjecture claims that then the equilibrium x=0x = 0 is globally asymptotically stable.

The claim is false in general. Let PP, qq, rr, ff be a counterexample to Kalman's conjecture. So ff is differentiable, f(0)=0f(0) = 0, k1<f′<k2k_1 < f' < k_2, and all the linear systems above are asymptotically stable. Yet the system has a non-constant periodic solution. For e≠0e \ne 0 the mean value theorem gives ξ\xi between 00 and ee with f(e)/e=f′(ξ)f(e)/e = f'(\xi), so k1<f(e)/e<k2k_1 < f(e)/e < k_2. Hence the same system satisfies the hypotheses of Aizerman's conjecture. Its periodic solution does not tend to 00, so the conclusion fails.

Remarks

Aizerman posed the problem in 1949. The hypothesis of Aizerman's conjecture bounds the secant slopes f(e)/ef(e)/e, while Kalman's conjecture bounds the slopes f′f'; the second hypothesis is stronger, so Kalman's conjecture is the weaker claim. This is why a counterexample to Kalman's conjecture is also one to Aizerman's. In the counterexamples constructed by Leonov, Kuznetsov and coauthors, a stable periodic orbit coexists with the stable equilibrium, a so-called hidden oscillation.

Reading path

To understand this page from the ground up, read these 28 pages in order. The foundations come first.

Show the path as a graph
Asymptotic stability, concept, no evidence levelAsymptotic stabilityconceptEquilibrium point, concept, no evidence levelEquilibrium pointconceptLimit point of a set, definition, no evidence levelLimit point of a setdefinitionLocal maximum, definition, no evidence levelLocal maximumdefinitionPeriodic orbit, concept, no evidence levelPeriodic orbitconceptSequence, definition, no evidence levelSequencedefinitionSystem of linear differential equations, concept, no evidence levelSystem of linear diff…conceptLimit of a function, definition, no evidence levelLimit of a functiondefinitionFailure of Kalman's conjecture, counterexample, no evidence levelFailure of Kalman's c…counterexampleLocal minimum, definition, no evidence levelLocal minimumdefinitionReal sequence, definition, no evidence levelReal sequencedefinitionSubsequence, definition, no evidence levelSubsequencedefinitionContinuity at a point, definition, no evidence levelContinuity at a pointdefinitionDerivative, definition, no evidence levelDerivativedefinitionBounded sequence, definition, no evidence levelBounded sequencedefinitionLimit of a sequence, definition, no evidence levelLimit of a sequencedefinitionMonotone sequence, definition, no evidence levelMonotone sequencedefinitionContinuous function, definition, no evidence levelContinuous functiondefinitionFermat's theorem on stationary points, statement, no evidence levelFermat's theorem on s…statementConvergent sequence, definition, no evidence levelConvergent sequencedefinitionMonotone convergence theorem for sequences, statement, no evidence levelMonotone convergence …statementEvery sequence has a monotone subsequence, statement, no evidence levelEvery sequence has a …statementBolzano–Weierstrass theorem, statement, no evidence levelBolzano–Weierstrass t…statementBoundedness theorem, statement, no evidence levelBoundedness theoremstatementExtreme value theorem, statement, no evidence levelExtreme value theoremstatementRolle's theorem, statement, no evidence levelRolle's theoremstatementMean value theorem, statement, no evidence levelMean value theoremstatementFailure of Aizerman's conjecture, counterexample, no evidence levelFailure of Aizerman's…counterexample
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Asymptotic stability concept
  2. Equilibrium point concept
  3. Limit point of a set definition
  4. Local maximum definition
  5. Periodic orbit concept
  6. Sequence definition
  7. System of linear differential equations concept
  8. Limit of a function definition
  9. Failure of Kalman's conjecture counterexample
  10. Local minimum definition
  11. Real sequence definition
  12. Subsequence definition
  13. Continuity at a point definition
  14. Derivative definition
  15. Bounded sequence definition
  16. Limit of a sequence definition
  17. Monotone sequence definition
  18. Continuous function definition
  19. Fermat's theorem on stationary points statement
  20. Convergent sequence definition
  21. Monotone convergence theorem for sequences statement
  22. Every sequence has a monotone subsequence statement
  23. Bolzano–Weierstrass theorem statement
  24. Boundedness theorem statement
  25. Extreme value theorem statement
  26. Rolle's theorem statement
  27. Mean value theorem statement
  28. Failure of Aizerman's conjecture counterexample

Further reading

  1. Web https://en.wikipedia.org/wiki/Aizerman%27s_conjecture, Mathematical statement of Aizerman's conjecture (Aizerman problem)
About this page
TagA2QG6D75KR
URIm2://A2QG6D75KR
Kindcounterexample
WritingW0 stub
MSC93D05, 34D23, 34C25
UsesSystem of linear differential equations, Asymptotic stability, Equilibrium point, Mean value theorem, Failure of Kalman's conjecture
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • edge refutes or not_instance_of out (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.