dsolve函数的功能_为什么Mathematica的DSolve函数会解不出显式解？？

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的功能一直很鸡肋，看起来