位势论和拉普拉斯方程的理论有很大程度的重叠。这个程度是:可能可以在两个领域划分一个区别,区别在于重点而不是主题,并且主要在于下列区别——位势论注重函数的性质而不是方程的性质。例如,调和函数的奇点的一个结果可说属于位势论;而关于解如何依赖于边界条件的一个结果,却是拉普拉斯方程理论。当然,这不是一个严格和显然的区别,实践上两个领域有很大交互,它们的结果和方法相互为用。
(
x)的核函数。
用|·|表示
R中的范数,当
时,
U(
x)称为平面上的对数位势。当
Ω=
R(
n≥3),0<α<
n,
K(
x,
y)=|
x-
y|时,
U(
x)称为
μ的α位势(或里斯位势),此时也记作
U(
x)。特别α=2时,
U(
x)称为
μ的牛顿位势。下面限于讨论
U扝∞的情形。
对
R里的两个测度
μ和
v,把
称为
μ,
v的α相互能量。特别称
Iα(
μ)=
Iα(
μ,
μ)为
μ的α能量。
把支柱包含在紧集
K中且总质量等于1的非负测度全体记作,令则称为紧集
K的α容量。对任意集合
E,把称为
E的α内容量,把
称为
E的α外容量。若Cα(
E)=婔α(
E),则说
E是α可定容的。G.绍凯证明了所有解析集,从而所有的波莱尔集是α可定容的。
当Cα(
E)=0(或婔α(
E)=0)时,称
E为α内(或外)零容集。一个性质若除了一个α内零容集外处处成立,则说该性质近乎处处成立;若除了一个α 外零容集外处处成立,则说该性质似乎处处成立。对任意零容的紧集
K都有
v(
K)=0的测度
v称为
C绝对连续测度。
集合
E称为α极集,若存在测度
μ≥0,其α位势在且仅在
E上等于+∞。
E是α极集的充要条件是:
E为α零容的
GΛ集。
对紧集
K,关于浑收敛拓扑是紧的,从而存在使
称为
K的α平衡测度,它满足:(
v(1)是
v的总质量)。它的位势
Uǎ(
x)称为
K的α平衡位势α它满足:在
S(
v)处处成立而 在
K上近乎处处成立。特别当0<α≤2时,由第一极大值原理知在
R处处成立。
对任意集
E,当Cα(
E)<∞(或婔α(
E)<∞)时有相应的内(外)平衡测度。当0<α≤2,α<
n,若
E可定容且
Cα(
E)<∞时,
E的内、外平衡测度相等,称之为
E的平衡测度。此时
v是满足①支柱在唕,②
v(1)=
Cα(
E),③在
E上似乎处处有诸条件的唯一测度。平衡测度是
C绝对连续的,而平衡位势
Uǎ(
x)是这样一族α位势
U(
x)的下确界:
μ≥0且
U(
x)≥1在
E上似乎处处成立。因此,若
μ≥0且在
E上似乎处处成立,则
μ的总质量
μ(1)≥
Cα(
E)。
由于测度的α能量非负,所以能量有限的测度全体在通常的线性组合的意义下,以
Iα(
μ,
v)为内积构成一个实的准希尔伯特空间εα,其中非负测度全体ε是εα的一个完备凸锥。若
K紧,那么支柱含于
K中的具有限α能量的非负测度全体ε(
K)是ε的完备凸子锥,因此ε的任何元素
μ在ε(
K)上有唯一的正交投影
βK
μ,即满足当0<α≤2时,
βK
μ是扫除问题的解,即
βK
μ满足:在
R处处成立且等号在
K上似乎处处成立。
若不假定
μ≥0的能量有限,则存在唯一的支柱含于
K的测度
βK
μ使得方程
对任意
λ∈ε成立且
βK
μ是扫除问题的解。
当0<α≤2,α<
n时,对α容量有限的波莱尔集
E及测度
μ≥0,设A是
E的紧子集全体以包含关系为序的有向集,则网{
βK
μ|
K∈A}的浑极限
βE
μ存在,称
βE
μ为
μ到
E的扫除测度,扫除测度
βE
μ是
μ到
E的扫除问题的解,且扫除位势是在
E上似乎处处满足的位势族{
U(
x)}的下确界函数。
设εx是在点
x的狄喇克测度,则
βE
εC称为
E的α格林测度。对任意测度
μ,。当
x0∈唕且时,称
x0为
E的α正则点,当
x0∈唕而时,称
x0为
E的α非正则点。
开集
Ω的边界记作д
Ω,余集记作
CΩ,称 为
Ω的α格林函数。以格林函数为核的位势叫做格林位势。当 α=2时,对任意的波莱尔集
E吇д
Ω,由定义的д
Ω上的测度ωy称为关于
y的调和测度,其中
XE表示
E的特征函数。
当2<α<
n时,关于测度的扫除问题一般无解,但J.德尼利用广义函数解决了这个问题。
用ε宎表示单位质量在以
y为球心,
r为半径的球面的均匀分布。若函数
ƒ在
Ω里下半连续且满足
①
② 对任何
x∈
Ω,存在正数
ρ使对任意正数
r<
ρ有
则称
ƒ在
Ω里超调和。不恒等于+∞的超调和函数称为上调和函数。若-
ƒ上调和,就说
ƒ下调和,既上调和又下调和的函数叫调和函数。
当2≤α<
n时,α位势
U(
x)是上调和函数。里斯分解定理指出:
ƒ在区域
Ω里上调和的充要条件是存在唯一的
Ω上的测度
μ≥0,使得对任何相对紧的区域
Ω1嶅捙1嶅
Ω有 ,
这里
μ|
Ω1表示
μ在
Ω1的限制,在
Ω1里调和。
当0<α<2时,α位势不是上调和函数。但当
U(
x)是
μ几乎处处有限时,它是α上调和函数。一个函数称为α上调和函数,指的是满足下面条件的非负的不恒为+∞的下半连续函数:
①
② 式中
如果在
x0的一个邻域内连续的函数满足条件①且对充分小的
r恒有 则称
ƒ(
x)在
x0是α调和的。若
ƒ(
x)在集
Ω上点点α调和,则称
ƒ在
Ω里α调和。对于α上调和函数,同样也有类似的里斯分解定理。
对上调和函数的连续性的研究导致细拓扑概念的引入。为叙述方便,也称上调和函数为2-上调和函数。用
E┡表示集
E的极限点全体,若
x0媂
E┡或
x0∈
E┡且存在α上调和函数
u(
x)使
成立,则称
E在
x0是α瘦的。
E在
x0是α瘦的充要条件是
x0媂唕或
x0是
E的α非正则点。
若
E的余集在
x0为α瘦则说
E在
x0是α肥的。若
E在
E的每一点都是α肥的,则说
E是一个α肥集。α肥集全体构成
R里一个拓扑,称为α细拓扑。2-瘦和2-细拓扑通常分别称为瘦和细拓扑。开集必为α肥集,α细拓扑比通常拓扑细。此外,当α<α┡时,α细拓扑严格细于α┡细拓扑;α细拓扑是使所有α上调和函数(包括α位势)都连续的最粗拓扑。在α细拓扑下的极限叫α细极限。对α细拓扑,α细极限与不相切极限的关系,J.L.杜布等人曾有深入的研究。
第一极大值原理 当0<α≤2,
μ≥0时,若
U(
x)≤
M,
μ几乎处处成立,则该不等式处处成立。
当2<α<
n时,第一极大值原理不成立。
广义极大值原理 当0<α<
n时,若
U(
x)≤
M在
S(
μ)上成立,则处处成立。
第二极大值原理 又称控制原理。设
μ≥0是能量有限的测度,
λ≥0是任意测度,若
μ几乎处处成立,则该不等式处处成立。
当0<α<2时,若
U(
x)关于
μ≥0几乎处处有限,
ƒ(
x)是α上调和函数,且
U(
x)≤
ƒ(
x),
μ几乎处处成立,则该不等式处处成立。
唯一性原理 设0<α<
n,
μ1,
μ2是绝对连续的非负测度,若在
S(
μ1)∪
S(
μ2)上似乎处处成立,则
μ1=
μ2。
下包络原理 设0<α≤2,则对任意两个非负测度
μ,
v存在测度
λ,使
连续性原理 若把
U(
x)看作支柱
S(
μ)上的函数时是取有限值的连续函数,那么
U(
x)在整个空间上也连续。
能量原理 对任意测度
μ, 等号成立当且仅当
μ =0。
扫除原理 当0<α≤2时,对任意α容量有限的波莱尔集
E和具有限位势的测度
μ≥0,扫除问题有解,即存在支柱在唕的测度
βE
μ使在
E上似乎处处有
且在
R处处有。
广义形式可叙述为:若
R的区域
Ω的边界д
Ω是紧的,对д
Ω上的函数
ƒ,是否存在唯一的函数
u在
Ω里调和且对每一个正则边界点
y满足:
且当
Ω是无界区域时,
下面采用的佩隆方法是解这个问题的最有效工具,它是历史上有名的施瓦兹交错法及
庞加莱扫除法的发展与精密化。
令(当
Ω无界时还要求),记
那么Hƒ≤啛ƒ。当此式等号成立且仅取有限值时称
ƒ是可解的。
ƒ可解的充要条件是对于每个
x∈
Ω,
ƒ关于д
Ω的调和测度
ωx可积分。这时 就是所要求的唯一解。特别,若
ƒ连续则必可解,而且,
y∈д
Ω为正则边界点的充要条件是对 д
Ω上的每个连续函数
ƒ有。
在一定条件下,也可以考虑关于α调和函数的狄利克雷问题。
当0<α≤2,α<
n时,
y∈д
Ω为α正则边界点当且仅当
Ω的余集在
y是α不瘦的。维纳判别法指出,若0<
q<1,令则
y∈д
Ω为α非正则的充要条件是,式中
Cα(
Ωk)表示
Ωk的α容量。
Ω的α非正则边界点全体是α零容集。此外,关于正则点的充要判别法还可利用闸函数、格林函数、平衡位势等给出,而庞加莱锥判别法是常用的充分判别法。
设
D0是
R的有界区域
Ω上的连续可微且梯度平方可积的函数全体。在
D0定义内积<>记,则依等价关系“~”得到的商空间
D 是准希尔伯特空间。若
ƒ∈
D0且有界并可连续地开拓到捙,则狄利克雷问题的解
Hƒ满足:,这里
H表示
D0中的调和函数全体所组成的
D的子希尔伯特空间,即
Hƒ是
ƒ在
H上的正交投影。
德尼用广义函数证明,
D的完备化是由下述BLD函数
ƒ组成的:
ƒ似乎处处有限且
D0中有子列似乎处处收敛于
ƒ。若
ƒ是有界区域
Ω1(叾捙)上的BLD函数,则在
Ω上,
Hƒ存在且除了一个附加常数外是唯一的使 ‖
u-
ƒ‖达到极小的BLD函数,也是唯一的在
Ω里调和并且可由
ƒ开拓成
Ω1上的BLD函数的函数。
上述结果都可以推广到ε空间的相对紧的子区域上去。
编辑本段格林空间与格林函数
连通的豪斯多夫空间
Ω若满足下面条件则称之为ε空间:
Ω的每一点
x有一个开邻域
Vx连同一个把
Vx变
R上的一个开子集的同胚
yMx(
y),并且任何两个这样的邻域
VC与
Vy的交
VC∩
Vy在相应的两个同胚变换下是保距的(当
r≥3)或共形的(当
n=2)。于是作为局部性概念的调和、超调和、上调和函数等可在ε空间
Ω上相应地定义。更一般地,也可以用垪代替上述
R来定义ε空间。这种广义ε空间将有若干无穷远点。
若ε空间
Ω上存在正的非常数的上调和函数,则称
Ω为格林空间。例如
R(
n≥3)及
R的任何有界子区域都是格林空间,
R是ε空间而不是格林空间。格林空间
Ω上必存在满足下列条件的函数
Gx(
y),称之为以
x∈
Ω为极的格林函数:①
Gx(
y)>0;②在
Ω\{
x}上,
Gx(
y)调和;③存在
x的邻域
V(嶅
Vx)使得对每个
y∈
V,若记
y┡=Mx(
y),则式中
K为α=2时的核函数,
u调和。
由于
Gx(
y)=
Gy(
x),故记作
G(
x,
y)=
G(
y,
x)。
称
G(
x,
y)d
μ(
x)(
μ≥0)为格林位势。它或恒为+∞,或是个以0为最大调和下属的上调和函数。
编辑本段最一般的抽象边界与CC紧致化
在非空集合
Ω上赋予拓扑τ,设
I是任一非空号标集,若凬
i∈
I,
Ω的开子集族Bi为
Ω的滤基,则
I可成为
Ω的镶上去的抽象边界,因为在
Ω∪
I上存在满足下述条件的拓扑τ1:①
Ω∈τ1;②τ1在
Ω的诱导(相对)拓扑正好是τ;③每个
i∈
I的邻域系与
Ω 的交构成由Bi生成的滤子。这样的拓扑中最细者在
I上诱导出离散拓扑;而最粗者当
I是
Ω上抽象调和函数凸锥的极端母线全体时就称为极小细拓扑。
在实用中,常据在
Ω上所考虑的函数族的性质来引入边界且保证
Ω镶边后是紧的。康斯坦丁斯库-科尼紧致化定理即若
Ω是非紧的局部紧的豪斯多夫空间,
φ是一族从
Ω到【-∞,+∞】的连续函数,则存在唯一(至多相差一个同胚)的紧空间惂满足:①
Ω在惂中是开的且在惂中稠密;②
φ中每个函数
ƒ能开拓成惂上的连续函数弮;③弮全体能辨别理想边界
Δ=惂\
Ω。
惂也可看成关于
Ω上的这样的一致结构的完备化空间:它是使得
φ中每个函数都一致连续且相应的一致拓扑与
Ω原有拓扑相容的最粗的一致结构。
作为应用,适当选取
φ 可以得到如下位势论中常用的紧致化。
亚历山德罗夫单点紧致化 这时
φ为空集。
斯通-切赫紧致化 这时
φ 是
Ω上的所有广义实值连续函数。
凯雷克亚托-斯托伊洛夫紧致化 这时
φ 由这样的实值连续函数
ƒ组成:在
Ω中有紧子集
Kƒ使得
Ω\
Kƒ是一些区域之并集且在每个区域上
ƒ取常数值。
罗伊登紧致化 这时
Ω是ε空间,
φ 是所有实连续的BLD函数。
仓特善紧致化 这时
Ω是ε空间,
φ 是满足下述条件的实连续BLD函数
ƒ全体:
Ω有闭子集
Fƒ使得
ƒ在
Ω\
Fƒ里调和且在那些于
Fƒ上取值等于
ƒ的BLD函数中,
ƒ的狄利克雷积分(即‖
ƒ‖
D)达到最小。
马丁紧致化 是位势论中重要的一种紧致化。
编辑本段马丁空间与马丁边界
为纪念R.S.马丁,将格林空间
Ω相对于函数族
(
y0∈
Ω任意取定)的CC紧致化空间惂 称为马丁空间;
Δ=惂\
Ω称为马丁边界。所有函数
xм→
K(
x,
y)(
y∈
Ω),在惂都有连续的开拓且能辨别
Δ。惂可度量化。
R的一般区域的欧氏边界与
Δ全然不同;但当
Ω是球或其他较为正则的区域时,惂等同于
Ω的欧氏闭包;对
R的单连通格林区域,
Δ等同于卡拉西奥多里分歧边界。
调和函数
u>0称为极小调和函数,指的是任何不大于
u的正调和函数必与
u成比例。若
u极小调和,必存在
x∈
Δ使得
u(
y)=
u(
y0)·
K(
x,
y)。称这样的
X 为
Δ的极小点。极小点全体
Δ1是
GΛ集。对任一非负调和函数
u必存在唯一的分布在
Δ1上的拉东测度
μ使得凬
y∈
Ω,
称此式为马丁积分表现,其右端是双层位势的推广。它促使了著名的关于凸锥的极端点的绍凯定理的产生并且后者反过来简化了前者的证明。
对马丁边界同样可考虑狄利克雷问题,可讨论一个集在
X ∈
Δ1的瘦与肥并进而把
Ω上的细拓扑开拓到
Ω∪
Δ1。对任意上调和函数
u>0及调和函数
h>0,
u/
h在
Δ1上至多除去一个
h零测集外处处有细极限,这是杜布对著名的法图定理即球内的正调和函数在边界上几乎处处有不相切极限的重大推广。
马丁紧致化有许多推广的形式。例如,当考虑的函数族是由某一椭圆型方程(特别是Δ
u=
pu)在
Ω上的格林函数
G┡(
x,
y)的商
(
e(
x)为确定的有界正解)组成时,可得到椭圆马丁边界
Δ┡,并进而可研究
Ω的椭圆维数,所考虑的方程的解空间的结构以及
Δ┡与其他边界的关系等。
马丁边界可翻译成概率的语言并在
随机过程论中得到应用与推广。
编辑本段局部紧阿贝尔群上位势论
由于拓扑学和代数学,特别是群上傅里叶分析的发展,使这种群上的位势论取得了丰富的成果。
设
G是局部紧阿贝尔群,若对
G上一个测度网(
μα)α∈A,存在一测度
μ,使对任意
ƒ∈
Cc。(支柱紧的连续函数全体),均有,则称(
μα)α∈A浑收敛于
μ。
若
G上一正测度集合 (
μt)t>0, 满足以下条件:①
μt(
G)≤1,
t>0;②,s>0;③浑收敛于狄喇克测度ε0;④浑积分存在,则称(
μt)t>0是
G上一个迁移测度卷积半群。
K=称为它所对应的位势核。若测度 ,
则测度
K*
σ就称为
K位势。
一个正测度ξ称为关于(μt)t>0是过度的,若对所有
t>0,ξ是
μt上调和,即
μt*ξ ≤ξ;一个正测度ξ 称为关于(
μt)t>0是不变的,若对所有
t>0,ξ是
μt调和的,也就是
μt*ξ=ξ。每一个
K位势必为过度测度;反之,每一个过度测度必是单调增加
K位势网的浑极限。对过度测度ξ,里斯分解定理成立,也就是ξ=
K*
σ+
η,
σ∈
D(
K);
η是不变测度。
若,其中正测度
μ 满足
μ(
G)≤1,
μ是
n重卷积,
μ=ε0 则称
v为基本核。若
K为位势核,则
λK+ε0,
λ>0,必为基本核。基本核对所有开集满足扫除原理,所以位势核
K对所有开集也满足扫除原理。
若ω是开集,ξ是过度测度,测度是过度测度,在称为ξ在ω上的简化测度。对简化测度,里斯分解定理仍成立。利用简化测度可证明平衡分布原理和正质量原理;也就是若
σ1,
σ2∈
D(
K),且,则有
σ1(
G)≤
σ2(
G)。在1978年,还证明了电容器原理,即若ω
G是
G上哈尔测度,
Ω0,
Ω1是一对开集 捙0∩捙1=═, 且捙0是紧的,那么存在正测度
μ0,
μ1∈
D(
K),使得满足:①0≤ξ ≤ω
G;②ξ =ω
G在
Ω0;③ξ =0在
Ω1;④支柱 。
关于位势核
K在理想边界的性质,能量有限复测度空间的完备化以及广义函数的引入等,都有了一系列很好的结果。
如果把上述迁移测度卷积半群 (
μt)t>0所满足的条件①、③放宽为浑收敛于
μs,
t,s>0和
μ0=
ε0,测度就称为亨特核。亨特核满足扫除原理和推广的电容器原理。
设
x为局部紧豪斯多夫空间,ξ 为
x上一个处处稠密正拉东测度(对任意非空开集ω,ξ(ω)>0),由
x上一族局部ξ可积的复函数
u(
x)组成的希尔伯特空间
D=
D(
x,ξ),若满足下列三条公理:①对任一紧集
K,存在一数
A(
K)>0,使得;②
Cc∩
D在
D中和
Cc中稠密;③对复平面上每一个正常收缩映射
T和任一
u∈
D,有
Tu∈
D,且‖
Tu‖≤‖
u‖,则称
D(
x,ξ)为ξ狄利克雷空间。若对
u∈
D,存在一拉东测度
μ,使得,
φ∈
Cc∩
D,则称
u为
μ的位势。在ξ 狄利克雷空间中,也有相应的电容器原理、平衡分布原理和扫除原理等。
由于位势论的大部分结果都可由其狄利克雷问题、极值原理和收敛性质三个基本原理导出,且为了适应偏微分方程和随机过程的需要,公理化位势论,即调和空间理论迅速地发展起来,它提供了统一处理问题的方法。从50年代起,G.L.陶茨、杜布和M.布雷洛特等在这方面做了开创性的工作,C.康斯坦丁斯库和A.科尼在70年代初期建立了一般调和空间理论。
一般公理系统 又称康斯坦丁斯库-科尼公理系统。在一个局部紧、第二可数的豪斯多夫空间
X 的每一开集
U上,给出一个由一族不取值-∞的下半连续函数组成的凸锥U(
U),所有这些函数的全体构成
x上的一个函数簇U。拓扑空间
x上的函数簇是指定义在
x的开集上满足下列条件的一个映射U:①对于
x的任意开集
U,U(
U)是
U上的函数集;②对于
X 的任意开集
U,
V,
U吇
V,若
ƒ∈U(
V),则
ƒ|U∈U(
U);③对于
x的任意开集族(
Uα)α∈A,一个上的函数
ƒ,若对一切α ∈
A,,则。U称为
x上的超调和簇,凸锥U(
U)中的函数叫做
U上的超调和函数。超调和是局部性质。
在一个开集上,一个函数
u称为亚调和函数,如果-
u是超调和的,若一个函数
h既是超调和亦是亚调和,则说
h是调和函数。
一个开集
U称为可解集,如果在
U上超调和函数的极小值原理成立,并且每一
ƒ∈
Cc(д
U)在
U内的广义狄利克雷问题是可解的。
ƒ的解
H在
U上可表示为调和测度
μ的积分,
μ分布在д
U上且大于等于零。
一般公理系统包括如下四个公理:
正(P)公理
x上的每一点都存在有该点的一个开邻域上的一个调和函数,使它在该点取正值。
可解(R)公理 可解集全体构成拓扑空间
x的一个拓扑基。
完备(C)公理 在一个开集
U上,任一不取-∞的下半连续函数
u若满足在
U的每一相对紧的可解子集
V(堸嶅
U)上,,则
u∈U(
U)。
鲍厄收敛(BC)性质 单调增加、局部一致有界的调和函数列的极限仍是调和函数。
满足上述公理的有序偶(
x,U)叫做调和空间(或叫CC调和空间)。
布雷洛特公理系统 在一局部紧、第二可数的豪斯多夫空间
x上一个调和函数簇H满足如下公理。
① 每一开集
U 上的调和函数全体H(
U)是
C(
U)的一个线性子空间。
② 正则区域构成
x的一个拓扑基。
所谓正则区域即一个相对紧的区域
V,其边界д
V上的每一连续函数都可唯一地开拓成为
V上的调和函数
H抦,并且当
ƒ≥0时
H抦≥0。
③ 区域上的单调增加的调和函数列的极限是调和函数或恒等于+∞。
有序偶(
x,H)叫做布雷洛特调和空间,它是第一个完善的公理系统。布雷洛特调和空间上的位势论与经典位势论最为接近。
此外,比较典型的还有鲍厄-博博克-康斯坦丁斯库-科尼公理系统(简称BBCC公理系统)。二阶椭圆型偏微分方程满足布雷洛特公理系统,但热传导方程却不满足布雷洛特公理系统,而满足BBCC公理系统。一个布雷洛特调和空间是一个BBCC调和空间,而BBCC调和空间是一般的CC调和空间。布雷洛特公理系统严格强于BBCC公理系统,而BBCC公理系统又严格强于一般公理系统。设
U是调和空间(
x,U)的开子集,
u是
U上超调和函数,若在
U的每一相对紧的可解子集
V(堸嶅
U)上,是调和函数,则
u叫做上调和函数。-
u叫做下调和函数。上、下调和函数在一个稠密集上取有限数值。以 0为最大调和下属的非负上调和函数叫做位势。在调和空间中,相应的里斯分解定理仍然成立。
对于布雷洛特调和空间,R.M.埃尔韦证明了,在满足一定条件下,若区域上存在正位势,则格林函数也存在。一个布雷洛特调和空间若存在一个相容的对称格林函数系,称为自共轭调和空间,其原型来自偏微分方程Δ
u=с
u。F.Y.马埃达通过引入梯度测度的概念,在自共轭调和空间上建立了广义格林公式。
编辑本段位势论与概率论的联系
角谷静夫、卡茨、杜布等人首先发现了布朗运动与古典位势论有密切的联系;亨特则发现通过一大类非常返马尔可夫过程可以深入研究位势论;后来,F.L.斯皮策用随机游动,J.G.凯梅尼和J.L.斯内尔用马尔可夫链首先研究了常返的位势理论。
位势论与概率论的密切联系,最明显的是,决定一个马尔可夫过程的转移函数可以用来定义位势论中的格林函数。位势论中的许多概念和原理都有明确的概率意义,特别体现在上鞅理论中,比如上调和函数相应于上鞅。位势论中的法图型边界极限理论相应于上鞅收敛理论;单调上调和函数列的极限性质与单调上鞅的极限过程性质颇为相似;某些上调和函数、上鞅称为位势,它们在各自的理论中都有与之关联的测度,都遵从只涉及这些测度支柱的控制原理,以及在概率论与位势论中,都存在一个性质相同的简化测度,它导出与位势相关联的测度的扫除等等。
以布朗运动为例,设
x(
t),
t≥0为
R上的标准布朗运动,{
px},
x∈
R为相应的概率测度族,
px以为密度,而
p(
t,
x,
y)构成强马尔可夫转移半群。令(B为波莱尔代数),称τ
B为
x(
t)首中
B的时间,称
TB=τ为首退出
B的时间。若对任意
x∈
R都有
px(τ
B<∞)=0,则说
B是极集;若
px(τ
B=0)=1,则说
x是
B的正则点。对
n≥3,令 ,
则
gμ(
μ是拉东测度)就是牛顿位势(当
n=2时为对数位势),极集是牛顿零容集。
设区域,
A∈B称为布朗运动的退出分布,则
HD(
x,·)就是
D在
x点的调和测度。又设
φ(
x)在д
D基本有界,则就是广义狄利克雷问题的解。令;则
GD(
x,
y)就是
D上的格林函数。如果
u是上调和函数, 在满足一些适当的条件后,
u(
x(
t))是上鞅。
在马丁空间也可以构造布朗运动。此外,利用随机积分方程的方法可以构造一般
C级流形上的扩散过程,因此可以用概率方法研究马丁空间和
C黎曼流形上的位势论。由于位势论与概率论存在密切的联系,使得位势论有了明显的概率意义而位势论也为概率论的研究提供了一种新的有力的分析工具。