两类常用函数项级数

幂级数

相关概念

• 形如$$\sum _{n=1}^{\infty }{a}_n{x}^n=a_0+a_{1}x+a_2{x}^2+...+a_n{x}^n+...$$或
  $$\sum _{n=1}^{\infty }{a}_n(x-x_0{)}^n=a_0+a_1(x-x_0)+a_2(x-x_0{)}^2+...+a_n(x-x_0{)}^n+...$$的函数项级数,称为幂级数. 其中, $a_0,x_0$都是常数项.
• 当级数在$|x|<R$时收敛, R称为收敛半径, 对应的开区间为收敛区间.
• 由$$a_n=\frac{f^{(n)}(x_0)}{n!},n=1,2,3...$$所确定的幂级数
  $$f(x)=\sum _{n=0}^{\infty }{a}_n(x-x_0{)}^n$$称为$f$在$x_0$处的Taylor级数.

相关性质

• Abel定理: 对于幂级数$$\sum _{n=1}^{\infty }{a}_n{x}^n=a_0+a_{1}x+a_2{x}^2+...+a_n{x}^n+...$$下列命题成立
  (1) 若他在点$x_0!=0$处收敛,则当$|x|<|x_0|$时, 级数绝对收敛.
  (2)若它再点${\tilde{x}}_0!=0$处发散, 则当$|x|>|{\tilde{x}}_0|$时, 级数发散.
• 幂级数的收敛性只有三种情况:
  (1). 在R上收敛, 且绝对收敛.
  (2). 仅在$x=0$时收敛.
  (3). 存在一个正数R, 当$|x|<R$时绝对收敛, 当$|x|>R$时发散.
• 设有幂级数${\sum }_{n=1}^{\infty }{a}_n{x}^n$,若$a_n!=0$, 则${\lim }_{n\to \infty }\frac{a_n}{a_{n+1}}$为该幂级数的收敛半径.
• 设有幂级数${\sum }_{n=1}^{\infty }{a}_n{x}^n$,若$a_n!=0$, 则$li{m}_{n\to \infty }\frac{1}{\sqrt{|a_n|}}$为其收敛半径.
• 设幂级数${\sum }_{n=1}^{\infty }{a}_n{x}^n$和${\sum }_{n=1}^{\infty }{b}_n{x}^n$的收敛半径分别为$R_1,R_2$令 R = m i n { R 1 , R 2 } R=min\{R_1,R_2\} R=min{R1​,R2​},则在他们的公共收敛区间内$(-R,R)$内,有
  (1). 级数$\alpha {\sum }_{n=1}^{\infty }{a}_n{x}^n+\beta {\sum }_{n=1}^{\infty }{b}_n{x}^n$收敛, 且$$\alpha \sum _{n=1}^{\infty }{a}_n{x}^n+\beta \sum _{n=1}^{\infty }{b}_n{x}^n=\sum _{n=1}^{\infty }(\alpha a_n+\beta b_n)x^n$$
  (2). 他们的乘积收敛,且$$\begin{gathered} (\sum _{n=1}^{\infty }{a}_n{x}^n)(\sum _{n=1}^{\infty }{b}_n{x}^n)=\sum _{n=1}^{\infty }{c}_n{x}^n \\ {c}_n=a_0{b}_n+a_1{b}_{n-1}+...+a_n{b}_0 \end{gathered}$$
  $c_n$叫做柯西乘积.
• 内闭一致收敛性: 设幂级数${\sum }_{n=1}^{\infty }{a}_n$的收敛半径为$R,0<R<=+\infty$, 则在他的收敛区间内的任何闭子区间$[a,b]$上都是一致收敛的.
  证明分析: 取$[a,b]$较大值为r, 取x为r时级数收敛, 而区间内的级数小于x为r时的级数, 因此内闭一致收敛
• 设幂级数${\sum }_{n=1}^{\infty }{a}_n{x}^n$的和函数为$S_n$, 收敛半径为R,则有
  (1). $S(x)$在收敛区间内是连续的, 即$S(x)\in C(-R,R)$;
  (2). $S(x)$在收敛区间内有连续的导数, 并且可以逐项求导, 即$\forall x\in (-R,R)$, 有$$S^{\prime }(x)=(\sum _{n=1}^{\infty }{a}_n{x}^n{)}^{\prime }=\sum _{n=1}^{\infty }(a_n{x}^n{)}^{\prime }=\sum _{n=1}^{\infty }n{a}_n{x}^{n-1}$$
  (3). $S(x)$在收敛区间$(-R,R)$内可积, 并且可以逐项积分. 类似上式.
• $f$在$(x_0-R,x_0+R)$内能展开为它在$x_0$处的Taylor级数的充要条件是
  $$\underset{n\to \infty }{\lim }{S}_{n+1}=f(x)$$
  $$\underset{n\to \infty }{\lim }{R}_n(x)=0$$
• 设$f:(x_0-R,x_0+R)\to R$是$C^{\infty }$类函数, 如果 { f ( n ) } \{f^{(n)}\} {f(n)}在$(x_0-R,x_0+R)$内是一致有界的, 即$\forall K>0,使得\forall n\in N_{+}与x\in (x_0-R,x_0+R),都有|f^{(n)}|<=K,$那么$f在(x_0-R,x_0+R)$内必定可以展开称Taylor级数.

举例

1. 将下列函数展开成x的幂级数.
   (1). $$f(x)=\frac{x}{9+x^2}$$
   分析:函数类似$\frac{1}{x+1}$,直接提出$\frac{x}{9}$即可
   (2). $$f(x)=xarctanx-ln\sqrt{1+x^2}$$;
   分析: 当函数中存在反三角函数, 可先尝试对其求导化简. 求出其导数(多阶导)的展开式,在积分.
   (3). $$f(x)=\frac{1}{4}ln\frac{1+x}{1-x}+\frac{1}{2}arcrtanx-x$$.
   分析: 同上题, 对原式进行求导,化简,直接求出导函数的展开式,再积分.
   (4). $$f(x)=ln(1+x^2+x^3+x^4)$$.
   分析: 原式化简为$$ln\frac{1-x^5}{1-x},x\ne 1$$
2. 将下列函数在指定点展开成幂级数：
   (1).$$f(x)=lnx,x_0=1$$
   分析: 直接在原函数中配出x-1即可,即$ln[1+(x-1)]$,在进行展开.
   (2).$$f(x)=5^x,x=3$$
   分析: 指数函数可以通过变换成为e的x次方, 此题中$$f(x)=e^{ln{5}^x}=e^{ln{5}^{3+(x-3)}}=e^{3ln5}\ast e^{(x-3)ln5}=125\ast e^{(x-3)ln5}$$,再进行展开即可.
   3.将函数$$f(x)={\int }_0^x\frac{ln(1+x)}{x}dx$$展开成麦克劳林级数.
   分析: 分子单独展开, 得$ln(x+1)={\sum }_{n=1}^{\infty }(-1{)}^n\frac{x^n}{n}$,故分母的x可直接忽略.