Van Vleck spectra of high-order Heun operators:\ finite-band universality and exterior asymptotics

Resumo Técnico: Espectros de Van Vleck de Operadores de Heun de Alta Ordem

Enunciado do Problema
O artigo investiga as propriedades espectrais assintóticas de análogos de alta ordem do clássico operador de Heun (índice de Fuchs um). Especificamente, considera o operador diferencial:
$$d = \sum_{i=1}^k Q_i(z) \frac{d^i}{dz^i}, \quad \deg Q_i \le i+1, \quad \deg Q_k = k+1.$$
Para um grau $n$ fixo, o estudo foca nos polinômios lineares de Van Vleck $V(z)$ tais que a equação $(d + V)S = 0$ admite uma solução polinomial $S(z)$ de grau $n$. Os zeros desses polinômios de Van Vleck, denotados por $z_{n,j}$, formam o espectro. O artigo define o polinômio espectral de ordem $n$ como $Sp_n(z) = \prod_{j=1}^{n+1} (z - z_{n,j})$ e analisa a distribuição assintótica de suas raízes quando $n \to \infty$. Isso generaliza a clássica teoria de Heine-Stieltjes (onde $k=2$) para uma ordem $k$ arbitrária.

Metodologia
A metodologia central baseia-se em uma representação determinante de banda finita do polinômio espectral.

1. Formulação Matricial: A condição para a existência de uma solução de grau $n$ é equivalente à degenerescência do operador $d - \lambda_n(z-t)$ no espaço de polinômios de grau $\le n$. Este operador é representado na base monomial por uma matriz de banda finita $M_n(t) = tI - Z + \lambda_n^{-1}d$, onde $Z$ é a matriz de multiplicação por $z$.
2. Teorema de Banda Finita: O autor aplica uma variante do princípio de Kuijlaars–Van Assche para coeficientes de recorrência complexos. Ao analisar o símbolo local da matriz de banda conforme o índice $j/n \to \tau \in [0,1]$, o problema é reduzido ao estudo de matrizes de Toeplitz "congeladas" com símbolos de Laurent $b_\tau(w)$.
3. Média: As propriedades espectrais limites são derivadas pela média das propriedades desses símbolos congelados sobre $\tau \in [0,1]$.
4. Holonomicidade e WKB: Mostra-se que a transformada de Cauchy exterior é holonômica via telescopia criativa. Adicionalmente, o artigo explora uma conexão com a análise WKB, derivando equações de Picard–Fuchs para os períodos de curvas algébricas associadas para conjecturar a estrutura geométrica do suporte das raízes.

Principais Contribuições e Resultados

• Teorema de Momentos de Banda Finita (Teorema 2): O artigo prova que, para qualquer $m \ge 1$ fixo, as somas de potências normalizadas das raízes espectrais convergem:
  $$\lim_{n \to \infty} \frac{1}{n+1} \sum_{j=1}^{n+1} z_{n,j}^m = M_m(Q_k).$$
  Crucialmente, esses limites dependem apenas do coeficiente principal $Q_k$ do operador. Os coeficientes de ordem inferior $Q_1, \dots, Q_{k-1}$ aparecem apenas em termos de correção de ordem inferior da expansão assintótica. Os momentos são dados por fórmulas de termo constante explícitas envolvendo uma integral sobre $\tau$.

• Assintótica Exterior Global (Teorema 3): As transformadas de Cauchy normalizadas $C_n(t)$ e os potenciais logarítmicos $U_n(t)$ das medidas de contagem de raízes convergem localmente uniformemente no domínio exterior $\Omega_Q = \mathbb{C} \setminus \text{Conv}(\text{zeros de } Q_k)$. O limite é uma função analítica determinada unicamente por $Q_k$. Isso fortalece os resultados anteriores de "germ-at-infinity" para uma afirmação global no exterior do invólucro convexo das raízes do coeficiente principal.

• Determinabilidade de Momentos (Teorema 4): Um critério é estabelecido: se as raízes espectrais estiverem assintoticamente confinadas a um conjunto compacto $K$ com interior vazio e complemento conexo, os momentos de banda finita determinam unicamente o limite fraco das medidas de contagem de raízes.

• O Caso Colinear (Teorema 5): Quando os zeros de $Q_k$ são colineares (por exemplo, todos reais), as medidas de contagem de raízes convergem fracamente para uma medida de probabilidade suportada no segmento que conecta os zeros de $Q_k$. Este limite é independente de todos os outros coeficientes inferiores do operador. Fórmulas explícitas para a média e variância deste limite são fornecidas.

• Holonomicidade e Equações de Picard–Fuchs: Prova-se que a transformada de Cauchy exterior satisfaz uma equação diferencial com coeficientes polinomiais (holonômica). Para o primeiro caso não clássico ($k=3$), uma equação de Picard–Fuchs de terceira ordem explícita é derivada. O artigo observa que, embora os períodos WKB satisfaçam uma equação rigorosa, a identificação desta equação com a árvore espectral permanece um programa conjectural.

• Conjectura do Corpo-Mãe (Conjectura 1 & 2): O artigo distingue entre a "medida de banda finita média" (que pode ter suporte bidimensional) e a distribuição limite real das raízes. Conjectura-se que, para um $Q_k$ complexo genérico, as raízes convergem para um corpo-mãe positivo: uma medida suportada em uma árvore planar finita contida no invólucro convexo dos zeros de $Q_k$, com folhas exatamente nos zeros desses. Esta medida de árvore compartilha o mesmo potencial exterior que a medida média, mas é unidimensional.

Significância e Alegações
O artigo alega estabelecer a universalidade das assintóticas espectrais exteriores para operadores de Heun de alta ordem, mostrando que o termo principal do operador ($Q_k$) dita completamente a distribuição limite das raízes de Van Vleck, tornando os coeficientes inferiores irrelevantes para o comportamento de ordem principal.

O trabalho fornece um arcabouço rigoroso para o comportamento "exterior" (momentos e potenciais) enquanto isola a estrutura geométrica "interior" (o suporte da medida) como um problema distinto e conjectural. O autor postula que a discrepância entre a medida média bidimensional e a distribuição observada de raízes em forma de árvore é uma manifestação do fenômeno do corpo-mãe. O artigo conclui separando os resultados incondicionais (potenciais exteriores, momentos, convergência colinear) das conjecturas condicionais (existência e unicidade da árvore espectral no caso genuinamente complexo), enquadrando esta última como um programa a ser resolvido via análise WKB e princípios variacionais.