验证给定的函数是否是对应微分方程的解