期刊
THEORETICAL COMPUTER SCIENCE
卷 691, 期 -, 页码 10-26出版社
ELSEVIER
DOI: 10.1016/j.tcs.2017.07.016
关键词
Brownian motion; Wiener measure; Domain theory; Stochastic processes; Computability
We introduce a domain-theoretic framework for continuous-time, continuous-state stochastic processes. The laws of stochastic processes are embedded into the space of maximal elements of the normalised probabilistic power domain on the space of continuous interval-valued functions endowed with the relative Scott topology. We use the resulting co-continuous bounded complete dcpo to obtain partially defined stochastic processes and characterise their computability. For a given continuous stochastic process, we show how its domain-theoretic, i.e., finitary, approximations can be constructed, whose least upper bound is the law of the stochastic process. As a main result, we apply our methodology to Brownian motion. We construct a partially defined Wiener measure and show that the Wiener measure is computable within the domain-theoretic framework. (C) 2017 Published by Elsevier B.V.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据