一階常微分方程與定性理論

通解與特解(general and particular solution)

解微分方程通常不會只交給你一個答案——而是交給你一整族答案,像一張可以上下滑動的模板。通解就是這一整族,寫出來時裡面還浮著任意常數。特解是這族裡被固定下來的某一個成員,常數被釘成了具體的數。這個區別,就是「一切下落物體的定律」和「這塊從這道崖、在這一刻落下的特定石頭」之間的區別。

對一階方程,通解恰好攜帶一個任意常數,習慣寫作 C——例如 dy/dx = y 的通解是 y = C*e^x,一族上下疊放的指數曲線。施加初始條件(比如 y(0) = 3,得 C = 3)來固定 C,就選出一個特解 y = 3*e^x。一般地,n 階方程的通解攜帶 n 個任意常數,每階一個,你每施加一個附加條件就消耗掉一個。這些常數,正是積分後留下的、被記錄下來的「自由度」。

這是你將遇到的幾乎每一種解法背後的組織思想。對線性方程,它銳化成一條乾淨的配方——通解等於一個特解加上對應齊次方程的通解——這正是下一領域以「齊次加特解」開篇的原因。把這本帳記清楚(有幾個常數、在哪裡被固定),就是「正確地解出」一個微分方程的大半要義。

dy/dx = 2*x 的通解是 y = x^2 + C——一疊拋物線,每個 C 值對應一條。要求 y(1) = 5 選出 C = 4,給出特解 y = x^2 + 4。

通解是整族;一個附加條件挑出一個特定成員。

通解並不總是字面上的「全部解」。有些方程還容許一個奇解——一條通解中任何 C 值都複現不出來的額外曲線。所以「通」指的是「那個 n 參數族」,而非「所有解的總和」。

又稱
general solutionparticular solution通解特解