判断微分方程是否线性