Mellin transform

Template:Short description In mathematics, the Mellin transform is an integral transform that may be regarded as the multiplicative version of the two-sided Laplace transform. This integral transform is closely connected to the theory of Dirichlet series, and is often used in number theory, mathematical statistics, and the theory of asymptotic expansions; it is essentially the same as the Laplace transform and closely related to the Fourier transform, and the theory of the gamma function and allied special functions.

The Mellin transform of a complex-valued function Template:Mvar defined on ${𝐑}_{+}^{\times }=(0,\mathrm{\infty })$ is the function $ℳf$ of complex variable $s$ given (where it exists, see Template:Slink below) by $$ℳ\left\{f\right\}(s)=\phi (s)={\int }_0^{\mathrm{\infty }}{x}^{s-1}f(x)dx={\int }_{{𝐑}_{+}^{\times }}f(x)x^s\frac{dx}{x}.$$ Notice that $dx/x$ is a Haar measure on the multiplicative group ${𝐑}_{+}^{\times }$ and $x\mapsto x^s$ is a (in general non-unitary) multiplicative character. The inverse transform is $${ℳ}^{-1}\left\{\phi \right\}(x)=f(x)=\frac{1}{2\pi i}{\int }_{c-i\mathrm{\infty }}^{c+i\mathrm{\infty }}{x}^{-s}\phi (s)ds.$$ The notation implies this is a line integral taken over a vertical line in the complex plane, whose real part c need only satisfy a mild lower bound. Conditions under which this inversion is valid are given in the Mellin inversion theorem.

The transform was introduced in 1859 by Bernhard Riemann.Template:Sfn The transform is named after the Finnish mathematician Hjalmar Mellin, who developed the first rigorous account in paper published 1897 in Acta Societatis Scientiarum Fennicae.

Relationship to other transforms

The two-sided Laplace transform may be defined in terms of the Mellin transform by $$ℬ\left\{f\right\}(s)=ℳ\{f(-\ln x)\}(s)$$ and conversely we can get the Mellin transform from the two-sided Laplace transform by $$ℳ\left\{f\right\}(s)=ℬ\{f(e^{-x})\}(s).$$

The Mellin transform may be thought of as integrating using a kernel Template:Mvar with respect to the multiplicative Haar measure, $\frac{dx}{x}$, which is invariant under dilation $x\mapsto ax$, so that $\frac{d(ax)}{ax}=\frac{dx}{x};$ the two-sided Laplace transform integrates with respect to the additive Haar measure Template:Tmath, which is translation invariant, so that Template:Tmath.

We also may define the Fourier transform in terms of the Mellin transform and vice versa; in terms of the Mellin transform and of the two-sided Laplace transform defined above $$\left\{ℱf\right\}(-s)=\left\{ℬf\right\}(-is)=\{ℳf(-\ln x)\}(-is).$$ We may also reverse the process and obtain $$\left\{ℳf\right\}(s)=\{ℬf(e^{-x})\}(s)=\{ℱf(e^{-x})\}(-is).$$

The Mellin transform also connects the Newton series or binomial transform together with the Poisson generating function, by means of the Poisson–Mellin–Newton cycle.

The Mellin transform may also be viewed as the Gelfand transform for the convolution algebra of the locally compact abelian group of positive real numbers with multiplication.

Examples

Cahen–Mellin integral

Template:AnchorThe Mellin transform of the function $f(x)=e^{-x}$ is $$\mathrm{\Gamma }(s)={\int }_0^{\mathrm{\infty }}{x}^{s-1}{e}^{-x}dx$$ where $\mathrm{\Gamma }(s)$ is the gamma function. $\mathrm{\Gamma }(s)$ is a meromorphic function with simple poles at Template:Tmath. Therefore, $\mathrm{\Gamma }(s)$ is analytic for Template:Tmath. Thus, letting $c>0$ and $z^{-s}$ on the principal branch, the inverse transform gives $$e^{-z}=\frac{1}{2\pi i}{\int }_{c-i\mathrm{\infty }}^{c+i\mathrm{\infty }}\mathrm{\Gamma }(s)z^{-s}ds.$$

This integral is known as the Cahen–Mellin integral.

Polynomial functions

Since ${\int }_0^{\mathrm{\infty }}{x}^{a}dx$ is not convergent for any value of Template:Tmath, the Mellin transform is not defined for polynomial functions defined on the whole positive real axis. However, by defining it to be zero on different sections of the real axis, it is possible to take the Mellin transform. For example, if $$f(x)=\{\begin{array}{cc}{x}^a& x<1,\\ 0& x>1,\end{array}$$ then $$ℳf(s)={\int }_0^1{x}^{s-1}{x}^{a}dx={\int }_0^1{x}^{s+a-1}dx=\frac{1}{s+a}.$$

Thus $ℳf(s)$ has a simple pole at $s=-a$ and is thus defined for Template:Tmath. Similarly, if $$f(x)=\{\begin{array}{cc}0& x<1,\\ x^b& x>1,\end{array}$$ then $$ℳf(s)={\int }_1^{\mathrm{\infty }}{x}^{s-1}{x}^{b}dx={\int }_1^{\mathrm{\infty }}{x}^{s+b-1}dx=-\frac{1}{s+b}.$$ Thus $ℳf(s)$ has a simple pole at $s=-b$ and is thus defined for Template:Tmath.

Exponential functions

For Template:Tmath, let Template:Tmath. Then $$ℳf(s)={\int }_0^{\mathrm{\infty }}{x}^s{e}^{-px}\frac{dx}{x}={\int }_0^{\mathrm{\infty }}{\left(\frac{u}{p}\right)}^s{e}^{-u}\frac{du}{u}=\frac{1}{p^s}{\int }_0^{\mathrm{\infty }}{u}^s{e}^{-u}\frac{du}{u}=\frac{1}{p^s}\mathrm{\Gamma }(s).$$

Zeta function

It is possible to use the Mellin transform to produce one of the fundamental formulas for the Riemann zeta function, Template:Tmath. Let Template:Tmath. Then $$\begin{array}{cccc}ℳf(s)& ={\int }_0^{\mathrm{\infty }}{x}^{s-1}\frac{1}{e^x-1}dx& & ={\int }_0^{\mathrm{\infty }}{x}^{s-1}\frac{e^{-x}}{1-e^{-x}}dx\\ & ={\int }_0^{\mathrm{\infty }}{x}^{s-1}\sum _{n=1}^{\mathrm{\infty }}{e}^{-nx}dx& & =\sum _{n=1}^{\mathrm{\infty }}{\int }_0^{\mathrm{\infty }}{x}^s{e}^{-nx}\frac{dx}{x}\\ & =\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^s}\mathrm{\Gamma }(s)=\mathrm{\Gamma }(s)\zeta (s).\end{array}$$ Thus, $$\zeta (s)=\frac{1}{\mathrm{\Gamma }(s)}{\int }_0^{\mathrm{\infty }}{x}^{s-1}\frac{1}{e^x-1}dx.$$

Generalized Gaussian

For Template:Tmath, let $f(x)=e^{-x^p}$ (i.e. $f$ is a generalized Gaussian distribution without the scaling factor.) Then $$ℳf(s)={\int }_0^{\mathrm{\infty }}{x}^{s-1}{e}^{-x^p}dx={\int }_0^{\mathrm{\infty }}{x}^{p-1}{x}^{s-p}{e}^{-x^p}dx={\int }_0^{\mathrm{\infty }}{x}^{p-1}(x^p{)}^{(s/p)-1}{e}^{-x^p}dx=\frac{1}{p}{\int }_0^{\mathrm{\infty }}{u}^{(s/p)-1}{e}^{-u}du=\frac{\mathrm{\Gamma }(s/p)}{p}$$ In particular, setting $s=1$ recovers the following form of the gamma function $$\mathrm{\Gamma }(1+\frac{1}{p})={\int }_0^{\mathrm{\infty }}{e}^{-x^p}dx.$$

Power series and Dirichlet series

Generally, assuming the necessary convergence, we can connect Dirichlet series and power series $$F(s)=\sum _{n=1}^{\mathrm{\infty }}\frac{a_n}{n^s},f(z)=\sum _{n=1}^{\mathrm{\infty }}{a}_n{z}^n$$ by this formal identity involving the Mellin transform: $$\mathrm{\Gamma }(s)F(s)={\int }_0^{\mathrm{\infty }}{x}^{s-1}f(e^{-x})dx$$

Fundamental strip

For Template:Tmath, let the open strip $⟨\alpha ,\beta ⟩$ be defined to be all $s\in ℂ$ such that $s=\sigma +it$ with Template:Tmath. The fundamental strip of $ℳf(s)$ is defined to be the largest open strip on which it is defined. For example, for $a>b$ the fundamental strip of $$f(x)=\{\begin{array}{cc}{x}^a& x<1,\\ x^b& x>1,\end{array}$$ is Template:Tmath. As seen by this example, the asymptotics of the function as $x\to 0^{+}$ define the left endpoint of its fundamental strip, and the asymptotics of the function as $x\to +\mathrm{\infty }$ define its right endpoint. To summarize using Big O notation, if $f$ is $O(x^a)$ as $x\to 0^{+}$ and $O(x^b)$ as Template:Tmath, then $ℳf(s)$ is defined in the strip Template:Tmath.Template:Sfnp

An application of this can be seen in the gamma function, Template:Tmath. Since $f(x)=e^{-x}$ is $O(x^0)$ as $x\to 0^{+}$ and $O(x^k)$ for all Template:Tmath, then $\mathrm{\Gamma }(s)=ℳf(s)$ should be defined in the strip Template:Tmath, which confirms that $\mathrm{\Gamma }(s)$ is analytic for Template:Tmath.

Properties

The properties in this table may be found in Template:Harvtxt and Template:Harvtxt.

Properties of the Mellin transform

Function	Mellin transform	Fundamental strip	Comments
$f(x)$	$\tilde{f}(s)=\{ℳf\}(s)={\int }_0^{\mathrm{\infty }}f(x)x^s\frac{dx}{x}$	$\alpha <\mathrm{\Re }s<\beta$	Definition
$x^{\nu }f(x)$	$\tilde{f}(s+\nu )$	$\alpha -\mathrm{\Re }\nu <\mathrm{\Re }s<\beta -\mathrm{\Re }\nu$
$f(x^{\nu })$	$\frac{1}{|\nu |}\tilde{f}\left(\frac{s}{\nu }\right)$	$\alpha <{\nu }^{-1}\mathrm{\Re }s<\beta$	$\nu \in ℝ,\nu \ne 0$
$f(x^{-1})$	$\tilde{f}(-s)$	$-\beta <\mathrm{\Re }s<-\alpha$
$x^{-1}f(x^{-1})$	$\tilde{f}(1-s)$	$1-\beta <\mathrm{\Re }s<1-\alpha$	Involution
$\overline{f(x)}$	$\overline{\stackrel{~}{f}(\stackrel{‾}{s})}$	$\alpha <\mathrm{\Re }s<\beta$	Here $\bar{z}$ denotes the complex conjugate of Template:Tmath.
$f(\nu x)$	${\nu }^{-s}\tilde{f}(s)$	$\alpha <\mathrm{\Re }s<\beta$	$\nu >0$, Scaling
$f(x)\ln x$	${\tilde{f}}^{\prime }(s)$	$\alpha <\mathrm{\Re }s<\beta$
$f^{\prime }(x)$	$-(s-1)\tilde{f}(s-1)$	$\alpha +1<\mathrm{\Re }s<\beta +1$	The domain shift is conditional and requires evaluation against specific convergence behavior.
${\left(\frac{d}{dx}\right)}^{n}f(x)$	$(-1{)}^n\frac{\mathrm{\Gamma }(s)}{\mathrm{\Gamma }(s-n)}\tilde{f}(s-n)$	$\alpha +n<\mathrm{\Re }s<\beta +n$
$x{f}^{\prime }(x)$	$-s\tilde{f}(s)$	$\alpha <\mathrm{\Re }s<\beta$
${\left(x\frac{d}{dx}\right)}^{n}f(x)$	$(-s{)}^n\tilde{f}(s)$	$\alpha <\mathrm{\Re }s<\beta$
${\left(\frac{d}{dx}x\right)}^{n}f(x)$	$(1-s{)}^n\tilde{f}(s)$	$\alpha <\mathrm{\Re }s<\beta$
${\int }_0^{x}f(y)dy$	$-s^{-1}\tilde{f}(s+1)$	$\alpha -1<\mathrm{\Re }s<min(\beta -1,0)$	Valid only if the integral exists.
${\int }_x^{\mathrm{\infty }}f(y)dy$	$s^{-1}\tilde{f}(s+1)$	$max(\alpha -1,0)<\mathrm{\Re }s<\beta -1$	Valid only if the integral exists.
${\int }_0^{\mathrm{\infty }}{f}_1\left(\frac{x}{y}\right)f_2(y)\frac{dy}{y}$	${\tilde{f}}_1(s){\tilde{f}}_2(s)$	$max({\alpha }_1,{\alpha }_2)<\mathrm{\Re }s<min({\beta }_1,{\beta }_2)$	Multiplicative convolution
$x^{\mu }{\int }_0^{\mathrm{\infty }}{y}^{\nu }{f}_1\left(\frac{x}{y}\right)f_2(y)dy$	${\tilde{f}}_1(s+\mu ){\tilde{f}}_2(s+\mu +\nu +1)$		Multiplicative convolution (generalized)
$x^{\mu }{\int }_0^{\mathrm{\infty }}{y}^{\nu }{f}_1(xy)f_2(y)dy$	${\tilde{f}}_1(s+\mu ){\tilde{f}}_2(1-s-\mu +\nu )$		Multiplicative convolution (generalized)
$f_1(x)f_2(x)$	$\frac{1}{2\pi i}{\int }_{c-i\mathrm{\infty }}^{c+i\mathrm{\infty }}{\tilde{f}}_1(r){\tilde{f}}_2(s-r)dr$	$\begin{array}{cc}{\alpha }_2+c& <\mathrm{\Re }s<{\beta }_2+c\\ {\alpha }_1& <c<{\beta }_1\end{array}$	Multiplication. Only valid if integral exists. See Parseval's theorem below for conditions which ensure the existence of the integral.

Parseval's theorem and Plancherel's theorem

Let $f_1(x)$ and $f_2(x)$ be functions with well-defined Mellin transforms ${\tilde{f}}_{1,2}(s)=ℳ\{f_{1,2}\}(s)$ in the fundamental strips Template:Tmath. Let $c\in ℝ$ with Template:Tmath. If the functions $x^{c-1/2}{f}_1(x)$ and $x^{1/2-c}{f}_2(x)$ are also square-integrable over the interval Template:Tmath, then Parseval's formula holds: $${\int }_0^{\mathrm{\infty }}{f}_1(x)f_2(x)dx=\frac{1}{2\pi i}{\int }_{c-i\mathrm{\infty }}^{c+i\mathrm{\infty }}\widetilde{f_1}(s)\widetilde{f_2}(1-s)ds$$ The integration on the right hand side is done along the vertical line $\mathrm{\Re }r=c$ that lies entirely within the overlap of the (suitable transformed) fundamental strips.

We can replace $f_2(x)$ by Template:Tmath. This gives following alternative form of the theorem: Let $f_1(x)$ and $f_2(x)$ be functions with well-defined Mellin transforms ${\tilde{f}}_{1,2}(s)=ℳ\{f_{1,2}\}(s)$ in the fundamental strips Template:Tmath. Let $c\in ℝ$ with ${\alpha }_1<c<{\beta }_1$ and choose $s_0\in ℂ$ with Template:Tmath. If the functions $x^{c-1/2}{f}_1(x)$ and $x^{s_0-c-1/2}{f}_2(x)$ are also square-integrable over the interval $(0,\mathrm{\infty })$, then we have $${\int }_0^{\mathrm{\infty }}{f}_1(x)f_2(x)x^{s_0-1}dx=\frac{1}{2\pi i}{\int }_{c-i\mathrm{\infty }}^{c+i\mathrm{\infty }}\widetilde{f_1}(s)\widetilde{f_2}(s_0-s)ds$$ We can replace $f_2(x)$ by Template:Tmath. This gives following theorem: Let $f(x)$ be a function with well-defined Mellin transform $\tilde{f}(s)=ℳ\{f\}(s)$ in the fundamental strip Template:Tmath. Let $c\in ℝ$ with Template:Tmath. If the function $x^{c-1/2}f(x)$ is also square-integrable over the interval Template:Tmath, then Plancherel's theorem holds: $${\int }_0^{\mathrm{\infty }}|f(x){|}^2{x}^{2c-1}dx=\frac{1}{2\pi }{\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}|\tilde{f}(c+it){|}^{2}dt$$

As an isometry on L² spaces

In the study of Hilbert spaces, the Mellin transform is often posed in a slightly different way. For functions in $L^2(0,\mathrm{\infty })$ (see [[Lp space|LTemplate:Sup space]]) the fundamental strip always includes Template:Tmath, so we may define a linear operator $\widetilde{ℳ}$ as $$\widetilde{ℳ}:L^2(0,\mathrm{\infty })\to L^2(-\mathrm{\infty },\mathrm{\infty }),$$ $$\{\widetilde{ℳ}f\}(s):=\frac{1}{\sqrt{2\pi }}{\int }_0^{\mathrm{\infty }}{x}^{-\frac{1}{2}+is}f(x)dx.$$ In other words, we have set $$\{\widetilde{ℳ}f\}(s):=\frac{1}{\sqrt{2\pi }}\{ℳf\}(\frac{1}{2}+is).$$ This operator is usually denoted by just plain $ℳ$ and called the "Mellin transform", but $\widetilde{ℳ}$ is used here to distinguish from the definition used elsewhere in this article. The Mellin inversion theorem then shows that $\widetilde{ℳ}$ is invertible with inverse $${\widetilde{ℳ}}^{-1}:L^2(-\mathrm{\infty },\mathrm{\infty })\to L^2(0,\mathrm{\infty }),$$ $$\{{\widetilde{ℳ}}^{-1}\phi \}(x)=\frac{1}{\sqrt{2\pi }}{\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}{x}^{-\frac{1}{2}-is}\phi (s)ds.$$ Furthermore, this operator is an isometry, that is to say $\Vert \widetilde{ℳ}f{\Vert }_{L^2(-\mathrm{\infty },\mathrm{\infty })}=\Vert f{\Vert }_{L^2(0,\mathrm{\infty })}$ for all $f\in L^2(0,\mathrm{\infty })$ (this explains why the factor of $1/\sqrt{2\pi }$ was used).

In probability theory

In probability theory, the Mellin transform is an essential tool in studying the distributions of products of random variables. If Template:Tmath is a random variable, and Template:Tmath denotes its positive part, while Template:Tmath is its negative part, then the Mellin transform of Template:Tmath is defined as $${ℳ}_X(s)={\int }_0^{\mathrm{\infty }}{x}^{s}d{F}_{X^{+}}(x)+\gamma {\int }_0^{\mathrm{\infty }}{x}^{s}d{F}_{X^{-}}(x),$$ where Template:Tmath is a formal indeterminate with Template:Tmath. This transform exists for all Template:Tmath in some complex strip Template:Tmath, where Template:Tmath.

The Mellin transform ${ℳ}_X(it)$ of a random variable Template:Tmath uniquely determines its distribution function Template:Tmath. The importance of the Mellin transform in probability theory lies in the fact that if Template:Tmath and Template:Tmath are two independent random variables, then the Mellin transform of their product is equal to the product of the Mellin transforms of Template:Tmath and Template:Tmath: $${ℳ}_{XY}(s)={ℳ}_X(s){ℳ}_Y(s)$$

Problems with Laplacian in cylindrical coordinate system

In the Laplacian in cylindrical coordinates in a generic dimension (orthogonal coordinates with one angle and one radius, and the remaining lengths) there is always a term: $$\frac{1}{r}\frac{\partial }{\partial r}\left(r\frac{\partial f}{\partial r}\right)=f_{rr}+\frac{f_r}{r}$$

For example, in 2-D polar coordinates the Laplacian is: $${\mathrm{\nabla }}^{2}f=\frac{1}{r}\frac{\partial }{\partial r}\left(r\frac{\partial f}{\partial r}\right)+\frac{1}{r^2}\frac{{\partial }^{2}f}{\partial {\theta }^2}$$ and in 3-D cylindrical coordinates the Laplacian is, $${\mathrm{\nabla }}^{2}f=\frac{1}{r}\frac{\partial }{\partial r}\left(r\frac{\partial f}{\partial r}\right)+\frac{1}{r^2}\frac{{\partial }^{2}f}{\partial {\phi }^2}+\frac{{\partial }^{2}f}{\partial z^2}.$$

This term can be treated with the Mellin transform, since: $$ℳ(r^2{f}_{rr}+r{f}_r,r\to s)=s^2ℳ(f,r\to s)=s^{2}F$$

For example, the 2-D Laplace equation in polar coordinates is the PDE in two variables: $$r^2{f}_{rr}+r{f}_r+f_{\theta \theta }=0$$ and by multiplication: $$\frac{1}{r}\frac{\partial }{\partial r}\left(r\frac{\partial f}{\partial r}\right)+\frac{1}{r^2}\frac{{\partial }^{2}f}{\partial {\theta }^2}=0$$ with a Mellin transform on radius becomes the simple harmonic oscillator: $$F_{\theta \theta }+s^{2}F=0$$ with general solution: $$F(s,\theta )=C_1(s)\cos (s\theta )+C_2(s)\sin (s\theta )$$

Now let's impose for example some simple wedge boundary conditions to the original Laplace equation: $$f(r,-{\theta }_0)=a(r),f(r,{\theta }_0)=b(r)$$ these are particularly simple for Mellin transform, becoming: $$F(s,-{\theta }_0)=A(s),F(s,{\theta }_0)=B(s)$$

These conditions imposed to the solution particularize it to: $$F(s,\theta )=A(s)\frac{\sin (s({\theta }_0-\theta ))}{\sin (2{\theta }_{0}s)}+B(s)\frac{\sin (s({\theta }_0+\theta ))}{\sin (2{\theta }_{0}s)}$$

Now by the convolution theorem for Mellin transform, the solution in the Mellin domain can be inverted: $$f(r,\theta )=\frac{r^m\cos (m\theta )}{2{\theta }_0}{\int }_0^{\mathrm{\infty }}(\frac{a(x)}{x^{2m}+2r^m{x}^m\sin (m\theta )+r^{2m}}+\frac{b(x)}{x^{2m}-2r^m{x}^m\sin (m\theta )+r^{2m}})x^{m-1}dx$$ where the following inverse transform relation was employed: $${ℳ}^{-1}(\frac{\sin (s\phi )}{\sin (2{\theta }_{0}s)};s\to r)=\frac{1}{2{\theta }_0}\frac{r^m\sin (m\phi )}{1+2r^m\cos (m\phi )+r^{2m}}$$ where $m=\frac{\pi }{2{\theta }_0}$.

Applications

The Mellin transform is widely used in computer science for the analysis of algorithms because of its scale invariance property. The magnitude of the Mellin Transform of a scaled function is identical to the magnitude of the original function for purely imaginary inputs. This scale invariance property is analogous to the Fourier Transform's shift invariance property. The magnitude of a Fourier transform of a time-shifted function is identical to the magnitude of the Fourier transform of the original function.

This property is useful in image recognition. An image of an object is easily scaled when the object is moved towards or away from the camera.

In quantum mechanics and especially quantum field theory, Fourier space is enormously useful and used extensively because momentum and position are Fourier transforms of each other (for instance, Feynman diagrams are much more easily computed in momentum space). In 2011, A. Liam Fitzpatrick, Jared Kaplan, João Penedones, Suvrat Raju, and Balt C. van Rees showed that Mellin space serves an analogous role in the context of the AdS/CFT correspondence.

Examples

• Perron's formula describes the inverse Mellin transform applied to a Dirichlet series.
• The Mellin transform is used in analysis of the prime-counting function and occurs in discussions of the Riemann zeta function.
• Inverse Mellin transforms commonly occur in Riesz means.
• The Mellin transform can be used in audio timescale-pitch modification Template:Citation needed.

Table of selected Mellin transforms

Below is a list of interesting examples for the Mellin transform:

Selected Mellin transformsTemplate:Sfnmp

Function $f(x)$	Mellin transform $\tilde{f}(s)=ℳ\{f\}(s)$	Region of convergence	Comment
$e^{-x}$	$\mathrm{\Gamma }(s)$	$0<\mathrm{\Re }s<\mathrm{\infty }$
$e^{-x}-1$	$\mathrm{\Gamma }(s)$	$-1<\mathrm{\Re }s<0$
$e^{-x}-1+x$	$\mathrm{\Gamma }(s)$	$-2<\mathrm{\Re }s<-1$	Generally $\mathrm{\Gamma }(s)$ is the Mellin transform of Template:Tmath, Template:Nowrap
$e^{-x^2}$	$\frac{1}{2}\mathrm{\Gamma }(\frac{1}{2}s)$	$0<\mathrm{\Re }s<\mathrm{\infty }$
$\mathrm{e}\mathrm{r}\mathrm{f}\mathrm{c}(x)$	$\frac{\mathrm{\Gamma }(\frac{1}{2}(1+s))}{\sqrt{\pi }s}$	$0<\mathrm{\Re }s<\mathrm{\infty }$
$e^{-(\ln x{)}^2}$	$\sqrt{\pi }{e}^{\frac{1}{4}{s}^2}$	$-\mathrm{\infty }<\mathrm{\Re }s<\mathrm{\infty }$
$\delta (x-a)$	$a^{s-1}$	$-\mathrm{\infty }<\mathrm{\Re }s<\mathrm{\infty }$	$a>0,\delta (x)$ is the Dirac delta function
$u(1-x)=\{\begin{array}{ccccc}& 1& & \text{if}0<x<1& \\ & 0& & \text{if}1<x<\mathrm{\infty }& \end{array}$	$\frac{1}{s}$	$0<\mathrm{\Re }s<\mathrm{\infty }$	$u(x)$ is the Heaviside step function
$-u(x-1)=\{\begin{array}{ccccc}& 0& & \text{if}0<x<1& \\ & -1& & \text{if}1<x<\mathrm{\infty }& \end{array}$	$\frac{1}{s}$	$-\mathrm{\infty }<\mathrm{\Re }s<0$
$u(1-x)x^a=\{\begin{array}{ccccc}& x^a& & \text{if}0<x<1& \\ & 0& & \text{if}1<x<\mathrm{\infty }& \end{array}$	$\frac{1}{s+a}$	$-\mathrm{\Re }a<\mathrm{\Re }s<\mathrm{\infty }$
$-u(x-1)x^a=\{\begin{array}{ccccc}& 0& & \text{if}0<x<1& \\ & -x^a& & \text{if}1<x<\mathrm{\infty }& \end{array}$	$\frac{1}{s+a}$	$-\mathrm{\infty }<\mathrm{\Re }s<-\mathrm{\Re }a$
$u(1-x)x^a\ln x=\{\begin{array}{ccccc}& x^a\ln x& & \text{if}0<x<1& \\ & 0& & \text{if}1<x<\mathrm{\infty }& \end{array}$	$\frac{1}{(s+a{)}^2}$	$-\mathrm{\Re }a<\mathrm{\Re }s<\mathrm{\infty }$
$-u(x-1)x^a\ln x=\{\begin{array}{ccccc}& 0& & \text{if}0<x<1& \\ & -x^a\ln x& & \text{if}1<x<\mathrm{\infty }& \end{array}$	$\frac{1}{(s+a{)}^2}$	$-\mathrm{\infty }<\mathrm{\Re }s<-\mathrm{\Re }a$
$\frac{1}{1+x}$	$\frac{\pi }{\sin (\pi s)}$	$0<\mathrm{\Re }s<1$
$\frac{1}{1-x}$	$\frac{\pi }{\tan (\pi s)}$	$0<\mathrm{\Re }s<1$	The integral uses the Cauchy principal value.
$\frac{1}{1+x^2}$	$\frac{\pi }{2\sin (\frac{1}{2}\pi s)}$	$0<\mathrm{\Re }s<2$
$\frac{1}{(1+x{)}^a}$	$\frac{\mathrm{\Gamma }(s)\mathrm{\Gamma }(a-s)}{\mathrm{\Gamma }(a)}$	$0<\mathrm{\Re }s<\mathrm{\Re }a$	Binomial series
$u(1-x)(1-x{)}^{a-1}$	$\frac{\mathrm{\Gamma }(s)\mathrm{\Gamma }(a)}{\mathrm{\Gamma }(s+a)}$	$0<\mathrm{\Re }s<\mathrm{\infty }$	$\mathrm{\Re }a>0$
$u(x-1)(1-x{)}^{-a}$	$\frac{\mathrm{\Gamma }(a-s)\mathrm{\Gamma }(1-a)}{\mathrm{\Gamma }(1-s)}$	$-\mathrm{\infty }<\mathrm{\Re }s<\mathrm{\Re }a$	$\mathrm{\Re }a<1$
$\ln (1+x)$	$\frac{\pi }{s\sin (\pi s)}$	$-1<\mathrm{\Re }s<0$
$\ln |1-x|$	$\frac{\pi }{s}\cot (\pi s)$	$-1<\mathrm{\Re }s<0$
$\mathrm{acot}x=\frac{\pi }{2}-\mathrm{atan}x$	$\frac{\pi }{2s\cos (\pi s/2)}$	$0<\mathrm{\Re }s<1$
$\sin (x)$	$\sin (\frac{1}{2}\pi s)\mathrm{\Gamma }(s)$	$-1<\mathrm{\Re }s<1$
$\cos (x)$	$\cos (\frac{1}{2}\pi s)\mathrm{\Gamma }(s)$	$0<\mathrm{\Re }s<1$
$e^{ix}$	$e^{i\pi s/2}\mathrm{\Gamma }(s)$	$0<\mathrm{\Re }s<1$
$J_0(x)$	$\frac{2^{s-1}}{\pi }\sin (\pi s/2){[\mathrm{\Gamma }(s/2)]}^2$	$0<\mathrm{\Re }s<\frac{3}{2}$	$J_0(x)$ is the Bessel function of the first kind.
$Y_0(x)$	$-\frac{2^{s-1}}{\pi }\cos (\pi s/2){[\mathrm{\Gamma }(s/2)]}^2$	$0<\mathrm{\Re }s<\frac{3}{2}$	$Y_0(x)$ is the Bessel function of the second kind
$K_0(x)$	$2^{s-2}{[\mathrm{\Gamma }(s/2)]}^2$	$0<\mathrm{\Re }s<\mathrm{\infty }$	$K_0(x)$ is the modified Bessel function of the second kind

See also

• Mellin inversion theorem
• Perron's formula
• Ramanujan's master theorem

References

• Template:Cite book
• Template:Cite book
• Template:Cite web
• Template:Cite book
• Template:Cite journal
• Template:Cite book
• Template:Cite book
• Template:Cite book
• Template:Cite book
• Template:Cite web
• Template:Springer
• Template:Mathworld

External links

• Philippe Flajolet, Xavier Gourdon, Philippe Dumas, Mellin Transforms and Asymptotics: Harmonic sums
• Antonio Gonzáles, Marko Riedel Celebrando un clásico, newsgroup es.ciencia.matematicas
• Juan Sacerdoti, Funciones Eulerianas (in Spanish).
• Mellin Transform Methods, Digital Library of Mathematical Functions, 2011-08-29, National Institute of Standards and Technology
• Antonio De Sena and Davide Rocchesso, A Fast Mellin Transform with Applications in DAFX