[論文レビュー] 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$ 上の確率測度の絶対モーメントを計算する明示的なフーリエ基盤の公式を導入し、任意の順序 $\alpha > 0$ の有限絶対モーメントを捉える完全な確率的距離 $\rho_\alpha$ を構築する。主な貢献は、これらの距離を用いて熱拡散方程式の解の収束速度を導出したことであり、$L^\infty$ の減衰率が $t^{-(\alpha+d+|\sigma|)/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$ の制限を克服すること。
• このフレームワークを用いて、シェオングベルククラスに属する測度のモーメントを推定し、熱拡散方程式の解の漸近的挙動を分析すること。

提案手法

• $\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$-安定フォッカー・プランク方程式の解の導関数を評価する。
• 微分積分学を用いて $|\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$-安定フォッカー・プランク方程式の解の導関数の最適減衰率は何か？

主な発見

• $\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)$ が成り立ち、参照解の選択に対して頑健であることが示されている。