An ordinary differential equation of the first order and of the first degree may be expressed in the form of a total differential equation,
where
If the equation
is exact and its primitive is1
the two expressions for
must be identical, that is,
Then
provided that the equivalent expression
Let
where
if
The first condition is satisfied; the second determines
and therefore
where
The condition is therefore sufficient, for the equation is exact and has the primitive
The constants
1. Separation of Variables
A particular instance of an exact equation occurs when
is then said to have separated variables. Its primitive is
When the equation is such that
may be written in the separated form
It must be noticed, however, that a number of solutions are lost in the division of the equation by
2. Homogeneous Equations
If
and therefore
becomes
or
where
The solution is
When the equation
is both homogeneous and exact, it is immediately integrable without the introduction of a quadrature, provided that its degree of homogeneity
For let
by Euler's theorem (1.2.3.2), and similarly
Consequently
and therefore
Hence if
When
is exact, for the condition of integrability, namely
reduces to
which is true, by Euler's theorem, since
An equation of the type
in which
where
The equation becomes
so that
When
then
The variables are now separable.
3. Linear Equations of the First Order
The most general linear equation of the first order is of the type
where
Its variables are separable, thus:
and the solution is
where
Now substitute in the non-homogeneous equation, the expression
in which
whence
The solution of the general linear equation is therefore
and involves two quadratures.
The method here adopted of finding the solution of an equation by regarding the parameter, or constant of integration
It is to be noted that the general solution of the linear equation is linearly dependent upon the constant of integration
and the derived equation
is linear.
If any particular solution of the linear equation is known, the general solution may be obtained by one quadrature. For let
is satisfied identically. By means of this relation,
The equation is now homogeneous in
where
If two distinct particular solutions are known, the general solution may be expressed directly in terms of them. For it is known that the general solution has the form
and any two particular solutions
and therefore
Solution
The solution of the homogeneous equation
is
where
or
Thus the general solution is
Solution:
Solution:
Solution:
4. The Equations of Bernoulli and Jacobi
The equation
in which
then
and thus if the given equation is written in the form
it becomes
and is linear in
The Jacobi equation,6
in which the coefficients
where
where
The coefficients of
that is if
Thus
and when
The equation may now be written in the form
The substitution
where
It will be shown in a later section (§ 2.2.1) that if the three roots of the equation in
where
5. The Riccati Equation
The equation
in which
When any particular solution
then the equation becomes
and since
This is a case of the Bernoulli equation; it is reduced to the linear form by the substitution
from which the theorem stated follows immediately.
Let
satisfy one and the same linear equation, and consequently
where
This formula shows that the general solution of the Riccati equation is expressible rationally in terms of any three distinct particular solutions, and also that the anharmonic ratio of any four solutions is constant. It also shows that the general solution is a rational function of the constant of integration. Conversely any function of the type
where
When
then the equation becomes
where
The substitution
now brings the equation into the proposed form, namely,
In particular, the original equation of Riccati, namely,
where
6. The Euler Equation
An important type of equation with separated variables is the following: 11
in which
Consider first of all the particular equation
one solution is12
but the equation has also the solution
Since, as will be proved in Chapter III., the differential equation has but one distinct solution, the two solutions must be related to one another in a definite way. This relation is expressed by the equation
Now let
then
Let
and therefore
Thus the addition formula for the sine-function is established.
In the same way, the differential equation
has the solution
where
Let
then
A second and equivalent solution may be found as follows. By definition
and therefore
Similarly
from which it follows that
Hence
This equation is immediately integrable; the solution is
or
that is
By putting
This is the addition formula for the Jacobian elliptic function
The same process of integration may be applied to the general Euler equation.14 In particular it may be noted that when
If
and
An equivalent general solution is
It may thus be shown that the addition-formula for the
Footnotes
-
Throughout this Chapter the letter
or generally denotes a constant of integration. Any other use of these letters will be evident from the context. ↩ -
This device was first used by Leibniz in 1691. ↩
-
The term homogeneous is applied to a linear equation when it contains no term independent of
and the derivatives of . This usage of the term is to be distinguished from that of the preceding section in which an equation (in general non-linear) was said to be homogeneous when and were homogeneous functions of and of the same degree. There should be no confusion between the two usages of the term. ↩ -
Vide § 5.2.3. The application of the method to the linear equation of the first order is due to John Bernoulli, Acta Erud., 1697, p. 113, but the solution by quadratures was known to Leibniz several years earlier. ↩
-
James Bernoulli, Acta Erud. 1695, p. 553 [Opera 1, p. 663]. The method of solution was discovered by Leibniz, Acta Erud. 1696, p. 145 [Math. Werke 5, p. 329]. ↩
-
J. für Math. 24 (1842), p. 1 [Ges. Werke, 4, p. 256]. See also the Darboux equation, § 2.2.1, infra. ↩
-
The case in which they are not distinct is discussed by Serret, Cale. Diff. et Int. 2, p. 431. ↩
-
Riccati, Acta Erud. Suppl., VIII. (1724), p. 73, investigated the equation
, with which his name is usually associated. The generalised equation was studied by d'Alembert, vide infra, § 12.5.1. ↩ -
The elementary transcendents are functions which can be derived from algebraic functions by integration, and the inverses of such functions. Thus the logarithmic function is defined as
; ; its inverse is the exponential function. From the exponential function the trigonometrical and the hyperbolic functions are derived by rational processes, and such functions as the error-function by integration. ↩ -
The solution of this equation may be expressed in terms of Bessel functions (§7.3.1). ↩
-
Euler, Inst. Calc. Int., 1, Chaps. V., VI. ↩
-
The function
is defined as. is defined as the inverse of are , so that ; and is defined as with the condition that . No further properties of the trigonometrical functions are assumed. ↩ -
Whittaker and Watson, Modern Analysis, Chap. XXII. ↩
-
Cayley, Elliptic Functions, Chap. XIV. ↩