一個直接交給你斜率的方程
回想一階方程能穿上的最乾淨形式:正規形式 y' = f(x, y),導數單獨擺在等號左邊。照字面去讀,就會悄悄發生一件了不起的事。把平面上任意一點 (x, y) 代進去,右邊就吐出一個數——而這個數正是「若有解通過該點,它在那裡必須具有的斜率 dy/dx」。這個微分方程並沒有把答案藏起來;它是在每一點、一次性地把斜率交到你手上。
於是整篇導覽所依賴的訣竅就在這裡。在平面上選一格一格的點。在每一點計算 f(x, y),並畫一條小短線,讓它的傾斜程度恰好等於那個斜率。你並沒有在解任何東西——你只是一遍又一遍地求一個函數的值。由此得到的那一片小短線森林就是 斜率場(也稱方向場),它在還沒求出任何一個解之前,就已是這個方程指令的完整寫照。
順著場走:解曲線浮現
現在想像把一艘小船放進這片短線之海,讓它隨波而行,使它始終與腳下的短線相切。它所描出的路徑就是一個解:一條曲線 y(x),其在每個 x 處的斜率都吻合方程所要求的值。這些曲線我們在前幾篇導覽裡已用 積分曲線 之名相識。斜率場不過是那本使用手冊;而積分曲線就是一條處處遵守它的路徑。
這正是這幅圖如此有力的原因:你能勾勒出那些根本寫不出來的解的定性行為。看 y' = x - y。在 x > y 之處短線向上傾斜,在 x < y 之處向下傾斜,而沿著直線 y = x 它們全都躺在對角線上。光是讀這些傾斜,你就能看見解從下方掃進來、轉個彎,並隨著 x 增大而緊貼直線 y = x - 1——這遠在你知道公式 y = x - 1 + C e^(-x) 之前。形狀先被看見;代數只是事後印證。
等斜線:徒手作圖的捷徑
在數百個格點上徒手計算 f(x, y) 既累又煩。有一條更聰明的路。反過來問:在平面上哪些地方斜率等於某個固定值 k?那組點就是曲線 f(x, y) = k,稱為 等斜線(「等斜率之線」)。沿著同一條等斜線,每一條短線都指向同一個方向,所以你可以一筆掃過去就畫好一整批平行的短線。
y' = x - y (so f(x,y) = x - y)
slope k isocline (where f = k) every dash there has slope...
-------- ----------------------- -------------------------
k = 0 y = x 0 (flat dashes)
k = 1 y = x - 1 1 (45 deg up)
k = -1 y = x + 1 -1 (45 deg down)
k = 2 y = x - 2 2 (steep up)一個微妙的趣味:等斜線幾乎從來都不是解曲線。沿著 y = x - 1,短線的斜率全是 1,而這條直線本身的斜率也是 1——所以在這個特例裡它「就是」一個解。但沿著 y = x,短線是水平的,直線卻在往上爬,所以解只是「橫越」它,並不沿著它走。請把這兩個概念牢牢分開:等斜線是「斜率相等之處」,解則是「服從斜率的曲線」。
不求解,也能讀懂這片場
斜率場最耀眼之處,恰恰是代數失靈之處——而那其實是常態,因為老實說,大多數常微分方程都沒有封閉形式的解。對於自治方程 y' = f(y),亦即 f 不依賴 x 的情形,這片場具有一種特殊紋理:沿著任一水平線 y = c,每條短線都長得一模一樣,於是整幅圖不過是把同一直行短線往左右複製而成。
那些水平的短線,恰恰承載了最重要的訊息。凡是 f(y) = 0 之處,斜率為零,短線呈水平,從那裡出發的解便永不移動:它是一個常數,一個平衡解 y = c,畫成一條水平直線,整片場溫和地把其他解推向它或推離它。找出平衡解、再問問附近的短線朝哪邊指,正是穩定性分析的種子——你將在建模那一級裡建立的相位線,正是把這種自治斜率場壓縮成單一鉛直軸而得。
挑出一條曲線,以及圖在哪裡向你示警
回想上一篇所述:單一方程會孕育出一整族的解,而初值問題則藉由指定曲線必須通過的某一點,恰好釘住其中一條。在斜率場裡這變得活靈活現:把手指戳在點 (x0, y0) 上,然後始終與短線相切地往前、往後描。你描出的曲線就是該初值問題的唯一解——斜率場把「解這個初值問題」化成了「描出穿過這一點的那一條路徑」。
- 把方程寫成正規形式 y' = f(x, y),使右邊在每一點給出一個斜率。
- 勾勒幾條等斜線 f(x, y) = k,並沿每條蓋上斜率為 k 的短線。
- 標出所有 f = 0 的平衡解(水平短線),並記下鄰近短線朝哪一側傾斜。
- 標上初始點 (x0, y0),並描出一條始終與短線相切的曲線,往前也往後。
對這幅圖悄悄揭示的兩個侷限,要誠實面對。其一,徒手描出的曲線會漂移;用眼睛順著短線走,其實是 尤拉法 的粗糙版本,它沿一段段直線切線前進,只有一階精度,因此小誤差會層層累積——若要忠實的曲線,你需要後面某一級才會學到的數值方法。其二,這片場能向你示警:凡短線擠進同一點之處,可能有多條解共用該點,唯一性便會失效(經典例子是 y' = y^(2/3) 在原點,無窮多條曲線從同一點離去)。凡短線轉為鉛直之處,解可能在有限的 x 內衝向無窮。斜率場不只展示解——它還指給你看:理論必須在哪裡介入。