The Parabolic Mellin Transform: Gamma and Zeta Integral Representations

Sintesi Tecnica: La Trasformata di Mellin Parabolica: Rappresentazioni Integrali di Gamma e Zeta

Enunciato del Problema
Il saggio affronta la rappresentazione di funzioni speciali, specificamente la funzione Gamma, il suo reciproco e varie funzioni di tipo zeta (Hurwitz, Riemann e eta di Dirichlet), attraverso l'integrazione di contorno. Sebbene le rappresentazioni classiche si affidino spesso al contorno di Hankel (un contorno a chiave di volta che avvolge l'asse reale negativo) o all'integrale di Laplace (un integrale di linea verticale), questi metodi presentano limitazioni distinte. Il contorno di Hankel è geometricamente complesso, e l'integrale di Laplace per il reciproco della funzione Gamma si basa sulla cancellazione oscillatoria, portando a una convergenza condizionata in parte del suo dominio. Gli autori cercano un quadro unificato che esprima queste funzioni tramite un integrale di linea verticale con convergenza assoluta, sfruttando il decadimento gaussiano per semplificare l'analisi e fornire una notazione comune per le funzioni Gamma e zeta.

Metodologia
La metodologia centrale introduce la Trasformata di Mellin Parabolica (PMT), definita dalla variazione quadratica di variabili $u = w^2$.

1. Definizione: Per una funzione $f$ definita sull'immagine della mappa $w \mapsto w^2$, la PMT è definita come:
   $$P_\sigma[f](z) = \int_{-\infty}^{\infty} w^{2z} f(w^2) \, dt, \quad \text{dove } w = \sigma + it, \sigma > 0.$$
   Sotto la sostituzione $u = w^2$, la linea verticale $\text{Re}(w) = \sigma$ mappa una contorno parabolico $C_\sigma$ nel piano $u$ con vertice in $\sigma^2$.
2. Smorzamento Gaussiano: Una caratteristica critica di questa parametrizzazione è che i kernel esponenziali $e^u$ diventano $e^{w^2} = e^{\sigma^2 - t^2}$. Ciò trasforma l'integrale di contorno in un integrale di linea verticale con smorzamento gaussiano ($e^{-t^2}$), garantendo la convergenza assoluta per tutti $z \in \mathbb{C}$ e permettendo l'olomorfia sotto l'integrale.
3. Deformazione del Contorno: Gli autori utilizzano il teorema di Cauchy per deformare il contorno parabolico $C_\sigma$ nel contorno di Hankel standard. Ciò stabilisce l'equivalenza tra la PMT e le rappresentazioni classiche di Hankel senza alterare le proprietà di continuazione analitica delle funzioni coinvolte.
4. Scalatura e Composizione: Il framework impiega identità di scalatura ($\alpha^{-s}$) e composizione di Dirichlet per relazionare la trasformata gaussiana alle serie di Dirichlet, collegando così la trasformata alle funzioni zeta.

Contributi Chiave e Risultati

• La Trasformata Gaussiana ($G(z)$):
  Il saggio dimostra che la PMT del kernel gaussiano $e^u$ produce una funzione intera $G(z)$ che rappresenta sia la funzione Gamma che il suo reciproco ad argomenti riflessi. Nello specifico, con $s = z + 1/2$:
  $$G(z) = \frac{\pi}{\Gamma(1-s)} = \Gamma(s)\sin(\pi s).$$
  Questo fornisce una forma a contorno parabolico della classica rappresentazione di Hankel per $1/\Gamma(s)$. A differenza dell'integrale di Laplace, questa rappresentazione è assolutamente convergente per tutti $z$.

• Rappresentazioni Integrali di Tipo Zeta:
  Combinando la trasformata gaussiana con kernel meromorfi come $\frac{e^{au}}{1-e^u}$ e $\frac{e^{au}}{1+e^u}$, gli autori derivano rappresentazioni integrali per la funzione zeta di Hurwitz $\zeta(s, a)$, la funzione zeta di Riemann $\zeta(s)$ e la funzione eta di Dirichlet $\eta(s)$.
  Le identità fondamentali sono:
  $$R(z, a) = G(z)\zeta(s, a) \quad \text{e} \quad D(z, a) = G(z)\eta(s, a),$$
  dove $R$ e $D$ sono le PMT dei rispettivi kernel. Queste identità valgono meromorficamente, con gli zeri di $G(z)$ (in $z = 1/2 + n$) che corrispondono ai poli delle funzioni zeta o a singolarità eliminabili.

• Un Dizionario di Trasformata Unificato:
  Il saggio costruisce un "dizionario" (Tabella 1) che unifica le funzioni di tipo Gamma e di tipo zeta sotto una singola notazione di trasformata. Questo dizionario include operazioni per la scalatura, lo shift monomiale, la derivazione e lo shift logaritmico, tutte espresse all'interno del framework PMT.

• Riformulazione dei Problemi della Striscia Critica:
  Il saggio dimostra come le coordinate PMT ($z = s - 1/2$) permettano riformulazioni esatte delle principali congetture:

  • Ipotesi di Riemann (RH): Poiché $G(z)$ non ha zeri nella striscia $|\text{Re}(z)| < 1/2$, gli zeri non banali di $\zeta(s)$ corrispondono esattamente agli zeri di $R(z)$ in questa striscia. Pertanto, l'RH è equivalente all'asserzione che tutti gli zeri di $R(z)$ in $|\text{Re}(z)| < 1/2$ giacciano sull'asse immaginario ($\text{Re}(z) = 0$).
  • Ipotesi di Lindelöf: L'ipotesi viene riformulata come una condizione di crescita sull'integrale parabolico $R(i\tau)$. Nello specifico, poiché $|G(i\tau)| \sim \sqrt{\pi} e^{\pi|\tau|/2}$, l'ipotesi di Lindelöf è equivalente a $R(i\tau) = O_\epsilon(e^{\pi|\tau|/2}(1+|\tau|)^\epsilon)$.

Significato e Rivendicazioni
Gli autori dichiarano esplicitamente che la PMT non fornisce una nuova continuazione analitica per le funzioni Gamma o zeta, né produce nuove regioni libere da zeri o miglioramenti nei limiti di crescita. Inveve, il suo significato risiede nella riorganizzazione e unificazione:

1. Parametrizzazione: Esprime le classiche integrazioni di tipo Hankel attraverso una parametrizzazione parabolica ($u=w^2$) che le converte in integrali di linea verticale con smorzamento gaussiano.
2. Convergenza: Sostituisce gli integrali oscillatori a convergenza condizionata (come la formula di Laplace) con integrali a smorzamento gaussiano a convergenza assoluta.
3. Unificazione: Fornisce un fattore di normalizzazione comune ($G(z)$) per le identità di tipo Gamma e di tipo zeta, centrando la striscia critica sullo zero e semplificando la notazione per il confronto di queste funzioni.
4. Equivalenza: Offre riformulazioni equivalenti delle ipotesi di Riemann e Lindelöf in termini degli zeri e della crescita dei integrali di contorno parabolico, isolando i fattori esponenziali espliciti per concentrarsi sul comportamento integrale rimanente.

Il saggio conclude che la PMT funge da "dizionario di trasformata" che facilita il confronto tra normalizzazioni di tipo Gamma, kernel di tipo zeta e crescita della linea critica all'interno di una singola notazione analitica.