The Solutions of an Ordinary Differential Equation

When an ordinary differential equation is known to have been derived by the process of elimination from a primitive containing $n$ arbitrary constants, it is evident that it admits of a solution dependent upon $n$ arbitrary constants. But since it is not evident that any ordinary differential equation of order $n$ can be derived from such a primitive, it does not follow that if the differential equation is given a priori it possesses a general solution which depends upon $n$ arbitrary constants. In the formation of a differential equation from a given primitive it is necessary to assume certain conditions of differentiability and continuity of derivatives. Likewise in the inverse problem of integration, or proceeding from a given differential equation to its primitive, corresponding conditions must be assumed to be satisfied. From the purely theoretical point of view the first problem which arises is that of obtaining a set of conditions, as simple as possible, which when satisfied ensure the existence of a solution. This problem will be considered in Chapter III., where an existence theorem, which for the moment is assumed, will be proved, namely, that when a set of conditions of a comprehensive nature is satisfied an equation of order $n$ does admit of a unique solution dependent upon $n$ arbitrary initial conditions. From this theorem it follows that the most general solution of an ordinary equation of order $n$ involves $n$, and only $n$, arbitrary constants.

It must not, however, be concluded that no solution exists which is not a mere particular case of the general solution. To make this point clear, consider the differential equation obtained by eliminating the constant $c$ from between the primitive,

$\phi(x, y, c)=0,$

and the derived equation,

$\frac{\partial \phi}{\partial x}+\frac{\partial \phi}{\partial y} p=0$$ \left(p \equiv \frac{d y}{d x}\right) . $

The derived equation in general involves $c$; let the primitive be solved for $c$ and let this value of $c$ be substituted in the derived equation. The derived equation then becomes the differential equation

$\left[\frac{\partial \phi}{\partial x}\right]+\left[\frac{\partial \phi} {\partial y}\right] p=0,$

where the brackets indicate the fact of the elimination of $c$. In its total form, this equation can be written

$ \left[\frac{\partial \phi}{\partial x}\right] d x+\left[\frac{\partial \phi}{\partial y}\right] d y=0 . $

Now let $x, y$ and $c$ vary simultaneously, then

$\frac{\partial \phi}{\partial x} d x+\frac{\partial \phi}{\partial y} d y+\frac{\partial \phi}{\partial c} d c=0.$

When $c$ is eliminated as before this equation becomes

$\left[\frac{\partial \phi}{\partial x}\right] d x+\left[\frac{\partial \phi}{\partial y}\right] d y+\left[\frac{\partial \phi}{\partial c}\right] d c=0,$

and therefore, in view of the previous equation,

$\left[\frac{\partial \phi}{\partial c}\right] d c=0.$

There are thus two alternatives: either $c$ is a constant, which leads back to the primitive,

$\phi(x, y, c)=0,$

or else

$\left[\frac{\partial \phi}{\partial c}\right]=0.$

The latter relation between $x$ and $y$ may or may not be a solution of the differential equation; if it is a solution, and is not a particular case of the general solution, it is known as a singular solution.

Consider, for instance, the primitive

$c^{2}+2 c y+a^{2}-x^{2}=0,$

where $c$ is an arbitrary, and $a$ a definite, constant. The derived equation is

$c\, d y-x\, d x=0,$

which, on eliminating $c$, becomes the differential equation

$\left[-y+\left(x^{2}+y^{2}-a^{2}\right)^{\frac{1}{2}}\right] d y-x\, d x=0.$

The total differential equation obtained by varying $x, y$ and $c$ simultaneously is

$(c+y)\, d c+c\, d y-x\, d x=0$

or, on eliminating $c$,

$\left(x^{2}+y^{2}-a^{2}\right)^{\frac{1}{2}} d c+\left[-y+\left(x^{2}+y^{2}-a^{2}\right)^{\frac{1}{2}}\right] d y-x d x=0.$

Thus, apart from the general solution there exists the singular solution,

$x^{2}+y^{2}=a^{2},$

which obviously satisfies the differential equation.

A differential equation of the first order may be regarded as being but one stage removed from its primitive. An equation of higher order is more remote from its primitive and therefore its integration is in general a step-by-step process in which the order is successively reduced, each reduction of the order by unity being accompanied by the introduction of an arbitrary constant. When the given equation is of order $n$, and by a process of integration an equation of order $n-1$ involving an arbitrary constant is obtained, the latter is known as the first integral of the given equation.

Thus when the given equation is

$y^{\prime \prime}=f(y),$

where $f(y)$ is independent of $x$, the equation becomes integrable when both members are multiplied by $2 y^{\prime}$, thus

$2 y^{\prime} y^{\prime \prime}=2 f(y) y^{\prime},$

and its first integral is

$y^{\prime 2}=c+2 \int f(y) d y,$

where $c$ is the arbitrary constant of integration.