微分方程（这里指的是全微分方程）指含有一次、二次、乃至高次微分未知数的方程。是解决偏微分方程、数理方程的基础。微分方程的表达通式是：

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

微分方程的解

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

$\backslash frac\{dy\}\{dx\}=\backslash sin\; x\; \backslash ,$

的解是

$y=-\backslash cos\; x+C\; \backslash ,$

其中$C$是待定常数；

如果知道

$y=f(\backslash pi)=2\; \backslash ,$

则可推出

$C=1\; \backslash ,$

微分方程的线性化

大部分非线性微分方程，都不能得出通解。但是，可以对其在一定范围之内进行线性化求出近似解。例如：

$\backslash frac\{d^2\{y\}\}\{dx^2\}+\backslash sin\; y=3x$

在$y\backslash to\; 0$的情况下，$\backslash sin\; y\backslash approx\; y$ ，我们得到近似线性微分方程

$\backslash frac\{d^2\{y\}\}\{dx^2\}+y=3x$

有許多特殊函數，都是為了無法得出多項函數或超越函數型式的解析解的微分方程而定義出來。這些特殊函數之所以重要，是因為它們描述了自然界中的某些現象，例如，電子的活動、鼓皮的振動、鐘擺的擺動等等。

各种线性微分方程

常系数齐次线性全微分方程

常系数齐次线性全微分方程

$\backslash frac\; \{d^\{n\}y\}\; \{dx^\{n\}\}\; +\; A\_\{1\}\backslash frac\; \{d^\{n-1\}y\}\; \{dx^\{n-1\}\}\; +\; \backslash cdots\; +\; A\_\{n\}y\; =\; 0\backslash ,$

它的解取决于以下的特征方程：

$F(z)\; =\; z^\{n\}\; +\; A\_\{1\}z^\{n-1\}\; +\; \backslash cdots\; +\; A\_n\; =\; 0\backslash ,$

上式中 $z^k\backslash ,$ 取代了

$\backslash frac\; \{d^\{k\}y\}\; \{dx^\{k\}\}\backslash quad\backslash quad(k\; =\; 1,\; 2,\; \backslash cdots,\; n).$

$y$'-2y+2y''-2y'+y=0 \,

有以下特征方程

$z^4-2z^3+2z^2-2z+1=0\; \backslash ,$.

它有 零解, $i\backslash ,$, $-i\backslash ,$, 和 $1\backslash ,$ 四个解，解基为：

$e^\{ix\}\backslash ,$, $e^\{-ix\}\backslash ,$, $e^x\backslash ,$, $xe^x\backslash ,$.

这和以下实数解基相对应：

$\backslash cos\; x\backslash ,$, $\backslash sin\; x\backslash ,$, $e^x\backslash ,$, $xe^x\; \backslash ,$.

如果 $z\backslash ,$ 是 $F(z)\backslash ,$(很可能不是实数)的根 且 $k\backslash in\backslash \{0,1,\backslash dots,m-1\backslash \}\; \backslash ,$ 那么 $y=x^ke^\{zx\}\; \backslash ,$ 是微分方程的一个解. 这些方程组成了这个微分方程的基 .

如果 A^i\, 是实数，那么我们更喜欢得到实数解. 因为非实数$z\backslash ,$值会引入共轭对, $y$的情况也类似; 将原来各对替换为它们实部Re(y)和虚部Im(y)的线性组合.

复根的情况可以应用欧拉公式来解决：

• 例如: 对于$y$-4y'+5=0 \,. 特征方程是$z^2-4z+5=0\; \backslash ,$ 有以下几个根 2+i and 2−i. 因此，解基 $\backslash \{y\_1,y\_2\backslash \}$ 为 $\backslash \{e^\{(2+i)x\},e^\{(2-i)x\}\backslash \}\; \backslash ,$. y''是根当且仅当 $y=c\_1y\_1+c\_2y\_2\; \backslash ,$ ； $c\_1,c\_2\backslash in\backslash mathbb\; C\backslash ,$.

因为系数是实数

• 我们对复数表达式不太感兴趣;
• 我们的基是共轭表达式.

以下线性组合

$u\_1=\backslash mbox\{Re\}(y\_1)=\backslash frac\{y\_1+y\_2\}\{2\}=e^\{2x\}\backslash cos(x)\; \backslash ,$和

$u\_2=\backslash mbox\{Im\}(y\_1)=\backslash frac\{y\_1-y\_2\}\{2i\}=e^\{2x\}\backslash sin(x)\; \backslash ,$

常系数非齐次线性全微分方程

变系数全微分方程

参见

• 线性微分方程
• 拉普拉斯变换
• 常微分方程
• 偏微分方程

微分方程

Differensiaalvergelyking | Диференциално уравнение | Equació diferencial | Diferenciální rovnice | Differentialligning | Differentialgleichung | Differential equation | Ecuación diferencial | معادلات دیفرانسیل | Differentiaaliyhtälö | Équation différentielle | משוואה דיפרנציאלית | Equazione differenziale | 微分方程式 | 미분방정식 | Differentiaalvergelijking | Równanie różniczkowe | Equação diferencial | Ecuaţie diferenţială | Differentialekvation | สมการเชิงอนุพันธ์ | Diferansiyel denklemler