证明。
行波解<我nl我ne-formula>
Ψ米米l:米我>米米l:mrow>
满足advance-delay方程
(13)米米l:米text>
- - - - - -米米l:米o>
我米米l:米我><米米l:mi>
ω米米l:米我><米米l:msup>
Ψ米米l:米我>米米l:mrow>
′米米l:米我>米米l:mrow>
u米米l:米我>米米l:mrow>
=米米l:米o>
∑米米l:米o>
j米米l:米我><米米l:mo>
=米米l:米o>
1米米l:米n>米米l:mrow>
N米米l:米我>米米l:mrow>
c米米l:米我>米米l:mrow>
κ米米l:米我>米米l:mrow>
j米米l:米我>米米l:mrow>
Δ米米l:米我>米米l:mrow>
j米米l:米我>米米l:mrow>
Ψ米米l:米我><米米l:mfenced separators="" open="(" close=")">
u米米l:米我>米米l:mrow>
+米米l:米o>
F米米l:米我><米米l:mfenced separators="" open="(" close=")">
Ψ米米l:米我><米米l:mfenced separators="|">
u米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
Ψ米米l:米我><米米l:mfenced separators="" open="(" close=")">
u米米l:米我>米米l:mrow>
,米米l:米o>
在哪里<我nl我ne-formula>
Δ米米l:米我>米米l:mrow>
j米米l:米我>米米l:mrow>
Ψ米米l:米我><米米l:mo stretchy="false">
(米米l:米o>
u米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
=米米l:米o>
Ψ米米l:米我><米米l:mo stretchy="false">
(米米l:米o>
u米米l:米我><米米l:mo>
+米米l:米o>
j米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
- - - - - -米米l:米o>
2米米l:米n><米米l:米i>
Ψ米米l:米我><米米l:mo stretchy="false">
(米米l:米o>
u米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
+米米l:米o>
Ψ米米l:米我><米米l:mo stretchy="false">
(米米l:米o>
u米米l:米我><米米l:mo>
- - - - - -米米l:米o>
j米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
和<我nl我ne-formula>
Ψ米米l:米我><米米l:mo stretchy="false">
(米米l:米o>
u米米l:米我><米米l:mo>
+米米l:米o>
2米米l:米n><米米l:米i>
π米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
=米米l:米o>
Ψ米米l:米我><米米l:mo stretchy="false">
(米米l:米o>
u米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
,米米l:米o>
∀米米l:米o>
u米米l:米我><米米l:mo>
∈米米l:米o>
R米米l:米我>米米l:math>
,所以根据Bloch-Floquet定理的解决方案必须形式
(14)米米l:米text>
Ψ米米l:米我><米米l:mfenced separators="" open="(" close=")">
u米米l:米我>米米l:mrow>
=米米l:米o>
经验值米米l:米我>米米l:mrow>
米米l:米o>
我米米l:米我><米米l:mi>
问米米l:米我><米米l:mi>
u米米l:米我>米米l:mrow>
Φ米米l:米我><米米l:mfenced separators="" open="(" close=")">
u米米l:米我>米米l:mrow>
,米米l:米o>
在哪里<我nl我ne-formula>
问米米l:米我><米米l:mo>
∈米米l:米o>
问米米l:米我><米米l:mo>
∩米米l:米o>
(米米l:米o>
0 1米米l:米n><米米l:米o stretchy="false">
)米米l:米o>
和
(15)米米l:米text>
Φ米米l:米我><米米l:mfenced separators="" open="(" close=")">
u米米l:米我><米米l:mo>
+米米l:米o>
2米米l:米n><米米l:米i>
π米米l:米我>米米l:mrow>
=米米l:米o>
Φ米米l:米我><米米l:mfenced separators="" open="(" close=")">
u米米l:米我>米米l:mrow>
,米米l:米o>
∀米米l:米o>
u米米l:米我><米米l:mo>
∈米米l:米o>
R米米l:米我><米米l:mo>
。米米l:米o>
用(
14)(
13)一个获得
(16)米米l:米text>
- - - - - -米米l:米o>
我米米l:米我><米米l:mi>
ω米米l:米我><米米l:msup>
Φ米米l:米我>米米l:mrow>
′米米l:米我>米米l:mrow>
u米米l:米我>米米l:mrow>
+米米l:米o>
ω米米l:米我><米米l:mi>
问米米l:米我><米米l:mi>
Φ米米l:米我><米米l:mfenced separators="" open="(" close=")">
u米米l:米我>米米l:mrow>
=米米l:米o>
∑米米l:米o>
j米米l:米我><米米l:mo>
=米米l:米o>
1米米l:米n>米米l:mrow>
N米米l:米我>米米l:mrow>
c米米l:米我>米米l:mrow>
κ米米l:米我>米米l:mrow>
j米米l:米我>米米l:mrow>
Δ米米l:米我>米米l:mrow>
~米米l:米o>
j米米l:米我>米米l:mrow>
Φ米米l:米我><米米l:mfenced separators="" open="(" close=")">
u米米l:米我>米米l:mrow>
+米米l:米o>
F米米l:米我><米米l:mfenced separators="" open="(" close=")">
Φ米米l:米我><米米l:mfenced separators="|">
u米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
Φ米米l:米我><米米l:mfenced separators="" open="(" close=")">
u米米l:米我>米米l:mrow>
,米米l:米o>
与
(17)米米l:米text>
Δ米米l:米我>米米l:mrow>
~米米l:米o>
j米米l:米我>米米l:mrow>
Φ米米l:米我><米米l:mfenced separators="" open="(" close=")">
u米米l:米我>米米l:mrow>
=米米l:米o>
Φ米米l:米我><米米l:mfenced separators="|">
u米米l:米我><米米l:mo>
+米米l:米o>
j米米l:米我>米米l:mrow>
经验值米米l:米我>米米l:mrow>
米米l:米o>
我米米l:米我><米米l:mi>
问米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
- - - - - -米米l:米o>
2米米l:米n><米米l:米i>
Φ米米l:米我><米米l:mfenced separators="" open="(" close=")">
u米米l:米我>米米l:mrow>
+米米l:米o>
Φ米米l:米我><米米l:mfenced separators="|">
u米米l:米我><米米l:mo>
- - - - - -米米l:米o>
j米米l:米我>米米l:mrow>
经验值米米l:米我>米米l:mrow>
米米l:米o>
- - - - - -米米l:米o>
我米米l:米我><米米l:mi>
问米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
。米米l:米o>
因此,任务量发现<我nl我ne-formula>
2米米l:米n><米米l:米i>
π米米l:米我>米米l:math>
周期函数<我nl我ne-formula>
Φ米米l:米我><米米l:mo>
∈米米l:米o>
C米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
(米米l:米o>
R米米l:米我><米米l:mo>
,米米l:米o>
C米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
令人满意的(
16)。
gydF4y2Ba为即将到来的讨论(
16)是适当的重新安排如下:
(18)米米l:米text>
- - - - - -米米l:米o>
我米米l:米我><米米l:mi>
ω米米l:米我><米米l:msup>
Φ米米l:米我>米米l:mrow>
′米米l:米我>米米l:mrow>
u米米l:米我>米米l:mrow>
+米米l:米o>
ω米米l:米我><米米l:mi>
问米米l:米我><米米l:mi>
Φ米米l:米我><米米l:mfenced separators="" open="(" close=")">
u米米l:米我>米米l:mrow>
- - - - - -米米l:米o>
∑米米l:米o>
j米米l:米我><米米l:mo>
=米米l:米o>
1米米l:米n>米米l:mrow>
N米米l:米我>米米l:mrow>
c米米l:米我>米米l:mrow>
κ米米l:米我>米米l:mrow>
j米米l:米我>米米l:mrow>
Δ米米l:米我>米米l:mrow>
~米米l:米o>
j米米l:米我>米米l:mrow>
Φ米米l:米我><米米l:mfenced separators="" open="(" close=")">
u米米l:米我>米米l:mrow>
=米米l:米o>
F米米l:米我><米米l:mfenced separators="" open="(" close=")">
Φ米米l:米我><米米l:mfenced separators="|">
u米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
Φ米米l:米我><米米l:mfenced separators="" open="(" close=")">
u米米l:米我>米米l:mrow>
。米米l:米o>
注意,术语非线性<我nl我ne-formula>
Φ米米l:米我>米米l:mrow>
功能只有r.h.s.的(
18)。
gydF4y2Ba让<我nl我ne-formula>
问米米l:米我><米米l:mo>
∈米米l:米o>
问米米l:米我><米米l:mo>
∩米米l:米o>
(米米l:米o>
0 1米米l:米n><米米l:米o stretchy="false">
)米米l:米o>
是固定的。我们确定了<我nl我ne-formula>
C米米l:米我>米米l:mrow>
与<我nl我ne-formula>
R米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
。表示由<我nl我ne-formula>
X米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
h米米l:米我>米米l:mrow>
真正的巴拿赫空间
(19)米米l:米text>
X米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
h米米l:米我>米米l:mrow>
=米米l:米o>
Θ米米l:米我><米米l:mo>
∈米米l:米o>
C米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
π米米l:米我>米米l:mrow>
h米米l:米我>米米l:mrow>
R米米l:米我><米米l:mo>
,米米l:米o>
C米米l:米我>米米l:mrow>
,米米l:米o>
h米米l:米我><米米l:mo>
=米米l:米o>
0 1米米l:米n><米米l:米o>
,米米l:米o>
在哪里<我nl我ne-formula>
C米米l:米我>米米l:mrow>
π米米l:米我>米米l:mrow>
h米米l:米我>米米l:mrow>
(米米l:米o>
R米米l:米我><米米l:mo>
,米米l:米o>
C米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
的巴拿赫空间吗<我nl我ne-formula>
2米米l:米n><米米l:米i>
π米米l:米我>米米l:math>
定期和<我nl我ne-formula>
C米米l:米我>米米l:mrow>
h米米l:米我>米米l:mrow>
功能<我nl我ne-formula>
Θ米米l:米我><米米l:mo>
:米米l:米o>
R米米l:米我><米米l:mo>
→米米l:米o>
C米米l:米我>米米l:math>
配备规范给出的
(20)米米l:米text>
Θ米米l:米我>米米l:mrow>
C米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
π米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
=米米l:米o>
马克斯米米l:米我>米米l:mrow>
u米米l:米我><米米l:mo>
∈米米l:米o>
0,2米米l:米n><米米l:米i>
π米米l:米我>米米l:mrow>
米米l:米o>
Θ米米l:米我><米米l:mfenced separators="" open="(" close=")">
u米米l:米我>米米l:mrow>
,米米l:米o>
Θ米米l:米我><米米l:mo>
∈米米l:米o>
C米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
π米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
R米米l:米我><米米l:mo>
,米米l:米o>
C米米l:米我>米米l:mrow>
,米米l:米o>
Θ米米l:米我>米米l:mrow>
C米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
π米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
=米米l:米o>
马克斯米米l:米我>米米l:mrow>
u米米l:米我><米米l:mo>
∈米米l:米o>
0,2米米l:米n><米米l:米i>
π米米l:米我>米米l:mrow>
米米l:米o>
Θ米米l:米我><米米l:mfenced separators="" open="(" close=")">
u米米l:米我>米米l:mrow>
+米米l:米o>
马克斯米米l:米我>米米l:mrow>
u米米l:米我><米米l:mo>
∈米米l:米o>
0,2米米l:米n><米米l:米i>
π米米l:米我>米米l:mrow>
米米l:米o>
Θ米米l:米我>米米l:mrow>
′米米l:米我>米米l:mrow>
u米米l:米我>米米l:mrow>
,米米l:米o>
Θ米米l:米我><米米l:mo>
∈米米l:米o>
C米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
π米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
R米米l:米我><米米l:mo>
,米米l:米o>
C米米l:米我>米米l:mrow>
,米米l:米o>
分别。<我nl我ne-formula>
X米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
是紧嵌在<我nl我ne-formula>
X米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
(<我nl我ne-formula>
X米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
⋐米米l:米o>
X米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
)。
gydF4y2Ba我们分解函数<我nl我ne-formula>
Θ米米l:米我><米米l:mo>
∈米米l:米o>
X米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
在傅里叶级数
(21)米米l:米text>
Θ米米l:米我><米米l:mfenced separators="" open="(" close=")">
u米米l:米我>米米l:mrow>
=米米l:米o>
∑米米l:米o>
l米米l:米我><米米l:mo>
∈米米l:米o>
Z米米l:米我>米米l:mrow>
Θ米米l:米我>米米l:mrow>
l米米l:米我>米米l:mrow>
经验值米米l:米我>米米l:mrow>
米米l:米o>
我米米l:米我><米米l:mi>
l米米l:米我><米米l:mi>
u米米l:米我>米米l:mrow>
。米米l:米o>
相关的左边(
18我们考虑线性映射:<我nl我ne-formula>
米米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
:米米l:米o>
X米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
→米米l:米o>
X米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
:
(22)米米l:米text>
米米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
Θ米米l:米我>米米l:mrow>
=米米l:米o>
- - - - - -米米l:米o>
我米米l:米我><米米l:mi>
ω米米l:米我><米米l:msup>
Θ米米l:米我>米米l:mrow>
′米米l:米我>米米l:mrow>
u米米l:米我>米米l:mrow>
+米米l:米o>
ω米米l:米我><米米l:mi>
问米米l:米我><米米l:mi>
Θ米米l:米我><米米l:mfenced separators="" open="(" close=")">
u米米l:米我>米米l:mrow>
- - - - - -米米l:米o>
∑米米l:米o>
j米米l:米我><米米l:mo>
=米米l:米o>
1米米l:米n>米米l:mrow>
N米米l:米我>米米l:mrow>
c米米l:米我>米米l:mrow>
κ米米l:米我>米米l:mrow>
j米米l:米我>米米l:mrow>
Δ米米l:米我>米米l:mrow>
~米米l:米o>
j米米l:米我>米米l:mrow>
Θ米米l:米我><米米l:mfenced separators="" open="(" close=")">
u米米l:米我>米米l:mrow>
。米米l:米o>
我们证明了这种映射是可逆的,得到一个上限标准的逆。
gydF4y2Ba应用算子<我nl我ne-formula>
米米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
傅里叶元素<我nl我ne-formula>
经验值米米l:米我>米米l:mrow>
米米l:米o>
(米米l:米o>
我米米l:米我><米米l:mi>
l米米l:米我><米米l:mi>
u米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
在(
21)的结果
(23)米米l:米text>
米米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
经验值米米l:米我>米米l:mrow>
米米l:米o>
我米米l:米我><米米l:mi>
l米米l:米我><米米l:mi>
u米米l:米我>米米l:mrow>
=米米l:米o>
ν米米l:米我>米米l:mrow>
l米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
经验值米米l:米我>米米l:mrow>
米米l:米o>
我米米l:米我><米米l:mi>
l米米l:米我><米米l:mi>
u米米l:米我>米米l:mrow>
,米米l:米o>
在哪里
(24)米米l:米text>
ν米米l:米我>米米l:mrow>
l米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
=米米l:米o>
ω米米l:米我><米米l:mfenced separators="" open="(" close=")">
问米米l:米我><米米l:mo>
+米米l:米o>
l米米l:米我>米米l:mrow>
+米米l:米o>
4米米l:米n><米米l:米row>
∑米米l:米o>
j米米l:米我><米米l:mo>
=米米l:米o>
1米米l:米n>米米l:mrow>
N米米l:米我>米米l:mrow>
c米米l:米我>米米l:mrow>
κ米米l:米我>米米l:mrow>
j米米l:米我>米米l:mrow>
罪米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
米米l:米o>
问米米l:米我><米米l:mo>
+米米l:米o>
l米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
j米米l:米我>米米l:mrow>
。米米l:米o>
假设(
8)有<我nl我ne-formula>
ν米米l:米我>米米l:mrow>
l米米l:米我>米米l:mrow>
(米米l:米o>
问米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
≠米米l:米o>
0米米l:米n>米米l:math>
,<我nl我ne-formula>
∀米米l:米o>
l米米l:米我><米米l:mo>
∈米米l:米o>
Z米米l:米我>米米l:math>
,这样的映射<我nl我ne-formula>
米米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
具有逆服从<我nl我ne-formula>
米米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
经验值米米l:米我>米米l:mrow>
米米l:米o>
(米米l:米o>
我米米l:米我><米米l:mi>
l米米l:米我><米米l:mi>
u米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
=米米l:米o>
1米米l:米n>米米l:mrow>
/米米l:米o>
ν米米l:米我>米米l:mrow>
l米米l:米我>米米l:mrow>
经验值米米l:米我>米米l:mrow>
米米l:米o>
(米米l:米o>
我米米l:米我><米米l:mi>
l米米l:米我><米米l:mi>
u米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
。有界的线性算子<我nl我ne-formula>
米米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
:米米l:米o>
X米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
→米米l:米o>
X米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
一个源自:
(25)米米l:米text>
米米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
X米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
,米米l:米o>
X米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
≡米米l:米o>
米米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
=米米l:米o>
吃晚饭米米l:米我>米米l:mrow>
0米米l:米n><米米l:米o>
≠米米l:米o>
Θ米米l:米我><米米l:mo>
∈米米l:米o>
X米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
米米l:米o>
米米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
Θ米米l:米我>米米l:mrow>
X米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
Θ米米l:米我>米米l:mrow>
X米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
=米米l:米o>
吃晚饭米米l:米我>米米l:mrow>
0米米l:米n><米米l:米o>
≠米米l:米o>
Θ米米l:米我><米米l:mo>
∈米米l:米o>
X米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
米米l:米o>
∑米米l:米o>
l米米l:米我><米米l:mo>
∈米米l:米o>
Z米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
/米米l:米o>
ν米米l:米我>米米l:mrow>
l米米l:米我>米米l:mrow>
Θ米米l:米我>米米l:mrow>
l米米l:米我>米米l:mrow>
经验值米米l:米我>米米l:mrow>
米米l:米o>
我米米l:米我><米米l:mi>
l米米l:米我><米米l:mi>
u米米l:米我>米米l:mrow>
X米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
Θ米米l:米我>米米l:mrow>
X米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
=米米l:米o>
吃晚饭米米l:米我>米米l:mrow>
0米米l:米n><米米l:米o>
≠米米l:米o>
Θ米米l:米我><米米l:mo>
∈米米l:米o>
X米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
米米l:米o>
吃晚饭米米l:米我>米米l:mrow>
u米米l:米我><米米l:mo>
∈米米l:米o>
0,2米米l:米n><米米l:米i>
π米米l:米我>米米l:mrow>
米米l:米o>
∑米米l:米o>
l米米l:米我><米米l:mo>
∈米米l:米o>
Z米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
/米米l:米o>
ν米米l:米我>米米l:mrow>
l米米l:米我>米米l:mrow>
Θ米米l:米我>米米l:mrow>
l米米l:米我>米米l:mrow>
经验值米米l:米我>米米l:mrow>
米米l:米o>
我米米l:米我><米米l:mi>
l米米l:米我><米米l:mi>
u米米l:米我>米米l:mrow>
+米米l:米o>
吃晚饭米米l:米我>米米l:mrow>
u米米l:米我><米米l:mo>
∈米米l:米o>
0,2米米l:米n><米米l:米i>
π米米l:米我>米米l:mrow>
米米l:米o>
∑米米l:米o>
l米米l:米我><米米l:mo>
∈米米l:米o>
Z米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
/米米l:米o>
ν米米l:米我>米米l:mrow>
l米米l:米我>米米l:mrow>
Θ米米l:米我>米米l:mrow>
l米米l:米我>米米l:mrow>
经验值米米l:米我>米米l:mrow>
米米l:米o>
我米米l:米我><米米l:mi>
l米米l:米我><米米l:mi>
u米米l:米我>米米l:mrow>
′米米l:米我>米米l:mrow>
Θ米米l:米我>米米l:mrow>
X米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
≤米米l:米o>
吃晚饭米米l:米我>米米l:mrow>
l米米l:米我><米米l:mo>
∈米米l:米o>
Z米米l:米我>米米l:mrow>
米米l:米o>
1米米l:米n><米米l:米o>
+米米l:米o>
l米米l:米我>米米l:mrow>
ν米米l:米我>米米l:mrow>
l米米l:米我>米米l:mrow>
吃晚饭米米l:米我>米米l:mrow>
0米米l:米n><米米l:米o>
≠米米l:米o>
Θ米米l:米我><米米l:mo>
∈米米l:米o>
X米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
米米l:米o>
吃晚饭米米l:米我>米米l:mrow>
u米米l:米我><米米l:mo>
∈米米l:米o>
0,2米米l:米n><米米l:米i>
π米米l:米我>米米l:mrow>
米米l:米o>
∑米米l:米o>
l米米l:米我><米米l:mo>
∈米米l:米o>
Z米米l:米我>米米l:mrow>
Θ米米l:米我>米米l:mrow>
l米米l:米我>米米l:mrow>
经验值米米l:米我>米米l:mrow>
米米l:米o>
我米米l:米我><米米l:mi>
l米米l:米我><米米l:mi>
u米米l:米我>米米l:mrow>
Θ米米l:米我>米米l:mrow>
X米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
=米米l:米o>
吃晚饭米米l:米我>米米l:mrow>
l米米l:米我><米米l:mo>
∈米米l:米o>
Z米米l:米我>米米l:mrow>
米米l:米o>
1米米l:米n><米米l:米o>
+米米l:米o>
l米米l:米我>米米l:mrow>
ν米米l:米我>米米l:mrow>
l米米l:米我>米米l:mrow>
=米米l:米o>
吃晚饭米米l:米我>米米l:mrow>
l米米l:米我><米米l:mo>
∈米米l:米o>
Z米米l:米我>米米l:mrow>
米米l:米o>
1米米l:米n><米米l:米o>
+米米l:米o>
l米米l:米我>米米l:mrow>
问米米l:米我><米米l:mo>
+米米l:米o>
l米米l:米我>米米l:mrow>
ω米米l:米我><米米l:mo>
+米米l:米o>
4米米l:米n>米米l:mrow>
/米米l:米o>
问米米l:米我><米米l:mo>
+米米l:米o>
l米米l:米我>米米l:mrow>
∑米米l:米o>
j米米l:米我><米米l:mo>
=米米l:米o>
1米米l:米n>米米l:mrow>
N米米l:米我>米米l:mrow>
c米米l:米我>米米l:mrow>
κ米米l:米我>米米l:mrow>
j米米l:米我>米米l:mrow>
罪米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
米米l:米o>
问米米l:米我><米米l:mo>
+米米l:米o>
l米米l:米我>米米l:mrow>
/米米l:米o>
2米米l:米n>米米l:mrow>
j米米l:米我>米米l:mrow>
≤米米l:米o>
问米米l:米我>米米l:mrow>
~米米l:米o>
+米米l:米o>
1米米l:米n>米米l:mrow>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
问米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
ω米米l:米我>米米l:mrow>
- - - - - -米米l:米o>
R米米l:米我>米米l:mrow>
≤米米l:米o>
1米米l:米n><米米l:米o>
+米米l:米o>
问米米l:米我>米米l:mrow>
R米米l:米我><米米l:mo>
+米米l:米o>
4米米l:米n><米米l:米over accent="false">
κ米米l:米我>米米l:mrow>
¯米米l:米o>
+米米l:米o>
一个米米l:米我><米米l:mfenced separators="" open="(" close=")">
1米米l:米n><米米l:米o>
+米米l:米o>
P米米l:米我>米米l:mrow>
b米米l:米我>米米l:mrow>
一个米米l:米我><米米l:mfenced separators="" open="(" close=")">
1米米l:米n><米米l:米o>
+米米l:米o>
P米米l:米我>米米l:mrow>
b米米l:米我>米米l:mrow>
R米米l:米我>米米l:mrow>
,米米l:米o>
在哪里<我nl我ne-formula>
问米米l:米我>米米l:mrow>
~米米l:米o>
在(
11)。
gydF4y2Ba对周期行波解<我nl我ne-formula>
Φ米米l:米我><米米l:mo>
∈米米l:米o>
C米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
π米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
(米米l:米o>
R米米l:米我><米米l:mo>
,米米l:米o>
C米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
一个派生,使用(
3),(
5),(
8)和(
16),范围
(26)米米l:米text>
米米米l:米我><米米l:mi mathvariant="normal">
一个米米l:米我><米米l:mi mathvariant="normal">
x米米l:米我>米米l:mrow>
u米米l:米我><米米l:mo>
∈米米l:米o>
0,2米米l:米n><米米l:米i>
π米米l:米我>米米l:mrow>
Φ米米l:米我><米米l:mfenced separators="" open="(" close=")">
u米米l:米我>米米l:mrow>
≤米米l:米o>
P米米l:米我>米米l:mrow>
1米米l:米n><米米l:米o>
/米米l:米o>
2米米l:米n>米米l:mrow>
,米米l:米o>
米米米l:米我><米米l:mi mathvariant="normal">
一个米米l:米我><米米l:mi mathvariant="normal">
x米米l:米我>米米l:mrow>
u米米l:米我><米米l:mo>
∈米米l:米o>
0,2米米l:米n><米米l:米i>
π米米l:米我>米米l:mrow>
Φ米米l:米我>米米l:mrow>
′米米l:米我>米米l:mrow>
u米米l:米我>米米l:mrow>
≤米米l:米o>
问米米l:米我><米米l:mo>
+米米l:米o>
4米米l:米n><米米l:米over accent="false">
κ米米l:米我>米米l:mrow>
¯米米l:米o>
+米米l:米o>
一个米米l:米我><米米l:mfenced separators="" open="(" close=")">
1米米l:米n><米米l:米o>
+米米l:米o>
P米米l:米我>米米l:mrow>
b米米l:米我>米米l:mrow>
R米米l:米我>米米l:mrow>
P米米l:米我>米米l:mrow>
1米米l:米n><米米l:米o>
/米米l:米o>
2米米l:米n>米米l:mrow>
。米米l:米o>
我们认为的关闭和凸子集<我nl我ne-formula>
X米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
和<我nl我ne-formula>
X米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
由
(27)米米l:米text>
Y米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
=米米l:米o>
Θ米米l:米我><米米l:mo>
∈米米l:米o>
X米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
:米米l:米o>
Θ米米l:米我>米米l:mrow>
C米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
π米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
≤米米l:米o>
P米米l:米我>米米l:mrow>
1米米l:米n><米米l:米o>
/米米l:米o>
2米米l:米n>米米l:mrow>
,米米l:米o>
Y米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
=米米l:米o>
Θ米米l:米我><米米l:mo>
∈米米l:米o>
X米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
:米米l:米o>
Θ米米l:米我>米米l:mrow>
C米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
π米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
≤米米l:米o>
1米米l:米n><米米l:米o>
+米米l:米o>
问米米l:米我><米米l:mo>
+米米l:米o>
4米米l:米n><米米l:米over accent="false">
κ米米l:米我>米米l:mrow>
¯米米l:米o>
+米米l:米o>
一个米米l:米我><米米l:mfenced separators="" open="(" close=")">
1米米l:米n><米米l:米o>
+米米l:米o>
P米米l:米我>米米l:mrow>
b米米l:米我>米米l:mrow>
R米米l:米我>米米l:mrow>
P米米l:米我>米米l:mrow>
1米米l:米n><米米l:米o>
/米米l:米o>
2米米l:米n>米米l:mrow>
,米米l:米o>
分别。<我nl我ne-formula>
Y米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
是紧嵌在<我nl我ne-formula>
Y米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
(<我nl我ne-formula>
Y米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
⋐米米l:米o>
Y米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
)。
gydF4y2Ba此外与r.h.s.相关(
18我们介绍了非线性算子<我nl我ne-formula>
N米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
:米米l:米o>
Y米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
→米米l:米o>
Y米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
,因为
(28)米米l:米text>
N米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
Θ米米l:米我>米米l:mrow>
=米米l:米o>
F米米l:米我><米米l:mfenced separators="" open="(" close=")">
Θ米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
Θ米米l:米我><米米l:mo>
。米米l:米o>
显然,操作员<我nl我ne-formula>
N米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
一致连续在<我nl我ne-formula>
Y米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
。中包含的范围是有限的球<我nl我ne-formula>
Y米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
,因为
(29)米米l:米text>
N米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
Θ米米l:米我>米米l:mrow>
Y米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
=米米l:米o>
F米米l:米我><米米l:mfenced separators="" open="(" close=")">
Θ米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
Θ米米l:米我>米米l:mrow>
C米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
π米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
=米米l:米o>
马克斯米米l:米我>米米l:mrow>
u米米l:米我><米米l:mo>
∈米米l:米o>
0,2米米l:米n><米米l:米i>
π米米l:米我>米米l:mrow>
米米l:米o>
F米米l:米我><米米l:mfenced separators="" open="(" close=")">
Θ米米l:米我><米米l:mfenced separators="|">
u米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
Θ米米l:米我><米米l:mfenced separators="" open="(" close=")">
u米米l:米我>米米l:mrow>
≤米米l:米o>
一个米米l:米我><米米l:mfenced separators="" open="(" close=")">
1米米l:米n><米米l:米o>
+米米l:米o>
P米米l:米我>米米l:mrow>
b米米l:米我>米米l:mrow>
P米米l:米我>米米l:mrow>
1米米l:米n><米米l:米o>
/米米l:米o>
2米米l:米n>米米l:mrow>
。米米l:米o>
最后,我们表达问题(
18)作为定点方程的一个映射<我nl我ne-formula>
Y米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
→米米l:米o>
Y米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
⋐米米l:米o>
Y米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
:
(30)米米l:米text>
Φ米米l:米我><米米l:mo>
=米米l:米o>
米米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
∘米米l:米o>
N米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
Φ米米l:米我>米米l:mrow>
≡米米l:米o>
T米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
Φ米米l:米我>米米l:mrow>
。米米l:米o>
我们得到了
(31)米米l:米text>
T米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
Φ米米l:米我>米米l:mrow>
Y米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
=米米l:米o>
米米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
N米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
Φ米米l:米我>米米l:mrow>
≤米米l:米o>
米米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
N米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
Φ米米l:米我>米米l:mrow>
Y米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
≤米米l:米o>
1米米l:米n><米米l:米o>
+米米l:米o>
问米米l:米我><米米l:mo>
+米米l:米o>
4米米l:米n><米米l:米over accent="false">
κ米米l:米我>米米l:mrow>
¯米米l:米o>
+米米l:米o>
一个米米l:米我><米米l:mfenced separators="" open="(" close=")">
1米米l:米n><米米l:米o>
+米米l:米o>
P米米l:米我>米米l:mrow>
b米米l:米我>米米l:mrow>
R米米l:米我>米米l:mrow>
P米米l:米我>米米l:mrow>
1米米l:米n><米米l:米o>
/米米l:米o>
2米米l:米n>米米l:mrow>
,米米l:米o>
验证确实
(32)米米l:米text>
T米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
Y米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
⊆米米l:米o>
Y米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
。米米l:米o>
因此<我nl我ne-formula>
T米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
地图有限子集<我nl我ne-formula>
Y米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
的<我nl我ne-formula>
X米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
成相对紧凑的子集<我nl我ne-formula>
Y米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
的<我nl我ne-formula>
Y米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
。
gydF4y2Ba还有待证明<我nl我ne-formula>
T米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
上是连续的<我nl我ne-formula>
Y米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
。作为<我nl我ne-formula>
N米米l:米我>米米l:mrow>
一致连续在<我nl我ne-formula>
Y米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
,一个<我nl我ne-formula>
∀米米l:米o>
t米米l:米我><米米l:mo>
∈米米l:米o>
(米米l:米o>
0,2米米l:米n><米米l:米i>
π米米l:米我><米米l:mo stretchy="false">
]米米l:米o>
和<我nl我ne-formula>
∀米米l:米o>
Φ米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o>
Φ米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
∈米米l:米o>
Y米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
对于一个固定的任意的<我nl我ne-formula>
ϵ米米l:米我><米米l:mo>
>米米l:米o>
0米米l:米n>米米l:math>
存在<我nl我ne-formula>
δ米米l:米我><米米l:mo>
>米米l:米o>
0米米l:米n>米米l:math>
这样
(33)米米l:米text>
N米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
Φ米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
t米米l:米我>米米l:mrow>
- - - - - -米米l:米o>
N米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
Φ米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
t米米l:米我>米米l:mrow>
Y米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
<米米l:米o>
一个米米l:米我><米米l:mfenced separators="" open="(" close=")">
1米米l:米n><米米l:米o>
+米米l:米o>
P米米l:米我>米米l:mrow>
b米米l:米我>米米l:mrow>
R米米l:米我>米米l:mrow>
1米米l:米n><米米l:米o>
+米米l:米o>
问米米l:米我>米米l:mrow>
R米米l:米我><米米l:mo>
+米米l:米o>
4米米l:米n><米米l:米over accent="false">
κ米米l:米我>米米l:mrow>
¯米米l:米o>
+米米l:米o>
一个米米l:米我><米米l:mfenced separators="" open="(" close=")">
1米米l:米n><米米l:米o>
+米米l:米o>
P米米l:米我>米米l:mrow>
b米米l:米我>米米l:mrow>
ϵ米米l:米我>米米l:mtd>
如果<我nl我ne-formula>
Φ米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
- - - - - -米米l:米o>
Φ米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
Y米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
<米米l:米o>
δ米米l:米我>米米l:math>
。因此,对于任意的<我nl我ne-formula>
Φ米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o>
Φ米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
∈米米l:米o>
Y米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
,我们有
(34)米米l:米text>
米米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
N米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
Φ米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
- - - - - -米米l:米o>
米米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
N米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
Φ米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
Y米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
⋐米米l:米o>
Y米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
≤米米l:米o>
米米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
N米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
Φ米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
- - - - - -米米l:米o>
N米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
Φ米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
Y米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
<米米l:米o>
ϵ米米l:米我><米米l:mo>
,米米l:米o>
验证<我nl我ne-formula>
T米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
(米米l:米o>
Φ米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
上是连续的<我nl我ne-formula>
Y米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
。Schauder的不动点定理所暗示的那么定点方程<我nl我ne-formula>
Φ米米l:米我><米米l:mo>
=米米l:米o>
T米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
(米米l:米o>
Φ米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
至少有一个解决方案。
gydF4y2Ba此外,线性平面的光谱波解(声子)产生零非线性项,r.h.s.确定的系统(
18),形成一个连续的乐队与区间值<我nl我ne-formula>
(米米l:米o>
- - - - - -米米l:米o>
R米米l:米我><米米l:mo>
,米米l:米o>
R米米l:米我><米米l:mo stretchy="false">
]米米l:米o>
。然而,由于假设(
8)的值振荡的频率<我nl我ne-formula>
ω米米l:米我>米米l:mrow>
范围之外的线性(声子)乐队,相应的轨道是不和谐的。这需要amplitude-depending调谐的频率,后者之外的声子谱。因此,必须持有<我nl我ne-formula>
N米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
(米米l:米o>
Φ米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
Y米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
=米米l:米o>
F米米l:米我><米米l:mo stretchy="false">
(米米l:米o>
|米米l:米o>
Φ米米l:米我><米米l:msup>
|米米l:米o>
2米米l:米n>米米l:mrow>
)米米l:米o>
Φ米米l:米我>米米l:mrow>
C米米l:米我>米米l:mrow>
2米米l:米n><米米l:米i>
π米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
≢米米l:米o>
0米米l:米n>米米l:math>
只有实现是哪一个<我nl我ne-formula>
Φ米米l:米我><米米l:mo>
≢米米l:米o>
0米米l:米n>米米l:math>
。也就是说,定点方程(
30.)只具有非零解决方案和完成的证据。
年代t一个tement>