[论文解读] Laws of the iterated logarithm for α-time Brownian motion

Erkan Nane|ArXiv.org|Aug 15, 2005

Stochastic processes and financial applications参考文献 21被引用 12

一句话总结

本文通过将布朗运动与对称稳定过程进行时间次序化，引入了 $\alpha$-时间布朗运动，并为该过程的上确界建立了类似 Chung 的 iterated logarithm 定律。文中推导出归一化上确界的 liminf 的精确几乎必然极限，其中显式常数涉及分数阶拉普拉斯算子的首特征值，并将结果推广至 $1<\alpha<2$ 时的范围与局部时。该工作将先前关于互 iterated 布朗运动的结果推广至更广泛的自相似非马氏过程类。

ABSTRACT

We introduce a class of iterated processes called $α$-time Brownian motion for $0

研究动机与目标

• 研究 $\alpha$-时间布朗运动的路径性质，该过程是一种非马氏、非高斯的自相似过程，通过将布朗运动与对称 $\alpha$-稳定过程进行时间次序化构造而成。
• 为该过程的上确界建立类似 Chung 的 iterated logarithm 定律，推广已知的互 iterated 布朗运动（$\alpha=2$）与稳定过程的结果。
• 定义并分析 $1<\alpha<2$ 时该过程的局部时与范围，并推导这些泛函的几乎必然渐近行为。
• 证明范围与局部时的 limsup 与 liminf 行为的通用常数，将 Kesten 的定律推广至这一新的过程类。

提出的方法

• 将 $\alpha$-时间布朗运动定义为 $Z_t = X(Y_t)$，其中 $X$ 为双边布朗运动，$Y_t$ 为独立的对称 $\alpha$-稳定过程，$0<\alpha\leq2$。
• 利用指数为 $1/2\alpha$ 的自相似性对上确界过程进行归一化，通过缩放与矩估计推导出类似 Chung 的 LIL。
• 采用不相交化技术，通过划分 $\alpha$-稳定过程的取值范围，将路径分解为独立增量，并在不相交区间上定义独立的上确界。
• 利用指数矩界与 Borel-Cantelli 论证控制独立上确界之和的尾部概率，建立几乎必然的上界。
• 通过恒等式 $t = \int L^*(x,t) dx \leq R^*(t) \cdot \sup_x L^*(x,t)$ 将范围 $R^*(t)$ 与局部时 $L^*(x,t)$ 关联至总时间，实现联合渐近分析。
• 利用在区间 $[-1,1]$ 上分数阶拉普拉斯算子 $(-\Delta)^{\alpha/2}$ 的首特征值 $\lambda_\alpha$ 的结果，表达 LIL 中的常数。

实验结果

研究问题

• RQ1 当 $T\to\infty$ 时，$\alpha$-时间布朗运动的 $\sup_{0\leq t\leq T}|Z_t|$ 的几乎必然渐近行为是什么？
• RQ2 当 $\alpha \neq 2$ 时，能否为 $\alpha$-时间布朗运动建立类似 Chung 的 iterated logarithm 定律？
• RQ3 对于 $1<\alpha<2$，范围 $R^*(t)$ 与局部时 $\sup_x L^*(x,t)$ 的 limsup 与 liminf 行为如何？
• RQ4 是否存在通用常数，使得归一化后的范围与局部时几乎必然收敛至有限正极限？

主要发现

• 对于 $\alpha \in (0,2]$，本文证明了 $\liminf_{T\to\infty} T^{-1/2\alpha} (\log\log T)^{(1+\alpha)/(2\alpha)} \sup_{0\leq t\leq T} |Z_t| = D_\alpha$ a.s.，其中 $D_\alpha = C_\alpha^{(1+\alpha)/2\alpha}$，且 $C_\alpha$ 显式地由 $[-1,1]$ 上 $(-\Delta)^{\alpha/2}$ 的首特征值 $\lambda_\alpha$ 表达。
• 对于另一过程 $Z^1_t = X(|Y_t|)$，相同的类似 Chung 的 LIL 成立，但常数 $D^1_\alpha$ 不同，反映了绝对值对时间过程的影响。
• 对于 $1<\alpha<2$，归一化范围的 limsup 满足 $\limsup_{t\to\infty} \frac{R^*(t)}{(t/\log\log t)^{1/2\alpha} \log\log t} = c_R$ a.s.，其中 $c_R \in (0,\infty)$ 为某通用常数。
• 类似地，归一化局部时的 liminf 满足 $\liminf_{t\to\infty} \frac{\sup_x L^*(x,t)}{(t/\log\log t)^{1-1/2\alpha}} = c_L$ a.s.，其中 $c_L \in (0,\infty)$ 为某通用常数。
• 结果通过将路径按 $\alpha$-稳定过程的时间区间分解为独立增量，随后进行矩估计与 Borel-Cantelli 论证推导得出。
• 常数 $c_R$ 与 $c_L$ 为通用常数，不依赖于 $\alpha$-稳定过程的具体分布，仅依赖于 $\alpha$。