arxiv: v2 [math.ho] 16 May 2009

Transcription

1 arxi: [math.ho] 6 May 2009 On the infinity of infinities of orders of the infinitely large and infinitely small Leonhard Euler. 2 If x denotes an infinitely largequantity, then the geometric progression,x,xx,x 3,x 4,x 5, etc. is thus constituted that each term is infinitely greater than the preceding, and indeed infinitely smaller than the following. Whence if we think of the power x 000 as the last term of this progression, it will be possible to put a thousand orders of different infinite magnitudes between it and the first term ; here we refer to quantities haing a finite ratio between themseles as being of the same order. Yet still the number 000 does not furnish all the intermediate orders between and x 000 ; it should be noted that when we speak of the particular number 000 here, any other number, howeer large, can be put in its place. 2. As we just said, we are still far from representing in this progression all the different intermediate orders between and x 000. For if we put 3 x = y 000 so that y = 000 x, since x is an infinite quantity een now y will be an infinite quantity; whence it follows that because again a thousand intermediate orders can be assigned between and y 000, each of which is also infinitely greater than the preceding and infinitely less than the following, then een between unity and x a thousand intermediate orders can be formed, een though before x had been the first order Originally published as De infinities infinitis gradibus tam infinite magnorum quam infinite parorum, Acta Academiae scientiarum Imperialis Petropolitanae 2 (780), no. I, E507 in the Eneström index. Translated from the Latin by Jordan Bell, Department of Mathematics, Uniersity of Toronto, Toronto, Canada. jordan.bell@gmail.com Translator: E507 is cited in pp of H. J. M. Bos, Differentials, higher-order differentials and the deriatie in the Leibnizian calculus, Arch. Hist. Exact Sci. 4 (974), no., 90. E507 is also mentioned on p. 700 of olume 4 of Moritz Cantor, Vorlesungen über Geschichte der Mathematik, 894, and on p. 68 of Constantin Gutberlet, Das unendliche: Metaphysisch und mathematisch betrachtet, G. Faber, Translator: Particularly useful references are G. H. Hardy, Orders of infinity, Cambridge Tracts in Mathematics, no. 2, Cambridge Uniersity Press, 90; p. 402 of Hardy s A course of pure mathematics, seenth ed., Cambridge Uniersity Press, 938; and p. 249 of Carl Boyer s The history of the calculus and its conceptual deelopment, Doer, Translator: Original ersion has z = y 000.

2 of infinity. Indeed, in a similar way a thousand intermediate orders can again be assigned between the preceding first order x and the second order xx. And it is thus between any two succeeding orders, which are all such that each is infinitely greater than the preceding and infinitely less than following. 3. But we still can t stop here. For since y is an infinitely large quantity, if we put y = z 000, then z will still be an infinitely large quantity; whence one sees that between and z 000, that is, between and y, again a thousand orders of infinity can be constituted, and we may proceed as far along in this fashion as we please, so that the number of all the different orders can in fact be increased to infinity. 4. The same also holds for the infinitely small, in an inerted manner. For if x denotes an infinitely small quantity, then any term of the geometric progression,x,xx,x 3,...,x 000 will be infinitely smaller than the preceding but infinitely greater than the following,andhencebetweenandx 000 weobtainathousandintermediateorders of the infinitely small, all different; for each is infinitely less than the preceding, and infinitely greater than the following. 5. If now we again put x = y 000, so that y = 000 x, then y will still be an infinitely small quantity; whence it is clear that between and y 000, that is between and x, a thousand intermediate orders of the infinitely small can again be constituted, which can also be done between x and xx, and similarly between xx and x 3, and so on in general between any two neighboring terms of the preceding series. Since by further putting y = z 000, z is een still an infinitely small quantity, the number of different orders once again exceeds one thousand, and this multiplication can be continued endlessly. 6. What has been deduced here from the consideration of powers is indeed common knowledge, and can een be considered to be part of common Algebra; but the higher Analysis also proides innumerable other orders of the infinitely large and infinitely small which cannot be put into any of the orders that we hae just related, no matter how many times they are multiplied. Rather, they are found continually to be either infinitely greater or infinitely less than any of the preceding orders. Since I do not recall this being clearly explained so far anywhere, this worthwhile task will be carefully inestigated here Now, these quantities occurring in higher Analysis can be put into two classes, one of which is comprised of logarithms, and the other exponential 4 Translator: Euler also briefly discusses orders of infinity in 43, ol. of his 755 Institutiones calculi differentialis (E22). 2

3 quantities. Let us first deal with logarithms, and with x denoting an infinitely large number it follows that its logarithm will also be infinitely large. This is equally clear whateer base we choose for logarithms, be it the common or hyperbolic one, or any other type When x is an infinitely large number, it is clear enough by itself that its logarithm, that is, lx, will indeed be infinite, but still infinitely less than the number x, and can be thus classed in a lower order. Since lower orders of x can be represented by x n, namely with n denoting some sufficiently large number, it is hardly difficult to show that lx is always infinitely less than x n, howeer large a number is chosen for n. 9. Infact, itpossibletodemonstrateinthefollowingwaythatx n isinfinitely greater than lx when x =, or in other words that the alue of the fraction x n lx is infinitely large. For let us put this alue =, so that and set and so = x n lx, p = lx and q =, x n = p q ; both the numerator p and the denominator q of this fraction will be = 0 in the case x =. Then, by the well known rule 6 it will also be = dp dq. Therefore, since we will hae dp = dx x(lx) 2 and dq = dx nx n +, = nx n (lx) 2, 5 Translator: The hyperbolic logarithm is the natural logarithm, the common logarithm is the logarithm with base 0. 6 Translator: Namely L Hospital s rule. A footnote in the Opera omnia refers to Euler s Institutiones calculi differentialis, latter part of chapter XV, and also cites L Hospital, Analyse des infiniment petits, Paris, 696, p. 45 3

4 which should be equal to the preceding alue x n lx. Truly then, taking the square of this will gie = x 2 n (lx) 2, and diiding this alue by the preious yields 7 = nx n. Since this is clearly infinite, it is thus apparent that x n lx is an infinitely large quantity, that is, that lx is infinitely smaller than x n no matter how large a number is taken for n. 0. It is therefore clear that if x =, its logarithm lx cannot be grouped with any of the aboe orders of infinity, no matter how narrowly we diide these orders. Because of this, a new order of infinity, appropriate for the classification ofthe logarithmlx, mustbe constitutedhere, towhichthe powerx n approaches continually closer the greater the number that is put for n. Yet the case where n = does not thereby satisfy this, for when n = 0 it makes x n =, 8 while lx will be infinite; indeed it should be noted that the demonstration gien aboe produced nx n, which by taking n = nonetheless yields = n, which is thus infinite. 9. Therefore, since lx constitutes as it were the lowest order of all the infinitely large quantities, it is eident that the number of orders that we established aboe, which was already seen to be infinite, can be further increased infinitely. For if one considers the order designated by the power x α, then the formula x α lx will be infinitely greater than x α ; yet when the exponent α is increased by a fraction n, then the formula xα lx will certainly be infinitely smaller than x α+ n, and so an order must be constituted between x α and x α+ n. 2. Yet the multitude of all the different orders is by no means exhausted in this way. For (lx) 2 will be infinitely greater than lx and thus ought to form its own order, which will still be less than the powers x n howeer large the number n is taken to be. All the different powers of lx yield their own kind of infinity which has to be extended een to fractional powers. For, since (lx) α β is certainly infinitely greater than (lx) α β α n yet infinitely less than (lx) β + n, it should form its own order. As many new cases will arise if in addition we multiply by a n 7 Translator: In fact x n 2 (lx) 2 diided by nx (lx) 2 is equal to x. But n is a fixed positie integer, n so is still infinite. 8 Translator: As x +0,x x 0. 9 Translator: As we noted earlier, = x n n not nx n. In fact, if x n = then = 0, not infinity. n 4

5 power of x. Namely, the formula x a (lx) α β is infinitely greater than x a (lx) α β n, but infinitely less than x a (lx) α β + n. 3. Yet still in this manner we hae not enumerated all the orders of the infinite. For since lx is an infinitely large quantity, its own logarithm llx will still be infinite though infinitely less than lx; whence one sees that again infinitely many new orders of the infinite hae to be established from the formula llx and its powers (llx) α β, first if this formula is combined not only with powers of lx but also with powers of x; and the same consideration can be extended further to formulas lllx, llllx, etc. 4. This immense multitude of orders also occurs among the infinitely small, sinceofcoursetheycanbeseenasreciprocalsofinfinite magnitudes. Forifunity is diided by any infinity, namely, it should be considered to constitute a particular order of the infinitely small. Thus if x is an infinite quantity, not only will the series x, xx, x 3, x4, etc. proide infinitely many orders of the infinitely small, but also the series lx, (lx) 2, (lx) 3, (lx) 4, etc. togetherwith all thepowersofallthe termswill yield newordersoftheinfinitely small; then also, the series llx, (llx) 2, (llx) 3, etc. and also all the further ones where more logarithms are taken such as lllx,llllx, etc., and thus this multitude is augmented infinitely. 5. What has been propounded so far for logarithms can similarly be extended to exponential quantities, from which innumerable new orders of both the infinitely large and the infinitely small can be likewise constituted that will be entirely distinct from the preceding. For if, as has been the case so far, x denotes an infinite number, it is well known that the alue of the power a x will also be infinitely large exactly when a is a number greater than unity, while if a < then the power a x will exhibit an infinitely small quantity. Now, let us first consider the infinitely large, by taking a >, and it s clear that the power a x is not only infinitely greater than its exponent, but it can een be demonstrated that the quantity a x is infinitely greater than the power x n howeer large the exponent n may be. The demonstration can be obtained in the following way. 5

6 6. Let us put and let a x x n =, p = x n and q = a x, so we hae = p q. Both the numerator p and the denominator q of this fraction anish in the case x =, and so Now, whence dp = ndx x n+ = dp dq. and dq = dxla a x, = nax x n+ la. Indeed this formula is much more complicated than the gien = ax x n, so it might seem that nothing could be concluded. But from the comparison of these formulas the true alue of will be concluded. For, from the first n+ = ax(n+) x n(n+) and from the latter n = nn a nxxn(n+) (la) n, and diiding the first alue by the latter gies = ax (la) n n n, which is clearly an infinite alue. Thus it has been demonstrated that the formulaa x isalwaysinfinitelygreaterthanx n, nomatterhowlargetheexponent n is taken, proiding a >. It is apparent then that the exponential quantity a x is infinitely greater than all the orders of the infinite arising from the power x n. Hence, een though x is an infinite quantity, still all the fractions a x x, a x xx, a x x 3, and in general a x x n forms an order of infinity that exceeds all orders of infinity from the first class. It is clear that this also happens for the formulas a αx, proiding α > 0, and it will een happen for the formulas a αxβ, as long as positie alues are taken for the letters α and β; these are therefore infinitely many infinities that are higher than the powers of x, howeer large those may be. 6

7 7. Besides this, it should also be noted that een if the formula a x belongs to an infinitely high order of the infinite, still, howeer little the alue of the letter α is increased, the alue of this formula will rise to a higher infinity. For if b > a then the formula a x will be to the formula b x as is to ( b a )x, that is, as to infinity, an order of infinitesimals. 8. Wheneer a >, then all the powers of a x can be translated into powers of the fixed number e, whose hyperbolic logarithm is =, because a x = e xla, and thus all infinities ofthis type can be representedin the forme αxβ, supposing α > 0 and β > 0. Then the formula e αxβ x n will belong to an infinitely lower order of the infinite, but on the other hand this case be more than made up for if we write e αxβ in place of αx β, which leads to this form e eαxβ and we can repeat this process arbitrarily many times. 9. This can all transferred in an inerted manner to the infinitely small, which we shall now considerin some detail. Thus let x denote an infinitely small quantity, whose powers x α therefore form innumerable orders of the infinitely small; if the exponent α is increased by howeer small an amount they become infinitely smaller. Howeer all of these orders can be included in the first class of the infinitely small, if the exponents α are understood to take all positie alues. 20. Let us refer to as the second class the infinitely small which arise from logarithms. For wheneer l x is infinite, it s reciprocal l x will be infinitely small. Now, for conenience let us put l x = u, so that this form becomes u, which will be infinitely small such that it is infinitely greater than all the infinitely small in the first class. The formulas uu, u 3, u 4, etc. and in general u α 7

8 also belong to this class. The forms x α u β are the next to be considered, which are combinations from the first and second classes. Also indeed, since lu is infinitely large but infinitely less than u, its reciprocal lu will be infinitely small but infinitely greater than u. Likewise, the formulas llu and lllu will be continually infinitely larger than the preceding. By combining them with the preious, innumerable new orders of the infinitely small can be constituted which one can by no means enumerate. 2. In particular it ought to be noted that een though u = l x is infinitely large, yet all the products x n u will be infinitely small, when n > 0. And een though this follows from the preceding, it can be succinctly demonstrated thus. Put x n u =, and let so that x n = p and = p q. u = q, Both the numerator and the denominator of this fraction anish when x = 0, whence we further hae = dp dq. Indeed dp = nx n dx, and because u = l x, i.e. u = lx, it will be du = dx x, and hence dq = dx xuu, from which we get = nx n uu. From the first alue we hae = x 2n uu, which diided by that just found gies = xn n, 8

9 from which it is clear that the alue of is infinitely small, which also holds for the formula x n u α, and hence not only when α is a positie number but also when it is negatie, since the formula xn u m is by itself infinitely small Besides these two classes of the infinitely small, the exponential quantities offer a third class to us. For when x = 0, the formula e x exhibits as it were an infinite magnitude of the highest degree, whose reciprocal e x = e x expresses the infinitely small of the highest degree, which namely will be infinitely smaller than any of the infinitely small from the first class, and in fact this should hold for the general form Now, for the sake of breity let us put e α x β. e α x β =, so that we can express the infinitely small counterpart in the form. Then since l = α x β, by differentiating we ll hae d = αβdx, and hence d = αβdx xβ+ x β+. In should be noted here in particular that een if x is a anishing quantity, still the formulas x n will express the infinitely small of the highest degree. 23. With these classes now constituted, useful aids both for differentiating and for integrating such infinitely small quantities can be found. For instance, if for the first class we put ax α = y, it will be and dy dx αaxα ydx = a α+ xα+, 0 x Translator: Since x is infinitely small and u is infinitely large, n u m is certainly infinitely small. I don t see why Euler writes u m instead of u α. Translator: Perhaps because by L Hospital s rule, lim x 0 x n = lim x 0 n αβ xβ n. Doing this k times will yield n(n β)(n 2β) (n (k )β) x n kβ (αβ) k+, which for k = n has the β limit 0 as x 0. 9

10 and it is clear that this integral will be infinitely less than y, proiding that infinity is greater than the differential dy dx ; indeed this can be made infinitely large if α < and should for this purpose be thought of as belonging to the infinitely small of other classes. 24. Now let s consider the infinitely small of the second class, and put l x = u, so that du = dx x. Let us set y = ax α u m, where α > 0, m indeed either a positie or negatie number since in either case this formula is infinitely small. Then it will happen that dy dx = αaxα u m amx α u m = ax α u m (αu m), and because u is infinite, by neglecting the latter term m it will follow that dy dx = αaxα u m. Multiplying by dx and integrating gies aαx α u m = dx = y = ax α u m, from which arises this rather memorable integration: x α u m dx = α xα u m, or, writing β in place of α, it will be x β u m dx = β + xβ+ u m. 25. Then if take the cured line whose ordinate y = ax β u m corresponds to the abscissa x, where we let β > and the exponent m is either positie or negatie, such that the initial ordinate of the cure, where x = 0, anishes, the area of this cure corresponding to the infinitely small abscissa x will be ydx = a β + xβ+ u m = β + xy; 0

11 namely it will be equal to a rectangle formed between the abscissa x and the ordinate y, diided by β +, which is all the more remarkable as the formula x β u m dx cannot be integrated except for that small portion of cases in which the exponent m is a positie integer. 26. Now let s consider likewise the infinitely small of the third class, and for the sake of breity let us put as aboe e α x β =, so that it is d = αβdx x β+, and, as we hae seen, the formula x m will always be an infinitely small quantity whether the exponent m is positie or negatie. 2 And if one puts x m = z, it will be dz dx = mxm +αβx m β where, because mx β anishes before αβ, it will be dz dx = αβxm β = xm β (mx β +αβ) whence by integrating in turn we ll hae x m β dx z = αβ = xm, and then if we write n in place of m β, so n can thus be any positie or negatie number, it will always be x n dx = αβ x n+β+ ; this integration is correct as long as x is infinitely small, though this differential expression altogether refuses integration. 27. Now if the cured line is taken whose ordinate corresponding to the abscissa x is y = axn, 2 Translator: See 22.

12 with = e α x β, where α and β are positie numbers, and indeed the exponent n can be either positie or negatie, the ordinate of this cure will anish at the beginning, where x = 0. The areaof this cure correspondingto an infinitely small abscissa x will be ydx = a x n+β+ = αβ αβ xβ+ y, and thus if where α = and β =, it will be y = axn, e x ydx = xxy. That is: the area of the cure will be equal with the rectangle formed from the square of the abscissa, and the ordinate. 28. Now, if we then look for a cure whose area in general will be ydx = xxy, this leads to the differential equation ydx = 2xydx+xxdy, whence we get and by then integrating dy y = dx( 2x xx ly = x 2lx, and writing this without logarithms, y = a, xxe x which is contained in the gien form if one takes n = 2, and indeed the aboe integration will work wheneer x is infinitely small. 29. The last integration will een work if the infinitely small quantity also inoles any member of the second class. For let l x = u, 2

13 and let us put z = axm u n (where the exponents m and n can be taken to be either positie or negatie, since these quantities will always be infinitely small when = e α x β ). So that we can more easily unrael the alue dz dx, let us take logarithms, and it will be lz = la+mlx+nlu l and hence dz z = mdx x + ndu u d. Indeed because du = dx and d = αβdx, x xβ+ substituting these two alues into the aboe expression, it will take on the following form: dz zdx = m x n ux + αβ x β+, where since β+ >, both the prior terms anish before the third, and thus it will neatly be dz zdx = αβ x β+ and hence dz = aαβxn β u m dx. 30. If we now write k in place of n β, so that k and m denote any positie or negatie numbers, since n = k +β + it will always be x k u m dx = αβ xk+β+ u m and hence if xk u m = y and y is seen as the ordinate of a cure, its area will be ydx = αβ yxβ+, as long as x is infinitely small, which is all the more noteworthy as so far no way has been found for doing these integrations. 3