平方级数收敛性判定
如果级数 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞an收敛,则 a n 2 − a n − 1 2 a_n^2 - a_{n-1}^2 an2−an−12的级数是否也收敛?
证明:
对于
a
n
2
−
a
n
−
1
2
a_n^2 - a_{n-1}^2
an2−an−12,有
a
n
2
−
a
n
−
1
2
=
(
a
n
−
a
n
−
1
)
(
a
n
+
a
n
−
1
)
a_n^2 - a_{n-1}^2 = (a_n - a_{n-1})(a_n + a_{n-1})
an2−an−12=(an−an−1)(an+an−1)
由于
∑
n
=
1
∞
a
n
\sum\limits_{n=1}^\infty a_n
n=1∑∞an收敛,所以
a
n
→
0
a_n \to 0
an→0,于是存在
N
>
0
N>0
N>0,当
n
>
N
n > N
n>N时有
∣
a
n
∣
<
1
|a_n| < 1
∣an∣<1
因此对足够大的
n
n
n,有
∣
a
n
2
−
a
n
−
1
2
∣
=
∣
(
a
n
−
a
n
−
1
)
(
a
n
+
a
n
−
1
)
∣
≤
∣
a
n
−
a
n
−
1
∣
(
∣
a
n
∣
+
∣
a
n
−
1
∣
)
<
2
∣
a
n
−
a
n
−
1
∣
\begin{align*} & |a_n^2 - a_{n-1}^2| = |(a_n - a_{n-1})(a_n + a_{n-1})|\\ & \leq |a_n - a_{n-1}|(|a_n| + |a_{n-1}|) < 2|a_n - a_{n-1}| \end{align*}
∣an2−an−12∣=∣(an−an−1)(an+an−1)∣≤∣an−an−1∣(∣an∣+∣an−1∣)<2∣an−an−1∣
既然
∑
n
=
1
∞
(
a
n
−
a
n
−
1
)
\sum\limits_{n=1}^\infty (a_n - a_{n-1})
n=1∑∞(an−an−1)作为一个收敛级数的部分和也收敛,由比较准则知
∑
n
=
1
∞
(
a
n
2
−
a
n
−
1
2
)
\sum\limits_{n=1}^\infty (a_n^2 - a_{n-1}^2)
n=1∑∞(an2−an−12)也收敛。
结论: 如果级数 ∑ n = 1 ∞ a n \sum\limits_{n=1}^\infty a_n n=1∑∞an收敛,则 a n 2 − a n − 1 2 a_n^2 - a_{n-1}^2 an2−an−12的级数也收敛。
不等式 ∣ a n 2 − a n − 1 2 ∣ ≤ 2 ∣ a n − a n − 1 ∣ |a_n^2 - a_{n-1}^2| \leq 2|a_n - a_{n-1}| ∣an2−an−12∣≤2∣an−an−1∣ 的证明
步骤1:
由
a
n
2
−
a
n
−
1
2
=
(
a
n
−
a
n
−
1
)
(
a
n
+
a
n
−
1
)
a_n^2 - a_{n-1}^2 = (a_n - a_{n-1})(a_n + a_{n-1})
an2−an−12=(an−an−1)(an+an−1),
可得:
∣
a
n
2
−
a
n
−
1
2
∣
=
∣
(
a
n
−
a
n
−
1
)
(
a
n
+
a
n
−
1
)
∣
|a_n^2 - a_{n-1}^2| = |(a_n - a_{n-1})(a_n + a_{n-1})|
∣an2−an−12∣=∣(an−an−1)(an+an−1)∣
步骤2:
使用不等式
∣
x
y
∣
≤
∣
x
∣
∣
y
∣
|xy| \leq |x||y|
∣xy∣≤∣x∣∣y∣,其中
x
,
y
x,y
x,y为实数,
可得:
∣
(
a
n
−
a
n
−
1
)
(
a
n
+
a
n
−
1
)
∣
≤
∣
a
n
−
a
n
−
1
∣
∣
a
n
+
a
n
−
1
∣
|(a_n - a_{n-1})(a_n + a_{n-1})| \leq |a_n - a_{n-1}||a_n + a_{n-1}|
∣(an−an−1)(an+an−1)∣≤∣an−an−1∣∣an+an−1∣
步骤3:
对
∣
a
n
+
a
n
−
1
∣
|a_n + a_{n-1}|
∣an+an−1∣使用三角不等式:
∣
a
n
+
a
n
−
1
∣
≤
∣
a
n
∣
+
∣
a
n
−
1
∣
|a_n + a_{n-1}| \leq |a_n| + |a_{n-1}|
∣an+an−1∣≤∣an∣+∣an−1∣
步骤4:
将步骤3带入步骤2,得:
∣
(
a
n
−
a
n
−
1
)
(
a
n
+
a
n
−
1
)
∣
≤
∣
a
n
−
a
n
−
1
∣
(
∣
a
n
∣
+
∣
a
n
−
1
∣
)
|(a_n - a_{n-1})(a_n + a_{n-1})| \leq |a_n - a_{n-1}|(|a_n| + |a_{n-1}|)
∣(an−an−1)(an+an−1)∣≤∣an−an−1∣(∣an∣+∣an−1∣)
步骤5:
利用
∣
a
n
∣
+
∣
a
n
−
1
∣
≤
2
|a_n| + |a_{n-1}| \leq 2
∣an∣+∣an−1∣≤2,对足够大的
n
n
n成立,
可得:
∣
a
n
−
a
n
−
1
∣
(
∣
a
n
∣
+
∣
a
n
−
1
∣
)
≤
2
∣
a
n
−
a
n
−
1
∣
|a_n - a_{n-1}|(|a_n| + |a_{n-1}|) \leq 2|a_n - a_{n-1}|
∣an−an−1∣(∣an∣+∣an−1∣)≤2∣an−an−1∣
综上,完成了不等式 ∣ a n 2 − a n − 1 2 ∣ ≤ 2 ∣ a n − a n − 1 ∣ |a_n^2 - a_{n-1}^2| \leq 2|a_n - a_{n-1}| ∣an2−an−12∣≤2∣an−an−1∣的证明。