[Paper Review] On spectral polynomials of the Heun equation

Boris Shapiro, Miloš Tater|ArXiv.org|Dec 12, 2008

Quantum Mechanics and Non-Hermitian Physics4 citations

TL;DR

This paper investigates the asymptotic distribution of roots of spectral polynomials associated with the classical Heun equation, a second-order linear ODE with cubic coefficient polynomials. Using root-counting measures of these polynomials, the authors analyze the limiting behavior as the degree $ n \to \infty $, proposing and providing evidence for a conjecture that the roots converge to a specific curvilinear tree structure within the convex hull of the cubic’s roots, independent of the first-order coefficient. The key contribution is a refined description of the limiting support via an integral condition, linking it to minimal logarithmic capacity continua.

ABSTRACT

The classical Heun equation has the form {Q(z) d^2/dz^2 +P(z) d/dz +V(z)}S(z)=0 where Q(z) is a cubic, P(z) at most quadratic and V(z) linear polynomials resp. In the second half of the 19-th century E.Heine and T.STieltjes initiated the study of the set of all V(z) such that the above equation has a polynomial solution S(z) of a given degree n. The main goal of the present paper is to study the union of the roots of the latter set of V(z)*s when n->oo. We formulate an intriguing conjecture of K.Takemura describing the limiting set and give a substantial amount of additional information.

Motivation & Objective

• To study the limiting distribution of roots of spectral polynomials arising from the classical Heun equation as the degree $ n \to \infty $.
• To analyze the dependence of the root distribution on the coefficients of the Heun equation, particularly whether the limiting measure depends only on the cubic coefficient $ Q(z) $.
• To provide theoretical and numerical evidence for a conjecture on the geometric structure of the limiting root support, specifically a three-segment curvilinear tree connecting the roots of $ Q(z) $ to an interior point.
• To extend the analysis to generalized Heun equations of higher order and conjecture a similar limiting behavior for their spectral polynomials.

Proposed method

• Define the spectral polynomial $ Sp_n(\lambda) $ as the product of all linear $ V(z) $-polynomials (of degree at most one) that yield polynomial solutions $ S(z) $ of degree $ n $, counted with multiplicity.
• Construct the root-counting measure $ \mu_n = \frac{1}{n+1} \sum_{j=1}^{n+1} \delta(\lambda - t_{n,j}) $, which is a probability measure on the complex plane.
• Apply results from [11] to establish that for large $ n $, all roots of $ V(z) $ and $ S(z) $ lie within an $ \epsilon $-neighborhood of the convex hull $ Conv_Q $ of the roots of $ Q(z) $.
• Use an integral condition involving complex integrals over line segments between roots of $ Q(z) $ to define three curves $ \gamma_i $, whose common intersection point and segments to the roots form the set $ \Gamma_Q $.
• Formulate and analyze Takemura’s conjecture that the limiting measure $ \mu $ is supported exactly on $ \Gamma_Q $, the union of three segments connecting each root of $ Q(z) $ to the common intersection point of the $ \gamma_i $ curves.
• Provide numerical evidence from the case $ Q(z) = z(z-1)(z + 1/2 - i) $, showing that the roots of $ Sp_{50}(\lambda) $ cluster along a three-branch structure consistent with $ \Gamma_Q $.

Experimental results

Research questions

• RQ1 What is the limiting distribution of the roots of spectral polynomials associated with the classical Heun equation as the solution degree $ n \to \infty $?
• RQ2 Does the limiting root distribution depend only on the cubic coefficient $ Q(z) $, or is it influenced by the first-order coefficient $ P(z) $?
• RQ3 Can the limiting support of the root-counting measure be described geometrically as a union of three curved segments connecting the roots of $ Q(z) $ to a common interior point?
• RQ4 Is the limiting support $ \Gamma_Q $ equivalent to the continuum of minimal logarithmic capacity connecting the roots of $ Q(z) $?
• RQ5 Can the Cauchy transform of the limiting measure $ \mu $ satisfy a linear ODE of order $ k $, with coefficients depending only on the leading coefficient $ Q_{k+1}(z) $?

Key findings

• For sufficiently large $ n $, the set $ \mathcal{V}_n $ of $ V(z) $ polynomials yielding degree-$ n $ solutions to the Heun equation contains exactly $ n+1 $ linear polynomials, counted with multiplicity.
• The root-counting measures $ \mu_n $ of the spectral polynomials $ Sp_n(\lambda) $ converge weakly to a probability measure $ \mu $ supported within the convex hull $ Conv_Q $ of the roots of $ Q(z) $.
• Numerical experiments for $ n = 50 $ show that the roots of $ Sp_{50}(\lambda) $ cluster along a three-branch structure inside $ Conv_Q $, consistent with the conjectured support $ \Gamma_Q $.
• The limiting support $ \Gamma_Q $ is defined as the union of three segments, each connecting a root $ a_i $ of $ Q(z) $ to the common intersection point of the curves $ \gamma_i $, where $ \gamma_i $ is the set of points $ b $ such that the integral $ \int_{a_j}^{a_k} \sqrt{ \frac{b-t}{(t-a_1)(t-a_2)(t-a_3)} } dt $ is real.
• The set $ \Gamma_Q $ is conjectured to coincide with the continuum of minimal logarithmic capacity connecting the three roots of $ Q(z) $, providing a geometric characterization of the limiting root distribution.
• The paper conjectures that for generalized Heun equations of order $ k+1 $, the limiting root-counting measures $ \mu_n $ converge to a measure supported on a curvilinear tree with leaves at the roots of $ Q_{k+1}(z) $, and that the Cauchy transform of $ \mu $ satisfies a linear ODE of order $ k+1 $ with coefficients depending only on $ Q_{k+1}(z) $.