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