Zeta Archive: 梅林变换

梅林变换

背景

梅林变换的诞生源于 19 世纪末, 梅林受到欧拉、黎曼等先驱工作的启发，特别是黎曼 ζ 函数与积分表示的联系，从而发展了这一变换。

其核心思想是将函数表示为幂函数的线性组合，类似于傅里叶变换将函数分解为三角函数的叠加。线性变换始终是简化复杂问题的核心工具。

梅林变换

梅林变换针对定义在正实数轴上的函数（需满足一定的可积性条件，如局部可积且衰减足够快），其变换定义为：

其中是复数参数，通常写作（和为实数）。这个积分在的特定区域（如收敛域）内有效。核函数体现了变换的乘性特征：当缩放时，变换结果以幂律形式响应。

要理解这个定义，可以考虑它与伽玛函数的关系。例如，如果，则梅林变换结果为伽玛函数：

逆梅林变换

逆变换是梅林变换可逆性的保证，其推导依赖于复变函数中的围道积分。逆公式为：

其中是实常数，位于的收敛域内。这个公式可以通过傅里叶逆变换推导：

变量代换：设，则，原积分变为：

转化为傅里叶变换：令，则上式是的傅里叶变换，核为。
应用傅里叶逆定理：通过傅里叶逆变换还原，再代回，即得逆变换公式。

关键性质

梅林变换具有一系列重要性质，这些性质可通过直接积分计算或变量代换推导：

线性性：对于常数和函数，有：

这由积分的线性性直接可得。

尺度变换：如果（），则：

推导：代入，则：

卷积定理：梅林卷积定义为

其变换满足：

推导：通过交换积分顺序和变量代换：

$令$

与矩生成函数的关系：如果是概率密度函数，则其阶原点矩可通过梅林变换求得：

这是因为。

与其他变换的联系

梅林变换与拉普拉斯变换和傅里叶变换可通过变量代换相互转化：

与拉普拉斯变换：令，则：

这正是的拉普拉斯变换。

与傅里叶变换：类似地，通过可转化为傅里叶变换形式。

傅里叶变换的核为，而梅林变换的核为，体现了从加性结构到乘性结构的转变。

与傅里叶变换或拉普拉斯变换相比，梅林变换更侧重于函数的积性结构。例如，如果函数在缩放变换下具有对称性，梅林变换能更自然地捕捉这种特性。

From ZhiHu-TravorLZH

笔者认为下面这段有收藏价值就搬过来了。

1、各种积分变换的反演公式

下面我们就来做一个 self-contained 的推导吧！

引理（正弦积分及其渐近线）：

定义，则有：

因此

Fourier 反演定理：

已知 Fourier 变换公式为，现在我们考虑计算：

由于积分未必收敛，我们实际上计算的是它的柯西主值，现在我们做进一步展开：

现在进行分部积分，得：

由于 Fourier 变换的存在性意味着 f 是平方可积的，因此有，于是根据，对原式求的极限可得：

综上所述，我们得到了第一个积分变换工具 ——Fourier 反演定理：

Laplace 逆变换：

根据定义，可知函数 f 的拉氏变换被定义为，现在设满足收敛，并定义函数：

则根据，有：

但事实上，根据的定义，可知

于是变成了：

令，我们便得到了拉氏变换的 Mellin 反演公式：

Mellin 变换

在解析数论中，有一种常用的积分变换叫 Mellin 变换：

现在令则有：

现在设使得收敛则我们可以设得：

利用刚刚推导的 Fourier 反演定理，我们便能得到：

于是：

现在设，我们就得到了 Mellin 变换的反演公式：

2、Zeta 函数与素数计数函数之关系
根据算数基本定理可知 Zeta 函数满足欧拉乘积公式：

对两侧取对数，得：

现在利用 RS 积分，得：

因此有

3、琴生公式
用来表示全纯函数在中的零点，则：

现在设，则有：

利用柯西积分公式，可知等式左侧就是，即：

而由于当时有，被求和部分的积分都是零，遂证毕。

双曲正割函数的梅林变换

双曲正割函数（）是一种重要的双曲函数，定义为双曲余弦函数的倒数：

其图像呈现钟形曲线特征，在原点处达到最大值 1，向两侧逐渐衰减并以 x 轴为渐近线。

计算的梅林变换。

梅林变换的定义与一般形式

函数的梅林变换定义为：

$收敛域$

对于，其变换需满足收敛条件（由的衰减性决定）。

的梅林变换推导

级数展开法

利用恒等式，可展开为：

代入梅林变换公式：

此级数可表示为 Dirichlet beta 函数或 Hurwitz zeta 函数的组合：

当时：

为 Dirichlet beta 函数）。

推导过程

级数展开代入：

利用恒等式：

代入 Mellin 变换：

积分转化为 Gamma 函数：

内层积分是 Gamma 函数的定义形式：

此处，故：

级数化简为 Hurwitz zeta 函数：

将求和式拆解：

通过待定系数法解得，即：

进一步表示为 Hurwitz zeta 函数的线性组合：

$函数$

最终得：

其中

拉马努金主定理（Ramanujan's Master Theorem）

若的泰勒展开为，则：

其中是展开系数，需解析延拓至复平面。

Meijer G 函数表示

通过梅林变换的卷积性质，可表为 Meijer G 函数：

适用于任意。

特殊 k 值的封闭形式

值	梅林变换封闭形式	收敛域



偶数	（为的多项式）
奇数	( 为组合系数， )

注：

其中为 Hurwitz zeta 函数。

可解析延拓至整个复平面，在处有留数，且满足函数方程：

收敛域与解析延拓

收敛域：需满足，否则积分在或处发散。

解析延拓：通过余元公式或留数定理，可将变换延拓至（除极点外）。

极点位置：位于（），留数与的导数值相关。

与其他特殊函数的联系

Gamma 函数：始终作为乘性因子出现，源于积分核的变换性质。

Zeta 函数：偶数时关联 Riemann zeta 函数，奇数时关联 Dirichlet beta 函数。

超几何函数：部分情形下可表为广义超几何函数，例如：

结论

的梅林变换统一表示为：

其中是由决定的特殊函数（Dirichlet beta、Zeta 或 Meijer G 函数），收敛域为。

取整函数的逆梅林变换

ζ 函数的定义式（对）为。通过阿贝尔变换或分部积分，可将其与取整函数关联：

$当$

注意到积分下限可扩展至（因对），上式等价于的梅林变换形式。应用逆梅林变换公式，直接得到：

梅林变换

背景

梅林变换

逆梅林变换

关键性质

与其他变换的联系

双曲正割函数的梅林变换

梅林变换的定义与一般形式

的梅林变换推导

级数展开法

收敛域与解析延拓

与其他特殊函数的联系

结论

取整函数的逆梅林变换

收集的片段

片段 1

片段 2

片段 3

片段 4

片段 5