您会记得,函数是一个接受数字并返回数字的机器。场是一个接受一个点的三个坐标或一个时空点的四个坐标并返回一个标量、一个向量或一个张量(空间类型或 4 维时空类型)的函数。
想象一条曲线
在 3 维空间中。如果我们用某个参数
来标记这条曲线的点,那么
可以用 3 向量函数
我们感兴趣的是标量场
的值在我们从
点移动到
点时变化了多少。
变化多少将取决于坐标
变化了多少,这些坐标本身又是
坐标的变化显然由下式给出

当
发生变化时,它是由三种变化叠加而成的,分别是由
的变化引起的,由
的变化引起的,以及由
的变化引起的。

第一项告诉我们当我们从
移动到
时,
的变化量;第二项告诉我们当我们从
移动到
时,
的变化量;第三项告诉我们当我们从
移动到
时,
的变化量。
我们是否应该在
中添加从
到
然后从
到
然后从
到
发生的改变?让我们计算一下。
![{\displaystyle {\frac {\partial f(x{+}dx,y,z)}{\partial y}}={\frac {\partial \left[f(x,y,z)+{\frac {\partial f}{\partial x}}dx\right]}{\partial y}}={\frac {\partial f(x,y,z)}{\partial y}}+{\frac {\partial ^{2}f}{\partial y\,\partial x}}\,dx.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da910b2b5f7b62c89ea28b6b4e94d9e6dab94322)
如果我们取极限
(就像我们每次使用
时所做的那样),最后一项会消失。因此,我们可以使用
来代替
将 (*) 代入 (**),我们得到

将括号中的表达式视为两个向量的点积
- 标量场
的梯度
是一个向量场,其分量为 
- 向量
是
上的切线。
如果我们将
视为一个物体沿
运动时所处的时刻,该时刻物体位于
那么
的大小是这个物体的速度。
是一个微分算子,它接受一个函数
并返回它的梯度 
的梯度是另一种输入输出设备:输入
输出差值

微分算子
也与点积和叉积一起使用。
向量场
的旋度 定义为

为了了解这个定义的用处,让我们计算一下积分
在闭合曲线
上。 (曲线上的积分被称为 *线积分*,如果曲线是闭合的,则被称为 *回路积分*。) 这个积分被称为
沿着
的 *环流* (或围绕
所包围的表面)。 让我们从一个具有角点
和
的无限小矩形的边界开始。
四条边的贡献分别为:

![{\displaystyle {\overline {BC}}:\quad A_{z}(0,dy,dz/2)\,dz=\left[A_{z}(0,0,dz/2)+{\frac {\partial A_{z}}{\partial y}}dy\right]dz,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a791cb77c31fe3c62c684be02e769d777eb14b82)
![{\displaystyle {\overline {CD}}:\quad -A_{y}(0,dy/2,dz)\,dy=-\left[A_{y}(0,dy/2,0)+{\frac {\partial A_{y}}{\partial z}}dz\right]dy,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d68399d3570c7512370ce35f8249a6f2688371b)

这些加起来为
![{\displaystyle (^{*}{}^{*}{}^{*})\quad \left[{\frac {\partial A_{z}}{\partial y}}-{\frac {\partial A_{y}}{\partial z}}\right]dy\,dz=({\hbox{curl}}\,\mathbf {A} )_{x}\,dy\,dz.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/350effae9c88e937605059b807b049006ddb4e0e)
让我们用一个向量表示这个面积为
(位于
-
平面)的无穷小矩形,其大小等于
并且垂直于矩形。(有两个可能的方向。右边所示的右手法则表明
的方向与循环方向的关系。)这使我们能够将(***)写成一个标量(乘积)
作为标量,它在坐标轴的旋转或无穷小矩形的旋转下是不变的。因此,如果我们用无穷小矩形覆盖一个曲面
并将它们的循环加起来,我们就得到 
观察到,所有相邻矩形的公共边都被相反方向积分了两次。它们的贡献相互抵消,只有来自
边界
的贡献得以保留。
结论是:
这就是斯托克斯定理。注意,等式左边仅仅取决于边界
的
因此,等式右边也是如此。向量场旋度的曲面积分的值仅仅取决于向量场在曲面边界上的取值。
如果向量场
是标量场
的梯度,并且如果
是从
到
的曲线,那么

因此,梯度的线积分对于所有具有相同端点的曲线都是相同的。如果
那么
是一个回路,并且
等于零。根据斯托克斯定理,梯度的旋度恒等于零

向量场
的散度定义如下

为了了解这个定义的用处,考虑一个无穷小的体积元
,其边长为
让我们计算矢量场
通过
表面的净(向外)通量。 有三对相对的表面。 通过垂直于
轴的表面的净通量为

显然,通过其余表面的净通量是什么。
从
中流出的净通量因此等于
![{\displaystyle \left[{\frac {\partial A_{x}}{\partial x}}+{\frac {\partial A_{y}}{\partial y}}+{\frac {\partial A_{z}}{\partial z}}\right]\,dx\,dy\,dz={\hbox{div}}\,\mathbf {A} \,d^{3}r.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a4a784f7f51bed471c20c62dc1670b71949e9c4)
如果我们用无穷小的长方体填充一个区域
并将它们的净向外通量加起来,我们得到
观察到所有相邻长方体的公共边被积分了两次,符号相反——一个长方体流出的通量等于另一个长方体流入的通量。 因此,它们的贡献相互抵消,只有表面
的
的贡献仍然存在。 最终结果是

这是 *高斯定律*。 请注意,左侧仅取决于边界
的
因此,右侧也是如此。 向量场散度体积积分的值仅取决于向量场在积分区域边界的取值。
如果
是一个封闭曲面 - 因此边界
或空间区域
- 那么
本身没有边界(符号为
)。将斯托克斯定理与高斯定律结合起来,我们得到

左侧是在边界边界上的积分。 但是边界没有边界! 边界的边界为零:
因此,特别是右侧为零。 因此,不仅梯度的旋度而且旋度的散度都恒等于零


