§2-3 场的微商——梯度

当场随时间变化时,可通过给出场对时间的微商加以描述。我们希望用同样办法来描述场对位置的变化,因为对于例如在一点的温度与在邻近一点的温度间的关系,我们是感兴趣的。怎样求温度对位置的微商呢?我们求温度对x的微商吗?还是对y,或是对z?

有用的物理定律应当不依赖于坐标系的取向。因此,它们应被写成两边都是标量或两边都是矢量的一种形式。一个标量场的微商,比如说∂T/∂x,究竟是什么呢?是标量、矢量,还是其他什么东西?它既不是标量,也不是矢量,因为正如你能容易领会的,假如我们取不同的x轴,∂T/∂x肯定会不同。可是要注意,微商可能有三个:∂T/∂x,∂T/∂y和∂T/∂z。由于有这三个微商,而我们又知道要形成一矢量需要三个数,也许这三个微商就是一个矢量的分量:

035-3

当然,一般并非任何 三个数都能构成为一矢量。只有当我们旋转坐标系,矢量的各个分量按照正确的方式变换时,这才成立。所以需要分析坐标系旋转时,这些微商究竟是如何变换的。我们将证明式(2.11)确实是一个矢量。当坐标系转动时,这些微商的确按正确的方式变换。

我们可用几种方法来看这个问题。一个方法是,提一个答案与坐标系无关的问题,并尝试用“不变量”的形式来表示这一答案。例如,若S=A·B,而且若A和B都是矢量,则我们知道——因为我们已在第1卷第11章中加以证明——S是一个标量。无需研究它是否会随坐标系改变而改变,我们就已知道 S是一个标量,因为它是两个矢量的标积,所以它不可能 改变。与此相仿,如果我们有三个数B1 ,B2 ,B3 ,并且对每一个 矢量A都能找出

Ax B1 +Ay B2 +Az B3 =S, (2.12)

式中S对于任何坐标系都相同。那么,这三个数B1 ,B2 ,B3 必定 是某一矢量B的分量Bx ,By ,Bz

现在让我们考虑温度场。假设取P1 和P2 两点,它们分开一小间距ΔR。P1 处的温度为T1 而P2 处的为T2 ,彼此间的差ΔT=T2 -T1 。在这些实际的物理点,温度肯定与为测量其坐标而选取的各坐标轴无关。尤其是,ΔT为一个与坐标系无关的数值。所以它是一个标量。

036-1

图2-5 矢量ΔR,其分量为Δx,Δy和Δz

如果我们选取一组方便的坐标轴,则能写出T1 =T(x,y,z)和T2 =T(x+Δx,y+Δy,z+Δz),其中Δx,Δy和Δz是矢量ΔR的分量(图2-5)。记住式(2.7),我们便可以写出:

036-2

式(2.13)的左边是一个标量。右边是各含有Δx,Δy和Δz(一个矢量的分量)的三个乘积之和。这样我们得出结论,这三个数值

036-3

也是一矢量的x,y和z分量。我们用符号▽T描写这个新矢量。这个符号▽是Δ的颠倒,这会使我们回忆起微分来。人们用各种不同方式来读▽T:“del-T”,或“T的梯度”,或“grad T”,

036-4 [1] . (2.14)

利用这个符号,可以把式(2.13)重写成一个更简洁的形式:

ΔT=T·ΔR. (2.15)

口头上这个式子说,两邻近点之间的温度差等于T的梯度与两点间位移矢量的点积。式(2.15)的形式也清楚地说明了上面我们关于▽T确是一个矢量的证明。

也许你还未相信吧!让我们用另一种办法来证明它(不过,如果你仔细加以考察,你可能会看到这实际上是兜一个更大圈子的同一种证法)。我们将证明,▽T的分量会按照与R的分量完全相同的方式变换。如果它们的确是这样,则按照第1卷第11章里我们关于矢量的原来定义,▽T就是一矢量。试取一个新坐标系x′,y′,z′,并用这一新系统算出∂T/∂x′,∂T/∂y′和∂T/∂z′。为了使事情稍微简单些,我们令z=z′,以便可以忘记z坐标。你尽可以自己检验更普遍的情况。

我们取一个相对于xy系转过角度θ的x′y′系,如图2-6(a)所示。对于点(x,y),在加撇系统中其坐标为:

x′=xcosθ+ysinθ; (2.16)

y′=-xsinθ+ycosθ. (2.17)

或者,解出x和y,则得:

x=x′cosθ-y′sinθ; (2.18)

y=x′sinθ+y′cosθ. (2.19)

如果任何一对数字在用这些方程进行变换时,其方式与x和y的变换方式一样,那么它们便是一个矢量的分量。

037-1

图2-6 (a)变换到一个已转动了的坐标系上去;(b)间距ΔR与x轴平行的一个特殊情况

现在让我们来看看如图2-6(b)所选取的两个邻近点P1 和P2 的温度差。若我们用x和y坐标来计算,则可以写成

037-2

因为Δy等于零。

在那个加撇的系统里进行计算,会得出个什么呢?我们应写成

037-3

看一看图2-6(b),即可知道

Δx′=Δxcosθ (2.22)

和 Δy′=-Δxsinθ, (2.23)

因为Δx为正时Δy′为负。把这些代入式(2.21),得:

037-4

比较式(2.25)和(2.20),我们看到

037-5

这个式说明:∂T/∂x可从∂T/∂x′和∂T/∂y′获得,正如同式(2.18)中的x可以从x′和y′获得那样。因此∂T/∂x就是一个矢量的x分量。同样的论据也可以证明,∂T/∂y和∂T/∂z分别为一个矢量的y和z分量。所以▽T肯定是一个矢量,它是从标量场T导出的一个矢量场。