In mathematics, the Mellin transform is an integral transform that may be regarded as the multiplicative version of the twosided 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 closely related to the Laplace transform and the Fourier transform, and the theory of the gamma function and allied special functions.
The Mellin transform of a function f is

\left\{\mathcal{M}f\right\}(s) = \varphi(s)=\int_0^{\infty} x^{s1} f(x)dx.
The inverse transform is

\left\{\mathcal{M}^{1}\varphi\right\}(x) = f(x)=\frac{1}{2 \pi i} \int_{ci \infty}^{c+i \infty} x^{s} \varphi(s)\, ds.
The notation implies this is a line integral taken over a vertical line in the complex plane. Conditions under which this inversion is valid are given in the Mellin inversion theorem.
The transform is named after the Finnish mathematician Hjalmar Mellin.
Contents

Relationship to other transforms 1

Examples 2

Cahen–Mellin integral 2.1

Number theory 2.2

As an isometry on L2 spaces 3

In probability theory 4

Problems with Laplacian in cylindrical coordinate system 5

Applications 6

Examples 7

See also 8

Notes 9

References 10

External links 11
Relationship to other transforms
The twosided Laplace transform may be defined in terms of the Mellin transform by

\left\{\mathcal{B} f\right\}(s) = \left\{\mathcal{M} f(\ln x) \right\}(s)
and conversely we can get the Mellin transform from the twosided Laplace transform by

\left\{\mathcal{M} f\right\}(s) = \left\{\mathcal{B} f(e^{x})\right\}(s).
The Mellin transform may be thought of as integrating using a kernel x^{s} 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 twosided Laplace transform integrates with respect to the additive Haar measure dx, which is translation invariant, so that d(x+a) = dx.
We also may define the Fourier transform in terms of the Mellin transform and vice versa; if we define the twosided Laplace transform as above, then

\left\{\mathcal{F} f\right\}(s) = \left\{\mathcal{B} f\right\}(is) = \left\{\mathcal{M} f(\ln x)\right\}(is).
We may also reverse the process and obtain

\left\{\mathcal{M} f\right\}(s) = \left\{\mathcal{B} f(e^{x})\right\}(s) = \left\{\mathcal{F} f(e^{x})\right\}(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.
Examples
Cahen–Mellin integral
For c>0, \Re(y)>0 and y^{s} on the principal branch, one has

e^{y}= \frac{1}{2\pi i} \int_{ci\infty}^{c+i\infty} \Gamma(s) y^{s}\;ds
where \Gamma(s) is the gamma function. This integral is known as the CahenMellin integral.^{[1]}
Number theory
An important application in number theory includes the simple function

f(x)=\begin{cases} 0 & x < 1, \\ x^{a} & x > 1, \end{cases},
for which

\mathcal M f (s)=  \frac 1 {s+a},
assuming \Re (s+a)<0.
As an isometry on L^{2} spaces
In the study of Hilbert spaces, the Mellin transform is often posed in a slightly different way. For functions in L^2(0,\infty) (see Lp space) the fundamental strip always includes \tfrac{1}{2}+i\mathbb{R}, so we may define a linear operator \tilde{\mathcal{M}} as

\tilde{\mathcal{M}}\colon L^2(0,\infty)\to L^2(\infty,\infty),

\{\tilde{\mathcal{M}}f\}(s) := \frac{1}{\sqrt{2\pi}}\int_0^{\infty} x^{\frac{1}{2}+is} f(x)\,dx.
In other words we have set

\{\tilde{\mathcal{M}}f\}(s):=\tfrac{1}{\sqrt{2\pi}}\{\mathcal{M}f\}(\tfrac{1}{2}+is).
This operator is usually denoted by just plain \mathcal{M} and called the "Mellin transform", but \tilde{\mathcal{M}} is used here to distinguish from the definition used elsewhere in this article. The Mellin inversion theorem then shows that \tilde{\mathcal{M}} is invertible with inverse

\tilde{\mathcal{M}}^{1}\colon L^2(\infty,\infty) \to L^2(0,\infty),

\{\tilde{\mathcal{M}}^{1}\varphi\}(x) = \frac{1}{\sqrt{2\pi}}\int_{\infty}^{\infty} x^{\frac{1}{2}is} \varphi(s)\,ds.
Furthermore this operator is an isometry, that is to say \\tilde{\mathcal{M}} f\_{L^2(\infty,\infty)}=\f\_{L^2(0,\infty)} for all f\in L^2(0,\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.^{[2]} If X is a random variable, and X^{+} = max{X,0} denotes its positive part, while X^{ −} = max{−X,0} is its negative part, then the Mellin transform of X is defined as ^{[3]}

\mathcal{M}_X(s) = \int_0^\infty x^s dF_{X^+}(x) + \gamma\int_0^\infty x^s dF_{X^}(x),
where γ is a formal indeterminate with γ^{2} = 1. This transform exists for all s in some complex strip D = {s: a ≤ Re(s) ≤ b}, where a ≤ 0 ≤ b.^{[3]}
The Mellin transform \scriptstyle\mathcal{M}_X(it) of a random variable X uniquely determines its distribution function F_{X}.^{[3]} The importance of the Mellin transform in probability theory lies in the fact that if X and Y are two independent random variables, then the Mellin transform of their products is equal to the product of the Mellin transforms of X and Y:^{[4]}

\mathcal{M}_{XY}(s) = \mathcal{M}_X(s)\mathcal{M}_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:

{1 \over r} {\partial \over \partial r} \left( r {\partial f \over \partial r} \right) = f_{rr} + {f_r \over r}
For example in 2D polar coordinates the laplacian is:

\nabla^2 f = {1 \over r} {\partial \over \partial r} \left( r {\partial f \over \partial r} \right) + {1 \over r^2} {\partial^2 f \over \partial \theta^2}
and in 3D cylindrical coordinates the laplacian is,

\nabla^2 f = {1 \over r} {\partial \over \partial r} \left(r {\partial f \over \partial r} \right) + {1 \over r^2} {\partial^2 f \over \partial \varphi^2} + {\partial^2 f \over \partial z^2 }.
This term can be easily treated with the Mellin transform,^{[5]} since:

\mathcal M \left(r^2 f_{rr} + r f_r, r \rightarrow s \right) = s^2 \mathcal M \left(f, r \rightarrow s \right) = s^2 F
For example the 2D 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:

{1 \over r} {\partial \over \partial r} \left( r {\partial f \over \partial r} \right) + {1 \over r^2} {\partial^2 f \over \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), \quad f(r,\theta_0) = b(r)
these are particularly simple for Mellin transform, becoming:
F(s,\theta_0) = A(s), \quad F(s,\theta_0) = B(s) .
These conditions imposed to the solution particularise 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:

\begin{align} & f (r, \theta) = \\ & = \frac{r^m}{2 \theta_0} \cdot (\cos m \theta) \cdot ( \int_0^\infty\frac{ x^{m1} a(x)}{x^{2m} + 2 r^m x^m \sin(m \theta) + r^{2m}}dx + \\ & + \int_0^\infty\frac{ x^{m1} b(x)}{x^{2m}  2 r^m x^m \sin(m \theta) + r^{2m}}dx ) \end{align}
where the following inverse transform relation was employed:

\begin{align} & \mathcal M^{1} \left( \frac {\sin (s \phi)}{\sin (2 \theta_0 s)}; s \rightarrow r \right) = \\ & = \frac 1 {2 \theta_0} \frac{r^m \sin (m \phi)}{1+2r^m \cos(m \phi) + r^{2m}} \end{align}
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. This scale invariance property is analogous to the Fourier Transform's shift invariance property. The magnitude of a Fourier transform of a timeshifted 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.
Examples
See also
Notes

^ Hardy, G. H.; Littlewood, J. E. (1916). "Contributions to the Theory of the Riemann ZetaFunction and the Theory of the Distribution of Primes". (See notes therein for further references to Cahen's and Mellin's work, including Cahen's thesis.)

^ Galambos & Simonelli (2004, p. 15)

^ ^{a} ^{b} ^{c} Galambos & Simonelli (2004, p. 16)

^ Galambos & Simonelli (2004, p. 23)

^ Bhimsen, Shivamoggi, Chapter 6: The Mellin Transform, par. 4.3: Distribution of a Potential in a Wedge, p. 2678
References

Galambos, Janos; Simonelli, Italo (2004). Products of random variables: applications to problems of physics and to arithmetical functions. Marcel Dekker, Inc.

Paris, R. B.; Kaminski, D. (2001). Asymptotics and MellinBarnes Integrals. Cambridge University Press.

Polyanin, A. D.; Manzhirov, A. V. (1998). Handbook of Integral Equations. Boca Raton: CRC Press.

Flajolet, P.; Gourdon, X.; Dumas, P. (1995). "Mellin transforms and asymptotics: Harmonic sums". Theoretical Computer Science 144 (12): 3–58.

Tables of Integral Transforms at EqWorld: The World of Mathematical Equations.

Hazewinkel, Michiel, ed. (2001), "Mellin transform",

Weisstein, Eric W., "Mellin Transform", 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, 20110829, National Institute of Standards and Technology

Antonio De Sena and Davide Rocchesso, A FAST MELLIN TRANSFORM WITH APPLICATIONS IN DAFX
This article was sourced from Creative Commons AttributionShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, EGovernment Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a nonprofit organization.