设为首页
加入收藏
期刊导航
网站地图
首页
期刊
数学与物理
地球与环境
信息通讯
经济与管理
生命科学
工程技术
医药卫生
人文社科
化学与材料
会议
合作
新闻
我们
招聘
千人智库
我要投搞
办刊
期刊菜单
●领域
●编委
●投稿须知
●最新文章
●检索
●投稿
文章导航
●Abstract
●Full-Text PDF
●Full-Text HTML
●Full-Text ePUB
●Linked References
●How to Cite this Article
Pure Mathematics
理论数学
, 2014
, 4,
24-30
http://dx.doi.org/10.12677/pm.2014.41005
Published Online
January 201
4 (
http://www.hanspub.org/journal/
pm.html
)
OPEN ACCESS
24
Series of Almost Monotonicity and Alternating Series
Rearrangement
Shiyou Lin
, Tao Chen
Sch oo l of Mathem atics and Statistics
,
Hainan Normal University
,
Haikou
Email:
linsy1111@aliyun.com
,
510943143 @qq.com
Received: Dec
.
16
th
, 2013; r evised: Dec
.
26
th
, 2013; acce pt e d:
Dec. 30
th
, 2013
Copyright © 201
4
Shiyou Lin
,
Tao Chen
. This is an open
access article distributed under the Creative Commons Attribution License,
which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. I
n accordance
of the Creative Commons Attribution License
all Copyrights © 201
4
are reserved for Hans and the owner of the intellectual property
Shiyou Lin,
Tao Chen
. All Copyright © 201
4
are guarded by l
a
w and by Hans as a guardian.
Abstract:
Alternat ing series
is a focal and difficult point in the mathematical analysis. It mainl y includes the
convergence theorems and the certification process. This paper focuses on discussing the relationships be
-
tween the rearrangement and the alternating series. Through the definition of almost monotonicity of series
,
the study explores in what conditions that a convergent alternating series still be convergent when it is rear
-
range
d
, and gives re levant pr oof.
Keywords:
Series; Almost Monoto nic; Alternati ng Series; Leibniz
Criterion
数列的几乎单调性和交错级数的重排
林诗游
,陈
韬
海南师范大学数学与统计学院,
海口
Email:
linsy1111@aliyun.com
,
510943143 @qq.com
收稿日期:
2013
年
12
月
16
日;修回日期:
2013
年
12
月
26
日;录用日期:
2013
年
12
月
30
日
摘
要:
交错级数是数学分析的重点和难点,主要内容包括交错级数的收敛定理和证明过程。本文主
要讨论交错级数的重排和数列之间的关系,通过给出数列的几乎单调性的定义来探究一个已收敛的交
错级数在何种条件下重排之后依然收敛,并且给出相关证明。
关键词:
数列;几乎单调性;交错级数;莱布尼茨判别法
1.
引言
什么是极限的两大基本问题?一个是极限存在的判定,另外一个是极限的求值。通常来说,只要知道了极
限存在,总有办法求出极限,哪怕是很复杂。因此极限存在的判定就尤为重要。在数学分析中,我们学习了莱
布尼茨的判别法,莱布尼茨判别法是一个非常重要的判别交错级数是否收敛的主要办法。但是,莱布尼茨判别
法也有自己的局限性,不是对任何交错级数都有效。莱布尼茨判别法是交错级数收敛的充分条件,而不是充分
必要条件。在参考了大量的相关文献之后
[1-6]
,我们发现数列的几乎单调性和交错级数重排有着密不可分的关系。
本文主要研究数列的几乎单调性和交错级数重排之间的关系,探究在何种情况下交错级数重排之后依然收敛,
以及把数列的几乎单调性推广到
Dirichlet
判别法和
Abel
判别法,并证明
Dirichlet
判别法的扩充定理和
Abel
判
别法的扩充定理。
林诗游,陈韬
|
数列的几乎单调性和交错级数的重排
OPEN ACCESS
25
2.
数列几乎单调性
定义
1
[7]
:
若数列
{ }
n
a
满足下列条件:存在正整数
0
N
,对任意正整数
m
,当
0
nmN
>+
时,
都有
( )
nmnm
aaaa
≥≤
,则数列
{ }
n
a
几乎单调增加
(
减小
)
。
例如:
3,2,5,4, ,21,2
nn
+
,是几乎单调递增数列,但不是单调递增数列。
注意:
定义中的
0
N
如果存在,则不是唯一,因为任何比
0
N
大的正整数都可以定义为
0
N
。
定理
2
[7]
:几乎单调有界数列极限必定存在。
证:
这里将文献
[7]
中的证明补充完整,即给出几乎单调递减有下界数列必有极限的证明。设
{ }
n
b
是几乎单
调递减有下界的数集。由数列的性质可知一定会存在一个单调递减有下界的子列
{ }
k
n
b
,又由单调有界原理得知,
该子列必有极限,不妨记其为
b
。下面证明数列
{ }
n
b
也以
b
为极限。由假设得知
n
bb
≥
,否则必定会存在
0
m
,使得
0
m
bb
<
,
则当
00
k
mMm
>+
,有
0
k
mm
b bb
≤<
与
k
n
b
以
b
为极限矛盾。再次,对于任意
0
ε
>
,由
lim
k
n
k
bb
→∞
=
知,存在正整数
0
k
,使得当
0
kk
≥
时,有
k
n
b bb
εε
−< <+
取
0
0
k
Mm M
= +
,则当
mM
>
时
0
mk
b bbb
εε
−≤ <<+
所以
lim
n
n
bb
→∞
=
。证明完毕。
3.
Dirichlet
判别法和
Abel
判别法的扩充
引理
1
[8]
:设
{ }
n
a
是单调数列,并且存在常数
0
M
>
,使数列
{ }
n
b
满足对于任意
n
是正整数,都有
1
n
k
k
bM
=
≤
∑
,
则对任意
n
有不等式:
( )
1
1
2
n
kk n
k
abM aa
=
≤+
∑
定理
3 (
Dirichlet
判别法的扩充
)
:如果数列
{ }
k
S
几乎单调趋于
0
,而级数
1
k
k
T
∞
=
∑
的部分和数列有界,则
1
kk
k
ST
∞
=
∑
收敛。
证:
由于
1
k
k
T
∞
=
∑
的部分和数列有界,因此存在
0
P
>
,对所有的
k
属于正整数都有
1
k
k
k
TP
=
≤
∑
对任意的正整数
k
和
m
,
1
2
km
n
nk
TP
+
= +
≤
∑
由前面的引理便有
( )
1
1
22
km
nnk km
nk
STP SS
+
++
= +
≤+
∑
由于数列
{ }
k
S
几乎单调趋于
0
,对任意给定的
0
ε
>
,存在正整数
N
,
kN
>
时就有
6
k
S
P
ε
<
。所以,对
kN
>
和任意
m
属于正整数都有
1
km
nn
nk
ST
ε
+
= +
≤
∑
根据柯西收敛准则得出级数
1
kk
k
ST
∞
=
∑
收敛。证明完毕。
林诗游,陈韬
|
数列的几乎单调性和交错级数的重排
OPEN ACCESS
26
定理
4 (
Abel
判别法的扩充
)
:如果数列
{ }
k
S
几乎单调有界,且级数
1
k
k
T
∞
=
∑
收敛,则
1
kk
k
ST
∞
=
∑
收敛。
证:
由于数列
{ }
k
S
几乎单调有界,由前面的定理得知数列
{ }
k
S
收敛,不妨设其极限为
S
,则有
lim
k
k
SS
→∞
=
,
则数列
{ }
k
SS
−
几乎单调趋于
0
。又知级数
1
k
k
T
∞
=
∑
收敛,所以部分和数列有界。根据上面
Dirichlet
判别法的扩充
而知级数
( )
1
kk
k
S ST
∞
=
−
∑
收敛,因此级数
( )
11 1
kkk kk
kk k
STSSTS T
∞∞ ∞
= ==
= −+
∑∑ ∑
收敛。证明完毕。
4.
交错级数的重排
定理
5
:若一个满足牛顿莱布尼茨定理的交错级数以
k
项为一个单位,并且保持首尾不变,其中各项任意
排列,则重排之后的交错级数依然收敛。
证:由已知
12
0
n
aa a
≥
≥ ≥≥
且
lim 0
n
n
a
→∞
=
,设
n
b
表示重排之后的级数的第
n
位数。
若
k
是奇数,把重排之后的级数拆分为:
( )()
()( )
( )
( )
11
0
1
22
0
1
0
:1
:1
:1
n
nk
n
n
nk
n
n
knk k
n
Ab
Ab
Ab
∞
+
=
∞
+
+
=
∞
+
+
=
′
−
′
−
′
−
∑
∑
∑
共有
k
项。那么重排之后的交错级数可表示为:
( )
1
123
1
1
n
nk
n
b AAAA
∞
+
=
′′′ ′
−= + + ++
∑
设上述右边各项的每个交 错 级数的部分和为
12 3
,,,,
k
σσσ σ
,容易知道上述每个交 错级数 都收敛
,设极限
为
123
,,,,
k
AAA A
。
任意
0
ε
>
,存在
0
N
>
,当
kn nN
>>
时,有
,1, 2,,
mm
Am k
k
ε
σ
−< =
再证重排之后的级数以
1
k
n
n
A
=
∑
为极限。设
123
kk
S
σσσ σ
= ++ ++
对于上述的
ε
和
n
,都有
( )
12 311
kk kk
S AAAAAA
σ σε
−+ + ++≤−++−<
因此重排之后的级数依然收敛。
若
k
是偶数,则把重排之后的级数拆分为:
( )
( )
( )
( )
( )
( )
121
212
0
222
21 1
0
:
:
nk
nk k
n
nk
nk
n
A bb
A bb
∞
+
++
=
∞
+
++
=
′
−
′
−+
∑
∑
林诗游,陈韬
|
数列的几乎单调性和交错级数的重排
OPEN ACCESS
27
证明方法如上。证明完毕。
定理
6
:若以
23
,,,,
n
kk kk
为一个单位,即第一部分以
k
项为一个单位,第二部分以
2
k
项为一个单位,以
此类推,
n
k
可以为任意大,但不能为无穷大且之后以
n
k
项为单位进行重排,则重排之后的级数依然收敛。
证:由已知
12
0
n
aa a
≥
≥ ≥≥
且
lim 0
n
n
a
→∞
=
,设
n
b
表示重排之后的级数的第
n
位数。
若
k
是奇数,把重排之后的级数拆分为:
( )
( )
()( )
( )
( )
( )
( )
0
0
0
22
12
1
1
0
1
2
1
0
3
2
0
1
1
:1
:1
:1
:1
n
m
m
n
m
m
n
m
m
n
m
k kk
m
n
n
k
n
n
n
k
n
n
n
k
n
n
n
kkkk
n
Ab
Ab
Ab
Ab b
=
=
=
+
++
∑
=
=
+
+
=
+
=
+
++
=
∑
∑
∑
′
−+
′
−+
′
−+
′
− +−+
∑
∑
∑
∑
共有
n
k
项。那么问题就转化成定理
5
的问题,而且确保前
1
2
1
1
1
n
n
k
kkk
k
+
−
+++ +=
−
个数都可以取尽,那么重
排之后的交错级数可表示为:
( )
1
123
1
1
n
n
n
k
n
b AAAA
∞
+
=
′′′ ′
−= + + ++
∑
设上述每个交错级数的部分为
123
,,,,
n
k
σσσ σ
。
容易得知上述每个交错级数都收敛,设极限为
12 3
,,,,
n
k
AAA A
。任意
0
ε
>
,存在
0
N
>
,当
n
k nN
>>
时,有
,1, 2,,
n
mm
n
Am k
k
ε
σ
−< =
再证重排之后的级数以
12
n
k
AA A
+++
为极限。设
123
nn
kk
S
σσσ σ
= + + ++
对于上述的
ε
和
n
,都有
( )
12 311
nn nn
kk kk
S AAAAAA
σ σε
−++ ++≤−++−<
因此重排之后的级数依然收敛。
若
k
是偶数,拆分方法和证明方法相似,不再累述。
5.
研究意义
1)
关于绝对收敛:
我们知道若一个数项级数是绝对收敛的,例如:
( )
2
1
1
1
n
n
n
∞
=
−
∑
那么根据柯西收敛准则,其中任意项重排不影
响收敛性,也就是说一个交错级数若是绝对收敛,那么无论怎么重排,仍然保持绝对收敛性,不会因为重排而
改变绝对收敛的性质。
2)
关于条件收敛:
若一个交错级数条件收敛,那么重排之后所得到新级数就算收敛也不一定收敛于原来的和数,而且经过适
当重排后,可以得到发散级数,或收敛于任何事先指定的数,
林诗游,陈韬
|
数列的几乎单调性和交错级数的重排
OPEN ACCESS
28
例如:
( )
1
1
1 111
11
234
n
n
A
n
∞
+
=
−=−+−+ =
∑
乘以常数
1
2
后,有
( )
1
1
1 1111
1
22462
n
n
A
n
∞
+
−
−=−++ =
∑
把上面两个级数相加,就得到
11111 3
1
32574 2
A
+−++−+ =
3)
莱布尼茨判别法的扩充:
课文中的莱布尼茨判别法为:若交错级数满足下面两个条件:
a)
数列
{ }
n
u
单调递减
b
)
lim 0
n
n
u
→∞
=
那么该交错收敛
。
不难发现,莱布尼茨判别法的适用范围太窄,我们可以把该判别法稍微做个修改,使其
具有更宽广的范围。
莱布尼茨判别法的扩充:
一个交错级数
( )
1
1
1
k
k
k
a
∞
+
=
−
∑
,这里
0
k
a
>
,如果这个交错级数满足下面几个条件:
1
)
数列
{ }
k
a
是几乎单调递减,并且趋于
0
;
2
)
按照定理
5
和定理
6
规律重排;
3
)
通项表达式可变为:
( )
1
123
1
1
n
nk
n
b AAAA
∞
+
=
′′′ ′
−= + + ++
∑
或者
( )
1
123
1
1
n
n
n
k
n
b AAAA
∞
+
=
′′′ ′
−=+ + ++
∑
则必定收敛。
6.
推广和应用
例
1
:
1111111 11
1
34256981011
−+−+−+−+−
证:
观察得知,此交错级数以
5
项为一个单位,其中各项任意排列进行重排,并且各项都满足几乎单调递
减,并且趋于
0
。我们可以把该交错级数拆分为
5
个交错级数:
( )
( )
( )
1
2
5
11
:1
6 12
11
:
39
11
:
5 10
A
A
A
−+
−+
+
共有
5
项。设上述每个交错级数的部分和为
123 5
,,,,
σσσ σ
,容易知道上述每个交错级数都收敛,
设极限为
123 5
,,,,
AAA A
。任意
0
ε
>
,存在
0
N
>
,当
5
nnN
>>
时,有
,1,2,,5
5
mm
Am
ε
σ
−< =
再证重排之后的级数以
5
1
n
n
A
=
∑
为极限。设
5 1235
S
σσσ σ
= ++ ++
林诗游,陈韬
|
数列的几乎单调性和交错级数的重排
OPEN ACCESS
29
对于上述的
ε
和
n
,都有
( )
512 351155
S AAAAAA
σ σε
−++ ++≤−++−<
因此该交错级数收敛。证明完毕。
例
2
:
11111111 1
1
324 5768911
−+−+−+−+−
证:
观察得知,
此交错级数以
4
项为一个单位,其中各项任意排列进行重排,并且各项都满足几乎单调递
减,并且趋于
0
。我们可以把该交错级数拆分为
4
个交错级数:
( )
( )
( )
1
2
4
11
:1
79
11
:
35
11
:
46
A
A
A
−+
−+
−+
共有
4
项。设上述每个交错 级 数的部 分和为
123 4
,,,,
σσσ σ
,容易知道上 述每个 交错级 数都收敛
,
设 极限
为
123 4
,,,,
AAA A
。
任意
0
ε
>
,存在
0
N
>
,当
4
nnN
>>
时,有
,1,2, ,4
4
mm
Am
ε
σ
−< =
再证重排之后的级数以
4
1
n
n
A
=
∑
为极限。设
41234
S
σσσσ
=+++
对于上述的
ε
和
n
,都有
( )
4 12341144
S AAAAAA
σ σε
−+ + +≤−++−<
因此该交错级数收敛。证明完毕。
例
3
:
111111111 1 11
1
2 354679 811101312
1
14
−+−+−+−+−+ −+ −
证:
观察得知,此交错级数以
( )
21, 2,
n
n
=
项为一个单位,其中各项任意排列进行重排,并且各项都满足
几乎单调递减,并且趋于
0
。我们可以把该交错级数拆分为
2
n
个交错级数:
( )
( )
( )
1
2
4
11
:1
47
11
:
23
11
:
58
A
A
A
−+
−+
−+
共有
2
n
项。设上述每个交错级数的部分和为
123
2
,,,,
n
σσσ σ
,容易知道上述每个交错级数都收敛,设极限
为
123
2
,,,,
n
AAA A
。任意
0
ε
>
,存在
0
N
>
,当
2
n
nN
>>
时,有
,1,2,,2
2
n
mm
n
Am
ε
σ
−< =
再证重排之后的级数以
2
1
n
n
n
A
=
∑
为极限。设
林诗游,陈韬
|
数列的几乎单调性和交错级数的重排
OPEN ACCESS
30
123
22
nn
S
σσσ σ
= ++ ++
对于上述的
ε
和
n
,都有
( )
12 311
22 22
nn nn
S AAAAAA
σ σε
−++ ++≤−++−<
因此该交错级数收敛。证明完毕。
项目基金
国家自然科学基金项目
(11226167
,
11361020)
;海南省自然科学基金项目
(111005
)
。
参考文献
(References)
[1]
白水周
(
1999
)
关于交错级数莱布尼茨判别法的一点注释
.
开封大学学报
,
2
, 43
-
45
.
[2]
陈纪修
,
等
(
2000
)
数学分析下
.
高等教育出版社
,
北京
.
[3]
华东师范大学数学系
(
2001
)
数学分析下
.
高等教育出版社
,
北京
.
[4]
Pedrick
, G. (
1994
)
A
first course in ana lysis
.
Springer
,
New York.
[5]
程为麟
(
1994
)
关于交错级数莱布尼茨定理的推广
.
甘肃教育学院学报
,
1
,
14
-
15
.
[6]
吴辰余
(
2008
)
条件收敛级数的性质趣谈
.
巢湖学院学报
,
6
, 145-
147
.
[7]
高德智
,
等
(
2008
)
数列的几乎单调性
.
高等数学研究
,
3
, 17
-
19
.
[8]
刘名生
,
等
(
2009
)
数学分析
(
二
).
科学出版社
,
北京
.