3.5.10 Differential EquationsAs discussed in Section 1.5.8, you can use the Mathematica function DSolve to find symbolic solutions to ordinary differential equations. Solving a differential equation consists essentially in finding the form of an unknown function. In Mathematica, unknown functions are represented by expressions like y[x]. The derivatives of such functions are represented by y'[x], y''[x] and so on. The Mathematica function DSolve returns as its result a list of rules for functions. There is a question of how these functions are represented. If you ask DSolve to solve for y[x], then DSolve will indeed return a rule for y[x]. In some cases, this rule may be all you need. But this rule, on its own, does not give values for y'[x] or even y[0]. In many cases, therefore, it is better to ask DSolve to solve not for y[x], but instead for y itself. In this case, what DSolve will return is a rule which gives y as a pure function, in the sense discussed in Section 2.2.5. If you ask DSolve to solve for y[x], it will give a rule specifically for y[x].
Out[1]=  
The rule applies only to y[x] itself, and not, for example, to objects like y[0] or y'[x].
Out[2]=  
If you ask DSolve to solve for y, it gives a rule for the object y on its own as a pure function.
Out[3]=  
Now the rule applies to all occurrences of y.
Out[4]=  
Substituting the solution into the original equation yields True.
Out[5]=  
Getting solutions to differential equations in different forms. In standard mathematical notation, one typically represents solutions to differential equations by explicitly introducing "dummy variables" to represent the arguments of the functions that appear. If all you need is a symbolic form for the solution, then introducing such dummy variables may be convenient. However, if you actually intend to use the solution in a variety of other computations, then you will usually find it better to get the solution in purefunction form, without dummy variables. Notice that this form, while easy to represent in Mathematica, has no direct analog in standard mathematical notation.
Solving simultaneous differential equations. This solves two simultaneous differential equations.
Out[6]=  
Mathematica returns two distinct solutions for y in this case.
Out[7]=  
You can add constraints and boundary conditions for differential equations by explicitly giving additional equations such as y[0] 0. This asks for a solution which satisfies the condition y[0] 1.
Out[8]=  
If you ask Mathematica to solve a set of differential equations and you do not give any constraints or boundary conditions, then Mathematica will try to find a general solution to your equations. This general solution will involve various undetermined constants. One new constant is introduced for each order of derivative in each equation you give. The default is that these constants are named C[n], where the index n starts at 1 for each invocation of DSolve. You can override this choice, by explicitly giving a setting for the option DSolveConstants. Any function you give is applied to each successive index value n to get the constants to use for each invocation of DSolve. The general solution to this fourthorder equation involves four undetermined constants.
Out[9]=  
Each independent initial or boundary condition you give reduces the number of undetermined constants by one.
Out[10]=  
You should realize that finding exact formulas for the solutions to differential equations is a difficult matter. In fact, there are only fairly few kinds of equations for which such formulas can be found, at least in terms of standard mathematical functions. The most widely investigated differential equations are linear ones, in which the functions you are solving for, as well as their derivatives, appear only linearly. This is a homogeneous firstorder linear differential equation, and its solution is quite simple.
Out[11]=  
Making the equation inhomogeneous leads to a significantly more complicated solution.
Out[12]=  
If you have only a single linear differential equation, and it involves only a first derivative of the function you are solving for, then it turns out that the solution can always be found just by doing integrals. But as soon as you have more than one differential equation, or more than a firstorder derivative, this is no longer true. However, some simple secondorder linear differential equations can nevertheless be solved using various special functions from Section 3.2.10. Indeed, historically many of these special functions were first introduced specifically in order to represent the solutions to such equations. This is Airy's equation, which is solved in terms of Airy functions.
Out[13]=  
This equation comes out in terms of Bessel functions.
Out[14]=  
Occasionally secondorder linear equations can be solved using only elementary functions.
Out[15]=  
Beyond second order, the kinds of functions needed to solve even fairly simple linear differential equations become extremely complicated. At third order, the generalized Meijer G function MeijerG can sometimes be used, but at fourth order and beyond absolutely no standard mathematical functions are typically adequate, except in very special cases. Here is a thirdorder linear differential equation which can be solved in terms of generalized hypergeometric functions.
Out[16]=  
This requires more general Meijer G functions.
Out[17]=  
For nonlinear differential equations, only rather special cases can usually ever be solved in terms of standard mathematical functions. Nevertheless, DSolve includes fairly general procedures which allow it to handle almost all nonlinear differential equations whose solutions are found in standard reference books. Firstorder nonlinear differential equations in which does not appear on its own are fairly easy to solve.
Out[18]=  
This Riccati equation already gives a significantly more complicated solution.
Out[19]=  
This Bernoulli equation, however, has a fairly simple solution.
Out[20]=  
This Abel equation can be solved but only implicitly.
Out[21]=  
Solving partial differential equations. DSolve is set up to handle not only ordinary differential equations in which just a single independent variable appears, but also partial differential equations in which two or more independent variables appear. This finds the general solution to a simple partial differential equation with two independent variables.
Out[22]=  
Here is the result represented as a pure function.
Out[23]=  
The basic mathematics of partial differential equations is considerably more complicated than that of ordinary differential equations. One feature is that whereas the general solution to an ordinary differential equation involves only arbitrary constants, the general solution to a partial differential equation, if it can be found at all, must involve arbitrary functions. Indeed, with independent variables, arbitrary functions of variables must appear. DSolve by default names these functions C[n]. Here is a simple PDE involving three independent variables.
Out[24]=  
The solution involves an arbitrary function of two variables.
Out[25]=  
Here is the onedimensional wave equation.
Out[26]=  
The solution to this secondorder equation involves two arbitrary functions.
Out[27]=  
For an ordinary differential equation, it is guaranteed that a general solution must exist, with the property that adding initial or boundary conditions simply corresponds to forcing specific choices for arbitrary constants in the solution. But for partial differential equations this is no longer true. Indeed, it is only for linear partial differential and a few other special types that such general solutions exist. Other partial differential equations can be solved only when specific initial or boundary values are given, and in the vast majority of cases no solutions can be found as exact formulas in terms of standard mathematical functions. Since y and its derivatives appear only linearly here, a general solution exists.
Out[28]=  
This weakly nonlinear PDE turns out to have a general solution.
Out[29]=  
Here is a nonlinear PDE which has no general solution.
Out[30]=  
