Abstract:Differential-elimination algorithms apply a finite number of differentiations and eliminations to systems of partial differential equations. For systems that are polynomially nonlinear with rational number coefficients, they guarantee the inclusion of missing integrability conditions and the statement of of existence and uniqueness theorems for local analytic solutions of such systems. Further, they are useful in obtaining systems in a form more amenable to exact and approximate solution methods. Maple's \maple{dsolve} and \maple{pdsolve} algorithms for solving PDE and ODE often automatically call such routines during applications. Indeed, even casual users of Maple's dsolve and pdsolve commands have probably unknowingly used Maple's differential-elimination algorithms. Suppose that a system of PDE has been reduced by differential-elimination to a system whose automatic existence and uniqueness algorithm has been determined to be finite-dimensional. We present an algorithm for rewriting the output as a system of parameterized ODE. Exact methods and numerical methods for solving ODE and DAE can be applied to this form.

Classes of second order nonlinear partial differential equations reducible to first order

A reduction procedure for determining exact solutions of second order hyperbolic equations

Exact solutions for nonlinear partial differential equations via a fusion of classical methods and innovative approaches

New classification techniques for ordinary differential equations

Regularity, synthesis, rigidity and analytic classification for linear ordinary differential equations of second order

Symmetries and reductions of order for certain nonlinear third and second-order differential equations with arbitrary nonlinearity

Algorithmic reduction of polynomially nonlinear PDE systems to parametric ODE systems

The Classification of the Second-order Linear Partial Differential Equation

Model reduction techniques for parametrized nonlinear partial differential equations

A nonlocal connection between certain linear and nonlinear ordinary differential equations : Extension to coupled equations

Fourier Analysis and Nonlinear Partial Differential Equations

The first integral method and its application for finding the exact solutions of nonlinear fractional partial differential equations (PDES) in the mathematical physics

On the numerical solution of non-linear first order ordinary differential equation systems

Operational Solution of Non-Integer Ordinary and Evolution-Type Partial Differential Equations

Limit residual function method and applications to PDE models

Numerical solution of partial differential equations

Nonlinear differential equations with exact solutions

Reduction of Nonlinear Wave Equations to a Second Order Quasi linear Hyperbolic System

The first order partial differential equations resolved with any derivatives

On a class of singular nonlinear first order partial differential equations

On System of Variable Order Nonlinear p-Laplacian Fractional Differential Equations with Biological Application