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. 链式法则
假定 下面证明上述各个法则,在语义明确的情况下,会省略函数变量 。
根据矢量函数导数定义有 标量乘法法则 加法法则 减法法则证明与加法法则证明类似,仅需要将上述过程 前面的加号替换成减号即可。
点积法则 叉积法则
根据导数的定义 分子减去再加上 最后一步成立的条件是如果两个矢量极限存在,那么极限的叉积等于这两个矢量叉积的极限。
这里插入对上述命题的证明。令 那么 计算行列式仅涉及标量函数,而根据标量函数极限的乘法规则,乘积的极限等于极限的乘积。所以
随着 趋于零, 在 处可导,那么 所以 在 处连续,那么 趋于 。因此 链式法则
令 是 可导矢量函数, 是 的可导标量函数。那么 是 的可导标量函数,那么根据标量函数的链式法则可以得到
固定长度的矢量函数
一个粒子沿着球面运动,假定球心位于原点,那么位置矢量的长度是固定值,即球的半径。
速度矢量 与运动路径相切,即与球面相切,因此与 垂直。这个结论对可导的固定长度的矢量函数均成立:矢量与一阶导正交。因为 点积为零,因此 与 垂直。
如果 是 的可导矢量函数,并且 的长度固定,那么
上述推导的每一步均可逆,因此与自己的一阶导正交的矢量函数,长度是固定值。