首发于 考研数学
考研数学第十四弹---无穷级数

考研数学第十四弹---无穷级数

Intro:求极限可以判断该级数收敛,从而极限为0;求某个和式的时候,可以选择构造幂级数求和然后带入具体的数字即可;注意求和函数S(0)的情况(一般通项若x作为分母,则一定是分段函数;若无此特征,可以令x=0代入,若发现两者不等也需要写成分段函数)以及x作为分母的情况,需分类讨论x为0的值,注意所有判别某级数方法无法得到是否收敛的情况下,可以考虑定义,即n项和有界。

1.常项数级数:

(1) \sum_{n=1}^{∞}{u_n}=u_1+…+u_n+… 前n项和 S_n=\sum_{k=1}^{n}{u_k} ,若 \lim_{n\rightarrow ∞}{S_n}=S 存在,则称级数收敛,S称为其和;若不存在,则称级数发散。余项 r_n=S-S_n=\sum_{k=n+1}^{\infty}{u_k} ,显然当级数收敛时 r_n=0

例:判断级数 \sum_{n=1}^{∞}{\frac{1}{n(n+1)}} 的敛散性。

解: \frac{1}{n(n+1)}=\frac{1}{n}-\frac{1}{n+1} ,所以 S_n=1-\frac{1}{n+1},\lim_{n\rightarrow ∞}{S_n}=1 ,所以收敛。

(2) 调和级数(几何级数) \sum_{n=1}^{∞}{aq^{n-1}}=a+…+aq^{n-1}+…=\frac{a(1-q^n)}{1-q}

|q|<1 时,等比级数收敛,且 \sum_{n=1}^{∞}{aq^{n-1}}=\frac{a}{1-q} =\frac{首项}{1-公比}

|q|\geq1 时,等比级数发散。

(3)基本性质:

①收敛的必要条件:若 \sum_{n=1}^{∞}{u_n} 收敛,则 \lim_{n\rightarrow ∞}{{u_n}}=0 逆命题不成立,例如 调和级数 \sum_{n=1}^{∞}{\frac{1}{n}}

②若 \sum_{n=1}^{∞}{u_n} 收敛于s,C为任意常数,则 \sum_{n=1}^{∞}{Cu_n} 收敛于Cs。

③若 \sum_{n=1}^{∞}{u_n},\sum_{n=1}^{∞}{v_n} 分别收敛于 s,t \sum_{n=1}^{∞}{u_n±v_n} 收敛于 s±t

收敛±发散=发散;两发散的和差不一定发散(若为正项级数的和一定发散) \sum_{n=1}^{∞}{ (-1)^{n}}+\sum_{n=1}^{∞}{(-1)^{n-1}}=0

⑤收敛级数任意加括号所形成的级数仍收敛于原来的和;收敛级数去括号后不一定收敛。

若加括号后级数发散,则原级数必发散; 若加括号后级数收敛,则原级数不一定收敛。

(1-1)+…+(1-1)+…

⑥增加,删减,改变级数的前有限项不改变级数的敛散性(可能改变其和)。

(4)柯西收敛准则:级数 \sum_{n=1}^{∞}{a_n} 收敛 \Leftrightarrow\forall\varepsilon>0,\exists N\in N^{+},S.T.m>n,\forall p\in N^{+} |a_{m+1}+…+a_{m+p}|<\varepsilon |S_{m+p}-S_m|<\varepsilon

2.正项级数:每一项均非负( 用以下定理时一定要判断正项

(1) 基本审敛法 :正项级数 \sum_{n=1}^{∞}{a_n} 收敛的充要条件为其部分和数列 \begin{equation} \left \{S_{n}\right \} \end{equation} 有界。

(2) 积分审敛法 :f(x)在[1,+∞)上满足 非负,连续,单减 ,则正项级数 \sum_{n=1}^{∞}{ f(n)} 与广义积分 \int_{1}^{+∞}f(x)dx 同敛散。

{\color{red}{}} 一些常见级数:

P-级数: {\color{red}{{\sum_{n=1}^{∞}{\frac{1}{n^p}}}=\begin{equation} \left\{ \begin{array}{lr} 收敛, &p>1 \\ 发散,&p\leq1\\ \end{array} \right. \end{equation} }} 将1换为lnn也成立

\sum_{n=2}^{\infty } \frac{1}{n^p(lnn)^q} = \left\{\begin{matrix} 收敛,&p>1或p=1,q>1\\发散,&else \end{matrix}\right. 由此可知 \sum_{n=2}^{\infty } \frac{1}{n lnn } 发散而 \sum_{n=2}^{\infty } \frac{1}{n (lnn)^2 } 收敛

注意此处不要与反常积分混淆!

{ {{\sum_{n=1}^{∞}{\frac{ln(n!)}{n^p}}}=\begin{equation} \left\{ \begin{array}{lr} 收敛, &p>2 \\ 发散,&p\leq2\\ \end{array} \right. \end{equation} }} (提示: n!<n^n

(3) 比较判别法 :常用比较的级数--等比级数,调和级数,P-级数。

①设正项级数 \sum_{n=1}^{∞}{a_n},\sum_{n=1}^{∞}{b_n},\exists N,n\geq N,a_n\leq (C)b_n

\sum_{n=1}^{∞}{b_n} 收敛,则 \sum_{n=1}^{∞}{a_n} 也收敛;

\sum_{n=1}^{∞}{a _n} 发散,则 \sum_{n=1}^{∞}{b_n} 也发散。

c_1b_n\leq a_n\leq c_2b_n(c_i>0) \sum_{n=1}^{∞}{a_n},\sum_{n=1}^{∞}{b_n} 同敛散。

大敛小也敛,小散大也散。

极限形式: 设正项级数 \sum_{n=1}^{∞}{a_n},\sum_{n=1}^{∞}{b_n} 满足 \lim_{n \rightarrow ∞}{\frac{a_n}{b_n}}=l

a.当 0<l<+\infty \sum_{n=1}^{∞}{a_n},\sum_{n=1}^{∞}{b_n} 同敛散;

b.当 l=0 \sum_{n=1}^{∞}{b_n} 收敛,则 \sum_{n=1}^{∞}{a_n} 收敛;

c.当 l=+\infty \sum_{n=1}^{∞}{b_n} 发散,则 \sum_{n=1}^{∞}{a_n} 发散。

注意: 利用等价代换时注意只能是正项级数,因为等价代换是此极限形式推出来的,所以 ln(1+\frac{(-1)^n}{\sqrt{n}})\nrightarrow\frac{(-1)^n}{\sqrt{n}} 且此级数是发散的

(4) 比值判别法(达朗贝尔判别法) :适合带阶乘与次方的级数。

设正项级数 \sum_{n=1}^{∞}{a_n} 满足 \lim_{n \rightarrow ∞}{\frac{a_{n+1}}{a_n}}=l

a.当 l<1 ,则 \sum_{n=1}^{∞}{a_n} 收敛;

b.当 l>1,l=+∞ ,则 \sum_{n=1}^{∞}{a_n} 发散;

c.当 l=1 或不存在,则无法判断(P-级数)。

(5) 根值判别法(柯西判别法) :适合带n次方的级数。

设正项级数 \sum_{n=1}^{∞}{a_n} 满足 \lim_{n \rightarrow ∞}\sqrt{a_n}=l

a.当 l<1 ,则 \sum_{n=1}^{∞}{a_n} 收敛;

b.当 l>1,l=+∞ ,则 \sum_{n=1}^{∞}{a_n} 发散;

c.当 l=1 或不存在,则无法判断(P-级数)。

能用比值判别法的一定可以用根值判别法,反之不然;另外比值与根值只是计算幂级数收敛半径的充分条件,而不是必要条件,例 a_n=\left\{\begin{matrix} 1,&n=2k-1 \\0,&n=2k \end{matrix}\right.

例:判断 \sum_{n=1}^{∞}{\frac{2+(-1)^n}{3^n-2^n}} 的敛散性。(这类型均为夹逼)

解: {\frac{1}{3^n-2^n}}\leq u_n\leq{\frac{3}{3^n-2^n}} ,故 {\frac{1}{3}}\frac{1}{\sqrt[n]{1-(\frac{2}{3})^n}}\leq \sqrt[n]{u_n}\leq{\frac{1}{3}}\frac{\sqrt[n]{3}}{\sqrt[n]{1-(\frac{2}{3})^n}} 由夹逼得 \sqrt[n]{u_n}=\frac{1}{3}<1 故收敛。

*(6)拉比(Raabe)判别法:

对任意级数 \sum_{n=1}^{∞}{a_n} 满足 \lim_{n \rightarrow ∞}n(|\frac{a_n}{a_{n+1}}|-1)=r

r>1,级数收敛;r<1,级数发散。

*(7)高斯(Gauss)判别法:

\frac{a_n}{a_{n+1}}=\lambda+\frac{u}{n}+\frac{\theta_n}{n^2},\lambda,u 为常数, \theta_{n} 为有界量

\lambda\geq1,u>1 级数收敛; \lambda\leq1,u\leq1 级数发散。

*(8)对数判别法:

对正项级数 \sum_{n=1}^{∞}{a_n} ,存在正数l,满足 \lim_{n \rightarrow ∞} \frac{ln\frac{1}{a_n}}{lnn}=l

a.当 l>1 ,则 \sum_{n=1}^{∞}{a_n} 收敛;

b.当 l<1 ,则 \sum_{n=1}^{∞}{a_n} 发散;

c.当 l=1 或不存在,则无法判断。

3.绝对收敛:

(1)若 \sum_{n=1}^{∞}{|a_n|} 收敛,则称 \sum_{n=1}^{∞}{a_n} 绝对收敛;若 \sum_{n=1}^{∞}{|a_n|} 发散,但 \sum_{n=1}^{∞}{a_n} 收敛,则称 \sum_{n=1}^{∞}{a_n} 条件收敛。

绝对收敛±绝对收敛=绝对收敛

条件收敛±绝对收敛=条件收敛

注意:若正项级数 \sum_{n=1}^{∞}{a_n} 收敛,则 \sum_{n=1}^{∞}{a_n^2} 收敛,若无正项则不成立;即亦可说若 \sum_{n=1}^{∞}{a_n} 绝对收敛,则 \sum_{n=1}^{∞}{a_n^2} 收敛。

例:设 u_n\ne0,\lim_{n \rightarrow \infty}{\frac{n}{u_n}}=1 ,判断级数 \sum_{n=1}^{∞}{(-1)^{n+1}(\frac{1}{u_n}+\frac{1}{u_{n+1}})} 的敛散性,若收敛是绝对收敛还是条件收敛。

解:部分和 S_n=\frac{1}{u_1}-(-1)^{n+1}\frac{1}{u_{n+1}} \lim_{n \rightarrow \infty}{S_n}=\frac{1}{u_1} 故收敛;又 \lim_{n \rightarrow \infty}{\frac{|\frac{1}{u_n}+\frac{1}{u_{n+1}}|}{\frac{1}{n}}}=2 故原级数条件收敛。

(2) 交错级数: \sum_{n=1}^{∞}{(-1)^na_n},a_n>0

莱布尼茨判别法 :若 \sum_{n=1}^{∞}{(-1)^na_n} 满足 a_n 单减且 \lim_{n \rightarrow ∞}{a_n}=0 ,则其收敛。

例1:判断级数 \sum_{n=1}^{∞}{\frac{(-1)^n}{\sqrt{n+1}+(-1)^n}} 的敛散性。

解:因为 {\frac{1}{\sqrt{n+1}+(-1)^n}} 不单减,故不可用莱布尼茨公式,但注意到 {\frac{(-1)^n}{\sqrt{n+1}+(-1)^n}}={\frac{(-1)^n(\sqrt{n+1}-(-1)^n)}{n}}=(-1)^n\sqrt{\frac{1}{n}+\frac{1}{n^2}}-\frac{1}{n} 因为前一个级数收敛,后一个级数发散,所以发散。

例2:判断级数 \sum_{n=1}^{∞}{sin(\pi\sqrt{n^2+a^2})} 的敛散性。

解: sin(\pi\sqrt{n^2+a^2})=(-1)^nsin(\pi(\sqrt{n^2+a^2}-n))=(-1)^nsin\frac{\pi a^2}{\sqrt{n^2+a^2}+n} 由莱布尼茨知其收敛。

例3:讨论级数 \sum_{n=1}^{∞}\frac{x^n}{n2^n} 的敛散性。

解: \sum_{n=1}^{∞}|\frac{x^n}{n2^n}|=\sum_{n=1}^{∞}u_n ,由于 \lim_{n \rightarrow∞}{\frac{u_{n+1}}{u_n}}=\frac{1}{2}|x| ,由正项级数的比值判别法可知当 |x|<2 时该级数绝对收敛,当 x=2 时, u_n=\frac{1}{n} 发散;当 x=-2 时, u_n=(-1)^n\frac{1}{n} 收敛,所以当 x\in[-2,2) 级数收敛,而其他值发散。

*(3)阿贝尔判别法:若① \sum_{n=1}^{∞}{a_n} 收敛② \begin{equation} \left \{b_{n}\right \} \end{equation} 单调有界,则 \sum_{n=1}^{∞}{a_nb_n} 收敛。

*(4)狄利克雷判别法:若① \sum_{n=1}^{∞}{a_n} 部分和有界② \begin{equation} \left \{b_{n}\right \} \end{equation} 单调趋于0,则 \sum_{n=1}^{∞}{a_nb_n} 收敛。

*4.函数项级数:将常数项换成了函数

(1)一致收敛:设有函数列 \begin{equation} \left \{S_{n}(x)\right \} \end{equation} ,若 \forall \varepsilon>0 ,存在只依赖于 \varepsilon N(\varepsilon)\in N^+,S.T.n>N(\varepsilon) |S_{n}(x)-S(x)|<\varepsilon ,则称 \begin{equation} \left \{S_{n}(x)\right \} \end{equation} 一致收敛于S(x),记为 S_{n}(x)\Rightarrow S(x) (S(x)为和函数)

(2)魏尔斯特拉斯判别法(M-判别法):若对充分大的n,恒有实数 a_n ,使得 |u_n(x)|\leq a_n ,对任意的x均成立,且常数项级数 \sum_{n=1}^{∞}{a_n} 收敛,则 \sum_{n=1}^{\infty}{u_n(x)} 一致收敛。

(3)阿贝尔判别法:若 \sum_{n=1}^{∞}{b_n(x)} 一致收敛,对每个固定的x数列 a_n(x) 单调且有界,则 \sum_{n=1}^{\infty}{a _n(x)b_n(x)} 一致收敛。

(4)狄利克雷判别法:设 \sum_{n=1}^{∞}{b_n(x)} 的部分和一致有界,对每一个x数列 a_n(x) 单调且函数列 \begin{equation} \left \{a_{n}(x)\right \} \end{equation} 一致收敛于0,则 \sum_{n=1}^{\infty}{a _n(x)b_n(x)} 一致收敛。

5.幂级数:

(1)形如 \sum_{n=1}^{∞}{a_n(x-x_0)^n}=a_0+a_1(x-x_0)+…+a_n(x-x_0)^n… 的函数项级数称为幂级数。

(2)柯西-阿达玛定理:幂级数 \sum_{n=1}^{∞}{a_n(x-x_0)^n} |x-x_0|<R 内绝对收敛,在 |x-x_0|>R 内发散, x_0 处需讨论,R为收敛半径。

(3) 阿贝尔第一定理: \sum_{n=1}^{∞}{a_nx^n} x_0\ne0 处收敛,则在 |x|<|x_0| 绝对收敛;在 |x|>|x_0| 发散。

故可得到若幂级数 \sum_{n=1}^{∞}{a_nx^n} x=\pm x_0 处敛散性不一致或条件收敛,则收敛半径为 |x_0|

(4) 系数模比(根)值法 :对于幂级数 \sum_{n=1}^{∞}{a_nx^n} \lim_{n \rightarrow ∞}{|\frac{a_{n+1}}{a_n}|}=\rho=\lim_{n \rightarrow ∞}\sqrt[n]{a_n}

则其收敛半径 {\color{red}{{R}=\begin{equation} \left\{ \begin{array}{lr} \frac{1}{\rho}, &0<\rho<\infty \\ +\infty,&\rho=0\\ 0,& \rho=+\infty \end{array} \right. \end{equation} }}

*(5)阿贝尔第二定理:若 \sum_{n=1}^{∞}{a_nx^n} 收敛半径为R,则 \sum_{n=1}^{∞}{a_nx^n} 在(-R,R)上内闭一致收敛;若 \sum_{n=1}^{∞}{a_nx^n} x=R(-R) 处收敛,则 \sum_{n=1}^{∞}{a_nx^n} [0,R]([-R,0]) 上一致收敛。

(6) 求幂级数收敛域的方法:

①标准型幂级数 \sum_{n=1}^{∞}{a_nx^n} :由公式,比值,根值求得收敛半径,在 讨论端点的收敛性 ;若为收敛区间则无需讨论端点处的收敛性。

②非标准型(缺项或通项为复合式):直接用比值根值求收敛半径;可通过换元法化为标准型。

例:求幂级数 \sum_{n=1}^{∞}{\frac{n}{2^n(n+1)}x^{2n}} 的收敛域。

解①:记 \sum_{n=1}^{∞}{|\frac{n}{2^n(n+1)}x^{2n}}|=\sum_{n=1}^{∞}u_n ,由于 \lim_{n \rightarrow∞}{\frac{u_{n+1}}{u_n}}=\frac{1}{2}x^2 ,由正项级数的比值判别法可知当 \frac{1}{2}x^2<1\Rightarrow|x|<\sqrt{2} 时该幂级数收敛,当 |x|=\sqrt{2} 时,级数发散,故收敛域为 (-\sqrt{2},\sqrt{2})

解②:令 t=x^2 ,则原级数为 \sum_{n=1}^{∞}{\frac{n}{2^n(n+1)}x^{2n}}=\sum_{n=1}^{∞}{\frac{n}{2^n(n+1)}t^n} ,对此幂级数求收敛半径得R=2,则当 |t|<2\Rightarrow |x|<\sqrt{2} 级数收敛。

(7)运算及性质:

①设幂级数 \sum_{n=1}^{∞}{a_nx^n},\sum_{n=1}^{∞}{b_nx^n} 收敛半径分别为 R_1,R_2 ,令 R=min(R_1,R_2) ,则 \sum_{n=1}^{∞}{a_nx^n}\sum_{n=1}^{∞}{b_nx^n}=\sum_{n=1}^{∞}(a_0b_n+…a_nb_0)x^n,|x|<R

\frac{\sum_{n=1}^{∞}{a_nx^n}}{\sum_{n=1}^{∞}{b_nx^n}}=\sum_{n=1}^{∞}{c_nx^n},|x|<R ,其中 c_n 可由方程组 a_n=b_0c_n+…b_nc_0

②设幂级数 \sum_{n=1}^{∞}{a_nx^n} 收敛半径为R>0,和函数为S(x),则

a.S(x)在收敛域上连续;

b.S(x)在收敛域上可逐项求导;

c.S(x)在收敛域上可逐项积分。

运算前后收敛半径不变,但端点处敛散性可能改变。

③奇偶子列的收敛半径大于等于原来的半径。即设 \sum_{n=1}^{\infty}{a_nx^n} 的收敛半径为R, \sum_{n=1}^{\infty}{a_{2n}x^{2n}}(\sum_{n=1}^{\infty}{a_{2n-1}x^{2n-1}}) 的收敛半径为r,则 r\ge R

例1:求幂级数 \sum_{n=1}^{∞}{(\frac{1}{2n+1}-1)x^{2n}} 的和函数,并求 \sum_{n=1}^{∞}\frac{n}{2n+1}\frac{1}{2^{n-1}}

解:首先求出收敛半径(-1,1),记 s_1(x)=\sum_{n=1}^{∞}{\frac{1}{2n+1}x^{2n}},s_2(x)=\sum_{n=1}^{∞}x^{2n},x\in(-1,1) s_2(x)=\frac{x^2}{1-x^2},(xs_1(x))^,=\frac{x^2}{1-x^2} ,求得 s_1(x)=\begin{equation} \left\{ \begin{array}{lr} -1+\frac{1}{2x}ln\frac{1+x}{1-x}, &|x|<1,x\ne0 \\ 0,&x=0 \end{array} \right. \end{equation} 所以 s (x)=s_1(x)-s_2(x)=\begin{equation} \left\{ \begin{array}{lr} \frac{1}{2x}ln\frac{1+x}{1-x}-\frac{1}{1-x^2}, &|x|<1,x\ne0 \\ 0,&x=0 \end{array} \right. \end{equation} ,令 x=\frac{\sqrt{2}}{2}\in(-1,1) 即为所求。

例2:设级数 \frac{x^4}{2*4}+\frac{x^6}{2*4*6}+\frac{x^8}{2*4*6*8}…x\in R 的和函数s(x)。

解①: s(x)=\frac{x^4}{2*4}+\frac{x^6}{2*4*6}+\frac{x^8}{2*4*6*8}…x\in R 得s(0)=0, s^,(x)= \frac{x^3}{2}+\frac{x^5}{2*4}+\frac{x^7}{2*4*6}…\\=x(\frac{x^2}{2}+\frac{x^4}{2*4}+\frac{x^6}{2*4*6}…)=x(\frac{x^2}{2}+s(x))

此为一阶线性微分方程,解得其解为 y=-\frac{x^2}{2}-1+C e^{\frac{x^2}{2}} ,由s(0)=0得C=1,故 s(x)=-\frac{x^2}{2}-1+ e^{\frac{x^2}{2}}

解②: s(x)=\frac{ (\frac{x^2}{2})^2}{1*2}+\frac{ (\frac{x^2}{2})^2}{1*2*3}+\frac{ (\frac{x^2}{2})^2}{1*2*3*4} \dots 此即 e^x 的部分泰勒展开式,减去一部分即可

【评注】若幂级数的数列不是一个通式而是一个递推公式,则也采用求导构造微分方程的方法。

6.幂级数展开:

直接法:Taylor级数,求出n阶导以及收敛半径,判断Lagrange余项是否为0(展开的充要条件)

间接法:变量替换,四则运算,恒等变形,逐项求导,积分。

e^{x}=\sum_{n=0}^{\infty}{\frac{x^{n}}{n!}}=1+x+\frac{x^{2}}{2!}……+\frac{x^{n}}{n!}……x\in R

\frac{1}{1-x}=\sum_{n=0}^{\infty}x^{n}=1+x+x^{2}……+x^{n}……x\in (-1,1)

ln{(1-x)}=\sum_{n=1}^{\infty}-\frac{1}{n}x^{n}=-(x+\frac{1}{2}x^{2}……+\frac{1}{n}x^{n}……) x\in [-1,1)

注意这个的相反数,比较常用。

\frac{1}{1+x}=\sum_{n=0}^{\infty}(-1)^{n}x^{n}=1-x+x^{2}……+(-1)^{n}x^{n}……x\in (-1,1)

ln{(1+x)}=\sum_{n=1}^{\infty}(-1)^{n-1}\frac{x^{n}}{n}=x-\frac{1}{2}x^{2}……+(-1)^{n-1}\frac{1}{n}x^{n}……x\in (-1,1]

sinx=\sum_{n=0}^{\infty}{(-1)^{n}\frac{x^{2n+1}}{(2n+1)!}}=x-\frac{x^{3}}{3!}……+{(-1)^{n}\frac{x^{2n+1}}{(2n+1)!}}……x\in R

cosx=\sum_{n=0}^{\infty}{(-1)^{n}\frac{x^{2n}}{(2n)!}}=1-\frac{x^{2}}{2!}……+{(-1)^{n}\frac{x^{2n}}{(2n)!}}……x\in R

例:将 f(x)=\frac{1}{x^2+4x+3} 展成x-1的幂级数。

解:

f(x)=\frac{1}{2}(\frac{1}{x+1}-\frac{1}{x+3})=\frac{1}{2}*\frac{1}{(x-1)+2}-\frac{1}{2}*\frac{1}{(x-1)+4}\\=\frac{1}{4}*\frac{1}{1+\frac{x-1}{2}}-\frac{1}{8}*\frac{1}{1+\frac{x-1}{4}}

\frac{1}{4}*\frac{1}{1+\frac{x-1}{2}}=\frac{1}{4}\sum_{n=0}^{∞}{(-1)^n}(\frac{x-1}{2})^n,x\in(-1,3)\\\frac{1}{8}*\frac{1}{1+\frac{x-1}{4}}=\frac{1}{8}\sum_{n=0}^{∞}{(-1)^n}(\frac{x-1}{4})^n,x\in(-3,5)

f(x)=\frac{1}{x^2+4x+3}=\sum_{n=0}^{∞}{(-1)^n}(\frac{1}{2^{n+2}}-\frac{1}{2^{2n+3}})(x-1)^n,x\in(-1,3)

7.欧拉公式: e^{ix}=cosx+isinx

z_n=u_n+iv_n 为一复数列,则 z_n 收敛 \Leftrightarrow u_n,v_n 均收敛。

拓展: zhuanlan.zhihu.com/p/38

8.傅里叶(Fourier)级数:

(1)三角级数: \frac{a_0}{2}+\sum_{n=1}^{\infty}{(a_ncosnx+b_nsinnx)}

三角函数系的正交性略。

(2)以 2\pi 为周期函数的傅里叶级数:

傅里叶级数 :设三角级数的和函数为f(x),即 f(x)=\frac{a_0}{2}+\sum_{n=1}^{\infty}{(a_ncosnx+b_nsinnx)} a_0=\frac{1}{\pi}\int_{-\pi}^{\pi}f(x)dx\\a_n=\frac{1}{\pi}\int_{-\pi}^{\pi}f(x)cosnxdx,n= 1,2…\\b_n=\frac{1}{\pi}\int_{-\pi}^{\pi}f(x)sinnxdx,n=1,2…

②狄利克雷收敛定理:若以周期为 2\pi 的函数f(x)在 [-\pi,\pi] 上满足:

a.连续或只有有限个第一类间断点;

b.至多只有有限个极值点(不做无限次震荡)

则f(x)的傅里叶级数在R上收敛,且

a.当x为f(x)的连续点时,f(x)的傅里叶级数收敛于f(x);

b.当x为f(x)的第一类间断点时,f(x)的傅里叶级数收敛于 \frac{f_+(x)+f_-(x)}{2} (画图求解)

例1:设f(x)是周期为 2\pi 的周期函数,在 [-\pi,\pi] 上表达式为 {{f(x)}=\begin{equation} \left\{ \begin{array}{lr} 0, &-\pi\leq x<0 \\ 1,&0\leq x<\pi\\ \end{array} \right. \end{equation} } 将f(x)展成傅里叶级数。

解:

a_0=\frac{1}{\pi}\int_{-\pi}^{\pi}f(x)dx=1\\a_n=\frac{1}{\pi}\int_{-\pi}^{\pi}f(x)cosnxdx=1,n= 1,2…\\b_n=\frac{1}{\pi}\int_{-\pi}^{\pi}f(x)sinnxdx={\begin{equation} \left\{ \begin{array}{lr} \frac{2}{n\pi} &n=1,3 …\\ 0,&n=2,4…\\ \end{array} \right. \end{equation} }

所以f(x) 的傅里叶级数为 f(x)=\frac{1}{2}+\frac{2}{\pi}\sum_{n=1}^{\infty}\frac{sin(2n-1)\pi}{2n-1} 又f(x)在 [-\pi,\pi] 上满足狄利克雷条件,故由收敛定理知在间断点 x=k\pi 收敛于 \frac{f(k\pi^+)+f(k\pi^-)}{2}=\frac{1}{2}\ne f(k\pi) 其他点f(x)连续,故其傅里叶级数收敛于f(x)。

注意:必须讨论端点值的收敛性。

(3)周期延拓:将函数f(x)在非定义点补充定义,使得f(x)延拓为周期为 2\pi 的周期函数F(x),再将F(x)展成傅里叶级数,最终结果注意要写x一个周期的区间。

zhihu.com/answer/246561

(4)正弦级数与余弦级数:

①正弦级数:

a.周期为 2\pi 的奇函数有 f(x)=\sum_{n=1}^{\infty}{b_nsinnx},b_n=\frac{2}{\pi}\int_{0}^{\pi}f(x)sinnxdx,n=1,2…

b.定义在 [0,\pi] 上的函数:作奇延拓,展成正弦级数。

②余弦级数:

a.周期为 2\pi 的偶函数有 f(x)=\frac{a_0}{2}+\sum_{n=1}^{\infty}{a_ncosnx},a_0=\frac{2}{\pi}\int_{0}^{\pi}f(x)dx,a_n=\frac{2}{\pi}\int_{0}^{\pi}f(x)cosnxdx,n=1,2…

b.定义在 [0,\pi] 上的函数:作偶延拓,展成余弦级数。

(5)以2l为周期函数的傅里叶级数:

x\in(-l,l) ,变量替换 z=\frac{\pi x}{l} ,则 z\in (-\pi,\pi) 同(2)展开

傅里叶级数为 f(x)=\frac{a_0}{2}+\sum_{n=1}^{\infty}{(a_ncos\frac{n\pi x}{l}+b_nsin\frac{n\pi x}{l})} a_0=\frac{1}{l}\int_{-l}^{l}f(x)dx\\a_n=\frac{1}{l}\int_{-l}^{l}f(x)cos\frac{n\pi x}{l}dx,n=1,2…\\b_n=\frac{1}{l}\int_{-l}^{l}f(x)sin\frac{n\pi x}{l}dx,n=1,2…

正、余弦级数同上。

例:将函数 {{a_n}=\begin{equation} \left\{ \begin{array}{lr} 1, &0\leq x < h\\ \frac{1}{2},&x=h\\ 0,&h<x<2 \end{array} \right. \end{equation} },0<h<2 展成正弦级数。

解:将f(x)在(-2,0)内作奇延拓,除了单个的点,f(x)为奇函数且l=2,则 a_0=a_n=0\\b_n=\frac{2}{l}\int_{0}^{l}f(x)sin\frac{n\pi x}{l}dx=\frac{2}{n\pi}[1-cos\frac{n\pi h}{2}],n=1,2…

又因为f(x)在其区间上满足狄利克雷条件,且延拓后连续,故收敛于f(x),当 x=0 ,f(x)收敛于 \frac{1-1}{2}=0\ne f(0) ;当 x=h ,f(x)收敛于 \frac{0+1}{2}=\frac{1}{2}= f(0) ,故 f(x)={\frac{2}{\pi}}\sum_{n=1}^{\infty}{\frac{1-cos\frac{n\pi h}{2}}{n}sin\frac{n\pi x}{2}},x\in(0,2]

*(6)任意区间 [a,b] 的傅里叶级数:

①换元 x=z+\frac{a+b}{2}\Rightarrow z=x-\frac{a+b}{2} ,则 z\in[-\frac{b-a}{2},\frac{b-a}{2}] 同(5),将z回代即可;

②换元 x=z+a\Rightarrow z=x-a ,则 z\in [0,b-a] ,作奇(偶)周期延拓,展成正弦(余弦)级数,将z回代即可。

例:将 f(x)=10-x(5<x<15) 展成傅里叶级数

解①:令 z=x-10 ,设 F(z)=f(z+10)=-z ,(-5<z<5) 将F(z)延拓成周期为10的函数,则满足收敛定理,因为F(z)是奇函数,故 b_n=\frac{2}{5}\int_{0}^{5}(-z)sin\frac{n\pi z }{5}dz=(-1)^n\frac{10}{n\pi},n=1,2… 所以 F(z)=\frac{10}{\pi}\sum_{n=1}^{\infty}{\frac{(-1)^n}{n}sin\frac{n\pi z}{5}},(-5<z<5) 10-x=\frac{10}{\pi}\sum_{n=1}^{\infty}{\frac{(-1)^n}{n}sin\frac{n\pi x}{5}},(5<x<15)

②由于同一个周期上积分值相等,所以可以直接在5到15上对f(x)积分求解,解出来相同。

*(7)复数形式的傅里叶展开:

f(x)=\sum_{-\infty}^{+\infty}{c_ne^{inwx}} ,其中 w=\frac{2\pi}{T},c_n=\frac{1}{T}\int_{-\frac{T}{2}}^{\frac{T}{2}}f(x)e^{-inwx}dx ,T为周期。


微分方程的幂级数解法

例:求微分方程 xy^,-y=e^{x^2} 的幂级数解

解:设有幂级数解 y=\sum_{n=1}^{\infty}{a_nx^n} ,则 \sum_{n=1}^{\infty}{na_nx^n}-\sum_{n=1}^{\infty}{a_nx^n}=\sum_{n=1}^{\infty}\frac{x^{2n}}{n!}\Rightarrow\sum_{n=1}^{\infty}{(n-1)a_nx^n}=\sum_{n=1}^{\infty}\frac{x^{2n}}{n!} 比较两端系数得 {{a_n}=\begin{equation} \left\{ \begin{array}{lr} \frac{1}{m!}\frac{1}{2m-1}, &n=2m \\ 0,&n=2m+1,n\ne1\\ \end{array} \right. \end{equation} }m=0,1… 代入得 y=-1+cx+\sum_{n=1}^{\infty}\frac{1}{n!}\frac{1}{2n-1}x^{2n},x\in R ,c为任意常数。

编辑于 2022-12-18 19:09 ・IP 属地安徽

文章被以下专栏收录