Gottfried Wilhelm Leibniz
(1646 - 1716)
Why always do complicated?
and a derived sequnce:
Parts of his life:
Leibniz was born in Leipzig in 1646.
Although German mathematician and philosopher, all his work was written in
French or Latin. Son of a philosophy professor, he received very little mathematical
teaching, but he discovered a hidden interest for mathematics thanks to Huygens
with who he forms a friendship... (Thanks Huygens!).
Leibniz was especially interested in numerical
series - That is interesting ! - and claims to be the father of the differential
calculus, which will lead him to a violent dispute with Newton and darken
the remaining of his life.
We do not always know this, but this good
old Leibniz was a great notation inventor. we owe him the (integral) sign, = , dx , . for the multiplication and division.
But Leibniz, although he was a genius, did
not have a neat idea about complex numbers for example, and wrote lines and
lines of equation without any real meaning, like:
with which he astonished Huygens.
His philosophic conceptions influenced a lot
his mathematical vision of things... He considered for example these complex
numbers as between existence and non existence!
Ignored at his death by the German and British
scientific communities, the famous French hundred-year-old Fontenelle actually
praised him in Paris... He was worth it!
Here I am exaggerating a bit, because Leibniz
was not the real discoverer of this formula. James Gregory (1638-1675)
had in fact calculated the whole sequence expansion:
for x between-1 and 1. It would
be astonishing if Grégory had not seen the particular case x=1 which gives the following formula:
But here, as we will see, it's convergence
is more than execrable and Grégory must have realized how useless this
formula is practically... But admit that it is beautiful, and extremely simple!
So let us give Grégory what he deserves, even if the first publication
of this formula is only explicitly shown in Leibniz's works...
On the other hand, this formula from Leibniz/Grégory reserves a few
surprises, discovered only recently by Roy North... Go and see about them
in applications !
What can we say about this demonstration,
it seem evident...
We can remind ourselves that we have arctan:: R->]-/2,/2 is defined as the inverse function of the bijection tan : ]-/2,/2[->R.
But we have tan'(x)=1+tan2(x) (using cos and sin ) and hence,
from the formula of the derivative of an inverse function.
But we also know the whole sequence defined on]-1,1[. We know that we can integrate it term by term on
this interval from the properties of whole sequences. After seeing that the
result converges at 1 and -1 which insures the uniform convergence
of the sequence over[-1,1] towards arctan, we take x=1 and that's it!... We can also use x=1/31/2, and that is more interesting:
Behold, this is a great moment!
For the Leibniz/Grégory formula:
|n=1 000 000
If there are a few digits in brown, it is because they are incorrect! But then,
how come the following digits be right? Is the convergence not logarithmic from
its form (approx. log(n)) ? That is the problem that Roy North asked the Borwein brothers a few years ago... I have not got the solution,
but it involves Euler 's numbers and two
summing formulae. Still waiting for further answers...
For the second formula (just over the Application section), we have an interesting
linear convergence of about n/2 :
||49 digits correct
Acceleration of the convergence :
If there is a formula for which Aitken's Delta2
is really really useful, then it is Leibniz's... And other acceleration methods
work as well! (a logarithmic convergence is not very convincing)...
the Delta2 : classical acceleration, and faster and faster normally... requires a computation
with a lot of digits because of the unstable numerical side of the process.
As it is a modifies sequence, I had the idea of using of applying an average
value to Leibniz's series. What should of brought us in theory 1 digit in
the best case seems to accelerate the convergence in a quite surprising way!:
let be the la moyenne pondérée associée.
The results appear in the table below for the 2
types of acceleration:
The last result for Delta2 seems suspicious to me, according to the average
value found, although I calculated it with 100 digits...
One good thing about series made up from others, is that we can repeat the process.
||Delta2 repeated 2 times
||Average repeated 2 times
||does not exist...
Just note that combinations between Delta2 and means
are less efficient.
3) we can also rearrange the terms as Leibniz had done, but it is not much more
All right, this time I think that's all concerning this sequence that proved
in the end to be quite rich!!!
back to home page