其中c1,, cn为相互独立的任常数 .
注1:称函数y (x, c1,, cn )含有n个独立常数,是指
存在(x, c1,, cn )的某一邻域,使得行列式
c1
(, ',, (n1) )
(c1, c2 ,, cn )
'
c1
(n1)
c1
c2
cn
'
c2
'
cn 0
(n1) (n1)
为了从通解中得到合乎要求的特解,必须根据实 际问题给微分方程附加一定的条件,称为定解条件.
求满足定解条件的求解问题称为定解问题.
常见的定解条件是初始条件,n阶微分方程的初
始条件是指如下的n个条件:
当x
x 0时,
y
y0 ,
dy dx
y (1) 0
,,
d (n1) y dxn1
y (n1) 0
这里x0 , y0 , y0(1) ,, y0(n1)是给定的 n 1个常数.
定义6 在通解中给任意常数以确定的值而得到的解 称ቤተ መጻሕፍቲ ባይዱ方程的特解.
例如 y sinx, y cosx都是方程 y" y 0的特解. 可在通解y c1sinx c2cosx中分别取 c1 1, c2 0,得到 : y sinx,
c1 0, c2 1,得到 : y cosx.
3 定解条件
tx
dx dt
3
x
0;
d4x d2x (4) dt4 5 dt2 3x sin t;
都是常微分方程
2.偏微分方程 如果在一个微分方程中,自变量的个数为两个或两 个以上,称为偏微分方程.
如 (5) z z z ;
x y