68

时间：2014-05-04 19:03:33 阅读：360 评论：0 收藏：0 [点我收藏+]

$\bf命题1：$设正项级数$\sum\limits_{n = 1}^\infty {{a_n}} $发散，且${s_n} = \sum\limits_{k = 1}^n {{a_k}} $，试讨论级数$\sum\limits_{n = 1}^\infty {\frac{{{a_n}}}{{{s_n}^\alpha }}} \ $的敛散性

证明：$\left( 1 \right)$当$\alpha = 1$时，由正项级数$\sum\limits_{n = 1}^\infty{{a_n}} $发散知，$\lim \limits_{n \to \infty } {s_n} = + \infty $且$\left\{ {{s_n}} \right\}$严格递增，于是

\sum k = m n a k s k \geq 1 s n \sum k = m n a k = 1 s n \sum k = m n (s k ? s k ? 1) = 1 s n (s n ? s m ? 1) > 1 s n (s n ? s m)

$\begin{align*} \sum\limits_{k = m}^n {\frac{{{a_k}}}{{{s_k}}}} &\ge \frac{1}{{{s_n}}}\sum\limits_{k = m}^n {{a_k}} \\& = \frac{1}{{{s_n}}}\sum\limits_{k = m}^n {\left( {{s_k} - {s_{k - 1}}} \right)} \\& = \frac{1}{{{s_n}}}\left( {{s_n} - {s_{m - 1}}} \right) > \frac{1}{{{s_n}}}\left( {{s_n} - {s_m}} \right) \end{align*}$ 即对任意$n > m > 0$，固定$m$，有

\sum k = m n a k s k > s n ? s m s n

$\sum\limits_{k = m}^n {\frac{{{a_k}}}{{{s_k}}}} > \frac{{{s_n} - {s_m}}}{{{s_n}}}$
由$\lim \limits_{n \to \infty } {s_n} = + \infty $知，

lim n \to \infty s n ? s m s n = lim n \to \infty (1 ? s m s n) = 1

$\mathop {\lim }\limits_{n \to \infty } \frac{{{s_n} - {s_m}}}{{{s_n}}} = \mathop {\lim }\limits_{n \to \infty } \left( {1 - \frac{{{s_m}}}{{{s_n}}}} \right) = 1$

从而由极限的保号性知，存在$N > 0$，当$n > N$时，有

s n ? s m s n > 1 2

$\frac{{{s_n} - {s_m}}}{{{s_n}}} > \frac{1}{2}$
即$\sum\limits_{k = m}^n {\frac{{{a_k}}}{{{s_k}}}} > \frac{1}{2}$，由$\bf{Cauchy收敛准则}$知，级数$\sum\limits_{n = 1}^\infty {\frac{{{a_n}}}{{{s_n}}}} $发散

$\left( 2 \right)$当$\alpha < 1$时，由$\lim \limits_{n \to \infty } {s_n} = + \infty $知，对任意$\varepsilon > 0$，存在$N > 0$，当$n > N$时，有

s n > ε

${s_n} > \varepsilon$
特别地，取$\varepsilon = 1$，则${s_n} > 1$，从而可知当$n > N$时，有

a n s n α > a n s n

$\frac{{{a_n}}}{{{s_n}^\alpha }} > \frac{{{a_n}}}{{{s_n}}}$
而$\sum\limits_{n = 1}^\infty {\frac{{{a_n}}}{{{s_n}}}}$发散，由$\bf比较判别法$知，$\sum\limits_{n = 1}^\infty {\frac{{{a_n}}}{{{s_n}^\alpha }}} $发散

$\left( 3\right)$当$\alpha > 1$时，设$f\left( x \right) = {x^{1 - \alpha }}$，则由微分中值定理知，存在${\xi _n} \in \left( {{s_{n -1}},{s_n}} \right)$，使得

s n 1 ? α ? s n ? 1 1 ? α = (1 ? α) ξ n ? α (s n ? s n ? 1)

${s_n}^{1 - \alpha } - {s_{n - 1}}^{1 - \alpha } = \left( {1 - \alpha } \right){\xi _n}^{ - \alpha }\left( {{s_n} - {s_{n - 1}}} \right)$
从而可知

a n s n α < ξ n ? α (s n ? s n ? 1) = 1 α ? 1 (s n ? 1 1 ? α ? s n 1 ? α)

$\frac{{{a_n}}}{{{s_n}^\alpha }} < {\xi _n}^{ - \alpha }\left( {{s_n} - {s_{n - 1}}} \right) = \frac{1}{{\alpha - 1}}\left( {{s_{n - 1}}^{1 - \alpha } - {s_n}^{1 - \alpha }} \right)$ 于是

0 < \sum k = 1 n a k s k α \leq a 1 s 1 α + 1 α ? 1 (s 1 1 ? α ? s n 1 ? α) < α α ? 1 a 1 1 ? α

$0 < \sum\limits_{k = 1}^n {\frac{{{a_k}}}{{{s_k}^\alpha }}} \le \frac{{{a_1}}}{{{s_1}^\alpha }} + \frac{1}{{\alpha - 1}}\left( {{s_1}^{1 - \alpha } - {s_n}^{1 - \alpha }} \right) < \frac{\alpha }{{\alpha - 1}}{a_1}^{1 - \alpha }$
从而由正项级数收敛的基本定理知，级数$\sum\limits_{n = 1}^\infty {\frac{{{a_n}}}{{{s_n}^\alpha }}} $收敛

$\bf注1：$正项级数收敛的基本定理：正项级数收敛当且仅当其部分和数列有界

$\bf注2：$我们可得到下面命题：设正项级数$\sum\limits_{n = 1}^\infty {{a_n}} $发散，则存在收敛于$0$的正项数列$\left\{ {{b_n}} \right\}$，使得级数$\sum\limits_{n = 1}^\infty {{a_n}{b_n}} $仍发散

68,布布扣,bubuko.com

标签：style class ext color width strong

原文地址：http://www.cnblogs.com/ly758241/p/3706448.html

踩

(0)

评论一句话评论（0）

分享档案

更多>

2021年07月29日 (22)
2021年07月28日 (40)
2021年07月27日 (32)
2021年07月26日 (79)
2021年07月23日 (29)
2021年07月22日 (30)
2021年07月21日 (42)
2021年07月20日 (16)
2021年07月19日 (90)
2021年07月16日 (35)

周排行