# Nonlinear PDEs

The general first-order nonlinear PDE for an unknown function is given by

Here is a function of , , and .

The term "nonlinear" refers to the fact that is a nonlinear function of and . For instance, the eikonal equation involves a quadratic expression in and .

The general solution to a first-order linear or quasi-linear PDE involves an arbitrary function. If the PDE is nonlinear, a very useful solution is given by the complete integral. This is a function of u(x, y, C[1], C[2]), where C[1] and C[2] are independent parameters and u satisfies the PDE for all values of (C[1], C[2]) in an open subset of the plane. The complete integral can be used to find a general solution for the PDE as well as to solve initial value problems for it.

In[1]:= |

In[2]:= |

In[3]:= |

In[4]:= |

In[5]:= |

Out[5]= |

In[6]:= |

Out[6]= |

If the values of C[1] and C[2] are fixed, the previous solution represents a plane in three dimensions. Thus, the complete integral for this PDE is a two-parameter family of planes, each of which is a solution surface for the equation.

Next, the envelope of a one-parameter family of surfaces is a surface that touches each member of the family. If the complete integral is restricted to a one-parameter family of planes, for example by setting C[2]=5C[1], the envelope of this family is also a solution to the PDE called a general integral.

In[7]:= |

Out[7]= |

In[8]:= |

Out[8]= |

In[9]:= |

Out[9]= |

In[10]:= |

Out[10]= |

In[11]:= |

Out[11]= |

Like nonlinear ODEs, some nonlinear PDEs also have a singular solution (or singular integral) that is obtained by constructing the envelope of the entire two-parameter family of surfaces represented by the complete integral.

In[12]:= |

Out[12]= |

In[13]:= |

Out[13]= |

In[14]:= |

Out[14]= |

Thus, the singular integral for this PDE is a plane parallel to the - plane.

To summarize, the complete integral for a nonlinear PDE includes a rich variety of solutions.

- The envelope of the entire two-parameter family is a solution called the singular integral of the PDE.

- The complete integral is not unique, but any other complete integral for the PDE can be obtained from it by the process of envelope formation.

These remarkable properties account for the usefulness of the complete integral in geometrical optics, dynamics, and other areas of application. Following are various examples of nonlinear PDEs that show different kinds of complete integrals.

In[15]:= |

In[16]:= |

Out[16]= |

This complete integral is a two-parameter family of planes. This type of solution arises whenever the PDE depends explicitly only on and , but not on , , or . For a fixed value of , it is a line in the plane at a distance of C[1] units from the origin that makes an angle of ArcCos[C[2]] with the axis. This is the familiar picture of wave-front propagation from geometrical optics.

In[17]:= |

Out[17]= |

In[18]:= |

In[19]:= |

Out[19]= |

In[20]:= |

Out[20]= |

In[21]:= |

In[22]:= |

Out[22]= |

In[23]:= |

Out[23]= |

In[24]:= |

In[25]:= |

Out[25]= |

In[26]:= |

Out[26]= |

Often a coordinate transformation can be used to cast a given PDE into one of the previous types. The expression for the complete integral will then have the same form as for the standard types. Here are some examples of nonlinear PDEs for which DSolve applies a coordinate transformation to find the complete integral.

In[27]:= |

Out[27]= |

In[28]:= |

Out[28]= |

In[29]:= |

In[30]:= |

Out[30]= |

In[31]:= |

Out[31]= |

It should be noted that there is no general practical algorithm for finding complete integrals, and that the answers are often available only in implicit form.

In[32]:= |

Out[32]= |

In[33]:= |

Out[33]= |

In[34]:= |

Out[34]= |

In[35]:= |

Out[35]= |