多變數微積分 · 向量場

向量場

向量場在定義域的每一點附上一個箭頭 F(x, y) = (P, Q);將它解讀為速度,就會帶動其中的一切。滴下墨水,觀察墨滴移動、旋轉、剪切與拉伸。

01

這個視覺化中的向量場

平面上的向量場,為定義域中的每個點 (x,y)(x, y) 指定一個向量 F(x,y)=(P(x,y), Q(x,y))\mathbf F(x, y) = (P(x, y),\ Q(x, y))。將它解讀為速度場,便會推動每個點:粒子遵循下方的自治系統,其路徑是向量場的積分曲線(也稱為流線)。本頁繪出向量場,讓墨滴和粒子隨之移動,並計算探針所在位置的 F。

場中的粒子
x′(t)=P(x,y),y′(t)=Q(x,y)x'(t) = P(x, y), \qquad y'(t) = Q(x, y)

箭頭只表示當下的速度,因此粒子並非沿著一支筆直箭頭前進,而是沿著處處與箭頭相切的曲線:在旋轉場 (−y,x)(-y, x) 中,(1, 0) 的箭頭垂直向上,墨滴中心卻沿單位圓繞行。格點箭頭共用一個比例尺,標在圖下方(少數較長的箭頭會截短並加上斜線);探針箭頭則以真實長度顯示 F(P),分量 P、Q 用虛線標示。

一小滴墨能顯示向量場在一點附近的結構。以一階近似來看,它由中心處的 F 帶動,並由場的導數矩陣造成變形:面積以相對速率 div⁡F\operatorname{div}\mathbf F 增長(有限大小的墨滴則取其範圍內的平均散度),無窮小線元素的平均旋轉速率為 12curl⁡F\tfrac12\operatorname{curl}\mathbf F;剩下的剪切與拉伸,則不是這兩個數能描述的。兩條直徑將它呈現出來:在剪切場中,到了 t = 1,一條傾斜 45°,另一條仍維持水平。

02

值得觀察的地方

  • 背景粒子會在隨機位置重新生成,因此密集程度沒有意義;要觀察膨脹,請看墨滴面積(散度,E25)。粒子的短尾跡會淡去,並不是流線——流線由另一個按鍵開啟。
  • 每滴墨放下時都從 t = 0 開始;讀值跟隨最近放下的墨滴。向前會增加 t,向後會減少 t,兩者都能穿過 0。在任一時間方向流動時,都可以繼續滴墨。負時間是從初始圓形沿同一個場反向前進,不需要錄下過去。五個線性預設範例使用矩陣指數;單擺和自行輸入的場使用帶誤差控制的數值積分。要能逆向還原,必須在整段過程中都有唯一解;已停止的點無法恢復。
  • 墨滴在離開計算區域、場發散或沒有定義的位置停止;輪廓會在該處斷開,並失去填色。這裡的場都是二維的,且不隨時間改變。
03

操作方式

  • 點選圖形可滴墨,拖曳可滴下一串墨滴(最多三滴)。開啟平移後,拖曳會移動視圖。拖曳 P 或輸入座標(−100 到 100);它會吸附到箭頭格點。可用 + − × ÷ ^、sin、exp、ln、sqrt … 輸入 P 和 Q。
  • 簡報模式會開啟適合投影的全螢幕視圖:空白鍵啟動或停止流動,→ 和 ← 設定方向,H 隱藏探針處 F 的值。分享會複製連結,重新開啟時會還原向量場、探針與當時的墨滴。
04

相關概念

延伸閱讀: 維基百科: Vector field (英文); OpenStax, Calculus Volume 3, 6.1 Vector Fields (英文).