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

齊次方程與 v = y/x 的妙招

有些一階方程只依賴比值 y/x,而不分別依賴 x 與 y。把那個比值改名叫 v,纏在一起的方程就拆解成一個你早已會解的可分離方程。

當只有比值要緊時

本級的前兩篇指南教了你如何辨認 恰當方程,以及當它不恰當時,用一個 積分因子 來搭救。但有大量方程對這兩條路都不買帳。我們接下來馴服的這一族,跟恰當性完全無關——它關乎一種隱藏的對稱。有些右邊其實不在意 x 與 y 各自的值;它們只在意 比值 y/x。想像你站在某點 (x, y) 讀出斜率:如果這條規則在通過原點的同一條射線上的每一點都給你相同的斜率,那這個方程就有這種特殊結構。

把方程寫成 正規形式 dy/dx = F(x, y)。當 F 只透過 y/x 這個組合依賴 x 與 y——也就是 F(x, y) = G(y/x) 為某個單變數函數 G——它就被稱為 齊次方程(零次齊次)。一個乾淨的檢驗:到處把 x 換成 tx、把 y 換成 ty;若對每個 t 都有 F(tx, ty) = F(x, y),那些 t 就抵消了,這正是「只依賴比值」的標誌。例如 dy/dx = (x + y)/x = 1 + y/x 立刻通過;dy/dx = (x^2 + y^2)/(x y) 也通過,它等於 x/y + y/x——兩者都純粹由 y/x 搭建而成。

解鎖它的代換

如果方程只看得見比值 y/x,聰明的做法就是把那個比值當成新的未知量。令 v = y/x——這就是 v = y/x 代換,整篇指南的核心。於是 y = v x,其中 v 本身是 x 的函數。讓初學者栽跟頭的關鍵:y 是兩個都依賴 x 的東西的乘積,所以微分時你必須用乘積法則。正是這一個誠實的步驟,讓所有奇蹟發生。

用乘積法則對 y = v x 微分得 dy/dx = v + x (dv/dx)。現在把這個式子和 y/x = v 一起代入 dy/dx = G(y/x):左邊變成 v + x (dv/dx),右邊變成 G(v)。整理後得 x (dv/dx) = G(v) - v。看看剛剛發生了什麼——右邊現在只依賴 v,而 x 孤零零地當個係數。這恰恰就是一個關於 v 與 x 的 可分離方程 的形狀。於是一個 齊次方程 便是 可化為可分離形式的方程 這一族的成員;代換就是那座橋。

dy/dx = G(y/x)          (homogeneous)
  let  v = y/x   so   y = v x
  product rule:  dy/dx = v + x dv/dx
  substitute:    v + x dv/dx = G(v)
  rearrange:     x dv/dx = G(v) - v
  separate:      dv / (G(v) - v) = dx / x
  integrate both sides, then put v = y/x back
整套招式濃縮在一張卡上:把比值改名、用乘積法則微分,一個可分離方程就掉了出來。

完整走一遍

讓我們從頭到尾解出 dy/dx = (x + y)/x,好讓這套配方不再抽象。先確認它是齊次的:右邊是 1 + y/x,明顯只是比值的函數。現在按下面的步驟施行 代換法。回報是:一個我們無法在 x 與 y 中分離的問題,變成一個我們能在 x 與 v 中分離的問題。

  1. 代入 v = y/x 以及 dy/dx = v + x (dv/dx)。右邊 1 + y/x 變成 1 + v,於是 v + x (dv/dx) = 1 + v。
  2. 把兩邊的 v 消掉——這個例子送給我們的一份小禮——剩下 x (dv/dx) = 1,一個乾淨的可分離方程。
  3. 分離並積分:dv = dx/x 給出 v = ln|x| + C。(留意被丟掉的情形 x = 0,反正原方程在那裡本就無定義。)
  4. 把代換還原,寫回 v = y/x,於是 y/x = ln|x| + C,因此 y = x (ln|x| + C)。完成。

有兩個值得烙進腦裡的習慣。第一,千萬別忘了代回去:v 只是鷹架,停在 v 的答案不是用原變數寫的答案。第二,這裡 v 的輕鬆消去純屬運氣;通常 G(v) - v 是更雜亂的函數,積分 dv/(G(v) - v) 需要部分分式或它自己的另一個代換。當那個積分無法用初等函數做出時,你會得到一個把 v(也就是 y/x)與 x 聯繫起來的 隱式通解——而那仍是一個完整、誠實的答案。

為何有效,以及它的位置

幾何解釋了代數。因為 (x, y) 處的斜率只依賴 y/x,斜率場沿著從原點出發的每一條射線都一模一樣:沿一條射線向外走,那些小方向箭頭從不轉向。把整幅圖縮放 t 倍,會把解曲線映成解曲線。代換 v = y/x 不過是選了一組與那種對稱對齊的座標——而在與對稱對齊的座標下,方程就化簡,正如它必然會的那樣。這就是「巧妙代換能把方程 化為可分離形式」的深層原因:它把原變數換成方程處理起來更簡單的變數。

這正是你在本級會一再遇到的同一個策略性想法。v = y/x 代換 殺掉了比值結構;下一篇裡,另一個代換把白努利方程的非線性攤平成線性;再往後,代換馴服里卡蒂與克萊羅方程。要學的不是一招,而是一種 以代換為核心的心態:當一個方程抗拒直接積分時,問問哪個變數變換能讓它隱藏的結構現形。齊次方程是學會這個習慣最溫和、最具幾何味的起點。

提醒、近親,以及它的用武之地

誠實的附帶細則。拆分 dv/(G(v) - v) = dx/x 除以了 G(v) - v,就像一般的 分離變數 那樣,這個除法可能悄悄丟掉解。凡是 G(v) - v = 0 之處,你就有一個常數值 v = c,意思是 y = c x——一條通過原點的直線,是被積分跳過的一個貨真價實的解。所以在除法之前,先解 G(v) = v,把那些射線解親手寫下來。這跟在可分離方程中追捕 遺失常數解 是同一套紀律,只是換上了 v 的外衣。

這一切在哪裡收割成果?齊次方程出現在「只有比值具有物理意義」的任何地方——角度、長寬比、稀釋分數。一個漂亮的經典是計算 正交軌跡:給定一族曲線(例如所有通過原點的圓),與它們處處垂直相交的曲線往往滿足一個齊次方程,正好用 v = y/x 精確解出。這就是你推導出垂直於一族等位線的場線的方法。這招雖小,卻為你打開一道通往曲線族幾何的真正大門。