微分方程 （英语：Differential equation ，DE ）是一种数学 方程 ，用来描述某一类函数 与其导数 之间的关系。微分方程的解是一个符合方程的函数 。而在初等数学的代数方程里，其解是常数值。
一个导管中气流的模拟，使用纳维-斯托克斯方程式 借由求解热方程式 得到的泵浦外壳热分布图，假设外界是较低温度的温度分布，热由泵浦内部传出，由外界冷却。 微分方程的应用十分广泛，可以解决许多与导数有关的问题[ 1] :p.1 。物理 中许多涉及变力的运动学 、动力学 问题，如空气的阻力为速度函数的落体运动等问题，很多可以用微分方程求解。此外，微分方程在化学 、工程学 、经济学 和人口统计等领域都有应用。
数学领域对微分方程的研究着重在几个不同的面向，但大多数都是关心微分方程的解。只有少数简单的微分方程可以求得解析解 。不过即使没有找到其解析解，仍然可以确认其解的部份性质。在无法求得解析解时，可以利用数值分析 的方式，利用电脑来找到其数值解。 动力系统 理论强调对于微分方程系统的量化分析，而许多数值方法可以计算微分方程的数值解，且有一定的准确度。
微分方程可分为以下几类，而随著微分方程种类的不同，其相关研究的方式也会随之不同。
常微分方程 （ODE）是指一微分方程的未知数是单一自变数的函数[ 2]
f
(
x
,
d
n
y
d
x
n
,
d
(
n
−
1
)
y
d
x
(
n
−
1
)
,
⋯
,
d
y
d
x
,
y
)
=
0
{\displaystyle f\left(x,{\frac {d^{n}y}{dx^{n}}},{\frac {d^{(n-1)}y}{dx^{(n-1)}}},\cdots ,{\frac {dy}{dx}},y\right)=0}
常微分方程常依其阶数分类，阶数是指自变数导数的最高阶数[ 1] :p.3 ，最常见的二种为一阶微分方程及二阶微分方程。例如以下的贝塞尔方程：
x
2
d
2
y
d
x
2
+
x
d
y
d
x
+
(
x
2
−
α
2
)
y
=
0
{\displaystyle x^{2}{\frac {d^{2}y}{dx^{2}}}+x{\frac {dy}{dx}}+(x^{2}-\alpha ^{2})y=0}
（其中y为应变数 ）为二阶微分方程，其解为贝塞尔函数 。 偏微分方程 （PDE）是指一微分方程的未知数是多个自变数的函数[ 2] 偏微分 。偏微分方程的阶数定义类似常微分方程，但更细分为椭圆型 、双曲线型 及抛物线型 的偏微分方程，尤其在二阶偏微分方程中上述的分类更是重要。有些偏微分方程在整个自变数的值域中无法归类在上述任何一种型式中，这种偏微分方程则称为混合型。像以下的方程就是偏微分方程：
∂
u
∂
t
+
t
∂
u
∂
x
=
0.
{\displaystyle {\frac {\partial u}{\partial t}}+t{\frac {\partial u}{\partial x}}=0.}
常微分方程及偏微分方程都可以分为线性及非线性二类。
若微分方程中没有出现应变数及其微分项的乘积，此微分方程为线性微分方程 ，否则即为非线性微分方程 。
齐次线性微分方程 是线性微分方程中更细的分类，微分方程的解乘上一系数或是与另一个解相加后的结果仍为微分方程的解。
若线性微分方程的系数均为常数，则为常系数线性微分方程 。常系数线性微分方程可以利用拉氏转换 转换为代数方程[ 1] :p.315-316 ，因此简化求解的过程。
针对非线性的微分方程，只有相当少数的方法可以求得微分方程的解析解，而且这些方法需要微分方程有特别的对称性 。长时间时非线性微分方程可能会出现非常复杂的特性，也可能会有混沌 现象。有关非线性微分方程的一些基本问题，例如解的存在性、唯一性及初始值非线性微分方程的适定性问题 ，以及边界值非线性微分方程都是相当难的问题，甚至针对特定非线性微分方程的上述基本问题都被视为是数学理论的一大突破。例如2000年提出的7个千禧年大奖难题 中，其中一个是纳维-斯托克斯存在性与光滑性 ，都是探讨纳维－斯托克斯方程式 其解的数学性质[ 3]
线性微分方程常常用来近似非线性微分方程，不过只在特定的条件下才能近似。例如单摆的运动方程为非线性的微分方程，但在小角度时可以近似为线性的微分方程。
许多物理 或是化学 的基本定律都可以写成微分方程的形式。在生物学 及经济学 中，微分方程用来作为复杂系统的数学模型 。微分方程的数学理论最早是和方程对应的科学领域一起出现，而微分方程的解就可以用在该领域中。不过有时二个截然不同的科学领域会形成相同的微分方程，此时微分方程对应的数学理论可以看到不同现象后面一致的原则。
例如考虑光和声音在空气中的传播，以及池塘水面上的波动，这些都可以用同一个二阶的偏微分方程来描述，此方程即为波动方程 ，因此可以将光和声音视为一种波，和水面上的水波有些类似之处。约瑟夫·傅立叶 所发展的热传导理论，其统御方程是另一个二阶偏微分方程－热传导方程式 ，扩散作用 看似和热传导不同，但也适用同一个统御方程，而金融数学 中的布莱克-休斯方程 也和热传导方程式 有关。
微分方程的解通常是一个函数 表达式
y
=
f
(
x
)
{\displaystyle y=f(x)\,}
d
y
d
x
=
sin
x
{\displaystyle {\frac {dy}{dx}}=\sin x}
的解是
y
=
−
cos
x
+
C
{\displaystyle y=-\cos x+C}
其中
C
{\displaystyle C}
例如，如果知道
y
=
f
(
π
)
=
2
{\displaystyle y=f(\pi )=2}
则可推出
C
=
1
{\displaystyle C=1}
而可知
y
=
−
cos
x
+
1
{\displaystyle y=-\cos x+1}
对于一阶线性常微分方程，常用的方法是常数变易法：
对于方程：
y
′
+
p
(
x
)
y
+
q
(
x
)
=
0
{\displaystyle y'+p(x)y+q(x)=0}
可知其通解：
y
=
C
(
x
)
e
−
∫
p
(
x
)
d
x
{\displaystyle y=C(x)e^{-\int p(x)\,dx}}
然后将这个通解代回到原式中，即可求出
C
(
x
)
{\displaystyle C(x)}
对于二阶常系数齐次常微分方程，常用方法是求出其特征方程 的解
对于方程：
y
″
+
p
y
′
+
q
y
=
f
(
x
)
{\displaystyle y''+py'+qy=f(x)}
其特征方程：
r
2
+
p
r
+
q
=
0
{\displaystyle r^{2}+pr+q=0}
根据其特征方程，判断根的分布情况，然后得到方程的齐解：
y
h
=
c
1
y
1
+
c
2
y
2
{\displaystyle y_{h}=c_{1}y_{1}+c_{2}y_{2}}
一般的齐解形式为
（在
r
1
=
r
2
{\displaystyle r_{1}=r_{2}}
y
h
=
(
C
1
+
C
2
x
)
e
r
x
{\displaystyle y_{h}=(C_{1}+C_{2}x)e^{rx}}
（在
r
1
≠
r
2
{\displaystyle r_{1}\neq r_{2}}
y
h
=
C
1
e
r
1
x
+
C
2
e
r
2
x
{\displaystyle y_{h}=C_{1}e^{r_{1}x}+C_{2}e^{r_{2}x}}
（在共轭复数根的情况下）：
y
h
=
e
α
x
(
C
1
cos
(
β
x
)
+
C
2
sin
(
β
x
)
)
{\displaystyle y_{h}=e^{\alpha x}(C_{1}\cos(\beta x)+C_{2}\sin(\beta x))}
接者再解特解
y
p
{\displaystyle y_{p}}
微分算子 计算出
最后,得
y
=
y
h
+
y
p
{\displaystyle y=y_{h}+y_{p}}
微分方程的约束条件是指其解需符合的条件，依常微分方程及偏微分方程的不同，有不同的约束条件。
常微分方程 常见的约束条件是函数在特定点的值，若是高阶的微分方程，会加上其各阶导数的值，有这类约束条件的常微分方程称为初值问题 。
若是二阶的常微分方程，也可能会指定函数在二个特定点的值，此时的问题即为边界值问题 。若边界条件 指定二点数值，称为狄利克雷边界条件 （第一类边值条件），此外也有指定二个特定点上导数的边界条件，称为诺伊曼边界条件 （第二类边值条件）等。
偏微分方程 常见的问题以边界值问题 为主，不过边界条件则是指定一特定超曲面 的值或导数需符定特定条件。
存在性是指给定一微分方程及约束条件，判断其解是否存在。唯一性是指在上述条件下，是否只存在一个解。
针对常微分方程的初值问题 ，皮亚诺存在性定理 可判别解的存在性，柯西-利普希茨定理 则可以判别解的存在性及唯一性。
针对偏微分方程，柯西-克瓦列夫斯基定理 皮亚诺存在性定理 可以判断常微分方程初值问题 的解是否存在。
微分方程和微积分同时被发明出来。它们都是为了解决物理及天文学问题而产生。牛顿于1671年撰写的《流数法》就已经包含有以下3种微分方程。
d
y
d
x
=
f
(
x
)
d
y
d
x
=
f
(
x
,
y
)
x
1
∂
y
∂
x
1
+
x
2
∂
y
∂
x
2
=
y
{\displaystyle {\begin{aligned}{\frac {dy}{dx}}&=f(x)\\[4pt]{\frac {dy}{dx}}&=f(x,y)\\[4pt]x_{1}{\frac {\partial y}{\partial x_{1}}}&+x_{2}{\frac {\partial y}{\partial x_{2}}}=y\end{aligned}}}
惠更斯 在1693年的《教师学报》中提到常微分方程，雅各布·白努利 在1691年建立悬链线 的微分方程，并求得其函数。微分方程在十八世纪中期成为一个独立的学科[ 4] [ 5]
偏微分方程是由傅立叶 开始的，他在1822年发表《热的解析理论》，提出热传导方程 的偏微分方程，并且利用分离变数法 求得级数解，并且开始有关傅立叶级数 的研究。另外在十九世纪有关 拉普拉斯方程 的研究也是偏微分方程的重要发展。拉普拉斯 和泊松 都有许多的贡献，后来乔治·格林 提出了相关格林函数 及格林公式 等概念，并带动斯托克斯 、麦克斯韦 及后来电磁学 相关的研究。而流体力学 的纳维-斯托克斯方程 及弹性介质的柯西动量方程 [ 5] 量子力学 的基础方程式薛丁格方程 也是偏微分方程，广义相对论 中的爱因斯坦重力场方程式 也有类似偏微分的协变导数 。
时滞微分方程 （DDE）是一个单一自变数的方程，此变数一般称为时间，未知数在某一时间的导数和特定函数在之前时间的值有关。微分代数方程 隐函数 。
微分方程的理论和差分方程 的理论有密切的关系，后者的座标只允许离散值，许多计算微分方程数值解的方法或是对于微分方程性质的研究都需要将微分方程的解近似为对应差分方程的解。
刘睦雄; 张任业. 微分方程. 华泰书局. 1988.
翁秉仁. 微分方程 . EpisteMath. 中央研究院数学所、台大数学系. [2014-01-15 ] . （原始内容 存档于2021-11-22） （中文） .
常微分方程的发展史况 . 高等数学. 北京航空航天大学现代远程教育学院. [2014-01-18 ] . （原始内容 存档于2014-01-18） （中文） .
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 
![{\displaystyle {\begin{aligned}{\frac {dy}{dx}}&=f(x)\\[4pt]{\frac {dy}{dx}}&=f(x,y)\\[4pt]x_{1}{\frac {\partial y}{\partial x_{1}}}&+x_{2}{\frac {\partial y}{\partial x_{2}}}=y\end{aligned}}}](http://wikimedia.org/api/rest_v1/media/math/render/svg/d17bdcadcae4f4602463dba2e7ad439b31c3fa5b)
