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 where , is a constant real matrix, are constant vectors, and satisfies . Assume that for all , and that for every the linear system is asymptotically stable. The conjecture claims that then the equilibrium is globally asymptotically stable.
The claim is false in general. Let , , , be a counterexample to Kalman's conjecture. So is differentiable, , , and all the linear systems above are asymptotically stable. Yet the system has a non-constant periodic solution. For the mean value theorem gives between and with , so . Hence the same system satisfies the hypotheses of Aizerman's conjecture. Its periodic solution does not tend to , so the conclusion fails.
Remarks
Aizerman posed the problem in 1949. The hypothesis of Aizerman's conjecture bounds the secant slopes , while Kalman's conjecture bounds the slopes ; 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
- no evidence level
- Asymptotic stability concept
- Equilibrium point concept
- Limit point of a set definition
- Local maximum definition
- Periodic orbit concept
- Sequence definition
- System of linear differential equations concept
- Limit of a function definition
- Failure of Kalman's conjecture counterexample
- Local minimum definition
- Real sequence definition
- Subsequence definition
- Continuity at a point definition
- Derivative definition
- Bounded sequence definition
- Limit of a sequence definition
- Monotone sequence definition
- Continuous function definition
- Fermat's theorem on stationary points statement
- Convergent sequence definition
- Monotone convergence theorem for sequences statement
- Every sequence has a monotone subsequence statement
- Bolzano–Weierstrass theorem statement
- Boundedness theorem statement
- Extreme value theorem statement
- Rolle's theorem statement
- Mean value theorem statement
- Failure of Aizerman's conjecture counterexample
Further reading
- Web https://en.wikipedia.org/wiki/Aizerman%27s_conjecture, Mathematical statement of Aizerman's conjecture (Aizerman problem)
About this page
| Tag | A2QG6D75KR |
|---|---|
| URI | m2://A2QG6D75KR |
| Kind | counterexample |
| Writing | W0 stub |
| MSC | 93D05, 34D23, 34C25 |
| Uses | System of linear differential equations, Asymptotic stability, Equilibrium point, Mean value theorem, Failure of Kalman's conjecture |
| Changed | 2 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.