PDESolutionTester

PDESolutionTester is a Mathematica program for the symbolic verification of exact solutions of nonlinear partial differential equations. PDESolutionTester tests a given set of solutions to see if they satisfy the given system of partial differential equations. If there are unresolved parameters in the system or solution, PDESolutionTester will nattempt to solve for them.

Warning: This package does not work well with Log solutions because of the lack of a nice series expansion. If the package hangs while solving the coefficient system, consider reducing the SolveOrder option to 3.

Download

• Mathematica package: PDESolutionTester.m
• Demo Notebook: PDESolutionTester-Demo.nb

Related Work

• Baldwin, D., Ü. Götkas, W. Hereman, L. Hong, R. Martino, and J.C. Miller. PDESpecialSolutions, 2002.

  A Mathematica program for the symbolic computation of exact solutions expressible in hyperbolic and elliptic functions for systems of nonlinear partial differential equations.

• See Willy Hereman’s Home Page for other related software and papers.