Show simple item record

dc.contributor.authorLyakhov, Dmitry
dc.contributor.authorGerdt, Vladimir P.
dc.contributor.authorMichels, Dominik L.
dc.date.accessioned2017-11-02T09:09:32Z
dc.date.available2017-11-02T09:09:32Z
dc.date.issued2017-07-19
dc.identifier.citationLyakhov DA, Gerdt VP, Michels DL (2017) Algorithmic Verification of Linearizability for Ordinary Differential Equations. Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC ’17. Available: http://dx.doi.org/10.1145/3087604.3087626.
dc.identifier.doi10.1145/3087604.3087626
dc.identifier.urihttp://hdl.handle.net/10754/626089
dc.description.abstractFor a nonlinear ordinary differential equation solved with respect to the highest order derivative and rational in the other derivatives and in the independent variable, we devise two algorithms to check if the equation can be reduced to a linear one by a point transformation of the dependent and independent variables. The first algorithm is based on a construction of the Lie point symmetry algebra and on the computation of its derived algebra. The second algorithm exploits the differential Thomas decomposition and allows not only to test the linearizability, but also to generate a system of nonlinear partial differential equations that determines the point transformation and the coefficients of the linearized equation. The implementation of both algorithms is discussed and their application is illustrated using several examples.
dc.description.sponsorshipThe authors are grateful to Daniel Robertz and Boris Dubrov for helpful discussions and to the anonymous reviewers for several insightful comments that led to a substantial improvement of the paper. This work has been partially supported by the King Abdullah University of Science and Technology (KAUST baseline funding; D. A. Lyakhov and D. L. Michels), by the Russian Foundation for Basic Research (grant No.16-01-00080; V. P. Gerdt), and by the Ministry of Education and Science of the Russian Federation (agreement 02.a03.21.0008; V. P. Gerdt).
dc.publisherAssociation for Computing Machinery (ACM)
dc.relation.urlhttps://dl.acm.org/citation.cfm?doid=3087604.3087626
dc.rightsArchived with thanks to Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '17
dc.subjectAlgorithmic linearization test
dc.subjectDetermining equations
dc.subjectDifferential Thomas decomposition
dc.subjectLie symmetry algebra
dc.subjectOrdinary differential equations
dc.subjectPoint transformation
dc.subjectPower series solutions
dc.titleAlgorithmic Verification of Linearizability for Ordinary Differential Equations
dc.typeConference Paper
dc.contributor.departmentVisual Computing Center (VCC)
dc.identifier.journalProceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '17
dc.conference.date2017-07-25 to 2017-07-28
dc.conference.name42nd ACM International Symposium on Symbolic and Algebraic Computation, ISSAC 2017
dc.conference.locationKaiserslautern, DEU
dc.eprint.versionPublisher's Version/PDF
dc.contributor.institutionJoint Institute for Nuclear Research & Peoples' Friendship University, Moscow Region, Russian Fed.
dc.identifier.arxivid1702.03829
kaust.personLyakhov, Dmitry
kaust.personMichels, Dominik L.
refterms.dateFOA2018-06-13T10:44:39Z
dc.date.published-online2017-07-19
dc.date.published-print2017


Files in this item

Thumbnail
Name:
p285-lyakhov.pdf
Size:
1.085Mb
Format:
PDF
Description:
Main article

This item appears in the following Collection(s)

Show simple item record