用maple软件如何验算非线性偏微分方程的解，以及如何画解的三维立体图像