08/15/2007, 09:30 PM

I've been looking at Gus' suggestion, here for some time, and I think I am finally starting to understand it. It doesn't appear to work, at least as he states it.

He says (verbatim):

By taking derivatives of both sides of the equation and evaluating at a fixed point (such that ), we can construct a Taylor series with a parameter a satisfying .

Well, such a fixed point exists. It is indeed equal to , where W is Lambert's function. So, in effect, if I understand him correctly, we are looking for the Taylor series:

.

So we embark on a journey to determine . This already presents severe problems. Let's see:

Indeed, if we stuff x=a in the last equation above, (remember ), we get immediately:

We got the first term of the series. What about ? Herein lies the problem. The first derivatives of T cancel each other as above (after evaluation at x=a), so there's no way to get T' from the functional relation .

Not being able to get T', automatically kills the entire process for the rest of the derivatives, because upon differentiating this functional equation n times, it is easy to see that all derivatives up to the n-th might show up and thus the calculation of implicitly depends on the existence of .

Unless I am not seeing something else obvious, this means that his suggestion doesn't work and the Taylor series cannot be constructed.

(And all this besides the fact that even if this series could be constructed, we'd need to check its radius, etc. etc).

He says (verbatim):

By taking derivatives of both sides of the equation and evaluating at a fixed point (such that ), we can construct a Taylor series with a parameter a satisfying .

Well, such a fixed point exists. It is indeed equal to , where W is Lambert's function. So, in effect, if I understand him correctly, we are looking for the Taylor series:

.

So we embark on a journey to determine . This already presents severe problems. Let's see:

Indeed, if we stuff x=a in the last equation above, (remember ), we get immediately:

We got the first term of the series. What about ? Herein lies the problem. The first derivatives of T cancel each other as above (after evaluation at x=a), so there's no way to get T' from the functional relation .

Not being able to get T', automatically kills the entire process for the rest of the derivatives, because upon differentiating this functional equation n times, it is easy to see that all derivatives up to the n-th might show up and thus the calculation of implicitly depends on the existence of .

Unless I am not seeing something else obvious, this means that his suggestion doesn't work and the Taylor series cannot be constructed.

(And all this besides the fact that even if this series could be constructed, we'd need to check its radius, etc. etc).