Classification of Differential Equations
While differential equations have three basic types—ordinary (ODEs), partial (PDEs), or differentialalgebraic (DAEs), they can be further described by attributes such as order, linearity, and degree. The solution method used by
DSolve and the nature of the solutions depend heavily on the class of equation being solved.
The
order of a differential equation is the order of the highest derivative in the equation.
This is a firstorder ODE because its highest derivative is of order 1.
Out[1]=  

Here is the general solution to a fourthorder ODE.
Out[2]=  

A differential equation is linear if the equation is of the first degree in
y and its derivatives, and if the coefficients are functions of the independent variable.
This is a nonlinear secondorder ODE that represents the motion of a circular pendulum. It is nonlinear because Sin[y[x]] is not a linear function of y[x]. The Solve::ifun warning message appears because Solve uses JacobiAmplitude (the inverse of EllipticF) to find an expression for y[x].
Out[3]=  

This plots the solutions. The discontinuity in the graphs at x=3 results from the choice of inverse functions used by Solve.
Out[4]=  

It should be noted that sometimes the solutions to fairly simple nonlinear equations are only available in implicit form. In these cases,
DSolve returns an unevaluated
Solve object.
This nonlinear differential equation only has an implicit solution. The Solve::tdep messages can be ignored; they appear because Solve cannot find an explicit expression for y[x] because nonalgebraic functions ( ArcTan and Log) are involved.
Out[5]=  

When the coefficients of a linear ODE do not depend on
x, the ODE is said to have
constant coefficients.
This is an ODE with constant coefficients.
Out[6]=  

The previous equation is also
homogeneous: all terms contain
y or derivatives of
y and its righthand side is zero. Adding a function of the independent variable makes the equation
inhomogeneous. The general solution to an inhomogeneous equation with constant coefficients is obtained by adding a particular integral to the solution to the corresponding homogeneous equation.
Here, x^{2} is added to the righthand side of the previous equation, making the new equation inhomogeneous. The general solution to this new equation is the sum of the previous solution and a particular integral.
Out[7]=  

When the coefficients of an ODE depend on
x, the ODE is said to have
variable coefficients. Since equations with variable coefficients that are
rational functions of x have singularities that are easily classified, there are sophisticated algorithms available for solving them.
The coefficients of this equation are rational functions of x.
Out[8]=  

There is a close relationship between functions and differential equations. Starting with a function of almost any type, it is possible to construct a differential equation satisfied by that function. Conversely, any differential equation gives rise to one or more functions, in the form of solutions to that equation. In fact, many
special functions from classical analysis have their origins in the solution of differential equations.
Mathieu functions are one such class of special functions. Mathieu was interested in studying the vibrations of elliptical membranes. The eigenfunctions for the wave equation that describes this motion are given by products of Mathieu functions.
This linear secondorder ODE with rational coefficients has a general solution given by Mathieu functions.
Out[9]=  

The presence of ArcCos[t] in the previous solution suggests that the equation can be given a simpler form using trigonometric functions. This is the form in which these equations were introduced by Mathieu in 1868.
Out[10]=  

This plots the surface for a particular product of solutions to this equation.
Out[11]=  

The
degree of a differential equation is the highest power of the highestorder derivative in the equation.
This is a firstorder ODE of degree 2.
Out[12]=  

The higher degree leads to nonuniqueness of the solution.
Out[13]=  

The examples in this tutorial have been focused on the classification of ODEs. The classification of PDEs is similar but more involved. PDEs can also be classified by linearity or nonlinearity, order, degree, and constant or variable coefficients. More important is the classification that identifies a PDE as hyperbolic, parabolic, or elliptic. These classifications are discussed in further detail in
"SecondOrder PDEs".