[论文解读] A min-type stochastic fixed-point equation related to the smoothing transformation

Gerold Alsmeyer, Matthias Meiners|arXiv (Cornell University)|Jul 2, 2009

Stochastic processes and statistical mechanics参考文献 22被引用 6

一句话总结

本文研究与平滑变换相关的极小型随机不动点方程，建立了非平凡 α-正则解存在的条件。证明了此类解为威布尔分布或其周期变体的混合分布，使用乘法鞅和路径唯一定理作为关键工具，完整刻画了不动点，并给出了加法对应情形的平行结果。

ABSTRACT

This paper is devoted to the study of the stochastic fixed-point equation X \stackrel{d}{=} \inf_{i \geq 1: T_i > 0} X_i/T_i and the connection with its additive counterpart $X \stackrel{d}{=} \sum_{i\ge 1}T_{i}X_{i}$ associated with the smoothing transformation. Here $\stackrel{d}{=}$ means equality in distribution, $T := (T_i)_{i \geq 1}$ is a given sequence of nonnegative random variables and $X, X_1, ...$ is a sequence of nonnegative i.i.d. random variables independent of $T$. We draw attention to the question of the existence of nontrivial solutions and, in particular, of special solutions named $α$-regular solutions $(α>0)$. We give a complete answer to the question of when $α$-regular solutions exist and prove that they are always mixtures of Weibull distributions or certain periodic variants. We also give a complete characterization of all fixed points of this kind. A disintegration method which leads to the study of certain multiplicative martingales and a pathwise renewal equation after a suitable transform are the key tools for our analysis. Finally, we provide corresponding results for the fixed points of the related additive equation mentioned above. To some extent, these results have been obtained earlier by Iksanov.

研究动机与目标

• 研究极小型随机不动点方程 $ X \stackrel{d}{=} \inf_{i \geq 1} X_i / T_i $ 的非平凡解的存在性与结构，其中 $ T_i $ 为非负独立同分布权重，$ X_i $ 为独立于 $ T $ 的非负独立同分布随机变量。
• 刻画 α-正则解——即在零点具有正则变化尾部的解——并确定其存在的条件。
• 建立该极小型方程所有不动点的完整分类，表明其为威布尔分布或其周期变体的混合分布。
• 将分析扩展至加法对应情形 $ X \stackrel{d}{=} \sum_{i \geq 1} T_i X_i $，即平滑变换，并提供其不动点的平行刻画。

提出的方法

• 通过分解方法将问题简化为对与随机权重 $ T_i $ 相关的乘法鞅的研究。
• 在对基础随机过程进行适当变换后，推导出路径唯一定理，从而能够分析尾部行为与收敛性。
• 将解的拉普拉斯变换用权重分布的生存函数表示，将不动点方程与乘法混沌及持续性理论联系起来。
• α-正则解的存在性与涉及 $ \mathds{E}[\overline{S}_{\alpha,1}^+ \wedge \log u] $ 的某类积分收敛性相关联，其中 $ m(\alpha) = 1 $ 与 $ \mathds{E}[W^{(\alpha)}] = 1 $ 起核心作用。
• 证明依赖于分支随机游走的 Biggins 定理，该定理将 $ W_n^{(\alpha)} $ 的鞅收敛性与涉及 $ u \log u $ 及 $ W_1^{(\alpha)} $ 尾部的积分的有限性联系起来。
• 解的结构由权重 $ T_i $ 生成的群决定，区分连续情形与 $ r $-几何情形，后者中周期性现象出现。

实验结果

研究问题

• RQ1 在何种条件下，极小型不动点方程 $ X \stackrel{d}{=} \inf_{i \geq 1} X_i / T_i $ 对 $ \alpha > 0 $ 存在非平凡 α-正则解？
• RQ2 该极小型方程的所有不动点的精确分布结构为何，特别是其是否为威布尔分布或其周期变体的混合？
• RQ3 极小型方程的解与加法平滑变换 $ X \stackrel{d}{=} \sum_{i \geq 1} T_i X_i $ 的解有何关系？
• RQ4 特征指数 $ \alpha $ 在决定 α-正则解的存在性与形式中起何作用？
• RQ5 乘法鞅 $ W_n^{(\alpha)} $ 与相关更新方程的性质如何决定解的尾部行为与存在性？

主要发现

• 本文证明，α-正则解存在的充要条件为 $ m(\alpha) = 1 $ 且 $ \mathds{E}[W^{(\alpha)}] = 1 $，后者等价于积分 $ \int_{(1,\infty)} \left[ \frac{u \log u}{\mathds{E}(\overline{S}_{\alpha,1}^+ \wedge \log u)} \right] \mathds{P}(W_1^{(\alpha)} \in du) < \infty $ 的有限性。
• 所有 α-正则解均为威布尔分布或其周期变体的混合分布，具体取决于权重分布生成的是连续群还是 $ r $-几何群。
• 对于加法平滑变换，α-正则不动点集 $ \mathfrak{F}_{\Sigma,b}^{\alpha} $ 满足 $ \mathcal{S}_{\Lambda_{\alpha}}(d,\alpha) $，其中在 $ r $-几何情形下 $ d = r > 1 $，在连续情形下 $ d = 1 $。
• 在加法情形下，任意 α-初等不动点的拉普拉斯变换可表示为 $ \varphi(t) = \varphi_{\alpha}(p(t) t^{\alpha}) $，其中 $ p $ 在 $ r $-几何情形下为乘法 $ r $-周期函数，在连续情形下为常数。
• α-正则解的存在性意味着 $ \alpha $ 是 $ T $ 的特征指数，即满足 $ m(\alpha) = 1 $ 的最小值，前提是 $ \mathds{P}(W^{(\alpha)} > 0) > 0 $。
• 本文证明，$ t \mapsto p(t) t^{\alpha} $ 具有完全单调导数，该结论源于由拉普拉斯变换导出的逼近序列的一致收敛性以及 $ W_n^{(\alpha)} $ 的性质。