无穷级数（微积分）

第十章 无穷级数

10.1 数项级数

• 柯西收敛定理（序列极限的充要条件）：$\forall ϵ>0,\exists N,s.t.|a_n-a_m|<ϵ,只要n\ge N,m\ge N$.
  即一个序列有极限的充要条件是它是一个柯西序列。

• 级数概念：$\sum _{n=1}^{\infty }{u}_n$为数列 { u n } \{u_n\} {un​}的级数，其中一般项$u_k$称作通项。

• 收敛定义： { s n } = ∑ k = 1 n a k \{s_n\}=\sum\limits_{k=1}^n a_k {sn​}=k=1∑n​ak​称为级数的部分和序列，若$\underset{n\to \infty }{\lim }{s}_n=S$有极限，则称级数收敛；若没有极限，则称级数发散。

• 级数性质：

  • 1.可加减：$\sum _{n=1}^{\infty }(u_n\pm v_n)=\sum _{n=1}^{\infty }{u}_n\pm \sum _{n=1}^{\infty }{v}_n$.
  • 2.可数乘：$\sum _{n=1}^{\infty }k{u}_n=k\sum _{n=1}^{\infty }{u}_n$.
  • 3.级数中改变有限项，不会改变级数的敛散性，但若收敛时会改变原级数和。
  • 4.加括号（收敛的结合律）：收敛级数的项任意加括号后，新级数仍收敛（$收\stackrel{加括号}{\to }\nleftarrow 收$）；加括号后级数发散，原级数也发散（$发\nrightarrow \stackrel{去括号}{\leftarrow }发$）。

  例：$\sum _{n=0}^{\infty }(-1{)}^n敛散性$
  解：
  $$\begin{gathered} 部分和有s_{2n}=0,s_{2n+1}=1，故级数发散 \\ 但若适当加括号后可能变成收敛的,此时加括号错误 \end{gathered}$$

  • 5.级数收敛（必要条件）：$\underset{n\to \infty }{\lim }{s}_n=S$ $⟹$$\underset{n\to \infty }{\lim }{u}_n=0$.
    逆否命题成立：若$\underset{n\to \infty }{\lim }{u}_n\ne 0$，则级数发散。
  • 6.级数收敛（充要条件）：$\underset{n\to \infty }{\lim }{s}_n=S$ $⟺$$\forall ϵ>0,\exists N,s.t.|\sum _{k=n+1}^{n+p}{u}_k|<ϵ,只要n\ge N,p\ge 1$.
    即级数中任取一段，无论$p$多大，只要$n$充分大，这段和的绝对值就足够小

  例：$调和级数\sum _{n=0}^{\infty }\frac{1}{n}敛散性$
  解法1：
  $$\begin{gathered} 由级数收敛充要条件：\sum _{k=n+1}^{2n}\frac{1}{k}=\frac{1}{n+1}+...+\frac{1}{2n}\ge \frac{n}{2n}=\frac{1}{2}\ne 0. \\ 故调和级数发散。 \end{gathered}$$
  解法2：
  $$\begin{gathered} \because x>\ln (x+1)\therefore \frac{1}{n}>\ln (\frac{1}{n}+1)=\ln (n+1)-\ln (n) \\ 故\sum _{n=0}^{\infty }\frac{1}{n}=\underset{n\to \infty }{\lim }\sum _{k=0}^n\frac{1}{k}>\underset{n\to \infty }{\lim }\ln (n+1)=\infty .故调和级数发散。 \end{gathered}$$

10.2 数项级数敛散性

• 正项级数（$u_n\ge 0$）

  • 定理：正项级数$\sum _{n=1}^{\infty }{u}_n$收敛$⟺$部分和 { S n } \{S_n\} {Sn​}有界（因 { S n } \{S_n\} {Sn​}单增，有上界时必有极限）
  • 比较审敛法：正项级数有$u_i\le v_i$，若$\sum _{n=1}^{\infty }{u}_n$发散，则$\sum _{n=1}^{\infty }{v}_n$发散；若$\sum _{n=1}^{\infty }{v}_n$收敛，则$\sum _{n=1}^{\infty }{u}_n$收敛。（由已知推未知）

  例：$p-级数\sum _{n=1}^{\infty }\frac{1}{n^p}敛散性.证明：0<p\le 1时发散，p>1时收敛$
  $$\begin{gathered} 当0<p\le 1时,\frac{1}{n^p}\ge \frac{1}{n},由比较审敛法得\sum _{n=1}^{\infty }\frac{1}{n^p}发散. \\ 当1<p时,对函数y=\frac{1}{n^p},S_n=\sum _{n=1}^{\infty }\frac{1}{n^p}<1+{\int }_1^n\frac{1}{x^p}dx<1+\frac{1}{p-1}有界，故\sum _{n=1}^{\infty }\frac{1}{n^p}收敛. \end{gathered}$$

  • 比较审敛法的极限形式：对正项级数 { u n } , { v n } \{u_n\},\{v_n\} {un​},{vn​}，记$h=\underset{n\to \infty }{\lim }\frac{u_n}{v_n}$
    • (1).若$0<h<+\infty$，$\sum _{n=1}^{\infty }{u}_n$、$\sum _{n=1}^{\infty }{v}_n$同敛散性
    • (2).若$h=0$，若$\sum _{n=1}^{\infty }{v}_n$收敛，则$\sum _{n=1}^{\infty }{u}_n$收敛
    • (3).若$h=+\infty$，若$\sum _{n=1}^{\infty }{u}_n$发散，则$\sum _{n=1}^{\infty }{v}_n$发散
  • 极限审敛法（相当于比较审敛法的极限形式的推论）：对正项级数 { u n } \{u_n\} {un​}
    • (1).若$\underset{n\to \infty }{\lim }{n}^p{u}_n=l\ge 0(p>1)$，则$\sum _{n=1}^{\infty }{u}_n$收敛
    • (2).若$\underset{n\to \infty }{\lim }n{u}_n=l>0$或$\underset{n\to \infty }{\lim }n{u}_n=+\infty$，则$\sum _{n=1}^{\infty }{u}_n$发散

  例：$\sum _{n=1}^{\infty }ln(1+\frac{1}{n^2})敛散性$
  解：
  $$\begin{gathered} \because \underset{n\to \infty }{\lim }{n}^2\ln (1+\frac{1}{n^2})=1>0(p=2>1), \\ \therefore 原级数收敛. \end{gathered}$$

• 交错项级数：$\sum _{n=1}^{\infty }(-1{)}^{n-1}{u}_n$或$\sum _{n=1}^{\infty }(-1{)}^n{u}_n$，其中$u_n>0$.

  • 莱布尼兹审敛法：交错级数收敛 $⟺$ $(1)u_n\ge u_{n+1}(n=1,2,...)(2)\underset{n\to \infty }{\lim }{u}_n=0.$
    余项$|r_n|=|(\underset{n\to \infty }{\lim }{S}_n)-S_n|=|u_{n+1}-u_{n+2}+...|\le u_{n+1}$.

• 任意项级数

  • 绝对收敛$VS$条件收敛
    • 绝对收敛：$\sum _{n=1}^{\infty }|u_n|$收敛，此时$\sum _{n=1}^{\infty }{u}_n$一定收敛 （故可通过加绝对值判断敛散性）
    • 条件收敛：$\sum _{n=1}^{\infty }|u_n|$发散，而$\sum _{n=1}^{\infty }{u}_n$收敛
  • 比值（达朗贝尔）审敛法：对级数 { u n } \{u_n\} {un​} ，记$\rho =\underset{n\to \infty }{\lim }\left|\frac{u_{n+1}}{u_n}\right|$
    • (1).若$\rho <1$，则$\sum _{n=1}^{\infty }{u}_n$绝对收敛（从而收敛）
    • (2).若$\rho >1$或$\rho =+\infty$，则$\sum _{n=1}^{\infty }{u}_n$发散
    • (3).若$\rho =1$，不能确定
  • 根值（柯西）审敛法：对级数 { u n } \{u_n\} {un​} ，记$\rho =\underset{n\to \infty }{\lim }\sqrt[n]{|u_n|}$
    • (1).若$\rho <1$，则$\sum _{n=1}^{\infty }{u}_n$绝对收敛（从而收敛）
    • (2).若$\rho >1$或$\rho =+\infty$，则$\sum _{n=1}^{\infty }{u}_n$发散
    • (3).若$\rho =1$，不能确定

  例：$\sum _{n=1}^{\infty }\frac{\ln (n+2)}{(a+\frac{1}{n}{)}^n}(a>0)敛散性$
  $$\begin{gathered} 先转为函数x求极限：\underset{x\to \infty }{\lim }\ln (x+2{)}^{\frac{1}{x}}=\underset{x\to \infty }{\lim }{e}^{\frac{\ln \ln (x+2)}{x}}=\underset{x\to \infty }{\lim }{e}^{\frac{\frac{1}{(x+2)\ln (x+2)}}{1}}=1. \\ \underset{n\to \infty }{\lim }\sqrt[n]{|u_n|}=\underset{n\to \infty }{\lim }\frac{\ln (n+2{)}^{\frac{1}{n}}}{a+n}=\frac{1}{a}. \\ 故a>1时，原级数收敛.a<1，原级数发散. \\ a=1时，\underset{n\to \infty }{\lim }\left|\frac{u_{n+1}}{u_n}\right|=\underset{n\to \infty }{\lim }\frac{\ln (n+3)}{\ln (n+2)}>1，原级数发散. \end{gathered}$$
  例：$设a_n>0且\sum _{n=1}^{\infty }{a}_n收敛，\lambda \in (0,\frac{\pi }{2}),证明级数\sum _{n=1}^{\infty }(-1{)}^n(n\tan \frac{\lambda }{n})a_{2n}绝对收敛$.
  解：
  $$\begin{gathered} \because \sum _{n=1}^{\infty }{a}_n收敛\therefore \sum _{n=1}^{\infty }{a}_{2n}收敛. \\ \because \underset{n\to \infty }{\lim }n\tan \frac{\lambda }{n}=\underset{n\to \infty }{\lim }n\cdot \frac{\lambda }{n}=\lambda \therefore \underset{n\to \infty }{\lim }|(-1{)}^n(n\tan \frac{\lambda }{n})a_{2n}|=\lambda a_{2n} \\ 即\sum _{n=1}^{\infty }|(-1{)}^n(n\tan \frac{\lambda }{n})a_{2n}|与级数\sum _{n=1}^{\infty }{a}_{2n}同敛散性，故原级数绝对收敛. \end{gathered}$$
  例：$判定级数\sum _{n=1}^{\infty }\sin (\frac{n^2+\lambda n+\mu }{n}\pi )的敛散性$
  解:
  $$\begin{gathered} \sin (\frac{n^2+\lambda n+\mu }{n}\pi )=\sin ((n+\lambda +\frac{\mu }{n})\pi )=(-1{)}^n\sin (\lambda +\frac{\mu }{n})\pi . \\ 当\lambda \in Z时,原级数=\sum _{n=1}^{\infty }(-1{)}^{n+\lambda }\sin \frac{\mu }{n}\pi \\ 令f(x)=\sin \frac{\mu }{x}\pi \because f(x)单调递减\therefore \sin \frac{\mu }{n}\pi >\sin \frac{\mu }{n+1}\pi ,\underset{n\to \infty }{\lim }\sin \frac{\mu }{n}\pi =0.故原级数为交错级数收敛. \\ 当\lambda \notin Z时,\underset{n\to \infty }{\lim }\sin (\lambda +\frac{\mu }{n})\pi =\underset{n\to \infty }{\lim }\sin \lambda \pi \ne 0.故原级数发散. \end{gathered}$$
  例：$设f(x)在x=0的某领域内具有二阶连续偏导数,且|f^{\prime \prime }(x)\le M|,\underset{x\to 0}{\lim }\frac{f(x)}{x}=0,证明级数\sum _{n=1}^{\infty }f(\frac{1}{n})绝对收敛$
  解：
  $$\begin{gathered} \because \underset{x\to 0}{\lim }\frac{f(x)}{x}=0\therefore f(0)=0,f^{\prime }(0)=0. \\ 由泰勒公式,\exists \xi \in (0,\frac{1}{n}) \\ s.t.f(\frac{1}{n})=f(0)+f^{\prime }(0)\frac{1}{n}+\frac{f^{\prime \prime }(\xi )}{2!}(\frac{1}{n}{)}^2=\frac{f^{\prime \prime }(\xi )}{2!}(\frac{1}{n}{)}^2,则|f(\frac{1}{n})|=\frac{|f^{\prime \prime }(\xi )|}{2!}(\frac{1}{n}{)}^2\le \frac{M}{2n^2}. \\ \because \sum _{n=1}^{\infty }\frac{1}{n^2}收敛\therefore 原级数绝对收敛. \end{gathered}$$

10.3 函数项级数

• 1.函数项级数收敛域与和函数：

  • 概念：$\sum _{n=1}^{\infty }{u}_n(x)=s(x)=\underset{n\to \infty }{\lim }{s}_n(x)(x\in D)$
    其中$\sum _{n=1}^{\infty }{u}_n(x)$为级数，$s_n(x)$为部分和函数，$s(x)$为级数的和函数，$D$为收敛域（和函数定义在收敛域上）

  • 余项：$r_n(x)=s(x)-s_n(x)=\sum _{k=n+1}^{\infty }{u}_k(x)$，且$\underset{n\to \infty }{\lim }{r}_n(x)=0$.

    例：$几何级数\sum _{n=0}^{\infty }{x}^n$. 定义域：$(-\infty ,+\infty )$，收敛域：$(-1,1)$，和函数为$\frac{1}{1-x}$.

• 2.幂级数敛散性

  • 一般形式：$\sum _{n=0}^{\infty }{a}_n(x-x_0{)}^n=a_0+a_1(x-x_0)+...$
  • 阿贝尔定理：对于幂级数$\sum _{n=0}^{\infty }{a}_n{x}^n$，若在$x_0$处收敛，则$|x|<|x_0|$时，幂级数绝对收敛；在$x_0$处发散，则$|x|>|x_0|$时，幂级数发散
  • 结论：对于幂级数$\sum _{n=0}^{\infty }{a}_n{x}^n$，存在收敛半径正数$R$，$(-R,R)$称为幂级数的收敛区间，当$R\ne 0$且$R\ne +\infty$时：
    • (1).当$|x|<R$时，幂级数绝对收敛
    • (2).当$|x|>R$时，幂级数发散
    • (3).当$x=R$与$x=-R$时，不能确定
  • 定理：对幂级数$\sum _{n=0}^{\infty }{a}_n{x}^n$，记$\rho =\underset{n\to \infty }{\lim }\left|\frac{a_{n+1}}{a_n}\right|$
    • (1).当$0<\rho <+\infty$时，$R=\frac{1}{\rho }$；
    • (2).当$\rho =+\infty$时，$R=0$；
    • (3).当$\rho =0$时，$R=+\infty$.

  例：$\sum _{n=1}^{\infty }(-1{)}^n\frac{2^n}{\sqrt{n}}(x-\frac{1}{2}{)}^n求收敛域$
  $$\begin{gathered} 令t=x-\frac{1}{2},则\underset{n\to \infty }{\lim }\left|\frac{u_{n+1}}{u_n}\right|=\underset{n\to \infty }{\lim }2\sqrt{\frac{n}{n+1}}|t|=2|t|. \\ 若0<x<1,收敛.若x<0或1<x,发散. \\ 当x=1时,原式=\sum _{n=1}^{\infty }\frac{(-1{)}^n}{\sqrt{n}}收敛.当x=0时,原式=\sum _{n=1}^{\infty }\frac{1}{\sqrt{n}}发散. \\ \therefore 收敛域为\left(0,1\right] \end{gathered}$$

• 3.幂级数的性质

  • 加减：$\sum _{n=0}^{\infty }{a}_n{x}^n\pm \sum _{n=0}^{\infty }{b}_n{x}^n=\sum _{n=0}^{\infty }(a_n\pm b_n)x^n=s_a(x)+s_b(x)$， 收敛半径$R=\min (R_a,R_b)$

  • 乘积（柯西乘积）：$(\sum _{n=0}^{\infty }{a}_n{x}^n)\cdot (\sum _{n=0}^{\infty }{b}_n{x}^n)=\sum _{n=0}^{\infty }{c}_n{x}^n=s_a(x)\cdot s_b(x)$，收敛半径$R=\min (R_a,R_b)$
    其中$c_n=\sum _{k=0}^n{a}_k{b}_{n-k}$.

  • 商（柯西乘积的逆运算）

• 一致收敛性（收敛区间幂级数的性质）：

  • 性质一（连续性）：和函数$s(x)$在$(-R,R)$内处处连续。即$\forall x_0\in (-R,R)$时，$\underset{x\to x_0}{\lim }s(x)=s(x_0)$，
    或：（极限与无穷项求和可交换）
    $$\underset{x\to x_0}{\lim }\sum _{n=0}^{\infty }{a}_n{x}^n=\sum _{n=0}^{\infty }{a}_n{x}_0^n=\sum _{n=0}^{\infty }\underset{x\to x_0}{\lim }{a}_n{x}^n$$
  • 性质二（逐项可导）：收敛域仍为$(-R,R)$（极限与求导可交换）
    $$s^{\prime }(x)={\left(\sum _{n=0}^{\infty }{a}_n{x}^n\right)}^{\prime }=\sum _{n=0}^{\infty }(a_n{x}^n{)}^{\prime }=\sum _{n=1}^{\infty }{a}_{n}n{x}^{n-1}$$
    推论：$s^{(n)}(x)={\left(\sum _{n=0}^{\infty }{a}_n{x}^n\right)}^{(n)}=\sum _{n=k}^{\infty }(a_n{x}^n{)}^{(n)}$，$x\in (-R,R)$.
  • 性质三（逐项可积）：收敛域仍为$(-R,R)$（极限与求导可交换）
    $${\int }_0^{x}s(x)dx={\int }_0^x\sum _{n=0}^{\infty }{a}_n{x}^{n}dx=\sum _{n=0}^{\infty }{\int }_0^x{a}_n{x}^{n}dx=\sum _{n=0}^{\infty }{a}_n\frac{x^{n+1}}{n+1}$$
    推论：幂级数在收敛区间上任意可积等于逐项积分且收敛区间不变。

例：$求\sum _{n=0}^{\infty }(-1{)}^n\frac{(n^2-n+1)}{2}之和$.

解:
$$\begin{gathered} 原式=\sum _{n=0}^{\infty }(n^2-n)(-\frac{1}{2}{)}^n+\sum _{n=0}^{\infty }(-\frac{1}{2}{)}^n=s_1+s_2,其中s_2=\frac{2}{3}. \\ \because \sum _{n=0}^{\infty }(n^2-n)x^n=x^2{\left(\sum _{n=2}^{\infty }{x}^n\right)}^{\prime \prime }=x^2{\left(\frac{x^2}{1-x}\right)}^{\prime \prime }=\frac{2x^2}{(1-x{)}^3}. \\ \therefore s_1=\frac{4}{27} \\ 故原式为=\frac{22}{27}. \end{gathered}$$

• 4.泰勒级数

  • 概念：

    • 1.$f(x)$的幂级数展开式：$f(x)=\sum _{n=0}^{\infty }{a}_n{x}^n$
    • 2.$f(x)$在$x_0$处的泰勒级数：$\sum _{n=0}^{\infty }\frac{f^{(n)}(x_0)}{n!}(x-x_0{)}^n$（泰勒展式需要$n$阶导数，泰勒级数需要无穷阶导数）

  • 定理1（充要条件）： $f(x)$能展开成泰勒级数 $⟺$ 在$x_0$的某邻域处，$f(x)$具有各阶导数，即泰勒级数能在$x_0$点收敛于$f(x)$
    $$f(x)=\sum _{n=0}^{\infty }\frac{f^{(n)}(x_0)}{n!}(x-x_0{)}^n⟺\underset{n\to \infty }{\lim }{R}_n(x)=\underset{n\to \infty }{\lim }\frac{f^{(n+1)}(\xi )}{(n+1)!}(x-x_0{)}^{n+1}=0(x\in U(x_0))$$

  • 定理2（唯一性）：若$f(x)$能展开成$x$的幂级数，则展式唯一，即为$f(x)$的麦克劳林级数$\sum _{n=0}^{\infty }\frac{f^{(n)}(0)}{n!}{x}^n$

例：$将f(x)=x\arctan x-\ln \sqrt{1+x^2}展开成麦克劳林级数$
解：
$$\begin{gathered} f^{\prime }(x)=\arctan x+\frac{x}{1+x^2}-\frac{x}{1+x^2}=\arctan x, \\ {f}^{\prime \prime }(x)=\frac{1}{x^2+1}=1-x^2+x^4-x^6+..., \\ 且f(0)=0,f^{\prime }(0)=0,f^{\prime \prime }(0)=1. \\ \therefore f(x)=\frac{1}{2!}{x}^2-\frac{2!}{4!}{x}^4+\frac{4!}{6!}{x}^6-...-\frac{(2n-4)!}{(2n-2)!}{x}^{2n-2}=\sum _{n=0}^{\infty }\frac{(-1{)}^{n+1}}{(2n-1)(2n)}{x}^{2n}. \end{gathered}$$

• 5.函数的幂级数展开

  • 直接展开法：
    • $⨀$第一步：求各阶导数$f^{(k)}(0)$，若某阶导数不存在，则不能展开。
    • $⨀$第二步：构造麦克劳林级数，找收敛半径
    • $⨀$第三步：在收敛区间中，验证$\underset{n\to \infty }{\lim }{R}_n(x)=0$是否成立

  例：$将\sin x展开成x的幂函数$

  解：
  $$\begin{gathered} f^{(n)}(x)=\sin (x+n\cdot \frac{\pi }{2})(n=0,1,2,...). \\ 对于x\in (-\infty ,\infty ),有|R_n(x)|=|\frac{1}{(n+1)!}\sin (\xi +\frac{n+1}{2}\pi )\cdot x^{n+1}|\le \frac{|x{|}^{n+1}}{(n+1)!}. \\ \therefore \underset{n\to \infty }{\lim }{R}_n(x)=0(x\in (-\infty ,\infty )) \\ 于是\sin x=x-\frac{x^3}{3!}+\frac{x^5}{5!}+...+(-1{)}^n\frac{x^{2n+1}}{(2n+1)!}+...(x\in (-\infty ,\infty )) \end{gathered}$$

  • 间接展开法：用已知求未知（变量替换，逐项求导）

常见已知：（奇/偶函数展开只有奇/偶数次项）
$$\begin{gathered} \frac{1}{1+x}=\sum _{n=0}^{\infty }(-1{)}^n{x}^n=1-x+x^2-x^3+...+(-1{)}^n{x}^n+...(-1<x<1) \\ \frac{1}{1-x}=\sum _{n=0}^{\infty }{x}^n=1+x+x^2+...+x^n+...(-1<x<1) \\ {e}^x=\sum _{n=0}^{\infty }\frac{1}{n!}{x}^n=1+x+\frac{1}{2!}{x}^2+...+\frac{1}{n!}{x}^n+...(-\infty <x<\infty ) \\ \sin x=\sum _{n=0}^{\infty }\frac{(-1{)}^n}{(2n+1)!}{x}^{2n+1}=x-\frac{x^3}{3!}+\frac{x^5}{5!}+...+(-1{)}^n\frac{x^{2n+1}}{(2n+1)!}+...(-\infty <x<+\infty ) \\ \cos x=\sum _{n=0}^{\infty }\frac{(-1{)}^n}{(2n)!}{x}^{2n}=1-\frac{x^2}{2!}+\frac{x^4}{4!}+...+(-1{)}^n\frac{x^{2n}}{(2n)!}+...(-\infty <x<\infty ) \\ (1+x{)}^{\alpha }=\sum _{n=0}^{\infty }\frac{\alpha (\alpha -1)...(\alpha -n+1)}{n!}{x}^n \\ =1+\alpha x+\frac{\alpha (\alpha -1)}{2!}{x}^2+...+\frac{\alpha (\alpha -1)...(\alpha -n+1)}{n!}{x}^n+...(-1<x<+\infty ) \end{gathered}$$
例：$求f(x)=\ln (1+x)展开成幂函数$
$$\begin{gathered} f^{\prime }(x)=\frac{1}{1+x}=\sum _{n=0}^{\infty }(-1{)}^n{x}^n,|x|<1 \\ 积分得f(x)={\int }_0^x{f}^{\prime }(x)dx=\sum _{n=0}^{\infty }\frac{(-1{)}^n}{n+1}{x}^{n+1}=x-\frac{x^2}{2!}+\frac{x^3}{3!}+...+(-1{)}^{n-1}\frac{x^n}{(n)!}+...(|x|<1). \end{gathered}$$

例：例：$求f(x)=\arcsin x开成幂函数$
$$\begin{gathered} f^{\prime }(x)=\frac{1}{\sqrt{1-x^2}}=\sum _{n=0}^{\infty }\frac{-\frac{1}{2}(-\frac{1}{2}-1)...(-\frac{1}{2}-n+1)}{n!}(-x^2{)}^n=1+\sum _{n=1}^{\infty }\frac{(2n-1)!!}{(2n)!!}{x}^{2n},|x|<1 \\ 积分得f(x)={\int }_0^x{f}^{\prime }(x)dx=x+\sum _{n=1}^{\infty }\frac{(2n-1)!!}{(2n)!!(2n+1)}{x}^{2n+1} \\ =x-\frac{1}{6!}{x}^3+\frac{3}{40}{x}^5+...+\frac{(2n-1)!!}{(2n)!!(2n+1)}{x}^{2n+1}+...(|x|<1). \end{gathered}$$

• 6.应用
  • 近似计算：
  • 欧拉公式：$e^{ix}=\cos x+i\sin x$ $e^{-ix}=\cos x-i\sin x$.

10.4 傅里叶级数

引入：当许多周期函数不是无穷次可导时，不能展开成幂级数，但是可以考虑展开成周期函数之和

• 三角函数系的正交性：

  • 三角函数系：$1,\cos x,\sin x,...,\cos nx,\sin nx$

  • 性质（正交性）：在$[-\pi ,\pi ]$，函数系中任意两不同函数乘积的积分为0，相同函数乘积的积分为$\pi$
    $$\begin{gathered} {\int }_{-\pi }^{\pi }1\cdot \cos nxdx={\int }_{-\pi }^{\pi }1\cdot \sin nxdx=0(n=1,2,...) \\ {\int }_{-\pi }^{\pi }\sin mx\cdot \cos nxdx={\int }_{-\pi }^{\pi }\sin mx\cdot \sin nxdx={\int }_{-\pi }^{\pi }\cos mx\cdot \cos nxdx=0(m,n=1,2,...) \\ \frac{1}{2}{\int }_{-\pi }^{\pi }{1}^{2}dx={\int }_{-\pi }^{\pi }{\sin }^{2}nxdx={\int }_{-\pi }^{\pi }{\cos }^{2}nxdx=\pi (n=1,2,...) \end{gathered}$$

• 周期函数的傅里叶级数

  • 定义：
    • 三角级数：$f(x)\sim \frac{a_0}{2}+\sum _{n=1}^{\infty }(a_n\cos nx+b_n\sin nx)$
    • 傅里叶系数：$\{\begin{array}{l}{a}_n=\frac{1}{\pi }{\int }_{-\pi }^{\pi }f(x)\cos nxdx(n=0,1,2,...)\\ b_n=\frac{1}{\pi }{\int }_{-\pi }^{\pi }f(x)\sin nxdx(n=1,2,...)\end{array}$
    • 证明：利用正交性，分别用$\cos mx,\sin mx$乘以展开式两端再积分
  • 注意：
    • 条件：$f(x)$在$[-\pi ,\pi ]$上有界可积
    • $f(x)$的傅里叶级数在$[-\pi ,\pi ]$不一定收敛，更不一定收敛于$f(x)$

• 以$2\pi$为周期的函数的傅里叶展开

  • 收敛（狄利克雷）定理：若周期函数在周期内分段连续且分段单调，则$f(x)$的傅里叶级数收敛，且其和函数为$S(x)=\{\begin{array}{ll}f(x)& x为连续点\\ \frac{f(x+0)+f(x-0)}{2}& x为间断点\end{array}$

    • 分段连续：在区间内连续或只有有限个第一类间断点
    • 分段单调：在区间内只有有限个单调区间（有限个极值点）
      推论：由周期性，总有$s(\pm \pi )=\frac{f(-\pi +0)+f(\pi -0)}{2}$.
      周期延拓：
    1. ​ 定义在$(-\infty ,+\infty )$上以$2\pi$为周期的函数$F(x)$，若满足定理条件，在$(-\pi ,\pi )$上傅里叶系数仍成立（其中的$f(x)$为$F(x)$限制在$(-\pi ,\pi )$上的函数）
    2. 定义在$(-\pi ,+\pi )$上的函数$f(x)$，若满足定理条件，可将$f(x)$延拓为以$2\pi$为周期的函数$F(x)$

  • 奇/偶函数展开成正/余弦函数：若$f(x)$在$(-\pi ,\pi )$上为奇/偶函数

    • 奇函数：$\{\begin{array}{l}{a}_n=\frac{1}{\pi }{\int }_{-\pi }^{\pi }f(x)\cos nxdx=0(n=0,1,2,...)\\ b_n=\frac{1}{\pi }{\int }_{-\pi }^{\pi }f(x)\sin nxdx=\frac{2}{\pi }{\int }_0^{\pi }f(x)\sin nxdx(n=1,2,...)\end{array}$
      此时$f(x)=\sum _{n=1}^{\infty }{b}_n\sin nx$，称为正弦函数
    • 偶函数：$\{\begin{array}{l}{a}_n=\frac{2}{\pi }{\int }_0^{\pi }f(x)\cos nxdx(n=0,1,2,...)\\ b_n=0(n=1,2,...)\end{array}$
      此时$f(x)=\frac{a_0}{2}+\sum _{n=1}^{\infty }{a}_n\cos nx$，称为余弦函数

  • 非周期函数的周期性开拓：将定义在$[0,\pi ]$上的函数$f(x)$，延拓成以$2\pi$为周期的函数$F(x)$.
    令$F(x)=\{\begin{array}{ll}f(x)& 0\le x\le \pi \\ g(x)& -\pi <x<0\end{array}$，且$F(x+2\pi )=F(x)$.

    • 奇延拓：$F(x)=\{\begin{array}{ll}f(x)& 0<x\le \pi \\ 0& x=0\\ g(x)=-f(-x)& -\pi <x<0\end{array}$
      此时$f(x)=\sum _{n=1}^{\infty }{b}_n\sin nx(0\le x\le \pi )$，称为正弦函数
    • 偶延拓：$F(x)=\{\begin{array}{ll}f(x)& 0\le x\le \pi \\ & \\ g(x)=f(-x)& -\pi <x<0\end{array}$
      此时$f(x)=\frac{a_0}{2}+\sum _{n=1}^{\infty }{a}_n\cos nx(0\le x\le \pi )$，称为余弦函数

例：$将函数f(x)=\{\begin{array}{ll}-x,& -\pi \le x<0\\ x,& 0\le x\le \pi \end{array}展开成傅里叶级数,并求\sum _{n=1}^{\infty }\frac{1}{n^2}$.
解：
$$\begin{gathered} 所给函数满足狄利克雷充分条件,故延拓为周期函数F(x)在(-\pi ,\pi )的展开式收敛于f(x). \\ {a}_0=\frac{1}{\pi }{\int }_{-\pi }^0(-x)dx+\frac{1}{\pi }{\int }_0^{\pi }xdx=\pi \\ {a}_n=\frac{1}{\pi }{\int }_{-\pi }^0(-x)\cos nxdx+\frac{1}{\pi }{\int }_0^{\pi }x\cos nxdx=\frac{1}{2n^2\pi }[(-1{)}^n-1] \\ {b}_n=\frac{1}{\pi }{\int }_{-\pi }^0(-x)\sin nxdx+\frac{1}{\pi }{\int }_0^{\pi }x\sin nxdx=0 \\ \therefore f(x)=\frac{\pi }{2}-\frac{4}{\pi }\sum _{n=1}^{\infty }\frac{1}{(2n-1{)}^2}\cos (2n-1)x(-\pi \le x\le \pi ) \\ 当x=0时，f(0)=0,\frac{{\pi }^2}{8}=1+\frac{1}{3^2}+\frac{1}{5^2}+... \\ 易得\sum _{n=1}^{\infty }\frac{1}{n^2}=\frac{{\pi }^2}{6}. \end{gathered}$$
例：$$\begin{gathered} 周期为2\pi 的连续函数f(x)=\frac{a_0}{2}+\sum _{n=1}^{\infty }(a_n\cos nx+b_n\sin nx)可逐项积分, \\ 证明：\frac{1}{\pi }{\int }_{-\pi }^{\pi }f(x{)}^{2}dx=\frac{a_0^2}{2}+\sum _{n=1}^{\infty }(a_n^2+b_n^2) \end{gathered}$$.
解：
$$\begin{gathered} LHS=\frac{1}{\pi }{\int }_{-\pi }^{\pi }\frac{a_0}{2}f(x)dx+\frac{1}{\pi }{\int }_{-\pi }^{\pi }\sum _{n=1}^{\infty }{a}_n\cos nx\cdot f(x)dx+\frac{1}{\pi }{\int }_{-\pi }^{\pi }\sum _{n=1}^{\infty }{b}_n\sin nx\cdot f(x)dx \\ =\frac{a_0}{2}\frac{1}{\pi }{\int }_{-\pi }^{\pi }f(x)dx+\sum _{n=1}^{\infty }{a}_n\frac{1}{\pi }{\int }_{-\pi }^{\pi }f(x)\cos nxdx+\sum _{n=1}^{\infty }{b}_n\frac{1}{\pi }{\int }_{-\pi }^{\pi }f(x)\sin nxdx=RHS. \end{gathered}$$

• 以$2l$为周期的函数的傅里叶展开

  • 若满足收敛定理条件，则傅里叶级数$\frac{a_0}{2}+\sum _{n=1}^{\infty }(a_n\cos \frac{n\pi x}{l}+b_n\sin \frac{n\pi x}{l})$ 收敛

    其中傅里叶系数：$\{\begin{array}{l}{a}_n=\frac{1}{l}{\int }_{-l}^{l}f(x)\cos \frac{n\pi x}{l}dx(n=0,1,2,...)\\ b_n=\frac{1}{l}{\int }_{-l}^{l}f(x)\sin \frac{n\pi x}{l}dx(n=1,2,...)\end{array}$