调和级数是 $1 + frac{1}{2} + frac{1}{3} + frac{1}{4} + dots$,它是一个发散级数。调和级数可以写成一般的形式 $sum_{n=1}^{infty} frac{1}{n}$。
现在我们考虑在分母上加上一个任意常数 $c$,即级数形式为 $sum_{n=1}^{infty} frac{1}{n+c}$。
1. 当常数 $c$ 是一个非负整数时($c geq 0$ 且 $c$ 为整数):
如果 $c$ 是一个非负整数,那么级数的项为:
$$ frac{1}{1+c}, frac{1}{2+c}, frac{1}{3+c}, dots $$
例如,如果 $c=0$,我们得到调和级数 $sum_{n=1}^{infty} frac{1}{n}$,它是发散的。
如果 $c=1$,我们得到级数 $sum_{n=1}^{infty} frac{1}{n+1} = frac{1}{2} + frac{1}{3} + frac{1}{4} + dots$。这个级数本质上是从调和级数的第二项开始的,也就是拿掉了调和级数的第一项 $1$。由于调和级数是发散的,去掉有限项(即使是无穷多项的特定项,比如从 $n=1$ 开始到某个固定的 $N$ 的项)不会影响其发散性。我们可以通过比较判别法来证明这一点:
令 $a_n = frac{1}{n+c}$ 和 $b_n = frac{1}{n}$。
计算比值的极限:
$$ lim_{n o infty} frac{a_n}{b_n} = lim_{n o infty} frac{frac{1}{n+c}}{frac{1}{n}} = lim_{n o infty} frac{n}{n+c} = lim_{n o infty} frac{1}{1+frac{c}{n}} = frac{1}{1+0} = 1 $$
因为极限值 $1$ 是一个正的有限数,并且我们知道 $sum_{n=1}^{infty} frac{1}{n}$ 是发散的,所以根据比较判别法的极限形式,级数 $sum_{n=1}^{infty} frac{1}{n+c}$ 也是发散的。
2. 当常数 $c$ 是一个非整数实数($c in mathbb{R}$):
当 $c > 1$ 时:
如果 $c$ 是一个非整数实数,并且 $c > 1$,那么 $n+c > 0$ 对于所有的 $n geq 1$ 都成立。
在这种情况下,我们也可以使用比较判别法。令 $a_n = frac{1}{n+c}$ 和 $b_n = frac{1}{n}$。
同样计算比值的极限:
$$ lim_{n o infty} frac{a_n}{b_n} = lim_{n o infty} frac{frac{1}{n+c}}{frac{1}{n}} = lim_{n o infty} frac{n}{n+c} = lim_{n o infty} frac{1}{1+frac{c}{n}} = frac{1}{1+0} = 1 $$
因为极限值 $1$ 是一个正的有限数,并且 $sum_{n=1}^{infty} frac{1}{n}$ 是发散的,所以级数 $sum_{n=1}^{infty} frac{1}{n+c}$ 也是发散的。
当 $c < 1$ 时:
如果 $c < 1$,那么存在一个整数 $N$ 使得 $n+c leq 0$ 对于所有的 $n geq N$ 都成立。例如,如果 $c = 2.5$,那么当 $n=1, 2$ 时,$n+c$ 仍然是负的。当 $n$ 足够大时,$n+c$ 会变成正数。
但是,问题出现在当 $n+c = 0$ 时,即 $n = c$ 时。如果 $c$ 是一个正整数,那么在级数展开的某个时刻会出现分母为零的情况,这是不允许的。
例如,如果 $c = 3$,级数是 $sum_{n=1}^{infty} frac{1}{n3}$。当 $n=3$ 时,分母是 $33=0$。这个级数是未定义的。
为了使级数有意义,我们需要确保分母 $n+c
eq 0$ 对于所有的 $n geq 1$。
这意味着我们需要 $n
eq c$ 对于所有 $n geq 1$。
因此,如果 $c$ 是一个正整数,即 $c$ 是一个负整数(例如 $c = 1, 2, 3, dots$),那么级数在某个项就会出现分母为零,不收敛(甚至未定义)。
如果 $c$ 是一个负实数,但 $c$ 不是一个正整数,例如 $c = 2.5$。那么级数从 $n=1$ 开始是 $frac{1}{12.5} + frac{1}{22.5} + frac{1}{32.5} + frac{1}{42.5} + dots = frac{1}{1.5} + frac{1}{0.5} + frac{1}{0.5} + frac{1}{1.5} + dots$。
在这个例子中,前两项是负的,从第三项开始是正的。
我们仍然可以考虑当 $n$ 足够大时的情况。当 $n > c$ 时,$n+c > 0$,级数中的项是正的。
此时,我们可以将级数写成:
$$ sum_{n=1}^{infty} frac{1}{n+c} = sum_{n=1}^{lfloor c
floor} frac{1}{n+c} + sum_{n=lfloor c
floor + 1}^{infty} frac{1}{n+c} $$
(假设 $c$ 不是整数,否则会有分母为零)。
第一部分是有限项的和,对收敛性没有影响。
对于第二部分 $sum_{n=lfloor c
floor + 1}^{infty} frac{1}{n+c}$,令 $m = n lfloor c
floor$。当 $n = lfloor c
floor + 1$ 时,$m=1$。
那么 $n = m + lfloor c
floor$。
级数变为 $sum_{m=1}^{infty} frac{1}{(m + lfloor c
floor) + c}$。
由于 $lfloor c
floor leq c < lfloor c
floor + 1$ (因为 $c$ 不是整数),所以 $c lfloor c
floor$ 是一个介于 $0$ 和 $1$ 之间的数。
令 $k = c lfloor c
floor$,那么 $0 < k < 1$。
级数变成 $sum_{m=1}^{infty} frac{1}{m + lfloor c
floor c} = sum_{m=1}^{infty} frac{1}{m + k}$。
对于这个级数 $sum_{m=1}^{infty} frac{1}{m+k}$,其中 $0 < k < 1$。我们可以使用比较判别法,令 $a_m = frac{1}{m+k}$ 和 $b_m = frac{1}{m}$。
$$ lim_{m o infty} frac{a_m}{b_m} = lim_{m o infty} frac{frac{1}{m+k}}{frac{1}{m}} = lim_{m o infty} frac{m}{m+k} = 1 $$
由于 $sum_{m=1}^{infty} frac{1}{m}$ 是发散的,所以 $sum_{m=1}^{infty} frac{1}{m+k}$ 也是发散的。
总结一下:
调和级数是 $sum_{n=1}^{infty} frac{1}{n}$,它发散。
当我们考虑在分母上加一个任意常数 $c$,得到级数 $sum_{n=1}^{infty} frac{1}{n+c}$:
1. 如果 $c$ 是一个负整数($c = 1, 2, 3, dots$):
这时,对于某个 $n$,分母 $n+c$ 会等于零。例如,如果 $c=3$,当 $n=3$ 时,$n+c=0$。分母为零使得级数未定义,因此也不收敛。
2. 如果 $c$ 不是一个负整数($c
eq 1, 2, 3, dots$):
无论 $c$ 是正数、零,还是负的非整数,当 $n$ 趋向于无穷大时,$n+c$ 的行为与 $n$ 的行为非常相似。
我们可以通过比较判别法来证明这一点。令 $a_n = frac{1}{n+c}$ 和 $b_n = frac{1}{n}$。
只要分母始终为正(即 $n+c > 0$ 对于所有 $n geq 1$,这发生在 $c > 1$ 时)或者当 $n$ 足够大时分母变为正且我们考虑的是级数从某个点开始的收敛性,我们计算极限:
$$ lim_{n o infty} frac{a_n}{b_n} = lim_{n o infty} frac{frac{1}{n+c}}{frac{1}{n}} = lim_{n o infty} frac{n}{n+c} = lim_{n o infty} frac{1}{1+frac{c}{n}} = 1 $$
因为极限值是 $1$,这是一个正的有限数,而调和级数 $sum_{n=1}^{infty} frac{1}{n}$ 是发散的,所以根据比较判别法的极限形式,级数 $sum_{n=1}^{infty} frac{1}{n+c}$ 在这种情况下也发散。
结论:
在调和级数的 $1/n$ 中,分母加一个任意常数 $c$ 会影响收敛性,但只有在 $c$ 是一个负整数时才会导致级数未定义(不收敛)。在其他所有情况下,无论 $c$ 是正数、零还是负的非整数,该级数都保持发散。
换句话说,只要级数的项不为零或无穷大,添加常数 $c$ 到分母上不会改变级数的收敛性,它仍然是发散的。只有当 $c$ 是负整数时,才会因为出现零分母而使级数未定义。