[Paper Review] On a polynomial transformation of hypergeometric equations, Heun's differential equation and exceptional Jacobi polynomials

Mahouton Norbert Hounkonnou, A. Ronveaux|arXiv (Cornell University)|Jun 20, 2013

Quantum Mechanics and Non-Hermitian Physics15 references3 citations

TL;DR

This paper introduces a general polynomial transformation method to generate second-order linear differential equations from hypergeometric equations via the linear transformation $ y(x) = A(x)z(x) + B(x)z'(x) $, where $ A(x) $ and $ B(x) $ are polynomials. The approach yields new classes of equations, including Heun’s equation and exceptional Jacobi polynomials, by algebraically deriving the resulting ODEs without requiring Fuchsian constraints, thus unifying and extending known results on special functions and orthogonal polynomials.

ABSTRACT

This paper addresses a general method of polynomial transformation of hypergeometric equations. Examples of some classical special equations of mathematical physics are generated. Heun's equation and exceptional Jacobi polynomials are also treated.

Motivation & Objective

• To develop a general algebraic method for transforming hypergeometric equations into new second-order ODEs using polynomial transformations of the dependent variable.
• To extend the applicability of Kimura’s transformation method beyond Fuchsian constraints, allowing non-Fuchsian equations and arbitrary polynomial coefficients.
• To recover and unify known results on exceptional orthogonal polynomials, particularly $X_1$-Jacobi polynomials, within a single transformation framework.
• To demonstrate that Heun’s differential equation and its confluent forms can be systematically derived from hypergeometric equations via this transformation.
• To provide a systematic derivation of the differential equation satisfied by $ y(x) = A(x)z(x) + B(x)z'(x) $, using determinantal expressions involving $ A, B $, and their derivatives.

Proposed method

• The method applies a linear transformation $ y(x) = A(x)z(x) + B(x)z'(x) $ to solutions $ z(x) $ of the hypergeometric equation $ \sigma(x)z'' + \tau(x)z' + \lambda z = 0 $, where $ \sigma $ is degree ≤2 and $ \tau $ is degree 1.
• It derives the second-order ODE for $ y(x) $ using a determinantal formula: $ \mathcal{L}_2[y] = \left| \begin{array}{ccc} y & A & B \\ \sigma y' & \bar{A} & \bar{B} \\ \sigma(\sigma y')' & \bar{\bar{A}} & \bar{\bar{B}} \end{array} \right| = 0 $, with $ \bar{A}, \bar{B}, \bar{\bar{A}}, \bar{\bar{B}} $ defined via derivatives of $ A, B, \sigma, \tau, \lambda $.
• The method computes $ \bar{A} = \sigma A' - B\lambda $, $ \bar{B} = \sigma A + \sigma B' - \tau B $, and higher derivatives recursively to express the full ODE in terms of $ A, B, \sigma, \tau, \lambda $.
• It shows that the resulting equation is not necessarily hypergeometric, but can reduce to known equations such as Hermite, Laguerre, or Heun’s equation under specific choices of $ A, B, \sigma, \tau $.
• The approach allows the use of any solution $ z(x) $ of the hypergeometric equation, including polynomial and non-polynomial solutions, and applies to both classical and exceptional orthogonal polynomials.
• The method is applied to recover $ X_1 $-Jacobi polynomials by choosing $ A(\eta) $ and $ B(\eta) $ as rational functions of $ \zeta(\eta) $ and $ \tilde{\zeta}(\eta) $, leading to a differential equation with rational coefficients and explicit parameters.

Experimental results

Research questions

• RQ1 Can a general polynomial transformation of the dependent variable generate new classes of second-order linear ODEs from hypergeometric equations?
• RQ2 How can the resulting differential equation for $ y(x) = A(x)z(x) + B(x)z'(x) $ be systematically derived without assuming Fuchsian structure?
• RQ3 To what extent can this method reproduce known equations such as Heun’s equation and exceptional orthogonal polynomials?
• RQ4 What are the necessary and sufficient conditions on $ A(x), B(x), \sigma(x), \tau(x), \lambda $ to generate Heun-type equations?
• RQ5 Can the method be used to derive the differential equation satisfied by $ X_1 $-Jacobi polynomials from a hypergeometric base equation?

Key findings

• The determinantal formula $ \mathcal{L}_2[y] = 0 $ provides a complete algebraic derivation of the ODE satisfied by $ y(x) = A(x)z(x) + B(x)z'(x) $, valid for arbitrary polynomials $ A(x), B(x) $.
• When $ \sigma(x) = x $, $ \tau(x) = 1 + \alpha - x $, and $ \lambda = n $, the transformation with $ A = 1 $, $ B = -1 $ recovers the known Laguerre polynomial identity $ L_n^{(\alpha)}(x) - \frac{d}{dx}L_n^{(\alpha)}(x) = \frac{d}{dx}L_{n+1}^{(\alpha)}(x) = L_n^{(\alpha+1)}(x) $.
• For $ \sigma = 1 $, $ \tau = -2x $, choosing $ B = 0 $ and arbitrary $ A $ yields the standard Hermite equation $ y'' - 2xy' + \lambda y = 0 $, while $ A = 0 $, $ B $ arbitrary gives a modified Hermite equation with eigenvalue $ \bar{\lambda} = \lambda - 2 $.
• By setting $ A = \alpha x + \beta $, $ B $ of degree 2, and $ \sigma = x^2 - x $, the method generates Heun’s differential equation with regular singularities at $ x = 0, 1, \mu $, and a regular singular point at infinity.
• The $ X_1 $-Jacobi polynomials are recovered by choosing $ A(\eta) $ and $ B(\eta) $ as rational functions of $ \zeta(\eta) $ and $ \tilde{\zeta}(\eta) $, leading to a second-order ODE with rational coefficients and explicit parameter dependence.
• The method provides a unified framework that retrieves both classical orthogonal polynomials (Hermite, Laguerre, Jacobi) and exceptional ones (e.g., $ X_1 $-Jacobi) from a single transformation applied to hypergeometric equations.