目录（点击章节名称跳转到原始笔记）（数学分析记忆佛脚上）↗ 主线第一篇：极限论 Chapter 1 函数与极限 Chapter 2 导数与微分 Chapter 3 函数与极限二周目主线第二篇：积分学 Chapter 4 不定积分 Chapter 5 定积分支线 1：Chapter 6 线性空间理论概述支线 2：Chapter 7 常微分方程（数学分析记忆佛脚下）↗ 主线第三篇：多元微积分 Chapter 8 欧氏空间上的函数与极限 Chapter 9 多元函数微分学 ↗ Chapter 10 重积分 Chapter 11 曲线积分与曲面积分主线第四篇：级数与广义积分 Chapter 12 数项级数 Chapter 13 函数项级数 Chapter 14 广义积分与含参变量积分 Chapter 15 Fourier级数与Fourier积分 Chapter 8 欧氏空间上的函数与极限 8.1 欧氏空间与解析几何（这一节最终放到第六章中）点列的极限 8.2 开集与闭集补集、内点、外点、边界点、孤立点、聚点；聚点三个等价定义：点的任一邻域都有集合中无穷多个点；点的任一邻域都有集合中不同于这个点的点；集合中可以构造出一个点列（无穷多项不为零）收敛于这个点开集、闭集（单点集为闭集）；开集之补为闭，闭集之补为开；开集之并为开集，闭集之交为闭集，开集之有限交为开集，闭集之有限并为闭集 8.3 完备性等价表述矩形套定理. 推广：Cantor 闭区域套定理 BW 定理，有界点列必有收敛子列. 推广：聚点原理：有界无穷点集必有聚点 Cauchy 收敛准则，点列收敛 $\Leftrightarrow\forall\varepsilon>0,\exists N \ \text{s.t.}\ k,l>N$ 时 $|\vec{x_k}-\vec{x_l}|<\varepsilon$ Heine-Borel 定理，紧集等价于有界闭集. 紧集：任意开覆盖必有有限子覆盖的集合 8.4 多元函数的极限与连续多元函数，多元函数在某点的极限，多元函数的连续. 多元初等函数在定义域内连续. 连续的复合还是连续存在极限（全面极限）：不管怎么趋向都有极限且极限相同. 累次极限：先 x 取极限后 y 取极限或者先 y 后 x. 关系：累次极限与全面极限无关，累次极限之间也无关. 如果全面极限存在，累次极限中先取的极限也存在，则累次极限必存在，且等于全面极限. 如果全面极限存在且两个累次极限都存在，则它们都相等函数在连续点上的累次极限与全面极限均存在且相等 8.5 向量值函数向量值函数连续，等价于每一个分函数在这个点都连续 8.6 有界闭集上的连续函数边界点的邻域：邻域与集合相交的部分. 以此定义紧集上的连续. “有界闭集上的连续函数”，以下简称“闭连函数” 连续映射将紧集映射到紧集. 由此推出有界性定理（闭连函数必有界）、最值定理（闭连函数的值域存在最大最小值）. 连通集. 连通有界闭集才是闭区间的推广. 连续映射把连通集映射到连通集（特别地，连续函数将连通紧集集映射到闭区间）. 由此推出介值定理. 一致连续：存在一个与点的选取无关的 $\varepsilon$. Cantor 定理：闭连必一致连 Chapter 9 多元函数微分学分为五个副章节： Section 1: 9.1~9.6 偏导与全微分：偏导，全微分，高阶偏导，高阶微分，向量值函数导数微分，复合函数微分 Section 2: 9.7~9.8 多元中值定理：中值定理，Taylor 公式 Section 3: 9.9~9.10 隐函数：隐函数存在定理，逆映射存在定理 Section 4: 9.11~9.12 切线法平面、法线切平面 Section 5: 9.13~9.14 多元函数极值：无条件极值，条件极值 9.1 偏导偏导的定义，方向导数的定义. 注意方向导数要求除以的方向向量要是单位向量. 方向向量可以表示为 $(\cos\alpha,\cos\beta,\cos\gamma,\cdots)$. 当方向与坐标轴相同时等于偏导，相反时等于偏导的负数. 对多元函数而言，可导即是可偏导. “可导必连续”不成立，原因：偏导只考虑导的那个方向的性质，而连续要所有方向的性质 9.2 全微分定义：$\exists A,B \ \text{s.t.}{}$ 某一点处 $\Delta f=A\Delta x+B\Delta y+o(\sqrt{(\Delta x)^2+(\Delta y)^2})$，则 $f$ 可微，${\rm d}f=A {\rm d}x+B {\rm d}y$ 称为 $f$ 在该点的全微分可微是一个很强的条件：可微 $\Rightarrow$ 可导，$A=f_x(x_0,y_0)$，$B=f_y(x_0,y_0)$ 可微 $\Rightarrow$ 方向导数存在，且对于 $\vec v=(\cos\alpha,\cos\beta,\cdots)$，$\dfrac{\partial f}{\partial\vec v}=f_x(x_0,y_0,\cdots)\cdot\cos\alpha+f_y(x_0,y_0,\cdots)\cdot\cos\beta+\cdots$ 可微 $\Rightarrow$ 连续可导 $\xcancel{\Rightarrow}{}$ 可微，可导都推不出连续了当然推不出可微可导+连续+任一方向导数都存在 $\xcancel{\Rightarrow}{}$ 可微可微唯一充分条件：偏导均连续 $\Rightarrow$ 可微 9.3 高阶偏导两种表示方法：$\dfrac{\partial^2f}{\partial x\partial y}{}$，$f_{xy}{}$. 注意两个的顺序，第一种是先 y 后 x，第二种是先 x 后 y. 混合偏导之间不一定相等. 混合偏导连续 $\Rightarrow$ 混合偏导相等. 若函数有 $n$ 阶连续偏导，导的次数 $\leqslant n$，则混合偏导的顺序不影响结果. 注：反过来则不行，即混合偏导相等 $\xcancel\Rightarrow$ 混合偏导连续 Leibniz 二项展开仍然可以用 9.4 高阶微分 ${\rm d}f=\dfrac{\partial f}{\partial x}{\rm d}x+\dfrac{\partial f}{\partial y}{\rm d}y$，若 $f_x$、$f_y$ 可微、$f_{xy}{}$、$f_{yx}{}$ 连续，则可以再微分，${\rm d}^2f=({\rm d}x\dfrac{\partial}{\partial x}+{\rm d}y\dfrac{\partial}{\partial y})^2f$. 类推：${\rm d}^kf=({\rm d}x\dfrac{\partial}{\partial x}+{\rm d}y\dfrac{\partial}{\partial y})^kf$. 对 $n$ 元函数：${\rm d}^kf=({\rm d}x_1\dfrac{\partial}{\partial x_1}+{\rm d}x_2\dfrac{\partial}{\partial x_2}+\cdots+{\rm d}x_n\dfrac{\partial}{\partial x_n})^kf$. 9.5 向量值函数的导数与微分向量值函数：许多数量值函数的组合. 导数 $\vec{f}'(\vec{x_0})$ 为 Jacobi 矩阵，同一行为同一分函数，同一列为同一自变量. 若存在矩阵 $A \ \text{s.t.}\ \Delta\vec f=\vec f(\vec{x_0}+\Delta \vec{x})-f(\vec{x_0})=A\Delta \vec{x}+o(\Delta\vec{ x})$ 则称 $f$ 在 $\vec{x_0}{}$ 可微，${\rm d}\vec f=A {\rm d}\vec{x}{}$. 若可微则 $A=\vec{f}'(\vec{x_0})$ 可微等价于每个分函数都可微 9.6 复合函数微分链式法则：外层导一下 $\times$ 内层导一下，中间的乘号是矩阵相乘. $z=f(u,v),\vec g=\left{\begin{matrix}u=u(x,y)\v=v(x,y)\end{matrix}\right.$，则 $\dfrac{\partial z}{\partial x}=\dfrac{\partial f}{\partial u} \dfrac{\partial u}{\partial x}+\dfrac{\partial f}{\partial v} \dfrac{\partial v}{\partial x}{}$，$\dfrac{\partial z}{\partial y}=\dfrac{\partial f}{\partial u} \dfrac{\partial u}{\partial y}+\dfrac{\partial f}{\partial v}\dfrac{\partial v}{\partial y}{}$ 链式法则成立条件：外层函数可微一阶全微分有形式不变性：函数自变量不管是否是中间变量，其微分的公式是一样的. 高阶微分不具有形式不变性，除非中间变量是线性变量 9.7 中值定理 $f(x_0+\Delta x,y_0+\Delta y)-f(x_0,y_0)=f_x(x_0+\theta\Delta x,y_0+\theta\Delta y)\Delta x+f_y(x_0+\theta\Delta x,y_0+\theta\Delta y)\Delta y$，$0<\theta<1$，四个 $\theta$ 是一样的. 由这个式子可知，两个点的连线必须在集合内. 这里引出凸区域和星形域. 推论：函数在区域上偏导恒为零，则函数为常函数 9.8 Taylor 公式 $$ \begin{aligned} f(x_0+\Delta x,y_0+\Delta y)=f&(x_0,y_0)\ +&(\Delta{x}\dfrac { {\rm d} } { {\rm d}x}+\Delta{y}\dfrac { {\rm d} } { {\rm d}y})f(x_0,y_0)\ +&\dfrac{1}{2!}(\Delta{x}\dfrac{ {\rm d} } { {\rm d}x}+\Delta{y}\dfrac{ {\rm d} } { {\rm d}y})^2f(x_0,y_0)\ +&\cdots\ +&\dfrac{1}{k!}(\Delta{x}\dfrac{ {\rm d} } { {\rm d}x}+\Delta{y}\dfrac{ {\rm d} } { {\rm d}y})^kf(x_0,y_0)\ +&\dfrac{1}{(k+1)!}(\Delta{x}\dfrac{ {\rm d} } { {\rm d}x}+\Delta{y}\dfrac{ {\rm d} } { {\rm d}y})^{k+1}f(x_0+\theta\Delta x,y_0+\theta\Delta y) \end{aligned} $$ 经常展开到两次： $$ \begin{aligned} f(x_0+\Delta x,y_0+\Delta y)=f&(x_0,y_0)\ +&f_x(x_0,y_0)\Delta x+f_y(x_0,y_0)\Delta y\ +&f_{xx}(x,y)(\Delta x)^2+2f_{xy}(x,y)(\Delta x\Delta y)+f_{yy}(x,y)(\Delta y)^2 \end{aligned} $$ 其中 $(x,y)=(x_0+\theta\Delta x,y_0+\theta\Delta y)$ 注意，用 Taylor 算高阶导数，除了要乘以 $k!$，还要除以 $C_k^m$（二项式系数）!!! 9.9 隐函数存在定理若原方程（组）有零点各方程偏导连续对因变量求导不为零（Jacobi 行列式不为零）则存在隐函数隐函数连续隐函数可导，$\dfrac{\partial 因}{\partial 自}=-\dfrac{把分母中的因换成自}{第三条件的式子}{}$ 例如 $F(x_1,\cdots,x_n,y)=0$，若 $\dfrac{\partial F}{\partial y}\neq0$，则 $\dfrac{\partial y}{\partial x_i}=-\dfrac{\dfrac{\partial F}{\partial x_i} }{\dfrac{\partial F}{\partial y} }{}$ 例如 $F_j(x_1,\cdots,x_n,y_1,\cdots,y_m)=0$，若 $\dfrac{\partial(F_1,\cdots,F_j,\cdots,F_m)}{\partial(y_1,\cdots,y_j,\cdots,y_m)}\neq0$，则 $\dfrac{\partial y_j}{\partial x_i}=-\dfrac{\dfrac{\partial(F_1,\cdots,F_j,\cdots,F_m)}{\partial(y_1,\cdots,x_i,\cdots,y_m)} }{\dfrac{\partial(F_1,\cdots,F_j,\cdots,F_m)}{\partial(y_1,\cdots,y_j,\cdots,y_m)} }{}$ 9.10 逆映射存在定理 $\vec f=\left{\begin{matrix}u=u(x,y)\v=v(x,y)\end{matrix}\right.$，把 $\vec f$ 作为隐函数塞进方程组 $\left{\begin{matrix}F(x,y,u,v)=u-u(x,y)=0\G(x,y,u,v)=v-v(x,y)=0\end{matrix}\right.$，当 $\vec f$ 行列式不为零时 $\dfrac{\partial(F,G)}{\partial(x,y)}\neq0$，唯一确定 $\vec g=\left{\begin{matrix}x=x(u,v)\y=y(u,v)\end{matrix}\right.$，就是 $\vec f$ 的逆映射，$\vec g$ 有连续导数，导数矩阵是 $\vec f$ 导数矩阵的逆矩阵 9.11 曲线的切线与法平面曲线 $\left{\begin{matrix}x=x(t)\y=y(t)\z=z(t)\end{matrix}\right.$，$x_0=x(t_0)$，类推. 曲线在 $P_0(x_0,y_0,z_0)$ 处的切向量：$\vec\tau=(x'(t_0),y'(t_0),z'(t_0))$ 曲线 $\left{\begin{matrix}F(x,y,z)=0\G(x,y,z)=0\end{matrix}\right.$. 曲线在 $P_0(x_0,y_0,z_0)$ 处的切向量：$\vec\tau=\left(\dfrac{\partial(F,G)}{\partial(y,z)},\dfrac{\partial(F,G)}{\partial(z,x)},\dfrac{\partial(F,G)}{\partial(x,y)}\right)$ 在 $P_0(x_0,y_0,z_0)$ 处的切向量 $\vec\tau=(a,b,c)$，则切线 $\dfrac{x-x_0}{a}=\dfrac{y-y_0}{b}=\dfrac{z-z_0}{c}{}$，若分母是 $0$ 则分子恒为 $0$ 且这一项剥出连等式. 法平面 $(x-x_0)a+(y-y_0)b+(z-z_0)c=0$ 9.12 曲面的法线与切平面曲面 $F(x,y,z)=0$. 曲面在 $P_0(x_0,y_0,z_0)$ 处的法向量： $\vec n=(F_x,F_y,F_z)\big|_{(x_0,y_0,z_0)}{}$ 曲面 $z=f(x,y)$，改写为 $f(x,y)-z=0$. 曲面在 $P_0(x_0,y_0,z_0)$ 处的法向量： $\vec n=(f_x,f_y,-1)\big|_{(x_0,y_0)}{}$ 曲面 $\left{\begin{matrix}x=x(u,v)\y=y(u,v)\z=z(u,v)\end{matrix}\right.$. 曲面在 $P_0(x_0,y_0,z_0)$ 处的法向量： $\vec n=\left(\dfrac{\partial(y,z)}{\partial(u,v)},\dfrac{\partial(z,x)}{\partial(u,v)},\dfrac{\partial(x,y)}{\partial(u,v)}\right)\big|_{(u_0,v_0)}{}$ 在 $P_0(x_0,y_0,z_0)$ 处的法向量 $\vec n=(a,b,c)$，则法线 $\dfrac{x-x_0}{a}=\dfrac{y-y_0}{b}=\dfrac{z-z_0}{c}{}$，若分母是 $0$ 则分子恒为 $0$ 且这一项剥出连等式. 切平面 $(x-x_0)a+(y-y_0)b+(z-z_0)c=0$ 9.13 无条件极值极值点必要条件：若可偏导则偏导必为零，对每个自变量偏导都是零极值判定定理：对某一点，泰展到二次，考虑二次项系数构成的二次型矩阵的定性，正定则为该点极小值点，负定则该点为极大值点，不定则不是极值点. 注：正定：任意阶主子式行列式为正；负定：奇数阶主子式行列式为负，偶数阶主子式行列式为正. 二元情形具体化为：令 $A=f_{xx}(x_0,y_0)$，$B=f_{xy}(x_0,y_0)$，$C=f_{yy}(x_0,y_0)$ $AC-B^2>0$，$A>0$，则正定，为极小值点 $AC-B^2>0$，$A<0$，则负定，为极大值点 $AC-B^2<0$，不是极值点 $AC-B^2=0$，情况不定 9.14 条件极值条件极值点必要条件：Lagrange 乘数法，即将条件塞进同一个函数（Lagrange 函数 $L(x_1,\cdots,x_n,\lambda_1,\cdots,\lambda_m)$）求这个函数的无条件极值条件极值判定定理：对某一点，把 Lagrange 函数泰展到二次，考虑只含 $x$ 的二次项系数构成的二次型矩阵的定性（因为作为限制条件，$\lambda$ 取值是固定的，在泰展中取值只能是本身，不存在变数），正定则为该点极小值点，负定则该点为极大值点，不定则情况不定（限制条件内可能恒正或恒负）. Chapter 10 重积分 10.1 重积分的概念与性质平面点集的面积，二重积分的概念，多重积分的概念性质：闭连必可积（闭连：有界闭集上的连续函数）可积必有界可积之线性组合也可积，积分值也线性组合可积相乘也可积，但积分值无关可积则绝对可积，$|\int f {\rm d}V|\leqslant\int|f|{\rm d}V$ 区域可加性保序性（$f\leqslant g\Rightarrow \int f {\rm d}V\leqslant\int g {\rm d}V$）介值性（$\inf f\cdot V\leqslant\int f {\rm d}V\leqslant \sup f\cdot V$）典中典：$f$ 闭连，非负，积分值为 $0$，则 $f\equiv0$（证明：假设不恒为零，则存在保号区域，其上积分大于零，又非负故整个积分区域上积分值必大于零，矛盾） 10.2 累次积分把重积分拆成多个定积分计算. 前提：函数可重积分、对某一个变量可定积分. 交换次序：先化成重积分，找出积分区域的表达式，再拆成累次 10.3 重积分换元法则 ${\displaystyle\iint}_{T(D)}f(x,y){\rm d}x {\rm d}y={\displaystyle\iint}_Df(x(u,v),y(u,v))\left|\dfrac{\partial(x,y)}{\partial(u,v)}\right|{\rm d}u {\rm d}v$，其中 $T:\left{\begin{matrix}x=x(u,v)\y=y(u,v)\end{matrix}\right.$. $\left|\dfrac{\partial(x,y)}{\partial(u,v)}\right|$ 即为 $T$ 的 Jacobi 行列式. Jacobi 行列式是变换前后面积微元变化的倍数，即 ${\rm d}u {\rm d}v$ 作变换 $T$ 之后 ${\rm d}x {\rm d}y=\left|\dfrac{\partial(x,y)}{\partial(u,v)}\right|{\rm d}u {\rm d}v$ 有时候已知的是 $T^{-1}{}$ 的 Jacobi 行列式，这时候不用反解，$\dfrac{\partial(x,y)}{\partial(u,v)}\cdot\dfrac{\partial(u,v)}{\partial(x,y)}=1$，即 $T$ 的 Jacobi 行列式就是 $T^{-1}{}$ Jacobi 行列式的倒数. （二重）极坐标变换 $\left{\begin{matrix}x=r\cos\theta\y=r\sin\theta\end{matrix}\right.$，Jacobi $=r$ （二重）广义极坐标变换 $\left{\begin{matrix}x=ar\cos\theta\y=br\sin\theta\end{matrix}\right.$，Jacobi $=abr$ （三重）柱坐标变换 $\left{\begin{aligned}x&=r\cos\theta\y&=r\sin\theta\z&=z\end{aligned}\right.$，Jacobi $=r$ （三重）球坐标变换 $\left{\begin{aligned}x&=r\sin\varphi\cos\theta\y&=r\sin\varphi\sin\theta\z&=r\cos\varphi\end{aligned}\right.$，Jacobi $=r^2\sin\varphi$. 其中 $\varphi$ 是向径与 $+z$ 的夹角，$0\leqslant\varphi\leqslant\pi$，$0\leqslant\theta<2\pi$. $(\frac12\pi-\varphi)$ 才是仰角（$n$ 重）球坐标变换 $\left{\begin{aligned}x_1&=r\cos\varphi_1\x_2&=r\ {\color{orange}\sin\varphi_1}\cos\varphi_2\x_3&=r\ {\color{orange}\sin\varphi_1}\ {\color{orange}\sin\varphi_2}\cos\varphi_3\x_4&=r\ {\color{orange}\sin\varphi_1}\ {\color{orange}\sin\varphi_2}\ {\color{orange}\sin\varphi_3}\cos\varphi_4\\vdots\x_{n-1}&=r\ {\color{orange}\sin\varphi_1}\ {\color{orange}\sin\varphi_2}\ {\color{orange}\sin\varphi_3}\cdots\ {\color{orange}\sin\varphi_{n-2} }\cos\varphi_{n-1}\x_n&=r\ {\color{orange}\sin\varphi_1}\ {\color{orange}\sin\varphi_2}\ {\color{orange}\sin\varphi_3}\cdots\ {\color{orange}\sin\varphi_{n-2} }\ {\color{orange}\sin\varphi_{n-1} }\end{aligned}\right.$ Jacobi $=r^{n-1}\sin^{n-2}\varphi_1\sin^{n-3}\varphi_2\cdots\sin\varphi_{n-2}{}$. 把三元球坐标变换的 $z$ 提前，就和这个形式一样了. 各个角度的理解：要把 $n$ 维空间想象成一个平面+ $(n-2)$ 个竖直轴. $\varphi_{n-1}{}$ 是平面指向角，相当于以前的 $\theta\in[0,2\pi)$，这个角是不出现在 Jacobi 里头的. 其他就是相对于各个竖直轴正向的夹角 $\in [0,\pi]$ Chapter 11 曲线积分与曲面积分 11.1 & 11.3 曲线积分对于曲线 $\left{\begin{matrix}x=x(t)\y=y(t)\z=z(t)\end{matrix}\right.$，记字母头上一点为对 $t$ 求导，则由弧长公式 $\overset{\frown}{s}={\displaystyle\int}_a^b\sqrt{(\dot x)^2+(\dot y)^2+(\dot z)^2}\rm{d}t$ 得到：第一类曲线积分 ${\rm d}s=\sqrt{(\dot x)^2+(\dot y)^2+(\dot z)^2}\rm{d}t$ 第二类曲线积分 ${\rm d}\vec s=(\dot x,\dot y,\dot z){\rm d}t$ 11.2 & 11.4 曲面积分对于曲面 $\left{\begin{matrix}x=x(u,v)\y=y(u,v)\z=z(u,v)\end{matrix}\right.$：第一类曲面积分 ${\rm d}S=|\vec{r_u}\times\vec{r_v}|{\rm d}u{\rm d}v$ ${\rm d}S=\sqrt{EG-F^2}{\rm d}u {\rm d}v$，其中 $E=\vec{r_u}\cdot\vec{r_u}{}$，$G=\vec{r_v}\cdot\vec{r_v}{}$，$F=\vec{r_u}\cdot\vec{r_v}{}$ ${\rm d}S=\sqrt{J_1^2+J_2^2+J_3^2}{\rm d}u {\rm d}v$，其中 $(J_1,J_2,J_3)=\left(\dfrac{\partial(y,z)}{\partial(u,v)},\dfrac{\partial(z,x)}{\partial(u,v)},\dfrac{\partial(x,y)}{\partial(u,v)}\right)$，与 $\vec n$ 的方向一致. 第二类曲面积分 ${\rm d}\vec{S}=({\rm d}y{\rm d}z,{\rm d}z {\rm d}x,{\rm d}x{\rm d}y)$ ${\rm d}\vec{S}=\dfrac{\vec n}{|\vec n|}{\rm d}S=(\cos\alpha,\cos\beta,\cos\gamma){\rm d}S$，代入上面合适的 ${\rm d}S$ 计算公式即可. 特别地，选择第三个公式时 ${\rm d}\vec S=\left(\dfrac{\partial(y,z)}{\partial(u,v)},\dfrac{\partial(z,x)}{\partial(u,v)},\dfrac{\partial(x,y)}{\partial(u,v)}\right){\rm d}u{\rm d}v$ 计算时，先用第一条把 ${\rm d}\vec S$ 分出来，写成一个向量点乘形式（$(P,Q,R)\cdot{\rm d}\vec S$），再用第二条把 ${\rm d}\vec S$ 变成向量数乘以 ${\rm d}S$，化成第一类曲面积分. 对于曲面 $z=z(x,y)$，$\vec r=(x,y,z(z,y))$，取自变量为 $x$ 和 $y$： $\vec{r_x}=(1,0,z_x)$，$\vec{r_y}=(0,1,z_y)$，$\sqrt{EG-F^2}=\sqrt{1+z_x^2+z_y^2}{}$，$(J_1,J_2,J_3)=(-z_x,-z_y,1)$. 11.5 第二类积分与重积分的关系诱导定向：“左边” Green 公式：${\displaystyle\int}_{\partial D} P {\rm d}x+Q {\rm d}y={\displaystyle\iint}_D(Q_x-P_y){\rm d}{x}{\rm d}{y}{}$. 要求 $D$ 为单连通区域，若有有限个洞可以割开算 Green 定理：下列四个命题等价对 $D$ 内任一闭曲线 $L$，${\displaystyle\oint}_LP{\rm d}x+Q {\rm d}y=0$ ${\displaystyle\int}_LP{\rm d}x+Q {\rm d}y$ 与路径无关，只与起点终点有关存在 $D$ 上可微函数 $U(x,y)\ \text{s.t.}\ {\rm d}U=P {\rm d}x+Q {\rm d}y$，即 1-形式 $P {\rm d}x+Q {\rm d}y$ 存在原函数 $D$ 上 $Q_x\equiv P_y$ 循环常数：一条曲线包围了一个瑕点，包围区域内所有点除了瑕点都满足 $Q_x\equiv P_y$. 这时候找一个逆时针闭合曲线围住瑕点，计算它上面的积分，其值称为循环常数. 则曲线上的积分值 $=$ 环绕瑕点的圈数（带正负，逆时针为正，顺时针为负）$\times$ 循环常数 Gauss 公式：${\displaystyle\iint} {\partial\Omega}P{\rm d}y{\rm d}z+Q{\rm d}z{\rm d}x+R{\rm d}x{\rm d}y={\displaystyle\iiint} \Omega(P_x+Q_y+R_z){\rm d}x{\rm d}y{\rm d}z$ 要求 $\Omega$ 为单连通区域，若有有限个洞可以割开算. Stokes 公式：${\displaystyle\int} {\partial\Sigma}P{\rm d}x+Q{\rm d}y+R{\rm d}z={\displaystyle\iint} {\Sigma}(R_y-Q_z){\rm d}y{\rm d}z+(P_z-R_x){\rm d}z{\rm d}x+(Q_x-P_y){\rm d}x{\rm d}y$ 行列式形式：${\displaystyle\int} {\partial\Sigma}P{\rm d}x+Q{\rm d}y+R{\rm d}z={\displaystyle\iint} {\Sigma}\begin{vmatrix}{\rm d}y{\rm d}z & {\rm d}z{\rm d}x & {\rm d}x{\rm d}y\\frac{\partial}{\partial x}&\frac{\partial}{\partial y}&\frac{\partial}{\partial z}\P&Q&R\end{vmatrix}={\displaystyle\iint}_{\Sigma}\begin{vmatrix}\cos\alpha&\cos\beta&\cos\gamma\\frac{\partial}{\partial x}&\frac{\partial}{\partial y}&\frac{\partial}{\partial z}\P&Q&R\end{vmatrix}{\rm d}S$ 11.6 场论初步这段并不在考点中，是后来学了大物之后才补的。懒得打成文档了，直接放图 Chapter 12 数项级数 12.1 级数收敛级数收敛定义；几何级数 $\sum\limits x^n$，$|x|\geqslant1$ 时发散，$|x|<1$ 时收敛，$\sum\limits_{n=1}^\infty x^n=\dfrac{x}{1-x}{}$；p-级数 $\sum\limits \dfrac{1}{n^p}{}$，$p>1$ 时收敛，$p\leqslant1$ 时发散级数收敛 $\Rightarrow$ 通项趋于零，用于证明级数发散收敛级数线性组合也收敛，收敛值也是线性组合结合律，收敛 $\Rightarrow$ 加括号收敛且和不变，加括号发散 $\Rightarrow$ 发散积化和差：$\forall x$，$\sum\limits\sin nx$ 有界. $\sum\limits\cos nx$，$x\neq 2k\pi$ 时有界，$x=2k\pi$ 时发散. 12.2 正项级数敛散性判断部分和判别法：正项级数部分和有界则收敛，无界则发散比较判别法：正项级数，通项 $a_n\leqslant Ab_n$，则 $\sum\limits b_n$ 敛则 $\sum\limits a_n$ 敛，$\sum\limits a_n$ 散则 $\sum\limits b_n$ 散. 比较判别法极限形式：$\sum\limits a_n$ 与 $\sum\limits b_n$ 为正项级数. 记 $\lim\limits_{n\to\infty}\dfrac{a_n}{b_n}=l$（未知比已知之极限为 $l$），则 $01$ 时级数发散 $r=1$ 时不定 d'Alembert 判别法：正项级数，$\lim\limits_{n\to\infty}\dfrac{a_{n+1} }{a_n}=r$，则 $r<1$ 时级数收敛 $r>1$ 时级数发散 $r=1$ 时不定 Raabe 判别法：正项级数，$\lim\limits_{n\to\infty}n(\dfrac{a_n}{a_{n+1} }-1)=r$，则 $r>1$ 时级数收敛 $r<1$ 时级数发散 $r=1$ 时不定积分判别法：$f(x)$ 在 $[a,+\infty)$ 非负单减，任意区间 $[a,A]$ 可积，则 $\sum\limits_{n=N}^\infty f(n)$ 与 ${\displaystyle\int}_a^{+\infty}f(x){\rm d}x$ 同敛散 12.3 任意项级数敛散性判断 Cauchy 收敛原理：部分和收敛的 Cauchy 收敛原理 Leibniz 判别法：一正一负，绝对值单减趋零 Abel 变换：$\sum\limits_{n=1}^p a_nb_n=B_pa_p-\sum\limits_{n=1}^{p-1}B_n(a_{n+1}-a_n)$，几何直观： Abel 引理：${a_n}{}$ 单调，${B_n}{}$ 有界（$|B_n|\leqslant M$），则 $|\sum\limits_1^pa_kb_k|\leqslant M(|a_1|+2|a_p|)$ A-D 判别法 Abel 判别法：单调有界 $\times$ 部分和收敛 Dirichlet 判别法：单调趋零 $\times$ 部分和有界 12.4 绝对收敛与条件收敛绝对收敛 $\Rightarrow$ 收敛绝对发散 $\xcancel\Rightarrow$ 发散，但 Cauchy 判出来绝对发散或 d'Alembert 判出来绝对发散的，原级数必发散正负部拆分：$x_n^+=\left{\begin{matrix}x_n,\ x_n>0\0, \ x_n\leqslant0\end{matrix}\right.$，$x_n^-=\left{\begin{matrix}-x_n,\ x_n<0\0, \ x_n\geqslant0\end{matrix}\right.$. 有两个等式：$|x_n|=x_n^++x_n^-$，$x_n=x_n^+-x_n^-$ 重排级数：对绝对收敛的级数，任一重排级数都绝对收敛，收敛值不变对条件收敛的级数，存在重排级数收敛于任意一个给定实数，或者发散到无穷（Riemann 定理）级数相乘两个收敛级数 $\sum\limits a_n=A$ 和 $\sum\limits b_n=B$ 按正方形排列的乘积，收敛于 $AB$ 两个绝对收敛级数 $\sum\limits a_n=A$ 和 $\sum\limits b_n=B$ 相乘，不论怎么排序都收敛且收敛于 $AB$ Cauchy 乘积 $c_n=\sum\limits_{i+j=n+1}a_ib_j$，若 $\sum\limits a_n$、$\sum\limits b_n$ 、$\sum\limits c_n$ 都收敛，那么 $\sum\limits c_n=AB$（这个的证明在 13.5） 12.5 无穷乘积代换，$p_n=1+a_n$ $\prod\limits p_n$ 与 $\sum\limits\ln p_n$ 同敛散 $a_n$ 不变号时 $\prod\limits(1+a_n)$ 与 $\sum\limits a_n$ 同敛散. 等价形式：$p_n$ 不跨过 1 的分界线时 $\prod\limits p_n$ 与 $\sum\limits(p_n-1)$ 同敛散. $\sum\limits a_n$ 收敛，则 $\sum\limits a_n^2$ 与 $\prod\limits(1+a_n)$ 同敛散 $\prod\limits p_n$ 绝对收敛，即 $\sum\limits\ln p_n$ 绝对收敛. 绝对收敛的无穷乘积可以换序. $\prod\limits(1+a_n)$ 绝对收敛、$\prod\limits(1+|a_n|)$ 收敛、$\sum\limits|a_n|$ 收敛，三者等价 Wallis 公式：$\dfrac {2}{\pi}=\dfrac{1\cdot1\cdot3\cdot3\cdot5\cdot5\cdots}{2\cdot2\cdot4\cdot4\cdot6\cdot6\cdots}{}$ Viète 公式：$\dfrac{2}{\pi}=\cos\dfrac{\pi}{4}\cdot\cos\dfrac{\pi}{8}\cdot\cos\dfrac{\pi}{16}\cdot\cdots$ Stirling 公式：$n!\sim\sqrt{2\pi n}\cdot(\dfrac ne)^n\ ,n\to+\infty$. 这使得 $n!$ 有了一个含 $n$ 次方的等价逼近. 极限形式：$\lim\limits_{n\to\infty}\dfrac{n!e^n}{n^{n+\frac12} }=\sqrt{2\pi}{}$ Chapter 13 函数项级数 13.1 点态收敛点态收敛，收敛域，部分和函数，和函数，对偶性 13.2 一致收敛一致收敛，内闭一致收敛一致收敛 $\Leftrightarrow$ 部分和函数与和函数的距离趋于零，距离即 $\sup\limits_{x\in D}|f(x)-g(x)|$ 13.3 一致收敛判别法想判断不一致收敛：证明 sup>0 且可被达到，这样 sup 不趋于零，不一致收敛 Cauchy 收敛原理：部分和函数收敛的 Cauchy 收敛原理 Weierstrass 判别法/ M 判别法：若 $\forall x\in D$，成立 $|u_n(x)|\leqslant a_n$ 且 $\sum\limits a_n$ 收敛，则 $\sum\limits u_n(x)$ 在 $D$ 上一致收敛，而且绝对一致收敛 A-D 判别法 Abel 判别法：单调一致有界 $\times$ 部分和函数一致收敛 Dirichlet 判别法：单调一致趋零 $\times$ 部分和函数一致有界注：其中“单调”指的是对任意固定的 $x_0$ ，数列 ${a_n(x_0)}{}$ 随 $n$ 单调；“一致有界”指的是对一切 $n$，函数值域有一个一致的界；“一致趋零”指的是随着 $n\to 0$，函数通项趋于 $f(x)\equiv 0$. 注：$\sum\limits\cos kx$、$\sum\limits\sin kx$ 在 $(0,2\pi)$ 内闭一致有界. 13.4 一致收敛的性质一致收敛的函数项级数，可逐项求极限、可逐项积分. 逐项求导定理：若① $u_n(x)$ 导数连续、② $\sum\limits u_n(x)$ 点态收敛、③ $\sum\limits u_n'(x)$ 一致收敛，则可逐项求导. 条件③实际上可以推得 $\sum\limits u_n(x)$ 一致收敛可逐项推不出一致收敛. Dini 定理：若①闭区间上 $u_n(x)$ 连续、② $\sum\limits u_n(x)$ 点态收敛、③部分和函数对任意固定的 $x_0$ 随 $n$ 单调（对任意固定的 $x_0$，$\sum\limits u_n(x_0)$ 是定号级数，要么正项要么负项），则 $\sum\limits u_n(x)$ 一致收敛. 13.5 幂级数及其性质形式：$\sum\limits a_n(x-x_0)^n$ 收敛域：是以 $x_0$ 为中心的区间（Abel 第一定理），端点收敛情况不一定，需要单独判断 . 区间长度的一半称为收敛半径，收敛半径 $R=+\infty$ 表示对一切 $x$ 幂级数都收敛，收敛半径 $R=0$ 表示只有 $x_0$ 点处幂级数收敛. 收敛半径计算公式：$R=\dfrac1A$，$A=0$ 时 $R=+\infty$，$A=+\infty$ 时 $R=0$ Cauchy-Hadamard 公式：$A=\limsup\limits_{n\to\infty}\sqrt[n]{|a_n|}{}$ d'Alembert 公式：$A=\lim\limits_{n\to\infty}\left|\dfrac{a_{n+1} }{a_n}\right|$ 幂级数在收敛域的内闭区间上一致收敛（Abel 第二定理）. 据此推出：幂级数的和函数在收敛域上连续，端点开则开连，闭则闭连. 幂级数在收敛域的内闭区间上可逐项积分，积分后收敛半径不变. 注意积完之后求和从哪里开始 . 一般可以由连续性将这一性质推广到开区间上. 幂级数在收敛域内可逐项求导，求导后收敛半径不变. 注意导完之后求和从哪里开始 . 注意闭端点不是收敛域的内部 . 13.6 函数的幂级数展开说一个函数可以展开成级数，就是说级数一致收敛于这个函数，函数和级数之间可以画等号. 逻辑：（之后三角级数展开也是这个逻辑）假设某个函数可以被展开成幂级数，发现幂级数被函数唯一确定，$a_n=\dfrac{f^{(n)}(x_0)}{n!}{}$ 据此，任意给一个函数，都按上面的规则构造出一个级数，称为这个函数的 Taylor 级数. 这个 Taylor 级数收不收敛、收敛的话收不收敛到 $f(x)$、是不是一致收敛，这都是后话. 所以这里函数和级数之间只能画波浪号而不能画等号. 可以证明，当 $f$ 在 $x_0$ 处任意阶可导时，余项一致趋零，$f$ 的 Taylor 级数一致收敛于 $f$，就是说 $f$ 可以展开成幂级数，这时候 Taylor 级数就可以叫 Taylor 展开式了. 当 $x_0=0$ 时也称为 Maclaurin 级数 Taylor 级数的余项：Peano、Lagrange，补充一个积分形式余项，$r_n(x)=\dfrac{1}{n!}{\displaystyle\int}_{x_0}^xf^{(n+1)}(t)(x-t)^n{\rm d}t$. 对于积分形式余项，运用积分第二中值定理（见 Chapter 14）把 $f^{(n+1)}(t)$ 移出积分，得 $r_n(x)=\dfrac{1}{n!}f^{(n+1)}(\xi){\displaystyle\int}_{x_0}^x(x-t)^n{\rm d}t=\dfrac{1}{(n+1)!}f^{(n+1)}(\xi)(x-x_0)^{n+1}{}$，即 Lagrange 余项. 把 $f^{(n+1)}(t)(x-t)^n$ 移出积分，得 $r_n(x)=\dfrac{1}{n!}f^{(n+1)}(\xi)(x-\xi)^n(x-x_0)$，令 $\xi=x_0+\theta(x-x_0)$ 得 $r_n(x)=\dfrac{1}{n!}f^{(n+1)}(\xi)(1-\theta)^n(x-x_0)^{n+1}{}$，称为 Cauchy 余项. 初等函数 Taylor 表（在 $x_0=0$ 处展开，注意求和从哪里开始）. $(1+x)^\alpha$ 收敛域，$\alpha>0$ 时两端闭 $\alpha< -1$ 时两端开，$-1<\alpha<0$ 时左开右闭） | 初等函数 | Taylor 展开式 | 收敛域 | | :--------------: | :-----------------------------------------------------------------------: | :-----------: | | $\dfrac{1}{1+x}{}$ | $\sum\limits_{n=0}^\infty (-1)^nx^n$ | $(-1,1)$ | | $e^x$ | $\sum\limits_{n=0}^\infty \dfrac{x^n}{n!}{}$ | $\mathbb R$ | | $\sin x$ | $\sum\limits_{n=0}^\infty \dfrac{(-1)^{n} }{(2n+1)!}x^{2n+1}{}$ | $\mathbb R$ | | $\cos x$ | $\sum\limits_{n=0}^\infty \dfrac{(-1)^{n} }{(2n)!}x^{2n}{}$ | $\mathbb R$ | | $\arctan x$ | $\sum\limits_{n=0}^\infty \dfrac{(-1)^{n} }{2n+1}x^{2n+1}{}$ | $[-1,1]$ | | $\ln(1+x)$ | $\sum\limits_{n=1}^\infty\dfrac{(-1)^{n+1} }{n}x^n$ | $(-1,1]$ | | $(1+x)^\alpha$ | $\sum\limits_{n=0}^\infty\begin{pmatrix}n\\alpha\end{pmatrix}x^n$ | $(-1,1)$，开闭见上 | | $\arcsin x$ | $\sum\limits_{n=1}^\infty\dfrac{(2n-1)!!}{(2n)!!}\dfrac{x^{2n+1} }{2n+1}{}$ | $[-1,1]$ | 求 Taylor 展开式的思路思路一，对已知的展开式求导. 例如计算 $\dfrac{1}{x^2}{}$ 在 $x_0=1$ 的泰展，$\dfrac1x=\dfrac{1}{1+(x-1)}=\sum\limits_{n=0}^\infty(-1)^n(x-1)^n$，逐项求导即可思路二，线性拆分. 例如计算 $\dfrac{1}{3+5x-2x^2}{}$ 在 $x_0=0$ 的泰展，原式 $=\dfrac17(\dfrac{1}{3-x}+\dfrac{2}{1+2x})$，两个都有现成的公式思路三，运用 Cauchy 乘积对于乘法，合并次数相同的项对于除法，设 $\dfrac{f(x)}{g(x)}=\sum\limits c_n(x-x_0)^n$，得 $\sum\limits a_n(x-x_0)^n=(\sum\limits b_n(x-x_0)^n)(\sum\limits c_n(x-x_0)^n)$，待定系数解 $c_n$ 思路四，整体代入. 例如计算 $\ln\dfrac{\sin x}{x}{}$ 在 $x_0=0$ 的泰展，$\dfrac{\sin x}{x}=1-(\dfrac16x^2-\dfrac{1}{120}x^4+\cdots)$，令括号里面为 $u$，则 $\ln\dfrac{\sin x}{x}=\ln(1-u)=-(u-\dfrac12u^2+\dfrac13u^3-\cdots)$ Chapter 14 广义积分（含参变量积分不考） 14.1 & 14.3 无穷积分/瑕积分瑕点：无穷远点/函数值为无穷大的点. 把被积区间划分成若干只含一个或不含瑕点的部分，每段单独看. 对于不含瑕点的，直接积分即可对于无穷远瑕点，若 $\lim\limits_{A\to\infty}{\displaystyle\int}_a^Af(x){\rm d}x$ 存在则收敛. p-积分 ${\displaystyle\int}_1^{+\infty}\dfrac{1}{x^p}{\rm d}x$，$p>1$ 收敛，$p\leqslant1$ 发散. 对于无穷大瑕点，若 $\lim\limits_{\eta\to0^+}{\displaystyle\int}_{a+\eta}^bf(x){\rm d}x$ 存在则收敛. p-瑕积分 ${\displaystyle\int}_a^b\dfrac{1}{(x-a)^p}{\rm d}x$，$00,\exists N \ \text{s.t.}\ A,A'>N$ 时 $\left|{\displaystyle\int}_{A}^{A'}f(x){\rm d}x\right|<\varepsilon$ 比较判别法，要求函数非负. 结论与级数的比较判别法相同. 也有极限形式，是让 $x$ 趋向瑕点（正无穷或负无穷） Cauchy 判别法，本质是与 p-积分比较，不如直接用比较判别法级数判别法（级数的积分判别法逆用） A-D 判别法积分第二中值定理：单调的提前，代入端点，代哪端积分靠哪侧. $f$、$g$ 在 $[a,b]$ 可积，$f$ 在 $[a,b]$ 单调，则 $\exists\xi\in[a,b] \ \text{s.t.}\ {\displaystyle\int}_a^bf(x)g(x){\rm d}x=f(a){\displaystyle\int} a^\xi g(x){\rm d}x+f(b){\displaystyle\int} \xi^bg(x){\rm d}x$ Abel 判别法：单调有界（这回是关于 $x$ 单调，注意与函数项级数区分）$\times$ 无穷积分收敛 Dirichlet 判别法：单调趋零 $\times$ 无穷积分有界（指任给积分上界，积分值有界）绝对收敛必收敛，积分绝对值 $\leqslant$ 绝对值积分. 同样有绝对可积和条件可积 14.4 瑕积分敛散性判断 Cauchy 收敛准则（假设瑕点是区间下界）：$\forall\varepsilon>0,\exists\delta \ \text{s.t.}\ 0<\eta<\eta'<\delta$ 时 $\left|{\displaystyle\int}_{a+\eta}^{a+\eta'}f(x){\rm d}x\right|<\varepsilon$ 比较判别法，要求函数非负. 结论与级数的比较判别法相同. 也有极限形式，是让 $x$ 趋向瑕点（上界或下界）. Cauchy 判别法，本质是与 p-瑕积分比较，不如直接用比较判别法 A-D 判别法（假设下界为瑕点） Abel 判别法：单调有界 $\times$ 瑕积分收敛 Dirichlet 判别法：单调趋零（当自变量趋于下界）$\times$ 瑕积分有界化为无穷积分判别：设 $a$ 为瑕点，作变量替换 $x=a+\dfrac1t$，则 ${\displaystyle\int} a^bf(x){\rm d}x={\displaystyle\int} {\frac{1}{b-a} }^{+\infty}f(a+\dfrac1t)\dfrac{1}{t^2}{\rm d}t$ 14.5 Cauchy 主值 Cauchy Principal Value 即对于某个瑕点，有两个极限过程（或是负无穷到正无穷积分），让这两个极限过程的趋向速度相同，若这样的极限存在，则称在 Cauchy 主值意义下收敛，Cauchy 主值即为极限值，记为 $({\rm cpv}){\displaystyle\int}_a^bf(x){\rm d}x$ cpv 意义下的瑕积分称为奇异积分普通意义下收敛，则 cpv 意义下收敛，反过来不定 14.6 Euler 积分（应该也不考） $\Gamma$ 函数，aka 第二类 Euler 积分：$\Gamma(\alpha)={\displaystyle\int}_0^{+\infty}x^{\alpha-1}e^{-x}{\rm d}x$ 定义域（右边积分的收敛域）：$(0,+\infty)$ $\Gamma(\alpha)$ 连续 $\Gamma(\alpha)$ 任意阶可导，$\Gamma^{(n)}(\alpha)={\displaystyle\int}_0^{+\infty}x^{\alpha-1}e^{-x}(\ln x)^n{\rm d}x$ $\Gamma(\alpha+1)=\alpha\Gamma(\alpha)$，$\alpha>0$，取正整数得 $\Gamma(n+1)=n!$ $\Gamma(\alpha)$ 在 $(1,2)$ 取得唯一最小值，$0^+$ 和 $+\infty$ 处函数趋于正无穷 Legendre 公式：$\Gamma(s)\Gamma(s+\dfrac12)=\dfrac{\sqrt{\pi} }{2^{2s-1} }\Gamma(2s)$，$s>0$ 余元公式：$\Gamma(s)\Gamma(1-s)=\dfrac{\pi}{\sin s\pi}{}$，$00$，$q>1$ ${\rm B}(p,q)=\dfrac{(p-1)}{(p-1)+q}{\rm B}(p-1,q)$，$p>1$，$q>0$ 关系： ${\rm B}(p,q)=\dfrac{\Gamma(p)\Gamma(q)}{\Gamma(p+q)}{}$，$p,q>0$，代入正整数得 ${\rm B}(m,n)=\dfrac{(m-1)!(n-1)!}{(m+n-1)!}{}$ Chapter 15 Fourier 级数（Fourier 积分不考） 15.1 & 15.2 三角级数与 Fourier 级数三角级数：$\dfrac12a_0+\sum\limits_{n=1}^\infty(a_n\cos nx+b_n\sin nx)$ 逻辑：（和幂级数是一个逻辑）假设某个 $T=2\pi$ 的周期函数可以被展开成三角级数，发现三角级数被函数唯一确定，$a_n=\dfrac{1}{\pi}{\displaystyle\int} {-\pi}^\pi f(x)\cos nx{\rm d}x$，$b_n=\dfrac{1}{\pi}{\displaystyle\int} {-\pi}^\pi f(x)\sin nx{\rm d}x$ 据此，任意给一个函数，都按上面的规则构造出一个级数，称为这个函数的 Fourier 级数. 这个 Fourier 级数收不收敛、收敛的话收不收敛到 $f(x)$、是不是一致收敛，这都是后话. 所以这里函数和级数之间只能画波浪号而不能画等号. 可以证明，当 $f(x)$ 满足下面两个条件之一时，$f(x)$ 的 Fourier 级数点态收敛于 $\sigma(x)=\dfrac{f(x^+)+f(x^-)}{2}{}$： Dirichlet-Jordan 判别法：$x$ 的邻域内分段单调且有界 Dini-Lipschitz 判别法：$x$ 处满足 α-Holder 条件（$\forall\varepsilon>0$，$\exists L>0$、$\exists\alpha\in(0,1] \ \text{s.t.}\ 0

Search