Abstract
A two-dimensional diagonal system of ordinary differential equations is constructed. The system possesses the following properties: the solution of the Cauchy problem with computable initial condition is a computable function, the lower Lyapunov exponent is noncomputable, and the upper central exponent of the system does not coincide with the higher Lyapunov exponent and is noncomputable.
Similar content being viewed by others
REFERENCES
V. N. Krupskii and V. E. Plisko, Theory of Algorithms (Akademiya, Moscow, 2009).
V. A. Uspenskii, Lectures on Computable Functions (Fizmatgiz, Moscow, 1960).
E. Specker, ‘‘Nicht konstruktiv beweisbare Sätze der Analysis,’’ J. Symbolic Logic 14, 145–158 (1949). doi 10.2307/2267043
M. B. Pour-El and J. I. Richards, Computability in Analysis and Physics (Springer-Verlag, Berlin, 1989).
P. Henrici, Discrete Variable Methods in Ordinary Differential Equations (Wiley, New York, 1962).
M. B. Pour-El and J. I. Richards, ‘‘A computable ordinary differential equation which possesses no computable solution,’’ Ann. Math. Logic 17, 61–90 (1979). doi 10.1016/0003-4843(79)90021-4
B. F. Bylov, R. E. Vinograd, D. M. Grobman, and V. V. Nemytskii, Theory of Lyapunov Exponents (Nauka, Moscow, 1966).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated by I. Tselishcheva
About this article
Cite this article
Tyulenev, A.V. An Example of Noncomputability of Exponents of a System of Ordinary Differential Equations. Moscow Univ. Math. Bull. 76, 53–59 (2021). https://doi.org/10.3103/S0027132221020078
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.3103/S0027132221020078