3所示。分解一个不连续的函数从现在开始我们假设<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
是一个分段光滑函数包含一个跳跃不连续点吗<我nl我ne- - - - - -formula>
ξ米米l:米我>米米l:mrow>
在一个时间间隔<我nl我ne- - - - - -formula>
(米米l:米o>
一个米米l:米我><米米l:mo>
,米米l:米o>
b米米l:米我><米米l:mo stretchy="false">
]米米l:米o>
。我们假设的位置<我nl我ne- - - - - -formula>
ξ米米l:米我>米米l:mrow>
或其精确的近似是已知的和价值<我nl我ne- - - - - -formula>
f米米l:米我><米米l:mo stretchy="false">
(米米l:米o>
ξ米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
定义的平均左边和右边的极限<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
在<我nl我ne- - - - - -formula>
ξ米米l:米我>米米l:mrow>
;也就是说,
(6)米米l:米text>米ml:mtd>
f米米l:米我><米米l:mfenced separators="|">
ξ米米l:米我>米米l:mrow>
=米米l:米o>
f米米l:米我><米米l:mfenced separators="|">
ξ米米l:米我><米米l:mo>
- - - - - -米米l:米o>
+米米l:米o>
f米米l:米我><米米l:mfenced separators="|">
ξ米米l:米我><米米l:mo>
+米米l:米o>
2米米l:米n>米米l:mrow>
。米米l:米o>
另一方面,<我nl我ne- - - - - -formula>
r米米l:米我><米米l:mo>
=米米l:米o>
ξ米米l:米我>米米l:math>
在公式(
1)或<我nl我ne- - - - - -formula>
w米米l:米我>米米l:mrow>
米米米l:米我>米米l:mrow>
=米米l:米o>
w米米l:米我>米米l:mrow>
米米米l:米我>米米l:mrow>
(米米l:米o>
ξ米米l:米我><米米l:mo>
;米米l:米o>
x米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
中,我们将使用它作为一个加权函数近似方法提出的这项工作。
我们选择下面的测试函数的图在图
1:
(7)米米l:米text>米ml:mtd>
f米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
x米米l:米我>米米l:mrow>
=米米l:米o>
1米米l:米n>米米l:mrow>
5米米l:米n>米米l:mrow>
x米米l:米我><米米l:mo>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
2米米l:米n>米米l:mrow>
- - - - - -米米l:米o>
4米米l:米n><米米l:米o>
,米米l:米o>
- - - - - -米米l:米o>
π米米l:米我><米米l:mo>
≤米米l:米o>
x米米l:米我><米米l:mo>
<米米l:米o>
π米米l:米我>米米l:mrow>
3米米l:米n>米米l:mrow>
x米米l:米我><米米l:mo>
+米米l:米o>
罪米米l:米我>米米l:mrow>
米米l:米o>
3米米l:米n><米米l:米i>
x米米l:米我>米米l:mrow>
,米米l:米o>
π米米l:米我>米米l:mrow>
3米米l:米n>米米l:mrow>
<米米l:米o>
x米米l:米我><米米l:mo>
≤米米l:米o>
π米米l:米我>米米l:mtd>
这有一个跳变不连续<我nl我ne- - - - - -formula>
ξ米米l:米我><米米l:mo>
=米米l:米o>
π米米l:米我>米米l:mrow>
/米米l:米o>
3米米l:米n>米米l:mrow>
:
(8)米米l:米text>米ml:mtd>
f米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
x米米l:米我>米米l:mrow>
=米米l:米o>
1米米l:米n>米米l:mrow>
2米米l:米n>米米l:mrow>
x米米l:米我><米米l:mo>
+米米l:米o>
1米米l:米n>米米l:mrow>
2米米l:米n>米米l:mrow>
,米米l:米o>
- - - - - -米米l:米o>
π米米l:米我><米米l:mo>
≤米米l:米o>
x米米l:米我><米米l:mo>
≤米米l:米o>
π米米l:米我>米米l:mtd>
这是连续的区间<我nl我ne- - - - - -formula>
(米米l:米o>
- - - - - -米米l:米o>
π米米l:米我><米米l:mo>
,米米l:米o>
π米米l:米我><米米l:mo stretchy="false">
]米米l:米o>
。我们注意到<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
我米米l:米我>米米l:mrow>
(米米l:米o>
- - - - - -米米l:米o>
π米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
≠米米l:米o>
f米米l:米我>米米l:mrow>
我米米l:米我>米米l:mrow>
(米米l:米o>
π米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
,<我nl我ne- - - - - -formula>
我米米l:米我><米米l:mo>
=米米l:米o>
1、2米米l:米n>米米l:math>
,因此这两个<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
和<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
有跳跃不连续点<我nl我ne- - - - - -formula>
±米米l:米o>
π米米l:米我>米米l:math>
当我们扩展这些功能<我nl我ne- - - - - -formula>
2米米l:米n><米米l:米i>
π米米l:米我>米米l:math>
周期函数的实线。
让分段光滑函数<我nl我ne- - - - - -formula>
f米米l:米我><米米l:mo stretchy="false">
(米米l:米o>
x米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
,包含一个跳跃不连续点<我nl我ne- - - - - -formula>
ξ米米l:米我>米米l:mrow>
,被定义为
(9)米米l:米text>米ml:mtd>
f米米l:米我><米米l:mfenced separators="|">
x米米l:米我>米米l:mrow>
=米米l:米o>
f米米l:米我>米米l:mrow>
l米米l:米我>米米l:mrow>
x米米l:米我>米米l:mrow>
,米米l:米o>
一个米米l:米我><米米l:mo>
≤米米l:米o>
x米米l:米我><米米l:mo>
<米米l:米o>
ξ米米l:米我>米米l:mtd>
f米米l:米我>米米l:mrow>
R米米l:米我>米米l:mrow>
x米米l:米我>米米l:mrow>
,米米l:米o>
ξ米米l:米我><米米l:mo>
<米米l:米o>
x米米l:米我><米米l:mo>
≤米米l:米o>
b米米l:米我><米米l:mo>
,米米l:米o>
在哪里<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
l米米l:米我>米米l:mrow>
和<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
R米米l:米我>米米l:mrow>
是连续的<我nl我ne- - - - - -formula>
(米米l:米o>
一个米米l:米我><米米l:mo>
,米米l:米o>
ξ米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
和<我nl我ne- - - - - -formula>
(米米l:米o>
ξ米米l:米我><米米l:mo>
,米米l:米o>
b米米l:米我><米米l:mo stretchy="false">
]米米l:米o>
,分别。我们假设订单<我nl我ne- - - - - -formula>
米米米l:米我>米米l:mrow>
的<我nl我ne- - - - - -formula>
w米米l:米我>米米l:mrow>
米米米l:米我>米米l:mrow>
=米米l:米o>
w米米l:米我>米米l:mrow>
米米米l:米我>米米l:mrow>
(米米l:米o>
ξ米米l:米我><米米l:mo>
;米米l:米o>
x米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
在这篇文章足够大。首先,我们定义两个二次多项式<我nl我ne- - - - - -formula>
问米米l:米我>米米l:mrow>
l米米l:米我>米米l:mrow>
和<我nl我ne- - - - - -formula>
问米米l:米我>米米l:mrow>
R米米l:米我>米米l:mrow>
作为
(10)米米l:米text>米ml:mtd>
问米米l:米我>米米l:mrow>
l米米l:米我>米米l:mrow>
x米米l:米我>米米l:mrow>
=米米l:米o>
一个米米l:米我><米米l:mo>
- - - - - -米米l:米o>
ξ米米l:米我>米米l:mrow>
b米米l:米我><米米l:mo>
- - - - - -米米l:米o>
ξ米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
x米米l:米我><米米l:mo>
- - - - - -米米l:米o>
ξ米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
+米米l:米o>
ξ米米l:米我>米米l:mtd>
令人满意的
(11)米米l:米text>米ml:mtd>
问米米l:米我>米米l:mrow>
l米米l:米我>米米l:mrow>
ξ米米l:米我>米米l:mrow>
=米米l:米o>
ξ米米l:米我><米米l:mo>
,米米l:米o>
问米米l:米我>米米l:mrow>
l米米l:米我>米米l:mrow>
b米米l:米我>米米l:mrow>
=米米l:米o>
一个米米l:米我><米米l:mo>
,米米l:米o>
问米米l:米我>米米l:mrow>
R米米l:米我>米米l:mrow>
x米米l:米我>米米l:mrow>
=米米l:米o>
b米米l:米我><米米l:mo>
- - - - - -米米l:米o>
ξ米米l:米我>米米l:mrow>
一个米米l:米我><米米l:mo>
- - - - - -米米l:米o>
ξ米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
x米米l:米我><米米l:mo>
- - - - - -米米l:米o>
ξ米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
+米米l:米o>
ξ米米l:米我>米米l:mtd>
令人满意的
(12)米米l:米text>米ml:mtd>
问米米l:米我>米米l:mrow>
R米米l:米我>米米l:mrow>
ξ米米l:米我>米米l:mrow>
=米米l:米o>
ξ米米l:米我><米米l:mo>
,米米l:米o>
问米米l:米我>米米l:mrow>
R米米l:米我>米米l:mrow>
一个米米l:米我>米米l:mrow>
=米米l:米o>
b米米l:米我><米米l:mo>
。米米l:米o>
应该注意,左边和右边的极限<我nl我ne- - - - - -formula>
问米米l:米我>米米l:mrow>
l米米l:米我>米米l:mrow>
和<我nl我ne- - - - - -formula>
问米米l:米我>米米l:mrow>
R米米l:米我>米米l:mrow>
在<我nl我ne- - - - - -formula>
ξ米米l:米我>米米l:mrow>
是
(13)米米l:米text>米ml:mtd>
问米米l:米我>米米l:mrow>
l米米l:米我>米米l:mrow>
ξ米米l:米我><米米l:mo>
- - - - - -米米l:米o>
=米米l:米o>
问米米l:米我>米米l:mrow>
l米米l:米我>米米l:mrow>
ξ米米l:米我><米米l:mo>
+米米l:米o>
=米米l:米o>
ξ米米l:米我><米米l:mo>
- - - - - -米米l:米o>
,米米l:米o>
问米米l:米我>米米l:mrow>
R米米l:米我>米米l:mrow>
ξ米米l:米我><米米l:mo>
- - - - - -米米l:米o>
=米米l:米o>
问米米l:米我>米米l:mrow>
R米米l:米我>米米l:mrow>
ξ米米l:米我><米米l:mo>
+米米l:米o>
=米米l:米o>
ξ米米l:米我><米米l:mtext>
+米米l:米text><米米l:mo>
。米米l:米o>
然后我们构造的延伸<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
l米米l:米我>米米l:mrow>
和<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
R米米l:米我>米米l:mrow>
在整个时间间隔<我nl我ne- - - - - -formula>
(米米l:米o>
一个米米l:米我><米米l:mo>
,米米l:米o>
b米米l:米我><米米l:mo stretchy="false">
]米米l:米o>
作为
(14)米米l:米text>米ml:mtd>
f米米l:米我>米米l:mrow>
~米米l:米o>
l米米l:米我>米米l:mrow>
x米米l:米我>米米l:mrow>
=米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
w米米l:米我>米米l:mrow>
米米米l:米我>米米l:mrow>
x米米l:米我>米米l:mrow>
f米米l:米我><米米l:mfenced separators="|">
x米米l:米我>米米l:mrow>
+米米l:米o>
w米米l:米我>米米l:mrow>
米米米l:米我>米米l:mrow>
x米米l:米我>米米l:mrow>
f米米l:米我><米米l:mfenced separators="|">
问米米l:米我>米米l:mrow>
l米米l:米我>米米l:mrow>
x米米l:米我>米米l:mrow>
,米米l:米o>
(15)米米l:米text>米ml:mtd>
f米米l:米我>米米l:mrow>
~米米l:米o>
R米米l:米我>米米l:mrow>
x米米l:米我>米米l:mrow>
=米米l:米o>
w米米l:米我>米米l:mrow>
米米米l:米我>米米l:mrow>
x米米l:米我>米米l:mrow>
f米米l:米我><米米l:mfenced separators="|">
x米米l:米我>米米l:mrow>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
w米米l:米我>米米l:mrow>
米米米l:米我>米米l:mrow>
x米米l:米我>米米l:mrow>
f米米l:米我><米米l:mfenced separators="|">
问米米l:米我>米米l:mrow>
R米米l:米我>米米l:mrow>
x米米l:米我>米米l:mrow>
,米米l:米o>
分别为<我nl我ne- - - - - -formula>
一个米米l:米我><米米l:mo>
≤米米l:米o>
x米米l:米我><米米l:mo>
≤米米l:米o>
b米米l:米我>米米l:math>
。见过,
(16)米米l:米text>米ml:mtd>
f米米l:米我>米米l:mrow>
~米米l:米o>
l米米l:米我>米米l:mrow>
ξ米米l:米我>米米l:mrow>
=米米l:米o>
f米米l:米我>米米l:mrow>
~米米l:米o>
R米米l:米我>米米l:mrow>
ξ米米l:米我>米米l:mrow>
=米米l:米o>
f米米l:米我><米米l:mfenced separators="|">
ξ米米l:米我>米米l:mrow>
=米米l:米o>
f米米l:米我><米米l:mfenced separators="|">
ξ米米l:米我><米米l:mo>
- - - - - -米米l:米o>
+米米l:米o>
f米米l:米我><米米l:mfenced separators="|">
ξ米米l:米我><米米l:mo>
+米米l:米o>
2米米l:米n>米米l:mrow>
作为<我nl我ne- - - - - -formula>
w米米l:米我>米米l:mrow>
米米米l:米我>米米l:mrow>
(米米l:米o>
ξ米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
=米米l:米o>
1米米l:米n>米米l:mrow>
/米米l:米o>
2米米l:米n>米米l:mrow>
。
人们可以推测,足够大<我nl我ne- - - - - -formula>
米米米l:米我>米米l:mrow>
,<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
~米米l:米o>
l米米l:米我>米米l:mrow>
反映左部分的效果吗<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
l米米l:米我>米米l:mrow>
的<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
在<我nl我ne- - - - - -formula>
(米米l:米o>
一个米米l:米我><米米l:mo>
,米米l:米o>
ξ米米l:米我><米米l:mo stretchy="false">
]米米l:米o>
到对面<我nl我ne- - - - - -formula>
(米米l:米o>
ξ米米l:米我><米米l:mo>
,米米l:米o>
b米米l:米我><米米l:mo stretchy="false">
]米米l:米o>
。那么<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
~米米l:米o>
R米米l:米我>米米l:mrow>
,对称。此外,这些扩展功能<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
~米米l:米o>
l米米l:米我>米米l:mrow>
和<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
~米米l:米o>
R米米l:米我>米米l:mrow>
中定义的(
14)和(
15)有一些特殊的属性如以下所示的前题。
引理1。让<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
是一个分段光滑函数<我nl我ne- - - - - -formula>
(米米l:米o>
一个米米l:米我><米米l:mo>
,米米l:米o>
b米米l:米我><米米l:mo stretchy="false">
]米米l:米o>
与一个跳跃不连续点<我nl我ne- - - - - -formula>
ξ米米l:米我>米米l:mrow>
和假设的顺序<我nl我ne- - - - - -formula>
米米米l:米我>米米l:mrow>
的<我nl我ne- - - - - -formula>
w米米l:米我>米米l:mrow>
米米米l:米我>米米l:mrow>
是固定的和有限的。然后我们的片面的限制<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
~米米l:米o>
l米米l:米我>米米l:mrow>
和<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
~米米l:米o>
R米米l:米我>米米l:mrow>
如下:
(17)米米l:米text>米ml:mtd>
f米米l:米我>米米l:mrow>
~米米l:米o>
l米米l:米我>米米l:mrow>
ξ米米l:米我><米米l:mo>
- - - - - -米米l:米o>
=米米l:米o>
f米米l:米我><米米l:mfenced separators="|">
ξ米米l:米我><米米l:mo>
- - - - - -米米l:米o>
,米米l:米o>
f米米l:米我>米米l:mrow>
~米米l:米o>
l米米l:米我>米米l:mrow>
ξ米米l:米我><米米l:mo>
+米米l:米o>
=米米l:米o>
f米米l:米我><米米l:mfenced separators="|">
ξ米米l:米我><米米l:mo>
- - - - - -米米l:米o>
+米米l:米o>
f米米l:米我><米米l:mfenced separators="|">
ξ米米l:米我><米米l:mo>
+米米l:米o>
2米米l:米n>米米l:mrow>
,米米l:米o>
f米米l:米我>米米l:mrow>
~米米l:米o>
R米米l:米我>米米l:mrow>
ξ米米l:米我><米米l:mo>
- - - - - -米米l:米o>
=米米l:米o>
f米米l:米我><米米l:mfenced separators="|">
ξ米米l:米我><米米l:mo>
- - - - - -米米l:米o>
+米米l:米o>
f米米l:米我><米米l:mfenced separators="|">
ξ米米l:米我><米米l:mo>
+米米l:米o>
2米米l:米n>米米l:mrow>
,米米l:米o>
f米米l:米我>米米l:mrow>
~米米l:米o>
R米米l:米我>米米l:mrow>
ξ米米l:米我><米米l:mo>
+米米l:米o>
=米米l:米o>
f米米l:米我><米米l:mfenced separators="|">
ξ米米l:米我><米米l:mo>
+米米l:米o>
。米米l:米o>
此外,
(18)米米l:米text>米ml:mtd>
f米米l:米我>米米l:mrow>
~米米l:米o>
l米米l:米我>米米l:mrow>
一个米米l:米我><米米l:mo>
+米米l:米o>
=米米l:米o>
f米米l:米我>米米l:mrow>
~米米l:米o>
l米米l:米我>米米l:mrow>
b米米l:米我><米米l:mo>
- - - - - -米米l:米o>
=米米l:米o>
f米米l:米我><米米l:mfenced separators="|">
一个米米l:米我>米米l:mrow>
,米米l:米o>
f米米l:米我>米米l:mrow>
~米米l:米o>
R米米l:米我>米米l:mrow>
一个米米l:米我><米米l:mo>
+米米l:米o>
=米米l:米o>
f米米l:米我>米米l:mrow>
~米米l:米o>
R米米l:米我>米米l:mrow>
b米米l:米我><米米l:mo>
- - - - - -米米l:米o>
=米米l:米o>
f米米l:米我><米米l:mfenced separators="|">
b米米l:米我>米米l:mrow>
。米米l:米o>
证明。自<我nl我ne- - - - - -formula>
l米米l:米我><米米l:mi mathvariant="normal">
我米米l:米我><米米l:mi mathvariant="normal">
米米米l:米我>米米l:mrow>
x米米l:米我><米米l:mo>
→米米l:米o>
ξ米米l:米我>米米l:mrow>
w米米l:米我>米米l:mrow>
米米米l:米我>米米l:mrow>
(米米l:米o>
x米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
=米米l:米o>
1米米l:米n>米米l:mrow>
/米米l:米o>
2米米l:米n>米米l:mrow>
和<我nl我ne- - - - - -formula>
f米米l:米我><米米l:mfenced separators="|">
问米米l:米我>米米l:mrow>
l米米l:米我>米米l:mrow>
(米米l:米o>
ξ米米l:米我><米米l:mo>
- - - - - -米米l:米o>
)米米l:米o>
=米米l:米o>
f米米l:米我><米米l:mfenced separators="|">
问米米l:米我>米米l:mrow>
l米米l:米我>米米l:mrow>
(米米l:米o>
ξ米米l:米我><米米l:mo>
+米米l:米o>
)米米l:米o>
=米米l:米o>
f米米l:米我><米米l:mo stretchy="false">
(米米l:米o>
ξ米米l:米我><米米l:mo>
- - - - - -米米l:米o>
)米米l:米o>
对于一些<我nl我ne- - - - - -formula>
米米米l:米我>米米l:mrow>
固定的,(
14)我们有
(19)米米l:米text>米ml:mtd>
f米米l:米我>米米l:mrow>
~米米l:米o>
l米米l:米我>米米l:mrow>
ξ米米l:米我><米米l:mo>
- - - - - -米米l:米o>
=米米l:米o>
1米米l:米n>米米l:mrow>
2米米l:米n>米米l:mrow>
f米米l:米我><米米l:mfenced separators="|">
ξ米米l:米我><米米l:mo>
- - - - - -米米l:米o>
+米米l:米o>
f米米l:米我><米米l:mfenced separators="|">
问米米l:米我>米米l:mrow>
l米米l:米我>米米l:mrow>
ξ米米l:米我><米米l:mo>
- - - - - -米米l:米o>
=米米l:米o>
f米米l:米我><米米l:mfenced separators="|">
ξ米米l:米我><米米l:mo>
- - - - - -米米l:米o>
,米米l:米o>
f米米l:米我>米米l:mrow>
~米米l:米o>
l米米l:米我>米米l:mrow>
ξ米米l:米我><米米l:mo>
+米米l:米o>
=米米l:米o>
1米米l:米n>米米l:mrow>
2米米l:米n>米米l:mrow>
f米米l:米我><米米l:mfenced separators="|">
ξ米米l:米我><米米l:mo>
+米米l:米o>
+米米l:米o>
f米米l:米我><米米l:mfenced separators="|">
ξ米米l:米我><米米l:mo>
- - - - - -米米l:米o>
。米米l:米o>
同样的方式,从(
15)我们有<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
~米米l:米o>
R米米l:米我>米米l:mrow>
(米米l:米o>
ξ米米l:米我><米米l:mo>
- - - - - -米米l:米o>
)米米l:米o>
=米米l:米o>
(米米l:米o>
1米米l:米n>米米l:mrow>
/米米l:米o>
2米米l:米n>米米l:mrow>
)米米l:米o>
f米米l:米我><米米l:mo stretchy="false">
(米米l:米o>
ξ米米l:米我><米米l:mo>
- - - - - -米米l:米o>
)米米l:米o>
+米米l:米o>
f米米l:米我><米米l:mo stretchy="false">
(米米l:米o>
ξ米米l:米我><米米l:mo>
+米米l:米o>
)米米l:米o>
和<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
~米米l:米o>
R米米l:米我>米米l:mrow>
(米米l:米o>
ξ米米l:米我><米米l:mo>
+米米l:米o>
)米米l:米o>
=米米l:米o>
f米米l:米我><米米l:mo stretchy="false">
(米米l:米o>
ξ米米l:米我><米米l:mo>
+米米l:米o>
)米米l:米o>
。米米l:米o>
方程(
18)属性的直接结果<我nl我ne- - - - - -formula>
问米米l:米我>米米l:mrow>
l米米l:米我>米米l:mrow>
,<我nl我ne- - - - - -formula>
问米米l:米我>米米l:mrow>
R米米l:米我>米米l:mrow>
,<我nl我ne- - - - - -formula>
w米米l:米我>米米l:mrow>
米米米l:米我>米米l:mrow>
。
属性(
17在引理
1意味着两<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
~米米l:米o>
l米米l:米我>米米l:mrow>
和<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
~米米l:米o>
R米米l:米我>米米l:mrow>
有跳变不连续<我nl我ne- - - - - -formula>
ξ米米l:米我>米米l:mrow>
如果原来的函数<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
有一个跳变不连续等<我nl我ne- - - - - -formula>
f米米l:米我><米米l:mo stretchy="false">
(米米l:米o>
ξ米米l:米我><米米l:mo>
- - - - - -米米l:米o>
)米米l:米o>
≠米米l:米o>
f米米l:米我><米米l:mo stretchy="false">
(米米l:米o>
ξ米米l:米我><米米l:mo>
+米米l:米o>
)米米l:米o>
。属性(
18)可能解决的棘手问题最后不匹配所引起的傅里叶级数近似点。
在图
2、图形的<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
~米米l:米o>
l米米l:米我>米米l:mrow>
和<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
~米米l:米o>
R米米l:米我>米米l:mrow>
的测试函数<我nl我ne- - - - - -formula>
f米米l:米我><米米l:mo stretchy="false">
(米米l:米o>
x米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
=米米l:米o>
f米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
(米米l:米o>
x米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
与<我nl我ne- - - - - -formula>
米米米l:米我><米米l:mo>
=米米l:米o>
40米米l:米n>米米l:math>
在引理为例,说明了结果
1。其中,粗线表示主体<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
l米米l:米我>米米l:mrow>
(米米l:米o>
x米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
扩展的功能<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
~米米l:米o>
l米米l:米我>米米l:mrow>
在(a)和<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
R米米l:米我>米米l:mrow>
(米米l:米o>
x米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
的<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
~米米l:米o>
R米米l:米我>米米l:mrow>
(b),细线表示反映的部分<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
l米米l:米我>米米l:mrow>
(米米l:米o>
x米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
和<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
R米米l:米我>米米l:mrow>
(米米l:米o>
x米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
在(a)和(b),分别和虚线显示的原始图<我nl我ne- - - - - -formula>
f米米l:米我><米米l:mo stretchy="false">
(米米l:米o>
x米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
。
图2图的扩展功能<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
~米米l:米o>
l米米l:米我>米米l:mrow>
(米米l:米o>
x米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
和<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
~米米l:米o>
R米米l:米我>米米l:mrow>
(米米l:米o>
x米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
与<我nl我ne- - - - - -formula>
米米米l:米我><米米l:mo>
=米米l:米o>
40米米l:米n>米米l:math>
的测试函数<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
(米米l:米o>
x米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
。
(一)
f米米l:米我>米米l:mrow>
~米米l:米o>
l米米l:米我>米米l:mrow>
(米米l:米o>
x米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
(b)
f米米l:米我>米米l:mrow>
~米米l:米o>
R米米l:米我>米米l:mrow>
(米米l:米o>
x米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
足够大的<我nl我ne- - - - - -formula>
米米米l:米我>米米l:mrow>
然而,我们可以看到的跳跃不连续点<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
~米米l:米o>
l米米l:米我>米米l:mrow>
和<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
~米米l:米o>
R米米l:米我>米米l:mrow>
在<我nl我ne- - - - - -formula>
ξ米米l:米我>米米l:mrow>
见下面的引理消失。
引理2。为一个函数<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
在引理
1这两个
(20)米米l:米text>米ml:mtd>
f米米l:米我>米米l:mrow>
~米米l:米o>
l米米l:米我>米米l:mrow>
ξ米米l:米我><米米l:mo>
+米米l:米o>
- - - - - -米米l:米o>
f米米l:米我>米米l:mrow>
~米米l:米o>
l米米l:米我>米米l:mrow>
ξ米米l:米我><米米l:mo>
- - - - - -米米l:米o>
,米米l:米o>
f米米l:米我>米米l:mrow>
~米米l:米o>
R米米l:米我>米米l:mrow>
ξ米米l:米我><米米l:mo>
+米米l:米o>
- - - - - -米米l:米o>
f米米l:米我>米米l:mrow>
~米米l:米o>
R米米l:米我>米米l:mrow>
ξ米米l:米我><米米l:mo>
- - - - - -米米l:米o>
消失的<我nl我ne- - - - - -formula>
米米米l:米我>米米l:mrow>
趋于无穷。
证明。由此可见,<我nl我ne- - - - - -formula>
w米米l:米我>米米l:mrow>
米米米l:米我>米米l:mrow>
(米米l:米o>
ξ米米l:米我><米米l:mo>
- - - - - -米米l:米o>
)米米l:米o>
=米米l:米o>
0米米l:米n>米米l:math>
和<我nl我ne- - - - - -formula>
w米米l:米我>米米l:mrow>
米米米l:米我>米米l:mrow>
(米米l:米o>
ξ米米l:米我><米米l:mo>
+米米l:米o>
)米米l:米o>
=米米l:米o>
1米米l:米n>米米l:math>
作为<我nl我ne- - - - - -formula>
米米米l:米我><米米l:mo>
→米米l:米o>
∞米米l:米我>米米l:math>
。因此从(
14)和(
15)我们有<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
~米米l:米o>
l米米l:米我>米米l:mrow>
(米米l:米o>
ξ米米l:米我><米米l:mo>
- - - - - -米米l:米o>
)米米l:米o>
=米米l:米o>
f米米l:米我>米米l:mrow>
~米米l:米o>
l米米l:米我>米米l:mrow>
(米米l:米o>
ξ米米l:米我><米米l:mo>
+米米l:米o>
)米米l:米o>
=米米l:米o>
f米米l:米我><米米l:mo stretchy="false">
(米米l:米o>
ξ米米l:米我><米米l:mo>
- - - - - -米米l:米o>
)米米l:米o>
和<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
~米米l:米o>
R米米l:米我>米米l:mrow>
(米米l:米o>
ξ米米l:米我><米米l:mo>
- - - - - -米米l:米o>
)米米l:米o>
=米米l:米o>
f米米l:米我>米米l:mrow>
~米米l:米o>
R米米l:米我>米米l:mrow>
(米米l:米o>
ξ米米l:米我><米米l:mo>
+米米l:米o>
)米米l:米o>
=米米l:米o>
f米米l:米我><米米l:mo stretchy="false">
(米米l:米o>
ξ米米l:米我><米米l:mo>
+米米l:米o>
)米米l:米o>
。完成证明。
引理
2表明的渐近性态<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
~米米l:米o>
l米米l:米我>米米l:mrow>
和<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
~米米l:米o>
R米米l:米我>米米l:mrow>
下图:
(21)米米l:米text>米ml:mtd>
f米米l:米我>米米l:mrow>
~米米l:米o>
l米米l:米我>米米l:mrow>
x米米l:米我>米米l:mrow>
~米米l:米o>
f米米l:米我>米米l:mrow>
~米米l:米o>
l米米l:米我><米米l:mo>
,米米l:米o>
∞米米l:米我>米米l:mrow>
x米米l:米我>米米l:mrow>
≔米米l:米o>
f米米l:米我>米米l:mrow>
l米米l:米我>米米l:mrow>
x米米l:米我>米米l:mrow>
,米米l:米o>
一个米米l:米我><米米l:mo>
≤米米l:米o>
x米米l:米我><米米l:mo>
≤米米l:米o>
ξ米米l:米我>米米l:mtd>
f米米l:米我>米米l:mrow>
l米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
l米米l:米我>米米l:mrow>
x米米l:米我>米米l:mrow>
,米米l:米o>
ξ米米l:米我><米米l:mo>
<米米l:米o>
x米米l:米我><米米l:mo>
≤米米l:米o>
b米米l:米我><米米l:mo>
,米米l:米o>
(22)米米l:米text>米ml:mtd>
f米米l:米我>米米l:mrow>
~米米l:米o>
R米米l:米我>米米l:mrow>
x米米l:米我>米米l:mrow>
~米米l:米o>
f米米l:米我>米米l:mrow>
~米米l:米o>
R米米l:米我><米米l:mo>
,米米l:米o>
∞米米l:米我>米米l:mrow>
x米米l:米我>米米l:mrow>
≔米米l:米o>
f米米l:米我>米米l:mrow>
R米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
R米米l:米我>米米l:mrow>
x米米l:米我>米米l:mrow>
,米米l:米o>
一个米米l:米我><米米l:mo>
≤米米l:米o>
x米米l:米我><米米l:mo>
<米米l:米o>
ξ米米l:米我>米米l:mtd>
f米米l:米我>米米l:mrow>
R米米l:米我>米米l:mrow>
x米米l:米我>米米l:mrow>
,米米l:米o>
ξ米米l:米我><米米l:mo>
≤米米l:米o>
x米米l:米我><米米l:mo>
≤米米l:米o>
b米米l:米我>米米l:mtd>
为<我nl我ne- - - - - -formula>
米米米l:米我>米米l:mrow>
足够大。应该注意的是,
(23)米米l:米text>米ml:mtd>
l米米l:米我><米米l:mi mathvariant="normal">
我米米l:米我><米米l:mi mathvariant="normal">
米米米l:米我>米米l:mrow>
x米米l:米我><米米l:mo>
→米米l:米o>
ξ米米l:米我>米米l:mrow>
f米米l:米我>米米l:mrow>
~米米l:米o>
l米米l:米我><米米l:mo>
,米米l:米o>
∞米米l:米我>米米l:mrow>
x米米l:米我>米米l:mrow>
=米米l:米o>
f米米l:米我><米米l:mfenced separators="|">
ξ米米l:米我><米米l:mo>
- - - - - -米米l:米o>
,米米l:米o>
l米米l:米我><米米l:mi mathvariant="normal">
我米米l:米我><米米l:mi mathvariant="normal">
米米米l:米我>米米l:mrow>
x米米l:米我><米米l:mo>
→米米l:米o>
ξ米米l:米我>米米l:mrow>
f米米l:米我>米米l:mrow>
~米米l:米o>
R米米l:米我><米米l:mo>
,米米l:米o>
∞米米l:米我>米米l:mrow>
x米米l:米我>米米l:mrow>
=米米l:米o>
f米米l:米我><米米l:mfenced separators="|">
ξ米米l:米我><米米l:mo>
+米米l:米o>
。米米l:米o>
因此,如果我们替换的值<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
l米米l:米我>米米l:mrow>
和<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
R米米l:米我>米米l:mrow>
在<我nl我ne- - - - - -formula>
ξ米米l:米我>米米l:mrow>
作为<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
l米米l:米我>米米l:mrow>
(米米l:米o>
ξ米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
=米米l:米o>
f米米l:米我><米米l:mo stretchy="false">
(米米l:米o>
ξ米米l:米我><米米l:mo>
- - - - - -米米l:米o>
)米米l:米o>
和<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
R米米l:米我>米米l:mrow>
(米米l:米o>
ξ米米l:米我><米米l:mo stretchy="false">
)米米l:米o>
=米米l:米o>
f米米l:米我><米米l:mo stretchy="false">
(米米l:米o>
ξ米米l:米我><米米l:mo>
+米米l:米o>
)米米l:米o>
,那么两个<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
~米米l:米o>
l米米l:米我><米米l:mo>
,米米l:米o>
∞米米l:米我>米米l:mrow>
和<我nl我ne- - - - - -formula>
f米米l:米我>米米l:mrow>
~米米l:米o>
R米米l:米我><米米l:mo>
,米米l:米o>
∞米米l:米我>米米l:mrow>
在整个区间上连续吗<我nl我ne- - - - - -formula>
(米米l:米o>
一个米米l:米我><米米l:mo>
,米米l:米o>
b米米l:米我><米米l:mo stretchy="false">
]米米l:米o>
。