An equation of the first order and of degree may be written
F\left(x, y, \frac{dy}{dx}\right) \equiv \left(\frac{dy}{dx}\right)^m + P_1\left(\frac{dy}{dx}\right)^{m-1} + \dots + P_{m-1}\frac{dy}{dx} + P_m = 0, \tag{A}where are functions of and . Theoretically, the equation may be brought into the factorised form,
where are functions of and .
Let
be the general solution of the equation
it will also be a solution of the given equation. Conversely if
is a solution of the given equation, it must satisfy one or other of the equations
It follows that every solution of (A) will be included in the solution
which is therefore the general solution. The one arbitrary constant is sufficient for complete generality, for a particular solution is obtained explicitly by solving one or other of the equations
in which has any numerical value.
Example.
In the factorised form the equation is
the two factors give rise to solutions
respectively, where is a constant. The general solution therefore is
\begin{align*} y^2 &= \frac{1}{4}(e^{c+x}-e^{-c-x})(e^{c-x}-e^{-c+x}) \\ &= \frac{1}{4}(e^{2c}+e^{-2c}-e^{2x}-e^{-2x}) \\ &= \frac{1}{2}(C-\cosh 2x), \end{align*}where .
1. Geometrical Treatment
The theory of the differential equation
may also be approached from a geometrical point of view. Replace by and regard as the third rectangular co-ordinate in space. Then the equation
represents a surface .
Let
be any solution of the differential equation, then the pair of equations
y=\phi(x), \quad z=\phi'(x)represents a space-curve which, since
F\{x, \phi(x), \phi'(x)\} = 0identically, lies upon the surface . There is not a solution of the differential equation corresponding to every curve which lies on , but only to those curves at all points of which the differential relation
is satisfied.
Let
be the parametric representation of a curve upon for which the relation
is satisfied. The projection of upon the -plane will be the curve
or
Since at all points of the curve the equation
becomes
F\{x, \phi(x), \phi'(x)\}=0,the curve , or
is an integral-curve of the equation
F(x, y, y')=0.Let the parametric representation of the surface be
then the relation
becomes
or, say,
Any solution of this differential equation is a relation between and which defines a curve on the surface such that the projection of this curve on the -plane is an integral-curve of the differential equation.
Consider, as an example, an equation which can be written in the form
The corresponding surface is then representable parametrically as
and the relation becomes
p = \frac{\partial g}{\partial x} + \frac{\partial g}{\partial p}p'.This is a differential equation of the form
let its general solution be
Then the integral-curves are the projections on the -plane of the intersection of the surface
with the family of cylindrical surfaces
The general solution of the given equation is therefore obtained by eliminating between the two equations
2. Equations in which x or y does not explicitly occur
When an equation of either of the forms
can be solved for , the equation can be integrated by quadratures. On the other hand it may occur that the equation is more readily soluble for (or as the case may be) in terms of . Let
be the solution, then, on differentiating with respect to ,
\frac{1}{p} = f'(p)\frac{dp}{dy},whence
y = c + \int p f'(p)\,dp = c+g(p).say. Then the equations
may be regarded as a parametric representation of the solution, which is obtained explicitly by eliminating between the two equations.
If the equation does not involve , it is solved for and then differentiated with respect to . The solution is then obtained in the parametric form
where
g(p) = \int p^{-1}f'(p)\,dp.More generally, it may be possible to express the equation
parametrically in the form
then, on differentiating the former with respect to ,
\frac{1}{p}\frac{dy}{dt} = u'(t),whence
y = c + \int v(t)u'(t)\,dt.The solution is then obtained by eliminating between the expressions for and . The equation
if expressible in the form
is solved by eliminating between
y=u(t) \quad \text{and} \quad x=c+\int \frac{u'(t)}{v(t)}\,dt.Example. Consider the equation
It may be represented parametrically as
Differentiate the first equation with respect to , then
whence
Thus and are expressed in terms of the parameter .
3. Equations homogeneous in x and y
An equation which is homogeneous and of degree in and may be written
If it is soluble for , equations of the type
already considered (§ 2.1.2) will arise. This case, therefore, presents no new features of interest. Consider, however, the case in which the equation is soluble for ; thus
or
Differentiate this equation with respect to , then
p = f(p) + xf'(p)\frac{dp}{dx}.Let be taken as dependent variable, then in this equation the variables are separable, and it has the solution
\log cx = \int \frac{f'(p)}{p-f(p)}\,dpor, say,
The simultaneous equations
furnish the general solution of the equation.
Example.
Solution
Solve for , thus
differentiate with respect to , then
or
whence
Eliminating from the original equation gives the required solution
4. Equations linear in x and y
A general type of equation whose solution can be obtained in a parametric form by differentiation is the following:1
The derived equation is
p = \phi(p) + \{x\phi'(p)+\psi'(p)\}\frac{dp}{dx},if is regarded as dependent variable, and as independent variable the equation may, when , be written
\frac{dx}{dp} - \frac{\phi'(p)}{p-\phi(p)}x = \frac{\psi'(p)}{p-\phi(p)}and is then a linear equation in the ordinary sense. Its solution in general involves two quadratures; let it be
then may be eliminated from the original equation, giving an expression for in the form
The general solution is thus expressed parametrically in terms of .
Consider now those particular values of , say for which
for those values of ,
Thus there arises a certain set of isolated integral curves such as
They are straight lines such that if an integral curve of the general family meets one of them, it will have, in general, an inflexion at the common point. The straight lines furnish an example of singular solutions, that is of solutions of the equation which are not included in the general family of integral curves, and not obtainable from the general solution by attributing a special value to the constant of integration.
Example.
The derived equation is
whence, if ,
The solution of this linear equation is
which, combined with the original equation, gives the required solution.
On the other hand, when , there is a solution
5. The Clairaut Equation
The Clairaut equation,2
is not included in the class of equations studied in the preceding section because, in the notation of that section,
identically, and therefore the method adopted fails.
The derived equation is
p = p + \{x+\psi'(p)\}\frac{dp}{dx};it can be satisfied either by , i.e. , a constant, or by
x+\psi'(p)=0.The first possibility, , leads to the general solution
The second possibility leads to a particular solution obtained by eliminating between the two equations
y = px + \psi(p), \quad x+\psi'(p)=0.It contains no arbitrary constant, and is not a particular case of the general solution; it is therefore a singular solution.
Now the envelope of the family of straight lines
is obtained by eliminating between this equation and
0 = x + \psi'(c),and is identical with the curve furnished by the singular solution. In the case of the Clairaut equation, therefore, the singular solution represents the envelope of the family of integral-curves.
Conversely, the family of tangents to a curve
satisfies an equation of the Clairaut form, for if
is a tangent, then
\alpha x+\beta = f(x), \quad \alpha=f'(x).The elimination of between these equations gives rise to a relation
and since, on the tangent, , the tangents satisfy the equation
Example.
Differentiating,
whence either , giving the general solution
or else
The singular solution is found by eliminating between
and is