高数习题10.4

1. 求下列级数的收敛域：
   (1) ${\sum }_{n=1}^{\infty }(lnx{)}^n;$ (2) ${\sum }_{n=1}^{\infty }\frac{1}{2n-1}(\frac{1-x}{1+x}{)}^n;$ (3) ${\sum }_{n=1}^{\infty }\frac{1}{x^n}sin\frac{\pi }{3^n}$
   解：
   (1) 当且仅当$|lnx|<1$时，级数收敛，即收敛域为$x\in (e^{-1},e)$
   (2) 当且仅当$\frac{1-x}{1+x}\in [-1,1)$时，级数收敛，即收敛域为$x\in (0,+\infty )$
   (3) 当$|x|\le \frac{1}{3}$时，${\lim }_{n\to \infty }\frac{1}{x^n}sin\frac{\pi }{3^n}\ne 0$，此时函数发散。当$|x|>\frac{1}{3}$时，$|\frac{1}{x^n}sin\frac{\pi }{3^n}|<\frac{\pi }{|3x{|}^n}$，因为级数${\sum }_{n=1}^{\infty }\frac{\pi }{|3x{|}^n}$收敛，所以级数${\sum }_{n=1}^{\infty }\frac{1}{x^n}sin\frac{\pi }{3^n}$收敛。所以收敛域为$x\in (-\infty ,-\frac{1}{3})\bigcup (\frac{1}{3},+\infty )$
2. 讨论下列函数序列在所示区间内的一致收敛性：
   (1) $f_n(x)=\frac{1}{2^n+x^2},-\infty <x<+\infty ;$
   (2) $f_n(x)=\sqrt{x^4+e^{-n}},-\infty <x<+\infty ;$
   (3) $f_n(x)=ln(1+\frac{x^2}{n^2}),(a)-l<x<l,(b)-\infty <x<+\infty ;$
   (4) $f_n(x)=\frac{n^{2}x}{1+n^{2}x},0<x<1;$
   (5) $f_n(x)=\frac{sin{x}^n}{3+x^n},(a)0\le x\le 1-\delta (0<\delta <1),(b)0<x<1;$
   (6) $f_n(x)=\frac{sin\frac{x}{n}}{\frac{x}{n}},0<x<1;$
   解：
   (1) ${\lim }_{n\to \infty }\frac{1}{2^n+x^2}=0$，因为$|f_n(x)-0|\le \frac{1}{2^n}$且${\lim }_{n\to \infty }\frac{1}{2^n}=0$，所以函数序列一致收敛于0
   (2) ${\lim }_{n\to \infty }\sqrt{x^4+e^{-n}}=x^2$，因为$|f_n(x)-x^2|=\frac{e^{-n}}{\sqrt{x^4+e^{-n}}+x^2}\le \frac{e^{-n}}{\sqrt{e^{-n}}}=e^{-\frac{n}{2}}$且${\lim }_{n\to \infty }{e}^{-\frac{n}{2}}=0$，所以函数序列一致收敛于$x^2$
   (3) ${\lim }_{n\to \infty }ln(1+\frac{x^2}{n^2})=0$
   (a) 因为$|f_n(x)-0|\le \frac{x^2}{n^2}\le \frac{l^2}{n^2}$且${\lim }_{n\to \infty }\frac{l^2}{n^2}=0$，所以函数序列一致收敛于0
   (b) 取$x_n=n$，则${\lim }_{n\to \infty }[f_n(x)-0]=ln2$，所以函数序列不一致收敛
   (4) ${\lim }_{n\to \infty }\frac{n^{2}x}{1+n^{2}x}=1$，取$x_n=\frac{1}{n^2}$，则${\lim }_{n\to \infty }[f_n(x)-1]=-\frac{1}{2}$，所以函数序列不一致收敛
   (5) ${\lim }_{n\to \infty }\frac{sin{x}^n}{3+x^n}=0$
   (a) 因为$|f_n(x)-0|\le \frac{x^n}{3+x^n}\le \frac{(1-\delta {)}^n}{3+(1-\delta {)}^n}$且${\lim }_{n\to \infty }\frac{(1-\delta {)}^n}{3+(1-\delta {)}^n}=0$，所以函数序列一致收敛于0
   (b) 取$x_n=\sqrt[n]{\frac{n-1}{n}}$，则${\lim }_{n\to \infty }[f_n(x)-0]=\frac{sin1}{4}$，所以函数序列不一致收敛
   (6) ${\lim }_{n\to \infty }\frac{sin\frac{x}{n}}{\frac{x}{n}}=1$，因为${\lim }_{n\to \infty }\frac{sin\frac{x}{n}}{\frac{x}{n}}=1$，所以对$\forall \epsilon >0,\exists N,当n>N时,|\frac{sin\frac{x}{n}}{\frac{x}{n}}-1|<\epsilon$，而$|f_n(x)-1|=|\frac{sin\frac{x}{n}}{\frac{x}{n}}-1|<\epsilon$，所以函数序列一致收敛于1
3. 讨论下列函数序列在所示区间内的一致收敛性：
   (1) ${\sum }_{n=1}^{\infty }(-1{)}^n\frac{\sqrt{n}}{x^2+n^2},-\infty <x<+\infty ;$
   (2) ${\sum }_{n=1}^{\infty }(\frac{x^n}{n}-\frac{x^{n+1}}{n+1}),-1\le x\le 1;$
   (3) ${\sum }_{n=1}^{\infty }\frac{sinnx}{\sqrt{1+(x^2+n^2{)}^3}},-\infty <x<+\infty ;$
   (4) ${\sum }_{n=1}^{\infty }\frac{x}{1+4n^4{x}^2},-\infty <x<+\infty ;$
   (5) ${\sum }_{n=1}^{\infty }\frac{x^2}{(1+x{)}^n},0<x<+\infty ;$
   (6) ${\sum }_{n=1}^{\infty }\frac{sinx\cdot sinnx}{\sqrt{n^2+x^2}},0\le x\le 2\pi ;$
   (7) ${\sum }_{n=1}^{\infty }(-1{)}^{n-1}{x}^2{e}^{-n{x}^2},-\infty <x<+\infty ;$
   解：
   (1) $|(-1{)}^n\frac{\sqrt{n}}{x^2+n^2}|\le \frac{\sqrt{n}}{n^2}=\frac{1}{n^{\frac{3}{2}}}$，因为级数${\sum }_{n=1}^{\infty }\frac{1}{n^{\frac{3}{2}}}$收敛，所以函数序列一致收敛
   (2) $|{\sum }_{k=n+1}^{\infty }(\frac{x^k}{k}-\frac{x^{k+1}}{k+1})|=|\frac{x^{n+1}}{n+1}|\le \frac{1}{n}$，因为${\lim }_{n\to \infty }\frac{1}{n}=0$，所以函数序列一致收敛
   (3) $|\frac{sinnx}{\sqrt{1+(x^2+n^2{)}^3}}|\le \frac{1}{n^3}$，因为级数${\sum }_{n=1}^{\infty }\frac{1}{n^3}$收敛，所以函数序列一致收敛
   (4) $|\frac{x}{1+4n^4{x}^2}|\le \frac{1}{4n^2}$，因为级数${\sum }_{n=1}^{\infty }\frac{1}{4n^2}$收敛，所以函数序列一致收敛
   (5) ${\sum }_{k=n+1}^{\infty }\frac{x^2}{(1+x{)}^k}=\frac{x}{(1+x{)}^n}\le \frac{x}{1+nx}\le \frac{1}{n}$，因为${\lim }_{n\to \infty }\frac{1}{n}=0$，所以函数序列一致收敛
   (6) $\frac{1}{\sqrt{n^2+x^2}}\le \frac{1}{n}$，因为${\lim }_{n\to \infty }\frac{1}{n}=0$，所以函数序列 { 1 n 2 + x 2 } \{\frac{1}{\sqrt{n^2+x^2}}\} {n2+x2 ​1​}一致收敛于0，因为$\frac{1}{\sqrt{n^2+x^2}}$关于n单调，并且$|{\sum }_{k=1}^{n}sinx\cdot sinkx|=|cos\frac{x}{2}\cdot [cos\frac{x}{2}-cos(n+\frac{1}{2})x]|\le 2$，所以函数序列一致收敛
   (7) $|{\sum }_{k=n+1}^{\infty }(-1{)}^{k-1}{x}^2{e}^{-k{x}^2}|=\frac{x^2{e}^{-n{x}^2}}{e^{x^2}+1}\le x^2{e}^{-n{x}^2}=\frac{x^2}{e\cdot e^{n{x}^2-1}}\le \frac{1}{en}$，因为${\lim }_{n\to \infty }\frac{1}{en}=0$，所以函数序列一致收敛
4. 证明级数$f(x)={\sum }_{n=1}^{\infty }{3}^{-n}sin{2}^{n}x$在$(-\infty ,+\infty )$中一致收敛，且有连续的导函数
   证明：
   $|3^{-n}sin{2}^{n}x|\le 3^{-n}$，因为级数${\sum }_{n=1}^{\infty }{3}^{-n}$收敛，所以函数序列一致收敛
   $|f^{\prime }(x)|=|(\frac{2}{3}{)}^{n}cos{2}^{n}x|\le (\frac{2}{3}{)}^n$，因为级数${\sum }_{n=1}^{\infty }(\frac{2}{3}{)}^n$收敛，所以函数序列$f^{\prime }(x)$一致收敛，所以有连续的导函数
5. 证明级数$g(x)={\sum }_{n=1}^{\infty }{2}^{n}sin\frac{x}{3^n}$在$(-\infty ,+\infty )$中不一致收敛，但在任意闭区间$[-M,M](M>0)$上一致收敛，并证明$g(x)$在$(-\infty ,+\infty )$中有连续的导函数
   证明：
   取$x_n=3^{n+1}$，则$|{\sum }_{k=n+1}^{\infty }{2}^{k}sin\frac{3^{n+1}}{3^k}|\ge 2^{n+1}sin1>sin1$，所以函数序列不一致收敛
   当$x\in [-M,M]$时，$|2^{n}sin\frac{x}{3^n}|\le |2^n\frac{x}{3^n}|\le M(\frac{2}{3}{)}^n$，因为级数${\sum }_{n=1}^{\infty }M(\frac{2}{3}{)}^n$收敛，所以函数序列一致收敛
   $|g^{\prime }(x)|=|(\frac{2}{3}{)}^{n}cos\frac{x}{3^n}|\le (\frac{2}{3}{)}^n$，因为级数${\sum }_{n=1}^{\infty }(\frac{2}{3}{)}^n$收敛，所以函数序列$g^{\prime }(x)$一致收敛，所以有连续的导函数
6. 证明级数$\zeta (x)={\sum }_{n=1}^{\infty }\frac{1}{n^x}$在任何区间$[1+\delta ,+\infty )$中一致收敛$(\delta >0)$，并证明级数${\sum }_{n=1}^{\infty }\frac{lnn}{n^x}$在任何区间$[1+\delta ,+\infty )$中一致收敛$(\delta >0)$，从而导致函数$\zeta (x)$在$(1,+\infty )$中有连续的导函数${\zeta }^{\prime }(x)$
   证明：
   当$x\in [1+\delta ,+\infty )$时，$\frac{1}{n^x}\le \frac{1}{n^{1+\delta }}$，因为级数${\sum }_{n=1}^{\infty }\frac{1}{n^{1+\delta }}$收敛，所以函数序列一致收敛
   因为${\lim }_{n\to \infty }\frac{lnn}{n^{\frac{\delta }{2}}}=0$，所以$\exists M>0$，使得$\frac{lnn}{n^{\frac{\delta }{2}}}<M$，当$x\in [1+\delta ,+\infty )$时，$\frac{lnn}{n^x}\le \frac{lnn}{n^{1+\delta }}\le \frac{M}{n^{1+\frac{\delta }{2}}}$，因为级数${\sum }_{n=1}^{\infty }\frac{M}{n^{1+\frac{\delta }{2}}}$收敛，所以函数序列一致收敛
   $|{\zeta }^{\prime }(x)|=|{\sum }_{n=1}^{\infty }\frac{-lnn}{n^x}|$，因为级数${\sum }_{n=1}^{\infty }\frac{lnn}{n^x}$在任何区间$[1+\delta ,+\infty )$中一致收敛，所以函数$\zeta (x)$在$(1,+\infty )$中有连续的导函数${\zeta }^{\prime }(x)$
7. 设$p>0$，证明函数$f(x)={\sum }_{n=1}^{\infty }\frac{sinnx}{n^{2+p}}$在$(-\infty ,+\infty )$中有连续的导函数
   证明：
   $|f^{\prime }(x)|=|{\sum }_{n=1}^{\infty }\frac{cosnx}{n^{1+p}}|\le {\sum }_{n=1}^{\infty }\frac{1}{n^{1+p}}$，因为级数${\sum }_{n=1}^{\infty }\frac{1}{n^{1+p}}$收敛，所以函数序列$f^{\prime }(x)$一致收敛，所以有连续的导函数
8. 设${\sum }_{n=1}^{\infty }{a}_n$收敛。证明级数${\sum }_{n=1}^{\infty }\frac{a_n}{n^x}$在$[0,+\infty )$中一致收敛，并有${\lim }_{x\to 0+0}{\sum }_{n=1}^{\infty }\frac{a_n}{n^x}={\sum }_{n=1}^{\infty }{a}_n$
   证明：
   当$x\in [0,+\infty )$时，$\frac{1}{n^x}$关于n单调，而且$\frac{1}{n^x}\le 1$，因为${\sum }_{n=1}^{\infty }{a}_n$收敛，所以级数${\sum }_{n=1}^{\infty }\frac{a_n}{n^x}$在$[0,+\infty )$中一致收敛，而且${\lim }_{x\to 0+0}{\sum }_{n=1}^{\infty }\frac{a_n}{n^x}={\sum }_{n=1}^{\infty }{\lim }_{x\to 0+0}\frac{a_n}{n^x}={\sum }_{n=1}^{\infty }{a}_n$