[论文解读] Calculus on random integral mappings $I^{h,r}_{(a,b]}$ and their domains

Zbigniew J. Jurek|arXiv (Cornell University)|Oct 22, 2012

advanced mathematical theories参考文献 12被引用 3

一句话总结

本文证明了随机整数映射 $I^{h,r}_{(a,b]}$ 是实可分巴拿赫空间上无穷可分测度卷积半群之间的同构。它以多种方式刻画了这些映射的定义域，证明了此类映射的复合等价于单一随机积分，且表明虽然正向映射保持随机积分形式，但其逆映射却不具备该形式。结果推广并统一了关于自分解与无穷可分分布随机积分表示的先前工作。

ABSTRACT

It is proved that the random integral mappings (some type of functionals of Lévy processes) are always isomorphisms between convolution semigroups of infinitely divisible measures. However, the inverse mappings are no longer of the random integral form. Domains are characterized in may ways. Compositions (iterated integrals) can be expressed as a single random integral mapping. Finally, all obtained results are illustrated by examples.

研究动机与目标

• 建立随机积分映射 $I^{h,r}_{(a,b]}$ 作为无穷可分测度卷积半群之间同构的一般框架。
• 以多种等价方式刻画这些映射的定义域，包括通过 Lévy-Khintchine 表示和像测度。
• 证明此类映射的复合可表示为单一随机积分映射。
• 阐明尽管正向映射保持随机积分形式，但其逆映射却不具备该形式。
• 统一并拓展关于自分解与无穷可分分布随机积分表示的先前结果。

提出的方法

• 本文使用 Lévy-Khintchine 公式来表示巴拿赫空间上无穷可分测度的特征泛函。
• 将随机积分映射 $I^{h,r}_{(a,b]}(\nu)$ 定义为 $\int_{(a,b]} h(t)\,dY_\nu(r(t))$ 的分布，其中 $Y_\nu$ 是满足 $\mathcal{L}(Y_\nu(1)) = \nu$ 的 Lévy 过程。
• 采用像测度与张量积技术分析映射及其定义域的结构。
• 利用傅里叶变换性质与弱收敛研究这些映射在复合与求逆下的行为。
• 借助关于背景驱动 Lévy 过程（BDLP）与随机积分表示的已知结果，将结论推广至更广泛的函数 $h$ 与 $r$ 类别。
• 通过时间改变 Lévy 过程及特定 $h$ 与 $r$ 的选择（如指数与反正弦时间改变）的实例，说明理论结果。

实验结果

研究问题

• RQ1 在何种条件下，随机积分映射 $I^{h,r}_{(a,b]}$ 是无穷可分测度卷积半群之间的同构？
• RQ2 如何以多种等价方式刻画 $I^{h,r}_{(a,b]}$ 的定义域，特别是通过 Lévy 三元组与谱测度？
• RQ3 多个随机积分映射的复合能否简化为单一随机积分映射？若可，对 $h$ 与 $r$ 的条件是什么？
• RQ4 为何 $I^{h,r}_{(a,b]}$ 的逆映射不具有相同的随机积分形式，尽管正向映射是同构？
• RQ5 已知的随机积分表示（如自分解或稳定分布）如何融入此广义框架？

主要发现

• 映射 $I^{h,r}_{(a,b]}$ 是无穷可分测度卷积半群之间的同构，保持半群结构。
• 通过 Lévy-Khintchine 表示、像测度与逼近序列的弱收敛，刻画了 $I^{h,r}_{(a,b]}$ 的定义域。
• 在适当的 $h$ 与 $r$ 条件下，复合满足 $I^{h_1,r_1}_{(a,b]} \circ I^{h_2,r_2}_{(c,d]} = I^{h,r}_{(a,b]}$，并推导出显式公式。
• 映射 $I^{h,r}_{(a,b]}$ 的逆不可表示为同种形式的随机积分，表明该映射存在根本性的非对称性。
• 结果推广并统一了先前构造，如 Jurek-Vervaat（1983）对自分解测度的构造，以及 Sato（2006）对时间改变 Lévy 过程的构造。
• 具体实例包括 $I^{t,\Gamma(\alpha;t)}_{(0,\infty)} \circ I^{e^{-s},s}_{(0,\infty)} = I^{t,\int_t^\infty s^{-1}\Gamma(\alpha;s)ds}_{(0,\infty)}$，展示了复合的封闭性。