Page:EB1911 - Volume 08.djvu/246

 involves that there exists a functional relation connecting the three functions F, u, v, may be proved somewhat roughly as follows:—

The corresponding theorem is true for any number of variables. Consider first the case of two functions p, q, of two variables x, y. The function p, not being constant, must contain one of the variables, say x; we can then suppose x expressed in terms of y and the function p; thus the function q can be expressed in terms of y and the function p, say q = Q(p, y). This is clear enough in the simplest cases which arise, when the functions are rational. Hence we have $\frac{\partial q}{\partial x} = \frac{\partial \mathrm{Q}}{\partial p}\frac{\partial p}{\partial x}$ and $\frac{\partial q}{\partial y} = \frac{\partial \mathrm{Q}}{\partial p}\frac{\partial p}{\partial y} + \frac{\partial \mathrm{Q}}{\partial y};$|undefined these give $\frac{\partial p}{\partial x}\frac{\partial q}{\partial y} - \frac{\partial p}{\partial y}\frac{\partial q}{\partial x} = \frac{\partial p}{\partial x}\frac{\partial \mathrm{Q}}{\partial y};$|undefined by hypothesis &part;p/&part;x is not identically zero; therefore if the Jacobian determinant of p and q in regard to x and y is zero identically, so is &part;Q/&part;y, or Q does not contain y, so that q is expressible as a function of p only. Conversely, such an expression can be seen at once to make the Jacobian of p and q vanish identically.

Passing now to the case of three variables, suppose that the Jacobian determinant of the three functions F, u, v in regard to x, y, z is identically zero. We prove that if u, v are not themselves functionally connected, F is expressible as a function of u and v. Suppose first that the minors of the elements of &part;F/&part;x, &part;F/&part;y, &part;F/&part;z in the determinant are all identically zero, namely the three determinants such as $\frac{\partial u}{\partial y}\frac{\partial v}{\partial z} - \frac{\partial u}{\partial z}\frac{\partial v}{\partial y};$ then by the case of two variables considered above there exist three functional relations. &psi;1(u, v, x) = 0, &psi;2(u, v, y) = 0, &psi;3(u, v, z) = 0, of which the first, for example, follows from the vanishing of $\frac{\partial u}{\partial y}\frac{\partial v}{\partial z} - \frac{\partial u}{\partial z}\frac{\partial v}{\partial y}.$ We cannot assume that x is absent from &psi;1, or y from &psi;2, or z from &psi;3; but conversely we cannot simultaneously have x entering in &psi;1, and y in &psi;2, and z in &psi;3, or else by elimination of u and v from the three equations &psi;1 = 0, &psi;2 = 0, &psi;3 = 0, we should find a necessary relation connecting the three independent quantities x, y, z; which is absurd. Thus when the three minors of &part;F/&part;x, &part;F/&part;y, &part;F/&part;z in the Jacobian determinant are all zero, there exists a functional relation connecting u and v only. Suppose no such relation to exist; we can then suppose, for example, that $\frac{\partial u}{\partial y}\frac{\partial v}{\partial z} - \frac{\partial u}{\partial z}\frac{\partial v}{\partial y}$ is not zero. Then from the equations u(x, y, z) = u, v(x, y, z) = v we can express y and z in terms of u, v, and x (the attempt to do this could only fail by leading to a relation connecting u, v and x, and the existence of such a relation would involve that the determinant $\frac{\partial u}{\partial y}\frac{\partial v}{\partial z} - \frac{\partial u}{\partial z}\frac{\partial v}{\partial y}$ was zero), and so write F in the form F(x, y, z) = &Phi;(u, v, x). We then have $\frac{\partial \mathrm{F}}{\partial x} = \frac{\partial \Phi}{\partial u}\frac{\partial u}{\partial x} + \frac{\partial \Phi}{\partial v}\frac{\partial v}{\partial x} + \frac{\partial \Phi}{\partial x}, \frac{\partial \mathrm{F}}{\partial y} = \frac{\partial \Phi}{\partial u}\frac{\partial u} {\partial y} + \frac{\partial \Phi}{\partial v}\frac{\partial v}{\partial y}, \frac{\partial \mathrm{F}}{\partial z} = \frac{\partial \Phi}{\partial u}\frac{\partial u}{\partial z} + \frac{\partial \Phi}{\partial v}\frac{\partial v}{\partial z};$|undefined thereby the Jacobian determinant of F, u, v is reduced to $\frac{\partial \Phi}{\partial x}\left(\frac{\partial u}{\partial y}\frac{\partial v}{\partial z} - \frac{\partial u}{\partial z}\frac{\partial v}{\partial y}\right);$ by hypothesis the second factor of this does not vanish identically; hence &part;&Phi;/&part;x = 0 identically, and &Phi; does not contain x; so that F is expressible in terms of u, v only; as was to be proved.

Part II.—General Theory.

Differential equations arise in the expression of the relations between quantities by the elimination of details, either unknown or regarded as unessential to the formulation of the relations in question. They give rise, therefore, to the two closely connected problems of determining what arrangement of details is consistent with them, and of developing, apart from these details, the general properties expressed by them. Very roughly, two methods of study can be distinguished, with the names Transformation-theories, Function-theories; the former is concerned with the reduction of the algebraical relations to the fewest and simplest forms, eventually with the hope of obtaining explicit expressions of the dependent variables in terms of the independent variables; the latter is concerned with the determination of the general descriptive relations among the quantities which are involved by the differential equations, with as little use of algebraical calculations as may be possible. Under the former heading we may, with the assumption of a few theorems belonging to the latter, arrange the theory of partial differential equations and Pfaff’s problem, with their geometrical interpretations, as at present developed, and the applications of Lie’s theory of transformation-groups to partial and to ordinary equations; under the latter, the study of linear differential equations in the manner initiated by Riemann, the applications of discontinuous groups, the theory of the singularities of integrals, and the study of potential equations with existence-theorems arising therefrom. In order to be clear we shall enter into some detail in regard to partial differential equations of the first order, both those which are linear in any number of variables and those not linear in two independent variables, and also in regard to the function-theory of linear differential equations of the second order. Space renders impossible anything further than the briefest account of many other matters; in particular, the theories of partial equations of higher than the first order, the function-theory of the singularities of ordinary equations not linear and the applications to differential geometry, are taken account of only in the bibliography. It is believed that on the whole the article will be more useful to the reader than if explanations of method had been further curtailed to include more facts.

When we speak of a function without qualification, it is to be understood that in the immediate neighbourhood of a particular set x0, y0, ... of values of the independent variables x, y, ... of the function, at whatever point of the range of values for x, y, ... under consideration x0, y0, ... may be chosen, the function can be expressed as a series of positive integral powers of the differences x &minus; x0, y &minus; y0, ..., convergent when these are sufficiently small (see ). Without this condition, which we express by saying that the function is developable about x0, y0, ..., many results provisionally stated in the transformation theories would be unmeaning or incorrect. If, then, we have a set of k functions, &fnof;1 ... &fnof;k of n independent variables x1 ... xn, we say that they are independent when n &ge; k and not every determinant of k rows and columns vanishes of the matrix of k rows and n columns whose r-th row has the constituents d&fnof;r/dx1, ... d&fnof;r/dxn; the justification being in the theorem, which we assume, that if the determinant involving, for instance, the first k columns be not zero for x1 = xº1 ... xn = xºn, and the functions be developable about this point, then from the equations &fnof;1 = c1, ... &fnof;k = ck we can express x1, ... xk by convergent power series in the differences xk+1 &minus; xºk+1, ... xn &minus; xnº, and so regard x1, ... xk as functions of the remaining variables. This we often express by saying that the equations &fnof;1 = c1, ... &fnof;k = ck can be solved for x1, ... xk. The explanation is given as a type of explanation often understood in what follows.

We may conveniently begin by stating the theorem: If each of the n functions &phi;1, ... &phi;n of the (n + 1) variables x1, ... xnt be developable about the values xº1, ... xn0t0, the n differential equations of the form dx1/dt = &phi;1(tx1, ... xn) are satisfied by convergent power series

reducing respectively to xº1, ... xºn when t = t0; and the only functions satisfying the equations and reducing respectively to xº1, ... xºn when t = t0, are those determined by continuation of these series. If the result of solving these n equations for xº1, ... xºn be written in the form &omega;1(x1, ... xnt) = xº1, ... &omega;n(x1, ... xnt) = xºn, it is at once evident that the differential equation d&fnof;/dt + &phi;1d&fnof;/dx1 + ... + &phi;nd&fnof;/dxn = 0 possesses n integrals, namely, the functions &omega;1, ... &omega;n, which are developable about the values (xº1 ... xn0t0) and reduce respectively to x1, ... xn when t = t0. And in fact it has no other integrals so reducing. Thus this equation also possesses a unique integral reducing when t = t0 to an arbitrary function &psi;(x1, ... xn), this integral being. &psi;(&omega;1, ... &omega;n). Conversely the existence of these principal integrals &omega;1, ... &omega;n of the partial equation establishes the existence of the specified solutions of the ordinary equations dxi/dt = &phi;i. The following sketch of the proof of the existence of these principal integrals for the case n = 2 will show the character of more general investigations. Put x for x &minus; x0, &c., and consider the equation a(xyt) d&fnof;/dx + b(xyt) d&fnof;/dy = d&fnof;/dt, wherein the functions a, b are developable about x = 0, y = 0, t = 0; say

so that ad/dx + bd/dy = &delta;0 + t&delta;1 + ½t²&delta;2 + ..., where &delta; = ard/dx + brd/dy. In order that &fnof; = p0 + tp1 + t²p2/2! + ...