定义
对于一阶常微分方程组:
d x i d t = X i ( x 1 , x 2 , … , x n ) , i = 1 , 2 , … , n , \frac{dx_i}{dt} = X_i(x_1, x_2, \dots, x_n), \quad i = 1, 2, \dots, n, dtdxi=Xi(x1,x2,…,xn),i=1,2,…,n,
若存在非平凡函数 ( F(x_1, x_2, \dots, x_n) ) 满足:
d F d t = ∑ i = 1 n ∂ F ∂ x i X i = 0 , \frac{dF}{dt} = \sum_{i=1}^n \frac{\partial F}{\partial x_i} X_i = 0, dtdF=i=1∑n∂xi∂FXi=0,
则称 ( F ) 为该方程组的一个首次积分。
其特征方程为:
d x 1 X 1 = d x 2 X 2 = ⋯ = d x n X n \frac{dx_1}{X_1}=\frac{dx_2}{X_2}=\dots=\frac{dx_n}{X_n} X1dx1=X2dx2=⋯=Xndxn
常微分方程组的首次积分
对于常微分方程组 (1):
要求得 ( n ) 个独立的首次积分,是将其写成对称形:
d x 1 X 1 = d x 2 X 2 = ⋯ = d x n X n \frac{dx_1}{X_1}=\frac{dx_2}{X_2}=\dots=\frac{dx_n}{X_n} X1dx1=X2dx2=⋯=Xndxn
然后,选取 ( n+1 ) 个不同时为 ( 0 ) 的函数 ( \mu_i ) 使得:
∑ i = 0 n μ i X i = 0 \sum_{i=0}^{n}\mu_iX_i=0 i=0∑nμiXi=0
且
∑ i = 0 n μ i d x i = d φ \sum_{i=0}^{n}\mu_idx_i=d\varphi i=0∑nμidxi=dφ
那么 ( \varphi ) 就是方程组 (1) 的首次积分。
例题
题目内容
求通解:
d x m z − n y = d y n x − l z = d z l y − m x \frac{dx}{mz - ny} = \frac{dy}{nx - lz} = \frac{dz}{ly - mx} mz−nydx=nx−lzdy=ly−mxdz
Solution
- 由:
∑ i = 1 n μ i X i = 0 \sum_{i = 1}^{n}\mu_iX_i = 0 i=1∑nμiXi=0
可知可以选:( \boldsymbol{\mu}=(l,m,n) ) 或 ( \boldsymbol{\mu}=(x,y,z) )
-
分别带入由等比定理:
- l x + m y + n z = C 1 lx + my + nz = C_1 lx+my+nz=C1
- x 2 + y 2 + z 2 = C 2 x^2 + y^2 + z^2 = C_2 x2+y2+z2=C2