旋度

在向量分析中，旋度刻畫了在這個點上的旋轉。旋度的方向是旋轉的軸，它由右手定則來確定，而旋度的大小是旋轉的量。如果向量場表示一個移動的流形的流速，則旋度是這個流形的環量面密度。旋度為零的向量場叫做無旋向量場。旋度是向量的一種微分形式。微積分基本定理的對應形式是開爾文-斯托克斯定理，它將向量場旋度的曲面積分關聯於這個向量場環繞邊界曲線的曲線積分。對於旋度∇ × F。前者特別用於很多歐洲國家，後者使用del運算元和叉積，更多用於其它國家。不同於梯度和散度，旋度不能簡單的推廣到其他維度；某些推廣是可能的，但是隻有在三維中，在幾何上定義的向量場旋度還是向量場。這個現象類似於三維叉積，這個聯絡反應在旋度的符號∇ ×上。旋度的名稱“curl”最初由詹姆斯·克拉克·麥克斯韋在1871年提出，但這個概念顯然最初用於James MacCullagh在1839年對光學場理論的構建中。定義.定義向量場的旋度，首先要引入環量的概念。給定一個三維空間中的向量場formula_1以及一個簡單閉合有向曲線formula_2，formula_1沿著曲線formula_2的環量就是formula_1沿著路徑formula_2的閉合曲線積分:12：formula_7其中formula_8是曲線formula_2上的線元，方向是曲線的切線方向，其正方向規定為使得閉合曲線formula_2所包圍的面積在它的左側。舉例來說，假如在河岸邊看到河中有逆時針旋轉的漩渦，那麼在漩渦範圍內，水流圍繞渦心旋轉，所以水流速度formula_11沿著逆時針圍繞漩渦的閉合曲線積分一定大於零，即是說環量大於零。這說明漩渦中的水流流速場在漩渦範圍內是轉圈旋轉的。環量和通量一樣，是描述向量場的重要引數。某個區域中的環量不等於零，說明這個區域中的向量場表現出環繞某一點或某一區域旋轉的特性:12。旋度則是區域性地描述這一特性的方法。為了描述一個向量場formula_1在一點附近的環量，選擇包括這一點的一個微小面元formula_13，考慮向量場formula_1沿其邊界曲線formula_2的環量。當面元formula_13收小，面積formula_17趨於零的時候，向量場formula_1沿著formula_2的環量和麵元formula_13面積的比值的極限值:13：formula_21稱作formula_1的環量面密度。顯然，隨著面元formula_13選取的方向不同，得到的環量面密度也有大有小。如果要表現一點附近向量場的旋轉程度，則應該表現出其最大可能值以及對應面元選取的方向。而向量場的旋度是一個向量。它在一個方向上的投影的大小表示了在這個方向上的環量面密度的大小。也就是說，formula_1在一點的旋度記為formula_25或formula_26，滿足:4-5：formula_27其中的formula_28指以單位向量formula_29為法向量的面元，formula_30指它的邊界曲線。如果用Nabla運算元formula_31表示的話，向量場formula_1的旋度記作：formula_33 從定義中可以看出，旋度是向量場的一種強度性質，就如同密度、濃度、溫度一樣，它對應的廣延性質是向量場沿一個閉合曲線的環量，所以說旋度是環量的面密度。如果一個向量場中處處的旋度都是零，則稱這個場為無旋場或保守場:13。分量表示.在不同的座標系下，向量場的旋度有不同的表達方式。直角座標系.在三維直角座標系 formula_34 中，設向量場 formula_1 為:8：formula_36，其中的 formula_37 分別是 formula_38軸、formula_39軸、formula_40軸方向上的單位向量，場的分量 formula_41 具有一階連續偏導數， 那麼在各個座標上的投影分別為：formula_42的向量叫做向量場A的旋度，也就是:14：formula_43旋度的表示式也可以用行列式記號形式表示:4-5：formula_44需要注意的是這裡的行列式記號只有形式上的意義，因為真正的行列式中的係數應該是數值而不是 formula_45 這樣的向量。這種表示方法只是便於記憶旋度在直角座標系中的表示式:78。圓柱座標系.圓柱座標系中，假設物體的位置為formula_46，定義其徑向單位向量、橫向單位向量和縱向單位向量為formula_47，那麼向量場formula_48可以表示成：formula_49，向量場A的旋度就是:87：formula_50。旋度的表示式也可以用行列式記號形式表示，比如：formula_51要注意的是：以上的行列式中元素並不是可交換的。實際計算時，展開式其中的每一項應該是第一列的元素。例如應該是formula_52而不是formula_53 後文中的球面座標系表示式也是如此。球座標系.球座標系中，假設物體的位置用球座標表示為formula_54，定義它的單位向量：formula_55，則向量場A可以表示成：formula_56向量場A的旋度就是:87：formula_57旋度的表示式也可以用行列式記號形式表示：formula_58例子.下面是兩個簡單的例子，用以說明旋度的直觀意義。第一個例子是向量場formula_59：formula_60直觀上，可以看出向量場formula_59是表示一個向順時針方向旋轉的趨勢。假如在圖中放一個點，它會被向量場“推動”，沿順時針方向繞圈運動。根據右手定則，旋度的方向應該是朝向頁面內。按照右手系座標的方向，旋度的方向是z軸的負方向。而經過計算可以得出，向量場formula_59的旋度formula_63:70和直觀的推斷相符合。以上的計算表明，旋度是一個恆定的量：formula_64。也就是說，每一點上旋轉的程度都是一樣的。旋度圖象為右圖2：第二個例子是向量場formula_65：formula_66向量場formula_65的作用是向下，越是靠近兩側，向下的趨勢越顯著。假想這個向量場是一個力場，一塊薄板水平放在圖的右邊，那麼由於更靠右的地方受到向下的力更大，薄板會順時針轉動。類似地，如果將薄板水平放在圖的左邊，則會逆時針轉動。所以formula_65的旋轉作用是右側順時針、左側逆時針，而且越偏離中心，作用越大。按照右手定則，旋度應該是右側朝z軸負方向。實際的計算可以得到：formula_69所以formula_70時是朝z軸負方向，formula_71時是朝z軸正方向，和直觀推斷相符合。旋度圖象為右圖4。性質.以下的性質都可以從常見的求導法則推出。最重要的是，旋度是一個線性運算元，也就是說:9：formula_72其中F和G是向量場，"a"和"b"是實數。設formula_73是標量函式，F是向量場，則它們的乘積的旋度為:9：formula_74或formula_75設有兩個向量場F和G，則它們的向量積的旋度為:9：formula_76一個標量場 formula_77 的梯度場是無旋場，也就是說它的旋度處處為零:14：formula_78一個向量場 formula_79 的旋度場是無源場，也就是說 formula_80 的散度處處為零:18：formula_81F 的旋度場的旋度場則有公式:14：formula_82旋度的斯托克斯公式.三維空間 formula_83 中，設 formula_2 為分段光滑的空間有向閉曲線， formula_85 是以 formula_86 為邊界的分片光滑的有向曲面，formula_2 的正向與 formula_85 的側符合右手規則，函式 formula_89 在曲面 formula_85（連同邊界 formula_2 上具有一階連續偏導數，則有formula_92用旋度表示，就是:71：formula_93這個公式是一般的斯托克斯公式的特例，在歐氏3維空間上的向量場的旋度的曲面積分和向量場在曲面邊界上的線積分之間建立了聯絡。具體就是，向量場A在某個曲面的封閉邊界線上的閉合路徑積分，等於A的旋度場在這個曲面上的積分:71。歷史.作為向量分析的基礎概念，旋度同樣源自對四元數上的微積分研究。哈密爾頓在介紹四元數的運算時，將一個四元數formula_94中的formula_95稱為“標量部分”，將formula_96稱為“向量部分”。他引入了四元數的偏微分運算元formula_97後，計算formula_98對一個四元數之向量部分formula_100的效果：formula_101formula_102麥克斯韋在1873年的論文中將其中的“標量部分”：formula_103稱為“聚集度”中討論了formula_98運算元對一個四元數formula_106的作用效果。他認為有必要將formula_107的三個部分分開，將formula_98運算元對formula_106的向量部分作用的結果分成散度部分formula_110和旋度部分formula_111:166-167。