Mellin inversion theorem

In mathematics, the Mellin inversion formula (named after Hjalmar Mellin) tells us conditions under which the inverse Mellin transform, or equivalently the inverse two-sided Laplace transform, are defined and recover the transformed function.

If ${\displaystyle \varphi (s)}$ is analytic in the strip ${\displaystyle a<\Re (s)<b}$, and if it tends to zero uniformly as ${\displaystyle \Im (s)\to \pm \infty }$ for any real value c between a and b, with its integral along such a line converging absolutely, then if

we have that

Conversely, suppose ${\displaystyle f(x)}$ is piecewise continuous on the positive real numbers, taking a value halfway between the limit values at any jump discontinuities, and suppose the integral

is absolutely convergent when ${\displaystyle a<\Re (s)<b}$. Then ${\displaystyle f}$ is recoverable via the inverse Mellin transform from its Mellin transform ${\displaystyle \varphi }$. These results can be obtained by relating the Mellin transform to the Fourier transform by a change of variables and then applying an appropriate version of the Fourier inversion theorem.

The boundedness condition on ${\displaystyle \varphi (s)}$ can be strengthened if ${\displaystyle f(x)}$ is continuous. If ${\displaystyle \varphi (s)}$ is analytic in the strip ${\displaystyle a<\Re (s)<b}$, and if ${\displaystyle |\varphi (s)|<K|s|^{-2}}$, where K is a positive constant, then ${\displaystyle f(x)}$ as defined by the inversion integral exists and is continuous; moreover the Mellin transform of ${\displaystyle f}$ is ${\displaystyle \varphi }$ for at least ${\displaystyle a<\Re (s)<b}$.

On the other hand, if we are willing to accept an original ${\displaystyle f}$ which is a generalized function, we may relax the boundedness condition on ${\displaystyle \varphi }$ to simply make it of polynomial growth in any closed strip contained in the open strip ${\displaystyle a<\Re (s)<b}$.

We may also define a Banach space version of this theorem. If we call by ${\displaystyle L_{\nu ,p}(R^{+})}$ the weighted L^p space of complex valued functions ${\displaystyle f}$ on the positive reals such that