本文的主要目的是证明一种紧密性<年代vg height="7.1750002" id="M1" style="vertical-align:-0.1254pt;width:8.9375px;" version="1.1" viewbox="0 0 8.9375 7.1750002" width="8.9375" xmlns="http://www.w3.org/2000/svg">
斜随机漫步。这种紧密性的结果特别意味着<年代vg height="7.1750002" id="M2" style="vertical-align:-0.1254pt;width:8.9375px;" version="1.1" viewbox="0 0 8.9375 7.1750002" width="8.9375" xmlns="http://www.w3.org/2000/svg">
-斜布朗运动可以构造为这种随机游动的标度极限。我们的密封性证明是基于四阶矩法。
1.主要结果的介绍和陈述 斜布朗运动由Itô和Mckean提出[<一个href="#B4">1一个>]提供与与扩散过程相关的二阶微分算子的Feller分类相关的随机过程的构造(参见[<一个href="#B5">2一个>])。为<年代vg height="13.45" id="M3" style="vertical-align:-2.21957pt;width:60.875px;" version="1.1" viewbox="0 0 60.875 13.45" width="60.875" xmlns="http://www.w3.org/2000/svg">
∈
(
0
,
1
)
,<年代vg height="7.1750002" id="M4" style="vertical-align:-0.1254pt;width:8.9375px;" version="1.1" viewbox="0 0 8.9375 7.1750002" width="8.9375" xmlns="http://www.w3.org/2000/svg">
-斜布朗运动被定义为一维马氏过程,与一般布朗运动具有相同的跃迁机制,唯一的例外是离零的偏移被赋予一个正号,带有概率<年代vg height="7.1750002" id="M5" style="vertical-align:-0.1254pt;width:8.9375px;" version="1.1" viewbox="0 0 8.9375 7.1750002" width="8.9375" xmlns="http://www.w3.org/2000/svg">
一个负号表示概率<年代vg height="10.85" id="M6" style="vertical-align:-0.1254pt;width:34.400002px;" version="1.1" viewbox="0 0 34.400002 10.85" width="34.400002" xmlns="http://www.w3.org/2000/svg">
1
−
.这些标志形成了一个身份识别序列,并且是独立于过去的程序历史选择的。如果<年代vg height="10.9125" id="M7" style="vertical-align:-0.17555pt;width:48.299999px;" version="1.1" viewbox="0 0 48.299999 10.9125" width="48.299999" xmlns="http://www.w3.org/2000/svg">
=
1
/
2
,这个过程就是通常的布朗运动。
正式,<年代vg height="7.1750002" id="M8" style="vertical-align:-0.1254pt;width:8.9375px;" version="1.1" viewbox="0 0 8.9375 7.1750002" width="8.9375" xmlns="http://www.w3.org/2000/svg">
-歪斜随机漫步<年代vg height="10.475" id="M9" style="vertical-align:-0.0pt;width:11.4875px;" version="1.1" viewbox="0 0 11.4875 10.475" width="11.4875" xmlns="http://www.w3.org/2000/svg">
ℤ
从0开始定义为出生-死亡马尔可夫链<年代vg height="21.012501" id="M10" style="vertical-align:-4.75626pt;width:133.0125px;" version="1.1" viewbox="0 0 133.0125 21.012501" width="133.0125" xmlns="http://www.w3.org/2000/svg">
(
)
=
{
(
)
;
≥
0
}
与<年代vg height="16.737499" id="M11" style="vertical-align:-4.37013pt;width:45.375px;" version="1.1" viewbox="0 0 45.375 16.737499" width="45.375" xmlns="http://www.w3.org/2000/svg">
0
=
0
一步转移的概率是<年代pan class="equation" id="eq1">
(
)
+
1
=
+
1
∣
(
)
=
1
=
我
f
=
0
,
2
,
o
t
h
e
r
w
我
年代
e
,
(
)
+
1
=
−
1
∣
(
)
=
1
=
1
−
我
f
=
0
,
2
,
o
t
h
e
r
w
我
年代
e
.
(
1
.
1
)
在特殊情况下<年代vg height="10.9125" id="M13" style="vertical-align:-0.17555pt;width:48.299999px;" version="1.1" viewbox="0 0 48.299999 10.9125" width="48.299999" xmlns="http://www.w3.org/2000/svg">
=
1
/
2
,<年代vg height="14.0125" id="M14" style="vertical-align:-0.1254pt;width:33.262501px;" version="1.1" viewbox="0 0 33.262501 14.0125" width="33.262501" xmlns="http://www.w3.org/2000/svg">
(
1
/
2
)
是简单对称随机漫步吗<年代vg height="10.475" id="M15" style="vertical-align:-0.0pt;width:11.4875px;" version="1.1" viewbox="0 0 11.4875 10.475" width="11.4875" xmlns="http://www.w3.org/2000/svg">
ℤ
.注意,当<年代vg height="13.125" id="M16" style="vertical-align:-1.95624pt;width:44.825001px;" version="1.1" viewbox="0 0 44.825001 13.125" width="44.825001" xmlns="http://www.w3.org/2000/svg">
≠
1
/
2
,随机游走的跳跃(通常是增量)不是独立的。
哈里森和谢普[<一个href="#B6">3.一个>提出(但未证明)反映布朗运动的函数中心极限定理(简称FCLT)可以用来构造斜布朗运动,作为整数格上适当修正的对称随机游动的极限过程。这一结果为高非均质多孔介质中跟踪运动粒子的数值算法奠定了基础;例如,[<一个href="#B3">4一个>- - - - - -<一个href="#B7">7一个>].在[<一个href="#B1">5一个>],认为通过二阶矩可以得到密封性;然而,这是不可能的,即使在简单对称随机漫步的情况下。由于增量在统计上缺乏独立性,第四次矩证明就变得更加具有挑战性。尽管在更一般的框架中fclt的证明已经通过其他方法获得,例如通过Skorokhod嵌入[<一个href="#B2">8一个>,在文献中还没有关于简单斜随机游动紧密性的完备简单证明。
本文的主要目的是证明以下结果。让<年代vg height="15.05" id="M17" style="vertical-align:-3.49493pt;width:59px;" version="1.1" viewbox="0 0 59 15.05" width="59" xmlns="http://www.w3.org/2000/svg">
(
ℝ
+
,
ℝ
)
为连续函数的空间<年代vg height="15.05" id="M18" style="vertical-align:-3.49493pt;width:78.512497px;" version="1.1" viewbox="0 0 78.512497 15.05" width="78.512497" xmlns="http://www.w3.org/2000/svg">
ℝ
+
=
[
0
,
∞
)
成<年代vg height="10.475" id="M19" style="vertical-align:-0.0pt;width:11.8px;" version="1.1" viewbox="0 0 11.8 10.475" width="11.8" xmlns="http://www.w3.org/2000/svg">
ℝ
,具有在紧集上一致收敛的拓扑。为<年代vg height="10.8875" id="M20" style="vertical-align:-0.33858pt;width:38.1875px;" version="1.1" viewbox="0 0 38.1875 10.8875" width="38.1875" xmlns="http://www.w3.org/2000/svg">
∈
ℕ
,让<年代vg height="19.4375" id="M21" style="vertical-align:-3.49493pt;width:105.75px;" version="1.1" viewbox="0 0 105.75 19.4375" width="105.75" xmlns="http://www.w3.org/2000/svg">
(
)
∈
(
ℝ
+
,
ℝ
)
表示下列的线性插值<年代vg height="22.5375" id="M22" style="vertical-align:-5.97638pt;width:27.049999px;" version="1.1" viewbox="0 0 27.049999 22.5375" width="27.049999" xmlns="http://www.w3.org/2000/svg">
(
)
[
]
:<年代pan class="equation" id="eq2">
(
)
1
(
)
=
√
[
]
(
)
[
]
+
(
−
)
⋅
[
]
(
)
+
1
.
(
1
.
2
)
这里,从今以后<年代vg height="12.9125" id="M24" style="vertical-align:-1.95624pt;width:19.125px;" version="1.1" viewbox="0 0 19.125 12.9125" width="19.125" xmlns="http://www.w3.org/2000/svg">
[
]
表示实数的整数部分<年代vg height="7.1624999" id="M25" style="vertical-align:-0.11285pt;width:8.7250004px;" version="1.1" viewbox="0 0 8.7250004 7.1624999" width="8.7250004" xmlns="http://www.w3.org/2000/svg">
.
定理1.1。年代pan>对于任何<年代vg height="13.45" id="M26" style="vertical-align:-2.21957pt;width:60.875px;" version="1.1" viewbox="0 0 60.875 13.45" width="60.875" xmlns="http://www.w3.org/2000/svg">
∈
(
0
,
1
)
,存在一个常数<年代vg height="11.0625" id="M27" style="vertical-align:-0.30096pt;width:37.8125px;" version="1.1" viewbox="0 0 37.8125 11.0625" width="37.8125" xmlns="http://www.w3.org/2000/svg">
>
0
,这样的不平等我><年代pan class="equation" id="eq3">
|
|
(
)
(
)
−
(
)
(
|
|
)
4
≤
|
−
|
2
,
(
1
.
3.
)
对所有人都成立<年代vg height="12.8875" id="M29" style="vertical-align:-1.76814pt;width:45.612499px;" version="1.1" viewbox="0 0 45.612499 12.8875" width="45.612499" xmlns="http://www.w3.org/2000/svg">
,
>
0
,<年代vg height="10.8875" id="M30" style="vertical-align:-0.33858pt;width:38.1875px;" version="1.1" viewbox="0 0 38.1875 10.8875" width="38.1875" xmlns="http://www.w3.org/2000/svg">
∈
ℕ
.我>年代pan>
上述结果暗示了以下内容(参见,例如,[<一个href="#B9">9一个>,98页)。
推论1.2。年代pan>过程家族<年代vg height="18.5" id="M31" style="vertical-align:-2.73732pt;width:27.487499px;" version="1.1" viewbox="0 0 27.487499 18.5" width="27.487499" xmlns="http://www.w3.org/2000/svg">
(
)
,<年代vg height="10.8875" id="M32" style="vertical-align:-0.33858pt;width:38.1875px;" version="1.1" viewbox="0 0 38.1875 10.8875" width="38.1875" xmlns="http://www.w3.org/2000/svg">
∈
ℕ
很紧<年代vg height="15.05" id="M33" style="vertical-align:-3.49493pt;width:59px;" version="1.1" viewbox="0 0 59 15.05" width="59" xmlns="http://www.w3.org/2000/svg">
(
ℝ
+
,
ℝ
)
.我>年代pan>
2.定理的证明<一个href="#thm1.1">1.1一个> 在这一节中,我们完成了我们的主要结果定理的证明<一个href="#thm1.1">1.1一个>.下面我们将使用<年代vg height="10.725" id="M34" style="vertical-align:-0.1254pt;width:11.375px;" version="1.1" viewbox="0 0 11.375 10.725" width="11.375" xmlns="http://www.w3.org/2000/svg">
表示简单对称随机游动<年代vg height="14.0125" id="M35" style="vertical-align:-0.1254pt;width:33.262501px;" version="1.1" viewbox="0 0 33.262501 14.0125" width="33.262501" xmlns="http://www.w3.org/2000/svg">
(
1
/
2
)
.以下意见可在[<一个href="#B6">3.一个>].
命题2.1。年代pan>(一)<年代vg height="16.625" id="M36" style="vertical-align:-2.21957pt;width:31.7125px;" version="1.1" viewbox="0 0 31.7125 16.625" width="31.7125" xmlns="http://www.w3.org/2000/svg">
|
(
)
|
有相同的分布<年代vg height="13.45" id="M37" style="vertical-align:-2.21957pt;width:16.5375px;" version="1.1" viewbox="0 0 16.5375 13.45" width="16.5375" xmlns="http://www.w3.org/2000/svg">
|
|
在<年代vg height="15.1125" id="M38" style="vertical-align:-3.49493pt;width:115.2125px;" version="1.1" viewbox="0 0 115.2125 15.1125" width="115.2125" xmlns="http://www.w3.org/2000/svg">
ℤ
+
=
{
0
,
1
,
2
,
...
}
.也就是说,<年代vg height="16.625" id="M39" style="vertical-align:-2.21957pt;width:31.7125px;" version="1.1" viewbox="0 0 31.7125 16.625" width="31.7125" xmlns="http://www.w3.org/2000/svg">
|
(
)
|
是简单对称随机漫步吗<年代vg height="14.825" id="M40" style="vertical-align:-3.49493pt;width:19.6px;" version="1.1" viewbox="0 0 19.6 14.825" width="19.6" xmlns="http://www.w3.org/2000/svg">
ℤ
+
,在0处反射。我>(b)的过程<年代vg height="14.0125" id="M41" style="vertical-align:-0.1254pt;width:36.162498px;" version="1.1" viewbox="0 0 36.162498 14.0125" width="36.162498" xmlns="http://www.w3.org/2000/svg">
−
(
)
和<年代vg height="14.0125" id="M42" style="vertical-align:-0.1254pt;width:38.424999px;" version="1.1" viewbox="0 0 38.424999 14.0125" width="38.424999" xmlns="http://www.w3.org/2000/svg">
(
1
−
)
有相同的分布。我>年代pan>
下一个语句描述了<年代vg height="7.1374998" id="M43" style="vertical-align:-0.10033pt;width:7.8874998px;" version="1.1" viewbox="0 0 7.8874998 7.1374998" width="7.8874998" xmlns="http://www.w3.org/2000/svg">
的-阶跃概率,通过将它们与<年代vg height="10.725" id="M44" style="vertical-align:-0.1254pt;width:11.375px;" version="1.1" viewbox="0 0 11.375 10.725" width="11.375" xmlns="http://www.w3.org/2000/svg">
(参见,例如,[<一个href="#B1">5一个>,43.6页)。
命题2.2。年代pan>为<年代vg height="10.75" id="M45" style="vertical-align:-0.33858pt;width:43.775002px;" version="1.1" viewbox="0 0 43.775002 10.75" width="43.775002" xmlns="http://www.w3.org/2000/svg">
∈
,<年代vg height="11.0625" id="M46" style="vertical-align:-0.30096pt;width:35.799999px;" version="1.1" viewbox="0 0 35.799999 11.0625" width="35.799999" xmlns="http://www.w3.org/2000/svg">
>
0
(
)
=
⎧
⎪
⎨
⎪
⎩
|
|
=
⋅
|
|
|
|
=
>
0
(
1
−
)
⋅
|
|
|
|
=
−
<
0
(
)
|
|
|
|
=
0
=
|
|
=
0
=
0
.
(
2
.
1
)
的分布函数的显式形式很明显地说明了下面的观察结果<年代vg height="21.012501" id="M48" style="vertical-align:-4.75626pt;width:25.4625px;" version="1.1" viewbox="0 0 25.4625 21.012501" width="25.4625" xmlns="http://www.w3.org/2000/svg">
(
)
,在命题中给出<一个href="#prop2.2">2.2一个>.
命题2.3。年代pan>的概率,我><年代pan class="equation" id="eq5">
(
)
+
1
−
(
)
∣
(
)
=
(
2
−
1
)
{
(
)
=
0
}
,
(
)
+
1
−
(
)
2
∣
(
)
=
1
.
(
2
.
2
)
展示定理的结果<一个href="#thm1.1">1.1一个>在美国,我们需要卡拉玛塔陶伯里定理的一个推论,我们现在就来说明这个推论。对于一个测量<年代vg height="9.6750002" id="M50" style="vertical-align:-2.29482pt;width:9.6374998px;" version="1.1" viewbox="0 0 9.6374998 9.6750002" width="9.6374998" xmlns="http://www.w3.org/2000/svg">
在<年代vg height="13.45" id="M51" style="vertical-align:-2.21957pt;width:39.337502px;" version="1.1" viewbox="0 0 39.337502 13.45" width="39.337502" xmlns="http://www.w3.org/2000/svg">
[
0
,
∞
)
,表示<年代vg height="19.4125" id="M52" style="vertical-align:-4.59964pt;width:145.425px;" version="1.1" viewbox="0 0 145.425 19.4125" width="145.425" xmlns="http://www.w3.org/2000/svg">
∫
(
)
∶
=
∞
0
−
(
)
拉普拉斯变换<年代vg height="9.6750002" id="M53" style="vertical-align:-2.29482pt;width:9.6374998px;" version="1.1" viewbox="0 0 9.6374998 9.6750002" width="9.6374998" xmlns="http://www.w3.org/2000/svg">
.这个转换定义得很好<年代vg height="13.45" id="M54" style="vertical-align:-2.21957pt;width:65.849998px;" version="1.1" viewbox="0 0 65.849998 13.45" width="65.849998" xmlns="http://www.w3.org/2000/svg">
∈
(
,
∞
)
,在那里<年代vg height="11.0625" id="M55" style="vertical-align:-0.30096pt;width:33.8125px;" version="1.1" viewbox="0 0 33.8125 11.0625" width="33.8125" xmlns="http://www.w3.org/2000/svg">
>
0
是不是一个非负常数<年代vg height="9.3125" id="M56" style="vertical-align:-0.51414pt;width:25.299999px;" version="1.1" viewbox="0 0 25.299999 9.3125" width="25.299999" xmlns="http://www.w3.org/2000/svg">
+
∞
.如果<年代vg height="9.6750002" id="M57" style="vertical-align:-2.29482pt;width:9.6374998px;" version="1.1" viewbox="0 0 9.6374998 9.6750002" width="9.6374998" xmlns="http://www.w3.org/2000/svg">
和<年代vg height="7.2375002" id="M58" style="vertical-align:-0.11285pt;width:7.9749999px;" version="1.1" viewbox="0 0 7.9749999 7.2375002" width="7.9749999" xmlns="http://www.w3.org/2000/svg">
措施在<年代vg height="13.45" id="M59" style="vertical-align:-2.21957pt;width:39.337502px;" version="1.1" viewbox="0 0 39.337502 13.45" width="39.337502" xmlns="http://www.w3.org/2000/svg">
[
0
,
∞
)
这样<年代vg height="14.975" id="M60" style="vertical-align:-2.29482pt;width:28.512501px;" version="1.1" viewbox="0 0 28.512501 14.975" width="28.512501" xmlns="http://www.w3.org/2000/svg">
(
)
和<年代vg height="13.45" id="M61" style="vertical-align:-2.21957pt;width:26.8375px;" version="1.1" viewbox="0 0 26.8375 13.45" width="26.8375" xmlns="http://www.w3.org/2000/svg">
̂
(
)
两者都是存在的<年代vg height="11.0625" id="M62" style="vertical-align:-0.30096pt;width:35.787498px;" version="1.1" viewbox="0 0 35.787498 11.0625" width="35.787498" xmlns="http://www.w3.org/2000/svg">
>
0
,然后是卷积<年代vg height="10.4125" id="M63" style="vertical-align:-2.34499pt;width:59.9375px;" version="1.1" viewbox="0 0 59.9375 10.4125" width="59.9375" xmlns="http://www.w3.org/2000/svg">
=
∗
有拉普拉斯变换<年代vg height="15.0375" id="M64" style="vertical-align:-2.34499pt;width:101.4125px;" version="1.1" viewbox="0 0 101.4125 15.0375" width="101.4125" xmlns="http://www.w3.org/2000/svg">
̂
(
)
=
(
)
̂
(
)
为<年代vg height="11.0625" id="M65" style="vertical-align:-0.30096pt;width:35.787498px;" version="1.1" viewbox="0 0 35.787498 11.0625" width="35.787498" xmlns="http://www.w3.org/2000/svg">
>
0
.如果<年代vg height="9.6750002" id="M66" style="vertical-align:-2.29482pt;width:9.6374998px;" version="1.1" viewbox="0 0 9.6374998 9.6750002" width="9.6374998" xmlns="http://www.w3.org/2000/svg">
是否有一个离散的衡量标准<年代vg height="14.825" id="M67" style="vertical-align:-3.49493pt;width:19.6px;" version="1.1" viewbox="0 0 19.6 14.825" width="19.6" xmlns="http://www.w3.org/2000/svg">
ℤ
+
,一个人可以识别<年代vg height="9.6750002" id="M68" style="vertical-align:-2.29482pt;width:9.6374998px;" version="1.1" viewbox="0 0 9.6374998 9.6750002" width="9.6374998" xmlns="http://www.w3.org/2000/svg">
用一个序列<年代vg height="10.8125" id="M69" style="vertical-align:-3.20526pt;width:15.2375px;" version="1.1" viewbox="0 0 15.2375 10.8125" width="15.2375" xmlns="http://www.w3.org/2000/svg">
它的价值<年代vg height="14.825" id="M70" style="vertical-align:-3.49493pt;width:46.762501px;" version="1.1" viewbox="0 0 46.762501 14.825" width="46.762501" xmlns="http://www.w3.org/2000/svg">
∈
ℤ
+
.对于这些离散的措施,我们有以下几点。(参见,例如,在[中的推论8.10<一个href="#B8">10一个>,118页)。
命题2.4。年代pan>让<年代vg height="17.4" id="M71" style="vertical-align:-3.8347pt;width:106.3px;" version="1.1" viewbox="0 0 106.3 17.4" width="106.3" xmlns="http://www.w3.org/2000/svg">
∑
(
)
=
∞
=
0
,<年代vg height="12.3" id="M72" style="vertical-align:-1.29163pt;width:59.424999px;" version="1.1" viewbox="0 0 59.424999 12.3" width="59.424999" xmlns="http://www.w3.org/2000/svg">
0
≤
<
1
,在那里<年代vg height="16.5" id="M73" style="vertical-align:-4.13187pt;width:49.262501px;" version="1.1" viewbox="0 0 49.262501 16.5" width="49.262501" xmlns="http://www.w3.org/2000/svg">
{
}
∞
=
0
是一个非负数序列。为<年代vg height="10.325" id="M74" style="vertical-align:-0.0pt;width:11.1875px;" version="1.1" viewbox="0 0 11.1875 10.325" width="11.1875" xmlns="http://www.w3.org/2000/svg">
在无穷远处慢慢变化<年代vg height="12.3" id="M75" style="vertical-align:-1.29163pt;width:69.375px;" version="1.1" viewbox="0 0 69.375 12.3" width="69.375" xmlns="http://www.w3.org/2000/svg">
0
≤
<
∞
一个人我><年代pan class="equation" id="eq6">
(
)
∼
(
1
−
)
−
1
1
−
↑
1
(
2
.
3.
)
当且仅当我><年代pan class="equation" id="eq7">
=
0
∼
1
Γ
(
)
(
)
⟶
∞
.
(
2
.
4
)
这里,从今以后,<年代vg height="14.5625" id="M78" style="vertical-align:-3.20526pt;width:46.825001px;" version="1.1" viewbox="0 0 46.825001 14.5625" width="46.825001" xmlns="http://www.w3.org/2000/svg">
∼
对于两个实数序列<年代vg height="14.95" id="M79" style="vertical-align:-3.37204pt;width:50.224998px;" version="1.1" viewbox="0 0 50.224998 14.95" width="50.224998" xmlns="http://www.w3.org/2000/svg">
{
}
∈
ℕ
和<年代vg height="14.95" id="M80" style="vertical-align:-3.37204pt;width:49.724998px;" version="1.1" viewbox="0 0 49.724998 14.95" width="49.724998" xmlns="http://www.w3.org/2000/svg">
{
}
∈
ℕ
意味着<年代vg height="14.8" id="M81" style="vertical-align:-3.20526pt;width:115.0125px;" version="1.1" viewbox="0 0 115.0125 14.8" width="115.0125" xmlns="http://www.w3.org/2000/svg">
l
我
米
→
∞
/
=
1
.
我们现在可以证明以下关键命题。定义一个序列<年代vg height="17.7125" id="M82" style="vertical-align:-5.58662pt;width:69.137497px;" version="1.1" viewbox="0 0 69.137497 17.7125" width="69.137497" xmlns="http://www.w3.org/2000/svg">
{
(
)
}
∈
ℤ
+
如下<年代pan class="equation" id="eq8">
⎧
⎪
⎨
⎪
⎩
2
(
)
=
0
我
f
∈
ℕ
我
年代
o
d
d
2
−
2
我
f
=
2
∈
ℕ
我
年代
e
v
e
n
.
(
2
.
5
)
注意,鉴于命题<一个href="#prop2.2">2.2一个>,<年代pan class="equation" id="eq9">
(
)
=
|
|
=
0
=
|
|
|
|
=
0
=
(
)
|
|
=
0
=
(
)
=
0
.
(
2
.
6
)
命题2.5。年代pan>(一)年代pan>如果<年代vg height="13.6125" id="M85" style="vertical-align:-2.34499pt;width:92.512497px;" version="1.1" viewbox="0 0 92.512497 13.6125" width="92.512497" xmlns="http://www.w3.org/2000/svg">
(
)
=
∗
(
)
然后<年代vg height="19.4125" id="M86" style="vertical-align:-5.35329pt;width:91.349998px;" version="1.1" viewbox="0 0 91.349998 19.4125" width="91.349998" xmlns="http://www.w3.org/2000/svg">
∑
=
0
(
)
∼
.我>年代pan> (b)年代pan>如果<年代vg height="13.6125" id="M87" style="vertical-align:-2.34499pt;width:136.45px;" version="1.1" viewbox="0 0 136.45 13.6125" width="136.45" xmlns="http://www.w3.org/2000/svg">
(
)
=
∗
∗
∗
(
)
然后<年代vg height="20.4375" id="M88" style="vertical-align:-5.35329pt;width:95.762497px;" version="1.1" viewbox="0 0 95.762497 20.4375" width="95.762497" xmlns="http://www.w3.org/2000/svg">
∑
=
0
(
)
∼
2
.我>年代pan>
证明。我>年代pan>为<年代vg height="13.45" id="M89" style="vertical-align:-2.21957pt;width:56.950001px;" version="1.1" viewbox="0 0 56.950001 13.45" width="56.950001" xmlns="http://www.w3.org/2000/svg">
∈
(
0
,
1
)
,让<年代vg height="18.4625" id="M90" style="vertical-align:-3.8347pt;width:117.55px;" version="1.1" viewbox="0 0 117.55 18.4625" width="117.55" xmlns="http://www.w3.org/2000/svg">
∑
̃
(
)
=
∞
=
0
(
)
.请注意,<年代vg height="13.6125" id="M91" style="vertical-align:-2.34499pt;width:23.737499px;" version="1.1" viewbox="0 0 23.737499 13.6125" width="23.737499" xmlns="http://www.w3.org/2000/svg">
̃
(
)
定义明确,因为<年代vg height="14.7125" id="M92" style="vertical-align:-3.2316pt;width:136.8875px;" version="1.1" viewbox="0 0 136.8875 14.7125" width="136.8875" xmlns="http://www.w3.org/2000/svg">
(
)
=
(
=
0
)
<
1
为<年代vg height="12.3" id="M93" style="vertical-align:-1.29163pt;width:35.799999px;" version="1.1" viewbox="0 0 35.799999 12.3" width="35.799999" xmlns="http://www.w3.org/2000/svg">
≥
0
.自<年代vg height="20.525" id="M94" style="vertical-align:-5.05229pt;width:208.41251px;" version="1.1" viewbox="0 0 208.41251 20.525" width="208.41251" xmlns="http://www.w3.org/2000/svg">
(
2
)
=
2
2
−
2
=
(
−
1
)
−
1
/
2
,我们有<年代pan class="equation" id="eq10">
̃
(
)
=
∞
=
0
(
)
=
∞
=
0
⎛
⎜
⎜
⎝
⎞
⎟
⎟
⎠
2
2
−
2
2
=
∞
=
0
(
−
1
)
⎛
⎜
⎜
⎜
⎝
−
1
2
⎞
⎟
⎟
⎟
⎠
2
=
∞
=
0
⎛
⎜
⎜
⎜
⎝
−
1
2
⎞
⎟
⎟
⎟
⎠
−
2
=
1
−
2
−
1
/
2
.
(
2
.
7
)
注意,使用命题的符号<一个href="#prop2.4">2.4一个>,<年代vg height="13.6125" id="M96" style="vertical-align:-2.34499pt;width:70.3125px;" version="1.1" viewbox="0 0 70.3125 13.6125" width="70.3125" xmlns="http://www.w3.org/2000/svg">
̃
(
)
=
̂
(
)
如果<年代vg height="13.85" id="M97" style="vertical-align:-0.13794pt;width:45.400002px;" version="1.1" viewbox="0 0 45.400002 13.85" width="45.400002" xmlns="http://www.w3.org/2000/svg">
=
−
.因此,<年代vg height="16.9" id="M98" style="vertical-align:-2.34499pt;width:153.875px;" version="1.1" viewbox="0 0 153.875 16.9" width="153.875" xmlns="http://www.w3.org/2000/svg">
(
)
=
̃
2
(
)
=
(
1
−
2
)
−
1
而<年代vg height="16.9" id="M99" style="vertical-align:-2.34499pt;width:152.2px;" version="1.1" viewbox="0 0 152.2 16.9" width="152.2" xmlns="http://www.w3.org/2000/svg">
̃
(
)
=
̃
4
(
)
=
(
1
−
2
)
−
2
.因此命题的主张(a)和(b)来自命题<一个href="#prop2.4">2.4一个>分别应用<年代vg height="10.8625" id="M100" style="vertical-align:-0.13794pt;width:35.512501px;" version="1.1" viewbox="0 0 35.512501 10.8625" width="35.512501" xmlns="http://www.w3.org/2000/svg">
=
1
,<年代vg height="10.6875" id="M101" style="vertical-align:-0.0pt;width:38.387501px;" version="1.1" viewbox="0 0 38.387501 10.6875" width="38.387501" xmlns="http://www.w3.org/2000/svg">
=
1
为<年代vg height="9.6750002" id="M102" style="vertical-align:-2.29482pt;width:9.6374998px;" version="1.1" viewbox="0 0 9.6374998 9.6750002" width="9.6374998" xmlns="http://www.w3.org/2000/svg">
和<年代vg height="10.8625" id="M103" style="vertical-align:-0.13794pt;width:35.512501px;" version="1.1" viewbox="0 0 35.512501 10.8625" width="35.512501" xmlns="http://www.w3.org/2000/svg">
=
2
,<年代vg height="10.6875" id="M104" style="vertical-align:-0.0pt;width:38.387501px;" version="1.1" viewbox="0 0 38.387501 10.6875" width="38.387501" xmlns="http://www.w3.org/2000/svg">
=
1
为<年代vg height="7.2375002" id="M105" style="vertical-align:-0.11285pt;width:7.9749999px;" version="1.1" viewbox="0 0 7.9749999 7.2375002" width="7.9749999" xmlns="http://www.w3.org/2000/svg">
.年代pan>
我们需要的最后一个技术引理是下面的声明。
引理2.6。年代pan>为整数<年代vg height="14.75" id="M106" style="vertical-align:-3.25793pt;width:129.3125px;" version="1.1" viewbox="0 0 129.3125 14.75" width="129.3125" xmlns="http://www.w3.org/2000/svg">
0
<
1
<
2
<
3.
<
4
定义我><年代pan class="equation" id="eq11">
1
,
2
,
3.
∶
=
(
)
3.
+
1
−
(
)
3.
2
(
)
2
+
1
−
(
)
2
(
)
1
+
1
−
(
)
1
,
1
,
2
,
3.
,
4
∶
=
(
)
4
+
1
−
(
)
4
(
)
3.
+
1
−
(
)
3.
(
)
2
+
1
−
(
)
2
(
)
1
+
1
−
(
)
我
1
.
(
2
.
8
)
然后是一个常数<年代vg height="11.0625" id="M108" style="vertical-align:-0.30096pt;width:37.8125px;" version="1.1" viewbox="0 0 37.8125 11.0625" width="37.8125" xmlns="http://www.w3.org/2000/svg">
>
0
这样我><年代pan class="equation" id="eq12">
1
≤
1
<
2
<
3.
≤
−
1
,
2
,
3.
|
|
|
|
≤
−
2
,
1
≤
1
<
2
<
3.
<
4
≤
−
1
,
2
,
3.
,
4
|
|
|
|
≤
−
2
.
(
2
.
9
)
证明。我>年代pan>使用命题<一个href="#prop2.3">2.3.一个>马尔可夫性质,以及<年代vg height="14.0125" id="M110" style="vertical-align:-0.1254pt;width:25.4625px;" version="1.1" viewbox="0 0 25.4625 14.0125" width="25.4625" xmlns="http://www.w3.org/2000/svg">
(
)
离零的距离与简单对称随机游走的短途运动相同<年代vg height="10.725" id="M111" style="vertical-align:-0.1254pt;width:11.375px;" version="1.1" viewbox="0 0 11.375 10.725" width="11.375" xmlns="http://www.w3.org/2000/svg">
,我们获得<年代pan class="equation" id="eq13">
1
,
2
,
3.
=
(
)
3.
+
1
−
(
)
3.
2
(
)
2
+
1
−
(
)
2
(
)
1
+
1
−
(
)
1
{
1
(
)
=
0
}
{
2
(
)
=
0
}
=
1
=
0
⋅
(
2
−
1
)
⋅
2
=
0
∣
1
=
0
⋅
(
2
−
1
)
=
(
2
−
1
)
2
1
2
−
1
.
(
2
.
1
0
)
因此,<年代pan class="equation" id="eq14">
1
≤
1
<
2
<
3.
<
≤
−
1
,
2
,
3.
≤
[
−
]
3.
=
0
3.
−
1
2
=
0
2
−
1
1
=
0
2
−
1
1
.
(
2
.
1
1
)
使用命题<一个href="#prop2.5">2.5一个>,我们获得<年代pan class="equation" id="eq15">
[
−
]
3.
=
0
3.
−
1
2
=
0
2
−
1
1
=
0
2
−
1
1
=
[
−
]
3.
=
0
3.
−
1
2
=
0
∗
2
≤
[
−
]
3.
=
0
[
−
]
2
=
0
∗
2
≤
1
|
|
|
|
−
2
,
(
2
.
1
2
)
为一个常数<年代vg height="14.6" id="M115" style="vertical-align:-3.13504pt;width:43.912498px;" version="1.1" viewbox="0 0 43.912498 14.6" width="43.912498" xmlns="http://www.w3.org/2000/svg">
1
>
0
和任何<年代vg height="13.4875" id="M116" style="vertical-align:-2.34499pt;width:51.487499px;" version="1.1" viewbox="0 0 51.487499 13.4875" width="51.487499" xmlns="http://www.w3.org/2000/svg">
,
∈
ℕ
. 同样的,<年代pan class="equation" id="eq16">
1
,
2
,
3.
,
4
=
(
2
−
1
)
4
⋅
1
⋅
=
0
3.
=
1
+
1
=
0
∣
=
0
=
(
2
−
1
)
4
1
2
−
1
3.
−
2
4
−
3.
.
(
2
.
1
3.
)
因此,再次使用命题<一个href="#prop2.5">2.5一个>,<年代pan class="equation" id="eq17">
0
≤
1
<
2
<
3.
<
4
1
,
2
,
3.
,
4
≤
[
−
]
4
=
0
∗
∗
∗
4
≤
2
|
|
|
|
−
2
,
(
2
.
1
4
)
为一个常数<年代vg height="14.6" id="M119" style="vertical-align:-3.13504pt;width:43.912498px;" version="1.1" viewbox="0 0 43.912498 14.6" width="43.912498" xmlns="http://www.w3.org/2000/svg">
2
>
0
和任何<年代vg height="13.4875" id="M120" style="vertical-align:-2.34499pt;width:51.487499px;" version="1.1" viewbox="0 0 51.487499 13.4875" width="51.487499" xmlns="http://www.w3.org/2000/svg">
,
∈
ℕ
. 为了总结引理的证明,集合<年代vg height="14.6625" id="M121" style="vertical-align:-3.13504pt;width:124.7875px;" version="1.1" viewbox="0 0 124.7875 14.6625" width="124.7875" xmlns="http://www.w3.org/2000/svg">
∶
=
米
一个
x
{
1
,
2
}
.年代pan>
我们现在可以完成对我们主要结果的证明了。
完成定理证明<一个href="#thm1.1">1.1一个>我>年代pan> 首先考虑的情况<年代vg height="13.6125" id="M122" style="vertical-align:-2.34499pt;width:108.8375px;" version="1.1" viewbox="0 0 108.8375 13.6125" width="108.8375" xmlns="http://www.w3.org/2000/svg">
=
/
<
/
=
是网格点。然后<年代pan class="equation" id="eq18">
|
|
|
|
|
[
]
(
)
√
−
[
]
(
)
√
|
|
|
|
|
4
=
1
2
|
|
(
)
−
(
)
|
|
4
=
1
2
|
|
|
|
|
−
1
=
(
)
+
1
−
(
)
|
|
|
|
|
4
=
1
2
−
1
=
(
)
+
1
−
(
)
4
+
1
2
1
<
2
≤
−
(
)
1
+
1
−
(
)
1
2
(
)
2
+
1
−
(
)
2
2
+
1
2
1
<
2
<
3.
≤
−
(
)
3.
+
1
−
(
)
3.
2
(
)
2
+
1
−
(
)
2
(
)
1
+
1
−
(
)
1
+
1
2
1
<
2
<
3.
<
4
≤
−
4
=
1
(
)
+
1
−
(
)
≤
1
2
−
1
=
1
1
+
2
⎛
⎜
⎜
⎝
2
⎞
⎟
⎟
⎠
⎛
⎜
⎜
⎝
2
⎞
⎟
⎟
⎠
+
1
−
−
2
1
|
|
|
|
−
2
+
1
2
2
|
|
|
|
−
2
≤
3.
|
−
|
2
,
(
2
.
1
5
)
对于一个足够大的常数<年代vg height="14.75" id="M124" style="vertical-align:-3.25793pt;width:43.912498px;" version="1.1" viewbox="0 0 43.912498 14.75" width="43.912498" xmlns="http://www.w3.org/2000/svg">
3.
>
0
. 总结定理的证明<一个href="#thm1.1">1.1一个>,对于非格栅点仍需观察<年代vg height="7.1875" id="M125" style="vertical-align:-0.13794pt;width:7px;" version="1.1" viewbox="0 0 7 7.1875" width="7" xmlns="http://www.w3.org/2000/svg">
和<年代vg height="9.125" id="M126" style="vertical-align:-0.11285pt;width:5.0124998px;" version="1.1" viewbox="0 0 5.0124998 9.125" width="5.0124998" xmlns="http://www.w3.org/2000/svg">
我们可以使用邻近网格点的近似。事实上,在[<一个href="#B9">9一个>常规的随机遍历逐字逐句地进行。年代pan>
致谢 作者要感谢Edward C. Waymire教授对这个问题的建议和有帮助的评论。他还想感谢Alexander Roitershtein教授提供的有益建议和纠正。
版权 版权所有©2012 Youngsoo Seol。这是一篇发布在<一个rel="l我cense" href="http://creativecommons.org/licenses/by/3.0/">知识共享署名许可协议一个>,允许在任何媒介上不受限制地使用、传播和复制,但必须正确引用原作。