{"title":"常系数一阶ode的多项式解","authors":"Ruyong Feng, X. Gao","doi":"10.1145/990353.990360","DOIUrl":null,"url":null,"abstract":"Most work on finding elementary function solutions for differential equations focussed on linear equations [4, 2, 6, 1, 3]. In this paper, we try to find polynomial solutions to non-linear differential equations. Instead of finding arbitrary polynomial solutions, we will find the polynomial general solutions. For example, the general solution for (d<i>y</i>/d<i>x</i>)<sup>2</sup> - 4<i>y</i> = 0 is <i>y</i> = (<i>x + c</i>)<sup>2</sup>, where <i>c</i> is an arbitrary constant. We give a necessary and sufficient condition for an ODE with constant coefficients to have polynomial general solutions. For a first order ODE of degree <i>n</i> and with constant coefficients, we give an algorithm of complexity <i>O</i>(<i>n</i><sup>9</sup>) to decide if it has a polynomial general solution and to compute the solution if it exists.","PeriodicalId":314801,"journal":{"name":"SIGSAM Bull.","volume":"10 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2003-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Polynomial solutions for first order ODEs with constant coefficients\",\"authors\":\"Ruyong Feng, X. Gao\",\"doi\":\"10.1145/990353.990360\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Most work on finding elementary function solutions for differential equations focussed on linear equations [4, 2, 6, 1, 3]. In this paper, we try to find polynomial solutions to non-linear differential equations. Instead of finding arbitrary polynomial solutions, we will find the polynomial general solutions. For example, the general solution for (d<i>y</i>/d<i>x</i>)<sup>2</sup> - 4<i>y</i> = 0 is <i>y</i> = (<i>x + c</i>)<sup>2</sup>, where <i>c</i> is an arbitrary constant. We give a necessary and sufficient condition for an ODE with constant coefficients to have polynomial general solutions. For a first order ODE of degree <i>n</i> and with constant coefficients, we give an algorithm of complexity <i>O</i>(<i>n</i><sup>9</sup>) to decide if it has a polynomial general solution and to compute the solution if it exists.\",\"PeriodicalId\":314801,\"journal\":{\"name\":\"SIGSAM Bull.\",\"volume\":\"10 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2003-09-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"SIGSAM Bull.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/990353.990360\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"SIGSAM Bull.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/990353.990360","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Polynomial solutions for first order ODEs with constant coefficients
Most work on finding elementary function solutions for differential equations focussed on linear equations [4, 2, 6, 1, 3]. In this paper, we try to find polynomial solutions to non-linear differential equations. Instead of finding arbitrary polynomial solutions, we will find the polynomial general solutions. For example, the general solution for (dy/dx)2 - 4y = 0 is y = (x + c)2, where c is an arbitrary constant. We give a necessary and sufficient condition for an ODE with constant coefficients to have polynomial general solutions. For a first order ODE of degree n and with constant coefficients, we give an algorithm of complexity O(n9) to decide if it has a polynomial general solution and to compute the solution if it exists.