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. In order to verify that this solution is correct, we can calculate using parametric differentiation with respect to and check that it is indeed equal to .
- 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.
We will denote by .
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 , so , so:
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 .