数学分析(下)学习笔记

第一章 多元函数微分学及其应用

第一节 nn维Euclid空间中Rn\mathbb{R}^n中的点集

1.1 nn维Euclid空间

  1. nn维实向量

    x=(x1,x2,x3,,xn)(xiR,i=1,2,3,,n)x = (x_1, x_2, x_3, \ldots, x_n) \quad (x_i \in \mathbb{R}, i = 1, 2, 3, \ldots, n)
  2. nn维实向量空间
    nn维实向量线性变化得到(引入了线性运算)。

  3. 长度/范数

    x,x=x12+x22++xn2\sqrt{ \langle x, x \rangle } = \sqrt{ x_1^2 + x_2^2 + \ldots + x_n^2 }

1.2 第二型曲线积分(对坐标的积分)

  1. 定义
    设函数f(x,y)f(x, y)在光滑曲线LL上有定义,对LL的可求长子段,此线积分都存在,则称此时线积分收敛,称Lf(x,y)ds\int_{L} f(x, y) ds第一型曲线积分(对弧长的积分)

  2. 基本性质

    • 性质1(线性性):设k1k_{1}k2k_{2}为常数,则L[k1f(x,y)±k2g(x,y)]ds=k1Lf(x,y)ds±k2Lg(x,y)ds\int_{L} \left[ k_{1} f(x, y) \pm k_{2} g(x, y) \right] ds = k_{1} \int_{L} f(x, y) ds \pm k_{2} \int_{L} g(x, y) ds
    • 性质2(路径可加性)设积分弧段LL可分为两段光滑曲线弧L1,L2L_{1}, L_{2},则Lf(x,y)ds=L1f(x,y)ds+L2f(x,y)ds\int_{L} f(x, y) ds = \int_{L_{1}} f(x, y) ds + \int_{L_{2}} f(x, y) ds

1.2 点列极限

  • 定义

    ϵ>0,NN+,使得k>N,恒有xka<ϵ\forall \epsilon > 0, \exists N \in \mathbb{N}_+, \text{使得} \forall k > N, \text{恒有} \| x_k - a \| < \epsilon

    称点列 {xk}\{ x_k \} 收敛于 aa

  • 定理

    设点列 {xk}Rn,点 aRn,则 limkxk=a 的充要条件是 i=1,2,,n,都有 limkxk,i=ai.\text{设点列 } \{ x_k \} \subseteq \mathbb{R}^n, \text{点 } a \in \mathbb{R}^n, \text{则 } \lim_{k \to \infty} x_k = a \text{ 的充要条件是 } \forall i = 1, 2, \ldots, n, \text{都有 } \lim_{k \to \infty} x_{k,i} = a_i.
  • 由一元数列极限拓展至多元数列极限,可得以下结论

    • {xk}\{ x_k \} 的极限唯一。
    • {xk}\{ x_k \} 一定为有界点列。
    • xkax_k \to a, ykby_k \to b, 则 xkx_k, yky_k 满足线性性质。
    • xkx_k 收敛于 aa, 则其任意子点列也收敛于 aa
    • 单调性、保序性、确界、商等概念与命题在 Rn\mathbb{R}^n 不能直接推广,但 Bolzano-Weierstrass 定理与 Cauchy 收敛原理在 Rn\mathbb{R}^n 仍然成立。

1.3 Rn\mathbb{R}^n中的开闭集

  • Rn\mathbb{R}^n 中点集的基本概念

  • 聚点 (Limit Point)
    ARnA \subset \mathbb{R}^n,点 xRn\mathbf{x} \in \mathbb{R}^n 称为 AA 的聚点,如果对任意 ε>0\varepsilon > 0,邻域 B(x,ε)B(\mathbf{x}, \varepsilon) 中总包含 AA 中不同于 x\mathbf{x} 的点,即:

    ε>0,B(x,ε)(A{x}).\forall \varepsilon > 0, \quad B(\mathbf{x}, \varepsilon) \cap \left( A \setminus \{ \mathbf{x} \} \right) \neq \emptyset.
  • 导集 (Derived Set)
    集合 ARnA \subset \mathbb{R}^n 的所有聚点构成的集合称为 AA 的导集,记作 AA',即:

    A={xRnx 是 A 的聚点}.A' = \left\{ \mathbf{x} \in \mathbb{R}^n \mid \mathbf{x} \text{ 是 } A \text{ 的聚点} \right\}.
  • 闭包 (Closure)
    集合 ARnA \subset \mathbb{R}^n 的闭包是 AA 与其导集 AA' 的并集,记作 A\overline{A},即:

    A=AA.\overline{A} = A \cup A'.
  • 孤立点 (Isolated Point)
    xARn\mathbf{x} \in A \subset \mathbb{R}^n 称为 AA 的孤立点,如果存在 ε>0\varepsilon > 0,使得邻域 B(x,ε)B(\mathbf{x}, \varepsilon) 中除 x\mathbf{x} 外不含 AA 的其他点,即:

    ε>0,B(x,ε)A={x}.\exists \varepsilon > 0, \quad B(\mathbf{x}, \varepsilon) \cap A = \{ \mathbf{x} \}.
  • 闭集 (Closed Set)
    集合 ARnA \subset \mathbb{R}^n 称为闭集,如果它包含其所有聚点,即:

    AA或等价地A=A.A' \subset A \quad \text{或等价地} \quad \overline{A} = A.
  • 邻域
    αRn\alpha \in \mathbb{R}^n, δ>0\delta > 0,称点集

    U(α,δ)={xRnxα<δ}U(\alpha, \delta) = \{ x \in \mathbb{R}^n \mid \| x - \alpha \| < \delta \}

    为以 α\alpha 为中心,δ\delta 为半径的开球或点 α\alphaδ\delta 邻域,称

    U˚(α,δ)=U(α,δ){α}\mathring{U}(\alpha, \delta) = U(\alpha, \delta) \setminus \{ \alpha \}

    α\alpha 的去心 δ\delta 邻域。

  • 内点、外点、边界点
    ARnA \subseteq \mathbb{R}^n, aRna \in \mathbb{R}^n

    1. 若存在 δ>0\delta > 0, 使 U(a,δ)AU(a, \delta) \subseteq A, 则称 aa 是集 AA内点。由 AA 的所有内点构成的集合称为 AA内部,记作 AA^\circintA\text{int}A
    2. 若存在 δ>0\delta > 0, 使 U(a,δ)A=U(a, \delta) \cap A = \emptyset, 则称 aa 是集 AA外点AA 的所有外点构成的集合称为 AA外部,记作 extA\text{ext}A
    3. 若对任何 δ>0\delta > 0, U(a,δ)U(a, \delta) 中既含有 AA 中的点,也含有 AA 的余集 AcA^c 中的点,则称 aa 为集 AA边界点AA 的所有边界点构成的集合称为 AA边界,记作 A\partial A.

    image.png

  • 开集
    ARnA \subseteq \mathbb{R}^n,若 AAA \subseteq A^\circ,即 AA 中所有点全是 AA 的内点,则称 AA 为开集。

1.4 Rn\mathbb{R}^n中的紧集与区域

  • 有界集
    AARn\mathbb{R}^n 中的一个点集,如果存在一个常数 M>0M > 0,使得 xA\forall x \in A,都有 xM\| x \| \leq M,则称 AA有界集,否则称为无界集

  • 紧集
    AARn\mathbb{R}^n 中的一个点集,若 AA 是有界闭集,则称 AA紧集

  • 连通集与区域
    ARnA \subseteq \mathbb{R}^n 是一个点集,如果 AA 中的任意两点 xxyy 都能用完全属于 AA 的有限个线段 OO 联结起来,则称 AA连通集。连通的开集称为区域。区域与其边界之并称为闭区域

第二节 多元函数的极限与连续性

2.1 多元函数概念

  • nn 元数量值函数

    设 ARn 是一个点集,称 f:AR 是定义在 A 上的一个 n 元数量值函数,简称 n 元函数,记作:\text{设 } A \subseteq \mathbb{R}^n \text{ 是一个点集,称 } f: A \to \mathbb{R} \text{ 是定义在 } A \text{ 上的一个 } n \text{ 元数量值函数,简称 } n \text{ 元函数,记作:} w=f(x)=f(x1,x2,,xn)w = f(x) = f(x_1, x_2, \ldots, x_n)
  • 等值线

  • 等值面

  • nn 元向量值函数

    设 ARn 是一个点集,称 f:ARm(m2) 是定义在 A 上的一个 n 元向量值函数。也可以记作:\text{设 } A \subseteq \mathbb{R}^n \text{ 是一个点集,称 } f: A \to \mathbb{R}^m (m \geq 2) \text{ 是定义在 } A \text{ 上的一个 } n \text{ 元向量值函数。也可以记作:} y=f(x),xA,y = f(x), \quad x \in A, 其中 x=(x1,x2,,xn)A,y=(y1,y2,,ym)Rm,f=(f1,f2,,fm)\text{其中 } x = (x_1, x_2, \ldots, x_n) \in A, \quad y = (y_1, y_2, \ldots, y_m) \in \mathbb{R}^m, \quad f = (f_1, f_2, \ldots, f_m)

2.2 多元函数的极限与连续性

  • 二重极限或 nn 重极限
  • 二元连续函数或 nn 元连续函数

第三节 多元数量值函数的导数与微分

3.1 偏导数

  • 偏导数的定义
    设函数 z=f(x,y)z = f(x, y) 在点 (x0,y0)(x_0, y_0) 的某一邻域 U(x0,y0)U(x_0, y_0) 内有定义,固定 y=y0y = y_0xxx0x_0 处有增量 Δx\Delta x(x0+Δx,y0)U(x0,y0)(x_0 + \Delta x, y_0) \in U(x_0, y_0),如果极限

    limΔx0f(x0+Δx,y0)f(x0,y0)Δx\lim_{\Delta x \to 0} \frac{f(x_0 + \Delta x, y_0) - f(x_0, y_0)}{\Delta x}

    存在,则称此极限值为函数 z=f(x,y)z = f(x, y)(x0,y0)(x_0, y_0) 处对于 xx 的偏导数,记作

    fx(x0,y0),zx(x0,y0),f(x0,y0)x,zx.f_x(x_0, y_0), \quad z_x(x_0, y_0), \quad \frac{\partial f(x_0, y_0)}{\partial x}, \quad \frac{\partial z}{\partial x}.
  • 二元函数偏导数的几何意义
    空间中曲面被截后的交线:

    fx(x0,y0)={z=f(x,y)y=y0fx(x0,y0)=tanαf_x(x_0, y_0) = \begin{cases} z = f(x, y) \\ y = y_0 \end{cases} \Rightarrow f_x(x_0, y_0) = \tan \alpha
    • 注意:某点处可偏导 \neq 此点连续 \neq 此点可导。
      原因:存在偏导仅证明沿 xx 轴和 yy 轴方向趋近某点时存在该方向上的导数,证明该点连续还需证明任意路径上的方向导数。

3.2 全微分

  • 定义
    设函数 z=f(x,y)z = f(x, y)(x0,y0)(x_0, y_0) 的某邻域内有定义,且函数在 (x0,y0)(x_0, y_0) 处的全增量 Δz=f(x0+Δx,y0+Δy)f(x0,y0)\Delta z = f(x_0 + \Delta x, y_0 + \Delta y) - f(x_0, y_0) 可以表示为:

    Δz=AΔx+BΔy+o(ρ),其中 ρ=(Δx)2+(Δy)2\Delta z = A \Delta x + B \Delta y + o(\rho), \quad \text{其中 } \rho = \sqrt{(\Delta x)^2 + (\Delta y)^2}

    前两项为线性主部(全微分),其中 AΔxA \Delta xBΔyB \Delta y 为偏微分。

  • 可微的等价定义

    z=f(x,y) 在点 (x0,y0) 可微 Δz(AΔx+BΔy)=o((Δx)2+(Δy)2)z = f(x, y) \text{ 在点 } (x_0, y_0) \text{ 可微 } \equiv \Delta z - (A \Delta x + B \Delta y) = o(\sqrt{(\Delta x)^2 + (\Delta y)^2}) limΔx0,Δy0ΔzAΔxBΔy(Δx)2+(Δy)2=0\equiv \lim_{\Delta x \to 0, \Delta y \to 0} \frac{\Delta z - A \Delta x - B \Delta y}{\sqrt{(\Delta x)^2 + (\Delta y)^2}} = 0

    其中 AABB 不依赖于 Δx\Delta xΔy\Delta y,仅与 x0x_0y0y_0 有关。

  • 由全增量推导偏增量

    dz=fxdx+fydydz = f_x dx + f_y dy
  • 可微的充分条件
    若函数 z=f(x,y)z = f(x, y) 的偏导数 fx(x,y)f_x'(x, y)fy(x,y)f_y'(x, y)(x0,y0)(x_0, y_0) 连续,则函数 z=f(x,y)z = f(x, y) 可微。

  • 多元函数微分学中f(x,y)f(x, y) 在某点 (x0,y0)(x_0, y_0) 处:

    • fx(x,y)f_x'(x, y)fy(x,y)f_y'(x, y) 连续
    • 可微
    • 可偏导,连续

    image.png

3.3 方向导数与梯度

  • 背景
    偏导数 fxf_x, fyf_y 描述二元函数在 (x0,y0)(x_0, y_0) 处沿 xx 轴、yy 轴平行方向的变化率,拓展至任意方向。

  • 定义
    x0R2x_0 \in \mathbb{R}^2ll 是平面内某向量,ele_l 为其单位向量,f:U(x0)R2Rf: U(x_0) \subseteq \mathbb{R}^2 \to \mathbb{R} 是一个二元函数,ll 方向的偏导数记作:

    flx0\frac{\partial f}{\partial l} \bigg|_{x_0}

    对应方程为:

    x=x0+telx = x_0 + t e_l

    可看作 xx 的一元函数,定义为:

    flx0=dF(t)dtt=0=limt0f(t)f(0)t=limt0f(x0+tel)f(x0)t\frac{\partial f}{\partial l} \bigg|_{x_0} = \frac{d F(t)}{dt} \bigg|_{t=0} = \lim_{t \to 0} \frac{f(t) - f(0)}{t} = \lim_{t \to 0} \frac{f(x_0 + t e_l) - f(x_0)}{t}

    其中 tt 的绝对值为 x0x_0x=x0+telx = x_0 + t e_l 两点的距离 dd

  • 方向导数的意义
    方向导数是函数 ffx0x_0 处沿 ll 方向关于距离的变化率。
    正负代表沿 ll 方向函数值的增加或减小,非寻常导数含义。
    几何意义:过直线 ll 做与 zz 平行的平面,与函数交曲线在 (x0,y0)(x_0, y_0) 处的切线与向量 ll 的正切值。

    [!NOTE] :表述为与向量的正切值,其正负号含义需审慎。

  • 左右方向导数
    对应于一元函数的左右导数,在同一点存在 t0+t \to 0^+t0t \to 0^- 的两个方向导数。

  • 定理
    f(x,y)f(x, y)(x0,y0)(x_0, y_0) 处可微,则函数 ff 在点 (x0,y0)(x_0, y_0) 沿任意方向的方向导数均存在,且:

    fl(x0,y0)=fx(x0,y0)cosα+fy(x0,y0)cosβ\frac{\partial f}{\partial l} \bigg|_{(x_0, y_0)} = f_x(x_0, y_0) \cos \alpha + f_y(x_0, y_0) \cos \beta

    其中 ll 方向上的单位向量为 el=(cosα,cosβ)e_l = (\cos \alpha, \cos \beta)

  • 梯度
    某点某方向导数的最大值,其模为函数在该点方向导数的最大值,记为 f(x,y)f(x, y) 在点 (x0,y0)(x_0, y_0) 处的梯度,记作 gradf(x0,y0)\text{grad} f(x_0, y_0)

    f(x0,y0)=fx(x0,y0)i+fy(x0,y0)j\nabla f(x_0, y_0) = f_x(x_0, y_0) \mathbf{i} + f_y(x_0, y_0) \mathbf{j}

    其中 =(x,y)\nabla = \left( \frac{\partial}{\partial x}, \frac{\partial}{\partial y} \right),表示为:

    f(x0,y0)=(f(x0,y0)x,f(x0,y0)y)\nabla f(x_0, y_0) = \left( \frac{\partial f(x_0, y_0)}{\partial x}, \frac{\partial f(x_0, y_0)}{\partial y} \right)

    注意:梯度是向量,方向导数是标量。

  • 方向导数与梯度关系

    fl(x0,y0)=f(x0,y0)el\frac{\partial f}{\partial l} \bigg|_{(x_0, y_0)} = \nabla f(x_0, y_0) \cdot \vec{e_l}

第四节 多元数量值函数的导数与微分

全微分

  • 定义
    设函数 z=f(x,y)z = f(x, y) 在点 (x0,y0)(x_0, y_0) 的某邻域内有定义,若全增量 Δz=f(x0+Δx,y0+Δy)f(x0,y0)\Delta z = f(x_0 + \Delta x, y_0 + \Delta y) - f(x_0, y_0) 可表示为:Δz=AΔx+BΔy+o(ρ),ρ=(Δx)2+(Δy)2\Delta z = A \Delta x + B \Delta y + o(\rho), \quad \rho = \sqrt{(\Delta x)^2 + (\Delta y)^2} 其中 A,BA, B 仅与 (x0,y0)(x_0, y_0) 有关,则称 ff 在点 (x0,y0)(x_0, y_0)可微,线性主部 AΔx+BΔyA \Delta x + B \Delta y 称为全微分,记作:dz=fx(x0,y0)dx+fy(x0,y0)dydz = f_x(x_0, y_0) dx + f_y(x_0, y_0) dy

第五节 隐函数存在定理与隐函数求导

5.1 隐函数存在定理

  • 单方程情形
    F(x,y)F(x, y) 在点 (x0,y0)(x_0, y_0) 的邻域内连续可微,且 F(x0,y0)=0F(x_0, y_0) = 0Fy(x0,y0)0F_y(x_0, y_0) \neq 0,则存在唯一函数 y=f(x)y = f(x) 满足:

    1. F(x,f(x))=0F(x, f(x)) = 0
    2. f(x)f(x) 可导,且导数为: dydx=FxFy\frac{dy}{dx} = -\frac{F_x}{F_y}
  • 方程组情形
    对于方程组 {F(x,y,z)=0G(x,y,z)=0\begin{cases} F(x, y, z) = 0 \\ G(x, y, z) = 0 \end{cases},若雅可比行列式 (F,G)(y,z)0\frac{\partial (F, G)}{\partial (y, z)} \neq 0,则可解出 y=y(x)y = y(x)z=z(x)z = z(x),导数通过联立方程求解。

5.2 隐函数求导

  • 单变量隐函数
    F(x,y)=0F(x, y) = 0,两边对 xx 求导,得:

    dydx=FxFy\frac{dy}{dx} = -\frac{F_x}{F_y}
  • 多变量隐函数
    F(x,y,z)=0F(x, y, z) = 0,求偏导数时固定其他变量,例如:

    zx=FxFz,zy=FyFz\frac{\partial z}{\partial x} = -\frac{F_x}{F_z}, \quad \frac{\partial z}{\partial y} = -\frac{F_y}{F_z}

第六节 多元函数的泰勒公式

  • 二元函数的泰勒展开
    f(x,y)f(x, y) 在点 (a,b)(a, b) 的邻域内具有 (n+1)(n+1) 阶连续偏导数,则:

    f(a+h,b+k)=m=0n1m!(hx+ky)mf(a,b)+Rnf(a + h, b + k) = \sum_{m=0}^n \frac{1}{m!} \left( h \frac{\partial}{\partial x} + k \frac{\partial}{\partial y} \right)^m f(a, b) + R_n

    余项 RnR_n(h2+k2)(n+1)/2(h^2 + k^2)^{(n+1)/2} 的高阶无穷小。

  • 应用

    • 近似计算函数值;
    • 判断极值(结合二阶项)。

第七节 极值问题与拉格朗日乘数法

7.1 无约束极值

  • 必要条件
    f(x,y)f(x, y)(x0,y0)(x_0, y_0) 处取得极值,则 fx(x0,y0)=fy(x0,y0)=0f_x(x_0, y_0) = f_y(x_0, y_0) = 0

  • 充分条件
    H=(fxxfxyfyxfyy)H = \begin{pmatrix} f_{xx} & f_{xy} \\ f_{yx} & f_{yy} \end{pmatrix} 为 Hessian 矩阵:

    • HH 正定,则 (x0,y0)(x_0, y_0) 为极小值点;
    • HH 负定,则为极大值点。

7.2 拉格朗日乘数法(条件极值)

  • 问题
    f(x,y,z)f(x, y, z) 在约束 g(x,y,z)=0g(x, y, z) = 0 下的极值。

  • 方法
    构造拉格朗日函数:

    L(x,y,z,λ)=f(x,y,z)+λg(x,y,z)\mathcal{L}(x, y, z, \lambda) = f(x, y, z) + \lambda g(x, y, z)

    解方程组:

    L=0{fx+λgx=0fy+λgy=0fz+λgz=0g=0\nabla \mathcal{L} = 0 \quad \Rightarrow \quad \begin{cases} f_x + \lambda g_x = 0 \\ f_y + \lambda g_y = 0 \\ f_z + \lambda g_z = 0 \\ g = 0 \end{cases}

第八节 多元向量值函数的导数与微分

  • 定义
    F:RnRm\mathbf{F}: \mathbb{R}^n \to \mathbb{R}^m,其导数(雅可比矩阵)为:

    F(x)=(F1x1F1xnFmx1Fmxn)\mathbf{F}'(x) = \begin{pmatrix} \frac{\partial F_1}{\partial x_1} & \cdots & \frac{\partial F_1}{\partial x_n} \\ \vdots & \ddots & \vdots \\ \frac{\partial F_m}{\partial x_1} & \cdots & \frac{\partial F_m}{\partial x_n} \end{pmatrix}
  • 微分法则

    • 线性性(αF+βG)=αF+βG(\alpha \mathbf{F} + \beta \mathbf{G})' = \alpha \mathbf{F}' + \beta \mathbf{G}'
    • 链式法则(FG)(x)=F(G(x))G(x)(\mathbf{F} \circ \mathbf{G})'(x) = \mathbf{F}'(\mathbf{G}(x)) \cdot \mathbf{G}'(x)

第九节 微分学在几何中的应用

9.1 空间曲线的切线与法平面

  • 参数方程
    曲线 r(t)=(x(t),y(t),z(t))\mathbf{r}(t) = (x(t), y(t), z(t)),在点 t0t_0 处:
    • 切线方向向量r(t0)=(x(t0),y(t0),z(t0))\mathbf{r}'(t_0) = (x'(t_0), y'(t_0), z'(t_0))
    • 切线方程xx0x(t0)=yy0y(t0)=zz0z(t0)\frac{x - x_0}{x'(t_0)} = \frac{y - y_0}{y'(t_0)} = \frac{z - z_0}{z'(t_0)}
    • 法平面方程x(t0)(xx0)+y(t0)(yy0)+z(t0)(zz0)=0x'(t_0)(x - x_0) + y'(t_0)(y - y_0) + z'(t_0)(z - z_0) = 0.

9.2 空间曲面的法线与切平面

  • 隐式方程
    曲面 F(x,y,z)=0F(x, y, z) = 0,在点 (x0,y0,z0)(x_0, y_0, z_0) 处:
    • 法向量F=(Fx,Fy,Fz)\nabla F = (F_x, F_y, F_z)
    • 切平面方程Fx(xx0)+Fy(yy0)+Fz(zz0)=0F_x(x - x_0) + F_y(y - y_0) + F_z(z - z_0) = 0
    • 法线方程xx0Fx=yy0Fy=zz0Fz\frac{x - x_0}{F_x} = \frac{y - y_0}{F_y} = \frac{z - z_0}{F_z}.

第十节 弧长与曲率

10.1 弧长

  • 参数曲线
    曲线 r(t)=(x(t),y(t),z(t))\mathbf{r}(t) = (x(t), y(t), z(t)),弧长微分:ds=(dxdt)2+(dydt)2+(dzdt)2dtds = \sqrt{\left( \frac{dx}{dt} \right)^2 + \left( \frac{dy}{dt} \right)^2 + \left( \frac{dz}{dt} \right)^2} \, dt 区间 [a,b][a, b] 的弧长为:L=abr(t)dtL = \int_a^b \| \mathbf{r}'(t) \| \, dt

10.2 曲率

  • 平面曲线
    曲线 y=f(x)y = f(x),曲率公式:

    κ=f(x)(1+(f(x))2)3/2\kappa = \frac{| f''(x) |}{\left( 1 + (f'(x))^2 \right)^{3/2}}
  • 参数曲线
    曲线 r(t)=(x(t),y(t))\mathbf{r}(t) = (x(t), y(t)),曲率为:

    κ=xyyx((x)2+(y)2)3/2\kappa = \frac{| x' y'' - y' x'' |}{\left( (x')^2 + (y')^2 \right)^{3/2}}
  • 几何意义
    曲率描述曲线在某点的弯曲程度,值越大弯曲越剧烈。

第二章 二重积分

[!NOTE] 所有积分必须注意的四个要点

  • 每一种积分的实际意义
  • 每一种积分的定义
  • 每一种积分的性质
  • 每一种积分的计算

第一节 二重积分的定义与性质

  • 定义
    f(x,y)f(x, y) 是定义在有界闭区域 DR2D \subseteq \mathbb{R}^2 上的有界函数。将 DD 任意分割为 nn 个小区域 Δσi\Delta \sigma_i,任取点 (ξi,ηi)Δσi(\xi_i, \eta_i) \in \Delta \sigma_i,若极限

    limλ0i=1nf(ξi,ηi)Δσi\lim_{\lambda \to 0} \sum_{i=1}^n f(\xi_i, \eta_i) \Delta \sigma_i

    存在且与分割和取点无关,则称此极限为 f(x,y)f(x, y)DD 上的二重积分,记作:

    Df(x,y)dσ\iint_D f(x, y) \, d\sigma
  • 性质

    1. 线性性:积分对函数可加,常数可提到积分号外;
    2. 区域可加性:若 D=D1D2D = D_1 \cup D_2,则积分可分解;
    3. 保序性:若 fgf \geq g,则积分值满足 DfdσDgdσ\iint_D f \, d\sigma \geq \iint_D g \, d\sigma
    4. 中值定理:存在 (ξ,η)D(\xi, \eta) \in D,使得 Dfdσ=f(ξ,η)Area(D)\iint_D f \, d\sigma = f(\xi, \eta) \cdot \text{Area}(D)

第二节 二重积分的计算

  • 直角坐标系

    • 累次积分
      DDXX-型区域(上下界由函数确定):Df(x,y)dxdy=ab(y1(x)y2(x)f(x,y)dy)dx\iint_D f(x, y) \, dx dy = \int_a^b \left( \int_{y_1(x)}^{y_2(x)} f(x, y) \, dy \right) dx YY-型区域同理,交换积分次序可简化计算。
  • 极坐标系

    • 变量替换x=rcosθx = r \cos \theta, y=rsinθy = r \sin \theta,雅可比行列式 J=rJ = r,积分公式为:Df(x,y)dσ=Df(rcosθ,rsinθ)rdrdθ\iint_D f(x, y) \, d\sigma = \iint_{D'} f(r \cos \theta, r \sin \theta) \cdot r \, dr d\theta 适用于积分区域为圆形、扇形或含 x2+y2x^2 + y^2 的被积函数。

第三节 二重积分的应用

  1. 几何应用

    • 平面区域面积Area(D)=D1dσ\text{Area}(D) = \iint_D 1 \, d\sigma
    • 空间曲面体积V=Df(x,y)dσV = \iint_D | f(x, y) | \, d\sigma.
  2. 物理应用

    • 质心坐标xˉ=1MDxρdσ\bar{x} = \frac{1}{M} \iint_D x \rho \, d\sigma, yˉ=1MDyρdσ\bar{y} = \frac{1}{M} \iint_D y \rho \, d\sigma,其中 ρ\rho 为密度;
    • 转动惯量Ix=Dy2ρdσI_x = \iint_D y^2 \rho \, d\sigma.

[!NOTE] 二重积分证明题需要注意的几个要点

  • 积分与积分变量字母无关
  • 与积分变量无关量可以自由进出
  • 二重积分可看做二次积分过程
  • 常数可以看做区间长

第三章 三重积分

第一节 三重积分的定义与性质

  • 定义
    f(x,y,z)f(x, y, z) 是定义在空间有界闭区域 ΩR3\Omega \subseteq \mathbb{R}^3 上的有界函数,类似二重积分,三重积分定义为:Ωf(x,y,z)dV=limλ0i=1nf(ξi,ηi,ζi)ΔVi\iiint_\Omega f(x, y, z) \, dV = \lim_{\lambda \to 0} \sum_{i=1}^n f(\xi_i, \eta_i, \zeta_i) \Delta V_i 性质与二重积分类似(线性性、区域可加性、保序性等)。

第二节 三重积分的计算

  • 直角坐标系

    • 投影法(先一后二)
      Ω\Omega 投影到 xyxy-平面得区域 DD,则:ΩfdV=D(z1(x,y)z2(x,y)f(x,y,z)dz)dxdy\iiint_\Omega f \, dV = \iint_D \left( \int_{z_1(x,y)}^{z_2(x,y)} f(x, y, z) \, dz \right) dx dy
    • 截面法(先二后一)
      对固定 zz 的截面 D(z)D(z),积分公式为:ΩfdV=ab(D(z)f(x,y,z)dxdy)dz\iiint_\Omega f \, dV = \int_a^b \left( \iint_{D(z)} f(x, y, z) \, dx dy \right) dz
  • 柱坐标系与球坐标系

    • 柱坐标x=rcosθx = r \cos \theta, y=rsinθy = r \sin \theta, z=zz = z,雅可比行列式 J=rJ = r,公式:ΩfdV=Ωf(rcosθ,rsinθ,z)rdrdθdz\iiint_\Omega f \, dV = \iiint_{\Omega'} f(r \cos \theta, r \sin \theta, z) \cdot r \, dr d\theta dz
    • 球坐标x=ρsinϕcosθx = \rho \sin \phi \cos \theta, y=ρsinϕsinθy = \rho \sin \phi \sin \theta, z=ρcosϕz = \rho \cos \phi,雅可比行列式 J=ρ2sinϕJ = \rho^2 \sin \phi,公式:ΩfdV=Ωf(ρsinϕcosθ,ρsinϕsinθ,ρcosϕ)ρ2sinϕdρdϕdθ\iiint_\Omega f \, dV = \iiint_{\Omega'} f(\rho \sin \phi \cos \theta, \rho \sin \phi \sin \theta, \rho \cos \phi) \cdot \rho^2 \sin \phi \, d\rho d\phi d\theta

第三节 三重积分的应用

  1. 几何应用

    • 空间区域体积V=Ω1dVV = \iiint_\Omega 1 \, dV
  2. 物理应用

    • 质量M=Ωρ(x,y,z)dVM = \iiint_\Omega \rho(x, y, z) \, dV
    • 质心坐标xˉ=1MΩxρdV\bar{x} = \frac{1}{M} \iiint_\Omega x \rho \, dV,其余分量类似。

第四章 曲线积分

第一节 第一类曲线积分

  1. 对于任何积分,我们都需要考虑三个部分:积分限,被积函数,积分微元 第一类曲线积分,与定积分最直接的区别即为:积分微元变换为ds

  2. 几个运算性质

    • 性质1(线性性):设k1k_{1}k2k_{2}为常数,则L[k1f(x,y)±k2g(x,y)]ds=k1Lf(x,y)ds±k2Lg(x,y)ds \int_{L} \left[ k_{1} f(x, y) \pm k_{2} g(x, y) \right] ds = k_{1} \int_{L} f(x, y) ds \pm k_{2} \int_{L} g(x, y) ds
    • 性质2(路径可加性)设积分弧段LL可分为两段光滑曲线弧L1,L2L_{1}, L_{2},则Lf(x,y)ds=L1f(x,y)ds+L2f(x,y)ds \int_{L} f(x, y) ds = \int_{L_{1}} f(x, y) ds + \int_{L_{2}} f(x, y) ds
    • 性质3 L1ds=s\int_{L} 1 ds = s (L 的弧长).
  3. 计算方法:化定积分

    [!NOTE]

    LL是对于xx,yy的约束,求第一类曲线积分相当于带入约束求定积分

    二元弧长公式,三元同理可直接推广

    • 直角坐标: L:y=y(x)(axb)L: y = y(x) (a \leq x \leq b), 则 L=ab1+[y(x)]2dxL = \int_{a}^{b} \sqrt{1 + [y'(x)]^2} dx.

    • 参数方程: L:{x=x(t)y=y(t)(αtβ)L: \begin{cases} x = x(t) \\ y = y(t) \end{cases} (\alpha \leq t \leq \beta), 则 L=αβ[x(t)]2+[y(t)]2dtL = \int_{\alpha}^{\beta} \sqrt{[x'(t)]^2 + [y'(t)]^2} dt.

    • 极坐标: L:r=r(θ)(αθβ)L: r = r(\theta) (\alpha \leq \theta \leq \beta), 则 L=αβ[r(θ)]2+[r(θ)]2dθL = \int_{\alpha}^{\beta} \sqrt{[r(\theta)]^2 + [r'(\theta)]^2} d\theta.

    • 形心公式

      {Lxds=xˉLdsLyds=yˉLds\begin{cases} \int_Lx \, ds = \bar{x} \cdot\int_L \, ds\\ \int_Ly \, ds = \bar{y} \cdot\int_L \, ds\\ \end{cases}

      对于只对x、y、z进行积分的公式,且几何中心也容易寻找的第一类曲线积分,则可以直接使用形心公式求解

第二节 第二类曲线积分

  1. 一二类曲线积分的区别?

    • 积分元素的区别

    • 第二类积分方向性的积分,与路径有关

    • 几个性质:

      • 性质1(线性性):设k1k_{1}k2k_{2}为常数,则
      L[k1f(x,y)±k2g(x,y)]ds=k1Lf(x,y)ds±k2Lg(x,y)ds\int_{L} \left[ k_{1} f(x, y) \pm k_{2} g(x, y) \right] ds = k_{1} \int_{L} f(x, y) ds \pm k_{2} \int_{L} g(x, y) ds
      • 性质2(路径可加性):设有向分段光滑曲线L=L1+L2L = L_1 + L_2(且L1L_1L2L_2方向相同),则
      LP(x,y)dx+Q(x,y)dy=L1P(x,y)dx+Q(x,y)dy+L2P(x,y)dx+Q(x,y)dy\int_{L} P(x, y) dx + Q(x, y) dy = \int_{L_{1}} P(x, y) dx + Q(x, y) dy + \int_{L_{2}} P(x, y) dx + Q(x, y) dy
      • 性质3 (方向性):设有向曲线弧LLLL^-表示与LL方向相反的曲线,则
    LP(x,y)dx+Q(x,y)dy=LP(x,y)dx+Q(x,y)dy\int_{L} P(x, y) dx + Q(x, y) dy = - \int_{L^-} P(x, y) dx + Q(x, y) dy
  2. 求解方法:

    • 结合做功,可以转换为统一积分变量或者转换为参数方程 例如: 转化积分变量统一; 根据积分轨迹找到合适的参数方程构造单积分变量后重新定限,变为定积分

    • 格林公式

      • 适用条件:平面 第二类 曲线 积分
        • 平面有界闭区域 DD
        • 在区域 DD 上具有一阶连续偏导数
        • LL 取正向
        则有:LPdx+Qdy=D(QxPy)dσ\oint_LPdx + Qdy = \iint_D\left( \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} \right) d\sigma
      • 单连通区域复连通区域 都适用(注意正方向 左侧始终为区域)
      • 挖洞法
    • 斯托克斯方法——解决空间中的第二类曲线积分

      LPdx+Qdy+Rdz=D(RyQz)dydz+(PzRx)dzdx+(QxPy)dxdy\oint_LPdx + Qdy + Rdz= \iint_D\left( \frac{\partial R}{\partial y} - \frac{\partial Q}{\partial z} \right) dydz+\left( \frac{\partial P}{\partial z} - \frac{\partial R}{\partial x} \right) dzdx+\left( \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} \right) dxdy

      轮换关系与格林公式等同,可以结合记忆 可投影到平面降维为格林公式( RRzz 表示成 xxyy 的函数,实现降维的格林公式)

  3. 平面曲线积分 与路径无关充要条件

    设D为 单连通 区域.函数 P(x,y)P(x,y), Q(x,y)Q(x,y)DD 上有连续一阶偏导数,则以下命题等价:

    ① 在 DD 内对 任一分段 光滑的封闭曲线 CC, 有 CPdx+Qdy=0\oint_{C}Pdx+Qdy=0 ;

    ② 在 DD任一曲线积分 LPdx+Qdy\int_{L}Pdx+Qdy 与路径无关;

    ③ **(最重要)**在 DD 内对恒有 Qx=Py\frac{\partial Q}{\partial x}=\frac{\partial P}{\partial y} 成立;

    ④ 存在 二元函数 u(x,y)u(x,y) ,使 du(x,y)=P(x,y)dx+Q(x,y)dydu(x,y)=P(x,y)dx+Q(x,y)dy ;(全微分

    P(x,y)i+Q(x,y)jP(x,y)i+Q(x,y)j 为某二元函数 u(x,y)u(x,y) 的梯度.

  4. 全微分方程 与 原函数 计算公式

    • 如果微分方程 P(x,y)dx+Q(x,y)dy=0P(x,y)dx+Q(x,y)dy=0 的左端恰好是某个 u(x,y)u(x,y) 的全微分, 则称为全微分方程. 其隐式通解为 u(x,y)=Cu(x,y)=C, CC 是任意常数
    • u(x,y)u(x,y) 计算公式: u(x,y)=(x0,y0)(x,y)P(x,y)dx+Q(x,y)dy+C=x0xP(x,y0)dx+y0yQ(x,y)dy+Cu(x,y) = \int_{(x_0,y_0)}^{(x,y)} P(x,y)dx+Q(x,y)dy+C = \int_{x_0}^{x} P(x,y_0)dx + \int_{y_0}^{y} Q(x,y)dy + C 注: 也可用凑微分法求 u(x,y)u(x,y)
  5. 两类曲线积分的联系?

    • 公式:LP(x,y)dx+Q(x,y)dy=L[P(x,y)cosα+Q(x,y)cosβ]ds.\int_LP(x,y)dx+Q(x,y)dy=\int_L\left[P(x,y)\cos\alpha+Q(x,y)\cos\beta\right]ds.
    • 其中 cosα\cos\alpha ,cosβ\cos\beta为有向曲线LL沿正向切向量的方向余弦。

第五章 曲面积分

第一节:第一类曲面积分

  1. 意义:三要素 在曲面上积分,被积函数代表面密度,积分元素为 dSdS

  2. 计算:设曲面 Σ:z=z(x,y)\Sigma : z = z(x, y)为单值函数,Σ\Sigmaxoyxoy 平面内的投影为 DxyD_{xy},且 z=z(x,y)z = z(x, y)DxyD_{xy} 具有连续偏导数,则:

    Σf(x,y,z)dS=Dxyf(x,y,z(x,y))1+zx2+zy2dxdy\iint_{\Sigma}f(x, y, z) \, dS = \iint_{D_{xy}}f(x, y, z(x, y))\sqrt{1 + {z_x^{'}}^2 + {z_y^{'}}^2} \, dxdy

    口诀:一投二代三计算 常考 dSdS

    • 柱面 x2+y2=R2x^2 + y^2 = R^2 : dS=RR2x2dxdzdS = \frac{R}{\sqrt{R^2 - x^2}}dxdz (特别注意:圆柱侧面不能向圆柱底面投影)
    • 球面 x2+y2+z2=a2x^2 + y^2 + z^2 = a^2 : dS=aa2x2y2dxdydS = \frac{a}{\sqrt{a^2 - x^2 - y^2}}dxdy
    • 圆锥面 z=x2+y2z = \sqrt{x^2 + y^2} : dS=2dxdydS = \sqrt{2}dxdy
  3. 性质:

    • 性质1(线性性):设k1k_{1}k2k_{2}为常数,则

      Σ[k1f(x,y,z)±k2g(x,y,z)]dS=k1Σf(x,y,z)dS±k2Σg(x,y,z)dS\iint_{\Sigma} \left[ k_{1} f(x, y, z) \pm k_{2} g(x, y, z) \right] dS = k_{1} \iint_{\Sigma} f(x, y, z) dS \pm k_{2} \iint_{\Sigma} g(x, y, z) dS
    • 性质2(路径可加性)设积分曲面 Σ\Sigma 可分为两片光滑曲线弧Σ1,Σ2\Sigma_{1}, \Sigma_{2},则

      Σf(x,y,z)dS=Σ1f(x,y,z)dS+Σ2f(x,y,z)dS\iint_{\Sigma} f(x, y, z) dS = \iint_{\Sigma_{1}} f(x, y, z) dS + \iint_{\Sigma_{2}} f(x, y, z) dS
    • 性质3 Σ1dS=S\iint_{\Sigma} 1 dS = S (Σ\Sigma 的面积).

    • 轮换对称性

    • 形心公式

第二节:第二类曲面积分

  1. 意义:三要素 在曲面上积分,被积函数代表液体流速,积分元素为dxdydxdy、且为某一侧的某一部分

  2. 性质:

    • 性质1(曲面可加性):设有向分段光滑曲线Σ=Σ1+Σ2\Sigma = \Sigma_1 + \Sigma_2,则

      ΣPdydz+Qdzdx+Rdxdy=Σ1Pdydz+Qdzdx+Rdxdy+Σ2Pdydz+Qdzdx+Rdxdy\iint_{\Sigma} Pdydz + Qdzdx + Rdxdy = \iint_{\Sigma_1} Pdydz + Qdzdx + Rdxdy + \iint_{\Sigma_2} Pdydz + Qdzdx + Rdxdy
    • 性质2 (方向性):设有向曲线弧Σ\SigmaΣ\Sigma^-表示与Σ\Sigma方向相反的曲线,则

      ΣPdydz=ΣPdzdy,ΣQdzdx=ΣQdxdz,ΣRdxdy=ΣRdydx\iint_{\Sigma} P dydz = \iint_{\Sigma^-} P dzdy, \quad \iint_{\Sigma} Q dzdx = \iint_{\Sigma^-} Q dxdz, \quad \iint_{\Sigma} R dxdy = \iint_{\Sigma^-} R dydx
    • 对称性

  3. 计算

    • 直接投影法——只能往自己的面投影,不能选面 (其实并非不能,可以根据法向量转换为第一类曲面积分然后重新转换为不同面投影的的第二类曲面积分,特殊题可用,常规的投影直接带入即可)

      ΣP(x,y,z)dydz+Q(x,y,z)dzdx+R(x,y,z)dxdy=±DxyP(x,y,f(x,y))dxdy+Q(x,g(x,z),z)dzdx+R(x,y,h(x,y))dxdy\begin{align*} &\iint_{\Sigma}P(x, y, z) \, dy \wedge dz + Q(x, y, z) \, dz \wedge dx + R(x, y, z) \, dx \wedge dy\\ &=\pm \iint_{D_{xy}}P(x, y, f(x, y)) \, dx \wedge dy + Q(x, g(x, z), z) \, dz \wedge dx + R(x, y, h(x, y)) \, dx \wedge dy \end{align*}

      其中,若 Σ\Sigma上侧(即:法向量与 zz正向夹角为锐角),则取 ++,反之则取 -

    • 高斯公式散度定理

      • 条件:

        • 封闭曲面
        • 向量场 F=(P,Q,R)F = (P, Q, R)SS 围成空间区域 Ω\Omega 上具有一阶连续偏导数
      • SPdydz+Qdzdx+Rdxdy=Ω(Px+Qy+Rz)dV\oiint_SP \, dy \wedge dz + Q \, dz \wedge dx + R \, dx \wedge dy = \iiint_{\Omega}\left( \frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y} + \frac{\partial R}{\partial z}\right) \, dV

        其中:

        • S\oiint_S 表示沿封闭曲面 SS **外法线方向**(取正)的积分
      • 散度

        Px+Qy+Rz\frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y} + \frac{\partial R}{\partial z}

第六章 级数

第一节 级数基本概念

  1. 定义: 给定一个无穷数列 {un}\{u_n\},这些数字相加并无限构建的表达式即称作无穷级数,记作 n=1un\sum_{n = 1}^{\infty} u_n

  2. 部分和序列

    Sn=k=1nukS_n = \sum_{k = 1} ^ {n}u_k
  3. 收敛与发散 若 limnSn=S\lim_{n \to \infty} S_n = S, 则称作无穷级数 un\sum u_n 收敛, SS 称作级数的和;若不存在(震荡或者无穷大)则称作发散

  4. 收敛级数的余项

    rn=SSn=un+1+un+2+=k=n+1ukr_n=S−S_n=u_{n+1}+u_{n+2}+\cdots=\sum_{k=n+1}^{\infty}u_k 。显然,若级数收敛,则其余项必有 limnrn=0\lim_{n \to \infty} r_n=0
  5. 通用审敛:

    1. 必要条件:

      limnun=0\lim_{n \to \infty}u_n = 0
    2. 柯西收敛准则 对于任意给定的正数 ϵ>0\epsilon > 0,总存在一个正整数 NN,使得当 m>Nm>N 时,对于任意的正整数 pp,都有 um+1+um+2++um+p<ϵ\lvert u_{m + 1} + u_{m + 2} + \cdots +u_{m + p}\rvert< \epsilon 成立,则级数收敛

  6. 收敛级数的性质

    1. 线性性: 若级数 un\sum u_n 收敛于 SS,级数 vn\sum v_n 收敛于 TT,则对于任意常数 ccdd,级数 (cun±dvn)\sum \left(cu_n\pm dv_n\right) 也收敛,并且其和为 cS±dTcS\pm dT
    2. 增减有限项的影响: 在一个级数中增加、去掉或改变有限多项,不改变级数的收敛性。如果原级数收敛,新级数仍然收敛,但其和可能会改变;如果原级数发散,新级数仍然发散
    3. 加括号法则: 收敛级数任意组合括号不改变收敛情况;发散级数加括号可能会收敛,反之若加括号后是收敛的,则原级数一定收敛

第二节 正项级数及其审敛法

  1. 收敛判别定理 正项级数 un\sum u_n 收敛的充分必要条件是部分和序列 SnS_n 有上界 (参考:单调有界数列必有极限)

  2. 标尺级数

    1. 几何级数(等比数列级数)

      n=0arn={a1rwhen r<1发散when r1\sum_{n = 0} ^ {\infty} ar^n = \begin{cases} \frac{a}{1 - r}\quad \text{when } \lvert r\rvert < 1\\ \text{发散}\quad \text{when } \lvert r\rvert \geq 1 \end{cases}
    2. P - 级数

      n=11np={收敛whenp>1发散whenp1\sum_{n = 1} ^ {\infty} \frac{1}{n ^ p} = \begin{cases} \text{收敛} \quad \text{when}\quad p > 1\\ \text{发散} \quad \text{when} \quad p \leq 1 \end{cases}

      特别的,当 p=1p = 1 时,称作调和级数,为发散级数

      特别的:贝特朗级数

      n=21np(lnn)q={p>1时收敛p=1时, 当且仅当q>1时收敛p<1时发散\sum_{n=2}^{\infty}\frac{1}{n^p(\ln n)^q} = \begin{cases} p > 1 \quad \text{时收敛}\\ p = 1 \quad \text{时, 当且仅当}q > 1\text{时收敛}\\ p < 1 \quad \text{时发散} \end{cases}
  3. 比较审敛法

    • 基本形式:un\sum u_nvn\sum v_n 均为正项级数。如果从第 NN 项开始,总有 unvnu_n\leq v_n 成立:

      • 若“大级数” vn\sum v_n 收敛,则“小级数” un\sum u_n 也收敛

      • 若“小级数” un\sum u_n 发散,则“大级数” vn\sum v_n 也发散

    • 极限形式:un\sum u_nvn\sum v_n 均为正项级数,且 limnunvn=L\lim_{n \to \infty}\frac{u_n}{v_n} = L

      • 0<L<0<L<\infty (即 LL 为有限正数),则 un\sum u_nvn\sum v_n 具有相同的敛散性

      • L=0L=0,并且 vn\sum v_n 收敛,则 un\sum u_n 收敛

      • L=L = \infty,并且 un\sum u_n 收敛,则 vn\sum v_n 收敛

  4. 比值审敛法un\sum u_n 为正项级数,如果极限 limnun+1un=ρ\lim_{n→\infty} \frac{u_{n+1}}{u_n} = \rho 存在

    • ρ<1\rho < 1,则级数 un\sum u_n 收敛
    • ρ>1\rho > 1ρ=\rho = \infty,则级数 un\sum u_n 发散
    • ρ=1\rho = 1,失效

    比值判别法特别适用于通项中含有阶乘 ( n!n! ) 或指数幂 ( ana_n ) 的级数

  5. 根值审敛法

    un\sum u_n 为正项级数,如果极限 limnnn=ρ\lim_{n \to \infty} \sqrt[n]{n}= \rho 存在。

    • ρ<1\rho < 1 ,则级数 un\sum u_n 收敛

    • ρ>1\rho > 1ρ=\rho = \infty ,则级数 un\sum u_n 发散

    • ρ=1\rho = 1, 失效

    根值判别法特别适用于通项整体呈现 n 次幂形式,如 un=(f(n))nu_n = \left(f(n)\right)^n 的级数

  6. 积分审敛法

    设函数 f(x)f(x) 在区间 [1,)[1,\infty) 上满足三个条件:

    • 非负 f(x)0f(x)\geq 0
    • 单调递减
    • 连续

    则:令 un=f(n)u_n=f(n),则正项级数 n=1un\sum_{n=1}^{\infty}u_n 与反常积分 limn1nf(x) dx\lim_{n\to \infty}\int_1^nf(x) \ dx 具有相同的敛散性 (可证明 P - 级数的敛散性)

  7. 莱布尼茨审敛法 对于交错级数 (1)nun\sum(-1)^n u_n,若满足:

    • 从某一项开始序列 {un}\{u_n\} 单调递减
    • limnun=0\lim_{n \to \infty} u_n = 0

    则该交错级数收敛。若收敛,则对于交错级数的和 SS 和余项 rnr_n 有如下上界估计:

    • Su1\lvert S \rvert \leq u_1
    • rnun+1\lvert r_n \rvert \leq u_{n + 1}

第三节 任意项级数与审敛法

  1. 绝对收敛条件收敛
    • 绝对收敛:若级数 un\sum \lvert u_n \lvert 收敛,则称原级数 un\sum u_n 绝对收敛
    • 条件收敛:若级数 un\sum u_n 收敛,但其绝对值级数 un\sum \lvert u_n \lvert 发散,则称原级数 un\sum u_n 条件收敛
  2. 绝对收敛 \rightarrow 原级数收敛,但是收敛级数未必绝对收敛
  3. 重排不变性: 对收敛的级数,任意改变其各项的求和次序(即重排级数),得到的新级数仍然绝对收敛,并且其和与原级数相同 。 而一个条件收敛的级数,根据黎曼重排定理,可以使这个级数收敛于其他实数,甚至发散

第四节 幂级数与审敛法

  1. 函数项级数

    • 对于定义在某个区间 II 上的函数序列 un(x)u_n(x),其构成的级数 un(x)\sum u_n(x) 称为函数项级数。
    • 收敛点: 若对 x0Ix_0 \in I,数项级数 un(x0)\sum u_n(x_0) 收敛,则 x0x_0 是收敛点。
    • 发散点: 若 un(x0)\sum u_n(x_0) 发散,则 x0x_0 是发散点。
    • 收敛域: 所有收敛点的集合称为收敛域 DD
    • 和函数: 在收敛域 DD 上,级数的和定义了一个函数 S(x)=un(x)S(x) = \sum u_n(x),称为和函数。
  2. 幂级数的定义

    形如

    n=0an(xx0)n=a0+a1(xx0)+a2(xx0)2+\sum_{n=0}^{\infty} a_n (x-x_0)^n = a_0 + a_1(x-x_0) + a_2(x-x_0)^2 + \ldots

    的函数项级数称为在点 x0x_0 展开的幂级数。其中 ana_n 是常数,称为幂级数的系数;x0x_0 是常数,称为幂级数的中心。

    为了讨论方便,常通过变量代换 t=xx0t = x - x_0 将中心移至原点,研究形如 n=0anxn\sum_{n=0}^{\infty} a_n x^n 的幂级数。

  3. 阿贝尔定理

    对于幂级数 an(xx0)n\sum a_n(x-x_0)^n

    1. 如果在 x1x0x_1 \neq x_0 处收敛,那么它在所有满足 xx0<x1x0|x-x_0| < |x_1-x_0| 的点 xx绝对收敛
    2. 如果在 x2x_2 处发散,那么它在所有满足 xx0>x2x0|x-x_0| > |x_2-x_0| 的点 xx 处发散。
  4. 收敛半径、收敛区间与收敛域

    由阿贝尔定理可以直接推断,对于任意一个幂级数 an(xx0)n\sum a_n(x-x_0)^n,必存在一个唯一的非负常数 RR(可以为 00++\infty),称为幂级数的收敛半径,使得:

    • xx0<R|x-x_0| < R 时,幂级数绝对收敛。
    • xx0>R|x-x_0| > R 时,幂级数发散。
    • xx0=R|x-x_0| = R 时(即在收敛区间的端点 x0Rx_0-Rx0+Rx_0+R 处,若 0<R<0 < R < \infty),幂级数的敛散性需要单独判断,可能收敛也可能发散。

    开区间 (x0R,x0+R)(x_0-R, x_0+R) 称为幂级数的收敛区间。收敛区间连同其可能收敛的端点一起构成了幂级数的收敛域

    • R=0R=0,则幂级数仅在 x=x0x=x_0 一点收敛。
    • R=+R=+\infty,则幂级数对所有实数 xx 都收敛。
  5. 收敛半径的求法

    常用的求收敛半径 RR 的方法是基于幂级数的系数 ana_n

    • 比值法: 如果极限 L=limnan+1anL = \lim_{n \to \infty} \left| \frac{a_{n+1}}{a_n} \right| 存在(LL 可以是 00++\infty),则:

      • R=1LR = \frac{1}{L},如果 0<L<0 < L < \infty
      • R=+R = +\infty,如果 L=0L=0
      • R=0R = 0,如果 L=+L=+\infty
    • 根值法: 如果极限 L=limnannL = \lim_{n \to \infty} \sqrt[n]{|a_n|} 存在(LL 可以是 00++\infty),则收敛半径 RR 的计算规则同上。

    两种方法都源于对幂级数应用相应的数项级数判别法

    [!NOTE]

    若级数缺项,不能直接获取系数 ana_nLL ,可以选择代换 或者 直接用通用审敛法再确定收敛区间

  6. 幂级数和函数的性质

    在收敛区间内部,幂级数的行为类似于多项式

    1. 和函数的连续性 幂级数的和函数 S(x)S(x) 在其收敛区间 (x0R,x0+R)(x_0-R, x_0+R) 内是连续的 更进一步,如果幂级数在其收敛区间的某个端点(例如 x0+Rx_0+R)也收敛,则和函数在该端点是单侧连续的(例如在 x0+Rx_0+R 左连续)。这个性质通常被称为阿贝尔第二定理阿贝尔极限定理

    2. 逐项积分性质 幂级数可以在其收敛区间 (x0R,x0+R)(x_0-R, x_0+R) 内逐项积分。即对任意 x(x0R,x0+R)x \in (x_0-R, x_0+R),有:

      x0xS(t)dt=x0x(n=0an(tx0)n)dt=n=0anx0x(tx0)ndt=n=0ann+1(xx0)n+1\int_{x_0}^{x} S(t) dt = \int_{x_0}^{x} \left( \sum_{n=0}^{\infty} a_n(t-x_0)^n \right) dt = \sum_{n=0}^{\infty} a_n \int_{x_0}^{x} (t-x_0)^n dt = \sum_{n=0}^{\infty} \frac{a_n}{n+1} (x-x_0)^{n+1}

      重要的是,逐项积分后得到的新幂级数的收敛半径仍然是 RR。这意味着积分运算可以和无穷求和运算交换次序

    3. 逐项微分性质 幂级数可以在其收敛区间 (x0R,x0+R)(x_0-R, x_0+R) 内逐项微分任意次。即:

      S(x)=ddx(n=0an(xx0)n)=n=0ddx(an(xx0)n)=n=1nan(xx0)n1S'(x) = \frac{d}{dx} \left( \sum_{n=0}^{\infty} a_n(x-x_0)^n \right) = \sum_{n=0}^{\infty} \frac{d}{dx} \left( a_n(x-x_0)^n \right) = \sum_{n=1}^{\infty} n a_n(x-x_0)^{n-1}
  7. 函数的幂级数展开

    1. 泰勒级数与麦克劳林级数 定义: 如果函数 f(x)f(x) 在点 x0x_0 的某个邻域内具有任意阶导数,则我们可以构造一个形式幂级数:

      n=0f(n)(x0)n!(xx0)n=f(x0)+f(x0)(xx0)+f(x0)2!(xx0)2+\sum_{n=0}^{\infty} \frac{f^{(n)}(x_0)}{n!} (x-x_0)^n = f(x_0) + f'(x_0)(x-x_0) + \frac{f''(x_0)}{2!} (x-x_0)^2 + \ldots

      这个级数称为函数 f(x)f(x) 在点 x0x_0 的泰勒级数

      特别地,当 x0=0x_0=0 时,该泰勒级数称为麦克劳林级数:

      n=0f(n)(0)n!xn=f(0)+f(0)x+f(0)2!x2+\sum_{n=0}^{\infty} \frac{f^{(n)}(0)}{n!} x^n = f(0) + f'(0)x + \frac{f''(0)}{2!} x^2 + \ldots

      函数展开成泰勒级数的条件: 函数 f(x)f(x) 能够在点 x0x_0 的某个邻域 (x0R,x0+R)(x_0-R, x_0+R) 内展开成收敛于自身的泰勒级数的充分必要条件是:

      1. f(x)f(x) 在该邻域内具有任意阶导数
      2. 泰勒公式的余项 Rn(x)=f(x)k=0nf(k)(x0)k!(xx0)kR_n(x) = f(x) - \sum_{k=0}^{n} \frac{f^{(k)}(x_0)}{k!} (x-x_0)^k 在该邻域内当 nn \to \infty 时趋于零,即 limnRn(x)=0\lim_{n \to \infty} R_n(x) = 0

      常用的余项形式有拉格朗日余项:Rn(x)=f(n+1)(ξ)(n+1)!(xx0)n+1R_n(x) = \frac{f^{(n+1)}(\xi)}{(n+1)!} (x-x_0)^{n+1},其中 ξ\xix0x_0xx 之间

      展开的唯一性: 如果函数 f(x)f(x) 在点 x0x_0 的某个邻域内可以表示为一个收敛的幂级数 an(xx0)n\sum a_n(x-x_0)^n,那么这个幂级数必定是 f(x)f(x) 在该点的泰勒级数,即系数 an=f(n)(x0)n!a_n = \frac{f^{(n)}(x_0)}{n!}

    2. 函数展开成幂级数的方法

      • 直接法 (定义法):

        1. 计算函数 f(x)f(x) 在点 x0x_0 的各阶导数值 f(n)(x0)f^{(n)}(x_0)
        2. 写出形式泰勒级数
        3. 求出该泰勒级数的收敛半径 RR
        4. 在收敛区间 (x0R,x0+R)(x_0-R, x_0+R) 内,证明泰勒公式的余项 Rn(x)0R_n(x) \to 0 (当 nn \to \infty)。 这种方法比较基本,但计算量大,且证明余项趋零有时比较困难
      • 间接法 (常用方法): 基于已知的基本初等函数的麦克劳林展开式,结合幂级数的运算性质(代数运算、逐项积分、逐项微分)来求得目标函数的幂级数展开式

    3. 常见初等函数的麦克劳林级数展开式 以下是一些必须熟记的麦克劳林级数展开式及其收敛域,它们是应用间接法的基础:

函数 麦克劳林级数 收敛域
exe^x n=0xnn!=1+x+x22!+x33!+\sum_{n=0}^{\infty} \frac{x^n}{n!} = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \dots (,)(-\infty, \infty)
sinx\sin x n=0(1)n(2n+1)!x2n+1=xx33!+x55!\sum_{n=0}^{\infty} \frac{(-1)^n}{(2n+1)!} x^{2n+1} = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \dots (,)(-\infty, \infty)
cosx\cos x n=0(1)n(2n)!x2n=1x22!+x44!\sum_{n=0}^{\infty} \frac{(-1)^n}{(2n)!} x^{2n} = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \dots (,)(-\infty, \infty)
ln(1+x)\ln(1+x) n=1(1)n1nxn=xx22+x33\sum_{n=1}^{\infty} \frac{(-1)^{n-1}}{n} x^n = x - \frac{x^2}{2} + \frac{x^3}{3} - \dots (1,1](-1, 1]
11x\frac{1}{1-x} n=0xn=1+x+x2+x3+\sum_{n=0}^{\infty} x^n = 1 + x + x^2 + x^3 + \dots (1,1)(-1, 1)
(1+x)α(1+x)^\alpha 1+n=1α(α1)(αn+1)n!xn1 + \sum_{n=1}^{\infty} \frac{\alpha(\alpha-1)\dots(\alpha-n+1)}{n!} x^n (1,1)(-1, 1)

注:(1+x)α(1+x)^\alpha 的收敛域在端点处的敛散性与 α\alpha 的取值有关。例如,当 α>0\alpha > 0 时,在 x=1x=1 处收敛;当 α1\alpha \le -1 时,在 x=±1x = \pm 1 处均发散。当 α\alpha 为非负整数时,展开式为有限多项式,收敛域为 (,)(-\infty, \infty)


第五节:傅里叶级数

  1. 傅里叶级数的基本理论

    1. 三角函数系的正交性 函数系 {1,cosx,sinx,cos2x,sin2x,,cosnx,sinnx,}\{1, \cos x, \sin x, \cos 2x, \sin 2x, \dots, \cos nx, \sin nx, \dots\} 在区间 [π,π][-\pi, \pi] (或任何长度为 2π2\pi 的区间,如 [0,2π][0, 2\pi]) 上是正交的。这意味着该函数系中任意两个不同的函数之积在该区间上的积分等于零。例如:

      • ππcos(mx)cos(nx)dx=0(mn)\int_{-\pi}^{\pi} \cos(mx) \cos(nx) dx = 0 \quad (m \neq n)
      • ππsin(mx)sin(nx)dx=0(mn)\int_{-\pi}^{\pi} \sin(mx) \sin(nx) dx = 0 \quad (m \neq n)
      • ππsin(mx)cos(nx)dx=0\int_{-\pi}^{\pi} \sin(mx) \cos(nx) dx = 0 (对所有整数 m,nm, n)
      • ππ1cos(nx)dx=0(n1)\int_{-\pi}^{\pi} 1 \cdot \cos(nx) dx = 0 \quad (n \ge 1)
      • ππ1sin(nx)dx=0(n1)\int_{-\pi}^{\pi} 1 \cdot \sin(nx) dx = 0 \quad (n \ge 1)

      ππcos2(nx)dx=π(n1)\int_{-\pi}^{\pi} \cos^2(nx) dx = \pi \quad (n \ge 1), ππsin2(nx)dx=π(n1)\int_{-\pi}^{\pi} \sin^2(nx) dx = \pi \quad (n \ge 1), ππ12dx=2π\int_{-\pi}^{\pi} 1^2 dx = 2\pi

      三角函数系的正交性是推导傅里叶系数公式的基础。

    2. 三角级数与傅里叶级数的定义 形如 a02+n=1(ancosnx+bnsinnx)\frac{a_0}{2} + \sum_{n=1}^{\infty} (a_n \cos nx + b_n \sin nx) 的级数称为三角级数,其中 a0,an,bna_0, a_n, b_n (n=1,2,n=1,2,\dots) 是常数系数。 如果这些系数是由一个给定的周期为 2π2\pi 的函数 f(x)f(x) 通过特定的积分公式(欧拉-傅里叶公式)确定,那么这个三角级数就称为函数 f(x)f(x)傅里叶级数

    3. 傅里叶系数的计算 (欧拉-傅里叶公式) 对于一个周期为 2π2\pi 的函数 f(x)f(x),如果它能展开成傅里叶级数,则其傅里叶系数 a0,an,bna_0, a_n, b_n 由以下积分公式给出,这些公式合称为欧拉-傅里叶公式

      a0=1πππf(x)dxa_0 = \frac{1}{\pi} \int_{-\pi}^{\pi} f(x) dx an=1πππf(x)cosnxdx(n=1,2,)a_n = \frac{1}{\pi} \int_{-\pi}^{\pi} f(x) \cos nx dx \quad (n=1,2,\ldots) bn=1πππf(x)sinnxdx(n=1,2,)b_n = \frac{1}{\pi} \int_{-\pi}^{\pi} f(x) \sin nx dx \quad (n=1,2,\ldots)

      这里,系数 a02\frac{a_0}{2} 代表函数 f(x)f(x) 在一个周期上的平均值。系数 ana_nbnb_n 分别反映了第 n 次谐波中余弦分量和正弦分量的“振幅”

    4. 狄利克雷收敛定理 狄利克雷收敛定理给出了一个函数 f(x)f(x) 的傅里叶级数收敛于 f(x)f(x) 的充分条件。该定理内容如下:

      若周期为 2π2\pi 的函数 f(x)f(x) 满足狄利克雷条件,即:

      1. 在一个周期内,函数 f(x)f(x) 连续或者只有有限个第一类间断点(即左右极限都存在的间断点)
      2. 在一个周期内,函数 f(x)f(x) 至多只有有限个极值点(或者说,函数 f(x)f(x) 在一个周期内是分段单调的)

      f(x)f(x) 的傅里叶级数在每一点 xx 都收敛,并且:

      • xxf(x)f(x)连续点时,级数收敛于 f(x)f(x)
      • xxf(x)f(x)间断点时,级数收敛于该点左右极限的算术平均值,即 f(x0)+f(x+0)2\frac{f(x-0) + f(x+0)}{2}
  2. 函数的傅里叶级数展开

    1. 周期为 2π2\pi 的函数的展开 对于满足狄利克雷条件的周期为 2π2\pi 的函数 f(x)f(x),其傅里叶级数展开直接应用欧拉-傅里叶公式计算系数 a0,an,bna_0, a_n, b_n,然后写出级数形式即可。积分区间可以选择 [π,π][-\pi, \pi][0,2π][0, 2\pi] 或任何其他长度为 2π2\pi 的区间。

    2. 周期为 2L2L 的函数的展开 如果函数 f(x)f(x) 的周期是 2L2LLL 为任意正数),其傅里叶级数形式为:

      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)

      其傅里叶系数为:

      a0=1LLLf(x)dxa_0 = \frac{1}{L} \int_{-L}^{L} f(x) dx an=1LLLf(x)cosnπxLdx(n=1,2,)a_n = \frac{1}{L} \int_{-L}^{L} f(x) \cos \frac{n\pi x}{L} dx \quad (n=1,2,\ldots) bn=1LLLf(x)sinnπxLdx(n=1,2,)b_n = \frac{1}{L} \int_{-L}^{L} f(x) \sin \frac{n\pi x}{L} dx \quad (n=1,2,\ldots)

      积分区间同样可以选择 [L,L][-L, L][0,2L][0, 2L] 等。

    3. 奇函数与偶函数的傅里叶级数 利用函数的奇偶性可以大大简化傅里叶系数的计算:

      • 奇函数: 如果定义在对称区间 [L,L][-L, L] 上的函数 f(x)f(x) 是奇函数 (即 f(x)=f(x)f(-x) = -f(x)),则其傅里叶系数 an=0a_n = 0 对所有 n0n \ge 0 成立。此时,傅里叶级数只包含正弦项,称为正弦级数

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

        其中

        bn=2L0Lf(x)sinnπxLdxb_n = \frac{2}{L} \int_{0}^{L} f(x) \sin \frac{n\pi x}{L} dx
      • 偶函数: 如果定义在对称区间 [L,L][-L, L] 上的函数 f(x)f(x) 是偶函数 (即 f(x)=f(x)f(-x) = f(x)),则其傅里叶系数 bn=0b_n = 0 对所有 n1n \ge 1 成立。此时,傅里叶级数只包含常数项和余弦项,称为余弦级数

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

        其中

        a0=2L0Lf(x)dxan=2L0Lf(x)cosnπxLdxa_0 = \frac{2}{L} \int_{0}^{L} f(x) dx \quad \text{和} \quad a_n = \frac{2}{L} \int_{0}^{L} f(x) \cos \frac{n\pi x}{L} dx
    4. 在有限区间 [0,L][0, L] 上定义的函数展开为正弦级数或余弦级数 (奇延拓与偶延拓) 为了展开仅在有限区间 [0,L][0, L] 上有定义的函数 f(x)f(x) 成只含正弦项或只含余弦项的傅里叶级数,可以采用奇延拓或偶延拓的方法:

      • 奇延拓: 将定义在 [0,L][0, L] 上的函数 f(x)f(x) 延拓到 [L,L][-L, L] 上,构成一个新的奇函数 Fo(x)F_o(x)

        Fo(x)={f(x),0xLf(x),L<x<00,x=0F_o(x) = \begin{cases} f(x), & 0 \le x \le L \\ -f(-x), & -L < x < 0 \\ 0, & x=0 \end{cases}

        然后将 Fo(x)F_o(x)2L2L 为周期进行周期延拓,求此周期奇函数的傅里叶级数,即得到原函数 f(x)f(x)[0,L][0, L] 上的正弦级数展开,其系数 bn=2L0Lf(x)sinnπxLdxb_n = \frac{2}{L} \int_{0}^{L} f(x) \sin \frac{n\pi x}{L} dxan=0a_n = 0

      • 偶延拓: 将定义在 [0,L][0, L] 上的函数 f(x)f(x) 延拓到 [L,L][-L, L] 上,构成一个新的偶函数 Fe(x)F_e(x)

        Fe(x)={f(x),0xLf(x),Lx<0F_e(x) = \begin{cases} f(x), & 0 \le x \le L \\ f(-x), & -L \le x < 0 \end{cases}

        然后将 Fe(x)F_e(x)2L2L 为周期进行周期延拓,求此周期偶函数的傅里叶级数,即得到原函数 f(x)f(x)[0,L][0, L] 上的余弦级数展开,其系数 a0=2L0Lf(x)dxa_0 = \frac{2}{L} \int_{0}^{L} f(x) dxan=2L0Lf(x)cosnπxLdxa_n = \frac{2}{L} \int_{0}^{L} f(x) \cos \frac{n\pi x}{L} dxbn=0b_n = 0