数学分析习题解答（四：第一部分）

素数的倒数和，$Basel$问题的$Euler$证明

习题$A$：连续函数的定义和基本性质

$A1)$ （函数极限的$\text{Cauchy}$判别准则）给定$f:(a,x_0)\cup (x_0,b)\to \mathbb{R}$。那么，$f$在$x_0$处有极限当且仅当对任意的$\epsilon >0$，存在$\delta >0$，使得对任意的$x_1,x_2\in (x_0-\delta ,x_0)\cup (x_0,x_0+\delta )$，都有$|f(x_1)-f(x_2)|<\epsilon$。

$A2)$ 假设$I$是一个非空的区间并且$I$不是一个点，证明，$I$上的连续函数$C(I)$所构成的$\mathbb{R}-$线性空间是无限维的。

证明：设$I=[a,b]$（如果$I$是开区间，我们就在其中取一个闭区间），用反证法，设$\dim C(I)=n\in {\mathbb{Z}}_{>0}$，我们将区间$[a,b]$分成相同长度的$n+1$份，即从左至右第$i$个区间为$I_i$，我们取一系列连续函数$f_1,\cdots ,f_{n+1}$使得对任意的$i=1,\cdots ,n+1$，都有$f_i{|}_{(I-I_i)}=0,f_i{|}_{I_i}\ne 0$，这里$0$是连续函数$0:I\to \mathbb{R},x\mapsto 0$。这样的连续函数显然是存在的。

现在，我们通过证明$f_1,\cdots ,f_{n+1}$线性无关来推出矛盾，这是因为$n$维线性空间中线性无关向量组的长度不会超过$n$。设$c_1{f}_1+\cdots +c_{n+1}{f}_{n+1}=0$。注意到存在$x_i\in I_i$，使得$f_i(x_i)\ne 0$，而$(c_1{f}_1+\cdots +c_{n+1}{f}_{n+1})(x_i)=c_i{f}_i(x_i)=0(x_i)=0$，这说明$c_i=0$，从而所有的$c$们都为$0$，因此$f_1,\cdots ,f_{n+1}$线性无关。

$A3)$（重要）假设$(X,d_X)$和$(Y,d_Y)$是距离空间，$f:X\to Y$是映射。假设$x_0\in X$，如果对任意$X$中的点列 { x n } n ≤ 1 , x n → d X x 0 \{x_n\}_{n\le1},x_n\xrightarrow{d_X}x_0 {xn​}n≤1​,xn​dX​ ​x0​，我们都有$f(x_n)\stackrel{d_Y}{\to }f(x_0)$，我们就称$f$在$x_0$处是连续的。如果$f$在一切$x\in X$处均连续，那么我们就称$f$是距离空间之间的连续映射。假设$(X,d_X),(Y,d_Y)$和$(Z,d_Z)$是三个距离空间，$f:X\to Y,g:Y\to Z$均为连续映射。证明，他们的复合$g\circ f:X\to Z$也是连续映射。

证明：设 { x n } n ≤ 1 ⊂ X \{x_n\}_{n\le1}\sub X {xn​}n≤1​⊂X有$x_n\to x_0$，那么根据$f$的连续性有$f(x_n)\to f(x_0)$，注意到此时 { f ( x n ) } n ≤ 1 ⊂ Y \{f(x_n)\}_{n\le1}\sub Y {f(xn​)}n≤1​⊂Y，再根据$g$的连续性有$g(f(x_n))\to g(f(x_0))$也即$(g\circ f)(x_n)\to (g\circ f)(x_0)$，根据定义这就表示$g\circ f$是连续映射。

$A4)$ 假设$(X,d_X)$和$(Y,d_Y)$是距离空间，$f:X\to Y$是连续映射。如果$d_X^{\prime }$是与$d_X$等价的距离，$d_Y^{\prime }$是与$d_Y$等价的距离，那么，对于$(X,d_X^{\prime })$和$(Y,d_Y^{\prime })$而言，$f$也是连续映射。

证明：这是因为在等价的距离下，收敛是同时的。

$A5)$ 在${\mathbb{R}}^n$上我们配有常见的距离，比如说$d_2$；$(X,d_X)$是距离空间。我们将映射$f:X\to {\mathbb{R}}^n$写成分量的形式：
$$f:X\to {\mathbb{R}}^n,x\mapsto f(x)=(f_1(x),\cdots ,f_n(x))$$
其中$f_i:X\to \mathbb{R}$是函数。证明，$f$是连续映射当且仅当对所有的$i=1,\cdots ,n$，$f_i$是连续函数。

证明：由习题（三）$A3)$结合定义立得。

$A6)$（重要）假设$(X,d_X)$是距离空间，$(V,||\cdot ||)$是赋范线性空间，$f:X\to V$和$g:X\to V$是连续映射。证明，它们的和与差（自然的定义）$f\pm g:X\to V$也是连续映射。如果$V=\mathbb{C}$（或者$n\times n$的矩阵构成的赋范线性空间），那么$f\cdot g:X\to \mathbb{C}$是连续映射。如果$V=\mathbb{C}$并且对任意的$x\in X,g(x)\ne 0$，那么$f/g:X\to \mathbb{C}$是连续映射。

证明：首先，假设 ⊕ ∈ { + , − , ⋅ , / } \oplus\in\{+,-,\cdot,/\} ⊕∈{+,−,⋅,/}，当我们想要证明$f\oplus g$是连续映射时，只需要证明对于 { x n } n ≤ 1 ⊂ X , x n → x 0 \{x_n\}_{n\le1}\sub X,x_n\to x_0 {xn​}n≤1​⊂X,xn​→x0​，总是有$f(x_n)\oplus g(x_n)\to f(x_0)\oplus g(x_0)$，由于已经有了$f(x_n)\to f(x_0),g(x_n)\to g(x_0)$，本质上我们证明的是$V$上数列极限与运算$\oplus$的可交换性。

鉴于其他情况已经证明过了，这里对于 V = M n × n ( F ) , F ∈ { R , C } V=M_{n\times n}(\mathbb{F}),\mathbb{F}\in\{\R,\mathbb{C}\} V=Mn×n​(F),F∈{R,C}（$n$阶实（复）方阵组成的线性空间）的情形做一个证明。设 { A n } , { B n } \{A_n\},\{B_n\} {An​},{Bn​}是两个矩阵列，并且根据$M_{n\times n}(\mathbb{F})$上的常用范数$||\cdot ||=||\cdot |{|}_2$分别收敛到$A,B$，我们想要证明$A_n{B}_n\to AB$。首先不妨设$||A_n||,||B_n||$有公共的上界$M$（这是由收敛性保证的），设$\epsilon >0$，那么存在$N>0$使得对所有的$n>N$都有
$$||A_n-A||<\epsilon ,||B_n-B||<\epsilon$$
因此
$$\begin{gathered} ||A_n{B}_n-AB||=||A_n{B}_n-A_{n}B+A_{n}B-AB|| \\ \le C||A_n||\cdot ||B_n-B||+C||B||\cdot ||A_n-A|| \\ \le MC(||B_n-B||+||A_n-A||)<2MC\epsilon \end{gathered}$$
这就是要证的。

这里常数$C>0$使得对任意$n$阶方阵$A,B$都成立$||A\cdot B||\le C||A||\cdot ||B||$，这样的$C$是存在的，我们将证明这一点。用$A_{i,\cdot }$表示$A$的第$i$行构成的行向量，用$A_{\cdot ,j}$表示$A$的第$j$列构成的列向量，用$<\cdot ,\cdot >$表示${\mathbb{F}}^n$上常见的内积$((x_1,\cdots ,x_n),(y_1,\cdots ,y_n))\mapsto x_1{\bar{y}}_1+\cdots +x_n{\bar{y}}_n$，那么有
$$\begin{gathered} ||A\cdot B||=\sqrt{\sum _{i=1}^n\sum _{j=1}^n|<A_{i,\cdot },B_{\cdot ,j}>{|}^2} \\ \le \sqrt{\sum _{i=1}^n\sum _{j=1}^n||A_{i,\cdot }|{|}^2\cdot ||B_{\cdot ,j}|{|}^2}\le \sqrt{\sum _{i=1}^n\sum _{j=1}^n||A|{|}^2\cdot ||B|{|}^2} \\ =n^2||A||\cdot ||B|| \end{gathered}$$
这就是要证的。其中第一步放缩利用了内积空间上的$\text{Cauchy-Schwarz}$不等式，$||A_{i,\cdot }||$表示的是$\sqrt{<A_{i,\cdot },A_{i,\cdot }>}$

$A7)$ 试找出$\mathbb{R}$上定义的函数
$$f(x)=\{\begin{array}{r}\frac{1}{q},x=\frac{p}{q}\in \mathbb{Q},p\in \mathbb{Z},q\in {\mathbb{Z}}_{\ge 1}且p,q互素\\ 0,x\notin \mathbb{Q}\end{array}$$
的所有不连续点。（$f(0):=1$）

解：我们先来证明$f$对于有理点$x_0=\frac{p}{q}$（这里$p,q$和题目的要求一致）是不连续的，这是因为无理数集在实数集中稠密，所以对于任意的$\delta >0$，区间$(x_0-\delta ,x_0+\delta )$中总是包含至少一个无理数$x_{\delta }$，此时$|f(x_{\delta })-f(x_0)|=\frac{1}{q}$。因此，我们取$\delta =\frac{1}{k}$，就得到了一个点列 { x k } k ≥ 1 \{x_k\}_{k\ge1} {xk​}k≥1​并且满足$|x_k-x|<\frac{1}{k}$即$x_k\to x_0$，然而$|f(x_k)-f(x_0)|=\frac{1}{q}$，这说明$f(x_k)$并不收敛到$f(x_0)$，因此$f$在$x_0$处不连续。接下来我们将要证明，$f$在所有的无理点都是连续的。

注意到无理数是可以被有理数无限逼近的，然而为了足够精确地逼近一个无理数，有理数的分母总是要取得比较大，因此可以操作的基本单位就更小了，就可以与无理数之间有更小的差距。想要无限地逼近无理数，分母就要取得无限大，从而这些有理数的函数值就会无限地趋于$0$，这是$f$在无理点连续的直观解释。我们的证明也是按照这个思路。

设$x_0$是一个无理点并且有$m<x_0<m+1$，其中$m\in \mathbb{Z}$，设$\epsilon >0$，让我们取出一个区间$(x_0-\delta ,x_0+\delta )\subset (m,m+1)$，使得对任意的$x\in (x_0-\delta ,x_0+\delta )$都有$|f(x)-f(x_0)|<\epsilon$，很明显，我们只要对$(x_0-\delta ,x_0+\delta )$中的有理数证明就行了。我们称题目中的有理数表示方式是有理数的最简表示，那么令
U ε : = { x ∈ ( m , m + 1 ) ∩ Q : x 的最简表示为 x = p q , 且 q ≤ 1 ε } U_\varepsilon:=\{x\in(m,m+1)\cap\mathbb{Q}:x的最简表示为x=\frac{p}{q},且q\le\frac{1}{\varepsilon}\} Uε​:={x∈(m,m+1)∩Q:x的最简表示为x=qp​,且q≤ε1​}
注意到这个集合是有限集（因为其中满足条件的$q$总是有限的，而对于确定的分母$q$，分子$p$的取值也只有$mq+1,\dots ,mq+(q-1)$），并且$x_0\notin U_{\epsilon }$，因此对于一个有限集外的某点，总能在该点周围取一个邻域$(x_0-{\delta }_{\epsilon },x_0+{\delta }_{\epsilon })$不包含任何一个有限集中的点，从而对于所有的有理数$x\in (x_0-{\delta }_{\epsilon },x_0+{\delta }_{\epsilon })$，它们的分母都大于$\frac{1}{\epsilon }$（这是因为所有分母$\le \frac{1}{\epsilon }$的点都落在$U_{\epsilon }$当中），即$f(x)=\frac{1}{q_x}<\epsilon$，从而$|f(x)-f(x_0)|<\epsilon$就对所有的$x\in (x-{\delta }_{\epsilon },x+{\delta }_{\epsilon })$都成立了。

现在，假设有 { x n } ≥ 1 ⊂ R \{x_n\}_{\ge1}\sub \R {xn​}≥1​⊂R并且$x_n\to x_0$，这说明对于刚才选出的${\delta }_{\epsilon }$，就存在$N>0$使得$|x_n-x_0|<{\delta }_{\epsilon }$对所有的$n>N$都成立，也即此时$x_n\in (x_0-{\delta }_{\epsilon },x_0+{\delta }_{\epsilon })$，根据刚才的分析，此时一定有$|f(x_n)-f(x_0)|<\epsilon$。那么，（从选取$\epsilon >0$开始的）整个过程就是
$$\underset{n\to \infty }{\lim }f(x_n)=f(x_0)$$
在$\epsilon -N$语言下的定义，这就完成了证明。

下面三道题应该出现在下一节的习题中

$A8)$ 计算${\lim }_{x\to 0}\frac{e^x-1}{x}$。

解：
$$\frac{e^x-1}{x}=\frac{{\sum }_{n=0}^{\infty }\frac{x^n}{n!}-1}{x}=\frac{{\sum }_{n=0}^{\infty }\frac{x^{n+1}}{(n+1)!}}{x}=\sum _{n=0}^{\infty }\frac{x^n}{(n+1)!}=1+x\sum _{n=0}^{\infty }\frac{x^n}{(n+2)!}$$
我们不妨设$|x|<\delta$，那么有
$$|\frac{e^x-1}{x}-1|=|x|\cdot |\sum _{n=0}^{\infty }\frac{x^n}{(n+2)!}|\le |x|\cdot \sum _{n=0}^{\infty }\frac{|x{|}^n}{n!}\le |x|\cdot \sum _{n=0}^{\infty }\frac{{\delta }^n}{n!}=|x|e^{\delta }\to 0$$
这就说明$\frac{e^x-1}{x}\to 1$。

$A9)$ 计算${\lim }_{x\to +\infty }(1+\frac{1}{x}{)}^x$。

解：用$[\cdot ]$表示向下取整，有
$$(1+\frac{1}{[x]+1}{)}^{[x]}\le (1+\frac{1}{x}{)}^x\le (1+\frac{1}{[x]}{)}^{[x]+1}$$
不难发现两边都相当于是数列的极限并且容易计算出它们的极限都是$e$，根据夹逼定理有$(1+\frac{1}{x}{)}^x\to e$。

$A10)$ 计算${\lim }_{x\to -\infty }(1+\frac{1}{x}{)}^x$。

解：这相当于要证${\lim }_{x\to +\infty }(1-\frac{1}{x}{)}^{-x}$，而
$$(1-\frac{1}{x}{)}^{-x}=(\frac{x}{x-1}{)}^x=(1-\frac{1}{x-1}{)}^{x-1}\cdot (1-\frac{1}{x-1})\to e\cdot 1=e$$
其中$(1-\frac{1}{x-1}{)}^{x-1}\to e$直接来源于$A9)$。

---

习题$B:$ 级数的基本计算技巧与收敛判断

$B1)$ 试计算下列级数

$(1){\sum }_{n=1}^{\infty }\frac{1}{n(n+1)}={\lim }_{n\to \infty }{\sum }_{k=1}^n(\frac{1}{k}-\frac{1}{k+1})={\lim }_{n\to \infty }(1-\frac{1}{n+1})=1$

$(2){\sum }_{n=1}^{\infty }\frac{1}{4n^2-1}=\frac{1}{2}{\sum }_{n=1}^{\infty }(\frac{1}{2n-1}-\frac{1}{2n+1})=\frac{1}{2}$

$(3){\sum }_{n=1}^{\infty }\frac{1}{n(n+1)(n+2)}=\frac{1}{2}{\sum }_{n=1}^{\infty }(\frac{1}{n(n+1)}-\frac{1}{(n+1)(n+2)})=\frac{1}{4}$

$(4){\sum }_{n=1}^{\infty }\arctan \frac{1}{n^2+n+1}={\sum }_{n=1}^{\infty }\arctan (\frac{(n+1)-n}{1+(n+1)n})={\sum }_{n=1}^{\infty }\arctan (n+1)-\arctan n$

由于$\arctan$是增函数并且有上确界$\frac{\pi }{2}$，上面的式子就等于$\frac{\pi }{2}-\frac{\pi }{4}=\frac{\pi }{4}$。

$(5){\sum }_{n=0}^{\infty }\frac{(-1{)}^n+2}{3^n}={\sum }_{n=0}^{\infty }(-\frac{1}{3}{)}^n+2(\frac{1}{3}{)}^n$

为了解题的方便让我们来推导等比级数的一般公式，首项为$a$公比为$q(|q|<1)$的等比级数为
$$\sum _{n=0}^{\infty }a{q}^n=a\underset{n\to \infty }{\lim }\sum _{k=0}^n{q}^k=a\underset{n\to \infty }{\lim }\frac{1-q^{n+1}}{1-q}=\frac{a}{1-q}$$

在上面的式子应用这个公式得到$\frac{1}{1-(-1/3)}+\frac{2}{1-1/3}=\frac{15}{4}$。

$(6)$ 为了解题的方便我们来推导差比级数的一般公式，以下$|q|<1$

${\sum }_{n=1}^{\infty }n{q}^n=1\cdot q+2\cdot q^2+3\cdot q^3+\cdots +n\cdot q^n+\cdots$
$q{\sum }_{n=1}^{\infty }n{q}^n=1\cdot q^2+2\cdot q^3+\cdots +(n-1)\cdot q^n+\cdots$

两式相减得到
$$(1-q)\sum _{n=1}^{\infty }n{q}^n=q+q^2+\cdots +q^n+\cdots =\frac{q}{1-q}$$
从而
$$\sum _{n=1}^{\infty }n{q}^n=\frac{q}{(1-q{)}^2}$$

直接代入公式得到${\sum }_{n=1}^{\infty }\frac{n}{3^n}=\frac{1/3}{(1-1/3{)}^2}=\frac{3}{4}$。

$(7){\sum }_{n=1}^{\infty }\frac{(-1{)}^{n-1}}{2^{n-1}}={\sum }_{n=1}^{\infty }(-\frac{1}{2}{)}^{n-1}=\frac{1}{1-(-1/2)}=\frac{3}{2}$

$(8){\sum }_{n=1}^{\infty }\frac{2n-1}{2^n}=2{\sum }_{n=1}^{\infty }\frac{n}{2^n}-{\sum }_{n=1}^{\infty }\frac{1}{2^n}=2\cdot \frac{1/2}{(1-1/2{)}^2}-\frac{1/2}{1-1/2}=3$

$(9){\sum }_{n=1}^{\infty }\frac{2n+1}{n^2(n+1{)}^2}={\sum }_{n=1}^{\infty }(\frac{1}{n^2}-\frac{1}{(n+1{)}^2})=1$

$(10){\sum }_{n=1}^{\infty }(\sqrt{n+2}-2\sqrt{n+1}+\sqrt{n})={\sum }_{n=1}^{\infty }\frac{1}{\sqrt{n+2}+\sqrt{n+1}}-\frac{1}{\sqrt{n+1}+\sqrt{n}}=0-\frac{1}{\sqrt{2}+1}=1-\sqrt{2}$

$(11){\sum }_{n=1}^{\infty }\log (\frac{n(2n+1)}{(n+1)(2n-1)})={\sum }_{n=1}^{\infty }((\log n-\log (n+1))+(\log (2n+1)-\log (2n-1)))$

上面这个级数的前$n$项部分和为
$$\begin{gathered} \sum _{k=1}^n((\log k-\log (k+1))+(\log (2k+1)-\log (2k-1)))=-\log (n+1)+\log (2n+1) \\ =\log (\frac{2n+1}{n+1})\to \log 2 \end{gathered}$$
提前借用一下$\log$的连续性就有上面的最后一步。

$(12){\sum }_{n=1}^{\infty }\frac{1}{n(n+m)}=\frac{1}{m}{\sum }_{n=1}^{\infty }(\frac{1}{n}-\frac{1}{n+m})=\frac{1}{m}(1+\frac{1}{2}+\cdots +\frac{1}{m})$

$B2)$ 试判断下列级数的收敛性。

$(1){\sum }_{n=1}^{\infty }(\sqrt{n+1}-\sqrt{n})={\lim }_{n\to \infty }{\sum }_{k=1}^n(\sqrt{k+1}-\sqrt{k})={\lim }_{n\to \infty }\sqrt{n+1}-1\to +\infty$是发散的。

$(2){\sum }_{n=1}^{\infty }\frac{\sqrt{n+1}-\sqrt{n}}{n}={\sum }_{n=1}^{\infty }\frac{1}{n(\sqrt{n+1}+\sqrt{n})}\le {\sum }_{n=1}^{\infty }\frac{1}{n^{\frac{3}{2}}}$是收敛的。

$(3)$ 设${\alpha }_n=\sqrt[n]{n}-1$，即$(1+{\alpha }_n{)}^n=n$，利用二项式定理有
$$n=(1+{\alpha }_n{)}^n\ge \frac{n(n-1)}{2}{\alpha }_n^2$$
因此${\alpha }_n^2\le \frac{1}{n-1}$，又注意到正项数列${\alpha }_n\to 0$，这说明存在$N_1>0$，当$n>N_1$时有${\alpha }_n<1$。现在取 N = max ⁡ { N 1 , 4 } N=\max\{N_1,4\} N=max{N1​,4}，从而
$$\sum _{n=N+1}^{\infty }(\sqrt[n]{n}-1{)}^n=\sum _{n=N+1}^{\infty }{\alpha }_n^n\le \sum _{n=N+1}^{\infty }{\alpha }_n^4\le \sum _{n=N+1}^{\infty }\frac{1}{(n-1{)}^2}$$
而最右边的级数是收敛的，再加上有限数${\sum }_{n=2}^N(\sqrt[n]{n}-1{)}^n$得到原级数收敛。

$(4)$ 显然在$|x|\le 1$的时候一般项是不收敛到$0$的。下面我们讨论$|x|>1$的情况。先假设$x>0$，这时
$$\sum _{n=1}^{\infty }\frac{1}{1+x^n}\le \sum _{n=1}^{\infty }(\frac{1}{x}{)}^n$$
不等号的右边是等比级数从而收敛。当$x<0$时我们有
$$\sum _{k=0}^{\infty }\frac{1}{1+x^{2k}}\le \sum _{k=0}^{\infty }\frac{1}{(x^2{)}^k}$$
是收敛的，同时
$$\sum _{k=0}^{\infty }|\frac{1}{1+x^{2k-1}}|=\sum _{k=0}^{\infty }\frac{1}{||x{|}^{2k-1}-1|}\le \sum _{k=0}^K\frac{1}{||x{|}^{2k-1}-1|}+\sum _{k=K+1}^{\infty }\frac{1}{|x{|}^{2k-2}}$$
最右侧是等比级数，所以其奇数项级数绝对收敛，其中$K$使得对所有的$k>K$都成立$|x{|}^{2k-1}-|x{|}^{2k-2}\ge 1$，这样的$K$是存在的因为$|x{|}^{2k-1}-|x{|}^{2k-2}=|x^{2k-2}|(|x|-1)\to +\infty$。现在我们有
$$\sum _{k=0}^n|\frac{1}{1+x^n}|\le \sum _{k=0}^{\infty }\frac{1}{1+x^{2k}}+\sum _{k=0}^{\infty }\frac{1}{||x{|}^{2k-1}-1|}$$
所以${\sum }_{n=0}^{\infty }\frac{1}{1+x^n}$绝对收敛从而收敛。

$(5){\sum }_{n=1}^{\infty }\frac{1}{n{2}^n}\le {\sum }_{n=1}^{\infty }\frac{1}{2^n}$

右侧是等比级数从而收敛。

$(6)$ 注意到
$$\frac{n^2}{3n^2+1}\to \frac{1}{3}$$
这说明存在$N>0$使得$\frac{n^2}{3n^2+1}<\frac{2}{3}$对于所有的$n>N$成立，因此
$$\sum _{n=1}^{\infty }(\frac{n^2}{3n^2+1}{)}^n\le \sum _{n=1}^N(\frac{n^2}{3n^2+1}{)}^n+\sum _{n=N+1}^{\infty }(\frac{2}{3}{)}^n$$
右侧是常数与等比级数的和从而是收敛的。

$(7){\sum }_{n=1}^{\infty }\frac{1}{n^{1+1/n}}={\sum }_{n=1}^{\infty }(\frac{1}{n})\frac{1}{\sqrt[n]{n}}$

由于$\frac{1}{\sqrt[n]{n}}\to 1$，并且$\frac{1}{\sqrt[n]{n}}<1$，存在$N>0$使得对所有的$n>N$都有$\frac{1}{\sqrt[n]{n}}>\frac{1}{2}$，因此有
$$\sum _{n=1}^{\infty }(\frac{1}{n})\frac{1}{\sqrt[n]{n}}>\sum _{n=1}^N(\frac{1}{n})\frac{1}{\sqrt[n]{n}}+\frac{1}{2}\sum _{n=N+1}^{\infty }\frac{1}{n}$$
最右侧是调和级数与常数的和从而是发散的。

其实课程中还没有出现$\log$的严格定义，但我们还是提前借用一下对数函数的有关性质

$(8)$ 根据$(\log n{)}^{\log n}=e^{\log n\cdot \log (\log n)}=n^{\log (\log n)}$有
$$\sum _{n=2}^{\infty }\frac{1}{(\log n{)}^{\log n}}=\sum _{n=2}^{\infty }\frac{1}{n^{\log (\log n)}}=\sum _{n=2}^N\frac{1}{n^{\log (\log n)}}+\sum _{n=N+1}^{\infty }\frac{1}{n^2}$$
右侧是收敛级数与常数的和的因此是收敛的，其中$N>0$使得对所有的$n>N$都有$\ln (\ln n)>2$，这样的$n$是存在的因为$$\begin{gathered} \log ( \\ logn)\to +\infty \end{gathered}$$。

$(9)$ 由于
$$(\frac{1}{2}{)}^n\le (\frac{1}{1+\frac{1}{n^2}}{)}^n<1$$
有夹逼定理得中间的数列收敛到$1$，因此一般项
$$\frac{n^{n+\frac{1}{n}}}{(n+\frac{1}{n}{)}^n}=(\frac{1}{1+\frac{1}{n^2}}{)}^n\cdot \sqrt[n]{n}\to 1$$
并不收敛到$0$，从而级数是发散的。

$(10)$ 注意到
$$\frac{\sqrt{n}}{n+1}=\frac{1}{\sqrt{n}+\frac{1}{\sqrt{n}}}$$
是单调递减并且趋于零的数列，根据习题（三）$A5)$（这也称为$\text{Leibniz}$判别法）这个级数是收敛的。

$(11)$ 显然一般项不收敛从而级数不收敛。

$(12)$ 首先
$$\frac{1+\cdots +\frac{1}{n}}{n}\to 0$$
这来源于$\text{Cesaˋro}$和的性质（见习题（三）$D1)$），另外显然有
$$\frac{1+\cdots +\frac{1}{n}}{n}>\frac{1+\cdots +\frac{1}{n+1}}{n+1}$$
这来自糖水不等式。所以数列 { 1 n ∑ k = 1 n 1 k } \{\frac{1}{n}\sum_{k=1}^n\frac{1}{k}\} {n1​∑k=1n​k1​}是单调趋于零的。另外
$$\sum _{n=1}^N\sin nx=\frac{1}{\sin x}\sum _{n=1}^N\sin x\sin nx=\frac{1}{2\sin x}\sum _{n=1}^N(\cos (n-1)x-\cos (n+1)x)=\frac{1}{2\sin x}(1-\cos (N+1)x)$$
这明显是有界的。在上面的式子中我们假定了$\sin x\ne 0$，如果$\sin x=0$则数列的每一项都为0，我们总能得到 { sin ⁡ n x } \{\sin nx\} {sinnx}的部分和数列是有界的。因此，根据$\text{Dirichlet}$判别法，有原来的级数收敛。

$B3)$ 试判断下列级数的收敛性并确定它们是否绝对收敛。

$(1)$ { 1 n log ⁡ n } \{\frac{1}{n\log n}\} {nlogn1​}是单调趋于零的所以依$\text{Leibniz}$判别法原来的级数是收敛的。而对于级数${\sum }_{n=2}^{\infty }|(-1{)}^n\frac{1}{n\log n}|={\sum }_{n=2}^{\infty }\frac{1}{n\log n}$，由于我们有$e^x\ge 1+x$，取对数（再结合对数函数的单调性）有$x\ge \log (1+x)$也即$\log x\ge x-1$，用$\frac{1}{n}$替换$x$有$\log n\le 1-\frac{1}{n}$，因此
$$\sum _{n=2}^{\infty }\frac{1}{n\log n}\ge \sum _{n=2}^{\infty }\frac{1}{n-1}$$
后面是调和级数所以是发散的，因此原来的级数并不绝对收敛。

$(2)$ { sin ⁡ n π 4 } \{\sin \frac{n\pi}{4}\} {sin4nπ​}很明显是部分和有界的，因为这就是数列$1,\frac{\sqrt{2}}{2},0,-\frac{\sqrt{2}}{2},-1,-\frac{\sqrt{2}}{2},0,\frac{\sqrt{2}}{2},\cdots$，另外 { log ⁡ n } \{\log n\} {logn}是单调趋于零的，所以根据$\text{Dirichlet}$判别法，级数是收敛的。

为了证明它不是绝对收敛的，我们只取使得$\sin \frac{n\pi }{4}=1$的那些$n$，也即$\frac{n\pi }{4}=\frac{\pi }{2}+2k\cdot \pi$，此时$n=2+8k,k\in {\mathbb{Z}}_{\ge 0}$，因此有：
$$\sum _{n=2}^{\infty }|\frac{\sin (\frac{n\pi }{4})}{\log n}|\ge \sum _{k=0}^{\infty }\frac{1}{8k+2}\ge \sum _{k=0}^{\infty }\frac{1}{9}\frac{1}{k+1}$$
最右侧是调和级数的正数倍所以是发散的，其中第一个不等号用到了$\log n<n$这一不等式，第二个不等号用到了$2\le k+9$。因此原来的级数并不绝对收敛。

$(3)$ $\{(-1{)}^n\frac{n-1}{n+1}\}$是部分和有界的因为每次部分和会不断加上、减去绝对值小于$1$的数，而 { 1 n 3 } \{\frac{1}{\sqrt[3]{n}}\} {3n ​1​}单调趋于零，根据$\text{Dirichlet}$判别法自然有级数收敛，但这不是绝对收敛的因为
$$\sum _{n=1}^{\infty }|(-1{)}^n\frac{n-1}{n+1}\frac{1}{\sqrt[3]{n}}|\ge \frac{1}{2}\sum _{n=1}^{\infty }\frac{1}{n^{\frac{1}{3}}}$$
最右边的级数是发散的所以原来的级数并不绝对收敛。

$(4)$ 由于$a^n=e^{n\log a}\ge \frac{1}{12!}(n\log a{)}^{12}$，所以
$$\sum _{n=1}^{\infty }|(-1{)}^{\frac{n(n-1)}{2}}\frac{n^{10}}{a^n}|\le \sum _{n=1}^{\infty }\frac{12!}{(\log a{)}^{12}}\frac{1}{n^2}$$
右边是收敛的级数的正数倍，所以这个级数绝对收敛，因此自然是收敛的。