2。定理的证明< xref掉=“thm1”ref-type = "语句" > < / xref > 1
让我们介绍一下以下主要结果(
5]。
定理4。
如果<我nline-formula>
f米米l:mi>
∈米米l:mo>
H米米l:mi>
满足
(18)米米l:mtext>
∑米米l:mo>
n米米l:mi>
∈米米l:mo>
Z米米l:mi>
,米米l:mo>
n米米l:mi>
≠米米l:mo>
0米米l:mn>
n米米l:mi>
2米米l:mn>
f米米l:mi>
n米米l:mi>
2米米l:mn>
<米米l:mo>
1米米l:mn>
72年米米l:mn>
,米米l:mo>
∫米米l:mo>
0米米l:mn>
l米米l:mi>
f米米l:mi>
x米米l:mi>
−米米l:mo>
3米米l:mn>
f米米l:mi>
2米米l:mn>
x米米l:mi>
d米米l:mi>
x米米l:mi>
=米米l:mo>
0米米l:mn>
,米米l:mo>
然后问题(
1)和(
2)有且只有一个解决方案的形式(
3)。对所有<我nline-formula>
t米米l:mi>
≥米米l:mo>
0米米l:mn>
傅里叶级数(
3)一致收敛<我nline-formula>
x米米l:mi>
。和是可微的<我nline-formula>
x米米l:mi>
几乎所有<我nline-formula>
x米米l:mi>
∈米米l:mo>
0米米l:mn>
,米米l:mo>
l米米l:mi>
。导数满足条件<我nline-formula>
u米米l:mi>
x米米l:mi>
·米米l:mo>
,米米l:mo>
t米米l:mi>
∈米米l:mo>
l米米l:mi>
2米米l:mn>
0米米l:mn>
,米米l:mo>
l米米l:mi>
和<我nline-formula>
u米米l:mi>
x米米l:mi>
x米米l:mi>
,米米l:mo>
·米米l:mo>
∈米米l:mo>
C米米l:mi>
0米米l:mn>
,米米l:mo>
∞米米l:mo>
。此外,<我nline-formula>
u米米l:mi>
x米米l:mi>
是可微的<我nline-formula>
t米米l:mi>
,(
1适用于几乎所有<我nline-formula>
x米米l:mi>
∈米米l:mo>
0米米l:mn>
,米米l:mo>
l米米l:mi>
。
两个初始数据限制强加在定理
4。让我们回顾的推导方程(
1)。Benjamin-Bona-Mahony-Peregrine方程读取
(19)米米l:mtext>
V米米l:mi>
t米米l:mi>
+米米l:mo>
V米米l:mi>
x米米l:mi>
−米米l:mo>
V米米l:mi>
x米米l:mi>
x米米l:mi>
t米米l:mi>
=米米l:mo>
3米米l:mn>
V米米l:mi>
2米米l:mn>
x米米l:mi>
。米米l:mo>
变量的变化<我nline-formula>
V米米l:mi>
x米米l:mi>
,米米l:mo>
t米米l:mi>
=米米l:mo>
U米米l:mi>
ξ米米l:mi>
,米米l:mo>
τ米米l:mi>
与<我nline-formula>
ξ米米l:mi>
=米米l:mo>
x米米l:mi>
/米米l:mo>
ε米米l:mi>
和<我nline-formula>
τ米米l:mi>
=米米l:mo>
ε米米l:mi>
t米米l:mi>
方程(
19)成为
(20)米米l:mtext>
ε米米l:mi>
U米米l:mi>
τ米米l:mi>
+米米l:mo>
1米米l:mn>
ε米米l:mi>
U米米l:mi>
ξ米米l:mi>
−米米l:mo>
U米米l:mi>
ξ米米l:mi>
ξ米米l:mi>
τ米米l:mi>
−米米l:mo>
3米米l:mn>
U米米l:mi>
2米米l:mn>
ξ米米l:mi>
=米米l:mo>
0米米l:mn>
。米米l:mo>
考虑小<我nline-formula>
ε米米l:mi>
,一个渐近方程<我nline-formula>
U米米l:mi>
ξ米米l:mi>
−米米l:mo>
U米米l:mi>
ξ米米l:mi>
ξ米米l:mi>
τ米米l:mi>
−米米l:mo>
3米米l:mn>
U米米l:mi>
2米米l:mn>
ξ米米l:mi>
=米米l:mo>
0米米l:mn>
获得可集成在吗<我nline-formula>
ξ米米l:mi>
给
(21)米米l:mtext>
U米米l:mi>
ξ米米l:mi>
τ米米l:mi>
=米米l:mo>
U米米l:mi>
−米米l:mo>
3米米l:mn>
U米米l:mi>
2米米l:mn>
+米米l:mo>
H米米l:mi>
τ米米l:mi>
,米米l:mo>
在哪里<我nline-formula>
H米米l:mi>
τ米米l:mi>
是积分常数对变量<我nline-formula>
ξ米米l:mi>
。零条件<我nline-formula>
H米米l:mi>
τ米米l:mi>
=米米l:mo>
0米米l:mn>
被认为是在
1]。
删除限制定理的初始数据
4允许更多的解决方案,如行波解,我们考虑以下修改短波方程:
(22)米米l:mtext>
u米米l:mi>
t米米l:mi>
x米米l:mi>
=米米l:mo>
u米米l:mi>
−米米l:mo>
3米米l:mn>
u米米l:mi>
2米米l:mn>
−米米l:mo>
1米米l:mn>
l米米l:mi>
∫米米l:mo>
0米米l:mn>
l米米l:mi>
u米米l:mi>
−米米l:mo>
3米米l:mn>
u米米l:mi>
2米米l:mn>
d米米l:mi>
x米米l:mi>
,米米l:mo>
有条件
(23)米米l:mtext>
u米米l:mi>
x米米l:mi>
,米米l:mo>
0米米l:mn>
=米米l:mo>
f米米l:mi>
x米米l:mi>
,米米l:mo>
(24)米米l:mtext>
u米米l:mi>
0米米l:mn>
,米米l:mo>
t米米l:mi>
=米米l:mo>
u米米l:mi>
l米米l:mi>
,米米l:mo>
t米米l:mi>
=米米l:mo>
g米米l:mi>
t米米l:mi>
,米米l:mo>
我们假设<我nline-formula>
f米米l:mi>
∈米米l:mo>
H米米l:mi>
,<我nline-formula>
g米米l:mi>
∈米米l:mo>
C米米l:mi>
1米米l:mn>
0米米l:mn>
,米米l:mo>
∞米米l:mo>
和兼容性条件<我nline-formula>
f米米l:mi>
0米米l:mn>
=米米l:mo>
f米米l:mi>
l米米l:mi>
=米米l:mo>
g米米l:mi>
0米米l:mn>
。我们可以检查<我nline-formula>
∫米米l:mo>
0米米l:mn>
l米米l:mi>
u米米l:mi>
t米米l:mi>
x米米l:mi>
d米米l:mi>
x米米l:mi>
=米米l:mo>
0米米l:mn>
在(
22)。注意,最初的数据(
23)仅是不够的独特性,和附加条件(
24)是初值问题所需的特征
6,
7,
17]。
用(
3)(
22),我们获得一个常微分方程组
(25)米米l:mtext>
d米米l:mi>
d米米l:mi>
t米米l:mi>
u米米l:mi>
n米米l:mi>
=米米l:mo>
−米米l:mo>
我米米l:mi>
l米米l:mi>
2米米l:mn>
π米米l:mi>
n米米l:mi>
u米米l:mi>
n米米l:mi>
−米米l:mo>
3米米l:mn>
∑米米l:mo>
α米米l:mi>
+米米l:mo>
β米米l:mi>
=米米l:mo>
n米米l:mi>
u米米l:mi>
α米米l:mi>
u米米l:mi>
β米米l:mi>
为米米l:mtext>
n米米l:mi>
≠米米l:mo>
0米米l:mn>
。米米l:mo>
为<我nline-formula>
n米米l:mi>
=米米l:mo>
0米米l:mn>
,左侧(
22)是零。让我们计算的右边(
22)。考虑到傅里叶级数的解决方案(
3),我们有
(26)米米l:mtext>
1米米l:mn>
l米米l:mi>
∫米米l:mo>
0米米l:mn>
l米米l:mi>
u米米l:mi>
−米米l:mo>
3米米l:mn>
u米米l:mi>
2米米l:mn>
d米米l:mi>
x米米l:mi>
=米米l:mo>
u米米l:mi>
0米米l:mn>
−米米l:mo>
3米米l:mn>
u米米l:mi>
0米米l:mn>
2米米l:mn>
−米米l:mo>
3米米l:mn>
∑米米l:mo>
n米米l:mi>
∈米米l:mo>
Z米米l:mi>
,米米l:mo>
n米米l:mi>
≠米米l:mo>
0米米l:mn>
u米米l:mi>
n米米l:mi>
2米米l:mn>
。米米l:mo>
然后,右边的
22)成为<我nline-formula>
n米米l:mi>
=米米l:mo>
0米米l:mn>
(27)米米l:mtext>
u米米l:mi>
0米米l:mn>
−米米l:mo>
3米米l:mn>
∑米米l:mo>
α米米l:mi>
+米米l:mo>
β米米l:mi>
=米米l:mo>
0米米l:mn>
u米米l:mi>
α米米l:mi>
u米米l:mi>
β米米l:mi>
−米米l:mo>
1米米l:mn>
l米米l:mi>
∫米米l:mo>
0米米l:mn>
l米米l:mi>
u米米l:mi>
−米米l:mo>
3米米l:mn>
u米米l:mi>
2米米l:mn>
d米米l:mi>
x米米l:mi>
=米米l:mo>
u米米l:mi>
0米米l:mn>
−米米l:mo>
3米米l:mn>
u米米l:mi>
0米米l:mn>
2米米l:mn>
−米米l:mo>
3米米l:mn>
∑米米l:mo>
α米米l:mi>
≠米米l:mo>
0米米l:mn>
u米米l:mi>
α米米l:mi>
u米米l:mi>
−米米l:mo>
α米米l:mi>
−米米l:mo>
u米米l:mi>
0米米l:mn>
−米米l:mo>
3米米l:mn>
u米米l:mi>
0米米l:mn>
2米米l:mn>
−米米l:mo>
3米米l:mn>
∑米米l:mo>
n米米l:mi>
∈米米l:mo>
Z米米l:mi>
,米米l:mo>
n米米l:mi>
≠米米l:mo>
0米米l:mn>
u米米l:mi>
n米米l:mi>
2米米l:mn>
=米米l:mo>
0米米l:mn>
,米米l:mo>
在哪里<我nline-formula>
u米米l:mi>
−米米l:mo>
α米米l:mi>
=米米l:mo>
u米米l:mi>
¯米米l:mo>
α米米l:mi>
使用。关系(
24)意味着
(28)米米l:mtext>
u米米l:mi>
0米米l:mn>
t米米l:mi>
=米米l:mo>
g米米l:mi>
t米米l:mi>
−米米l:mo>
∑米米l:mo>
n米米l:mi>
∈米米l:mo>
Z米米l:mi>
,米米l:mo>
n米米l:mi>
≠米米l:mo>
0米米l:mn>
u米米l:mi>
n米米l:mi>
t米米l:mi>
。米米l:mo>
因此,我们得出以下系统的常微分方程:
(29)米米l:mtext>
d米米l:mi>
d米米l:mi>
t米米l:mi>
u米米l:mi>
n米米l:mi>
=米米l:mo>
−米米l:mo>
我米米l:mi>
l米米l:mi>
2米米l:mn>
π米米l:mi>
n米米l:mi>
u米米l:mi>
n米米l:mi>
−米米l:mo>
3米米l:mn>
∑米米l:mo>
α米米l:mi>
+米米l:mo>
β米米l:mi>
=米米l:mo>
n米米l:mi>
u米米l:mi>
α米米l:mi>
u米米l:mi>
β米米l:mi>
为米米l:mtext>
n米米l:mi>
≠米米l:mo>
0米米l:mn>
,米米l:mo>
u米米l:mi>
0米米l:mn>
t米米l:mi>
=米米l:mo>
g米米l:mi>
t米米l:mi>
−米米l:mo>
∑米米l:mo>
n米米l:mi>
∈米米l:mo>
Z米米l:mi>
,米米l:mo>
n米米l:mi>
≠米米l:mo>
0米米l:mn>
u米米l:mi>
n米米l:mi>
t米米l:mi>
,米米l:mo>
u米米l:mi>
n米米l:mi>
0米米l:mn>
=米米l:mo>
f米米l:mi>
n米米l:mi>
,米米l:mo>
在哪里<我nline-formula>
f米米l:mi>
x米米l:mi>
=米米l:mo>
∑米米l:mo>
n米米l:mi>
∈米米l:mo>
Z米米l:mi>
f米米l:mi>
n米米l:mi>
e米米l:mi>
我米米l:mi>
2米米l:mn>
π米米l:mi>
n米米l:mi>
x米米l:mi>
/米米l:mo>
l米米l:mi>
。
我们说一个函数<我nline-formula>
u米米l:mi>
∈米米l:mo>
C米米l:mi>
0米米l:mn>
,米米l:mo>
T米米l:mi>
,米米l:mo>
H米米l:mi>
是一个解决问题(
22)- (
24),如果傅里叶系数<我nline-formula>
u米米l:mi>
n米米l:mi>
满足(
29日)为所有<我nline-formula>
n米米l:mi>
。为<我nline-formula>
v米米l:mi>
∈米米l:mo>
C米米l:mi>
0米米l:mn>
,米米l:mo>
T米米l:mi>
,米米l:mo>
H米米l:mi>
,我们定义一个操作符<我nline-formula>
Φ米米l:mi>
:米米l:mo>
C米米l:mi>
0米米l:mn>
,米米l:mo>
T米米l:mi>
,米米l:mo>
H米米l:mi>
→米米l:mo>
C米米l:mi>
0米米l:mn>
,米米l:mo>
T米米l:mi>
,米米l:mo>
H米米l:mi>
:米米l:mtext>
(30)米米l:mtext>
Φ米米l:mi>
n米米l:mi>
v米米l:mi>
t米米l:mi>
=米米l:mo>
f米米l:mi>
n米米l:mi>
−米米l:mo>
我米米l:mi>
l米米l:mi>
2米米l:mn>
π米米l:mi>
n米米l:mi>
∫米米l:mo>
0米米l:mn>
t米米l:mi>
v米米l:mi>
n米米l:mi>
−米米l:mo>
3米米l:mn>
∑米米l:mo>
α米米l:mi>
∈米米l:mo>
Z米米l:mi>
v米米l:mi>
α米米l:mi>
v米米l:mi>
n米米l:mi>
−米米l:mo>
α米米l:mi>
为米米l:mtext>
n米米l:mi>
≠米米l:mo>
0米米l:mn>
,米米l:mo>
Φ米米l:mi>
0米米l:mn>
v米米l:mi>
t米米l:mi>
=米米l:mo>
g米米l:mi>
t米米l:mi>
−米米l:mo>
∑米米l:mo>
n米米l:mi>
∈米米l:mo>
Z米米l:mi>
,米米l:mo>
n米米l:mi>
≠米米l:mo>
0米米l:mn>
Φ米米l:mi>
n米米l:mi>
v米米l:mi>
t米米l:mi>
。米米l:mo>
我们将证明一个地方存在定理的一部分
1通过应用一个标准的收缩映射定理。表示由<我nline-formula>
F米米l:mi>
g米米l:mi>
∈米米l:mo>
C米米l:mi>
0米米l:mn>
,米米l:mo>
T米米l:mi>
,米米l:mo>
H米米l:mi>
这个函数<我nline-formula>
F米米l:mi>
g米米l:mi>
x米米l:mi>
,米米l:mo>
t米米l:mi>
=米米l:mo>
f米米l:mi>
x米米l:mi>
+米米l:mo>
g米米l:mi>
t米米l:mi>
并考虑空间
(31)米米l:mtext>
年代米米l:mi>
T米米l:mi>
米米米l:mi>
=米米l:mo>
v米米l:mi>
∈米米l:mo>
C米米l:mi>
0米米l:mn>
,米米l:mo>
T米米l:mi>
,米米l:mo>
H米米l:mi>
:米米l:mtext>
∥米米l:mo>
v米米l:mi>
−米米l:mo>
F米米l:mi>
g米米l:mi>
∥米米l:mo>
≤米米l:mo>
米米米l:mi>
,米米l:mo>
在哪里<我nline-formula>
T米米l:mi>
>米米l:mo>
0米米l:mn>
和<我nline-formula>
米米米l:mi>
>米米l:mo>
0米米l:mn>
。
命题5。
让<我nline-formula>
f米米l:mi>
∈米米l:mo>
H米米l:mi>
和<我nline-formula>
g米米l:mi>
∈米米l:mo>
C米米l:mi>
1米米l:mn>
。然后,映射(
30.)是一个收缩的映射<我nline-formula>
年代米米l:mi>
T米米l:mi>
米米米l:mi>
来<我nline-formula>
年代米米l:mi>
T米米l:mi>
米米米l:mi>
足够小的<我nline-formula>
T米米l:mi>
。
证明。
我们遵循命题2.2的参数(
5)与小修改来自不同的定义<我nline-formula>
Φ米米l:mi>
0米米l:mn>
v米米l:mi>
在(
30.)(
6)。为<我nline-formula>
v米米l:mi>
,米米l:mo>
ω米米l:mi>
∈米米l:mo>
年代米米l:mi>
T米米l:mi>
米米米l:mi>
,我们有
(32)米米l:mtext>
∑米米l:mo>
n米米l:mi>
≠米米l:mo>
0米米l:mn>
n米米l:mi>
2米米l:mn>
Φ米米l:mi>
n米米l:mi>
v米米l:mi>
−米米l:mo>
Φ米米l:mi>
n米米l:mi>
ω米米l:mi>
2米米l:mn>
≲米米l:mo>
∑米米l:mo>
n米米l:mi>
≠米米l:mo>
0米米l:mn>
∫米米l:mo>
0米米l:mn>
t米米l:mi>
∣米米l:mo>
v米米l:mi>
n米米l:mi>
−米米l:mo>
ω米米l:mi>
n米米l:mi>
∣米米l:mo>
+米米l:mo>
∑米米l:mo>
k米米l:mi>
=米米l:mo>
−米米l:mo>
∞米米l:mo>
∞米米l:mo>
v米米l:mi>
k米米l:mi>
−米米l:mo>
ω米米l:mi>
k米米l:mi>
v米米l:mi>
n米米l:mi>
−米米l:mo>
k米米l:mi>
+米米l:mo>
ω米米l:mi>
k米米l:mi>
v米米l:mi>
n米米l:mi>
−米米l:mo>
k米米l:mi>
−米米l:mo>
ω米米l:mi>
n米米l:mi>
−米米l:mo>
k米米l:mi>
d米米l:mi>
年代米米l:mi>
2米米l:mn>
≲米米l:mo>
t米米l:mi>
∑米米l:mo>
n米米l:mi>
≠米米l:mo>
0米米l:mn>
∫米米l:mo>
0米米l:mn>
t米米l:mi>
v米米l:mi>
n米米l:mi>
−米米l:mo>
ω米米l:mi>
n米米l:mi>
2米米l:mn>
+米米l:mo>
∑米米l:mo>
k米米l:mi>
=米米l:mo>
−米米l:mo>
∞米米l:mo>
∞米米l:mo>
∣米米l:mo>
v米米l:mi>
k米米l:mi>
−米米l:mo>
ω米米l:mi>
k米米l:mi>
∣米米l:mo>
∣米米l:mo>
v米米l:mi>
n米米l:mi>
−米米l:mo>
k米米l:mi>
∣米米l:mo>
+米米l:mo>
∣米米l:mo>
ω米米l:mi>
n米米l:mi>
−米米l:mo>
k米米l:mi>
∣米米l:mo>
2米米l:mn>
d米米l:mi>
年代米米l:mi>
≲米米l:mo>
t米米l:mi>
∑米米l:mo>
n米米l:mi>
≠米米l:mo>
0米米l:mn>
∫米米l:mo>
0米米l:mn>
t米米l:mi>
v米米l:mi>
n米米l:mi>
−米米l:mo>
ω米米l:mi>
n米米l:mi>
2米米l:mn>
+米米l:mo>
v米米l:mi>
0米米l:mn>
−米米l:mo>
ω米米l:mi>
0米米l:mn>
2米米l:mn>
v米米l:mi>
n米米l:mi>
2米米l:mn>
+米米l:mo>
ω米米l:mi>
n米米l:mi>
2米米l:mn>
+米米l:mo>
∑米米l:mo>
k米米l:mi>
≠米米l:mo>
0米米l:mn>
1米米l:mn>
k米米l:mi>
2米米l:mn>
∑米米l:mo>
k米米l:mi>
≠米米l:mo>
0米米l:mn>
k米米l:mi>
2米米l:mn>
v米米l:mi>
k米米l:mi>
−米米l:mo>
ω米米l:mi>
k米米l:mi>
2米米l:mn>
v米米l:mi>
n米米l:mi>
−米米l:mo>
k米米l:mi>
2米米l:mn>
+米米l:mo>
ω米米l:mi>
n米米l:mi>
−米米l:mo>
k米米l:mi>
2米米l:mn>
d米米l:mi>
年代米米l:mi>
≲米米l:mo>
t米米l:mi>
∫米米l:mo>
0米米l:mn>
t米米l:mi>
1米米l:mn>
+米米l:mo>
∑米米l:mo>
n米米l:mi>
≠米米l:mo>
0米米l:mn>
v米米l:mi>
n米米l:mi>
2米米l:mn>
+米米l:mo>
ω米米l:mi>
n米米l:mi>
2米米l:mn>
d米米l:mi>
年代米米l:mi>
∥米米l:mo>
v米米l:mi>
−米米l:mo>
ω米米l:mi>
∥米米l:mo>
2米米l:mn>
≲米米l:mo>
T米米l:mi>
2米米l:mn>
1米米l:mn>
+米米l:mo>
∥米米l:mo>
v米米l:mi>
∥米米l:mo>
2米米l:mn>
+米米l:mo>
∥米米l:mo>
ω米米l:mi>
∥米米l:mo>
2米米l:mn>
∥米米l:mo>
v米米l:mi>
−米米l:mo>
ω米米l:mi>
∥米米l:mo>
2米米l:mn>
。米米l:mo>
我们也有
(33)米米l:mtext>
Φ米米l:mi>
0米米l:mn>
v米米l:mi>
−米米l:mo>
Φ米米l:mi>
0米米l:mn>
ω米米l:mi>
2米米l:mn>
≤米米l:mo>
∑米米l:mo>
k米米l:mi>
≠米米l:mo>
0米米l:mn>
Φ米米l:mi>
k米米l:mi>
v米米l:mi>
−米米l:mo>
Φ米米l:mi>
k米米l:mi>
ω米米l:mi>
2米米l:mn>
≤米米l:mo>
∑米米l:mo>
k米米l:mi>
≠米米l:mo>
0米米l:mn>
1米米l:mn>
k米米l:mi>
2米米l:mn>
∑米米l:mo>
k米米l:mi>
≠米米l:mo>
0米米l:mn>
k米米l:mi>
2米米l:mn>
Φ米米l:mi>
k米米l:mi>
v米米l:mi>
−米米l:mo>
Φ米米l:mi>
k米米l:mi>
ω米米l:mi>
2米米l:mn>
≤米米l:mo>
C米米l:mi>
T米米l:mi>
2米米l:mn>
1米米l:mn>
+米米l:mo>
∥米米l:mo>
v米米l:mi>
∥米米l:mo>
2米米l:mn>
+米米l:mo>
∥米米l:mo>
ω米米l:mi>
∥米米l:mo>
2米米l:mn>
∥米米l:mo>
v米米l:mi>
−米米l:mo>
ω米米l:mi>
∥米米l:mo>
2米米l:mn>
,米米l:mo>
(在哪里
32使用)。结合(
32)和(
33)和考虑<我nline-formula>
v米米l:mi>
,米米l:mo>
ω米米l:mi>
∈米米l:mo>
年代米米l:mi>
T米米l:mi>
米米米l:mi>
,我们有
(34)米米l:mtext>
∥米米l:mo>
Φ米米l:mi>
v米米l:mi>
−米米l:mo>
Φ米米l:mi>
ω米米l:mi>
∥米米l:mo>
2米米l:mn>
≤米米l:mo>
C米米l:mi>
T米米l:mi>
2米米l:mn>
1米米l:mn>
+米米l:mo>
∥米米l:mo>
F米米l:mi>
g米米l:mi>
∥米米l:mo>
2米米l:mn>
+米米l:mo>
米米米l:mi>
2米米l:mn>
∥米米l:mo>
v米米l:mi>
−米米l:mo>
ω米米l:mi>
∥米米l:mo>
2米米l:mn>
,米米l:mo>
这是收缩映射为足够小<我nline-formula>
T米米l:mi>
>米米l:mo>
0米米l:mn>
。
让<我nline-formula>
u米米l:mi>
∈米米l:mo>
C米米l:mi>
0米米l:mn>
,米米l:mo>
T米米l:mi>
,米米l:mo>
H米米l:mi>
是一个解的方程<我nline-formula>
u米米l:mi>
=米米l:mo>
Φ米米l:mi>
u米米l:mi>
。然后,我们可以展示一些规律性属性的话
2通过应用相同的论证命题2.3 (
5]。我们跳过证明。我们将证明保护<我nline-formula>
H米米l:mi>
规范。
命题6。
让<我nline-formula>
u米米l:mi>
∈米米l:mo>
C米米l:mi>
0米米l:mn>
,米米l:mo>
T米米l:mi>
,米米l:mo>
H米米l:mi>
的解决方案(
22)。然后,我们有
(35)米米l:mtext>
∑米米l:mo>
n米米l:mi>
∈米米l:mo>
Z米米l:mi>
n米米l:mi>
2米米l:mn>
u米米l:mi>
n米米l:mi>
t米米l:mi>
2米米l:mn>
=米米l:mo>
∑米米l:mo>
n米米l:mi>
∈米米l:mo>
Z米米l:mi>
n米米l:mi>
2米米l:mn>
f米米l:mi>
n米米l:mi>
2米米l:mn>
。米米l:mo>
证明。
乘<我nline-formula>
∂米米l:mi>
x米米l:mi>
u米米l:mi>
双方(
22)和集成<我nline-formula>
0米米l:mn>
,米米l:mo>
l米米l:mi>
,我们有
(36)米米l:mtext>
d米米l:mi>
d米米l:mi>
t米米l:mi>
∫米米l:mo>
0米米l:mn>
l米米l:mi>
1米米l:mn>
2米米l:mn>
∂米米l:mi>
x米米l:mi>
u米米l:mi>
2米米l:mn>
d米米l:mi>
x米米l:mi>
=米米l:mo>
∫米米l:mo>
0米米l:mn>
l米米l:mi>
1米米l:mn>
2米米l:mn>
∂米米l:mi>
x米米l:mi>
u米米l:mi>
2米米l:mn>
−米米l:mo>
∂米米l:mi>
x米米l:mi>
u米米l:mi>
3米米l:mn>
d米米l:mi>
x米米l:mi>
−米米l:mo>
1米米l:mn>
l米米l:mi>
∫米米l:mo>
0米米l:mn>
l米米l:mi>
u米米l:mi>
−米米l:mo>
3米米l:mn>
u米米l:mi>
2米米l:mn>
d米米l:mi>
x米米l:mi>
∫米米l:mo>
0米米l:mn>
l米米l:mi>
∂米米l:mi>
x米米l:mi>
u米米l:mi>
d米米l:mi>
x米米l:mi>
=米米l:mo>
0米米l:mn>
,米米l:mo>
这意味着
(37)米米l:mtext>
∫米米l:mo>
0米米l:mn>
l米米l:mi>
∂米米l:mi>
x米米l:mi>
u米米l:mi>
x米米l:mi>
,米米l:mo>
t米米l:mi>
2米米l:mn>
d米米l:mi>
x米米l:mi>
=米米l:mo>
∫米米l:mo>
0米米l:mn>
l米米l:mi>
∂米米l:mi>
x米米l:mi>
u米米l:mi>
x米米l:mi>
,米米l:mo>
0米米l:mn>
2米米l:mn>
d米米l:mi>
x米米l:mi>
。米米l:mo>
此外,意味着直接计算
(38)米米l:mtext>
∫米米l:mo>
0米米l:mn>
l米米l:mi>
∂米米l:mi>
x米米l:mi>
u米米l:mi>
x米米l:mi>
,米米l:mo>
t米米l:mi>
2米米l:mn>
d米米l:mi>
x米米l:mi>
=米米l:mo>
∑米米l:mo>
n米米l:mi>
∈米米l:mo>
Z米米l:mi>
4米米l:mn>
π米米l:mi>
2米米l:mn>
l米米l:mi>
n米米l:mi>
2米米l:mn>
u米米l:mi>
n米米l:mi>
t米米l:mi>
2米米l:mn>
,米米l:mo>
从中我们可以得出(
35)。
从命题
5,我们有一个当地的解决方案<我nline-formula>
u米米l:mi>
∈米米l:mo>
C米米l:mi>
0米米l:mn>
,米米l:mo>
T米米l:mi>
,米米l:mo>
H米米l:mi>
(
22)- (
24)足够小<我nline-formula>
T米米l:mi>
>米米l:mo>
0米米l:mn>
。由命题
6,我们可以扩展一个本地解决方案全球完成定理的证明
1。