[Paper Review] The twisted Mellin transform

Zuoqin Wang|ArXiv.org|Jun 18, 2007

Mathematical functions and polynomials5 references3 citations

TL;DR

This paper introduces the twisted Mellin transform, a modified version of the classical Mellin transform that intertwines the differential operator $ d/dx $ with the finite difference operator $ \nabla f = f(x) - f(x-1) $. It derives an asymptotic expansion for symbolic functions of degree $ k $, showing $ \mathcal{M}f(s) \sim \sum_r \frac{1}{r!} f^{(r)}(s) f_r(s) $, where $ f_r(s) $ is a polynomial of degree $ [r/2] $ defined by a recurrence, with deep connections to Stirling numbers and combinatorics.

ABSTRACT

The "twisted Mellin transform" is a slightly modified version of the usual classical Mellin transform on $L^2(\mathbb R)$. In this short note we investigate some of its basic properties. From the point of views of combinatorics one of its most important interesting properties is that it intertwines the differential operator, $df/dx$, with its finite difference analogue, $ abla f= f(x)-f(x-1)$. From the point of view of analysis one of its most important properties is that it describes the asymptotics of one dimensional quantum states in Bargmann quantization.

Motivation & Objective

• To define and study the twisted Mellin transform $ \mathcal{M}f(s) = \frac{\int_0^\infty f(x)x^s e^{-x} dx}{\Gamma(s+1)} $ as a tool for analyzing asymptotics in quantum states and combinatorics.
• To establish that $ \mathcal{M} $ intertwines the differential operator $ d/dx $ and the finite difference operator $ \nabla f = f(x) - f(x-1) $, providing a new explicit realization of the umbral calculus intertwiner.
• To derive an asymptotic expansion for $ \mathcal{M}f(s) $ when $ f $ is a symbol of degree $ k $, expressing it as a series in derivatives of $ f $ weighted by polynomials $ f_r(s) $.
• To explore the combinatorial significance of the polynomials $ f_r(s) $, linking them to Stirling numbers of the first kind and other integer sequences.

Proposed method

• The transform is defined via normalization of the Mellin transform of $ x^s e^{-x} $, with domain restricted to functions of polynomial growth.
• Elementary properties are derived, including scaling, translation, and differentiation rules, using integration by parts and gamma function identities.
• Steepest descent techniques are applied to the integral representation to derive the asymptotic expansion $ \mathcal{M}f(s) \sim \sum_r \frac{1}{r!} f^{(r)}(s) f_r(s) $.
• A recurrence relation $ f_r(s) = r f_{r-1}(s) + (r-1)s f_{r-2}(s) $ with initial conditions $ f_0(s) = f_1(s) = 1 $ is used to compute the polynomials $ f_r(s) $.
• An exponential generating function $ \sum_{r=0}^\infty f_r(s) \frac{x^r}{r!} = \frac{e^{-sx}}{(1-x)^{1+s}} $ is derived, enabling combinatorial interpretations.
• A variant $ A_N(f)(s) $ is analyzed for large $ N $, yielding an expansion in inverse powers of $ N $, useful for spectral asymptotics in toric varieties.

Experimental results

Research questions

• RQ1 How does the twisted Mellin transform relate to the classical Mellin transform and what advantages does it offer?
• RQ2 In what way does the twisted Mellin transform intertwine the differential and finite difference operators?
• RQ3 What is the asymptotic behavior of the twisted Mellin transform for symbolic functions of degree $ k $?
• RQ4 What combinatorial structures underlie the polynomials $ f_r(s) $ that appear in the asymptotic expansion?
• RQ5 How can the twisted Mellin transform be used to study spectral density functions of toric varieties?

Key findings

• The twisted Mellin transform satisfies $ \mathcal{M}(f')(s) = \mathcal{M}f(s) - \mathcal{M}f(s-1) $, proving it intertwines $ d/dx $ and $ \nabla $.
• For symbolic functions of degree $ k $, the transform admits the asymptotic expansion $ \mathcal{M}f(s) \sim \sum_r \frac{1}{r!} f^{(r)}(s) f_r(s) $, where $ f_r(s) $ is a polynomial of degree $ [r/2] $.
• The polynomials $ f_r(s) $ satisfy the recurrence $ f_r(s) = r f_{r-1}(s) + (r-1)s f_{r-2}(s) $ with $ f_0(s) = f_1(s) = 1 $.
• The coefficients $ a_{r,i} $ of $ f_r(s) = \sum_{i=0}^{[r/2]} a_{r,i} s^i $ satisfy $ a_{r,i} = r a_{r-1,i} + (r-1) a_{r-2,i-1} $, with $ a_{r,0} = r! $ and $ a_{2k,k} = (2k-1)!! $.
• The exponential generating function $ \sum_{r=0}^\infty f_r(s) \frac{x^r}{r!} = \frac{e^{-sx}}{(1-x)^{1+s}} $ is derived, linking the polynomials to generating functions of Stirling numbers.
• For large $ N $, the $ N $-twisted transform $ A_N(f)(s) $ admits the expansion $ f(s) + \frac{1}{N}\left(f'(s) + f''(s)\frac{s}{2}\right) + \frac{1}{N^2}\left(f''(s) + f'''(s)\frac{5s}{6} + f^{(4)}(s)\frac{s^2}{8}\right) + O(N^{-3}) $.