2025-11-10T02:50:07.111895

Support, absolute continuity and harmonic moments of fixed points of the multivariate smoothing transform

Mei, Liu

Consider the multivariate smoothing transform fixed-point equation: $Î·=$ law of $ \sum_{i=1}^N A_i Z_i$, where $N \geq 0$ is a random integer, $(A_i)_{i \geq 1}$ are $d \times d$ random nonnegative matrices, $(Z_i)_{i \geq 1}$ is a sequence of $\mathbb{R}_+^d$-valued random variables independent of $(N, A_1, A_2, \cdots)$, and all $Z_i$ have the same law $Î·$. For each fixed point $Î·$, under suitable conditions, we describe its support, establish its absolute continuity, and prove the existence of its harmonic moments.

academic

Support, absolute continuity and harmonic moments of fixed points of the multivariate smoothing transform

基本信息

论文ID: 2412.21173
标题: Support, absolute continuity and harmonic moments of fixed points of the multivariate smoothing transform
作者: Jianzhang Mei (清华大学), Quansheng Liu (法国南布列塔尼大学)
分类: math.PR (概率论)
提交时间: 2024年12月31日 (v2版本)
论文链接: https://arxiv.org/abs/2412.21173

摘要

本文研究多元光滑变换的不动点方程： $\eta = \text{law of } \sum_{i=1}^N A_i Z_i$ ，其中 $N \geq 0$ 是随机整数， $(A_i)_{i \geq 1}$ 是 $d \times d$ 随机非负矩阵， $(Z_i)_{i \geq 1}$ 是 $\mathbb{R}_+^d$ 值随机变量序列，独立于 $(N, A_1, A_2, \cdots)$ ，且所有 $Z_i$ 具有相同的分布 $\eta$ 。在适当条件下，作者描述了每个不动点 $\eta$ 的支撑集，建立了其绝对连续性，并证明了调和矩的存在性。

研究背景与动机

问题背景

多元光滑变换不动点方程是概率论中的重要研究对象，具有广泛的应用背景：

Mandelbrot级联：在分形几何和湍流理论中的应用
分支随机游走：在随机过程理论中的基础地位
动力学模型：在统计物理和生物学中的应用
算法分析：如快速排序算法的复杂度分析

研究意义

对于一维情况，已有相对成熟的理论，但多维情况下的性质研究仍不完善。本文填补了以下重要理论空白：

支撑集刻画：确定不动点分布的支撑集结构
绝对连续性：建立分布密度的存在性
调和矩：研究负阶矩的存在性及临界值

现有研究局限

多维情况下支撑集的精确刻画缺乏
绝对连续性的充分条件不明确
调和矩存在性的临界条件需要改进

核心贡献

本文的主要贡献包括：

支撑集的完整刻画：在i.i.d.情况下给出了支撑集的精确表达式
绝对连续性判据：提供了判断不动点分布绝对连续性的充分条件
调和矩临界值：改进了调和矩存在性的临界条件，给出了精确的临界指数
非算术性条件：证明了非算术性条件蕴含关键的技术条件C3

方法详解

任务定义

考虑多元光滑变换的不动点方程： $Z \stackrel{L}{=} \sum_{i=1}^N A_i Z_i$

其中：

$Z$ 是 $\mathbb{R}_+^d$ 值随机变量，分布为 $\eta$
$N \geq 0$ 是随机整数
$(A_i)_{i \geq 1}$ 是 $d \times d$ 随机非负矩阵
$(Z_i)_{i \geq 1}$ 是独立同分布的随机变量，与 $(N, A_1, A_2, \cdots)$ 独立

核心技术框架

1. 条件体系

作者建立了完整的条件体系：

条件C1-C8涵盖了：

基本的可积性和有限性条件
矩阵的允许性和正性条件
谱半径和Lyapunov指数条件
Furstenberg-Kesten条件

关键条件C3：存在覆盖集 $U_1, U_2$ 和实现使得： $l_i = \sum_{u \in U_i} a_{u|1}^{(i)} \cdots a_{u||u|}^{(i)}, \quad i = 1,2$ 满足 $l_1 > 0, l_2 > 0, r(l_1) < 1, r(l_2) > 1$

2. 支撑集分析方法

利用Perron-Frobenius理论和迭代技术：

定义 $\Lambda = \{v(a) : a \in \Gamma, a > 0\}$ ，其中 $v(a)$ 是矩阵 $a$ 的Perron-Frobenius右特征向量。

主要结果： $H_d = \{s_1v_1 + \cdots + s_d v_d : s_i \geq 0, v_i \in \Lambda, \forall i = 1, \cdots, d\}$

3. 绝对连续性证明策略

通过特征函数的衰减率分析：

建立函数方程： $\phi(t) = E[\prod_{i=1}^N \phi(A_i^T t)]$
利用Gronwall型引理估计衰减率
应用Fourier逆变换建立绝对连续性

技术创新点

非算术性与条件C3的联系：首次证明了非算术性条件蕴含技术条件C3
统一的支撑集刻画：给出了i.i.d.和非i.i.d.情况下的统一处理框架
改进的调和矩理论：利用负参数谱隙理论改进了临界指数的刻画

主要定理与结果

定理1.1 (i.i.d.情况的支撑集)

在条件C1-C5和 $\alpha = 1$ 下，若 $Z$ 是满足 $P[Z = 0] = 0$ 和 $E[|Z|] < \infty$ 的解，则： $D \subset \text{supp}(Z) \subset H$

当 $\text{esssup}(N) \geq d$ 时， $\text{supp}(Z) = H = H_d$ 。

定理1.4 (绝对连续性)

在条件C1, C4, C7下，存在常数 $a > 0, C > 0$ 使得： $|E e^{i\langle t,Z \rangle}| \leq C|t|^{-a}$

若额外满足线性无关条件(1.9)，则 $Z$ 的分布关于Lebesgue测度绝对连续。

定理1.6 (调和矩)

在条件C1, C8下，对于 $a > 0$ 满足 $E[\|A_1\|^{-a}] < \infty$ ：

若 $P[N = 1] = 0$ ，则 $E[|Z|^{-b}] < \infty, \forall b \in (0,a)$
若 $P[N = 1] > 0$ $P [N = 1] > 0$ ，则 $(a) \Rightarrow (b) \Rightarrow (c)$ $(a) \Rightarrow (b) \Rightarrow (c)$ ，其中：
- $(a): E[|Z|^{-a}] < \infty$
- $(b): \tilde{\kappa}(-a)P[N = 1] < 1$
- $(c): E[|Z|^{-b}] < \infty, \forall b \in (0,a)$

实验和应用

示例分析

例1.7 (支撑集)：取 $v_1 = (1,1)^T, v_2 = (1,2)^T$ ， $a_1 = \frac{v_1 \otimes u}{5}, a_2 = \frac{v_2 \otimes u}{5}$ ，其中 $u = (1,1)^T$ 。结果： $\text{supp}(Z) = \{s_1v_1 + s_2v_2 : s_1, s_2 \geq 0\}$