旋度

title: 定义.
content: 定义向量场的旋度,首先要引入环量(或称为旋涡量)的概念。给定一个三维空间中的向量场formula_1以及一个简单闭合有向曲线formula_2,formula_1沿着曲线formula_2的环量就是formula_1沿着路径formula_2的闭合曲线积分: 其中formula_8是曲线formula_2上的线元,方向是曲线的切线方向,其正方向规定为使得闭合曲线formula_2所包围的面积在它的左侧。举例来说,假如在河岸边看到河中有逆时针旋转的漩涡,那么在漩涡范围内,水流围绕涡心旋转,所以水流速度formula_11沿着逆时针围绕漩涡的闭合曲线积分一定大于零,即是说环量大于零。这说明漩涡中的水流流速场在漩涡范围内是转圈旋转的。  环量和通量一样,是描述向量场的重要参数。某个区域中的环量不等于零,说明这个区域中的向量场表现出环绕某一点或某一区域旋转的特性。旋度则是局部地描述这一特性的方法。为了描述一个向量场formula_1在一点附近的环量,选择包括这一点的一个微小面元formula_13,考虑向量场formula_1沿其边界曲线formula_2的环量。当面元formula_13收小,面积formula_17趋于零的时候,向量场formula_1沿着formula_2的环量和面元formula_13面积的比值的极限值: 称作formula_1的环量面密度(或称为环量强度)。显然,随着面元formula_13选取的方向不同,得到的环量面密度也有大有小。如果要表现一点附近向量场的旋转程度,则应该表现出其最大可能值以及对应面元选取的方向。而向量场的旋度是一个向量。它在一个方向上的投影的大小表示了在这个方向上的环量面密度的大小。也就是说,formula_1在一点的旋度记为formula_25或formula_26,满足: 其中的formula_28指以单位向量formula_29为法向量的面元,formula_30指它的边界曲线。如果用Nabla算子formula_31表示的话,向量场formula_1的旋度记作:formula_33 从定义中可以看出,旋度是向量场的一种强度性质,就如同密度、浓度、温度一样,它对应的广延性质是向量场沿一个闭合曲线的环量,所以说旋度是环量的面密度。如果一个向量场中处处的旋度都是零,则称这个场为无旋场或保守场。
title: 分量表示.
content: 在不同的坐标系下,向量场的旋度有不同的表达方式。
title: 直角坐标系.
content: 在三维直角坐标系 formula_34 中,设向量场 formula_1 为:  其中的 formula_37 分别是 formula_38轴、formula_39轴、formula_40轴方向上的单位向量,场的分量 formula_41 具有一阶连续偏导数, 那么在各个坐标上的投影分别为: 的向量叫做向量场A的旋度,也就是:  旋度的表达式也可以用行列式记号形式表示: 需要注意的是这里的行列式记号只有形式上的意义,因为真正的行列式中的系数应该是数值而不是 formula_45 这样的向量。这种表示方法只是便于记忆旋度在直角坐标系中的表达式。
title: 圆柱坐标系.
content: 圆柱坐标系中,假设物体的位置为formula_46,定义其径向单位矢量、横向单位矢量和纵向单位矢量为formula_47,那么向量场formula_48可以表示成: 向量场A的旋度就是: 旋度的表达式也可以用行列式记号形式表示(即向量积的行列式形式),比如: 要注意的是:以上的行列式中元素并不是可交换的。实际计算时,展开式其中的每一项应该是第一行的元素乘以第二行的元素再作用于第三行的元素。例如应该是formula_52而不是formula_53 后文中的球面坐标系表达式也是如此。
title: 球坐标系.
content: 球坐标系中,假设物体的位置用球坐标表示为formula_54,定义它的基矢:formula_55,则向量场A可以表示成: 向量场A的旋度就是: 旋度的表达式也可以用行列式记号形式表示(即向量积的行列式形式):
title: 例子.
content: 下面是两个简单的例子,用以说明旋度的直观意义。第一个例子是向量场formula_59(如右图1): 直观上,可以看出向量场formula_59是表示一个向顺时针方向旋转的趋势。假如在图中放一个点,它会被向量场“推动”,沿顺时针方向绕圈运动。根据右手定则,旋度的方向应该是朝向页面内。按照右手系坐标的方向,旋度的方向是z轴的负方向。而经过计算可以得出,向量场formula_59的旋度 和直观的推断相符合。以上的计算表明,旋度是一个恒定的量:formula_64。也就是说,每一点上旋转的程度都是一样的。旋度图象为右图2: 第二个例子是向量场formula_65(如右图3):  向量场formula_65的作用是向下,越是靠近两侧,向下的趋势越显著。假想这个向量场是一个力场,一块薄板水平放在图的右边,那么由于更靠右的地方受到向下的力更大,薄板会顺时针转动。类似地,如果将薄板水平放在图的左边,则会逆时针转动。所以formula_65的旋转作用是右侧顺时针、左侧逆时针,而且越偏离中心,作用越大。按照右手定则,旋度应该是右侧朝z轴负方向(指向页面内),左侧朝z轴正方向(指向页面外)。实际的计算可以得到: 所以formula_70时是朝z轴负方向,formula_71时是朝z轴正方向,和直观推断相符合。旋度图象为右图4。
title: 性质.
content: 以下的性质都可以从常见的求导法则推出。最重要的是,旋度是一个线性算子,也就是说: 其中F和G是向量场,"a"和"b"是实数。 设formula_73是标量函数,F是向量场,则它们的乘积的旋度为:  或  设有两个向量场F和G,则它们的向量积的旋度为:  一个标量场 formula_77 的梯度场是无旋场,也就是说它的旋度处处为零:formula_78  一个向量场 formula_79 的旋度场是无源场,也就是说 formula_80 的散度处处为零:formula_81  F 的旋度场的旋度场则有公式:formula_82
title: 旋度的斯托克斯公式.
content: 三维空间 formula_83 中,设 formula_2 为分段光滑的空间有向闭曲线, formula_85 是以 formula_86 为边界的分片光滑的有向曲面,formula_2 的正向与 formula_85 的侧符合右手规则,函数 formula_89 在曲面 formula_85(连同边界 formula_2 上具有一阶连续偏导数,则有 用旋度表示,就是: 这个公式是一般的斯托克斯公式(在时)的特例,在欧氏3维空间上的向量场的旋度的曲面积分和向量场在曲面边界上的线积分之间建立了联系。具体就是,向量场A在某个曲面的封闭边界线上的闭合路径积分,等于A的旋度场在这个曲面上的积分。
title: 历史.
content: 作为向量分析的基础概念,旋度同样源自对四元数上的微积分研究。哈密尔顿在介绍四元数的运算时,将一个四元数formula_94中的formula_95称为“标量部分”,将formula_96称为“向量部分”。他引入了四元数的偏微分算子formula_97(即formula_98算子)后,计算formula_98对一个四元数之向量部分formula_100的效果:  麦克斯韦在1873年的论文中将其中的“标量部分”:formula_103称为“聚集度”(Convergence),而将“向量部分”:formula_104称为“旋度”(Curl)或“变度”(Version)。他在写给泰特的信中解释了他起名“旋度”前的想法。他最初想将这一部分称为“扭曲度”(Twist),但可能会被理解为“旋扭”(screw)或“螺旋”(helix);而他想表达的概念是类似“转”(turn)或“变动”(version)。他曾想用“拧动”(Twirl)一词,但又认为它太过“活泼”(racy),对于数学家来说动感过于强烈,所以最后使用了“旋度”。海维赛德在1883年发表的论文:《电学与磁学中的若干关系》("Some Electrostatic and Magnetic Relations")中讨论了formula_98算子对一个四元数formula_106的作用效果。他认为有必要将formula_107的三个部分分开,将formula_98算子对formula_106的向量部分作用的结果分成散度部分formula_110和旋度部分formula_111。

Summary: 在向量分析中,旋度(英语:curl)是一个向量算子,表示在三维欧几里德空间中的向量场的无穷小量旋转。在向量场每个点上,点的旋度表示为一个向量,称为旋度向量。这个向量的特性(长度和方向)刻画了在这个点上的旋转。

Rotace (operátor): Rotace je matematický operátor definovaný pro vektorové funkce "n" proměnných, který v každém bodě udává lokální míru rotace (otáčení) definované tímto polem. Značí se formula_1, případně (hlavně v anglické literatuře) formula_2. Je definován jako formula_3 (kombinace operátoru nabla a vektorového součinu), ve třech rozměrech (pro funkci tří proměnných) jej lze zapsat ve tvaru: