级数¶
约 1152 个字 预计阅读时间 6 分钟
柯西收敛准则¶
由此逆否命题得到级数发散的充要条件 为:
莱布尼茨定理及其证明¶
若交错级数 \(\sum_{n=1}^\infty (-1)^nu_n\) 满足下列条件:
- \(u_1\ge u_2 \ge u_3\ge ... \ge 0\)
- \(\lim_{n\rightarrow \infty}{u_n}=0\)
则 \(\sum_{n=1}^\infty (-1)^nu_n\) 收敛,并且它的和 \(S\le u_1\) ;以 \(S_n\) 为级数和的近似值时,其误差 \(R_n\) 不超过 \(u_{n+1}\) ,即 \(|R_n|=|S- S_n|\le u_{n+1}\)
【Prove】
有阶乘考虑 \(e^x\)¶
无数个有理数相加可以是:
- 不是一个数: \(\sum n\)
- 有理数: \(\sum\frac{1}{2^n}\)
- 无理数: \(\sum\frac{(-1)^n}{n}=\ln 2\)
重要级数¶
推广判别法¶
Dirichlet 判别法¶
若数列 \(\{a_n\}\) 单调且 \(\lim_{n\rightarrow\infty}a _n=0\) ,级数 \(\sum_{n=1}^\infty b_n\) 的部分和有界,则 \(\sum_{n=1}^\infty a_n b_n\) 收敛
Abel 判别法¶
若数列 \(\{a_n\}\) 单调有界,级数 \(\sum_{n=1}^\infty b_n\) 收敛,则 \(\sum_{n=1}^\infty a_n b_n\) 收敛
Abel变换
以上两个定理的证明需要用到Abel变换: \(\sum_{k=1}^{n} a_k b_k =a_n B_n + \sum_{k=1}^{n-1} (a_k -a_{k+1}) B_k\) ,其中 \(B_k =\sum_{n=1}^k b_n\)
此变换证明要点在于将 \(b_k= B_k -B_{k_1}\) 代入
收敛半径、收敛区间、收敛域¶
- \((-r,r)\) 为 收敛区间
- \((-r,r)\) 加上收敛端点为 收敛域
Info
无限多个连续函数的和不一定是连续函数,例如:
\(S(x)=x+\sum_{n=2}^\infty (x^n-x ^{n-1})\) 在 \(x\in (-1,1)\) 时等于0,在 \(x=1\) 时等于1
求和函数请注意!
求和函数的时候一定记得专门标注不存在的点。例如在有 \(1/x\) 的时候,要写出 \(S(x)\) 在 \(x=0\) 时,等于 0。
幂级数展开¶
\(f(x)\) 在区间 \(|x-x_0|\lt R\) 内存在任意阶导数,幂级数 \(\sum_{n=0}^\infty \frac{f^{(n)}(x_0)}{n!}(x-x _0)^n\) 的收敛区间为 \(|x-x_o|\lt R\) ,则在 \(|x-x_o|\lt R\) 内, \(f(x)=\sum_{n=0}^\infty \frac{f^{(n)}(x_0)}{n!}(x-x _0)^n\) 的充要条件是:
幂级数展开的步骤¶
- Step 1: 计算 \(f^{(n)}(x_0),n=1,2,3,...\)
- Step 2: 写出对应的泰勒级数 \(\sum_{n=0}^\infty \frac{f^{(n)}(x_0)}{n!}(x-x _0)^n\) ,并求出收敛区间
- Step 3: 验证 \(|x-x_0|\lt R\) 时,\(\lim_{n\rightarrow \infty} R_n(x) =0\)
- 特别地,\(\lim_{n\rightarrow \infty} \frac{|x|^{n+1}}{(n+1)!}=0\)
- Step 4: \(f(x)=\sum_{n=0}^\infty \frac{f^{(n)}(x_0)}{n!}(x-x _0)^n\ \ |x-x_o|\lt R\)
- Step 5: 验证端点收敛性
傅里叶级数公式¶
傅里叶展开的步骤¶
- Step 1: 求出最小正周期 T 和半周期 l
- Step 2: 判定 \(f(x)\) 奇偶性,简化系数计算,并求出 \(a_n\ b_n\)
- Step 3: 得到傅里叶级数(此时还不能取等,用
~
连接) - Step 4: 判定满足迪利克雷定理的条件(\(f(x)\) 连续或只有有限个第一类间断点与极值点)
三角函数傅里叶展开就是它自己
帕塞瓦不等式¶
若 \(f(x)\) 可积且平方可积,则 \(f(x)\) 的傅里叶级数系数 \(a_n,b _n\) 的平方所构成的级数 \(\frac{a_0^2}{2} +\sum_{n=1}^\infty (a_n^2 +b_n^2)\) 收敛,且等于 \(\frac{1}{l} \int^l_{-l} f^2(x)dx\)