Преобразование Меллина
—
преобразование
, которое можно рассматривать как
мультипликативную версию
двустороннего преобразования Лапласа
. Это интегральное преобразование тесно связано с
теорией рядов Дирихле
и часто используется в
теории чисел
и в теории
асимптотических разложений
. Преобразование Меллина тесно связано с
преобразованием Лапласа
и
преобразованием Фурье
, а также теорией
гамма-функций
и теорией
смежных специальных функций
.
Преобразование названо по имени исследовавшего его финского математика
Ялмара Меллина
.
Определение
Прямое преобразование Меллина задаётся формулой:
{
M
f
}
(
s
)
=
φ
(
s
)
=
∫
0
∞
x
s
−
1
f
(
x
)
d
x
{\displaystyle \left\{{\mathcal {M}}f\right\}(s)=\varphi (s)=\int \limits _{0}^{\infty }x^{s-1}f(x)dx}
.
Обратное преобразование — формулой:
{
M
−
1
φ
}
(
x
)
=
f
(
x
)
=
1
2
π
i
∫
c
−
i
∞
c
+
i
∞
x
−
s
φ
(
s
)
d
s
{\displaystyle \left\{{\mathcal {M}}^{-1}\varphi \right\}(x)=f(x)={\frac {1}{2\pi i}}\int \limits _{c-i\infty }^{c+i\infty }x^{-s}\varphi (s)\,ds}
.
Предполагается, что интегрирование происходит в
комплексной плоскости
. Условия, при которых можно делать преобразование, совпадают с условиями
(англ.)
(
.
Связь с другими преобразованиями
Двусторонний интеграл Лапласа
может быть выражен через преобразование Меллина:
{
B
f
}
(
s
)
=
{
M
f
(
−
ln
x
)
}
(
s
)
{\displaystyle \left\{{\mathcal {B}}f\right\}(s)=\left\{{\mathcal {M}}f(-\ln x)\right\}(s)}
.
И наоборот: преобразование Меллина выражается через преобразование Лапласа формулой:
{
M
f
}
(
s
)
=
{
B
f
(
e
−
x
)
}
(
s
)
.
{\displaystyle \left\{{\mathcal {M}}f\right\}(s)=\left\{{\mathcal {B}}f(e^{-x})\right\}(s).}
Преобразование Фурье
может быть выражено через преобразование Меллина формулой:
{
F
f
}
(
−
s
)
=
{
B
f
}
(
−
i
s
)
=
{
M
f
(
−
ln
x
)
}
(
−
i
s
)
{\displaystyle \left\{{\mathcal {F}}f\right\}(-s)=\left\{{\mathcal {B}}f\right\}(-is)=\left\{{\mathcal {M}}f(-\ln x)\right\}(-is)}
.
Обратно:
{
M
f
}
(
s
)
=
{
B
f
(
e
−
x
)
}
(
s
)
=
{
F
f
(
e
−
x
)
}
(
i
s
)
{\displaystyle \left\{{\mathcal {M}}f\right\}(s)=\left\{{\mathcal {B}}f(e^{-x})\right\}(s)=\left\{{\mathcal {F}}f(e^{-x})\right\}(is)}
.
Преобразование Меллина также связывает
интерполяционные формулы Ньютона
или
биномиальные преобразования
с
производящей функцией последовательности
с помощью
цикла Пуассона — Меллина — Ньютона
.
Примеры
Интеграл Каэна — Меллина
Если:
c
>
0
,
{\displaystyle c>0,}
ℜ
(
y
)
>
0
,
{\displaystyle \Re (y)>0,}
y
−
s
{\displaystyle y^{-s}}
на
(англ.)
(
,
то
e
−
y
=
1
2
π
i
∫
c
−
i
∞
c
+
i
∞
Γ
(
s
)
y
−
s
d
s
{\displaystyle e^{-y}={\frac {1}{2\pi i}}\int \limits _{c-i\infty }^{c+i\infty }\Gamma (s)y^{-s}\;ds}
,
где
Γ
(
s
)
{\displaystyle \Gamma (s)}
—
гамма-функция
.
Назван по именам Ялмара Меллина и французского математика
(
фр.
).
Преобразование Меллина для лебегова пространства
В
гильбертовом пространстве
преобразование Меллина задаётся несколько иначе. Для
лебегова пространства
L
2
(
0
,
∞
)
{\displaystyle L^{2}(0,\infty )}
любая фундаментальная полоса включает в себя
1
2
+
i
R
{\displaystyle {\tfrac {1}{2}}+i\mathbb {R} }
. В связи с этим возможно задать
линейный оператор
M
~
{\displaystyle {\tilde {\mathcal {M}}}}
как:
M
~
:
L
2
(
0
,
∞
)
→
L
2
(
−
∞
,
∞
)
,
{
M
~
f
}
(
s
)
:=
1
2
π
∫
0
∞
x
−
1
2
+
i
s
f
(
x
)
d
x
{\displaystyle {\tilde {\mathcal {M}}}\colon L^{2}(0,\infty )\to L^{2}(-\infty ,\infty ),\{{\tilde {\mathcal {M}}}f\}(s):={\frac {1}{\sqrt {2\pi }}}\int \limits _{0}^{\infty }x^{-{\frac {1}{2}}+is}f(x)\,dx}
.
То есть:
{
M
~
f
}
(
s
)
:=
1
2
π
{
M
f
}
(
1
2
−
i
s
)
{\displaystyle \{{\tilde {\mathcal {M}}}f\}(s):={\tfrac {1}{\sqrt {2\pi }}}\{{\mathcal {M}}f\}({\tfrac {1}{2}}-is)}
.
Обычно этот оператор обозначается
M
{\displaystyle {\mathcal {M}}}
и называется преобразованием Меллина, но здесь и в дальнейшем мы будем использовать обозначение
M
~
{\displaystyle {\tilde {\mathcal {M}}}}
.
(англ.)
(
показывает, что
M
~
−
1
:
L
2
(
−
∞
,
∞
)
→
L
2
(
0
,
∞
)
,
{
M
~
−
1
φ
}
(
x
)
=
1
2
π
∫
−
∞
∞
x
−
1
2
−
i
s
φ
(
s
)
d
s
.
{\displaystyle {\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 \limits _{-\infty }^{\infty }x^{-{\frac {1}{2}}-is}\varphi (s)\,ds.}
Кроме того, этот оператор
изометричен
, то есть
‖
M
~
f
‖
L
2
(
−
∞
,
∞
)
=
‖
f
‖
L
2
(
0
,
∞
)
{\displaystyle \|{\tilde {\mathcal {M}}}f\|_{L^{2}(-\infty ,\infty )}=\|f\|_{L^{2}(0,\infty )}}
для
∀
f
∈
L
2
(
0
,
∞
)
{\displaystyle \forall f\in L^{2}(0,\infty )}
.
Это объясняет коэффициент
1
2
π
{\displaystyle {\frac {1}{\sqrt {2\pi }}}}
Связь с теорией вероятностей
В
теории вероятностей
преобразование Меллина является важным инструментом для изучения распределения
случайных величин
.
Если:
D
=
{
s
:
a
⩽
ℜ
(
s
)
⩽
b
}
,
{\displaystyle D=\{s:a\leqslant \Re (s)\leqslant b\},}
a
⩽
0
⩽
b
,
{\displaystyle a\leqslant 0\leqslant b,}
X
{\displaystyle X}
— случайная величина,
X
+
=
max
{
X
,
0
}
,
{\displaystyle X^{+}=\max\{X,0\},}
X
−
=
max
{
−
X
,
0
}
,
{\displaystyle X^{-}=\max\{-X,0\},}
то преобразование Меллина определяется как:
M
X
(
s
)
=
∫
0
∞
x
s
d
F
X
+
(
x
)
+
i
∫
0
∞
x
s
d
F
X
−
(
x
)
,
{\displaystyle {\mathcal {M}}_{X}(s)=\int \limits _{0}^{\infty }x^{s}dF_{X^{+}}(x)+i\int \limits _{0}^{\infty }x^{s}dF_{X^{-}}(x),}
где
i
{\displaystyle i}
—
мнимая единица
.
Преобразование Меллина
M
X
(
i
t
)
{\displaystyle {\mathcal {M}}_{X}(it)}
случайной величины
X
{\displaystyle X}
однозначно определяет её функцию распределения
F
x
{\displaystyle F_{x}}
.
Применение
Преобразование Меллина особенно важно для информационных технологий, особенно для
распознавания образов
.
Примечания
Hardy, G. H.; Littlewood, J. E.
Contributions to the Theory of the Riemann Zeta-Function and the Theory of the Distribution of Primes
(англ.)
//
Acta Mathematica
: journal. — 1916. —
Vol. 41
,
no. 1
. —
P. 119—196
. —
doi
:
.
(See notes therein for further references to Cahen’s and Mellin’s work, including Cahen’s thesis.)
Galambos, Simonelli, 2004, стр. 15
Литература
Galambos, Janos; Simonelli, Italo.
(англ.)
. —
(англ.)
(
, 2004. —
ISBN 0-8247-5402-6
.
Paris, R. B.; Kaminski, D.
Asymptotics and Mellin-Barnes Integrals
(неопр.)
. —
Cambridge University Press
, 2001.
Polyanin, A. D.; Manzhirov, A. V.
Handbook of Integral Equations
(неопр.)
. — Boca Raton:
CRC Press
, 1998. —
ISBN 0-8493-2876-4
.
Flajolet, P.; Gourdon, X.; Dumas, P.
Mellin transforms and asymptotics: Harmonic sums
(англ.)
//
(англ.)
(
. — 1995. —
Vol. 144
,
no. 1—2
. —
P. 3—58
.
от 30 июня 2007 на
Wayback Machine
at EqWorld: The World of Mathematical Equations.
Hazewinkel, Michiel, ed. (2001),
,
Encyclopedia of Mathematics
,
Springer
,
ISBN
978-1-55608-010-4
Weisstein, Eric W.
(англ.)
на сайте Wolfram
MathWorld
.
Ссылки
Philippe Flajolet, Xavier Gourdon, Philippe Dumas,
от 24 мая 2006 на
Wayback Machine
Antonio Gonzáles, Marko Riedel
от 3 ноября 2012 на
Wayback Machine
, newsgroup es.ciencia.matematicas
Juan Sacerdoti,
от 29 января 2007 на
Wayback Machine
(in Spanish).
от 11 апреля 2013 на
Wayback Machine
,
, 2011-08-29,
National Institute of Standards and Technology
Antonio De Sena and Davide Rocchesso,
от 14 сентября 2014 на
Wayback Machine
Ссылки на внешние ресурсы
Словари и энциклопедии