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

1. Il Problema

Il lavoro si concentra sulla funzione estrema di Hörmander–Bernhardsson, indicata con $\phi$. Questa è l'unica funzione intera di tipo esponenziale al più $\pi$ tale che $\phi(0) = 1$ e che minimizza la norma $L^1(\mathbb{R})$. Tale funzione è l'estremizzatore nel problema di valutazione puntuale nello spazio di Paley–Wiener $PW^1$.

Bondarenko, Ortega-Cerdà, Radchenko e Seip (BOCRS) hanno sviluppato una teoria analitica dettagliata di $\phi$, mostrando che può essere scritta come $\phi(z) = \Phi(z)\Phi(-z)$, dove $\Phi$ soddisfa un'equazione differenziale specifica. Nel loro lavoro precedente, BOCRS hanno isolato due congetture aritmetiche riguardanti i coefficienti della serie di Taylor di $\phi$ e le sue radici.

• La Congettura 1 è stata risolta in un lavoro precedente dell'autore [6].
• La Congettura 2 (oggetto di questo articolo) afferma che i coefficienti di una famiglia a due parametri di polinomi, definiti da una ricorrenza a tre termini associata all'operatore differenziale di BOCRS, appartengono all'anello dei polinomi a coefficienti interi.

Nello specifico, definendo una sequenza $\tilde{u}_n(x, \lambda)$ tramite la ricorrenza:
$$\tilde{u}_{-1} = 0, \quad \tilde{u}_0 = 1, \quad \tilde{u}_{n+1} = \frac{4n+2}{n+1}(n(n+1)-\lambda)\tilde{u}_n + \frac{4n}{n+1}x \tilde{u}_{n-1}$$
la congettura asserisce che $\tilde{u}_n(x, \lambda) \in \mathbb{Z}[x, \lambda]$ per ogni $n \ge 0$.

2. Metodologia

L'approccio dell'autore è innovativo e si discosta dai metodi classici legati alla geometria singolare regolare (come le equazioni di Picard–Fuchs o le funzioni G), che solitamente spiegano fenomeni di interezza. Poiché l'equazione differenziale di BOCRS presenta singolarità irregolari in 0 e $\infty$, l'autore introduce un metodo basato su compressioni finite di Legendre.

I passaggi chiave della dimostrazione sono:

1. Riduzione al caso quadratico: Si dimostra che è sufficiente provare l'integrità sostituendo $x = -\beta^2$. Se $\tilde{u}_n(-\beta^2, \lambda) \in \mathbb{Z}[\beta, \lambda]$, allora per proprietà algebriche $\tilde{u}_n(x, \lambda) \in \mathbb{Z}[x, \lambda]$.
2. Normalizzazione: Si divide la sequenza per i coefficienti binomiali centrali $C_n = \binom{2n}{n}$, definendo $v_n = \tilde{u}_n / C_n$. Questa normalizzazione trasforma la ricorrenza originale in una ricorrenza di tipo "continuant" (tipica dei determinanti tridiagonali).
3. Costruzione Determinantale:
   • Si considera l'operatore $L + \beta t - \lambda$, dove $L = -\frac{d}{dt}((1-t^2)\frac{d}{dt})$ è l'operatore di Legendre.
   • Si analizza l'azione di questo operatore sulla base dei polinomi di Legendre scalati $Q_n(t) = 2^n P_n(t)$. Questa azione genera una matrice tridiagonale $B_n$ i cui minori principali soddisfano esattamente la ricorrenza normalizzata di $v_n$.
   • Parallelamente, si considera la stessa azione nella base monomiale standard. Poiché l'operatore ha coefficienti interi in $\beta$ e $\lambda$, la matrice associata $M_n$ ha entrate in $\mathbb{Z}[\beta, \lambda]$.
4. Confronto delle Basi: Si confrontano i due determinanti ($\det M_n$ e $\det B_n$) attraverso il cambiamento di base tra i polinomi di Legendre e i monomi. Il fattore di cambiamento di base è proprio il coefficiente binomiale centrale.
5. Conclusione: Si ottiene l'identità $\det M_n = -\tilde{u}_n(-\beta^2, \lambda)$. Poiché $\det M_n$ è un polinomio a coefficienti interi, ne consegue l'integrità di $\tilde{u}_n$.

3. Contributi Chiave e Risultati Principali

A. Teorema 1 (Integrità Universale)

L'autore prova che per ogni $n \ge 0$, il polinomio $\tilde{u}_n(x, \lambda)$ appartiene a $\mathbb{Z}[x, \lambda]$. Di conseguenza, la sequenza originale $u_n(b, \lambda)$ (dove $x=b^2$) appartiene a $\mathbb{Z}[b^2, \lambda]$. Questo risolve la Congettura 2 di BOCRS.

B. Teorema 2 (Identità di Compressione Esatta)

L'autore stabilisce un'identità esatta tra la sequenza di polinomi e i determinanti di matrici tridiagonali finite (le "compressioni" BOCRS). Se $T_n(a, \lambda)$ è la matrice tridiagonale definita da BOCRS, allora:
$$\tilde{u}_{n+1}(a^2, \lambda) = \binom{2n+2}{n+1} \det T_n(a, \lambda)$$
Questo risultato mostra che lo schema di troncamento numerico di BOCRS non è solo approssimativo, ma corrisponde esattamente alla sequenza dei polinomi caratteristici delle compressioni principali finite, dopo un'opportuna normalizzazione binomiale.

C. Conseguenze Aritmetiche (Irrazionalità)

Sfruttando l'integrità e i limiti di crescita dei coefficienti, l'autore dimostra un teorema di "fetta razionale" (Theorem 16): se la serie generatrice associata è intera, non polinomiale e di tipo esponenziale limitato, allora i parametri $a^2$ e $\lambda$ non possono essere entrambi razionali.
Applicando questo alla funzione di Hörmander–Bernhardsson, si ottiene la Corollario 18:
I due numeri $\left(\frac{\pi}{4C}\right)^2$ e $-\frac{L_\tau(1)}{2C}$ non possono essere entrambi razionali.
Dove:

• $C$ è la costante di valutazione puntuale ottimale per $PW^1$.
• $L_\tau(1) = \sum_{n \ge 1} \frac{(-1)^n}{\tau_n}$, con $\tau_n$ gli zeri non nulli di $\phi$.
  Questo implica che almeno uno tra $C/\pi$ e $L_\tau(1)/C$ è irrazionale.

D. Teorema sull'Anello dei Coefficienti (Corollario 22)

L'autore raffina il risultato di integrità mostrando un vincolo di "peso" sui monomi. Definendo un peso $w(x)=2$ e $w(\lambda)=1$, ogni monomio $x^r \lambda^s$ in $\tilde{u}_n$ soddisfa $2r+s \le n$.
Questo porta a una descrizione precisa dell'anello dei coefficienti $c_n$ nello sviluppo di $\phi(z) = \sum c_n z^{2n}$:
$$c_n \in C^n \mathbb{Z}[\pi^2, C, L_\tau(1)]$$
Un risultato cruciale è che solo potenze pari di $\pi$ possono apparire nei coefficienti di Taylor di $\phi$, correggendo un'ipotesi precedente che suggeriva la presenza di potenze dispari.

4. Significato e Impatto

• Risoluzione di una Congettura Aperta: Il lavoro risolve definitivamente la Congettura 2 di BOCRS, completando il quadro aritmetico iniziato con la risoluzione della Congettura 1.
• Nuovo Meccanismo di Integrità: Dimostra che fenomeni di integrità aritmetica possono emergere non solo da geometrie singolari regolari (come le equazioni di Picard–Fuchs), ma anche da strutture algebriche finite legate a compressioni di operatori differenziali su basi di polinomi classici (Legendre). Questo è sorprendente dato che l'equazione sottostante ha singolarità irregolari.
• Connessione tra Analisi e Teoria dei Numeri: Fornisce nuovi vincoli di irrazionalità per costanti fondamentali legate allo spazio di Paley–Wiener e alla funzione estrema di Hörmander–Bernhardsson, collegando la teoria degli operatori differenziali alla natura trascendente di costanti come $C$ e $L_\tau(1)$.
• Struttura dei Coefficienti: Offre una comprensione più profonda della struttura algebrica dei coefficienti della funzione estrema, limitando rigorosamente le potenze di $\pi$ coinvolte.

In sintesi, il paper utilizza un'ingegnosa corrispondenza tra ricorrenze di polinomi e determinanti di matrici tridiagonali derivate dall'operatore di Legendre per provare proprietà di integrità aritmetica profonde, con ricadute significative sulla teoria dei numeri analitica.