TheCalculus of Values, Ai-ithmetic, appears...,,. at first to have as wide a field as Algebra, since as many cjuestions might seem to arise from it as we can conceive different algebraic formulas to be valued. But a very simple reflection will show that it is not so. Functions being divided into simple and compound, it is evident that when we become able to deter- j.. p,,, mine the value of simple functions, there will be no difficulty with the compound. In the algebraic relation, a compound function plays a very different part from that of the elementary functions which constitute it; and this is the source of our chief analytical difficulties. But it is quite otherwise with the Arithmetical Calculus.
54 POSITIVE PHILOSOPHY.
Thus, the number of distinct arithmetical operations is indicated by that of the abstract elementary functions, which we have seen to be very few. The determination of the values of these ten functions necessarily affords that of all the infinite niamber comprehended in the whole of mathematical analysis: and there can be no new arith- metical operations otherwise than by the creation of new analytical elements, which must, in any case, for ever be extremely small. The domain of arithmetic then is, by its nature, narrowly restricted, while that of algebra is rigorously indefinite. Still, the domain of arithmetic is more extensive than is commonly represented; for there are many questions treated as incidental in the midst of a body of analytical researches, which, consisting of determi- nations of values, are truly arithmetical. Of this kind are the construction of a table of logarithms, and the calcula- tion of trigonometrical tables, and some distinct and higher procedures; in short, every operation which has for its object the determination of the values of functions. And we must also include that part of the science of the Calculus which we call the Theory of Numbers, the object of which is to discover the properties inherent in different numbei'S, in virtue of their values, independent of any particular system of numeration. It constitutes a sort of transcen- dental arithmetic. Though the domain of arithmetic is thus larger than is commonly supposed, this Calculus of values will yet never be more than a point, as it were, in comparison with the calculus of functions, of which mathe- matical science essentially consists. This is evident, when we look into the real nature of arithmetical questions.
Determinations of values are, in fact, nothing else than y,,, real transformations of the functions to be valued. These transformations have a special end; but they are essentially of the same nature as all taught by analysis. In this view, the Calculus of vahies may be regarded as a supplement, and a particular appli- cation of the Calculus of functions, so that arithmetic dis- appears, as it were, as a distinct section in the body of abstract mathematics. To make this evident, we must ob- serve that when we desire to determine the value of an un- known number whose mode of formation is given, we define ALGEBRA. 55 ALGEBRA. 55 and express that value iu merely announcing the arith- metical question, already defined and expressed under a certain form; and that, in determining its value, we merely express it under another determinate form, to which we are in the habit of referring the idea of each particular number by making it re-enter into the regular system of numera- tion. This is made clear by what happens when the mode of numeration is such that the question is its own answer; as, for instance, when we want to add together seven and thirty, and call the result seven-and-thirty. In adding other numbers, the terms are not so ready, and we trans- form the question; as when we add together twenty-three and fourteen: but not the less is the operation merelv one of transformation of a question already defined and ex- pressed. In this view, the calculus of values might be re- garded as a particular application of the calculus of func- tions, arithmetic thereby disappearing, as a distinct section, from the domain of abstract mathematics. — And here we have done with the Calculus of values, and pass to the Calculus of functions, of which abstract mathematics is essentially composed.
We have seen that the difiiculty of esta-.,, blishing the relation of the concrete to the abstract is owing to the insufiicieucy of the very small number of analytical elements that we are in possession of. The obstacle has been surmounted in a great number of important cases: and we will now see how the esta- blishment of the equations of phenomena has been achieved.
The first means of remedying the difiiculty of the small number of analytical elements newfunctions seems to be to create new ones. But a little consideration will show that this resource is illusory. A new analytical element would not serve unless we could immediately determine its value: but how can we deter- mine the value of a function which is simple; that is, which is not formed by a combination of those alreadv known? This appears almost impossible: but the intro- duction of another elementary abstract function into analysis supposes the simultaneous creation of a new arithmetical operation; which is certainly extremely diffi- 56 POSITIVE PHILOSOPHY.
cult. If we try to proceed according to the method which procured us the elements we possess, we are left in entire uncertainty; for the artifices thus employed are evidently exhausted. We have thus no idea how to proceed to create new elementary abstract functions. Yet, we must not therefore conclude that we have reached the limit appointed by the powers of our understanding. Special imjjrove- ments in mathematical analysis have yielded us some ]»artial substitutes, which have increased our resources: but it is clear that the augmentation of these elements cannot proceed but with extreme slowness. It is not in this direction, then, that the human mind has found its means of facilitating the establishment of equations. Findin<^enua- This first method being discarded, there tions between remains only one other. As it is impossible auxiliary to find the equations directly, we must seek quantities. for corresponding ones between other auxiliary (quantities, connected with the first according to a certain determinate law, and from the relation between which we may ascend to that of the primitive magnitudes. This is the fertile conception which we term the transcendental analysis, and use as our finest instrument for the mathema- tical exploration of natural phenomena.
This conception has a much larger scope than even pro- found geometers have hitherto supposed; for the auxiliary quantities resorted to might be derived, according to any law whatever, from the immediate elements of the ques- tion. It is well to notice this; becaiise our future im- proved analytical resources may perhaps be found in a new mode of derivation. But, at present, the only auxiliary quantities habitually substituted for the primitive quanti- ties in transcendental analysis are what are called — • 1st, infinitely small elements, the differentials of different oi'ders of those quantities, if we conceive of this analysis in the manner of Leibnitz: or 2nd, the fluxions, the limits of the ratios of the simulta- neous increments of the primitive quantities, compared with one another; or, more briefly, the prime and ultimate ratios of these increments, if we adopt the conception of Newton: or 3rd, the derivatives, properly so called, of these quanti- THE TWO BRANCHES OF ALGEBRA. 57 ties; that is, the coefficients of the different terms of their respective increments, according to the conception of La- grange.
These conceptions, and all others that have been pro- posed, are by their nature identical. The various grounds of preference of each of them will be exhibited hereafter.
We now see that the Calculus of f unc- Division of tions, or Algebra, must consist of two distinct the Calculus l>ranches. The one has for its object the of functions. resolution of equations when they are directly established between the magnitudes in question: the other, setting out from equations (generally much more easy to form) between quantities indirectly connected with those of the problem, has to deduce, by invariable analytical procedures, the corre- sponding equations between the direct magnitudes in ques- tion; — bringing the problem within the domain of the pre- ceding calculus. — It might seem that the transcendental analysis ought to be studied before the ordinary, as it pro- vides the equations which the other has to resolve. But, though the transcendental is logically indej^endent of the ordinary, it is best to follow the usual method of study, taking the ordinary first; for, the proposed questions always requiring to be completed by ordinary analysis, they must be left in suspense if the instrument of resolution had not been studied beforehand.
To ordinary analysis I propose to give the name of Cal- CTTLIJS OF DiKECT FUNCTIONS. To transcendental analysis, (which is known by the names of Infinitesimal Calculus, Calculus of fluxions and of fluents, Calculus of Vanishing quantities, the Differential and Integral Calculus, etc., ac- cording to the view in which it has been conceived,) I shall give the title of Calculus of Indikect Functions. I obtain these terms by generalizing and giving precision to the ideas of Lagrange, and employ them to indicate the exact character of the two forms of analysis.
58 POSITIVE PHILOSOPHY.
SECTION I.
ORDINARY ANALYSIS, OR CALCULUS OF DIRECT FUNCTIONS.
Algebra is adequate to the solution of mathematical ques- tions which are so simple that we can form directly the equations between the magnitudes considered, without its being necessary to bring into the problem, either in substi- tution or alliance, any system of auxiliary quantities de- rived from the primary. It is true, in the majority of im- portant cases, its use requires to be preceded and prepared for by that of the calculus of indirect functions, by which the establishment of equations is facilitated: but though algebra then takes the second place, it is not the less a necessary agent in the solution of the question; so that the Calculus of direct functions must continue to be, by its nature, the basis of mathematical analysis. We must now, then, notice the rational composition of this calculus, and the degree of development it has attained. J. -I ■ f Its object being the resolution of equations (that is, the discovery of the mode of forma- tion of unknown quantities by the known, according to the equations which exist between them), it presents as many parts as we can imagine distinct classes of equations; and its extent is therefore rigorously indefinite, because the number of analytical functions susceptible of entering into equations is illimitable, though, as we have seen, composed of a very small number of primitive elements.
„,.„,. The rational classification of equations of Eouations ^m^^t evidently be determiued by the nature of the analytical elements of which their members are comjiosed. Accordingly, analysts first divide equations Avith one or more variables into two principal classes, according as they contain functions of only the first three of the ten couples, or as they include also either ex- ponential or circular functions. Though the names of algebraic and transcendental functions given to these prin- cipal groups are inapt, the division between the corre- sponding equations is real enough, insofar as that the re- solution of equations containing the transcendental func- RESOLUTION OF ALGEBRAIC EQUATIONS. 59 tions is more difficult than that of algebraic equations. Hence the study of the first is extremely imperfect, and our analytical methods relate almost exclusively to the elaboration of the second.
Our business now is with these Algebraic AUr i " equations only. In the first place, we must equations, observe that, though they may often contain irrational functions of the unknown quantities, as well as rational functions, the first case can always be brought under the second, by transformations more or less easy; so that it is only with the latter that analysts have had to occupy themselves, to resolve all the algebraic equations. As to their classification, the early method of classing them according to the number of their terms has been retained only for equations with two terms, which are, in fact, sus- ceptible of a resolution proper to themselves. The classi- fication by their degrees, long universally established, is eminently natural; for this distinction rigorously deter- mines the greater or less difficulty of their resolution. The gradation can be independently, as well as practically ex- hibited: for the most general equation of each degree necessarily comprehends all those of the diifereut inferior degrees, as miist also the formula which determines the unknown quantity: and therefore, however slight we may, d priori, suppose the difficulty to be of the degree under notice, it must offer more and more obstacles, in proportion to the rank of the degree, because it is com- plicated in the execution with those of all the preceding degrees.
This increase of difficulty is so great, that Algebraic re- the resolution of algebraic equations is as yet solution of known to us only in the four first degrees, equations. In this respect, algebra has advanced but little since the labours of Descartes and the Italian analysts of the six- teenth century; though there has probably not been a single geometer for two centuries past who has not sti'iven to advance the resolution of equations. The general equa- tion of the fifth degree has itself, thus far, resisted all attempts. The formula of the fourth degree is so difficult as to be almost inapplicable; and analysts, while by no means despairing of the resolution of equations of the fifth, 60 POSITIVE PHILOSOPHY.
and even higher degrees, being obtained, have tacitly agreed to give up such researches.
The only question of this kind which would be of eminent importance, at least in its logical relations, would be the general resolution of algebraic equations of any degree whatever. But the more we ponder this subject, the more we are led to suppose, with Lagrange, that it exceeds the scope of our understandings. Even if the requisite formula could be obtained, it could not lie usefully applied, unless we could simplify it, without impairing its generality, by the introduction of a new class of analytical elements, of which we have as yet no idea. And, besides, if we had obtained the resolution of algebraic equations of any degree whatever, we should still have ti'eated only a very small part of algebra, properly so called; that is, of the calculus of dii'ect functions, comprehending the resolution of all the equations that can be formed by the analytical functions known to us at this day. Again, we must remember that by a law of our nature, we shall always remain below the difficulty of science, our means of conceiving of new ques- tions being always more powerful than our resources for resolving them; in other words, the human mind being more apt at imagining than at reasoning. Thus, if we had resolved all the analytical equations now knowu, and if, to do this, we had found new analytical elements, these again would introduce classes of equations of which we now know nothing: and so, however great might be the increase of our knowledge, the imperfection of our algebraic science would be perpetually reproduced.
. The methods that we have are, the comknowlecb'-e " plete resolution of the equations of the first four degrees; of any binomial equations; of certain sjiecial equations of the superior degrees; and of a very small number of exponential, logarithmic, and circular equations. These elements are very limited; but geometers have succeeded in treating with them a great number of important questions in an admirable manner. The im- provements introduced within a century into mathema- tical analysis have contributed more to render the little knowledge that we have immeasurably useful, than to in- crease it.
NUMERICAL RESOLUTION OF EQUATIONS. 61 To fill up the vast gap in the resolution of Numerical re- algebraic equations of the higher degrees, solutions of analysts have had recourse to a new order of equations, questions, — to what they call the numerical resolution of equations. Not being able to obtain the real algebraic formula, they have sought to determine at least the value of each unknown quantity for such or such a designated system of particular values attributed to the given quantities. This operation is a mixture of algebraic with arithmetical questions; and it has been so cultivated as to be rendered possible in all cases, for equations of any degree and even of any form. The methods for this are now sufficiently general; and what remains is to simplify them so as to fit them for regular application. While such is the state of algebra, we have to endeavour so to dispose the questions to be worked as to require finally only this numerical re- solution of the equations. We must not forget however that this is very imperfect algebi'a; and it is only iso- lated, or truly final questions (which are very few), that can be brought finally to depend upon only the numerical resolution of equations. Most questions are only prepara- tory,— a first stage of the solution of other questions; and in these cases it is evidently not the value of the unknown quantity that we want to discover, but the formula which exhibits its derivation. Even in the most simple questions, when this numei'ical resolution is strictly sufficient, it is not the less a veiw imperfect method. Because we cannot abstract and treat separately the algebraic part of the question, which is common to all the cases which result from the mere variation of the given numbers, we are obliged to go over again the whole series of operations for the slightest change that may take place in any one of the quantities concerned.
Thus is the calculus of direct functions at present divided into two parts, as it is employed for the algebraic or the numerical resolution of equations. The first, the only satisfactory one, is unfortunately very restricted, and there is little hope that it will ever be otherwise: the second, usually insufficient, has at least the advantage of a much greater generality. They mvist be carefully distinguislied in our minds, on account of their different objects, and 62 POSIllYK PHILOSOPHY.
therefore of the different ways in which quantities are con- sidered by them. Moreover, there is, in i-egard to their methods, an entirely different procedure in their rational distribution. In the first part, we have nothing to do with the values of the unknown quantities, and the division must take place according to the nature of the equations which we are able to resolve; whereas in the second, we have nothing to do with the degrees of the equations, as the methods are applicable to equations of any degree whatever; but the concern is with the numerical character of the values of the unknown quantities.
These two parts, which constitute the im- e, nations!"^' mediate object of the Calculus of direct functions, are subordinated to a third, purely speculative, from Avhich both derive their most eiiectual resources, and which has been very exactly designated by the general name of Theory of Equations, though it relates, as yet, only to algebraic equations. The numerical resolu- tion of equations has, on account of its generality, special need of this rational foundation.
Two orders of questions divide this important depart- ment of algebra between them; first, those which relate to the composition of eqiiations, and then those that relate to tlieir transformation; the business of these last being to modify the roots of an ec{uation without knowing them, according to any given law, provided this law is uniform in relation to all these roots.
One more theory remains to be noticed, to complete our rapid exhibition of the different essential parts of the cal- IVlethod of cuius of direct functions. This theory, which indeterminate relates to the transformation of functions Coefticients. j^^q series by the aid of what is called the IMethod of indeterminate Coefficients, is one of the most fertile and important in algebra. This eminently analyti- cal method is one of the most remarkable discoveries of Descartes. The invention and development of the in- finitesimal calculus, for which it might be very happily substituted in some respects, has undoubtedly deprived it of some of its importance; but the growing extension of the transcendental analysis has, while lessening its necessity, multiplied its applications and enlarged its resources; so CALCULUS OF INDIRECT FUNXTIONS. 63 that, by the useful combiuatiou of the two theories, the employmeut of the method of indetei-miuate coefticieuts has become much more extensive than it was even before the formation of the calculus of indirect functions.
I have now completed my sketch of the Calculus of Direct Functions. We must next pass on to the more im- portant and extensive branch of our science, the Calculus of Indirect Functions.
SECTION II.
TRANSCENDENTAL ANALYSIS, OR CALCULUS OF INDIRECT FUNCTIONS.
We referred (p. 53) in a former section to „..• • i the views of the transcendental analysis pre- view^^^'"^^^^'*^ sented by Leibnitz, ISewton, and Lagrange. We shall see that each concejjtion has advantages of its own, that all are finally equivalent, and that uo method has yet been found which unites their respective charac- teristics. Whenever the combination takes place, it will 2)robably be by some method founded on the conception of Lagrange. The other two will then offer only an historical interest; and meanwhile, the science must be regarded as in a merely provisional state, which requires the use of all the three conceptions at the same time; for it is only by the use of them all that an adequate idea of the analysis and its applications can be formed. The vast extent and difficulty of this part of mathematics, and its recent forma- tion, should prevent our being at all surprised at the existing want of system. The conception which will doubt- less give a fixed and uniform character to the science has come into the hands of only one new generation of geo- meters since its creation; and the intellectual habits re- quisite to perfect it have not been sufficiently formed.
The first germ of the infinitesimal method tt-^^ (which can be conceived of independently of the Calculus) may be recognized in the old Greek Method of Exhaustions, employed to pass from the properties of straight lines to those of curves. The method consisted in 64 POSITIVE PHILOSOPHY.
substituting for the curve the auxihary consideration of a jiolygou, inscribed or circumscribed, by means of which the curve itself was reached, the limits of the primitive ratios being suitably taken. There is no doubt of the filiation of ideas in this case; but there was in it no equiva- lent for our modern methods; for the ancients had no logical and general means for the determination of these limits, which was the chief difficulty of the question. The task remaining for modern geometers was to generalize the conception of the ancients, and, considering it in an ab- stract manner, to reduce it to a system of calculation, Avhich was impossible to them.
Lagrange justly ascribes to the great geometer Fermat the first idea in this new direction. Permat may be re- garded as having initiated the direct formation of tran- scendental analysis by his method for the determination of maxima and minima, and for the finding of tangents, in which process he introduced auxiliaries which he afterwards suppressed as null when the equations obtained had imdergone certain suitable transformations. After some modifications of the ideas of Format in the intermediate time, Leibnitz stripped the process of some complications, and formed the analysis into a general and distinct cal- culus, having his own notation: and Leibnitz is thus the creator of transcendental analysis, as we employ it now. This pre-eminent discovery was so ripe, as all great con- ceptions are at the hour of their advent, that Newton had at the same time, or rather earlier, discovered a method exactly equivalent, regarding the analysis from a different point of view, much moi'e logical in itself, but less adapted than that of Leibnitz to give all practicable extent and facility to the fundamental method. Lagrange afterwards, discarding the heterogeneous considerations which had guided Leibnitz and Newton, reduced the analysis to a purely algebraic system, which only wants more aptitude for application.
We will notice the three methods in their order.
The method of Leibnitz consists in intro- L^BNiTZ °^ ducing into the calculus, in order to facilitate the establishment of equations, the infinitely small elements or differentials which are supposed to con- METHOD OF LEIBNITZ. 65