|
有时,马林边界点可视为D中的曲线,用t 7表示→ y(t),即k(x;γ)=limt→∞k(x;y(t))。对于D中的有界连通开集U,定义ρ:(D)∪) ×(D)∪) → [0, ∞) 由ρ(z,z)=ZU | k(x;z)- k(x;z)| 1+|k(x;z)- k(x;z)|dx。定理5.1。ρ是(D)上的一个度量∪). 由ρ导出的D上的相对拓扑y等价于欧几里德拓扑。在ρ下,D是开放的, 是D和(D)的边界∪) 它很紧凑。(D)上的拓扑∪ ) 通过ρ,我们称之为马丁拓扑。我们将使用符号“Lim”来表示马丁拓扑中的收敛,并将其与用“Lim”表示的欧几里德拓扑中的收敛区分开来。u中的一个函数∈ 当v∈ CGV和CGV≤ u、 对于某些常数c,v=cu∈ (0,1).一个点γ 如果k(x;γ)是极小的,则称为极小马丁边界点。所有最小马丁边界点的集合称为最小马丁边界,并用∧表示。以下定理被称为马丁积分表示定理。定理5.2。让G是次临界的。然后每小时∈ CG,在边界∧中的最小集市上存在一个唯一的单位度量u,使得h(x)=Z∧k(x;y)duh(y)。相反,对于最小边界∧,h(x)上支持的每个有限度量u≡Z∧k(x;y)du(y)以CG表示。推论5.3。U∈ 当且仅当某些γ的u(x)=k(x;γ)时,cg最小∈ ∧5.2容许边界我们对一个容许函数感兴趣,它是Lh=-λh如此之多λt-Rtr(Xs)dsh(Xt)h-1(X)是鞅。为此,我们排除了不产生鞅的正解。设τDbe为进程从域D退出的时间。
|