[论文解读] Local Time in Parisian Walkways

Jirô Akahori|ArXiv.org|Apr 18, 2006

Public Spaces through Art参考文献 1被引用 3

一句话总结

本文为在复格点 ℤ[ζ] 上的巴黎随机游走（对称随机游走，其中 ζ 是单位根的本原三次单位根）建立了离散 Itô 和 Tanaka 公式。结果表明，从固定集合 P 出发的图距离减去局部时（从三个特定区域的退出次数），可构成一个简单的对称随机游走，从而为平面布朗运动提供了一个具有显式鞅和随机微积分结构的离散类比。

ABSTRACT

In the present paper, Ito formula and Tanaka formula for a special kind of symmetric random walk in the complex plain are studied. The random walk is called Parisian walk, and its local time is defined to be the number of exit from some regions.

研究动机与目标

• 为艾森斯坦整数 ℤ[ζ] 上的对称随机游走（称为巴黎随机游走）建立随机微积分框架。
• 定义并分析局部时，即从三个特定闭区域（A̅₁, A̅₃, A̅₅）的退出次数。
• 为游走状态空间上的复值函数建立离散 Itô 公式。
• 推导一个 Tanaka 型公式，将图距离的变化分解为鞅和局部时分量。
• 证明图距离与局部时的差是一个简单的对称随机游走，从而确立一个关键的结构恒等式。

提出的方法

• 将巴黎随机游走定义为取值于 ℤ[ζ] 的鞅，其增量在 {1, ζ, ζ²} 中，每种概率均为 1/3。
• 将局部时 Lₜ 定义为至时间 t 为止从闭包 A̅₁, A̅₃, A̅₅ 的退出次数。
• 证明 (Z, Z̄) 的鞅表示性质，表明每个复值鞅均可表示为关于 Z 和 Z̄ 的随机积分。
• 推导离散 Itô 公式（命题 3），将 f(Zₜ₊₁) − f(Zₜ) 表示为 ΔZₜ, ΔZ̄ₜ 和一个类似离散拉普拉斯算子的项。
• 建立 Tanaka 公式（命题 4），表明图距离的增量 ‖Zₜ‖ 等于某个复鞅项的实部加上局部时的增量。
• 利用 Tanaka 公式证明定理 1：‖Zₜ‖ − Lₜ 是 ℤ 上的简单对称随机游走。

实验结果

研究问题

• RQ1 如何为艾森斯坦整数 ℤ[ζ] 上的对称随机游走建立随机微积分框架？
• RQ2 此类游走的局部时的正确定义是什么？它与几何结构有何关联？
• RQ3 在巴黎随机游走动力学下，能否为 ℤ[ζ] 上的复值函数推导出离散 Itô 公式？
• RQ4 是否存在一个 Tanaka 型公式，能将图距离的变化分解为鞅和局部时分量？
• RQ5 图距离与局部时的差是否为一个简单的对称随机游走？若是，原因是什么？

主要发现

• 从集合 P = {0, 1, 1+ζ} 出发的图距离减去局部时 Lₜ，是 ℤ 上的简单对称随机游走。
• 局部时 Lₜ 计数从三个闭区域 A̅₁, A̅₃, A̅₅ 的退出次数，这些区域通过格点射线与边界集的并集定义。
• 为任意复值函数 f 在 ℤ[ζ] 上推导出离散 Itô 公式，将 f(Zₜ₊₁) − f(Zₜ) 表示为 ΔZₜ, ΔZ̄ₜ 和一个离散拉普拉斯项。
• 建立了 Tanaka 公式：‖Zₜ₊₁‖ − ‖Zₜ‖ = (2/3)Re[(1−ζ²)(φₜΔZₜ + ψₜΔZ̄ₜ)] + (Lₜ₊₁ − Lₜ)，其中 φₜ 和 ψₜ 为基于指示函数的过程。
• 关于 (Z, Z̄) 的鞅表示性质成立，即每个复值 Fₜ-鞅均可表示为关于 Z 和 Z̄ 的随机积分。
• 离散 Itô 与 Tanaka 公式在适当缩放下收敛于其连续对应形式，确认了巴黎随机游走是平面布朗运动的离散类比。