2。预赛两个概率生成函数的差异属于下面的类。让<我nl我ne- - - - - -formula>
F米米l:米我>米米l:mrow>
表示所有功能的集合<我nl我ne- - - - - -formula>
f米米l:米我><米米l:mo>
:米米l:米o><米米l:米o stretchy="false">
(米米l:米o><米米l:米n>
0米米l:米n><米米l:米o>
,米米l:米o><米米l:米i>
1米米l:米n><米米l:米o stretchy="false">
]米米l:米o><米米l:米o>
→米米l:米o><米米l:米i mathvariant="double-struck">
R米米l:米我>米米l:math>
这样
(1)米米l:米text>米ml:mtd>
f米米l:米我><米米l:mfenced separators="|">
z米米l:米我>米米l:mrow>
=米米l:米o><米米l:米row>
∑米米l:米o>米米l:mstyle>
k米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:mrow>
∞米米l:米我>米米l:mrow>
一个米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
z米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
,米米l:米o><米米l:米i class="cond">
∑米米l:米o>米米l:mstyle>
k米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:mrow>
∞米米l:米我>米米l:mrow>
一个米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米o>
,米米l:米o><米米l:米o>
f米米l:米我><米米l:mfenced separators="|">
1米米l:米n>米米l:mrow>
=米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n><米米l:米o>
。米米l:米o>米米l:mtd>
另一方面,每一个<我nl我ne- - - - - -formula>
f米米l:米我><米米l:mo>
∈米米l:米o><米米l:米i mathvariant="script">
F米米l:米我>米米l:math>
可以获得不同的两个概率生成函数,即<我nl我ne- - - - - -formula>
f米米l:米我><米米l:mo stretchy="false">
(米米l:米o><米米l:米i>
z米米l:米我><米米l:mo stretchy="false">
)米米l:米o><米米l:米o>
=米米l:米o><米米l:米年代ub>
g米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
(米米l:米o><米米l:米i>
z米米l:米我><米米l:mo stretchy="false">
)米米l:米o><米米l:米o>
- - - - - -米米l:米o><米米l:米年代ub>
g米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
(米米l:米o><米米l:米i>
z米米l:米我><米米l:mo stretchy="false">
)米米l:米o>米米l:math>
,在那里<我nl我ne- - - - - -formula>
g米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
和<我nl我ne- - - - - -formula>
g米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
可以用以下方式创建。让<我nl我ne- - - - - -formula>
0米米l:米n><米米l:米o>
≤米米l:米o><米米l:米年代ub>
b米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n><米米l:米o>
- - - - - -米米l:米o><米米l:米o>
|米米l:米o><米米l:米年代ub>
一个米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
|米米l:米o><米米l:米o>
,米米l:米o><米米l:米o>
k米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
0 1米米l:米n><米米l:米o>
,米米l:米o><米米l:米o>
…米米l:米o>米米l:math>
(注意,<我nl我ne- - - - - -formula>
|米米l:米o><米米l:米年代ub>
一个米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
|米米l:米o><米米l:米o>
≤米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:math>
为<我nl我ne- - - - - -formula>
f米米l:米我><米米l:mo>
∈米米l:米o><米米l:米i mathvariant="script">
F米米l:米我>米米l:math>
),这样
(2)米米l:米text>米ml:mtd>
∑米米l:米o>米米l:mstyle>
k米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:mrow>
∞米米l:米我>米米l:mrow>
b米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
=米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n><米米l:米o>
- - - - - -米米l:米o><米米l:米frac>
1米米l:米n>米米l:mrow>
2米米l:米n>米米l:mrow>
∑米米l:米o>米米l:mstyle>
k米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:mrow>
∞米米l:米我>米米l:mrow>
一个米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
=米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n><米米l:米o>
- - - - - -米米l:米o><米米l:米row>
∑米米l:米o>米米l:mstyle>
k米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:mrow>
∞米米l:米我>米米l:mrow>
一个米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
+米米l:米o>米米l:mrow>
=米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n><米米l:米o>
- - - - - -米米l:米o><米米l:米row>
∑米米l:米o>米米l:mstyle>
k米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:mrow>
∞米米l:米我>米米l:mrow>
一个米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
- - - - - -米米l:米o>米米l:mrow>
,米米l:米o>米米l:mtd>
在哪里<我nl我ne- - - - - -formula>
x米米l:米我>米米l:mrow>
+米米l:米o>米米l:mrow>
=米米l:米o><米米l:米i mathvariant="normal">
米米米l:米我><米米l:mi mathvariant="normal">
一个米米l:米我><米米l:mi mathvariant="normal">
x米米l:米我><米米l:mo stretchy="false">
{米米l:米o><米米l:米i>
x米米l:米我><米米l:mo>
,米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n><米米l:米o stretchy="false">
}米米l:米o>米米l:math>
,<我nl我ne- - - - - -formula>
x米米l:米我>米米l:mrow>
- - - - - -米米l:米o>米米l:mrow>
=米米l:米o><米米l:米o stretchy="false">
(米米l:米o><米米l:米o>
- - - - - -米米l:米o><米米l:米年代ub>
一个米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
)米米l:米o>米米l:mrow>
+米米l:米o>米米l:mrow>
。然后设置
(3)米米l:米text>米ml:mtd>
g米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
z米米l:米我>米米l:mrow>
=米米l:米o><米米l:米row>
∑米米l:米o>米米l:mstyle>
k米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:mrow>
∞米米l:米我>米米l:mrow>
一个米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
+米米l:米o>米米l:mrow>
+米米l:米o><米米l:米年代ub>
b米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
z米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
,米米l:米o>米米l:mtd>
g米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
z米米l:米我>米米l:mrow>
=米米l:米o><米米l:米row>
∑米米l:米o>米米l:mstyle>
k米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:mrow>
∞米米l:米我>米米l:mrow>
一个米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
- - - - - -米米l:米o>米米l:mrow>
+米米l:米o><米米l:米年代ub>
b米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
z米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
。米米l:米o>米米l:mtd>
为<我nl我ne- - - - - -formula>
f米米l:米我><米米l:mo>
∈米米l:米o><米米l:米i mathvariant="script">
F米米l:米我>米米l:math>
让<我nl我ne- - - - - -formula>
Δ米米l:米我><米米l:mo>
=米米l:米o><米米l:米i>
Δ米米l:米我><米米l:mfenced separators="|">
f米米l:米我>米米l:mrow>
=米米l:米o><米米l:米年代ub>
米米米l:米我><米米l:mi mathvariant="normal">
一个米米l:米我><米米l:mi mathvariant="normal">
x米米l:米我>米米l:mrow>
0米米l:米n><米米l:米o>
≤米米l:米o><米米l:米i>
z米米l:米我><米米l:mo>
≤米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
f米米l:米我><米米l:mfenced separators="|">
z米米l:米我>米米l:mrow>
,<我nl我ne- - - - - -formula>
l米米l:米我><米米l:mo>
=米米l:米o><米米l:米row>
日志米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
(米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n><米米l:米o>
/米米l:米o><米米l:米i>
Δ米米l:米我><米米l:mo stretchy="false">
)米米l:米o>米米l:mrow>
。为<我nl我ne- - - - - -formula>
d米米l:米我><米米l:mo>
∈米米l:米o><米米l:米o stretchy="false">
(米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n><米米l:米o>
,米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n><米米l:米o stretchy="false">
]米米l:米o>米米l:math>
和<我nl我ne- - - - - -formula>
k米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
0 1米米l:米n><米米l:米o>
,米米l:米o><米米l:米o>
…米米l:米o>米米l:math>
定义
(4)米米l:米text>米ml:mtd>
φ米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
d米米l:米我>米米l:mrow>
=米米l:米o><米米l:米row>
吃晚饭米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
一个米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
:米米l:米o><米米l:米i>
f米米l:米我><米米l:mo>
∈米米l:米o><米米l:米i mathvariant="script">
F米米l:米我><米米l:mo>
,米米l:米o><米米l:米o>
Δ米米l:米我><米米l:mfenced separators="|">
f米米l:米我>米米l:mrow>
=米米l:米o><米米l:米i>
d米米l:米我>米米l:mrow>
。米米l:米o>米米l:mtd>
在[
2]表明,对于每一个<我nl我ne- - - - - -formula>
k米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
0 1米米l:米n><米米l:米o>
,米米l:米o><米米l:米o>
…米米l:米o>米米l:math>
,
(5)米米l:米text>米ml:mtd>
C米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
Δ米米l:米我><米米l:msup>
l米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米年代ub>
φ米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
Δ米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米i>
Δ米米l:米我><米米l:mrow>
经验值米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
2米米l:米n><米米l:米年代up>
k米米l:米我><米米l:mi>
l米米l:米我>米米l:mrow>
4米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
5米米l:米n>米米l:mrow>
拥有合适的正的常数<我nl我ne- - - - - -formula>
C米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
,如果<我nl我ne- - - - - -formula>
Δ米米l:米我>米米l:mrow>
是足够小。事实上,每个上估计是有效的<我nl我ne- - - - - -formula>
Δ米米l:米我><米米l:mo>
∈米米l:米o><米米l:米o stretchy="false">
(米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n><米米l:米o>
,米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n><米米l:米o stretchy="false">
]米米l:米o>米米l:math>
,但它就变得微不足道了<我nl我ne- - - - - -formula>
Δ米米l:米我><米米l:mo>
≥米米l:米o><米米l:米row>
经验值米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
(米米l:米o><米米l:米o>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
32米米l:米n><米米l:米年代up>
k米米l:米我>米米l:mrow>
4米米l:米n>米米l:mrow>
)米米l:米o>米米l:mrow>
通过初等微积分。尽管在上界和下界的乘数<我nl我ne- - - - - -formula>
Δ米米l:米我>米米l:mrow>
是慢变<我nl我ne- - - - - -formula>
Δ米米l:米我><米米l:mo>
→米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:math>
,他们不是相同的数量级。
gydF4y2B一个很容易看到<我nl我ne- - - - - -formula>
∑米米l:米o><米米l:米row>
k米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:mrow>
∞米米l:米我>米米l:mrow>
|米米l:米o><米米l:米年代ub>
一个米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
|米米l:米o>米米l:math>
无法估计的重要方式,因为任意的<我nl我ne- - - - - -formula>
Δ米米l:米我><米米l:mo>
∈米米l:米o><米米l:米o stretchy="false">
(米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n><米米l:米o>
,米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n><米米l:米o stretchy="false">
]米米l:米o>米米l:math>
存在一个函数<我nl我ne- - - - - -formula>
f米米l:米我><米米l:mo>
∈米米l:米o><米米l:米i mathvariant="script">
F米米l:米我>米米l:math>
,这样<我nl我ne- - - - - -formula>
Δ米米l:米我><米米l:mo stretchy="false">
(米米l:米o><米米l:米i>
f米米l:米我><米米l:mo stretchy="false">
)米米l:米o><米米l:米o>
=米米l:米o><米米l:米i>
Δ米米l:米我>米米l:math>
和<我nl我ne- - - - - -formula>
∑米米l:米o><米米l:米row>
k米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:mrow>
∞米米l:米我>米米l:mrow>
|米米l:米o><米米l:米年代ub>
一个米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
|米米l:米o><米米l:米o>
=米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n>米米l:math>
,最大。事实上,让<我nl我ne- - - - - -formula>
n米米l:米我><米米l:mo>
>米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n><米米l:米o>
/米米l:米o><米米l:米i>
Δ米米l:米我>米米l:math>
和
(6)米米l:米text>米ml:mtd>
f米米l:米我><米米l:mfenced separators="|">
z米米l:米我>米米l:mrow>
=米米l:米o><米米l:米i>
Δ米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米i>
Δ米米l:米我><米米l:mi>
z米米l:米我><米米l:mo>
+米米l:米o><米米l:米fenced separators="|">
1米米l:米n><米米l:米o>
- - - - - -米米l:米o><米米l:米i>
Δ米米l:米我>米米l:mrow>
z米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米fenced separators="|">
1米米l:米n><米米l:米o>
- - - - - -米米l:米o><米米l:米i>
Δ米米l:米我>米米l:mrow>
z米米l:米我>米米l:mrow>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
=米米l:米o><米米l:米i>
Δ米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米i>
Δ米米l:米我><米米l:mi>
z米米l:米我><米米l:mo>
+米米l:米o><米米l:米i>
z米米l:米我><米米l:mfenced separators="|">
1米米l:米n><米米l:米o>
- - - - - -米米l:米o><米米l:米i>
Δ米米l:米我>米米l:mrow>
z米米l:米我>米米l:mrow>
n米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代up>
z米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
。米米l:米o>米米l:mtd>
然后<我nl我ne- - - - - -formula>
0米米l:米n><米米l:米o>
≤米米l:米o><米米l:米i>
f米米l:米我><米米l:mo stretchy="false">
(米米l:米o><米米l:米i>
z米米l:米我><米米l:mo stretchy="false">
)米米l:米o><米米l:米o>
≤米米l:米o><米米l:米i>
Δ米米l:米我>米米l:math>
为<我nl我ne- - - - - -formula>
z米米l:米我><米米l:mo>
∈米米l:米o><米米l:米o stretchy="false">
(米米l:米o><米米l:米n>
0米米l:米n><米米l:米o>
,米米l:米o><米米l:米i>
1米米l:米n><米米l:米o stretchy="false">
]米米l:米o>米米l:math>
,因为
(7)米米l:米text>米ml:mtd>
z米米l:米我>米米l:mrow>
n米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代up>
z米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米年代up>
n米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
n米米l:米我>米米l:mrow>
n米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
1米米l:米n>米米l:mrow>
n米米l:米我>米米l:mrow>
<米米l:米o><米米l:米frac>
1米米l:米n>米米l:mrow>
n米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
<米米l:米o><米米l:米frac>
Δ米米l:米我>米米l:mrow>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o><米米l:米i>
Δ米米l:米我>米米l:mrow>
的选择<我nl我ne- - - - - -formula>
n米米l:米我>米米l:mrow>
,只要<我nl我ne- - - - - -formula>
Δ米米l:米我><米米l:mo>
<米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:math>
。为<我nl我ne- - - - - -formula>
Δ米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:math>
估计显然成立。因此<我nl我ne- - - - - -formula>
Δ米米l:米我><米米l:mfenced separators="|">
f米米l:米我>米米l:mrow>
=米米l:米o><米米l:米i>
f米米l:米我><米米l:mfenced separators="|">
0米米l:米n>米米l:mrow>
=米米l:米o><米米l:米i>
Δ米米l:米我>米米l:math>
。
gydF4y2B一个然而,如果<我nl我ne- - - - - -formula>
f米米l:米我><米米l:mo>
=米米l:米o><米米l:米年代ub>
g米米l:米我>米米l:mrow>
p米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ub>
g米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
,的一个分布,说<我nl我ne- - - - - -formula>
p米米l:米我>米米l:mrow>
,是固定的(如在泊松近似的情况下),然后可行函数的类更小;这样的界限<我nl我ne- - - - - -formula>
|米米l:米o><米米l:米年代ub>
一个米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
|米米l:米o>米米l:math>
可能会降低,甚至总变异距离可以估计不同寻常。可以找到以下结果(
2]。
gydF4y2B一个让<我nl我ne- - - - - -formula>
p米米l:米我>米米l:mrow>
是一个固定的离散概率分布等<我nl我ne- - - - - -formula>
p米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
>米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:math>
对于每一个<我nl我ne- - - - - -formula>
k米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
0 1米米l:米n><米米l:米o>
,米米l:米o><米米l:米o>
…米米l:米o>米米l:math>
,
(8)米米l:米text>米ml:mtd>
lim米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
吃晚饭米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
→米米l:米o><米米l:米i>
∞米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
1米米l:米n>米米l:mrow>
k米米l:米我>米米l:mrow>
日志米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
1米米l:米n>米米l:mrow>
p米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
<米米l:米o><米米l:米i>
∞米米l:米我><米米l:mo>
。米米l:米o>米米l:mtd>
让<我nl我ne- - - - - -formula>
k米米l:米我>米米l:mrow>
是一个正整数<我nl我ne- - - - - -formula>
C米米l:米我>米米l:mrow>
一个足够小的正的常数。然后为每一个足够小的积极<我nl我ne- - - - - -formula>
Δ米米l:米我>米米l:mrow>
存在一个离散型概率分布<我nl我ne- - - - - -formula>
问米米l:米我>米米l:mrow>
,这样<我nl我ne- - - - - -formula>
Δ米米l:米我><米米l:mfenced separators="|">
g米米l:米我>米米l:mrow>
p米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ub>
g米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
=米米l:米o><米米l:米i>
Δ米米l:米我>米米l:math>
,
(9)米米l:米text>米ml:mtd>
p米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ub>
问米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
>米米l:米o><米米l:米i>
C米米l:米我><米米l:mi>
Δ米米l:米我><米米l:msup>
l米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
。米米l:米o>米米l:mtd>
如果尾巴<我nl我ne- - - - - -formula>
p米米l:米我>米米l:mrow>
比指数轻,较低的估计减少。
gydF4y2B一个而不是(
8),假设
(10)米米l:米text>米ml:mtd>
lim米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
吃晚饭米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
→米米l:米o><米米l:米i>
∞米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
1米米l:米n>米米l:mrow>
h米米l:米我><米米l:mfenced separators="|">
k米米l:米我>米米l:mrow>
日志米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
1米米l:米n>米米l:mrow>
p米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
是积极的和有限的,在哪里<我nl我ne- - - - - -formula>
h米米l:米我>米米l:mrow>
是一个积极的、连续的和增加功能,定期不同在无穷远处,然后呢<我nl我ne- - - - - -formula>
l米米l:米我><米米l:mi mathvariant="normal">
我米米l:米我><米米l:mi mathvariant="normal">
米米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
→米米l:米o><米米l:米i>
∞米米l:米我>米米l:mrow>
h米米l:米我><米米l:mo stretchy="false">
(米米l:米o><米米l:米i>
k米米l:米我><米米l:mo stretchy="false">
)米米l:米o><米米l:米o>
/米米l:米o><米米l:米i>
k米米l:米我><米米l:mo>
=米米l:米o><米米l:米i>
∞米米l:米我>米米l:math>
。让<我nl我ne- - - - - -formula>
k米米l:米我>米米l:mrow>
是一个正整数<我nl我ne- - - - - -formula>
C米米l:米我>米米l:mrow>
一个足够小的正的常数。然后为每一个足够小的积极<我nl我ne- - - - - -formula>
Δ米米l:米我>米米l:mrow>
存在一个离散型概率分布<我nl我ne- - - - - -formula>
问米米l:米我>米米l:mrow>
,这样<我nl我ne- - - - - -formula>
Δ米米l:米我><米米l:mo stretchy="false">
(米米l:米o><米米l:米年代ub>
g米米l:米我>米米l:mrow>
p米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ub>
g米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
)米米l:米o><米米l:米o>
=米米l:米o><米米l:米i>
Δ米米l:米我>米米l:math>
,
(11)米米l:米text>米ml:mtd>
p米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ub>
问米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
>米米l:米o><米米l:米i>
C米米l:米我><米米l:mi>
Δ米米l:米我><米米l:msup>
h米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
l米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
。米米l:米o>米米l:mtd>
特别是,当<我nl我ne- - - - - -formula>
p米米l:米我>米米l:mrow>
泊松分布的参数<我nl我ne- - - - - -formula>
λ米米l:米我>米米l:mrow>
此前,为每一个足够小正的<我nl我ne- - - - - -formula>
Δ米米l:米我>米米l:mrow>
存在一个离散型概率分布<我nl我ne- - - - - -formula>
问米米l:米我>米米l:mrow>
,这样<我nl我ne- - - - - -formula>
Δ米米l:米我><米米l:mfenced separators="|">
g米米l:米我>米米l:mrow>
p米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ub>
g米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
=米米l:米o><米米l:米i>
Δ米米l:米我>米米l:math>
,
(12)米米l:米text>米ml:mtd>
p米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ub>
问米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
>米米l:米o><米米l:米年代ub>
C米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
Δ米米l:米我><米米l:msup>
l米米l:米我>米米l:mrow>
日志米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
l米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
。米米l:米o>米米l:mtd>
(常数<我nl我ne- - - - - -formula>
C米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
不依赖于<我nl我ne- - - - - -formula>
λ米米l:米我>米米l:mrow>
和<我nl我ne- - - - - -formula>
问米米l:米我>米米l:mrow>
。的参数<我nl我ne- - - - - -formula>
λ米米l:米我>米米l:mrow>
只出现在边界隐含在“足够小。”)
gydF4y2B一个让我们转向全变差的情况下。在[
2)每一个固定<我nl我ne- - - - - -formula>
p米米l:米我>米米l:mrow>
一个递增函数<我nl我ne- - - - - -formula>
ψ米米l:米我><米米l:mo>
:米米l:米o><米米l:米o stretchy="false">
(米米l:米o><米米l:米n>
0米米l:米n><米米l:米o>
,米米l:米o><米米l:米i>
1米米l:米n><米米l:米o stretchy="false">
]米米l:米o><米米l:米o>
→米米l:米o><米米l:米i mathvariant="double-struck">
R米米l:米我>米米l:math>
以这样的方式构造了吗<我nl我ne- - - - - -formula>
l米米l:米我><米米l:mi mathvariant="normal">
我米米l:米我><米米l:mi mathvariant="normal">
米米米l:米我>米米l:mrow>
t米米l:米我><米米l:mo>
→米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:mrow>
ψ米米l:米我><米米l:mo stretchy="false">
(米米l:米o><米米l:米i>
t米米l:米我><米米l:mo stretchy="false">
)米米l:米o><米米l:米o>
=米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:math>
和<我nl我ne- - - - - -formula>
p米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米i mathvariant="bold">
问米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米i>
ψ米米l:米我><米米l:mfenced separators="|">
Δ米米l:米我>米米l:mrow>
对于任意的<我nl我ne- - - - - -formula>
问米米l:米我>米米l:mrow>
。然而,除了尾巴的情况<我nl我ne- - - - - -formula>
p米米l:米我>米米l:mrow>
非常轻,功能<我nl我ne- - - - - -formula>
ψ米米l:米我>米米l:mrow>
被证明是慢变<我nl我ne- - - - - -formula>
0米米l:米n>米米l:mrow>
,就是有点总比没有好。例如,对于Poissonian<我nl我ne- - - - - -formula>
p米米l:米我>米米l:mrow>
,取得了以下的不平等:
(13)米米l:米text>米ml:mtd>
p米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米i mathvariant="bold">
问米米l:米我>米米l:mrow>
=米米l:米o><米米l:米i>
o米米l:米我><米米l:mfenced separators="|">
经验值米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
- - - - - -米米l:米o><米米l:米年代up>
l米米l:米我>米米l:mrow>
1米米l:米n><米米l:米o>
/米米l:米o><米米l:米n mathvariant="normal">
4米米l:米n>米米l:mrow>
,米米l:米o>米米l:mtd>
作为<我nl我ne- - - - - -formula>
问米米l:米我>米米l:mrow>
不同的方式<我nl我ne- - - - - -formula>
Δ米米l:米我><米米l:mo>
→米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:math>
。
gydF4y2B一个自<我nl我ne- - - - - -formula>
p米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米i mathvariant="bold">
问米米l:米我>米米l:mrow>
≥米米l:米o><米米l:米o>
|米米l:米o><米米l:米年代ub>
p米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ub>
问米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
|米米l:米o>米米l:math>
,每个低估计获得固定的<我nl我ne- - - - - -formula>
k米米l:米我>米米l:mrow>
要做全变差。然而,如果<我nl我ne- - - - - -formula>
p米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
不降低速度比指数,即条件(
8)是满足,有一个较低的估计形式
(14)米米l:米text>米ml:mtd>
p米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米i mathvariant="bold">
问米米l:米我>米米l:mrow>
≥米米l:米o><米米l:米年代up>
Δ米米l:米我>米米l:mrow>
C米米l:米我>米米l:mrow>
用一个指数<我nl我ne- - - - - -formula>
C米米l:米我><米米l:mo>
∈米米l:米o><米米l:米fenced separators="|">
0米米l:米n><米米l:米o>
,米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
根据<我nl我ne- - - - - -formula>
p米米l:米我>米米l:mrow>
。
gydF4y2B一个的尾巴<我nl我ne- - - - - -formula>
p米米l:米我>米米l:mrow>
比指数轻,即条件(
10),然后为每一个足够小的积极<我nl我ne- - - - - -formula>
Δ米米l:米我>米米l:mrow>
以下低估计是有效的。
(15)米米l:米text>米ml:mtd>
p米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米i mathvariant="bold">
问米米l:米我>米米l:mrow>
≥米米l:米o><米米l:米i>
Δ米米l:米我><米米l:mrow>
经验值米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
C米米l:米我><米米l:msup>
h米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
l米米l:米我>米米l:mrow>
,米米l:米o>米米l:mtd>
与一个常数<我nl我ne- - - - - -formula>
C米米l:米我>米米l:mrow>
根据<我nl我ne- - - - - -formula>
p米米l:米我>米米l:mrow>
。特别的情况<我nl我ne- - - - - -formula>
p米米l:米我>米米l:mrow>
是泊松,
(16)米米l:米text>米ml:mtd>
p米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米i mathvariant="bold">
问米米l:米我>米米l:mrow>
>米米l:米o><米米l:米i>
Δ米米l:米我><米米l:mrow>
经验值米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
1.76米米l:米n><米米l:米frac>
l米米l:米我>米米l:mrow>
日志米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
l米米l:米我>米米l:mrow>
是证明。
年代ec><年代ec id="sec3">
3所示。估计不同的< inline-formula > < mml:数学xmlns: mml = " http://www.w3.org/1998/Math/MathML " id = "八" > < mml: mrow > < mml: mi > k < / mml: mi > < / mml: mrow > < / mml:数学> < / inline-formula >条款以下重要的结果可以追溯到马尔柯夫,1892
4),处理的极值性质的切比雪夫多项式的时间间隔<我nl我ne- - - - - -formula>
(米米l:米o><米米l:米o>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n><米米l:米o>
,米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n><米米l:米o stretchy="false">
]米米l:米o>米米l:math>
;看到第二章的
5]。证明可以在找到
6]或[
7]。
<年代t一个te米ent我d="thm3.1">
定理1。让<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
是一个多项式的程度小于或等于<我nl我ne- - - - - -formula>
n米米l:米我>米米l:mrow>
,<我nl我ne- - - - - -formula>
0米米l:米n><米米l:米o>
≤米米l:米o><米米l:米i>
k米米l:米我><米米l:mo>
≤米米l:米o><米米l:米i>
n米米l:米我>米米l:math>
。然后
(17)米米l:米text>米ml:mtd>
一个米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米frac>
2米米l:米n><米米l:米i>
n米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
!米米l:米o>米米l:mrow>
Δ米米l:米我><米米l:mo>
。米米l:米o>米米l:mtd>
使用这个结果一个上界可以被证明是没有任何限制<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
顺序相同的,左边的下界(
5)
<年代t一个te米ent我d="thm3.2">
定理2。让<我nl我ne- - - - - -formula>
0米米l:米n><米米l:米o>
≤米米l:米o><米米l:米i>
k米米l:米我><米米l:mo>
≤米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米i>
l米米l:米我>米米l:math>
。然后
(18)米米l:米text>米ml:mtd>
一个米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米frac>
e米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
!米米l:米o>米米l:mrow>
Δ米米l:米我><米米l:msup>
l米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米frac>
e米米l:米我>米米l:mrow>
3米米l:米n>米米l:mrow>
2米米l:米n>米米l:mrow>
Δ米米l:米我><米米l:msup>
l米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
。米米l:米o>米米l:mtd>
证明。第一个假设<我nl我ne- - - - - -formula>
Δ米米l:米我><米米l:mo>
≤米米l:米o><米米l:米年代up>
e米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
。让<我nl我ne- - - - - -formula>
c米米l:米我><米米l:mo>
=米米l:米o><米米l:米年代up>
e米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n>米米l:mrow>
和<我nl我ne- - - - - -formula>
n米米l:米我><米米l:mo>
=米米l:米o><米米l:米o stretchy="false">
⌊米米l:米o><米米l:米i>
l米米l:米我><米米l:mo>
/米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米o stretchy="false">
⌋米米l:米o>米米l:math>
。然后<我nl我ne- - - - - -formula>
n米米l:米我><米米l:mo>
≥米米l:米o><米米l:米i>
k米米l:米我>米米l:math>
,
(19)米米l:米text>米ml:mtd>
马克斯米米l:米我>米米l:mrow>
0米米l:米n><米米l:米o>
≤米米l:米o><米米l:米i>
y米米l:米我><米米l:mo>
≤米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
米米l:米o><米米l:米row>
∑米米l:米o>米米l:mstyle>
j米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:mrow>
n米米l:米我>米米l:mrow>
一个米米l:米我>米米l:mrow>
j米米l:米我>米米l:mrow>
c米米l:米我>米米l:mrow>
j米米l:米我>米米l:mrow>
y米米l:米我>米米l:mrow>
j米米l:米我>米米l:mrow>
=米米l:米o><米米l:米row>
马克斯米米l:米我>米米l:mrow>
0米米l:米n><米米l:米o>
≤米米l:米o><米米l:米i>
t米米l:米我><米米l:mo>
≤米米l:米o><米米l:米i>
c米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
∑米米l:米o>米米l:mstyle>
j米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:mrow>
n米米l:米我>米米l:mrow>
一个米米l:米我>米米l:mrow>
j米米l:米我>米米l:mrow>
t米米l:米我>米米l:mrow>
j米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米row>
马克斯米米l:米我>米米l:mrow>
0米米l:米n><米米l:米o>
≤米米l:米o><米米l:米i>
t米米l:米我><米米l:mo>
≤米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
米米l:米o><米米l:米row>
∑米米l:米o>米米l:mstyle>
j米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:mrow>
∞米米l:米我>米米l:mrow>
一个米米l:米我>米米l:mrow>
j米米l:米我>米米l:mrow>
t米米l:米我>米米l:mrow>
j米米l:米我>米米l:mrow>
+米米l:米o><米米l:米row>
马克斯米米l:米我>米米l:mrow>
0米米l:米n><米米l:米o>
≤米米l:米o><米米l:米i>
t米米l:米我><米米l:mo>
≤米米l:米o><米米l:米i>
c米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
∑米米l:米o>米米l:mstyle>
j米米l:米我><米米l:mo>
=米米l:米o><米米l:米i>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
∞米米l:米我>米米l:mrow>
一个米米l:米我>米米l:mrow>
j米米l:米我>米米l:mrow>
t米米l:米我>米米l:mrow>
j米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米i>
Δ米米l:米我><米米l:mo>
+米米l:米o><米米l:米row>
∑米米l:米o>米米l:mstyle>
j米米l:米我><米米l:mo>
=米米l:米o><米米l:米i>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
∞米米l:米我>米米l:mrow>
c米米l:米我>米米l:mrow>
j米米l:米我>米米l:mrow>
=米米l:米o><米米l:米i>
Δ米米l:米我><米米l:mo>
+米米l:米o><米米l:米frac>
1米米l:米n>米米l:mrow>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o><米米l:米i>
c米米l:米我>米米l:mrow>
e米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米fenced separators="|">
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
。米米l:米o>米米l:mtd>
在这里<我nl我ne- - - - - -formula>
e米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米o stretchy="false">
(米米l:米o><米米l:米i>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n><米米l:米o stretchy="false">
)米米l:米o>米米l:mrow>
<米米l:米o><米米l:米年代up>
e米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米i>
l米米l:米我>米米l:mrow>
=米米l:米o><米米l:米i>
Δ米米l:米我>米米l:math>
;因此小于右侧<我nl我ne- - - - - -formula>
e米米l:米我><米米l:mi>
Δ米米l:米我>米米l:math>
。由定理
1然后,我们有
(20)米米l:米text>米ml:mtd>
一个米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
c米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米frac>
2米米l:米n><米米l:米i>
n米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
!米米l:米o>米米l:mrow>
e米米l:米我><米米l:mi>
Δ米米l:米我><米米l:mo>
≤米米l:米o><米米l:米frac>
e米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
!米米l:米o>米米l:mrow>
Δ米米l:米我><米米l:msup>
l米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
,米米l:米o>米米l:mtd>
声称。
gydF4y2B一个如果<我nl我ne- - - - - -formula>
e米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
<米米l:米o><米米l:米i>
Δ米米l:米我><米米l:mo>
≤米米l:米o><米米l:米年代up>
e米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米i>
k米米l:米我><米米l:mo>
/米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n>米米l:mrow>
,然后是上界,大于<我nl我ne- - - - - -formula>
1米米l:米n>米米l:mrow>
是微不足道的。事实上,在间隔,<我nl我ne- - - - - -formula>
Δ米米l:米我><米米l:msup>
l米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
减少,因此上界达到其最小<我nl我ne- - - - - -formula>
Δ米米l:米我><米米l:mo>
=米米l:米o><米米l:米年代up>
e米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米i>
k米米l:米我><米米l:mo>
/米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n>米米l:mrow>
。那么它的值是
(21)米米l:米text>米ml:mtd>
e米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
!米米l:米o>米米l:mrow>
Δ米米l:米我><米米l:msup>
l米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i mathvariant="normal">
k米米l:米我>米米l:mrow>
=米米l:米o><米米l:米frac>
1米米l:米n>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
!米米l:米o>米米l:mrow>
k米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
e米米l:米我>米米l:mrow>
1米米l:米n><米米l:米o>
+米米l:米o><米米l:米n mathvariant="normal">
3米米l:米n><米米l:米i>
k米米l:米我><米米l:mo>
/米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n>米米l:mrow>
。米米l:米o>米米l:mtd>
这等于右侧<我nl我ne- - - - - -formula>
e米米l:米我>米米l:mrow>
为<我nl我ne- - - - - -formula>
k米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:math>
和<我nl我ne- - - - - -formula>
(米米l:米o><米米l:米row>
1米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
8米米l:米n>米米l:mrow>
)米米l:米o><米米l:米年代up>
e米米l:米我>米米l:mrow>
5米米l:米n><米米l:米o>
/米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n>米米l:mrow>
>米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:math>
为<我nl我ne- - - - - -formula>
k米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:math>
。走远<我nl我ne- - - - - -formula>
k米米l:米我>米米l:mrow>
来<我nl我ne- - - - - -formula>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:math>
,右边乘以
(22)米米l:米text>米ml:mtd>
1米米l:米n>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n>米米l:mrow>
·米米l:米o><米米l:米frac>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
2米米l:米n><米米l:米fenced separators="|">
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
k米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
·米米l:米o><米米l:米frac>
e米米l:米我>米米l:mrow>
3米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
2米米l:米n>米米l:mrow>
4米米l:米n>米米l:mrow>
>米米l:米o><米米l:米年代up>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
k米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
e米米l:米我>米米l:mrow>
3米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
2米米l:米n>米米l:mrow>
16米米l:米n>米米l:mrow>
>米米l:米o><米米l:米frac>
e米米l:米我>米米l:mrow>
3米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
2米米l:米n>米米l:mrow>
4米米l:米n>米米l:mrow>
>米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n><米米l:米o>
,米米l:米o>米米l:mtd>
我们使用这一事实在哪里<我nl我ne- - - - - -formula>
(米米l:米o><米米l:米row>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
k米米l:米我>米米l:mrow>
)米米l:米o>米米l:mrow>
k米米l:米我>米米l:mrow>
是增加的;因此它不小于<我nl我ne- - - - - -formula>
2米米l:米n>米米l:mrow>
。
gydF4y2B一个最后,它很容易看到<我nl我ne- - - - - -formula>
e米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
/米米l:米o><米米l:米fenced separators="|">
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
!米米l:米o>米米l:math>
是减少<我nl我ne- - - - - -formula>
k米米l:米我><米米l:mo>
≥米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:math>
,第二个不平等。
年代t一个te米ent>如果<我nl我ne- - - - - -formula>
p米米l:米我>米米l:mrow>
满足(
8),也就是说,<我nl我ne- - - - - -formula>
p米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
不能减少速度比指数,那么(
9)意味着估计定理
2锋利的数量级。
<年代t一个te米ent我d="thm3.3">
定理3。让<我nl我ne- - - - - -formula>
一个米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
=米米l:米o><米米l:米年代ub>
p米米l:米我>米米l:mrow>
我米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ub>
问米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
,在那里<我nl我ne- - - - - -formula>
p米米l:米我><米米l:mo>
=米米l:米o><米米l:米年代ub>
p米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
≥米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:mrow>
和<我nl我ne- - - - - -formula>
问米米l:米我><米米l:mo>
=米米l:米o><米米l:米年代ub>
问米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
≥米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:mrow>
离散概率分布。假设
(23)米米l:米text>米ml:mtd>
∑米米l:米o>米米l:mstyle>
k米米l:米我><米米l:mo>
=米米l:米o><米米l:米i>
n米米l:米我>米米l:mrow>
∞米米l:米我>米米l:mrow>
p米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米i>
F米米l:米我><米米l:mfenced separators="|">
n米米l:米我>米米l:mrow>
,米米l:米o>米米l:mtd>
在哪里<我nl我ne- - - - - -formula>
F米米l:米我>米米l:mrow>
是一个积极的、连续的和严格递减函数趋于零。然后
(24)米米l:米text>米ml:mtd>
p米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ub>
问米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米n mathvariant="normal">
3米米l:米n><米米l:米frac>
8米米l:米n><米米l:米i>
e米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
4米米l:米n>米米l:mrow>
k米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
!米米l:米o>米米l:mrow>
Δ米米l:米我><米米l:msup>
F米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
Δ米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米年代up>
2米米l:米n><米米l:米i>
e米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
2米米l:米n>米米l:mrow>
Δ米米l:米我><米米l:msup>
F米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
Δ米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
对于每一个<我nl我ne- - - - - -formula>
k米米l:米我><米米l:mo>
<米米l:米o><米米l:米年代up>
F米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
Δ米米l:米我>米米l:mrow>
。
年代t一个te米ent><年代tatement id="proof2">
证明。让<我nl我ne- - - - - -formula>
n米米l:米我><米米l:mo>
=米米l:米o><米米l:米o stretchy="false">
⌈米米l:米o><米米l:米年代up>
F米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
(米米l:米o><米米l:米i>
Δ米米l:米我><米米l:mo stretchy="false">
)米米l:米o><米米l:米o stretchy="false">
⌉米米l:米o>米米l:math>
,并介绍
(25)米米l:米text>米ml:mtd>
f米米l:米我><米米l:mfenced separators="|">
z米米l:米我>米米l:mrow>
=米米l:米o><米米l:米row>
∑米米l:米o>米米l:mstyle>
k米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:mrow>
∞米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ub>
p米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
z米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
,米米l:米o>米米l:mtd>
g米米l:米我><米米l:mfenced separators="|">
z米米l:米我>米米l:mrow>
=米米l:米o><米米l:米row>
∑米米l:米o>米米l:mstyle>
k米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:mrow>
∞米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
z米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米row>
∑米米l:米o>米米l:mstyle>
k米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:mrow>
n米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
问米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
z米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
,米米l:米o>米米l:mtd>
h米米l:米我><米米l:mfenced separators="|">
z米米l:米我>米米l:mrow>
=米米l:米o><米米l:米row>
∑米米l:米o>米米l:mstyle>
k米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:mrow>
∞米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
z米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
,米米l:米o>米米l:mtd>
0米米l:米n><米米l:米o>
≤米米l:米o><米米l:米i>
z米米l:米我><米米l:mo>
≤米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n><米米l:米o>
。米米l:米o>米米l:mtd>
然后
(26)米米l:米text>米ml:mtd>
f米米l:米我><米米l:mfenced separators="|">
z米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米i>
g米米l:米我><米米l:mfenced separators="|">
z米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米row>
∑米米l:米o>米米l:mstyle>
k米米l:米我><米米l:mo>
=米米l:米o><米米l:米i>
n米米l:米我>米米l:mrow>
∞米米l:米我>米米l:mrow>
p米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米i>
F米米l:米我><米米l:mfenced separators="|">
n米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米i>
Δ米米l:米我><米米l:mo>
。米米l:米o>米米l:mtd>
因此
(27)米米l:米text>米ml:mtd>
吃晚饭米米l:米我>米米l:mrow>
0米米l:米n><米米l:米o>
≤米米l:米o><米米l:米i>
z米米l:米我><米米l:mo>
≤米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
米米l:米o><米米l:米row>
g米米l:米我><米米l:mfenced separators="|">
z米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米i>
Δ米米l:米我><米米l:mo>
。米米l:米o>米米l:mtd>
让<我nl我ne- - - - - -formula>
c米米l:米我><米米l:mo>
=米米l:米o><米米l:米row>
2米米l:米n><米米l:米i>
e米米l:米我>米米l:mrow>
/米米l:米o><米米l:米row>
2米米l:米n><米米l:米i>
e米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
,<我nl我ne- - - - - -formula>
z米米l:米我>米米l:mrow>
我米米l:米我>米米l:mrow>
=米米l:米o><米米l:米fenced separators="|">
1米米l:米n><米米l:米o>
- - - - - -米米l:米o><米米l:米i>
c米米l:米我>米米l:mrow>
+米米l:米o><米米l:米i>
c米米l:米我><米米l:mfenced separators="|">
我米米l:米我>米米l:mrow>
/米米l:米o><米米l:米row>
n米米l:米我>米米l:mrow>
,米米l:米o><米米l:米o>
我米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n><米米l:米o>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米i>
n米米l:米我>米米l:math>
。让我们近似<我nl我ne- - - - - -formula>
g米米l:米我><米米l:mfenced separators="|">
z米米l:米我>米米l:mrow>
拉格朗日插值多项式<我nl我ne- - - - - -formula>
p米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
z米米l:米我>米米l:mrow>
在均匀网格<我nl我ne- - - - - -formula>
z米米l:米我>米米l:mrow>
我米米l:米我>米米l:mrow>
:米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n><米米l:米o>
≤米米l:米o><米米l:米i>
我米米l:米我><米米l:mo>
≤米米l:米o><米米l:米i>
n米米l:米我>米米l:mrow>
。也就是说,
(28)米米l:米text>米ml:mtd>
p米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
z米米l:米我>米米l:mrow>
=米米l:米o><米米l:米row>
∑米米l:米o>米米l:mstyle>
我米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:mrow>
n米米l:米我>米米l:mrow>
g米米l:米我><米米l:mfenced separators="|">
z米米l:米我>米米l:mrow>
我米米l:米我>米米l:mrow>
∏米米l:米o>米米l:mstyle>
j米米l:米我><米米l:mo>
≠米米l:米o><米米l:米i>
我米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
z米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米年代ub>
z米米l:米我>米米l:mrow>
j米米l:米我>米米l:mrow>
z米米l:米我>米米l:mrow>
我米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ub>
z米米l:米我>米米l:mrow>
j米米l:米我>米米l:mrow>
。米米l:米o>米米l:mtd>
然后<我nl我ne- - - - - -formula>
g米米l:米我><米米l:mfenced separators="|">
z米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ub>
p米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
z米米l:米我>米米l:mrow>
有<我nl我ne- - - - - -formula>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:math>
0的间隔<我nl我ne- - - - - -formula>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o><米米l:米i>
c米米l:米我><米米l:mo>
;米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
;因此,存在一个<我nl我ne- - - - - -formula>
ξ米米l:米我><米米l:mo>
∈米米l:米o><米米l:米o stretchy="false">
(米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n><米米l:米o>
- - - - - -米米l:米o><米米l:米i>
c米米l:米我><米米l:mo>
;米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n><米米l:米o stretchy="false">
]米米l:米o>米米l:math>
这样
(29)米米l:米text>米ml:mtd>
g米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
ξ米米l:米我>米米l:mrow>
=米米l:米o><米米l:米年代ubsup>
p米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
ξ米米l:米我>米米l:mrow>
=米米l:米o><米米l:米row>
∑米米l:米o>米米l:mstyle>
我米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:mrow>
n米米l:米我>米米l:mrow>
g米米l:米我><米米l:mfenced separators="|">
z米米l:米我>米米l:mrow>
我米米l:米我>米米l:mrow>
n米米l:米我>米米l:mtd>
我米米l:米我>米米l:mtd>
n米米l:米我>米米l:mrow>
c米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
n米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米i>
我米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米i>
Δ米米l:米我><米米l:msup>
2米米l:米n><米米l:米i>
n米米l:米我>米米l:mrow>
c米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
<米米l:米o><米米l:米i>
Δ米米l:米我><米米l:msup>
2米米l:米n><米米l:米i>
e米米l:米我>米米l:mrow>
c米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
n米米l:米我><米米l:mo>
!米米l:米o><米米l:米o>
=米米l:米o><米米l:米i>
Δ米米l:米我><米米l:msup>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o><米米l:米i>
c米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米i>
n米米l:米我>米米l:mrow>
n米米l:米我><米米l:mo>
!米米l:米o><米米l:米o>
。米米l:米o>米米l:mtd>
自<我nl我ne- - - - - -formula>
h米米l:米我>米米l:mrow>
(米米l:米o><米米l:米i>
n米米l:米我><米米l:mo stretchy="false">
)米米l:米o>米米l:mrow>
在间隔增加<我nl我ne- - - - - -formula>
(米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n><米米l:米o>
;米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n><米米l:米o stretchy="false">
]米米l:米o>米米l:math>
,它等于<我nl我ne- - - - - -formula>
g米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
我们有,<我nl我ne- - - - - -formula>
0米米l:米n><米米l:米o>
≤米米l:米o><米米l:米年代up>
h米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
z米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米i>
Δ米米l:米我><米米l:msup>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o><米米l:米i>
c米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米i>
n米米l:米我>米米l:mrow>
n米米l:米我><米米l:mo>
!米米l:米o>米米l:math>
对所有<我nl我ne- - - - - -formula>
z米米l:米我><米米l:mo>
∈米米l:米o><米米l:米o stretchy="false">
(米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n><米米l:米o>
;米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n><米米l:米o>
- - - - - -米米l:米o><米米l:米i>
c米米l:米我><米米l:mo stretchy="false">
]米米l:米o>米米l:math>
。此外,<我nl我ne- - - - - -formula>
h米米l:米我><米米l:mo stretchy="false">
(米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n><米米l:米o stretchy="false">
)米米l:米o><米米l:米o>
=米米l:米o><米米l:米年代up>
h米米l:米我>米米l:mrow>
′米米l:米我>米米l:mrow>
(米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n><米米l:米o stretchy="false">
)米米l:米o><米米l:米o>
=米米l:米o><米米l:米o>
⋯米米l:米o><米米l:米o>
=米米l:米o><米米l:米年代up>
h米米l:米我>米米l:mrow>
(米米l:米o><米米l:米i>
n米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n><米米l:米o stretchy="false">
)米米l:米o>米米l:mrow>
(米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n><米米l:米o stretchy="false">
)米米l:米o><米米l:米o>
=米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:math>
;因此
(30)米米l:米text>米ml:mtd>
0米米l:米n><米米l:米o>
≤米米l:米o><米米l:米i>
h米米l:米我><米米l:mfenced separators="|">
z米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米i>
Δ米米l:米我><米米l:msup>
z米米l:米我>米米l:mrow>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o><米米l:米i>
c米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
,米米l:米o><米米l:米i class="cond">
0米米l:米n><米米l:米o>
≤米米l:米o><米米l:米i>
z米米l:米我><米米l:mo>
≤米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n><米米l:米o>
- - - - - -米米l:米o><米米l:米i>
c米米l:米我><米米l:mo>
。米米l:米o>米米l:mtd>
从所有这些,
(31)米米l:米text>米ml:mtd>
∑米米l:米o>米米l:mstyle>
k米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:mrow>
n米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
p米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ub>
问米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
z米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米n mathvariant="normal">
3米米l:米n><米米l:米i>
Δ米米l:米我>米米l:mtd>
为<我nl我ne- - - - - -formula>
0米米l:米n><米米l:米o>
≤米米l:米o><米米l:米i>
z米米l:米我><米米l:mo>
≤米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n><米米l:米o>
- - - - - -米米l:米o><米米l:米i>
c米米l:米我>米米l:math>
。应用定理
1在定理的证明一样
2我们得到
(32)米米l:米text>米ml:mtd>
p米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ub>
问米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米frac>
3米米l:米n><米米l:米i>
Δ米米l:米我>米米l:mrow>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o><米米l:米i>
c米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
2米米l:米n><米米l:米fenced separators="|">
n米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
!米米l:米o>米米l:mrow>
≤米米l:米o><米米l:米n mathvariant="normal">
3米米l:米n><米米l:米frac>
8米米l:米n><米米l:米i>
e米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
4米米l:米n>米米l:mrow>
k米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
!米米l:米o>米米l:mrow>
Δ米米l:米我><米米l:msup>
F米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
Δ米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
,米米l:米o>米米l:mtd>
如果<我nl我ne- - - - - -formula>
k米米l:米我><米米l:mo>
<米米l:米o><米米l:米年代up>
F米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
(米米l:米o><米米l:米i>
Δ米米l:米我><米米l:mo stretchy="false">
)米米l:米o>米米l:math>
。调查的比例连续条件可以很容易地看到
(33)米米l:米text>米ml:mtd>
3米米l:米n><米米l:米frac>
8米米l:米n><米米l:米i>
e米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
4米米l:米n>米米l:mrow>
k米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
!米米l:米o>米米l:mrow>
≤米米l:米o><米米l:米n mathvariant="normal">
3米米l:米n><米米l:米frac>
8米米l:米n><米米l:米i>
e米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
4米米l:米n>米米l:mrow>
2米米l:米n>米米l:mrow>
4米米l:米n><米米l:米o>
!米米l:米o>米米l:mrow>
=米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米年代up>
2米米l:米n><米米l:米i>
e米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
2米米l:米n>米米l:mrow>
。米米l:米o>米米l:mtd>
备注4。让我们写<我nl我ne- - - - - -formula>
F米米l:米我>米米l:mrow>
以指数形式:<我nl我ne- - - - - -formula>
F米米l:米我><米米l:mo stretchy="false">
(米米l:米o><米米l:米i>
n米米l:米我><米米l:mo stretchy="false">
)米米l:米o><米米l:米o>
=米米l:米o><米米l:米年代up>
e米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米i>
h米米l:米我><米米l:mo stretchy="false">
(米米l:米o><米米l:米i>
n米米l:米我><米米l:mo stretchy="false">
)米米l:米o>米米l:mrow>
,在那里<我nl我ne- - - - - -formula>
h米米l:米我>米米l:mrow>
是负的,连续的,并越来越多地到正无穷。然后<我nl我ne- - - - - -formula>
F米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
(米米l:米o><米米l:米i>
Δ米米l:米我><米米l:mo stretchy="false">
)米米l:米o><米米l:米o>
=米米l:米o><米米l:米年代up>
h米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
(米米l:米o><米米l:米i>
l米米l:米我><米米l:mo stretchy="false">
)米米l:米o>米米l:math>
。估计的定理
3优于定理呢
2只有分配的数量级<我nl我ne- - - - - -formula>
p米米l:米我>米米l:mrow>
有尾巴比指数轻;也就是说,<我nl我ne- - - - - -formula>
h米米l:米我><米米l:mo stretchy="false">
(米米l:米o><米米l:米i>
n米米l:米我><米米l:mo stretchy="false">
)米米l:米o><米米l:米o>
/米米l:米o><米米l:米i>
n米米l:米我><米米l:mo>
→米米l:米o><米米l:米i>
∞米米l:米我>米米l:math>
。
年代t一个te米ent><年代tatement id="rem3.2">
备注5。如果<我nl我ne- - - - - -formula>
1米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
h米米l:米我><米米l:mo stretchy="false">
(米米l:米o><米米l:米i>
k米米l:米我><米米l:mo stretchy="false">
)米米l:米o>米米l:mrow>
日志米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
1米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
p米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
是有界的远离零和无穷,然后上估计定理
3和较低的估计(
11)是适用的和他们是相同的数量级。经常使用的事实,不同的功能<我nl我ne- - - - - -formula>
h米米l:米我>米米l:mrow>
的订单<我nl我ne- - - - - -formula>
α米米l:米我><米米l:mo>
>米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:math>
我们有<我nl我ne- - - - - -formula>
c米米l:米我><米米l:mi>
h米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
(米米l:米o><米米l:米i>
z米米l:米我><米米l:mo stretchy="false">
)米米l:米o><米米l:米o>
~米米l:米o><米米l:米年代up>
c米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n><米米l:米o>
/米米l:米o><米米l:米i>
α米米l:米我>米米l:mrow>
h米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
(米米l:米o><米米l:米i>
z米米l:米我><米米l:mo stretchy="false">
)米米l:米o>米米l:math>
作为<我nl我ne- - - - - -formula>
z米米l:米我><米米l:mo>
→米米l:米o><米米l:米i>
∞米米l:米我>米米l:math>
。
年代t一个te米ent><年代tatement id="rem3.3">
注6。文献[
6]证明了类似的范围不同的常数,但相同的数量级。然而,他们强加条件类似于(
10)序列<我nl我ne- - - - - -formula>
一个米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
=米米l:米o><米米l:米年代ub>
p米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ub>
问米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
,而不是<我nl我ne- - - - - -formula>
p米米l:米我>米米l:mrow>
应用概率,那么有用。此外,估计的定理
2,这是真正的没有任何限制系数,他们需要序列的指数衰减<我nl我ne- - - - - -formula>
(米米l:米o><米米l:米年代ub>
一个米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
)米米l:米o>米米l:math>
。
年代t一个te米ent><年代tatement id="rem3.4">
注7。如果<我nl我ne- - - - - -formula>
h米米l:米我>米米l:mrow>
是线性的,也就是说,<我nl我ne- - - - - -formula>
∑米米l:米o><米米l:米row>
k米米l:米我><米米l:mo>
≥米米l:米o><米米l:米i>
n米米l:米我>米米l:mrow>
p米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米年代up>
e米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米i>
v米米l:米我><米米l:mi>
n米米l:米我>米米l:mrow>
,它拥有足够大<我nl我ne- - - - - -formula>
v米米l:米我>米米l:mrow>
(<我nl我ne- - - - - -formula>
v米米l:米我><米米l:mo>
≥米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n>米米l:math>
),的上界定理
3更适合<我nl我ne- - - - - -formula>
k米米l:米我><米米l:mo>
>米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:math>
比定理
2。(<我nl我ne- - - - - -formula>
k米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:math>
绑定<我nl我ne- - - - - -formula>
p米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ub>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
≤米米l:米o><米米l:米i>
Δ米米l:米我>米米l:math>
显然是最好的。)
年代t一个te米ent>特别是,我们<我nl我ne- - - - - -formula>
p米米l:米我>米米l:mrow>
的泊松分布的意思<我nl我ne- - - - - -formula>
λ米米l:米我>米米l:mrow>
。然后,对于<我nl我ne- - - - - -formula>
n米米l:米我><米米l:mo>
>米米l:米o><米米l:米i>
λ米米l:米我>米米l:math>
,我们有
(34)米米l:米text>米ml:mtd>
∑米米l:米o>米米l:mstyle>
k米米l:米我><米米l:mo>
=米米l:米o><米米l:米i>
n米米l:米我>米米l:mrow>
∞米米l:米我>米米l:mrow>
p米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米年代up>
e米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米i>
λ米米l:米我>米米l:mrow>
λ米米l:米我><米米l:mi>
e米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
(见定理所以在[
8]);因此<我nl我ne- - - - - -formula>
h米米l:米我><米米l:mfenced separators="|">
x米米l:米我>米米l:mrow>
=米米l:米o><米米l:米i>
x米米l:米我><米米l:mrow>
日志米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
x米米l:米我><米米l:mo>
+米米l:米o><米米l:米i>
O米米l:米我><米米l:mo stretchy="false">
(米米l:米o><米米l:米i>
x米米l:米我><米米l:mo stretchy="false">
)米米l:米o>米米l:mrow>
,
(35)米米l:米text>米ml:mtd>
h米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
x米米l:米我>米米l:mrow>
=米米l:米o><米米l:米frac>
x米米l:米我>米米l:mrow>
日志米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
x米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米row>
日志米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
日志米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
x米米l:米我>米米l:mrow>
+米米l:米o><米米l:米i>
O米米l:米我><米米l:mfenced separators="|">
1米米l:米n>米米l:mrow>
~米米l:米o><米米l:米frac>
x米米l:米我>米米l:mrow>
日志米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
x米米l:米我>米米l:mrow>
作为<我nl我ne- - - - - -formula>
x米米l:米我><米米l:mo>
→米米l:米o><米米l:米i>
∞米米l:米我>米米l:math>
。此外,<我nl我ne- - - - - -formula>
h米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
(米米l:米o><米米l:米i>
x米米l:米我><米米l:mo stretchy="false">
)米米l:米o><米米l:米o>
>米米l:米o><米米l:米i>
x米米l:米我><米米l:mo>
/米米l:米o><米米l:米row>
日志米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
x米米l:米我>米米l:mrow>
最终。让我们把这个回定理
3下面的估计。
<年代t一个te米ent我d="coro3.1">
推论8。如果<我nl我ne- - - - - -formula>
p米米l:米我>米米l:mrow>
是泊松,那么,统一在吗<我nl我ne- - - - - -formula>
问米米l:米我>米米l:mrow>
,一个
(36)米米l:米text>米ml:mtd>
p米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ub>
问米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米n mathvariant="normal">
4米米l:米n><米米l:米frac>
8米米l:米n><米米l:米i>
e米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
4米米l:米n>米米l:mrow>
k米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
!米米l:米o>米米l:mrow>
Δ米米l:米我><米米l:msup>
l米米l:米我>米米l:mrow>
日志米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
l米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
对于每一个<我nl我ne- - - - - -formula>
k米米l:米我><米米l:mo>
<米米l:米o><米米l:米i>
l米米l:米我><米米l:mo>
/米米l:米o><米米l:米row>
日志米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
l米米l:米我>米米l:mrow>
,如果<我nl我ne- - - - - -formula>
Δ米米l:米我>米米l:mrow>
是足够小。
年代t一个te米ent>注意,这个上界的顺序是一样的,下界(
12)。
年代ec><年代ec id="sec4">
4所示。估计的总变异距离再次让<我nl我ne- - - - - -formula>
一个米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
=米米l:米o><米米l:米年代ub>
p米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ub>
问米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
,在那里<我nl我ne- - - - - -formula>
p米米l:米我><米米l:mo>
=米米l:米o><米米l:米o stretchy="false">
(米米l:米o><米米l:米年代ub>
p米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
)米米l:米o>米米l:mrow>
k米米l:米我><米米l:mo>
≥米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:mrow>
和<我nl我ne- - - - - -formula>
问米米l:米我><米米l:mo>
=米米l:米o><米米l:米o stretchy="false">
(米米l:米o><米米l:米年代ub>
问米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
)米米l:米o>米米l:mrow>
k米米l:米我><米米l:mo>
≥米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:mrow>
离散概率分布。正如我们所看到的,如果不了解<我nl我ne- - - - - -formula>
p米米l:米我>米米l:mrow>
和<我nl我ne- - - - - -formula>
问米米l:米我>米米l:mrow>
,它是不可能给一个非凡的上界的总变异的距离
(37)米米l:米text>米ml:mtd>
p米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米i mathvariant="bold">
问米米l:米我>米米l:mrow>
=米米l:米o><米米l:米row>
∑米米l:米o>米米l:mstyle>
k米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:mrow>
∞米米l:米我>米米l:mrow>
p米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ub>
问米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
。米米l:米o>米米l:mtd>
然而,当<我nl我ne- - - - - -formula>
p米米l:米我>米米l:mrow>
是固定的,情况是完全不同的。
<年代t一个te米ent我d="thm4.1">
定理9。让<我nl我ne- - - - - -formula>
一个米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
=米米l:米o><米米l:米年代ub>
p米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ub>
问米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
,在那里<我nl我ne- - - - - -formula>
p米米l:米我><米米l:mo>
=米米l:米o><米米l:米fenced separators="|">
p米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
满足条件(
23)。然后
(38)米米l:米text>米ml:mtd>
p米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米i mathvariant="bold">
问米米l:米我>米米l:mrow>
<米米l:米o><米米l:米n mathvariant="normal">
8米米l:米n><米米l:米i>
Δ米米l:米我><米米l:mrow>
经验值米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
κ米米l:米我><米米l:msup>
F米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
Δ米米l:米我>米米l:mrow>
,米米l:米o>米米l:mtd>
在哪里<我nl我ne- - - - - -formula>
κ米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米o>
+米米l:米o><米米l:米row>
日志米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
(米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米i>
e米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n><米米l:米o stretchy="false">
)米米l:米o>米米l:mrow>
=米米l:米o><米米l:米n mathvariant="normal">
3.861米米l:米n><米米l:米o>
⋯米米l:米o>米米l:math>
。
年代t一个te米ent>倾向于右侧<我nl我ne- - - - - -formula>
0米米l:米n>米米l:mrow>
作为<我nl我ne- - - - - -formula>
Δ米米l:米我><米米l:mo>
→米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:math>
只有在尾巴的<我nl我ne- - - - - -formula>
p米米l:米我>米米l:mrow>
不是太重;也就是说,<我nl我ne- - - - - -formula>
F米米l:米我><米米l:mo stretchy="false">
(米米l:米o><米米l:米i>
x米米l:米我><米米l:mo stretchy="false">
)米米l:米o><米米l:米o>
=米米l:米o><米米l:米i>
o米米l:米我><米米l:mo stretchy="false">
(米米l:米o><米米l:米年代up>
e米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米i>
κ米米l:米我><米米l:mi>
x米米l:米我>米米l:mrow>
)米米l:米o>米米l:math>
。
gydF4y2B一个证明的方法将被应用在续集几次不同的参数。因此我们制定它的本质在一个单独的引理大师不平等。
<年代t一个te米ent我d="lem4.1">
引理10。让<我nl我ne- - - - - -formula>
一个米米l:米我>米米l:mrow>
,<我nl我ne- - - - - -formula>
B米米l:米我>米米l:mrow>
,<我nl我ne- - - - - -formula>
C米米l:米我>米米l:mrow>
是正实数;<我nl我ne- - - - - -formula>
C米米l:米我><米米l:mo>
≤米米l:米o><米米l:米i>
B米米l:米我>米米l:math>
。假设
(39)米米l:米text>米ml:mtd>
p米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ub>
问米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米i>
一个米米l:米我><米米l:mfrac>
2米米l:米n><米米l:米i>
B米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
!米米l:米o>米米l:mrow>
,米米l:米o><米米l:米i class="cond">
0米米l:米n><米米l:米o>
≤米米l:米o><米米l:米i>
k米米l:米我><米米l:mo>
<米米l:米o><米米l:米i>
C米米l:米我><米米l:mo>
。米米l:米o>米米l:mtd>
然后
(40)米米l:米text>米ml:mtd>
p米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米i mathvariant="bold">
问米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米i>
一个米米l:米我><米米l:msup>
e米米l:米我><米米l:mi>
B米米l:米我>米米l:mrow>
C米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
C米米l:米我>米米l:mrow>
+米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米i>
F米米l:米我><米米l:mfenced separators="|">
C米米l:米我>米米l:mrow>
。米米l:米o>米米l:mtd>
证明。让<我nl我ne- - - - - -formula>
n米米l:米我><米米l:mo>
=米米l:米o><米米l:米o stretchy="false">
⌈米米l:米o><米米l:米i>
C米米l:米我><米米l:mo stretchy="false">
⌉米米l:米o>米米l:math>
,然后<我nl我ne- - - - - -formula>
n米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n><米米l:米o>
<米米l:米o><米米l:米i>
C米米l:米我><米米l:mo>
≤米米l:米o><米米l:米i>
n米米l:米我>米米l:math>
。很明显,
(41)米米l:米text>米ml:mtd>
p米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米i mathvariant="bold">
问米米l:米我>米米l:mrow>
=米米l:米o><米米l:米row>
∑米米l:米o>米米l:mstyle>
k米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:mrow>
∞米米l:米我>米米l:mrow>
p米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ub>
问米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
=米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米row>
∑米米l:米o>米米l:mstyle>
k米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:mrow>
∞米米l:米我>米米l:mrow>
p米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ub>
问米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
+米米l:米o>米米l:mrow>
+米米l:米o><米米l:米row>
∑米米l:米o>米米l:mstyle>
k米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:mrow>
∞米米l:米我>米米l:mrow>
p米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ub>
问米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
=米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米row>
∑米米l:米o>米米l:mstyle>
k米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:mrow>
∞米米l:米我>米米l:mrow>
p米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ub>
问米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
+米米l:米o>米米l:mrow>
≤米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米row>
∑米米l:米o>米米l:mstyle>
k米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:mrow>
n米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
p米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ub>
问米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
+米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米row>
∑米米l:米o>米米l:mstyle>
k米米l:米我><米米l:mo>
=米米l:米o><米米l:米i>
n米米l:米我>米米l:mrow>
∞米米l:米我>米米l:mrow>
p米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
。米米l:米o>米米l:mtd>
假设我们有
(42)米米l:米text>米ml:mtd>
2米米l:米n><米米l:米i>
B米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
=米米l:米o><米米l:米年代up>
2米米l:米n><米米l:米i>
C米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
B米米l:米我>米米l:mrow>
C米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米年代up>
2米米l:米n><米米l:米i>
C米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
B米米l:米我>米米l:mrow>
C米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
C米米l:米我>米米l:mrow>
。米米l:米o>米米l:mtd>
因此
(43)米米l:米text>米ml:mtd>
p米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米i mathvariant="bold">
问米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米i>
一个米米l:米我><米米l:mrow>
∑米米l:米o>米米l:mstyle>
k米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:mrow>
n米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
2米米l:米n><米米l:米i>
B米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
!米米l:米o>米米l:mrow>
+米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米i>
F米米l:米我><米米l:mfenced separators="|">
n米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米i>
一个米米l:米我><米米l:msup>
B米米l:米我>米米l:mrow>
C米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
C米米l:米我>米米l:mrow>
∑米米l:米o>米米l:mstyle>
k米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:mrow>
n米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
2米米l:米n><米米l:米i>
C米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
k米米l:米我>米米l:mrow>
!米米l:米o>米米l:mrow>
+米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米i>
F米米l:米我><米米l:mfenced separators="|">
n米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米i>
一个米米l:米我><米米l:msup>
e米米l:米我><米米l:mi>
B米米l:米我>米米l:mrow>
C米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
C米米l:米我>米米l:mrow>
+米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米i>
F米米l:米我><米米l:mfenced separators="|">
C米米l:米我>米米l:mrow>
。米米l:米o>米米l:mtd>
定理的证明< xref ref-type =“声明”掉= " thm4.1 " > < / xref >。从定理
3,让我们运用引理
10与<我nl我ne- - - - - -formula>
一个米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
3米米l:米n><米米l:米i>
Δ米米l:米我>米米l:math>
,<我nl我ne- - - - - -formula>
B米米l:米我><米米l:mo>
=米米l:米o><米米l:米o stretchy="false">
(米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米i>
e米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n><米米l:米年代up>
)米米l:米o>米米l:mrow>
1米米l:米n><米米l:米o>
/米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n>米米l:mrow>
F米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
(米米l:米o><米米l:米i>
Δ米米l:米我><米米l:mo stretchy="false">
)米米l:米o>米米l:math>
,<我nl我ne- - - - - -formula>
C米米l:米我><米米l:mo>
=米米l:米o><米米l:米年代up>
F米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
(米米l:米o><米米l:米i>
Δ米米l:米我><米米l:mo stretchy="false">
)米米l:米o>米米l:math>
。我们得到
(44)米米l:米text>米ml:mtd>
p米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米i mathvariant="bold">
问米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米n mathvariant="normal">
6米米l:米n><米米l:米i>
Δ米米l:米我><米米l:msup>
e米米l:米我><米米l:msup>
2米米l:米n><米米l:米i>
e米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
1米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
2米米l:米n>米米l:mrow>
2米米l:米n><米米l:米年代up>
F米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
Δ米米l:米我>米米l:mrow>
+米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米i>
Δ米米l:米我><米米l:mo>
≤米米l:米o><米米l:米n mathvariant="normal">
8米米l:米n><米米l:米i>
Δ米米l:米我><米米l:mrow>
经验值米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
κ米米l:米我><米米l:msup>
F米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
Δ米米l:米我>米米l:mrow>
。米米l:米o>米米l:mtd>
特别是,我们<我nl我ne- - - - - -formula>
p米米l:米我>米米l:mrow>
的泊松分布的意思<我nl我ne- - - - - -formula>
λ米米l:米我>米米l:mrow>
。正如我们所看到的(
35),
(45)米米l:米text>米ml:mtd>
F米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
Δ米米l:米我>米米l:mrow>
=米米l:米o><米米l:米年代up>
h米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
l米米l:米我>米米l:mrow>
=米米l:米o><米米l:米fenced separators="|">
1米米l:米n><米米l:米o>
+米米l:米o><米米l:米i>
o米米l:米我><米米l:mfenced separators="|">
1米米l:米n>米米l:mrow>
l米米l:米我>米米l:mrow>
日志米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
l米米l:米我>米米l:mrow>
。米米l:米o>米米l:mtd>
让我们把这个定理
9。写作<我nl我ne- - - - - -formula>
4米米l:米n>米米l:mrow>
在的地方<我nl我ne- - - - - -formula>
κ米米l:米我>米米l:mrow>
在指数我们可以摆脱这个词<我nl我ne- - - - - -formula>
1米米l:米n><米米l:米o>
+米米l:米o><米米l:米i>
o米米l:米我><米米l:mo stretchy="false">
(米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n><米米l:米o stretchy="false">
)米米l:米o>米米l:math>
,甚至乘数<我nl我ne- - - - - -formula>
8米米l:米n>米米l:mrow>
最终被吸收。因此,我们得到下面的估计。
<年代t一个te米ent我d="coro1">
推论11。让<我nl我ne- - - - - -formula>
p米米l:米我>米米l:mrow>
是泊松;然后,统一在<我nl我ne- - - - - -formula>
问米米l:米我>米米l:mrow>
,一个
(46)米米l:米text>米ml:mtd>
p米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米i mathvariant="bold">
问米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米i>
Δ米米l:米我><米米l:mrow>
经验值米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
4米米l:米n><米米l:米i>
l米米l:米我>米米l:mrow>
日志米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
l米米l:米我>米米l:mrow>
,米米l:米o>米米l:mtd>
如果<我nl我ne- - - - - -formula>
Δ米米l:米我>米米l:mrow>
是足够小。
年代t一个te米ent>这已经是类似于下界(
16),是比(
13)。
gydF4y2B一个如果尾巴<我nl我ne- - - - - -formula>
p米米l:米我>米米l:mrow>
是subexponential,<我nl我ne- - - - - -formula>
∑米米l:米o><米米l:米row>
k米米l:米我><米米l:mo>
≥米米l:米o><米米l:米i>
n米米l:米我>米米l:mrow>
p米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
=米米l:米o><米米l:米i mathvariant="normal">
e米米l:米我><米米l:mi mathvariant="normal">
x米米l:米我><米米l:mi mathvariant="normal">
p米米l:米我><米米l:mo stretchy="false">
(米米l:米o><米米l:米o>
- - - - - -米米l:米o><米米l:米i>
o米米l:米我><米米l:mo stretchy="false">
(米米l:米o><米米l:米i>
n米米l:米我><米米l:mo stretchy="false">
)米米l:米o><米米l:米o stretchy="false">
)米米l:米o>米米l:math>
,那么估计定理
3是没有用的:它趋于无穷时<我nl我ne- - - - - -formula>
Δ米米l:米我><米米l:mo>
→米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:math>
。然而,选择适当的参数主不平等,可以获得一个合理的上限:不锋利,但至少不是那么简单。
<年代t一个te米ent我d="thm4.2">
定理12。假设<我nl我ne- - - - - -formula>
F米米l:米我><米米l:mo stretchy="false">
(米米l:米o><米米l:米i>
n米米l:米我><米米l:mo stretchy="false">
)米米l:米o><米米l:米o>
=米米l:米o><米米l:米年代up>
e米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米i>
o米米l:米我><米米l:mo stretchy="false">
(米米l:米o><米米l:米i>
n米米l:米我><米米l:mo stretchy="false">
)米米l:米o>米米l:mrow>
。然后
(47)米米l:米text>米ml:mtd>
年代米米l:米我><米米l:mi mathvariant="normal">
u米米l:米我><米米l:mi mathvariant="normal">
p米米l:米我><米米l:mfenced open="{" close="}" separators="|">
p米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米i mathvariant="bold">
问米米l:米我>米米l:mrow>
:米米l:米o><米米l:米under>
米米米l:米我><米米l:mi mathvariant="normal">
一个米米l:米我><米米l:mi mathvariant="normal">
x米米l:米我>米米l:mrow>
0米米l:米n><米米l:米o>
≤米米l:米o><米米l:米i>
z米米l:米我><米米l:mo>
≤米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
g米米l:米我>米米l:mrow>
p米米l:米我>米米l:mrow>
z米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ub>
g米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
z米米l:米我>米米l:mrow>
=米米l:米o><米米l:米i>
Δ米米l:米我>米米l:mrow>
=米米l:米o><米米l:米i>
O米米l:米我><米米l:mfenced separators="|">
F米米l:米我><米米l:mfenced separators="|">
l米米l:米我>米米l:mrow>
8米米l:米n>米米l:mrow>
,米米l:米o><米米l:米i class="cond">
一个米米l:米我><米米l:mi>
年代米米l:米我><米米l:mo>
Δ米米l:米我><米米l:mo>
⟶米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n><米米l:米o>
。米米l:米o>米米l:mtd>
证明。这一次我们使用定理
2。让<我nl我ne- - - - - -formula>
一个米米l:米我><米米l:mo>
=米米l:米o><米米l:米i>
e米米l:米我><米米l:mi>
Δ米米l:米我>米米l:math>
,<我nl我ne- - - - - -formula>
B米米l:米我><米米l:mo>
=米米l:米o><米米l:米i>
e米米l:米我><米米l:mi>
l米米l:米我><米米l:mo>
/米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n>米米l:math>
,<我nl我ne- - - - - -formula>
C米米l:米我><米米l:mo>
=米米l:米o><米米l:米i>
l米米l:米我><米米l:mo>
/米米l:米o><米米l:米n mathvariant="normal">
8米米l:米n>米米l:math>
。然后引理
10给了,
(48)米米l:米text>米ml:mtd>
p米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米i mathvariant="bold">
问米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米i>
e米米l:米我><米米l:mi>
Δ米米l:米我><米米l:msup>
4米米l:米n><米米l:米年代up>
e米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
l米米l:米我>米米l:mrow>
/米米l:米o><米米l:米row>
4米米l:米n>米米l:mrow>
+米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米i>
F米米l:米我><米米l:mfenced separators="|">
l米米l:米我>米米l:mrow>
8米米l:米n>米米l:mrow>
。米米l:米o>米米l:mtd>
自<我nl我ne- - - - - -formula>
(米米l:米o><米米l:米n mathvariant="normal">
4米米l:米n><米米l:米年代up>
e米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
)米米l:米o>米米l:mrow>
1米米l:米n><米米l:米o>
/米米l:米o><米米l:米n mathvariant="normal">
4米米l:米n>米米l:mrow>
=米米l:米o><米米l:米n mathvariant="normal">
2.331米米l:米n><米米l:米o>
⋯米米l:米o><米米l:米o>
<米米l:米o><米米l:米i>
e米米l:米我>米米l:math>
在右边第一项可以估计一个积极的力量<我nl我ne- - - - - -formula>
Δ米米l:米我>米米l:mrow>
,而第二项减少低于任何积极的力量<我nl我ne- - - - - -formula>
Δ米米l:米我>米米l:mrow>
,因为<我nl我ne- - - - - -formula>
Δ米米l:米我><米米l:mo>
→米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:math>
;因此,最终会占据主导地位。
年代t一个te米ent><年代tatement id="coro2">
推论13。如果<我nl我ne- - - - - -formula>
α米米l:米我>米米l:mrow>
th的时刻<我nl我ne- - - - - -formula>
p米米l:米我>米米l:mrow>
是有限的,那么<我nl我ne- - - - - -formula>
∑米米l:米o><米米l:米row>
k米米l:米我><米米l:mo>
=米米l:米o><米米l:米i>
n米米l:米我>米米l:mrow>
∞米米l:米我>米米l:mrow>
p米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
=米米l:米o><米米l:米i>
o米米l:米我><米米l:mfenced separators="|">
n米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米i>
α米米l:米我>米米l:mrow>
;因此
(49)米米l:米text>米ml:mtd>
年代米米l:米我><米米l:mi mathvariant="normal">
u米米l:米我><米米l:mi mathvariant="normal">
p米米l:米我><米米l:mfenced open="{" close="}" separators="|">
p米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米i mathvariant="bold">
问米米l:米我>米米l:mrow>
:米米l:米o><米米l:米under>
米米米l:米我><米米l:mi mathvariant="normal">
一个米米l:米我><米米l:mi mathvariant="normal">
x米米l:米我>米米l:mrow>
0米米l:米n><米米l:米o>
≤米米l:米o><米米l:米i>
z米米l:米我><米米l:mo>
≤米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
g米米l:米我>米米l:mrow>
p米米l:米我>米米l:mrow>
z米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ub>
g米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
z米米l:米我>米米l:mrow>
=米米l:米o><米米l:米i>
Δ米米l:米我>米米l:mrow>
=米米l:米o><米米l:米i>
o米米l:米我><米米l:mfenced separators="|">
l米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米i>
α米米l:米我>米米l:mrow>
,米米l:米o><米米l:米i class="cond">
一个米米l:米我><米米l:mi>
年代米米l:米我><米米l:mo>
Δ米米l:米我><米米l:mo>
⟶米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n><米米l:米o>
。米米l:米o>米米l:mtd>
最后,让我们处理指数衰减的情况下尾巴。让<我nl我ne- - - - - -formula>
F米米l:米我><米米l:mo stretchy="false">
(米米l:米o><米米l:米i>
n米米l:米我><米米l:mo stretchy="false">
)米米l:米o><米米l:米o>
=米米l:米o><米米l:米年代up>
e米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米i>
v米米l:米我><米米l:mi>
n米米l:米我>米米l:mrow>
,<我nl我ne- - - - - -formula>
v米米l:米我><米米l:mo>
≥米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:math>
。然后全变差<我nl我ne- - - - - -formula>
p米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米i mathvariant="bold">
问米米l:米我>米米l:mrow>
可以估计一个积极的力量吗<我nl我ne- - - - - -formula>
Δ米米l:米我>米米l:mrow>
。在此之前的定理
9,但仅限于<我nl我ne- - - - - -formula>
v米米l:米我><米米l:mo>
>米米l:米o><米米l:米i>
κ米米l:米我>米米l:math>
。下面的定理是对所有积极有效<我nl我ne- - - - - -formula>
v米米l:米我>米米l:mrow>
。
<年代t一个te米ent我d="thm4.3">
定理14。假设<我nl我ne- - - - - -formula>
F米米l:米我><米米l:mo stretchy="false">
(米米l:米o><米米l:米i>
n米米l:米我><米米l:mo stretchy="false">
)米米l:米o><米米l:米o>
≤米米l:米o><米米l:米年代up>
e米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米i>
v米米l:米我><米米l:mi>
n米米l:米我>米米l:mrow>
,<我nl我ne- - - - - -formula>
v米米l:米我><米米l:mo>
>米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:math>
。然后
(50)米米l:米text>米ml:mtd>
p米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米i mathvariant="bold">
问米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米年代up>
8米米l:米n><米米l:米i>
Δ米米l:米我>米米l:mrow>
v米米l:米我>米米l:mrow>
/米米l:米o><米米l:米row>
v米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
7米米l:米n>米米l:mrow>
。米米l:米o>米米l:mtd>
不锋利,指数的具体形式持有不感兴趣;真正重要的是,它是积极和容易<我nl我ne- - - - - -formula>
1米米l:米n>米米l:mrow>
作为<我nl我ne- - - - - -formula>
v米米l:米我><米米l:mo>
→米米l:米o><米米l:米i>
∞米米l:米我>米米l:math>
。注意,如果<我nl我ne- - - - - -formula>
p米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
倾向于<我nl我ne- - - - - -formula>
0米米l:米n>米米l:mrow>
以指数速度(
14)提供了一个下界也积极的力量<我nl我ne- - - - - -formula>
Δ米米l:米我>米米l:mrow>
(从定理2.4的
2),<我nl我ne- - - - - -formula>
C米米l:米我><米米l:mo>
=米米l:米o><米米l:米row>
(米米l:米o><米米l:米row>
v米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
4米米l:米n>米米l:mrow>
)米米l:米o>米米l:mrow>
/米米l:米o><米米l:米row>
(米米l:米o><米米l:米i>
v米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米o stretchy="false">
)米米l:米o>米米l:mrow>
可用于指数)。
<年代t一个te米ent我d="proof5">
证明。首先,假设<我nl我ne- - - - - -formula>
v米米l:米我><米米l:mo>
≤米米l:米o><米米l:米n mathvariant="normal">
1.9米米l:米n>米米l:math>
。基于定理
2,应用引理
10与<我nl我ne- - - - - -formula>
一个米米l:米我><米米l:mo>
=米米l:米o><米米l:米i>
e米米l:米我><米米l:mi>
Δ米米l:米我>米米l:math>
,<我nl我ne- - - - - -formula>
B米米l:米我><米米l:mo>
=米米l:米o><米米l:米i>
e米米l:米我><米米l:mi>
l米米l:米我><米米l:mo>
/米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n>米米l:math>
,<我nl我ne- - - - - -formula>
C米米l:米我><米米l:mo>
=米米l:米o><米米l:米i>
l米米l:米我><米米l:mo>
/米米l:米o><米米l:米o stretchy="false">
(米米l:米o><米米l:米i>
v米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
7米米l:米n><米米l:米o stretchy="false">
)米米l:米o>米米l:math>
:
(51)米米l:米text>米ml:mtd>
p米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米i mathvariant="bold">
问米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米i>
e米米l:米我><米米l:mi>
Δ米米l:米我><米米l:msup>
e米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
v米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
7米米l:米n>米米l:mrow>
2米米l:米n>米米l:mrow>
2米米l:米n><米米l:米i>
l米米l:米我>米米l:mrow>
/米米l:米o><米米l:米row>
v米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
7米米l:米n>米米l:mrow>
+米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米row>
经验值米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
- - - - - -米米l:米o><米米l:米frac>
v米米l:米我><米米l:mi>
l米米l:米我>米米l:mrow>
v米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
7米米l:米n>米米l:mrow>
。米米l:米o>米米l:mtd>
让我们处理右边第一项
(52)米米l:米text>米ml:mtd>
Δ米米l:米我><米米l:msup>
e米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
v米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
7米米l:米n>米米l:mrow>
2米米l:米n>米米l:mrow>
2米米l:米n><米米l:米i>
l米米l:米我>米米l:mrow>
/米米l:米o><米米l:米row>
v米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
7米米l:米n>米米l:mrow>
=米米l:米o><米米l:米row>
经验值米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
- - - - - -米米l:米o><米米l:米i>
l米米l:米我><米米l:mfenced open="[" close="]" separators="|">
1米米l:米n><米米l:米o>
- - - - - -米米l:米o><米米l:米frac>
2米米l:米n>米米l:mrow>
v米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
7米米l:米n>米米l:mrow>
2米米l:米n><米米l:米o>
+米米l:米o><米米l:米row>
日志米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
v米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
7米米l:米n>米米l:mrow>
2米米l:米n>米米l:mrow>
=米米l:米o><米米l:米row>
经验值米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
- - - - - -米米l:米o><米米l:米frac>
l米米l:米我>米米l:mrow>
v米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
7米米l:米n>米米l:mrow>
v米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
3米米l:米n><米米l:米o>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米row>
日志米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
v米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
7米米l:米n>米米l:mrow>
2米米l:米n>米米l:mrow>
。米米l:米o>米米l:mtd>
自<我nl我ne- - - - - -formula>
3米米l:米n><米米l:米o>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米row>
日志米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
v米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
7米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
2米米l:米n>米米l:mrow>
≥米米l:米o><米米l:米n mathvariant="normal">
3米米l:米n><米米l:米o>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米row>
日志米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
4.45米米l:米n>米米l:mrow>
>米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:math>
,接下去
(53)米米l:米text>米ml:mtd>
p米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米i mathvariant="bold">
问米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米fenced separators="|">
e米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
Δ米米l:米我>米米l:mrow>
v米米l:米我>米米l:mrow>
/米米l:米o><米米l:米row>
v米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
7米米l:米n>米米l:mrow>
。米米l:米o>米米l:mtd>
其次,让<我nl我ne- - - - - -formula>
v米米l:米我><米米l:mo>
>米米l:米o><米米l:米n mathvariant="normal">
1.9米米l:米n>米米l:math>
。现在我们应用定理
3。请注意,<我nl我ne- - - - - -formula>
F米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
(米米l:米o><米米l:米i>
Δ米米l:米我><米米l:mo stretchy="false">
)米米l:米o><米米l:米o>
=米米l:米o><米米l:米i>
l米米l:米我><米米l:mo>
/米米l:米o><米米l:米i>
v米米l:米我>米米l:math>
,并设置<我nl我ne- - - - - -formula>
一个米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
3米米l:米n><米米l:米i>
Δ米米l:米我>米米l:math>
,<我nl我ne- - - - - -formula>
B米米l:米我><米米l:mo>
=米米l:米o><米米l:米o stretchy="false">
(米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米i>
e米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n><米米l:米年代up>
)米米l:米o>米米l:mrow>
1米米l:米n><米米l:米o>
/米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n>米米l:mrow>
l米米l:米我><米米l:mo>
/米米l:米o><米米l:米i>
v米米l:米我>米米l:math>
,<我nl我ne- - - - - -formula>
C米米l:米我><米米l:mo>
=米米l:米o><米米l:米i>
l米米l:米我><米米l:mo>
/米米l:米o><米米l:米o stretchy="false">
(米米l:米o><米米l:米i>
v米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
7米米l:米n><米米l:米o stretchy="false">
)米米l:米o>米米l:math>
。然后我们获得
(54)米米l:米text>米ml:mtd>
p米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米i mathvariant="bold">
问米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米n mathvariant="normal">
6米米l:米n><米米l:米i>
Δ米米l:米我><米米l:msup>
e米米l:米我><米米l:msup>
2米米l:米n><米米l:米i>
e米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
1米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
2米米l:米n>米米l:mrow>
v米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
7米米l:米n>米米l:mrow>
v米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
l米米l:米我>米米l:mrow>
/米米l:米o><米米l:米row>
v米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
7米米l:米n>米米l:mrow>
+米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米row>
经验值米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
- - - - - -米米l:米o><米米l:米frac>
v米米l:米我><米米l:mi>
l米米l:米我>米米l:mrow>
v米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
7米米l:米n>米米l:mrow>
。米米l:米o>米米l:mtd>
同样,第一项可以通过第二个,估计因为
(55)米米l:米text>米ml:mtd>
Δ米米l:米我><米米l:msup>
e米米l:米我><米米l:msup>
2米米l:米n><米米l:米i>
e米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
1米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
2米米l:米n>米米l:mrow>
v米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
7米米l:米n>米米l:mrow>
v米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
l米米l:米我>米米l:mrow>
/米米l:米o><米米l:米row>
v米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
7米米l:米n>米米l:mrow>
=米米l:米o><米米l:米row>
经验值米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
- - - - - -米米l:米o><米米l:米i>
l米米l:米我><米米l:mfenced open="[" close="]" separators="|">
1米米l:米n><米米l:米o>
- - - - - -米米l:米o><米米l:米frac>
2米米l:米n>米米l:mrow>
v米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
7米米l:米n>米米l:mrow>
κ米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
+米米l:米o><米米l:米row>
日志米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
v米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
7米米l:米n>米米l:mrow>
v米米l:米我>米米l:mrow>
=米米l:米o><米米l:米row>
经验值米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
- - - - - -米米l:米o><米米l:米frac>
l米米l:米我>米米l:mrow>
v米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
7米米l:米n>米米l:mrow>
v米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
7米米l:米n><米米l:米o>
- - - - - -米米l:米o><米米l:米i>
κ米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米row>
日志米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
v米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
7米米l:米n>米米l:mrow>
v米米l:米我>米米l:mrow>
,米米l:米o>米米l:mtd>
和<我nl我ne- - - - - -formula>
7米米l:米n><米米l:米o>
- - - - - -米米l:米o><米米l:米i>
κ米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米row>
日志米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
v米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
7米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
v米米l:米我>米米l:mrow>
>米米l:米o><米米l:米n mathvariant="normal">
7米米l:米n><米米l:米o>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
3.862米米l:米n><米米l:米o>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n><米米l:米row>
日志米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
4.685米米l:米n>米米l:mrow>
>米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:math>
。因此,它遵循
(56)米米l:米text>米ml:mtd>
p米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米i mathvariant="bold">
问米米l:米我>米米l:mrow>
≤米米l:米o><米米l:米年代up>
8米米l:米n><米米l:米i>
Δ米米l:米我>米米l:mrow>
v米米l:米我>米米l:mrow>
/米米l:米o><米米l:米row>
v米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
7米米l:米n>米米l:mrow>
为<我nl我ne- - - - - -formula>
v米米l:米我><米米l:mo>
>米米l:米o><米米l:米n mathvariant="normal">
1.9米米l:米n>米米l:math>
,如需要。
年代t一个te米ent>