It is well known that there are remarkable differential equations that can be integrated in CAS, but admit several inequivalent approaches to their description. In the present paper, we discuss remarkable differential equations in another sense, namely, equations for which there exist finite difference schemes that preserve the algebraic properties of solutions exactly. It should be noted that this class of differential equations coincides with the class introduced by Painlevé. In terms of the Cauchy problem, a differential equation of this class defines an algebraic correspondence between the initial and final values. For example, the Riccati equation y′ = p(x)y2 + q(x)y + r(x) defines a one-to-one correspondence between the initial and final values of y on the projective line. However, the standard finite difference schemes do not preserve this algebraic property of the exact solution. Moreover, the scheme that defines a one-to-one correspondence between the layers actually describes the solution not only before moving singularities but also after them and preserves algebraic properties of equations, such as the anharmonic ratio. After a necessary introduction (Secs. 1 and 2), we describe such a one-to-one scheme for the Riccati equation and prove its properties mentioned above.
Similar content being viewed by others
References
J. Moses, “Symbolic integration,” PhD thesis, MIT (1967).
G. N. Watson, A Treatise on the Theory of Bessel Functions, Cambridge Univ. Press, Cambridge (1944).
A. Goriely, Integrability and Nonintegrability of Dynamical Systems, World Scientific, River Edge (2006).
V. V. Golubev, Vorlesungen ¨uber Differentialgleichungen in Komplexen, Verlag Wissenschaft (1958).
E. S. Cheb-Terrab and T. Kolokolnikov, “First-order ordinary differential equations, symmetries and linear transformations,” European J. Appl. Math., 14, No. 2, 231–246 (2003).
A. N. Krylov, Lectures on Approximate Calculations [in Russian], USSR Academy of Sciences, Leningrad (1933).
E. A. Al’shina, N. N. Kalitkin, and P. V. Koryakin, “The singularity diagnostic in calculations with accuracy control,” Comput. Math. Math. Phys., 45, No. 10, 1769–1779 (2005).
A. A. Belov, “Numerical detection and study of singularities of the solutions of differential equations,” Dokl. Akad. Nauk, 467, No. 1, 21–25 (2016).
M. D. Malykh, “On the approximate solution of differential equations whose general solution depends on a constant algebraically,” Vestnik RUDN, Ser. Mat. Inform. Fiz., No. 3, 5–9 (2015).
L. Cremona, Introduzione ad una teoria geometrica delle curve piane, Gamberini e Parmeggiani, Bologna (1862).
C. L. Siegel and J. Moser, Lectures on Celestial Mechanics, Springer-Verlag, Berlin (1995).
L. Schlesinger, Vorlesungen ¨uber lineare Differentialgleichungen, Teubner, Leipzig–Berlin (1908).
F. R. Gantmakher, The Theory of Matrices, Chelsea Publishing Company, New York (1959).
H. Umemura, “Birational automorphism groups and differential equations,” Nagoya Math. J., 119, 1–80 (1990).
M. D. Malykh, “On transcendental functions arising from integration of differential equations in finite form,” Zap. Nauchn. Semin. POMI, 432, 196–223 (2015).
M. D. Malykh, “On differential equations whose general solution is an algebraic function of a constant,” Vestnik NIYaU MIFI, 5, No. 2, 152–161 (2016).
Yu. B. Suris, “Hamiltonian methods of Runge–Kutta type and their variational interpretation,” Mat. Model., 2, No. 4, 78–87 (1990).
M. N. Gevorkyan, “Specific implementations of symplectic numerical methods,” Vestnik RUDN, Ser. Mat. Inform. Fiz., No. 1, 89–96 (2013).
E. Hairer, C. Lubich, and G. Wanner, Geometric Numerical Integration: Structure-Preserving Algorithms for Ordinary Differential Equations, Springer (2006).
J. M. Sanz-Serna, “Symplectic Runge–Kutta schemes for adjoint equations, automatic differentiation, optimal control, and more,” SIAM Rev., 58, No. 1, 3–33 (2016).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 468, 2018, pp. 202–220.
Rights and permissions
About this article
Cite this article
Ayrjan, E.A., Malykh, M.D. & Sevastianov, L.A. On Difference Schemes Approximating First-Order Differential Equations and Defining a Projective Correspondence Between Layers. J Math Sci 240, 634–645 (2019). https://doi.org/10.1007/s10958-019-04380-0
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10958-019-04380-0