微分方程(英文:differential equation)係方程嘅一種,講未知函數同佢自己嘅導數之間關係。佢同積分方程好密切。微分方程有兩大種:一種係常微分方程,一種係偏微分方程。另外再可以根據唔同特性(例如階數同次數)嚟細分佢哋。
微分方程喺實際應用嘅範圍好廣,除咗數學之外,喺科學、工程學、經濟學等等嘅範疇亦都有廣泛嘅用途。
適用喺可以分離一階一次常微分方程。假設嗰條微分方程係
嘅樣(例如
),就可以將嗰條微分方程啲
項(計埋
)同埋啲
項(計埋
)分開擗埋兩邊,然後兩邊一齊積鬼咗佢。冇邊界條件就一齊用不定積分,有邊界條件就一齊用定積分,辟如當
嘅時候,啲
項嗰邊就由
開始積起,啲
項嗰邊就由
開始積起,然後再將啲積咗嘅項調下位,執靚佢(顯函數就儘量寫成
嘅樣,隱函數就儘量寫成
嘅樣),噉就完事。
- 解





(係二次方程)
- 解







(係圓方程)
- 解
,其中喺
嘅時候
。



![{\displaystyle [\ln(y-3)]_{4}^{y}=\left[{\frac {x}{2}}\right]_{0}^{x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f494f1232327037d4073f625d0ee5d425d7007eb)



- 解
,其中喺
嘅時候
。




![{\displaystyle \left[{\frac {1}{2}}\ln |2y+1|\right]_{0}^{y}=\left[{\frac {x^{2}}{2}}\right]_{0}^{x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1402de0ef9d37632a832b95dab92dae6b432c5e5)



適用喺唔可以分離嘅一階常微分方程。對於個樣係
嘅微分方程,呢條方程嘅積分因子就係
(如果冇邊界條件)或者
(如果有邊界條件)。之後條方程就會變咗做一個相對容易解嘅樣:
。最後用普通嘅積分就可以解咗佢。
- 解




- i.e.





- 解
,其中喺
嘅時候
。


![{\displaystyle =e^{[-x^{2}]_{1}^{x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c90d36eabf1e2aa86cab4e409588f230ff5af245)

- i.e.



![{\displaystyle \left[e^{1-x^{2}}y\right]_{1}^{x}=\left[-{\frac {1}{4}}e^{1-2x^{2}}\right]_{1}^{x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b0cd4d0d6f4d48f87f9e9f2b773d126e0ff9826b)


對於只有兩個變量嘅函數
,佢嘅全微分係
。留意當
,其中
係常數時,我哋會有
,而後者可以寫成一絛常微分方程嘅樣,即係
,因為
同埋
都係對應剩係
同埋
嘅函數。
所以,當一條微分方程
,或者
,可以寫成
,我哋就可以將佢寫成
,然後再積一次就可以得到
,其中
係任意常數。如果係有邊界嘅情況,就可以將邊界條件擠埋落去嚟斷定個
,噉就完事。
而家剩返要做嘅嘢就係要斷定到底
同埋
會唔會令到條微分方程係一條全微分方程。根據克萊洛定理,
嘅二階混合導數係對稱嘅,即係
。但係同時,如果
同埋
令到條微分方程係一條全微分方程嘅話,我哋會有
同埋
,再加埋
同埋
,我哋可以得出個條件係
。
- 解

- 我哋可以發現
。所以,呢條方程就係一條全微分方程。噉我哋就假設有一個多變量函數
令到
同埋
。
- 我哋首先積
嗰邊,就有:

,其中
係一個只對應
嘅函數。
- 跟住,我哋考慮
嗰邊,再將呢個結果塞入去,就會有:



,其中
係常數。
- 所以
,而條微分方程嘅解就係
,其中
係常數。
- 解




- 我哋可以發現
。所以,呢條方程就係一條全微分方程。噉我哋就假設有一個多變量函數
令到
同埋
。
- 我哋首先積
嗰邊,就有:

,其中
係一個只對應
嘅函數。
- 跟住,我哋考慮
嗰邊,再將呢個結果塞入去,就會有:



,其中
係常數。
- 所以
,而條微分方程嘅解就係
,其中
係常數。
好多時候,一條一階微分方程
唔會咁容易滿足上面所講嘅條件,因為全世界有太多唔同嘅
同埋
可以揀,所以其實只有好少機會可以撞啱
呢個條件。因為噉樣,我哋需要一個有系統嘅方法嚟將一般嘅一階微分方程轉換做一條全微分方程。而呢個方法同前上面講嘅方法都有啲似,又係積分因子法。不過,今次我哋嘅假設同上面有少少唔同。上面我哋假設嘅積分因子係
,呢個係一個只對應
嘅單變量函數。但係,今次我哋假設嘅積分因子係
,而呢個係一個又對應
又對應
嘅多變量函數。
將
乘落
嘅兩邊,我哋有:
要令到呢條係一條全微分方程,我哋有:
一般嚟講,呢條方程係難解過完本嘅方程。但係,喺某啲特殊情況下,呢條方程係會相對嚟講容易啲解。以下會講三種情況,每種情況分別假設
,
同埋
。
首先,我哋睇幾時
係一個只對應
嘅函數,亦即係
。喺呢個情況下,
,而且
。所以,條式就變成:
因為
同埋
都係只對應
嘅函數,如果想呢條方程有一個非零解,噉
就要係一個只對應
嘅函數。因此,如果
係一個只對應
嘅函數,噉
,即係一個只對應
嘅函數,就已經可以做嗰條微分方程嘅積分因子。
跟著,我哋睇幾時
係一個只對應
嘅函數,亦即係
。喺呢個情況下,
,而且
。所以,條式就變成:
因為
同埋
都係只對應
嘅函數,如果想呢條方程有一個非零解,噉
就要係一個只對應
嘅函數。因此,如果
係一個只對應
嘅函數,噉
,即係一個只對應
嘅函數,就已經可以做嗰條微分方程嘅積分因子。
- 解

我哋假設
同埋
。因為
同埋
係兩個完全唔同嘅函數,呢條方程就唔係一條全微分方程。我哋就需要嘗試搵一個積分因子
出嚟,同時探討
係一個只對應
嘅函數同埋
係一個只對應
嘅函數呢兩種可能性。
試咗幾次之後,我哋會發現:
呢個咁啱係一個只有
嘅函數,所以我哋就可以用佢嚟搵積分因子
,即係:
,其中
係常數。
為簡單起見,我哋直接當
,就會有:
將呢個積分因子乘落成條方程度,就會有:
為簡略起見,呢度跳咗一兩步,想睇嘅話可以參考上面。我哋可以搵到:
,其中
係常數。
所以,條微分方程嘅解係
,其中
係常數。
假設
同埋
係兩個對應
同埋
嘅同次數齊次函數,噉
就係一條一階齊次方程。而呢條方程亦都可以寫成
嘅樣。
要解呢一類方程,我哋要假設
,亦即係
,跟著我哋會有:
將呢個結果代返落條式度,就有:
我哋成功將佢變咗做一條可以分離一階一次常微分方程,之後再用前面講過嘅變量分離法嚟解咗佢,噉就完事。
- 解

呢條方程可以寫做
。因為右手邊係一個剩係對於
嘅函數,即係
呢個樣,呢條方程就係一條一階齊次方程。或者,因為
裏面兩個項嘅次數一樣,而且同
一樣都係
,所以佢就係一條一階齊次方程。
我哋代
,就會有:
,其中
係常數。
,其中
。
適用喺常係數嘅線性齊次常微分方程,尤其喺二階或以上微分方程度用到。因為函數
(
係任意常數) 滿足微分方程
,所以喺解二階一次常微分方程
嘅時候,我哋可以假設個答案係
個樣 (
係任意常數),噉就可以將條微分方程變做一條二次方程
。解咗呢條二次方程就可以搵到條微分方程個通解,每個二次方程嘅一個解都對應住通解裏面嘅一個項。
要留意如果條二次方程有重複解,個通解裏面嘅其中一個項係
,其中
係條二次方程嘅重複根。而如果條二次方程有複數解,就利用歐拉公式將個
裏面嘅純虛部分變做三角函數。
- 解

假設個函數係
可以得到特徵方程:


或者 
將呢兩個解塞返落
呢個假設度,就可以得到通解係
,其中
同
都係任意常數。
- 解
,
,
。
假設個函數係
可以得到特徵方程:



將呢兩個解塞返落
呢個假設度,就可以得到通解係
,再用歐拉公式可以得到個通解係
。因為個函數係實函數,我哋可以直接忽略純虛部分,假設個函數係
。
根據邊界條件,有:

解方程可以得到
同埋
。所以個方程嘅解就係
。
適用喺常係數嘅線性齊次常微分方程,尤其喺二階或以上微分方程度用到。如果用呢種方法,我哋就唔使好似上面嘅特徵方程法噉樣沊啲試解落去,而係可以直接由頭推理一次個答案出嚟,都比較符合數學嘅嚴謹性。
首先,我哋要考慮微分算子係線性而且可以複合嘅。噉我哋就可以將一條二階一次常微分方程
重寫。
我哋將
嘅兩個解分別叫做
同埋
,噉根據韋達定理,
同埋
。所以:
我哋將微分算子
叫做
,條式就會變成:
將佢因式分解,就可以得到:
留意
同埋
分別又係兩個微分算子,所以佢哋係可以交換嘅。
我哋再假設
,就會有:
將佢變返做正常嘅樣,就可以解咗佢:
,其中
同埋
都係常數。
喺不失一般性嘅情況下,我哋可以用一個常數
嚟表示
。所以,就有
。
搵到
之後,我哋可以將佢塞返落
度直接搵個
出嚟:
用積分因子法,我哋就會有:
所以:
,其中
係常數。
再將
叫做
,我哋就有:
適用喺常係數嘅線性二階非齊次常微分方程,睇待定係數法。
適用喺常係數嘅線性二階非齊次常微分方程,睇參數變換法。
適用喺常係數嘅線性二階齊次常微分方程,睇拉普拉斯變換。
[1][2]