§24.4 连续向量场的旋转度
连续向量场的旋转度可以通过曲线积分来定义, 它是多元微积分应用的一个重要例子。 本节可作为习题课的补充材料。 以 为例, 设 是连续映射, 我们也称 是 上的一个连续向量场。 即对每一点 , 确定一个随 连续变化的向量 。
设 是逐段光滑的定向封闭曲线。 如果 在 上恒不取零向量, 则称 在 上非退化。 定义 , 则 把 映射到单位圆周 。 当点 在 上逆时针方向绕 一周时, 向量 在 上绕整数圈。 所绕圈数的代数和 (逆时针方向为正) 称为向量场 沿 的旋转度, 记为 。 当 是一阶连续可微向量场时, 有
若 是单连通或多连通闭区域, 由有限条逐段光滑的封闭曲线组成, 即
规定 上的定向按其与内法线成正直角的方向为正定向。 设 在 上非退化, 定义 是 沿 的所有边界的旋转度的总和, 即
以下我们都假定区域 的边界是逐段光滑的封闭曲线。
连续向量场的旋转度有下列几条性质。
若两个闭连通区域 与 的内部不相交, ,则
若在有界闭连通区域 上 非退化,则 .
证明
先设 是单连通区域, 。
当 是光滑向量场,即 时,有
其中 是 在 坐标面上的映像, 是由 所包围的区域。
当 是连续向量场时, 我们要用到 维空间中的 逼近定理 (参见命题 ): 中紧集上的连续函数可以用多项式函数任意逼近。
故 上的每一连续非退化向量场可以由光滑非退化向量场一致逼近到任意精确度。 另外, 由于旋转度是一个整数, 于是充分接近连续向量场的光滑向量场与这连续向量场都具有同样的旋转度。 这样性质2既然对光滑向量场成立, 对连续向量场自然也成立。
当 是多连通区域时, 可把 分割成若干个单连通区域来证明。
设 是有界闭区域, 则 上的同伦向量场有相同的旋转度。
证明
因为 是一个整数,且对 连续,所以当 变化时它只能是一个常数,即有
下面我们举出一些向量场旋转度应用的例子。 我们先用旋转度证明如下著名的 不动点定理在 中的形式:
设 是 中的一个有界闭凸区域, 其边界 是一条光滑闭曲线。 是自 到 的连续映射, 则在 内必存在 的一个不动点, 即 , 使 。
证明
由于 是一条光滑闭曲线, 我们知 上的沿逆时针方向的单位切向量组成 上的一个光滑的非退化向量场 , 且当 逆时针转一圈时, 也转了一圈, 即 。 同理, 设 是 上的内法向量场, 则 。 又 是自闭凸区域 映到 内的映射, 若 没有不动点, 则以 为起点, 为终点的有向线段指向切线的内侧, 即与内法向的夹角不大于 。 于是有
设 . 当 时, 在 上非退化。 时
所以 也在 上非退化。 故 与 是在 上的同伦向量场,
由性质2可知 必定是 上的退化向量场。 即 使 故 是 的不动点。 □
一般形式的 不动点定理为:
中的非空紧凸子集 上的连续自映射 必有不动点。 即存在 , 使 。
其证明要用到一些拓扑知识, 可参考 。
第二个例子是用旋转度证明代数基本定理。
(代数基本定理)复数 的 次多项式 在复域上至少有一个根。
证明
设 。 , 其中 与 分别表示复数的实部和虚部。 构造一个映射
是 上的 次多项式映射。 在复域上有根的问题归结为 在 上是否是退化向量场。
如果 是非退化向量场, 则由性质2, ,其中 表示以 为半径的单位圆周。另一方面, 我们从其他性质计算 。
我们先计算 的情况。 设对应的多项式映射为 ,则
对于一般的 次多项式 ,不妨设其首系数为 ,作复多项式的形变
可知
其中 满足 。 因此
所以当 足够大时, 在复平面的单位圆周 上取不到零点。 这说明 对应的 次多项式映射 与 在 上同伦, 。 这就证明 必定是 上的退化向量场。 也证明了 在复域中至少有一根。
最后我们用旋转度解决1995年匈牙利的 (施魏策尔) 数学竞赛中的一个积分问题。 这个积分问题在几何学和博弈论中有有趣的背景。 我们的材料取自《美国数学月刊》(1999) 第106卷227-240页。
设 和 是 上的两个可积函数,满足
证明:存在 中的某个闭区间 ,使
证明
我们定义
并令
由 的可积性, 可知 是闭的单连通区域 上的连续向量场。 如果 在 的某一点 上取零向量, 就证明了我们所要的结论。 否则, 可以考虑 。 由三条直线段组成。 在对角线 上取常值, 故旋转角度为0。 在水平边界和垂直边界上, 注意到
因而
因此水平边界的任一点的向量恰好与垂直边界上对应点的向量反向。 这说明 沿水平边界的旋转角度与其沿垂直边界的旋转角度一样。 而 , 。 故 沿垂直边界的旋转角度为 , 为整数。 所以有
由旋转度的性质2知, 必在 上某点 处取零向量, 也即
这个问题表面上看可以利用积分值关于积分区间端点的介值性质来解决,即: ,使 ,有 的连续函数值 ,使 。实际上不可行,这是因为上述 并不一定连续。比如我们考虑如下的 ,它的原函数 在 上连续可微,满足:当 时, ; ;在 上严格单调增加并在 时取到惟一极大值 ,然后严格单调减少至 时取到惟一极小值 ,然后严格单调增加至 。考察使 的点 与 。注意到此时必有 。设 ,则 ,因而 。对应地有 。当 自 连续地移向 时, 自 连续地减少。至 时, 。另一方面 时, ,故必有 。因此 不是 的连续点。
书籍模块索引
数学分析 · 章节内联关系图谱
核心知识枢纽章节
被全书其他章节引用频次最高的基石章节:
图谱交互提示
- 视角放大/缩小:使用左下角工具栏 +/- 或鼠标滚轮;
- 大书防混淆:顶部选择“按篇章/大章聚合”或“聚焦当前章”;
- 视图平移与拖拽:拖动画布或节点;双击节点直达原文。