close

Вход

Забыли?

вход по аккаунту

?

7355.Euler L. - The expansion of the infinite product into a single series (1775).pdf

код для вставкиСкачать
arXiv:math.HO/0411454 v3 4 Dec 2004
The expansion of the infinite product
(1 − x)(1 − xx)(1 − x3)(1 − x4)(1 − x5)(1 − x6)
etc. into a single series∗
Leonhard Euler†
1. By setting s = (1 − x)(1 − xx)(1 − x3 )(1 − x4 ) etc., it clearly follows that:
s = 1 − x − xx(1 − x) − x3 (1 − x)(1 − xx) − x4 (1 − x)(1 − xx)(1 − x3 ) − etc.
from which an infinite series will be obtained, if every term is expanded and
the resulting series is then simplified for each of the powers of x that are produced. Now, with the first two terms 1 − x already expanded, in place of all the
remaining terms is written the letter A, such that it is s = 1 − x − A, and so
A = xx(1 − x) + x3 (1 − x)(1 − xx) + x4 (1 − x)(1 − xx)(1 − x3 ) etc.
2. Since all these terms have the factor 1 − x in common, by expanding each
of the terms with this, we can represent the series in two parts, as such:
A = xx + x3 (1 − xx) + x4 (1 − xx)(1 − x3 ) + x5 (1 − xx)(1 − x3 )(1 − x4 ) . . .
−x3 − x4 (1 − xx) − x5 (1 − xx)(1 − x3 ) − x6 (1 − xx)(1 − x3 )(1 − x4 ) . . .
Then all the same powers of x in the two parts are collected together, and this
expression for A follows:
A = xx − x5 − x7 (1 − xx) − x9 (1 − xx)(1 − x3 ) − x11 (1 − x2 )(1 − x3 )(1 − x4 ) − etc.
where the first two terms xx − x5 are already expanded, and the following ones
procede as x7 , x9 , x11 , x13 , x15 , where the exponents are increasing by two.
∗ Delivered to the St. Petersburg Academy August 14, 1775. Originally published as
Evolutio producti infiniti (1 − x)(1 − xx)(1 − x3 )(1 − x4 )(1 − x5 )(1 − x6 ) etc. in seriem
simplicem, Acta Academiae Scientarum Imperialis Petropolitinae 1780 (1783), no. I, 47–55,
and republished in Leonhard Euler, Opera Omnia, Series 1: Opera mathematica, Volume 3,
Birkhäuser, 1992. A copy of the original text is available electronically at the Euler Archive,
at www.eulerarchive.org. This paper is E541 in the Eneström index.
† Date of translation: December 4, 2004. Translated from the Latin by Jordan Bell, 2nd
year undergraduate in Honours Mathematics, School of Mathematics and Statistics, Carleton
University, Ottawa, Ontario, Canada. Email: jbell3@connect.carleton.ca. Part of this translation was written during an NSERC USRA supervised by Dr. B. Stevens.
1
3. Now, in a similar way as before, we put
A = xx − x5 − B,
such that it is
B = +x7 (1 − xx) + x9 (1 − xx)(1 − x3 ) + x11 (1 − xx)(1 − x3 )(1 − x4 ) + etc.
for which all the terms have the common factor 1 − xx, so that by expanding
all the terms, the series can be separated into two parts, as:
B = x7 + x9 (1 − x3 ) + x11 (1 − x3 )(1 − x4 ) + x13 (1 − x3 )(1 − x4 )(1 − x5 ) etc.
−x9 − x11 (1 − x3 ) − x13 (1 − x3 )(1 − x4 ) − x15 (1 − x3 )(1 − x4 )(1 − x5 ) etc.
Here again the pairs of terms which have the same leading power of x are
collected into one, and it follows:
B = x7 −x12 −x15 (1−x3 )−x18 (1−x3 )(1−x4 )−x21 (1−x3 )(1−x4 )(1−x5 )− etc.
where now the powers of x are increasing by three.
4. Now, like before, it is taken B = x7 − x12 − C, so that
C = x15 (1 − x3 ) + x18 (1 − x3 )(1 − x4 ) + x21 (1 − x3 )(1 − x4 )(1 − x5 ) + etc.
and by expanding each term with the factor 1 − x3 , it is resolved into two parts;
it will be
C = x15 + x18 (1 − x4 ) + x21 (1 − x4 )(1 − x5 ) + x24 (1 − x4 )(1 − x5 )(1 − x6 )
−x18 − x21 (1 − x4 ) − x24 (1 − x4 )(1 − x5 ) − x27 (1 − x4 )(1 − x5 )(1 − x6 ) etc.
where, as for the last case, contracting all of the same leading powers into one
produces
C = x18 − x22 − x26 (1 − x4 )− x30 (1 − x4 )(1 − x5 )− x34 (1 − x4 )(1 − x5 )(1 − x6 ) etc.
where the powers of the leading factors increase by four.
5. Then it is set C = x15 − x22 − D, so that it will be
D = x26 (1 − x4 ) + x30 (1 − x4 )(1 − x5 ) + x34 (1 − x4 )(1 − x5 )(1 − x6 ) etc.
which can be separated into two by expanding the terms by the factor 1 − x4 ,
in this way:
D = x26 + x30 (1 − x5 ) + x34 (1 − x5 )(1 − x6 ) + x38 (1 − x5 )(1 − x6 )(1 − x7 )
−x30 − x34 (1 − x5 ) − x38 (1 − x5 )(1 − x6 ) − x42 (1 − x5 )(1 − x6 )(1 − x7 ) etc.
At this point, to reduce this, each pair is brought together:
D = x26 −x35 −x40 (1−x5 )−x45 (1−x5 )(1−x6 )−x50 (1−x5 )(1−x6 )(1−x7 ) etc.
2
and here the powers of x increase by five.
6. It is set D = x26 − x35 − E, so that it will then be
E = x40 (1 − x5 ) + x45 (1 − x5 )(1 − x6 ) + x50 (1 − x5 )(1 − x6 )(1 − x7 ) etc.
and this is resolved into two parts, such that by doing that it follows
E = x40 + x45 (1 − x6 ) + x50 (1 − x6 )(1 − x7 ) + x55 (1 − x6 )(1 − x7 )(1 − x8 )
−x45 − x50 (1 − x6 ) − x55 (1 − x6 )(1 − x7 ) − x60 (1 − x6 )(1 − x7 )(1 − x8 ) etc.
where certainly, by contracting the pairs of terms together, it comes out
E = x45 − x51 − x57 (1 − x6 )− x63 (1 − x6 )(1 − x7 )− x69 (1 − x6 )(1 − x7 )(1 − x8 ) etc.
where the powers of x are increasing by six.
7. By this rule, whose operations could clearly be continued further if the following values were substituted by each of the letters in the succession A, B, C, D,
we will will obtain a series in the following form:
S = 1 − x, −xx + x5 , +x7 − x12 , −x15 + x20 , +x26 − x35 , −x40 + x51 , + etc.
Thus this whole problem is reduced to a series defined such that the exponents
for each x are larger than the last one, and for determining the progression of
it, it is clear that the signs alternate in pairs of +’s and -’s.
8. To help us inquire further into this rule, we will look into the way that
the numbers corresponding to each letter arise. For these first few letters, we
set out their first terms, seen in this arrangement:
A = xx(1 − x)
B = x7 (1 − xx)
C = x15 (1 − x3 )
D = x26 (1 − x4 )
E = x40 (1 − x5 )
etc.
7
15
26
40
57
etc.
=3+4
=4+11
=5+21
=6+34
=7+50
=3+1+3
=4+2+9
=5+3+18
=6+4+30
=7+5+45
=3+1+1+2
=4+2+2+7
=5+3+3+15
=6+4+4+26
=7+5+5+40
We see here for the decomposition of the letter A, that clearly it is made by
the sum 3+4, and then that 4 is made by 1+3, and finally that 3 is made from
1+2, which gives the resolution
7 = 3 + 4 = 3 + 1 + 3 = 3 + 1 + 1 + 2.
Moreover, this same pattern is seen in the letters following it, for which the
numbers proceed next in the succession 2, 7, 15, 26, 40.
9. From this it is clear that the differences between the numbers 2, 7, 15,
26, 40, 57, etc. constitute an arithmetic progression, and so it follows that the
general term of these numbers will be:
2 + 5(n − 1) +
3nn + n
3(n − 1)(n − 2)
=
.
1·2
2
3
There are also numbers that come before these, which are 1, 5, 12, 22, 35, 51
for the numbers 1, 2, 3, 4, 5, for which it is seen that to make them, the number
n is itself taken away from the formula 3nn+n
, so that it will be 3nn−n
.
2
2
10. Thus we find now a single series has been made, which is equal to the
given complete infinite product
(1 − x)(1 − xx)(1 − x3 )(1 − x4 ) etc.,
as by using this series that has been found, it will be:
s = 1 − x1 − x2 + x5 + x7 − x12 − x15 + x22 + x26 − x35 − x40 + x51 + etc.
for which we are sure that no other powers of x occur aside from those contained
, and for which if n is an odd number, both terms
in this general formula 3nn+n
2
generated by this method will have the - sign, while if it is even they will be
seen to have the + sign.
Another investigation of the same series.
11. The way in which the powers of x in this series procede can also be
investigated by another method. Of course,
s = 1 − x − xx(1 − x) − x3 (1 − x)(1 − xx) − x4 (1 − x)(1 − x2 )(1 − x3 ) etc.
for which by expanding the second member −xx(1 − x), it will be
s = 1 − x − xx + x3 − x3 (1 − x)(1 − xx) − x4 (1 − x)(1 − xx)(1 − x3 ) etc.
and it is set s = 1 − x − xx + A so that
A = x3 − x3 (1 − x)(1 − xx) − x4 (1 − x)(1 − xx)(1 − x3 ) − etc.
for which, by expanding each term by the factor 1 − x, it is broken into two
parts such that it appears as
A = x3 − x3 (1 − xx) − x4 (1 − xx)(1 − x3 ) − x5 (1 − x2 )(1 − x3 )(1 − x4 ) . . .
+x4 (1 − xx) + x5 (1 − xx)(1 − x3 ) + x6 (1 − x2 )(1 − x3 )(1 − x4 ) . . .
Here, contracting the pairs of terms with the same powers of x like before will
produce this
A = +x5 + x7 (1 − xx) + x9 (1 − xx)(1 − x3 ) + x11 (1 − x2 )(1 − x3 )(1 − x4 ) etc.
12. Now again, the second term is expanded such that it follows:
A = x5 + x7 − x9 − x9 (1 − xx)(1 − x3 ) + x11 (1 − x2 )(1 − x3 )(1 − x4 ) etc.
4
Then it is placed A = x5 + x7 − B, so that it will be
B = x9 − x9 (1 − xx)(1 − x5 ) − x11 (1 − xx)(1 − x3 )(1 − x4 ) etc.
for which if every factor 1 − xx is expanded, it will be obtained that
B = x5 − x9 (1 − x3 ) − x11 (1 − x3 )(1 − x4 ) − x13 (1 − x3 )(1 − x4 )(1 − x5 ) . . .
+x11 (1 − x3 ) + x13 (1 − x3 )(1 − x4 ) + x15 (1 − x3 )(1 − x4 )(1 − x5 ) . . .
then by bringing together the pairs of terms, it will procede as
B = x12 + x15 (1 − x3 ) + x18 (1 − x3 )(1 − x4 ) + x21 (1 − x3 )(1 − x4 )(1 − x5 ) etc.
13. In exactly the same way, the second term is then expanded and it is set
B = x12 + x15 − C, and it will then be
C = x18 − x18 (1 − x3 )(1 − x4 ) − x21 (1 − x3 )(1 − x4 )(1 − x5 ) − etc.
Now the terms are expanded by their second factor 1 − x3 , so that it would be
C = x18 − x18 (1 − x4 ) − x21 (1 − x4 )(1 − x5 ) − x24 (1 − x4 )(1 − x5 )(1 − x6 ) . . .
+x21 (1 − x4 ) + x24 (1 − x4 )(1 − x5 ) + x27 (1 − x4 )(1 − x5 )(1 − x6 ) . . .
Then the pairs of terms are contracted together, and it will be
C = x22 + x26 (1 − x4 ) + x30 (1 − x4 )(1 − x5 ) + x34 (1 − x4 )(1 − x5 )(1 − x6 ) etc.
14. Once again, by expanding the second term and setting C = x22 +x26 −D,
it will be
D = x30 − x30 (1 − x4 )(1 − x5 ) − x34 (1 − x4 )(1 − x5 )(1 − x6 ) etc.
which expanding with the factor 1 − x4 will produce
D = x30 − x30 (1 − x5 ) − x34 (1 − x5 )(1 − x6 ) − x38 (1 − x5 )(1 − x6 )(1 − x7 ) . . .
+x34 (1 − x5 ) + x38 (1 − x5 )(1 − x6 ) + x42 (1 − x5 )(1 − x6 )(1 − x7 ) . . .
Then by bringing together the pairs it will be:
D = x35 + x40 (1 − x5 ) + x45 (1 − x5 )(1 − x6 ) + x50 (1 − x5 )(1 − x6 )(1 − x7 ) etc.
15. By expanding the second term with a factor, and setting D = x35 +
x − E, it will be
40
E = x45 − x45 (1 − x5 )(1 − x6 ) − x50 (1 − x5 )(1 − x6 )(1 − x7 ) etc.
5
and by expanding the second factors 1 − x5 it will be
E = x45 − x45 (1 − x6 ) − x50 (1 − x6 )(1 − x7 ) − x55 (1 − x6 )(1 − x7 )(1 − x8 )
+x50 (1 − x6 ) + x55 (1 − x6 )(1 − x7 ) + x60 (1 − x6 )(1 − x7 )(1 − x8 ) etc.
and by collecting the pairs of terms, it follows that
E = x51 + x57 (1 − x6 ) + x63 (1 − x6 )(1 − x7 ) + x69 (1 − x6 )(1 − x7 )(1 − x8 ) + etc.
16. Therefore, if their expressions are successively substituted for each of
the letters A, B, C, D, E, this series will result:
1 − x − xx, +x5 + x7 , −x12 − x15 , +x22 + x26 , −x35 − x40 , + etc.
where the series of the exponents is easily seen. Namely, as the first terms of
the expressions for the letters A, B, C, D are simply x3 , x9 , x18 , x30 , x45 , it is
obvious that the exponents grow by three’s, from which in general for a number
n, the exponent will be 3nn+3n
. In fact, it is observed that for these terms the
2
difference between two successive powers of x is the same as n, because of which
the number n will be subtracted twice from this formula, and it will be seen
that the two powers being looked for appear, from which follows the exponents
and 3nn−n
.
as 3nn+n
2
2
17. From this it is therefore clear again that
s = 1 − x − xx + x5 + x7 − x12 − x15 + x22 + x26 − x35 − etc.
continues infinitely and has itself infinitely many factors, which of course will
be (1 − x), 1 − xx, 1 − x3 , 1 − x4 , 1 − x5 , etc., such that if it were first divided
by 1 − x, then next by 1 − xx, next by 1 − x3 , and if it continued to be divided
infinitely in this way, ultimately the result would be equal to unity.
18. Then if this equation going to off infinity were given:
1 − x − xx + x5 + x7 − x12 − x15 + x22 + x26 − etc. = 0,
it is possible to easily figure out all the roots. The first root will be x = 1, then
the second root will be the square of unity, then indeed the third root will be
the cube of unity, then the fourth root will be the double-square of unity, and
similarly in this way the fifth root will be the fifth power of unity, and thus in
this way it occurs that among these unity occurs infinitely; moreover, -1 will be
found whenever the root of an even power is extracted.
6
Документ
Категория
Без категории
Просмотров
4
Размер файла
67 Кб
Теги
series, single, pdf, 1775, euler, product, 7355, infinity, expansion
1/--страниц
Пожаловаться на содержимое документа