[seqfan] LambertW Identity - Conjecture
Paul D Hanna
pauldhanna at juno.com
Mon Mar 16 07:59:37 CET 2009
Seqfans,
Here is an identity that I just found related to the LambertW function.
It is a conjecture and I need a proof.
The statement is a variant of the sum in A155200:
exp( Sum_{n>=1} 2^(n^2) * x^n/n ) = 1+2x+10x^2+188x^3+...
in which I attempted to replace exp(x) with
W(x) = Sum_{n>=1} (-n)^(n-1)*x^n/n!
Here is the surprising result of this line of inquiry.
----------------------------------------------------------------
Conjecture:
Given V is any real variable and J is an integer, then
V^(J^2)*x = Sum_{n>=1} (-n)^(n-1)/n!*x^n*[Sum_{k>=0} V^((n+k+J-1)^2)*n^k*x^k/k!].
----------------------------------------------------------------
Note that if V=1, then the above claim reduces to:
x = W(x*exp(x)).
EXAMPLE using PARI code:
V=2;J=3;
sum(n=1,100,(-n)^(n-1)/n!*x^n*sum(k=0,100,V^((k+n+J-1)^2)*n^k*x^k/k! +O(x^100)))
RETURNS: 512*x + O(x^101)
Besides a proof, I am mostly interested in what this is telling us about what is really going on in sums like that given in A155200 and above.
I welcome any comments.
Paul
(dedicated to Vladeta Jovovic).
More information about the SeqFan
mailing list