WOLFRAM LANGUAGE TUTORIAL

# Second-Order PDEs

The general form of a linear second-order PDE is

Here , and , , , , , , and are functions of and only—they do not depend on . If , the equation is said to be homogeneous.

The first three terms containing the second derivatives are called the* principal part *of the PDE. They determine the nature of the general solution to the equation. In fact, the coefficients of the principal part can be used to classify the PDE as follows.

The PDE is said to be *elliptic* if . The Laplace equation has , , and and is therefore an elliptic PDE.

The PDE is said to be* hyperbolic* if . The wave equation has , , and and is therefore a hyperbolic PDE.

The PDE is said to be *parabolic* if . The heat equation has , , and and is therefore a parabolic PDE.

DSolve can find the general solution for a restricted type of homogeneous linear second-order PDEs; namely, equations of the form

Here , , and are constants. Thus, DSolve assumes that the equation has constant coefficients and a vanishing non-principal part.

Following are some examples of the three basic types (elliptic, hyperbolic, and parabolic) and an explanation of their significance.

Out[2]= | |

This general solution contains two arbitrary functions, C[1] and C[2]. The arguments of these functions, and , indicate that the solution is constant along the imaginary straight line when C[2]0 and along when C[1]0 . These straight lines are called characteristic curves of the PDE. In general, elliptic PDEs have imaginary characteristic curves.

Here is another elliptic PDE.

Out[3]= | |

Note the imaginary characteristic curves for the equation.

Out[5]= | |

The solution is verified as follows.

Out[6]= | |

This finds the general solution of the

wave equation, a hyperbolic PDE. The constant

in the wave equation represents the speed of light and is set to 1 here for convenience.

Out[8]= | |

The characteristic lines for the wave equation are and where is an arbitrary constant. Hence the wave equation (or any hyperbolic PDE) has two families of real characteristic curves. If initial conditions are specified for the wave equation, the solution propagates along the characteristic lines. Also, any fixed pair of characteristic lines determine the null cone of an observer sitting at their intersection.

Here is another example of a hyperbolic PDE.

Out[9]= | |

Notice that the equation has two families of real characteristics.

Out[11]= | |

The solution can be verified as follows.

Out[12]= | |

Finally, here is an example of a parabolic PDE.

Out[13]= | |

Out[15]= | |

The equation has only one family of real characteristics, the lines . In fact, any parabolic PDE has only a single family of real characteristics.

The solution can be verified as follows.

Out[16]= | |

The heat equation is parabolic, but it is not considered here because it has a nonvanishing non-principal part, and the algorithm used by DSolve is not applicable in this case.