JOVANA
Library Glossary Getting Started Three Levels Fields How it works Mission
Join the mission
All guides

向量微積分:場、通量、散度與旋度

你一路攀登的一切,都在這裡匯合。不再是每一點上只有一個數,而是想像每一點上都立著一支箭頭——地圖上的風、河裡打旋的水、重力的牽引。這就是[[vector-field|向量場]];去追問它如何擴散、如何旋轉、如何流動,就引出了[[divergence-and-curl|散度與旋度]],也引出了幾條宏大的定理——它們不過是[[fundamental-theorem-of-calculus|微積分基本定理]]長大成人、走進了更高的維度。回報令人屏息:整個電與磁,濃縮成短短四行。

從數到箭頭:向量場

到目前為止,函數在每一點上交給你的是一個數——一個高度、一個溫度、一個成本。向量場交給你的,則是一支箭頭。它在平面(或空間)的每一點上掛一支小向量:一個方向,外加一個大小。最經典的圖景,就是一張佈滿風羽的天氣圖——每一處,空氣往哪個方向走、走得有多猛。洋流、熱量穿過一面牆的流動、行星附近感受到的引力牽引:這些全都是向量場。

其實你早就見過向量場,只是沒意識到。隨便取一片地貌 z = f(x, y),在每一點上算出它的梯度:你就得到每一處一支箭頭,全都指向上坡。這就是一個梯度場,它是一種特殊而溫順的向量場。很快我們就要反過來問——給你一整片密林般的箭頭,我們能不能判斷它是不是來自某片隱藏的地貌?答案,竟然藏在兩個新的度量裡。

散度與旋度:向外鋪開與就地打旋

站在流動中的某一點,問兩個截然不同的問題。第一個:離開這個點的液體,比抵達它的更多嗎?在這點周圍畫一個極小的盒子;單位體積裡淨流出的量,就是散度。散度為正,意味著這是一個——液體正在那裡被造出來,像泉眼裡咕咕冒出的水。為負,意味著是一個——液體正被吸走,像排水孔。處處為零,則意味著液體不可壓縮:流進多少,就流回多少。

第二個問題:這裡的流動會打旋嗎?在那一點把一隻極小的槳輪丟進水裡,看著它。如果水流推一邊比推另一邊更用力,輪子就會轉——而旋度量的正是這種就地的轉動:轉得有多快、繞著哪根軸。浴缸裡的漩渦有很強的旋度;筆直滑過的水流則毫無旋度。要緊的是,散度和旋度都是局部的——它們描述的是一個點的無窮小鄰域裡發生的事,並且(和微積分裡的一切一樣)是由偏導數搭起來的。

Field in 2D:  F(x, y) = ( P(x, y) , Q(x, y) )

  divergence  =  partial P / partial x  +  partial Q / partial y
                 (net outflow:  a single number, a source/sink reading)

  curl (2D)   =  partial Q / partial x  -  partial P / partial y
                 (local spin:  positive = counterclockwise twist)

  Example  F = ( x , y )   (arrows pointing straight outward):
      divergence = 1 + 1 = 2   -> a source everywhere, fluid spreading out
      curl       = 0 - 0 = 0   -> no spinning at all
兩者都由偏導數搭成:散度把「鋪開」的部分加起來,旋度則相減,逼出「擰轉」的部分。向外的場 F = (x, y) 純粹在發散,從不打旋。

線積分與那幾條宏大的推廣

現在,沿一條路徑穿過這片場走一趟,把每一步它在幫你還是在拖你累加起來。這個累計的總量,就是線積分——和定積分一樣,它是一個和的極限,只不過是沿一條穿過箭頭的曲線去取,而不是沿一根平直的坐標軸。如果這片場是一種力,線積分就是你走完這條路所做的。如果它是一股水流,它量的就是環量——這股流沿著你的回路把你推了多少。

現在,是整段攀登的頂峰了。微積分基本定理說過:要把一個導數在一段區間上加起來,你只需要它在兩個端點上的值——內部相互抵消,邊界把帳記下。向量微積分在更高的維度裡,發現了同一樁驚人的便宜。每一條宏大的定理都在說:某個導數在一片區域上的積分,等於一個只在該區域邊界上取的、更簡單的積分。

  1. 格林定理:一片平坦區域內部打旋的總旋度,等於沿它邊界迴路繞一圈的環量(線積分)。內部所有的旋轉在彼此相接處相互抵消,只剩下邊緣。
  2. 斯托克斯定理:同一個思想被抬進三維——穿過一張曲面的旋度,等於沿這張曲面邊緣繞一圈的環量。格林定理只是它在平面上的特例。
  3. 散度定理:一塊立體區域內部的總散度(所有源與匯),等於淨通量——穿過它那張包裹曲面向外流出的流量。又一次,內部的帳等於邊界的帳。

回報所在,以及下一步去哪裡

費這麼大勁搭這套機器,圖什麼?因為 1865 年,馬克士威把整套電與磁的理論——每一台馬達、每一道無線電波、每一束光——正是用這些工具寫了下來。他那四條方程,談的只有散度和旋度:電荷就是那些,它們的散度讓電場向四面鋪開;磁則沒有源(它的散度永遠為零,所以不存在孤零零的磁極);而一個變化的磁場帶著旋度,攪起一個環繞的電場,反之亦然。

就從這四行出發,馬克士威做成了一件沒有任何實驗做到過的事:他預言電場與磁場能彼此餵養、以一種自我維持的波傳播開去——並算出了它的速度恰好是光速。他由此領悟到,光就是電磁現象。這就是樸素的微積分,被推向向量場之後,能給你的那種觸及之遠。你從一條曲線上的一個斜率出發,一路爬到了點亮世界的那組方程。