Discrete and Continuous Models and Applied Computational ScienceDiscrete and Continuous Models and Applied Computational Science2658-46702658-7149Peoples' Friendship University of Russia2614110.22363/2658-4670-2021-29-1-63-72Research ArticleOn conjugate difference schemes: the midpoint scheme and the trapezoidal schemeYingYu<p>Candidate of Physical and Mathematical Sciences, Assistant Professor of Department of Algebra and Geometry</p>45384377@qq.comMalykhMikhail D.<p>Doctor of Physical and Mathematical Sciences, Assistant Professor of Department of Applied Probability and Informatics</p>malykhmd@pfur.ruKaili UniversityPeoples’ Friendship University of Russia (RUDN University)30032021291637230032021Copyright © 2021, Ying Y., Malykh M.D.2021<div class="data" style="text-align: justify;">The preservation of quadratic integrals on approximate solutions of autonomous systems of ordinary differential equations <math xmlns="http://www.w3.org/1998/Math/MathML"><mover><mi>x</mi><mo></mo></mover><mo>=</mo><mi>f</mi><mo>(</mo><mi>x</mi><mo>)</mo></math>, found by the trapezoidal scheme, is investigated. For this purpose, a relation has been established between the trapezoidal scheme and the midpoint scheme, which preserves all quadratic integrals of motion by virtue of Coopers theorem. This relation allows considering the trapezoidal scheme as dual to the midpoint scheme and to find a dual analogue for Coopers theorem by analogy with the duality principle in projective geometry. It is proved that on the approximate solution found by the trapezoidal scheme, not the quadratic integral itself is preserved, but a more complicated expression, which turns into an integral in the limit as <math xmlns="http://www.w3.org/1998/Math/MathML"><mo></mo><mi>t</mi><mo></mo><mn>0</mn></math>.Thus the concept of conjugate difference schemes is investigated in pure algebraic way. The results are illustrated by examples of linear and elliptic oscillators. In both cases, expressions preserved by the trapezoidal scheme are presented explicitly.</div>dynamical systemsquadratic integralsdifference schemesconservation lawsmidpoint schemetrapezoidal schemeдинамические системыквадратичные интегралыразностные схемызаконы сохранениясхема средней точкисхема трапеций<p>Introduction Dynamical systems are the most important mathematical models in me- chanics and physics. Only a few of these models are integrated in a closed form [1], therefore, they have to be investigated using numerical methods, of which the most important is the finite difference method. Let</p>[A. Goriely, “Integrability and nonintegrability of dynamical systems,” in Advanced Series in Nonlinear Dynamics. Singapore; River Edge, NJ: World Scientific, 2001, vol. 19. DOI: 10.1142/3846.][D. Greenspan, “Completely conservative, covariant numerical methodology,” Computers & Mathematics with Applications, vol. 29, no. 4, pp. 37-43, 1995. DOI: 10.1016/0898-1221(94)00236-E.][D. Greenspan, “Completely conservative, covariant numerical solution of systems of ordinary differential equations with applications,” Rendiconti del Seminario Matematico e Fisico di Milano, vol. 65, pp. 63-87, 1995. DOI: 10.1007/BF02925253.][J. C. Simo and M. A. González, “Assessment of Energy-momentum and Symplectic Schemes for Stiff Dynamical Systems,” in American Society of Mechanical Engineers. ASME Winter Annual Meeting, New Orleans, Louisiana, 1993.][E. Graham, G. Jelenić, and M. A. Crisfield, “A note on the equivalence of two recent time-integration schemes for N-body problems,” Communications in Numerical Methods in Engineering, vol. 18, pp. 615-620, 2002. DOI: 10.1002/cnm.520.][G. J. Cooper, “Stability of Runge-Kutta methods for trajectory problems,” IMA Journal of Numerical Analysis, vol. 7, pp. 1-13, 1 1987. DOI: 10.1093/imanum/7.1.1.][Y. B. Suris, “Hamiltonian methods of Runge-Kutta type and their variational interpretation [Gamil’tonovy metody tipa Runge-Kutty i ikh variatsionnaya traktovka],” Matematicheskoe modelirovaniye, vol. 2, no. 4, pp. 78-87, 1990, in Russian.][J. M. Sanz-Serna, “Symplectic Runge-Kutta schemes for adjoint equations, automatic differentiation, optimal control, and more,” SIAM review, vol. 58, pp. 3-33, 2016. DOI: 10.1137/151002769.][E. Hairer, G. Wanner, and C. Lubich, Geometric numerical integration. Structure-preserving algorithms for ordinary differential equations. Berlin Heidelberg New York: Springer, 2000.][V. P. Gerdt, M. D. Malykh, L. A. Sevastianov, and Yu Ying, “On the properties of numerical solutions of dynamical systems obtained using the midpoint method,” Discrete & Continuous Models & Applied Computational Science, vol. 27, no. 3, pp. 242-262, 2019. DOI: 10.22363/ 2658-4670-2019-27-3-242-262.][Y. A. Blinkov and V. P. Gerdt, “On computer algebra aided numerical solution of ODE by finite difference method,” in International Conference Polynomial Computer Algebra’2019; St. Petersburg, April 15-20, 2019, N. N. Vassiliev, Ed., SPb: VVM Publishing, 2019, pp. 29-31.][F. Klein, Vorlesungen über Nicht-Euklidische Geometrie. Springer, 1967. DOI: 10.1007/978-3-642-95026-1.][P. F. Byrd and M. D. Friedman, Handbook of Elliptic Integrals for Engineers and Scientists. Springer, 1971. DOI: 10.1007/978-3-642- 65138-0.]