Slike stranica
PDF
ePub

they were not printed, and the omission was not discovered until after his death.

Mr Harley has lately succeeded in obtaining the following extension of Professor Boole's theorem.

[merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][ocr errors][merged small][merged small][ocr errors][merged small][merged small][ocr errors][merged small]

is satisfied by the mth power of any root of the equation

y" — xy” ̄" + a = 0,

u being considered as a function of x.

From this he deduces the following; the differential equa

[merged small][subsumed][merged small][subsumed][merged small][merged small][ocr errors][subsumed][merged small][subsumed][merged small][subsumed][merged small][ocr errors][merged small][ocr errors][ocr errors][merged small][merged small][merged small][merged small][merged small][merged small]

is satisfied by the mth power of any root of the equation

[blocks in formation]

For the materials of this Article I am indebted to Mr

Harley.]

CHAPTER XXXI.

THE JACOBIAN THEORY OF THE LAST MULTIPLIER.

1. A SYSTEM of n differential equations of the first order and degree containing n+1 variables admits of n integrals of the form

[ocr errors][merged small][merged small][ocr errors][merged small]

...

Ալ, Աջ, un being independent functions of the original variables. When n-1 of these integrals have been found they enable us to eliminate n-1 variables, with their differentials, from the given system of equations, and so to obtain a single final differential equation of the first order between the two remaining variables. The final equation admits of being made integrable by a factor, and its solution so found would constitute the nth and last integral of the system. We propose in this Chapter to develope the theory of the above integrating factor as established by Jacobi. The term 'principle of the last multiplier,' which is more usually employed, seems objectionable; for the essence of Jacobi's discovery consisted not in demonstrating the existence or the nature of the last integrating factor, but in the peculiar form of the method which he gave for its determination, and in the relations which are implied in that form. The discovery may be briefly said to consist in this; viz. that instead of forming by means of the n-1 known integrals the final differential equation between two variables and applying methods analogous to those of Chap. V., to determine its integrating factor, we construct antecedently to all integration a linear partial differential equation of the first order, any one integral of which

will enable us to assign an integrating factor of the final differential equation, whatever the order of the previous integrations may have been. Again, this partial differential equation depending for its construction only upon the form of the system given, we can often by examining it affirm beforehand that if all the integrals but one of the system be in any way found, the final integral will be deducible by quadratures. This happens in the case of the most important of all systems of differential equations-that of Dynamics.

Further, an ordinary differential equation of the nth order being reducible to a system of n differential equations of the first order, Jacobi's theory may here also enable us to predicate the possibility of the last integration when the previous integrations have been effected.

Beginning with a single differential equation of the first order reduced to the form

dx dy
X=y'
Y'

in which X and Y are functions of the two variables x and y, we know by Chap. v. that the integrating factor μ will be given by the solution of the partial differential equation

[ocr errors][subsumed][merged small][subsumed][merged small][merged small]

Consider next a system of two differential equations of the first order expressed in the general form

[blocks in formation]

X, Y, and Z being functions of the three variables x, y, z, and suppose one integral, represented by

[blocks in formation]

to be known. The function p (x, y, z), or, as we shall express

it for brevity, 4, will obviously satisfy the partial differential equation

[merged small][merged small][merged small][merged small][ocr errors][merged small][merged small][merged small]

of which indeed the given equations form the Lagrangean auxiliary system; see Chap. XIV.

If from the given integral we determine z as a function of and C, and substitute its value in the first of the given differential equations, viz.

x, y

[blocks in formation]

the latter will be converted into a differential equation between x and y. But we may leave to the equation its prior form, provided that we regard X and Y as functions of the variables x and y, both explicitly as they appear therein, and implicitly as they are involved in z. And this being so, the equation (1) will become

[ocr errors][merged small][merged small]

dz

The values of

+

dz dx dy

dz

[merged small][ocr errors][merged small]

and in this equation must be found dx dy

from the known integral (3); they are

dz do do dz

[ocr errors]
[ocr errors]

dx dx dz'

substituting which we have

dy

=

do do
dz'

dy

[ocr errors]

d (μX) do__d (μX) do, d (μ Y) do __d (μ Y) do

[blocks in formation]

to

This then is the partial differential equation for determining μ. But the construction of this equation supposes be known. We propose to shew that u can be determined by a process in which the only partial differential equation to be solved can be constructed without the knowledge of p.

[merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][subsumed][merged small][merged small][subsumed][subsumed][ocr errors][subsumed][merged small]

=

d

d αφ

d (μ Y) dp__d (μY) dp
dy dz dz dy dy

d (μ db - 2 (μx db) - 2 (uxdb).

[blocks in formation]

dz

d (uz db) - d (uz db).

dz

μ

αφ

dy

Now adding the last three equations together we see that the first member of the result vanishes by (5): we have thus

[merged small][merged small][merged small][subsumed][ocr errors][subsumed][subsumed][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][ocr errors][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small]

The second line of the first member is equal to

[merged small][merged small][merged small][merged small][merged small][merged small][ocr errors][merged small][merged small][merged small][merged small]

and therefore vanishes by (4). There remains then

[blocks in formation]
« PrethodnaNastavi »