常微分方程如何判断