恰當方程與隱藏的位勢函數

其實是一座曲面的方程

你已經會分離變數，也跑過附帶積分因子的線性配方。兩者都是把方程重新塑形直到能積分為止。恰當方程是一個不同、也更美的念頭：這個方程本身，就是「某一座單一曲面維持在同一高度」這句話的偽裝。想像一片山坡，它在點 (x, y) 處的高度由一個函數 F(x, y) 給出。等高線——你沿著它走卻從不上升或下降的那些路徑——正好就是曲線 F(x, y) = C，每個高度 C 對應一條。如果你的微分方程恰好描述的就是這些路徑，那麼解它不過就是把那座山叫出名字而已。

要看清這點，別把方程寫成 dy/dx = 某物，而寫成對稱的形式 M(x, y) dx + N(x, y) dy = 0。多數一階方程都能揉成這個樣子——它不過是把各部分搬動一下、讓 x 與 y 站在對等地位的正規形式。恰當方程主張的是：這個式子 M dx + N dy 正是某個隱藏函數 F 的全微分 dF。也就是說，M 是把 F 對 x 微分得到的，N 是把 F 對 y 微分得到的。

M(x, y) dx + N(x, y) dy = 0

   is exact  <=>  there is F with
        dF/dx = M   and   dF/dy = N

   then  dF = 0  along solutions
   so the general solution is  F(x, y) = C

整個想法只需四行：若 M 與 N 是同一個 F 的偏斜率，方程說的就是 dF = 0，於是 F 保持不變。

為何 dF = 0 直接把答案交到你手上

你從單變數微積分知道二元函數的連鎖律：當你沿著一條曲線移動時，高度的變化率是 dF = (dF/dx) dx + (dF/dy) dy。現在假設 M dx + N dy = 0 確實是恰當的，使得 M = dF/dx、N = dF/dy。把這些代進去，方程左邊就字面上變成了 dF。於是 M dx + N dy = 0 說的正是 dF = 0——當你沿著一條解曲線前進時，F 的高度根本不變。

一個沿著運動過程數值始終不變的量，就是一個守恆量，而 F 在這裡正配得上這個名字。函數 F 就是這個方程的 位勢函數。一旦你握有它，通解便不再需要任何積分：每一條解曲線都落在某一個等高面上，所以答案就是隱式通解 F(x, y) = C。不同的起點坐落在不同的高度、挑出不同的常數 C；一個初始條件無非是讀出你正站在哪一條等高線上而已。

交叉偏導判準

這一切只有在這樣的 F 確實存在時才美妙，而多數方程並不恰當——那座幸運的曲面根本不在那裡。所幸有一個快速、機械式、不必到處摸索的判準。若 F 存在且光滑，那麼把 M = dF/dx 對 y 微分、把 N = dF/dy 對 x 微分，會得到同一個混合二階導數，因為對光滑函數而言混合偏導與求導次序無關。這就給出 恰當性判準：方程 M dx + N dy = 0 為恰當，恰好當 dM/dy = dN/dx。

所以恰當性判準只是一行算術：算出 M 對 y 的導數、算出 N 對 x 的導數，檢查兩者是否相符。看 (2x + y) dx + (x + 2y) dy = 0。這裡 dM/dy = 1、dN/dx = 1——兩者相符，所以方程恰當，一個位勢函數正等著你。相對地，y dx - x dy = 0 的 dM/dy = 1，但 dN/dx = -1；交叉偏導打架，所以這個形式下沒有位勢曲面。不過這個不相符並非死路：緊接著的下一篇會展示一個積分因子如何乘遍全式、修復恰當性。

一塊一塊重建位勢

判準通過後，你便逐一把兩個偏導數逆轉回去，重建 F。這就是還原位勢的步驟，其中有一個值得留意的轉折。先把 M 對 x 積分，並把 y 視為固定。這就還原出 F 的大部分——但因為你把 y 當作常數，平常那個積分常數現在變成了一個未知的、只與 y 有關的函數 g(y)，而不只是一個數。F 中任何只依賴 y 的項，在你對 x 微分時都消失了，所以對 x 積分看不見它；g(y) 正是那塊遺失的部分。

先確認恰當：檢查 dM/dy = dN/dx。若兩者不同，這個形式下 F 不存在——停手，改去拿積分因子。
把 M 對 x 積分（把 y 當常數）。得到 F(x, y) =（M dx 的積分）+ g(y)，其中 g(y) 是一個僅與 y 有關的未知函數。
把你得到的 F 對 y 微分，並令結果等於 N。除了 g'(y) 之外的一切都必須抵消——這個抵消本身就是「恰當性確實成立」的內建檢驗。
解出剩下的部分得 g'(y)，對 y 積分一次得到 g(y)，再把它放回去。通解便是 F(x, y) = C。

拿 (2x + y) dx + (x + 2y) dy = 0 來跑一遍。把 M = 2x + y 對 x 積分得 F = x^2 + x y + g(y)。對 y 微分得 dF/dy = x + g'(y)，而這必須等於 N = x + 2y，於是 g'(y) = 2y、g(y) = y^2。位勢就是 F = x^2 + x y + y^2，通解為 x^2 + x y + y^2 = C——一族傾斜的橢圓，每一條都是同一座二次山丘的等高線。注意你從頭到尾沒有解過一次 y；等高面形式就是答案。

這個觀點給了你什麼，又在哪裡止步

位勢圖像不只是針對某一類題目的把戲。它是你與一個貫穿整門學科的主題的初次相遇：一個守恆量能把微分方程化成純粹的代數關係。日後，無摩擦振子中的能量、以及哈密頓系統的守恆量，都是同一個念頭披上更厚重的外衣——解被囚禁在某個不變之物的等高面上。現在認出恰當性，正是在訓練那雙日後一眼就能讀懂相圖的眼睛。

不過要誠實面對界線。恰當性是罕見的；多數方程直接通不過交叉偏導判準，而即使積分因子存在，要找到它一般也很難、沒有萬用公式。而且一如本領域的常態，握有一個整潔的隱式答案 F(x, y) = C，並不代表你就能取出顯式的 y，也不代表那條等高線對所有 x 都有定義——它可能閉合、可能掐斷、可能奔向邊界。恰當方法是一把銳利又令人滿足的工具，專為那些偷偷是等高線的特殊方程而設；它與分離變數、線性配方並列為你徒手解題工具箱的第三位成員，而非一把萬能鑰匙。