Legendre compressions and an integrality conjecture for the Hörmander--Bernhardsson extremal function

Abstract

We prove Conjecture~2 of Bondarenko, Ortega-Cerdà, Radchenko, and Seip for the three-term recurrence attached to the Hörmander--Bernhardsson extremal function $\varphi$. More precisely, define \[ \widetilde u_{-1}=0,\qquad \widetilde u_0=1, \] and \[ \widetilde u_{n+1} = \frac{4n+2}{n+1}\bigl(n(n+1)-λ\bigr)\widetilde u_n + \frac{4n}{n+1}x\,\widetilde u_{n-1}. \] Then \[ \widetilde u_n(x,λ)\in\mathbb Z[x,λ] \qquad(n\ge0). \] The proof is a determinant comparison in the scaled Legendre basis. After sign reversal and central-binomial normalization, the recurrence becomes exactly the continuant recurrence of a finite tridiagonal compression. In particular, if $T_n(a,λ)$ denotes the $n$th BOCRS tridiagonal truncation, then \[ \widetilde u_{n+1}(a^2,λ)=\binom{2n+2}{n+1}\det T_n(a,λ). \] As consequences, we derive that \[ \left(\fracπ{4C}\right)^2 \quad\text{and}\quad -\frac{L_τ(1)}{2C} \] are not simultaneously rational, where \(C\) is the sharp point-evaluation constant for $PW^1$, $\pmτ_n$ are the nonzero zeros of $\varphi$, and $ L_τ(1)=\sum_{n\ge1}\frac{(-1)^n}{τ_n}.$ Finally, if we write $\varphi(z)=\sum_{n\ge0}c_n z^{2n},$ then \[ c_n\in C^n\,\mathbb Z[π^2,C,L_τ(1)] \qquad(n\ge0). \]

Theorems & Definitions (37)

• Theorem 1
• Theorem 2: Exact finite-compression identity
• Lemma 3
• proof
• Proposition 4
• Lemma 5
• proof
• Remark 6
• Lemma 7
• proof