Manuel Bronstein
ABSTRACT
We describe a new algorithm for computing special function solutions of the form y(x) = m(x)F(ξ(x)) of second order linear ordinary differential equations, where m(x) is an arbitrary Liouvillian function, ξ(x) is an arbitrary rational function, and F satisfies a given second order linear ordinary differential equation. Our algorithm, which is based on finding an appropriate point transformation between the equation defining F and the one to solve, is able to find all rational transformations for a large class of functions F, in particular (but not only) the 0F1 and 1F1 special functions of mathematical physics, such as Airy, Bessel, Kummer and Whittaker functions. It is also able to identify the values of the parameters entering those special functions, and can be generalized to equations of higher order.
- BRONSTEIN, M. Computer algebra algorithms for linear ordinary differential and difference equations. In Proceedings of the third European congress of mathematics, vol. II (2001), vol. 202 of Progress in Mathematics, Birkhäuser, Basel, pp. 105-119.Google Scholar
- KAMKE, E. Differentialgleichungen: Lösungsmethoden und Lösungen. Akademische Verlagsgesellschaft, Leipzig, 1956.Google Scholar
- KAMRAN, N., AND OLVER, P. Equivalence of differential operators. SIAM Journal of Mathematical Analysis 20 (Sept. 1989), 1172-1185. Google ScholarDigital Library
- SCHLESINGER, L. Handbuch der Theorie der linearen Differentialgleichungen. Teubner, Leipzig, 1895.Google Scholar
- SEIDENBERG, A. Abstract differential algebra and the analytic case. Proceedings of the American Mathematical Society 9 (1958), 159-164.Google ScholarCross Ref
- SEIDENBERG, A. Abstract differential algebra and the analytic case II. Proceedings of the American Mathematical Society 23 (1969), 689-691.Google ScholarCross Ref
- SINGER, M. Solving homogeneous linear differential equations in terms of second order linear differential equations. American Journal of Mathematics 107 (1985), 663-696.Google ScholarCross Ref
- ULMER, F., AND WEIL, J.-A. Note on Kovacic's algorithm. J. Symbolic Computation 22, 2 (August 1996), 179-200. Google ScholarDigital Library
- VAN HOEIJ, M., RAGOT, J.-F., ULMER, F., AND WEIL, J.-A. Liouvillian solutions of linear differential equations of order three and higher. J. Symbolic Computation 28, 4 and 5 (October/November 1999), 589-610. Google ScholarDigital Library
- WILLIS, B. An extensible differential equation solver. SIGSAM Bulletin 35, 1 (2001), 3-7. Google ScholarDigital Library
Index Terms
Solutions of linear ordinary differential equations in terms of special functions
Recommendations
Approximate solution of linear ordinary differential equations with variable coefficients
In this paper, a novel, simple yet efficient method is proposed to approximately solve linear ordinary differential equations (ODEs). Emphasis is put on second-order linear ODEs with variable coefficients. First, the ODE to be solved is transformed to ...
Polynomial solutions of differential-difference equations
We investigate the zeros of polynomial solutions to the differential-difference equation P"n"+"1=A"nP"n^'+B"nP"n,n=0,1,... where A"n and B"n are polynomials of degree at most 2 and 1 respectively. We address the question of when the zeros are real and ...
Differential equations for Fq-linear functions, II: regular singularity
We study some classes of equations with Carlitz derivatives for F"q-linear functions, which are the natural function field counterparts of linear ordinary differential equations with a regular singularity. In particular, an analog of the equation for ...
Comments