[数学]导数与微积分(第一部分)

导数与微积分

无论是什么导数, 其本质都是求切线斜率, 都是一个 $\frac{\Delta f}{\Delta x}$ 的极限结果. 只不过在不同情境下有不同的名称而已. 而微分无非是变量间的瞬时变化关系罢了.
导数是微分的基础计算工具, 微分是运算和分析工具, 同时为积分提供积分微元指导.

Ⅰ 导数,偏导数和方向导数

一元函数的导数

考虑一元函数 $y=f(x)$, 则对函数的运算
$$f^{\prime }(x)=\underset{\Delta x\to 0}{\lim }\frac{f(x+\Delta x)-f(x)}{\Delta x}$$

的结果 $f^{\prime }(x)$ 称为 $f(x)$ 在 $x$ 处的导数.
进一步地, $f^{\prime }(x)$ 的导数记为 $f^{\prime \prime }(x)$, $f^{\prime \prime }(x)$ 的导数记为 $f^{\prime \prime \prime }(x)$.
依次称 $f^{\prime \prime }(x)$, $f^{\prime \prime \prime }(x)$ 为 $f(x)$ 的二阶导数, 三阶导数.
$f(x)$ 的N阶导数记为 $f^{(n)}(x)$. 并规定 $f^{(0)}(x)=f(x)$.

多元函数的偏导数

考虑二元函数, $z=f(x,y)$, 则对函数的双侧极限
$$\begin{gathered} f_x^{\prime }(x,y_0)=\underset{\Delta x\to 0}{\lim }\frac{f(x+\Delta x,y_0)-f(x,y_0)}{\Delta x} \\ {f}_y^{\prime }(x_0,y)=\underset{\Delta y\to 0}{\lim }\frac{f(x_0,y+\Delta y)-f(x_0,y)}{\Delta y} \end{gathered}$$

的结果 $f_x^{\prime }(x,y_0)$ 和 $f_y^{\prime }(x_0,y)$ 分别称为 $f(x,y)$ 在 $(x,y_0)$ 处在 $y=y_0$ 方向上的偏导数和在 $(x_0,y)$ 处在 $x=x_0$ 方向上的偏导数. 偏导数又有其他记号, 如下
$$\begin{gathered} f_x^{\prime }(x,y)=\frac{\partial f(x,y)}{\partial x}=f_1^{\prime }={\partial }_{1}f \\ {f}_y^{\prime }(x,y)=\frac{\partial f(x,y)}{\partial y}=f_2^{\prime }={\partial }_{2}f \end{gathered}$$

在一些情况下, 为了书面简洁, 函数后面的 $(x,y)$ 可以省略. 虽然导数的表记符号相当多, 但都是指同一个东西.
类似地, 可以将偏导数推广到一般的多元函数上. 对具有 $n$ 个参数的多元函数的对第 $i$ 个参数的偏导数为
$$\begin{array}{rl}& f_i^{\prime }(x_1,\cdots ,x_i,\cdots ,x_n)\\ =& \underset{\Delta x_i\to x_i}{\lim }\frac{f(x_1,\cdots ,x_i+\Delta x_i,\cdots ,x_n)-f(x_1,\cdots ,x_i,\cdots ,x_n)}{\Delta x_i}\\ =& \frac{\partial f}{\partial x_i}=f_i^{\prime }={\partial }_{i}f\end{array}$$

$f$ 先对第一个参数求偏导数, 然后对第二个参数求偏导数, 结果记作 $\frac{{\partial }^{2}f(x,y)}{\partial x\partial y}$ 或 $f_{12}^{\prime \prime }$ 或 ${\partial }_1{\partial }_{2}f$, 反之, 先对第二个参数求偏导数, 然后对第一个参数求偏导数, 结果记作 $\frac{{\partial }^{2}f(x,y)}{\partial y\partial x}$ 或 $f_{21}^{\prime \prime }$ 或 ${\partial }_2{\partial }_{1}f$.
一般情况下函数若足够光滑, 则有 $\frac{{\partial }^{2}f}{\partial x\partial y}=\frac{{\partial }^{2}f}{\partial y\partial x}$, 即多阶导数结果与求导顺序无关.

方向导数

二元函数在 $(x,y)$ 处在方向 $\vec{l}=(\cos \theta ,\sin \theta )$ 上的导数, 亦或称为方向导数定义为单侧极限
$$f_l^{\prime }(x,y)=\frac{\partial f}{\partial \vec{l}}=\underset{\Delta r\to 0^{+}}{\lim }\frac{f(x+\Delta r\cos \theta ,y+\Delta r\sin \theta )-f(x,y)}{\Delta r}$$

特别地, 若在x轴和y轴方向的偏导数存在, 则当 $\theta =0$ 时, $\frac{\partial f}{\partial \vec{l}}=\frac{\partial f}{\partial x}$, 当 $\theta =\frac{\pi }{2}$ 时, $\frac{\partial f}{\partial \vec{l}}=\frac{\partial f}{\partial y}$.

Ⅱ 微分

连续映射 $f$ 在值 $x$ 的邻域内若可展开为线性映射和高阶无穷小映射 $r$, 则称映射在 $x$ 可微, 这一现象表记为
$$f(x+\text{d}x)=f(x)+f^{\prime }(x)\text{d}x+r(\text{d}x)$$

其中高阶无穷小映射 $r$ 满足
$$\underset{|\text{d}x|\to 0}{\lim }\frac{r(\text{d}x)}{|\text{d}x|}=0$$

取线性映射中可变部分作为映射在 $x$ 处的微分, 记作
$$\text{d}f(x)=f^{\prime }(x)\text{d}x$$

一元微分

考虑一元函数构成的曲线 $y=f(x)$, 在 $(x,y)$ 处, 当 $x$ 发生 $\text{d}x$ 的任意小的微量变化时, 若 $y$ 亦以一固定比例发生 $\text{d}y$ 的线性变化, 则称曲线或函数在 $(x,y)$ 可微.
令 $\text{d}x=\Delta x$ ,可以看到 $\text{d}y$ 和 $\Delta y$ 的大小关系如下
显然有
$$\text{d}y=f^{\prime }(x)\text{d}x$$

反之有
$$f^{\prime }(x)=\frac{\text{d}y}{\text{d}x}$$

多元微分

考虑二元函数构成的曲面 $z=f(x,y)$, 在 $(x,y,z)$处, 当所有参数都各自发生互不相关的 $\text{d}x$ 和 $\text{d}y$ 的任意小的微量变化时, 若 $z$ 亦以一固定比例发生 $\text{d}z$ 的线性变化, 则称曲面或函数在 $(x,y,z)$ 可微.
以 $(x,y,z)$, $(x+\text{d}x,y+\text{d}y,z+\text{d}z)$ 为对角顶点建立微分立方体.

显然有
$$\text{d}z=\frac{\partial z}{\partial x}\text{d}x+\frac{\partial z}{\partial y}\text{d}y=f_1^{\prime }(x,y)\text{d}x+f_2^{\prime }(x,y)\text{d}y$$

类似地, 多元函数 $y=f(x_1,x_2,\cdots ,x_n)$ 若可微, 则其微分为
$$\text{d}y=\sum _{i=1}^n\frac{\partial y}{\partial x_i}\text{d}{x}_i$$

微分换元与向量微分

考虑对关于 $x$ 和 $y$ 的微分方程 $F(x,y,\text{d}x,\text{d}y)=0$ 进行如下换元
$$\{\begin{array}{l}x=f(u,v)\\ y=g(u,v)\end{array}$$

求微分得到
$$\{\begin{array}{l}\text{d}x=f_1^{\prime }\text{d}u+f_2^{\prime }\text{d}v\\ \text{d}y=g_1^{\prime }\text{d}u+g_2^{\prime }\text{d}v\end{array}$$

代入方程完成换元
$$F(x,y,\text{d}x,\text{d}y)=F(f(u,v),g(u,v),f_1^{\prime }\text{d}u+f_2^{\prime }\text{d}v,g_1^{\prime }\text{d}u+g_2^{\prime }\text{d}v)=G(u,v,\text{d}u,\text{d}v)=0$$

一般地, 向量函数 $\vec{y}=\vec{f}(\vec{x})$ 总可等价拆写为如下向量
$$\vec{x}=\left(\begin{array}{c}{x}_1\\ x_2\\ ⋮\\ x_n\end{array}\right),\vec{y}=\left(\begin{array}{c}{y}_1\\ y_2\\ ⋮\\ y_k\end{array}\right),\vec{f}(\vec{x})=\left(\begin{array}{c}{f}_1(\vec{x})\\ f_2(\vec{x})\\ ⋮\\ f_k(\vec{x})\end{array}\right)=\left(\begin{array}{c}{f}_1(x_1,x_2,\cdots ,x_n)\\ f_2(x_1,x_2,\cdots ,x_n)\\ ⋮\\ f_k(x_1,x_2,\cdots ,x_n)\end{array}\right)$$

定义 $\text{d}\left(\begin{array}{c}{x}_1\\ x_2\\ ⋮\\ x_n\end{array}\right)=\left(\begin{array}{c}\text{d}{x}_1\\ \text{d}{x}_2\\ ⋮\\ \text{d}{x}_n\end{array}\right)$.
若函数可微, 则函数在 $\vec{x}$ 的领域内可展开为
$$\vec{f}(\vec{x}+\text{d}\vec{x})=\vec{f}(\vec{x})+{\vec{f}}^{\prime }(\vec{x})\text{d}\vec{x}+\vec{r}(\text{d}\vec{x})$$

由此得到向量函数的微分的概念
$$\text{d}\vec{y}=\text{d}\vec{f}(\vec{x})={\vec{f}}^{\prime }(\vec{x})\text{d}\vec{x}$$

其中 ${\vec{f}}^{\prime }(\vec{x})$ 为雅可比矩阵
$$\left(\begin{array}{cccc}\frac{\partial f_1}{\partial x_1}& \frac{\partial f_1}{\partial x_2}& \cdots & \frac{\partial f_1}{\partial x_n}\\ \frac{\partial f_2}{\partial x_1}& \frac{\partial f_2}{\partial x_2}& \cdots & \frac{\partial f_2}{\partial x_n}\\ ⋮& ⋮& & ⋮\\ \frac{\partial f_k}{\partial x_1}& \frac{\partial f_k}{\partial x_2}& \cdots & \frac{\partial f_k}{\partial x_n}\end{array}\right)$$

导数和微分的应用

增函数与减函数

若函数 $f(x)$ 在区间 $D$ 内任意 $x_0$ 和 $x_1$ $(x_0<x_1)$ 两处都有 $f(x_0)<f(x_1)$ (或 $f(x_0)>f(x_1)$), 则称该函数在该区间内是单调递增(或单调递减)的. 区间 $D$ 称为增区间(或减区间).
若 $f(x)$ 在区间 $D$ 内单调递增(或单调递减), 有
$$\frac{f(x_1)-f(x_0)}{x_1-x_0}>0\left(\frac{f(x_1)-f(x_0)}{x_1-x_0}<0\right)$$

则在该区间内的导数
$$f^{\prime }(x)=\underset{\Delta x\to 0}{\lim }\frac{f(x+\Delta x)-f(x)}{\Delta x}\ge 0\left(f^{\prime }(x)=\underset{\Delta x\to 0}{\lim }\frac{f(x+\Delta x)-f(x)}{\Delta x}\le 0\right)$$

介值定理和中值定理

• 介值定理
  函数 $f(x)$ 在区间 $D=[a,b]$ 上连续.
  则 $\exists \xi \in D,f(\xi )=A$, 其中 min ⁡ { f ( x ) } ≤ A ≤ max ⁡ { f ( x ) } \min\{f(x)\}\le A \le \max\{f(x)\} min{f(x)}≤A≤max{f(x)}.

• 费马引理
  函数 $f(x)$ 在邻域 $U(x_0)$ 内有 $f(x)\le A$
  在 $x_0$ 处可导
  且 $f(x_0)=A$
  则有 $f^{\prime }(x_0)=0$.

• 罗尔中值定理
  函数 $f(x)$ 在区间 $D=[a,b]$ 上连续
  在开区间 $(a,b)$ 可导
  且 $f(a)=f(b)$
  则 $\exists \xi \in D,f^{\prime }(\xi )=0$.

• 拉格朗日中值定理
  函数 $f(x)$ 在区间 $D=[a,b]$ 上连续
  在开区间 $(a,b)$ 可导
  则 $\exists \xi \in D,f^{\prime }(\xi )=\frac{f(b)-f(a)}{b-a}$.

• 柯西中值定理
  函数 $f(x),g(x)$ 在区间 $D=[a,b]$ 上连续
  在开区间 $(a,b)$ 可导
  且 $g^{\prime }(x)\ne 0$
  则 $\exists \xi \in D,\frac{f^{\prime }(\xi )}{g^{\prime }(\xi )}=\frac{f(b)-f(a)}{g(b)-g(a)}$.

曲线曲面等与函数, 隐函数, 参数方程

曲线曲面等几何体可由函数, 隐函数, 参数方程等确定. 尽管函数, 隐函数, 参数方程等的导数, 偏导数各式各样, 但曲线曲面等集合体的微分形式唯一. 理清各式函数方程的导数偏导数之间的关系, 重点是回归到形式唯一的几何微分.

参数方程确定的函数的导数和偏导数

设参数方程 $$\{\begin{array}{l}y=y(t)\\ x=x(t)\end{array}$$ 确定一段曲线 $y=f(x)$, 求微分得到
$$\{\begin{array}{l}\text{d}y=y^{\prime }(t)\text{d}t\\ \text{d}x=x^{\prime }(t)\text{d}t\end{array}$$

求微商得到 $$f^{\prime }(x)=\frac{\text{d}y}{\text{d}x}=\frac{y^{\prime }(t)}{x^{\prime }(t)}$$
继续求微分可得到二阶导数等
$$\text{d}\frac{\text{d}y}{\text{d}x}=\frac{y^{\prime \prime }{x}^{\prime }-y^{\prime }{x}^{\prime \prime }}{x^{\prime 2}}\text{d}t$$
$$f^{\prime \prime }(x)=\frac{{\text{d}}^{2}y}{\text{d}{x}^2}=\frac{y^{\prime \prime }{x}^{\prime }-y^{\prime }{x}^{\prime \prime }}{x^{\prime 3}}$$

类似地, 设参数方程
$$\{\begin{array}{l}x=x(u,v)\\ y=y(u,v)\\ z=z(u,v)\end{array}$$

确定一块曲面 $z=f(x,y)$, 求微分得到
$$\{\begin{array}{l}\text{d}x=x_1^{\prime }\text{d}u+x_2^{\prime }\text{d}v\\ \text{d}y=y_1^{\prime }\text{d}u+y_2^{\prime }\text{d}v\\ \text{d}z=z_1^{\prime }\text{d}u+z_2^{\prime }\text{d}v\end{array}$$

消去 $\text{d}u$ 和 $\text{d}v$ 得到
$$\frac{\partial (y,z)}{\partial (u,v)}\text{d}x+\frac{\partial (z,x)}{\partial (u,v)}\text{d}y+\frac{\partial (x,y)}{\partial (u,v)}\text{d}z=0$$

其中 $\frac{\partial (x,y)}{\partial (u,v)}$ 等为雅可比行列式, 定义为
$$\frac{\partial (x,y)}{\partial (u,v)}=\left|\begin{array}{cc}{x}_1^{\prime }& x_2^{\prime }\\ y_1^{\prime }& y_2^{\prime }\end{array}\right|$$

对比曲面的微分
$$\text{d}z=\frac{\partial z}{\partial x}\text{d}x+\frac{\partial z}{\partial y}\text{d}y$$

得到偏导数
$$\begin{gathered} f_1^{\prime }=\frac{\partial z}{\partial x}=\frac{y_2^{\prime }{z}_1^{\prime }-y_1^{\prime }{z}_2^{\prime }}{x_1^{\prime }{y}_2^{\prime }-x_2^{\prime }{y}_1^{\prime }} \\ {f}_2^{\prime }=\frac{\partial z}{\partial y}=\frac{x_1^{\prime }{z}_2^{\prime }-x_2^{\prime }{z}_1^{\prime }}{x_1^{\prime }{y}_2^{\prime }-x_2^{\prime }{y}_1^{\prime }} \end{gathered}$$

隐函数确定的函数的导数和偏导数

给定一个函数 $F(x,y)$, 若方程 $F(x,y)=0$ 在平面内确定一条曲线 $y=f(x)$. 对该函数求微分, 得到
$$\begin{gathered} \frac{\partial F}{\partial x}\text{d}x+\frac{\partial F}{\partial y}\text{d}y=0 \\ \frac{\text{d}y}{\text{d}x}=-\frac{\frac{\partial F}{\partial x}}{\frac{\partial F}{\partial y}}=f^{\prime }(x) \end{gathered}$$

更进一步地, 可以继续得到二阶导数等.
$$\begin{gathered} \text{d}\frac{\text{d}y}{\text{d}x}=\frac{\frac{{\partial }^{2}F}{\partial y\partial x}\frac{\partial F}{\partial x}-\frac{{\partial }^{2}F}{\partial x^2}\frac{\partial F}{\partial y}}{{\left(\frac{\partial F}{\partial y}\right)}^2}\text{d}x+\frac{\frac{{\partial }^{2}F}{\partial y^2}\frac{\partial F}{\partial x}-\frac{{\partial }^{2}F}{\partial x\partial y}\frac{\partial F}{\partial y}}{{\left(\frac{\partial F}{\partial y}\right)}^2}\text{d}y \\ \frac{{\text{d}}^{2}y}{\text{d}{x}^2}=-\frac{\frac{{\partial }^{2}F}{\partial x^2}{\left(\frac{\partial F}{\partial y}\right)}^2-2\frac{{\partial }^{2}F}{\partial x\partial y}\frac{\partial F}{\partial x}\frac{\partial F}{\partial y}+\frac{{\partial }^{2}F}{\partial y^2}{\left(\frac{\partial F}{\partial x}\right)}^2}{{\left(\frac{\partial F}{\partial y}\right)}^3} \end{gathered}$$

若 $F(x,y)=0$ 确定一个面积非0的区域, 则在该区域内恒有 $\frac{\partial F}{\partial x}=\frac{\partial F}{\partial y}=0$, 即 $\frac{\text{d}y}{\text{d}x}$ 不存在.

给定一个函数 $F(x,y,z)$, 若方程 $F(x,y,z)=0$ 确定一个曲面 $z=f(x,y)$, 对该函数求微分, 得到
$$\begin{gathered} \frac{\partial F}{\partial x}\text{d}x+\frac{\partial F}{\partial y}\text{d}y+\frac{\partial F}{\partial z}\text{d}z=0 \\ \text{d}z=-\frac{\frac{\partial F}{\partial x}}{\frac{\partial F}{\partial z}}\text{d}x-\frac{\frac{\partial F}{\partial y}}{\frac{\partial F}{\partial z}}\text{d}y \end{gathered}$$

对比曲面的微分
$$\text{d}z=\frac{\partial z}{\partial x}\text{d}x+\frac{\partial z}{\partial y}\text{d}y$$

得到 $f$ 的偏导数为
$$\begin{gathered} f_1^{\prime }=\frac{\partial z}{\partial x}=-\frac{\frac{\partial F}{\partial x}}{\frac{\partial F}{\partial z}} \\ {f}_2^{\prime }=\frac{\partial z}{\partial y}=-\frac{\frac{\partial F}{\partial y}}{\frac{\partial F}{\partial z}} \end{gathered}$$

反函数的导数

考虑 $y=f(x)$, 其反函数 $f^{-1}$ 有 $x=f^{-1}(y)$, 求微分得到
$$\begin{gathered} \text{d}y=f^{\prime }(x)\text{d}x \\ \text{d}x=(f^{-1}{)}^{\prime }(y)\text{d}y \end{gathered}$$

而有
$$\frac{\text{d}x}{\text{d}y}=\frac{1}{\frac{\text{d}y}{\text{d}x}}$$

得到
$$\begin{gathered} (f^{-1}{)}^{\prime }(y)=\frac{1}{f^{\prime }(x)} \\ (f^{-1}{)}^{\prime }(x)=\frac{1}{f^{\prime }(f^{-1}(x))} \end{gathered}$$

如计算 $\sin x$ 或 $e^x$ 的反函数的导数, 应用上述结论得到
$${\arcsin }^{\prime }x=\frac{1}{{\sin }^{\prime }(\arcsin x)}=\frac{1}{\cos (\arcsin x)}=\frac{1}{\sqrt{1-x^2}}$$

$${\ln }^{\prime }x=\frac{1}{e^{\ln x}}=\frac{1}{x}$$

泰勒级数

考虑构造一个多项式 $$p(x)=\sum _i{c}_i(x-x_0{)}^i$$ 逼近一个 $n+1$ 阶可导连续的函数 $f(x)$, 可令
$$\underset{x\to x_0}{\lim }\frac{f(x)}{p(x)}=1$$

应用洛必达法则, 依次可得到
$$\begin{array}{rl}{c}_0& =f(x_0)\\ c_1& =f^{\prime }(x_0)\\ c_2& =\frac{f^{\prime \prime }(x_0)}{2}\\ & \cdots \\ c_i& =\frac{f^{(i)}(x_0)}{i!}\end{array}$$

即 $f(x)$ 在 $x_0$ 处的泰勒展开如下
$$f(x)=\sum _{i=0}^n\frac{f^{(i)}(x_0)}{i!}(x-x_0{)}^i+R_n(x)$$ 其中 $R_n(x)$ 为余项, 依展开方式不同, 有不同余项, 如下

1. 佩亚诺余项, 用于定性分析其无穷小的阶 $R_n(x)=o\left[(x-x_0{)}^n\right]$
2. 拉格朗日余项 $R_n(x)=\frac{f^{(n+1)}(\xi )}{(n+1)!}(x-x_0{)}^{n+1}$, 其中 $\xi$ 介于 $x$ 和 $x_0$ 之间而不等于 $x$ 和 $x_0$.
3. 柯西余项
4. 施勒米尔希-罗什余项
5. 积分余项

设多元函数 $f(\vec{x})$ 在 $\overrightarrow{x_0}$ $n$ 阶可偏导, 则其泰勒展开如下, 其中 $\overrightarrow{x_0}$ 和 $\vec{x}$ 均为列向量.
$$f(\vec{x})=f(\overrightarrow{x_0})+\left(\begin{array}{cccc}\frac{\partial f}{\partial x_1}& \frac{\partial f}{\partial x_2}& \cdots & \frac{\partial f}{\partial x_n}\end{array}\right)(\vec{x}-\overrightarrow{x_0})+\frac{1}{2!}(\vec{x}-\overrightarrow{x_0}{)}^T\left(\begin{array}{cccc}\frac{{\partial }^{2}f}{\partial x_1^2}& \frac{{\partial }^{2}f}{\partial x_1\partial x_2}& \cdots & \frac{{\partial }^{2}f}{\partial x_1\partial x_n}\\ \frac{{\partial }^{2}f}{\partial x_2\partial x_1}& \frac{{\partial }^{2}f}{\partial x_2^2}& \cdots & \frac{{\partial }^{2}f}{\partial x_2\partial x_n}\\ ⋮& ⋮& \ddots & ⋮\\ \frac{{\partial }^{2}f}{\partial x_n\partial x_1}& \frac{{\partial }^{2}f}{\partial x_n\partial x_2}& \cdots & \frac{{\partial }^{2}f}{\partial x_n^2}\end{array}\right)(\vec{x}-\overrightarrow{x_0})+R_2(\vec{x})$$

为公式整洁, 式中对 $f$ 的偏导数均略去参数 $(\overrightarrow{x_0})$. 从第四项起需要三维矩阵, 即张量才能表达. 但特别地, 如果函数在 $x_0$ 处的多阶偏导数的求导顺序是相互无关的, 展开式可化简为
$$f(\vec{x})=\sum _{i=0}^n\frac{1}{i!}{\left[(\vec{x}-\overrightarrow{x_0}{)}^T\nabla \right]}^{i}f(\overrightarrow{x_0})+R_n(\vec{x})$$

其中 $(\vec{x}-\overrightarrow{x_0}{)}^T\nabla$ 为 $n$ 项式
$$(\vec{x}-\overrightarrow{x_0}{)}^T\nabla =x_1\frac{\partial }{\partial x_1}+x_2\frac{\partial }{\partial x_2}+\cdots +x_n\frac{\partial }{\partial x_n}$$

${\left[(\vec{x}-\overrightarrow{x_0}{)}^T\nabla \right]}^i$ 则为该 $n$ 项式的展开
$${\left[(\vec{x}-\overrightarrow{x_0}{)}^T\nabla \right]}^i=\sum _{i_1+i_2+\cdots +i_n=i}\frac{i!}{i_1!i_2!\cdots i_n!}{x}_1^{i_1}{x}_2^{i_2}\cdots x_i^{i_n}\frac{{\partial }^i}{\partial x_1^{i_1}\partial x_2^{i_2}\cdots \partial x_i^{i_n}}$$

极值

若函数 $f(x)$ 在 $x_0$ 的去心邻域 $\mathring{U}(x_0)$ 内有
$$f(x)>f(x_0)(f(x)<f(x_0))$$

则称函数在 $x_0$ 处取极小值(或极大值).
据费马引理, 若函数在 $x_0$ 处可导, 则 $f^{\prime }(x_0)=0$.
若函数在 $x_0$ 处二阶可导, 且 $f^{\prime }(x_0)=0$, 则有泰勒展开
$$f(x)=f(x_0)+\frac{f^{\prime \prime }(x_0)}{2}(x-x_0{)}^2+o[(x-x_0{)}^2]$$

由此我们得到一个函数在 $x_0$ 取极值的充分条件.
若 $f^{\prime \prime }(x_0)>0$, 函数在 $x_0$ 取极小值, 若 $f^{\prime \prime }(x_0)<0$, 函数在 $x_0$ 取极大值.

一般地, 若多元函数 $f(\overrightarrow{x_0})$ 在 $\overrightarrow{x_0}$ 一阶偏导全部为零
$$\frac{\partial f(\overrightarrow{x_0})}{\partial x_i}\equiv 0$$

二阶可偏导, 则有泰勒展开
$$\begin{gathered} f(\vec{x})=f(\overrightarrow{x_0})+\frac{1}{2!}(\vec{x}-\overrightarrow{x_0}{)}^T{H}_f(\overrightarrow{x_0})(\vec{x}-\overrightarrow{x_0})+R_2(\vec{x}) \\ {H}_f(\overrightarrow{x_0})=\left(\begin{array}{cccc}\frac{{\partial }^{2}f}{\partial x_1^2}& \frac{{\partial }^{2}f}{\partial x_1\partial x_2}& \cdots & \frac{{\partial }^{2}f}{\partial x_1\partial x_n}\\ \frac{{\partial }^{2}f}{\partial x_2\partial x_1}& \frac{{\partial }^{2}f}{\partial x_2^2}& \cdots & \frac{{\partial }^{2}f}{\partial x_2\partial x_n}\\ ⋮& ⋮& \ddots & ⋮\\ \frac{{\partial }^{2}f}{\partial x_n\partial x_1}& \frac{{\partial }^{2}f}{\partial x_n\partial x_2}& \cdots & \frac{{\partial }^{2}f}{\partial x_n^2}\end{array}\right) \end{gathered}$$

由此我们得到一个函数在 $\overrightarrow{x_0}$ 取极值的充分条件.
当矩阵 $H_f(\overrightarrow{x_0})$ 是正定矩阵(或负定矩阵)时, 在去心领域 $\mathring{U}(\overrightarrow{x_0})$ 内恒有 ${\vec{x}}^T{H}_f(\overrightarrow{x_0})\vec{x}>0$ (或 ${\vec{x}}^T{H}_f(\overrightarrow{x_0})\vec{x}<0$ ), 函数在 $\overrightarrow{x_0}$ 取极小值(或极大值).

曲率

曲线 $L$ 的一部分由参数方程 $\{\begin{array}{l}y=y(t)\\ x=x(t)\end{array}$ 确定, 这部分曲线上某一点处的曲率为
$$\frac{\left|\frac{{\text{d}}^{2}y}{\text{d}{t}^2}\frac{\text{d}x}{\text{d}t}-\frac{\text{d}y}{\text{d}t}\frac{{\text{d}}^{2}x}{\text{d}{t}^2}\right|}{{\sqrt{{\left(\frac{\text{d}x}{\text{d}t}\right)}^2+{\left(\frac{\text{d}y}{\text{d}t}\right)}^2}}^3}=\frac{\left|y^{\prime \prime }{x}^{\prime }-y^{\prime }{x}^{\prime \prime }\right|}{{\sqrt{x^{\prime 2}+y^{\prime 2}}}^3}$$

记忆该式, 可对比参数方程确定的函数的二阶导数 $\frac{{\text{d}}^{2}y}{\text{d}{x}^2}=\frac{y^{\prime \prime }{x}^{\prime }-y^{\prime }{x}^{\prime \prime }}{x^{\prime 3}}$, 将分母 $x^{\prime }$ 换成 $\sqrt{x^{\prime 2}+y^{\prime 2}}$.
若 $x=x(t)=t$, 即 $y=f(x)$, 曲率可化简为
$$\frac{\left|\frac{{\text{d}}^{2}y}{\text{d}{t}^2}\right|}{{\sqrt{1+{\left(\frac{\text{d}y}{\text{d}t}\right)}^2}}^3}=\frac{\left|y^{\prime \prime }\right|}{{\sqrt{1+y^{\prime 2}}}^3}$$

Ⅲ 不定积分,定积分和重积分

不定积分

若函数 $F(x)$ 在区间 $D$ 内连续可导, $f(x)$ 在区间 $D$ 内连续, 且 $F^{\prime }(x)=f(x)$.
定义不定积分为导数的逆运算, 记为
$$\int f(x)\text{d}x=F(x)+C$$

其中 $C$ 为任意常数.
若函数 $f(x)$ 在多个不连通区间 $D_i$ 内分别连续, 且在 $D_i$ 内各有 $(F_i(x){)}^{\prime }=f(x)$, 则
$$\int f(x)\text{d}x=\{\begin{array}{ll}{F}_1(x)+C_1& (x\in D_1)\\ F_2(x)+C_2& (x\in D_2)\\ \cdots & \\ F_n(x)+C_n& (x\in D_n)\end{array}$$

其中 $C_i$ 均为互无依赖关系的任意常数.
若函数 $F(x,y)$ 在区域 $D$ 内连续可偏导, 且 $\frac{\partial F}{\partial x}=f$,
则定义不定积分为偏导数的逆运算, 记为
$$\int f(x,y)\text{d}x=F(x,y)+\psi (y)$$

其中 $\psi (y)$ 是任意函数, 并已蕴含有任意常数在内. 注意根据上下文, 给该函数加上可导, 连续等限制.
值得一提的是的反比函数的不定积分
$$\int \frac{1}{x}\text{d}x=\{\begin{array}{ll}\ln x+C_1& (x>0)\\ \ln (-x)+C_2& (x<0)\end{array}$$

其中 $C_1$ 和 $C_2$ 是相互无关的两个任意常数.

定积分

若函数 $f(x)$ 在区间 $(a,b)$ 上连续可积, 定义定积分为黎曼积分
$$\underset{n\to \infty }{\lim }\frac{1}{n}\sum _{i=0}^{n}f\left[a+\frac{i}{n}(b-a)\right]={\int }_a^{b}f(x)\text{d}x$$

若 $f(x)$ 在某个端点 $a$ 或 $b$ 或 $a$ 和 $b$ 处无定义, 则定义反常积分
$$\begin{gathered} {\int }_a^{b}f(x)\text{d}x=\underset{u\to a^{+}}{\lim }{\int }_u^{b}f(x)\text{d}x \\ {\int }_a^{b}f(x)\text{d}x=\underset{u\to b^{-}}{\lim }{\int }_a^{u}f(x)\text{d}x \\ {\int }_a^{b}f(x)\text{d}x=\underset{\begin{array}{r}u\to a^{+}\\ v\to b^{-}\end{array}}{\lim }{\int }_u^{v}f(x)\text{d}x \end{gathered}$$

类似地, 将上下限为 $+\infty$ 和 $-\infty$ 的反常积分, 定义为
$$\begin{gathered} {\int }_{-\infty }^{b}f(x)\text{d}x=\underset{u\to -\infty }{\lim }{\int }_u^{b}f(x)\text{d}x \\ {\int }_a^{+\infty }f(x)\text{d}x=\underset{u\to +\infty }{\lim }{\int }_a^{u}f(x)\text{d}x \\ {\int }_{-\infty }^{+\infty }f(x)\text{d}x=\underset{\begin{array}{r}u\to -\infty \\ v\to +\infty \end{array}}{\lim }{\int }_u^{v}f(x)\text{d}x \end{gathered}$$

另外, 若 $f(x)$ 在区间 $(a,b)$ 中有多个且有限个间断点 $x_0$, $x_1$, $\cdots$, $x_n$, 那么定义反常积分
$${\int }_a^{b}f(x)\text{d}x={\int }_a^{x_0}f(x)\text{d}x+{\int }_{x_0}^{x_1}f(x)\text{d}x+\cdots +{\int }_{x_n}^{b}f(x)\text{d}x$$

微积分基本定理

当 $f(x)$ 在区间 $[a,b]$ 连续并可积时, 应用积分中值定理, 介值定理, 可得到微积分基本定理
$${\int }_a^{b}f(x)\text{d}x={\int f(x)\text{d}x|}_a^b=F(b)-F(a)$$

其中 $F^{\prime }(x)=f(x)$.

定积分的导数

$${\left[{\int }_a^{b(x)}f(t,x)\text{d}t\right]}_x^{\prime }={\int }_a^{b(x)}{f}_2^{\prime }(t,x)\text{d}t+f[b(x),x]b^{\prime }(x)$$

重积分

若二元函数 $z=f(x,y)$ 在区域 $D$ 内可积,
现将区域 $D$ 划分为 $n$ 个子域, $\Delta {\sigma }_i$ 记作第 $i$ 个子域的面积, $({\xi }_i,{\eta }_i)$ 为子域内任意一点,
则定义以下极限和为二重积分
lim ⁡ max ⁡ { Δ σ i } → 0 ∑ i = 1 n f ( ξ i , η i ) Δ σ i = ∬ D f ( x , y ) d σ \lim_{\max\{\Delta\sigma_i\}\to 0}\sum_{i=1}^nf(\xi_i,\eta_i)\Delta\sigma_i=\iint_D f(x,y)\text{d}\sigma max{Δσi​}→0lim​i=1∑n​f(ξi​,ηi​)Δσi​=∬D​f(x,y)dσ

类似地, 若多元函数 $y=f(x_1,x_2,\cdots ,x_n)$ 在区域 $\Omega$ 内可积,
区域 $\Omega$ 第 $i$ 个子域的超体积为 $\Delta v_i$, $(x_1,x_2,\cdots ,x_n)$ 为子域内任意一点,
则定义以下极限为 $n$重积分
lim ⁡ max ⁡ { Δ v i } → 0 ∑ i = 1 m f ( x 1 i , x 2 i , ⋯   , x n i ) Δ v i = ∫ ⋯ ∫ Ω f ( x 1 , x 2 , ⋯   , x n ) d v \lim_{\max\{\Delta v_i\}\to 0}\sum_{i=1}^mf(x_{1i},x_{2i},\cdots,x_{ni})\Delta v_i={\int\cdots\int_\Omega} f(x_1,x_2,\cdots,x_n)\text{d}v \\ max{Δvi​}→0lim​i=1∑m​f(x1i​,x2i​,⋯,xni​)Δvi​=∫⋯∫Ω​f(x1​,x2​,⋯,xn​)dv

积分中的 $\text{d}v$ 等称为微元, 在直角坐标系下有 $\text{d}\sigma =\text{d}x\text{d}y$, $\text{d}v=\text{d}x\text{d}y\text{d}z$.

有时特别是物理上会将重复的积分的 $\int$ 符号省略为只剩下1个, 无论是二重积分还是多重积分.
求解重积分, 一般会为积分区域建立坐标系, 在积分区域内选取适当的一族能填满区域且互不相交的曲线, 按一定方向在曲线上积分, 然后对所有曲线积分, 实现对曲面积分, 然后对所有曲面积分, 实现对体积的积分, 以此类推. 在积分过程中, 要求所有曲线, 曲面等都有共同的起点和终点, 各次积分方向形成的手性要与坐标系的手性保持一致.

定积分换元

进行线段积分(如 $\sqrt{\text{d}{x}^2+\text{d}{y}^2}$ )等时, 显然这种形式的积分微元是无法直接用于积分的.
这种微元形式事实上是为换元准备的.
若 $y=f(x)$, 有
$$\sqrt{\text{d}{x}^2+\text{d}{y}^2}=\sqrt{1+{\left(\frac{\text{d}y}{\text{d}x}\right)}^2}\text{d}x$$

若 $x=g(y)$, 有
$$\sqrt{\text{d}{x}^2+\text{d}{y}^2}=\sqrt{1+{\left(\frac{\text{d}x}{\text{d}y}\right)}^2}\text{d}y$$

另外, 进行坐标系变换
$$\{\begin{array}{l}x=r\cos \theta \\ y=r\sin \theta \end{array}$$

求微分得到
$$\{\begin{array}{l}\text{d}x=\cos \theta \text{d}r-r\sin \theta \text{d}\theta \\ \text{d}y=\sin \theta \text{d}r+r\cos \theta \text{d}\theta \end{array}$$

求平方和继而得到
$$\begin{array}{rl}& \text{d}{x}^2+\text{d}{y}^2\\ =& {\cos }^2\theta \text{d}{r}^2+r^2{\sin }^2\theta \text{d}{\theta }^2-2r\cos \theta \sin \theta \text{d}r\text{d}\theta +\\ & {\sin }^2\theta \text{d}{r}^2+r^2{\cos }^2\theta \text{d}{\theta }^2+2r\sin \theta \cos \theta \text{d}r\text{d}\theta \\ =& \text{d}{r}^2+r^2\text{d}{\theta }^2\end{array}$$

即
$$\sqrt{\text{d}{x}^2+\text{d}{y}^2}=\sqrt{\text{d}{r}^2+r^2\text{d}{\theta }^2}$$

重积分换元

重积分不能像定积分那样直接用微商换元.

雅可比行列式法换元

在直角坐标下, 二重积分有
$${\iint }_{D}f\text{d}\sigma ={\iint }_{D}f(x,y)\text{d}x\text{d}y$$

考虑进行坐标系变换(即换元)
$$\{\begin{array}{l}x=f(u,v)\\ y=g(u,v)\end{array}$$

新旧微元间有关系
$$\text{d}x\text{d}y=\frac{\partial (x,y)}{\partial (u,v)}\text{d}u\text{d}v$$

其中 $\frac{\partial (x,y)}{\partial (u,v)}$ 为雅可比行列式, 定义为
$$\frac{\partial (x,y)}{\partial (u,v)}=\left|\begin{array}{cc}\frac{\partial x}{\partial u}& \frac{\partial x}{\partial v}\\ \frac{\partial y}{\partial u}& \frac{\partial y}{\partial v}\end{array}\right|$$

得到
$${\iint }_{D}F(x,y)\text{d}x\text{d}y={\iint }_{D}F(x,y)\frac{\partial (x,y)}{\partial (u,v)}\text{d}u\text{d}v$$

通常低维情况下, 积分的物理意义明显, 换元后我们会自动调整积分方向以保证结果的符号能正确, 此时应为换元关系式中的雅可比行列式加上绝对值符号.
$$\text{d}x\text{d}y=\left|\frac{\partial (x,y)}{\partial (u,v)}\right|\text{d}u\text{d}v$$

楔积法换元

定义 $\text{d}x\wedge \text{d}y$ 为 $\text{d}x$ 与 $\text{d}y$ 的楔(xiē)积, 作为重积分微元并进行积分应用时则可省略其中的运算 $\wedge$, 注意与定积分的微元相乘相区别.
注意到有雅可比行列式 $\frac{\partial (y,x)}{\partial (x,y)}=-1$, $\frac{\partial (x,x)}{\partial (x,y)}=0$, 得到微元楔积的基本运算法则如下

1. 反交换律: $\text{d}x\wedge \text{d}y=-\text{d}y\wedge \text{d}x$
2. $\text{d}x\wedge \text{d}x=0$
3. 分配律, 结合律, 双线性等

以直角坐标到极坐标为例, 我们有
$$\{\begin{array}{l}x=r\cos \theta \\ y=r\sin \theta \end{array}$$

求微分得到
$$\{\begin{array}{l}\text{d}x=\cos \theta \text{d}r-r\sin \theta \text{d}\theta \\ \text{d}y=\sin \theta \text{d}r+r\cos \theta \text{d}\theta \end{array}$$
微元 $\text{d}x$ 和 $\text{d}y$ 做楔积得到
$$\text{d}x\wedge \text{d}y=\sin \theta \cos \theta \text{d}r\wedge \text{d}r+r{\cos }^2\theta \text{d}r\wedge \text{d}\theta -r{\sin }^2\theta \text{d}\theta \wedge \text{d}r-r^2\sin \theta \cos \theta \text{d}\theta \wedge \text{d}\theta$$

其中 $\text{d}r\wedge \text{d}r=\text{d}\theta \wedge \text{d}\theta =0$, $\text{d}\theta \wedge \text{d}r=-\text{d}r\wedge \text{d}\theta$, 继而
$$\text{d}x\wedge \text{d}y=r{\cos }^2\theta \text{d}r\wedge \text{d}\theta +r{\sin }^2\theta \text{d}r\text{d}\wedge \theta =r\text{d}r\wedge \text{d}\theta$$

结论如下
$$\text{d}x\text{d}y=r\text{d}r\text{d}\theta$$

空间坐标系

在二维空间中可建立直角坐标系和极坐标系, 关系如下:
$$\{\begin{array}{l}x=r\cos \theta \\ y=r\sin \theta \end{array},\{\begin{array}{l}r=\sqrt{x^2+y^2}\\ \theta =\arctan \frac{y}{x}\end{array}$$

在三维空间中可建立直角坐标系, 球面坐标系和柱面坐标系. 球面坐标系与直角坐标系关系如下:
$$\{\begin{array}{l}x=r\cos \phi \cos \theta \\ y=r\cos \phi \sin \theta \\ z=r\sin \phi \end{array},\{\begin{array}{l}r=\sqrt{x^2+y^2+z^2}\\ \theta =\arctan \frac{y}{x}\\ \phi =\arctan \frac{z}{\sqrt{x^2+y^2}}\end{array}$$

注意, 球面坐标系有多种定义方式. 柱面坐标系与直角坐标系关系如下:
$$\{\begin{array}{l}x=r\cos \theta \\ y=r\sin \theta \\ z=z\end{array},\{\begin{array}{l}r=\sqrt{x^2+y^2}\\ \theta =\arctan \frac{y}{x}\\ z=z\end{array}$$

一般的应用下, 要求 $0\le r$, $0\le \theta <2\pi$, $-\frac{\pi }{2}\le \phi \le \frac{\pi }{2}$ 即符合需求.

积分的应用

几何积分与坐标积分

一般的定积分情况下, 微元等同于微分. 结合微元的楔积运算法则或雅可比行列式换元法, 我们可以用微分构造重积分的微元. 同时建立不同的坐标系, 应用换元, 会得到不同的微元, 如下

/	几何积分 第一类积分	关系	坐标积分 第二类积分
一维空间 一维区域	线段元 $\text{d}s=\text{d}x$		线元 $\text{d}x$
二维空间 一维区域	线段元 $\begin{array}{rl}\text{d}s& =\sqrt{\text{d}{x}^2+\text{d}{y}^2}\\ & =\sqrt{\text{d}{r}^2+r^2\text{d}{\theta }^2}\end{array}$	$\vec{\tau }\text{d}s=\text{d}\vec{r}$	有向线元 $\text{d}\vec{r}=(\text{d}x,\text{d}y{)}^T$
二维空间 二维区域	面积元 $\text{d}S=y\text{d}x=\frac{1}{2}{r}^2\text{d}\theta$	$\int \text{d}S=\text{d}\sigma$	面元 $\text{d}\sigma =\text{d}x\text{d}y=r\text{d}r\text{d}\theta$
三维空间 一维区域	线段元 $\begin{array}{rl}\text{d}s& =\sqrt{\text{d}{x}^2+\text{d}{y}^2+\text{d}{z}^2}\\ & =\sqrt{\text{d}{r}^2+r^2\text{d}{\theta }^2+\text{d}{z}^2}\\ & =\sqrt{\text{d}{r}^2+r^2{\cos }^2\phi \text{d}{\theta }^2+r^2\text{d}{\phi }^2}\end{array}$	$\vec{\tau }\text{d}s=\text{d}\vec{r}$	有向线元 $\text{d}\vec{r}=(\text{d}x,\text{d}y,\text{d}z{)}^T$
三维空间 二维区域	面积元 $\text{d}S=\sqrt{1+{\left(\frac{\partial z}{\partial x}\right)}^2+{\left(\frac{\partial z}{\partial y}\right)}^2}\text{d}x\text{d}y$	$\vec{n}\text{d}S=\text{d}\vec{S}$	有向面元 $\text{d}\vec{S}=(\text{d}y\text{d}z,\text{d}z\text{d}x,\text{d}x\text{d}y{)}^T$
三维空间 三维区域	体积元 $\begin{array}{rl}\text{d}V& =z\text{d}x\text{d}y\\ & =\frac{1}{2}{r}^2\text{d}\theta \text{d}z\\ & =\frac{1}{3}{r}^3\cos \phi \text{d}\theta \text{d}\phi \end{array}$	$\int \text{d}V=\text{d}v$	体元 $\begin{array}{rl}\text{d}v& =\text{d}x\text{d}y\text{d}z\\ & =r\text{d}r\text{d}\theta \text{d}z\\ & =r^2\cos \phi \text{d}r\text{d}\theta \text{d}\phi \end{array}$

若积分区域的维度小于空间维度且大于1, 积分区域形成闭环(如圆环, 球面, 四面体表面等), 则一般会为积分符号 $\int$, $\iint$ 等标上一个圈, 如 $\oint$, $\iint$, 表示该积分的积分区域为闭环.

旋转体体积与侧面积

考虑曲线 $y=f(x)$ 或 $x=f^{-1}(y)$ 绕 $x$ 轴, $y$ 轴旋转形成的旋转体

标记 ${Ⅰ}_x$ 为 $Ⅰ$ 绕 $x$ 轴形成的圆柱, ${Ⅱ}_y$ 为 $Ⅱ$ 绕 $y$ 轴形成的曲边圆台, 以此类推.
有如下关于这些旋转体的侧面积, 体积等微元.

类型	绕x轴	绕y轴
体积	$\begin{array}{rl}{V}_{{Ⅱ}_x}& :\pi y^2\text{d}x\\ V_{{Ⅲ}_x}& :2\pi xy\text{d}y\end{array}$	$\begin{array}{rl}{V}_{{Ⅱ}_y}& :2\pi xy\text{d}x\\ V_{{Ⅲ}_y}& :\pi x^2\text{d}y\end{array}$
侧面积	$\begin{array}{rl}{S}_{{Ⅱ}_x}& :2\pi y\sqrt{\text{d}{x}^2+\text{d}{y}^2}\end{array}$	$\begin{array}{rl}{S}_{{Ⅲ}_y}& :2\pi x\sqrt{\text{d}{x}^2+\text{d}{y}^2}\end{array}$

值得一提地, 考虑 $V_{{Ⅱ}_x}$ 的分部积分, 容易得到
$$\begin{array}{ccccccc}\begin{array}{r}{\int }_{x_1}^{x_2}\pi y^2\text{d}x\end{array}& \begin{array}{r}=\end{array}& \pi x_2{y}_2^2& -& \pi x_1{y}_1^2& -& \begin{array}{r}{\int }_{y_1}^{y_2}2\pi xy\text{d}y\end{array}\\ V_{{Ⅱ}_x}& & V_{(Ⅰ+Ⅱ+Ⅲ{)}_x}& & V_{{Ⅰ}_x}& & V_{{Ⅲ}_x}\end{array}$$

极限和

特别地, $a=0,b=1$ 时有
$$\underset{n\to \infty }{\lim }\frac{1}{n}\sum _{i=0}^{n}f\left(\frac{i}{n}\right)={\int }_0^{1}f(x)\text{d}x$$

若
$$\underset{n\to \infty }{\lim }g(n,i)\equiv A$$

其中, $i$ 为 $0$ 到 $n$ 之间的任意整数. 应用夹逼准则, 可证
$$\underset{n\to \infty }{\lim }\frac{1}{n}\sum _{i=0}^{n}f\left(\frac{i}{n}\right)g(n,i)=A{\int }_0^{1}f(x)\text{d}x$$

以极限和
$$\underset{n\to \infty }{\lim }\left(\frac{\sqrt{n^2-1^2}}{1+n^2}+\frac{\sqrt{n^2-2^2}}{2+n^2}+\cdots +\frac{\sqrt{n^2-n^2}}{n+n^2}\right)$$

为例
$$\begin{array}{rl}& \underset{n\to \infty }{\lim }\sum _{i=1}^n\frac{\sqrt{n^2-i^2}}{i+n^2}\\ =& \underset{n\to \infty }{\lim }\frac{1}{n}\sum _{i=1}^n\frac{\sqrt{n^2-i^2}}{\frac{i}{n}+n}\\ =& \underset{n\to \infty }{\lim }\frac{1}{n}\sum _{i=1}^n\frac{\sqrt{1-\frac{i^2}{n^2}}}{\frac{i}{n^2}+1}\end{array}$$

其中有
$$\underset{n\to \infty }{\lim }\frac{1}{\frac{i}{n^2}+1}\equiv 1$$

继而
$$\begin{array}{rl}=& \underset{n\to \infty }{\lim }\frac{1}{n}\sum _{i=1}^n\sqrt{1-\frac{i^2}{n^2}}\cdot \underset{n\to \infty }{\lim }\frac{1}{\frac{i}{n^2}+1}\\ =& 1\cdot {\int }_0^1\sqrt{1-x^2}\text{d}x\\ =& \frac{\pi }{4}\end{array}$$

重积分积分次序补充*

为避免积分时被积分的物理意义影响, 我们确定各次积分的起点和终点.
当积分区域为矩形区域 $D=[a,c]\times [b,d]$ 时, 选取积分路径为从 $(a,b)$ 到 $(c,d)$, 从 $L_1$ 到 $L_2$ 的任意一族曲线 $l_i$.

该二重积分可化为有序的两次积分
$${\int }_{L_1}^{L_2}{\int }_{l_i:(a,b)\to (c,d)}f(x,y)\text{d}x\text{d}y={\int }_b^d\text{d}y{\int }_a^{c}f(x,y)\text{d}x$$

亦可更换另一族曲线, 交换积分次序
$${\int }_{L_1}^{L_2}{\int }_{l_i^{\prime }:(a,b)\to (c,d)}f(x,y)\text{d}x\text{d}y={\int }_{L_1}^{L_2}{\int }_{l_i^{\prime }:(a,b)\to (c,d)}-f(x,y)\text{d}y\text{d}x={\int }_c^a\text{d}x{\int }_b^d-f(x,y)\text{d}y$$

得到
$${\int }_b^d\text{d}y{\int }_a^{c}f(x,y)\text{d}x={\int }_c^a\text{d}x{\int }_b^d-f(x,y)\text{d}y$$