# Mellin transform

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 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

The inverse transform is

The notation implies this is a line integral taken over a vertical line in the complex plane, whose real part *c* is arbitrary provided that it meets certain conditions. Conditions under which this inversion is valid are given in the Mellin inversion theorem.

The transform is named after the Finnish mathematician Hjalmar Mellin.

## Relationship to other transformsEdit

The two-sided Laplace transform may be defined in terms of the Mellin transform by

and conversely we can get the Mellin transform from the two-sided Laplace transform by

The Mellin transform may be thought of as integrating using a kernel *x*^{s} with respect to the multiplicative Haar measure,
, which is invariant
under dilation , so that
the two-sided Laplace transform integrates with respect to the additive Haar measure , which is translation invariant, so that .

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

We may also reverse the process and obtain

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.

## ExamplesEdit

### Cahen–Mellin integralEdit

The Mellin transform of the function is

where is the gamma function. is a meromorphic function with simple poles at .^{[1]} Therefore, is analytic for . Thus, letting and on the principal branch, the inverse transform gives

- .

This integral is known as the Cahen–Mellin integral.^{[2]}

### Polynomial FunctionsEdit

Since is not convergent for any value of , 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

then

Thus has a simple pole at and is thus defined for . Similarly, if

then

Thus has a simple pole at and is thus defined for .

### Exponential FunctionsEdit

For , let . Then

### Zeta FunctionEdit

It is possible to use the Mellin transform to produce one of the fundamental formulas for the Riemann zeta function, . Let . Then

Thus,

### Generalized GaussianEdit

For , let (i.e. is a generalized Gaussian distribution without the scaling factor.) Then

In particular, setting recovers the following form of the gamma function

## Fundamental stripEdit

For , let the open strip be defined to be all such that with The **fundamental strip** of is defined to be the largest open strip on which it is defined. For example, for the fundamental strip of

is As seen by this example, the asymptotics of the function as define the left endpoint of its fundamental strip, and the asymptotics of the function as define its right endpoint. To summarize using Big O notation, if is as and as then is defined in the strip ^{[3]}

An application of this can be seen in the gamma function, Since is as and for all then should be defined in the strip which confirms that is analytic for

## As an isometry on *L*^{2} spacesEdit

In the study of Hilbert spaces, the Mellin transform is often posed in a slightly different way. For functions in (see Lp space) the fundamental strip always includes , so we may define a linear operator as

In other words, we have set

This operator is usually denoted by just plain and called the "Mellin transform", but is used here to distinguish from the definition used elsewhere in this article. The Mellin inversion theorem then shows that is invertible with inverse

Furthermore, this operator is an isometry, that is to say for all (this explains why the factor of was used).

## In probability theoryEdit

In probability theory, the Mellin transform is an essential tool in studying the distributions of products of random variables.^{[4]} 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^{[5]}

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*.^{[5]}

The Mellin transform of a random variable *X* uniquely determines its distribution function *F _{X}*.

^{[5]}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*:

^{[6]}

## Problems with Laplacian in cylindrical coordinate systemEdit

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:

For example, in 2-D polar coordinates the laplacian is:

and in 3-D cylindrical coordinates the laplacian is,

This term can be easily treated^{[clarification needed]} with the Mellin transform,^{[7]} since:

For example, the 2-D Laplace equation in polar coordinates is the PDE in two variables:

and by multiplication:

with a Mellin transform on radius becomes the simple harmonic oscillator:

with general solution:

Now let's impose for example some simple wedge boundary conditions to the original Laplace equation:

these are particularly simple for Mellin transform, becoming:

These conditions imposed to the solution particularise it to:

Now by the convolution theorem for Mellin transform, the solution in the Mellin domain can be inverted:

where the following inverse transform relation was employed:

where .

## ApplicationsEdit

The Mellin Transform is widely used in computer science for the analysis of algorithms^{[clarification needed]} 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.^{[8]}^{[9]}^{[10]}

## ExamplesEdit

- 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
^{[citation needed]}.

## See alsoEdit

## NotesEdit

**^**Whittaker, E.T.; Watson, G.N. (1996).*A Course of Modern Analysis*. Cambridge University Press.**^**Hardy, G. H.; Littlewood, J. E. (1916). "Contributions to the Theory of the Riemann Zeta-Function and the Theory of the Distribution of Primes".*Acta Mathematica*.**41**(1): 119–196. doi:10.1007/BF02422942.*(See notes therein for further references to Cahen's and Mellin's work, including Cahen's thesis.)***^**Flajolet, P.; Gourdon, X.; Dumas, P. (1995). "Mellin transforms and asymptotics: Harmonic sums" (PDF).*Theoretical Computer Science*.**144**(1–2): 3–58. doi:10.1016/0304-3975(95)00002-e.**^**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, pp. 267–8**^**A. Liam Fitzpatrick, Jared Kaplan, Joao Penedones, Suvrat Raju, Balt C. van Rees. "A Natural Language for AdS/CFT Correlators".**^**A. Liam Fitzpatrick, Jared Kaplan. "Unitarity and the Holographic S-Matrix"**^**A. Liam Fitzpatrick. "AdS/CFT and the Holographic S-Matrix", video lecture.

## ReferencesEdit

- Lokenath Debnath; Dambaru Bhatta (19 April 2016).
*Integral Transforms and Their Applications*. CRC Press. ISBN 978-1-4200-1091-6. - Galambos, Janos; Simonelli, Italo (2004).
*Products of random variables: applications to problems of physics and to arithmetical functions*. Marcel Dekker, Inc. ISBN 0-8247-5402-6.CS1 maint: ref=harv (link) - Paris, R. B.; Kaminski, D. (2001).
*Asymptotics and Mellin-Barnes Integrals*. Cambridge University Press. - Polyanin, A. D.; Manzhirov, A. V. (1998).
*Handbook of Integral Equations*. Boca Raton: CRC Press. ISBN 0-8493-2876-4. - Flajolet, P.; Gourdon, X.; Dumas, P. (1995). "Mellin transforms and asymptotics: Harmonic sums" (PDF).
*Theoretical Computer Science*.**144**(1–2): 3–58. doi:10.1016/0304-3975(95)00002-e. - Tables of Integral Transforms at EqWorld: The World of Mathematical Equations.
- "Mellin transform",
*Encyclopedia of Mathematics*, EMS Press, 2001 [1994] - Weisstein, Eric W. "Mellin Transform".
*MathWorld*.

## External linksEdit

- 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*