1 对于任意 $x\in \mathbb R$,不妨 $x\in (-M-1,M+1)$,其中 $M>0$ 是对于 $x$ 取定的常数。此时题设级数中通项的分子是有界的,由 Weierstrass 判别法知道一致收敛,而部分和通项都是连续的,所以级数和也是连续的。
对于 $\mathbb R\setminus [0,1]$ 上的任意点 $x$,只需要考虑其邻域的结果,不妨设 $x\in B(x,\delta)\subseteq \overline {B(x,\delta)}\subseteq \mathbb R\setminus [0,1]$,考虑形式导函数 $$f'(x):=\sum^\infty_{n=1} \dfrac {1}{3\cdot 2^n}\cdot (x-r_n)^{-\frac 23}$$ 根据 $x$ 的取法 $|x-r_n|\geq \delta$,所以 $f'$ 在 $B(x,\delta)$ 上一致收敛,因此 $f$ 在 $B(x,\delta)$ 上可导,且 $f'$ 是 $f$ 的导函数。
观察上述形式导函数,只需控制 $|x-r_n|^{-\frac 23}$,考虑在原先给定的 $\{r_n\}$ 上重排构造 $\{r'_n\}$,按照以下方式进行(显然是双射):对于第 $n$ 项 $r_n'$ 的选取,从 $\{r_n\}$ 中选取指标最小的元素,满足其不属于 $\{r'_1,r'_2,\cdots,r'_{n-1}\}$,且满足 $|x-r_n'|\geq 2^{-\frac n2}$,从而 $$\sum^\infty_{n=1} \dfrac {1}{3\cdot 2^n}\cdot |x-r'_n|^{-\frac 23}\leq \sum^\infty_{n=1} \dfrac {1}{3\cdot 2^n}\cdot 2^{\frac n3}<\infty$$ 计算重排后的差商 ...