方程y^t=e^(x-y)是什么微分方程