基礎:什麼是微分方程
通解
當你解一個微分方程時,你通常得到的不是一個答案——而是一次得到一整族答案,由一個帶有可調旋鈕的公式所捕捉。通解就是那條主公式:單一個表達式,透過旋轉它的任意常數,產生出族裡的每一個成員。它回答的不是「解是什麼」,而是「全部的解是什麼」。
精確地說,n 階微分方程的通解,是一個含有 n 個任意常數的解,使得方程的每一個特解都能藉由為這些常數選定具體數值而得到。一階方程有一個常數,二階方程有兩個,依此類推——與階相符。對 y' = k y,通解是 y = C e^(kt):單一常數 C 取遍所有實數,每個值都給出一條有效的解曲線。這些常數編碼了方程本身所留下、未被確定的自由度。
通解之所以重要,是因為它是方程所允許的全部行為的完整目錄——你再藉由施加初始或邊界條件來固定常數,從中選出你想要的那一個。一句誠實的提醒:「通」不總是意味著「每一個解」。某些非線性方程擁有奇解,它們完全落在以常數參數化的族之外(克萊羅方程是經典例子)。所以對線性方程,通解確實就是全部;對非線性方程,把「通」讀作「主要的那一族」,並對漏網之魚保持警覺。
y'' + y = 0 的通解是 y = C1 cos(x) + C2 sin(x),帶有兩個任意常數,因為方程是二階的。這個方程的每一個解都是某種 C1 與 C2 的選擇——例如 C1 = 1、C2 = 0 給出 y = cos(x)。
n 階意味著通解中有 n 個任意常數。
「通」不總是字面上的「全部」。非線性方程可能有落在帶常數的族之外的奇解——克萊羅方程是標準的警示案例。
又稱
另見