FLUXIONS.
INTRODUCTION.
Introduction. THE branch of mathematical analysis which is called in this country the Method of Fluxions, but on the continent the Differential and Integral Calculi, was invented near the end of the 17th century; and Sir Isaac Newton, and Mr Leibnitz, two of the greatest philosophers of that age, have both claimed the discovery.
It will appear very possible that two such men should both fall upon this method of calculation nearly about the same time, if it be considered, that from the beginning of the 17th century its principles were gradually coming into view, in consequence of the united labours and discoveries of a number of mathematicians, such as Napier, Cavallerius, Roberval, Fermat, Barrow, Wallis, and others. And considering the number of men of the first abilities engaged at that time in the study of mathematics, we may reasonably suppose, that the fluxional or differential calculus, would very soon have been found according to the ordinary progress of human knowledge, even although a Newton, or a Leibnitz, had not by the force of superior genius anticipated perhaps by a few years that event. The first intimation that was given of the discovery of the calculus was in the year 1669, when, through the intervention of Dr Barrow, a correspondence was begun between Sir Isaac Newton (then Mr Newton), and Mr Collins, one of the secretaries to the Royal Society. Dr Barrow communicated to the latter a paper by Newton, which had for its title, De analysi per aequationes numero terminorum infinitas. In this paper, besides shewing how to resolve equations by approximation, Newton teaches how to square curves, not only when the expression for the ordinate in terms of the abscissa is a rational quantity,
but also when it involves radical quantities, by first resolving these into an infinite series of rational terms by means of the binomial theorem, a thing which had never before been done. Newton in this paper gives some rather obscure indications of the nature of his calculus, which however serve to shew, beyond all doubt, that he was then in possession of it; and indeed there is good reason to believe that he knew it as early as the year 1665, or even sooner.
These analytical discoveries of Newton were immediately circulated among mathematicians both in this country and abroad, by Dr Barrow, and by Collins and Oldenburg, the two secretaries to the Royal Society.
About the end of the year 1672, Newton communicated to Collins, by letter, a method of drawing tangents to curve lines, illustrated by an example, from which it again plainly appears, that he now possessed his method of fluxions.
In the course of the following year, Leibnitz came to London, and communicated to several members of the Royal Society, some researches relating to the theory of differences. It was however shewn to him, that this subject had been previously treated by Mouton, an astronomer of Lyons; upon this Leibnitz directed his attention to the doctrine of series, which was now considerably advanced, in consequence of the discoveries of the English mathematicians.
The first direct communication that passed between Newton and Leibnitz, was by a letter, which the former addressed to Oldenburg, about the middle of the year 1676. In the beginning of this letter, which was intended to be shewn to Leibnitz, Newton speaks of him with much respect. The letter itself chiefly refers to
the theory of infinite series. In a second letter, written also with a view to its being communicated to Leibnitz, Newton, after bestowing deserved commendation on him, proceeds to explain the steps by which he was led to the discovery of the binomial theorem. He afterwards, among other things, delivers several theorems which have the method of fluxions for their basis; but he does not give their demonstrations, and only observes, that they depend on the solution of a general problem, the enunciation of which he conceals under an anagram of transposed letters, but the meaning of it is this: An equation being given containing any number of flowing quantities, to find their fluxions; and the contrary. This letter affords another proof that Newton was now in full possession of his calculus.
In the end of June 1677, Leibnitz sent to Oldenburg, for the purpose of being communicated to Newton, a letter containing the first essays of his Differential Calculus. The death of Oldenburg, which happened soon after, put an end to the correspondence, and in the year 1684, Leibnitz published his method in the Leipic Act. for the month of October 1684. The title of the memoir which contained it was, Nova methodus pro maximis et minimis, itemque tangentibus, quæ nec fractas, nec irrationales quantitates moratur, et singulare pro illis calculi genus. Thus, in whatever way Leibnitz came by his calculus, whether he discovered it solely by the force of his own genius, or founded it on the method of fluxions, previously invented by Newton, both of which hypotheses are possible, his method was certainly published before Newton's, which, except what transpired in consequence of the circulation of his letters and manuscripts, became only known to the world in general for the first time, by the publication of the Principia in the end of the year 1686.
It seems at first to have been allowed, that Leibnitz had invented his calculus, without having any previous knowledge of what had been done by Newton; for in the first edition of the Principia, Newton says, "In the course of a correspondence which ten years ago I carried on with the very learned geometrician Mr Leibnitz, having intimated to him that I possessed a method of determining maxima and minima, of drawing tangents, and resolving such problems, not only when the equations were rational, but also when they were irrational; and having concealed this method, by transposing the letters of the following sentence—An equation being given, containing any number of flowing quantities, to find their fluxions; and the contrary; this celebrated man answered that he had found a similar method, which he communicated to me, and which differs from mine, only in the enunciation, and in the notation." To this, in the edition of 1714 is added, "and in the manner of conceiving the quantities to be generated *."
There is reason to suppose that Leibnitz might have continued to enjoy undisturbed the honour of being considered as one of the inventors of the fluxional or differential calculus, if he had not manifested a disposition to attribute the invention too exclusively to himself. This called forth some remarks respecting the priority of Newton's claim to the discovery. In particular M. Facio asserted, in a treatise on the Line of swiftest descent, published in 1699, "that he was obliged to own Newton as the first inventor of the diffe-
rential calculus, and the first by many years; and that he left the world to judge whether Leibnitz, the second inventor, had taken any thing from him."
On the other hand, when Newton's treatise on the quadrature of curves, and on the enumeration of lines of the third order was published, which was in 1704, the Leipic journalists insinuated, in a very liberal account which they gave of the work, that Leibnitz was the first inventor, and that Newton had taken his method from Leibnitz's, substituting fluxions for differences.
In consequence of this attack on Newton, Dr John Keill asserted, in the Philosophical Transactions for 1708, that Newton was beyond a doubt the first inventor of the arithmetic of fluxions, and that the same arithmetic having its name and notation changed, was afterwards published by Mr Leibnitz in the Leipic Act. In answer to this, Leibnitz replied, in a letter to Hans Sloane, secretary to the Royal Society, that no one knew better than Newton himself, that the charge against him implied in Keill's assertion was false; and he required Keill to retract what he had said. To this request, however, Keill would by no means accede; but on the contrary, he wrote a long letter to the secretary of the Royal Society, in which he endeavoured to prove, not only that Newton had preceded Leibnitz in the invention, but that he had given to the latter such indications of the nature of his calculus, as made it easy for him to fall upon the same. This letter was sent to Leibnitz, who replied, that Keill, although learned, was too young a man to be fit to judge of what had passed between him and Newton, and he requested the Royal Society to put a stop to Keill's clamours.
The Royal Society being thus appealed to as a judge, appointed a committee to examine all the old letters, papers, and documents, which had passed among the several mathematicians, relating to the question. The judgment of the committee was to the following effect. "That Mr Leibnitz was in London in 1673, and went thence to Paris, where he kept a correspondence with Mr Collins by means of Mr Oldenburg, till about September 1676, and then returned by London and Amsterdam to Hanover; and that Mr Collins was very free in communicating to able mathematicians what he had received from Newton. That it did not appear, that Mr Leibnitz knew any thing of the differential calculus before his letter of the 21st of June 1677, which was a year after a copy of Newton's letter of the 10th of December 1672 had been sent to Paris, to be communicated to him, and above four years after Mr Collins began to communicate that letter to his correspondents; in which letter the method of fluxions was sufficiently described to any intelligent person. That Newton was in possession of his calculus before the year 1669, and that those who had reputed Leibnitz the first inventor, knew little or nothing of his correspondence with Mr Collins, and Mr Oldenburg, long before, nor of Newton's having that method above 15 years before Mr Leibnitz began to publish it in the Leipic Act. That for these reasons, they reckoned Newton the first inventor, and were of opinion, that Mr Keill in asserting the same had been in no ways injurious to Mr Leibnitz."
It is deserving of remark, that the committee delivered no opinion upon the advantage which Leibnitz was accused of having taken of the hints furnished to him in
* Principia
lib. ii. lem.
2. schol.
in the course of his correspondence with Newton; they left the decision of this point to the world in general; and to enable every one to judge for himself, the Royal Society ordered the opinion of the committee to be printed, together with all the documents upon which it was founded. These appeared in 1712 under the title of, Commercium Epistolicum de Analysis promotu. This work was carefully circulated over Europe, to vindicate the title of the English nation to the discovery.
The Commercium Epistolicum having appeared, Leibnitz expressed great dissatisfaction, and threatened to reply in such a manner as to confound his adversaries. There seems no reason however to suppose, that any thing he could have said, would have affected Newton's claim to the honour of being the first inventor; for on this point there cannot be any doubt. With respect, however, to the other question, whether Leibnitz took his calculus from Newton, or found it himself, it is impossible to decide with such certainty. Mr Montucla, in his History of Mathematics*, says, "There are only three places of the Commercium Epistolicum, which treat of the principles of fluxions in so clear a way, as to prove that Newton had found it before Leibnitz, but too obscurely, it seems, to take from the latter the merit of the discovery. One of these is in a letter from Newton to Oldenburg, who had signified to him, that Slufus and Gregory had each found a very simple method of drawing tangents. Newton replied, that he conjectured what the nature of that method was; and he gave an example of it, which shews it to be in effect the same thing as those geometricians had found. He adds, that it is only a particular case, or rather a corollary to a method much more general, which, without a laborious calculation, applies to the finding of tangents to all sorts of curves, geometrical or mechanical, and that without being obliged to free the equation from radicals. He repeats the same thing without explaining himself farther, in another letter, and he conceals the principle of the method under transposed letters. The only place where Newton has allowed any thing of his method to transpire, is in his Analysis per aequationes numero terminis infinitis. He here discloses, in a very concise and obscure manner, his principle of fluxions, but there is no certainty of Leibnitz's having seen this essay. His opponents have never asserted that it was communicated to him by letter, and they have gone no farther than to suspect, that he had obtained a knowledge of it in the interview which he had with Collins, upon his second journey to London. Indeed, this suspicion is not entirely destitute of probability, for Leibnitz admitted, that in this interview, he saw a part of the Epistolary Correspondence of Collins. However I think it would be rash to pronounce upon this circumstance. If Leibnitz had confined himself to a few essays of his new calculus, there might have been some foundation for that suspicion; but the numerous pieces he inserted in the Leipzig Acts, prove the calculus to have received such improvements from him, that probably he owed the invention of it to his genius, and to the efforts he made to discover a method, which put Newton in possession of so many beautiful truths. This is so much the more likely, as, from the method of tangents discovered by Dr Barrow, the transition to the differential calculus was easy, nor was the step too great for such a genius as that with which Leibnitz appears to have been endowed." Such is the opinion of Montucla,
who being a foreigner, cannot be supposed to have been too partial towards Newton, an Englishman. The British mathematicians have hitherto, with few exceptions, entertained an opinion still more decidedly in favour of the claims of their celebrated countryman.
It has been said that Newton took no share in the controversy; this however seems not to have been exactly the case, for besides suppressing in the third edition of his Principia (printed in 1726) the passage we have already quoted, which seems to admit that Leibnitz invented his calculus for himself, he is known to have written the notes which accompany the edition of the Commercium Epistolicum, printed in 1722. Leibnitz had also begun to prepare a Commercium Epistolicum, but he died before it was completed.
Besides the disputes that have happened respecting the inventor of the method of fluxions, the accuracy of the method itself has been the subject of controversy, both in Britain and on the continent. The differential calculus was attacked abroad by Nieuwentijt, a writer of little or no reputation as a mathematician, and by Rolle, who was an expert algebraist, and an indefatigable calculator, but rash, and too confident of the justness of his own opinions, and jealous of the inventions of others. To the first of these writers Leibnitz himself replied, and afterwards Bernoulli and Herman; the attack from Rolle was successfully repelled by Varignon, who was as zealous and intelligent, as his adversary was warm and impetuous.
The very concise manner in which the great inventor of the method of fluxions thought proper to explain its principles, gave occasion to the celebrated Dr Berkley bishop of Cloyne to call in question, not only the logical accuracy of the reasoning employed to establish the theory of fluxions, but also the faith of mathematicians in general, in regard to the truths of religion. The bishop commenced the controversy first in a small work entitled The Minute Philosopher; but its principal attack made its appearance in 1734, under the title of "The Analyst, or A Discourse addressed to an Infidel Mathematician," (understood to be Dr Halley) "wherein it is examined whether the object, principles, and inferences of the modern Analysis are more distinctly conceived than religious mysteries and points of faith." One of the best answers which was made to this work came from the pen of Benjamin Robins, and is entitled, "A discourse concerning the nature and certainty of Sir Isaac Newton's methods of fluxions, and of prime and ultimate ratios." Other mathematicians likewise attempted to defend Newton, and the method of fluxions, against the very cogent and well-directed arguments of the bishop; but the most satisfactory way of removing all objections to the method, was to abandon those obscure and inaccurate modes of expression, of which Berkley had, not without some reason, complained, and to substitute in their place, others more intelligible, and more consonant to the common methods of mathematical reasoning. This was accordingly done by the celebrated Maclaurin, who, in the year 1742, published his Treatise of Fluxions, a work which, although in some respects rather diffuse, placed the principles of the method beyond controversy, by establishing them on the firm basis of geometrical demonstration.
It would extend this introduction to too great a length were we to enter into a detailed account of the various improvements which the calculus has received
from its first invention to the present time. We shall just briefly observe, that among those who contributed the first and the most effectually to its improvement, we may reckon Newton and Leibnitz themselves, the two illustrious rivals for the honour of its discovery; these were followed by the two brothers James and John Bernoulli, by the Marquis de L'Hospital, and many other foreign mathematicians; and in this country we may reckon Craig, Cheyne, Cotes, Taylor, and De Moivre, as among the earliest of its improvers. It is to Cotes in particular that we are indebted for the discovery of the method of finding the fluents of certain rational fractions, a discovery which was extended by De Moivre, so as to form one of the most beautiful and complete branches of the theory of fluxions.
Besides innumerable memoirs on particular branches of the fluxional calculus, which are to be found in academical collections, many distinct treatises have been written on the subject. Some of the most valuable of these are as follow. The Method of Fluxions and Infinite Series, by Sir Isaac Newton. This work was written in Latin, but was not published till the year 1736, when it was translated into English, and given to the world, along with a comment, by Mr Colson. Harmonia Mensurarum, by Cotes, a most valuable and original work, published in 1716. A Treatise on Fluxions, in two books, by Maclaurin, published in 1742. Many parts of the writings of the celebrated Euler have a reference to the theory of fluxions, or the differential and integral calculi. He has, however, three works in particular that relate to that subject; the first is his Introductio in Analysis Infinitorum, the second his Institutiones Calculi Differentialis, and the third his Institutiones Calculi Integralis.
There is a work on this subject which deserves to be particularly mentioned, both on account of its excellence, and the singular circumstance of its being composed by a lady. Its title is, Analytical Institutions, in four books, originally written in Italian, by Donna Maria Gaetana Agnelli. This lady was Professor of Mathematics and Philosophy in the University of Bologna; her work was
originally published in 1748, and has been styled by her countryman Friji, Opus nitidissimum, ingeniosissimum, et certe maximum quod adhuc ex feminae alicujus calamo prodierit. A part of this work has been published in the French language by Bossut. An English translation was prepared for the press many years ago by the late Professor Colson; it remained, however, unpublished, and might still have continued so, but for the liberality of Baron Maseres, who, after satisfying some pecuniary claims upon the manuscript, caused it, in 1801, to be published (we believe at his own expence), in two volumes quarto. The Doctrine and Application of Fluxions, by Thomas Simpson, is a work deservedly in high estimation. The Doctrine of Fluxions, by Emerson, is also very generally read by the British mathematicians. We are sorry, however, to observe, that there is no work in the English language that exhibits a complete view of the theory of fluxions, with all the improvements that have been made upon it to the present time. We cannot at present acquire any tolerable acquaintance with the subject, without consulting the writings of the foreign mathematicians. There are several excellent works in the French language; we may mention in particular a Traité de Calcul Differential et de Calcul Integral, by Cousin, in 2 vols. 4to.; another by Bossut, in 2 vols. 8vo.; and another by La Croix, in 3 vols. 4to. This last deserves particular notice, as the author intended it to comprehend the substance of the various valuable treatises by Euler, as well as of the most important academical memoirs that relate to this subject. The author has also published an abridgment of his work, in one volume octavo. Principiorum Calculi Differentialis et Integralis, by L'Huilier, published in 1795, contains a very clear exposition of the principles of the calculus. The writings of our countrymen Landen and Waring, and of these foreign mathematicians La Grange, Le Gendre, La Place, and many others, abound with improvements in the calculus. Having given this sketch of the history of this very important branch of mathematical science, we proceed to explain its principles.
PART I. THE DIRECT METHOD OF FLUXIONS.
SECT. I. Principles and Definitions.
1. IN the application of algebra to the theory of curve lines, we find that some of the quantities which are the subject of consideration, may be conceived as having always the same magnitude, as the parameter of a parabola, and the axes of an ellipse or hyperbola; while others again are indefinite in respect of magnitude, and may have any number of particular values, such are the co-ordinates at any point in a curve line. This difference in the nature of the quantities which are compared together, has equally place in various other theories, both in pure and mixed mathematics, and it naturally suggests the divisions of all quantities whatever into two kinds, namely, such as are constant, and such as are variable.
2. A constant quantity is that which retains always
the same magnitude, however other quantities with which it is connected may be supposed to change; and a variable quantity is that which is indefinite in respect of magnitude, or which may be supposed to change its value. Thus, in the arithmetic of lines, the radius is a constant quantity, while the cosine, sine, tangent, &c. of an arch, also the arch itself, are variable quantities; and in the conic sections the axes and the parameters of the axes are constant quantities, and any abscissa and its corresponding ordinate are variable quantities.
Constant quantities are usually denoted by the first letters of the alphabet a, b, c, &c. and variable quantities by the last letters x, y, z, &c.
3. Any expression of calculation, containing a variable quantity, along with other constant quantities, is called a Function of that variable quantity. Thus, supposing x to be variable, and the other quantities constant,
Direct Method. any one of these expressions , , , , , , &c. is a function of ; and in any such equation as , the quantity is called a function of . Even although the variable quantities and , should not be separated as in the last example, but should be related to each other as in the following,
as, setting aside the consideration of the constant quantities, the value of depends on that of , and on the contrary the value of depends upon that of , the quantity is said to be a function of , and on the other hand is said to be a function of .
4. If a variable quantity be supposed to change its value, then a corresponding change will take place in the value of any function of that quantity. Let us examine the nature of this change in the magnitude of a function.
First, let us suppose that, denoting any variable quantity, the function to be considered is any integer power of that quantity, as , or , or , &c.; then, being supposed to be increased by an indefinite quantity , and thus to become , the function will change its value; if it be it will become , or
and if it be it will become or
and if it be it will become , or
and so on, for other integer powers.
If we compare the new value of the function in each of these cases with its former value, it will immediately appear, that the new value may be resolved into two parts, one of which is the original value of the function, and, therefore, the other is the increment which the function has received, in consequence of the change in the value of the variable quantity . Thus, the function being , we have found its new value to be , of which expression, the first term is the original value of the function; therefore the other part of the expression viz. is its increment. In like manner the expression , which is the new value of the function , may be resolved into , the original value of the function, and its increment; and , the new value of the function , may be resolved into , the function itself, and its increment.
5. Having seen that, by conceiving the variable quantity to receive the indefinite increment , the functions , , receive the increments
respectively, we next observe that each increment is expressed by a series, the first term of which is the first
power of the indefinite quantity multiplied by some function of the variable quantity as a co-efficient. The second term of the series consists of the second power of , multiplied also by a function of as a co-efficient; and, in like manner, the third and following terms are composed of the third and higher powers of (the exponents forming the arithmetical series 1, 2, 3, 4, &c.) each multiplied by a function of as a co-efficient; and it appears, that the particular form of the function which constitutes the coefficient of any assigned term of the series depends entirely upon the particular form of the original function. Thus, when the original function is , the function which is the coefficient of the first term is ; when the original function is , the co-efficient of the first term is ; when the original function is , the coefficient of the first term is , and so on. It also appears that the functions of , which are the coefficients of the powers of , are composed only of the variable quantity and given quantities, so that they are entirely independent of the indefinite increment .
6. These observations may be extended to a function that is any power whatever of a variable quantity, by the application of the binomial theorem. Let be supposed to become , then will become ; but by the binomial theorem, (see ALGEBRA, Sect. xvii.) when expanded into a series, is
where it appears, that the first term of the series is the original value of the function, and the following terms are the first, second, and following powers of the increment , each multiplied by a new function of , that is independent of the increment. Let us denote the
functions , , and
, &c. by , , , &c. respectively; and it is to be observed that, in the present case, as well as in the case of any other function of we may hereafter consider, by the letters , , , &c. or the same letters with accents over them, or lastly the capital letters , , , &c. we do not mean to denote functions of of any particular form, but functions of in general, that consist only of and given quantities. This being kept in view, it appears that the variable quantity being supposed to change its value, and to become , the function changes its value, so as to become
a series, the terms of which have the properties already explained in the two preceding sections.
7. Every rational and integer function of a variable quantity is necessarily of this form,
where , , , &c. and , , , are supposed to denote constant quantities.
Let us examine what is the form which the function assumes when the variable quantity changes its value
Direct Method. to ; and to avoid complicated expressions, let us suppose the function to consist of these two terms . We have already found in last section that being supposed to become , will become
where denote functions of independent of , as explained in the last section, and consequently will become
In like manner will become
denoting also functions of independent of ; therefore taking the sum of the two series, it appears that, supposing to change its value, and to become , the function becomes
now and being functions of , will also be a function of , and may be denoted more simply by , and for the same reason , , &c. which are functions of , may be denoted by thus the expression for the new value of is
a series, the form and properties of which are in all respects analogous to those of the series that expresses the new value of the function ; and although we have supposed the function to consist of but two terms, yet it is obvious, that whatever be the number of terms, still the form of the series and its properties will be the same; that is, it will consist of two parts, one of which is independent of , and is the original value of the function, and the other is a series, the terms of which are the successive powers of the increment , each multiplied by a function of the variable quantity as a coefficient. This conclusion may be expressed in symbols concisely thus. Let denote any rational and integer function of a variable quantity , let be conceived to change its magnitude, and to become , and let denote the new value which the function acquires in consequence of the change in the value of , then
where denote functions of as already stated.
8. Suppose next the function of to be of this form:—
that is, suppose it to be the th power of a polynomial, consisting of any number of terms whatever. Let the expression between the parentheses be denoted by , then we are to consider the function . Now when becomes , we have already found that becomes
therefore will become
or, putting ,
and this expression when expanded into a series by the binomial theorem is
where express numbers.
Now from the form of the series denoted by , it is manifest that its square, cube, or any power of it whatever, will be a series proceeding by the powers of , and having for the coefficients of its terms certain combinations of the quantities which being functions of , any combinations of them will also be functions of . Therefore, each of the terms of the above series, expressing the development of , excepting the first term , will itself be a series proceeding by the powers of , and having its terms multiplied by functions of , and consequently their sum will be a series of the same nature. Let us as before denote the functions of , which are the coefficients of the successive powers of by and we shall have upon the whole
expressed by a series of this form
therefore, putting the single letter for the function , or for
and for the new value which acquires by changing its value to ,
a series of the same nature as before.
9. Let us now consider a fractional function of , and let us suppose it to be
Where also denote constant quantities. Let denote the numerator of the fraction, and its denominator, then the function is
now when becomes , becomes
and becomes
and consequently becomes
and
Direct Method. and the product of these two factors, by actual multiplication is
Now, here as before, it appears that the coefficients of the powers of are functions of , therefore, denoting these functions by and observing that is , we have the new value of expressed by the series
or, substituting the single letter for , that is, for
and putting for the value that acquires when becomes ,
a series in all respects analogous to those already found for the other functions of .
10. In the functions which we have hitherto considered, the exponents of the powers of were constant quantities. Let us now consider a function in which the exponent is the variable quantity itself.
Suppose then the function to be , where denotes a given number; then, by supposing to become , the function will become
Now it has been shown in the article ALGEBRA, § 295, that if be put to denote the quotient arising from the division of a logarithm of by the logarithm of the exponential quantity is expressed by the series
therefore, , the new value of the function, is
this series, by multiplying all its terms by , and putting for that part of each term which is independent of , becomes
so that denoting the function by , and its new value by ,
a series of the same form as the others.
11. From a due consideration of what has been shown relating to the change that takes place in the magnitude of a variable function, corresponding to the
change that takes place in the magnitude of the variable quantity from which the function is formed, we may conclude the truth of the following general proposition to be sufficiently established.
Let denote a variable quantity, and any function whatever of that quantity, let be supposed to receive any increment , and thus to become , and let be the new value which the function acquires by the change in the value of ; then, the new value of may in every case be expressed thus:
where denote quantities that are quite independent of , and consequently can only involve the variable quantity , and given quantities.
12. Having examined what is the general form that any function of a variable quantity acquires by a change in the value of that quantity, and found it to be a series, the first term of which is always the function itself, it is evident that the remaining terms will express the increment that the function receives, in consequence of the change in the magnitude of the variable quantity from which the function is formed. Let us now compare the simultaneous increments of a variable quantity and its function with each other, and that we may at first avoid general reasoning, and fix the mind more completely, let us suppose the functions to have a determinate form, as
Putting and as before to denote the two succeeding values of the function, first let it be supposed that , then being supposed to receive the indefinite increment , and thus to become , and to change its value to , we have
and consequently
Thus it appears, that the simultaneous increments of and (or ) are and , respectively. Let us now compare these increments, not in respect of their absolute magnitudes, but in respect of their ratio to each other, thus we shall have the increment of to the increment of , as to , that is, (dividing the two last terms of the proportion by ) as to 1. Or, instead of employing any analogy, let us, for the sake of brevity, and in conformity to the algebraic notation, rather express each of these ratios by the quotient arising from the division of the antecedents of the ratio by its consequents, and put the results equal to each other. Then, observing that the symbol , which expresses the difference between the succeeding values of the function, may be employed to denote its increment, we have
Hence it appears that the expression for the ratio of the increment of the function to the increment of the variable quantity is made up of two parts, one of these, viz. , is quite independent of , the increment of , and the other is in the present case that increment itself. In consequence of this peculiarity in the form
form of the expression for the ratio, it is evident that if the increment be conceived to be continually diminished, the part of the expression which consists of will continually diminish, so that the whole expression, viz. , may become more nearly equal to its first term than by any assignable difference; therefore may be considered as the limit of the ratio , that is, a quantity to which the ratio may approach nearer than by any assignable difference, but to which it cannot be considered as becoming absolutely equal.
Let us next suppose that , then being supposed to become , we have , or
and consequently
Here it is evident, as in the former case, that the expression for the ratio is composed of two parts, one of these, viz. the first term , is a function of that is independent of the increment , but the other, viz. , or , is the product of two factors, one of which is the increment itself. From the particular form of this latter part of the expression for the ratio, it is plain, that being supposed to be continually diminished, that part will also diminish, and may become less than any assignable quantity. Therefore in this case, as well as in the former, the ratio has a limit, and that limit is the first term of the general expression for the ratio, namely the quantity .
Suppose, next, that , and consequently
or,
Here, as in the two former cases, we have only to inspect the general expression for the ratio to discover, that by supposing to be continually diminished, the latter part of the expression, viz. , and which comprises all the terms except the first, will become smaller than any assignable quantity; and consequently, that the first term is the limit of the ratio.
13. It is easy to see that the property which we have found to belong to the ratio of the simultaneous increments of a variable quantity, and its function in these three particular cases, is an immediate consequence of the form of the expression for the increment of the function, so that it is not peculiar to the functions , , and , but belongs equally to all functions whatever.
For we have found, § 11, that being supposed to
denote any function of a variable quantity , as for example, , or or
and being put for the new value which the function acquires when becomes ,
where denote functions of that are independent of , therefore,
and
or,
Thus it appears, that whatever be the form of the function, the ratio is always expressed by a quantity which may be resolved into two parts; one of these, viz. , is independent of the increment , and the other, viz. , is the product of by a series, the first term of which is a function of , and the remaining terms also functions of multiplied by the first, second, third, and higher powers of . Now from the particular form of this last part of the general expression for the ratio, it is manifest, that being conceived to be continually diminished, the quantity will also be continually diminished, and may become less than any assignable quantity; therefore, the limit of the ratio is simply , that is, the function of , which is the coefficient of the first or simple power of in the general expression for the increment.
14. From what has been just shewn, we may infer the truth of the following general proposition relative to the simultaneous changes that take place in a variable quantity and its function.
Let denote a variable quantity and any function of that quantity, let be conceived to change its value and become , where denotes an arbitrary increment, and let denote the new value that the function acquires, in consequence of the change in the magnitude of . Then, observing that and are the simultaneous increments of the variable quantity and its function, if be conceived to be continually diminished, the ratio will continually approach to a certain Limit, which will be different for different functions, but always the same for the same function, and in every case quite independent of the magnitude of the increments.
The ratio which is the limit of the ratio of the increments, when these increments are conceived to be continually diminished, may be called the limiting ratio of the increments.
15. The analytical fact contained in the preceding proposition, affords the foundation for a mathematical theory of great extent, and which may be divided into
Direct Method. into two distinct branches; one having for its object the resolution of the following problem. Having given the relation of any number of variable quantities to each other, to determine the limiting ratios of their increments; and the other the converse of that problem, namely, Having given the limiting ratios, to determine the relations of the quantities themselves.
The theory to which we have alluded constitutes the METHOD of FLUXIONS, and in explaining the foundation of the method, we have endeavoured to show, that it rests upon a principle purely analytical, namely the theory of limiting ratios; and this being the case, the subject may be treated as a branch of pure mathematics, without having occasion to introduce any ideas foreign to geometry.
16. Sir Isaac Newton, however, in first delivering the principles of the method, thought proper to employ considerations drawn from the theory of motion. But he appears to have done this chiefly for the purpose of illustration, for he immediately has recourse to the theory of limiting ratios; and it has been the opinion of several mathematicians of great eminence (A) that the consideration of motion was introduced into the method of fluxions at first without necessity, and that succeeding writers on the subject ought to have established the theory upon principles purely mathematical, independent of the ideas of time and velocity, both of which seem foreign to investigations relating to abstract quantity.
17. That we may conform to the usual method of treating this subject, we proceed to show how the theory of motion is commonly applied to the illustration of the nature of variable quantities, and of the relations that result from their being conceived to change their value.
As quantities of every kind, if we abstract from their position, figure, and such affections, and consider their magnitude only, may be represented by lines, we may consider a variable quantity , and any function of that quantity, to be represented by two lines , , which have , , one extremity of each given, and which vary by the points , , their other extremities, moving in the directions , , while the equation expressing the relation between and , or their representative lines , , remains always the same.
18. The lines , being thus conceived to vary, the relation that is supposed always to subsist between them, in respect of their magnitudes, will necessarily give rise to another relation, namely, that which will constantly subsist between the velocities of the moving points and , by which the lines are generated.
With a reference to this particular mode of conceiving variable quantities to exist, the quantities themselves have been called flowing quantities or fluents, and the
measures of the velocities with which the variable quantities increase have been called their fluxions.
19. To simplify the hypothesis, we may suppose that the point which generates the line , or , moves uniformly; thus the measure of its velocity, or the fluxion of , will be a given quantity, with which the measure of the velocity of the point , or the fluxion of , may be continually compared. To determine then the fluxions, or rather the ratio of the fluxions of a variable quantity, and , any function of that quantity, is in effect to resolve the following problem.
Having given an equation expressing the relation at every instant between the spaces passed over by two points, one of which moves with an uniform velocity: It is required to find an expression for the ratio that the measures of the velocities have at every instant to each other.
20. Now it is a fundamental principle in the theory of motion, resulting indeed from the very nature of a variable velocity, that when two velocities are compared together, whether they be both variable, or one of them uniform, and the other variable, the measures of their velocities are any quantities having to each other the ratio that is the limit of the ratio of the spaces described in the same time, when those spaces are conceived to be continually diminished. And hence it follows that the ratio of the fluxions of two variable quantities is no other than the limiting ratio of their simultaneous increments.
That the theory of motion may be applied to the generation of variable algebraic quantities, we have supposed them to be represented by lines; this, however, is not necessary, if the variable quantities are themselves geometrical magnitudes; for like as a line is conceived to be generated by the motion of a point, so a surface may be considered as generated by the motion of a line, a solid by the motion of a surface, and an angle by the rotation of one of the lines which contain it; and the fluxions of those quantities at any instant, or position, will be the measures of the velocities, or degrees of swiftness, according to which they increase at that instant or position.
But in every case the ratio of the rates of increase, or fluxions of two homogeneous magnitudes, will be the limiting ratio of their simultaneous increments.
21. Having thus found that by conceiving variable quantities as generated by motion, and taking their velocities, or rates of increase, as an object for the mind to contemplate and reason on, we are in the end led to the consideration of the limiting ratios of their increments, a subject which is purely mathematical, and independent of the ideas of time or velocity, we shall exchange the definition of a fluxion given in § 18, which involves those ideas, for another that rests entirely upon the existence of limiting ratios.
By the fluxions then of two variable quantities having any assigned relation to each other, we are in the following treatise always to be understood to mean any
(A) Such as Lagrange, Confin, La Croix, &c. abroad, and Landen in this country.
indefinite quantities which have to each other the limiting ratio of their simultaneous increments (B).
In conformity to this definition of fluxions, it is evident that we are to consider them, not as absolute, but as relative quantities, which derive their origin from the comparison of variable quantities with each other in respect of their simultaneous variations of magnitude.
22. Sir Isaac Newton employed different symbols at different times to denote the fluxions of variable quantities. It is now however common in Britain to denote them by the same letters employed to express the quantities themselves, and each having a dot over it. Thus denotes the fluxion of the variable quantity expressed by , and in the like manner , , , denote the fluxions of the variable quantities , , , respectively.
23. Suppose now that is any function of a variable quantity , and that the limiting ratio of the simultaneous increments of and is the ratio of to 1, where denotes some other function of ; then, from the definition just given of fluxions, we have
Hence it follows as a consequence of the preceding definition, that the fluxion of , any function of a variable quantity , is the product arising from the multiplication of that function of which is the expression for the limiting ratio of the increments by the fluxion of the variable quantity itself.
SECT. II. Investigation of the Rules of the Direct Method of Fluxions.
24. The method of fluxions naturally resolves itself into two parts, as we have already observed, § 15. We proceed to explain the first of these, which is called the Direct Method, and which treats of finding the ratio of the fluxions of variable quantities, having given the relations of those quantities to each other.
25. We shall begin with investigating the ratio of the fluxions of two variable quantities in that particular case, when one of them is in the power of the other.
Let us suppose then, that is such a function of a variable quantity , that , where denotes any number whatever, it is required to determine the ratio of the fluxions of and .
If we recur to the definition which has been given of the fluxions of variable quantities in § 21, it will appear that we have in effect resolved the problem just proposed in three particular cases, when treating of the limiting ratios of the increments of variable quantities. For it has been shown in § 12. that when , and is supposed to change its value, so as to become , where
denotes an indefinite increment, and in consequence of this change in the magnitude of , also changes its value, and becomes , then, observing that and are the simultaneous increments of and , the limiting ratio of is . Let this expression for the limiting ratio be put equal to the ratio of the fluxions of and , that is to , thus we have , and .
Hence it appears, that whatever be the magnitude of the quantity that expresses the fluxion of , the fluxion of or will be expressed by the fluxion of multiplied by .
Again, when , and , and denote the same as before, it has been shown, § 12, that the limiting ratio of is , therefore, § 21, , and
; that is, the fluxion of is expressed by the fluxion of multiplied by .
And when , it has been shown, § 12, that the limiting ratio of is . Therefore, § 21,
To resolve the problem generally, or when , let us suppose to become , and to become , then . But this last quantity, when expanded into a series by the binomial theorem (ALGEBRA, SECT. XVII.) is
where , , , &c. denote functions of , independent of . Therefore,
Therefore, supposing to be continually diminished, the limit of is ; but, whatever be the nature of the exponent , is always , (ALGEBRA, § 267.), therefore, the limit of is , and consequent-
26. As we shall have frequently occasion to employ the result of this investigation, it will be proper to express it in the form of a practical rule, thus.
To find the fluxion of any power of a variable quantity. Multiply the fluxion of the variable quantity itself by the exponent of the power, and by a power of the quantity whose exponent is less by unity than the given exponent, and the product will be the fluxion required.
(B) We are here to be understood to mean the ratio of the numerical values of the increments, which may always be compared with each other, whether the variable quantities be of the same kind, as both lines, or both surfaces, &c. or of different kinds, as the one a line, and the other a surface.
27. In determining the limit of the ratio of the simultaneous increments of and , we have referred to the binomial theorem; but the only application we have had occasion to make of that theorem was to determine the numeral coefficient of the second term of the development of , when is supposed to be any number whatever, which is an inquiry of a more simple nature than the general investigation of the theorem. We shall now show how that coefficient may be deduced from the first principles of algebra. Thus the investigation of the fluxion of will be rendered independent of the general demonstration of the binomial theorem; and we shall hereafter show that the theorem itself is easily investigated by the direct method of fluxions.
28. Since is equal to it follows that , thus the development of is reduced to that of , or putting , to
. Now if we give particular values to , and suppose it to be 1, 2, 3, &c. or -1, -2, &c. or lastly , , &c. we can find the series that expresses the powers of , whose exponents are those numbers, by the operations of multiplication, division, and evolution, and in every particular case we shall find, that the powers of are expressed by a series of this form,
Where denote numeral coefficients which depend for their value only on the exponent of the power, and not on the quantity ; and as the form of the series will be found to be the same whatever particular values we may give to the exponent, we may conclude that it is the same, whether the exponent be positive or negative, whole or fractional.
29. First let us suppose that the exponent is a whole positive number, then, because
if we multiply both sides of this equation by , and collect together the like powers of , it will appear that
Hence it appears that the coefficient of the second term of any power of exceeds that of the next less power by unity. Now in the case of the first power of , the coefficient of the second term is obviously 1, therefore, in the second power it is 2, in the third power 3, and universally, in the th power it is ; so that being a whole positive number,
30. Let us next suppose the exponent to be a fraction denoted by , so that
Let both sides of this equation be raised to the power , having first substituted for then
Now as we have just found that and being integers,
Here we stop at the second term, that being the only one whose coefficient is required. Substitute now for its value then, stopping again at the second term, we get
therefore,
and making the coefficients of in each series equal to each other,
31. In the last place, let us suppose that the exponent is a negative quantity either whole or fractional, so that
then, multiplying both sides by we get
or, substituting for and actually multiplying the two series,
Now that this equation may subsist, whatever be the value of , it is necessary that
and by these equations we may determine . It is, however, only required at present to find the first of these, viz. , now we have ; but being the coefficient of the second term of the series expressing , the exponent of which is positive, we have already found it to be , therefore, .
32. As we have found that the coefficients of the second term of the developments of , and are , , and , respectively, it appears that whatever be the number denoted by , the two first terms of the series expressing are, , and therefore, substituting for its value , and multiplying by , the two first terms of the series expressing are , agreeing with what we have
33. The mode of reasoning employed to determine the ratio of the fluxions of and , when the former is a function of the latter of the form , will apply equally when the function has any other assigned form. But instead of investigating in this manner the fluxion of every particular function, it is better to consider a complex function as the sum, or difference, or product or quotient, &c. of other simple functions, and to investigate rules for each of these cases, supposing that the fluxions of the simple functions are previously known.
34. Let us first suppose that , a function of a variable quantity , is equal to the sum of and , two other functions of . It is required to find the fluxion of , having given the fluxions of and .
Let be conceived to change its value, and to become , then, as and will also change their values, § 11, the one to
and the other to
if as usual denote the corresponding new value of , we have
If we now conceive to be continually diminished, we shall have the limit of expressed by . But
is the limit of , § 14, and in like manner is the limit of , therefore,
Substitute now the ratio of the fluxions instead of the limited ratios, and we have
35. If we suppose to be a function of , and , , , &c. other functions of , such that
where , , , denote any given numbers, positive or negative, then, by reasoning as above, it is evident that
Therefore, to find the fluxion of the sum of any number of functions, each multiplied by a constant quantity. Multiply the fluxion of each function by its constant coefficient, and the sum of the products is the fluxion required.
36. If denote a constant quantity, and , , be functions of , such, that ; then being supposed to become , and consequently to become , or and to become we have
and these ratios being always equal, their limits must also be equal; therefore, substituting for the limiting ratios those of the fluxions, we have and ; that
is to say, the fluxion of is , from which it appears, That the fluxion of any variable function is the very same as the fluxion of the same function, increased or diminished by any constant quantity. This is a remark of great importance in the theory of fluxions, as will appear hereafter.
37. Let us now suppose that , , , are functions of , such, that , it is required to find the fluxion of , supposing the fluxions of and to be given.
By supposing that , , , and , change their values as usual, we have
and this last expression by multiplication becomes
therefore
dividing now by , and taking the limit of , we have that limit expressed by ; but is the limit of § 14, and in like manner is the limit of ; therefore
; therefore
the
(c) In this investigation we have supposed to be a rational number. If, however, it were irrational, still the result would be the same; for, corresponding to every such number, two rational numbers, one greater, and the other less than it, may be found, which shall differ from each other by less than any assignable quantity. Therefore, the general properties of these numbers must belong also to the irrational number which is their limit.
Hence, by substituting for the limiting ratios the ratios of the fluxions, we have
Therefore, to find the fluxion of the product of any two functions, multiply the fluxion of each function by the other function, and the sum of these products is the fluxion required.
38. We have just now seen that when
Let each side of the latter equation be divided by the corresponding side of the former, thus we get
suppose now that the function is the product of two other functions , so that
then, because , from what has been shewn it follows that ; therefore, substituting this value
of in the equation , it becomes
In general, if we suppose that
by reasoning as above it will be found that
whatever be the number of factors.
Suppose the number of factors to be three, so that
then substituting for in this last equation, and taking away the denominators, we find
And as a similar result will be found, whatever be the number of factors, we may conclude that The fluxion of the product of any number of functions is equal to the sum of the products of the fluxion of each function by all the other functions.
39. Let us in the last place suppose that , and
that it is required to find the fluxion of , having given the fluxions of and .
From the given equation we have , and there-
fore (§ 37.) , let be substituted for
in this equation, and it becomes , from which we easily obtain
Hence we have the following rule for finding the fluxion of a fraction.
Multiply the fluxion of the numerator by the denominator, and from the product subtract the fluxion of the denominator multiplied by the numerator, and divide the remainder by the square of the denominator; the result is the fluxion required.
40. It will now be proper to shew the application of these general rules for determining the fluxions of variable functions to some particular examples.
Example 1. Suppose . Required the fluxion of .
Here being a constant quantity, the fluxion of is the same as the fluxion of , § 36, or . Now, by § 26, the fluxion of is , which expression is equivalent to , or to , and in like manner the fluxion
of is or , or , therefore, multiplying the fluxion of by , and the fluxion of by , and taking the sum of the products, agreeably to the rule in § 35, we have
Ex. 2. Suppose .
By writing the function thus
the application of the same rules employed in the last example give us
or, exchanging the fractional indices for the radical sign, and otherwise reducing,
Ex. 3.
Ex. 3. Suppose .
In order to find the fluxion of this function by the rules already laid down, it will be necessary to consider it first as a function of a variable quantity that is itself a function of . Let us then put equal to , and thus the proposed equation becomes ; then, being considered as a function of , we have by § 26. . Again, being considered as a function of , from the equation , we find by § 36. and § 26. . Let this value of be substituted in the expression for , and it becomes
which, by substituting for its value , is also
Ex. 4. Suppose .
Here we are to proceed as in the last example, and first put , then ; and therefore (§ 26) . Again, since , by § 26. we find . Substitute this value of in the expression for , and we have
which, by restoring for , and leaving out the number common to the numerator and denominator, becomes
Ex. 5. Suppose .
By proceeding in the same manner as in last example, we find
Ex. 6. Suppose .
Here the proposed function is the product of these three functions, viz. , , and . Therefore, its fluxion will be found by proceeding according to the rule in § 38.
Now the fluxion of is , and the fluxion of is , and the fluxion of has been found in last example to be . Therefore, multi-
plying the fluxion of each function by the product of the other two functions, and taking the sum of all these products, we find
and this equation, by reducing all the terms on the latter side of it to a common denominator, is more simply expressed thus,
Ex. 7. Suppose .
Here we employ the rule given in § 39. for finding the fluxion of a fractional function; thus we find
which when reduced, is
Ex. 8. Suppose
To simplify this expression, we put
Thus we have
Now as the fluxion of , is (§ 35), we find from § 26, that by considering as a single variable quantity,
but, since , we have, § 26,
and since , by considering as a single variable quantity, and observing that its fluxion is , we find by § 26, that
Instead of , , , , substitute now their values in the expression for the fluxion of , thus it becomes
Ex. 9. Suppose , where and denote any functions of a variable quantity.
Then, § 37,
But
Direct Method. But fluxion of , § 26,
and fluxion of ;
Ex. 10. Suppose , where , and denote any function of a variable quantity. Then, because fluxion , § 34, and fluxion , § 26, we have, § 39,
41. As when denotes that particular function of which is , we have (§ 25.)
so, in general, whatever be the form of the function denoted by , we have always
where denotes a new function of , resulting from the analytical process employed to find the fluxion of the function , and depending for its form upon the particular form of that function: just as in involution, or any of the other operations of algebra, a result is obtained depending upon the particular nature of the operation, and the quantities operated upon.
Let us put to denote the particular function , or the expression for the ratio of the fluxion of to the fluxion of when , then, supposing that is not equal to 0, (for in that case would be simply , a given number,) we may reason concerning the ratio of the fluxions of the variable quantities and , in all respects as concerning the ratio of the fluxions of and ; and accordingly, from the equation
we get, by taking the fluxions,
or, considering as denoting generally the function of that results from the operation of finding the fluxion of the original function , whatever be the form of that function, we have
where denotes a new function of , derived from , the former function, by the same kind of operation as that by which was deduced from .
Suppose now to denote the particular function , then,
where denotes a function of derived from , as was derived from , or from the original function . And it is evident that we may proceed in this manner as far as we please, unless it happen that in finding the series of functions , , , &c. we at last arrive at a result that is a constant quantity, and then the series of operations will terminate. Thus if the function was , we should have
Here the expression for is a constant quantity, which has no fluxion.
Hence it appears, that relatively to any function of a variable quantity, there exists a series of limiting ratios, deducible from that function, and from each other, by a repetition of the operation of finding the fluxion of a variable function.
42. In treating of the fluxion of a function, we have hitherto regarded the fluxion of the variable quantity , from which the function is formed, merely as one of the terms of a ratio, without considering whether it was a constant or a variable quantity.
Now as we may assume any hypothesis respecting the nature of the fluxion of , that is not inconsistent with what has been already delivered, we shall suppose it to be constant. This assumption, if we consider the fluxions of variable quantities as the measures of their respective velocities, or rates of increase, is in effect the same thing as to suppose that the variable quantity increases uniformly. Then, as in the expressions
or these others, which follow from them,
the symbol is to be understood as denoting a constant quantity, it follows that if be variable, then , or will be variable; and if be variable, then , or , will
, will be variable; and if be variable, then , or will be variable, and so on.
43. Let us now recur to the relation in which the succeeding functions stand to the original function .
By performing that particular analytical operation upon the function , which consists in finding its fluxion, we obtain as the expression for its fluxion, that is, we get ; and by repeating the operation on the function , we get ; and therefore ; but, being regarded as a constant quantity, is deduced from , considered as a function of , just in the same manner as is derived from the original function ; therefore the expression is deduced from the function by performing the operation of taking the fluxion twice; that is, first upon the function itself, and then upon , or , the expression for its fluxion; and in this second operation (or the fluxion of the quantity from which the function is formed) is considered as a constant quantity.
The expression , obtained in this manner from the function , is called the second fluxion of the function; and to express its relation to the function , it is denoted by , that is, by the letter denoting the function itself with two dots over it. Thus, like as , we have
Again, since , it follows that ; but, as is constant, is derived from , by the operation of finding its fluxion, considering it as a function of , just in the same manner as , or , is derived from , or , and in the same manner as is derived from the original function ; therefore, like as or is the first fluxion of the function, and or is its second fluxion, so is called its third fluxion, and is denoted by , that is, by the letter expressing the function itself, having three dots placed over it, so that
The fourth fluxion of a variable function is denoted by , that is, by the letter with four dots over it, and is derived from the third fluxion, in the same manner as the third is derived from the second, or the second from the first, or the first fluxion from the variable function itself; observing, that in repeating the operation of taking the fluxions, the symbol (or the fluxion of the variable quantity from which the function is formed) is considered as a constant quantity. And the same mode of notation and deduction is to be understood as applying to a fluxion of any order whatever of a variable function.
44. To illustrate what has been said respecting the
second and higher orders of fluxions of a function, let us suppose to denote the particular function ; then, proceeding agreeably to what has been laid down in last section, we obtain, by the rule for finding the fluxion of any power of a variable quantity (§ 26.)
Here we have exhibited the first, second, third, and fourth fluxions of the function ; the law of continuation is obvious, and it appears that when is any positive integer, the function will have as many orders of fluxions, as there are units in , and no more; for if were supposed , then, as the fourth fluxion, and all the subsequent ones, are multiplied by , or in that case by , they consequently would vanish, and a similar observation may be made when is any other whole positive number.
45. That we might be able to apply the rules of § 26, § 34, &c. to the determination of the fluxion of a complex function of a variable quantity, we have found it convenient in some cases to consider such a function as composed of other more simple functions of the same quantity, and we have expressed its fluxion by means of the fluxions of those other functions. In finding the fluxion of any higher order than the first of such a complex function by those rules, we must keep in mind, that it is only the fluxion of , the variable quantity from which the functions are all formed, that is to be considered as constant, and that the fluxions of the functions themselves are in general variable quantities; so that each of them may have a second, third, &c. fluxion, as well as the function which is composed of them.
Let us suppose, for example, that
then, considering as a function of , and putting to denote it, we have , and ; but since , it follows that ;
therefore, substituting for and their respective values, we have
Now, to find the second fluxion of , we may either take the fluxion of this last expression, viz. ,
and consider the symbol , which is found in it, as denoting a constant quantity; or we may recur to the
equation , and take the fluxion of this other expression for ; and in this case, we must consider that both and denote variable functions of , and therefore that the fluxion of may be found by the rule
Direct Method. for finding the fluxion of a fraction; observing that is to be substituted as the fluxion of . Accordingly, proceeding by this last method, and considering that the fluxion of , the denominator of the fraction is , we find
Now from the equation , we have , and (observing that is constant) . Let these values of , , and , be now substituted in the expression for , and it becomes
The very same expression for would have been found if we had employed the other method.
By proceeding as in this last example, the rules already delivered for finding the first fluxion of any function of a variable quantity will apply to the finding of the fluxion of any higher order.
Thus if we had , where and denote each a function of another variable quantity , and it were required to find the different orders of fluxions of , considered also as a function of ; then, by the rule of § 37, we have
and ;
but and being variable functions of , we may consider and as denoting also variable functions of , the fluxions of which are to be denoted by and respectively; now by the rule in § 37, we have
and fluxion of ;
By considering , , , also , , as denoting each a distinct function of , we may find the third fluxion of from the second, in the same manner as the second has been found from the first, and so on for the other orders of fluxions of . If it be now required to express the successive orders of fluxions of in terms of and its fluxion, we must find the values of , , &c. also of , , &c. in terms of and its fluxion, and these values, also the particular functions of denoted by and , being substituted in the expressions found for , , &c. will give to these expressions the form required.
If for example we suppose that
VOL. VIII. PART II.
and considering as constant,
these values of , , , , &c. being substituted in the expressions of , , &c. will give the successive fluxions of in terms of and only.
46. If the fluxion of a variable quantity be considered as the measure of its rate of increase, if that rate be uniform, then its measure will be a constant quantity; but if it be variable, then its measure will be a variable quantity, which will also have a certain rate of increase or decrease; and the measure of this rate will be its fluxion, or will be the fluxion of the fluxion of the original variable quantity; that is, it will be the second fluxion of the original variable quantity. And if this second fluxion is not a constant quantity, then the measure of its rate of variation will be its fluxion, or will be the third fluxion of the original variable quantity, and so on. Thus a quantity will have a successive order of fluxions till some one fluxion become constant, and then it will have no more.
47. We have hitherto supposed the equation expressing the relation between a variable quantity, and a function of that quantity, to be of such a form, that the function was found alone, and of the first degree on one side of the equation, and some power, or combination of powers, of the variable quantity on the other; as in these examples,
In such cases as these, is said to be an explicit function of . We are now to consider how the ratio of the fluxions is to be found when the relation between the variable quantity and its function is expressed by an equation, the terms of which involve different powers, both of the function, and the variable quantity; as in the following example,
where we are to consider as a function of ; but from the particular manner in which its relation to is expressed, it is said to be an implicit function of that quantity.
Now in this example, by the resolution of a quadratic equation, we find
and as is here an explicit function of , its fluxion or the ratio of its fluxion to that of , might be determined by the rules already laid down. But it is to be observed that it is only in the particular case of the proposed equation being of the second degree that we can effect the solution generally in this manner. If it
Direct Method. were of a higher order, this particular mode of solution would be often impracticable, for want of a general method of resolving equations.
48. We may however in all cases resolve the problem, without a previous resolution of the equation, by reasoning as follows.
Whatever be the degree of the equation, by giving particular values to , we can, by the theory of equations, obtain corresponding particular values of ; therefore, we may be assured that in every case is expressible by means of in some way or other, if not in finite terms, at least in the form of a series, the terms of which shall involve powers of . Hence we may infer, as in the case of explicit functions, that when changes its value, and becomes , will also change its value, and become
where denote functions of , that are independent of the arbitrary quantity . Let us denote the increment of , by the single letter ; then is the new value of , corresponding to , the new value of . Let these new values be substituted instead of and in the proposed equation.
and as the result must still be , we have
which equation, by actually involving its terms, substituting for its value and arranging the result in the form of a series proceeding by the powers of , becomes
Here denote quantities independent of , and involving that is to say, , and functions of , and therefore are also functions of . Now as this equation must subsist whatever may be, which is a quantity quite arbitrary and independent of the coefficients by which its powers are multiplied, it follows (as has been observed when treating of the method of indeterminate coefficients, ALGEBRA, § 261.) that the coefficients of the different powers of must be each equal to 0.
Therefore,
From the first of these equations we can infer nothing, as it is no other than the proposed equation itself; but from the second we find
Now , and being the simultaneous increments of and , we have therefore, supposing to be continually diminished, and
putting equal to the limit of , we have , therefore
thus we have obtained an expression for the ratio of the fluxions of and , from which we find
and this is precisely the expression we should have obtained, had we taken the fluxion of each term of
the proposed equation, and put the result equal to 0.
49. But to see that this will always be the case, whatever be the degree of the equation, we have only to observe, that, by the very same process employed to deduce from the original equation
these two others
if we suppose the equation to be generally expressed thus,
where the exponents , and denote constant quantities, we shall obtain
and hence, by substituting for its value , and bringing from the denominator,
From which it appears that, when the relation between , a variable quantity, and , a function of that quantity, is expressed by an equation, the terms of which are brought all to one side, so as to produce an expression ; the relation of the fluxions will be found, by taking the fluxion of each term of the equation (considering as a function of ), and putting the sum of these fluxions equal to 0.
50. Having from the equation
found that
if it be required to find the second fluxion of , we have only to take the fluxion of the latter side of this equation,
Direct Method. equation, considering as constant, and as a function of ; thus we have
an equation which abbreviates to
and from which we may exterminate by means of the equation.
By the same mode of proceeding we may determine the third or any higher fluxion of the function .
51. As far as we have yet gone in explaining the principles of fluxions, we have had continually occasion to employ the rule for finding the fluxion of the particular function , where denotes a variable quantity, and any constant number; and we may therefore, in respect of other functions, consider as a simple function. Besides the function , writers on Analysis have considered each of the following as also constituting a simple analytic function of a variable quantity; viz.
, where is constant, and is variable.
, that is the logarithm of , a variable number.
, that is the sine of , a variable arch of a circle, radius being unity.
, that is the cosine of , a variable arch of a circle, radius being as before unity.
52. We have already found the fluxion of , and we proceed to find the fluxions of the other simple functions of ; and, as in the investigation of these we shall have occasion to employ the binomial theorem, it will be proper to show how that theorem may be deduced from the principles already explained. We are then to find the series that expresses , when is any number whatever. Or, since is equal to ,
where denotes the fraction , we may leave the quantity out of consideration, as has been formerly observed, § 28, and seek the series that expresses .
As we have already pointed out (§ 28) the process of induction by which we may find the general form of the series, we shall not here repeat it, but assume
where denote numbers that are independent of .
Now, as the fluxion of a variable function must be the same, whether that function be expressed by one term, or developed into a series of terms; by performing the operation of taking the fluxion on each side of the above equation, the results must be equal, that is, § 26.
or leaving out the quantity , common to each term,
Let both sides of this equation be multiplied by , and divided by , thus we shall have
Thus, by performing on the quantities the analytical process of taking their fluxions, we have obtained a new expression for . Let the quantities that are independent of in each expression be put equal to each other, and also the coefficients of like powers of ; thus we obtain
Or, substituting successively the expression for each coefficient in that which follows it,
Hence it appears that
and therefore, substituting for , and multiplying by ,
where the law of continuation is evident.
53. We now proceed to investigate the fluxion of the function , being supposed constant, and the variable quantity, to which the function is referred.
4 X 2 Let
Direct Method. Let be supposed, as formerly, to change its value, and to become , and put for the new value that the function acquires by this change in the magnitude of , then we have
and, taking the difference between the two succeeding values,
We must now develop the expression into a series, the terms of which are arranged according to the successive powers of the increment . To effect this, let us put , so that , and ; but by the binomial theorem, this last expression may be expanded into the following series:
Therefore,
As the terms of this series are not arranged according to the powers of , but according to the powers of , it is necessary that we transform it into another having the required form; now this may be effected by actually multiplying together all the factors that constitute each term, and arranging the series anew in such a manner, that each of its terms may be a power of , multiplied by a coefficient composed only of the powers of , and given numbers;
Accordingly we have
&c.
Therefore, by taking the sum of all the quantities on each side of these equations, we get the series,
otherwise expressed thus,
where is equal to the infinite series
that is, to
and are also quantities composed of the powers of , and consequently are independent of ; but as these all disappear in the course of the investigation, it is not necessary to express them otherwise,
than by a general symbol. Therefore, we have now got
and consequently,
and
Hence, when is conceived to be continually diminished, we have the limit of expressed by , and therefore, § 21,
54. In the preceding investigation, we have had occasion to develop the exponential expression into a series of this form,
that is, a series the terms of which are the successive powers of the exponent, each multiplied by a coefficient, which is independent of the exponent.
We have however only determined the coefficients of the first two terms of the series, these being the only ones we had occasion to employ.
The result of the investigation however may be applied to determine all the coefficients by the very same kind of process as that which we have employed in § 53, to determine the coefficients of the terms of the series which constitutes the other expansion of .
Instead of denoting the exponent by , let us consider it as a variable quantity, and express it by , then, from what has been shewn it appears that
where express constant quantities. Let the operation of taking the fluxions be now performed on both sides of this equation, (observing that the fluxion of is ) and let all the terms be divided by , which is common to each, thus we obtain
and, dividing by ,
Let the coefficients of the same powers of in each of the two series expressing be put equal to each other, then,
Therefore,
Direct Method. Therefore, substituting these values of B, C, D, &c. in the original series, we have
the same result as has been found in the article ALGEBRA, § 293. by proceeding in a different manner.
55. If we suppose , then the preceding equation becomes
and if we suppose , it becomes
thus the quantity is equal to a constant number, which is the value of when , and which, by taking the sum of the first ten terms of the series, is found to be 2.7182818, or, by taking the sum of a greater number of terms, more accurately
We shall, in the remainder of this treatise, denote this
number always by , then , and , and taking the logarithms, , hence
56. If we now substitute this value of in the expression for the fluxion of , found in § 53, it becomes
Hence it appears, that the fluxion of the function is equal to the fluxion of multiplied by the function itself, and by the quotient arising from the division of the logarithm of by the logarithm of , where denotes
a series whose sum is 2.7182818 nearly.
57. Let us now consider the third simple function of , namely . Let be the radical number of the particular system, in which is a logarithm, and the corresponding number; then from the nature of logarithms (see ALGEBRA, § 277.) we have . Now, whether we consider as a function of , or as a function of , the limiting ratio of their simultaneous increments, and consequently the ratio of their fluxions will be the very same. But by considering as a function of , we have immediately, from what has been shown in § 53, and § 55,
and therefore, , but as is the radical number of the system, , therefore
The number which we have denoted by occurs very often in analytical investigations; it is the radical number of the system of logarithms first invented by Baron Napier, and called by some writers Hyperbolic logarithms, but by others, with more propriety, Napierian logarithms.
The expression is called the modulus of the system of logarithms whose radical number is . In the Napierian system , that is, the modulus is unity; but in the common system, or that in which , the modulus . The rule for finding the fluxion of the logarithm of a variable quantity may now be expressed thus:
Multiply the fluxion of the variable quantity by the modulus of the system, and divide the product by the variable quantity itself, the result is the fluxion required.
58. By the application of the rule for finding the fluxion of the logarithm of a variable quantity, we may readily find the fluxions of exponential functions in general. Thus, for example, if , and being both functions of any variable quantity , then ; and taking the fluxions (considering as the product of two functions and , and proceeding by the rules of § 37 and last),
and hence
59. We are next to consider the functions , and .
Suppose to change its value, and to become , and to become , then, since
but by the arithmetic of sines (see ALGEBRA, § 353), , therefore,
In this case, as when treating formerly of other functions, we might consider the above expression for , as resolvable into a series proceeding by the powers of the increment, and thence we might
might find the limit of as before. But we may discover the limit otherwise, by proceeding as follows: Because
Let this value of be substituted in the expression for , and it becomes
And hence, dividing by , and arranging the terms so as to exhibit the ratio , we get
Conceive now to be continually diminished, and we shall have the limit of equal to the limit of multiplied by the limit of the following expression
Now, the sine of an arch being less than the arch itself, we have . Again, the arch being less than its tangent, ; but , and therefore ; consequently . Hence it appears, that the expression for the ratio is less than 1, or radius, but greater than . But being conceived to be continually diminished, continually approaches to 1, and may come nearer to it than by any assignable difference; therefore, the limit of is 1. As to the other expression, ; when is supposed to be continually diminished, its second term, to wit, may become less than any assignable quantity; therefore the limit of the expression is simply : thus, upon the whole we have found that the limit of is , and therefore
The fluxion of the other function, , is easily deduced from that which we have just found, by proceeding thus:
Put to denote a quadrant, then , and therefore
Now, it has been just shewn that
flux. of but , and the fluxion of is , therefore
Thus it appears, that the fluxion of the sine of a variable arch is equal to the fluxion of the arch multiplied by its cosine; and that the fluxion of the cosine is equal to the fluxion of the arch (taken with a negative sign) multiplied by the sine.
60. We can now very readily find the fluxion of any other function of an arch of a circle. Thus, suppose ; then, because , we have . This expression being considered as a fractional function of , we have, by § 39, and what has been just now shewn,
or, since , and ,
In like manner, if we suppose , then, because , we have , and
or, since , and ,
Proceeding in this manner, we find that when , then
And when , then
61. Let us now consider the fluxions of geometrical magnitudes: And first let it be required to find the expression for the fluxion of BDPC the area bounded by CP, a curve line, and by CB, PD, the ordinates at its extremities, and BD, the portion of AE, the line of the abscissas, which lies between those ordinates. Let the numerical measures of AD and PD, the co-ordinates at the point P, be denoted by and , and the numerical measure of the area BDPC by ; then
Direct Method. then and may both be considered as functions of the abscissa .
Let , or , be supposed to change its value, and to become , and let , and be the corresponding new values of and ; then , and will be the geometrical expressions for the simultaneous increments of the abscissa and area. But, as one of these quantities is a line, and the other a space, they cannot be compared in respect of their ratio. Therefore, let us consider as denoting a line whose numerical value is unity, and then the numerical values of the increments of the abscissa and area may be considered as analogous to the geometrical quantities , and the area respectively, which quantities being homogeneous may now be compared with each other. We are now to investigate the limit of , the general expression for the ratio of the increments of and . Draw and parallel to , meeting the ordinates in and . The curvilinear area is greater than the rectangle , that is, greater than ; but less than the rectangle , that is, less than , therefore
But the increments being supposed to be continually diminished, is the limit of , therefore is also the limit of , and hence (§ 21.) , and .
That is, the fluxion of a curvilinear area is equal to the product of the ordinate, and the fluxion of the abscissa.
62. Before we proceed to investigate the expression for the fluxion of an arch of a curve, it is necessary that we should inquire what is the limited ratio of an arch of a curve to its chord.
Let be any curve line, all the parts of which are concave towards its chord . Let be tangents at the extremities of the arch, and let be a triangle similar to , but having its base of a given magnitude, then
Suppose now the point to approach to , then the angles at and , and consequently the angles at and , which are equal to them, will decrease, and may become less than any assignable angles; therefore, the limit of the ratio of to is evidently a ratio of equality; hence also the limit of the ratio of to is the ratio of equality; and since the arch is less than , but greater than its chord , the limit of the arch to its chord must also be the ratio of equality.
63. We proceed now to find the fluxion of an arch of a curve. Let be a curve line of any kind, and any two co-ordinates at a point in the curve. Put for , the abscissa, for , the ordinate, and for the curve line , then and may be considered as each a function of . Draw another ordinate, and draw parallel to , meeting in , and draw the chord ; then , and the arch are the simultaneous increments of , and respectively. Now we have
But ; therefore,
Suppose now the increments to be continually diminished, then, as , and (§ 21.), and (last §) we have
Hence it appears that the square of the fluxion of a curve line of any kind is equal to the sum of the squares of the fluxions of the co-ordinates.
64. The expression for the fluxion of a solid may be found by the same mode of reasoning as that which we have employed, § 61, to find the fluxion of a curvilinear area. Let be a portion of a solid generated by the revolution of , a curve line, about , a line taken in the plane of the curve, as an axis. Let be the lines in which , a plane passing along the axis , meets , the planes of two circles formed by sections of the solid perpendicular to its axis. Draw and parallel to . Put , let denote the solid , having for the radius of its circular base, and for its altitude; put for the number , viz. the circumference of a circle having its diameter , and let denote an area, having its numerical measure expressed by unity; then , or being considered as the increment of , the portion of the solid comprehended between the parallel planes will be the corresponding increment of , which we are
to consider as a function of ; hence (§ 21.) is equal to the limiting ratio of the portion of the solid, comprehended between the planes , and to the solid . But the former of these solids being evidently greater than a cylinder , having the circle for its base, and for its altitude, that is greater than , and less than a cylinder , having the circle for its base, and for its altitude, that is less than ; it
Direct Method. it follows, that as long as has an assignable magnitude,
but the increment being continually diminished, , the greater limit of , approaches continually to its lesser limit , so as to come nearer to it than by any assignable difference, therefore , and . Now, if we observe that is the area of the circle , it will appear, that the fluxion of a solid generated by the revolution of a curve about its axis is equal to the fluxion of the axis multiplied by the general expression for the area of a circle formed by supposing the solid to be cut by a plane perpendicular to its axis.
65. To find the fluxion of the surface of the solid, let us denote that surface by , and let and denote as before; then the surface contained between the circles and will be the increment of , corresponding to the increment of . Draw the chord ; then the curve line being supposed to revolve about the axis , and thus to generate the increment of the surface of the solid, the chord will generate at the same time the convex surface of a frustum of a cone; now the limiting ratio of the curve line to its chord being the ratio of equality, the limiting ratio of the surfaces generated by the revolution of those lines will also be the ratio of equality;
therefore , which is equal to the limit of
will also be equal to the limit of
but the convex surface of a frustum of a cone is equal to the product of its slant side into half the sum of the circumferences of its two bases (see GEOMETRY), and in the present case these circumferences are equal to , and , therefore is equal to the limit
of
but the point being supposed to approach to , the
limit of , will manifestly be ; and since , the limit of this expression (if we consider that and are the simultaneous increments of and ) is evidently equal to , therefore
and consequently
If we now observe that is the circumference of the circle , and is the fluxion of the curve line , § 63, it will appear, that the fluxion of the surface of a solid generated by the revolution of a curve about its axis is equal to the fluxion of the curve line multiplied by the general expression for the circumference of a circle formed by supposing the curve to be cut by a plane perpendicular to its axis.
SECT. III. The Application of the Direct Method of Fluxions.
HAVING explained the principles of the direct method of fluxions at as great a length as we think suitable to the work of which this treatise forms a part, we proceed to shew how the calculus may be applied to the resolution of some general problems in Analysis and Geometry.
Investigation of a general formula for expanding a Function into a Series.
66. In treating of the principles of the method of fluxions, we have, from an examination of particular functions, inferred by induction, that being any function of a variable quantity , which was either actually expressed, or capable of being expressed by a combination of the powers of , then, being supposed to change its value, and to become , the new value which the function will acquire when is substituted in it instead of will always be capable of being expanded into a series of this form,
where denote functions of that are quite independent of .
We have shewn that, from the particular form of this development, it happens that the ratio of the increment of the function, to the increment of the variable quantity itself, admits of a limit, which is always expressed by , the coefficient of its second term; and as we have defined this limit to be the expression for the ratio of the fluxions of and , so that , the new value of the function may also be expressed thus
And
Direct Method. And this expression may be considered as indicating not only the general form of the series, but also the particular relation subsisting between , the original function, and , the coefficient of the second term of the series, the latter being in every case that function of which results from the operation of taking the fluxion of the former, and dividing by .
We are now to investigate the relation that subsists between each of the remaining coefficients and the original function.
67. First let us suppose the function to have the particular form , being a constant number. Then changing its value to , changes to , therefore, by the binomial theorem (§ 52.)
But since , by taking the successive fluxions of , and considering as constant, we have
Let , , , , , be now substituted for , , , , respectively, in the series for , and we have
68. This manner of expressing the development of , or , indicates directly the relation that each of the coefficients of the successive powers of has to the original function.
The first term of the series is the original function , or , itself, or it is what the function becomes upon the supposition that . The second term is , or , multiplied by the coefficient , which coefficient is a function of derived from the original function by the operation of taking its fluxion, and dividing the result by . The third term is multiplied by the coefficient , that is, by a function of derived from the preceding coefficient by the same
operation as that coefficient was derived from the original function, namely by taking the fluxion of , considering as constant, and dividing by . The fourth term is multiplied by , that is, by a function of deduced from the third coefficient by the very same operation as that by which the third was derived from the second, or the second from the first. And so on with respect to all the other terms of the series, the th term being the product of , and the th fluxion of the function divided by .
69. Let us now suppose that denotes any other function of , then, whatever be its nature, it may always be conceived as capable of being expressed by a series, the terms of which are powers of , in this manner;
where denote constant numbers. Thus we have
Then, being supposed to become , and (in consequence of the change in the value of ) to become , we have
Let us now denote by , by , by , then by last §
Therefore, substituting these developments in the series expressing ,
&c.
Therefore, substituting , , &c. for the series to which they are respectively equal,
Hence it appears that being any function of whatever, if be substituted in that function instead of , the series expressing the development of this new value of the function will have the general properties which have been shewn, in last §, to belong to it in the case of the function having the particular value .
The very general theorem which we have just now investigated is one of the most elegant and important in analysis. It was first published by Dr Brooke Taylor in a work entitled Methodus Incrementorum, which made its appearance about the year 1716. The theorem itself is generally known by the name of Taylor's theorem. It is more general than the celebrated Binomial theorem, inasmuch as this last, and innumerable others, are comprehended in it as particular cases.
70. We shall now give some examples to shew the manner of applying Taylor's theorem, as well as its great utility as an instrument of analysis.
Example 1. Suppose , being constant and variable. Then becoming , becomes . Now from the equation we derive (§ 56.)
Again, considering as constant, and repeating the operation of taking the fluxion on , we get , and hence
Suppose now, that , then, as in this case , we have
or, exchanging for ,
the same result as we formerly obtained in § 54.
Ex. 2. Suppose . Then, becoming , becomes . Now from the equation , we find (by § 57.) .
Here denotes the modulus of the system. Again, supposing constant, we find by § 26, , .
&c. Therefore, substituting as before the values of , , , &c. in the general for-
If we suppose , and change into , we have, because ,
For the particular method of applying these two series to the calculation of logarithms, see ALGEBRA, § 285 to § 291. See also LOGARITHMS.
Ex. 3. Suppose now . Then . From , by the application of the rule in § 59, we deduce , , , , &c.
Therefore, substituting for , , , &c. their values in the general formula as before, we have
or is equal to
If we suppose , then, as in that case , the preceding formula becomes
,
Ex. 4. Suppose , then , and since , by § 59, , , , &c. Therefore, substituting as before these values in the general formula it becomes
which expression, when , and therefore , , becomes simply
71. It may be remarked that in each of these examples, from the development of the new value of the function of , we have been able to deduce a development of the function itself. But it is easy to see, that by proceeding in the same manner with the general formula as we have done in these particular examples, we shall obtain a general expression for the development of any function whatever.
Now, being the value that assumes when is substituted in it instead of , if we suppose , then becomes the very same function of , that is of . Let us denote the values which each of the functions acquire, when , by respectively.
Then () (considered as the same function of that is of ) is equal to
Let be now supposed to be substituted both in , and the series which is its development instead of , then becomes , and we have
and in this formula it is to be considered, as already stated, that denote the particular values
which the functions acquire respectively, by supposing that in each of them is taken .
72. As an example of the application of this series let us resume the equation , then
Suppose now that , then , or becomes , becomes , becomes , &c. so that substituting therefore these values in the general formula, it becomes
Let us next suppose that is an arch of a circle of which the fine is (radius being unity), then . Now the ratio of the fluxion of to the fluxion of will be the very same whether we consider as a function of , or as a function of ; therefore (§ 59.)
, and , but since , , therefore,
(F) For the sake of illustration let us take a particular example. Suppose , then , , &c. Suppose now that , then becomes , becomes , becomes , &c. so that in this particular case we have
Taking now the fluxion of , and the fluxion of the result, &c. we have
Suppose now that , then becomes 0, becomes
that , , , , , &c. Therefore, substituting in the general formula, we find
By prosecuting the computations farther, we may find
Application of the Method of Fluxions to the Drawing of Tangents.
73. The theory of tangents to curve lines furnishes a good illustration of the truth of the principle which we have considered as the foundation of the method of fluxions, namely, that whatever be the form of a function, the ratio of its increment to the increment of the variable quantity from which the function is formed, is in every case susceptible of a limit.
Let AB, the abscissa of a curve, be the geometrical expression of a variable quantity , and let BP the corresponding ordinate, be the expression for , any function of ; then the curve line itself is the locus of the equation expressing the relation between and . Let PT, a tangent to the curve at P, meet AB the abscissa in T; through P draw any straight line meeting the abscissa in D, and the curve in ; draw the ordinate , and from P draw Pn parallel to the abscissa, meeting the ordinate in .
The triangles DBP, Pnp are similar; therefore
Now , and , or , are the increments of PB and BA, or of and respectively, therefore the ratio of the simultaneous increments of PB and BA, or and , whatever be their magnitudes, is equal to the ratio of PB to BD. Conceive now the point to approach continually to P, then the angle contained by the straight line , and the tangent PT, will decrease, and the point D will approach to T; at the same time , and , the increments of and , will be continually diminished; still, however, they will have
to each other the ratio of PB to BD, but this ratio approaches continually to the ratio of PB to BT, and becomes at last more nearly equal to it than any assignable ratio; therefore the ratio of PB to BT is the limit of the ratio of PB to BD, and consequently is also the limit of the ratio of , the increment of , to , the increment of . And as this conclusion does not depend upon the particular nature of the curve, or upon any particular relation supposed to subsist between and , we may conclude, that whatever be the form of the function, the ratio of the simultaneous increments of the function, and the variable quantity from which it is formed, has a limit to which it approaches when the increments are conceived to be continually diminished.
It is now easy to see how the method of fluxions may be applied to the determination of tangents to curves, for since the ratio of the ordinate PB to the subtangent BT is always the limiting ratio of the increments of the ordinate and abscissa, it is equal to the ratio of their fluxions, that is
Hence in any curve whatever, referred to an axis, the subtangent, (that is, the segment of the abscissa between the ordinate and tangent) is equal to where denotes the abscissa, and the ordinate at the point of contact; and the subtangent being found, the position of the tangent is thereby determined.
Let us apply the above general formula to some examples.
Example 1. Let the proposed curve be a circle. It Fig. 7. is required to determine the position of PT, a tangent at any point P in its circumference.
Put for AE the diameter, also for AB the abscissa, and for BP the ordinate at the point of contact.
From the nature of the curve, we have
Hence taking the relations of the fluxions of and , we have
from which it appears that BT the subtangent is a third proportional to and , that is, to CB the distance of the ordinate from the centre, and BP the ordinate, agreeing with what is known from the elements of geometry.
Ex. 2. Let the curve be a parabola, required the Fig. 8. same as before.
Put for AB, the abscissa, and for BP the ordinate at P the point of contact; also for the parameter; then, from the nature of the curve
therefore,
Direct Method. therefore, taking the fluxions, we get , and
from which it appears that the sub-tangent BT is double the abscissa BA.
Fig. 9. Ex. 3. Let the curve be an ellipse. Put , , the semi-transverse axis , the semi-conjugate axis .
The nature of the curve is such, that
and taking the relation of the fluxions,
But from the preceding equation expressing the nature
of the curve, ; therefore
To this expression for BT, let be added, and we have
from which it appears that .
Fig. 10. Ex. 4. Suppose the curve to be a hyperbola, and let it be required to find, as in the preceding examples.
Put and , as in the case of the ellipse, to express the semitransverse and semiconjugate axes, then the equation of the curve is
and taking the relation of the fluxions,
from which we find
or, substituting for ,
Let this expression for BT be subtracted from the expression for CB, that is from , and we have
therefore .
Ex. 5. Suppose the curve APD to be a cycloid, of Fig. 11. which AE is the axis, and AQE a semicircle described on the axis as a diameter. Suppose AC, the radius, to be unity; put , , and the arch ; then, and . Now, from the nature of the curve, ; hence we have
and taking the fluxions, by § 59.
therefore,
but from the nature of the circle , there-
fore, , and consequently
, from which it appears that if the chord AQ be drawn, the tangent PT is parallel to the chord QA.
74. If PT (Fig. 6.) be a tangent to the curve AP at Fig. 6. the point P, and PC be drawn perpendicular to the tangent, meeting AC the axis of the curve in C, then the line PC is called a normal to the curve at the point P; and BC, the distance between the ordinate and the extremity of the normal, is called the sub-normal.
The triangles TBP, BPC being similar, we have ; or, since , (§ 73) , hence in any curve, BC the sub-normal is equal to ; and from this expression, we may find
the sub-normal in the same way as we have found the sub-tangent in the examples of last §.
75. As by plane trigonometry
and from § 73, ,
hence it appears that expresses the numeral tangent of the angle T, that is, the angle contained by a tangent to the curve, and the axis of the curve. In like manner we have
therefore expresses the tangent of the angle C, that is, the angle contained by a normal to the curve and its axis.
Application
76. If a variable quantity be supposed to change its magnitude, then any function of that quantity will also change its magnitude. When the variable quantity is supposed to increase continually so as to acquire successively all degrees of magnitude, there are some functions of such a form, that they either increase continually, or decrease continually; but there are others again which either increase to a certain limit, after which they decrease; or else they decrease to a certain limit, after which they increase.
If, in consequence of the continual increase of a variable quantity, a function of that quantity first increases to a certain limit, and afterwards decreases, when it arrives at that limit it is then said to be a maximum. Or if it decrease to a certain limit, and afterwards increase, when it arrives at that limit, it is then said to be a minimum.
77. Let us consider the function . If we suppose , then . Suppose now to be at first very small, and to increase; then as will decrease, will also increase, till become , and then will become , when it is a maximum; for being supposed to become greater than , will be less than . By supposing to increase till become equal to , then will decrease to ; and being still supposed to increase, will become negative.
Let us next suppose . In this case when , ; as increases, decreases, and consequently decreases, till , and then , a minimum; for becoming greater than , becomes greater than .
78. Every function that either increases or decreases continually has neither maximum nor minimum; for whatever value such a function may acquire, in the one case it may always have a greater, and in the other a less value.
The characteristic property of a maximum value of a function, by which it is made the object of analytical inquiry, consists in its being greater than the values immediately preceding, and also greater than the values immediately following it; and that of a minimum consists in its being less than the values immediately preceding, and also less than the values immediately following it.
In some cases a function may increase to a certain limit and then decrease, and afterwards increase again indefinitely; or the contrary. Hence it may happen that such a function may have values greater than its maximum or less than its minimum as they have been here defined. And indeed it is easy to conceive that a function may increase and decrease alternately several times; in such a case it must be considered as having several maxima and minima.
79. Since any function of a variable quantity may be considered as the ordinate of a curve, of which is the abscissa, it is evident that to determine the greatest or least value of such a function, we have only to seek the greatest or least ordinate of the curve which
is the locus of the equation expressing the relation between and . Let us suppose this curve to be DPE, and that AB is the value of , corresponding to BP the maximum or minimum value of the ordinate ; it is evident, that in the case of a maximum, the curve must be concave towards AC, at least to a certain extent, on each side of the point P, as in fig. 12. but that in the case of a minimum it must be convex towards AC, as in fig. 13.; and also, that in either case, if a straight line be drawn through P parallel to AC, the curve must be wholly on one side of that line, to a certain extent on each side of the point P, and therefore, that the line PQ must be a tangent to the curve at the point P.
Now when PQ a tangent to a curve at P (fig. 8.) meets the axis in T, it has been shewn, § 75, that is the expression for the tangent of the angle T, radius being unity; but this angle vanishes, when PQ, instead of meeting AC, is parallel to it, as in fig. 12. and fig. 13.; therefore, as in this case the tangent of the angle is ,
we have .
Hence it appears, that to determine the maximum or minimum of , a function of , we must find the fluxion of the function, and divide it by , and put the result equal to .
80. We proceed to illustrate this rule by some examples.
Ex. 1. To divide a given number into two such parts, that their products may be the greatest possible.
Let denote the one part, then will be the other part, and the product of the two parts. Therefore, by the question
hence, taking the fluxion of the function,
therefore, , and .
Thus it appears that the product of the parts will be the greatest possible, when each is half the given number.
Ex. 2. To find the fraction which shall exceed its cube by the greatest quantity possible.
Let denote the fraction, then its cube is , so that we have
therefore, taking the fluxion of the function,
hence , and , the fraction required.
Ex. 3. To determine the greatest rectangle that can be inscribed in a given triangle.
Put the base AC of the triangle , and its altitude BD , and let Bn, the altitude of the rectangle , considered as variable, be denoted by , then, because
Direct Method. because of the parallel lines AC, pq, it will be, as BD : AC :: Dn : pq, that is a : b :: a - x : pq, hence pq = , and the area of the rectangle, or pq x Bn, will be = , therefore y = must be a maximum, and hence ; thus we have
and , and ; hence it appears that the greatest inscribed rectangle is that whose altitude is half the altitude of the triangle.
81. It is proper to observe that the value of a quantity, when a maximum or minimum, may often be determined more readily by considering that any given multiple, or part of the function, likewise any power or root of it, must then be also a maximum or minimum. Thus in the preceding example, in which the function to be a maximum is , we may reject the constant multiplier , and then the function to be a maximum is , the fluxion of which being taken, we have and , hence , the same value as before.
82. Ex. 4. Of all the right-angled plane triangles having the same given hypotenuse, to find that whose area is greatest.
Fig. 15.
Let ABC be the triangle; put AB = x, and AC, the given hypotenuse, = a, then BC = , and consequently the area of the triangle is , which being a maximum, its square , also four times that square, or , will likewise be a maximum, therefore, , a max. hence , and , hence , and .
Fig. 16.
Ex. 5. To determine the greatest cylinder that can be inscribed in a given cone. Put AC the base of the cone = b, BH its altitude = a, and DF, the diameter of the end of the cylinder DIGF inscribed in the cone, = x. From the similar triangles BAC, BDF, we have AC : BH :: DF : BE, that is b : a :: x : BE, hence BE = , and EH = BH - BE = . Put c for the number 78539, then the area of the base of the cylinder is (by the Elements of Geometry) , and
its solid content , hence is to be a maximum, therefore, leaving out the constant multiplier , we have , a maximum; taking now the fluxions, we get , and , hence , and , and consequently HF = .
Ex. 6. To find the sun's place in the ecliptic, when that part of the equation of time which arises from the obliquity of the ecliptic is a maximum. Let EQ be the equator, EC the ecliptic, S the sun's place, and SA his declination, then this part of the equation of time is the difference of the sun's longitude ES, and right ascension EA, turned into time. Put the arch ES = x, the arch EA = v, which is to be considered as a function of x, and put a for the cosine of the angle E = 23° 28'. Then, by Spherical Trigonometry, in the right-angled spherical triangle EAS, we have tan. EA = cos. E x tan. ES; therefore, to determine x we have tan. v = a tan. x, and y = x - v, a maximum.
From the second of these equations we get , and , and from the first, by § 60, , and , therefore, , and , or , but from the first equation , therefore, , or ,
hence , the tangent of 46° 14', the sun's longitude when this part of the equation is a maximum.
83. We have deduced the rule of § 79. for determining when a function is a maximum, or minimum, from the consideration of curve lines. The whole theory of maxima and minima may however be explained in a manner purely analytical, as follows: Let us suppose that y is any function whatever of x, and that x has acquired the value that produces the maximum or minimum of the function; then, if we suppose x - h and x + h to be substituted successively in the function instead of x, the two resulting values ought to be both less than the maximum or both greater than the minimum value. Let
Let us denote the value of the function that results from the substitution of by and that which results from the substitution of by , then by the theorem given in § 69,
In each of these values, , the coefficient of , must either be equal to some quantity, positive or negative, or else it must . Let us suppose, if possible, that it is equal to some quantity, positive or negative; now as may be conceived to be so small that the term , or any other term, shall exceed the sum of all the terms that follow it in each series, (D) if we suppose to have such a value, then, because of the term having the sign — in the one series, and + in the other, it follows that the one value of the function is greater, and the other less than , the maximum or minimum value: But this conclusion is inconsistent with the nature of a maximum or minimum, therefore cannot in the case of a maximum or minimum be equal to any positive or negative quantity whatever.
If however we assume , so that the two values are,
then as the second term has the same sign in both, when that term is greater than all the terms that follow
it, we shall have both values greater than when is positive, and both less when it is negative, the first case corresponding to a maximum, and the second to a minimum.
Hence, to determine the maximum or minimum of the function , it appears that we must take the fluxion of , and divide it by , and put the result equal to 0, which agrees with what was shown in § 79.
84. Although in the case of a function admitting of a maximum or minimum we have always , yet we must not conclude that conversely the one or the other of these has place every time that . For if it so happens that the value of that renders , causes also to vanish, without at the same time making to disappear, then we have
and as by giving a proper value to , may be rendered greater than the sum of all the following terms in each series, it follows, that being supposed to be any quantity either positive or negative, because of its sign being different in the two values, the one of them will be greater, and the other less than , the maximum or minimum value, which result is inconsistent with the nature of a maximum or minimum. If however be assumed , then
(D) If this should not appear sufficiently obvious, let
be such a series, where denote quantities either positive or negative, but which are independent of . Then, writing the series thus,
it is obvious that if be conceived to be continually diminished, and at last to become , the part
will also become , therefore before it vanishes it will be less than , or any other assignable quantity, therefore may become less than .
here again, the coefficient of the second term having in both values the same sign, the conditions of the maxi-
mum or minimum are fulfilled, and the sign of shows when the one or the other is to have place.
It must now be sufficiently evident, without proceeding any further, that a function can only admit of a maximum or a minimum when the first of its fluxions that does not vanish, is of an even order (or is its second or fourth fluxion, &c.), and that the sign of that fluxion is negative in the case of a maximum, but positive in the case of a minimum.
85. We shall conclude this theory by applying it to an example. Let be such a function of that
To find the value of , let this value of be substituted in the original equation, it thus becomes
We must now examine what is the nature of the expression for . Taking the fluxion of the equation
therefore, dividing by ,
but as in the present case , and , this expression becomes simply
VOL. VIII. Part II.
which equation, by putting instead of its value , becomes
and as this result is negative, we conclude that the value which we have found for is a maximum.
Of the values of fractions, the numerators and denominators of which vanish at the same time.
86. There are some fractional functions of such a nature, that by giving a particular value to the variable quantity, both the numerator and denominator of the fraction vanish, and thus the fraction is reduced to this form , an expression from which nothing can be concluded.
We have an example of this in the fraction , which, by supposing becomes ; we must not however conclude that the fraction has no determinate value in this particular case, for if we consider that its numerator and denominator have a common divisor, viz. , it is evident that by taking this divisor out of both, the fraction , becomes , an expression, which in the case of is equal to .
87. In general, if we make in an expression of this form , it becomes ; however its true value is either nothing, or finite, or infinite, according as , or , or ; for by taking out the factors common to the numerator and denominator, the fraction becomes in the first case, in the second, and in the third; here we suppose that and are such functions as neither become nothing, nor infinite, by the supposition of .
88. Therefore, when by giving a particular value to a function of that quantity assumes the form , to discover the true value of the function in this particular case, we must disengage the factors which are common to the numerator and denominator. This may be done in most cases by finding their common measure (ALGEBRA, § 49.) but the direct method of fluxions furnishes us with another method.
In the expression , where denotes any function of that is independent of , if we suppose , then the expression vanishes; the fluxion however of the expression, viz. , is a quantity which does not vanish when , but is then reduced to its last term, that is to .
Again, the function vanishes by supposing , but if we take its fluxion, viz. , and again the fluxion of this quantity, we get
an expression which does not vanish upon the hypothesis of , but is reduced to its last term, viz. . By proceeding in this manner, it is easy to see that by taking the fluxion of a function of the form times successively ( being a whole number) we shall finally obtain an expression, all the terms of which, except the last, vanish by supposing that ; and that the last term will be , an expression free from the factor , and involving only the function .
89. It is not necessary that we should know the number , nor that we should exhibit the factor , in order to determine when the expression is freed from that factor. We have only to ascertain after each operation of taking the fluxion, whether the result vanishes or not, when we substitute instead of ; for in the last case the operation is finished, and the result is the quantity . Suppose for example the function to be , which vanishes when , its first fluxion also vanishes when , but not its second fluxion, which is , hence we may conclude that the function has the form , which is besides obvious, because
90. In applying these observations to the fraction it appears, that by repeating the operation of taking the fluxions of its numerator and denominator, they will be freed at once from the factor , if . If a result, which does not vanish, be obtained first from the numerator, then we may be assured, that the factor, is found in the numerator raised to a less power than in the denominator, and in this case the fraction is infinite when . If on the contrary the first result that does not vanish is found from the denominator, then the numerator contains a higher power of than the denominator, and in this case, when , the fraction vanishes.
The rule for finding the value of a function which becomes by giving a particular value to , may therefore be expressed thus. Take the successive fluxions of both the numerator and denominator until a result which does not vanish be obtained from either the one or the other, or from both at the same time; in the first case the function is infinite, in the second it is equal to 0, and in the last case its value is finite.
91. We proceed to illustrate this rule by a few examples.
Ex. 1. The value of the function is required when .
The fluxion of the numerator is , and that of the
denominator is , neither of which quantities vanish when , therefore, in this particular case, the value of the fraction is .
Ex. 2. Suppose the fraction to be which vanishes when .
By taking the fluxions of the numerator and denominator we obtain , a fraction, the numerator and denominator of which still vanish upon the hypothesis of , we therefore take the fluxions a second time, and get for the value of the proposed fraction in the particular case of .
Ex. 3. Suppose the fraction to be
which vanishes when . In this example, by taking the fluxions of the numerator and denominator once, we get
an expression, of which only the numerator vanishes upon the supposition of ; hence we may conclude the true value of the fraction in this case to be 0.
The contrary happens in the fraction
we may therefore conclude that when , this last fraction becomes infinite.
92. The rule § 90 can only be applied when the factors common to the numerator and denominator are integer powers of , for as by taking the fluxions, the index of is diminished by an unit at each operation; when is a fraction we shall at last arrive at a result containing negative powers of , which therefore, when , will become infinite. The following mode of proceeding will however apply to all cases whatever.
Let be a fraction of which the numerator and denominator both vanish when ; by substituting in it instead of , the functions and may be expanded into a series of this form,
which are ascending, that is, having the exponents of the powers positive and increasing; because the series must become 0, upon the hypothesis that . We have therefore
instead of the proposed fraction.
Direct Method. Now if , by dividing the numerator and denominator of this expression by the factor , which is common to all the terms of each, it becomes
a quantity which, by supposing , is reduced to , that is to 0. If again , the expression for the fraction, after dividing the numerator and denominator by , is
which, by supposing to be , becomes simply , a finite quantity. If, however, , then the expression for the fraction is
which, when , becomes , an expression which may be considered as infinite. Thus it appears that in each case the true value of the fraction depends only on and , the first terms of the series.
The following rule is applicable to every function that can appear under the indeterminate form .
Find the first term of each of the ascending series which express the developments of the numerator and denominator when is substituted in them instead of . Reduce the new function formed of these first terms to its most simple form, and make ; the results shall be the different values of the proposed function when is made equal to .
Example. Suppose the function to be
which, when , becomes . By substituting instead of , and developing the results into series, the numerator becomes and the denominator Taking now the first
term of each series, we have , an expression in which is not found; therefore the value of the function is , when .
Of the Radii of Curvature.
93. Let HC/CF represent a material curve, or mould.
Let a thread be fastened to it at H, and made to pass along the curve, so as to coincide with it in its whole extent from H to F. Let the thread be now unrolled or evolved from the curve, then its extremity F will describe another curve line FAPP'. The curve HCF is called the EVOLUTE of the curve FAP; and the curve FAP is called the INVOLUTE of the curve HCF.
94. From this mode of conceiving the curve to be generated, we may draw the following conclusions.
1st. Suppose PC to be a portion of the thread detached from the evolute, then PC will be a tangent to the evolute at C.
2dly. The line PC will be perpendicular to a tangent to the curve FAP at the point P, or will be normal to the curve at that point. For the point P may be considered as describing at the same time an element of the curve FAP, and an element of a circle , whose momentary centre is C, and which has PC for its radius.
3dly. That part of the curve between F and P, which is described with radii all of which are shorter than CP, is more incurved than a circle described on C as a centre, with a radius equal to CP. And in like manner PP', the part of the curve on the other side of P, which is described with radii greater than PC, is less incurved than that circle.
4thly. The circle has the same curvature as the curve APP' itself has at P: hence it is called an EQUICURVE circle, and its radius PC is called the RADIUS of CURVATURE at the point C.
95. We are now to investigate how the radius of curvature at any point in FAP any proposed curve may be found.
Let AB and BP be the co-ordinates at P any point in the curve, and PC its radius of curvature; and let PC meet AB in E. Put the abscissa AB = , the ordinate BP = , the arch AP = , the angle AEP (that is, the arch which measures that angle, radius being unity) = , the radius of curvature PC = . Take P' another point in the curve, and let P'C' be the radius of curvature at that point. Let P'C' meet AB in E', and PC in D, and on D as a centre, with a radius = 1, describe an arch of a circle, meeting the radii PC, P'C' in and . Then the arch PP' will be the increment of ; and since the angle PDP' is the difference of the angles PEA, P'E'A, the arch will be the corresponding increment of .
Suppose now the point P' to approach continually to P, then the points C' and D will approach to C, and the ratio of the arch PP', the increment of , to the arch the increment of , will approach to the ratio of CP to Cm, that is to the ratio of to 1; therefore the ratio of to 1 is the limit of the ratio of PP' to , or , and passing to the ratio of the
fluxions, , thus we have obtained a formula ex-
pressing the radius of curvature, by means of the fluxion of the arch of the curve, and the fluxion of the angle which a normal to the curve makes with the line of the abscissas. We proceed to deduce from this formula
Direct Method. other expressions which may involve the fluxions of and only.
96. Because PE is a normal to the curve at E, the tangent of the angle PEA or is equal to (§ 75.),
put , then because , we have by taking the fluxions (§ 60.), , but
(§ 63.), therefore
and .
Substituting now this value of in the formula
If we now recollect that , and that , it will appear that this other expression which we have found for involves in effect the fluxions of and only.
97. In computing the values of , and we may consider any two of the three quantities , , , as a function of the remaining quantity; and upon that hypothesis compute their fluxions.
Thus if we suppose that and are functions of , then, as in taking the fluxions of , , and , we must consider as a given or constant quantity, from the equation we have (§ 39.), and sub-
stituting this value of in , the value last found for , it becomes
If again, instead of considering and as functions of , we consider and as functions of , then from the equation (as must now be reckoned constant), and
we get , thus the formula becomes
We shall now apply these formulae to some examples.
98. Example 1.—It is required to find the general expression for the radius of curvature of a parabola.
The equation of the parabola is , there-
fore, , and, making constant,
, therefore,
, and, putting for the radius of curvature,
If in this general expression, we put , we find for the radius of curvature at the vertex of the curve.
Ex. 2. Suppose the curve to be an ellipse, required as in the last example.
Putting and to denote the two axes, the equation of the ellipse is . Hence taking the first and second fluxions, we have , and ; whence , and , which expressions, by substituting the values of and , become
therefore,
and
which expression, when , becomes simply , the radius of curvature at the vertices of the transverse axis; but when , it becomes , the radius of curvature at the vertices of the conjugate axis.
99. AS the DIRECT METHOD of fluxions treats of finding the relation between the fluxions of variable quantities, having given the relation subsisting between the quantities themselves; so the INVERSE METHOD treats of finding the relation subsisting between the variable quantities, having given the relation of their fluxions.
Whatever be the relation between variable quantities, we can in every case assign the relation of their fluxions; therefore the direct method of fluxions may in this respect be considered as perfect. But it is not the same with the inverse method, for there are no direct and general rules, by which we can in every case determine from the relation of the fluxions, that of their flowing quantities or fluents. All we can do is to compare any proposed fluxion with such fluxions as are derived from known fluents by the rules of the direct method, and if we find it to have the same form as one of these, we may conclude that the fluents of both, or at least the variable parts of these fluents, are identical.
100. In the direct method we have shewn, that by proper transformations, the finding of the fluxion of any proposed function is reducible to the finding of the fluxions of a few simple functions, and of the sums, or products, or quotients of such functions. In like manner, in the inverse method we must endeavour to transform complex fluxionary expressions into others more simple, so as to reduce them, if possible, to some fluxion, the fluent of which we already know.
101. As when is such a function of a variable quantity , that , where , and denote constant quantities, we find by the direct method (§ 36. and § 26.) that , or (putting instead of , and instead of ), ; so, on the contrary, as often as we have the fluxional equation
we may conclude that the relation of the fluents is expressed by the equation.
for by substituting instead of , and instead of in this equation, it becomes , the same equation as that from which the fluxional equation was derived.
102. The value of the constant quantity , which is generally called by writers on fluxions, the correction of the fluent, is to be determined from the particular
inquiry in which the fluxional equation occurs. If it be known that , when acquires some known magnitude, which may be denoted by , then the general equation , becomes in that particular case
Hence, by subtracting each side of this last equation from the corresponding side of the former, we get
an equation that is independent of the constant and arbitrary quantity .
103. By giving particular values to in the fluxional equation , and in that of the fluents , we may obtain particular fluxional equations, and corresponding equations of the fluents. There is however one case which requires to be noticed; it is when ; then the equation of the fluxions is , and that of the fluents, according to the general formula
but from this expression it is manifest, that nothing can be concluded. The value of the function , in the particular case of may be found by the rule given in § 90 for determining the value of a function when it assumes the form ; but it may be otherwise found by proceeding thus.
Put , and let , and ; then, by the formula of § 54,
and therefore
Thus.
Thus we have ; or expressed generally by a series, all the terms of which, except the first, being multiplied by or , will vanish when , or when ; hence it appears that the general equation , becomes in the particular case of , , which, substituting for and their values, and observing that
where and are to be taken according to the same system, which may be any system of logarithms whatever. So that if we take the Napierian system, in which , then
where denotes a constant quantity, and where the letter , in this formula, and in others in which it may occur, is put as an abbreviation of the words Napierian logarithm, so that by is meant multiplied by the Napierian logarithm of , &c.
This expression which we have found for the value of in the particular case of , or , coincides with what we might have found by considering that when , it has been shewn (§ 57.), that , so that conversely, when , we may conclude that , where denotes a constant quantity, to be determined from the particular question in which the fluxional equation may occur.
104. It must now be evident that if
where are constant numbers, then
here denotes a constant arbitrary quantity that may be considered as the sum of the constant quantities which ought to be added to the terms each being regarded as a distinct fluent.
105. In general, since that when
where denote any functions of a variable quantity, and a constant quantity, we have (§ 35. and § 36.)
So, on the contrary, if we have any fluxional equation of this last form, we may conclude that
And since that when , where and denote any function of a variable quantity, and a constant quantity, we have, § 37, , so, on the contrary, if
we may conclude that
and in like manner if we have
we may infer from § 39. that
106. It is often convenient to denote the fluent of a fluxional expression without actually exhibiting that fluent. For this purpose we shall employ the sign , putting it before the fluxion whose fluent we mean to denote. Thus, by the expression , is to be understood the fluent of ; and as this fluent has been found to be , we may express this conclusion in symbols shortly thus,
107. Suppose we have , we may expand into a series, and multiply the series by , and find the fluent of each term of the result. But we may also find the fluent of this expression without employing the development of , by proceeding thus. Put , then , and .
Substitute now these values of , and , in the expression for , and it becomes ; hence we have
(§ 101.) , and consequently, by substituting for ,
108. Suppose that . By putting as before , we have , and ; hence , and , and substituting for its value ,
109. Let us now consider fractional functions, and to begin with a simple case, let us suppose that
and consequently,
We have now only to find the development of , to multiply each of its terms by and divide it by , and take the fluent of the result.
Let us take for example the case of , and , then
Hence, taking the fluents of the several terms, as in § 105, we have
Let us now restore the value of , and then it appears, that when
110. If we suppose that
then, we may write the equation thus,
and take the fluent of each term, in the same manner
as we have found the fluent of .
Of the Fluents of rational Fractions.
111. Every fluxion that is a rational fraction is comprehended under this general formula,
which, by putting to denote the expression between the parentheses in the numerator, and the denominator,
may be represented by . Now in the first
place, we remark that the greatest exponent of the powers of in the numerator may be supposed to be less than that of its powers in the denominator. For if it were not so, by dividing by , and calling the quotient, and the remainder, we should have
Now, being a rational and integer function may be found, as in § 104, and it only remains to find
, an expression in which the highest exponent of the powers of in is less by unity than in ; so that the fraction may be generally expressed thus,
The general method of finding the fluent of a fractional expression of this form consists in decomposing it into a series of other fractions, the denominators of which are more simple. These fractions may be found by proceeding as follows: By putting the denominator of the proposed fraction equal to 0, we get this equation,
Suppose now that the roots of this equation are found, and that they are denoted by
which quantities we shall suppose, in the first place, are all unequal. Then the expression which has been assumed as equal to 0, may (ALGEBRA, Sect. X.) be considered as the product of factors
Let the proposed fraction be now assumed as equal to the sum of the simple fractions
having for their denominators the simple factors of the denominator of the proposed fraction, and for their numerators quantities which are constant, but as yet are indetermined.
That we may avoid complicated calculations, and present a determinate object to the mind, let us suppose that the fluxion of which we are to find the fluent is,
and that we have by the resolution of the cubic equation found
The
The common denominator of these fractions is the same as that of the proposed fraction, and each of the numerators, as well as their sum, is a function of of a degree lower than the denominator, that is, in the present case, it is a function of the second degree. By taking the actual products of the factors in the numerators, and adding the results, we find the sum of the fractions equal to
where denotes the common denominator . Setting aside
the factor of the above expression, we are now to compare that part of it which involves the three indeterminate quantities , with , the numerator of the proposed fraction, thus we obtain these three equations
By these equations, which are all of the first degree, we may determine the values of and , and thus
we have the proposed fraction equal to
where , and , are constant and known quantities.
Put , then , and the fraction is transformed to , of which the fluent is .
(§ 103). In like manner we find , and , and consequently
where by const. is meant a constant quantity.
It is easy to extend this mode of proceeding to the general formula given at the beginning of this §; and it is obvious, that as often as the denominator of a rational fraction can be decomposed into real and unequal factors, the determination of the fluent of that fraction is attended with no other difficulty than this decomposition, which requires the numerical resolution of equations.
112. We have supposed that the factors of the denominator of the proposed fraction are unequal among themselves, and it is only when this is the case that the fraction can be decomposed into others, having all this form . If we suppose that the denominator has a factor of the form , then the proposed fraction
must be assumed equal to
where , &c. denote indeterminate but constant quantities, and &c. are the remaining factors of the denominator of the proposed fraction. To determine the quantities , &c. we must now proceed in all respects as in last §, that is, we must reduce the fractions involving these quantities to a common denominator, which will be the same as the denominator of the proposed fraction; then we must add the numerators, and put the coefficient of each power of in the sum equal to the coefficient of the same power in the numerator of the proposed fraction. Thus we shall have as many equations as indeterminate quantities, and by resolving these equations, the value of these quantities will be found.
Having thus determined all the quantities , which enter into the fraction
its fluent may be found as shown in § 109. But we may also assume it equal to
and, it is easy to see, that by reducing these fractions to
Inverse Method. a common denominator and adding them, the numerator of their sum will have the same form as that of the fraction whose fluent we are seeking; so that the values of the indeterminate quantities will be found by putting the coefficients of the same power of in both numerators equal to each other. To find the fluent of
we may assume , then , and
In like manner
and so on, all the fluents being algebraic, except the last which is , a logarithmic function.
113. In resolving the equation
it may happen that some of its roots are imaginary quantities, and then some of the simple factors will be imaginary. These factors always occur in pairs (ALGEBRA, § 179.) and have this form
so that their product
is a real factor of the second degree. As every corresponding pair of imaginary simple factors may be united in this manner into a real factor of the second degree, if these factors are all unequal, we may avoid introducing imaginary quantities into the fluent of the proposed fraction by proceeding thus. Let and , denote two corresponding imaginary simple factors of the denominator. Instead of the two simple fractions
which would have been assumed if the factors had been real, assume a single fraction
the denominator of which is a real function of of the second degree, viz. that which is the product of the two imaginary factors. Here and denote two constant but indeterminate coefficients, the values of which, as
VOL. VIII. Part II.
also those of the other indeterminate coefficients are to be found as before.
If the denominator of the proposed fraction have several equal factors of the second degree resulting from its imaginary simple factors, so that the product of those equal factors is
then, corresponding to this product, we must, among the fractions having indeterminate coefficients, assume one of this form
where denote constant and indeterminate coefficients, the values of which will be found in all respects as those of the others.
We are now to find the fluents of these two fluxional expressions, beginning with the first, viz.
Put , then it becomes
and this again, by putting , is resolved into these two fluxions
We can immediately find the fluent of the first of these, by putting , for then , and
With respect to the other fluxion, if we put , we have
but we have seen (§ 60.) that is the fluxion of an arch of which the tangent is , therefore
It is proper to remark that if be the tangent of an arch, then the sine of that arch is , and its cosine is , thus we may express the fluent
Inverse Method. under different forms, by introducing the sine or cosine of the arch instead of its tangent.
If instead of we substitute in these two fluents we find that the fluent of is
14. To find the fluent of the expression
we first transform it to
where denote indeterminate but constant coefficients, which may be determined by reducing these fractions to a common denominator, and proceeding as in the two preceding . Then the whole difficulty is reduced to the finding of the fluxion of the expression
where denotes some integer number. To simplify this expression put , and , then it becomes , which we shall now show may be reduced to . To effect this reduction we decompose its fluent into two parts.
The fluent of the first part may be immediately found by putting ; for then and
Let us now suppose that the fluent of the second part is equal to the sum of the algebraic function
, and another function, which is the fluent of , that is, let us assume
where and are constant but indeterminate coefficients. To determine these, let the fluxion of each side of this equation be taken (observing that the fluxion of a quantity having the sign prefixed to it is the same quantity only without that sign); thus we have
and from this equation, by rejecting what is common to each term, we find
and hence
Therefore by comparing together like terms, we find
and from these equations we get
Let these values of and be now substituted in our assumed equation, and it becomes
Thus we have reduced the determination of the fluent of to that of , and by proceeding in the same manner with this last fluxion, its fluent may be made to depend on that of ; but this will be more readily effected by simply substituting instead of , and supposing in the preceding equation.
Thus
It is easy to see, that like as we obtained an expression for the fluent of by substituting for , and supposing , in the equation preceding the last but one; so by substituting for , we shall obtain an expression for the fluent of , which expression will consist of two terms; one an algebraic function of , and the other multiplied by a constant and given coefficient. This value of when substituted in the last equation will produce an expression for consisting of algebraic quantities and . By continuing this process it is evident that we shall at last have expressed by a series of algebraic quantities, and , and here we must stop, for if we repeat the process with a view to make the fluent depend on that is on , or , we shall find that the coefficient of this quantity becomes infinite. As to the fluent of we have exhibited the expression for it in last §.
In comparing together the results which have been obtained in the preceding articles, it must appear that when a fluxion is expressed by a rational fraction, if we grant the resolution of equations, the fluent may always
be assigned either algebraically, or by means of arches of a circle or logarithms; and that to prepare it for a solution, we must decompose the fraction into others, whose denominators may be either binomial or trinomial quantities. This decomposition may always be effected by the method of indeterminate coefficients. There are, however, several analytical artifices by which the labour of calculation may be greatly shortened. These we now proceed to explain.
115. Let us recur to the fraction and suppose that is one of the unequal factors of the denominator , so that we have . Let us now put , being supposed a constant quantity, and an indeterminate function of , but such as not to be divisible by . Then we have , and hence . As is an integer function with respect to , it follows from this equation that , which is also a rational and integer function of , is divisible by , and consequently has for a factor; therefore, the function will vanish when we substitute in it instead of , seeing that is the value of that makes the factor . Let us denote by and , what and become by this substitution, which however will not affect the indeterminate quantity , because it is independent of . We have therefore , and consequently .
This value of requires that we should know the function given by the equation , and we may always find it by dividing by . The direct method of fluxions affords also a very simple method of determining it. For by taking the fluxion of the above equation we have
if in this result we make , or , and denote by what becomes by that substitution, we shall have , and consequently .
The expression has always a finite value, for the numerator and denominator can never become , because we suppose the fraction reduced to its lowest terms, and consequently, that the numerator has not for a factor , which is a factor of the denominator, but which being contained in it only once does not enter into .
116. Let us now consider how the numerators of the fractions, into which the proposed fraction is to be decomposed, are to be found in the case of the denominator
Invertor V having equal factors of the first degree. In this case we have , and we assume
By reducing to a common denominator, we find U equal to
and P equal to
and as P ought to be an integer function of , the numerator of its value is necessarily divisible times successively by ; therefore, that numerator ought to be equal to 0, when is substituted in it instead of . Now this substitution being made, each of the terms of the numerator which is multiplied by vanishes, so that there remains only , but that this quantity may be divisible by , it is necessary that , where and denote the same as in last §, hence .
This value of A changes into , which must be divisible by . Let us, with a view to abridge, put , then substituting this quantity in the value of P, and dividing both numerator and denominator by , we have P equal to
Now to obtain B we make , then, putting to denote what becomes by substituting in it in place of , we have , and .
Instead of B let its value be substituted in , and this quantity becomes , which vanishing when , will have for a divisor; therefore, we may put , then, substituting this last quantity instead of the former in the value of P, and dividing the numerator and denominator by , we have P equal to
By continuing the same mode of reasoning, and the same notation, we find , and . And so on with the remaining quantities.
The direct method of fluxions facilitates greatly the preceding operations. For the numerator of P being divisible by is necessarily of this form , X being an integer function of , but which does not contain the factor . Now agreeably to what has been shown in § 88, the successive fluxions of this numerator, as far as the order inclusive, vanish when is supposed . By giving to the numerator the following form
and observing that the function Q does not contain the factor , it is manifest that it is only the part of this expression between the parentheses which ought to be divisible by . Let us put , then the successive fluxions of that part are
and these results ought all to vanish when we put . Thus we have
&c. &c.
observing that in each of these functions , we must substitute instead of .
The most simple way to find the value of Q in this case is to divide V by , but we may also find it by the direct method of fluxions, as in the preceding §; for, since , if we take the fluxion of each side of this equation times, and then make , we shall find, § 88, the th fluxion of V equal to ; and consequently
117. Let us now consider how we are to find the numerator of the fraction which forms a part of when it has this form
Assume
Inverse Method. Assume.
then, reducing the latter part of this equation to a common denominator, we find
Hence we deduce
As is supposed to be an integer function with respect to , it follows that is divisible by ; therefore, the former of these two quantities must contain among its factors those of the latter, and the quantities, which, being substituted for , cause the latter to vanish, must also make the former vanish. But the factors of are , and , and these, being put each , gives us , and , therefore, each of these values of being substituted in ought to make that quantity vanish. Let us denote by , and by what and respectively become when is substituted in each instead of , then, after this transformation, we have
This equation is twofold, because of the sign with which several of its terms are affected, and it is equivalent to those which would be formed by putting the real part equal to 0, and the imaginary part ; from this consideration we have
two equations which give us the values of and .
The function may be found as in § 115. For, if we take the fluxions of each side of the equation
and afterwards make
we find and hence
Let the two values of , to wit , be substituted instead of it in this equation, then, putting to denote what the expression becomes by that substitution, and writing instead of , we have
which, by multiplying the terms of the fraction on the latter side of the equation by , becomes
Hence by putting the real parts of each side of this equation equal to each other, and also the imaginary parts equal to each other, we find
118. If the factor is found several times in the denominator of , so that
, then, § 113, we assume in this case equal to
reducing this expression to a common denominator, and so ordering the equation as to bring to stand alone on one side, we find equal to
By reasoning in this as in the preceding case, it may be concluded that the numerator of this expression ought to vanish when is substituted in it instead of ; therefore putting , and to denote the same things as before, we deduce from that substitution
the very same equation for the determination of and , as we have already found in last §.
Having found the values of these quantities, they may be substituted in the numerator of , and the terms becoming divisible by , the whole expression becomes divisible by the same quantity. Calling therefore the quotient arising from the division of by , we have equal to
If in this numerator we substitute instead of its values deduced from the equation , and put the result , we may determine and in the very same way that we have already determined and , and by proceeding in this manner we shall find the remaining coefficients , , &c.
This case is quite analogous to that which has been already treated in § 116, and the direct method of fluxions applies to it in the same manner as to the other. For since does not contain the factor , if the numerator of be divided by the function , the result, which may be denoted by , ought to be of this form
Inverse Method. form and consequently ought to vanish, as well as all its fluxions, from the first order to the order, inclusively, when ; this being the case, we have these equations,
and so on to the fluxion of , which ought also to be ; each of these equations becomes twofold when we substitute, instead of , the values of which it is susceptible in consequence of the equation . By putting the real and the imaginary parts separately , we shall obtain as many equations as are sufficient to determine
It may also be remarked, that from the equation
we find equal to the quotient arising from the division of the th fluxion of by the th fluxion of , observing to assume
119. We shall now give some applications of what has been said relative to the fluents of rational fractions. Suppose the fraction to be
The factors of its denominator are easily found, for it may be put under this form
the factor may be decomposed into and , or , and , thus we have the denominator equal to
therefore (§ 111, § 112, and § 113.) the proposed fraction is to be decomposed as follows
By reducing these fractions to a common denominator, and comparing the numerator of their sum with that of the proposed fraction, we might determine the unknown quantities we shall, however, rather employ the methods that have just been explained.
By comparing this particular example
with the general expression , it appears that ,
and . First let us investigate the numerator of the fraction , and for this purpose
we employ the formula (§ 115.). As we have
, it is evident that ; and since
, therefore . If in this expression we substitute instead of (viz. the value of deduced from the equation ) we find the result to be 8, therefore . So that
Let us next investigate the values of and in the fractions , and , by means of the rule of § 116, and that we may make the symbols expressing the quantity under consideration agree with those employed in that formula, let us exchange the letters and for and , so that we are to consider
+ . In the first place we have
Put , then ; substituting now this value of in the value of , the result is , therefore
. Let this value of be substituted for in the expression for in the § above cited, and we have
Hence putting instead of in the expression for , we have and . Thus the two fractions under consideration are found to be and .
We might have deduced the value of from the formula , § 116, where is put for for we have
If in this expression we substitute instead of , it becomes , the same value for as before.
Let us now consider the fractions , or exchanging the symbols for ,
The numerators may all be found from these formulas of § 116.
observing that in this case ; and that we must substitute 0 instead of in each formula, after taking the fluxions. Now we have
Hence putting , we find
There yet remains the fraction , or to be considered. It may be found by subtracting the sum of all the others from the proposed fraction; we proceed, however, to find it directly by the formulas of § 117. In the first place we have ; next, the factor being put gives , , . Hence we find
The equations which determine and thus become
therefore , and
Thus, upon the whole, the proposed fraction
is decomposed into the following
The manner of finding the fluent of each of these has been already explained, and the result of taking all the fluents is
The union of all the algebraic terms produces the fraction , and that of the logarithmic quantities gives
We have therefore upon the whole equal to
120. When a fluxion is a rational fraction having either of these forms
we can always, by the application of a particular theorem in analysis, resolve its denominator into real factors of the first and second degrees. The theorem to which we allude is this. Let be any positive integer, and let denote any arch of a circle, of which the radius is unity, then
We proceed to prove this theorem. Because
Therefore taking the sum of these two equations,
Now by the arithmetic of fines, (ALGEBRA, § 358.)
Therefore, substituting in the first of these equations
instead of , we have
In like manner, substituting in the second equation, instead of , and instead of , we have
Proceeding in the same way with the third and following equations, we find
To that we may conclude in general that
Hence we have this quadratic equation
from which, by completing the square, we find
therefore, by substituting for the quantity it was put to represent, and observing that , we have , as was to be proved.
121. The function is transformed to by putting , and to discover its factors, we must resolve the equation
The expression satisfies this equation, by a very simple determination of the arch ; for we have , and as by putting to denote half the circumference, and any whole number, we have (ALGEBRA, § 352)
where the sign is to be taken, if be an even number, but if it be odd, we have only to suppose , in order to obtain .
That we may distinguish the case in which is even,
from that in which it is odd, we shall write for the first , and for the second ; we therefore make
By the first hypothesis, we find
and by the second
122. By means of the indeterminate number , each of these expressions for furnishes all the values of which this quantity is susceptible, for we may take successively
The first formula gives
&c.
It is evident that we shall always have different results as far as . If, however, we suppose ; then we have , which is the same as the first of the values already obtained, and if we suppose , then (ALGEBRA, § 25.)
which is the same as the second value, and so on with respect to the others.
By this mode of proceeding we shall not only obtain the roots of the equation , or , but, with a little attention, we shall discover that these roots may be arranged in pairs, by bringing together those that only differ in the sign of the radical ; for since
, and , it follows that
Hence it appears that we may comprehend all the roots of the equation in the single expressions
The first and the last of the factors of the second degree are the squares of , and , factors of the first degree, each of which only enters once into the proposed function; it will therefore be necessary, when we employ the factors of the second degree, to reject the first and last, and take instead of them
124. Such functions as are of this form may be treated in the same manner as those which consist of only two terms. By putting the function , and resolving the equation which is thus produced, in the same manner as if it were of the second degree, we find the factors to be
125. When a fluxionary expression involves irrational functions, we must endeavour either to transform it into another that is rational, or to reduce it to a series of irrational terms of this form , and then, in either case its fluent may be found by the rules already delivered.
Inverse Method. 126. We shall first consider such fluxions as contain the irrational function , and which have necessarily one or other of these forms.
being put for any rational function of ; and it may be remarked, that the latter form comprehends the former, which may be written thus:
and here the numerator of the fluxion is a rational function of .
Before we transform the expression into another that is rational with respect to the variable quantity it contains, we shall put the quantity under this form,
and, in order to abridge, we shall put
Let us now assume , then, squaring both sides of the equation, we find , hence we get , and consequently
By means of these values the fluxion ,
is transformed into another fluxion , where denotes a rational function of , which is real when or is positive; but as when is negative becomes imaginary, the fluxion which involves becomes also imaginary.
In this case we have to consider , and making
it becomes . The quantity may always be decomposed into real factors of the first degree; let us represent these factors by , and , then it is evident that
Let us now assume
then squaring both sides of the equation it becomes divisible by , and we have , from which we find
values which render the proposed fluxion rational.
127. Let us now take for example the fluxion ; by applying to it the first of the
preceding transformations it becomes , the fluent of which is Substituting now for its value , and for , and , the quantities they severally represent, the fluent becomes
a result to which we may also give this form,
By uniting the constant quantities into one, and observing that the radical quantity may have the sign prefixed to it, we have at last
128. Let us take for the second example . By employing the latter transformation of § 126, we have , of which the
fluent is
Substituting now instead of its value
deduced from the equation ,
Invert Method. and putting for , we get equal to
and being the roots of the equation
Let us suppose that and , then the proposed fluxion becomes in this particular case and the preceding formula gives for its fluent for and being the roots of the equation , we must take , and .
We may, however, give this fluent another form by proceeding thus: Let be the arch whose , then , and , but (ALGEBRA, § 358.), therefore, . Put for the arch whose sine is , and for half the circumference, then , therefore , and since it has been shewn that therefore or, by including the arch in the constant quantity, This conclusion agrees with what has been shewn in § 59.
Instead of finding the fluent of
by first transforming it to a rational expression, we may reduce it directly to an arch of a circle by proceeding as follows. Put , then , and the fluxion is transformed to ; again, put , and , then , and this last fluxion is transformed to , the fluent of which is
Of the Fluents of Binomial Fluxions.
129. Let us now consider such fluxions as have this form
and which are sometimes called binomial fluxions. We may here suppose and to be whole numbers,
without affecting the generality of the expression.
For if we had , we may assume , then , and the fluxion becomes .
We may also suppose to be positive, for if it were negative, so that the fluxion were we have only to assume , and the
fluxion is transformed to .
Let us inquire in what case the fluxion may become rational. Assume , then , , ,
and ; hence the proposed fluxion is transformed to
this expression is evidently rational as often as is a whole number.
There are yet other cases in which the fluxion may become rational, and which may be determined by assuming , thus we have
, and because that
the fluxion is transformed to
formed to
an expression which is rational if is a whole number.
130. As it is not possible, in every case, to express in finite terms the formula , we may try to reduce it to its most simple case, as we have done
Inverse Method. done with respect to in § 114, which we
have succeeded in reducing to . To effect this reduction, we remark, that, since when and denote any functions of a variable quantity, the fluxion of is , (§ 37.) therefore . Now
if we can decompose the expression into two factors, such that we can find the fluent of one of them, then denoting that factor by , and the other by , the fluent of the proposed fluxion will be made to depend on that of , which in some cases will be more simple than the proposed fluxion. That we may abridge a little the results, we shall write instead of , so that will represent any fraction; the proposed fluxion thus simplified in its form is
Among the different ways of resolving this fluxion into two factors, we shall choose that which diminishes the exponent of without the parentheses, we therefore write the fluxion thus
now the fluent of the factor may always be determined, whatever be the value of , by § 108; let us denote this factor by , then
thus the formula give us equal to
Substituting now this last value in the preceding equation, and collecting into one the terms involving the fluent , we find
hence at last we get
It is easy to see that, as we have, by this formula, reduced the determination of the fluent of to that of , we may reduce this last to that of by writing in place of in equation (A), then by changing into we may reduce the fluent of to that of , and so on.
In general, if denote the number of reductions, we shall at last come to
, and the last formula will be
It appears by the last formula, that if is a multiple of , then will be an algebraic quantity, for in that case the coefficient will be , and therefore the term containing will vanish. This result coincides with what we have already found, § 129.
131. We may also obtain a reduction, by which the exponent will be diminished by unity. For this purpose it is sufficient to observe that is equal to
and that the formula (A) by changing into , and into gives
Substitute now this value in the preceding equation, we have
By means of this general formula we may take away successively from as many units as it contains, and by the application of this formula, and formula (A), we may cause the fluent to depend on
The fluent , for example, may, by the application of formula (A), be reduced successively to
and by formula (B) is reduced successively to
132. It is evident, that if and were negative, the formulas (A) and (B) would not answer the purpose for which they have been investigated, because, in that case, they would increase the exponents instead of diminishing them. If, however, we reverse them, we shall find that they then apply to the case under consideration.
From formula (A) we get
Substitute now in place of , and it becomes
This formula diminishes the exponents without the parentheses, because becomes , when is substituted instead of .
To reverse formula (B) we first take
Then, writing instead of , we find
This formula answers the purpose we have in view, because becomes when is negative.
These formulas (A), (B), (C), (D), are inapplicable when their denominators vanish. This is the case with formula (A); for example, when ; but, in every such case, the proposed fluxion may have its fluent determined either algebraically or by logarithms.
133. Let the fluent be , being a whole
positive number. Formula (A) immediately applies to this case, so that by putting , we have
or, substituting in place of ,
Let
If in the development of there be any term of this form , the fluent corresponding to that term will be (§ 103).
136. The most simple function of that can be expanded into a series is , which becomes
Now we know that (§ 57.) therefore
To find the value of the constant quantity we have only to make , for then the equation becomes therefore
hence, if we subtract from each side, and observe that we get
From this conclusion we may deduce rules for computing the logarithms of numbers.
137. Let the fluxion be , which may be put under this form , and which consequently belongs
to the arch of which the tangent (§ 60.). By reducing into a series, we find
Hence, multiply both sides by , and taking the fluent of each term, we get
If we wish to deduce from this equation, the value of the least arch whose tangent is , it is necessary to suppress the arbitrary constant quantity, for when that arch , then ; thus we have the arch whose tangent is expressed by the infinite series
Let denote the circumference of a circle whose diameter is unity, or half the circumference of a circle whose radius is unity, then, as the sine of degrees, or , is , and its cosine , we have . Let be substituted instead of in the above series, and be supposed , thus we get
by taking the sum of about fifteen terms of this series, we shall find . The determination of this number is of great importance in every branch of mathematics.
138. By proceeding with the fluxion in the same manner as we have done with , we get
This series proceeds by the positive powers of , or is an ascending series, but we may also expand into a series proceeding by the negative powers of , and which will therefore be called a descending series. Thus because
we have, after multiplying both sides by and taking the fluents
This last series will be convergent when is greater than , and at the same time , and . But besides, that it may contain algebraic terms only, it is necessary that none of the divisors , , , &c. become ; this circumstance will take place as often as is a multiple of , and in which case
the series which is the development of the fluxion, will contain a term of this form, , the fluent of which is .
If in this result we put , , and , we get
But although the expression is the fluxion of the arch having for its tangent, we must not conclude that this series is the development of that arch, for being supposed , each of the terms of the series becomes infinite.
The consideration of the constant quantity added to the fluent will remove this apparent difficulty, if we remark, that to know the true value of a series, it is always necessary to begin with the case in which it is convergent. Now the series
converges so much the faster as is greater, and it vanishes when is infinite; but in this extreme case the equation
becomes simply where denotes half the circumference of the circle; therefore, substituting this value of the constant quantity, we have
We may easily find an expression for the fluent of the rational fraction (§ 111.) by expanding the
quantity into a series, but the result thus obtained is in general very complicated, and seldom convergent; besides, this manner of finding the fluent is hardly of any use, since it may be expressed by means of arches of a circle and logarithms, both of which are readily obtained from the common trigonometrical tables.
139. The fluent of is easily obtained by first expanding the quantity into a series by the binomial theorem, then multiplying each term of that series by , and taking the fluents of the results by § 101. Thus we have
This is an ascending series, but to get a descending series we must divide by and multiply , the remaining part of the fluxional expression, by the same quantity, thus the fluxion is transformed to
the fluent of which, by proceeding as in the former case, is
either of these series may be employed if and are both positive, or an odd number, but if be an even number, the first formula becomes imaginary on account of the factor if be negative, and the same thing happens to the second formula if be negative.
140. Let it be required to express by a series the fluent of . That we may develop the radical quantity we put it under this form
, an expression which when expanded by the binomial theorem, is
therefore, multiplying each term of this series by , and taking the fluent, we get
If we suppose to denote the fine of an arch, then is its cofine, and is the fluxion of the arch itself (§ 59.); therefore the series which we have just found, expresses the length of the arch of a circle, radius being unity, and the fine of the arch . If we suppose the series to express the smallest arch that corresponds to the fine , then, as when the fine of that arch , the arch itself , the series expressing the arch must vanish when , therefore we must suppress the constant quantity added to complete the fluent; or suppose it . The same series has already been found by the direct method of fluxions in § 72.
Let denote the same as in § 137, then, as the fine of 30 degrees, or of , is , we have, by substituting instead of in the preceding series, and multiplying both sides by 6,
by means of this series, which involves only rational numbers, we may compute (but with more labour), the value of as before.
Suppose the fluxion to be , which may be otherwise expressed thus, . By the binomial theorem
Let each term of this series be multiplied by , and the fluent taken by § 101, thus we get
141. By resolving a fluxion into an infinite series, the object in view is to transform it into a series of other fluxions, each of which may have its fluent determined by known methods; but it is not always neces-
sary that the terms of the series should be each simply a power of multiplied by and constant quantities.
If for example we have this fluxion
in which is supposed to denote a small constant quantity, we may expand or into a series, which will thus become
and the fluxion will be transformed to
the series will converge very fast when is small, for that may be a real quantity, must be less than 1. We must now multiply each term of the series
by the common factor and take the fluents, which being all contained in the general expression
, will be found by § 133. Thus, putting to denote an arch of which is the fine, we have
Of the Fluents of such Fluxions as involve Logarithmic and Exponential functions.
142. Let it be required to find the fluent of , where denotes the Napierian logarithm of . In this case, as well as in some following examples, we shall have recourse to the principle already employed in § 130, namely, that if and denote any functions of a variable quantity , then
Let us therefore assume , and , then,
(§ 101.) , and (§ 57.) , therefore, substituting
Inverse Method. substituting these values of in the formula becomes
or, since
Let us next suppose that the proposed fluxion is . Put , and , then (§ 101.) , and (§ 57.) , therefore, substituting as before these values in the formula , we get
It is evident, that by this formula the determination of the fluent of is reduced to that of which we have already found, and in like manner that the determination of the fluent of is reduced to that of , and so on, from which it appears that the fluent of is expressible in finite terms when is a whole positive number. The formula, however, will not apply when , because of the denominator . But in this case we have
If be negative or fractional, the fluent of can only be expressed by an infinite series.
143. As an example of an exponential function, let it be required to find the fluent of . Here we may put for , and for , then we have , § 101, and , (§ 56.) therefore, substituting these values of in the formula , we get
therefore, substituting everywhere instead of ,
hence, bringing to stand alone one side of the equation
If we suppose , then, observing that Inverse Method.
(§ 56.),
If , then
In this expression we substitute the value of just found, thus it becomes
Proceeding in this way we may find the fluent when , or when , or in general, when is any integer number whatever, the number of terms in the fluent being in this case always finite; it is not so however when is either negative or fractional.
Of the Fluents of such Fluxions as contain functions related to a circle.
144. Let us suppose that is an arch whose fine is , and that it is required to find the fluent of . Put , then
but since , we have , § 101, and since , we have (§ 59.), and therefore ; thus we have
hence the determination of the proposed fluent is reduced to which we have already considered in § 133. By the same mode of reasoning we may determine the fluent when denotes the cosine of the arch .
145. It appears from § 59. that being put to denote any arch of a circle to radius unity, the fluxion of the fine of that arch is ; therefore, on the contrary,
In like manner, from the formulas of § 59. and § 60. we find
146. By the second of these expressions we find the fluent of
to be
and from the first expression we find the fluent of
to be
147. It has been shewn in the Arithmetic of fines, (see ALGEBRA, § 356.) that
therefore, by what has been shewn in § 145.
It has also been shewn that
therefore, multiplying each term of this expression by , and taking the fluents,
In the same manner may the fluent of be found, being any positive integer number whatever.
Again, it has been shewn (ALGEBRA, § 356.), that
therefore
and because
therefore, multiplying by , and taking the fluents,
and proceeding in this way we may find the fluents of , being any positive integer number.
148. The fluents of , and may be expressed under another form, by proceeding as in § 142. Thus, beginning with , and resolving it into , if we put , and , we have by § 145. , and (by § 26 and § 59) , therefore, substituting in the formula , we have
but , therefore is equal to
which expression, by bringing together the terms containing becomes
By giving particular values to we have
We may proceed in this way as far as we please, deducing the fluent of from that of , and the fluent of from that of , and so on.
If in the general formula we substitute every where instead of , it becomes
Inverse Method. an expression which, by bringing or to stand on one side of the equation, becomes
This formula is not applicable to the case of , because then each of the terms of the fluent is divided by , and therefore becomes infinite. In order to obtain the expression for the fluent in this particular case, we proceed thus. It is evident that , but as will be found by reducing the fractions to a common denominator, therefore , and consequently,
but if it be considered that the fluxion of is (§ 59.) it will appear by § 103 that , and that , therefore
If in the general formula for we suppose we have
which agrees with what has been already observed (§ 145.), and if we suppose , then
In this way we proceed as far as we please, deducing
from , and so on.
149. If in the general formulas for and
we substitute instead of , (where denotes a quadrant), and observe that
and that the fluxion of is , we shall immediately obtain
and in like manner from the formula expressing the fluent of we deduce
150. It has been shewn in ALGEBRA, § 357, that , therefore
The same mode of finding the fluent will apply to any fluxion of this form ; or by resolving the fluxion into two parts, the determination of its fluent may be reduced to that of a fluxion in which the exponents and are less than in the proposed fluxion, by the method of proceeding already employed in § 148.
151. Let us now denote by , then and since (§ 59.) therefore ; these values being substituted in any function involving , and will immediately reduce it to an algebraic form. Thus for example, we shall have transformed to
an expression which may have its fluent determined by the formulas of § 133 and § 134.
SECT. II. Application of the Inverse Method of Fluxions to the Resolution of Problems.
To find the Areas of Curves.
152. It has been shewn in § 61, that if the abscissa of a curve be denoted by , the ordinate by , and the
Inverse Method. area by , then . Therefore the general formula expressing the area of any curve will be
Hence to find the area of any curve, we must either find from the equation of the curve the value of in terms of , or else the value of in terms of , and , and either the one or the other of these being substituted in the above formula, and the fluent found by the methods already explained, we shall have a general expression for the curvilinear area as required.
Ex. 1. Let it be required to find the area of any curve of the parabolic kind, of which, putting the abscissa , and the ordinate , the equation is .
Then we have , and
where denotes the constant quantity that may be required to complete the fluent. As in the present case, it is required to find the area of the portion of the curve next its vertex, so that when , then , there-
fore, also , and the area is simply .
If it be required to find the area comprehended between two ordinates , put , then when , we have , therefore the general expression
hence , and consequently the area , or , is equal to
When is an even number, the expression for the
area, viz. may be considered as negative as well as positive, on account of the radical quantity , or , which has then a twofold value, it may therefore have the sign prefixed to it; but in this case the same abscissa belongs to two branches of the curve and , as in fig. 19. No 1, there-
fore the two values of the expression may be considered as indicating the two areas ,
on each side of the axis, corresponding the one to the positive, and the other to the negative ordinates.
When the exponents and are both odd numbers,
the quantity has only one sign, and remains always positive whatever be the sign of , but in this case one of the two branches of the curve has its abscissas and its ordinates negative at the same time (as in fig. 19. No 2.): it follows therefore that the areas corresponding to the negative abscissas and ordinates ought to be regarded as positive.
If alone is odd, then the quantity becomes negative at the same time as , but in this case the two branches of the curve are on the same side of the line in which the abscissas are taken (as in fig. 19. No 3.): and the ordinates remain always positive.
Upon the whole it may be concluded, that the area of a curve is positive when the abscissas and the ordinates have the same sign, and negative when they have contrary signs.
If we suppose , and , then the curve is the common parabola, the area of which from the general
formula is found to be ; hence it appears that the parabola is of its circumscribing parallelogram.
Ex. 2. Suppose the curve to be a circle. Put Fig. 20. , the diameter , the area . From the nature of the circle , therefore , and
In this case the fluxion is not of such a form as to admit of an algebraic fluent in finite terms, we must therefore have recourse to the method of series, but we have already found the fluent in this way in § 140, therefore, from the series there brought out we have
this expression does not require a constant quantity to be added to it, because when we must also have .
If we suppose the arch to be of the quadrant , then it is known that the rad. , therefore, if we suppose the radius , we have in this case , and nearly. If this number be substituted instead of , and a few terms of the series computed, we shall find the area ; to this add the triangle , and we have the sector , which number when multiplied by 3 gives 7853982 for the area of the quadrant. This number also expresses the area of a circle of which the diameter is 1.
Ex. 3. Suppose the curve to be an ellipse. Put Fig. 21. the
Inverse Method. the transverse axis , the conjugate axis , also , ; then by the nature of the curve , and ; but if a circle be described on as a diameter, and the ordinate of the ellipse be produced to meet the circle, it appears from last example that is the fluxion of the segment of the circle corresponding to the elliptic area or ; therefore, putting for the segment , we have and , here the constant quantity must be suppressed, because and must vanish together. Hence it appears that the area of any segment of an ellipse is to the area of the corresponding segment of its circumscribing circle as the lesser axis of the ellipse is to the greater; therefore the whole ellipse must be to the whole circle in the same ratio.
Fig. 22. Ex. 5. Let the curve be a hyperbola, of which is the centre. Put the semi-transverse axis , the semiconjugate axis , , , the area . From the nature of the curve , therefore
But it appears from formula B (§ 131.) that
and again by § 127,
To discover the value of the constant quantity , we must consider that when , then , and in this extreme case the general equation just found becomes
hence , and consequently, observing that
It immediately follows from this formula that
but if a straight line be drawn from to so as to form the triangle , it is manifest that is equal to , that is, to the triangle , therefore the excess of the triangle above the area , that is the hyperbolic sector , is equal to the logarithmic function
Ex. 5. Suppose the curve to be an equilateral hyperbola, that is a hyperbola whose axes are equal, and that it is required to find the curvilinear area comprehended between , a perpendicular from (a given point in the curve) to one of the asymptotes, and , a perpendicular from any other point in the curve to the same asymptote.
Let be the centre, put , , , , the area . From the property of the asymptotes we have , and therefore , hence (§ 103.)
To find the value of , let us suppose , then , and the general formula becomes in this case
therefore
If we suppose , then , from which it appears that in this case the hyperbolic area represents the Napierian logarithm of the number ; it was from the consideration of this property that the logarithms originally invented by Napier were called hyperbolic logarithms.
But the logarithms of any other system may also be represented by areas of the same hyperbola; for this purpose it is only necessary to determine the magnitudes of , and , so that , where denotes the modulus of the system, thus we shall have , and , or, putting , , an expression for the logarithm of according to any system whatever of which the modulus is (ALGEBRA, § 287.)
Ex. Let the curve be the cycloid of which is the axis and the vertex, let a semicircle be described on as a diameter, draw perpendicular to the axis, and from any point in the curve draw perpendicular to and perpendicular to , meeting the circle in , and draw to the centre of the circle. Put , , , the area , and put for the angle , that is for the arc of a circle which measures , the radius of
Inverse Method. of that circle being unity, then , , and , and since from the nature of the curve, , therefore ; hence
and here no constant quantity is wanted to complete the fluent; because upon the supposition that both sides of the equation vanish as they ought to do; now it is obvious that , and , therefore
Let be the greatest value of ; complete the parallelogram , then from the general expression for the cycloidal area, it follows that the whole cycloidal space is equal to the semicircle ; but from the nature of the curve, is equal to , half the circumference, therefore the rectangle is equal to four times the semicircle ; from these equals take away the external cycloidal space , and the semicircle , which have been shewn to be equal, and the remainders, viz. the internal cycloidal space , and three times the semicircle , are equal to each other.
153. In some cases it is more convenient to refer a curve line to a fixed point than to an axis. Thus instead of expressing the nature of the circle by the equation , where denotes a perpendicular from any point of the curve upon the diameter, and the distance of that perpendicular from one end of the diameter, we may otherwise express it by the equation , where denotes a variable arch of the circle reckoned from one end of its diameter, its radius, and the angle contained by a line drawn from the centre of the circle through the extremity of , which angle is measured by an arch of a circle having its radius unity.
The nature of the different conic sections may be defined in the same manner. Let be any point in a conic section, of which is one focus, and a part of the axis; let the directrix of the section meet in , join , and draw perpendicular to the axis, and to the directrix; then from the nature of the curve (CONIC SECTIONS) has a given ratio to , that is to ; put , , the angle , and suppose , then , hence observing that , we get , and which equation expresses generally the nature of a conic section.
154. The formula which we have found for the flux-
ion of a curvilinear area, in § 61, is not immediately applicable when the nature of a curve is expressed in this way, we shall therefore investigate another formula suited to this particular manner of considering curves.
Let us suppose that is a curve the position of any point of which is determined by , its distance from a given point , and the angle which makes with a line given by position. Let a circle be described on as a centre with a rad. , then , as also the area , may be considered as functions of the arch of that circle which measures the angle . From draw to any other point of the curve meeting the circle in . Put , the area , the angle , or the arch , then the area , and the arch , will be the corresponding increments of and , therefore, § 21,
Here the increment of is multiplied by , to render the terms of the ratio homogeneous. On as a centre, with as a radius, describe an arch of a circle meeting in , then, as the sectors , are similar, we have
but the point being supposed to approach continually to , it is manifest that the limit of is unity, or 1, therefore
154. By means of this formula we may find the areas of that class of curves called spirals. Let us take for example the spiral of ARCHIMEDES, which may be defined thus. Conceive a straight line to revolve about the centre of a given circle, departing from a given position ; conceive also a point to move in the revolving line, so that its distance from the centre may be to the arch of the circle passed over by the revolving line, as to , then the point will generate the spiral.
Put , the angle , the line , and the area generated by the line , then the arch , and since from the nature of the curve
the general formula becomes , therefore,
this fluent does not require a constant quantity to be added,
added, as both and evidently vanish at the same time.
Fig. 28. 156. As the general expression for a curvilinear area is , where the abscissa reckoned from a given point in the axis, and the ordinate, it follows that being put to denote any function of a variable quantity , the fluent of may always be exhibited by means of a curvilinear area. Thus let be a curve of such a nature that and the co-ordinates being denoted by and , the equation of the curve is , then, assuming any ordinate as given by position, we have evidently
As the ordinate (which is assumed as given by position) may be taken any where, the fluxion of the area being the same wherever it is taken, it appears, as has been already observed (§ 101) that the function may be considered as indeterminate, for it admits of innumerable values corresponding to any particular value of , and in this respect it differs from an algebraic function, which for a given value of has always a determinate number of values. If however be supposed to increase from any determinate magnitude , to any other determinate magnitude , then, taking the abscissa , and , and drawing the ordinates , we have
Fig. 29. therefore, while increases from to , or receives the increment , the function increases from area to area , and thus receives the increment area , which is of a determinate magnitude as the ordinates have both a determinate position. Hence it appears that in assigning the fluent of , we only determine the change that takes place in the value of the function while passes from one particular value to another particular value.
157. As there are general and known methods by which an approximate value of any curvilinear area may be found, when a fluent is expressed by such an area, those methods may be applied to find an approximate value of the fluent. Let be a curvilinear area, supposed to represent the fluent between the limits of and . Conceive to be divided into a number of equal parts , and the ordinates drawn, and the two sets of parallelograms and to be completed, the former constituting a rectilinear figure circumscribed about the curvilinear space , and the latter a rectilinear figure inscribed in that space; then as the circumscribed figure must necessarily be greater than the curvilinear space, that is, greater than
Inverse Method. taken between the limits of and , and the inscribed figure must be less, it follows that if we compute the areas of the circumscribed and inscribed figures we shall obtain two limits, the one greater, and the other less than . And as by increasing the number of equal parts into which is divided we may bring the circumscribed and inscribed rectilinear figures as near to a ratio of equality as we please, it is always possible to find two limits which shall differ from each other, and consequently from (which lies between them) by less than any assignable quantity.
158. If we join , the tops of the ordinates, the rectilinear space formed by the trapeziums will be more nearly equal to the curvilinear area, than the circumscribed rectilinear figure formed by the parallelograms ; therefore the sum of those trapeziums being found, it will be equal to the fluent nearly.
Suppose, for example, that it is required to find the value of between the limits of , and . In this case , so that the equation of the curve is ; let us suppose the distance between the extreme ordinates to be divided into ten equal parts, then putting to instead of in the formula , we obtain eleven successive values of , or eleven equidistant ordinates, the numeral values of which will be as follows,
| The first = 1.00000 | the 7th = .73529 |
| the 2d = .99010 | the 8th = .67114 |
| the 3d = .96154 | the 9th = .60975 |
| the 4th = .91743 | the 10th = .55249 |
| the 5th = .86207 | the 11th = .50000 |
| the 6th = .80000 |
By the elements of geometry the area of the rectilinear figure formed by the trapeziums is found by adding together all the ordinates except the first and last, and half the sum of the first and last, and multiplying that sum by the breadth of one of the trapeziums; now the sum of the ordinates, with the exception of the first and last, together with half the sum of the first and last, is , and the common breadth of the trapeziums is , therefore nearly, as required. It is evident from § 137, that taken between the limits of , and , is accurately equal to an arch of , radius being unity, which arch being will be found nearly. If we recur to the series which has been found to express the above fluent in § 137, and put , and , we shall have taken between the prescribed limits equal to
It is impossible, however, to compute the fluent simply by the addition of the terms of this series, on account of the slowness of its convergency.
159. As the curvilinear area is the limit of the sum of the parallelograms which constitute the rectilinear figure inscribed in that area; as also the limit of the sum of the parallelograms which constitute the circumscribed figure, the number of parts into which is divided being in either case conceived to be increased indefinitely, so that each may be continually diminished (and this being the case it is of no consequence whether those parts be conceived as all equal or as unequal) so from analogy we may conclude that if be put to denote successive values of a variable quantity , and the corresponding values of any function of , the limit of the sum of the products when the number of successive values of and is continually increased, so that the difference between any two of them immediately following each other may be continually diminished, is equal to , the fluent to be taken between the two extreme values of .
160. It was in this manner that the first writers on the differential calculus conceived a fluent; as the difference between any two of its succeeding values is the product of the function by the increment of , they called that product (when was conceived to be infinitely diminished) the Differential of the fluent; and as the fluent is the sum of all the products, or differentials, instead of calling it a fluent they called it an Integral; the process by which an integral is found from its differential or fluxion they called Integration. The terms Integral and Integration are sometimes employed by writers in applying the method of fluxions to mathematical enquiries.
To find the Lengths of Curves.
161. It has been shewn in § 63, that if the abscissa of a curve be denoted by , the ordinate by , and the curve line by , then , hence the general formula for finding the length of a curve is
Therefore, if from the equation expressing the nature of a curve we find the value of in terms of and , or else the value of in terms of and , and substitute the one or the other in the above general formula, we shall obtain a fluxion the fluent of which will be the length of the curve.
Ex. 1. Suppose the curve to be a parabola, and that , , the arch , the parameter , then the equation of the curve being , we have
By comparing this expression with formula (B) in § 131, we find
again by § 127,
therefore
To determine the value of , we must consider that when , then , so that then the general formula will become simply
therefore, substituting the value of , and bringing together the logarithmic quantities,
Ex. 2. Suppose the curve to be a circle, and that Fig. 20. is its centre, and a quadrant of the circle. Put , , the arch , the radius of the circle , then , and , and , hence
This fluent can only be expressed by an infinite series, under which form it has been already exhibited in § 140, the radius being there supposed unity.
Ex. 3. Let the curve be an ellipse, and let it be required to find the length of the curve between the vertex of the lesser axis, and any point in the curve. To simplify the calculation, let us suppose that the semi-transverse axis ; put the semi-conjugate axis , the eccentricity (that is ), the abscissa , the ordinate , the arch ; then, the equation of the curve being , we have
Inverse Method. have , and , and therefore
This fluent can only be expressed by means of an infinite series, and it has been already given in this form in § 141.
If we take , then all the quantities in that series which are multiplied by will vanish, but in this particular case is the elliptic quadrant , and is a quadrant of the circumscribing circle, or , therefore the elliptic quadrant is equal to
This series converges very fast if be a small fraction.
Fig. 11. Ex. 4. Suppose the curve to be a cycloid. Let a circle be described on its axis meeting the ordinate in , and draw to the centre of the circle. Put , , the cycloidal arch , the radius , the angle , then , , the circ. arch , so that , and from the nature of the curve , therefore (§ 59.)
but (ALGEBRA, § 356.) therefore
but as when , then , therefore , and ; but if the chord be drawn, chord , therefore chord .
Fig. 30. 162. The formula not being applicable in its present form to curves of the spiral kind, we shall here investigate another suited to that particular class of curves.
Let be a curve of such a nature that the position of any point in the curve is determined by , its distance from a given point , and by the angle which makes with a line given in position. We shall employ the same construction and notation here as in § 154, with the addition of drawing the chords , , , and putting the arch ; then it is manifest that the simultaneous increments of , , and will be the arches , , and the straight line respectively. Hence
but it is evident from § 62, that the limiting ratio of those arches must be the same as that of their chords, therefore,
now the limit of the angle being evidently a right angle, we have
but , and therefore
Let us apply this formula to the spiral of Archimedes, Fig. 27, the equation of which (§ 155.) is , and therefore
This fluent may be found by formula B, § 131, and it is worthy of remark that the fluxion has the same form as that which we have found in § 161 for an arch of a parabola; thus the length of any portion of the spiral of Archimedes may be exhibited by means of an arch of a parabola.
To find the Contents of Solids.
163. If the abscissa of a curve be denoted by , Fig. 44 and the ordinate by , and the solid generated by the revolution of the curve about as an axis by , it has been shewn, in § 64, that , therefore the general formula for finding the content of a solid is
Ex. 1. Suppose the solid to be a paraboloid, or that which is generated by the revolution of a parabola about its axis; in this case , and taking the fluent so that when , then ,
or ; but is the content of a cylinder having for the radius of its base and for its altitude, therefore the content of a paraboloid is half that of a cylinder having the same base and altitude.
Ex. 2. Suppose the solid to be a parabolic spindle, which is generated by the revolution of an arch of a parabola about an ordinate to its axis. In this case let , , , the parameter of the
Inverse Method. axis = , then from the nature of the parabola
, that is , hence , and
taking the fluent, so that and may vanish together;
or, since ,
which expression (by supposing , and putting for , the greatest value of ) gives for the content of half the solid generated by the curve , therefore the entire spindle is , or (by observing that is the content of a cylinder having for the radius of its base and for its length) it is of the circumscribing cylinder.
Ex. 3. Suppose the solid to be a spheroid produced by the revolution of an ellipse about either of its axes; put for the axis round which the curve revolves, for the other axis, for the height of any segment made by a plane perpendicular to the axis of the solid, for the radius of its base, and for its content. Then from the nature of the curve , therefore taking the fluent upon the supposition that and vanish together,
To find the content of the whole spheroid, we have only to take , thus the formula becomes , and as expresses the content of a cylinder having for the diameter of its base, and for its height, it follows that the contents of a spheroid is that of its circumscribing cylinder.
It is obvious that what has been found for the spheroid will apply also to the sphere, by supposing the axes equal, or .
164. If instead of supposing the solid to be formed by the revolution of a curve round its axis (in which case it is called a solid of revolution) we had supposed it to have any figure whatever, then by referring the solid to some straight line , given by position, as an axis, and in which is a given point, and supposing to be a section of the solid made by a plane
perpendicular to that axis, meeting it in , and putting , and the variable solid (considered as a function of ) , by proceeding as in § 64, we
would have found the limit of , and con-
sequently , equal to the area of the section of the solid
made by the plane ; therefore putting for that function of which expresses the area of the section, we have , and .
Let us suppose for example that is a solid Fig. 34. bounded by any plane figure as a base, and by the surface which will be generated if we suppose a straight line drawn from any given point above that plane to revolve in the circumference of the base.
Let be a perpendicular drawn from the vertex of the figure to its base, and let be a section of the solid by a plane parallel to the base, meeting the perpendicular in . Put the area of the base of the solid, the area of the section , the altitude of the whole solid, the altitude of the part cut off by the plane , and the content of that part; then, as from the nature of the solid it is pretty evident that the part of it cut off by the plane is similar to the whole, and as the bases of similar solids are as the squares of their altitudes, we have
this expression for does not require the addition of any constant quantity, for by putting , we have as it ought to be. Suppose now , then , from which it appears that the content of the whole solid is of the product of the base by the perpendicular. It is evident that pyramids and cones are solids of the kind we have been considering.
To find the Surfaces of Solids.
165. The altitude of a solid, generated by re- Fig. 5. volution of a curve about as an axis, being as before denoted by , and the radius of its base by , let us now put to denote the curved surface of the solid, then, as it has been shewn, § 65, that , we have
as a general formula for the surface of a solid.
Ex. 1. Suppose the solid to be a sphere, generated by Fig. 35. the revolution of a circle about its diameter , put the radius of the sphere , then being denoted by , and by , we have from the nature of the curve , therefore
therefore, , and taking the fluent, so that when , then ,
now if it be considered that is the circumference of a great circle of the sphere, it will immediately appear that the surface of a segment of a sphere is equal to the circumference of a great circle of the sphere multiplied into the height of the segment. Hence it follows that the whole surface of the sphere is equal to four times the area of one of its great circles.
Fig. 5. Ex. 2. Suppose the curve to be a parabola, then putting , , the parameter of the axis , we have (§ 161. example 1.)
To discover the value of the constant quantity , we must observe that when , then , and , therefore putting instead of and , the above equation becomes , hence , and
To find the Centre of Gravity of any Line, Surface, or Solid.
166. It belongs to the theory of MECHANICS to explain what is meant by the centre of gravity, and to demonstrate its general properties, and here it is only necessary to show how the method of fluxions may be applied to deduce from some one of those properties rules for finding that centre in any proposed case.
The properties of centres of gravity which we shall employ as the foundation of the application of the method of fluxions to its determination may be enunciated shortly thus.
Let be the centre of gravity of a mass of matter denoted by , and the centre of gravity of another mass , and the centre of gravity of the two masses and , from these points let perpendiculars , , be drawn to any straight line , then
165. Let us now suppose that is any curve line
(having weight), of which the centre of gravity is required, and that , are co-ordinates drawn from any point in the curve perpendicular to , two axes at right angles to each other; let the arch receive any increment , let be the centre of gravity of , the centre of gravity of , and the centre of gravity of . From and draw , , , perpendicular to the axes , . Put , , , , , also let the arch , and let the distances of its centre of gravity from the axes , be denoted by , and respectively; then, observing that the arch , by the proposition in last §,
If we now suppose the arch to be continually diminished, and observe that , and , are the simultaneous increments of and , it will appear (§ 23.) that
By the very same way of reasoning we find
but the point approaching to , it is manifest that the point will also approach to , so that the limit of is or , and the limit of is or , hence
Taking now the fluents of each side of these equations, and dividing by ,
it is evident that by these two equations the position of the centre of gravity is determined.
168. Let us next suppose that it is required to find Fig. 37, the centre of gravity of the plane area . As the arch was in last § supposed to receive the increment , so let the area now receive the increment , and let , and (which in the former case were supposed to be the centres of gravity of the arches , , and respectively) now be supposed to be the centres of gravity of the areas , , and ; put the area , the area , and let , , , denote as before. Then, reasoning exactly as in last case, we have (by § 116.),
hence
and the point being supposed to approach to , so that , , and , the simultaneous increments of , and , may be continually diminished,
but as the ordinate approaches to , it is manifest that the ultimate position of , the centre of gravity of the area , will be the middle of , therefore the limit of is , and the limit of is , thus we have
and consequently,
or since , and (§ 61.),
169. Let it next be required to find the centre of gravity of the surface of a solid generated by the revolution of the curve about as an axis. Let the surface of the solid be conceived to receive an increment generated by an arch of the curve. In this case it is evident that the centres of gravity of the surface generated by the curve , the surface generated by the curve , and the surface generated by the arch , will each be in , the axis of the solid; suppose them to be at , and respectively. Put , , also put for the surface generated by , and for the surface generated by , then as before (from § 166.) we have
but the point approaching to , the limit of is manifestly or , therefore
or since (§ 65.),
170. If instead of the centre of gravity of the surface generated by , the centre of gravity of the solid generated by the revolution of the plane figure about as an axis be required, the reasoning will be the very same as in last §, substituting the solid generated by the plane figure instead of the surface generated by the curve line; so that putting for the content of the solid, and for the distance of its centre of gravity from the vertex, we have also
but in this case (§ 64.), therefore
171. We shall now apply these formulas to some examples.
Example 1. Let it be required to find the centre of gravity of an arch of a circle. Suppose to be a part of the diameter, and in addition to the notation of § 167. put for the radius of the circle, then from the nature of the curve, , hence
(proceeding as in § 165. Ex. 1.) we have and
therefore , and , but from the equation , by taking the fluxions we get , and hence ,
therefore ; substituting now the values of and in the formula of § 167, we have
To discover the values of the constant quantities , , we have from the equations in which they occur,
but when , then , , and are each , therefore , and , thus we have simply
Ex. 2.
Inverse Method.
Ex. 2. Let it be required to find the centre of gravity of APB an area bounded by AP an arch of a circle and PB, BA its fine and versed fine. Let denote the radius, and let the remaining notation be as in § 168. Then, because , we have , but from the equation (which expresses the nature of the curve), we find
We have also , therefore,
By proceeding as in the last example we find and each , thus we have
Fig. 37. Ex. 3. Suppose now the figure to be the surface generated by the revolution of AP an arch of a circle about the diameter AB, and that the centre of gravity of the generated surface is required. Then because from the nature of the circle we have , and , therefore, substituting these values in the formula of § 169. it becomes
To find the values of the constant quantities , we have
but as when , then , it is manifest that and are each , thus we have
Fig. 37. Ex. 4. Let us now suppose that it is required to find the centre of gravity of the solid generated by the revolution of AP an arch of a circle about the diameter. In this case, because , we have from § 170,
and reasoning as in the last example, we find , and , and therefore
If the segment be a hemisphere, in which case , then .
SECT. III. Of Fluxional Equations.
172. It has been shewn (§ 49.), how, from an equation being given, expressing the relation between a variable quantity, and a function of that quantity, we may deduce the equation that expresses the relation of their fluxions. We are now to show how from the latter, or fluxional equation, we may return to the equation of the fluents, which, relatively to the other, may be called its primitive equation.
173. As any primitive equation and the fluxional equation derived from it both hold true at the same time, and as the constant quantities which enter into the former retain the same values in the latter, it follows that by means of the two equations we may exterminate any one of the constant quantities, and thus from any proposed primitive equation deduce a fluxional equation, in which one of the constant quantities contained in that primitive shall not at all be found.
For example, let the primitive equation be , by taking the fluxions we have , a fluxional equation in which is not found; if, however, it be required to find an equation in which shall be wanting, we have only to eliminate by applying the common rules of Algebra (ALGEBRA, Sect. vii.) to the two equations
and hence we have , thus it appears that from the primitive equation we may deduce a fluxional equation which may be expressed under either of these forms,
these hold true at the same time as the primitive equation, they are alike related to, and any two of the three being given the other necessarily follows from them.
As a second example, suppose the primitive equation to be , by passing to the fluxions we immediately find , an equation in which is not found. If, however, it be required that the fluxional equation shall want , we have only to apply the common rules of elimination to the two equations;
thus from the second we get , and this being substituted in the first it becomes
174. It is evident that by proceeding in this manner we shall, in some cases, arrive at a fluxional equation involving the second and higher powers of , and when
this happens we can only find the value of by the resolution of an equation; but this may be avoided by preparing the primitive equation in such a manner, that the constant quantity to be eliminated may be entirely separated from the variable quantities, so as to form one of the terms of the equation, then, upon taking the fluxions, this term being constant will vanish, and thus we shall obtain an equation entirely free from the constant quantity contained in that term. Thus the primitive equation has already such a form that by taking the fluxions we get an equation in which is not found. If it be required, that upon taking the fluxions, shall vanish; we must put the equation under this form , and then taking the fluxion, we find immediately
an expression in which is not found, and which by rejecting the divisor becomes , and these two forms of the fluxional equation are the very same as have been found in the last §. In the second example, viz. , the equation has already the form suited to the elimination of , for the fluxional equation is , but in order that may vanish, we must resolve the equation with respect to , so as to give it this form
passing now to the fluxional equation, disappears, and we have
It is evident that we have only to reject the denominator to give the equation this form
the same as was found in the conclusion of last §.
175. From what has been now shewn we may infer that as from any proposed primitive equation we can deduce a fluxional equation that shall contain one constant quantity less than the primitive contains, so on the
contrary any fluxional equation being given, its primitive equation may contain one constant quantity more than the fluxional equation, but it can contain only one, for no more than one constant quantity can be made to disappear by returning from the primitive to its fluxional equation.
176. The fluxional equation expressing the value of , which is derived from any primitive equation involving , and a function of , may be called a fluxional equation of the first order; and as from this equation considered as a primitive, we may in like manner
derive an equation that shall involve (§ 50.), this last
may be called a fluxional equation of the second order, and the fluxional equation from which it is derived may be called its primitive equation of the first order, to distinguish it from the absolute primitive equation, from which all the others are conceived to be derived. A similar mode of definition is to be applied to the higher orders.
177. As any primitive equation and the fluxional equations of the first and second orders derived from it must all hold true at the same time, it is evident, that by means of the three equations, we may exterminate any two of the constant quantities contained in them that we please, and thus produce a fluxional equation of the second order that contains two constant quantities less than the primitive equation. There are however two other ways by which we may arrive at the very same fluxional equation of the second order. For as from the given primitive equation we may deduce two different fluxional equations of the first order, one of which shall contain one only of the two quantities to be eliminated, and the other shall contain the other quantity only, we may consider each of these equations in its turn as a primitive, and, by proceeding in the manner explained in § 173 and § 174, derive from it a fluxional equation, in which that particular constant quantity which remained in its primitive, but which was to be finally eliminated, shall not be found; thus, from each of these primitives we shall deduce the very same fluxional equation of the second order, that shall be freed from two of the constant quantities contained in the absolute primitive equation.
Let us take for example the equation
by proceeding as explained in § 173, or § 174, we find these two fluxional equations of the first order,
in the one of these the constant quantity is wanting, and in the other is wanting. Taking the first equation , and proceeding as in § 50 (observing that is constant) we find , if from this equation we now eliminate by putting instead of it
(deduced from the equation ) we find after proper reduction
a fluxional equation of the second order, in which both and are wanting, and having for its absolute primitive equation.
Let us now take the other fluxional equation of the first order which involves , viz. ; by proceeding with this as with the former we find ; from the first of these equations we find , and from the second ; therefore, , and hence we have
the same equation as before; and as we have arrived at the very same conclusion by considering each of these equations
as a primitive, it follows that both these are to be considered as primitive equations of the first order of the fluxional equation .
178. In general, every fluxional equation of the second order has two primitive equations of the first order, and all three may be considered as originating from one and the same absolute primitive equation; and as a fluxional equation of the second order may contain two constant quantities less than its absolute primitive equation, and one less than either of its primitive equations of the first order; so, on the contrary, a primitive equation of the first order may contain one constant quantity more than the fluxional equation of the second order derived from it, and the absolute primitive may contain two constant quantities which are not found in the fluxional equation of the second order derived from it; and similar conclusions may be drawn relating to fluxional equations of the third or any higher order.
Of Fluxional Equations of the first order.
179. When it is required to find the primitive equation corresponding to a proposed fluxional equation of the first order, we may endeavour to separate the variable quantities, that is, to bring the equation to such a form, that it may be composed of two parts, one of which consists of multiplied or divided by a function of only, and the other of multiplied or divided by a function of only. When this separation of the variable quantities can be effected, we have only to take the fluents according to the methods explained in SECT. I. and put their sum , and we immediately have the primitive equation required.
Ex. Suppose the fluxional equation to be
divide the terms of the equation by , and it becomes
VOL. VIII. Part II.
Now the fluent of is (§ 103.), and in
like manner the fluent of is , therefore
or, transposing , and putting a single constant quantity for their sum, which, to be homogeneous with the logarithmic quantities, may be , or ,
which last is the primitive equation required.
180. When a primitive equation is homogeneous, that is, when the sum of the exponents of the variable quantities and is the same in each term, as in this example,
in which the variable part of each term is of the first degree, as also in this equation
in which the variable part of each term is of the second degree, such an equation may be always transformed into another which will admit of the variable quantities being separated. To take a particular example, let us suppose the equation to be , or . We assume (and the same assumption is to be made for any other homogeneous equation), then , thus the equation becomes transformed to
but as the terms of this equation have a common factor , by leaving out that factor, it becomes
which also admits of being expressed thus
and, by division,
and taking the fluents
where denotes a constant quantity, or, since ,
now
the methods delivered in SECT. I. for finding the fluent
of a rational fraction. It may however be simplified in
its form, by observing, that since
observing that
, we have
logarithms , where denotes the number of which
the Napierian logarithm is 1, so in the present case we
have , and hence the primitive equation
is found to be
then , and substituting these values of
and in the proposed equation, it becomes
being a logarithm function, their sum may be put equal
to a constant logarithm,
becomes
wise expressed thus:
bers, we find , and hence, by fo-
rdering the equation that the radical may disappear,
we get , which is the primitive equation
required.
some cases, by proper transformations, be rendered ho-
mogeneous; this is the case in particular with the equa-
tion
, and , then , and ; by substi-
tuting these values of , in the proposed equa-
tion it becomes
mined, and the transformed equation is reduced to
be treated in the manner explained in last §.
, because then the values of and would be
infinite.
Inverse Method. infinite. In this case we have , and therefore
, hence the original equation may be expressed thus,
Assume now , then ; the va-
lues of and being now substituted in the equation, and the whole reduced to a proper form, it becomes
The fluent of the second term of this expression will involve logarithms, except that , in which case the primitive equation is
182. When a fluxional equation has this form
where and denote any functions of , the variable quantities may be separated in the following manner. Assume , then, taking the fluxions, we have , and by substitution, the proposed equation becomes
now as in this equation and may be supposed to denote indeterminate functions of , we may divide it into two others, such, that the variable quantities in each may be separable; to effect this we assume
hence, dividing the first equation by , we have
1. , and hence, by passing from logarithms to their numbers,
here no constant quantity is introduced, it being sufficient to add it at the end of the operation; let this value of be substituted in the second equation, then by deducing from it the value of , we have
and since , therefore
Let us take a particular case, and suppose the equation to be , then we have , , and , hence in this case the general formula becomes
The fluent may be found by § 143; let us suppose for example that , then we have
so that the fluxional equation being
the primitive equation is
The general equation , which involves the simple power only of the variable quantity , and its fluxion, has been called a linear equation of the first order; it has also, with more propriety, been called a fluxional equation of the first degree, and of the first order.
183. The equation
where and as before denote any functions of , is easily reduced to the form we have been considering; for assume , then , and , and ; if we now substitute the values of and in the equation, it becomes
let the terms of this equation be divided by , then, including the factor in the indeterminate function , the result is
an equation of the very same form as that which has been considered in last §.
184. The most general form that can be given to a fluxional equation of the first order, and consisting of three terms only, is
to give this equation a more simple form, let all its terms be divided by , it then becomes
Suppose now
If we suppose , the resulting equation may have its variable quantities separated by the method explained in § 183; but if we go only one step farther, and suppose , so that the equation is
the difficulty of separating the variable quantities generally is so great as to have hitherto baffled the utmost efforts of the most expert analysts. This equation is commonly called Riccati's equation, on account of its having been first treated of by an Italian mathematician of that name, who succeeded in separating the variable quantities in some particular cases, namely, when is equal to , where denotes any whole positive number.
185. If the separating of the variable quantities generally be a problem of insurmountable difficulty when the equation consists of only three terms, its solution can much less be expected, when the equation consists of four, or any greater number. There are, however, particular cases in which some of the most skilful analysts have, by employing happy and peculiar artifices, succeeded in resolving the problem, but the methods of proceeding are, generally speaking, not reducible to any determinate rules.
186. When the expression which constitutes a fluxional equation is such as would be produced by taking the fluxion of some function of and , in which case it may be said to be a complete fluxion, then, without attempting to separate the variable quantities, we have only to add a constant quantity to that function, and the result put , will evidently be the primitive equation required.
If, for example, the equation be , it is obvious that the expression is immediately produced by taking the fluxion of the function ( being also considered as a function of ), therefore the primitive equation is .
From the view which has been given in § 174. of the origin of fluxional equations it appears, that in passing from a primitive equation to its fluxional equation, the terms of the latter in many cases will not constitute a complete fluxion, by reason of some multiplier, or di-
visor, which was common to them all, having disappeared. In such cases, however, if we can by any means discover that factor, by restoring it we shall immediately have a complete fluxion, the fluent of which, with the addition of a constant quantity, when put , will be the primitive equation.
For example, if the equation be , here cannot be immediately produced by taking the fluxion of a function of and ; but, if we divide the equation by so as to give it this form ,
we obtain the expression which is a complete
fluxion, viz. that of the fraction , therefore , or , is the primitive equation.
In like manner, the equation , which does not in its present form express a complete fluxion, yet becomes so when multiplied by , for then it is
from which it appears that the primitive equation in this case must be .
187. That we may be able to discover whether the terms of any proposed fluxional equation constitute a complete fluxion, and also from what expression such a fluxion has been derived, we must attend to the process, by which we find the fluxion of an expression composed of two variable quantities, one of which is a function of the other.
To avoid very general reasoning, we shall take for granted what is evidently possible, that any function of and may be generally expressed by a formula of this nature,
where denote constant quantities, and the exponents given numbers, the number of terms being supposed either finite or infinite. Now the fluxion of the whole expression is the sum of the fluxion of its terms, but in taking the fluxion of each term, beginning with the first , the fluxion of which is
it is evident that the result is composed of two parts, one of which is the expression we would find for its fluxion, if only were considered as variable, and as constant, and the other is the expression for its fluxion, if only were considered as variable and as constant; hence it follows, that the sum of the fluxions of all the terms will have the very same property; so that, if be put for the whole expression, we shall in every case have
where denotes the result that will be found if the fluxion of be taken upon the hypothesis that alone
Inverse Method. is variable, and is the fluxion of , supposing alone to be variable.
188. Refuming the consideration of the general expression
let the fluxion of any one of its terms, for example, , be taken, supposing alone variable, and the result is . Again, let the fluxion of this result be taken, supposing alone variable, and we find it to be . Now, if we first take the fluxion of , supposing variable, we get , and then, the fluxion of this result, considering alone as variable, we get , which is the very same expression as was found by proceeding in a contrary order; and as the same must hold true of all the terms, we may conclude, that if the fluxion of any function of and be taken, considering only as variable, and then the fluxion of that result, considering only as variable, the very same final result will be obtained as if we were first to take the fluxion of supposing variable, and then the fluxion of that result, supposing variable; but the fluxion of being expressed thus , it has been shewn that is the fluxion of , if only be supposed variable and is its fluxion, if only be variable, therefore, if we take the fluxion of upon the supposition that only is variable, also the fluxion of upon the supposition that only is variable, the results must be identical. This property affords the following rule, by which we may always determine whether any proposed expression constitutes an exact fluxion or not. Let the expression be put under this form, ; let be the fluxion of , supposing alone variable, and the fluxion of , supposing alone variable, then, if and are identical, is a complete fluxion; and if they are not, is not a complete fluxion.
189. It is easy to see, how, from a complete fluxion we may determine its fluent; for as has been deduced from by considering as variable, and as constant, on which account all the terms of that involved only must have vanished, it follows on the contrary, that if we put to denote those terms, we shall have
the fluent of being taken, regarding only as variable. The function may be determined, by comparing the fluxion of the expression thus obtained with the given fluxion .
Ex. 1. Let the fluxion be , this expression when reduced to the form is
Inverse Method. the fluxion of , supposing only variable, gives us
and in like manner the fluxion of , supposing only variable, gives
hence it appears that , and therefore that the proposed expression is an exact fluxion. To determine its fluent, the formula gives us
the fluxion of this expression taken, upon the supposition that both and are variable, is
this result, compared with the original fluxion, shews that , and , a constant quantity.
Ex. 2. Suppose the fluxion to be
Here , , and by proceeding as in last example, we shall find , hence it follows that the expression is a complete fluxion, and the formula shews
To determine , we take the fluxion of this expression, supposing and both variable, and find it to be
and this compared with the original fluxion
shews that , hence
therefore the fluent required is
where denotes a constant quantity.
190. It may be demonstrated, that as often as a fluxional equation does not constitute a complete fluxion, there is always an infinite number of factors, such, that if the equation were multiplied by any one of them, the result would be a complete fluxion. A general method of determining some one of these factors, however, seems to be a problem of such difficulty, that its solution, except in some particular cases, is not to be expected.
191. When a fluxional equation involves the second or higher powers of and , as in this example,
which may be put under this form,
we may, by the theory of algebraic equations, deduce from it the values of , considering this quantity as a root of the equation; thus, in the present example, by resolving the quadratic equation , we have
are two primitive equations, from either of which the fluxional equation may be derived, and it may also be deduced from their product
192. As often as the equation contains only one of the two variable quantities, for example , by the resolution of the equation we may obtain (where
denotes some function of ), and hence , but if it be more easy to resolve the equation with respect to than to , which we shall denote by , then, instead
of seeking the values of from the equation, we may find that of , thus we shall have , some function of , and hence , and since , therefore, , and . The relation between and is now to be found by eliminating by means of the two equations
As a particular example, let us suppose the equation to be , from which, by putting
the fluent of may be found by the formulas given in § 130, and § 131.
193. When we cannot by any means find an expression for the relation between and in finite terms, then we must, as a last resource, have recourse to approximation, that is, we must express the value of in terms of by means of a series.
When the form of the series is known, we may determine the coefficients of its terms, by substituting the series and its fluxion instead of and in the proposed equation.
Suppose, for example, that the equation is
we may assume
Substituting now the values of and in the equation, and dividing the whole by , it becomes
This equation becomes identical, if we assume , or , and
Hence we have
In order that a primitive equation may be general, it ought to contain an indeterminate constant quantity more than is found in the fluxional equation, therefore, this series which contains no such quantity, must be considered as incomplete, or as exhibiting the value of , upon the supposition, that, when , then . However, we may obtain a value of that shall be general,
Inverse Method. neral, by proceeding as follows. Let us suppose we know that when , then ; assume , and , then it is manifest, that if the value of be found by a series involving , all the terms of the series ought to vanish when . From the assumed values of and the equation
then, proceeding as before, we find
It is necessary, in this equation, to assume , or , and hence we find
If we now substitute , and for and respectively, the result will have all the generality that belongs to a primitive equation, expressing the relation between and .
Of Fluxional Equations of the second or higher orders.
194. Whatever difficulties occur in finding the primitive equation of a fluxional equation of the first order, it will easily be conceived, that these difficulties must be greater and more numerous when we have to consider fluxional equations of the second and higher orders.
One of the most simple cases of an equation of the second order is this,
where denotes a function of , the variable quantity whose fluxion is supposed to be constant; in this case, because , we have . Let denote that function of which is the fluxion, and , as usual, an indeterminate constant quantity, then , and , and taking the fluents a second time
where denotes a second indeterminate constant quantity.
we have also
Suppose, for example, that the equation is , so that ; here , and therefore
In the very same manner we may deduce from the equation of the third order
its primitive equation; thus we have
where denotes such a function of , that its fluxion is , and represents a constant quantity. Again
here is put for , and for a second constant quantity. In like manner we have
and as and are functions of , the fluents of and may be found by the methods formerly explained.
195. Let us next consider such equations as involve only and constant quantities. In order to abridge let us put , then such an equation may be generally expressed thus , where denotes some known
known function of ; now as , by taking the fluxions, and observing that is constant, we have , hence , and , and ; let the value of be substituted instead of it in the equation , and it becomes , and hence ; thus it appears that if we can find the fluents and we shall have the primitive equation when we eliminate by means of these two equations
where and denote the two indeterminate constant quantities that ought to enter into the primitive equation.
Suppose for example that the equation is
which, by putting for , and for becomes transformed to
hence we have
when by means of these equations we eliminate , we obtain .
The fluxional equation is evidently formed by putting the general expression for the radius of curvature (given in § 97.) equal to a constant quantity, and the primitive equation is accordingly an equation to a circle having that constant quantity for its radius, as it ought to be.
196. Suppose now that the equation has this form
where denotes a function of , then putting as before , we have , hence the equation becomes , and , and
, hence and
where and denote two constant quantities.
To take a particular example, let us suppose the equation to be , or , here , and , hence (and by § 127.)
197. When the equation contains , and , it may be transformed to a fluxional equation of the first order, by substituting in it and , instead of and ; if we can find the primitive of that fluxional equation, and thence the value of in terms of , we shall have the value of from the formula , or if we have the value of in terms of , then, because , we shall have
Suppose the equation to be
where denotes any function of , then,
Let us represent by , then , and
This equation evidently expresses the nature of a curve such, that , its radius of curvature (§ 97.), is equal to a function of one of its co-ordinates.
198. If the proposed fluxional equation of the second order contains , and , to transform it we must terminate by means of its value deduced from the equation , thus we shall have
and the result will be an equation of the first order containing only , and ; when its primitive equation can be found, and thence the value of in terms of , we may find by the formula , and by the formula when is expressed by means of .
199. As an example of the manner in which fluxional equations of the second order are to be resolved by approximation, we shall take the particular equation
If the value of which satisfies the equation be supposed to have this form
and that the series of exponents goes on increasing, or that is positive, we may, by supposing to be a very small quantity, conceive that the expression for is reduced to its first term, because in that case each of the following terms will be inconsiderable in respect of that term. According to this hypothesis we shall have
and thus the proposed equation becomes
It will not be possible to give to such a value that the two exponents and shall become equal, except in the particular case of ; but if we suppose very small, the equation may be satisfied in two ways, namely, by taking , and , because upon either supposition the term , which is the greatest, vanishes, and therefore is left indeterminate; thus we have two series, one beginning with , and the other with .
Assuming therefore successively
and substituting these values as well as their corresponding values of in the proposed equation, we shall find by arranging the terms, that ought to be ; afterwards by determining the coefficients , , , &c. in the usual manner (ALGEBRA, § 261.) we obtain two series, one of these is
VOL. VIII. Part II.
and the other
As a primitive equation in its general form ought to contain two constant quantities which do not appear in the fluxional equation of the second order derived from it (§ 177.), the value of to be complete ought to contain two arbitrary constant quantities, but as each of these series contains only one such quantity, namely , it must be considered as expressing only a particular value of . The fluxional equation is however of such a nature that from two particular values of we may deduce its general value; for let us denote these values by and , then, as each of them must satisfy the fluxional equation, we have
let and denote two arbitrary constant quantities, then we have also
and as each of these equations is identical, their sum must also be identical, that is
but the very same result will be obtained if we substitute instead of in the proposed fluxional equation, therefore is also a value of , and as it involves two arbitrary constant quantities, and , it possesses all the generality of which the value of is susceptible. Hence it follows that if be put instead of in one of the two series which we have found for the value of , and instead of in the other series, the sum of the two results will be a general expression for the value of .
200. Having now explained the theory of fluxional equations at as great length as we conceive to be compatible with the nature of this work, we shall conclude this treatise by resolving a few problems which produce fluxional equations.
Prob. 1. Having given any hyperbolic, or, as it may more properly be called, Napierian logarithm, it is required to find a general expression for its corresponding natural number.
Let the number be denoted by , and its logarithm by , then (§ 57.), or
and the problem requires that from this equation we deduce an expression for .
As when , then , we may assume
and our equation becomes
Hence, by comparing the coefficients of the like terms, it appears that , , , , &c. so
Prob. 2. Let AB, AC, be two straight lines given by position meeting each other at right angles in A, let C be a given point in AC one of the lines, and let a straight line PQ meet them in P and Q, and cut off from them equal segments AP, CQ adjacent to the given points A, C, it is required to find the nature of the curve to which PQ is a tangent.
Let D be the point in which the tangent PQ meets the curve, draw DE perpendicular to AC, and DF to AP, put CA=a, CE=x, ED=y, then AE or DF
This expression belongs to a class of fluxional equations which have the singular property of being more easily resolved by first taking their fluxion, considering the fluxion of one of the variable quantities as constant; thus, in the present case, making constant, we find
hence dividing by , the equation is easily reduced to
and taking the fluents
but when , then , therefore , and
which equation belongs to the common parabola.
Prob. 3. Let APQ be one of any number of curves of the parabolic kind, having the same vertex A, and axis AE, and the nature of which is defined by the
equation , where denotes the abscissa AB, and the ordinate PB, and an indeterminate quantity which is the same for the whole of any one of the parabolas, but different for different parabolas; it is required to find the nature of a curve that shall intersect them all in a given angle.
Let the curve whose nature is required meet any one of the parabolas in P, let PT, Pt tangents to the two curves meet the axis in T and t; then, from the nature of the problem, the lines PT, Pt must contain a given angle, let denote its numerical tangent.
Because PT touches the parabola, the tangent of the angle PTB will be equal to (§ 75.) the value of
this expression being supposed deduced from the equation ; but taking the fluxion of this equation, and eliminating the indeterminate quantity by means of the two equations, we find , therefore
Again, by considering and as the abscissa and ordinate of the curve whose equation is sought, and to which Pt is a tangent, we have the tangent of the difference of two angles, (ALGEBRA, § 368.) that
hence we have
a fluxional equation expressing the nature of the curve, which being homogeneous may be treated according to the method explained in § 180.
If the curves be supposed to cut each other at right angles, then, being infinite, the part of the equation which is not multiplied by vanishes in respect of the other, which is multiplied by it; hence we have
and taking the fluents
where is put for a constant quantity. This equation shews that the curve is an ellipse, the centre of which is at A the common vertex of all the parabolas.
The problem which we have here resolved is only a particular case of one more general, and which has for its object To determine the nature of the curve which intersects all other curves of a given kind in a given angle. The problem thus generalised is known by the name of the Problem of Trajectories; it was originally proposed by Leibnitz as a challenge to the English mathematicians, and resolved by Newton, on the day he received it.
FLUXIONS.
PLATE CCXIX.
Fig. 1.
Fig. 2.
Fig. 3.
Fig. 4.
Fig. 5.
Fig. 6.
Fig. 7.
Fig. 8.
Fig. 9.
Fig. 10.
Fig. 11.
Fig. 12.
Fig. 14.
Fig. 15.
Fig. 13.
Fig. 16.
Fig. 17.
Fig. 18.
Fig. 19. No 1.
V. Archiv. math. 1847.