证明。
我们看到系统的系数局部李普希茨是连续的,那么,对于任何给定的初始值<我nline-formula>
x米米l:mi>
(米米l:mo>
0米米l:mn>
)米米l:mo>
>米米l:mo>
0米米l:mn>
,<我nline-formula>
y米米l:mi>
1米米l:mn>
(米米l:mo>
0米米l:mn>
)米米l:mo>
>米米l:mo>
0米米l:mn>
,<我nline-formula>
y米米l:mi>
2米米l:mn>
(米米l:mo>
0米米l:mn>
)米米l:mo>
>米米l:mo>
0米米l:mn>
,都有一个独特的最大局部解<我nline-formula>
(米米l:mo>
x米米l:mi>
(米米l:mo>
t米米l:mi>
)米米l:mo>
,米米l:mo>
y米米l:mi>
1米米l:mn>
(米米l:mo>
t米米l:mi>
)米米l:mo>
,米米l:mo>
y米米l:mi>
2米米l:mn>
(米米l:mo>
t米米l:mi>
)米米l:mo>
)米米l:mo>
在<我nline-formula>
t米米l:mi>
∈米米l:mo>
(米米l:mo>
0米米l:mn>
,米米l:mo>
τ米米l:mi>
e米米l:mi>
)米米l:mo>
,在那里<我nline-formula>
τ米米l:mi>
e米米l:mi>
是爆炸时间
8]。显示这个解决方案是全球性的,我们需要证明<我nline-formula>
τ米米l:mi>
e米米l:mi>
=米米l:mo>
∞米米l:mi>
。定义的停止时间
(5)米米l:mtext>
τ米米l:mi>
k米米l:mi>
=米米l:mo>
正米米l:mi>
米米l:mo>
米米l:mo>
{米米l:mo>
t米米l:mi>
∈米米l:mo>
(米米l:mo>
0米米l:mn>
,米米l:mo>
∞米米l:mi>
)米米l:mo>
,米米l:mo>
y米米l:mi>
我米米l:mi>
(米米l:mo>
t米米l:mi>
)米米l:mo>
=米米l:mo>
1米米l:mn>
k米米l:mi>
或米米l:mtext>
x米米l:mi>
(米米l:mo>
t米米l:mi>
)米米l:mo>
=米米l:mo>
1米米l:mn>
k米米l:mi>
或米米l:mtext>
x米米l:mi>
(米米l:mo>
t米米l:mi>
)米米l:mo>
=米米l:mo>
k米米l:mi>
}米米l:mo>
或米米l:mtext>
y米米l:mi>
我米米l:mi>
(米米l:mo>
t米米l:mi>
)米米l:mo>
=米米l:mo>
k米米l:mi>
,米米l:mo>
我米米l:mi>
=米米l:mo>
1、2米米l:mn>
,米米l:mo>
或米米l:mtext>
x米米l:mi>
(米米l:mo>
t米米l:mi>
)米米l:mo>
=米米l:mo>
1米米l:mn>
k米米l:mi>
或米米l:mtext>
x米米l:mi>
(米米l:mo>
t米米l:mi>
)米米l:mo>
=米米l:mo>
k米米l:mi>
}米米l:mo>
,米米l:mo>
在那里,在这篇文章中,我们准备好了吗<我nline-formula>
正米米l:mi>
米米l:mo>
米米l:mo>
∅米米l:mi>
=米米l:mo>
∞米米l:mi>
。很明显,<我nline-formula>
τ米米l:mi>
k米米l:mi>
是增加<我nline-formula>
k米米l:mi>
→米米l:mo>
∞米米l:mi>
。集<我nline-formula>
τ米米l:mi>
∞米米l:mi>
=米米l:mo>
lim米米l:mi>
米米l:mo>
k米米l:mi>
→米米l:mo>
∞米米l:mi>
τ米米l:mi>
k米米l:mi>
,<我nline-formula>
τ米米l:mi>
∞米米l:mi>
≤米米l:mo>
τ米米l:mi>
e米米l:mi>
主导者——如果我们可以证明<我nline-formula>
τ米米l:mi>
∞米米l:mi>
=米米l:mo>
∞米米l:mi>
其子as。,然后<我nline-formula>
τ米米l:mi>
e米米l:mi>
=米米l:mo>
∞米米l:mi>
主导者——即完成的证据,足以证明<我nline-formula>
τ米米l:mi>
∞米米l:mi>
=米米l:mo>
∞米米l:mi>
主导者——如果这句话是假的,还有一双常数<我nline-formula>
T米米l:mi>
>米米l:mo>
0米米l:mn>
和<我nline-formula>
ϵ米米l:mi>
∈米米l:mo>
(米米l:mo>
0 1米米l:mn>
)米米l:mo>
,这样<我nline-formula>
P米米l:mi>
{米米l:mo>
τ米米l:mi>
∞米米l:mi>
≤米米l:mo>
T米米l:mi>
}米米l:mo>
>米米l:mo>
ϵ米米l:mi>
。因此,有一个整数<我nline-formula>
k米米l:mi>
1米米l:mn>
≥米米l:mo>
k米米l:mi>
0米米l:mn>
这样
(6)米米l:mtext>
P米米l:mi>
{米米l:mo>
τ米米l:mi>
k米米l:mi>
≤米米l:mo>
T米米l:mi>
}米米l:mo>
≥米米l:mo>
ϵ米米l:mi>
∀米米l:mo>
k米米l:mi>
≥米米l:mo>
k米米l:mi>
1米米l:mn>
,米米l:mo>
在哪里<我nline-formula>
k米米l:mi>
0米米l:mn>
是令人满意的<我nline-formula>
1米米l:mn>
/米米l:mo>
k米米l:mi>
0米米l:mn>
<米米l:mo>
y米米l:mi>
我米米l:mi>
(米米l:mo>
0米米l:mn>
)米米l:mo>
<米米l:mo>
k米米l:mi>
0米米l:mn>
,<我nline-formula>
我米米l:mi>
=米米l:mo>
1、2米米l:mn>
,<我nline-formula>
1米米l:mn>
/米米l:mo>
k米米l:mi>
0米米l:mn>
<米米l:mo>
x米米l:mi>
(米米l:mo>
0米米l:mn>
)米米l:mo>
<米米l:mo>
k米米l:mi>
0米米l:mn>
。
gydF4y2Ba定义一个<我nline-formula>
C米米l:mi>
2米米l:mn>
函数<我nline-formula>
V米米l:mi>
:<我nline-formula>
R米米l:mi>
+米米l:mo>
3米米l:mn>
→米米l:mo>
R米米l:mi>
+米米l:mo>
通过
(7)米米l:mtext>
V米米l:mi>
(米米l:mo>
x米米l:mi>
,米米l:mo>
y米米l:mi>
1米米l:mn>
,米米l:mo>
y米米l:mi>
2米米l:mn>
)米米l:mo>
=米米l:mo>
(米米l:mo>
x米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
- - - - - -米米l:mo>
0.5米米l:mn>
ln米米l:mi>
米米l:mo>
米米l:mo>
x米米l:mi>
)米米l:mo>
+米米l:mo>
(米米l:mo>
y米米l:mi>
1米米l:mn>
- - - - - -米米l:mo>
1米米l:mn>
- - - - - -米米l:mo>
0.5米米l:mn>
ln米米l:mi>
米米l:mo>
米米l:mo>
y米米l:mi>
1米米l:mn>
)米米l:mo>
+米米l:mo>
(米米l:mo>
y米米l:mi>
2米米l:mn>
- - - - - -米米l:mo>
1米米l:mn>
- - - - - -米米l:mo>
0.5米米l:mn>
ln米米l:mi>
米米l:mo>
米米l:mo>
y米米l:mi>
2米米l:mn>
)米米l:mo>
。米米l:mo>
利用伊藤公式,我们得到的
(8)米米l:mtext>
d米米l:mtext>
V米米l:mi>
=米米l:mo>
1米米l:mn>
2米米l:mn>
(米米l:mo>
x米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
/米米l:mo>
2米米l:mn>
- - - - - -米米l:mo>
x米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
)米米l:mo>
·米米l:mo>
d米米l:mtext>
x米米l:mi>
+米米l:mo>
1米米l:mn>
2米米l:mn>
(米米l:mo>
y米米l:mi>
1米米l:mn>
- - - - - -米米l:mo>
1米米l:mn>
/米米l:mo>
2米米l:mn>
- - - - - -米米l:mo>
y米米l:mi>
1米米l:mn>
- - - - - -米米l:mo>
1米米l:mn>
)米米l:mo>
·米米l:mo>
d米米l:mtext>
y米米l:mi>
1米米l:mn>
+米米l:mo>
1米米l:mn>
2米米l:mn>
(米米l:mo>
y米米l:mi>
2米米l:mn>
- - - - - -米米l:mo>
1米米l:mn>
/米米l:mo>
2米米l:mn>
- - - - - -米米l:mo>
y米米l:mi>
2米米l:mn>
- - - - - -米米l:mo>
1米米l:mn>
)米米l:mo>
·米米l:mo>
d米米l:mtext>
y米米l:mi>
2米米l:mn>
+米米l:mo>
1米米l:mn>
2米米l:mn>
(米米l:mo>
- - - - - -米米l:mo>
1米米l:mn>
4米米l:mn>
x米米l:mi>
- - - - - -米米l:mo>
3米米l:mn>
/米米l:mo>
2米米l:mn>
+米米l:mo>
1米米l:mn>
2米米l:mn>
x米米l:mi>
- - - - - -米米l:mo>
2米米l:mn>
)米米l:mo>
·米米l:mo>
(米米l:mo>
d米米l:mtext>
x米米l:mi>
)米米l:mo>
2米米l:mn>
+米米l:mo>
1米米l:mn>
2米米l:mn>
(米米l:mo>
- - - - - -米米l:mo>
1米米l:mn>
4米米l:mn>
y米米l:mi>
1米米l:mn>
- - - - - -米米l:mo>
3米米l:mn>
/米米l:mo>
2米米l:mn>
+米米l:mo>
1米米l:mn>
2米米l:mn>
y米米l:mi>
1米米l:mn>
- - - - - -米米l:mo>
2米米l:mn>
)米米l:mo>
·米米l:mo>
(米米l:mo>
d米米l:mtext>
y米米l:mi>
1米米l:mn>
)米米l:mo>
2米米l:mn>
+米米l:mo>
1米米l:mn>
2米米l:mn>
(米米l:mo>
- - - - - -米米l:mo>
1米米l:mn>
4米米l:mn>
y米米l:mi>
2米米l:mn>
- - - - - -米米l:mo>
3米米l:mn>
/米米l:mo>
2米米l:mn>
+米米l:mo>
1米米l:mn>
2米米l:mn>
y米米l:mi>
2米米l:mn>
- - - - - -米米l:mo>
2米米l:mn>
)米米l:mo>
·米米l:mo>
(米米l:mo>
d米米l:mtext>
y米米l:mi>
2米米l:mn>
)米米l:mo>
2米米l:mn>
,米米l:mo>
(9)米米l:mtext>
l米米l:mi>
V米米l:mi>
=米米l:mo>
1米米l:mn>
2米米l:mn>
(米米l:mo>
x米米l:mi>
1米米l:mn>
/米米l:mo>
2米米l:mn>
- - - - - -米米l:mo>
1米米l:mn>
)米米l:mo>
(米米l:mo>
γ米米l:mi>
- - - - - -米米l:mo>
问米米l:mi>
y米米l:mi>
2米米l:mn>
1米米l:mn>
+米米l:mo>
米米米l:mi>
x米米l:mi>
+米米l:mo>
n米米l:mi>
y米米l:mi>
2米米l:mn>
- - - - - -米米l:mo>
β米米l:mi>
x米米l:mi>
)米米l:mo>
+米米l:mo>
1米米l:mn>
2米米l:mn>
(米米l:mo>
- - - - - -米米l:mo>
1米米l:mn>
4米米l:mn>
x米米l:mi>
1米米l:mn>
/米米l:mo>
2米米l:mn>
+米米l:mo>
1米米l:mn>
2米米l:mn>
)米米l:mo>
σ米米l:mi>
2米米l:mn>
(米米l:mo>
x米米l:mi>
- - - - - -米米l:mo>
x米米l:mi>
*米米l:mi>
)米米l:mo>
2米米l:mn>
+米米l:mo>
1米米l:mn>
2米米l:mn>
(米米l:mo>
y米米l:mi>
1米米l:mn>
- - - - - -米米l:mo>
1米米l:mn>
/米米l:mo>
2米米l:mn>
- - - - - -米米l:mo>
y米米l:mi>
1米米l:mn>
- - - - - -米米l:mo>
1米米l:mn>
)米米l:mo>
(米米l:mo>
α米米l:mi>
y米米l:mi>
2米米l:mn>
- - - - - -米米l:mo>
d米米l:mi>
1米米l:mn>
y米米l:mi>
1米米l:mn>
- - - - - -米米l:mo>
一个米米l:mi>
1米米l:mn>
y米米l:mi>
1米米l:mn>
2米米l:mn>
- - - - - -米米l:mo>
b米米l:mi>
y米米l:mi>
1米米l:mn>
)米米l:mo>
+米米l:mo>
1米米l:mn>
2米米l:mn>
(米米l:mo>
- - - - - -米米l:mo>
1米米l:mn>
4米米l:mn>
y米米l:mi>
1米米l:mn>
1米米l:mn>
/米米l:mo>
2米米l:mn>
+米米l:mo>
1米米l:mn>
2米米l:mn>
)米米l:mo>
σ米米l:mi>
1米米l:mn>
2米米l:mn>
(米米l:mo>
y米米l:mi>
1米米l:mn>
- - - - - -米米l:mo>
y米米l:mi>
1米米l:mn>
*米米l:mi>
)米米l:mo>
2米米l:mn>
+米米l:mo>
1米米l:mn>
2米米l:mn>
(米米l:mo>
y米米l:mi>
2米米l:mn>
- - - - - -米米l:mo>
1米米l:mn>
/米米l:mo>
2米米l:mn>
- - - - - -米米l:mo>
y米米l:mi>
2米米l:mn>
- - - - - -米米l:mo>
1米米l:mn>
)米米l:mo>
×米米l:mo>
(米米l:mo>
b米米l:mi>
y米米l:mi>
1米米l:mn>
- - - - - -米米l:mo>
d米米l:mi>
2米米l:mn>
y米米l:mi>
2米米l:mn>
- - - - - -米米l:mo>
一个米米l:mi>
2米米l:mn>
y米米l:mi>
2米米l:mn>
2米米l:mn>
+米米l:mo>
p米米l:mi>
x米米l:mi>
y米米l:mi>
2米米l:mn>
1米米l:mn>
+米米l:mo>
米米米l:mi>
x米米l:mi>
+米米l:mo>
n米米l:mi>
y米米l:mi>
2米米l:mn>
)米米l:mo>
+米米l:mo>
1米米l:mn>
2米米l:mn>
(米米l:mo>
- - - - - -米米l:mo>
1米米l:mn>
4米米l:mn>
y米米l:mi>
2米米l:mn>
1米米l:mn>
/米米l:mo>
2米米l:mn>
+米米l:mo>
1米米l:mn>
2米米l:mn>
)米米l:mo>
σ米米l:mi>
2米米l:mn>
2米米l:mn>
(米米l:mo>
y米米l:mi>
2米米l:mn>
- - - - - -米米l:mo>
y米米l:mi>
2米米l:mn>
*米米l:mi>
)米米l:mo>
2米米l:mn>
=米米l:mo>
1米米l:mn>
2米米l:mn>
(米米l:mo>
x米米l:mi>
1米米l:mn>
/米米l:mo>
2米米l:mn>
- - - - - -米米l:mo>
1米米l:mn>
)米米l:mo>
(米米l:mo>
γ米米l:mi>
- - - - - -米米l:mo>
问米米l:mi>
y米米l:mi>
2米米l:mn>
1米米l:mn>
+米米l:mo>
米米米l:mi>
x米米l:mi>
+米米l:mo>
n米米l:mi>
y米米l:mi>
2米米l:mn>
- - - - - -米米l:mo>
β米米l:mi>
x米米l:mi>
)米米l:mo>
+米米l:mo>
1米米l:mn>
2米米l:mn>
(米米l:mo>
y米米l:mi>
2米米l:mn>
- - - - - -米米l:mo>
1米米l:mn>
/米米l:mo>
2米米l:mn>
- - - - - -米米l:mo>
y米米l:mi>
2米米l:mn>
- - - - - -米米l:mo>
1米米l:mn>
)米米l:mo>
b米米l:mi>
y米米l:mi>
1米米l:mn>
+米米l:mo>
1米米l:mn>
2米米l:mn>
(米米l:mo>
y米米l:mi>
1米米l:mn>
- - - - - -米米l:mo>
1米米l:mn>
/米米l:mo>
2米米l:mn>
- - - - - -米米l:mo>
y米米l:mi>
1米米l:mn>
- - - - - -米米l:mo>
1米米l:mn>
)米米l:mo>
α米米l:mi>
y米米l:mi>
2米米l:mn>
+米米l:mo>
1米米l:mn>
2米米l:mn>
(米米l:mo>
y米米l:mi>
1米米l:mn>
1米米l:mn>
/米米l:mo>
2米米l:mn>
- - - - - -米米l:mo>
1米米l:mn>
)米米l:mo>
(米米l:mo>
- - - - - -米米l:mo>
d米米l:mi>
1米米l:mn>
- - - - - -米米l:mo>
一个米米l:mi>
1米米l:mn>
y米米l:mi>
1米米l:mn>
- - - - - -米米l:mo>
b米米l:mi>
)米米l:mo>
+米米l:mo>
1米米l:mn>
2米米l:mn>
(米米l:mo>
y米米l:mi>
2米米l:mn>
1米米l:mn>
/米米l:mo>
2米米l:mn>
- - - - - -米米l:mo>
1米米l:mn>
)米米l:mo>
(米米l:mo>
- - - - - -米米l:mo>
d米米l:mi>
2米米l:mn>
- - - - - -米米l:mo>
一个米米l:mi>
2米米l:mn>
y米米l:mi>
2米米l:mn>
+米米l:mo>
p米米l:mi>
y米米l:mi>
2米米l:mn>
1米米l:mn>
+米米l:mo>
米米米l:mi>
x米米l:mi>
+米米l:mo>
n米米l:mi>
y米米l:mi>
2米米l:mn>
)米米l:mo>
+米米l:mo>
1米米l:mn>
2米米l:mn>
(米米l:mo>
- - - - - -米米l:mo>
1米米l:mn>
4米米l:mn>
x米米l:mi>
1米米l:mn>
/米米l:mo>
2米米l:mn>
+米米l:mo>
1米米l:mn>
2米米l:mn>
)米米l:mo>
σ米米l:mi>
2米米l:mn>
(米米l:mo>
x米米l:mi>
- - - - - -米米l:mo>
x米米l:mi>
*米米l:mi>
)米米l:mo>
2米米l:mn>
+米米l:mo>
1米米l:mn>
2米米l:mn>
(米米l:mo>
- - - - - -米米l:mo>
1米米l:mn>
4米米l:mn>
y米米l:mi>
1米米l:mn>
1米米l:mn>
/米米l:mo>
2米米l:mn>
+米米l:mo>
1米米l:mn>
2米米l:mn>
)米米l:mo>
σ米米l:mi>
1米米l:mn>
2米米l:mn>
(米米l:mo>
y米米l:mi>
1米米l:mn>
- - - - - -米米l:mo>
y米米l:mi>
1米米l:mn>
*米米l:mi>
)米米l:mo>
2米米l:mn>
+米米l:mo>
1米米l:mn>
2米米l:mn>
(米米l:mo>
- - - - - -米米l:mo>
1米米l:mn>
4米米l:mn>
y米米l:mi>
2米米l:mn>
1米米l:mn>
/米米l:mo>
2米米l:mn>
+米米l:mo>
1米米l:mn>
2米米l:mn>
)米米l:mo>
σ米米l:mi>
2米米l:mn>
2米米l:mn>
(米米l:mo>
y米米l:mi>
2米米l:mn>
- - - - - -米米l:mo>
y米米l:mi>
2米米l:mn>
*米米l:mi>
)米米l:mo>
2米米l:mn>
。米米l:mo>
现在,我们注意这个词<我nline-formula>
(米米l:mo>
1米米l:mn>
/米米l:mo>
2米米l:mn>
)米米l:mo>
(米米l:mo>
y米米l:mi>
1米米l:mn>
- - - - - -米米l:mo>
1米米l:mn>
/米米l:mo>
2米米l:mn>
- - - - - -米米l:mo>
y米米l:mi>
1米米l:mn>
- - - - - -米米l:mo>
1米米l:mn>
)米米l:mo>
α米米l:mi>
y米米l:mi>
2米米l:mn>
。如果<我nline-formula>
y米米l:mi>
1米米l:mn>
<米米l:mo>
1米米l:mn>
,然后<我nline-formula>
(米米l:mo>
1米米l:mn>
/米米l:mo>
2米米l:mn>
)米米l:mo>
(米米l:mo>
y米米l:mi>
1米米l:mn>
- - - - - -米米l:mo>
1米米l:mn>
/米米l:mo>
2米米l:mn>
- - - - - -米米l:mo>
y米米l:mi>
1米米l:mn>
- - - - - -米米l:mo>
1米米l:mn>
)米米l:mo>
α米米l:mi>
y米米l:mi>
2米米l:mn>
<米米l:mo>
0米米l:mn>
,所以,这一项可以省略从右边的不平等。如果<我nline-formula>
y米米l:mi>
1米米l:mn>
>米米l:mo>
1米米l:mn>
,然后<我nline-formula>
(米米l:mo>
1米米l:mn>
/米米l:mo>
2米米l:mn>
)米米l:mo>
(米米l:mo>
y米米l:mi>
1米米l:mn>
- - - - - -米米l:mo>
1米米l:mn>
/米米l:mo>
2米米l:mn>
- - - - - -米米l:mo>
y米米l:mi>
1米米l:mn>
- - - - - -米米l:mo>
1米米l:mn>
)米米l:mo>
α米米l:mi>
y米米l:mi>
2米米l:mn>
<米米l:mo>
(米米l:mo>
1米米l:mn>
/米米l:mo>
2米米l:mn>
)米米l:mo>
(米米l:mo>
y米米l:mi>
1米米l:mn>
1米米l:mn>
/米米l:mo>
2米米l:mn>
- - - - - -米米l:mo>
1米米l:mn>
)米米l:mo>
α米米l:mi>
y米米l:mi>
2米米l:mn>
。可以采取类似的论点<我nline-formula>
(米米l:mo>
1米米l:mn>
/米米l:mo>
2米米l:mn>
)米米l:mo>
(米米l:mo>
y米米l:mi>
2米米l:mn>
- - - - - -米米l:mo>
1米米l:mn>
/米米l:mo>
2米米l:mn>
- - - - - -米米l:mo>
y米米l:mi>
2米米l:mn>
- - - - - -米米l:mo>
1米米l:mn>
)米米l:mo>
b米米l:mi>
y米米l:mi>
1米米l:mn>
。我们得到以下的不平等:
(10)米米l:mtext>
l米米l:mi>
V米米l:mi>
≤米米l:mo>
1米米l:mn>
2米米l:mn>
(米米l:mo>
- - - - - -米米l:mo>
β米米l:mi>
x米米l:mi>
3米米l:mn>
/米米l:mo>
2米米l:mn>
+米米l:mo>
β米米l:mi>
x米米l:mi>
+米米l:mo>
γ米米l:mi>
x米米l:mi>
1米米l:mn>
/米米l:mo>
2米米l:mn>
+米米l:mo>
问米米l:mi>
n米米l:mi>
- - - - - -米米l:mo>
γ米米l:mi>
]米米l:mo>
+米米l:mo>
b米米l:mi>
2米米l:mn>
y米米l:mi>
1米米l:mn>
(米米l:mo>
y米米l:mi>
2米米l:mn>
- - - - - -米米l:mo>
1米米l:mn>
)米米l:mo>
+米米l:mo>
α米米l:mi>
2米米l:mn>
y米米l:mi>
2米米l:mn>
(米米l:mo>
y米米l:mi>
1米米l:mn>
- - - - - -米米l:mo>
1米米l:mn>
)米米l:mo>
+米米l:mo>
1米米l:mn>
2米米l:mn>
(米米l:mo>
- - - - - -米米l:mo>
一个米米l:mi>
1米米l:mn>
y米米l:mi>
1米米l:mn>
3米米l:mn>
/米米l:mo>
2米米l:mn>
- - - - - -米米l:mo>
(米米l:mo>
d米米l:mi>
1米米l:mn>
+米米l:mo>
b米米l:mi>
)米米l:mo>
y米米l:mi>
1米米l:mn>
1米米l:mn>
/米米l:mo>
2米米l:mn>
+米米l:mo>
一个米米l:mi>
1米米l:mn>
y米米l:mi>
1米米l:mn>
+米米l:mo>
d米米l:mi>
1米米l:mn>
+米米l:mo>
b米米l:mi>
]米米l:mo>
+米米l:mo>
1米米l:mn>
2米米l:mn>
(米米l:mo>
- - - - - -米米l:mo>
一个米米l:mi>
2米米l:mn>
y米米l:mi>
2米米l:mn>
3米米l:mn>
/米米l:mo>
2米米l:mn>
+米米l:mo>
(米米l:mo>
p米米l:mi>
n米米l:mi>
- - - - - -米米l:mo>
d米米l:mi>
)米米l:mo>
y米米l:mi>
2米米l:mn>
1米米l:mn>
/米米l:mo>
2米米l:mn>
+米米l:mo>
一个米米l:mi>
2米米l:mn>
y米米l:mi>
2米米l:mn>
+米米l:mo>
d米米l:mi>
2米米l:mn>
]米米l:mo>
+米米l:mo>
1米米l:mn>
2米米l:mn>
σ米米l:mi>
2米米l:mn>
(米米l:mo>
- - - - - -米米l:mo>
1米米l:mn>
4米米l:mn>
x米米l:mi>
5米米l:mn>
/米米l:mo>
2米米l:mn>
+米米l:mo>
1米米l:mn>
2米米l:mn>
x米米l:mi>
2米米l:mn>
+米米l:mo>
1米米l:mn>
2米米l:mn>
x米米l:mi>
*米米l:mi>
x米米l:mi>
3米米l:mn>
/米米l:mo>
2米米l:mn>
- - - - - -米米l:mo>
x米米l:mi>
*米米l:mi>
x米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
4米米l:mn>
x米米l:mi>
2米米l:mn>
*米米l:mi>
2米米l:mn>
x米米l:mi>
1米米l:mn>
/米米l:mo>
2米米l:mn>
+米米l:mo>
1米米l:mn>
2米米l:mn>
x米米l:mi>
2米米l:mn>
*米米l:mi>
2米米l:mn>
)米米l:mo>
+米米l:mo>
1米米l:mn>
2米米l:mn>
σ米米l:mi>
1米米l:mn>
2米米l:mn>
(米米l:mo>
- - - - - -米米l:mo>
1米米l:mn>
4米米l:mn>
y米米l:mi>
1米米l:mn>
5米米l:mn>
/米米l:mo>
2米米l:mn>
+米米l:mo>
1米米l:mn>
2米米l:mn>
y米米l:mi>
1米米l:mn>
2米米l:mn>
+米米l:mo>
1米米l:mn>
2米米l:mn>
y米米l:mi>
1米米l:mn>
*米米l:mi>
y米米l:mi>
1米米l:mn>
3米米l:mn>
/米米l:mo>
2米米l:mn>
- - - - - -米米l:mo>
y米米l:mi>
1米米l:mn>
*米米l:mi>
y米米l:mi>
1米米l:mn>
- - - - - -米米l:mo>
1米米l:mn>
4米米l:mn>
y米米l:mi>
1米米l:mn>
*米米l:mi>
2米米l:mn>
y米米l:mi>
1米米l:mn>
1米米l:mn>
/米米l:mo>
2米米l:mn>
+米米l:mo>
1米米l:mn>
2米米l:mn>
y米米l:mi>
1米米l:mn>
*米米l:mi>
2米米l:mn>
)米米l:mo>
+米米l:mo>
1米米l:mn>
2米米l:mn>
σ米米l:mi>
2米米l:mn>
2米米l:mn>
(米米l:mo>
- - - - - -米米l:mo>
1米米l:mn>
4米米l:mn>
y米米l:mi>
2米米l:mn>
5米米l:mn>
/米米l:mo>
2米米l:mn>
+米米l:mo>
1米米l:mn>
2米米l:mn>
y米米l:mi>
2米米l:mn>
2米米l:mn>
+米米l:mo>
1米米l:mn>
2米米l:mn>
y米米l:mi>
2米米l:mn>
*米米l:mi>
y米米l:mi>
2米米l:mn>
3米米l:mn>
/米米l:mo>
2米米l:mn>
- - - - - -米米l:mo>
y米米l:mi>
2米米l:mn>
*米米l:mi>
y米米l:mi>
2米米l:mn>
- - - - - -米米l:mo>
1米米l:mn>
4米米l:mn>
y米米l:mi>
2米米l:mn>
*米米l:mi>
2米米l:mn>
y米米l:mi>
2米米l:mn>
1米米l:mn>
/米米l:mo>
2米米l:mn>
+米米l:mo>
1米米l:mn>
2米米l:mn>
y米米l:mi>
2米米l:mn>
*米米l:mi>
2米米l:mn>
)米米l:mo>
≤米米l:mo>
1米米l:mn>
2米米l:mn>
(米米l:mo>
- - - - - -米米l:mo>
β米米l:mi>
x米米l:mi>
3米米l:mn>
/米米l:mo>
2米米l:mn>
+米米l:mo>
β米米l:mi>
x米米l:mi>
+米米l:mo>
γ米米l:mi>
x米米l:mi>
1米米l:mn>
/米米l:mo>
2米米l:mn>
+米米l:mo>
问米米l:mi>
n米米l:mi>
]米米l:mo>
+米米l:mo>
1米米l:mn>
2米米l:mn>
(米米l:mo>
+米米l:mo>
(米米l:mo>
一个米米l:mi>
1米米l:mn>
- - - - - -米米l:mo>
b米米l:mi>
+米米l:mo>
α米米l:mi>
2米米l:mn>
)米米l:mo>
y米米l:mi>
1米米l:mn>
+米米l:mo>
d米米l:mi>
1米米l:mn>
+米米l:mo>
b米米l:mi>
(米米l:mo>
b米米l:mi>
2米米l:mn>
y米米l:mi>
1米米l:mn>
2米米l:mn>
- - - - - -米米l:mo>
一个米米l:mi>
1米米l:mn>
y米米l:mi>
1米米l:mn>
3米米l:mn>
/米米l:mo>
2米米l:mn>
- - - - - -米米l:mo>
(米米l:mo>
d米米l:mi>
1米米l:mn>
+米米l:mo>
b米米l:mi>
)米米l:mo>
y米米l:mi>
1米米l:mn>
1米米l:mn>
/米米l:mo>
2米米l:mn>
]米米l:mo>
b米米l:mi>
2米米l:mn>
y米米l:mi>
1米米l:mn>
2米米l:mn>
- - - - - -米米l:mo>
一个米米l:mi>
1米米l:mn>
y米米l:mi>
1米米l:mn>
3米米l:mn>
/米米l:mo>
2米米l:mn>
- - - - - -米米l:mo>
(米米l:mo>
d米米l:mi>
1米米l:mn>
+米米l:mo>
b米米l:mi>
)米米l:mo>
y米米l:mi>
1米米l:mn>
1米米l:mn>
/米米l:mo>
2米米l:mn>
+米米l:mo>
(米米l:mo>
一个米米l:mi>
1米米l:mn>
- - - - - -米米l:mo>
b米米l:mi>
+米米l:mo>
α米米l:mi>
2米米l:mn>
)米米l:mo>
y米米l:mi>
1米米l:mn>
+米米l:mo>
d米米l:mi>
1米米l:mn>
+米米l:mo>
b米米l:mi>
(米米l:mo>
b米米l:mi>
2米米l:mn>
y米米l:mi>
1米米l:mn>
2米米l:mn>
- - - - - -米米l:mo>
一个米米l:mi>
1米米l:mn>
y米米l:mi>
1米米l:mn>
3米米l:mn>
/米米l:mo>
2米米l:mn>
- - - - - -米米l:mo>
(米米l:mo>
d米米l:mi>
1米米l:mn>
+米米l:mo>
b米米l:mi>
)米米l:mo>
y米米l:mi>
1米米l:mn>
1米米l:mn>
/米米l:mo>
2米米l:mn>
]米米l:mo>
+米米l:mo>
1米米l:mn>
2米米l:mn>
(米米l:mo>
+米米l:mo>
(米米l:mo>
一个米米l:mi>
2米米l:mn>
- - - - - -米米l:mo>
α米米l:mi>
+米米l:mo>
b米米l:mi>
2米米l:mn>
)米米l:mo>
y米米l:mi>
2米米l:mn>
+米米l:mo>
d米米l:mi>
2米米l:mn>
]米米l:mo>
+米米l:mo>
(米米l:mo>
一个米米l:mi>
2米米l:mn>
- - - - - -米米l:mo>
α米米l:mi>
+米米l:mo>
b米米l:mi>
2米米l:mn>
)米米l:mo>
y米米l:mi>
2米米l:mn>
+米米l:mo>
d米米l:mi>
2米米l:mn>
]米米l:mo>
α米米l:mi>
2米米l:mn>
y米米l:mi>
2米米l:mn>
2米米l:mn>
- - - - - -米米l:mo>
一个米米l:mi>
2米米l:mn>
y米米l:mi>
2米米l:mn>
3米米l:mn>
/米米l:mo>
2米米l:mn>
+米米l:mo>
(米米l:mo>
p米米l:mi>
n米米l:mi>
- - - - - -米米l:mo>
d米米l:mi>
)米米l:mo>
y米米l:mi>
2米米l:mn>
1米米l:mn>
/米米l:mo>
2米米l:mn>
+米米l:mo>
(米米l:mo>
一个米米l:mi>
2米米l:mn>
- - - - - -米米l:mo>
α米米l:mi>
+米米l:mo>
b米米l:mi>
2米米l:mn>
)米米l:mo>
y米米l:mi>
2米米l:mn>
+米米l:mo>
d米米l:mi>
2米米l:mn>
]米米l:mo>
+米米l:mo>
1米米l:mn>
2米米l:mn>
σ米米l:mi>
2米米l:mn>
(米米l:mo>
- - - - - -米米l:mo>
1米米l:mn>
4米米l:mn>
x米米l:mi>
5米米l:mn>
/米米l:mo>
2米米l:mn>
+米米l:mo>
1米米l:mn>
2米米l:mn>
x米米l:mi>
2米米l:mn>
+米米l:mo>
1米米l:mn>
2米米l:mn>
x米米l:mi>
*米米l:mi>
x米米l:mi>
3米米l:mn>
/米米l:mo>
2米米l:mn>
- - - - - -米米l:mo>
x米米l:mi>
*米米l:mi>
x米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
4米米l:mn>
x米米l:mi>
2米米l:mn>
*米米l:mi>
2米米l:mn>
x米米l:mi>
1米米l:mn>
/米米l:mo>
2米米l:mn>
+米米l:mo>
1米米l:mn>
2米米l:mn>
x米米l:mi>
2米米l:mn>
*米米l:mi>
2米米l:mn>
)米米l:mo>
+米米l:mo>
1米米l:mn>
2米米l:mn>
σ米米l:mi>
1米米l:mn>
2米米l:mn>
(米米l:mo>
- - - - - -米米l:mo>
1米米l:mn>
4米米l:mn>
y米米l:mi>
1米米l:mn>
5米米l:mn>
/米米l:mo>
2米米l:mn>
+米米l:mo>
1米米l:mn>
2米米l:mn>
y米米l:mi>
1米米l:mn>
2米米l:mn>
+米米l:mo>
1米米l:mn>
2米米l:mn>
y米米l:mi>
1米米l:mn>
*米米l:mi>
y米米l:mi>
1米米l:mn>
3米米l:mn>
/米米l:mo>
2米米l:mn>
- - - - - -米米l:mo>
y米米l:mi>
1米米l:mn>
*米米l:mi>
y米米l:mi>
1米米l:mn>
- - - - - -米米l:mo>
1米米l:mn>
4米米l:mn>
y米米l:mi>
1米米l:mn>
*米米l:mi>
2米米l:mn>
y米米l:mi>
1米米l:mn>
1米米l:mn>
/米米l:mo>
2米米l:mn>
+米米l:mo>
1米米l:mn>
2米米l:mn>
y米米l:mi>
1米米l:mn>
*米米l:mi>
2米米l:mn>
)米米l:mo>
+米米l:mo>
1米米l:mn>
2米米l:mn>
σ米米l:mi>
2米米l:mn>
2米米l:mn>
(米米l:mo>
- - - - - -米米l:mo>
1米米l:mn>
4米米l:mn>
y米米l:mi>
2米米l:mn>
5米米l:mn>
/米米l:mo>
2米米l:mn>
+米米l:mo>
1米米l:mn>
2米米l:mn>
y米米l:mi>
2米米l:mn>
2米米l:mn>
+米米l:mo>
1米米l:mn>
2米米l:mn>
y米米l:mi>
2米米l:mn>
*米米l:mi>
y米米l:mi>
2米米l:mn>
3米米l:mn>
/米米l:mo>
2米米l:mn>
- - - - - -米米l:mo>
y米米l:mi>
2米米l:mn>
*米米l:mi>
y米米l:mi>
2米米l:mn>
- - - - - -米米l:mo>
1米米l:mn>
4米米l:mn>
y米米l:mi>
2米米l:mn>
*米米l:mi>
2米米l:mn>
y米米l:mi>
2米米l:mn>
1米米l:mn>
/米米l:mo>
2米米l:mn>
+米米l:mo>
1米米l:mn>
2米米l:mn>
y米米l:mi>
2米米l:mn>
*米米l:mi>
2米米l:mn>
)米米l:mo>
≤米米l:mo>
K米米l:mi>
,米米l:mo>
在哪里<我nline-formula>
K米米l:mi>
是正的常数。整合双方的
8)<我nline-formula>
0米米l:mn>
来<我nline-formula>
τ米米l:mi>
k米米l:mi>
∧米米l:mo>
T米米l:mi>
然后将导致预期
(11)米米l:mtext>
V米米l:mi>
(米米l:mo>
x米米l:mi>
(米米l:mo>
τ米米l:mi>
k米米l:mi>
∧米米l:mo>
T米米l:mi>
)米米l:mo>
,米米l:mo>
y米米l:mi>
1米米l:mn>
(米米l:mo>
τ米米l:mi>
k米米l:mi>
∧米米l:mo>
T米米l:mi>
)米米l:mo>
,米米l:mo>
y米米l:mi>
2米米l:mn>
(米米l:mo>
τ米米l:mi>
k米米l:mi>
∧米米l:mo>
T米米l:mi>
)米米l:mo>
)米米l:mo>
≤米米l:mo>
V米米l:mi>
(米米l:mo>
x米米l:mi>
(米米l:mo>
0米米l:mn>
)米米l:mo>
,米米l:mo>
x米米l:mi>
1米米l:mn>
(米米l:mo>
0米米l:mn>
)米米l:mo>
,米米l:mo>
y米米l:mi>
2米米l:mn>
(米米l:mo>
0米米l:mn>
)米米l:mo>
)米米l:mo>
+米米l:mo>
K米米l:mi>
T米米l:mi>
。米米l:mo>
设置<我nline-formula>
Ω米米l:mi>
k米米l:mi>
=米米l:mo>
P米米l:mi>
{米米l:mo>
τ米米l:mi>
k米米l:mi>
≤米米l:mo>
T米米l:mi>
}米米l:mo>
为<我nline-formula>
k米米l:mi>
≥米米l:mo>
k米米l:mi>
1米米l:mn>
,然后由不平等(
6)我们有<我nline-formula>
P米米l:mi>
(米米l:mo>
Ω米米l:mi>
k米米l:mi>
)米米l:mo>
≥米米l:mo>
ϵ米米l:mi>
;注意,每<我nline-formula>
ω米米l:mi>
∈米米l:mo>
Ω米米l:mi>
k米米l:mi>
,<我nline-formula>
V米米l:mi>
(米米l:mo>
x米米l:mi>
(米米l:mo>
τ米米l:mi>
k米米l:mi>
,米米l:mo>
ω米米l:mi>
)米米l:mo>
,米米l:mo>
y米米l:mi>
1米米l:mn>
(米米l:mo>
τ米米l:mi>
k米米l:mi>
,米米l:mo>
ω米米l:mi>
)米米l:mo>
,米米l:mo>
y米米l:mi>
2米米l:mn>
(米米l:mo>
τ米米l:mi>
k米米l:mi>
,米米l:mo>
ω米米l:mi>
)米米l:mo>
)米米l:mo>
不少于<我nline-formula>
最小值米米l:mi>
米米l:mo>
米米l:mo>
{米米l:mo>
k米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
- - - - - -米米l:mo>
0.5米米l:mn>
ln米米l:mi>
米米l:mo>
米米l:mo>
k米米l:mi>
,<我nline-formula>
1米米l:mn>
/米米l:mo>
k米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
- - - - - -米米l:mo>
0.5米米l:mn>
ln米米l:mi>
米米l:mo>
米米l:mo>
(米米l:mo>
1米米l:mn>
/米米l:mo>
k米米l:mi>
)米米l:mo>
}米米l:mo>
。
gydF4y2Ba然后,遵循从(
11),
(12)米米l:mtext>
E米米l:mi>
(米米l:mo>
我米米l:mi>
Ω米米l:mi>
k米米l:mi>
V米米l:mi>
(米米l:mo>
x米米l:mi>
(米米l:mo>
τ米米l:mi>
k米米l:mi>
)米米l:mo>
,米米l:mo>
x米米l:mi>
1米米l:mn>
(米米l:mo>
τ米米l:mi>
k米米l:mi>
)米米l:mo>
,米米l:mo>
y米米l:mi>
2米米l:mn>
(米米l:mo>
τ米米l:mi>
k米米l:mi>
)米米l:mo>
)米米l:mo>
]米米l:mo>
≤米米l:mo>
V米米l:mi>
(米米l:mo>
x米米l:mi>
(米米l:mo>
0米米l:mn>
)米米l:mo>
,米米l:mo>
y米米l:mi>
1米米l:mn>
(米米l:mo>
0米米l:mn>
)米米l:mo>
,米米l:mo>
y米米l:mi>
2米米l:mn>
(米米l:mo>
0米米l:mn>
)米米l:mo>
)米米l:mo>
+米米l:mo>
K米米l:mi>
T米米l:mi>
,米米l:mo>
在哪里<我nline-formula>
我米米l:mi>
Ω米米l:mi>
k米米l:mi>
的指标函数<我nline-formula>
Ω米米l:mi>
k米米l:mi>
和<我nline-formula>
E米米l:mi>
(米米l:mo>
我米米l:mi>
Ω米米l:mi>
k米米l:mi>
V米米l:mi>
(米米l:mo>
x米米l:mi>
(米米l:mo>
τ米米l:mi>
k米米l:mi>
)米米l:mo>
,米米l:mo>
y米米l:mi>
1米米l:mn>
(米米l:mo>
τ米米l:mi>
k米米l:mi>
)米米l:mo>
,米米l:mo>
y米米l:mi>
2米米l:mn>
(米米l:mo>
τ米米l:mi>
k米米l:mi>
)米米l:mo>
)米米l:mo>
]米米l:mo>
≥<我nline-formula>
ϵ米米l:mi>
最小值米米l:mi>
米米l:mo>
米米l:mo>
{米米l:mo>
k米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
- - - - - -米米l:mo>
0.5米米l:mn>
ln米米l:mi>
米米l:mo>
米米l:mo>
k米米l:mi>
,<我nline-formula>
1米米l:mn>
/米米l:mo>
k米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
- - - - - -米米l:mo>
0.5米米l:mn>
ln米米l:mi>
米米l:mo>
米米l:mo>
(米米l:mo>
1米米l:mn>
/米米l:mo>
k米米l:mi>
)米米l:mo>
}米米l:mo>
。所以,
(13)米米l:mtext>
ϵ米米l:mi>
最小值米米l:mi>
米米l:mo>
米米l:mo>
{米米l:mo>
k米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
- - - - - -米米l:mo>
0.5米米l:mn>
ln米米l:mi>
米米l:mo>
米米l:mo>
k米米l:mi>
,米米l:mo>
1米米l:mn>
k米米l:mi>
- - - - - -米米l:mo>
1米米l:mn>
- - - - - -米米l:mo>
0.5米米l:mn>
ln米米l:mi>
米米l:mo>
米米l:mo>
1米米l:mn>
k米米l:mi>
}米米l:mo>
≤米米l:mo>
V米米l:mi>
(米米l:mo>
x米米l:mi>
,米米l:mo>
y米米l:mi>
1米米l:mn>
(米米l:mo>
0米米l:mn>
)米米l:mo>
(米米l:mo>
0米米l:mn>
)米米l:mo>
,米米l:mo>
y米米l:mi>
2米米l:mn>
(米米l:mo>
0米米l:mn>
)米米l:mo>
)米米l:mo>
+米米l:mo>
K米米l:mi>
T米米l:mi>
。米米l:mo>
让<我nline-formula>
k米米l:mi>
→米米l:mo>
∞米米l:mi>
导致的矛盾
(14)米米l:mtext>
∞米米l:mi>
>米米l:mo>
V米米l:mi>
(米米l:mo>
x米米l:mi>
(米米l:mo>
0米米l:mn>
)米米l:mo>
,米米l:mo>
y米米l:mi>
1米米l:mn>
(米米l:mo>
0米米l:mn>
)米米l:mo>
,米米l:mo>
y米米l:mi>
2米米l:mn>
(米米l:mo>
0米米l:mn>
)米米l:mo>
)米米l:mo>
+米米l:mo>
K米米l:mi>
T米米l:mi>
≥米米l:mo>
∞米米l:mi>
。米米l:mo>
这一矛盾表明,<我nline-formula>
τ米米l:mi>
∞米米l:mi>
=米米l:mo>
∞米米l:mi>
,完成了证明。