微分方程的解通常是一个函数表达式 4 L- s6 t* ]* a3 S(含一个或多个待定常数,由初始条件确定)。例如: 2 y7 J9 L# q( Y8 V0 z* V& _' B4 e. z- [/ e# n9 l1 s" d! _
的解是 6 _2 @" f) Q5 W( _) f' D8 i# D" ]( x3 K% u0 T8 [1 h
其中C是待定常数;- b' _' f: K4 u
如果知道9 R* |3 u- ?3 \6 W
( E8 r2 V8 T& B: H% t; G$ G
则可推出 ^& |# {" l% m
( [7 j$ U9 J3 M$ n/ Y$ |* @' _1 }& C' i& }& q& a9 ]
[编辑] 微分方程的线性化大部分非线性微分方程,都不能得出通解。但是,可以对其在一定范围之内进行线性化求出近似解。例如: + Z4 z* S- B& J2 W( \& c : {5 {" M# x- U$ l/ Q7 \& p. _在/ c0 f* R- U) A9 a
的情况下, 9 G; N8 N1 K, @ ,我们得到近似线性微分方程) o) j/ l: N2 ~; x: v' ^ s
7 v* A% w* M2 j
它是可解的。. [$ J: o6 U1 e$ K/ f& f
有许多特殊函数,都是为了无法得出多项函数或超越函数型式的解析解的微分方程而定义出来。这些特殊函数之所以重要,是因为它们描述了自然界中的某些现象,例如,电子的活动、鼓皮的振动、钟摆的摆动等等。 9 f& t# H( Z% {4 t6 N7 X! V( I
[编辑] 各种线性微分方程+ E/ K1 j4 b2 ~' y' m4 u B) E
[编辑] 常系数齐次线性全微分方程常系数齐次线性全微分方程 * h: b6 W" ~2 p) W; n0 S2 q" F. g. @ e/ R. ]5 B+ n5 N. F3 k, ^它的解取决于以下的特征方程: W5 ^. {8 M, ^
3 M8 R! n& g1 z4 \$ p+ @8 P
上式中 , @" Q5 u1 w: |6 O! F% p' r取代了 ! c5 Q1 z$ j6 @' O# e2 f) [ . T4 c1 b' v0 s+ j 8 c$ ^. P) ]( ]有以下特征方程 * T, ^) k* X0 t1 g; a , M3 C0 J: E/ L* m! M4 ~4 l f1 l& U/ ^它有 `7 R* `, N: D) W
四个解,解基为:* J! Y4 k- t" t L
0 ?- P$ f' K+ L+ a/ F- f' K* U$ x; O这和以下实数解基相对应:4 V. m- n) S% I: o
+ J- W* Y1 w+ w' o
如果 , ^' s; }) \ |, N' r是 & E; r) B. M( P6 T, I, }
(很可能不是实数)的根,且 . {) f$ H2 @. o) Y4 a8 O
那么 9 Q- o& i7 A9 B6 ~# `是微分方程的一个解. 这些方程组成了这个微分方程的基 . # ]+ k) q0 q4 `% X如果8 M/ J3 ~1 n$ `
是实数,那么我们更喜欢得到实数解. 因为非实数, Q" J& K0 h! s s+ y, a
值会引入共轭对, y的情况也类似; 将原来各对替换为它们实值部分Re(y)和虚值部分Im(y)的线性组合. : k# Q( h3 Q( ^4 D& S2 {复根的情况可以应用欧拉公式来解决:7 A; ]: l- ~1 T5 g: a! M
例如: 对于5 a2 t) _. G4 N
. 特征方程是% ~4 P& L0 X V$ s
有以下几个根2 + i and 2 − i. 因此,解基 {y1,y2} 为 . ^0 K8 `/ S0 D- R% p. y是根当且仅当 % k4 D& Y A0 D. n* V. d# e( C# l
; y* X$ Y5 A6 Y, X& d
.