5631 字
28 分钟
数学分析下:无穷级数精简笔记

第七章 无穷级数复习资料#

适用课件:7.1常数项级数.pdf7.2-7.3函数项级数与幂级数.pdf7.4傅里叶级数.pdf
目标:用最短时间抓住期末最可能考的定义、判别法、幂级数求收敛域与和函数、傅里叶展开。公式均用 LaTeX 书写。


0. 考前速救路线#

如果你现在离考试不到一周,优先级按下面来:

  1. 常数项级数审敛法:必要条件、比较、极限比较、比值、根值、积分、莱布尼茨、绝对/条件收敛。
  2. 幂级数:收敛半径、端点单独讨论、逐项求导/积分、用已知展开求和函数。
  3. 傅里叶级数:系数公式、奇偶函数化简、半区间正弦/余弦展开、间断点取左右极限平均。
  4. 会写完整解答:考试不是只报结果,必须写“判别依据 + 极限/估计 + 结论”。

1. 常数项级数#

1.1 基本定义#

给定数列 {un}\{u_n\},形式和

n=1un=u1+u2++un+\sum_{n=1}^{\infty}u_n=u_1+u_2+\cdots+u_n+\cdots

称为常数项无穷级数

nn部分和

Sn=k=1nuk.S_n=\sum_{k=1}^{n}u_k.

若数列 {Sn}\{S_n\} 有有限极限 SS,即

limnSn=S,\lim_{n\to\infty}S_n=S,

则称级数 un\sum u_n 收敛,其和为 SS;否则称为发散

若级数收敛,余项

Rn=SSn=k=n+1uk,R_n=S-S_n=\sum_{k=n+1}^{\infty}u_k,

limnRn=0.\lim_{n\to\infty}R_n=0.

1.2 基本性质#

un\sum u_nvn\sum v_n 收敛,则:

  1. 线性性
n=1(αun+βvn)=αn=1un+βn=1vn.\sum_{n=1}^{\infty}(\alpha u_n+\beta v_n) =\alpha\sum_{n=1}^{\infty}u_n+\beta\sum_{n=1}^{\infty}v_n.
  1. 添去有限项不改变敛散性
    只会改变级数的和,不改变收敛或发散。

  2. 收敛级数加括号后仍收敛,且和不变
    但反过来不一定成立:加括号后的级数收敛,原级数不一定收敛。

  3. 必要条件

n=1un\sum_{n=1}^{\infty}u_n

收敛,则

limnun=0.\lim_{n\to\infty}u_n=0.

注意:这是必要条件,不是充分条件。调和级数

n=11n\sum_{n=1}^{\infty}\frac1n

满足通项趋于 00,但仍然发散。

1.3 等比级数#

等比级数

n=0aqn=a+aq+aq2+,a0\sum_{n=0}^{\infty}aq^n=a+aq+aq^2+\cdots,\qquad a\ne0

的部分和为

Sn=a1qn+11q(q1).S_n=a\frac{1-q^{n+1}}{1-q}\qquad(q\ne1).

因此:

n=0aqn={a1q,q<1,发散,q1.\sum_{n=0}^{\infty}aq^n= \begin{cases} \dfrac{a}{1-q}, & |q|<1,\\[6pt] \text{发散}, & |q|\ge 1. \end{cases}

课件中写等比级数时要特别注意:正确条件是 q<1|q|<1,不是只看 q<1q<1。例如 q=1q=-1 时通项不趋于 00,级数发散。


2. 常数项级数题型与完整例题#

2.1 用定义或望远镜求和#

例 1:判断并求和#

n=1ln(1+1n).\sum_{n=1}^{\infty}\ln\left(1+\frac1n\right).

解:

因为

ln(1+1n)=lnn+1n=ln(n+1)lnn,\ln\left(1+\frac1n\right)=\ln\frac{n+1}{n} =\ln(n+1)-\ln n,

所以部分和为

SN=n=1N[ln(n+1)lnn]=ln(N+1)ln1=ln(N+1).S_N=\sum_{n=1}^{N}\left[\ln(n+1)-\ln n\right] =\ln(N+1)-\ln1=\ln(N+1).

于是

limNSN=+.\lim_{N\to\infty}S_N=+\infty.

故原级数发散。

例 2:判断并求和#

n=2ln(11n2).\sum_{n=2}^{\infty}\ln\left(1-\frac1{n^2}\right).

解:

先分解:

11n2=(n1)(n+1)n2=n1nn+1n.1-\frac1{n^2}=\frac{(n-1)(n+1)}{n^2} =\frac{n-1}{n}\cdot\frac{n+1}{n}.

因此

ln(11n2)=ln(n1)+ln(n+1)2lnn.\ln\left(1-\frac1{n^2}\right) =\ln(n-1)+\ln(n+1)-2\ln n.

更直接地看乘积:

n=2N(11n2)=n=2Nn1nn+1n.\prod_{n=2}^{N}\left(1-\frac1{n^2}\right) =\prod_{n=2}^{N}\frac{n-1}{n}\cdot\frac{n+1}{n}.

其中

n=2Nn1n=1N,n=2Nn+1n=N+12.\prod_{n=2}^{N}\frac{n-1}{n}=\frac1N,\qquad \prod_{n=2}^{N}\frac{n+1}{n}=\frac{N+1}{2}.

所以

n=2N(11n2)=N+12N.\prod_{n=2}^{N}\left(1-\frac1{n^2}\right) =\frac{N+1}{2N}.

取对数得

SN=lnN+12N.S_N=\ln\frac{N+1}{2N}.

于是

n=2ln(11n2)=ln12=ln2.\sum_{n=2}^{\infty}\ln\left(1-\frac1{n^2}\right) =\ln\frac12=-\ln2.

例 3:反正切望远镜#

n=1arctan12n2.\sum_{n=1}^{\infty}\arctan\frac1{2n^2}.

解:

利用公式

arctanaarctanb=arctanab1+ab\arctan a-\arctan b =\arctan\frac{a-b}{1+ab}

a=12n1a=\dfrac1{2n-1}b=12n+1b=\dfrac1{2n+1} 时,

ab1+ab=12n112n+11+1(2n1)(2n+1)=24n214n214n2=12n2.\frac{a-b}{1+ab} =\frac{\frac1{2n-1}-\frac1{2n+1}} {1+\frac1{(2n-1)(2n+1)}} =\frac{2}{4n^2-1}\cdot\frac{4n^2-1}{4n^2} =\frac1{2n^2}.

所以

arctan12n2=arctan12n1arctan12n+1.\arctan\frac1{2n^2} =\arctan\frac1{2n-1}-\arctan\frac1{2n+1}.

于是部分和为

SN=arctan1arctan12N+1.S_N=\arctan1-\arctan\frac1{2N+1}.

NN\to\infty

n=1arctan12n2=π4.\sum_{n=1}^{\infty}\arctan\frac1{2n^2} =\frac{\pi}{4}.

2.2 正项级数#

un0u_n\ge0,则 un\sum u_n正项级数。正项级数的部分和单调递增,因此:

un 收敛{Sn} 有上界.\sum u_n\text{ 收敛}\Longleftrightarrow \{S_n\}\text{ 有上界}.

p 级数#

n=11np\sum_{n=1}^{\infty}\frac1{n^p}

当且仅当

p>1p>1

时收敛;当 p1p\le1 时发散。

比较审敛法#

0unvn0\le u_n\le v_n

  • vn\sum v_n 收敛,则 un\sum u_n 收敛;
  • un\sum u_n 发散,则 vn\sum v_n 发散。

极限比较审敛法#

un>0u_n>0vn>0v_n>0,且

limnunvn=l,\lim_{n\to\infty}\frac{u_n}{v_n}=l,

其中 0<l<+0<l<+\infty,则 un\sum u_nvn\sum v_n 同敛散。

如果 l=0l=0vn\sum v_n 收敛,则 un\sum u_n 收敛;如果 l=+l=+\inftyvn\sum v_n 发散,则 un\sum u_n 发散。

例 4:极限比较#

判断

n=1ln(1+sin21n)\sum_{n=1}^{\infty}\ln\left(1+\sin^2\frac1n\right)

的敛散性。

解:

nn\to\infty 时,

sin1n1n,\sin\frac1n\sim\frac1n,

sin21n1n2.\sin^2\frac1n\sim\frac1{n^2}.

又因为 ln(1+x)x\ln(1+x)\sim x,所以

ln(1+sin21n)sin21n1n2.\ln\left(1+\sin^2\frac1n\right)\sim\sin^2\frac1n\sim\frac1{n^2}.

limnln(1+sin21n)1/n2=1.\lim_{n\to\infty} \frac{\ln\left(1+\sin^2\frac1n\right)}{1/n^2}=1.

n=11n2\sum_{n=1}^{\infty}\frac1{n^2}

收敛,因此原级数收敛。

例 5:用泰勒展开找等价无穷小#

判断

n=1(e1/n2cos1n)\sum_{n=1}^{\infty}\left(e^{1/n^2}-\cos\frac1n\right)

的敛散性。

解:

x=1nx=\dfrac1n。当 x0x\to0 时,

ex2=1+x2+O(x4),e^{x^2}=1+x^2+O(x^4),cosx=1x22+O(x4).\cos x=1-\frac{x^2}{2}+O(x^4).

因此

ex2cosx=(1+x2+O(x4))(1x22+O(x4))=32x2+O(x4).e^{x^2}-\cos x =\left(1+x^2+O(x^4)\right) -\left(1-\frac{x^2}{2}+O(x^4)\right) =\frac32x^2+O(x^4).

代回 x=1/nx=1/n

e1/n2cos1n32n2.e^{1/n^2}-\cos\frac1n\sim \frac{3}{2n^2}.

由于

n=11n2\sum_{n=1}^{\infty}\frac1{n^2}

收敛,所以原级数收敛。

注意:这题的关键是看清指数是平方倒数。若把指数误读成一次倒数,一阶项不会抵消,结论会变成发散。

2.3 比值审敛法#

un>0u_n>0,若

limnun+1un=ρ,\lim_{n\to\infty}\frac{u_{n+1}}{u_n}=\rho,

则:

{ρ<1,un 收敛,ρ>1,un 发散,ρ=1,方法失效.\begin{cases} \rho<1, & \sum u_n\text{ 收敛},\\ \rho>1, & \sum u_n\text{ 发散},\\ \rho=1, & \text{方法失效}. \end{cases}

适合出现阶乘、指数、连乘、nnn^n 的题。

例 6:阶乘型#

判断

n=1n!10n\sum_{n=1}^{\infty}\frac{n!}{10^n}

的敛散性。

解:

un=n!10n.u_n=\frac{n!}{10^n}.

un+1un=(n+1)!10n+110nn!=n+110.\frac{u_{n+1}}{u_n} =\frac{(n+1)!}{10^{n+1}}\cdot\frac{10^n}{n!} =\frac{n+1}{10}.

于是

limnun+1un=+>1.\lim_{n\to\infty}\frac{u_{n+1}}{u_n}=+\infty>1.

所以级数发散。事实上 unu_n 本身也不趋于 00

例 7:参数型#

讨论

n=1n!annn(a>0)\sum_{n=1}^{\infty}\frac{n!a^n}{n^n}\qquad(a>0)

的敛散性。

解:

un=n!annn.u_n=\frac{n!a^n}{n^n}.

un+1un=(n+1)!an+1(n+1)n+1nnn!an=a(nn+1)n.\frac{u_{n+1}}{u_n} =\frac{(n+1)!a^{n+1}}{(n+1)^{n+1}}\cdot\frac{n^n}{n!a^n} =a\left(\frac{n}{n+1}\right)^n.

因为

limn(nn+1)n=e1,\lim_{n\to\infty}\left(\frac{n}{n+1}\right)^n=e^{-1},

所以

limnun+1un=ae.\lim_{n\to\infty}\frac{u_{n+1}}{u_n}=\frac ae.

因此:

  • 0<a<e0<a<e 时,级数收敛;
  • a>ea>e 时,级数发散;
  • a=ea=e 时,比值法失效,需要另判。

a=ea=e 时,

un=n!ennn.u_n=\frac{n!e^n}{n^n}.

由 Stirling 公式 n!2πn(ne)nn!\sim\sqrt{2\pi n}\left(\dfrac ne\right)^n

un2πn.u_n\sim \sqrt{2\pi n}.

un0u_n\nrightarrow0,级数发散。

综上:

n=1n!annn{收敛,0<a<e,发散,ae.\sum_{n=1}^{\infty}\frac{n!a^n}{n^n}\quad \begin{cases} \text{收敛}, & 0<a<e,\\ \text{发散}, & a\ge e. \end{cases}

2.4 根值审敛法#

un0u_n\ge0,若

limnunn=ρ,\lim_{n\to\infty}\sqrt[n]{u_n}=\rho,

则:

{ρ<1,un 收敛,ρ>1,un 发散,ρ=1,方法失效.\begin{cases} \rho<1, & \sum u_n\text{ 收敛},\\ \rho>1, & \sum u_n\text{ 发散},\\ \rho=1, & \text{方法失效}. \end{cases}

适合通项整体带 nn 次方的题。

例 8:根值法处理交替底数#

判断

n=11(2+(1)n)n\sum_{n=1}^{\infty}\frac1{(2+(-1)^n)^n}

的敛散性。

解:

通项为正:

un=1(2+(1)n)n.u_n=\frac1{(2+(-1)^n)^n}.

nn 为奇数时,2+(1)n=12+(-1)^n=1,所以

un=1.u_n=1.

于是通项不趋于 00,级数发散。

这类题的易错点:不能只机械写

unn=12+(1)n\sqrt[n]{u_n}=\frac1{2+(-1)^n}

然后说没有极限;更直接的做法是先看通项是否趋于 00

若题目改为

n=11(2(1)n)n,\sum_{n=1}^{\infty}\frac1{(2-(-1)^n)^n},

则偶数项为 11,同样发散。

2.5 积分审敛法#

f(x)f(x)[1,+)[1,+\infty) 上非负、单调递减,且 un=f(n)u_n=f(n),则

n=1un\sum_{n=1}^{\infty}u_n

1+f(x)dx\int_1^{+\infty}f(x)\,dx

同敛散。

例 9:对数 p 型#

讨论

n=21n(lnn)a\sum_{n=2}^{\infty}\frac1{n(\ln n)^a}

的敛散性。

解:

考虑积分

2+dxx(lnx)a.\int_2^{+\infty}\frac{dx}{x(\ln x)^a}.

t=lnx,dt=dxx.t=\ln x,\qquad dt=\frac{dx}{x}.

2+dxx(lnx)a=ln2+tadt.\int_2^{+\infty}\frac{dx}{x(\ln x)^a} =\int_{\ln2}^{+\infty}t^{-a}\,dt.

该积分当且仅当 a>1a>1 时收敛。因此

n=21n(lnn)a{收敛,a>1,发散,a1.\sum_{n=2}^{\infty}\frac1{n(\ln n)^a}\quad \begin{cases} \text{收敛}, & a>1,\\ \text{发散}, & a\le1. \end{cases}

2.6 任意项级数、交错级数、绝对收敛#

Leibniz 判别法#

an0a_n\ge0,且

an+1an,limnan=0,a_{n+1}\le a_n,\qquad \lim_{n\to\infty}a_n=0,

则交错级数

n=1(1)n1an\sum_{n=1}^{\infty}(-1)^{n-1}a_n

收敛,并且余项满足

Rnan+1.|R_n|\le a_{n+1}.

绝对收敛与条件收敛#

  • un\sum |u_n| 收敛,则 un\sum u_n 绝对收敛
  • un\sum u_n 收敛但 un\sum |u_n| 发散,则称为条件收敛

绝对收敛一定收敛,反之不一定。

例 10:绝对收敛#

证明

n=1sin(nα)n4\sum_{n=1}^{\infty}\frac{\sin(n\alpha)}{n^4}

绝对收敛。

解:

因为

sin(nα)1,|\sin(n\alpha)|\le1,

所以

sin(nα)n41n4.\left|\frac{\sin(n\alpha)}{n^4}\right| \le\frac1{n^4}.

n=11n4\sum_{n=1}^{\infty}\frac1{n^4}

收敛,故由比较判别法,

n=1sin(nα)n4\sum_{n=1}^{\infty}\left|\frac{\sin(n\alpha)}{n^4}\right|

收敛。因此原级数绝对收敛。

例 11:交错但绝对收敛#

判断

n=1(1)nn2en\sum_{n=1}^{\infty}(-1)^n\frac{n^2}{e^n}

的敛散性。

解:

看绝对值级数:

n=1n2en.\sum_{n=1}^{\infty}\frac{n^2}{e^n}.

un=n2enu_n=\dfrac {n^2}{e^n},则

un+1un=(n+1)2en+1enn2=1e(1+1n)21e<1.\frac{u_{n+1}}{u_n} =\frac{(n+1)^2}{e^{n+1}}\cdot\frac{e^n}{n^2} =\frac1e\left(1+\frac1n\right)^2\to\frac1e<1.

n2/en\sum n^2/e^n 收敛,所以原级数绝对收敛。

例 12:条件收敛#

判断

n=1(1)n1sinπ2n\sum_{n=1}^{\infty}(-1)^{n-1}\sin\frac{\pi}{2n}

的敛散性,并说明是绝对收敛还是条件收敛。

解:

an=sinπ2n.a_n=\sin\frac{\pi}{2n}.

显然

an>0,an0.a_n>0,\qquad a_n\to0.

π2n\dfrac{\pi}{2n}nn 增大而减小,sinx\sin x[0,π/2][0,\pi/2] 上递增,所以 ana_nnn 增大而减小。

由 Leibniz 判别法,原级数收敛。

再看绝对值级数:

n=1sinπ2n.\sum_{n=1}^{\infty}\sin\frac{\pi}{2n}.

由于

sinπ2nπ2n,\sin\frac{\pi}{2n}\sim\frac{\pi}{2n},

而调和级数发散,所以绝对值级数发散。

因此原级数条件收敛

补充例:不能直接用 Leibniz,但可判绝对收敛#

判断级数

1122+133142++1(2n1)31(2n)2+1-\frac1{2^2}+\frac1{3^3}-\frac1{4^2} +\cdots+\frac1{(2n-1)^3}-\frac1{(2n)^2}+\cdots

是否收敛;若收敛,是绝对收敛还是条件收敛?

解:

这个级数虽然符号交错,但正项绝对值并不是单调递减的简单形式,所以不要硬套 Leibniz 判别法。

考察绝对值级数:

1+122+133+142++1(2n1)3+1(2n)2+.1+\frac1{2^2}+\frac1{3^3}+\frac1{4^2} +\cdots+\frac1{(2n-1)^3}+\frac1{(2n)^2}+\cdots.

把相邻两项加括号:

n=1[1(2n1)3+1(2n)2].\sum_{n=1}^{\infty} \left[ \frac1{(2n-1)^3}+\frac1{(2n)^2} \right].

因为

1(2n1)3+1(2n)21(2n1)2+1(2n)2Cn2\frac1{(2n-1)^3}+\frac1{(2n)^2} \le \frac1{(2n-1)^2}+\frac1{(2n)^2} \le \frac{C}{n^2}

其中 CC 为某个正常数,而 1/n2\sum 1/n^2 收敛,所以绝对值级数收敛。故原级数绝对收敛。

2.7 Cauchy 收敛准则#

级数 un\sum u_n 收敛的充要条件是:对任意 ε>0\varepsilon>0,存在 NN,当 n>mNn>m\ge N 时,

k=m+1nuk<ε.\left|\sum_{k=m+1}^{n}u_k\right|<\varepsilon.

这个准则在证明题中常用,尤其是证明“某种余项可以任意小”。

2.8 常数项级数审敛决策树#

  1. 先看通项极限:若 un0u_n\nrightarrow0,直接发散。
  2. 正项级数
    • 1np\dfrac1{n^p}:用 p 级数;
    • 1n(lnn)a\dfrac1{n(\ln n)^a}:用积分法;
    • 有阶乘/指数:用比值法;
    • nn 次方:用根值法;
    • sin,ln,e,cos\sin,\ln,e,\cosnn\to\infty:泰勒展开找等价无穷小,再极限比较。
  3. 任意项级数
    • 先看绝对值;
    • 绝对值收敛则绝对收敛;
    • 绝对值发散再考虑 Leibniz 或其他方法;
    • 交错题必须检查单调趋零。

3. 函数项级数与一致收敛#

3.1 基本定义#

un(x)u_n(x) 定义在区间 II 上,级数

n=1un(x)\sum_{n=1}^{\infty}u_n(x)

称为函数项级数

对固定的 x0Ix_0\in I,如果数项级数

n=1un(x0)\sum_{n=1}^{\infty}u_n(x_0)

收敛,则称 x0x_0 为收敛点。所有收敛点组成的集合称为收敛域

部分和函数为

Sn(x)=k=1nuk(x).S_n(x)=\sum_{k=1}^{n}u_k(x).

若对 xx 属于某集合 EE

limnSn(x)=S(x),\lim_{n\to\infty}S_n(x)=S(x),

则称级数在 EE 上逐点收敛于和函数 S(x)S(x)

课件例:用部分和求收敛域与和函数#

求函数项级数

x+(x2x)+(x3x2)++(xnxn1)+x+(x^2-x)+(x^3-x^2)+\cdots+(x^n-x^{n-1})+\cdots

的收敛域,并求和函数。

解:

nn 项部分和为望远镜和:

Sn(x)=x+(x2x)++(xnxn1)=xn.S_n(x)=x+(x^2-x)+\cdots+(x^n-x^{n-1})=x^n.

因此原级数的收敛问题变成讨论数列 xnx^n 的极限。

  • x<1|x|<1 时,xn0x^n\to0,级数收敛,和函数为 S(x)=0S(x)=0
  • x=1x=1 时,xn=1x^n=1,级数收敛,和函数为 S(1)=1S(1)=1
  • x=1x=-1 时,xn=(1)nx^n=(-1)^n,极限不存在,级数发散;
  • x>1|x|>1 时,xnx^n 不收敛到有限值,级数发散。

故收敛域为

(1,1],(-1,1],

和函数为

S(x)={0,1<x<1,1,x=1.S(x)= \begin{cases} 0, & -1<x<1,\\ 1, & x=1. \end{cases}

课件例:用比值法求函数项级数收敛域#

n=1(x2+x+1)nn(n+1)\sum_{n=1}^{\infty} \frac{(x^2+x+1)^n}{n(n+1)}

的收敛域。

解:

因为

x2+x+1=(x+12)2+34>0,x^2+x+1=\left(x+\frac12\right)^2+\frac34>0,

对固定的 xx,令

un(x)=(x2+x+1)nn(n+1).u_n(x)=\frac{(x^2+x+1)^n}{n(n+1)}.

limnun+1(x)un(x)=x2+x+1.\lim_{n\to\infty}\left|\frac{u_{n+1}(x)}{u_n(x)}\right| =x^2+x+1.

x2+x+1<1,x^2+x+1<1,

x(x+1)<0,x(x+1)<0,

1<x<0,-1<x<0,

级数收敛。

端点:

x=0x=0x=1x=-1 时,

x2+x+1=1,x^2+x+1=1,

原级数变成

n=11n(n+1),\sum_{n=1}^{\infty}\frac1{n(n+1)},

收敛。

故收敛域为

[1,0].[-1,0].

课件练习:收敛域快速答案#

  1. n=11nx\displaystyle\sum_{n=1}^{\infty}\frac1{n^x}:由 p 级数,收敛域为 (1,+)(1,+\infty)
  2. n=1(1)nnx\displaystyle\sum_{n=1}^{\infty}\frac{(-1)^n}{n^x}:当 x>0x>0 时由 Leibniz 收敛;当 x0x\le0 时通项不趋于 00,故收敛域为 (0,+)(0,+\infty)
  3. n=21n(lnn)x\displaystyle\sum_{n=2}^{\infty}\frac1{n(\ln n)^x}:由积分审敛法,收敛域为 (1,+)(1,+\infty)
  4. n=1cosnxnp (p>1)\displaystyle\sum_{n=1}^{\infty}\frac{\cos nx}{n^p}\ (p>1):由 cosnx/np1/np|\cos nx|/n^p\le1/n^p,对一切 xRx\in\mathbb R 绝对收敛,收敛域为 R\mathbb R
  5. n=1xn+xnn2 (x0)\displaystyle\sum_{n=1}^{\infty}\frac{x^n+x^{-n}}{n^2}\ (x\ne0):若 x>1|x|>1xn/n2x^n/n^2 通项不趋零;若 0<x<10<|x|<1xn/n2x^{-n}/n^2 通项不趋零;当 x=±1x=\pm1 时收敛。因此收敛域为 {1,1}\{-1,1\}

3.2 一致收敛定义#

若对任意 ε>0\varepsilon>0,存在 NN,使得当 n>Nn>N 时,对所有 xEx\in E 都有

Sn(x)S(x)<ε,|S_n(x)-S(x)|<\varepsilon,

则称 un(x)\sum u_n(x)EE一致收敛S(x)S(x)

等价地,余项

Rn(x)=S(x)Sn(x)R_n(x)=S(x)-S_n(x)

满足

supxERn(x)0.\sup_{x\in E}|R_n(x)|\to0.

3.3 Weierstrass 判别法#

若存在正项数列 MnM_n,使得对一切 xEx\in E

un(x)Mn,|u_n(x)|\le M_n,

n=1Mn\sum_{n=1}^{\infty}M_n

收敛,则

n=1un(x)\sum_{n=1}^{\infty}u_n(x)

EE 上绝对且一致收敛。

例 13:一致收敛#

证明

n=1sinnxn2\sum_{n=1}^{\infty}\frac{\sin nx}{n^2}

R\mathbb R 上一致收敛。

解:

对任意 xRx\in\mathbb R

sinnxn21n2.\left|\frac{\sin nx}{n^2}\right|\le\frac1{n^2}.

n=11n2\sum_{n=1}^{\infty}\frac1{n^2}

收敛。由 Weierstrass 判别法,原函数项级数在 R\mathbb R 上一致收敛。

3.4 一致收敛的性质#

un(x)\sum u_n(x)[a,b][a,b] 上一致收敛于 S(x)S(x)

  1. 若每个 un(x)u_n(x) 连续,则 S(x)S(x) 连续。
  2. 若每个 un(x)u_n(x) 连续,则可以逐项积分:
abS(x)dx=n=1abun(x)dx.\int_a^b S(x)\,dx =\sum_{n=1}^{\infty}\int_a^b u_n(x)\,dx.
  1. 若每个 un(x)u_n(x) 有连续导数,un(x)\sum u_n'(x)[a,b][a,b] 上一致收敛,且 un(x0)\sum u_n(x_0) 在某一点 x0x_0 收敛,则可逐项求导:
(n=1un(x))=n=1un(x).\left(\sum_{n=1}^{\infty}u_n(x)\right)' =\sum_{n=1}^{\infty}u_n'(x).

注意:函数项级数本身一致收敛,不代表一定能逐项求导。逐项求导要看导数级数是否一致收敛。

例 14:逐点收敛但不一致收敛#

函数列

Sn(x)=xn,x[0,1]S_n(x)=x^n,\qquad x\in[0,1]

逐点收敛到

S(x)={0,0x<1,1,x=1.S(x)= \begin{cases} 0, & 0\le x<1,\\ 1, & x=1. \end{cases}

说明:

每个 Sn(x)=xnS_n(x)=x^n 都连续,但极限函数 S(x)S(x)x=1x=1 不连续。如果 SnS_n[0,1][0,1] 上一致收敛,则连续函数的一致极限应连续,矛盾。因此 SnS_n[0,1][0,1] 上不是一致收敛。


4. 幂级数#

4.1 定义#

形如

n=0anxn\sum_{n=0}^{\infty}a_nx^n

n=0an(xx0)n\sum_{n=0}^{\infty}a_n(x-x_0)^n

的函数项级数称为幂级数

4.2 Abel 定理与收敛半径#

若幂级数

n=0anxn\sum_{n=0}^{\infty}a_nx^n

x=x10x=x_1\ne0 处收敛,则对一切满足

x<x1\lvert x\rvert<\lvert x_1\rvert

xx,该幂级数绝对收敛。

若它在 x=x2x=x_2 处发散,则对一切满足

x>x2\lvert x\rvert>\lvert x_2\rvert

xx,该幂级数发散。

因此幂级数存在收敛半径 RR

{x<R,绝对收敛,x>R,发散,x=R,端点单独讨论.\begin{cases} |x|<R, & \text{绝对收敛},\\ |x|>R, & \text{发散},\\ |x|=R, & \text{端点单独讨论}. \end{cases}

ρ=limnan+1an,\rho=\lim_{n\to\infty}\left|\frac{a_{n+1}}{a_n}\right|,

R=1ρ,R=\frac1{\rho},

其中约定:

ρ=0R=+,ρ=+R=0.\rho=0\Rightarrow R=+\infty,\qquad \rho=+\infty\Rightarrow R=0.

更一般地,

R=1lim supnann.R=\frac1{\limsup\limits_{n\to\infty}\sqrt[n]{|a_n|}}.

4.3 求收敛域流程#

  1. 先对一般项使用比值法或根值法,求出开区间。
  2. 再分别代入两个端点。
  3. 端点可能收敛、发散、条件收敛、绝对收敛,必须单独写。
  4. 对缺项幂级数,例如只含 x2nx^{2n} 的级数,不能盲目套 an+1/ana_{n+1}/a_n 的公式,要对完整通项直接用比值法或根值法。

例 15:标准幂级数收敛域#

n=1(1)n1xnn=xx22+x33+(1)n1xnn+\sum_{n=1}^{\infty}(-1)^{n-1}\frac{x^n}{n} =x-\frac{x^2}{2}+\frac{x^3}{3}-\cdots+(-1)^{n-1}\frac{x^n}{n}+\cdots

的收敛域。

解:

这是幂级数

n=1anxn,an=(1)n1n.\sum_{n=1}^{\infty}a_nx^n,\qquad a_n=\frac{(-1)^{n-1}}{n}.

由系数比值:

limnan+1an=limn1/(n+1)1/n=1,\lim_{n\to\infty}\left|\frac{a_{n+1}}{a_n}\right| =\lim_{n\to\infty}\frac{1/(n+1)}{1/n}=1,

所以收敛半径

R=1.R=1.

因此当 x<1|x|<1 时收敛,当 x>1|x|>1 时发散。端点单独讨论。

x=1x=1 时,

n=1(1)n11n\sum_{n=1}^{\infty}(-1)^{n-1}\frac1n

为交错调和级数,收敛。

x=1x=-1 时,

n=1(1)n1(1)nn=n=11n,\sum_{n=1}^{\infty}(-1)^{n-1}\frac{(-1)^n}{n} =-\sum_{n=1}^{\infty}\frac1n,

发散。

因此收敛域为

(1,1].(-1,1].

例 16:中心不在 0 的幂级数#

n=1(x1)n2nn\sum_{n=1}^{\infty}\frac{(x-1)^n}{2^n n}

的收敛域。

解:

t=x1.t=x-1.

原级数变为

n=1tn2nn.\sum_{n=1}^{\infty}\frac{t^n}{2^n n}.

un=tn2nn.u_n=\frac{t^n}{2^n n}.

对绝对值用根值法:

unn=t21nnt2.\sqrt[n]{|u_n|} =\frac{|t|}{2}\sqrt[n]{\frac1n}\to \frac{|t|}{2}.

所以收敛条件为

t2<1,\frac{|t|}{2}<1,

x1<2.|x-1|<2.

开区间为

1<x<3.-1<x<3.

端点:

x=3x=3 时,t=2t=2,原级数为

n=12n2nn=n=11n,\sum_{n=1}^{\infty}\frac{2^n}{2^n n} =\sum_{n=1}^{\infty}\frac1n,

发散。

x=1x=-1 时,t=2t=-2,原级数为

n=1(2)n2nn=n=1(1)nn,\sum_{n=1}^{\infty}\frac{(-2)^n}{2^n n} =\sum_{n=1}^{\infty}\frac{(-1)^n}{n},

由 Leibniz 判别法收敛,但不是绝对收敛。

故收敛域为

[1,3).[-1,3).

补充例:缺项幂级数不能直接套公式#

求幂级数

n=0(2n)!(n!)2x2n\sum_{n=0}^{\infty}\frac{(2n)!}{(n!)^2}x^{2n}

的收敛半径。

解:

这个级数缺少奇次幂项,不能直接把 (2n)!(n!)2\dfrac{(2n)!}{(n!)^2} 当作普通 xnx^n 的系数套公式。应对完整通项

un(x)=(2n)!(n!)2x2nu_n(x)=\frac{(2n)!}{(n!)^2}x^{2n}

使用比值法:

un+1(x)un(x)=(2n+2)!((n+1)!)2x2n+2(n!)2(2n)!x2n.\left|\frac{u_{n+1}(x)}{u_n(x)}\right| =\frac{(2n+2)!}{((n+1)!)^2}|x|^{2n+2} \cdot \frac{(n!)^2}{(2n)!}|x|^{-2n}.

化简得

un+1(x)un(x)=(2n+1)(2n+2)(n+1)2x24x2.\left|\frac{u_{n+1}(x)}{u_n(x)}\right| =\frac{(2n+1)(2n+2)}{(n+1)^2}x^2 \to 4x^2.

因此当

4x2<14x^2<1

x<12|x|<\frac12

时收敛;当 x>12|x|>\dfrac12 时发散。故收敛半径为

R=12.R=\frac12.

4.4 幂级数的性质#

S(x)=n=0anxnS(x)=\sum_{n=0}^{\infty}a_nx^n

的收敛半径为 R>0R>0,则在 (R,R)(-R,R) 内:

  1. S(x)S(x) 连续;
  2. 可逐项积分:
0xS(t)dt=n=0ann+1xn+1;\int_0^x S(t)\,dt =\sum_{n=0}^{\infty}\frac{a_n}{n+1}x^{n+1};
  1. 可逐项求导:
S(x)=n=1nanxn1;S'(x)=\sum_{n=1}^{\infty}na_nx^{n-1};
  1. 求导或积分后收敛半径不变,但端点可能变化,仍要单独讨论。

5. 幂级数求和函数与展开#

5.1 常用基本展开#

这些必须背熟:

11x=n=0xn,x<1.\frac1{1-x}=\sum_{n=0}^{\infty}x^n,\qquad |x|<1.ex=n=0xnn!,xR.e^x=\sum_{n=0}^{\infty}\frac{x^n}{n!},\qquad x\in\mathbb R.sinx=n=0(1)nx2n+1(2n+1)!,xR.\sin x=\sum_{n=0}^{\infty}(-1)^n\frac{x^{2n+1}}{(2n+1)!},\qquad x\in\mathbb R.cosx=n=0(1)nx2n(2n)!,xR.\cos x=\sum_{n=0}^{\infty}(-1)^n\frac{x^{2n}}{(2n)!},\qquad x\in\mathbb R.ln(1+x)=n=1(1)n1xnn,1<x1.\ln(1+x)=\sum_{n=1}^{\infty}(-1)^{n-1}\frac{x^n}{n},\qquad -1<x\le1.arctanx=n=0(1)nx2n+12n+1,x1.\arctan x=\sum_{n=0}^{\infty}(-1)^n\frac{x^{2n+1}}{2n+1},\qquad |x|\le1.(1+x)α=1+n=1α(α1)(αn+1)n!xn,x<1.(1+x)^\alpha =1+\sum_{n=1}^{\infty}\frac{\alpha(\alpha-1)\cdots(\alpha-n+1)}{n!}x^n,\qquad |x|<1.

5.2 由几何级数求和#

例 17:#

n=1nxn\sum_{n=1}^{\infty}nx^n

的和函数。

解:

n=0xn=11x,x<1\sum_{n=0}^{\infty}x^n=\frac1{1-x},\qquad |x|<1

出发,两边求导:

n=1nxn1=1(1x)2.\sum_{n=1}^{\infty}nx^{n-1}=\frac1{(1-x)^2}.

两边乘以 xx

n=1nxn=x(1x)2,x<1.\sum_{n=1}^{\infty}nx^n=\frac{x}{(1-x)^2},\qquad |x|<1.

5.3 逐项积分求和#

例 18:#

n=0xnn+1\sum_{n=0}^{\infty}\frac{x^n}{n+1}

的和函数。

解:

因为

xnn+1=1xxn+1n+1(x0),\frac{x^n}{n+1}=\frac1x\cdot\frac{x^{n+1}}{n+1}\qquad(x\ne0),

n=0xn+1n+1=0xn=0tndt=0xdt1t=ln(1x).\sum_{n=0}^{\infty}\frac{x^{n+1}}{n+1} =\int_0^x\sum_{n=0}^{\infty}t^n\,dt =\int_0^x\frac{dt}{1-t} =-\ln(1-x).

所以

n=0xnn+1=ln(1x)x,1x<1, x0.\sum_{n=0}^{\infty}\frac{x^n}{n+1} =-\frac{\ln(1-x)}{x},\qquad -1\le x<1,\ x\ne0.

x=0x=0 时,原级数值为 11。因此

S(x)={ln(1x)x,1x<1, x0,1,x=0.S(x)= \begin{cases} -\dfrac{\ln(1-x)}{x}, & -1\le x<1,\ x\ne0,\\[6pt] 1, & x=0. \end{cases}

5.4 数项级数求和#

例 19:#

n=1n2n!2n.\sum_{n=1}^{\infty}\frac{n^2}{n!2^n}.

解:

利用

ex=n=0xnn!.e^x=\sum_{n=0}^{\infty}\frac{x^n}{n!}.

先有

n=1nxnn!=xn=1xn1(n1)!=xex.\sum_{n=1}^{\infty}\frac{nx^n}{n!} =x\sum_{n=1}^{\infty}\frac{x^{n-1}}{(n-1)!} =xe^x.

再注意

n2=n(n1)+n.n^2=n(n-1)+n.

因此

n=1n2xnn!=n=2n(n1)xnn!+n=1nxnn!.\sum_{n=1}^{\infty}\frac{n^2x^n}{n!} =\sum_{n=2}^{\infty}\frac{n(n-1)x^n}{n!} +\sum_{n=1}^{\infty}\frac{nx^n}{n!}.

第一项为

x2n=2xn2(n2)!=x2ex.x^2\sum_{n=2}^{\infty}\frac{x^{n-2}}{(n-2)!}=x^2e^x.

第二项为

xex.xe^x.

所以

n=1n2xnn!=(x2+x)ex.\sum_{n=1}^{\infty}\frac{n^2x^n}{n!} =(x^2+x)e^x.

x=12x=\dfrac12

n=1n2n!2n=(14+12)e1/2=34e1/2.\sum_{n=1}^{\infty}\frac{n^2}{n!2^n} =\left(\frac14+\frac12\right)e^{1/2} =\frac34e^{1/2}.

5.5 用幂级数近似计算#

例 20:计算 ln2\ln2 的快速级数#

利用

ln1+x1x=2(x+x33+x55+),x<1.\ln\frac{1+x}{1-x} =2\left(x+\frac{x^3}{3}+\frac{x^5}{5}+\cdots\right), \qquad |x|<1.

1+x1x=2.\frac{1+x}{1-x}=2.

解得

x=13.x=\frac13.

所以

ln2=2(13+1333+1355+)=2n=01(2n+1)32n+1.\ln2 =2\left( \frac13+\frac1{3^3\cdot3}+\frac1{3^5\cdot5}+\cdots \right) =2\sum_{n=0}^{\infty}\frac1{(2n+1)3^{2n+1}}.

这比直接用 ln(1+x)\ln(1+x)x=1x=1 的交错级数收敛更快。

例 21:展开 exsinxe^x\sin x#

f(x)=exsinxf(x)=e^x\sin x

展开为 xx 的幂级数。

解:

用欧拉公式:

ex(cosx+isinx)=e(1+i)x.e^x(\cos x+i\sin x)=e^{(1+i)x}.

所以

exsinx=Im(e(1+i)x).e^x\sin x=\operatorname{Im}\left(e^{(1+i)x}\right).

e(1+i)x=n=0(1+i)nn!xn.e^{(1+i)x} =\sum_{n=0}^{\infty}\frac{(1+i)^n}{n!}x^n.

1+i=2(cosπ4+isinπ4),1+i=\sqrt2\left(\cos\frac{\pi}{4}+i\sin\frac{\pi}{4}\right),

(1+i)n=2n/2(cosnπ4+isinnπ4).(1+i)^n=2^{n/2}\left(\cos\frac{n\pi}{4} +i\sin\frac{n\pi}{4}\right).

取虚部:

exsinx=n=02n/2sinnπ4n!xn.e^x\sin x =\sum_{n=0}^{\infty} \frac{2^{n/2}\sin\frac{n\pi}{4}}{n!}x^n.

6. 傅里叶级数#

6.1 三角函数系的正交性#

[l,l][-l,l] 上有:

llcosmπxlcosnπxldx={0,mn,l,m=n0,\int_{-l}^{l}\cos\frac{m\pi x}{l}\cos\frac{n\pi x}{l}\,dx = \begin{cases} 0, & m\ne n,\\ l, & m=n\ne0, \end{cases}

并且当 m=n=0m=n=0 时,

ll1dx=2l.\int_{-l}^{l}1\,dx=2l.llsinmπxlsinnπxldx={0,mn,l,m=n,\int_{-l}^{l}\sin\frac{m\pi x}{l}\sin\frac{n\pi x}{l}\,dx = \begin{cases} 0, & m\ne n,\\ l, & m=n, \end{cases}llsinmπxlcosnπxldx=0.\int_{-l}^{l}\sin\frac{m\pi x}{l}\cos\frac{n\pi x}{l}\,dx=0.

6.2 Fourier 系数公式#

f(x)f(x) 周期为 2l2l,则其傅里叶级数写作

f(x)a02+n=1(ancosnπxl+bnsinnπxl),f(x)\sim\frac{a_0}{2} +\sum_{n=1}^{\infty}\left( a_n\cos\frac{n\pi x}{l} +b_n\sin\frac{n\pi x}{l} \right),

其中

an=1lllf(x)cosnπxldx,n=0,1,2,a_n=\frac1l\int_{-l}^{l}f(x)\cos\frac{n\pi x}{l}\,dx, \qquad n=0,1,2,\ldotsbn=1lllf(x)sinnπxldx,n=1,2,b_n=\frac1l\int_{-l}^{l}f(x)\sin\frac{n\pi x}{l}\,dx, \qquad n=1,2,\ldots

当周期为 2π2\pi 时:

an=1πππf(x)cosnxdx,bn=1πππf(x)sinnxdx.a_n=\frac1\pi\int_{-\pi}^{\pi}f(x)\cos nx\,dx, \qquad b_n=\frac1\pi\int_{-\pi}^{\pi}f(x)\sin nx\,dx.

6.3 Dirichlet 收敛定理#

若周期函数 f(x)f(x) 在一个周期内:

  1. 连续或只有有限个第一类间断点;
  2. 至多有有限个极值点;

ff 的傅里叶级数收敛,并且:

  • 在连续点 xx,级数收敛于 f(x)f(x)
  • 在间断点 xx,级数收敛于
f(x+0)+f(x0)2;\frac{f(x+0)+f(x-0)}{2};
  • 在端点按周期延拓后也取左右极限平均。

这是傅里叶级数最容易丢分的地方:间断点不是随便取函数值,而是取左右极限平均。

6.4 奇偶函数简化#

ff 是偶函数,则 bn=0b_n=0,只含余弦项:

f(x)a02+n=1ancosnπxl.f(x)\sim\frac{a_0}{2}+\sum_{n=1}^{\infty}a_n\cos\frac{n\pi x}{l}.

ff 是奇函数,则 an=0a_n=0,只含正弦项:

f(x)n=1bnsinnπxl.f(x)\sim\sum_{n=1}^{\infty}b_n\sin\frac{n\pi x}{l}.

口诀:奇正弦,偶余弦

6.5 半区间展开#

f(x)f(x) 只在 [0,l][0,l] 上给出:

  • 作奇延拓,得到正弦级数;
  • 作偶延拓,得到余弦级数。

正弦展开:

f(x)n=1bnsinnπxl,f(x)\sim\sum_{n=1}^{\infty}b_n\sin\frac{n\pi x}{l},

其中

bn=2l0lf(x)sinnπxldx.b_n=\frac2l\int_0^l f(x)\sin\frac{n\pi x}{l}\,dx.

余弦展开:

f(x)a02+n=1ancosnπxl,f(x)\sim\frac{a_0}{2}+\sum_{n=1}^{\infty}a_n\cos\frac{n\pi x}{l},

其中

an=2l0lf(x)cosnπxldx,n=0,1,2,a_n=\frac2l\int_0^l f(x)\cos\frac{n\pi x}{l}\,dx,\qquad n=0,1,2,\ldots

7. 傅里叶级数完整例题#

例 22:周期为 6 的矩形脉冲#

f(x)f(x)66 为周期,并在 [3,3)[-3,3) 上定义为

f(x)={Em,3x<0,Em,0x<3.f(x)= \begin{cases} -E_m, & -3\le x<0,\\ E_m, & 0\le x<3. \end{cases}

求其傅里叶级数。

解:

周期 2l=62l=6,故 l=3l=3。函数为奇函数,所以只含正弦项:

f(x)n=1bnsinnπx3.f(x)\sim\sum_{n=1}^{\infty}b_n\sin\frac{n\pi x}{3}.

系数为

bn=1333f(x)sinnπx3dx.b_n=\frac1{3}\int_{-3}^{3}f(x)\sin\frac{n\pi x}{3}\,dx.

由于 f(x)f(x)sinnπx3\sin\dfrac{n\pi x}{3} 都是奇函数,乘积为偶函数:

bn=2303Emsinnπx3dx.b_n=\frac2{3}\int_0^3 E_m\sin\frac{n\pi x}{3}\,dx.

计算得

bn=2Em3[3nπcosnπx3]03=2Emnπ(1cosnπ).b_n=\frac{2E_m}{3}\left[ -\frac{3}{n\pi}\cos\frac{n\pi x}{3} \right]_0^3 =\frac{2E_m}{n\pi}\left(1-\cos n\pi\right).

因为 cosnπ=(1)n\cos n\pi=(-1)^n

bn={4Emnπ,n 为奇数,0,n 为偶数.b_n= \begin{cases} \dfrac{4E_m}{n\pi}, & n\text{ 为奇数},\\[6pt] 0, & n\text{ 为偶数}. \end{cases}

所以

f(x)4Emπ(sinπx3+13sin3πx3+15sin5πx3+).f(x)\sim \frac{4E_m}{\pi} \left( \sin\frac{\pi x}{3} +\frac13\sin\frac{3\pi x}{3} +\frac15\sin\frac{5\pi x}{3} +\cdots \right).

f(x)4Emπk=112k1sin(2k1)πx3.f(x)\sim \frac{4E_m}{\pi} \sum_{k=1}^{\infty} \frac1{2k-1}\sin\frac{(2k-1)\pi x}{3}.

在跳跃点 x=3kx=3k 处,级数收敛于左右极限平均,即 00

例 23:f(x)=xf(x)=x(π,π)(-\pi,\pi) 上的傅里叶级数#

f(x)=xf(x)=x,并作周期为 2π2\pi 的周期延拓。

解:

f(x)=xf(x)=x 是奇函数,所以 an=0a_n=0,只求 bnb_n

bn=1πππxsinnxdx=2π0πxsinnxdx.b_n=\frac1\pi\int_{-\pi}^{\pi}x\sin nx\,dx =\frac2\pi\int_0^\pi x\sin nx\,dx.

分部积分:

0πxsinnxdx=[xcosnxn]0π+1n0πcosnxdx.\int_0^\pi x\sin nx\,dx =\left[-\frac{x\cos nx}{n}\right]_0^\pi +\frac1n\int_0^\pi\cos nx\,dx.

第二项为

1n[sinnxn]0π=0.\frac1n\left[\frac{\sin nx}{n}\right]_0^\pi=0.

因此

0πxsinnxdx=πcosnπn=π(1)nn.\int_0^\pi x\sin nx\,dx =-\frac{\pi\cos n\pi}{n} =-\frac{\pi(-1)^n}{n}.

所以

bn=2π(π(1)nn)=2(1)n+1n.b_n=\frac2\pi\cdot\left(-\frac{\pi(-1)^n}{n}\right) =\frac{2(-1)^{n+1}}{n}.

x2n=1(1)n+1nsinnx,π<x<π.x\sim 2\sum_{n=1}^{\infty}\frac{(-1)^{n+1}}{n}\sin nx, \qquad -\pi<x<\pi.

x=(2k+1)πx=(2k+1)\pi 处,周期延拓函数有跳跃,级数收敛于

π+(π)2=0.\frac{\pi+(-\pi)}2=0.

例 24:周期 2π2\pif(x)=exf(x)=e^{-x}0x<2π0\le x<2\pi#

f(x)=exf(x)=e^{-x}[0,2π)[0,2\pi) 上给出,并作周期为 2π2\pi 的周期延拓。

解:

[0,2π][0,2\pi] 上的等价系数公式:

a0=1π02πexdx=1e2ππ.a_0=\frac1\pi\int_0^{2\pi}e^{-x}\,dx =\frac{1-e^{-2\pi}}{\pi}.

n1n\ge1

an=1π02πexcosnxdx.a_n=\frac1\pi\int_0^{2\pi}e^{-x}\cos nx\,dx.

利用公式

excosnxdx=ex(cosnx+nsinnx)1+n2,\int e^{-x}\cos nx\,dx =\frac{e^{-x}(-\cos nx+n\sin nx)}{1+n^2},

an=1π[ex(cosnx+nsinnx)1+n2]02π=1e2ππ(1+n2).a_n=\frac1\pi \left[ \frac{e^{-x}(-\cos nx+n\sin nx)}{1+n^2} \right]_0^{2\pi} =\frac{1-e^{-2\pi}}{\pi(1+n^2)}.

再求

bn=1π02πexsinnxdx.b_n=\frac1\pi\int_0^{2\pi}e^{-x}\sin nx\,dx.

利用公式

exsinnxdx=ex(sinnxncosnx)1+n2,\int e^{-x}\sin nx\,dx =\frac{e^{-x}(-\sin nx-n\cos nx)}{1+n^2},

bn=1π[ex(sinnxncosnx)1+n2]02π=n(1e2π)π(1+n2).b_n=\frac1\pi \left[ \frac{e^{-x}(-\sin nx-n\cos nx)}{1+n^2} \right]_0^{2\pi} =\frac{n(1-e^{-2\pi})}{\pi(1+n^2)}.

因此

ex1e2π2π+n=1[1e2ππ(1+n2)cosnx+n(1e2π)π(1+n2)sinnx].e^{-x}\sim \frac{1-e^{-2\pi}}{2\pi} +\sum_{n=1}^{\infty} \left[ \frac{1-e^{-2\pi}}{\pi(1+n^2)}\cos nx +\frac{n(1-e^{-2\pi})}{\pi(1+n^2)}\sin nx \right].

x=2kπx=2k\pi 处,周期延拓有跳跃,级数收敛于

f(0+)+f(2π)2=1+e2π2.\frac{f(0+)+f(2\pi-)}2 =\frac{1+e^{-2\pi}}2.

例 25:半区间正弦展开 f(x)=x+1f(x)=x+1#

0<x<π0<x<\pi 上,将

f(x)=x+1f(x)=x+1

展开为正弦级数。

解:

作奇延拓,正弦系数为

bn=2π0π(x+1)sinnxdx.b_n=\frac2\pi\int_0^\pi (x+1)\sin nx\,dx.

分开:

bn=2π(0πxsinnxdx+0πsinnxdx).b_n=\frac2\pi\left( \int_0^\pi x\sin nx\,dx +\int_0^\pi\sin nx\,dx \right).

前面已经算过

0πxsinnxdx=π(1)nn.\int_0^\pi x\sin nx\,dx =-\frac{\pi(-1)^n}{n}.

0πsinnxdx=[cosnxn]0π=1(1)nn.\int_0^\pi\sin nx\,dx =\left[-\frac{\cos nx}{n}\right]_0^\pi =\frac{1-(-1)^n}{n}.

bn=2π[π(1)nn+1(1)nn].b_n= \frac2\pi\left[ -\frac{\pi(-1)^n}{n} +\frac{1-(-1)^n}{n} \right].

分类:

n=2kn=2k 时,

b2k=2π(π2k)=1k.b_{2k}=\frac2\pi\left(-\frac{\pi}{2k}\right) =-\frac1k.

n=2k1n=2k-1 时,

b2k1=2π(π2k1+22k1)=22k1+4(2k1)π.b_{2k-1} =\frac2\pi\left( \frac{\pi}{2k-1}+\frac{2}{2k-1} \right) =\frac2{2k-1}+\frac4{(2k-1)\pi}.

所以

x+1k=1(22k1+4(2k1)π)sin(2k1)xk=11ksin2kx.x+1\sim \sum_{k=1}^{\infty} \left( \frac2{2k-1}+\frac4{(2k-1)\pi} \right)\sin(2k-1)x -\sum_{k=1}^{\infty}\frac1k\sin 2kx.

在端点 x=0,πx=0,\pi,正弦级数的和为 00,这与原函数端点值不同,是奇延拓造成的。

例 26:任意有限区间的傅里叶展开#

若函数定义在 (a,b)(a,b) 上,令

z=xa+b2,l=ba2.z=x-\frac{a+b}{2},\qquad l=\frac{b-a}{2}.

x(a,b)x\in(a,b) 转为 z(l,l)z\in(-l,l)。先对

F(z)=f(z+a+b2)F(z)=f\left(z+\frac{a+b}{2}\right)

(l,l)(-l,l) 上展开,再代回 z=xa+b2z=x-\dfrac{a+b}{2}

例如在 (0,10)(0,10) 上展开 f(x)=x5f(x)=x-5。令 z=x5z=x-5,则 F(z)=zF(z)=zl=5l=5。由 f(x)=xf(x)=x(l,l)(-l,l) 的通式可得

z2lπn=1(1)n+1nsinnπzl.z\sim \frac{2l}{\pi}\sum_{n=1}^{\infty} \frac{(-1)^{n+1}}{n}\sin\frac{n\pi z}{l}.

所以

x510πn=1(1)n+1nsinnπ(x5)5.x-5\sim \frac{10}{\pi}\sum_{n=1}^{\infty} \frac{(-1)^{n+1}}{n} \sin\frac{n\pi(x-5)}{5}.

例 27:由傅里叶级数求 1/n2\sum 1/n^2#

由例 23:

x=2n=1(1)n+1nsinnx,π<x<π.x=2\sum_{n=1}^{\infty}\frac{(-1)^{n+1}}n\sin nx,\qquad -\pi<x<\pi.

x=π2x=\dfrac{\pi}{2}

π2=2(113+1517+),\frac{\pi}{2} =2\left( 1-\frac13+\frac15-\frac17+\cdots \right),

得到 Leibniz 公式:

π4=113+1517+.\frac{\pi}{4}=1-\frac13+\frac15-\frac17+\cdots.

若进一步使用 Parseval 等式:

1πππx2dx=n=1bn2,\frac1\pi\int_{-\pi}^{\pi}x^2\,dx =\sum_{n=1}^{\infty}b_n^2,

其中

bn=2(1)n+1n.b_n=\frac{2(-1)^{n+1}}n.

左边为

1π2π33=2π23.\frac1\pi\cdot\frac{2\pi^3}{3}=\frac{2\pi^2}{3}.

右边为

n=14n2=4n=11n2.\sum_{n=1}^{\infty}\frac4{n^2}=4\sum_{n=1}^{\infty}\frac1{n^2}.

因此

n=11n2=π26.\sum_{n=1}^{\infty}\frac1{n^2}=\frac{\pi^2}{6}.

于是奇数项平方倒数和为

k=11(2k1)2=n=11n2k=11(2k)2=π2614π26=π28.\sum_{k=1}^{\infty}\frac1{(2k-1)^2} =\sum_{n=1}^{\infty}\frac1{n^2} -\sum_{k=1}^{\infty}\frac1{(2k)^2} =\frac{\pi^2}{6}-\frac14\cdot\frac{\pi^2}{6} =\frac{\pi^2}{8}.

8. 课件题型处理办法总表#

题型识别特征首选方法写法模板
等比级数aqnaq^n等比公式判断 q<1\lvert q\rvert<1,再给和
望远镜lnn+1n\ln\frac{n+1}{n}、分式差、反正切差部分和相消SNS_N,再取极限
调和级数1/n\sum 1/n分组或 p 级数说明 p=1p=1 发散
正项级数un0u_n\ge0比较/极限比较找等价的 p 级数
泰勒比较ln,sin,e,cos\ln,\sin,e,\cos 中含 1/n1/n展开到首个非零项1/np\sum 1/n^p 比较
阶乘指数n!,an,nnn!, a^n, n^n比值法un+1/unu_{n+1}/u_n
n 次方整体()n(\cdots)^n根值法unn\sqrt[n]{u_n}
1n(lnn)a\frac1{n(\ln n)^a}对数型积分法t=lnxt=\ln x
交错级数(1)nan(-1)^n a_nLeibniz检查 an0a_n\downarrow0
绝对/条件收敛任意项先取绝对值绝对收敛优先
函数项一致收敛xx,需对区间一致M 判别法un(x)Mn\lvert u_n(x)\rvert\le M_n
幂级数收敛域an(xx0)n\sum a_n(x-x_0)^n比值/根值 + 端点端点必须代入
幂级数求和nxn,xn/(n+1)\sum nx^n,\sum x^n/(n+1)几何级数求导/积分先写 x<1\lvert x\rvert<1
傅里叶展开周期函数系数公式先定周期 2l2l
奇偶傅里叶奇函数/偶函数奇正弦偶余弦只算一类系数
半区间展开[0,l][0,l] 上函数奇/偶延拓正弦或余弦级数
间断点求值跳跃点Dirichlet左右极限平均

9. 易错点清单#

  1. 等比级数条件是 q<1|q|<1,不是 q<1q<1
  2. 通项趋于 0 不能推出级数收敛,只能反过来用:通项不趋零则发散。
  3. 比值法/根值法等于 1 时失效,不能说收敛或发散。
  4. 比较法通常用于正项级数;任意项要先考虑绝对值。
  5. Leibniz 判别法要检查单调递减和趋于 0
  6. 条件收敛不是绝对收敛;考试要明确分类。
  7. 幂级数端点必须单独讨论,不能只写 x<R|x|<R
  8. 缺项幂级数不能直接套系数比值公式,要对完整通项审敛。
  9. 逐项求导需要导数级数一致收敛,不能只凭原级数一致收敛。
  10. 傅里叶级数在间断点取左右极限平均
  11. 半区间正弦/余弦展开不唯一,取决于奇延拓还是偶延拓。
  12. 傅里叶系数中的周期参数要先确认:周期 2l2l 时三角函数是 cosnπxl\cos\dfrac{n\pi x}{l}sinnπxl\sin\dfrac{n\pi x}{l}

10. 课件布置作业#

课件中列出的作业范围:

  • 习题 7.1(A):
    • 3(2,3)3(2,3)4466778(1,3)8(1,3)
    • 12(2,4,6,8,10,12,14)12(2,4,6,8,10,12,14)
    • 14(1,3,5)14(1,3,5)151516(2)16(2)18(1,3)18(1,3)2020
  • 习题 7.2(A):
    • 3(1,3)3(1,3)4(2,4,5)4(2,4,5)
  • 习题 7.3(A):
    • 4(1,3,5,7,9)4(1,3,5,7,9)6(2,5,6,7)6(2,5,6,7)8(3,4,5)8(3,4,5)
    • 9(1,3,5)9(1,3,5)10(2,3)10(2,3)
  • 习题 7.4(A):
    • 445(2,4)5(2,4)6(1,3)6(1,3)7(1,2)7(1,2)

建议做题顺序:

  1. 先做 7.1 中所有审敛法题,目标是见到通项能立刻选方法。
  2. 再做 7.2 的函数项级数收敛域/一致收敛题,以及 7.3 的幂级数收敛域题,重点练端点。
  3. 最后做傅里叶展开题,重点练系数积分与间断点取值。

11. 最后 3 天复习安排#

第 1 天:常数项级数#

  • 背 p 级数、等比级数、Leibniz、比值、根值、积分法条件。
  • 每种审敛法至少做 2 道题。
  • 特别练泰勒展开比较:sinx\sin xln(1+x)\ln(1+x)exe^xcosx\cos x

第 2 天:函数项级数与幂级数#

  • 背一致收敛定义和 M 判别法。
  • 练幂级数收敛半径与端点。
  • 背常见展开式,并练通过求导/积分求和函数。

第 3 天:傅里叶级数#

  • 背 Fourier 系数公式。
  • 练奇函数、偶函数、半区间展开。
  • 反复提醒自己:间断点取左右极限平均。
  • 最后把本资料中的所有例题独立重写一遍。

12. 审核记录#

已按以下项目自查:

  • 覆盖课件第 7.1、7.2-7.3、7.4 的主线内容。
  • 包含常数项级数、函数项级数、幂级数、泰勒展开、傅里叶级数的基本定义。
  • 包含课件中出现的典型题型处理办法:等比、望远镜、调和、p 级数、比较、极限比较、比值、根值、积分、Leibniz、绝对/条件收敛、一致收敛、幂级数收敛域、和函数、傅里叶展开。
  • 给出完整例题解答,包含关键计算步骤与结论。
  • 对容易被课件 PDF 提取误差影响的公式,按数学标准结果重新校正。
  • 特别校正:等比级数条件为 q<1|q|<1;傅里叶间断点取左右极限平均;幂级数端点必须单独讨论。
  • 对照课件截图复核并修正:(e1/n2cos(1/n))\sum(e^{1/n^2}-\cos(1/n))(1)n1xn/n\sum(-1)^{n-1}x^n/n(x1)n/(2nn)\sum (x-1)^n/(2^n n)(1)nn2/en\sum (-1)^n n^2/e^n
  • 补入课件函数项级数收敛域例题、缺项幂级数例题、非单调交错级数例题。
  • 机械检查:Markdown 文件已生成;预留类标记未命中;$...$$$...$$ 分隔符数量均为偶数。

如果时间只够背一页,就背第 8 节“课件题型处理办法总表”和第 9 节“易错点清单”;如果时间够做题,就把第 2、5、7 节例题全部手写一遍。

数学分析下:无穷级数精简笔记
https://achcyano.github.io/posts/数学分析下无穷级数精简笔记/
作者
achcyano
发布于
2026-07-02
许可协议
CC BY-NC-SA 4.0