微分方程的定解条件