Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
153 tokens/sec
GPT-4o
7 tokens/sec
Gemini 2.5 Pro Pro
45 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

On the Algorithmic Verification of Nonlinear Superposition for Systems of First Order Ordinary Differential Equations (2401.17012v1)

Published 30 Jan 2024 in cs.SC, cs.NA, math.NA, and math.RA

Abstract: This paper belongs to a group of work in the intersection of symbolic computation and group analysis aiming for the symbolic analysis of differential equations. The goal is to extract important properties without finding the explicit general solution. In this contribution, we introduce the algorithmic verification of nonlinear superposition properties and its implementation. More exactly, for a system of nonlinear ordinary differential equations of first order with a polynomial right-hand side, we check if the differential system admits a general solution by means of a superposition rule and a certain number of particular solutions. It is based on the theory of Newton polytopes and associated symbolic computation. The developed method provides the basis for the identification of nonlinear superpositions within a given system and for the construction of numerical methods which preserve important algebraic properties at the numerical level.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (33)
  1. Nonlinear superposition among lump soliton, stripe solitons and other nonlinear localized waves of the (2+1)-dimensional cpkp-bkp equation. Mathematics and Computers in Simulation, 208:57–70, 2023.
  2. Models of wave-function collapse, underlying theories, and experimental tests. Reviews of Modern Physics, 85(2):471, 2013.
  3. Nils Ackermann. A nonlinear superposition principle and multibump solutions of periodic schrödinger equations. Journal of Functional Analysis, 234(2):277–320, 2006.
  4. On madelung systems in nonlinear optics: A reciprocal invariance. Journal of Mathematical Physics, 59(5), 2018.
  5. Sophus Lie. Allgemeine untersuchungen über differentialgleichungen, die eine continuirliche, endliche gruppe gestatten. Mathematische Annalen, 25(1):71–151, 1885.
  6. Nail H Ibragimov and AA Gainetdinova. Three-dimensional dynamical systems admitting nonlinear superposition with three-dimensional vessiot-guldberg-lie algebras. Applied Mathematics Letters, 52:126–131, 2016.
  7. NH Ibragimov and AA Gainetdinova. Classification and integration of four-dimensional dynamical systems admitting non-linear superposition. International Journal of Non-Linear Mechanics, 90:50–71, 2017.
  8. Algorithmic verification of linearizability for ordinary differential equations. In Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, pages 285–292, 2017.
  9. Biosans: A software package for symbolic and numeric biological simulation. Plos one, 17(4):e0256409, 2022.
  10. The symbiont project: symbolic methods for biological networks. ACM Communications in Computer Algebra, 52(3):67–70, 2019.
  11. Optimal monomial quadratization for ode systems. ACM Communications in Computer Algebra, 54(3):119–123, 2021.
  12. Exact hierarchical reductions of dynamical models via linear transformations. Communications in Nonlinear Science and Numerical Simulation, page 107816, 2024.
  13. Representation for the radical of a finitely generated differential ideal. In Proceedings of the 1995 international symposium on Symbolic and algebraic computation, pages 158–166, 1995.
  14. Joseph Miller Thomas. Differential systems, volume 21. American Mathematical Soc., 1937.
  15. Algorithmic thomas decomposition of algebraic and differential systems. Journal of Symbolic Computation, 47(10):1233–1266, 2012.
  16. AA Gainetdinova and RK Gazizov. Integrability of systems of two second-order ordinary differential equations admitting four-dimensional lie algebras. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, 473(2197):20160461, 2017.
  17. Dirac–lie systems and schwarzian equations. Journal of Differential Equations, 257(7):2303–2340, 2014.
  18. Poisson–hopf deformations of lie–hamilton systems revisited: deformed superposition rules and applications to the oscillator algebra. Journal of Physics A: Mathematical and Theoretical, 54(20):205202, 2021.
  19. Robert H Risch. The problem of integration in finite terms. Transactions of the American Mathematical Society, 139:167–189, 1969.
  20. Matthias Franz. Convex—a maple package for convex geometry. Available electronicly at https://www.math.uwo.ca/faculty/franz/convex/, 2016.
  21. Anatoli G Kouchnirenko. Polyedres de newton et nombres de milnor. Inventiones mathematicae, 32(1):1–31, 1976.
  22. James William Thomas. Numerical partial differential equations: finite difference methods, volume 22. Springer Science & Business Media, 2013.
  23. Randall J LeVeque. Finite difference methods for ordinary and partial differential equations: steady-state and time-dependent problems. SIAM, 2007.
  24. Algorithmic approach to strong consistency analysis of finite difference approximations to pde systems. In Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, pages 163–170, 2019.
  25. Strong consistency and thomas decomposition of finite difference approximations to systems of partial differential equations. arXiv preprint arXiv:2009.01731, 2020.
  26. Discrete matrix riccati equations with superposition formulas. Journal of mathematical analysis and applications, 294(2):533–547, 2004.
  27. A strongly consistent finite difference scheme for steady stokes flow and its modified equations. In Computer Algebra in Scientific Computing: 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings 20, pages 67–81. Springer, 2018.
  28. On the consistency analysis of finite difference approximations. Journal of Mathematical Sciences, 240:665–677, 2019.
  29. Alexander Levin. Difference algebra, volume 8. Springer Science & Business Media, 2008.
  30. Dima Trushin. Difference nullstellensatz in the case of finite group. arXiv preprint arXiv:0908.3863, 2009.
  31. Edward H Kerner. Universal formats for nonlinear ordinary differential systems. Journal of Mathematical Physics, 22(7):1366–1371, 1981.
  32. Realizations of real low-dimensional lie algebras. Journal of Physics A: Mathematical and General, 36(26):7337, 2003.
  33. Solving olympiad geometry without human demonstrations. Nature, 625(7995):476–482, 2024.

Summary

We haven't generated a summary for this paper yet.

Ai Sparkles Streamline Icon: https://streamlinehq.com Summarize Now