arXivDaily arXiv每日学术速递 周一至周五更新
arXiv math-ph/0402063math-phmath.MP
收藏

二阶线性常微分方程的非Liouville解

Non-Liouvillian solutions for second order linear ODEs

L. Chan, E. S. Cheb-Terrab

摘要:

对于有理系数线性常微分方程这一重要问题,已有可靠的文献和算法来计算Liouvillian解。以Kamke的书中发现的363个二阶方程为例,其中51%承认Liouvillian解决方案,因此可以使用Kovacic算法求解。另一方面,在数学物理中,不具有Liouvillian形式的特殊函数解经常出现,但却没有通用的算法来计算它们。本文提出了一种计算特殊函数解的算法,这些特殊函数可以用2F1,1F1或0F1超几何函数表示。该算法易于在计算机代数系统的框架内实现,并系统地解决了所提到的363个Kamke线性常微分方程的例子中的91%。

英文摘要:

There exist sound literature and algorithms for computing Liouvillian solutions for the important problem of linear ODEs with rational coefficients. Taking as sample the 363 second order equations of that type found in Kamke's book, for instance, 51 % of them admit Liouvillian solutions and so are solvable using Kovacic's algorithm. On the other hand, special function solutions not admitting Liouvillian form appear frequently in mathematical physics, but there are not so general algorithms for computing them. In this paper we present an algorithm for computing special function solutions which can be expressed using the 2F1, 1F1 or 0F1 hypergeometric functions. The algorithm is easy to implement in the framework of a computer algebra system and systematically solves 91 % of the 363 Kamke's linear ODE examples mentioned.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑