微分方程

]]
得到的泵浦外殼熱分佈圖，假設外界是較低溫度的溫度分佈，熱由泵浦內部傳出，由外界冷卻。]]

微分方程（，DE）是一種數學方程，用來描述某一類函数與其导数之间的关系。微分方程的解是一個滿足方程的函數，通常微分方程的解並不唯一，經常要給定恰當的初始條件或邊界條件才能確定。而在初等数学的代数方程裡，其解是常数。

微分方程的应用十分广泛，可以解决许多与导数有关的问题。物理学中许多涉及变力的运动学、动力学问题，如空气阻力為速度函數的自由落體运动等问题，很多可以用微分方程求解。此外，微分方程在化学、工程学、经济学和數理生物學等领域都有应用。

数学领域对微分方程的研究着重在几个不同的面向，但大多数都是关心微分方程的解。只有少数简单的微分方程可以求得解析解。不过即使没有找到其解析解，仍然可以确认其解的部份性质。在无法求得解析解时，可以利用数值分析的方式，利用电脑来找到其数值解。 动力系统理论强调对于微分方程系统的量化分析，而许多数值方法可以计算微分方程的数值解，且有一定的准确度。

分類
微分方程可分為以下幾類，而隨著微分方程種類的不同，其相關研究的方式也會隨之不同。

常微分方程及偏微分方程

• 常微分方程（ODE）是指一微分方程的未知數是單一自變數的函數。最簡單的常微分方程，未知數是一個實數或是複數的函數，但未知數也可能是一個向量函數或是矩陣函數，後者可對應一個由常微分方程組成的系統。微分方程的表达通式是：

:f\left(x, \frac{d^n y}{dx^n},\frac{d^{(n-1)} y}{dx^{(n-1)}},\cdots, \frac{dy}{dx}, y\right)=0

:常微分方程常依其階數分類，階數是指自變數導數的最高階數，截至2018年8月此問題仍尚未被證明。

線性微分方程常常用來近似非線性微分方程，不過只在特定的條件下才能近似。例如單擺的運動方程為非線性的微分方程，但在小角度時可以近似為線性的微分方程。

舉例
以下是常微分方程的一些例子，其中u為未知的函數，自變數為x，c及\omega均為常數。

• 非齊次一階常係數線性微分方程：

:: \frac{du}{dx} = cu+x^2.

• 齊次二階線性微分方程：

:: \frac{d^2u}{dx^2} - x\frac{du}{dx} + u = 0.

• 描述諧振子的齊次二階常係數線性微分方程：

:: \frac{d^2u}{dx^2} + \omega^2u = 0.

• 非齊次一階非線性微分方程：

:: \frac{du}{dx} = u^2 + 1.

• 描述長度為L的單擺的二階非線性微分方程：

:: L\frac{d^2u}{dx^2} + g\sin u = 0.

以下是偏微分方程的一些例子，其中u為未知的函數，自變數為x及t或者是x及y。

• 齊次一階線性偏微分方程：

:: \frac{\partial u}{\partial t} + t\frac{\partial u}{\partial x} = 0.

• 拉普拉斯方程，是橢圓型的齊次二階常係數線性偏微分方程：

:: \frac{\partial^2 u}{\partial x^2} + \frac{\partial^2 u}{\partial y^2} = 0.

• KdV方程，是三階的非線性偏微分方程：

:: \frac{\partial u}{\partial t} = 6u\frac{\partial u}{\partial x} - \frac{\partial^3 u}{\partial x^3}.

性質
普遍性的數學描述
許多物理或是化學的基本定律都可以寫成微分方程的形式。在生物學及經濟學中，微分方程用來作為複雜系統的數學模型。微分方程的數學理論最早是和方程對應的科學領域一起出現，而微分方程的解就可以用在該領域中。不過有時二個截然不同的科學領域會形成相同的微分方程，此時微分方程對應的數學理論可以看到不同現象後面一致的原則。

例如考慮光和聲音在空氣中的傳播，以及池塘水面上的波動，這些都可以用同一個二階的偏微分方程來描述，此方程即為波動方程，因此可以將光和聲音視為一種波，和水面上的水波有些類似之處。約瑟夫·傅立葉所發展的熱傳導理論，其統御方程是另一個二階偏微分方程－熱傳導方程式，扩散作用看似和熱傳導不同，但也適用同一個統御方程，而金融數學中的布萊克-休斯方程也和熱傳導方程式有關。

微分方程的解
微分方程的解通常是一个函数表达式y=f(x)\,（含一个或多个待定常数，由初始条件确定）。例如：

: \frac{dy}{dx}=\sin x，

的解是

: y=-\cos x+C，

其中C是待定常数；

例如，如果知道

: y=f(\pi)=2，

则可推出

:C=1，

而可知 y=-\cos x+1，

簡易微分方程的求解方法
一階線性常微分方程
對於一階線性常微分方程，常用的方法是常數變易法：

對於方程：y'+p(x)y+q(x)=0

可知其通解：y=C(x)e^{-\int p(x)\, dx}

然後將這個通解代回到原式中，即可求出C(x)的值

二階常係數齊次常微分方程
對於二階常係數齊次常微分方程，常用方法是求出其特征方程的解

對於方程：y*+py'+qy=f(x)

其特征方程：r^2+pr+q=0

根據其特征方程，判斷根的分佈情況，然後得到方程的齊解：
y_h=c_1 y_1+c_2 y_2

一般的齊解形式為

（在r_1=r_2的情況下）:y_h=(C_1+C_2 x) e^{r x}

（在r_1\neq r_2的情況下）:y_h=C_1 e^{r_1 x}+C_2 e^{r_2 x}

（在共軛複數根的情況下）：y_h=e^{\alpha x} (C_1 \cos (\beta x) + C_2 \sin (\beta x))

接者再解特解 y_p,可用微分算子計算出
最後,得 y=y_h+y_p

約束條件
微分方程的約束條件是指其解需符合的條件，依常微分方程及偏微分方程的不同，有不同的約束條件。

常微分方程常見的約束條件是函數在特定點的值，若是高階的微分方程，會加上其各階導數的值，有這類約束條件的常微分方程稱為初值問題。

若是二階的常微分方程，也可能會指定函數在二個特定點的值，此時的問題即為邊界值問題。若邊界條件指定二點數值，稱為狄利克雷邊界條件（第一類邊值條件），此外也有指定二個特定點上導數的邊界條件，稱為諾伊曼邊界條件（第二類邊值條件）等。

偏微分方程常見的問題以邊界值問題為主，不過邊界條件則是指定一特定超曲面的值或導數需符定特定條件。

解的存在性及唯一性
存在性是指給定一微分方程及約束條件，判斷其解是否存在。唯一性是指在上述條件下，是否只存在一個解。

針對常微分方程的初值問題，皮亚诺存在性定理可判別解的存在性，柯西-利普希茨定理則可以判別解的存在性及唯一性。

針對偏微分方程，可以判別解的存在性及唯一性。
皮亚诺存在性定理可以判斷常微分方程初值問題的解是否存在。

歷史
微分方程的起源約在十七世紀末，为了解决物理及天文学问题而產生，大約和微積分的發展同時。惠更斯在1693年的《教师学报》中提到常微分方程，雅各布·白努利在1691年建立悬链线的微分方程，並求得其函數。微分方程在十八世紀中期成為一個獨立的學科，而微分方程也帶動許多當時的科學發展，例如海王星的發現就和微分方程的分析有關。

偏微分方程是由傅立葉開始的，他在1822年發表《熱的解析理論》，提出熱傳導方程的偏微分方程，並且利用分離變數法求得級數解，並且開始有關傅立葉級數的研究。另外在十九世紀有關 拉普拉斯方程的研究也是偏微分方程的重要发展。拉普拉斯和泊松都有許多的貢獻，後來喬治·格林提出了相關格林函數及格林公式等概念，並帶動斯托克斯、麦克斯韦及後來電磁學相關的研究。而流體力學的纳维-斯托克斯方程及彈性介質的也是在十九世紀提出的偏微分方程。。後來許多的理論都是以偏微分方程的形式出現，量子力學的基礎方程式薛丁格方程也是偏微分方程，廣義相對論中的愛因斯坦重力場方程式也有類似偏微分的協變導數。

相關概念

• 時滯微分方程（DDE）是一個單一自變數的方程，此變數一般稱為時間，未知數在某一時間的導數和特定函數在之前時間的值有關。
• 隨機微分方程（SDE）是一個未知數為隨機過程，且方程中有包括已知隨機過程（例如维纳过程）的方程，不過雖名為微分方程，其中沒有微分項。
• （DAE）是包括自變數微分項的方程，但是為自變數微分項的隱函數。

和差分方程的關係
微分方程的理論和差分方程的理論有密切的關係，後者的座標只允許離散值，許多計算微分方程數值解的方法或是對於微分方程性質的研究都需要將微分方程的解近似為對應差分方程的解。

著名的微分方程
應用數學

• 隨機分析中的统计力学擴散方程，福克-普朗克方程，朗之萬方程，费曼-卡茨公式
• 複變分析中的柯西－黎曼方程

物理及工程

• 動力學中的牛頓第二運動定律
• 經典力學中的歐拉－拉格朗日方程，哈密頓力學
• 分析力學中的拉格朗日方程式
• 熱力學中的牛頓冷卻定律，熱傳導方程式
• 波动方程
• 亥姆霍茲方程
• 電磁學中的麦克斯韦方程组
• 定義调和函数的拉普拉斯方程
• 泊松方程
• 廣義相對論中的爱因斯坦场方程
• 量子力學中的薛丁格方程式
• 測地線
• 流體力學中的納維－斯托克斯方程式，對流－擴散方程
• 分子動力學中的泊松－玻爾茲曼方程

*

• 通用微分方程
• 勞侖次吸子，其解包括了混沌理論
• 天文學中的希爾微分方程

生物學
*威尔霍斯特方程–生物族群增長模型
*個體成長模型–生物個體增長模型
*马尔萨斯模型
*洛特卡－沃爾泰拉方程–掠食者和獵物的動態模型
*–應用在生物數學中
*–神經的动作电位

金融工程學
*布萊克-休斯方程

經濟學
*索洛模型
*

機器學習
*神經微分方程
*物理信息神經網絡

参见

• 线性微分方程
• 拉普拉斯变换
• 常微分方程
• 偏微分方程
• 初值問題
• 边值问题
• 微分算子

另见

• 積分方程

參考資料
參考文獻

• D. Zwillinger, Handbook of Differential Equations (3rd edition), Academic Press, Boston, 1997.
• A. D. Polyanin and V. F. Zaitsev, Handbook of Exact Solutions for Ordinary Differential Equations (2nd edition), Chapman & Hall/CRC Press, Boca Raton, 2003. ISBN 978-1-58488-297-8.
• W. Johnson, [http://www.hti.umich.edu/cgi/b/bib/bibperm?q1=abv5010.0001.001 A Treatise on Ordinary and Partial Differential Equations] , John Wiley and Sons, 1913, in [http://hti.umich.edu/u/umhistmath/ University of Michigan Historical Math Collection]
• E. L. Ince, Ordinary Differential Equations, Dover Publications, 1956
• E. A. Coddington and N. Levinson, Theory of Ordinary Differential Equations, McGraw-Hill, 1955
• P. Blanchard, R. L. Devaney, G. R. Hall, Differential Equations, Thompson, 2006
• P. Abbott and H. Neill, Teach Yourself Calculus, 2003 pages 266-277
• R. I. Porter, Further Elementary Analysis, 1978, chapter XIX Differential Equations