In[6]:= DSolve[v''[t] == 3 v'[t] - 2 v[t] - 2 v[t]^2 + 2 v[t] v'[t],
v[t], t]
Out[6]= {
{v[t] -> E^t Sqrt[-C[1]] Tan[E^t Sqrt[-C[1]] + C[2]]}}说明书里面是这么说的,DSolve includes general procedures that handle almost all the nonlinear ordinary differential equations whose solutions are given in standard reference books such as Kamke.但system of ODEs就一点说明也没有,估计消元比较残念吧(而且似乎很难设计算法不增添或者遗漏解吧),你看这个,
In[28]:= DSolve[{u'[t] == v[t], v'[t] == w[t]}, {u[t], v[t]}, t]
Out[28]= {
{u[t] ->
1/2 E^-t (1 + E^(2 t)) C[1] + 1/2 E^-t (-1 + E^(2 t)) C[2],
v[t] -> 1/2 E^-t (-1 + E^(2 t)) C[1] + 1/2 E^-t (1 + E^(2 t)) C[2]}}从解的结构可以看出来是用特征值法做的,没用消元,
我猜DSolve这个函数是对未知函数向量 {u[t], v[t]}做整体的线性或者非线性的变换,而后比对自己的函数库(MM喜欢内建已知的函数和其性质,但Simplify的功能一直很鸡肋,看起来