On the Algorithmic Verification of Nonlinear Superposition for Systems of First Order Ordinary Differential Equations
Fuente:
arXiv
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866909087938117632 |
|---|---|
| author | Treumova, Veronika Lyakhov, Dmitry A. Michels, Dominik L. |
| author_facet | Treumova, Veronika Lyakhov, Dmitry A. Michels, Dominik L. |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_17012 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | On the Algorithmic Verification of Nonlinear Superposition for Systems of First Order Ordinary Differential Equations Treumova, Veronika Lyakhov, Dmitry A. Michels, Dominik L. Symbolic Computation Numerical Analysis Rings and Algebras 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. |
| title | On the Algorithmic Verification of Nonlinear Superposition for Systems of First Order Ordinary Differential Equations |
| topic | Symbolic Computation Numerical Analysis Rings and Algebras |
| url | https://arxiv.org/abs/2401.17012 |