Systems theory; control Counterexample
Failure of Kalman's conjecture
Builds on System of linear differential equationsAsymptotic stabilityEquilibrium pointPeriodic orbit
Counterexample
Kalman's conjecture concerns systems of the form Here , is a constant real matrix, and are constant vectors. The function is differentiable with . Assume that for all , and that for every the linear system is asymptotically stable. The conjecture claims that then the equilibrium attracts every solution.
The claim is false in general. For it is true. But for some there are , , and that satisfy all the hypotheses, while the system has a non-constant periodic orbit. A solution on that orbit does not tend to , so is not a global attractor.
Remarks
Kalman stated the problem in 1957. In the counterexamples constructed by Leonov, Kuznetsov and coauthors, the periodic orbit is stable and coexists with the stable equilibrium at . Its basin of attraction does not touch a small neighbourhood of the equilibrium, so it is a hidden oscillation: simulation from initial points near does not reveal it. Once a counterexample exists in dimension , adding decoupled coordinates with gives one in every larger dimension. For the discrete-time analogue the conjecture holds only for .
Reading path
To understand this page from the ground up, read these 5 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Asymptotic stability concept
- Equilibrium point concept
- Periodic orbit concept
- System of linear differential equations concept
- Failure of Kalman's conjecture counterexample
Where this leads
1 page builds on this one.
Further reading
- Web https://en.wikipedia.org/wiki/Kalman%27s_conjecture, Mathematical statement of Kalman's conjecture (Kalman problem)
About this page
| Tag | 5MP7DM0V5V |
|---|---|
| URI | m2://5MP7DM0V5V |
| Kind | counterexample |
| Writing | W0 stub |
| MSC | 93D05, 34D23, 34C25 |
| Uses | System of linear differential equations, Asymptotic stability, Equilibrium point, Periodic orbit |
| 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.