[Paper Review] On $q$-deformations of the Heun equation

Kouichi Takemura|arXiv (Cornell University)|Dec 27, 2017

Nonlinear Waves and Solitons3 references3 citations

TL;DR

This paper investigates $q$-deformations of the Heun equation through degenerations of Ruijsenaars–van Diejen operators, characterizing variants via regular singularities and establishing quasi-exact solvability by identifying finite-dimensional invariant subspaces under the $q$-Heun operator. The key contribution is the explicit construction of such subspaces and eigenfunctions for specific parameter conditions.

ABSTRACT

The $q$-Heun equation and its variants arise as degenerations of Ruijsenaars-van Diejen operators with one particle. We investigate local properties of these equations. In particular we characterize the variants of the $q$-Heun equation by using analysis of regular singularities. We also consider the quasi-exact solvability of the $q$-Heun equation and its variants. Namely we investigate finite-dimensional subspaces which are invariant under the action of the $q$-Heun operator or variants of the $q$-Heun operator.

Motivation & Objective

• To characterize variants of the $q$-Heun equation using analysis of regular singularities.
• To investigate the quasi-exact solvability of the $q$-Heun equation and its degenerate forms.
• To identify finite-dimensional subspaces invariant under the action of $q$-Heun-type operators.
• To determine explicit conditions under which eigenfunctions and eigenvalues can be constructed in one-dimensional invariant subspaces.
• To clarify the role of accessory parameters in $q$-difference equations derived from Ruijsenaars–van Diejen operators.

Proposed method

• Derives the $q$-Heun equation as a degeneration of the fourth-order Ruijsenaars–van Diejen operator with one particle.
• Analyzes the structure of the $q$-difference equation $p^{ extlangle 0 angle}(x)g(x/q) + p^{ extlangle 1 angle}(x)g(x) + p^{ extlangle 2 angle}(x)g(qx) = 0$, where $p^{ extlangle i angle}(x)$ are quadratic polynomials.
• Identifies accessory parameters via the coefficient $p^{ extlangle 1 angle}_1$ (or $E$ in equation 1.2), which is independent of local exponents.
• Applies spectral analysis to the $q$-Heun operator $A^{ extlangle 4 angle}$, focusing on invariant subspaces spanned by monomials $x^{ u + k}$.
• Uses parameter conditions on exponents at $x=0$ and $x=rown$ to define invariant subspaces of finite dimension.
• Derives explicit eigenvalues for one-dimensional invariant subspaces by solving $A^{ extlangle i angle}x^{ u} = ext{eigenvalue} imes x^{ u}$.

Experimental results

Research questions

• RQ1 How do the regular singularities of the $q$-Heun equation and its variants characterize their structure and parameter dependence?
• RQ2 What conditions on the parameters of the $q$-Heun operator lead to finite-dimensional invariant subspaces?
• RQ3 In what cases does the $q$-Heun operator admit quasi-exact solvability, and how can the eigenfunctions and eigenvalues be explicitly constructed?
• RQ4 How do the degenerations of the Ruijsenaars–van Diejen operator lead to the $q$-Heun equation and its variants?
• RQ5 What is the role of the parameter $E$ (or $p^{ extlangle 1 angle}_1$) in the $q$-Heun equation, and why is it considered an accessory parameter?

Key findings

• The $q$-Heun equation is characterized as a $q$-difference equation with quadratic coefficients $p^{ extlangle i angle}(x)$, and its variants arise from degenerations of the Ruijsenaars–van Diejen operator.
• The parameter $E$ in equation (1.2) is identified as an accessory parameter, independent of local exponents at regular singularities.
• For the operator $A^{ extlangle 3 angle}$, a finite-dimensional invariant subspace $V^{ extlangle 3 angle}$ is constructed when $ u = rac{1}{2} - n$ with $n$ a non-negative integer, and the subspace is preserved under the action of $A^{ extlangle 3 angle}$.
• For $A^{ extlangle 2 angle}$, an invariant subspace $V^{ extlangle 2 angle}$ exists under the condition that $ u = rac{1}{2} - n$ with $n eq 0$, and the subspace is preserved due to vanishing coefficients $d^{ extlangle 2 angle,--}( u)$, $d^{ extlangle 2 angle,-}( u)$, $d^{ extlangle 2 angle,++}(1/2)$, and $d^{ extlangle 2 angle,+}(1/2)$.
• In the one-dimensional case, the eigenvalue of $A^{ extlangle 4 angle}$ acting on $x^{- u}$ is explicitly given by $d^{ extlangle 4 angle,0}(- u) = -ig(q^{h_1+1/2}t_1 + q^{h_2+1/2}t_2ig)q^{- u} - ig(q^{l_1-1/2}t_1 + q^{l_2-1/2}t_2ig)q^{ u_1+ u_2+ u}$.
• When $eta = ig|h_1+h_2+h_3-l_1-l_2-l_3+2ig|$, the operator $A^{ extlangle 3 angle}$ preserves the one-dimensional space spanned by $x^{1/2}$, with eigenvalue $\sum_{1\leq i<j\leq 3}\big(q^{h_i+h_j+1/2}+q^{l_i+l_j-1/2}\big)t_it_j$.