Symbolic Analysis of Second-order Ordinary Differential Equations with Polynomial Coefficients

Abstract

The singularity structure of a second-order ordinary differential equation with polynomial coefficients often yields the type of solution. It is shown that the $\theta$-operator method can be used as a symbolic computational approach to obtain the indicial equation and the recurrence relation. Consequently, the singularity structure leads to the transformations that yield a solution in terms of a special function, if the equation is suitable. Hypergeometric and Heun-type equations are mostly employed in physical applications. Thus, only these equations and their confluent types are considered with SageMath routines which are assembled in the open-source package symODE2.

Keywords

• Ordinary differential equations
• symbolic analysis
• special functions

References

1. Allen, G., Some efficient methods for obtaining infinite series solutions of nth-order linear ordinary differential equations, NASA Technical Report (NASA TR-R-390), 1972.
2. Birkandan, T., Cvetiˇc, M., Conformal invariance and near-extreme rotating AdS black holes, Phys. Rev. D, 84(2011), 044018. [arXiv:1106.4329 [hep-th]].
3. Birkandan, T., Cvetiˇc, M., Addentum to: Conformal invariance and near-extreme rotating AdS black holes, Phys. Rev. D, 90(6)(2014), 067504. [arXiv:1406.5208 [hep-th]].
4. Birkandan, T.,Cvetiˇc, M., An analysis of the wave equation for the U(1)2 gauged supergravity black hole, Class. Quant. Grav., 32(8)(2015), 085007. [arXiv:1501.03144 [hep-th]].
5. Birkandan, T., Hortacsu, M., Dirac equation in the background of the Nutku helicoid metric, J. Math. Phys., 48(2007), 092301. [arXiv:0706.2543 [gr-qc]].
6. Birkandan, T., Hortacsu, M., Examples of Heun and Mathieu functions as solutions of wave equations in curved spaces, J. Phys. A, 40(2007), 1105–1116. [arXiv:gr-qc/0607108 [gr-qc]].
7. Birkandan, T., G¨uzelg¨un, C., S¸ irin, E., Uslu, M.C., Symbolic and numerical analysis in general relativity with open source computer algebrasystems, Gen. Rel. Grav., 51(1)(2019), 4. [arXiv:1703.09738 [gr-qc]].
8. Birkandan, T., Giscard, P.L., Tamar, A., Computations of general Heun functions from their integral series representations, IEEE XPlore, Proceedings of the International Conference Days on Diffraction 2021(2021), 12—18. [arXiv: 2106.13729 [math.NA]].

9. Birkandan, T., The symODE2 package, Accessed 12 June 2022, https://github.com/tbirkandan/symODE2
10. Bronstein, M., Lafaille, S., Solutions of linear ordinary differential equations in terms of special functions, Proceedings of the 2002 InternationalSymposium on Symbolic and algebraic computation(2002), 23.
11. Chan, L., Cheb-Terrab, E.S., Non-liouvillian solutions for second order Linear ODEs, Proceedings of the 2004 International Symposium on Symbolic and Algebraic Computation(2004), 80. [arXiv:math-ph/0402063].
12. Cunha, M. S., Christiansen, H.R., Confluent Heun functions in gauge theories on thick braneworlds, Phys. Rev. D 84(2011), 085002. [arXiv:1109.3486 [hep-th]].
13. Debeerst, R., van Hoeij, M., Koepf,W., Solving differential equations in terms of Bessel functions, Proceedings of the Twenty-first International Symposium on Symbolic and Algebraic Computation, (2008), 39.
14. Derezinski, J., Hypergeometric type functions and their symmetries, Ann. Henri Poincare, 15(2014), 1569. [arXiv:1305.3113 [math.CA]].
15. Dong, Q., Sun, G.H., Aoki, M.A., Chen, C.Y., Dong, S.H., Exact solutions of a quartic potential, Mod. Phys. Lett. A 34(26)(2019), 1950208.
16. Duval, A., Loday-Richaud, M., Kovacic’s algorithm and its application to some families of special functions, AAECC, 3(1992), 211.
17. Fiziev, P.P., Exact solutions of Regge-Wheeler equation and quasi-normal modes of compact objects, Class. Quant. Grav., 23(2006), 2447-2468. [arXiv:gr-qc/0509123 [gr-qc]].
18. Giscard, P.L.,Tamar, A., Elementary integral series for Heun functions: Application to black-hole perturbation theory, J. Math. Phys., 63(2022), 063501. [arXiv:2010.03919 [math-ph]].
19. GNU Octave Version 5.2.0, Scientific Programming Language, https://www.gnu.org/software/octave/, 2020.
20. Grabmeier, J., Kaltofen, E., Weispfennig, U. (eds.), Computer Algebra Handbook, Springer, Berlin, 2003.
21. Gourgoulhon, E., Bejger, M., Mancini, M., Tensor calculus with open-source software: the SageManifolds project, J. Phys. Conf. Ser., 600(2015), 012002. [arXiv:1412.4765 [gr-qc]].
22. Gourgoulhon, E., Mancini, M., Symbolic tensor calculus on manifolds: a SageMath implementation, Les cours du CIRM, 6(2018), I. [arXiv:1804.07346 [gr-qc]].
23. “HeunG”, Accessed 12 June 2022, https://reference.wolfram.com/language/ref/HeunG.html.
24. “HeunB”, Accessed 12 June 2022, https://reference.wolfram.com/language/ref/HeunB.html.
25. “HeunT”, Accessed 12 June 2022, https://reference.wolfram.com/language/ref/HeunT.html.
26. “Heun and Related Functions”, Accessed 12 June 2022, https://reference.wolfram.com/language/guide/HeunAndRelatedFunctions.html
27. Hortacsu, M., Explicit examples on conformal invariance, Int. J. Theor. Phys. 42(2003), 49. [arXiv:hep-th/0106080 [hep-th]].
28. Hortacsu, M., Heun functions and some of their applications in physics, Advances in High Energy Physics, 2018(2018), 8621573. [arXiv:1101.0471 [math-ph]].
29. “Hypergeometric2F1”, Accessed 12 June 2022, https://functions.wolfram.com/HypergeometricFunctions/Hypergeometric2F1/13/01/01/01/.
30. “HypergeometricU”, Accessed 12 June 2022, https://reference.wolfram.com/language/ref/HypergeometricU.html.
31. Imamoglu, E.,van Hoeij, M., Computing hypergeometric solutions of second order linear differential equations using quotients of formal solutions and integral bases, J. Symbolic Computation, 83(2017), 254. [arXiv:1606.01576 [cs.SC]].
32. Ishkhanyan, T., From Sine to Heun: 5 New Functions for Mathematics and Physics in the Wolfram Language, Accessed 12 June 2022, https://blog.wolfram.com/2020/05/06/from-sine-to-heun-5-new-functions-for-mathematics-and-physics-in-the-wolfram-language/
33. Karayer, H., Demirhan, D., Büyükkılıç, F., Extension of Nikiforov-Uvarov method for the solution of Heun equation, J. Math. Phys., 56(2015), 063504. [arXiv:1504.03518 [math-ph]].
34. Karayer, H., Demirhan, D., Exact analytical solution of Schrodinger equation for a generalized noncentral potential, Eur. Phys. J. Plus 137(2022), 527.
35. Karayer, H., Demirhan, D., Atman K.G., Analytical exact solutions for the Razavy type potential, Mathematical Methods in the Applied Sciences, 43(15)(2020), 9185–9194.
36. Kovacic, J.J., An algorithm for solving second order linear homogeneous differential equations, J. Symbolic Computation, 2(1986), 3.
37. Kristensson, G., Second Order Differential Equations: Special Functions and Their Classification, Springer, New York, 2010.
38. Kunwar, V., van Hoeij, M., Second order differential equations with hypergeometric solutions of degree three, Proceedings of the Twenty-first International Symposium on Symbolic and Algebraic Computation, (2008), 235.
39. MacCallum, M.A.H., Computer algebra in gravity research, Living Rev. Rel., 21(1)(2018), 6.
40. Maier, R.S., On reducing the Heun equation to the hypergeometric equation, J. Differential Equations, 213(2005), 171. [arXiv:math/0203264 [math.CA]].
41. Maier, R.S., The 192 solutions of the Heun equation, Math. Comp., 76(2007), 811. [arXiv:math/0408317 [math.CA]].
42. Maple 2020, Maplesoft, a division of Waterloo Maple Inc., Waterloo, Ontario, 2020.
43. Mathematica Version 12.1, Wolfram Research, Inc., Champaign, IL, 2020.
44. Maxima, a Computer Algebra System, Version 5.44.0, http://maxima.sourceforge.net/, 2020.
45. Motygin, O.V., On numerical evaluation of the Heun functions, IEEE XPlore, Proceedings of the International Conference Days on Diffraction 2015, (2015), 222. [arXiv:1506.03848 [math.NA]].
46. Motygin, O.V., On evaluation of the confluent Heun functions, IEEE XPlore, Proceedings of the International Conference Days on Diffraction 2018, (2018), 223. [arXiv:1804.01007 [math.NA]].
47. Nasheeha, R.N., Thirukkanesh, S., Ragel, F.C., Anisotropic generalization of isotropic models via hypergeometric equation, Eur. Phys. J. C, 80(1)(2020), 6.
48. Olver, F.W.J., Asymptotics and Special Functions, Academic Press, New York, 1974.
49. Olver, F.W.J., Olde Daalhuis, A.B., Lozier, D.W., Schneider, B.I., Boisvert, R.F. et all. (eds.), NIST Digital Library of Mathematical Functions, http://dlmf.nist.gov/, Release 1.0.27, 2020.
50. Petroff, D., Slowly rotating homogeneous stars and the Heun equation, Class. Quant. Grav., 24(2007), 1055-1068. [arXiv:gr-qc/0701081 [grqc]].
51. REDUCE, a portable general-purpose computer algebra system, https://reduce-algebra.sourceforge.io/, 2020.
52. Ronveaux, A. (ed.), Heun’s Differential Equations, Oxford University Press, New York, 1995.
53. SageMath, The Sage Mathematics Software System (Version 9.2), The Sage Developers, https://www.sagemath.org, 2020.
54. Sakallı, İ., Jusufi, K., Övgün, A., Analytical solutions in a cosmic string born-infeld-dilaton black hole geometry: Quasinormal modes and quantization, Gen. Rel. Grav., 50(10)(2018), 125. [arXiv:1803.10583 [gr-qc]].
55. Slavyanov, S.Yu., Lay, W., Special Functions, A Unified Theory Based on Singularities, Oxford University Press, New York, 2000.
56. “Solving Some Second Order Linear ODEs that Admit Hypergeometric 2F1, 1F1, and 0F1 Function Solutions”, Accessed 12 June 2022, https://www.maplesoft.com/support/help/Maple/view.aspx?path=dsolve/hyper3.
57. “The five Second Order Linear Heun equations and the corresponding Heun function solutions”, Accessed 12 June 2022, https://www.maplesoft.com/support/help/Maple/view.aspx?path=Heun.
58. Vieira, H.S., Resonant frequencies of the hydrodynamic vortex, Int. J. Mod. Phys. D 26, no.04(2016), 1750035. [arXiv:1510.08298 [gr-qc]].
59. Vit´oria, R.L.L., Furtado, C. and Bakke, K., On a relativistic particle and a relativistic position-dependent mass particle subject to the Klein–Gordon oscillator and the Coulomb potential, Annals Phys. 370(2016), 128-136. [arXiv:1511.05072 [quant-ph]].