[论文解读] Spectral gap properties and asymptotics of stationary measures for affine random walks

Yves Guivarc’h, Émile Le Page|arXiv (Cornell University)|Apr 26, 2012

Mathematical Dynamics and Fractals被引用 15

一句话总结

本论文研究了 $\mathbb{R}^d$ 上仿射随机游走的谱隙性质，证明了势核表现出渐近齐次性，且在膨胀变换下，$V$ 上唯一的 $\lambda$-平稳测度在无穷远处具有齐次性。分析依赖于主导李雅普诺夫指数的简洁性、一般更新定理以及 $\lambda$-边界中的对偶性，从而在大子半群条件下获得了平稳测度的精确渐近行为。

ABSTRACT

Let $V=\mathbb R^d$ be the Euclidean $d$-dimensional space, $\mu$ (resp $\lambda$) a probability measure on the linear (resp affine) group $G=G L (V)$ (resp $H= Aff (V))$ and assume that $\mu$ is the projection of $\lambda$ on $G$. We study asymptotic properties of the convolutions $\mu^n *\delta_{v}$ (resp $\lambda^n*\delta_{v})$ if $v\in V$, i.e asymptotics of the random walk on $V$ defined by $\mu$ (resp $\lambda$), if the subsemigroup $T\subset G$ (resp $\Sigma \subset H$) generated by the support of $\mu$ (resp $\lambda$) is ''large''. We show spectral gap properties for the convolution operator defined by $\mu$ on spaces of functions of degree $s\geq 0$ on $V$, which satisfy Holder type conditions. As a consequence of our analysis we get precise asymptotics for the potential kernel $\displaystyle\mathop{\Sigma}_{0}^{\infty} \mu^k * \delta_{v}$, which imply its asymptotic homogeneity. Under natural conditions the $H$-space $V$ is a $\lambda$-boundary ; then we use the above results to show that the unique $\lambda$-stationary measure on $V$ is homogeneous at infinity with respect to dilations $v ightarrow t v (t>0)$. Our proofs are based on the simplicity of the dominant Lyapunov exponent for certain products of Markov-dependant random matrices, on the use of a general renewal theorem, and on the dynamical properties of a conditional $\lambda$-boundary dual to $V$.

研究动机与目标

• 分析 $\mathbb{R}^d$ 上仿射随机游走在 $\mu^n * \delta_v$ 和 $\lambda^n * \delta_v$ 卷积的渐近行为。
• 在 Hölder 型函数空间（度数 $s \geq 0$）上，为与 $\mu$ 关联的卷积算子建立谱隙性质。
• 推导势核 $\sum_{k=0}^\infty \mu^k * \delta_v$ 的精确渐近行为，并证明其渐近齐次性。
• 在自然条件下，证明 $H$-空间 $V$ 是 $\lambda$-边界，从而得出唯一 $\lambda$-平稳测度在无穷远处的齐次性。
• 通过对偶性与条件 $\lambda$-边界的动力学性质，刻画平稳测度的大尺度结构。

提出的方法

• 利用马氏相关随机矩阵乘积的主导李雅普诺夫指数简洁性，控制增长与混合行为。
• 应用一般更新定理，分析势核 $\sum_{k=0}^\infty \mu^k * \delta_v$ 的长期行为。
• 构造与 $V$ 对偶的条件 $\lambda$-边界，以研究平稳测度的渐近结构。
• 在子半群 $\Sigma \subset H$（由 $\lambda$ 的支撑生成）足够大的假设下，分析仿射群 $H = \mathrm{Aff}(V)$ 在 $\mathbb{R}^d$ 上的作用。
• 通过度数 $s \geq 0$ 的 Hölder 型条件定义函数空间，进而在这些空间上证明谱隙性质。
• 通过谱方法与更新技术，证明在膨胀变换 $v \mapsto tv$（$t > 0$）下，平稳测度具有渐近齐次性。

实验结果

研究问题

• RQ1 当 $v \to \infty$ 时，势核 $\sum_{k=0}^\infty \mu^k * \delta_v$ 在何种条件下表现出渐近齐次性？
• RQ2 在度数 $s \geq 0$ 的 Hölder 函数上，$\mu$ 的谱隙性质如何影响仿射随机游走的长期行为？
• RQ3 在何种条件下，仿射空间 $V$ 是 $\lambda$-边界？这对其唯一 $\lambda$-平稳测度的结构有何含义？
• RQ4 马氏相关矩阵乘积的主导李雅普诺夫指数简洁性如何促进随机游走的渐近分析？
• RQ5 与 $V$ 对偶的条件 $\lambda$-边界的哪些动力学性质控制了平稳测度在无穷远处的齐次性？

主要发现

• 当 $v \to \infty$ 时，势核 $\sum_{k=0}^\infty \mu^k * \delta_v$ 表现出渐近齐次性，即其行为在膨胀变换下均匀缩放。
• 在满足度数 $s \geq 0$ 的 Hölder 型条件的函数上，为由 $\mu$ 定义的卷积算子建立了谱隙性质。
• 在自然条件下，$V$ 上唯一的 $\lambda$-平稳测度在膨胀变换 $v \mapsto tv$（$t > 0$）下于无穷远处具有齐次性。
• 证明了 $H$-空间 $V$ 是 $\lambda$-边界，从而为平稳测度的渐近齐次性提供了理论基础。
• 通过应用一般更新定理，实现了对势核的精确渐近控制，将其与谱隙和齐次性结果相联系。
• 与 $V$ 对偶的条件 $\lambda$-边界的动力学性质在证明平稳测度的渐近结构中起着关键作用。