梅林变换

Template:Expand English 在数学中，梅林变换是一种以幂函数为核的积分变换，与双边拉普拉斯变换有密切关联。梅林变换定义式如下：

$\left\{ℳf\right\}(s)=\phi (s)=\underset{0}{\overset{\mathrm{\infty }}{\int }}{x}^{s-1}f(x)dx.$

而其逆变换为

$\left\{{ℳ}^{-1}\phi \right\}(x)=f(x)=\frac{1}{2\pi i}\underset{c-i\mathrm{\infty }}{\overset{c+i\mathrm{\infty }}{\int }}{x}^{-s}\phi (s)ds.$

梅林变换有许多应用。出于它与狄利克雷级数的联系，它也被用以证明黎曼ζ函数与素数计数函数有关的的函数方程；进一步地，它也与解析数论有关，如在佩龙公式中。

同时，它与伽马函数密切相关，很多常见函数的梅林变换中都需要用到伽马函数或它衍生出的贝塔函数；这使得它被运用在梅林-巴恩斯积分和超几何函数的理论中，衍生出了在计算机代数系统中使用的，可以快速计算大量定积分的Meijer_G-函数。

與其他變換之關係

之所以伽马函数与积分变换的理论联系密切，是因为伽马函数同时是指数函数的拉普拉斯变换和幂函数的梅林变换，这也展示了两种积分变换之间的联系。

雙邊拉普拉斯變換

雙邊拉普拉斯變換可以用梅林變換來表示，如下式

$\left\{ℬf\right\}(s)=\{ℳf(-\ln x)\}(s)$

梅林變換也可以用雙邊拉普拉斯變換來表示，如下式

$\left\{ℳf\right\}(s)=\{ℬf(e^{-x})\}(s)$

傅立葉變換

傅立葉變換可以用梅林變換來表示，如下式

$\left\{ℱf\right\}(-s)=\left\{ℬf\right\}(-is)=\{ℳf(-\ln x)\}(-is)$

梅林變換變換也可以用傅立葉來表示，如下式

$\left\{ℳf\right\}(s)=\{ℬf(e^{-x})\}(s)=\{ℱf(e^{-x})\}(-is)$

範例

Cahen–Mellin 積分

對於 $c>0$，$\mathrm{\Re }(y)>0$，且 $y^{-s}$在主要分支（principal branch）上，我們有

$e^{-y}=\frac{1}{2\pi i}\underset{c-i\mathrm{\infty }}{\overset{c+i\mathrm{\infty }}{\int }}\mathrm{\Gamma }(s)y^{-s}ds$

其中 $\mathrm{\Gamma }(s)$為 Γ函數。

數論

假設

$\mathrm{\Re }(s+a)<0$

我們有

$f(x)=\{\begin{array}{cc}0& x<1\\ x^a& x>1\end{array}$

其中

$ℳf(s)=-\frac{1}{s+a}$

圓柱坐標系下的拉普拉斯算子

在任何維度的圓柱坐標系中，拉普拉斯算子總是會包含下式

$\frac{1}{r}\frac{\partial }{\partial r}\left(r\frac{\partial f}{\partial r}\right)$

例如，拉普拉斯算子在二維空間的極坐標表示法

${\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}$

或是在三維空間的柱坐標表示法

${\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}$

而利用梅林變換可以很簡單的處理此項

$\frac{1}{r}\frac{\partial }{\partial r}\left(r\frac{\partial f}{\partial r}\right)=f_{rr}+\frac{f_r}{r}$

$ℳ(r^2{f}_{rr}+r{f}_r,r\to s)=s^2ℳ(f,r\to s)=s^{2}F$

舉例來說，二維拉普拉斯方程的極坐標表示法具有以下形式

$r^2{f}_{rr}+r{f}_r+f_{\theta \theta }=0$

或是

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

利用梅林變換，可以轉換成一個簡諧振子的形式

$F_{\theta \theta }+s^{2}F=0$

通解為

$F(s,\theta )=C_1(s)\cos (s\theta )+C_2(s)\sin (s\theta )$

若給定邊界條件

$f(r,-{\theta }_0)=a(r),f(r,{\theta }_0)=b(r)$

其梅林變換為

$F(s,-{\theta }_0)=A(s),F(s,{\theta }_0)=B(s)$

則通解可以寫成

$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)}$

最後利用逆變換以及卷積定理

${ℳ}^{-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}}$

其中

$m=\frac{\pi }{2{\theta }_0}$

可以得到

$f(r,\theta )=\frac{r^m\cos (m\theta )}{2{\theta }_0}\underset{0}{\overset{\mathrm{\infty }}{\int }}\{\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$

应用

因为具有Template:Link-en，梅林变换广泛应用于计算机科学的算法分析。对于纯虚输入，原函数函数的梅林变换与对其进行尺度伸缩后函数的梅林变换幅度相同。尺度不变性类似于傅里叶变换的时移不变性，即原函数与对其进行时移的函数的傅里叶变换幅度相同。这一性质对图像识别非常有用：当物体与摄像机的距离发生变化时，图像尺度会发生变化。

在量子力学（特别是量子场论）中，由于动量和位置之间存在傅里叶变化的关系，傅里叶空间被广泛应用。2011年，A. Liam Fitzpatrick、Jared Kaplan、Template:Link-en、Template:Link-en和Balt C. van Rees证明了梅林空间在AdS/CFT对偶中具有类似的效用。

梅林变换表

下表展示了部分函数的梅林变化结果，在Template:Harvtxt与Template:Harvtxt中可以找到。

梅林变化表

函数 $f(x)$	梅林变换 $\tilde{f}(s)=ℳ\{f\}(s)$	收敛域	注释
$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$	一般来说， $\mathrm{\Gamma }(s)$是$e^{-x}-\sum _{n=0}^{N-1}\frac{(-1{)}^n}{n!}{x}^n,\text{ for }-N<\mathrm{\Re }s<-N+1$的梅林变换。
$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)$ 是狄拉克函数。
$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)$ 是单位阶跃函数。
$-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$
$\frac{1}{1+x^2}$	$\frac{\pi }{2\sin (\frac{1}{2}\pi s)}$	$0<\mathrm{\Re }s<2$
$\ln (1+x)$	$\frac{\pi }{s\sin (\pi s)}$	$-1<\mathrm{\Re }s<0$
$\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)$是第一类贝塞尔函数。
$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)$是第二类贝塞尔函数。
$K_0(x)$	$2^{s-2}{[\mathrm{\Gamma }(s/2)]}^2$	$0<\mathrm{\Re }s<\mathrm{\infty }$	$K_0(x)$是第二类修正贝塞尔函数。

参考文献

• Template:Cite book