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  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 need only satisfy a mild lower bound. Conditions under which this inversion is valid are given in the Mellin inversion theorem.

The transform is named after the Finnish mathematician Hjalmar Mellin, who introduced it in a paper published 1897 in Acta Societatis Scientiarum Fennicæ.

Relationship to other transforms
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 xs 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.

Examples

Cahen–Mellin integral
The Mellin transform of the function  is

 

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

 .

This integral is known as the Cahen–Mellin integral.

Polynomial functions
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 functions
For , let .  Then

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

Thus,

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

Power series and Dirichlet series

Generally, assuming necessary convergence, we can connect Dirichlet series and related power series

by the formal identity involving Mellin transform:

Fundamental strip

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 

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

Properties

The properties in this table may be found in  and .

Parseval's theorem and Plancherel's theorem

Let  and  be functions with well-defined
Mellin transforms 
in the fundamental strips .
Let  with .
If the functions  and  
are also square-integrable over the interval , then Parseval's formula holds:

The integration on the right hand side is done along the vertical line  that
lies entirely within the overlap of the (suitable transformed) fundamental strips.

We can replace  by . This gives following alternative form of the theorem:
Let  and  be functions with well-defined
Mellin transforms 
in the fundamental strips .
Let  with  and
choose  with .
If the functions  and  
are also square-integrable over the interval , then we have

We can replace  by .
This gives following theorem:
Let  be a function with well-defined Mellin transform

in the fundamental strip .
Let  with .
If the function 
is also square-integrable over the interval , then Plancherel's theorem holds:

As an isometry on L2 spaces 
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 theory
In probability theory, the Mellin transform is an essential tool in studying the distributions of products of random variables. If X is a random variable, and } denotes its positive part, while } is its negative part, then the Mellin transform of X is defined as

 

where γ is a formal indeterminate with . This transform exists for all s in some complex strip , where .

The Mellin transform  of a random variable X uniquely determines its distribution function FX. 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 product is equal to the product of the Mellin transforms of X and Y:

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:

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

and in 3-D cylindrical coordinates the Laplacian is,

This term can be treated with the Mellin transform, 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 particularize 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 .

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 .

Table of selected Mellin transforms 

Following list of interesting examples for the Mellin transform can be found in  and :

See also
Mellin inversion theorem
Perron's formula
Ramanujan's master theorem

Notes

References

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

 Some Applications of the Mellin Transform in Statistics (paper)

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

Complex analysis
Integral transforms
Laplace transforms
해석학에서 멜린 변환(Mellin變換, )은 양의 실수선 위의 함수에 대하여 정의되는 적분 변환의 일종이다. 푸리에 변환에 지수 함수를 합성한 것이다. 이에 따라, 푸리에 변환이나 라플라스 변환이 평행 이동에 대하여 호환되는 것에 반해, 멜린 변환은 확대 변환에 대하여 호환된다. 원래 함수의 0 또는 무한대에서의 점근적 급수의 계수는 멜린 변환의 극점의 계수로 주어진다.

정의 
라고 하자. 양의 실수선 () 위에 정의된 실수 값 함수

가 주어졌다고 하자. (은 1차 르베그 공간, 즉 절댓값 적분 가능 함수 공간이다.) 의 정의역은 위 적분이 수렴하는 복소수 들의 집합이다.

그렇다면, 의 멜린 변환은 (만약 존재한다면) 다음과 같은 적분 변환이다.

확장된 멜린 변환 
만약 위와 같은 멜린 변환이 수렴하지 않더라도, 일부 경우 멜린 변환을 다음과 같이 정의할 수 있다.

우선, 함수 가 0 근처에서 점근적 급수

를 갖는다고 하자. (이 급수는 점근적 급수이다. 즉, 수렴할 필요는 없다.) 여기서

는

를 만족시키는 복소수열이며,

는 자연수(음이 아닌 정수)의 수열이다.

그렇다면, 임의의 에 대하여 "부분 멜린 변환"

는 해석적 연속을 가하면 복소평면 위의 유리형 함수이며, 그 극점들은 에 위치하며, 극점 근처에서의 로랑 급수는 다음과 같다.

마찬가지로, 가 무한대 근처에서 점근적 급수

를 갖는다고 하자. 여기서

는

를 만족시키는 복소수열이며,

는 자연수(음이 아닌 정수)의 수열이다. 그렇다면, 임의의 에 대하여 "부분 멜린 변환"

는 해석적 연속을 가하면 복소평면 위의 유리형 함수이며, 그 극점들은 에 위치하며, 극점 근처에서의 로랑 급수는 다음과 같다.

이에 따라, 임의의 에 대하여 (일반화) 멜린 변환을 위와 같은 두 "부분 멜린 변환"의 해석적 연속의 합인 유리형 함수로 정의할 수 있으며, 이는 의 선택에 의존하지 않는다.

이러한 꼴의 함수에 대하여, 기본대는

이다. 특히 일 수 있는데, 이 경우 고전적 멜린 변환은 정의되지 않는다.

성질

정의역 
임의의 에 대하여, 의 정의역은 다음과 같은 꼴이다.

즉, 경계에서의 영집합을 제외하면 나머지는  꼴의, 복소평면의 띠이다. 이를 의 기본대(基本帶, )라고 한다.

특히, 임의의 에 대하여, 의 기본대는 항상 를 포함한다.

임의의 두 실수 에 대하여, 만약 함수 가

와 같은 점근적 성질을 갖는다면, 열린구간 는 의 기본대에 속한다.

멜린 역변환 
멜린 변환은 다음과 같은 역을 갖는다.

여기서 는 임의의 상수이며, 는 주분지()를 사용한다.
특히, 만약 일 경우, 항상 로 잡을 수 있다.

연산과의 호환 
멜린 변환은 다음 성질들을 만족시킨다.

유니터리성 
복소수 힐베르트 공간 에서, 다음을 정의하자.

그렇다면,

는 두 복소수 힐베르트 공간 사이의 유니터리 변환(=등거리 복소수 선형 변환)을 정의한다.

다른 변환과의 관계 
적절한 조건 아래, 멜린 변환은 다음과 같이 푸리에 변환()으로 표현된다.

마찬가지로, 양쪽 라플라스 변환 와의 관계는 다음과 같다.

예 
수론에서 자주 등장하는 함수

를 생각하자. (는 아이버슨 괄호, 즉 괄호 속의 명제가 참이면 1, 거짓이면 0이다.)
그 멜린 변환은 다음과 같다.

지수 함수 → 감마 함수 
함수

의 멜린 변환은 다음과 같이 감마 함수이다.

위 적분이 수렴하는 의 값, 즉 멜린 변환의 정의역은 다음과 같다.

특히, 의 멜린 변환의 기본띠는 이다.

그 역변환인 적분

을 카앵-멜린 적분()이라고 한다.

세타 함수 → 리만 제타 함수 
야코비 세타 함수 의 멜린 변환은 리만 제타 함수이다.

베르누이 수 
베르누이 수의 생성 함수

의 멜린 변환은 다음과 같다.

여기서 는 감마 함수이며 는 리만 제타 함수이다. 이에 따라, 감마 함수의 극점을 통해 리만 제타 함수의 음의 정수에서의 값이

임을 알 수 있다.

역사 
핀란드의 수학자 로베르트 얄마르 멜린(, 1854~1933)이 도입하였다. 이후 외젠 카앵(, 1865~1941)이 그 이론을 개량하였다.

응용

물리학 
양자장론에서, 분배 함수의 멜린 변환은 1고리 진공 진폭()이라고 한다. 즉, 해밀토니언 연산자 에 대하여,

를 생각하자. 이는 일 때 그린 함수=전파 인자이다. 이는 다음과 같이 분배 함수

의 멜린 변환으로 얻어진다.

여기서 는 (분배 함수의 관점에서) 온도의 역수이다.

이 사실은 파인먼 도형에 대응된 적분을 계산하는 데 매우 중요한 역할을 한다. 이 경우, 1고리 진공 진폭 을 계산하려면 이를 위와 같은 꼴의 멜린 변환으로 나타내는데, 이 경우 등장하는 보조 변수 를 슈윙거 매개 변수()라고 한다. 이는 양자장론을 일종의 시그마 모형으로 간주하였을 때, 입자의 세계선의 시간( 의 배 --> 윅 회전  )에 해당한다.

연산자의 제타 함수 
보다 일반적으로, 콤팩트 매끄러운 다양체 위의 복소수 매끄러운 벡터 다발 위의 라플라스형 연산자 의 열핵

를 생각하자. 이 경우, 임의의 함수 에 대하여, 힐베르트 공간

에서의 대각합

을 정의할 수 있다. 이제 이것의 에 대한 멜린 변환을 취하자.

(편의상 감마 함수 인자 를 삽입하였다.) 이 경우, 는 (적절한 해석적 연속을 가하면) 라플라스형 연산자 의 제타 함수()라고 한다. 제타 함수의 특이점들은 라플라스형 연산자에 대한 다양한 정보들을 담고 있다.

조합론 
멜린 변환은 또한 조합론에서도 자주 등장한다.

참고 문헌

외부 링크 
 
 
 
 
 
 
 
 

적분 변환
복소해석학