[论文解读] Absolute moments and Fourier-based probability metrics

Yong-Kum Cho|arXiv (Cornell University)|Oct 29, 2015

Geometric Analysis and Curvature Flows参考文献 20被引用 3

一句话总结

本文提出了用于计算 $\mathbb{R}^d$ 上概率测度绝对矩的显式傅里叶公式，并构建了完整的概率度量——具体为 $\rho_\alpha$——以捕捉任意阶数 $\alpha>0$ 的有限绝对矩。关键贡献在于以这些度量表示热扩散方程解的收敛速率，表明 $L^\infty$ 衰减速率与 $t^{-(\alpha+d+|σ|)/p}$ 成正比，从而通过傅里叶变换引入矩信息，改进了经典估计。

ABSTRACT

We present a family of explicit formulae for evaluating absolute moments of probability measures on $\mathbb{R}^d$ in terms of Fourier transforms. As to the space of probability measures possessing finite absolute moments of an arbitrary order, we exploit our formulae to characterize its Fourier image and construct Fourier-based probability metrics which make the space complete. As applications, we compute absolute moments of those probability measures whose characteristic functions belong to the Scheonberg classes, estimate absolute moments of convolutions and investigate the asymptotic behavior of solutions to the heat-diffusion equations from a probability view-point.

研究动机与目标

• 开发一种系统框架，利用傅里叶变换计算概率测度的绝对矩。
• 刻画 $\mathcal{P}_\alpha(\mathbb{R}^d)$ 的傅里叶像，即具有有限 $\alpha$ 阶绝对矩的概率测度空间。
• 构建对绝对矩信息敏感的完整、基于傅里叶的概率度量，克服一致度量 $d_\infty$ 的局限性。
• 将该框架应用于估计 Scheonberg 类中测度的矩，并分析热扩散方程解的渐近行为。

提出的方法

• 利用傅里叶变换和差分算子，推导 $\mu \in \mathcal{P}_\alpha(\mathbb{R}^d)$ 的绝对矩的显式公式。
• 定义度量 $\rho_\alpha(\mu, \nu) = \int_{\mathbb{R}^d} \frac{|\widehat{\mu}(\xi) - \widehat{\nu}(\xi)|}{|\xi|^{d+\alpha}} \, d\xi$ 以度量特征函数之间的距离。
• 证明 $\rho_\alpha$ 是 $\mathcal{P}_\alpha(\mathbb{R}^d)$ 上的完备度量，确保该空间中柯西序列的收敛性。
• 利用傅里叶反演定理和点态 $L^\infty$ 估计，控制 $p$-稳定 Fokker-Planck 方程解的导数。
• 应用微积分方法最大化 $|\xi|^{\alpha + d + |\sigma|} e^{-t|\xi|^p}$，从而获得收敛速率中的最优衰减常数。
• 通过将 $\|\partial^\sigma(f-g)(\cdot,t)\|_\infty$ 与 $\rho_\alpha(\mu, \nu)$ 关联，建立稳定性估计，其中显式常数为 $A_\sigma = (2\pi)^{-d} \left( \frac{\alpha + d + |\sigma|}{ep} \right)^{\frac{\alpha + d + |\sigma|}{p}}$。

实验结果

研究问题

• RQ1 如何利用傅里叶变换显式计算 $\mathbb{R}^d$ 上概率测度的绝对矩？
• RQ2 空间 $\mathcal{P}_\alpha(\mathbb{R}^d)$ 的傅里叶像是什么？如何对其进行刻画？
• RQ3 能否在 $\mathcal{P}_\alpha(\mathbb{R}^d)$ 上构建一个反映 $\alpha$ 阶矩有限性的完备概率度量？
• RQ4 热扩散方程的解在基于矩敏感的度量下，如何收敛于其初始数据？
• RQ5 基于初始矩信息，$p$-稳定 Fokker-Planck 方程解的导数的最优衰减速率是什么？

主要发现

• 度量 $\rho_\alpha(\mu, \nu) = \int_{\mathbb{R}^d} \frac{|\widehat{\mu}(\xi) - \widehat{\nu}(\xi)|}{|\xi|^{d+\alpha}} \, d\xi$ 是 $\mathcal{P}_\alpha(\mathbb{R}^d)$ 上的完备概率度量，确保该空间中柯西序列的收敛性。
• 对于 $\mu, \nu \in \mathcal{P}_\alpha(\mathbb{R}^d)$ 且 $0 < \alpha < 1$，解的差满足 $\|\partial^\sigma(f-g)(\cdot,t)\|_\infty \leq A_\sigma t^{-(\alpha + d + |\sigma|)/p} \rho_\alpha(\mu, \nu)$，其中最优常数为 $A_\sigma = (2\pi)^{-d} \left( \frac{\alpha + d + |\sigma|}{ep} \right)^{\frac{\alpha + d + |\sigma|}{p}}$。
• 当 $t \to 0^+$ 时，有 $f_t \to \mu$ 成立于 $\rho_\alpha$ 度量下，且 $\rho_\alpha(f_t, \mu) \leq C t^{\alpha/p} \|\widehat{\mu}\|_\infty$，其中 $C = \frac{2\pi^{d/2} \Gamma(1 - \alpha/p)}{\alpha \Gamma(d/2)}$。
• 估计 $\|\partial^\sigma(f - E_p)(\cdot,t)\|_\infty = O\left( M_\mu(\alpha) t^{-(\alpha + d + |\sigma|)/p} \right)$ 通过引入矩信息，改进了经典 $L^\infty$ 衰减速率。
• 对于热方程（$p=2$），对任意中心 $b \in \mathbb{R}^d$，有界 $\|\partial^\sigma(f - G_b)(\cdot,t)\|_\infty = O\left( \left[M_\mu(\alpha) + |b|^\alpha\right] t^{-(\alpha + d + |\sigma|)/2} \right)$ 成立，表明对参考解选择具有鲁棒性。