引理的证明< xref ref-type =“声明”掉= " lem3 " > < / xref >。
用(
3)<我nline-formula>
我米米l:mi>
k米米l:mi>
*米米l:mi>
,我们可以获得
(.)米米l:mtext>
我米米l:mi>
k米米l:mi>
*米米l:mi>
=米米l:mo>
(米米l:mo>
α米米l:mi>
δ米米l:mi>
μ米米l:mi>
k米米l:mi>
1米米l:mn>
〈米米l:mo>
k米米l:mi>
〉米米l:mo>
∑米米l:mo>
k米米l:mi>
k米米l:mi>
P米米l:mi>
(米米l:mo>
k米米l:mi>
)米米l:mo>
我米米l:mi>
k米米l:mi>
)米米l:mo>
×米米l:mo>
(米米l:mo>
(米米l:mo>
μ米米l:mi>
+米米l:mo>
r米米l:mi>
年代米米l:mi>
+米米l:mo>
α米米l:mi>
k米米l:mi>
1米米l:mn>
〈米米l:mo>
k米米l:mi>
〉米米l:mo>
∑米米l:mo>
k米米l:mi>
k米米l:mi>
P米米l:mi>
(米米l:mo>
k米米l:mi>
)米米l:mo>
我米米l:mi>
k米米l:mi>
)米米l:mo>
(米米l:mo>
μ米米l:mi>
+米米l:mo>
r米米l:mi>
1米米l:mn>
+米米l:mo>
δ米米l:mi>
)米米l:mo>
(米米l:mo>
μ米米l:mi>
+米米l:mo>
r米米l:mi>
2米米l:mn>
)米米l:mo>
kkkkk米米l:mtext>
×米米l:mo>
(米米l:mo>
μ米米l:mi>
+米米l:mo>
r米米l:mi>
年代米米l:mi>
+米米l:mo>
α米米l:mi>
k米米l:mi>
1米米l:mn>
〈米米l:mo>
k米米l:mi>
〉米米l:mo>
∑米米l:mo>
k米米l:mi>
k米米l:mi>
P米米l:mi>
(米米l:mo>
k米米l:mi>
)米米l:mo>
我米米l:mi>
k米米l:mi>
)米米l:mo>
)米米l:mo>
- - - - - -米米l:mo>
1米米l:mn>
。米米l:mo>
让<我nline-formula>
U米米l:mi>
k米米l:mi>
(米米l:mo>
1米米l:mn>
)米米l:mo>
=米米l:mo>
1米米l:mn>
,定义下列顺序:
(a)米米l:mtext>
U米米l:mi>
k米米l:mi>
(米米l:mo>
米米米l:mi>
+米米l:mo>
1米米l:mn>
)米米l:mo>
=米米l:mo>
(米米l:mo>
α米米l:mi>
δ米米l:mi>
μ米米l:mi>
k米米l:mi>
1米米l:mn>
〈米米l:mo>
k米米l:mi>
〉米米l:mo>
∑米米l:mo>
k米米l:mi>
k米米l:mi>
P米米l:mi>
(米米l:mo>
k米米l:mi>
)米米l:mo>
U米米l:mi>
k米米l:mi>
(米米l:mo>
米米米l:mi>
)米米l:mo>
)米米l:mo>
×米米l:mo>
(米米l:mo>
(米米l:mo>
μ米米l:mi>
+米米l:mo>
r米米l:mi>
年代米米l:mi>
+米米l:mo>
α米米l:mi>
k米米l:mi>
1米米l:mn>
〈米米l:mo>
k米米l:mi>
〉米米l:mo>
∑米米l:mo>
k米米l:mi>
k米米l:mi>
P米米l:mi>
(米米l:mo>
k米米l:mi>
)米米l:mo>
U米米l:mi>
k米米l:mi>
(米米l:mo>
米米米l:mi>
)米米l:mo>
)米米l:mo>
(米米l:mo>
μ米米l:mi>
+米米l:mo>
r米米l:mi>
1米米l:mn>
+米米l:mo>
δ米米l:mi>
)米米l:mo>
(米米l:mo>
μ米米l:mi>
+米米l:mo>
r米米l:mi>
2米米l:mn>
)米米l:mo>
k米米l:mi>
k米米l:mi>
k米米l:mi>
k米米l:mi>
k米米l:mi>
×米米l:mo>
(米米l:mo>
μ米米l:mi>
+米米l:mo>
r米米l:mi>
年代米米l:mi>
+米米l:mo>
α米米l:mi>
k米米l:mi>
1米米l:mn>
〈米米l:mo>
k米米l:mi>
〉米米l:mo>
∑米米l:mo>
k米米l:mi>
k米米l:mi>
P米米l:mi>
(米米l:mo>
k米米l:mi>
)米米l:mo>
U米米l:mi>
k米米l:mi>
(米米l:mo>
米米米l:mi>
)米米l:mo>
)米米l:mo>
)米米l:mo>
- - - - - -米米l:mo>
1米米l:mn>
。米米l:mo>
然后,根据引理
3,因为<我nline-formula>
1米米l:mn>
≤米米l:mo>
k米米l:mi>
≤米米l:mo>
n米米l:mi>
,<我nline-formula>
lim米米l:mi>
米米l:mo>
t米米l:mi>
→米米l:mo>
∞米米l:mi>
吃晚饭米米l:mi>
米米l:mo>
我米米l:mi>
k米米l:mi>
(米米l:mo>
t米米l:mi>
)米米l:mo>
≤米米l:mo>
1米米l:mn>
=米米l:mo>
U米米l:mi>
k米米l:mi>
(米米l:mo>
1米米l:mn>
)米米l:mo>
。通过应用命题
4,我们获得
(a)米米l:mtext>
limsup米米l:mi>
米米l:mo>
我米米l:mi>
k米米l:mi>
(米米l:mo>
t米米l:mi>
)米米l:mo>
t米米l:mi>
→米米l:mo>
∞米米l:mi>
≤米米l:mo>
U米米l:mi>
k米米l:mi>
(米米l:mo>
米米米l:mi>
)米米l:mo>
,米米l:mo>
0米米l:mn>
≤米米l:mo>
k米米l:mi>
≤米米l:mo>
n米米l:mi>
,米米l:mo>
米米米l:mi>
=米米l:mo>
1、2米米l:mn>
,米米l:mo>
…米米l:mo>
。米米l:mo>
接下来,考虑中定义的序列的收敛性(
a .)。由(
a .),为所有<我nline-formula>
k米米l:mi>
,米米l:mo>
U米米l:mi>
k米米l:mi>
(米米l:mo>
2米米l:mn>
)米米l:mo>
≤米米l:mo>
1米米l:mn>
=米米l:mo>
U米米l:mi>
k米米l:mi>
(米米l:mo>
1米米l:mn>
)米米l:mo>
。如果对所有<我nline-formula>
k米米l:mi>
,米米l:mo>
U米米l:mi>
k米米l:mi>
(米米l:mo>
米米米l:mi>
+米米l:mo>
1米米l:mn>
)米米l:mo>
≤米米l:mo>
U米米l:mi>
k米米l:mi>
(米米l:mo>
米米米l:mi>
)米米l:mo>
,那么很容易获得<我nline-formula>
U米米l:mi>
k米米l:mi>
(米米l:mo>
米米米l:mi>
+米米l:mo>
2米米l:mn>
)米米l:mo>
≤米米l:mo>
U米米l:mi>
k米米l:mi>
(米米l:mo>
米米米l:mi>
+米米l:mo>
1米米l:mn>
)米米l:mo>
。
由感应<我nline-formula>
k米米l:mi>
,序列<我nline-formula>
U米米l:mi>
k米米l:mi>
(米米l:mo>
米米米l:mi>
)米米l:mo>
正在减少,所以它的极限存在,用吗<我nline-formula>
U米米l:mi>
k米米l:mi>
=米米l:mo>
lim米米l:mi>
米米l:mo>
米米米l:mi>
→米米l:mo>
∞米米l:mi>
U米米l:mi>
k米米l:mi>
(米米l:mo>
米米米l:mi>
)米米l:mo>
。然后很容易显示<我nline-formula>
U米米l:mi>
k米米l:mi>
=米米l:mo>
lim米米l:mi>
米米l:mo>
t米米l:mi>
→米米l:mo>
∞米米l:mi>
吃晚饭米米l:mi>
米米l:mo>
我米米l:mi>
k米米l:mi>
(米米l:mo>
t米米l:mi>
)米米l:mo>
≤米米l:mo>
U米米l:mi>
k米米l:mi>
。
另一方面,用(
. 1)(
3),我们可以得到以下方程:
(各)米米l:mtext>
θ米米l:mi>
(米米l:mo>
t米米l:mi>
)米米l:mo>
=米米l:mo>
1米米l:mn>
〈米米l:mo>
k米米l:mi>
〉米米l:mo>
∑米米l:mo>
k米米l:mi>
k米米l:mi>
P米米l:mi>
(米米l:mo>
k米米l:mi>
)米米l:mo>
我米米l:mi>
k米米l:mi>
=米米l:mo>
1米米l:mn>
〈米米l:mo>
k米米l:mi>
〉米米l:mo>
∑米米l:mo>
k米米l:mi>
k米米l:mi>
P米米l:mi>
(米米l:mo>
k米米l:mi>
)米米l:mo>
(米米l:mo>
α米米l:mi>
δ米米l:mi>
μ米米l:mi>
k米米l:mi>
1米米l:mn>
〈米米l:mo>
k米米l:mi>
〉米米l:mo>
∑米米l:mo>
k米米l:mi>
k米米l:mi>
P米米l:mi>
(米米l:mo>
k米米l:mi>
)米米l:mo>
我米米l:mi>
k米米l:mi>
)米米l:mo>
×米米l:mo>
(米米l:mo>
(米米l:mo>
μ米米l:mi>
+米米l:mo>
r米米l:mi>
年代米米l:mi>
+米米l:mo>
α米米l:mi>
k米米l:mi>
1米米l:mn>
〈米米l:mo>
k米米l:mi>
〉米米l:mo>
∑米米l:mo>
k米米l:mi>
k米米l:mi>
P米米l:mi>
(米米l:mo>
k米米l:mi>
)米米l:mo>
我米米l:mi>
k米米l:mi>
)米米l:mo>
(米米l:mo>
μ米米l:mi>
+米米l:mo>
r米米l:mi>
1米米l:mn>
+米米l:mo>
δ米米l:mi>
)米米l:mo>
(米米l:mo>
μ米米l:mi>
+米米l:mo>
r米米l:mi>
2米米l:mn>
)米米l:mo>
k米米l:mi>
k米米l:mi>
k米米l:mi>
k米米l:mi>
k米米l:mi>
×米米l:mo>
(米米l:mo>
μ米米l:mi>
+米米l:mo>
r米米l:mi>
年代米米l:mi>
+米米l:mo>
α米米l:mi>
k米米l:mi>
1米米l:mn>
〈米米l:mo>
k米米l:mi>
〉米米l:mo>
∑米米l:mo>
k米米l:mi>
k米米l:mi>
P米米l:mi>
(米米l:mo>
k米米l:mi>
)米米l:mo>
我米米l:mi>
k米米l:mi>
)米米l:mo>
)米米l:mo>
- - - - - -米米l:mo>
1米米l:mn>
。米米l:mo>
从(
7),<我nline-formula>
θ米米l:mi>
=米米l:mo>
F米米l:mi>
(米米l:mo>
θ米米l:mi>
)米米l:mo>
,所以让<我nline-formula>
ℏ米米l:mi>
(米米l:mo>
x米米l:mi>
)米米l:mo>
=米米l:mo>
F米米l:mi>
(米米l:mo>
x米米l:mi>
)米米l:mo>
- - - - - -米米l:mo>
x米米l:mi>
,一个人可以获得<我nline-formula>
ℏ米米l:mi>
(米米l:mo>
0米米l:mn>
)米米l:mo>
=米米l:mo>
0米米l:mn>
和<我nline-formula>
ℏ米米l:mi>
′米米l:mi>
(米米l:mo>
0米米l:mn>
)米米l:mo>
>米米l:mo>
0米米l:mn>
。导数的定义,如果<我nline-formula>
x米米l:mi>
>米米l:mo>
0米米l:mn>
是足够小,那么<我nline-formula>
ℏ米米l:mi>
(米米l:mo>
x米米l:mi>
)米米l:mo>
>米米l:mo>
ℏ米米l:mi>
(米米l:mo>
0米米l:mn>
)米米l:mo>
=米米l:mo>
0米米l:mn>
。
根据命题
5,我们可以<我nline-formula>
ℓ米米l:mi>
k米米l:mi>
(米米l:mo>
1米米l:mn>
)米米l:mo>
这样,<我nline-formula>
k米米l:mi>
,米米l:mo>
0米米l:mn>
<米米l:mo>
ℓ米米l:mi>
k米米l:mi>
(米米l:mo>
1米米l:mn>
)米米l:mo>
<米米l:mo>
lim米米l:mi>
米米l:mo>
t米米l:mi>
→米米l:mo>
∞米米l:mi>
正米米l:mi>
米米l:mo>
我米米l:mi>
k米米l:mi>
(米米l:mo>
t米米l:mi>
)米米l:mo>
。
让
(本)米米l:mtext>
x米米l:mi>
=米米l:mo>
1米米l:mn>
〈米米l:mo>
k米米l:mi>
〉米米l:mo>
∑米米l:mo>
k米米l:mi>
k米米l:mi>
P米米l:mi>
(米米l:mo>
k米米l:mi>
)米米l:mo>
ℓ米米l:mi>
k米米l:mi>
(米米l:mo>
1米米l:mn>
)米米l:mo>
,米米l:mo>
ℏ米米l:mi>
(米米l:mo>
1米米l:mn>
〈米米l:mo>
k米米l:mi>
〉米米l:mo>
∑米米l:mo>
k米米l:mi>
k米米l:mi>
P米米l:mi>
(米米l:mo>
k米米l:mi>
)米米l:mo>
ℓ米米l:mi>
k米米l:mi>
(米米l:mo>
1米米l:mn>
)米米l:mo>
)米米l:mo>
>米米l:mo>
0米米l:mn>
;米米l:mo>
我们有
(要求寄出)米米l:mtext>
1米米l:mn>
〈米米l:mo>
k米米l:mi>
〉米米l:mo>
∑米米l:mo>
k米米l:mi>
k米米l:mi>
P米米l:mi>
(米米l:mo>
k米米l:mi>
)米米l:mo>
ℓ米米l:mi>
k米米l:mi>
(米米l:mo>
2米米l:mn>
)米米l:mo>
>米米l:mo>
1米米l:mn>
〈米米l:mo>
k米米l:mi>
〉米米l:mo>
∑米米l:mo>
k米米l:mi>
k米米l:mi>
P米米l:mi>
(米米l:mo>
k米米l:mi>
)米米l:mo>
ℓ米米l:mi>
k米米l:mi>
(米米l:mo>
1米米l:mn>
)米米l:mo>
。米米l:mo>
如果对所有<我nline-formula>
k米米l:mi>
,米米l:mo>
ℓ米米l:mi>
k米米l:mi>
(米米l:mo>
米米米l:mi>
+米米l:mo>
1米米l:mn>
)米米l:mo>
>米米l:mo>
ℓ米米l:mi>
k米米l:mi>
(米米l:mo>
米米米l:mi>
)米米l:mo>
,很容易获得<我nline-formula>
ℓ米米l:mi>
k米米l:mi>
(米米l:mo>
米米米l:mi>
+米米l:mo>
2米米l:mn>
)米米l:mo>
>米米l:mo>
ℓ米米l:mi>
k米米l:mi>
(米米l:mo>
米米米l:mi>
+米米l:mo>
1米米l:mn>
)米米l:mo>
。
因此,通过感应,<我nline-formula>
k米米l:mi>
,序列<我nline-formula>
ℓ米米l:mi>
k米米l:mi>
(米米l:mo>
米米米l:mi>
)米米l:mo>
越来越多,所以它的极限存在,用吗<我nline-formula>
ℓ米米l:mi>
k米米l:mi>
=米米l:mo>
lim米米l:mi>
米米l:mo>
米米米l:mi>
→米米l:mo>
∞米米l:mi>
ℓ米米l:mi>
k米米l:mi>
(米米l:mo>
米米米l:mi>
)米米l:mo>
。因此,它很容易验证<我nline-formula>
ℓ米米l:mi>
k米米l:mi>
<米米l:mo>
lim米米l:mi>
米米l:mo>
t米米l:mi>
→米米l:mo>
∞米米l:mi>
正米米l:mi>
米米l:mo>
我米米l:mi>
k米米l:mi>
(米米l:mo>
t米米l:mi>
)米米l:mo>
。
这两个<我nline-formula>
U米米l:mi>
k米米l:mi>
和<我nline-formula>
ℓ米米l:mi>
k米米l:mi>
是积极的静止点系统(
4)。因此,通过积极的驻点的独特性的微分方程,我们有<我nline-formula>
U米米l:mi>
k米米l:mi>
=米米l:mo>
ℓ米米l:mi>
k米米l:mi>
=米米l:mo>
我米米l:mi>
k米米l:mi>
和<我nline-formula>
我米米l:mi>
k米米l:mi>
≤米米l:mo>
lim米米l:mi>
米米l:mo>
t米米l:mi>
→米米l:mo>
∞米米l:mi>
正米米l:mi>
米米l:mo>
我米米l:mi>
k米米l:mi>
(米米l:mo>
t米米l:mi>
)米米l:mo>
≤米米l:mo>
lim米米l:mi>
米米l:mo>
t米米l:mi>
→米米l:mo>
∞米米l:mi>
吃晚饭米米l:mi>
米米l:mo>
我米米l:mi>
k米米l:mi>
(米米l:mo>
t米米l:mi>
)米米l:mo>
≤米米l:mo>
我米米l:mi>
k米米l:mi>
,米米l:mo>
1米米l:mn>
≤米米l:mo>
k米米l:mi>
≤米米l:mo>
n米米l:mi>
;也就是说,<我nline-formula>
lim米米l:mi>
米米l:mo>
t米米l:mi>
→米米l:mo>
∞米米l:mi>
我米米l:mi>
k米米l:mi>
(米米l:mo>
t米米l:mi>
)米米l:mo>
=米米l:mo>
我米米l:mi>
k米米l:mi>
。
替换<我nline-formula>
我米米l:mi>
k米米l:mi>
到(
5),我们将获得<我nline-formula>
lim米米l:mi>
米米l:mo>
t米米l:mi>
→米米l:mo>
∞米米l:mi>
E米米l:mi>
k米米l:mi>
(米米l:mo>
t米米l:mi>
)米米l:mo>
=米米l:mo>
E米米l:mi>
k米米l:mi>
和<我nline-formula>
lim米米l:mi>
米米l:mo>
t米米l:mi>
→米米l:mo>
∞米米l:mi>
年代米米l:mi>
k米米l:mi>
(米米l:mo>
t米米l:mi>
)米米l:mo>
=米米l:mo>
年代米米l:mi>
k米米l:mi>
。
引理
6是证明。
年代t一个tement>