Clairaut's equation

From Calculus

Definition

Form of the differential equation

Clairaut's equation is a first-order differential equation of the form:

Here, is a suitable function.

Solution method and formula

Differentiate both sides with respect to and obtain:

Cancel the common term from both sides and obtain:

This gives two possible solution types:

Note that when we differentiated, we lost information, so it is not true that all solutions of the differentiated equation solve the original equation. Rather, we need to plug these solutions into the original equation to constrain them. We have the following:

  • The solutions for the case are straight lines of the form . This is the solution family for the general solution.
  • The solution for the case is unique: it is a parametric curve given by where is the parameter moving along the curve. This is the singular solution. The curve representing this is the envelope of the general solution curves.

Related equations

  • Lagrange equation is a more general setup that includes Clairaut's equation as a special case in terms of method, albeit a special case that is qualitatively somewhat different.

Examples

We will denote by .

Simple example

The solutions are:

  • The solution family for the general solution is , with .
  • There is a special solution given parametrically by , with . Note that this is a single solution; the parameter varies to cover the points of the solution, and it is different from the notion of parameter for a family of solutions.

Clairaut's after substitution

Consider the equation:

We first note that the expression whose cosine is being taken is the derivative of , hence the natural choice of substitution is to try for . Our next step is to try and write in terms of and . Recall that and , so . We thus get:

Rearrange to get:

This is a Clairaut's equation with dependent variable and independent variable , so the solutions are:

  • The solution family for the general solution is , with . This can be rewritten as , with .
  • There is a special solution given parametrically by , with . This can be rewritten as , with .