Symmetric Jacobi–Dirichlet Deformations: Finite Hypergeometric Closure, Positive Tilts, and Meromorphic Continuation

Sintesi Tecnica: Deformazioni Simmetriche di Jacobi–Dirichlet

Enunciato del Problema
L'integrale di Dirichlet funge da funzione beta multivariata fondamentale e da costante di normalizzazione per le leggi di probabilità su un simplesso. Mentre le estensioni classiche spesso introducono fattori esponenziali o non polinomiali per modificare il comportamento agli estremi (portando a espansioni infinite), questo lavoro affronta la necessità di una deformazione che introduca nuova struttura pur mantenendo una chiusura finita esatta. La sfida consiste nel costruire una deformazione che sia abbastanza ricca da generare nuove proprietà analitiche e probabilistiche (come positività e convessità), ma sufficientemente controllata da permettere la valutazione esplicita, la differenziazione e la continuazione meromorfa senza ricorrere a serie infinite.

Metodologia
L'autore introduce una deformazione di Jacobi permutazione-invariante dell'integrale di Dirichlet a tre parametri. Il meccanismo centrale prevede la composizione di un nucleo polinomiale di Jacobi normalizzato e traslato, $R_n^{(\alpha, \beta)}(t)$, con il prodotto baricentrico pienamente simmetrico delle coordinate del simplesso, specificamente $27uvw$ (dove $u+v+w=1$).

La costruzione è divisa in due famiglie complementari:

1. La Famiglia Segnata ($\mathcal{D}_n$): Mantiene la natura oscillatoria del polinomio di Jacobi. È definita come l'integrale del peso di Dirichlet moltiplicato per $R_n^{(\alpha, \beta)}(27\rho uvw)$.
2. La Famiglia Positiva (Quadratica) ($\mathcal{K}_n$): Ottenuta elevando al quadrato il nucleo normalizzato, ovvero integrando $[R_n^{(\alpha, \beta)}(27\rho uvw)]^2$. Questa famiglia è progettata per essere strettamente positiva e servire come funzione di partizione per una nuova legge di probabilità.

L'analisi si basa sulle proprietà del prodotto baricentrico $27uvw$, che varia esattamente su $[0,1]$ ed è invariante sotto permutazioni di $u, v, w$. Questa simmetria assicura che le potenze del prodotto traslino i parametri di Dirichlet $(a, b, c)$ diagonalmente della stessa quantità intera, consentendo formule di sommazione finita.

Contributi Chiave e Risultati

• Chiusura Ipergeometrica Finita:
  Si dimostra che la deformazione segnata $\mathcal{D}_n$ ammette una rappresentazione esatta come somma di funzioni beta a tre variabili traslate. Di conseguenza, essa si riduce a un polinomio ipergeometrico generalizzato terminante di tipo $_5F_4$. Questa chiusura è ottenuta poiché la traslazione diagonale dei parametri permette l'uso della formula di triplicazione della funzione gamma per cancellare i fattori, risultando in una somma finita anziché in una serie infinita.

• Positività e Log-Convessità:
  La famiglia quadratica $\mathcal{K}_n$ è provata essere strettamente positiva per tutti gli ammissibili parametri reali. Il lavoro stabilisce la log-convessità congiunta e la convessità stretta di $\log \mathcal{K}_n$ rispetto ai parametri di Dirichlet $(a, b, c)$.

  • L'Hessiano del log-normalizzatore viene identificato come la matrice di covarianza delle coordinate baricentriche logaritmiche sotto la legge di probabilità associata.
  • Disuguaglianze di tipo Turán sono derivate come diretta conseguenza della log-convessità.

• Il Modello di Probabilità Jacobi–Dirichlet:
  Il nucleo positivo normalizzato definisce una nuova distribuzione di probabilità, la legge Jacobi–Dirichlet ($JD_n$). Si tratta di una distribuzione di Dirichlet con inclinazione polinomiale (polynomially tilted).

  • Vengono derivate formule esplicite per i momenti misti, che mostrano come essi siano rapporti di normalizzatori traslati.
  • La funzione generatrice dei momenti congiunti è provata essere intera.
  • Il modello permette la ridistribuzione della massa di probabilità nelle bande interiori del simplesso, una caratteristica non disponibile per la legge di Dirichlet unimodale standard.

• Strutture Differenziali e di Ricorrenza:
  La famiglia segnata soddisfa un insieme completo di proprietà strutturali:

  • Una scala di derivate rispetto alla variabile di deformazione $\rho$ e ai parametri beta.
  • Una trasformata di Mellin finita sull'intervallo unitario.
  • Un'equazione differenziale ipergeometrica generalizzata di ordine 5.
  • Una ricorrenza a tre termini nel grado di Jacobi $n$.
  • Un'identità generatrice pesata che coinvolge la funzione generatrice classica di Jacobi.

• Continuazione Meromorfa:
  Il lavoro fornisce un'analisi rigorosa della continuazione meromorfa di questi integrali in $\mathbb{C}^3$. Viene offerta una correzione chiave riguardante la posizione dei poli: i piani $a+b+c = -m$ non sono candidati poli perché il fattore gamma reciproco $1/\Gamma(a+b+c)$ è intero. Gli unici candidati poli risiedono sugli iperpiani delle coordinate dove $a, b,$ o $c$ sono interi non positivi.

• Compagni e Specializzazioni:
  Il framework genera naturalmente compagni di tipo Appell-$F_3$ e Humbert-$\Phi_2$ introducendo variabili esterne. La teoria si specializza immediatamente nei casi classici (Legendre, Gegenbauer, Chebyshev) impostando valori specifici per $\alpha$ e $\beta$.

• Verifica Numerica:
  Le formule sono validate numericamente utilizzando due percorsi indipendenti: una valutazione tramite somma beta finita e una quadratura adattiva del simplesso. I risultati concordano entro la precisione di virgola mobile attesa, con discrepanze assolute dell'ordine di $10^{-13}$ per la famiglia segnata e $10^{-11}$ per la famiglia positiva.

Significatività e Rivendicazioni
Il lavoro sostiene che la costruzione riesca a collegare positività, convessità, chiusura delle funzioni speciali e normalizzazione probabilistica all'interno di un singolo framework simmetrico del simplesso.

• Guadagno Strutturale: Il contributo primario è la famiglia quadratica, che fornisce una funzione di partizione strettamente positiva che supporta la convessità e le disuguaglianze di tipo Turán pur mantenendo la computabilità finita.
• Rigore Analitico: L'opera dimostra che una statistica polinomiale simmetrica limitata può deformare l'integrale di Dirichlet senza ampliare il dominio di convergenza, pur fornendo rappresentazioni esatte finite e continuazioni meromorfe.
• Utilità Computazionale: Le formule della somma beta finita offrono un'alternativa computazionalmente efficiente all'integrazione adattiva per valutazioni ripetute, un aspetto rilevante per l'ottimizzazione della verosimiglianza e l'analisi di sensibilità.
• Limitazioni: L'autore nota con modestia che il nucleo polinomiale non regolarizza le singolarità agli estremi né amplia il dominio di convergenza primario. Inoltre, la statistica scalare $uvw$ non può rappresentare tutti i pattern multivariati disponibili per una vera base di Jacobi multivariata.

Il lavoro conclude che questo framework fornisce un ambiente trattabile per studiare simultaneamente le disuguaglianze legate all'ordine, la convessità e la normalizzazione della probabilità, offrendo una base riutilizzabile per futuri lavori sulle deformazioni polinomiali di integrali su simplesso.