微分方程

**微分方程式**（英語：Differential equation，**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$

　
: 常微分方程式常依其階數分類，階數是指自變數導數的最高階數，最常見的二種為一階微分方程式及二階微分方程式。例如以下的貝塞爾方程式：

　
: : $x^{2}{\frac {d^{2}y}{dx^{2}}}+x{\frac {dy}{dx}}+(x^{2}-\alpha ^{2})y=0$

　
: （其中 y 為應變數）為二階微分方程式，其解為貝索函數。

* 偏微分方程式（PDE）是指一微分方程式的未知數是多個自變數的函數，且方程式式中有未知數對自變數的偏微分。偏微分方程式的階數定義類似常微分方程式，但更細分為橢圓型、雙曲線型及拋物線型的偏微分方程式，尤其在二階偏微分方程式中上述的分類更是重要。有些偏微分方程式在整個自變數的值域中無法歸類在上述任何一種型式中，這種偏微分方程式則稱為混合型。像以下的方程式就是偏微分方程式：

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

### 線性及非線性

常微分方程式及偏微分方程式都可以分為線性及非線性二類。

若微分方程式中沒有出現應變數及其微分項的乘積，此微分方程式為線性微分方程式，否則即為**非線性微分方程式**。

**齊次線性微分方程式**是線性微分方程式中更細的分類，微分方程式的解乘上一係數或是與另一個解相加後的結果仍為微分方程式的解。

若線性微分方程式的係數均為常數，則為**常係數線性微分方程式**。常係數線性微分方程式可以利用拉氏轉換轉換為代數方程式，因此簡化求解的過程。

針對非線性的微分方程式，只有相當少數的方法可以求得微分方程式的解析解，而且這些方法需要微分方程式有特別的對稱性。長時間時非線性微分方程式可能會出現非常複雜的特性，也可能會有混沌現象。有關非線性微分方程式的一些基本問題，例如解的存在性、唯一性及初始值非線性微分方程式的適定性問題，以及邊界值非線性微分方程式都是相當難的問題，甚至針對特定非線性微分方程式的上述基本問題都被視為是數學理論的一大突破。例如 2000 年提出的 7 個千禧年大獎難題中，其中一個是納維 - 斯托克斯存在性與光滑性，都是探討納維－斯托克斯方程式式其解的數學性質，截至 2018 年 8 月此問題仍尚未被證明。

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

### 舉例

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

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

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

* 齊次二階線性微分方程式：

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

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

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

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

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

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

　
: : $L{\frac {d^{2}u}{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^{rx}$

（在 $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))$

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

### 約束條件

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

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

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

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

### 解的存在性及唯一性

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

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

針對偏微分方程式，柯西 - 克瓦列夫斯基定理可以判別解的存在性及唯一性。
皮亞諾存在性定理可以判斷常微分方程式初值問題的解是否存在。

## 歷史

微分方程式的起源約在十七世紀末，為了解決物理及天文學問題而產生，大約和微積分的發展同時。惠更斯在 1693 年的《教師學報》中提到常微分方程式，雅各布・白努利在 1691 年建立懸鏈線的微分方程式，並求得其函數。微分方程式在十八世紀中期成為一個獨立的學科，而微分方程式也帶動許多當時的科學發展，例如海王星的發現就和微分方程式的分析有關。

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

## 相關概念

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

## 和差分方程式的關係

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

## 著名的微分方程式

### 生物學

* 威爾霍斯特方程式–生物族群增長模型
* 個體成長模型–生物個體增長模型
* 洛特卡－沃爾泰拉方程式–掠食者和獵物的動態模型
* 複製方程式–應用在生物數學中
* Hodgkin-Huxley 模型–神經的動作電位

### 經濟學

* 布萊克 - 休斯方程式
* 索洛模型
* 馬爾薩斯模型
* 塞西廣告模型

## 參見

* 線性微分方程式
* 拉普拉斯轉換
* 常微分方程式
* 偏微分方程式
* 初值問題
* 邊值問題
* 微分算子

## 參考資料

### 參考文獻

* 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, _A Treatise on Ordinary and Partial Differential Equations_ （頁面存檔備份，存於網際網路檔案館）, John Wiley and Sons, 1913, in 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