论文标题
马丁·洛克·布朗尼运动的当地时间
Local time of Martin-Lof Brownian motion
论文作者
论文摘要
在本文中，我们从算法随机性的角度研究了布朗运动的当地时代。我们介绍了有效的当地时间的概念，并表明，与维纳尔度量相对于Wiener度量的Martin-Löf随机的任何路径在每个可计算点都具有连续有效的本地时间。最后，我们获得了经典布朗本地时代的新简单表示，计算表达。
In this paper we study the local times of Brownian motion from the point of view of algorithmic randomness. We introduce the notion of effective local time and show that any path which is Martin-Löf random with respect to the Wiener measure has continuous effective local times at every computable point. Finally we obtain a new simple representation of classical Brownian local times, computationally expressed.
