Skip to content

010 空间中的曲线及其切线 Curves in Space and Their Tangents

粒子在时间区间 内在空间中运动,我们可以将其坐标看作是定义在 上的函数 组成了空间中的曲线(curve),是粒子运动的轨迹或路径(path)。方程 是曲线的参数方程。

空间中的曲线也可以用矢量形式表示。矢量 表示 时刻原点到粒子位置 的位置矢量。如下图所示。

函数 是位置矢量的分量函数(component function)。 表示在时间区间 内粒子运动的轨迹。下图展示了几种由计算机程序生成的空间曲线。

方程 定义的 是区间 内的实数 的矢量函数。定义域 上的矢量值函数(vector-valued function)或矢量函数(vector function)表示 上的值与空间中矢量的映射关系。现在,定义域是实数区间,函数图像是曲线。第十五章中,定义域是平面的一个区域,图像是空间中的曲面。平面或空间上的矢量函数,也能表示矢量场,是研究流体、重力场和电磁现象的重要工具。

与矢量函数相对的是实数函数,也成为标量函数(scalar function)。方程 的每个分量是 的标量函数。矢量值函数的定义域是这些标量函数的公共定义域。

例1 给出矢量函数 的图像。

解:矢量函数 的定义域是全体实数。 表示的曲线沿着圆柱 环绕。如下图所示。

这是因为 的分量,也就是 坐标满足圆柱方程 曲线 分量是 ,一直增加。 每增加 ,曲线就沿着圆柱绕了一圈。这种曲线成为螺旋线(helix)。参数方程是 定义域是满足三个方程的 的最大集合,这里是 。下图展示了更多的螺旋线。

极限和连续性

矢量函数的极限定义与实数函数(标量函数)极限的定义类似。

定义

是定义域为 的矢量函数, 是一矢量。如果对于任意 ,存在相应的 使得对所有 都有 那么当 趋于 时, 的极限是 ,记作

如果 ,能够证明当 时,有 方程 给出了一种计算矢量函数极限的方法。

例2 如果 那么

矢量函数的连续性与标量函数的连续性类似。

定义

矢量函数 处连续的条件是 。如果矢量函数在定义域上的每一点都连续,那么是连续函数。

从公式 可以知道,矢量函数 处连续,等价于各个分量在该点处都连续。

根据连续定义,当矢量函数 处连续,则有 所以 因此 也在 处连续。

上述证明过程可逆,所以当三个分量在 处连续,可以推导出 在该点也连续。

例3

(1)图 12.2 和 12.4 上的曲线是连续的,因为各个分量函数在 上是连续的。

(2)函数 在每个整数处是不连续的,因为函数 在每个整数处不连续。

微分和运动

假定 是沿着曲线运动的粒子的位置矢量, 的可微函数。那么时间 的位置差是 如下图所示。

对各个分量而言 趋于零时, 趋于 趋于点 的切线,商 趋于极限

定义

如果函数 处可导,那么矢量函数 处也可导。矢量函数的导数是

如果矢量函数 在定义域上的每一点都可导,那么它是可导函数。如果 连续且始终不为 ,那么 表示的曲线是光滑的。这意味 的一阶导连续且不同时为零。

导数定义的几何含义如上图所示。点 对应的位置矢量是 ,矢量 可以用 表示。对于 ,标量积 的方向一致。当 时,这个矢量趋于点 处切线矢量。非零矢量 可以定义了点 处的切线矢量。点 处的切线通过该点且平行于矢量 。对于光滑曲线,我们要求 ,这确保每一点处切线连续变化,没有拐角或尖点。

由有限个光滑曲线去程的曲线称为分段光滑(piecewise smooth)曲线。如下图所示。

时, 指向运动方向。 方向一致。当 时, 与运动方向相反,但 方向与 方向相反,所以与运动方向一致。所以不管 的取值是正还是负, 始终与运动方向一致,那么非零矢量 也与运动方向一致。对于光滑曲线, 始终不为零,粒子不会停下来或反向运动。

定义

如果 是粒子沿着光滑曲面运动时的位置矢量,那么 是速度矢量,与曲线相切。任意时刻 的方向都与运动方向一致, 的大小是速度,如果其导数 存在,表示粒子的加速度矢量。 1. 速度是位置的导数 2. 速度的大小是速率 3. 速度的导数是加速度 4. 单位矢量 时刻时运动的方向

例4 粒子运动的位置矢量 ,求速度、速率、加速度。给出速度矢量 时的草图。

解:速度和加速度矢量分别是 速率是 时,

微分法则

因为矢量的导数可以由各个分量计算得到,因此矢量导数的法则与标量函数的导数运算法则一致。

矢量函数的微分法则

的可微矢量函数, 是常矢量, 是任意标量, 是任意标量函数。 1. 常量函数法则 2. 标量乘法法则 3. 加法法则 4. 减法法则 4. 点积法则 5. 叉积法则 6. 链式法则

假定 下面证明上述各个法则,在语义明确的情况下,会省略函数变量

根据矢量函数导数定义有 标量乘法法则 加法法则 减法法则证明与加法法则证明类似,仅需要将上述过程 前面的加号替换成减号即可。

点积法则 叉积法则

根据导数的定义 分子减去再加上 最后一步成立的条件是如果两个矢量极限存在,那么极限的叉积等于这两个矢量叉积的极限。

这里插入对上述命题的证明。令 那么 计算行列式仅涉及标量函数,而根据标量函数极限的乘法规则,乘积的极限等于极限的乘积。所以

随着 趋于零, 处可导,那么 所以 处连续,那么 趋于 。因此 链式法则

可导矢量函数, 的可导标量函数。那么 的可导标量函数,那么根据标量函数的链式法则可以得到

固定长度的矢量函数

一个粒子沿着球面运动,假定球心位于原点,那么位置矢量的长度是固定值,即球的半径。

速度矢量 与运动路径相切,即与球面相切,因此与 垂直。这个结论对可导的固定长度的矢量函数均成立:矢量与一阶导正交。因为 点积为零,因此 垂直。

如果 的可导矢量函数,并且 的长度固定,那么

上述推导的每一步均可逆,因此与自己的一阶导正交的矢量函数,长度是固定值。